title: First observation of the hidden-charm pentaquarks on lattice

abstract: The s-wave scattering of $\Sigma_c \bar{D}$ and $\Sigma_c \bar{D}^*$ in the $I(J^P) = \frac{1}{2}(\frac{1}{2}^-)$ channel is calculated in lattice QCD using two ensembles with different volumes but the same lattice spacing $a\sim 0.08\mathrm{fm}$ and pion mass $M_\pi \sim 294\mathrm{MeV}$. The scattering amplitudes near threshold are obtained by L\"uscher's finite volume method. We find bound state poles in both $\Sigma_c \bar{D}$ and $\Sigma_c \bar{D}^*$ channels, which are possibly related to the $P_c(4312)$ and $P_c(4440) / P_c(4457)$ pentaquarks observed in experiments. The binding energy is $6(2)(2)$MeV for $\Sigma_c \bar{D}$ and $7(3)(1)$MeV for $\Sigma_c \bar{D}^*$, where the first error is the statistical error and the second is the systematic error due to the lattice artifacts.


title: Efficiently Extracting Multi-Point Correlations of a Floquet Thermalized System

abstract: Nonequilibrium dynamics of many-body systems is challenging for classical computing, providing opportunities for demonstrating practical quantum computational advantage with analogue quantum simulators. It is proposed to be classically intractable to sample driven thermalized many-body states of Bose-Hubbard systems, and further extract multi-point correlations for characterizing quantum phases. Here, leveraging dedicated precise manipulations and number-resolved detection through a quantum gas microscope, we implement and sample a 32-site driven Hubbard chain in the thermalized phase. Multi-point correlations of up to 14th-order extracted from experimental samples offer clear distinctions between the thermalized and many-body-localized phases. In terms of estimated computational powers, the quantum simulator is comparable to the fastest supercomputer with currently known best algorithms. Our work paves the way towards practical quantum advantage in simulating Floquet dynamics of many-body systems.


title: An Approach to Development: Turning Education from a Service Duty to a Productive Tool

abstract: Recent economic developments of countries like Japan, Korea, and Singapore, as a result of improvement in the quality of their education, show that having a high-quality education may lead to economic growth. In this article, using some statistical methods, we argue that high quality education can change the economy towards higher growth. Therefore, for the development of the country, one should think about how to improve its education. One of the effective ways to improve the quality of education is to increase the efficiency of teachers and attract talented people to teaching positions. Research shows that raising teachers' salaries, along with a proper quality improvement program, can help facilitate this process.


title: Representations over diagrams of abelian categories I: Global structure and homological objects

abstract: Representations over diagrams of abelian categories unify quite a few notions appearing widely in literature such as representations of categories, presheaves of modules over categories, representations of species, etc. In this series of papers we study them systematically, characterizing special homological objects in representation category and constructing various structures (such as model structures and Wandhuasen category strcutres) on it. In the first paper we investigate the Grothendieck structure of the representation category, describe important functors and adjunction relations between them, and characterize special homological objects. These results lay a foundation for our future works.


title: Coordinated Topic Modeling

abstract: We propose a new problem called coordinated topic modeling that imitates human behavior while describing a text corpus. It considers a set of well-defined topics like the axes of a semantic space with a reference representation. It then uses the axes to model a corpus for easily understandable representation. This new task helps represent a corpus more interpretably by reusing existing knowledge and benefits the corpora comparison task. We design ECTM, an embedding-based coordinated topic model that effectively uses the reference representation to capture the target corpus-specific aspects while maintaining each topic's global semantics. In ECTM, we introduce the topic- and document-level supervision with a self-training mechanism to solve the problem. Finally, extensive experiments on multiple domains show the superiority of our model over other baselines.


title: Influence of Bismuth Oxide as a Sintering Aid on the Densification of Cold Sintering of Zirconia

abstract: Zirconia (ZrO2) has emerged as a promising technical ceramic, both as high temperature structural material and thermal barrier coating material, etc. The traditional synthesis of ZrO2 with spark plasma sintering (SPS) usually requires a sintering temperature as high as 1200C. General interest in lowering the sintering temperature to reduce energy consumption and thermal stresses has led to research on two promising routes, cold sintering via temperature-dependent chemical reactivity and sintering aids, which facilitates mass transport and improves densification. Here we combine both by developing a single-step sintering process benefitting from both water vapor through the in-situ conversion of Zr(OH)4 to ZrO2 and liquid phase Bi2O3 as a sintering aid. The resultant ZrO2 has a relative density above 80 percent with a sintering temperature as low as 900C.


title: INTEGRAL study of MAXI J1535-571, MAXI J1820+070 and MAXI J1348-630 outbursts -- I. Detection and polarization properties of the high-energy emission

abstract: In black hole X-ray binaries, a non-thermal high-energy component is sometimes detected at energies above 200 keV. The origin of this component is debated and distinct spectral modelizations can lead to different interpretations. High-energy polarimetry measurements with INTEGRAL allow new diagnostics on the physics responsible for the MeV spectral component. In this work, we aim to investigate the high-energy behavior of three bright sources discovered by the MAXI: MAXI J1535-571, MAXI J1820+070 and MAXI J1348-630. We take advantage of their brightness to investigate their soft gamma-ray (0.1-2 MeV) properties with INTEGRAL. We use both spectral and polarimetric approaches to probe their high-energy emission with the aim to bring new constraints on the ~ MeV emission. We first study the spectral characteristics of the sources in the 3-2000 keV using JEM-X, IBIS and SPI with a semi-phenomenological description of the data. We then use IBIS as a Compton telescope in order to evaluate the polarization properties of the sources above 300 keV. A high-energy component is detected during the HIMS and SIMS of MAXI J1535-571, the LHS of MAXI J1820+070 and the LHS of MAXI J1348-630. The components detected in MAXI J1820+070 and MAXI J1348-630 are polarized with a polarization fraction of 26 +/- 9{\deg} and > 56 % in the 300-1000 keV, respectively. With no polarization information for MAXI J1535-571, the component detected could either come from the jets or the corona. In the case of MAXI J1820+070, the extrapolation of the synchrotron spectrum measured in the infrared indicates that the component is likely due to a non-thermal distribution of electrons from a hybrid corona. For MAXI J1348-630, the high fraction of polarization points towards a jets origin, however, we cannot formally conclude without any infrared data giving information on the optically thin part of the synchrotron spectrum.


title: A New Spatio-Temporal Loss Function for 3D Motion Reconstruction and Extended Temporal Metrics for Motion Evaluation

abstract: We propose a new loss function that we call Laplacian loss, based on spatio-temporal Laplacian representation of the motion as a graph. This loss function is intended to be used in training models for motion reconstruction through 3D human pose estimation from videos. It compares the differential coordinates of the joints obtained from the graph representation of the ground truth against the one of the estimation. We design a fully convolutional temporal network for motion reconstruction to achieve better temporal consistency of estimation. We use this generic model to study the impact of our proposed loss function on the benchmarks provided by Human3.6M. We also make use of various motion descriptors such as velocity, acceleration to make a thorough evaluation of the temporal consistency while comparing the results to some of the state-of-the-art solutions.


title: Phase transitions in 3-dimensional Dirac semi-metals using Schwinger-Dyson equations

abstract: We study the semi-metal/insulator quantum phase transition in three-dimensional Dirac semi-metals by solving a set of Schwinger-Dyson equations. We study the effect of an anisotropic fermion velocity on the critical coupling of the transition. We consider the influence of several different approximations that are commonly used in the literature and show that results for the critical coupling change considerably when some of these approximations are relaxed. Most importantly, the nature of the dependence of the critical coupling on the anisotropy depends strongly on the approximations that are used for the photon polarization tensor. On the one hand, this means that calculations that include full photon dynamics are necessary to answer even the basic question of whether the critical coupling increases or decreases with anisotropy. On the other hand, our results mean that it is possible that anisotropy could provide a mechanism to promote dynamical gap generation in realistic three-dimensional Dirac semi-metallic materials.


title: Waveform Design for Optimal PSL Under Spectral and Unimodular Constraints via Alternating Minimization

abstract: In an active sensing system, waveforms with good auto-correlations are preferred for accurate parameter estimation. Furthermore, spectral compatibility is required to avoid mutual interference between devices as the electromagnetic environment becomes increasingly crowded. Waveforms should also be unimodular due to hardware limits. In this paper, a new approach to generating a unimodular sequence with an approximately optimal peak side-lobe level (PSL) in auto-correlation and adjustable stopband attenuation is proposed. The proposed method is based on alternating minimization (AM) and numerical results suggest that it outperforms existing methods in terms of PSL. We also develop a theoretical lower bound for the PSL minimization problem under spectral constraints and unimodular constraints, which can be used for the evaluation of the results in various works about this waveform design problem. It is observed in the numerical results that the PSL of the proposed algorithm is close to the derived lower bound.


title: Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary

abstract: Given a spin rational homology sphere $Y$ equipped with a $\mathbb{Z}/m$-action preserving the spin structure, we use the Seiberg--Witten equations to define equivariant refinements of the invariant $\kappa(Y)$ from \cite{Man14}, which take the form of a finite subset of elements in a lattice constructed from the representation ring of a twisted product of $\text{Pin}(2)$ and $\mathbb{Z}/m$. The main theorems consist of equivariant relative 10/8-ths type inequalities for spin equivariant cobordisms between rational homology spheres. We provide applications to knot concordance, give obstructions to extending cyclic group actions to spin fillings, and via taking branched covers we obtain genus bounds for knots in punctured 4-manifolds. In some cases, these bounds are strong enough to determine the relative genus for a large class of knots within certain homology classes in $\mathbb{C} P^{2}\#\mathbb{C} P^{2}$, $S^{2}\times S^{2}\# S^{2}\times S^{2}$, $\mathbb{C} P^{2}\# S^{2}\times S^{2}$, and homotopy $K3$ surfaces.


