title: Choosability in signed planar graphs

abstract: This paper studies the choosability of signed planar graphs. We prove that every signed planar graph is 5-choosable and that there is a signed planar graph which is not 4-choosable while the unsigned graph is 4-choosable. For each $k \in \{3,4,5,6\}$, every signed planar graph without circuits of length $k$ is 4-choosable. Furthermore, every signed planar graph without circuits of length 3 and of length 4 is 3-choosable. We construct a signed planar graph with girth 4 which is not 3-choosable but the unsigned graph is 3-choosable.


title: Black Hole Corrections due to Minimal Length and Modified Dispersion Relation

abstract: The generalized uncertainty principles (GUP) and modified dispersion relations (MDR) are much like two faces for one coin in research for the phenomenology of quantum gravity which apparently plays an important role in estimating the possible modifications of the black hole thermodynamics and the Friedmann equations. We first reproduce the horizon area for different types of black holes and investigate the quantum corrections to Bekenstein-Hawking entropy (entropy-area law). Based on this, we study further thermodynamical quantities and accordingly the modified Friedmann equation in four-dimensional de Sitter-Schwarzschild, Reissner-N\"{o}rdstrom and Garfinkle-Horowitz-Strominger black holes. In doing this we applied various quantum gravity approaches. The MDR parameter relative to the GUP one is computed and the properties of the black holes are predicted. This should play an important role in estimating response of quantum gravity to the various metric-types of black holes. We found a considerable change in the thermodynamics quantities. We find that the modified entropy of de-Sitter-Schwarzshild and Reissner-N\"{o}rdstrom black holes starts to exist at a finite standard entropy. The Garfinkle-Horowitz-Strominger black hole shows a different entropic property. The modified specific heat due to GUP and MDR approaches vanishes at large standard specific heat, while the corrections due to GUP result in different behaviors. The specific heat of modified de-Sitter-Schwarzshild and Reissner-N\"{o}rdstrom black holes seems to increase, especially at large standard specific heat. In the early case, the black hole cannot exchange heat with the surrounding space. Accordingly, we would predict black hole remnants which may be considered as candidates for dark matter.


title: Many Molecular Properties from One Kernel in Chemical Space

abstract: We introduce property-independent kernels for machine learning modeling of arbitrarily many molecular properties. The kernels encode molecular structures for training sets of varying size, as well as similarity measures sufficiently diffuse in chemical space to sample over all training molecules. Corresponding molecular reference properties provided, they enable the instantaneous generation of ML models which can systematically be improved through the addition of more data. This idea is exemplified for single kernel based modeling of internal energy, enthalpy, free energy, heat capacity, polarizability, electronic spread, zero-point vibrational energy, energies of frontier orbitals, HOMO-LUMO gap, and the highest fundamental vibrational wavenumber. Models of these properties are trained and tested using 112 kilo organic molecules of similar size. Resulting models are discussed as well as the kernels' use for generating and using other property models.


title: Furry picture transition rates in the intense fields at a lepton collider interaction point

abstract: The effect on particle physics processes by intense electromagnetic fields in the charge bunch collisions at future lepton colliders is considered. Since the charge bunch fields are tied to massive sources (the $e^{+}e^{-}$ charges), a reference frame is chosen in which the fields appear to be co-propagating. Solutions of the Dirac equation minimally coupled to the electromagnetic fields reasonably associated with two intense overlapping charge bunches are obtained and found to be a Volkov solution with respect to a null 4-vector whose 3-vector part lies in the common propagation direction. These solutions are used within the Furry interaction picture to calculate the beamstrahlung transition rate for electron radiation due to interaction with the electromagnetic fields of two colliding charge bunches. New analytic expressions are obtained and compared numerically with the beamstrahlung in the electromagnetic field of one charge bunch. The techniques developed will be applied to other collider physics processes in due course.


title: Tuning electronic correlations in transition metal pnictides: chemistry beyond the valence count

abstract: The effects of electron-electron correlations on the low-energy electronic structure and their relationship with unconventional superconductivity are central aspects in the research on the iron-based pnictide superconductors. Here we use soft X-ray angle-resolved photoemission spectroscopy (SX-ARPES) to study how electronic correlations evolve in different chemically substituted iron pnictides. We find that correlations are intrinsically related to the effective filling of the correlated orbitals, rather than to the filling obtained by valence counting. Combined density functional theory (DFT) and dynamical mean-field theory (DMFT) calculations capture these effects, reproducing the experimentally observed trend in the correlation strength. The occupation-driven trend in the electronic correlation reported in our work supports the recently proposed connection between cuprate and pnictides phase diagrams.


title: Positive Semi-Definiteness and Sum-of-Squares Property of Fourth Order Four Dimensional Hankel Tensors

abstract: A positive semi-definite (PSD) tensor which is not a sum-of-squares (SOS) tensor is called a PSD non-SOS (PNS) tensor. Is there a fourth order four dimensional PNS Hankel tensor? Until now, this question is still an open problem. Its answer has both theoretical and practical meanings. We assume that the generating vector $v$ of the Hankel tensor $A$ is symmetric. Under this assumption, we may fix the fifth element $v_4$ of $v$ at $1$. We show that there are two surfaces $M_0$ and $N_0$ with the elements $v_2, v_6, v_1, v_3, v_5$ of $v$ as variables, such that $M_0 \ge N_0$, $A$ is SOS if and only if $v_0 \ge M_0$, and $A$ is PSD if and only if $v_0 \ge N_0$, where $v_0$ is the first element of $v$. If $M_0 = N_0$ for a point $P = (v_2, v_6, v_1, v_3, v_5)^\top$, then there are no fourth order four dimensional PNS Hankel tensors with symmetric generating vectors for such $v_2, v_6, v_1, v_3, v_5$. Then, we call such a point $P$ PNS-free. We show that a $45$-degree planar closed convex cone, a segment, a ray and an additional point are PNS-free. Numerical tests check various grid points, and find that they are also PNS-free.


title: Grover Search with Lackadaisical Quantum Walks

abstract: The lazy random walk, where the walker has some probability of staying put, is a useful tool in classical algorithms. We propose a quantum analogue, the lackadaisical quantum walk, where each vertex is given $l$ self-loops, and we investigate its effects on Grover's algorithm when formulated as search for a marked vertex on the complete graph of $N$ vertices. For the discrete-time quantum walk using the phase flip coin, adding a self-loop to each vertex boosts the success probability from 1/2 to 1. Additional self-loops, however, decrease the success probability. Using instead the Ambainis, Kempe, and Rivosh (2005) coin, adding self-loops simply slows down the search. These coins also differ in that the first is faster than classical when $l$ scales less than $N$, while the second requires that $l$ scale less than $N^2$. Finally, continuous-time quantum walks differ from both of these discrete-time examples---the self-loops make no difference at all. These behaviors generalize to multiple marked vertices.


title: Biomimetic Staggered Composites with Highly Enhanced Energy Dissipation: Design, Modeling, and Test

abstract: We investigate the damping enhancement in a class of biomimetic staggered composites via a combination of design, modeling, and experiment. In total, three kinds of staggered composites are designed by mimicking the structure of bone and nacre. These composite designs are realized by 3D printing a rigid plastic and a viscous elastomer simultaneously. Greatly-enhanced energy dissipation in the designed composites is observed from both the experimental results and theoretical prediction. The designed polymer composites have loss modulus up to ~500 MPa, higher than most of the existing polymers. In addition, their specific loss modulus (up to 0.43 $Km^2/s^2$) is among the highest of damping materials. The damping enhancement is attributed to the large shear deformation of the viscous soft matrix and the large strengthening effect from the rigid inclusion phase.


title: Image Specificity

abstract: For some images, descriptions written by multiple people are consistent with each other. But for other images, descriptions across people vary considerably. In other words, some images are specific $-$ they elicit consistent descriptions from different people $-$ while other images are ambiguous. Applications involving images and text can benefit from an understanding of which images are specific and which ones are ambiguous. For instance, consider text-based image retrieval. If a query description is moderately similar to the caption (or reference description) of an ambiguous image, that query may be considered a decent match to the image. But if the image is very specific, a moderate similarity between the query and the reference description may not be sufficient to retrieve the image. In this paper, we introduce the notion of image specificity. We present two mechanisms to measure specificity given multiple descriptions of an image: an automated measure and a measure that relies on human judgement. We analyze image specificity with respect to image content and properties to better understand what makes an image specific. We then train models to automatically predict the specificity of an image from image features alone without requiring textual descriptions of the image. Finally, we show that modeling image specificity leads to improvements in a text-based image retrieval application.


title: Electrical manipulation of a ferromagnet by an antiferromagnet

abstract: We demonstrate that an antiferromagnet can be employed for a highly efficient electrical manipulation of a ferromagnet. In our study we use an electrical detection technique of the ferromagnetic resonance driven by an in-plane ac-current in a NiFe/IrMn bilayer. At room temperature, we observe antidamping-like spin torque acting on the NiFe ferromagnet, generated by the in-plane current driven through the IrMn antiferromagnet. A large enhancement of the torque, characterized by an effective spin-Hall angle exceeding most heavy transition metals, correlates with the presence of the exchange-bias field at the NiFe/IrMn interface. It highlights that, in addition to strong spin-orbit coupling, the antiferromagnetic order in IrMn governs the observed phenomenon.


title: Air Entrainment in Dynamic Wetting: Knudsen Effects and the Influence of Ambient Air Pressure

abstract: Recent experiments on coating flows and liquid drop impact both demonstrate that wetting failures caused by air entrainment can be suppressed by reducing the ambient gas pressure. Here, it is shown that non-equilibrium effects in the gas can account for this behaviour, with ambient pressure reductions increasing the gas' mean free path and hence the Knudsen number $Kn$. These effects first manifest themselves through Maxwell slip at the gas' boundaries so that for sufficiently small $Kn$ they can be incorporated into a continuum model for dynamic wetting flows. The resulting mathematical model contains flow structures on the nano-, micro- and milli-metre scales and is implemented into a computational platform developed specifically for such multiscale phenomena. The coating flow geometry is used to show that for a fixed gas-liquid-solid system (a) the increased Maxwell slip at reduced pressures can substantially delay air entrainment, i.e. increase the `maximum speed of wetting', (b) unbounded maximum speeds are obtained as the pressure is reduced only when slip at the gas-liquid interface is allowed for and (c) the observed behaviour can be rationalised by studying the dynamics of the gas film in front of the moving contact line. A direct comparison to experimental results obtained in the dip-coating process shows that the model recovers most trends but does not accurately predict some of the high viscosity data at reduced pressures. This discrepancy occurs because the gas flow enters the `transition regime', so that more complex descriptions of its non-equilibrium nature are required. Finally, by collapsing onto a master curve experimental data obtained for drop impact in a reduced pressure gas, it is shown that the same physical mechanisms are also likely to govern splash suppression phenomena.


