title: Computational Complexity versus Statistical Performance on Sparse Recovery Problems

abstract: We show that several classical quantities controlling compressed sensing performance directly match classical parameters controlling algorithmic complexity. We first describe linearly convergent restart schemes on first-order methods solving a broad range of compressed sensing problems, where sharpness at the optimum controls convergence speed. We show that for sparse recovery problems, this sharpness can be written as a condition number, given by the ratio between true signal sparsity and the largest signal size that can be recovered by the observation matrix. In a similar vein, Renegar's condition number is a data-driven complexity measure for convex programs, generalizing classical condition numbers for linear systems. We show that for a broad class of compressed sensing problems, the worst case value of this algorithmic complexity measure taken over all signals matches the restricted singular value of the observation matrix which controls robust recovery performance. Overall, this means in both cases that, in compressed sensing problems, a single parameter directly controls both computational complexity and recovery performance. Numerical experiments illustrate these points using several classical algorithms.


title: Randomized Iterative Methods for Linear Systems

abstract: We develop a novel, fundamental and surprisingly simple randomized iterative method for solving consistent linear systems. Our method has six different but equivalent interpretations: sketch-and-project, constrain-and-approximate, random intersect, random linear solve, random update and random fixed point. By varying its two parameters$-$a positive definite matrix (defining geometry), and a random matrix (sampled in an independently and identically distributed fashion in each iteration)$-$we recover a comprehensive array of well-known algorithms as special cases, including the randomized Kaczmarz method, randomized Newton method, randomized coordinate descent method and random Gaussian pursuit. We naturally also obtain variants of all these methods using blocks and importance sampling. However, our method allows for a much wider selection of these two parameters, which leads to a number of new specific methods. We prove exponential convergence of the expected norm of the error in a single theorem, from which existing complexity results for known variants can be obtained. However, we also give an exact formula for the evolution of the expected iterates, which allows us to give lower bounds on the convergence rate.


title: A first-principle study of half-Heusler alloys CKMg and SiKMg

abstract: The structural, electronic, and magnetic properties of half-Heusler alloys CKMg and SiKMg are studied by using first-principle density functional theory. The calculations reveal the SiKMg alloy is a half-metallic ferromagnet with the magnetic moment of 1 $\mu_B$ per formula unit at equilibrium lattice constant. The magnetic moment mainly originates from the strong spin-polarization of $p$ electrons of Si atom and partial involvement of $d$ electrons of K atom. The half-metallic gap is 0.105 eV. The robustness of half-metallic against the lattice constants for SiKMg is also calculated. CKMg alloy is nearly half-metallic with a spin polarization of 99.99 \%\ at equilibrium lattice constant, but it is a good half-metallic alloy when a low pressure is applied. This shows CKMg is a very promising spintronic functional material.


title: Neutral Stochastic Differential Delay Equations with Locally Monotone Coefficients

abstract: In this paper, we prove the existence and uniqueness of the solution for neutral stochastic differential delay equations with locally monotone coefficients by using numerical approximation. An example is provided to illustrate our theory.


title: Geodesic curves on Shimura surfaces

abstract: We parametrize the commensurability classes of curves on Shimura surfaces that are totally geodesic, i.e., the commensurability classes of so-called $\mathbb{C}$-Fuchsian subgroups. In particular, if a Shimura surface contains one commensurability class of totally geodesic curves, it contains infinitely many.


title: Utilizing Bochners Theorem for Constrained Evaluation of Missing Fourier Data

abstract: A method is presented for estimating unknown Fourier domain (k-space) data using a small number of samples in that space. The method is derived from Bochners Theorem, and is termed: Bochner Inequality Completion of K-Space (BICKS). It is suitable for filling the k-space of a real and nonnegative unknown quantity, and applicable even when the sampling rate is substantially lower than the Nyquist sampling rate. The BICKS method is demonstrated in the context of medical imaging, but it is also applicable to many other scientific areas that utilize signal processing in Fourier domain. The results indicate that filling a highly undersampled k-space using BICKS enables high quality image reconstruction.


title: Wide baseline stereo matching with convex bounded-distortion constraints

abstract: Finding correspondences in wide baseline setups is a challenging problem. Existing approaches have focused largely on developing better feature descriptors for correspondence and on accurate recovery of epipolar line constraints. This paper focuses on the challenging problem of finding correspondences once approximate epipolar constraints are given. We introduce a novel method that integrates a deformation model. Specifically, we formulate the problem as finding the largest number of corresponding points related by a bounded distortion map that obeys the given epipolar constraints. We show that, while the set of bounded distortion maps is not convex, the subset of maps that obey the epipolar line constraints is convex, allowing us to introduce an efficient algorithm for matching. We further utilize a robust cost function for matching and employ majorization-minimization for its optimization. Our experiments indicate that our method finds significantly more accurate maps than existing approaches.


title: Probing New Physics of Cubic Higgs Interaction via Higgs Pair Production at Hadron Colliders

abstract: Despite the discovery of a Higgs boson h(125GeV) at the LHC Run-1, its self-interaction has fully evaded direct experimental probe so far. Such self-interaction is vital for electroweak symmetry breaking, vacuum stability and electroweak phase transition, and Higgs inflation. It is a most likely place to encode new physics beyond the standard model. We parametrize such new physics by model-independent dimension-6 effective operators, and study their tests via Higgs pair production at hadron colliders. We analyze three major di-Higgs production channels at parton level, and compare the parameter-dependence of total cross sections and kinematic distributions at the LHC(14TeV) and pp(100TeV) hadron collider. We further perform full simulations for the di-Higgs production channel $gg\to hh \to b\bar{b}\gamma\gamma$ and its backgrounds at the pp(100TeV) hadron collider. We construct four kinds of benchmark points, and study the sensitivities to probing different regions of the parameter space of cubic Higgs interactions. We find that for one-parameter analysis and with a 3/ab (30/ab) integrated luminosity, the $gg\to hh \to b\bar{b}\gamma\gamma$ channel can measure the SM cubic Higgs coupling and the derivative cubic Higgs coupling to an accuracy of about 13% (4.2%) and 5% (1.6%), respectively.


title: Good Codes From Dihedral Groups

abstract: We give a simple construction of codes from left ideals in group algebras of certain dihedral groups and give an example to show that they can produce codes with weights equal to those of the best known codes of the same length.


title: Metric dynamics

abstract: The suggested approach makes it possible to produce a consistent description of motions of a physical system. It is shown that the concept of force fields defining the systems dynamics is equivalent to the choice of the corresponding metric of an anisotropic space, which is used for the modeling of physical reality and the processes that take place. The examples from hydrodynamics, electrodynamics, quantum mechanics and theory of gravitation are discussed. This approach makes it possible to get rid of some known paradoxes. It can be also used for the further development of the theory.


title: A physically-motivated quantisation of the electromagnetic field

abstract: The notion that the electromagnetic field is quantised is usually inferred from observations such as the photoelectric effect and the black-body spectrum. However accounts of the quantisation of this field are usually mathematically motivated and begin by introducing a vector potential, followed by the imposition of a gauge that allows the manipulation of the solutions of Maxwell's equations into a form that is amenable for the machinery of canonical quantisation. By contrast, here we quantise the electromagnetic field in a less mathematically and more physically-motivated way. Starting from a direct description of what one sees in experiments, we show that the usual expressions of the electric and magnetic field observables follow from Heisenberg's equation of motion. In our treatment, there is no need to invoke the vector potential in a specific gauge and we avoid the commonly-used notion of a fictitious cavity that applies boundary conditions to the field.


title: On the number of edge-disjoint triangles in $K_4$-free graphs

abstract: We show the quarter of a century old conjecture that every $K_4$-free graph with $n$ vertices and $\lfloor n^2/4 \rfloor +k$ edges contains $k$ pairwise edge disjoint triangles.


title: Singular inflation from generalized equation of state fluids

abstract: We study models with a generalized inhomogeneous equation of state fluids, in the context of singular inflation, focusing to so-called Type IV singular evolution. In the simplest case, this cosmological fluid is described by an equation of state with constant $w$, and therefore a direct modification of this constant $w$ fluid, is achieved by using a generalized form of an equation of state. We investigate from which models with generalized phenomenological equation of state, a Type IV singular inflation can be generated and what the phenomenological implications of this singularity would be. We support our results with illustrative examples and we also study the impact of the Type IV singularities on the slow-roll parameters and on the observational inflationary indices, showing the consistency with Planck mission results. The unification of singular inflation with singular dark energy era for specific generalized fluids is also proposed.


title: Concentration of the mixed discriminant of well-conditioned matrices

abstract: We call an n-tuple Q_1, ..., Q_n of positive definite nxn matrices alpha-conditioned for some alpha > 1 if the ratio of the largest among the eigenvalues of Q_1, ..., Q_n to the smallest among the eigenvalues of Q_1, ..., Q_n does not exceed alpha. An n-tuple is called doubly stochastic if the sum of Q_i is the identity matrix and the trace of each Q_i is 1. We prove that for any fixed alpha > 1 the mixed discriminant of an alpha-conditioned doubly stochastic n-tuple is n^{O(1)} e^{-n}. As a corollary, for any alpha > 1 fixed in advance, we obtain a polynomial time algorithm approximating the mixed discriminant of an alpha-conditioned n-tuple within a polynomial in n factor.


title: A sharp bound on the number of real intersection points of a sparse plane curve with a line

abstract: We prove that the number of real intersection points of a real line with a real plane curve defined by a polynomial with at most t monomials is either infinite or does not exceed 6t -7. This improves a result by M. Avendano. Furthermore, we prove that this bound is sharp for t = 3 with the help of Grothendieck's dessins d'enfant.


title: Global cycle properties in locally isometric graphs

abstract: A graph G is locally isometric if the subgraph induced by the neighbourhood of every vertex is an isometric subgraph of G. It is shown that the hamilton cycle problem for locally isometric graphs with maximum degree at most 8 is NP-complete. Structural characterizations of locally isometric graphs, with maximum degree at most 6, that are fully cycle extendable, are established and these results are used to show that locally isometric graphs with maximum degree at most 6 are weakly pancyclic. This proves Ryjacek's conjecture for a subclass of locally connected graphs.


title: Stochastic Coalitional Better-response Dynamics and Strong Nash Equilibrium

