title: Calculation of the electron two-slit experiment using a quantum mechanical variational principle

abstract: A nonlocal relativistic variational principle (VP) has recently been proposed as an alternative to the Dirac wave equation of standard quantum mechanics. We apply that principle to the electron two-slit experiment. The detection system is modelled as a screen made of atoms, any one of which can be excited by the incident electron, but we avoid restricting the detection mechanism further. The VP is shown to predict that, at the time the electron reaches the screen, its wavefunction will be localized to the neighborhood of a single atom, resulting in a position-type measurement. In an ensemble of such experiments ("identically prepared" except that the initial phase of the wavefunction--the hidden variable in the VP formulation--is sampled over the expected uniform distribution), the distribution of measured positions will reproduce the interference pattern predicted by the Dirac equation. We also demonstrate that with a detection system designed fundamentally to detect the electron's transverse wavelength rather than its position, the VP predicts that one such mode will be detected, that is, a wavelength measurement will result. Finally, it is shown that these results are unchanged in the "delayed choice" variant of the experiment.


title: Special transformations for pentamode acoustic cloaking

abstract: The acoustic cloaking theory of Norris (2008) permits considerable freedom in choosing the transformation function f from physical to virtual space. The standard process for defining cloak materials is to first define f and then evaluate whether the materials are practically realizable. In this paper, this process is inverted by defining desirable material properties and then deriving the appropriate transformations which guarantee the cloaking effect. Transformations are derived which result in acoustic cloaks with special properties such as 1) constant density 2) constant radial stiffness 3) constant tangential stiffness 4) power-law density 5) power-law radial stiffness 6) power-law tangential stiffness 7) minimal elastic anisotropy.


title: Wide companions to Hipparcos stars within 67 pc of the Sun

abstract: A catalog of common-proper-motion (CPM) companions to stars within 67 pc of the Sun is constructed based on the SUPERBLINK proper-motion survey. It contains 1392 CPM pairs with angular separations 30" < \rho < 1800", relative proper motion between the two components less than 25 mas/yr, magnitudes and colors of the secondaries consistent with those of dwarfs in the (M_V,V-J) diagram. In addition, we list 21 candidate white-dwarf CPM companions with separations under 300", about half of which should be physical. We estimate a 0.31 fraction of pairs with red-dwarf companions to be physical systems (about 425 objects), while the rest (mostly wide pairs) are chance alignments. For each candidate companion, the probability of a physical association is evaluated. The distribution of projected separations s of the physical pairs between 2 kAU and 64 kAU follows f(s) ~ s^{-1.5}, which decreases faster than \"Opik's law. We find that Solar-mass dwarfs have no less than 4.4% +/- 0.3% companions with separations larger than 2 kAU, or 3.8% +/- 0.3% per decade of orbital separation in the 2 to 16 kAU range. The distribution of mass ratio of those wide companions is approximately uniform in the 0.1<q<1.0 range, although we observe a dip at q=0.5 which, if confirmed, could be evidence of bimodal distribution of companion masses. New physical CPM companions to two exoplanet host stars are discovered.


title: MLLS: Minimum Length Link Scheduling Under Physical Interference Model

abstract: We study a fundamental problem called Minimum Length Link Scheduling (MLLS) which is crucial to the efficient operations of wireless networks. Given a set of communication links of arbitrary length spread and assume each link has one unit of traffic demand in wireless networks, the problem MLLS seeks a schedule for all links (to satisfy all demands) of minimum number of time-slots such that the links assigned to the same time-slot do not conflict with each other under the physical interference model. In this paper, we will explore this problem under three important transmission power control settings: linear power control, uniform power control and arbitrary power control. We design a suite of new and novel scheduling algorithms and conduct explicit complexity analysis to demonstrate their efficiency. Our algorithms can account for the presence of background noises in wireless networks. We also investigate the fractional case of the problem MLLS where each link has a fractional demand. We propose an efficient greedy algorithm of the approximation ratio at most $(K+1)^{2}\omega$.


title: Ancestral Inference from Functional Data: Statistical Methods and Numerical Examples

abstract: Many biological characteristics of evolutionary interest are not scalar variables but continuous functions. Here we use phylogenetic Gaussian process regression to model the evolution of simulated function-valued traits. Given function-valued data only from the tips of an evolutionary tree and utilising independent principal component analysis (IPCA) as a method for dimension reduction, we construct distributional estimates of ancestral function-valued traits, and estimate parameters describing their evolutionary dynamics.


title: Harmonic measures in embedded foliated manifolds

abstract: We study harmonic and totally invariant measures in a foliated compact Riemannian manifold isometrically embedded in an Euclidean space. We introduce geometrical techniques for stochastic calculus in this space. In particular, using these techniques we can construct explicitely an Stratonovich equation for the foliated Brownian motion (cf. L. Garnett \cite{LG} and others). We present a characterization of totally invariant measures in terms of the flow of diffeomorphisms of associated to this equation. We prove an ergodic formula for the sum of the Lyapunov exponents in terms of the geometry of the leaves.


title: A geometrically motivated coordinate system for exploring spacetime dynamics in numerical-relativity simulations using a quasi-Kinnersley tetrad

abstract: We investigate the suitability and properties of a quasi-Kinnersley tetrad and a geometrically motivated coordinate system as tools for quantifying both strong-field and wave-zone effects in numerical relativity (NR) simulations. We fix the radial and latitudinal coordinate degrees of freedom of the metric, using the Coulomb potential associated with the quasi-Kinnersley transverse frame. These coordinates are invariants of the spacetime and can be used to unambiguously fix the outstanding spin-boost freedom associated with the quasi-Kinnersley frame (resulting in a preferred quasi-Kinnersley tetrad (QKT)). In the limit of small perturbations about a Kerr spacetime, these coordinates and QKT reduce to Boyer-Lindquist coordinates and the Kinnersley tetrad, irrespective of the simulation gauge choice. We explore the properties of this construction both analytically and numerically, and we gain insights regarding the propagation of radiation described by a super-Poynting vector. We also quantify in detail the peeling properties of the chosen tetrad and gauge. We argue that these choices are particularly well suited for a rapidly converging wave-extraction algorithm as the extraction location approaches infinity, and we explore numerically the extent to which this property remains applicable on the interior of a computational domain. Using a number of additional tests, we verify that the prescription behaves as required in the appropriate limits regardless of simulation gauge. We explore the behavior of the geometrically motivated coordinate system in dynamical binary-black-hole NR mergers, and find them useful for visualizing features in NR simulations such as the spurious "junk" radiation. Finally, we carefully scrutinize the head-on collision of two black holes and, for example, the way in which the extracted waveform changes as it moves through the computational domain.


title: Economics of Electric Vehicle Charging: A Game Theoretic Approach

abstract: In this paper, the problem of grid-to-vehicle energy exchange between a smart grid and plug-in electric vehicle groups (PEVGs) is studied using a noncooperative Stackelberg game. In this game, on the one hand, the smart grid that acts as a leader, needs to decide on its price so as to optimize its revenue while ensuring the PEVGs' participation. On the other hand, the PEVGs, which act as followers, need to decide on their charging strategies so as to optimize a tradeoff between the benefit from battery charging and the associated cost. Using variational inequalities, it is shown that the proposed game possesses a socially optimal Stackelberg equilibrium in which the grid optimizes its price while the PEVGs choose their equilibrium strategies. A distributed algorithm that enables the PEVGs and the smart grid to reach this equilibrium is proposed and assessed by extensive simulations. Further, the model is extended to a time-varying case that can incorporate and handle slowly varying environments.


title: Critical groups of graphs with reflective symmetry

abstract: The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. For a graph G with a certain reflective symmetry, we generalize a result of Ciucu-Yan-Zhang factorizing the spanning tree number of G by interpreting this as a result about the critical group of G. Our result takes the form of an exact sequence, and explicit connections to bicycle spaces are made.


title: Relaxor ferroelectricity induced by electron correlations in a molecular dimer Mott insulator

abstract: We have investigated the dielectric response in an antiferromagnetic dimer-Mott insulator beta'-(BEDT-TTF)2ICl2 with square lattice, compared to a spin liquid candidate kappa-(BEDT-TTF)2Cu2(CN)3. Temperature dependence of the dielectric constant shows a peak structure obeying Curie-Weiss law with strong frequency dependence. We found an anisotropic ferroelectricity by pyrocurrent measurements, which suggests the charge disproportionation in a dimer. The ferroelectric actual charge freezing temperature is related to the antiferromagnetic interaction, which is expected to the charge-spin coupled degrees of freedom in the system.


title: Complex patterns of local adaptation in teosinte

abstract: Populations of widely distributed species often encounter and adapt to specific environmental conditions. However, comprehensive characterization of the genetic basis of adaptation is demanding, requiring genome-wide genotype data, multiple sampled populations, and a good understanding of population structure. We have used environmental and high-density genotype data to describe the genetic basis of local adaptation in 21 populations of teosinte, the wild ancestor of maize. We found that altitude, dispersal events and admixture among subspecies formed a complex hierarchical genetic structure within teosinte. Patterns of linkage disequilibrium revealed four mega-base scale inversions that segregated among populations and had altitudinal clines. Based on patterns of differentiation and correlation with environmental variation, inversions and nongenic regions play an important role in local adaptation of teosinte. Further, we note that strongly differentiated individual populations can bias the identification of adaptive loci. The role of inversions in local adaptation has been predicted by theory and requires attention as genome-wide data become available for additional plant species. These results also suggest a potentially important role for noncoding variation, especially in large plant genomes in which the gene space represents a fraction of the entire genome.


title: Shadows of Multi-Black Holes: Analytic Exploration

abstract: Shadows of multi-black holes have structures distinct from the mere superposition of the shadow of a single black hole: the eyebrow-like structures outside the main shadows and the deformation of the shadows. We present analytic estimates of these structures using the static multi-black hole solution (Majumdar-Papapetrou solution). We show that the width of the eyebrow is related with the distance between the black holes and that the shadows are deformed into ellipses due to the presence of the second black holes. These results are helpful to understand qualitatively the features of the shadows of colliding black holes. We also present the shadows of colliding/coalescing black holes in the Kastor-Traschen solution.


