title: Overage and Staleness Metrics for Status Update Systems

abstract: Status update systems consist of sensors that take measurements of a physical parameter and transmit them to a remote receiver. Age of Information (AoI) has been studied extensively as a metric for the freshness of information in such systems with and without an enforced hard or soft deadline. In this paper, we propose three metrics for status update systems to measure the ability of different queuing systems to meet a threshold requirement for the AoI. The {\em overage probability} is defined as the probability that the age of the most recent update packet held by the receiver is larger than the threshold. The {\em stale update probability} is the probability that an update is stale, i.e., its age has exceeded the deadline, when it is delivered to the receiver. Finally, the {\em average overage} is defined as the time average of the overage (i.e., age beyond the threshold), and is a measure of the average ``staleness'' of the update packets held by the receiver. We investigate these metrics in three typical status update queuing systems -- M/G/1/1, M/G/1/$2^*$, and M/M/1. Numerical results show the performances for these metrics under different parameter settings and different service distributions. The differences between the average overage and average AoI are also shown. Our results demonstrate that a lower bound exists for the stale update probability when the buffer size is limited. Further, we observe that the overage probability decreases and the stale update probability increases as the update arrival rate increases.


title: Stochastic geometric modelling and simulation of cellular systems for coverage probability characterization

abstract: Stochastic geometry (SG) has been successfully used as a modelling tool for cellular networks to characterize the coverage probability in both the downlink (DL) and uplink (UL) systems, under the assumption that the base stations (BS) are deployed as a Poisson point process. In the present article, we extend this use and provide further results for interference limited and Rayleigh fading networks, culminating in a multifaceted contribution. First, we compactly model the two systems at once, allowing parallels to be drawn and contrast to be created. Also, for DL we manage to obtain two closed form expressions for two special cases. Moreover, for UL, notorious for being difficult, we develop a clever approximation that overcomes the difficulty, yielding excellent results. Additionally, we present two efficient Monte Carlo simulation algorithms, designed primarily to validate the models, but can be of great use for SG modelling of communications systems in general. Finally, we prove two theorems at odds with popular belief in cellular communications research. Specifically, we prove that under the SG model, the coverage probability in both DL and UL is independent of BS density. Based on this revelation, a plethora of results in the literature have to be re-examined to rid them of a parameter that has been proven superfluous.


title: Orbital Angular Momentum (OAM) Carrying Vortex Wave generation in Dielectric Filled Circular Waveguide

abstract: In this paper, we propose a method to generate Orbital Angular Momentum (OAM) carrying vortex waves inside a metallic circular waveguide (CW). These waves feature ability to carry multiple orthogonal modes at the same frequency, by the virtue of their unique spatial structure. In essence high data rate channels can be developed using such waves. In free space, OAM carrying vortex waves has beam divergence issues and a central NULL, which makes the waves unfavourable for free space communication. But, OAM modes in guided structures do not suffer from these drawbacks. This prospect of enhancement of communication spectrum provides the background for the study of vortex wave in the circular waveguides. In this work, a radial array of monopoles is designed to generate the vortex wave inside the waveguide. Further, we introduced the dielectric materials inside the waveguide in order to manipulate the operating frequency of the OAM modes. Simulation results shows that the various dielectric materials allow us to tune the working frequency of the OAM beam to a desired frequency.


title: Localization of a Smart Infrastructure Fisheye Camera in a Prior Map for Autonomous Vehicles

abstract: This work presents a technique for localization of a smart infrastructure node, consisting of a fisheye camera, in a prior map. These cameras can detect objects that are outside the line of sight of the autonomous vehicles (AV) and send that information to AVs using V2X technology. However, in order for this information to be of any use to the AV, the detected objects should be provided in the reference frame of the prior map that the AV uses for its own navigation. Therefore, it is important to know the accurate pose of the infrastructure camera with respect to the prior map. Here we propose to solve this localization problem in two steps, \textit{(i)} we perform feature matching between perspective projection of fisheye image and bird's eye view (BEV) satellite imagery from the prior map to estimate an initial camera pose, \textit{(ii)} we refine the initialization by maximizing the Mutual Information (MI) between intensity of pixel values of fisheye image and reflectivity of 3D LiDAR points in the map data. We validate our method on simulated data and also present results with real world data.


title: Transport properties of Lennard-Jones fluids: Freezing density scaling along isotherms

abstract: It is demonstrated that properly reduced transport coefficients (self-diffusion, shear viscosity, and thermal conductivity) of Lennard-Jones fluids along isotherms exhibit quasi-universal scaling on the density divided by its value at the freezing point. Moreover, this scaling is closely related to the density scaling of transport coefficients of hard-sphere fluids. The Stokes-Einstein relation without the hydrodynamic diameter is valid in the dense fluid regime. The lower density boundary of its validity can serve as a practical demarcation line between gas-like and liquid-like regimes.

categories: cond-mat.soft cond-mat.stat-mech physics.chem-ph physics.flu-dyn


title: Asymptotics of higher order hyperbolic equations with one or two dissipative lower order terms

abstract: In this paper, we consider the Cauchy problem for a hyperbolic equation $Q(\partial_t,\partial_x)u=0$ of any order $m\geq3$, where $t\geq0$ and $x\in\mathbb{R}^n$, and $Q=P_m+P_{m-1}+P_{m-2}$ is a sum of homogeneous hyperbolic polynomials $P_{m-j}$ of order $m-j$. We assume the sufficient and necessary condition which guarantees the strict stability of the polynomial $Q(\lambda,i\xi)$, for any $\xi\neq0$. Under this assumption, we derive a polynomial decay rate for the energy of the problem, in different scenarios of interlacing of the polynomials $P_{m-j}(\lambda,\xi)$, and we describe the asymptotic profile of the solution as $t\to\infty$, assuming a moment condition on the initial data. In order to do this, we study the asymptotic behavior of the $m$ roots of the full symbol $Q(\lambda,i\xi)$, as $\xi\to0$ and as $|\xi|\to\infty$. Examples of models to which the results may be applied include the theory of acoustic waves and the theory of electromagnetic elastic waves. Also, as an application, we prove the existence of global small data solutions to the problem with supercritical power nonlinearities of type $|D^\alpha u|^p$, with $|\alpha|\leq m-2$.


title: Insights into lithium manganese oxide-water interfaces using machine learning potentials

abstract: Unraveling the atomistic and the electronic structure of solid-liquid interfaces is the key to the design of new materials for many important applications, from heterogeneous catalysis to battery technology. Density functional theory (DFT) calculations can in principle provide a reliable description of such interfaces, but the high computational costs severely restrict the accessible time and length scales. Here, we report machine learning-driven simulations of various interfaces between water and lithium manganese oxide (Li$_x$Mn$_2$O$_4$), an important electrode material in lithium ion batteries and a catalyst for the oxygen evolution reaction. We employ a high-dimensional neural network potential (HDNNP) to compute the energies and forces several orders of magnitude faster than DFT without loss in accuracy. In addition, a high-dimensional neural network for spin prediction (HDNNS) is utilized to analyze the electronic structure of the manganese ions. Combining these methods, a series of interfaces is investigated by large-scale molecular dynamics. The simulations allow us to gain insights into a variety of properties like the dissociation of water molecules, proton transfer processes, and hydrogen bonds, as well as the geometric and electronic structure of the solid surfaces including the manganese oxidation state distribution, Jahn-Teller distortions, and electron hopping.


title: Entanglement witnesses from mutually unbiased measurements

abstract: A new family of positive, trace-preserving maps is introduced. It is defined using the mutually unbiased measurements, which generalize the notion of mutual unbiasedness of orthonormal bases. This family allows one to define entanglement witnesses whose indecomposability depends on the characteristics of the associated measurement operators.


title: Demi-shuffle duals of Magnus polynomials in a free associative algebra

