title: Improving competitive evacuations with a vestibule structure designed from panel-like obstacles

abstract: It has been shown that placing an obstacle in front of an exit door has proven to be a successful method to improve pedestrian evacuations. In this work, we will focus on the space limited by the exit and the obstacles (i.e. the vestibule structure). We analyzed two different types of vestibules: the two-entry vestibule (which consists of a single panel-like obstacle) and the three-entry vestibule (which consists of two panel-like obstacles). In the former, we studied the effects of varying the walls' friction coefficient $\kappa_w$ and the distance from the obstacle to the exit door $d$. In the latter, we varied the space between the two panels (gap). We found that the three above mentioned parameters control the vestibule's density, which subsequently affects the evacuation flow (fundamental diagram). We have also found that reducing the distance $d$ or increasing the friction facilitates the formation of blocking clusters at the vestibule entries, and hence, diminishes the density. If the density is too large or too low, the evacuation flow is suboptimal, whereas if the density is around $2 \pm 2$, the flow is maximized. Our most important result is that the density (and therefore the evacuation flow) can be precisely controlled by $\kappa_w$, $d$, and the gap. Moreover, the three-entry vestibule produced the highest evacuation flow for specific configurations of the gap and the distance from the panels to the door.


title: Microscopic Origins of Macroscopic Behavior

abstract: This article is mostly based on a talk I gave at the March 2021 meeting (virtual) of the American Physical Society on the occasion of receiving the Dannie Heineman prize for Mathematical Physics from the American Institute of Physics and the American Physical Society. I am greatly indebted to many colleagues for the results leading to this award. To name them all would take up all the space allotted to this article. (I have had more than 200 collaborators so far), I will therefore mention just a few: Michael Aizenman, Bernard Derrida, Shelly Goldstein, Elliott Lieb, Oliver Penrose, Errico Presutti, Gene Speer and Herbert Spohn. I am grateful to all of my collaborators, listed and unlisted. I would also like to acknowledge here long time support form the AFOSR and the NSF.

categories: math-ph cond-mat.stat-mech math.MP math.PR physics.chem-ph quant-ph


title: Application of efficient generator-coordinate subspace-selection algorithm to neutrinoless double-$\beta$ decay

abstract: The generator coordinate method begins with the variational construction of a set of non-orthogonal mean-field states that span a subspace of the full many-body Hilbert space. These states are then often projected onto states with good quantum numbers to restore symmetries, leading to a set with members that can be similar to one another, and it is sometimes possible to reduce this set without greatly affecting results. Here we propose a greedy algorithm that we call the energy-transition-orthogonality procedure (ENTROP) to select subsets of important states. As applied here, the approach selects on the basis of diagonal energy, orthogonality, and contribution to the matrix element that governs neutrinoless double-$\beta$ decay. We present both shell-model and preliminary ab initio calculations of this matrix element for the decay of $^{76}$Ge, with quadrupole deformation parameters and the isoscalar pairing strength as generator coordinates. ENTROP converges quickly, reducing significantly the number of basis states needed for an accurate calculation.


title: Electronic structure, electron-phonon coupling and superconductivity in noncentrosymmetric ThCoC2 from ab initio calculations

abstract: Superconductors without inversion symmetry in their crystal structure are known to exhibit unconventional properties. Recently, based on the measured temperature dependence of the magnetic field penetration depth, superconductivity in noncentrosymmetric $\mathrm{ThCoC_2}$ was proposed to be a nodal $d$-wave and mediated by the spin fluctuations. Moreover, a non-BCS behavior of the temperature dependence of the electronic specific heat and the magnetic upper critical field were reported. In this work, the electronic structure, phonons and electron-phonon coupling are studied in $\mathrm{ThCoC_2}$ on the basis of \textit{ab initio} computations. The effect of the spin-orbit coupling on the electronic structure and electron-phonon interaction is analyzed, and a large splitting of the electronic band structure is found. The calculated electron-phonon coupling constant $\lambda = 0.59$ remains in decent agreement with the experimental estimates, suggesting that the electron-phonon interaction is strong enough to explain superconductivity with $T_c \simeq 2.5$~K. Nevertheless, we show that the conventional isotropic Eliashberg formalism is unable to describe the thermodynamic properties of the superconducting state, as calculated temperature dependence of the electronic specific heat and magnetic penetration depth deviate from experiments, which is likely driven by the strong spin-orbit coupling and inversion symmetry breaking. In addition, to shed more light on the pairing mechanism, we propose to measure the carbon isotope effect, as our calculations based on the electron-phonon coupling predict the observation of the isotope effect with an exponent $\alpha \simeq 0.15$.


title: A Quantum Key Distribution Testbed using a Plug&Play Telecom-wavelength Single-Photon Source

abstract: Deterministic solid-state quantum light sources are considered key building blocks for future communication networks. While several proof-of-principle experiments of quantum communication using such sources have been realized, most of them required large setups often involving liquid helium infrastructure or bulky closed-cycle cryotechnology. In this work, we report on the first quantum key distribution (QKD) testbed using a compact benchtop quantum dot single-photon source operating at telecom wavelengths. The plug\&play device emits single-photon pulses at O-band wavelengths ($1321\,$nm) and is based on a directly fiber-pigtailed deterministically-fabricated quantum dot device integrated into a compact Stirling cryocooler. The Stirling is housed in a 19-inch rack module including all accessories required for stand-alone operation. Implemented in a simple QKD testbed emulating the BB84 protocol with polarization coding, we achieve an antibunching of $g^{(2)}(0) = 0.10\pm0.01$ and a raw key rate of up to $(4.72\pm0.13)\,$kHz using an external pump laser. In this setting, we further evaluate the performance of our source in terms of the quantum bit error ratios, secure key rates, and tolerable losses expected in full implementations of QKD also accounting for finite key size effects. Furthermore, we investigate optimal settings for a two-dimensional temporal acceptance window applied on receiver side, resulting in predicted tolerable losses up to $23.19\,$dB. Not least, we compare our results with previous proof-of-concept QKD experiments using quantum dot single-photon sources. Our study represents an important step forward in the development of fiber-based quantum-secured communication networks exploiting sub-Poissonian quantum light sources.


title: Polarization-dependent mode coupling in hyperbolic nanospheres

abstract: Hyperbolic materials offer a much wider freedom in designing optical properties of nanostructures than ones with isotropic and elliptical dispersion, both metallic or dielectric. Here, we present a detailed theoretical and numerical study of the unique optical properties of spherical nanoantennas composed of such materials. Hyperbolic nanospheres exhibit a rich modal structure that, depending on the polarization and direction of incident light, can exhibit either a full plasmonic-like response with multiple electric resonances, a single, dominant electric dipole or one with mixed magnetic and electric modes with an atypical reversed modal order. We derive resonance conditions for observing these resonances in the dipolar approximation and offer insight into how the modal response evolves with the size, material composition, and illumination. Specifically, the origin of the magnetic dipole mode lies in the hyperbolic dispersion and its existence is determined by two diagonal permittivity components of different sign. Our analysis shows that the origin of this unusual behavior stems from complex coupling between electric and magnetic multipoles, which leads to very strongly scattering or absorbing modes. These observations assert that hyperbolic nanoantennas offer a promising route towards novel light-matter interaction regimes.


title: Late-Time Hubble Space Telescope Observations of a Hydrogen-Poor Superluminous Supernova Reveal the Power-Law Decline of a Magnetar Central Engine

abstract: The light curve diversity of hydrogen-poor superluminous supernovae (SLSNe) has kept open the possibility that multiple power sources account for the population. Specifically, pair-instability explosions (PISNe), which produce large masses of $^{56}$Ni, have been argued as the origin of some slowly-evolving SLSNe. Here we present detailed observations of SN 2016inl (=PS16fgt), a slowly-evolving SLSN at $z=0.3057$, whose unusually red spectrum matches PS1-14bj, a SLSN with an exceptionally long rise time consistent with a PISN. Ground-based and Hubble Space Telescope data, spanning about 800 rest-frame days, reveal a significant light curve flattening, similar to that seen in SN 2015bn, and much slower than the decline rate expected from radioactive decay of $^{56}$Co. We therefore conclude that despite its slow evolution, SN 2016inl is inconsistent with a PISN. Instead, the light curve evolution matches the expected power-law spin-down of a magnetar central engine, but with a shallower power law ($L\propto t^{-2.8}$) compared to that in SN 2015bn, indicating a possible difference in the $\gamma$-ray opacity between the two events. Analytical modeling indicates typical magnetar engine parameters, but one of the highest ejecta masses ($\approx 20$ M$_{\odot}$) inferred for a SLSN. Our results indicate that monitoring the late-time light curve evolution of SLSNe provides a powerful diagnostic of their energy source.


title: Determination of the speed of light from the longitudinal modes beat frequencies of an open-cavity helium-neon laser

abstract: We empirically determined the speed of light by measuring the variation in longitudinal mode frequencies, or the beat frequencies, of an adjustable-length, open-cavity helium-neon laser as a function of its cavity length. The TEM$_{00}$ mode lasing output of the laser was analyzed using a fast frequency photodiode detector and a radio frequency spectrum analyzer. A Fabry-Perot interferometer was used to monitor the intensity of the longitudinal modes and we found that the phenomena of frequency pushing and pulling had little effects on the beat frequency measurements. Plotting the reciprocal of the beat frequency as a function of the change in cavity length, the speed of light was found, by using linear weighted least squares regression, to be $(2.997 \pm 0.003) \times 10^{8}$ ms$^{-1}$. This value is $0.3 \sigma$ away from the defined value of speed of light and is accurate to 1 part in 3200.


title: Stress-Energy in the Conical Vacuum and its Implications for Topology Change