title: Is the Random Tree Puzzle process the same as the Yule-Harding process?

abstract: It has been suggested that a Random Tree Puzzle (RTP) process leads to a Yule-Harding (YH) distribution, when the number of taxa becomes large. In this study, we formalize this conjecture, and we prove that the two tree distributions converge for two particular properties, which suggests that the conjecture may be true. However, we present evidence that, while the two distributions are close, the RTP appears to converge on a different distribution than does the YH.


title: Metal-insulator transition in Sr2-xLaxCoO4 driven by spin-state transition

abstract: We sought the origin of the metal-insulator transition in Sr2-xLaxCoO4, using electron-correlation corrected density functional calculations. Our results show that Sr2CoO4 is in an intermediate-spin (IS) state and a strong Co4+ 3d-O 2p hybridization is responsible for its ferromagnetic metallicity. Upon La doping, however, a spin-state transition occurs in Sr1.5La0.5CoO4: IS-Co4+ x 2 + 1e --> LS-Co4+ + HS-Co3+ (LS: low spin; HS: high spin). Then the spin-state transition suppresses an electron hopping via a spin-blockade and gives rise to the insulating behavior of Sr1.5La0.5CoO4. A corresponding superexchange accounts for its ferromagnetism. Thus, spin state could provide a way to tune materials properties.


title: BICEP2 and Keck Array operational overview and status of observations

abstract: The BICEP2 and Keck Array experiments are designed to measure the polarization of the cosmic microwave background (CMB) on angular scales of 2-4 degrees (l=50-100). This is the region in which the B-mode signal, a signature prediction of cosmic inflation, is expected to peak. BICEP2 was deployed to the South Pole at the end of 2009 and is in the middle of its third year of observing with 500 polarization-sensitive detectors at 150 GHz. The Keck Array was deployed to the South Pole at the end of 2010, initially with three receivers--each similar to BICEP2. An additional two receivers have been added during the 2011-12 summer. We give an overview of the two experiments, report on substantial gains in the sensitivity of the two experiments after post-deployment optimization, and show preliminary maps of CMB polarization from BICEP2.


title: Quotients of exact categories by cluster tilting subcategories as module categories

abstract: We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and injectives has a cluster tilting subcategory M, then B/M is abelian. More precisely, it is equivalent to the category of finitely presented modules over the stable category of M.


title: Contracting and Erupting Components of Sigmoidal Active Regions

abstract: It is recently noted that solar eruptions can be associated with the contraction of coronal loops that are not involved in magnetic reconnection processes. In this paper, we investigate five coronal eruptions originating from four sigmoidal active regions, using high-cadence, high-resolution narrowband EUV images obtained by the Solar Dynamic Observatory (SDO}). The magnitudes of the flares associated with the eruptions range from the GOES-class B to X. Owing to the high-sensitivity and broad temperature coverage of the Atmospheric Imaging Assembly (AIA) onboard SDO, we are able to identify both the contracting and erupting components of the eruptions: the former is observed in cold AIA channels as the contracting coronal loops overlying the elbows of the sigmoid, and the latter is preferentially observed in warm/hot AIA channels as an expanding bubble originating from the center of the sigmoid. The initiation of eruption always precedes the contraction, and in the energetically mild events (B and C flares), it also precedes the increase in GOES soft X-ray fluxes. In the more energetic events, the eruption is simultaneous with the impulsive phase of the nonthermal hard X-ray emission. These observations confirm the loop contraction as an integrated process in eruptions with partially opened arcades. The consequence of contraction is a new equilibrium with reduced magnetic energy, as the contracting loops never regain their original positions. The contracting process is a direct consequence of flare energy release, as evidenced by the strong correlation of the maximal contracting speed, and strong anti-correlation of the time delay of contraction relative to expansion, with the peak soft X-ray flux. This is also implied by the relationship between contraction and expansion, i.e., their timing and speed.


title: Structure analysis of single- and multi-frequency subspace migrations in inverse scattering problems

abstract: In this literature, we carefully investigate the structure of single- and multi-frequency imaging functions, that are usually employed in inverse scattering problems. Based on patterns of the singular vectors of the Multi-Static Response (MSR) matrix, we establish a relationship between imaging functions and the Bessel function. This relationship indicates certain properties of imaging functions and the reason behind enhancement in the imaging performance by multiple frequencies. Several numerical simulations with a large amount of noisy data are performed in order to support our investigation.


title: Does GDP measure growth in the economy or simply growth in the money supply?

abstract: Gross Domestic Product(GDP) is a widely used measurement of economic growth representing the market value of all final goods and services produced by a country within a given time. In this paper we question the assumption that GDP measures production, and suggest that in reality it merely captures changes in the rate of expansion of the money supply used to measure the price data it is derived from. We first review the Quantity Theory of Money $MV=PT$, and show that the Velocity of Circulation of Money(V) does not affect the price level as claimed, as it is also a factor of the quantity of transactions(T). It then follows directly that attempts to measure total production from any form of price data as the GDP measurement does, will necessarily be confounded by the inverse relationship between prices and the quantity of production, which requires that as the total quantity of production increases, prices will drop. Finally, in support of this claim we present an empirical analysis of the GDP of nine countries and one currency union, showing that when normalized for money supply growth GDP measures have been uniformly shrinking over the last 20 years, and discuss the possible reasons for this behaviour.


title: A QM/MM approach for the study of monolayer-protected gold clusters

abstract: We report the development and implementation of hybrid methods that combine quantum mechanics (QM) with molecular mechanics (MM) to theoretically characterize thiolated gold clusters. We use, as training systems, structures such as Au25(SCH2-R)18 and Au38(SCH2-R)24, which can be readily compared with recent crystallographic data. We envision that such an approach will lead to an accurate description of key structural and electronic signatures at a fraction of the cost of a full quantum chemical treatment. As an example, we demonstrate that calculations of the 1H and 13C NMR shielding constants with our proposed QM/MM model maintain the qualitative features of a full DFT calculation, with an order-of-magnitude increase in computational efficiency.


title: Superradiance Problem of Bosons and Fermions for Rotating Black Holes in Bargmann-Wigner Formulation

abstract: Bargmann-Wigner equations are formulated to represent bosonic fields in terms of fermionic fields in curved spacetime. The superradiance phenomena of bosons and fermions in rotating black hole spacetime are studied in the Bargmann-Wigner formulation. As a result of the consistent description between scalar bosons and spinor fermions, superradiance phenomena of the type of positive frequency $(0<\omega)$ and negative momentum near horizon $(p_{H}<0)$ are shown not to occur.


title: On the Consistency of AUC Pairwise Optimization

abstract: AUC (area under ROC curve) is an important evaluation criterion, which has been popularly used in many learning tasks such as class-imbalance learning, cost-sensitive learning, learning to rank, etc. Many learning approaches try to optimize AUC, while owing to the non-convexity and discontinuousness of AUC, almost all approaches work with surrogate loss functions. Thus, the consistency of AUC is crucial; however, it has been almost untouched before. In this paper, we provide a sufficient condition for the asymptotic consistency of learning approaches based on surrogate loss functions. Based on this result, we prove that exponential loss and logistic loss are consistent with AUC, but hinge loss is inconsistent. Then, we derive the $q$-norm hinge loss and general hinge loss that are consistent with AUC. We also derive the consistent bounds for exponential loss and logistic loss, and obtain the consistent bounds for many surrogate loss functions under the non-noise setting. Further, we disclose an equivalence between the exponential surrogate loss of AUC and exponential surrogate loss of accuracy, and one straightforward consequence of such finding is that AdaBoost and RankBoost are equivalent.


title: The impact of point source subtraction residuals on 21 cm Epoch of Reionization estimation

abstract: Precise subtraction of foreground sources is crucial for detecting and estimating 21cm HI signals from the Epoch of Reionization (EoR). We quantify how imperfect point source subtraction due to limitations of the measurement dataset yields structured residual signal in the dataset. We use the Cramer-Rao lower bound, as a metric for quantifying the precision with which a parameter may be measured, to estimate the residual signal in a visibility dataset due to imperfect point source subtraction. We then propagate these residuals into two metrics of interest for 21cm EoR experiments - the angular and two-dimensional power spectrum - using a combination of full analytic covariant derivation, analytic variant derivation, and covariant Monte Carlo simulations. This methodology differs from previous work in two ways: (1) it uses information theory to set the point source position error, rather than assuming a global root-mean-square error, and (2) it describes a method for propagating the errors analytically, thereby obtaining the full correlation structure of the power spectra. The methods are applied to two upcoming low-frequency instruments: the Murchison Widefield Array and the Precision Array for Probing the Epoch of Reionization. In addition to the actual antenna configurations, we apply the methods to minimally-redundant and maximally-redundant configurations. We find that for peeling sources above 1 Jy, the amplitude of the residual signal, and its variance, will be smaller than the contribution from thermal noise for the observing parameters proposed for upcoming EoR experiments, and that optimal subtraction of bright point sources will not be a limiting factor for EoR parameter estimation. We then use the formalism to provide an ab initio analytic derivation motivating the 'wedge' feature in the two-dimensional power spectrum, complementing previous discussion in the literature.


title: Identifying Lagrangian fronts with favourable fishery conditions

abstract: Lagrangian fronts (LF) in the ocean delineate boundaries between surface waters with different Lagrangian properties. They can be accurately detected in a given velocity field by computing synoptic maps of the drift of synthetic tracers and other Lagrangian indicators. Using Russian ship's catch and location data for a number of commercial fishery seasons in the region of the northwest Pacific with one of the richest fishery in the world, it is shown statistically that the saury fishing grounds with maximal catches are not randomly distributed over the region but located mainly along those LFs where productive cold waters of the Oyashio Current, warmer waters of the southern branch of the Soya Current, and waters of warm-core Kuroshio rings converge. Computation of those fronts with the altimetric geostrophic velocity fields both in the years with the First and Second Oyashio Intrusions shows that in spite of different oceanographic conditions the LF locations may serve good indicators of potential fishing grounds. Possible reasons for saury aggregation near LFs are discussed. We propose a mechanism of effective export of nutrient rich waters based on stretching of material lines in the vicinity of hyperbolic objects in the ocean. The developed method, based on identifying LFs in any velocity fields, is quite general and may be applied to forecast potential fishing grounds for the other pelagic fishes in different seas and the oceans.


