title: Weinberg's approach to nucleon-nucleon scattering revisited

abstract: We propose a new, renormalizable approach to nucleon-nucleon scattering in chiral effective field theory based on the manifestly Lorentz invariant form of the effective Lagrangian without employing the heavy-baryon expansion. For the pion-less case and for the formulation based on perturbative pions, the new approach reproduces the known results obtained by Kaplan, Savage and Wise. Contrary to the standard formulation utilizing the heavy-baryon expansion, the nonperturbatively resummed one-pion exchange potential can be renormalized by absorbing all ultraviolet divergences into the leading S-wave contact interactions. We explain in detail the differences to the heavy-baryon formulation and present numerical results for two-nucleon phase shifts at leading order in the low-momentum expansion.


title: Building the Stellar Halo Through Feedback in Dwarf Galaxies

abstract: We present a new model for the formation of stellar halos in dwarf galaxies. We demonstrate that the stars and star clusters that form naturally in the inner regions of dwarfs are expected to migrate from the gas rich, star forming centre to join the stellar spheroid. For dwarf galaxies, this process could be the dominant source of halo stars. The effect is caused by stellar feedback-driven bulk motions of dense gas which, by causing potential fluctuations in the inner regions of the halo, couple to all collisionless components. This effect has been demonstrated to generate cores in otherwise cuspy cold dark matter profiles and is particularly effective in dwarf galaxy haloes. It can build a stellar spheroid with larger ages and lower metallicities at greater radii without requiring an outside-in formation model. Globular cluster-type star clusters can be created in the galactic ISM and then migrate to the spheroid on 100\thinspace Myr timescales. Once outside the inner regions they are less susceptible to tidal disruption and are thus long lived; clusters on wider orbits may be easily unbound from the dwarf to join the halo of a larger galaxy during a merger. A simulated dwarf galaxy ($\text{M}_{vir}\simeq10^{9}\text{M}_{\odot}$ at $z=5$) is used to examine this gravitational coupling to dark matter and stars.


title: Dual-Space Analysis of the Sparse Linear Model

abstract: Sparse linear (or generalized linear) models combine a standard likelihood function with a sparse prior on the unknown coefficients. These priors can conveniently be expressed as a maximization over zero-mean Gaussians with different variance hyperparameters. Standard MAP estimation (Type I) involves maximizing over both the hyperparameters and coefficients, while an empirical Bayesian alternative (Type II) first marginalizes the coefficients and then maximizes over the hyperparameters, leading to a tractable posterior approximation. The underlying cost functions can be related via a dual-space framework from Wipf et al. (2011), which allows both the Type I or Type II objectives to be expressed in either coefficient or hyperparmeter space. This perspective is useful because some analyses or extensions are more conducive to development in one space or the other. Herein we consider the estimation of a trade-off parameter balancing sparsity and data fit. As this parameter is effectively a variance, natural estimators exist by assessing the problem in hyperparameter (variance) space, transitioning natural ideas from Type II to solve what is much less intuitive for Type I. In contrast, for analyses of update rules and sparsity properties of local and global solutions, as well as extensions to more general likelihood models, we can leverage coefficient-space techniques developed for Type I and apply them to Type II. For example, this allows us to prove that Type II-inspired techniques can be successful recovering sparse coefficients when unfavorable restricted isometry properties (RIP) lead to failure of popular L1 reconstructions. It also facilitates the analysis of Type II when non-Gaussian likelihood models lead to intractable integrations.


title: Homology of origamis with symmetries

abstract: Given an origami (square-tiled surface) M with automorphism group G, we compute the decomposition of the first homology group of M into isotypic G-submodules. Through the action of the affine group of M on the homology group, we deduce some consequences for the multiplicities of the Lyapunov exponents of the Kontsevich-Zorich cocycle. We also construct and study several families of interesting origamis illustrating our results.


title: Compression of next-generation sequencing reads aided by highly efficient de novo assembly

abstract: We present Quip, a lossless compression algorithm for next-generation sequencing data in the FASTQ and SAM/BAM formats. In addition to implementing reference-based compression, we have developed, to our knowledge, the first assembly-based compressor, using a novel de novo assembly algorithm. A probabilistic data structure is used to dramatically reduce the memory required by traditional de Bruijn graph assemblers, allowing millions of reads to be assembled very efficiently. Read sequences are then stored as positions within the assembled contigs. This is combined with statistical compression of read identifiers, quality scores, alignment information, and sequences, effectively collapsing very large datasets to less than 15% of their original size with no loss of information. Availability: Quip is freely available under the BSD license from http://cs.washington.edu/homes/dcjones/quip.


title: Z_b(10610) and Z_b(10650) decays to bottomonium plus pion