title: Application of Bruggeman and Maxwell Garnett homogenization formalisms to random composite materials containing dimers

abstract: The homogenization of a composite material comprising three isotropic dielectric materials was investigated. The component materials were randomly distributed as spherical particles, with the particles of two of the component materials being coupled to form dimers. The Bruggeman and Maxwell Garnett formalisms were developed to estimate the permittivity dyadic of the homogenized composite material (HCM), under the quasi-electrostatic approximation. Both randomly oriented and identically oriented dimers were accommodated; in the former case the HCM is isotropic, whereas in the latter case the HCM is uniaxial. Representative numerical results for composite materials containing dielectric--dielectric dimers demonstrate close agreement between the estimates delivered by the Bruggeman and Maxwell Garnett formalisms. For composite materials containing metal--dielectric dimers with moderate degrees of dissipation, the estimates of the two formalisms are in broad agreement, provided that the dimer volume fractions are relatively low. In general, the effects of intradimer coupling on the estimates of the HCM permittivity are relatively modest but not insignificant, these effects being exacerbated by anisotropy when all dimers are identically oriented.


title: Undecidability of the Spectral Gap (full version)

abstract: We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the strongest sense: it is promised to either have continuous spectrum above the ground state in the thermodynamic limit, or its spectral gap is lower-bounded by a constant in the thermodynamic limit. Moreover, this constant can be taken equal to the local interaction strength of the Hamiltonian.

categories: quant-ph cond-mat.other hep-th math-ph math.MP


title: Polynomial Roots and Open Mappings

abstract: The "openness" of a complex polynomial mapping is discussed and applied to the Fundamental Theorem of Algebra. In this category fall proofs of S. Wolfenstein, R.L. Thompson, J. Milnor, and S. Reich-S. Smale. These proofs take into account the critical points of the polynomial. New elementary proofs of openness due to D. Reem and F.S. Cater make possible a very short proof of FTA without reference to zeros of the derivative. We regard Gauss's Helmstedt Thesis (1799) as an exercise in applied differential topology, and fill out a synopsis published by S. Gersten and J. Stallings. The polynomial function may be perturbed or re-aligned (work of Martin, Savitt and Singer) to eliminate critical values so we work with a configuration of real, plane algebraic curves. The treatment we give to the Implicit Function Theorem uses contractive operators on the Banach algebra of convergent power series according to W. Walter. In addition to Functional Analysis, the key geometric insight is a topological transversality result that leads to a rigorous demonstration that the plane curves intersect as Gauss and A. Ostrowski said they would. Working in the category of analytic mappings makes uniqueness of "implicit" solutions more transparent, and the polynomial (and harmonic) nature of the curves imposes finiteness on the number of extrema, coming from a well-known application of the Be'zout Theorem. We think this provides a clarification of Gauss's statement that an algebraic curve entering a domain, must leave again, that is more concrete than declaring such a curve to be a "one-dimensional manifold".


title: CFHTLenS: A Gaussian likelihood is a sufficient approximation for a cosmological analysis of third-order cosmic shear statistics

abstract: We study the correlations of the shear signal between triplets of sources in the Canada-France-Hawaii Lensing Survey (CFHTLenS) to probe cosmological parameters via the matter bispectrum. In contrast to previous studies, we adopted a non-Gaussian model of the data likelihood which is supported by our simulations of the survey. We find that for state-of-the-art surveys, similar to CFHTLenS, a Gaussian likelihood analysis is a reasonable approximation, albeit small differences in the parameter constraints are already visible. For future surveys we expect that a Gaussian model becomes inaccurate. Our algorithm for a refined non-Gaussian analysis and data compression is then of great utility especially because it is not much more elaborate if simulated data are available. Applying this algorithm to the third-order correlations of shear alone in a blind analysis, we find a good agreement with the standard cosmological model: $\Sigma_8$=$\sigma_8$ $(\Omega_{\rm m}/0.27)^{0.64}$=$0.79^{+0.08}_{-0.11}$ for a flat $\Lambda\rm CDM$ cosmology with $h=0.7\pm0.04$ ($68\%$ credible interval). Nevertheless our models provide only moderately good fits as indicated by $\chi^2/{\rm dof}=2.9$, including a $20\%$ r.m.s. uncertainty in the predicted signal amplitude. The models cannot explain a signal drop on scales around 15 arcmin, which may be caused by systematics. It is unclear whether the discrepancy can be fully explained by residual PSF systematics of which we find evidence at least on scales of a few arcmin. Therefore we need a better understanding of higher-order correlations of cosmic shear and their systematics to confidently apply them as cosmological probes.


title: Stability of geodesics in the Brownian map

abstract: The Brownian map is a random geodesic metric space arising as the scaling limit of random planar maps. We strengthen the so-called confluence of geodesics phenomenon observed at the root of the map, and with this, reveal several properties of its rich geodesic structure. Our main result is the continuity of the cut locus at typical points. A small shift from such a point results in a small, local modification to the cut locus. Moreover, the cut locus is uniformly stable, in the sense that any two cut loci coincide outside a closed, nowhere dense set of zero measure. We obtain similar stability results for the set of points inside geodesics to a fixed point. Furthermore, we show that the set of points inside geodesics of the map is of first Baire category. Hence, most points in the Brownian map are endpoints. Finally, we classify the types of geodesic networks which are dense. For each $k\in\{1,2,3,4,6,9\}$, there is a dense set of pairs of points which are joined by networks of exactly $k$ geodesics and of a specific topological form. We find the Hausdorff dimension of the set of pairs joined by each type of network. All other geodesic networks are nowhere dense.


title: High-Resolution Faraday Rotation and Electron-Phonon Coupling in Surface States of the Bulk-Insulating Topological Insulator Cu$_{0.02}$Bi$_2$Se$_3$

abstract: We have utilized time-domain magneto-terahertz spectroscopy to investigate the low frequency optical response of topological insulator Cu$_{0.02}$Bi$_2$Se$_3$ and Bi$_2$Se$_3$ films. With both field and frequency dependence, such experiments give sufficient information to measure the mobility and carrier density of multiple conduction channels simultaneously. We observe sharp cyclotron resonances (CRs) in both materials. The small amount of Cu incorporated into the Cu$_{0.02}$Bi$_2$Se$_3$ induces a true bulk insulator with only a \textit{single} type of conduction with total sheet carrier density $\sim4.9\times10^{12}/$cm$^{2}$ and mobility as high as 4000 cm$^{2}/$V$\cdot$s. This is consistent with conduction from two virtually identical topological surface states (TSSs) on top and bottom of the film with a chemical potential $\sim$145 meV above the Dirac point and in the bulk gap. The CR broadens at high fields, an effect that we attribute to an electron-phonon interaction. This assignment is supported by an extended Drude model analysis of the zero field Drude conductance. In contrast, in normal Bi$_2$Se$_3$ films two conduction channels were observed and we developed a self-consistent analysis method to distinguish the dominant TSSs and coexisting trivial bulk/2DEG states. Our high-resolution Faraday rotation spectroscopy on Cu$_{0.02}$Bi$_2$Se$_3$ paves the way for the observation of quantized Faraday rotation under experimentally achievable conditions to push chemical potential in the lowest Landau Level.


title: The MSO+U theory of (N, <) is undecidable

abstract: We consider the logic MSO+U, which is monadic second-order logic extended with the unbounding quantifier. The unbounding quantifier is used to say that a property of finite sets holds for sets of arbitrarily large size. We prove that the logic is undecidable on infinite words, i.e. the MSO+U theory of (N,<) is undecidable. This settles an open problem about the logic, and improves a previous undecidability result, which used infinite trees and additional axioms from set theory.


title: The complexity of optimal design of temporally connected graphs

abstract: We study the design of small cost temporally connected graphs, under various constraints. We mainly consider undirected graphs of $n$ vertices, where each edge has an associated set of discrete availability instances (labels). A journey from vertex $u$ to vertex $v$ is a path from $u$ to $v$ where successive path edges have strictly increasing labels. A graph is temporally connected iff there is a $(u,v)$-journey for any pair of vertices $u,v,~u\not= v$. We first give a simple polynomial-time algorithm to check whether a given temporal graph is temporally connected. We then consider the case in which a designer of temporal graphs can \emph{freely choose} availability instances for all edges and aims for temporal connectivity with very small \emph{cost}; the cost is the total number of availability instances used. We achieve this via a simple polynomial-time procedure which derives designs of cost linear in $n$. We also show that the above procedure is (almost) optimal when the underlying graph is a tree, by proving a lower bound on the cost for any tree. However, there are pragmatic cases where one is not free to design a temporally connected graph anew, but is instead \emph{given} a temporal graph design with the claim that it is temporally connected, and wishes to make it more cost-efficient by removing labels without destroying temporal connectivity (redundant labels). Our main technical result is that computing the maximum number of redundant labels is APX-hard, i.e., there is no PTAS unless $P=NP$. On the positive side, we show that in dense graphs with random edge availabilities, there is asymptotically almost surely a very large number of redundant labels. A temporal design may, however, be \emph{minimal}, i.e., no redundant labels exist. We show the existence of minimal temporal designs with at least $n \log{n}$ labels.


title: INTEGRAL discovery of unusually long broad-band X-ray activity from the Supergiant Fast X-ray Transient IGR J18483-0311

