title: The extent of chemically enriched gas around star-forming dwarf galaxies

abstract: Supernova driven winds are often invoked to remove chemically enriched gas from dwarf galaxies to match their low observed metallicities. In such shallow potential wells, outflows may produce massive amounts of enriched halo gas (circum-galactic medium or CGM) and pollute the intergalactic medium (IGM). Here, we present a survey of the CGM and IGM around 18 star-forming field dwarfs with stellar masses of $\log\,M_*/M_\odot\approx8-9$ at $z\approx0.2$. Eight of these have CGM probed by quasar absorption spectra at projected distances, $d$, less than the host virial radius, $R_{\rm h}$. Ten are probed in the surrounding IGM at $d/R_{\rm h}=1-3$. The absorption measurements include neutral hydrogen, the dominant silicon ions for diffuse cool gas ($T\sim10^4$ K; Si II, Si III, and Si IV), moderately ionized carbon (C IV), and highly ionized oxygen (O VI). Metal absorption from the CGM of the dwarfs is less common and $\approx4\times$ weaker compared to massive star-forming galaxies though O VI absorption is still common. None of the dwarfs probed at $d/R_{\rm h}=1-3$ have definitive metal-line detections. Combining the available silicon ions, we estimate that the cool CGM of the dwarfs accounts for only $2-6\%$ of the expected silicon budget from the yields of supernovae associated with past star-formation. The highly ionized O VI accounts for $\approx8\%$ of the oxygen budget. As O VI traces an ion with expected equilibrium ion fractions of $\lesssim 0.2$, the highly ionized CGM may represent a significant metal reservoir even for dwarfs not expected to maintain gravitationally shock heated hot halos.


title: Validating Semi-Analytic Models of High-Redshift Galaxy Formation using Radiation Hydrodynamical Simulations

abstract: We use a cosmological hydrodynamic simulation calculated with Enzo and the semi-analytic galaxy formation model (SAM) GAMMA to address the chemical evolution of dwarf galaxies in the early universe. The long-term goal of the project is to better understand the origin of metal-poor stars and the formation of dwarf galaxies and the Milky Way halo by cross-validating these theoretical approaches. We combine GAMMA with the merger tree of the most massive galaxy found in the hydrodynamic simulation and compare the star formation rate, the metallicity distribution function (MDF), and the age-metallicity relationship predicted by the two approaches. We found that the SAM can reproduce the global trends of the hydrodynamic simulation. However, there are degeneracies between the model parameters and more constraints (e.g., star formation efficiency, gas flows) need to be extracted from the simulation to isolate the correct semi-analytic solution. Stochastic processes such as bursty star formation histories and star formation triggered by supernova explosions cannot be reproduced by the current version of GAMMA. Non-uniform mixing in the galaxy's interstellar medium, coming primarily from self-enrichment by local supernovae, causes a broadening in the MDF that can be emulated in the SAM by convolving its predicted MDF with a Gaussian function having a standard deviation of ~0.2 dex. We found that the most massive galaxy in the simulation retains nearby 100% of its baryonic mass within its virial radius, which is in agreement with what is needed in GAMMA to reproduce the global trends of the simulation.


title: Fluctuations of the gravitational field generated by a random population of extended substructures

abstract: A large population of extended substructures generates a stochastic gravitational field that is fully specified by the function $p({\bf F})$, which defines the probability that a tracer particle experiences a force $\bf F$ within the interval ${\bf F},{\bf F}+ d\bf F$. This paper presents a statistical technique for deriving the spectrum of random fluctuations directly from the number density of substructures with known mass and size functions. Application to the subhalo population found in cold dark matter simulations of Milky Way-sized haloes shows that, while the combined force distribution is governed by the most massive satellites, the fluctuations of the {\it tidal} field are completely dominated by the smallest and most abundant subhaloes. In light of this result we discuss observational experiments that may be sufficiently sensitive to Galactic tidal fluctuations to probe the "dark" low-end of the subhalo mass function and constrain the particle mass of warm and ultra-light axion dark matter models.


title: Deep Subaru Hyper Suprime-Cam observations of Milky Way satellites Columba I and Triangulum II

abstract: We present deep, wide-field Subaru Hyper Suprime-Cam photometry of two recently discovered satellites of the Milky Way (MW): Columba I and Triangulum II. The color magnitude diagrams of both objects point to exclusively old and metal-poor stellar populations. We re-derive structural parameters and luminosities of these satellites, and find $M_{\rm V, Col~I} = -4.2\pm0.2$ for Col I and $M_{\rm V, Tri~II} = -1.2\pm0.4$ for Tri II, with corresponding half-light radii of $r_{\rm h, Col~I} = 117\pm17$ pc and $r_{\rm h, Tri~II} = 21\pm4$ pc. The properties of both systems are consistent with observed scaling relations for MW dwarf galaxies. Based on archival data, we derive upper limits on the neutral gas content of these dwarfs, and find that they lack HI, as do the majority of observed satellites within the MW virial radius. Neither satellite shows evidence of tidal stripping in the form of extensions or distortions in matched-filter stellar density maps or surface density profiles. However, the smaller Tri II system is relatively metal-rich for its luminosity (compared to other MW satellites), possibly because it has been tidally stripped. Through a suite of orbit simulations, we show that Tri II is approaching pericenter of its eccentric orbit, a stage at which tidal debris is unlikely to be seen. In addition, we find that Tri II may be on its first infall into the MW, which helps explain its unique properties among MW dwarfs. Further evidence that Tri II is likely an ultra-faint dwarf comes from its stellar mass function, which is similar to those of other MW dwarfs.


title: MatchingTools: a Python library for symbolic effective field theory calculations

abstract: MatchingTools is a Python library for doing symbolic calculations in effective field theory. It provides the tools to construct general models by defining their field content and their interaction Lagrangian. Once a model is given, the heavy particles can be integrated out at the tree level to obtain an effective Lagrangian in which only the light particles appear. After integration, some of the terms of the resulting Lagrangian might not be independent. MatchingTools contains functions for transforming these terms to rewrite them in terms of any chosen set of operators.


title: Observation of superparamagnetism in coexistence with quantum anomalous Hall C=$\pm$1 and C=0 Chern states

abstract: Simultaneous transport and scanning nanoSQUID-on-tip magnetic imaging studies in Cr-(Bi,Sb)$_2$Te$_3$ modulation-doped films reveal the presence of superparamagnetic order within the quantum anomalous Hall regime. In contrast to the expectation that a long-range ferromagnetic order is required for establishing the quantum anomalous Hall state, superparamagnetic dynamics of weakly interacting nanoscale magnetic islands is observed both in the plateau transition regions as well as within the fully quantized C=$\pm$1 Chern plateaus. Modulation doping of the topological insulator films is found to give rise to significantly larger superparamagnetic islands as compared to uniform magnetic doping, evidently leading to enhanced robustness of the quantum anomalous Hall effect. Nonetheless, even in this more robust quantum state, attaining full quantization of transport coefficients requires magnetic alignment of at least 95% of the superparamagnetic islands. The superparamagnetic order is also found within the incipient C=0 zero Hall plateau, which may host an axion state if the top and bottom magnetic layers are magnetized in opposite directions. In this regime, however, a significantly lower level of island alignment is found in our samples, hindering the formation of the axion state. Comprehension and control of superparamagnetic dynamics is thus a key factor in apprehending the fragility of the quantum anomalous Hall state and in enhancing the endurance of the different quantized states to higher temperatures for utilization of robust topological protection in novel devices.


title: Cosmological Bounds on Non-Abelian Dark Forces

abstract: Non-Abelian dark gauge forces that do not couple directly to ordinary matter may be realized in nature. The minimal form of such a dark force is a pure Yang-Mills theory. If the dark sector is reheated in the early universe, it will be realized as a set of dark gluons at high temperatures and as a collection of dark glueballs at lower temperatures, with a cosmological phase transition from one form to the other. Despite being dark, the gauge fields of the new force can connect indirectly to the Standard Model through non-renormalizable operators. These operators will transfer energy between the dark and visible sectors, and they allow some or all of the dark glueballs to decay. In this work we investigate the cosmological evolution and decays of dark glueballs in the presence of connector operators to the Standard Model. Dark glueball decays can modify cosmological and astrophysical observables, and we use these considerations to put very strong limits on the existence of pure non-Abelian dark forces. On the other hand, if one or more of the dark glueballs are stable, we find that they can potentially make up the dark matter of the universe.


title: Old but still warm: Far-UV detection of PSR B0950+08

abstract: We report on a Hubble Space Telescope detection of the nearby, old pulsar B0950+08 ($d\simeq 262$ pc, spin-down age 17.5 Myr) in two far-ultraviolet (FUV) bands. We measured the mean flux densities $\bar{f}_\nu = 109\pm 6$ nJy and $83\pm 14$ nJy in the F125LP and F140LP filters (pivot wavelengths 1438 and 1528 \AA). Using the FUV data together with previously obtained optical-UV data, we conclude that the optical-FUV spectrum consists of two components -- a nonthermal (presumably magnetospheric) power-law spectrum ($f_\nu\propto \nu^\alpha$) with slope $\alpha\sim -1.2$ and a thermal spectrum emitted from the bulk of the neutron star surface with a temperature in the range of $(1-3)\times 10^5$ K, depending on interstellar extinction and neutron star radius. These temperatures are much higher than predicted by neutron star cooling models for such an old pulsar, which means that some heating mechanisms operate in neutron stars. A plausible mechanism responsible for the high temperature of PSR B0950+08 is the interaction of vortex lines of the faster rotating neutron superfluid with the slower rotating normal matter in the inner neutron star crust (vortex creep heating).


title: Atomic-layer doping of SiGe heterostructures for atomic-precision donor devices

