Log-concavity and lower bounds for arithmetic circuits

One question that we investigate in this paper is, how can we build log-concave polynomials using sparse polynomials as building blocks? More precisely, let $f = \sum\_{i = 0}^d a\_i X^i \in \mathbb{R}^+[X]$ be a polynomial satisfying the log-concavity condition a\_i^2 \textgreater{} \tau a\_{i-1}a\_{i+1} for every $i \in \{1,\ldots,d-1\},$ where \tau \textgreater{} 0. Whenever $f$ can be written under the form $f = \sum\_{i = 1}^k \prod\_{j = 1}^m f\_{i,j}$ where the polynomials $f\_{i,j}$ have at most $t$ monomials, it is clear that $d \leq k t^m$. Assuming that the $f\_{i,j}$ have only non-negative coefficients, we improve this degree bound to $d = \mathcal O(k m^{2/3} t^{2m/3} {\rm log^{2/3}}(kt))$ if \tau \textgreater{} 1, and to $d \leq kmt$ if $\tau = d^{2d}$. This investigation has a complexity-theoretic motivation: we show that a suitable strengthening of the above results would imply a separation of the algebraic complexity classes VP and VNP. As they currently stand, these results are strong enough to provide a new example of a family of polynomials in VNP which cannot be computed by monotone arithmetic circuits of polynomial size

Quantum Mechanical Interaction-Free Measurements

A novel manifestation of nonlocality of quantum mechanics is presented. It is shown that it is possible to ascertain the existence of an object in a given region of space without interacting with it. The method might have practical applications for delicate quantum experiments.Comment: (revised file with no need for macro), 12, TAUP 1865-91

Background, current status, and prognosis of the ongoing slush hydrogen technology development program for the NASP

Among the Hydrogen Projects at the NASA Lewis Research Center (NASA LeRC), is the task of implementing and managing the Slush Hydrogen (SLH2) Technology Program for the United States' National AeroSpace Plane Joint Program Office (NASP JPO). The objectives of this NASA LeRC program are to provide verified numerical models of fluid production, storage, transfer, and feed systems and to provide verified design criteria for other engineered aspects of SLH2 systems germane to a NASP. The pursuit of these objectives is multidimensional, covers a range of problem areas, works these to different levels of depth, and takes advantage of the resources available in private industry, academia, and the U.S. Government. A summary of the NASA LeRC overall SLH2 program plan, is presented along with its implementation, the present level of effort in each of the program areas, some of the results already in hand, and the prognosis for the effort in the immediate future

On the effect of Ti on Oxidation Behaviour of a Polycrystalline Nickel-based Superalloy

Titanium is commonly added to nickel superalloys but has a well-documented detrimental effect on oxidation resistance. The present work constitutes the first atomistic-scale quantitative measurements of grain boundary and bulk compositions in the oxide scale of a current generation polycrystalline nickel superalloy performed through atom probe tomography. Titanium was found to be particularly detrimental to oxide scale growth through grain boundary diffusion

Scaling Study and Thermodynamic Properties of the cubic Helimagnet FeGe

The critical behavior of the cubic helimagnet FeGe was obtained from isothermal magnetization data in very close vicinity of the ordering temperature. A thorough and consistent scaling analysis of these data revealed the critical exponents $\beta=0.368$, $\gamma=1.382$, and $\delta=4.787$. The anomaly in the specific heat associated with the magnetic ordering can be well described by the critical exponent $\alpha=-0.133$. The values of these exponents corroborate that the magnetic phase transition in FeGe belongs to the isotropic 3D-Heisenberg universality class. The specific heat data are well described by ab initio phonon calculations and confirm the localized character of the magnetic moments.Comment: 10 pages, 8 figure

On the number of representations providing noiseless subsystems

This paper studies the combinatoric structure of the set of all representations, up to equivalence, of a finite-dimensional semisimple Lie algebra. This has intrinsic interest as a previously unsolved problem in representation theory, and also has applications to the understanding of quantum decoherence. We prove that for Hilbert spaces of sufficiently high dimension, decoherence-free subspaces exist for almost all representations of the error algebra. For decoherence-free subsystems, we plot the function $f_d(n)$ which is the fraction of all $d$-dimensional quantum systems which preserve $n$ bits of information through DF subsystems, and note that this function fits an inverse beta distribution. The mathematical tools which arise include techniques from classical number theory.Comment: 17 pp, 4 figs, accepted for Physical Review

