SPAR: stochastic programming with adversarial recourse

We consider a general adversarial stochastic optimization model. Our model involves the design of a system that an adversary may subsequently attempt to destroy or degrade. We introduce SPAR, which utilizes mixed-integer programming for the design decision and a Markov decision process (MDP) for the modeling of our adversarial phase.     

Establishing vicinal proton-proton connectivities using two-dimensional proton zero quantum coherence NMR

Phenanthro[3,4:3′,4′]phenanthro[2,1-b]thiophene ( 1 ) served as the model system to evaluate two-dimensional proton zero quantum coherence nmr in order to establish the vicinal proton-proton connectivities. The utility of the two-dimensional proton zero quantum nmr experiment has been compared with the utility of the traditional autocorrelated proton-proton (COSY) experiment. In the case of a molecule such as 1 , where the proton chemical shifts are so highly congested, the zero quantum coherence experiment provides data not obtainable from the COSY experiment.     

Disturbing the Dyson conjecture, in a generally GOOD way

Dyson's celebrated constant term conjecture [F.J. Dyson, Statistical theory of the energy levels of complex systems I, J. Math. Phys. 3 (1962) 140-156] states that the constant term in the expansion of _∏1≦i≠j≦naj(1−xi/xj) is the multinomial coefficient (a₁+a₂+?+an)!/(a₁!a₂!?an!). The definitive proof was given by I.J. Good [I.J. Good, Short proof of a conjecture of Dyson, J. Math. Phys. 11 (1970) 1884]. Later, Andrews extended Dyson's conjecture to a q-analog [G.E. Andrews, Problems and prospects for basic hypergeometric functions, in: R. Askey (Ed.), The Theory and Application of Special Functions, Academic Press, New York, 1975, pp. 191-224]. In this paper, closed form expressions are given for the coefficients of several other terms in the Dyson product, and are proved using an extension of Good's idea. Also, conjectures for the corresponding q-analogs are supplied. Finally, perturbed versions of the q-Dixon summation formula are presented.     

Samuelson maps—recent results

Samuelson maps are maps whose Jacobian matrix has nowhere vanishing leading principal minors. This paper surveys some recent results on invertibility of Samuelson maps and their decomposition into maps that fix all but one coordinate. The most noteworthy result is that real, rational, everywhere defined Samuelson maps are invertible. Proofs are sketched or omitted entirely.     

On the physical interpretation of Heywood and Redhead's algebraic impossibility theorem

Heywood and Redhead's 1983 algebraic (Kochen-Specker type) impossibility proof, which establishes the inconsistency of a broad class of contextualized local realistic theories, assumes two locality conditions and two auxiliary assumptions. One of those auxiliary conditions, FUNC^*, has been called a physically unmotivated,ad hoc formal constraint.In this paper, we derive Heywood and Redhead's auxiliary conditions from physical assumptions. This allows us to analyze which classes of hidden-variables theories escape the Heywood-Redhead contradiction. By doing so, we hope to clarify the physical and philosophical ramifications of the Heywood-Redhead proof. Most current hidden-variables theories, it turns out, violate Heywood and Redhead's auxiliary conditions.1. See Redhead [1], pp. 133–136, for a complete discussion.2. Arthur Fine first pointed out the implicit reliance on FUNC^*, and proved FUNC^* to be both consistent with and independent of the Value Rule.3. LetA=_ia_i P _i andB=_jb_j P_j be spectral resolutions ofA andB. Then <A,B> is the observable associated with maximal operatorR=_ijf_ij P _iP_j, where f_ij=F(a_i,b_j), and where function F is 1:1.4. Heywood and Redhead's versions of these conditions employ equivalence-class notation to specify the ontological context. {<D,E>}={R} refers to the equivalence class of all possible <D,E> formed by using different F functions (cf. Footnote 3). Clearly, such notation assumes that ifR andR are two distinct commuting maximal operators formed as described in Fn. 3 fromD andE using two different F(d_i,e_j) functions, then [Q]^t _(R)(R)=[Q]^t _(R)(R), so that [Q]^t _{R}(R) is uniquely defined.Heywood and Redhead never rely upon this assumption in their proof, however. It is easily checked that a Heywood-Redhead contradiction follows from my non-equivalence class versions of OLOC, ELOC, VR, and FUNC^*. Therefore, I will not use equivalence class notation.5. Here I denote by µ_R the composite state of all the apparatuses needed to measure R. So µ_R may represent the state of more than one device.6 This is because in a hidden-variables framework, quantum mechanical probabilities are a weighted average of the underlying hidden-variables probabilities.7. This argument resembles a proof given by Fine [8].8. Recall from theorem 1 that ifQ=f(R), then for all quantum states , P_(t)(Qf(r), R=r)=0.     

