title: The kinematics of very low mass dwarfs: splinter session summary

abstract: Kinematic investigations are being increasingly deployed in studies of the lowest mass stars and brown dwarfs to investigate their origins, characterize their atmospheres, and examine the evolution of their physical parameters. This article summarizes the contributions made at the Kinematics of Very Low Mass Dwarfs Splinter Session. Results discussed include analysis of kinematic distributions of M, L and T dwarfs; theoretical tools for interpreting these distributions; identifications of very low mass halo dwarfs and wide companions to nearby stars; radial velocity variability among young and very cool brown dwarfs; and the search and identification of M dwarfs in young moving groups. A summary of discussion points at the conclusion of the Splinter is also presented.


title: Relic neutrinos: Physically consistent treatment of effective number of neutrinos and neutrino mass

abstract: We perform a model independent study of the neutrino momentum distribution at freeze-out, treating the freeze-out temperature as a free parameter. Our results imply that measurement of neutrino reheating, as characterized by the measurement of the effective number of neutrinos $N_\nu$, amounts to the determination of the neutrino kinetic freeze-out temperature within the context of the standard model of particle physics where the number of neutrino flavors is fixed and no other massless (fractional) particles arise. At temperatures on the order of the neutrino mass, we show how cosmic background neutrino properties i.e. energy density, pressure, particle density, are modified in a physically consistent way as a function of neutrino mass and $N_\nu$.


title: Boundary unitarity and the black hole information paradox

abstract: Both AdS/CFT duality and more general reasoning from quantum gravity point to a rich collection of boundary observables that always evolve unitarily. The physical quantum gravity states described by these observables must be solutions of the spatial diffeomorphism and Wheeler-deWitt constraints, which implies that the state space does not factorize into a tensor product of localized degrees of freedom. The "firewall" argument that unitarity of black hole S-matrix implies the presence of a highly excited quantum state near the horizon is based on such a factorization, hence is not applicable in quantum gravity. In fact, there appears to be no conflict between boundary unitarity and regularity of the event horizon.


title: Towards efficient and optimal analysis of CMB anisotropies on a masked sky

abstract: Strong foreground contamination in high resolution CMB data requires masking which introduces statistical anisotropies and renders a full maximum likelihood analysis numerically intractable. Standard analysis methods like the pseudo-C_l framework lead to information loss due to estimator suboptimalities. We set out and validate a methodology for numerically efficient estimators for a masked sky that recover nearly as much information as a full maximum likelihood procedure. In addition to the standard pseudo-C_l statistic, the approach introduces an augmented basis designed to account for the mode coupling due to the masking of the sky. We motivate the choice of this basis by describing the basic structure of the covariance matrix. We demonstrate that the augmented estimator can achieve near-optimal results in the presence of a WMAP-realistic mask.


title: The Entropic Dynamics of Relativistic Quantum Fields

abstract: The formulation of quantum mechanics within the framework of entropic dynamics is extended to the domain of relativistic quantum fields. The result is a non-dissipative relativistic diffusion in the infinite dimensional space of field configurations. On extending the notion of entropic time to the relativistic regime we find that the field fluctuations provide the clock that sets the scale of duration. We also find that the usual divergences that affect all quantum field theories do not refer to the real values of physical quantities but rather to epistemic quantities invariably associated to unphysical probability distributions such as variances and other measures of uncertainty.


title: Analytical Calculation of Four-Point Correlations for a Simple Model of Cages Involving Numerous Particles

abstract: Dynamics of a one-dimensional system of Brownian particles with short-range repulsive interaction (diameter sigma) is studied with a liquid-theoretical approach. The mean square displacement, the two-particle displacement correlation, and the overlap-density-based generalized susceptibility are calculated analytically by way of the Lagrangian correlation of the interparticulate space, instead of the Eulerian correlation of density that is commonly used in the standard mode-coupling theory. In regard to the mean square displacement, the linear analysis reproduces the established result on the asymptotic subdiffusive behavior of the system. A finite-time correction is given by incorporating the effect of entropic nonlinearity with a Lagrangian version of mode-coupling theory. The notorious difficulty in derivation of the mode-coupling theory concerning violation of the fluctuation-dissipation theorem is found to disappear by virtue of the Lagrangian description. The Lagrangian description also facilitates analytical calculation of four-point correlations in the space-time, such as the two-particle displacement correlation. The two-particle displacement correlation, which is asymptotically self-similar in the space-time, illustrates how the cage effect confines each particle within a short radius on one hand and creates collective motion of numerous particles on the other hand. As the time elapses, the correlation length grows unlimitedly, and the generalized susceptibility based on the overlap density converges to a finite value which is an increasing function of the density. The distribution function behind these dynamical four-point correlations and its extension to three-dimensional cases, respecting the tensorial character of the two-particle displacement correlation, are also discussed.


title: Successful Supersymmetric Dark Matter with Thermal Over/Under-Abundance from Late Decay of a Visible Sector Scalar

abstract: We present an explicit model where the decay of an R-parity even scalar $S$ with ${\cal O}({\rm TeV})$ mass is the origin of non-thermal dark matter. The correct relic abundance can be produced for both large and small annihilation rates in accordance with the Fermi constraints on the annihilation cross-section. This scenario has advantages over that of non-thermal dark matter from modulus decay. First, branching ratio for production of R-parity odd particles can be made quite small by a combination of $S$ couplings to matter fields and kinematic suppression, enabling us to obtain the observed dark matter relic density in cases of thermal underproduction as well as overproduction. Second, gravitino production is naturally suppressed by the virtue of decaying scalar belonging to the visible sector. The decaying scalar $S$ can also successfully generate baryon asymmetry of the universe, and may provide an explanation for the baryon-dark matter coincidence puzzle.


title: The Ginibre evolution in the large-N limit

abstract: We analyse statistics of the real eigenvalues of gl(N,R)-valued Brownian motion (the 'Ginibre evolution') in the limit of large $N$. In particular, we calculate the limiting two-time correlation function of spin variables associated with real eigenvalues of the Ginibre evolution. We also show how the formalism of spin variables can be used to compute the fixed time correlation functions of real eigenvalues discovered originally by Forrester and Nagao and Borodin and Sinclair.


title: The Physics of sPHENIX

abstract: Jet related observables have been some of the most powerful and exciting probes for understanding the matter produced in ultra-relativistic heavy ion collisions. Full jet reconstruction was begun at RHIC, and the LHC experiments have shown the power and kinematic reach of these observables. Here we discuss the sPHENIX detector and physics program which aims to bring full calorimetric based jet reconstruction to RHIC in order to explore the temperature dependence of the strongly interacting Quark Gluon Plasma.


title: Momentum polarization: an entanglement measure of topological spin and chiral central charge

abstract: Topologically ordered states are quantum states of matter with topological ground state degeneracy and quasi-particles carrying fractional quantum numbers and fractional statistics. The topological spin $\theta_a=2\pi h_a$ is an important property of a topological quasi-particle, which is the Berry phase obtained in the adiabatic self-rotation of the quasi-particle by $2\pi$. For chiral topological states with robust chiral edge states, another fundamental topological property is the edge state chiral central charge $c$. In this paper we propose a new approach to compute the topological spin and chiral central charge in lattice models by defining a new quantity named as the momentum polarization. Momentum polarization is defined on the cylinder geometry as a universal subleading term in the average value of a "partial translation operator". We show that the momentum polarization is a quantum entanglement property which can be computed from the reduced density matrix, and our analytic derivation based on edge conformal field theory shows that the momentum polarization measures the combination $h_a-\frac{c}{24}$ of topological spin and central charge. Numerical results are obtained for two example systems, the non-Abelian phase of the honeycomb lattice Kitaev model, and the $\nu=1/2$ Laughlin state of a fractional Chern insulator described by a variational Monte Carlo wavefunction. The numerical results verifies the analytic formula with high accuracy, and further suggests that this result remains robust even when the edge states cannot be described by a conformal field theory. Our result provides a new efficient approach to characterize and identify topological states of matter from finite size numerics.


title: On Minimizing Data-read and Download for Storage-Node Recovery

abstract: We consider the problem of efficient recovery of the data stored in any individual node of a distributed storage system, from the rest of the nodes. Applications include handling failures and degraded reads. We measure efficiency in terms of the amount of data-read and the download required. To minimize the download, we focus on the minimum bandwidth setting of the 'regenerating codes' model for distributed storage. Under this model, the system has a total of n nodes, and the data stored in any node must be (efficiently) recoverable from any d of the other (n-1) nodes. Lower bounds on the two metrics under this model were derived previously; it has also been shown that these bounds are achievable for the amount of data-read and download when d=n-1, and for the amount of download alone when d<n-1. In this paper, we complete this picture by proving the converse result, that when d<n-1, these lower bounds are strictly loose with respect to the amount of read required. The proof is information-theoretic, and hence applies to non-linear codes as well. We also show that under two (practical) relaxations of the problem setting, these lower bounds can be met for both read and download simultaneously.


title: Preparation of Non-equilibrium Nuclear Spin States in Double Quantum Dots

abstract: We theoretically study the dynamic polarization of lattice nuclear spins in GaAs double quantum dots containing two electrons. In our prior work [Phys. Rev. Lett. 104, 226807 (2010)] we identified three regimes of long-term dynamics, including the build up of a large difference in the Overhauser fields across the dots, the saturation of the nuclear polarization process associated with formation of so-called "dark states," and the elimination of the difference field. In particular, when the dots are different sizes we found that the Overhauser field becomes larger in the smaller dot. Here we present a detailed theoretical analysis of these problems including a model of the polarization dynamics and the development of a new numerical method to efficiently simulate semiclassical central-spin problems. When nuclear spin noise is included, the results agree with our prior work indicating that large difference fields and dark states are stable configurations, while the elimination of the difference field is unstable; however, in the absence of noise we find all three steady states are achieved depending on parameters. These results are in good agreement with dynamic nuclear polarization experiments in double quantum dots.


