title: Factored Probabilistic Belief Tracking

abstract: The problem of belief tracking in the presence of stochastic actions and observations is pervasive and yet computationally intractable. In this work we show however that probabilistic beliefs can be maintained in factored form exactly and efficiently across a number of causally closed beams, when the state variables that appear in more than one beam obey a form of backward determinism. Since computing marginals from the factors is still computationally intractable in general, and variables appearing in several beams are not always backward-deterministic, the basic formulation is extended with two approximations: forms of belief propagation for computing marginals from factors, and sampling of non-backward-deterministic variables for making such variables backward-deterministic given their sampled history. Unlike, Rao-Blackwellized particle-filtering, the sampling is not used for making inference tractable but for making the factorization sound. The resulting algorithm involves sampling and belief propagation or just one of them as determined by the structure of the model.


title: A parametric model for wind turbine power curves incorporating environmental conditions

abstract: A wind turbine's power curve relates its power production to the wind speed it experiences. The typical shape of a power curve is well known and has been studied extensively; however, the power curves of individual turbine models can vary widely from one another. This is due to both the technical features of the turbine (power density, cut-in and cut-out speeds, limits on rotational speed and aerodynamic efficiency), and environmental factors (turbulence intensity, air density, wind shear and wind veer). Data on individual power curves are often proprietary and only available through commercial databases. We therefore develop an open-source model which can generate the power curve of any turbine, adapted to the specific conditions of any site. This can employ one of six parametric models advanced in the literature, and accounts for the eleven variables mentioned above. The model is described, the impact of each technical and environmental feature is examined, and it is then validated against the manufacturer power curves of 91 turbine models. Versions of the model are made available in MATLAB, R and Python code for the community.


title: Groups with ALOGTIME-hard word problems and PSPACE-complete compressed word problems

abstract: We give lower bounds on the complexity of the word problem of certain non-solvable groups: for a large class of non-solvable infinite groups, including in particular free groups, Grigorchuk's group and Thompson's groups, we prove that their word problem is $\mathsf{NC}^1$-hard. For some of these groups (including Grigorchuk's group and Thompson's groups) we prove that the compressed word problem (which is equivalent to the circuit evaluation problem) is $\mathsf{PSPACE}$-complete.


title: Searching for Lorentz violation in high-energy colliders

abstract: Lorentz violation has been a popular field in recent years in the search for new physics beyond the Standard Model. We present a general method to build all Lorentz-violating terms in gauge field theories, including ones involving operators of arbitrary mass dimension. Applying these results to two types of experiments in high-energy colliders, light-by-light scattering and deep-inelastic scattering, we extract first bounds on certain coefficients for Lorentz violation.


title: Optimal Periodic Multi-Agent Persistent Monitoring of a Finite Set of Targets with Uncertain States

abstract: We investigate the problem of persistently monitoring a finite set of targets with internal states that evolve with linear stochastic dynamics using a finite set of mobile agents. We approach the problem from the infinite-horizon perspective, looking for periodic movement schedules for the agents. Under linear dynamics and some standard assumptions on the noise distribution, the optimal estimator is a Kalman-Bucy filter and the mean estimation error is a function of its covariance matrix, which evolves as a differential Riccati equation. It is shown that when the agents are constrained to move only over a line and they can see at most one target at a time, the movement policy that minimizes the mean estimation error over time is such that the agent is always either moving with maximum speed or dwelling at a fixed position. This type of trajectory can be fully defined by a finite set of parameters. For periodic trajectories, under some observability conditions, the estimation error converges to a steady state condition and the stochastic gradient estimate of the cost with respect to the trajectory parameters of each agent and the global period can be explicitly computed using Infinitesimal Perturbation Analysis. A gradient-descent approach is used to compute locally optimal parameters. This approach allows us to deal with a very long persistent monitoring horizon using a small number of parameters.


title: LoGAN: Latent Graph Co-Attention Network for Weakly-Supervised Video Moment Retrieval

abstract: The goal of weakly-supervised video moment retrieval is to localize the video segment most relevant to the given natural language query without access to temporal annotations during training. Prior strongly- and weakly-supervised approaches often leverage co-attention mechanisms to learn visual-semantic representations for localization. However, while such approaches tend to focus on identifying relationships between elements of the video and language modalities, there is less emphasis on modeling relational context between video frames given the semantic context of the query. Consequently, the above-mentioned visual-semantic representations, built upon local frame features, do not contain much contextual information. To address this limitation, we propose a Latent Graph Co-Attention Network (LoGAN) that exploits fine-grained frame-by-word interactions to reason about correspondences between all possible pairs of frames, given the semantic context of the query. Comprehensive experiments across two datasets, DiDeMo and Charades-Sta, demonstrate the effectiveness of our proposed latent co-attention model where it outperforms current state-of-the-art (SOTA) weakly-supervised approaches by a significant margin. Notably, it even achieves a 11% improvement to Recall@1 accuracy over strongly-supervised SOTA methods on DiDeMo.


title: Long-range azimuthal correlations for partially coherent pion emission in proton-proton collisions

abstract: In this paper, we investigate the influence of coherent pion emission on long-range azimuthal correlations in relativistic proton-proton collisions. We study the pion momentum distribution for a coherent source with both transverse and Bjorken longitudinal expansions, and calculate the two-particle correlation function $C(\Delta\eta,\Delta\phi)$. A "ridge" structure is observed in the correlation function $C(\Delta\eta,\Delta\phi)$ of the coherent pion emission, whether the coherent source is expanding or static. The onset of this long-range azimuthal correlation can be traced back to the asymmetric initial transverse profile of the coherent source, owing to the interference in coherent emission. We further construct a partially coherent pion-emitting source by incorporating a chaotic emission component. From the experimental data of the two-pion Hanbury-Brown-Twiss correlations in pp collisions at $\sqrt{s}\!=\!7\,$TeV, we extract a coherent fraction of pion emission, which increases with increasing charged-particle multiplicity, as an input of the partially coherent source model. The ridge structure is observed in the correlation function $C(\Delta\eta,\Delta\phi)$ for the partially coherent source. The correlation becomes stronger at higher multiplicities because of the larger degrees of coherence. The results in this work are meaningful for fully understanding the collectivity in the small system of pp collisions.


title: Congruence method for global Darboux reduction of finite-dimensional Poisson systems

abstract: A new procedure for the global construction of the Casimir invariants and Darboux canonical form for finite-dimensional Poisson systems is developed. This approach is based on the concept of matrix congruence and can be applied without the previous determination of the Casimir invariants (recall that their prior knowledge is unavoidable for the standard reduction methods, thus requiring either the integration of a system of PDEs or solving some equivalent problem). Well the opposite, in the new congruence method, both the Darboux coordinates and the Casimir invariants arise simultaneously as the outcome of the reduction algorithm. In fact, the congruence algorithm proceeds only in terms of matrix-algebraic transformations and direct quadratures, thus avoiding the need of previously integrating a system of PDEs and therefore improving previously known approaches. Physical examples illustrating different aspects of the theory are provided.

categories: math-ph math.AP math.MP nlin.SI physics.class-ph


title: Transition form factors and helicity amplitudes for electroexcitation of negative- and positive parity nucleon resonances in a light-front quark model

abstract: A workable basis of quark configurations $s^3$, $s^2p$ and $sp^2$ at light front has been constructed to describe the high-$Q^2$ behavior of transition form factors and helicity amplitudes in the electroproduction of the lightest nucleon resonances, $N_{1/2^-}(1535)$ and $N_{1/2^+}(1440)$. High-quality data of the CLAS Collaboration are described in the framework of a model which takes into account mixing of the quark configurations and the hadron-molecular states. The model allows for a rough estimate of the quark core weight in the wave function of the resonance in a comparison with high momentum transfer data on resonance electroproduction.


title: Revisiting Self-Training for Neural Sequence Generation

abstract: Self-training is one of the earliest and simplest semi-supervised methods. The key idea is to augment the original labeled dataset with unlabeled data paired with the model's prediction (i.e. the pseudo-parallel data). While self-training has been extensively studied on classification problems, in complex sequence generation tasks (e.g. machine translation) it is still unclear how self-training works due to the compositionality of the target space. In this work, we first empirically show that self-training is able to decently improve the supervised baseline on neural sequence generation tasks. Through careful examination of the performance gains, we find that the perturbation on the hidden states (i.e. dropout) is critical for self-training to benefit from the pseudo-parallel data, which acts as a regularizer and forces the model to yield close predictions for similar unlabeled inputs. Such effect helps the model correct some incorrect predictions on unlabeled data. To further encourage this mechanism, we propose to inject noise to the input space, resulting in a "noisy" version of self-training. Empirical study on standard machine translation and text summarization benchmarks shows that noisy self-training is able to effectively utilize unlabeled data and improve the performance of the supervised baseline by a large margin.


title: Hamiltonian Generative Networks

abstract: The Hamiltonian formalism plays a central role in classical and quantum physics. Hamiltonians are the main tool for modelling the continuous time evolution of systems with conserved quantities, and they come equipped with many useful properties, like time reversibility and smooth interpolation in time. These properties are important for many machine learning problems - from sequence prediction to reinforcement learning and density modelling - but are not typically provided out of the box by standard tools such as recurrent neural networks. In this paper, we introduce the Hamiltonian Generative Network (HGN), the first approach capable of consistently learning Hamiltonian dynamics from high-dimensional observations (such as images) without restrictive domain assumptions. Once trained, we can use HGN to sample new trajectories, perform rollouts both forward and backward in time and even speed up or slow down the learned dynamics. We demonstrate how a simple modification of the network architecture turns HGN into a powerful normalising flow model, called Neural Hamiltonian Flow (NHF), that uses Hamiltonian dynamics to model expressive densities. We hope that our work serves as a first practical demonstration of the value that the Hamiltonian formalism can bring to deep learning.


title: Incremental processing of noisy user utterances in the spoken language understanding task