abstract: We study two linear bases of the free associative algebra $\mathbb{Z}\langle X,Y\rangle$: one is formed by the Magnus polynomials of type $(\mathrm{ad}_X^{k_1}Y)\cdots(\mathrm{ad}_X^{k_d}Y) X^k$ and the other is its dual basis (formed by what we call the `demi-shuffle' polynomials) with respect to the standard pairing on the monomials of $\mathbb{Z}\langle X,Y\rangle$. As an application, we show a formula of Le-Murakami, Furusho type that expresses arbitrary coefficients of a group-like series $J\in \mathbb{C}\langle\langle X,Y\rangle\rangle$ by the `regular' coefficients of $J$.


title: Semiclassical bifurcations and quantum trajectories: a case study of the open Bose-Hubbard dimer

abstract: We consider the open two-site Bose-Hubbard dimer, a well-known quantum mechanical model that has been realised recently for photons in two coupled photonic crystal nanocavities. The system is described by a Lindblad master equation which, for large numbers of photons, gives rise to a limiting semiclassical model in the form of a four-dimensional vector field. From the situation where both sites trap the same amount of photons under symmetric pumping, one encounters a transition that involves symmetry breaking, the creation of periodic oscillations and multistability as the pump strength is increased. We show that the associated one-parameter bifurcation diagram of the semiclassical model captures the essence of statistical properties of computed quantum trajectories as the pump strength is increased. Even for small numbers of photons, the fingerprint of the semiclassical bifurcations can be recognised reliably in observables of quantum trajectories.


title: A Look at Communication-Intensive Performance in Julia

abstract: The Julia programming language continues to gain popularity both for its potential for programmer productivity and for its impressive performance on scientific code. It thus holds potential for large-scale HPC, but we have not yet seen this potential fully realized. While Julia certainly has the machinery to run at scale, and while others have done so for embarrassingly parallel workloads, we have yet to see an analysis of Julia's performance on communication-intensive codes that are so common in the HPC domain. In this paper we investigate Julia's performance in this light, first with a suite of microbenchmarks within and without the node, and then using the first Julia port of a standard, HPC benchmarking code, high-performance conjugate gradient (HPCG). We show that if programmers properly balance the computation to communication ratio, Julia can actually outperform C/MPI in a cluster computing environment.


title: Solution decomposition for the nonlinear Poisson-Boltzmann equation using the range-separated tensor format

abstract: The Poisson-Boltzmann equation (PBE) is an implicit solvent continuum model for calculating the electrostatic potential and energies of ionic solvated biomolecules. However, its numerical solution remains a significant challenge due strong singularities and nonlinearity caused by the singular source terms and the exponential nonlinear terms, respectively. An efficient method for the treatment of singularities in the linear PBE was introduced in \cite{BeKKKS:18}, that is based on the RS tensor decomposition for both electrostatic potential and the discretized Dirac delta distribution. In this paper, we extend this regularization method to the nonlinear PBE. We apply the PBE only to the regular part of the solution corresponding to the modified right-hand side via extraction of the long-range part in the discretized Dirac delta distribution. The total electrostatic potential is obtained by adding the long-range solution to the directly precomputed short-range potential. The main computational benefit of the approach is the automatic maintaining of the continuity in the Cauchy data on the solute-solvent interface. The boundary conditions are also obtained from the long-range component of the precomputed canonical tensor representation of the Newton kernel. In the numerical experiments, we illustrate the accuracy of the nonlinear regularized PBE (NRPBE) over the classical variant.


title: Gaussian Processes with Spectral Delta kernel for higher accurate Potential Energy surfaces for large molecules

abstract: The interpolation of high-dimensional potential energy surfaces (PESs) is commonly done with physically-inspired deep-neural network models. In this work, we illustrate that Gaussian Processes (GPs) are also capable of interpolating high-dimensional complex physical systems. The accuracy of GPs depends on the robustness of the kernel function, and a boost in the accuracy is achieved by linearly combining kernel functions. In this work, we proposed an alternative route by parametrizing the kernel function through Bochners' theorem. We interpolated the PES of various chemical systems achieving a global accuracy of < 0.06 kcal/mol for Benzene, Malonaldehyde, Ethanol, and protonated Imidazole dimer using only 15 000 training points. Additionally, for Aspirin, we achieved a global error of 0.063 kcal/mol with 20 000 points. Given these results, we believe this kernel function is system-agnostic and could allow GPs to tackle a wider variety of high-dimensional physical systems.


title: Estimating subgroup effects in generalizability and transportability analyses

abstract: Methods for extending -- generalizing or transporting -- inferences from a randomized trial to a target population involve conditioning on a large set of covariates that is sufficient for rendering the randomized and non-randomized groups exchangeable. Yet, decision-makers are often interested in examining treatment effects in subgroups of the target population defined in terms of only a few discrete covariates. Here, we propose methods for estimating subgroup-specific potential outcome means and average treatment effects in generalizability and transportability analyses, using outcome model-based (g-formula), weighting, and augmented weighting estimators. We consider estimating subgroup-specific average treatment effects in the target population and its non-randomized subset, and provide methods that are appropriate both for nested and non-nested trial designs. As an illustration, we apply the methods to data from the Coronary Artery Surgery Study to compare the effect of surgery plus medical therapy versus medical therapy alone for chronic coronary artery disease in subgroups defined by history of myocardial infarction.


title: RAFT: A Real-World Few-Shot Text Classification Benchmark

abstract: Large pre-trained language models have shown promise for few-shot learning, completing text-based tasks given only a few task-specific examples. Will models soon solve classification tasks that have so far been reserved for human research assistants? Existing benchmarks are not designed to measure progress in applied settings, and so don't directly answer this question. The RAFT benchmark (Real-world Annotated Few-shot Tasks) focuses on naturally occurring tasks and uses an evaluation setup that mirrors deployment. Baseline evaluations on RAFT reveal areas current techniques struggle with: reasoning over long texts and tasks with many classes. Human baselines show that some classification tasks are difficult for non-expert humans, reflecting that real-world value sometimes depends on domain expertise. Yet even non-expert human baseline F1 scores exceed GPT-3 by an average of 0.11. The RAFT datasets and leaderboard will track which model improvements translate into real-world benefits at https://raft.elicit.org .


title: Theory of phonon instabilities in Weyl semimetals at high magnetic fields

abstract: The behavior of three-dimensional (3D) semimetals under strong magnetic fields is a topic of recurring interest in condensed matter physics. Recently, the advent of Weyl and Dirac semimetals has brought about an interesting platform for potentially uncovering phases of matter that combine nontrivial band topology and interactions. While electronic instabilities of such semimetals at strong magnetic fields have been explored theoretically and experimentally, the role of electron-phonon interactions therein has been largely neglected. In this paper, we study the interplay of electron-electron and electron-phonon interactions in a minimal two-node model of Weyl semimetal. Using a Kadanoff-Wilson renormalization group approach, we analyze lattice (Peierls) instabilities emerging from chiral and nonchiral Landau levels as a function of the magnetic field. We consider both the adiabatic and the nonadiabatic phonon regimes, in the presence or in the absence of improper symmetries that relate Weyl nodes of opposite chirality. We find that (i) the Cooper channel, often neglected in recent studies, can prevent purely electronic instabilities while enabling lattice instabilities that are not Bardeen-Cooper-Schrieffer-like; (ii) breaking the improper symmetry that relates the two Weyl nodes suppresses the Cooper channel, thereby increasing the critical temperature for the lattice instability; (iii) in the adiabatic phonon regime, lattice instabilities can preempt purely electronic instabilities; (iv) pseudoscalar phonons are more prone to undergo a Peierls instability than scalar phonons. In short, our study emphasizes the importance of taking electron-phonon interactions into account for a complete understanding of interacting phases of matter in Dirac and Weyl semimetals at high magnetic fields.


title: Learning Periodic Tasks from Human Demonstrations

abstract: We develop a method for learning periodic tasks from visual demonstrations. The core idea is to leverage periodicity in the policy structure to model periodic aspects of the tasks. We use active learning to optimize parameters of rhythmic dynamic movement primitives (rDMPs) and propose an objective to maximize the similarity between the motion of objects manipulated by the robot and the desired motion in human video demonstrations. We consider tasks with deformable objects and granular matter whose states are challenging to represent and track: wiping surfaces with a cloth, winding cables/wires, and stirring granular matter with a spoon. Our method does not require tracking markers or manual annotations. The initial training data consists of 10-minute videos of random unpaired interactions with objects by the robot and human. We use these for unsupervised learning of a keypoint model to get task-agnostic visual correspondences. Then, we use Bayesian optimization to optimize rDMPs from a single human video demonstration within few robot trials. We present simulation and hardware experiments to validate our approach.


title: Robust recovery of bandlimited graph signals via randomized dynamical sampling

abstract: Heat diffusion processes have found wide applications in modelling dynamical systems over graphs. In this paper, we consider the recovery of a $k$-bandlimited graph signal that is an initial signal of a heat diffusion process from its space-time samples. We propose three random space-time sampling regimes, termed dynamical sampling techniques, that consist in selecting a small subset of space-time nodes at random according to some probability distribution. We show that the number of space-time samples required to ensure stable recovery for each regime depends on a parameter called the spectral graph weighted coherence, that depends on the interplay between the dynamics over the graphs and sampling probability distributions. In optimal scenarios, no more than $\mathcal{O}(k \log(k))$ space-time samples are sufficient to ensure accurate and stable recovery of all $k$-bandlimited signals. In any case, dynamical sampling typically requires much fewer spatial samples than the static case by leveraging the temporal information. Then, we propose a computationally efficient method to reconstruct $k$-bandlimited signals from their space-time samples. We prove that it yields accurate reconstructions and that it is also stable to noise. Finally, we test dynamical sampling techniques on a wide variety of graphs. The numerical results support our theoretical findings and demonstrate the efficiency.


title: Detection of a Multiphase Intragroup Medium: Results from the COS-IGrM Survey

abstract: We present the results of the COS Intragroup Medium (COS-IGrM) Survey that used the Cosmic Origins Spectrograph on the Hubble Space Telescope to observe a sample of 18 UV bright quasars, each probing the intragroup medium (IGrM) of a galaxy group. We detect Ly$\alpha$, C II, N V, Si II, Si III, and O VI in multiple sightlines. The highest ionization species detected in our data is O VI, which was detected in 8 out of 18 quasar sightlines. The wide range of ionization states observed provide evidence that the IGrM is patchy and multiphase. We find that the O VI detections generally align with radiatively cooling gas between $10^{5.8}$ and $10^6$ K. The lack of O VI detections in 10 of the 18 groups illustrates that O VI may not be the ideal tracer of the volume filling component of the IGrM. Instead, it either exists at trace levels in a hot IGrM or is generated in the boundary between the hotter IGrM and cooler gas.


title: Efficient Fourier representations of families of Gaussian processes

abstract: We introduce a class of algorithms for constructing Fourier representations of Gaussian processes in $1$ dimension that are valid over ranges of hyperparameter values. The scaling and frequencies of the Fourier basis functions are evaluated numerically via generalized quadratures. The representations introduced allow for $O(m^3)$ inference, independent of $N$, for all hyperparameters in the user-specified range after $O(N + m^2\log{m})$ precomputation where $N$, the number of data points, is usually significantly larger than $m$, the number of basis functions. Inference independent of $N$ for various hyperparameters is facilitated by generalized quadratures, and the $O(N + m^2\log{m})$ precomputation is achieved with the non-uniform FFT. Numerical results are provided for Mat\'ern kernels with $\nu \in [3/2, 7/2]$ and lengthscale $\rho \in [0.1, 0.5]$ and squared-exponential kernels with lengthscale $\rho \in [0.1, 0.5]$. The algorithms of this paper generalize mathematically to higher dimensions, though they suffer from the standard curse of dimensionality.


title: Sample-Efficient Safety Assurances using Conformal Prediction

abstract: When deploying machine learning models in high-stakes robotics applications, the ability to detect unsafe situations is crucial. Early warning systems can provide alerts when an unsafe situation is imminent (in the absence of corrective action). To reliably improve safety, these warning systems should have a provable false negative rate; i.e. of the situations that are unsafe, fewer than $\epsilon$ will occur without an alert. In this work, we present a framework that combines a statistical inference technique known as conformal prediction with a simulator of robot/environment dynamics, in order to tune warning systems to provably achieve an $\epsilon$ false negative rate using as few as $1/\epsilon$ data points. We apply our framework to a driver warning system and a robotic grasping application, and empirically demonstrate guaranteed false negative rate while also observing low false detection (positive) rate.


title: Uniqueness in a Navier-Stokes-nonlinear-Schr\"odinger model of superfluidity

abstract: In a previous paper [Jayanti, P.C., Trivisa, K. Local Existence of Solutions to a Navier-Stokes-Nonlinear-Schr\"odinger Model of Superfluidity. J. Math. Fluid Mech. 24, 46 (2022)], the authors proved the existence of local-in-time weak solutions to a model of superfluidity. The system of governing equations was derived by Pitaevskii in 1959 and couples the nonlinear Schr\"odinger equation (NLS) and the Navier-Stokes equations (NSE). In this article, we prove a weak-strong type uniqueness theorem for these weak solutions. Only some of their regularity properties are used, allowing room for improved existence theorems in the future, with compatible uniqueness results.

categories: math.AP cond-mat.other math-ph math.MP physics.flu-dyn quant-ph


title: VideoCLIP: Contrastive Pre-training for Zero-shot Video-Text Understanding

abstract: We present VideoCLIP, a contrastive approach to pre-train a unified model for zero-shot video and text understanding, without using any labels on downstream tasks. VideoCLIP trains a transformer for video and text by contrasting temporally overlapping positive video-text pairs with hard negatives from nearest neighbor retrieval. Our experiments on a diverse series of downstream tasks, including sequence-level text-video retrieval, VideoQA, token-level action localization, and action segmentation reveal state-of-the-art performance, surpassing prior work, and in some cases even outperforming supervised approaches. Code is made available at https://github.com/pytorch/fairseq/tree/main/examples/MMPT.


title: Generalization of the Maier-Leibniz Doppler-Shift Method for Gamma-Ray Correlations in Fission

abstract: The Maier-Leibniz Doppler-Shift technique is the most popular and accurate technique used in fission experiments to separate the yield of gamma rays from each of the two fission fragments. The technique exploits the aberration, i.e., the change in the angular distribution, of gamma rays emitted by a moving source. By measuring the speed and direction of the source with a conventional detector, as well as the yield of gamma rays at several angles from the direction of motion, the technique can be used to determine the mean multiplicities of gamma rays from each fragment. We show in this work that it is possible to extend the technique to also measure second moments of the gamma ray radiation from each fragment. In particular, given the current interest in fragment correlations in fission, we show that the covariance of the emission between the two fragments can be inferred. Experimental limitations and convergence of the new technique are discussed.


title: pyaneti II: A multidimensional Gaussian process approach to analysing spectroscopic time-series

abstract: The two most successful methods for exoplanet detection rely on the detection of planetary signals in photometric and radial velocity time-series. This depends on numerical techniques that exploit the synergy between data and theory to estimate planetary, orbital, and/or stellar parameters. In this work, we present a new version of the exoplanet modelling code pyaneti. This new release has a special emphasis on the modelling of stellar signals in radial velocity time-series. The code has a built-in multidimensional Gaussian process approach to modelling radial velocity and activity indicator time-series with different underlying covariance functions. This new version of the code also allows multi-band and single transit modelling; it runs on Python 3, and features overall improvements in performance. We describe the new implementation and provide tests to validate the new routines that have direct application to validate the new routines that have direct application to exoplanet detection and characterisation. We have made the code public and freely available at https://github.com/oscaribv/pyaneti. We also present the codes citlalicue and citlalatonac that allow one to create synthetic photometric and spectroscopic time-series, respectively, with planetary and stellar-like signals.


title: Spreading of fake news, competence, and learning: kinetic modeling and numerical approximation

abstract: The rise of social networks as the primary means of communication in almost every country in the world has simultaneously triggered an increase in the amount of fake news circulating online. This fact became particularly evident during the 2016 U.S. political elections and even more so with the advent of the COVID-19 pandemic. Several research studies have shown how the effects of fake news dissemination can be mitigated by promoting greater competence through lifelong learning and discussion communities, and generally rigorous training in the scientific method and broad interdisciplinary education. The urgent need for models that can describe the growing infodemic of fake news has been highlighted by the current pandemic. The resulting slowdown in vaccination campaigns due to misinformation and generally the inability of individuals to discern the reliability of information is posing enormous risks to the governments of many countries. In this research using the tools of kinetic theory we describe the interaction between fake news spreading and competence of individuals through multi-population models in which fake news spreads analogously to an infectious disease with different impact depending on the level of competence of individuals. The level of competence, in particular, is subject to an evolutionary dynamic due to both social interactions between agents and external learning dynamics. The results show how the model is able to correctly describe the dynamics of diffusion of fake news and the important role of competence in their containment.


title: TrajectoTree: Trajectory Optimization Meets Tree Search for Planning Multi-contact Dexterous Manipulation

abstract: Dexterous manipulation tasks often require contact switching, where fingers make and break contact with the object. We propose a method that plans trajectories for dexterous manipulation tasks involving contact switching using contact-implicit trajectory optimization (CITO) augmented with a high-level discrete contact sequence planner. We first use the high-level planner to find a sequence of finger contact switches given a desired object trajectory. With this contact sequence plan, we impose additional constraints in the CITO problem. We show that our method finds trajectories approximately 7 times faster than a general CITO baseline for a four-finger planar manipulation scenario. Furthermore, when executing the planned trajectories in a full dynamics simulator, we are able to more closely track the object pose trajectories planned by our method than those planned by the baselines.


title: An Experimental (yet fully rigorous!) Study of a certain "Measure Of Disarray" that 12-year Noga Alon Proved was always Even

abstract: We study in depth a certain permutation statistic that was the subject of a brilliant insight by 12-year-old Noga Alon. Our approach is purely empirical and experimental, yet it is fully rigorous, thereby debunking, yet another time, the myth that mathematics is always a deductive science. This revised version contains three postscripts describing improvements pointed out by Stoyan Dimitrov, Kyle Petersen, and Martin Rubey.


title: Reversible Gromov-Monge Sampler for Simulation-Based Inference

abstract: This paper introduces a new simulation-based inference procedure to model and sample from multi-dimensional probability distributions given access to i.i.d.\ samples, circumventing the usual approaches of explicitly modeling the density function or designing Markov chain Monte Carlo. Motivated by the seminal work on distance and isomorphism between metric measure spaces, we propose a new notion called the Reversible Gromov-Monge (RGM) distance and study how RGM can be used to design new transform samplers to perform simulation-based inference. Our RGM sampler can also estimate optimal alignments between two heterogeneous metric measure spaces $(\cX, \mu, c_{\cX})$ and $(\cY, \nu, c_{\cY})$ from empirical data sets, with estimated maps that approximately push forward one measure $\mu$ to the other $\nu$, and vice versa. We study the analytic properties of the RGM distance and derive that under mild conditions, RGM equals the classic Gromov-Wasserstein distance. Curiously, drawing a connection to Brenier's polar factorization, we show that the RGM sampler induces bias towards strong isomorphism with proper choices of $c_{\cX}$ and $c_{\cY}$. Statistical rate of convergence, representation, and optimization questions regarding the induced sampler are studied. Synthetic and real-world examples showcasing the effectiveness of the RGM sampler are also demonstrated.


title: $g$-modes of neutron stars with hadron-to-quark crossover transitions

abstract: We perform the first study of the principal core $g$-mode oscillation in hybrid stars containing quark matter, utilizing a crossover model for the hadron-to-quark transition inspired by lattice QCD. The ensuing results are compared with our recent findings of $g$-mode frequencies in hybrid stars with a first-order phase transition using Gibbs constructions. We find that models using Gibbs construction yield $g$-mode amplitudes and the associated gravitational energy radiated that dominate over those of the chosen crossover model owing to the distinct behaviors of the equilibrium and adiabatic sound speeds in the various models. Based on our results, we conclude that were $g$-modes to be detected in upgraded LIGO and Virgo detectors it would indicate a first-order phase transition akin to a Gibbs construction.


title: Correlation of strontium anharmonicity with charge-lattice dynamics of the apical oxygens and their coupling to cuprate superconductivity

abstract: Cu K edge X-ray absorption spectra of overdoped superconducting $YSr_2Cu_{2.75}Mo_{0.25}O_{7.54}$ and $Sr_2CuO_{3.3}$ show a remarkably strong correlation of their superconductivity with the local dynamics of their Cu-Sr and Cu-apical-O pairs. This finding that the entire alkaline earth cation-apical O "dielectric" layer has an active role in the unusual electronic properties of cuprates has not been previously considered and has far reaching implications. We develop this idea of a possible role for the apical oxygen charge dynamics via a soft mode of the Sr by applying Kuramoto's synchronization technique to exact diagonalization calculations of two neighboring Cu-apical O pairs bridged by Sr and a planar O atom. These calculations show a first order phase transition to a synchronized state of the Internal Quantum Tunneling Polarons (IQTPs) in which a fraction of the hole originally confined to the apical O atoms of the cluster is transferred onto the planar O. This combination of experimental results and theory demonstrates that the Sr-O dielectric layer of cuprates most likely plays an important role in high temperature superconductivity via its collective charge dynamics that extends into the $CuO_2$ conducting planes.


title: Swapping in lattice-based cell migration models

abstract: Cell migration is frequently modelled using on-lattice agent-based models (ABMs) that employ the excluded volume interaction. However, cells are also capable of exhibiting more complex cell-cell interactions, such as adhesion, repulsion, pulling, pushing and swapping. Although the first four of these have already been incorporated into mathematical models for cell migration, swapping has not been well studied in this context. In this paper, we develop an ABM for cell movement in which an active agent can 'swap' its position with another agent in its neighbourhood with a given swapping probability. We consider a two-species system for which we derive the corresponding macroscopic model and compare it with the average behaviour of the ABM. We see good agreement between the ABM and the macroscopic density. We also analyse the movement of agents at an individual level in the single-species as well as two-species scenarios to quantify the effects of swapping on an agent's motility.


title: Privacy-Preserving Stealthy Attack Detection in Multi-Agent Control Systems

abstract: This paper develops a glocal (global-local) attack detection framework to detect stealthy cyber-physical attacks, namely covert attack and zero-dynamics attack, against a class of multi-agent control systems seeking average consensus. The detection structure consists of a global (central) observer and local observers for the multi-agent system partitioned into clusters. The proposed structure addresses the scalability of the approach and the privacy preservation of the multi-agent system's state information. The former is addressed by using decentralized local observers, and the latter is achieved by imposing unobservability conditions at the global level. Also, the communication graph model is subject to topology switching, triggered by local observers, allowing for the detection of stealthy attacks by the global observer. Theoretical conditions are derived for detectability of the stealthy attacks using the proposed detection framework. Finally, a numerical simulation is provided to validate the theoretical findings.


title: Neuron Growth Control by PDE Backstepping: Axon Length Regulation by Tubulin Flux Actuation in Soma

abstract: In this work, stabilization of an axonal growth in a neuron associated with the dynamics of tubulin concentration is proposed by designing a boundary control. The dynamics are given by a parabolic Partial Differential Equation (PDE) of the tubulin concentration, with a spatial domain of the axon's length governed by an Ordinary Differential Equation (ODE) coupled with the tubulin concentration in the growth cone. We propose a novel backstepping method for the coupled PDE-ODE dynamics with a moving boundary, and design a control law for the tubulin concentration flux in the soma. Through employing the Lyapunov analysis to a nonlinear target system, we prove a local exponential stability of the closed-loop system under the proposed control law in the spatial $H_1$-norm.


title: Human Reliability Analysis for Oil and Gas Operations: Analysis of Existing Methods

abstract: In the petroleum industry, Quantitative Risk Analysis (QRA) has been one of the main tools for risk management. To date, QRA has mostly focused on technical barriers, despite many accidents having human failure as a primary cause or a contributing factor. Human Reliability Analysis (HRA) allows for the assessment of the human contribution to risk to be assessed both qualitatively and quantitatively. Most credible and highly advanced HRA methods have largely been developed and applied in support of nuclear power plants control room operations and in context of probabilistic risk analysis. Moreover, many of the HRA methods have issues that have led to inconsistencies, insufficient traceability and reproducibility in both the qualitative and quantitative phases. Given the need to assess human error in the context of the oil industry, it is necessary to evaluate available HRA methodologies and assess its applicability to petroleum operations. Furthermore, it is fundamental to assess these methods against good practices of HRA and the requirements for advanced HRA methods. The present paper accomplishes this by analyzing seven HRA methods. The evaluation of the methods was performed in three stages. The first stage consisted of an evaluation of the degree of adaptability of the method for the Oil and Gas industry. In the second stage the methods were evaluated against desirable items in an HRA method. The higher-ranked methods were evaluated, in the third stage, against requirements for advanced HRA methods. In addition to the methods' evaluation, this paper presents an overview of state-of-the-art discussions on HRA, led by the Nuclear industry community. It remarks that these discussions must be seriously considered in defining a technical roadmap to a credible HRA method for the Oil and Gas industry.


title: How Much Data Analytics is Enough? The ROI of Machine Learning Classification and its Application to Requirements Dependency Classification

abstract: Machine Learning (ML) can substantially improve the efficiency and effectiveness of organizations and is widely used for different purposes within Software Engineering. However, the selection and implementation of ML techniques rely almost exclusively on accuracy criteria. Thus, for organizations wishing to realize the benefits of ML investments, this narrow approach ignores crucial considerations around the anticipated costs of the ML activities across the ML lifecycle, while failing to account for the benefits that are likely to accrue from the proposed activity. We present findings for an approach that addresses this gap by enhancing the accuracy criterion with return on investment (ROI) considerations. Specifically, we analyze the performance of the two state-of-the-art ML techniques: Random Forest and Bidirectional Encoder Representations from Transformers (BERT), based on accuracy and ROI for two publicly available data sets. Specifically, we compare decision-making on requirements dependency extraction (i) exclusively based on accuracy and (ii) extended to include ROI analysis. As a result, we propose recommendations for selecting ML classification techniques based on the degree of training data used. Our findings indicate that considering ROI as additional criteria can drastically influence ML selection when compared to decisions based on accuracy as the sole criterion


title: Anionic Ordering in Pb$_2$Ti$_4$O$_9$F$_2$ Revisited by Nuclear Magnetic Resonance and Density Functional Theory

abstract: A combination of $^{19}$F magic angle spinning (MAS) nuclear magnetic resonance (NMR) and density functional theory (DFT) were used to study the ordering of F atoms in Pb$_2$Ti$_4$O$_9$F$_2$. This analysis revealed that F atoms predominantly occupy two of the six available inequivalent sites in a ratio of 73:27. DFT-based calculations explained the preference of F occupation on these sites and quantitatively reproduced the experimental occupation ratio, independent of the choice of functional. We concluded that the Pb atom's 6$s^2$ lone pair may play a role ($\sim$0.1 eV/f.u.) in determining the majority and minority F occupation sites with partial density of states and crystal orbital Hamiltonian population analyses applied to the DFT wave functions.


title: An Explainable-AI approach for Diagnosis of COVID-19 using MALDI-ToF Mass Spectrometry

abstract: The severe acute respiratory syndrome coronavirus type-2 (SARS-CoV-2) caused a global pandemic and immensely affected the global economy. Accurate, cost-effective, and quick tests have proven substantial in identifying infected people and mitigating the spread. Recently, multiple alternative platforms for testing coronavirus disease 2019 (COVID-19) have been published that show high agreement with current gold standard real-time polymerase chain reaction (RT-PCR) results. These new methods do away with nasopharyngeal (NP) swabs, eliminate the need for complicated reagents, and reduce the burden on RT-PCR test reagent supply. In the present work, we have designed an artificial intelligence-based (AI) testing method to provide confidence in the results. Current AI applications for COVID-19 studies often lack a biological foundation in the decision-making process, and our AI approach is one of the earliest to leverage explainable AI (X-AI) algorithms for COVID-19 diagnosis using mass spectrometry. Here, we have employed X-AI to explain the decision-making process on a local (per-sample) and global (all samples) basis underscored by biologically relevant features. We evaluated our technique with data extracted from human gargle samples and achieved a testing accuracy of 94.12%. Such techniques would strengthen the relationship between AI and clinical diagnostics by providing biomedical researchers and healthcare workers with trustworthy and, most importantly, explainable test results


title: Explicit Bound on Collective Strength of Regular Sequences of Three Homogeneous Polynomials

abstract: Let $f_1,\cdots,f_r\in k[x_1,\cdots,x_n]$ be homogeneous polynomial of degree $d$. Ananyan and Hochster (2016) proved that there exists a bound $N=N(r,d)$ where if collective strength of $f_1,\cdots,f_r\geq N$, then $f_1,\cdots,f_r$ are regular sequence. In this paper, we study the explicit bound $N(r,d)$ when $r=3$ and $d=2,3$ and show that $N(3,2)=2$ and $N(3,3)>2$.


title: Charge glass in an extended dimer Hubbard model

abstract: The charge degrees of freedom in several different organic charge transfer salts display slow or glassy dynamics. In order to gain insight into this behaviour, we obtain the low energy theory for an extended dimer Hubbard model, taking into account the occupations of sites on neighbouring dimers. We take a classical limit of the resulting effective model of coupled spins and dimers and study it using classical Monte Carlo simulations. We find that frustration induced by intra- and inter-dimer interactions leads to glassiness in the charge degress of freedom in the absence of ordering of the spin degrees of freedom. Our results may have relevance to experimental observations of relaxor ferroelectric behaviour in the dynamics of organic charge transfer salts.


title: Three-loop soft anomalous dimensions in QCD

abstract: I present results for soft anomalous dimensions through three loops for many QCD processes. In particular, I give detailed expressions for soft anomalous dimensions in various processes with electroweak and Higgs bosons as well as single top quarks and top-antitop pairs.


title: Gaia GraL: Gaia DR2 Gravitational Lens Systems. VII. XMM-Newton Observations of Lensed Quasars

abstract: We present XMM-Newton X-ray observations of nine confirmed lensed quasars at $1 \lesssim z \lesssim 3$ identified by the Gaia Gravitational Lens program. Eight systems are strongly detected, with 0.3--8.0 keV fluxes $F_{0.3-8.0} \gtrsim 5 \times 10^{-14}\ {\rm erg}\ {\rm cm}^{-2}\ {\rm s}^{-1}$. Modeling the X-ray spectra with an absorbed power law, we derive power law photon indices and 2--10 keV luminosities for the eight detected quasars. In addition to presenting sample properties for larger quasar population studies and for use in planning for future caustic crossing events, we also identify three quasars of interest: a quasar that shows evidence of flux variability from previous ROSAT observations, the most closely-separated individual lensed sources resolved by XMM-Newton, and one of the X-ray brightest quasars known at $z>3$. These sources represent the tip of discovery that will be enabled by SRG/eROSITA.


title: Entanglement and Chaos in De Sitter Holography: An SYK Example

abstract: Entanglement, chaos, and complexity are as important for de Sitter space as for AdS and for black holes. There are similarities and great differences between AdS and dS in how these concepts are manifested in the space-time geometry. In the first part of this paper the Ryu-Takayanagi prescription, the theory of fast scrambling, and the holographic complexity correspondence are reformulated for de Sitter space. Criteria are proposed for a holographic model to describe de Sitter space. The criteria can be summarized by the requirement that scrambling and complexity growth must be "hyperfast." In the later part of the paper I show that a certain limit of SYK is a concrete, computable, holographic model of de Sitter space. Calculations are described which support the conjecture.


title: Effects of mutations and immunogenicity on outcomes of anti-cancer therapies for secondary lesions

abstract: Cancer development is driven by mutations and selective forces, including the action of the immune system and interspecific competition. When administered to patients, anti-cancer therapies affect the development and dynamics of tumours, possibly with various degrees of resistance due to immunoediting and microenvironment. Tumours are able to express a variety of competing phenotypes with different attributes and thus respond differently to various anti-cancer therapies. In this paper, a mathematical framework incorporating a system of delay differential equations for the immune system activation cycle and an agent-based approach for tumour-immune interaction is presented. The focus is on those metastatic, secondary solid lesions that are still undetected and non-vascularised. By using available experimental data, we analyse the effects of combination therapies on these lesions and investigate the role of mutations on the rates of success of common treatments. Findings show that mutations, growth properties and immunoediting influence therapies' outcomes in nonlinear and complex ways, affecting cancer lesion morphologies, phenotypical compositions and overall proliferation patterns. Cascade effects on final outcomes for secondary lesions are also investigated, showing that actions on primary lesions could sometimes result in unexpected clearances of secondary tumours. This outcome is strongly dependent on the clonal composition of the primary and secondary masses and is shown to allow, in some cases, the control of the disease for years.


title: Sixteen points in $\mathbb{P}^4$ and the inverse Galois problem for del Pezzo surfaces of degree one

abstract: A del Pezzo surface of degree one defined over the rationals has 240 exceptional curves. These curves are permuted by the action of the absolute Galois group. We show how a solution to the classical inverse Galois problem for a subgroup of the Weyl group of type $D_8$ gives rise to a solution of the inverse Galois problem for the action of this subgroup on the 240 exceptional curves. A del Pezzo surface of degree one with such a Galois action contains a Galois invariant sublattice of type $D_8$ within its Picard lattice; this can be characterized in terms of a certain set of sixteen points in $\mathbb{P}^4$.


title: Security for Quantum Networks

abstract: Reliable and efficient functioning of a quantum network depends on identifying and mitigating security risks originating from within and outside the network. We aim to construct a comprehensive framework for developing and assessing secure quantum networks. We articulate issues for making quantum networks secure in general, summarise the state of the art and identify priority directions for further investigation. Our analysis builds on the secure communication protocols developed for classical layered network architectures such as the open-systems interconnection (OSI) model and the transmission control protocol/internet protocol (TCP/IP) model. Our work will lead to the development of a hardware-independent framework for securing general quantum networks that allows developers to identify mandatory security mechanisms and incorporate additional security requirements of the clients during design of the networks.


title: Connected domination in grid graphs

abstract: Given an undirected simple graph, a subset of the vertices of the graph is a {\em dominating set} if every vertex not in the subset is adjacent to at least one vertex in the subset. A subset of the vertices of the graph is a {\em connected dominating set} if the subset is a dominating set and the subgraph induced by the subset is connected. In this paper, we determine the minimum cardinality of a connected dominating set, called the {\em connected domination number}, of an $m \times n$ grid graph for any $m$ and $n$.


title: Floquet defect solitons

abstract: We consider an array of straight nonlinear waveguides constituting a two-dimensional square lattice, with a few central layers tilted with respect to the rest of the structure. It is shown that such configuration represents a line defect, in the lattice plane, which is periodically modulated along the propagation direction. In the linear limit, such a system sustains line defect modes, whose number coincides with the number of tilted layers. In the presence of nonlinearity the branches of defect solitons propagating along the defect line bifurcate from each of the linear defect modes. Depending on the effective dispersion induced by the Floquet spectrum of the underline system the bifurcating solitons can be either bright or dark. Dynamics and stability of such solitons are studied numerically.


title: Spaces of stability conditions via exceptional collection: length 4 case

abstract: In this paper, we study the space of stability conditions on triangulated categories generated by an exceptional collection. We give an exact description of subspace of stability conditions generated by length 4 complete exceptional collection.


title: Modeling and Control of bittide Synchronization

abstract: Distributed system applications rely on a fine-grain common sense of time. Existing systems maintain the common sense of time by keeping each independent machine as close as possible to wall-clock time through a combination of software protocols like NTP and GPS signals and/or precision references like atomic clocks. This approach is expensive and has tolerance limitations that require protocols to deal with asynchrony and its performance consequences. Moreover, at data-center scale it is impractical to distribute a physical clock as is done on a chip or printed circuit board. In this paper we introduce a distributed system design that removes the need for physical clock distribution or mechanisms for maintaining close alignment to wall-clock time, and instead provides applications with a perfectly synchronized logical clock. We discuss the abstract frame model (AFM), a mathematical model that underpins the system synchronization. The model is based on the rate of communication between nodes in a topology without requiring a global clock. We show that there are families of controllers that satisfy the properties required for existence and uniqueness of solutions to the AFM, and give examples.


title: An epistemic approach to model uncertainty in data-graphs

abstract: Graph databases are becoming widely successful as data models that allow to effectively represent and process complex relationships among various types of data. As with any other type of data repository, graph databases may suffer from errors and discrepancies with respect to the real-world data they intend to represent. In this work we explore the notion of probabilistic unclean graph databases, previously proposed for relational databases, in order to capture the idea that the observed (unclean) graph database is actually the noisy version of a clean one that correctly models the world but that we know partially. As the factors that may be involved in the observation can be many, e.g, all different types of clerical errors or unintended transformations of the data, we assume a probabilistic model that describes the distribution over all possible ways in which the clean (uncertain) database could have been polluted. Based on this model we define two computational problems: data cleaning and probabilistic query answering and study for both of them their corresponding complexity when considering that the transformation of the database can be caused by either removing (subset) or adding (superset) nodes and edges.


title: Spherical vs. Non-Spherical and Symmetry-Preserving vs. Symmetry-Breaking Densities of Open-Shell Atoms in Density Functional Theory

abstract: The atomization energies of molecules from first-principles density functional approximations improve from the local spin-density approximation (LSDA) to the Perdew-Burke-Ernzerhof (PBE)) generalized gradient approximation (GGA) to the strongly constrained and appropriately normed (SCAN) meta-GGA, and their sensitivities to non-spherical components of the density increase in the same order. Thus, these functional advances increase density sensitivity and imitate the exact constrained search over correlated wavefunctions better than that over ensembles. The diatomic molecules studied here, singlet C2 and F2 plus triplet B2 and O2, have cylindrically symmetric densities. Because the densities of the corresponding atoms are non-spherical, the approximate Kohn-Sham potentials for the atoms have a lower symmetry than that of the external (nuclear) potential, so that the non-interacting wavefunctions are not eigenstates of the square of total orbital angular momentum, breaking a symmetry that yields a feature of the exact ground-state density. That spatial symmetry can be preserved by a non-self-consistent approach in which a self-consistent equilibrium-ensemble calculation is followed by integer re-occupation of the Kohn-Sham orbitals, as the first of several steps. The symmetry-preserving approach is different from symmetry restoration based upon projection. First-step space- (and space-spin-) symmetry preservation in atoms is shown to have a small effect on the atomization energies of molecules, quantifying earlier observations by Fertig and Kohn. Thus, the standard Kohn-Sham way of calculating atomization energies, with self-consistent symmetry breaking to minimize the energy, is justified, at least for the common cases where the molecules cannot break symmetry.


title: Block Lanczos method for excited states on a quantum computer

abstract: The method of quantum Lanczos recursion is extended to solve for multiple excitations on the quantum computer. While quantum Lanczos recursion is in principle capable of obtaining excitations, the extension to a block Lanczos routine can resolve degeneracies with better precision and only costs $\mathcal{O}(d^2)$ for $d$ excitations on top of the previously introduced quantum Lanczos recursion method. The formal complexity in applying all operators to the system at once with oblivious amplitude amplification is exponential, but this cost can be kept small to obtain the ground state by incrementally adding operators. The error of the ground state energy based on the accuracy of the Lanczos coefficients is investigated and the error of the ground state energy. It is demonstrated to scale linearly with the uncertainty of the Lanczos coefficients. Extension to non-Hermitian operators is also discussed.


title: Visually Grounded Concept Composition

abstract: We investigate ways to compose complex concepts in texts from primitive ones while grounding them in images. We propose Concept and Relation Graph (CRG), which builds on top of constituency analysis and consists of recursively combined concepts with predicate functions. Meanwhile, we propose a concept composition neural network called Composer to leverage the CRG for visually grounded concept learning. Specifically, we learn the grounding of both primitive and all composed concepts by aligning them to images and show that learning to compose leads to more robust grounding results, measured in text-to-image matching accuracy. Notably, our model can model grounded concepts forming at both the finer-grained sentence level and the coarser-grained intermediate level (or word-level). Composer leads to pronounced improvement in matching accuracy when the evaluation data has significant compound divergence from the training data.


title: Comparison of atlas-based and neural-network-based semantic segmentation for DENSE MRI images

abstract: Two segmentation methods, one atlas-based and one neural-network-based, were compared to see how well they can each automatically segment the brain stem and cerebellum in Displacement Encoding with Stimulated Echoes Magnetic Resonance Imaging (DENSE-MRI) data. The segmentation is a pre-requisite for estimating the average displacements in these regions, which have recently been proposed as biomarkers in the diagnosis of Chiari Malformation type I (CMI). In numerical experiments, the segmentations of both methods were similar to manual segmentations provided by trained experts. It was found that, overall, the neural-network-based method alone produced more accurate segmentations than the atlas-based method did alone, but that a combination of the two methods -- in which the atlas-based method is used for the segmentation of the brain stem and the neural-network is used for the segmentation of the cerebellum -- may be the most successful.


title: Neural Network Ensembles: Theory, Training, and the Importance of Explicit Diversity

abstract: Ensemble learning is a process by which multiple base learners are strategically generated and combined into one composite learner. There are two features that are essential to an ensemble's performance, the individual accuracies of the component learners and the overall diversity in the ensemble. The right balance of learner accuracy and ensemble diversity can improve the performance of machine learning tasks on benchmark and real-world data sets, and recent theoretical and practical work has demonstrated the subtle trade-off between accuracy and diversity in an ensemble. In this paper, we extend the extant literature by providing a deeper theoretical understanding for assessing and improving the optimality of any given ensemble, including random forests and deep neural network ensembles. We also propose a training algorithm for neural network ensembles and demonstrate that our approach provides improved performance when compared to both state-of-the-art individual learners and ensembles of state-of-the-art learners trained using standard loss functions. Our key insight is that it is better to explicitly encourage diversity in an ensemble, rather than merely allowing diversity to occur by happenstance, and that rigorous theoretical bounds on the trade-off between diversity and learner accuracy allow one to know when an optimal arrangement has been achieved.


title: Fast optimal trajectory generation for a tiltwing VTOL aircraft with application to urban air mobility

abstract: We solve the minimum-thrust optimal trajectory generation problem for the transition of a tiltwing Vertical Take-Off and Landing (VTOL) aircraft using convex optimisation. The method is based on a change of differential operator that allows us to express the simplified point-mass dynamics along a prescribed path and formulate the original nonlinear problem in terms of a pair of convex programs. A case study involving the Airbus A3 Vahana VTOL aircraft is considered for forward and backward transitions. The presented approach provides a fast method to generate a safe optimal transition for a tiltwing VTOL aircraft that can further be leveraged online for control, and guidance purposes.


title: Stochastic Training is Not Necessary for Generalization

abstract: It is widely believed that the implicit regularization of SGD is fundamental to the impressive generalization behavior we observe in neural networks. In this work, we demonstrate that non-stochastic full-batch training can achieve comparably strong performance to SGD on CIFAR-10 using modern architectures. To this end, we show that the implicit regularization of SGD can be completely replaced with explicit regularization even when comparing against a strong and well-researched baseline. Our observations indicate that the perceived difficulty of full-batch training may be the result of its optimization properties and the disproportionate time and effort spent by the ML community tuning optimizers and hyperparameters for small-batch training.


title: Meta Learning on a Sequence of Imbalanced Domains with Difficulty Awareness

abstract: Recognizing new objects by learning from a few labeled examples in an evolving environment is crucial to obtain excellent generalization ability for real-world machine learning systems. A typical setting across current meta learning algorithms assumes a stationary task distribution during meta training. In this paper, we explore a more practical and challenging setting where task distribution changes over time with domain shift. Particularly, we consider realistic scenarios where task distribution is highly imbalanced with domain labels unavailable in nature. We propose a kernel-based method for domain change detection and a difficulty-aware memory management mechanism that jointly considers the imbalanced domain size and domain importance to learn across domains continuously. Furthermore, we introduce an efficient adaptive task sampling method during meta training, which significantly reduces task gradient variance with theoretical guarantees. Finally, we propose a challenging benchmark with imbalanced domain sequences and varied domain difficulty. We have performed extensive evaluations on the proposed benchmark, demonstrating the effectiveness of our method. We made our code publicly available.


title: Induced matchings and the v-number of graded ideals

abstract: We give a formula for the v-number of a graded ideal that can be used to compute this number. Then we show that for the edge ideal $I(G)$ of a graph $G$ the induced matching number of $G$ is an upper bound for the v-number of $I(G)$ when $G$ is very well-covered, or $G$ has a simplicial partition, or $G$ is well-covered connected and contain neither $4$- nor $5$-cycles. In all these cases the v-number of $I(G)$ is a lower bound for the regularity of the edge ring of $G$. We classify when the upper bound holds when $G$ is a cycle, and classify when all vertices of a graph are shedding vertices to gain insight on $W_2$-graphs.


title: Radio Loud vs. Radio Quiet Gamma-ray Bursts: the Role of Binary Progenitors

abstract: We explore the possibility that radio loud gamma-ray bursts (GRBs) result from the collapse of massive stars in interacting binary systems, while radio quiet GRBs are produced by the collapse of single massive stars. A binary collapsar system can have the necessary angular momentum and energy budget to explain the longer prompt gamma-ray durations and higher isotropic energies seen in the the radio loud sub-sample of long GRBs. Additionally binary systems can lead to rich and extended circumstellar environments that allow for the presence of the long-lived radio afterglows seen in the radio loud systems. Finally, the relative fraction of stars in binary systems versus single star systems appears consistent with the fraction of radio loud versus radio quiet GRBs.


title: Regular Calculi I: Graphical Regular Logic

abstract: What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category representing the syntax of regular logic to the category of posets, that takes each object to the poset of relations on that type. We introduce two major classes of examples, regular calculi corresponding to regular theories, and regular calculi corresponding to regular categories. For working in regular calculi, we present a graphical framework which takes as primitive the various moves of regular logic. Our main theorem for regular calculi is a syntax-semantics $2$-dimensional adjunction to regular categories.


title: Vitruvion: A Generative Model of Parametric CAD Sketches

abstract: Parametric computer-aided design (CAD) tools are the predominant way that engineers specify physical structures, from bicycle pedals to airplanes to printed circuit boards. The key characteristic of parametric CAD is that design intent is encoded not only via geometric primitives, but also by parameterized constraints between the elements. This relational specification can be viewed as the construction of a constraint program, allowing edits to coherently propagate to other parts of the design. Machine learning offers the intriguing possibility of accelerating the design process via generative modeling of these structures, enabling new tools such as autocompletion, constraint inference, and conditional synthesis. In this work, we present such an approach to generative modeling of parametric CAD sketches, which constitute the basic computational building blocks of modern mechanical design. Our model, trained on real-world designs from the SketchGraphs dataset, autoregressively synthesizes sketches as sequences of primitives, with initial coordinates, and constraints that reference back to the sampled primitives. As samples from the model match the constraint graph representation used in standard CAD software, they may be directly imported, solved, and edited according to downstream design tasks. In addition, we condition the model on various contexts, including partial sketches (primers) and images of hand-drawn sketches. Evaluation of the proposed approach demonstrates its ability to synthesize realistic CAD sketches and its potential to aid the mechanical design workflow.


title: Applications and Implications of a General Framework for Self-Stabilizing Overlay Networks

abstract: From data centers to IoT devices to Internet-based applications, overlay networks have become an important part of modern computing. Many of these overlay networks operate in fragile environments where processes are susceptible to faults which may perturb a node's state and the network topology. Self-stabilizing overlay networks have been proposed as one way to manage these faults, promising to build or restore a particular topology from any initial configuration or after the occurrence of any transient fault. To date there have been several self-stabilizing protocols designed for overlay networks. These protocols, however, are either focused on a single specific topology, or provide very inefficient solutions for a general set of overlay networks. In this paper, we analyze an existing algorithm and show it can be used as a general framework for building many other self-stabilizing overlay networks. Our analysis for time and space complexity depends upon several properties of the target topology itself, providing insight into how topology selection impacts the complexity of convergence. We then demonstrate the application of this framework by analyzing the complexity for several existing topologies. Next, using insights gained from our analysis, we present a new topology designed to provide efficient performance during convergence with the general framework. Our process demonstrates how the implications of our analysis help isolate the factors of interest to allow a network designer to select an appropriate topology for the problem requirements.


title: Network Scaffolding for Efficient Stabilization of the Chord Overlay Network

abstract: Overlay networks, where nodes communicate with neighbors over logical links consisting of zero or more physical links, have become an important part of modern networking. From data centers to IoT devices, overlay networks are used to organize a diverse set of processes for efficient operations like searching and routing. Many of these overlay networks operate in fragile environments where faults that perturb the logical network topology are commonplace. Self-stabilizing overlay networks offer one approach for managing these faults, promising to build or restore a particular topology from any weakly-connected initial configuration. Designing efficient self-stabilizing algorithms for many topologies, however, is not an easy task. For non-trivial topologies that have desirable properties like low diameter and robust routing in the face of node or link failures, self-stabilizing algorithms to date have had at least linear running time or space requirements. In this work, we address this issue by presenting an algorithm for building a Chord network that has polylogarithmic time and space complexity. Furthermore, we discuss how the technique we use for building this Chord network can be generalized into a ``design pattern'' for other desirable overlay network topologies.


title: On the molecular mechanism behind the bubble rise velocity jump discontinuity in viscoelastic liquids

abstract: Bubbles rising in viscoelastic liquids may exhibit a jump discontinuity of the rise velocity as a critical bubble volume is exceeded. The phenomenon has been extensively investigated in the literature, both by means of experiments as well as via numerical simulations. The occurrence of the velocity jump has been associated with a change of the bubble shape under the formation of a pointed tip at the rear end and to the appearance of a so-called negative wake with the liquid velocity behind the bubble, pointing in the opposite direction to that in viscous Newtonian fluids. We revisit this topic, starting with a review of the state of knowledge on the interrelations between the mentioned characteristic features. In search for a convincing explanation of the jump phenomenon, we performed detailed numerical simulations of the transient rise of single bubbles in 3D, allowing for a local polymer molecular conformation tensor analysis. The latter shows that polymer molecules traveling along the upper bubble hemisphere are stretched in the circumferential direction, due to the flow kinematics. Then, depending on the relaxation time scale of the polymer, the stored elastic energy is either unloaded essentially above or below the bubble's equator. In the former case, this slows down the bubble, while the bubble gets accelerated otherwise. In this latter case, the relative velocity of the polymer molecules against the bubble is increased, giving rise to a self-amplification of the effect and thus causing the bubble rise velocity to jump to a higher level. Detailed experimental velocity measurements in the liquid field around the bubble confirmed the conclusion that the ratio of the time scale of the Lagrangian transport of polymer molecules along the bubble contour to the relaxation time scale of the polymer molecules determines the sub- or supercritical state of the bubble motion.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Grouptron: Dynamic Multi-Scale Graph Convolutional Networks for Group-Aware Dense Crowd Trajectory Forecasting

abstract: Accurate, long-term forecasting of pedestrian trajectories in highly dynamic and interactive scenes is a long-standing challenge. Recent advances in using data-driven approaches have achieved significant improvements in terms of prediction accuracy. However, the lack of group-aware analysis has limited the performance of forecasting models. This is especially nonnegligible in highly crowded scenes, where pedestrians are moving in groups and the interactions between groups are extremely complex and dynamic. In this paper, we present Grouptron, a multi-scale dynamic forecasting framework that leverages pedestrian group detection and utilizes individual-level, group-level and scene-level information for better understanding and representation of the scenes. Our approach employs spatio-temporal clustering algorithms to identify pedestrian groups, creates spatio-temporal graphs at the individual, group, and scene levels. It then uses graph neural networks to encode dynamics at different scales and aggregate the embeddings for trajectory prediction. We conducted extensive comparisons and ablation experiments to demonstrate the effectiveness of our approach. Our method achieves 9.3% decrease in final displacement error (FDE) compared with state-of-the-art methods on ETH/UCY benchmark datasets, and 16.1% decrease in FDE in more crowded scenes where extensive human group interactions are more frequently present.


title: $\Delta$NO and the complexities of electron correlation in simple hydrogen clusters

abstract: The $\Delta$NO two-electron density matrix (2-RDM) and energy expression are derived from a multideterminantal wave function. The approximate $\Delta$NO 2-RDM is combined with an on-top density functional and a double-counting correction to capture electron correlation. A trust-region Newton's method optimization algorithm for the simultaneous optimization of $\Delta$NO orbitals and occupancies is introduced and compared to the previous iterative diagonalization algorithm. The combination of $\Delta$NO and two different on-top density functionals, Colle-Salvetti (CS) and OF, is assessed on small hydrogen clusters and compared to density functional, single-reference coupled cluster, and multireference perturbation theory (MRMP2) methods. The $\Delta$NO-CS and $\Delta$NO-OF methods outperform the single-reference methods, and are comparable to MRMP2. However, there is a distinct qualitative error in the $\Delta$NO potential energy surface for H$_4$ compared to the exact. This discrepancy is explained through analysis of the $\Delta$NO orbitals, occupancies and the two-electron density.


title: When Blockchain Meets Smart Grids: A Comprehensive Survey

abstract: Recent years have witnessed an increasing interest in the blockchain technology, and many blockchain-based applications have been developed to take advantage of its decentralization, transparency, fault tolerance, and strong security. In the field of smart grids, a plethora of proposals have emerged to utilize blockchain for augmenting intelligent energy management, energy trading, security and privacy protection, microgrid management, and energy vehicles. Compared with traditional centralized approaches, blockchain-based solutions are able to exploit the advantages of blockchain to realize better functionality in smart grids. However, the blockchain technology itself has its disadvantages in low processing throughput and weak privacy protection. Therefore, it is of paramount importance to study how to integrate blockchain with smart grids in a more effective way so that the advantages of blockchain can be maximized and its disadvantages can be avoided. This article surveys the state-of-the-art solutions aiming to integrate the emergent blockchain technology with smart grids. The goal of this survey is to discuss the necessity of applying blockchain in different components of smart grids, identify the challenges encountered by current solutions, and highlight the frameworks and techniques used to integrate blockchain with smart grids. We also present thorough comparison studies among blockchain-based solutions for smart grids from different perspectives, with the aim to provide insights on integrating blockchain with smart grids for different smart grid management tasks. Finally, we list the current projects and initiatives demonstrating the current effort from the practice side. Additionally, we draw attention to open problems that have not yet been tackled by existing solutions, and point out possible future research directions.


title: Contrastive Video-Language Segmentation

abstract: We focus on the problem of segmenting a certain object referred by a natural language sentence in video content, at the core of formulating a pinpoint vision-language relation. While existing attempts mainly construct such relation in an implicit way, i.e., grid-level multi-modal feature fusion, it has been proven problematic to distinguish semantically similar objects under this paradigm. In this work, we propose to interwind the visual and linguistic modalities in an explicit way via the contrastive learning objective, which directly aligns the referred object and the language description and separates the unreferred content apart across frames. Moreover, to remedy for the degradation problem, we present two complementary hard instance mining strategies, i.e., Language-relevant Channel Filter and Relative Hard Instance Construction. They encourage the network to exclude visual-distinguishable feature and to focus on easy-confused objects during the contrastive training. Extensive experiments on two benchmarks, i.e., A2D Sentences and J-HMDB Sentences, quantitatively demonstrate the state-of-the-arts performance of our method and qualitatively show the more accurate distinguishment between semantically similar objects over baselines.


title: Analysis of model parameter dependences on the second-order nonlinear conductivity in $\mathcal{PT}$-symmetric collinear antiferromagnetic metals with magnetic toroidal moment on zigzag chains

abstract: A magnetic toroidal moment is a fundamental electronic degree of freedom in the absence of both spatial inversion and time-reversal symmetries and gives rise to novel multiferroic and transport properties. We elucidate essential model parameters of the nonlinear transport in the space-time ($\mathcal{PT}$) symmetric collinear antiferromagnetic metals accompanying a magnetic toroidal moment. By analyzing the longitudinal and transverse components of the second-order nonlinear conductivity on a two-dimensionally stacked zigzag chain based on the nonlinear Kubo formula, we show that an effective coupling between the magnetic toroidal moment and the antisymmetric spin-orbit interaction is an essential source of the nonlinear conductivity. Moreover, we find that the nonreciprocal longitudinal current and nonlinear transverse current in a multi-band system are largely enhanced just below the transition temperature of the antiferromagnetic ordering. We also discuss the relevance of the nonlinear conductivity to the linear magnetoelectric coefficient and conductivity. Our result serves as a guide for exploring microscopic essence and clarifying the parameter dependence of the nonlinear conductive phenomena in ferrotoroidal metals.


title: Fine-Grained Zero-Shot Learning with DNA as Side Information

abstract: Fine-grained zero-shot learning task requires some form of side-information to transfer discriminative information from seen to unseen classes. As manually annotated visual attributes are extremely costly and often impractical to obtain for a large number of classes, in this study we use DNA as side information for the first time for fine-grained zero-shot classification of species. Mitochondrial DNA plays an important role as a genetic marker in evolutionary biology and has been used to achieve near-perfect accuracy in the species classification of living organisms. We implement a simple hierarchical Bayesian model that uses DNA information to establish the hierarchy in the image space and employs local priors to define surrogate classes for unseen ones. On the benchmark CUB dataset, we show that DNA can be equally promising yet in general a more accessible alternative than word vectors as a side information. This is especially important as obtaining robust word representations for fine-grained species names is not a practicable goal when information about these species in free-form text is limited. On a newly compiled fine-grained insect dataset that uses DNA information from over a thousand species, we show that the Bayesian approach outperforms state-of-the-art by a wide margin.


title: Low-Depth Unitary Coupled Cluster Theory for Quantum Computation

abstract: The unitary coupled cluster (UCC) approximation is one of the more promising wave-function ans\"atze for electronic structure calculations on quantum computers via the variational quantum eigensolver algorithm. However, for large systems with many orbitals, the required number of UCC factors still leads to very deep quantum circuits, which can be challenging to implement. Based on the observation that most UCC amplitudes are small for weakly correlated molecules, we devise an algorithm that employs a Taylor expansion in the small amplitudes, trading off circuit depth for extra measurements. Strong correlations can be taken into account by performing the expansion about a small set of UCC factors, which are treated exactly. Near equilibrium, the Taylor series expansion often works well without the need to include any exact factors; as the molecule is stretched and correlations increase, we find only a small number of factors need to be treated exactly.


title: Peak Infection Time for a Networked SIR Epidemic with Opinion Dynamics

abstract: We propose an SIR epidemic model coupled with opinion dynamics to study an epidemic and opinions spreading in a network of communities. Our model couples networked SIR epidemic dynamics with opinions towards the severity of the epidemic, and vice versa. We develop an epidemic-opinion based threshold condition to capture the moment when a weighted average of the epidemic states starts to decrease exponentially fast over the network, namely the peak infection time. We define an effective reproduction number to characterize the behavior of the model through the peak infection time. We use both analytical and simulation-based results to illustrate that the opinions reflect the recovered levels within the communities after the epidemic dies out.


title: Improved Xception with Dual Attention Mechanism and Feature Fusion for Face Forgery Detection

abstract: With the rapid development of deep learning technology, more and more face forgeries by deepfake are widely spread on social media, causing serious social concern. Face forgery detection has become a research hotspot in recent years, and many related methods have been proposed until now. For those images with low quality and/or diverse sources, however, the detection performances of existing methods are still far from satisfactory. In this paper, we propose an improved Xception with dual attention mechanism and feature fusion for face forgery detection. Different from the middle flow in original Xception model, we try to catch different high-semantic features of the face images using different levels of convolution, and introduce the convolutional block attention module and feature fusion to refine and reorganize those high-semantic features. In the exit flow, we employ the self-attention mechanism and depthwise separable convolution to learn the global information and local information of the fused features separately to improve the classification the ability of the proposed model. Experimental results evaluated on three Deepfake datasets demonstrate that the proposed method outperforms Xception as well as other related methods both in effectiveness and generalization ability.


title: Geometry-Entangled Visual Semantic Transformer for Image Captioning

abstract: Recent advancements of image captioning have featured Visual-Semantic Fusion or Geometry-Aid attention refinement. However, those fusion-based models, they are still criticized for the lack of geometry information for inter and intra attention refinement. On the other side, models based on Geometry-Aid attention still suffer from the modality gap between visual and semantic information. In this paper, we introduce a novel Geometry-Entangled Visual Semantic Transformer (GEVST) network to realize the complementary advantages of Visual-Semantic Fusion and Geometry-Aid attention refinement. Concretely, a Dense-Cap model proposes some dense captions with corresponding geometry information at first. Then, to empower GEVST with the ability to bridge the modality gap among visual and semantic information, we build four parallel transformer encoders VV(Pure Visual), VS(Semantic fused to Visual), SV(Visual fused to Semantic), SS(Pure Semantic) for final caption generation. Both visual and semantic geometry features are used in the Fusion module and also the Self-Attention module for better attention measurement. To validate our model, we conduct extensive experiments on the MS-COCO dataset, the experimental results show that our GEVST model can obtain promising performance gains.


title: A simulation sandbox to compare fixed-route, semi-flexible-transit, and on-demand microtransit system designs

abstract: With advances in emerging technologies, options for operating public transit services have broadened from conventional fixed-route service through semi-flexible service to on-demand microtransit. Nevertheless, guidelines for deciding between these services remain limited in the real implementation. An open-source simulation sandbox is developed that can compare state-of-the-practice methods for evaluating between the different types of public transit operations. For the case of the semi-flexible service, the Mobility Allowance Shuttle Transit (MAST) system is extended to include passenger deviations. A case study demonstrates the sandbox to evaluate and existing B63 bus route in Brooklyn, NY and compares its performance with the four other system designs spanning across the three service types for three different demand scenarios.


title: Lattice cohomology and $q$-series invariants of $3$-manifolds

abstract: An invariant is introduced for negative definite plumbed $3$-manifolds equipped with a spin$^c$-structure. It unifies and extends two theories with rather different origins and structures. One theory is lattice cohomology, motivated by the study of normal surface singularities, known to be isomorphic to the Heegaard Floer homology for certain classes of plumbed 3-manifolds. Another specialization gives BPS $q$-series which satisfy some remarkable modularity properties and recover ${\rm SU}(2)$ quantum invariants of $3$-manifolds at roots of unity. In particular, our work gives rise to a $2$-variable refinement of the $\widehat Z$-invariant.


title: Optimal data placements for triple replication

abstract: Given a set $V$ of $v$ servers along with $b$ files (data), each file is replicated (placed) on exactly $k$ servers and thus a file can be represented by a set of $k$ servers. Then we produce a data placement consisting of $b$ subsets of $V$ called blocks, each of size $k$. Each server has some probability to fail and we want to find a placement that minimizes the variance of the number of available files. It was conjectured that there always exists an optimal data placement (with variance better than any other placement for any value of the probability of failure). An optimal data placement for triple replication with $b$ blocks (of size three) on a $v$-set was proved to exist by Wei et al. if $v$ and $b$ are not excluded by two conditions. This article concentrates on the parameters $v, b$ satisfying the two conditions and characterizes the combinatorial properties of the corresponding optimal data placements. Nearly well-balanced triple systems (NWBTSs) are defined to produce optimal data placements. Many constructions for NWBTSs are developed, mainly by constructing candelabra systems with various desirable partitions. The main result of this article is that there always exist optimal data placements for triple replication with $b$ blocks on a $v$-set possibly except when $v\equiv 4$ (mod 24) or $v=50,74$, and $\frac{\lambda v(v-1)}{6}-\frac{v}{6} < b < \frac{\lambda v(v-1)}{6}+\frac{v}{6}$ for an odd integer $\lambda$.


title: Simultaneous rational approximation to successive powers of a real number

abstract: We develop new tools leading, for each integer $n\ge 4$, to a significantly improved upper bound for the uniform exponent of rational approximation $\widehat{\lambda}_n(\xi)$ to successive powers $1,\xi,\dots,\xi^n$ of a given real transcendental number $\xi$. As an application, we obtain a refined lower bound for the exponent of approximation to $\xi$ by algebraic integers of degree at most $n+1$. The new lower bound is $n/2+a\sqrt{n}+4/3$ with $a=(1-\log(2))/2\simeq 0.153$, instead of the current $n/2+\mathcal{O}(1)$.


title: On the Provable Generalization of Recurrent Neural Networks

abstract: Recurrent Neural Network (RNN) is a fundamental structure in deep learning. Recently, some works study the training process of over-parameterized neural networks, and show that over-parameterized networks can learn functions in some notable concept classes with a provable generalization error bound. In this paper, we analyze the training and generalization for RNNs with random initialization, and provide the following improvements over recent works: 1) For a RNN with input sequence $x=(X_1,X_2,...,X_L)$, previous works study to learn functions that are summation of $f(\beta^T_lX_l)$ and require normalized conditions that $||X_l||\leq\epsilon$ with some very small $\epsilon$ depending on the complexity of $f$. In this paper, using detailed analysis about the neural tangent kernel matrix, we prove a generalization error bound to learn such functions without normalized conditions and show that some notable concept classes are learnable with the numbers of iterations and samples scaling almost-polynomially in the input length $L$. 2) Moreover, we prove a novel result to learn N-variables functions of input sequence with the form $f(\beta^T[X_{l_1},...,X_{l_N}])$, which do not belong to the "additive" concept class, i,e., the summation of function $f(X_l)$. And we show that when either $N$ or $l_0=\max(l_1,..,l_N)-\min(l_1,..,l_N)$ is small, $f(\beta^T[X_{l_1},...,X_{l_N}])$ will be learnable with the number iterations and samples scaling almost-polynomially in the input length $L$.


