title: Parton distribution amplitudes of light vector mesons

abstract: A rainbow-ladder truncation of QCD's Dyson-Schwinger equations is used to calculate rho- and phi-meson valence-quark (twist-two parton) distribution amplitudes (PDAs) via a light-front projection of their Bethe-Salpeter wave functions, which possess S- and D-wave components of comparable size in the meson rest frame. All computed PDAs are broad concave functions, whose dilation with respect to the asymptotic distribution is an expression of dynamical chiral symmetry breaking. The PDAs can be used to define an ordering of valence-quark light-front spatial-extent within mesons: this size is smallest within the pion and increases through the perp-polarisation to the parallel-polarisation of the vector mesons; effects associated with the breaking of SU(3)-flavour symmetry are significantly smaller than those associated with altering the polarisation of vector mesons. Notably, the predicted pointwise behaviour of the rho-meson PDAs is in quantitative agreement with that inferred recently via an analysis of diffractive vector-meson photoproduction experiments.


title: New observations on primitive roots modulo primes

abstract: We make many new observations on primitive roots modulo primes. For an odd prime $p$ and an integer $c$, we establish a theorem concerning $\sum_g(\frac{g+c}p)$, where $g$ runs over all the primitive roots modulo $p$ among $1,\ldots,p-1$, and $(\frac{\cdot}p)$ denotes the Legendre symbol. On the basis of our numerical computations, we formulate 35 conjectures involving primitive roots modulo primes. For example, we conjecture that for any prime $p$ there is a primitive root $g<p$ modulo $p$ with $g-1$ a square, and that for any prime $p>3$ there is a prime $q<p$ with the Bernoulli number $B_{q-1}$ a primitive root modulo $p$. We also make related observations on quadratic nonresidues modulo primes and primitive prime divisors of some combinatorial sequences. For example, based on heuristic arguments we conjecture that for any prime $p>3$ there exists a Fibonacci number $F_k<p/2$ which is a quadratic nonresidue modulo $p$; this implies that there is a deterministic polynomial time algorithm to find square roots of quadratic residues modulo a prime $p>3$.


title: Dualities and fivebrane instantons

abstract: We derive the fivebrane instanton corrections to the hypermultiplet moduli space $M_H$ of Calabi-Yau string vacua using S-duality symmetry of the type IIB formulation. The result is given in terms of a set of holomorphic functions on the twistor space of $M_H$. It contains not only all orders of the instanton expansion, but also takes into account the presence of D1-D(-1)-brane instantons. Furthermore, we provide a thorough study of the group of discrete isometries of $M_H$ and show that its closure requires a modification of certain symmetry transformations. After this modification, the fivebrane instantons are proven to be consistent with the full duality group.


title: Helioseismology and Asteroseismology: Looking for Gravitational Waves in acoustic oscillations

abstract: Current helioseismology observations allow the determination of the frequencies and surface velocity amplitudes of solar acoustic modes with exceptionally high precision. In some cases, the frequency accuracy is better than one part in a million. We show that there is a distinct possibility that the quadrupole acoustic modes of low order could be excited by gravitational waves (GWs), if the GWs have a strain amplitude in the range $10^{-20}h_{-20}$ with $h_{-20}\sim 1$ or $h_{-20}\sim 10^{3}$, as predicted by several types of GW sources, such as galactic ultracompact binaries or extreme mass ratio inspirals and coalescence of black holes. If the damping rate at low order is $ 10^{-3}\eta_N$ $\mu{\rm Hz}$, with $\eta_N\sim 10^{-3} $ - $1,$ as inferred from the theory of stellar pulsations, then GW radiation will lead to a maximum rms surface velocity amplitude of quadrupole modes of the order of $h_{-20}\eta_N^{-1}\sim$ $10^{-9}$ - $10^{-3}$ ${\rm cm\; s^{-1}}$, on the verge of what is currently detectable via helioseismology. The frequency and sensitivity range probed by helioseismological acoustic modes overlap with, and complement, the capabilities of eLISA for the brightest resolved ultracompact galactic binaries.

categories: astro-ph.CO astro-ph.SR gr-qc physics.ins-det physics.space-ph


title: Clausal Resolution for Modal Logics of Confluence

abstract: We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such logics. We show how the inference rules related to the normal logics of confluence can be systematically obtained from the parametrised axioms that characterise such systems. We discuss soundness, completeness, and termination of the method. In particular, completeness can be modularly proved by showing that the conclusions of each newly added inference rule ensures that the corresponding conditions on frames hold. Some examples are given in order to illustrate the use of the method.


title: Logistic Biplots for Ordinal Data with an Application to Job Satisfaction of Doctorate Degree Holders in Spain

abstract: Biplot Methods allow for the simultaneous representation of individuals and variables of a data matrix. For Binary or Nominal data, Logistic biplots have been recently developed to extend the classical linear representations for continuous data. When data are ordinal, linear, binary or nominal logistic biplots are not adequate and techniques as Categorical Principal Component Analysis (CATPCA) or Item Response Theory (IRT) for ordinal items should be used instead. In this paper we extend the Biplot to ordinal data. The resulting method is termed Ordinal Logistic Biplot (OLB). Row scores are computed to have ordinal logistic responses along the dimensions and column parameters produce logistic response surfaces that, projected onto the space spanned by the row scores, define a linear biplot. A proportional odds model is used, obtaining a multidimensional model known as graded response model in the Item Response Theory literature. We study the geometry of such a representation and construct computational algorithms for the estimation of parameters and the calculation of prediction directions. Ordinal Logistic Biplots extend both CATPCA and IRT in the sense that gives a graphical representation for IRT similar to the biplot for CATPCA. The main theoretical results are applied to the study of job satisfaction of doctorate (PhD) holders in Spain. Holders of doctorate degrees or other research qualifications are crucial to the creation, commercialization and dissemination of knowledge and to innovation. The proposed methods are used to extract useful information from the Spanish data from the international 'Survey on the careers of doctorate holders (CDH)', jointly carried out Eurostat, the Organisation for Economic Co-operation and Development (OECD) and UNESCO's Institute for Statistics (UIS).


title: Martin boundary for some symmetric L\'evy processes

abstract: In this paper we study the Martin boundary of open sets with respect to a large class of purely discontinuous symmetric L\'evy processes in ${\mathbb R}^d$. We show that, if $D\subset {\mathbb R}^d$ is an open set which is $\kappa$-fat at a boundary point $Q\in \partial D$, then there is exactly one Martin boundary point associated with $Q$ and this Martin boundary point is minimal.


title: Reservoir Computing Approach to Robust Computation using Unreliable Nanoscale Networks

abstract: As we approach the physical limits of CMOS technology, advances in materials science and nanotechnology are making available a variety of unconventional computing substrates that can potentially replace top-down-designed silicon-based computing devices. Inherent stochasticity in the fabrication process and nanometer scale of these substrates inevitably lead to design variations, defects, faults, and noise in the resulting devices. A key challenge is how to harness such devices to perform robust computation. We propose reservoir computing as a solution. In reservoir computing, computation takes place by translating the dynamics of an excited medium, called a reservoir, into a desired output. This approach eliminates the need for external control and redundancy, and the programming is done using a closed-form regression problem on the output, which also allows concurrent programming using a single device. Using a theoretical model, we show that both regular and irregular reservoirs are intrinsically robust to structural noise as they perform computation.


title: Minimal thinness with respect to symmetric L\'evy processes

abstract: Minimal thinness is a notion that describes the smallness of a set at a boundary point. In this paper, we provide tests for minimal thinness at finite and infinite minimal Martin boundary points for a large class of purely discontinuous symmetric L\'evy processes.


title: De Sitter Space Without Dynamical Quantum Fluctuations

abstract: We argue that, under certain plausible assumptions, de Sitter space settles into a quiescent vacuum in which there are no dynamical quantum fluctuations. Such fluctuations require either an evolving microstate, or time-dependent histories of out-of-equilibrium recording devices, which we argue are absent in stationary states. For a massive scalar field in a fixed de Sitter background, the cosmic no-hair theorem implies that the state of the patch approaches the vacuum, where there are no fluctuations. We argue that an analogous conclusion holds whenever a patch of de Sitter is embedded in a larger theory with an infinite-dimensional Hilbert space, including semiclassical quantum gravity with false vacua or complementarity in theories with at least one Minkowski vacuum. This reasoning provides an escape from the Boltzmann brain problem in such theories. It also implies that vacuum states do not uptunnel to higher-energy vacua and that perturbations do not decohere while slow-roll inflation occurs, suggesting that eternal inflation is much less common than often supposed. On the other hand, if a de Sitter patch is a closed system with a finite-dimensional Hilbert space, there will be Poincare recurrences and dynamical Boltzmann fluctuations into lower-entropy states. Our analysis does not alter the conventional understanding of the origin of density fluctuations from primordial inflation, since reheating naturally generates a high-entropy environment and leads to decoherence, nor does it affect the existence of non-dynamical vacuum fluctuations such as those that give rise to the Casimir effect.


title: Consistency tests of the stability of fundamental couplings and unification scenarios

abstract: We test the consistency of several independent astrophysical measurements of fundamental dimensionless constants. In particular, we compare direct measurements of the fine-structure constant $\alpha$ and the proton-to-electron mass ratio $\mu=m_p/m_e$ (mostly in the optical/ultraviolet) with combined measurements of $\alpha$, $\mu$ and the proton gyromagnetic ratio $g_p$ (mostly in the radio band). We point out some apparent inconsistencies, which suggest that hidden systematics may be affecting some of the measurements. These findings demonstrate the importance of future more precise measurements with ALMA, ESPRESSO and ELT-HIRES. We also highlight some of the implications of the currently available measurements for fundamental physics, specifically for unification scenarios.


title: Effects of Curvature-Higgs Coupling on Electroweak Fine-Tuning

abstract: It is shown that, nonminimal coupling between the Standard Model (SM) Higgs field and spacetime curvature, present already at the renormalizable level, can be fine-tuned to stabilize the electroweak scale against power-law ultraviolet divergences. The nonminimal coupling acts as an extrinsic stabilizer with no effect on the loop structure of the SM, if gravity is classical. This novel fine-tuning scheme, which could also be interpreted within Sakharov's induced gravity approach, works neatly in extensions of the SM involving additional Higgs fields or singlet scalars.


