title: The BCS Energy Gap at High Density

abstract: We study the BCS energy gap $\Xi$ in the high-density limit and derive an asymptotic formula, which strongly depends on the strength of the interaction potential $V$ on the Fermi surface. In combination with the recent result by one of us (Math. Phys. Anal. Geom. 25, 3 (2022)) on the critical temperature $T_c$ at high densities, we prove the universality of the ratio of the energy gap and the critical temperature.


title: Off-Policy Evaluation via Adaptive Weighting with Data from Contextual Bandits

abstract: It has become increasingly common for data to be collected adaptively, for example using contextual bandits. Historical data of this type can be used to evaluate other treatment assignment policies to guide future innovation or experiments. However, policy evaluation is challenging if the target policy differs from the one used to collect data, and popular estimators, including doubly robust (DR) estimators, can be plagued by bias, excessive variance, or both. In particular, when the pattern of treatment assignment in the collected data looks little like the pattern generated by the policy to be evaluated, the importance weights used in DR estimators explode, leading to excessive variance. In this paper, we improve the DR estimator by adaptively weighting observations to control its variance. We show that a t-statistic based on our improved estimator is asymptotically normal under certain conditions, allowing us to form confidence intervals and test hypotheses. Using synthetic data and public benchmarks, we provide empirical evidence for our estimator's improved accuracy and inferential properties relative to existing alternatives.


title: Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X

abstract: The design of aircraft collision avoidance algorithms is a subtle but important challenge that merits the need for provable safety guarantees. Obtaining such guarantees is nontrivial given the unpredictability of the interplay of the intruder aircraft decisions, the ownship pilot reactions, and the subtlety of the continuous motion dynamics of aircraft. Existing collision avoidance systems, such as TCAS and the Next-Generation Airborne Collision Avoidance System ACAS X, have been analyzed assuming severe restrictions on the intruder's flight maneuvers, limiting their safety guarantees in real-world scenarios where the intruder may change its course. This work takes a conceptually significant and practically relevant departure from existing ACAS X models by generalizing them to hybrid games with first-class representations of the ownship and intruder decisions coming from two independent players, enabling significantly advanced predictive power. By proving the existence of winning strategies for the resulting Adversarial ACAS X in differential game logic, collision-freedom is established for the rich encounters of ownship and intruder aircraft with independent decisions along differential equations for flight paths with evolving vertical/horizontal velocities. We present three classes of models of increasing complexity: single-advisory infinite-time models, bounded time models, and infinite time, multi-advisory models. Within each class of models, we identify symbolic conditions and prove that there then always is a possible ownship maneuver that will prevent a collision between the two aircraft.


title: Change-Point Analysis of Time Series with Evolutionary Spectra

abstract: This paper develops change-point methods for the spectrum of a locally stationary time series. We focus on series with a bounded spectral density that change smoothly under the null hypothesis but exhibits change-points or becomes less smooth under the alternative. We address two local problems. The first is the detection of discontinuities (or breaks) in the spectrum at unknown dates and frequencies. The second involves abrupt yet continuous changes in the spectrum over a short time period at an unknown frequency without signifying a break. Both problems can be cast into changes in the degree of smoothness of the spectral density over time. We consider estimation and minimax-optimal testing. We determine the optimal rate for the minimax distinguishable boundary, i.e., the minimum break magnitude such that we are able to uniformly control type I and type II errors. We propose a novel procedure for the estimation of the change-points based on a wild sequential top-down algorithm and show its consistency under shrinking shifts and possibly growing number of change-points. Our method can be used across many fields and a companion program is made available in popular software packages.


title: Local normality of infravacua and relative normalizers for relativistic systems

abstract: We revisit the problem of local normality of Kraus-Polley-Reents infravacuum representations and provide a straightforward proof based on the Araki-Yamagami criterion. We apply this result to the theory of superselection sectors. Namely, we extend the novel formalism of second conjugate classes and relative normalizers to the local relativistic setting.


title: On pairs of 17-congruent elliptic curves

abstract: We compute explicit equations for the surfaces Z(17,1) and Z(17,3) parametrising pairs of $17$-congruent elliptic curves. We find that each is a double cover of the same elliptic K3-surface. We use these equations to exhibit the first non-trivial example of a pair of symplectically 17-congruent elliptic curves over the rationals. We also compute the corresponding genus 2 curve whose Jacobian has a $(17,17)$-splitting.


title: DynamicViT: Efficient Vision Transformers with Dynamic Token Sparsification

abstract: Attention is sparse in vision transformers. We observe the final prediction in vision transformers is only based on a subset of most informative tokens, which is sufficient for accurate image recognition. Based on this observation, we propose a dynamic token sparsification framework to prune redundant tokens progressively and dynamically based on the input. Specifically, we devise a lightweight prediction module to estimate the importance score of each token given the current features. The module is added to different layers to prune redundant tokens hierarchically. To optimize the prediction module in an end-to-end manner, we propose an attention masking strategy to differentiably prune a token by blocking its interactions with other tokens. Benefiting from the nature of self-attention, the unstructured sparse tokens are still hardware friendly, which makes our framework easy to achieve actual speed-up. By hierarchically pruning 66% of the input tokens, our method greatly reduces 31%~37% FLOPs and improves the throughput by over 40% while the drop of accuracy is within 0.5% for various vision transformers. Equipped with the dynamic token sparsification framework, DynamicViT models can achieve very competitive complexity/accuracy trade-offs compared to state-of-the-art CNNs and vision transformers on ImageNet. Code is available at https://github.com/raoyongming/DynamicViT


title: Home range estimation under a restricted sampling scheme

abstract: The analysis of animal movement has gained attention recently. New continuous-time models and statistical methods have been developed to estimate some sets related to their movements, such as the home-range and the core-area among others, when the information of the trajectory is provided by a GPS. Because data transfer costs and GPS battery life are practical constraints in ecological studies, the experimental designer must make critical sampling decisions in order to maximize information. To capture fine-scale motion, long-term behavior must be sacrificed, and vice versa. To overcome this limitation, we introduce the on--off sampling scheme, where the GPS is alternately on and off. This scheme is already used in practice but with insufficient statistical theoretical support. We prove the consistency of home-range estimators with an underlying reflected diffusion model under this sampling method (in terms of the Hausdorff distance). The same rate of convergence is achieved as in the case where the GPS is always on for the whole experiment. This is illustrated by a simulation study and real data. We also provide estimators of the stationary distribution, its level sets (which give estimators of the core area), and the drift function.


title: Anticipative Video Transformer

abstract: We propose Anticipative Video Transformer (AVT), an end-to-end attention-based video modeling architecture that attends to the previously observed video in order to anticipate future actions. We train the model jointly to predict the next action in a video sequence, while also learning frame feature encoders that are predictive of successive future frames' features. Compared to existing temporal aggregation strategies, AVT has the advantage of both maintaining the sequential progression of observed actions while still capturing long-range dependencies--both critical for the anticipation task. Through extensive experiments, we show that AVT obtains the best reported performance on four popular action anticipation benchmarks: EpicKitchens-55, EpicKitchens-100, EGTEA Gaze+, and 50-Salads; and it wins first place in the EpicKitchens-100 CVPR'21 challenge.


title: Branched surfaces homeomorphic to Reeb spaces of simple fold maps

abstract: Classes of branched surfaces extend the classes of surfaces or 2-dimensional manifolds satisfying suitable properties and defined in various manners. Reeb spaces of smooth maps of suitable classes into surfaces whose codimensions are negative are regarded as branched surfaces. They are the spaces of all connected components of preimages and natural quotient spaces of the manifolds of the domains. They are defined for general smooth maps and important topological objects in differential topology. They also play important roles in applied or applications of mathematics such as projections in data analysis and visualizations. The present paper concerns global topologies of branched surfaces and explicit construction of canonically obtained maps from the branched surfaces into surfaces of the targets via fundamental operations. The class of these induced maps extends the class of smooth immersions of compact surfaces into surfaces with no boundaries. It is also regarded as a variant of the class of so-called generic smooth maps between these surfaces. We study so-called "geography" of such maps as a natural, important and new study and also study global topological properties of the branched surfaces such as embeddability into $3$-dimensional closed and connected manifolds.


title: Reentrant Bloch ferromagnetism

abstract: An interacting electron liquid in two (2D) and three (3D) dimensions may undergo a paramagnetic-to-ferromagnetic quantum spin polarization transition at zero applied magnetic field, driven entirely by exchange interactions, as the system density ($n$) is decreased. This is known as Bloch ferromagnetism. We show theoretically that the application of an external magnetic field ($B$), which directly spin polarizes the system through Zeeman spin splitting, has an interesting effect on Bloch ferromagnetism if the applied field and carrier density are both decreased (from some initial applied high magnetic field at a high carrier density) in a power-law manner, $B\sim n^p$. For $p<p_c$, with $p_c= 1 (2/3)$ in $2(3)$D, the system remains either fully spin-polarized or undergoes a single transition from a partially spin-polarized (with two Fermi surfaces corresponding to spin up and down electrons) to a fully spin-polarized state (with a single Fermi surface of one spin) as the density and field decrease, depending on whether the starting point is partially spin-polarized or fully spin-polarized. However, for $p>p_c$, the system may undergo two transitions if starting from the fully spin-polarized state: first, a weak second order transition at high density and field from the field-induced fully polarized phase to the partially polarized phase; and then, at a lower field and density, a reentrant first order transition back to the fully spin-polarized phase again with a single Fermi surface.


title: Offline Reinforcement Learning as One Big Sequence Modeling Problem

abstract: Reinforcement learning (RL) is typically concerned with estimating stationary policies or single-step models, leveraging the Markov property to factorize problems in time. However, we can also view RL as a generic sequence modeling problem, with the goal being to produce a sequence of actions that leads to a sequence of high rewards. Viewed in this way, it is tempting to consider whether high-capacity sequence prediction models that work well in other domains, such as natural-language processing, can also provide effective solutions to the RL problem. To this end, we explore how RL can be tackled with the tools of sequence modeling, using a Transformer architecture to model distributions over trajectories and repurposing beam search as a planning algorithm. Framing RL as sequence modeling problem simplifies a range of design decisions, allowing us to dispense with many of the components common in offline RL algorithms. We demonstrate the flexibility of this approach across long-horizon dynamics prediction, imitation learning, goal-conditioned RL, and offline RL. Further, we show that this approach can be combined with existing model-free algorithms to yield a state-of-the-art planner in sparse-reward, long-horizon tasks.


