title: DiVM: Model Checking with LLVM and Graph Memory

abstract: In this paper, we introduce the concept of a virtual machine with graph-organised memory as a versatile backend for both explicit-state and abstraction-driven verification of software. Our virtual machine uses the LLVM IR as its instruction set, enriched with a small set of hypercalls. We show that the provided hypercalls are sufficient to implement a small operating system, which can then be linked with applications to provide a POSIX-compatible verification environment. Finally, we demonstrate the viability of the approach through a comparison with a more traditionally-designed LLVM model checker.


title: The Tyranny of Qubits - Quantum Technology's Scalability Bottleneck

abstract: In this essay, I look at (bemoan) the issues surrounding simulating quantum systems in order to design quantum devices for quantum technologies. The program runs into a natural difficulty that simulating quantum systems really require a proper quantum simulator. The problem is likened to the "tyranny of numbers" that faced computer engineers in the 1960s.


title: Discrete and continuous symmetries in monotone Floer theory

abstract: This paper studies the self-Floer theory of a monotone Lagrangian submanifold $L$ of a symplectic manifold $X$ in the presence of various kinds of symmetry. First we suppose $L$ is $K$-homogeneous and compute the image of low codimension $K$-invariant subvarieties of $X$ under the length-zero closed-open string map. Next we consider the group $\mathrm{Symp}(X, L)$ of symplectomorphisms of $X$ preserving $L$ setwise, and extend its action on the Oh spectral sequence to coefficients of arbitrary characteristic, incorporating its action on the classes of holomorphic discs. This imposes constraints on the differentials which force them to vanish in certain situations. These techniques are combined to study a family of homogeneous Lagrangians in products of projective spaces, which exhibit some unusual properties.


title: Deducing the severity of psychiatric symptoms from the human voice

abstract: Psychiatric illnesses are often associated with multiple symptoms, whose severity must be graded for accurate diagnosis and treatment. This grading is usually done by trained clinicians based on human observations and judgments made within doctor-patient sessions. Current research provides sufficient reason to expect that the human voice may carry biomarkers or signatures of many, if not all, these symptoms. Based on this conjecture, we explore the possibility of objectively and automatically grading the symptoms of psychiatric illnesses with reference to various standard psychiatric rating scales. Using acoustic data from several clinician-patient interviews within hospital settings, we use non-parametric models to learn and predict the relations between symptom-ratings and voice. In the process, we show that different articulatory-phonetic units of speech are able to capture the effects of different symptoms differently, and use this to establish a plausible methodology that could be employed for automatically grading psychiatric symptoms for clinical purposes.


title: The anomalous U(1) global symmetry and flavors from an SU(5) x SU(5)$'$ GUT in $Z_{12-I}$ orbifold compactification

abstract: In string compactifications, frequently there appears the anomalous U(1) gauge symmetry which belonged to E8$\times$E8 of the heterotic string. This anomalous U(1) gauge boson obtains mass at the compactification scale, just below $10^{18\,}$GeV, by absorbing one pseudoscalar (corresponding to the model-independent axion) from the second rank anti-symmetric tensor field $B_{MN}$. Below the compactification scale, there results a global symmetry U(1)$_{\rm anom}$ whose charge $Q_{\rm anom}$ is the original gauge U(1) charge. This is the most natural global symmetry, realizing the "invisible" axion. This global symmetry U(1)$_{\rm anom}$ is suitable for a flavor symmetry. In the simplest compactification model with the flipped SU(5) grand unification, we calculate all the low energy parameters in terms of the vacuum expectation values of the standard model singlets.


title: Layered black-box, behavioral interconnection perspective and applications to the problem of communication with fidelity criteria, Part I: i.i.d. sources

abstract: In this paper, the problem of communication over an essentially unknown channel, which is known to be able to communicate a source to a destination to within a certain distortion level, is considered from a behavioral, interconnection view-point. Rates of reliable communication are derived and source-channel separation for communication with fidelity criteria is proved. The results are then generalized to the multi-user setting under certain assumptions. Other applications of this problem problem which follow from this perspective are discussed.


title: Hybrid stochastic-deterministic calculation of the second-order perturbative contribution of multireference perturbation theory

abstract: A hybrid stochastic-deterministic approach for computing the second-order perturbative contribution $E^{(2)}$ within multireference perturbation theory (MRPT) is presented. The idea at the heart of our hybrid scheme --- based on a reformulation of $E^{(2)}$ as a sum of elementary contributions associated with each determinant of the MR wave function --- is to split $E^{(2)}$ into a stochastic and a deterministic part. During the simulation, the stochastic part is gradually reduced by dynamically increasing the deterministic part until one reaches the desired accuracy. In sharp contrast with a purely stochastic MC scheme where the error decreases indefinitely as $t^{-1/2}$ (where $t$ is the computational time), the statistical error in our hybrid algorithm displays a polynomial decay $\sim t^{-n}$ with $n=3-4$ in the examples considered here. If desired, the calculation can be carried on until the stochastic part entirely vanishes. In that case, the exact result is obtained with no error bar and no noticeable computational overhead compared to the fully-deterministic calculation. The method is illustrated on the F$_2$ and Cr$_2$ molecules. Even for the largest case corresponding to the Cr$_2$ molecule treated with the cc-pVQZ basis set, very accurate results are obtained for $E^{(2)}$ for an active space of (28e,176o) and a MR wave function including up to $2 \times 10^7$ determinants.


title: Layered black-box, behavioral interconnection perspective and applications to the problem of communication with fidelity criteria, Part II: stationary sources satisfying {\psi}-mixing criterion

abstract: Theorems from Part 1 of this paper are generalized to {\psi}-mixing sources in this paper. Application to Markoff chains and order m Markoff chains is presented. The main result is the generalization of Theorem 1 in Part 1.


title: Gamma and Factorial in the Monthly

abstract: The Monthly has published roughly fifty papers on the $\Gamma$ function or Stirling's formula. We survey those papers (discussing only our favourites in any detail) and place them in the context of the larger mathematical literature on $\Gamma$.


title: One-component inner functions

