title: Spectra of evolution operators of a class of neutral renewal equations: theoretical and numerical aspects

abstract: In this work we begin a theoretical and numerical investigation on the spectra of evolution operators of neutral renewal equations, with the stability of equilibria and periodic orbits in mind. We start from the simplest form of linear periodic equation with one discrete delay and fully characterize the spectrum of its monodromy operator. We perform numerical experiments discretizing the evolution operators via pseudospectral collocation, confirming the theoretical results and giving perspectives on the generalization to systems and to multiple delays. Although we do not attempt to perform a rigorous numerical analysis of the method, we give some considerations on a possible approach to the problem.


title: Vectorized Scenario Description and Motion Prediction for Scenario-Based Testing

abstract: Automated vehicles (AVs) are tested in diverse scenarios, typically specified by parameters such as velocities, distances, or curve radii. To describe scenarios uniformly independent of such parameters, this paper proposes a vectorized scenario description defined by the road geometry and vehicles' trajectories. Data of this form are generated for three scenarios, merged, and used to train the motion prediction model VectorNet, allowing to predict an AV's trajectory for unseen scenarios. Predicting scenario evaluation metrics, VectorNet partially achieves lower errors than regression models that separately process the three scenarios' data. However, for comprehensive generalization, sufficient variance in the training data must be ensured. Thus, contrary to existing methods, our proposed method can merge diverse scenarios' data and exploit spatial and temporal nuances in the vectorized scenario description. As a result, data from specified test scenarios and real-world scenarios can be compared and combined for (predictive) analyses and scenario selection.


title: Get3DHuman: Lifting StyleGAN-Human into a 3D Generative Model using Pixel-aligned Reconstruction Priors

abstract: Fast generation of high-quality 3D digital humans is important to a vast number of applications ranging from entertainment to professional concerns. Recent advances in differentiable rendering have enabled the training of 3D generative models without requiring 3D ground truths. However, the quality of the generated 3D humans still has much room to improve in terms of both fidelity and diversity. In this paper, we present Get3DHuman, a novel 3D human framework that can significantly boost the realism and diversity of the generated outcomes by only using a limited budget of 3D ground-truth data. Our key observation is that the 3D generator can profit from human-related priors learned through 2D human generators and 3D reconstructors. Specifically, we bridge the latent space of Get3DHuman with that of StyleGAN-Human via a specially-designed prior network, where the input latent code is mapped to the shape and texture feature volumes spanned by the pixel-aligned 3D reconstructor. The outcomes of the prior network are then leveraged as the supervisory signals for the main generator network. To ensure effective training, we further propose three tailored losses applied to the generated feature volumes and the intermediate feature maps. Extensive experiments demonstrate that Get3DHuman greatly outperforms the other state-of-the-art approaches and can support a wide range of applications including shape interpolation, shape re-texturing, and single-view reconstruction through latent inversion.


title: Vehicle Fault-Tolerant Robust Power Transmission Line Inspection Planning

abstract: This paper concerns fault-tolerant power transmission line inspection planning as a generalization of the multiple traveling salesmen problem. The addressed inspection planning problem is formulated as a single-depot multiple-vehicle scenario, where the inspection vehicles are constrained by the battery budget limiting their inspection time. The inspection vehicle is assumed to be an autonomous multi-copter with a wide range of possible flight speeds influencing battery consumption. The inspection plan is represented by multiple routes for vehicles providing full coverage over inspection target power lines. On an inspection vehicle mission interruption, which might happen at any time during the execution of the inspection plan, the inspection is re-planned using the remaining vehicles and their remaining battery budgets. Robustness is introduced by choosing a suitable cost function for the initial plan that maximizes the time window for successful re-planning. It enables the remaining vehicles to successfully finish all the inspection targets using their respective remaining battery budgets. A combinatorial metaheuristic algorithm with various cost functions is used for planning and fast re-planning during the inspection.


title: Enhancements of Discretization Approaches for Non-Convex Mixed-Integer Quadratically Constraint Quadratic Programming: Part II

abstract: This is Part II of a study on mixed-integer programming (MIP) relaxation techniques for the solution of non-convex mixed-integer quadratically constrained quadratic programs (MIQCQPs). We set the focus on MIP relaxation methods for non-convex continuous variable products and extend the well-known MIP relaxation normalized multi-parametric disaggregation technique (NMDT), applying a sophisticated discretization to both variables. We refer to this approach as doubly discretized normalized multiparametric disaggregation technique (D-NMDT). In a comprehensive theoretical analysis, we underline the theoretical advantages of the enhanced method D-NMDT compared to NMDT. Furthermore, we perform a broad computational study to demonstrate its effectiveness in terms of producing tight dual bounds for MIQCQPs. Finally, we compare D-NMDT to the separable MIP relaxations from Part I and a state-of-the-art MIQCQP solver.


title: NEOROCKS project: surface properties of small near-Earth asteroids

abstract: We present new results of the observing program which is a part of the NEOROCKS project aimed to improve knowledge on physical properties of near-Earth Objects (NEOs) for planetary defense. Photometric observations were performed using the 1.2m telescope at the Haute-Provence observatory (France) in the BVRI filters of the Johnson-Cousins photometric systems between June 2021 and April 2022. We obtained new surface colors for 42 NEOs. Based on the measured colors we classified 20 objects as S-complex, 9 as C-complex, 9 as X-complex, 2 as D-type, one object as V-type, and one object remained unclassified. For all the observed objects we estimated their absolute magnitudes and diameters. Combining these new observations with the previously acquired data within the NEOROCKS project extended our dataset to 93 objects. The majority of objects in the dataset with diameters D<500m belongs to a group of silicate bodies, which could be related to observational bias. Based on MOID and $\Delta$V values we selected 14 objects that could be accessible by a spacecraft. Notably, we find D-type asteroid (163014) 2001 UA5 and A-type asteroid 2017 SE19 to be of particular interest as possible space mission targets.


title: Faithful guiding-center orbits in an axisymmetric magnetic field

abstract: The problem of the charged-particle motion in an axisymmetric magnetic geometry is used to assess the validity of higher-order Hamiltonian guiding-center theory, which includes higher-order corrections associated with gyrogauge invariance as well as guiding-center polarization induced by magnetic-field non-uniformity. Two axisymmetric magnetic geometries are considered: a magnetic mirror geometry and a simple tokamak geometry. When a magnetically-confined charged-particle orbit is regular (i.e., its guiding-center magnetic moment is adiabatically invariant), the guiding-center approximation, which conserves both energy and azimuthal canonical angular momentum, is shown to be faithful to the particle orbit when higher-order corrections are taken into account.


title: Strong decays of $T_{c\bar s0}(2900)^{++/0}$ as a fully open-flavor tetraquark state

abstract: We have studied the strong decay properties of the recently observed $T^a_{c\bar s0}(2900)^{++/0}$ by considering it as a $cu\bar{d}\bar{s}/cd\bar{u}\bar{s}$ fully open-flavor tetraquark state with $I(J^P)=1(0^+)$. In the framework of QCD sum rules, we have calculated the three-point correlation functions of the two-body strong decay processes $T^a_{c\bar s0}(2900)^{++}\rightarrow D_s^+\pi^+$, $D^+K^+, D_s^{\ast +}\rho^+$ and $D_{s1}^+\pi^+$. The full width of $T^a_{c\bar s0}(2900)^{++/0}$ is obtained as $161.7\pm94.8$ MeV, which is consistent with the experimental observation. We predict the relative branching ratios as $\Gamma (T\rightarrow D_s\pi):\Gamma(T\rightarrow DK):\Gamma (T\rightarrow D_s^{\ast} \rho):\Gamma (T\rightarrow D_{s1}\pi)\approx1.00:1.10:0.04:0.43$, implying that the main decay modes of $T^a_{c\bar s0}(2900)^{++/0}$ state are $D_s\pi$ and $DK$ channels in our calculations. However, the $P$-wave decay mode $D_{s1}\pi$ is also comparable and important by including the uncertainties. To further identify the nature of $T^a_{c\bar s0}(2900)^{++/0}$, we suggest confirming them in the $DK$ and $D_{s}\pi$ final states, and measuring the above ratios in future experiments.


title: OGLE-2016-BLG-1195Lb: A Sub-Neptune Beyond the Snow Line of an M-dwarf Confirmed by Keck AO

abstract: We present the analysis of high resolution follow-up observations of OGLE-2016-BLG-1195 using Keck, four years after the event's peak. We find the lens system to be at $D_L = 6.87\pm 0.65$ kpc and comprised of a $M_{\rm p} = 9.91\pm 1.61\ M_{\rm Earth}$ planet, orbiting an M-dwarf, $M_{\rm L} = 0.57\pm 0.06\ M_{\odot}$, beyond the snow line, with a projected separation of $r_\perp=2.62\pm 0.28$ AU. Our results are consistent with the discovery paper, which reports values with 1-sigma uncertainties based on a single mass-distance constraint from finite source effects. However, both the discovery paper and our follow-up results disagree with the analysis of a different group that also present the planetary signal detection. The latter utilizes Spitzer photometry to measure a parallax signal. Combined with finite source effects, they claim to measure the mass and distance of the system to much greater accuracy, suggesting that it is composed of an Earth-mass planet orbiting an ultracool dwarf. Their parallax signal though is improbable since it suggests a lens star in the disk moving perpendicular to disk rotation. Moreover, parallaxes are known to be affected by systematic errors in the photometry. Therefore, we reanalyze the Spitzer photometry for this event and conclude that the parallax signal is not significantly greater than the instrumental noise, and is likely affected by systematic errors in the photometric data. The results of this paper act as a cautionary tale that conclusions of analyses that rely heavily on low signal-to-noise Spitzer photometric data, can be misleading.


title: A mathematical framework for modelling order book dynamics