abstract: The state-of-the-art neural network architectures make it possible to create spoken language understanding systems with high quality and fast processing time. One major challenge for real-world applications is the high latency of these systems caused by triggered actions with high executions times. If an action can be separated into subactions, the reaction time of the systems can be improved through incremental processing of the user utterance and starting subactions while the utterance is still being uttered. In this work, we present a model-agnostic method to achieve high quality in processing incrementally produced partial utterances. Based on clean and noisy versions of the ATIS dataset, we show how to create datasets with our method to create low-latency natural language understanding components. We get improvements of up to 47.91 absolute percentage points in the metric F1-score.


title: Revival of Quantum Interference by Modulating the Biphotons

abstract: The possibility to manipulate the wavepackets of single photons or biphotons has enriched quantum optics and quantum information science, with examples ranging from faithful quantum-state mapping and high-efficiency quantum memory to the purification of single photons. Here we demonstrate another fascinating use of wavepacket manipulation on restoring quantum interference. By modulating the photons' temporal wavepacket, we observe the revival of post-selected entanglement that would otherwise be degraded or lost due to poor quantum interference. Our study shows that the amount of the restored entanglement is only limited by the forms of modulation and can achieve full recovery if the modulation function is properly designed. Our work has potential applications in long-distance quantum communication and linear optical quantum computation, particularly for quantum repeaters and large cluster states.


title: Hensel minimality I

abstract: We present a framework for tame geometry on Henselian valued fields which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and applications for Hensel minimal structures that were previously known only under stronger, less axiomatic assumptions. We show existence of t-stratifications in Hensel minimal structures and Taylor approximation results which are key to non-archimedean versions of Pila-Wilkie point counting, Yomdin's parameterization results and to motivic integration. In this first paper we work in equi-characteristic zero; in the sequel paper, we develop the mixed characteristic case and a diophantine application.


title: Form factors for the Nucleon-to-Roper electromagnetic transition at large-$Q^2$

abstract: We report on a recent calculation of all Roper-related electromagnetic transtions form factors, covering the range of energies that next-to-come planned experiments are expected to map. Direct reliable calculations were performed, within a Poincar\'e covariant approach of the three-body bound-state problem, up to $Q^2/m^2_N$=6; approximated then by applying the Schlessinger point method and the results eventually extended up to $Q^2/m^2_N\simeq$12 via analytic continuation.


title: Multi-agent Collaboration for Feasible Collaborative Behavior Construction and Evaluation

abstract: In the case of the two-person zero-sum stochastic game with a central controller, this paper proposes a best collaborative behavior search and selection algorithm based on reinforcement learning, in response to how to choose the best collaborative object and action for the central controller. In view of the existing multi-agent collaboration and confrontation reinforcement learning methods, the methods of traversing all actions in a certain state leads to the problem of long calculation time and unsafe policy exploration. This paper proposes to construct a feasible collaborative behavior set by using action space discretization, establishing models of both sides, model-based prediction and parallel search. Then, we use the deep q-learning method in reinforcement learning to train the scoring function to select the optimal collaboration behavior from the feasible collaborative behavior set. This method enables efficient and accurate calculation in an environment with strong confrontation, high dynamics and a large number of agents, which is verified by the RoboCup Small Size League robots passing collaboration.


title: Increasing the precision for $Z$ production at colliders: mixed QCD-QED effects

abstract: In this talk, we describe the recent progress on the inclusion of mixed QCD-QED corrections for collider observables. In particular, we developed a formalism to extend $q_T$-resummation to deal with simultaneous emission of gluons and photons. We applied it to $Z$ production at colliders, and briefly discuss extensions to more complicated final states.


title: A novel characterisation of gravitational radiation in asymptotically flat space-times