title: Calculus and invariants on almost complex manifolds, including projective and conformal geometry

abstract: We construct a family of canonical connections and surrounding basic theory for almost complex manifolds that are equipped with an affine connection. This framework provides a uniform approach to treating a range of geometries. In particular we are able to construct an invariant and efficient calculus for conformal almost Hermitian geometries, and also for almost complex structures that are equipped with a projective structure. In the latter case we find a projectively invariant tensor the vanishing of which is necessary and sufficient for the existence of an almost complex connection compatible with the path structure. In both the conformal and projective setting we give torsion characterisations of the canonical connections and introduce certain interesting higher order invariants.


title: Ballistic transport of (001) GaAs 2D holes through a strain-induced lateral superlattice

abstract: We report the observation of ballistic commensurability oscillations and positive magnetoresistance in a high-mobility, (001) GaAs two-dimensional hole system with a unidirectional, surface-strain-induced, periodic potential modulation. The positions of the resistivity minima agree well with the electrostatic commensurability condition. From an analysis of the amplitude of the oscillations we deduce a ballistic scattering time and an effective magnitude for the induced periodic potential seen by the two-dimensional holes.


title: Hole-flux Composite Fermion Commensurability Oscillations

abstract: We report the observation of commensurability oscillations of hole-flux composite fermions near filling factor $\nu=1/2$ in a high-mobility two-dimensional hole system confined to a GaAs quantum well, and subjected to a weak, strain-induced, unidirectional periodic potential modulation. The oscillations, which are consistent with ballistic transport of fully spin-polarized composite fermions in a weak periodic effective magnetic field, are surprisingly strong and exhibit up to third-order minima. We extract a ballistic mean-free-path of about 0.2 $\mu$m for the hole-flux composite fermions.


title: Fast and Accurate Algorithms for Re-Weighted L1-Norm Minimization

abstract: To recover a sparse signal from an underdetermined system, we often solve a constrained L1-norm minimization problem. In many cases, the signal sparsity and the recovery performance can be further improved by replacing the L1 norm with a "weighted" L1 norm. Without any prior information about nonzero elements of the signal, the procedure for selecting weights is iterative in nature. Common approaches update the weights at every iteration using the solution of a weighted L1 problem from the previous iteration. In this paper, we present two homotopy-based algorithms that efficiently solve reweighted L1 problems. First, we present an algorithm that quickly updates the solution of a weighted L1 problem as the weights change. Since the solution changes only slightly with small changes in the weights, we develop a homotopy algorithm that replaces the old weights with the new ones in a small number of computationally inexpensive steps. Second, we propose an algorithm that solves a weighted L1 problem by adaptively selecting the weights while estimating the signal. This algorithm integrates the reweighting into every step along the homotopy path by changing the weights according to the changes in the solution and its support, allowing us to achieve a high quality signal reconstruction by solving a single homotopy problem. We compare the performance of both algorithms, in terms of reconstruction accuracy and computational complexity, against state-of-the-art solvers and show that our methods have smaller computational cost. In addition, we will show that the adaptive selection of the weights inside the homotopy often yields reconstructions of higher quality.


title: Orthogonal polynomials on the unity circle with Fibonacci Verblunsky coefficients, I. The essential support of the measure

abstract: We study probability measures on the unit circle corresponding to orthogonal polynomials whose sequence of Verblunsky coefficients is invariant under the Fibonacci substitution. We focus in particular on the fractal properties of the essential support of these measures.


title: Search for the standard model Higgs boson in associated $WH$ production in 9.7 fb$^{-1}$ of $p\bar{p}$ collisions with the D0 detector

abstract: We present a search for the standard model Higgs boson in final states with a charged lepton (electron or muon), missing transverse energy, and two or three jets, at least one of which is identified as a $b$-quark jet. The search is primarily sensitive to $WH\to\ell\nu b\bar{b}$ production and uses data corresponding to 9.7 fb$^{-1}$ of integrated luminosity collected with the D0 detector at the Fermilab Tevatron $p\bar{p}$ Collider at $\sqrt{s}=1.96$ TeV. We observe agreement between data and the expected background. For a Higgs boson mass of 125 GeV, we set a 95% C.L. upper limit on the production of a standard model Higgs boson of 5.2$\times\sigma_{\rm SM}$, where $\sigma_{\rm SM}$ is the standard model Higgs boson production cross section, while the expected limit is 4.7$\times\sigma_{\rm SM}$.


title: Finite-size energy gap in weak and strong topological insulators

abstract: The non-trivialness of a topological insulator (TI) is characterized either by a bulk topological invariant or by the existence of a protected metallic surface state. Yet, in realistic samples of finite size this non-trivialness does not necessarily guarantee the gaplessness of the surface state. Depending on the geometry and on the topological indices, a finite-size energy gap of different nature can appear, and correspondingly, exhibits various scaling behaviors of the gap. The spin-to-surface locking provides one of such gap-opening mechanisms, resulting in a power-law scaling of the energy gap. Weak and strong TI's show different degrees of sensitivity to the geometry of the sample. As a noteworthy example, a strong TI nanowire of a rectangular prism shape is shown to be more gapped than that of a weak TI of precisely the same geometry.


title: Mixing actions of countable groups are almost free

abstract: A measure preserving action of a countably infinite group \Gamma is called totally ergodic if every infinite subgroup of \Gamma acts ergodically. For example, all mixing and mildly mixing actions are totally ergodic. This note shows that if an action of \Gamma is totally ergodic then there exists a finite normal subgroup N of \Gamma such that the stabilizer of almost every point is equal to N. Surprisingly the proof relies on the group theoretic fact (proved by Hall and Kulatilaka as well as by Kargapolov) that every infinite locally finite group contains an infinite abelian subgroup, of which all known proofs rely on the Feit-Thompson theorem. As a consequence we deduce a group theoretic characterization of countable groups whose non-trivial Bernoulli factors are all free: these are precisely the groups that posses no finite normal subgroup other than the trivial subgroup.


title: Measurement by FIB on the ISS: Two Emissions of Solar Neutrons Detected?

abstract: A new type of solar neutron detector (FIB) was launched onboard the Space Shuttle Endeavour on July 16, 2009, and it began collecting data at the International Space Station (ISS) on August 25, 2009. This paper summarizes the three years of observations obtained by the solar neutron detector FIB until the end of July 2012. The solar neutron detector FIB can determine both the energy and arrival direction of neutrons. We measured the energy spectra of background neutrons over the SAA region and elsewhere, and found the typical trigger rates to be 20 counts/sec and 0.22 counts/sec, respectively. It is possible to identify solar neutrons to within a level of 0.028 counts/sec, provided that directional information is applied. Solar neutrons were observed in association with the M-class solar flares that occurred on March 7 (M3.7) and June 7 (M2.5) of 2011. This marked the first time that neutrons were observed in M-class solar flares. A possible interpretaion of the prodcution process is provided.


title: Fundamental constraints on particle tracking with optical tweezers

abstract: A general quantum limit to the sensitivity of particle position measurements is derived following the simple principle of the Heisenberg microscope. The value of this limit is calculated for particles in the Rayleigh and Mie scattering regimes, and with parameters which are relevant to optical tweezers experiments. The minimum power required to observe the zero-point motion of a levitating bead is also calculated, with the optimal particle diameter always smaller than the wavelength. We show that recent optical tweezers experiments are within two orders of magnitude of quantum limited sensitivity, suggesting that quantum optical resources may soon play an important role in high sensitivity tracking applications.


title: Incompressible Navier-Stokes Equations from Einstein Gravity with Chern-Simons Term

abstract: In (2+1)-dimensional hydrodynamic systems with broken parity, the shear and bulk viscosity is joined by the Hall viscosity and curl viscosity. The dual holographic model has been constructed by coupling a pseudo scalar to the gravitational Chern-Simons term in (3+1)-dimensional bulk gravity. In this paper, we investigate the non-relativistic fluid with Hall viscosity and curl viscosity living on a finite radial cutoff surface in the bulk. Employing the non-relativistic hydrodynamic expansion method, we obtain the incompressible Navier-Stokes equations with Hall viscosity and curl viscosity. Unlike the shear viscosity, the ratio of the Hall viscosity over entropy density is found to be cutoff scale dependent, and it tends to zero when the cutoff surface approaches to the horizon of the background spacetime.


title: Embracing divergence: a formalism for when your semiring is simply not complete, with applications in quantum simulation

abstract: There is a fundamental difficulty in generalizing weighted automata to the case of infinite words: in general the infinite sum-of-products from which the weight of a given word is derived will diverge. Many solutions to this problem have been proposed, including restricting the type of weights used and employing a different valuation function that forces convergence. In this paper we describe an alternative approach that, rather than seeking to avoid the inevitable divergences, instead embraces them as a source of useful information. Specifically, rather than taking coefficients from an arbitrary semiring S we instead take them from S^N. Doing this is useful because it gives us information about how the weight of an infinite word does or does not diverge, and if it does diverge what form the divergence takes --- e.g., polynomial, exponential, etc. This approach has proved to be incredibly useful in the field of quantum simulation because when studying infinite systems, information about how quantities of interest, such as energy or magnetization, diverge is exactly what we want. In this paper we introduce a new kind of automaton which we call a diverging automaton that maps infinite words to sequences of weights from a semiring and which employs a Buchi-like boundary condition. We then develop a theory for diverging power series and prove a Kleene Theorem connecting rational diverging power series to diverging automata. Afterward we repeat this process by introducing bidiverging automata which map biinfinite words to elements in S^(Z x N), developing a theory for bidiverging power series, and proving another Kleene Theorem. We conclude by describing how bidiverging automata are applied to simulate biinfinite quantum systems.


title: Algebraic Definition of weak ($\infty$; n)-Categories

