title: A message-passing algorithm for multi-agent trajectory planning

abstract: We describe a novel approach for computing collision-free \emph{global} trajectories for $p$ agents with specified initial and final configurations, based on an improved version of the alternating direction method of multipliers (ADMM). Compared with existing methods, our approach is naturally parallelizable and allows for incorporating different cost functionals with only minor adjustments. We apply our method to classical challenging instances and observe that its computational requirements scale well with $p$ for several cost functionals. We also show that a specialization of our algorithm can be used for {\em local} motion planning by solving the problem of joint optimization in velocity space.


title: MARS spectral molecular imaging of lamb tissue: data collection and image analysis

abstract: Spectral molecular imaging is a new imaging technique able to discriminate and quantify different components of tissue simultaneously at high spatial and high energy resolution. Our MARS scanner is an x-ray based small animal CT system designed to be used in the diagnostic energy range (20 to 140 keV). In this paper, we demonstrate the use of the MARS scanner, equipped with the Medipix3RX spectroscopic photon-processing detector, to discriminate fat, calcium, and water in tissue. We present data collected from a sample of lamb meat including bone as an illustrative example of human tissue imaging. The data is analyzed using our 3D Algebraic Reconstruction Algorithm (MARS-ART) and by material decomposition based on a constrained linear least squares algorithm. The results presented here clearly show the quantification of lipid-like, water-like and bone-like components of tissue. However, it is also clear to us that better algorithms could extract more information of clinical interest from our data. Because we are one of the first to present data from multi-energy photon-processing small animal CT systems, we make the raw, partial and fully processed data available with the intention that others can analyze it using their familiar routines. The raw, partially processed and fully processed data of lamb tissue along with the phantom calibration data can be found at [http://hdl.handle.net/10092/8531].


title: Incremental Discovery of Prominent Situational Facts

abstract: We study the novel problem of finding new, prominent situational facts, which are emerging statements about objects that stand out within certain contexts. Many such facts are newsworthy---e.g., an athlete's outstanding performance in a game, or a viral video's impressive popularity. Effective and efficient identification of these facts assists journalists in reporting, one of the main goals of computational journalism. Technically, we consider an ever-growing table of objects with dimension and measure attributes. A situational fact is a "contextual" skyline tuple that stands out against historical tuples in a context, specified by a conjunctive constraint involving dimension attributes, when a set of measure attributes are compared. New tuples are constantly added to the table, reflecting events happening in the real world. Our goal is to discover constraint-measure pairs that qualify a new tuple as a contextual skyline tuple, and discover them quickly before the event becomes yesterday's news. A brute-force approach requires exhaustive comparison with every tuple, under every constraint, and in every measure subspace. We design algorithms in response to these challenges using three corresponding ideas---tuple reduction, constraint pruning, and sharing computation across measure subspaces. We also adopt a simple prominence measure to rank the discovered facts when they are numerous. Experiments over two real datasets validate the effectiveness and efficiency of our techniques.


title: Exceptional orthogonal polynomials and generalized Schur polynomials

abstract: We show that the exceptional orthogonal polynomials can be viewed as confluent limits of the generalized Schur polynomials introduced by Sergeev and Veselov.


title: The N-Leg spin-S Heisenberg ladders: A DMRG study

abstract: We investigate the N-leg spin-S Heisenberg Ladders by using the density matrix renormalization group method. We present estimates of the spin gap $\Delta_{s}$ and of the ground state energy per site $e_{\infty}^{N}$ in the thermodynamic limit for ladders with widths up to six legs and spin $S\leq\frac{5}{2}$. We also estimate the ground state energy per site $e_{\infty}^{2D}$ for the infinite two-dimensional spin-S Heisenberg model. Our results support that for ladders with semi-integer spins the spin excitation is gapless for $N$ odd and gapped for N even. Whereas for integer spin ladders the spin gap is nonzero, independent of the number of legs. Those results agree with the well known conjectures of Haldane and S\'en\'echal-Sierra for chains and ladders, respectively. We also observe edge states for ladders with $N$ odd, similar to what happens in the integer spin chains.


title: Nonlinear and additive white noise perturbations of linear delay differential equations at the verge of instability: an averaging approach

abstract: The characteristic equation for a linear delay differential equation (DDE) has countably infinite roots on the complex plane. We deal with linear DDEs that are on the verge of instability, i.e. a pair of roots of the characteristic equation (eigenvalues) lie on the imaginary axis of the complex plane, and all other roots have negative real parts. We show that, when the system is perturbed by small noise, under an appropriate change of time scale, the law of the amplitude of projection onto the critical eigenspace is close to the law of a certain one-dimensional stochastic differential equation (SDE) without delay. Further, we show that the projection onto the stable eigenspace is small. These results allow us to give an approximate description of the delay-system using an SDE (without delay) of just one dimension. The proof is based on the martingale problem technique.


title: A Study of Speed of the Boundary Element Method as applied to the Realtime Computational Simulation of Biological Organs

abstract: In this work, possibility of simulating biological organs in realtime using the Boundary Element Method (BEM) is investigated. Biological organs are assumed to follow linear elastostatic material behavior, and constant boundary element is the element type used. First, a Graphics Processing Unit (GPU) is used to speed up the BEM computations to achieve the realtime performance. Next, instead of the GPU, a computer cluster is used. Results indicate that BEM is fast enough to provide for realtime graphics if biological organs are assumed to follow linear elastostatic material behavior. Although the present work does not conduct any simulation using nonlinear material models, results from using the linear elastostatic material model imply that it would be difficult to obtain realtime performance if highly nonlinear material models that properly characterize biological organs are used. Although the use of BEM for the simulation of biological organs is not new, the results presented in the present study are not found elsewhere in the literature.

categories: cs.CE cs.DC cs.MS physics.comp-ph physics.med-ph


title: Kinematic Constraints on Absorption of Ultraintense Laser Light

abstract: We derive upper and lower bounds on the absorption of ultraintense laser light by solids as a function of fundamental laser and plasma parameters. These limits emerge naturally from constrained optimization techniques applied to a generalization of the laser-solid interaction as a strongly-driven, relativistic, two degree of freedom Maxwell-Vlasov system. We demonstrate that the extrema and the phase-space-averaged absorption must always increase with intensity, and increase most rapidly when $10^{18} < I_L \ \lambda_L^2 < 10^{20}$ W $\mu$m$^2/$cm$^{2}$. Our results indicate that the fundamental empirical trend towards increasing fractional absorption with irradiance therefore reflects the underlying phase space constraints.


title: On Type 0 Open String Amplitudes and the Tensionless Limit

abstract: The sum over planar multi-loop diagrams in the NS+ sector of type 0 open strings in flat spacetime has been proposed by Thorn as a candidate to resolve non-perturbative issues of gauge theories in the large $N$ limit. With $SU (N)$ Chan-Paton factors, the sum over planar open string multi-loop diagrams describes the 't Hooft limit $N\to \infty$ with $Ng_s^2$ held fixed. By including only planar diagrams in the sum the usual mechanism for the cancellation of loop divergences (which occurs, for example, among the planar and M\"obius strip diagrams by choosing a specific gauge group) is not available and a renormalization procedure is needed. In this article the renormalization is achieved by suspending total momentum conservation by an amount $p\equiv \sum_i^n k_i\neq 0$ at the level of the integrands in the integrals over the moduli and analytically continuing them to $p=0$ at the very end. This procedure has been successfully tested for the 2 and 3 gluon planar loop amplitudes by Thorn. Gauge invariance is respected and the correct running of the coupling in the limiting gauge field theory was also correctly obtained. In this article we extend those results in two directions. First, we generalize the renormalization method to an arbitrary $n$-gluon planar loop amplitude giving full details for the 4-point case. One of our main results is to provide a fully renormalized amplitude which is free of both UV and the usual spurious divergences leaving only the physical singularities in it. Second, using the complete renormalized amplitude, we extract the high-energy scattering regime at fixed angle (tensionless limit). Apart from obtaining the usual exponential falloff at high energies, we compute the full dependence on the scattering angle which shows the existence of a smooth connection between the Regge and hard scattering regimes.


title: A note on the gaps in the support of discretely infinitely divisible laws

abstract: In this note we discuss the nature of gaps in the support of a discretely infinitely divisible distribution from the angle of compound Poisson laws/processes. The discussion is extended to infinitely divisible distributions on the non-negative real line.


title: Constraints on Massive Star Formation: Cygnus OB2 was always an Association

abstract: We examine substructure and mass segregation in the massive OB association Cygnus OB2 to better understand its initial conditions. Using a well understood Chandra X-ray selected sample of young stars we find that Cyg OB2 exhibits considerable physical substructure and has no evidence for mass segregation, both indications that the association is not dynamically evolved. Combined with previous kinematical studies we conclude that Cyg OB2 is dynamically very young, and what we observe now is very close to its initial conditions: Cyg OB2 formed as a highly substructured, unbound association with a low volume density (< 100 stars/pc^3). This is inconsistent with the idea that all stars form in dense, compact clusters. The massive stars in Cyg OB2 show no evidence for having formed particularly close to one another, nor in regions of higher than average density. Since Cyg OB2 contains stars as massive as ~100 Mo this result suggests that very massive stars can be born in relatively low-density environments. This would imply that the massive stars in Cyg OB2 did not form by competitive accretion, or by mergers.


title: Resolving the Structure of Black Holes: Philosophizing with a Hammer

abstract: We give a broad conceptual review of what we have learned about black holes and their microstate structure from the study of microstate geometries and their string theory limits. We draw upon general relativity, supergravity, string theory and holographic field theory to extract universal ideas and structural features that we expect to be important in resolving the information problem and understanding the microstate structure of Schwarzschild and Kerr black holes. In particular, we emphasize two conceptually and physically distinct ideas, with different underlying energy scales: a) the transition that supports the microstate structure and prevents the formation of a horizon and b) the representation of the detailed microstate structure itself in terms of fluctuations around the transitioned state. We also show that the supergravity mechanism that supports microstate geometries becomes, in the string theory limit, either brane polarization or the excitation of non-Abelian degrees of freedom. We thus argue that if any mechanism for supporting structure at the horizon scale is to be given substance within string theory then it must be some manifestation of microstate geometries.