abstract: We report on a broad-band X-ray study (0.5-250 keV) of the Supergiant Fast X-ray Transient IGR J18483-0311 using archival INTEGRAL data and a new targeted XMM-Newton observation. Our INTEGRAL investigation discovered for the first time an unusually long X-ray activity (3-60 keV) which continuously lasted for at least 11 days, i.e. a significant fraction (about 60%) of the entire orbital period, and spanned orbital phases corresponding to both periastron and apastron passages. This prolongated X-ray activity is at odds with the much shorter durations marking outbursts from classical SFXTs especially above 20 keV, as such it represents a departure from their nominal behavior and it adds a further extreme characteristic to the already extreme SFXT IGR J18483-0311. Our IBIS/ISGRI high energy investigation (100-250 keV) of archival outbursts activity from the source showed that the recently reported hint of a possible hard X-ray tail is not real and it is likely due to noisy background. The new XMM-Newton targeted observation did not detect any sign of strong X-ray outburst activity from the source despite being performed close to its periastron passage, on the contrary IGR J18483-0311 was caught during the common intermediate X-ray state with a low luminosity value of 3x10^33 erg s^-1 (0.5-10 keV). We discuss all the reported results in the framework of both spherically symmetric clumpy wind scenario and quasi-spherical settling accretion model.


title: Nonlinear phenomena of generation of longitudinal electric current by transversal electromagnetic field in plasmas

abstract: The analysis of nonlinear interaction of transversal electromagnetic field with collisionless plasma is carried out. Formulas for calculation electric current in collisionless plasma with arbitrary degree of degeneration of electronic gas are deduced. It has appeared, that the nonlinearity account leads to occurrence of the longitudinal electric current directed along a wave vector. This second current is orthogonal to the known transversal current, received at the classical linear analysis.


title: Characterising large-scale structure with the REFLEX II cluster survey

abstract: We study the large-scale structure with superclusters from the REFLEX X-ray cluster survey together with cosmological N-body simulations. It is important to construct superclusters with criteria such that they are homogeneous in their properties. We lay out our theoretical concept considering future evolution of superclusters in their definition, and show that the X-ray luminosity and halo mass functions of clusters in superclusters are found to be top-heavy, different from those of clusters in the field. We also show a promising aspect of using superclusters to study the local cluster bias and mass scaling relation with simulations.


title: An indiscrete Bieberbach theorem: from amenable CAT(0) groups to Tits buildings

abstract: Non-positively curved spaces admitting a cocompact isometric action of an amenable group are investigated. A classification is established under the assumption that there is no global fixed point at infinity under the full isometry group. The visual boundary is then a spherical building. When the ambient space is geodesically complete, it must be a product of flats, symmetric spaces, biregular trees and Bruhat--Tits buildings. We provide moreover a sufficient condition for a spherical building arising as the visual boundary of a proper CAT(0) space to be Moufang, and deduce that an irreducible locally finite Euclidean building of dimension at least 2 is a Bruhat--Tits building if and only if its automorphism group acts cocompactly and chamber-transitively at infinity.


title: On the definition of superclusters

abstract: To obtain a physically well-motivated definition of superclusters, we proposed in our previous work to select superclusters with an overdensity criterion that selects only those objects that will collapse in the future, including those that are at a turn-around in the present epoch. In this paper we present numerical values for these criteria for a range of standard cosmological models. We express these criteria in terms of a density ratio or, alternatively, as an infall velocity and show that these two criteria give almost identical results. To better illustrate the implications of this definition, we applied our criteria to some prominent structures in the local Universe, the Local supercluster, Shapley supercluster, and the recently reported Laniakea supercluster to understand their future evolution. We find that for the Local and Shapley superclusters, only the central regions will collapse in the future, while Laniakea does not constitute a significant overdensity and will disperse in the future. Finally, we suggest that those superclusters that will survive the accelerating cosmic expansion and collapse in the future be called "superstes-clusters", where "superstes" means survivor in Latin, to distinguish them from traditional superclusters.


title: The Ladder: A Reliable Leaderboard for Machine Learning Competitions

abstract: The organizer of a machine learning competition faces the problem of maintaining an accurate leaderboard that faithfully represents the quality of the best submission of each competing team. What makes this estimation problem particularly challenging is its sequential and adaptive nature. As participants are allowed to repeatedly evaluate their submissions on the leaderboard, they may begin to overfit to the holdout data that supports the leaderboard. Few theoretical results give actionable advice on how to design a reliable leaderboard. Existing approaches therefore often resort to poorly understood heuristics such as limiting the bit precision of answers and the rate of re-submission. In this work, we introduce a notion of "leaderboard accuracy" tailored to the format of a competition. We introduce a natural algorithm called "the Ladder" and demonstrate that it simultaneously supports strong theoretical guarantees in a fully adaptive model of estimation, withstands practical adversarial attacks, and achieves high utility on real submission files from an actual competition hosted by Kaggle. Notably, we are able to sidestep a powerful recent hardness result for adaptive risk estimation that rules out algorithms such as ours under a seemingly very similar notion of accuracy. On a practical note, we provide a completely parameter-free variant of our algorithm that can be deployed in a real competition with no tuning required whatsoever.


title: Locally finite basic classical simple Lie superalgebras

abstract: In this work, we study direct limits of finite dimensional basic classical simple Lie superalgebras and obtain the conjugacy classes of Cartan subalgebras under the group of automorphisms.


title: Unravelling the puzzling intermediate states in the Biham-Middleton-Levine traffic mode

abstract: The Biham-Middleton-Levine (BML) traffic model, a cellular automaton with east-bound and north-bound cars moving by turns on a square lattice, has been an underpinning model in the study of collective behaviour by cars, pedestrians and even internet packages. Contrary to initial beliefs that the model exhibits a sharp phase transition from freely flowing to fully jammed, it has been reported that it shows intermediate stable phases, where jams and freely flowing traffic coexist, but there is no clear understanding of their origin. Here, we analyze the model as an anisotropic system with a preferred fluid direction (north-east) and find that it exhibits two differentiated phase transitions: either if the system is longer in the flow direction (longitudinal) or perpendicular to it (transversal). The critical densities where these transitions occur enclose the density interval of intermediate states and can be approximated by mean-field analysis, all derived from the anisotropic exponent relating the longitudinal and transversal correlation lengths. Thus, we arrive to the interesting result that the puzzling intermediate states in the original model are just a superposition of these two different behaviours of the phase transition, solving by the way most mysteries behind the BML model, which turns to be a paradigmatic example of such anisotropic critical systems.


title: A $(1 + {\varepsilon})$-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs

abstract: Graphs with bounded highway dimension were introduced by Abraham et al. [SODA 2010] as a model of transportation networks. We show that any such graph can be embedded into a distribution over bounded treewidth graphs with arbitrarily small distortion. More concretely, given a weighted graph G = (V, E) of constant highway dimension, we show how to randomly compute a weighted graph H = (V, E') that distorts shortest path distances of G by at most a 1 + ${\varepsilon}$ factor in expectation, and whose treewidth is polylogarithmic in the aspect ratio of G. Our probabilistic embedding implies quasi-polynomial time approximation schemes for a number of optimization problems that naturally arise in transportation networks, including Travelling Salesman, Steiner Tree, and Facility Location. To construct our embedding for low highway dimension graphs we extend Talwar's [STOC 2004] embedding of low doubling dimension metrics into bounded treewidth graphs, which generalizes known results for Euclidean metrics. We add several non-trivial ingredients to Talwar's techniques, and in particular thoroughly analyse the structure of low highway dimension graphs. Thus we demonstrate that the geometric toolkit used for Euclidean metrics extends beyond the class of low doubling metrics.


title: Recent progress in hard-thermal-loop QCD thermodynamics and collective excitations

abstract: I review recent developments in QCD thermodynamics and collective excitations from the hard-thermal-loop effective theory. I begin by motivating the discussion with open questions from heavy-ion collisions. I then discuss a finite-temperature and -density calculation of QCD thermodynamics at NNLO from the hard-thermal-loop perturbation theory. Finally I discuss a recent exploration of generalizing the hard-thermal-loop framework to the (chromo)magnetic scale $g^2T$, from which a novel massless mode is uncovered.


title: Degenerate flag varieties and Schubert varieties: a characteristic free approach

abstract: We consider the PBW filtrations over the integers of the irreducible highest weight modules in type A and C. We show that the associated graded modules can be realized as Demazure modules for group schemes of the same type and doubled rank. We deduce that the corresponding degenerate flag varieties are isomorphic to Schubert varieties in any characteristic.


title: Photostimulation activates restorable fragmentation of single mitochondrion by initiating oxide flashes

abstract: Mitochondrial research is important to ageing, apoptosis, and mitochondrial diseases. In previous works, mitochondria are usually stimulated indirectly by proapoptotic drugs to study mitochondrial development, which is in lack of controllability, or spatial and temporal resolution. These chemicals or even gene techniques regulating mitochondrial dynamics may also activate other inter- or intra-cellular processes simultaneously. Here we demonstrate a photostimulation method on single-mitochondrion level by tightly-focused femtosecond laser that can precisely activate restorable fragmentation of mitochondria which soon recover their original tubular structure after tens of seconds. In this process, series of mitochondrial reactive oxygen species (mROS) flashes are observed and found very critical to mitochondrial fragmentation. Meanwhile, transient openings of mitochondrial permeability transition pores (mPTP), suggested by oscillations of mitochondrial membrane potential, contribute to the scavenging of redundant mROS and recovery of fragmented mitochondria. Those results demonstrate photostimulation as an active, precise and controllable method for the study of mitochondrial oxidative and morphological dynamics or related fields.


title: Hawkes processes in finance

abstract: In this paper we propose an overview of the recent academic literature devoted to the applications of Hawkes processes in finance. Hawkes processes constitute a particular class of multivariate point processes that has become very popular in empirical high frequency finance this last decade. After a reminder of the main definitions and properties that characterize Hawkes processes, we review their main empirical applications to address many different problems in high frequency finance. Because of their great flexibility and versatility, we show that they have been successfully involved in issues as diverse as estimating the volatility at the level of transaction data, estimating the market stability, accounting for systemic risk contagion, devising optimal execution strategies or capturing the dynamics of the full order book.


title: Explaining robust additive utility models by sequences of preference swaps

abstract: Multicriteria decision analysis aims at supporting a person facing a decision problem involving conflicting criteria. We consider an additive utility model which provides robust conclusions based on preferences elicited from the decision maker. The recommendations based on these robust conclusions are even more convincing if they are complemented by explanations. We propose a general scheme, based on sequence of preference swaps, in which explanations can be computed. We show first that the length of explanations can be unbounded in the general case. However, in the case of binary reference scales, this length is bounded and we provide an algorithm to compute the corresponding explanation.


title: Codimension one threshold manifold for the critical gKdV equation

abstract: We construct the 'threshold manifold' near the soliton for the mass critical gKdV equation, completing results obtained in arXiv:1204.4625 and arXiv:1204.4624. In a neighborhood of the soliton, this C1 manifold of codimension one separates solutions blowing up in finite time and solutions in the 'exit regime'. On the manifold, solutions are global in time and converge locally to a soliton. In particular, the soliton behavior is strongly unstable by blowup.


title: The Inverse Spectral Transform for the Dunajski hierarchy and some of its reductions, I: Cauchy problem and longtime behavior of solutions

abstract: In this paper we apply the formal Inverse Spectral Transform for integrable dispersionless PDEs arising from the commutation condition of pairs of one-parameter families of vector fields, recently developed by S. V. Manakov and one of the authors, to one distinguished class of equations, the so-called Dunajski hierarchy. We concentrate, for concreteness, i) on the system of PDEs characterizing a general anti-self-dual conformal structure in neutral signature, ii) on its first commuting flow, and iii) on some of their basic and novel reductions. We formally solve their Cauchy problem and we use it to construct the longtime behavior of solutions, showing, in particular, that unlike the case of soliton PDEs, different dispersionless PDEs belonging to the same hierarchy of commuting flows evolve in time in very different ways, exhibiting either a smooth dynamics or a gradient catastrophe at finite time.


