title: Internal energy and information flows mediate input and output power in bipartite molecular machines

abstract: Microscopic biological systems operate far from equilibrium, are subject to strong fluctuations, and are composed of many coupled components with interactions varying in nature and strength. Researchers are actively investigating the general design principles governing how biomolecular machines achieve effective free-energy transduction in light of these challenges. We use a model of two strongly coupled stochastic rotary motors to explore the effect of coupling strength between components of a molecular machine. We observe prominent thermodynamic characteristics at intermediate coupling strength, near that which maximizes output power: a maximum in power and information transduced from the upstream to the downstream system, and equal subsystem entropy production rates. These observations are unified through a bound on the machine's input and output power, which accounts for both the energy and information transduced between subsystems.


title: Pairing of electro-magnetic bosons under spin-orbit coupling

abstract: We discuss pairing of light-matter bosons under effective spin-orbit (SO) coupling in two-dimensional semiconductors. The SO coupling is shown to induce dynamical broadening of a two-body bound state. Application of a transverse magnetic field yields the rich Feshbach resonance phenomenology. We predict quantum bosonic halos with a synthetic angular momentum L=2. The d-wave-like dressing of the nominally s-wave bound state is induced by SO coupling to the continuum in the open channel. The fundamental properties of the emergent quantum number remain to be explored.


title: Reaching Diverse Groups in Long-Term Astronomy Public Engagement Efforts

abstract: Professional astronomy is historically not an environment of diverse identities. In recognizing that public outreach efforts affect career outcomes for young people, it is important to assess the demographics of those being reached and continually consider strategies for successfully engaging underrepresented groups. One such outreach event, the International Astronomical Youth Camp (IAYC), has a 50-year history and has reached ~1700 participants from around the world. We find that the IAYC is doing well in terms of gender (59% female, 4.7% non-binary at the most recent camp) and LGBT+ representation, whereas black and ethnic minorities are lacking. In this proceeding, we report the current landscape of demographics applying to and attending the IAYC; the efforts we are making to increase diversity amongst participants; the challenges we face; and our future plans to bridge these gaps, not only for the benefit of the camp but for society overall.


title: Improved Pan-Private Stream Density Estimation

abstract: Differential privacy is a rigorous definition for privacy that guarantees that any analysis performed on a sensitive dataset leaks no information about the individuals whose data are contained therein. In this work, we develop new differentially private algorithms to analyze streaming data. Specifically, we consider the problem of estimating the density of a stream of users (or, more generally, elements), which expresses the fraction of all users that actually appear in the stream. We focus on one of the strongest privacy guarantees for the streaming model, namely user-level pan-privacy, which ensures that the privacy of any user is protected, even against an adversary that observes, on rare occasions, the internal state of the algorithm. Our proposed algorithms employ optimally all the allocated privacy budget, are specially tailored for the streaming model, and, hence, outperform both theoretically and experimentally the conventional sampling-based approach.


title: Detecting AutoAttack Perturbations in the Frequency Domain

abstract: Recently, adversarial attacks on image classification networks by the AutoAttack (Croce and Hein, 2020b) framework have drawn a lot of attention. While AutoAttack has shown a very high attack success rate, most defense approaches are focusing on network hardening and robustness enhancements, like adversarial training. This way, the currently best-reported method can withstand about 66% of adversarial examples on CIFAR10. In this paper, we investigate the spatial and frequency domain properties of AutoAttack and propose an alternative defense. Instead of hardening a network, we detect adversarial attacks during inference, rejecting manipulated inputs. Based on a rather simple and fast analysis in the frequency domain, we introduce two different detection algorithms. First, a black box detector that only operates on the input images and achieves a detection accuracy of 100% on the AutoAttack CIFAR10 benchmark and 99.3% on ImageNet, for epsilon = 8/255 in both cases. Second, a whitebox detector using an analysis of CNN feature maps, leading to a detection rate of also 100% and 98.7% on the same benchmarks.


title: LibSC: Library for Scaling Correction Methods in Density Functional Theory

abstract: In recent years, a series of scaling correction (SC) methods have been developed in the Yang laboratory to reduce and eliminate the delocalization error, which is an intrinsic and systematic error existing in conventional density functional approximations (DFAs) within density functional theory (DFT). Based on extensive numerical results, the SC methods have been demonstrated to be capable of reducing the delocalization error effectively and producing accurate descriptions for many critical and challenging problems, including the fundamental gap, photoemission spectroscopy, charge transfer excitations and polarizability. In the development of SC methods, the SC methods were mainly implemented in the QM4D package that was developed in the Yang laboratory for research development. The heavy dependency on the QM4D package hinders the SC methods from access by researchers for broad applications. In this work, we developed a reliable and efficient implementation , LibSC for the global scaling correction (GSC) method and the localized orbital scaling correction (LOSC) method. LibSC will serve as a light-weight and open-source library that can be easily accessed by the quantum chemistry community. The implementation of LibSC is carefully modularized to provide the essential functionalities for conducting calculations of the SC methods. In addition, LibSC provides simple and consistent interfaces to support multiple popular programing languages, including C, C++ and Python. In addition to the development of the library, we also integrated LibSC with two popular and open-source quantum chemistry packages, the Psi4 package and the PySCF package, which provides immediate access for general users to perform calculations with SC methods.


title: The number of tangencies between two families of curves

abstract: We prove that the number of tangencies between the members of two families, each of which consists of $n$ pairwise disjoint curves, can be as large as $\Omega(n^{4/3})$. We show that from a conjecture about forbidden $0$-$1$ matrices it would follow that this bound is sharp for doubly-grounded families. We also show that if the curves are required to be $x$-monotone, then the maximum number of tangencies is $\Theta(n\log n)$, which improves a result by Pach, Suk, and Treml. Finally, we also improve the best known bound on the number of tangencies between the members of a family of at most $t$-intersecting curves.


title: Facilitating reflection in teletandem through automatically generated conversation metrics and playback video

abstract: This pilot study focuses on a tool called L2L that allows second language (L2) learners to visualise and analyse their Zoom interactions with native speakers. L2L uses the Zoom transcript to automatically generate conversation metrics and its playback feature with timestamps allows students to replay any chosen portion of the conversation for post-session reflection and self-review. This exploratory study investigates a seven-week teletandem project, where undergraduate students from an Irish University learning French (B2) interacted with their peers from a French University learning English (B2+) via Zoom. The data collected from a survey (N=43) and semi-structured interviews (N=35) show that the quantitative conversation metrics and qualitative review of the synchronous content helped raise students' confidence levels while engaging with native speakers. Furthermore, it allowed them to set tangible goals to improve their participation, and be more aware of what, why and how they are learning.


title: On volumes of hyperbolic right-angled polyhedra

abstract: In this paper we obtain new upper bounds on volumes of right-angled polyhedra in hyperbolic space $\mathbb{H}^3$ in three different cases: for ideal polyhedra with all vertices on the ideal hyperbolic boundary, for compact polytopes with only finite (or usual) vertices, and for finite volume polyhedra with vertices of both types.


title: The effect of shaping on turbulent dynamics in RFP simulations

abstract: We study the influence of the shape of the plasma container on the dynamics of the Reversed Field Pinch (RFP). The geometries we consider are periodic cylinders with elliptical and circular-shaped cross-sections. Numerical simulations of fully nonlinear visco-resistive magnetohydrodynamics are carried out to illustrate how the plasma dynamics are affected by shaping. It is shown that independent of the plasma shape, the quantity $\beta$, comparing the hydrodynamic pressure to the magnetic pressure, decreases for increasing values of the Lundquist number, but the pressure gradient fluctuations remain roughly constant, when compared to the Lorentz force. Different elliptical shapes of the cross-section of the domain lead to the excitation of different toroidal (or axial) magnetic and dynamic modes. Furthermore, it is found that in a geometry with circular cross-section a significant local poloidal angular momentum is observed, absent in the geometries with elliptical cross-section. Since the confinement is dominantly determined by plasma movement, and the dynamics of the velocity and magnetic field are modified by the modification of the geometry, shaping can thus affect the performance of RFP-devices.


title: PROVENANCE: An Intermediary-Free Solution for Digital Content Verification

abstract: The threat posed by misinformation and disinformation is one of the defining challenges of the 21st century. Provenance is designed to help combat this threat by warning users when the content they are looking at may be misinformation or disinformation. It is also designed to improve media literacy among its users and ultimately reduce susceptibility to the threat among vulnerable groups within society. The Provenance browser plugin checks the content that users see on the Internet and social media and provides warnings in their browser or social media feed. Unlike similar plugins, which require human experts to provide evaluations and can only provide simple binary warnings, Provenance's state of the art technology does not require human input and it analyses seven aspects of the content users see and provides warnings where necessary.


title: PredProp: Bidirectional Stochastic Optimization with Precision Weighted Predictive Coding

abstract: We present PredProp, a method for optimization of weights and states in predictive coding networks (PCNs) based on the precision of propagated errors and neural activity. PredProp jointly addresses inference and learning via stochastic gradient descent and adaptively weights parameter updates by approximate curvature. Due to the relation between propagated error covariance and the Fisher information matrix, PredProp implements approximate Natural Gradient Descent. We demonstrate PredProp's effectiveness in the context of dense decoder networks and simple image benchmark datasets. We found that PredProp performs favorably over Adam, a widely used adaptive learning rate optimizer in the tested configurations. Furthermore, available optimization methods for weight parameters benefit from using PredProp's error precision during inference. Since hierarchical predictive coding layers are optimised individually using local errors, the required precisions factorize over hierarchical layers. Extending beyond classical PCNs with a single set of decoder layers per hierarchical layer, we also generalize PredProp to deep neural networks in each PCN layer by additionally factorizing over the weights in each PCN layer.


title: The Stochastic Boolean Function Evaluation Problem for Symmetric Boolean Functions