abstract: We explicitely unveil several classes of inner functions $u$ in $H^\infty$ with the property that there is $\eta\in ]0,1[$ such that the level set $\Omega_u(\eta):=\{z\in\mathbb D: |u(z)|<\eta\}$ is connected. These so-called one-component inner functions play an important role in operator theory.


title: Bootstrapping LCF Declarative Proofs

abstract: Suppose we have been sold on the idea that formalised proofs in an LCF system should resemble their written counterparts, and so consist of formulas that only provide signposts for a fully verified proof. To be practical, most of the fully elaborated verification must then be done by way of general purpose proof procedures. Now if these are the only procedures we implement outside the kernel of logical rules, what does the theorem prover look like? We give our account, working from scratch in the ProofPeer theorem prover, making observations about this new setting along the way.


title: The spin jumping in the context of a QCD effective model

abstract: The tensor formulation for the effective theory of QCD vector ressonances, whose model we denote by TEVR, is given by an antisymmetric tensor field and describes spin 1 particles. Our goal is to show, by diferent approaches, that the Abelian version of this model presents the so called "spin jumping" when we consider its massless limit. Classically we find, by the use of the equations of motion and the Hamiltonian constraint analysis, that the massive phase of the model describes spin 1 particles while its massless phase describes spin 0 particles. By the quantum point of view we derive these conclusions via tree level unitarity analysis and the master action approach.


title: Hadamard Equiangular Tight Frames

abstract: An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. They are often represented as the columns of a short, fat matrix. In certain applications we want this matrix to be flat, that is, have the property that all of its entries have modulus one. In particular, real flat ETFs are equivalent to self-complementary binary codes that achieve the Grey-Rankin bound. Some flat ETFs are (complex) Hadamard ETFs, meaning they arise by extracting rows from a (complex) Hadamard matrix. These include harmonic ETFs, which are obtained by extracting the rows of a character table that correspond to a difference set in the underlying finite abelian group. In this paper, we give some new results about flat ETFs. One of these results gives an explicit Naimark complement for all Steiner ETFs, which in turn implies that all Kirkman ETFs are possibly-complex Hadamard ETFs. This in particular produces a new infinite family of real flat ETFs. Another result establishes an equivalence between real flat ETFs and certain types of quasi-symmetric designs, resulting in a new infinite family of such designs.


title: Illuminant Estimation using Ensembles of Multivariate Regression Trees

abstract: White balancing is a fundamental step in the image processing pipeline. The process involves estimating the chromaticity of the illuminant or light source and using the estimate to correct the image to remove any color cast. Given the importance of the problem, there has been much previous work on illuminant estimation. Recently, an approach based on ensembles of univariate regression trees that are fit using the squared-error loss function has been proposed and shown to give excellent performance. In this paper, we show that a simpler and more accurate ensemble model can be learned by (i) using multivariate regression trees to take into account that the chromaticity components of the illuminant are correlated and constrained, and (ii) fitting each tree by directly minimizing a loss function of interest---such as recovery angular error or reproduction angular error---rather than indirectly using the squared-error loss function as a surrogate. We show empirically that overall our method leads to improved performance on diverse image sets.


title: Spectral Clustering Methods for Multiplex Networks

abstract: Multiplex networks offer an important tool for the study of complex systems and extending techniques originally designed for single--layer networks is an important area of study. One of the most important methods for analyzing networks is clustering the nodes into communities that represent common connectivity patterns. In this paper we extend spectral clustering to multiplex structures and discuss some of the difficulties that arise in attempting to define a natural generalization. In order to analyze our approach, we describe three simple, synthetic multiplex networks and compare the performance of different multiplex models. Our results suggest that a dynamically motivated model is more successful than a structurally motivated model in discovering the appropriate communities.


title: DGSAT: Dwarf Galaxy Survey with Amateur Telescopes II. A catalogue of isolated nearby edge-on disk galaxies and the discovery of new low surface brightness systems

abstract: The connection between the bulge mass or bulge luminosity in disk galaxies and the number, spatial and phase space distribution of associated dwarf galaxies is a discriminator between cosmological simulations related to galaxy formation in cold dark matter and generalized gravity models. Here, a nearby sample of isolated Milky Way class edge-on galaxies is introduced, to facilitate observational campaigns to detect the associated families of dwarf galaxies at low surface brightness. Three galaxy pairs with at least one of the targets being edge-on are also introduced. About 60% of the catalogued isolated galaxies contain bulges of different size, while the remaining objects appear to be bulge-less. Deep images of NGC 3669 (small bulge, with NGC 3625 at the edge of the image) and NGC 7814 (prominent bulge), obtained with a 0.4-m aperture, are also presented, resulting in the discovery of two new dwarf galaxy candidates, NGC3669-DGSAT-3 and NGC7814-DGSAT-7. Eleven additional low surface brightness galaxies are identified, previously notified with low quality measurement flags in the Sloan Digital Sky Survey (SDSS). Integrated magnitudes, surface brightnesses, effective radii, Sersic indices, axis ratios, and projected distances to their putative major hosts are displayed. At least one of the galaxies, NGC3625-DGSAT-4, belongs with a surface brightness of approximately 26 mag per arcsec^2 and effective radius >1.5 kpc to the class of ultra-diffuse galaxies (UDGs). NGC3669-DGSAT-3, the galaxy with lowest surface brightness in our sample, may also be an UDG.


title: Unpacking of a crumpled wire from two-dimensional cavities

abstract: The physics of tightly packed structures of a wire and other threadlike materials confined in cavities has been explored in recent years in connection with crumpled systems and a number of topics ranging from applications to DNA packing in viral capsids and surgical interventions with catheter to analogies with the electron gas at finite temperature and with theories of two-dimensional quantum gravity. When a long piece of wire is injected into two-dimensional cavities, it bends and originates in the jammed limit a series of closed structures that we call loops. In this work we study the extraction of a crumpled tightly packed wire from a circular cavity aiming to remove loops individually. The size of each removed loop, the maximum value of the force needed to unpack each loop, and the total length of the extracted wire were measured and related to an exponential growth and a mean field model consistent with the literature of crumpled wires. Scaling laws for this process are reported and the relationship between the processes of packing and unpacking of wire is commented upon.


title: Unstable standard candles. Periodic light curve modulation in fundamental mode classical Cepheids

abstract: We report the discovery of periodic modulation of pulsation in 51 fundamental mode classical Cepheids of the Magellanic Clouds observed by the Optical Gravitational Lensing Experiment. Although the overall incidence rate is very low, about 1 per cent in each of the Magellanic Clouds, in the case of the SMC and pulsation periods between 12 and 16d the incidence rate is nearly 40 per cent. On the other hand, in the LMC the highest incidence rate is 5 per cent for pulsation periods between 8 and 14d, and the overall amplitude of the effect is smaller. It indicates that the phenomenon is metallicity dependent. Typical modulation periods are between 70 and 300d. In nearly all stars the mean brightness is modulated, which, in principle, may influence the use of classical Cepheids for distance determination. Fortunately, the modulation of mean brightness does not exceed 0.01 mag in all but one star. Also, the effect averages out in typical observations spanning a long time base. Consequently, the effect of modulation on the determination of the distance moduli is negligible. The relative modulation amplitude of the fundamental mode is also low and, with one exception, it does not exceed 6 per cent. The origin of the modulation is unknown. We draw a hypothesis that the modulation is caused by the 2:1 resonance between the fundamental mode and the second overtone that shapes the famous Hertzsprung bump progression.


title: Arrow Categories of Monoidal Model Categories

abstract: We prove that the arrow category of a monoidal model category, equipped with the pushout product monoidal structure and the projective model structure, is a monoidal model category. This answers a question posed by Mark Hovey, and has the important consequence that it allows for the consideration of a monoidal product in cubical homotopy theory. As illustrations we include numerous examples of non-cofibrantly generated monoidal model categories, including chain complexes, small categories, topological spaces, and pro-categories.


title: Two-body problem in Scalar-Tensor theories as a deformation of General Relativity : an Effective-One-Body approach

abstract: In this paper we address the two-body problem in massless Scalar-Tensor (ST) theories within an Effective-One-Body (EOB) framework. We focus on the first building block of the EOB approach, that is, mapping the conservative part of the two-body dynamics onto the geodesic motion of a test particle in an effective external metric. To this end, we first deduce the second post-Keplerian (2PK) Hamiltonian of the two-body problem from the known 2PK Lagrangian. We then build, by means of a canonical transformation a ST-deformation of the general relativistic EOB Hamiltonian which allows to incorporate the Scalar-Tensor (2PK) corrections to the currently best available General Relativity EOB results. This EOB-ST Hamiltonian defines a resummation of the dynamics that may provide information on the strong-field regime, in particular, the ISCO location and associated orbital frequency and can be compared to other, e.g. tidal, corrections.


title: Mass Exchange Dynamics of Surface and Subsurface Oil in Shallow-Water Transport

abstract: We formulate a model for the mass exchange between oil at and below the sea surface. This is a particularly important aspect of modeling oil spills. Surface and subsurface oil have different chemical and transport characteristics and lumping them together would compromise the accuracy of the resulting model. Without observational or computational constraints, it is thus not possible to quantitatively predict oil spills based upon partial field observations of surface and/or sub-surface oil. The primary challenge in capturing the mass exchange is that the principal mechanisms are on the microscale. This is a serious barrier to developing practical models for oil spills that are capable of addressing questions regarding the fate of oil at the large spatio-temporal scales, as demanded by environmental questions. We use upscaling to propose an environmental-scale model which incorporates the mass exchange between surface and subsurface oil due to oil droplet dynamics, buoyancy effects, and sea surface and subsurface mechanics. While the mass exchange mechanism detailed here is generally applicable to oil transport models, it addresses the modeling needs of a particular to an oil spill model [1]. This transport model is designed to capture oil spills at very large spatio-temporal scales. It accomplishes this goal by specializing to shallow-water environments, in which depth averaging is a perfectly good approximation for the flow, while at the same time retaining mass conservation of oil over the whole oceanic domain.


title: Chow-Witt rings of classifying spaces for symplectic and special linear groups

abstract: We compute the Chow-Witt rings of the classifying spaces for the symplectic and special linear groups. In the structural description we give, contributions from real and complex realization are clearly visible. In particular, the computation of cohomology with $\mathbf{I}^j$-coefficients is done closely along the lines of Brown's computation of integral cohomology for special orthogonal groups. The computations for the symplectic groups show that Chow-Witt groups are a symplectically oriented ring cohomology theory. Using our computations for special linear groups, we also discuss the question when an oriented vector bundle of odd rank splits off a trivial summand.


title: Orthogonality catastrophe and fractional exclusion statistics

abstract: We show that the $N$-particle Sutherland model with inverse-square and harmonic interactions exhibits orthogonality catastrophe. For a fixed value of the harmonic coupling, the overlap of the $N$-body ground state wave functions with two different values of the inverse-square interaction term goes to zero in the thermodynamic limit. When the two values of the inverse-square coupling differ by an infinitesimal amount, the wave function overlap shows an exponential suppression. This is qualitatively different from the usual power law suppression observed in the Anderson's orthogonality catastrophe. We also obtain an analytic expression for the wave function overlaps for an arbitrary set of couplings, whose properties are analyzed numerically. The quasiparticles constituting the ground state wave functions of the Sutherland model are known to obey fractional exclusion statistics. Our analysis indicates that the orthogonality catastrophe may be valid in systems with more general kinds of statistics than just the fermionic type.


title: A Study of Complex Deep Learning Networks on High Performance, Neuromorphic, and Quantum Computers

abstract: Current Deep Learning approaches have been very successful using convolutional neural networks (CNN) trained on large graphical processing units (GPU)-based computers. Three limitations of this approach are: 1) they are based on a simple layered network topology, i.e., highly connected layers, without intra-layer connections; 2) the networks are manually configured to achieve optimal results, and 3) the implementation of neuron model is expensive in both cost and power. In this paper, we evaluate deep learning models using three different computing architectures to address these problems: quantum computing to train complex topologies, high performance computing (HPC) to automatically determine network topology, and neuromorphic computing for a low-power hardware implementation. We use the MNIST dataset for our experiment, due to input size limitations of current quantum computers. Our results show the feasibility of using the three architectures in tandem to address the above deep learning limitations. We show a quantum computer can find high quality values of intra-layer connections weights, in a tractable time as the complexity of the network increases; a high performance computer can find optimal layer-based topologies; and a neuromorphic computer can represent the complex topology and weights derived from the other architectures in low power memristive hardware.


title: Bounded height in families of dynamical systems

abstract: Let a and b be algebraic numbers such that exactly one of a and b is an algebraic integer, and let f_t(z):=z^2+t be a family of polynomials parametrized by t. We prove that the set of all algebraic numbers t for which there exist positive integers m and n such that f_t^m(a)=f_t^n(b) has bounded Weil height. This is a special case of a more general result supporting a new bounded height conjecture in dynamics. Our results fit into the general setting of the principle of unlikely intersections in arithmetic dynamics.


title: Fluid dynamics solutions obtained from the Riemann invariant approach

abstract: The generalized method of characteristics is used to obtain rank-2 solutions of the classical equations of hydrodynamics in (3+1) dimensions describing the motion of a fluid medium in the presence of gravitational and Coriolis forces. We determine the necessary and sufficient conditions which guarantee the existence of solutions expressed in terms of Riemann invariants for an inhomogeneous quasilinear system of partial differential equations. The paper contains a detailed exposition of the theory of simple wave solutions and a presentation of the main tool used to study the Cauchy problem. A systematic use is made of the generalized method of characteristics in order to generate several classes of wave solutions written in terms of Riemann invariants.


title: $\phi$ meson mass and decay width in nuclear matter and nuclei