title: Quarks Production in the Quark-Gluon Plasma Created in Relativistic Heavy Ion Collisions

abstract: In this article we report on our results about quark production and chemical equilibration of quark-gluon plasma. Our initial condition corresponds to a classic Yang-Mills spectrum, in which only gluon degrees of freedom are considered; the initial condition is then evolved to a quark-gluon plasma by means of relativistic transport theory with inelastic processes which permit the conversion of gluons to $q\bar{q}$ pairs. We then compare our results to the ones obtained with a standard Glauber model initialization. We find that regardless of the initial condition the final stage of the system contains an abundant percentage of $q\bar{q}$ pairs; moreover spanning the possible coupling from weak to strong we find that unless the coupling is unrealistically small, both production rate and final percentage of fermions is quite large.


title: Isomonodromic deformation of q-difference equations and confluence

abstract: We study isomonodromic deformation of Fuchsian linear q-difference systems. Furthermore, we are looking of the behaviour of the Birkhoff connexion matrix when q goes to $1$. We use our results to study the convergence of the Birkhoff connexion matrix that appears in the definition of the q-analogue of the sixth Painlev\'e equation.


title: Star Formation Activity in the Long, Filamentary Infrared Dark Cloud G53.2

abstract: We present star formation activity in the infrared dark cloud (IRDC) G53.2, a remarkable IRDC located at Galactic coordinates $(l,b)\sim(53^{\circ}.2,\,0^{\circ}.0)$ based on the census of young stellar object (YSO) candidates. IRDC G53.2 was previously identified as several IRDCs in mid-IR images, but it is in fact a long ($\gtrsim$45 pc) cloud, well consistent with a CO cloud at $v\sim23$ \kms\ (or at $d\sim$1.7 kpc). We present a point-source catalog of IRDC G53.2 that contains $\sim$370 sources from our photometry of the {\it Spitzer} MIPS 24 \um\ data and Galactic Legacy Infrared Mid-Plane Survey Extraordinaire Catalog. The classification of the identified sources based on their spectral index and control field analysis to remove field star contamination reveals that IRDC G53.2 is an active star-forming region with $\sim$300 YSO candidates. We compare the YSO classification based on spectral index, mid-IR colors, and the wavelength range used, which results in consistent classification, except for flat-spectrum objects, with some ambiguity between Class I and II. Comparison of the YSO population in IRDC G53.2 with those of other nearby star-forming clusters indicates that they are similar in age; on the other hand, stronger association with mid-IR stellar sources in IRDC G53.2 compared with other IRDCs indicates that IRDC G53.2 is at a later evolutionary stage among IRDCs. Spatial distribution of the YSO candidates in IRDC G53.2 shows a good correlation with $^{13}$CO column density and far-IR emission, and earlier-class objects tend to be more clustered in the regions with higher density.


title: Electronic structure and thermoelectric properties of n- and p-type SnSe from first principles calculations

abstract: We present results of electronic band structure, Fermi surface and electron transport properties calculations in orthorhombic $n$- and $p$-type SnSe, applying Korringa-Kohn-Rostoker method and Boltzmann transport approach. The analysis accounted for temperature effect on crystallographic parameters in $Pnma$ structure as well as the phase transition to $CmCm$ structure at $T_c\sim 807 $K. Remarkable modifications of conduction and valence bands were notified upon varying crystallographic parameters within the structure before $T_c$, while the phase transition mostly leads to jump in the band gap value. The diagonal components of kinetic parameter tensors (velocity, effective mass) and resulting transport quantity tensors (electrical conductivity $\sigma$, thermopower $S$ and power factor PF) were computed in wide range of temperature ($15-900 $K) and, hole ($p-$type) and electron ($n-$type) concentration ($10^{17}-10^{21}$ cm$^{-3}$). SnSe is shown to have strong anisotropy of the electron transport properties for both types of charge conductivity, as expected for the layered structure. In general, $p$-type effective masses are larger than $n$-type ones. Interestingly, $p$-type SnSe has strongly non-parabolic dispersion relations, with the 'pudding-mold'-like shape of the highest valence band. The analysis of $\sigma$, $S$ and PF tensors indicates, that the inter-layer electron transport is beneficial for thermoelectric performance in $n$-type SnSe, while this direction is blocked in $p$-type SnSe, where in-plane transport is preferred. Our results predict, that $n$-type SnSe is potentially even better thermoelectric material than $p$-type one. Theoretical results are compared with single crystal $p$-SnSe measurements, and good agreement is found.


title: Structural Properties of an Open Problem in Preemptive Scheduling

abstract: Structural properties of optimal preemptive schedules have been studied in a number of recent papers with a primary focus on two structural parameters: the minimum number of preemptions necessary, and a tight lower bound on `shifts', i.e., the sizes of intervals bounded by the times created by preemptions, job starts, or completions. So far only rough bounds for these parameters have been derived for specific problems. This paper sharpens the bounds on these structural parameters for a well-known open problem in the theory of preemptive scheduling: Instances consist of in-trees of $n$ unit-execution-time jobs with release dates, and the objective is to minimize the total completion time on two processors. This is among the current, tantalizing `threshold' problems of scheduling theory: Our literature survey reveals that any significant generalization leads to an NP-hard problem, but that any significant simplification leads to tractable problem. For the above problem, we show that the number of preemptions necessary for optimality need not exceed $2n-1$; that the number must be of order $\Omega(\log n)$ for some instances; and that the minimum shift need not be less than $2^{-2n+1}$. These bounds are obtained by combinatorial analysis of optimal schedules rather than by the analysis of polytope corners for linear-program formulations, an approach to be found in earlier papers. The bounds immediately follow from a fundamental structural property called `normality', by which minimal shifts of a job are exponentially decreasing functions. In particular, the first interval between a preempted job's start and its preemption is a multiple of 1/2, the second such interval is a multiple of 1/4, and in general, the $i$-th preemption occurs at a multiple of $2^{-i}$. We expect the new structural properties to play a prominent role in finally settling a vexing, still-open question of complexity.


title: Mapping CS in Starburst Galaxies: Disentangling and Characterising Dense Gas

abstract: Aims. We observe the dense gas tracer CS in two nearby starburst galaxies to determine how the conditions of the dense gas varies across the circumnuclear regions in starburst galaxies. Methods. Using the IRAM-30m telescope, we mapped the distribution of the CS(2-1) and CS(3-2) lines in the circumnuclear regions of the nearby starburst galaxies NGC 3079 and NGC 6946. We also detected the formaldehyde (H2CO) and methanol (CH3OH) in both galaxies. We marginally detect the isotopologue C34S. Results. We calculate column densities under LTE conditions for CS and CH3OH. Using the detections accumulated here to guide our inputs, we link a time and depth dependent chemical model with a molecular line radiative transfer model; we reproduce the observations, showing how conditions where CS is present are likely to vary away from the galactic centres. Conclusions. Using the rotational diagram method for CH3OH, we obtain a lower limit temperature of 14 K. In addition to this, by comparing the chemical and radiative transfer models to observations, we determine the properties of the dense gas as traced by CS (and CH3OH). We also estimate the quantity of the dense gas. We find that, provided that there are a between 10^5 and 10^6 dense cores in our beam, for both target galaxies, emission of CS from warm (T = 100 - 400 K), dense (n(H2) = 10^5-6 cm-3) cores, possibly with a high cosmic ray ionisation rate (zeta = 100 zeta0) best describes conditions for our central pointing. In NGC 6946, conditions are generally cooler and/or less dense further from the centre, whereas in NGC 3079, conditions are more uniform. The inclusion of shocks allows for more efficient CS formation, leading to an order of magnitude less dense gas being required to replicate observations in some cases.


title: Decay properties of solutions to the Cauchy problem for the scalar conservation law with nonlinearly degenerate viscosity

abstract: In this paper, we study the decay rate in time to solutions of the Cauchy problem for the one-dimensional viscous conservation law where the far field states are prescribed. Especially, we deal with the case that the flux function which is convex and also the viscosity is a nonlinearly degenerate one (p-Laplacian type viscosity). As the corresponding Riemann problem admits a Riemann solution as the constant state or the single rarefaction wave, it has already been proved by Matsumura-Nishihara that the solution to the Cauchy problem tends toward the constant state or the single rarefaction wave as the time goes to infinity. We investigate that the decay rate in time of the corresponding solutions. Furthermore, we also investigate that the decay rate in time of the solution for the higher order derivative. These are the first result concerning the asymptotic decay of the solutions to the Cauchy problem of the scalar conservation law with nonlinear viscosity. The proof is given by L1, L2-energy and time-weighted Lq-energy methods.