abstract: We consider coalition formation among players in an n-player finite strategic game over infinite horizon. At each time a randomly formed coalition makes a joint deviation from a current action profile such that at new action profile all players from the coalition are strictly benefited. Such deviations define a coalitional better-response (CBR) dynamics that is in general stochastic. The CBR dynamics either converges to a strong Nash equilibrium or stucks in a closed cycle. We also assume that at each time a selected coalition makes mistake in deviation with small probability that add mutations (perturbations) into CBR dynamics. We prove that all strong Nash equilibria and closed cycles are stochastically stable, i.e., they are selected by perturbed CBR dynamics as mutations vanish. Similar statement holds for strict strong Nash equilibrium. We apply CBR dynamics to the network formation games and we prove that all strongly stable networks and closed cycles are stochastically stable.


title: Regge symmetry and partition of Wigner 3-j or super 3-jS symbols: unknown properties

abstract: For each generic $(3\mbox{-}j)$ the column parities, $2(j \pm m)$, define $3$ intrinsic parities: $\alpha, \beta,\gamma$. In algebra $so(3)$ only $(3\mbox{-}j)\_{\alpha}$ exists whereas super-algebra $osp(1|2)$ admits $3$ kinds of super-symbols $(3\mbox{-}j)^{S}\_{\alpha}, (3\mbox{-}j)^{S}\_{\beta}, (3\mbox{-}j)^{S}\_{\gamma}$. Instead of 4 for $\{6\mbox{-}j\}$ symbols, Regge symmetry this time produces 5 partitions ${\tt S}\_{\boldsymbol{\wr}}(0), {\tt S}\_{\boldsymbol{\wr}}(1), {\tt S}\_{\boldsymbol{\wr}}(2), {\tt S}\_{\boldsymbol{\wr}}(4), {\tt S}\_{\boldsymbol{\wr}}(5)$, with ${\tt S}\_{\boldsymbol{\wr}}(3) = \emptyset$. Valid for $(3\mbox{-}j)\_{\alpha}, (3\mbox{-}j)^{S}\_{\alpha,\gamma}$ they reduce to 2 for $(3\mbox{-}j)^{S}\_{\beta}$ with ${\tt S}\_{\boldsymbol{\wr}}(0), {\tt S}\_{\boldsymbol{\wr}}(1)$. Unexpectedly a symbol $(3\mbox{-}j)^{S}\_{\beta}$ and its 'Regge-transformed' may be opposite in sign. In terms of integer parts and super-triangle $\triangle^{S}$ a formula similar to that of a $(3\mbox{-}j)$ is obtained for the $(3\mbox{-}j)^{S}$. Some forbidden $(3\mbox{-}j)^{S}\_{\beta}$ require an analytic prolongation, consistent with Regge $\beta$-partitions.


title: Parametric estimation of complex mixed models based on meta-model approach

abstract: Complex biological processes are usually experimented along time among a collection of individuals. Longitudinal data are then available and the statistical challenge is to better understand the underlying biological mechanisms. The standard statistical approach is mixed-effects model, with regression functions that are now highly-developed to describe precisely the biological processes (solutions of multi-dimensional ordinary differential equations or of partial differential equation). When there is no analytical solution, a classical estimation approach relies on the coupling of a stochastic version of the EM algorithm (SAEM) with a MCMC algorithm. This procedure needs many evaluations of the regression function which is clearly prohibitive when a time-consuming solver is used for computing it. In this work a meta-model relying on a Gaussian process emulator is proposed to replace this regression function. The new source of uncertainty due to this approximation can be incorporated in the model which leads to what is called a mixed meta-model. A control on the distance between the maximum likelihood estimates in this mixed meta-model and the maximum likelihood estimates obtained with the exact mixed model is guaranteed. Eventually, numerical simulations are performed to illustrate the efficiency of this approach.


title: Interstitial diffusion of arsenic in silicon

abstract: The mechanism underlying the long-range interstitial migration of nonequilibrium impurity interstitial species is used to simulate arsenic redistribution in ion implantation. An excellent agreement of the calculated arsenic concentration profiles with experimental data allows one to assume that the migration of nonequilibrium arsenic interstitial atoms makes a significant contribution to the formation of a low concentration region on thermal arsenic diffusion. The arsenic concentration profile calculated for a temperature of 1050 Celsius degrees within the framework of this assumption agrees well with the experimental one. A number of parameters describing arsenic diffusion at 1050 and 1108 Celsius degrees have been obtained.


title: Transition fronts and stretching phenomena for a general class of reaction-dispersion equations

abstract: We consider a general form of reaction-dispersion equations with non-local dispersal and local reaction. Under some general conditions, we prove the non-existence of transition fronts, as well as some stretching properties at large time for the solutions of the Cauchy problem. These conditions are satisfied in particular when the reaction is monostable and when the dispersal operator is either the fractional Laplacian, a convolution operator with a fat-tailed kernel or a nonlinear fast diffusion operator.


title: A robust and stable numerical scheme for a depth-averaged Euler system

abstract: We propose an efficient numerical scheme for the resolution of a non-hydrostatic Saint-Venant type model. The model is a shallow water type approximation of the incompressbile Euler system with free surface and slightly differs from the Green-Naghdi model. The numerical approximation relies on a kinetic interpretation of the model and a projection-correction type scheme. The hyperbolic part of the system is approximated using a kinetic based finite volume solver and the correction step implies to solve an elliptic problem involving the non-hydrostatic part of the pressure. We prove the numerical scheme satisfies properties such as positivity, well-balancing and a fully discrete entropy inequality. The numerical scheme is confronted with various time-dependent analytical solutions. Notice that the numerical procedure remains stable when the water depth tends to zero.


title: Effective mass of $^4$He atom in superfluid and normal phases

abstract: The formula for the temperature dependence of the effective mass of a $^{4}% $He atom in the superfluid and normal phases is obtained.\,\,This expression for the effective mass allows one to eliminate infra-red divergences, being applicable at all temperatures, except for a narrow fluctuation region 0.97~$\lesssim T/T_{\rm c}\leq1$.\,\,In the high and low temperature limits, as well as in the interactionless limit, the obtained expression reproduces the well known results.\,\,The temperature dependence of the heat capacity and the phase transition temperature $T_{\rm c}\approx$~2.18~K are calculated, by using the formula obtained for the effective mass.\,\,In the framework of the approach proposed in this work, the small critical index $\eta$ is determined in the random phase approximation.\,\,The obtained value corresponds to the well known result.


title: Noisy data clusters are hollow

abstract: A new vision in multidimensional statistics is proposed impacting severalareas of application. In these applications, a set of noisy measurementscharacterizing the repeatable response of a process is known as a realizationand can be seen as a single point in $\mathbb{R}^N$. The projections of thispoint on the N axes correspond to the N measurements. The contemporary visionof a diffuse cloud of realizations distributed in $\mathbb{R}^N$ is replaced bya cloud in the shape of a shell surrounding a topological manifold. Thismanifold corresponds to the process's stabilized-response domain observedwithout the measurement noise. The measurement noise, which accumulates overseveral dimensions, distances each realization from the manifold. Theprobability density function (PDF) of the realization-to-manifold distancecreates the shell. Considering the central limit theorem as the number ofdimensions increases, the PDF tends toward the normal distribution N($\mu$,$\sigma$^2) where $\mu$ fixes the center shell location and $\sigma$fixes the shell thickness. In vision, the likelihood of a realization is afunction of the realization-to-shell distance rather than therealization-to-manifold distance. The demonstration begins with the work ofClaude Shannon followed by the introduction of the shell manifold and ends withpractical applications to monitoring equipment.


title: Capacity Bounds for the $K$-User Gaussian Interference Channel

abstract: The capacity region of the $K$-user Gaussian interference channel (GIC) is a long-standing open problem and even capacity outer bounds are little known in general. A significant progress on degrees-of-freedom (DoF) analysis, a first-order capacity approximation, for the $K$-user GIC has provided new important insights into the problem of interest in the high signal-to-noise ratio (SNR) limit. However, such capacity approximation has been observed to have some limitations in predicting the capacity at \emph{finite} SNR. In this work, we develop a new upper-bounding technique that utilizes a new type of genie signal and applies \emph{time sharing} to genie signals at $K$ receivers. Based on this technique, we derive new upper bounds on the sum capacity of the three-user GIC with constant, complex channel coefficients and then generalize to the $K$-user case to better understand sum-rate behavior at finite SNR. We also provide closed-form expressions of our upper bounds on the capacity of the $K$-user symmetric GIC easily computable for \emph{any} $K$. From the perspectives of our results, some sum-rate behavior at finite SNR is in line with the insights given by the known DoF results, while some others are not. In particular, the well-known $K/2$ DoF achievable for almost all constant real channel coefficients turns out to be not embodied as a substantial performance gain over a certain range of the cross-channel coefficient in the $K$-user symmetric real case especially for \emph{large} $K$. We further investigate the impact of phase offset between the direct-channel coefficient and the cross-channel coefficients on the sum-rate upper bound for the three-user \emph{complex} GIC. As a consequence, we aim to provide new findings that could not be predicted by the prior works on DoF of GICs.


title: Generalised conservation laws in non-local field theories

abstract: We propose a geometrical treatment of symmetries in non-local field theories, where the non-locality is due to a lack of identification of field arguments in the action. We show that the existence of a symmetry of the action leads to a generalised conservation law, in which the usual conserved current acquires an additional non-local correction term, obtaining a generalisation of the standard Noether theorem. We illustrate the general formalism by discussing the specific physical example of complex scalar field theory of the type describing the hydrodynamic approximation of Bose-Einstein condensates. We expect our analysis and results to be of particular interest for the group field theory formulation of quantum gravity.


title: The Order $\mathcal{O}(\alpha_t\alpha_s)$ Corrections to the Trilinear Higgs Self-Couplings in the Complex NMSSM

abstract: A consistent interpretation of the Higgs data requires the same precision in the Higgs boson masses and in the trilinear Higgs self-couplings, which are related through their common origin from the Higgs potential. In this work we provide the two-loop corrections at order ${\cal O}(\alpha_t \alpha_s)$ in the approximation of vanishing external momenta to the trilinear Higgs self-couplings in the CP-violating Next-to-Minimal Supersymmetric extension of the Standard Model (NMSSM). In the top/stop sector two different renormalization schemes have been implemented, the OS and the $\overline{\text{DR}}$ scheme. The two-loop corrections to the self-couplings are of the order of 10\% in the investigated scenarios. The theoretical error, estimated both from the variation of the renormalization scale and from the change of the top/stop sector renormalization scheme, has been shown to be reduced due to the inclusion of the two-loop corrections.