title: The automated computation of tree-level and next-to-leading order differential cross sections, and their matching to parton shower simulations

abstract: We discuss the theoretical bases that underpin the automation of the computations of tree-level and next-to-leading order cross sections, of their matching to parton shower simulations, and of the merging of matched samples that differ by light-parton multiplicities. We present a computer program, MadGraph5_aMC@NLO, capable of handling all these computations -- parton-level fixed order, shower-matched, merged -- in a unified framework whose defining features are flexibility, high level of parallelisation, and human intervention limited to input physics quantities. We demonstrate the potential of the program by presenting selected phenomenological applications relevant to the LHC and to a 1-TeV $e^+e^-$ collider. While next-to-leading order results are restricted to QCD corrections to SM processes in the first public version, we show that from the user viewpoint no changes have to be expected in the case of corrections due to any given renormalisable Lagrangian, and that the implementation of these are well under way.


title: Super-Adiabatic Particle Number in Schwinger and de Sitter Particle Production

abstract: We consider the time evolution of the adiabatic particle number in both time-dependent electric fields and in de Sitter spaces, and define a super-adiabatic particle number in which the (divergent) adiabatic expansion is truncated at optimal order. In this super-adiabatic basis, the particle number evolves smoothly in time, according to Berry's universal adiabatic smoothing of the Stokes phenomenon. This super-adiabatic basis also illustrates clearly the quantum interference effects associated with particle production, in particular for sequences of time-dependent electric field pulses, and in eternal de Sitter space where there is constructive interference in even dimensions, and destructive interference in odd dimensions.


title: Quantum Non-Markovianity: Characterization, Quantification and Detection

abstract: We present a comprehensive and up to date review on the concept of quantum non-Markovianity, a central theme in the theory of open quantum systems. We introduce the concept of quantum Markovian process as a generalization of the classical definition of Markovianity via the so-called divisibility property and relate this notion to the intuitive idea that links non-Markovianity with the persistence of memory effects. A detailed comparison with other definitions presented in the literature is provided. We then discuss several existing proposals to quantify the degree of non-Markovianity of quantum dynamics and to witness non-Markovian behavior, the latter providing sufficient conditions to detect deviations from strict Markovianity. Finally, we conclude by enumerating some timely open problems in the field and provide an outlook on possible research directions.


title: Phase-field theory of brine entrapment in sea ice: Short-time frozen microstructures

abstract: We analyze the early phase of brine entrapment in sea ice, using a phase field model. This model for a first-order phase transition couples non-conserved order parameter kinetics to salt diffusion. The evolution equations are derived from a Landau-Ginzburg order parameter gradient dynamics together with salinity conservation. The numerical solution of model equations by an exponential time differencing scheme describes the time evolution of phase separation between liquid water with high salinity and the ice phase with low salinity. The numerical solution in one and two dimensions indicates the formation of one dominant wavelength which sets the length scale of short-time frozen structures. A stability analysis provides the phase diagram in terms of two Landau parameters. It is distinguished an uniform ice phase, a homogeneous liquid saline water solution and a phase where solidification structures can be formed. The Landau parameters are extracted from the supercooling and superheating as well as the freezing point temperature of water. With the help of realistic parameters the distribution of brine inclusions is calculated and found in agreement with the measured samples. The size of the ice domains separating regions of concentrated seawater depends on salinity and temperature and corresponds to the size of sea ice platelets obtained from a morphological stability analysis for the solidification of salt water.


title: Dynamics of $C^1$-diffeomorphisms: global description and prospects for classification

abstract: We are interested in finding a dense part of the space of $C^1$-diffeomorphisms which decomposes into open subsets corresponding to different dynamical behaviors: we discuss results and questions in this direction. In particular we present recent results towards a conjecture by J. Palis: any system can be approximated either by one which is hyperbolic (and whose dynamics is well understood) or by one which exhibits a homoclinic bifurcation (a simple local configuration involving one or two periodic orbits).


title: A dynamical model of the local cosmic expansion

abstract: We combine the equations of motion that govern the dynamics of galaxies in the local volume with Bayesian techniques in order to fit orbits to published distances and velocities of galaxies within $\sim 3$ Mpc. We find a Local Group (LG) mass $2.3\pm 0.7\times 10^{12}{\rm M}_\odot$ that is consistent with the combined dynamical masses of M31 and the Milky Way, and a mass ratio $0.54^{+0.23}_{-0.17}$ that rules out models where our Galaxy is more massive than M31 with $\sim 95\%$ confidence. The Milky Way's circular velocity at the solar radius is relatively high, $245\pm 23$ km/s, which helps to reconcile the mass derived from the local Hubble flow with the larger value suggested by the `timing argument'. Adopting {\it Planck}'s bounds on $\Omega_\Lambda$ yields a (local) Hubble constant $H_0=67\pm 5$km/s/Mpc which is consistent with the value found on cosmological scales. Restricted N-body experiments show that substructures tend to fall onto the LG along the Milky Way-M31 axis, where the quadrupole attraction is maximum. Tests against mock data indicate that neglecting this effect slightly overestimates the LG mass without biasing the rest of model parameters. We also show that both the time-dependence of the LG potential and the cosmological constant have little impact on the observed local Hubble flow.


title: Towards Evidence of Long-Range Correlations in Shallow Seismic Activities

abstract: In this work, we introduce a new methodology to construct a network of epicenters that avoids problems found in well-established methodologies when they are applied to global catalogs of earthquakes located in shallow zones. The new methodology involves essentially the introduction of a time window which works as a temporal filter. Our approach is more generic and for small regions the results coincide with previous findings. The network constructed with that model has small-world properties and the distribution of node connectivity follows a non-traditional function, namely a q-exponential, where scale-free properties are present. The vertices with larger connectivity in the network correspond to the areas with very intense seismic activities in the period considered. These new results strengthen the hypothesis of long spatial and temporal correlations between earthquakes.


title: unWISE: unblurred coadds of the WISE imaging

abstract: The Wide-Field Infrared Survey Explorer (WISE; Wright et al. 2010) satellite observed the full sky in four mid-infrared bands in the 2.8 to 28 micron range. The primary mission was completed in 2010. The WISE team have done a superb job of producing a series of high-quality, well-documented, complete Data Releases in a timely manner. However, the "Atlas Image" coadds that are part of the recent AllWISE and previous data releases were intentionally blurred. Convolving the images by the point-spread function while coadding results in "matched-filtered" images that are close to optimal for detecting isolated point sources. But these matched-filtered images are sub-optimal or inappropriate for other purposes. For example, we are photometering the WISE images at the locations of sources detected in the Sloan Digital Sky Survey (York et al. 2000) through forward modeling, and this blurring decreases the available signal-to-noise by effectively broadening the point-spread function. This paper presents a new set of coadds of the WISE images that have not been blurred. These images retain the intrinsic resolution of the data and are appropriate for photometry preserving the available signal-to-noise. Users should be cautioned, however, that the W3- and W4-band coadds contain artifacts around large, bright structures (large galaxies, dusty nebulae, etc); eliminating these artifacts is the subject of ongoing work. These new coadds, and the code used to produce them, are publicly available at http://unwise.me .


title: On the agreement between small-world-like OFC model and real earthquakes

abstract: In this article we implemented simulations of the OFC model for earthquakes for two different topologies: regular and small-world, where in the latter the links are randomly rewired with probability $p$ . In both topologies, we have studied the distribution of time intervals between consecutive earthquakes and the border effects present in each one. In addition, we also have characterized the influence that the probability $p$ produces in certain characteristics of the lattice and in the intensity of border effects. From the two topologies, networks of consecutive epicenters were constructed, that allowed us to analyze the distribution of connectivities of each one. In our results distributions arise belonging to a family of non-traditional distributions functions, which agrees with previous studies using data from actual earthquakes. Our results reinforce the idea that the Earth is in a critical self-organized state and furthermore point towards temporal and spatial correlations between earthquakes in different places.


title: Scattering and bound states of fermions in a mixed vector-scalar smooth step potential

abstract: The scattering of a fermion in the background of a smooth step potential is considered with a general mixing of vector and scalar Lorentz structures with the scalar coupling stronger than or equal to the vector coupling. Charge-conjugation and chiral-conjugation transformations are discussed and it is shown that a finite set of intrinsically relativistic bound-state solutions appears as poles of the transmission amplitude. It is also shown that those bound solutions disappear asymptotically as one approaches the conditions for the realization of the so-called spin and pseudospin symmetries in a four-dimensional space-time.


title: Negative Casimir Entropies in Nanoparticle Interactions

abstract: Negative entropy has been known in Casimir systems for some time. For example, it can occur between parallel metallic plates modeled by a realistic Drude permittivity. Less well known is that negative entropy can occur purely geometrically, say between a perfectly conducting sphere and a conducting plate. The latter effect is most pronounced in the dipole approximation, which is reliable when the size of the sphere is small compared to the separation between the sphere and the plate. Therefore, here we examine cases where negative entropy can occur between two electrically and magnetically polarizable nanoparticles or atoms, which need not be isotropic, and between such a small object and a conducting plate. Negative entropy can occur even between two perfectly conducting spheres, between two electrically polarizable nano-particles if there is sufficient anisotropy, between a perfectly conducting sphere and a Drude sphere,and between a sufficiently anisotropic electrically polarizable nano-particle and a transverse magnetic conducting plate.


title: Microsoft COCO: Common Objects in Context

abstract: We present a new dataset with the goal of advancing the state-of-the-art in object recognition by placing the question of object recognition in the context of the broader question of scene understanding. This is achieved by gathering images of complex everyday scenes containing common objects in their natural context. Objects are labeled using per-instance segmentations to aid in precise object localization. Our dataset contains photos of 91 objects types that would be easily recognizable by a 4 year old. With a total of 2.5 million labeled instances in 328k images, the creation of our dataset drew upon extensive crowd worker involvement via novel user interfaces for category detection, instance spotting and instance segmentation. We present a detailed statistical analysis of the dataset in comparison to PASCAL, ImageNet, and SUN. Finally, we provide baseline performance analysis for bounding box and segmentation detection results using a Deformable Parts Model.