abstract: We consider the transitions from the $Z_b(10610)$ and $Z_b(10650)$ resonances to the states of bottomonium with emission of a pion. The $Z_b$ resonances are viewed as `molecular' objects of a large spatial size made of heavy $B^{(*)}$ mesons, while the states of bottomonium are considered to be compact, so that an application of the leading (dipole) term in the QCD multipole expansion is assumed to be justified. In this way we calculate the ratios of the decay rates to the final states $\Upsilon(nS)\, \pi$ with $n=1,2,3$, and the ratio of the decay rates to $h_b(kP)\, \pi$ with $k=1$ and 2. We find our estimates in a reasonable agreement with recent experimental data.


title: A Multi-Agents Architecture to Learn Vision Operators and their Parameters

abstract: In a vision system, every task needs that the operators to apply should be {\guillemotleft} well chosen {\guillemotright} and their parameters should be also {\guillemotleft} well adjusted {\guillemotright}. The diversity of operators and the multitude of their parameters constitute a big challenge for users. As it is very difficult to make the {\guillemotleft} right {\guillemotright} choice, lack of a specific rule, many disadvantages appear and affect the computation time and especially the quality of results. In this paper we present a multi-agent architecture to learn the best operators to apply and their best parameters for a class of images. Our architecture consists of three types of agents: User Agent, Operator Agent and Parameter Agent. The User Agent determines the phases of treatment, a library of operators and the possible values of their parameters. The Operator Agent constructs all possible combinations of operators and the Parameter Agent, the core of the architecture, adjusts the parameters of each combination by treating a large number of images. Through the reinforcement learning mechanism, our architecture does not consider only the system opportunities but also the user preferences.


title: Encounter times in overlapping domains: application to epidemic spread in a population of territorial animals

abstract: We develop an analytical method to calculate encounter times of two random walkers in one dimension when each individual is segregated in its own spatial domain and shares with its neighbor only a fraction of the available space, finding very good agreement with numerically-exact calculations. We model a population of susceptible and infected territorial individuals with this spatial arrangement, and which may transmit an epidemic when they meet. We apply the results on encounter times to determine analytically the macroscopic propagation speed of the epidemic as a function of the microscopic characteristics: the confining geometry, the animal diffusion constant, and the infection transmission probability.


title: Interacting electrons in a magnetic field: mapping quantum mechanics to a classical ersatz-system

abstract: Solving the quantum-mechanical many-body problem requires scalable computational approaches, which are rooted in a good understanding of the physics of correlated electronic systems. Interacting electrons in a magnetic field display a huge variety of eigenstates with different internal structures, which have been probed experimentally in the Hall effect. The advent of high-performing graphics processing units has lead to a boost in computational speed in particular for classical systems. In the absence of a quantum-computer, it is thus of importance to see how quantum-mechanical problems can be cast into a seemingly classical dynamics, which can be efficiently implemented. At the same time, such mappings provide insights into the quantum-to-classical transition of many-body systems.


title: Top jets as a probe of degenerate stop-NLSP LSP scenario in the framework of cMSSM

abstract: The degenerate stop NLSP and neutralino LSP scenario is well motivated but hard to detect at the collider experiments. We propose a novel signature for detection this scenario at the Large Hadron Collider (LHC) and demonstrate its feasibility.


title: Subset-Sum Representations of Domination Polynomials

abstract: The domination polynomial D(G,x) is the ordinary generating function for the dominating sets of an undirected graph G=(V,E) with respect to their cardinality. We consider in this paper representations of D(G,x) as a sum over subsets of the edge and vertex set of G. One of our main results is a representation of D(G,x) as a sum ranging over spanning bipartite subgraphs of G. We call a graph G conformal if all of its components are of even order. We show that the number of dominating sets of G equals a sum ranging over vertex-induced conformal subgraphs of G.


title: Analytical Tendex and Vortex Fields for Perturbative Black Hole Initial Data

abstract: Tendex and vortex fields, defined by the eigenvectors and eigenvalues of the electric and magnetic parts of the Weyl curvature tensor, form the basis of a recently developed approach to visualizing spacetime curvature. In particular, this method has been proposed as a tool for interpreting results from numerical binary black hole simulations, providing a deeper insight into the physical processes governing the merger of black holes and the emission of gravitational radiation. Here we apply this approach to approximate but analytical initial data for both single boosted and binary black holes. These perturbative data become exact in the limit of small boost or large binary separation. We hope that these calculations will provide additional insight into the properties of tendex and vortex fields, and will form a useful test for future numerical calculations.


title: A Study of the Orbital Periods of Deeply Eclipsing SW Sextantis Stars

abstract: Results are presented of a five-year project to study the orbital periods of eighteen deeply eclipsing novalike cataclysmic variables, collectively known as SW Sextantis stars, by combining new measurements of eclipse times with published measurements stretching back in some cases over fifty years. While the behaviour of many of these binary systems is consistent with a constant orbital period, it is evident that in several cases this is not true. Although the time span of these observations is relatively short, evidence is emerging that the orbital periods of some of these stars show cyclical variation with periods in the range 10-40 years. The two stars with the longest orbital periods, V363 Aur and BT Mon, also show secular period reduction with rates of -6.6 \times 10^{-8} days/year and -3.3 \times 10^{-8} days/year. New ephemerides are provided for all eighteen stars to facilitate observation of future eclipses.


title: Basal-Plane Nonlinear Susceptibility: A Direct Probe of the Single-Ion Physics in URu2Si2

abstract: The microscopic nature of the hidden order state in URu2Si2 is dependent on the low-energy configurations of the uranium ions, and there is currently no consensus on whether it is predominantly 5f^2 or 5f^3. Here we show that measurement of the basal-plane nonlinear susceptibility can resolve this issue; its sign at low-temperatures is a distinguishing factor. We calculate the linear and nonlinear susceptibilities for specific 5f^2 and 5f^3 crystal-field schemes that are consistent with current experiment. Because of its dual magnetic and orbital character, a \Gamma_5 magnetic non-Kramers doublet ground-state of the U ion can be identified by $\chi_1^c(T) \propto \chi_3^\perp(T)$ where we have determined the constant of proportionality for URu2Si2.


title: On principal minors of Bezout matrix

abstract: Let $x_1,...,x_{n}$ be real numbers, $P(x)=p_n(x-x_1)...(x-x_n)$, and $Q(x)$ be a polynomial of degree less than or equal to $n$. Denote by $\Delta(Q)$ the matrix of generalized divided differences of $Q(x)$ with nodes $x_1,...,x_n$ and by $B(P,Q)$ the Bezout matrix (Bezoutiant) of $P$ and $Q$. A relationship between the corresponding principal minors, counted from the right-hand lower corner, of the matrices $B(P,Q)$ and $\Delta(Q)$ is established. It implies that if the principal minors of the matrix of divided differences of a function $g(x)$ are positive or have alternating signs then the roots of the Newton's interpolation polynomial of $g$ are real and separated by the nodes of interpolation.


title: Simpson Type Inequalities for Q-Class Functions

abstract: In this paper, we obtain some Simpson type inequalities for functions whose second derivatives absolute value or q-th power of them are Q-class functions. Also we give applications to numerical integration.


title: New Estimates on Integral Inequalities and Their Applications

abstract: In this paper, we obtain some inequalities by using a kernel and an inequality which is a result of Young inequality. Besides we give some applications to special means.


title: Random blisters on stickers: metrology through defects

abstract: Blisters are commonly observed when an adhesive sheet is carelessly deposited on a plate. Although such blisters are usually not desired for practical applications, we show through model experiments on angular blisters how material properties can be deduced from height profile measurements. In particular the typical curvature of the crests is found proportional to an elasto-capillary length that compares the bending stiffness of the sheet with adhesion energy. In addition, the radius of the tip allows to estimate the product of this length with the thickness of the sheet. The relevance of these results to realistic random configurations is finally confirmed.


title: Bell's fifth position is not supported by supermartingale statistics

abstract: It is demonstrated that the supermartingale statistics approach of Gill to the CHSH contrast contains a physical (and statistical) unrealistic assumption.


title: Resolving the Radio Source Background: Deeper Understanding Through Confusion

abstract: We used the Karl G. Jansky Very Large Array (VLA) to image one primary beam area at 3 GHz with 8 arcsec FWHM resolution and 1.0 microJy/beam rms noise near the pointing center. The P(D) distribution from the central 10 arcmin of this confusion-limited image constrains the count of discrete sources in the 1 < S(microJy/beam) < 10 range. At this level the brightness-weighted differential count S^2 n(S) is converging rapidly, as predicted by evolutionary models in which the faintest radio sources are star-forming galaxies; and ~96$% of the background originating in galaxies has been resolved into discrete sources. About 63% of the radio background is produced by AGNs, and the remaining 37% comes from star-forming galaxies that obey the far-infrared (FIR) / radio correlation and account for most of the FIR background at lambda = 160 microns. Our new data confirm that radio sources powered by AGNs and star formation evolve at about the same rate, a result consistent with AGN feedback and the rough correlation of black hole and bulge stellar masses. The confusion at centimeter wavelengths is low enough that neither the planned SKA nor its pathfinder ASKAP EMU survey should be confusion limited, and the ultimate source detection limit imposed by "natural" confusion is < 0.01 microJy at 1.4 GHz. If discrete sources dominate the bright extragalactic background reported by ARCADE2 at 3.3 GHz, they cannot be located in or near galaxies and most are < 0.03 microJy at 1.4 GHz.


title: Non-Convex Rank Minimization via an Empirical Bayesian Approach

abstract: In many applications that require matrix solutions of minimal rank, the underlying cost function is non-convex leading to an intractable, NP-hard optimization problem. Consequently, the convex nuclear norm is frequently used as a surrogate penalty term for matrix rank. The problem is that in many practical scenarios there is no longer any guarantee that we can correctly estimate generative low-rank matrices of interest, theoretical special cases notwithstanding. Consequently, this paper proposes an alternative empirical Bayesian procedure build upon a variational approximation that, unlike the nuclear norm, retains the same globally minimizing point estimate as the rank function under many useful constraints. However, locally minimizing solutions are largely smoothed away via marginalization, allowing the algorithm to succeed when standard convex relaxations completely fail. While the proposed methodology is generally applicable to a wide range of low-rank applications, we focus our attention on the robust principal component analysis problem (RPCA), which involves estimating an unknown low-rank matrix with unknown sparse corruptions. Theoretical and empirical evidence are presented to show that our method is potentially superior to related MAP-based approaches, for which the convex principle component pursuit (PCP) algorithm (Candes et al., 2011) can be viewed as a special case.


title: Pure spinors in AdS and Lie algebra cohomology

abstract: We show that the BRST cohomology of the massless sector of the Type IIB superstring on AdS5xS5 can be described as the relative cohomology of an infinite-dimensional Lie superalgebra. We explain how the vertex operators of ghost number 1, which correspond to conserved currents, are described in this language. We also give some algebraic description of the ghost number 2 vertices, which appears to be new. We use this algebraic description to clarify the structure of the zero mode sector of the ghost number two states in flat space, and initiate the study of the vertices of the higher ghost number.


title: Torsion-balance tests of the weak equivalence principle

abstract: We briefly summarize motivations for testing the weak equivalence principle and then review recent torsion-balance results that compare the differential accelerations of beryllium-aluminum and beryllium-titanium test body pairs with precisions at the part in $10^{13}$ level. We discuss some implications of these results for the gravitational properties of antimatter and dark matter, and speculate about the prospects for further improvements in experimental sensitivity.


title: Tropical Teichmuller and Siegel spaces

abstract: In this paper, we present a unified study of the moduli space of tropical curves and Outer space which we link via period maps to the moduli space of tropical abelian varieties and the space of positive definite quadratic forms. Our work is a first step towards exhibiting Outer space and the space of positive definite quadratic forms as analogues of Teichm\"uller space and Siegel space, respectively, in tropical geometry. All these spaces and the maps among them are described within the category of ideal stacky fans, which we describe in detail.


title: Bessel-weighted asymmetries and the Sivers effect

abstract: We consider the cross section in Fourier space, conjugate to the outgoing hadron's transverse momentum, where convolutions of transverse momentum dependent parton distribution functions and fragmentation functions become simple products. Individual asymmetric terms in the cross section can be projected out by means of a generalized set of weights involving Bessel functions. Advantages of employing these Bessel weights are that they suppress (divergent) contributions from high transverse momentum and that soft factors cancel in (Bessel-) weighted asymmetries. Also, the resulting compact expressions immediately connect to previous work on evolution equations for transverse momentum dependent parton distribution and fragmentation functions and to quantities accessible in lattice QCD. Bessel-weighted asymmetries are thus model independent observables that augment the description and our understanding of correlations of spin and momentum in nucleon structure.


title: Uniform existence of the integrated density of states for randomly weighted Hamiltonians on long-range percolation graphs

abstract: In this paper we consider random Hamiltonians defined on long-range percolation graphs over $\ZZ^d$. The Hamiltonian consists of a randomly weighted Laplacian plus a random potential. We prove uniform existence of the integrated density of states and express the IDS using a Pastur-Shubin trace formula.


title: Macdonald Polynomials and BGG reciprocity for current algebras

abstract: We study the category of graded representations with finite--dimensional graded pieces for the current algebra associated to a simple Lie algebra. This category has many similarities with the category $\cal O$ of modules for $\lie g$ and in this paper, we use the combinatorics of Macdonald polynomials to prove an analogue of the famous BGG duality in the case of $\lie{sl}_{n+1}$.


title: A theoretical study of the hydrogen-storage potential of (H_2)_4CH_4 in metal organic framework materials and carbon nanotubes

abstract: The hydrogen-methane compound (H_2)_4CH_4---or for short H4M---is one of the most promising hydrogen-storage materials. This van der Waals compound is extremely rich in molecular hydrogen: 33.3 mass%, not including the hydrogen bound in CH_4; including it, we reach even 50.2 mass%. Unfortunately, H4M is not stable under ambient pressure and temperature, requiring either low temperature or high pressure. In this paper, we investigate the properties and structure of the molecular and crystalline forms of H4M, using ab initio methods based on van der Waals DFT (vdW-DF). We further investigate the possibility of creating the pressures required to stabilize H4M through external agents such as metal organic framework (MOF) materials and carbon nanotubes, with very encouraging results. In particular, we find that certain MOFs can create considerable pressure for H4M in their cavities, but not enough to stabilize it at room temperature, and moderate cooling is still necessary. On the other hand, we find that all investigated carbon nanotubes can create the high pressures required for H4M to be stable at room temperature, with direct implications for new and exciting hydrogen-storage applications.


title: Counting photons at low temperature with a streaming time-to-digital converter

abstract: We present some aspects of photon counting to study scintillators at low temperatures. A time-to-digital converter (TDC) had been configured to acquire several-minute-long streams of data, simplifying the multiple photon counting coincidence technique. Results in terms of light yield and time structure of a ZnWO4 scintillator are comparable to those obtained with a fast digitizer. Streaming data also provides flexibility in analyzing the data, in terms of coincidence window between the channels, and acquisition window of individual channels. We discuss the effect of changing these parameters, and use them to confirm low-energy features in the spectra of the number of detected photons, such as the 60 keV line from 241Am in the ZnWO4 sample. We lastly use the TDC to study the transmission of the optical cryostat employed in these studies at various temperatures.


title: Nature of the quantum critical point as disclosed by extraordinary behavior of magnetotransport and the Lorentz number in the heavy-fermion metal YbRh2Si2

abstract: Physicists are engaged in vigorous debate on the nature of the quantum critical points (QCP) governing the low-temperature properties of heavy-fermion (HF) metals. Recent experimental observations of the much-studied compound YbRh2Si2 in the regime of vanishing temperature incisively probe the nature of its magnetic-field-tuned QCP. The jumps revealed both in the residual resistivity rho_0 and the Hall resistivity R_H, along with violation of the Wiedemann-Franz law, provide vital clues to the origin of such non-Fermi-liquid behavior. The empirical facts point unambiguously to association of the observed QCP with a fermion-condensation phase transition. Based on this insight, the resistivities rho_0 and R_H are predicted to show jumps at the crossing of the QCP produced by application of a magnetic field, with attendant violation of the Wiedemann-Franz law. It is further demonstrated that experimentally identifiable multiple energy scales are related to the scaling behavior of the effective mass of the quasiparticles responsible for the low-temperature properties of such HF metals.


title: Estimation of Scale and Hurst Parameters of Semi-Selfsimilar Processes

abstract: The characteristic feature of semi-selfsimilar process is the invariance of its finite dimensional distributions by certain dilation for specific scaling factor. Estimating the scale parameter $\lambda$ and the Hurst index of such processes is one of the fundamental problem in the literature. We present some iterative method for estimation of the scale and Hurst parameters which is addressed for semi-selfsimilar processes with stationary increments. This method is based on some flexible sampling scheme and evaluating sample variance of increments in each scale intervals $[\lambda^{n-1}, \lambda^n)$, $n\in \mathbb{N}$. For such iterative method we find the initial estimation for the scale parameter by evaluating cumulative sum of moving sample variances and also by evaluating sample variance of preceding and succeeding moving sample variance of increments. We also present a new efficient method for estimation of Hurst parameter of selfsimilar processes. As an example we introduce simple fractional Brownian motion (sfBm) which is semi-selfsimilar with stationary increments. We present some simulations and numerical evaluation to illustrate the results and to estimate the scale for sfBm as a semi-selfsimilar process. We also present another simulation and show the efficiency of our method in estimation of Hurst parameter by comparing its performance with some previous methods.


title: NLTE analysis of Sr lines in spectra of late-type stars with new R-matrix atomic data

abstract: We investigate statistical equilibrium of neutral and singly-ionized strontium in late-type stellar atmospheres. Particular attention is given to the completeness of the model atom, which includes new energy levels, transition probabilities, photoionization and electron-impact excitation cross-sections computed with the R-matrix method. The NLTE model is applied to the analysis of Sr I and Sr II lines in the spectra of the Sun, Procyon, Arcturus, and HD 122563, showing a significant improvement in the ionization balance compared to LTE line formation calculations, which predict abundance discrepancies of up to 0.5 dex. The solar Sr abundance is log A = 2.93 \pm 0.04 dex, in agreement with the meteorites. A grid of NLTE abundance corrections for Sr I and Sr II lines covering a large range of stellar parameters is presented.


title: A new approach to unbiased estimation for SDE's

abstract: In this paper, we introduce a new approach to constructing unbiased estimators when computing expectations of path functionals associated with stochastic differential equations (SDEs). Our randomization idea is closely related to multi-level Monte Carlo and provides a simple mechanism for constructing a finite variance unbiased estimator with "square root convergence rate" whenever one has available a scheme that produces strong error of order greater than 1/2 for the path functional under consideration.


title: Semiparametric stationarity tests based on adaptive multidimensional increment ratio statistics

abstract: In this paper, we show that the adaptive multidimensional increment ratio estimator of the long range memory parameter defined in Bardet and Dola (2012) satisfies a central limit theorem (CLT in the sequel) for a large semiparametric class of Gaussian fractionally integrated processes with memory parameter $d \in (-0.5,1.25)$. Since the asymptotic variance of this CLT can be computed, tests of stationarity or nonstationarity distinguishing the assumptions $d<0.5$ and $d \geq 0.5$ are constructed. These tests are also consistent tests of unit root. Simulations done on a large benchmark of short memory, long memory and non stationary processes show the accuracy of the tests with respect to other usual stationarity or nonstationarity tests (LMC, V/S, ADF and PP tests). Finally, the estimator and tests are applied to log-returns of famous economic data and to their absolute value power laws.


title: NLTE line formation of Fe in late-type stars II: 1D spectroscopic stellar parameters

abstract: We investigate departures from local thermodynamic equilibrium (NLTE) in the line formation of neutral and singly ionised iron lines and their impact on spectroscopic stellar parameters. The calculations are performed for an extensive grid of 1D MARCS models of metal-rich and metal-poor late-type dwarfs and giants. We find that iron abundances derived from FeI lines are increasingly underestimated in hotter, lower surface-gravity, and more metal-poor stars, in a simple and well-defined pattern, while LTE is usually a realistic approximation for FeII lines. For the vast majority of dwarfs and giants, the perturbed ionisation balance of FeI and FeII is the main relevant NLTE effect to consider in the determination of spectroscopic parameters, while for extremely metal-poor stars and hot giant stars significant impact is seen also on the excitation balance and on the microturbulence determination from FeI lines.


title: NLTE line formation of Fe for late-type stars. I. Standard stars with 1D and <3D> model atmospheres

abstract: We investigate departures from LTE in the line formation of Fe for a number of well-studied late-type stars in different evolutionary stages. A new model of Fe atom was constructed from the most up-to-date theoretical and experimental atomic data available so far. Non-local thermodynamic equilibrium (NLTE) line formation calculations for Fe were performed using 1D hydrostatic MARCS and MAFAGS-OS model atmospheres, as well as the spatial and temporal average stratifications from full 3D hydrodynamical simulations of stellar convection computed using the Stagger code. It is shown that the Fe I/Fe II ionization balance can be well established with the 1D and mean 3D models under NLTE including calibrated inelastic collisions with H I calculated from the Drawin's (1969) formulae. Strong low-excitation Fe I lines are very sensitive to the atmospheric structure; classical 1D models fail to provide consistent excitation balance, particularly so for cool metal-poor stars. A better agreement between Fe I lines spanning a range of excitation potentials is obtained with the mean 3D models. Mean NLTE metallicities determined for the standard stars using the 1D and mean 3D models are fully consistent. Also, the NLTE spectroscopic effective temperatures and gravities from ionization balance agree with that determined by other methods, e.g., infrared flux method and parallaxes, if one of the stellar parameters is constrained independently.


title: Greedy-Like Algorithms for the Cosparse Analysis Model

abstract: The cosparse analysis model has been introduced recently as an interesting alternative to the standard sparse synthesis approach. A prominent question brought up by this new construction is the analysis pursuit problem -- the need to find a signal belonging to this model, given a set of corrupted measurements of it. Several pursuit methods have already been proposed based on $\ell_1$ relaxation and a greedy approach. In this work we pursue this question further, and propose a new family of pursuit algorithms for the cosparse analysis model, mimicking the greedy-like methods -- compressive sampling matching pursuit (CoSaMP), subspace pursuit (SP), iterative hard thresholding (IHT) and hard thresholding pursuit (HTP). Assuming the availability of a near optimal projection scheme that finds the nearest cosparse subspace to any vector, we provide performance guarantees for these algorithms. Our theoretical study relies on a restricted isometry property adapted to the context of the cosparse analysis model. We explore empirically the performance of these algorithms by adopting a plain thresholding projection, demonstrating their good performance.


title: Evidence for a vortex-glass transition in superconducting Ba(Fe$_{0.9}$Co$_{0.1}$)$_{2}$As$_{2}$

abstract: Measurements of magneto-resistivity and magnetic susceptibility were performed on single crystals of superconducting Ba(Fe$_{0.9}$Co$_{0.1}$)$_{2}$As$_{2}$ close to the conditions of optimal doping. The high quality of the investigated samples allows us to reveal a dynamic scaling behaviour associated with a vortex-glass phase transition in the limit of weak degree of quenched disorder. Accordingly, the dissipative component of the ac susceptibility is well reproduced within the framework of Havriliak-Negami relaxation, assuming a critical power-law divergence for the characteristic correlation time $\tau$ of the vortex dynamics. Remarkably, the random disorder introduced by the Fe$_{1-x}$Co$_{x}$ chemical substitution is found to act on the vortices as a much weaker quenched disorder than previously reported for cuprate superconductors such as, e.g., Y$_{1-x}$Pr$_{x}$Ba$_{2}$Cu$_{3}$O$_{7-\delta}$.


title: High Contrast X-ray Speckle from Atomic-Scale Order in Liquids and Glasses

abstract: The availability of ultrafast pulses of coherent hard x-rays from the Linac Coherent Light Source opens new opportunities for studies of atomic-scale dynamics in amorphous materials. Here we show that single ultrafast coherent x-ray pulses can be used to observe the speckle contrast in the high-angle diffraction from liquid Ga and glassy Ni2Pd2P and B2O3. We determine the thresholds above which the x-ray pulses disturb the atomic arrangements. Furthermore, high contrast speckle is observed in scattering patterns from the glasses integrated over many pulses, demonstrating that the source and optics are sufficiently stable for x-ray photon correlation spectroscopy studies of dynamics over a wide range of time scales.


title: Etude de Mod\`eles \`a base de r\'eseaux Bay\'esiens pour l'aide au diagnostic de tumeurs c\'er\'ebrales

abstract: This article describes different models based on Bayesian networks RB modeling expertise in the diagnosis of brain tumors. Indeed, they are well adapted to the representation of the uncertainty in the process of diagnosis of these tumors. In our work, we first tested several structures derived from the Bayesian network reasoning performed by doctors on the one hand and structures generated automatically on the other. This step aims to find the best structure that increases diagnostic accuracy. The machine learning algorithms relate MWST-EM algorithms, SEM and SEM + T. To estimate the parameters of the Bayesian network from a database incomplete, we have proposed an extension of the EM algorithm by adding a priori knowledge in the form of the thresholds calculated by the first phase of the algorithm RBE . The very encouraging results obtained are discussed at the end of the paper


title: The missing asymptotic sector of rotating black-hole spectroscopy

abstract: The rotation of a black hole splits its spectrum in two, yet only one sector is known in the highly-damped regime. We find the second, at least partly oblate sector, with quasinormal modes approaching the total reflection frequencies \omega(n>>1) ~ m\Omega - 2\pi iT(n-s), where \Omega and T are the horizon angular velocity and temperature, s is the field spin, and m is an azimuthal eigenvalue. Some physical implications are discussed.


title: Reasoning with Data-Centric Business Processes

abstract: We describe an approach to modelling and reasoning about data-centric business processes and present a form of general model checking. Our technique extends existing approaches, which explore systems only from concrete initial states. Specifically, we model business processes in terms of smaller fragments, whose possible interactions are constrained by first-order logic formulae. In turn, process fragments are connected graphs annotated with instructions to modify data. Correctness properties concerning the evolution of data with respect to processes can be stated in a first-order branching-time logic over built-in theories, such as linear integer arithmetic, records and arrays. Solving general model checking problems over this logic is considerably harder than model checking when a concrete initial state is given. To this end, we present a tableau procedure that reduces these model checking problems to first-order logic over arithmetic. The resulting proof obligations are passed on to appropriate "off-the-shelf" theorem provers. We also detail our modelling approach, describe the reasoning components and report on first experiments.


title: Scalable Minimization Algorithm for Partial Bisimulation

abstract: We present an efficient algorithm for computing the partial bisimulation preorder and equivalence for labeled transitions systems. The partial bisimulation preorder lies between simulation and bisimulation, as only a part of the set of actions is bisimulated, whereas the rest of the actions are simulated. Computing quotients for simulation equivalence is more expensive than for bisimulation equivalence, as for simulation one has to account for the so-called little brothers, which represent classes of states that can simulate other classes. It is known that in the absence of little brother states, (partial bi)simulation and bisimulation coincide, but still the complexity of existing minimization algorithms for simulation and bisimulation does not scale. Therefore, we developed a minimization algorithm and an accompanying tool that scales with respect to the bisimulated action subset.


title: Magnetooptical Study of Spin-Orientation Phase Transition in $NdFe_3(BO_3)_4$ Single Crystal

abstract: The magnetic field dependences of birefringence in a $NdFe_3(BO_3)_4$ single crystal have been measured in the case where the direction of light propagation coincides with the trigonal crystal axis $C_3$ ($k\|C_3$), and the external magnetic field is oriented along the second-order axis $C_2$ ($H\|C_2$). In the temperature range, in which an incommensurate phase exists with the formation of a long-period antiferromagnetic helix, the strongly pronounced jumps in the field dependence of birefringence are revealed and identified as a firstorder spin-orientation phase transition. The phase transition was accompanied by a hysteresis in the field dependences of birefringence. The $H-T$ phase diagram for a $NdFe_3(BO_3)_4$ single crystal has been plotted in the case where the magnetic field is oriented along the crystal axis $C_2$ ($H\|C_2$).


title: Excitonic energy transfer in light-harvesting complexes in purple bacteria

abstract: Two distinct approaches, the Frenkel-Dirac time-dependent variation and the Haken-Strobl model, are adopted to study energy transfer dynamics in single-ring and double-ring light-harvesting systems in purple bacteria. It is found that inclusion of long-range dipolar interactions in the two methods results in significant increases in intra- or inter-ring exciton transfer efficiency. The dependence of exciton transfer efficiency on trapping positions on single rings of LH2 (B850) and LH1 is similar to that in toy models with nearest-neighbor coupling only. However, owing to the symmetry breaking caused by the dimerization of BChls and dipolar couplings, such dependence has been largely suppressed. In the studies of coupled-ring systems, both methods reveal interesting role of dipolar interaction in increasing energy transfer efficiency by introducing multiple intra/inter-ring transfer paths. Importantly, the time scale (~4ps) of inter-ring exciton transfer obtained from polaron dynamics is in good agreement with previous studies. In a double-ring LH2 system, dipole-induced symmetry breaking leads to global minima and local minima of the average trapping time when there is a finite value of non-zero dephasing rate, suggesting that environment plays a role in preserving quantum coherent energy transfer. In contrast, dephasing comes into play only when the perfect cylindrical symmetry in the hypothetic system is broken. This study has revealed that dipolar interaction between chromophores may play an important part in the high energy transfer efficiency in the LH2 system and many other natural photosynthetic systems.


title: Search for a dark matter particle family

abstract: I suggest a simple signature for new particles which are unstable partners of a dark matter particle. The suggested mass range is from 8 TeV to 3 PeV, the former being the mass of the dark matter particle and the latter being the knee energy mass scale from the cosmic ray energy spectrum. It can be the energy spectrum of a specific particle such as a muon, a neutrino, jets or any other particles produced in cosmic ray showers, as long as the spectrum is measued. As for the detection of a 3 PeV particle by the neutrino energy spectrum, all dark matter targets throughout the galaxy that are bombarded by high energy cosmic rays and high energy dark matter particles contribute to the process. This is new in the study of dark matter physics.


title: Multiwavelength Observations of V2775 Ori, an Outbursting Protostar in L 1641: Exploring the Edge of the FU Orionis Regime

abstract: Individual outbursting young stars are important laboratories for studying the physics of episodic accretion and the extent to which this phenomenon can explain the luminosity distribution of protostars. We present new and archival data for V2775 Ori (HOPS 223), a protostar in the L 1641 region of the Orion molecular clouds that was discovered by Caratti o Garatti et al. (2011) to have recently undergone an order-of-magnitude increase in luminosity. Our near-infrared spectra of the source have strong blueshifted He I 10830 absorption, strong H2O and CO absorption, and no H I emission, all typical of FU Orionis sources. With data from IRTF, 2MASS, HST, Spitzer, WISE, Herschel, and APEX that span from 1 to 70 microns pre-outburst and from 1 to 870 microns post-outburst, we estimate that the outburst began between 2005 April and 2007 March. We also model the pre- and post-outburst spectral energy distributions of the source, finding it to be in the late stages of accreting its envelope with a disk-to-star accretion rate that increased from about 2x10^-6 M_sun/yr to about 10^-5 M_sun/yr during the outburst. The post-outburst luminosity at the epoch of the FU Orionis-like near-IR spectra is 28 L_sun, making V2775 Ori the least luminous documented FU Orionis outburster with a protostellar envelope. The existence of low-luminosity outbursts supports the notion that a range of episiodic accretion phenomena can partially explain the observed spread in protostellar luminosities.


title: Revealing the inner circumstellar disk of the T Tauri star S CrA N using the VLTI

abstract: Aims: We investigate the structure of the circumstellar disk of the T Tauri star S CrA N and test whether the observations agree with the standard picture proposed for Herbig Ae stars. Methods: Our observations were carried out with the VLTI/AMBER instrument in the H and K bands with the low spectral resolution mode. For the interpretation of our near-infrared AMBER and archival mid-infrared MIDI visibilities, we employed both geometric and temperature-gradient models. Results: To characterize the disk size, we first fitted geometric models consisting of a stellar point source, a ring-shaped disk, and a halo structure to the visibilities. In the H and K bands, we measured ring-fit radii of 0.73 +- 0.03 mas (corresponding to 0.095 +- 0.018 AU for a distance of 130 pc) and 0.85 +- 0.07 mas (0.111 +- 0.026 AU), respectively. This K-band radius is approximately two times larger than the dust sublimation radius of ~0.05 AU expected for a dust sublimation temperature of 1500 K and gray dust opacities, but approximately agrees with the prediction of models including backwarming (namely a radius of ~0.12 AU). The derived temperature-gradient models suggest that the disk is approximately face-on consisting of two disk components with a gap between star and disk. The inner disk component has a temperature close to the dust sublimation temperature and a quite narrow intensity distribution with a radial extension from 0.11 AU to 0.14 AU. Conclusions: Both our geometric and temperature-gradient models suggest that the T Tauri star S CrA N is surrounded by a circumstellar disk that is truncated at an inner radius of ~0.11 AU. The narrow extension of the inner temperature-gradient disk component implies that there is a hot inner rim.


title: Why Baryons Matter: The Kinematics of Dwarf Spheroidal Satellites

abstract: We use high resolution cosmological simulations of Milky Way-mass galaxies that include both baryons and dark matter to show that baryonic physics (energetic feedback from supernovae and subsequent tidal stripping) significantly reduces the dark matter mass in the central regions of luminous satellite galaxies. The reduced central masses of the simulated satellites reproduce the observed internal dynamics of Milky Way and M31 satellites as a function of luminosity. We use these realistic satellites to update predictions for the observed velocity and luminosity functions of satellites around Milky Way-mass galaxies when baryonic effects are accounted for. We also predict that field dwarf galaxies in the same luminosity range as the Milky Way classical satellites should not exhibit velocities as low as the satellites, since the field dwarfs do not experience tidal stripping. Additionally, the early formation times of the satellites compared to field galaxies at the same luminosity may be apparent in the star formation histories of the two populations. Including baryonic physics in Cold Dark Matter models naturally explains the observed low dark matter densities in the Milky Way's dwarf spheroidal population. Our simulations therefore resolve the tension between kinematics predicted in Cold Dark Matter theory and observations of satellites, without invoking alternative forms of dark matter.


title: Small-N Collisional Dynamics: Pushing Into the Realm of Not-So-Small-N

abstract: In this paper, we study small-N gravitational dynamics involving up to six objects. We perform a large suite of numerical scattering experiments involving single, binary, and triple stars. This is done using the FEWBODY numerical scattering code, which we have upgraded to treat encounters involving triple stars. We focus on outcomes that result in direct physical collisions between stars, within the low angular momentum and high absolute orbital energy regime. The dependence of the collision probability on the number of objects involved in the interaction, N, is found for fixed total energy and angular momentum. Our results are consistent with a collision probability that increases approximately as N^2. Interestingly, this is also what is expected from the mean free path approximation in the limit of very large N. A more thorough exploration of parameter space will be required in future studies to fully explore this potentially intriguing connection. This study is meant as a first step in an on-going effort to extend our understanding of small-N collisional dynamics beyond the three- and four-body problems and into the realm of larger-N.


title: MgII Absorption at 2 < z < 6 with Magellan / FIRE. II: A Longitudinal Study of HI, Metals, and Ionization in Galactic Haloes

abstract: We present a detailed study of HI and metals for 110 MgII absorption systems discovered at 1.98 <= z <= 5.33 in the infrared spectra of high redshift QSOs. Using new measurements of rest-frame UV lines from optical spectra of the same targets, we compare the high redshift sample with carefully constructed low redshift control samples from the literature to study evolutionary trends from z=0 --> 5.33 (>12 Gyr). We observe a significant strengthening in the characteristic N(HI) for fixed MgII equivalent width as one moves toward higher redshift. Indeed at our sample's mean zbar=3.402, all MgII systems are either damped Ly-alpha absorbers or sub-DLAs, with 40.7% of systems exceeding the DLA threshold (compared to 16.7% at zbar=0.927). We set lower limits on the metallicity of the MgII systems where we can measure HI; these results are consistent with the full DLA population. The classical MgII systems (W(2796)=0.3-1.0 Ang), which preferentially associate with sub-DLAs, are quite metal rich at ~0.1 Solar. We applied quantitative classification metrics to our absorbers to compare with low redshift populations, finding that weak systems are similar to classic MgII absorbers at low redshift. The strong systems either have very large MgII and FeII velocity spreads implying non-virialized dynamics, or are more quiescent DLAs. There is tentative evidence that the kinetically complex systems evolve in similar fashion to the global star formation rate. We speculate that if weaker MgII systems represent accreting gas as suggested by recent studies of galaxy-absorber inclinations, then their high metal abundance suggests re-accretion of recently ejected material rather than first-time infall from the metal-poor IGM, even at early times.


title: Joint Analysis of Gravitational Lensing, Clustering and Abundance: Toward the Unification of Large-Scale Structure Analysis

abstract: We explore three different methods based on weak lensing to extract cosmological constraints from the large-scale structure. In the first approach (method I), small-scale galaxy lensing measurements of their halo mass provide a constraint on the halo bias, which can be combined with the large-scale galaxy clustering to measure the dark matter clustering. In the second approach (method II), large-scale galaxy clustering and large-scale galaxy-galaxy lensing can be combined into a direct measurement of the dark matter clustering. These two methods can be combined into one method I+II to make use of lensing measurements on all scales. In the third approach (method III), we add abundance information to the method I. We explore the statistical power of these three approaches as a function of galaxy luminosity to investigate the optimal mass range for each method and their cosmological constraining power. In the case of the SDSS, we find that the three methods give comparable constraints, but not in the same mass range: the method II works best for halos of M~10^13 Msun, and the methods I and III work best for halos of M~10^14 Msun. We discuss the robustness of each method against various systematics. Furthermore, we extend the analysis to the future large-scale galaxy surveys and find that the cluster abundance method is not superior to the combined method I+II, both in terms of statistical power and robustness against systematic errors. The cosmic shear-shear correlation analysis in the future surveys yields constraints as strong as the combined method, but suffer from additional systematic effects. We thus advocate the combined analysis of clustering and lensing (method I+II) as a powerful alternative to other large-scale probes. Our analysis provides a guidance to observers planning large-scale galaxy surveys such as the DES, Euclid, and the LSST.


title: Characterizing the red optical sky background fluctuations from narrow-band imaging

abstract: The detection and characterization of the physical properties of very distant galaxies will be one the prominent science case of all future Extremely Large Telescopes, including the 39m E-ELT. Multi-Object Spectroscopic instruments are potentially very important tools for studying these objects, and in particular fiber-based concepts. However, detecting and studying such faint and distant sources will require subtraction of the sky background signal (i.e., between OH airglow lines) with an accuracy of ~1%. This requires a precise and accurate knowledge of the sky background temporal and spatial fluctuations. Using FORS2 narrow-band filter imaging data, we are currently investigating what are the fluctuations of the sky background at ~9000A. We present preliminary results of sky background fluctuations from this study over spatial scales reaching ~4 arcmin, as well as first glimpses into the temporal variations of such fluctuations over timescales of the order of the hour. This study (and other complementary on-going studies) will be essential in designing the next-generation fiber-fed instruments for the E-ELT.


title: 125 GeV Higgs Boson, Enhanced Di-photon Rate, and Gauged U(1)_PQ-Extended MSSM

abstract: The ATLAS and CMS collaborations have announced discovery of a ~125 GeV Higgs boson, after a combined analysis of the di-photon and ZZ search channels. This observation has significant impact on low-energy supersymmetry. First, some fine-tuning is necessary to accommodate such a Higgs mass in the Minimal Supersymmetric Standard Model (MSSM) because the tree-level mass of the SM-like Higgs boson in the MSSM is relatively small. We study the possibility of lifting the mass of the SM-like Higgs boson by non-decoupling D-term from an additional U(1) gauge symmetry. In particular, we focus on a gauged Peccei-Quinn symmetry which can also be related to a possible solution of the mu problem in the MSSM. In addition to the measurement of the mass of the Higgs, the data also reveals a tantalizing hint of a significantly enhanced di-photon signal rate, 1.56 pm 0.43 and 1.9 pm 0.5 times of the SM prediction in the CMS and ATLAS experiments, respectively. We demonstrate that such an enhancement can be accommodated in this MSSM extension. Anomaly cancellation requires the introduction of charged exotics. If some of them happen to be light and have sizable coupling to the SM-like Higgs boson, the di-photon signal rate can be enhanced significantly. EW precision measurements provide stringent constraints on this model. Taking these into account, we identify two benchmark scenarios. We argue that they are representative of large classes of viable models beyond our current example which can consistently enhance the Higgs to di-photon rate. We also comment on possible signals of such light exotics at the LHC.


title: The Igusa local zeta function for $x^n+y^m$

abstract: This paper provides specific results on the Igusa local zeta function for the curves $x^n+y^m$. In addition to specific results, we give an introduction to $p$-adic analysis and a discussion of various methods which have been used to compute these zeta functions. The paper was written by the 1992 REU group in $p$-adic analysis supervised by Margaret Robinson. It has been available on the Mount Holyoke REU website.


title: Directed random graphs with given degree distributions

abstract: Given two distributions F and G on the nonnegative integers we propose an algorithm to construct in- and out-degree sequences from samples of i.i.d. observations from F and G, respectively, that with high probability will be graphical, that is, from which a simple directed graph can be drawn. We then analyze a directed version of the configuration model and show that, provided that F and G have finite variance, the probability of obtaining a simple graph is bounded away from zero as the number of nodes grows. We show that conditional on the resulting graph being simple, the in- and out-degree distributions are (approximately) F and G for large size graphs. Moreover, when the degree distributions have only finite mean we show that the elimination of self-loops and multiple edges does not significantly change the degree distributions in the resulting simple graph.


title: Diffuse gamma-ray constraints on dark matter revisited. I: the impact of subhalos

abstract: We make a detailed analysis of the indirect diffuse gamma-ray signals from dark matter annihilation in the Galaxy. We include the prompt emission, as well as the emission from inverse Compton scattering whenever the annihilation products contain light leptons. We consider both the contribution from the smooth dark matter halo and that from substructures. The main parameters for the latter are the mass function index and the minimal subhalo mass. We use recent results from N-body simulations to set the most reasonable range of parameters, and find that the signal can be boosted by a factor ranging from 2 to 15 towards the Galactic poles, slightly more towards the Galactic anticenter, with an important dependence on the subhalo mass index. This uncertainty is however much less than that of the extragalactic signal studied in the literature. We derive upper bounds on the dark matter annihilation cross section using the isotropic gamma-ray emission measured by Fermi-LAT, for two directions in the sky, the Galactic anticenter and the Galactic pole(s). The former represents the lowest irreducible signal from dark matter annihilation, and the latter is robust as the astrophysical background, dominated by the hadronic contribution, is rather well established in that direction. Finally, we show how the knowledge of the minimal subhalo mass, which formally depends on the dark matter particle interactions with normal matter, can be used to derive the mass function index.


title: A Note on the Stringy Embeddings of Certain N = 2 Dualities

abstract: Seiberg-Witten theory can be embedded in F-theory using D3 branes probing an orientifold geometry. The non-perturbative corrections in the orientifold picture map directly to the instanton corrections in the corresponding gauge theory that convert the classical moduli space to the quantum one. In this short review we argue that the recently proposed class of conformal Gaiotto models may also be embedded in F-theory. The F-theory constructions help us not only to understand the Gaiotto dualities but also to extend to the non-conformal cases with and without cascading behaviors. For the conformal cases, the near horizon geometries in F-theory capture both the UV and IR behaviors succinctly.


title: Cosmology with Hu-Sawicki gravity in Palatini Formalism

abstract: Cosmological models based on f(R)-gravity may exhibit a natural acceleration mechanism without introducing a dark energy component. In this paper, we investigate cosmological consequences of the so-called Hu-Sawicki f(R)-gravity in the Palatini formalism. We derive theoretical constraints on the model parameters and perform a statistical analysis to determine the parametric space allowed by current observational data. We find that this class of models is indistinguishable from the standard \Lambda CDM model at the background level. Differently, from previous results in the metric approach, we show that these scenarios are able to produce the sequence of radiation-dominated, matter-dominated, and accelerating periods without need of dark energy.


title: Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)

abstract: Burkart, Caucal, Steffen (1995) showed a procedure deciding bisimulation equivalence of processes in Basic Process Algebra (BPA), i.e. of sequential processes generated by context-free grammars. They improved the previous decidability result of Christensen, H\"uttel, Stirling (1992), since their procedure has obviously an elementary time complexity and the authors claim that a close analysis would reveal a double exponential upper bound. Here a self-contained direct proof of the membership in 2-ExpTime is given. This is done via a Prover-Refuter game which shows that there is an alternating Turing machine deciding the problem in exponential space. The proof uses similar ingredients (size-measures, decompositions, bases) as the previous proofs, but one new simplifying factor is an explicit addition of infinite regular strings to the state space. An auxiliary claim also shows an explicit exponential upper bound on the equivalence level of nonbisimilar normed BPA processes. The importance of clarifying the 2-ExpTime upper bound for BPA bisimilarity has recently increased due to the shift of the known lower bound from PSpace (Srba, 2002) to ExpTime (Kiefer, 2012).


title: Persistence of spin edge currents in disordered quantum spin Hall systems

abstract: For a disordered two-dimensional model of a topological insulator (such as a Kane-Mele model with disordered potential) with small coupling of spin invariance breaking term (such as the Rashba coupling), it is proved that the spin edge currents persist provided there is a spectral gap and the spin Chern numbers are well-defined and non-trivial. These conditions on being in the quantum spin Hall phase do not require time-reversal symmetry. The result materializes the general philosophy that topological insulators are non-trivial bulk systems with edge currents that are topologically protected against Anderson localization.


title: Constraining the False Positive Rate for Kepler Planet Candidates with Multi-Color Photometry from the GTC

abstract: Using the OSIRIS instrument installed on the 10.4-m Gran Telescopio Canarias (GTC) we acquired multi-color transit photometry of four small (Rp < 5 R_Earth) short-period (P < 6 days) planet candidates recently identified by the Kepler space mission. These observations are part of a program to constrain the false positive rate for small, short-period Kepler planet candidates. Since planetary transits should be largely achromatic when observed at different wavelengths (excluding the small color changes due to stellar limb darkening), we use the observed transit color to identify candidates as either false positives (e.g., a blend with a stellar eclipsing binary either in the background/foreground or bound to the target star) or validated planets. Our results include the identification of KOI 225.01 and KOI 1187.01 as false positives and the tentative validation of KOI 420.01 and KOI 526.01 as planets. The probability of identifying two false positives out of a sample of four targets is less than 1%, assuming an overall false positive rate for Kepler planet candidates of 10% (as estimated by Morton & Johnson 2011). Therefore, these results suggest a higher false positive rate for the small, short-period Kepler planet candidates than has been theoretically predicted by other studies which consider the Kepler planet candidate sample as a whole. Furthermore, our results are consistent with a recent Doppler study of short-period giant Kepler planet candidates (Santerne et al. 2012). We also investigate how the false positive rate for our sample varies with different planetary and stellar properties. Our results suggest that the false positive rate varies significantly with orbital period and is largest at the shortest orbital periods (P < 3 days), where there is a corresponding rise in the number of detached eclipsing binary stars... (truncated)


title: Ultra-High Resolution Intensity Statistics of a Scintillating Source

abstract: We derive the distribution of flux density of a compact source exhibiting strong diffractive scintillation. Our treatment accounts for arbitrary spectral averaging, spatially-extended source emission, and the possibility of intrinsic variability within the averaging time, as is typical for pulsars. We also derive the modulation index and present a technique for estimating the self-noise of the distribution, which can be used to identify amplitude variations on timescales shorter than the spectral accumulation time. Our results enable a for direct comparison with ultra-high resolution observations of pulsars, particularly single-pulse studies with Nyquist-limited resolution, and can be used to identify the spatial emission structure of individual pulses at a small fraction of the diffractive scale.


title: Magnetic orders and spin-flop transitions in the cobalt doped multiferroic $\rm Mn_{1-x}Co_{x}WO_4$

abstract: We present a comprehensive single crystal neutron diffraction investigation of the $\rm Mn_{1-x}Co_{x}WO_4$ with $0.02\leq x \leq0.30$. At lower concentration $x \leq 0.05$, the system is quickly driven into the multiferroic phase with spin structure forming an elliptical spiral order similar to the parent compound. The reduction of electric polarization is ascribed to the tilting of the spiral plane. For $x\sim 0.075$, the magnetic structure undergoes a spin flop transition that is characterized by a sudden rotation of the spin helix envelope into the $ac$ plane. This spin structure persists for concentration up to $x=0.15$, where additional competing magnetic orders appear at low temperature. For $0.17 \leq x \leq 0.30$, the system experiences another spin flop transition and recovers the low-$x$ spiral spin configuration. A simple commensurate spin structure with $\vec{q}=(0.5,0,0)$ is found to coexist with the incommensurate spiral order. The complex evolution of magnetic structure in Co doped $\rm MnWO_4$ contrasts sharply with other transition metal ion doped $\rm Mn_{1-x}A_xWO_4$ (A=Zn, Mg, Fe) where the chemical substitutions stabilize only one type of magnetic structure. The rich phase diagram of $\rm Mn_{1-x}Co_{x}WO_4 $ results from the interplay between magnetic frustration and spin anisotropy of the Co ions.


title: Using Sequence Alignments to Predict Protein Structure and Stability With High Accuracy

abstract: We present a sequence-based probabilistic formalism that directly addresses co-operative effects in networks of interacting positions in proteins, providing significantly improved contact prediction, as well as accurate quantitative prediction of free energy changes due to non-additive effects of multiple mutations. In addition to these practical considerations, the agreement of our sequence-based calculations with experimental data for both structure and stability demonstrates a strong relation between the statistical distribution of protein sequences produced by natural evolutionary processes, and the thermodynamic stability of the structures to which these sequences fold.


title: Quantum algorithm and circuit design solving the Poisson equation

abstract: The Poisson equation occurs in many areas of science and engineering. Here we focus on its numerical solution for an equation in d dimensions. In particular we present a quantum algorithm and a scalable quantum circuit design which approximates the solution of the Poisson equation on a grid with error \varepsilon. We assume we are given a supersposition of function evaluations of the right hand side of the Poisson equation. The algorithm produces a quantum state encoding the solution. The number of quantum operations and the number of qubits used by the circuit is almost linear in d and polylog in \varepsilon^{-1}. We present quantum circuit modules together with performance guarantees which can be also used for other problems.


title: Inner functions on the bidisk and associated Hilbert spaces

abstract: Matrix valued inner functions on the bidisk have a number of natural subspaces of the Hardy space on the torus associated to them. We study their relationship to Agler decompositions, regularity up to the boundary, and restriction maps into one variable spaces. We give a complete description of the important spaces associated to matrix rational inner functions. The dimension of some of these spaces can be computed in a straightforward way, and this ends up having an application to the study of three variable rational inner functions. Examples are included to highlight the differences between the scalar and matrix cases.


title: Supplemental Material for "High Contrast X-ray Speckle from Atomic-Scale Order in Liquids and Glasses"

abstract: This supplemental material gives additional detail on Experimental Methods and Hard X-ray FEL Source Characteristics, Calculation of Maximum Speckle Contrast, Extracting Contrast of Weak Speckle Patterns, Estimated Temperature Increase from X-ray Absorption, Split-Pulse XPCS Feasibility, and Sample Disturbance During Single Pulses.


title: Kernelized Supervised Dictionary Learning

abstract: In this paper, we propose supervised dictionary learning (SDL) by incorporating information on class labels into the learning of the dictionary. To this end, we propose to learn the dictionary in a space where the dependency between the signals and their corresponding labels is maximized. To maximize this dependency, the recently introduced Hilbert Schmidt independence criterion (HSIC) is used. One of the main advantages of this novel approach for SDL is that it can be easily kernelized by incorporating a kernel, particularly a data-derived kernel such as normalized compression distance, into the formulation. The learned dictionary is compact and the proposed approach is fast. We show that it outperforms other unsupervised and supervised dictionary learning approaches in the literature, using real-world data.


title: Landesman-Lazer conditions at half-eigenvalues of the p-Laplacian

abstract: We study the existence of solutions of the Dirichlet problem {gather} -\phi_p(u')' -a_+ \phi_p(u^+) + a_- \phi_p(u^-) -\lambda \phi_p(u) = f(x,u), \quad x \in (0,1), \label{pb.eq} \tag{1} u(0)=u(1)=0,\label{pb_bc.eq} \tag{2} {gather} where $p>1$, $\phi_p(s):=|s|^{p-1}\sgn s$ for $s \in \mathbb{R}$, the coefficients $a_\pm \in C^0[0,1]$, $\lambda \in \mathbb{R}$, and $u^\pm := \max\{\pm u,0\}$. We suppose that $f\in C^1([0,1]\times\mathbb{R})$ and that there exists $f_\pm \in C^0[0,1]$ such that $\lim_{\xi\to\pm\infty} f(x,\xi) = f_\pm(x)$, for all $x \in [0,1]$. With these conditions the problem \eqref{pb.eq}-\eqref{pb_bc.eq} is said to have a `jumping nonlinearity'. We also suppose that the problem {gather} -\phi_p(u')' = a_+ \phi_p(u^+) - a_- \phi_p(u^-) + \lambda \phi_p(u) \quad\text{on} \ (0,1), \tag{3} \label{heval_pb.eq} {gather} together with \eqref{pb_bc.eq}, has a non-trivial solution $u$. That is, $\lambda$ is a `half-eigenvalue' of \eqref{pb_bc.eq}-\eqref{heval_pb.eq}, and the problem \eqref{pb.eq}-\eqref{pb_bc.eq} is said to be `resonant'. Combining a shooting method with so called `Landesman-Lazer' conditions, we show that the problem \eqref{pb.eq}-\eqref{pb_bc.eq} has a solution. Most previous existence results for jumping nonlinearity problems at resonance have considered the case where the coefficients $a_\pm$ are constants, and the resonance has been at a point in the `Fucik spectrum'. Even in this constant coefficient case our result extends previous results. In particular, previous variational approaches have required strong conditions on the location of the resonant point, whereas our result applies to any point in the Fucik spectrum.