title: Towards Learning to Play Piano with Dexterous Hands and Touch

abstract: The virtuoso plays the piano with passion, poetry and extraordinary technical ability. As Liszt said (a virtuoso)must call up scent and blossom, and breathe the breath of life. The strongest robots that can play a piano are based on a combination of specialized robot hands/piano and hardcoded planning algorithms. In contrast to that, in this paper, we demonstrate how an agent can learn directly from machine-readable music score to play the piano with dexterous hands on a simulated piano using reinforcement learning (RL) from scratch. We demonstrate the RL agents can not only find the correct key position but also deal with various rhythmic, volume and fingering, requirements. We achieve this by using a touch-augmented reward and a novel curriculum of tasks. We conclude by carefully studying the important aspects to enable such learning algorithms and that can potentially shed light on future research in this direction.


title: Half-maximal Extended Drinfel'd Algebras

abstract: Extended Drinfel'd algebra (ExDA) is the underlying symmetry of non-Abelian duality in the low-energy effective theory of string theory. Non-Abelian U-dualities in maximal supergravities have been studied well, but there has been no study on non-Abelian dualities in half-maximal supergravities. In this paper, we construct the ExDA for half-maximal supergravities in $d\geq 4$. We also find an extension of the homogeneous classical Yang-Baxter equation in these theories.


title: Universality of Dicke superradiance in arrays of quantum emitters

abstract: Dicke superradiance is an example of emergence of macroscopic quantum coherence via correlated dissipation. Starting from an initially incoherent state, a collection of excited atoms synchronizes as they decay, generating a macroscopic dipole moment and emitting a short and intense pulse of light. While well understood in cavities, superradiance remains an open problem in extended systems due to the exponential growth of complexity with atom number. Here we show that Dicke superradiance is a universal phenomenon in ordered arrays. We present a theoretical framework -- which circumvents the exponential complexity of the problem -- that allows us to predict the critical distance beyond which Dicke superradiance disappears. This critical distance is highly dependent on the dimensionality and atom number. Our predictions can be tested in state of the art experiments with arrays of neutral atoms, molecules, and solid-state emitters and pave the way towards understanding the role of many-body decay in quantum simulation, metrology, and lasing.


title: Ringing Non-Gaussianity from inflation with a step in the second derivative of the potential

abstract: Inflationary model driven by a scalar field whose potential has a step in the second derivative with respect to the field is considered. For the best fit potential parameter values, the 3-point function and the non-Gaussianity associated with the featured model is calculated. We study the shape and scale dependence of the 3-point function. The distinctive feature of this model is its characteristic ringing behaviour of $f_{NL}$. We can see that the oscillations in $f_{NL}$ in this model last for a much longer range of k values, as compared to the previously studied models. In that sense, this model is potentially distinguishable from models with other features in the potential.


title: Heterogeneous Noisy Short Signal Camouflage in Multi-Domain Environment Decision-Making

abstract: Data transmission between two or more digital devices in industry and government demands secure and agile technology. Digital information distribution often requires deployment of Internet of Things (IoT) devices and Data Fusion techniques which have also gained popularity in both, civilian and military environments, such as, emergence of Smart Cities and Internet of Battlefield Things (IoBT). This usually requires capturing and consolidating data from multiple sources. Because datasets do not necessarily originate from identical sensors, fused data typically results in a complex Big Data problem. Due to potentially sensitive nature of IoT datasets, Blockchain technology is used to facilitate secure sharing of IoT datasets, which allows digital information to be distributed, but not copied. However, blockchain has several limitations related to complexity, scalability, and excessive energy consumption. We propose an approach to hide information (sensor signal) by transforming it to an image or an audio signal. In one of the latest attempts to the military modernization, we investigate sensor fusion approach by investigating the challenges of enabling an intelligent identification and detection operation and demonstrates the feasibility of the proposed Deep Learning and Anomaly Detection models that can support future application for specific hand gesture alert system from wearable devices.


title: Least-squares fitting of Gaussian spots on graphics processing units

abstract: The investigation of samples with a spatial resolution in the nanometer range relies on the precise and stable positioning of the sample. Due to inherent mechanical instabilities of typical sample stages in optical microscopes, it is usually required to control and/or monitor the sample position during the acquisition. The tracking of sparsely distributed fiducial markers at high speed allows stabilizing the sample position at millisecond time scales. For this purpose, we present a scalable fitting algorithm with significantly improved performance for two-dimensional Gaussian fits as compared to Gpufit.


title: Random Matrix Theory for Complexity Growth and Black Hole Interiors

abstract: We study a precise and computationally tractable notion of operator complexity in holographic quantum theories, including the ensemble dual of Jackiw-Teitelboim gravity and two-dimensional holographic conformal field theories. This is a refined, "microcanonical" version of K-complexity that applies to theories with infinite or continuous spectra (including quantum field theories), and in the holographic theories we study exhibits exponential growth for a scrambling time, followed by linear growth until saturation at a time exponential in the entropy $\unicode{x2014}$a behavior that is characteristic of chaos. We show that the linear growth regime implies a universal random matrix description of the operator dynamics after scrambling. Our main tool for establishing this connection is a "complexity renormalization group" framework we develop that allows us to study the effective operator dynamics for different timescales by "integrating out" large K-complexities. In the dual gravity setting, we comment on the empirical match between our version of K-complexity and the maximal volume proposal, and speculate on a connection between the universal random matrix theory dynamics of operator growth after scrambling and the spatial translation symmetry of smooth black hole interiors.


title: Census of High- and Medium-mass Protostars V. CO Abundance and the Galactic $X_{\text{CO}}$ Factor

abstract: We present the second dust continuum data release in the Census of High- and Medium-mass Protostars (CHaMP), expanding the methodology trialed in Pitts et al. 2019 to the entire CHaMP survey area ($280^{\circ}<l<300^{\circ}$, $-4^{\circ}<b<+2^{\circ}$). This release includes maps of dust temperature ($T_d$), H$_2$ column density ($N_{H_2}$), gas-phase CO abundance, and temperature-density plots for every prestellar clump with Herschel coverage, showing no evidence of internal heating for most clumps in our sample. We show that CO abundance is a strong function of $T_d$, and can be fit with a second-order polynomial in log-space, with a typical dispersion of a factor of 2--3. The CO abundance peaks at $20.0^{+0.4}_{-1.0}$ K with a value of $7.4^{+0.2}_{-0.3}\times10^{-5}$ per H$_2$; the low $T_d$ at which this maximal abundance occurs relative to laboratory results is likely due to interstellar UV bombardment in the largest survey fields. Finally, we show that, as predicted by theoretical literature and hinted at in previous studies of individual clouds, the conversion factor from integrated $^{12}$CO line intensity ($I_{^{12}CO}$) to $N_{H_2}$, the $X_{CO}$-factor, varies as a broken power-law in $I_{^{12}CO}$ with a transition zone between 70 and 90 K km$^{-1}$. The $X_{CO}$-function we propose has $N_{H_2}\propto I_{^{12}CO}^{0.51}$ for $I_{^{12}CO}\lesssim70$ K km$^{-1}$ and $N_{H_2}\propto I_{^{12}CO}^{2.3}$ for $I_{^{12}CO}\gtrsim90$ K km$^{-1}$. The high-$I_{^{12}CO}$ side should be generalizable with known adjustments for metallicity, but the influence of interstellar UV fields on the low-$I_{^{12}CO}$ side may be sample specific. We discuss how these results expand upon previous works in the CHaMP series, and help tie together observational, theoretical, and laboratory studies on CO over the past decade.


title: A very high energy hadron collider on the Moon

abstract: The long-term prospect of building a hadron collider around the circumference of a great circle of the Moon is sketched. A Circular Collider on the Moon (CCM) of $\sim$11000 km in circumference could reach a proton-proton center-of-mass collision energy of 14 PeV -- a thousand times higher than the Large Hadron Collider at CERN -- optimistically assuming a dipole magnetic field of 20 T. Several aspects of such a project are presented, including siting, construction, availability of necessary materials on the Moon, and powering, as well as a discussion of future studies and further information needed to determine the more concrete feasibility of each. Machine parameters and vacuum requirements are explored, and an injection scheme is delineated. Other unknowns are set down. Due to the strong interest from multiple organizations in establishing a permanent Moon presence, a CCM could be the (next-to-) next-to-next-generation discovery machine for high-energy particle physics and a natural successor to next-generation machines, such as the proposed Future Circular Collider at CERN or a Super Proton-Proton Collider in China, and other future machines, such as a Collider in the Sea, in the Gulf of Mexico. A CCM would serve as an important stepping stone towards a Planck-scale collider sited in our Solar System.


title: Photon-number entanglement generated by sequential excitation of a two-level atom

abstract: Entanglement and spontaneous emission are fundamental quantum phenomena that drive many applications of quantum physics. During the spontaneous emission of light from an excited two-level atom, the atom briefly becomes entangled with the photonic field. Here, we show that this natural process can be used to produce photon-number entangled states of light distributed in time. By exciting a quantum dot -- an artificial two-level atom -- with two sequential $\pi$ pulses, we generate a photon-number Bell state. We characterise this state using time-resolved intensity and phase correlation measurements. Furthermore, we theoretically show that applying longer sequences of pulses to a two-level atom can produce a series of multi-temporal mode entangled states with properties intrinsically related to the Fibonacci sequence. Our results on photon-number entanglement can be further exploited to generate new states of quantum light with applications in quantum technologies.


title: Stellar Streams in the Galactic Disk: Predicted Lifetimes and Their Utility in Measuring the Galactic Potential