title: Theory for Equivariant Quantum Neural Networks

abstract: Quantum neural network architectures that have little-to-no inductive biases are known to face trainability and generalization issues. Inspired by a similar problem, recent breakthroughs in machine learning address this challenge by creating models encoding the symmetries of the learning task. This is materialized through the usage of equivariant neural networks whose action commutes with that of the symmetry. In this work, we import these ideas to the quantum realm by presenting a comprehensive theoretical framework to design equivariant quantum neural networks (EQNN) for essentially any relevant symmetry group. We develop multiple methods to construct equivariant layers for EQNNs and analyze their advantages and drawbacks. Our methods can find unitary or general equivariant quantum channels efficiently even when the symmetry group is exponentially large or continuous. As a special implementation, we show how standard quantum convolutional neural networks (QCNN) can be generalized to group-equivariant QCNNs where both the convolution and pooling layers are equivariant to the symmetry group. We then numerically demonstrate the effectiveness of a SU(2)-equivariant QCNN over symmetry-agnostic QCNN on a classification task of phases of matter in the bond-alternating Heisenberg model. Our framework can be readily applied to virtually all areas of quantum machine learning. Lastly, we discuss about how symmetry-informed models such as EQNNs provide hopes to alleviate central challenges such as barren plateaus, poor local minima, and sample complexity.


title: A criterion for perfectoid fields

abstract: The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete subfield of $\mathbb{C}_p$ (a completed algebraic closure of $\mathbb{Q}_p$), $K$ is perfectoid if and only if its tilt is not algebraic over $\mathbb{F}_p$. We also include some conjectures on APF (arithmetically profinite) extensions, perfectoid fields, and their relations.


title: High-order finite-difference entropy stable schemes for two-fluid relativistic plasma flow equations

abstract: In this article, we propose high-order finite-difference entropy stable schemes for the two-fluid relativistic plasma flow equations. This is achieved by exploiting the structure of the equations, which consists of three independent flux components. The first two components describe the ion and electron flows, which are modeled using the relativistic hydrodynamics equation. The third component is Maxwell's equations, which are linear systems. The coupling of the ion and electron flows, and electromagnetic fields is via source terms only. Furthermore, we also show that the source terms do not affect the entropy evolution. To design semi-discrete entropy stable schemes, we extend the RHD entropy stable schemes in Bhoriya et al. to three dimensions. This is then coupled with entropy stable discretization of the Maxwell's equations. Finally, we use SSP-RK schemes to discretize in time. We also propose ARK-IMEX schemes to treat the stiff source terms; the resulting nonlinear set of algebraic equations is local (at each discretization point). These equations are solved using the Newton's Method, which results in an efficient method. The proposed schemes are then tested using various test problems to demonstrate their stability, accuracy and efficiency.


title: Limited or Biased: Modeling Sub-Rational Human Investors in Financial Markets

abstract: Human decision-making in real-life deviates significantly from the optimal decisions made by fully rational agents, primarily due to computational limitations or psychological biases. While existing studies in behavioral finance have discovered various aspects of human sub-rationality, there lacks a comprehensive framework to transfer these findings into an adaptive human model applicable across diverse financial market scenarios. In this study, we introduce a flexible model that incorporates five different aspects of human sub-rationality using reinforcement learning. Our model is trained using a high-fidelity multi-agent market simulator, which overcomes limitations associated with the scarcity of labeled data of individual investors. We evaluate the behavior of sub-rational human investors using hand-crafted market scenarios and SHAP value analysis, showing that our model accurately reproduces the observations in the previous studies and reveals insights of the driving factors of human behavior. Finally, we explore the impact of sub-rationality on the investor's Profit and Loss (PnL) and market quality. Our experiments reveal that bounded-rational and prospect-biased human behaviors improve liquidity but diminish price efficiency, whereas human behavior influenced by myopia, optimism, and pessimism reduces market liquidity.


title: Performance of neutron-irradiated 4H-Silicon Carbide diodes subjected to Alpha radiation

abstract: The unique electrical and material properties of 4H-silicon-carbide (4H-SiC) make it a promising candidate material for high rate particle detectors. In contrast to the ubiquitously used silicon (Si), 4H-SiC offers a higher carrier saturation velocity and larger breakdown voltage, enabling a high intrinsic time resolution and mitigating pile-up effects. Additionally, as radiation hardness requirements grow more demanding, wide-bandgap materials such as 4H-SiC could offer better performance. In this work, the detector performance of 50 micron thick 4H-SiC p-in-n planar pad sensors was investigated at room temperature, using an 241Am alpha source at reverse biases of up to 1100 V. Samples subjected to neutron irradiation with fluences of up to 1e16/cm^2 were included in the study in order to quantify the radiation hardness properties of 4H-SiC. The obtained results are compared to previously performed UV-TCT studies. Samples exhibit a drop in charge collection efficiency (CCE) with increasing irradiation fluence, partially compensated at high reverse bias voltages far above full depletion voltage. A plateau of the collected charges is observed in accordance with the depletion of the volume the alpha particles penetrate for an unirradiated reference detector. For the neutron-irradiated samples, such a plateau only becomes apparent at higher reverse bias. For the highest investigated fluence, CCE behaves almost linearly with increasing reverse bias. Compared to UV-TCT measurements, the reverse bias required to deplete a sensitive volume covering full energy deposition is lower, due to the small penetration depth of the alpha particles. At the highest reverse bias, the measured CCE values agree well with earlier UV-TCT studies, with discrepancies between 1% and 5%.


title: Dimension free ridge regression

abstract: Random matrix theory has become a widely useful tool in high-dimensional statistics and theoretical machine learning. However, random matrix theory is largely focused on the proportional asymptotics in which the number of columns grows proportionally to the number of rows of the data matrix. This is not always the most natural setting in statistics where columns correspond to covariates and rows to samples. With the objective to move beyond the proportional asymptotics, we revisit ridge regression ($\ell_2$-penalized least squares) on i.i.d. data $(x_i, y_i)$, $i\le n$, where $x_i$ is a feature vector and $y_i = \beta^\top x_i +\epsilon_i \in\mathbb{R}$ is a response. We allow the feature vector to be high-dimensional, or even infinite-dimensional, in which case it belongs to a separable Hilbert space, and assume either $z_i := \Sigma^{-1/2}x_i$ to have i.i.d. entries, or to satisfy a certain convex concentration property. Within this setting, we establish non-asymptotic bounds that approximate the bias and variance of ridge regression in terms of the bias and variance of an `equivalent' sequence model (a regression model with diagonal design matrix). The approximation is up to multiplicative factors bounded by $(1\pm \Delta)$ for some explicitly small $\Delta$. Previously, such an approximation result was known only in the proportional regime and only up to additive errors: in particular, it did not allow to characterize the behavior of the excess risk when this converges to $0$. Our general theory recovers earlier results in the proportional regime (with better error rates). As a new application, we obtain a completely explicit and sharp characterization of ridge regression for Hilbert covariates with regularly varying spectrum. Finally, we analyze the overparametrized near-interpolation setting and obtain sharp `benign overfitting' guarantees.


title: Automatic Differentiation of Programs with Discrete Randomness

abstract: Automatic differentiation (AD), a technique for constructing new programs which compute the derivative of an original program, has become ubiquitous throughout scientific computing and deep learning due to the improved performance afforded by gradient-based optimization. However, AD systems have been restricted to the subset of programs that have a continuous dependence on parameters. Programs that have discrete stochastic behaviors governed by distribution parameters, such as flipping a coin with probability $p$ of being heads, pose a challenge to these systems because the connection between the result (heads vs tails) and the parameters ($p$) is fundamentally discrete. In this paper we develop a new reparameterization-based methodology that allows for generating programs whose expectation is the derivative of the expectation of the original program. We showcase how this method gives an unbiased and low-variance estimator which is as automated as traditional AD mechanisms. We demonstrate unbiased forward-mode AD of discrete-time Markov chains, agent-based models such as Conway's Game of Life, and unbiased reverse-mode AD of a particle filter. Our code package is available at https://github.com/gaurav-arya/StochasticAD.jl.


title: DiffGAR: Model-Agnostic Restoration from Generative Artifacts Using Image-to-Image Diffusion Models

abstract: Recent generative models show impressive results in photo-realistic image generation. However, artifacts often inevitably appear in the generated results, leading to downgraded user experience and reduced performance in downstream tasks. This work aims to develop a plugin post-processing module for diverse generative models, which can faithfully restore images from diverse generative artifacts. This is challenging because: (1) Unlike traditional degradation patterns, generative artifacts are non-linear and the transformation function is highly complex. (2) There are no readily available artifact-image pairs. (3) Different from model-specific anti-artifact methods, a model-agnostic framework views the generator as a black-box machine and has no access to the architecture details. In this work, we first design a group of mechanisms to simulate generative artifacts of popular generators (i.e., GANs, autoregressive models, and diffusion models), given real images. Second, we implement the model-agnostic anti-artifact framework as an image-to-image diffusion model, due to its advantage in generation quality and capacity. Finally, we design a conditioning scheme for the diffusion model to enable both blind and non-blind image restoration. A guidance parameter is also introduced to allow for a trade-off between restoration accuracy and image quality. Extensive experiments show that our method significantly outperforms previous approaches on the proposed datasets and real-world artifact images.


title: Machine Learning based Discrimination for Excited State Promoted Readout

abstract: A limiting factor for readout fidelity for superconducting qubits is the relaxation of the qubit to the ground state before the time needed for the resonator to reach its final target state. A technique known as excited state promoted (ESP) readout was proposed to reduce this effect and further improve the readout contrast on superconducting hardware. In this work, we use readout data from IBM's five-qubit quantum systems to measure the effectiveness of using deep neural networks, like feedforward neural networks, and various classification algorithms, like k-nearest neighbors, decision trees, and Gaussian naive Bayes, for single-qubit and multi-qubit discrimination. These methods were compared to standardly used linear and quadratic discriminant analysis algorithms based on their qubit-state-assignment fidelity performance, robustness to readout crosstalk, and training time.