title: Superconductivity and the Pseudogap in the two-dimensional Hubbard model

abstract: Recently developed numerical methods have enabled the explicit construction of the superconducting state of the Hubbard model of strongly correlated electrons in parameter regimes where the model also exhibits a pseudogap and a Mott insulating phase. $d_{x^2-y^2}$ symmetry superconductivity is found to occur in proximity to the Mott insulator, but separated from it by a pseudogapped nonsuperconducting phase. The superconducting transition temperature and order parameter amplitude are found to be maximal at the onset of the normal-state pseudogap. The emergence of superconductivity from the normal state pseudogap leads to a decrease in the excitation gap. All of these features are consistent with the observed behavior of the copper-oxide superconductors.


title: A Spectral Learning Approach to Range-Only SLAM

abstract: We present a novel spectral learning algorithm for simultaneous localization and mapping (SLAM) from range data with known correspondences. This algorithm is an instance of a general spectral system identification framework, from which it inherits several desirable properties, including statistical consistency and no local optima. Compared with popular batch optimization or multiple-hypothesis tracking (MHT) methods for range-only SLAM, our spectral approach offers guaranteed low computational requirements and good tracking performance. Compared with popular extended Kalman filter (EKF) or extended information filter (EIF) approaches, and many MHT ones, our approach does not need to linearize a transition or measurement model; such linearizations can cause severe errors in EKFs and EIFs, and to a lesser extent MHT, particularly for the highly non-Gaussian posteriors encountered in range-only SLAM. We provide a theoretical analysis of our method, including finite-sample error bounds. Finally, we demonstrate on a real-world robotic SLAM problem that our algorithm is not only theoretically justified, but works well in practice: in a comparison of multiple methods, the lowest errors come from a combination of our algorithm with batch optimization, but our method alone produces nearly as good a result at far lower computational cost.