abstract: This dissertation presents a semiclassical analysis of conical topology change in $1+1$ spacetime dimensions wherein, to lowest order, the ambient spacetime is classical and fixed while the scalar field coupled to it is quantized. The vacuum expectation value of the scalar field stress-energy tensor is calculated via two different approaches. The first of these involves the explicit determination of the so called Sorkin-Johnston state on the cone and an original regularization scheme, while the latter employs the conformal vacuum and the more conventional point-splitting renormalization. It is found that conical topology change seems not to suffer from the same pathologies that trousers-type topology change does. This provides tentative agreement with conjectures due to Sorkin and Borde, which attempt to classify topology changing spacetimes with respect to their Morse critical points and in particular, that the cone and yarmulke in $1+1$ dimensions lack critical points of unit Morse index.


title: Adjusting for Unmeasured Confounding in Marginal Structural Models with Propensity-Score Fixed Effects

abstract: Marginal structural models are a popular tool for investigating the effects of time-varying treatments, but they require an assumption of no unobserved confounders between the treatment and outcome. With observational data, this assumption may be difficult to maintain, and in studies with panel data, many researchers use fixed effects models to purge the data of time-constant unmeasured confounding. Unfortunately, traditional linear fixed effects models are not suitable for estimating the effects of time-varying treatments, since they can only estimate lagged effects under implausible assumptions. To resolve this tension, we a propose a novel inverse probability of treatment weighting estimator with propensity-score fixed effects to adjust for time-constant unmeasured confounding in marginal structural models of fixed-length treatment histories. We show that these estimators are consistent and asymptotically normal when the number of units and time periods grow at a similar rate. Unlike traditional fixed effect models, this approach works even when the outcome is only measured at a single point in time as is common in marginal structural models. We apply these methods to estimating the effect of negative advertising on the electoral success of candidates for statewide offices in the United States.


title: Magnetic properties of the itinerant ferromagnet LaCrGe3 under pressure studied by 139La NMR

abstract: $^{139}$La nuclear magnetic resonance (NMR) measurements under pressure ($p = 0-2.64$ GPa) have been carried out to investigate the static and dynamic magnetic properties of the itinerant ferromagnet LaCrGe$_3$. $^{139}$La-NMR spectra for all measured pressures in the ferromagnetically ordered state show a large shift due to the internal field induction $|$$B_{\rm int}$$|$ $\sim$ 4 T at the La site produced by Cr ordered moments. The change in $B_{\rm int}$ by less than 5\% with $p$ up to 2.64~GPa indicates that the Cr 3$d$ moments are robust under pressure. The temperature dependence of NMR shift and $B_{\rm int}$ suggest that the ferromagnetic order develops below $\sim$ 50~K under higher pressures in a magnetic field of $\sim$ 7.2 T. Based on the analysis of NMR data using the self-consistent-renormalization (SCR) theory, the spin fluctuations in the paramagnetic state well above $T_{\rm C}$ are revealed to be three dimensional ferromagnetic throughout the measured $p$ region.


title: A semigroup method for high dimensional elliptic PDEs and eigenvalue problems based on neural networks

abstract: In this paper, we propose a semigroup method for solving high-dimensional elliptic partial differential equations (PDEs) and the associated eigenvalue problems based on neural networks. For the PDE problems, we reformulate the original equations as variational problems with the help of semigroup operators and then solve the variational problems with neural network (NN) parameterization. The main advantages are that no mixed second-order derivative computation is needed during the stochastic gradient descent training and that the boundary conditions are taken into account automatically by the semigroup operator. Unlike popular methods like PINN \cite{raissi2019physics} and Deep Ritz \cite{weinan2018deep} where the Dirichlet boundary condition is enforced solely through penalty functions and thus changes the true solution, the proposed method is able to address the boundary conditions without penalty functions and it gives the correct true solution even when penalty functions are added, thanks to the semigroup operator. For eigenvalue problems, a primal-dual method is proposed, efficiently resolving the constraint with a simple scalar dual variable and resulting in a faster algorithm compared with the BSDE solver \cite{han2020solving} in certain problems such as the eigenvalue problem associated with the linear Schr\"odinger operator. Numerical results are provided to demonstrate the performance of the proposed methods.


title: Stein's Method Meets Computational Statistics: A Review of Some Recent Developments

abstract: Stein's method compares probability distributions through the study of a class of linear operators called Stein operators. While mainly studied in probability and used to underpin theoretical statistics, Stein's method has led to significant advances in computational statistics in recent years. The goal of this survey is to bring together some of these recent developments and, in doing so, to stimulate further research into the successful field of Stein's method and statistics. The topics we discuss include tools to benchmark and compare sampling methods such as approximate Markov chain Monte Carlo, deterministic alternatives to sampling methods, control variate techniques, parameter estimation and goodness-of-fit testing.


title: Measuring and Increasing Context Usage in Context-Aware Machine Translation

abstract: Recent work in neural machine translation has demonstrated both the necessity and feasibility of using inter-sentential context -- context from sentences other than those currently being translated. However, while many current methods present model architectures that theoretically can use this extra context, it is often not clear how much they do actually utilize it at translation time. In this paper, we introduce a new metric, conditional cross-mutual information, to quantify the usage of context by these models. Using this metric, we measure how much document-level machine translation systems use particular varieties of context. We find that target context is referenced more than source context, and that conditioning on a longer context has a diminishing effect on results. We then introduce a new, simple training method, context-aware word dropout, to increase the usage of context by context-aware models. Experiments show that our method increases context usage and that this reflects on the translation quality according to metrics such as BLEU and COMET, as well as performance on anaphoric pronoun resolution and lexical cohesion contrastive datasets.


title: Reweighted Jarzynski sampling: Acceleration of rare events and free energy calculation with a bias potential learned from nonequilibrium work

abstract: We introduce a simple enhanced sampling approach for the calculation of free energy differences and barriers along a one-dimensional reaction coordinate. First, a small number of short nonequilibrium simulations are carried out along the reaction coordinate, and the Jarzynski equality is used to learn an approximate free energy surface from the nonequilibrium work distribution. This free energy estimate is represented in a compact form as an artificial neural network and used as an external bias potential to accelerate rare events in a subsequent molecular dynamics simulation. The final free energy estimate is then obtained by reweighting the equilibrium probability distribution of the reaction coordinate sampled under the influence of the external bias. We apply our reweighted Jarzynski sampling recipe to four processes of varying scales and complexities-spanning chemical reaction in the gas phase, pair association in solution, and droplet nucleation in supersaturated vapor. In all cases, we find reweighted Jarzynski sampling to be a very efficient strategy, resulting in rapid convergence of the free energy to high precision.


title: Empirical Evaluation of Pre-trained Transformers for Human-Level NLP: The Role of Sample Size and Dimensionality

abstract: In human-level NLP tasks, such as predicting mental health, personality, or demographics, the number of observations is often smaller than the standard 768+ hidden state sizes of each layer within modern transformer-based language models, limiting the ability to effectively leverage transformers. Here, we provide a systematic study on the role of dimension reduction methods (principal components analysis, factorization techniques, or multi-layer auto-encoders) as well as the dimensionality of embedding vectors and sample sizes as a function of predictive performance. We first find that fine-tuning large models with a limited amount of data pose a significant difficulty which can be overcome with a pre-trained dimension reduction regime. RoBERTa consistently achieves top performance in human-level tasks, with PCA giving benefit over other reduction methods in better handling users that write longer texts. Finally, we observe that a majority of the tasks achieve results comparable to the best performance with just $\frac{1}{12}$ of the embedding dimensions.


title: Using gravitational waves to distinguish between neutron stars and black holes in compact binary mergers

abstract: In August 2017, the first detection of a binary neutron star merger, GW170817, made it possible to study neutron stars in compact binary systems using gravitational waves. Despite being the loudest gravitational wave event detected to date (in terms of signal-to-noise ratio), it was not possible to unequivocally determine that GW170817 was caused by the merger of two neutron stars instead of two black holes from the gravitational-wave data alone. That distinction was primarily due to the accompanying electromagnetic counterpart. This raises the question: under what circumstances can gravitational-wave data alone, in the absence of an electromagnetic signal, be used to distinguish between different types of mergers? Here, we study whether a neutron star-black hole binary merger can be distinguished from a binary black hole merger using gravitational-wave data alone. We build on earlier results using chiral effective field theory to explore whether the data from LIGO and Virgo, LIGO A+, LIGO Voyager, the Einstein Telescope, or Cosmic Explorer could lead to such a distinction. The results suggest that the present LIGO-Virgo detector network will most likely be unable to distinguish between these systems even with the planned near-term upgrades. However, given an event with favorable parameters, third-generation instruments such as Cosmic Explorer will be capable of making this distinction. This result further strengthens the science case for third-generation detectors.


title: Integrating van der Waals materials on paper substrates for electrical and optical applications

abstract: Paper holds the promise to replace silicon substrates in applications like internet of things or disposable electronics that require ultra-low-cost electronic components and an environmentally friendly electronic waste management. In the last years, spurred by the abovementioned properties of paper as a substrate and the exceptional electronic, mechanical and optical properties of van der Waals (vdW) materials, many research groups have worked towards the integration of vdW materials-based devices on paper. Recently, a method to deposit a continuous film of densely packed interconnects of vdW materials on paper by simply rubbing the vdW crystals against the rough surface of paper has been presented. This method utilizes the weak interlayer vdW interactions and allows cleaving of the crystals into micro platelets through the abrasion against the paper. Here, we aim to illustrate the general character and the potential of this technique by fabricating films of 39 different vdW materials (including superconductors, semi-metals, semiconductors, and insulators) on standard copier paper. We have thoroughly characterized their optical properties showing their high optical quality: one can easily resolve the absorption band edge of semiconducting vdW materials and even the excitonic features present in some vdW materials with high exciton binding energy. We also measured the electrical resistivity for several vdW materials films on paper finding exceptionally low values, which are in some cases, orders of magnitude lower than those reported for analogous films produced by inkjet printing. We finally demonstrate the fabrication of field-effect devices with vdW materials on paper using the paper substrate as an ionic gate.