title: Theta vocabulary I

abstract: This paper is an annotated list of transformation properties and identities satisfied by the four theta functions $\theta _1$, $\theta _2$, $\theta _3$, $\theta _4$ of one complex variable, presented in a ready-to-use form. An attempt is made to reveal a pattern behind various identities for the theta-functions. It is shown that all possible 3, 4 and 5-term identities of degree four emerge as algebraic consequences of the six fundamental bilinear 3-term identities connecting the theta-functions with modular parameters $\tau$ and $2\tau$.


title: Discrete transforms and orthogonal polynomials of (anti)symmetric multivariate cosine functions

abstract: The discrete cosine transforms of types V--VIII are generalized to the antisymmetric and symmetric multivariate discrete cosine transforms. Four families of discretely and continuously orthogonal Chebyshev-like polynomials corresponding to the antisymmetric and symmetric generalizations of cosine functions are introduced. Each family forms an orthogonal basis of the space of all polynomials with respect to some weighted integral. Cubature formulas, which correspond to these families of polynomials and which stem from the developed discrete cosine transforms, are derived. Examples of three-dimensional interpolation formulas and three-dimensional explicit forms of the polynomials are presented.


title: On Bullen's and related inequalities

abstract: The estimate in Bullen's inequality will be extended for continuous functions using the second order modulus of smoothness. A different form of this inequality will be given in terms of the least concave majorant. Also, the composite case of Bullen's inequality is considered.


title: More Properties of the Incomplete Gamma Functions

abstract: In this paper, additional properties of the lower gamma functions and the error functions are introduced and proven. In particular, we prove interesting relations between the error functions and Laplace transform.


title: Some aspects of analysis related to p-adic numbers, 2

abstract: Some aspects of analysis involving fields with absolute value functions are discussed, which includes the real or complex numbers with their standard absolute values, as well as ultrametric situations like the p-adic numbers.


title: A mean field limit for the Vlasov-Poisson system

abstract: We present a probabilistic proof of the mean field limit and propagation of chaos $N$-particle systems in three dimensions with positive (Coulomb) or negative (Newton) $1/r$ potentials scaling like $1/N$ and an $N$-dependent cut-off which scales like $N^{-1/3+ \epsilon}$. In particular, for typical initial data, we show convergence of the empirical distributions to solutions of the Vlasov-Poisson system with either repulsive electrical or attractive gravitational interactions.


title: TextLuas: Tracking and Visualizing Document and Term Clusters in Dynamic Text Data

abstract: For large volumes of text data collected over time, a key knowledge discovery task is identifying and tracking clusters. These clusters may correspond to emerging themes, popular topics, or breaking news stories in a corpus. Therefore, recently there has been increased interest in the problem of clustering dynamic data. However, there exists little support for the interactive exploration of the output of these analysis techniques, particularly in cases where researchers wish to simultaneously explore both the change in cluster structure over time and the change in the textual content associated with clusters. In this paper, we propose a model for tracking dynamic clusters characterized by the evolutionary events of each cluster. Motivated by this model, the TextLuas system provides an implementation for tracking these dynamic clusters and visualizing their evolution using a metro map metaphor. To provide overviews of cluster content, we adapt the tag cloud representation to the dynamic clustering scenario. We demonstrate the TextLuas system on two different text corpora, where they are shown to elucidate the evolution of key themes. We also describe how TextLuas was applied to a problem in bibliographic network research.


title: Repeated boundary slopes for 2-bridge knots

abstract: We investigate the question of when distinct branched surfaces in the complement of a 2-bridge knot support essential surfaces with identical boundary slopes. We determine all instances in which this occurs and identify an infinite family of knots for which no boundary slopes are repeated.


title: Geometric distortion of area in medical ultrasound images

abstract: Medical ultrasound scanners are typically calibrated to the soft tissue average of 1540 m s$^{-1}$. In regions of different sound speed, for example, organs and tumours, the $B$-scan image then becomes a distortion of the true tissue cross-section, due to the misrepresentation of length and refraction. To quantify this distortion we develop a general geometric ray model for an object with an atypical speed of sound embedded in an ambient medium. We analyse the ensuing area distortion for circular and elliptical objects, mapping it out as a function of the key parameters, including the speed of sound mismatch, the object size and its elongation. We find that the area distortion can become significant, even for small-scale speed of sound mismatches. Our findings are verified by ultrasound imaging of a test object.


title: Direct evidence for an evolving dust cloud from the exoplanet KIC 12557548 b

abstract: We present simultaneous multi-color optical photometry using ULTRACAM of the transiting exoplanet KIC 12557548 b (also known as KIC 1255 b). This reveals, for the first time, the color dependence of the transit depth. Our g and z transits are similar in shape to the average Kepler short-cadence profile, and constitute the highest-quality extant coverage of individual transits. Our Night 1 transit depths are 0.85 +/- 0.04% in z; 1.00 +/- 0.03% in g; and 1.1 +/- 0.3% in u. We employ a residual-permutation method to assess the impact of correlated noise on the depth difference between the z and g bands and calculate the significance of the color dependence at 3.2{\sigma}. The Night 1 depths are consistent with dust extinction as observed in the ISM, but require grain sizes comparable to the largest found in the ISM: 0.25-1{\mu}m. This provides direct evidence in favor of this object being a disrupting low-mass rocky planet, feeding a transiting dust cloud. On the remaining four nights of observations the object was in a rare shallow-transit phase. If the grain size in the transiting dust cloud changes as the transit depth changes, the extinction efficiency is expected to change in a wavelength- and composition-dependent way. Observing a change in the wavelength-dependent transit depth would offer an unprecedented opportunity to determine the composition of the disintegrating rocky body KIC 12557548 b. We detected four out-of-transit u band events consistent with stellar flares.


title: Green thermoelectrics: Observation and analysis of plant thermoelectric response

abstract: Plants are sensitive to thermal and electrical effects; yet the coupling of both, known as thermoelectricity, and its quantitative measurement in vegetal systems never were reported. We recorded the thermoelectric response of bean sprouts under various thermal conditions and stress. The obtained experimental data unambiguously demonstrate that a temperature difference between the roots and the leaves of a bean sprout induces a thermoelectric voltage between these two points. Basing our analysis of the data on the force-flux formalism of linear response theory, we found that the strength of the vegetal equivalent to the thermoelectric coupling is one order of magnitude larger than that in the best thermoelectric materials. Experimental data also show the importance of the thermal stress variation rate in the plant's electrophysiological response. Therefore, thermoelectric effects are sufficiently important to partake in the complex and intertwined processes of energy and matter transport within plants.


title: Entire Functions Sharing Small Functions With Their Difference Operators

abstract: We investigate uniqueness problems for an entire function that shares two small functions of finite order with their difference operators. In particular, we give a generalization of a result in $[2]$.


title: On Schur 3-groups

abstract: Let $G$ be a finite group. If $\Gamma$ is a permutation group with $G_{right}\leq\Gamma\leq Sym(G)$ and $\mathcal{S}$ is the set of orbits of the stabilizer of the identity $e=e_{G}$ in $\Gamma$, then the $\mathbb{Z}$-submodule $\mathcal{A}(\Gamma,G)=Span_{\mathbb{Z}}\{\underline{X}:\ X\in\mathcal{S}\}$ of the group ring $\mathbb{Z} G$ is an $S$-ring as it was observed by Schur. Following P\"{o}schel an $S$-ring $\mathcal{A}$ over $G$ is said to be schurian if there exists a suitable permutation group $\Gamma$ such that $\mathcal{A}=\mathcal{A}(\Gamma,G)$. A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian. We prove that the groups $M_{3^n}=\langle a,b\;|\:a^{3^{n-1}}=b^3=e,a^b=a^{3^{n-2}+1}\rangle$, where $n\geq3$, are not Schur. Modulo previously obtained results, it follows that every Schur $p$-group is abelian whenever $p$ is an odd prime.


title: Ab initio thermodynamic results for the degenerate electron gas at finite temperature

abstract: The uniform electron gas (UEG) at finite temperature is of key relevance for many applications in dense plasmas, warm dense matter, laser excited solids and much more. Accurate thermodynamic data for the UEG are an essential ingredient for many-body theories, in particular, density functional theory. Recently, first-principle restricted path integral Monte Carlo results became available which, however, due to the fermion sign problem, had to be restricted to moderate degeneracy, i.e. low to moderate densities with $r_s={\bar r}/a_B \gtrsim 1$. Here we present novel first-principle configuration PIMC results for electrons for $r_s \leq 1$. We also present quantum statistical data within the $e^4$-approximation that are in good agreement with the simulations at small to moderate $r_s$.


title: Deep Transform: Error Correction via Probabilistic Re-Synthesis

abstract: Errors in data are usually unwelcome and so some means to correct them is useful. However, it is difficult to define, detect or correct errors in an unsupervised way. Here, we train a deep neural network to re-synthesize its inputs at its output layer for a given class of data. We then exploit the fact that this abstract transformation, which we call a deep transform (DT), inherently rejects information (errors) existing outside of the abstract feature space. Using the DT to perform probabilistic re-synthesis, we demonstrate the recovery of data that has been subject to extreme degradation.


title: Weighted Ostrowski-Gr\"uss type inequalities

abstract: Several inequalities of Ostrowski-Gruss-type availabe in the literature are generalized by considering the weighted case of them. Involving the least concave majorant of the modulus of continuity we provide upper error bounds of such inequalities.


title: Tetraquark state candidates: $Y(4140)$, $Y(4274)$ and $X(4350)$