title: On the Marginally Relevant Operator in z=2 Lifshitz Holography

abstract: We study holographic renormalization and RG flow in a strongly-coupled Lifshitz-type theory in 2+1 dimensions with dynamical exponent z=2. The bottom-up gravity dual we use is 3+1 dimensional Einstein gravity coupled to a massive vector field. This model contains a marginally relevant operator around the Lifshitz fixed point. We show how holographic renormalization works in the presence of this marginally relevant operator without the need to introduce explicitly cutoff-dependent counterterms. A simple closed-form expression is found for the renormalized on-shell action. We also discuss how asymptotically Lifshitz geometries flow to AdS in the interior due to the marginally relevant operator. We study the behavior of the renormalized entanglement entropy and confirm that it decreases monotonically along the Lifshitz-to-AdS RG flow.


title: Higher-derivative N=4 superparticle in three-dimensional spacetime

abstract: Using the coset approach (nonlinear realization) we construct component actions for a superparticle in three-dimensional spacetime with N=4 supersymmetry partially broken to N=2. These actions may contain an anyonic term and the square of the first extrinsic worldline curvature. We present the supercharges for the unbroken and broken supersymmetries as well as the Hamiltonian for the supersymmetric anyon. In terms of the nonlinear realization superfields, the superspace actions take a simple form in all cases.


title: Competition Between Kondo Screening and Magnetism at the LaAlO$_3$/SrTiO$_3$ Interface

abstract: We present a theory of magnetic and magneto-transport phenomena at LaAlO$_3$/SrTiO$_3$ interfaces, which as a central ingredient includes coupling between the conduction bands and local magnetic moments originating from charge traps at the interface. Tuning the itinerant electron density in the model drives transitions between a heavy Fermi liquid phase with screened moments and various magnetic states. The dependence of the magnetic phenomena on the electron density or gate voltage stems from competing magnetic interactions between the local moments and the different conduction bands. At low densities only the lowest conduction band, composed of the $d_{xy}$ orbitals of Ti, is occupied. Its antiferromagnetic interaction with the local moments leads to screening of the moments at a Kondo scale that increases with density. However, above a critical density, measured in experiments to be $n_c\approx 1.7\times 10^{13} cm^{-2}$, the $d_{xz}$ and $d_{yz}$ bands begin to populate. Their ferromagnetic interaction with the local moments competes with the antiferromagnetic interaction of the $d_{xy}$ band leading to eventual reduction of the Kondo scale with density. We explain the distinct magneto transport regimes seen in experiments as manifestations of the magnetic phase diagram computed from the model. We present new data showing a relation between the anomalous Hall effect and the resistivity in the system. The data strongly suggests that the concentration of local magnetic moments affecting the transport in the system is much lower than the carrier density, in accord with the theoretical model.


title: Angular Distributions as Lifetime Probes

abstract: If new TeV scale particles are discovered, it will be important to determine their width. There is, however, a problematic region, where the width is too small to be determined directly, and too large to generate a secondary vertex. For a collection of colored, spin polarized particles, hadronization depolarizes the particles prior to their decay. The amount of depolarization can be used to probe the lifetime in the problematic region. In this paper we apply this method to a realistic scenario of a top-like particle that can be produced at the LHC. We study how depolarization affects the angular distributions of the decay products and derive an equation for the distributions that is sensitive to the lifetime.


title: Stability and existence analysis of static black holes in pure Lovelock theories

abstract: In this paper, we study existence and stability of static black holes in Lovelock theories with a particular focus on pure Lovelock black holes. We derive the equation of stability from action without using S-deformation approach. It turns out that though pure-Lovelock black hole in even dimension is always unstable, however introduction of $\Lambda$ stablizes it by prescribing a lower threshold mass while there also exists an upper bound on mass which is given by existence of horizon. We also study stability of dimensionally continued black holes as well as of pure Lovelock analogue of BTZ black hole in all odd dimensions.


title: An Environmental Study of the Ultraluminous X-ray Source Population in Early-type Galaxies

abstract: Ultraluminous X-ray sources (ULXs) are some of the brightest phenomena found outside of a galaxy's nucleus, and their explanation typically invokes accretion of material onto a black hole. Here, we perform the largest population study to date of ULXs in early-type galaxies, focusing on whether a galaxy's large scale environment can affect its ULX content. Using the AMUSE survey, which includes homogeneous X-ray coverage of 100 elliptical galaxies in the Virgo cluster and a similar number of elliptical galaxies in the field (spanning stellar masses of 1e8-1e12 M_sun), we identify 37.9 +/- 10.1 ULXs in Virgo and 28.1 +/- 8.7 ULXs in the field. Across both samples, we constrain the number of ULXs per unit stellar mass, i.e., the ULX specific frequency, to be 0.062 +/- 0.013 ULXs per 10^10 M_sun (or about 1 ULX per 1.6e11 M_sun of galaxy stellar mass). We find that the number of ULXs, the specific frequency of ULXs, and the average ULX spectral properties are all similar in both cluster and field environments. Contrary to late-type galaxies, we do not see any trend between specific ULX frequency and host galaxy stellar mass, and we show that dwarf ellipticals host fewer ULXs than later-type dwarf galaxies at a statistically meaningful level. Our results are consistent with ULXs in early-type galaxies probing the luminous tail of the low-mass X-ray binary population, and are briefly discussed in context of the influence of gravitational interactions on the long-term evolution of a galaxy's (older) stellar population.


title: Modeling small dark energy scale with quintessential pseudoscalar boson

abstract: Democracy among the same type of particles is a useful paradigm in studying masses and interactions of particles with supersymmetry(SUSY) or without SUSY. This simple idea predicts the presence of massless particles. We attempt to use one of these massless pseudoscalar particles as generating the cosmological dark energy(DE) potential. To achieve the extremely shallow potential of DE, the pseudoscalar boson is required not to couple to the QCD anomaly. So, we consider two pseudoscalars, one coupling to the QCD anomaly (i.e. QCD axion) and the other not coupling to the QCD anomaly. To obtain these two pseudoscalars, we introduce two approximate global U(1) symmetries to realize them as the pseudo-Goldstone bosons of the spontaneously broken U(1)'s. These global symmetries are dictated by a gravity respected discrete symmetry. Specifically, we consider an S2(L) X S2(R) X Z(10R) example, and attempt to obtain the DE scale in terms of two observed fundamental mass scales, the grand unification scale M(G) and the electroweak scale v(ew).


title: On the four-point function of the stress-energy tensors in a CFT

abstract: We discuss to what extent the full set of Ward Identities constrain the four-point function of the stress-energy tensors or conserved currents in a conformal field theory. We calculate the number of kinematically unrestricted functional degrees of freedom governing the corresponding correlators and find that it matches the number of functional degrees of freedom governing scattering amplitudes of some "dual" massless particles in the auxiliary Minkowski space. We also formulate the conformal bootstrap constraints for the correlators in question in terms of only unrestricted degrees of freedom. As a by-product we find interesting parallels between solving Ward Identities in coordinate and momentum space.


title: True randomness from realistic quantum devices

abstract: Even if the output of a Random Number Generator (RNG) is perfectly uniformly distributed, it may be correlated to pre-existing information and therefore be predictable. Statistical tests are thus not sufficient to guarantee that an RNG is usable for applications, e.g., in cryptography or gambling, where unpredictability is important. To enable such applications a stronger notion of randomness, termed "true randomness", is required, which includes independence from prior information. Quantum systems are particularly suitable for true randomness generation, as their unpredictability can be proved based on physical principles. Practical implementations of Quantum RNGs (QRNGs) are however always subject to noise, i.e., influences which are not fully controlled. This reduces the quality of the raw randomness generated by the device, making it necessary to post-process it. Here we provide a framework to analyse realistic QRNGs and to determine the post-processing that is necessary to turn their raw output into true randomness.


title: Estimating Functions of Distributions Defined over Spaces of Unknown Size

abstract: We consider Bayesian estimation of information-theoretic quantities from data, using a Dirichlet prior. Acknowledging the uncertainty of the event space size $m$ and the Dirichlet prior's concentration parameter $c$, we treat both as random variables set by a hyperprior. We show that the associated hyperprior, $P(c, m)$, obeys a simple "Irrelevance of Unseen Variables" (IUV) desideratum iff $P(c, m) = P(c) P(m)$. Thus, requiring IUV greatly reduces the number of degrees of freedom of the hyperprior. Some information-theoretic quantities can be expressed multiple ways, in terms of different event spaces, e.g., mutual information. With all hyperpriors (implicitly) used in earlier work, different choices of this event space lead to different posterior expected values of these information-theoretic quantities. We show that there is no such dependence on the choice of event space for a hyperprior that obeys IUV. We also derive a result that allows us to exploit IUV to greatly simplify calculations, like the posterior expected mutual information or posterior expected multi-information. We also use computer experiments to favorably compare an IUV-based estimator of entropy to three alternative methods in common use. We end by discussing how seemingly innocuous changes to the formalization of an estimation problem can substantially affect the resultant estimates of posterior expectations.

categories: math.ST physics.data-an q-bio.QM stat.TH


title: Chemodynamics of the Milky Way. I. The first year of APOGEE data

abstract: We investigate the chemo-kinematic properties of the Milky Way disc by exploring the first year of data from the Apache Point Observatory Galactic Evolution Experiment (APOGEE), and compare our results to smaller optical high-resolution samples in the literature, as well as results from lower resolution surveys such as GCS, SEGUE and RAVE. We start by selecting a high-quality sample in terms of chemistry ($\sim$ 20.000 stars) and, after computing distances and orbital parameters for this sample, we employ a number of useful subsets to formulate constraints on Galactic chemical and chemodynamical evolution processes in the Solar neighbourhood and beyond (e.g., metallicity distributions -- MDFs, [$\alpha$/Fe] vs. [Fe/H] diagrams, and abundance gradients). Our red giant sample spans distances as large as 10 kpc from the Sun. We find remarkable agreement between the recently published local (d $<$ 100 pc) high-resolution high-S/N HARPS sample and our local HQ sample (d $<$ 1 kpc). The local MDF peaks slightly below solar metallicity, and exhibits an extended tail towards [Fe/H] $= -$1, whereas a sharper cut-off is seen at larger metallicities. The APOGEE data also confirm the existence of a gap in the [$\alpha$/Fe] vs. [Fe/H] abundance diagram. When expanding our sample to cover three different Galactocentric distance bins, we find the high-[$\alpha$/Fe] stars to be rare towards the outer zones, as previously suggested in the literature. For the gradients in [Fe/H] and [$\alpha$/Fe], measured over a range of 6 $ < $ R $ <$ 11 kpc in Galactocentric distance, we find a good agreement with the gradients traced by the GCS and RAVE dwarf samples. For stars with 1.5 $<$ z $<$ 3 kpc, we find a positive metallicity gradient and a negative gradient in [$\alpha$/Fe].