title: Integrating superconducting van der Waals materials on paper substrates

abstract: Paper has the potential to dramatically reduce the cost of electronic components. In fact, paper is 10 000 times cheaper than crystalline silicon, motivating the research to integrate electronic materials on paper substrates. Among the different electronic materials, van der Waals materials are attracting the interest of the scientific community working on paper-based electronics because of the combination of high electrical performance and mechanical flexibility. Up to now, different methods have been developed to pattern conducting, semiconducting and insulating van der Waals materials on paper but the integration of superconductors remains elusive. Here, the deposition of NbSe2, an illustrative van der Waals superconductor, on standard copy paper is demonstrated. The deposited NbSe2 films on paper display superconducting properties (e.g. observation of Meissner effect and resistance drop to zero-resistance state when cooled down below its critical temperature) similar to those of bulk NbSe2.


title: The Tautness Property of Homology Theory

abstract: The tautness for a cohomology theory is formulated and studied by various authors. However, the analogous property is not considered for a homology theory. In this paper, we will define and study this very property for the Massey homology theory. Moreover, we will prove that the Kolmogoroff and the Massey homologies are isomorphic on the category of locally compact, paracompact spaces and proper maps. Therefore, we will obtain the same result for the Kolmogoroff homology theory.


title: Reinforcement Learning and Control of a Lower Extremity Exoskeleton for Squat Assistance

abstract: A significant challenge for the control of a robotic lower extremity rehabilitation exoskeleton is to ensure stability and robustness during programmed tasks or motions, which is crucial for the safety of the mobility-impaired user. Due to various levels of the user's disability, the human-exoskeleton interaction forces and external perturbations are unpredictable and could vary substantially and cause conventional motion controllers to behave unreliably or the robot to fall down. In this work, we propose a new, reinforcement learning-based, motion controller for a lower extremity rehabilitation exoskeleton, aiming to perform collaborative squatting exercises with efficiency, stability, and strong robustness. Unlike most existing rehabilitation exoskeletons, our exoskeleton has ankle actuation on both sagittal and front planes and is equipped with multiple foot force sensors to estimate center of pressure (CoP), an important indicator of system balance. This proposed motion controller takes advantage of the CoP information by incorporating it in the state input of the control policy network and adding it to the reward during the learning to maintain a well balanced system state during motions. In addition, we use dynamics randomization and adversary force perturbations including large human interaction forces during the training to further improve control robustness. To evaluate the effectiveness of the learning controller, we conduct numerical experiments with different settings to demonstrate its remarkable ability on controlling the exoskeleton to repetitively perform well balanced and robust squatting motions under strong perturbations and realistic human interaction forces.


title: Optimization of Controlled Free-Time Sweeping Processes with Applications to Marine Surface Vehicle Modeling

abstract: The paper is devoted to a free-time optimal control problem for sweeping processes. We develop a constructive finite-difference approximation procedure that allows us to establish necessary optimality conditions for discrete optimal solutions and then show how these optimality conditions are applied to solving a controlled marine surface vehicle model.


title: Uniform Convergence, Adversarial Spheres and a Simple Remedy

abstract: Previous work has cast doubt on the general framework of uniform convergence and its ability to explain generalization in neural networks. By considering a specific dataset, it was observed that a neural network completely misclassifies a projection of the training data (adversarial set), rendering any existing generalization bound based on uniform convergence vacuous. We provide an extensive theoretical investigation of the previously studied data setting through the lens of infinitely-wide models. We prove that the Neural Tangent Kernel (NTK) also suffers from the same phenomenon and we uncover its origin. We highlight the important role of the output bias and show theoretically as well as empirically how a sensible choice completely mitigates the problem. We identify sharp phase transitions in the accuracy on the adversarial set and study its dependency on the training sample size. As a result, we are able to characterize critical sample sizes beyond which the effect disappears. Moreover, we study decompositions of a neural network into a clean and noisy part by considering its canonical decomposition into its different eigenfunctions and show empirically that for too small bias the adversarial phenomenon still persists.


title: Human-Aided Saliency Maps Improve Generalization of Deep Learning

abstract: Deep learning has driven remarkable accuracy increases in many computer vision problems. One ongoing challenge is how to achieve the greatest accuracy in cases where training data is limited. A second ongoing challenge is that trained models oftentimes do not generalize well even to new data that is subjectively similar to the training set. We address these challenges in a novel way, with the first-ever (to our knowledge) exploration of encoding human judgement about salient regions of images into the training data. We compare the accuracy and generalization of a state-of-the-art deep learning algorithm for a difficult problem in biometric presentation attack detection when trained on (a) original images with typical data augmentations, and (b) the same original images transformed to encode human judgement about salient image regions. The latter approach results in models that achieve higher accuracy and better generalization, decreasing the error of the LivDet-Iris 2020 winner from 29.78% to 16.37%, and achieving impressive generalization in a leave-one-attack-type-out evaluation scenario. This work opens a new area of study for how to embed human intelligence into training strategies for deep learning to achieve high accuracy and generalization in cases of limited training data.


title: Causal identification of infectious disease intervention effects in a clustered population

abstract: Causal identification of treatment effects for infectious disease outcomes in interconnected populations is challenging because infection outcomes may be transmissible to others, and treatment given to one individual may affect others' outcomes. Contagion, or transmissibility of outcomes, complicates standard conceptions of treatment interference in which an intervention delivered to one individual can affect outcomes of others. Several statistical frameworks have been proposed to measure causal treatment effects in this setting, including structural transmission models, mediation-based partnership models, and randomized trial designs. However, existing estimands for infectious disease intervention effects are of limited conceptual usefulness: Some are parameters in a structural model whose causal interpretation is unclear, others are causal effects defined only in a restricted two-person setting, and still others are nonparametric estimands that arise naturally in the context of a randomized trial but may not measure any biologically meaningful effect. In this paper, we describe a unifying formalism for defining nonparametric structural causal estimands and an identification strategy for learning about infectious disease intervention effects in clusters of interacting individuals when infection times are observed. The estimands generalize existing quantities and provide a framework for causal identification in randomized and observational studies, including situations where only binary infection outcomes are observed. A semiparametric class of pairwise Cox-type transmission hazard models is used to facilitate statistical inference in finite samples. A comprehensive simulation study compares existing and proposed estimands under a variety of randomized and observational vaccine trial designs.


title: The iWildCam 2021 Competition Dataset

abstract: Camera traps enable the automatic collection of large quantities of image data. Ecologists use camera traps to monitor animal populations all over the world. In order to estimate the abundance of a species from camera trap data, ecologists need to know not just which species were seen, but also how many individuals of each species were seen. Object detection techniques can be used to find the number of individuals in each image. However, since camera traps collect images in motion-triggered bursts, simply adding up the number of detections over all frames is likely to lead to an incorrect estimate. Overcoming these obstacles may require incorporating spatio-temporal reasoning or individual re-identification in addition to traditional species detection and classification. We have prepared a challenge where the training data and test data are from different cameras spread across the globe. The set of species seen in each camera overlap, but are not identical. The challenge is to classify species and count individual animals across sequences in the test cameras.


title: Is Incoherence Surprising? Targeted Evaluation of Coherence Prediction from Language Models

abstract: Coherent discourse is distinguished from a mere collection of utterances by the satisfaction of a diverse set of constraints, for example choice of expression, logical relation between denoted events, and implicit compatibility with world-knowledge. Do neural language models encode such constraints? We design an extendable set of test suites addressing different aspects of discourse and dialogue coherence. Unlike most previous coherence evaluation studies, we address specific linguistic devices beyond sentence order perturbations, allowing for a more fine-grained analysis of what constitutes coherence and what neural models trained on a language modelling objective do encode. Extending the targeted evaluation paradigm for neural language models (Marvin and Linzen, 2018) to phenomena beyond syntax, we show that this paradigm is equally suited to evaluate linguistic qualities that contribute to the notion of coherence.


title: Optical microscopy-based thickness estimation in thin GaSe flakes

abstract: We have implemented three different optical methods to quantitatively assess the thickness of thin GaSe flakes transferred on both transparent substrates, like Gel-Film, or SiO2/Si substrates. We show how their apparent color can be an efficient way to make a quick rough estimation of the thickness of the flakes. This method is more effective for SiO2/Si substrates as the thickness dependent color change is more pronounced on these substrates than on transparent substrates. On the other hand, for transparent substrates, the transmittance of the flakes in the blue region of the visible spectrum can be used to estimate the thickness. We find that the transmittance of flakes in the blue part of the spectrum decreases at a rate of 1.2%/nm. On SiO2/Si, the thickness of the flakes can be accurately determined by fitting optical contrast spectra to a Fresnel law-based model. Finally, we also show how the quantitative analysis of transmission mode optical microscopy images can be a powerful method to quickly probe the environmental degradation of GaSe flakes exposed to aging conditions.


title: Probabilistic Modeling of Hurricane Wind-Induced Damage in Infrastructure Systems

abstract: This paper presents a modeling approach for probabilistic estimation of hurricane wind-induced damage to infrastructural assets. In our approach, we employ a Nonhomogeneous Poisson Process (NHPP) model for estimating spatially-varying probability distributions of damage as a function of hurricane wind field velocities. Specifically, we consider a physically-based, quadratic NHPP model for failures of overhead assets in electricity distribution systems. The wind field velocities are provided by Forecasts of Hurricanes using Large-Ensemble Outputs (FHLO), a framework for generating probabilistic hurricane forecasts. We use FHLO in conjunction with the NHPP model, such that the hurricane forecast uncertainties represented by FHLO are accounted for in estimating the probability distributions of damage. Furthermore, we evaluate the spatial variability and extent of hurricane damage under key wind field parameters (intensity, size, and asymmetries). By applying our approach to prediction of power outages (loss-of-service) in northwestern Florida due to Hurricane Michael (2018), we demonstrate a statistically significant relationship between outage rate and failure rate. Finally, we formulate parametric models that relate total damage and financial losses to the hurricane parameters of intensity and size. Overall, this paper's findings suggest that our approach is well-suited to jointly account for spatial variability and forecast uncertainty in the damage estimates, and is readily applicable to prediction of system loss-of-service due to the damage.