abstract: In this article, we tentatively assign the $Y(4140)$, $Y(4274)$ and $X(4350)$ to be the scalar and tensor $cs\bar{c}\bar{s}$ tetraquark states, respectively, and study them with the QCD sum rules. In the operator product expansion, we take into account the vacuum condensates up to dimension-10. In calculations, we use the formula $\mu=\sqrt{M^2_{X/Y/Z}-(2{\mathbb{M}}_c)^2}$ to determine the energy scales of the QCD spectral densities. The numerical results favor assigning the $Y(4140)$ to be the $J^{PC}=2^{++}$ diquark-antidiquark type tetraquark state, and disfavor assigning the $Y(4274)$ and $X(4350)$ to be the $0^{++}$ or $2^{++}$ tetraquark states.


title: On the exact region determined by Kendall's tau and Spearman's rho

abstract: Using properties of shuffles of copulas and tools from combinatorics we solve the open question about the exact region $\Omega$ determined by all possible values of Kendall's $\tau$ and Spearman's $\rho$. In particular, we prove that the well-known inequality established by Durbin and Stuart in 1951 is only sharp on a countable set with sole accumulation point $(-1,-1)$, give a simple analytic characterization of $\Omega$ in terms of a continuous, strictly increasing piecewise concave function, and show that $\Omega$ is compact and simply connected but not convex. The results also show that for each $(x,y)\in \Omega$ there are mutually completely dependent random variables whose $\tau$ and $\rho$ values coincide with $x$ and $y$ respectively.


title: Godeaux surfaces with an Enriques involution and some stable degenerations

abstract: We give an explicit description of the Godeaux surfaces that admit an involution such that the quotient surface is birational to an Enriques surface; these surfaces give a 6-dimensional unirational irreducible subset of the moduli space of surfaces of general type. In addition, we describe the Enriques surfaces that are birational to the quotient of a Godeaux surface by an involution and we show that they give a 5-dimensional unirational irreducible subset of the moduli space of Enriques surfaces. Finally, by degenerating our description we obtain some examples of non-normal stable Godeaux surfaces.


title: Particle Gibbs for Bayesian Additive Regression Trees

abstract: Additive regression trees are flexible non-parametric models and popular off-the-shelf tools for real-world non-linear regression. In application domains, such as bioinformatics, where there is also demand for probabilistic predictions with measures of uncertainty, the Bayesian additive regression trees (BART) model, introduced by Chipman et al. (2010), is increasingly popular. As data sets have grown in size, however, the standard Metropolis-Hastings algorithms used to perform inference in BART are proving inadequate. In particular, these Markov chains make local changes to the trees and suffer from slow mixing when the data are high-dimensional or the best fitting trees are more than a few layers deep. We present a novel sampler for BART based on the Particle Gibbs (PG) algorithm (Andrieu et al., 2010) and a top-down particle filtering algorithm for Bayesian decision trees (Lakshminarayanan et al., 2013). Rather than making local changes to individual trees, the PG sampler proposes a complete tree to fit the residual. Experiments show that the PG sampler outperforms existing samplers in many settings.


title: DRAW: A Recurrent Neural Network For Image Generation

abstract: This paper introduces the Deep Recurrent Attentive Writer (DRAW) neural network architecture for image generation. DRAW networks combine a novel spatial attention mechanism that mimics the foveation of the human eye, with a sequential variational auto-encoding framework that allows for the iterative construction of complex images. The system substantially improves on the state of the art for generative models on MNIST, and, when trained on the Street View House Numbers dataset, it generates images that cannot be distinguished from real data with the naked eye.


title: Hanle Magnetoresistance in Thin Metal Films with Strong Spin-Orbit Coupling

abstract: We report measurements of a new type of magnetoresistance in Pt and Ta thin films. The spin accumulation created at the surfaces of the film by the spin Hall effect decreases in a magnetic field because of the Hanle effect, resulting in an increase of the electrical resistance as predicted by Dyakonov [PRL 99, 126601 (2007)]. The angular dependence of this magnetoresistance resembles the recently discovered spin Hall magnetoresistance in Pt/Y3Fe5O12 bilayers, although the presence of a ferromagnetic insulator is not required. We show that this Hanle magnetoresistance is an alternative, simple way to quantitatively study the coupling between charge and spin currents in metals with strong spin-orbit coupling.


title: Compressed Tree Canonization

abstract: Straight-line (linear) context-free tree (SLT) grammars have been used to compactly represent ordered trees. It is well known that equivalence of SLT grammars is decidable in polynomial time. Here we extend this result and show that isomorphism of unordered trees given as SLT grammars is decidable in polynomial time. The proof constructs a compressed version of the canonical form of the tree represented by the input SLT grammar. The result is generalized to unrooted trees by "re-rooting" the compressed trees in polynomial time. We further show that bisimulation equivalence of unrooted unordered trees represented by SLT grammars is decidable in polynomial time. For non-linear SLT grammars which can have double-exponential compression ratios, we prove that unordered isomorphism is PSPACE-hard and in EXPTIME. The same complexity bounds are shown for bisimulation equivalence.


title: Studying the Supernova luminosity distance in Palatini formalism considering the role of causal structure constant

abstract: The speed of light is a complicated synthesizer quantity with distinctive origins which lead to coincident values in the standard theory. Due to the fact that different aspects of speed of light do not coincide in the local inertial frame for different Palatini modified gravity theories, when deviating from general relativity, one should consider which aspect of speed of light should be taken into account meticulously and unambiguously. The aim of this study is mainly investigating the modification of the SN Ia luminosity distance, for two f(R) and f(RR) extended theories in the local inertial frame in Palatini formalism considering different aspects of the speed of light. Besides the local inertial frame itself should be determined in the Palatini formalism as a frame in which the Einstein Equivalence Principle is valid. SN Ia luminosity distance should be modified considering the variation of the space-time causal structure constant for two well-known extended models in Palatini formalism.


title: Theoretical computation of the polarization characteristics of an X-ray Free-Electron Laser with planar undulator

abstract: We show that radiation pulses from an X-ray Free-Electron Laser (XFEL) with a planar undulator, which are mainly polarized in the horizontal direction, exhibit a suppression of the vertical polarization component of the power at least by a factor $\lambda_w^2/(4 \pi L_g)^2$, where $\lambda_w$ is the length of the undulator period and $L_g$ is the FEL field gain length. We illustrate this fact by examining the XFEL operation under the steady state assumption. In our calculations we considered only resonance terms: in fact, non resonance terms are suppressed by a factor $\lambda_w^3/(4 \pi L_g)^3$ and can be neglected. While finding a situation for making quantitative comparison between analytical and experimental results may not be straightforward, the qualitative aspects of the suppression of the vertical polarization rate at XFELs should be easy to observe. We remark that our exact results can potentially be useful to developers of new generation FEL codes for cross-checking their results.


title: Scattering data computation for the Zakharov-Shabat system

abstract: A numerical method to solve the direct scattering problem for the Zakharov-Shabat system associated to the initial value problem for the nonlinear Schroedinger equation is proposed. The method involves the numerical solution of Volterra integral systems with structured kernels and the identification of coefficients and parameters appearing in monomial-exponential sums. Numerical experiments confirm the effectiveness of the proposed technique.


title: T violation in radiative $\beta$ decay and electric dipole moments

abstract: In radiative $\beta$ decay, $T$ violation can be studied through a spin-independent $T$-odd correlation. We consider contributions to this correlation by beyond the standard model (BSM) sources of $T$-violation, arising above the electroweak scale. At the same time such sources, parametrized by dimension-6 operators, can induce electric dipole moments (EDMs). As a consequence, the manifestations of the $T$-odd BSM physics in radiative $\beta$ decay and EDMs are not independent. Here we exploit this connection to show that current EDM bounds already strongly constrain the spin-independent $T$-odd correlation in radiative $\beta$ decay.


title: Effects of gravitational waves on the polarization of pulsars

abstract: The polarization of electromagnetic waves in the presence of a gravitational wave is analyzed. The rotation of the polarization angle and the Stokes parameters are deduced. A possible application to the detection of stochastic background of gravitational waves is proposed as a complement to the pulsar timing method.


title: Clustering and Inference From Pairwise Comparisons

abstract: Given a set of pairwise comparisons, the classical ranking problem computes a single ranking that best represents the preferences of all users. In this paper, we study the problem of inferring individual preferences, arising in the context of making personalized recommendations. In particular, we assume that there are $n$ users of $r$ types; users of the same type provide similar pairwise comparisons for $m$ items according to the Bradley-Terry model. We propose an efficient algorithm that accurately estimates the individual preferences for almost all users, if there are $r \max \{m, n\}\log m \log^2 n$ pairwise comparisons per type, which is near optimal in sample complexity when $r$ only grows logarithmically with $m$ or $n$. Our algorithm has three steps: first, for each user, compute the \emph{net-win} vector which is a projection of its $\binom{m}{2}$-dimensional vector of pairwise comparisons onto an $m$-dimensional linear subspace; second, cluster the users based on the net-win vectors; third, estimate a single preference for each cluster separately. The net-win vectors are much less noisy than the high dimensional vectors of pairwise comparisons and clustering is more accurate after the projection as confirmed by numerical experiments. Moreover, we show that, when a cluster is only approximately correct, the maximum likelihood estimation for the Bradley-Terry model is still close to the true preference.


title: Testing Chern-Simons modified gravity with orbiting superconductive gravity gradiometers --- The non-dynamical formulation

abstract: High precision Superconductivity Gravity Gradiometers (SGG) are powerful tools for relativistic experiments. In this paper, we work out the tidal signals in non-dynamical Chern-Simons modified gravity, which could be measured by orbiting SGGs around Earth. We find that, with proper orientations of multi-axes SGGs, the tidal signals from the Chern-Simons modification can be isolated in the combined data of different axes. Furthermore, for three-axes SGGs, such combined data is the trace of the total tidal matrix, which is invariant under the rotations of SGG axes and thus free from axis pointing errors. Following nearly circular orbits, the tests of the parity-violating Chern-Simons modification and the measurements of the gravitomagnetic sector in parity-conserving metric theories can be carried out independently in the same time. A first step analysis on noise sources is also included.


title: Evaluations of Hecke algebra traces at Kazhdan-Lusztig basis elements