abstract: As a first step to porting scanning tunneling microscopy methods of atomic-precision fabrication to a strained-Si/SiGe platform, we demonstrate post-growth P atomic-layer doping of SiGe heterostructures. To preserve the substrate structure and elastic state, we use a T $\leq 800^\circ$C process to prepare clean Si$_{0.86}$Ge$_{0.14}$ surfaces suitable for atomic-precision fabrication. P-saturated atomic-layer doping is incorporated and capped with epitaxial Si under a thermal budget compatible with atomic-precision fabrication. Hall measurements at T$=0.3$ K show that the doped heterostructure has R$_{\square}=570\pm30$ $\Omega$, yielding an electron density $n_{e}=2.1\pm0.1\times10^{14}$cm$^{-2}$ and mobility $\mu_e=52\pm3$ cm$^{2}$ V$^{-1}$ s$^{-1}$, similar to saturated atomic-layer doping in pure Si and Ge. The magnitude of $\mu_e$ and the complete absence of Shubnikov-de Haas oscillations in magnetotransport measurements indicate that electrons are overwhelmingly localized in the donor layer, and not within a nearby buried Si well. This conclusion is supported by self-consistent Schr\"odinger-Poisson calculations that predict electron occupation primarily in the donor layer.


title: Direct mapping of the temperature and velocity gradients in discs. Imaging the vertical CO snow line around IM Lupi

abstract: Accurate measurements of the physical structure of protoplanetary discs are critical inputs for planet formation models. These constraints are traditionally established via complex modelling of continuum and line observations. Instead, we present an empirical framework to locate the CO isotopologue emitting surfaces from high spectral and spatial resolution ALMA observations. We apply this framework to the disc surrounding IM Lupi, where we report the first direct, i.e. model independent, measurements of the radial and vertical gradients of temperature and velocity in a protoplanetary disc. The measured disc structure is consistent with an irradiated self-similar disc structure, where the temperature increases and the velocity decreases towards the disc surface. We also directly map the vertical CO snow line, which is located at about one gas scale height at radii between 150 and 300 au, with a CO freeze-out temperature of $21\pm2$ K. In the outer disc ($> 300$ au), where the gas surface density transitions from a power law to an exponential taper, the velocity rotation field becomes significantly sub-Keplerian, in agreement with the expected steeper pressure gradient. The sub-Keplerian velocities should result in a very efficient inward migration of large dust grains, explaining the lack of millimetre continuum emission outside of 300 au. The sub-Keplerian motions may also be the signature of the base of an externally irradiated photo-evaporative wind. In the same outer region, the measured CO temperature above the snow line decreases to $\approx$ 15 K because of the reduced gas density, which can result in a lower CO freeze-out temperature, photo-desorption, or deviations from local thermodynamic equilibrium.


title: A Bayesian Perspective on Generalization and Stochastic Gradient Descent

abstract: We consider two questions at the heart of machine learning; how can we predict if a minimum will generalize to the test set, and why does stochastic gradient descent find minima that generalize well? Our work responds to Zhang et al. (2016), who showed deep neural networks can easily memorize randomly labeled training data, despite generalizing well on real labels of the same inputs. We show that the same phenomenon occurs in small linear models. These observations are explained by the Bayesian evidence, which penalizes sharp minima but is invariant to model parameterization. We also demonstrate that, when one holds the learning rate fixed, there is an optimum batch size which maximizes the test set accuracy. We propose that the noise introduced by small mini-batches drives the parameters towards minima whose evidence is large. Interpreting stochastic gradient descent as a stochastic differential equation, we identify the "noise scale" $g = \epsilon (\frac{N}{B} - 1) \approx \epsilon N/B$, where $\epsilon$ is the learning rate, $N$ the training set size and $B$ the batch size. Consequently the optimum batch size is proportional to both the learning rate and the size of the training set, $B_{opt} \propto \epsilon N$. We verify these predictions empirically.


title: Finite temperature dynamics of the Mott insulating Hubbard chain

abstract: We study the dynamical response of the half-filled one-dimensional(1d) Hubbard model for a range of interaction strengths $U$ and temperatures $T$ by a combination of numerical and analytical techniques. Using time-dependent density matrix renormalization group (tDMRG) computations we find that the single-particle spectral function undergoes a crossover to a spin-incoherent Luttinger liquid regime at temperatures $T \sim J=4t^2/U$ for sufficiently large $U > 4t$. At smaller values of $U$ and elevated temperatures the spectral function is found to exhibit two thermally broadened bands of excitations, reminiscent of what is found in the Hubbard-I approximation. The dynamical density-density response function is shown to exhibit a finite temperature resonance at low frequencies inside the Mott gap, with a physical origin similar to the Villain mode in gapped quantum spin chains. We complement our numerical computations by developing an analytic strong-coupling approach to the low-temperature dynamics in the spin-incoherent regime.


title: Coupling effect of topological states and Chern insulators in two-dimensional triangular lattices

abstract: We investigate topological states of two-dimensional (2D) triangular lattices with multi-orbitals. Tight-binding model calculations of a 2D triangular lattice based on $\emph{p}_{x}$ and \emph{p}_{y} orbitals exhibit very interesting doubly degenerate energy points at different positions ($\Gamma$ and K/K$^{\prime}$) in momentum space, with quadratic non-Dirac and linear Dirac band dispersions, respectively. Counterintuitively, the system shows a global topologically trivial rather than nontrivial state with consideration of spin-orbit coupling due to the "destructive interference effect" between the topological states at the $\Gamma$ and K/K$^{\prime}$ points. The topologically nontrivial state can emerge by introducing another set of triangular lattices to the system (bitriangular lattices) due to the breakdown of the interference effect. With first-principles calculations, we predict an intrinsic Chern insulating behavior (quantum anomalous Hall effect) in a family of 2D triangular lattice metal-organic framework of Co(C$_{21}$N$_{3}$H$_{15}$) (TPyB-Co) from this scheme. Our results provide a different path and theoretical guidance for the search for and design of new 2D topological quantum materials.


title: Optimal Control of Interdependent Epidemics in Complex Networks

abstract: Optimal control of interdependent epidemics spreading over complex networks is a critical issue. We first establish a framework to capture the coupling between two epidemics, and then analyze the system's equilibrium states by categorizing them into three classes, and deriving their stability conditions. The designed control strategy globally optimizes the trade-off between the control cost and the severity of epidemics in the network. A gradient descent algorithm based on a fixed point iterative scheme is proposed to find the optimal control strategy. The optimal control will lead to switching between equilibria of the interdependent epidemics network. Case studies are used to corroborate the theoretical results finally.


title: Large $N$ phase transitions and the fate of small Schwarzschild-AdS black holes

abstract: Sufficiently small Schwarzschild-AdS black holes in asymptotically global AdS$_5 \times S^5$ spacetime are known to become dynamically unstable toward deformation of the internal $S^5$ geometry. The resulting evolution of such an unstable black hole is related, via holography, to the dynamics of supercooled plasma which has reached the limit of metastability in maximally supersymmetric large-$N$ Yang-Mills theory on $R \times S^3$. Puzzles related to the resulting dynamical evolution are discussed, with a key issue involving differences between the large $N$ limit in the dual field theory and typical large volume thermodynamic limits.


title: Complexity and capacity bounds for quantum channels

abstract: We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite rank and, in the case of a graph operator system, as a quantum intersection number. The quantum complexity and a closely related quantum version of orthogonal rank turn out to be upper bounds for the Shannon zero-error capacity of a quantum channel, and we construct examples for which these bounds beat the best previously known general upper bound for the capacity of quantum channels, given by the quantum Lov\'asz theta number.


title: Nonlinear acoustics: Blackstock-Crighton equations with a periodic forcing term

abstract: The Blackstock-Crighton equations describe the motion of a viscous, heat-conducting, compressible fluid. They are used as models for acoustic wave propagation in a medium in which both nonlinear and dissipative effects are taken into account. In this article, a mathematical analysis of the Blackstock-Crighton equations with a time-periodic forcing term is carried out. For arbitrary time-periodic data (sufficiently restricted in size) it is shown that a time-periodic solution of the same period always exists. This implies that the dissipative effects are sufficient to avoid resonance within the Blackstock-Crighton models. The equations are considered in a three-dimensional bounded domain with both non-homogeneous Dirichlet and Neumann boundary values. Existence of a solution is obtained via a fixed-point argument based on appropriate a priori estimates for the linearized equations.


title: Weak three-dimensional mediators of two-dimensional triplet pairing

abstract: Recent experiments demonstrate the ability to construct cold atom mixtures with species selective optical lattices. This allows for the possibility of a mixed-dimension system, where one fermionic atomic species is confined to a two dimensional lattice, while another species is confined to a three dimensional lattice that contains the two-dimensional one. We show that by tuning the density of an arbitrary number of three-dimensional atomic species, we can engineer an arbitrary, rotationally-symmetric, density-density, effective interaction for the two-dimensional particles. This possibility allows for an effective interaction that favours triplet pairing for two-dimensional, $SU(2)$ symmetric particles. Using a functional renormalization-group analysis for the two-dimensional particles, we derive and numerically confirm that the critical temperature for triplet pairing depends exponentially on the effective interaction strength. We then analyse how the stability of this phase is affected by the particle densities and the fine tuning of interaction parameters. We conclude by briefly discussing experimental considerations and the potential to study triplet pairing physics, including Majorana fermions and spin textures, with cold atoms on optical lattices.


title: Next-to-leading order correction to the factorization limit of the radiation spectrum

abstract: A next-to-leading order correction to the high-energy factorization limit of radiation spectrum from an ultrarelativistic electron scattering in an external field is evaluated. Generally, it does not express through scattering characteristics, and accounts for smoothness of the crossover between the initial and final electron asymptotes. A few examples of application of this formula are given, including bremsstrahlung in amorphous matter and undulator radiation.


title: Cosmological applications of the Brown-York quasilocal mass

abstract: The Brown-York quasilocal energy is applied to three cosmological problems which have previously been studied with the Hawking-Hayward quasilocal energy (Newtonian simulations of large scale structure formation, turnaround radius in the present accelerating universe, and lensing by the cosmological constant). It is found that, in an appropriate gauge and to first order in the amplitude of the cosmological perturbations describing local structures, the Hawking-Hayward and the Brown-York quasilocal masses predict the same results.


title: The Symmetric Tensor Product on the Drinfeld Centre of a Symmetric Fusion Category