abstract: In this paper we define a sequence of monads $\mathbb{T}^(\infty;n)$ $(n\in\mathbb{N})$ on $\infty$-$\mathbb{G}\text{r}$, the category of the $\infty$-graphs. We conjecture that algebras for $\mathbb{T}^(0;n)$ which are defined in a purely algebraic setting, are models of weak $\infty$-groupoids. And for all $n>1$ we conjecture that algebras for $\mathbb{T}^(\infty;n)$ which are defined in a purely algebraic setting, are models of weak $(\infty; n)$-categories.


title: Private Quantum Coding for Quantum Relay Networks

abstract: The relay encoder is an unreliable probabilistic device which is aimed at helping the communication between the sender and the receiver. In this work we show that in the quantum setting the probabilistic behavior can be completely eliminated. We also show how to combine quantum polar encoding with superactivation-assistance in order to achieve reliable and capacity-achieving private communication over noisy quantum relay channels.


title: Structure of divergences in Drell-Yan process with small transverse momentum

abstract: We consider the structure of divergences in Drell-Yan process with small transverse momentum. The factorization proof is not trivial because various kinds of divergences are intertwined in the collinear and soft parts at high orders. We prescribe a method to disentangle the divergences in the framework of the soft-collinear effective theory. The rapidity divergence is handled by introducing the $\delta$ regulator in the collinear Wilson lines. The collinear part, which consists of the transverse-momentum-dependent parton distribution function (TMDPDF), is free of the rapidity divergence after the soft zero-bin subtraction. There still remains the problem of mixing between the ultraviolet and infrared divergences, which forbids the renormalization group description. We show that the mixing is cancelled by the soft function. This suggests that the collinear and soft parts should be treated as a whole in constructing a consistent factorization theorem. The renormalization group behavior of the combined collinear and soft parts is presented explicitly at one loop. We also show that the integrated PDF can be obtained by integrating the TMDPDF over the transverse momentum.


title: Robust optimal quantum learning without quantum memory

abstract: A quantum learning machine for binary classification of qubit states that does not require quantum memory is introduced and shown to perform with the minimum error rate allowed by quantum mechanics for any size of the training set. This result is shown to be robust under (an arbitrary amount of) noise and under (statistical) variations in the composition of the training set, provided it is large enough. This machine can be used an arbitrary number of times without retraining. Its required classical memory grows only logarithmically with the number of training qubits, while its excess risk decreases as the inverse of this number, and twice as fast as the excess risk of an estimate-and-discriminate machine, which estimates the states of the training qubits and classifies the data qubit with a discrimination protocol tailored to the obtained estimates.


title: Triggercast: Enabling Wireless Collisions Constructive

abstract: It is generally considered that concurrent transmissions should be avoided in order to reduce collisions in wireless sensor networks. Constructive interference (CI) envisions concurrent transmissions to positively interfere at the receiver. CI potentially allows orders of magnitude reductions in energy consumptions and improvements on link quality. In this paper, we theoretically introduce a sufficient condition to construct CI with IEEE 802.15.4 radio for the first time. Moreover, we propose Triggercast, a distributed middleware, and show it is feasible to generate CI in TMote Sky sensor nodes. To synchronize transmissions of multiple senders at the chip level, Triggercast effectively compensates propagation and radio processing delays, and has $95^{th}$ percentile synchronization errors of at most 250ns. Triggercast also intelligently decides which co-senders to participate in simultaneous transmissions, and aligns their transmission time to maximize the overall link PRR, under the condition of maximal system robustness. Extensive experiments in real testbeds reveal that Triggercast significantly improves PRR from 5% to 70% with 7 concurrent senders. We also demonstrate that Triggercast provides on average $1.3\times$ PRR performance gains, when integrated with existing data forwarding protocols.


title: Generation of large-scale magnetic fields from inflation in teleparallelism

abstract: We explore the generation of large-scale magnetic fields from inflation in teleparallelism, in which the gravitational theory is described by the torsion scalar instead of the scalar curvature in general relativity. In particular, we examine the case that the conformal invariance of the electromagnetic field during inflation is broken by a non-minimal gravitational coupling between the torsion scalar and the electromagnetic field. It is shown that for a power-law type coupling, the magnetic field on 1 Mpc scale with its strength of $\sim 10^{-9}$ G at the present time can be generated.


title: Monolithic growth of ultra-thin Ge nanowires on Si(001)

abstract: Self-assembled Ge wires with a height of only 3 unit cells and a length of up to 2 micrometers were grown on Si(001) by means of a catalyst-free method based on molecular beam epitaxy. The wires grow horizontally along either the [100] or the [010] direction. On atomically flat surfaces, they exhibit a highly uniform, triangular cross section. A simple thermodynamic model accounts for the existence of a preferential base width for longitudinal expansion, in quantitative agreement with the experimental findings. Despite the absence of intentional doping, first transistor-type devices made from single wires show low-resistive electrical contacts and single hole transport at sub-Kelvin temperatures. In view of their exceptionally small and self-defined cross section, these Ge wires hold promise for the realization of hole systems with exotic properties and provide a new development route for silicon-based nanoelectronics.


title: The role of stellar mass and environment for cluster blue fraction, AGN fraction and star-formation indicators from a targeted analysis of Abell 1691

abstract: We present an analysis of the galaxy population of the intermediate X-ray luminosity galaxy cluster, Abell 1691, from SDSS and Galaxy Zoo data to elucidate the relationships between environment and galaxy stellar mass for a variety of observationally important cluster populations that include the Butcher-Oemler blue fraction, the active galactic nucleus (AGN) fraction and other spectroscopic classifications of galaxies. From 342 cluster members, we determine a cluster recession velocity of 21257+/-54 km/s and velocity dispersion of 1009^+40_-36 km/s and show that although the cluster is fed by multiple filaments of galaxies it does not possess significant sub-structure in its core. We identify the AGN population of the cluster from a BPT diagram and show that there is a mild increase in the AGN fraction with radius from the cluster centre that appears mainly driven by high mass galaxies (log(stellar mass)>10.8). Although the cluster blue fraction follows the same radial trend, it is caused primarily by lower mass galaxies (log(stellar mass)<10.8). Significantly, the galaxies that have undergone recent star-bursts or are presently star-bursting but dust-shrouded (spectroscopic e(a) class galaxies) are also nearly exclusively driven by low mass galaxies. We therefore suggest that the Butcher-Oemler effect may be a mass-dependant effect. We also examine red and passive spiral galaxies and show that the majority are massive galaxies, much like the rest of the red and spectroscopically passive cluster population. We further demonstrate that the velocity dispersion profiles of low and high mass cluster galaxies are different. Taken together, we infer that the duty cycle of high and low mass cluster galaxies are markedly different, with a significant departure in star formation and specific star formation rates observed beyond r_200 and we discuss these findings.


title: Quantum cube: A toy model of a qubit

abstract: Account of a system may depend on available methods of gaining information. We discuss a simple discrete system whose description is affected by a specific model of measurement and transformations. It is shown that the limited means of investigating the system make the epistemic account of the model indistinguishable from a constrained version of a qubit corresponding to the convex hull of eigenstates of Pauli operators, Clifford transformations and Pauli observables.


title: Sonoluminescence and sonochemiluminescence from a microreactor

abstract: Micromachined pits on a substrate can be used to nucleate and stabilize microbubbles in a liquid exposed to an ultrasonic field. Under suitable conditions, the collapse of these bubbles can result in light emission (sonoluminescence, SL). Hydroxyl radicals (OH*) generated during bubble collapse can react with luminol to produce light (sonochemiluminescence, SCL). SL and SCL intensities were recorded for several regimes related to the pressure amplitude (low and high acoustic power levels) at a given ultrasonic frequency (200 kHz) for pure water, and aqueous luminol and propanol solutions. Various arrangements of pits were studied, with the number of pits ranging from no pits (comparable to a classic ultrasound reactor), to three-pits. Where there was more than one pit present, in the high pressure regime the ejected microbubbles combined into linear (two-pits) or triangular (three-pits) bubble clouds (streamers). In all situations where a pit was present on the substrate, the SL was intensified and increased with the number of pits at both low and high power levels. For imaging SL emitting regions, Argon (Ar) saturated water was used under similar conditions. SL emission from aqueous propanol solution (50 mM) provided evidence of transient bubble cavitation. Solutions containing 0.1 mM luminol were also used to demonstrate the radical production by attaining the SCL emission regions.


title: Quaternions and Kudla's matching princple