abstract: For irreducible characters $\{ \chi_q^\lambda \,|\, \lambda \vdash n \}$, induced sign characters $\{ \epsilon_q^\lambda \,|\, \lambda \vdash n \}$, and induced trivial characters $\{ \eta_q^\lambda \,|\, \lambda \vdash n \}$ of the Hecke algebra $H_n(q)$, and Kazhdan-Lusztig basis elements $C'_w(q)$ with $w$ avoiding the patterns 3412 and 4231, we combinatorially interpret the polynomials $\chi_q^\lambda(q^{l(w)/2}C'_w(q))$, $\epsilon_q^\lambda(q^{l(w)/2} C'_w(q))$, and $\smash{\eta_q^\lambda(q^{l(w)/2} C'_w(q))}$. This gives a new algebraic interpretation of chromatic quasisymmetric functions of Shareshian and Wachs, and a new combinatorial interpretation of special cases of results of Haiman. We prove similar results for other $H_n(q)$-traces, and confirm a formula conjectured by Haiman.


title: The exp-log normal form of types

abstract: Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the sum type. First, we do not know of an explicit and implemented algorithm for deciding the beta-eta-equality of terms---and this in spite of the first decidability results proven two decades ago. Second, it is not clear how to decide when two types are essentially the same, i.e. isomorphic, in spite of the meta-theoretic results on decidability of the isomorphism. In this paper, we present the exp-log normal form of types---derived from the representation of exponential polynomials via the unary exponential and logarithmic functions---that any type built from arrows, products, and sums, can be isomorphically mapped to. The type normal form can be used as a simple heuristic for deciding type isomorphism, thanks to the fact that it is a systematic application of the high-school identities. We then show that the type normal form allows to reduce the standard beta-eta equational theory of the lambda calculus to a specialized version of itself, while preserving the completeness of equality on terms. We end by describing an alternative representation of normal terms of the lambda calculus with sums, together with a Coq-implemented converter into/from our new term calculus. The difference with the only other previously implemented heuristic for deciding interesting instances of eta-equality by Balat, Di Cosmo, and Fiore, is that we exploit the type information of terms substantially and this often allows us to obtain a canonical representation of terms without performing sophisticated term analyses.


title: Parameter estimation in softmax decision-making models with linear objective functions

abstract: With an eye towards human-centered automation, we contribute to the development of a systematic means to infer features of human decision-making from behavioral data. Motivated by the common use of softmax selection in models of human decision-making, we study the maximum likelihood parameter estimation problem for softmax decision-making models with linear objective functions. We present conditions under which the likelihood function is convex. These allow us to provide sufficient conditions for convergence of the resulting maximum likelihood estimator and to construct its asymptotic distribution. In the case of models with nonlinear objective functions, we show how the estimator can be applied by linearizing about a nominal parameter value. We apply the estimator to fit the stochastic UCL (Upper Credible Limit) model of human decision-making to human subject data. We show statistically significant differences in behavior across related, but distinct, tasks.


title: Shape and flow fluctuations in ultra-central Pb+Pb collisions at the LHC

abstract: In ultra-central heavy-ion collisions, anisotropic hydrodynamic flow is generated by density fluctuations in the initial state rather than by geometric overlap effects. For a given centrality class, the initial fluctuation spectrum is sensitive to the method chosen for binning the events into centrality classes. We show that sorting events by total initial entropy or by total final multiplicity yields event classes with equivalent statistical fluctuation properties, in spite of viscous entropy production during the fireball evolution. With this initial entropy-based centrality definition we generate several classes of ultra-central Pb+Pb collisions at LHC energies and evolve the events using viscous hydrodynamics with non-zero shear but vanishing bulk viscosity. Comparing the predicted anisotropic flow coefficients for charged hadrons with CMS data we find that both the Monte Carlo Glauber (MC-Glb) and Monte Carlo Kharzeev-Levin-Nardi (MC-KLN) models produce initial fluctuation spectra that are incompatible with the measured final anisotropic flow power spectrum, for any choice of the specific shear viscosity. In spite of this failure, we show that the hydrodynamic model can qualitatively explain, in terms of event-by-event fluctuations of the anisotropic flow coefficients and flow angles, the breaking of flow factorization for elliptic, triangular and quadrangular flow measured by the CMS experiment. For elliptic flow, this factorization breaking is large in ultra-central collisions. We conclude that the bulk of the experimentally observed flow factorization breaking effects are qualitatively explained by hydrodynamic evolution of initial-state fluctuations, but that their quantitative description requires a better understanding of the initial fluctuation spectrum.


title: Orientation of the linear polarization plane of H-alpha emission in prominences

abstract: 2D distributions of deviations of the polarization plane from the direction tangential to the solar limb (angle \chi) and the sign of \chi are presented for H{\alpha} prominences of March 29, 2006. The obtained values of \chi are in agreement with non-eclipse coronagraphic measurements and indicate the existence of longitudinal magnetic fields. The 2D distributions of the sign of \chi show the existence of both {\guillemotleft}+{\guillemotright} and {\guillemotleft}-{\guillemotright} polarities for each prominence. An interpretation in the frame of the existence of oppositely directed magnetic fields is noted.


title: Information Geometric Nonlinear Filtering

abstract: This paper develops information geometric representations for nonlinear filters in continuous time. The posterior distribution associated with an abstract nonlinear filtering problem is shown to satisfy a stochastic differential equation on a Hilbert information manifold. This supports the Fisher metric as a pseudo-Riemannian metric. Flows of Shannon information are shown to be connected with the quadratic variation of the process of posterior distributions in this metric. Apart from providing a suitable setting in which to study such information-theoretic properties, the Hilbert manifold has an appropriate topology from the point of view of multi-objective filter approximations. A general class of finite-dimensional exponential filters is shown to fit within this framework, and an intrinsic evolution equation, involving Amari's $-1$-covariant derivative, is developed for such filters. Three example systems, one of infinite dimension, are developed in detail.


title: Hamiltonian closures for fluid models with four moments by dimensional analysis

