Evaluating Matrix Circuits

The circuit evaluation problem (also known as the compressed word problem) for finitely generated linear groups is studied. The best upper bound for this problem is $\mathsf{coRP}$, which is shown by a reduction to polynomial identity testing. Conversely, the compressed word problem for the linear group $\mathsf{SL}_3(\mathbb{Z})$ is equivalent to polynomial identity testing. In the paper, it is shown that the compressed word problem for every finitely generated nilpotent group is in $\mathsf{DET} \subseteq \mathsf{NC}^2$. Within the larger class of polycyclic groups we find examples where the compressed word problem is at least as hard as polynomial identity testing for skew arithmetic circuits

Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations

We show that one can approximate the least fixed point solution for a multivariate system of monotone probabilistic max(min) polynomial equations, referred to as maxPPSs (and minPPSs, respectively), in time polynomial in both the encoding size of the system of equations and in log(1/epsilon), where epsilon > 0 is the desired additive error bound of the solution. (The model of computation is the standard Turing machine model.) We establish this result using a generalization of Newton's method which applies to maxPPSs and minPPSs, even though the underlying functions are only piecewise-differentiable. This generalizes our recent work which provided a P-time algorithm for purely probabilistic PPSs. These equations form the Bellman optimality equations for several important classes of infinite-state Markov Decision Processes (MDPs). Thus, as a corollary, we obtain the first polynomial time algorithms for computing to within arbitrary desired precision the optimal value vector for several classes of infinite-state MDPs which arise as extensions of classic, and heavily studied, purely stochastic processes. These include both the problem of maximizing and mininizing the termination (extinction) probability of multi-type branching MDPs, stochastic context-free MDPs, and 1-exit Recursive MDPs. Furthermore, we also show that we can compute in P-time an epsilon-optimal policy for both maximizing and minimizing branching, context-free, and 1-exit-Recursive MDPs, for any given desired epsilon > 0. This is despite the fact that actually computing optimal strategies is Sqrt-Sum-hard and PosSLP-hard in this setting. We also derive, as an easy consequence of these results, an FNP upper bound on the complexity of computing the value (within arbitrary desired precision) of branching simple stochastic games (BSSGs)

Surface states in nearly modulated systems

A Landau model is used to study the phase behavior of the surface layer for magnetic and cholesteric liquid crystal systems that are at or near a Lifshitz point marking the boundary between modulated and homogeneous bulk phases. The model incorporates surface and bulk fields and includes a term in the free energy proportional to the square of the second derivative of the order parameter in addition to the usual term involving the square of the first derivative. In the limit of vanishing bulk field, three distinct types of surface ordering are possible: a wetting layer, a non-wet layer having a small deviation from bulk order, and a different non-wet layer with a large deviation from bulk order which decays non-monotonically as distance from the wall increases. In particular the large deviation non-wet layer is a feature of systems at the Lifshitz point and also those having only homogeneous bulk phases.Comment: 6 pages, 7 figures, submitted to Phys. Rev.

Systematic review of mental health and well-being outcomes following community-based obesity prevention interventions among adolescents

This paper aimed to systematically evaluate the mental health and well-being outcomes observed in previous community-based obesity prevention interventions in adolescent populations

Electronic properties of metal induced gap states at insulator/metal interfaces -- dependence on the alkali halide and the possibility of excitonic mechanism of superconductivity

Motivated from the experimental observation of metal induced gap states (MIGS) at insulator/metal interfaces by Kiguchi {\it et al.} [Phys. Rev. Lett. {\bf 90}, 196803 (2003)], we have theoretically investigated the electronic properties of MIGS at interfaces between various alkali halides and a metal represented by a jellium with the first-principles density functional method. We have found that, on top of the usual evanescent state, MIGS generally have a long tail on halogen sites with a $p_z$-like character, whose penetration depth ($\lambda$) is as large as half the lattice constant of bulk alkali halides. This implies that $\lambda$, while little dependent on the carrier density in the jellium, is dominated by the lattice constant (hence by energy gap) of the alkali halide, where $\lambda_{\rm LiF} < \lambda_{\rm LiCl} < \lambda_{\rm LiI}$. We also propose a possibility of the MIGS working favorably for the exciton-mediated superconductivity.Comment: 7 pages, 9 figure