title: Warm Molecular Gas in Luminous Infrared Galaxies

abstract: We present our initial results on the CO rotational spectral line energy distribution (SLED) of the $J$ to $J$$-$1 transitions from $J=4$ up to $13$ from Herschel SPIRE spectroscopic observations of 65 luminous infrared galaxies (LIRGs) in the Great Observatories All-Sky LIRG Survey (GOALS). The observed SLEDs change on average from one peaking at $J \le 4$ to a broad distribution peaking around $J \sim\,$6$-$7 as the IRAS 60-to-100 um color, $C(60/100)$, increases. However, the ratios of a CO line luminosity to the total infrared luminosity, $L_{\rm IR}$, show the smallest variation for $J$ around 6 or 7. This suggests that, for most LIRGs, ongoing star formation (SF) is also responsible for a warm gas component that emits CO lines primarily in the mid-$J$ regime ($5 \lesssim J \lesssim 10$). As a result, the logarithmic ratios of the CO line luminosity summed over CO (5$-$4), (6$-$5), (7$-$6), (8$-$7) and (10$-$9) transitions to $L_{\rm IR}$, $\log R_{\rm midCO}$, remain largely independent of $C(60/100)$, and show a mean value of $-4.13$ ($\equiv \log R^{\rm SF}_{\rm midCO}$) and a sample standard deviation of only 0.10 for the SF-dominated galaxies. Including additional galaxies from the literature, we show, albeit with small number of cases, the possibility that galaxies, which bear powerful interstellar shocks unrelated to the current SF, and galaxies, in which an energetic active galactic nucleus contributes significantly to the bolometric luminosity, have their $R_{\rm midCO}$ higher and lower than $R^{\rm SF}_{\rm midCO}$, respectively.


title: Bent Radio Jets Reveal a Stripped Interstellar Medium in NGC 1272

abstract: We report the discovery of bent double jets in the elliptical galaxy NGC 1272, a member of the Perseus cluster. The jets have a radius of curvature of ~2 kpc, much smaller than the galaxy half-light radius of ~11 kpc. This bending is likely a result of ram pressure, and indicates that the intracluster gas enters deep within the galaxy and that the interstellar medium of NGC 1272 has been significantly removed. X-ray observations of the surrounding intracluster medium allow us to constrain the pressure within the jet. We find that the standard assumptions of equipartition often used in interpreting other jets underestimate the pressure in the jets by a factor ~30.


title: Soft granular matter

abstract: We consider a dilute system of small hard beads or hard fibers immersed in a very soft gel able to withstand large elastic deformations. Because of its low to very low shear modulus, this system is very sensitive to small forces. We calculate the local deformation induced by a constant volume force, the inclusion weight. We explain how this deformation could be put in evidence by using techniques similar to the PIV method (particle image velocimetry) used to show complex velocity fields in transparent fluids.


title: Some remarkable new Plethystic Operators in the Theory of Macdonald Polynomials

abstract: In the 90's a collection of Plethystic operators were introduced in [3], [7] and [8] to solve some Representation Theoretical problems arising from the Theory of Macdonald polynomials. This collection was enriched in the research that led to the results which appeared in [5], [6] and [9]. However since some of the identities resulting from these efforts were eventually not needed, this additional work remained unpublished. As a consequence of very recent publications [4], [11], [19], [20], [21], a truly remarkable expansion of this theory has taken place. However most of this work has appeared in a language that is virtually inaccessible to practitioners of Algebraic Combinatorics. Yet, these developments have led to a variety of new conjectures in [2] in the Combinatorics and Symmetric function Theory of Macdonald Polynomials. The present work results from an effort to obtain in an elementary and accessible manner all the background necessary to construct the symmetric function side of some of these new conjectures. It turns out that the above mentioned unpublished results provide precisely the tools needed to carry out this project to its completion.


title: Robustness of Cucker-Smale flocking model

abstract: Consider a system of autonomous interacting agents moving in space, adjusting each own velocity as a weighted mean of the relative velocities of the other agents. In order to test the robustness of the model, we assume that each pair of agents, at each time step, can fail to connect with certain probability, the failure rate. This is a modification of the (deterministic) Flocking model introduced by Cucker and Smale in Emergent behavior in flocks, IEEE Trans. on Autom. Control, 2007, 52 (May) pp. 852-862. We prove that, if this random failures are independent in time and space, and have linear or sub-linear distance dependent rate of decay, the characteristic behavior of flocking exhibited by the original deterministic model, also holds true under random failures, for all failure rates.


title: Generic representation theory of finite fields in nondescribing characteristic

abstract: Let Rep(F;K) denote the category of functors from finite dimensional F-vector spaces to K-modules, where F is a field and K is a commutative ring. We prove that, if F is a finite field, and Char F is invertible in K, then the K-linear abelian category Rep(F;K) is equivalent to the product, over all k=0,1,2, ..., of the categories of K[GL(k,F)]-modules. As a consequence, if K is also a field, then small projectives are also injective in Rep(F;K), and will have finite length. Even more is true if Char K = 0: the category Rep(F;K) will be semisimple. In a last section, we briefly discuss "q=1" analogues and consider representations of various categories of finite sets. The main result follows from a 1992 result by L.G.Kovacs about the semigroup ring K[M_n(\F)].


title: On Formalisms for Dynamic Reconfiguration of Dependable Systems

abstract: Three formalisms of different kinds - VDM, Maude, and basic CCSdp - are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using as a case study the dynamic reconfiguration of a simple office workflow for order processing. The research is ongoing, and initial results are reported.


title: Computing all Affine Solution Sets of Binomial Systems

abstract: To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible decomposition of a variety is typically understood in affine space, including also those components with zero coordinates. For the problem of computing solution sets in the intersection of some coordinate planes, the direct application of a polyhedral method fails, because the original facial structure of the Newton polytopes may alter completely when selected variables become zero. Our new proposed method enumerates all factors contributing to a generalized permanent and toric solutions as a special case of this enumeration. For benchmark problems such as the adjacent 2-by-2 minors of a general matrix, our methods scale much better than the witness set representations of numerical algebraic geometry.


title: Two New Estimators of Entropy for Testing Normality

abstract: We present two new estimators for estimating the entropy of absolutely continuous random variables. Some properties of them are considered, specifically consistency of the first is proved. The introduced estimators are compared with the existing entropy estimators. Also, we propose two new tests for normality based on the introduced entropy estimators and compare their powers with the powers of other tests for normality. The results show that the proposed estimators and test statistics perform very well in estimating entropy and testing normality. A real example is presented and analyzed.


title: An S$\ell_1$LP-Active Set Approach for Feasibility Restoration in Power Systems

abstract: We consider power networks in which it is not possible to satisfy all loads at the demand nodes, due to some attack or disturbance to the network. We formulate a model, based on AC power flow equations, to restore the network to feasibility by shedding load at demand nodes, but doing so in a way that minimizes a weighted measure of the total load shed, and affects as few demand nodes as possible. Besides suggesting an optimal response to a given attack, our approach can be used to quantify disruption, thereby enabling "stress testing" to be performed and vulnerabilities to be identified. Optimization techniques including nonsmooth penalty functions, sequential linear programming, and active-set heuristics are used to solve this model. We describe an algorithmic framework and present convergence results, including a quadratic convergence result for the case in which the solution is fully determined by its constraints, a situation that arises frequently in the power systems application.


title: Sector Models - A Toolkit for Teaching General Relativity. Part 1: Curved Spaces and Spacetimes

abstract: Teaching the general theory of relativity to high school or undergraduate students must be based on an approach that is conceptual rather than mathematical. In this paper we present such an approach that requires no more than elementary mathematics. The central idea of this introduction to general relativity is the use of so-called sector models. Sector models describe curved spaces the Regge calculus way by subdivision into blocks with euclidean geometry. This procedure is similar to the approximation of a curved surface by flat triangles. We outline a workshop for high school and undergraduate students that introduces the notion of curved space by means of sector models of black holes. We further describe the extension to sector models of curved spacetimes. The spacetime models are suitable for learners with a basic knowledge of special relativity. For online teaching materials, see http://www.spacetimetravel.org . ----- F\"ur die Vermittlung der Allgemeinen Relativit\"atstheorie in der Schule, im Grund- oder im Nebenfachstudium besteht das Anliegen, eine fachlich befriedigende Darstellung zu geben, die nicht mehr als Schulmathematik voraussetzt. Wir stellen in diesem Beitrag einen solchen Zugang vor. Das zentrale Werkzeug unserer Einf\"uhrung sind sogenannte Sektormodelle, die gekr\"ummte R\"aume im Sinne des Regge-Kalk\"uls durch eine Zerlegung in kleine, ungekr\"ummte Sektoren beschreiben, \"ahnlich der Triangulierung einer gekr\"ummten Fl\"ache. Wir schildern einen Workshop f\"ur Sch\"uler/innen und Studierende, in dem gekr\"ummte R\"aume anhand von Sektormodellen Schwarzer L\"ocher eingef\"uhrt werden. Wir beschreiben ferner die Erweiterung auf Sektormodelle gekr\"ummter Raumzeiten. Raumzeitliche Sektormodelle setzen Grundkenntnisse der Speziellen Relativit\"atstheorie voraus. Online-Materialien unter http://www.tempolimit-lichtgeschwindigkeit.de .


title: A sheaf-theoretic perspective on sampling

abstract: Sampling theory has traditionally drawn tools from functional and complex analysis. Past successes, such as the Shannon-Nyquist theorem and recent advances in frame theory, have relied heavily on the application of geometry and analysis. The reliance on geometry and analysis means that the results are geometrically rigid. There is a subtle interplay between the topology of the domain of the functions being sampled, and the class of functions themselves. Bandlimited functions are somewhat limiting; often one wishes to sample from other classes of functions. The correct topological tool for modeling all of these situations is the sheaf; a tool which allows local structure and consistency to derive global inferences. This chapter develops a general sampling theory for sheaves using the language of exact sequences, recovering the Shannon-Nyquist theorem as a special case. It presents sheaf-theoretic approach by solving several different sampling problems involving non-bandlimited functions. The solution to these problems show that the topology of the domain has a varying level of importance depending on the class of functions and the specific sampling question being studied.