title: Extending the Time Horizon: Efficient Public Transit Routing on Arbitrary-Length Timetables

abstract: We study the problem of computing all Pareto-optimal journeys in a public transit network regarding the two criteria of arrival time and number of transfers taken. In recent years, great advances have been made in making public transit network routing more scalable to larger networks. However, most approaches are silent on scalability in another dimension: Time. Experimental evaluations are often done on slices of timetables spanning a couple of days, when in reality, the planning horizon is much longer. We introduce an extension to trip-based public transit routing, proposed in [12], that allows efficient handling of arbitrarily long timetables. Our experimental evaluation shows that the resulting algorithm achieves fast queries on year-spanning timetables, and can incorporate updates such as delays or changed routes quickly even on large networks.


title: Improving Dialogue State Tracking by Joint Slot Modeling

abstract: Dialogue state tracking models play an important role in a task-oriented dialogue system. However, most of them model the slot types conditionally independently given the input. We discover that it may cause the model to be confused by slot types that share the same data type. To mitigate this issue, we propose TripPy-MRF and TripPy-LSTM that models the slots jointly. Our results show that they are able to alleviate the confusion mentioned above, and they push the state-of-the-art on dataset MultiWoZ 2.1 from 58.7 to 61.3. Our implementation is available at https://github.com/CTinRay/Trippy-Joint.