abstract: The mass and decay width of the $\phi$ meson in cold nuclear matter are computed in an effective Lagrangian approach. The medium dependence of these properties are obtained by evaluating kaon-antikaon loop contributions to the $\phi$ self-energy, employing the medium-modified kaon masses, calculated using the quark-meson coupling model. The loop integral is regularized with a dipole form factor, and the sensitivity of the results to the choice of cutoff mass in the form factor is investigated. At normal nuclear matter density we find a downward shift of the $\phi$ mass by a few percent, while the decay width is enhanced by an order of magnitude. For a large variation of the cutoff mass parameter, the results for the $\phi$ mass and the decay width turn out to vary very little. Our results support results in the literature which suggest that one should observe a small downward mass shift and a large broadening of the decay width. In order to explore the possibility of studying the binding and absorption of $\phi$ mesons in nuclei, we also present the single-particle binding energies and half-widths of $\phi$-nucleus bound states for some selected nuclei.


title: Effects of dust absorption on spectroscopic studies of turbulence

abstract: We study the effect of dust absorption on the recovery velocity and density spectra as well as on the anisotropies of magnetohydrodynamic turbulence using the Velocity Channel Analysis (VCA), Velocity Coordinate Spectrum (VCS) and Velocity Centroids. The dust limits volume up to an optical depth of unity. We show that in the case of the emissivity proportional to the density of emitters, the effects of random density get suppressed for strong dust absorption intensity variations arise from the velocity fluctuations only. However, for the emissivity proportional to squared density, both density and velocity fluctuations affect the observed intensities. We predict a new asymptotic regime for the spectrum of fluctuations for large scales exceeding the physical depths to unit optical depth. The spectrum gets shallower by unity in this regime. In addition, the dust absorption removes the degeneracy resulted in the universal $K^{-3}$ spectrum of intensity fluctuations of self-absorbing medium reported by Lazarian \& Pogosyan. We show that the predicted result is consistent with the available HII region emission data. We find that for sub-Alfv\'enic and trans-Alfv\'enic turbulence one can get the information about both the magnetic field direction and the fundamental Alfv\'en, fast and slow modes that constitute MHD turbulence.


title: Amplitude sensing below the zero-point fluctuations with a two-dimensional trapped-ion mechanical oscillator

abstract: We present a technique to measure the amplitude of a center-of-mass (COM) motion of a two-dimensional ion crystal of $\sim$100 ions. By sensing motion at frequencies far from the COM resonance frequency, we experimentally determine the technique's measurement imprecision. We resolve amplitudes as small as 50 pm, 40 times smaller than the COM mode zero-point fluctuations. The technique employs a spin-dependent, optical-dipole force to couple the mechanical oscillation to the electron spins of the trapped ions, enabling a measurement of one quadrature of the COM motion through a readout of the spin state. We demonstrate sensitivity limits set by spin projection noise and spin decoherence due to off-resonant light scattering. When performed on resonance with the COM mode frequency, the technique demonstrated here can enable the detection of extremely weak forces ($< \,$1 yN) and electric fields ($< \,$1 nV/m), providing an opportunity to probe quantum sensing limits and search for physics beyond the standard model.


title: All-electrical control of donor-bound electron spin qubits in silicon

abstract: We propose a method to electrically control electron spins in donor-based qubits in silicon. By taking advantage of the hyperfine coupling difference between a single-donor and a two-donor quantum dot, spin rotation can be driven by inducing an electric dipole between them and applying an alternating electric field generated by in-plane gates. These qubits can be coupled with exchange interaction controlled by top detuning gates. The qubit device can be fabricated deep in the silicon lattice with atomic precision by scanning tunneling probe technique. We have combined a large-scale full band atomistic tight-binding modeling approach with a time-dependent effective Hamiltonian description, providing a design with quantitative guidelines.


title: Directional Sensitivity In Light-Mass Dark Matter Searches With Single-Electron Resolution Ionization Detectors

abstract: We propose a method using solid state detectors with directional sensitivity to dark matter interactions to detect low-mass Weakly Interacting Massive Particles (WIMPs) originating from galactic sources. In spite of a large body of literature for high-mass WIMP detectors with directional sensitivity, no available technique exists to cover WIMPs in the mass range <1 GeV. We argue that single-electron resolution semiconductor detectors allow for directional sensitivity once properly calibrated. We examine commonly used semiconductor material response to these low-mass WIMP interactions.

categories: physics.ins-det astro-ph.CO cond-mat.mtrl-sci hep-ex physics.comp-ph


title: The Faa di Bruno Hopf algebra for multivariable feedback recursions in the center problem for higher order Abel equations

abstract: Poincare's center problem asks for conditions under which a planar polynomial system of ordinary differential equations has a center. It is well understood that the Abel equation naturally describes the problem in a convenient coordinate system. In 1989, Devlin described an algebraic approach for constructing sufficient conditions for a center using a linear recursion for the generating series of the solution to the Abel equation. Subsequent work by the authors linked this recursion to feedback structures in control theory and combinatorial Hopf algebras, but only for the lowest degree case. The present work introduces what turns out to be the nontrivial multivariable generalization of this connection between the center problem, feedback control, and combinatorial Hopf algebras. Once the picture is completed, it is possible to provide generalizations of some known identities involving the Abel generating series. A linear recursion for the antipode of this new Hopf algebra is also developed using coderivations. Finally, the results are used to further explore what is called the composition condition for the center problem.


title: Hawking Radiation: A Comparison of Pure-state and Thermal Descriptions

abstract: The cases of the Hawking radiation field being described by a pure state and by the usual thermal state are compared within the CGHS dilaton gravity model. The field-strength fluctuations of the Fourier modes are computed, showing a discrepancy in the low-energy regime, while coinciding at high energies. Then by defining a distance for density operators and evaluating it for the cases concerned, the difference between the pure and thermal descriptions is quantified and found to be exponentially small with respect to the Hawking temperature. Possible physical interpretations are discussed.


title: Topological Chaos in a Three-Dimensional Spherical Fluid Vortex

abstract: In chaotic deterministic systems, seemingly stochastic behavior is generated by relatively simple, though hidden, organizing rules and structures. Prominent among the tools used to characterize this complexity in 1D and 2D systems are techniques which exploit the topology of dynamically invariant structures. However, the path to extending many such topological techniques to three dimensions is filled with roadblocks that prevent their application to a wider variety of physical systems. Here, we overcome these roadblocks and successfully analyze a realistic model of 3D fluid advection, by extending the homotopic lobe dynamics (HLD) technique, previously developed for 2D area-preserving dynamics, to 3D volume-preserving dynamics. We start with numerically-generated finite-time chaotic-scattering data for particles entrained in a spherical fluid vortex, and use this data to build a symbolic representation of the dynamics. We then use this symbolic representation to explain and predict the self-similar fractal structure of the scattering data, to compute bounds on the topological entropy, a fundamental measure of mixing, and to discover two different mixing mechanisms, which stretch 2D material surfaces and 1D material curves in distinct ways.


title: An Exploratory Study of Applying a Scrum Development Process for Safety-Critical Systems

abstract: Agile techniques recently have received attention in developing safety-critical systems. However, a lack of empirical knowledge of performing safety assurance techniques in practice, especially safety analysis into agile development processes prevents further steps. In this article, we aim at investigating the feasibility and the effects of our S-Scrum development process, and stepwise improving and proposing an Optimized S-Scrum development process for safety-critical systems in a real environment. We conducted an exploratory case study in a one-year student project "Smart Home" at the University of Stuttgart, Germany. We participated in the project and collected quantitative and qualitative data from questionnaire, interviews, participant observation, physical artifacts, and documentation review. Furthermore, we evaluated the Optimized S-Scrum in industry by conducting interviews. The first-stage results showed that by integrating STPA (System-Theoretic Process Analysis) can ensure the safety during each sprint and enhance the safety of delivered products, while the agility of S-Scrum is slightly worse than the original Scrum. Six challenges have been explored: Management changes the team's priorities during an iteration; Disturbed safety-related communication; Non-functional requirements are determined too late; Insufficient upfront planning; Insufficient well-defined completion criteria; Excessive time to perform upfront planning. We investigated further the causalities and optimizations. The second-stage results revealed that the safety and agility have been improved after the optimizations. We have gained a positive assessment and suggestions from industry. The optimized S-Scrum is feasible for developing safety-critical systems concerning the capability to ensure safety and the acceptable agility in a student project. Further attempt is still needed in industrial projects.


title: Finite Sample Analysis of Two-Timescale Stochastic Approximation with Applications to Reinforcement Learning