title: The shortened KK spectrum of IIB supergravity on Y^{p,q}

abstract: We examine the shortened KK spectrum of IIB supergravity compactified on Y^{p,q} and conjecture that the spectrum we have obtained is complete. The (untwisted) shortened spectrum on S^5/Z_{2p} and T^{1,1}/Z_p are obtained as special cases when p=q and q=0, respectively. Knowledge of the shortened spectrum allows us to compute the superconformal index of these theories and to find agreement with earlier calculations from the dual field theories. We also employ the shortened spectrum to perform a 1/N^2 test of AdS/CFT by holographically reproducing the difference of the central charges, c-a=p/8, of the dual CFTs.


title: Spurious Velocities in Dynamically-Cold Systems Due to the Gravitational Redshifts of their Constituent Stars

abstract: The Doppler effect is commonly used to infer the velocity difference between stars based on the relative shifts in the rest-frame wavelengths of their spectral features. In dynamically-cold systems with a low velocity dispersion, such as wide binaries, loose star clusters, cold stellar streams or cosmological mini-halos, the scatter in the gravitational redshift from the surface of the constituent stars needs to be taken into account as well. Gravitational redshifts could be important for wide binaries composed of main sequence stars with separations >0.01 pc or in mini-halos with velocity dispersions <1 km/s. Variable redshift could also lead to a spurious "detection" of low-mass planets around a star with periodic photospheric radius variations.


title: Efficient algorithms for the longest common subsequence in $k$-length substrings

abstract: Finding the longest common subsequence in $k$-length substrings (LCS$k$) is a recently proposed problem motivated by computational biology. This is a generalization of the well-known LCS problem in which matching symbols from two sequences $A$ and $B$ are replaced with matching non-overlapping substrings of length $k$ from $A$ and $B$. We propose several algorithms for LCS$k$, being non-trivial incarnations of the major concepts known from LCS research (dynamic programming, sparse dynamic programming, tabulation). Our algorithms make use of a linear-time and linear-space preprocessing finding the occurrences of all the substrings of length $k$ from one sequence in the other sequence.


title: Majorana Physics Through the Cabibbo Haze

abstract: We present a model in which the Supersymmetric Standard Model is augmented by the family symmetry $\bs{\m Z_7 \rtimes \m Z_3}$. Motivated by $SO(10)$, where the charge two-thirds and neutral Dirac Yukawa matrices are related, we propose, using family symmetry, a special form for the seesaw Majorana matrix; it contains a squared correlated hierarchy, allowing it to mitigate the severe hierarchy of the quark sector. It is reproduced naturally by the invariant operators of $\bs{\m Z_7 \rtimes \m Z_3}$, with the hierarchy carried by familon fields. In addition to relating the hierarchy of the $\Delta I_{\rm w}=1/2$ to the $\Delta I_{\rm w}=0$ sector, it contains a Gatto-Sartori-Tonin like relation, predicts a normal hierarchy for Tri-bimaximal and Golden Ratio mixings, and gives specific values for the light neutrino masses.


title: Electromagnetic splitting of quark and pseudoscalar meson masses from dynamical QCD + QED

abstract: Lattice QCD simulations are now reaching a precision where electromagnetic corrections from QED become important. In investigating the effects of SU(3) breaking due to quark mass differences within QCD, a group-theoretical analysis of the mass dependence greatly helped us organize our results. We now do the same with electromagnetic charge effects by extending the calculations to dynamical 1+1+1 flavor QCD + QED.


title: Confidence Intervals for Random Forests: The Jackknife and the Infinitesimal Jackknife

abstract: We study the variability of predictions made by bagged learners and random forests, and show how to estimate standard errors for these methods. Our work builds on variance estimates for bagging proposed by Efron (1992, 2012) that are based on the jackknife and the infinitesimal jackknife (IJ). In practice, bagged predictors are computed using a finite number B of bootstrap replicates, and working with a large B can be computationally expensive. Direct applications of jackknife and IJ estimators to bagging require B on the order of n^{1.5} bootstrap replicates to converge, where n is the size of the training set. We propose improved versions that only require B on the order of n replicates. Moreover, we show that the IJ estimator requires 1.7 times less bootstrap replicates than the jackknife to achieve a given accuracy. Finally, we study the sampling distributions of the jackknife and IJ variance estimates themselves. We illustrate our findings with multiple experiments and simulation studies.


title: Evolution of dwarf galaxies: a dynamical perspective

abstract: For a rotating galaxy, the inner circular-velocity gradient d_{R}V(0) provides a direct estimate of the central dynamical mass density, including gas, stars, and dark matter. We consider 60 low-mass galaxies with high-quality HI and/or stellar rotation curves (including starbursting dwarfs, irregulars, and spheroidals), and estimate d_{R}V(0) as V(R_d)/R_d, where R_d is the galaxy scale-length. For gas-rich dwarfs, we find that V(R_d)/R_d correlates with the central surface brightness mu(0), the mean atomic gas surface density Sigma_gas, and the star formation rate surface density Sigma_SFR. Starbursting galaxies, such as blue compact dwarfs (BCDs), generally have higher values of V(R_d)/R_d than dwarf irregulars, suggesting that the starburst is closely related to the inner shape of the potential well. There are, however, some "compact" irregulars with values of V(R_d)/R_d similar to BCDs. Unless a redistribution of mass takes place, BCDs must evolve into compact irregulars. Rotating spheroidals in the Virgo cluster follow the same correlation between V(R_d)/R_d and mu(0) as gas-rich dwarfs. They have values of V(R_d)/R_d comparable to those of BCDs and compact irregulars, pointing at evolutionary links between these types of dwarfs. Finally, we find that, similarly to spiral galaxies and massive starbursts, the star-formation activity in dwarfs can be parametrized as Sigma_SFR = epsilon*Sigma_gas/t_orb, where t_orb is the orbital time and epsilon = 0.02.


title: Quench Dynamics in a Model with Tuneable Integrability Breaking

abstract: We consider quantum quenches in an integrable quantum chain with tuneable-integrability-breaking interactions. In the case where these interactions are weak, we demonstrate that at intermediate times after the quench local observables relax to a prethermalized regime, which can be described by a density matrix that can be viewed as a deformation of a generalized Gibbs ensemble. We present explicit expressions for the approximately conserved charges characterizing this ensemble. We do not find evidence for a crossover from the prethermalized to a thermalized regime on the time scales accessible to us. Increasing the integrability-breaking interactions leads to a behaviour that is compatible with eventual thermalization.


title: A noise inequality for classical forces

abstract: Lorentz invariance requires local interactions, with force laws such as the Coulomb interaction arising via virtual exchange of force carriers such as photons. Many have considered the possibility that, at long distances or large mass scales, this process changes in some way to lead to classical behavior. Here we hypothesize that classical behavior could be due to an inability of some force carriers to convey entanglement, a characteristic measure of nonlocal, quantum behavior. We then prove that there exists a local test that allows one to verify entanglement generation, falsifying our hypothesis. Crucially, we show that noise measurements can directly verify entanglement generation. This provides a step forward for a wide variety of experimental systems where traditional entanglement tests are challenging, including entanglement generation by gravity alone between macroscopic torsional oscillators.


title: A Deep Search for Faint Galaxies Associated with Very Low-Redshift C IV Absorbers: A Case with Cold-Accretion Characteristics

abstract: Studies of QSO absorber-galaxy connections are often hindered by inadequate information on whether faint/dwarf galaxies are located near the QSO sight lines. To investigate the contribution of faint galaxies to QSO absorber populations, we are conducting a deep galaxy redshift survey near low-z C IV absorbers. Here we report a blindly-detected C IV absorption system (z(abs) = 0.00348) in the spectrum of PG1148+549 that appears to be associated either with an edge-on dwarf galaxy with an obvious disk (UGC 6894, z(gal) = 0.00283) at an impact parameter of rho = 190 kpc or with a very faint dwarf irregular galaxy at rho = 23 kpc, which is closer to the sightline but has a larger redshift difference (z(gal) = 0.00107, i.e., dv = 724 km/s). We consider various gas/galaxy associations, including infall and outflows. Based on current theoretical models, we conclude that the absorber is most likely tracing (1) the remnants of an outflow from a previous epoch, a so-called 'ancient outflow', or (2) intergalactic gas accreting onto UGC 6894, 'cold mode' accretion. The latter scenario is supported by H I synthesis imaging data that shows the rotation curve of the disk being codirectional with the velocity offset between UGC 6894 and the absorber, which is located almost directly along the major axis of the edge-on disk.


title: A remark on an endpoint Kato-Ponce inequality

abstract: This note introduces bilinear estimates intended as a step towards an $L^\infty$-endpoint Kato-Ponce inequality. In particular, a bilinear version of the classical Gagliardo-Nirenberg interpolation inequalities for a product of functions is proved.


title: Pionic and Hidden-Color, Six-Quark Contributions to the Deuteron b1 Structure Function

abstract: The b1 structure function is an observable feature of a spin-1 system sensitive to non-nucleonic components of the target nuclear wave function. The contributions of exchanged pions in the deuteron are estimated and found to be of measurable size for small values of x. A simple model for a hidden-color, six-quark configurations (with~ 0.15% probability to exist in the deuteron) is proposed and found to give substantial contributions for values of x>0.2. Good agreement with Hermes data is obtained. Predictions are made for an upcoming JLab experiment. The Close & Kumano sum rule is investigated and found to be a useful guide to understanding various possible effects that may contribute.


title: Large-scale alignments from WMAP and Planck