title: Magneto-resistance quantum oscillations in a magnetic two-dimensional electron gas

abstract: Magneto-transport measurements of Shubnikov-de Haas (SdH) oscillations have been performed on two-dimensional electron gases (2DEGs) confined in CdTe and CdMnTe quantum wells. The quantum oscillations in CdMnTe, where the 2DEG interacts with magnetic Mn ions, can be described by incorporating the electron-Mn exchange interaction into the traditional Lifshitz-Kosevich formalism. The modified spin splitting leads to characteristic beating pattern in the SdH oscillations, the study of which indicates the formation of Mn clusters resulting in direct anti-ferromagnetic Mn-Mn interaction. The Landau level broadening in this system shows a peculiar decrease with increasing temperature, which could be related to statistical fluctuations of the Mn concentration.


title: Propagation of correlations in Local Random Quantum Circuits

abstract: We derive a dynamical bound on the propagation of correlations in local random quantum circuits - lattice spin systems where piecewise quantum operations - in space and time - occur with classical probabilities. Correlations are quantified by the Frobenius norm of the commutator of two positive operators acting on space-like separated local Hilbert spaces. For times $t=O(L)$ correlations spread to distances $\mathcal{D}=t$ growing, at best, diffusively for any distance within that radius with extensively suppressed distance dependent corrections whereas for $t=o(L^2)$ all parts of the system get almost equally correlated with exponentially suppressed distance dependent corrections and approach the maximum amount of correlations that may be established asymptotically.


title: On the High-SNR Capacity of the Gaussian Interference Channel and New Capacity Bounds

abstract: The best outer bound on the capacity region of the two-user Gaussian Interference Channel (GIC) is known to be the intersection of regions of various bounds including genie-aided outer bounds, in which a genie provides noisy input signals to the intended receiver. The Han and Kobayashi (HK) scheme provides the best known inner bound. The rate difference between the best known lower and upper bounds on the sum capacity remains as large as 1 bit per channel use especially around $g^2=P^{-1/3}$, where $P$ is the symmetric power constraint and $g$ is the symmetric real cross-channel coefficient. In this paper, we pay attention to the \emph{moderate interference regime} where $g^2\in (\max(0.086, P^{-1/3}),1)$. We propose a new upper-bounding technique that utilizes noisy observation of interfering signals as genie signals and applies time sharing to the genie signals at the receivers. A conditional version of the worst additive noise lemma is also introduced to derive new capacity bounds. The resulting upper (outer) bounds on the sum capacity (capacity region) are shown to be tighter than the existing bounds in a certain range of the moderate interference regime. Using the new upper bounds and the HK lower bound, we show that $R_\text{sym}^*=\frac{1}{2}\log \big(|g|P+|g|^{-1}(P+1)\big)$ characterizes the capacity of the symmetric real GIC to within $0.104$ bit per channel use in the moderate interference regime at any signal-to-noise ratio (SNR). We further establish a high-SNR characterization of the symmetric real GIC, where the proposed upper bound is at most $0.1$ bit far from a certain HK achievable scheme with Gaussian signaling and time sharing for $g^2\in (0,1]$. In particular, $R_\text{sym}^*$ is achievable at high SNR by the proposed HK scheme and turns out to be the high-SNR capacity at least at $g^2=0.25, 0.5$.


title: BREW: A Breakable Web Application for IT-Security Classroom Use

abstract: This paper presents BREW (Breakable Web Application), a tool for teaching IT Security. BREWs main teaching targets are identification and exploitation of vulnerabilities, using technologies and methodologies for software auditing and testing, and bug detection, fixation, and writing of secure code. Main advantages of BREW include that it is easy to apply in practice, it is a perfect tool to create and retain motivation, it corresponds to the demands of the psychology of learning, and it can be used for a heterogeneous group of students. BREW has been success- fully used for teaching IT Security in Germany as well as on an Erasmus Project with international student groups.


title: Suzaku observation of the classical nova V2491 Cyg in quiescence

abstract: We present Suzaku XIS observation of V2491 Cyg (Nova Cyg 2008 No. 2) obtained in quiescence, more than two years after the outburst. The nova was detected as a very luminous source in a wide spectral range from soft to hard X-rays. A very soft blackbody-like component peaking at 0.5 keV indicates that either we observe remaining, localized hydrogen burning on the surface of the white dwarf, or accretion onto a magnetized polar cap. In the second case, V2491 Cyg is a candidate "soft intermediate polar". We obtained the best fit for the X-ray spectra with several components: two of thermal plasma, a blackbody and a complex absorber. The later is typical of intermediate polars. The X-ray light-curve shows a modulation with a $\sim$38 min period. The amplitude of this modulation is strongly energy dependent and reaches maximum in the 0.8--2.0 keV range. We discuss the origin of the X-ray emission and pulsations, and the likelihood of the intermediate polar scenario.


title: Quark production in heavy ion collisions I. Formalism and boost invariant fermionic light-cone mode functions

abstract: We revisit the problem of quark production in high energy heavy ion collisions, at leading order in $\alpha_s$ in the color glass condensate framework. In this first paper, we setup the formalism and express the quark spectrum in terms of a set of mode functions of the Dirac equation. We determine analytically their initial value in the Fock-Schwinger gauge on a proper time surface $Q_s\tau_0\ll 1$, in a basis which makes manifest the boost invariance properties of this problem. We also describe a statistical algorithm to perform the sampling of the mode functions.


title: On the conformal higher spin unfolded equation for a three-dimensional self-interacting scalar field

abstract: We propose field equations for the conformal higher spin system in three dimensions coupled to a conformal scalar field with a sixth order potential. Both the higher spin equation and the unfolded equation for the scalar field have source terms and are based on a conformal higher spin algebra which we treat as an expansion in multi-commutators. Explicit expressions for the source terms are suggested and subjected to some simple tests. We also discuss a cascading relation between the Chern-Simons action for the higher spin gauge theory and an action containing a term for each spin that generalizes the spin 2 Chern-Simons action in terms of the spin connection expressed in terms of the frame field. This cascading property is demonstrated in the free theory for spin 3 but should work also in the complete higher spin theory.


title: A note on the gl(m|n) link invariants and the HOMFLY-PT polynomial

abstract: We present a short and unified representation-theoretical treatment of type A link invariants (that is, the HOMFLY-PT polynomials, the Jones polynomial, the Alexander polynomial and, more generally, the gl(m|n) quantum invariants) as link invariants with values in the quantized oriented Brauer category.


title: The proof of a conjecture on largest Laplacian and signless Laplacian H-eigenvalues of uniform hypergraphs

abstract: Let $\mathcal{A(}G\mathcal{)},\mathcal{L(}G\mathcal{)}$ and $\mathcal{Q(}% G\mathcal{)}$ be the adjacency tensor, Laplacian tensor and signless Laplacian tensor of uniform hypergraph $G$, respectively. Denote by $\lambda (\mathcal{T})$ the largest H-eigenvalue of tensor $\mathcal{T}$. Let $H$ be a uniform hypergraph, and $H^{\prime}$ be obtained from $H$ by inserting a new vertex with degree one in each edge. We prove that $\lambda(\mathcal{Q(}% H^{\prime}\mathcal{)})\leq\lambda(\mathcal{Q(}H\mathcal{)}).$ Denote by $G^{k}$ the $k$th power hypergraph of an ordinary graph $G$ with maximum degree $\Delta\geq2$. We will prove that $\{\lambda(\mathcal{Q(}% G^{k}\mathcal{)})\}$ is a strictly decreasing sequence, which imply Conjectrue 4.1 of Hu, Qi and Shao in \cite{HuQiShao2013}. We also prove that $\lambda(\mathcal{Q(}G^{k}\mathcal{)})$ converges to $\Delta$ when $k$ goes to infinity. The definiton of $k$th power hypergraph $G^{k}$ has been generalized as $G^{k,s}.$ We also prove some eigenvalues properties about $\mathcal{A(}% G^{k,s}\mathcal{)},$ which generalize some known results. Some related results about $\mathcal{L(}G\mathcal{)}$ are also mentioned.


title: Cavity-induced modifications of molecular structure in the strong coupling regime

abstract: In most theoretical descriptions of collective strong coupling of organic molecules to a cavity mode, the molecules are modeled as simple two-level systems. This picture fails to describe the rich structure provided by their internal rovibrational (nuclear) degrees of freedom. We investigate a first-principles model that fully takes into account both electronic and nuclear degrees of freedom, allowing an exploration of the phenomenon of strong coupling from an entirely new perspective. First, we demonstrate the limitations of applicability of the Born-Oppenheimer approximation in strongly coupled molecule-cavity structures. For the case of two molecules, we also show how dark states, which within the two-level picture are effectively decoupled from the cavity, are indeed affected by the formation of collective strong coupling. Finally, we discuss ground-state modifications in the ultra-strong coupling regime and show that some molecular observables are affected by the collective coupling strength, while others only depend on the single-molecule coupling constant.


title: Absolute order in general linear groups

abstract: This paper studies a partial order on the general linear group GL(V) called the absolute order, derived from viewing GL(V) as a group generated by reflections, that is, elements whose fixed space has codimension one. The absolute order on GL(V) is shown to have two equivalent descriptions, one via additivity of length for factorizations into reflections, the other via additivity of fixed space codimensions. Other general properties of the order are derived, including self-duality of its intervals. Working over a finite field F_q, it is shown via a complex character computation that the poset interval from the identity to a Singer cycle (or any regular elliptic element) in GL_n(F_q) has a strikingly simple formula for the number of chains passing through a prescribed set of ranks.


title: First Detection of HCO$^+$ Absorption in the Magellanic System

abstract: We present the first detection of HCO$^+$ absorption in the Magellanic System. Using the Australia Telescope Compact Array (ATCA), we observed 9 extragalactic radio continuum sources behind the Magellanic System and detected HCO$^+$ absorption towards one source located behind the leading edge of the Magellanic Bridge. The detection is located at LSR velocity of $v=214.0 \pm 0.4\rm\,km\,s^{-1}$, with a full width at half maximum of $\Delta v=4.5\pm 1.0\rm\,km\,s^{-1}$ and optical depth of $\tau(\rm HCO^+)=0.10\pm 0.02$. Although there is abundant neutral hydrogen (HI) surrounding the sightline in position-velocity space, at the exact location of the absorber the HI column density is low, $<10^{20}\rm\,cm^{-2}$, and there is little evidence for dust or CO emission from Planck observations. While the origin and survival of molecules in such a diffuse environment remains unclear, dynamical events such as HI flows and cloud collisions in this interacting system likely play an important role.


