title: Influence of relativistic rotation on the confinement/deconfinement transition in gluodynamics

abstract: In this paper we consider the influence of relativistic rotation on the confinement/deconfinement transition in gluodynamics within lattice simulation. We perform the simulation in the reference frame which rotates with the system under investigation, where rotation is reduced to external gravitational field. To study the confinement/deconfinement transition the Polyakov loop and its susceptibility are calculated for various lattice parameters and the values of angular velocities which are characteristic for heavy-ion collision experiments. Different types of boundary conditions (open, periodic, Dirichlet) are imposed in directions, orthogonal to rotation axis. Our data for the critical temperature are well described by a simple quadratic function $T_c(\Omega)/T_c(0) = 1 + C_2 \Omega^2$ with $C_2>0$ for all boundary conditions and all lattice parameters used in the simulations. From this we conclude that the critical temperature of the confinement/deconfinement transition in gluodynamics increases with increasing angular velocity. This conclusion does not depend on the boundary conditions used in our study and we believe that this is universal property of gluodynamics.


title: The Use and Misuse of Counterfactuals in Ethical Machine Learning

abstract: The use of counterfactuals for considerations of algorithmic fairness and explainability is gaining prominence within the machine learning community and industry. This paper argues for more caution with the use of counterfactuals when the facts to be considered are social categories such as race or gender. We review a broad body of papers from philosophy and social sciences on social ontology and the semantics of counterfactuals, and we conclude that the counterfactual approach in machine learning fairness and social explainability can require an incoherent theory of what social categories are. Our findings suggest that most often the social categories may not admit counterfactual manipulation, and hence may not appropriately satisfy the demands for evaluating the truth or falsity of counterfactuals. This is important because the widespread use of counterfactuals in machine learning can lead to misleading results when applied in high-stakes domains. Accordingly, we argue that even though counterfactuals play an essential part in some causal inferences, their use for questions of algorithmic fairness and social explanations can create more problems than they resolve. Our positive result is a set of tenets about using counterfactuals for fairness and explanations in machine learning.


title: Measuring anisotropic stress with relativistic effects

abstract: One of the main goal of large-scale structure surveys is to test the consistency of General Relativity at cosmological scales. In the $\Lambda$CDM model of cosmology, the relations between the fields describing the geometry and the content of our Universe are uniquely determined. In particular, the two gravitational potentials -- that describe the spatial and temporal fluctuations in the geometry -- are equal. Whereas large classes of dark energy models preserve this equality, theories of modified gravity generally create a difference between the potentials, known as anisotropic stress. Even though measuring this anisotropic stress is one of the key goals of large-scale structure surveys, there are currently no methods able to measure it directly. Current methods all rely on measurements of galaxy peculiar velocities (through redshift-space distortions), from which the time component of the metric is inferred, assuming that dark matter follows geodesics. If this is not the case, all the proposed tests fail to measure the anisotropic stress. In this letter, we propose a novel test which directly measures anisotropic stress, without relying on any assumption about the unknown dark matter. Our method uses relativistic effects in the galaxy number counts to provide a direct measurement of the time component of the metric. By comparing this with lensing observations our test provides a direct measurement of the anisotropic stress.


title: Unveiling the traits of massive young stellar objects through a multi-scale survey

abstract: The rarity and deeply embedded nature of stars with masses larger than 8 solar masses has limited our understanding of their formation. Previous work has shown that complementing spectral energy distributions with interferometric and imaging data can probe the circumstellar environments of massive young stellar objects (MYSOs) well. However, complex studies of single objects often use different approaches in their analysis. Therefore the results of these studies cannot be directly compared. This work aims to obtain the physical characteristics of a sample of MYSOs at ~0.01" scales, at 0.1" scales, and as a whole, which enables us to compare the characteristics of the sources. We apply the same multi-scale method and analysis to a sample of MYSOs. High-resolution interferometric data, near-diffraction-limited imaging data, and a multi-wavelength spectral energy distribution are combined. By fitting simulated observables derived from 2.5D radiative transfer models of disk-outflow-envelope systems to our observations, the properties of the MYSOs are constrained. We find that the observables of all the MYSOs can be reproduced by models with disk-outflow-envelope geometries, analogous to the Class I geometry associated with low-mass protostars. The characteristics of the envelopes and the cavities within them are very similar across our sample. On the other hand, the disks seem to differ between the objects, in particular with regards to what we interpret as evidence of complex structures and inner holes. This is comparable to the morphologies observed for low-mass young stellar objects. A strong correlation is found between the luminosity of the central MYSO and the size of the transition disk-like inner hole for the MYSOs, implying that photoevaporation or the presence of binary companions may be the cause.


title: Coupled Torsional and Transverse Vibration Analysis of Panels Partially Supported by Elastic Beam

abstract: This study presents torsional and transverse vibration analysis of a solar panel including a rectangular thin plate locally supported by an elastic beam. The plate is totally free in all boundaries, except for the local part attached to the beam. The response of the system, which is subjected to a combination of torsional and transverse vibration, identifies with a couple of PDEs developed by the Euler-Bernoulli assumption and classical plate theory. To calculate the system's natural frequencies, the domain of the solution is discretized by zeroes of the Chebyshev polynomials to apply the Modified Generalized Differential Quadrature method (MGDQ). Furthermore, governing equations along with continuity and boundary conditions are discretized. After obtaining solutions to the eigenvalue problem, several studies are investigated to validate the accuracy of the proposed method. As can be concluded from the tables, MGDQ improves the accuracy of results obtained by GDQ. Results for various case studies reveal that MGDQ is properly devised for the vibration analysis of systems with local boundary and continuity conditions.


title: The Diversity of Gamification Evaluation in the Software Engineering Education and Industry: Trends, Comparisons and Gaps

abstract: Gamification has been used to motivate and engage participants in software engineering education and practice activities. There is a significant demand for empirical studies for the understanding of the impacts and efficacy of gamification. However, the lack of standard procedures and models for the evaluation of gamification is a challenge for the design, comparison, and report of results related to the assessment of gamification approaches and its effects. The goal of this study is to identify models and strategies for the evaluation of gamification reported in the literature. To achieve this goal, we conducted a systematic mapping study to investigate strategies for the evaluation of gamification in the context of software engineering. We selected 100 primary studies on gamification in software engineering (from 2011 to 2020). We categorized the studies regarding the presence of evaluation procedures or models for the evaluation of gamification, the purpose of the evaluation, the criteria used, the type of data, instruments, and procedures for data analysis. Our results show that 64 studies report procedures for the evaluation of gamification. However, only three studies actually propose evaluation models for gamification. We observed that the evaluation of gamification focuses on two aspects: the evaluation of the gamification strategy itself, related to the user experience and perceptions; and the evaluation of the outcomes and effects of gamification on its users and context. The most recurring criteria for the evaluation are 'engagement', 'motivation', 'satisfaction', and 'performance'. Finally, the evaluation of gamification requires a mix of subjective and objective inputs, and qualitative and quantitative data analysis approaches. Depending of the focus of the evaluation (the strategy or the outcomes), there is a predominance of a type of data and analysis.


title: Deep Multilabel CNN for Forensic Footwear Impression Descriptor Identification

abstract: In recent years deep neural networks have become the workhorse of computer vision. In this paper, we employ a deep learning approach to classify footwear impression's features known as \emph{descriptors} for forensic use cases. Within this process, we develop and evaluate an effective technique for feeding downsampled greyscale impressions to a neural network pre-trained on data from a different domain. Our approach relies on learnable preprocessing layer paired with multiple interpolation methods used in parallel. We empirically show that this technique outperforms using a single type of interpolated image without learnable preprocessing, and can help to avoid the computational penalty related to using high resolution inputs, by making more efficient use of the low resolution inputs. We also investigate the effect of preserving the aspect ratio of the inputs, which leads to considerable boost in accuracy without increasing the computational budget with respect to squished rectangular images. Finally, we formulate a set of best practices for transfer learning with greyscale inputs, potentially widely applicable in computer vision tasks ranging from footwear impression classification to medical imaging.


title: Does Probabilistic Constellation Shaping Benefit IM-DD Systems without Optical Amplifiers?

abstract: Probabilistic constellation shaping (PCS) has been widely applied to amplified coherent optical transmissions owing to its shaping gain over the uniform signaling and fine-grained rate adaptation to the underlying fiber channel condition. These merits stimulate the study of applying PCS to short-reach applications dominated by intensity modulation (IM) direct detection (DD) systems. As commercial IM-DD systems typically do not employ optical amplification to save the cost and power consumption, they are no longer subject to an average power constraint (APC) but a peak power constraint (PPC), which poses unique challenges to take full advantages of PCS. This paper provides a comprehensive investigation of PCS in IM-DD systems without optical amplifiers. In particular, we reveal that if the transmitter enhances the peak-to-average power ratio of the signal, a PPC system can be partially or even fully converted to an APC system in which the classical PCS offers its merits. The findings are verified through an IM-DD experiment using 4- and 8-ary pulse amplitude modulations.


title: Sparse Antenna Array Design for MIMO Radar Using Softmax Selection

abstract: MIMO transmit arrays allow for flexible design of the transmit beampattern. However, the large number of elements required to achieve certain performance using uniform linear arrays (ULA) maybe be too costly. This motivated the need for thinned arrays by appropriately selecting a small number of elements so that the full array beampattern is preserved. In this paper, we propose Learn-to-Select (L2S), a novel machine learning model for selecting antennas from a dense ULA employing a combination of multiple Softmax layers constrained by an orthogonalization criterion. The proposed approach can be efficiently scaled for larger problems as it avoids the combinatorial explosion of the selection problem. It also offers a flexible array design framework as the selection problem can be easily formulated for any metric.


title: Global solutions of the two-dimensional Kuramoto-Sivashinsky equation with a linearly growing mode in each direction