abstract: We give two approximation algorithms solving the Stochastic Boolean Function Evaluation (SBFE) problem for symmetric Boolean functions. The first is an $O(\log n)$-approximation algorithm, based on the submodular goal-value approach of Deshpande, Hellerstein and Kletenik. Our second algorithm, which is simple, is based on the algorithm solving the SBFE problem for $k$-of-$n$ functions, due to Salloum, Breuer, and Ben-Dov. It achieves a $(B-1)$ approximation factor, where $B$ is the number of blocks of 0's and 1's in the standard vector representation of the symmetric Boolean function. As part of the design of the first algorithm, we prove that the goal value of any symmetric Boolean function is less than $n(n+1)/2$. Finally, we give an example showing that for symmetric Boolean functions, minimum expected verification cost and minimum expected evaluation cost are not necessarily equal. This contrasts with a previous result, given by Das, Jafarpour, Orlitsky, Pan and Suresh, which showed that equality holds in the unit-cost case.


title: Investigating Conversion from Mild Cognitive Impairment to Alzheimer's Disease using Latent Space Manipulation

abstract: Alzheimer's disease is the most common cause of dementia that affects millions of lives worldwide. Investigating the underlying causes and risk factors of Alzheimer's disease is essential to prevent its progression. Mild Cognitive Impairment (MCI) is considered an intermediate stage before Alzheimer's disease. Early prediction of the conversion from the MCI to Alzheimer's is crucial to take necessary precautions for decelerating the progression and developing suitable treatments. In this study, we propose a deep learning framework to discover the variables which are identifiers of the conversion from MCI to Alzheimer's disease. In particular, the latent space of a variational auto-encoder network trained with the MCI and Alzheimer's patients is manipulated to obtain the significant attributes and decipher their behavior that leads to the conversion from MCI to Alzheimer's disease. By utilizing a generative decoder and the dimensions that lead to the Alzheimer's diagnosis, we generate synthetic dementia patients from MCI patients in the dataset. Experimental results show promising quantitative and qualitative results on one of the most extensive and commonly used Alzheimer's disease neuroimaging datasets in literature.


title: A Projection Operator-based Newton Method for the Trajectory Optimization of Closed Quantum Systems

abstract: Quantum optimal control is an important technology that enables fast state preparation and gate design. In the absence of an analytic solution, most quantum optimal control methods rely on an iterative scheme to update the solution estimate. At present, the convergence rate of existing solvers is at most superlinear. This paper develops a new general purpose solver for quantum optimal control based on the PRojection Operator Newton method for Trajectory Optimization, or PRONTO. Specifically, the proposed approach uses a projection operator to incorporate the Schr\"odinger equation directly into the cost function, which is then minimized using a quasi-Newton method. At each iteration, the descent direction is obtained by computing the analytic solution to a Linear-Quadratic trajectory optimization problem. The resulting method guarantees monotonic convergence at every iteration and quadratic convergence in proximity of the solution. To highlight the potential of PRONTO, we present an numerical example that employs it to solve the optimal state-to-state mapping problem for a qubit and compares its performance to a state-of-the-art quadratic optimal control method.


title: Ap\'ery limits for elliptic $L$-values

abstract: For an (irreducible) recurrence equation with coefficients from $\mathbb Z[n]$ and its two linearly independent rational solutions $u_n,v_n$, the limit of $u_n/v_n$ as $n\to\infty$, when exists, is called the Ap\'ery limit. We give a construction that realises certain quotients of $L$-values of elliptic curves as Ap\'ery limits.


title: A Thin Fundamental Set for SL(2, Z)

abstract: Let $\Gamma=SL(2, \mathbb Z)$ and $G=SL(2, \mathbb R)$. Let $g=kan$ be the Iwasawa decomposition. Let $\epsilon$ be a small positive number. In this paper, we construct a fundamental set $\mathcal F_{\epsilon}$ such that the $k$-component of $ g \in \mathcal F_{\epsilon}$ is within the $\epsilon$-distance from the identity. We further prove an inequality for the $L^2$-norm of functions on $G/\Gamma$.


title: Natural symmetries of secondary Hochschild homology

abstract: We identify the group of framed diffeomorphisms of the torus as a semi-direct product of the torus with the braid group on 3 strands; we also identify the topological monoid of framed local-diffeomorphisms of the torus in similar terms. It follows that the framed mapping class group is this braid group. We show that the group of framed diffeomorphisms of the torus acts on twice-iterated Hochschild homology, and explain how this recovers a host of familiar symmetries. In the case of Cartesian monoidal structures, we show that this action extends to the monoid of framed local-diffeomorphisms of the torus. Based on this, we propose a definition of an unstable secondary cyclotomic structure, and show that iterated Hochschild homology possesses such in the Cartesian monoidal setting.


title: DeltaConv: Anisotropic Operators for Geometric Deep Learning on Point Clouds

abstract: Learning from 3D point-cloud data has rapidly gained momentum, motivated by the success of deep learning on images and the increased availability of 3D~data. In this paper, we aim to construct anisotropic convolution layers that work directly on the surface derived from a point cloud. This is challenging because of the lack of a global coordinate system for tangential directions on surfaces. We introduce DeltaConv, a convolution layer that combines geometric operators from vector calculus to enable the construction of anisotropic filters on point clouds. Because these operators are defined on scalar- and vector-fields, we separate the network into a scalar- and a vector-stream, which are connected by the operators. The vector stream enables the network to explicitly represent, evaluate, and process directional information. Our convolutions are robust and simple to implement and match or improve on state-of-the-art approaches on several benchmarks, while also speeding up training and inference.


title: Orbital Selective Kondo Effect in Heavy Fermion Superconductor UTe$_{2}$

abstract: It has been a great challenge to explore many-body effects in heavy fermion systems with $ab$-$initio$ approaches. We computed the electronic structure of UTe$_{2}$ without purposive judgements, such as intentional selection of on-site Coulomb interaction and disregarding spin-orbit coupling. We show that U-5$f$ electrons are highly localized in the paramagnetic normal state, giving rise to the Kondo effect. It is also found that the hybridization between U-5$f$ and U-6$d$ predominantly in the orthorhombic $ab$-plane is responsible for the high-temperature Kondo effect. In contrast, the hybridization between U-5$f$ and Te-5$p$ along the $c$-axis manifests the Kondo scattering at a much lower temperature, which could be responsible for the low-temperature upturn of the $c$-axis resistivity. Our results show that the electron correlation in UTe$_2$ is orbital selective, which naturally elucidates the recent experimental observations of anomalous temperature dependence of resistivity. Furthermore, we suggest that the Kondo effect is suppressed at high pressure owing to weak localization of magnetic moments, which results from enhanced U-5$f$ electron hopping.


title: Thermal and nonthermal emission in the optical-UV spectrum of PSR B0950+08

abstract: Based on recent Hubble Space Telescope (HST) observations in far-UV and groundbased observations in optical bands, Pavlov and colleagues have revealed a thermal component in the spectrum of the old pulsar B0950+08 (spin-down age 17.5 Myr) and estimated a neutron star (NS) surface temperature of $(1$--$3)\times 10^5$ K. Our new HST observations in the optical have allowed us to resolve the pulsar from a close-by galaxy and measure the optical fluxes more accurately. Using the newly measured fluxes and a new calibration of the HST's far-UV detector, we fit the optical-UV pulsar's spectrum with a model that consists of a nonthermal power-law ($f_\nu\propto \nu^\alpha$) and a thermal blackbody components. We obtained the spectral slope $\alpha=-0.3\pm 0.3$, considerably flatter than found from groundbased observations, and the best-fit temperature in the range of $(6$--$12)\times 10^4$ K (as seen by a distant observer), depending on interstellar extinction and NS radius. The temperature is lower than reported previously, but still much higher than predicted by NS passive cooling scenarios for such an old pulsar. This means that some heating mechanisms operate in NSs, e.g., caused by interaction of the faster rotating neutron superfluid with the slower rotating normal matter in the inner crust of the NS.


title: The first thirty years of Andersen-Lempert theory

abstract: In this paper we expose the impact of the fundamental discovery, made by Erik Anders\'en and L\'aszl\'o Lempert in 1992, that the group generated by shears is dense in the group of holomorphic automorphisms of complex Euclidean spaces of dimensions $n>1$. In three decades since its publication, their groundbreaking work led to the discovery of several new phenomena and to major new results in complex analysis and geometry involving Stein manifolds and affine algebraic manifolds with many automorphisms. The aim of this survey is to present some focal points of these developments, with a view towards the future.


title: Green functions for a chain subjected to a uniformly varying field in the context of electron transmission

abstract: On the basis of the tight-binding formalism and Green function technique we obtain all the Green functions matrix elements for a biased chain with a linear variation of the electron on-site energy. Their dependence on the system parameters is analyzed in the context of through-molecule electron transport.


title: Additive functionals of exclusion processes from non-equilibrium

abstract: Consider the weakly asymmetric simple exclusion processes on the one-dimensional torus. We study the non-equilibrium fluctuation of a class of additive functionals, and show that its scaling limit is a Gaussian process. The proof is mainly based on the results obtained and techniques developed by Jara and Menezes [Non-equiliburim fluctuations of interacting particle systems, arXiv:1810.09526].


title: Online Estimation and Optimization of Utility-Based Shortfall Risk

abstract: Utility-Based Shortfall Risk (UBSR) is a risk metric that is increasingly popular in financial applications, owing to certain desirable properties that it enjoys. We consider the problem of estimating UBSR in a recursive setting, where samples from the underlying loss distribution are available one-at-a-time. We cast the UBSR estimation problem as a root finding problem, and propose stochastic approximation-based estimations schemes. We derive non-asymptotic bounds on the estimation error in the number of samples. We also consider the problem of UBSR optimization within a parameterized class of random variables. We propose a stochastic gradient descent based algorithm for UBSR optimization, and derive non-asymptotic bounds on its convergence.


title: Exploiting self-organized criticality in strongly stratified turbulence