title: Laguerre-Freud Equations for three families of hypergeometrical discrete orthogonal polynomials

abstract: The Cholesky factorization of the moment matrix is considered for discrete orthogonal polynomials of hypergeometrical type. We derive the Laguerre-Freud equations when the first moments of the weights are given by the ${}_1F_2$, ${}_2F_2$ and ${}_3F_2$ generalized hypergeometrical functions.


title: Skeptical inferences in multi-label ranking with sets of probabilities

abstract: In this paper, we consider the problem of making skeptical inferences for the multi-label ranking problem. We assume that our uncertainty is described by a convex set of probabilities (i.e. a credal set), defined over the set of labels. Instead of learning a singleton prediction (or, a completed ranking over the labels), we thus seek for skeptical inferences in terms of set-valued predictions consisting of completed rankings.


title: Stochastic Occupancy Grid Map Prediction in Dynamic Scenes

abstract: This paper presents two variations of a novel stochastic prediction algorithm that enables mobile robots to accurately and robustly predict the future state of complex dynamic scenes. The proposed algorithm uses a variational autoencoder to predict a range of possible future states of the environment. The algorithm takes full advantage of the motion of the robot itself, the motion of dynamic objects, and the geometry of static objects in the scene to improve prediction accuracy. Three simulated and real-world datasets collected by different robot models are used to demonstrate that the proposed algorithm is able to achieve more accurate and robust prediction performance than other prediction algorithms. Furthermore, a predictive uncertainty-aware planner is proposed to demonstrate the effectiveness of the proposed predictor in simulation and real-world navigation experiments. Implementations are open source at https://github.com/TempleRAIL/SOGMP.


title: Data-Model-Circuit Tri-Design for Ultra-Light Video Intelligence on Edge Devices

abstract: In this paper, we propose a data-model-hardware tri-design framework for high-throughput, low-cost, and high-accuracy multi-object tracking (MOT) on High-Definition (HD) video stream. First, to enable ultra-light video intelligence, we propose temporal frame-filtering and spatial saliency-focusing approaches to reduce the complexity of massive video data. Second, we exploit structure-aware weight sparsity to design a hardware-friendly model compression method. Third, assisted with data and model complexity reduction, we propose a sparsity-aware, scalable, and low-power accelerator design, aiming to deliver real-time performance with high energy efficiency. Different from existing works, we make a solid step towards the synergized software/hardware co-optimization for realistic MOT model implementation. Compared to the state-of-the-art MOT baseline, our tri-design approach can achieve 12.5x latency reduction, 20.9x effective frame rate improvement, 5.83x lower power, and 9.78x better energy efficiency, without much accuracy drop.


title: Nowhere to Hide: A Lightweight Unsupervised Detector against Adversarial Examples

abstract: Although deep neural networks (DNNs) have shown impressive performance on many perceptual tasks, they are vulnerable to adversarial examples that are generated by adding slight but maliciously crafted perturbations to benign images. Adversarial detection is an important technique for identifying adversarial examples before they are entered into target DNNs. Previous studies to detect adversarial examples either targeted specific attacks or required expensive computation. How design a lightweight unsupervised detector is still a challenging problem. In this paper, we propose an AutoEncoder-based Adversarial Examples (AEAE) detector, that can guard DNN models by detecting adversarial examples with low computation in an unsupervised manner. The AEAE includes only a shallow autoencoder but plays two roles. First, a well-trained autoencoder has learned the manifold of benign examples. This autoencoder can produce a large reconstruction error for adversarial images with large perturbations, so we can detect significantly perturbed adversarial examples based on the reconstruction error. Second, the autoencoder can filter out the small noise and change the DNN's prediction on adversarial examples with small perturbations. It helps to detect slightly perturbed adversarial examples based on the prediction distance. To cover these two cases, we utilize the reconstruction error and prediction distance from benign images to construct a two-tuple feature set and train an adversarial detector using the isolation forest algorithm. We show empirically that the AEAE is unsupervised and inexpensive against the most state-of-the-art attacks. Through the detection in these two cases, there is nowhere to hide adversarial examples.


title: Fast Direct Solvers for Integral Equations at Low-Frequency Based on Operator Filtering

abstract: This paper focuses on fast direct solvers for integral equations in the low-to-moderate-frequency regime obtained by leveraging preconditioned first kind or second kind operators regularized with Laplacian filters. The spectral errors arising from boundary element discretizations are properly handled by filtering that, in addition, allows for the use of low-rank representations for the compact perturbations of all operators involved. Numerical results show the effectiveness of the approaches and their effectiveness in the direct solution of integral equations.


title: The gamma-construction and permanence properties of the (relative) $F$-rational signature

abstract: We study some permanence properties of the relative $F$-rational signature defined and studied by Smirnov--Tucker. We show that this invariant is compatible with the gamma-construction, and then derive other main results from the $F$-finite case established by Smirnov--Tucker. We also obtain limited results about the $F$-rational signature defined and studied by Hochster--Yao. We explore some features of the gamma-construction along the way, which may be of independent interest.


title: Free colimit completion in $\infty$-categories

abstract: We show how several useful properties of Ind-constructions in $\infty$-categories extend to arbitrary free colimit completion constructions.


title: Grip force as a functional window to somatosensory cognition

abstract: Analysis of grip force signals tailored to hand and finger movement evolution and changes in grip force control during task execution provide unprecedented functional insight into somatosensory cognition. Somatosensory cognition is the basis of our ability to act upon and to transform the physical world around us, to recognize objects on the basis of touch alone, and to grasp them with the right amount of force for lifting and manipulating them. Recent technology has permitted the wireless monitoring of grip force signals recorded from biosensors in the palm of the human hand to track and trace human grip forces deployed in cognitive tasks executed under conditions of variable sensory (visual, auditory) input. Non-invasive multi-finger grip force sensor technology can be exploited to explore functional interactions between somatosensory brain mechanisms and motor control, in particular during learning a novel and complex tasks where the planning and strategic execution of hand movements is essential. Under the light of a comprehensive overview of recent discoveries into the functional significance of human grip force variations, perspectives for future studies in cognition, in particular the cognitive control of strategic hand movements in robot-assisted precision tasks, are pointed out.


title: Exact uniform modulus of continuity for $q$-isotropic Gaussian random fields

abstract: We find sufficient conditions for the existence of an exact uniform modulus continuity for the class of $q$-isotropic Gaussian random fields introduced in [8]. We apply the result to a $d$-dimensional version of the $B^{\gamma}$ Gaussian processes defined in [14].


title: A new trigonometric kernel function for support vector machine

abstract: In the last few years, various types of machine learning algorithms, such as Support Vector Machine (SVM), Support Vector Regression (SVR), and Non-negative Matrix Factorization (NMF) have been introduced. The kernel approach is an effective method for increasing the classification accuracy of machine learning algorithms. This paper introduces a family of one-parameter kernel functions for improving the accuracy of SVM classification. The proposed kernel function consists of a trigonometric term and differs from all existing kernel functions. We show this function is a positive definite kernel function. Finally, we evaluate the SVM method based on the new trigonometric kernel, the Gaussian kernel, the polynomial kernel, and a convex combination of the new kernel function and the Gaussian kernel function on various types of datasets. Empirical results show that the SVM based on the new trigonometric kernel function and the mixed kernel function achieve the best classification accuracy. Moreover, some numerical results of performing the SVR based on the new trigonometric kernel function and the mixed kernel function are presented.


title: The equivalence principle and inertial-gravitational decoherence

abstract: This work is divided into two parts. The first examines recent proposals for "witnessing" quantum gravity via entanglement from the point of view of Bronstein's original objection to a quantization of gravity. Using techniques from open quantum systems we sketch how unavoidable decoherence from both inertial and gravitational backreaction between probe and detector could spoil the experimental detection of the quantization of gravity. We argue that this "failure" is actually an inherent feature of any quantum description that attempts to incorporate the equivalence principle exactly within quantum dynamics. In the second part, we speculate on how an exact realization of the equivalence principle might be implemented in an effective quantum field theory via the general covariance of correlators. While we are far from giving an explicit construction of such a theory we point out some features and consequences of such a program.


title: Low-Temperature Gas Opacities with AESOPUS 2.0

abstract: This work introduces new low-temperature gas opacities, in the range 3.2 <= log(T/K) <= 4.5, computed with the AESOPUS code under the assumption of thermodynamic equilibrium (Marigo &_Aringer_2009). In comparison to the previous version AESOPUS 1.0, we updated and expanded molecular absorption to include 80 species, mostly using the recommended line lists currently available from the ExoMol and HITRAN databases. Furthermore, in light of a recent study, we revised the H- photodetachment cross section, added the free-free absorption of other negative ions of atoms and molecules, and updated the collision-induced absorption due to H2/H2, H2/H, H2/He, and H/He pairs. Using the new input physics, we computed tables of Rosseland mean opacities for several scaled-solar chemical compositions, including Magg et al. (2022)'s most recent one, as well as alpha-enhanced mixtures. The differences in opacity between the new AESOPUS 2.0 and the original AESOPUS 1.0 versions, as well as other sets of calculations, are discussed. The new opacities are released to the community via a dedicated web-page that includes both pre-computed tables for widely used chemical compositions, and a web-interface for calculating opacities on-the-fly for any abundance distribution.


title: Analysis of Microstate Organization During Emotional Events