abstract: Fluid reductions of the Vlasov-Amp{\`e}re equations that preserve the Hamiltonian structure of the parent kinetic model are investigated. Hamiltonian closures using the first four moments of the Vlasov distribution are obtained, and all closures provided by a dimensional analysis procedure for satisfying the Jacobi identity are identified. Two Hamiltonian models emerge, for which the explicit closures are given, along with their Poisson brackets and Casimir invariants.


title: The Lorentzian proper vertex amplitude: Classical analysis and quantum derivation

abstract: Spin foam models, an approach to defining the dynamics of loop quantum gravity, make use of the Plebanski formulation of gravity, in which gravity is recovered from a topological field theory via certain constraints called simplicity constraints. However, the simplicity constraints in their usual form select more than just one gravitational sector as well as a degenerate sector. This was shown, in previous work, to be the reason for the "extra" terms appearing in the semiclassical limit of the Euclidean EPRL amplitude. In this previous work, a way to eliminate the extra sectors, and hence terms, was developed, leading to the what was called the Euclidean proper vertex amplitude. In the present work, these results are extended to the Lorentzian signature, establishing what is called the Lorentzian proper vertex amplitude. This extension is non-trivial and involves a number of new elements since, for Lorentzian bivectors, the split into self-dual and anti-self-dual parts, on which the Euclidean derivation was based, is no longer available. In fact, the classical parts of the present derivation provide not only an extension to the Lorentzian case, but also, with minor modifications, provide a new, more four dimensionally covariant derivation for the Euclidean case. The new elements in the quantum part of the derivation are due to the different structure of unitary representations of the Lorentz group.


title: K-corona recording in the range < 1.4 Rsun

abstract: Two approaches are suggested for recording the continuum corona in the range < 1.4 Rsun. They are different from the classical coronagraphic ones. Current state in the thin film technology allows discussing a new generation coronagraph with a variable transmission of an entrance aperture. The estimated coronagraphic factor is 2 orders of magnitude higher compared to a Lyot-type coronagraph. Another approach is based on the use of total solar eclipses at near-Mercury orbits. The instrumental background is decreased at least 3 orders of magnitude. That allows using a more simplified optical sketch.


title: Locally covariant quantum field theory and the problem of formulating the same physics in all spacetimes

abstract: The framework of locally covariant quantum field theory is discussed, motivated in part using "ignorance principles". It is shown how theories can be represented by suitable functors, so that physical equivalence of theories may be expressed via natural isomorphisms between the corresponding functors. The inhomogeneous scalar field is used to illustrate the ideas. It is argued that there are two reasonable definitions of the local physical content associated with a locally covariant theory; when these coincide, the theory is said to be dynamically local. The status of the dynamical locality condition is reviewed, as are its applications in relation to (a) the foundational question of what it means for a theory to represent the same physics in different spacetimes, and (b) a no-go result on the existence of natural states.


title: Using the LASSO's Dual for Regularization in Sparse Signal Reconstruction from Array Data

abstract: Waves from a sparse set of source hidden in additive noise are observed by a sensor array. We treat the estimation of the sparse set of sources as a generalized complex-valued LASSO problem. The corresponding dual problem is formulated and it is shown that the dual solution is useful for selecting the regularization parameter of the LASSO when the number of sources is given. The solution path of the complex-valued LASSO is analyzed. For a given number of sources, the corresponding regularization parameter is determined by an order-recursive algorithm and two iterative algorithms that are based on a further approximation. Using this regularization parameter, the DOAs of all sources are estimated.


title: Beyond the Runs Theorem

abstract: Recently, a short and elegant proof was presented showing that a binary word of length $n$ contains at most $n-3$ runs. Here we show, using the same technique and a computer search, that the number of runs in a binary word of length $n$ is at most $\frac{22}{23}n<0.957n$.


title: Synthesis of Attributed Feature Models From Product Descriptions: Foundations

abstract: Feature modeling is a widely used formalism to characterize a set of products (also called configurations). As a manual elaboration is a long and arduous task, numerous techniques have been proposed to reverse engineer feature models from various kinds of artefacts. But none of them synthesize feature attributes (or constraints over attributes) despite the practical relevance of attributes for documenting the different values across a range of products. In this report, we develop an algorithm for synthesizing attributed feature models given a set of product descriptions. We present sound, complete, and parametrizable techniques for computing all possible hierarchies, feature groups, placements of feature attributes, domain values, and constraints. We perform a complexity analysis w.r.t. number of features, attributes, configurations, and domain size. We also evaluate the scalability of our synthesis procedure using randomized configuration matrices. This report is a first step that aims to describe the foundations for synthesizing attributed feature models.


title: On static Poincar\'e-Einstein metrics

abstract: The classification of solutions of the static vacuum Einstein equations, on a given closed manifold or an asymptotically flat one, is a long-standing and much-studied problem. Solutions are characterized by a complete Riemannian $n$-manifold $(M,g)$ and a positive function $N$, called the lapse. We study this problem on Asymptotically Poincar\'e-Einstein $n$-manifolds, $n\ge 3$, when the conformal boundary-at-infinity is either a round sphere, a flat torus or smooth quotient thereof, or a compact hyperbolic manifold. Such manifolds have well-defined Wang mass, and are time-symmetric slices of static, vacuum, asymptotically anti-de Sitter spacetimes. By integrating a mildly generalized form of an identity used by Lindblom, Shen, Wang, and others, we give a mass formula for such manifolds. In consequence, we observe that either the lapse is trivial and $(M,g)$ is Poincar\'e-Einstein or the Wang mass is negative, as in the case of time symmetric slices of the AdS soliton. As an application, we use the mass formula to compute the renormalized volume of the warped product $(X,\gamma) = (M^3,g) \times_{N^2} (S^1,dt^2)$. We also give a mass formula for the case of a metric that is static in the region exterior to a horizon on which the lapse function is zero. Then the manifold $(X,\gamma)$ is said to have a "bolt" where the $S^1$ factor shrinks to zero length. The renormalized volume of $(X,\gamma)$ is expected on physical grounds to have the form of the free energy per unit temperature for a black hole in equilibrium with a radiation bath at fixed temperature. When $M$ is 3-dimensional and admits a horizon, we apply this mass formula to compute the renormalized volume of $(X,\gamma)$ and show that it indeed has the expected thermodynamically motivated form.


title: Completely monotone functions and some classes of fractional evolution equations

abstract: The abstract Cauchy problem for the distributed order fractional evolution equation in the Caputo and in the Riemann-Liouville sense is studied for operators generating a strongly continuous one-parameter semigroup on a Banach space. Continuous as well as discrete distribution of fractional time-derivatives of order less than one are considered. The problem is reformulated as an abstract Volterra integral equation. It is proven that its kernel satisfy certain complete monotonicity properties. Based on these properties, the well-posedness of the problem is established and a series expansion of the solution is obtained. In case of ordered Banach space this representation implies positivity of the solution operator. In addition, a subordination formula is obtained.


title: An Improved Treatment of Cosmological Intergalactic Medium Evolution

abstract: The modeling of galaxy formation and reionization, two central issues of modern cosmology, relies on the accurate follow-up of the intergalactic medium (IGM). Unfortunately, owing to the complex nature of this medium, the differential equations governing its ionization state and temperature are only approximate. In this paper, we improve these master equations. We derive new expression for the distinct composite inhomogeneous IGM phases, including all relevant ionizing/recombining and cooling/heating mechanisms, taking into account inflows/outflows into/from halos, and using more accurate recombination coefficients. Furthermore, to better compute the source functions in the equations we provide an analytic procedure for calculating the halo mass function in ionized environments, accounting for the bias due to the ionization state of their environment. Such an improved treatment of IGM evolution is part of a complete realistic model of galaxy formation presented elsewhere.


title: Noisy Channel-Output Feedback Capacity of the Linear Deterministic Interference Channel

abstract: In this paper, the capacity region of the two-user linear deterministic (LD) interference channel with noisy output feedback (IC-NOF) is fully characterized. This result allows the identification of several asymmetric scenarios in which imple- menting channel-output feedback in only one of the transmitter- receiver pairs is as beneficial as implementing it in both links, in terms of achievable individual rate and sum-rate improvements w.r.t. the case without feedback. In other scenarios, the use of channel-output feedback in any of the transmitter-receiver pairs benefits only one of the two pairs in terms of achievable individual rate improvements or simply, it turns out to be useless, i.e., the capacity regions with and without feedback turn out to be identical even in the full absence of noise in the feedback links.


title: Lower Bound for General Circuits Computing Clique Function

abstract: We prove an exponential lower bound for general circuits computing the clique function and hereby confirm that NP != P.


title: On the existence and construction of Dulac functions

abstract: We provide sufficient conditions on the components of a vector field, which ensure the existence of Dulac functions depending on special functions for such vector field. We also present some applications and examples in order to illustrate our results.


title: Inferring 3D Object Pose in RGB-D Images

abstract: The goal of this work is to replace objects in an RGB-D scene with corresponding 3D models from a library. We approach this problem by first detecting and segmenting object instances in the scene using the approach from Gupta et al. [13]. We use a convolutional neural network (CNN) to predict the pose of the object. This CNN is trained using pixel normals in images containing rendered synthetic objects. When tested on real data, it outperforms alternative algorithms trained on real data. We then use this coarse pose estimate along with the inferred pixel support to align a small number of prototypical models to the data, and place the model that fits the best into the scene. We observe a 48% relative improvement in performance at the task of 3D detection over the current state-of-the-art [33], while being an order of magnitude faster at the same time.


title: Rewriting Higher-Order Stack Trees

abstract: Higher-order pushdown systems and ground tree rewriting systems can be seen as extensions of suffix word rewriting systems. Both classes generate infinite graphs with interesting logical properties. Indeed, the model-checking problem for monadic second order logic (respectively first order logic with a reachability predicate) is decidable on such graphs. We unify both models by introducing the notion of stack trees, trees whose nodes are labelled by higher-order stacks, and define the corresponding class of higher-order ground tree rewriting systems. We show that these graphs retain the decidability properties of ground tree rewriting graphs while generalising the pushdown hierarchy of graphs.


title: An iterative hard thresholding estimator for low rank matrix recovery with explicit limiting distribution

abstract: We consider the problem of low rank matrix recovery in a stochastically noisy high dimensional setting. We propose a new estimator for the low rank matrix, based on the iterative hard thresholding method, and that is computationally efficient and simple. We prove that our estimator is efficient both in terms of the Frobenius risk, and in terms of the entry-wise risk uniformly over any change of orthonormal basis. This result allows us, in the case where the design is Gaussian, to provide the limiting distribution of the estimator, which is of great interest for constructing tests and confidence sets for low dimensional subsets of entries of the low rank matrix.


title: The Closest Known Flyby of a Star to the Solar System

abstract: Passing stars can perturb the Oort Cloud, triggering comet showers and potentially extinction events on Earth. We combine velocity measurements for the recently discovered, nearby, low-mass binary system WISE J072003.20-084651.2 ("Scholz's star") to calculate its past trajectory. Integrating the Galactic orbits of this $\sim$0.15 M$_{\odot}$ binary system and the Sun, we find that the binary passed within only 52$^{+23}_{-14}$ kAU (0.25$^{+0.11}_{-0.07}$ parsec) of the Sun 70$^{+15}_{-10}$ kya (1$\sigma$ uncertainties), i.e. within the outer Oort Cloud. This is the closest known encounter of a star to our solar system with a well-constrained distance and velocity. Previous work suggests that flybys within 0.25 pc occur infrequently ($\sim$0.1 Myr$^{-1}$). We show that given the low mass and high velocity of the binary system, the encounter was dynamically weak. Using the best available astrometry, our simulations suggest that the probability that the star penetrated the outer Oort Cloud is $\sim$98%, but the probability of penetrating the dynamically active inner Oort Cloud ($<$20 kAU) is $\sim$10$^{-4}$. While the flyby of this system likely caused negligible impact on the flux of long-period comets, the recent discovery of this binary highlights that dynamically important Oort Cloud perturbers may be lurking among nearby stars.


title: A small frame and a certificate of its injectivity

abstract: We present a complex frame of eleven vectors in 4-space and prove that it defines injective measurements. That is, any rank-one $4\times 4$ Hermitian matrix is uniquely determined by its values as a Hermitian form on this collection of eleven vectors. This disproves a recent conjecture of Bandeira, Cahill, Mixon, and Nelson. We use algebraic computations and certificates in order to prove injectivity.


title: A Full Multigrid Method for Nonlinear Eigenvalue Problems

abstract: This paper is to introduce a type of full multigrid method for the nonlinear eigenvalue problem. The main idea is to transform the solution of nonlinear eigenvalue problem into a series of solutions of the corresponding linear boundary value problems on the sequence of finite element spaces and nonlinear eigenvalue problems on the coarsest finite element space. The linearized boundary value problems are solved by some multigrid iterations. Besides the multigrid iteration, all other efficient iteration methods for solving boundary value problems can serve as the linear problem solver. We will prove that the computational work of this new scheme is truly optimal, the same as solving the linear corresponding boundary value problem. In this case, this type of iteration scheme certainly improves the overfull efficiency of solving nonlinear eigenvalue problems. Some numerical experiments are presented to validate the efficiency of the new method.


title: HEp-2 Cell Classification via Fusing Texture and Shape Information

abstract: Indirect Immunofluorescence (IIF) HEp-2 cell image is an effective evidence for diagnosis of autoimmune diseases. Recently computer-aided diagnosis of autoimmune diseases by IIF HEp-2 cell classification has attracted great attention. However the HEp-2 cell classification task is quite challenging due to large intra-class variation and small between-class variation. In this paper we propose an effective and efficient approach for the automatic classification of IIF HEp-2 cell image by fusing multi-resolution texture information and richer shape information. To be specific, we propose to: a) capture the multi-resolution texture information by a novel Pairwise Rotation Invariant Co-occurrence of Local Gabor Binary Pattern (PRICoLGBP) descriptor, b) depict the richer shape information by using an Improved Fisher Vector (IFV) model with RootSIFT features which are sampled from large image patches in multiple scales, and c) combine them properly. We evaluate systematically the proposed approach on the IEEE International Conference on Pattern Recognition (ICPR) 2012, IEEE International Conference on Image Processing (ICIP) 2013 and ICPR 2014 contest data sets. The experimental results for the proposed methods significantly outperform the winners of ICPR 2012 and ICIP 2013 contest, and achieve comparable performance with the winner of the newly released ICPR 2014 contest.