abstract: Two-timescale Stochastic Approximation (SA) algorithms are widely used in Reinforcement Learning (RL). Their iterates have two parts that are updated using distinct stepsizes. In this work, we develop a novel recipe for their finite sample analysis. Using this, we provide a concentration bound, which is the first such result for a two-timescale SA. The type of bound we obtain is known as `lock-in probability'. We also introduce a new projection scheme, in which the time between successive projections increases exponentially. This scheme allows one to elegantly transform a lock-in probability into a convergence rate result for projected two-timescale SA. From this latter result, we then extract key insights on stepsize selection. As an application, we finally obtain convergence rates for the projected two-timescale RL algorithms GTD(0), GTD2, and TDC.


title: Smith Ideals of Operadic Algebras in Monoidal Model Categories

abstract: Building upon Hovey's work on Smith ideals for monoids, we develop a homotopy theory of Smith ideals for general operads in a symmetric monoidal category. For a sufficiently nice stable monoidal model category and an operad satisfying a cofibrancy condition, we show that there is a Quillen equivalence between a model structure on Smith ideals and a model structure on algebra maps induced by the cokernel and the kernel. For symmetric spectra, this applies to the commutative operad and all Sigma-cofibrant operads. For chain complexes over a field of characteristic zero and the stable module category, this Quillen equivalence holds for all operads. This paper ends with a comparison between the semi-model category approach and the $\infty$-category approach to encoding the homotopy theory of algebras over Sigma-cofibrant operads that are not necessarily admissible.


title: Non-crossing Monotone Paths and Binary Trees in Edge-ordered Complete Geometric Graphs

abstract: An edge-ordered graph is a graph with a total ordering of its edges. A path $P=v_1v_2\ldots v_k$ in an edge-ordered graph is called increasing if $(v_iv_{i+1}) > (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$; it is called decreasing if $(v_iv_{i+1}) < (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$. We say that $P$ is monotone if it is increasing or decreasing. A rooted tree $T$ in an edge-ordered graph is called monotone if either every path from the root of to a leaf is increasing or every path from the root to a leaf is decreasing. Let $G$ be a graph. In a straight-line drawing $D$ of $G$, its vertices are drawn as different points in the plane and its edges are straight line segments. Let $\overline{\alpha}(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing path of length $\overline{\alpha}(G)$. Let $\overline{\tau}(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing complete binary tree of size $\overline{\tau}(G)$. In this paper we show that $\overline \alpha(K_n) = \Omega(\log\log n)$, $\overline \alpha(K_n) = O(\log n)$, $\overline \tau(K_n) = \Omega(\log\log \log n)$ and $\overline \tau(K_n) = O(\sqrt{n \log n})$.


title: Hydrodynamical models of cometary HII regions

abstract: We have modelled the evolution of cometary HII regions produced by zero-age main-sequence stars of O and B spectral types, which are driving strong winds and are born off-centre from spherically symmetric cores with power-law ($\alpha = 2$) density slopes. A model parameter grid was produced that spans stellar mass, age and core density. Exploring this parameter space we investigated limb-brightening, a feature commonly seen in cometary HII regions. We found that stars with mass $M_\star \geq 12\, \mathrm{M}_\odot$ produce this feature. Our models have a cavity bounded by a contact discontinuity separating hot shocked wind and ionised ambient gas that is similar in size to the surrounding HII region. Due to early pressure confinement we did not see shocks outside of the contact discontinuity for stars with $M_\star \leq 40\, \mathrm{M}_\odot$, but the cavities were found to continue to grow. The cavity size in each model plateaus as the HII region stagnates. The spectral energy distributions of our models are similar to those from identical stars evolving in uniform density fields. The turn-over frequency is slightly lower in our power-law models due to a higher proportion of low density gas covered by the HII regions.


title: The Interactive Sum Choice Number of Graphs

abstract: We introduce a variant of the well-studied sum choice number of graphs, which we call the interactive sum choice number. In this variant, we request colours to be added to the vertices' colour-lists one at a time, and so we are able to make use of information about the colours assigned so far to determine our future choices. The interactive sum choice number cannot exceed the sum choice number and we conjecture that, except in the case of complete graphs, the interactive sum choice number is always strictly smaller than the sum choice number. In this paper we provide evidence in support of this conjecture, demonstrating that it holds for a number of graph classes, and indeed that in many cases the difference between the two quantities grows as a linear function of the number of vertices.


title: 3D Vision Guided Robotic Charging Station for Electric and Plug-in Hybrid Vehicles

abstract: Electric vehicles (EVs) and plug-in hybrid vehicles (PHEVs) are rapidly gaining popularity on our roads. Besides a comparatively high purchasing price, the main two problems limiting their use are the short driving range and inconvenient charging process. In this paper we address the following by presenting an automatic robot-based charging station with 3D vision guidance for plugging and unplugging the charger. First of all, the whole system concept consisting of a 3D vision system, an UR10 robot and a charging station is presented. Then we show the shape-based matching methods used to successfully identify and get the exact pose of the charging port. The same approach is used to calibrate the camera-robot system by using just known structure of the connector plug and no additional markers. Finally, a three-step robot motion planning procedure for plug-in is presented and functionality is demonstrated in a series of successful experiments.


title: Stability of the nonperturbative bosonic string vacuum

abstract: Quantization of the bosonic string around the classical, perturbative vacuum is not consistent for spacetime dimensions 2<d<26. Recently we have showed that at large d there is another so-called mean field vacuum. Here we extend this mean field calculation to finite d and show that the corresponding mean field vacuum is stable under quadratic fluctuations for 2<d<26. We point out the analogy with the two-dimensional O(N)-symmetric sigma-model, where the 1/N-vacuum is very close to the real vacuum state even for finite N, in contrast to the perturbative vacuum.


title: On the honeycomb conjecture for a class of minimal convex partitions

abstract: We prove that the planar hexagonal honeycomb is asymptotically optimal for a large class of optimal partition problems, in which the cells are assumed to be convex, and the criterion is to minimize either the sum or the maximum among the energies of the cells, the cost being a shape functional $F$ which satisfies a few assumptions. They are: monotonicity under inclusions; homogeneity under dilations; a Faber-Krahn inequality for convex hexagons; a convexity-type inequality for the map which associates with every $n \in \mathbb{N}$ the minimizers of $F$ among convex $n$-gons with given area. In particular, our result allows to obtain the honeycomb conjecture for the Cheeger constant and for the logarithmic capacity (still assuming the cells to be convex). Moreover we show that, in order to get the conjecture also for the first Dirichlet eigenvalue of the Laplacian, it is sufficient to establish some facts about the behaviour of $\lambda _1$ among convex pentagons, hexagons, and heptagons with prescribed area.


title: Exploring Halo Substructure with Giant Stars. XV. Discovery of a Connection between the Monoceros Ring and the Triangulum-Andromeda Overdensity?

abstract: Thanks to modern sky surveys, over twenty stellar streams and overdensity structures have been discovered in the halo of the Milky Way. In this paper, we present an analysis of spectroscopic observations of individual stars from one such structure, "A13", first identified as an overdensity using the M giant catalog from the Two Micron All-Sky Survey. Our spectroscopic observations show that stars identified with A13 have a velocity dispersion of $\lesssim$ 40 $\mathrm{km~s^{-1}}$, implying that it is a genuine coherent structure rather than a chance super-position of random halo stars. From its position on the sky, distance ($\sim$15~kpc heliocentric), and kinematical properties, A13 is likely to be an extension of another low Galactic latitude substructure -- the Galactic Anticenter Stellar Structure (also known as the Monoceros Ring) -- towards smaller Galactic longitude and farther distance. Furthermore, the kinematics of A13 also connect it with another structure in the southern Galactic hemisphere -- the Triangulum-Andromeda overdensity. We discuss these three connected structures within the context of a previously proposed scenario that one or all of these features originate from the disk of the Milky Way.


title: Constraining holographic cosmology using Planck data

abstract: Holographic cosmology offers a novel framework for describing the very early Universe in which cosmological predictions are expressed in terms of the observables of a three dimensional quantum field theory (QFT). This framework includes conventional slow-roll inflation, which is described in terms of a strongly coupled QFT, but it also allows for qualitatively new models for the very early Universe, where the dual QFT may be weakly coupled. The new models describe a universe which is non-geometric at early times. While standard slow-roll inflation leads to a (near-)power-law primordial power spectrum, perturbative superrenormalizable QFT's yield a new holographic spectral shape. Here, we compare the two predictions against cosmological observations. We use CosmoMC to determine the best fit parameters, and MultiNest for Bayesian Evidence, comparing the likelihoods. We find that the dual QFT should be non-perturbative at the very low multipoles ($l \lesssim 30$), while for higher multipoles ($l \gtrsim 30$) the new holographic model, based on perturbative QFT, fits the data just as well as the standard power-law spectrum assumed in $\Lambda$CDM cosmology. This finding opens the door to applications of non-perturbative QFT techniques, such as lattice simulations, to observational cosmology on gigaparsec scales and beyond.


title: The HARPS search for southern extra-solar planets XLI. A dozen planets around the M dwarfs GJ 3138, GJ 3323, GJ 273, GJ 628, and GJ 3293

abstract: Context. Low mass stars are currently the best targets for searches for rocky planets in the habitable zone of their host star. Over the last 13 years, precise radial velocities measured with the HARPS spectrograph have identified over a dozen super-Earths and Earth-mass planets (msin i<10Mearth ) around M dwarfs, with a well understood selection function. This well defined sample informs on their frequency of occurrence and on the distribution of their orbital parameters, and therefore already constrains our understanding of planetary formation. The subset of these low-mass planets that were found within the habitable zone of their host star also provide prized targets for future atmospheric biomarkers searches. Aims. We are working to extend this planetary sample to lower masses and longer periods through dense and long-term monitoring of the radial velocity of a small M dwarf sample. Methods. We obtained large numbers of HARPS spectra for the M dwarfs GJ 3138, GJ 3323, GJ 273, GJ 628 and GJ 3293, from which we derived radial velocities (RVs) and spectroscopic activity indicators. We searched them for variabilities, periodicities, Keplerian modulations and correlations, and attribute the radial-velocity variations to combinations of planetary companions and stellar activity. Results. We detect 12 planets, of which 9 are new with masses ranging from 1.17 to 10.5 Mearth . Those planets have relatively short orbital periods (P<40 d), except two of them with periods of 217.6 and 257.8 days. Among these systems, GJ 273 harbor two planets with masses close to the one of the Earth. With a distance of 3.8 parsec only, GJ 273 is the second nearest known planetary system - after Proxima Centauri - with a planet orbiting the circumstellar habitable zone.


title: Positive solutions of indefinite semipositone problems via sub-super solutions

abstract: Let $\Omega\subset\mathbb{R}^{N}$, $N\geq1$, be a smooth bounded domain, and let $m:\Omega\rightarrow\mathbb{R}$ be a possibly sign-changing function. We investigate the existence of positive solutions for the semipositone problem $-\Delta u=\lambda m(x)(f(u)-k)$ in $\Omega$, $u=0$ on $\partial\Omega$, where $\lambda,k>0$ and $f$ is either sublinear at infinity with $f(0)=0$, or $f$ has a singularity at $0$. We prove the existence of a positive solution for certain ranges of $\lambda$ provided that the negative part of $m$ is suitably small. Our main tool is the sub-supersolutions method, combined with some rescaling properties.


title: A distributed primal-dual algorithm for computation of generalized Nash equilibria with shared affine coupling constraints via operator splitting methods

abstract: In this paper, we propose a distributed primal-dual algorithm for computation of a generalized Nash equilibrium (GNE) in noncooperative games over network systems. In the considered game, not only each player's local objective function depends on other players' decisions, but also the feasible decision sets of all the players are coupled together with a globally shared affine inequality constraint. Adopting the variational GNE, that is the solution of a variational inequality, as a refinement of GNE, we introduce a primal-dual algorithm that players can use to seek it in a distributed manner. Each player only needs to know its local objective function, local feasible set, and a local block of the affine constraint. Meanwhile, each player only needs to observe the decisions on which its local objective function explicitly depends through the interference graph and share information related to multipliers with its neighbors through a multiplier graph. Through a primal-dual analysis and an augmentation of variables, we reformulate the problem as finding the zeros of a sum of monotone operators. Our distributed primal-dual algorithm is based on forward-backward operator splitting methods. We prove its convergence to the variational GNE for fixed step-sizes under some mild assumptions. Then a distributed algorithm with inertia is also introduced and analyzed for variational GNE seeking. Finally, numerical simulations for network Cournot competition are given to illustrate the algorithm efficiency and performance.


title: Hairs of discrete symmetries and gravity

abstract: Gauge symmetries are known to be respected by gravity because gauge charges carry flux lines, but global charges do not carry flux lines and are not conserved by gravitational interaction. For discrete symmetries, they are spontaneously broken in the Universe, forming domain walls. Since the realization of discrete symmetries in the Universe must involve the vacuum expectation values of Higgs fields, a string-like configuration (hair) at the intersection of domain walls in the Higgs vacua can be realized. Therefore, we argue that discrete charges are also respected by gravity.


title: Convolutional Recurrent Neural Networks for Small-Footprint Keyword Spotting

abstract: Keyword spotting (KWS) constitutes a major component of human-technology interfaces. Maximizing the detection accuracy at a low false alarm (FA) rate, while minimizing the footprint size, latency and complexity are the goals for KWS. Towards achieving them, we study Convolutional Recurrent Neural Networks (CRNNs). Inspired by large-scale state-of-the-art speech recognition systems, we combine the strengths of convolutional layers and recurrent layers to exploit local structure and long-range context. We analyze the effect of architecture parameters, and propose training strategies to improve performance. With only ~230k parameters, our CRNN model yields acceptably low latency, and achieves 97.71% accuracy at 0.5 FA/hour for 5 dB signal-to-noise ratio.


title: The symmetrized topological complexity of the circle

abstract: We determine the symmetrized topological complexity of the circle, using primarily just general topology.


title: Glass transitions may be similar in 2 and 3 dimensions, after all

abstract: This is a commentary on two recent experimental papers in PNAS by Vivek et al. and Illing et al. that convincingly address an issue at the junction of two fundamental questions in glass physics: the role of the dimensionality of space on the glass transition and the possible existence of long wavelength fluctuations in two-dimensional amorphous solids.


title: Convolutional Low-Resolution Fine-Grained Classification

abstract: Successful fine-grained image classification methods learn subtle details between visually similar (sub-)classes, but the problem becomes significantly more challenging if the details are missing due to low resolution. Encouraged by the recent success of Convolutional Neural Network (CNN) architectures in image classification, we propose a novel resolution-aware deep model which combines convolutional image super-resolution and convolutional fine-grained classification into a single model in an end-to-end manner. Extensive experiments on the Stanford Cars and Caltech-UCSD Birds 200-2011 benchmarks demonstrate that the proposed model consistently performs better than conventional convolutional net on classifying fine-grained object classes in low-resolution images.


title: The determination of the Dzyaloshinskii-Moriya interaction in exchange biased Au/Co/NiO system

abstract: The determination of the interfacial Dzyaloshinskii-Moriya interaction for perpendicularly magnetized thin layered films is not trivial and therefore needs some experimental efforts to determine its sign and magnitude, especially in the exchange biased system. Here, we developed a method proposed by D.-S. Han et al. [Nano Lett. 16, (2016) 4438], which opens a way to investigate this interaction using a conventional PMOKE magnetometer, also in exchange biased systems. Using our approach we demonstrated that the Au/Co/NiO layered system has a strong negative Dzyaloshinskii-Moriya interaction, which is independent of the direction of perpendicular interlayer exchange bias coupling.


title: Model-Free Based Digital Control for Magnetic Measurements

abstract: This paper presents a novel digital control strategy successfully implemented for a soft magnetic material characterization bench (Epstein frame type). The main objective is to control the magnetic induction waveform whatever the applied excitation and the material under study. Given the nonlinear nature of the magnetization curves of magnetic materials, an original model-free based control technique is considered. Special mention should be made of the interesting dynamic properties in closed-loop against the changes of the operating point related basically to the hysteresis form. The operation and the performances of the digital control method are illustrated in different working conditions through both simulation and experimental measurements.


title: Charge versus energy transfer in atomically-thin graphene-transition metal dichalcogenide van der Waals heterostructures

abstract: Van der Waals heterostuctures, made from stacks of two-dimensional materials, exhibit unique light-matter interactions and are promising for novel optoelectronic devices. The performance of such devices is governed by near-field coupling through, e.g., interlayer charge and/or energy transfer. New concepts and experimental methodologies are needed to properly describe two-dimensional heterointerfaces. Here, we report on interlayer charge and energy transfer in atomically thin metal (graphene)/semiconductor (transition metal dichalcogenide (TMD, here MoSe$_2$)) heterostructures using a combination of photoluminescence and Raman scattering spectroscopies. The photoluminescence intensity in graphene/MoSe$_2$ is quenched by more than two orders of magnitude and rises linearly with the photon flux, demonstrating a drastically shortened ($\sim 1~\tr{ps}$) room temperature MoSe$_2$ exciton lifetime. Key complementary insights are provided from analysis of the graphene and MoSe$_2$ Raman modes, which reveals net photoinduced electron transfer from MoSe$_2$ to graphene and hole accumulation in MoSe$_2$. Remarkably, the steady state Fermi energy of graphene saturates at $290\pm 15~\tr{meV}$ above the Dirac point. This behavior is observed both in ambient air and in vacuum and is discussed in terms of band offsets and environmental effects. In this saturation regime, balanced photoinduced flows of electrons and holes may transfer to graphene, a mechanism that effectively leads to energy transfer. Using a broad range of photon fluxes and diverse environmental conditions, we find that the presence of net photoinduced charge transfer has no measurable impact on the near-unity photoluminescence quenching efficiency in graphene/MoSe$_2$. This absence of correlation strongly suggests that energy transfer to graphene is the dominant interlayer coupling mechanism between atomically-thin TMDs and graphene.


title: Massive Interacting Yang-Mills Multiplets Nine and Five Dimensions

abstract: We present interacting massive N=1 vector multiplet (VM) in nine dimensions (9D). Due to the identically-vanishing mass-term m(\Bar\lambda \lambda ) \equiv 0 for (symplectic) pseudo-Majorana gaugino in 9D, we employ unconventional technique to give masses to fermions. In 9D, we consider the gauge group G for the VM (A_\mu{}^I, \lambda^I , \varphi^I) (I = 1, 2, \cdots, dim G), where G is the Yang-Mills gauge group, and the gaugino \lambda^I is a pseudo-Majorana spinor. We break G by shifting the scalar \varphi^I, so that the gaugino \lambda^I as well as its super-partner gauge boson A_\mu{}^I will get the same mass. The scalar \varphi^I plays the role of a Nambu-Goldstone boson absorbed into the longitudinal components of A_\mu{}^I$, making the latter massive as a super-Proca-Stueckelberg mechanism. We also show that a similar method can be also applied to N=2 VMs in 5D.


title: Smart elements in combinatorial group testing problems

abstract: In combinatorial group testing problems Questioner needs to find a special element $x \in [n]$ by testing subsets of $[n]$. Tapolcai et al. introduced a new model, where each element knows the answer for those queries that contain it and each element should be able to identify the special one. Using classical results of extremal set theory we prove that if $\mathcal{F}_n \subset 2^{[n]}$ solves the non-adaptive version of this problem and has minimal cardinality, then $$\lim_{n \rightarrow \infty} \frac{|\mathcal{F}_n|}{\log_2 n} = \log_{(3/2)}2.$$ This improves results by Tapolcai et al. We also consider related models inspired by secret sharing models, where the elements should share information among them to find out the special one. Finally the adaptive versions of the different models are investigated.


title: Collapse of Landau levels in Weyl semimetals

abstract: It is known that in two dimensional relativistic Dirac systems, the Landau levels can collapse in the presence of a critical in plane electric field. We extend this mechanism to the three dimensional Weyl semimetals and analyze the physical consequences for the cases of both, real and pseudo Landau levels arising form strain induced elastic magnetic fields.


title: Traffic-aware Patching for Cyber Security in Mobile IoT

abstract: The various types of communication technologies and mobility features in Internet of Things (IoT) on the one hand enable fruitful and attractive applications, but on the other hand facilitates malware propagation, thereby raising new challenges on handling IoT-empowered malware for cyber security. Comparing with the malware propagation control scheme in traditional wireless networks where nodes can be directly repaired and secured, in IoT, compromised end devices are difficult to be patched. Alternatively, blocking malware via patching intermediate nodes turns out to be a more feasible and practical solution. Specifically, patching intermediate nodes can effectively prevent the proliferation of malware propagation by securing infrastructure links and limiting malware propagation to local device-to-device dissemination. This article proposes a novel traffic-aware patching scheme to select important intermediate nodes to patch, which applies to the IoT system with limited patching resources and response time constraint. Experiments on real-world trace datasets in IoT networks are conducted to demonstrate the advantage of the proposed traffic-aware patching scheme in alleviating malware propagation.


title: Mobile Unmanned Aerial Vehicles (UAVs) for Energy-Efficient Internet of Things Communications

abstract: In this paper, the efficient deployment and mobility of multiple unmanned aerial vehicles (UAVs), used as aerial base stations to collect data from ground Internet of Things (IoT) devices, is investigated. In particular, to enable reliable uplink communications for IoT devices with a minimum total transmit power, a novel framework is proposed for jointly optimizing the three-dimensional (3D) placement and mobility of the UAVs, device-UAV association, and uplink power control. First, given the locations of active IoT devices at each time instant, the optimal UAVs' locations and associations are determined. Next, to dynamically serve the IoT devices in a time-varying network, the optimal mobility patterns of the UAVs are analyzed. To this end, based on the activation process of the IoT devices, the time instances at which the UAVs must update their locations are derived. Moreover, the optimal 3D trajectory of each UAV is obtained in a way that the total energy used for the mobility of the UAVs is minimized while serving the IoT devices. Simulation results show that, using the proposed approach, the total transmit power of the IoT devices is reduced by 45% compared to a case in which stationary aerial base stations are deployed. In addition, the proposed approach can yield a maximum of 28% enhanced system reliability compared to the stationary case. The results also reveal an inherent tradeoff between the number of update times, the mobility of the UAVs, and the transmit power of the IoT devices. In essence, a higher number of updates can lead to lower transmit powers for the IoT devices at the cost of an increased mobility for the UAVs.


title: Experimental Quantum Hamiltonian Learning

abstract: Efficiently characterising quantum systems, verifying operations of quantum devices and validating underpinning physical models, are central challenges for the development of quantum technologies and for our continued understanding of foundational physics. Machine-learning enhanced by quantum simulators has been proposed as a route to improve the computational cost of performing these studies. Here we interface two different quantum systems through a classical channel - a silicon-photonics quantum simulator and an electron spin in a diamond nitrogen-vacancy centre - and use the former to learn the latter's Hamiltonian via Bayesian inference. We learn the salient Hamiltonian parameter with an uncertainty of approximately $10^{-5}$. Furthermore, an observed saturation in the learning algorithm suggests deficiencies in the underlying Hamiltonian model, which we exploit to further improve the model itself. We go on to implement an interactive version of the protocol and experimentally show its ability to characterise the operation of the quantum photonic device. This work demonstrates powerful new quantum-enhanced techniques for investigating foundational physical models and characterising quantum technologies.


title: Symplectomorphisms of exotic discs

abstract: We construct a symplectic structure on a disc that admits a compactly supported symplectomorphism which is not smoothly isotopic to the identity. The symplectic structure has an overtwisted concave end; the construction of the symplectomorphism is based on a unitary version of the Milnor-Munkres pairing. En route, we introduce a symplectic analogue of the Gromoll filtration.


title: Demonstration of an ac Josephson junction laser

abstract: Superconducting electronic devices have re-emerged as contenders for both classical and quantum computing due to their fast operation speeds, low dissipation and long coherence times. An ultimate demonstration of coherence is lasing. We use one of the fundamental aspects of superconductivity, the ac Josephson effect, to demonstrate a laser made from a Josephson junction strongly coupled to a multi-mode superconducting cavity. A dc voltage bias to the junction provides a source of microwave photons, while the circuit's nonlinearity allows for efficient down-conversion of higher order Josephson frequencies down to the cavity's fundamental mode. The simple fabrication and operation allows for easy integration with a range of quantum devices, allowing for efficient on-chip generation of coherent microwave photons at low temperatures.


title: A single eletron-photon pair generation from a single polarization-entangled photon pair

abstract: We demonstrate paired generation of a single photo-electron in a quantum dot and a single photon from a single polarization-entangled photon pair that is generated by spontaneous parametric down conversion. The electron is reated in a GaAs quantum dot via inter-band resonantexcitation by irradiating one of the paired photons on the dot, while the remaining photon is detected by a single photon counter. Because the paired photons are generated simultaneously, the photo-electron and the remaining photon should be observed as a coincident event if the traveling distance is equivalent between them. The coincidence is probabilistic due to the probabilistic generation of the paired photon. We observe the probability of finding the photon with the photo-electron detection substantially higher then that without the photo-electron detection and derive the coincident rate comparable to the emission rate of the original photon pairs.


title: A Pulse-Gated, Predictive Neural Circuit

abstract: Recent evidence suggests that neural information is encoded in packets and may be flexibly routed from region to region. We have hypothesized that neural circuits are split into sub-circuits where one sub-circuit controls information propagation via pulse gating and a second sub-circuit processes graded information under the control of the first sub-circuit. Using an explicit pulse-gating mechanism, we have been able to show how information may be processed by such pulse-controlled circuits and also how, by allowing the information processing circuit to interact with the gating circuit, decisions can be made. Here, we demonstrate how Hebbian plasticity may be used to supplement our pulse-gated information processing framework by implementing a machine learning algorithm. The resulting neural circuit has a number of structures that are similar to biological neural systems, including a layered structure and information propagation driven by oscillatory gating with a complex frequency spectrum.


title: Intrinsic Motivation and Automatic Curricula via Asymmetric Self-Play

abstract: We describe a simple scheme that allows an agent to learn about its environment in an unsupervised manner. Our scheme pits two versions of the same agent, Alice and Bob, against one another. Alice proposes a task for Bob to complete; and then Bob attempts to complete the task. In this work we will focus on two kinds of environments: (nearly) reversible environments and environments that can be reset. Alice will "propose" the task by doing a sequence of actions and then Bob must undo or repeat them, respectively. Via an appropriate reward structure, Alice and Bob automatically generate a curriculum of exploration, enabling unsupervised training of the agent. When Bob is deployed on an RL task within the environment, this unsupervised training reduces the number of supervised episodes needed to learn, and in some cases converges to a higher reward.


title: Refined large N duality for knots

abstract: We formulate large $N$ duality of $\mathrm{U}(N)$ refined Chern-Simons theory with a torus knot/link in $S^3$. By studying refined BPS states in M-theory, we provide the explicit form of low-energy effective actions of Type IIA string theory with D4-branes on the $\Omega$-background. This form enables us to relate refined Chern-Simons invariants of a torus knot/link in $S^3$ to refined BPS invariants in the resolved conifold. Assuming that the extra $\mathrm{U}(1)$ global symmetry acts on BPS states trivially, the duality predicts graded dimensions of cohomology groups of moduli spaces of M2-M5 bound states associated to a torus knot/link in the resolved conifold. Thus, this formulation can be interpreted as a positivity conjecture of refined Chern-Simons invariants of torus knots/links. We also discuss about an extension to non-torus knots.


title: On trees with real rooted independence polynomial

abstract: The independence polynomial of a graph $G$ is \[I(G,x)=\sum\limits_{k\ge 0}i_k(G)x^k,\] where $i_k(G)$ denotes the number of independent sets of $G$ of size $k$ (note that $i_0(G)=1$). In this paper we show a new method to prove real-rootedness of the independence polynomials of certain families of trees. In particular we will give a new proof of the real-rootedness of the independence polynomials of centipedes (Zhu's theorem), caterpillars (Wang and Zhu's theorem), and we will prove a conjecture of Galvin and Hilyard about the real-rootedness of the independence polynomial of the so-called Fibonacci trees.


title: Languages of Play: Towards semantic foundations for game interfaces

abstract: Formal models of games help us account for and predict behavior, leading to more robust and innovative designs. While the games research community has proposed many formalisms for both the "game half" (game models, game description languages) and the "human half" (player modeling) of a game experience, little attention has been paid to the interface between the two, particularly where it concerns the player expressing her intent toward the game. We describe an analytical and computational toolbox based on programming language theory to examine the phenomenon sitting between control schemes and game rules, which we identify as a distinct player intent language for each game.


title: Aggregation of Classifiers: A Justifiable Information Granularity Approach

abstract: In this study, we introduce a new approach to combine multi-classifiers in an ensemble system. Instead of using numeric membership values encountered in fixed combining rules, we construct interval membership values associated with each class prediction at the level of meta-data of observation by using concepts of information granules. In the proposed method, uncertainty (diversity) of findings produced by the base classifiers is quantified by interval-based information granules. The discriminative decision model is generated by considering both the bounds and the length of the obtained intervals. We select ten and then fifteen learning algorithms to build a heterogeneous ensemble system and then conducted the experiment on a number of UCI datasets. The experimental results demonstrate that the proposed approach performs better than the benchmark algorithms including six fixed combining methods, one trainable combining method, AdaBoost, Bagging, and Random Subspace.


title: On Perfect Matchings in Matching Covered Graphs

abstract: Let $G$ be a matching-covered graph, i.e., every edge is contained in a perfect matching. An edge subset $X$ of $G$ is feasible if there exists two perfect matchings $M_1$ and $M_2$ such that $|M_1\cap X|\not\equiv |M_2\cap X| \pmod 2$. Lukot'ka and Rollov\'a proved that an edge subset $X$ of a regular bipartite graph is not feasible if and only if $X$ is switching-equivalent to $\emptyset$, and they further ask whether a non-feasible set of a regular graph of class 1 is always switching-equivalent to either $\emptyset$ or $E(G)$? Two edges of $G$ are equivalent to each other if a perfect matching $M$ of $G$ either contains both of them or contains none of them. An equivalent class of $G$ is an edge subset $K$ with at least two edges such that the edges of $K$ are mutually equivalent. An equivalent class is not a feasible set. Lov\'asz proved that an equivalent class of a brick has size 2. In this paper, we show that, for every integer $k\ge 3$, there exist infinitely many $k$-regular graphs of class 1 with an arbitrarily large equivalent class $K$ such that $K$ is not switching-equivalent to either $\emptyset$ or $E(G)$, which provides a negative answer to the problem proposed by Lukot'ka and Rollov\'a. Further, we characterize bipartite graphs with equivalent class, and characterize matching-covered bipartite graphs of which every edge is removable.


title: General expression for the component size distribution in infinite configuration networks

abstract: In the infinite configuration network the links between nodes are assigned randomly with the only restriction that the degree distribution has to match a predefined function. This work presents a simple equation that gives for an arbitrary degree distribution the corresponding size distribution of connected components. This equation is suitable for fast and stable numerical computations up to the machine precision. The analytical analysis reveals that the asymptote of the component size distribution is completely defined by only a few parameters of the degree distribution: the first three moments, scale and exponent (if applicable). When the degree distribution features a heavy tail, multiple asymptotic modes are observed in the component size distribution that, in turn, may or may not feature a heavy tail.


title: A Multitaper, Causal Decomposition for Stochastic, Multivariate Time Series: Application to High-Frequency Calcium Imaging Data

abstract: Neural data analysis has increasingly incorporated causal information to study circuit connectivity. Dimensional reduction forms the basis of most analyses of large multivariate time series. Here, we present a new, multitaper-based decomposition for stochastic, multivariate time series that acts on the covariance of the time series at all lags, $C(\tau)$, as opposed to standard methods that decompose the time series, $\mathbf{X}(t)$, using only information at zero-lag. In both simulated and neural imaging examples, we demonstrate that methods that neglect the full causal structure may be discarding important dynamical information in a time series.


title: New constraints on binary evolution enhance the supernova type Ia rate

abstract: Even though Type Ia supernovae (SNIa) play an important role in many fields in astronomy, the nature of the progenitors of SNIa remain a mystery. One of the classical evolutionary pathways towards a SNIa explosion is the single degenerate (SD) channel, in which a carbon-oxygen white dwarf accretes matter from its non-degenerate companion until it reaches the Chandrasekhar mass. Constraints on the contribution from the SD channel to the overall SNIa rate come from a variety of methods, e.g. from abundances, from signatures of the companion star in the light curve or near the SNIa remnant, and from synthetic SNIa rates. In this proceedings, I show that when incorporating our newest understandings of binary evolution, the SNIa rate from the single degenerate channel is enhanced. I also discuss the applicability of these constraints on the evolution of SNIa progenitors.


title: An exactly solvable model for Dynamic Nuclear polarization

abstract: We introduce a solvable model of driven fermions that elucidates the role of the localization transition in driven disordered magnets, as used in the context of dynamic nuclear polarization. Instead of spins, we study a set of non-interacting fermions that are coupled locally to nuclear spins and tend to hyperpolarize them. The induced hyperpolarization is a fingerprint of the driven steady state of the fermions, which undergo an Anderson Localization (AL) transition upon increasing the disorder. Our central result is that the maximal hyperpolarization level is always found close to the localization transition. In the limit of small nuclear moments the maximum is pinned to the transition, and the hyperpolarization is strongly enhanced by multi-fractal correlations in the critical state of the nearly localized driven system, its magnitude reflecting multi-fractal scaling.


title: Self-consistent radiative corrections to false vacuum decay

abstract: With the Higgs mass now measured at the sub-percent level, the potential metastability of the electroweak vacuum of the Standard Model (SM) motivates renewed study of false vacuum decay in quantum field theory. In this note, we describe an approach to calculating quantum corrections to the decay rate of false vacua that is able to account fully and self-consistently for the underlying inhomogeneity of the solitonic tunneling configuration. We show that this method can be applied both to theories in which the instability arises already at the level of the classical potential and those in which the instability arises entirely through radiative effects, as is the case for the SM Higgs vacuum. We analyse two simple models in the thin-wall regime, and we show that the modifications of the one-loop corrections from accounting fully for the inhomogeneity can compete at the same level as the two-loop homogeneous corrections.


title: A Local Algorithm for the Sparse Spanning Graph Problem

abstract: Constructing a sparse spanning subgraph is a fundamental primitive in graph theory. In this paper, we study this problem in the Centralized Local model, where the goal is to decide whether an edge is part of the spanning subgraph by examining only a small part of the input; yet, answers must be globally consistent and independent of prior queries. Unfortunately, maximally sparse spanning subgraphs, i.e., spanning trees, cannot be constructed efficiently in this model. Therefore, we settle for a spanning subgraph containing at most $(1+\varepsilon)n$ edges (where $n$ is the number of vertices and $\varepsilon$ is a given approximation/sparsity parameter). We achieve query complexity of $\tilde{O}(poly(\Delta/\varepsilon)n^{2/3})$, ($\tilde{O}$-notation hides polylogarithmic factors in $n$). where $\Delta$ is the maximum degree of the input graph. Our algorithm is the first to do so on arbitrary bounded degree graphs. Moreover, we achieve the additional property that our algorithm outputs a spanner, i.e., distances are approximately preserved. With high probability, for each deleted edge there is a path of $O(poly(\Delta/\varepsilon)\log^2 n)$ hops in the output that connects its endpoints.


title: Dark-ages reionization and galaxy formation simulation XI: Clustering and halo masses of high redshift galaxies

abstract: We investigate the clustering properties of Lyman-break galaxies (LBGs) at $z\sim6$ - $8$. Using the semi-analytical model {\scshape Meraxes} constructed as part of the Dark-ages Reionization And Galaxy-formation Observables from Numerical Simulation (DRAGONS) project, we predict the angular correlation function (ACF) of LBGs at $z\sim6$ - $8$. Overall, we find that the predicted ACFs are in good agreement with recent measurements at $z\sim 6$ and $z\sim 7.2$ from observations consisting of the Hubble eXtreme Deep Field (XDF), the Hubble Ultra-Deep Field (HUDF) and Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey (CANDELS) field. We confirm the dependence of clustering on luminosity, with more massive dark matter haloes hosting brighter galaxies, remains valid at high redshift. The predicted galaxy bias at fixed luminosity is found to increase with redshift, in agreement with observations. We find that LBGs of magnitude $M_{{\rm AB(1600)}} < -19.4$ at $6\lesssim z \lesssim 8$ reside in dark matter haloes of mean mass $\sim 10^{11.0}$- $10^{11.5} M_{\rm \odot}$, and this dark matter halo mass does not evolve significantly during reionisation.


title: Genus growth in $\mathbb{Z}_p$-towers of function fields

abstract: Let $K$ be a function field over a finite field $k$ of characteristic $p$ and let $K_{\infty}/K$ be a geometric extension with Galois group $\mathbb{Z}_p$. Let $K_n$ be the corresponding subextension with Galois group $\mathbb{Z}/p^n\mathbb{Z}$ and genus $g_n$. In this paper, we give a simple explicit formula $g_n$ in terms of an explicit Witt vector construction of the $\mathbb{Z}_p$-tower. This formula leads to a tight lower bound on $g_n$ which is quadratic in $p^n$. Furthermore, we determine all $\mathbb{Z}_p$-towers for which the genus sequence is stable, in the sense that there are $a,b,c \in \mathbb{Q}$ such that $g_n=a p^{2n}+b p^n +c$ for $n$ large enough. Such genus stable towers are expected to have strong stable arithmetic properties for their zeta functions. A key technical contribution of this work is a new simplified formula for the Schmid-Witt symbol coming from local class field theory.


title: Tangent cones and $C^1$ regularity of definable sets

abstract: Let $X\subset \mathbb R^n$ be a connected locally closed definable set in an o-minimal structure. We prove that the following three statements are equivalent: (i) $X$ is a $C^1$ manifold, (ii) the tangent cone and the paratangent cone of $X$ coincide at every point in $X$, (iii) for every $x \in X$, the tangent cone of $X$ at the point $x$ is a $k$-dimensional linear subspace of $\mathbb R^n$ ($k$ does not depend on $x$) varies continuously in $x$, and the density $\theta(X, x) < 3/2$.


title: Large Scale Evolution of Convolutional Neural Networks Using Volunteer Computing

abstract: This work presents a new algorithm called evolutionary exploration of augmenting convolutional topologies (EXACT), which is capable of evolving the structure of convolutional neural networks (CNNs). EXACT is in part modeled after the neuroevolution of augmenting topologies (NEAT) algorithm, with notable exceptions to allow it to scale to large scale distributed computing environments and evolve networks with convolutional filters. In addition to multithreaded and MPI versions, EXACT has been implemented as part of a BOINC volunteer computing project, allowing large scale evolution. During a period of two months, over 4,500 volunteered computers on the Citizen Science Grid trained over 120,000 CNNs and evolved networks reaching 98.32% test data accuracy on the MNIST handwritten digits dataset. These results are even stronger as the backpropagation strategy used to train the CNNs was fairly rudimentary (ReLU units, L2 regularization and Nesterov momentum) and these were initial test runs done without refinement of the backpropagation hyperparameters. Further, the EXACT evolutionary strategy is independent of the method used to train the CNNs, so they could be further improved by advanced techniques like elastic distortions, pretraining and dropout. The evolved networks are also quite interesting, showing "organic" structures and significant differences from standard human designed architectures.


title: End-to-end optimization of goal-driven and visually grounded dialogue systems

abstract: End-to-end design of dialogue systems has recently become a popular research topic thanks to powerful tools such as encoder-decoder architectures for sequence-to-sequence learning. Yet, most current approaches cast human-machine dialogue management as a supervised learning problem, aiming at predicting the next utterance of a participant given the full history of the dialogue. This vision is too simplistic to render the intrinsic planning problem inherent to dialogue as well as its grounded nature, making the context of a dialogue larger than the sole history. This is why only chit-chat and question answering tasks have been addressed so far using end-to-end architectures. In this paper, we introduce a Deep Reinforcement Learning method to optimize visually grounded task-oriented dialogues, based on the policy gradient algorithm. This approach is tested on a dataset of 120k dialogues collected through Mechanical Turk and provides encouraging results at solving both the problem of generating natural dialogues and the task of discovering a specific object in a complex picture.


title: Partially Replicated Causally Consistent Shared Memory: Lower Bounds and An Algorithm

abstract: The focus of this paper is on causal consistency in a {\em partially replicated} distributed shared memory (DSM) system that provides the abstraction of shared read/write registers. Maintaining causal consistency in distributed shared memory systems has received significant attention in the past, mostly on {\em full replication} wherein each replica stores a copy of all the registers in the shared memory. To ensure causal consistency, all causally preceding updates must be performed before an update is performed at any given replica. Therefore, some mechanism for tracking causal dependencies is required, such as vector timestamps with the number of vector elements being equal to the number of replicas in the context of full replication. In this paper, we investigate causal consistency in {\em partially replicated systems}, wherein each replica may store only a subset of the shared registers. Building on the past work, this paper makes three key contributions: 1. We present a necessary condition on the metadata (which we refer as a {\em timestamp}) that must be maintained by each replica to be able to track causality accurately. The necessary condition identifies a set of directed edges in a {\em share graph} that a replica's timestamp must keep track of. 2. We present an algorithm for achieving causal consistency using a timestamp that matches the above necessary condition, thus showing that the condition is necessary and sufficient. 3. We define a measurement of timestamp space size and present a lower bound (in bits) on the size of the timestamps. The lower bound matches our algorithm in several special cases.


title: Many-Body Localization in Spin Chain Systems with Quasiperiodic Fields

abstract: We study the many-body localization of spin chain systems with quasiperiodic fields. We identify the lower bound for the critical disorder necessary to drive the transition between the thermal and many-body localized phase to be $W_{cl}\sim 1.85$, based on finite-size scaling of entanglement entropy and fluctuations of the bipartite magnetization. We also examine the time evolution of the entanglement entropy of an initial product state where we find power-law and logarithmic growth for the thermal and many-body localized phases, respectively. For larger disorder strength, both imbalance and spin glass order are preserved at long times, while spin glass order shows dependence on system size. Quasiperiodic fields have been applied in different experimental systems and our study finds that such fields are very efficient at driving the MBL phase transition.


title: Parallel Device-Independent Quantum Key Distribution

abstract: A prominent application of quantum cryptography is the distribution of cryptographic keys that are provably secure. Recently, such security proofs were extended by Vazirani and Vidick (Physical Review Letters, 113, 140501, 2014) to the device-independent (DI) scenario, where the users do not need to trust the integrity of the underlying quantum devices. The protocols analyzed by them and by subsequent authors all require a sequential execution of N multiplayer games, where N is the security parameter. In this work, we prove unconditional security of a protocol where all games are executed in parallel. Besides decreasing the number of time-steps necessary for key generation, this result reduces the security requirements for DI-QKD by allowing arbitrary information leakage of each user's inputs within his or her lab. To the best of our knowledge, this is the first parallel security proof for a fully device-independent QKD protocol. Our protocol tolerates a constant level of device imprecision and achieves a linear key rate.


title: Families in posets minimizing the number of comparable pairs

abstract: Given a poset $P$ we say a family $\mathcal{F}\subseteq P$ is centered if it is obtained by `taking sets as close to the middle layer as possible'. A poset $P$ is said to have the centeredness property if for any $M$, among all families of size $M$ in $P$, centered families contain the minimum number of comparable pairs. Kleitman showed that the Boolean lattice $\{0,1\}^n$ has the centeredness property. It was conjectured by Noel, Scott, and Sudakov, and by Balogh and Wagner, that the poset $\{0,1,\ldots,k\}^n$ also has the centeredness property, provided $n$ is sufficiently large compared to $k$. We show that this conjecture is false for all $k\geq 2$ and investigate the range of $M$ for which it holds. Further, we improve a result of Noel, Scott, and Sudakov by showing that the poset of subspaces of $\mathbb{F}_q^n$ has the centeredness property. Several open questions are also given.