abstract: In two spatial dimensions, there are very few global existence results for the Kuramoto-Sivashinsky equation. The majority of the few results in the literature are strongly anisotropic, i.e. are results of thin-domain type. In the spatially periodic case, the dynamics of the Kuramoto-Sivashinsky equation are in part governed by the size of the domain, as this determines how many linearly growing Fourier modes are present. The strongly anisotropic results allow linearly growing Fourier modes in only one of the spatial directions. We provide here the first proof of global solutions for the two-dimensional Kuramoto-Sivashinsky equation with a linearly growing mode in both spatial directions. We develop a new method to this end, categorizing wavenumbers as low (linearly growing modes), intermediate (linearly decaying modes which serve as energy sinks for the low modes), and high (strongly linearly decaying modes). The low and intermediate modes are controlled by means of a Lyapunov function, while the high modes are controlled with operator estimates in function spaces based on the Wiener algebra.


title: A probabilistic approach to the Erd\"os-Kac theorem for additive functions

abstract: We present a new perspective of assessing the rates of convergence to the Gaussian and Poisson distributions in the Erd\"os-Kac theorem for additive arithmetic functions $\psi$ of a random integer $J_n$ uniformly distributed over $\{1,...,n\}$. Our approach is probabilistic, working directly on spaces of random variables without any use of Fourier analytic methods, and our $\psi$ is more general than those considered in the literature. Our main results are (i) bounds on the Kolmogorov distance and Wasserstein distance between the distribution of the normalized $\psi(J_n)$ and the standard Gaussian distribution, and (ii) bounds on the Kolmogorov distance and total variation distance between the distribution of $\psi(J_n)$ and a Poisson distribution under mild additional assumptions on $\psi$. Our results generalize the existing ones in the literature.


title: Is Space-Time Attention All You Need for Video Understanding?

abstract: We present a convolution-free approach to video classification built exclusively on self-attention over space and time. Our method, named "TimeSformer," adapts the standard Transformer architecture to video by enabling spatiotemporal feature learning directly from a sequence of frame-level patches. Our experimental study compares different self-attention schemes and suggests that "divided attention," where temporal attention and spatial attention are separately applied within each block, leads to the best video classification accuracy among the design choices considered. Despite the radically new design, TimeSformer achieves state-of-the-art results on several action recognition benchmarks, including the best reported accuracy on Kinetics-400 and Kinetics-600. Finally, compared to 3D convolutional networks, our model is faster to train, it can achieve dramatically higher test efficiency (at a small drop in accuracy), and it can also be applied to much longer video clips (over one minute long). Code and models are available at: https://github.com/facebookresearch/TimeSformer.


title: Towards Bridging the gap between Empirical and Certified Robustness against Adversarial Examples

abstract: The current state-of-the-art defense methods against adversarial examples typically focus on improving either empirical or certified robustness. Among them, adversarially trained (AT) models produce empirical state-of-the-art defense against adversarial examples without providing any robustness guarantees for large classifiers or higher-dimensional inputs. In contrast, existing randomized smoothing based models achieve state-of-the-art certified robustness while significantly degrading the empirical robustness against adversarial examples. In this paper, we propose a novel method, called \emph{Certification through Adaptation}, that transforms an AT model into a randomized smoothing classifier during inference to provide certified robustness for $\ell_2$ norm without affecting their empirical robustness against adversarial attacks. We also propose \emph{Auto-Noise} technique that efficiently approximates the appropriate noise levels to flexibly certify the test examples using randomized smoothing technique. Our proposed \emph{Certification through Adaptation} with \emph{Auto-Noise} technique achieves an \textit{average certified radius (ACR) scores} up to $1.102$ and $1.148$ respectively for CIFAR-10 and ImageNet datasets using AT models without affecting their empirical robustness or benign accuracy. Therefore, our paper is a step towards bridging the gap between the empirical and certified robustness against adversarial examples by achieving both using the same classifier.


title: A broad-band X-ray view of the precessing accretion disk and pre-eclipse dip in the pulsar Her X-1 with NuSTAR and XMM-Newton

abstract: We present a broad-band X-ray timing study of the variations in pulse behavior with superorbital cycle in the low-mass X-ray binary Her X-1. This source shows a 35-day superorbital modulation in X-ray flux that is likely caused by occultation by a warped, precessing accretion disk. Our data set consists of four joint XMM-Newton and NuSTAR observations of Her X-1 which sample a complete superorbital cycle. We focus our analysis on the first and fourth observations, which occur during the bright "main-on" phase, because these observations have strongly detected pulsations. We added an archival XMM-Newton observation during the "short-on" phase of the superorbital cycle since our observations at that phase are lower in signal to noise. We find that the energy-resolved pulse profiles show the same shape at similar superorbital phases and the profiles are consistent with expectations from a precessing disk. We demonstrate that a simple precessing accretion disk model is sufficient to reproduce the observed pulse profiles. The results of this model suggest that the similarities in the observed pulse profiles are due to reprocessing by a precessing disk that has returned to its original precession phase. We determine that the broad-band spectrum is well fit by an absorbed power law with a soft blackbody component, and show that the spectral continuum also exhibits dependence on the superorbital cycle. We also present a brief analysis of the energy resolved light curves of a pre-eclipse dip, which shows soft X-ray absorption and hard X-ray variability during the dip.


title: Achieving ultimate noise tolerance in quantum communication

abstract: At the fundamental level, quantum communication is ultimately limited by noise. For instance, quantum signals cannot be amplified without the introduction of noise in the amplified states. Furthermore, photon loss reduces the signal-to-noise ratio, accentuating the effect of noise. Thus, most of the efforts in quantum communications have been directed towards overcoming noise to achieve longer communication distances, larger secret key rates, or to operate in noisier environmental conditions. Here, we propose and experimentally demonstrate a platform for quantum communication based on ultrafast optical techniques. In particular, our scheme enables the experimental realization of high-rates and quantum signal filtering approaching a single spectro-temporal mode, resulting in a dramatic reduction in channel noise. By experimentally realizing a 1-ps optically induced temporal gate, we show that ultrafast time filtering can result in an improvement in noise tolerance by a factor of up to 1200 compared to a 2-ns electronic filter enabling daytime quantum key distribution or quantum communication in bright fibers.


title: Spontaneous time reversal symmetry breaking at individual grain boundaries in graphene

abstract: Graphene grain boundaries have attracted interest for their ability to host nearly dispersionless electronic bands and magnetic instabilities. Here, we employ quantum transport and universal conductance fluctuations (UCF) measurements to experimentally demonstrate a spontaneous breaking of time reversal symmetry (TRS) across individual GBs of chemical vapour deposited graphene. While quantum transport across the GBs indicate spin-scattering-induced dephasing, and hence formation of local magnetic moments, below $T\lesssim 4$ K, we observe complete lifting of TRS at high carrier densities ($n \gtrsim 5\times 10^{12}$cm$^{-2}$) and low temperature ($T\lesssim 2$ K). An unprecedented thirty times reduction in the UCF magnitude with increasing doping density further supports the possibility of an emergent frozen magnetic state at the GBs. Our experimental results suggest that realistic GBs of graphene can be a promising resource for new electronic phases and spin-based applications.


title: On structural and practical identifiability

abstract: We discuss issues of structural and practical identifiability of partially observed differential equations which are often applied in systems biology. The development of mathematical methods to investigate structural non-identifiability has a long tradition. Computationally efficient methods to detect and cure it have been developed recently. Practical non-identifiability on the other hand has not been investigated at the same conceptually clear level. We argue that practical identifiability is more challenging than structural identifiability when it comes to modelling experimental data. We discuss that the classical approach based on the Fisher information matrix has severe shortcomings. As an alternative, we propose using the profile likelihood, which is a powerful approach to detect and resolve practical non-identifiability.


title: Using Parker Solar Probe observations during the first four perihelia to constrain global magnetohydrodynamic models

abstract: Parker Solar Probe (PSP) is providing an unprecedented view of the Sun's corona as it progressively dips closer into the solar atmosphere with each solar encounter. Each set of observations provides a unique opportunity to test and constrain global models of the solar corona and inner heliosphere and, in turn, use the model results to provide a global context for interpreting such observations. In this study, we develop a set of global magnetohydrodynamic (MHD) model solutions of varying degrees of sophistication for PSP's first four encounters and compare the results with in situ measurements from PSP, Stereo-A, and Earth-based spacecraft, with the objective of assessing which models perform better or worse. All models were primarily driven by the observed photospheric magnetic field using data from Solar Dynamics Observatory's Helioseismic and Magnetic Imager (HMI) instrument. Overall, we find that there are substantial differences between the model results, both in terms of the large-scale structure of the inner heliosphere during these time periods, as well as in the inferred time-series at various spacecraft. The "thermodynamic" model, which represents the "middle ground", in terms of model complexity, appears to reproduce the observations most closely for all four encounters. Our results also contradict an earlier study that had hinted that the open flux problem may disappear nearer the Sun. Instead, our results suggest that this "missing" solar flux is still missing even at 26.9 Rs, and thus it cannot be explained by interplanetary processes. Finally, the model results were also used to provide a global context for interpreting the localized in situ measurements.


title: Morse Potential on a Quantum Computer for Molecules and Supersymmetric Quantum Mechanics

abstract: In this paper we discuss the Morse potential on a quantum computer. The Morse potential is useful to describe diatomic molecules and has a finite number of bound states which can be measured through spectroscopy. It is also a example of an exactly soluble potential using supersymmetric quantum mechanics. Using the the supersymmetric quantum mechanics formalism one can derive a heirachy of Hamiltonians such that the ground state of the next rung on the heirarchy yeids the first excited state of the hamiltonian below it. Using this method one can determine all the states of the Morse potential by calculating all the ground states of the sequence of Hamiltonians in the heirarchy. We use the IBM QISKit software together with the Variational Quantum Eiegensolver (VQE) algorithm to calculate the ground state and first excited state energy of the Morse potential and find agreement with the exact expression for the bound state energies of the Morse Potential. We analyze different optimizers to study the numerical effect on the calculations. Finally we perform quantum computations for diatomic and triatomic molecules to illustrate the application of these techniques on near term quantum computers and find excellent agreement with experimental data.