abstract: We revisit the alignments of the largest structures observed in the cosmic microwave background (CMB) using the seven and nine-year WMAP and first-year Planck data releases. The observed alignments -- the quadrupole with the octopole and their joint alignment with the direction of our motion with respect to the CMB (the dipole direction) and the geometry of the Solar System (defined by the Ecliptic plane) -- are generally in good agreement with results from the previous WMAP data releases. However, a closer look at full-sky data on the largest scales reveals discrepancies between the earlier WMAP data releases (three to seven-year) and the final nine-year release. There are also discrepancies between all the WMAP data releases and the first-year Planck release. Nevertheless, both the WMAP and Planck data confirm the alignments of the largest observable CMB modes in the Universe. In particular, the p-values for the mutual alignment between the quadrupole and octopole, and the alignment of the plane defined by the two with the dipole direction, are both at the greater than 3-sigma level for all three Planck maps studied. We also calculate conditional statistics on the various alignments and find that it is currently difficult to unambiguously identify a leading anomaly that causes the others or even to distinguish correlation from causation.


title: Approximation Algorithms for the Incremental Knapsack Problem via Disjunctive Programming

abstract: In the incremental knapsack problem ($\IK$), we are given a knapsack whose capacity grows weakly as a function of time. There is a time horizon of $T$ periods and the capacity of the knapsack is $B_t$ in period $t$ for $t = 1, \ldots, T$. We are also given a set $S$ of $N$ items to be placed in the knapsack. Item $i$ has a value of $v_i$ and a weight of $w_i$ that is independent of the time period. At any time period $t$, the sum of the weights of the items in the knapsack cannot exceed the knapsack capacity $B_t$. Moreover, once an item is placed in the knapsack, it cannot be removed from the knapsack at a later time period. We seek to maximize the sum of (discounted) knapsack values over time subject to the capacity constraints. We first give a constant factor approximation algorithm for $\IK$, under mild restrictions on the growth rate of $B_t$ (the constant factor depends on the growth rate). We then give a PTAS for $\IIK$, the special case of $\IK$ with no discounting, when $T = O(\sqrt{\log N})$.


title: Planning by case-based reasoning based on fuzzy logic

abstract: The treatment of complex systems often requires the manipulation of vague, imprecise and uncertain information. Indeed, the human being is competent in handling of such systems in a natural way. Instead of thinking in mathematical terms, humans describes the behavior of the system by language proposals. In order to represent this type of information, Zadeh proposed to model the mechanism of human thought by approximate reasoning based on linguistic variables. He introduced the theory of fuzzy sets in 1965, which provides an interface between language and digital worlds. In this paper, we propose a Boolean modeling of the fuzzy reasoning that we baptized Fuzzy-BML and uses the characteristics of induction graph classification. Fuzzy-BML is the process by which the retrieval phase of a CBR is modelled not in the conventional form of mathematical equations, but in the form of a database with membership functions of fuzzy rules.


title: Quarkonium correlation functions at finite temperature in the charm to bottom region

abstract: Quarkonium correlation functions at finite temperature were studied in a region of the quark mass for charmonia to bottomonia in quenched lattice QCD with $O(a)$-improved Wilson quarks. Our simulations were performed on large isotropic lattices at temperatures in the range from about 0.80$T_c$ to 1.61$T_c$. We investigated quarkonium behavior in terms of temperature dependence as well as quark mass dependence of the quarkonium correlation functions and related quantities at both vanishing and finite momenta.


title: Beyond journals and peer review: towards a more flexible ecosystem for scholarly communication

abstract: This article challenges the assumption that journals and peer review are essential for developing,evaluating and disseminating scientific and other academic knowledge. It suggests a more flexible ecosystem, and examines some of the possibilities this might facilitate. The market for academic outputs should be opened up by encouraging the separation of the dissemination service from the evaluation service. Publishing research in subject-specific journals encourages compartmentalising research into rigid categories. The dissemination of knowledge would be better served by an open access, web-based repository system encompassing all disciplines. There would then be a role for organisations to assess the items in this repository to help users find relevant, high-quality work. There could be a variety of such organisations which could enable reviews from peers to be supplemented with evaluation by non-peers from a variety of different perspectives: user reviews, statistical reviews, reviews from the perspective of different disciplines, and so on. This should reduce the inevitably conservative influence of relying on two or three peers, and make the evaluation system more critical, multi-dimensional and responsive to the requirements of different audience groups, changing circumstances, and new ideas. Non-peer review might make it easier to challenge dominant paradigms, and expanding the potential audience beyond a narrow group of peers might encourage the criterion of simplicity to be taken more seriously - which is essential if human knowledge is to continue to progress. Keywords: Academic journals, Growth of knowledge, Non-peer review, Paradigm change, Peer review,Scholarly communication, Science communication, Simplicity.


title: Probing the Cosmic Gamma-Ray Burst Rate with Trigger Simulations of the Swift Burst Alert Telescope

abstract: The gamma-ray burst (GRB) rate is essential for revealing the connection between GRBs, supernovae and stellar evolution. Additionally, the GRB rate at high redshift provides a strong probe of star formation history in the early universe. While hundreds of GRBs are observed by Swift, it remains difficult to determine the intrinsic GRB rate due to the complex trigger algorithm of Swift. Current studies of the GRB rate usually approximate the Swift trigger algorithm by a single detection threshold. However, unlike the previously flown GRB instruments, Swift has over 500 trigger criteria based on photon count rate and additional image threshold for localization. To investigate possible systematic biases and explore the intrinsic GRB properties, we develop a program that is capable of simulating all the rate trigger criteria and mimicking the image threshold. Our simulations show that adopting the complex trigger algorithm of Swift increases the detection rate of dim bursts. As a result, our simulations suggest bursts need to be dimmer than previously expected to avoid over-producing the number of detections and to match with Swift observations. Moreover, our results indicate that these dim bursts are more likely to be high redshift events than low-luminosity GRBs. This would imply an even higher cosmic GRB rate at large redshifts than previous expectations based on star-formation rate measurements, unless other factors, such as the luminosity evolution, are taken into account. The GRB rate from our best result gives a total number of 4571^{+829}_{-1584} GRBs per year that are beamed toward us in the whole universe. SPECIAL NOTE (2015.05.16): This new version incorporates an erratum. All the GRB rate normalizations ($R_{\rm GRB}(z=0)$) should be a factor of 2 smaller than previously reported. Please refer to the Appendix for more details. We sincerely apologize for the mistake.


title: Investigating corrections to a Gaussian distribution of the complex phase

abstract: It has been suggested that the density of states approach to performing lattice simulations in QCD with nonzero chemical potential can be modified to improve the signal to noise ratio by performing a cumulant expansion of the complex phase of the fermion determinant, and then simplified by truncating the expansion after the first non-zero cumulant. This truncation corresponds to approximating the distribution of the complex phase of the fermion determinant by a Gaussian form. The crucial question is: how large are the other cumulants? We calculate the distribution of the complex phase from the hadron resonance gas model and from a combined lattice strong coupling and hopping expansion. In the case of the hadron resonance gas model the distribution takes a Gaussian form, but from the strong coupling and hopping expansion there are corrections. We discuss the implications to lattice simulations.


title: Chemical Cartography with APOGEE: Large-scale Mean Metallicity Maps of the Milky Way

abstract: We present Galactic mean metallicity maps derived from the first year of the SDSS-III APOGEE experiment. Mean abundances in different zones of Galactocentric radius (0 < R < 15 kpc) at a range of heights above the plane (0 < |z| < 3 kpc), are derived from a sample of nearly 20,000 stars with unprecedented coverage, including stars in the Galactic mid-plane at large distances. We also split the sample into subsamples of stars with low and high-[{\alpha}/M] abundance ratios. We assess possible biases in deriving the mean abundances, and find they are likely to be small except in the inner regions of the Galaxy. A negative radial gradient exists over much of the Galaxy; however, the gradient appears to flatten for R < 6 kpc, in particular near the Galactic mid-plane and for low-[{\alpha}/M] stars. At R > 6 kpc, the gradient flattens as one moves off of the plane, and is flatter at all heights for high-[{\alpha}/M] stars than for low-[{\alpha}/M] stars. Alternatively, these gradients can be described as vertical gradients that flatten at larger Galactocentric radius; these vertical gradients are similar for both low and high-[{\alpha}/M] populations. Stars with higher [{\alpha}/M] appear to have a flatter radial gradient than stars with lower [{\alpha}/M]. This could suggest that the metallicity gradient has grown steeper with time or, alternatively, that gradients are washed out over time by migration of stars.


title: Numerical modeling of friction stir welding process: a literature review

abstract: This survey presents a literature review on friction stir welding (FSW) modeling with a special focus on the heat generation due to the contact conditions between the FSW tool and the workpiece. The physical process is described and the main process parameters that are relevant to its modeling are highlighted. The contact conditions (sliding/sticking) are presented as well as an analytical model that allows estimating the associated heat generation. The modeling of the FSW process requires the knowledge of the heat loss mechanisms, which are discussed mainly considering the more commonly adopted formulations. Different approaches that have been used to investigate the material flow are presented and their advantages/drawbacks are discussed. A reliable FSW process modeling depends on the fine tuning of some process and material parameters. Usually, these parameters are achieved with base on experimental data. The numerical modeling of the FSW process can help to achieve such parameters with less effort and with economic advantages.


title: Holding spatial solitons in a pumped cavity with the help of nonlinear potentials

abstract: We introduce a one-dimensional model of a cavity with the Kerr nonlinearity and saturated gain, designed so as to keep solitons in the state of shuttle motion. The solitons are always unstable in the cavity bounded by the usual potential barriers, due to accumulation of noise generated by the linear gain. Complete stabilization of the shuttling soliton is achieved if the linear barrier potentials are replaced by nonlinear ones, which trap the soliton, being transparent to the radiation. The removal of the noise from the cavity is additionally facilitated by an external ramp potential. The stable dynamical regimes are found numerically, and their basic properties are explained analytically.


title: 3-D position estimation from inertial sensing: minimizing the error from the process of double integration of accelerations