title: Mitotic waves in an import-diffusion model with multiple nuclei in a shared cytoplasm

abstract: Nuclei import and export proteins, including cell cycle regulators. These import-export processes are modulated periodically by the cell cycle, for example due to the periodic assembly and breakdown of the nuclear envelope. As such, replicated DNA can be segregated between the two daughter cells and the proteins that were localized in the nucleus are free to diffuse throughout the cytoplasm. Here, we study a mathematical import-diffusion model to show how proteins, i.e. cell cycle regulators, could be redistributed in the cytoplasm by nuclei that periodically toggle between interphase and mitosis. We show that when the cell cycle period depends on the local concentration of regulators, the model exhibits mitotic waves. We discuss how the velocity and spatial origin of these mitotic waves depend on the different model parameters. This work is motivated by recent in vitro experiments reporting on mitotic waves in cycling cell-free extracts made with Xenopus laevis frog eggs, where multiple nuclei share the same cytoplasm. Such experiments have shown that nuclei act as pacemakers for the cell cycle and thus play an important role in collectively defining the spatial origin of mitotic waves.


title: In-plane anisotropic optical and mechanical properties of two-dimensional MoO$_3$

abstract: Molybdenum trioxide (MoO$_3$) in-plane anisotropy has increasingly attracted the attention of the scientific community in the last few years. Many of the observed in-plane anisotropic properties stem from the anisotropic refractive index and elastic constants of the material but a comprehensive analysis of these fundamental properties is still lacking. Here we employ Raman and micro-reflectance measurements, using polarized light, to determine the angular dependence of the refractive index of thin MoO$_3$ flakes and we study the directional dependence of the MoO$_3$ Young's modulus using the buckling metrology method. We found that MoO$_3$ displays one of the largest in-plane anisotropic mechanical properties reported for 2D materials so far.


title: A Convergent Finite Difference Method for Optimal Transport on the Sphere