abstract: Understanding the dynamics of emotional experience is an old problem. However, a clear understanding of the mechanism of emotional experience is still far away. In the presented work, we tried to address this problem using a well-established method called microstate analysis using multichannel electroencephalography (EEG). We recorded the brain activity of spontaneous emotional experiences while participants were watching multimedia emotional stimuli. The time duration where the participants spontaneously felt an emotion, we termed it an emotional event. Microstate segmentation is performed for all emotional events to calculate the set of microstates (MS). Followed by a comparison of calculated statistical parameters and transition probabilities for the emotional and non-emotional conditions. We found a set of MS (four MS) for emotional and non-emotional conditions that differ from each other. We observed that MS1 has a higher value of occurrence, duration and coverage for emotional conditions. In addition, the transition to MS1 for the emotional condition was higher. On the other hand, for non-emotion (or neutral) condition, transition to MS3 was higher. A set of MS related to neutral condition was source localized to brain regions involved in higher-level sensory feature processing. On the other hand, for emotional conditions, MS1 \& MS2 are localized to sensory feature processing regions, and MS3 \& MS4 are additionally localized to regions related to socio-emotional processing. Our results hint toward the constructionist mechanism, which has an asymmetric contribution from bottom-up and top-down processing during an emotional experience.


title: Anytime-Valid Linear Models and Regression Adjusted Causal Inference in Randomized Experiments

abstract: Linear regression adjustment is commonly used to analyse randomised controlled experiments due to its efficiency and robustness against model misspecification. Current testing and interval estimation procedures leverage the asymptotic distribution of such estimators to provide Type-I error and coverage guarantees that hold only at a single sample size. Here, we develop the theory for the anytime-valid analogues of such procedures, enabling linear regression adjustment in the sequential analysis of randomised experiments. We first provide sequential $F$-tests and confidence sequences for the parametric linear model, which provide time-uniform Type-I error and coverage guarantees that hold for all sample sizes. We then relax all linear model parametric assumptions in randomised designs and provide nonparametric model-free sequential tests and confidence sequences for treatment effects. This formally allows experiments to be continuously monitored for significance, stopped early, and safeguards against statistical malpractices in data collection. A particular feature of our results is their simplicity. Our test statistics and confidence sequences all emit closed-form expressions, which are functions of statistics directly available from a standard linear regression table. We illustrate our methodology with the sequential analysis of software A/B experiments at Netflix, performing regression adjustment with pre-treatment outcomes.


title: Zero-Shot Learners for Natural Language Understanding via a Unified Multiple Choice Perspective

abstract: We propose a new paradigm for zero-shot learners that is format agnostic, i.e., it is compatible with any format and applicable to a list of language tasks, such as text classification, commonsense reasoning, coreference resolution, and sentiment analysis. Zero-shot learning aims to train a model on a given task such that it can address new learning tasks without any additional training. Our approach converts zero-shot learning into multiple-choice tasks, avoiding problems in commonly used large-scale generative models such as FLAN. It not only adds generalization ability to models but also significantly reduces the number of parameters. Our method shares the merits of efficient training and deployment. Our approach shows state-of-the-art performance on several benchmarks and produces satisfactory results on tasks such as natural language inference and text classification. Our model achieves this success with only 235M parameters, which is substantially smaller than state-of-the-art models with billions of parameters. The code and pre-trained models are available at https://github.com/IDEA-CCNL/Fengshenbang-LM .


title: Importance Sampling for the Empirical Measure of Weakly Interacting Diffusions

abstract: We construct an importance sampling method for computing statistics related to rare events for weakly interacting diffusions. Standard Monte Carlo methods behave exponentially poorly with the number of particles in the system for such problems. Our scheme is based on subsolutions of a Hamilton-Jacobi-Bellman (HJB) Equation on Wasserstein Space which arises in the theory of mean-field (McKean-Vlasov) control. We identify conditions under which such a scheme is asymptotically optimal. In the process, we make connections between the large deviations principle for the empirical measure of weakly interacting diffusions, mean-field control, and the HJB Equation on Wasserstein Space. We also provide evidence, both analytical and numerical, that with sufficient regularity of the HJB Equation, our scheme can have vanishingly small relative error in the many particle limit.


title: Fast interrogation wavelength tuning for all-optical photoacoustic imaging

abstract: Optical detection of ultrasound for photoacoustic imaging provides large bandwidth and high sensitivity at high acoustic frequencies. Higher spatial resolutions can therefore be achieved using Fabry-P\'erot cavity sensors, as compared to conventional piezoelectric detection. However, fabrication constraints during deposition of the sensing polymer layer require a precise control of the interrogation beam wavelength to provide optimal sensitivity. This is commonly achieved by employing slowly tunable narrowband lasers as interrogation sources, hence limiting the acquisition speed. We propose instead to use a broadband source and a fast tunable acousto-optic filter to adjust the interrogation wavelength at each pixel within a few microseconds. We demonstrate the validity of this approach by performing photoacoustic imaging with a highly inhomogeneous Fabry-P\'erot sensor.


title: Squeezing Function on Infinitely Connected Planar Domain

abstract: We provide explicit expression of squeezing function for infinitely connected planar domain obtained by removing a convergent sequence of points from the unit disk converging to the boundary of unit disk. We also discuss Fridman invariant associated with this domain as well as some examples of squezzing functions corresponding to polydisk.


title: Kinetic models of Quantum Size Effect-directed nanocluster self-assembly in atomic corrals

abstract: Two simple kinetic models of Quantum Size Effect-directed nanocluster self-assembly in circular atomic corrals are discussed. The models correspond to an adsorption (either a physisorption or a chemisorption) and an adsorption-diffusion regimes that are typical at low and high temperatures, respectively. Small magnitudes of a variation of the electronic local density of states is shown to be the prime factor that impedes self-assembly in the latter regime.

categories: cond-mat.mes-hall cond-mat.mtrl-sci nlin.PS physics.atm-clus physics.comp-ph


title: Thermal radiative corrections to hyperfine structure of light hydrogen-like systems

abstract: In this work, we consider the thermal correction to the hyperfine interaction in hydrogen, deuterium, and the $^3$He$^+$ ion. This correction is effectively described by one-loop Feynman graphs in the framework of the quantum electrodynamics theory for bound states at a finite temperature. A simple analysis shows the importance of the obtained results for future prospects for measuring hyperfine splitting. In addition, the application for testing the time variation of fundamental constants is briefly discussed.


title: Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

abstract: A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper. A logical zonotope is constructed by XOR-ing a binary vector with a combination of other binary vectors called generators. Such a zonotope can represent up to 2^n binary vectors using only n generators. It is shown that logical operations over sets of binary vectors can be performed on the zonotopes' generators and, thus, significantly reduce the computational complexity of various logical operations (e.g., XOR, NAND, AND, OR, and semi-tensor products). Similar to traditional zonotopes' role in the formal verification of dynamical systems over real vector spaces, logical zonotopes can efficiently analyze discrete dynamical systems defined over binary vector spaces. We illustrate the approach and its ability to reduce the computational complexity in two use cases: (1) encryption key discovery of a linear feedback shift register and (2) safety verification of a road traffic intersection protocol.


title: Acute Triangulation of Constant Curvature Polygonal Complexes

abstract: We prove that every 2-dimensional polygonal complex, where each polygon is given a constant curvature metric and belongs to one of finitely many isometry classes can be triangulated using only acute simplices. There is no requirement on the complex to be finite or even locally finite.


title: On derived-indecomposable solutions of the Yang--Baxter equation

abstract: If $(X,r)$ is a finite non-degenerate set-theoretic solution of the Yang--Baxter equation, the additive group of the structure skew brace $G(X,r)$ is an $FC$-group, i.e. a group whose elements have finitely many conjugates. Moreover, its multiplicative group is virtually abelian, so it is also close to an $FC$-group itself. If one additionally assumes that the derived solution of $(X,r)$ is indecomposable, then for every element $b$ of $G(X,r)$ there are finitely many elements of the form $b*c$ and $c*b$, with $c\in G(X,r)$. This naturally leads to the study of a brace-theoretic analogue of the class of $FC$-groups. For this class of skew braces, the fundamental results and their connections with the solutions of the YBE are described: we prove that they have good torsion and radical theories and they behave well with respect to certain nilpotency concepts and finite generation.


title: Near-Optimal Performance of Stochastic Predictive Control

abstract: This article presents a performance analysis for stochastic predictive control (SPC) in linear systems with quadratic performance index and additive and multiplicative uncertainties. Under a finite support assumption, the problem can be cast as a finite-dimensional quadratic program, but the problem becomes quickly intractable as the problem size grows exponentially in the horizon length. SPC aims to compute approximate solutions by solving a sequence of problems with truncated prediction horizons and committing the solution in a receding-horizon fashion. While this approach is widely used in practice, its performance relative to the optimal solution is not well understood. This article reports for the first time a rigorous performance guarantee of SPC: Under stabilizability and detectability conditions, the dynamic regret of SPC is exponentially small in the prediction horizon length, allowing SPC to achieve near-optimal performance at a substantially reduced computational expense.


title: Heterogeneous Full-body Control of a Mobile Manipulator with Behavior Trees

abstract: Integrating the heterogeneous controllers of a complex mechanical system, such as a mobile manipulator, within the same structure and in a modular way is still challenging. In this work we extend our framework based on Behavior Trees for the control of a redundant mechanical system to the problem of commanding more complex systems that involve multiple low-level controllers. This allows the integrated systems to achieve non-trivial goals that require coordination among the sub-systems.


title: Towards Dynamic Fault Tolerance for Hardware-Implemented Artificial Neural Networks: A Deep Learning Approach

abstract: The functionality of electronic circuits can be seriously impaired by the occurrence of dynamic hardware faults. Particularly, for digital ultra low-power systems, a reduced safety margin can increase the probability of dynamic failures. This work investigates a deep learning approach to mitigate dynamic fault impact for artificial neural networks. As a theoretic use case, image compression by means of a deep autoencoder is considered. The evaluation shows a linear dependency of the test loss to the fault injection rate during testing. If the number of training epochs is sufficiently large, our approach shows more than 2% reduction of the test loss compared to a baseline network without the need of additional hardware. At the absence of faults during testing, our approach also decreases the test loss compared to reference networks.


title: Quantitative coarse graining of laminar fluid flow penetration in rough boundaries