title: Existence Results for Particular Instances of the Vector Quasi-Equilibrium Problem on Hadamard Manifolds

abstract: We show the validity of select existence results for a vector optimization problem, and a variational inequality. More generally, we consider generalized vector quasi-variational inequalities, as well as, fixed point problems on genuine Hadamard manifolds.


title: Bilayer Plates: Model Reduction, $\Gamma$-Convergent Finite Element Approximation and Discrete Gradient Flow

abstract: The bending of bilayer plates is a mechanism which allows for large deformations via small externally induced lattice mismatches of the underlying materials. Its mathematical modeling, discussed herein, consists of a nonlinear fourth order problem with a pointwise isometry constraint. A discretization based on Kirchhoff quadrilaterals is devised and its $\Gamma$-convergence is proved. An iterative method that decreases the energy is proposed and its convergence to stationary configurations is investigated. Its performance, as well as reduced model capabilities, are explored via several insightful numerical experiments involving large (geometrically nonlinear) deformations.


title: Symmetric Minimally Entangled Typical Thermal States

abstract: We extend White's minimally entangled typically thermal states approach (METTS) to allow Abelian and non-Ablian symmetries to be exploited when computing finite-temperature response functions in one-dimensional (1D) quantum systems. Our approach, called SYMETTS, starts from a METTS sample of states that are not symmetry eigenstates, and generates from each a symmetry eigenstate. These symmetry states are then used to calculate dynamic response functions. SYMETTS is ideally suited to determine the low-temperature spectra of 1D quantum systems with high resolution. We employ this method to study a generalized diamond chain model for the natural mineral azurite Cu${}_3$(CO${}_3)_2$(OH$)_2$, which features a plateau at $\frac{1}{3}$ in the magnetization curve at low temperatures. Our calculations provide new insight into the effects of temperature on magnetization and excitation spectra in the plateau phase, which can be fully understood in terms of the microscopic model.


title: Ortho-symmetric modules, Gorenstein algebras and derived equivalences

abstract: A new homological symmetry condition is exhibited that extends and unifies several recently defined and widely used concepts. Applications include general constructions of tilting modules and derived equivalences, and characterisations of Gorenstein properties of endomorphism rings.


title: Neural Adaptive Sequential Monte Carlo

abstract: Sequential Monte Carlo (SMC), or particle filtering, is a popular class of methods for sampling from an intractable target distribution using a sequence of simpler intermediate distributions. Like other importance sampling-based methods, performance is critically dependent on the proposal distribution: a bad proposal can lead to arbitrarily inaccurate estimates of the target distribution. This paper presents a new method for automatically adapting the proposal using an approximation of the Kullback-Leibler divergence between the true posterior and the proposal distribution. The method is very flexible, applicable to any parameterized proposal distribution and it supports online and batch variants. We use the new framework to adapt powerful proposal distributions with rich parameterizations based upon neural networks leading to Neural Adaptive Sequential Monte Carlo (NASMC). Experiments indicate that NASMC significantly improves inference in a non-linear state space model outperforming adaptive proposal methods including the Extended Kalman and Unscented Particle Filters. Experiments also indicate that improved inference translates into improved parameter learning when NASMC is used as a subroutine of Particle Marginal Metropolis Hastings. Finally we show that NASMC is able to train a latent variable recurrent neural network (LV-RNN) achieving results that compete with the state-of-the-art for polymorphic music modelling. NASMC can be seen as bridging the gap between adaptive SMC methods and the recent work in scalable, black-box variational inference.


title: Imperfect Testing of Individuals for Infectious Diseases: Mathematical Model and Analysis

abstract: Testing symptomatic individuals for a disease can deliver treatment resources, if tests' results turn positive, which speeds up their treatment and might also decrease individuals' contacts to other ones. An imperfect test, however, might incorrectly consider susceptible individuals to be infected (false positives). In this case, testing reduces the epidemic in the expense of potentially misclassifying individuals. We present a mathematical model that describes the dynamics of an infectious disease and its testing. Susceptible individuals turn to "susceptible but deemed infected" at rate $\theta$. Infected individuals go to a state "infected and tested positive" at rate $\alpha$. Both of these rates are functions of test's sensitivity and specificity. Analysis of the model permits us to derive an expression for $R_0$ and to find the conditions for reaching $R_0<1$, i.e., when the disease--free equilibrium is stable. We find that under certain conditions it is possible to get $R_0<1$, when originally, i.e., without testing, we would have $R_0>1$. We also present numerical results to cover interesting scenarios such as using different tests and to compare these results.


title: Teaching Machines to Read and Comprehend

abstract: Teaching machines to read natural language documents remains an elusive challenge. Machine reading systems can be tested on their ability to answer questions posed on the contents of documents that they have seen, but until now large scale training and test datasets have been missing for this type of evaluation. In this work we define a new methodology that resolves this bottleneck and provides large scale supervised reading comprehension data. This allows us to develop a class of attention based deep neural networks that learn to read real documents and answer complex questions with minimal prior knowledge of language structure.


title: Resonant high harmonic generation in a ballistic graphene transistor with an AC driven gate

abstract: We report a theoretical study of time-dependent transport in a ballistic graphene field effect transistor. We develop a model based on Floquet theory describing Dirac electron transmission through a harmonically driven potential barrier. Photon-assisted tunneling results in excitation of quasibound states at the barrier. Under resonance condition, the excitation of the quasibound states leads to promotion of higher-order sidebands and enhanced higher harmonics of the source-drain conductance. The resonances in the main transmission channel are of the Fano form, while they are of the Breit-Wigner form for sidebands. We discuss the possibility of utilizing the resonances in prospective ballistic high-frequency devices, in particular frequency multipliers.


title: The 2D surfaces that generate Newtonian and general relativistic orbits with small eccentricities

abstract: Embedding diagrams prove to be quite useful when learning general relativity as they offer a way of visualizing spacetime curvature through warped two dimensional (2D) surfaces. In this manuscript we present a different 2D construct that also serves as a useful conceptual tool for gaining insight into gravitation, in particular, orbital dynamics - namely the cylindrically symmetric surfaces that generate Newtonian and general relativistic orbits with small eccentricities. Although we first show that no such surface exists that can exactly reproduce the arbitrary bound orbits of Newtonian gravitation or of general relativity (or, more generally, of any spherically symmetric potential), surfaces do exist that closely approximate the resulting orbital motion for small eccentricities; exactly the regime that describes the motion of the solar system planets. These surfaces help to illustrate the similarities, as well as the differences, between the two theories of gravitation (i.e. stationary elliptical orbits in Newtonian gravitation and precessing elliptical-like orbits in general relativity) and offer, in this age of 3D printing, an opportunity for students and instructors to experimentally explore the predictions made by each.


title: Consistent random vertex-orderings of graphs

abstract: Given a hereditary graph property $\mathcal{P}$, consider distributions of random orderings of vertices of graphs $G\in\mathcal{P}$ that are preserved under isomorphisms and under taking induced subgraphs. We show that for many properties $\mathcal{P}$ the only such random orderings are uniform, and give some examples of non-uniform orderings when they exist.


title: Predicting catastrophic shifts

abstract: Catastrophic transitions, where a system shifts abruptly between alternate steady states, are a generic feature of many nonlinear systems. Recently these regime shift were suggested as the mechanism underlies many ecological catastrophes, such as desertification and coral reef collapses, which are considered as a prominent threat to sustainability and to the well-being of millions. Still, the methods proposed so far for the prediction of an imminent transition are quite ineffective, and some empirical and theoretical studies suggest that actual transitions may occur smoothly, without an abrupt shift. Here we present a new diagnostic tool, based on monitoring the dynamics of clusters through time. Our technique discriminates between systems with local positive feedback, where the transition is abrupt, and systems with negative density dependence, where the transition is smooth. Analyzing the spatial dynamics of these two generic scenarios, we show that changes in the critical cluster size provide a reliable early warning indicator for both transitions. Our method may allow for the prediction, and thus hopefully the prevention of such transitions, avoiding their destructive outcomes.


title: A Robust Method for Shift Detection in Time Series

abstract: We present a robust test for change-points in time series which is based on the two-sample Hodges-Lehmann estimator. We develop new limit theory for a class of statistics based on the two-sample U-quantile processes, in the case of short range dependent observations. Using this theory we can derive the asymptotic distribution of our test statistic under the null hypothesis. We study the finite sample properties of our test via a simulation study and compare the test with the classical CUSUM test and a test based on the Wilcoxon-Mann-Whitney statistic.


title: Temperature induced Lifshitz transition in WTe2

abstract: We use ultra-high resolution, tunable, VUV laser-based, angle-resolved photoemission spectroscopy (ARPES) and temperature and field dependent resistivity and thermoelectric power (TEP) measurements to study the electronic properties of WTe2, a compound that manifests exceptionally large, temperature dependent magnetoresistance. The temperature dependence of the TEP shows a change of slope at T=175 K and the Kohler rule breaks down above 70-140 K range. The Fermi surface consists of two electron pockets and two pairs of hole pockets along the X-Gamma-X direction. Upon increase of temperature from 40K, the hole pockets gradually sink below the chemical potential. Like BaFe2As2, WTe2 has clear and substantial changes in its Fermi surface driven by modest changes in temperature. In WTe2, this leads to a rare example of temperature induced Lifshitz transition, associated with the complete disappearance of the hole pockets. These dramatic changes of the electronic structure naturally explain unusual features of the transport data.


title: Time-scale analysis of co-movement in EU sovereign bond markets

abstract: We study the co-movement of the 10-year sovereign bond yields of 11 EU countries. Our analysis is focused mainly on changes in co-movement during the financial crisis period, especially around two significant dates - the fall of Lehman Brothers, September 15, 2008, and the announcement of the increase of Greece's public deficit on October 20, 2009. We study co-movement dynamics using wavelet analysis, which allows us to observe how co-movement changes across frequencies and over time. We divide the countries into three groups: the core of the Eurozone, the periphery of the Eurozone and the states outside the Eurozone. The results indicate that co-movement decreased considerably during the crisis period for all country pairs but that there are significant differences among the groups. Furthermore, we demonstrate that the co-movement of bond yields is frequency (scale) dependent.