abstract: We introduce a convergent finite difference method for solving the optimal transportation problem on the sphere. The method applies to both the traditional squared geodesic cost (arising in mesh generation) and a logarithmic cost (arising in the reflector antenna design problem). At each point on the sphere, we replace the surface PDE with a Generated Jacobian equation posed on the local tangent plane using geodesic normal coordinates. The discretization is inspired by recent monotone methods for the Monge-Amp\`ere equation, but requires significant adaptations in order to correctly handle the mix of gradient and Hessian terms appearing inside the nonlinear determinant operator, as well as the singular logarithmic cost function. Numerical results demonstrate the success of this method on a wide range of challenging problems involving both the squared geodesic and the logarithmic cost functions.


title: Indications of a Fifth Force Coupling to Baryon Number in the Potter Test of the Weak Equivalence Principle

abstract: We have reanalyzed data obtained by Potter in a 1923 experiment aimed at testing whether the accelerations of test masses in the Earth's gravitational field are independent of their compositions. Although Potter concludes that the accelerations of his samples compared to a brass standard were individually consistent with a null result, we show that the pattern formed from a combined plot of all of his data suggests the presence of a fifth force coupling to baryon number.


title: Conversational Code Analysis: The Future of Secure Coding

abstract: The area of software development and secure coding can benefit significantly from advancements in virtual assistants. Research has shown that many coders neglect security in favor of meeting deadlines. This shortcoming leaves systems vulnerable to attackers. While a plethora of tools are available for programmers to scan their code for vulnerabilities, finding the right tool can be challenging. It is therefore imperative to adopt measures to get programmers to utilize code analysis tools that will help them produce more secure code. This chapter looks at the limitations of existing approaches to secure coding and proposes a methodology that allows programmers to scan and fix vulnerabilities in program code by communicating with virtual assistants on their smart devices. With the ubiquitous move towards virtual assistants, it is important to design systems that are more reliant on voice than on standard point-and-click and keyboard-driven approaches. Consequently, we propose MyCodeAnalyzer, a Google Assistant app and code analysis framework, which was designed to interactively scan program code for vulnerabilities and flaws using voice commands during development. We describe the proposed methodology, implement a prototype, test it on a vulnerable project and present our results.


title: Photonic Network Coding and Partial Protection for Optical Core Networks: Two for a Tango

abstract: The digital transformation is creating basically a digital version of our physical world and the currency in that digital space is data. Massive amount of data has been generated ranging from wearable devices monitoring our physical health every single millisecond to autonomous vehicles generating roughly 5Tb hourly to even astronomical activities producing an order of Exabytes on daily basis and then ultra-broadband Internet comes into play, moving such data to the cloud. Internet traffic therefore has been experiencing explosive growth and in this context, optical transport networks forming the backbone of the Internet are pushed for transformation in system capacity. While the intuitive solution of deploying multiple fibers can address the pressing demand for increased capacity, doing so does not bring improvement in economic of scales in terms of cost, power consumption and spectral efficiency. This necessitates for a different approach so that the fiber capacity could be utilized in a more efficient manner. In this paper, we focus on innovative techniques, that is, photonic network coding and partial protection, to reduce the effective traffic load in order to achieve greater capacity efficiency for optical transport networks. Specifically, the application of network coding is examined by upgrading the functionalities of intermediate nodes with all-optical processing (i.e., encoding and decoding) capabilities. Besides, partial protection relying on the premise of providing just enough bandwidth in case of failure events is investigated for saving the redundant protection capacity. That it takes two to tango, combining photonic network coding and partial protection therefore bring to light new opportunities and challenges. In mining such new avenue, we present insights on how to derive compounding gains to maximize spectral efficiency via a case study.


title: Resolving the Ultra-Luminous X-ray Sources in the Ly$\alpha$ Emitting Galaxy Haro 11

abstract: Lyman continuum and line emission are thought to be important agents in the reionization of the early universe. Haro 11 is a rare example of a local galaxy in which Ly$\alpha$ and continuum emission have escaped without being absorbed or scattered by ambient gas and dust, potentially as a consequence of feedback from its X-ray sources. We build on our previous Chandra analysis of Haro 11 by analyzing three new observations. Our subpixel spatial analysis reveals that the two previously known X-ray sources are each better modelled as ensembles of at least 2 unresolved point sources. The spatial variability of these components reveals X1 as a dynamical system where one luminous X-ray source ($L_{\rm X} \sim 10^{41}$ erg s$^{-1}$) fades as a secondary source begins to flare. These might be intermediate mass black holes or low luminosity active galactic nuclei near the center of the galaxy in the process of merging. Optical emission line diagnostics drawn from the literature suggest that while the galaxy as a whole is consistent with starburst signatures of ionization, the individual regions wherein the X-ray sources reside are more consistent with AGN/composite classification. The sources in X2 exhibit some degree of flux variability. X2a dominates the flux of this region during most observations ($L_{\rm X} \sim 6\ \times\ 10^{40}$ erg s$^{-1}$), and gives the only evidence in the galaxy of a soft Ultra-Luminous X-ray source capable of high energy winds, which we suggest are responsible for allowing the coincident Ly$\alpha$ emission to escape.


title: Unsupervised Cross-Domain Prerequisite Chain Learning using Variational Graph Autoencoders

abstract: Learning prerequisite chains is an essential task for efficiently acquiring knowledge in both known and unknown domains. For example, one may be an expert in the natural language processing (NLP) domain but want to determine the best order to learn new concepts in an unfamiliar Computer Vision domain (CV). Both domains share some common concepts, such as machine learning basics and deep learning models. In this paper, we propose unsupervised cross-domain concept prerequisite chain learning using an optimized variational graph autoencoder. Our model learns to transfer concept prerequisite relations from an information-rich domain (source domain) to an information-poor domain (target domain), substantially surpassing other baseline models. Also, we expand an existing dataset by introducing two new domains: CV and Bioinformatics (BIO). The annotated data and resources, as well as the code, will be made publicly available.


title: Optimizing Mean Field Spin Glasses with External Field

abstract: We consider the Hamiltonians of mean-field spin glasses, which are certain random functions $H_N$ defined on high-dimensional cubes or spheres in $\mathbb R^N$. The asymptotic maximum values of these functions were famously obtained by Talagrand and later by Panchenko and by Chen. The landscape of approximate maxima of $H_N$ is described by various forms of replica symmetry breaking exhibiting a broad range of possible behaviors. We study the problem of efficiently computing an approximate maximizer of $H_N$. We give a two-phase message pasing algorithm to approximately maximize $H_N$ when a no overlap-gap condition holds. This generalizes several recent works by allowing a non-trivial external field. For even Ising spin glasses with constant external field, our algorithm succeeds exactly when existing methods fail to rule out approximate maximization for a wide class of algorithms. Moreover we give a branching variant of our algorithm which constructs a full ultrametric tree of approximate maxima.


title: Drop Interface and Airflow Unsteadiness in Wind-Forced Drop Depinning

abstract: Liquid drops that are pinned to solid surfaces by contact-angle hysteresis can be dislodged by wind forcing. When this occurs at high Reynolds numbers, substantial drop-interface oscillations precede depinning. It has been hypothesized that coupling between drop interface oscillations and unsteady airflow vortices are important to the depinning process. This possibility is investigated using simultaneous high-speed side-view drop images and airflow fluctuation measurements. The results show no evidence of coupling across a range of drop volumes and wind speeds for water drops in air. When properly scaled by drop volume, drop interface fluctuation frequencies are not affected by wind speed. Airflow vortex shedding occurs as if the drop were a solid surface protuberance. For the air/water system in these experiments, vortex shedding frequencies are substantially higher than drop interface frequencies and the disparate frequencies may make the hypothesized coupling impossible.


title: Cross-Population Amplitude Coupling in High-Dimensional Oscillatory Neural Time Series

abstract: An important outstanding problem in analysis of neural data is to characterize interactions across brain regions from high-dimensional multiple-electrode recordings during a behavioral experiment. A leading theory, based on a considerable body of research, is that oscillations represent coordinated activity across populations of neurons. We sought to quantify time-varying covariation of oscillatory amplitudes across two brain regions, during a memory task, based on neural potentials recorded from 96 electrodes in each region. We extended probabilistic Canonical Correlation Analysis (CCA) to the time series setting, which provides a new interpretation of multiset CCA based on cross-correlation of latent time series. Because the latent time series covariance matrix is high-dimensional, we assumed sparsity of partial correlations within a range of possible interesting time series lead-lag effects to derive procedures for estimation and inference. We found the resulting methodology to perform well in realistic settings, and we applied it to data recorded from prefrontal cortex and visual area V4 to produce results that are highly plausible based on existing literature.


title: Wyner wiretap-like encoding scheme for cyber-physical systems

abstract: In this study, the authors consider the problem of exchanging secrete messages in cyber-physical systems (CPSs) without resorting to cryptographic solutions. In particular, they consider a CPS where the networked controller wants to send a secrete message to the plant. They show that such a problem can be solved by exploiting a Wyner wiretap-like encoding scheme taking advantage of the closed-loop operations typical of feedback control systems. Specifically, by resorting to the control concept of one-step reachable sets, they first show that a wiretap-like encoding scheme exists whenever there is an asymmetry in the plant model knowledge available to control system (the defender) and to the eavesdropper. The effectiveness of the proposed scheme is confirmed by means of a numerical example. Finally, they conclude the study by presenting open design challenges that can be addressed by the research community to improve, in different directions, the secrete message exchange problem in CPSs


title: Detection of OH 18-cm Emission from Comet C/2020 F3 NEOWISE using the Arecibo Telescope

abstract: We report the detection of emission from the OH 18 cm $\Lambda$-doublet transitions toward Comet C/2020 F3 NEOWISE using the Arecibo Telescope. The antenna temperatures are 113$\pm$3 mK for the 1667 MHz line and 57$\pm$3 mK for the 1665 MHz line. The beam averaged OH column density (centered on the comet nucleus) derived from the 1667 transition is $N_{OH}$=1.11$\pm0.06\times10^{13}$ cm$^{-2}$. We implemented the Haser model to derive an OH production rate. The estimated OH production rate using the 1667 MHz transition is Q$_{OH}$=3.6$\pm0.6\times10^{28}$ s$^{-1}$, a factor of 2.4 lower than optically derived values for the same observing day, the difference of which is likely explained by quenching.


title: Bounds for the sum of distances of spherical sets of small size

abstract: We derive upper and lower bounds on the sum of distances of a spherical code of size $N$ in $n$ dimensions when $N\sim n^\alpha, 0<\alpha\le 2.$ The bounds are derived by specializing recent general, universal bounds on energy of spherical sets. We discuss asymptotic behavior of our bounds along with several examples of codes whose sum of distances closely follows the upper bound.


title: Investigating Socio-spatial Differences between Solo Ridehailing and Pooled Rides in Diverse Communities

abstract: Transformative mobility services present both considerable opportunities and challenges for urban mobility systems. Increasing attention is being paid to ridehailing platforms and connections between demand and continuous innovation in service features; one of these features is dynamic ride-pooling. To disentangle how ridehailing impacts existing transportation networks and its ability to support economic vitality and community livability it is essential to consider the distribution of demand across diverse communities. In this paper we expand the literature on ridehailing demand by exploring community variation and spatial dependence in ridehailing use. Specifically, we investigate the diffusion and role of solo requests versus ride-pooling to shed light on how different mobility services, with different environmental and accessibility implications, are used by diverse communities. This paper employs a Social Disadvantage Index, Transit Access Analysis, and a Spatial Durbin Model to investigate the influence of both local and spatial spillover effects on the demand for shared and solo ridehailing. The analysis of 127 million ridehailing rides, of which 15% are pooled, confirms the presence of spatial effects. Results indicate that density and vibrancy variables have analogue effects, both direct and indirect, on demand for solo vs pooled rides. Instead, our analysis reveals significant contrasting effects for socio-economic disadvantage, which is positively correlated with ride-pooling and negatively with solo rides. Additionally, we find that higher rail transit access is associated with higher demand for both solo and pooled ridehailing along with substantial spatial spillovers. We discuss implications for policy, operations and research related to the novel insight on how pooled ridesourcing relate to geography, living conditions, and transit interactions.


title: Tamagawa products of elliptic curves over $\mathbb{Q}$

abstract: We explicitly construct the Dirichlet series $$L_{\mathrm{Tam}}(s):=\sum_{m=1}^{\infty}\frac{P_{\mathrm{Tam}}(m)}{m^s},$$ where $P_{\mathrm{Tam}}(m)$ is the proportion of elliptic curves $E/\mathbb{Q}$ in short Weierstrass form with Tamagawa product $m.$ Although there are no $E/\mathbb{Q}$ with everywhere good reduction, we prove that the proportion with trivial Tamagawa product is $P_{\mathrm{Tam}}(1)=0.5053\dots.$ As a corollary, we find that $L_{\mathrm{Tam}}(-1)=1.8193\dots$ is the average Tamagawa product for elliptic curves over $\mathbb{Q}.$ We give an application of these results to canonical and Weil heights.


title: Global Index on Financial Losses due to Crime in the United States

abstract: Crime can have a volatile impact on investments. Despite the potential importance of crime rates in investments, there are no indices dedicated to evaluating the financial impact of crime in the United States. As such, this paper presents an index-based insurance portfolio for crime in the United States by utilizing the financial losses reported by the Federal Bureau of Investigation for property crimes and cybercrimes. Our research intends to help investors envision risk exposure in our portfolio, gauge investment risk based on their desired risk level, and hedge strategies for potential losses due to economic crashes. Underlying the index, we hedge the investments by issuing marketable European call and put options and providing risk budgets (diversifying risk to each type of crime). We find that real estate, ransomware, and government impersonation are the main risk contributors. We then evaluate the performance of our index to determine its resilience to economic crisis. The unemployment rate potentially demonstrates a high systemic risk on the portfolio compared to the economic factors used in this study. In conclusion, we provide a basis for the securitization of insurance risk from certain crimes that could forewarn investors to transfer their risk to capital market investors.


title: Representations of Quantum Minimal Surface Algebrasvia Kac-Moody-theory

abstract: We consider epimorphisms from quantum minimal surface algebras onto involutroy subalgebras of split real simply-laced Kac-Moody algebras and provide examples of affine and finite type. We also provide epimorphisms onto such Kac-Moody algebras themselves, where reality of the construction is important. The results extend to the complex situation.


title: Celestial Diamonds: Conformal Multiplets in Celestial CFT

abstract: We examine the structure of global conformal multiplets in 2D celestial CFT. For a 4D bulk theory containing massless particles of spin $s=\{0,\frac{1}{2},1,\frac{3}{2},2\}$ we classify and construct all SL(2,$\mathbb{C}$) primary descendants which are organized into 'celestial diamonds'. This explicit construction is achieved using a wavefunction-based approach that allows us to map 4D scattering amplitudes to celestial CFT correlators of operators with SL(2,$\mathbb{C}$) conformal dimension $\Delta$ and spin $J$. Radiative conformal primary wavefunctions have $J=\pm s$ and give rise to conformally soft theorems for special values of $\Delta \in \frac{1}{2}\mathbb{Z}$. They are located either at the top of celestial diamonds, where they descend to trivial null primaries, or at the left and right corners, where they descend both to and from generalized conformal primary wavefunctions which have $|J|\leq s$. Celestial diamonds naturally incorporate degeneracies of opposite helicity particles via the 2D shadow transform relating radiative primaries and account for the global and asymptotic symmetries in gauge theory and gravity.


title: Applicability of overlay non-delay tolerant position-based protocols in highways and urban environments for vanet

abstract: Vehicular Ad hoc Network (VANET) is a new sort of wireless ad-hoc network. Vehicle-to-Vehicle (V2V) communication is one of the main communication paradigms that provide a level of safety and convenience to drivers and passengers on the road. In such an environment, routing data packets is challenging due to frequent changes of network topology because of the highly dynamic nature of vehicles. Thus, routing in VANETs requires efficient protocols that guarantee message transmission among vehicles. Numerous routing protocols and algorithms have been proposed or enhanced to solve the aforementioned problems. Many position-based routing protocols have been developed for routing messages that have been identified to be appropriate for VANETs. This work explores the performances of selected unicast non-delay tolerant overlay position-based routing protocols. The evaluation has been conducted in highway and urban environments in two different scenarios. The evaluation metrics that are used are Packet Delivery Ratio (PDR), Void Problem Occurrence (VPO), and Average Hop Count (AHC).


title: dc electrical conductivity in strongly magnetized plasmas

abstract: A generalized Ohm's law is derived to treat strongly magnetized plasmas in which the electron gyrofrequency significantly exceeds the electron plasma frequency. The frictional drag due to Coulomb collisions between electrons and ions is found to shift, producing an additional transverse resistivity term in the generalized Ohm's law that is perpendicular to both the current ($\vc{J}$) and the Hall ($\vc{J} \times \vc{B}$) direction. In the limit of very strong magnetization, the parallel resistivity is found to increase by a factor of 3/2, and the perpendicular resistivity to scale as $\ln (\omega_{ce} \tau_e)$, where $\omega_{ce} \tau_e$ is the Hall parameter. Correspondingly, the parallel conductivity coefficient is reduced by a factor of 2/3, and the perpendicular conductivity scales as $\ln(\omega_{ce} \tau_e)/(\omega_{ce} \tau_e)^2$. These results suggest that strong magnetization significantly changes the magnetohydrodynamic evolution of a plasma.


title: Understanding by Understanding Not: Modeling Negation in Language Models

abstract: Negation is a core construction in natural language. Despite being very successful on many tasks, state-of-the-art pre-trained language models often handle negation incorrectly. To improve language models in this regard, we propose to augment the language modeling objective with an unlikelihood objective that is based on negated generic sentences from a raw text corpus. By training BERT with the resulting combined objective we reduce the mean top~1 error rate to 4% on the negated LAMA dataset. We also see some improvements on the negated NLI benchmarks.


title: Averages and maximal averages over Product j-varieties in finite fields

abstract: We study both averaging and maximal averaging problems for Product $j$-varieties defined by $\Pi_j=\{x\in \mathbb F_q^d: \prod_{k=1}^d x_k=j\}$ for $j\in \mathbb F_q^*,$ where $\mathbb F_q^d$ denotes a $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. We prove the sharp $L^p\to L^r$ boundedness of averaging operators associated to Product $j$-varieties. We also obtain the optimal $L^p$ estimate for a maximal averaging operator related to a family of Product $j$-varieties $\{\Pi_j\}_{j\in \mathbb F_q^*}.$


title: Stochastic Properties of EIP-1559 Basefees

abstract: EIP-1559 is a new proposed pricing mechanism for the Ethereum protocol developed to bring stability to fluctuating gas prices. To properly understand this as a stochastic process, it is necessary to develop the mathematical foundations to understand under what conditions the base fee gas price outcomes behave as a stationary process, and when it does not. Understanding these mathematical fundamentals is critical to properly engineering a stable system.


title: On Abstract Machine Semantics for Proto-Quipper-M

abstract: Quipper is a domain-specific programming language for the description of quantum circuits. Because it is implemented as an embedded language in Haskell, Quipper is a very practical functional language. However, for the same reason, it lacks a formal semantics and it is limited by Haskell's type system. In particular, because Haskell lacks linear types, it is easy to write Quipper programs that violate the non-cloning property of quantum states. In order to formalize relevant fragments of Quipper in a type-safe way, the Proto-Quipper family of research languages has been introduced over the last years. In this paper we first review Proto-Quipper-M, an instance of the Proto-Quipper family based on a categorical model for quantum circuits, which features a linear type system that guarantees that the non-cloning property holds at compile time. We then derive a tentative small-step operational semantics from the big-step semantics of Proto-Quipper-M and we prove that the two are equivalent. After proving subject reduction and progress results for the tentative semantics, we build upon it to obtain a truly small-step semantics in the style of an abstract machine, which we eventually prove to be equivalent to the original semantics.


title: Test Suites as a Source of Training Data for Static Analysis Alert Classifiers

abstract: Flaw-finding static analysis tools typically generate large volumes of code flaw alerts including many false positives. To save on human effort to triage these alerts, a significant body of work attempts to use machine learning to classify and prioritize alerts. Identifying a useful set of training data, however, remains a fundamental challenge in developing such classifiers in many contexts. We propose using static analysis test suites (i.e., repositories of "benchmark" programs that are purpose-built to test coverage and precision of static analysis tools) as a novel source of training data. In a case study, we generated a large quantity of alerts by executing various static analyzers on the Juliet C/C++ test suite, and we automatically derived ground truth labels for these alerts by referencing the Juliet test suite metadata. Finally, we used this data to train classifiers to predict whether an alert is a false positive. Our classifiers obtained high precision (90.2%) and recall (88.2%) for a large number of code flaw types on a hold-out test set. This preliminary result suggests that pre-training classifiers on test suite data could help to jumpstart static analysis alert classification in data-limited contexts.


title: Simple proof of the integrality of the Somos-5 sequence

abstract: In this paper, a simple proof that shows that the Somos-5 sequence produces only natural numbers is given. We also give simple proof that each $a_n$ in the Somos-5 sequence is relatively prime to its four predecessors. The manner in which the integrality is proven is taken from the 1992 proof for the integrality of the Somos-4 sequence by Janice. L. Malouf. The manner in which it is proven that each $a_n$ is relatively prime to its four predecessors is taken from a paper from Michael J. Crabb, who proved that each $a_n$ in the Somos-5 sequence is relatively prime to its two predecessors.


title: Mean values of long Dirichlet polynomials with higher divisor coefficients

abstract: In this article, we prove an asymptotic formula for mean values of long Dirichlet polynomials with higher order shifted divisor functions, assuming a smoothed additive divisor conjecture for higher order shifted divisor functions. As a consequence of this work, we prove special cases of conjectures of Conrey-Keating on mean values of long Dirichlet polynomials with higher order shifted divisor functions as coefficients.


title: Crossing time in the Landau-Zener quantum dynamics in a super Ohmic environment

abstract: We study the dynamics of a quantum two state system driven through an avoided crossing under the influence of a super Ohmic environment, i.e. a longitudinal as well as a transversal one. The crossing time window, in which relaxation influences the dynamics, is centered around the avoided crossing. We determine the dynamics and the Landau-Zener probability employing the numerical exact quasi-adiabatic path integral. At weak coupling we show that the numerically less demanding nonequilibrium Bloch equations provide an accurate description. The crossing time depends strongly not only on the system-bath coupling strength but also on the bath spectral cut-off frequency in contrast to the situation in an Ohmic bath. Our results enable to design quantitative protocols which drive quantum systems out of the influence range of relaxation.


title: Scalable Projection-Free Optimization

abstract: As a projection-free algorithm, Frank-Wolfe (FW) method, also known as conditional gradient, has recently received considerable attention in the machine learning community. In this dissertation, we study several topics on the FW variants for scalable projection-free optimization. We first propose 1-SFW, the first projection-free method that requires only one sample per iteration to update the optimization variable and yet achieves the best known complexity bounds for convex, non-convex, and monotone DR-submodular settings. Then we move forward to the distributed setting, and develop Quantized Frank-Wolfe (QFW), a general communication-efficient distributed FW framework for both convex and non-convex objective functions. We study the performance of QFW in two widely recognized settings: 1) stochastic optimization and 2) finite-sum optimization. Finally, we propose Black-Box Continuous Greedy, a derivative-free and projection-free algorithm, that maximizes a monotone continuous DR-submodular function over a bounded convex body in Euclidean space.


title: Benchmark Study of Quantum Algorithms for Combinatorial Optimization: Unitary versus Dissipative

abstract: We study the performance scaling of three quantum algorithms for combinatorial optimization: measurement-feedback coherent Ising machines (MFB-CIM), discrete adiabatic quantum computation (DAQC), and the D\"urr-Hoyer algorithm for quantum minimum finding (DH-QMF) that is based on Grover's search. We use MaxCut problems as our reference for comparison, and time-to-solution (TTS) as a practical measure of performance for these optimization algorithms. We empirically observe a $\Theta(2^{\sqrt{n}})$ scaling for the median TTS for MFB-CIM, in comparison to the exponential scaling with the exponent $n$ for DAQC and the provable $\widetilde{\mathcal O}\left(\sqrt{2^n}\right)$ scaling for DH-QMF. We conclude that these scaling complexities result in a dramatic performance advantage for MFB-CIM in comparison to the other two algorithms for solving MaxCut problems.


title: Precise Unbiased Estimation in Randomized Experiments using Auxiliary Observational Data

abstract: Randomized controlled trials (RCTs) are increasingly prevalent in education research, and are often regarded as a gold standard of causal inference. Two main virtues of randomized experiments are that they (1) do not suffer from confounding, thereby allowing for an unbiased estimate of an intervention's causal impact, and (2) allow for design-based inference, meaning that the physical act of randomization largely justifies the statistical assumptions made. However, RCT sample sizes are often small, leading to low precision; in many cases RCT estimates may be too imprecise to guide policy or inform science. Observational studies, by contrast, have strengths and weaknesses complementary to those of RCTs. Observational studies typically offer much larger sample sizes, but may suffer confounding. In many contexts, experimental and observational data exist side by side, allowing the possibility of integrating "big observational data" with "small but high-quality experimental data" to get the best of both. Such approaches hold particular promise in the field of education, where RCT sample sizes are often small due to cost constraints, but automatic collection of observational data, such as in computerized educational technology applications, or in state longitudinal data systems (SLDS) with administrative data on hundreds of thousand of students, has made rich, high-dimensional observational data widely available. We outline an approach that allows one to employ machine learning algorithms to learn from the observational data, and use the resulting models to improve precision in randomized experiments. Importantly, there is no requirement that the machine learning models are "correct" in any sense, and the final experimental results are guaranteed to be exactly unbiased. Thus, there is no danger of confounding biases in the observational data leaking into the experiment.


title: Thermal one-point functions and single-valued polylogarithms

abstract: I point out that the thermal one-point functions of a pair of relevant operators in massive free QFTs, in odd dimensions and in the presence of an imaginary chemical potential for a U(1) global charge, are given by certain classes of single-valued polylogarithms. This result is verified by a direct calculation using the thermal OPE. The complex argument of the polylogarithms parametrize a two-dimensional subspace of relevant deformations of generalised free CFTs, while the rank of the polylogarithms is related to the dimension d. This may be compared with the well-known representation of single-valued polylogarithms as multiloop Feynman amplitudes. As an example, the thermal one-point function of the U(1) charge in d-dimensions generalises the thermal average of the twist operator in a pair of harmonic oscillators and is given by the well-known conformal ladder graphs in four dimensions.


title: On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report

abstract: This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS). Goals are often specified using explicit time constraints. A good trace is an infinite trace in which the goals are satisfied perpetually despite possible interference from the environment. In our previous work (FORMATS 2016), we discussed two desirable properties of TSDSes, realizability (there exists a good trace) and survivability (where, in addition, all admissible traces are good). Here we consider two additional properties, recoverability (all compliant traces do not reach points-of-no-return) and reliability (the system can always continue functioning using a good trace). Following (FORMATS 2016), we focus on a class of systems called Progressing Timed Systems (PTS), where intuitively only a finite number of actions can be carried out in a bounded time period. We prove that for this class of systems the properties of recoverability and reliability coincide and are PSPACE-complete. Moreover, if we impose a bound on time (as in bounded model-checking), we show that for PTS the reliability property is in the $\Pi_2^p$ class of the polynomial hierarchy, a subclass of PSPACE. We also show that the bounded survivability is both NP-hard and coNP-hard.


title: Convex envelopes for ray-concave functions

abstract: Convexification based on convex envelopes is ubiquitous in the non-linear optimization literature. Thanks to considerable efforts of the optimization community for decades, we are able to compute the convex envelopes of a considerable number of functions that appear in practice, and thus obtain tight and tractable approximations to challenging problems. We contribute to this line of work by considering a family of functions that, to the best of our knowledge, has not been considered before in the literature. We call this family ray-concave functions. We show sufficient conditions that allow us to easily compute closed-form expressions for the convex envelope of ray-concave functions over arbitrary polytopes. With these tools, we are able to provide new perspectives to previously known convex envelopes and derive a previously unknown convex envelope for a function that arises in probability contexts.


title: Video Class Agnostic Segmentation with Contrastive Learning for Autonomous Driving

abstract: Semantic segmentation in autonomous driving predominantly focuses on learning from large-scale data with a closed set of known classes without considering unknown objects. Motivated by safety reasons, we address the video class agnostic segmentation task, which considers unknown objects outside the closed set of known classes in our training data. We propose a novel auxiliary contrastive loss to learn the segmentation of known classes and unknown objects. Unlike previous work in contrastive learning that samples the anchor, positive and negative examples on an image level, our contrastive learning method leverages pixel-wise semantic and temporal guidance. We conduct experiments on Cityscapes-VPS by withholding four classes from training and show an improvement gain for both known and unknown objects segmentation with the auxiliary contrastive loss. We further release a large-scale synthetic dataset for different autonomous driving scenarios that includes distinct and rare unknown objects. We conduct experiments on the full synthetic dataset and a reduced small-scale version, and show how contrastive learning is more effective in small scale datasets. Our proposed models, dataset, and code will be released at https://github.com/MSiam/video_class_agnostic_segmentation.


title: SimJEB: Simulated Jet Engine Bracket Dataset

abstract: This paper introduces the Simulated Jet Engine Bracket Dataset (SimJEB): a new, public collection of crowdsourced mechanical brackets and accompanying structural simulations. SimJEB is applicable to a wide range of geometry processing tasks; the complexity of the shapes in SimJEB offer a challenge to automated geometry cleaning and meshing, while categorical labels and structural simulations facilitate classification and regression (i.e. engineering surrogate modeling). In contrast to existing shape collections, SimJEB's models are all designed for the same engineering function and thus have consistent structural loads and support conditions. On the other hand, SimJEB models are more complex, diverse, and realistic than the synthetically generated datasets commonly used in parametric surrogate model evaluation. The designs in SimJEB were derived from submissions to the GrabCAD Jet Engine Bracket Challenge: an open engineering design competition with over 700 hand-designed CAD entries from 320 designers representing 56 countries. Each model has been cleaned, categorized, meshed, and simulated with finite element analysis according to the original competition specifications. The result is a collection of 381 diverse, high-quality and application-focused designs for advancing geometric deep learning, engineering surrogate modeling, automated cleaning and related geometry processing tasks.


title: Detection of Clouds in Multiple Wind Velocity Fields using Ground-based Infrared Sky Images

abstract: Horizontal atmospheric wind shear causes wind velocity fields to have different directions and speeds. In images of clouds acquired using ground-based sky imagers, clouds may be moving in different wind layers. To increase the performance of an intra-hour global solar irradiance forecasting algorithm, it is important to detect multiple layers of clouds. The information provided by a solar forecasting algorithm is necessary to optimize and schedule the solar generation resources and storage devices in a smart grid. This investigation studies the performance of unsupervised learning techniques when detecting the number of cloud layers in infrared sky images. The images are acquired using an innovative infrared sky imager mounted on a solar tracker. Different mixture models are used to infer the distribution of the cloud features. The optimal decision criterion to find the number of clusters in the mixture models is analyzed and compared between different Bayesian metrics and a sequential hidden Markov model. The motion vectors are computed using a weighted implementation of the Lucas-Kanade algorithm. The correlations between the cloud velocity vectors and temperatures are analyzed to find the method that leads to the most accurate results. We have found that the sequential hidden Markov model outperformed the detection accuracy of the Bayesian metrics.


title: Pareto-Optimal Quantized ResNet Is Mostly 4-bit

abstract: Quantization has become a popular technique to compress neural networks and reduce compute cost, but most prior work focuses on studying quantization without changing the network size. Many real-world applications of neural networks have compute cost and memory budgets, which can be traded off with model quality by changing the number of parameters. In this work, we use ResNet as a case study to systematically investigate the effects of quantization on inference compute cost-quality tradeoff curves. Our results suggest that for each bfloat16 ResNet model, there are quantized models with lower cost and higher accuracy; in other words, the bfloat16 compute cost-quality tradeoff curve is Pareto-dominated by the 4-bit and 8-bit curves, with models primarily quantized to 4-bit yielding the best Pareto curve. Furthermore, we achieve state-of-the-art results on ImageNet for 4-bit ResNet-50 with quantization-aware training, obtaining a top-1 eval accuracy of 77.09%. We demonstrate the regularizing effect of quantization by measuring the generalization gap. The quantization method we used is optimized for practicality: It requires little tuning and is designed with hardware capabilities in mind. Our work motivates further research into optimal numeric formats for quantization, as well as the development of machine learning accelerators supporting these formats. As part of this work, we contribute a quantization library written in JAX, which is open-sourced at https://github.com/google-research/google-research/tree/master/aqt.


title: Production of CO3+ through the Strong-Field Ionization and Coulomb Explosion of Formic Acid Dimer

abstract: Femtosecond laser pulses are utilized to drive multiple ionization in gas-phase formic acid dimers and ions are studied using time-of-flight mass spectrometry. The interaction of formic acid dimer with 200 fs linearly polarized laser pulses of 400 nm with intensi-ties up to 3.7x1015 W/cm2 produces a carbon monoxide trication. Experimental measurements of the kinetic energy release of the ions are consistent with our molecular dynamics simulations of the Coulomb explosion of a formic acid dimer and suggest that no movement occurs during ionization. KER values were recorded as high as 44 eV for CO3+. Potential energy curves for COn+, for n < 4, have been calculated using CCSD(T) and confirm the existence of metastable states with a large potential barrier with respect to dissociation. This combined experimental and theoretical effort shows the existence of sufficiently long-lived CO3+.


title: Equivalent formulations of the oxygen depletion problem, other implicit free boundary value problems, and implications for numerical approximation

abstract: The Oxygen Depletion problem is an implicit free boundary value problem. The dynamics allow topological changes in the free boundary. We show several mathematical formulations of this model from the literature and give a new formulation based on a gradient flow with constraint. All formulations are shown to be equivalent. We explore the possibilities for the numerical approximation of the problem that arise from the different formulations. We show a convergence result for an approximation based on the gradient flow with constraint formulation that applies to the general dynamics including topological changes. More general (vector, higher order) implicit free boundary value problems are discussed. Several open problems are described.


title: Views, variety and quantum mechanics

abstract: A non-local hidden variables theory for non-relativisitic quantum theory is presented, which gives a realist completion of quantum mechanics, in the sense of a complete description of individual events. The proposed fundamental theory is an extension of an energetic causal set theory, which assumes that time, events, causal structure, momentum and energy are fundamental. But space and the wave function are emergent. The beables of the theory are the views of the events, which are a subset of their causal pasts. Thus, this theory asserts that the universe is a causal network of events, which consists of partial views of itself as seen by looking backwards from each event. The fundamental dynamics is based on an action whose potential energy is proportional to the variety, which is a measure of the diversity of the views of the events, while the kinetic energy is proportional to its rate of change. The Schroedinger equation is derived to leading order in an expansion in density of the events of the fundamental histories. To higher order, there are computable corrections, non-linear in the wave function, from which new physical effects may be predicted.


title: An Intelligent Model for Solving Manpower Scheduling Problems

abstract: The manpower scheduling problem is a critical research field in the resource management area. Based on the existing studies on scheduling problem solutions, this paper transforms the manpower scheduling problem into a combinational optimization problem under multi-constraint conditions from a new perspective. It also uses logical paradigms to build a mathematical model for problem solution and an improved multi-dimensional evolution algorithm for solving the model. Moreover, the constraints discussed in this paper basically cover all the requirements of human resource coordination in modern society and are supported by our experiment results. In the discussion part, we compare our model with other heuristic algorithms or linear programming methods and prove that the model proposed in this paper makes a 25.7% increase in efficiency and a 17% increase in accuracy at most. In addition, to the numerical solution of the manpower scheduling problem, this paper also studies the algorithm for scheduling task list generation and the method of displaying scheduling results. As a result, we not only provide various modifications for the basic algorithm to solve different condition problems but also propose a new algorithm that increases at least 28.91% in time efficiency by comparing with different baseline models.


title: Apply Artificial Neural Network to Solving Manpower Scheduling Problem

abstract: The manpower scheduling problem is a kind of critical combinational optimization problem. Researching solutions to scheduling problems can improve the efficiency of companies, hospitals, and other work units. This paper proposes a new model combined with deep learning to solve the multi-shift manpower scheduling problem based on the existing research. This model first solves the objective function's optimized value according to the current constraints to find the plan of employee arrangement initially. It will then use the scheduling table generation algorithm to obtain the scheduling result in a short time. Moreover, the most prominent feature we propose is that we will use the neural network training method based on the time series to solve long-term and long-period scheduling tasks and obtain manpower arrangement. The selection criteria of the neural network and the training process are also described in this paper. We demonstrate that our model can make a precise forecast based on the improvement of neural networks. This paper also discusses the challenges in the neural network training process and obtains enlightening results after getting the arrangement plan. Our research shows that neural networks and deep learning strategies have the potential to solve similar problems effectively.


title: Zero-Shot Personalized Speech Enhancement through Speaker-Informed Model Selection

abstract: This paper presents a novel zero-shot learning approach towards personalized speech enhancement through the use of a sparsely active ensemble model. Optimizing speech denoising systems towards a particular test-time speaker can improve performance and reduce run-time complexity. However, test-time model adaptation may be challenging if collecting data from the test-time speaker is not possible. To this end, we propose using an ensemble model wherein each specialist module denoises noisy utterances from a distinct partition of training set speakers. The gating module inexpensively estimates test-time speaker characteristics in the form of an embedding vector and selects the most appropriate specialist module for denoising the test signal. Grouping the training set speakers into non-overlapping semantically similar groups is non-trivial and ill-defined. To do this, we first train a Siamese network using noisy speech pairs to maximize or minimize the similarity of its output vectors depending on whether the utterances derive from the same speaker or not. Next, we perform k-means clustering on the latent space formed by the averaged embedding vectors per training set speaker. In this way, we designate speaker groups and train specialist modules optimized around partitions of the complete training set. Our experiments show that ensemble models made up of low-capacity specialists can outperform high-capacity generalist models with greater efficiency and improved adaptation towards unseen test-time speakers.


title: A Statistical Review of Light Curves and the Prevalence of Contact Binaries in the Kuiper Belt

abstract: We investigate what can be learned about a population of distant KBOs by studying the statistical properties of their light curves. Whereas others have successfully inferred the properties of individual, highly variable KBOs, we show that the fraction of KBOs with low amplitudes also provides fundamental information about a population. Each light curve is primarily the result of two factors: shape and orientation. We consider contact binaries and ellipsoidal shapes, with and without flattening. After developing the mathematical framework, we apply it to the existing body of KBO light curve data. Principal conclusions are as follows. (1) When using absolute magnitude H as a proxy for size, it is more accurate to use the maximum of the light curve rather than the mean. (2) Previous investigators have noted that smaller KBOs have higher-amplitude light curves, and have interpreted this as evidence that they are systematically more irregular in shape than larger KBOs; we show that a population of flattened bodies with uniform proportions could also explain this result. (3) Our analysis indicates that prior assessments of the fraction of contact binaries in the Kuiper Belt may be artificially low. (4) The pole orientations of some KBOs can be inferred from observed changes in their light curves; however, these KBOs constitute a biased sample, whose pole orientations are not representative of the population overall. (5) Although surface topography, albedo patterns, limb darkening, and other surface properties can affect individual light curves, they do not have a strong influence on the statistics overall. (6) Photometry from the OSSOS survey is incompatible with previous results and its statistical properties defy easy interpretation. We also discuss the promise of this approach for the analysis of future, much larger data sets such as the one anticipated from the Rubin Observatory.


title: Test-Time Adaptation Toward Personalized Speech Enhancement: Zero-Shot Learning with Knowledge Distillation

abstract: In realistic speech enhancement settings for end-user devices, we often encounter only a few speakers and noise types that tend to reoccur in the specific acoustic environment. We propose a novel personalized speech enhancement method to adapt a compact denoising model to the test-time specificity. Our goal in this test-time adaptation is to utilize no clean speech target of the test speaker, thus fulfilling the requirement for zero-shot learning. To complement the lack of clean utterance, we employ the knowledge distillation framework. Instead of the missing clean utterance target, we distill the more advanced denoising results from an overly large teacher model, and use it as the pseudo target to train the small student model. This zero-shot learning procedure circumvents the process of collecting users' clean speech, a process that users are reluctant to comply due to privacy concerns and technical difficulty of recording clean voice. Experiments on various test-time conditions show that the proposed personalization method achieves significant performance gains compared to larger baseline networks trained from a large speaker- and noise-agnostic datasets. In addition, since the compact personalized models can outperform larger general-purpose models, we claim that the proposed method performs model compression with no loss of denoising performance.


title: The Pony Express Communication Problem

abstract: We introduce a new problem which we call the Pony Express problem. n robots with differing speeds are situated over some domain. A message is placed at some commonly known point. Robots can acquire the message either by visiting its initial position, or by encountering another robot that has already acquired it. The robots must collaborate to deliver the message to a given destination. The objective is to deliver the message in minimum time. In this paper we study the Pony Express problem on the line where n robots are arbitrarily deployed along a finite segment. The robots have different speeds and can move in both directions. We are interested in both offline centralized and online distributed algorithms. In the online case, we assume the robots have limited knowledge of the initial configuration. In particular, the robots do not know the initial positions and speeds of the other robots nor even their own position and speed. They do, however, know the direction on the line in which to find the message and have the ability to compare speeds when they meet. First, we study the Pony Express problem where the message is initially placed at one endpoint of a segment and must be delivered to the other endpoint. We provide an O(n log n) running time offline algorithm as well as an optimal online algorithm. Then we study the Half-Broadcast problem where the message is at the center and must be delivered to either one of the endpoints of the segment [-1,1]. We provide an offline algorithm running in O(n^2 log n) time and we provide an online algorithm that attains a competitive ratio of 3/2 which we show is the best possible. Finally, we study the Broadcast problem where the message is at the center and must be delivered to both endpoints of the segment [-1,1]. Here we give an FPTAS in the offline case and an online algorithm that attains a competitive ratio of 9/5, which we show is tight.


title: Scalable, Decentralized Multi-Agent Reinforcement Learning Methods Inspired by Stigmergy and Ant Colonies

abstract: Bolstering multi-agent learning algorithms to tackle complex coordination and control tasks has been a long-standing challenge of on-going research. Numerous methods have been proposed to help reduce the effects of non-stationarity and unscalability. In this work, we investigate a novel approach to decentralized multi-agent learning and planning that attempts to address these two challenges. In particular, this method is inspired by the cohesion, coordination, and behavior of ant colonies. As a result, these algorithms are designed to be naturally scalable to systems with numerous agents. While no optimality is guaranteed, the method is intended to work well in practice and scale better in efficacy with the number of agents present than others. The approach combines single-agent RL and an ant-colony-inspired decentralized, stigmergic algorithm for multi-agent path planning and environment modification. Specifically, we apply this algorithm in a setting where agents must navigate to a goal location, learning to push rectangular boxes into holes to yield new traversable pathways. It is shown that while the approach yields promising success in this particular environment, it may not be as easily generalized to others. The algorithm designed is notably scalable to numerous agents but is limited in its performance due to its relatively simplistic, rule-based approach. Furthermore, the composability of RL-trained policies is called into question, where, while policies are successful in their training environments, applying trained policies to a larger-scale, multi-agent framework results in unpredictable behavior.


title: Hidden Frustration in Double-Perovskite CaFeTi$_2$O$_6$

abstract: We study the magnetic properties of CaFeTi$_2$O$_6$ (CFTO) by high-field magnetization and specific heat measurements. While the magnetic susceptibility data yield a vanishingly small Curie-Weiss temperature, the magnetic moments are not fully polarized in magnetic field up to 60 T, which reveals a large spin exchange energy scale. Yet, the system shows no long range magnetic order but a spin-glass-like state below 5.5 K in zero field, indicating strong magnetic frustration in this system. Applying magnetic field gradually suppresses the spin-glass-like state and gives rise to a potential quantum spin liquid state whose low-temperature specific heat exhibits a $T^{1.6}$ power-law. Crucially, conventional mechanisms for frustration do not apply to this system as it possesses neither apparent geometrical frustration nor exchange frustration. We suggest that the orbital modulation of exchange interaction is likely the source of hidden frustration in CFTO, and its full characterization may open a new route in the quest for quantum spin liquids.


title: Dynamics of ramping bursts in a respiratory neuron model

abstract: Intensive computational and theoretical work has led to the development of mutliple mathematical models for bursting in respiratory neurons in the pre-B\"otzinger Complex (pre-B\"otC) of the mammalian brainstem. Nonetheless, these previous models have not captured the pre-inspiratory ramping aspects of these neurons' activity patterns, in which relatively slow tonic spiking gradually progresses to faster spiking and a full blown burst, with a corresponding gradual development of an underlying plateau potential. In this work, we show that the incorporation of the dynamics of the extracellular potassium ion concentration into an existing model for pre-B\"otC neuron bursting, along with some parameter updates, suffices to induce this ramping behavior. Using fast-slow decomposition, we show that this activity can be considered as a form of parabolic bursting, but with burst termination at a homoclinic bifurcation rather than as a SNIC bifurcation. We also investigate the parameter-dependence of these solutions and show that the proposed model yields a greater dynamic range of burst frequencies, durations, and duty cycles than those produced by other models in the literature.


title: Almost non-degenerate functions and a Zariski pair of links

abstract: Let $f(\mathbf z)$ be an analytic function defined in the neighborhood of the origin of $\mathbb C^n$ which have some Newton degenerate faces. We generalize the Varchenko formula for the zeta function of the Milnor fibration of a Newton non-degenerate function $f$ to this case. As an application, we give an example of a pair of hypersurfaces with the same Newton boundary and the same zeta function with different tangent cones.