abstract: We present a general framework for modelling the dynamics of limit order books, built on the combination of two modelling ingredients: the order flow, modelled as a general spatial point process, and market clearing, modelled via a deterministic mass transport operator acting on distributions of buy and sell orders. At the mathematical level, this corresponds to a natural decomposition of the infinitesimal generator describing the evolution of the limit order book into two operators: the generator of the order flow and the clearing operator. Our model provides a flexible framework for modelling and simulating order book dynamics and studying various scaling limits of discrete order book models. We show that our framework includes previous models as special cases and yields insights into the interplay between order flow and price dynamics.


title: Timewarp: Transferable Acceleration of Molecular Dynamics by Learning Time-Coarsened Dynamics

abstract: Molecular dynamics (MD) simulation is a widely used technique to simulate molecular systems, most commonly at the all-atom resolution where equations of motion are integrated with timesteps on the order of femtoseconds ($1\textrm{fs}=10^{-15}\textrm{s}$). MD is often used to compute equilibrium properties, which requires sampling from an equilibrium distribution such as the Boltzmann distribution. However, many important processes, such as binding and folding, occur over timescales of milliseconds or beyond, and cannot be efficiently sampled with conventional MD. Furthermore, new MD simulations need to be performed for each molecular system studied. We present Timewarp, an enhanced sampling method which uses a normalising flow as a proposal distribution in a Markov chain Monte Carlo method targeting the Boltzmann distribution. The flow is trained offline on MD trajectories and learns to make large steps in time, simulating the molecular dynamics of $10^{5} - 10^{6}\:\textrm{fs}$. Crucially, Timewarp is transferable between molecular systems: once trained, we show that it generalises to unseen small peptides (2-4 amino acids) at all-atom resolution, exploring their metastable states and providing wall-clock acceleration of sampling compared to standard MD. Our method constitutes an important step towards general, transferable algorithms for accelerating MD.

categories: stat.ML cond-mat.stat-mech cs.LG physics.chem-ph


title: Boosting Low-Data Instance Segmentation by Unsupervised Pre-training with Saliency Prompt

abstract: Recently, inspired by DETR variants, query-based end-to-end instance segmentation (QEIS) methods have outperformed CNN-based models on large-scale datasets. Yet they would lose efficacy when only a small amount of training data is available since it's hard for the crucial queries/kernels to learn localization and shape priors. To this end, this work offers a novel unsupervised pre-training solution for low-data regimes. Inspired by the recent success of the Prompting technique, we introduce a new pre-training method that boosts QEIS models by giving Saliency Prompt for queries/kernels. Our method contains three parts: 1) Saliency Masks Proposal is responsible for generating pseudo masks from unlabeled images based on the saliency mechanism. 2) Prompt-Kernel Matching transfers pseudo masks into prompts and injects the corresponding localization and shape priors to the best-matched kernels. 3) Kernel Supervision is applied to supply supervision at the kernel level for robust learning. From a practical perspective, our pre-training method helps QEIS models achieve a similar convergence speed and comparable performance with CNN-based models in low-data regimes. Experimental results show that our method significantly boosts several QEIS models on three datasets. Code will be made available.


title: STEP: Learning N:M Structured Sparsity Masks from Scratch with Precondition

abstract: Recent innovations on hardware (e.g. Nvidia A100) have motivated learning N:M structured sparsity masks from scratch for fast model inference. However, state-of-the-art learning recipes in this regime (e.g. SR-STE) are proposed for non-adaptive optimizers like momentum SGD, while incurring non-trivial accuracy drop for Adam-trained models like attention-based LLMs. In this paper, we first demonstrate such gap origins from poorly estimated second moment (i.e. variance) in Adam states given by the masked weights. We conjecture that learning N:M masks with Adam should take the critical regime of variance estimation into account. In light of this, we propose STEP, an Adam-aware recipe that learns N:M masks with two phases: first, STEP calculates a reliable variance estimate (precondition phase) and subsequently, the variance remains fixed and is used as a precondition to learn N:M masks (mask-learning phase). STEP automatically identifies the switching point of two phases by dynamically sampling variance changes over the training trajectory and testing the sample concentration. Empirically, we evaluate STEP and other baselines such as ASP and SR-STE on multiple tasks including CIFAR classification, machine translation and LLM fine-tuning (BERT-Base, GPT-2). We show STEP mitigates the accuracy drop of baseline recipes and is robust to aggressive structured sparsity ratios.


title: Emergent Universe Model from Modified Heisenberg Algebra

abstract: We provide an Emergent Universe picture in which the fine-tuning on the initial conditions is replaced by cut-off physics, implemented on a semiclassical level when referred to the Universe dynamics and on a purely quantum level for the quantum fluctuations of the inflaton field. The adopted cut-off physics is inspired by Polymer Quantum Mechanics but expanded in the limit of a small lattice step. On a quasi-classical level, this results in modified Poisson Brackets for the Hamiltonian Universe dynamics similar to a Generalized Uncertainty Principle algebra. The resulting Universe is indeed asymptotically Einstein-static, emerging from a finite volume configuration in the distant past and then properly reconnecting with the most relevant Universe phases. The calculation of the modifications of the primordial inflaton spectrum is then performed by treating new physics as a small correction on the standard Hamiltonian of each Fourier mode of the field. The merit of this study is to provide a new paradigm for a non-singular Emergent Universe, which is associated with a precise fingerprint on the temperature distribution of the microwave background, in principle observable by future experiments.


title: Unsupervised Learning of Sampling Distributions for Particle Filters

abstract: Accurate estimation of the states of a nonlinear dynamical system is crucial for their design, synthesis, and analysis. Particle filters are estimators constructed by simulating trajectories from a sampling distribution and averaging them based on their importance weight. For particle filters to be computationally tractable, it must be feasible to simulate the trajectories by drawing from the sampling distribution. Simultaneously, these trajectories need to reflect the reality of the nonlinear dynamical system so that the resulting estimators are accurate. Thus, the crux of particle filters lies in designing sampling distributions that are both easy to sample from and lead to accurate estimators. In this work, we propose to learn the sampling distributions. We put forward four methods for learning sampling distributions from observed measurements. Three of the methods are parametric methods in which we learn the mean and covariance matrix of a multivariate Gaussian distribution; each methods exploits a different aspect of the data (generic, time structure, graph structure). The fourth method is a nonparametric alternative in which we directly learn a transform of a uniform random variable. All four methods are trained in an unsupervised manner by maximizing the likelihood that the states may have produced the observed measurements. Our computational experiments demonstrate that learned sampling distributions exhibit better performance than designed, minimum-degeneracy sampling distributions.


title: Finite-time stability properties of Lur'e systems with piecewise continuous nonlinearities

abstract: We analyze the stability properties of Lur'e systems with piecewise continuous nonlinearities by exploiting the notion of set-valued Lie derivative for Lur'e-Postnikov Lyapunov functions. We first extend an existing result of the literature to establish the global asymptotic stability of the origin under a more general sector condition. We then present the main results of this work, namely additional conditions under which output and state finite-time stability properties also hold for the considered class of systems. We highlight the relevance of these results by certifying the stability properties of two engineering systems of known interest: mechanical systems affected by friction and cellular neural networks.


title: Probing the Nonlinear Interactions of Supertidal Internal Waves using a High-Resolution Regional Ocean Model

abstract: The internal-wave (IW) continuum of a regional ocean model is studied in terms of the vertical spectral kinetic-energy (KE) fluxes and transfers at high vertical wavenumbers. Previous work has shown that this model permits a partial representation of the IW cascade. In this work, vertical spectral KE flux is decomposed into catalyst, source, and destination frequency bands of nonlinear scattering, a framework that allows for the discernment of different types of nonlinear interactions involving both waves and eddies. Energy transfer within the supertidal IW continuum is found to be strongly dependent on horizontal resolution. Specifically, at a horizontal grid spacing of 1/48-degrees, the vast majority of KE in the supertidal continuum arrives there from lower frequency modes through a single nonlinear interaction, while at 1/384-degrees KE transfers within the supertidal IW continuum are comparable in size to KE transfer from lower-frequency modes. Additionally, comparisons are made with existing theoretical and observational work on energy pathways in the IW continuum. Induced diffusion (ID) is found to be associated with a weak forward frequency transfer within the supertidal IW continuum. Spectrally local interactions are found to play an insignificant role within the model evolution. At the same time, ID-like processes involving high vertical-wavenumber near-inertial and tidal waves as well as low-vertical-wavenumber eddy fields are substantial, suggesting that the processes giving rise to a Garrett-Munk-like spectra in the present numerical simulation and perhaps the real ocean may be more varied than in idealized or wave-only frameworks.


title: Order but Not Execute in Order

abstract: This work aims to address the general order manipulation issue in blockchain-based decentralized exchanges (DEX) by exploring the benefits of employing a novel combination of order-fair atomic broadcast (of-ABC) mechanisms for transaction ordering and frequent batch auction (FBA) for breaking the order while executing those transactions. In of-ABC, transactions submitted to a sufficient number of blockchain validators are ordered before or along with later transactions. FBA then executes transactions with a uniform price double auction that prioritizes price instead of transaction order within the same committed batch. To demonstrate the merits of our order-but-not-execute-in-order design, we compare the welfare loss and liquidity provision in DEX under FBA and its continuous counterpart, the Continuous Limit Order Book (CLOB). Assuming that the exchange is realized over an of-ABC protocol, we find that (1) FBA always achieves better social welfare when no party is privately informed about asset valuations. Even otherwise, FBA incurs less welfare loss compared to CLOB when (2) price takers and public information reflecting asset value changes arrives sufficiently frequently compared to private information, or (3) the priority fees are small, or (4) the market is more balanced on both sides. Our empirical analysis on dYdX transactions indicates additional $8\%-83\%$ costs when transactions are executed continuously. Further, our findings also indicate that liquidity provision is better under FBA under similar conditions.


title: Convolutional Neural Operators for robust and accurate learning of PDEs