title: The VMC Survey - VI. Quasars behind the Magellanic system

abstract: The number and spatial distribution of confirmed quasi-stellar objects (QSOs) behind the Magellanic system is limited. This undermines their use as astrometric reference objects for different types of studies. We have searched for criteria to identify candidate QSOs using observations from the VISTA survey of the Magellanic Clouds system (VMC) that provides photometry in the YJKs bands and 12 epochs in the Ks band. The (Y-J) versus (J-Ks) diagram has been used to distinguish QSO candidates from Milky Way stars and stars of the Magellanic Clouds. Then, the slope of variation in the Ks band has been used to identify a sample of high confidence candidates. These criteria were developed based on the properties of 117 known QSOs presently observed by the VMC survey. VMC YJKs magnitudes and Ks light-curves of known QSOs behind the Magellanic system are presented. About 75% of them show a slope of variation in Ks>10^-4 mag/day and the shape of the light-curve is in general irregular and without any clear periodicity. The number of QSO candidates found in tiles including the South Ecliptic Pole and the 30 Doradus regions is 22 and 26, respectively, with a ~20% contamination by young stellar objects, planetary nebulae, stars and normal galaxies. By extrapolating the number of QSO candidates to the entire VMC survey area we expect to find about 1200 QSOs behind the LMC, 400 behind the SMC, 200 behind the Bridge and 30 behind the Stream areas, but not all will be suitable for astrometry. Further, the Ks band light-curves can help support investigations of the mechanism responsible for the variations.