Strong Enhancement of Superconducting Correlation in a Two-Component Fermion Gas

We study high-density electron-hole (e-h) systems with the electron density slightly larger than the hole density. We find a new superconducting phase, in which the excess electrons form Cooper pairs moving in an e-h BCS phase. The coexistence of the e-h and e-e orders is possible because e and h have opposite charges, whereas analogous phases are impossible in the case of two fermion species that have the same charge or are neutral. Most strikingly, the e-h order enhances the superconducting e-h order parameter by more than one order of magnitude as compared with that given by the BCS formula, for the same value of the effective e-e attractive potential \lambda^{ee}. This new phase should be observable in an e-h system created by photoexcitation in doped semiconductors at low temperatures.Comment: 5 pages including 5 PostScript figure

Second harmonic light scattering induced by defects in the twist-bend nematic phase of liquid crystal dimers

The nematic twist-bend (NTB) phase, exhibited by certain thermotropic liquid crystalline (LC) dimers, represents a new orientationally ordered mesophase -- the first distinct nematic variant discovered in many years. The NTB phase is distinguished by a heliconical winding of the average molecular long axis (director) with a remarkably short (nanoscale) pitch and, in systems of achiral dimers, with an equal probability to form right- and left-handed domains. The NTB structure thus provides another fascinating example of spontaneous chiral symmetry breaking in nature. The order parameter driving the formation of the heliconical state has been theoretically conjectured to be a polarization field, deriving from the bent conformation of the dimers, that rotates helically with the same nanoscale pitch as the director field. It therefore presents a significant challenge for experimental detection. Here we report a second harmonic light scattering (SHLS) study on two achiral, NTB-forming LCs, which is sensitive to the polarization field due to micron-scale distortion of the helical structure associated with naturally-occurring textural defects. These defects are parabolic focal conics of smectic-like ``pseudo-layers", defined by planes of equivalent phase in a coarse-grained description of the NTB state. Our SHLS data are explained by a coarse-grained free energy density that combines a Landau-deGennes expansion of the polarization field, the elastic energy of a nematic, and a linear coupling between the two

The accuracy of breast volume measurement methods: a systematic review

Breast volume is a key metric in breast surgery and there are a number of different methods which measure it. However, a lack of knowledge regarding a method’s accuracy and comparability has made it difficult to establish a clinical standard. We have performed a systematic review of the literature to examine the various techniques for measurement of breast volume and to assess their accuracy and usefulness in clinical practice. Each of the fifteen studies we identified had more than ten live participants and assessed volume measurement accuracy using a gold-standard based on the volume, or mass, of a mastectomy specimen. Many of the studies from this review report large (> 200 ml) uncertainty in breast volume and many fail to assess measurement accuracy using appropriate statistical tools. Of the methods assessed, MRI scanning consistently demonstrated the highest accuracy with three studies reporting errors lower than 10% for small (250 ml), medium (500 ml) and large (1,000 ml) breasts. However, as a high-cost, non-routine assessment other methods may be more appropriate

Light scattering study of the “pseudo-layer” compression elastic constant in a twist-bend nematic liquid crystal

The nematic twist-bend (TB) phase, exhibited by certain achiral thermotropic liquid crystalline (LC) dimers, features a nanometer-scale, heliconical rotation of the average molecular long axis (director) with equally probable left- and right-handed domains. On meso to macroscopic scales, the TB phase may be considered as a stack of equivalent slabs or “pseudo-layers”, each one helical pitch in thickness. The long wavelength fluctuation modes should then be analogous to those of a smectic-A phase, and in particular the hydrodynamic mode combining “layer” compression and bending ought to be characterized by an effective layer compression elastic constant Beff and average director splay constant Keff1. The magnitude of Keff1 is expected to be similar to the splay constant of an ordinary nematic LC, but due to the absence of a true mass density wave, Beff could differ substantially from the typical value of ∼10⁶ Pa in a conventional smectic-A. Here we report the results of a dynamic light scattering study, which confirms the “pseudo-layer” structure of the TB phase with Beff in the range 10³–10⁴ Pa. We show additionally that the temperature dependence of Beff at the TB to nematic transition is accurately described by a coarse-grained free energy density, which is based on a Landau-deGennes expansion in terms of a heli-polar order parameter that characterizes the TB state and is linearly coupled to bend distortion of the director