abstract: Although very successfully used in conventional machine learning, convolution based neural network architectures -- believed to be inconsistent in function space -- have been largely ignored in the context of learning solution operators of PDEs. Here, we present novel adaptations for convolutional neural networks to demonstrate that they are indeed able to process functions as inputs and outputs. The resulting architecture, termed as convolutional neural operators (CNOs), is designed specifically to preserve its underlying continuous nature, even when implemented in a discretized form on a computer. We prove a universality theorem to show that CNOs can approximate operators arising in PDEs to desired accuracy. CNOs are tested on a novel suite of benchmarks, encompassing a diverse set of PDEs with possibly multi-scale solutions and are observed to significantly outperform baselines, paving the way for an alternative framework for robust and accurate operator learning. Our code is publicly available at https://github.com/bogdanraonic3/ConvolutionalNeuralOperator


title: Multi-Tour Set Traveling Salesman Problem in Planning Power Transmission Line Inspection

abstract: This letter concerns optimal power transmission line inspection formulated as a proposed generalization of the traveling salesman problem for a multi-route one-depot scenario. The problem is formulated for an inspection vehicle with a limited travel budget. Therefore, the solution can be composed of multiple runs to provide full coverage of the given power lines. Besides, the solution indicates how many vehicles can perform the inspection in a single run. The optimal solution of the problem is solved by the proposed Integer Linear Programming (ILP) formulation, which is, however, very computationally demanding. Therefore, the computational requirements are addressed by the combinatorial metaheuristic. The employed greedy randomized adaptive search procedure is significantly less demanding while providing competitive solutions and scales better with the problem size than the ILP-based approach. The proposed formulation and algorithms are demonstrated in a real-world scenario to inspect power line segments at the electrical substation.


title: Diversity Through Exclusion (DTE): Niche Identification for Reinforcement Learning through Value-Decomposition

abstract: Many environments contain numerous available niches of variable value, each associated with a different local optimum in the space of behaviors (policy space). In such situations it is often difficult to design a learning process capable of evading distraction by poor local optima long enough to stumble upon the best available niche. In this work we propose a generic reinforcement learning (RL) algorithm that performs better than baseline deep Q-learning algorithms in such environments with multiple variably-valued niches. The algorithm we propose consists of two parts: an agent architecture and a learning rule. The agent architecture contains multiple sub-policies. The learning rule is inspired by fitness sharing in evolutionary computation and applied in reinforcement learning using Value-Decomposition-Networks in a novel manner for a single-agent's internal population. It can concretely be understood as adding an extra loss term where one policy's experience is also used to update all the other policies in a manner that decreases their value estimates for the visited states. In particular, when one sub-policy visits a particular state frequently this decreases the value predicted for other sub-policies for going to that state. Further, we introduce an artificial chemistry inspired platform where it is easy to create tasks with multiple rewarding strategies utilizing different resources (i.e. multiple niches). We show that agents trained this way can escape poor-but-attractive local optima to instead converge to harder-to-discover higher value strategies in both the artificial chemistry environments and in simpler illustrative environments.


title: $\mathcal{PT}$-symmetric effects in measurement-based quantum thermal machines

abstract: Measurement-based quantum thermal machines are fascinating models of thermodynamic cycles where measurement protocols play an important role in the performance and functioning of the cycle. Despite theoretical advances, interesting experimental implementations have been reported. Here we move a step further by considering in this class of cycle $\mathcal{PT}$-symmetric non-Hermitian Hamiltonians and their implications in quantum thermal machines fueled by generalized measurements. We present theoretical results indicating that $\mathcal{PT}$-symmetric effects and measurement protocols are related along the cycle. Furthermore, tuning the parameters suitably it is possible to improve the power output (engine configuration) and the cooling rate (refrigerator configuration), operating in the Otto limit, in a finite-time cycle that satisfies the quantum adiabatic theorem. Our model also allows switching the configuration of the cycle, engine, or refrigerator, depending on the strength of the measurement protocol.


title: Blocking JavaScript without Breaking the Web: An Empirical Investigation

abstract: Modern websites heavily rely on JavaScript (JS) to implement legitimate functionality as well as privacy-invasive advertising and tracking. Browser extensions such as NoScript block any script not loaded by a trusted list of endpoints, thus hoping to block privacy-invasive scripts while avoiding breaking legitimate website functionality. In this paper, we investigate whether blocking JS on the web is feasible without breaking legitimate functionality. To this end, we conduct a large-scale measurement study of JS blocking on 100K websites. We evaluate the effectiveness of different JS blocking strategies in tracking prevention and functionality breakage. Our evaluation relies on quantitative analysis of network requests and resource loads as well as manual qualitative analysis of visual breakage. First, we show that while blocking all scripts is quite effective at reducing tracking, it significantly degrades functionality on approximately two-thirds of the tested websites. Second, we show that selective blocking of a subset of scripts based on a curated list achieves a better tradeoff. However, there remain approximately 15% `mixed` scripts, which essentially merge tracking and legitimate functionality and thus cannot be blocked without causing website breakage. Finally, we show that fine-grained blocking of a subset of JS methods, instead of scripts, reduces major breakage by 3.8$\times$ while providing the same level of tracking prevention. Our work highlights the promise and open challenges in fine-grained JS blocking for tracking prevention without breaking the web.


title: Grain-size effects during semi-brittle flow of calcite rocks

abstract: We study the role of grain size in the rheological behaviour of calcite aggregates in the semi-brittle regime. We conduct triaxial deformation tests on three rocks, Solnhofen limestone, Carrara marble and Wombeyan marble, with average grain sizes of 5-10 $\mu$m, 200 $\mu$m and 2 mm, respectively, at pressures in the range 200-800 MPa and temperatures in the range 20-400 $^\circ$C. At all conditions, both strength and hardening rate increase with decreasing grain size. Flow stress scales with the inverse of grain size to a power between 1/3 and 2/3. Hardening rate decreases linearly with the logarithm of grain size. In-situ ultrasonic monitoring reveals that P-wave speed tends to decrease with increasing strain, and that this decrease is more marked at room temperature than at 200 and 400 $^\circ$C. The decrease in wave speed is consistent with microcracking, which is more prevalent at low temperature and low pressure. Microstructural observations reveal high twin densities in all deformed samples. Twin density increases with stress, consistent with previous datasets. Spatial distributions of intragranular misorientation indicate that twins are sometimes obstacles to dislocation motion, but this effect is not ubiquitous. Computed slip-transfer statistics indicate that that twins are typically weaker barriers to dislocation glide than grain boundaries, so that their effect on dislocation accumulation and hardening rates is likely smaller than the effect of grain size. Indeed, our data reveal that grain size exerts a first-order control on flow stress and hardening in calcite, whereas twinning may only have a secondary impact on these behaviours.


title: A Counterexample to an Endpoint Mixed Norm Estimate of Calder\'on-Zygmund Operators

abstract: It is known that that the endpoint mixed norm estimate $|| \, ||Tf(x,y)||_{L_{x}^{p}}||_{L_{y}^{\infty}} \lesssim || \, ||f(x,y)||_{L_{x}^{p}}||_{L_{y}^{\infty}}$ in general does not hold for Calder\'on-Zygmund operator $T$. In this article, we show that when $p=2$, even if we make the right hand side of the above estimate larger by replacing it with $ || \, ||e^{x^2+y^2}f(x,y)||_{L_{y}^{\infty}}||_{L_{x}^{\infty}} $, the estimate does not hold for the double Riesz transform given by the kernel $K(x,y)=\frac{xy}{2\pi(x^2+y^2)^{2}}$. As a consequence we will show that the mixed norm estimate $|| \, ||Tf(x,y)||_{L_x^{p}}||_{L_y^{\infty}} \lesssim|| \, ||f(x,y)||_{L_y^{\infty}}||_{L_x^{p}}$ does not hold for double Riesz transform and $p \geq 2$.


title: Manifest Modular Invariance in the Near-Critical Ising Model

abstract: Using recent results in mathematics, I point out that free energies and scale-dependent central charges away from criticality can be represented in compact form where modular invariance is manifest. The main example is the near-critical Ising model on a thermal torus, but the methods are not restricted to modular symmetry, and apply to automorphic symmetries more generally. One application is finite-size effects.

categories: cond-mat.stat-mech cond-mat.str-el hep-th math-ph math.MP


title: The Power of Preconditioning in Overparameterized Low-Rank Matrix Sensing

abstract: We propose $\textsf{ScaledGD($\lambda$)}$, a preconditioned gradient descent method to tackle the low-rank matrix sensing problem when the true rank is unknown, and when the matrix is possibly ill-conditioned. Using overparametrized factor representations, $\textsf{ScaledGD($\lambda$)}$ starts from a small random initialization, and proceeds by gradient descent with a specific form of damped preconditioning to combat bad curvatures induced by overparameterization and ill-conditioning. At the expense of light computational overhead incurred by preconditioners, $\textsf{ScaledGD($\lambda$)}$ is remarkably robust to ill-conditioning compared to vanilla gradient descent ($\textsf{GD}$) even with overprameterization. Specifically, we show that, under the Gaussian design, $\textsf{ScaledGD($\lambda$)}$ converges to the true low-rank matrix at a constant linear rate after a small number of iterations that scales only logarithmically with respect to the condition number and the problem dimension. This significantly improves over the convergence rate of vanilla $\textsf{GD}$ which suffers from a polynomial dependency on the condition number. Our work provides evidence on the power of preconditioning in accelerating the convergence without hurting generalization in overparameterized learning.


title: A Semi-Parametric Model for Decision Making in High-Dimensional Sensory Discrimination Tasks

abstract: Psychometric functions typically characterize binary sensory decisions along a single stimulus dimension. However, real-life sensory tasks vary along a greater variety of dimensions (e.g. color, contrast and luminance for visual stimuli). Approaches to characterizing high-dimensional sensory spaces either require strong parametric assumptions about these additional contextual dimensions, or fail to leverage known properties of classical psychometric curves. We overcome both limitations by introducing a semi-parametric model of sensory discrimination that applies traditional psychophysical models along a stimulus intensity dimension, but puts Gaussian process (GP) priors on the parameters of these models with respect to the remaining dimensions. By combining the flexibility of the GP with the deep literature on parametric psychophysics, our semi-parametric models achieve good performance with much less data than baselines on both synthetic and real-world high-dimensional psychophysics datasets. We additionally show strong performance in a Bayesian active learning setting, and present a novel active learning paradigm for the semi-parametric model.