abstract: The interaction between a fluid and a wall is described with a certain boundary condition for the fluid velocity at the wall. To understand how fluids behave near a rough wall, the fluid velocity at every point of the rough surface may be provided. This approach requires detailed knowledge of, and likely depends strongly on the roughness. Another approach of modeling the boundary conditions of a rough wall is to coarse grain and extract a penetration depth over which on average the fluid penetrates into the roughness. In this work we show that for a broad range of periodic roughness patterns and relative flow velocities, a universal penetration depth function can be obtained. We obtain these results with experiments and complementary numerical simulations. Our results show that wall roughness boundary conditions can be captured with an average ``slip length'' and so indicate that surface patterning yields extensive control over wall slip.


title: CTCBERT: Advancing Hidden-unit BERT with CTC Objectives

abstract: In this work, we present a simple but effective method, CTCBERT, for advancing hidden-unit BERT (HuBERT). HuBERT applies a frame-level cross-entropy (CE) loss, which is similar to most acoustic model training. However, CTCBERT performs the model training with the Connectionist Temporal Classification (CTC) objective after removing duplicated IDs in each masked region. The idea stems from the observation that there can be significant errors in alignments when using clustered or aligned IDs. CTC learns alignments implicitly, indicating that learning with CTC can be more flexible when misalignment exists. We examine CTCBERT on IDs from HuBERT Iter1, HuBERT Iter2, and PBERT. The CTC training brings consistent improvements compared to the CE training. Furthermore, when loading blank-related parameters during finetuning, slight improvements are observed. Evaluated on the Librispeech 960-100h setting, the relative WER improvements of CTCBERT are 2%-11% over HuBERT and PERT on test-other data.


title: NormSAGE: Multi-Lingual Multi-Cultural Norm Discovery from Conversations On-the-Fly

abstract: Norm discovery is important for understanding and reasoning about the acceptable behaviors and potential violations in human communication and interactions. We introduce NormSage, a framework for addressing the novel task of conversation-grounded multi-lingual, multi-cultural norm discovery, based on language model prompting and self-verification. NormSAGE leverages the expressiveness and implicit knowledge of the pretrained GPT-3 language model backbone, to elicit knowledge about norms through directed questions representing the norm discovery task and conversation context. It further addresses the risk of language model hallucination with a self-verification mechanism ensuring that the norms discovered are correct and are substantially grounded to their source conversations. Evaluation results show that our approach discovers significantly more relevant and insightful norms for conversations on-the-fly compared to baselines (>10+% in Likert scale rating). The norms discovered from Chinese conversation are also comparable to the norms discovered from English conversation in terms of insightfulness and correctness (<3% difference). In addition, the culture-specific norms are promising quality, allowing for 80% accuracy in culture pair human identification. Finally, our grounding process in norm discovery self-verification can be extended for instantiating the adherence and violation of any norm for a given conversation on-the-fly, with explainability and transparency. NormSAGE achieves an AUC of 95.4% in grounding, with natural language explanation matching human-written quality.


title: AMC 12 atomic mass compilation data extrapolated for atomic masses of nuclei far from the valley of stability

abstract: The experimental mass data from the Atomic Mass Compilation - 2012 (AMC12) has been analyzed for two-neutron separation energies (S$_{2n}$), two-proton separation energies (S$_{2p}$), double-beta decay energies (Q$_{2\beta^-}$), and four-beta decay energies (Q$_{4\beta^-}$) and plotted against neutron number and mass number, respectively. A new weighted slope method of extrapolation, tested for known and new mass measurements, has been used to obtain the extrapolated mass values with better precision for more than 1100 nuclei far from the valley of stability, out of which more than 100 are being reported for the first time. A comparison has been made with five of the popular mass models with reference to experimental extrapolated masses from the present work and the Atomic Mass Evaluation 2016 (AME16). The extrapolated experimental atomic mass data will be very useful for both experimentalists and mass-model theoreticians, as well as in simulations of astrophysical r-processes.


title: On some optimality conditions for a class of problems in mathematical programming with equilibrium constraints

abstract: This paper considers mathematical programs, whose constraints are expressed by a parameterized vector equilibrium problem. The latter is a well recognized framework, which is able to cover multicriteria optimization, vector variational inequalities and complementarity problems. As the solutions to vector equilibrium problems are here intended in a strong sense, the consequent MPEC problems result in a class still little explored by the existing literature. Some necessary optimality conditions for such programs are established following a penalization approach. To derive and express these conditions, concepts and tools of nonsmooth analysis are employed. In treating equilibrium constraints, by techniques of variational analysis some error bounds are obtained, which may be of independent interest.


title: The Impact of Task Underspecification in Evaluating Deep Reinforcement Learning

abstract: Evaluations of Deep Reinforcement Learning (DRL) methods are an integral part of scientific progress of the field. Beyond designing DRL methods for general intelligence, designing task-specific methods is becoming increasingly prominent for real-world applications. In these settings, the standard evaluation practice involves using a few instances of Markov Decision Processes (MDPs) to represent the task. However, many tasks induce a large family of MDPs owing to variations in the underlying environment, particularly in real-world contexts. For example, in traffic signal control, variations may stem from intersection geometries and traffic flow levels. The select MDP instances may thus inadvertently cause overfitting, lacking the statistical power to draw conclusions about the method's true performance across the family. In this article, we augment DRL evaluations to consider parameterized families of MDPs. We show that in comparison to evaluating DRL methods on select MDP instances, evaluating the MDP family often yields a substantially different relative ranking of methods, casting doubt on what methods should be considered state-of-the-art. We validate this phenomenon in standard control benchmarks and the real-world application of traffic signal control. At the same time, we show that accurately evaluating on an MDP family is nontrivial. Overall, this work identifies new challenges for empirical rigor in reinforcement learning, especially as the outcomes of DRL trickle into downstream decision-making.


title: Posterior Regularized Bayesian Neural Network Incorporating Soft and Hard Knowledge Constraints

abstract: Neural Networks (NNs) have been widely {used in supervised learning} due to their ability to model complex nonlinear patterns, often presented in high-dimensional data such as images and text. However, traditional NNs often lack the ability for uncertainty quantification. Bayesian NNs (BNNS) could help measure the uncertainty by considering the distributions of the NN model parameters. Besides, domain knowledge is commonly available and could improve the performance of BNNs if it can be appropriately incorporated. In this work, we propose a novel Posterior-Regularized Bayesian Neural Network (PR-BNN) model by incorporating different types of knowledge constraints, such as the soft and hard constraints, as a posterior regularization term. Furthermore, we propose to combine the augmented Lagrangian method and the existing BNN solvers for efficient inference. The experiments in simulation and two case studies about aviation landing prediction and solar energy output prediction have shown the knowledge constraints and the performance improvement of the proposed model over traditional BNNs without the constraints.


title: Probing gluon TMDs with reconstructed and tagged heavy flavor hadron pairs at EIC

abstract: Study of the transverse structure of the proton is one of the major physics goals of the upcoming Electron Ion Collider (EIC). The gluon transverse momentum dependent distributions (TMD) form an essential focus of this effort and are important towards understanding the angular momentum contribution to proton spin as well as QCD factorization. However, very limited experimental constraints on the gluon TMD exist currently. As the heavy quark production in lepton-nucleon DIS gets a dominant contribution from the photon-gluon-fusion process, heavy quark production makes an attractive tool to probe gluon distributions in nucleons. In this paper we present a study of heavy flavor hadron pair reconstruction at a future EIC detector with MAPS based inner tracking and vertexing subsystems to constrain gluon TMD. We utilize the excellent track pointing resolution provided by the detector to exclusively reconstruct heavy flavor hadron pairs via their hadronic decay channels and also to develop a heavy flavor hadron tagging algorithm. Statistical uncertainty projections on azimuthal asymmetries corresponding to gluon TMD at the EIC is evaluated. The heavy flavor tagging is found to substantially enhance the purity of heavy flavor hadron pair selection, and the statistical precision of the measurement compared to that from exclusive reconstruction. The correlation between the azimuthal angle of the transverse momentum of the gluon initiating the process and that of the corresponding heavy flavor hadron pair was also studied and found to be well correlated. This study opens up heavy flavor hadron pair measurements as an attractive channel to access gluon TMD at the EIC.


title: Robust, General, and Low Complexity Acoustic Scene Classification Systems and An Effective Visualization for Presenting a Sound Scene Context

abstract: In this paper, we present a comprehensive analysis of Acoustic Scene Classification (ASC), the task of identifying the scene of an audio recording from its acoustic signature. In particular, we firstly propose an inception-based and low footprint ASC model, referred to as the ASC baseline. The proposed ASC baseline is then compared with benchmark and high-complexity network architectures of MobileNetV1, MobileNetV2, VGG16, VGG19, ResNet50V2, ResNet152V2, DenseNet121, DenseNet201, and Xception. Next, we improve the ASC baseline by proposing a novel deep neural network architecture which leverages residual-inception architectures and multiple kernels. Given the novel residual-inception (NRI) model, we further evaluate the trade off between the model complexity and the model accuracy performance. Finally, we evaluate whether sound events occurring in a sound scene recording can help to improve ASC accuracy, then indicate how a sound scene context is well presented by combining both sound scene and sound event information. We conduct extensive experiments on various ASC datasets, including Crowded Scenes, IEEE AASP Challenge on Detection and Classification of Acoustic Scenes and Events (DCASE) 2018 Task 1A and 1B, 2019 Task 1A and 1B, 2020 Task 1A, 2021 Task 1A, 2022 Task 1. The experimental results on several different ASC challenges highlight two main achievements; the first is to propose robust, general, and low complexity ASC systems which are suitable for real-life applications on a wide range of edge devices and mobiles; the second is to propose an effective visualization method for comprehensively presenting a sound scene context.


title: Automated quantum error mitigation based on probabilistic error reduction