title: Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities

abstract: Critical Infrastructures (CIs), such as smart power grids, transport systems, and financial infrastructures, are more and more vulnerable to cyber threats, due to the adoption of commodity computing facilities. Despite the use of several monitoring tools, recent attacks have proven that current defensive mechanisms for CIs are not effective enough against most advanced threats. In this paper we explore the idea of a framework leveraging multiple data sources to improve protection capabilities of CIs. Challenges and opportunities are discussed along three main research directions: i) use of distinct and heterogeneous data sources, ii) monitoring with adaptive granularity, and iii) attack modeling and runtime combination of multiple data analysis techniques.


title: On Simultaneous 2-locally-balanced 2-partition for Two Forests with Same Vertices

abstract: The existence of a partition of the common set of the vertices of two forests into two subsets, when difference of their capacities in the neighborhood of each vertex of each forest not greater than 2 is proved, and an example, which shows that improvement of the specified constant is impossible is brought.


title: Big Data Analytics for QoS Prediction Through Probabilistic Model Checking

abstract: As competitiveness increases, being able to guaranting QoS of delivered services is key for business success. It is thus of paramount importance the ability to continuously monitor the workflow providing a service and to timely recognize breaches in the agreed QoS level. The ideal condition would be the possibility to anticipate, thus predict, a breach and operate to avoid it, or at least to mitigate its effects. In this paper we propose a model checking based approach to predict QoS of a formally described process. The continous model checking is enabled by the usage of a parametrized model of the monitored system, where the actual value of parameters is continuously evaluated and updated by means of big data tools. The paper also describes a prototype implementation of the approach and shows its usage in a case study.


title: Robustness of Topological Superconductivity in Proximity-Coupled Topological Insulator Nanoribbons

abstract: We study the low-energy physics of topological insulator (TI) nanoribbons proximity-coupled to s-wave superconductors (SCs) by explicitly incorporating the proximity effects that emerge at the TI-SC interface. We construct a low-energy effective theory that incorporates the proximity effect through an interface contribution containing both normal and anomalous terms and an energy-renormalization matrix. We show that the strength of the proximity-induced gap is determined by the transparency of the interface and the amplitude of the low-energy TI states at the interface. Consequently, the induced gap is strongly band-dependent and collapses for bands containing states with low amplitude at the interface. We find that states with energies within the bulk TI gap have surface-type character and, in the presence of proximity-induced or applied bias potentials, have most of their weight near either the top or the bottom surface of the nanoribbon. As a result, single interface TI-SC structures are susceptible to experiencing a collapse of the induced gap whenever the chemical potential is far enough from the value corresponding to the bulk TI Dirac point and crosses weakly coupled bands. We also find that changing the chemical potential in single-interface structures using gate potentials may be ineffective, as it does not result in a significant increase of the induced gap. On the other hand, we find that symmetric structures, such as a TI nanowire sandwiched between two superconductors, are capable of realizing the full potential of TI-based structures to harbor robust topological superconducting phases.


title: Forbidden Induced Subgraphs of Normal Helly Circular-Arc Graphs: Characterization and Detection

abstract: A normal Helly circular-arc graph is the intersection graph of arcs on a circle of which no three or less arcs cover the whole circle. Lin, Soulignac, and Szwarcfiter [Discrete Appl. Math. 2013] characterized circular-arc graphs that are not normal Helly circular-arc graphs, and used it to develop the first recognition algorithm for this graph class. As open problems, they ask for the forbidden induced subgraph characterization and a direct recognition algorithm for normal Helly circular-arc graphs, both of which are resolved by the current paper. Moreover, when the input is not a normal Helly circular-arc graph, our recognition algorithm finds in linear time a minimal forbidden induced subgraph as certificate.


title: Roughness Tolerance Studies for the Undulator Beam Pipe Chamber of LCLS-II

abstract: We investigate the effect of wall roughness on the wakefield-induced energy variation in the undulator beam pipe of LCLS-II. We find that a wall roughness equivalent to an rms surface slope of 30 mr increases the total induced energy variation within the bunch (due to the resistive wall wake) by a modest 20%.


title: Comparison of Prestellar Core Elongations and Large-Scale Molecular Cloud Structures in the Lupus I Region

abstract: Turbulence and magnetic fields are expected to be important for regulating molecular cloud formation and evolution. However, their effects on subparsec to 100 parsec scales, leading to the formation of starless cores, is not well understood. We investigate the prestellar core structure morphologies obtained from analysis of the Herschel-SPIRE 350 $\mu$m maps of the Lupus I cloud. This distribution is first compared on a statistical basis to the large scale shape of the main filament. We find the distribution of the elongation position angle of the cores to be consistent with a random distribution, which means no specific orientation of the morphology of the cores is observed with respect to a large-scale filament shape model for Lupus I, or relative to a large-scale bent filament model. This distribution is also compared to the mean orientation of the large-scale magnetic fields probed at 350 $\mu$m with the Balloon-borne Large Aperture Telescope for Polarimetry (BLASTPol) during its 2010 campaign. Here again we do not find any correlation between the core morphology distribution and the average orientation of the magnetic fields on parsec scales. Our main conclusion is that the local filament dynamics - including secondary filaments that often run orthogonally to the primary filament - and possibly small-scale variations in the local magnetic field direction, could be the dominant factors for explaining the final orientation of each core.


title: Nontrivial Quantization of $\phi^4_n$, $n\ge2$

abstract: Conventional quantization of covariant scalar field models $\phi^4_n$, for spacetime dimensions $n\ge5$ are trivial, and this may also be true for $n=4$ as well. However, an alternative ${\cal O}(\hbar)$ counterterm leads to nontrivial results for all $n\ge4$, and provides a different quantization for $n=2,3$ as well. In this article we determine the counterterm that provides these desirable properties as simply and directly as possible. The same counterterm also resolves models such as $\phi^p_n$ for all even $p$, including those where $p>2n/(n-2)$, which are traditionally regarded as nonrenormalizable.


title: A loop group method for affine harmonic maps into Lie groups

abstract: We generalize the Uhlenbeck-Segal theory for harmonic maps into compact semi-simple Lie groups to general Lie groups equipped with torsion free bi-invariant connection.


title: Effect of the tetragonal distortion on the electronic structure, phonons and superconductivity in the Mo3Sb7 superconductor

abstract: Effect of tetragonal distortion on the electronic structure, dynamical properties and superconductivity in Mo$_3$Sb$_7$ is analyzed using first principles electronic structure and phonon calculations. Rigid muffin tin approximation (RMTA) and McMillan formulas are used to calculate the electron-phonon coupling constant $\lambda$ and superconducting critical temperature. Our results show, that tetragonal distortion has small, but beneficial effect on superconductivity, slightly increasing $\lambda$, and the conclusion that the electron-phonon mechanism is responsible for the superconductivity in Mo$_3$Sb$_7$ is supported. The spin-polarized calculations for the ordered (ferromagnetic or antiferromagnetic), as well as disordered (disordered local moment) magnetic states yielded non-magnetic ground state. We point out that due to its experimentally observed magnetic properties the tetragonal Mo$_3$Sb$_7$ might be treated as noncentrosymmetric superconductor, which could have influence for the pairing symmetry. In this context the relativistic band structure is calculated and spin-orbit interaction effects are discussed.


title: Spin-Polarized-Current State of Electrons in Bilayer Graphene

abstract: We propose a model of spin-polarized-current state for electrons in bilayer graphene. The model resolves the puzzles as revealed by experiments that (a) the energy gap $E_{\rm gap}$ of the insulating ground state at the charge neutrality point (CNP) can be closed by a perpendicular electric field of either polarity, (b) $E_{\rm gap}$ increases significantly with increasing the magnetic field $B$, (c) the particle-hole spectrum is asymmetric in the presence of $B$, (d) there is a peak structure in the electric conductivity at small $B$ at the CNP, and (e) there are quantum Hall states stemming from lifting of degeneracy in the lowest Landau level. The model predicts that the ground state of the system close to the CNP is a ferrimagnet at finite $B$ and the Hall current is spin polarized.


title: Updating the CSNS injector linac to 250 MeV with superconducting double-spoke cavities

abstract: In order to update the beam power from 100 kW to 250 kW in China spallation neutron source (CSNS) Phase II, one of the important measures is to replace the 80 meters long beam transport line between the present 80 MeV linac injector and the RCS to another kind of acceleration structure. In this paper, we proposed a scheme based on 324 MHz double-spoke superconducting cavities. Unlike the superconducting elliptical cavity and normal conducting CCL structure, the double-spoke cavity belongs to TE mode structure and has smaller transvers dimension compared with that of TH mode one. It can work at base frequency as the DTL section, so that the cost and complexity of the RF system will be much decreased, and the behaviors of the beam dynamics are also improved significantly because of the low charge density and larger longitudinal acceptance. Furthermore, because of the relatively longer interactive length between charged particle and the electromagnetic field per cell, it needs relatively less cell numbers and it has larger velocity acceptance compared with the double frequency TH structures. The superconducting section consists of 14 cryomodules, each of which includes 3 superconducting cavities and a doublet. The general considerations on cavity and beam dynamics design are discussed and the main results are presented.


title: Samelson products in p-regular SO(2n) and its homotopy normality

abstract: A Lie group is called $p$-regular if it has the $p$-local homotopy type of a product of spheres. (Non)triviality of the Samelson products of the inclusions of the factor spheres into $p$-regular $\mathrm{SO}(2n)_{(p)}$ is determined, which completes the list of (non)triviality of such Samelson products in $p$-regular simple Lie groups. As an application, we determine the homotopy normality of the inclusion $\mathrm{SO}(2n-1)\to\mathrm{SO}(2n)$ in the sense of James at any prime $p$.


title: Rate Optimal Denoising of Simultaneously Sparse and Low Rank Matrices

abstract: We study minimax rates for denoising simultaneously sparse and low rank matrices in high dimensions. We show that an iterative thresholding algorithm achieves (near) optimal rates adaptively under mild conditions for a large class of loss functions. Numerical experiments on synthetic datasets also demonstrate the competitive performance of the proposed method.