title: Fisher Scoring for crossed factor Linear Mixed Models

abstract: The analysis of longitudinal, heterogeneous or unbalanced clustered data is of primary importance to a wide range of applications. The Linear Mixed Model (LMM) is a popular and flexible extension of the linear model specifically designed for such purposes. Historically, a large proportion of material published on the LMM concerns the application of popular numerical optimization algorithms, such as Newton-Raphson, Fisher Scoring and Expectation Maximization to single-factor LMMs (i.e. LMMs that only contain one "factor" by which observations are grouped). However, in recent years, the focus of the LMM literature has moved towards the development of estimation and inference methods for more complex, multi-factored designs. In this paper, we present and derive new expressions for the extension of an algorithm classically used for single-factor LMM parameter estimation, Fisher Scoring, to multiple, crossed-factor designs. Through simulation and real data examples, we compare five variants of the Fisher Scoring algorithm with one another, as well as against a baseline established by the R package lmer, and find evidence of correctness and strong computational efficiency for four of the five proposed approaches. Additionally, we provide a new method for LMM Satterthwaite degrees of freedom estimation based on analytical results, which does not require iterative gradient estimation. Via simulation, we find that this approach produces estimates with both lower bias and lower variance than the existing methods.


title: "What's in the box?!": Deflecting Adversarial Attacks by Randomly Deploying Adversarially-Disjoint Models

abstract: Machine learning models are now widely deployed in real-world applications. However, the existence of adversarial examples has been long considered a real threat to such models. While numerous defenses aiming to improve the robustness have been proposed, many have been shown ineffective. As these vulnerabilities are still nowhere near being eliminated, we propose an alternative deployment-based defense paradigm that goes beyond the traditional white-box and black-box threat models. Instead of training a single partially-robust model, one could train a set of same-functionality, yet, adversarially-disjoint models with minimal in-between attack transferability. These models could then be randomly and individually deployed, such that accessing one of them minimally affects the others. Our experiments on CIFAR-10 and a wide range of attacks show that we achieve a significantly lower attack transferability across our disjoint models compared to a baseline of ensemble diversity. In addition, compared to an adversarially trained set, we achieve a higher average robust accuracy while maintaining the accuracy of clean examples.


title: Deep learning architectural designs for super-resolution of noisy images

abstract: Recent advances in deep learning have led to significant improvements in single image super-resolution (SR) research. However, due to the amplification of noise during the upsampling steps, state-of-the-art methods often fail at reconstructing high-resolution images from noisy versions of their low-resolution counterparts. However, this is especially important for images from unknown cameras with unseen types of image degradation. In this work, we propose to jointly perform denoising and super-resolution. To this end, we investigate two architectural designs: "in-network" combines both tasks at feature level, while "pre-network" first performs denoising and then super-resolution. Our experiments show that both variants have specific advantages: The in-network design obtains the strongest results when the type of image corruption is aligned in the training and testing dataset, for any choice of denoiser. The pre-network design exhibits superior performance on unseen types of image corruption, which is a pathological failure case of existing super-resolution models. We hope that these findings help to enable super-resolution also in less constrained scenarios where source camera or imaging conditions are not well controlled. Source code and pretrained models are available at https://github.com/ angelvillar96/super-resolution-noisy-images.


title: Quantitative phase microscopy using quadriwave lateral shearing interferometry (QLSI): principle, terminology, algorithm and grating shadow description

abstract: Quadriwave lateral shearing interferometry (QLSI) is a quantitative phase imaging technique based on the use of a diffraction grating placed in front of a camera. This grating creates a wire-mesh-like image, called an interferogram, that is postprocessed to retrieve both the intensity and phase profiles of an incoming light beam. Invented in the 90s, QLSI has been used in numerous applications, e.g., laser beam characterization, lens metrology, topography measurements, adaptive optics, or gas jet metrology. More recently, the technique has been implemented on optical microscopes to characterize micro and nano-objects for bioimaging and nanophotonics applications. However, not much effort has been placed on disseminating this powerful technology so far, while it is yet a particularly simple technique. In this article, we intend to popularize this technique by describing all its facets in the framework of optical microscopy, namely the working principle, its implementation on a microscope and the theory of image formation, using simple pictures. Also, we provide and comment an algorithm of interferogram processing, written in Matlab. Then, following the new extension of the technique for microscopy and nanophotonics applications, and the deviation from what the technique was initially invented for, we propose to revisit the description of the technique, in particular by discussing the terminology, insisting more on a grating-shadow description rather than a quadriwave process, and proposing an alternative appellation, namely "grating shadow phase microscopy" or "grating-assisted phase imaging".


title: Sub-seasonal forecasting with a large ensemble of deep-learning weather prediction models

abstract: We present an ensemble prediction system using a Deep Learning Weather Prediction (DLWP) model that recursively predicts key atmospheric variables with six-hour time resolution. This model uses convolutional neural networks (CNNs) on a cubed sphere grid to produce global forecasts. The approach is computationally efficient, requiring just three minutes on a single GPU to produce a 320-member set of six-week forecasts at 1.4{\deg} resolution. Ensemble spread is primarily produced by randomizing the CNN training process to create a set of 32 DLWP models with slightly different learned weights. Although our DLWP model does not forecast precipitation, it does forecast total column water vapor, and it gives a reasonable 4.5-day deterministic forecast of Hurricane Irma. In addition to simulating mid-latitude weather systems, it spontaneously generates tropical cyclones in a one-year free-running simulation. Averaged globally and over a two-year test set, the ensemble mean RMSE retains skill relative to climatology beyond two-weeks, with anomaly correlation coefficients remaining above 0.6 through six days. Our primary application is to subseasonal-to-seasonal (S2S) forecasting at lead times from two to six weeks. Current forecast systems have low skill in predicting one- or 2-week-average weather patterns at S2S time scales. The continuous ranked probability score (CRPS) and the ranked probability skill score (RPSS) show that the DLWP ensemble is only modestly inferior in performance to the European Centre for Medium Range Weather Forecasts (ECMWF) S2S ensemble over land at lead times of 4 and 5-6 weeks. At shorter lead times, the ECMWF ensemble performs better than DLWP.


title: In-situ diagnostic of femtosecond probes for high resolution ultrafast imaging

abstract: Ultrafast imaging is essential in physics and chemistry to investigate the femtosecond dynamics of nonuniform samples or of phenomena with strong spatial variations. It relies on observing the phenomena induced by an ultrashort laser pump pulse using an ultrashort probe pulse at a later time. Recent years have seen the emergence of very successful ultrafast imaging techniques of single non-reproducible events with extremely high frame rate, based on wavelength or spatial frequency encoding. However, further progress in ultrafast imaging towards high spatial resolution is hampered by the lack of characterization of weak probe beams. Because of the difference in group velocities between pump and probe in the bulk of the material, the determination of the absolute pump-probe delay depends on the sample position. In addition, pulse-front tilt is a widespread issue, unacceptable for ultrafast imaging, but which is conventionally very difficult to evaluate for the low-intensity probe pulses. Here we show that a pump-induced micro-grating generated from the electronic Kerr effect provides a detailed in-situ characterization of a weak probe pulse. It allows solving the two issues. Our approach is valid whatever the transparent medium, whatever the probe pulse polarization and wavelength. Because it is nondestructive and fast to implement, this in-situ probe diagnostic can be repeated to calibrate experimental conditions, particularly in the case where complex wavelength, spatial frequency or polarization encoding is used. We anticipate that this technique will enable previously inaccessible spatiotemporal imaging in all fields of ultrafast science and high field physics at the micro- and nanoscale.


title: CDPAM: Contrastive learning for perceptual audio similarity

abstract: Many speech processing methods based on deep learning require an automatic and differentiable audio metric for the loss function. The DPAM approach of Manocha et al. learns a full-reference metric trained directly on human judgments, and thus correlates well with human perception. However, it requires a large number of human annotations and does not generalize well outside the range of perturbations on which it was trained. This paper introduces CDPAM, a metric that builds on and advances DPAM. The primary improvement is to combine contrastive learning and multi-dimensional representations to build robust models from limited data. In addition, we collect human judgments on triplet comparisons to improve generalization to a broader range of audio perturbations. CDPAM correlates well with human responses across nine varied datasets. We also show that adding this metric to existing speech synthesis and enhancement methods yields significant improvement, as measured by objective and subjective tests.


title: Adversarial Perturbations Are Not So Weird: Entanglement of Robust and Non-Robust Features in Neural Network Classifiers

abstract: Neural networks trained on visual data are well-known to be vulnerable to often imperceptible adversarial perturbations. The reasons for this vulnerability are still being debated in the literature. Recently Ilyas et al. (2019) showed that this vulnerability arises, in part, because neural network classifiers rely on highly predictive but brittle "non-robust" features. In this paper we extend the work of Ilyas et al. by investigating the nature of the input patterns that give rise to these features. In particular, we hypothesize that in a neural network trained in a standard way, non-robust features respond to small, "non-semantic" patterns that are typically entangled with larger, robust patterns, known to be more human-interpretable, as opposed to solely responding to statistical artifacts in a dataset. Thus, adversarial examples can be formed via minimal perturbations to these small, entangled patterns. In addition, we demonstrate a corollary of our hypothesis: robust classifiers are more effective than standard (non-robust) ones as a source for generating transferable adversarial examples in both the untargeted and targeted settings. The results we present in this paper provide new insight into the nature of the non-robust features responsible for adversarial vulnerability of neural network classifiers.


title: Nonlinear Observers Design for Vision-Aided Inertial Navigation Systems