abstract: Current quantum computers suffer from a level of noise that prohibits extracting useful results directly from longer computations. The figure of merit in many near-term quantum algorithms is an expectation value measured at the end of the computation, which experiences a bias in the presence of hardware noise. A systematic way to remove such bias is probabilistic error cancellation (PEC). PEC requires a full characterization of the noise and introduces a sampling overhead that increases exponentially with circuit depth, prohibiting high-depth circuits at realistic noise levels. Probabilistic error reduction (PER) is a related quantum error mitigation method that systematically reduces the sampling overhead at the cost of reintroducing bias. In combination with zero-noise extrapolation, PER can yield expectation values with an accuracy comparable to PEC.Noise reduction through PER is broadly applicable to near-term algorithms, and the automated implementation of PER is thus desirable for facilitating its widespread use. To this end, we present an automated quantum error mitigation software framework that includes noise tomography and application of PER to user-specified circuits. We provide a multi-platform Python package that implements a recently developed Pauli noise tomography (PNT) technique for learning a sparse Pauli noise model and exploits a Pauli noise scaling method to carry out PER.We also provide software tools that leverage a previously developed toolchain, employing PyGSTi for gate set tomography and providing a functionality to use the software Mitiq for PER and zero-noise extrapolation to obtain error-mitigated expectation values on a user-defined circuit.


title: Rock Neutron Backgrounds from FNAL Neutrino Beamlines in the $\nu$BDX-DRIFT Detector

abstract: The $\nu$BDX-DRIFT collaboration seeks to detect low-energy nuclear recoils from CE$\nu$NS or BSM interactions at FNAL. Backgrounds due to rock neutrons are an important concern. We present a~\texttt{GENIE} and~\texttt{GEANT4} based model to estimate backgrounds from rock neutrons produced in neutrino-nucleus interactions within the rock walls surrounding the underground halls. This model was bench-marked against the $2009$ COUPP experiment performed in the MINOS hall in the NuMI neutrino beam, and agreement is found between experimental results and the modeled result to within $30\%$. Working from this validated model, a similar two-stage simulation was performed to estimate recoil backgrounds in the $\nu$BDX-DRIFT detector across several beamlines. In the first stage utilizing~\texttt{GEANT4}, neutrons were tallied exiting the walls of a rectangular underground hall utilizing four different neutrino beam configurations. These results are presented for use by other underground experiments requiring estimations of their rock neutron backgrounds. For $\nu$BDX-DRIFT, the second stage propagated neutrons from the walls and recorded energy deposited within a scintillator veto surrounding the detector and nuclear recoils within the detector's fiducial volume. The directional signal from the $\nu$BDX-DRIFT detector allows additional background subtraction. A sample calculation of a $10\,$m$^3\cdot\,$yr exposure to the NuMI Low Energy (LE) beam configuration shows a CE$\nu$NS signal-to-noise ratio of $\sim$2.5.


title: Skynet's New Observing Mode: The Campaign Manager

abstract: Built in 2004, the Skynet robotic telescope network originally consisted of six 0.4 m telescopes located at the Cerro-Tololo Inter-American Observatory in the Chilean Andes. The network was designed to carry out simultaneous multi-wavelength observations of gamma-ray bursts (GRBs) when they are only tens of seconds old. To date, the network has been expanded to ~20 telescopes, including a 20 m radio telescope, that span four continents and five countries. The Campaign Manager (CM) is a new observing mode that has been developed for Skynet. Available to all Skynet observers, the CM semi-autonomously and indefinitely scales and schedules exposures on the observer's behalf while allowing for modification to scaling parameters in real time. The CM is useful for follow up to various transient phenomena including gravitational-wave events, GRB localizations, young supernovae, and eventually, sufficiently bright Argus Optical Array and Large Synoptic Survey Telescope events.


title: Prime Counting Function Identity

abstract: In this paper, a new formula for {\pi}^(2)(N) is formulated, it is a function that counts the number of semi-primes not exceeding a given number N. A semi-prime is a natural number that is the product of precisely two prime numbers, the two primes in the product may equal each other. Semi-prime numbers are also a case of almost primes. Since a formula for this is already known, a new identity that uses the prime counting function is created by equating the two functions.


title: Theoretical antiferromagnetism of ordered face-centered cubic Cr-Ni alloys

abstract: Contrary to prior calculations, the Ni-rich ordered structures of the Cr-Ni alloy system are found to be antiferromagnetic under semi-local density-functional theory. The optimization of local magnetic moments significantly increases the driving force for the formation of CrNi$_2$, the only experimentally observed intermetallic phase. This structure's ab initio magnetism appears well described by a Heisenberg Hamiltonian with longitudinal spin fluctuations; itinerant Cr moments are induced only by the strength of exchange interactions. The role of magnetism at temperature is less clear and several scenarios are considered based on a review of experimental literature, specifically a failure of the theory, the existence of an overlooked magnetic phase transition, and the coupling of antiferromagnetism to chemical ordering. Implications for related commercial and high-entropy alloys are discussed for each case.


title: LoS MIMO-Arrays vs. LoS MIMO-Surfaces

abstract: The wireless research community has expressed major interest in the sub-terahertz band for enabling mobile communications in future wireless networks. The sub-terahertz band offers a large amount of available bandwidth and, therefore, the promise to realize wireless communications at optical speeds. At such high frequency bands, the transceivers need to have larger apertures and need to be deployed more densely than at lower frequency bands. These factors proportionally increase the far-field limit and the spherical curvature of the electromagnetic waves cannot be ignored anymore. This offers the opportunity to realize spatial multiplexing even in line-of-sight channels. In this paper, we overview and compare existing design options to realize high-rank transmissions in line-of-sight channels.


title: Higher Tur\'{a}n inequalities for the plane partition function

abstract: Here we study the roots of the doubly infinite family of Jensen polynomials $J_{\mathrm{PL}}^{d,n}(x)$ associated to MacMahon's plane partition function $\mathrm{PL}(n)$. Recently, Ono, Pujahari, and Rolen proved that $\mathrm{PL}(n)$ is log-concave for all $n\geq 12$, which is equivalent to the polynomials $J_{\mathrm{PL}}^{2,n}(x)$ having real roots. Moreover, they proved, for each $d\geq 2$, that the $J_{\mathrm{PL}}^{d,n}(x)$ have all real roots for sufficiently large $n$. Here we make their result effective. Namely, if $N_{\mathrm{PL}}(d)$ is the minimal integer such that $J_{\mathrm{PL}}^{d,n}(x)$ has all real roots for all $n\geq N_{\mathrm{PL}}(d)$, then we show that $$N_{\mathrm{PL}}(d)\leq 279928\cdot d(d-1)\cdot \left(6 d^3\cdot (22.2)^{\frac{3(d-1)}{2}}\right)^{2d} e^{\frac{\Gamma(2d^2)}{(2\pi)^{2d+2}}} .$$ Moreover, using the ideas that led to the above inequality, we explicitly prove that $N_{\mathrm{PL}}(3)=26, N_{\mathrm{PL}}(4)=46, N_{\mathrm{PL}}(5)=73, N_{\mathrm{PL}}(6)=102$ and $N_{\mathrm{PL}}(7)=136$.


title: M31N 1926-07c: A Recurrent Nova in M31 with a 2.8 Year Recurrence Time

abstract: The M31 recurrent nova M31N 1926-07c has had five recorded eruptions. Well-sampled light curves of the two most recent outbursts, in January of 2020 (M31N 2020-01b) and September 2022 (M31N 2022-09a), are presented showing that the photometric evolution of the two events were quite similar, with peak magnitudes of $R=17.2\pm0.1$ and $R=17.1\pm0.1$, and $t_2$ times of $9.7\pm0.9$ and $8.1\pm0.5$ days for the 2020 and 2022 eruptions, respectively. After considering the dates of the four most recent eruptions (where the cycle count is believed to be known), a mean recurrence interval of $\langle P_\mathrm{rec}\rangle=2.78\pm0.03$ years is found, establishing that M31N 1926-07c has one of the shortest recurrence times known.


title: Modeling the Mutual Coupling of Reconfigurable Metasurfaces

abstract: Recently, a circuits-based approach for modeling the mutual coupling of reconfigurable surfaces, which comprise sub-wavelength spaced passive scattering elements coupled with electronic circuits for enabling the reconfiguration of the surface, has been introduced. The approach is based on a finite-length discrete dipole representation of a reconfigurable surface, and on the assumption that the current distribution on each thin wire dipole is a sinusoidal function. Under these assumptions, the voltages at the ports of a multi-antenna receiver can be formulated in terms of the voltage generators at a multi-antenna transmitter through a transfer function matrix that explicitly depends on the mutual coupling and the tuning circuits through the mutual impedances between every pair of thin wire dipoles. In currently available works, the mutual impedances are formulated in an integral form. In this paper, we show that they can be formulated in a closed-form expression in terms of exponential integral functions.


title: Twin-width of Planar Graphs is at most 8, and some Related Bounds

abstract: Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomass\'e and Watrigant [FOCS 2020], and has interesting applications in the areas of logic on graphs and in parameterized algorithmics. Very briefly, the essence of twin-width is in a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. While for many natural graph classes it is known that their twin-width is bounded, published upper bounds on the twin-width in non-trivial cases are very often "astronomically large". We focus on planar graphs, which are known to have bounded twin-width already since the introduction of it, but it took some time for the first explicit "non-astronomical" upper bounds to come. Namely, in the order of preprint appearance, it was the bound of at most 183 by Jacob and Pilipczuk [arXiv, January 2022], and 583 by Bonnet, Kwon and Wood [arXiv, February 2022]. Subsequent arXiv manuscripts in 2022 improved the bound down to 37 (Bekos et al.), 11 and 9 (both by Hlin\v{e}n\'y). We further elaborate on the approach used in the latter manuscripts, proving that the twin-width of every planar graph is at most 8, and construct a witnessing contraction sequence in linear time. Note that the currently best lower-bound planar example is of twin-width 7, by Kr\'al and Lamaison [arXiv, September 2022]. We also prove small explicit upper bounds on the twin-width of bipartite planar and 1-planar graphs (6 and 16), and of map graphs (38). The common denominator of all these results is the use of a novel specially crafted recursive decomposition of planar graphs, which may be found useful also in other areas.