title: Population Redistribution among Multiple Electronic States of Molecular Nitrogen Ions in Strong Laser Fields

abstract: We carry out a combined theoretical and experimental investigation on the population distributions in the ground and excited states of tunnel ionized N2 molecules at various driver wavelengths in the near- and mid-infrared range. Our results reveal that efficient couplings (i.e., population exchanges) between the ground state and the excited states occur in strong laser fields. The couplings result in the population inversion between the ground and the excited states at the wavelengths near 800 nm, which is verified by our experiment by observing the amplification of a seed at ~391 nm. The result provides insight into the mechanism of free-space nitrogen ion lasers generated in remote air with strong femtosecond laser pulses.


title: Gauged Floer homology and spectral invariants

abstract: We define a version of spectral invariant in the vortex Floer theory for a $G$-Hamiltonian manifold $M$. This defines potentially new (partial) symplectic quasi-morphism and quasi-states when $M//G$ is not semi-positive. We also establish a relation between vortex Hamiltonian Floer homology and Woodward's quasimap Floer homology by constructing a closed-open string map between them. This yields applications to study non-displaceability problems of subsets in $M//G$


title: GFDM Transceiver using Precoded Data and Low-complexity Multiplication in Time Domain

abstract: Future wireless communication systems are demanding a more flexible physical layer. GFDM is a block filtered multicarrier modulation scheme proposed to add multiple degrees of freedom and cover other waveforms in a single framework. In this paper, GFDM modulation and demodulation will be presented as a frequency-domain circular convolution, allowing for a reduction of the implementation complexity when MF, ZF and MMSE filters are employed in the inner and outer receiver operation. Also, precoding is introduced to further increase GFDM flexibility, addressing a wider set of applications.


title: Semion wave function and energetics in a chiral spin liquid on the Kagome lattice

abstract: Recent years have seen the discovery of a chiral spin liquid state - a bosonic analogue of a fractional Quantum Hall state first put forward by Kalmeyer and Laughlin in 1987 - in several deformations of the Heisenberg model on the Kagome lattice. Here, we apply state-of-the-art numerical techniques to one such model, where breaking of the time-reversal symmetry drives the system into the chiral phase. Our methods allow us to obtain explicit matrix-product state representations of the low-lying excitations of the chiral spin liquid state, including the topologically non-trivial semionic excitation. We characterize these excitations and study their energetics as the model is tuned towards a topological phase transition.


title: Linear Transceiver Optimization in Multicell MIMO Based on the Generalized Benders Decomposition

abstract: We study the maximum sum rate optimization problem in the multiple-input multiple-output interfering broadcast channel. The multiple-antenna transmitters and receivers are assumed to have perfect channel state information. In this setting, finding the optimal linear transceiver design is an NP-hard problem. We show that a reformulation of the problem renders the application of generalized Benders decomposition suitable. The decomposition provides us with an optimization structure which we exploit to apply two different optimization approaches. While one approach is guaranteed to converge to a local optimum of the original problem, the other approach hinges on techniques which can be promising for devising a global optimization method.


title: Power Allocation Schemes for Multicell Massive MIMO Systems

abstract: This paper investigates the sum-rate gains brought by power allocation strategies in multicell massive multipleinput multiple-output systems, assuming time-division duplex transmission. For both uplink and downlink, we derive tractable expressions for the achievable rate with zero-forcing receivers and precoders respectively. To avoid high complexity joint optimization across the network, we propose a scheduling mechanism for power allocation, where in a single time slot, only cells that do not interfere with each other adjust their transmit powers. Based on this, corresponding transmit power allocation strategies are derived, aimed at maximizing the sum rate per-cell. These schemes are shown to bring considerable gains over equal power allocation for practical antenna configurations (e.g., up to a few hundred). However, with fixed number of users (N), these gains diminish as M turns to infinity, and equal power allocation becomes optimal. A different conclusion is drawn for the case where both M and N grow large together, in which case: (i) improved rates are achieved as M grows with fixed M/N ratio, and (ii) the relative gains over the equal power allocation diminish as M/N grows. Moreover, we also provide applicable values of M/N under an acceptable power allocation gain threshold, which can be used as to determine when the proposed power allocation schemes yield appreciable gains, and when they do not. From the network point of view, the proposed scheduling approach can achieve almost the same performance as the joint power allocation after one scheduling round, with much reduced complexity.


title: Internal Structure of Asteroids Having Surface Shedding due to Rotational Instability

abstract: Surface shedding of an asteroid is a failure mode where surface materials fly off due to strong centrifugal forces beyond the critical spin period, while the internal structure does not deform significantly. This paper proposes a possible structure of an asteroid interior that leads to such surface shedding due to rapid rotation rates. A rubble pile asteroid is modeled as a spheroid composed of a surface shell and a concentric internal core, the entire assembly called the test body. The test body is assumed to be uniformly rotating around a constant rotation axis. We also assume that while the bulk density and the friction angle are constant, the cohesion of the surface shell is different from that of the internal core. First, developing an analytical model based on limit analysis, we provide the upper and lower bounds for the actual surface shedding condition. Second, we use a Soft-Sphere Discrete Element Method (SSDEM) to study dynamical deformation of the test body due to a quasi-static spin-up. In this paper we show the consistency of both approaches. Additionally, the SSDEM simulations show that the initial failure always occurs locally and not globally. In addition, as the core becomes larger, the size of lofted components becomes smaller. These results imply that if there is a strong enough core in a progenitor body, surface shedding is the most likely failure mode.


title: Exact Asymptotics for the Random Coding Error Probability

abstract: Error probabilities of random codes for memoryless channels are considered in this paper. In the area of communication systems, admissible error probability is very small and it is sometimes more important to discuss the relative gap between the achievable error probability and its bound than to discuss the absolute gap. Scarlett et al. derived a good upper bound of a random coding union bound based on the technique of saddlepoint approximation but it is not proved that the relative gap of their bound converges to zero. This paper derives a new bound on the achievable error probability in this viewpoint for a class of memoryless channels. The derived bound is strictly smaller than that by Scarlett et al. and its relative gap with the random coding error probability (not a union bound) vanishes as the block length increases for a fixed coding rate.


title: Discontinuous transition of molecular-hydrogen chain to the quasi-atomic state: Exact diagonalization - ab initio approach

abstract: We obtain in a direct and rigorous manner a transition from a stable molecular hydrogen $nH_2$ single chain to the quasiatomic two-chain $2nH$ state. We devise an original method composed of an exact diagonalization in the Fock space combined with an ab initio adjustment of the single-particle wave function in the correlated state. In this approach the well-known problem of double-counting the interparticle interaction does not arise at all. The transition is strongly discontinuous, and appears even for relatively short chains possible to tackle, $n=3\div6$. The signature of the transition as a function of applied force is a discontinuous change of the equilibrium intramolecular distance. The corresponding change of the Hubbard ratio $U/W$ reflects the Mott--Hubbard-transition aspect of the atomization. Universal feature of the transition relation to the Mott criterion for the insulator--metal transition is also noted. The role of the electron correlations is thus shown to be of fundamental significance.


title: Four loop renormalization of phi^3 theory in six dimensions

abstract: We renormalize six dimensional phi^3 theory in the modified minimal subtraction (MSbar) scheme at four loops. From the resulting beta-function, anomalous dimension and mass anomalous dimension we compute four loop critical exponents relevant to the Lee-Yang edge singularity and percolation problems. Using resummation methods and information on the exponents of the relevant two dimensional conformal field theory we obtain estimates for exponents in dimensions 3, 4 and 5 which are in reasonable agreement with other techniques for these two problems. The renormalization group functions for the more general theory with an O(N) symmetry are also computed in order to obtain estimates of exponents at various fixed points in five dimensions. Included in this O(N) analysis is the full evaluation of the mass operator mixing matrix of anomalous dimensions at four loops. We show that its eigen-exponents are in agreement with the mass exponents computed at O(1/N^2) in the non-perturbative large N expansion.


title: Optical Flow on Evolving Sphere-Like Surfaces

abstract: In this work we consider optical flow on evolving Riemannian 2-manifolds which can be parametrised from the 2-sphere. Our main motivation is to estimate cell motion in time-lapse volumetric microscopy images depicting fluorescently labelled cells of a live zebrafish embryo. We exploit the fact that the recorded cells float on the surface of the embryo and allow for the extraction of an image sequence together with a sphere-like surface. We solve the resulting variational problem by means of a Galerkin method based on vector spherical harmonics and present numerical results computed from the aforementioned microscopy data.


title: An asymptotic upper bound on prime gaps

abstract: The Cram\'er-Granville conjecture is an upper bound on prime gaps, $g_n = p_{n+1} - p_n < \cCramer \, \log^2 p_n$ for some constant $\cCramer \geq 1$. Using a formula of Selberg, we first prove the weaker summed version: $\sum_{n=1}^N g_n < \sum_{n=1}^N \log^2 p_n$. In the remainder of the paper we investigate which properties of the fluctuations $\fluc (x) = \pi (x) - \Li(x)$ would imply the Cram\'er-Granville conjecture is true and present two such properties, one of which assumes the Riemann Hypothesis; however we are unable to prove these properties are indeed satisfied. We argue that the conjecture is related to the enormity of the Skewes number.


title: On the stability of the electroweak vacuum in the presence of low-scale seesaw models

abstract: The scale of neutrino masses and the Planck scale are separated by more than twenty-seven order of magnitudes. However, they can be linked by imposing the stability of the electroweak (EW) vacuum. The crucial ingredient is provided by the generation of neutrino masses via a seesaw mechanism triggered by Yukawa interactions between the standard model (SM) Higgs and lepton doublets and additional heavy right-handed neutrinos. These neutrinos participate to the renormalization group (RG) running of the dimensionless SM couplings, affecting their high-energy behavior. The Higgs quartic coupling is dragged towards negative values, thus altering the stability of the EW vacuum. In the usual type-I seesaw model, this effect is too small to be a threat since, in order to comply with low-energy neutrino data, one is forced to consider either too small Yukawa couplings or too heavy right-handed neutrinos. In this paper we explore this general idea in the context of low-scale seesaw models. These models are characterized by sizable Yukawa couplings and right-handed neutrinos with mass of the order of the EW scale, thus maximizing their impact on the RG flow. As a general result, we find that Yukawa couplings such that ${\rm Tr}(Y_{\nu}^{\dag}Y_{\nu}) \gtrsim 0.4$ are excluded. We discuss the impact of this bound on several observables, with a special focus on the lepton flavor violating process $\mu\to e\gamma$ and the neutrino-less double beta decay.