abstract: This paper deals with the simultaneous estimation of the attitude, position and linear velocity for vision-aided inertial navigation systems. We propose a nonlinear observer on $SO(3)\times \mathbb{R}^{15}$ relying on body-frame acceleration, angular velocity and (stereo or monocular) bearing measurements of some landmarks that are constant and known in the inertial frame. Unlike the existing local Kalman-type observers, our proposed nonlinear observer guarantees almost global asymptotic stability and local exponential stability. A detailed uniform observability analysis has been conducted and sufficient conditions are derived. Moreover, a hybrid version of the proposed observer is provided to handle the intermittent nature of the measurements in practical applications. Simulation and experimental results are provided to illustrate the effectiveness of the proposed state observer.


title: Dyonic Born-Infeld black hole in four-dimensional Horndeski gravity

abstract: The action of four-dimensional Horndeski gravity coupled to Born-Infeld electromagnetic fields is given via the Kaluza-Klein process. Dyonic black hole solution of the theory is constructed. The metric is devoid of singularity at the origin independent of the parameter selections, this property is different from the one of Einstein-Born-Infeld black holes. Thermodynamics of the black hole is studied, thermodynamic quantities are calculated and the first law is checked to be satisfied. Thermodynamic phase transitions of the black holes are studied in extended phase space.


title: Negative Data Augmentation

abstract: Data augmentation is often used to enlarge datasets with synthetic samples generated in accordance with the underlying data distribution. To enable a wider range of augmentations, we explore negative data augmentation strategies (NDA)that intentionally create out-of-distribution samples. We show that such negative out-of-distribution samples provide information on the support of the data distribution, and can be leveraged for generative modeling and representation learning. We introduce a new GAN training objective where we use NDA as an additional source of synthetic data for the discriminator. We prove that under suitable conditions, optimizing the resulting objective still recovers the true data distribution but can directly bias the generator towards avoiding samples that lack the desired structure. Empirically, models trained with our method achieve improved conditional/unconditional image generation along with improved anomaly detection capabilities. Further, we incorporate the same negative data augmentation strategy in a contrastive learning framework for self-supervised representation learning on images and videos, achieving improved performance on downstream image classification, object detection, and action recognition tasks. These results suggest that prior knowledge on what does not constitute valid data is an effective form of weak supervision across a range of unsupervised learning tasks.


title: A note on (matricial and fast) ways to compute Burt's structural holes

abstract: In this note I derive simple formulas based on the adjacency matrix of a network to compute measures associated with Ronald S. Burt's structural holes (effective size, redundancy, local constraint and constraint). This can help to interpret these measures and also to define naive algorithms for their computation based on matrix operations.


title: A Kinetic Model for Electron-Ion Transport in Warm Dense Matter

abstract: We present a model for electron-ion transport in Warm Dense Matter that incorporates Coulomb coupling effects into the quantum Boltzmann equation of Uehling and Uhlenbeck through the use of a statistical potential of mean force. Although this model has been derived rigorously in the classical limit [S.D. Baalrud and J. Daligault, Physics of Plasmas 26, 8, 082106 (2019)], its quantum generalization is complicated by the uncertainty principle. Here we apply an existing model for the potential of mean force based on the quantum Ornstein-Zernike equation coupled with an average-atom model [C. E. Starrett, High Energy Density Phys. 25, 8 (2017)]. This potential contains correlations due to both Coulomb coupling and exchange, and the collision kernel of the kinetic theory enforces Pauli blocking while allowing for electron diffraction and large-angle collisions. By solving the Uehling-Uhlenbeck equation for electron-ion relaxation rates, we predict the momentum and temperature relaxation time and electrical conductivity of solid density aluminum plasma based on electron-ion collisions. We present results for density and temperature conditions that span the transition from classical weakly-coupled plasma to degenerate moderately-coupled plasma. Our findings agree well with recent quantum molecular dynamics simulations.


title: Origin of Topological Surface Superconductivity in FeSe$_{0.45}$Te$_{0.55}$

abstract: The engineering of Majorana zero modes in topological superconductors, a new paradigm for the realization of topological quantum computing and topology-based devices, has been hampered by the absence of materials with sufficiently large superconducting gaps. Recent experiments, however, have provided enthralling evidence for the existence of topological surface superconductivity in the iron-based superconductor FeSe$_{0.45}$Te$_{0.55}$ possessing a full $s_\pm$-wave gap of a few meV. Here, we propose a mechanism for the emergence of topological superconductivity on the surface of FeSe$_{0.45}$Te$_{0.55}$ by demonstrating that the interplay between the $s_\pm$-wave symmetry of the superconducting gap, recently observed surface magnetism, and a Rashba spin-orbit interaction gives rise to several topological superconducting phases. Moreover, the proposed mechanism explains a series of experimentally observed hallmarks of topological superconductivity, such as the emergence of Majorana zero modes in the center of vortex cores and at the end of line defects, as well as of chiral Majorana edge modes along certain types of domain walls. We also propose that the spatial distribution of supercurrents near a domain wall is a characteristic signature measurable via a scanning superconducting quantum interference device that can distinguish between chiral Majorana edge modes and trivial in-gap states.


title: DARE-SLAM: Degeneracy-Aware and Resilient Loop Closing in Perceptually-Degraded Environments

abstract: Enabling fully autonomous robots capable of navigating and exploring large-scale, unknown and complex environments has been at the core of robotics research for several decades. A key requirement in autonomous exploration is building accurate and consistent maps of the unknown environment that can be used for reliable navigation. Loop closure detection, the ability to assert that a robot has returned to a previously visited location, is crucial for consistent mapping as it reduces the drift caused by error accumulation in the estimated robot trajectory. Moreover, in multi-robot systems, loop closures enable merging local maps obtained by a team of robots into a consistent global map of the environment. In this paper, we present a degeneracy-aware and drift-resilient loop closing method to improve place recognition and resolve 3D location ambiguities for simultaneous localization and mapping (SLAM) in GPS-denied, large-scale and perceptually-degraded environments. More specifically, we focus on SLAM in subterranean environments (e.g., lava tubes, caves, and mines) that represent examples of complex and ambiguous environments where current methods have inadequate performance.


title: Energetic cost of Hamiltonian quantum gates

abstract: Landauer's principle laid the main foundation for the development of modern thermodynamics of information. However, in its original inception the principle relies on semiformal arguments and dissipative dynamics. Hence, if and how Landauer's principle applies to unitary quantum computing is less than obvious. Here, we prove an inequality bounding the change of Shannon information encoded in the logical quantum states by quantifying the energetic cost of Hamiltonian gate operations. The utility of this bound is demonstrated by outlining how it can be applied to identify energetically optimal quantum gates in theory and experiment. The analysis is concluded by discussing the energetic cost of quantum error correcting codes with non-interacting qubits, such as Shor's code.


title: Charged dust solutions for the warp drive spacetime

abstract: The Alcubierre warp drive metric is a spacetime construction where a massive particle located inside a spacetime distortion, called warp bubble, travels at velocities arbitrarily higher than the velocity of light. This theoretically constructed spacetime geometry is a consequence of general relativity where global superluminal velocities, also known as warp speeds, are possible, whereas local speeds are limited to subluminal ones as required by special relativity. In this work we analyze the solutions of the Einstein equations having charged dust energy-momentum tensor as source for warp velocities. The Einstein equations with the cosmological constant are written and all solutions having energy-momentum tensor components for electromagnetic fields generated by charged dust are presented, as well as the respective energy conditions. The results show an interplay between the energy conditions and the electromagnetic field such that in some cases the former can be satisfied by both positive and negative matter density. In other cases the dominant and null energy conditions are violated. A result connecting the electric energy density with the cosmological constant is also presented, as well as the effects of the electromagnetic field on the bubble dynamics.


title: Dynamic Mode Decomposition of inertial particle caustics in Taylor-Green flow

abstract: Inertial particles advected by a background flow can show complex structures. We consider inertial particles in a 2D Taylor-Green (TG) flow and characterize particle dynamics as a function of the particle's Stokes number using dynamic mode decomposition (DMD) method from particle image velocimetry (PIV) like-data. We observe the formation of caustic structures and analyze them using DMD to (a) determine the Stokes number of the particles, and (b) estimate the particle Stokes number composition. Our analysis in this idealized flow will provide useful insight to analyze inertial particles in more complex or turbulent flows. We propose that the DMD technique can be used to perform a similar analysis on an experimental system.


title: Generalized Catalan numbers from hypergraphs

abstract: The Catalan numbers (C_n)_{n >= 0} = 1,1,2,5,14,42,... form one of the most venerable sequences in combinatorics. They have many combinatorial interpretations, from counting bracketings of products in non-associative algebra to counting plane trees and noncrossing set partitions. They also arise in the GUE matrix model as the leading coefficient of certain polynomials, a connection closely related to the plane trees and noncrossing set partitions interpretations. In this paper we define a generalization of the Catalan numbers. In fact we define an infinite collection of generalizations C_n^(m), m >= 1, with m=1 giving the usual Catalans. The sequence C_n^(m) comes from studying certain matrix models attached to hypergraphs. We also give some combinatorial interpretations of these numbers, and conjecture some asymptotics.


title: Koopman based data-driven predictive control

abstract: Sparked by the Willems' fundamental lemma, a class of data-driven control methods has been developed for LTI systems. At the same time, the Koopman operator theory attempts to cast a nonlinear control problem into a standard linear one albeit infinite-dimensional. Motivated by these two ideas, a data-driven control scheme for nonlinear systems is proposed in this work. The proposed scheme is compatible with most differential regressors enabling offline learning. In particular, the model uncertainty is considered, enabling a novel data-driven simulation framework based on Wasserstein distance. Numerical experiments are performed with Bayesian neural networks to show the effectiveness of both the proposed control and simulation scheme.


title: Backdoor Scanning for Deep Neural Networks through K-Arm Optimization