abstract: A multiscale reduced description of turbulent free shear flows in the presence of strong stabilizing density stratification is derived via asymptotic analysis of the Boussinesq equations in the simultaneous limits of small Froude and large Reynolds numbers. The analysis explicitly recognizes the occurrence of dynamics on disparate spatiotemporal scales, yielding simplified partial differential equations governing the coupled evolution of slow large-scale hydrostatic flows and fast small-scale isotropic instabilities and internal waves. The dynamics captured by the coupled reduced equations is illustrated in the context of two-dimensional strongly stratified Kolmogorov flow. A noteworthy feature of the reduced model is that the fluctuations are constrained to satisfy quasilinear (QL) dynamics about the comparably slowly-varying large-scale fields. Crucially, this QL reduction is not invoked as an ad hoc closure approximation, but rather is derived in a physically relevant and mathematically consistent distinguished limit. Further analysis of the resulting slow-fast QL system shows how the amplitude of the fast stratified-shear instabilities is slaved to the slowly-evolving mean fields to ensure the marginal stability of the latter. Physically, this marginal stability condition appears to be compatible with recent evidence of self-organized criticality in both observations and simulations of stratified turbulence. lgorithmically, the slaving of the fluctuation fields enables numerical simulations to be time-evolved strictly on the slow time scale of the hydrostatic flow. The reduced equations thus provide a solid mathematical foundation for future studies of three-dimensional strongly stratified turbulence in extreme parameter regimes of geophysical relevance and suggest avenues for new sub-grid-scale parameterizations.


title: Discovery of 178 Giant Radio Galaxies in 1059 deg$^2$ of the Rapid ASKAP Continuum Survey at 888 MHz

abstract: We report the results of a visual inspection of images of the Rapid ASKAP Continuum Survey (RACS) in search of extended radio galaxies (ERG) that reach or exceed linear sizes on the order of one Megaparsec. We searched a contiguous area of 1059deg$^2$ from RA$_{\rm J}$=20$^h$20$^m$ to 06$^h$20$^m$, and $-50^{\circ}<\rm{Dec}_J<-40^{\circ}$, which is covered by deep multi-band optical images of the Dark Energy Survey (DES), and in which previously only three ERGs larger than 1Mpc had been reported. For over 1800 radio galaxy candidates inspected, our search in optical and infrared images resulted in hosts for 1440 ERG, for which spectroscopic and photometric redshifts from various references were used to convert their largest angular size (LAS) to projected linear size (LLS). This resulted in 178 newly discovered giant radio sources (GRS) with LLS$>$1Mpc, of which 18 exceed 2Mpc and the largest one is 3.4Mpc. Their redshifts range from 0.02 to $\sim$2.0, but only 10 of the 178 new GRS have spectroscopic redshifts. For the 146 host galaxies the median $r$-band magnitude and redshift are 20.9 and 0.64, while for the 32 quasars or candidates these are 19.7 and 0.75. Merging the six most recent large compilations of GRS results in 458 GRS larger than 1Mpc, so we were able to increase this number by $\sim39\%$ to now 636.


title: User Response and Sentiment Prediction for Automatic Dialogue Evaluation

abstract: Automatic evaluation is beneficial for open-domain dialog system development. However, standard word-overlap metrics (BLEU, ROUGE) do not correlate well with human judgements of open-domain dialog systems. In this work we propose to use the sentiment of the next user utterance for turn or dialog level evaluation. Specifically we propose three methods: one that predicts the next sentiment directly, and two others that predict the next user utterance using an utterance or a feedback generator model and then classify its sentiment. Experiments show our model outperforming existing automatic evaluation metrics on both written and spoken open-domain dialogue datasets.


title: A TCN-based Hybrid Forecasting Framework for Hours-ahead Utility-scale PV Forecasting

abstract: This paper presents a Temporal Convolutional Network (TCN) based hybrid PV forecasting framework for enhancing hours-ahead utility-scale PV forecasting. The hybrid framework consists of two forecasting models: a physics-based trend forecasting (TF) model and a data-driven cloud-event forecasting (CF) model. Three TCNs are integrated in the framework for: i) blending the inputs from different Numerical Weather Prediction sources for the TF model to achieve superior performance on forecasting hourly PV profiles, ii) capturing spatial-temporal correlations between detector sites and the target site in the CF model to achieve more accurate forecast of intra-hour PV power drops, and iii) reconciling TF and CF results to obtain coherent hours-ahead PV forecast with both hourly trends and intra-hour fluctuations well preserved. To automatically identify the most contributive neighboring sites for forming a detector network, a scenario-based correlation analysis method is developed, which significantly improves the capability of the CF model on capturing large power fluctuations caused by cloud movements. The framework is developed, tested, and validated using actual PV data collected from 95 PV farms in North Carolina. Simulation results show that the performance of 6 hours ahead PV power forecasting is improved by approximately 20% compared with state-of-the-art methods.


title: Probing the electromagnetic response of dielectric antennas by vortex electron beams

abstract: Focused beams of electrons, which act as both sources, and sensors of electric fields, can be used to characterise the electric response of complex photonic systems by locally probing the induced optical near fields. This functionality can be complemented by embracing the recently developed vortex electron beams (VEBs), made up of electrons with orbital angular momentum, which could, in addition, probe induced magnetic near fields. In this work, we revisit the theoretical description of this technique, dubbed vortex Electron Energy-Loss Spectroscopy (v-EELS). We map the fundamental, quantum-mechanical picture of the scattering of the VEB electrons to the intuitive classical models, which treat the electron beams as a superposition of linear electric and magnetic currents. We then apply this formalism to characterise the optical response of dielectric nanoantennas with v-EELS. Our calculations reveal that VEB electrons probe electric or magnetic modes with different efficiency, which can be adjusted by changing either beam vorticity or acceleration voltage to determine the nature of the probed excitations. We also study a chirally-arranged nanostructure, which in the interaction with electron vortices produces dichroism in electron energy loss spectra. Our theoretical work establishes VEBs as versatile probes that could provide information on optical excitations otherwise inaccessible with conventional electron beams.


title: Thermal corrections to the bound-electron $g$-factor

abstract: The influence of the blackbody radiation field on the $g$-factor of light hydrogenlike ions is considered within the framework of quantum electrodynamics at finite temperature for bound states. One-loop thermal corrections are examined for a wide range of temperatures. The numerical results for $1s$, $2s$, $2p_{1/2}$, and $2p_{3/2}$ states are presented. It is shown that for excited states finite temperature corrections to the bound-electron $g$-factor are close to the level of current experimental uncertainty even at room temperatures and can be discerned within the measurements anticipated in the near future.


title: Computing the Morava K-theory of real Grassmanians using chromatic fixed point theory

abstract: We study K(n)*(Gr(d,m)) for all n - the 2-local Morava K-theories of the real Grassmanian Gr(d,m) of d-planes in R^m, about which very little has been previously computed. We conjecture that the Atiyah-Hirzebruch Spectral Sequences computing these all collapse after the first possible non-zero differential, and give much evidence that this is the case. Computational patterns for all n seem similar to the known calculation of H*(Gr(d,m);Q), the n=0 case. We use a novel method to show that higher differentials can't occur: we get a lower bound on the size of K(n)*(Gr(d,m)) by constructing an action of C = the cyclic group of order 4, on our Grassmanians, and then applying the chromatic fixed point theory of the authors' previous paper. In essence, we bound the size of K(n)*(Gr(d,m)) from below by computing K(n-1)*(Gr(d,m)^C). Meanwhile, the AHSS after the first differential is determined by Q_n-homology, where Q_n is Milnor's nth primitive operation in mod 2 cohomology. Whenever we are able to calculate this, we have found that it agrees with our lower bound for the size of K(n)*(Gr(d,m)). We have two general families where we prove this: m at most 2^{n+1} and all d, and d=2 and all m and n. Computer calculations have allowed us to check many other examples with larger values of d.


title: Sharp bound on the threshold metric dimension of trees