abstract: A novel criterion to determine the presence of gravitational radiation arriving to, or departing from, null infinity of any weakly asymptotically-simple space-time with vanishing cosmological constant is given. The quantities involved are geometric, of tidal nature, with good gauge behaviour and univocally defined at null infinity. The relationship with the classical characterisation using the News tensor is analysed in detail. A new balance law at infinity is presented, which may be useful to define `radiation states'.


title: 3D aspects of materials design for metals and alloys

abstract: Nowadays, most structural integrity concepts rely on simplified isotropic ma-terial data that are used within continuum mechanics modeling approaches. In contrast, modern casting and forming processes yield complex microstruc-tures coming along with pronounced gradients in the material's properties in various length scales. By means of additive manufacturing. bionics-inspired structures can be perfectly adapted to the space-resolved load distribution. Specific temperature control during solidification or heat treatment allow for usage of anisotropy and precipitation effects for materials optimization down to the atomic length scale. The present paper shows the significance and practical application of a three-dimensional correlation between the material's microstructure and its technical properties.


title: Supersymmetric Yang--Mills Matrix Integrals Revisited

abstract: We evaluate the twisted partition function of four-dimensional $\mathcal{N} = 1$ supersymmetric Yang--Mills theory reduced to a point for all simple gauge groups. The partition function is expressed as a sum of residues. The types of residues that appear are classified by distinguished nilpotent orbits. Surprisingly, the multiplicity of residues of each type is proportional to their common value. The sum over residues has the same form as the Plancherel measure for Yang's system of particles. Intriguingly, the precise constants appearing in the Plancherel measure also appear in the formal degrees of unipotent discrete series representations of $p$-adic groups.


title: Pulse solutions of the fractional effective models of the Fermi-Pasta-Ulam lattice with long-range interactions

abstract: We study analytical solutions of the Fractional Boussinesq Equation (FBE), which is an effective model for the Fermi-Pasta-Ulam (FPU) one-dimensional lattice with long-range couplings. The couplings decay as a power-law with exponent s, with 1 < s < 3, so that the energy density is finite, but s is small enough to observe genuine long-range effects. The analytic solutions are obtained by introducing an ansatz for the dependence of the field on space and time. This allows to reduce the FBE to an ordinary differential equation, which can be explicitly solved. The solutions are initially localized and they delocalize progressively as time evolves. Depending on the value of s the solution is either a pulse (meaning a bump) or an anti-pulse (i.e., a hole) on a constant field for 1 < s < 2 and 2 < s < 3, respectively.


title: Cube sums of form $3p$ and $3p^2$ II

abstract: Let $p\equiv 2,5\mod 9$ be a prime. We prove that both $3p$ and $3p^2$ are cube sums. We also establish some explicit Gross-Zagier formulae and investigate the 3 part full BSD conjecture of the related elliptic curves.


title: Holographic Abelian Higgs model and the Linear confinement

abstract: We consider the holographic abelian Higgs model and show that, in the absence of the scale symmetry breaking effect, chiral symmetry breaking gives linear confinement where the slope is given by the value of the chiral condensation. The model can be considered either as the theory of superconductivity or as the axial sector of QCD depending on the interpretation of the charge. We also provided a few models with linear confinement.


title: Process-independent effective coupling and the pion structure function

abstract: We sketch the calculation of the pion structure functions within the DSE framework, following two alternative albeit consistent approaches, and discuss then their QCD evolution, the running driven by an effective charge, from a hadronic scale up to any larger one accessible to experiment.


title: $H^1$-norm error estimate for a nonstandard finite element approximation of second-order linear elliptic PDEs in non-divergence form

abstract: This paper establishes the optimal $H^1$-norm error estimate for a nonstandard finite element method for approximating $H^2$ strong solutions of second order linear elliptic PDEs in non-divergence form with continuous coefficients. To circumvent the difficulty of lacking an effective duality argument for this class of PDEs, a new analysis technique is introduced; the crux of it is to establish an $H^1$-norm stability estimate for the finite element approximation operator which mimics a similar estimate for the underlying PDE operator recently established by the authors and its proof is based on a freezing coefficient technique and a topological argument. Moreover, both the $H^1$-norm stability and error estimate also hold for the linear finite element method.


title: Hide and Seek with Massive Fields in Modulus Mediation

abstract: We study the modulus mediation of supersymmetry breaking motivated by superstring theory. We show that the renormalization group running of the soft supersymmetry breaking parameters due to the interactions of massive fields is canceled by the threshold corrections at one-loop order, if their mass is given by nonperturbative dynamics controlled by the same modulus that mediates supersymmetry breaking and a sum rule of the modular weights holds for the Yukawa couplings. As an example, we discuss order reduction of lepton flavor violation in the supersymmetric seesaw mechanism, which revives the parameter space already excluded.


title: Swarm Hunting and Clusters Turning Inside Out in Chemically Communicating Active Mixtures

abstract: A large variety of microorganisms produce molecules to communicate via complex signaling mechanisms such as quorum sensing and chemotaxis. The biological diversity is enormous, but synthetic inanimate colloidal microswimmers mimic microbiological communication (synthetic chemotaxis) and may be used to explore collective behaviour beyond the one-species limit in simpler setups. In this work we combine particle based and continuum simulations as well as linear stability analyses, and study a physical minimal model of two chemotactic species. We observed a rich phase diagram comprising a "hunting swarm phase", where both species self-segregate and form swarms, pursuing, or hunting each other, and a "core-shell-cluster phase", where one species forms a dense cluster, which is surrounded by a (fluctuating) corona of particles from the other species. Once formed, these clusters can dynamically turn inside out, representing a "species-reversal". These results exemplify a physical route to collective behaviours in microorganisms and active colloids, which are so-far known to occur only for comparatively large and complex animals like insects or crustaceans.


title: Min-Max Optimization without Gradients: Convergence and Applications to Adversarial ML

abstract: In this paper, we study the problem of constrained robust (min-max) optimization ina black-box setting, where the desired optimizer cannot access the gradients of the objective function but may query its values. We present a principled optimization framework, integrating a zeroth-order (ZO) gradient estimator with an alternating projected stochastic gradient descent-ascent method, where the former only requires a small number of function queries and the later needs just one-step descent/ascent update. We show that the proposed framework, referred to as ZO-Min-Max, has a sub-linear convergence rate under mild conditions and scales gracefully with problem size. From an application side, we explore a promising connection between black-box min-max optimization and black-box evasion and poisoning attacks in adversarial machine learning (ML). Our empirical evaluations on these use cases demonstrate the effectiveness of our approach and its scalability to dimensions that prohibit using recent black-box solvers.


title: System-level optimization of Network-on-Chips for heterogeneous 3D System-on-Chips

abstract: For a system-level design of Networks-on-Chip for 3D heterogeneous System-on-Chip (SoC), the locations of components, routers and vertical links are determined from an application model and technology parameters. In conventional methods, the two inputs are accounted for separately; here, we define an integrated problem that considers both application model and technology parameters. We show that this problem does not allow for exact solution in reasonable time, as common for many design problems. Therefore, we contribute a heuristic by proposing design steps, which are based on separation of intralayer and interlayer communication. The advantage is that this new problem can be solved with well-known methods. We use 3D Vision SoC case studies to quantify the advantages and the practical usability of the proposed optimization approach. We achieve up to 18.8% reduced white space and up to 12.4% better network performance in comparison to conventional approaches.


title: $T \bar T$ and EE, with implications for (A)dS subregion encodings

abstract: We initiate a study of subregion dualities, entropy, and redundant encoding of bulk points in holographic theories deformed by $T \bar T$ and its generalizations. This includes both cut off versions of Anti de Sitter spacetime, as well as the generalization to bulk de Sitter spacetime, for which we introduce two additional examples capturing different patches of the bulk and incorporating the second branch of the square root dressed energy formula. We provide new calculations of entanglement entropy (EE) for more general divisions of the system than the symmetric ones previously available. We find precise agreement between the gravity side and deformed-CFT side results to all orders in the deformation parameter at large central charge. An analysis of the fate of strong subadditivity for relatively boosted regions indicates nonlocality reminiscent of string theory. We introduce the structure of operator algebras in these systems. The causal and entanglement wedges generalize to appropriate deformed theories but exhibit qualitatively new behaviors, e.g. the causal wedge may exceed the entanglement wedge. This leads to subtleties which we express in terms of the Hamiltonian and modular Hamiltonian evolution. Finally, we exhibit redundant encoding of bulk points, including the cosmological case.


title: Radio Resource Dimensioning with Cox Process Based User Location Distribution

abstract: The upcoming fifth generation (5G) New Radio (NR) interface inherits many concepts and techniques from 4G systems such as the Orthogonal Frequency Division Multiplex (OFDM) based waveform and multiple access. Dimensioning 5G NR interface will likely follow the same principles as in 4G networks. It aims at finding the number of radio resources required to carry a forecast data traffic at a target users Quality of Services (QoS). The present paper attempts to provide a new approach of radio resources dimensioning considering the congestion probability, qualified as a relevant metric for QoS evaluation. We distinguish between the spatial random distribution of indoor users, modeled by a spatial Poisson Point Process (spatial PPP) in a typical area covered by a 5G cell, and the distribution of outdoor users modeled by a linear PPP generated in a random system of roads modeled according to a Poisson Line Process (PLP). Moreover, we show that the total requested Physical Resource Blocks (PRBs) follows a compound Poisson distribution and we attempt to derive the explicit expression of the congestion probability by introducing a mathematical tool from combinatorial analysis called the exponential Bell polynomials. Finally we show how to dimension radio resources, for a given target congestion probability, by solving an implicit relation between the necessary resources and the forecast data traffic expressed in terms of cell throughput. Different numerical results are presented to justify this dimensioning approach.


title: Constraining the observer angle of the kilonova AT2017gfo associated with GW170817: Implications for the Hubble constant

abstract: There is a strong degeneracy between the luminosity distance ($D_L$) and the observer viewing angle ($\theta_{\rm obs}$; hereafter viewing angle) of the gravitational wave (GW) source with an electromagnetic counterpart, GW170817. Here, for the first time, we present independent constraints on $\theta_{\rm obs} = 32.5 ^{\circ +11.7}_{-9.7}$ from broad-band photometry of the kilonova (kN) AT2017gfo associated with GW170817. These constraints are consistent with independent results presented in the literature using the associated gamma ray burst GRB170817A. Combining the constraints on $\theta_{\rm obs}$ with the GW data, we find an improvement of 24$\%$ on $H_0$. The observer angle constraints are insensitive to other model parameters, e.g. the ejecta mass, half-opening angle of the lanthanide-rich region and the temperature. A broad wavelength coverage extending to the near infrared is helpful to robustly constrain $\theta_{\rm obs}$. While the improvement on $H_0$ presented here is smaller than the one from high angular resolution imaging of the radio counterpart of GW170817, kN observations are significantly more feasible at the typical distances of such events from current and future LIGO-Virgo Collaboration observing runs ($D_L \sim 100$ Mpc). Our results are insensitive to the assumption on the peculiar velocity of the kN host galaxy.


title: Statistical hyperbolicity for harmonic measure

abstract: We consider harmonic measures that arise from random walks on the mapping class group determined by probability distributions that have finite first moment with respect to the Teichmuller metric, and whose supports generate non-elementary subgroups. We prove that Teichmuller space with the Teichmuller metric is statistically hyperbolic for such a harmonic measure.


title: Super-giant pulses from the Crab pulsar : Energy distribution and occurrence rate

abstract: We present statistical analysis of a fluence limited sample of over 1100 giant pulses from the Crab pulsar, with fluence > 130 Jy ms at ~1330 MHz. These were detected in ~260 hours of observation with the National Centre for Radio Astrophysics (NCRA)-15m radio telescope. We find that the pulse energy distribution follows a power law with index $\alpha\approx$-3 at least up to a fluence of ~5 Jy s. The power law index agrees well with that found for lower energy pulses in the range 3-30 Jy ms. The fluence distribution of the Crab pulsar hence appears to follow a single power law over ~3 orders of magnitude in fluence. We do not see any evidence for the flattening at high fluences reported by earlier studies. We also find that at these fluence levels, the rate of giant-pulse emission varies by as much as a factor of ~5 on time-scales of a few days, although the power law index of the pulse-energy distribution remains unchanged. The slope of the fluence distribution for Crab giant pulses is similar to that recently determined for the repeating FRB 121102. We also find an anti-correlation between the pulse fluence and the pulse width, so that more energetic pulses are preferentially shorter.


title: The Berkeley sample of Type II supernovae: BVRI light curves and spectroscopy of 55 SNe II

abstract: In this work, BV RI light curves of 55 Type II supernovae (SNe II) from the Lick Observatory Supernova Search program obtained with the Katzman Automatic Imaging Telescope and the 1 m Nickel telescope from 2006 to 2018 are presented. Additionally, more than 150 spectra gathered with the 3 m Shane telescope are published. We conduct an analyse of the peak absolute magnitudes, decline rates, and time durations of different phases of the light and colour curves. Typically, our light curves are sampled with a median cadence of 5.5 days for a total of 5093 photometric points. In average V-band plateau declines with a rate of 1.29 mag (100 days)-1, which is consistent with previously published samples. For each band, the plateau slope correlates with the plateau length and the absolute peak magnitude: SNe II with steeper decline have shorter plateau duration and are brighter. A time-evolution analysis of spectral lines in term of velocities and pseudoequivalent widths is also presented in this paper. Our spectroscopic sample ranges between 1 and 200 days post-explosion and has a median ejecta expansion velocity at 50 days post-explosion of 6500 km/s (Halpha line) and a standard dispersion of 2000 km/s. Nebular spectra are in good agreement with theoretical models using a progenitor star having a mass <16 Msol. All the data are available to the community and will help to understand SN II diversity better, and therefore to improve their utility as cosmological distance indicators.


title: Binary Pulsars as probes for Spin-2 Ultralight Dark Matter

abstract: Binary pulsars can be excellent probes of ultra-light dark matter. We consider the scenario where the latter is represented by a spin-2 field. The coherent oscillations of the dark matter field perturb the dynamics of binary systems, leading to secular effects for masses that resonate with the binary systems. For the range $10^{-23}$eV $\lesssim m \lesssim 10^{-17}$eV we show that current timing data could potentially constrain the universal coupling strength of dark matter to ordinary matter at the level of $\alpha \simeq 10^{-5}$.


title: Trion ground state energy: simple results

abstract: We investigate the trion binding energy in a three-dimensional semiconductor, with bare Coulomb interaction between charges, and effective mass approximation for the electron and hole dispersion relations. This is done by making use of a previously proposed exact method for the three-body problem. The calculations cover the complete range of electron-to-hole mass ratio. We find a perfect agreement with existing variational calculations. Investigating the small and large mass ratio regimes, we build a three parameters interpolating formula for the trion binding energy $E_b(r)$ in terms of the exciton binding energy, where $r$ is the electron to exciton mass ratio. This formula $E_b(r)=0.71347-0.11527 \,r -0.18580\, \sqrt{1-r}\,$, in atomic units, is in full agreement, within our precision, with our numerical results over the complete range of mass ratio.


title: Non-Hermitian disorder in two-dimensional optical lattices

abstract: In this paper, we study the properties of two-dimensional lattices in the presence of non-Hermitian disorder. In the context of coupled mode theory, we consider random gain-loss distributions on every waveguide channel (on site disorder). Our work provides a systematic study of the interplay between disorder and non-Hermiticity. In particular, we study the eigenspectrum in the complex frequency plane and we examine the localization properties of the eigenstates, either by the participation ratio or the level spacing, defined in the complex plane. A modified level distribution function vs disorder seems to fit our computational results.


title: Coarse-to-Fine Registration of Airborne LiDAR Data and Optical Imagery on Urban Scenes

abstract: Applications based on synergistic integration of optical imagery and LiDAR data are receiving a growing interest from the remote sensing community. However, a misaligned integration between these datasets may fail to fully profit the potential of both sensors. In this regard, an optimum fusion of optical imagery and LiDAR data requires an accurate registration. This is a complex problem since a versatile solution is still missing, especially when considering the context where data are collected at different times, from different platforms, under different acquisition configurations. This paper presents a coarse-to-fine registration method of aerial/satellite optical imagery with airborne LiDAR data acquired in such context. Firstly, a coarse registration involves extracting and matching of buildings from LiDAR data and optical imagery. Then, a Mutual Information-based fine registration is carried out. It involves a super-resolution approach applied to LiDAR data, and a local approach of transformation model estimation. The proposed method succeeds at overcoming the challenges associated with the aforementioned difficult context. Considering the experimented airborne LiDAR (2011) and orthorectified aerial imagery (2016) datasets, their spatial shift is reduced by 48.15% after the proposed coarse registration. Moreover, the incompatibility of size and spatial resolution is addressed by the mentioned super-resolution. Finally, a high accuracy of dataset alignment is also achieved, highlighted by a 40-cm error based on a check-point assessment and a 64-cm error based on a check-pair-line assessment. These promising results enable further research for a complete versatile fusion methodology between airborne LiDAR and optical imagery data in this challenging context.


title: Unified Description of Polarized and Unpolarized Quark Distributions in the Proton

abstract: We propose a unified new approach to describe polarized and unpolarized quark distributions in the proton based on the gauge-gravity correspondence, light-front holography, and the generalized Veneziano model. We find that the spin-dependent quark distributions are uniquely determined in terms of the unpolarized distributions by chirality separation without the introduction of additional free parameters. The predictions are consistent with existing experimental data and agree with perturbative QCD constraints at large longitudinal momentum $x$. In particular, we predict the sign reversal of the polarized down-quark distribution in the proton at $x=0.8\pm0.03$, a key property of nucleon substructure which will be tested very soon in upcoming experiments.


title: Unsupervised Pose Flow Learning for Pose Guided Synthesis

abstract: Pose guided synthesis aims to generate a new image in an arbitrary target pose while preserving the appearance details from the source image. Existing approaches rely on either hard-coded spatial transformations or 3D body modeling. They often overlook complex non-rigid pose deformation or unmatched occluded regions, thus fail to effectively preserve appearance information. In this paper, we propose an unsupervised pose flow learning scheme that learns to transfer the appearance details from the source image. Based on such learned pose flow, we proposed GarmentNet and SynthesisNet, both of which use multi-scale feature-domain alignment for coarse-to-fine synthesis. Experiments on the DeepFashion, MVC dataset and additional real-world datasets demonstrate that our approach compares favorably with the state-of-the-art methods and generalizes to unseen poses and clothing styles.


title: Transverse Parton Distribution and Fragmentation Functions at NNLO: the Gluon Case

abstract: We calculate in this paper the perturbative gluon transverse momentum dependent parton distribution functions (TMDPDFs) and fragmentation functions (TMDFFs) using the exponential regulator for rapidity divergences. We obtain results for both unpolarized and linearly polarized distributions through next-to-next-to leading order in strong coupling constant, and through ${\cal O}(\epsilon^2)$ in dimensional regulator (finding discrepancy for the linearly polarized gluon TMDPDFs with a previous result in the literature). We find a nontrivial momentum conservation sum rule for the linearly polarized component for both TMDPDFs and TMDFFs in the ${\cal N}=1$ super-Yang-Mills theory. The TMDFFs are used to calculate the two-loop gluon jet function for the energy-energy correlator in Higgs gluonic decay in the back-to-back limit.


title: Integrable magnetic flows on the two-torus: Zoll examples and systolic inequalities

abstract: In this paper we study some aspects of integrable magnetic systems on the two-torus. On the one hand, we construct the first non-trivial examples with the property that all magnetic geodesics with unit speed are closed. On the other hand, we show that those integrable magnetic systems admitting a global surface of section satisfy a sharp systolic inequality.


title: HaloSat -- A CubeSat to Study the Hot Galactic Halo

abstract: HaloSat is a small satellite (CubeSat) designed to map soft X-ray oxygen line emission across the sky in order to constrain the mass and spatial distribution of hot gas in the Milky Way. The goal of HaloSat is to help determine if hot gas gravitationally bound to individual galaxies makes a significant contribution to the cosmological baryon budget. HaloSat was deployed from the International Space Station in July 2018 and began routine science operations in October 2018. We describe the goals and design of the mission, the on-orbit performance of the science instrument, and initial observations.


title: Quantum frequency combs and Hong-Ou-Mandel interferometry: the role of spectral phase coherence

abstract: The Hong-Ou-Mandel interferometer is a versatile tool for analyzing the joint properties of photon pairs, relying on a truly quantum interference effect between two-photon probability amplitudes. While the theory behind this form of two-photon interferometry is well established, the development of advanced photon sources and exotic two-photon states has highlighted the importance of quantifying precisely what information can and cannot be inferred from features in a Hong-Ou-Mandel interference trace. Here we examine Hong-Ou-Mandel interference with regard to a particular class of states, so-called quantum frequency combs, and place special emphasis on the role spectral phase plays in these measurements. We find that this form of two-photon interferometry is insensitive to the relative phase between different comb line pairs. This is true even when different comb line pairs are mutually coherent at the input of a Hong-Ou-Mandel interferometer, and the fringe patterns display sharp temporal features. Consequently, Hong-Ou-Mandel interference cannot speak to the presence of high-dimensional frequency-bin entanglement in two-photon quantum frequency combs.


title: A unifying 2d action for integrable $\sigma$-models from 4d Chern-Simons theory

abstract: In the approach recently proposed by K. Costello and M. Yamazaki, which is based on a four-dimensional variant of Chern-Simons theory, we derive a simple and unifying two-dimensional form for the action of many integrable $\sigma$-models which are known to admit descriptions as affine Gaudin models. This includes both the Yang-Baxter deformation and the $\lambda$-deformation of the principal chiral model. We also give an interpretation of Poisson-Lie $T$-duality in this setting and derive the action of the $\mathsf{E}$-model.


title: Quark model calculations of transition form factors at high photon virtualities

abstract: We present calculations of $\gamma^\ast N \to N^\ast$ transition form factors, where $N$ is the nucleon and $N^\ast$ is a nucleon resonance, based on a covariant quark model. Our main focus is at high photon virtualities (large $Q^2$) where the valence quark degrees of freedom dominate the contributions to the transition form factors and helicity amplitudes. In that regime, the quark model estimates can be compared with the available data, particularly with the Jefferson Lab data at intermediate and large momentum transfer ($Q^2 >2$ GeV$^2$). The main focus is on the $\Delta(1232)3/2^+$, $N(1440)1/2^+$, $N(1535)1/2^-$ and $N(1520)3/2^-$ resonances, but estimates for other higher mass resonances are also discussed.


title: Rovibrational energy levels of the hydrogen molecule through nonadiabatic perturbation theory

abstract: We present an accurate theoretical determination of rovibrational energy levels of the hydrogen molecule and its isotopologues in its electronic ground state. We consider all significant corrections to the Born-Oppenheimer approximation, obtained within nonadiabatic perturbation theory, including the mixed nonadiabatic-relativistic effects. Quantum electrodynamic corrections in the leading $\alpha^5\,m$ and the next-to-leading $\alpha^6\,m$ orders, as well as finite nuclear size effect, are also taken into account but within the Born-Oppenheimer approximation only. Final results for the transition wavelength between rovibrational levels achieve accuracy of the order of $10^{-3}$--$10^{-7}$ cm$^{-1}$, and are provided by simple to use computer code.


title: Towards Diverse Paraphrase Generation Using Multi-Class Wasserstein GAN

abstract: Paraphrase generation is an important and challenging natural language processing (NLP) task. In this work, we propose a deep generative model to generate paraphrase with diversity. Our model is based on an encoder-decoder architecture. An additional transcoder is used to convert a sentence into its paraphrasing latent code. The transcoder takes an explicit pattern embedding variable as condition, so diverse paraphrase can be generated by sampling on the pattern embedding variable. We use a Wasserstein GAN to align the distributions of the real and generated paraphrase samples. We propose a multi-class extension to the Wasserstein GAN, which allows our generative model to learn from both positive and negative samples. The generated paraphrase distribution is forced to get closer to the positive real distribution, and be pushed away from the negative distribution in Wasserstein distance. We test our model in two datasets with both automatic metrics and human evaluation. Results show that our model can generate fluent and reliable paraphrase samples that outperform the state-of-art results, while also provides reasonable variability and diversity.


title: Nonequilibrium thermodynamics of erasure with superconducting flux logic

abstract: We implement a thermal-fluctuation driven logical bit reset on a superconducting flux logic cell. We show that the logical state of the system can be continuously monitored with only a small perturbation to the thermally activated dynamics at 500 mK. We use the trajectory information to derive a single-shot estimate of the work performed on the system per logical cycle. We acquire a sample of $10^5$ erasure trajectories per protocol, and show that the work histograms agree with both microscopic theory and global fluctuation theorems. The results demonstrate how to design and diagnose complex, high-speed, and thermodynamically efficient computing using superconducting technology.


title: Virtual excess intersection theory

abstract: We prove a K-theoretic excess intersection formula for derived Artin stacks. When restricted to classical schemes, it gives a refinement and new proof of R. Thomason's formula.


title: Optimal Differential Privacy Composition for Exponential Mechanisms and the Cost of Adaptivity

abstract: Composition is one of the most important properties of differential privacy (DP), as it allows algorithm designers to build complex private algorithms from DP primitives. We consider precise composition bounds of the overall privacy loss for exponential mechanisms, one of the fundamental classes of mechanisms in DP. We give explicit formulations of the optimal privacy loss for both the adaptive and non-adaptive settings. For the non-adaptive setting in which each mechanism has the same privacy parameter, we give an efficiently computable formulation of the optimal privacy loss. Furthermore, we show that there is a difference in the privacy loss when the exponential mechanism is chosen adaptively versus non-adaptively. To our knowledge, it was previously unknown whether such a gap existed for any DP mechanisms with fixed privacy parameters, and we demonstrate the gap for a widely used class of mechanism in a natural setting. We then improve upon the best previously known upper bounds for adaptive composition of exponential mechanisms with efficiently computable formulations and show the improvement.


title: Computing vibrational eigenstates with tree tensor network states (TTNS)

abstract: We present how to compute vibrational eigenstates with tree tensor network states (TTNSs), the underlying ansatz behind the multilayer multiconfiguration time-dependent Hartree (ML-MCTDH) method. The eigenstates are computed with an algorithm that is based on the density matrix renormalization group (DMRG). We apply this to compute the vibrational spectrum of acetonitrile (CH$_3$CN) to high accuracy and compare TTNSs with matrix product states (MPSs), the ansatz behind the DMRG. The presented optimization scheme converges much faster than ML-MCTDH-based optimization. For this particular system, we found no major advantage of the more general TTNS over MPS. We highlight that for both TTNS and MPS, the usage of an adaptive bond dimension significantly reduces the amount of required parameters. We furthermore propose a procedure to find good trees.


title: Internal delensing of Cosmic Microwave Background polarization B-modes with the POLARBEAR experiment

abstract: Using only cosmic microwave background polarization data from the POLARBEAR experiment, we measure $B$-mode polarization delensing on subdegree scales at more than $5\sigma$ significance. We achieve a 14% $B$-mode power variance reduction, the highest to date for internal delensing, and improve this result to 2% by applying for the first time an iterative maximum a posteriori delensing method. Our analysis demonstrates the capability of internal delensing as a means of improving constraints on inflationary models, paving the way for the optimal analysis of next-generation primordial $B$-mode experiments.


title: Relaxing Bijectivity Constraints with Continuously Indexed Normalising Flows

abstract: We show that normalising flows become pathological when used to model targets whose supports have complicated topologies. In this scenario, we prove that a flow must become arbitrarily numerically noninvertible in order to approximate the target closely. This result has implications for all flow-based models, and especially Residual Flows (ResFlows), which explicitly control the Lipschitz constant of the bijection used. To address this, we propose Continuously Indexed Flows (CIFs), which replace the single bijection used by normalising flows with a continuously indexed family of bijections, and which can intuitively "clean up" mass that would otherwise be misplaced by a single bijection. We show theoretically that CIFs are not subject to the same topological limitations as normalising flows, and obtain better empirical performance on a variety of models and benchmarks.


title: Geometric Brain Surface Network For Brain Cortical Parcellation

abstract: A large number of surface-based analyses on brain imaging data adopt some specific brain atlases to better assess structural and functional changes in one or more brain regions. In these analyses, it is necessary to obtain an anatomically correct surface parcellation scheme in an individual brain by referring to the given atlas. Traditional ways to accomplish this goal are through a designed surface-based registration or hand-crafted surface features, although both of them are time-consuming. A recent deep learning approach depends on a regular spherical parameterization of the mesh, which is computationally prohibitive in some cases and may also demand further post-processing to refine the network output. Therefore, an accurate and fully-automatic cortical surface parcellation scheme directly working on the original brain surfaces would be highly advantageous. In this study, we propose an end-to-end deep brain cortical parcellation network, called \textbf{DBPN}. Through intrinsic and extrinsic graph convolution kernels, DBPN dynamically deciphers neighborhood graph topology around each vertex and encodes the deciphered knowledge into node features. Eventually, a non-linear mapping between the node features and parcellation labels is constructed. Our model is a two-stage deep network which contains a coarse parcellation network with a U-shape structure and a refinement network to fine-tune the coarse results. We evaluate our model in a large public dataset and our work achieves superior performance than state-of-the-art baseline methods in both accuracy and efficiency


title: On measurings of algebras over operads and homology theories

abstract: The notion of a coalgebra measuring, introduced by Sweedler, is a kind of generalized ring map between algebras. We begin by studying maps on Hochschild homology induced by coalgebra measurings. We then introduce a notion of coalgebra measuring between Lie algebras and use it to obtain maps on Lie algebra homology. Further, these measurings between Lie algebras satisfy nice adjoint like properties with respect to universal enveloping algebras. More generally, we introduce and undertake a detailed study of the notion of coalgebra measuring between algebras over any operad $\mathcal O$. In case $\mathcal O$ is a binary and quadratic operad, we show that a measuring of $\mathcal O$-algebras leads to maps on operadic homology. In general, for any operad $\mathcal O$, we construct universal measuring coalgebras to show that the category of $\mathcal O$-algebras is enriched over coalgebras. We develop measuring comodules and universal measuring comodules for this theory. We also relate these to measurings of the universal enveloping algebra $U_{\mathcal O}(\mathscr A)$ of an $\mathcal O$-algebra $\mathscr A$ and the modules over it. Finally, we construct the Sweedler product $C\rhd \mathscr A$ of a coalgebra $C$ and an $\mathcal O$-algebra $\mathscr A$. The object $C\rhd \mathscr A$ is universal among $\mathcal O$-algebras that arise as targets of $C$-measurings starting from $\mathscr A$.


title: Thermodynamics of AdS$_5$ black holes: holographic QCD and St\"uckelberg model

abstract: We explore the thermodynamics of AdS$_5$ black holes in two models: i) an improved holographic QCD model with a simple dilaton potential, and ii) the St\"uckelberg model in 5D. In the former case, by applying techniques of singular perturbation theory, we obtain a resummation of the naive expansion at high temperatures, providing a good fit to the lattice data for the trace anomaly. In the latter, we find a solution of the equations of motion by considering an expansion in the conformal dimension of the current associated to the gauge field.


title: Exact Reduction of the Generalized Lotka-Volterra Equations via Integral and Algebraic Substitutions

abstract: Systems of interacting species, such as biological environments or chemical reactions, are often described mathematically by sets of coupled ordinary differential equations. While a large number $\beta$ of species may be involved in the coupled dynamics, often only $\alpha < \beta$ species are of interest or of consequence. In this paper, I explore how to build reduced models that include only those given $\alpha$ species, but still recreate the dynamics of the original $\beta$-species model. Under some conditions detailed here, this reduction can be completed exactly, such that the information in the reduced model is exactly the same as the original one, but over fewer equations. Moreover, this reduction process suggests a promising type of approximate model -- no longer exact, but computationally quite simple


title: Automatic Fact-guided Sentence Modification

abstract: Online encyclopediae like Wikipedia contain large amounts of text that need frequent corrections and updates. The new information may contradict existing content in encyclopediae. In this paper, we focus on rewriting such dynamically changing articles. This is a challenging constrained generation task, as the output must be consistent with the new information and fit into the rest of the existing document. To this end, we propose a two-step solution: (1) We identify and remove the contradicting components in a target text for a given claim, using a neutralizing stance model; (2) We expand the remaining text to be consistent with the given claim, using a novel two-encoder sequence-to-sequence model with copy attention. Applied to a Wikipedia fact update dataset, our method successfully generates updated sentences for new claims, achieving the highest SARI score. Furthermore, we demonstrate that generating synthetic data through such rewritten sentences can successfully augment the FEVER fact-checking training dataset, leading to a relative error reduction of 13%.


title: RLCache: Automated Cache Management Using Reinforcement Learning

abstract: This study investigates the use of reinforcement learning to guide a general purpose cache manager decisions. Cache managers directly impact the overall performance of computer systems. They govern decisions about which objects should be cached, the duration they should be cached for, and decides on which objects to evict from the cache if it is full. These three decisions impact both the cache hit rate and size of the storage that is needed to achieve that cache hit rate. An optimal cache manager will avoid unnecessary operations, maximise the cache hit rate which results in fewer round trips to a slower backend storage system, and minimise the size of storage needed to achieve a high hit-rate. This project investigates using reinforcement learning in cache management by designing three separate agents for each of the cache manager tasks. Furthermore, the project investigates two advanced reinforcement learning architectures for multi-decision problems: a single multi-task agent and a multi-agent. We also introduce a framework to simplify the modelling of computer systems problems as a reinforcement learning task. The framework abstracts delayed experiences observations and reward assignment in computer systems while providing a flexible way to scale to multiple agents. Simulation results based on an established database benchmark system show that reinforcement learning agents can achieve a higher cache hit rate over heuristic driven algorithms while minimising the needed space. They are also able to adapt to a changing workload and dynamically adjust their caching strategy accordingly. The proposed cache manager model is generic and applicable to other types of caches, such as file system caches. This project is the first, to our knowledge, to model cache manager decisions as a multi-task control problem.


title: Coherent spin mixing via spin-orbit coupling in Bose gases

abstract: We study beyond-mean-field properties of interacting spin-1 Bose gases with synthetic Rashba-Dresselhaus spin-orbit coupling at low energies. We derive a many-body Hamiltonian following a tight-binding approximation in quasi-momentum space, where the effective spin dependence of the collisions that emerges from spin-orbit coupling leads to dominant correlated tunneling processes that couple the different bound states. We discuss the properties of the spectrum of the derived Hamiltonian and its experimental signatures. In a certain region of the parameter space, the system becomes integrable, and its dynamics becomes analogous to that of a spin-1 condensate with spin-dependent collisions. Remarkably, we find that such dynamics can be observed in existing experimental setups through quench experiments that are robust against magnetic fluctuations.


title: Localized surface electromagnetic waves in CrI$_3$-based magnetophotonic structures

abstract: Resulting from strong magnetic anisotropy two-dimensional ferromagnetism was recently shown to be stabilized in chromium triiodide, CrI$_3$, in the monolayer limit. While its properties remain largely unexplored, it provides a unique material-specific platform to unveil its electromagnetic properties associated with coupling of modes. Indeed, trigonal symmetry in the presence of out-of-plane magnetization results in a non-trivial structure of the conductivity tensor, including the off-diagonal terms. In this paper, we study the surface electromagnetic waves localized in a CrI$_3$-based structure using the results of {\it ab initio} calculations for the CrI$_3$ conductivity tensor. In particular, we provide an estimate for the critical angle corresponding to the surface plasmon polariton generation in the Kretschmann-Raether configuration by a detailed investigation of reflectance spectrum as well as the magnetic field distribution for different CrI$_3$ layer thicknesses. We also study the bilayer structure formed by two CrI$_3$ layers separated by a SiO$_2$ spacer and show that the surface plasmon resonance can be achieved at the interface between CrI$_3$ and air depending on the spacer thickness.


title: MPC-based Controller with Terrain Insight for Dynamic Legged Locomotion

abstract: We present a novel control strategy for dynamic legged locomotion in complex scenarios, that considers information about the morphology of the terrain in contexts when only on-board mapping and computation are available. The strategy is built on top of two main elements: first a contact sequence task that provides safe foothold locations based on a convolutional neural network to perform fast and continuous evaluation of the terrain in search of safe foothold locations; then a model predictive controller that considers the foothold locations given by the contact sequence task to optimize target ground reaction forces. We assess the performance of our strategy through simulations of the hydraulically actuated quadruped robot HyQReal traversing rough terrain under realistic on-board sensing and computing conditions.


title: A Darwin Time Domain Scheme for the Simulation of Transient Quasistatic Electromagnetic Fields Including Resistive, Capacitive and Inductive Effects

abstract: The Darwin field model addresses an approximation to Maxwell's equations where radiation effects are neglected. It allows to describe general quasistatic electromagnetic field phenomena including inductive, resistive and capacitive effects. A Darwin formulation based on the Darwin-Amp\`ere equation and the implicitly included Darwin-continuity equation yields a non-symmetric and ill-conditioned algebraic systems of equations received from applying a geometric spatial discretization scheme and the implicit backward differentiation time integration method. A two-step solution scheme is presented where the underlying block-Gauss-Seidel method is shown to change the initially chosen gauge condition and the resulting scheme only requires to solve a weakly coupled electro-quasistatic and a magneto-quasistatic discrete field formulation consecutively in each time step. Results of numerical test problems validate the chosen approach.


title: Automated design of error-resilient and hardware-efficient deep neural networks

abstract: Applying deep neural networks (DNNs) in mobile and safety-critical systems, such as autonomous vehicles, demands a reliable and efficient execution on hardware. Optimized dedicated hardware accelerators are being developed to achieve this. However, the design of efficient and reliable hardware has become increasingly difficult, due to the increased complexity of modern integrated circuit technology and its sensitivity against hardware faults, such as random bit-flips. It is thus desirable to exploit optimization potential for error resilience and efficiency also at the algorithmic side, e.g., by optimizing the architecture of the DNN. Since there are numerous design choices for the architecture of DNNs, with partially opposing effects on the preferred characteristics (such as small error rates at low latency), multi-objective optimization strategies are necessary. In this paper, we develop an evolutionary optimization technique for the automated design of hardware-optimized DNN architectures. For this purpose, we derive a set of easily computable objective functions, which enable the fast evaluation of DNN architectures with respect to their hardware efficiency and error resilience solely based on the network topology. We observe a strong correlation between predicted error resilience and actual measurements obtained from fault injection simulations. Furthermore, we analyze two different quantization schemes for efficient DNN computation and find significant differences regarding their effect on error resilience.


title: Adaptive Multi-index Collocation for Uncertainty Quantification and Sensitivity Analysis

abstract: In this paper, we present an adaptive algorithm to construct response surface approximations of high-fidelity models using a hierarchy of lower fidelity models. Our algorithm is based on multi-index stochastic collocation and automatically balances physical discretization error and response surface error to construct an approximation of model outputs. This surrogate can be used for uncertainty quantification (UQ) and sensitivity analysis (SA) at a fraction of the cost of a purely high-fidelity approach. We demonstrate the effectiveness of our algorithm on a canonical test problem from the UQ literature and a complex multi-physics model that simulates the performance of an integrated nozzle for an unmanned aerospace vehicle. We find that, when the input-output response is sufficiently smooth, our algorithm produces approximations that can be over two orders of magnitude more accurate than single fidelity approximations for a fixed computational budget.


title: Universal Approximation with Certified Networks

abstract: Training neural networks to be certifiably robust is critical to ensure their safety against adversarial attacks. However, it is currently very difficult to train a neural network that is both accurate and certifiably robust. In this work we take a step towards addressing this challenge. We prove that for every continuous function $f$, there exists a network $n$ such that: (i) $n$ approximates $f$ arbitrarily close, and (ii) simple interval bound propagation of a region $B$ through $n$ yields a result that is arbitrarily close to the optimal output of $f$ on $B$. Our result can be seen as a Universal Approximation Theorem for interval-certified ReLU networks. To the best of our knowledge, this is the first work to prove the existence of accurate, interval-certified networks.


title: Ionization of biological molecules by multicharged ions using the stoichiometric model

abstract: In the present work, we investigate the ionization of molecules of biological interest by the impact of multicharged ions in the intermediate to high energy range. We performed full non-perturbative distorted-wave calculations (CDW) for thirty-six collisional systems composed by six atomic targets: H, C, N, O, F, and S -which are the constituents of most of the DNA and biological molecules- and six charged projectiles (antiprotons, H, He, B, C, and O). On account of the radiation damage caused by secondary electrons, we inspect the energy and angular distributions of the emitted electrons from the atomic targets. We examine seventeen molecules: DNA and RNA bases, DNA backbone, pyrimidines, tetrahydrofuran (THF), and C n H n compounds. We show that the simple stoichiometric model (SSM), which approximates the molecular ionization cross sections as a linear combination of the atomic ones, gives reasonably good results for complex molecules. We also inspect the extensively used Toburen scaling of the total ionization cross sections of molecules with the number of weakly bound electrons. Based on the atomic CDW results, we propose new active electron numbers, which leads to a better universal scaling for all the targets and ions studied here in the intermediate to the high energy region. The new scaling describes well the available experimental data for proton impact, including small molecules. We perform full molecular calculations for five nucleobases and test a modified stoichiometric formula based on the Mulliken charge of the composite atoms. The difference introduced by the new stoichiometric formula is less than 3%, which indicates the reliability of the SSM to deal with this type of molecules. The results of the extensive ion-target examination included in the present study allow us to assert that the SSM and the CDW-based scaling will be useful tools in this area.


title: A relaxation of the Directed Disjoint Paths problem: a global congestion metric helps

abstract: In the Directed Disjoint Paths problem, we are given a digraph $D$ and a set of requests $\{(s_1, t_1), \ldots, (s_k, t_k)\}$, and the task is to find a collection of pairwise vertex-disjoint paths $\{P_1, \ldots, P_k\}$ such that each $P_i$ is a path from $s_i$ to $t_i$ in $D$. This problem is NP-complete for fixed $k=2$ and W[1]-hard with parameter $k$ in DAGs. A few positive results are known under restrictions on the input digraph, such as being planar or having bounded directed tree-width, or under relaxations of the problem, such as allowing for vertex congestion. Positive results are scarce, however, for general digraphs. In this article we propose a novel global congestion metric for the problem: we only require the paths to be "disjoint enough", in the sense that they must behave properly not in the whole graph, but in an unspecified part of size prescribed by a parameter. Namely, in the Disjoint Enough Directed Paths problem, given an $n$-vertex digraph $D$, a set of $k$ requests, and non-negative integers $d$ and $s$, the task is to find a collection of paths connecting the requests such that at least $d$ vertices of $D$ occur in at most $s$ paths of the collection. We study the parameterized complexity of this problem for a number of choices of the parameter, including the directed tree-width of $D$. Among other results, we show that the problem is W[1]-hard in DAGs with parameter $d$ and, on the positive side, we give an algorithm in time $\mathcal{O}(n^{d+2} \cdot k^{d\cdot s})$ and a kernel of size $d \cdot 2^{k-s}\cdot \binom{k}{s} + 2k$ in general digraphs. This latter result has consequences for the Steiner Network problem: we show that it is FPT parameterized by the number $k$ of terminals and $p$, where $p = n - q$ and $q$ is the size of the solution.


title: Saturn atmospheric dynamics one year after Cassini: Long-lived features and time variations in the drift of the Hexagon

abstract: We examine Saturn's atmosphere with observations from ground-based telescopes and Hubble Space Telescope (HST). We present a detailed analysis of observations acquired during 2018. A system of polar storms that appeared in the planet in March 2018 and remained active with a complex phenomenology at least until Sept. is analyzed elsewhere (Sanchez-Lavega et al., in press , 2019). Many of the cloud features in 2018 are long-lived and can be identified in images in 2017, and in some cases, for up to a decade using also Cassini ISS images. Without considering the polar storms, the most interesting long-lived cloud systems are: i) A bright spot in the EZ that can be tracked continuously since 2014 with a zonal velocity of 444 m/s in 2014 and 452 m/s in 2018. This velocity is different from the zonal winds at the cloud level at its latitude during the Cassini mission, and is closer to zonal winds obtained at the time of the Voyager flybys and zonal winds from Cassini VIMS infrared images of the lower atmosphere. ii) A large Anticyclone Vortex, here AV, that formed after the GWS of 2010-2011. This vortex has changed significantly in visual contrast, drift rate and latitude with minor changes in size over the last years. iii) A system of subpolar vortices present at least since 2011. These vortices follow drift rates consistent with zonal winds obtained by Cassini. We also present the positions of the vertices of the North polar hexagon from 2015 to 2018 compared with previous analyses during Cassini (2007-2014), observations with HST, and Voyager data in 1980-1981 to explore the long-term hexagon's drift rate. Variations in the drift rate cannot be fit by seasonal changes. Instead, the different drift rates reinforce the role of the North Polar Spot that was present in the Voyager epoch to cause a faster drift rate of the hexagon at that time compared with the current one.


title: Shellings and sheddings induced by collapses

abstract: We say that a pure simplicial complex ${\mathbf K}$ of dimension $d$ satisfies the removal-collapsibility condition if ${\mathbf K}$ is either empty or ${\mathbf K}$ becomes collapsible after removing $\tilde \beta_d ({\mathbf K}; {\mathbb Z}_2)$ facets, where $\tilde \beta_d ({\mathbf K}; {\mathbb Z}_2)$ denotes the $d$th reduced Betti number. In this paper, we show that if the link of each face of a pure simplicial complex ${\mathbf K}$ (including the link of the empty face which is the whole ${\mathbf K}$) satisfy the removal-collapsibility condition, then the second barycentric subdivision of ${\mathbf K}$ is vertex decomposable and in particular shellable. This is a higher dimensional generalization of a result of Hachimori, who proved that that if the link of each vertex of a pure 2-dimensional simplicial complex ${\mathbf K}$ is connected, and ${\mathbf K}$ becomes simplicially collapsible after removing $\tilde{\chi}({\mathbf K})$ facets, where $\tilde \chi ({\mathbf K})$ denotes the reduced Euler characteristic, then the second barycentric subdivision of ${\mathbf K}$ is shellable. For the proof, we introduce a new variant of decomposability of a simplicial complex, stronger than vertex decomposability, which we call star decomposability. This notion may be of independent interest.


title: The Universal Decompositional Semantics Dataset and Decomp Toolkit

abstract: We present the Universal Decompositional Semantics (UDS) dataset (v1.0), which is bundled with the Decomp toolkit (v0.1). UDS1.0 unifies five high-quality, decompositional semantics-aligned annotation sets within a single semantic graph specification---with graph structures defined by the predicative patterns produced by the PredPatt tool and real-valued node and edge attributes constructed using sophisticated normalization procedures. The Decomp toolkit provides a suite of Python 3 tools for querying UDS graphs using SPARQL. Both UDS1.0 and Decomp0.1 are publicly available at http://decomp.io.


title: An algorithm to compute minimal Sullivan algebras

abstract: In this note, we give an algorithm that starting with a Sullivan algebra gives us its minimal model. This algorithm is a kind of modified AT-model algorithm used to compute in the past other kinds of topology information such as (co)homology, cup products on cohomology and persistent homology. Taking as input a (non-minimal) Sullivan algebra $A$ with an ordered finite set of generators preserving the filtration defined on $A$, we obtain as output a minimal Sullivan algebra with the same rational cohomology as $A$.


title: Spinorial structures, discrete symmetries and some consequences

abstract: In this paper we discuss fundamental aspects related to the helicity and dynamics of the spin-$1/2$ fermions encompassed within the very well-known Lounesto's classification. More specifically, we investigate how the bi-spinorial structures behave under discrete symmetries, as well as analyse some consequences on the spinors dynamics. In addition, we find an interesting relation between the spinor helicity and the Lounesto spinor classification.


title: van der Waals metamaterials

abstract: The van der Waals heterostructures are a fertile frontier for discovering emergent phenomena in condensed matter systems. They are constructed by stacking elements of a large library of two-dimensional materials, which couple together through van der Waals interactions. However, the number of possible combinations within this library is staggering, and fully exploring their potential is a daunting task. Here we introduce van der Waals metamaterials to rapidly prototype and screen their quantum counterparts. These layered metamaterials are designed to reshape the flow of ultrasound to mimic electron motion. In particular, we show how to construct analogues of all stacking configurations of bilayer and trilayer graphene through the use of interlayer membranes that emulate van der Waals interactions. By changing the membrane's density and thickness, we reach coupling regimes far beyond that of conventional graphene. We anticipate that van der Waals metamaterials will explore, extend, and inform future electronic devices. Equally, they allow the transfer of useful electronic behavior to acoustic systems, such as flat bands in magic-angle twisted bilayer graphene, which may aid the development of super-resolution ultrasound imagers.


title: Topological skyrmion phases of matter

abstract: We introduce topological phases of matter defined by skyrmions in the ground state spin -- or pseudospin -- expectation value textures in the Brillouin zone, the chiral and helical topological skyrmion phases of matter. These phases are protected by a symmetry present in centrosymmetric superconductors. We consider a tight-binding model for spin-triplet superconductivity in transition metal oxides and find it realizes each of these topological skyrmion phases. The chiral phase is furthermore realized for a parameter set characterizing Sr$_2$RuO$_4$ with spin-triplet superconductivity. We also find two types of topological phase transitions by which the skyrmion number can change. The second type occurs without the closing of energy gaps in a system described by a quadratic Hamiltonian without breaking the protecting symmetries when atomic spin-orbit coupling is non-negligible and there is a suitable additional degree of freedom. This contradicts the ``flat band'' limit assumption important in use of entanglement spectrum and Wilson loops, and in construction of the ten-fold way classification scheme of topological phases of matter. We furthermore predict two kinds of bulk-boundary correspondence signatures -- one for measurements which execute a partial trace over degrees of freedom other than spin, which yields quantized transport signatures -- and a second resulting from skyrmions trapping defects with their own non-trivial topology that is discussed in a second work, which yields generalizations of unpaired Majorana zero-modes.


title: Dynamics of Disordered Quantum Systems Using Flow Equations

abstract: In this manuscript, we show how flow equation methods can be used to study localisation in disordered quantum systems, and particularly how to use this approach to obtain the non-equilibrium dynamical evolution of observables. We review the formalism, based on continuous unitary transforms, and apply it to a non-interacting yet non trivial one dimensional disordered quantum systems, the power-law random banded matrix model whose dynamics is studied across the localisation-delocalisation transition. We show how this method can be used to compute quench dynamics of simple observables, demonstrate how this formalism provides a natural framework to understand operator spreading and show how to construct complex objects such as correlation functions. We end with an outlook of unsolved problems and ways in which the method can be further developed in the future. Our goal is to motivate further adoption of the flow equation method, and to equip and encourage others to build on this technique as a means to study localisation phenomena in disordered quantum systems.


title: Black-box Adversarial Attacks with Bayesian Optimization

abstract: We focus on the problem of black-box adversarial attacks, where the aim is to generate adversarial examples using information limited to loss function evaluations of input-output pairs. We use Bayesian optimization~(BO) to specifically cater to scenarios involving low query budgets to develop query efficient adversarial attacks. We alleviate the issues surrounding BO in regards to optimizing high dimensional deep learning models by effective dimension upsampling techniques. Our proposed approach achieves performance comparable to the state of the art black-box adversarial attacks albeit with a much lower average query count. In particular, in low query budget regimes, our proposed method reduces the query count up to $80\%$ with respect to the state of the art methods.


title: T CrB: Radio Observations During the 2016--2017 "Super-Active" State

abstract: We obtained radio observations of the symbiotic binary and known recurrent nova T Coronae Borealis following a period of increased activity in the optical and X-ray bands. A comparison of our observations with those made prior to 2015 indicates that the system is in a state of higher emission in the radio as well. The spectral energy distributions are consistent with optically thick thermal bremsstrahlung emission from a photoionized source. Our observations indicate that the system was in a state of increased ionization in the companion wind, possibly driven by an increase in accretion rate, with the radio photosphere located well outside the binary system.


title: A Reanalysis of the Fundamental Parameters and Age of TRAPPIST-1

abstract: We present the distance-calibrated spectral energy distribution (SED) of TRAPPIST-1 using a new medium resolution (R~6000) near-infrared FIRE spectrum and its Gaia parallax. We report an updated bolometric luminosity (Lbol) of -3.216+/-0.016, along with semi-empirical fundamental parameters: effective temperature Teff=2628+/-42 K, mass=90+/-8 MJup, radius=1.16+/-0.03 RJup, and logg=5.21+/-0.06 dex. It's kinematics point toward an older age while spectral indices indicate youth therefore, we compare the overall SED and near-infrared bands of TRAPPIST-1 to field-age, low-gravity, and low-metallicity dwarfs of similar Teff and Lbol. We find field dwarfs of similar Teff and Lbol best fit the overall and band-by-band features of TRAPPIST-1. Additionally, we present new Allers & Liu 2013 spectral indices for the SpeX SXD and FIRE spectra of TRAPPIST-1, both classifying it as intermediate gravity. Examining Teff, Lbol, and absolute JHKW1W2 magnitudes versus optical spectral type places TRAPPIST-1 in an ambiguous location containing both field- and intermediate-gravity sources. Kinematics place TRAPPIST-1 within a subpopulation of intermediate-gravity sources lacking bonafide membership in a moving group with higher tangential and UVW velocities. We conclude that TRAPPIST-1 is a field-age source with subtle spectral features reminiscent of a low surface gravity object. To resolve the cause of TRAPPIST-1's intermediate gravity indicators we speculate two avenues which might be correlated to inflate the radius: (1) magnetic activity or (2) tidal interactions from planets. We find the M8 dwarf LHS 132 is an excellent match to TRAPPIST-1's spectral peculiarities along with the M9 beta dwarf 2MASS J10220489+0200477, the L1 beta 2MASS J10224821+5825453, and the L0 beta 2MASS J23224684-3133231 which have distinct kinematics making all three intriguing targets for future exoplanet studies.


title: Inference from the 21cm signal

abstract: Once we have a measurement, how do we extract this information from the signal? This chapter focusses on the inference of the interesting astrophysics and cosmology once we obtain a detection of the 21-cm signal. Essentially, inference of the astrophysics can be broken down into three parts: 1. Characterisation of the observed data: The observed 21-cm signal varies spatially as well as along the line-of-sight (frequency or redshift dimension) to provide a full three dimensional movie of the intergalactic medium in the early Universe. However, we cannot perform a full pixel-by-pixel comparison between theoretical models and the observed signal. Instead, we require a variety of statistical methods to average the observational data in order to be able to better characterise and compare the behaviour of the faint signal. 2. An efficient method to model the 21-cm signal: In order to interpret the observations and understand the astrophysical processes responsible, we must be able to produce physically motivated models capable of replicating the signal. Further, these must be as computationally efficient as possible in order to be able to realistically investigate the 21-cm signal. 3. A robust probabilistic framework to extract the physics: The observed 21-cm signal is dependent on numerous physical processes, which within our models or simulations are described by many unknown parameters. Further, these contain approximations in order to deal with the requisite dynamic range. We must be able to characterise our ignorance in a meaningful way in order to be truly able to infer the astrophysical processes of the epoch of reionisation and cosmic dawn. In this chapter we will focus on each separately, discussing the current state-of-the-art in inferring astrophysical and cosmological information from the 21cm signal.


title: Strategizing against No-regret Learners

abstract: How should a player who repeatedly plays a game against a no-regret learner strategize to maximize his utility? We study this question and show that under some mild assumptions, the player can always guarantee himself a utility of at least what he would get in a Stackelberg equilibrium of the game. When the no-regret learner has only two actions, we show that the player cannot get any higher utility than the Stackelberg equilibrium utility. But when the no-regret learner has more than two actions and plays a mean-based no-regret strategy, we show that the player can get strictly higher than the Stackelberg equilibrium utility. We provide a characterization of the optimal game-play for the player against a mean-based no-regret learner as a solution to a control problem. When the no-regret learner's strategy also guarantees him a no-swap regret, we show that the player cannot get anything higher than a Stackelberg equilibrium utility.


title: $k_t$-factorization vs collinear factorization in $W^{+}W^{-}$ pair production at the LHC

abstract: In this paper, we calculate the inclusive rate of $W^{+} W^{-}$ pair production through leptonic decay channels $W^+W^- \to l^+\nu_l + l^{\prime -} \nu_{l'}$ in the $k_t$-factorization framework. We also consider the exclusive $W^{+} W^{-}$ pair production through the one-loop induced $gg \to H \to W^+W^-$ channel that is important for the study of new physics beyond the Standard Model. The results are compared with predictions from the Herwig 7 event generator in the collinear factorization framework and with the experimental data from the ATLAS and the CMS collaborations. It will be shown that our predictions for the $W^+W^-$ boson pair production signals are in agreement with the experimental data as well as the collinear results.


title: XNOR-Net++: Improved Binary Neural Networks

abstract: This paper proposes an improved training algorithm for binary neural networks in which both weights and activations are binary numbers. A key but fairly overlooked feature of the current state-of-the-art method of XNOR-Net is the use of analytically calculated real-valued scaling factors for re-weighting the output of binary convolutions. We argue that analytic calculation of these factors is sub-optimal. Instead, in this work, we make the following contributions: (a) we propose to fuse the activation and weight scaling factors into a single one that is learned discriminatively via backpropagation. (b) More importantly, we explore several ways of constructing the shape of the scale factors while keeping the computational budget fixed. (c) We empirically measure the accuracy of our approximations and show that they are significantly more accurate than the analytically calculated one. (d) We show that our approach significantly outperforms XNOR-Net within the same computational budget when tested on the challenging task of ImageNet classification, offering up to 6\% accuracy gain.


title: Pure semisimplicity conjecture and Artin problem for dimension sequences

abstract: Inspired by a recent paper due to Jos\'{e} Luis Garc\'{i}a, we revisit the attempt of Daniel Simson to construct a counterexample to the pure semisimplicity conjecture. Using compactness, we show that the existence of such counterexample would readily follow from the very existence of certain (countable set of) hereditary artinian rings of finite representation type. The existence of such rings is then proved to be equivalent to the existence of special types of embeddings, which we call tight, of division rings into simple artinian rings. Using the tools by Aidan Schofield from 1980s, we can show that such an embedding $F\hookrightarrow M_n(G)$ exists provided that $n<5$. As a byproduct, we obtain a division ring extension $G\subseteq F$ such that the bimodule ${}_GF_F$ has the right dimension sequence $(1,2,2,2,1,4)$. Finally, we formulate Conjecture A, which asserts that a particular type of adjunction of an element to a division ring can be made, and demonstrate that its validity would be sufficient to prove the existence of tight embeddings in general, and hence to disprove the pure semisimplicity conjecture.


title: Ultrathin SnTe films as a route towards all-in-one spintronics devices

abstract: Spin transistors based on a semiconducting channel attached to ferromagnetic electrodes suffer from fast spin decay and extremely low spin injection/detection efficiencies. Here, we propose an alternative all-in-one spin device whose operation principle relies on electric manipulation of the spin lifetime in two-dimensional (2D) SnTe, in which the sizable spin Hall effect eliminates the need for using ferromagnets. In particular, we explore the persistent spin texture (PST) intrinsically present in the ferroelectric phase which protects the spin from decoherence and supports extraordinarily long spin lifetime. Our first-principles calculations followed by symmetry arguments revealed that such a spin wave mode can be externally detuned by perpendicular electric field, leading to spin randomization and decrease in spin lifetime. We further extend our analysis to ultrathin SnTe films and confirm the emergence of PST as well as a moderate enhancement of intrinsic spin Hall conductivity. The recent room-temperature observation of the ferroelectric phase in 2D-SnTe suggests that novel all-electric spintronics devices are within reach.


title: Representations of fermionic star product algebras and the projectively flat connection

abstract: We construct a family of fermionic star products generalising the fermionic Moyal product. The parameter space contains the polarisations necessary to define a quantum Hilbert space. We find a star product of fermionic functions on sections of the pre-quantum line bundle and show that the star product of any function on a quantum state remain a quantum state. Associativity implies a representation of the fermionic star product algebra on the quantum Hilbert space. The star product is compatible with both the flat connection on the bundle of fermionic functions and the projectively flat connection on the bundle of Hilbert spaces over the space of polarisations.


title: Towards a holographic description of cosmology: Renormalisation of the energy-momentum tensor of the dual QFT

abstract: In the holographic approach to cosmology, cosmological observables are described in terms of correlators of a three-dimensional boundary quantum field theory. As a concrete model, we study the 3$d$ massless $SU(N)$ scalar matrix field theory. In this work, we focus on the renormalisation of the energy-momentum tensor 2-point function, which can be related to the CMB power spectra. Here we present a non-perturbative procedure to remove divergences resulting from the loss of translational invariance on the lattice, by imposing Ward identities. This will allow us to make predictions for the CMB power spectra in the regime where the dual QFT is non-perturbative.


title: Deep learning tools for the measurement of animal behavior in neuroscience

abstract: Recent advances in computer vision have made accurate, fast and robust measurement of animal behavior a reality. In the past years powerful tools specifically designed to aid the measurement of behavior have come to fruition. Here we discuss how capturing the postures of animals - pose estimation - has been rapidly advancing with new deep learning methods. While challenges still remain, we envision that the fast-paced development of new deep learning tools will rapidly change the landscape of realizable real-world neuroscience.


title: Explicit formulas for Grassmannian polylogarithms

abstract: We give new explicit formulas for Grassmannian and Aomoto polylogarithms in terms of iterated integrals, for arbitrary weight. We also explicitly reduce the Grassmannian polylogarithm in weight 4 and in weight 5 each to depth 2. Furthermore, using this reduction in weight 4 we obtain an explicit, albeit complicated, form of the so-called 4-ratio, which gives an expression for the Borel class in continuous cohomology of $\mathrm{GL}_4$ in terms of $\mathrm{Li}_4$.


title: Learning Compact Models for Planning with Exogenous Processes

abstract: We address the problem of approximate model minimization for MDPs in which the state is partitioned into endogenous and (much larger) exogenous components. An exogenous state variable is one whose dynamics are independent of the agent's actions. We formalize the mask-learning problem, in which the agent must choose a subset of exogenous state variables to reason about when planning; doing planning in such a reduced state space can often be significantly more efficient than planning in the full model. We then explore the various value functions at play within this setting, and describe conditions under which a policy for a reduced model will be optimal for the full MDP. The analysis leads us to a tractable approximate algorithm that draws upon the notion of mutual information among exogenous state variables. We validate our approach in simulated robotic manipulation domains where a robot is placed in a busy environment, in which there are many other agents also interacting with the objects. Visit http://tinyurl.com/chitnis-exogenous for a supplementary video.


title: Higher genus theory

abstract: In $1801$, Gauss found an explicit description, in the language of binary quadratic forms, for the $2$-torsion of the narrow class group and dual narrow class group of a quadratic number field. This is now known as Gauss's genus theory. In this paper we extend Gauss's work to the setting of multi-quadratic number fields. To this end, we introduce and parametrize the categories of expansion groups and expansion Lie algebras, giving an explicit description for the universal objects of these categories. This description is inspired by the ideas of Smith \cite{smith2} in his recent breakthrough on Goldfeld's conjecture and the Cohen--Lenstra conjectures. Our main result shows that the maximal unramified multi-quadratic extension $L$ of a multi-quadratic number field $K$ can be reconstructed from the set of generalized governing expansions supported in the set of primes that ramify in $K$. This provides an explicit description for the group $\text{Gal}(L/\mathbb{Q})$ and a systematic procedure to construct the field $L$. A special case of our main result gives a sharp upper bound for the size of $\text{Cl}^{+}(K)[2]$. For every positive integer $n$, we find infinitely many multi-quadratic number fields $K$ such that $[K:\mathbb{Q}]$ equals $2^n$ and $\text{Gal}(L/\mathbb{Q})$ is a universal expansion group. Such fields $K$ are obtained using Smith's notion of additive systems and their basic Ramsey-theoretic behavior.


title: Simple and Effective Paraphrastic Similarity from Parallel Translations

abstract: We present a model and methodology for learning paraphrastic sentence embeddings directly from bitext, removing the time-consuming intermediate step of creating paraphrase corpora. Further, we show that the resulting model can be applied to cross-lingual tasks where it both outperforms and is orders of magnitude faster than more complex state-of-the-art baselines.