No Evidence for Orbital Loop Currents in Charge Ordered YBa2_2Cu3_3O6+x_{6+x} from Polarized Neutron Diffraction

It has been proposed that the pseudogap state of underdoped cuprate superconductors may be due to a transition to a phase which has circulating currents within each unit cell. Here, we use polarized neutron diffraction to search for the corresponding orbital moments in two samples of underdoped YBa$_2$Cu$_3$O$_{6+x}$ with doping levels $p=0.104$ and 0.123. In contrast to some other reports using polarized neutrons, but in agreement with nuclear magnetic resonance and muon spin rotation measurements, we find no evidence for the appearance of magnetic order below 300 K. Thus, our experiment suggests that such order is not an intrinsic property of high-quality cuprate superconductor single crystals. Our results provide an upper bound for a possible orbital loop moment which depends on the pattern of currents within the unit cell. For example, for the CC-$\theta_{II}$ pattern proposed by Varma, we find that the ordered moment per current loop is less than 0.013 $\mu_B$ for $p=0.104$.Comment: Comments in arXiv:1710.08173v1 fully addresse

Signatures of Galaxy-Cluster Interactions: Spiral Galaxy Rotation Curve Asymmetry, Shape, and Extent

The environmental dependencies of the characteristics of spiral galaxy rotation curves are studied in this work. We use our large, homogeneously collected sample of 510 cluster spiral galaxy rotation curves to test the claim that the shape of a galaxy's rotation curve strongly depends on its location within the cluster, and thus presumably on the strength of the local intracluster medium and on the frequency and strength of tidal interactions with the cluster and cluster galaxies. Our data do not corroborate such a scenario, consistent with the fact that Tully-Fisher residuals are independent of galaxy location within the cluster; while the average late-type spiral galaxy shows more rise in the outer parts of its rotation curve than does the typical early-type spiral galaxy, there is no apparent trend for either subset with cluster environment. We also investigate as a function of cluster environment rotation curve asymmetry and the radial distribution of H II region tracers within galactic disks. Mild trends with projected cluster-centric distance are observed: (i) the (normalized) radial extent of optical line emission averaged over all spiral galaxy types shows a 4%+/-2% increase per Mpc of galaxy-cluster core separation, and (ii) rotation curve asymmetry falls by a factor of two between the inner and outer cluster for early-type spirals (a negligible decrease is found for late-type spirals). Such trends are consistent with spiral disk perturbations or even the stripping of the diffuse, outermost gaseous regions within the disks as galaxies pass through the dense cluster cores.Comment: 17 pages; to appear in the April 2001 Astronomical Journa

The Casimir Effect for Parallel Plates Revisited

The Casimir effect for a massless scalar field with Dirichlet and periodic boundary conditions (b.c.) on infinite parallel plates is revisited in the local quantum field theory (lqft) framework introduced by B.Kay. The model displays a number of more realistic features than the ones he treated. In addition to local observables, as the energy density, we propose to consider intensive variables, such as the energy per unit area $\epsilon$, as fundamental observables. Adopting this view, lqft rejects Dirichlet (the same result may be proved for Neumann or mixed) b.c., and accepts periodic b.c.: in the former case $\epsilon$ diverges, in the latter it is finite, as is shown by an expression for the local energy density obtained from lqft through the use of the Poisson summation formula. Another way to see this uses methods from the Euler summation formula: in the proof of regularization independence of the energy per unit area, a regularization-dependent surface term arises upon use of Dirichlet b.c. but not periodic b.c.. For the conformally invariant scalar quantum field, this surface term is absent, due to the condition of zero trace of the energy momentum tensor, as remarked by B.De Witt. The latter property does not hold in tha application to the dark energy problem in Cosmology, in which we argue that periodic b.c. might play a distinguished role.Comment: 25 pages, no figures, late