title: Realizations of Affine Lie Algebra A_^(1) at Negative Levels

abstract: A realization of the affine Lie algebra ${A^{(1)}_1}$ and the relevant $Z$-algebra at negative level $-k$ is given in terms of parafermions. This generalizes the recent work on realization of the affine Lie algebra at the critical level.


title: On quasiconformal equivalence between certain infinitely often punctured planes

abstract: A closed discrete subset $A\subset \mathbb{C}$ is called tame if $\mathbb{C}\setminus A$ is quasiconformally equivalent to $\mathbb{C}\setminus \mathbb{Z}$. By giving several criteria for $A$ to be tame, we shall show that $\mathbb{Z}+i\mathbb{Z}$ is not tame.


title: Photonic Integrated Devices for Nonlinear Optics

abstract: We review our recent progresses on frequency conversion in integrated devices, focusing primarily on experiments based on strip-loaded and quantum-well intermixed AlGaAs waveguides, and on CMOS-compatible high-index doped silica glass waveguides. The former includes both second- and third-order interactions, demonstrating wavelength conversion by tunable difference-frequency generation over a bandwidth of more than nm, as well as broadband self-phase modulation and tunable four-wave mixing. The latter includes four-wave mixing using low-power continuous-wave light in microring resonators as well as hyper-parametric oscillation in a high quality factor resonator, towards the realization of an integrated multiple wavelength source with important applications for telecommunications, spectroscopy, and metrology.


title: Dynamic nuclear polarization from current-induced electron spin polarization

abstract: Current-induced electron spin polarization is shown to produce nuclear hyperpolarization through dynamic nuclear polarization. Saturated fields of several millitesla are generated upon the application of electric field over a timescale of a hundred seconds in InGaAs epilayers and measured using optical Larmor magnetometry. The dependence on temperature, external magnetic field, and applied voltage is investigated. We find an asymmetry in which the saturation nuclear field depends on the relative alignment of the electrically generated spin polarization and the external magnetic field, which we attribute to an interplay between various electron spin dynamical processes.


title: Iterated Prisoners Dilemma with limited attention

abstract: How attention scarcity effects the outcomes of a game? We present our findings on a version of the Iterated Prisoners Dilemma (IPD) game in which players can accept or refuse to play with their partner. We study the memory size effect on determining the right partner to interact with. We investigate the conditions under which the cooperators are more likely to be advantageous than the defectors. This work demonstrates that, in order to beat defection, players do not need a full memorization of each action of all opponents. There exists a critical attention capacity threshold to beat defectors. This threshold depends not only on the ratio of the defectors in the population but also on the attention allocation strategy of the players.


title: Arctic melt ponds and bifurcations in the climate system

abstract: Understanding how sea ice melts is critical to climate projections. In the Arctic, melt ponds that develop on the surface of sea ice floes during the late spring and summer largely determine their albedo -- a key parameter in climate modeling. Here we explore the possibility of a conceptual sea ice climate model passing through a bifurcation point -- an irreversible critical threshold as the system warms, by incorporating geometric information about melt pond evolution. This study is based on a bifurcation analysis of the energy balance climate model with ice - albedo feedback as the key mechanism driving the system to bifurcation points.


title: Reinvestigation of high pressure polymorphism in Hafnium metal

abstract: There has been a recent controversy about the high pressure polymorphism of Hafnium (Hf). Unlike, the earlier known {\alpha} $\rightarrow$ {\omega} structural transition at 38 $\pm$ 8 GPa, Hrubiak et al (2012) did not observe it till 51 GPa. We have reinvestigated the room temperature phase diagram of Hf, employing x-ray diffraction (XRD) and DFT based first principles calculations. Experimental investigations have been carried out on several pure and impure Hf samples and also with different pressure transmitting media. Besides establishing the significant role of impurity levels on the high pressure phase diagram of Hf, our studies do not support the results of Hrubiak et al. (2012). The structural sequence, transition pressures, the lattice parameters, the c/a ratio and its variation with compression for the {\alpha} and {\omega} phases as predicted by our ab-initio scalar relativistic (SR) calculations are found to be in good agreement with our experimental results of pure Hf.


title: Blue Tensor Spectrum from Particle Production during Inflation

abstract: We discuss a mechanism of particle production during inflation that can result in a blue gravitational wave (GW) spectrum, compatible with the BICEP2 result and with the r < 0.11 limit on the tensor-to-scalar ratio at the Planck pivot scale. The mechanism is based on the production of vector quanta from a rolling pseudo-scalar field. Both the vector and the pseudo-scalar are only gravitationally coupled to the inflaton, to keep the production of inflaton quanta at an unobservable level (the overproduction of non-gaussian scalar perturbations is a generic difficulty for mechanisms that aim to generate a visible GW signal from particle production during inflation). This mechanism can produce a detectable amount of GWs for any inflationary energy scale. The produced GWs are chiral and non-gaussian; both these aspects can be tested with large-scale polarization data (starting from Planck). We study how to reconstruct the pseudo-scalar potential from the GW spectrum.


title: Control of spin current in a Bose gas by bang-bang pulses

abstract: We generate spin currents in an $^{87}$Rb spin-2 Bose-Einstein condensate by application of a magnetic field gradient. The spin current destroys the spin polarization, leading to a sudden onset of two-body collisions. In addition, the spin coherence, as measured by the fringe contrast using Ramsey interferometry, is reduced drastically but experiences a weak revival due to in-trap oscillations. The spin current can be controlled using periodic $\pi$ pulses (bang-bang control), producing longer spin coherence times. Our results show that spin coherence can be maintained even in the presence of spin currents, with applications to quantum sensing in noisy environments.


title: Numerical Techniques for Finding the Distances of Quantum Codes

abstract: We survey the existing techniques for calculating code distances of classical codes and apply these techniques to generic quantum codes. For classical and quantum LDPC codes, we also present a new linked-cluster technique. It reduces complexity exponent of all existing deterministic techniques designed for codes with small relative distances (which include all known families of quantum LDPC codes), and also surpasses the probabilistic technique for sufficiently high code rates.


title: Probing the primordial Universe from the low-multipole CMB data

abstract: Since the temperature fluctuations in cosmic microwave background (CMB) on large-angular scales probe length scales that were super-horizon sized at photon decoupling and hence insensitive to microphysical processes, the low-multipole CMB data are supposed to be a good probe to the physics of the primordial Universe. In this letter we will constrain the cosmological parameters in the base $\Lambda$CDM model with tensor perturbations by only using low-multipole CMB data, including Background Imaging of Cosmic Extragalactic Polarization (B2), Planck released in 2013 (P13) and Wilkinson Microwaves Anisotropy Probe 9-year data (W9). We find that a red tilted power spectrum of relic gravitational waves is compatible with the data, but a blue tilted power spectrum of scalar perturbations on the large scales is preferred at around $2\sigma$ confidence level.


title: Free energy of cluster formation and a new scaling relation for the nucleation rate

abstract: Recent very large molecular dynamics simulations of homogeneous nucleation with $(1-8) \cdot 10^9$ Lennard-Jones atoms [Diemand et al. J. Chem. Phys. {\bf 139}, 074309 (2013)] allow us to accurately determine the formation free energy of clusters over a wide range of cluster sizes. This is now possible because such large simulations allow for very precise measurements of the cluster size distribution in the steady state nucleation regime. The peaks of the free energy curves give critical cluster sizes, which agree well with independent estimates based on the nucleation theorem. Using these results, we derive an analytical formula and a new scaling relation for nucleation rates: $\ln J' / \eta$ is scaled by $\ln S / \eta$, where the supersaturation ratio is $S$, $\eta$ is the dimensionless surface energy, and $J'$ is a dimensionless nucleation rate. This relation can be derived using the free energy of cluster formation at equilibrium which corresponds to the surface energy required to form the vapor-liquid interface. At low temperatures (below the triple point), we find that the surface energy divided by that of the classical nucleation theory does not depend on temperature, which leads to the scaling relation and implies a constant, positive Tolman length equal to half of the mean inter-particle separation in the liquid phase.


title: Dovetail: Stronger Anonymity in Next-Generation Internet Routing

abstract: Current low-latency anonymity systems use complex overlay networks to conceal a user's IP address, introducing significant latency and network efficiency penalties compared to normal Internet usage. Rather than obfuscating network identity through higher level protocols, we propose a more direct solution: a routing protocol that allows communication without exposing network identity, providing a strong foundation for Internet privacy, while allowing identity to be defined in those higher level protocols where it adds value. Given current research initiatives advocating "clean slate" Internet designs, an opportunity exists to design an internetwork layer routing protocol that decouples identity from network location and thereby simplifies the anonymity problem. Recently, Hsiao et al. proposed such a protocol (LAP), but it does not protect the user against a local eavesdropper or an untrusted ISP, which will not be acceptable for many users. Thus, we propose Dovetail, a next-generation Internet routing protocol that provides anonymity against an active attacker located at any single point within the network, including the user's ISP. A major design challenge is to provide this protection without including an application-layer proxy in data transmission. We address this challenge in path construction by using a matchmaker node (an end host) to overlap two path segments at a dovetail node (a router). The dovetail then trims away part of the path so that data transmission bypasses the matchmaker. Additional design features include the choice of many different paths through the network and the joining of path segments without requiring a trusted third party. We develop a systematic mechanism to measure the topological anonymity of our designs, and we demonstrate the privacy and efficiency of our proposal by simulation, using a model of the complete Internet at the AS-level.


title: Asymptotic Theory for Random Forests

abstract: Random forests have proven to be reliable predictive algorithms in many application areas. Not much is known, however, about the statistical properties of random forests. Several authors have established conditions under which their predictions are consistent, but these results do not provide practical estimates of random forest errors. In this paper, we analyze a random forest model based on subsampling, and show that random forest predictions are asymptotically normal provided that the subsample size s scales as s(n)/n = o(log(n)^{-d}), where n is the number of training examples and d is the number of features. Moreover, we show that the asymptotic variance can consistently be estimated using an infinitesimal jackknife for bagged ensembles recently proposed by Efron (2014). In other words, our results let us both characterize and estimate the error-distribution of random forest predictions, thus taking a step towards making random forests tools for statistical inference instead of just black-box predictive algorithms.