abstract: In this paper, we present a holistic view of the detection, characterization, and origin of stellar streams in the disk of a simulated Milky Way-like galaxy. The star-by-star simulation of the Galaxy evolves stars born in clusters in a realistic galactic potential that includes spiral arms, a bar, and giant molecular clouds over $5$ Gyr. We first devise a new hybrid method to detect stellar streams that combines phase space density information along with the action-angle space spanned by stars in our simulation. We find that streams' progenitor star clusters and associations are all preferentially higher-mass ($>1000$ $M_{\odot}$) and young ($< 1$ Gyr). Our stream-finding method predicts that we might be able to find anywhere from $1$ to $10$ streams with 6D \textit{Gaia} DR2 data in the solar neighborhood alone. The simulation suggests that streams are sensitive to the initial dynamical state of clusters, accumulated energy gain from encounters with giant molecular clouds (GMCs), and present-day actions. We investigate what we can learn about the Galactic potential by studying the feasiblity of rewinding stellar streams back to their origin. Even with perfect information about the non-axisymmetric components (spiral arms, bar) of the galactic potential, the stochastic GMC population makes backwards integration impossible beyond one or two disk orbital times. Streams are also sensitive to the properties of the bar, but fairly insensitive to the properties of the non-transient two-armed spiral in our simulation. Finally we predict that around $10$ to $30$ stellar streams should be detectable with \textit{Gaia}'s 10-year end-of-mission data. There are many more stellar streams waiting to be discovered in the Galactic disk, and they could hold clues about the history of the Galaxy for the past Gyr.


title: The Earth Mover's Pinball Loss: Quantiles for Histogram-Valued Regression

abstract: Although ubiquitous in the sciences, histogram data have not received much attention by the Deep Learning community. Whilst regression and classification tasks for scalar and vector data are routinely solved by neural networks, a principled approach for estimating histogram labels as a function of an input vector or image is lacking in the literature. We present a dedicated method for Deep Learning-based histogram regression, which incorporates cross-bin information and yields distributions over possible histograms, expressed by $\tau$-quantiles of the cumulative histogram in each bin. The crux of our approach is a new loss function obtained by applying the pinball loss to the cumulative histogram, which for 1D histograms reduces to the Earth Mover's distance (EMD) in the special case of the median ($\tau = 0.5$), and generalizes it to arbitrary quantiles. We validate our method with an illustrative toy example, a football-related task, and an astrophysical computer vision problem. We show that with our loss function, the accuracy of the predicted median histograms is very similar to the standard EMD case (and higher than for per-bin loss functions such as cross-entropy), while the predictions become much more informative at almost no additional computational cost.


title: From Neutrino- to Photon-Cooled in Three Years: Can Fallback Accretion Explain the X-ray Excess in GW170817?

abstract: An excess in the X-ray emission from the neutron star merger GW170817 above the predicted afterglow was recently detected t~3.4 years post-merger. One possible origin for the excess is accretion onto the newly unshrouded black hole (BH) remnant. While fall-back of the bound dynamical ejecta is insufficient to generate the excess luminosity, L_X ~ 5e38 erg/s, fall-back from the disk wind ejecta-due to their larger mass and lower velocity-remains a viable possibility. We present hydrodynamic alpha-viscosity simulations of the post-merger disk evolution which extend to an unprecedently long timescale t ~ 35 s post-merger, as necessary to capture the end of photodissociation and the asymptotic evolution into the radiatively inefficient regime. Due to inefficient neutrino cooling, the BH accretion rate decays rapidly at late times (Mdot_BH ~ t^(-\beta_BH), where \beta_BH ~ 2.4-2.8), seemingly incompatible with generating the late-time excess. However, the rate at which matter falls back to the inner disk from the equatorial regions (as inferred by the rate matter is unbound in outflows by viscous heating at higher latitudes) decays more gradually, Mdot_fb ~ t^(-\beta_fb) with \beta_fb ~ 1.43 in our alpha ~ 0.03 simulations. By the present epoch, the fall-back rate has become sub-Eddington and the disk can again accrete efficiently, i.e. Mdot_BH ~ Mdot_fb, this time as a result of photon cooling instead of neutrino cooling. The predicted X-ray accretion luminosity at the present epoch is L_X ~ 0.1 Mdot_BH c^2 ~ (2-70)e38 erg/s for beta_FB ~ 1.43-1.66, thus supporting (with caveats) an accretion-powered origin for the X-ray excess in GW170817. The suppressed BH accretion rate prior to the radiatively efficient (sub-Eddington) transition, weeks to months after the merger, is key to avoid overproducing the kilonova luminosity via reprocessing.


title: Gravitational wave cosmology with EMRIs

abstract: We show that the loudest extreme mass-ratio inspirals (EMRIs) detected by the future space-based gravitational wave detector LISA can be used as dark standard sirens, statistically matching their sky localisation region with mock galaxy catalogs. In these Proceedings we focus on a realistic EMRI population scenario and report accuracy predictions for the measure of cosmological parameters, anticipating the potential of EMRIs to simultaneously constrain the Hubble constant, the dark matter, and the dark energy density parameters.


title: On the Nitrogen variation in ~2 Gyr old massive star clusters in the Large Magellanic Cloud

abstract: We present ESO/VLT FORS2 low resolution spectroscopy of red giant branch stars in three massive, intermediate age ($\sim 1.7-2.3$ Gyr) star clusters in the Large Magellanic Cloud. We measure CH and CN index bands at 4300A, and 3883A, as well as [C/Fe] and [N/Fe] abundance ratios for 24, 21 and 12 member stars of NGC 1978, NGC 1651, NGC 1783, respectively. We find a significant intrinsic spread in CN in NGC 1978 and NGC 1651, a signal of multiple stellar populations (MPs) within the clusters. On the contrary, we report a null CN spread in NGC 1783 within our measurement precision. For NGC 1978, we separated the two populations in the CN distribution and we translated the CN spread into an internal N variation $\Delta$[N/Fe]$=0.63\pm0.49$ dex. For NGC 1651 and NGC 1783, we put upper limits on the N abundance variations of $\Delta$[N/Fe]$\leq 0.2, 0.4$ dex, respectively. The spectroscopic analysis confirms previous results from HST photometry, where NGC 1978 was found to host MPs in the form of N spreads, while slightly younger clusters (e.g. NGC 1783, $<$ 2 Gyr old) were not, within the limits of the uncertainties. It also confirms that intermediate age massive clusters show lower N abundance variations with respect to the ancient globular clusters, although this is in part due to the effect of the first dredge up at these stellar masses, as recently reported in the literature. We stress the importance of future studies to estimate the initial N abundance variations, free of stellar evolutionary mixing processes, by observing unevolved stars in young clusters.


title: Effect of pseudogap on electronic anisotropy in the strain dependence of the superconducting $T_c$ of underdoped YBa$_2$Cu$_3$O$_y$

abstract: For orthorhombic superconductors we define thermodynamic anisotropy $N \equiv d T_c/d \epsilon_{22} - dT_c/d \epsilon_{11}$ as the difference in how superconducting $T_c$ varies with strains $\epsilon_{ii}$, $i=(1, 2)$, along the in-plane directions. We study the hole doping ($p$) dependence of $N$ on detwinned single crystals of underdoped YBa$_2$Cu$_3$O$_y$ (YBCO) using ultrasound technique. While the structural orthorhombicity of YBCO reduces monotonically with decreasing doping over $0.065 <p<0.16$, we find that the thermodynamic anisotropy shows an intriguing enhancement at intermediate doping level, which is of electronic origin. Our theoretical analysis shows that the enhancement of the electronic anisotropy can be related to the pseudogap potential in the electronic specturm that itself increases when the Mott insulating state is approached. Our results imply that the pseudogap is controlled by a local energy scale that can be tuned by varying the nearest neighbor Cu-Cu bond length. Our work opens the possibility to strain engineer the pseudogap potential to enhance the superconducting \Tc.


title: Thermal WIMPs and the Scale of New Physics: Global Fits of Dirac Dark Matter Effective Field Theories

abstract: We assess the status of a wide class of WIMP dark matter (DM) models in light of the latest experimental results using the global fitting framework $\textsf{GAMBIT}$. We perform a global analysis of effective field theory (EFT) operators describing the interactions between a gauge-singlet Dirac fermion and the Standard Model quarks, the gluons and the photon. In this bottom-up approach, we simultaneously vary the coefficients of 14 such operators up to dimension 7, along with the DM mass, the scale of new physics and several nuisance parameters. Our likelihood functions include the latest data from $\mathit{Planck}$, direct and indirect detection experiments, and the LHC. For DM masses below 100 GeV, we find that it is impossible to satisfy all constraints simultaneously while maintaining EFT validity at LHC energies. For new physics scales around 1 TeV, our results are influenced by several small excesses in the LHC data and depend on the prescription that we adopt to ensure EFT validity. Furthermore, we find large regions of viable parameter space where the EFT is valid and the relic density can be reproduced, implying that WIMPs can still account for the DM of the universe while being consistent with the latest data.


title: Straightforward Hamiltonian analysis of $BF$ gravity in $n$ dimensions

abstract: We perform, in a manifestly $SO(n-1,1)$ [$SO(n)$] covariant fashion, the Hamiltonian analysis of general relativity in $n$ dimensions written as a constrained $BF$ theory. We solve the constraint on the $B$ field in a way naturally adapted to the foliation of the spacetime that avoids explicitly the introduction of the vielbein. This leads to a form of the action involving a presymplectic structure, which is reduced by doing a suitable parametrization of the connection and then, after integrating out some auxiliary fields, the Hamiltonian form involving only first-class constraints is obtained.


title: Many accelerating distorted black holes

abstract: An analytical metric of four-dimensional General Relativity, representing an array of collinear and accelerating black holes, is constructed with the inverse scattering method. The solution can be completely regularised from any conical singularity, thanks to the presence of an external gravitational field. Therefore the multi-black hole configuration can be maintained at equilibrium without the need of string or struts. Some notable subcases such as the accelerating distorted Schwarzschild black hole and the double distorted C-metric are explicitly presented. The Smarr law and the thermodynamics of these systems is studied. The Bonnor-Swaminarayan and the Bi\v{c}\'ak-Hoenselaers-Schmidt particle metrics are recovered, through appropriate limits, from the multi-black holes solutions.