title: Numerical Studies of Particle Laden Flow in Dispersed Phase

abstract: To better understand the hydrodynamic flow behavior in turbulence, Particle-Fluid flow have been studied using our Direct Numerical(DNS) based software DSM on MUSCL-QUICK and finite volume algorithm. The particle flow was studied using Eulerian-Eulerian Quasi Brownian Motion(QBM) based approach. The dynamics is shown for various particle sizes which are very relevant to spray mechanism for Industrial applications and Bio medical applications.


title: An unusual very low-mass high-amplitude pre-main sequence periodic variable

abstract: We have investigated the nature of the variability of CHS7797, an unusual periodic variable in the Orion Nebula Cluster. An extensive I-band photometric data set of CHS7797 was compiled between 2004-2010 using various telescopes. Further optical data have been collected in R and z' bands. In addition, simultaneous observations of the ONC region including CHS7797 were performed in the I, J, Ks and IRAC [3.6] and [4.5] bands over a time interval of about 40d. CHS7797 shows an unusual large-amplitude variation of about 1.7 mag in the R, I, and z' bands with a period 17.786. The amplitude of the brightness modulation decreases only slightly at longer wavelengths. The star is faint during 2/3 of the period and the shape of the phased light-curves for seven different observing seasons shows minor changes and small-amplitude variations. Interestingly, there are no significant colour-flux correlations for wavelengths smaller than 2microns, while the object becomes redder when fainter at longer wavelengths. CHS7797 has a spectral type of M6 and an estimated mass between 0.04-0.1Msun. The analysis of the data suggests that the periodic variability of CHS7797 is most probably caused by an orbital motion. Variability as a result of rotational brightness modulation by spots is excluded by the lack of any color-brightness correlation in the optical. The latter indicates that CHS7797 is most probably occulted by circumstellar matter in which grains have grown from typical 0.1 microns to 1-2 micron sizes. We discuss two possible scenarios in which CHS7797 is periodically eclipsed by structures in a disc, namely that CHS7797 is a single object with a circumstellar disc, or that CHS7797 is a binary system, similar to KH15D, in which an inclined circumbinary disc is responsible of the variability. Possible reasons for the typical 0.3mag variations in I-band at a given phase are discussed.