title: Best Possible Q-Learning

abstract: Fully decentralized learning, where the global information, i.e., the actions of other agents, is inaccessible, is a fundamental challenge in cooperative multi-agent reinforcement learning. However, the convergence and optimality of most decentralized algorithms are not theoretically guaranteed, since the transition probabilities are non-stationary as all agents are updating policies simultaneously. To tackle this challenge, we propose best possible operator, a novel decentralized operator, and prove that the policies of agents will converge to the optimal joint policy if each agent independently updates its individual state-action value by the operator. Further, to make the update more efficient and practical, we simplify the operator and prove that the convergence and optimality still hold with the simplified one. By instantiating the simplified operator, the derived fully decentralized algorithm, best possible Q-learning (BQL), does not suffer from non-stationarity. Empirically, we show that BQL achieves remarkable improvement over baselines in a variety of cooperative multi-agent tasks.


title: Reinforcement learning-based estimation for partial differential equations

abstract: In systems governed by nonlinear partial differential equations such as fluid flows, the design of state estimators such as Kalman filters relies on a reduced-order model (ROM) that projects the original high-dimensional dynamics onto a computationally tractable low-dimensional space. However, ROMs are prone to large errors, which negatively affects the performance of the estimator. Here, we introduce the reinforcement learning reduced-order estimator (RL-ROE), a ROM-based estimator in which the correction term that takes in the measurements is given by a nonlinear policy trained through reinforcement learning. The nonlinearity of the policy enables the RL-ROE to compensate efficiently for errors of the ROM, while still taking advantage of the imperfect knowledge of the dynamics. Using examples involving the Burgers and Navier-Stokes equations, we show that in the limit of very few sensors, the trained RL-ROE outperforms a Kalman filter designed using the same ROM. Moreover, it yields accurate high-dimensional state estimates for trajectories corresponding to various physical parameter values, without direct knowledge of the latter.


title: On the Efficacy of Differentially Private Few-shot Image Classification

abstract: There has been significant recent progress in training differentially private (DP) models which achieve accuracy that approaches the best non-private models. These DP models are typically pretrained on large public datasets and then fine-tuned on private downstream datasets that are relatively large and similar in distribution to the pretraining data. However, in many applications including personalization and federated learning, it is crucial to perform well (i) in the few-shot setting, as obtaining large amounts of labeled data may be problematic; and (ii) on datasets from a wide variety of domains for use in various specialist settings. To understand under which conditions few-shot DP can be effective, we perform an exhaustive set of experiments that reveals how the accuracy and vulnerability to attack of few-shot DP image classification models are affected as the number of shots per class, privacy level, model architecture, downstream dataset, and subset of learnable parameters in the model vary. We show that to achieve DP accuracy on par with non-private models, the shots per class must be increased as the privacy level increases. We also show that learning parameter-efficient FiLM adapters under DP is competitive with learning just the final classifier layer or learning all of the network parameters. Finally, we evaluate DP federated learning systems and establish state-of-the-art performance on the challenging FLAIR benchmark.


title: Noncommutative $C^*$-algebra Net: Learning Neural Networks with Powerful Product Structure in $C^*$-algebra

abstract: We propose a new generalization of neural networks with noncommutative $C^*$-algebra. An important feature of $C^*$-algebras is their noncommutative structure of products, but the existing $C^*$-algebra net frameworks have only considered commutative $C^*$-algebras. We show that this noncommutative structure of $C^*$-algebras induces powerful effects in learning neural networks. Our framework has a wide range of applications, such as learning multiple related neural networks simultaneously with interactions and learning invariant features with respect to group actions. We also show the validity of our framework numerically, which illustrates its potential power.


title: Tomography of pions and protons via transverse momentum dependent distributions

abstract: We perform the first simultaneous extraction of parton collinear and transverse degrees of freedom from low-energy fixed-target Drell-Yan data in order to compare the transverse momentum dependent (TMD) parton distribution functions (PDFs) of the pion and proton. We demonstrate that the transverse separation of the quark field encoded in TMDs of the pion is more than $4 \sigma$ smaller than that of the proton. Additionally, we find the transverse separation of the quark field decreases as its longitudinal momentum fraction decreases. In studying the nuclear modification of TMDs, we find clear evidence for a transverse EMC effect. We comment on possible explanations for these intriguing behaviors, which call for a deeper examination of tomography in a variety of strongly interacting quark-gluon systems.


title: Imitating careful experts to avoid catastrophic events

abstract: RL is increasingly being used to control robotic systems that interact closely with humans. This interaction raises the problem of safe RL: how to ensure that a RL-controlled robotic system never, for instance, injures a human. This problem is especially challenging in rich, realistic settings where it is not even possible to clearly write down a reward function which incorporates these outcomes. In these circumstances, perhaps the only viable approach is based on IRL, which infers rewards from human demonstrations. However, IRL is massively underdetermined as many different rewards can lead to the same optimal policies; we show that this makes it difficult to distinguish catastrophic outcomes (such as injuring a human) from merely undesirable outcomes. Our key insight is that humans do display different behaviour when catastrophic outcomes are possible: they become much more careful. We incorporate carefulness signals into IRL, and find that they do indeed allow IRL to disambiguate undesirable from catastrophic outcomes, which is critical to ensuring safety in future real-world human-robot interactions.


title: Complex Dynamic Neurons Improved Spiking Transformer Network for Efficient Automatic Speech Recognition

abstract: The spiking neural network (SNN) using leaky-integrated-and-fire (LIF) neurons has been commonly used in automatic speech recognition (ASR) tasks. However, the LIF neuron is still relatively simple compared to that in the biological brain. Further research on more types of neurons with different scales of neuronal dynamics is necessary. Here we introduce four types of neuronal dynamics to post-process the sequential patterns generated from the spiking transformer to get the complex dynamic neuron improved spiking transformer neural network (DyTr-SNN). We found that the DyTr-SNN could handle the non-toy automatic speech recognition task well, representing a lower phoneme error rate, lower computational cost, and higher robustness. These results indicate that the further cooperation of SNNs and neural dynamics at the neuron and network scales might have much in store for the future, especially on the ASR tasks.


title: Operator splitting based dynamic iteration for linear infinite-dimensional port-Hamiltonian systems

abstract: A dynamic iteration scheme for linear infinite-dimensional port-Hamiltonian systems is proposed. The dynamic iteration is monotone in the sense that the error is decreasing, it does not require any stability condition and is in particular applicable to port-Hamiltonian formulations arising from domain decompositions.


title: Risk Budgeting Portfolios from Simulations

abstract: Risk budgeting is a portfolio strategy where each asset contributes a prespecified amount to the aggregate risk of the portfolio. In this work, we propose an efficient numerical framework that uses only simulations of returns for estimating risk budgeting portfolios. Besides a general cutting planes algorithm for determining the weights of risk budgeting portfolios for arbitrary coherent distortion risk measures, we provide a specialised version for the Expected Shortfall, and a tailored Stochastic Gradient Descent (SGD) algorithm, also for the Expected Shortfall. We compare our algorithm to standard convex optimisation solvers and illustrate different risk budgeting portfolios, constructed using an especially designed Julia package, on real financial data and compare it to classical portfolio strategies.


title: Boundary controllability for a 1D degenerate parabolic equation with drift and a singular potential

abstract: We prove the null controllability of a one dimensional degenerate parabolic equation with drift and a singular potential. We study the case the potential arises at the left end point and the weighted Dirichlet boundary control is located at this point. We get a spectral decomposition of a suitable operator, defined in a weighted Sobolev space, involving Bessel functions and their zeros, then we use the moment method by Fattorini and Russell to obtain an upper estimate of the cost of controllability. We also obtain a lower estimate of the cost of controllability by using a representation theorem for analytic functions of exponential type.


title: Causal Lifting and Link Prediction

abstract: Existing causal models for link prediction assume an underlying set of inherent node factors -- an innate characteristic defined at the node's birth -- that governs the causal evolution of links in the graph. In some causal tasks, however, link formation is path-dependent: The outcome of link interventions depends on existing links. Unfortunately, these existing causal methods are not designed for path-dependent link formation, as the cascading functional dependencies between links (arising from path dependence) are either unidentifiable or require an impractical number of control variables. To overcome this, we develop the first causal model capable of dealing with path dependencies in link prediction. In this work we introduce the concept of causal lifting, an invariance in causal models of independent interest that, on graphs, allows the identification of causal link prediction queries using limited interventional data. Further, we show how structural pairwise embeddings exhibit lower bias and correctly represent the task's causal structure, as opposed to existing node embeddings, e.g., graph neural network node embeddings and matrix factorization. Finally, we validate our theoretical findings on three scenarios for causal link prediction tasks: knowledge base completion, covariance matrix estimation and consumer-product recommendations.


title: Multi-agent Reinforcement Learning with Graph Q-Networks for Antenna Tuning

abstract: Future generations of mobile networks are expected to contain more and more antennas with growing complexity and more parameters. Optimizing these parameters is necessary for ensuring the good performance of the network. The scale of mobile networks makes it challenging to optimize antenna parameters using manual intervention or hand-engineered strategies. Reinforcement learning is a promising technique to address this challenge but existing methods often use local optimizations to scale to large network deployments. We propose a new multi-agent reinforcement learning algorithm to optimize mobile network configurations globally. By using a value decomposition approach, our algorithm can be trained from a global reward function instead of relying on an ad-hoc decomposition of the network performance across the different cells. The algorithm uses a graph neural network architecture which generalizes to different network topologies and learns coordination behaviors. We empirically demonstrate the performance of the algorithm on an antenna tilt tuning problem and a joint tilt and power control problem in a simulated environment.