abstract: We define a symmetric tensor product on the Drinfeld centre of a symmetric fusion category, in addition to its usual tensor product. We examine what this tensor product looks like under Tannaka duality, identifying the symmetric fusion category with the representation category of a finite (super)-group. Under this identification, the Drinfeld centre is the category of equivariant vector bundles over the finite group (underlying the super-group, in the super case). In the non-super case, we show that the symmetric tensor product corresponds to the fibrewise tensor product of these vector bundles. In the super case, we define for each super-group structure on the finite group a super-version of the fibrewise tensor product. We show that the symmetric tensor product on the Drinfeld centre of the representation category of the resulting finite super-groups corresponds to this super-version of the fibrewise tensor product on the category of equivariant vector bundles over the finite group.


title: S-Isomap++: Multi Manifold Learning from Streaming Data

abstract: Manifold learning based methods have been widely used for non-linear dimensionality reduction (NLDR). However, in many practical settings, the need to process streaming data is a challenge for such methods, owing to the high computational complexity involved. Moreover, most methods operate under the assumption that the input data is sampled from a single manifold, embedded in a high dimensional space. We propose a method for streaming NLDR when the observed data is either sampled from multiple manifolds or irregularly sampled from a single manifold. We show that existing NLDR methods, such as Isomap, fail in such situations, primarily because they rely on smoothness and continuity of the underlying manifold, which is violated in the scenarios explored in this paper. However, the proposed algorithm is able to learn effectively in presence of multiple, and potentially intersecting, manifolds, while allowing for the input data to arrive as a massive stream.


title: Learning Inverse Statics Models Efficiently

abstract: Online Goal Babbling and Direction Sampling are recently proposed methods for direct learning of inverse kinematics mappings from scratch even in high-dimensional sensorimotor spaces following the paradigm of "learning while behaving". To learn inverse statics mappings - primarily for gravity compensation - from scratch and without using any closed-loop controller, we modify and enhance the Online Goal Babbling and Direction Sampling schemes. Moreover, we exploit symmetries in the inverse statics mappings to drastically reduce the number of samples required for learning inverse statics models. Results for a 2R planar robot, a 3R simplified human arm, and a 4R humanoid robot arm clearly demonstrate that their inverse statics mappings can be learned successfully with our modified online Goal Babbling scheme. Furthermore, we show that the number of samples required for the 2R and 3R arms can be reduced by a factor of at least 8 and 16 resp. -depending on the number of discovered symmetries.


title: New Variable Compliance Method for Estimating In-Situ Stress and Leak-Off from DFIT Data

abstract: It is shown that using Carter leak-off is an oversimplification that leads to significant errors in the interpretation of DFIT data. Most importantly, this article reveals that previous methods of estimating minimum in-situ stress often lead to significant over or underestimates. Based on our modeling and simulation results, we propose a much more accurate and reliable method to estimate the minimum in-situ stress and fracture pressure dependent leak-off rate.


title: Convex optimization over intersection of simple sets: improved convergence rate guarantees via an exact penalty approach

abstract: We consider the problem of minimizing a convex function over the intersection of finitely many simple sets which are easy to project onto. This is an important problem arising in various domains such as machine learning. The main difficulty lies in finding the projection of a point in the intersection of many sets. Existing approaches yield an infeasible point with an iteration-complexity of $O(1/\varepsilon^2)$ for nonsmooth problems with no guarantees on the in-feasibility. By reformulating the problem through exact penalty functions, we derive first-order algorithms which not only guarantees that the distance to the intersection is small but also improve the complexity to $O(1/\varepsilon)$ and $O(1/\sqrt{\varepsilon})$ for smooth functions. For composite and smooth problems, this is achieved through a saddle-point reformulation where the proximal operators required by the primal-dual algorithms can be computed in closed form. We illustrate the benefits of our approach on a graph transduction problem and on graph matching.


title: Finite continuum quasi distributions from lattice QCD

abstract: We present a new approach to extracting continuum quasi distributions from lattice QCD. Quasi distributions are defined by matrix elements of a Wilson-line operator extended in a spatial direction, evaluated between nucleon states at finite momentum. We propose smearing this extended operator with the gradient flow to render the corresponding matrix elements finite in the continuum limit. This procedure provides a nonperturbative method to remove the power-divergence associated with the Wilson line and the resulting matrix elements can be directly matched to light-front distributions via perturbation theory.


title: UV photoprocessing of NH3 ice: photon-induced desorption mechanisms

abstract: Ice mantles detected on the surface of dust grains toward the coldest regions of the interstellar medium can be photoprocessed by the secondary ultraviolet (UV) field present in dense cloud interiors. In this work, we present UV-irradiation experiments under astrophysically relevant conditions of pure NH3 ice samples in an ultra-high vacuum chamber where solid samples were deposited onto a substrate at 8 K. The ice analogs were subsequently photoprocessed with a microwave-discharged hydrogen- flow lamp. The induced radiation and photochemistry led to the production of H2, N2 and N2H4. In addition, photodesorption to the gas phase of the original ice component, NH3, and two of the three detected photoproducts, H2 and N2, was observed thanks to a quadrupole mass spectrometer (QMS). Calibration of the QMS allowed quantifica- tion of the photodesorption yields, leading to Ypd(NH3)=2.1+2.1-1.0 x 10^-3 molecules per incident photon, which remained constant during the whole experiments, while photodesorption of H2 and N2 increased with fluence, pointing toward an indirect photodesorption mecha- nism involving energy transfer for these species. Photodesorption yield of N2 molecules after a fluence equivalent to that experienced by ice mantles in space was similar to that of the NH3 molecules (Ypd (N2) = 1.7+1.7-0.9 x 10^-3 molecules incident photon ).


title: Relative Hard Lefschetz Theorem for Fans

abstract: We prove the Relative Hard Lefschetz theorem and the Relative Hodge-Riemann bilinear relations for combinatorial intersection cohomology sheaves on fans.


title: RG flows with supersymmetry enhancement and geometric engineering

abstract: In this paper we study a class of $\mathcal{N}=2$ SCFTs with ADE global symmetry defined via Type IIB compactification on a class of hypersurfaces in $\mathbb{C}^3\times\mathbb{C}^*$. These can also be constructed by compactifying the 6d (2,0) theory of type ADE on a sphere with an irregular and a full punctures. When we couple to the ADE moment map a chiral multiplet in the adjoint representation and turn on a (principal) nilpotent vev for it, all the theories in this family display enhancement of supersymmetry in the infrared. We observe that all known examples of lagrangian theories which flow, upon the same type of deformation, to strongly coupled $\mathcal{N}=2$ theories fit naturally in our framework, thus providing a new perspective on this topic. We propose an infrared equivalence between this RG flow and a manifestly $\mathcal{N}=2$ preserving one and, as a byproduct, we extract a precise prescription to relate the SW curves describing the UV and IR fixed points for all theories with A or D global symmetry. We also find, for a certain subclass, a simple relation between UV and IR theories at the level of chiral algebras.


title: On the number of unknot diagrams

abstract: Let $D$ be a knot diagram, and let ${\mathcal D}$ denote the set of diagrams that can be obtained from $D$ by crossing exchanges. If $D$ has $n$ crossings, then ${\mathcal D}$ consists of $2^n$ diagrams. A folklore argument shows that at least one of these $2^n$ diagrams is unknot, from which it follows that every diagram has finite unknotting number. It is easy to see that this argument can be used to show that actually ${\mathcal D}$ has more than one unknot diagram, but it cannot yield more than $4n$ unknot diagrams. We improve this linear bound to a superpolynomial bound, by showing that at least $2^{\sqrt[3]{n}}$ of the diagrams in ${\mathcal D}$ are unknot. We also show that either all the diagrams in ${\mathcal D}$ are unknot, or there is a diagram in ${\mathcal D}$ that is a diagram of the trefoil knot.


title: Coded Fourier Transform

abstract: We consider the problem of computing the Fourier transform of high-dimensional vectors, distributedly over a cluster of machines consisting of a master node and multiple worker nodes, where the worker nodes can only store and process a fraction of the inputs. We show that by exploiting the algebraic structure of the Fourier transform operation and leveraging concepts from coding theory, one can efficiently deal with the straggler effects. In particular, we propose a computation strategy, named as coded FFT, which achieves the optimal recovery threshold, defined as the minimum number of workers that the master node needs to wait for in order to compute the output. This is the first code that achieves the optimum robustness in terms of tolerating stragglers or failures for computing Fourier transforms. Furthermore, the reconstruction process for coded FFT can be mapped to MDS decoding, which can be solved efficiently. Moreover, we extend coded FFT to settings including computing general $n$-dimensional Fourier transforms, and provide the optimal computing strategy for those settings.


title: Thermal Simulations, Open Boundary Conditions and Switches

abstract: $SU(N)$ gauge theories on compact spaces have a non-trivial vacuum structure characterized by a countable set of topological sectors and their topological charge. In lattice simulations, every topological sector needs to be explored a number of times which reflects its weight in the path integral. Current lattice simulations are impeded by the so-called freezing of the topological charge problem. As the continuum is approached, energy barriers between topological sectors become well defined and the simulations get trapped in a given sector. A possible way out was introduced by L\"uscher and Schaefer using open boundary condition in the time extent. However, this solution cannot be used for thermal simulations, where the time direction is required to be periodic. In this proceedings, we present results obtained using open boundary conditions in space, at non-zero temperature. With these conditions, the topological charge is not quantized and the topological barriers are lifted. A downside of this method are the strong finite-size effects introduced by the boundary conditions. We also present some exploratory results which show how these conditions could be used on an algorithmic level to reshuffle the system and generate periodic configurations with non-zero topological charge.


title: Superpixels Based Marker Tracking Vs. Hue Thresholding In Rodent Biomechanics Application

abstract: Examining locomotion has improved our basic understanding of motor control and aided in treating motor impairment. Mice and rats are premier models of human disease and increasingly the model systems of choice for basic neuroscience. High frame rates (250 Hz) are needed to quantify the kinematics of these running rodents. Manual tracking, especially for multiple markers, becomes time-consuming and impossible for large sample sizes. Therefore, the need for automatic segmentation of these markers has grown in recent years. We propose two methods to segment and track these markers: first, using SLIC superpixels segmentation with a tracker based on position, speed, shape, and color information of the segmented region in the previous frame; second, using a thresholding on hue channel following up with the same tracker. The comparison showed that the SLIC superpixels method was superior because the segmentation was more reliable and based on both color and spatial information.


title: Continuous-variable quantum probes for structured environments