title: The planar Cayley graphs are effectively enumerable I: consistently planar graphs

abstract: We obtain an effective enumeration of the family of finitely generated groups admitting a faithful, properly discontinuous action on some 2-manifold contained in the sphere. This is achieved by introducing a type of group presentation capturing exactly these groups. Extending this in a companion paper, we find group presentations capturing the planar finitely generated Cayley graphs. Thus we obtain an effective enumeration of these Cayley graphs, yielding in particular an affirmative answer to a question of Droms et al.


title: One-parameter groups of operators and discrete Hilbert transforms

abstract: We show that the discrete Hilbert transform and the discrete Kak-Hilbert transform are infinitesimal generator of one-parameter groups of operators


title: Super-Languages: Developing Languages and Applications with XMF (Second Edition)

abstract: The aim of this book is to introduce the language XMF. This is done by defining the language, providing some examples of applications that can be written directly in the XOCL language that comes with XMF, and then by showing how XMF can be used for language engineering. The main focus of this book is on language engineering by example.


title: The Hurewicz dichotomy for generalized Baire spaces

abstract: By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space $X$ is covered by a $K_\sigma$ subset of $X$ if and only if it does not contain a closed-in-$X$ subset homeomorphic to the Baire space ${}^\omega \omega$. We consider the analogous statement (which we call Hurewicz dichotomy) for $\Sigma^1_1$ subsets of the generalized Baire space ${}^\kappa \kappa$ for a given uncountable cardinal $\kappa$ with $\kappa=\kappa^{<\kappa}$, and show how to force it to be true in a cardinal and cofinality preserving extension of the ground model. Moreover, we show that if the Generalized Continuum Hypothesis (GCH) holds, then there is a cardinal preserving class-forcing extension in which the Hurewicz dichotomy for $\Sigma^1_1$ subsets of ${}^\kappa \kappa$ holds at all uncountable regular cardinals $\kappa$, while strongly unfoldable and supercompact cardinals are preserved. On the other hand, in the constructible universe L the dichotomy for $\Sigma^1_1$ sets fails at all uncountable regular cardinals, and the same happens in any generic extension obtained by adding a Cohen real to a model of GCH. We also discuss connections with some regularity properties, like the $\kappa$-perfect set property, the $\kappa$-Miller measurability, and the $\kappa$-Sacks measurability.


title: LSUN: Construction of a Large-scale Image Dataset using Deep Learning with Humans in the Loop

abstract: While there has been remarkable progress in the performance of visual recognition algorithms, the state-of-the-art models tend to be exceptionally data-hungry. Large labeled training datasets, expensive and tedious to produce, are required to optimize millions of parameters in deep network models. Lagging behind the growth in model capacity, the available datasets are quickly becoming outdated in terms of size and density. To circumvent this bottleneck, we propose to amplify human effort through a partially automated labeling scheme, leveraging deep learning with humans in the loop. Starting from a large set of candidate images for each category, we iteratively sample a subset, ask people to label them, classify the others with a trained model, split the set into positives, negatives, and unlabeled based on the classification confidence, and then iterate with the unlabeled set. To assess the effectiveness of this cascading procedure and enable further progress in visual recognition research, we construct a new image dataset, LSUN. It contains around one million labeled images for each of 10 scene categories and 20 object categories. We experiment with training popular convolutional networks and find that they achieve substantial performance gains when trained on this dataset.


title: Processing XML for Domain Specific Languages

abstract: XML is a standard and universal language for representing information. XML processing is supported by two key frameworks: DOM and SAX. SAX is efficient, but leaves the developer to encode much of the processing. This paper introduces a language for expressing XML-based languages via grammars that can be used to process XML documents and synthesize arbitrary values. The language is declarative and shields the developer from SAX implementation details. The language is specified and an efficient implementation is defined as an abstract machine.


title: A Highly Eccentric 3.9-Millisecond Binary Pulsar in the Globular Cluster NGC 6652

abstract: We present the Robert C. Byrd Green Bank Telescope discovery of the highly eccentric binary millisecond pulsar PSR J1835$-$3259A in the Fermi Large Area Telescope-detected globular cluster NGC 6652. Timing over one orbit yields the pulse period 3.89 ms, orbital period 9.25 d, eccentricity $\sim 0.95$, and an unusually high companion mass of $0.74\,M_{\odot}$ assuming a $1.4\,M_{\odot}$ pulsar. We caution that the lack of data near periastron prevents a precise measurement of the eccentricity, and that further timing is necessary to constrain this and the other orbital parameters. From tidal considerations, we find that the companion must be a compact object. This system likely formed through an exchange encounter in the dense cluster environment. Our initial timing results predict the measurements of at least two post-Keplerian parameters with long-term phase-connected timing: the rate of periastron advance $\dot{\omega} \sim 0.1^{\circ}\,$yr$^{-1}$, requiring 1 yr of phase connection; and the Einstein delay $\gamma_{\mathrm{GR}} \sim 10\,$ms, requiring 2-3 yr of timing. For an orbital inclination $i > 50^{\circ}$, a measurement of $\sin{i}$ is also likely. PSR J1835$-$3259A thus provides an opportunity to measure the neutron star mass with high precision; to probe the cluster environment; and, depending on the nature of the companion, to investigate the limits of general relativity.


title: One-dimensional symmetry for integral systems in two dimensions

abstract: The purpose of this brief paper is to prove De Giorgi type results for stable solutions of the following nonlocal system of integral equations in two dimensions $$ L(u_i) = H_i(u) \quad \text{in} \ \ \mathbb R^2 , $$ where $u=(u_i)_{i=1}^m$ for $u_i: \mathbb R^n\to \mathbb R$, $H=(H_i)_{i=1}^m$ is a general nonlinearity. The operator $L$ is given by $$L(u_i (x)):= \int_{\mathbb R^2} [u_i(x) - u_i(z)] K(z-x) dz,$$ for some kernel $K$. The idea is to apply a linear Liouville theorem for the quotient of partial derivatives, just like in the proof of the classical De Giorgi's conjecture in lower dimensions. Since there is no Caffarelli-Silvestre local extension problem associated to the above operator, we deal with this problem directly via certain integral estimates.


title: An optimal shape design problem for plates

abstract: We consider an optimal shape design problem for the plate equation, where the variable thickness of the plate is the design function. This problem can be formulated as a control in the coefficient PDE-constrained optimal control problem with additional control and state constraints. The state constraints are treated with a Moreau-Yosida regularization of a dual problem. Variational discretization is employed for discrete approximation of the optimal control problem. For discretization of the state in the mixed formulation we compare the standard continuous piecewise linear ansatz with a piecewise constant one based on the lowest-order Raviart-Thomas mixed finite element. We derive bounds for the discretization and regularization errors and also address the coupling of the regularization parameter and finite element grid size. The numerical solution of the optimal control problem is realized with a semismooth Newton algorithm. Numerical examples show the performance of the method.


title: Limits on Fast Radio Bursts at 145 MHz with ARTEMIS, a real-time software backend

abstract: Fast Radio Bursts (FRBs), are millisecond radio signals that exhibit dispersion larger than what the Galactic electron density can account for. We have conducted a 1446 hour survey for Fast Radio Bursts (FRBs) at 145~MHz, covering a total of 4193 sq. deg on the sky. We used the UK station of the LOFAR radio telescope -- the Rawlings Array -- , accompanied for a majority of the time by the LOFAR station at Nan\c{c}ay, observing the same fields at the same frequency. Our real-time search backend, ARTEMIS, utilizes graphics processing units to search for pulses with dispersion measures up to 320 cm$^{-3}$ pc. Previous derived FRB rates from surveys around 1.4~GHz, and favoured FRB interpretations, motivated this survey, despite all previous detections occurring at higher dispersion measures. We detected no new FRBs above a signal-to-noise threshold of 10, leading to the most stringent upper limit yet on the FRB event rate at these frequencies: 29 sky$^{-1}$ day$^{-1}$ for 5~ms-duration pulses above 62~Jy. The non-detection could be due to scatter-broadening, limitations on the volume and time searched, or the shape of FRB flux density spectra. Assuming the latter and that FRBs are standard candles, the non-detection is compatible with the published FRB sky rate, if their spectra follow a power law with frequency ($\propto \nu^{\alpha}$), with $\alpha\gtrsim+0.1$, demonstrating a marked difference from pulsar spectra. Our results suggest that surveys at higher frequencies, including the low frequency component of the Square Kilometre Array, will have better chances to detect, estimate rates and understand the origin and properties of FRBs.


title: Upper bounds for the reach-avoid probability via robust optimization

abstract: We consider finite horizon reach-avoid problems for discrete time stochastic systems. Our goal is to construct upper bound functions for the reach-avoid probability by means of tractable convex optimization problems. We achieve this by restricting attention to the span of Gaussian radial basis functions and imposing structural assumptions on the transition kernel of the stochastic processes as well as the target and safe sets of the reach-avoid problem. In particular, we require the kernel to be written as a Gaussian mixture density with each mean of the distribution being affine in the current state and input and the target and safe sets to be written as intersections of quadratic inequalities. Taking advantage of these structural assumptions, we formulate a recursion of semidefinite programs where each step provides an upper bound to the value function of the reach- avoid problem. The upper bounds provide a performance metric to which any suboptimal control policy can be compared, and can themselves be used to construct suboptimal control policies. We illustrate via numerical examples that even if the resulting bounds are conservative, the associated control policies achieve higher reach-avoid probabilities than heuristic controllers for problems of large state-input space dimensions (more than 20). The results presented in this paper, far exceed the limits of current approximation methods for reach-avoid problems in the specific class of stochastic systems considered.


title: Supersymmetric Duality in Deformed Superloop Space

abstract: In this paper, we will analyse the superloop space formalism for a four dimensional supersymmetric Yang-Mills theory in deformed superspace. We will deform the $\mathcal{N} =1$ superspace by imposing non-anticommutativity. This non-anticommutative deformation of the superspace will break half the supersymmetry of the original theory. So, this theory will have $\mathcal{N} =1/2$ supersymmetry. We will analyse the superloop space duality for this deformed supersymmetric Yang-Mills theory using the $\mathcal{N} =1/2$ superspace formalism. We will demonstrate that the sources in the original theory will become monopoles in the dual theory, and the monopoles in the original theory will become sources in the dual theory.


