title: Some observations on the logical foundations of inductive theorem proving

abstract: In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a goal. Based on this model, we then analyze the following aspects: the choice of a proof shape, the choice of an induction rule and the language of the induction formula. In particular, using model-theoretic techniques, we clarify the relationship between notions of inductiveness that have been considered in the literature on automated inductive theorem proving. This is a corrected version of the paper arXiv:1704.01930v5 published originally on Nov.~16, 2017.


title: Evolution of eccentricity and inclination of hot protoplanets embedded in radiative discs

abstract: We study the evolution of the eccentricity and inclination of protoplanetary embryos and low-mass protoplanets (from a fraction of an Earth mass to a few Earth masses) embedded in a protoplanetary disc, by means of three dimensional hydrodynamics calculations with radiative transfer in the diffusion limit. When the protoplanets radiate in the surrounding disc the energy released by the accretion of solids, their eccentricity and inclination experience a growth toward values which depend on the luminosity to mass ratio of the planet, which are comparable to the disc's aspect ratio and which are reached over timescales of a few thousand years. This growth is triggered by the appearance of a hot, under-dense region in the vicinity of the planet. The growth rate of the eccentricity is typically three times larger than that of the inclination. In long term calculations, we find that the excitation of eccentricity and the excitation of inclination are not independent. In the particular case in which a planet has initially a very small eccentricity and inclination, the eccentricity largely overruns the inclination. When the eccentricity reaches its asymptotic value, the growth of inclination is quenched, yielding an eccentric orbit with a very low inclination. As a side result, we find that the eccentricity and inclination of non-luminous planets are damped more vigorously in radiative discs than in isothermal discs.


title: Estimaci\'on de la inicial de referencia utilizando simulaci\'on

abstract: The method proposed by Bernardo and Smith [2000] to approximate reference priors by simulation was analyzed with the objective of improving the procedure in order to obtain consistent estimators and to allow the estimation of asymptotic probability intervals. In this sense, the variance of Bernardo's estimator was derived and was used to construct probability intervals that permitted the expression of the estimation error as a function of sample size. Additionally a variance reduction technique (common random numbers) were explored as a means to obtain more precise estimations with smaller sample sizes. These technique was found to considerably reduce estimation error for some of the examples explored. In other cases the use of the technique resulted in zero estimation error given that the estimator does not depend on the sample.


title: Gibbs measures and free energies of Ising-Vannimenus Model on the Cayley tree

abstract: In this paper, we consider the Ising-Vannimenus model on a Cayley tree for order two with competing nearest-neighbor and prolonged next-nearest neighbor interactions. We stress that the mentioned model was investigated only numerically, without rigorous (mathematical) proofs. One of the main points of this paper is to propose a measure-theoretical approach for the considered model. We find certain conditions for the existence of Gibbs measures corresponding to the model, which allowed to establish the existence of the phase transition. Moreover, the free energies and entropies, associated with translation invariant Gibbs measures, are calculated.


title: Nonlinear Field Space Cosmology

abstract: We consider the FRW cosmological model in which the matter content of universe (playing a role of inflaton or quintessence) is given by a novel generalization of the massive scalar field. The latter is a scalar version of the recently introduced Nonlinear Field Space Theory (NFST), where physical phase space of a given field is assumed to be compactified at large energies. For our analysis we choose the simple case of a field with the spherical phase space and endow it with the generalized Hamiltonian analogous to the XXZ Heisenberg model, normally describing a system of spins in condensed matter physics. Subsequently, we study both the homogenous cosmological sector and linear perturbations of such a test field. In the homogenous sector we find that nonlinearity of the field phase space is becoming relevant for large volumes of universe and then it can lead to a recollapse, and possibly also at very high energies, leading to the phase of a bounce. Quantization of the field is performed in the limit where nontrivial nature of its phase space can be neglected, while there is a non-vanishing contribution from the Lorentz symmetry breaking term of the Hamiltonian. As a result, in the leading order of the XXZ anisotropy parameter, we find that the inflationary spectral index remains unmodified with respect to the standard case but the total amplitude of perturbations is subject to a correction. The Bunch-Davies vacuum state also becomes appropriately corrected. The proposed new approach is bringing cosmology and condensed matter physics closer together, which may turn out to be beneficial for both disciplines.


title: Operational one-to-one mapping between coherence and entanglement measures

abstract: We establish a general operational one-to-one mapping between coherence measures and entanglement measures: Any entanglement measure of bipartite pure states is the minimum of a suitable coherence measure over product bases. Any coherence measure of pure states, with extension to mixed states by convex roof, is the maximum entanglement generated by incoherent operations acting on the system and an incoherent ancilla. Remarkably, the generalized CNOT gate is the universal optimal incoherent operation. In this way, all convex-roof coherence measures, including the coherence of formation, are endowed with (additional) operational interpretations. By virtue of this connection, many results on entanglement can be translated to the coherence setting, and vice versa. As applications, we provide tight observable lower bounds for generalized entanglement concurrence and coherence concurrence, which enable experimentalists to quantify entanglement and coherence of the maximal dimension in real experiments.


title: Extreme waves and branching flows in optical media

abstract: We address light propagation properties in complex media consisting of random distributions of lenses that have specific focusing properties. We present both analytical and numerical techniques that can be used to study emergent properties of light organization in these media. As light propagates, it experiences multiple scattering leading to the formation of light bundles in the form of branches; these are random yet occur systematically in the the medium, particularly in the weak scattering limit. On the other hand, in the strong scattering limit we find that coalescence of branches may lead to the formation of extreme waves of the "rogue wave" type. These waves appear at specific locations and arise in the linear as well as in the nonlinear regimes. We present both the weak and strong scattering limit and show that these complex phenomena can be studied numerically and analytically through simple models.


title: Promise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean Dichotomy

