A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

We present a combination of the Mixed-Echelon-Hermite transformation and the Double-Bounded Reduction for systems of linear mixed arithmetic that preserve satisfiability and can be computed in polynomial time. Together, the two transformations turn any system of linear mixed constraints into a bounded system, i.e., a system for which termination can be achieved easily. Existing approaches for linear mixed arithmetic, e.g., branch-and-bound and cuts from proofs, only explore a finite search space after application of our two transformations. Instead of generating a priori bounds for the variables, e.g., as suggested by Papadimitriou, unbounded variables are eliminated through the two transformations. The transformations orient themselves on the structure of an input system instead of computing a priori (over-)approximations out of the available constants. Experiments provide further evidence to the efficiency of the transformations in practice. We also present a polynomial method for converting certificates of (un)satisfiability from the transformed to the original system

Negotiations of minority ethnic rugby league players in the Cathar country of France

This article is based on new empirical, qualitative research with minority ethnic rugby league players in the southwest of France. Drawing on similar research on rugby league in the north and the south of England, the article examines how rugby league, traditionally viewed as a white, working-class male game (Collins, 2006; Denham, 2004; Spracklen, 1995, 2001) has had to re-imagine its symbolic boundaries as they are constituted globally and locally to accommodate the needs of players from minority ethnic backgrounds. In particular, the article examines the sense in which experiences of minority ethnic rugby league players in France compare with those of their counterparts in England (Spracklen, 2001, 2007), how rugby league is used in France to construct identity, and in what sense the norms associated with the imaginary community of rugby league are replicated or challenged by the involvement of minority ethnic rugby league players in France. Questions about what it means to be (provincial, national) French (Kumar, 2006) are posed, questions that relate to the role of sport in the construction of Frenchness, and in particular the role of rugby league (and union). © Copyright ISSA and SAGE Publications

An Optical Readout TPC (O-TPC) for Studies in Nuclear Astrophysics With Gamma-Ray Beams at HIgS

We report on the construction, tests, calibrations and commissioning of an Optical Readout Time Projection Chamber (O-TPC) detector operating with a CO2(80%) + N2(20%) gas mixture at 100 and 150 Torr. It was designed to measure the cross sections of several key nuclear reactions involved in stellar evolution. In particular, a study of the rate of formation of oxygen and carbon during the process of helium burning will be performed by exposing the chamber gas to intense nearly mono-energetic gamma-ray beams at the High Intensity Gamma Source (HIgS) facility. The O-TPC has a sensitive target-drift volume of 30x30x21 cm^3. Ionization electrons drift towards a double parallel grid avalanche multiplier, yielding charge multiplication and light emission. Avalanche induced photons from N2 emission are collected, intensified and recorded with a Charge Coupled Device (CCD) camera, providing two-dimensional track images. The event's time projection (third coordinate) and the deposited energy are recorded by photomultipliers and by the TPC charge-signal, respectively. A dedicated VME-based data acquisition system and associated data analysis tools were developed to record and analyze these data. The O-TPC has been tested and calibrated with 3.183 MeV alpha-particles emitted by a 148Gd source placed within its volume with a measured energy resolution of 3.0%. Tracks of alpha and 12C particles from the dissociation of 16O and of three alpha-particles from the dissociation of 12C have been measured during initial in-beam test experiments performed at the HIgS facility at Duke University. The full detection system and its performance are described and the results of the preliminary in-beam test experiments are reported.Comment: Supported by the Richard F. Goodman Yale-Weizmann Exchange Program, ACWIS, NY, and USDOE grant Numbers: DE-FG02-94ER40870 and DE-FG02-97ER4103

Ultrafast strain engineering in complex oxide heterostructures

We report on ultrafast optical experiments in which femtosecond mid-infrared radiation is used to excite the lattice of complex oxide heterostructures. By tuning the excitation energy to a vibrational mode of the substrate, a long-lived five-order-of-magnitude increase of the electrical conductivity of NdNiO3 epitaxial thin films is observed as a structural distortion propagates across the interface. Vibrational excitation, extended here to a wide class of heterostructures and interfaces, may be conducive to new strategies for electronic phase control at THz repetition rates

Restoring interlayer Josephson coupling in La1.885Ba0.115CuO4 by charge transfer melting of stripe order

We show that disruption of charge-density-wave (stripe) order by charge transfer excitation, enhances the superconducting phase rigidity in La1.885Ba0.115CuO4. Time-resolved resonant soft x-ray diffraction demonstrates that charge order melting is prompt following near-infrared photoexcitation whereas the crystal structure remains intact for moderate fluences. THz time-domain spectroscopy reveals that, for the first 2 ps following photoexcitation, a new Josephson plasma resonance edge, at higher frequency with respect to the equilibrium edge, is induced indicating enhanced superconducting interlayer coupling. The fluence dependence of the charge-order melting and the enhanced superconducting interlayer coupling are correlated with a saturation limit of ∼0.5mJ/cm2. Using a combination of x-ray and optical spectroscopies we establish a hierarchy of timescales between enhanced superconductivity, melting of charge order, and rearrangement of the crystal structure

Angle-resolved photoemission spectroscopy with 9-eV photon-energy pulses generated in a gas-filled hollow-core photonic crystal fiber

A recently developed source of ultraviolet radiation, based on optical soliton propagation in a gas-filled hollow-core photonic crystal fiber, is applied here to angle-resolved photoemission spectroscopy (ARPES). Near-infrared femtosecond pulses of only few {\mu}J energy generate vacuum ultraviolet (VUV) radiation between 5.5 and 9 eV inside the gas-filled fiber. These pulses are used to measure the band structure of the topological insulator Bi2Se3 with a signal to noise ratio comparable to that obtained with high order harmonics from a gas jet. The two-order-of-magnitude gain in efficiency promises time-resolved ARPES measurements at repetition rates of hundreds of kHz or even MHz, with photon energies that cover the first Brillouin zone of most materials.Comment: 8 pages, 3 figure

Spatially resolved ultrafast magnetic dynamics launched at a complex-oxide hetero-interface

Static strain in complex oxide heterostructures has been extensively used to engineer electronic and magnetic properties at equilibrium. In the same spirit, deformations of the crystal lattice with light may be used to achieve functional control across hetero-interfaces dynamically. Here, by exciting large amplitude infrared-active vibrations in a LaAlO3 substrate we induce magnetic order melting in a NdNiO3 film across a hetero-interface. Femtosecond Resonant Soft X-ray Diffraction is used to determine the spatial and temporal evolution of the magnetic disordering. We observe a magnetic melt front that grows from the substrate interface into the film, at a speed that suggests electronically driven propagation. Light control and ultrafast phase front propagation at hetero-interfaces may lead to new opportunities in optomagnetism, for example by driving domain wall motion to transport information across suitably designed devices.Comment: 35 pages, 8 Figures (both incl. Supplement