title: Bouncing solutions in Rastall's theory with a barotropic fluid

abstract: Rastall's theory is a modification of Einstein's theory of gravity where the covariant divergence of the stress-energy tensor is no more vanishing, but proportional to the gradient of the Ricci scalar. The motivation of this theory is to investigate a possible non-minimal coupling of the matter fields to geometry which, being proportional to the curvature scalar, may represent an effective description of quantum gravity effects. Non-conservation of the stress-energy tensor, via Bianchi identities, implies new field equations which have been recently used in a cosmological context, leading to some interesting results. In this paper we adopt Rastall's theory to reproduce some features of the effective Friedmann's equation emerging from loop quantum cosmology. We determine a class of bouncing cosmological solutions and comment about the possibility of employing these models as effective descriptions of the full quantum theory.


title: Cross-intersecting integer sequences

abstract: We call $(a_1, \dots, a_n)$ an \emph{$r$-partial sequence} if exactly $r$ of its entries are positive integers and the rest are all zero. For ${\bf c} = (c_1, \dots, c_n)$ with $1 \leq c_1 \leq \dots \leq c_n$, let $S_{\bf c}^{(r)}$ be the set of $r$-partial sequences $(a_1, \dots, a_n)$ with $0 \leq a_i \leq c_i$ for each $i$ in $\{1, \dots, n\}$, and let $S_{\bf c}^{(r)}(1)$ be the set of members of $S_{\bf c}^{(r)}$ which have $a_1 = 1$. We say that $(a_1, \dots, a_n)$ \emph{meets} $(b_1, \dots, b_m)$ if $a_i = b_i \neq 0$ for some $i$. Two sets $A$ and $B$ of sequences are said to be \emph{cross-intersecting} if each sequence in $A$ meets each sequence in $B$. Let ${\bf d} = (d_1, \dots, d_m)$ with $1 \leq d_1 \leq \dots \leq d_m$. Let $A \subseteq S_{\bf c}^{(r)}$ and $B \subseteq S_{\bf d}^{(s)}$ such that $A$ and $B$ are cross-intersecting. We show that $|A||B| \leq |S_{\bf c}^{(r)}(1)||S_{\bf d}^{(s)}(1)|$ if either $c_1 \geq 3$ and $d_1 \geq 3$ or ${\bf c} = {\bf d}$ and $r = s = n$. We also determine the cases of equality. We obtain this by proving a general cross-intersection theorem for \emph{weighted} sets. The bound generalises to one for $k \geq 2$ cross-intersecting sets.


title: Test ideals of non-principal ideals: Computations, Jumping Numbers, Alterations and Division Theorems