title: Automated EW corrections with isolated photons: $t \bar t \gamma$, $t \bar t \gamma\gamma$ and $t \gamma j$ as case studies

abstract: In this work we compute for the first time the so-called Complete-NLO predictions for top-quark pair hadroproduction in association with at least one isolated photon ($ t \bar t \gamma$). We also compute NLO QCD+EW predictions for the similar case with at least two isolated photons ($ t \bar t \gamma\gamma$) and for single-top hadroproduction in association with at least one isolated photon. In addition, we complement our results with NLO QCD+EW predictions of the hadronic and leptonic decays of top-quark including an isolated photon. All these results have been obtained in a completely automated approach, by extending the capabilities of the MadGraph5_aMC@NLO framework and enabling the Complete-NLO predictions for processes with isolated photons in the final state. We discuss the technical details of the implementation, which involves a mixed EW renormalisation scheme for such processes.


title: Global structure of steady-states to the full cross-diffusion limit in the Shigesada-Kawasaki-Teramoto model

abstract: In a previous paper(2021), the author studied the asymptotic behavior of coexistence steady-states to the Shigesada-Kawasaki-Teramoto model as both cross-diffusion coefficients tend to infinity at the same rate. As a result, he proved that the asymptotic behavior can be characterized by a limiting system that consists of a semilinear elliptic equation and an integral constraint. This paper studies the set of solutions of the limiting system. The first main result gives sufficient conditions for the existence/nonexistence of nonconstant solutions to the limiting system by a topological approach using the Leray-Schauder degree. The second main result exhibits a bifurcation diagram of nonconstant solutions to the one-dimensional limiting system by analysis of a weighted time-map and a nonlocal constraint.


title: How Deep Is the Ocean? Exploring the phase structure of water-rich sub-Neptunes

abstract: Understanding the internal structures of planets with a large H$_2$O component is important for the characterisation of sub-Neptune planets. The finding that the mini-Neptune K2-18b could host a liquid water ocean beneath a mostly hydrogen envelope motivates a detailed examination of the phase structures of water-rich planets. To this end, we present new internal structure models for super-Earths and mini-Neptunes that enable detailed characterisation of a planet's water component. We use our models to explore the possible phase structures of water worlds and find that a diverse range of interiors are possible, from oceans sandwiched between two layers of ice to supercritical interiors beneath steam atmospheres. We determine how the bulk properties and surface conditions of a water world affect its ocean depth, finding that oceans can be up to hundreds of times deeper than on Earth. For example, a planet with a 300 K surface can possess H$_2$O oceans with depths from 30-500 km, depending on its mass and composition. We also constrain the region of mass-radius space in which planets with H/He envelopes could host liquid H$_2$O, noting that the liquid phase can persist at temperatures up to 647 K at high pressures of $218$-$7\times10^4$ bar. Such H/He envelopes could contribute significantly to the planet radius while retaining liquid water at the surface, depending on the planet mass and temperature profile. Our findings highlight the exciting possibility that habitable conditions may be present on planets much larger than Earth.


title: On the Boundedness of the Maximal and Fractional Maximal, Potential Operators in the Global Morrey-Type Spaces with Variable Exponents

abstract: We consider the global Morrey-type spaces with variable exponents and general function defining these spaces. In the case of unbounded sets, we prove boundedness of the Hardy-Littlewood maximal operator, potential type operator in these spaces.


title: Correlated insulators, semimetals, and superconductivity in twisted trilayer graphene

abstract: Motivated by recent experiments indicating strong superconductivity and intricate correlated insulating and flavor-polarized physics in mirror-symmetric twisted trilayer graphene, we study the effects of interactions in this system close to the magic angle, using a combination of analytical and numerical methods. We identify asymptotically exact correlated many-body ground states at all integer filling fractions $\nu$ of the flat bands. To determine their fate when moving away from these fine-tuned points, we apply self-consistent Hartree-Fock numerics and analytic perturbation theory, with good agreement between the two approaches. This allows us to construct a phase diagram for the system as a function of $\nu$ and the displacement field, the crucial experimental tuning parameter of the system, and study the spectra of the different phases. The phase diagram is dominated by a correlated semimetallic intervalley coherent state and an insulating sublattice-polarized phase around charge neutrality, $\nu=0$, with additional spin-polarization being present at quarter ($\nu=-2$) or three quarter ($\nu=+2$) fillings of the quasi-flat bands. We further study the superconducting instabilities emerging from these correlated states, both in the absence and in the additional presence of electron-phonon coupling, also taking into account possible Wess-Zumino-Witten terms. In the experimentally relevant regime, we find triplet pairing to dominate, possibly explaining the observed violation of the Pauli limit. Our results have several consequences for experiments as well as future theoretical work and illustrate the rich physics resulting from the interplay of almost flat bands and dispersive Dirac cones in twisted trilayer graphene.


title: The dipper population of Taurus seen with K2

abstract: Dippers are typically low-mass, pre-main-sequence stars that display dips in their light curves. These dips have been attributed to dusty warps that form in the inner part of the disk. Our goal is to derive the properties of dipper stars in Taurus to assess the physical mechanisms that induce dipper light curves. We used the light curves of K2 C4 and C13 to select a dipper sample among 179 members and possible members of the Taurus star-forming region based on the light-curve morphology. We studied the periodicities by combining periodograms with wavelet analysis and derived the stellar parameters from the photometry. We also studied the morphology of the photometric dips. We find a dipper occurrence of ~30% in disk-bearing stars observed with K2 that were identified visually by us. This represents a lower limit to their true occurrence. About half of the dippers are aperiodic, and most of these are dominated by another type of variability. The chosen sample is of late spectral type (K/M), low mass and moderate mass accretion rates and has periods of a few days. We observed a transient dipper over a few rotation cycles and a dipper with a changing period. The structure of the dips can be complex and varies strongly over timescales of down to one stellar rotation. The corotation radii are located at a few stellar radii, and the temperatures at corotation allow dust survival. Many of the systems are seen at moderate to high inclination. We find that the angular extension of the dusty structure producing the dips is correlated with the stellar period. Magnetospheric accretion, which causes an accretion column and its base to occult the star, can explain most of the observed light curves. Although compatible with the model, many of the stellar inclination angles are moderate and do not exclude mechanisms other than the occultation by an inner disk warp to account for dipper light curves.


title: Strong-coupling corrections to hard domain walls in superfluid 3He-B

abstract: Domain walls in superfluid 3He-B have gained renewed interest in light of experimental progress on confining helium in nanofabricated geometries. Here, we study the effect of strong-coupling corrections on domain wall width and interfacial tension by determining self-consistent solutions to spatially-dependent Ginzburg-Landau equations. We find that the formation of domain walls is generally energetically favored in strong coupling over weak coupling. Calculations were performed over a wide range of temperatures and pressures, showing decreasing interface energy with increasing temperature and pressure. This has implications for the observability of such domain walls in 3He-B, which are of both fundamental interest and form the basis for spatially-modulated pair-density wave states, when stabilized by strong confinement.


title: Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics

abstract: We study connections between distributed local algorithms, finitary factors of iid processes, and descriptive combinatorics in the context of regular trees. We extend the Borel determinacy technique of Marks coming from descriptive combinatorics and adapt it to the area of distributed computing. Using this technique, we prove deterministic distributed $\Omega(\log n)$-round lower bounds for problems from a natural class of homomorphism problems. Interestingly, these lower bounds seem beyond the current reach of the powerful round elimination technique responsible for all substantial locality lower bounds of the last years. Our key technical ingredient is a novel ID graph technique that we expect to be of independent interest. We prove that a local problem admits a Baire measurable coloring if and only if it admits a local algorithm with local complexity $O(\log n)$, extending the classification of Baire measurable colorings of Bernshteyn. A key ingredient of the proof is a new and simple characterization of local problems that can be solved in $O(\log n)$ rounds. We complement this result by showing separations between complexity classes from distributed computing, finitary factors, and descriptive combinatorics. Most notably, the class of problems that allow a distributed algorithm with sublogarithmic randomized local complexity is incomparable with the class of problems with a Borel solution. We hope that our treatment will help to view all three perspectives as part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn -- arXiv 2004.04905].


title: Learning to Draw: Emergent Communication through Sketching

abstract: Evidence that visual communication preceded written language and provided a basis for it goes back to prehistory, in forms such as cave and rock paintings depicting traces of our distant ancestors. Emergent communication research has sought to explore how agents can learn to communicate in order to collaboratively solve tasks. Existing research has focused on language, with a learned communication channel transmitting sequences of discrete tokens between the agents. In this work, we explore a visual communication channel between agents that are allowed to draw with simple strokes. Our agents are parameterised by deep neural networks, and the drawing procedure is differentiable, allowing for end-to-end training. In the framework of a referential communication game, we demonstrate that agents can not only successfully learn to communicate by drawing, but with appropriate inductive biases, can do so in a fashion that humans can interpret. We hope to encourage future research to consider visual communication as a more flexible and directly interpretable alternative of training collaborative agents.


title: When does the Lanczos algorithm compute exactly?

abstract: In theory, the Lanczos algorithm generates an orthogonal basis of the corresponding Krylov subspace. However, in finite precision arithmetic, the orthogonality and linear independence of the computed Lanczos vectors is usually lost quickly. In this paper we study a class of matrices and starting vectors having a special nonzero structure that guarantees exact computations of the Lanczos algorithm whenever floating point arithmetic satisfying the IEEE 754 standard is used. Analogous results are formulated also for a variant of the conjugate gradient method that produces then almost exact results. The results are extended to the Arnoldi algorithm, the nonsymmetric Lanczos algorithm, the Golub-Kahan bidiagonalization, the block-Lanczos algorithm and their counterparts for solving linear systems.


title: A unified view on symmetry, anomalous symmetry and non-invertible gravitational anomaly