abstract: We address parameter estimation for complex/structured systems and suggest an effective estimation scheme based on continuous-variables quantum probes. In particular, we investigate the use of a single bosonic mode as a probe for Ohmic reservoirs, and obtain the ultimate quantum limits to the precise estimation of their cutoff frequency. We assume the probe prepared in a Gaussian state and determine the optimal working regime, i.e. the conditions for the maximization of the quantum Fisher information in terms of the initial preparation, the reservoir temperature and the interaction time. Upon investigating the Fisher information of feasible measurements we arrive at a remarkable simple result: homodyne detection of canonical variables allows one to achieve the ultimate quantum limit to precision under suitable, mild, conditions. Finally, upon exploiting a perturbative approach, we find the invariant sweet spots of the (tunable) characteristic frequency of the probe, able to drive the probe towards the optimal working regime.


title: Photoionisation of Ca$^{+}$ ions in the valence-energy region 20$\sim$eV~--~56$\sim$eV : experiment and theory

abstract: Relative cross sections for the valence shell photoionisation (PI) of $\rm ^2S$ ground level and $\rm ^2D$ metastable Ca$^{+}$ ions were measured with high energy resolution by using the ion-photon merged-beams technique at the Advanced Light Source. Overview measurements were performed with a full width at half maximum bandpass of $\Delta E =17$~meV, covering the energy range 20~eV -- 56~eV. Details of the PI spectrum were investigated at energy resolutions reaching the level of $\Delta E=3.3$~meV. The photon energy scale was calibrated with an uncertainty of $\pm5$~meV. By comparison with previous absolute measurements %by Kjeldsen et al in the energy range 28~eV -- 30.5~eV and by Lyon et al in the energy range 28~eV -- 43~eV the present experimental high-resolution data were normalised to an absolute cross-section scale and the fraction of metastable Ca$^{+}$ ions that were present in the parent ion beam was determined to be 18$\pm$4\%. Large-scale R-matrix calculations using the Dirac Coulomb approximation and employing 594 levels in the close-coupling expansion were performed for the Ca$^{+}(3s^23p^64s~^2\textrm{S}_{1/2})$ and Ca$^{+}(3s^2 3p^6 3d~^2\textrm{D}_{3/2,5/2})$ levels. The experimental data are compared with the results of these calculations and previous theoretical and experimental studies.


title: Experimental demonstration of a two-dimensional phonon cavity in the quantum regime

abstract: The quantum regime in acoustic systems is a focus of recent fundamental research in the new field of Quantum Acoustodynamics (QAD). Systems based on surface acoustic waves having an advantage of easy integration in two-dimensions are particularly promising for the demonstration of novel effects in QAD and development of novel devices of quantum acousto-electronics. We demonstrate the vacuum mode of the surface acoustic wave resonator by coupling it to a superconducting artificial atom. The artificial atom is implemented into the resonator formed by two Brag mirrors. The results are consistent with expectations supported by the system model and our calculations. This work opens the way to map analogues of quantum optical effects into acoustic systems.


title: Energy critical Schr\"odinger equation with weighted exponential nonlinearity I: Local and global well-posedness

abstract: We investigate the initial value problem for a defocusing nonlinear Schr\"odinger equation with weighted exponential nonlinearity $$ i\partial_t u+\Delta u=\frac{u}{|x|^b}(e^{\alpha|u|^2}-1); \qquad (t,x) \in \mathbb{R}\times\mathbb{R}^2, $$ where $0< b <1$ and $\alpha=2\pi(2-b)$. We establish local and global well-posedness in the subcritical and critical regimes.


title: When a totally bounded group topology is the Bohr Topology of a LCA group

abstract: We look at the Bohr topology of maximally almost periodic groups (MAP, for short). Among other results, we investigate when a totally bounded abelian group $(G,w)$ is the Bohr reflection of a locally compact abelian group. Necessary and sufficient conditions are established in terms of the inner properties of $w$. As an application, an example of a MAP group $(G,t)$ is given such that every closed, metrizable subgroup $N$ of $bG$ with $N \cap G = \{0\}$ preserves compactness but $(G,t)$ does not strongly respects compactness. Thereby, we respond to Questions 4.1 and 4.3 in [comftrigwu].


title: Detection of sodium in the atmosphere of WASP-69b

abstract: Transit spectroscopy is one of the most commonly used methods to characterize exoplanets atmospheres. From the ground, these observations are very challenging due to the terrestrial atmosphere and its intrinsic variations, but high-spectral resolution observations overcome this difficulty by resolving the spectral lines and taking advantage of the different Doppler velocities of the Earth, the host star and the exoplanet. We analyze the transmission spectrum around the Na I doublet at 589 nm of the exoplanet WASP-69b, a hot Jupiter orbiting a K-type star with a period of 3.868 days, and compare the analysis to that of the well-know hot Jupiter HD 189733b. We also present the analysis of the Rossiter-McLaughlin effect for WASP-69b. Two transits of WASP-69b were observed with the HARPS-North spectrograph (R = 115 000) at the TNG telescope. We perform a telluric contamination subtraction based on the comparison between the observed spectra and a telluric water model. Then, the common steps of the differential spectroscopy are followed to extract the transmission spectrum. The method is tested with archival transit data of the extensively studied exoplanet HD 189733b, obtained with the HARPS-South spectrograph at ESO 3.6m telescope, and then applied to WASP-69b data. For HD 189733b, we spectrally resolve the Na I doublet and measure line contrasts of $0.72\pm0.05\%$ (D2) and $0.51\pm0.05\%$ (D1), and FWHMs of $0.64\pm0.04${\AA} (D2) and $0.60\pm0.06${\AA} (D1), in agreement with previously published results. A net blueshift of ${\sim}0.04${\AA} is measured. For WASP-69b only the contrast of the D2 line is measured ($5.8\pm0.3\%$). Even if this corresponds to a detection at the $5\sigma$-level of excess absorption of $0.5\pm0.1\%$ in a passband of $1.5${\AA}, more transits are needed to fully characterize the lines profiles and retrieve accurate atmospheric properties.


title: Model-based Design Evaluation of a Compact, High-Efficiency Neutron Scatter Camera

abstract: This paper presents the model-based design and evaluation of an instrument that estimates incident neutron direction using the kinematics of neutron scattering by hydrogen-1 nuclei in an organic scintillator. The instrument design uses a single, nearly contiguous volume of organic scintillator that is internally subdivided only as necessary to create optically isolated pillars. Scintillation light emitted in a given pillar is confined to that pillar by a combination of total internal reflection and a specular reflector applied to the four sides of the pillar transverse to its long axis. The scintillation light is collected at each end of the pillar using a photodetector. In this optically segmented design, the (x, y) position of scintillation light emission (where the x and y coordinates are transverse to the long axis of the pillars) is estimated as the pillar's (x, y) position in the scintillator "block", and the z-position (the position along the pillar's long axis) is estimated from the amplitude and relative timing of the signals produced by the photodetectors at each end of the pillar. For proton recoils greater than 1 MeV, we show that the (x, y, z)-position of neutron-proton scattering can be estimated with < 1 cm root-mean-squared [RMS] error and the proton recoil energy can be estimated with < 50 keV RMS error by fitting the photodetectors' response time history to models of optical photon transport within the scintillator pillars. Finally, we evaluate several alternative designs of this proposed single-volume scatter camera made of pillars of plastic scintillator (SVSC-PiPS), studying the effect of pillar dimensions, scintillator material, and photodetector response vs. time. Specifically, we conclude that an SVSC-PiPS constructed using EJ-204 and an MCP-PM will produce the most precise estimates of incident neutron direction and energy.


title: Constructing Datasets for Multi-hop Reading Comprehension Across Documents

abstract: Most Reading Comprehension methods limit themselves to queries which can be answered using a single sentence, paragraph, or document. Enabling models to combine disjoint pieces of textual evidence would extend the scope of machine comprehension methods, but currently there exist no resources to train and test this capability. We propose a novel task to encourage the development of models for text understanding across multiple documents and to investigate the limits of existing methods. In our task, a model learns to seek and combine evidence - effectively performing multi-hop (alias multi-step) inference. We devise a methodology to produce datasets for this task, given a collection of query-answer pairs and thematically linked documents. Two datasets from different domains are induced, and we identify potential pitfalls and devise circumvention strategies. We evaluate two previously proposed competitive models and find that one can integrate information across documents. However, both models struggle to select relevant information, as providing documents guaranteed to be relevant greatly improves their performance. While the models outperform several strong baselines, their best accuracy reaches 42.9% compared to human performance at 74.0% - leaving ample room for improvement.


title: Successive Four-Dimensional Stokes-Space Direct Detection

abstract: We present a successive detection scheme for the fourth dimension in a four-dimensional Stokes-space direct detection receiver. At the expense of a small number of electrical-domain computations, the additional information rate can be substantial.


title: Colossal photon bunching in quasiparticle-mediated nanodiamond cathodoluminescence

abstract: Nanoscale control over the second-order photon correlation function $g^{(2)}(\tau)$ is critical to emerging research in nonlinear nanophotonics and integrated quantum information science. Here we report on quasiparticle control of photon bunching with $g^{(2)}(0)>45$ in the cathodoluminescence of nanodiamond nitrogen vacancy (NV$^0$) centers excited by a converged electron beam in an aberration-corrected scanning transmission electron microscope. Plasmon-mediated NV$^0$ cathodoluminescence exhibits a 16-fold increase in luminescence intensity correlated with a three fold reduction in photon bunching compared with that of uncoupled NV$^0$ centers. This effect is ascribed to the excitation of single temporally uncorrelated NV$^0$ centers by single surface plasmon polaritons. Spectrally resolved Hanbury Brown--Twiss interferometry is employed to demonstrate that the bunching is mediated by the NV$^0$ phonon sidebands, while no observable bunching is detected at the zero-phonon line. The data are consistent with fast phonon-mediated recombination dynamics, a conclusion substantiated by agreement between Bayesian regression and Monte Carlo models of superthermal NV$^0$ luminescence.


title: Fine asymptotics for models with Gamma type moments