title: Quantum theory as a description of robust experiments: Application to Stern-Gerlach and Einstein-Podolsky-Rosen-Bohm experiments

abstract: We propose and develop the thesis that the quantum theoretical description of experiments emerges from the desire to organize experimental data such that the description of the system under scrutiny and the one used to acquire the data are separated as much as possible. Application to the Stern-Gerlach and Einstein-Podolsky-Rosen-Bohm experiments are shown to support this thesis. General principles of logical inference which have been shown to lead to the Schr\"odinger and Pauli equation and the probabilistic descriptions of the Stern-Gerlach and Einstein-Podolsky-Rosen-Bohm experiments, are used to demonstrate that the condition for the separation procedure to yield the quantum theoretical description is intimately related to the assumptions that the observed events are independent and that the data generated by these experiments is robust with respect to small changes of the conditions under which the experiment is carried out.


title: An efficient algorithm for contextual bandits with knapsacks, and an extension to concave objectives

abstract: We consider a contextual version of multi-armed bandit problem with global knapsack constraints. In each round, the outcome of pulling an arm is a scalar reward and a resource consumption vector, both dependent on the context, and the global knapsack constraints require the total consumption for each resource to be below some pre-fixed budget. The learning agent competes with an arbitrary set of context-dependent policies. This problem was introduced by Badanidiyuru et al. (2014), who gave a computationally inefficient algorithm with near-optimal regret bounds for it. We give a computationally efficient algorithm for this problem with slightly better regret bounds, by generalizing the approach of Agarwal et al. (2014) for the non-constrained version of the problem. The computational time of our algorithm scales logarithmically in the size of the policy space. This answers the main open question of Badanidiyuru et al. (2014). We also extend our results to a variant where there are no knapsack constraints but the objective is an arbitrary Lipschitz concave function of the sum of outcome vectors.


title: Polymer quantization versus the Snyder noncommutative space

abstract: We study a noncanonical Hilbert space representation of the polymer quantum mechanics. It is shown that Heisenberg algebra get some modifications in the constructed setup from which a generalized uncertainty principle will naturally come out. Although the extracted physical results are the same as those obtained from the standard canonical representation, the noncanonical representation may be notable in view of its possible connection with the generalized uncertainty theories suggested by string theory. In this regard, by considering an Snyder-deformed Heisenberg algebra we show that since the translation group is not deformed it can be identified with a polymer-modified Heisenberg algebra. In classical level, it is shown the noncanonical Poisson brackets are related to their canonical counterparts by means of a Darboux transformation on the corresponding phase space.


title: Variations in the Cyclotron Resonant Scattering Features during 2011 outburst of 4U 0115+63

abstract: We study the variations in the Cyclotron Resonant Scattering Feature (CRSF) during 2011 outburst of the high mass X-ray binary 4U 0115+63 using observations performed with Suzaku, RXTE, Swift and INTEGRAL satellites. The wide-band spectral data with low energy coverage allowed us to characterize the broadband continuum and detect the CRSFs. We find that the broadband continuum is adequately described by a combination of a low temperature (kT ~ 0.8 keV) blackbody and a power-law with high energy cutoff (Ecut ~ 5.4 keV) without the need for a broad Gaussian at ~ 10 keV as used in some earlier studies. Though winds from the companion can affect the emission from the neutron star at low energies (< 3 keV), the blackbody component shows a significant presence in our continuum model. We report evidence for the possible presence of two independent sets of CRSFs with fundamentals at ~ 11 keV and ~ 15 keV. These two sets of CRSFs could arise from spatially distinct emitting regions. We also find evidence for variations in the line equivalent widths, with the 11 keV CRSF weakening and the 15 keV line strengthening with decreasing luminosity. Finally, we propose that the reason for the earlier observed anti-correlation of line energy with luminosity could be due to modelling of these two independent line sets (~ 11 keV and ~ 15 keV) as a single CRSF.


title: Connectivity in Social Networks

abstract: The value of a social network is generally determined by its size and the connectivity of its nodes. But since some of the nodes may be fake ones and others that are dormant, the question of validating the node counts by statistical tests becomes important. In this paper we propose the use of the Benford's distribution to check on the trustworthiness of the connectivity statistics. Our experiments using statistics of both symmetric and asymmetric networks show that when the accumulation processes are random, the convergence to Benford's law is significantly better, and therefore this fact can be used to distinguish between processes which are randomly generated and those with internal dependencies.


title: On the Prior Sensitivity of Thompson Sampling

abstract: The empirically successful Thompson Sampling algorithm for stochastic bandits has drawn much interest in understanding its theoretical properties. One important benefit of the algorithm is that it allows domain knowledge to be conveniently encoded as a prior distribution to balance exploration and exploitation more effectively. While it is generally believed that the algorithm's regret is low (high) when the prior is good (bad), little is known about the exact dependence. In this paper, we fully characterize the algorithm's worst-case dependence of regret on the choice of prior, focusing on a special yet representative case. These results also provide insights into the general sensitivity of the algorithm to the choice of priors. In particular, with $p$ being the prior probability mass of the true reward-generating model, we prove $O(\sqrt{T/p})$ and $O(\sqrt{(1-p)T})$ regret upper bounds for the bad- and good-prior cases, respectively, as well as \emph{matching} lower bounds. Our proofs rely on the discovery of a fundamental property of Thompson Sampling and make heavy use of martingale theory, both of which appear novel in the literature, to the best of our knowledge.


title: The Online Coupon-Collector Problem and Its Application to Lifelong Reinforcement Learning

abstract: Transferring knowledge across a sequence of related tasks is an important challenge in reinforcement learning (RL). Despite much encouraging empirical evidence, there has been little theoretical analysis. In this paper, we study a class of lifelong RL problems: the agent solves a sequence of tasks modeled as finite Markov decision processes (MDPs), each of which is from a finite set of MDPs with the same state/action sets and different transition/reward functions. Motivated by the need for cross-task exploration in lifelong learning, we formulate a novel online coupon-collector problem and give an optimal algorithm. This allows us to develop a new lifelong RL algorithm, whose overall sample complexity in a sequence of tasks is much smaller than single-task learning, even if the sequence of tasks is generated by an adversary. Benefits of the algorithm are demonstrated in simulated problems, including a recently introduced human-robot interaction problem.


title: Model Driven Reactive Applications

abstract: Reactive applications (rapps) are of interest because of the explosion of mobile, tablet and web-based platforms. The complexity and proliferation of implementation technologies makes it attractive to use model-driven techniques to develop rapp systems. This article proposes a domain specific language for rapps consisting of stereotyped class models for the structure of the application and state machine models for the application behaviour. The models are given a semantics in terms of a transformation to a calculus called Widget. The languages are introduced using an example application for mobile phones.


title: Meta-Packages: Painless Domain Specific Languages

abstract: Domain Specific Languages are used to provide a tailored modelling notation for a specific application domain. There are currently two main approaches to DSLs: standard notations that are tailored by adding simple properties; new notations that are designed from scratch. There are problems with both of these approaches which can be addressed by providing access to a small meta-language based on packages and classes. A meta-modelling approach based on meta-packages allows a wide range of DSLs to be defined in a standard way. The DSLs can be processed using standard object-based extension at the meta-level and existing tooling can easily be defined to adapt to the new languages. This paper introduces the concept of meta-packages and provides a simple example.


title: Optimal Rates of Convergence for Noisy Sparse Phase Retrieval via Thresholded Wirtinger Flow