abstract: In this paper, using 1+1D models as examples, we study symmetries and anomalous symmetries via multi-component partition functions obtained through symmetry twists, and their transformations under the mapping class group of spacetime. This point of view allows us to treat symmetries and anomalous symmetries as non-invertible gravitational anomalies (which are also described by multi-component partition functions, transforming covariantly under the mapping group transformations). This allows us to directly see how symmetry and anomalous symmetry constraint the low energy dynamics of the systems, since the low energy dynamics is directly encoded in the partition functions. More generally, symmetries, anomalous symmetries, non-invertible gravitational anomalies, and their combinations, can all be viewed as constraints on low energy dynamics. In this paper, we demonstrate that they all can be viewed uniformally and systematically as pure (non-invertible) gravitational anomalies.


title: Formation and characterization of an Al-rich metastable phase in Al-B phase diagram

abstract: Vacuum heat treatment of mechanically-alloyed powders of boron and aluminum leads to formation of a metastable Al-rich phase, which can be quenched. Its structure, composition, and thermal stability are established. With chemical formula Al1.28B the rhombohedral phase is unusually rich in Al. Parameters of the unit cell determined from X-ray powder diffraction are: a=18.3464(19) {\AA}, c=8.9241(9) {\AA}, 2601.3(6) {\AA}3, space group R-3. It is stable at heating up to 630 {\deg}C. It is suggested that this phase is an important intermediate step in formation of AlB2 and, eventually, of other borides and its nucleation and thermal stability are explained by high elastic energy hindering formation of equilibrium phases at low temperatures.


title: Braids of the N-body problem II: carousel solutions by cabling central configurations

abstract: We prove the existence of relative periodic solutions of the planar $N=\sum_{j=1}^n k_j$-body problem starting with $n$ bodies moving close to a non-degenerate central configuration and replacing each of them with clusters of $k_j$ bodies that move close to a small central configuration. We name these solutions carousel solutions. The proof relies on blow-up techniques for variational methods used in our previous work.


title: Embeddings of groups ${\rm Aut}(F_n)$ into automorphism groups of algebraic varieties

abstract: For every positive integer $n$, we construct, using algebraic groups, an infinite family of irreducible algebraic varieties $X$,whose automorphism group ${\rm Aut}(X)$ contains the automorphism group ${\rm Aut}(F_n)$ of a free group $F_n$ of rank $n$ as a subgroup. This property implies that, for $n \geqslant 2$, such groups ${\rm Aut}(X)$ are nonamenable, and, for $n \geqslant 3$, nonlinear and contain the braid group $B_n$ on $n$ strands. Some of these varieties $X$ are affine, and among affine, some are rational and some are not, some are smooth and some are singular. As an application, we deduce that, for $n \geqslant 3 $, every Cremona group of rank $\geqslant 3n$ contains the groups ${\rm Aut}(F_n)$ and $B_n$ as the subgroups. This bound is better than the one that follows from the paper by D. Krammer [14], where the linearity of the braid group $B_n$ is proved.


title: Neural Collapse Under MSE Loss: Proximity to and Dynamics on the Central Path

abstract: The recently discovered Neural Collapse (NC) phenomenon occurs pervasively in today's deep net training paradigm of driving cross-entropy (CE) loss towards zero. During NC, last-layer features collapse to their class-means, both classifiers and class-means collapse to the same Simplex Equiangular Tight Frame, and classifier behavior collapses to the nearest-class-mean decision rule. Recent works demonstrated that deep nets trained with mean squared error (MSE) loss perform comparably to those trained with CE. As a preliminary, we empirically establish that NC emerges in such MSE-trained deep nets as well through experiments on three canonical networks and five benchmark datasets. We provide, in a Google Colab notebook, PyTorch code for reproducing MSE-NC and CE-NC: at https://colab.research.google.com/github/neuralcollapse/neuralcollapse/blob/main/neuralcollapse.ipynb. The analytically-tractable MSE loss offers more mathematical opportunities than the hard-to-analyze CE loss, inspiring us to leverage MSE loss towards the theoretical investigation of NC. We develop three main contributions: (I) We show a new decomposition of the MSE loss into (A) terms directly interpretable through the lens of NC and which assume the last-layer classifier is exactly the least-squares classifier; and (B) a term capturing the deviation from this least-squares classifier. (II) We exhibit experiments on canonical datasets and networks demonstrating that term-(B) is negligible during training. This motivates us to introduce a new theoretical construct: the central path, where the linear classifier stays MSE-optimal for feature activations throughout the dynamics. (III) By studying renormalized gradient flow along the central path, we derive exact dynamics that predict NC.


title: Dirac-Fock-Breit-Gaunt calculations for the reaction Og + 6 CO -> Og(CO)6 or Og(OC)6

abstract: Our all electron (DFBG) calculations show differences between relativistic and non-relativistic calculations for the structure of the isomers of Og(CO)6


title: SNe and their impact during the early evolution of Type I Globular Clusters

abstract: The iron composition of globular clusters (GCs) is homogeneous in all but a few massive clusters, despite the presence of multiple stellar populations. Hence, most if not all the supernovae (SN) ejecta was not used to form stars. Here by means of semi-analytic and numerical studies we address this issue considering both stellar winds and supernovae feedback during the early evolution of proto-globular clusters. We calculate the ability of stellar winds to form a global wind that removes the gas left over from star formation. The innermost radius from which such a global wind can be formed, the superwind radius $R_{SW}$, is a function of the cloud parameters and the star formation efficiency. In the case of complete gas expulsion ($R_{\textrm{SW}}=0$), the SN ejecta merge with shock-heated winds and exit the cluster. On the other hand, when $R_{\textrm{SW}}>0$, supernova remnants (SNRs) become pressure-confined if evolving within a critical radius $R_{\textrm{blow}}$, and mix their products with the residual gas. However, outside of this central zone the SNRs experience blowout. In such cases, the thermalized ejecta escapes the cluster, making the SN products unavailable for the formation of new stars. We estimated the metallicity enhancement ($\Delta\textrm{[Fe/H]}$) of the leftover gas and discuss the conditions required to produce secondary stellar populations with $\Delta\textrm{[Fe/H]}$ in the range observed in the majority of GCs.


title: LGBTQ-AI? Exploring Expressions of Gender and Sexual Orientation in Chatbots

abstract: Chatbots are popular machine partners for task-oriented and social interactions. Human-human computer-mediated communication research has explored how people express their gender and sexuality in online social interactions, but little is known about whether and in what way chatbots do the same. We conducted semi-structured interviews with 5 text-based conversational agents to explore this topic Through these interviews, we identified 6 common themes around the expression of gender and sexual identity: identity description, identity formation, peer acceptance, positive reflection, uncomfortable feelings and off-topic responses. Chatbots express gender and sexuality explicitly and through relation of experience and emotions, mimicking the human language on which they are trained. It is nevertheless evident that chatbots differ from human dialogue partners as they lack the flexibility and understanding enabled by lived human experience. While chatbots are proficient in using language to express identity, they also display a lack of authentic experiences of gender and sexuality.


title: Eliciting Spoken Interruptions to Inform Proactive Speech Agent Design

abstract: Current speech agent interactions are typically user-initiated, limiting the interactions they can deliver. Future functionality will require agents to be proactive, sometimes interrupting users. Little is known about how these spoken interruptions should be designed, especially in urgent interruption contexts. We look to inform design of proactive agent interruptions through investigating how people interrupt others engaged in complex tasks. We therefore developed a new technique to elicit human spoken interruptions of people engaged in other tasks. We found that people interrupted sooner when interruptions were urgent. Some participants used access rituals to forewarn interruptions, but most rarely used them. People balanced speed and accuracy in timing interruptions, often using cues from the task they interrupted. People also varied phrasing and delivery of interruptions to reflect urgency. We discuss how our findings can inform speech agent design and how our paradigm can help gain insight into human interruptions in new contexts.


title: Improving Neural Network Robustness via Persistency of Excitation

abstract: Improving adversarial robustness of neural networks remains a major challenge. Fundamentally, training a neural network via gradient descent is a parameter estimation problem. In adaptive control, maintaining persistency of excitation (PoE) is integral to ensuring convergence of parameter estimates in dynamical systems to their true values. We show that parameter estimation with gradient descent can be modeled as a sampling of an adaptive linear time-varying continuous system. Leveraging this model, and with inspiration from Model-Reference Adaptive Control (MRAC), we prove a sufficient condition to constrain gradient descent updates to reference persistently excited trajectories converging to the true parameters. The sufficient condition is achieved when the learning rate is less than the inverse of the Lipschitz constant of the gradient of loss function. We provide an efficient technique for estimating the corresponding Lipschitz constant in practice using extreme value theory. Our experimental results in both standard and adversarial training illustrate that networks trained with the PoE-motivated learning rate schedule have similar clean accuracy but are significantly more robust to adversarial attacks than models trained using current state-of-the-art heuristics.


title: The orbit and density of the Jupiter Trojan satellite system Eurybates-Queta

abstract: We report observations of the Jupiter Trojan asteroid (3548) Eurybates and its satellite Queta with the Hubble Space Telescope and use these observations to perform an orbital fit to the system. Queta orbits Eurybates with a semimajor axis of $2350\pm11$ km at a period of $82.46\pm0.06$ days and an eccentricity of $0.125\pm0.009$. From this orbit we derive a mass of Eurybates of $1.51\pm0.03 \times 10^{17}$ kg, corresponding to an estimated density of $1.1\pm0.3$ g cm$^{-3}$, broadly consistent with densities measured for other Trojans, C-type asteroids in the outer main asteroid belt, and small icy objects from the Kuiper belt. Eurybates is the parent body of the only major collisional family among the Jupiter Trojans; its low density suggests that it is a typical member of the Trojan population. Detailed study of this system in 2027 with the Lucy spacecraft flyby should allow significant insight into collisional processes among what appear to be the icy bodies of the Trojan belt.


title: Reconstructing magnetic deflections from sets of proton images using differential evolution