title: Automated classification of eclipsing binary systems in the VVV Survey

abstract: With the advent of large-scale photometric surveys of the sky, modern science witnesses the dawn of big data astronomy, where automatic handling and discovery are paramount. In this context, classification tasks are among the key capabilities a data reduction pipeline must possess in order to compile reliable datasets, to accomplish data processing with an efficiency level impossible to achieve by means of detailed processing and human intervention. The VISTA Variables of the V\'ia L\'actea Survey, in the southern part of the Galactic disc, comprises multi-epoch photometric data necessary for the potential discovery of variable objects, including eclipsing binary systems (EBs). In this study we use a recently published catalogue of one hundred EBs, classified by fine-tuning theoretical models according to contact, detached or semi-detached classes belonging to the tile d040 of the VVV. We describe the method implemented to obtain a supervised machine learning model, capable of classifying EBs using information extracted from the light curves of variable object candidates in the phase space from tile d078. We also discuss the efficiency of the models, the relative importance of the features and the future prospects to construct an extensive database of EBs in the VVV survey.


title: Injective ellipticity, cancelling operators, and endpoint Gagliardo-Nirenberg-Sobolev inequalities for vector fields

abstract: Although Ornstein's nonestimate entails the impossibility to control in general all the $L^1$-norm of derivatives of a function by the $L^1$-norm of a constant coefficient homogeneous vector differential operator, the corresponding endpoint Sobolev inequality has been known to hold in many cases: the gradient of scalar functions (Gagliardo and Nirenberg), the deformation operator (Korn-Sobolev inequality by M.J. Strauss), and the Hodge complex (Bourgain and Brezis). The class of differential operators for which estimates holds can be characterized by a cancelling condition. The proof of the estimates rely on a duality estimate for $L^1$-vector fields lying in the kernel of a cocancelling differential operator, combined with classical linear algebra and harmonic analysis techniques. This characterization unifies classes of known Sobolev inequalities and extends to fractional Sobolev and Hardy inequalities. A similar weaker condition introduced by Rai\c{t}\u{a} characterizes the operators for which there is an $L^\infty$-estimate on lower-order derivatives.


title: Linear independence of coherent systems associated to lattices

abstract: This note considers the finite linear independence of coherent systems. We show by simple arguments that lattice coherent systems of amenable groups are linearly independent whenever the associated twisted group ring does not contain any nontrivial zero divisors. We verify the latter for discrete locally indicable groups, which includes lattices in nilpotent Lie groups. For the particular case of time-frequency translates of Euclidean space, our main result recovers the Heil-Ramanathan-Topiwala (HRT) conjecture for subsets of arbitrary lattices.


title: Online Learning under Budget and ROI Constraints via Weak Adaptivity

abstract: We study online learning problems in which a decision maker has to make a sequence of costly decisions, with the goal of maximizing their expected reward while adhering to budget and return-on-investment (ROI) constraints. Existing primal-dual algorithms designed for constrained online learning problems under adversarial inputs rely on two fundamental assumptions. First, the decision maker must know beforehand the value of parameters related to the degree of strict feasibility of the problem (i.e. Slater parameters). Second, a strictly feasible solution to the offline optimization problem must exist at each round. Both requirements are unrealistic for practical applications such as bidding in online ad auctions. In this paper, we show how such assumptions can be circumvented by endowing standard primal-dual templates with weakly adaptive regret minimizers. This results in a ``dual-balancing'' framework which ensures that dual variables stay sufficiently small, even in the absence of knowledge about Slater's parameter. We prove the first best-of-both-worlds no-regret guarantees which hold in absence of the two aforementioned assumptions, under stochastic and adversarial inputs. Finally, we show how to instantiate the framework to optimally bid in various mechanisms of practical relevance, such as first- and second-price auctions.


title: Laplacian Change Point Detection for Single and Multi-view Dynamic Graphs

abstract: Dynamic graphs are rich data structures that are used to model complex relationships between entities over time. In particular, anomaly detection in temporal graphs is crucial for many real world applications such as intrusion identification in network systems, detection of ecosystem disturbances and detection of epidemic outbreaks. In this paper, we focus on change point detection in dynamic graphs and address three main challenges associated with this problem: i). how to compare graph snapshots across time, ii). how to capture temporal dependencies, and iii). how to combine different views of a temporal graph. To solve the above challenges, we first propose Laplacian Anomaly Detection (LAD) which uses the spectrum of graph Laplacian as the low dimensional embedding of the graph structure at each snapshot. LAD explicitly models short term and long term dependencies by applying two sliding windows. Next, we propose MultiLAD, a simple and effective generalization of LAD to multi-view graphs. MultiLAD provides the first change point detection method for multi-view dynamic graphs. It aggregates the singular values of the normalized graph Laplacian from different views through the scalar power mean operation. Through extensive synthetic experiments, we show that i). LAD and MultiLAD are accurate and outperforms state-of-the-art baselines and their multi-view extensions by a large margin, ii). MultiLAD's advantage over contenders significantly increases when additional views are available, and iii). MultiLAD is highly robust to noise from individual views. In five real world dynamic graphs, we demonstrate that LAD and MultiLAD identify significant events as top anomalies such as the implementation of government COVID-19 interventions which impacted the population mobility in multi-view traffic networks.


title: A characteristic mapping method for incompressible hydrodynamics on a rotating sphere

abstract: We present a semi-Lagrangian characteristic mapping method for the incompressible Euler equations on a rotating sphere. The numerical method uses a spatio-temporal discretization of the inverse flow map generated by the Eulerian velocity as a composition of sub-interval flows formed by $C^1$ spherical spline interpolants. This approximation technique has the capacity of resolving sub-grid scales generated over time without increasing the spatial resolution of the computational grid. The numerical method is analyzed and validated using standard test cases yielding third-order accuracy in the supremum norm. Numerical experiments illustrating the unique resolution properties of the method are performed and demonstrate the ability to reproduce the forward energy cascade at sub-grid scales by upsampling the numerical solution.


title: Matrix and tensor witnesses of hidden symmetry algebras

abstract: Permutation group algebras, and their generalizations called permutation centralizer algebras (PCAs), play a central role as hidden symmetries in the combinatorics of large $N$ gauge theories and matrix models with manifest continuous gauge symmetries. Polynomial functions invariant under the manifest symmetries are the observables of interest and have applications in AdS/CFT. We compute such correlators in the presence of matrix or tensor witnesses, which by definition, can include a matrix or tensor field appearing as a coupling in the action (i.e a spurion) or as a classical (un-integrated) field in the observables, appearing alongside quantum (integrated) fields. In both matrix and tensor cases we find that two-point correlators of general gauge-invariant observables can be written in terms of gauge invariant functions of the witness fields, with coefficients given by structure constants of the associated PCAs. Fourier transformation on the relevant PCAs, relates combinatorial bases to representation theoretic bases. The representation theory basis elements obey orthogonality results for the two-point correlators which generalise known orthogonality relations to the case with witness fields. The new orthogonality equations involve two representation basis elements for observables as input and a representation basis observable constructed purely from witness fields as the output. These equations extend known equations in the super-integrability programme initiated by Mironov and Morozov, and are a direct physical realization of the Wedderburn-Artin decompositions of the hidden permutation centralizer algebras of matrix/tensor models.


title: Spontaneous symmetry breaking without ground state degeneracy in generalized $N$-state clock model

abstract: Spontaneous symmetry breaking is ubiquitous phenomenon in nature. One of the defining features of symmetry broken phases is that the large system size limit and the vanishing external field limit do not commute. In this work, we study a family of extensions of the $N$-state clock model. We find that the exact symmetry and the ground state degeneracy under the periodic boundary condition heavily depend on the system size, although the model has the manifest translation symmetry. In particular, the ground state can be unique and all excitations are gapped even when the phase exhibits non-commutativity of the two limits. Our model hence poses a question on the standard understanding of spontaneous symmetry breaking.


title: Dynamical Cancellation of Polynomials

abstract: Extending the work of Bell, Matsuzawa and Satriano, we consider a finite set of polynomials $S$ over a number field $K$ and give a necessary and sufficient condition for the existence of a $N \in \mathbb{N}_{> 0}$ and a finite set $Z \subset \mathbb{P}^1_K \times \mathbb{P}^1_K$ such that for any $(a,b) \in (\mathbb{P}^1_K \times \mathbb{P}^1_K) \setminus Z$ we have the cancellation result: if $k>N$ and $\phi_1,\ldots ,\phi_k$ are maps in $S$ such that $\phi_{k} \circ \dots \circ \phi_1 (a) = \phi_k \circ \dots \circ \phi_1(b)$, then in fact $\phi_N \circ \dots \circ \phi_1(a) = \phi_N \circ \dots \circ \phi_1(b)$. Moreover, the conditions we give for this cancellation result to hold can be checked by a finite number of computations from the given set of polynomials.


title: Top-down fabrication of bulk-insulating topological insulator nanowires for quantum devices

abstract: In a nanowire (NW) of a three-dimensional topological insulator (TI), the quantum-confinement of topological surface states leads to a peculiar subband structure that is useful for generating Majorana bound states. Top-down fabrication of TINWs from a high-quality thin film would be a scalable technology with great design flexibility, but there has been no report on top-down-fabricated TINWs where the chemical potential can be tuned to the charge neutrality point (CNP). Here we present a top-down fabrication process for bulk-insulating TINWs etched from high-quality (Bi$_{1-x}$Sb$_{x}$)$_2$Te$_3$ thin films without degradation. We show that the chemical potential can be gate-tuned to the CNP and the resistance of the NW presents characteristic oscillations as functions of the gate voltage and the parallel magnetic field, manifesting the TI-subband physics. We further demonstrate the superconducting proximity effect in these TINWs, preparing the groundwork for future devices to investigate Majorana bound states.


title: On the widths of $\eta(1295)$ and $\eta(1405/1475)$