title: Reciprocity in the Langlands program since Fermat's Last Theorem

abstract: This is a survey article on developments in modularity since the proof of Fermat's Last Theorem, with an emphasis on the historical development of the subject rather than any technical details.


title: First Leptophobic Dark Matter Search from Coherent CAPTAIN-Mills

abstract: We report the first results of a search for leptophobic dark matter (DM) from the Coherent CAPTAIN-Mills (CCM) liquid argon (LAr) detector. An engineering run with 120 photomultiplier tubes (PMTs) and $17.9 \times 10^{20}$ protons-on-target (POT) was performed in Fall 2019 to study the characteristics of the CCM detector. The operation of this 10-ton detector was strictly light-based with a threshold of 50 keV and used coherent elastic scattering off argon nuclei to detect DM. Despite only 1.5 months of accumulated luminosity, contaminated LAr, and non-optimized shielding, CCM's first engineering run already achieved sensitivity to previously unexplored parameter space of light dark matter (LDM) models with a baryonic vector portal. With an expected background of 115,005 events, we observe 115,005+16.5 events which is compatible with background expectations. For a benchmark mediator-to-dark matter mass ratio of $m_{_{V_B}}/m_{\chi}=2.1$, DM masses within the range $9\,\text{MeV} \lesssim m_\chi \lesssim 50\,\text{MeV}$ have been excluded at 90% C.L. in the leptophobic model after applying the Feldman-Cousins test statistic. CCM's upgraded run with 200 PMTs, filtered LAr, improved shielding, and ten times more POT will be able to exclude the remaining thermal relic density parameter space of this model, as well as probe new parameter space of other leptophobic DM models.