abstract: Proton imaging is a powerful technique for imaging electromagnetic fields within an experimental volume, in which spatial variations in proton fluence are a result of deflections to proton trajectories due to interaction with the fields. When deflections are large, proton trajectories can overlap, and this nonlinearity creates regions of greatly increased proton fluence on the image, known as caustics. The formation of caustics has been a persistent barrier to reconstructing the underlying fields from proton images. We have developed a new method for reconstructing the path-integrated magnetic fields which begins to address the problem posed by caustics. Our method uses multiple proton images of the same object, each image at a different energy, to fill in the information gaps and provide some uniqueness when reconstructing caustic features. We use a differential evolution algorithm to iteratively estimate the underlying deflection function which accurately reproduces the observed proton fluence at multiple proton energies simultaneously. We test this reconstruction method using synthetic proton images generated for three different, cylindrically symmetric field geometries at various field amplitudes and levels of proton statistics, and present reconstruction results from a set of experimental images. The method we propose requires no assumption of deflection linearity and can reliably solve for fields underlying linear, nonlinear, and caustic proton image features for the selected geometries, and is shown to be fairly robust to noise in the input proton intensity.


title: Solving Schr\"odinger Bridges via Maximum Likelihood

abstract: The Schr\"odinger bridge problem (SBP) finds the most likely stochastic evolution between two probability distributions given a prior stochastic evolution. As well as applications in the natural sciences, problems of this kind have important applications in machine learning such as dataset alignment and hypothesis testing. Whilst the theory behind this problem is relatively mature, scalable numerical recipes to estimate the Schr\"odinger bridge remain an active area of research. We prove an equivalence between the SBP and maximum likelihood estimation enabling direct application of successful machine learning techniques. We propose a numerical procedure to estimate SBPs using Gaussian process and demonstrate the practical usage of our approach in numerical simulations and experiments.


title: Language Embeddings for Typology and Cross-lingual Transfer Learning

abstract: Cross-lingual language tasks typically require a substantial amount of annotated data or parallel translation data. We explore whether language representations that capture relationships among languages can be learned and subsequently leveraged in cross-lingual tasks without the use of parallel data. We generate dense embeddings for 29 languages using a denoising autoencoder, and evaluate the embeddings using the World Atlas of Language Structures (WALS) and two extrinsic tasks in a zero-shot setting: cross-lingual dependency parsing and cross-lingual natural language inference.


title: A diachronic evaluation of gender asymmetry in euphemism

abstract: The use of euphemisms is a known driver of language change. It has been proposed that women use euphemisms more than men. Although there have been several studies investigating gender differences in language, the claim about euphemism usage has not been tested comprehensively through time. If women do use euphemisms more, this could mean that women also lead the formation of new euphemisms and language change over time. Using four large diachronic text corpora of English, we evaluate the claim that women use euphemisms more than men through a quantitative analysis. We assembled a list of 106 euphemism-taboo pairs to analyze their relative use through time by each gender in the corpora. Contrary to the existing belief, our results show that women do not use euphemisms with a higher proportion than men. We repeated the analysis using different subsets of the euphemism-taboo pairs list and found that our result was robust. Our study indicates that in a broad range of settings involving both speech and writing, and with varying degrees of formality, women do not use or form euphemisms more than men.


title: A Continuous Paradoxical Colouring Rule Using Group Action

abstract: Given a probability space $(X, {\cal B}, m)$, measure preserving transformations $g_1, \dots , g_k$ of $X$, and a colour set $C$, a colouring rule is a way to colour the space with $C$ such that the colours allowed for a point $x$ are determined by that point's location and the colours of the finitely $g_1 (x), \dots , g_k(x)$ with $g_i(x) \not= x$ for all $i$ and almost all $x$. We represent a colouring rule as a correspondence $F$ defined on $X\times C^k$ with values in $C$. A function $f: X\rightarrow C$ satisfies the rule at $x$ if $f(x) \in F( x, f(g_1 x), \dots , f(g_k x))$. A colouring rule is paradoxical if it can be satisfied in some way almost everywhere with respect to $m$, but not in {\bf any} way that is measurable with respect to a finitely additive measure that extends the probability measure $m$ and for which the finitely many transformations $g_1, \dots , g_k$ remain measure preserving. We show that a colouring rule can be paradoxical when the $g_1, \dots, g_k$ are members of a group $G$, the probability space $X$ and the colour set $C$ are compact sets, $C$ is convex and finite dimensional, and the colouring rule says if $c: X\rightarrow C$ is the colouring function then the colour $c(x)$ must lie ($m$ a.e.) in $F(x, c(g_1(x) ), \dots , c(g_k(x)))$ for a non-empty upper-semi-continuous convex-valued correspondence $F$ defined on $X\times C^k$. We show that any colouring that approximates the correspondence by $\epsilon$ for small enough positive $\epsilon$ cannot be measurable in the same finitely additive way. Furthermore any function satisfying the colouring rule illustrates a paradox through finitely many measure preserving shifts defining injective maps from the whole space to subsets of measure summing up to less than one.


title: Simulation of deterministic compartmental models for infectious diseases dynamics

abstract: Infectious diseases are caused by pathogenic microorganisms and can spread through different ways. Mathematical models and computational simulation have been used extensively to investigate the transmission and spread of infectious diseases. In other words, mathematical model simulation can be used to analyse the dynamics of infectious diseases, aiming to understand the effects and how to control the spread. In general, these models are based on compartments, where each compartment contains individuals with the same characteristics, such as susceptible, exposed, infected, and recovered. In this paper, we cast further light on some classical epidemic models, reporting possible outcomes from numerical simulation. Furthermore, we provide routines in a repository for simulations.


title: Ionized Gas Outflows in Low Excitation Radio Galaxies Are Radiation Driven

abstract: Low excitation radio galaxies (LERGs) are weakly accreting active galactic nuclei (AGN) believed to be fuelled by radiatively inefficient accretion processes. Despite this, recent works have shown evidence for ionized and neutral hydrogen gas outflows in these galaxies. To investigate the potential drivers of such outflows we select a sample of 802 LERGs using the Best & Heckman (2012) catalogue of radio galaxies. By modelling the [O III] $\lambda 5007$ profile in Sloan Digital Sky Survey spectra of a sample of 802 LERGs, we determine that the ionized outflows are present in $\sim 1.5\%$ of the population. Using $1.4~\text{GHz}$ imaging from the Faint Images of the Radio Sky at Twenty Centimeters survey we analyze the radio morphology of LERGs with outflows and find these to be consistent with the parent LERG population. However, we note that unlike the majority of the LERG population, those LERGs showing outflows have Eddington scaled accretion rates close to $1\%$. This is indicative that ionized outflows in LERGs are driven by the radiation pressure from the accretion disk of the AGN rather than the radio jets. We report specific star formation rates in the range of $10^{-12} < \text{sSFR} < 10^{-9}~\text{yr}^{-1}$. Moreover, we observe higher mass outflow rates of $7-150~M_{\odot}~\text{yr}^{-1}$ for these LERGs than luminous quasars for a given bolometric luminosity, which could possibly be due to the radio source in LERGs boosting the mass-loading. This scenario could indicate that these outflows could potentially drive feedback in LERGs.


title: Unsupervised Learning of General-Purpose Embeddings for Code Changes

abstract: Applying machine learning to tasks that operate with code changes requires their numerical representation. In this work, we propose an approach for obtaining such representations during pre-training and evaluate them on two different downstream tasks - applying changes to code and commit message generation. During pre-training, the model learns to apply the given code change in a correct way. This task requires only code changes themselves, which makes it unsupervised. In the task of applying code changes, our model outperforms baseline models by 5.9 percentage points in accuracy. As for the commit message generation, our model demonstrated the same results as supervised models trained for this specific task, which indicates that it can encode code changes well and can be improved in the future by pre-training on a larger dataset of easily gathered code changes.


title: Strong interminivalley scattering in twisted bilayer graphene revealed by high-temperature magnetooscillations

abstract: Twisted bilayer graphene (TBG) provides an example of a system in which the interplay of interlayer interactions and superlattice structure impacts electron transport in a variety of non-trivial ways and gives rise to a plethora of interesting effects. Understanding the mechanisms of electron scattering in TBG has, however, proven challenging, raising many questions about the origins of resistivity in this system. Here we show that TBG exhibits high-temperature magnetooscillations originating from the scattering of charge carriers between TBG minivalleys. The amplitude of these oscillations reveals that interminivalley scattering is strong, and its characteristic time scale is comparable to that of its intraminivalley counterpart. Furthermore, by exploring the temperature dependence of these oscillations, we estimate the electron-electron collision rate in TBG and find that it exceeds that of monolayer graphene. Our study demonstrates the consequences of the relatively small size of the superlattice Brillouin zone and Fermi velocity reduction on lateral transport in TBG.


title: Natural Inflation After Planck 2018

abstract: We calculate high-precision constraints on Natural Inflation relative to current observational constraints from Planck 2018 + BICEP/Keck(BK15) Polarization + BAO on $r$ and $n_S$, including post-inflationary history of the universe. We find that, for conventional post-inflationary dynamics, Natural Inflation with a cosine potential is disfavored at greater than 95\% confidence out by current data. If we assume protracted reheating characterized by $\overline{w}>1/3,$ Natural Inflation can be brought into agreement with current observational constraints. However, bringing unmodified Natural Inflation into the 68\% confidence region requires values of $T_{\mathrm{re}}$ below the scale of electroweak symmetry breaking. The addition of a SHOES prior on the Hubble Constant $H_0$ only worsens the fit.


title: Branes, fermions, and superspace dualities