abstract: Based on the assignment of the first radial excitation states of the isoscalar pseudoscalars for $\eta(1295)$ and $\eta(1405/1475)$, we investigate their three-body and four-body decay contributions to the total widths. In agreement with our previous studies we find that the triangle singularity (TS) mechanism arising from the intermediate $K^*\bar{K}$ rescatterings by exchanging a kaon or pion plays a crucial role in both $K\bar{K}\pi$ and $\eta\pi\pi$ channels. For the $\eta_X$ ($\eta_X$ stands for $\eta(1295)$ and $\eta(1405/1475)$) decays into $K\bar{K}\pi$, we find that although the transition $\eta_X\to K^*\bar{K}+c.c.\to K\bar{K}\pi$ is the dominant tree-level process, the productions of the intermediate $K\bar{\kappa}+c.c.$ and $a_0(980)\pi$ are strongly enhanced by the TS mechanism. For the $\eta_X$ decays into $\eta\pi\pi$, we find that the production of the intermediate $a_0(980)\pi$ via the triangle transition is the dominant one for $\eta(1295)$ partly because of the large $\eta(1295)K^*\bar{K}$ coupling. In contrast, the tree-level and triangle loop contributions are compatible and dominant in the $\eta(1405/1475)$ decays into $\eta\pi\pi$. It shows that a combined analysis is useful for disentangling the underlying dynamics for these two states.


title: On the contraction properties for weak solutions to linear elliptic equations with $L^2$-drifts of negative divergence

abstract: We show the existence and uniqueness as well as boundedness of weak solutions to linear elliptic equations with $L^2$-drifts of negative divergence and singular zero-order terms which are positive. Our main target is to show the $L^r$-contraction properties of the unique weak solutions. Indeed, using the Dirichlet form theory, we construct a sub-Markovian $C_0$-resolvent of contractions and identify it to the weak solutions. Furthermore, we derive an $L^1$-stability result through an extended version of the $L^1$-contraction property.


title: Explicit two-sided unique-neighbor expanders

abstract: We study the problem of constructing explicit sparse graphs that exhibit strong vertex expansion. Our main result is the first two-sided construction of imbalanced unique-neighbor expanders, meaning bipartite graphs where small sets contained in both the left and right bipartitions exhibit unique-neighbor expansion, along with algebraic properties relevant to constructing quantum codes. Our constructions are obtained from instantiations of the tripartite line product of a large tripartite spectral expander and a sufficiently good constant-sized unique-neighbor expander, a new graph product we defined that generalizes the line product in the work of Alon and Capalbo and the routed product in the work of Asherov and Dinur. To analyze the vertex expansion of graphs arising from the tripartite line product, we develop a sharp characterization of subgraphs that can arise in bipartite spectral expanders, generalizing results of Kahale, which may be of independent interest. By picking appropriate graphs to apply our product to, we give a strongly explicit construction of an infinite family of $(d_1,d_2)$-biregular graphs $(G_n)_{n\ge 1}$ (for large enough $d_1$ and $d_2$) where all sets $S$ with fewer than a small constant fraction of vertices have $\Omega(d_1\cdot |S|)$ unique-neighbors (assuming $d_1 \leq d_2$). Additionally, we can also guarantee that subsets of vertices of size up to $\exp(\Omega(\sqrt{\log |V(G_n)|}))$ expand losslessly.


title: A New Excluding Condition towards the Soprunov-Zvavitch conjecture on Bezout-type inequalities

abstract: In 2015, I. Soprunov and A. Zvavitch have shown how to use the Bernstein-Khovanskii-Kushnirenko theorem to derive non-negativity of a certain bilinear form $F_{\Delta}$, defined on (pairs of) convex bodies. Together with C. Saroglou, they proved non-negativity of $F_K$ characterizes simplices, among all polytopes. It is conjectured the characterization further holds among all convex bodies. Towards this conjecture, several necessary conditions on $K$ (for non-negativity of $F_K$), were derived. We give a new necessary condition, expressed with isoperimetric ratios, which provides a further step towards a (conjectural) characterization of simplices among a certain subclass of convex bodies.


title: Accelerated $AB$/Push-Pull Methods for Distributed Optimization over Time-Varying Directed Networks

abstract: This paper investigates a novel approach for solving the distributed optimization problem in which multiple agents collaborate to find the global decision that minimizes the sum of their individual cost functions. First, the $AB$/Push-Pull gradient-based algorithm is considered, which employs row- and column-stochastic weights simultaneously to track the optimal decision and the gradient of the global cost function, ensuring consensus on the optimal decision. Building on this algorithm, we then develop a general algorithm that incorporates acceleration techniques, such as heavy-ball momentum and Nesterov momentum, as well as their combination with non-identical momentum parameters. Previous literature has established the effectiveness of acceleration methods for various gradient-based distributed algorithms and demonstrated linear convergence for static directed communication networks. In contrast, we focus on time-varying directed communication networks and establish linear convergence of the methods to the optimal solution, when the agents' cost functions are smooth and strongly convex. Additionally, we provide explicit bounds for the step-size value and momentum parameters, based on the properties of the cost functions, the mixing matrices, and the graph connectivity structures. Our numerical results illustrate the benefits of the proposed acceleration techniques on the $AB$/Push-Pull algorithm.


title: Fixing Hardware Security Bugs with Large Language Models

abstract: Novel AI-based code-writing Large Language Models (LLMs) such as OpenAI's Codex have demonstrated capabilities in many coding-adjacent domains. In this work we consider how LLMs maybe leveraged to automatically repair security relevant bugs present in hardware designs. We focus on bug repair in code written in the Hardware Description Language Verilog. For this study we build a corpus of domain-representative hardware security bugs. We then design and implement a framework to quantitatively evaluate the performance of any LLM tasked with fixing the specified bugs. The framework supports design space exploration of prompts (i.e., prompt engineering) and identifying the best parameters for the LLM. We show that an ensemble of LLMs can repair all ten of our benchmarks. This ensemble outperforms the state-of-the-art Cirfix hardware bug repair tool on its own suite of bugs. These results show that LLMs can repair hardware security bugs and the framework is an important step towards the ultimate goal of an automated end-to-end bug repair framework.


title: Towards Evology: a Market Ecology Agent-Based Model of US Equity Mutual Funds II

abstract: Agent-based models (ABMs) are fit to model heterogeneous, interacting systems like financial markets. We present the latest advances in Evology: a heterogeneous, empirically calibrated market ecology agent-based model of the US stock market. Prices emerge endogenously from the interactions of market participants with diverse investment behaviours and their reactions to fundamentals. This approach allows testing trading strategies while accounting for the interactions of this strategy with other market participants and conditions. Those early results encourage a closer association between ABMs and ML algorithms for testing and optimising investment strategies using machine learning algorithms.


title: A Theoretical Justification for Image Inpainting using Denoising Diffusion Probabilistic Models

abstract: We provide a theoretical justification for sample recovery using diffusion based image inpainting in a linear model setting. While most inpainting algorithms require retraining with each new mask, we prove that diffusion based inpainting generalizes well to unseen masks without retraining. We analyze a recently proposed popular diffusion based inpainting algorithm called RePaint (Lugmayr et al., 2022), and show that it has a bias due to misalignment that hampers sample recovery even in a two-state diffusion process. Motivated by our analysis, we propose a modified RePaint algorithm we call RePaint$^+$ that provably recovers the underlying true sample and enjoys a linear rate of convergence. It achieves this by rectifying the misalignment error present in drift and dispersion of the reverse process. To the best of our knowledge, this is the first linear convergence result for a diffusion based image inpainting algorithm.


title: Laser-Induced Cavitation for Controlling Crystallization from Solution

abstract: We demonstrate that a cavitation bubble initiated by a Nd:YAG laser pulse below breakdown threshold induces crystallization from supersaturated aqueous solutions with supersaturation and laser-energy dependent nucleation kinetics. Combining high-speed video microscopy and simulations, we argue that a competition between the dissipation of absorbed laser energy as latent and sensible heat dictates the solvent evaporation rate and creates a momentary supersaturation peak at the vapor-liquid interface. The number and morphology of crystals correlate to the characteristics of the simulated supersaturation peak.


title: Outer gravitational potential of a homogeneous torus with an elliptical cross-section: I. Representation by two massive circles

abstract: This paper deals with the gravitational potential of a homogeneous torus with elliptical cross-section. We present a new expression for its gravitational potential which is valid in any point of the space, obtained by modeling the torus with a set of massive circles (infinitely thin rings). We found that the outer potential can be represented with good accuracy by the potential of two massive circles with masses which are half of the torus mass. These massive circles intercept the elliptical cross-section at two points along the major axis which are in opposite directions and at half of the distances to the foci of the cross-section. The same formula works for both cases: oblate and prolate cross-sections. For the case of the prolate cross-section of the torus the distances to massive circles are imaginary and conjugate ones but the values of the torus potential for this case are real. The obtained approximation is robust as the error maps show.


title: SB-property on metric structures

abstract: A complete theory $T$ has the Schr\"oder-Bernstein property or simply the SB-property if any pair of elementarily bi-embeddable models are isomorphic. This property has been studied in the discrete first-order setting and can be seen as a first step towards classification theory. This paper deals with the SB-property on continuous theories. Examples of complete continuous theories that have this property include Hilbert spaces and any completion of the theory of probability algebras. We also study a weaker notion, the SB-property up to perturbations. This property holds if any two elementarily bi-embeddable models are isomorphic up to perturbations. We prove that the theory of Hilbert spaces expanded with a bounded self-adjoint operator has the SB-property up to perturbations of the operator and that the theory of atomless probability algebras with a generic automorphism have the SB-property up to perturbations of the automorphism. We also study how the SB-property behaves with respect to randomizations. Finally we prove, in the continuous setting, that if $T$ is a strictly stable theory then $T$ does not have the SB-property.


title: A dynamical survey of the trans-Neptunian region I.: Mean-motion resonances with Neptune