title: On exact sampling of the first passage event of Levy process with infinite Levy measure and bounded variation

abstract: We present an exact sampling method for the first passage event of a Levy process. The idea is to embed the process into another one whose first passage event can be sampled exactly, and then recover the part belonging to the former from the latter. The method is based on several distributional properties that appear to be new. We obtain general procedures to sample the first passage event of a subordinator across a regular non-increasing boundary, and that of a process with infinite Levy measure, bounded variation, and suitable drift across a constant level or interval. We give examples of application to a rather wide variety of Levy measures.


title: A Liouville comparison principle for sub- and super-solutions of the equation $w_t-\Delta_p (w) = |w|^{q-1}w$

abstract: We establish a Liouville comparison principle for entire weak sub- and super-solutions of the equation $(\ast)$ $w_t-\Delta_p (w) = |w|^{q-1}w$ in the half-space ${\mathbb S}= {\mathbb R}^1_+\times {\mathbb R}^n$, where $n\geq 1$, $q>0$ and $ \Delta_p (w):={div}_x(|\nabla_x w|^{p-2}\nabla_x w)$, $1<p\leq 2$. In our study we impose neither restrictions on the behaviour of entire weak sub- and super-solutions on the hyper-plane $t=0$, nor any growth conditions on their behaviour and on that of any of their partial derivatives at infinity. We prove that if $1<q\leq p-1+\frac pn$, and $u$ and $v$ are, respectively, an entire weak super-solution and an entire weak sub-solution of ($\ast$) in $\Bbb S$ which belong, only locally in $\Bbb S$, to the corresponding Sobolev space and are such that $u\geq v$, then $u\equiv v$. The result is sharp. As direct corollaries we obtain known Fujita-type and Liouville-type theorems.