abstract: We use the superspace formulation of supergravity in eleven and ten dimensions to compute fermion couplings on the M2-brane and on D$p$-branes. In this formulation fermionic couplings arise naturally from the $\theta$-expansion of the superfields from which the brane actions are constructed. The techniques we use and develop can in principle be applied to determine the fermionic couplings to general background fields up to arbitrary order. Starting with the superspace formulation of 11-dimensional supergravity, we use a geometric technique known as the `normal coordinate' method to obtain the $\theta$-expansion of the M2-brane action. We then present a method which allows us to translate the knowledge of fermionic couplings on the M2-brane to knowledge of such couplings on the D2-brane, and then to any D$p$-brane. This method is based on superspace generalizations of both the compactification taking 11-dimensional supergravity to type IIA supergravity and the T-duality rules connecting the type IIA and type IIB supergravities.


title: Studying the interstellar medium to look for relics of triggered star formation among stellar clusters

abstract: Evidence of triggered star formation at large spatial scales involving stellar clusters is scarce. We investigate a Galactic region (l=130.0, b=0.35) populated by several open stellar clusters that according to the last GAIA data release, are located at a distance of about 2.9 kpc. By analyzing the interstellar medium (ISM) at infrared, centimeter, and millimeter wavelengths towards this group of clusters we discovered a shell of material of about 2 degree in size at the same distance. We suggest that the shell, mainly observed at 12 um and in the Hi emission at 21 cm, was generated by the action of massive stars belonging to clusters Berkeley 7 and UBC 414, that lie at its center. Five clusters (MWSC0152, Czernik 6, Czernik 7, Berkeley 6, NGC 663, and NGC 654) lie at the border of this shell. From the comparison between the dynamical time of the discovered Hi shell and the analysis of the ages of stellar populations in these clusters, we conclude that the expansion of the shell could have triggered in the past the formation of stars in some of them. We point out that in order to find physical evidence supporting a genetic connection between stellar clusters, it is necessary not only to study the individual clusters and their stellar populations, but also to investigate their surrounding ISM at a large spatial scale.


title: Translation-deformation coupling effects on the Rayleigh instability of an electrodynamically levitated charged droplet

abstract: The breakup pathway of the Rayleigh fission process observed experimentally using high-speed imaging of a charged drop levitated in an AC quadrupole trap is shown to undergo asymmetric breakup by ejecting a jet in the upward direction ((i.e., opposite to the direction of gravity)). To explain this typical experimental observation, we carry out numerical calculations based on the boundary element method considering inertial droplets levitated electrodynamically using quadrupole electric fields. The simulations show that the gravity-induced downward shift in the equilibrium position of the drop in the trap causes significant, large-amplitude shape oscillations superimposed over the center-of-mass oscillations of the drop. An important observation here is that the shape oscillations due to the applied quadrupole fields, result in sufficient deformations that act as triggers for the onset of the instability below the Rayleigh limit, thereby admitting a sub-critical instability. The center-of-mass oscillations of the droplet within the trap, which follow the applied frequency, are out of phase with the applied AC signal. Thus the combined effect of shape deformations and dynamic position of the drop leads to an asymmetric breakup such that the Rayleigh fission occurs upwards via the ejection of a jet at the north-pole of the deformed drop.


title: Model predictive control for optimal social distancing in a type SIR-switched model

abstract: Social distancing strategies have been adopted by governments to manage the COVID-19 pandemic, since the first outbreak began. However, further epidemic waves keep out the return of economic and social activities to their standard levels of intensity. Social distancing interventions based on control theory are needed to consider a formal dynamic characterization of the implemented SIR-type model to avoid unrealistic objectives and prevent further outbreaks. The objective of this work is twofold: to fully understand some dynamical aspects of SIR-type models under control actions (associated with second waves) and, based on it, to propose a switching non-linear model predictive control that optimize the non-pharmaceutical measures strategy. Opposite to other strategies, the objective here is not just to minimize the number of infected individuals at any time, but to minimize the final size of the epidemic while minimizing the time of social restrictions and avoiding the infected prevalence peak to overpass a maximum established by the healthcare system capacity. Simulations illustrate the benefits of the aforementioned proposal.


title: Adaptive Epidemic Forecasting and Community Risk Evaluation of COVID-19

abstract: Pandemic control measures like lock-down, restrictions on restaurants and gatherings, social-distancing have shown to be effective in curtailing the spread of COVID-19. However, their sustained enforcement has negative economic effects. To craft strategies and policies that reduce the hardship on the people and the economy while being effective against the pandemic, authorities need to understand the disease dynamics at the right geo-spatial granularity. Considering factors like the hospitals' ability to handle the fluctuating demands, evaluating various reopening scenarios, and accurate forecasting of cases are vital to decision making. Towards this end, we present a flexible end-to-end solution that seamlessly integrates public health data with tertiary client data to accurately estimate the risk of reopening a community. At its core lies a state-of-the-art prediction model that auto-captures changing trends in transmission and mobility. Benchmarking against various published baselines confirm the superiority of our forecasting algorithm. Combined with the ability to extend to multiple client-specific requirements and perform deductive reasoning through counter-factual analysis, this solution provides actionable insights to multiple client domains ranging from government to educational institutions, hospitals, and commercial establishments.


title: The non-Kerr black hole with acceleration

abstract: The no-hair theorem can be tested in the strong gravity regime by using the top-bottom approach and the bottom-top approach. The non-Kerr spacetime of the later approach is an ideal framework to do the tests in the region very close to the black holes. In this work, we propose a non-Kerr black hole metric (and its charged extension) that is accelerating as well. These new objects are studied for their basic properties and thermodynamics.


title: Shape-Preserving Dimensionality Reduction : An Algorithm and Measures of Topological Equivalence

abstract: We introduce a linear dimensionality reduction technique preserving topological features via persistent homology. The method is designed to find linear projection $L$ which preserves the persistent diagram of a point cloud $\mathbb{X}$ via simulated annealing. The projection $L$ induces a set of canonical simplicial maps from the Rips (or \v{C}ech) filtration of $\mathbb{X}$ to that of $L\mathbb{X}$. In addition to the distance between persistent diagrams, the projection induces a map between filtrations, called filtration homomorphism. Using the filtration homomorphism, one can measure the difference between shapes of two filtrations directly comparing simplicial complexes with respect to quasi-isomorphism $\mu_{\operatorname{quasi-iso}}$ or strong homotopy equivalence $\mu_{\operatorname{equiv}}$. These $\mu_{\operatorname{quasi-iso}}$ and $\mu_{\operatorname{equiv}}$ measures how much portion of corresponding simplicial complexes is quasi-isomorphic or homotopy equivalence respectively. We validate the effectiveness of our framework with simple examples.


title: A Consciousness-Inspired Planning Agent for Model-Based Reinforcement Learning

abstract: We present an end-to-end, model-based deep reinforcement learning agent which dynamically attends to relevant parts of its state during planning. The agent uses a bottleneck mechanism over a set-based representation to force the number of entities to which the agent attends at each planning step to be small. In experiments, we investigate the bottleneck mechanism with several sets of customized environments featuring different challenges. We consistently observe that the design allows the planning agents to generalize their learned task-solving abilities in compatible unseen environments by attending to the relevant objects, leading to better out-of-distribution generalization performance.


title: Arctic curves of the Reflecting Boundary Six Vertex and of the Twenty Vertex models

abstract: We apply the Tangent Method of Colomo and Sportiello to predict the arctic curves of the Six Vertex model with reflecting (U-turn) boundary and of the related Twenty Vertex model with suitable domain wall boundary conditions on a quadrangle, both in their Disordered phase.

categories: math-ph cond-mat.stat-mech math.CO math.MP math.PR


title: Formation of a highly ordered red phase in a MEH-PPV: polystyrene pseudogels

abstract: In this work, we demonstrate the formation of a "red-phase" poly[2-methoxy, 5-(2'- ethyl-hexoxy)-1,4-phenylene vinylene-PPV] (MEH-PPV) embedded into a host matrix of highly entangled ultra-high molecular weight polystyrene (MEH-PPV/UHMW PS pseudogel) that allows the simple processing of the MEH-PPV solutions. We processed a "red-phase" in the gel, the gel shows that the features what have beed demonstrated in the solution can be observed in the processable gel for optoelectronics applications. [Yamagata, Hajime, and Hestand, Nicholas J. and Spano, Frank C. and Kohler, Anna and Scharsich, Christina and Hoffmann, Sebastian T. and Bassler, Heinz, The Journal of Chemical Physics, 2013, 139, 114903]


title: Double Descent Optimization Pattern and Aliasing: Caveats of Noisy Labels

abstract: Optimization plays a key role in the training of deep neural networks. Deciding when to stop training can have a substantial impact on the performance of the network during inference. Under certain conditions, the generalization error can display a double descent pattern during training: the learning curve is non-monotonic and seemingly diverges before converging again after additional epochs. This optimization pattern can lead to early stopping procedures to stop training before the second convergence and consequently select a suboptimal set of parameters for the network, with worse performance during inference. In this work, in addition to confirming that double descent occurs with small datasets and noisy labels as evidenced by others, we show that noisy labels must be present both in the training and generalization sets to observe a double descent pattern. We also show that the learning rate has an influence on double descent, and study how different optimizers and optimizer parameters influence the apparition of double descent. Finally, we show that increasing the learning rate can create an aliasing effect that masks the double descent pattern without suppressing it. We study this phenomenon through extensive experiments on variants of CIFAR-10 and show that they translate to a real world application: the forecast of seizure events in epileptic patients from continuous electroencephalographic recordings.


title: The Weyl problem for unbounded convex domains in $\HH^3$

abstract: Let $K\subset \HH^3$ be a convex subset in $\HH^3$ with smooth, strictly convex boundary. The induced metric on $\partial K$ then has curvature $K>-1$. It was proved by Alexandrov that if $K$ is bounded, then it is uniquely determined by the induced metric on the boundary, and any smooth metric with curvature $K>-1$ can be obtained. We propose here an extension of the existence part of this result to unbounded convex domains in $\HH^3$. The induced metric on $\partial K$ is then clearly not sufficient to determine $K$. However one can consider a richer data on the boundary including the ideal boundary of $K$. Specifically, we consider the data composed of the full conformal structure on the boundary of $K$ (in the Poincar\'e model of $\HH^3$), together with the induced metric on $\partial K$. We show that a wide range of "reasonable" data of this type, satisfying mild curvature conditions, can be realized on the boundary of a convex subset in $\HH^3$.


title: Analytical Scaling Laws for Radiofrequency Based Pulse Compression in Ultrafast Electron Diffraction Beamlines

abstract: In this paper, we use an envelope equation-based approach to obtain analytical scaling laws for the shortest pulse length achievable using radiofrequency (RF) based bunch compression. The derived formulas elucidate the dependencies on the electron beam energy and beam charge and reveal how to obtain bunches containing 1 million electrons with single-digit fs pulse lengths; relativistic energies are strongly desirable. The effect of the non-linearities associated with the RF curvature and the beam propagation in a drift is shown to strongly limit the attainability of extreme compression ratios. Using an additional higher frequency RF cavity is proposed as a method to linearize the bunch compression and enable the generation of ultrashort beams in the sub-femtosecond regime.


title: Sharp Hardy-Sobolev-Maz'ya, Adams and Hardy-Adams inequalities on the Siegel domains and complex hyperbolic spaces

abstract: This paper continues the program initiated in the works by the authors [60], [61] and [62] and by the authors with Li [51] and [52] to establish higher order Poincar\'e-Sobolev, Hardy-Sobolev-Maz'ya, Adams and Hardy-Adams inequalities on real hyperbolic spaces using the method of Helgason-Fourier analysis on the hyperbolic spaces. The aim of this paper is to establish such inequalities on the Siegel domains and complex hyperbolic spaces. Firstly, we prove a factorization theorem for the operators on the complex hyperbolic space which is closely related to Geller' operator, as well as the CR invariant differential operators on the Heisenberg group and CR sphere. Secondly, by using, among other things, the Kunze-Stein phenomenon on a closed linear group $SU(1,n)$ and Helgason-Fourier analysis techniques on the complex hyperbolic spaces, we establish the Poincar\'e-Sobolev, Hardy-Sobolev-Maz'ya inequality on the Siegel domain $\mathcal{U}^{n}$ and the unit ball $\mathbb{B}_{\mathbb{C}}^{n}$. Finally, we establish the sharp Hardy-Adams inequalities and sharp Adams type inequalities on Sobolev spaces of any positive fractional order on the complex hyperbolic spaces. The factorization theorem we proved is of its independent interest in the Heisenberg group and CR sphere and CR invariant differential operators therein.


title: Semi-Empirical Objective Functions for MCMC Proposal Optimization

abstract: Current objective functions used for training neural MCMC proposal distributions implicitly rely on architectural restrictions to yield sensible optimization results, which hampers the development of highly expressive neural MCMC proposal architectures. In this work, we introduce and demonstrate a semi-empirical procedure for determining approximate objective functions suitable for optimizing arbitrarily parameterized proposal distributions in MCMC methods. Our proposed Ab Initio objective functions consist of the weighted combination of functions following constraints on their global optima and transformation invariances that we argue should be upheld by general measures of MCMC efficiency for use in proposal optimization. Our experimental results demonstrate that Ab Initio objective functions maintain favorable performance and preferable optimization behavior compared to existing objective functions for neural MCMC optimization. We find that Ab Initio objective functions are sufficiently robust to enable the confident optimization of neural proposal distributions parameterized by deep generative networks extending beyond the regimes of traditional MCMC schemes


title: A Little Robustness Goes a Long Way: Leveraging Robust Features for Targeted Transfer Attacks

abstract: Adversarial examples for neural network image classifiers are known to be transferable: examples optimized to be misclassified by a source classifier are often misclassified as well by classifiers with different architectures. However, targeted adversarial examples -- optimized to be classified as a chosen target class -- tend to be less transferable between architectures. While prior research on constructing transferable targeted attacks has focused on improving the optimization procedure, in this work we examine the role of the source classifier. Here, we show that training the source classifier to be "slightly robust" -- that is, robust to small-magnitude adversarial examples -- substantially improves the transferability of class-targeted and representation-targeted adversarial attacks, even between architectures as different as convolutional neural networks and transformers. The results we present provide insight into the nature of adversarial examples as well as the mechanisms underlying so-called "robust" classifiers.


title: Embedded Deep Regularized Block HSIC Thermomics for Early Diagnosis of Breast Cancer

abstract: Thermography has been used extensively as a complementary diagnostic tool in breast cancer detection. Among thermographic methods matrix factorization (MF) techniques show an unequivocal capability to detect thermal patterns corresponding to vasodilation in cancer cases. One of the biggest challenges in such techniques is selecting the best representation of the thermal basis. In this study, an embedding method is proposed to address this problem and Deep-semi-nonnegative matrix factorization (Deep-SemiNMF) for thermography is introduced, then tested for 208 breast cancer screening cases. First, we apply Deep-SemiNMF to infrared images to extract low-rank thermal representations for each case. Then, we embed low-rank bases to obtain one basis for each patient. After that, we extract 300 thermal imaging features, called thermomics, to decode imaging information for the automatic diagnostic model. We reduced the dimensionality of thermomics by spanning them onto Hilbert space using RBF kernel and select the three most efficient features using the block Hilbert Schmidt Independence Criterion Lasso (block HSIC Lasso). The preserved thermal heterogeneity successfully classified asymptomatic versus symptomatic patients applying a random forest model (cross-validated accuracy of 71.36% (69.42%-73.3%)).


title: Baryon Acoustic Oscillations from Integrated Neutral Gas Observations: an instrument to observe the 21cm hydrogen line in the redshift range 0.13 $<$ z $<$ 0.45 -- status update

abstract: BINGO (BAO from Integrated Neutral Gas Observations) is a unique radio telescope designed to map the intensity of neutral hydrogen distribution at cosmological distances, making the first detection of Baryon Acoustic Oscillations (BAO) in the frequency band 980 MHz - 1260 MHz, corresponding to a redshift range $0.127 < z < 0.449$. BAO is one of the most powerful probes of cosmological parameters and BINGO was designed to detect the BAO signal to a level that makes it possible to put new constraints on the equation of state of dark energy. The telescope will be built in Para\'iba, Brazil and consists of two $\thicksim$ 40m mirrors, a feedhorn array of 28 horns, and no moving parts, working as a drift-scan instrument. It will cover a $15^{\circ}$ declination strip centered at $\sim \delta=-15^{\circ}$, mapping $\sim 5400$ square degrees in the sky. The BINGO consortium is led by University of S\~ao Paulo with co-leadership at National Institute for Space Research and Campina Grande Federal University (Brazil). Telescope subsystems have already been fabricated and tested, and the dish and structure fabrication are expected to start in late 2020, as well as the road and terrain preparation.


title: Exponential Convergence of Piecewise-Constant Parameters Identification under Finite Excitation Condition

abstract: A problem of identification of piecewise-constant unknown parameters of a linear regression equation (LRE) is considered. Such parameters change their values over the interval of the regressor finite (rather than persistent) excitation. To solve it, the previously proposed I-DREM procedure and the integral-based filtering method with the exponential forgetting and resetting are improved: the integral of the filter equations is taken over the finite time intervals, which belong to the finite excitation time range. This allows one to obtain an exponentially bounded identification error over the excitation interval, and, when the LRE parameters are constant outside such interval, to provide exponential convergence of the identification error to zero. In addition, the applied method of the regressor excitation normalization makes it possible to obtain the same rate of convergence of the parameter error for the regressors of various amplitudes. The stability and all the above-mentioned properties are proved for the derived identification method. The results of numerical experiments (including the case of the noise-contaminated regressor and output measurements) fully support the obtained theoretical results.


title: Factorials and powers, a minimality result, revisited

abstract: Let $a > 1$. Then $a^n < n!$ for some positive integer $n$. There are several numerical sequences associated with the study of the smallest such integer which are studied in \cite{RadFact} and \cite{RadGamma}. Here we continue the examination of one of them.


title: Influence of cognitive, geographical, and collaborative proximity on knowledge production of Canadian nanotechnology

abstract: Incorporating existing knowledge is vital for innovating, discovering, and generating new ideas. Knowledge production through research and invention is the key to scientific and technological development. As an emerging technology, nanotechnology has already proved its great potential for the global economy, attracting considerable federal investments. Canada is reported as one of the major players in producing nanotechnology research. In this paper, we focused on the main drivers of knowledge production and diffusion by analyzing Canadian nanotechnology researchers. We hypothesized that knowledge production in Canadian nanotechnology is influenced by three key proximity factors, namely cognitive, geographical, and collaborative. Using statistical analysis, social network analysis, and machine learning techniques we comprehensively assessed the influence of the proximity factors on academic knowledge production. Our results not only prove a significant impact of the three key proximity factors but also their predictive potential.


title: Efficient $\mathbb{Z}_2$ synchronization on $\mathbb{Z}^d$ under symmetry-preserving side information

abstract: We consider $\mathbb{Z}_2$-synchronization on the Euclidean lattice. Every vertex of $\mathbb{Z}^d$ is assigned an independent symmetric random sign $\theta_u$, and for every edge $(u,v)$ of the lattice, one observes the product $\theta_u\theta_v$ flipped independently with probability $p$. The task is to reconstruct products $\theta_u\theta_v$ for pairs of vertices $u$ and $v$ which are arbitrarily far apart. Abb\'e, Massouli\'e, Montanari, Sly and Srivastava (2018) showed that synchronization is possible if and only if $p$ is below a critical threshold $\tilde{p}_c(d)$, and efficiently so for $p$ small enough. We augment this synchronization setting with a model of side information preserving the sign symmetry of $\theta$, and propose an \emph{efficient} algorithm which synchronizes a randomly chosen pair of far away vertices on average, up to a differently defined critical threshold $p_c(d)$. We conjecture that $ p_c(d)=\tilde{p}_c(d)$ for all $d \ge 2$. Our strategy is to \emph{renormalize} the synchronization model in order to reduce the effective noise parameter, and then apply a variant of the multiscale algorithm of AMMSS. The success of the renormalization procedure is conditional on a plausible but unproved assumption about the regularity of the free energy of an Ising spin glass model on $\mathbb{Z}^d$.


title: Finding and Fixing Spurious Patterns with Explanations

abstract: Image classifiers often use spurious patterns, such as "relying on the presence of a person to detect a tennis racket, which do not generalize. In this work, we present an end-to-end pipeline for identifying and mitigating spurious patterns for such models, under the assumption that we have access to pixel-wise object-annotations. We start by identifying patterns such as "the model's prediction for tennis racket changes 63% of the time if we hide the people." Then, if a pattern is spurious, we mitigate it via a novel form of data augmentation. We demonstrate that our method identifies a diverse set of spurious patterns and that it mitigates them by producing a model that is both more accurate on a distribution where the spurious pattern is not helpful and more robust to distribution shift.