title: Search for gravitational-neutrino correlations on ground-based detectors

abstract: The problem of joint data processing from ground-based gravitational and neutrino detectors is considered in order to increase the detection efficiency of collapsing objects in the Galaxy. The development of the "neutrino - gravitational correlation" algorithm is carried out within the framework of the theory of optimal filtration as applied to the well-known OGRAN and BUST facilities located at the BNO INR RAS. The experience of analyzing neutrino and gravitational data obtained during the outburst of supernova SN1987A is used. Sequential steps of the algorithm are presented, formulas for estimating the statistical efficiency of a two-channel recorder are obtained.


title: Equivariant enumerative geometry

abstract: We formulate an equivariant conservation of number, which proves that a generalized Euler number of a complex equivariant vector bundle can be computed as a sum of local indices of an arbitrary section. This involves an expansion of the Pontryagin-Thom transfer in the equivariant setting. We leverage this result to commence a study of enumerative geometry in the presence of a group action. As an illustration of the power of this machinery, we prove that any smooth complex cubic surface defined by a symmetric polynomial has 27 lines whose orbit types under the $S_4$-action on $\mathbb{C}P^3$ are given by $[S_4/C_2]+[S_4/C_2']+[S_4/D_8]$, where $C_2$ and $C_2'$ denote two non-conjugate cyclic subgroups of order two. As a consequence we demonstrate that a real symmetric cubic surface can only contain 3 or 27 lines.


title: Invariant measures in non-conformal fibered systems with singularities

abstract: We study invariant measures and thermodynamic formalism for a class of endomorphisms $F_T$ which are only piecewise differentiable on countably many pieces and non-conformal. The endomorphism $F_T$ has parametrized countably generated limit sets in stable fibers. We prove a Global Volume Lemma for $F_T$ implying that the projections of equilibrium measures are exact dimensional on a non-compact global basic set $J_T$. A dimension formula for these global measures is obtained by using the Lyapunov exponents and marginal entropies. Then, we study the equilibrium measures of geometric potentials, and we prove that the dimensions of the associated measures in fibers depend real-analytically on the parameter s. Moreover, we establish a Variational Principle for dimension in fibers.


title: Attention-Based Audio Embeddings for Query-by-Example

abstract: An ideal audio retrieval system efficiently and robustly recognizes a short query snippet from an extensive database. However, the performance of well-known audio fingerprinting systems falls short at high signal distortion levels. This paper presents an audio retrieval system that generates noise and reverberation robust audio fingerprints using the contrastive learning framework. Using these fingerprints, the method performs a comprehensive search to identify the query audio and precisely estimate its timestamp in the reference audio. Our framework involves training a CNN to maximize the similarity between pairs of embeddings extracted from clean audio and its corresponding distorted and time-shifted version. We employ a channel-wise spectral-temporal attention mechanism to better discriminate the audio by giving more weight to the salient spectral-temporal patches in the signal. Experimental results indicate that our system is efficient in computation and memory usage while being more accurate, particularly at higher distortion levels, than competing state-of-the-art systems and scalable to a larger database.


title: On the connectedness of $p$-adic period domains

abstract: We prove that all $p$-adic period domains (and their non-minuscule analogues) are geometrically connected. This answers a question of Hartl [Har13] and has interesting consequences to the geometry of Shimura and local Shimura varieties.


title: Quantum solutions of a nonlinear Schrodinger equation

abstract: In the present paper, we precisely conduct a q-calculus method for the numerical solutions of PDEs. A nonlinear Schrodinger equation is considered. Instead of the classical discretization methods we consider subdomains according to q-calculus, and provide an approximate solution due to a specific value of the parameter q. Error estimates show that q-calculus may produce efficient numerical solutions for PDEs.


title: Long Horizon Planning through Contact using Discrete Search and Continuous Optimization

abstract: Robots often have to perform manipulation tasks in close proximity to people. As such, it is desirable to use a robot arm that has limited joint torques to not injure the nearby person and interacts with the environment to explore new possibilities for completing a task. By bracing against the environment, robots can expand their reachable workspace, which would otherwise be inaccessible due to exceeding actuator torque limits, and accomplish tasks beyond their design specifications. However, motion planning for complex contact-rich tasks requires reasoning through the permutations of different possible contact modes and bracing locations, which grow exponentially with the number of contact points and links in the robot. To address this combinatorial problem, we developed INSAT, which interleaves graph search to explore the manipulator joint configuration and the contact mode space with incremental trajectory optimizations seeded by neighborhood solutions to find a dynamically feasible trajectory through contact. In this paper, we present recent additions to the INSAT algorithm that improve its runtime performance. In particular, we propose Lazy INSAT with reduced optimization rejection that systematically procrastinates its calls to trajectory optimization while reusing feasible solutions that violate boundary constraints. The algorithm is evaluated on a heavy payload transportation task in simulation and on physical hardware. In simulation, we show that Lazy INSAT can discover solutions for tasks that cannot be accomplished within its design limits and without interacting with the environment. In comparison to executing the same trajectory without environment support, we demonstrate that the utilization of bracing contacts reduces the overall torque required to execute the trajectory.


title: Electric-Magnetic Duality in a Class of $G_2$-Compactifications of M-theory

abstract: We study electric-magnetic duality in compactifications of M-theory on twisted connected sum (TCS) $G_2$ manifolds via duality with F-theory. Specifically, we study the physics of the D3-branes in F-theory compactified on a Calabi-Yau fourfold $Y$, dual to a compactification of M-theory on a TCS $G_2$ manifold $X$. $\mathcal{N}=2$ supersymmetry is restored in an appropriate geometric limit. In that limit, we demonstrate that the dual of D3-branes probing seven-branes corresponds to the shrinking of certain surfaces and curves, yielding light particles that may carry both electric and magnetic charges. We provide evidence that the Minahan-Nemeschansky theories with $E_n$ flavor symmetry may be realized in this way. The $SL(2,\mathbb{Z})$ monodromy of the 3/7-brane system is dual to a Fourier-Mukai transform of the dual IIA/M-theory geometry in this limit, and we extrapolate this monodromy action to the global compactification. Away from the limit, the theory is broken to $\mathcal{N}=1$ supersymmetry by a D-term.


title: A Note On $\ell$-Rauzy Graphs for the Infinite Fibonacci Word

abstract: The $\ell$-Rauzy graph of order $k$ for any infinite word is a directed graph in which an arc $(v_1,v_2)$ is formed if the concatenation of the word $v_1$ and the suffix of $v_2$ of length $k-\ell$ is a subword of the infinite word. In this paper, we consider one of the important aperiodic recurrent words, the infinite Fibonacci word for discussion. We prove a few basic properties of the $\ell$-Rauzy graph of the infinite Fibonacci word. We also prove that the $\ell$-Rauzy graphs for the infinite Fibonacci word are strongly connected.


title: 3D Printing via material extrusion on an acoustic air bed

abstract: Additive manufacturing, such as 3D printing, offers unparalleled opportunities for rapid prototyping of complex three-dimensional objects, but typically requires simultaneous building of solid supports to minimize deformation and ensure contact with the printing surface. Here, we theoretically and experimentally investigate the concept of material extrusion on an "air bed", a judiciously engineered acoustic field that supports the material by contactless radiation force. We study the dynamics of polylactic acid filament (PLA), a commonly used material in 3D printing, as it interacts with the acoustic potential during extrusion. We develop numerical models to determine optimal transducer arrangements and printing conditions, and we build and demonstrate a concept prototype that integrates a commercial 3D printer and open-source control code. Our results point towards alternative, contactless support mechanisms with potential benefits such as fewer surface defects, less material waste, lower cost, and reduced manufacturing time. These features could become crucial as additive manufacturing continues to evolve into a foundational tool in engineering and beyond.


title: Thermodynamic and electron-transport properties of Ca3Ru2O7 from first-principles phonon calculations and Boltzmann transport theory

abstract: This work demonstrates a first-principles-based approach to obtaining finite temperature thermal and electronic transport properties which can be employed to model and understand mesoscale structural evolution during electronic, magnetic, and structural phase transitions. A computationally tractable model was introduced to estimate the temperature dependence of the electron relaxation time. The model is applied to Ca3Ru2O7 with a focus on understanding its electrical resistivity across the electronic phase transition at 48 K. A quasiharmonic phonon approach to the lattice vibrations was employed to account for thermal expansion while the Boltzmann transport theory including spin-orbit coupling was used to calculate the electron-transport properties, including the temperature dependence of electrical conductivity.


title: Psychophysical-Score: A Behavioral Measure for Assessing the Biological Plausibility of Visual Recognition Models

abstract: For the last decade, convolutional neural networks (CNNs) have vastly superseded their predecessors in nearly all vision tasks in artificial intelligence, including object recognition. However, despite abundant advancements, they continue to pale in comparison to biological vision. This chasm has prompted the development of biologically-inspired models that have attempted to mimic the human visual system, primarily at a neural level, which is evaluated using standard dataset benchmarks. However, more work is needed to understand how these models perceive the visual world. This article proposes a state-of-the-art procedure that generates a new metric, Psychophysical-Score, which is grounded in visual psychophysics and is capable of reliably estimating perceptual responses across numerous models -- representing a large range in complexity and biological inspiration. We perform the procedure on twelve models that vary in degree of biological inspiration and complexity, we compare the results against the aggregated results of 2,390 Amazon Mechanical Turk workers who together provided ~2.7 million perceptual responses. Each model's Psychophysical-Score is compared against the state-of-the-art neural activity-based metric, Brain-Score. Our study indicates that models with a high correlation to human perceptual behavior also have a high correlation with the corresponding neural activity.


title: Mapping gas around massive galaxies: cross-correlation of DES Y3 galaxies and Compton-$y$-maps from SPT and Planck

abstract: We cross-correlate positions of galaxies measured in data from the first three years of the Dark Energy Survey with Compton-$y$-maps generated using data from the South Pole Telescope (SPT) and the {\it Planck} mission. We model this cross-correlation measurement together with the galaxy auto-correlation to constrain the distribution of gas in the Universe. We measure the hydrostatic mass bias or, equivalently, the mean halo bias-weighted electron pressure $\langle b_{h}P_{e}\rangle$, using large-scale information. We find $\langle b_{h}P_{e}\rangle$ to be $[0.16^{+0.03}_{-0.04},0.28^{+0.04}_{-0.05},0.45^{+0.06}_{-0.10},0.54^{+0.08}_{-0.07},0.61^{+0.08}_{-0.06},0.63^{+0.07}_{-0.08}]$ meV cm$^{-3}$ at redshifts $z \sim [0.30, 0.46, 0.62,0.77, 0.89, 0.97]$. These values are consistent with previous work where measurements exist in the redshift range. We also constrain the mean gas profile using small-scale information, enabled by the high-resolution of the SPT data. We compare our measurements to different parametrized profiles based on the cosmo-OWLS hydrodynamical simulations. We find that our data are consistent with the simulation that assumes an AGN heating temperature of $10^{8.5}$K but are incompatible with the model that assumes an AGN heating temperature of $10^{8.0}$K. These comparisons indicate that the data prefer a higher value of electron pressure than the simulations within $r_{500c}$ of the galaxies' halos.


title: SUPERB @ SLT 2022: Challenge on Generalization and Efficiency of Self-Supervised Speech Representation Learning

abstract: We present the SUPERB challenge at SLT 2022, which aims at learning self-supervised speech representation for better performance, generalization, and efficiency. The challenge builds upon the SUPERB benchmark and implements metrics to measure the computation requirements of self-supervised learning (SSL) representation and to evaluate its generalizability and performance across the diverse SUPERB tasks. The SUPERB benchmark provides comprehensive coverage of popular speech processing tasks, from speech and speaker recognition to audio generation and semantic understanding. As SSL has gained interest in the speech community and showed promising outcomes, we envision the challenge to uplevel the impact of SSL techniques by motivating more practical designs of techniques beyond task performance. We summarize the results of 14 submitted models in this paper. We also discuss the main findings from those submissions and the future directions of SSL research.


title: Tracing Semantic Variation in Slang

abstract: The meaning of a slang term can vary in different communities. However, slang semantic variation is not well understood and under-explored in the natural language processing of slang. One existing view argues that slang semantic variation is driven by culture-dependent communicative needs. An alternative view focuses on slang's social functions suggesting that the desire to foster semantic distinction may have led to the historical emergence of community-specific slang senses. We explore these theories using computational models and test them against historical slang dictionary entries, with a focus on characterizing regularity in the geographical variation of slang usages attested in the US and the UK over the past two centuries. We show that our models are able to predict the regional identity of emerging slang word meanings from historical slang records. We offer empirical evidence that both communicative need and semantic distinction play a role in the variation of slang meaning yet their relative importance fluctuates over the course of history. Our work offers an opportunity for incorporating historical cultural elements into the natural language processing of slang.


title: A primer on data-driven modeling of complex social systems

abstract: Traffic jams on roadways, echo chambers on social media, crowds of moving pedestrians, and opinion dynamics during elections are all complex social systems. These applications may seem disparate, but some of the questions that they motivate are similar from a mathematical perspective. Across these examples, researchers seek to uncover how individual agents -- whether drivers, Twitter accounts, pedestrians, or voters -- are interacting. By better understanding these interactions, mathematical modelers can make predictions about the group-level features that will emerge when agents alter their behavior. In this tutorial, which is based on the lecture that I gave at the 2021 American Mathematical Society Short Course, I introduce some of the terms, methods, and choices that arise when building such data-driven models. I discuss the differences between models that are statistical or mathematical, static or dynamic, spatial or non-spatial, discrete or continuous, and phenomenological or mechanistic. For concreteness, I also describe models of two complex systems, election dynamics and pedestrian-crowd movement, in more detail. With a conceptual approach, I broadly highlight some of the challenges that arise when building and calibrating models, choosing complexity, and working with quantitative and qualitative data.


title: Stability conditions on non-commutative curves

abstract: We prove that any non-commutative smooth projective variety with a Bridgeland stability condition of dimension less than $\frac{6}{5}$ must be a smooth projective curve. As a consequence, we deduce the non-existence of such categories with dimension in the interval $(1,\frac{6}{5})$. Moreover, we prove a sharp reconstruction result for smooth projective curves of higher genus using the moduli space of stable objects in a category of dimension $1$, and deduce a structural result for their semi-orthogonal decompositions.


title: Remarks on the Bondal quiver

abstract: We study an admissible subcategory of the Bondal quiver which conjecturally does not admit any Bridgeland stability conditions. Specifically, we prove that its Serre functor coincides with the spherical twist associated with a $3$-spherical object. As a consequence, we obtain a classification of the spherical objects, deduce the non-existence of Serre-invariant stability conditions, and construct a natural spherical functor from its structure as a categorical resolution of the nodal cubic curve.


title: Design-Based Confidence Sequences: A General Approach to Risk Mitigation in Online Experimentation

abstract: Randomized experiments have become the standard method for companies to evaluate the performance of new products or services. In addition to augmenting managers' decision-making, experimentation mitigates risk by limiting the proportion of customers exposed to innovation. Since many experiments are on customers arriving sequentially, a potential solution is to allow managers to "peek" at the results when new data becomes available and stop the test if the results are statistically significant. Unfortunately, peeking invalidates the statistical guarantees for standard statistical analysis and leads to uncontrolled type-1 error. Our paper provides valid design-based confidence sequences, sequences of confidence intervals with uniform type-1 error guarantees over time for various sequential experiments in an assumption-light manner. In particular, we focus on finite-sample estimands defined on the study participants as a direct measure of the incurred risks by companies. Our proposed confidence sequences are valid for a large class of experiments, including multi-arm bandits, time series, and panel experiments. We further provide a variance reduction technique incorporating modeling assumptions and covariates. Finally, we demonstrate the effectiveness of our proposed approach through a simulation study and three real-world applications from Netflix. Our results show that by using our confidence sequence, harmful experiments could be stopped after only observing a handful of units; for instance, an experiment that Netflix ran on its sign-up page on 30,000 potential customers would have been stopped by our method on the first day before 100 observations.


title: Evaluating Guiding Spaces for Motion Planning

abstract: Randomized sampling based algorithms are widely used in robot motion planning due to the problem's intractability, and are experimentally effective on a wide range of problem instances. Most variants do not sample uniformly at random, and instead bias their sampling using various heuristics for determining which samples will provide more information, or are more likely to participate in the final solution. In this work, we define the \emph{motion planning guiding space}, which encapsulates many seemingly distinct prior works under the same framework. In addition, we suggest an information theoretic method to evaluate guided planning which places the focus on the quality of the resulting biased sampling. Finally, we analyze several motion planning algorithms in order to demonstrate the applicability of our definition and its evaluation.


title: Chaotic dynamics of string around the Bardeen-AdS black holes surrounded by quintessence dark energy

abstract: We study the motion of a ring string in the background of the Bardeen-AdS black hole surrounded by the quintessence dark energy. The effects of the magnetic monopole charge, the quintessence state parameter, and the quintessence normalization parameter on the dynamical behavior of the ring string are respectively analyzed. Our numerical results show that the chaotic behavior of string generally becomes stronger with the increase of the quintessence normalization parameter. In particular, the conditions for the existence of chaos are distinctly diverse for two different quintessence state parameters. Furthermore, it is found that the magnetic charge does not significantly affect the chaotic behavior of the string in a specific range.


title: Data-Efficient Pipeline for Offline Reinforcement Learning with Limited Data

abstract: Offline reinforcement learning (RL) can be used to improve future performance by leveraging historical data. There exist many different algorithms for offline RL, and it is well recognized that these algorithms, and their hyperparameter settings, can lead to decision policies with substantially differing performance. This prompts the need for pipelines that allow practitioners to systematically perform algorithm-hyperparameter selection for their setting. Critically, in most real-world settings, this pipeline must only involve the use of historical data. Inspired by statistical model selection methods for supervised learning, we introduce a task- and method-agnostic pipeline for automatically training, comparing, selecting, and deploying the best policy when the provided dataset is limited in size. In particular, our work highlights the importance of performing multiple data splits to produce more reliable algorithm-hyperparameter selection. While this is a common approach in supervised learning, to our knowledge, this has not been discussed in detail in the offline RL setting. We show it can have substantial impacts when the dataset is small. Compared to alternate approaches, our proposed pipeline outputs higher-performing deployed policies from a broad range of offline policy learning algorithms and across various simulation domains in healthcare, education, and robotics. This work contributes toward the development of a general-purpose meta-algorithm for automatic algorithm-hyperparameter selection for offline RL.


title: A General Framework for Auditing Differentially Private Machine Learning

abstract: We present a framework to statistically audit the privacy guarantee conferred by a differentially private machine learner in practice. While previous works have taken steps toward evaluating privacy loss through poisoning attacks or membership inference, they have been tailored to specific models or have demonstrated low statistical power. Our work develops a general methodology to empirically evaluate the privacy of differentially private machine learning implementations, combining improved privacy search and verification methods with a toolkit of influence-based poisoning attacks. We demonstrate significantly improved auditing power over previous approaches on a variety of models including logistic regression, Naive Bayes, and random forest. Our method can be used to detect privacy violations due to implementation errors or misuse. When violations are not present, it can aid in understanding the amount of information that can be leaked from a given dataset, algorithm, and privacy specification.