title: On the frontier lines between the regions of invariant solution type for solutions of the Friedmann equation satisfying the Hubble condition

abstract: It is well-known that there are four distinct basic types (two BigBang types, Lemaitre and BigCrunch type) for solutions of the general Friedmann equation with positive cosmological constant, where radiation and matter do not couple. In the note it is shown that the "frontier lines" between BigBang/BigCrunch and BigBang/Lemaitre are given by two smooth function branches, expressing the cosmological constant as unique functions of the matter and radiation density, which satisfy a simple asymptotic relation w.r.t. the matter density. The proof is based on the solution of the equation $\sigma=\sigma_{cr}$, where $\sigma$ is the radiation invariant of the Friedmann equation and $\sigma_{cr}$ the "critical radiation parameter" (see [3]).


title: Map-Reduce Parallelization of Motif Discovery

abstract: Motif discovery is one of the most challenging problems in bioinformatics today. DNA sequence motifs are becoming increasingly important in analysis of gene regulation. Motifs are short, recurring patterns in DNA that have a biological function. For example, they indicate binding sites for Transcription Factors (TFs) and nucleases. There are a number of Motif Discovery algorithms that run sequentially. The sequential nature stops these algorithms from being parallelized. HOMER is one such Motif discovery tool, that we have decided to use to overcome this limitation. To overcome this limitation, we propose a new methodology for Motif Discovery, using HOMER, that parallelizes the task. Parallelized version can potentially yield better scalability and performance. To achieve this, we have decided to use sub-sampling and the Map Reduce model. At each Map node, a sub-sampled version of the input DNA sequences is used as input to HOMER. Subsampling at each map node is performed with different parameters to ensure that no two HOMER instances receive identical inputs. The output of the map phase and the input of the reduce phase is a list of Motifs discovered using the sub-sampled sequences. The reduce phase calculates the mode, most frequent Motifs, and outputs them as the final discovered Motifs. We found marginal speed gains with this model of execution and substantial amount of quality loss in discovered Motifs.


title: Characterization and Detection of epsilon-Berge Zhukovskii Equilibria

abstract: Berge equilibrium in the sense of Zhukovskii (Berge-Zhukovskii) is an alternate solution concept in non-cooperative game theory that formalizes cooperation in a noncooperative setting. In this paper the epsilon-Berge-Zhukovskii equilibrium is introduced and characterized by using a generative relation. A computational method for detecting epsilon-Berge-Zhukovskii equilibrium based on evolutionary multiobjective optimization algorithms is presented. Numerical examples are used to illustrate the results obtained.


title: Introduction to 1-summability and resurgence

abstract: This text is about the mathematical use of certain divergent power series. The first part is an introduction to 1-summability. The definitions rely on the formal Borel transform and the Laplace transform along an arbitrary direction of the complex plane. Given an arc of directions, if a power series is 1-summable in that arc, then one can attach to it a Borel-Laplace sum, i.e. a holomorphic function defined in a large enough sector and asymptotic to that power series in Gevrey sense. The second part is an introduction to Ecalle's resurgence theory. A power series is said to be resurgent when its Borel transform is convergent and has good analytic continuation properties: there may be singularities but they must be isolated. The analysis of these singularities, through the so-called alien calculus, allows one to compare the various Borel-Laplace sums attached to the same resurgent 1-summable series.In the context of analytic difference-or-differential equations, this sheds light on the Stokes phenomenon. A few elementary or classical examples are given a thorough treatment (the Euler series, the Stirling series, a less known example by Poincar\'e). Special attention is devoted to non-linear operations: 1-summable series as well as resurgent series are shown to form algebras which are stable by composition. As an application, the resurgent approach to the classification of tangent-to-identity germs of holomorphic diffeomorphisms in the simplest case is included. An example of a class of non-linear differential equations giving rise to resurgent solutions is also presented. The exposition is as self-contained as can be, requiring only some familiarity with holomorphic functions of one complex variable.


title: Comparison of observing modes for statistical estimation of the 21cm signal from the Epoch of Reionisation

abstract: (Abridged) Noise considerations for experiments that aim to statistically estimate the 21 cm signal from high redshift neutral hydrogen during the Epoch of Reionisation (EoR) using interferometric data are typically computed assuming a tracked observation, where the telescope pointing centre and instrument phase centre are the same over the observation. Current low frequency interferometers use aperture arrays of fixed dipoles, which are steered electronically on the sky, and have different properties to mechanically-steered single apertures, such as reduced sensitivity away from zenith, and discrete pointing positions on the sky. Use of two additional observing modes is encouraged: (1) zenith drift, where the pointing centre remains fixed at the zenith, and the phase centre tracks the sky, and (2) drift+shift, where the telescope uses discrete pointing centres, and the sky drifts during each pointing. The coherence of measurements in these modes dictates the optimal reduction in thermal noise by combination of coherent modes, and the reduction in cosmic variance by combination of incoherent modes (views of different patches of the sky). The balance between these noise components provides one measure for the utility of these three modes for measuring a statistical EoR signature. We provide a general framework for estimating the uncertainty in the power spectrum for a given observing mode, telescope beam shape, and antenna distribution. We apply this framework to the Murchison Widefield Array (MWA) using an analysis of the 2D and 1D power spectra for 900 hours of observing. We demonstrate that zenith drift scans can yield marginally lower uncertainty in the signal power compared with tracked scans for the MWA EoR experiment.


title: Cosmology in rotation-invariant massive gravity with non-trivial fiducial metric

abstract: We investigate the cosmology of SO(3)-invariant massive gravity with 5 degrees of freedom. In contrast with previous studies, we allow for a non-trivial fiducial metric, which can be justified by invoking, for example, a dilaton-like global symmetry. We write the homogeneous and isotropic equations of motion in this more general setup and identify, in particular, de Sitter solutions. We then study the linear perturbations around the homogeneous cosmological solutions, by deriving the quadratic Lagrangian governing the dynamics of scalar, vector and tensor modes. We thus obtain the conditions for the perturbations to be well-behaved. We show that it is possible to find de Sitter solutions whose perturbations are weakly coupled and stable, i.e. without ghost-like or gradient instabilities.


title: Quantization of moduli spaces of flat connections and Liouville theory

abstract: We review known results on the relations between conformal field theory, the quantization of moduli spaces of flat PSL(2,R)-connections on Riemann surfaces, and the quantum Teichmueller theory.


title: The radiation environment in a Low Earth Orbit: the case of BeppoSAX

abstract: Low-inclination, low altitude Earth orbits (LEO) are of increasing importance for astrophysical satellites, due to their low background environment. Here, the South Atlantic Anomaly (SAA) is the region with the highest amount of radiation. We study the radiation environment in a LEO (500-600 km altitude, 4 degrees inclination) through the particle background measured by the Particle Monitor (PM) experiment onboard the BeppoSAX satellite, between 1996 and 2002. Using time series of particle count rates measured by PM we construct intensity maps and derive SAA passage times and fluences. The low-latitude SAA regions are found to have an intensity strongly decreasing with altitude and dependent on the magnetic rigidity. The SAA extent, westward drift and strength vs altitude is shown.


title: On Transfer Operators and Maps with Random Holes

abstract: We study Markov interval maps with random holes. The holes are not necessarily elements of the Markov partition. Under a suitable, and physically relevant, assumption on the noise, we show that the transfer operator associated with the random open system can be reduced to a transfer operator associated with the closed deterministic system. Exploiting this fact, we show that the random open system admits a unique (meaningful) absolutely continuous conditionally stationary measure. Moreover, we prove the existence of a unique probability equilibrium measure supported on the survival set, and we study its Hausdorff dimension.


title: An efficient algorithm for T-estimation