abstract: This paper introduces a new approach to 3-D position estimation from acceleration data, i.e., a 3-D motion tracking system having a small size and low-cost magnetic and inertial measurement unit (MIMU) composed by both a digital compass and a gyroscope as interaction technology. A major challenge is to minimize the error caused by the process of double integration of accelerations due to motion (these ones have to be separated from the accelerations due to gravity). Owing to drift error, position estimation cannot be performed with adequate accuracy for periods longer than few seconds. For this reason, we propose a method to detect motion stops and only integrate accelerations in moments of effective hand motion during the demonstration process. The proposed system is validated and evaluated with experiments reporting a common daily life pick-and-place task.


title: Off-line Programming and Simulation from CAD Drawings: Robot-Assisted Sheet Metal Bending

abstract: Increasingly, industrial robots are being used in production systems. This is because they are highly flexible machines and economically competitive with human labor. The problem is that they are difficult to program. Thus, manufacturing system designers are looking for more intuitive ways to program robots, especially using the CAD drawings of the production system they developed. This paper presents an industrial application of a novel CAD-based off-line robot programming (OLP) and simulation system in which the CAD package used for cell design is also used for OLP and robot simulation. Thus, OLP becomes more accessible to anyone with basic knowledge of CAD and robotics. The system was tested in a robot-assisted sheet metal bending cell. Experiments allowed identifying the pros and cons of the proposed solution.


title: The 21-cm Signal from the Cosmological Epoch of Recombination

abstract: The redshifted 21-cm emission by neutral hydrogen offers a unique tool for mapping structure formation in the early universe in three dimensions. Here we provide the first detailed calculation of the 21-cm emission signal during and after the epoch of hydrogen recombination in the redshift range of z ~ 500-1,100, corresponding to observed wavelengths of 100-230 meters. The 21-cm line deviates from thermal equilibrium with the cosmic microwave background (CMB) due to the excess Ly-alpha radiation from hydrogen and helium recombinations. The resulting 21-cm signal reaches a brightness temperature of a milli-Kelvin, orders of magnitude larger than previously estimated. Its detection by a future lunar or space-based observatory could improve dramatically the statistical constraints on the cosmological initial conditions compared to existing two-dimensional maps of the CMB anisotropies.


title: Almost Commuting Orthogonal Matrices

abstract: We show that almost commuting real orthogonal matrices are uniformly close to exactly commuting real orthogonal matrices. We prove the same for symplectic unitary matrices. This is in contrast to the general complex case, where not all pairs of almost commuting unitaries are close to commuting pairs. Our techniques also yield results about almost normal matrices over the reals and the quaternions.


title: Metallicity evolution, metallicity gradients and gas fractions at z~3.4

abstract: We used near-infrared integral field spectroscopic observations from the AMAZE and LSD programs to constrain the metallicity in a sample of 40 star forming galaxies at 3<z<5 (most of which at z~3.4). We measure metallicities by exploiting strong emission line diagnostics. We found that a significant fraction of star-forming galaxies at z~3.4 deviate from the Fundamental Metallicity Relation (FMR), with a metallicity up to a factor of ten lower than expected according to the FMR. This deviation does not correlate with the dynamical properties of the galaxy or with the presence of interactions. To investigate the origin of the metallicity deviations in more detail, we also infer information on the gas content, by inverting the Schmidt-Kennicutt relation. In agreement with recent CO observational data, we found that, in contrast with the steeply rising trend at 0<z<2, the gas fraction in massive galaxies remains constant, with indication of a marginal decline, at 2<z<3.5. When combined with the metallicity information, we infer that to explain both the low metallicity and gas content in z~3.4 galaxies, both prominent outflows and massive pristine gas inflows are needed. In ten galaxies we can also spatially resolve the metallicity distribution. We found that the metallicity generally anticorrelates with the distribution of star formation and with the gas surface density. We discuss these findings in terms of pristine gas inflows towards the center, and outflows of metal rich gas from the center toward the external regions. (Abridged)


title: A multiphase equation of state for carbon addressing high pressures and temperatures

abstract: We present a 5-phase equation of state (EOS) for elemental carbon. The phases considered are: diamond, BC8, simple-cubic, simple-hexagonal, and the liquid/plasma state. The solid phase free energies are constrained by density functional theory (DFT) calculations. Vibrational contributions to the free energy of each solid phase are treated within the quasiharmonic framework. The liquid free energy model is constrained by fitting to a combination of DFT molecular dynamics performed over the range 10,000 K < T < 100,000 K, and path integral quantum Monte Carlo calculations for T > 100,000 K (both for {\rho} between 3 and 12 g/cc, with select higher-{\rho} DFT calculations as well). The liquid free energy model includes an atom-in-jellium approach to account for the effects of ionization due to temperature and pressure in the plasma state, and an ion-thermal model which includes the approach to the ideal gas limit. The precise manner in which the ideal gas limit is reached is greatly constrained by both the highest temperature DFT data and the path integral data, forcing us to discard an ion-thermal model we had used previously in favor of a new one. Predictions are made for the principal Hugoniot and the room-temperature isotherm, and comparisons are made to recent experimental results.


title: Statistics of Extreme Waves in Random Media

abstract: Waves traveling through random media exhibit random focusing that leads to extremely high wave intensities even in the absence of nonlinearities. Although such extreme events are present in a wide variety of physical systems and the statistics of the highest waves is important for their analysis and forecast, it remains poorly understood in particular in the regime where the waves are highest. We suggest a new approach that greatly simplifies the mathematical analysis and calculate the scaling and the distribution of the highest waves valid for a wide range of parameters.


title: Self-consistent physical parameters for five intermediate-age SMC stellar clusters from CMD modelling

abstract: Context. Stellar clusters in the Small Magellanic Cloud (SMC) are useful probes for studying the chemical and dynamical evolution of this neighbouring dwarf galaxy, enabling inspection of a large period covering over 10 Gyr. Aims: The main goals of this work are the derivation of age, metallicity, distance modulus, reddening, core radius, and central density profiles for six sample clusters, in order to place them in the context of the Small Cloud evolution. The studied clusters are AM 3, HW 1, HW 34, HW 40, Lindsay 2, and Lindsay 3; HW 1, HW 34, and Lindsay 2 are studied for the first time. Methods: Optical colour-magnitude diagrams (V,B - V CMDs) and radial density profiles were built from images obtained with the 4.1 m Southern Astrophysical Research (SOAR) telescope, reaching V ~ 23. The determination of structural parameters were carried out by applying King profile fitting. The other parameters were derived in a self-consistent way by means of isochrone fitting, which uses likelihood statistics to identify the synthetic CMDs that best reproduce the observed ones. Membership probabilities were determined comparing the cluster and control field CMDs. Completeness and photometric uncertainties were obtained by performing artificial star tests. Results: The results confirm that these clusters (except HW 34, identified as a field fluctuation) are intermediate-age clusters, with ages between 1.2 Gyr (Lindsay 3) and ~5.0 Gyr (HW 1). In particular HW 1, Lindsay 2 and Lindsay 3 are located in a region that we called West Halo, where studies of ages and metallicity gradients are still lacking. Moreover, Lindsay 2 was identified as a moderately metal-poor cluster with [Fe/H] = -1.4 +/- 0.2 dex, lower than expected from the age-metallicity relation by Pagel & Tautvaisiene (1998). We also found distances varying from ~53 kpc to 66 kpc, compatible with the large depth of the SMC.


title: Snowmass 2013 Computing Frontier Storage and Data Management

abstract: The data storage and data management needs are summarized for the energy frontier, intensity frontier, cosmic frontier, lattice field theory, perturbative QCD and accelerator science. The outlook for data storage technologies and costs is then outlined, followed by a summary of the current state of data, software and physics analysis capability preservation. The HEP outlook is summarized, pointing out where future data volumes may strain against what is technologically and financially feasible. Finally recommendations for areas of particular attention and action are made.


title: Application of the Wasserstein metric to seismic signals

abstract: Seismic signals are typically compared using travel time difference or $L_2$ difference. We propose the Wasserstein metric as an alternative measure of fidelity or misfit in seismology. It exhibits properties from both of the traditional measures mentioned above. The numerical computation is based on the recent development of fast numerical methods for the Monge-Ampere equation and optimal transport. Applications to waveform inversion and registration are discussed and simple numerical examples are presented.


title: On the range of the attenuated magnetic ray transform for connections and Higgs fields

abstract: For a two-dimensional simple magnetic system, we study the attenuated magnetic ray transform $I_{A,\Phi}$, with attenuation given by a unitary connection $A$ and a skew-Hermitian Higgs field $\Phi$. We give a description for the range of $I_{A,\Phi}$ acting on $\mathbb C^n$-valued tensor fields.


title: Supersymmetric Warped AdS in Extended Topologically Massive Supergravity

abstract: We determine the most general form of off-shell N=(1,1) supergravity field configurations in three dimensions by requiring that at least one off-shell Killing spinor exists. We then impose the field equations of the topologically massive off-shell supergravity and find a class of solutions whose properties crucially depend on the norm of the auxiliary vector field. These are spacelike-squashed and timelike-stretched AdS_3 for the spacelike and timelike norms, respectively. At the transition point where the norm vanishes, the solution is null warped AdS_3. This occurs when the coefficient of the Lorentz-Chern-Simons term is related to the AdS radius by $\mu\ell=2$. We find that the spacelike-squashed AdS_3 can be modded out by a suitable discrete subgroup of the isometry group, yielding an extremal black hole solution which avoid closed timelike curves.


title: Low distortion embeddings into Asplund Banach spaces

abstract: We give a simple example of a countable metric space $M$ that does not embed bi-Lipschitz with distortion strictly less than 2 into any Asplund space. Actually, if $M$ embeds with distortion strictly less than 2 to a Banach space $X$, then $X$ contains an isomorphic copy of $\ell_1$. We also show that the space $M$ does not embed with distortion strictly less than $2$ into $\ell_1$ itself but it does embed isometrically into a space that is isomorphic to $\ell_1$.


title: Refinements of the One Dimensional Free Poincare Inequality

abstract: We present two extensions of the one dimensional free Poincar\'e inequality similar in spirit to two classical refinements.


title: Theory Uncertainty in Extracting the Proton's Weak Charge: White Paper