abstract: In this paper, we prove some interesting identities, among average representation numbers (associated to definite quaternion algebras) and `degree' of Hecke correspondences on Shimura curves (associated to indefinite quaternion algebras).


title: Current Response in Extended Systems as a Geometric Phase: Application to Variational Wavefunctions

abstract: The linear response theory for current is investigated in a variational context. Expressions are derived for the Drude and superfluid weights for general variational wavefunctions. The expression for the Drude weight highlights the difficulty in its calculation since it depends on the exact energy eigenvalues which are usually not available in practice. While the Drude weight is not available in a simple form, the linear current response is shown to be expressible in terms of a geometric phase, or alternatively in terms of the expectation value of the total position shift operator. The contribution of the geometric phase to the current response is then analyzed for some commonly used projected variational wavefunctions (Baeriswyl, Gutzwiller, and combined). It is demonstrated that this contribution is independent of the projectors themselves and is determined by the wavefunctions onto which the projectors are applied.


title: Strong suppression of superconductivity by divalent Ytterbium Kondo-holes in CeCoIn_5

abstract: To study the nature of partially substituted Yb-ions in a Ce-based Kondo lattice, we fabricated high quality Ce_{1-x}Yb_xCoIn_5 epitaxial thin films using molecular beam epitaxy. We find that the Yb-substitution leads to a linear decrease of the unit cell volume, indicating that Yb-ions are divalent forming Kondo-holes in Ce_{1-x}Yb_xCoIn_5, and leads to a strong suppression of the superconductivity and Kondo coherence. These results, combined with the measurements of Hall effect, indicate that Yb-ions act as nonmagnetic impurity scatters in the coherent Kondo lattice without serious suppression of the antiferromagnetic fluctuations. These are in stark contrast to previous studies performed using bulk single crystals, which claim the importance of valence fluctuations of Yb-ions. The present work also highlights the suitability of epitaxial films in the study of the impurity effect on the Kondo lattice.


title: 13CO and C18O J=2-1 mapping of the environment of the Class 0 protostellar core SMM 3 in Orion B9

abstract: We attempt to achieve a better understanding of the gas distribution and velocity field around the deeply embedded Class 0 protostar SMM 3 in the Orion B9 star-forming region. Using the APEX 12-m telescope, we mapped the line emission from the J=2-1 rotational transition of two CO isotopologues, 13CO and C18O, over a 4' x 4' region around Orion B9/SMM 3. Both the 13CO and C18O lines exhibit two well separated velocity components at about 1.3 and 8.7 km/s. The emission of both CO isotopologues is more widely distributed than the submillimetre dust continuum emission as probed by LABOCA. The LABOCA 870-micron peak position of SMM 3 is devoid of strong CO isotopologue emission, which is consistent with our earlier detection of strong CO depletion in the source. No signatures of a large-scale outflow were found towards SMM 3. The 13CO and C18O emission seen at ~1.3 km/s is concentrated into a single clump-like feature at the eastern part of the map. The peak H2 column density towards a C18O maximum of the low-velocity component is estimated to be ~10^22 cm-2. A velocity gradient was found across both the 13CO and C18O maps. Interestingly, SMM 3 lies on the border of this velocity gradient. The 13CO and C18O emission at ~1.3 km/s is likely to originate from the "low-velocity part" of Orion B. Our analysis suggests that it contains high density gas, which conforms to our earlier detection of deuterated species at similarly low radial velocities. The sharp velocity gradient in the region might represent a shock front resulting from the feedback from the nearby expanding HII region NGC 2024. The formation of SMM 3, and possibly of the other members of Orion B9, might have been triggered by this feedback.


title: God may not play dice, but human observers surely do

abstract: We investigate indeterminism in physical observations. For this, we introduce a distinction between genuinely indeterministic (creation-1 and discovery-1) observational processes, and fully deterministic (creation-2 and discovery-2) observational processes, which we analyze by drawing a parallel between the localization properties of microscopic entities, like electrons, and the lateralization properties of macroscopic entities, like simple elastic bands. We show that by removing the randomness incorporated in certain of our observational processes, acquiring over them a better control, we also alter these processes in such a radical way that in the end they do not correspond anymore to the observation of the same property. We thus conclude that a certain amount of indeterminism must be accepted and welcomed in our physical observations, as we cannot get rid of it without also diminishing our discriminative power. We also provide in our analysis some elements of clarification regarding the non-spatial nature of microscopic entities, which we illustrate by using an analogy with the process of objectification of human concepts. Finally, the important notion of relational properties is properly defined, and the role played by indeterminism in their characterization clarified.


title: On Algebraic Semigroups and Monoids

abstract: We present some fundamental results on (possibly nonlinear) algebraic semigroups and monoids. These include a version of Chevalley's structure theorem for irreducible algebraic monoids, and the description of all algebraic semigroup structures on curves and complete varieties.


title: Constraints on Cosmic Rays, Magnetic Fields, and Dark Matter from Gamma-Ray Observations of the Coma Cluster of Galaxies with VERITAS and Fermi

abstract: Observations of radio halos and relics in galaxy clusters indicate efficient electron acceleration. Protons should likewise be accelerated, suggesting that clusters may also be sources of very high-energy (VHE; E>100 GeV) gamma-ray emission. We report here on VHE gamma-ray observations of the Coma galaxy cluster with the VERITAS array of imaging Cherenkov telescopes, with complementing Fermi-LAT observations at GeV energies. No significant gamma-ray emission from the Coma cluster was detected. Integral flux upper limits at the 99% confidence level were measured to be on the order of (2-5)*10^-8\ ph. m^-2 s^-1 (VERITAS, >220 GeV} and ~2*10^-6 ph. m^-2 s^-1 (Fermi, 1-3 GeV), respectively. We use the gamma-ray upper limits to constrain CRs and magnetic fields in Coma. Using an analytical approach, the CR-to-thermal pressure ratio is constrained to be < 16% from VERITAS data and < 1.7% from Fermi data (averaged within the virial radius). These upper limits are starting to constrain the CR physics in self-consistent cosmological cluster simulations and cap the maximum CR acceleration efficiency at structure formation shocks to be <50%. Assuming that the radio-emitting electrons of the Coma halo result from hadronic CR interactions, the observations imply a lower limit on the central magnetic field in Coma of (2 - 5.5) muG, depending on the radial magnetic-field profile and on the gamma-ray spectral index. Since these values are below those inferred by Faraday rotation measurements in Coma (for most of the parameter space), this {renders} the hadronic model a very plausible explanation of the Coma radio halo. Finally, since galaxy clusters are dark-matter (DM) dominated, the VERITAS upper limits have been used to place constraints on the thermally-averaged product of the total self-annihilation cross section and the relative velocity of the DM particles, <\sigma v>. (abr.)


title: Quantum Memory with a controlled homogeneous splitting

abstract: We propose a quantum memory protocol where a input light field can be stored onto and released from a single ground state atomic ensemble by controlling dynamically the strength of an external static and homogeneous field. The technique relies on the adiabatic following of a polaritonic excitation onto a state for which the forward collective radiative emission is forbidden. The resemblance with the archetypal Electromagnetically-Induced-Transparency (EIT) is only formal because no ground state coherence based slow-light propagation is considered here. As compared to the other grand category of protocols derived from the photon-echo technique, our approach only involves a homogeneous static field. We discuss two physical situations where the effect can be observed, and show that in the limit where the excited state lifetime is longer than the storage time, the protocols are perfectly efficient and noise-free. We compare the technique to other quantum memories, and propose atomic systems where the experiment can be realized.


title: SU(3) Anderson impurity model: A numerical renormalization group approach exploiting non-Abelian symmetries

abstract: We show how the density-matrix numerical renormalization group (DM-NRG) method can be used in combination with non-Abelian symmetries such as SU(N), where the decomposition of the direct product of two irreducible representations requires the use of a so-called outer multiplicity label. We apply this scheme to the SU(3) symmetrical Anderson model, for which we analyze the finite size spectrum, determine local fermionic, spin, superconducting, and trion spectral functions, and also compute the temperature dependence of the conductance. Our calculations reveal a rich Fermi liquid structure.


title: Likely Members of the Beta Pictoris and AB Doradus Moving Groups in the North

abstract: We present first results from follow-up of targets in the northern hemisphere Beta Pictoris and AB Doradus moving group candidate list of Schlieder, Lepine, and Simon (2012). We obtained high-resolution, near-infrared spectra of 27 candidate members to measure their radial velocities and confirm consistent group kinematics. We identify 15 candidates with consistent predicted and measured radial velocities, perform analyses of their 6-dimensional (U,V,W,X,Y,Z) Galactic kinematics, and compare to known group member distributions. Based on these analyses, we propose that 7 Beta Pic and 8 AB Dor candidates are likely new group members. Four of the likely new Beta Pic stars are binaries; one a double lined spectroscopic system. Three of the proposed AB Dor stars are binaries. Counting all binary components, we propose 22 likely members of these young, moving groups. The majority of the proposed members are M2 to M5 dwarfs, the earliest being of type K2. We also present preliminary parameters for the two new spectroscopic binaries identified in the data, the proposed Beta Pic member and a rejected Beta Pic candidate. Our candidate selection and follow-up has thus far identified more than 40 low-mass, likely members of these two moving groups. These stars provide a new sample of nearby, young targets for studies of local star formation, disks and exoplanets via direct imaging, and astrophysics in the low-mass regime.


title: Detrimental adsorbate fields in experiments with cold Rydberg gases near surfaces

abstract: We observe the shift of Rydberg levels of rubidium close to a copper surface when atomic clouds are repeatedly deposited on it. We measure transition frequencies of rubidium to S and D Rydberg states with principal quantum numbers n between 31 and 48 using the technique of electromagnetically induced transparency. The spectroscopic measurement shows a strong increase of electric fields towards the surface that evolves with the deposition of atoms. Starting with a clean surface, we measure the evolution of electrostatic fields in the range between 30 and 300 \mum from the surface. We find that after the deposition of a few hundred atomic clouds, each containing ~10^6 atoms, the field of adsorbates reaches 1 V/cm for a distance of 30 \mum from the surface. This evolution of the electrostatic field sets serious limitations on cavity QED experiments proposed for Rydberg atoms on atom chips.


title: Optomechanical coupling between a moving dielectric sphere and radiation fields: a Lagrangian-Hamiltonian formalism

abstract: We present a Lagrangian-Hamiltonian formalism of a moving dielectric sphere interacting with radiation fields. By including the interaction up to the first order in the speed of the sphere, we derive the Hamiltonian and perform quantization of both the field and the mechanical motion of the sphere. In particular, we show how independent degrees of freedom can be consistently identified under the generalized radiation gauge via instantaneous mode projection. Our Hamiltonian indicates the form of coupling due to velocity-dependent interactions beyond adiabatic approximation. In addition, the Hamiltonian predicts that a geometrical quantum phase can be gained by the sphere moving in a light field.


title: Things that can be made into themselves

abstract: One says that a property $P$ of sets of natural numbers can be made into itself iff there is a numbering $\alpha_0,\alpha_1,\ldots$ of all left-r.e. sets such that the index set $\{e: \alpha_e$ satisfies $P\}$ has the property $P$ as well. For example, the property of being Martin-L\"of random can be made into itself. Herein we characterize those singleton properties which can be made into themselves. A second direction of the present work is the investigation of the structure of left-r.e. sets under inclusion modulo a finite set. In contrast to the corresponding structure for r.e. sets, which has only maximal but no minimal members, both minimal and maximal left-r.e. sets exist. Moreover, our construction of minimal and maximal left-r.e. sets greatly differs from Friedberg's classical construction of maximal r.e. sets. Finally, we investigate whether the properties of minimal and maximal left-r.e. sets can be made into themselves.


title: The Source of Maser Emission W33C (G12.8-0.2)

abstract: Results of observations of the maser sources toward the W33C region (G12.8-0.2) carried out on the 22-m radio telescope of the Pushchino Radio Astronomy Observatory in the 1.35-cm H2O line and on the Large radio telescope in Nancay (France) in the main (1665 and 1667 MHz) and satellite (1612 and 1720 MHz) OH lines are reported. Multiple, strongly variable short-lived H2O emission features were detected in a broad interval of radial velocities, from -7 to 55 km/s. OH maser emission in the 1667-MHz line was discovered in a velocity range of 35-41 km/s. Stokes parameters of maser emission in the main OH lines 1665 and 1667 MHz were measured. Zeeman splitting was detected in the 1665-MHz line at 33.4 and 39.4 km/s and in the 1667 MHz line only at 39.4 km/s. The magnetic field intensity was estimated. A appreciable variability of Zeeman splitting components was observed at 39 and 39.8 km/s in both main lines. The extended spectrum and fast variability of the H2O maser emission together with the variability of the Zeeman splitting components in the main OH lines can be due to the composite clumpy structure of the molecular cloud and to the presence in it of large-scale rotation and bipolar outflow as well as of turbulent motions of material.


title: Comparative Evaluation of Data Stream Indexing Models

abstract: In recent years, the management and processing of data streams has become a topic of active research in several fields of computer science such as, distributed systems, database systems, and data mining. A data stream can be thought of as a transient, continuously increasing sequence of data. In data streams' applications, because of online monitoring, answering to the user's queries should be time and space efficient. In this paper, we consider the special requirements of indexing to determine the performance of different techniques in data stream processing environments. Stream indexing has main differences with approaches in traditional databases. Also, we compare data stream indexing models analytically that can provide a suitable method for stream indexing.


title: Non-equilibrium superconductivity in superconducting resonators

abstract: We have calculated the non-equilibrium quasiparticle and phonon distributions $f(E)$, $n(\Omega)$, where $E$ and $\Omega$ are the quasiparticle and phonon energies respectively, generated by the photons of the probe signal of a low temperature superconducting resonator SR operating well-below its transition temperature $T_c$ as the absorbed probe power per unit volume $P_{abs}$ was changed. The calculations give insight into a rate equation estimate which suggests that the quasiparticle distributions can be driven far from the thermal equilibrium value for typical readout powers. From $f(E)$ the driven quasiparticle number density $N_{qp}$ and lifetime $\tau_r$ were calculated. Using $N_{qp}$ we defined an effective temperature $T_N^*$ to describe the driven $f(E)$. The lifetime was compared to the distribution averaged thermal lifetime at $T_N^*$ and good agreement was found typically within a few percent. We used $f(E)$ to model a representative SR. The complex conductivity and hence the frequency dependence of the experimentally measured forward scattering parameter $S_{21}$ of the SR as a function of $P_{abs}$ were found. The non-equilibrium $S_{21}$ cannot be accurately modeled by a thermal distribution at an elevated temperature $T_{21}^*$ having a higher quality-factor in all cases studied and for low $P_{abs}$ $T_{21}^*\sim T_N^*$. Using $\tau_r$ and $N_{qp}$ we determined the achievable Noise Equivalent Power of the resonator used as a detector as a function of $P_{abs}$. Simpler expressions for $T_N^*$ as a function of $P_{abs}$ were derived which give a very good account of $T_N^*$ and also $N_{qp}$ and $\tau_r$. We conclude that multiple photon absorption from the probe increases the quasiparticle number above the thermal background and ultimately limits the achievable NEP of the resonator.


title: Three dimensional ring vortex solitons and their stability in Bose-Einstein condensates under magnetic confinement

abstract: The three-dimensional study of the ring vortex solitons is conducted for both attractive and repulsive BECs subject to harmonic potential confinement. A family of stationary ring vortex solitons, which is defined by the radial excitation number and the winding number of the intrinsic vorticity, are obtained numerically for a given atomic interaction strength. We find that stabilities of the ground and radially excited states of the ring vortex soliton are dependent on the winding number differently. The ground state of the ring vortex soliton with the large winding number is unstable dynamically against random perturbation. The radially excited state of the ring vortex soliton with large winding number corresponds to the increased collapse threshold, and therefore can be made stable for sufficiently small atomic interaction strengths. The ground and radially excited states also demonstrate different dynamical evolutions under large atomic interaction strengths. The former exhibits simultaneously symmetrical splitting in the transverse plane, while the latter displays periodically expand-merge cycles in the longitudinal direction.


title: A uniform central limit theorem and efficiency for deconvolution estimators

abstract: We estimate linear functionals in the classical deconvolution problem by kernel estimators. We obtain a uniform central limit theorem with $\sqrt{n}$-rate on the assumption that the smoothness of the functionals is larger than the ill-posedness of the problem, which is given by the polynomial decay rate of the characteristic function of the error. The limit distribution is a generalized Brownian bridge with a covariance structure that depends on the characteristic function of the error and on the functionals. The proposed estimators are optimal in the sense of semiparametric efficiency. The class of linear functionals is wide enough to incorporate the estimation of distribution functions. The proofs are based on smoothed empirical processes and mapping properties of the deconvolution operator.


title: Efficient and Secure Key Extraction using CSI without Chasing down Errors

abstract: Generating keys and keeping them secret is critical in secure communications. Due to the "open-air" nature, key distribution is more susceptible to attacks in wireless communications. An ingenious solution is to generate common secret keys by two communicating parties separately without the need of key exchange or distribution, and regenerate them on needs. Recently, it is promising to extract keys by measuring the random variation in wireless channels, e.g., RSS. In this paper, we propose an efficient Secret Key Extraction protocol without Chasing down Errors, SKECE. It establishes common cryptographic keys for two communicating parties in wireless networks via the realtime measurement of Channel State Information (CSI). It outperforms RSS-based approaches for key generation in terms of multiple subcarriers measurement, perfect symmetry in channel, rapid decorrelation with distance, and high sensitivity towards environments. In the SKECE design, we also propose effective mechanisms such as the adaptive key stream generation, leakage resilient consistence validation, and weighted key recombination, to fully exploit the excellent properties of CSI. We implement SKECE on off-the-shelf 802.11n devices and evaluate its performance via extensive experiments. The results demonstrate that SKECE achieves a more than 3x throughput gain in the key generation from one subcarrier in static scenarios, and due to its high efficiency, a 50% reduction on the communication overhead compared to the state-of-the-art RSS based approaches.


title: New families of symplectic splitting methods for numerical integration in dynamical astronomy

abstract: We present new splitting methods designed for the numerical integration of near-integrable Hamiltonian systems, and in particular for planetary N-body problems, when one is interested in very accurate results over a large time span. We derive in a systematic way an independent set of necessary and sufficient conditions to be satisfied by the coefficients of splitting methods to achieve a prescribed order of accuracy. Splitting methods satisfying such (generalized) order conditions are appropriate in particular for the numerical simulation of the Solar System described in Jacobi coordinates. We show that, when using Poincar\'e Heliocentric coordinates, the same order of accuracy may be obtained by imposing an additional polynomial equation on the coefficients of the splitting method. We construct several splitting methods appropriate for each of the two sets of coordinates by solving the corresponding systems of polynomial equations and finding the optimal solutions. The experiments reported here indicate that the efficiency of our new schemes is clearly superior to previous integrators when high accuracy is required.


title: Semantic Web Requirements through Web Mining Techniques

abstract: In recent years, Semantic web has become a topic of active research in several fields of computer science and has applied in a wide range of domains such as bioinformatics, life sciences, and knowledge management. The two fast-developing research areas semantic web and web mining can complement each other and their different techniques can be used jointly or separately to solve the issues in both areas. In addition, since shifting from current web to semantic web mainly depends on the enhancement of knowledge, web mining can play a key role in facing numerous challenges of this changing. In this paper, we analyze and classify the application of divers web mining techniques in different challenges of the semantic web in form of an analytical framework.


title: Efficient Sonochemistry through Microbubbles Generated with Micromachined Surfaces

abstract: Sonochemical reactors are used in water treatment, the synthesis of fine chemicals, pharmaceutics and others. The low efficiency of sonoreactors have prevented its massive usage at industrial scales. Controlling the appearance of bubbles in place and time is the most limiting factor. A novel type of sonochemical reactor was designed making use of micro-fabrication techniques to control the nucleation sites of micro-bubbles. The efficiency was increased first by locating the nucleation sites in the most active region of a micro-chamber; additionally the desired chemical effect was significantly higher at the same powers than when not controlled. Silicon substrates were micromachined with "artificial nucleation sites" or pits, and placed at the bottom of the micro-chamber. The pits entrap gas which, upon ultrasonic excitation, sheds off a stream of microbubbles. The gas content of the pits is not depleted but is replenished by diffusion and the emission of microbubbles can continue for hours.


title: Local random quantum circuits are approximate polynomial-designs

abstract: We prove that local random quantum circuits acting on n qubits composed of O(t^{10} n^2) many nearest neighbor two-qubit gates form an approximate unitary t-design. Previously it was unknown whether random quantum circuits were a t-design for any t > 3. The proof is based on an interplay of techniques from quantum many-body theory, representation theory, and the theory of Markov chains. In particular we employ a result of Nachtergaele for lower bounding the spectral gap of frustration-free quantum local Hamiltonians; a quasi-orthogonality property of permutation matrices; a result of Oliveira which extends to the unitary group the path-coupling method for bounding the mixing time of random walks; and a result of Bourgain and Gamburd showing that dense subgroups of the special unitary group, composed of elements with algebraic entries, are infty-copy tensor-product expanders. We also consider pseudo-randomness properties of local random quantum circuits of small depth and prove that circuits of depth O(t^{10}n) constitute a quantum t-copy tensor-product expander. The proof also rests on techniques from quantum many-body theory, in particular on the detectability lemma of Aharonov, Arad, Landau, and Vazirani. We give applications of the results to cryptography, equilibration of closed quantum dynamics, and the generation of topological order. In particular we show the following pseudo-randomness property of generic quantum circuits: Almost every circuit U of size O(n^k) on n qubits cannot be distinguished from a Haar uniform unitary by circuits of size O(n^{(k-9)/11}) that are given oracle access to U.


title: Closed-loop liquid-vapor equilibrium in a one-component system

abstract: We report Monte Carlo simulations that show closed-loop liquid-vapor equilibrium in a pure substance. As far as we know, this is the first time that such a topology of the phase diagram has been found for one-component systems. This finding has been achieved on a two-dimensional lattice model for patchy particles that can form network fluids. We have considered related models with a slightly different patch distribution in the order to understand the features of the distribution of patches on the surface of the particles that make possible the presence of the closed-loop liquid-vapor equilibrium, and its relation with the phase diagram containing the so-called empty liquids. Finally we discuss the likelihood of finding the closed-loop liquid-vapor equilibria on related models for three dimensional models of patchy particles in the continuum, and speculate on the possible relationship between the mechanism behind the closed-loop liquid vapor equilibrium of our simple lattice model and the salt-induced reentrant condensation found in complex systems.


title: Optimizing working parameters of the twin-range cutoff method in terms of accuracy and efficiency

abstract: We construct a priori error estimation for the force error of the twin-range cutoff method, which is widely used to treat the short-range non-bonded interactions in molecular simulations. Based on the error and cost estimation, we develop a work flow that can automatically determine the nearly most efficient twin-range cutoff parameters (i.e. the cutoff radii and the neighbor list updating frequency) prior to a simulation for a predetermined accuracy. Both the error estimate and the parameter tuning method are demonstrated to be effective by testing simulations of the standard Lennard-Jones 6-12 fluid in gas, liquid as well as supercritical state. We recommend the tuned twin-range cutoff method that can save precious user time and computational resources.


title: Comparing dealing methods with repeating cards

abstract: In a recent work Conger and Howald derived asymptotic formulas for the randomness, after shuffling, of decks with repeating cards or all-distinct decks dealt into hands. In the latter case the deck does not need to be fully randomized: the order of cards received by a player is indifferent. They called these cases the "fixed source" and the "fixed target" case, respectively, and treated them separately. We build on their results and mix these two cases: we obtain asymptotic formulas for the randomness of a deck of repeating cards which is shuffled and then dealt into hands of players. We confirm that switching from ordered to cyclic dealing, or from cyclic to back-and-forth dealing improves randomness in a similar fashion than in the non-repeating "fixed target" case. Our formulas allow to improve even the back-and-forth dealing when the deck only contains two types of cards.


title: Collective dynamics in sparse networks

abstract: The microscopic and macroscopic dynamics of random networks is investigated in the strong-dilution limit (i.e. for sparse networks). By simulating chaotic maps, Stuart-Landau oscillators, and leaky integrate-and-fire neurons, we show that a finite connectivity (of the order of a few tens) is able to sustain a nontrivial collective dynamics even in the thermodynamic limit. Although the network structure implies a non-additive dynamics, the microscopic evolution is extensive (i.e. the number of active degrees of freedom is proportional to the number of network elements).


title: A discriminating string order parameter for topological phases of gapped SU(N) spin chains

abstract: One-dimensional gapped spin chains with symmetry PSU(N) = SU(N)/Z_N are known to possess N different topological phases. In this paper, we introduce a non-local string order parameter which characterizes each of these N phases unambiguously. Numerics confirm that our order parameter allows to extract a quantized topological invariant from a given non-degenerate gapped ground state wave function. Discontinuous jumps in the discrete topological order that arise when varying physical couplings in the Hamiltonian may be used to detect quantum phase transitions between different topological phases.

categories: cond-mat.str-el cond-mat.stat-mech math-ph math.MP quant-ph


title: On finite size corrections to the dispersion relations of giant magnon and single spike on \gamma -deformed T^{1,1}

abstract: In this paper we consider the finite size effects for the strings in \beta -deformed AdS_{5}\times T^{1,1} background. We analyze the finite size corrections for the cases of giant magnon and single spike string solution. The finite size corrections for the undeformed case are straightforwardly obtained sending the deformation parameter to zero.


title: Imperfect best-response mechanisms

abstract: Best-response mechanisms (Nisan, Schapira, Valiant, Zohar, 2011) provide a unifying framework for studying various distributed protocols in which the participants are instructed to repeatedly best respond to each others' strategies. Two fundamental features of these mechanisms are convergence and incentive compatibility. This work investigates convergence and incentive compatibility conditions of such mechanisms when players are not guaranteed to always best respond but they rather play an imperfect best-response strategy. That is, at every time step every player deviates from the prescribed best-response strategy according to some probability parameter. The results explain to what extent convergence and incentive compatibility depend on the assumption that players never make mistakes, and how robust such protocols are to "noise" or "mistakes".


title: Self-Consistency Requirements of the Renormalization Group for Setting the Renormalization Scale

abstract: In conventional treatments, predictions from fixed-order perturbative QCD calculations cannot be fixed with certainty due to ambiguities in the choice of the renormalization scale as well as the renormalization scheme. In this paper we present a general discussion of the constraints of the renormalization group (RG) invariance on the choice of the renormalization scale. We adopt the RG based equations, which incorporate the scheme parameters, for a general exposition of RG invariance, since they simultaneously express the invariance of physical observables under both the variation of the renormalization scale and the renormalization scheme parameters. We then discuss the self-consistency requirements of the RG, such as reflexivity, symmetry, and transitivity, which must be satisfied by the scale-setting method. The Principle of Minimal Sensitivity (PMS) requires the slope of the approximant of an observable to vanish at the renormalization point. This criterion provides a scheme-independent estimation, but it violates the symmetry and transitivity properties of the RG and does not reproduce the Gell-Mann-Low scale for QED observables. The Principle of Maximum Conformality (PMC) satisfies all of the deductions of the RG invariance - reflectivity, symmetry, and transitivity. Using the PMC, all non-conformal $\{\beta^{\cal R}_i\}$-terms (${\cal R}$ stands for an arbitrary renormalization scheme) in the perturbative expansion series are summed into the running coupling, and one obtains a unique, scale-fixed, scheme-independent prediction at any finite order. The PMC scales and the resulting finite-order PMC predictions are both to high accuracy independent of the choice of initial renormalization scale, consistent with RG invariance. [...More in the text...]


title: Numerical Computations For Operator Axioms

abstract: The Operator axioms have produced new real numbers with new operators. New operators naturally produce new equations and thus extend the traditional mathematical models which are selected to describe various scientific rules. So new operators help to describe complex scientific rules which are difficult described by traditional equations and have an enormous application potential. As to the equations including new operators, engineering computation often need the approximate solutions reflecting an intuitive order relation and equivalence relation. However, the order relation and equivalence relation of real numbers are not as intuitive as those of base-b expansions. Thus, this paper introduces numerical computations to approximate all real numbers with base-b expansions.


title: Searching for planetary-mass T-dwarfs in the core of Serpens

abstract: We searched for isolated planetary-mass T-dwarfs in the 3Myr old Serpens Core cluster. We performed a deep imaging survey of the central part of this cluster using the WIRCam camera at the CFHT. Observations were performed through the narrow-band CH4_off and CH4_on filters, to identify young T-dwarfs from their 1.6micr methane absorption bands, and the broad-band JHK filters, to better characterize the selected candidates. We complemented our WIRCam photometry with optical imaging data from MegaCam at CFHT and Suprime-Cam at the Subaru telescope and mid-IR flux measurements from the Spitzer c2d Legacy Survey. We report four faint T-dwarf candidates in the direction of the Serpens Core with CH4_on-CH4_off above 0.2 mag, estimated visual extinction in the range 1-9 mag and spectral type in the range T1-T5 based on their dereddened CH4_on-CH4_off colors. Comparisons with T-dwarf spectral models and optical to mid-IR color-color and color-magnitude diagrams, indicate that two of our candidates (ID1 and 2) are background contaminants (most likely heavily reddened low-redshift quasars). The properties of the other two candidates (ID3 and 4) are consistent with them being young members of the Serpens Core cluster, although our analysis can not be considered conclusive. In particular, ID3 may also be a foreground T-dwarf. It is detected by the Spitzer c2d survey but only flux upper limits are available above 5.8 microns and, hence, we can not assess the presence of a possible disk around this object. However, it presents some similarities with other young T-dwarf candidates (SOri70 in the Sigma Ori cluster and CFHTJ0344+3206 in the direction of IC348). If ID3 and 4 belong to Serpens, they would have a mass of a few Jupiter masses and would be amongst the youngest, lowest mass objects detected in a star-forming region so far.


title: Eigenvarieties and invariant norms: Towards p-adic Langlands for U(n)

abstract: We give a proof of the Breuil-Schneider conjecture in a large number of cases, which complement the indecomposable case, which we dealt with earlier in [Sor]. In some sense, only the Steinberg representation lies at the intersection of the two approaches. In this paper, we view the conjecture from a broader global perspective. If $U_{/F}$ is any definite unitary group, which is an inner form of $\GL(n)$ over $\K$, we point out how the eigenvariety $\X(K^p)$ parametrizes a global $p$-adic Langlands correspondence between certain $n$-dimensional $p$-adic semisimple representations $\rho$ of $\Gal(\bar{\Q}|\K)$ (or what amounts to the same, pseudo-representations) and certain Banach-Hecke modules $\mathcal{B}$ with an admissible unitary action of $U(F\otimes \Q_p)$, when $p$ splits. We express the locally regular-algebraic vectors of $\mathcal{B}$ in terms of the Breuil-Schneider representation of $\rho$. Upon completion, this produces a candidate for the $p$-adic local Langlands correspondence in this context. As an application, we give a weak form of local-global compatibility in the crystalline case, showing that the Banach space representations $B_{\xi,\zeta}$ of Schneider-Teitelbaum [ScTe] fit the picture as predicted. There is a compatible global mod $p$ (semisimple) Langlands correspondence parametrized by $\X(K^p)$. We introduce a natural notion of refined Serre weights, and link them to the existence of crystalline lifts of prescribed Hodge type and Frobenius eigenvalues. At the end, we give a rough candidate for a local mod $p$ correspondence, formulate a local-global compatibility conjecture, and explain how it implies the conjectural Ihara lemma in [CHT].


title: Voisin-Borcea Manifolds and Heterotic Orbifold Models

abstract: We study the relation between a heterotic T^6/Z6 orbifold model and a compactification on a smooth Voisin-Borcea Calabi-Yau three-fold with non-trivial line bundles. This orbifold can be seen as a Z2 quotient of T^4/Z3 x T^2. We consider a two-step resolution, whose intermediate step is (K3 x T^2)/Z2. This allows us to identify the massless twisted states which correspond to the geometric Kaehler and complex structure moduli. We work out the match of the two models when non-zero expectation values are given to all twisted geometric moduli. We find that even though the orbifold gauge group contains an SO(10) factor, a possible GUT group, the subgroup after higgsing does not even include the standard model gauge group. Moreover, after higgsing, the massless spectrum is non-chiral under the surviving gauge group.


title: Heavy flavor production in pp and AA collisions at the LHC

abstract: A refined version of a multi-step calculation of heavy-flavor observables in pp and AA collisions has been developed, based on pQCD at NLO accuracy followed by parton shower evolution to describe heavy-quark production and on the relativistic Langevin equation to describe their stochastic evolution in the QCD plasma. Then, hadronization is modeled through an implementation of fragmentation functions based on pQCD and constrained by $e^{+}e^{-}$ collider data. Results of our calculations can be compared with recent measurements performed at the LHC in Pb--Pb collisions at $\sqrt{s_{NN}}$=2.76 TeV: nuclear modification factor $R_{AA}$ of the $p_{T}$ spectra at mid-rapidity of heavy-flavor decay electrons and of exclusively reconstructed open-charm mesons at different centralities, as well as their elliptic-flow $v_{2}$($p_{T}$) in semi-central collisions. To test the validity of our setup for such studies, its predictions are also checked against the $p_{T}$ spectra measured in pp collisions at $\sqrt{s}$=7 TeV and 2.76 TeV.


title: Quantum phases of dimerized and frustrated Heisenberg spin chains with s = 1/2, 1 and 3/2: an entanglement entropy and fidelity study

abstract: We study here different regions in phase diagrams of the spin-1/2, spin-1 and spin-3/2 one dimensional antiferromagnetic Heisenberg systems with frustration (next-nearest-neighbor interaction $J_2$) and dimerization ($\delta$). In particular, we analyze the behaviors of the bipartite entanglement entropy and fidelity at the gapless to gapped phase transitions and across the lines separating different phases in the $J_2-\delta$ plane. All the calculations in this work are based on numerical exact diagonalizations of finite systems.


title: High efficiency preparation of single trapped atoms using blue detuned light assisted collisions

abstract: We report on a procedure by which we obtain a 91% loading efficiency of single 85Rb atoms in an optical microtrap. This can be achieved within a total preparation time of 542 ms. We employ blue detuned light assisted collisions to realize a process in which only one of the collision partners is lost. We explain the mechanism for efficiently loading a single atom and discuss the factors that limit the final efficiency.


title: One-basedness and reductions of elliptic curves over real closed fields

abstract: Building on the positive solution of Pillay's conjecture we present a notion of "intrinsic" reduction for elliptic curves over a real closed field K. We compare such notion with the traditional algebro-geometric reduction and produce a classification of the group of K-points of an elliptic curve E with three "real" roots according to the way E reduces (algebro-geometrically) and the geometric complexity of the "intrinsically" reduced curve.


title: Absence of eigenvalue at the bottom of the continuous spectrum on asymptotically hyperbolic manifolds

abstract: For a class of asymptotically hyperbolic manifolds, we show that the bottom of the continuous spectrum of the Laplace-Beltrami operator is not an eigenvalue. Our approach only uses properties of the operator near infinity and, in particular, does not require any global assumptions on the topology or the curvature, unlike previous papers on the same topic.


title: Growth of graph states in quantum networks

abstract: We propose a scheme to distribute graph states over quantum networks in the presence of noise in the channels and in the operations. The protocol can be implemented efficiently for large graph sates of arbitrary (complex) topology. We benchmark our scheme with two protocols where each connected component is prepared in a node belonging to the component and subsequently distributed via quantum repeaters to the remaining connected nodes. We show that the fidelity of the generated graphs can be written as the partition function of a classical Ising-type Hamiltonian. We give exact expressions of the fidelity of the linear cluster and results for its decay rate in random graphs with arbitrary (uncorrelated) degree distributions.


title: Late time behaviors of the expanding universe in the IIB matrix model

abstract: Recently we have studied the Lorentzian version of the IIB matrix model as a nonperturbative formulation of superstring theory. By Monte Carlo simulation, we have shown that the notion of time ---as well as space---emerges dynamically from this model, and that we can uniquely extract the real-time dynamics, which turned out to be rather surprising: after some "critical time", the SO(9) rotational symmetry of the nine-dimensional space is spontaneously broken down to SO(3) and the three-dimensional space starts to expand rapidly. In this paper, we study the same model based on the classical equations of motion, which are expected to be valid at later times. After providing a general prescription to solve the equations, we examine a class of solutions, which correspond to manifestly commutative space. In particular, we find a solution with an expanding behavior that naturally solves the cosmological constant problem.


title: Description of the Chord Protocol using ASMs Formalism

abstract: This paper describes the overlay protocol Chord using the formalism of Abstract State Machines. The formalization concerns Chord actions that maintain ring topology and manipulate distributed keys. We define a class of runs and prove the correctness of our formalization with respect to it.


title: On logical hierarchies within FO^2-definable languages

abstract: We consider the class of languages defined in the 2-variable fragment of the first-order logic of the linear order. Many interesting characterizations of this class are known, as well as the fact that restricting the number of quantifier alternations yields an infinite hierarchy whose levels are varieties of languages (and hence admit an algebraic characterization). Using this algebraic approach, we show that the quantifier alternation hierarchy inside FO^{2}[<] is decidable within one unit. For this purpose, we relate each level of the hierarchy with decidable varieties of languages, which can be defined in terms of iterated deterministic and co-deterministic products. A crucial notion in this process is that of condensed rankers, a refinement of the rankers of Weis and Immerman and the turtle languages of Schwentick, Th\'erien and Vollmer.


title: New determination of the 13C(a, n)16O reaction rate and its influence on the s-process nucleosynthesis in AGB stars

abstract: We present a new measurement of the $\alpha$-spectroscopic factor ($S_\alpha$) and the asymptotic normalization coefficient (ANC) for the 6.356 MeV 1/2$^+$ subthreshold state of $^{17}$O through the $^{13}$C($^{11}$B, $^{7}$Li)$^{17}$O transfer reaction and we determine the $\alpha$-width of this state. This is believed to have a strong effect on the rate of the $^{13}$C($\alpha$, $n$)$^{16}$O reaction, the main neutron source for {\it slow} neutron captures (the $s$-process) in asymptotic giant branch (AGB) stars. Based on the new width we derive the astrophysical S-factor and the stellar rate of the $^{13}$C($\alpha$, $n$)$^{16}$O reaction. At a temperature of 100 MK our rate is roughly two times larger than that by \citet{cau88} and two times smaller than that recommended by the NACRE compilation. We use the new rate and different rates available in the literature as input in simulations of AGB stars to study their influence on the abundances of selected $s$-process elements and isotopic ratios. There are no changes in the final results using the different rates for the $^{13}$C($\alpha$, $n$)$^{16}$O reaction when the $^{13}$C burns completely in radiative conditions. When the $^{13}$C burns in convective conditions, as in stars of initial mass lower than $\sim$2 $M_\sun$ and in post-AGB stars, some changes are to be expected, e.g., of up to 25% for Pb in our models. These variations will have to be carefully analyzed when more accurate stellar mixing models and more precise observational constraints are available.


title: Regularity properties of infinite-dimensional Lie groups, and semiregularity

abstract: Let G be a Lie group modelled on a locally convex space, with Lie algebra g, and k be a non-negative integer or infinity. We say that G is C^k-semiregular if each C^k-curve c in g admits a left evolution Evol(c) in G. If, moreover, the map taking c to evol(c):=Evol(c)(1) is smooth, then G is called C^k-regular. For G a C^k-semiregular Lie group and m an order of differentiability, we show that evol is C^m if and only if Evol is C^m. If evol is continuous at 0, then evol is continuous. If G is a C^0-semiregular Lie group, then continuity of evol implies its smoothness (so that G will be C^0-regular), if smooth homomorphisms from G to C^0-regular Lie groups separate points on G and g is (e.g.) sequentially complete. Further criteria for regularity properties are provided, and used to prove regularity for several important classes of Lie groups. Notably, we find that the Lie group Diff(M) of smooth diffeomorphisms of a paracompact finite-dimensional smooth manifold M (which need not be sigma-compact) is C^1-regular. We also provide tools which enable to show that the Lie group of analytic diffeomorphisms of a compact real analytic manifold is C^1-regular.


title: High precision Symplectic Integrators for the Solar System

abstract: Using a Newtonian model of the Solar System with all 8 planets, we perform extensive tests on various symplectic integrators of high orders, searching for the best splitting scheme for long term studies in the Solar System. These comparisons are made in Jacobi and Heliocentric coordinates and the implementation of the algorithms is fully detailed for practical use. We conclude that high order integrators should be privileged, with a preference for the new $(10,6,4)$ method of (Blanes et al., 2012)


title: Long-range spin-polarized quasiparticle transport in mesoscopic Al superconductors with a Zeeman splitting

abstract: We report on nonlocal transport in multiterminal superconductor-ferromagnet structures, which were fabricated by means of e-beam lithography and shadow evaporation techniques. In the presence of a significant Zeeman splitting of the quasiparticle states, we find signatures of spin transport over distances of several {\mu}m, exceeding other length scales such as the coherence length, the normal-state spin-diffusion length, and the charge-imbalance length. The relaxation length of the spin signal shows a nearly linear increase with magnetic field, hinting at a freeze-out of relaxation by the Zeeman splitting. We propose that the relaxation length is given by the recombination length of the quasiparticles rather than a renormalized spin-diffusion length.


title: Generating of additional force terms in Newton equation by twist-deformed Hopf algebras and classical symmetries

abstract: We compare two ways of force terms generating in the model of nonrelativistic particle moving in the presence of constant field force $\vec{F}$. First of them uses the twist-deformed acceleration-enlarged Newton-Hooke quantum space-times while the second one incorporates the doubly enlarged Newton-Hooke transformations of classical space. Particulary, we find the conditions for which the both treatments provide the same force terms.