abstract: Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $\tau(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe $\tau(R, a^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the $F$-jumping numbers of $\tau(R, a^t)$ as $t$ varies are rational and have no limit points, including the important case where $R$ is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals.


title: Representation of singular fields without asymptotic enrichment in the extended finite element method

abstract: In this paper, we replace the asymptotic enrichments around the crack tip in the extended finite element method (XFEM) with the semi-analytical solution obtained by the scaled boundary finite element method (SBFEM). The proposed method does not require special numerical integration technique to compute the stiffness matrix and it improves the capability of the XFEM to model cracks in homogeneous and/or heterogeneous materials without a priori knowledge of the asymptotic solutions. A heaviside enrichment is used to represent the jump across the discontinuity surface. We call the method as the extended scaled boundary finite element method (xSBFEM). Numerical results presented for a few benchmark problems in the context of linear elastic fracture mechanics show that the proposed method yields accurate results with improved condition number. A simple MATLAB code is annexed to compute the terms in the stiffness matrix, which can easily be integrated in any existing FEM/XFEM code.


title: Fast Solutions to Projective Monotone Linear Complementarity Problems

abstract: We present a new interior-point potential-reduction algorithm for solving monotone linear complementarity problems (LCPs) that have a particular special structure: their matrix $M\in{\mathbb R}^{n\times n}$ can be decomposed as $M=\Phi U + \Pi_0$, where the rank of $\Phi$ is $k<n$, and $\Pi_0$ denotes Euclidean projection onto the nullspace of $\Phi^\top$. We call such LCPs projective. Our algorithm solves a monotone projective LCP to relative accuracy $\epsilon$ in $O(\sqrt n \ln(1/\epsilon))$ iterations, with each iteration requiring $O(nk^2)$ flops. This complexity compares favorably with interior-point algorithms for general monotone LCPs: these algorithms also require $O(\sqrt n \ln(1/\epsilon))$ iterations, but each iteration needs to solve an $n\times n$ system of linear equations, a much higher cost than our algorithm when $k\ll n$. Our algorithm works even though the solution to a projective LCP is not restricted to lie in any low-rank subspace.


title: Reply to Comment on "Space-Time Crystals of Trapped Ions"

abstract: This is a reply to the comment from Patrick Bruno (arXiv:1211.4792) on our paper (Phys. Rev. Lett. 109, 163001 (2012)).


title: An Analysis On Ward Identity For Multi-Field Inflation

abstract: Given a correlation function (or n-point function), can the corresponding nature of space-time be determined ? To answer this question it is required to derive the Ward Identity (WI), analyse the symmetries and arrive at the law of conservation. Modus operandi involves Lie differentiating two-point function considering the symmetry to be non-anomalous. The WI so obtained is shown to form a Lie algebra which determines the nature of space-time. Solving the identity results in a law of conservation, which physically explains the reason for WI to form an algebra and contains in it an equation of motion for four-point function. As a special case, a relation between mass and potential involving the spatial derivatives of four- and five- point function is obtained. Finally, the conservation equation is exploited to get the probability amplitude for the two-point function which shows how correlation functions provide an opportunity to probe the fundamental laws of physics.


title: Inclusive search for supersymmetry using the razor variables in pp collisions at sqrt(s) = 7 TeV

abstract: An inclusive search is presented for new heavy particle pairs produced in sqrt(s) = 7 TeV proton-proton collisions at the LHC using 4.7 +/- 0.1 inverse femtobarns of integrated luminosity. The selected events are analyzed in the 2D razor space of MR, an event-by-event indicator of the heavy particle mass scale, and R, a dimensionless variable related to the missing transverse energy. The third-generation sector is probed using the event heavy-flavor content. The search is sensitive to generic supersymmetry models with minimal assumptions about the superpartner decay chains. No excess is observed in the number of events beyond that predicted by the standard model. Exclusion limits are derived in the CMSSM framework as well as for simplified models. Within the CMSSM parameter space considered, gluino masses up to 800 GeV and squark masses up to 1.35 TeV are excluded at 95% confidence level depending on the model parameters. The direct production of pairs of stop or sbottom quarks is excluded for masses as high as 400 GeV.


title: Length structures on manifolds with continuous Riemannian metrics

abstract: It is well-known that the class of piecewise smooth curves together with a smooth Riemannian metric induces a metric space structure on a manifold. However, little is known about the minimal regularity needed to analyze curves and particularly to study length-minimizing curves where neither classical techniques such as a differentiable exponential map etc. are available nor (generalized) curvature bounds are imposed. In this paper we advance low-regularity Riemannian geometry by investigating general length structures on manifolds that are equipped with Riemannian metrics of low regularity. We generalize the length structure by proving that the class of absolutely continuous curves induces the standard metric space structure. The main result states that the arc-length of absolutely continuous curves is the same as the length induced by the metric. For the proof we use techniques from the analysis of metric spaces and employ specific smooth approximations of continuous Riemannian metrics. We thus show that when dealing with lengths of curves, the metric approach for low-regularity Riemannnian manifolds is still compatible with standard definitions and can successfully fill in for lack of differentiability.


title: On precanonical quantization of gravity in spin connection variables

abstract: The basics of precanonical quantization and its relation to the functional Schr\"odinger picture in QFT are briefly outlined. The approach is applied to quantization of Einstein's gravity in vielbein and spin connection variables and leads to a quantum dynamics described by the covariant Schr\"odinger equation for the transition amplitudes on the bundle of spin connection coefficients over the space-time, that yields a novel quantum description of space-time geometry. A toy model of precanonical quantum cosmology based on the example of flat FLRW universe is considered.


title: Practical approximation of single-qubit unitaries by single-qubit quantum Clifford and T circuits

abstract: We present an algorithm, along with its implementation that finds T-optimal approximations of single-qubit Z-rotations using quantum circuits consisting of Clifford and T gates. Our algorithm is capable of handling errors in approximation down to size $10^{-15}$, resulting in optimal single-qubit circuit designs required for implementation of scalable quantum algorithms. Our implementation along with the experimental results are available in the public domain.


title: Full counting statistics and the Edgeworth series for matrix product states

abstract: We consider full counting statistics of spin in matrix product states. In particular, we study the approach to gaussian distribution for magnetization. We derive the asymptotic corrections to the central limit theorem for magnetization distribution for finite but large blocks in analogy to the Edgeworth series. We also show how central limit theorem like behavior is modified for certain states with topological characteristics such as the AKLT state.


title: A First Look at the Auriga-California Giant Molecular Cloud With Herschel and the CSO: Census of the Young Stellar Objects and the Dense Gas

abstract: We have mapped the Auriga/California molecular cloud with the Herschel PACS and SPIRE cameras and the Bolocam 1.1 mm camera on the Caltech Submillimeter Observatory (CSO) with the eventual goal of quantifying the star formation and cloud structure in this Giant Molecular Cloud (GMC) that is comparable in size and mass to the Orion GMC, but which appears to be forming far fewer stars. We have tabulated 60 compact 70/160um sources that are likely pre-main-sequence objects and correlated those with Spitzer and WISE mid-IR sources. At 1.1 mm we find 18 cold, compact sources and discuss their properties. The most important result from this part of our study is that we find a modest number of additional compact young objects beyond those identified at shorter wavelengths with Spitzer. We also describe the dust column density and temperature structure derived from our photometric maps. The column density peaks at a few x 10^22 cm^-2 (N_H2) and is distributed in a clear filamentary structure along which nearly all the pre-main-sequence objects are found. We compare the YSO surface density to the gas column density and find a strong non-linear correlation between them. The dust temperature in the densest parts of the filaments drops to ~10K from values ~ 14--15K in the low density parts of the cloud. We also derive the cumulative mass fraction and probability density function of material in the cloud which we compare with similar data on other star-forming clouds.


title: Entropic Inference: some pitfalls and paradoxes we can avoid

abstract: The method of maximum entropy has been very successful but there are cases where it has either failed or led to paradoxes that have cast doubt on its general legitimacy. My more optimistic assessment is that such failures and paradoxes provide us with valuable learning opportunities to sharpen our skills in the proper way to deploy entropic methods. The central theme of this paper revolves around the different ways in which constraints are used to capture the information that is relevant to a problem. This leads us to focus on four epistemically different types of constraints. I propose that the failure to recognize the distinctions between them is a prime source of errors. I explicitly discuss two examples. One concerns the dangers involved in replacing expected values with sample averages. The other revolves around misunderstanding ignorance. I discuss the Friedman-Shimony paradox as it is manifested in the three-sided die problem and also in its original thermodynamic formulation.


title: CMB Bispectrum from Non-linear Effects during Recombination

abstract: We study cosmological perturbations by solving the governing Boltzmann and Einstein Field equations up to second order, and calculate the corresponding CMB bispectrum during recombination. We include all the second-order Liouville and collision terms, truncating the multipole hierarchy at $l=10$, consistently including all $m\neq 0$ terms when calculating the bispectrum in the flat-sky limit. At this stage, we focus on contributions at recombination and we neglect 2nd-order vector and tensor terms, lensing effects, and late time non-linear ISW. We find that the signal-to-noise for the bispectrum is 0.69 for $l_{max}=2000$, yielding an overall signal $F_{\rm NL} = 3.19$ (normalised relative to the local model). We find that the effective $f_{NL}$'s of the equilateral and local type are 5.11 and 0.88 respectively. This recombination signal will have to be taken into account in a quantitative analysis of the Planck data.


title: Gaugomaly Mediation Revisited

abstract: Most generic models of hidden sector supersymmetry breaking do not feature singlets, and gauginos obtain masses from anomaly mediated supersymmetry breaking. If one desires a natural model, then the dominant contribution to scalar masses should be of the same order, i.e. also from AMSB. However, pure AMSB models suffer from the tachyonic slepton problem. Moreover, there is a large splitting between the gluino and the wino LSP masses resulting in tight exclusion limits from typical superpartner searches. We introduce messenger fields into this framework to obtain a hybrid theory of gauge and anomaly mediation, solving both problems simultaneously. Specifically, we find any number of vector-like messenger fields (allowed by GUT unification) compress the predicted gaugino spectrum when their masses come from the Giudice-Masiero mechanism. This more compressed spectrum is less constrained by LHC searches and allows for lighter gluinos. In addition to the model, we present gaugino pole mass equations that differ from (and correct) the original literature.


title: Nonlinear Collapse in the Semilinear Wave Equation in AdS

abstract: Previous studies of the semilinear wave equation in Minkowski space have shown a type of critical behavior in which large initial data collapse to singularity formation due to nonlinearities while small initial data does not. Numerical solutions in spherically symmetric Anti-de Sitter (AdS) are presented here which suggest that, in contrast, even small initial data collapse eventually. Such behavior appears analogous to the recent result of Ref. [1] that found that even weak, scalar initial data collapse gravitationally to black hole formation via a weakly turbulent instability. Furthermore, the imposition of a reflecting boundary condition in the bulk introduces a cut-off, below which initial data fails to collapse. This threshold appears to arise because of the dispersion introduced by the boundary condition.


title: Simply Unnatural Supersymmetry

abstract: The current measurement of the Higgs mass, the ubiquitous nature of loop-suppressed gaugino masses in gravity-mediated supersymmetry breaking, relic dark matter density from $\sim$ TeV mass gauginos, together with the success of supersymmetric gauge coupling unification, suggest that scalar superpartner masses are roughly $m_{sc} \sim$ 100-1000 TeV. Higgsino masses, if not at the Planck scale, should generically appear at the same scale. The gaugino mass contributions from anomaly mediation, with the heavy Higgsino threshold, generally leads to a more compressed spectrum than standard anomaly mediation, while the presence of extra vector-like matter near $m_{sc}$ typically leads to an even more compressed spectrum. Heavy Higgsinos improve gauge coupling unification relative to the MSSM. Heavy scalars suggest new possibilities for flavor physics -- large flavor violations in the soft masses are now allowed, yielding interesting levels for new FCNC's, and re-opening the attractive possibility of a radiatively generated fermion mass hierarchy. Gluinos and binos/winos must decay through higher dimension operators, giving a unique handle on the presence of new physics the scale $m_{sc}$. Gluino decays should be spectacular, for example yielding events with four tops -- at modestly displaced vertices -- and two Higgses plus missing energy. The high scale $m_{sc}$ can also be probed in flavor-violating gluino decays, as well as a specific pattern of gluino branching ratios to the third generation. Finally, with heavy Higgsinos, the dominant decay for neutral winos and binos proceeds via the Higgs $\tilde b \to \tilde w h$. The heaviness of the Higgsinos can be inferred from the branching ratio for the rare decay $\tilde b \to \tilde w Z$.


title: A Galileon Primer

abstract: Elementary features of galileon models are discussed at an introductory level. Following a simple example, a general formalism leading to a hierarchy of field equations and Lagrangians is developed for flat spacetimes. Legendre duality is discussed. Implicit and explicit solutions are then constructed and analyzed in some detail. Galileon shock fronts are conjectured to exist. Finally, some interesting general relativistic effects are studied for galileons coupled minimally to gravity. Spherically symmetric galileon and metric solutions with naked curvature singularities are obtained and are shown to be separated from solutions which exhibit event horizons by a critical curve in the space of boundary data.


title: Optimality of the triangular lattice for a particle system with Wasserstein interaction

abstract: We prove strong crystallization results in two dimensions for an energy that arises in the theory of block copolymers. The energy is defined on sets of points and their weights, or equivalently on the set of atomic measures. It consists of two terms; the first term is the sum of the square root of the weights, and the second is the quadratic optimal transport cost between the atomic measure and the Lebesgue measure. We prove that this system admits crystallization in several different ways: (1) the energy is bounded from below by the energy of a triangular lattice (called $\mathcal T$); (2) if the energy equals that of $\mathcal T$, then the measure is a rotated and translated copy of $\mathcal T$; (3) if the energy is close to that of $\mathcal T$, then locally the measure is close to a rotated and translated copy of $\mathcal T$. These three results require the domain to be a polygon with at most six sides. A fourth result states that the energy of $\mathcal T$ can be achieved in the limit of large domains, for domains with arbitrary boundaries. The proofs make use of three ingredients. First, the optimal transport cost associates to each point a polygonal cell; the energy can be bounded from below by a sum over all cells of a function that depends only on the cell. Second, this function has a convex lower bound that is sharp at $\mathcal T$. Third, Euler's polytope formula limits the average number of sides of the polygonal cells to six, where six is the number corresponding to the triangular lattice.


title: Positroids, Plabic Graphs, and Scattering Amplitudes in Mathematica

abstract: The many intricate connections between scattering amplitudes, on-shell diagrams, and the positroid stratification of the Grassmannian has recently been described in great detail. In order to facilitate the exploration of this rich correspondence, we have prepared a public Mathematica package called "positroids" which includes an array of useful tools including those for the construction of canonical coordinates for positroid configurations, the drawing of representative on-shell (plabic) graphs, and the evaluation of on-shell differential forms. This note documents the functions made available by the positroids package; the package's source code together with a Mathematica notebook containing many detailed examples of its functionality are included with this note's submission files on the arXiv.


title: Applications of fMRI for Brain Mapping

abstract: Brain-mapping techniques have proven to be vital in understanding the molecular, cellular, and functional mechanisms of the brain. Normal anatomical imaging can provide structural information on certain abnormalities in the brain. However there are many neurological disorders for which only structure studies are not sufficient. In such cases it is required to investigate the functional organization of the brain. Further it is necessary to study the brain functions under normal as well as diseased conditions. Brain mapping techniques can help in deriving useful and important information on these issues. Brain functions and brain area responsible for the particular activities like motor, sensory speech and memory process could be investigated. The authors provide an overview of various Brain Mapping techniques and fMRI signal processing methods.


title: Limits of reductionism and the measurement problem

abstract: In the paper, we tackle the following questions: Could the difficulty in solving the Schrodinger equation for an arbitrarily large system be a reflection of some nature intrinsic property? And if so, could this difficulty be a resolution to the measurement problem?


title: Sesquilinear forms over rings with involution

abstract: Many classical results concerning quadratic forms have been extended to forms over algebras with involution. However, not much is known in the case of forms without any symmetry property. The present paper will establish Witt cancellation and base change results, as well as some local-global and finiteness results in this context.


title: Population genetics of gene function

abstract: This paper shows that differentiating the lifetimes of two phenotypes independently from their fertility can lead to a qualitative change in the equilibrium of a population: since survival and reproduction are distinct functional aspects of an organism, this observation contributes to extend the population-genetical characterisation of biological function. To support this statement a mathematical relation is derived to link the lifetime ratio T_1/T_2, which parametrizes the different survival ability of two phenotypes, with population variables that quantify the amount of neutral variation underlying a population's phenotypic distribution.


title: A Matter with an effective EoS interacting with a tachynic field in an accelerating Universe

abstract: We consider a fluid described by a parameterized EoS of the general form $P=(\gamma-1)\rho+p_{0}+\omega_{H}H+\omega_{H2}H^{2}+\omega_{dH}\dot{H}$ \cite{Ren}, where $p_{0}$, $\omega_{H}$, $\omega_{H2}$ and $\omega_{dH}$ are free parameters of the model, interacting with a Tachyonic field with a relativistic Lagrangian $L_{TF}=-V(\phi)\sqrt{1-\partial_{i}\phi\partial^{i}\phi}$. The acceleration of the Universe described by a scale factor $a(t)=t^{n}, (n>1)$. Under consideration of different forms of interaction the field $\phi$ and the potential $V(\phi)$ are recovered and graphical analysis performed. For illustration purposes we fixed values of parameters of the models to provide $V \rightarrow 0$ for later stages of evolution, when $t \rightarrow \infty$.


title: Predictive Non-equilibrium Social Science

abstract: Non-Equilibrium Social Science (NESS) emphasizes dynamical phenomena, for instance the way political movements emerge or competing organizations interact. This paper argues that predictive analysis is an essential element of NESS, occupying a central role in its scientific inquiry and representing a key activity of practitioners in domains such as economics, public policy, and national security. We begin by clarifying the distinction between models which are useful for prediction and the much more common explanatory models studied in the social sciences. We then investigate a challenging real-world predictive analysis case study, and find evidence that the poor performance of standard prediction methods does not indicate an absence of human predictability but instead reflects (1.) incorrect assumptions concerning the predictive utility of explanatory models, (2.) misunderstanding regarding which features of social dynamics actually possess predictive power, and (3.) practical difficulties exploiting predictive representations.


title: Trading networks, abnormal motifs and stock manipulation

abstract: We study trade-based manipulation of stock prices from the perspective of complex trading networks constructed by using detailed information of trades. A stock trading network consists of nodes and directed links, where every trader is a node and a link is formed from one trader to the other if the former sells shares to the latter. Specifically, three abnormal network motifs are investigated, which are found to be formed by a few traders, implying potential intention of price manipulation. We further investigate the dynamics of volatility, trading volume, average trade size and turnover around the transactions associated with the abnormal motifs for large, medium and small trades. It is found that these variables peak at the abnormal events and exhibit a power-law accumulation in the pre-event time period and a power-law relaxation in the post-event period. We also find that the cumulative excess returns are significantly positive after buyer-initiated suspicious trades and exhibit a mild price reversal after seller-initiated suspicious trades. These findings can be better understood in favor of price manipulation. Our work shed new lights into the detection of price manipulation resorting to the abnormal motifs of complex trading networks.


title: A modified Gallagher's Lemma

abstract: First we prove a modified version of the famous Lemma on the mean square estimate for exponential sums, by plugging the Cesaro weights in the right hand side of Gallagher's inequality. Then we apply it, in order to establish a mean value estimate for the Dirichlet polynomials.


title: Cosmological Constant as a Free Thermodynamical Variable

abstract: We consider a possibility that the cosmological constant may not be a constant, but a free thermodynamical variable. To this end we construct a microscopic model of a spacelike two-sphere just inside of the cosmological horizon of the de Sitter spacetime. In our model the spacelike two-sphere in question is assumed to consist of discrete constituents, each of them contributing to the two-sphere an area, which is in an integer times a constant. Using our model we obtain a thermodynamical equation of state for the cosmological constant. Our equation of state implies that the cosmological constant has a certain positive lower bound, which depends on the number of the constituents of the two-sphere.


title: The intergalactic Newtonian gravitational field and the shell theorem

abstract: The release of the 2MASS Redshift Survey (2MRS), with it's 44599 galaxies allows the deduction of the galaxy's masses in nearly complete sample. A cubic box with side of 37 Mpc containing 2429 galaxies is extracted and the Newtonian gravitational field is evaluated both at the center of the box as well in 101 x 101 x 101 grid points of the box. The obtained results are then discussed at the light of the shell theorem which states that at the internal of a sphere the gravitational field is zero.


title: Measurement problem: from de Broglie to theory of classical random fields interacting with threshold detectors

abstract: The quantum measurement problem as was formulated by von Neumann in 1933 can be solved by going beyond the operational quantum formalism. In our "prequantum model" quantum systems are symbolic representations of classical random fields. The Schr\"odinger's dynamics is a special form of the linear dynamics of classical fields. Measurements are described as interactions of classical fields with detectors. Discontinuity, the "collapse of the wave function", has the trivial origin: usage of threshold type detectors. The von Neumann projection postulate can be interpreted as the formal mathematical encoding of the absence of coincidence detection in measurement on a single quantum system, e.g., photon's polarization measurement. Our model, prequantum classical statistical field theory (PCSFT), in combination with measurements by threshold detectors satisfies the quantum restriction on coincidence detections: the second order coherence is less than one (opposite to all known semiclassical and classical feld models). The basic rule of quantum probability, the Born's rule, is derived from properties of prequantum random felds interacting with threshold type detectors. Comparison with De Broglie's views to quantum mechanics as theory of physical waves with singularities is presented.


title: An X-ray and Multiwavelength Survey of Highly Radio-Loud Quasars at z > 4: Jet-Linked Emission in the Brightest Radio Beacons of the Early Universe

abstract: (Abridged) We present a systematic study of the X-ray and multiwavelength properties of a sample of 17 highly radio-loud quasars (HRLQs) at z > 4 with sensitive X-ray coverage from new Chandra and archival Chandra, XMM-Newton, and Swift observations. Eight of the new and archival observations are reported in this work for the first time. New Chandra observations of two moderately radio-loud and highly optically luminous quasars at z > 4 are also reported. Our HRLQ sample represents the top ~5% of radio-loud quasars in terms of radio loudness. We found that our HRLQs have an X-ray emission enhancement over HRLQs at lower redshifts (by a typical factor of ~3), and this effect, after controlling for several factors which may introduce biases, has been solidly estimated to be significant at the 3-4 sigma level. HRLQs at z=3-4 are also found to have a similar X-ray emission enhancement over z < 3 HRLQs, which supports further the robustness of our results. We discuss models for the X-ray enhancement's origin including a fractional contribution from inverse Compton scattering of cosmic microwave background photons. No strong correlations are found between the relative X-ray brightness and optical/UV emission-line rest-frame equivalent widths (REWs) for radio-loud quasars. However, the line REWs are positively correlated with radio loudness, which suggests that relativistic jets make a negligible contribution to the optical/UV continua of these HRLQs (contrary to the case where the emission lines are diluted by the relativistically boosted continuum). Our HRLQs are generally consistent with the known anti-correlation between radio loudness and X-ray power-law photon index. We also found that the two moderately radio-loud quasars appear to have the hardest X-ray spectra among our objects, suggesting that intrinsic X-ray absorption (N_H~10^23 cm^-2) may be present.


title: Geodesics on Surfaces with Helical Symmetry: Cavatappi Geometry

abstract: A 3-parameter family of helical tubular surfaces obtained by screw revolving a circle provides a useful pedagogical example of how to study geodesics on a surface that admits a 1-parameter symmetry group, but is not as simple as a surface of revolution like the torus which it contains as a special case. It serves as a simple example of helically symmetric surfaces which are the generalizations of surfaces of revolution in which an initial plane curve is screw-revolved around an axis in its plane. The physics description of geodesic motion on these surfaces requires a slightly more involved effective potential approach than the torus case due to the nonorthogonal coordinate grid necessary to describe this problem. Amazingly this discussion allows one to very nicely describe the geodesics of the surface of the more complicated ridged cavatappi pasta.


title: Propelinear 1-perfect codes from quadratic functions

abstract: Perfect codes obtained by the Vasil'ev--Sch\"onheim construction from a linear base code and quadratic switching functions are transitive and, moreover, propelinear. This gives at least $\exp(cN^2)$ propelinear $1$-perfect codes of length $N$ over an arbitrary finite field, while an upper bound on the number of transitive codes is $\exp(C(N\ln N)^2)$. Keywords: perfect code, propelinear code, transitive code, automorphism group, Boolean function.


title: Bethe Bounds and Approximating the Global Optimum

abstract: Inference in general Markov random fields (MRFs) is NP-hard, though identifying the maximum a posteriori (MAP) configuration of pairwise MRFs with submodular cost functions is efficiently solvable using graph cuts. Marginal inference, however, even for this restricted class, is in #P. We prove new formulations of derivatives of the Bethe free energy, provide bounds on the derivatives and bracket the locations of stationary points, introducing a new technique called Bethe bound propagation. Several results apply to pairwise models whether associative or not. Applying these to discretized pseudo-marginals in the associative case we present a polynomial time approximation scheme for global optimization provided the maximum degree is $O(\log n)$, and discuss several extensions.


title: Semiclassical Partition Functions for Gravity with Cosmic Strings

abstract: In this paper we describe an approach to construct semiclassical partition functions in gravity which are complete in the sense that they contain a complete description of the differentiable structures of the underlying 4-manifold. In addition, we find our construction naturally includes cosmic strings. We discuss some possible applications of the partition functions in the fields of both quantum gravity and topological string theory


title: High-z Quasars in the R_h=ct Universe

abstract: One cannot understand the early appearance of 10^9 solar-mass black holes without invoking anomalously high accretion rates or the creation of exotically massive seeds, neither of which is seen in the local Universe. Recent observations have compounded this problem by demonstrating that most, if not all, of the high-z quasars appear to be accreting at the Eddington limit. In the context of LCDM, the only viable alternative now appears to be the assemblage of supermassive black holes via mergers, as long as the seeds started forming at redshifts >40, but ceased being created by z~20-30. In this paper, we show that, whereas the high-z quasars may be difficult to explain within the framework of the standard model, they can instead be interpreted much more sensibly in the context of the R_h=ct Universe. In this cosmology, 5-20 solar-mass seeds produced after the onset of re-ionization (at z<15) could have easily grown to M>10^9 solar masses by z> 6, merely by accreting at the standard Eddington rate.


title: Ubiquitous Solar Eruptions Driven by Magnetized Vortex Tubes

abstract: The solar surface is covered by high-speed jets transporting mass and energy into the solar corona and feeding the solar wind. The most prominent of these jets have been known as spicules. However, the mechanism initiating these eruptions events is still unknown. Using realistic numerical simulations we find that small-scale eruptions are produced by ubiquitous magnetized vortex tubes generated by the Sun's turbulent convection in subsurface layers. The swirling vortex tubes (resembling tornadoes) penetrate into the solar atmosphere, capture and stretch background magnetic field, and push surrounding material up, generating quasiperiodic shocks. Our simulations reveal a complicated high-speed flow patterns, and thermodynamic and magnetic structure in the erupting vortex tubes. We found that the eruptions are initiated in the subsurface layers and are driven by the high-pressure gradients in the subphotosphere and photosphere, and by the Lorentz force in the higher atmosphere layers.


title: Small ball probability, Inverse theorems, and applications

abstract: Let $\xi$ be a real random variable with mean zero and variance one and $A={a_1,...,a_n}$ be a multi-set in $\R^d$. The random sum $$S_A := a_1 \xi_1 + ... + a_n \xi_n $$ where $\xi_i$ are iid copies of $\xi$ is of fundamental importance in probability and its applications. We discuss the small ball problem, the aim of which is to estimate the maximum probability that $S_A$ belongs to a ball with given small radius, following the discovery made by Littlewood-Offord and Erdos almost 70 years ago. We will mainly focus on recent developments that characterize the structure of those sets $A$ where the small ball probability is relatively large. Applications of these results include full solutions or significant progresses of many open problems in different areas.


title: Hydrological Cycle over South and Southeast Asian River Basins as Simulated by PCMDI/CMIP3 Experiments

abstract: We investigate how the climate models contributing to the PCMDI/CMIP3 dataset describe the hydrological cycle over four major South and Southeast Asian river basins (Indus, Ganges, Brahmaputra and Mekong) for the 20th, 21st (13 models) and 22nd (10 models) centuries. For the 20th century, some models do not seem to conserve water at the river basin scale up to a good degree of approximation. The simulated precipitation minus evaporation (P - E), total runoff (R) and precipitation (P) quantities are neither consistent with the observations nor among the models themselves. Most of the models underestimate P - E for all four river basins, which is mainly associated with the underestimation of precipitation. This is in agreement with the recent results on the biases of the representation of monsoonal dynamics by GCMs. Overall, a modest inter-model agreement is found only for the evaporation and inter-annual variability of P - E. For the 21st and 22nd centuries, models agree on the negative (positive) changes of P - E for the Indus basin (Ganges, Brahmaputra and Mekong basins). Most of the models foresee an increase in the inter-annual variability of P - E for the Ganges and Mekong basins, thus suggesting an increase in large low-frequency dry/wet events. Instead, no considerable future change in the inter-annual variability of P - E is found for the Indus and Brahmaputra basins.


title: On the likely dominance of WIMP annihilation to fermion pair+W/Z (and implication for indirect detection)

abstract: Arguably, the most popular candidate for Dark Matter (DM) is a massive, stable, Majorana fermion. However, annihilation of Majorana DM to two fermions often features a helicity-suppressed s-wave rate. Radiating a gauge boson via electroweak (EW) and electromagnetic (EM) bremsstrahlung removes this s-wave suppression. The main purpose of this talk is to explain in some detail why the branching ratio to a fermion pair is likely suppressed while the decay to the pair plus a W/Z is not. In doing so, we investigate the general conditions for s-wave suppression and un-suppression using Fierz transformations and partial wave expansions. Suppression for the 2-to-2 process is sufficiently severe that the EW and EM bremsstrahlung are likely to be the dominant modes of gauge-singlet Majorana DM annihilation. We end this talk with a discussion of the challenge presented by space-based data for Majorana DM models, given that the enhanced rate to radiated W and Z gauge bosons and their dominant decay via hadronic channels tends to produce more anti-protons than are observed.


title: A cavity-stabilized laser with acceleration sensitivity below $10^{-12}$/g

abstract: We characterize the frequency-sensitivity of a cavity-stabilized laser to inertial forces and temperature fluctuations, and perform real-time feed-forward to correct for these sources of noise. We measure the sensitivity of the cavity to linear accelerations, rotational accelerations, and rotational velocities by rotating it about three axes with accelerometers and gyroscopes positioned around the cavity. The worst-direction linear acceleration sensitivity of the cavity is $2(1) \times 10^{-11}$/g measured over 0-50 Hz, which is reduced by a factor of 50 to below $10^{-12}$/g for low-frequency accelerations by real-time feed-forward corrections of all of the aforementioned inertial forces. A similar idea is demonstrated in which laser frequency drift due to temperature fluctuations is reduced by a factor of 70 via real-time feed-forward from a temperature sensor located on the outer wall of the cavity vacuum chamber.


title: Characterizing the Cool KOIs IV: Kepler-32 as a prototype for the formation of compact planetary systems throughout the Galaxy

abstract: The Kepler space telescope has opened new vistas in exoplanet discovery space by revealing populations of Earth-sized planets that provide a new context for understanding planet formation. Approximately 70% of all stars in the Galaxy belong to the diminutive M dwarf class, several thousand of which lie within Kepler's field of view, and a large number of these targets show planet transit signals. Kepler-32 is a typical star in the Kepler M dwarf sample that presents us with a rare opportunity: five planets transit this star giving us an expansive view of its architecture. All five planets of this compact system orbit their host star within a distance one third the size of Mercury's orbit with the innermost planet positioned a mere 4.3 stellar radii from the stellar photosphere. New observations limit possible false positive scenarios allowing us to validate the entire Kepler-32 system making it the richest known system of transiting planets around an M dwarf. Based on considerations of the stellar dust sublimation radius, the near period commensurability of three adjacent planets, a minimum mass protoplanetary nebula, and the volatile content inferred for the planets, we propose that the Kepler-32 planets formed at larger orbital radii and migrated inward to their present locations. The volatile content inferred for the Kepler-32 planets and order of magnitude estimates for the disk migration rates suggest these planets may have formed beyond the snow line and migrated in the presence of a gaseous disk. The Kepler-32 planets are representative of the full ensemble of planet candidates orbiting the Kepler M dwarfs for which we calculate an occurrence rate of 1.0 +/- 0.1 planet per star. The formation of the Kepler-32 planets therefore offers a plausible blueprint for the formation of one of the largest known populations of planets in our Galaxy.


title: Relative velocity of dark matter and barions in clusters of galaxies and measurements of their peculiar velocities

abstract: The increasing sensitivity of current experiments, which nowadays routinely measure the thermal SZ effect within galaxy clusters, provide the hope that peculiar velocities of individual clusters of galaxies will be measured rather soon using the kinematic SZ effect. Also next generation of X-ray telescopes with microcalorimeters, promise first detections of the motion of the intra cluster medium (ICM) within clusters. We used a large set of cosmological, hydrodynamical simulations, which cover very large cosmological volume, hosting a large number of rich clusters of galaxies, as well as moderate volumes where the internal structures of individual galaxy clusters can be resolved with very high resolution to investigate, how the presence of baryons and their associated physical processes like cooling and star-formation are affecting the systematic difference between mass averaged velocities of dark matter and the ICM inside a cluster. We, for the first time, quantify the peculiar motion of galaxy clusters as function of the large scale environment. We also demonstrate that especially in very massive systems, the relative velocity of the ICM compared to the cluster peculiar velocity add significant scatter onto the inferred peculiar velocity, especially when measurements are limited to the central regions of the cluster. Depending on the aperture used, this scatter varies between 50% and 20%, when going from the core (e.g. ten percent of the virial radius) to the full cluster (e.g. the virial radius).


title: Character sheaves on unipotent groups in characteristic p>0

abstract: These are slides for a talk given by the authors at the conference "Current developments and directions in the Langlands program" held in honor of Robert Langlands at the Northwestern University in May of 2008. The slides can be used as a short introduction to the theory of characters and character sheaves for unipotent groups in positive characteristic, developed by the authors in a series of articles written between 2006 and 2011. We give an overview of the main results of this theory along with a bit of motivation.


title: Bounding Lossy Compression using Lossless Codes at Reduced Precision

abstract: An alternative approach to two-part 'critical compression' is presented. Whereas previous results were based on summing a lossless code at reduced precision with a lossy-compressed error or noise term, the present approach uses a similar lossless code at reduced precision to establish absolute bounds which constrain an arbitrary lossy data compression algorithm applied to the original data.


title: Three-Element Min-Sol and Conservative Min-Cost-Hom

abstract: Thapper and Zivny [STOC'13] recently classified the complexity of VCSP for all finite-valued constraint languages. However, the complexity of VCSPs for constraint languages that are not finite-valued remains poorly understood. In this paper we study the complexity of two such VCSPs, namely Min-Cost-Hom and Min-Sol. We obtain a full classification for the complexity of Min-Sol on domains that contain at most three elements and for the complexity of conservative Min-Cost-Hom on arbitrary finite domains. Our results answer a question raised by Takhanov [STACS'10, COCOON'10].


title: Nash equilibirum and the Legendre transform in optimal stopping games with one dimensional diffusions

abstract: We show that the value function of an optimal stopping game driven by a one-dimensional diffusion can be characterised using a modification of the Legendre transformation if and only if the optimal stopping game exhibits a Nash equilibrium (i.e. a saddle point of the optimal stopping game exists). This result is an analytical complement to the results in Peskir, G. (2012) A Duality Principle for the Legendre Transform. Journal of Convex Analysis, 19(3), 609-630 where the `duality' between a concave-biconjugate which is modified to remain below an upper barrier and a convex-biconjugate which is modified to remain above a lower barrier is proven by appealing to the probabilistic result in Peskir, G. (2008) Optimal stopping games and Nash equilibrium. Theory Probab. 53 (558-571). The main contribution of this paper is to show that, in this special case, the semi-harmonic characterisation of the value function may be proven using only results from convex analysis.


title: Large Nc volume reduction and chiral random matrix theory

abstract: Motivated by recent progress on the understanding of the Eguchi-Kawai (EK) volume equivalence and growing interest in conformal window, we simultaneously use the large-Nc volume reduction and Chiral Random Matrix Theory (chRMT) to study the chiral symmetry breaking of four dimensional SU(Nc) gauge theory with adjoint fermions in the large Nc limit. Although some cares are required because the chRMT limit and 't Hooft limit are not compatible in general, we show that the breakdown of the chiral symmetry can be detected in large-Nc gauge theories. As a first step, we mainly focus on the quenched approximation to establish the methodology. We first confirm that heavy adjoint fermions, introduced as the center symmetry preserver, work as expected and thanks to them the volume reduction holds. Using massless overlap fermion as a probe, we then calculate the low-lying Dirac spectrum for fermion in the adjoint representation to compare to that of chRMT, and find that chiral symmetry is indeed broken in the quenched theory.


title: Simulation studies of the behavior of positrons in a microtrap with long aspect ratio

abstract: The charged particles storage capacity of microtraps (micro-Penning-Malmberg traps) with large length to radius aspect ratios and radii of the order of tens of microns was explored. Simulation studies of the motions of charged particles were conducted with particle-in-cell WARP code and the Charged Particle Optics (CPO) program. The new design of the trap consisted of an array of microtraps with substantially lower end electrodes potential than conventional Penning-Malmberg traps, which makes this trap quite portable. It was computationally shown that each microtrap with 50 micron radius stored positrons with a density (1.6x10^11 cm^-3) even higher than that in conventional Penning-Malmberg traps (about 10^11 cm^-3) while the confinement voltage was only 10 V. It was presented in this work how to evaluate and lower the numerical noise by controlling the modeling parameters so the simulated plasma can evolve toward computational equilibrium. The local equilibrium distribution, where longitudinal force balance is satisfied along each magnetic field line, was attained in time scales of the simulation for plasmas initialized with a uniform density and Boltzmann energy distribution. The charge clouds developed the expected radial soft edge density distribution and rigid rotation evolved to some extent. To reach global equilibrium (i.e. rigid rotation) longer runs are required. The plasma confinement time and its thermalization were independent of the length. The length-dependency, reported in experiments, is due to fabrication and field errors. Computationally, more than one hundred million positrons were trapped in one microtrap with 50 micron radius and 10 cm length immersed in a 7 T uniform, axial magnetic field, and the density scaled as r^-2 down to 3 micron. Larger densities were trapped with higher barrier potentials.


title: On exact functors for Heller triangulated categories

abstract: We show certain standard constructions of the theory of Verdier triangulated categories to be valid in the Heller triangulated framework as well; viz. Karoubi hull, exactness of adjoints, localisation.


title: Lorentz Gauge Quantization in a Cosmological Space-time

abstract: It has recently been shown that it is not possible to impose the Lorentz gauge condition in a cosmological space-time using the Gutpa-Bleuler method of quantization. It was also shown that it is possible to add $\nabla_{\mu}A^{\mu}$ as a new degree of freedom to the electromagnetic field and that this new degree of freedom might be the dark energy which is producing the accelerated expansion of the Universe. In this paper I show that the Lorentz gauge condition can be imposed using Dirac's method of quantizing constrained dynamical systems. I also compute the vacuum expectation value of the energy-momentum tensor and show that it vanishes. Thus, in Dirac's approach, the electromagnetic field does not make a contribution to the dark energy.


title: Astronomy and the Fifth Dimension

abstract: Astronomy is a precise and relatively simple science because objects accelerate in a gravitational field at the same rate, irrespective of their composition. Galileo knew this, and Einstein took it as the basis for general relativity. Surprisingly, it is also a consequence of new theories that use a fifth dimension.


title: Open quantum random walks with decoherence on coins with $n$ degrees of freedom

abstract: In this paper, we define a new type of decoherent quantum random walks with parameter $0\le p\le 1$, which becomes a unitary quantum random walk (UQRW) when $p=0$ and an open quantum random walk (OPRW) when $p=1$ respectively. We call this process a partially open quantum random walk (POQRW). We study the limiting distribution of a POQRW on $Z^1$ subject to decoherence on coins with $n$ degrees of freedom, which converges to a convex combination of normal distributions if the superoperator $\mathcal{L}_{kk}$ satisfies the eigenvalue condition, that is, 1 is an eigenvalue of $\mathcal{L}_{kk}$ with multiplicity one and all other eigenvalues have absolute values less than 1. A Perron-Frobenius type of theorem is provided in determining whether or not the superoperator satisfies the eigenvalue condition. Moreover, we compute the limiting distributions of characteristic equations of the position probability functions for $n=2$ and 3.


title: On the Product of Small Elkies Primes

abstract: Given an elliptic curve $E$ over a finite field $\F_q$ of $q$ elements, we say that an odd prime $\ell \nmid q$ is an Elkies prime for $E$ if $t_E^2 - 4q$ is a quadratic residue modulo $\ell$, where $t_E = q+1 - #E(\F_q)$ and $#E(\F_q)$ is the number of $\F_q$-rational points on $E$. These primes are used in the presently most efficient algorithm to compute $#E(\F_q)$. In particular, the bound $L_q(E)$ such that the product of all Elkies primes for $E$ up to $L_q(E)$ exceeds $4q^{1/2}$ is a crucial parameter of this algorithm. We show that there are infinitely many pairs $(p, E)$ of primes $p$ and curves $E$ over $\F_p$ with $L_p(E) \ge c \log p \log \log \log p$ for some absolute constant $c>0$, while a naive heuristic estimate suggests that $L_p(E) \sim \log p$. This complements recent results of Galbraith and Satoh (2002), conditional under the Generalised Riemann Hypothesis, and of Shparlinski and Sutherland (2012), unconditional for almost all pairs $(p,E)$.


title: Constraints on Bosonic Dark Matter From Observations of Old Neutron Stars

abstract: Baryon interactions with bosonic dark matter are constrained by the potential for dark matter-rich neutron stars to collapse into black holes. We consider the effect of dark matter self-interactions and dark matter annihilation on these bounds, and treat the evolution of the black hole after formation. We show that, for non-annihilating dark matter, these bounds extend up to $m_X \sim 10^{5-7}$ GeV, depending on the strength of self-interactions. However, these bounds are completely unconstraining for annihilating bosonic dark matter with an annihilation cross-section of $<\sigma_a v> \gtrsim 10^{-38} {\rm cm^3 /s}$. Dark matter decay does not significantly affect these bounds. We thus show that bosonic dark matter accessible to near-future direct detection experiments must participate in an annihilation or self-interaction process to avoid black hole collapse constraints from very old neutron stars.


title: Formal Verification, Engineering and Business Value

abstract: How to apply automated verification technology such as model checking and static program analysis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might have no background in formal verification? And how to convince business managers to actually pay for such a software? This work addresses a number of those questions. Based on our own experience on developing and distributing the Goanna source code analyzer for detecting software bugs and security vulnerabilities in C/C++ code, we explain the underlying technology of model checking, static analysis and SMT solving, steps involved in creating industrial-proof tools.


title: PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

abstract: Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS design and verification is quite challenging because of asynchronous communication, network delays, and clock skews. Furthermore, their model checking verification typically becomes unfeasible due to the huge state space explosion caused by the system's concurrency. The PALS ("physically asynchronous, logically synchronous") methodology has been proposed to reduce the design and verification of a DCPS to the much simpler task of designing and verifying its underlying synchronous version. The original PALS methodology assumes a single logical period, but Multirate PALS extends it to deal with multirate DCPS in which components may operate with different logical periods. This paper shows how Multirate PALS can be applied to formally verify a nontrivial multirate DCPS. We use Real-Time Maude to formally specify a multirate distributed hybrid system consisting of an airplane maneuvered by a pilot who turns the airplane according to a specified angle through a distributed control system. Our formal analysis revealed that the original design was ineffective in achieving a smooth turning maneuver, and led to a redesign of the system that satisfies the desired correctness properties. This shows that the Multirate PALS methodology is not only effective for formal DCPS verification, but can also be used effectively in the DCPS design process, even before properties are verified.


title: Generating Property-Directed Potential Invariants By Backward Analysis

abstract: This paper addresses the issue of lemma generation in a k-induction-based formal analysis of transition systems, in the linear real/integer arithmetic fragment. A backward analysis, powered by quantifier elimination, is used to output preimages of the negation of the proof objective, viewed as unauthorized states, or gray states. Two heuristics are proposed to take advantage of this source of information. First, a thorough exploration of the possible partitionings of the gray state space discovers new relations between state variables, representing potential invariants. Second, an inexact exploration regroups and over-approximates disjoint areas of the gray state space, also to discover new relations between state variables. k-induction is used to isolate the invariants and check if they strengthen the proof objective. These heuristics can be used on the first preimage of the backward exploration, and each time a new one is output, refining the information on the gray states. In our context of critical avionics embedded systems, we show that our approach is able to outperform other academic or commercial tools on examples of interest in our application field. The method is introduced and motivated through two main examples, one of which was provided by Rockwell Collins, in a collaborative formal verification framework.


title: A Formal Model For Real-Time Parallel Computation

abstract: The imposition of real-time constraints on a parallel computing environment- specifically high-performance, cluster-computing systems- introduces a variety of challenges with respect to the formal verification of the system's timing properties. In this paper, we briefly motivate the need for such a system, and we introduce an automaton-based method for performing such formal verification. We define the concept of a consistent parallel timing system: a hybrid system consisting of a set of timed automata (specifically, timed Buchi automata as well as a timed variant of standard finite automata), intended to model the timing properties of a well-behaved real-time parallel system. Finally, we give a brief case study to demonstrate the concepts in the paper: a parallel matrix multiplication kernel which operates within provable upper time bounds. We give the algorithm used, a corresponding consistent parallel timing system, and empirical results showing that the system operates under the specified timing constraints.


title: Model Checking with Program Slicing Based on Variable Dependence Graphs

abstract: In embedded control systems, the potential risks of software defects have been increasing because of software complexity which leads to, for example, timing related problems. These defects are rarely found by tests or simulations. To detect such defects, we propose a modeling method which can generate software models for model checking with a program slicing technique based on a variable dependence graph. We have applied the proposed method to one case in automotive control software and demonstrated the effectiveness of the method. Furthermore, we developed a software tool to automate model generation and achieved a 35% decrease in total verification time on model checking.


title: Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems

abstract: Testing is a de-facto verification technique in industry, but insufficient for identifying subtle issues due to its optimistic incompleteness. On the other hand, model checking is a powerful technique that supports comprehensiveness, and is thus suitable for the verification of safety-critical systems. However, it generally requires more knowledge and cost more than testing. This work attempts to take advantage of both techniques to achieve integrated and efficient verification of OSEK/VDX-based automotive operating systems. We propose property-based environment generation and model extraction techniques using static code analysis, which can be applied to both model checking and testing. The technique is automated and applied to an OSEK/VDX-based automotive operating system, Trampoline. Comparative experiments using random testing and model checking for the verification of assertions in the Trampoline kernel code show how our environment generation and abstraction approach can be utilized for efficient fault-detection.


title: A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles

abstract: Semi-autonomous vehicles are increasingly serving critical functions in various settings from mining to logistics to defence. A key characteristic of such systems is the presence of the human (drivers) in the control loop. To ensure safety, both the driver needs to be aware of the autonomous aspects of the vehicle and the automated features of the vehicle built to enable safer control. In this paper we propose a framework to combine empirical models describing human behaviour with the environment and system models. We then analyse, via model checking, interaction between the models for desired safety properties. The aim is to analyse the design for safe vehicle-driver interaction. We demonstrate the applicability of our approach using a case study involving semi-autonomous vehicles where the driver fatigue are factors critical to a safe journey.


title: Formal Model-Driven Engineering: Generating Data and Behavioural Components

abstract: Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using model transformations and code generators that encode domain knowledge and implementation strategies. Using this approach, questions of correctness for a complex, software system may be answered through analysis of abstract models of lower complexity, under the assumption that the transformations and generators employed are themselves correct. This paper shows how formal techniques can be used to establish the correctness of model transformations used in the generation of software components from precise object models. The source language is based upon existing, formal techniques; the target language is the widely-used SQL notation for database programming. Correctness is established by giving comparable, relational semantics to both languages, and checking that the transformations are semantics-preserving.


title: A Timed Calculus for Mobile Ad Hoc Networks

abstract: We develop a timed calculus for Mobile Ad Hoc Networks embodying the peculiarities of local broadcast, node mobility and communication interference. We present a Reduction Semantics and a Labelled Transition Semantics and prove the equivalence between them. We then apply our calculus to model and study some MAC-layer protocols with special emphasis on node mobility and communication interference. A main purpose of the semantics is to describe the various forms of interference while nodes change their locations in the network. Such interference only occurs when a node is simultaneously reached by more than one ongoing transmission over the same channel.


title: MDM: A Mode Diagram Modeling Framework

abstract: Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive computing in their modes. Despite the fact that such control systems are widely used in the above-mentioned safety-critical embedded domains, there is lack of domain-specific formal modelling languages for such systems in the relevant industry. To address this problem, we propose a formal visual modeling framework called mode diagram as a concise and precise way to specify and analyze such systems. To capture the temporal properties of periodic control systems, we provide, along with mode diagram, a property specification language based on interval logic for the description of concrete temporal requirements the engineers are concerned with. The statistical model checking technique can then be used to verify the mode diagram models against desired properties. To demonstrate the viability of our approach, we have applied our modelling framework to some real life case studies from industry and helped detect two design defects for some spacecraft control systems.


title: On Distributed Online Classification in the Midst of Concept Drifts

abstract: In this work, we analyze the generalization ability of distributed online learning algorithms under stationary and non-stationary environments. We derive bounds for the excess-risk attained by each node in a connected network of learners and study the performance advantage that diffusion strategies have over individual non-cooperative processing. We conduct extensive simulations to illustrate the results.

categories: math.OC cs.DC cs.LG cs.SI physics.soc-ph


title: Generating High-Order Threshold Functions with Multiple Thresholds

abstract: In this paper, we consider situations in which a given logical function is realized by a multithreshold threshold function. In such situations, constant functions can be easily obtained from multithreshold threshold functions, and therefore, we can show that it becomes possible to optimize a class of high-order neural networks. We begin by proposing a generating method for threshold functions in which we use a vector that determines the boundary between the linearly separable function and the high-order threshold function. By applying this method to high-order threshold functions, we show that functions with the same weight as, but a different threshold than, a threshold function generated by the generation process can be easily obtained. We also show that the order of the entire network can be extended while maintaining the structure of given functions.


title: Asymptotic Cosmological Behavior of Scalar-Torsion Mode in Poincare Gauge Theory

abstract: We study the cosmological effect of the simple scalar-torsion ($0^+$) mode in Poincar\'{e} gauge theory of gravity. We find that for the non-constant (affine) curvature case, the early evolution of the torsion density $\rho_T$ has a radiation-like asymptotic behavior of $a^{-4}$ with $a$ representing the scale factor, along with the stable point of the torsion pressure ($P_T$) and density ratio $P_T/\rho_T\rightarrow 1/3$ in the high redshift regime $(z \gg 0)$, which is different from the previous result in the literature. We use the Laurent expansion to resolve the solution. We also illustrate our result by the execution of numerical computations.


title: Higher Order Correlations within Cortical Layers Dominate Functional Connectivity in Microcolumns

abstract: We report on simultaneous recordings from cells in all layers of visual cortex and models developed to capture the higher order structure of population spiking activity. Specifically, we use Ising, Restricted Boltzmann Machine (RBM) and semi-Restricted Boltzmann Machine (sRBM) models to reveal laminar patterns of activity. While the Ising model describes only pairwise couplings, the RBM and sRBM capture higher-order dependencies using hidden units. Applied to 32- channel polytrode data recorded from cat visual cortex, the higher-order mod- els discover functional connectivity preferentially linking groups of cells within a cortical layer. Both RBM and sRBM models outperform Ising models in log- likelihood. Additionally, we train all three models on spatiotemporal sequences of states, exposing temporal structure and allowing us to predict spiking from network history. This demonstrates the importance of modeling higher order in- teractions across space and time when characterizing activity in cortical networks.


title: MIMS: Towards a Message Interface based Memory System

abstract: Memory system is often the main bottleneck in chipmultiprocessor (CMP) systems in terms of latency, bandwidth and efficiency, and recently additionally facing capacity and power problems in an era of big data. A lot of research works have been done to address part of these problems, such as photonics technology for bandwidth, 3D stacking for capacity, and NVM for power as well as many micro-architecture level innovations. Many of them need a modification of current memory architecture, since the decades-old synchronous memory architecture (SDRAM) has become an obstacle to adopt those advances. However, to the best of our knowledge, none of them is able to provide a universal memory interface that is scalable enough to cover all these problems. In this paper, we argue that a message-based interface should be adopted to replace the traditional bus-based interface in memory system. A novel message interface based memory system (MIMS) is proposed. The key innovation of MIMS is that processor and memory system communicate through a universal and flexible message interface. Each message packet could contain multiple memory requests or commands along with various semantic information. The memory system is more intelligent and active by equipping with a local buffer scheduler, which is responsible to process packet, schedule memory requests, and execute specific commands with the help of semantic information. The experimental results by simulator show that, with accurate granularity message, the MIMS would improve performance by 53.21%, while reducing energy delay product (EDP) by 55.90%, the effective bandwidth utilization is improving by 62.42%. Furthermore, combining multiple requests in a packet would reduce link overhead and provide opportunity for address compression.


title: Layer Antiferromagnetic State in Bilayer Graphene : A First-Principle Investigation

abstract: The ground state of bilayer graphene is investigated by the density functional calculations with local spin density approximation. We find a ground state with layer antiferromagnetic ordering, which has been suggested by former studies based on simplified model. The calculations prove that the layer antiferromagnetic state (LAF) is stable even if the remote hopping and nonlocal Coulomb interaction are included. The gap of the LAF state is about 1.8 meV, comparable to the experimental value. The surface magnetism in BLG is of the order of $10^{-2} \mu_B /nm^2 $.


title: Partial wave analysis of $J/\psi \to \gamma \eta \eta$

abstract: Based on a sample of $2.25\times 10^{8}$ $J/\psi$ events collected with the BESIII detector at BEPCII, a full partial wave analysis on $J/\psi\to\gamma\eta\eta$ was performed using the relativistic covariant tensor amplitude method. The results show that the dominant $0^{++}$ and $2^{++}$ components are from the $f_0(1710)$, $f_0(2100)$, $f_0(1500)$, $f_2'(1525)$, $f_2(1810)$ and $f_2(2340)$. The resonance parameters and branching fractions are also presented.


title: On Mean Ergodic Convergence in the Calkin Algebras

abstract: In this paper, we give a geometric characterization of mean ergodic convergence in the Calkin algebras for Banach spaces that have the bounded compact approximation property.


title: Direct searches for the standard model Higgs boson produced in association with a vector boson at CDF

abstract: We present the results of searches for the standard model Higgs boson at CDF in final states with bottom quarks. Results are derived from the complete Tevatron Run II dataset, with a measured integrated luminosity of 9.5 fb$^{-1}$ of proton-antiproton data. The searches are performed for assumed Higgs masses between 90 and 150 GeV, for Higgs bosons produced in association with W or Z bosons. Employing several improved techniques, these are currently the most sensitive searches in the world for these processes, surpassing previous CDF results by 30% beyond what would be expected from the addition of new data alone. Combining the search sensitivity of these production modes, 95% upper confidence limits on the standard model cross section times branching fraction are derived, yielding an observed (expected) upper limit of 4.3 (1.8) times the standard model prediction for a 125 GeV Higgs boson. The significance of the data relative to the background-only hypothesis is 2.5 sigma.


title: On some applications of unstable Adams operations to the topology of Kac-Moody groups

abstract: Localized at almost all primes, we describe the structure of differentials in several important spectral sequences that compute the cohomology of classifying spaces of topological Kac-Moody groups. In particular, we show that for all but a finite set of primes, these spectral sequences collapse and that there are no additive extension problems. We also describe some appealing consequences of these results. The main tool is the use of the naturality properties of unstable Adams operations on these classifying spaces.


title: Supremum of the function $S_1(t)$ on short intervals

abstract: We prove a lower bound on the supremum of the function $S_1(T)$ on short intervals, defined by the integration of the argument of the Riemann zeta-function. The same type of result on the supremum of $S(T)$ have already been obtained by Karatsuba and Korolev. Our result is based on the idea of the paper of Karatsuba and Korolev. Also, we show an improved Omega-result for a lower bound.


title: Selection of the Taylor-Saffman Bubble does not Require Surface Tension

abstract: A new general class of exact solutions is presented for the time evolution of a bubble of arbitrary initial shape in a Hele-Shaw cell when surface tension effects are neglected. These solutions are obtained by conformal mapping the viscous flow domain to an annulus in an auxiliary complex-plane. It is then demonstrated that the only stable fixed point (attractor) of the non-singular bubble dynamics corresponds precisely to the selected pattern. This thus shows that, contrary to the established theory, bubble selection in a Hele-Shaw cell does not require surface tension. The solutions reported here significantly extend previous results for a simply-connected geometry (finger) to a doubly-connected one (bubble). We conjecture that the same selection rule without surface tension holds for Hele-Shaw flows of arbitrary connectivity. We also believe that this mechanism can be found in other, similarly described, selection problems.


title: All-time dynamics of continuous-time random walks on complex networks

abstract: The concept of continuous-time random walks (CTRW) is a generalization of ordinary random walk models, and it is a powerful tool for investigating a broad spectrum of phenomena in natural, engineering, social and economic sciences. Recently, several theoretical approaches have been developed that allowed to analyze explicitly dynamics of CTRW at all times, which is critically important for understanding mechanisms of underlying phenomena. However, theoretical analysis has been done mostly for systems with a simple geometry. Here we extend the original method based on generalized master equations to analyze all-time dynamics of CTRW models on complex networks. Specific calculations are performed for models on lattices with branches and for models on coupled parallel-chain lattices. Exact expressions for velocities and dispersions are obtained. Generalized fluctuations theorems for CTRW models on complex networks are discussed.


title: On the accuracy of the Perturbative Approach for Strong Lensing: Local Distortion for Pseudo-Elliptical Models

abstract: The Perturbative Approach (PA) introduced by \citet{alard07} provides analytic solutions for gravitational arcs by solving the lens equation linearized around the Einstein ring solution. This is a powerful method for lens inversion and simulations in that it can be used, in principle, for generic lens models. In this paper we aim to quantify the domain of validity of this method for three quantities derived from the linearized mapping: caustics, critical curves, and the deformation cross section (i.e. the arc cross section in the infinitesimal circular source approximation). We consider lens models with elliptical potentials, in particular the Singular Isothermal Elliptic Potential and Pseudo-Elliptical Navarro--Frenk--White models. We show that the PA is exact for this first model. For the second, we obtain constraints on the model parameter space (given by the potential ellipticity parameter $\varepsilon$ and characteristic convergence $\kappa_s$) such that the PA is accurate for the aforementioned quantities. In this process we obtain analytic expressions for several lensing functions, which are valid for the PA in general. The determination of this domain of validity could have significant implications for the use of the PA, but it still needs to be probed with extended sources.


title: Substrate Coupling Suppresses Size Dependence of Thermal Conductivity in Supported Graphene

abstract: Thermal conductivity $\kappa$ of both suspended and supported graphene has been studied by using molecular dynamics simulations. Obvious length dependence is observed in $\kappa$ of suspended single-layer graphene (SLG), while $\kappa$ of supported SLG is insensitive to the length. The simulation result of room temperature $\kappa$ of supported SLG is in good agreement with experimental value. In contrast to the decrease in $\kappa$ induced by inter-layer interaction in suspended few-layer graphene (FLG), $\kappa$ of supported FLG is found to increase rapidly with the layer thickness, reaching about 90% of that of bulk graphite at six layers, and eventually saturates at the thickness of 13.4 nm. More interestingly, unlike the remarkable substrate dependent $\kappa$ in SLG, the effect of substrate on thermal transport is much weaker in FLG. The underlying physics is investigated and presented.


title: An analytic construction of the Deligne-Mumford compactification of the moduli space of curves

abstract: In 1969, P. Deligne and D. Mumford compactified the moduli space of curves. Their compactification is a projective algebraic variety, and as such, it has an underlying analytic structure. Alternatively, the quotient of the augmented Teichmueller space by the action of the mapping class group gives a compactification of the moduli space. We put an analytic structure on this compact quotient and prove that with respect to this structure, it is canonically isomorphic (as an analytic space) to the Deligne-Mumford compactification.


title: Molecular hydrogen regulated star formation in cosmological SPH simulations

abstract: It has been shown observationally that star formation (SF) correlates tightly with the presence of molecular hydrogen (H$_2$). Therefore it would be important to investigate its implication on galaxy formation in a cosmological context. In the present work, we track the H$_2$ mass fraction within our cosmological smoothed particle hydrodynamics (SPH) code GADGET-3 using an equilibrium analytic model by Krumholz et al. This model allows us to regulate the star formation in our simulation by the local abundance of H$_2$ rather than the total cold gas density, and naturally introduce the dependence of star formation on metallicity. We investigate implications of the equilibrium H$_2$-based SF model on galaxy population properties, such as the stellar-to-halo mass ratio (SHMR), baryon fraction, cosmic star formation rate density (SFRD), galaxy specific SFR, galaxy stellar mass functions (GSMF), and Kennicutt-Schmidt (KS) relationship. The advantage of our work over the previous ones is having a large sample of simulated galaxies in a cosmological volume from high-redshift to $z=0$. We find that low-mass halos with M$_{DM}<10^{10.5}$ M$_\odot$ are less efficient in producing stars in the H$_2$-based SF model at $z\geq6$, which brings the simulations to a better agreement with observational estimates of SHMR and GSMF at the low-mass end. This is particularly evident by a reduction in the number of low-mass galaxies at M$_\star\leq10^{8}$ M$_\odot$ in the GSMF. The overall SFRD is also reduced at high-$z$ in the H$_2$ run, which results in slightly higher SFRD at low-redshift due to more abundant gas available for star formation at later times. This new H$_2$ model is able to reproduce the empirical KS relationship at $z=0$ naturally without the need for setting its normalization by hand, and overall it seems to have more advantages than the previous pressure-based SF model.


title: Artificial Neural Network based gamma-hadron segregation methodology for TACTIC telescope

abstract: The sensitivity of a Cherenkov imaging telescope is strongly dependent on the rejection of the cosmic-ray background events. The methods which have been used to achieve the segregation between the gamma-rays from the source and the background cosmic-rays, include methods like Supercuts/Dynamic Supercuts, Maximum likelihood classifier, Kernel methods, Fractals, Wavelets and random forest. While the segregation potential of the neural network classifier has been investigated in the past with modest results, the main purpose of this paper is to study the gamma / hadron segregation potential of various ANN algorithms, some of which are supposed to be more powerful in terms of better convergence and lower error compared to the commonly used Backpropagation algorithm. The results obtained suggest that Levenberg-Marquardt method outperforms all other methods in the ANN domain. Applying this ANN algorithm to $\sim$ 101.44 h of Crab Nebula data collected by the TACTIC telescope, during Nov. 10, 2005 - Jan. 30, 2006, yields an excess of $\sim$ (1141$\pm$106) with a statistical significance of $\sim$ 11.07$\sigma$, as against an excess of $\sim$ (928$\pm$100) with a statistical significance of $\sim$ 9.40$\sigma$ obtained with Dynamic Supercuts selection methodology. The main advantage accruing from the ANN methodology is that it is more effective at higher energies and this has allowed us to re-determine the Crab Nebula energy spectrum in the energy range $\sim$ 1-24 TeV.


title: Acoustic Wavefront Manipulation: Impedance Inhomogeneity and Extraordinary Reflection

abstract: Optical wavefront can be manipulated by interfering elementary beams with phase inhomogeneity. Therefore a surface allowing huge, abrupt and position-variant phase change would enable all possibilities of wavefront engineering. However, one may not have the luxury of efficient abrupt-phase-changing materials in acoustics. This motivates us to establish a counterpart mechanism for acoustics, in order to empower the wide spectrum of novel acoustic applications. Remarkably, the proposed impedance-governed generalized Snell's law (IGSL) of reflection is distinguished from that in optics. Via the manipulation of inhomogeneous acoustic impedance, extraordinary reflection can be tailored for unprecedented wavefront manipulation while ordinary reflection can be surprisingly switched on or off. Our results may power the acoustic-wave manipulation and engineering. We demonstrate novel acoustic applications by planar surfaces designed with IGSL.