abstract: A classic result due to Schaefer (1978) classifies all constraint satisfaction problems (CSPs) over the Boolean domain as being either in $\mathsf{P}$ or $\mathsf{NP}$-hard. This paper considers a promise-problem variant of CSPs called PCSPs. A PCSP over a finite set of pairs of constraints $\Gamma$ consists of a pair $(\Psi_P, \Psi_Q)$ of CSPs with the same set of variables such that for every $(P, Q) \in \Gamma$, $P(x_{i_1}, ..., x_{i_k})$ is a clause of $\Psi_P$ if and only if $Q(x_{i_1}, ..., x_{i_k})$ is a clause of $\Psi_Q$. The promise problem $\operatorname{PCSP}(\Gamma)$ is to distinguish, given $(\Psi_P, \Psi_Q)$, between the cases $\Psi_P$ is satisfiable and $\Psi_Q$ is unsatisfiable. Many natural problems including approximate graph and hypergraph coloring can be placed in this framework. This paper is motivated by the pursuit of understanding the computational complexity of Boolean promise CSPs. As our main result, we show that $\operatorname{PCSP}(\Gamma)$ exhibits a dichotomy (it is either polynomial time solvable or $\mathsf{NP}$-hard) when the relations in $\Gamma$ are symmetric and allow for negations of variables. We achieve our dichotomy theorem by extending the weak polymorphism framework of Austrin, Guruswami, and H\aa stad [FOCS '14] which itself is a generalization of the algebraic approach to study CSPs. In both the algorithm and hardness portions of our proof, we incorporate new ideas and techniques not utilized in the CSP case. Furthermore, we show that the computational complexity of any promise CSP (over arbitrary finite domains) is captured entirely by its weak polymorphisms, a feature known as Galois correspondence, as well as give necessary and sufficient conditions for the structure of this set of weak polymorphisms. Such insights call us to question the existence of a general dichotomy for Boolean PCSPs.


title: The Interplay of Semantics and Morphology in Word Embeddings

abstract: We explore the ability of word embeddings to capture both semantic and morphological similarity, as affected by the different types of linguistic properties (surface form, lemma, morphological tag) used to compose the representation of each word. We train several models, where each uses a different subset of these properties to compose its representations. By evaluating the models on semantic and morphological measures, we reveal some useful insights on the relationship between semantics and morphology.


title: Adaptive mesh selection asymptotically guarantees a prescribed local error for systems of initial value problems

abstract: We study adaptive mesh selection for the solution of systems of initial value problems. The goal is a rigorous theoretical analysis of potential advantages of adaption. For an optimal method in the sense of the speed of convergence, we propose an algorithm for successive selection of the mesh points. The selection is based on an upper bound on the local error, and it (asymptotically) guarantees the local errors not exceeding a prescribed level. The mesh selection algorithm can be applied to a general class of methods, not only to the chosen one. We rigorously discuss the cost of the proposed algorithm, comparing it to other algorithms equipped with different mesh selection procedures. We specify a quantitative advantage of the adaptive mesh over the uniform one. Adjustment of the mesh points to a local behavior of the solution yields improved efficiency of the algorithm. Some numerical results illustrating theoretical findings are reported.


title: Mapping $n$ grid points onto a square forces an arbitrarily large Lipschitz constant

abstract: We prove that the regular $n\times n$ square grid of points in the integer lattice $\mathbb{Z}^{2}$ cannot be recovered from an arbitrary $n^{2}$-element subset of $\mathbb{Z}^{2}$ via a mapping with prescribed Lipschitz constant (independent of $n$). This answers negatively a question of Feige from 2002. Our resolution of Feige's question takes place largely in a continuous setting and is based on some new results for Lipschitz mappings falling into two broad areas of interest, which we study independently. Firstly the present work contains a detailed investigation of Lipschitz regular mappings on Euclidean spaces, with emphasis on their bilipschitz decomposability in a sense comparable to that of the well known result of Jones. Secondly, we build on work of Burago and Kleiner and McMullen on non-realisable densities. We verify the existence, and further prevalence, of strongly non-realisable densities inside spaces of continuous functions.


title: Calibrating photometric redshifts with intensity mapping observations

abstract: Imaging surveys of galaxies will have a high number density and angular resolution yet a poor redshift precision. Intensity maps of neutral hydrogen (HI) will have accurate redshift resolution yet will not resolve individual sources. Using this complementarity, we show how the clustering redshifts approach, proposed for spectroscopic surveys can also be used in combination with intensity mapping observations to calibrate the redshift distribution of galaxies in an imaging survey and, as a result, reduce uncertainties in photometric redshift measurements. We show how the intensity mapping surveys to be carried out with the MeerKAT, HIRAX and SKA instruments can improve photometric redshift uncertainties to well below the requirements of DES and LSST. The effectiveness of this method as a function of instrumental parameters, foreground subtraction and other potential systematic errors is discussed in detail.


title: ActiVis: Visual Exploration of Industry-Scale Deep Neural Network Models

abstract: While deep learning models have achieved state-of-the-art accuracies for many prediction tasks, understanding these models remains a challenge. Despite the recent interest in developing visual tools to help users interpret deep learning models, the complexity and wide variety of models deployed in industry, and the large-scale datasets that they used, pose unique design challenges that are inadequately addressed by existing work. Through participatory design sessions with over 15 researchers and engineers at Facebook, we have developed, deployed, and iteratively improved ActiVis, an interactive visualization system for interpreting large-scale deep learning models and results. By tightly integrating multiple coordinated views, such as a computation graph overview of the model architecture, and a neuron activation view for pattern discovery and comparison, users can explore complex deep neural network models at both the instance- and subset-level. ActiVis has been deployed on Facebook's machine learning platform. We present case studies with Facebook researchers and engineers, and usage scenarios of how ActiVis may work with different models.


title: Matrix Product Representation of Locality Preserving Unitaries

abstract: The matrix product representation provides a useful formalism to study not only entangled states, but also entangled operators in one dimension. In this paper, we focus on unitary transformations and show that matrix product operators that are unitary provides a necessary and sufficient representation of 1D unitaries that preserve locality. That is, we show that matrix product operators that are unitary are guaranteed to preserve locality by mapping local operators to local operators while at the same time all locality preserving unitaries can be represented in a matrix product way. Moreover, we show that the matrix product representation gives a straight-forward way to extract the GNVW index defined in Ref.\cite{Gross2012} for classifying 1D locality preserving unitaries. The key to our discussion is a set of `fixed point' conditions which characterize the form of the matrix product unitary operators after blocking sites. Finally, we show that if the unitary condition is relaxed and only required for certain system sizes, the matrix product operator formalism allows more possibilities than locality preserving unitaries. In particular, we give an example of a simple matrix product operator which is unitary only for odd system sizes, does not preserve locality and carries a `fractional' index as compared to their locality preserving counterparts.


title: The quality of priority ratios estimation in relation to a selected prioritization procedure and consistency measure for a Pairwise Comparison Matrix

abstract: An overview of current debates and contemporary research devoted to the modeling of decision making processes and their facilitation directs attention to the Analytic Hierarchy Process (AHP). At the core of the AHP are various prioritization procedures (PPs) and consistency measures (CMs) for a Pairwise Comparison Matrix (PCM) which, in a sense, reflects preferences of decision makers. Certainly, when judgments about these preferences are perfectly consistent (cardinally transitive), all PPs coincide and the quality of the priority ratios (PRs) estimation is exemplary. However, human judgments are very rarely consistent, thus the quality of PRs estimation may significantly vary. The scale of these variations depends on the applied PP and utilized CM for a PCM. This is why it is important to find out which PPs and which CMs for a PCM lead directly to an improvement of the PRs estimation accuracy. The main goal of this research is realized through the properly designed, coded and executed seminal and sophisticated simulation algorithms in Wolfram Mathematica 8.0. These research results convince that the embedded in the AHP and commonly applied, both genuine PP and CM for PCM may significantly deteriorate the quality of PRs estimation; however, solutions proposed in this paper can significantly improve the methodology.


title: Implementing random unitaries in an imperfect photonic network

abstract: We numerically investigate the implementation of Haar-random unitarity transformations and Fourier transformations in photonic devices consisting of beam splitters and phase shifters, which are used for integrated photonics implementations of boson sampling. The distribution of reflectivities required to implement an arbitrary unitary transformation is skewed towards low values, and this skew becomes stronger the larger the number of modes. A realistic implementation using Mach-Zehnder interferometers is incapable of doing this perfectly and thus has limited fidelity. We show that numerical optimisation and adding extra beam splitters to the network can help to restore fidelity.


title: From Data to City Indicators: A Knowledge Graph for Supporting Automatic Generation of Dashboards

abstract: In the context of Smart Cities, indicator definitions have been used to calculate values that enable the comparison among different cities. The calculation of an indicator values has challenges as the calculation may need to combine some aspects of quality while addressing different levels of abstraction. Knowledge graphs (KGs) have been used successfully to support flexible representation, which can support improved understanding and data analysis in similar settings. This paper presents an operational description for a city KG, an indicator ontology that support indicator discovery and data visualization and an application capable of performing metadata analysis to automatically build and display dashboards according to discovered indicators. We describe our implementation in an urban mobility setting.


title: Low energy meson spectrum from a QCD approach based on many-body methods

abstract: The TDA and RPA many-body methods are applied to a QCD motivated Hamiltonian in the Coulomb gauge. The gluon effects in the low energy domain are accounted for by the Instantaneous color-Coulomb Interaction between color-charge densities, approximated by the sum of a Coulomb and a confining linear potentials. We use the eigenfunctions of the harmonic oscillator as a basis for the quantization of the quark fields, and discuss how suitable this basis is in various steps of the calculation. We show that the TDA results already reproduce the gross-structure of the light flavored meson states. The pion-like state in the RPA description, which is a highly collective state, is in a better agreement with the experimental value. The results are related to other nonperturbative treatments and compared to experimental data. We discuss the advantages of the present approach.


title: Weyl-link semimetals

abstract: A family of topological semimetallic phases where twofold degenerate gapless points form linked rings is introduced. We refer to this phase as Weyl-link semimetals. A concrete two-band model with two linked nodal lines is constructed. We demonstrate that the Chern-Simons 3-form depends on the linking number of rings in a generic two-band model. In addition, we show the emergence of zero-energy modes in the Landau level spectrum can reveal the location of nodal lines, providing a method of probing their linking number.


title: Uniqueness of fat-tailed self-similar profiles to Smoluchowski's coagulation equation for a perturbation of the constant kernel

abstract: This article is concerned with the question of uniqueness of self-similar profiles for Smoluchowski's coagulation equation which exhibit algebraic decay (fat tails) at infinity. More precisely, we consider a rate kernel $K$ which can be written as $K=2+\varepsilon W$. The perturbation is assumed to have homogeneity zero and might also be singular both at zero and at infinity. Under further regularity assumptions on $W$, we will show that for sufficiently small $\varepsilon$ there exists, up to normalisation of the tail behaviour at infinity, at most one self-similar profile.


title: Limits of the boundary of random planar maps

abstract: We discuss asymptotics for the boundary of critical Boltzmann planar maps under the assumption that the distribution of the degree of a typical face is in the domain of attraction of a stable distribution with parameter $\alpha \in (1,2)$. First, in the dense phase corresponding to $\alpha\in(1,3/2)$, we prove that the scaling limit of the boundary is the random stable looptree with parameter $(\alpha-1/2)^{-1}$. Second, we show the existence of a phase transition through local limits of the boundary: in the dense phase, the boundary is tree-like, while in the dilute phase corresponding to $\alpha\in(3/2,2)$, it has a component homeomorphic to the half-plane. As an application, we identify the limits of loops conditioned to be large in the rigid $O(n)$ loop model on quadrangulations, proving thereby a conjecture of Curien and Kortchemski.


title: Swap connectivity for two graph spaces between simple and pseudo graphs and disconnectivity for triangle constraints

abstract: With sufficient time, double edge-swap Markov chain Monte Carlo (MCMC) methods are able to sample uniformly at random from many different and important graph spaces. For instance, for a fixed degree sequence, MCMC methods can sample any graph from: simple graphs; multigraphs (which may have multiedges); and pseudographs (which may have multiedges and/or multiple self-loops). In this note we extend these MCMC methods to `multiloop-graphs', which allow multiple self-loops but not multiedges and `loopy-multigraphs' which allow multiedges and single self-loops. We demonstrate that there are degree sequences on which the standard MCMC methods cannot uniformly sample multiloop-graphs, and exactly characterize which degree sequences can and cannot be so sampled. In contrast, we prove that such MCMC methods can sample all loopy-multigraphs. Taken together with recent work on graphs which allow single self-loops but no multiedges, this work completes the study of the connectivity (irreducibility) of double edge-swap Markov chains for all combinations of allowing self-loops, multiple self-loops and/or multiedges. Looking toward other possible directions to extend edge swap sampling techniques, we produce examples of degree and triangle constraints which have disconnected spaces for all edges swaps on less than or equal to 8 edges.


title: OSSOS: V. Diffusion in the orbit of a high-perihelion distant Solar System object

abstract: We report the discovery of the minor planet 2013 SY$_{99}$, on an exceptionally distant, highly eccentric orbit. With a perihelion of 50.0 au, 2013 SY$_{99}$'s orbit has a semi-major axis of $730 \pm 40$ au, the largest known for a high-perihelion trans-Neptunian object (TNO), well beyond those of (90377) Sedna and 2012 VP$_{113}$. Yet, with an aphelion of $1420 \pm 90$ au, 2013 SY$_{99}$'s orbit is interior to the region influenced by Galactic tides. Such TNOs are not thought to be produced in the current known planetary architecture of the Solar System, and they have informed the recent debate on the existence of a distant giant planet. Photometry from the Canada-France-Hawaii Telescope, Gemini North and Subaru indicate 2013 SY$_{99}$ is $\sim 250$ km in diameter and moderately red in colour, similar to other dynamically excited TNOs. Our dynamical simulations show that Neptune's weak influence during 2013 SY$_{99}$'s perihelia encounters drives diffusion in its semi-major axis of hundreds of astronomical units over 4 Gyr. The overall symmetry of random walks in semi-major axis allow diffusion to populate 2013 SY$_{99}$'s orbital parameter space from the 1000-2000 au inner fringe of the Oort cloud. Diffusion affects other known TNOs on orbits with perihelia of 45 to 49 au and semi-major axes beyond 250 au, providing a formation mechanism that implies an extended population, gently cycling into and returning from the inner fringe of the Oort cloud.


title: A global view on the Higgs self-coupling

abstract: The Higgs self-coupling is notoriously intangible at the LHC. It was recently proposed to probe the trilinear Higgs interaction through its radiative corrections to single-Higgs processes. This approach however requires to disentangle these effects from those associated to deviations of other Higgs-couplings to fermions and gauge bosons. We show that a global fit exploiting only single-Higgs inclusive data suffers from degeneracies that prevent one from extracting robust bounds on each individual coupling. We show how the inclusion of double-Higgs production via gluon fusion, and the use of differential measurements in the associated single-Higgs production channels WH, ZH and ttH, can help to overcome the deficiencies of a global Higgs-couplings fit. In particular, we bound the variations of the Higgs trilinear self-coupling relative to its SM value to the interval [0.1, 2.3] at 68% confidence level at the high-luminosity LHC, and we discuss the robustness of our results against various assumptions on the experimental uncertainties and the underlying new physics dynamics. We also study how to obtain a parametrically enhanced deviation of the Higgs self-couplings and we estimate how large this deviation can be in a self-consistent effective field theory framework.


title: Dynamically generated quadrature and photon-number variances for Gaussian states

abstract: We calculate exactly the quantum mechanical, temporal Wigner quasiprobability density for a single-mode, degenerate parametric amplifier for a system in the Gaussian state, viz., a displaced-squeezed thermal state. The Wigner function allows us to calculate the fluctuations in photon number and the quadrature variance. We contrast the difference between the nonclassicality criteria, which is independent of the displacement parameter $\alpha$, based on the Glauber-Sudarshan quasiprobability distribution $P(\beta)$ and the classical/nonclassical behavior of the Mandel $Q_{M}(\tau)$ parameter, which depends strongly on $\alpha$. We find a phase transition as a function of $\alpha$ such that at the critical point $\alpha_{c}$, $Q_{M}(\tau)$, as a function of $\tau$, goes from strictly classical, for $|\alpha|< |\alpha_{c}|$, to a mixed classical/nonclassical behavior, for $|\alpha|> |\alpha_{c}|$.


title: Surface Defects and Chiral Algebras

abstract: We investigate superconformal surface defects in four-dimensional N=2 superconformal theories. Each such defect gives rise to a module of the associated chiral algebra and the surface defect Schur index is the character of this module. Various natural chiral algebra operations such as Drinfeld-Sokolov reduction and spectral flow can be interpreted as constructions involving four-dimensional surface defects. We compute the index of these defects in the free hypermultiplet theory and Argyres-Douglas theories, using both infrared techniques involving BPS states, as well as renormalization group flows onto Higgs branches. In each case we find perfect agreement with the predicted characters.


title: Spin-coating of moderately concentrated superparamagnetic colloids in different magnetic field configurations

abstract: Spin-coating technique is very fast, cheap, reproducible, simple and needs less material to fabricate films of particulate systems/colloids. Their thickness and uniformity may be controlled by means of external fields. We apply magnetic fields during the spin-coating of a moderately concentrated superparamagnetic colloid (made of silica coated magnetite particles). We study the influence of different magnetic field configurations (homogeneous and inhomogeneous) on the resulting spin-coated deposits and compare experimental results under various conditions. Superparamagnetic colloids behave as, non-Newtonian, magnetorheological fluids. Their viscosity vary significantly under applied magnetic fields. We measure and compare the effect of uniform and non-uniform magnetic fields on their relative effective viscosity, using the spin-coated deposits and a previously existing model for simple colloids. The mechanisms involved in the deposits formation under different experimental conditions are also discussed. In particular, we show that the magnetophoretic effect plays an important role in the spin-coating of magnetic colloids subjected to non-uniform magnetic fields. We characterize an effective magnetoviscosity in non-uniform magnetic fields that is largely influenced by the magnetophoretic effect that enhances the flow of the magnetic fluid.


title: The resolved stellar populations around 12 Type IIP supernovae

abstract: Core-collapse supernovae are found in regions associated with recent massive star formation. The stellar population observed around the location of a SN can be used as a probe of the origins of the progenitor star. We apply a Bayesian mixture model to fit isochrones to the massive star population around twelve Type IIP SNe, for which constraints on the progenitors are also available from fortuitous pre-explosion images. Using the high-resolution Hubble Space Telescope Advanced Camera for Surveys and Wide Field Camera 3, we study the massive star population found within 100pc of each our target SNe. For most of the SNe in our sample, we find that there are multiple age components in the surrounding stellar populations. In the cases of SNe~2003gd and 2005cs, we find that the progenitor does not come from the youngest stellar population component and, in fact, these relatively low mass progenitors ($\sim 8M_{\odot}$) are found in close proximity to stars as massive as $15$ and $50-60M_{\odot}$, respectively. Overall, the field extinction (Galactic and host) derived for these populations is $\sim 0.3\,\mathrm{mags}$ higher than the extinction that was generally applied in previously reported progenitor analyses. We also find evidence, in particular for SN~2004dj, for significant levels of differential extinction. Our analysis for SN~2008bk suggests a significantly lower extinction for the population than the progenitor, but the lifetime of the population and mass determined from pre-explosion images agree. Overall, assuming that the appropriate age component can be suitably identified from the multiple stellar population components present, we find that our Bayesian approach to studying resolved stellar populations can match progenitor masses determined from direct imaging to within $\pm 3M_{\odot}$.


title: Rational Conjugacy Classes of Maximal Tori In Groups of Type $D_n$

abstract: We give a concrete characterization of the rational conjugacy classes of maximal tori in groups of type $D_n$, with specific emphasis on the case of number fields and p-adic fields. This includes the forms associated to quadratic spaces, all of their inner and outer forms as well as the Spin groups, their simply connected covers. In particular, in this work we handle all (simply connected) outer forms of $D_4$.


title: Preprocessing, mass loss and mass segregation of galaxies in DM simulations

abstract: We investigate the mass loss of galaxies in groups and clusters with high-resolution DM simulations. We detect weak mass segregation in the inner regions of group/cluster haloes, consistent with observational findings. This applies to samples of galaxy analogues selected using either their present-day mass or past maximum (peak) mass. We find a strong radial trend in the fractional mass lost by the galaxies since peak, independent of their mass. This suggests that segregation is due to massive galaxies having formed closer to the halo centres and not the preferential destruction of smaller galaxies near halo centres. We divide our sample into galaxies that were accreted as a group vs. as a single, distinct halo. We find strong evidence for preprocessing -- the grouped galaxies lose $\sim 35-45\%$ of their peak mass before being accreted onto their final host haloes, compared to single galaxies which lose $\sim12\%$. After accretion, however, the single galaxies lose more mass compared to the grouped ones. These results are consistent with a scenario in which grouped galaxies are preprocessed in smaller haloes while single galaxies `catch up' in terms of total mass loss once they are accreted onto the final host halo. The fractional mass loss is mostly independent of the galaxy mass and host mass, and increases with amount of time spent in a dense environment.


title: A coupled mitral valve -- left ventricle model with fluid-structure interaction

abstract: Understanding the interaction between the valves and walls of the heart is important in assessing and subsequently treating heart dysfunction. With advancements in cardiac imaging, nonlinear mechanics and computational techniques, it is now possible to explore the mechanics of valve-heart interactions using anatomically and physiologically realistic models. This study presents an integrated model of the mitral valve (MV) coupled to the left ventricle (LV), with the geometry derived from in vivo clinical magnetic resonance images. Numerical simulations using this coupled MV-LV model are developed using an immersed boundary/finite element method. The model incorporates detailed valvular features, left ventricular contraction, nonlinear soft tissue mechanics, and fluid-mediated interactions between the MV and LV wall. We use the model to simulate the cardiac function from diastole to systole, and investigate how myocardial active relaxation function affects the LV pump function. The results of the new model agree with in vivo measurements, and demonstrate that the diastolic filling pressure increases significantly with impaired myocardial active relaxation to maintain the normal cardiac output. The coupled model has the potential to advance fundamental knowledge of mechanisms underlying MV-LV interaction, and help in risk stratification and optimization of therapies for heart diseases.


title: Threshold Dynamics of a Semiconductor Single Atom Maser

abstract: We demonstrate a single-atom maser consisting of a semiconductor double quantum dot (DQD) that is embedded in a high quality factor microwave cavity. A finite bias drives the DQD out of equilibrium, resulting in sequential single electron tunneling and masing. We develop a dynamic tuning protocol that allows us to controllably increase the time-averaged repumping rate of the DQD at a fixed level detuning, and quantitatively study the transition through the masing threshold. We further examine the crossover from incoherent to coherent emission by measuring the photon statistics across the masing transition. The observed threshold behavior is in agreement with an existing single atom maser theory when small corrections from lead emission are taken into account.


title: Saving super-Earths: Interplay between pebble accretion and type I migration

abstract: Overcoming type I migration and preventing low-mass planets from spiralling into the central star is a long-studied topic. It is well known that outward migration is possible in viscous-heated discs relatively close to the central star because the entropy gradient can be sufficiently steep that the positive corotation torque overcomes the negative Lindblad torque. Yet efficiently trapping planets in this region remains elusive. Here we study disc conditions that yield outward migration for low-mass planets under specific planet migration prescriptions. Using a steady-state disc model with a constant alpha-viscosity, outward migration is only possible when the negative temperature gradient exceeds ~0.87. We derive an implicit relation for the maximum mass at which outward migration is possible as a function of viscosity and disc scale height. We apply these criteria, using a simple power-law disc model, to planets that have reached their pebble isolation mass after an episode of rapid accretion. It is possible to trap planets with the pebble isolation mass farther than the inner edge of the disc provided that alpha_crit >~ 0.004 for discs older than 1 Myr. In very young discs the high temperature causes the planets to grow to masses exceeding the maximum for outward migration. As the disc evolves, these more massive planets often reach the central star, generally only towards the end of the disc's lifetime. Saving super-Earths is therefore a delicate interplay between disc viscosity, the opacity profile and the temperature gradient in the viscously heated inner disc.


title: Wave Motion Induced By Turbulent Shear Flows Over Growing Stokes Waves

abstract: The recent analytical of multi-layer analyses proposed by Sajjadi, Hunt and Drullion (2014) (SHD14) is solved numerically for atmospheric turbulent shear fows blowing over unsteady Stokes water waves, of low to moderate steepness. It is demonstrated that as the wave steepens further the inner layer exceeds the critical layer and beneath the cat's-eye there is a strong reverse flow which will then affect the surface drag, but at the surface the flow adjusts itself to the orbital velocity of the wave. We show that in the limit as c_r=U_* is very small, namely slow moving waves the energy-transfer rate to the waves, \beta, computed here using an eddy-viscosity model, agrees with the asymptotic steady state analysis of Belcher and Hunt (1993) and the earlier model of Townsend (1980). Computations for the cases when the waves are traveling faster and growing significantly show a critical shear layer forms outside the inner surface shear layer for steeper waves. We show that the critical layer produces a significant but not the dominant effect; a weak lee-side jet is formed by the inertial dynamics in the critical layer, which adds to the drag produced by the sheltering effect. Over peaked waves, the inner layer flow on the lee-side tends to slow and separate, which over a growing fast wave defects the streamlines and the critical layer upwards on the lee side. Hence, it is proposed, using an earlier study SHD14, that the mechanisms identified here for wave-induced motion contributes to a larger net growth of wind driven water waves when the waves are non-linear compared with growth rates for monochromatic waves. This is because in non- linear waves individual harmonics have stronger positive and weaker negative growth rates.


title: Duality and quantum state engineering in cavity arrays

abstract: A system of two coupled cavities with $N-1$ photons is shown to be dynamically equivalent to an array of $N$ coupled cavities containing one photon. Every transition in the two cavity system has a dual phenomenon in terms of photon transport in the cavity array. This duality is employed to arrive at the required coupling strengths and nonlinearities in the cavity array so that controlled photon transfer is possible between any two cavities. This transfer of photons between two of the cavities in the array is effected without populating the other cavities. The condition for perfect transport enables perfect state transfer between any two cavities in the array. Further, possibility of high fidelity generation of generalized NOON states in two coupled cavities, which are dual to the Bell states of the photon in the cavity array, is established.


title: Fidelity-based supervised and unsupervised learning for binary classification of quantum states

abstract: Here we develop two quantum-computational models for supervised and unsupervised classification tasks in quantum world. Presuming that the states of a set of given quantum systems (or objects) belong to one of two known classes, the objective here is to decide to which of these classes each system belongs -- without knowing its state. The supervised binary classification algorithm is based on having a training sample of quantum systems whose class memberships are already known. The unsupervised binary classification algorithm, however, uses a quantum oracle which knows the class memberships of the states of the computational basis. Both algorithms require the ability to evaluate the fidelity between states of the quantum systems with unknown states, for which here we also develop a general scheme.


title: In-situ observation of temperature-dependent segregation of Ni adatoms on oriented Pd surfaces

abstract: We report the direct observation of the in-situ temperature-dependent surface segregation of Ni adatoms on single crystalline Pd surfaces using Positron annihilation induced Auger Electron Spectroscopy (PAES). For this study, a single atomic layer of Ni was grown on Pd with the crystallographic orientations Pd(111), Pd(110) and Pd(100). The sample temperature was increased from room temperature to 350$^\circ$C and the intensity of the Ni and Pd signal was evaluated from the recorded PAES spectra. Due to the outstanding surface sensitivity of PAES a clear tendency for Pd segregation was observed for all samples. Moreover the activation temperature T$_0$ for surface segregation was found to depend strongly on the surface orientation: We determined T$_0$ to 172$\pm$4$^\circ$C, 261$\pm$12$^\circ$C and 326$\pm$11$^\circ$C for Pd(111), Pd(100) and Pd(110), respectively.


title: Yangian Symmetry for Bi-Scalar Loop Amplitudes

abstract: We establish an all-loop conformal Yangian symmetry for the full set of planar amplitudes in the recently proposed integrable bi-scalar field theory in four dimensions. This chiral theory is a particular double scaling limit of gamma-twisted weakly coupled N=4 SYM theory. Each amplitude with a certain order of scalar particles is given by a single fishnet Feynman graph of disc topology cut out of a regular square lattice. The Yangian can be realized by the action of a product of Lax operators with a specific sequence of inhomogeneity parameters on the boundary of the disc. Based on this observation, the Yangian generators of level one for generic bi-scalar amplitudes are explicitly constructed. Finally, we comment on the relation to the dual conformal symmetry of these scattering amplitudes.


title: Dissipation in mesoscale superfluids

abstract: We investigate the maximum speed at which a driven superfluid can flow through a narrow constriction with a size on the order of the healing length. Considering dissipation via the thermal nucleation of quantized vortices, we calculate the critical velocity for superfluid $^4$He and ultracold atomtronic circuits, identify fundamental length and velocity scales, and are thus able to present results obtained in widely different temperature and density ranges in a universal framework. For ultra-narrow channels we predict a drastic reduction in the critical velocity as the energy barrier for flow reducing thermally activated phase slip fluctuations is suppressed.


title: A comparison of the most massive quiescent galaxies from $z \sim 3$ to the present: slow evolution in size, and spheroid-dominated

abstract: We use Hubble Space Telescope imaging to study the structural properties of ten of the most massive ($M \geq 10^{11.25}$ Msun) quiescent galaxies (QGs) in the UKIDSS UDS at $2.5<z<3.0$. The low spatial density of these galaxies required targeted WFC3 $H_{160}$ imaging, as such systems are rare in existing surveys like CANDELS. We fit Sersic models to the 2D light profiles and find that the median half-light radius is $R_e \sim 3$ kpc, a factor of $\sim 3$ smaller than QGs with similar masses at $z \sim 0$. Complementing our sample with similarly massive QGs at lower redshifts, we find that the median size evolves as $R_e \propto H(z)^{-0.85 \pm 0.12}$ (or alternatively, $R_e \propto (1+z)^{-0.90 \pm 0.12}$). This rate of evolution is slower than that for lower mass QGs. When compared to low redshift QGs, the axis ratio distribution for our high redshift massive QG sample is most consistent with those in which spheroids are dominant. These observations point to earlier size growth among massive QGs that also resulted in spheroidal systems. Finally, we measured residual-corrected surface brightness profiles for our sample. These show that the Sersic parameterization is generally representative out to several effective radii and does not miss excess low surface brightness light. The sizes inferred from the light profiles therefore confirm the compactness of these most massive high redshift QGs.


title: ALMA Observations of Asymmetric Molecular Gas Emission from a Protoplanetary Disk in the Orion Nebula

abstract: We present Atacama Large Millimeter/submillimeter Array (ALMA) observations of molecular line emission from d216-0939, one of the largest and most massive protoplanetary disks in the Orion Nebula Cluster (ONC). We model the spectrally resolved HCO$^+$ (4--3), CO (3--2), and HCN (4--3) lines observed at 0\farcs5 resolution to fit the temperature and density structure of the disk. We also weakly detect and spectrally resolve the CS (7--6) line but do not model it. The abundances we derive for CO and HCO$^+$ are generally consistent with expected values from chemical modeling of protoplanetary disks, while the HCN abundance is higher than expected. We dynamically measure the mass of the central star to be $2.17\pm0.07\,M_\odot$ which is inconsistent with the previously determined spectral type of K5. We also report the detection of a spatially unresolved high-velocity blue-shifted excess emission feature with a measurable positional offset from the central star, consistent with a Keplerian orbit at $60\pm20\,\mathrm{au}$. Using the integrated flux of the feature in HCO$^+$ (4--3), we estimate the total H$_2$ gas mass of this feature to be at least $1.8-8\,M_\mathrm{Jupiter}$, depending on the assumed temperature. The feature is due to a local temperature and/or density enhancement consistent with either a hydrodynamic vortex or the expected signature of the envelope of a forming protoplanet within the disk.


title: The quasiprobability behind the out-of-time-ordered correlator

abstract: Two topics, evolving rapidly in separate fields, were combined recently: The out-of-time-ordered correlator (OTOC) signals quantum-information scrambling in many-body systems. The Kirkwood-Dirac (KD) quasiprobability represents operators in quantum optics. The OTOC has been shown to equal a moment of a summed quasiprobability. That quasiprobability, we argue, is an extension of the KD distribution. We explore the quasiprobability's structure from experimental, numerical, and theoretical perspectives. First, we simplify and analyze the weak-measurement and interference protocols for measuring the OTOC and its quasiprobability. We decrease, exponentially in system size, the number of trials required to infer the OTOC from weak measurements. We also construct a circuit for implementing the weak-measurement scheme. Next, we calculate the quasiprobability (after coarse-graining) numerically and analytically: We simulate a transverse-field Ising model first. Then, we calculate the quasiprobability averaged over random circuits, which model chaotic dynamics. The quasiprobability, we find, distinguishes chaotic from integrable regimes. We observe nonclassical behaviors: The quasiprobability typically has negative components. It becomes nonreal in some regimes. The onset of scrambling breaks a symmetry that bifurcates the quasiprobability, as in classical-chaos pitchforks. Finally, we present mathematical properties. The quasiprobability obeys a Bayes-type theorem, for example, that exponentially decreases the memory required to calculate weak values, in certain cases. A time-ordered correlator analogous to the OTOC, insensitive to quantum-information scrambling, depends on a quasiprobability closer to a classical probability. This work not only illuminates the OTOC's underpinnings, but also generalizes quasiprobability theory and motivates immediate-future weak-measurement challenges.


title: Radial Surface Density Profiles of Gas and Dust in the Debris Disk around 49 Ceti

abstract: We present ~0.4 resolution images of CO(3-2) and associated continuum emission from the gas-bearing debris disk around the nearby A star 49 Ceti, observed with the Atacama Large Millimeter/Submillimeter Array (ALMA). We analyze the ALMA visibilities in tandem with the broad-band spectral energy distribution to measure the radial surface density profiles of dust and gas emission from the system. The dust surface density decreases with radius between ~100 and 310 au, with a marginally significant enhancement of surface density at a radius of ~110 au. The SED requires an inner disk of small grains in addition to the outer disk of larger grains resolved by ALMA. The gas disk exhibits a surface density profile that increases with radius, contrary to most previous spatially resolved observations of circumstellar gas disks. While ~80% of the CO flux is well described by an axisymmetric power-law disk in Keplerian rotation about the central star, residuals at ~20% of the peak flux exhibit a departure from axisymmetry suggestive of spiral arms or a warp in the gas disk. The radial extent of the gas disk (~220 au) is smaller than that of the dust disk (~300 au), consistent with recent observations of other gas-bearing debris disks. While there are so far only three broad debris disks with well characterized radial dust profiles at millimeter wavelengths, 49 Ceti's disk shows a markedly different structure from two radially resolved gas-poor debris disks, implying that the physical processes generating and sculpting the gas and dust are fundamentally different.


title: Efficient Quantum Monte Carlo simulations of highly frustrated magnets: the frustrated spin-1/2 ladder

abstract: Quantum Monte Carlo simulations provide one of the more powerful and versatile numerical approaches to condensed matter systems. However, their application to frustrated quantum spin models, in all relevant temperature regimes, is hamstrung by the infamous "sign problem." Here we exploit the fact that the sign problem is basis-dependent. Recent studies have shown that passing to a dimer (two-site) basis eliminates the sign problem completely for a fully frustrated spin model on the two-leg ladder. We generalize this result to all partially frustrated two-leg spin-1/2 ladders, meaning those where the diagonal and leg couplings take any antiferromagnetic values. We find that, although the sign problem does reappear, it remains remarkably mild throughout the entire phase diagram. We explain this result and apply it to perform efficient quantum Monte Carlo simulations of frustrated ladders, obtaining accurate results for thermodynamic quantities such as the magnetic specific heat and susceptibility of ladders up to L=200 rungs (400 spins 1/2) and down to very low temperatures.


title: Extracting entanglement geometry from quantum states

abstract: Tensor networks impose a notion of geometry on the entanglement of a quantum system. In some cases, this geometry is found to reproduce key properties of holographic dualities, and subsequently much work has focused on using tensor networks as tractable models for holographic dualities. Conventionally, the structure of the network - and hence the geometry - is largely fixed a priori by the choice of tensor network ansatz. Here, we evade this restriction and describe an unbiased approach that allows us to extract the appropriate geometry from a given quantum state. We develop an algorithm that iteratively finds a unitary circuit that transforms a given quantum state into an unentangled product state. We then analyze the structure of the resulting unitary circuits. In the case of non-interacting, critical systems in one dimension, we recover signatures of scale invariance in the unitary network, and we show that appropriately defined geodesic paths between physical degrees of freedom exhibit known properties of a hyperbolic geometry.


title: An Automated Text Categorization Framework based on Hyperparameter Optimization

abstract: A great variety of text tasks such as topic or spam identification, user profiling, and sentiment analysis can be posed as a supervised learning problem and tackle using a text classifier. A text classifier consists of several subprocesses, some of them are general enough to be applied to any supervised learning problem, whereas others are specifically designed to tackle a particular task, using complex and computational expensive processes such as lemmatization, syntactic analysis, etc. Contrary to traditional approaches, we propose a minimalistic and wide system able to tackle text classification tasks independent of domain and language, namely microTC. It is composed by some easy to implement text transformations, text representations, and a supervised learning algorithm. These pieces produce a competitive classifier even in the domain of informally written text. We provide a detailed description of microTC along with an extensive experimental comparison with relevant state-of-the-art methods. mircoTC was compared on 30 different datasets. Regarding accuracy, microTC obtained the best performance in 20 datasets while achieves competitive results in the remaining 10. The compared datasets include several problems like topic and polarity classification, spam detection, user profiling and authorship attribution. Furthermore, it is important to state that our approach allows the usage of the technology even without knowledge of machine learning and natural language processing.


title: Complete set of essential parameters of an effective theory

abstract: The present paper continues the series [V. V. Vereshagin, True self-energy function and reducibility in effective scalar theories, Phys. Rev. D 89, 125022 (2014); A. Vereshagin and V. Vereshagin, Resultant parameters of effective theory, Phys. Rev. D 69, 025002 (2004); K. Semenov-Tian-Shansky, A. Vereshagin, and V. Vereshagin, S-matrix renormalization in effective theories, Phys. Rev. D 73, 025020 (2006)] devoted to the systematic study of effective scattering theories. We consider matrix elements of the effective Lagrangian monomials (in the interaction picture) of arbitrary high dimension D and show that the full set of corresponding coupling constants contains parameters of both kinds: essential and redundant. Since it would be pointless to formulate renormalization prescriptions for redundant parameters, it is necessary to select the full set of the essential ones. This is done in the present paper for the case of the single scalar field.


title: A stable and optimally convergent LaTIn-Cut Finite Element Method for multiple unilateral contact problems

abstract: In this paper, we propose a novel unfitted finite element method for the simulation of multiple body contact. The computational mesh is generated independently of the geometry of the interacting solids, which can be arbitrarily complex. The key novelty of the approach is the combination of elements of the CutFEM technology, namely the enrichment of the solution field via the definition of overlapping fictitious domains with a dedicated penalty-type regularisation of discrete operators, and the LaTIn hybrid-mixed formulation of complex interface conditions. Furthermore, the novel P1-P1 discretisation scheme that we propose for the unfitted LaTIn solver is shown to be stable, robust and optimally convergent with mesh refinement. Finally, the paper introduces a high-performance 3D level-set/CutFEM framework for the versatile and robust solution of contact problems involving multiple bodies of complex geometries, with more than two bodies interacting at a single point.


title: Models for the Propensity Score that Contemplate the Positivity Assumption and their Application to Missing Data and Causality

abstract: Generalized linear models are often assumed to fit propensity scores, which are used to compute inverse probability weighted (IPW) estimators. In order to derive the asymptotic properties of IPW estimators, the propensity score is supposed to be bounded away from cero. This condition is known in the literature as strict positivity (or positivity assumption) and, in practice, when it does not hold, IPW estimators are very unstable and have a large variability. Although strict positivity is often assumed, it is not upheld when some of the covariates are continuous. In this work, we attempt to conciliate between the strict positivity condition and the theory of generalized linear models by incorporating an extra parameter, which results in an explicit lower bound for the propensity scores.


title: Phase Transitions and Baryogenesis From Decays

abstract: We study scenarios in which the baryon asymmetry is generated from the decay of a particle whose mass originates from the spontaneous breakdown of a symmetry. This is realized in many models, including low-scale leptogenesis and theories with classical scale invariance. Symmetry breaking in the early universe proceeds through a phase transition that gives the parent particle a time-dependent mass, which provides an additional departure from thermal equilibrium that could modify the efficiency of baryogenesis from out-of-equilibrium decays. We characterize the effects of various types of phase transitions and show that an enhancement in the baryon asymmetry from decays is possible if the phase transition is of the second order, although such models are typically fine-tuned. We also stress the role of new annihilation modes that deplete the parent particle abundance in models realizing such a phase transition, reducing the efficacy of baryogenesis. A proper treatment of baryogenesis in such models therefore requires the inclusion of the effects we study in this paper.


title: The Future of Stardust Science

abstract: Recent observations indicate that >99% of the small bodies in the Solar System reside in its outer reaches --- in the Kuiper Belt and Oort Cloud. Kuiper Belt bodies are probably the best preserved representatives of the icy planetesimals that dominated the bulk of the solid mass in the early Solar System. They likely contain preserved materials inherited from the protosolar cloud, held in cryogenic storage since the formation of the Solar System. Despite their importance, they are relatively underrepresented in our extraterrestrial sample collections by many orders of magnitude ($\sim$10$^{13}$ by mass) as compared with the asteroids, represented by meteorites, which are composed of materials that have generally been strongly altered by thermal and aqueous processes. We have only begun to scratch the surface in understanding Kuiper Belt objects, but it is already clear that the very limited samples of them that we have in our laboratories hold the promise of dramatically expanding our understanding of the formation of the Solar System. Stardust returned the first samples from a known small solar-system body, the Jupiter-family comet 81P/Wild 2, and, in a separate collector, the first solid samples from the local interstellar medium. The first decade of Stardust research resulted in more than 142 peer-reviewed publications, including 15 papers in Science. Analyses of these amazing samples continue to yield unexpected discoveries and to raise new questions about the history of the early Solar System. We identify 9 high-priority scientific objectives for future Stardust analyses that address important unsolved problems in planetary science.


title: Marrying excitons and plasmons in monolayer transition-metal dichalcogenides

abstract: Just as photons are the quanta of light, plasmons are the quanta of orchestrated charge-density oscillations in conducting media. Plasmon phenomena in normal metals, superconductors and doped semiconductors are often driven by long-wavelength Coulomb interactions. However, in crystals whose Fermi surface is comprised of disconnected pockets in the Brillouin zone, collective electron excitations can also attain a shortwave component when electrons transition between these pockets. Here, we show that the band structure of monolayer transition-metal dichalcogenides gives rise to an intriguing mechanism through which shortwave plasmons are paired up with excitons. The coupling elucidates the origin for the optical side band that is observed repeatedly in monolayers of WSe$_2$ and WS$_2$ but not understood. The theory makes it clear why exciton-plasmon coupling has the right conditions to manifest itself distinctly only in the optical spectra of electron-doped tungsten-based monolayers.


title: Yang-Mills moduli spaces over an orientable closed surface via Fr\'echet reduction

abstract: Given a principal bundle on an orientable closed surface with compact connected structure group, we endow the space of based gauge equivalence classes of smooth connections relative to smooth based gauge transformations with the structure of a Fr\'echet manifold. Using Wilson loop holonomies and a certain characteristic class determined by the topology of the bundle, we then impose suitable constraints on that Fr\'echet manifold that single out the based gauge equivalence classes of central Yang-Mills connections but do not directly involve the Yang-Mills equation. We also explain how our theory yields the based and unbased gauge equivalence classes of all Yang-Mills connections and deduce the stratified symplectic structure on the space of unbased gauge equivalence classes of central Yang-Mills connections. The crucial new technical tool is a slice analysis in the Fr\'echet setting.


title: A Characterization of Undirected Graphs Admitting Optimal Cost Shares

abstract: In a seminal paper, Chen, Roughgarden and Valiant studied cost sharing protocols for network design with the objective to implement a low-cost Steiner forest as a Nash equilibrium of an induced cost-sharing game. One of the most intriguing open problems to date is to understand the power of budget-balanced and separable cost sharing protocols in order to induce low-cost Steiner forests. In this work, we focus on undirected networks and analyze topological properties of the underlying graph so that an optimal Steiner forest can be implemented as a Nash equilibrium (by some separable cost sharing protocol) independent of the edge costs. We term a graph efficient if the above stated property holds. As our main result, we give a complete characterization of efficient undirected graphs for two-player network design games: an undirected graph is efficient if and only if it does not contain (at least) one out of few forbidden subgraphs. Our characterization implies that several graph classes are efficient: generalized series-parallel graphs, fan and wheel graphs and graphs with small cycles.


title: A Delay-Aware Caching Algorithm for Wireless D2D Caching Networks

abstract: Recently, wireless caching techniques have been studied to satisfy lower delay requirements and offload traffic from peak periods. By storing parts of the popular files at the mobile users, users can locate some of their requested files in their own caches or the caches at their neighbors. In the latter case, when a user receives files from its neighbors, device-to-device (D2D) communication is enabled. D2D communication underlaid with cellular networks is also a new paradigm for the upcoming 5G wireless systems. By allowing a pair of adjacent D2D users to communicate directly, D2D communication can achieve higher throughput, better energy efficiency and lower traffic delay. In this work, we propose a very efficient caching algorithm for D2D-enabled cellular networks to minimize the average transmission delay. Instead of searching over all possible solutions, our algorithm finds out the best <file,user> pairs, which provide the best delay improvement in each loop to form a caching policy with very low transmission delay and high throughput. This algorithm is also extended to address a more general scenario, in which the distributions of fading coefficients and values of system parameters potentially change over time. Via numerical results, the superiority of the proposed algorithm is verified by comparing it with a naive algorithm, in which all users simply cache their favorite files.


title: Recognizing Multi-talker Speech with Permutation Invariant Training

abstract: In this paper, we propose a novel technique for direct recognition of multiple speech streams given the single channel of mixed speech, without first separating them. Our technique is based on permutation invariant training (PIT) for automatic speech recognition (ASR). In PIT-ASR, we compute the average cross entropy (CE) over all frames in the whole utterance for each possible output-target assignment, pick the one with the minimum CE, and optimize for that assignment. PIT-ASR forces all the frames of the same speaker to be aligned with the same output layer. This strategy elegantly solves the label permutation problem and speaker tracing problem in one shot. Our experiments on artificially mixed AMI data showed that the proposed approach is very promising.


title: Maximal temperature of the gas in AdS space-time

abstract: Assuming only statistical mechanics and general relativity, we calculate the maximal temperature of gas of particles placed in AdS space-time. If two particles with a given center of mass energy come close enough, according to classical gravity they will form a black hole. We focus only on the black holes with Hawking temperature lower than the environment, because they do not disappear. The number density of such black holes grows with the temperature in the system. At a certain finite temperature, the thermodynamical system will be dominated by black holes. This critical temperature is lower than the Planck temperature for the values of the AdS vacuum energy density below the Planck density. This result might be interesting from the AdS/CFT correspondence point of view, since it is different from the Hawking-Page phase transition, and it is not immediately clear what effect dynamically limits the maximal temperature of the thermal state on the CFT side of the correspondence.


title: Star flows: a characterization via Lyapunov functions

abstract: In this work, it is presented a characterization of star property for a $C^1$ vector field based on Lyapunov functions. It is also obtained conditions to strong homogeneity for singular sets by using the notion of infinitesimal Lyapunov functions. As an application, we obtain some results related to singular hyperbolic sets for flows.


title: Random Access Analysis for Massive IoT Networks under A New Spatio-Temporal Model: A Stochastic Geometry Approach

abstract: Massive Internet of Things (mIoT) has provided an auspicious opportunity to build powerful and ubiquitous connections that faces a plethora of new challenges, where cellular networks are potential solutions due to their high scalability, reliability, and efficiency. The Random Access CHannel (RACH) procedure is the first step of connection establishment between IoT devices and Base Stations (BSs) in the cellular-based mIoT network, where modelling the interactions between static properties of physical layer network and dynamic properties of queue evolving in each IoT device are challenging. To tackle this, we provide a novel traffic-aware spatio-temporal model to analyze RACH in cellular-based mIoT networks, where the physical layer network is modelled and analyzed based on stochastic geometry in the spatial domain, and the queue evolution is analyzed based on probability theory in the time domain. For performance evaluation, we derive the exact expressions for the preamble transmission success probabilities of a randomly chosen IoT device with different RACH schemes in each time slot, which offer insights into effectiveness of each RACH scheme. Our derived analytical results are verified by the realistic simulations capturing the evolution of packets in each IoT device. This mathematical model and analytical framework can be applied to evaluate the performance of other types of RACH schemes in the cellular-based networks by simply integrating its preamble transmission principle.


title: ${\rm SU}(N) \to {\rm Z}(N)$ dual superconductor models: the magnetic loop ensemble point of view

abstract: In this work, we initially discuss some physical properties of effective ${\rm SU}(N) \to {\rm Z}(N)$ YMH models, emphasizing the important role of valence gluons. Next, we review how adjoint fields are naturally generated as an effective description of "adjoint" loops in $4D$. Finally, we discuss the consequences that can be learnt from this point of view, and briefly comment on some improvements.


title: Probing topology by "heating": Quantized circular dichroism in ultracold atoms

abstract: We reveal an intriguing manifestation of topology, which appears in the depletion rate of topological states of matter in response to an external drive. This phenomenon is presented by analyzing the response of a generic 2D Chern insulator subjected to a circular time-periodic perturbation: due to the system's chiral nature, the depletion rate is shown to depend on the orientation of the circular shake. Most importantly, taking the difference between the rates obtained from two opposite orientations of the drive, and integrating over a proper drive-frequency range, provides a direct measure of the topological Chern number of the populated band ($\nu$): this "differential integrated rate" is directly related to the strength of the driving field through the quantized coefficient $\eta_0\!=\!\nu /\hbar^2$. Contrary to the integer quantum Hall effect, this quantized response is found to be non-linear with respect to the strength of the driving field and it explicitly involves inter-band transitions. We investigate the possibility of probing this phenomenon in ultracold gases and highlight the crucial role played by edge states in this effect. We extend our results to 3D lattices, establishing a link between depletion rates and the non-linear photogalvanic effect predicted for Weyl semimetals. The quantized circular dichroism revealed in this work designates depletion-rate measurements as a universal probe for topological order in quantum matter.


title: Pinned Brownian Bridges in the Continuous-Time Limit

abstract: The current understanding of pinned Brownian bridges is based on the Onsager-Machlup (OM) functional. The continuous-time limit of the OM functional can be expressed either by using the Fokker-Planck equation or by using the Radon-Nikodym derivative with the help of the Girsanov theorem and Ito's lemma. The resulting expression, called here, the Ito-Girsanov (IG) measure, has been used as a basis of algorithms designed to create ensembles of transition paths, paths that are constrained to start in one free energy basin and end in another. Here we explore the underlying formalism and show that the IG measure originates in an expression that is only conditionally convergent. Thus without a sound mathematical foundation, the IG measure produces unphysical results when used in computer algorithms that are designed to elucidate chemical transitions.


title: An efficient algorithm for compression-based compressed sensing

abstract: Modern image and video compression codes employ elaborate structures existing in such signals to encode them into few number of bits. Compressed sensing recovery algorithms on the other hand use such signals' structures to recover them from few linear observations. Despite the steady progress in the field of compressed sensing, structures that are often used for signal recovery are still much simpler than those employed by state-of-the-art compression codes. The main goal of this paper is to bridge this gap through answering the following question: Can one employ a given compression code to build an efficient (polynomial time) compressed sensing recovery algorithm? In response to this question, the compression-based gradient descent (C-GD) algorithm is proposed. C-GD, which is a low-complexity iterative algorithm, is able to employ a generic compression code for compressed sensing and therefore elevates the scope of structures used in compressed sensing to those used by compression codes. The convergence performance of C-GD and its required number of measurements in terms of the rate-distortion performance of the compression code are theoretically analyzed. It is also shown that C-GD is robust to additive white Gaussian noise. Finally, the presented simulation results show that combining C-GD with commercial image compression codes such as JPEG2000 yields state-of-the-art performance in imaging applications.


title: Global Energetics of Solar Flares: VI. Refined Energetics of Coronal Mass Ejections

abstract: In this study we refine a CME model presented in an earlier study on the global energetics of solar flares and associated CMEs, and apply it to all (860) GOES M- and X-class flare events observed during the first 7 years (2010-2016) of the Solar Dynamics Observatory (SDO) mission, which doubles the statistics of the earlier study. The model refinements include: (1) the CME geometry in terms of a 3D sphere undergoing self-similar adiabatic expansion; (2) the inclusion of solar gravitational deceleration during the acceleration and propagation of the CME, which discriminates eruptive and confined CMEs; (4) a self-consistent relationship between the CME center-of-mass motion detected during EUV dimming and the leading-edge motion observed in white-light coronagraphs; (5) the equi-partition of the CME kinetic and thermal energy; and (6) the Rosner-Tucker-Vaiana (RTV) scaling law. The refined CME model is entirely based on EUV dimming observations (using AIA/SDO data) and complements the traditional white-light scattering model (using LASCO/SOHO data), and both models are independently capable to determine fundamental CME parameters such as the CME mass, speed, and energy. Comparing the two methods we find that: (1) LASCO is less sensitive than AIA in detecting CMEs (in 24$\%$ of the cases); (2) CME masses below $m_{cme} \sim 10^{14}$ g are under-estimated by LASCO; (3) AIA and LASCO masses, speeds, and energy agree closely in the statistical mean after elimination of outliers; (4) the CMEs parameters of the speed $v$, emission measure-weighted flare peak temperature $T_e$, and length scale $L$ are consistent with the following scaling laws (derived from first principles): $v \propto T_e^{1/2}$, $v \propto (m_{cme})^{1/4}$, and $m_{cme} \propto L^2$.


title: Defect processes in Be$_{12}$X Beryllides

abstract: The stability of intrinsic point defects in Be$_{12}$X intermetallics (where X = Ti, V, Mo or W) are predicted using density functional theory simulations and discussed with respect to fusion energy applications. Schottky disorder is found to be the lowest energy complete disorder process, closely matched by Be Frenkel disorder in the cases of Be$_{12}$V and Be$_{12}$Ti. Antitisite and X Frenkel disorder are of significantly higher energy. Small clusters of point defects including Be divacancies, Be di-interstitials and accommodation of the X species on two Be sites were considered. Some di-interstitial, divacancy and X$_{2Be}$ combinations exhibit negative binding enthalpy (i.e. clustering is favourable), although this is orientationally dependent. None of the Be$_{12}$X intermetallics are predicted to exhibit significant non-stoichiometry, ruling out non-stoichiometry as a mechanism for accommodating Be depletion due to neutron transmutation.


title: Secure Transmission of Delay-Sensitive Data over Wireless Fading Channels

abstract: In this paper, throughput and energy efficiency of secure wireless transmission of delay sensitive data generated by random sources is studied. A fading broadcast model in which the transmitter sends confidential and common messages to two receivers is considered. It is assumed that the common and confidential data, generated from Markovian sources, is stored in buffers prior to transmission, and the transmitter operates under constraints on buffer/delay violation probability. Under such statistical quality of service (QoS) constraints, effective capacity of time-varying wireless transmissions and effective bandwidth of Markovian sources are employed to determine the throughput. In particular, secrecy capacity is used to describe the service rate of buffers containing confidential messages. Moreover, energy per bit is used as the energy efficiency metric and energy efficiency is studied in the low signal-to-noise (SNR) regime. Specifically, minimum energy per bit required for the reliable communication of common and confidential messages is determined and wideband slope expressions are identified. The impact of buffer/delay constraints, correlation between channels, source characteristics/burstiness, channel knowledge at the transmitter, power allocation, and secrecy requirements on the throughput and energy efficiency of common and confidential message transmissions is identified.


title: Optimizing Adiabatic Quantum Program Compilation using a Graph-Theoretic Framework

abstract: Adiabatic quantum computing has evolved in recent years from a theoretical field into an immensely practical area, a change partially sparked by D-Wave System's quantum annealing hardware. These multimillion-dollar quantum annealers offer the potential to solve optimization problems millions of times faster than classical heuristics, prompting researchers at Google, NASA and Lockheed Martin to study how these computers can be applied to complex real-world problems such as NASA rover missions. Unfortunately, compiling (embedding) an optimization problem into the annealing hardware is itself a difficult optimization problem and a major bottleneck currently preventing widespread adoption. Additionally, while finding a single embedding is difficult, no generalized method is known for tuning embeddings to use minimal hardware resources. To address these barriers, we introduce a graph-theoretic framework for developing structured embedding algorithms. Using this framework, we introduce a biclique virtual hardware layer to provide a simplified interface to the physical hardware. Additionally, we exploit bipartite structure in quantum programs using odd cycle transversal (OCT) decompositions. By coupling an OCT-based embedding algorithm with new, generalized reduction methods, we develop a new baseline for embedding a wide range of optimization problems into fault-free D-Wave annealing hardware. To encourage the reuse and extension of these techniques, we provide an implementation of the framework and embedding algorithms.


title: Torsional Rigidity and Bergman Analytic Content of Simply Connected Regions

abstract: We exploit the equality of Bergman analytic content and torsional rigidity of a simply connected domain to develop a new method for calculating these quantities. This method is particularly suitable for the case when the region in question is a polygon. A large number of examples are computed in explicit detail to demonstrate the utility of our ideas.


title: Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation

abstract: We propose a new composable and information-theoretically secure protocol to verify that a server has the power to sample from a sub-universal quantum machine implementing only commuting gates. By allowing the client to manipulate single qubits, we exploit properties of Measurement based Blind Quantum Computing to prove security against a malicious Server and therefore certify quantum supremacy without the need for a universal quantum computer.


title: Two-qudit topological phase evolution under dephasing

abstract: In this work, we study a bipartite system composed by a pair of entangled qudits coupled to an environment. Initially, we derive a master equation and show how the dynamics can be restricted to a "diagonal" sector that includes a maximally entangled state (MES). Next, we solve this equation for mixed qutrit pairs and analyze the $I$-concurrence $C(t)$ for the effective state, which is needed to compute the geometric phase when the initial state is pure. Unlike (locally operated) isolated systems, the coupled system leads to a nontrivial time-dependence, with $C(t)$ generally decaying to zero at asymptotic times. However, when the initial condition gets closer to a MES state, the effective concurrence is more protected against the effects of decoherence, signaling a transition to an effective two-qubit MES state at asymptotic times. This transition is also observed in the geometric phase evolution, computed in the kinematic approach. Finally, we explore the system-environment coupling parameter space and show the existence of a Weyl symmetry among the various physical quantities.


title: Classical-hidden-variable description for entanglement dynamics of two-qubit pure states

abstract: A hidden-variable model is explicitly constructed by use of a Liouvillian description for the dynamics of two coupled spin-1/2 particles. In this model, the underlying Hamiltonian trajectories play the role of deterministic hidden variables, whereas the shape of the initial probability distribution figures as a hidden variable that regulates the capacity of the model in producing correlations. We show that even though the model can very well describe the short-time entanglement dynamics of initially separated pure states, it is incapable of violating the Clauser-Horne-Shimony-Holt inequality. Our work suggests that, if one takes the reluctance of a given quantum resource to be emulated by a local-hidden-variable model as a signature of its nonclassicality degree, then one can conclude that entanglement and nonlocality are nonequivalent even in the context of two-qubit pure states.


title: Bifurcations of the conjugate locus

abstract: The conjugate locus of a point $p$ in a surface $\mathcal{S}$ will have a certain number of cusps. As the point $p$ is moved in the surface the conjugate locus may spontaneously gain or lose cusps. In this paper we explain this `bifurcation' in terms of the vanishing of higher derivatives of the exponential map; we derive simple equations for these higher derivatives in terms of scalar invariants; we classify the bifurcations of cusps in terms of the local structure of the conjugate locus; and we describe an intuitive picture of the bifurcation as the intersection between certain contours in the tangent plane.


title: Inclusive neutrino scattering off deuteron at low energies in chiral effective field theory

abstract: Cross sections for inclusive neutrino scattering off deuteron induced by neutral and charge-changing weak currents are calculated from threshold up to 150 MeV energies in a chiral effective field theory including high orders in the power counting. Contributions beyond leading order (LO) in the weak current are found to be small, and increase the cross sections obtained with the LO transition operators by a couple of percent over the whole energy range (0--150) MeV. The cutoff dependence is negligible, and the predicted cross sections are within $\sim 2$\% of, albeit consistently larger than, corresponding predictions obtained in conventional meson-exchange frameworks.


title: A Comparison of Parallel Graph Processing Implementations

abstract: The rapidly growing number of large network analysis problems has led to the emergence of many parallel and distributed graph processing systems---one survey in 2014 identified over 80. Since then, the landscape has evolved; some packages have become inactive while more are being developed. Determining the best approach for a given problem is infeasible for most developers. To enable easy, rigorous, and repeatable comparison of the capabilities of such systems, we present an approach and associated software for analyzing the performance and scalability of parallel, open-source graph libraries. We demonstrate our approach on five graph processing packages: GraphMat, the Graph500, the Graph Algorithm Platform Benchmark Suite, GraphBIG, and PowerGraph using synthetic and real-world datasets. We examine previously overlooked aspects of parallel graph processing performance such as phases of execution and energy usage for three algorithms: breadth first search, single source shortest paths, and PageRank and compare our results to Graphalytics.


title: Topological metrizations of trees, and new quartet methods of tree inference

abstract: Topological phylogenetic trees can be assigned edge weights in several natural ways, highlighting different aspects of the tree. Here the rooted triple and quartet metrizations are introduced, and applied to formulate novel fast methods of inferring large trees from rooted triple and quartet data. These methods can be applied in new statistically consistent procedures for inference of a species tree from gene trees under the multispecies coalescent model.


title: The Galaxy's Veil of Excited Hydrogen

abstract: Many of the baryons in our Galaxy probably lie outside the well known disk and bulge components. Despite a wealth of evidence for the presence of some gas in galactic halos, including absorption line systems in the spectra of quasars, high velocity neutral hydrogen clouds in our Galaxy halo, line emitting ionised hydrogen originating from galactic winds in nearby starburst galaxies, and the X-ray coronas surrounding the most massive galaxies, accounting for the gas in the halo of any galaxy has been observationally challenging primarily because of its low density in the expansive halo. The most sensitive measurements come from detecting absorption by the intervening gas in the spectra of distant objects such as quasars or distant halo stars, but these have typically been limited to a few lines of sight to sufficiently bright objects. Massive spectroscopic surveys of millions of objects provide an alternative approach to the problem. Here, we present the first evidence for a widely distributed, neutral, excited hydrogen component of the Galaxy's halo. It is observed as the slight, (0.779 $\pm$ 0.006)\%, absorption of flux near the rest wavelength of H$\alpha$ in the combined spectra of hundreds of thousands of galaxy spectra and is ubiquitous in high latitude lines of sight. This observation provides an avenue to tracing, both spatially and kinematically, the majority of the gas in the halo of our Galaxy.


title: A Multi-Ringed, Modestly-Inclined Protoplanetary Disk around AA Tau

abstract: AA Tau is the archetype for a class of stars with a peculiar periodic photometric variability thought to be related to a warped inner disk structure with a nearly edge-on viewing geometry. We present high resolution ($\sim$0.2") ALMA observations of the 0.87 and 1.3~mm dust continuum emission from the disk around AA Tau. These data reveal an evenly spaced three-ringed emission structure, with distinct peaks at 0.34", 0.66", and 0.99", all viewed at a modest inclination of 59.1$^{\circ}\pm$0.3$^{\circ}$ (decidedly not edge-on). In addition to this ringed substructure, we find non-axisymmetric features including a `bridge' of emission that connects opposite sides of the innermost ring. We speculate on the nature of this `bridge' in light of accompanying observations of HCO$^+$ and $^{13}$CO (J=3--2) line emission. The HCO$^+$ emission is bright interior to the innermost dust ring, with a projected velocity field that appears rotated with respect to the resolved disk geometry, indicating the presence of a warp or inward radial flow. We suggest that the continuum bridge and HCO$^+$ line kinematics could originate from gap-crossing accretion streams, which may be responsible for the long-duration dimming of optical light from AA Tau.


title: DIMM-SC: A Dirichlet mixture model for clustering droplet-based single cell transcriptomic data

abstract: Motivation: Single cell transcriptome sequencing (scRNA-Seq) has become a revolutionary tool to study cellular and molecular processes at single cell resolution. Among existing technologies, the recently developed droplet-based platform enables efficient parallel processing of thousands of single cells with direct counting of transcript copies using Unique Molecular Identifier (UMI). Despite the technology advances, statistical methods and computational tools are still lacking for analyzing droplet-based scRNA-Seq data. Particularly, model-based approaches for clustering large-scale single cell transcriptomic data are still under-explored. Methods: We developed DIMM-SC, a Dirichlet Mixture Model for clustering droplet-based Single Cell transcriptomic data. This approach explicitly models UMI count data from scRNA-Seq experiments and characterizes variations across different cell clusters via a Dirichlet mixture prior. An expectation-maximization algorithm is used for parameter inference. Results: We performed comprehensive simulations to evaluate DIMM-SC and compared it with existing clustering methods such as K-means, CellTree and Seurat. In addition, we analyzed public scRNA-Seq datasets with known cluster labels and in-house scRNA-Seq datasets from a study of systemic sclerosis with prior biological knowledge to benchmark and validate DIMM-SC. Both simulation studies and real data applications demonstrated that overall, DIMM-SC achieves substantially improved clustering accuracy and much lower clustering variability compared to other existing clustering methods. More importantly, as a model-based approach, DIMM-SC is able to quantify the clustering uncertainty for each single cell, facilitating rigorous statistical inference and biological interpretations, which are typically unavailable from existing clustering methods.


title: From Hamiltonians to complex symplectic transformations

abstract: Gaussian unitaries are specified by a second order polynomial in the bosonic operators, that is, by a quadratic polynomial and a linear term. From the Hamiltonian other equivalent representations of the Gaussian unitaries are obtained, such as Bogoliubov and real symplectic transformations. The paper develops an alternative representation, called complex symplectic transformation, which is more compact and is comprehensive of both Bogoliubov and real symplectic transformations. Moreover, it has other advantages. One of the main results of the theory, not available in the literature, is that the final displacement is not simply given by the linear part of the Hamiltonian, but depends also on the quadratic part. In particular, it is shown that by combining squeezing and rotation, it is possible to achieve a final displacement with an arbitrary amount.


title: Alternative Multipole Expansion of the Electron Correlation Term

abstract: An alternative multipole expansion of the correlation term is derived. Modified spherical Bessel type functions which simplify as a summation of multiple orders of basic trigonometric functions are generated from this new method. We use this new expansion to obtain useful insights into the electron-electron interaction. An analytic expression for the electronic correlation term is suggested. Also, a pseudopotential for helium-like system is derived from this alternative expansion, and some reasonable eigenvalues for the ground state and two autoionizing levels of helium atom, is provided as a test of efficiency of this solution approach. With some additional corrections beyond the non-relativistic limit, a helium atom groundstate energy of -2.9036 is obtained using the analytical form derived from this method and the Slater determinant expansion of the wavefunction.


title: Support Theorems and an Injectivity Result for Integral Moments of a Symmetric m-Tensor Field

abstract: In this work, we show an injectivity result and support theorems for integral moments of a m-tensor field on a simple, real analytic, Riemannian manifold. Integral moments of m-tensor field were first introduced by Sharafutdinov. At first we generalize a Helgason type support theorem proven by Krishnan and Stefanov in "A support theorem for the geodesic ray transform of symmetric tensor fields", Inverse Problems and Imaging, 3(3):453-464,2009. We use this extended result along with the first m+1-integral moments of a m-tensor field to prove the aforementioned results.


title: Topological recursion relations from Pixton's formula

abstract: We prove that every degree-g polynomial in the $\psi$-classes on $\overline{\mathcal M}_{g, n}$ can be expressed as a sum of tautological classes supported on the boundary with no $\kappa$-classes. Such equations, which we refer to as topological recursion relations, can be used to deduce universal equations for the Gromov-Witten invariants of any target.


title: A Software-equivalent SNN Hardware using RRAM-array for Asynchronous Real-time Learning

abstract: Spiking Neural Network (SNN) naturally inspires hardware implementation as it is based on biology. For learning, spike time dependent plasticity (STDP) may be implemented using an energy efficient waveform superposition on memristor based synapse. However, system level implementation has three challenges. First, a classic dilemma is that recognition requires current reading for short voltage$-$spikes which is disturbed by large voltage$-$waveforms that are simultaneously applied on the same memristor for real$-$time learning i.e. the simultaneous read$-$write dilemma. Second, the hardware needs to exactly replicate software implementation for easy adaptation of algorithm to hardware. Third, the devices used in hardware simulations must be realistic. In this paper, we present an approach to address the above concerns. First, the learning and recognition occurs in separate arrays simultaneously in real$-$time, asynchronously $-$ avoiding non$-$biomimetic clocking based complex signal management. Second, we show that the hardware emulates software at every stage by comparison of SPICE (circuit$-$simulator) with MATLAB (mathematical SNN algorithm implementation in software) implementations. As an example, the hardware shows 97.5 per cent accuracy in classification which is equivalent to software for a Fisher$-$Iris dataset. Third, the STDP is implemented using a model of synaptic device implemented using HfO2 memristor. We show that an increasingly realistic memristor model slightly reduces the hardware performance (85 per cent), which highlights the need to engineer RRAM characteristics specifically for SNN.


title: Stochastic gravitational wave background from newly born massive magnetars: The role of a dense matter equation of state

abstract: Newly born massive magnetars are generally considered to be produced by binary neutron star (NS) mergers, which could give rise to short gamma-ray bursts (SGRBs). The strong magnetic fields and fast rotation of these magnetars make them promising sources for gravitational wave (GW) detection using ground based GW interferometers. Based on the observed masses of Galactic NS-NS binaries, by assuming different equations of state (EOSs) of dense matter, we investigate the stochastic gravitational wave background (SGWB) produced by an ensemble of newly born massive magnetars. The massive magnetar formation rate is estimated through: (i) the SGRB formation rate (hereafter entitled as MFR1); (ii) the NS-NS merger rate (hereafter entitled as MFR2). We find that for massive magnetars with masses $M_{\rm mg}=2.4743 M_\odot$, if EOS CDDM2 is assumed, the resultant SGWBs may be detected by the future Einstein Telescope (ET) even for MFR1 with minimal local formation rate, and for MFR2 with a local merger rate $\dot{\rho}_{\rm c}^{\rm o}(0)\lesssim 10$ ${\rm Mpc}^{-3}{\rm Myr}^{-1}$. However, if EOS BSk21 is assumed, the SGWB may be detectable by the ET for MFR1 with the maximal local formation rate. Moreover, the background spectra show cutoffs at about 350 Hz in the case of EOS BSk21, and at 124 Hz for CDDM2, respectively. We suggest that if the cutoff at $\sim100$ Hz in the background spectrum from massive magnetars could be detected, then the quark star EOS CDDM2 seems to be favorable. Moreover, the EOSs, which present relatively small TOV maximum masses, would be excluded.


title: A possible origin of the Galactic Center magnetar SGR 1745-2900

abstract: Since a large population of massive O/B stars and putative neutron stars (NSs) located in the vicinity of the Galactic center (GC), intermediate-mass X-ray binaries (IMXBs) constituted by a NS and a B-type star probably exist here. We investigate the evolutions of accreting NSs in IMXBs (similar to M82 X-2) with a $\sim5.2M_\odot$ companion, and orbit period $\simeq2.53$ day. By adopting an mildly super-Eddington rate $\dot{M}=6\times10^{-8}M_\odot~{\rm yr}^{-1}$ for the early Case B Roche-lobe overflow (RLOF) accretion, we find only in accreting NSs with quite elastic crusts (slippage factor $s=0.05$), the toroidal magnetic fields can be amplified within 1 Myrs, which is assumed to be the longest duration of the RLOF. These IMXBs will evolve into NS+white dwarf (WD) binaries if they are dynamical stable. However, before the formation of NS+WD binaries, the high stellar density in the GC will probably lead to frequent encounters between the NS+evolved star binaries (in post-early Case B mass transfer phase) and NSs or exchange encounters with other stars, which may produce single NSs. These NSs will evolve into magnetars when the amplified poloidal magnetic fields diffuse out to the NS surfaces. Consequently, our results provide a possible explanation for the origin of the GC magnetar SGR 1745-2900. Moreover, the accreting NSs with $s>0.05$ will evolve into millisecond pulsars (MSPs). Therefore, our model reveals the GC magnetars and MSPs could both originate from the special kind of IMXBs.