title: Constraining Intermediate-Mass Black Holes in Globular Clusters

abstract: Decades after the first predictions of intermediate-mass black holes (IMBHs) in globular clusters (GCs) there is still no unambiguous observational evidence for their existence. The most promising signatures for IMBHs are found in the cores of GCs, where the evidence now comes from the stellar velocity distribution, the surface density profile, and, for very deep observations, the mass-segregation profile near the cluster center. However, interpretation of the data, and, in particular, constraints on central IMBH masses, require the use of detailed cluster dynamical models. Here we present results from Monte Carlo cluster simulations of GCs that harbor IMBHs. As an example of application, we compare velocity dispersion, surface brightness and mass-segregation profiles with observations of the GC M10, and constrain the mass of a possible central IMBH in this cluster. We find that, although M10 does not seem to possess a cuspy surface density profile, the presence of an IMBH with a mass up to 0.75% of the total cluster mass, corresponding to about 600 Msun, cannot be excluded. This is also in agreement with the surface brightness profile, although we find it to be less constraining, as it is dominated by the light of giants, causing it to fluctuate significantly. We also find that the mass-segregation profile cannot be used to discriminate between models with and without IMBH. The reason is that M10 is not yet dynamically evolved enough for the quenching of mass segregation to take effect. Finally, detecting a velocity dispersion cusp in clusters with central densities as low as in M10 is extremely challenging, and has to rely on only 20-40 bright stars. It is only when stars with masses down to 0.3 Msun are included that the velocity cusp is sampled close enough to the IMBH for a significant increase above the core velocity dispersion to become detectable.


title: Structures in the microwave background radiation

abstract: We compare the actual WMAP maps with artificial, purely statistical maps of the same harmonic content to argue that there are, with confidence level 99.7 %, ring-type structures in the observed cosmic microwave background.


title: Objective-First Nanophotonic Design

abstract: We introduce an "objective-first" strategy for designing nanophotonic devices, and we demonstrate the design of nanophotonic coupler, cloak, and mimic devices.


title: A Liouville comparison principle for solutions of semilinear parabolic second-order partial differential inequalities

abstract: We obtain a new Liouville comparison principle for entire weak solutions $(u,v)$ of semilinear parabolic second-order partial differential inequalities of the form $$ u_t -{\mathcal L}u- |u|^{q-1}u\geq v_t -{\mathcal L}v- |v|^{q-1}v (*) $$ in the half-space ${\mathbb S} = {\mathbb R}^1_+ \times \mathbb R^n$. Here $n\geq 1$, $q>0$ and $$ {\mathcal L}=\sum\limits_{i,j=1}^n\frac{\partial}{{\partial}x_i} [ a_{ij}(t, x) \frac{\partial}{{\partial}x_j}],$$ where $a_{ij}(t,x)$, $i,j=1,...,n$, are functions defined, measurable and locally bounded in $\mathbb S$, and such that $a_{ij}(t,x)=a_{ji}(t,x)$ and $$ \sum_{i,j=1}^n a_{ij}(t,x)\xi_i\xi_j\geq 0 $$ for almost all $(t,x)\in \mathbb S$ and all $\xi \in \mathbb R^n$. The critical exponents in the Liouville comparison principle obtained, which responsible for the non-existence of non-trivial (i.e., such that $u\not \equiv v$) entire weak solutions to (*) in $\mathbb S$, depend on the behaviour of the coefficients of the operator $\mathcal L$ at infinity. As direct corollaries we obtain a new Fujita comparison principle for entire weak solutions $(u,v)$ of the Cauchy problem for the inequality (*), as well as new Liouville-type and Fujita-type theorems for non-negative entire weak solutions $u$ of the inequality (*) in the case when $v\equiv 0$. All the results obtained are new and sharp.


title: Correlations of superconducting fluctuations in a two-gap system

abstract: We derive analytically the spatial correlation functions for gap fluctuations in two-band scenario with intra- and interband pair-transfer interactions. These functions demonstrate the changes in spatial functionality due to the presence of two channels of coherency described by the divergent and finite correlation lengths. Even at the phase transition point both channels are essential for two-band superconductivity. Generally their relative contributions depend on the temperature and system parameters.


title: The Heart of Fidelity

abstract: The multi-electron wave function of an interacting electron system depends on the size of the system, i.e. the number of electrons. Here the question investigated is how the wave function changes for a symmetric Friedel-Anderson impurity when the volume is doubled. It turns out that for sufficiently large volume (when the level spacing is smaller than the resonance width) the change in the wave function can be expressed in terms of a universal single-electron state |q> centered at the Fermi level. This electron state is independent of the number of electrons and independent of the parameters of the Friedel-Anderson impurity. It is even the same universal state for a Kondo impurity and a symmetric Friedel impurity independent of any parameter. The only requirement is that the impurity has a resonance exactly at the Fermi level and that the level spacing is smaller than the resonance width. This result clarifies recent fidelity calculations.


title: Theory and phenomenology of helicity amplitudes for high energy exclusive leptoproduction of the rho-meson

abstract: We review here two approaches to describe hard leptoproduction of transversally polarized rho-meson, based on recent calculation of the gamma*T -> rhoT impact factor up to twist 3 accuracy in the collinear factorization frame, including 2- and 3- particles Fock-states. The first approach uses a model of the unintegrated gluon density (the proton impact factor) which allows a comparison of our predictions with H1 and ZEUS data for the ratios of helicity amplitudes T(gamma*T -> rhoT)/T(gamma*L -> rhoL) and T(gamma*T -> rhoL)/T(gamma*L -> rhoL). In the second approach, we transform the gamma*T -> rhoT impact factor into the impact parameter space. We show that the transformed amplitude factorizes according to conventional dipole picture. We shortly discuss a way to implement the nucleon saturation effects in our approach.