abstract: The threshold-$k$ metric dimension ($\mathrm{Tmd}_k$) of a graph is the minimum number of sensors -- a subset of the vertex set -- needed to uniquely identify any vertex in the graph, solely based on its distances from the sensors, when the measuring radius of a sensor is $k$. We give a sharp lower bound on the $\mathrm{Tmd}_k$ of trees, depending only on the number of vertices $n$ and the measuring radius $k$. This sharp lower bound grows linearly in $n$ with leading coefficient $3/(k^2+4k+3+\mathbf{1}\{k\equiv 1\pmod 3\})$, disproving earlier conjectures by Tillquist et al. in arXiv:2106.14314 that suspected $n/(\lfloor k^2/4\rfloor +2k)$ as main order term. We provide a construction for the largest possible trees with a given $\mathrm{Tmd}_k$ value. The proof that our optimal construction cannot be improved relies on edge-rewiring procedures of arbitrary (suboptimal) trees with arbitrary resolving sets, which reveal the structure of how small subsets of sensors measure and resolve certain areas in the tree that we call the attraction of those sensors. The notion of `attraction of sensors' might be useful in other contexts beyond trees to solve related problems. We also provide an improved lower bound on the $\mathrm{Tmd}_k$ of arbitrary trees that takes into account the structural properties of the tree, in particular, the number and length of simple paths of degree-two vertices terminating in leaf vertices. This bound complements arXiv:2106.14314, where only trees without degree-two vertices were considered, except the simple case of a single path.


title: Error mitigation in variational quantum eigensolvers using tailored probabilistic machine learning

abstract: Quantum computing technology has the potential to revolutionize the simulation of materials and molecules in the near future. A primary challenge in achieving near-term quantum advantage is effectively mitigating the noise effects inherent in current quantum processing units (QPUs). This challenge is also decisive in the context of quantum-classical hybrid schemes employing variational quantum eigensolvers (VQEs) that have attracted significant interest in recent years. In this work, we present a novel method that employs parametric Gaussian process regression (GPR) within an active learning framework to mitigate noise in quantum computations, focusing on VQEs. Our approach, grounded in probabilistic machine learning, exploits a custom prior based on the VQE ansatz to capture the underlying correlations between VQE outputs for different variational parameters, thereby enhancing both accuracy and efficiency. We demonstrate the effectiveness of our method on a 2-site Anderson impurity model and a 8-site Heisenberg model, using the IBM open-source quantum computing framework, Qiskit, showcasing substantial improvements in the accuracy of VQE outputs while reducing the number of direct QPU energy evaluations. This work contributes to the ongoing efforts in quantum error mitigation and optimization, bringing us a step closer to realizing the potential of quantum computing in quantum matter simulations.


title: High-order Positivity-preserving L2-stable Spectral Collocation Schemes for the 3-D compressible Navier-Stokes equations

abstract: This paper extends a new class of positivity-preserving, entropy stable spectral collocation schemes developed for the one-dimensional compressible Navier-Stokes equations in [1,2] to three spatial dimensions. The new high-order schemes are provably L2 stable, design-order accurate for smooth solutions, and guarantee the pointwise positivity of thermodynamic variables for 3-D compressible viscous flows. Similar to the 1-D counterpart, the proposed schemes for the 3-D Navier-Stokes equations are constructed by using a flux-limiting technique that combines a positivity-violating entropy stable method of arbitrary order of accuracy and a novel first-order positivity-preserving entropy stable finite volume-type scheme discretized on the same Legendre-Gauss-Lobatto grid points used for constructing the high-order discrete operators. The positivity preservation and excellent discontinuity-capturing properties are achieved by adding an artificial dissipation in the form of the low- and high-order Brenner-Navier-Stokes diffusion operators. To our knowledge, this is the first family of positivity-preserving, entropy stable schemes of arbitrary order of accuracy for the 3-D compressible Navier-Stokes equations.


title: Sampling Molecular Gas in the Helix Planetary Nebula: Variation in HNC/HCN with UV Flux

abstract: Observations of molecular clouds, prestellar cores, and protoplanetary disks have established that the HNC/HCN ratio may be a potent diagnostic of molecular gas physical conditions. The processes that govern the relative abundances of these molecules nevertheless remain poorly understood. We seek to exploit the wide range of UV irradiation strengths within the 1 pc diameter Helix planetary nebula to explore the potential role of UV radiation in driving HNC/HCN. We performed IRAM 30 m and APEX 12 m radio line observations across six positions within the Helix Nebula, making use of radiative transfer and photodissociation modeling codes to interpret the results for line intensities and line ratios in terms of the molecular gas properties. We have obtained the first detections of the plasma-embedded Helix molecular knots (globules) in HCN, HNC, HCO+, and other trace molecules. Analysis of the HNC/HCN integrated line intensity ratio reveals an increase with radial distance from the Helix central star. In the context of molecular line ratios of other planetary nebulae from the literature, the HNC/HCN ratio appears to be anticorrelated with UV emission over four orders of magnitude in incident flux. Models of the photodissociation regions within the Helix using the RADEX and Meudon codes reveal strong constraints on column density of the molecular gas, as well as pressure and temperature. Analysis of the molecular ion HCO+ across the Helix indicates that X-ray irradiation is likely driving HCO+ production in the outer regions of planetary nebulae, where photodissociation is limited, yet cold gas and ionized molecules are abundant. Although the observational results clearly indicate that UV irradiation is important in determining the HNC/HCN ratio, our PDR modeling indicates that the UV flux gradient alone cannot reproduce the observed variation of HNC/HCN across the Helix.


title: Compressive Features in Offline Reinforcement Learning for Recommender Systems

abstract: In this paper, we develop a recommender system for a game that suggests potential items to players based on their interactive behaviors to maximize revenue for the game provider. Our approach is built on a reinforcement learning-based technique and is trained on an offline data set that is publicly available on an IEEE Big Data Cup challenge. The limitation of the offline data set and the curse of high dimensionality pose significant obstacles to solving this problem. Our proposed method focuses on improving the total rewards and performance by tackling these main difficulties. More specifically, we utilized sparse PCA to extract important features of user behaviors. Our Q-learning-based system is then trained from the processed offline data set. To exploit all possible information from the provided data set, we cluster user features to different groups and build an independent Q-table for each group. Furthermore, to tackle the challenge of unknown formula for evaluation metrics, we design a metric to self-evaluate our system's performance based on the potential value the game provider might achieve and a small collection of actual evaluation metrics that we obtain from the live scoring environment. Our experiments show that our proposed metric is consistent with the results published by the challenge organizers. We have implemented the proposed training pipeline, and the results show that our method outperforms current state-of-the-art methods in terms of both total rewards and training speed. By addressing the main challenges and leveraging the state-of-the-art techniques, we have achieved the best public leaderboard result in the challenge. Furthermore, our proposed method achieved an estimated score of approximately 20% better and can be trained faster by 30 times than the best of the current state-of-the-art methods.


title: What defines a compact symmetric object? A carefully vetted sample of CSOs

abstract: Compact Symmetric Objects (CSOs), young jetted-AGN of overall projected size <1 kpc, are of great interest due to their youth and evolution. The classification was introduced to distinguish between ~95% of powerful compact extragalactic radio sources in flux density limited samples that are dominated by asymmetric emission due to relativistic beaming from jets aligned close to the line of sight, and ~5% of objects that are not. The original classification criteria were: (i) overall projected diameter smaller than ~1 kpc, (ii) identified center of activity, and (iii) symmetric jet structure about the center. There is confusion and erosion of the value of the CSO classification due to misclassifications. Many jets contain compact bright features outside core, resulting in a GPS total spectrum and a "compact double" appearance, and some objects with jet axes aligned close to the line of sight appear symmetric because the approaching jet is projected on both sides of the core. To eliminate the confusion, we propose adding (iv) slow radio variability and (v) low apparent velocity of bright features moving along the jets to the above CSO criteria. We are compiling a catalog of CSOs using these five criteria to eliminate the confusion of Doppler boosting.


title: CleanRL: High-quality Single-file Implementations of Deep Reinforcement Learning Algorithms

abstract: CleanRL is an open-source library that provides high-quality single-file implementations of Deep Reinforcement Learning algorithms. It provides a simpler yet scalable developing experience by having a straightforward codebase and integrating production tools to help interact and scale experiments. In CleanRL, we put all details of an algorithm into a single file, making these performance-relevant details easier to recognize. Additionally, an experiment tracking feature is available to help log metrics, hyperparameters, videos of an agent's gameplay, dependencies, and more to the cloud. Despite succinct implementations, we have also designed tools to help scale, at one point orchestrating experiments on more than 2000 machines simultaneously via Docker and cloud providers. Finally, we have ensured the quality of the implementations by benchmarking against a variety of environments. The source code of CleanRL can be found at https://github.com/vwxyzjn/cleanrl


title: Eigenstate structure in many-body bosonic systems: Analysis using random matrices and $q$-Hermite polynomials

abstract: We analyze the structure of eigenstates in many-body bosonic systems by modeling the Hamiltonian of these complex systems using Bosonic Embedded Gaussian Orthogonal Ensembles (BEGOE) defined by a mean-field plus $k$-body random interactions. The quantities employed are the number of principal components (NPC), the localization length ($l_H$) and the entropy production $S(t)$. The numerical results are compared with the analytical formulas obtained using random matrices which are based on bivariate $q$-Hermite polynomials for local density of states $F_k(E|q)$ and the bivariate $q$-Hermite polynomial form for bivariate eigenvalue density $\rho_{biv:q}(E,E_k)$ that are valid in the strong interaction domain. We also compare transport efficiency in many-body bosonic systems using BEGOE in absence and presence of centrosymmetry. It is seen that the centrosymmetry enhances quantum efficiency.


title: J01020100-7122208: an accreted evolved blue straggler that wasn't ejected from a supermassive black hole

abstract: J01020100-7122208 is a star whose origin and nature still challenges us. It was first believed to be a yellow super giant ejected from the Small Magellanic Cloud, but it was more recently claimed to be a red giant accelerated by the Milky Way's central black hole. In order to unveil its nature, we analysed photometric, astrometric and high resolution spectroscopic observations to estimate the orbit, age, and 16 elemental abundances. Our results show that this star has a retrograde and highly-eccentric orbit, $e=0.914_{-0.020}^{+0.016}$. Correspondingly, it likely crossed the Galactic disk at $550\;\mathrm{pc}$ from the Galactic centre. We obtained a spectroscopic mass and age of $1.09\pm0.10$ $M_\odot$ and $4.51\pm1.44$ Gyr respectively. Its chemical composition is similar to the abundance of other retrograde halo stars. We found that the star is enriched in europium, having [Eu/Fe] = 0.93 $\pm$ 0.24, and is more metal-poor than reported in the literature, with [Fe/H] = -1.30 $\pm$ 0.10. This information was used to conclude that J01020100-7122208 is likely not a star ejected from the central black of the Milky Way or from the Small Magellanic Cloud. Instead, we propose that it is simply a halo star which was likely accreted by the Milky Way in the distant past but its mass and age suggest it is probably an evolved blue straggler.


title: BBS: A Blockchain Big-Data Sharing System

abstract: Chain of custody is needed to document the sequence of custody of sensitive big data. In this paper, we design a blockchain big-data sharing system (BBS) based on Hyperledger Fabric. We denote the data stored outside of a ledger for sharing as "off-state" and "big data" (referring to extremely large data) is in this category. In our off-state sharing protocol, a sender registers a file with BBS for sharing. To acquire the file, an authenticated and authorized receiver has to use transactions and interacts with BBS in four phases, including the file transfer request, encrypted file transfer, key retrieval, and file decryption. The corresponding transactions are recorded in the ledger and serve as chain of custody to document the trail of the data. Compared with related work, BBS can perform the four phases autonomously. It utilizes the permissioned blockchain, i.e. Hyperledger Fabric, for access control and can defeat dishonest receivers. We design and implement a prototype of BBS for big file sharing. Extensive experiments were performed to validate its feasibility and performance.


title: Meta-Auto-Decoder for Solving Parametric Partial Differential Equations

abstract: Many important problems in science and engineering require solving the so-called parametric partial differential equations (PDEs), i.e., PDEs with different physical parameters, boundary conditions, shapes of computation domains, etc. Recently, building learning-based numerical solvers for parametric PDEs has become an emerging new field. One category of methods such as the Deep Galerkin Method (DGM) and Physics-Informed Neural Networks (PINNs) aim to approximate the solution of the PDEs. They are typically unsupervised and mesh-free, but require going through the time-consuming network training process from scratch for each set of parameters of the PDE. Another category of methods such as Fourier Neural Operator (FNO) and Deep Operator Network (DeepONet) try to approximate the solution mapping directly. Being fast with only one forward inference for each PDE parameter without retraining, they often require a large corpus of paired input-output observations drawn from numerical simulations, and most of them need a predefined mesh as well. In this paper, we propose Meta-Auto-Decoder (MAD), a mesh-free and unsupervised deep learning method that enables the pre-trained model to be quickly adapted to equation instances by implicitly encoding (possibly heterogenous) PDE parameters as latent vectors. The proposed method MAD can be interpreted by manifold learning in infinite-dimensional spaces, granting it a geometric insight. Extensive numerical experiments show that the MAD method exhibits faster convergence speed without losing accuracy than other deep learning-based methods. The project page with code is available: https://gitee.com/mindspore/mindscience/tree/master/MindElec/.


title: The Case for Learned In-Memory Joins

abstract: In-memory join is an essential operator in any database engine. It has been extensively investigated in the database literature. In this paper, we study whether exploiting the CDF-based learned models to boost the join performance is practical or not. To the best of our knowledge, we are the first to fill this gap. We investigate the usage of CDF-based partitioning and learned indexes (e.g., Recursive Model Indexes (RMI) and RadixSpline) in the three join categories; indexed nested loop join (INLJ), sort-based joins (SJ) and hash-based joins (HJ). Our study shows that there is a room to improve the performance of INLJ and SJ categories through our proposed optimized learned variants. Our experimental analysis showed that these proposed learned variants of INLJ and SJ consistently outperform the state-of-the-art techniques.


title: Background Estimation Studies for Positron Double Beta Decay

abstract: The study of neutrinoless double beta decay has attracted much attention as it can provide valuable information about the mass and the nature of the neutrino. The double beta decay (DBD) itself is also of interest in nuclear physics. While DBD has been observed in about a dozen nuclei, the positron double beta decay ($\beta^{+}\beta^{+}$/EC-$\beta^{+}$) continues to be an elusive. An important signature for $\beta^{+}\beta^{+}$ decay is the simultaneous emission of four 511 keV gamma rays and the coincident detection of these gamma rays can improve the measurement sensitivity. This paper presents an estimation of sensitivity for EC-$\beta^{+}$ and $\beta^{+}\beta^{+}$ employing coincidence measurement with two high purity Ge (HPGe) detectors. Simulations for coincident detection efficiency (${\epsilon}_c$) of 511 keV gamma rays with two HPGe detectors have been carried out using GEANT4 for different source geometries to optimize the mass efficiency product (M${\epsilon}_c$). The source of size $55\,mm \times 55\,mm \times 5\,mm$ (thickness) sandwiched between the front faces of the detectors were found to be optimal for 2 pairs of 511 keV gamma rays in the present detector setup. The coincident background is estimated at the sea level with moderate Pb shielding. With this setup, the sensitivity for T$_{1/2}$ measurement of EC-$\beta^{+}$ in $^{112}$Sn and $\beta^{+}\beta^{+}$ in $^{106}$Cd is estimated to be $\sim$10$^{19}$ - 10$^{20}$ y for 1y of measurement time.


title: A Benchmark for Modeling Violation-of-Expectation in Physical Reasoning Across Event Categories

abstract: Recent work in computer vision and cognitive reasoning has given rise to an increasing adoption of the Violation-of-Expectation (VoE) paradigm in synthetic datasets. Inspired by infant psychology, researchers are now evaluating a model's ability to label scenes as either expected or surprising with knowledge of only expected scenes. However, existing VoE-based 3D datasets in physical reasoning provide mainly vision data with little to no heuristics or inductive biases. Cognitive models of physical reasoning reveal infants create high-level abstract representations of objects and interactions. Capitalizing on this knowledge, we established a benchmark to study physical reasoning by curating a novel large-scale synthetic 3D VoE dataset armed with ground-truth heuristic labels of causally relevant features and rules. To validate our dataset in five event categories of physical reasoning, we benchmarked and analyzed human performance. We also proposed the Object File Physical Reasoning Network (OFPR-Net) which exploits the dataset's novel heuristics to outperform our baseline and ablation models. The OFPR-Net is also flexible in learning an alternate physical reality, showcasing its ability to learn universal causal relationships in physical reasoning to create systems with better interpretability.


title: Dissipative entanglement generation between two driven qubits in circuit quantum electrodynamics

abstract: An entangled state generation protocol for a system of two qubits driven with an ac signal and coupled through a resonator is introduced. We explain the mechanism of entanglement generation in terms of an interplay between unitary Landau-Zener-Stuckelberg (LZS) transitions induced for appropriate amplitudes and frequencies of the applied ac signal and dissipative processes dominated by photon loss. In this way, we found that the steady state of the system can be tuned to be arbitrarily close to a Bell state, which is independent of the initial state. Effective two-qubit Hamiltonians that reproduce the resonance patterns associated with LZS transitions are derived.


title: Analysis of Early Science observations with the CHaracterising ExOPlanets Satellite (CHEOPS) using pycheops

abstract: CHEOPS(CHaracterising ExOPlanet Satellite) is an ESA S-class mission that observes bright stars at high cadence from low-Earth orbit. The main aim of the mission is to characterize exoplanets that transit nearby stars using ultrahigh precision photometry. Here we report the analysis of transits observed by CHEOPS during its Early Science observing programme for four well-known exoplanets: GJ436b, HD106315b, HD97658b and GJ1132b. The analysis is done using pycheops, an open-source software package we have developed to easily and efficiently analyse CHEOPS light curve data using state-of-the-art techniques that are fully described herein. We show that the precision of the transit parameters measured using CHEOPS is comparable to that from larger space telescopes such as Spitzer Space Telescope and Kepler. We use the updated planet parameters from our analysis to derive new constraints on the internal structure of these four exoplanets.


title: One hundred percent renewable energy generation in 2030 with the lowest cost commercially available power plants

abstract: We hypothesize that the present expansion of energy generation by variable renewable energy (VRE) power plants, such as wind and photovoltaic power plants, leads to a 100% renewable energy supply in 2030 because of its inherent exponential growth function. This behavior is related to the exponential cost reduction of its generated energy and the nearly unconstrained available potential of its natural resources. The cost reduction results from the continuous improvements in development, research, manufacturing, and installation, also showing a growth of its installation power per power plant or aero generator. We prove that if the historic exponential growth is followed in the future, it is possible to decarbonize the world's electric energy systems' power supply in 2026. Furthermore, the global demand on primary energy can be supplied in 2030, which leads to the total suppression of CO2 emissions related to the energy need of humanity. Because of the related cost reduction, energy costs are not anymore relevant. Our extrapolation is based on the continuation of the historic growth functions of the globally installed PV and the wind power plants, and we also discuss the conditions necessary to enable a transition to such a 100% renewable energy production. Considering a non-constrained growth of VRE power plants' installation power, decarbonization related to energy generation and use can be accomplished in a much shorter time frame as previously scheduled. As a result, climate change mitigation, energy cost reduction, and high employment are attained much earlier than previously planned.


title: How Mock Model Training Enhances User Perceptions of AI Systems

abstract: Artificial Intelligence (AI) is an integral part of our daily technology use and will likely be a critical component of emerging technologies. However, negative user preconceptions may hinder adoption of AI-based decision making. Prior work has highlighted the potential of factors such as transparency and explainability in improving user perceptions of AI. We further contribute to work on improving user perceptions of AI by demonstrating that bringing the user in the loop through mock model training can improve their perceptions of an AI agent's capability and their comfort with the possibility of using technology employing the AI agent.


title: HARA: A Hierarchical Approach for Robust Rotation Averaging

abstract: We propose a novel hierarchical approach for multiple rotation averaging, dubbed HARA. Our method incrementally initializes the rotation graph based on a hierarchy of triplet support. The key idea is to build a spanning tree by prioritizing the edges with many strong triplet supports and gradually adding those with weaker and fewer supports. This reduces the risk of adding outliers in the spanning tree. As a result, we obtain a robust initial solution that enables us to filter outliers prior to nonlinear optimization. With minimal modification, our approach can also integrate the knowledge of the number of valid 2D-2D correspondences. We perform extensive evaluations on both synthetic and real datasets, demonstrating state-of-the-art results.


title: Hydrodynamics Explanation for the Splitting of Higher-charge Optical Vortices

abstract: We show that a two-dimensional hydrodynamics model provides a physical explanation for the splitting of higher-charge optical vortices under elliptical deformations. The model is applicable to laser light and quantum fluids alike. The study delineates vortex breakups from vortex unions under different forms of asymmetry in the beam, and it is also applied to explain the motion of intact higher-charge vortices.


title: Subexponential growth of early Christianity

abstract: This paper presents a simple mathematical model for the growth of the Christian population in the Roman Empire during the first to fourth centuries. The model has a subexponential growth rate of order $e^{o(t)}$, where $o$ denotes the "little-o" asymptotic bound, but still superpolynomial, and it fits available Christian population estimates with good accuracy.


title: Federated Learning for Smart Healthcare: A Survey

abstract: Recent advances in communication technologies and Internet-of-Medical-Things have transformed smart healthcare enabled by artificial intelligence (AI). Traditionally, AI techniques require centralized data collection and processing that may be infeasible in realistic healthcare scenarios due to the high scalability of modern healthcare networks and growing data privacy concerns. Federated Learning (FL), as an emerging distributed collaborative AI paradigm, is particularly attractive for smart healthcare, by coordinating multiple clients (e.g., hospitals) to perform AI training without sharing raw data. Accordingly, we provide a comprehensive survey on the use of FL in smart healthcare. First, we present the recent advances in FL, the motivations, and the requirements of using FL in smart healthcare. The recent FL designs for smart healthcare are then discussed, ranging from resource-aware FL, secure and privacy-aware FL to incentive FL and personalized FL. Subsequently, we provide a state-of-the-art review on the emerging applications of FL in key healthcare domains, including health data management, remote health monitoring, medical imaging, and COVID-19 detection. Several recent FL-based smart healthcare projects are analyzed, and the key lessons learned from the survey are also highlighted. Finally, we discuss interesting research challenges and possible directions for future FL research in smart healthcare.


title: Stepsize errors in the $N$-body problem: discerning Mercury's true possible long-term orbits

abstract: Numerical integrations of the Solar System have been carried out for decades. Their results have been used, for example, to determine whether the Solar System is chaotic, whether Mercury's orbit is stable, or to help discern Earth's climate history. We argue that all of the past studies we consider in this work are affected by numerical chaos to different degrees, affecting the possible orbits and instability probability of Mercury, sometimes significantly. We show how to eliminate the effects of numerical chaos by resolving Mercury's pericentre passage. We also show that several higher order symplectic maps do not exhibit significant differences in resolving pericentre passage of Mercury (at fixed time step), making their advantages suspect for calculating long-term orbits. Resolving pericentre passage affects a wide array of orbital numerical studies, like exoplanet studies, studies of the galactic centre, and other $N$-body problems.


title: Cold dark matter protohalo structure around collapse: Lagrangian cosmological perturbation theory versus Vlasov simulations

abstract: We explore the structure around shell-crossing time of cold dark matter protohaloes seeded by two or three crossed sine waves of various relative initial amplitudes, by comparing Lagrangian perturbation theory (LPT) up to 10th order to high-resolution cosmological simulations performed with the public Vlasov code ColDICE. Accurate analyses of the density, the velocity, and related quantities such as the vorticity are performed by exploiting the fact that ColDICE can follow locally the phase-space sheet at the quadratic level. To test LPT predictions beyond shell-crossing, we employ a ballistic approximation, which assumes that the velocity field is frozen just after shell-crossing. In the generic case, where the amplitudes of the sine waves are all different, high-order LPT predictions match very well the exact solution, even beyond collapse. As expected, convergence slows down when going from quasi-1D dynamics where one wave dominates over the two others, to the axial-symmetric configuration, where all the amplitudes of the waves are equal. It is also noticed that LPT convergence is slower when considering velocity related quantities. Additionally, the structure of the system at and beyond collapse given by LPT and the simulations agrees very well with singularity theory predictions, in particular with respect to the caustic and vorticity patterns that develop beyond collapse. Again, this does not apply to axial-symmetric configurations, that are still correct from the qualitative point of view, but where multiple foldings of the phase-space sheet produce very high density contrasts, hence a strong backreaction of the gravitational force.


title: The Lov\'{a}sz Local Lemma is Not About Probability

abstract: Given a collection of independent events each of which has strictly positive probability, the probability that all of them occur is also strictly positive. The Lov\'asz local lemma (LLL) asserts that this remains true if the events are not too strongly negatively correlated. The formulation of the lemma involves a graph with one vertex per event, with edges indicating potential negative dependence. The word "Local" in LLL reflects that the condition for the negative correlation can be expressed solely in terms of the neighborhood of each vertex. In contrast to this local view, Shearer developed an exact criterion for the avoidance probability to be strictly positive, but it involves summing over all independent sets of the graph. In this work we make two contributions. The first is to develop a hierarchy of increasingly powerful, increasingly non-local lemmata for bounding the avoidance probability from below, each lemma associated with a different set of walks in the graph. Already, at its second level, our hierarchy is stronger than all known local lemmata. To demonstrate its power we prove new bounds for the negative-fugacity singularity of the hard-core model on several lattices, a central problem in statistical physics. Our second contribution is to prove that Shearer's connection between the probabilistic setting and the independent set polynomial holds for \emph{arbitrary supermodular} functions, not just probability measures. This means that all LLL machinery can be employed to bound from below an arbitrary supermodular function, based only on information regarding its value at singleton sets and partial information regarding their interactions. We show that this readily implies both the quantum LLL of Ambainis, Kempe, and Sattath~[JACM 2012], and the quantum Shearer criterion of Sattath, Morampudi, Laumann, and Moessner~[PNAS 2016].

categories: math.PR cond-mat.stat-mech cs.DM math.CO


title: On the Total Edge Product Cordial Labeling of Some Corona Graphs

abstract: In this paper we obtain the total edge product cordial labeling of some corona graphs.


title: Zero-shot Singing Technique Conversion

abstract: In this paper we propose modifications to the neural network framework, AutoVC for the task of singing technique conversion. This includes utilising a pretrained singing technique encoder which extracts technique information, upon which a decoder is conditioned during training. By swapping out a source singer's technique information for that of the target's during conversion, the input spectrogram is reconstructed with the target's technique. We document the beneficial effects of omitting the latent loss, the importance of sequential training, and our process for fine-tuning the bottleneck. We also conducted a listening study where participants rate the specificity of technique-converted voices as well as their naturalness. From this we are able to conclude how effective the technique conversions are and how different conditions affect them, while assessing the model's ability to reconstruct its input data.


title: Online Advertising Revenue Forecasting: An Interpretable Deep Learning Approach

abstract: Online advertising revenues account for an increasing share of publishers' revenue streams, especially for small and medium-sized publishers who depend on the advertisement networks of tech companies such as Google and Facebook. Thus publishers may benefit significantly from accurate online advertising revenue forecasts to better manage their website monetization strategies. However, publishers who only have access to their own revenue data lack a holistic view of the total ad market of publishers, which in turn limits their ability to generate insights into their own future online advertising revenues. To address this business issue, we leverage a proprietary database encompassing Google Adsense revenues from a large collection of publishers in diverse areas. We adopt the Temporal Fusion Transformer (TFT) model, a novel attention-based architecture to predict publishers' advertising revenues. We leverage multiple covariates, including not only the publisher's own characteristics but also other publishers' advertising revenues. Our prediction results outperform several benchmark deep-learning time-series forecast models over multiple time horizons. Moreover, we interpret the results by analyzing variable importance weights to identify significant features and self-attention weights to reveal persistent temporal patterns.


title: A Machine Learning Model for Predicting Progressive Crack Extension based on DCPD Fatigue Data

abstract: Time history data collected from a Direct Current Potential Drop (DCPD) fatigue experiment at a range of temperatures was used to train a Bidirectional Long-Short Term Memory Neural Network (BiLSTM) model. The model was trained on high sampling rate experimental data from crack initiation up through the Paris regime. The BiLSTM model was able to predict the progressive crack extension at intermediate temperatures and stress intensities. The model was able to reproduce crack jumps and overall crack progression. The BiLSTM model demonstrated the potential to be used as a tool for future investigation into fundamental mechanisms such as high-temperature oxidation and new damage models.


title: Privacy Guarantees of BLE Contact Tracing: A Case Study on COVIDWISE

abstract: Google and Apple jointly introduced a digital contact tracing technology and an API called "exposure notification," to help health organizations and governments with contact tracing. The technology and its interplay with security and privacy constraints require investigation. In this study, we examine and analyze the security, privacy, and reliability of the technology with actual and typical scenarios (and expected typical adversary in mind), and quite realistic use cases. We do it in the context of Virginia's COVIDWISE app. This experimental analysis validates the properties of the system under the above conditions, a result that seems crucial for the peace of mind of the exposure notification technology adopting authorities, and may also help with the system's transparency and overall user trust.


title: On the Formation of Min-weight Codewords of Polar/PAC Codes and Its Applications

abstract: Minimum weight codewords play a crucial role in the error correction performance of a linear block code. In this work, we establish an explicit construction for these codewords of polar codes as a sum of the generator matrix rows, which can then be used as a foundation for two applications. In the first application, we obtain a lower bound for the number of minimum-weight codewords (a.k.a. the error coefficient), which matches the exact number established previously in the literature. In the second application, we derive a novel method that modifies the information set (a.k.a. rate profile) of polar codes and PAC codes in order to reduce the error coefficient, hence improving their performance. More specifically, by analyzing the structure of minimum-weight codewords of polar codes (as special sums of the rows in the polar transform matrix), we can identify rows (corresponding to \textit{information} bits) that contribute the most to the formation of such codewords and then replace them with other rows (corresponding to \textit{frozen} bits) that bring in few minimum-weight codewords. A similar process can also be applied to PAC codes. Our approach deviates from the traditional constructions of polar codes, which mostly focus on the reliability of the sub-channels, by taking into account another important factor - the weight distribution. Extensive numerical results show that the modified codes outperform PAC codes and CRC-Polar codes at the practical block error rate of $10^{-2}$-$10^{-3}$.


title: Studying Buildings Outlines to Assess and Predict Energy Performance in Buildings: A Probabilistic Approach

abstract: Building performance is commonly calculated during the last phases of design, where most design specifications get fixed and are unlikely to be majorly modified based on design programs. Predictive models could play a significant role in informing architects and designers of the impact of their design decisions on energy consumption in buildings during early design stages. A building outline is a significant predictor of the final energy consumption and is conceptually determined by architects in the early design phases. This paper evaluates the impact of a building's outline on energy consumption using synthetic data to achieve appropriate predictive models in estimating a building's energy consumption. Four office outlines are selected in this study, including square, T, U, and L shapes. Besides the shape parameter, other building features commonly used in literature (i.e., Window to Wall Ratio (WWR), external wall material properties, glazing U value, windows' shading depth, and building orientation) are utilized in generating data distribution with a probabilistic approach. The results show that buildings with square shapes, in general, are more energy-efficient compared to buildings with T, U, and L shapes of the same volume. Also, T, U, and L shape samples show very similar behavior in terms of energy consumption. Principal Component Analysis (PCA) is applied to assess the variables' correlations on data distribution; the results show that wall material specifications explain about 40% of data variation. Finally, we applied polynomial regression models with different degrees of complexity to predict the synthesized building models' energy consumptions based on their outlines. The results show that degree 2 polynomial models, fitting the data over 98% R squared (coefficient of determination), could be used to predict new samples with high accuracy.


title: Performance Evaluation of Pulse Shape Discrimination Capable Organic Scintillators for Space Applications

abstract: Scintillators with pulse-shape discrimination (PSD) capability are of great interest to many fields in the scientific community. The ability to discern a gamma ray from a neutron using PSD varies between different types of scintillator materials and dopants. A new generation of organic scintillator materials with PSD capability were studied to determine their radiation hardness to ionizing and non-ionizing radiation. The PSD capability, average pulse shapes, and light output of four types of organic scintillator were characterized before and after neutron and gamma-ray irradiation. The main goal of this investigation is to study the effects of long-term irradiation that may be experienced in space applications on the light output and particle discriminating capabilities of each material. EJ-270, EJ-276, organic glass, and Stilbene were tested. Damage due to non-ionizing (neutron) radiation was not observed in any of the scintillators up to $2.56\times10^{11}$ n/cm$^2$, except for Stilbene which showed a small (12$\%$) decrease in light output. All scintillators presented some light output reduction after ionizing (gamma-ray) irradiation, with reductions of 17$\%$ (EJ-276 and OGS), 32$\%$ (EJ-270), and 42$\%$ (Stilbene) observed immediately after 100 kRad.


title: Properties of Fast and Slow Bars Classified by Epicyclic Frequency Curves from Photometry of Barred Galaxies

abstract: We test the idea that bar pattern speeds decrease with time owing to angular momentum exchange with a dark matter halo. If this process actually occurs, then the locations of the corotation resonance and other resonances should generally increase with time. We therefore derive the angular velocity $\Omega$ and epicyclic frequency $\kappa$ as functions of galactocentric radius for 85 barred galaxies using photometric data. Mass maps are constructed by assuming a dynamical mass-to-light ratio and then solving the Poisson equation for the gravitatonal potential. The location of Lindblad resonances and the corotation resonance radius are then derived using the standard precession frequency curves in conjunction with bar pattern speeds recently estimated from the Tremaine-Weinberg method as applied to Integral Field Spectroscopy (IFS) data. Correlations between physical properties of bars and their host galaxies indicate that bar {\it length} and the corotation radius depend on the disk circular velocity while bar {\it strength} and pattern speed do not. As the bar pattern speed decreases, bar strength, length, and corotation radius incease, but when bars are subclassified into fast, medium, and slow domains, no significant change in bar length is found. Only a hint of an increase of bar strength from fast to slow bars is found. These results suggest that bar length in galaxies undergoes little evolution, being instead determined mainly by the size of their host galaxy.


title: Coefficients of Unitary Cyclotomic Polynomials of Order Three

abstract: A unitary cyclotomic polynomial of order three is a polynomial of the form \[ \Phi^*_{PQR}(x)=\frac{(x^{PQR}-1)(x^P-1)(x^Q-1)(x^R-1)}{(x^{PQ}-1)(x^{QR}-1)(x^{RP}-1)(x-1)}, \] where $P$, $Q$ and $R$ are powers of three distinct primes $p$, $q$ and $r$. Fixing any such prime triple generates a family of these polynomials corresponding to all possible choices of $P=p^a$, $Q=q^b$ and $R=r^c$. We study the coefficients of polynomials in such a family. In particular, we show that the coefficients of polynomials in every such family cover all of $\mathbb{Z}$.


title: Enabling Automated FPGA Accelerator Optimization Using Graph Neural Networks

abstract: High-level synthesis (HLS) has freed the computer architects from developing their designs in a very low-level language and needing to exactly specify how the data should be transferred in register-level. With the help of HLS, the hardware designers must describe only a high-level behavioral flow of the design. Despite this, it still can take weeks to develop a high-performance architecture mainly because there are many design choices at a higher level that requires more time to explore. It also takes several minutes to hours to get feedback from the HLS tool on the quality of each design candidate. In this paper, we propose to solve this problem by modeling the HLS tool with a graph neural network (GNN) that is trained to be used for a wide range of applications. The experimental results demonstrate that by employing the GNN-based model, we are able to estimate the quality of design in milliseconds with high accuracy which can help us search through the solution space very quickly.


title: Smooth distributions on subcartesian spaces are globally finitely generated

abstract: We prove that a connected subcartesian space admits embedding in a Euclidean space. The Whitney Embedding Theorem is then stated as a corollary of our result. Based on the above result together with the theory of distribution on smooth manifolds, we show that smooth generalized distributions on connected subcartesian spaces are globally finitely generated. We also show that smooth generalized subbundles of vector bundles on connected subcartesian spaces are globally finitely generated.


title: On controlled invariance for regular distributions

abstract: This paper considers the problem of controlled invariance of involutive regular distribution, both for smooth and real analytic cases. After a review of some existing work, a precise formulation of the problem of local and global controlled invariance of involutive regular distributions for both affine control systems and affine distributions is introduced. A complete characterization for local controlled invariance of involutive regular distributions for affine control systems is presented. A geometric interpretation for this characterization is provided. A result on local controlled invariance for real analytic affine distribution is given. Then we investigate conditions that allow passages from local controlled invariance to global controlled invariance, for both smooth and real analytic affine distributions. We clarify existing results in the literature. Finally, for manifolds with a symmetry Lie group action, the problem of global controlled invariance is considered.


title: Deep Neural Networks for Rank-Consistent Ordinal Regression Based On Conditional Probabilities

abstract: In recent times, deep neural networks achieved outstanding predictive performance on various classification and pattern recognition tasks. However, many real-world prediction problems have ordinal response variables, and this ordering information is ignored by conventional classification losses such as the multi-category cross-entropy. Ordinal regression methods for deep neural networks address this. One such method is the CORAL method, which is based on an earlier binary label extension framework and achieves rank consistency among its output layer tasks by imposing a weight-sharing constraint. However, while earlier experiments showed that CORAL's rank consistency is beneficial for performance, it is limited by a weight-sharing constraint in a neural network's fully connected output layer, which may restrict the expressiveness and capacity of a network trained using CORAL. We propose a new method for rank-consistent ordinal regression without this limitation. Our rank-consistent ordinal regression framework (CORN) achieves rank consistency by a novel training scheme. This training scheme uses conditional training sets to obtain the unconditional rank probabilities through applying the chain rule for conditional probability distributions. Experiments on various datasets demonstrate the efficacy of the proposed method to utilize the ordinal target information, and the absence of the weight-sharing restriction improves the performance substantially compared to the CORAL reference approach. Additionally, the suggested CORN method is not tied to any specific architecture and can be utilized with any deep neural network classifier to train it for ordinal regression tasks.


title: Malitsky-Tam forward-reflected-backward splitting method for nonconvex minimization problems

abstract: We extend the Malitsky-Tam forward-reflected-backward (FRB) splitting method for inclusion problems of monotone operators to nonconvex minimization problems. By assuming the generalized concave Kurdyka-{\L}ojasiewicz (KL) property of a quadratic regularization of the objective, we show that the FRB method converges globally to a stationary point of the objective and enjoys finite length property. The sharpness of our approach is guaranteed by virtue of the exact modulus associated with the generalized concave KL property. Numerical experiments suggest that FRB is competitive compared to the Douglas-Rachford method and the Bo\c{t}-Csetnek inertial Tseng's method.


title: NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems

abstract: In this paper, we introduce NNSynth, a new framework that uses machine learning techniques to guide the design of abstraction-based controllers with correctness guarantees. NNSynth utilizes neural networks (NNs) to guide the search over the space of controllers. The trained neural networks are "projected" and used for constructing a "local" abstraction of the system. An abstraction-based controller is then synthesized from such "local" abstractions. If a controller that satisfies the specifications is not found, then the best found controller is "lifted" to a neural network for additional training. Our experiments show that this neural network-guided synthesis leads to more than $50\times$ or even $100\times$ speedup in high dimensional systems compared to the state-of-the-art.


title: Indefinite linear-quadratic optimal control of mean-field stochastic differential equation with jump diffusion: an equivalent cost functional method

abstract: In this paper, we consider a linear-quadratic optimal control problem of mean-field stochastic differential equation with jump diffusion, which is also called as an MF-LQJ problem. Here, cost functional is allowed to be indefinite. We use an equivalent cost functional method to deal with the MF-LQJ problem with indefinite weighting matrices. Some equivalent cost functionals enable us to establish a bridge between indefinite and positive-definite MF-LQJ problems. With such a bridge, solvabilities of stochastic Hamiltonian system and Riccati equations are further characterized. Optimal control of the indefinite MF-LQJ problem is represented as a state feedback via solutions of Riccati equations. As a by-product, the method provides a new way to prove the existence and uniqueness of solution to mean field forward-backward stochastic differential equation with jump diffusion (MF-FBSDEJ, for short), where existing methods in literature do not work. Some examples are provided to illustrate our results.


title: An Elementary Proof of Poincar\'e's Last Geometric Theorem

abstract: It is shown that the Poincar\'e-Birkhoff fixed point theorem may be proven by extending the geometric approach originally devised by Henri Poincar\'e himself, along with several results from elementary differential topology. Beginning with an example application of the theorem, we proceed by systematically constructing and classifying a certain set of invariant curves and their critical points. This classification is then used to prove the correctness of a procedure which guarantees the existence of at least two fixed points for any twist map of the annulus admitting a positive integral invariant.


title: Fairness Testing of Deep Image Classification with Adequacy Metrics

abstract: As deep image classification applications, e.g., face recognition, become increasingly prevalent in our daily lives, their fairness issues raise more and more concern. It is thus crucial to comprehensively test the fairness of these applications before deployment. Existing fairness testing methods suffer from the following limitations: 1) applicability, i.e., they are only applicable for structured data or text without handling the high-dimensional and abstract domain sampling in the semantic level for image classification applications; 2) functionality, i.e., they generate unfair samples without providing testing criterion to characterize the model's fairness adequacy. To fill the gap, we propose DeepFAIT, a systematic fairness testing framework specifically designed for deep image classification applications. DeepFAIT consists of several important components enabling effective fairness testing of deep image classification applications: 1) a neuron selection strategy to identify the fairness-related neurons; 2) a set of multi-granularity adequacy metrics to evaluate the model's fairness; 3) a test selection algorithm for fixing the fairness issues efficiently. We have conducted experiments on widely adopted large-scale face recognition applications, i.e., VGGFace and FairFace. The experimental results confirm that our approach can effectively identify the fairness-related neurons, characterize the model's fairness, and select the most valuable test cases to mitigate the model's fairness issues.


title: SEIHAI: A Sample-efficient Hierarchical AI for the MineRL Competition

abstract: The MineRL competition is designed for the development of reinforcement learning and imitation learning algorithms that can efficiently leverage human demonstrations to drastically reduce the number of environment interactions needed to solve the complex \emph{ObtainDiamond} task with sparse rewards. To address the challenge, in this paper, we present \textbf{SEIHAI}, a \textbf{S}ample-\textbf{e}ff\textbf{i}cient \textbf{H}ierarchical \textbf{AI}, that fully takes advantage of the human demonstrations and the task structure. Specifically, we split the task into several sequentially dependent subtasks, and train a suitable agent for each subtask using reinforcement learning and imitation learning. We further design a scheduler to select different agents for different subtasks automatically. SEIHAI takes the first place in the preliminary and final of the NeurIPS-2020 MineRL competition.


title: A Normative and Biologically Plausible Algorithm for Independent Component Analysis

abstract: The brain effortlessly solves blind source separation (BSS) problems, but the algorithm it uses remains elusive. In signal processing, linear BSS problems are often solved by Independent Component Analysis (ICA). To serve as a model of a biological circuit, the ICA neural network (NN) must satisfy at least the following requirements: 1. The algorithm must operate in the online setting where data samples are streamed one at a time, and the NN computes the sources on the fly without storing any significant fraction of the data in memory. 2. The synaptic weight update is local, i.e., it depends only on the biophysical variables present in the vicinity of a synapse. Here, we propose a novel objective function for ICA from which we derive a biologically plausible NN, including both the neural architecture and the synaptic learning rules. Interestingly, our algorithm relies on modulating synaptic plasticity by the total activity of the output neurons. In the brain, this could be accomplished by neuromodulators, extracellular calcium, local field potential, or nitric oxide.


title: Intrinsically knotted graphs with linklessly embeddable simple minors

abstract: It has been an open question whether the deletion or contraction of an edge in an intrinsically knotted graph always yields an intrinsically linked graph. We present a new intrinsically knotted graph that shows the answer to both questions is no.


title: Open Cones and $K$-theory for $\ell^p$ Roe Algebras

abstract: In this paper, we verify the $\ell^p$ coarse Baum-Connes conjecture for open cones and show that the $K$-theory for $\ell^p$ Roe algebras of open cones are independent of $p\in[1,\infty)$. Combined with the result of T. Fukaya and S.-I. Oguni, we give an application to the class of coarsely convex spaces that includes geodesic Gromov hyperbolic spaces, CAT(0)-spaces, certain Artin groups and Helly groups equipped with the word length metric.


title: A label-efficient two-sample test

abstract: Two-sample tests evaluate whether two samples are realizations of the same distribution (the null hypothesis) or two different distributions (the alternative hypothesis). We consider a new setting for this problem where sample features are easily measured whereas sample labels are unknown and costly to obtain. Accordingly, we devise a three-stage framework in service of performing an effective two-sample test with only a small number of sample label queries: first, a classifier is trained with samples uniformly labeled to model the posterior probabilities of the labels; second, a novel query scheme dubbed \emph{bimodal query} is used to query labels of samples from both classes, and last, the classical Friedman-Rafsky (FR) two-sample test is performed on the queried samples. Theoretical analysis and extensive experiments performed on several datasets demonstrate that the proposed test controls the Type I error and has decreased Type II error relative to uniform querying and certainty-based querying. Source code for our algorithms and experimental results is available at \url{https://github.com/wayne0908/Label-Efficient-Two-Sample}.


title: Max-Min Grouped Bandits

abstract: In this paper, we introduce a multi-armed bandit problem termed max-min grouped bandits, in which the arms are arranged in possibly-overlapping groups, and the goal is to find the group whose worst arm has the highest mean reward. This problem is of interest in applications such as recommendation systems and resource allocation, and is also closely related to widely-studied robust optimization problems. We present two algorithms based successive elimination and robust optimization, and derive upper bounds on the number of samples to guarantee finding a max-min optimal or near-optimal group, as well as an algorithm-independent lower bound. We discuss the degree of tightness of our bounds in various cases of interest, and the difficulties in deriving uniformly tight bounds.


title: Three-year annual modulation search with COSINE-100

abstract: COSINE-100 is a direct detection dark matter experiment that aims to test DAMA/LIBRA's claim of dark matter discovery by searching for a dark matter-induced annual modulation signal with NaI(Tl) detectors. We present new constraints on the annual modulation signal from a dataset with a 2.82 yr livetime utilizing an active mass of 61.3 kg, for a total exposure of 173 kg$\cdot$yr. This new result features an improved event selection that allows for both lowering the energy threshold to 1 keV and a more precise time-dependent background model. In the 1-6 keV and 2-6 keV energy intervals, we observe best-fit values for the modulation amplitude of 0.0067$\pm$0.0042 and 0.0051$\pm$0.0047 counts/(day$\cdot$kg$\cdot$keV), respectively, with a phase fixed at 152.5 days.


title: Adversarial Tradeoffs in Robust State Estimation

abstract: Adversarially robust training has been shown to reduce the susceptibility of learned models to targeted input data perturbations. However, it has also been observed that such adversarially robust models suffer a degradation in accuracy when applied to unperturbed data sets, leading to a robustness-accuracy tradeoff. Inspired by recent progress in the adversarial machine learning literature which characterize such tradeoffs in simple settings, we develop tools to quantitatively study the performance-robustness tradeoff between nominal and robust state estimation. In particular, we define and analyze a novel $\textit{adversarially robust Kalman Filtering problem}$. We show that in contrast to most problem instances in adversarial machine learning, we can precisely derive the adversarial perturbation in the Kalman Filtering setting. We provide an algorithm to find this perturbation given data realizations, and develop upper and lower bounds on the adversarial state estimation error in terms of the standard (non-adversarial) estimation error and the spectral properties of the resulting observer. Through these results, we show a natural connection between a filter's robustness to adversarial perturbation and underlying control theoretic properties of the system being observed, namely the spectral properties of its observability gramian.


title: Effective potential and dynamical symmetry breaking up to five loops in a massless abelian Higgs model

abstract: In this paper, we investigate the application of the Renormalization Group Equation (RGE) in the determination of the effective potential and the study of Dynamical Symmetry Breaking (DSB) in a massless Abelian Higgs (AH) model with an N-component complex scalar field in (3+1) dimensional spacetime. The classical Lagrangian of this model has scale invariance, which can be broken by radiative corrections to the effective potential. It is possible to calculate the effective potential using the RGE and the renormalization group functions that are obtained directly from loop calculations of the model and, using the leading logs approximation, information about higher loop orders can be included in the effective potential thus obtained. To show this, we use the renormalization group functions reported in the literature, obtained with a four loop calculation, and obtain a five loop approximation to the effective potential, in doing so, we have to properly take into account the fact that the model has multiple scales, and convert the functions that were originally calculated in the minimal subtraction (MS) renormalization scheme to another scheme which is adequate for the RGE method. This result is then used to study the DSB, and we present evidence for a rich structure of classical vacua, depending on the value of gauge coupling constant and number of scalar fields, which are considered as free parameters.


title: Structure of fine Selmer groups over $\mathbb{Z}_p$-extensions

abstract: This paper is concerned with the study of the fine Selmer group of an abelian variety over a $\mathbb{Z}_p$-extension which is not necessarily cyclotomic. It has been conjectured that these fine Selmer groups are always torsion over $\mathbb{Z}_p[[\Gamma]]$, where $\Gamma$ is the Galois group of the $\mathbb{Z}_p$-extension in question. In this paper, we shall provide several strong evidences towards this conjecture. Namely, we show that the conjectural torsionness is consistent with the pseudo-nullity conjecture of Coates-Sujatha. We also show that if the conjecture is known for the cyclotomic $\mathbb{Z}_p$-extension, then it holds for almost all $\mathbb{Z}_p$-extensions. We then carry out a similar study for the fine Selmer group of an elliptic modular form. When the modular forms are ordinary and come from a Hida family, we relate the torsionness of the fine Selmer groups of the specialization. This latter result allows us to show that the conjectural torsionness in certain cases is consistent with the growth number conjecture of Mazur. Finally, we end with some speculations on the torsionness of fine Selmer groups over an arbitrary $p$-adic Lie extension.


title: TYolov5: A Temporal Yolov5 Detector Based on Quasi-Recurrent Neural Networks for Real-Time Handgun Detection in Video

abstract: Timely handgun detection is a crucial problem to improve public safety; nevertheless, the effectiveness of many surveillance systems still depends of finite human attention. Much of the previous research on handgun detection is based on static image detectors, leaving aside valuable temporal information that could be used to improve object detection in videos. To improve the performance of surveillance systems, a real-time temporal handgun detection system should be built. Using Temporal Yolov5, an architecture based on Quasi-Recurrent Neural Networks, temporal information is extracted from video to improve the results of handgun detection. Moreover, two publicly available datasets are proposed, labeled with hands, guns, and phones. One containing 2199 static images to train static detectors, and another with 5960 frames of videos to train temporal modules. Additionally, we explore two temporal data augmentation techniques based on Mosaic and Mixup. The resulting systems are three temporal architectures: one focused in reducing inference with a mAP$_{50:95}$ of 55.9, another in having a good balance between inference and accuracy with a mAP$_{50:95}$ of 59, and a last one specialized in accuracy with a mAP$_{50:95}$ of 60.2. Temporal Yolov5 achieves real-time detection in the small and medium architectures. Moreover, it takes advantage of temporal features contained in videos to perform better than Yolov5 in our temporal dataset, making TYolov5 suitable for real-world applications. The source code is publicly available at https://github.com/MarioDuran/TYolov5.