abstract: This paper considers the noisy sparse phase retrieval problem: recovering a sparse signal $x \in \mathbb{R}^p$ from noisy quadratic measurements $y_j = (a_j' x )^2 + \epsilon_j$, $j=1, \ldots, m$, with independent sub-exponential noise $\epsilon_j$. The goals are to understand the effect of the sparsity of $x$ on the estimation precision and to construct a computationally feasible estimator to achieve the optimal rates. Inspired by the Wirtinger Flow [12] proposed for noiseless and non-sparse phase retrieval, a novel thresholded gradient descent algorithm is proposed and it is shown to adaptively achieve the minimax optimal rates of convergence over a wide range of sparsity levels when the $a_j$'s are independent standard Gaussian random vectors, provided that the sample size is sufficiently large compared to the sparsity of $x$.

categories: math.ST cs.IT math.IT math.NA stat.ML stat.TH


title: Le lemme fondamental pour l'endoscopie tordue: r\'eduction aux \'el\'ements unit\'es

abstract: We show here that the fundamental lemma for twisted endoscopy, now proved for the unit elements in the spherical Hecke algebras, implies the fundamental lemma for all elements of these Hecke algebras. The proof, whose idea is due to Arthur, uses the transfer, which is known as a consequence of the fundamental lemma for the units.


title: An objective perspective for classic flow classification criteria

abstract: Four classic criteria used to the classification of complex flows are discussed here. These criteria are useful to identify regions of the flow related to shear, elongation or rigid-body motion. These usual criteria, namely $Q$, $\Delta$, $\lambda_{2}$ and $\lambda_{cr}/\lambda_{ci}$, use the fluid's rate-of-rotation tensor, which is known to vary with respect to a reference frame. The advantages of using objective (invariant with respect to a general transformation on the reference frame) criteria are discussed in the present work. In this connection, we construct versions of classic criteria replacing standard vorticity, a non-objective quantity, by effective vorticity, a rate of rotation tensor with respect to the angular velocity of the eigenvectors of the strain rate tensor. The classic criteria and their corresponding objective versions are applied to classify two complex flows: the transient ABC flow and the flow through the abrupt 4:1 contraction. It is shown that the objective versions of the criteria provide richer information on the kinematics of the flow


title: Numerical Solution of the Robin Problem of Laplace Equations with a Feynman-Kac Formula and Reflecting Brownian Motions

abstract: In this paper, we present numerical methods to implement the probabilistic representation of third kind (Robin) boundary problem for the Laplace equations. The solution is based on a Feynman-Kac formula for the Robin problem which employs the standard reflecting Brownian motion (SRBM) and its boundary local time arising from the Skorohod problem. By simulating SRBM paths through Brownian motion using Walk on Spheres (WOS) method, approximation of the boundary local time is obtained and the Feynman-Kac formula is calculated by evaluating the average of all path integrals over the boundary under a measure defined through the local time. Numerical results demonstrate the accuracy and efficiency of the proposed method for finding a local solution of the Laplace equations with Robin boundary conditions.


title: A novel approach to derive halo-independent limits on dark matter properties

abstract: We propose a method that allows to place an upper limit on the dark matter elastic scattering cross section with nucleons which is independent of the velocity distribution. Our approach combines null results from direct detection experiments with indirect searches at neutrino telescopes, and goes beyond previous attempts to remove astrophysical uncertainties in that it directly constrains the particle physics properties of the dark matter. The resulting halo-independent upper limits on the scattering cross section of dark matter are remarkably strong and reach $\sigma_{\text{SI}}^{p} \lesssim 10^{-43} \, (10^{-42})~\text{cm}^2$ and $\sigma_{\text{SD}}^{p} \lesssim 10^{-37} \, (3\times 10^{-37 })~\text{cm}^2$, for dark matter particles of $m_{\text{DM}}\sim 1~\text{TeV}$ annihilating into $W^+W^-$ ($b\bar b$), assuming $\rho_\text{loc}=0.3\text{ GeV}/\text{cm}^3$.


title: Veering triangulations and Cannon-Thurston maps

abstract: Any hyperbolic surface bundle over the circle gives rise to a continuous surjection from the circle to the sphere, by work of Cannon and Thurston. We prove that the order in which this surjection fills out the sphere is dictated by a natural triangulation of the surface bundle (introduced by Agol) when all singularities of the invariant foliations are at punctures of the fiber.


title: The Resurgence of the Cusp Anomalous Dimension

abstract: This work addresses the resurgent properties of the cusp anomalous dimension's strong coupling expansion, obtained from the integral Beisert-Eden-Staudacher (BES) equation. This expansion is factorially divergent, and its first nonperturbative corrections are related to the mass gap of the $O(6)$ $\sigma$-model. The factorial divergence can also be analysed from a resurgence perspective. Building on the work of Basso and Korchemsky, a transseries ansatz for the cusp anomalous dimension is proposed and the corresponding expected large-order behaviour studied. One finds non-perturbative phenomena in both the positive and negative real coupling directions, which need to be included to address the analyticity conditions coming from the BES equation. After checking the resurgence structure of the proposed transseries, it is shown that it naturally leads to an unambiguous resummation procedure, furthermore allowing for a strong/weak coupling interpolation.


title: On the total variation distance between the binomial random graph and the random intersection graph

abstract: When each vertex is assigned a set, the intersection graph generated by the sets is the graph in which two distinct vertices are joined by an edge if and only if their assigned sets have a nonempty intersection. An interval graph is an intersection graph generated by intervals in the real line. A chordal graph can be considered as an intersection graph generated by subtrees of a tree. In 1999, Karo\'nski, Scheinerman and Singer-Cohen [Combin Probab Comput 8 (1999), 131--159] introduced a random intersection graph by taking randomly assigned sets. The random intersection graph $G(n,m;p)$ has $n$ vertices and sets assigned to the vertices are chosen to be i.i.d. random subsets of a fixed set $M$ of size $m$ where each element of $M$ belongs to each random subset with probability $p$, independently of all other elements in $M$. Fill, Scheinerman and Singer-Cohen [Random Struct Algorithms 16 (2000), 156--176] showed that the total variation distance between the random graph $G(n,m;p)$ and the Erd\"os-R\'enyi graph $G(n,\hat{p})$ tends to $0$ for any $0 \leq p=p(n) \leq 1$ if $m=n^{\alpha}$, $\alpha >6$, where $\hat{p}$ is chosen so that the expected numbers of edges in the two graphs are the same. In this paper, it is proved that the total variation distance still tends to $0$ for any $0 \leq p=p(n) \leq 1$ whenever $m \gg n^4$.


title: Structural disorder in Li(x)[C5H5N](y)Fe(2-z)Se2 and Cs(x)Fe(2-z)Se2 superconductors studied by M\"ossbauer spectroscopy

abstract: Two iron-chalcogenide superconductors Li(x)[C5H5N](y)Fe(2-z)Se2 and Cs(x)Fe(2-z)Se2 in the as-prepared and annealed state have been investigated by means of the Moessbauer spectroscopy versus temperature. Multi-component spectra are obtained. One can see a non-magnetic component due to iron located in the unperturbed Fe-Se sheets responsible for superconductivity. Remaining components are magnetically ordered even at room temperature. There is some magnetically ordered iron in Fe-Se sheets perturbed by presence of the iron vacancies. Additionally, one can see iron dispersed between sheets in the form of magnetically ordered high spin trivalent ions, some clusters of above ions, and in the case of pyridine intercalated compound in the form of alpha-Fe precipitates. Pyridine intercalated sample shows traces of superconductivity in the as-prepared state, while cesium intercalated sample in the as-prepared state does not show any superconductivity. Superconductors with transition temperatures being 40 K and 25 K, respectively, are obtained upon annealing. Annealing leads to removal/ordering of the iron vacancies within Fe-Se sheets, while clusters of alpha-Fe grow in the pyridine intercalated sample.


title: ALMA Observations of the Largest Proto-Planetary Disk in the Orion Nebula, 114-426: A CO Silhouette

abstract: We present ALMA observations of the largest protoplanetary disk in the Orion Nebula, 114-426. Detectable 345 GHz (856 micron) dust continuum is produced only in the 350 AU central region of the ~1000 AU diameter silhouette seen against the bright H-alpha background in HST images. Assuming optically thin dust emission at 345 GHz, a gas-to-dust ratio of 100, and a grain temperature of 20 K, the disk gas-mass is estimated to be 3.1 +/- 0.6 Jupiter masses. If most solids and ices have have been incorporated into large grains, however, this value is a lower limit. The disk is not detected in dense-gas tracers such as HCO+ J=4-3, HCN J=4-3, or CS =7-6. These results may indicate that the 114-426 disk is evolved and depleted in some light organic compounds found in molecular clouds. The CO J=3-2 line is seen in absorption against the bright 50 to 80 K background of the Orion A molecular cloud over the full spatial extent and a little beyond the dust continuum emission. The CO absorption reaches a depth of 27 K below the background CO emission at VLSR ~6.7 km/s about 0.52 arcseconds (210 AU) northeast and 12 K below the background CO emission at VLSR ~ 9.7 km/s about 0.34 arcseconds (140 AU) southwest of the suspected location of the central star, implying that the embedded star has a mass less than 1 Solar mass .


title: Designing a Global Authentication Infrastructure

abstract: We address the problem of scaling authentication for naming, routing, and end-entity certification to a global environment in which authentication policies and users' sets of trust roots vary widely. The current mechanisms for authenticating names (DNSSEC), routes (BGPSEC), and end-entity certificates (TLS) do not support a coexistence of authentication policies, affect the entire Internet when compromised, cannot update trust root information efficiently, and do not provide users with the ability to make flexible trust decisions. We propose a Scalable Authentication Infrastructure for Next-generation Trust (SAINT), which partitions the Internet into groups with common, local trust roots, and isolates the effects of a compromised trust root. SAINT requires groups with direct routing connections to cross-sign each other for authentication purposes, allowing diverse authentication policies while keeping all entities globally verifiable. SAINT makes trust root management a central part of the network architecture, enabling trust root updates within seconds and allowing users to make flexible trust decisions. SAINT operates without a significant performance penalty and can be deployed alongside existing infrastructures.


title: s-wave scattering lengths of the strongly dipolar bosons $^{162}$Dy and $^{164}$Dy

abstract: We report the measurement of the triplet s-partial-wave scattering length $a$ of two bosonic isotopes of the highly magnetic element, dysprosium: $a=122(10)a_0$ for $^{162}$Dy and $a=92(8)a_0$ for $^{164}$Dy, where $a_0$ is the Bohr radius. The scattering lengths are determined by the cross-dimensional relaxation of ultracold gases of these Dy isotopes at temperatures above quantum degeneracy. In this temperature regime, the measured rethermalization dynamics can be compared to simulations of the Boltzmann equation using a direct-simulation Monte Carlo (DSMC) method employing the anisotropic differential scattering cross section of dipolar particles.


title: Spatial Self-Interference Isolation for In-Band Full-Duplex Wireless: A Degrees-of-Freedom Analysis

abstract: The challenge to in-band full-duplex wireless communication is managing self-interference. Many designs have employed spatial isolation mechanisms, such as shielding or multi-antenna beamforming, to isolate the self-interference wave from the receiver. Such spatial isolation methods are effective, but by confining the transmit and receive signals to a subset of the available space, the full spatial resources of the channel be under-utilized, expending a cost that may nullify the net benefit of operating in full-duplex mode. In this paper we leverage an antenna-theory-based channel model to analyze the spatial degrees of freedom available to a full-duplex capable base station, and observe that whether or not spatial isolation out-performs time-division (i.e. half-duplex) depends heavily on the geometric distribution of scatterers. Unless the angular spread of the objects that scatter to the intended users is overlapped by the spread of objects that backscatter to the base station, then spatial isolation outperforms time division, otherwise time division may be optimal.


title: Stellar Populations and the Star Formation Histories of LSB Galaxies: V. WFC3 Color-Magnitude Diagrams

abstract: We present WFC3 observations of three low surface brightness (LSB) galaxies from the Schombert et. al LSB catalog that are within 11 Mpc of the Milky Way. Deep imaging at F336W, F555W and F814W allow the construction of the V-I color-magnitude diagrams (CMD) to M_I = -2. Overall 1869, 465 and 501 stellar sources are identified in the three LSB galaxies F415-3, F608-1 and F750-V1. The spatial distribution of young blue stars matches the H-alpha maps from ground-based imaging, indicating that star formation in LSB galaxies follows the same style as in other irregular galaxies. Several star complexes are identified, matching regions of higher surface brightness as seen from ground-based imaging. The color-magnitude diagrams for each LSB galaxy has the similar morphology to Local Volume (LV) dwarf galaxies, i.e. a blue main sequence, blue and red He burning branches and asymptotic giant branch (AGB) stars. The LSB CMD's distinguish themselves from nearby dwarf CMD's by having a higher proportional of blue main sequence stars and fewer AGB stars than expected from their mean metallicities. Current [Fe/H] values below -0.6 are deduced from the position of the red helium-burning branch (rHeB) stars in the V-I diagram. The distribution of stars on the blue helium-burning branch (bHeB) and rHeB from the U-V and V-I CMD indicate a history of constant star formation for the last 100 Myrs.