abstract: Back-door attack poses a severe threat to deep learning systems. It injects hidden malicious behaviors to a model such that any input stamped with a special pattern can trigger such behaviors. Detecting back-door is hence of pressing need. Many existing defense techniques use optimization to generate the smallest input pattern that forces the model to misclassify a set of benign inputs injected with the pattern to a target label. However, the complexity is quadratic to the number of class labels such that they can hardly handle models with many classes. Inspired by Multi-Arm Bandit in Reinforcement Learning, we propose a K-Arm optimization method for backdoor detection. By iteratively and stochastically selecting the most promising labels for optimization with the guidance of an objective function, we substantially reduce the complexity, allowing to handle models with many classes. Moreover, by iteratively refining the selection of labels to optimize, it substantially mitigates the uncertainty in choosing the right labels, improving detection accuracy. At the time of submission, the evaluation of our method on over 4000 models in the IARPA TrojAI competition from round 1 to the latest round 4 achieves top performance on the leaderboard. Our technique also supersedes three state-of-the-art techniques in terms of accuracy and the scanning time needed.


title: A $W^\pm$ polarization analyzer from Deep Neural Networks

abstract: In this paper, we train a Convolutional Neural Network to classify longitudinally and transversely polarized hadronic $W^\pm$ using the images of boosted $W^{\pm}$ jets as input. The images capture angular and energy information from the jet constituents that is faithful to properties of the original quark/anti-quark $W^{\pm}$ decay products without the need for invasive substructure cuts. We find that the difference between the polarizations is too subtle for the network to be used as an event-by-event tagger. However, given an ensemble of $W^{\pm}$ events with unknown polarization, the average network output from that ensemble can be used to extract the longitudinal fraction $f_L$. We test the network on Standard Model $pp \to W^{\pm}Z$ events and on $pp \to W^{\pm}Z$ in the presence of dimension-6 operators that perturb the polarization composition.


title: Fractional discrete vortex solitons

abstract: We examine the existence and stability of nonlinear discrete vortex solitons in a square lattice when the standard discrete Laplacian is replaced by a fractional version. This creates a new, effective site-energy term, and a coupling among sites, whose range depends on the value of the fractional exponent $\alpha$, becoming effectively long-range at small $\alpha$ values. At long-distance, it can be shown that this coupling decreases faster than exponential: $\sim \exp(- |{\bf n}|)/\sqrt{|\bf{n}|}$. In general, we observe that the stability domain of the discrete vortex solitons is extended to lower power levels, as the $\alpha$ coefficient diminishes, independently of their topological charge and/or pattern distribution.


title: AuGPT: Auxiliary Tasks and Data Augmentation for End-To-End Dialogue with Pre-Trained Language Models

abstract: Attention-based pre-trained language models such as GPT-2 brought considerable progress to end-to-end dialogue modelling. However, they also present considerable risks for task-oriented dialogue, such as lack of knowledge grounding or diversity. To address these issues, we introduce modified training objectives for language model finetuning, and we employ massive data augmentation via back-translation to increase the diversity of the training data. We further examine the possibilities of combining data from multiples sources to improve performance on the target dataset. We carefully evaluate our contributions with both human and automatic methods. Our model substantially outperforms the baseline on the MultiWOZ data and shows competitive performance with state of the art in both automatic and human evaluation.


title: Extensions of Watson's theorem and the Ramanujan-Guinand formula

abstract: Ramanujan provided several results involving the modified Bessel function $K_z(x)$ in his Lost Notebook. One of them is the famous Ramanujan-Guinand formula, equivalent to the functional equation of the non-holomorphic Eiesenstien series on $SL_2(z)$. Recently, this formula was generalized by Dixit, Kesarwani, and Moll. In this article, we first obtain a generalization of a theorem of Watson and, as an application of it, give a new proof of the result of Dixit, Kesarwani, and Moll. Watson's theorem is also generalized in a different direction using ${}_\mu K_z(x,\lambda)$ which is itself a generalization of $K_z(x)$. Analytic continuation of all these results are also given.


title: Rational normal curves and Hadamard products

abstract: Given $r>n$ general hyperplanes in $\mathbb P^n,$ a star configuration of points is the set of all the $n$-wise intersection of them. We introduce {\it contact star configurations}, which are star configurations where all the hyperplanes are osculating to the same rational normal curve. In this paper we find a relation between this construction and Hadamard products of linear varieties. Moreover, we study the union of contact star configurations on a same conic in $\mathbb P^2$, we prove that the union of two contact star configurations has a special $h$-vector and, in some cases, this is a complete intersection.


title: Parametric excitation of wrinkles in elastic sheets on elastic and viscoelastic substrates

abstract: Thin elastic sheets supported on compliant media form wrinkles under lateral compression. Since the lateral pressure is coupled to the sheet's deformation, varying it periodically in time creates a parametric excitation. We study the resulting parametric resonance of wrinkling modes in sheets supported on semi-infinite elastic or viscoelastic media, at pressures smaller than the critical pressure of static wrinkling. We find distinctive behaviors as a function of excitation amplitude and frequency, including (a) a different dependence of the dynamic wrinkle wavelength on sheet thickness compared to the static wavelength; and (b) a discontinuous decrease of the wrinkle wavelength upon increasing excitation frequency at sufficiently large pressures. In the case of a viscoelastic substrate, resonant wrinkling requires crossing a threshold of excitation amplitude. The frequencies for observing these phenomena in relevant experimental systems are of the order of a kilohertz and above. We discuss experimental implications of the results.


title: Extended skeletons of poly-stable pairs

abstract: We introduce the notion of poly-stable pairs of formal schemes over the valuation ring of a non-archimedean field. For such pairs we define and investigate the dual intersection complex. We proceed to develop the so called extended skeleton of a poly-stable pair via an approximation process using the classical skeletons constructed by Berkovich. This is essentially a generalization of a construction by Gubler, Rabinoff and Werner from the strictly semi-stable case to the arbitrary poly-stable case and we extend their results.


title: Label Smoothed Embedding Hypothesis for Out-of-Distribution Detection

abstract: Detecting out-of-distribution (OOD) examples is critical in many applications. We propose an unsupervised method to detect OOD samples using a $k$-NN density estimate with respect to a classification model's intermediate activations on in-distribution samples. We leverage a recent insight about label smoothing, which we call the \emph{Label Smoothed Embedding Hypothesis}, and show that one of the implications is that the $k$-NN density estimator performs better as an OOD detection method both theoretically and empirically when the model is trained with label smoothing. Finally, we show that our proposal outperforms many OOD baselines and also provide new finite-sample high-probability statistical results for $k$-NN density estimation's ability to detect OOD examples.


title: Using Deep LSD to build operators in GANs latent space with meaning in real space

abstract: Generative models rely on the key idea that data can be represented in terms of latent variables which are uncorrelated by definition. Lack of correlation is important because it suggests that the latent space manifold is simpler to understand and manipulate. Generative models are widely used in deep learning, e.g., variational autoencoders (VAEs) and generative adversarial networks (GANs). Here we propose a method to build a set of linearly independent vectors in the latent space of a GANs, which we call quasi-eigenvectors. These quasi-eigenvectors have two key properties: i) They span all the latent space, ii) A set of these quasi-eigenvectors map to each of the labeled features one-on-one. We show that in the case of the MNIST, while the number of dimensions in latent space is large by construction, 98% of the data in real space map to a sub-domain of latent space of dimensionality equal to the number of labels. We then show how the quasi-eigenvalues can be used for Latent Spectral Decomposition (LSD), which has applications in denoising images and for performing matrix operations in latent space that map to feature transformations in real space. We show how this method provides insight into the latent space topology. The key point is that the set of quasi-eigenvectors form a basis set in latent space and each direction corresponds to a feature in real space.


title: The islands of shape coexistence within the Elliott and the proxy-SU(3) Models

abstract: A novel dual-shell mechanism for the phenomenon of shape coexistence in nuclei within the Elliott SU(3) and the proxy-SU(3) symmetry is proposed for all mass regions. It is supposed, that shape coexistence is activated by large quadrupole-quadrupole interaction and involves the interchange among the spin-orbit (SO) like shells within nucleon numbers 6-14, 14-28, 28-50, 50-82, 82-126, 126-184, which are being described by the proxy-SU(3) symmetry, and the harmonic oscillator (HO) shells within nucleon numbers 2-8, 8-20, 20-40, 40-70, 70-112, 112-168 of the Elliott SU(3) symmetry. The outcome is, that shape coexistence may occur in certain islands on the nuclear map. The dual-shell mechanism predicts without any free parameters, that nuclei with proton number (Z) or neutron number (N) between 7-8, 17-20, 34-40, 59-70, 96-112, 146-168 are possible candidates for shape coexistence. In the light nuclei the nucleons flip from the HO shell to the neighboring SO-like shell, which means, that particle excitations occur. For this mass region, the predicted islands of shape coexistence, coincide with the islands of inversion. But in medium mass and heavy nuclei, in which the nucleons inhabit the SO-like shells, shape coexistence is accompanied by a merging of the SO-like shell with the open HO shell. The shell merging can be accomplished by the outer product of the SU(3) irreps of the two shells and represents the unification of the HO shell with the SO-like shell.


title: Local and Global Uniform Convexity Conditions

abstract: We review various characterizations of uniform convexity and smoothness on norm balls in finite-dimensional spaces and connect results stemming from the geometry of Banach spaces with \textit{scaling inequalities} used in analysing the convergence of optimization methods. In particular, we establish local versions of these conditions to provide sharper insights on a recent body of complexity results in learning theory, online learning, or offline optimization, which rely on the strong convexity of the feasible set. While they have a significant impact on complexity, these strong convexity or uniform convexity properties of feasible sets are not exploited as thoroughly as their functional counterparts, and this work is an effort to correct this imbalance. We conclude with some practical examples in optimization and machine learning where leveraging these conditions and localized assumptions lead to new complexity results.