abstract: The aim of this paper is to give fine asymptotics for random variables with moments of Gamma type. Among the examples we consider are random determinants of Laguerre and Jacobi beta ensembles with varying dimensions (the number of observed variables and the number of measurements vary and may be different). In addition to the Dyson threefold way of classical random matrix models (GOE, GUE, GSE), we study random determinants of random matrices of the so-called tenfold way, including the Bogoliubov-de Gennes and chiral ensembles from mesoscopic physics. We show that fixed-trace matrix ensembles can be analysed as well. Finally, we add fine asymptotics for the $p(n)$-dimensional volume of the simplex with $p(n)+1$ points in ${\Bbb R}^n$ distributed according to special distributions, which is strongly correlated to Gram matrix ensembles. We use the framework of mod-$\varphi$ convergence to obtain extended limit theorems, Berry-Esseen bounds, precise moderate deviations, large and moderate deviation principles as well as local limit theorems. The work is especially based on the recent work of Dal Borgo, Hovhannisyan and Rouault.


title: The circumstellar disk HD$\,$169142: gas, dust and planets acting in concert?

abstract: HD$\,$169142 is an excellent target to investigate signs of planet-disk interaction due to the previous evidence of gap structures. We performed J-band (~1.2{\mu}m) polarized intensity imaging of HD169142 with VLT/SPHERE. We observe polarized scattered light down to 0.16" (~19 au) and find an inner gap with a significantly reduced scattered light flux. We confirm the previously detected double ring structure peaking at 0.18" (~21 au) and 0.56" (~66 au), and marginally detect a faint third gap at 0.70"-0.73" (~82-85 au). We explore dust evolution models in a disk perturbed by two giant planets, as well as models with a parameterized dust size distribution. The dust evolution model is able to reproduce the ring locations and gap widths in polarized intensity, but fails to reproduce their depths. It, however, gives a good match with the ALMA dust continuum image at 1.3 mm. Models with a parameterized dust size distribution better reproduce the gap depth in scattered light, suggesting that dust filtration at the outer edges of the gaps is less effective. The pile-up of millimeter grains in a dust trap and the continuous distribution of small grains throughout the gap likely require a more efficient dust fragmentation and dust diffusion in the dust trap. Alternatively, turbulence or charging effects might lead to a reservoir of small grains at the surface layer that is not affected by the dust growth and fragmentation cycle dominating the dense disk midplane. The exploration of models shows that extracting planet properties such as mass from observed gap profiles is highly degenerate.


title: Details Matter: noise and model structure set the relationship between cell size and cell cycle timing

abstract: Organisms across all domains of life regulate the size of their cells. However, the means by which this is done is poorly understood. We study two abstracted "molecular" models for size regulation: inhibitor dilution and initiator accumulation. We apply the models to two settings: bacteria like Escherichia coli, that grow fully before they set a division plane and divide into two equally sized cells, and cells that form a bud early in the cell division cycle, confine new growth to that bud, and divide at the connection between that bud and the mother cell, like the budding yeast Saccharomyces cerevisiae. In budding cells, delaying cell division until buds reach the same size as their mother leads to very weak size control, with average cell size and standard deviation of cell size increasing over time and saturating up to 100-fold higher than those values for cells that divide when the bud is still substantially smaller than its mother. In budding yeast, both inhibitor dilution or initiator accumulation models are consistent with the observation that the daughters of diploid cells add a constant volume before they divide. This adder behavior has also been observed in bacteria. We find that in bacteria an inhibitor dilution model produces adder correlations that are not robust to noise in the timing of DNA replication initiation or in the timing from initiation of DNA replication to cell division (the C + D period). In contrast, in bacteria an initiator accumulation model yields robust adder correlations in the regime where noise in the timing of DNA replication initiation is much greater than noise in the C + D period, as reported previously [1]. In bacteria, division into two equally sized cells does not broaden the size distribution.


title: Classification and Geometry of General Perceptual Manifolds

abstract: Perceptual manifolds arise when a neural population responds to an ensemble of sensory signals associated with different physical features (e.g., orientation, pose, scale, location, and intensity) of the same perceptual object. Object recognition and discrimination requires classifying the manifolds in a manner that is insensitive to variability within a manifold. How neuronal systems give rise to invariant object classification and recognition is a fundamental problem in brain theory as well as in machine learning. Here we study the ability of a readout network to classify objects from their perceptual manifold representations. We develop a statistical mechanical theory for the linear classification of manifolds with arbitrary geometry revealing a remarkable relation to the mathematics of conic decomposition. Novel geometrical measures of manifold radius and manifold dimension are introduced which can explain the classification capacity for manifolds of various geometries. The general theory is demonstrated on a number of representative manifolds, including L2 ellipsoids prototypical of strictly convex manifolds, L1 balls representing polytopes consisting of finite sample points, and orientation manifolds which arise from neurons tuned to respond to a continuous angle variable, such as object orientation. The effects of label sparsity on the classification capacity of manifolds are elucidated, revealing a scaling relation between label sparsity and manifold radius. Theoretical predictions are corroborated by numerical simulations using recently developed algorithms to compute maximum margin solutions for manifold dichotomies. Our theory and its extensions provide a powerful and rich framework for applying statistical mechanics of linear classification to data arising from neuronal responses to object stimuli, as well as to artificial deep networks trained for object recognition tasks.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.NE q-bio.NC stat.ML


title: Search for sterile neutrinos in MINOS and MINOS+ using a two-detector fit

abstract: A search for mixing between active neutrinos and light sterile neutrinos has been performed by looking for muon neutrino disappearance in two detectors at baselines of 1.04 km and 735 km, using a combined MINOS and MINOS+ exposure of $16.36\times10^{20}$ protons-on-target. A simultaneous fit to the charged-current muon neutrino and neutral-current neutrino energy spectra in the two detectors yields no evidence for sterile neutrino mixing using a 3+1 model. The most stringent limit to date is set on the mixing parameter $\sin^2\theta_{24}$ for most values of the sterile neutrino mass-splitting $\Delta m^2_{41} > 10^{-4}$ eV$^2$.


title: Mapping Spiral Structure on the far side of the Milky Way

abstract: Little is known about the portion of the Milky Way lying beyond the Galactic center at distances of more than 9 kilo-parsec from the Sun. These regions are opaque at optical wavelengths due to absorption by interstellar dust, and distances are very large and hard to measure. We report a direct trigonometric parallax distance of 20.4_{-2.2}^{+2.8} kilo-parsec obtained with the Very Long Baseline Array to a water maser source in a region of active star formation. These measurements allow us to shed light on Galactic spiral structure by locating the Scutum-Centaurus spiral arm as it passes through the far side of the Milky Way, and to validate a kinematic method for determining distances in this region based on transverse motions.


title: Hultman elements for the hyperoctahedral groups

abstract: Hultman, Linusson, Shareshian, and Sj\"ostrand gave a pattern avoidance characterization of the permutations for which the number of chambers of its associated inversion arrangement is the same as the size of its lower interval in Bruhat order. Hultman later gave a characterization, valid for an arbitrary finite reflection group, in terms of distances in the Bruhat graph. On the other hand, the pattern avoidance criterion for permutations had earlier appeared in independent work of Sj\"ostrand and of Gasharov and Reiner. We give characterizations of the elements of the hyperoctahedral groups satisfying Hultman's criterion that is in the spirit of those of Sj\"ostrand and of Gasharov and Reiner. We also give a pattern avoidance criterion using the notion of pattern avoidance defined by Billey and Postnikov.


title: Open maps: small and large holes with unusual properties

abstract: Let $X$ be a two-sided subshift on a finite alphabet endowed with a mixing probability measure which is positive on all cylinders in $X$. We show that there exist arbitrarily small finite overlapping union of shifted cylinders which intersect every orbit under the shift map. We also show that for any proper subshift $Y$ of $X$ there exists a finite overlapping unions of shifted cylinders such that its survivor set contains $Y$ (in particular, it can have entropy arbitrarily close to the entropy of $X$). Both results may be seen as somewhat counter-intuitive. Finally, we apply these results to a certain class of hyperbolic algebraic automorphisms of a torus.


title: $c$-vectors of 2-Calabi--Yau categories and Borel subalgebras of ${\mathfrak{sl}}_{\infty}$

abstract: We develop a general framework for $c$-vectors of 2-Calabi--Yau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations. We prove a categorical (infinite-rank) generalization of the Nakanishi--Zelevinsky duality for $c$-vectors and establish two formulae for the effective computation of $c$-vectors -- one in terms of indices and the other in terms of dimension vectors for cluster tilted algebras. In this framework, we construct a correspondence between the $c$-vectors of the cluster categories ${\mathscr{C}}(A_{\infty})$ of type $A_{\infty}$ due to Igusa--Todorov and the roots of the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$. Contrary to the finite dimensional case, the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$ are not conjugate to each other. On the categorical side, the cluster tilting subcategories of ${\mathscr{C}}(A_{\infty})$ exhibit different homological properties. The correspondence builds a bridge between the two classes of objects.


title: Planar orthogonal polynomials and boundary universality in the random normal matrix model