title: Challenges for Emergent Gravity

abstract: The idea of gravity as an "emergent" phenomenon has gained popularity in recent years. I discuss some of the obstacles that any such model must overcome in order to agree with the observational underpinnings of general relativity.


title: Second-Order Slepian-Wolf Coding Theorems for Non-Mixed and Mixed Sources

abstract: The second-order achievable rate region in Slepian-Wolf source coding systems is investigated. The concept of second-order achievable rates, which enables us to make a finer evaluation of achievable rates, has already been introduced and analyzed for general sources in the single-user source coding problem. Analogously, in this paper, we first define the second-order achievable rate region for the Slepian-Wolf coding system to establish the source coding theorem in the second- order sense. The Slepian-Wolf coding problem for correlated sources is one of typical problems in the multi-terminal information theory. In particular, Miyake and Kanaya, and Han have established the first-order source coding theorems for general correlated sources. On the other hand, in general, the second-order achievable rate problem for the Slepian-Wolf coding system with general sources remains still open up to present. In this paper we present the analysis concerning the second- order achievable rates for general sources which are based on the information spectrum methods developed by Han and Verdu. Moreover, we establish the explicit second-order achievable rate region for i.i.d. correlated sources with countably infinite alphabets and mixed correlated sources, respectively, using the relevant asymptotic normality.


title: Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences

abstract: In this paper, we study collective additive tree spanners for families of graphs enjoying special Robertson-Seymour's tree-decompositions, and demonstrate interesting consequences of obtained results. We say that a graph $G$ {\em admits a system of $\mu$ collective additive tree $r$-spanners} (resp., {\em multiplicative tree $t$-spanners}) if there is a system $\cT(G)$ of at most $\mu$ spanning trees of $G$ such that for any two vertices $x,y$ of $G$ a spanning tree $T\in \cT(G)$ exists such that $d_T(x,y)\leq d_G(x,y)+r$ (resp., $d_T(x,y)\leq t\cdot d_G(x,y)$). When $\mu=1$ one gets the notion of {\em additive tree $r$-spanner} (resp., {\em multiplicative tree $t$-spanner}). It is known that if a graph $G$ has a multiplicative tree $t$-spanner, then $G$ admits a Robertson-Seymour's tree-decomposition with bags of radius at most $\lceil{t/2}\rceil$ in $G$. We use this to demonstrate that there is a polynomial time algorithm that, given an $n$-vertex graph $G$ admitting a multiplicative tree $t$-spanner, constructs a system of at most $\log_2 n$ collective additive tree $O(t\log n)$-spanners of $G$. That is, with a slight increase in the number of trees and in the stretch, one can "turn" a multiplicative tree spanner into a small set of collective additive tree spanners. We extend this result by showing that if a graph $G$ admits a multiplicative $t$-spanner with tree-width $k-1$, then $G$ admits a Robertson-Seymour's tree-decomposition each bag of which can be covered with at most $k$ disks of $G$ of radius at most $\lceil{t/2}\rceil$ each. This is used to demonstrate that, for every fixed $k$, there is a polynomial time algorithm that, given an $n$-vertex graph $G$ admitting a multiplicative $t$-spanner with tree-width $k-1$, constructs a system of at most $k(1+ \log_2 n)$ collective additive tree $O(t\log n)$-spanners of $G$.


title: Thermodynamics in the Limit of Irreversible Reactions

abstract: For many real physico-chemical complex systems detailed mechanism includes both reversible and irreversible reactions. Such systems are typical in homogeneous combustion and heterogeneous catalytic oxidation. Most complex enzyme reactions include irreversible steps. The classical thermodynamics has no limit for irreversible reactions whereas the kinetic equations may have such a limit. We represent the systems with irreversible reactions as the limits of the fully reversible systems when some of the equilibrium concentrations tend to zero. The structure of the limit reaction system crucially depends on the relative rates of this tendency to zero. We study the dynamics of the limit system and describe its limit behavior as $t \to \infty$. If the reversible systems obey the principle of detailed balance then the limit system with some irreversible reactions must satisfy the {\em extended principle of detailed balance}. It is formulated and proven in the form of two conditions: (i) the reversible part satisfies the principle of detailed balance and (ii) the convex hull of the stoichiometric vectors of the irreversible reactions does not intersect the linear span of the stoichiometric vectors of the reversible reactions. These conditions imply the existence of the global Lyapunov functionals and alow an algebraic description of the limit behavior. The thermodynamic theory of the irreversible limit of reversible reactions is illustrated by the analysis of hydrogen combustion.


title: Smooth Conjugacy classes of circle diffeomorphisms with irrational rotation number

abstract: In this paper we prove the $C^1$-density of every $C^r$-conjugacy class in the closed subset of diffeomorphisms of the circle with a given irrational rotation number.


title: Gravity's weight on worldline fuzziness

abstract: We investigate a connection between recent results in 3D quantum gravity, providing an effective noncommutative-spacetime description, and some earlier heuristic descriptions of a quantum-gravity contribution to the fuzziness of the worldlines of particles. We show that 3D-gravity-inspired spacetime noncommutativity reflects some of the features suggested by previous heuristic arguments. Most notably, gravity-induced worldline fuzziness, while irrelevantly small on terrestrial scales, could be observably large for propagation of particles over cosmological distances.


title: Gravitational waves and the breaking of parallelograms in space-time

abstract: We show that plane-fronted gravitational waves induce the breaking of parallelograms in space-time, in the context of the teleparallel equivalent of general relativity (TEGR). The breaking of parallelograms can be shown by considering a thought experiment that consists of a simple physical configuration, similar to the experimental setup that is expected to lead to the measurement of gravitational waves with the use of laser interferometers. An incident beam of light splits into two beams running along perpendicular arms, endowed with fixed mirrors at the extremes. The reflected light beams are detected at the same point of the splitting. Along each arm, the two light beams define two null vectors: the forward vector and the reflected vector. We show that the sum of these four vectors, the forward and reflected null vectors along the two arms, do form a parallelogram in flat space-time, but not in the presence of plane-fronted gravitational waves. The non-closure of the parallelogram is a manifestation of the torsion of the space-time, and in this context indicates the existence of gravitational waves.


title: An XML-Format for Conjectures in Geometry (Work-in-Progress)

abstract: With a large number of software tools dedicated to the visualisation and/or demonstration of properties of geometric constructions and also with the emerging of repositories of geometric constructions, there is a strong need of linking them, and making them and their corpora, widely usable. A common setting for interoperable interactive geometry was already proposed, the i2g format, but, in this format, the conjectures and proofs counterparts are missing. A common format capable of linking all the tools in the field of geometry is missing. In this paper an extension of the i2g format is proposed, this extension is capable of describing not only the geometric constructions but also the geometric conjectures. The integration of this format into the Web-based GeoThms, TGTP and Web Geometry Laboratory systems is also discussed.


title: Anomalous Workfunction Anisotropy in Ternary Acetylides

abstract: Anomalous anisotropy of workfunction values in ternary alkali metal transition metal acetylides is reported. Workfunction values of some characteristic surfaces in these emerging semiconducting materials may differ by more than $\approx$ 2 eV as predicted by Density Functional Theory calculations. This large anisotropy is a consequence of the relative orientation of rod-like [MC$_{2}$]$_{\infty}$ negatively charged polymeric subunits and the surfaces, with M being a transition metal or metalloid element and C$_{2}$ refers to the acetylide ion C$_{2}^{2-}$, with the rods embedded into an alkali cation matrix. It is shown that the conversion of the seasoned Cs$_{2}$Te photo-emissive material to ternary acetylide Cs$_{2}$TeC$_{2}$ results in substantial reduction of its $\approx$ 3 eV workfunction down to 1.71-2.44 eV on the Cs$_{2}$TeC$_{2}$(010) surface while its high quantum yield is preserved. Similar low workfunction values are predicted for other ternary acetylides as well, allowing for a broad range of applications from improved electron- and light-sources to solar cells, field emission displays, detectors and scanners.


title: Design Differences between the Pan-STARRS PS1 and PS2 Telescopes

abstract: The PS2 telescope is the second in an array of wide-field telescopes that is being built for the Panoramic-Survey Telescope and Rapid Response System (Pan-STARRS) on Haleakala. The PS2 design has evolved incrementally based on lessons learned from PS1, but these changes should result in significant improvements in image quality, tracking performance in windy conditions, and reductions in scattered light. The optics for this telescope are finished save for their coatings and the fabrication for the telescope structure itself is well on the way towards completion and installation on-site late this year (2012). The most significant differences between the two telescopes include the following: secondary mirror support changes, improvements in the optical polishing, changes in the optical coatings to improve throughput and decrease ghosting, removal of heat sources inside the mirror cell, expansion of the primary mirror figure control system, changes in the baffle designs, and an improved cable wrap design. This paper gives a description of each of these design changes and discusses the motivations for making them.


title: Resource Allocation: Realizing Mean-Variability-Fairness Tradeoffs

abstract: Network Utility Maximization (NUM) provides a key conceptual framework to study reward allocation amongst a collection of users/entities across disciplines as diverse as economics, law and engineering. In network engineering, this framework has been particularly insightful towards understanding how Internet protocols allocate bandwidth, and motivated diverse research efforts on distributed mechanisms to maximize network utility while incorporating new relevant constraints, on energy, power, storage, stability, etc., e.g., for systems ranging from communication networks to the smart-grid. However when the available resources and/or users' utilities vary over time, reward allocations will tend to vary, which in turn may have a detrimental impact on the users' overall satisfaction or quality of experience. This paper introduces a generalization of NUM framework which explicitly incorporates the detrimental impact of temporal variability in a user's allocated rewards. It explicitly incorporates tradeoffs amongst the mean and variability in users' reward allocations, as well as fairness. We propose a simple online algorithm to realize these tradeoffs, which, under stationary ergodic assumptions, is shown to be asymptotically optimal, i.e., achieves a long term performance equal to that of an offline algorithm with knowledge of the future variability in the system. This substantially extends work on NUM to an interesting class of relevant problems where users/entities are sensitive to temporal variability in their service or allocated rewards.