abstract: In this paper, we present a large-scale dynamical survey of the trans-Neptunian region, with particular attention to mean-motion resonances (MMRs). We study a set of 4121 trans-Neptunian objects (TNOs), a sample far larger than in previous works. We perform direct long-term numerical integrations that enable us to examine the overall dynamics of the individual TNOs as well as to identify all MMRs. For the latter purpose, we apply the own-developed FAIR method that allows the semi-automatic identification of even very high-order MMRs. Apart from searching for the more frequent eccentricity-type resonances that previous studies concentrated on, we set our method to allow the identification of inclination-type MMRs, too. Furthermore, we distinguish between TNOs that are locked in the given MMR throughout the whole integration time span ($10^8$\,years) and those that are only temporarily captured in resonances. For a more detailed dynamical analysis of the trans-Neptunian space, we also construct dynamical maps using test particles. Observing the fine structure of the $ 34-80 $~AU region underlines the stabilizing role of the MMRs, with the regular regions coinciding with the position of the real TNOs.


title: A novel automatic wind power prediction framework based on multi-time scale and temporal attention mechanisms

abstract: Wind energy is a widely distributed, renewable, and environmentally friendly energy source that plays a crucial role in mitigating global warming and addressing energy shortages. Nevertheless, wind power generation is characterized by volatility, intermittence, and randomness, which hinder its ability to serve as a reliable power source for the grid. Accurate wind power forecasting is crucial for developing a new power system that heavily relies on renewable energy sources. However, traditional wind power forecasting systems primarily focus on ultra-short-term or short-term forecasts, limiting their ability to address the diverse adjustment requirements of the power system simultaneously. To overcome these challenges, We propose an automatic framework capable of forecasting wind power across multi-time scale. The framework based on the tree-structured Parzen estimator (TPE) and temporal fusion transformer (TFT) that can provide ultra-short-term, short-term and medium-term wind power forecasting power.Our approach employs the TFT for wind power forecasting and categorizes features based on their properties. Additionally, we introduce a generic algorithm to simultaneously fine-tune the hyperparameters of the decomposition method and model. We evaluate the performance of our framework by conducting ablation experiments using three commonly used decomposition algorithms and six state-of-the-art models for forecasting multi-time scale. The experimental results demonstrate that our proposed method considerably improves prediction accuracy on the public dataset Engie https://opendata-renewables.engie.com. Compared to the second-best state-of-the-art model, our approach exhibits a reduction of 31.75% and 28.74% in normalized mean absolute error (nMAE) for 24-hour forecasting, and 20.79% and 16.93% in nMAE for 48-hour forecasting, respectively.


title: Practical Bandits: An Industry Perspective

abstract: The bandit paradigm provides a unified modeling framework for problems that require decision-making under uncertainty. Because many business metrics can be viewed as rewards (a.k.a. utilities) that result from actions, bandit algorithms have seen a large and growing interest from industrial applications, such as search, recommendation and advertising. Indeed, with the bandit lens comes the promise of direct optimisation for the metrics we care about. Nevertheless, the road to successfully applying bandits in production is not an easy one. Even when the action space and rewards are well-defined, practitioners still need to make decisions regarding multi-arm or contextual approaches, on- or off-policy setups, delayed or immediate feedback, myopic or long-term optimisation, etc. To make matters worse, industrial platforms typically give rise to large action spaces in which existing approaches tend to break down. The research literature on these topics is broad and vast, but this can overwhelm practitioners, whose primary aim is to solve practical problems, and therefore need to decide on a specific instantiation or approach for each project. This tutorial will take a step towards filling that gap between the theory and practice of bandits. Our goal is to present a unified overview of the field and its existing terminology, concepts and algorithms -- with a focus on problems relevant to industry. We hope our industrial perspective will help future practitioners who wish to leverage the bandit paradigm for their application.


title: Propositional Logics for the Lawvere Quantale

abstract: Lawvere showed that generalised metric spaces are categories enriched over $[0, \infty]$, the quantale of the positive extended reals. The statement of enrichment is a quantitative analogue of being a preorder. Towards seeking a logic for quantitative metric reasoning, we investigate three $[0,\infty]$-valued propositional logics over the Lawvere quantale. The basic logical connectives shared by all three logics are those that can be interpreted in any quantale, viz finite conjunctions and disjunctions, tensor (addition for the Lawvere quantale) and linear implication (here a truncated subtraction); to these we add, in turn, the constant $1$ to express integer values, and scalar multiplication by a non-negative real to express general affine combinations. Quantitative equational logic can be interpreted in the third logic if we allow inference systems instead of axiomatic systems. For each of these logics we develop a natural deduction system which we prove to be decidably complete w.r.t. the quantale-valued semantics. The heart of the completeness proof makes use of the Motzkin transposition theorem. Consistency is also decidable; the proof makes use of Fourier-Motzkin elimination of linear inequalities. Strong completeness does not hold in general, even (as is known) for theories over finitely-many propositional variables; indeed even an approximate form of strong completeness in the sense of Pavelka or Ben Yaacov -- provability up to arbitrary precision -- does not hold. However, we can show it for theories axiomatized by a (not necessarily finite) set of judgements in normal form over a finite set of propositional variables when we restrict to models that do not map variables to $\infty$; the proof uses Hurwicz's general form of the Farkas' Lemma.


title: Asymmetric Cryptosystem Using Careful Synchronization

abstract: We present public-private key cryptosystem which utilizes the fact that checking whether a partial automaton is carefully synchronizing is $PSPACE$-complete, even in the case of a binary alphabet.


title: Factor Fields: A Unified Framework for Neural Fields and Beyond

abstract: We present Factor Fields, a novel framework for modeling and representing signals. Factor Fields decomposes a signal into a product of factors, each represented by a classical or neural field representation which operates on transformed input coordinates. This decomposition results in a unified framework that accommodates several recent signal representations including NeRF, Plenoxels, EG3D, Instant-NGP, and TensoRF. Additionally, our framework allows for the creation of powerful new signal representations, such as the "Dictionary Field" (DiF) which is a second contribution of this paper. Our experiments show that DiF leads to improvements in approximation quality, compactness, and training time when compared to previous fast reconstruction methods. Experimentally, our representation achieves better image approximation quality on 2D image regression tasks, higher geometric quality when reconstructing 3D signed distance fields, and higher compactness for radiance field reconstruction tasks. Furthermore, DiF enables generalization to unseen images/3D scenes by sharing bases across signals during training which greatly benefits use cases such as image regression from sparse observations and few-shot radiance field reconstruction.


title: The All-Pairs Vitality-Maximization (VIMAX) Problem

abstract: Traditional network interdiction problems focus on removing vertices or edges from a network so as to disconnect or lengthen paths in the network; network diversion problems seek to remove vertices or edges to reroute flow through a designated critical vertex or edge. We introduce the all-pairs vitality maximization problem (VIMAX), in which vertex deletion attempts to maximize the amount of flow passing through a critical vertex, measured as the all-pairs vitality of the vertex. The assumption in this problem is that in a network for which the structure is known but the physical locations of vertices may not be known (e.g. a social network), locating a person or asset of interest might require the ability to detect a sufficient amount of flow (e.g., communications or financial transactions) passing through the corresponding vertex in the network. We formulate VIMAX as a mixed integer program, and show that it is NP-Hard. We compare the performance of the MIP and a simulated annealing heuristic on both real and simulated data sets and highlight the potential increase in vitality of key vertices that can be attained by subset removal. We also present graph theoretic results that can be used to narrow the set of vertices to consider for removal.


title: Dual Propagation: Accelerating Contrastive Hebbian Learning with Dyadic Neurons

abstract: Activity difference based learning algorithms-such as contrastive Hebbian learning and equilibrium propagation-have been proposed as biologically plausible alternatives to error back-propagation. However, on traditional digital chips these algorithms suffer from having to solve a costly inference problem twice, making these approaches more than two orders of magnitude slower than back-propagation. In the analog realm equilibrium propagation may be promising for fast and energy efficient learning, but states still need to be inferred and stored twice. Inspired by lifted neural networks and compartmental neuron models we propose a simple energy based compartmental neuron model, termed dual propagation, in which each neuron is a dyad with two intrinsic states. At inference time these intrinsic states encode the error/activity duality through their difference and their mean respectively. The advantage of this method is that only a single inference phase is needed and that inference can be solved in layerwise closed-form. Experimentally we show on common computer vision datasets, including Imagenet32x32, that dual propagation performs equivalently to back-propagation both in terms of accuracy and runtime.


title: New threats to society from free-speech social media platforms

abstract: In recent years, several free-speech social media platforms (so-called "alt-techs") have emerged, such as Parler, Gab, and Telegram. These platforms market themselves as alternatives to mainstream social media and proclaim "free-speech" due to the absence of content moderation, which has been attracting a large base of partisan users, extremists, and supporters of conspiracy theories. In this comment, we discuss some of the threats that emerge from such social media platforms and call for more policy efforts directed at understanding and countering the risks for society.


title: Transition to an excitonic insulator from a two-dimensional conventional insulator

abstract: In this paper, first, we present a general formulation to investigate the ground-state and elementary excitations of an excitonic insulator (EI) in real materials. In addition, we discuss the out-of-equilibrium state induced (albeit transiently) by high-intensity light illumination of a conventional two-dimensional (2D) insulator. We then, present various band-structure models which allow us to study the transition from a conventional insulator to an EI in 2D materials as a function of the dielectric constant, the conventional insulator gap (and chemical potential), the bandwidths of the conduction and valence bands and the Bravais lattice unit-cell size. One of the goals of this investigation is to determine which range of these experimentally determined parameters to consider in order to find the best candidate materials to realize the excitonic insulator. The numerical solution to the EI gap equation for various band-structures shows a significant and interesting momentum-dependence of the EI gap function $\Delta(\vec k)$ and of the zero-temperature electron and hole momentum-distribution across the Brillouin zone. Last, we discuss that these features can be detected by tunneling microscopy