title: Regularization Strategies for Quantile Regression

abstract: We investigate different methods for regularizing quantile regression when predicting either a subset of quantiles or the full inverse CDF. We show that minimizing an expected pinball loss over a continuous distribution of quantiles is a good regularizer even when only predicting a specific quantile. For predicting multiple quantiles, we propose achieving the classic goal of non-crossing quantiles by using deep lattice networks that treat the quantile as a monotonic input feature, and we discuss why monotonicity on other features is an apt regularizer for quantile regression. We show that lattice models enable regularizing the predicted distribution to a location-scale family. Lastly, we propose applying rate constraints to improve the calibration of the quantile predictions on specific subsets of interest and improve fairness metrics. We demonstrate our contributions on simulations, benchmark datasets, and real quantile regression problems.


title: Quantum mechanical study of the attosecond nonlinear Fourier transform spectroscopy of carbon dioxide

abstract: Attosecond nonlinear Fourier transform (NFT) pump probe spectroscopy is an experimental technique which allows investigation of the electronic excitation, ionization, and unimolecular dissociation processes. The NFT spectroscopy utilizes ultrafast multiphoton ionization in the extreme ultraviolet spectral range and detects the dissociation products of the unstable ionized species. In this paper, a quantum mechanical description of NFT spectra is suggested, which is based on the second order perturbation theory in molecule-light interaction and the high level ab initio calculations of CO2 and CO2+ in the Franck-Condon zone. The calculations capture the characteristic features of the available experimental NFT spectra of CO2. Approximate analytic expressions are derived and used to assign the calculated spectra in terms of participating electronic states and harmonic photon frequencies. The developed approach provides a convenient framework within which the origin and the significance of near harmonic and non-harmonic NFT spectral lines can be analyzed. The framework is scalable and the spectra of di- and triatomic species as well as the dependences on the control parameters can by predicted semi-quantitatively.

categories: physics.chem-ph physics.ao-ph physics.atm-clus physics.atom-ph


title: Hardware-aware $in \ situ$ Boltzmann machine learning using stochastic magnetic tunnel junctions

abstract: One of the big challenges of current electronics is the design and implementation of hardware neural networks that perform fast and energy-efficient machine learning. Spintronics is a promising catalyst for this field with the capabilities of nanosecond operation and compatibility with existing microelectronics. Considering large-scale, viable neuromorphic systems however, variability of device properties is a serious concern. In this paper, we show an autonomously operating circuit that performs hardware-aware machine learning utilizing probabilistic neurons built with stochastic magnetic tunnel junctions. We show that $in \ situ$ learning of weights and biases in a Boltzmann machine can counter device-to-device variations and learn the probability distribution of meaningful operations such as a full adder. This scalable autonomously operating learning circuit using spintronics-based neurons could be especially of interest for standalone artificial-intelligence devices capable of fast and efficient learning at the edge.


title: Collective neutrino oscillations accounting for neutrino quantum decoherence

abstract: In our previous studies (see [1] and references therein) we developed a new theoretical framework that enabled one to consider a new mechanism of neutrino quantum decoherence engendered by the neutrino radiative decay. In parallel, another framework was developed (see [2] and references therein) for the description of the neutrino quantum decoherence due to the non-forward neutrino scattering processes. Both mechanisms are described by the master equations in the Lindblad form. We study the influence of the neutrino quantum decoherence on collective neutrino oscillations. In the present studies we are are not interested in a specific mechanism of neutrino quantum decoherence. Therefore, we use the general Lindblad master equation for the description of the neutrino quantum decoherence and do not fix an analytical expressions for the decoherence and relaxation parameters.


title: Solving time-fractional differential equation via rational approximation

abstract: Fractional differential equations (FDEs) describe subdiffusion behavior of dynamical systems. Its non-local structure requires taking into account the whole evolution history during the time integration, which then possibly causes additional memory use to store the history, growing in time. An alternative to a quadrature for the history integral is to approximate the fractional kernel with the sum of exponentials, which is equivalent to considering the FDE solution as a sum of solutions to a system of ODEs. One possibility to construct this system is to approximate the Laplace spectrum of the fractional kernel with a rational function. In this paper, we use the adaptive Antoulas--Anderson (AAA) algorithm for the rational approximation of the kernel spectrum which yields only a small number of real valued poles. We propose a numerical scheme based on this idea and study its stability and convergence properties. In addition, we apply the algorithm to a time-fractional Cahn-Hilliard problem.


title: Locally Adaptive Label Smoothing for Predictive Churn

abstract: Training modern neural networks is an inherently noisy process that can lead to high \emph{prediction churn} -- disagreements between re-trainings of the same model due to factors such as randomization in the parameter initialization and mini-batches -- even when the trained models all attain similar accuracies. Such prediction churn can be very undesirable in practice. In this paper, we present several baselines for reducing churn and show that training on soft labels obtained by adaptively smoothing each example's label based on the example's neighboring labels often outperforms the baselines on churn while improving accuracy on a variety of benchmark classification tasks and model architectures.


title: WIYN Open Cluster Study LXXXV. Li in NGC 2243 -- Implications for Stellar and Galactic Evolution

abstract: High-dispersion spectra in the Li 6708 Angstrom region have been obtained and analyzed in the old, metal-deficient cluster, NGC 2243. From Hydra spectra for 29 astrometric and radial-velocity members, we derive rotational velocities, as well as [Fe/H], [Ca/H], [Si/H], and [Ni/H] based on 17, 1, 1, and 3 lines, respectively. Using ROBOSPECT, an automatic equivalent width measurement program, we derive [Fe/H] = -0.54 +/- 0.11 (MAD), for an internal precision for the cluster [Fe/H] below 0.03 dex. Given the more restricted line set, comparable values for [Ca/H], [Si/H], and [Ni/H] are -0.48 +/- 0.19, -0.44 +/- 0.11, and -0.61 +/- 0.06, respectively. With E(B-V) = 0.055, appropriate isochrones imply (m-M) = 13.2 +/- 0.1 and an age of 3.6 +/- 0.2 Gyr. Using available VLT spectra and published Li abundances, we construct a Li sample of over 100 stars extending from the tip of the giant branch to 0.5 mag below the Li-dip. The Li-dip is well populated and, when combined with results for NGC 6819 and Hyades/Praesepe, implies a mass/metallicity slope of 0.4 solar-mass/dex for the high mass edge of the Li-dip. The A(Li) distribution among giants reflects the degree of Li variation among the turnoff stars above the Li-dip, itself a function of stellar mass and metallicity and strongly anticorrelated with a v_rot distribution that dramatically narrows with age. Potential implications of these patterns for the interpretation of Li among dwarf and giant field populations, especially selection biases tied to age and metallicity, are discussed.


title: The Non-Existence of Block-Transitive Subspace Designs

abstract: Let $q$ be a prime power and $V\cong{\mathbb F}_q^n$. A $t$-$(n,k,\lambda)_q$ design, or simply a subspace design, is a pair ${\mathcal D}=(V,{\mathcal B})$, where ${\mathcal B}$ is a subset of the set of all $k$-dimensional subspaces of $V$, with the property that each $t$-dimensional subspace of $V$ is contained in precisely $\lambda$ elements of ${\mathcal B}$. Subspace designs are the $q$-analogues of balanced incomplete block designs. Such a design is called block-transitive if its automorphism group ${\rm Aut}({\mathcal D})$ acts transitively on ${\mathcal B}$. It is shown here that if $t\geq 2$ and ${\mathcal D}$ is a block-transitive $t$-$(n,k,\lambda)_q$ design then ${\mathcal D}$ is trivial, that is, ${\mathcal B}$ is the set of all $k$-dimensional subspaces of $V$.


title: Classifier Calibration: with application to threat scores in cybersecurity

abstract: This paper explores the calibration of a classifier output score in binary classification problems. A calibrator is a function that maps the arbitrary classifier score, of a testing observation, onto $[0,1]$ to provide an estimate for the posterior probability of belonging to one of the two classes. Calibration is important for two reasons; first, it provides a meaningful score, that is the posterior probability; second, it puts the scores of different classifiers on the same scale for comparable interpretation. The paper presents three main contributions: (1) Introducing multi-score calibration, when more than one classifier provides a score for a single observation. (2) Introducing the idea that the classifier scores to a calibration process are nothing but features to a classifier, hence proposing expanding the classifier scores to higher dimensions to boost the calibrator's performance. (3) Conducting a massive simulation study, in the order of 24,000 experiments, that incorporates different configurations, in addition to experimenting on two real datasets from the cybersecurity domain. The results show that there is no overall winner among the different calibrators and different configurations. However, general advices for practitioners include the following: the Platt's calibrator~\citep{Platt1999ProbabilisticOutputsForSupport}, a version of the logistic regression that decreases bias for a small sample size, has a very stable and acceptable performance among all experiments; our suggested multi-score calibration provides better performance than single score calibration in the majority of experiments, including the two real datasets. In addition, expanding the scores can help in some experiments.


title: Toward Safe and Efficient Human-Robot Interaction via Behavior-Driven Danger Signaling

abstract: This paper introduces the notion of danger awareness in the context of Human-Robot Interaction (HRI), which decodes whether a human is aware of the existence of the robot, and illuminates whether the human is willing to engage in enforcing the safety. This paper also proposes a method to quantify this notion as a single binary variable, so-called danger awareness coefficient. By analyzing the effect of this coefficient on the human's actions, an online Bayesian learning method is proposed to update the belief about the value of the coefficient. It is shown that based upon the danger awareness coefficient and the proposed learning method, the robot can build a predictive human model to anticipate the human's future actions. In order to create a communication channel between the human and the robot, to enrich the observations and get informative data about the human, and to improve the efficiency of the robot, the robot is equipped with a danger signaling system. A predictive planning scheme, coupled with the predictive human model, is also proposed to provide an efficient and Probabilistically safe plan for the robot. The effectiveness of the proposed scheme is demonstrated through simulation studies on an interaction between a self-driving car and a pedestrian.