N-α-Benzyloxyacetyl derivatives of (S)-4-benzyl-5,5-dimethyloxazolidin-2-one for the asymmetric synthesis of differentially protected α,β-dihydroxyaldehydes

α-Dibenzylamino- and α-benzyloxy- derivatives of N-acetyl-(S)-4-benzyl-5,5-dimethyloxazolidin-2-one readily undergo highly stereoselective boron mediated syn-aldol reactions with a range of aromatic and aliphatic aldehydes, generating the syn-aldol products in good to excellent yields as single diastereoisomers after purification. In the α-dibenzylamino series, deprotection of the functionalised aldol fragments to the corresponding α-amino-β-hydroxy methyl ester or α-amino-β-hydroxyaldehyde proved problematic, with a range of N- and O-protecting groups giving mixtures of products arising from endocyclic and exocyclic cleavage pathways. However, in the α-benzyloxy series, O-silyl protection of the aldol products, and subsequent DIBAL reduction gives stereoselectively the corresponding N-1′-hydroxyalkyloxazolidin-2-ones, which undergo base promoted fragmentation to the desired highly functionalised and differentially protected α,β-dihydroxyaldehydes in good yields and without loss of stereochemical integrity.     

Construction of multiporphyrin arrays using ruthenium and rhodium coordination to phosphines

The synthesis of linear multiporphyrin arrays with mono- and bisphosphine-substituted porphyrins as ligand donors and ruthenium(II) or rhodium(III) porphyrins as ligand acceptors is described. With appropriate amounts of the building blocks mixed, linear dimeric and trimeric arrays have been synthesized and analyzed by (1)H NMR and (31)P NMR spectroscopy. The Ru/Rh acceptor porphyrins can be located either at the periphery or in the center of the array. Likewise, the monophosphine porphyrins can be positioned at the periphery, thus allowing a high degree of freedom in the overall composition of the arrays. This way, both donor and acceptor porphyrins can act as chain extenders or terminators. One of the trimeric complexes with two nickel and one ruthenium porphyrin has also been analyzed by X-ray crystallography. Attempts have also been made to synthesize higher order arrays by mixing appropriate amounts of the porphyrins; however, from the NMR data it cannot be concluded if monodisperse five, seven, or nine porphyrin arrays are present or if the solutions are composed of a statistical mixture of smaller and larger arrays.     

Efficient solid-phase-based total synthesis of the bisintercalator TANDEM

[reaction: see text] In this article, the first solid-phase-based total synthesis of TANDEM, a synthetic analogue of triostin A, is described. In initial studies, the synthesis incorporated depsipeptide formation, introduction of chromophores, and disulfide bond formation on the solid phase, prior to a final solution-phase macrolactamization, to give the target molecule. Although pure TANDEM was obtained in an overall yield comparable to those for all syntheses to date, the yield of the final cyclization was low (11%). A more efficient approach involved removal from the solid phase prior to disulfide bond formation. The resulting linear peptide underwent macrolactamization under mild conditions and high dilution. Final disulfide bond formation was essentially quantitative and gave the target molecule, TANDEM, in an overall yield of 18%. The final compound was assessed for its ability to bind to 5'-TpA sequences on DNA by DNase I footprinting. This efficient synthesis sets the stage for a study of the structure-activity relationship of TANDEM and the natural product triostin A, with analogues containing "point mutations" at every site within the cyclic compounds.     

The mechanism of photoinduced acylation of amines by N-acyl-5,7-dinitroindoline as determined by time-resolved infrared spectroscopy

[reaction: see text] The photochemistry of N-acyl-5,7-dinitroindoline (1) was studied in acetonitrile using nanosecond time-resolved infrared (TRIR) spectroscopy. Upon photolysis, two nearly but not completely overlapping sets of transient IR bands are observed that are assigned to two non-interconvertible conformers of mixed acetic nitronic anhydride 7. While syn-7 reverts rapidly to 1, anti-7 is long-lived and is able to acylate amines. Results of density functional theory calculations support conclusions based on experimental TRIR data.