title: On the limiting behaviour of the su(N) structure constants

abstract: The details are expounded of an old treatment of the limit of the su(N) structure constants as N tends to infinity. A recently derived parity property of the series expansion is shown to be the same as the known mirror symmetry of 6-j symbols.


title: The Design Strain Sensitivity of the Schenberg Spherical Resonant Antenna for Gravitational Waves

abstract: The main purpose of this study is to review the Schenberg resonant antenna transfer function and to recalculate the antenna design strain sensitivity for gravitational waves. We consider the spherical antenna with six transducers in the semi dodecahedral configuration. When coupled to the antenna, the transducer-sphere system will work as a mass-spring system with three masses. The first one is the antenna effective mass for each quadrupole mode, the second one is the mass of the mechanical structure of the transducer first mechanical mode and the third one is the effective mass of the transducer membrane that makes one of the transducer microwave cavity walls. All the calculations are done for the degenerate (all the sphere quadrupole mode frequencies equal) and non-degenerate sphere cases. We have come to the conclusion that the 'ultimate' sensitivity of an advanced version of Schenberg antenna (aSchenberg) is around the standard quantum limit (although the parametric transducers used could, in principle, surpass this limit). However, this sensitivity, in the frequency range where Schenberg operates, has already been achieved by the two aLIGOs in the O3 run, therefore, the only reasonable justification for remounting the Schenberg antenna and trying to place it in the sensitivity of the standard quantum limit would be to detect gravitational waves with another physical principle, different from the one used by laser interferometers. This other physical principle would be the absorption of the gravitational wave energy by a resonant mass like Schenberg.


title: Sparse High-Dimensional Vector Autoregressive Bootstrap

abstract: We introduce a high-dimensional multiplier bootstrap for time series data based capturing dependence through a sparsely estimated vector autoregressive model. We prove its consistency for inference on high-dimensional means under two different moment assumptions on the errors, namely sub-gaussian moments and a finite number of absolute moments. In establishing these results, we derive a Gaussian approximation for the maximum mean of a linear process, which may be of independent interest.


title: Symmetry plane correlations in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV

abstract: A newly developed observable for correlations between symmetry planes, which characterize the direction of the anisotropic emission of produced particles, is measured in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV with ALICE. This so-called Gaussian Estimator allows for the first time the study of these quantities without the influence of correlations between different flow amplitudes. The centrality dependence of various correlations between two, three and four symmetry planes is presented. The ordering of magnitude between these symmetry plane correlations is discussed and the results of the Gaussian Estimator are compared with measurements of previously used estimators. The results utilizing the new estimator lead to significantly smaller correlations than reported by studies using the Scalar Product method. Furthermore, the obtained symmetry plane correlations are compared to state-of-the-art hydrodynamic model calculations for the evolution of heavy-ion collisions. While the model predictions provide a qualitative description of the data, quantitative agreement is not always observed, particularly for correlators with significant non-linear response of the medium to initial state anisotropies of the collision system. As these results provide unique and independent information, their usage in future Bayesian analysis can further constrain our knowledge on the properties of the QCD matter produced in ultrarelativistic heavy-ion collisions.


title: Printing Protocol: Physical ZKPs for Decomposition Puzzles

abstract: Decomposition puzzles are pencil-and-paper logic puzzles that involve partitioning a rectangular grid into several regions to satisfy certain rules. In this paper, we construct a generic card-based protocol called printing protocol, which can be used to physically verify solutions of decompositon puzzles. We apply the printing protocol to develop card-based zero-knowledge proof protocols for two such puzzles: Five Cells and Meadows. These protocols allow a prover to physically show that he/she knows solutions of the puzzles without revealing them.


title: A Machine Learning Approach to Measuring Climate Adaptation

abstract: I measure adaptation to climate change by comparing elasticities from short-run and long-run changes in damaging weather. I propose a debiased machine learning approach to flexibly measure these elasticities in panel settings. In a simulation exercise, I show that debiased machine learning has considerable benefits relative to standard machine learning or ordinary least squares, particularly in high-dimensional settings. I then measure adaptation to damaging heat exposure in United States corn and soy production. Using rich sets of temperature and precipitation variation, I find evidence that short-run impacts from damaging heat are significantly offset in the long run. I show that this is because the impacts of long-run changes in heat exposure do not follow the same functional form as short-run shocks to heat exposure.


title: Robust Estimation under the Wasserstein Distance

abstract: We study the problem of robust distribution estimation under the Wasserstein metric, a popular discrepancy measure between probability distributions rooted in optimal transport (OT) theory. We introduce a new outlier-robust Wasserstein distance $\mathsf{W}_p^\varepsilon$ which allows for $\varepsilon$ outlier mass to be removed from its input distributions, and show that minimum distance estimation under $\mathsf{W}_p^\varepsilon$ achieves minimax optimal robust estimation risk. Our analysis is rooted in several new results for partial OT, including an approximate triangle inequality, which may be of independent interest. To address computational tractability, we derive a dual formulation for $\mathsf{W}_p^\varepsilon$ that adds a simple penalty term to the classic Kantorovich dual objective. As such, $\mathsf{W}_p^\varepsilon$ can be implemented via an elementary modification to standard, duality-based OT solvers. Our results are extended to sliced OT, where distributions are projected onto low-dimensional subspaces, and applications to homogeneity and independence testing are explored. We illustrate the virtues of our framework via applications to generative modeling with contaminated datasets.


title: ALICE upgrades during the LHC Long Shutdown 2

abstract: A Large Ion Collider Experiment (ALICE) has been conceived and constructed as a heavy-ion experiment at the LHC. During LHC Runs 1 and 2, it has produced a wide range of physics results using all collision systems available at the LHC. In order to best exploit new physics opportunities opening up with the upgraded LHC and new detector technologies, the experiment has undergone a major upgrade during the LHC Long Shutdown 2 (2019-2022). This comprises the move to continuous readout, the complete overhaul of core detectors, as well as a new online event processing farm with a redesigned online-offline software framework. These improvements will allow to record Pb-Pb collisions at rates up to 50 kHz, while ensuring sensitivity for signals without a triggerable signature.


title: The Solar System Notification Alert Processing System (SNAPS): Design, Architecture, and First Data Release (SNAPShot1)

abstract: We present here the design, architecture, and first data release for the Solar System Notification Alert Processing System (SNAPS). SNAPS is a Solar System broker that ingests alert data from all-sky surveys. At present, we ingest data from the Zwicky Transient Facility (ZTF) public survey, and we will ingest data from the forthcoming Legacy Survey of Space and Time (LSST) when it comes online. SNAPS is an official LSST downstream broker. In this paper we present the SNAPS design goals and requirements. We describe the details of our automatic pipeline processing in which physical properties of asteroids are derived. We present SNAPShot1, our first data release, which contains 5,458,459 observations of 31,693 asteroids observed by ZTF from July, 2018, through May, 2020. By comparing a number of derived properties for this ensemble to previously published results for overlapping objects we show that our automatic processing is highly reliable. We present a short list of science results, among many that will be enabled by our SNAPS catalog: (1) we demonstrate that there are no known asteroids with very short periods and high amplitudes, which clearly indicates that in general asteroids in the size range 0.3--20 km are strengthless; (2) we find no difference in the period distributions of Jupiter Trojan asteroids, implying that the L4 and L5 cloud have different shape distributions; and (3) we highlight several individual asteroids of interest. Finally, we describe future work for SNAPS and our ability to operate at LSST scale.


title: On Nonlinear Black Hole Ringdowns from Gauge-Invariance and Measurements

abstract: It has been recently shown that nonlinear effects emerging at the time of the generation of the quasi-normal modes are necessary to model ringdowns from black hole mergers. In this note, we describe how nonlinerarities also arise when defining gauge-invariant tensor modes and in the calculation of the observable measured in the interferometers beyond linear order.


title: Diagrammatization: Rationalizing with diagrammatic AI explanations for abductive-deductive reasoning on hypotheses

abstract: Many visualizations have been developed for explainable AI (XAI), but they often require further reasoning by users to interpret. We argue that XAI should support diagrammatic and abductive reasoning for the AI to perform hypothesis generation and evaluation to reduce the interpretability gap. We propose Diagrammatization to i) perform Peircean abductive-deductive reasoning, ii) follow domain conventions, and iii) explain with diagrams visually or verbally. We implemented DiagramNet for a clinical application to predict cardiac diagnoses from heart auscultation, and explain with shape-based murmur diagrams. In modeling studies, we found that DiagramNet not only provides faithful murmur shape explanations, but also has better prediction performance than baseline models. We further demonstrate the interpretability and trustworthiness of diagrammatic explanations in a qualitative user study with medical students, showing that clinically-relevant, diagrammatic explanations are preferred over technical saliency map explanations. This work contributes insights into providing domain-conventional abductive explanations for user-centric XAI.


title: Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal

abstract: We introduce Neuro-Symbolic Continual Learning, where a model has to solve a sequence of neuro-symbolic tasks, that is, it has to map sub-symbolic inputs to high-level concepts and compute predictions by reasoning consistently with prior knowledge. Our key observation is that neuro-symbolic tasks, although different, often share concepts whose semantics remains stable over time. Traditional approaches fall short: existing continual strategies ignore knowledge altogether, while stock neuro-symbolic architectures suffer from catastrophic forgetting. We show that leveraging prior knowledge by combining neuro-symbolic architectures with continual strategies does help avoid catastrophic forgetting, but also that doing so can yield models affected by reasoning shortcuts. These undermine the semantics of the acquired concepts, even when detailed prior knowledge is provided upfront and inference is exact, and in turn continual performance. To overcome these issues, we introduce COOL, a COncept-level cOntinual Learning strategy tailored for neuro-symbolic continual problems that acquires high-quality concepts and remembers them over time. Our experiments on three novel benchmarks highlights how COOL attains sustained high performance on neuro-symbolic continual learning tasks in which other strategies fail.