title: Uncomputably Complex Renormalisation Group Flows

abstract: Renormalisation group (RG) methods provide one of the most important techniques for analysing the physics of many-body systems, both analytically and numerically. By iterating an RG map, which "course-grains" the description of a many-body system and generates a flow in the parameter space, physical properties of interest can be extracted even for complex models. RG analysis also provides an explanation of physical phenomena such as universality. Many systems exhibit simple RG flows, but more complicated -- even chaotic -- behaviour is also known. Nonetheless, the structure of such RG flows can still be analysed, elucidating the physics of the system, even if specific trajectories may be highly sensitive to the initial point. In contrast, recent work has shown that important physical properties of quantum many-body systems, such as its spectral gap and phase diagram, can be uncomputable. In this work, we show that such undecidable systems exhibit a novel type of RG flow, revealing a qualitatively different and more extreme form of unpredictability than chaotic RG flows. In contrast to chaotic RG flows in which initially close points can diverge exponentially, trajectories under these novel uncomputable RG flows can remain arbitrarily close together for an uncomputable number of iterations, before abruptly diverging to different fixed points that are in separate phases. The structure of such uncomputable RG flows is so complex that it cannot be computed or approximated, even in principle. We give a mathematically rigorous construction of the block-renormalisation-group map for the original undecidable many-body system that appeared in the literature (Cubitt, P\'erez-Garcia, Wolf, Nature 528, 207-211 (2015)). We prove that each step of this RG map is computable, and that it converges to the correct fixed points, yet the resulting RG flow is uncomputable.


title: Dielectric and electro-mechanic nonlinearities in perovskite oxide ferroelectrics, relaxors and relaxor ferroelectrics

abstract: The polarization and strain response of ferroelectric materials at fields below the macroscopic coercive field is of a paramount importance for the operation of many electronic devices. The response of real ferroelectric and related materials is in general complex and difficult to interpret. The reason for this is that many processes in a ferroelectric material contribute to its properties, often concurrently. Examples include motion of ferroelectric and ferroelastic domains, presence of domains within domains, dynamics of different types of polar nano-entities, interaction of polar nano-entities (e.g., polar nanoregions in relaxors) with the strain and polarization within domains, motion of defects and rearrangement of defect clusters and their interaction with polarization and strain. One signature of these processes is nonlinearity of the strain and polarization. Most ferroelectrics exhibit nonlinear response at all practical field levels meaning that the apparent material coefficients depend on the amplitude of the driving excitation. In this paper we show that an investigation of nonlinear behavior is a sensitive way to study various mechanisms operating in dielectric and piezoelectric materials. We review the basic formalism of the nonlinear description of polarization and strain, give a physical interpretation of different terms and illustrate this approach on numerous examples of relaxors, relaxor ferroelectrics, hard and soft ferroelectrics, and morphotropic phase boundary compositions. An experimental approach based on a lock-in technique that is well-suited for such studies is also discussed.


title: Relational Dynamic Bayesian Network Modeling for Uncertainty Quantification and Propagation in Airline Disruption Management

abstract: Disruption management during the airline scheduling process can be compartmentalized into proactive and reactive processes depending upon the time of schedule execution. The state of the art for decision-making in airline disruption management involves a heuristic human-centric approach that does not categorically study uncertainty in proactive and reactive processes for managing airline schedule disruptions. Hence, this paper introduces an uncertainty transfer function model (UTFM) framework that characterizes uncertainty for proactive airline disruption management before schedule execution, reactive airline disruption management during schedule execution, and proactive airline disruption management after schedule execution to enable the construction of quantitative tools that can allow an intelligent agent to rationalize complex interactions and procedures for robust airline disruption management. Specifically, we use historical scheduling and operations data from a major U.S. airline to facilitate the development and assessment of the UTFM, defined by hidden Markov models (a special class of probabilistic graphical models) that can efficiently perform pattern learning and inference on portions of large data sets. We employ the UTFM to assess two independent and separately disrupted flight legs from the airline route network. Assessment of a flight leg from Dallas to Houston, disrupted by air traffic control hold for bad weather at Dallas, revealed that proactive disruption management for turnaround in Dallas before schedule execution is impractical because of zero transition probability between turnaround and taxi-out.


title: Inverse design of plasma metamaterial devices for optical computing

abstract: We apply inverse design methods to produce two-dimensional plasma metamaterial (PMM) devices. Backpropagated finite difference frequency domain (FDFD) simulations are used to design waveguides and demultiplexers operating under both transverse electric (TE) and transverse magnetic (TM) modes. Demultiplexing and waveguiding are demonstrated for devices composed of plasma elements with reasonable plasma densities ~7 GHz, allowing for future in-situ training and experimental realization of these designs. We also explore the possible applicability of PMMs to nonlinear boolean operations for use in optical computing. Functionally complete logical connectives (OR and AND) are achieved in the TM mode.


title: Distributed Learning for Proportional-Fair Resource Allocation in Coexisting WiFi Networks

abstract: In this paper, we revisit the widely known performance anomaly that results in severe network utility degradation in WiFi networks when nodes use diverse modulation and coding schemes. The proportional-fair allocation was shown to mitigate this anomaly and provide a good throughput to the stations. It can be achieved through the selection of contention window values based on the explicit solution of an optimization problem or, as proposed recently, by following a learning-based approach that uses a centralized gradient descent algorithm. In this paper, we leverage our recent theoretical work on asynchronous distributed optimization and propose a simple algorithm that allows WiFi nodes to independently tune their contention window to achieve proportional fairness. We compare the throughputs and air-time allocation that this algorithm achieves to those of the standard WiFi binary exponential back-off and show the improvements.


title: RODNet: A Real-Time Radar Object Detection Network Cross-Supervised by Camera-Radar Fused Object 3D Localization

abstract: Various autonomous or assisted driving strategies have been facilitated through the accurate and reliable perception of the environment around a vehicle. Among the commonly used sensors, radar has usually been considered as a robust and cost-effective solution even in adverse driving scenarios, e.g., weak/strong lighting or bad weather. Instead of considering to fuse the unreliable information from all available sensors, perception from pure radar data becomes a valuable alternative that is worth exploring. In this paper, we propose a deep radar object detection network, named RODNet, which is cross-supervised by a camera-radar fused algorithm without laborious annotation efforts, to effectively detect objects from the radio frequency (RF) images in real-time. First, the raw signals captured by millimeter-wave radars are transformed to RF images in range-azimuth coordinates. Second, our proposed RODNet takes a sequence of RF images as the input to predict the likelihood of objects in the radar field of view (FoV). Two customized modules are also added to handle multi-chirp information and object relative motion. Instead of using human-labeled ground truth for training, the proposed RODNet is cross-supervised by a novel 3D localization of detected objects using a camera-radar fusion (CRF) strategy in the training stage. Finally, we propose a method to evaluate the object detection performance of the RODNet. Due to no existing public dataset available for our task, we create a new dataset, named CRUW, which contains synchronized RGB and RF image sequences in various driving scenarios. With intensive experiments, our proposed cross-supervised RODNet achieves 86% average precision and 88% average recall of object detection performance, which shows the robustness to noisy scenarios in various driving conditions.


title: Enhancing Audio Augmentation Methods with Consistency Learning

abstract: Data augmentation is an inexpensive way to increase training data diversity and is commonly achieved via transformations of existing data. For tasks such as classification, there is a good case for learning representations of the data that are invariant to such transformations, yet this is not explicitly enforced by classification losses such as the cross-entropy loss. This paper investigates the use of training objectives that explicitly impose this consistency constraint and how it can impact downstream audio classification tasks. In the context of deep convolutional neural networks in the supervised setting, we show empirically that certain measures of consistency are not implicitly captured by the cross-entropy loss and that incorporating such measures into the loss function can improve the performance of audio classification systems. Put another way, we demonstrate how existing augmentation methods can further improve learning by enforcing consistency.


title: On Explainability of Graph Neural Networks via Subgraph Explorations

abstract: We consider the problem of explaining the predictions of graph neural networks (GNNs), which otherwise are considered as black boxes. Existing methods invariably focus on explaining the importance of graph nodes or edges but ignore the substructures of graphs, which are more intuitive and human-intelligible. In this work, we propose a novel method, known as SubgraphX, to explain GNNs by identifying important subgraphs. Given a trained GNN model and an input graph, our SubgraphX explains its predictions by efficiently exploring different subgraphs with Monte Carlo tree search. To make the tree search more effective, we propose to use Shapley values as a measure of subgraph importance, which can also capture the interactions among different subgraphs. To expedite computations, we propose efficient approximation schemes to compute Shapley values for graph data. Our work represents the first attempt to explain GNNs via identifying subgraphs explicitly and directly. Experimental results show that our SubgraphX achieves significantly improved explanations, while keeping computations at a reasonable level.


title: Recoil Implantation Using Gas-Phase Precursor Molecules

abstract: Ion implantation underpins a vast range of devices and technologies that require precise control over the physical, chemical, electronic, magnetic and optical properties of materials. A variant termed recoil implantation - in which a precursor is deposited onto a substrate as a thin film and implanted via momentum transfer from incident energetic ions - has a number of compelling advantages, particularly when performed using an inert ion nano-beam [Fr\"och et al., Nat Commun 11, 5039 (2020)]. However, a major drawback of this approach is that the implant species are limited to the constituents of solid thin films. Here we overcome this limitation by demonstrating recoil implantation using gas-phase precursors. Specifically, we fabricate nitrogen-vacancy (NV) color centers in diamond using an Ar ion beam and the nitrogen-containing precursor gases N2, NH3 and NF3. Our work expands the applicability of recoil implantation to most of the periodic table, and to applications in which thin film deposition or removal is impractical.


title: A note on the low-dimensional Minkowski-reduction

abstract: In this paper, we recall the basic results of the reduction theory of positive definite quadratic forms. Since finding the shortest vectors in a lattice is an NP-hard problem, the low-dimensional results in lattice reduction theory have an important role. Using the result of Ryskov on admissible centerings and the result of Tammela about the determination of a Minkowski-reduced form, we prove that the absolute values of the coordinates of a minimum vector in a six-dimensional Minkowski-reduced basis are less or equal to three. To get this sharpening of P. Tammela's interesting works, we combine some elementary geometric reasonings with the mentioned theoretical results.


title: Observability for the Schr\"odinger Equation: an Optimal Transport Approach

abstract: We establish an observation inequality for the Schr\"odinger equation on $\mathbf{R}^d$, uniform in the Planck constant $\hbar\in[0,1]$. The proof is based on the pseudometric introduced in [F. Golse, T. Paul, Arch. Rational Mech. Anal. 223 (2017), 57-94]. This inequality involves only effective constants which are computed explicitly in their dependence in $\hbar$ and all parameters involved.


title: An Online Network Model-Free Wide-Area Voltage Control Method Using PMUs

abstract: This paper proposes a novel online measurement-based Wide-Area Voltage Control (WAVC) method using Phasor Measurement Unit (PMU) data in power systems with Flexible AC Transmission System (FACTS) devices. As opposed to previous WAVC methods, the proposed WAVC does not require any model knowledge or the participation of all buses and considers both active and reactive power perturbations. Specifically, the proposed WAVC method exploits the regression theorem of the Ornstein-Uhlenbeck process to estimate the sensitivity matrices through PMU data online, which are further used to design and apply the voltage regulation by updating the reference points of FACTS devices. Numerical results on the IEEE 39- Bus and IEEE 68-Bus systems demonstrate that the proposed model-free WAVC can provide effective voltage control in various network topologies, different combinations of voltage-controlled and voltage-uncontrolled buses, under measurement noise, and in case of missing PMUs. Particularly, the proposed WAVC algorithm may outperform the model-based WAVC when an undetected topology change happens.


title: $\mathcal{P}$, $\mathcal{T}$-odd Faraday rotation in intracavity absorption spectroscopy with molecular beam as a possible way to improve the sensitivity of the search for the time reflection noninvariant effects in nature

abstract: The present constraint on the space parity ($\mathcal{P}$) and time reflection invariance ($\mathcal{T}$) violating electron electric dipole moment ($e$EDM) is based on the observation of the electron spin precession in an external electric field using the ThO molecule. We propose an alternative approach: observation of the $\mathcal{P}$,~$\mathcal{T}$-odd Faraday effect in an external electric field using the cavity-enhanced polarimetric scheme in combination with a molecular beam crossing the cavity. Our theoretical simulation of the proposed experiment with the PbF and ThO molecular beams shows that the present constraint on the $e$EDM in principle can be improved by a few orders of magnitude.


title: Hyperbolic Heron Triangles and Elliptic Curves

abstract: We define hyperbolic Heron triangles (hyperbolic triangles with "rational" side-lengths and area) and parametrize them in two ways as rational points of certain elliptic curves. We show that there are infinitely many hyperbolic Heron triangles with one angle $\alpha$ and area $A$ for any (admissible) choice of $\alpha$ and $A$; in particular, the congruent number problem has always infinitely many solutions in the hyperbolic setting. We also explore the question of hyperbolic triangles with a rational median and a rational area bisector (median splitting the triangle in half).


title: Imaging low-mass planets within the habitable zone of {\alpha} Centauri

abstract: Giant exoplanets on wide orbits have been directly imaged around young stars. If the thermal background in the mid-infrared can be mitigated, then exoplanets with lower masses can also be imaged. Here we present a ground-based mid-infrared observing approach that enables imaging low-mass temperate exoplanets around nearby stars, and in particular within the closest stellar system, Alpha Centauri. Based on 75-80% of the best quality images from 100 hours of cumulative observations, we demonstrate sensitivity to warm sub-Neptune-sized planets throughout much of the habitable zone of Alpha Centauri A. This is an order of magnitude more sensitive than state-of-the-art exoplanet imaging mass detection limits. We also discuss a possible exoplanet or exozodiacal disk detection around Alpha Centauri A. However, an instrumental artifact of unknown origin cannot be ruled out. These results demonstrate the feasibility of imaging rocky habitable-zone exoplanets with current and upcoming telescopes.


title: The Relativistic Binary Programme on MeerKAT: Science objectives and first results

abstract: We describe the ongoing Relativistic Binary programme (RelBin), a part of the MeerTime large survey project with the MeerKAT radio telescope. RelBin is primarily focused on observations of relativistic effects in binary pulsars to enable measurements of neutron star masses and tests of theories of gravity. We selected 25 pulsars as an initial high priority list of targets based on their characteristics and observational history with other telescopes. In this paper, we provide an outline of the programme, present polarisation calibrated pulse profiles for all selected pulsars as a reference catalogue along with updated dispersion measures. We report Faraday rotation measures for 24 pulsars, twelve of which have been measured for the first time. More than a third of our selected pulsars show a flat position angle swing confirming earlier observations. We demonstrate the ability of the Rotating Vector Model (RVM), fitted here to seven binary pulsars, including the Double Pulsar (PSR J0737$-$3039A), to obtain information about the orbital inclination angle. We present a high time resolution light curve of the eclipse of PSR J0737$-$3039A by the companion's magnetosphere, a high-phase resolution position angle swing for PSR J1141$-$6545, an improved detection of the Shapiro delay of PSR J1811$-$2405, and pulse scattering measurements for PSRs J1227$-$6208, J1757$-$1854, and J1811$-$1736. Finally, we demonstrate that timing observations with MeerKAT improve on existing data sets by a factor of, typically, 2-3, sometimes by an order of magnitude.


title: An Interactive Proof of Termination for a Concurrent $\lambda$-calculus with References and Explicit Substitutions

abstract: In this paper we introduce a typed, concurrent $\lambda$-calculus with references featuring explicit substitutions for variables and references. Alongside usual safety properties, we recover strong normalization. The proof is based on a reducibility technique and an original interactive property reminiscent of the Game Semantics approach.


title: Thermodynamic equilibrium of biological macromolecules under mechanical constraints

abstract: Equilibrating proteins and other biomacromolecules is cardinal for molecular dynamics simulation of such biological systems in which they perform free dynamics without any externally-applied mechanical constraint, until thermodynamic equilibrium with the surrounding is attained. However, in some important cases, we have to equilibrate the system of interest in the constant presence of certain constraints, being referred to as constrained equilibration in the present work. A clear illustration of this type is a single amyloid \b{eta}-strand or RNA, when the reaction coordinate is defined as the distance between the two ends of the strand and we are interested in carrying out replica-exchange umbrella sampling to map the associated free energy profile as the dependent quantity of interest. In such cases, each sample has to be equilibrated with the two ends fixed. Here, we introduced a simulation trick to perform this so-called constrained equilibration using steered molecular dynamics. We then applied this method to equilibrate a single, stretched \b{eta}-strand of an amyloid beta dodecamer fibril with fixed ends. Examining the associated curves of the total energy and the force exerted on the practically-fixed SMD atom over the total timespan broadly supported the validity of this kind of equilibration.


title: Frozen $1$-RSB structure of the symmetric Ising perceptron

abstract: We prove, under an assumption on the critical points of a real-valued function, that the symmetric Ising perceptron exhibits the `frozen 1-RSB' structure conjectured by Krauth and Mezard in the physics literature; that is, typical solutions of the model lie in clusters of vanishing entropy density. Moreover, we prove this in a very strong form conjectured by Huang, Wong, and Kabashima: a typical solution of the model is isolated with high probability and the Hamming distance to all other solutions is linear in the dimension. The frozen 1-RSB scenario is part of a recent and intriguing explanation of the performance of learning algorithms by Baldassi, Ingrosso, Lucibello, Saglietti, and Zecchina. We prove this structural result by comparing the symmetric Ising perceptron model to a planted model and proving a comparison result between the two models. Our main technical tool towards this comparison is an inductive argument for the concentration of the logarithm of number of solutions in the model.


title: Nonstochastic Bandits with Infinitely Many Experts

abstract: We study the problem of nonstochastic bandits with expert advice, extending the setting from finitely many experts to any countably infinite set: A learner aims to maximize the total reward by taking actions sequentially based on bandit feedback while benchmarking against a set of experts. We propose a variant of Exp4.P that, for finitely many experts, enables inference of correct expert rankings while preserving the order of the regret upper bound. We then incorporate the variant into a meta-algorithm that works on infinitely many experts. We prove a high-probability upper bound of $\tilde{\mathcal{O}} \big( i^*K + \sqrt{KT} \big)$ on the regret, up to polylog factors, where $i^*$ is the unknown position of the best expert, $K$ is the number of actions, and $T$ is the time horizon. We also provide an example of structured experts and discuss how to expedite learning in such case. Our meta-learning algorithm achieves optimal regret up to polylog factors when $i^* = \tilde{\mathcal{O}} \big( \sqrt{T/K} \big)$. If a prior distribution is assumed to exist for $i^*$, the probability of optimality increases with $T$, the rate of which can be fast.


title: $C^{1,\alpha}$-rectifiability in low codimension in Heisenberg groups

abstract: A natural notion of higher order rectifiability is introduced for subsets of Heisenberg groups $\mathbb{H}^n$ in terms of covering a set almost everywhere by a countable union of $(\mathbf{C}_H^{1,\alpha},\mathbb{H})$-regular surfaces, for some $0 < \alpha \leq 1$. We prove that a sufficient condition for $C^{1,\alpha}$-rectifiability of low-codimensional subsets in Heisenberg groups is the almost everywhere existence of suitable approximate tangent paraboloids.