title: A neural marker of obsessive-compulsive disorder from whole-brain functional connectivity

abstract: Obsessive-compulsive disorder (OCD) is a common psychiatric disorder with a lifetime prevalence of 2-3 percent. Recently, brain activity in the resting state is gathering attention as a new means of exploring altered functional connectivity in psychiatric disorders. Although previous resting-state functional magnetic resonance imaging studies investigated neurobiological abnormalities of patients with OCD, there are concerns that should be addressed. One concern is the validity of the hypothesis employed. Most studies used seed-based analysis of the fronto-striatal circuit, despite the potential for abnormalities in other regions. A hypothesis-free study is a promising approach in such a case, while it requires researchers to handle a dataset with large dimensions. Another concern is the reliability of biomarkers derived from a single dataset, which may be influenced by cohort-specific features. Here, by employing a recently developed machine-learning algorithm to avoid these concerns, we identified the first OCD biomarker that is generalized to an external dataset. We also demonstrated that the functional connectivities that contributed to the classification were widely distributed rather than locally constrained. Our generalizable classifier has the potential not only to deepen our understanding of the abnormal neural substrates of OCD but also to find use in clinical applications.


title: Updated Results of a Solid-State Sensor Irradiation Study for ILC Extreme Forward Calorimetry

abstract: Detectors proposed for the International Linear Collider (ILC) incorporate a tungsten sampling calorimeter (`BeamCal') intended to reconstruct showers of electrons, positrons and photons that emerge from the interaction point of the collider with angles between 5 and 50 milliradians. For the innermost radius of this calorimeter, radiation doses at shower max are expected to reach 100 Mrad per year, primarily due to minimum-ionizing electrons and positrons that arise in the induced electromagnetic showers of e$^+$e$^-$ `beamstrahlung' pairs produced in the ILC beam-beam interaction. However, radiation damage to calorimeter sensors may be dominated by hadrons induced by nuclear interactions of shower photons, which are much more likely to contribute to the non-ionizing energy loss that has been observed to damage sensors exposed to hadronic radiation. We report here on prior highlights and recent results of SLAC Experiment T-506, for which several different types of semiconductor sensors were exposed to doses of radiation induced by showering electrons of energy 3.5-13.3 GeV. By embedding the sensor under irradiation within a tungsten radiator, the exposure incorporated hadronic species that would potentially contribute to the degradation of a sensor mounted in a precision sampling calorimeter. Depending on sensor technology, significant post-irradiation charge collection was observed for doses of several hundred Mrad.


title: Cost-complexity pruning of random forests

abstract: Random forests perform bootstrap-aggregation by sampling the training samples with replacement. This enables the evaluation of out-of-bag error which serves as a internal cross-validation mechanism. Our motivation lies in using the unsampled training samples to improve each decision tree in the ensemble. We study the effect of using the out-of-bag samples to improve the generalization error first of the decision trees and second the random forest by post-pruning. A preliminary empirical study on four UCI repository datasets show consistent decrease in the size of the forests without considerable loss in accuracy.


title: Branching Systems for Higher-Rank Graph C*-algebras

abstract: We define branching systems for finitely aligned higher-rank graphs. From these we construct concrete representations of higher-rank graph C*-algebras on Hilbert spaces. We prove a generalized Cuntz-Krieger uniqueness theorem for periodic single-vertex 2-graphs. We use this result to give a sufficient condition under which representations of periodic single-vertex 2-graph C*-algebras arising from branching systems are faithful.


abstract: In this paper, Lie super-bialgebra structures on a class of generalized super $W$-algebra $\mathfrak{L}$ are investigated. By proving the first cohomology group of $\mathfrak{L}$ with coefficients in its adjoint tensor module is trivial, namely, $H^1(\mathfrak{L},\mathfrak{L}\otimes {\mathfrak{L}})=0$, we obtain that all Lie super-bialgebra structures on $\mathfrak{L}$ are triangular coboundary.


title: Tropical gluing formulae for Gromov-Witten invariants

abstract: We prove two tropical gluing formulae for Gromov-Witten invariants of exploded manifolds, useful for calculating Gromov-Witten invariants of a symplectic manifold using a normal-crossing degeneration. The first formula generalizes the symplectic-sum formula for Gromov-Witten invariants. The second formula is stronger, and also generalizes Kontsevich and Manin's splitting and genus-reduction axioms. Both tropical gluing formulae have versions incorporating gravitational descendants.


title: On $p$-adic multiple Barnes-Euler zeta functions and the corresponding log gamma functions

abstract: Suppose that $\omega_1,\ldots,\omega_N$ are positive real numbers and $x$ is a complex number with positive real part. The multiple Barnes-Euler zeta function $\zeta_{E,N}(s,x;\bar\omega)$ with parameter vector $\bar\omega=(\omega_1,\ldots,\omega_N)$ is defined as a deformation of the Barnes multiple zeta function as follows $$ \zeta_{E,N}(s,x;\bar\omega)=\sum_{t_1=0}^\infty\cdots\sum_{t_N=0}^\infty \frac{(-1)^{t_1+\cdots+t_N}}{(x+\omega_1t_1+\cdots+\omega_Nt_N)^s}. $$ In this paper, based on the fermionic $p$-adic integral, we define the $p$-adic analogue of multiple Barnes-Euler zeta function $\zeta_{E,N}(s,x;\bar\omega)$ which we denote by $\zeta_{p,E,N}(s,x;\bar\omega).$ We prove several properties of $\zeta_{p,E,N}(s,x; \bar\omega)$, including the convergent Laurent series expansion, the distribution formula, the difference equation, the reflection functional equation and the derivative formula. By computing the values of this kind of $p$-adic zeta function at nonpositive integers, we show that it interpolates the higher order Euler polynomials $E_{N,n}(x;\bar\omega)$ $p$-adically. Furthermore, we define the corresponding multiple $p$-adic Diamond-Euler Log Gamma function. We also show that the multiple $p$-adic Diamond-Euler Log Gamma function ${\rm Log}\, \Gamma_{\! D,E,N}(x;\bar\omega)$ has an integral representation by the multiple fermionic $p$-adic integral, and it satisfies the distribution formula, the difference equation, the reflection functional equation, the derivative formula and also the Stirling's series expansions.


title: Proof of Luck: an Efficient Blockchain Consensus Protocol

abstract: In the paper, we present designs for multiple blockchain consensus primitives and a novel blockchain system, all based on the use of trusted execution environments (TEEs), such as Intel SGX-enabled CPUs. First, we show how using TEEs for existing proof of work schemes can make mining equitably distributed by preventing the use of ASICs. Next, we extend the design with proof of time and proof of ownership consensus primitives to make mining energy- and time-efficient. Further improving on these designs, we present a blockchain using a proof of luck consensus protocol. Our proof of luck blockchain uses a TEE platform's random number generation to choose a consensus leader, which offers low-latency transaction validation, deterministic confirmation time, negligible energy consumption, and equitably distributed mining. Lastly, we discuss a potential protection against up to a constant number of compromised TEEs.