abstract: We review the state-of-the-art and address open questions relative to the theory uncertainty of the $\gamma-Z$ box contribution to the $A_{PV}$ measurement within the QWEAK experiment at Jefferson Lab. This white paper summarizes the contributions by participants and discussion sessions on this topic within the MITP Workshop on Precision Electroweak Physics held in Mainz, Germany, September 23 - October 11, 2013 \url{http://indico.cern.ch/conferenceDisplay.py?confId=248072


title: Naturalness implies intra-generational degeneracy for decoupled squarks and sleptons

abstract: The SUSY flavor, CP, gravitino and proton-decay problems are all solved to varying degrees by a decoupling solution wherein first/second generation matter scalars would exist in the multi-TeV regime. Recent models of natural SUSY presumably allow for a co-existence of naturalness with the decoupling solution. We show that: if sfermions are heavier than $\sim 10$ TeV, then a small first/second generation contribution to electroweak fine-tuning (EWFT) requires a rather high degree of intra-generational degeneracy of either 1. (separately) squarks and sleptons, 2. (separately) left- and right-type sfermions, 3. members of SU(5) multiplets, or 4. all members of a single generation as in SO(10). These (partial) degeneracy patterns required by naturalness hint at the necessity of an organizing principle, and highlight the limitations of models such as the pMSSM in the case of decoupled first/second generation scalars.


title: Convergence of Parareal for the Navier-Stokes equations depending on the Reynolds number

abstract: The paper presents first a linear stability analysis for the time-parallel Parareal method, using an IMEX Euler as coarse and a Runge-Kutta-3 method as fine propagator, confirming that dominant imaginary eigenvalues negatively affect Parareal's convergence. This suggests that when Parareal is applied to the nonlinear Navier-Stokes equations, problems for small viscosities could arise. Numerical results for a driven cavity benchmark are presented, confirming that Parareal's convergence can indeed deteriorate as viscosity decreases and the flow becomes increasingly dominated by convection. The effect is found to strongly depend on the spatial resolution.


title: A Higher-Spin Chern-Simons Theory of Anyons

abstract: We propose Chern-Simons models of fractional-spin fields interacting with ordinary tensorial higher-spin fields and internal color gauge fields. For integer and half-integer values of the fractional spins, the model reduces to finite sets of fields modulo infinite-dimensional ideals. We present the model on-shell using Fock-space representations of the underlying deformed-oscillator algebra.


title: Quantifying Einstein-Podolsky-Rosen steering

abstract: Einstein-Podolsky-Rosen (EPR) steering is a form of bipartite quantum correlation that is intermediate between entanglement and Bell nonlocality. It allows for entanglement certification when the measurements performed by one of the parties are not characterised (or are untrusted) and has applications in quantum key distribution. Despite its foundational and applied importance, EPR steering lacks a quantitative assessment. Here we propose a way of quantifying this phenomenon and use it to study the steerability of several quantum states. In particular we show that every pure entangled state is maximally steerable, the projector onto the anti-symmetric subspace is maximally steerable for all dimensions, we provide a new example of one-way steering, and give strong support that states with positive-partial-transposition are not steerable.


title: On the Security of Key Extraction from Measuring Physical Quantities

abstract: Key extraction via measuring a physical quantity is a class of information theoretic key exchange protocols that rely on the physical characteristics of the communication channel to enable the computation of a shared key by two (or more) parties that share no prior secret information. The key is supposed to be information theoretically hidden to an eavesdropper. Despite the recent surge of research activity in the area, concrete claims about the security of the protocols typically rely on channel abstractions that are not fully experimentally substantiated. In this work, we propose a novel methodology for the {\em experimental} security analysis of these protocols. The crux of our methodology is a falsifiable channel abstraction that is accompanied by an efficient experimental approximation algorithm of the {\em conditional min-entropy} available to the two parties given the view of the eavesdropper. We focus on the signal strength between two wirelessly communicating transceivers as the measured quantity and we use an experimental setup to compute the conditional min-entropy of the channel given the view of the attacker which we find to be linearly increasing. Armed with this understanding of the channel, we showcase the methodology by providing a general protocol for key extraction in this setting that is shown to be secure for a concrete parameter selection. In this way we provide a first comprehensively analyzed wireless key extraction protocol that is demonstrably secure against passive adversaries. Our methodology uses hidden Markov models as the channel model and a dynamic programming approach to approximate conditional min-entropy but other possible instantiations of the methodology can be motivated by our work.


title: Automorphisms for skew PBW extensions and skew quantum polynomial rings

abstract: In this work we study the automorphisms of skew $PBW$ extensions and skew quantum polynomials. We use Artamonov's works as reference for getting the principal results about automorphisms for generic skew $PBW$ extensions and generic skew quantum polynomials. In general, if we have an endomorphism on a generic skew $PBW$ extension and there are some $x_i,x_j,x_u$ such that the endomorphism is not zero on this elements and the principal coefficients are invertible, then endomorphism act over $x_i$ as $a_ix_i$ for some $a_i$ in the ring of coefficients. Of course, this is valid for quantum polynomial rings, with $r=0$, as such Artamonov shows in his work. We use this result for giving some more general results for skew $PBW$ extensions, using filtred-graded techniques. Finally, we use localization for characterize some class the endomorphisms and automorphisms for skew $PBW$ extensions and skew quantum polynomials over Ore domains.


title: Elastic monopoles and external torques in nematic liquid crystal colloids

abstract: Up to now it is commonly believed that a colloidal particle suspended in a nematic liquid crystal never produces elastic monopoles because this violates the mechanical equilibrium condition. And the only way to obtain deformations of director field falling off with distance as r^{-1} is to exert an external torque \Gamma_{ext} on the colloid \cite{de_Gennes}. In this paper we demonstrate that this statement is not quite correct and elastic monopoles, as well as dipoles and quadrupoles, can be induced without any external influence just by the particle itself. A behavior of a spherical colloidal particle with asymmetric anchoring strength distribution is considered theoretically. It is demonstrated that such a particle when suspended in a nematic host can produce director deformations decreasing as $r^{-1}$, i.e. elastic monopoles, by itself without any external influence.


title: Solutions to the Classical Liouville Equation

abstract: We present solutions to the classical Liouville equation for ergodic and completely integrable systems - systems that are known to attain equilibrium. Ergodic systems are known to thermal equilibrate with a Maxwell-Boltzmann distribution and we show a simple derivation of this distribution that also leads to a derivation of the distribution at any time t. For illustrative purposes, we apply the method to the problem of a one-dimensional gravitational gas even though its ergodicity is debatable. For completely integrable systems, the Liouville equation in the original phase space is rather involved because of the group structure of the integral invariants, which hints of a gauge symmetry. We use Dirac's constrained formalism to show the change in the Liouville equation, which necessitates the introduction of gauge-fixing conditions. We then show that the solution of the Liouville equation is independent of the choice of gauge, which it must be because physical quantities are derived from the distribution. Instead, we derive the solution to the classical Liouville equation in the phase space where the dynamics involve ignorable coordinates, a technique that is akin to the use of the unitarity gauge in spontaneously broken gauge theories to expose the physical degrees of freedom. It turns out the distribution is time-independent and precisely given by the generalized Gibbs ensemble (GGE), which was solved by Jaynes using the method of constrained optimization. As an example, we apply the method to the problem of two particles in 3D interacting via a central potential.


title: Ab initio NCSM/RGM for three-body cluster systems and application to $^4$He+n+n

abstract: We introduce an extension of the ab initio no-core shell model/resonating group method (NCSM/RGM) in order to describe three-body cluster states. We present results for the $^6$He ground state within a $^4$He+n+n cluster basis as well as first results for the phase shifts of different channels of the $^4$He+n+n system which provide information about low-lying resonances of this nucleus.


title: Application of a linear elastic - brittle interface model to the crack initiation and propagation at fibre-matrix interface under biaxial transverse loads

abstract: The crack onset and propagation at the fibre-matrix interface in a composite under tensile/compressive remote biaxial transverse loads is studied by a new linear elastic - (perfectly) brittle interface model. In this model the interface is represented by a continuous distribution of springs which simulates the presence of a thin elastic layer. The constitutive law for the continuous distribution of normal and tangential of initially linear elastic springs takes into account possible frictionless elastic contact between fibre and matrix once a portion of the interface is broken. A brittle failure criterion is employed for the distribution of springs, which enables the study of crack onset and propagation. This interface failure criterion takes into account the variation of the interface fracture toughness with the fracture mode mixity. The main advantages of the present interface model are its simplicity, robustness and its computational efficiency when the so-called sequentially linear analysis is applied. Moreover, in the present plane strain problem of a single fibre embedded in a matrix subjected to uniform remote transverse loads, this model can be used to obtain analytic predictions of interface crack onset. The numerical results provided by a 2D boundary element analysis show that a fibre-matrix interface failure initiates by onset of a finite debond in the neighbourhood of an interface point where the failure criterion is reached first (under increasing proportional load), this debond further propagating along the interface in mixed mode or even, in some configurations, with the crack tip under compression. The analytical predictions of the debond onset position and associated critical load are used for checking the computational procedure implemented, an excellent agreement being obtained.


title: MHD Simulations of Magnetospheric Accretion, Ejection and Plasma-field Interaction

abstract: We review recent axisymmetric and three-dimensional (3D) magnetohydrodynamic (MHD) numerical simulations of magnetospheric accretion, plasma-field interaction and outflows from the disk-magnetosphere boundary.


title: Heat flux scaling in turbulent Rayleigh-B\'enard convection with an imposed longitudinal wind

abstract: We present a numerical study of Rayleigh-B\'enard convection disturbed by a longitudinal wind. Our results show that under the action of the wind, the vertical heat flux through the cell initially decreases, due to the mechanism of plumes-sweeping, and then increases again when turbulent forced convection dominates over the buoyancy. As a result, the Nusselt number is a non-monotonic function of the shear Reynolds number. We provide a simple model that captures with good accuracy all the dynamical regimes observed. We expect that our findings can lead the way to a more fundamental understanding of the of the complex interplay between mean-wind and plumes ejection in the Rayleigh-B\'enard phenomenology.


title: Cellular resolutions from mapping cones

abstract: One can iteratively obtain a free resolution of any monomial ideal $I$ by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal resolution if $I$ has linear quotients, in which case the mapping cone in each step cones a Koszul complex onto the previously constructed resolution. Here we consider cellular realizations of these resolutions. Extending a construction of Mermin we describe a regular CW-complex that supports the resolutions of Herzog and Takayama in the case that $I$ has a `regular decomposition function'. By varying the choice of chain map we recover other known cellular resolutions, including the `box of complexes' resolutions of Corso, Nagel, and Reiner and the related `homomorphism complex' resolutions of Dochtermann and Engstr\"om. Other choices yield combinatorially distinct complexes with interesting structure, and suggests a notion of a `space of cellular resolutions'.


title: Small gaps between primes

abstract: We introduce a refinement of the GPY sieve method for studying prime $k$-tuples and small gaps between primes. This refinement avoids previous limitations of the method, and allows us to show that for each $k$, the prime $k$-tuples conjecture holds for a positive proportion of admissible $k$-tuples. In particular, $\liminf_{n}(p_{n+m}-p_n)<\infty$ for any integer $m$. We also show that $\liminf(p_{n+1}-p_n)\le 600$, and, if we assume the Elliott-Halberstam conjecture, that $\liminf_n(p_{n+1}-p_n)\le 12$ and $\liminf_n (p_{n+2}-p_n)\le 600$.


title: Achievable Rate Regions for Network Coding

abstract: Determining the achievable rate region for networks using routing, linear coding, or non-linear coding is thought to be a difficult task in general, and few are known. We describe the achievable rate regions for four interesting networks (completely for three and partially for the fourth). In addition to the known matrix-computation method for proving outer bounds for linear coding, we present a new method which yields actual characteristic-dependent linear rank inequalities from which the desired bounds follow immediately.


title: MCNP6 Study of Spallation Products from 500 MeV p + 136Xe

abstract: Isotope production cross sections from the 500 MeV p + 136Xe interactions measured recently at GSI in inverse kinematics have been simulated with MCNP6 using the CEM03.03 event generator. MCNP6 reproduces reasonably well most of the measured cross sections. However, the isotopes with a charge number greater than the charge number on the target by two units is overestimated significantly by CEM03.03. We found also an underestimation for the production of isotopes in the deep spallation region, far from the target-nucleus. Further investigations and further improvement of CEM03.03 with a possible consideration of multifragmentation and fission-like binary decays are needed in order to predict well products from intermediate- and high-energy nuclear reactions far from the target-nuclei, in the deep spallation and fragmentation regions


title: Fission Fragments Produced from Proton Irradiation of Thorium Between 40 and 200 MeV

abstract: The cross sections for the formation of five residual radionuclides (72Se, 97Zr, 112Pd, 125Sb, and 147Nb) from 40- to 200-MeV proton irradiation of thorium have been measured and are reported. The atomic masses of these fragments span the expected mass distribution of radionuclides formed by fission of the target nucleus. Especially in mass regions corresponding to transitions between different relaxation mechanisms employed by available models, these data are expected to be useful to the improvement of high-energy transport codes. The predictions of the event generators incorporated into the latest release of the Monte Carlo N-Particle code (MCNP6) are compared with data measured in this work in the hope that these results may be useful to the continued process of code verification and validation in MCNP6.


title: Photoemission study of PDI8-CN2 /Au, PDI8-CN2 / Si and PDI8-CN2 - T6 interfaces

abstract: We report on the study of the electronic properties in PDI8-CN2 / Au, PDI8-CN2 / Si, PDI8-CN2 - T6 interfaces investigated by X-Ray (XPS) and Ultraviolet (UPS) Photoemission Spectroscopy. In order to verify the consistency with the results on field effect devices, heated substrates have been considered, while only in the case of PDI8-CN2 / Au interface also sputter-cleaned Au has been used as a reference. We found a small interface dipole between PDI8-CN2 and sputter-cleaned Au, which reverses its sign as a consequence of the 'pillow effect' due to the presence of the contamination layer in the heated substrates. This result is in agreement with the transport measurements on PDI8-CN2 field effect transistors, which show an 'always on' behavior. We also found evidences of the formation of a built-in potential in T6 / PDI8-CN2 and PDI8-CN2 / T6 interfaces, mainly from the T6 side. This also well agrees with previous results on T6 / PDI8-CN2 heterostructures devices, exhibiting transport properties explainable with the presence of an accumulation heterojunction at the interface.


title: A model structure on GCat

abstract: We define a model structure on the category GCat of small categories with an action by a finite group G by lifting the Thomason model structure on Cat. We show there is a Quillen equivalence between GCat with this model structure and GTop with the standard model structure.


title: A Trust Model Based Analysis of Social Networks

abstract: In this paper, we analyse the sustainability of social networks using STrust, our social trust model. The novelty of the model is that it introduces the concept of engagement trust and combines it with the popularity trust to derive the social trust of the community as well as of individual members in the community. This enables the recommender system to use these different types of trust to recommend different things to the community, and identify (and recommend) different roles. For example, it recommends mentors using the engagement trust and leaders using the popularity trust. We then show the utility of the model by analysing data from two types of social networks. We also study the sustainability of a community through our social trust model. We observe that a 5% drop in highly trusted members causes more than a 50% drop in social capital that, in turn, raises the question of sustainability of the community. We report our analysis and its results.


title: Study of the $D^*\rho$ system using QCD sum rules

abstract: In this talk I present a study of the $D^* \rho$ system made by using the method of QCD sum rules. Considering isospin and spin projectors, we investigate the different configurations and obtain three $D^*$ mesons with isospin $I=1/2$, spin $S=0$, $1$, $2$ and with masses $2500\pm 67$ MeV, $2523\pm60$ MeV, and $2439\pm119$ MeV, respectively. The last state can be related to $D^*_2(2460)$ (spin 2) listed by the Particle Data Group, while one of the first two might be associated with $D^*(2640)$, whose spin-parity is unknown. In the case of $I=3/2$ we also find evidences of three states with spin 0, 1 and 2, respectively, with masses $2467\pm82$ MeV, $2420\pm128$ MeV, and $2550\pm56$ MeV.


title: Jumping the energetics queue: Modulation of pulsar signals by extraterrestrial civilizations

abstract: It has been speculated that technological civilizations evolve along an energy consumption scale first formulated by Kardashev, ranging from human-like civilizations that consume energy at a rate of $\sim 10^{19}$ erg s$^{-1}$ to hypothetical highly advanced civilizations that can consume $\sim 10^{44}$ erg s$^{-1}$. Since the transmission power of a beacon a civilization can build depends on the energy it possesses, to make it bright enough to be seen across the Galaxy would require high technological advancement. In this paper, we discuss the possibility of a civilization using naturally-occurring radio transmitters -- specifically, radio pulsars -- to overcome the Kardashev limit of their developmental stage and transmit super-Kardashev power. This is achieved by the use of a modulator situated around a pulsar, that modulates the pulsar signal, encoding information onto its natural emission. We discuss a simple modulation model using pulse nulling and considerations for detecting such a signal. We find that a pulsar with a nulling modulator will exhibit an excess of thermal emission peaking in the ultraviolet during its null phases, revealing the existence of a modulator.


title: An O(M log M) Algorithm for Bipartite Matching with Roadmap Distances

abstract: An algorithm is presented which produces the minimum cost bipartite matching between two sets of M points each, where the cost of matching two points is proportional to the minimum distance by which a particle could reach one point from the other while constrained to travel on a connected set of curves, or roads. Given any such roadmap, the algorithm obtains O(M log M) total runtime in terms of M, which is the best possible bound in the sense that any algorithm for minimal matching has runtime Omega(M log M). The algorithm is strongly polynomial and is based on a capacity-scaling approach to the [minimum] convex cost flow problem. The result generalizes the known Theta(M log M) complexity of computing optimal matchings between two sets of points on (i) a line segment, and (ii) a circle.


title: Scientific Workflows and Provenance: Introduction and Research Opportunities

abstract: Scientific workflows are becoming increasingly popular for compute-intensive and data-intensive scientific applications. The vision and promise of scientific workflows includes rapid, easy workflow design, reuse, scalable execution, and other advantages, e.g., to facilitate "reproducible science" through provenance (e.g., data lineage) support. However, as described in the paper, important research challenges remain. While the database community has studied (business) workflow technologies extensively in the past, most current work in scientific workflows seems to be done outside of the database community, e.g., by practitioners and researchers in the computational sciences and eScience. We provide a brief introduction to scientific workflows and provenance, and identify areas and problems that suggest new opportunities for database research.


title: Heterointerface engineered electronic and magnetic phases of NdNiO3 thin films

abstract: Mott physics is characterized by an interaction-driven metal-to-insulator transition in a partially filled band. In the resulting insulating state, antiferromagnetic orders of the local moments typically develop, but in rare situations no long-range magnetic order appears, even at zero temperature, rendering the system a quantum spin liquid. A fundamental and technologically critical question is whether one can tune the underlying energetic landscape to control both metal-to-insulator and N\'eel transitions, and even stabilize latent metastable phases, ideally on a platform suitable for applications. Here we demonstrate how to achieve this in ultrathin films of NdNiO3 with various degrees of lattice mismatch, and report on the quantum critical behaviours not reported in the bulk by transport measurements and resonant X-ray spectroscopy/scattering. In particular, on the decay of the antiferromagnetic Mott insulating state into a non-Fermi liquid, we find evidence of a quantum metal-to-insulator transition that spans a non-magnetic insulating phase.


title: Characteristics of multiplexing parallel beam (MPB) by using Monte Carlo simulation

abstract: It is discussed that the point spread function (PSF) of multiplexing parallel beam (MPB) is shift-invariant; the spatial resolution is linear as a function of depth h and the geometrical sensitivity is converged to a constant value at far field, by using Monte Carlo simulation in this work. The results indicate that the MPB collimator may maintain the same system characteristics as parallel beam (PB) collimator. Although the minimum standard deviation (SD) of MPB is more 3.7% than the PB with high sensitivity (HSPB), the improved resolution is 55.2% at h=160mm, compared with HSPB in this work. The reconstruction process also indicates that the convergence rate of MPB is slower than the HSPB because the projection counts are part of overlapping and the PSF of oblique PB (OPB) is asymmetrical. However the effective hole length is used in the calculation of the system matrix to correct for the penetration, which has a satisfactory result. From a visual assessment, the reconstructed image may well satisfy clinical criteria and it is therefore worth investigating this novel MPB collimator system for clinical imaging.


title: Conditioning of BPM pickup signals for operations of the Duke storage ring with a wide range of single-bunch current

abstract: The Duke storage ring is a dedicated driver for the storage ring based oscillator free-electron lasers (FELs), and the High Intensity Gamma-ray Source (HIGS). It is operated with a beam current ranging from about 1 mA to 100 mA per bunch for various operations and accelerator physics studies. High performance operations of the FEL and gamma-ray source require a stable electron beam orbit, which has been realized by the global orbit feedback system. As a critical part of the orbit feedback system, the electron beam position monitors (BPMs) are required to be able to precisely measure the electron beam orbit in a wide range of the single-bunch current. However, the high peak voltage of the BPM pickups associated with high single-bunch current degrades the performance of the BPM electronics, and can potentially damage the BPM electronics. A signal conditioning method using low pass filters is developed to reduce the peak voltage to protect the BPM electronics, and to make the BPMs capable of working with a wide range of single-bunch current. Simulations and electron beam based tests are performed. The results show that the Duke storage ring BPM system is capable of providing precise orbit measurements to ensure highly stable FEL and HIGS operations.


title: Thermal resonating Hartree-Bogoliubov theory based on the projection method

abstract: We propose a rigorous thermal resonating mean-field theory (Res-MFT). A state is approximated by superposition of multiple MF wavefunctions (WFs) composed of non-orthogonal Hartree-Bogoliubov (HB) WFs. We adopt a Res-HB subspace spanned by Res-HB ground and excited states. A partition function (PF) in a SO(2N) coherent state representation |g> (N:Number of single-particle states) is expressed as Tr(e^{-\beta H})=2^{N-1} \int <g|e^{-\beta H}|g>dg (\beta=1/k_BT). Introducing a projection operator P to the Res-HB subspace, the PF in the Res-HB subspace is given as Tr(Pe^{-\beta H}), which is calculated within the Res-HB subspace by using the Laplace transform of e^{-\beta H} and the projection method. The variation of the Res-HB free energy is made, which leads to a thermal HB density matrix W_{Res}^{thermal} expressed in terms of a thermal Res-FB operator F_{Res}^{thermal} as W_{Res}^{thermal}={1_{2N}+exp(\beta F_{Res}^{thermal})}^{-1}. A calculation of the PF by an infinite matrix continued fraction is cumbersome and a procedure of tractable optimization is too complicated. Instead, we seek for another possible and more practical way of computing the PF and the Res-HB free energy within the Res-MFT.


title: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages

abstract: Programmers using software components have to follow protocols that specify when it is legal to call particular methods with particular arguments. For example, one cannot use an iterator over a set once the set has been changed directly or through another iterator. We formalize the notion of dynamic package interfaces (DPI), which generalize state-machine interfaces for single objects, and give an algorithm to statically compute a sound abstraction of a DPI. States of a DPI represent (unbounded) sets of heap configurations and edges represent the effects of method calls on the heap. We introduce a novel heap abstract domain based on depth-bounded systems to deal with potentially unboundedly many objects and the references among them. We have implemented our algorithm and show that it is effective in computing representations of common patterns of package usage, such as relationships between viewer and label, container and iterator, and JDBC statements and cursors.


title: Real-Time Kadanoff-Baym Approach to Nuclear Response Functions

abstract: Linear response functions are calculated for symmetric nuclear matter of normal density by time-evolving two-time Green's functions with conserving self-energy insertions, thereby satisfying the energy-sum rule. Nucleons are regarded as moving in a mean field defined by an effective mass. A two-body effective (or residual) interaction, represented by a gaussian local interaction, is used to find the effect of correlations in a second order as well as a ring approximation. The response function S(e,q) is calculated for 0.2<q<1.2 fm^{-1}. Comparison is made with the nucleons being un-correlated, "RPA+HF" only.


title: A New Perspective for Hoare's Logic and Peano's Arithmetic

abstract: Hoare's logic is an axiomatic system of proving programs correct, which has been extended to be a separation logic to reason about mutable heap structure. We develop the most fundamental logical structure of strongest postcondition of Hoare's logic in Peano's arithmetic $PA$. Let $p\in L$ and $S$ be any while-program. The arithmetical definability of $\textbf{N}$-computable function $f_S^{\textbf{N}}$ leads to separate $S$ from $SP(p,S)$, which defines the strongest postcondition of $p$ and $S$ over $\textbf{N}$, achieving an equivalent but more meaningful form in $PA$. From the reduction of Hoare's logic to PA, together with well-defined underlying semantics, it follows that Hoare's logic is sound and complete relative to the theory of $PA$, which is different from the relative completeness in the sense of Cook. Finally, we discuss two ways to extend computability from the standard structure to nonstandard models of $PA$.


title: Suzaku View of the Neutron Star in the Dipping Source 4U 1822$-$37

abstract: The dipping X-ray source 4U 1822$-$37 was observed by Suzaku on 2006 Octrober 20 for a net exposure of 37 ks. The source was detected with the XIS at a 1-10 keV flux of 5.5$\times10^{-10}$ erg cm$^{-2}$ s$^{-1}$, and with the HXD (HXD-PIN) at a 10-50 keV flux of 8.9$\times10^{-10}$ erg cm$^{-2}$ s$^{-1}$. With HXD-PIN, the pulsation was detected at a barycentric period of 0.592437 s, and its change rate was reconfirmed as $-2.43\times$10$^{-12}$ s s$^{-1}$. The 1-50 keV spectra of 4U 1822-37 were found to be very similar to those of Her X-1 in the slopes, cutoff and iron lines. Three iron lines (Fe K$\alpha$, Fe XXV, and Fe XXVI) were detected, on top of a 1-50 keV continuum that is described by an NPEX model plus a soft blackbody. In addition, a cyclotron resonance scattering feature was detected significantly ($>99\%$ confidence), at an energy of 33$\pm$2 keV with a depth of 0.4$^{+0.6}_{-0.3}$. Therefore, the neutron star in this source is concluded to have a strong magnetic field of 2.8$\times10^{12}$ G. Further assuming that the source has a relatively high intrinsic luminosity of several times 10$^{37}$ erg s$^{-1}$, its spectral and timing properties are consistently explained.


title: Reduction of BTZ spacetime to hypersurfaces of foliation

abstract: We reduce the BTZ spacetime to two kinds of hypersurfaces of foliation: one having a fixed radial coordinate and the other a fixed angular coordinate. The radial reduction leads to a Liouville type theory, and confirms, from the first principle, the expectation laid out in the literature. In the other endeavor, the angular reduction of the 3D gravity is carried out in two different ways; the first again yields a Liouville type theory (different from that of the radial reduction) and the second yields a 2D interacting quantum field theory with quartic potential. Finally we discuss potential implications of our result for the Equivalence Principle and Purity of Hawking radiation.


title: Homotopy type of Frobenius complexes II

abstract: A finitely generated additive submonoid $\Lambda$ of ${\mathbb N}^d$ has the partial order defined by $\lambda \le \lambda + \mu$ for $\lambda, \mu \in \Lambda$. The Frobenius complex is the order complex of an open interval of $\Lambda$. In this paper, we express the homotopy type of the Frobenius complex of $\Lambda[\rho / r]$ in terms of those of $\Lambda$, where $\Lambda[\rho / r]$ is the additive monoid which is added the $r$-th part of $\rho$ to $\Lambda$. As applications, we determine the homotopy type of the Frobenius complex of some submonoids of $\mathbb N$, for example, the submonoid generated by a finite geometric sequence. We also state an application to the multi-graded Poincar\'e series.


title: More about vacuum structure of Linear Sigma Model

abstract: In the study of critical phenomena of QCD, a linear sigma model (LSM) is often analyzed as it shares many properties with QCD. Motivated by recent arguments on effective restoration of the U_A(1) symmetry around the critical temperature, the renormalization group flow of U(2)$\otimes$U(2) LSM with a small violation of the U_A(1) symmetry is examined in the traditional epsilon expansion in threedimensions. With a mass-dependent renormalization scheme, we investigate the attractive basin flowing into the O(4) LSM in the parameter space and its dependence on the size of the U_A(1) breaking. Special emphasis is put on how the decoupling of the heavier degrees of freedom occur as approaching the O(4) LSM.


title: GSH 90-28-17: a Possible Old Supernova Remnant

abstract: GSH 90-28-17 is a high-latitude galactic HI supershell, identified in the HI supershell catalogs with a velocity of $v_{lsr}\sim-17$ \kms. We used the new Arecibo GALFA-HI survey data which have much higher resolution and sensitivity than what were previously available to re-examine the properties of the supershell. We derived a new distance of 400 pc for GSH 90-28-17 and suggested that it is related to the Lac OB1 association. The radius of GSH 90-28-17 is 66.0$\pm$3.5 pc. The HI mass of the shell is (3.1$\pm0.1)\times10^{4}$ M$_{\odot}$. It has an age of $\sim4.5$ Myr and a total kinetic energy of (8.2$\pm0.3)\times10^{48}$ ergs. We extracted radio continuum data for the GSH 90-28-17 region from the 408 MHz all-sky Survey and Bonn 1420 MHz survey, and filtered the diffuse background Galactic emission. A radio loop-like ridge is found to be associated with the HI shell at both frequencies, and shows a nonthermal origin with a TT-plot index of $\alpha$=-1.35$\pm$0.69. In addition, the pulsar J2307+2225 with a similar distance is found in the shell region. We conclude that GSH 90-28-17 is probably an old, type II supernova remnant in the solar neighborhood.


title: Rotating AdS black hole stealth solution in D=3

abstract: We show that the rotating asymptotically anti de Sitter black hole solution of new massive gravity in three dimensions can support a static stealth configuration given by a conformally coupled scalar field. By static stealth configuration, we mean a nontrivial time independent scalar field whose energy-momentum tensor vanishes identically on the rotating black hole metric solution of new massive gravity. The existence of this configuration is rendered possible because of the presence of a gravitational hair in the black hole metric that prevents the scalar field to be trivial. In the extremal case, the stealth scalar field diverges at the horizon as it occurs for the conformal scalar field of the Bocharova-Bronnikov-Melnikov-Bekenstein solution in four dimensions.