title: Temporal Clustering with External Memory Network for Disease Progression Modeling

abstract: Disease progression modeling (DPM) involves using mathematical frameworks to quantitatively measure the severity of how certain disease progresses. DPM is useful in many ways such as predicting health state, categorizing disease stages, and assessing patients disease trajectory etc. Recently, with wider availability of electronic health records (EHR) and the broad application of data-driven machine learning method, DPM has attracted much attention yet remains two major challenges: (i) Due to the existence of irregularity, heterogeneity and long-term dependency in EHRs, most existing DPM methods might not be able to provide comprehensive patient representations. (ii) Lots of records in EHRs might be irrelevant to the target disease. Most existing models learn to automatically focus on the relevant information instead of explicitly capture the target-relevant events, which might make the learned model suboptimal. To address these two issues, we propose Temporal Clustering with External Memory Network (TC-EMNet) for DPM that groups patients with similar trajectories to form disease clusters/stages. TC-EMNet uses a variational autoencoder (VAE) to capture internal complexity from the input data and utilizes an external memory work to capture long term distance information, both of which are helpful for producing comprehensive patient states. Last but not least, k-means algorithm is adopted to cluster the extracted comprehensive patient states to capture disease progression. Experiments on two real-world datasets show that our model demonstrates competitive clustering performance against state-of-the-art methods and is able to identify clinically meaningful clusters. The visualization of the extracted patient states shows that the proposed model can generate better patient states than the baselines.