abstract: We introduce an efficient and exact algorithm, together with a faster but approximate version, which implements with a sub-quadratic complexity the hold-out derived from T-estimation. We study empirically the performance of this hold-out in the context of density estimation considering well-known competitors (hold-out derived from least-squares or Kullback-Leibler divergence, model selection procedures, etc.) and classical problems including histogram or bandwidth selection. Our algorithms are integrated in a companion R-package called {\it Density.T.HoldOut} available on the CRAN: {\url{http://cran.r-project.org/web/packages/Density.T.HoldOut/index.html}}.


title: Canonical Quantization of the BTZ Black Hole using Noether Symmetries

abstract: The well-known BTZ black hole solution of (2+1) Einstein's gravity, in the presence of a cosmological constant, is treated both at the classical and quantum level. Classically, the imposition of the two manifest local Killing fields of the BTZ geometry at the level of the full action results in a mini-superspace constraint action with the radial coordinate playing the role of the independent dynamical variable. The Noether symmetries of this reduced action are then shown to completely determine the classical solution space, without any further need to solve the dynamical equations of motion. At a quantum mechanical level, all the admissible sets of the quantum counterparts of the generators of the above mentioned symmetries are utilized as supplementary conditions acting on the wave-function. These additional restrictions, in conjunction with the Wheeler-DeWitt equation, help to determine (up to constants) the wave-function which is then treated semiclassically, in the sense of Bohm. The ensuing space-times are, either identical to the classical geometry, thus exhibiting a good correlation of the corresponding quantization to the classical theory, or are less symmetric but exhibit no Killing or event horizon and no curvature singularity, thus indicating a softening of the classical conical singularity of the BTZ geometry.


title: A systematic halo-independent analysis of direct detection data within the framework of Inelastic Dark Matter

abstract: We present a systematic halo-independent analysis of available Weakly Interacting Massive Particles (WIMP) direct detection data within the framework of Inelastic Dark Matter (IDM). We show that, when the smallest number of assumptions is made on the WIMP velocity distribution in the halo of our Galaxy, it is possible to find values of the WIMP mass and the IDM mass splitting for which compatibility between present constraints and any of the three experiments claiming to see a WIMP excess among DAMA, CDMS-Si and CRESST can be achieved.


title: Origin of the asymmetric exchange bias in BiFeO$_3$-Bi$_2$Fe$_4$O$_9$ nanocomposite

abstract: We show from detailed magnetometry across 2-300 K that the BiFeO$_3$-Bi$_2$Fe$_4$O$_9$ nanocomposite offers a unique spin morphology where superspin glass (SSG) and dilute antiferromagnet in a field (DAFF) coexist at the interface between ferromagnetic Bi$_2$Fe$_4$O$_9$ and antiferromagnetic BiFeO$_3$. The coexisting SSG and DAFF combine to form a local spin texture which gives rise to a path-dependent exchange bias below the spin freezing temperature ($\sim$29K). The exchange bias varies depending on the protocol or path followed in tracing the hysteresis loop. The exchange bias has been observed below blocking temperature (T$_B$$\sim$60K) of the superparamagnetic Bi$_2$Fe$_4$O$_9$. The conventional exchange bias (CEB) increases nonmonotonically as temperature decreases. The magnitude of both exchange bias (H$_E$) and coercivity (H$_C$) increase with decrease in temperature and are found to be asymmetric below 20K depending on the path followed in tracing the hysteresis loop and bias field. The local spin texture at the interface between ferromagnetic and antiferromagnetic particles generates a nonswitchable unidirectional anisotropy along the negative direction of the applied field. The influence of this texture also shows up in "asymmetric" jumps in the hysteresis loop at 2 K which smears off at higher temperature. The role of the interface spin texture in yielding the path dependency of exchange bias is thus clearly delineated.


title: Entropy dissipation estimates for the linear Boltzmann operator

abstract: We prove a linear inequality between the entropy and entropy dissipation functionals for the linear Boltzmann operator (with a Maxwellian equilibrium background). This provides a positive answer to the analogue of Cercignani's conjecture for this linear collision operator. Our result covers the physically relevant case of hard-spheres interactions as well as Maxwellian kernels, both with and without a cut-off assumption. For Maxwellian kernels, the proof of the inequality is surprisingly simple and relies on a general estimate of the entropy of the gain operator due to Matthes and Toscani (2012) and Villani (1998). For more general kernels, the proof relies on a comparison principle. Finally, we also show that in the grazing collision limit our results allow to recover known logarithmic Sobolev inequalities.


title: On the index instability for some nonlocal elliptic problems

abstract: The Fredholm index of unbounded operators defined on generalized solutions of nonlocal elliptic problems in plane bounded domains is investigated. It is known that nonlocal terms with smooth coefficients having zero of a certain order at the conjugation points do not affect the index of the unbounded operator. In this paper, we construct examples showing that the index may change under nonlocal perturbations with coefficients not vanishing at the points of conjugation of boundary-value conditions.


title: Fredholmness and Index of Simplest Weighted Singular Integral Operators with Two Slowly Oscillating Shifts

abstract: Let $\alpha$ and $\beta$ be orientation-preserving diffeomorphisms (shifts) of $\mathbb{R}_+=(0,\infty)$ onto itself with the only fixed points $0$ and $\infty$, where the derivatives $\alpha'$ and $\beta'$ may have discontinuities of slowly oscillating type at $0$ and $\infty$. For $p\in(1,\infty)$, we consider the weighted shift operators $U_\alpha$ and $U_\beta$ given on the Lebesgue space $L^p(\mathbb{R}_+)$ by $U_\alpha f=(\alpha')^{1/p}(f\circ\alpha)$ and $U_\beta f= (\beta')^{1/p}(f\circ\beta)$. For $i,j\in\mathbb{Z}$ we study the simplest weighted singular integral operators with two shifts $A_{ij}=U_\alpha^i P_\gamma^++U_\beta^j P_\gamma^-$ on $L^p(\mathbb{R}_+)$, where $P_\gamma^\pm=(I\pm S_\gamma)/2$ are operators associated to the weighted Cauchy singular integral operator $$ (S_\gamma f)(t)=\frac{1}{\pi i}\int_{\mathbb{R}_+} \left(\frac{t}{\tau}\right)^\gamma\frac{f(\tau)}{\tau-t}d\tau $$ with $\gamma\in\mathbb{C}$ satisfying $0<1/p+\Re\gamma<1$. We prove that the operator $A_{ij}$ is a Fredholm operator on $L^p(\mathbb{R}_+)$ and has zero index if \[ 0<\frac{1}{p}+\Re\gamma+\frac{1}{2\pi}\inf_{t\in\mathbb{R}_+}(\omega_{ij}(t)\Im\gamma), \quad \frac{1}{p}+\Re\gamma+\frac{1}{2\pi}\sup_{t\in\mathbb{R}_+}(\omega_{ij}(t)\Im\gamma)<1, \] where $\omega_{ij}(t)=\log[\alpha_i(\beta_{-j}(t))/t]$ and $\alpha_i$, $\beta_{-j}$ are iterations of $\alpha$, $\beta$. This statement extends an earlier result obtained by the author, Yuri Karlovich, and Amarino Lebre for $\gamma=0$.


title: Waves of cells with an unstable phenotype accelerate the progression of high-grade brain tumors

abstract: In this paper we study a reduced continuous model describing the local evolution of high grade gliomas - a lethal type of primary brain tumor - through the interplay of different cellular phenotypes. We show how hypoxic events, even sporadic and/or limited in space may have a crucial role on the acceleration of the growth speed of high grade gliomas. Our modeling approach is based on two cellular phenotypes one of them being more migratory and the second one more proliferative with transitions between them being driven by the local oxygen values, assumed in this simple model to be uniform. Surprisingly even acute hypoxia events (i.e. very localized in time) leading to the appearance of migratory populations have the potential of accelerating the invasion speed of the proliferative phenotype up to speeds close to those of the migratory phenotype. The high invasion speed of the tumor persists for times much longer than the lifetime of the hypoxic event and the phenomenon is observed both when the migratory cells form a persistent wave of cells located on the invasion front and when they form a evanecent wave dissapearing after a short time by decay into the more proliferative phenotype. Our findings are obtained through numerical simulations of the model equations. We also provide a deeper mathematical analysis of some aspects of the problem such as the conditions for the existence of persistent waves of cells with a more migratory phenotype.


title: Oversampling Increases the Pre-Log of Noncoherent Rayleigh Fading Channels

abstract: We analyze the capacity of a continuous-time, time-selective, Rayleigh block-fading channel in the high signal-to-noise ratio (SNR) regime. The fading process is assumed stationary within each block and to change independently from block to block; furthermore, its realizations are not known a priori to the transmitter and the receiver (noncoherent setting). A common approach to analyzing the capacity of this channel is to assume that the receiver performs matched filtering followed by sampling at symbol rate (symbol matched filtering). This yields a discrete-time channel in which each transmitted symbol corresponds to one output sample. Liang & Veeravalli (2004) showed that the capacity of this discrete-time channel grows logarithmically with the SNR, with a capacity pre-log equal to $1-{Q}/{N}$. Here, $N$ is the number of symbols transmitted within one fading block, and $Q$ is the rank of the covariance matrix of the discrete-time channel gains within each fading block. In this paper, we show that symbol matched filtering is not a capacity-achieving strategy for the underlying continuous-time channel. Specifically, we analyze the capacity pre-log of the discrete-time channel obtained by oversampling the continuous-time channel output, i.e., by sampling it faster than at symbol rate. We prove that by oversampling by a factor two one gets a capacity pre-log that is at least as large as $1-1/N$. Since the capacity pre-log corresponding to symbol-rate sampling is $1-Q/N$, our result implies indeed that symbol matched filtering is not capacity achieving at high SNR.


title: Unbounded perturbations of two-dimensional diffusion processes with nonlocal boundary conditions

abstract: The existence of Feller semigroups arising in the theory of multidimensional diffusion processes is studied. Unbounded perturbations of elliptic operators (in particular, integro-differential operators) are considered in plane bounded regions. Their domain of definition is given by a nonlocal boundary condition involving the integral over the closure of the region with respect to a nonnegative Borel measure. The support of the measure may intersect with the boundary, and the measure need not be small. We formulate sufficient conditions on unbounded perturbations of elliptic operator and on the Borel measure in the nonlocal boundary condition which guarantee that the corresponding nonlocal operator is a generator of a Feller semigroup.


title: On the existence of a Feller semigroup with atomic measure in nonlocal boundary condition

abstract: The existence of Feller semigroups arising in the theory of multidimensional diffusion processes is studied. An elliptic operator of second order is considered on a plane bounded region $G$. Its domain of definition consists of continuous functions satisfying a nonlocal condition on the boundary of the region. In general, the nonlocal term is an integral of a function over the closure of the region $G$ with respect to a nonnegative Borel measure $\mu(y,d\eta)$, $y\in\partial G$. It is proved that the operator is a generator of a Feller semigroup in the case where the measure is atomic. The smallness of the measure is not assumed.


title: Fabrication and measurements of hybrid Nb/Al Josephson junctions and flux qubits with pi-shifters

abstract: We describe fabrication and testing of composite flux qubits combining Nb- and Al-based superconducting circuit technology. This hybrid approach to making qubits allows for employing pi-phase shifters fabricated using well-established Nb-based technology of superconductor-ferromagnet-superconductor Josephson junctions. The important feature here is to obtain high interface transparency between Nb and Al layers without degrading sub-micron shadow mask. We achieve this by in-situ Ar etching using e-beam gun. Shadow-evaporated Al/AlOx/Al Josephson junctions with Nb bias pads show the expected current-voltage characteristics with reproducible critical currents. Using this technique, we fabricated composite Nb/Al flux qubits with Nb/CuNi/Nb pi-shifters and measured their magnetic field response. The observed offset between the field responses of the qubits with and without pi-junction is attributed to the pi phase shift. The reported approach can be used for implementing a variety of hybrid Nb/Al superconducting quantum circuits.


title: Estimation of stable distribution parameters from a dependent sample

abstract: Existing methods for the estimation of stable distribution parameters, such as those based on sample quantiles, sample characteristic functions or maximum likelihood generally assume an independent sample. Little attention has been paid to estimation from a dependent sample. In this paper, a method for the estimation of stable distribution parameters from a dependent sample is proposed based on the sample quantiles. The estimates are shown to be asymptotically normal. The asymptotic variance is calculated for stable moving average processes. Simulations from stable moving average processes are used to demonstrate these estimators.


title: Photochemistry of atomic oxygen green and red-doublet emissions in comets at larger heliocentric distances

abstract: In comets the atomic oxygen green to red-doublet emission intensity ratio (G/R ratio) of 0.1 has been used to confirm H$_2$O as the parent species producing oxygen emission lines. The larger ($>$0.1) value of G/R ratio observed in a few comets is ascribed to the presence of higher CO$_2$ and CO relative abundances in the cometary coma. We aim to study the effect of CO$_2$ and CO relative abundances on the observed G/R ratio in comets observed at large ($>$2 au) heliocentric distances by accounting for important production and loss processes of O($^1$S) and O($^1$D) in the cometary coma. Recently we have developed a coupled chemistry-emission model to study photochemistry of O($^1$S) and O($^1$D) atoms and the production of green and red-doublet emissions in comets Hyakutake and Hale-Bopp. In the present work we applied the model to six comets where green and red-doublet emissions are observed when they are beyond 2 au from the Sun. In a water-dominated cometary coma and with significant ($>$10%) CO$_2$ relative abundance, photodissociation of H$_2$O mainly governs the red-doublet emission, whereas CO$_2$ controls the green line emission. If a comet has equal composition of CO$_2$ and H$_2$O, then ~50% of red-doublet emission intensity is controlled by the photodissociation of CO$_2$. The G/R ratio values and green and red-doublet line widths calculated by the model are consistent with the observation. Our model calculations suggest that in low gas production rate comets the G/R ratio greater than 0.1 can be used to constrain the upper limit of CO$_2$ relative abundance provided the slit-projected area on the coma is larger than the collisional zone. If a comet has equal abundances of CO$_2$ and H$_2$O, then the red-doublet emission is significantly ($\sim$50%) controlled by CO$_2$ photodissociation and thus the G/R ratio is not suitable for estimating CO$_2$ relative abundance.


title: Bounded perturbations of two-dimensional diffusion processes with nonlocal conditions near the boundary

abstract: We study the existence of Feller semigroups arising in the theory of multidimensional diffusion processes. We study bounded perturbations of elliptic operators with boundary conditions containing an integral over the closure of the domain with respect to a nonnegative Borel measure without assuming that the measure is small. We state sufficient conditions on the measure guaranteeing that the corresponding nonlocal operator is the generator of a Feller semigroup.


title: Hypothesis Testing for Parsimonious Gaussian Mixture Models

abstract: Gaussian mixture models with eigen-decomposed covariance structures make up the most popular family of mixture models for clustering and classification, i.e., the Gaussian parsimonious clustering models (GPCM). Although the GPCM family has been used for almost 20 years, selecting the best member of the family in a given situation remains a troublesome problem. Likelihood ratio tests are developed to tackle this problems. These likelihood ratio tests use the heteroscedastic model under the alternative hypothesis but provide much more flexibility and real-world applicability than previous approaches that compare the homoscedastic Gaussian mixture versus the heteroscedastic one. Along the way, a novel maximum likelihood estimation procedure is developed for two members of the GPCM family. Simulations show that the $\chi^2$ reference distribution gives reasonable approximation for the LR statistics only when the sample size is considerable and when the mixture components are well separated; accordingly, following Lo (2008), a parametric bootstrap is adopted. Furthermore, by generalizing the idea of Greselin and Punzo (2013) to the clustering context, a closed testing procedure, having the defined likelihood ratio tests as local tests, is introduced to assess a unique model in the general family. The advantages of this likelihood ratio testing procedure are illustrated via an application to the well-known Iris data set.


title: A Polynomial Scheme of Asymptotic Expansion for Backward SDEs and Option pricing

abstract: A new asymptotic expansion scheme for backward SDEs (BSDEs) is proposed.The perturbation parameter is introduced just to scale the forward stochastic variables within a BSDE. In contrast to the standard small-diffusion asymptotic expansion method, the dynamics of variables given by the forward SDEs is treated exactly. Although it requires a special form of the quadratic covariation terms of the continuous part, it allows rather generic drift as well as jump components to exist. The resultant approximation is given by a polynomial function in terms of the unperturbed forward variables whose coefficients are uniquely specified by the solution of the recursive system of linear ODEs. Applications to a jump-extended Heston and lambda-SABR models for European contingent claims, as well as the utility-optimization problem in the presence of a terminal liability are discussed.


title: Frequentist and Bayesian inference for Gaussian-log-Gaussian wavelet trees, and statistical signal processing applications

abstract: We introduce new estimation methods for a sub-class of the Gaussian scale mixture models for wavelet trees by Wainwright, Simoncelli & Willsky that rely on modern results for composite likelihoods and approximate Bayesian inference. Our methodology is illustrated for denoising and edge detection problems in two-dimensional images.


title: Lamplighter model of a random copolymer adsorption on a line

abstract: We present a model of an AB-diblock random copolymer sequential self-packaging with local quenched interactions on a one-dimensional infinite sticky substrate. It is assumed that the A-A and B-B contacts are favorable, while A-B are not. The position of a newly added monomer is selected in view of the local contact energy minimization. The model demonstrates a self-organization behavior with the nontrivial dependence of the total energy, $E$ (the number of unfavorable contacts), on the number of chain monomers, $N$: $E\sim N^{3/4}$ for quenched random equally probable distribution of A- and B-monomers along the chain. The model is treated by mapping it onto the "lamplighter" random walk and the diffusion-controlled chemical reaction of $X+X\to 0$ type with the subdiffusive motion of reagents.


title: Three body resonances in close orbiting planetary systems: Tidal dissipation and orbital evolution

abstract: We study the orbital evolution of a three planet system with masses in the super-Earth regime resulting from the action of tides on the planets induced by the central star which cause orbital circularization. We consider systems either in or near to a three body commensurability for which adjacent pairs of planets are in a first order commensurability. We develop a simple analytic solution, derived from a time averaged set of equations, that describes the expansion of the system away from strict commensurability as a function of time, once a state where relevant resonant angles undergo small amplitude librations has been attained. We perform numerical simulations that show the attainment of such resonant states focusing on the Kepler 60 system. The results of the simulations confirm many of the scalings predicted by the appropriate analytic solution. We go on to indicate how the results can be applied to put constraints on the amount of tidal dissipation that has occurred in the system. For example, if the system has been in a librating state since its formation, we find that its present period ratios imply an upper limit on the time average of 1/Q', with Q' being the tidal dissipation parameter. On the other hand if a librating state has not been attained, a lower upper bound applies.


title: Competition between s-wave order and d-wave order in holographic superconductors

abstract: We study competition between s-wave order and d-wave order through two holographic superconductor models. We find that once the coexisting phase appears, it is always thermodynamically favored, and that the coexistence phase is narrow and one condensate tends to kill the other. The phase diagram is constructed for each model in terms of temperature and the ratio of charges of two orders. We further compare the behaviors of some thermodynamic quantities, and discuss the different aspects and identical ones between two models.


title: The theorems of Schottky and Landau for analytic functions omitting the n-th roots of unity

abstract: We prove sharp Landau- and Schottky-type theorems for analytic functions which omit the $n$-th roots of unity. The proofs are based on a sharp lower bound for the Poincar\'e metric of the complex plane punctured at the roots of unity.


title: Estimating the transition matrix of a Markov chain observed at random times

abstract: In this paper we develop a statistical estimation technique to recover the transition kernel $P$ of a Markov chain $X=(X_m)_{m \in \mathbb N}$ in presence of censored data. We consider the situation where only a sub-sequence of $X$ is available and the time gaps between the observations are iid random variables. Under the assumption that neither the time gaps nor their distribution are known, we provide an estimation method which applies when some transitions in the initial Markov chain $X$ are known to be unfeasible. A consistent estimator of $P$ is derived in closed form as a solution of a minimization problem. The asymptotic performance of the estimator is then discussed in theory and through numerical simulations.


title: Dual-probe spectroscopic fingerprints of defects in graphene

abstract: Recent advances in experimental techniques emphasize the usefulness of multiple scanning probe techniques when analyzing nanoscale samples. Here, we analyze theoretically dual-probe setups with probe separations in the nanometer range, i.e., in a regime where quantum coherence effects can be observed at low temperatures. In a dual-probe setup the electrons are injected at one probe and collected at the other. The measured conductance reflects the local transport properties on the nanoscale, thereby yielding information complementary to that obtained with a standard one-probe setup (the local density-of-states). In this work we develop a real space Green's function method to compute the conductance. This requires an extension of the standard calculation schemes, which typically address a finite sample between the probes. In contrast, the developed method makes no assumption on the sample size (e.g., an extended graphene sheet). Applying this method, we study the transport anisotropies in pristine graphene sheets, and analyze the spectroscopic fingerprints arising from quantum interference around single-site defects, such as vacancies and adatoms. Furthermore, we demonstrate that the dual-probe setup is a useful tool for characterizing the electronic transport properties of extended defects or designed nanostructures. In particular, we show that nanoscale perforations, or antidots, in a graphene sheet display Fano-type resonances with a strong dependence on the edge geometry of the perforation.


title: Fatal Attractors in Parity Games: Building Blocks for Partial Solvers

abstract: Attractors in parity games are a technical device for solving "alternating" reachability of given node sets. A well known solver of parity games - Zielonka's algorithm - uses such attractor computations recursively. We here propose new forms of attractors that are monotone in that they are aware of specific static patterns of colors encountered in reaching a given node set in alternating fashion. Then we demonstrate how these new forms of attractors can be embedded within greatest fixed-point computations to design solvers of parity games that run in polynomial time but are partial in that they may not decide the winning status of all nodes in the input game. Experimental results show that our partial solvers completely solve benchmarks that were constructed to challenge existing full solvers. Our partial solvers also have encouraging run times in practice. For one partial solver we prove that its run-time is at most cubic in the number of nodes in the parity game, that its output game is independent of the order in which monotone attractors are computed, and that it solves all Buechi games and weak games. We then define and study a transformation that converts partial solvers into more precise partial solvers, and we prove that this transformation is sound under very reasonable conditions on the input partial solvers. Noting that one of our partial solvers meets these conditions, we apply its transformation on 1.6 million randomly generated games and so experimentally validate that the transformation can be very effective in increasing the precision of partial solvers.