abstract: We show that the planar normalized orthogonal polynomials $P_{m,n}(z)$ of degree $n$ with respect to an exponentially varying planar measure $\mathrm{e}^{-2mQ}\mathrm{dA}$ enjoy an asymptotic expansion \[ P_{m,n}(z)\sim m^{\frac{1}{4}}\sqrt{\phi_\tau'(z)}[\phi_\tau(z)]^n \mathrm{e}^{m\mathcal{Q}_\tau(z)}\left(\mathcal{B}_{\tau, 0}(z) +m^{-1}\mathcal{B}_{\tau, 1}(z)+m^{-2} \mathcal{B}_{\tau,2}(z)+\ldots\right), \] as $n,m\to\infty$ while the ratio $\tau=\frac{n}{m}$ is fixed. Here $\mathcal{S}_\tau$ denotes the droplet, the boundary of which is assumed to be a smooth simple closed curve, and $\phi_\tau$ is a conformal mapping from the complement $\mathcal{S}_\tau^c$ to the exterior disk $\Bbb{D}_\mathrm{e}$. The functions $\mathcal{Q}_\tau$ and $\mathcal{B}_{\tau, j}$ are bounded holomorphic functions which may be expressed in terms of $Q$ and $\mathcal{S}_\tau$. We apply these results to obtain boundary universality in the random normal matrix model for smooth droplets, i.e., that the limiting rescaled process is the random process with correlation kernel \[ \mathrm{k}(\xi,\eta)= \mathrm{e}^{\xi\bar\eta\,-\frac12(\lvert\xi\rvert^2+\lvert \eta\rvert^2)} \,\mathrm{erf}\,(\xi+\bar{\eta}). \] A key ingredient in the proof of the asymptotic expansion of the orthogonal polynomials is the construction of an orthogonal foliation -- a smooth flow of closed curves near $\partial\mathcal{S}_\tau$, on each of which $P_{m,n}$ is appropriately orthogonal to lower order polynomials. To compute the coefficient functions, we develop an algorithm which determines the coefficients $\mathcal{B}_{\tau, j}$ successively in terms of inhomogeneous Toeplitz kernel conditions. These inhomogeneous Toeplitz kernel conditions may be understood in terms of scalar Riemann-Hilbert problems.


title: Privacy by typing in the $\pi$-calculus

abstract: In this paper we propose a formal framework for studying privacy in information systems. The proposal follows a two-axes schema where the first axis considers privacy as a taxonomy of rights and the second axis involves the ways an information system stores and manipulates information. We develop a correspondence between the above schema and an associated model of computation. In particular, we propose the \Pcalc, a calculus based on the $\pi$-calculus with groups extended with constructs for reasoning about private data. The privacy requirements of an information system are captured via a privacy policy language. The correspondence between the privacy model and the \Pcalc semantics is established using a type system for the calculus and a satisfiability definition between types and privacy policies. We deploy a type preservation theorem to show that a system respects a policy and it is safe if the typing of the system satisfies the policy. We illustrate our methodology via analysis of two use cases: a privacy-aware scheme for electronic traffic pricing and a privacy-preserving technique for speed-limit enforcement.


title: A Line-Point Unified Solution to Relative Camera Pose Estimation

abstract: In this work we present a unified method of relative camera pose estimation from points and lines correspondences. Given a set of 2D points and lines correspondences in three views, of which two are known, a method has been developed for estimating the camera pose of the third view. Novelty of this algorithm is to combine both points and lines correspondences in the camera pose estimation which enables us to compute relative camera pose with a small number of feature correspondences. Our central idea is to exploit the tri-linear relationship between three views and generate a set of linear equations from the points and lines correspondences in the three views. The desired solution to the system of equations are expressed as a linear combination of the singular vectors and the coefficients are computed by solving a small set of quadratic equations generated by imposing orthonormality constraints for general camera motion. The advantages of the proposed method are demonstrated by experimenting on publicly available data set. Results show the robustness and efficiency of the method in relative camera pose estimation for both small and large camera motion with a small set of points and line features.


title: Shape optimisation with nearly conformal transformations

abstract: In shape optimisation it is desirable to obtain deformations of a given mesh without negative impact on the mesh quality. We propose a new algorithm using least square formulations of the Cauchy-Riemann equations. Our method allows to deform meshes in a nearly conformal way and thus approximately preserves the angles of triangles during the optimisation process. The performance of our methodology is shown by applying our method to some unconstrained shape functions and a constrained Stokes shape optimisation problem.


title: Measurement of $q_T$-weighted TSAs in 2015 COMPASS Drell-Yan data

abstract: In the polarised Drell-Yan experiment at the COMPASS facility at CERN the beam of negatively-charged pions with 190 GeV/c momentum and intensity about $10^8$ pions/s interacted with transversely polarised NH$_3$ target. Muon pairs produced in Drell-Yan process (DY) were detected. Recently, the first ever Transverse Spin Asymmetries (TSAs) measurement in DY has been presented by COMPASS. A complementary analysis of the TSAs weighted by powers of the dimuon transverse momentum $q_T$ are presented. In the Transverse Momentum Dependent (TMD) PDF formalism, the $q_T$-weighted TSAs can be written in terms of products of the TMD PDFs of two colliding hadrons, unlike the conventional TSAs, which are their convolutions over quarks transverse momenta. The results are compared in a straightforward way with the weighted Sivers asymmetry in the SIDIS process, released by COMPASS in 2016.


title: Flavour-symmetric type-II Dirac neutrino seesaw mechanism

abstract: We propose a Standard Model extension with underlying A4 flavour symmetry where small Dirac neutrino masses arise from a Type-II seesaw mechanism. The model predicts the "golden" flavour-dependent bottom-tau mass relation, requires an inverted neutrino mass ordering and non-maximal atmospheric mixing angle. Using the latest neutrino oscillation global fit we derive restrictions on the oscillation parameters, such as a correlation between Dirac CP phase and the lightest neutrino mass.


title: Fundamental Limits of Low-Density Spreading NOMA with Fading

abstract: Spectral efficiency of low-density spreading non-orthogonal multiple access channels in the presence of fading is derived for linear detection with independent decoding as well as optimum decoding. The large system limit, where both the number of users and number of signal dimensions grow with fixed ratio, called load, is considered. In the case of optimum decoding, it is found that low-density spreading underperforms dense spreading for all loads. Conversely, linear detection is characterized by different behaviors in the underloaded vs. overloaded regimes. In particular, it is shown that spectral efficiency changes smoothly as load increases. However, in the overloaded regime, the spectral efficiency of low- density spreading is higher than that of dense spreading.


title: Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

abstract: Chain reduction enables reduced ordered binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) to each take advantage of the others' ability to symbolically represent Boolean functions in compact form. For any Boolean function, its chain-reduced ZDD (CZDD) representation will be no larger than its ZDD representation, and at most twice the size of its BDD representation. The chain-reduced BDD (CBDD) of a function will be no larger than its BDD representation, and at most three times the size of its CZDD representation. Extensions to the standard algorithms for operating on BDDs and ZDDs enable them to operate on the chain-reduced versions. Experimental evaluations on representative benchmarks for encoding word lists, solving combinatorial problems, and operating on digital circuits indicate that chain reduction can provide significant benefits in terms of both memory and execution time.


title: Do Convolutional Neural Networks Learn Class Hierarchy?

abstract: Convolutional Neural Networks (CNNs) currently achieve state-of-the-art accuracy in image classification. With a growing number of classes, the accuracy usually drops as the possibilities of confusion increase. Interestingly, the class confusion patterns follow a hierarchical structure over the classes. We present visual-analytics methods to reveal and analyze this hierarchy of similar classes in relation with CNN-internal data. We found that this hierarchy not only dictates the confusion patterns between the classes, it furthermore dictates the learning behavior of CNNs. In particular, the early layers in these networks develop feature detectors that can separate high-level groups of classes quite well, even after a few training epochs. In contrast, the latter layers require substantially more epochs to develop specialized feature detectors that can separate individual classes. We demonstrate how these insights are key to significant improvement in accuracy by designing hierarchy-aware CNNs that accelerate model convergence and alleviate overfitting. We further demonstrate how our methods help in identifying various quality issues in the training data.


title: Cup length as a bound on topological complexity

abstract: Polynomial solving algorithms are essential to applied mathematics and the sciences. As such, reduction of their complexity has become an incredibly important field of topological research. We present a topological approach to constructing a lower bound for the complexity of a polynomial-solving algorithm, and give a concrete algorithm to do this in the case that $\mathrm{deg}(f) = 2,3,4$.


title: Theoretical Implications of Precision Measurements

abstract: Results of an updated global electoweak fit to the Standard Model (SM) are presented, where special attention is paid to some key observables, such as the weak mixing angle, the $W$ boson mass, and the anomalous magnetic moment of the muon. Implications for new physics beyond the SM are also discussed.


title: Mass and Proper Time as Conjugated Observables

abstract: This work discloses some inconsistencies of quantum mechanics (QM) in two different contexts. On the one hand the equivalence principle in his two formulations is the starting point of all gravitational theories; yet there is no way to make it consistent with the non-relativistic formulation of QM. Moreover, the evaluation of the Schr\"odinger equation for a particle in an accelerated reference frame sheds light on a trajectory-dependent phase term subject to proper time. On the other hand, the Bargmann theorem unmistakably proves that the Schr\"odinger equation does not admit any superposition of different masses if the symmetry chosen for the system is the Galilean one. However, this is incompatible with relativity, since mass and energy are equivalent and one can certainly superimpose different energies. Both inconsistencies support the hypothesis that mass and proper time could be treated as variables. In the third chapter we will describe a theory in which the Galilean symmetry is extended by assuming particle mass and proper time as canonically conjugated classical variables, or conjugated observables in the quantum theory. The first three chapters discuss subjects illustrated in several articles of the professor Daniel M. Greenberger, which are listed in the bibliography. Whereas in the last chapter the results of a recent theory on QW, say a discrete model for quantum particle evolution, will be examined. In particular, the striking result is that, in the most natural physical interpretation of QW dynamics, it is not possible to have a constant and invariant mass in any manner. The long term aim of this work is indeed to study the reasons and consequences of a theory of particles with variable mass in the context of wider studies still in progress on QW.


title: Stability conditions and cluster varieties from quivers of type $A$

abstract: We describe the relationship between two spaces associated to a quiver with potential. The first is a complex manifold parametrizing Bridgeland stability conditions on a triangulated category, and the second is a cluster variety with a natural Poisson structure. For quivers of type $A$, we construct a local biholomorphism from the space of stability conditions to the cluster variety. The existence of this map follows from results of Sibuya in the classical theory of ordinary differential equations.


title: Do uniform tangential interfacial stresses affect adhesion?

abstract: We present theoretical arguments, based on linear elasticity and thermodynamics, to show that interfacial tangential stresses in sliding adhesive contacts does not affet at all the adhesive behavior of the system, which then follows the classical JKR solution. Our finding explains the experimental observation of Vorvolakos and Chaudhury in 2003, who found that the contact area of a PDMS sphere remains constant during sliding and is in agreement with the JKR solution, at least up to velocity of 1mm/s, and of Carpick et al. Carpick, who observed that the friction force between a platinum-coated atomic force microscope (AFM) tip and the surface of mica in ultrahigh vacuum (UHV) varies with load in proportion to the contact area predicted by the Johnson-Kendall-Roberts (JKR). We show that a reduction of the contact area, experimentlly observed at higher sliding speeds, can be caused by a reduction of the density of adhesive bonds as the velocity is increased, or caused by the repulsive energy term associated with the stress spatial fluctuation at the interface. This may explain why adhesion is completely masked at relatively large sliding velocities. This version of the paper follows the publication of the Corrigendum: Nicola Menga, Giuseppe Carbone, Daniele Dini: Corrigendum to "Do uniform tangential interfacial stresses enhance adhesion?" [Journal of the Mechanics and Physics of Solids 112 (2018) 145--156], Journal of the Mechanics and Physics of Solids, 133, 103744, https://doi.org/10.1016/j.jmps.2019.103744, available on line since 8 October 2019.


title: Scene Parsing with Global Context Embedding

abstract: We present a scene parsing method that utilizes global context information based on both the parametric and non- parametric models. Compared to previous methods that only exploit the local relationship between objects, we train a context network based on scene similarities to generate feature representations for global contexts. In addition, these learned features are utilized to generate global and spatial priors for explicit classes inference. We then design modules to embed the feature representations and the priors into the segmentation network as additional global context cues. We show that the proposed method can eliminate false positives that are not compatible with the global context representations. Experiments on both the MIT ADE20K and PASCAL Context datasets show that the proposed method performs favorably against existing methods.


title: Mode coupling and multiquantum vibrational excitations in Feshbach-resonant positron annihilation in molecules

abstract: The dominant mechanism of low-energy positron annihilation in polyatomic molecules is through positron capture in vibrational Feshbach resonances (VFR). In this paper we investigate theoretically the effect of anharmonic terms in the vibrational Hamiltonian on the positron annihilation rates. Such interactions enable positron capture in VFRs associated with multiquantum vibrational excitations, leading to enhanced annihilation. Mode coupling can also lead to faster depopulation of VFRs, thereby reducing their contribution to the annihlation rates. To analyze this complex picture, we use coupled-cluster methods to calculate the anharmonic vibrational spectra and dipole transition amplitudes for chloroform, chloroform-$d_1$, 1,1-dichloroethylene, and methanol, and use these data to compute positron resonant annihilation rates for these molecules. Theoretical predictions are compared with the annihilation rates measured as a function of incident positron energy. The results demonstrate the importance of mode coupling in both enhancement and suppression of the VFR. There is also experimental evidence for the direct excitation of multimode VFR. Their contribution is analyzed using a statistical approach, with an outlook towards more accurate treatment of this phenomenon.


title: On the representation (in)dependence of $k$-strings in pure Yang-Mills theory via supersymmetry

abstract: We exploit a conjectured continuity between super Yang-Mills on $\mathbb R^3\times \mathbb S^1$ and pure Yang-Mills to study $k$-strings in the latter theory. As expected, we find that Wilson-loop correlation functions depend on the N-ality of a representation ${\cal R}$ to the leading order. However, the next-to-leading order correction is not universal and is given by the group characters, in the representation ${\cal R}$, of the permutation group. We also study W-bosons in super Yang-Mills and show that they are deconfined on the string worldsheet, and therefore, can change neither the string N-ality nor its tension. This phenomenon mirrors the fact that soft gluons do not screen probe charges with non-zero N-ality in pure Yang-Mills. Finally, we comment on the scaling law of $k$-strings in super Yang-Mills and compare our findings with strings in Seiberg-Witten theory, deformed Yang-Mills theory, and holographic studies that were performed in the 't Hooft large-$N$ limit.


title: The units-Picard complex of a reductive group scheme

abstract: Let S be a locally noetherian regular scheme. We compute the units-Picard complex of a reductive S-group scheme G in terms of the dual algebraic fundamental complex of G. To do so, we establish a units-Picard-Brauer exact sequence for a torsor under a smooth S-group scheme.


title: Multi-focus image fusion using VOL and EOL in DCT domain

abstract: The purpose of multi-focus image fusion is gathering the essential information and the focused parts from the input multi-focus images into a single image. These multi-focused images are captured with different depths of focus of cameras. Multi-focus image fusion is very time-saving and appropriate in discrete cosine transform (DCT) domain, especially when JPEG images are used in visual sensor networks (VSN). The previous works in DCT domain have some errors in selection of the suitable divided blocks according to their criterion for measurement of the block contrast. In this paper, we used variance of Laplacian (VOL) and energy of Laplacian (EOL) as criterion to measure the contrast of image. Also in this paper, the EOL and VOL calculations directly in DCT domain are prepared using vector processing. We developed four matrices which calculate the Laplacian of block easily in DCT domain. Our works greatly reduce error due to unsuitable block selection. The results of the proposed algorithms are compared with the previous algorithms in order to demonstrate the superiority of the output image quality in the proposed methods. The several JPEG multi-focus images are used in experiments and their fused image by our proposed methods and the other algorithms are compared with different measurement criteria.


title: Pose-based Deep Gait Recognition

abstract: Human gait or walking manner is a biometric feature that allows identification of a person when other biometric features such as the face or iris are not visible. In this paper, we present a new pose-based convolutional neural network model for gait recognition. Unlike many methods that consider the full-height silhouette of a moving person, we consider the motion of points in the areas around human joints. To extract motion information, we estimate the optical flow between consecutive frames. We propose a deep convolutional model that computes pose-based gait descriptors. We compare different network architectures and aggregation methods and experimentally assess various sets of body parts to determine which are the most important for gait recognition. In addition, we investigate the generalization ability of the developed algorithms by transferring them between datasets. The results of these experiments show that our approach outperforms state-of-the-art methods.


title: Learning Pose Grammar to Encode Human Body Configuration for 3D Pose Estimation

abstract: In this paper, we propose a pose grammar to tackle the problem of 3D human pose estimation. Our model directly takes 2D pose as input and learns a generalized 2D-3D mapping function. The proposed model consists of a base network which efficiently captures pose-aligned features and a hierarchy of Bi-directional RNNs (BRNN) on the top to explicitly incorporate a set of knowledge regarding human body configuration (i.e., kinematics, symmetry, motor coordination). The proposed model thus enforces high-level constraints over human poses. In learning, we develop a pose sample simulator to augment training samples in virtual camera views, which further improves our model generalizability. We validate our method on public 3D human pose benchmarks and propose a new evaluation protocol working on cross-view setting to verify the generalization capability of different methods. We empirically observe that most state-of-the-art methods encounter difficulty under such setting while our method can well handle such challenges.


title: Robust importance-weighted cross-validation under sample selection bias

abstract: Cross-validation under sample selection bias can, in principle, be done by importance-weighting the empirical risk. However, the importance-weighted risk estimator produces sub-optimal hyperparameter estimates in problem settings where large weights arise with high probability. We study its sampling variance as a function of the training data distribution and introduce a control variate to increase its robustness to problematically large weights.


title: Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis

abstract: This paper presents an approach to lemma synthesis to support advanced inductive entailment procedures based on separation logic. We first propose a mechanism where lemmas are automatically proven and systematically applied. The lemmas may include universal guard and/or unknown predicate. While the former is critical for expressivity, the latter is essential for supporting relationships between multiple predicates. We further introduce lemma synthesis to support (i) automated inductive reasoning together with frame inference and (ii) theorem exploration. For (i) we automatically discover and prove auxiliary lemmas during an inductive proof; and for (ii) we automatically generate a useful set of lemmas to relate user-defined or system-generated predicates. We have implemented our proposed approach into an existing verification system and tested its capability in inductive reasoning and theorem exploration. The experimental results show that the enhanced system can automatically synthesize useful lemmas to facilitate reasoning on a broad range of non-trivial inductive proofs.


title: Hybrid Simulation Safety: Limbos and Zero Crossings

abstract: Physical systems can be naturally modeled by combining continuous and discrete models. Such hybrid models may simplify the modeling task of complex system, as well as increase simulation performance. Moreover, modern simulation engines can often efficiently generate simulation traces, but how do we know that the simulation results are correct? If we detect an error, is the error in the model or in the simulation itself? This paper discusses the problem of simulation safety, with the focus on hybrid modeling and simulation. In particular, two key aspects are studied: safe zero-crossing detection and deterministic hybrid event handling. The problems and solutions are discussed and partially implemented in Modelica and Ptolemy II.


title: Dihedral Sieving Phenomena

abstract: Cyclic sieving is a well-known phenomenon where certain interesting polynomials, especially $q$-analogues, have useful interpretations related to actions and representations of the cyclic group. We propose a definition of sieving for an arbitrary group $G$ and study it for the dihedral group $I_2(n)$ of order $2n$. This requires understanding the generators of the representation ring of the dihedral group. For $n$ odd, we exhibit several instances of dihedral sieving which involve the generalized Fibonomial coefficients, recently studied by Amdeberhan, Chen, Moll, and Sagan. We also exhibit an instance of dihedral sieving involving Garsia and Haiman's $(q,t)$-Catalan numbers.


title: Sistema de Navega\c{c}\~ao Aut\^onomo Baseado em Vis\~ao Computacional

abstract: Autonomous robots are used as the tool to solve many kinds of problems, such as environmental mapping and monitoring. Either for adverse conditions related to the human presence or even for the need to reduce costs, it is certain that many efforts have been made to develop robots with an increasingly high level of autonomy. They must be capable of locomotion through dynamic environments, without human operators or assistant systems' help. It is noted, thus, that the form of perception and modeling of the environment becomes significantly relevant to navigation. Among the main sensing methods are those based on vision. Through this, it is possible to create highly-detailed models about the environment, since many characteristics can be measured, such as texture, color, and illumination. However, the most accurate vision-based navigation techniques are computationally expensive to run on low-cost mobile platforms. Therefore, the goal of this work was to develop a low-cost robot, controlled by a Raspberry Pi, whose navigation system is based on vision. For this purpose, the strategy used consisted in identifying obstacles via optical flow pattern recognition. Through this signal, it is possible to infer the relative displacement between the robot and other elements in the environment. Its estimation was done using the Lucas-Kanade algorithm, which can be executed by the Raspberry Pi without harming its performance. Finally, an SVM based classifier was used to identify patterns of this signal associated with obstacles movement. The developed system was evaluated considering its execution over an optical flow pattern dataset extracted from a real navigation environment. In the end, it was verified that the processing frequency of the system was superior to the others. Furthermore, its accuracy and acquisition cost were, respectively, higher and lower than most of the cited works.


title: M0.20-0.033: An Expanding Molecular Shell in the Galactic Center Radio Arc

abstract: We present high-frequency Karl G. Jansky Very Large Array (VLA) continuum and spectral line (NH3, H64${\alpha}$, and H63${\alpha}$) observations of the Galactic Center Radio Arc region, covering the Sickle H II region, the Quintuplet cluster, and molecular clouds M0.20-0.033 and M0.10-0.08. These observations show that the two velocity components of M0.20-0.033 (~25 & 80 km/s), previously thought to be separate clouds along the same line-of-sight, are physically connected in position-velocity space via a third southern component around 50 km/s. Further position-velocity analysis of the surrounding region, using lower-resolution survey observations taken with the Mopra and ATCA telescopes, indicates that both molecular components in M0.20-0.033 are physically connected to the M0.10-0.08 molecular cloud, which is suggested to be located on stream 1 in the Kruijssen et al. (2015) orbital model. The morphology and kinematics of the molecular gas in M0.20-0.033 indicate that the two velocity components in M0.20-0.033 constitute an expanding shell. Our observations suggest that the M0.20-0.033 expanding shell has an expansion velocity of 40 km/s, with a systemic velocity of 53 km/s, comparable to velocities detected in M0.10-0.08. The origin of the expanding shell is located near the Quintuplet cluster, suggesting that the energy and momentum output from this massive stellar cluster may have contributed to the expansion.


title: LASAGNE: Locality And Structure Aware Graph Node Embedding

abstract: In this work we propose Lasagne, a methodology to learn locality and structure aware graph node embeddings in an unsupervised way. In particular, we show that the performance of existing random-walk based approaches depends strongly on the structural properties of the graph, e.g., the size of the graph, whether the graph has a flat or upward-sloping Network Community Profile (NCP), whether the graph is expander-like, whether the classes of interest are more k-core-like or more peripheral, etc. For larger graphs with flat NCPs that are strongly expander-like, existing methods lead to random walks that expand rapidly, touching many dissimilar nodes, thereby leading to lower-quality vector representations that are less useful for downstream tasks. Rather than relying on global random walks or neighbors within fixed hop distances, Lasagne exploits strongly local Approximate Personalized PageRank stationary distributions to more precisely engineer local information into node embeddings. This leads, in particular, to more meaningful and more useful vector representations of nodes in poorly-structured graphs. We show that Lasagne leads to significant improvement in downstream multi-label classification for larger graphs with flat NCPs, that it is comparable for smaller graphs with upward-sloping NCPs, and that is comparable to existing methods for link prediction tasks.


title: On $\star $-Power Conductor domains

abstract: Let $D$ be an integral domain and $\star $ a star operation defined on $D$. We say that $D$ is a $\star $-power conductor domain ($\star $-PCD) if for each pair $a,b\in D\backslash (0)$ and for each positive integer $n$ we have $Da^{n}\cap Db^{n}=((Da\cap Db)^{n})^{\ast }.$ We study $\star $-PCDs and characterize them as root closed domains satisfying $ ((a,b)^{n})^{-1}=(((a,b)^{-1})^{n})^{\star }$ for all nonzero $a,b$ and all natural numbers $n\geq 1$. From this it follows easily that Pr\"{u}fer domains are $d$-PCDs (where $d$ denotes the trivial star operation), and $v$ -domains (e.g., Krull domains) are $v$-PCDs, thereby establishing that a $v$ -domain (e.g., a Prufer or Krull domain) is a $\star $ -PCD. We also consider when a $\star $-PCD is completely integrally closed, and this leads to new characterizations of Krulll domains. In particular, we show that a Noetherian domain is a Krull domain if and only if it is a $w$ -PCD.


title: Infrared observation of OC-C2H2, OC-(C2H2)2 and their isotopologues

abstract: The fundamental band for the OC-C2H2 dimer and two combination bands involving the intermolecular bending modes nu9 and nu8 in the carbon monoxide CO stretch region are re-examined. Spectra are obtained using a pulsed supersonic slit jet expansion probed with a mode-hop free tunable infrared quantum cascade laser. Analogous bands for OC-C2D2 and the fundamental for OC-DCCH as an impurity are also observed and analysed. A much weaker band in the same spectral region is assigned to a new mixed trimer, CO-(C2H2)2. The trimer band is composed uniquely of a-type transitions, establishing that the CO monomer is nearly aligned with the a-inertial axis. The observed rotational constants agree well with ab initio calculations and a small inertial defect value indicates that the trimer is planar. The structure is a compromise between the T-shaped structure of free acetylene dimer and the linear geometry of free OC-C2H2. A similar band for the fully deuterated isotopologue CO-(C2D2)2 confirms our assignment.


title: Nucleon axial coupling from Lattice QCD

abstract: We present state-of-the-art results from a lattice QCD calculation of the nucleon axial coupling, $g_A$, using M\"obius Domain-Wall fermions solved on the dynamical $N_f = 2 + 1 + 1$ HISQ ensembles after they are smeared using the gradient-flow algorithm. Relevant three-point correlation functions are calculated using a method inspired by the Feynman-Hellmann theorem, and demonstrate significant improvement in signal for fixed stochastic samples. The calculation is performed at five pion masses of $m_\pi\sim \{400, 350, 310, 220, 130\}$~MeV, three lattice spacings of $a\sim\{0.15, 0.12, 0.09\}$~fm, and we do a dedicated volume study with $m_\pi L\sim\{3.22, 4.29, 5.36\}$. Control over all relevant sources of systematic uncertainty are demonstrated and quantified. We achieve a preliminary value of $g_A = 1.285(17)$, with a relative uncertainty of 1.33\%.


title: Unsupervised Sentence Representations as Word Information Series: Revisiting TF--IDF

abstract: Sentence representation at the semantic level is a challenging task for Natural Language Processing and Artificial Intelligence. Despite the advances in word embeddings (i.e. word vector representations), capturing sentence meaning is an open question due to complexities of semantic interactions among words. In this paper, we present an embedding method, which is aimed at learning unsupervised sentence representations from unlabeled text. We propose an unsupervised method that models a sentence as a weighted series of word embeddings. The weights of the word embeddings are fitted by using Shannon's word entropies provided by the Term Frequency--Inverse Document Frequency (TF--IDF) transform. The hyperparameters of the model can be selected according to the properties of data (e.g. sentence length and textual gender). Hyperparameter selection involves word embedding methods and dimensionalities, as well as weighting schemata. Our method offers advantages over existing methods: identifiable modules, short-term training, online inference of (unseen) sentence representations, as well as independence from domain, external knowledge and language resources. Results showed that our model outperformed the state of the art in well-known Semantic Textual Similarity (STS) benchmarks. Moreover, our model reached state-of-the-art performance when compared to supervised and knowledge-based STS systems.


title: Near-Optimal Adversarial Policy Switching for Decentralized Asynchronous Multi-Agent Systems

abstract: A key challenge in multi-robot and multi-agent systems is generating solutions that are robust to other self-interested or even adversarial parties who actively try to prevent the agents from achieving their goals. The practicality of existing works addressing this challenge is limited to only small-scale synchronous decision-making scenarios or a single agent planning its best response against a single adversary with fixed, procedurally characterized strategies. In contrast this paper considers a more realistic class of problems where a team of asynchronous agents with limited observation and communication capabilities need to compete against multiple strategic adversaries with changing strategies. This problem necessitates agents that can coordinate to detect changes in adversary strategies and plan the best response accordingly. Our approach first optimizes a set of stratagems that represent these best responses. These optimized stratagems are then integrated into a unified policy that can detect and respond when the adversaries change their strategies. The near-optimality of the proposed framework is established theoretically as well as demonstrated empirically in simulation and hardware.


title: Necessary and Sufficient Conditions for Existence and Uniqueness of Recursive Utilities

abstract: We study existence, uniqueness and computability of solutions for a class of discrete time recursive utilities models. By combining two streams of the recent literature on recursive preferences---one that analyzes principal eigenvalues of valuation operators and another that exploits the theory of monotone concave operators---we obtain conditions that are both necessary and sufficient for existence and uniqueness of solutions. We also show that the natural iterative algorithm is convergent if and only if a solution exists. Consumption processes are allowed to be nonstationary.


title: On the Expanding Configurations of Viscous Radiation Gaseous Stars: Isentropic and Thermodynamic Models

abstract: In this work, we study the stability of the expanding configurations for radiation gaseous stars. Such expanding configurations exist for the isentropic model and the thermodynamic model. In particular, we focus on the effect of the monatomic gas viscosity tensor on the expanding configurations. With respect to small perturbation, it is shown the self-similarly expanding homogeneous solutions of the isentropic model is unstable, while the linearly expanding homogeneous solutions of the isentropic model and the thermodynamic model are stable. This is an extensive study of the result in arXiv:1605.08083 by Hadzic and Jang.


title: Improvement of solar cycle prediction: Plateau of solar axial dipole moment

abstract: Aims. We report the small temporal variation of the axial dipole moment near the solar minimum and its application to the solar cycle prediction by the surface flux transport (SFT) model. Methods. We measure the axial dipole moment using the photospheric synoptic magnetogram observed by the Wilcox Solar Observatory (WSO), the ESA/NASA Solar and Heliospheric Observatory Michelson Doppler Imager (MDI), and the NASA Solar Dynamics Observatory Helioseismic and Magnetic Imager (HMI). We also use the surface flux transport model for the interpretation and prediction of the observed axial dipole moment. Results. We find that the observed axial dipole moment becomes approximately constant during the period of several years before each cycle minimum, which we call the axial dipole moment plateau. The cross-equatorial magnetic flux transport is found to be small during the period, although the significant number of sunspots are still emerging. The results indicates that the newly emerged magnetic flux does not contributes to the build up of the axial dipole moment near the end of each cycle. This is confirmed by showing that the time variation of the observed axial dipole moment agrees well with that predicted by the SFT model without introducing new emergence of magnetic flux. These results allows us to predict the axial dipole moment in Cycle 24/25 minimum using the SFT model without introducing new flux emergence. The predicted axial dipole moment of Cycle 24/25 minimum is 60--80 percent of Cycle 23/24 minimum, which suggests the amplitude of Cycle 25 even weaker than the current Cycle 24. Conclusions. The plateau of the solar axial dipole moment is an important feature for the longer prediction of the solar cycle based on the SFT model.