title: Self-Supervised Relation Alignment for Scene Graph Generation

abstract: The goal of scene graph generation is to predict a graph from an input image, where nodes correspond to identified and localized objects and edges to their corresponding interaction predicates. Existing methods are trained in a fully supervised manner and focus on message passing mechanisms, loss functions, and/or bias mitigation. In this work we introduce a simple-yet-effective self-supervised relational alignment regularization designed to improve the scene graph generation performance. The proposed alignment is general and can be combined with any existing scene graph generation framework, where it is trained alongside the original model's objective. The alignment is achieved through distillation, where an auxiliary relation prediction branch, that mirrors and shares parameters with the supervised counterpart, is designed. In the auxiliary branch, relational input features are partially masked prior to message passing and predicate prediction. The predictions for masked relations are then aligned with the supervised counterparts after the message passing. We illustrate the effectiveness of this self-supervised relational alignment in conjunction with two scene graph generation architectures, SGTR and Neural Motifs, and show that in both cases we achieve significantly improved performance.


title: Provably Bounding Neural Network Preimages

abstract: Most work on the formal verification of neural networks has focused on bounding the set of outputs that correspond to a given set of inputs (for example, bounded perturbations of a nominal input). However, many use cases of neural network verification require solving the inverse problem, or over-approximating the set of inputs that lead to certain outputs. We present the INVPROP algorithm for verifying properties over the preimage of a linearly constrained output set, which can be combined with branch-and-bound to increase precision. Contrary to other approaches, our efficient algorithm is GPU-accelerated and does not require a linear programming solver. We demonstrate our algorithm for identifying safe control regions for a dynamical system via backward reachability analysis, verifying adversarial robustness, and detecting out-of-distribution inputs to a neural network. Our results show that in certain settings, we find over-approximations over 2500x tighter than prior work while being 2.5x faster. By strengthening robustness verification with output constraints, we consistently verify more properties than the previous state-of-the-art on multiple benchmarks, including a large model with 167k neurons in VNN-COMP 2023. Our algorithm has been incorporated into the $\alpha,\!\beta$-CROWN verifier, available at https://abcrown.org.


title: Complexity of Solo Chess with Unlimited Moves

abstract: We analyze Solo Chess puzzles, where the input is an $n \times n$ board containing some standard Chess pieces of the same color, and the goal is to make a sequence of capture moves to reduce down to a single piece. Prior work analyzes this puzzle for a single piece type when each piece is limited to make at most two capture moves (as in the Solo Chess puzzles on chess.com). By contrast, we study when each piece can make an unlimited number of capture moves. We show that any single piece type can be solved in polynomial time in a general model of piece types, while any two standard Chess piece types are NP-complete. We also analyze the restriction (as on chess.com) that one piece type is unique and must be the last surviving piece, showing that in this case some pairs of piece types become tractable while others remain hard.


title: The role of scalar and mass interactions in a relativistic model of the charmonium spectrum

abstract: Lorentz scalar and mass interactions are studied in more detail in the framework of a reduced Dirac equation for heavy quark-antiquark mesons. A microscopic model for these interactions is proposed and analyzed. The charmonium mass spectrum is reproduced by means of two free parameters; a third parameter is fixed by means of a phenomenological hypothesis in accordance with the model.


title: Hypothesis Testing and Machine Learning: Interpreting Variable Effects in Deep Artificial Neural Networks using Cohen's f2

abstract: Deep artificial neural networks show high predictive performance in many fields, but they do not afford statistical inferences and their black-box operations are too complicated for humans to comprehend. Because positing that a relationship exists is often more important than prediction in scientific experiments and research models, machine learning is far less frequently used than inferential statistics. Additionally, statistics calls for improving the test of theory by showing the magnitude of the phenomena being studied. This article extends current XAI methods and develops a model agnostic hypothesis testing framework for machine learning. First, Fisher's variable permutation algorithm is tweaked to compute an effect size measure equivalent to Cohen's f2 for OLS regression models. Second, the Mann-Kendall test of monotonicity and the Theil-Sen estimator is applied to Apley's accumulated local effect plots to specify a variable's direction of influence and statistical significance. The usefulness of this approach is demonstrated on an artificial data set and a social survey with a Python sandbox implementation.


title: Simulating Nuclear Dynamics with Quantum Effects

abstract: This paper, part of a Roadmap article, provides an account of the status and the current challenges in the area of nuclear quantum dynamics simulations, and presents advances in theory and computational techniques to address these challenges.


title: Hyperbolic Contrastive Learning

abstract: Learning good image representations that are beneficial to downstream tasks is a challenging task in computer vision. As such, a wide variety of self-supervised learning approaches have been proposed. Among them, contrastive learning has shown competitive performance on several benchmark datasets. The embeddings of contrastive learning are arranged on a hypersphere that results in using the inner (dot) product as a distance measurement in Euclidean space. However, the underlying structure of many scientific fields like social networks, brain imaging, and computer graphics data exhibit highly non-Euclidean latent geometry. We propose a novel contrastive learning framework to learn semantic relationships in the hyperbolic space. Hyperbolic space is a continuous version of trees that naturally owns the ability to model hierarchical structures and is thus beneficial for efficient contrastive representation learning. We also extend the proposed Hyperbolic Contrastive Learning (HCL) to the supervised domain and studied the adversarial robustness of HCL. The comprehensive experiments show that our proposed method achieves better results on self-supervised pretraining, supervised classification, and higher robust accuracy than baseline methods.


title: Stability of finite difference schemes for the hyperbolic initial boundary value problem by winding number computations

abstract: In this paper, we present a numerical strategy to check the strong stability (or GKS-stability) of one-step explicit finite difference schemes for the one-dimensional advection equation with an inflow boundary condition. The strong stability is studied using the Kreiss-Lopatinskii theory. We introduce a new tool, the intrinsic Kreiss-Lopatinskii determinant, which possesses the same regularity as the vector bundle of discrete stable solutions. By applying standard results of complex analysis to this determinant, we are able to relate the strong stability of numerical schemes to the computation of a winding number, which is robust and cheap. The study is illustrated with the O3 scheme and the fifth-order Lax-Wendroff (LW5) scheme together with a reconstruction procedure at the boundary.


title: The Ferroelectric-Gate Fin Microwave Acoustic Signal Processor

abstract: Wireless communication through dynamic spectrum allocation over microwave bands, essential to accommodate exponentially growing data traffic, requires massive array of radio-frequency (RF) filters for adaptive signal shaping at arbitrary frequencies. However, conventional RF filters based on planar acoustic resonators are incapable to realize such massive integrated arrays, due to their large footprint and limited on-chip frequency scalability. Here, we present a signal processor enabled by integration of three-dimensional ferroelectric-gate fin (FGF) nano-acoustic resonators with extreme frequency tailorability and large-scale integrability. FGFs are created by growing atomic-layered ferroelectric hafnia-zirconia transducers on silicon nano-fins, operate in bulk acoustic modes with lithographically scalable frequency over 3-28 GHz, and provide record high frequency - quality factor - electromechanical coupling product (f.Q.kt2) of 19.4 x 1010 (at ~11GHz). A monolithic filter-array covering 9-12 GHz is also demonstrated by on-chip electrical coupling of FGFs. This demonstration highlights the potential of FGF resonators to realize chip-scale adaptive processors extendable to millimeter-wave frequencies.


title: Analysis of view aliasing for the generalized Radon transform in $\mathbb R^2$

abstract: In this paper we consider the generalized Radon transform $\mathcal R$ in the plane. Let $f$ be a piecewise smooth function, which has a jump across a smooth curve $\mathcal S$. We obtain a formula, which accurately describes view aliasing artifacts away from $\mathcal S$ when $f$ is reconstructed from the data $\mathcal R f$ discretized in the view direction. The formula is asymptotic, it is established in the limit as the sampling rate $\epsilon\to0$. The proposed approach does not require that $f$ be band-limited. Numerical experiments with the classical Radon transform and generalized Radon transform (which integrates over circles) demonstrate the accuracy of the formula.


title: Solving two-dimensional quantum eigenvalue problems using physics-informed machine learning

abstract: A particle confined to an impassable box is a paradigmatic and exactly solvable one-dimensional quantum system modeled by an infinite square well potential. Here we explore some of its infinitely many generalizations to two dimensions, including particles confined to rectangle, elliptic, triangle, and cardioid-shaped boxes, using physics-informed neural networks. In particular, we generalize an unsupervised learning algorithm to find the particles' eigenvalues and eigenfunctions. During training, the neural network adjusts its weights and biases, one of which is the energy eigenvalue, so its output approximately solves the Schr\"odinger equation with normalized and mutually orthogonal eigenfunctions. The same procedure solves the Helmholtz equation for the harmonics and vibration modes of waves on drumheads or transverse magnetic modes of electromagnetic cavities. Related applications include dynamical billiards, quantum chaos, and Laplacian spectra.


title: Vibrational infrared and Raman spectrum of HCOOH from variational computations

abstract: All vibrational energies of the (trans-, cis-, delocalized-) formic acid molecule are converged up to 4500 cm$^{-1}$ beyond the zero-point vibrational energy with the GENIUSH-Smolyak variational approach and using an ab initio potential energy surface [D. P. Tew and W. Mizukami, J. Phys. Chem. A, 120, 9815-9828 (2016)]. Full-dimensional dipole and polarizability surfaces are fitted to points computed at the CCSD/aug-cc-pVTZ level of theory. Then, body-fixed vibrational dipole and polarizability transition moments are evaluated and used to simulate jet-cooled infrared and Raman spectra of HCOOH. The benchmark-quality vibrational energy, transition moment, and wave function list will be used in further work in comparison with vibrational experiments, and in further rovibrational computations.


title: A Framework for Higher-Order Effects & Handlers

abstract: Algebraic effects & handlers are a modular approach for modeling side-effects in functional programming. Their syntax is defined in terms of a signature of effectful operations, encoded as a functor, that are plugged into the free monad; their denotational semantics is defined by fold-style handlers that only interpret their part of the syntax and forward the rest. However, not all effects are algebraic: some need to access an internal computation. For example, scoped effects distinguish between a computation in scope and out of scope; parallel effects parallellize over a computation, latent effects defer a computation. Separate definitions have been proposed for these higher-order effects and their corresponding handlers, often leading to expedient and complex monad definitions. In this work we propose a generic framework for higher-order effects, generalizing algebraic effects & handlers: a generic free monad with higher-order effect signatures and a corresponding interpreter. Specializing this higher-order syntax leads to various definitions of previously defined (scoped, parallel, latent) and novel (writer, bracketing) effects. Furthermore, we formally show our framework theoretically correct, also putting different effect instances on formal footing; a significant contribution for parallel, latent, writer and bracketing effects.


title: Neural Insights for Digital Marketing Content Design

abstract: In digital marketing, experimenting with new website content is one of the key levers to improve customer engagement. However, creating successful marketing content is a manual and time-consuming process that lacks clear guiding principles. This paper seeks to close the loop between content creation and online experimentation by offering marketers AI-driven actionable insights based on historical data to improve their creative process. We present a neural-network-based system that scores and extracts insights from a marketing content design, namely, a multimodal neural network predicts the attractiveness of marketing contents, and a post-hoc attribution method generates actionable insights for marketers to improve their content in specific marketing locations. Our insights not only point out the advantages and drawbacks of a given current content, but also provide design recommendations based on historical data. We show that our scoring model and insights work well both quantitatively and qualitatively.


title: A Convolutional-based Model for Early Prediction of Alzheimer's based on the Dementia Stage in the MRI Brain Images

abstract: Alzheimer's disease is a degenerative brain disease. Being the primary cause of Dementia in adults and progressively destroys brain memory. Though Alzheimer's disease does not have a cure currently, diagnosing it at an earlier stage will help reduce the severity of the disease. Thus, early diagnosis of Alzheimer's could help to reduce or stop the disease from progressing. In this paper, we proposed a deep convolutional neural network-based model for learning model using to determine the stage of Dementia in adults based on the Magnetic Resonance Imaging (MRI) images to detect the early onset of Alzheimer's.


title: Quantum loop groups and critical convolution algebras

abstract: We realize geometrically a family of simple modules of (shifted) quantum loop groups including Kirillov-Reshetikhin and prefundamental representations. To do this, we introduce a new family of algebras attached to quivers with potentials, using critical K-theory and critical Borel-Moore homology, which generalizes the convolution algebras attached to quivers defined by Nakajima.


title: Probing Near-Field Thermal Emission of Localized Surface Phonons from Silicon Carbide Nanopillars

abstract: Thermal emission of localized surface phonons (LSPhs) from nanostructures of polaritonic materials is a promising mechanism for tuning the spectrum of near-field thermal radiation. Previous studies have theoretically shown that thermal emission of LSPhs results in narrow-band peaks in the near-field spectra, whose spectral locations can be modulated by changing the dimensions of the nanostructure. However, near-field thermal emission of LSPhs has not been experimentally explored yet. In this study, we measure the spectrum of near-field thermal radiation from arrays of 6H-silicon carbide (6H-SiC) nanopillars using an internal-reflection-element based spectroscopy technique. We present an experimental demonstration of thermal emission of the transverse dipole, quadrupole, and octupole, as well as longitudinal monopole from 6H-SiC nanopillars at a near-field distance from the array. We show that the spectral location of the longitudinal monopole and transverse dipole are significantly affected by the near-field coupling between neighboring nanopillars as well as the intercoupling of the nanopillars and the substrate. We also experimentally demonstrate that the spectrum of near-field thermal radiation from 6H-SiC nanopillar arrays can be tuned by varying the dimensions of the nanopillars, providing an opportunity for designing emitters with tailored near-field thermal radiation.


title: Multicolour Optical Variability Monitoring of Blazars with High Time Resolution

abstract: We carried out a high time-resolution, multicolour optical observing campaign for eight $\gamma$-ray detected blazars during 2010-2020. We analyze flux variations, correlations between magnitudes and colours on different timescales. Intraday variability (IDV) is detected in all eight sources of our sample. A bluer-when-brighter (BWB) chromatic trend is dominant on intraday timescales. On the short timescales, the BWB trend only shows up in ON 231, 3C 279, BL Lacertae and 1E 1458.8+2249. There is a BWB trend in 3C 279 on the long timescale. We estimate the upper limits of black hole mass for three blazars (i.e. ON 321, 1ES 1426+42.8, PKS 1510-089) using variability timescales. On April 13, 2010 a potential quasi-periodic oscillation (QPO) with the period of $P=48.67\pm13.90$ minutes is found in 1ES 1426+42.8. The light curve on March 16, 2021 further shows the existence of the QPO phenomenon. The QPO in this target deserves further observation and confirmation.


title: Follower Agnostic Methods for Stackelberg Games

abstract: In this paper, we present an efficient algorithm to solve online Stackelberg games, featuring multiple followers, in a follower-agnostic manner. Unlike previous works, our approach works even when leader has no knowledge about the followers' utility functions or strategy space. Our algorithm introduces a unique gradient estimator, leveraging specially designed strategies to probe followers. In a departure from traditional assumptions of optimal play, we model followers' responses using a convergent adaptation rule, allowing for realistic and dynamic interactions. The leader constructs the gradient estimator solely based on observations of followers' actions. We provide both non-asymptotic convergence rates to stationary points of the leader's objective and demonstrate asymptotic convergence to a \emph{local Stackelberg equilibrium}. To validate the effectiveness of our algorithm, we use this algorithm to solve the problem of incentive design on a large-scale transportation network, showcasing its robustness even when the leader lacks access to followers' demand.


title: Characterizing Nilpotent Associative Algebras by Their Multiplier

abstract: The paper concerns an analogue of the famous Schur multiplier in the context of associative algebras and a measure of how far its dimension is from being maximal. Applying a methodology from Lie theory, we characterize all finite-dimensional nilpotent associative algebras for which this measure is ten or less.


title: Spectral crossover in non-hermitian spin chains: comparison with random matrix theory

abstract: We systematically study the short range spectral fluctuation properties of three non-hermitian spin chain hamiltonians using complex spacing ratios. In particular we focus on the non-hermitian version of the standard one-dimensional anisotropic XY model having intrinsic rotation-time-reversal ($\mathcal{RT}$) symmetry that has been explored analytically by Zhang and Song in [Phys.Rev.A {\bf 87}, 012114 (2013)]. The corresponding hermitian counterpart is also exactly solvable and has been widely employed as a toy model in several condensed matter physics problems. We show that the presence of a random field along the $x$-direction together with the one along $z$ facilitates integrability and $\mathcal{RT}$-symmetry breaking leading to the emergence of quantum chaotic behaviour indicated by a spectral crossover resembling Poissonian to Ginibre unitary ensemble (GinUE) statistics of random matrix theory. Additionally, we consider two $n \times n$ dimensional phenomenological random matrix models in which, depending upon crossover parameters, the fluctuation properties measured by the complex spacing ratios show an interpolation between 1D-Poisson to GinUE and 2D-Poisson to GinUE behaviour. Here 1D and 2D Poisson correspond to real and complex uncorrelated levels, respectively.


title: Monolithic Six-DOF Parallel Positioning System for High-precision and Large-range Applications

abstract: A compact large-range six-degrees-of-freedom (six-DOF) parallel positioning system with high resolution, high resonant frequency, and high repeatability was proposed. It mainly consists of three identical kinematic sections. Each kinematic section consists of two identical displacement amplification and guiding mechanisms, which are finally connected to a limb. Each limb was designed with a universal joint at each end and connected to a moving stage. A computational model of the positioner was built in the ANSYS software package, hence, the input stiffness, output compliance, range, and modal analysis of the system were found. Furthermore, a monolithic prototype made of Acrylonitrile Butadiene Styrene (ABS) was successfully manufactured by the 3D-printing process. It was actuated and sensed by piezoelectric actuators (PEAs) and capacitive displacement sensors, respectively. Finally, the performances of this proposed positioner were experimentally investigated. The positioning resolution was achieved as 10.5nm {\times} 10.5nm {\times} 15nm {\times} 1.8{\mu}rad {\times} 1.3{\mu}rad {\times} 0.5{\mu}rad. The experimental results validate the behavior and capabilities of the proposed positioning system, and also verify the nanometer-scale spatial positioning accuracy within the overall stroke range. Practical applications of the proposed system can be expanded to pick-and-place manipulation, vibration-canceling in microsurgery/micro-assembly, and collaborative manipulators systems.


title: Fast, Differentiable and Sparse Top-k: a Convex Analysis Perspective

abstract: The top-k operator returns a sparse vector, where the non-zero values correspond to the k largest values of the input. Unfortunately, because it is a discontinuous function, it is difficult to incorporate in neural networks trained end-to-end with backpropagation. Recent works have considered differentiable relaxations, based either on regularization or perturbation techniques. However, to date, no approach is fully differentiable and sparse. In this paper, we propose new differentiable and sparse top-k operators. We view the top-k operator as a linear program over the permutahedron, the convex hull of permutations. We then introduce a p-norm regularization term to smooth out the operator, and show that its computation can be reduced to isotonic optimization. Our framework is significantly more general than the existing one and allows for example to express top-k operators that select values in magnitude. On the algorithmic side, in addition to pool adjacent violator (PAV) algorithms, we propose a new GPU/TPU-friendly Dykstra algorithm to solve isotonic optimization problems. We successfully use our operators to prune weights in neural networks, to fine-tune vision transformers, and as a router in sparse mixture of experts.


title: Whitham modulation theory for the defocusing nonlinear Schrodinger equation in two and three spatial dimensions

abstract: The Whitham modulation equations for the defocusing nonlinear Schrodinger (NLS) equation in two, three and higher spatial dimensions are derived using a two-phase ansatz for the periodic traveling wave solutions and by period-averaging the conservation laws of the NLS equation. The resulting Whitham modulation equations are written in vector form, which allows one to show that they preserve the rotational invariance of the NLS equation, as well as the invariance with respect to scaling and Galilean transformations, and to immediately generalize the calculations from two spatial dimensions to three. The transformation to Riemann-type variables is described in detail; the harmonic and soliton limits of the Whitham modulation equations are explicitly written down; and the reduction of the Whitham equations to those for the radial NLS equation is explicitly carried out. Finally, the extension of the theory to higher spatial dimensions is briefly outlined. The multidimensional NLS-Whitham equations obtained here may be used to study large amplitude wavetrains in a variety of applications including nonlinear photonics and matter waves.


title: Benchmarking Probabilistic Deep Learning Methods for License Plate Recognition

abstract: Learning-based algorithms for automated license plate recognition implicitly assume that the training and test data are well aligned. However, this may not be the case under extreme environmental conditions, or in forensic applications where the system cannot be trained for a specific acquisition device. Predictions on such out-of-distribution images have an increased chance of failing. But this failure case is oftentimes hard to recognize for a human operator or an automated system. Hence, in this work we propose to model the prediction uncertainty for license plate recognition explicitly. Such an uncertainty measure allows to detect false predictions, indicating an analyst when not to trust the result of the automated license plate recognition. In this paper, we compare three methods for uncertainty quantification on two architectures. The experiments on synthetic noisy or blurred low-resolution images show that the predictive uncertainty reliably finds wrong predictions. We also show that a multi-task combination of classification and super-resolution improves the recognition performance by 109\% and the detection of wrong predictions by 29 %.


title: Understanding Reconstruction Attacks with the Neural Tangent Kernel and Dataset Distillation

abstract: Modern deep learning requires large volumes of data, which could contain sensitive or private information that cannot be leaked. Recent work has shown for homogeneous neural networks a large portion of this training data could be reconstructed with only access to the trained network parameters. While the attack was shown to work empirically, there exists little formal understanding of its effective regime which datapoints are susceptible to reconstruction. In this work, we first build a stronger version of the dataset reconstruction attack and show how it can provably recover the \emph{entire training set} in the infinite width regime. We then empirically study the characteristics of this attack on two-layer networks and reveal that its success heavily depends on deviations from the frozen infinite-width Neural Tangent Kernel limit. Next, we study the nature of easily-reconstructed images. We show that both theoretically and empirically, reconstructed images tend to "outliers" in the dataset, and that these reconstruction attacks can be used for \textit{dataset distillation}, that is, we can retrain on reconstructed images and obtain high predictive accuracy.


title: Approach to Hyperuniformity in a Metallic Glass-Forming Material Exhibiting a Fragile to Strong Glass Transition

abstract: We investigate a metallic glass-forming (GF) material (Al90Sm10) exhibiting a fragile-strong (FS) glass-formation by molecular dynamics simulation to better understand this highly distinctive pattern of glass-formation in which many of the usual phenomenological relations describing relaxation times and diffusion of OGF liquids no longer apply, and where instead genuine thermodynamic features are observed in response functions and little thermodynamic signature is exhibited at the glass transition temperature, Tg. Given the many unexpected similarities between the thermodynamics and dynamics of this metallic GF material with water, we first focus on the anomalous static scattering in this liquid, following recent studies on water, silicon and other FS GF liquids. In particular, we quantify the 'hyperuniformity index' H of our liquid which provides a quantitative measure of molecular 'jamming'. To gain insight into the T-dependence and magnitude of H, we also estimated another more familiar measure of particle localization, the Debye-Waller parameter $<u^2>$ describing the mean-square particle displacement on a timescale on the order of the fast relaxation time, and we also calculate H and $<u^2>$ for heated crystalline Cu. This comparative analysis between H and $<u^2>$ for crystalline and metallic glass materials allows us to understand the critical value of H on the order of $10^{-3}$ as being analogous to the Lindemann criterion for both the melting of crystals and the 'softening' of glasses. We further interpret the emergence of FS GF and liquid-liquid phase separation in this class of liquids to arise from a cooperative assembly process in the GF liquid.


title: A Multifunctional Array System Based on Adjustable-Phase Antenna for Wireless Communications

abstract: In this work, an innovative method for controlling the current distribution of the radiating patch by adjusting the input phase is investigated to achieve both pattern and polarization reconfigurable characteristics for the multifunction. A compact and low-profile antenna with four fed ports is designed to implement the proposed method, which can operate linear, right-hand circular polarization (RHCP) and left-hand circular polarization (LHCP) with different beam directions in the operating band from 4.0 to 5.0 GHz. Even more, a four-by-four passive planar array is designed and fabricated based on this antenna element, which can scan the coverage of 70{\deg} with low gain fluctuation and low sidelobe with dual-polarization. Meanwhile, it can realize the wide-angle scanning capability up to 60{\deg} with low sidelobe with RHCP and LHCP. More important, the dual- and triple-beam with different directions can be obtained by the proposed array. Good agreement has been shown between measured and simulated results. Therefore, the proposed antenna is a good solution for wireless communication systems because of its simple-configuration, multifunction, and beamforming capability.


title: Fields with bounded Brauer $2$-torsion index

abstract: It is shown that, over a field of characteristic not $2$, the dimension of an anisotropic quadratic Pfister form of trivial total signature is at most twice the dimension of some central division algebra of exponent $2$. The proof is based on computations with quadratic trace forms of central simple algebras.


title: Tangential Model of Microtubules

abstract: Microtubules (MTs) represent basic components of a cytoskeleton. The present work studies nonlinear dynamics of MTs assuming tangential oscillations of the dimers. We introduce a two component model and show that the dynamics of MTs can be explained in terms of breather solitary waves.


title: Empirical constraints on turbulence in proto-planetary discs

abstract: Proto-planetary discs, the birth environment of planets, are an example of a structure commonly found in astrophysics, accretion discs. Identifying the mechanism responsible for accretion is a long-standing problem, dating back several decades. The common picture is that accretion is a consequence of turbulence, with several instabilities proposed for its origin. While traditionally this field used to be a purely theoretical endeavour, the landscape is now changing thanks mainly to new observational facilities such as the ALMA radio interferometer. Thanks to large improvements in spatial and spectral resolution and sensitivity (which have enabled the study of disc substructure, kinematics and surveys of large disc populations), multiple techniques have been devised to observationally measure the amount of turbulence in discs. This review summarises these techniques, ranging from attempts at direct detection of turbulence from line broadening, to more indirect approaches that rely on properties of the dust or consider the evolution of global disc properties (such as masses, radii and accretion rates) for large samples, and what their findings are. Multiple lines of evidence suggest that discs are in fact not as turbulent as thought one decade ago. On the other hand, direct detection of turbulence in some discs and the finite radial extent of dust substructures and in some cases the finite vertical extent strongly indicate that turbulence must be present at some level in proto-planetary discs. It is still an open question whether this amount of turbulence is enough to power accretion or if this is instead driven by other mechanisms, such as MHD winds.


title: Inference in Non-stationary High-Dimensional VARs

abstract: In this paper we construct an inferential procedure for Granger causality in high-dimensional non-stationary vector autoregressive (VAR) models. Our method does not require knowledge of the order of integration of the time series under consideration. We augment the VAR with at least as many lags as the suspected maximum order of integration, an approach which has been proven to be robust against the presence of unit roots in low dimensions. We prove that we can restrict the augmentation to only the variables of interest for the testing, thereby making the approach suitable for high dimensions. We combine this lag augmentation with a post-double-selection procedure in which a set of initial penalized regressions is performed to select the relevant variables for both the Granger causing and caused variables. We then establish uniform asymptotic normality of a second-stage regression involving only the selected variables. Finite sample simulations show good performance, an application to investigate the (predictive) causes and effects of economic uncertainty illustrates the need to allow for unknown orders of integration.


title: Target specific peptide design using latent space approximate trajectory collector

abstract: Despite the prevalence and many successes of deep learning applications in de novo molecular design, the problem of peptide generation targeting specific proteins remains unsolved. A main barrier for this is the scarcity of the high-quality training data. To tackle the issue, we propose a novel machine learning based peptide design architecture, called Latent Space Approximate Trajectory Collector (LSATC). It consists of a series of samplers on an optimization trajectory on a highly non-convex energy landscape that approximates the distributions of peptides with desired properties in a latent space. The process involves little human intervention and can be implemented in an end-to-end manner. We demonstrate the model by the design of peptide extensions targeting Beta-catenin, a key nuclear effector protein involved in canonical Wnt signalling. When compared with a random sampler, LSATC can sample peptides with $36\%$ lower binding scores in a $16$ times smaller interquartile range (IQR) and $284\%$ less hydrophobicity with a $1.4$ times smaller IQR. LSATC also largely outperforms other common generative models. Finally, we utilized a clustering algorithm to select 4 peptides from the 100 LSATC designed peptides for experimental validation. The result confirms that all the four peptides extended by LSATC show improved Beta-catenin binding by at least $20.0\%$, and two of the peptides show a $3$ fold increase in binding affinity as compared to the base peptide.


title: Stellar Variability in Ground-Based Photometric Surveys: An Overview

abstract: Time-resolved ground-based surveys in general, and photometric ones in particular, have played a crucial role in building up our knowledge of the properties, physical nature, and the very existence of the many different classes of variable stars and transient events that are currently known. Here I provide a brief overview of these developments, discussing some of the stumbling blocks that had to be overcome along the way, and others that may still hamper further progress in the area. A compilation of different types of past, present, and future surveys is also provided.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: LEO-to-User Assignment and Resource Allocation for Uplink Transmit Power Minimization

abstract: This paper aims to develop satellite-user association and resource allocation mechanisms to minimize the total transmit power for integrated terrestrial and non-terrestrial networks wherein a constellation of LEO satellites provides the radio access services to both terrestrial base stations (BSs) and the satellite-enabled users (SUEs). In this work, beside maintaining the traditional SatCom connection for SUEs, the LEO satellites provide backhaul links to the BSs to upload the data received from their ground customers. Taking the individual SUE traffic demands and the aggregated BS demands, we formulate a mixed integer programming which consists of the binary variables due to satellite association selection, power control and bandwidth allocation related variables. To cope with this challenging problem, an iterative optimization-based algorithm is proposed by relaxing the binary components and alternating updating all variables. A greedy mechanism is also presented for comparison purpose. Then, numerical results are presented to confirm the effectiveness of our proposed algorithms.


title: Non-relativistic quantum particles interacting with pseudoharmonic-type potential under flux field in a topological defect geometry

abstract: In this work, we investigate the quantum motions of non-relativistic particles interacting with a potential in the presence of the Aharonov-Bohm (AB) flux field within a topological defect geometry, for example, space-time with a distortion of a vertical line into a vertical spiral. We begin by deriving the radial Schr\"odinger wave equation, incorporating an anharmonic oscillator potential, which is a superposition of a harmonic oscillator and an inverse square potential, along with a constant term. The eigenvalue solution is obtained through the confluent Heun equation focusing on the ground state energy level and the radial wave function for the radial mode $n=1$ as an example and analyze the results. Subsequently, we use these results in molecular potential models, considering pseudoharmonic and shifted pseudoharmonic potentials. The derived eigenvalue solutions provide insights into the behavior of particles within these potentials. Expanding our exploration, we study the quantum system featuring only an inverse square potential in the presence of the quantum flux field in the same geometry background. Employing the same procedure, we determine the ground state energy level and the radial wave function. Notably, our findings reveal that the eigenvalue solutions are significantly influenced by the topological defect characterized by the parameter $\beta$, and the quantum flux field $\Phi_{AB}$. This influence manifests as a shift in the energy spectrum, drawing parallels to the gravitational analog of the Aharonov-Bohm effect.


title: #RoeOverturned: Twitter Dataset on the Abortion Rights Controversy

abstract: On June 24, 2022, the United States Supreme Court overturned landmark rulings made in its 1973 verdict in Roe v. Wade. The justices by way of a majority vote in Dobbs v. Jackson Women's Health Organization, decided that abortion wasn't a constitutional right and returned the issue of abortion to the elected representatives. This decision triggered multiple protests and debates across the US, especially in the context of the midterm elections in November 2022. Given that many citizens use social media platforms to express their views and mobilize for collective action, and given that online debate provides tangible effects on public opinion, political participation, news media coverage, and the political decision-making, it is crucial to understand online discussions surrounding this topic. Toward this end, we present the first large-scale Twitter dataset collected on the abortion rights debate in the United States. We present a set of 74M tweets systematically collected over the course of one year from January 1, 2022 to January 6, 2023.


title: Generalized Uncertainty of Deep Neural Networks: Taxonomy and Applications

abstract: Deep neural networks have seen enormous success in various real-world applications. Beyond their predictions as point estimates, increasing attention has been focused on quantifying the uncertainty of their predictions. In this review, we show that the uncertainty of deep neural networks is not only important in a sense of interpretability and transparency, but also crucial in further advancing their performance, particularly in learning systems seeking robustness and efficiency. We will generalize the definition of the uncertainty of deep neural networks to any number or vector that is associated with an input or an input-label pair, and catalog existing methods on ``mining'' such uncertainty from a deep model. We will include those methods from the classic field of uncertainty quantification as well as those methods that are specific to deep neural networks. We then show a wide spectrum of applications of such generalized uncertainty in realistic learning tasks including robust learning such as noisy learning, adversarially robust learning; data-efficient learning such as semi-supervised and weakly-supervised learning; and model-efficient learning such as model compression and knowledge distillation.


title: Commonsense-Aware Prompting for Controllable Empathetic Dialogue Generation

abstract: Improving the emotional awareness of pre-trained language models is an emerging important problem for dialogue generation tasks. Although prior studies have introduced methods to improve empathetic dialogue generation, few have discussed how to incorporate commonsense knowledge into pre-trained language models for controllable dialogue generation. In this study, we propose a novel framework that improves empathetic dialogue generation using pre-trained language models by 1) incorporating commonsense knowledge through prompt verbalization, and 2) controlling dialogue generation using a strategy-driven future discriminator. We conducted experiments to reveal that both the incorporation of social commonsense knowledge and enforcement of control over generation help to improve generation performance. Finally, we discuss the implications of our study for future research.


title: More on the first-order thermodynamics of scalar-tensor and Horndeski gravity

abstract: Two issues in the first-order thermodynamics of scalar-tensor (including ``viable'' Horndeski) gravity are elucidated. The application of this new formalism to FLRW cosmology is shown to be fully legitimate and then extended to all Bianchi universes. It is shown that the formalism holds thanks to the almost miraculous fact that the constitutive relations of Eckart's thermodynamics are satisfied, while writing the field equations as effective Einstein equations with an effective dissipative fluid does not contain new physics.


title: DOR: A Novel Dual-Observation-Based Approach for News Recommendation Systems

abstract: Online social media platforms offer access to a vast amount of information, but sifting through the abundance of news can be overwhelming and tiring for readers. personalised recommendation algorithms can help users find information that interests them. However, most existing models rely solely on observations of user behaviour, such as viewing history, ignoring the connections between the news and a user's prior knowledge. This can result in a lack of diverse recommendations for individuals. In this paper, we propose a novel method to address the complex problem of news recommendation. Our approach is based on the idea of dual observation, which involves using a deep neural network with observation mechanisms to identify the main focus of a news article as well as the focus of the user on the article. This is achieved by taking into account the user's belief network, which reflects their personal interests and biases. By considering both the content of the news and the user's perspective, our approach is able to provide more personalised and accurate recommendations. We evaluate the performance of our model on real-world datasets and show that our proposed method outperforms several popular baselines.


title: Design and characterization of AmLi neutron sources for the LZ experiment

abstract: In this paper we describe the development, testing, and characterization of three low-emission rate AmLi neutron sources. The sources are used to calibrate the nuclear recoil response of the LUX-ZEPLIN (LZ) dark matter experiment. The sources' neutron emission rate was measured using $^{3}$He proportional tubes. The sources' gamma emissions were characterized using a high-purity germanium (HPGe) detector. Source-validated GEANT4 Monte Carlo simulations allowed to calibrate the Ge and neutron detector responses.


title: Partitioning into common independent sets via relaxing strongly base orderability

abstract: The problem of covering the ground set of two matroids by a minimum number of common independent sets is notoriously hard even in very restricted settings, i.e.\ when the goal is to decide if two common independent sets suffice or not. Nevertheless, as the problem generalizes several long-standing open questions, identifying tractable cases is of particular interest. Strongly base orderable matroids form a class for which a basis-exchange condition that is much stronger than the standard axiom is met. As a result, several problems that are open for arbitrary matroids can be solved for this class. In particular, Davies and McDiarmid showed that if both matroids are strongly base orderable, then the covering number of their intersection coincides with the maximum of their covering numbers. Motivated by their result, we propose relaxations of strongly base orderability in two directions. First we weaken the basis-exchange condition, which leads to the definition of a new, complete class of matroids with distinguished algorithmic properties. Second, we introduce the notion of covering the circuits of a matroid by a graph, and consider the cases when the graph is ought to be 2-regular or a path. We give an extensive list of results explaining how the proposed relaxations compare to existing conjectures and theorems on coverings by common independent sets.


title: The Generic Failure of Lower-semicontinuity for the Linear Distortion Functional

abstract: We consider the convexity properties of distortion functionals, particularly the linear distortion, defined for homeomorphisms of domains in Euclidean $n$-spaces, $n\geq 3$. The inner and outer distortion functionals are lower semi-continuous in all dimensions and so for the curve modulus or analytic definitions of quasiconformality it ifollows that if $ \{ f_{n} \}_{n=1}^{\infty} $ is a sequence of $K$-quasiconformal mappings (here $K$ depends on the particular distortion functional but is the same for every element of the sequence) which converges locally uniformly to a mapping $f$, then this limit function is also $K$-quasiconformal.Despite a widespread belief that this was also true for the geometric definition of quasiconformality (defined through the linear distortion $H({f_{n}})$), T. Iwaniec gave a specific and surprising example to show that the linear distortion functional is not always lower semicontinuous on uniformly converging sequences of quasiconformal mappings. Here we show that this failure of lower semicontinuity is common, perhaps generic in the sense that under mild restrictions on a quasiconformal $f$, there is a sequence $ \{f_{n} \}_{n=1}^{\infty} $ with $ {f_{n}}\to {f}$ locally uniformly and with $\limsup_{n\to\infty} H( {f_{n}})<H( {f})$. Our main result shows this is true for affine mappings. Addressing conjectures of F.W. Gehring and Iwaniec we show the jump up in the limit can be arbitrarily large and give conjecturally sharp bounds : for each $\alpha<\sqrt{2}$ there is ${f_{n}}\to {f}$ locally uniformly with $f$ affine and \[ \alpha \; \limsup_{n\to\infty} H( {f_{n}}) < H( {f}) \] We conjecture $\sqrt{2}$ to be best possible.


title: Silicon detector R$\&$D for the future Electron-Ion Collider

abstract: The high-luminosity high-energy Electron-Ion Collider (EIC) to be built at Brookhaven National Laboratory (BNL) will provide a clean environment to study several fundamental questions in the high energy and nuclear physics fields. A high granularity and low material budget silicon vertex and tracking detector is required to provide precise measurements of primary and displaced vertex and track reconstruction with good momentum and spatial resolutions. The reference design of the EIC silicon vertex and tracking detector includes the Monolithic Active Pixel Sensor (MAPS) based vertex and tracking subsystem and the AC-Coupled Low Gain Avalanche Diode (AC-LGAD) based outer tracker, and it has the track reconstruction capability in the pseudorapidity region of -3.5 to 3.5 with full azimuthal coverage. Further detector geometry optimization with a new magnet based on the EIC project detector reference design are being performed by the newly formed ePIC collaboration. The latest ePIC vertex and tracking detector geometry and its performance evaluated in simulation will be presented. Details of the EIC silicon vertex and tracking detector R$\&$D, which include the proposed detector technologies, prototype sensor characterization and detector mechanical design will be discussed as well.


title: Out of Context: Investigating the Bias and Fairness Concerns of "Artificial Intelligence as a Service"

abstract: "AI as a Service" (AIaaS) is a rapidly growing market, offering various plug-and-play AI services and tools. AIaaS enables its customers (users) - who may lack the expertise, data, and/or resources to develop their own systems - to easily build and integrate AI capabilities into their applications. Yet, it is known that AI systems can encapsulate biases and inequalities that can have societal impact. This paper argues that the context-sensitive nature of fairness is often incompatible with AIaaS' 'one-size-fits-all' approach, leading to issues and tensions. Specifically, we review and systematise the AIaaS space by proposing a taxonomy of AI services based on the levels of autonomy afforded to the user. We then critically examine the different categories of AIaaS, outlining how these services can lead to biases or be otherwise harmful in the context of end-user applications. In doing so, we seek to draw research attention to the challenges of this emerging area.


title: Transport-based morphometry of nuclear structures of digital pathology images in cancers

abstract: Alterations in nuclear morphology are useful adjuncts and even diagnostic tools used by pathologists in the diagnosis and grading of many tumors, particularly malignant tumors. Large datasets such as TCGA and the Human Protein Atlas, in combination with emerging machine learning and statistical modeling methods, such as feature extraction and deep learning techniques, can be used to extract meaningful knowledge from images of nuclei, particularly from cancerous tumors. Here we describe a new technique based on the mathematics of optimal transport for modeling the information content related to nuclear chromatin structure directly from imaging data. In contrast to other techniques, our method represents the entire information content of each nucleus relative to a template nucleus using a transport-based morphometry (TBM) framework. We demonstrate the model is robust to different staining patterns and imaging protocols, and can be used to discover meaningful and interpretable information within and across datasets and cancer types. In particular, we demonstrate morphological differences capable of distinguishing nuclear features along the spectrum from benign to malignant categories of tumors across different cancer tissue types, including tumors derived from liver parenchyma, thyroid gland, lung mesothelium, and skin epithelium. We believe these proof of concept calculations demonstrate that the TBM framework can provide the quantitative measurements necessary for performing meaningful comparisons across a wide range of datasets and cancer types that can potentially enable numerous cancer studies, technologies, and clinical applications and help elevate the role of nuclear morphometry into a more quantitative science. The source codes implementing our method is available at https://github.com/rohdelab/nuclear_morphometry.


title: Performance Bounds for Policy-Based Average Reward Reinforcement Learning Algorithms

abstract: Many policy-based reinforcement learning (RL) algorithms can be viewed as instantiations of approximate policy iteration (PI), i.e., where policy improvement and policy evaluation are both performed approximately. In applications where the average reward objective is the meaningful performance metric, discounted reward formulations are often used with the discount factor being close to $1,$ which is equivalent to making the expected horizon very large. However, the corresponding theoretical bounds for error performance scale with the square of the horizon. Thus, even after dividing the total reward by the length of the horizon, the corresponding performance bounds for average reward problems go to infinity. Therefore, an open problem has been to obtain meaningful performance bounds for approximate PI and RL algorithms for the average-reward setting. In this paper, we solve this open problem by obtaining the first finite-time error bounds for average-reward MDPs, and show that the asymptotic error goes to zero in the limit as policy evaluation and policy improvement errors go to zero.


title: CTE: A Dataset for Contextualized Table Extraction

abstract: Relevant information in documents is often summarized in tables, helping the reader to identify useful facts. Most benchmark datasets support either document layout analysis or table understanding, but lack in providing data to apply both tasks in a unified way. We define the task of Contextualized Table Extraction (CTE), which aims to extract and define the structure of tables considering the textual context of the document. The dataset comprises 75k fully annotated pages of scientific papers, including more than 35k tables. Data are gathered from PubMed Central, merging the information provided by annotations in the PubTables-1M and PubLayNet datasets. The dataset can support CTE and adds new classes to the original ones. The generated annotations can be used to develop end-to-end pipelines for various tasks, including document layout analysis, table detection, structure recognition, and functional analysis. We formally define CTE and evaluation metrics, showing which subtasks can be tackled, describing advantages, limitations, and future works of this collection of data. Annotations and code will be accessible a https://github.com/AILab-UniFI/cte-dataset.


title: MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime

abstract: Many solutions have been proposed to curb unexpected behavior of automation apps installed on programmable IoT platforms by enforcing safety policies at runtime. However, all prior work addresses a weaker version of the actual problem due to a simpler, unrealistic threat model. These solutions are not general enough as they are heavily dependent on the installed apps and catered to specific IoT platforms. Here, we address a stronger version of the problem via a realistic threat model, where (i) undesired cyber actions can come from not only automation platform backends (e.g., SmartThings) but also close-sourced third-party services (e.g., IFTTT), and (ii) physical actions (e.g., user interactions) on devices can move the IoT system to an undesirable state. We propose a runtime mechanism, dubbed Maverick, which employs an app-independent, platform-agnostic mediator to enforce policies against all undesired cyber actions and applies corrective-actions to bring the IoT system back to a safe state from an unsafe state transition. Maverick is equipped with a policy language capable of expressing rich temporal invariants and an automated toolchain that includes a policy synthesizer and a policy analyzer for user assistance. We implemented Maverick in a prototype and showed its efficacy in both physical and virtual testbeds, incurring minimal overhead.


title: Studies of the equation-of-state of nuclear matter by heavy-ion collisions at intermediate energy in the multi-messenger era

abstract: The study of the equation-of-state (EoS) describing the properties of nuclear matter away from the normal conditions is a relevant and intriguing topic of modern nuclear physics. The last decades have witnessed a substantial experimental progress in derivation of the symmetric matter term of the EoS and of the so-called symmetry energy for the asymmetric matter, especially at densities below the saturation point. But it is only in recent years that the opening of the multi-messenger astronomy era, triggered by detection of gravitational waves due to the neutron star mergers, has renewed and enlarged the interest in high-density EoS, being the main ingredient for determining the structure and properties of neutron stars. In this paper we review our knowledge obtained from heavy-ion collisions up to the 1 GeV/nucleon regime, on the EoS above nuclear saturation density. Special emphasis is given on the still few results on symmetry energy at high densities and their interconnections with multi-messenger astronomy findings.


title: Thermodynamic quantities of two-dimensional Ising models obtained by noisy mean field annealing and coherent Ising machine

abstract: Noisy mean field annealing (NMFA) is an algorithm that mimics a coherent Ising machine (CIM), which is an optical system for solving Ising problems. The NMFA has reproduced the solver performance of the CIM for systems of limited size even though it simplifies the interaction between spins with a mean-field approximation. However, recent experiments observing various thermodynamic quantities have revealed that the CIM can capture the phase transitions of the two-dimensional Ising models that the mean field cannot capture. This situation leads to a fundamental question as to how well the NMFA can capture the features of the thermodynamic quantities around the phase transition. This paper answers that the NMFA reproduces the thermodynamic features of the mean field, but cannot reproduce the CIM results. This suggests that, in terms of sampling, the level of performance of the CIM is beyond that of the NMFA.


title: Reconsidering Fascicles in Soft Pneumatic Actuator Packs

abstract: This paper discusses and contests the claims of ``Soft Pneumatic Actuator Fascicles for High Force and Reliability'' a research article which was originally published in the March 2017 issue of the Journal Soft Robotics. The original paper claims that the summed forces of multiple thin-walled extending McKibben muscles are greater than a volumetrically equivalent actuator of the same length at the same pressure. The original paper also claims that the purported benefit becomes more pronounced as the number of smaller actuators is increased. Using reasonable assumptions, the analysis of this paper shows that the claims of the original paper violate the law of conservation of energy. This paper also identifies errors in the original methodology that may have led to the erroneous conclusions of the original paper. The goal of this paper is to correct the record and to provide a more accurate framework for considering fascicles used in soft pneumatic actuator packs.


title: An Insurance Paradigm for Improving Power System Resilience via Distributed Investment

abstract: Extreme events, exacerbated by climate change, pose significant risks to the energy system and its consumers. However there are natural limits to the degree of protection that can be delivered from a centralised market architecture. Distributed energy resources provide resilience to the energy system, but their value remains inadequately recognized by regulatory frameworks. We propose an insurance framework to align residual outage risk exposure with locational incentives for distributed investment. We demonstrate that leveraging this framework in large-scale electricity systems could improve consumer welfare outcomes in the face of growing risks from extreme events via investment in distributed energy.


title: Spin waves in a ferromagnetic topological metal

abstract: In most metals, charges and spins can hop rapidly between atoms, yielding strong dispersion of their energy versus momentum. There are, however, special arrangements of atoms, such as twisted graphene bilayers or lattices which resemble woven bamboo "kagome" mats, so that particle motion with strong hopping between neighbours becomes nearly or even completely dispersionless. Such flat bands are interesting because the interactions between the heavy particles inhabiting them will become much more important than for strong dispersion, resulting in novel quantum solid and liquid states, particularly when topology enters on account of significant spin-orbit coupling for the underlying electrons. Nonetheless, spectroscopic evidence for flat bands engendered by lattice geometry rather than weak hopping is rare, particularly for metallic single crystals. Here we report the discovery, using circularly polarized X-Rays in resonant absorption and inelastic scattering (RIXS) for the unambiguous isolation of magnetic signals, of a flat spin wave band and large orbital moment for the metallic kagome ferromagnet Fe$_3$Sn$_2$, which has a topologically non-trivial electronic band structure controllable by modest external magnetic fields. The flat mode energy is consistent with the high Curie temperature ($T_C$ ~ 640 K) as well as the strong acoustic mode dispersion, implying, together with the substantial spin-orbit coupling indicated by the large orbital moment, that the mode is topological. The measured properties of the spin waves are highly unconventional, and include very severe damping as well as the flat mode amplitude which is maximized in the long wavelength limit where it is ordinarily expected to vanish. Our results open the topic of interactions of topological bosons (spin waves) and fermions (electrons) with the very specific target of explaining boson lifetimes and amplitudes.


title: Cosmological analogies for geophysical flows, Lagrangians, and new analogue gravity systems

abstract: Formal analogies between the ordinary differential equations describing geophysical flows and Friedmann cosmology are developed. As a result, one obtains Lagrangian and Hamiltonian formulations of these equations, while laboratory experiments aimed at testing geophysical flows are shown to constitute analogue gravity systems for cosmology.


title: A sliced-Wasserstein distance-based approach for out-of-class-distribution detection

abstract: There exist growing interests in intelligent systems for numerous medical imaging, image processing, and computer vision applications, such as face recognition, medical diagnosis, character recognition, and self-driving cars, among others. These applications usually require solving complex classification problems involving complex images with unknown data generative processes. In addition to recent successes of the current classification approaches relying on feature engineering and deep learning, several shortcomings of them, such as the lack of robustness, generalizability, and interpretability, have also been observed. These methods often require extensive training data, are computationally expensive, and are vulnerable to out-of-distribution samples, e.g., adversarial attacks. Recently, an accurate, data-efficient, computationally efficient, and robust transport-based classification approach has been proposed, which describes a generative model-based problem formulation and closed-form solution for a specific category of classification problems. However, all these approaches lack mechanisms to detect test samples outside the class distributions used during training. In real-world settings, where the collected training samples are unable to exhaust or cover all classes, the traditional classification schemes are unable to handle the unseen classes effectively, which is especially an important issue for safety-critical systems, such as self-driving and medical imaging diagnosis. In this work, we propose a method for detecting out-of-class distributions based on the distribution of sliced-Wasserstein distance from the Radon Cumulative Distribution Transform (R-CDT) subspace. We tested our method on the MNIST and two medical image datasets and reported better accuracy than the state-of-the-art methods without an out-of-class distribution detection procedure.


title: Algebras of Polynomials Generated by Linear Operators

abstract: Let $E$ be a Banach space and $A$ be a commutative Banach algebra with identity. Let ${P}(E, A)$ be the space of $A$-valued polynomials on $E$ generated by bounded linear operators (an $n$-homogenous polynomial in ${P}(E,A)$ is of the form $P=\sum_{i=1}^\infty T^n_i$, where $T_i:E\to A$ ($1\leq i <\infty$) are bounded linear operators and $\sum_{i=1}^\infty \|T_i\|^n < \infty$). For a compact set $K$ in $E$, we let ${P}(K, A)$ be the closure in $C(K,A)$ of the restrictions $P|_K$ of polynomials $P$ in ${P}(E,A)$. It is proved that ${P}(K, A)$ is an $A$-valued uniform algebra and that, under certain conditions, it is isometrically isomorphic to the injective tensor product $\mathcal{P}_N(K)\hat\otimes_\epsilon A$, where $\mathcal{P}_N(K)$ is the uniform algebra on $K$ generated by nuclear scalar-valued polynomials. The character space of ${P}(K, A)$ is then identified with $\hat{K}_N\times \mathfrak{M}(A)$, where $\hat K_N$ is the nuclear polynomially convex hull of $K$ in $E$, and $\mathfrak{M}(A)$ is the character space of $A$.


title: Long-term accuracy of numerical approximations of SPDEs with the stochastic Navier-Stokes equations as a paradigm

abstract: This work introduces a general framework for establishing the long time accuracy for approximations of Markovian dynamical systems on separable Banach spaces. Our results illuminate the role that a certain uniformity in Wasserstein contraction rates for the approximating dynamics bears on long time accuracy estimates. In particular, our approach yields weak consistency bounds on $\mathbb{R}^+$ while providing a means to sidestepping a commonly occurring situation where certain higher order moment bounds are unavailable for the approximating dynamics. Additionally, to facilitate the analytical core of our approach, we develop a refinement of certain `weak Harris theorems'. This extension expands the scope of applicability of such Wasserstein contraction estimates to a variety of interesting SPDE examples involving weaker dissipation or stronger nonlinearity than would be covered by the existing literature. As a guiding and paradigmatic example, we apply our formalism to the stochastic 2D Navier-Stokes equations and to a semi-implicit in time and spectral Galerkin in space numerical approximation of this system. In the case of a numerical approximation, we establish quantitative estimates on the approximation of invariant measures as well as prove weak consistency on $\mathbb{R}^+$. To develop these numerical analysis results, we provide a refinement of $L^2_x$ accuracy bounds in comparison to the existing literature which are results of independent interest.

categories: math.NA cs.NA math-ph math.AP math.MP math.PR


title: Trap-Integrated Superconducting Nanowire Single-Photon Detectors with Improved RF Tolerance for Trapped-Ion Qubit State Readout

abstract: State readout of trapped-ion qubits with trap-integrated detectors can address important challenges for scalable quantum computing, but the strong rf electric fields used for trapping can impact detector performance. Here, we report on NbTiN superconducting nanowire single-photon detectors (SNSPDs) employing grounded aluminum mirrors as electrical shielding that are integrated into linear surface-electrode rf ion traps. The shielded SNSPDs can be successfully operated at applied rf trapping potentials of up to $\mathrm{54\,V_{peak}}$ at $\mathrm{70\,MHz}$ and temperatures of up to $\mathrm{6\,K}$, with a maximum system detection efficiency of $\mathrm{68\,\%}$. This performance should be sufficient to enable parallel high-fidelity state readout of a wide range of trapped ion species in typical cryogenic apparatus.

categories: quant-ph cond-mat.supr-con physics.app-ph physics.atom-ph physics.ins-det


title: Gradient Descent with Linearly Correlated Noise: Theory and Applications to Differential Privacy

abstract: We study gradient descent under linearly correlated noise. Our work is motivated by recent practical methods for optimization with differential privacy (DP), such as DP-FTRL, which achieve strong performance in settings where privacy amplification techniques are infeasible (such as in federated learning). These methods inject privacy noise through a matrix factorization mechanism, making the noise linearly correlated over iterations. We propose a simplified setting that distills key facets of these methods and isolates the impact of linearly correlated noise. We analyze the behavior of gradient descent in this setting, for both convex and non-convex functions. Our analysis is demonstrably tighter than prior work and recovers multiple important special cases exactly (including anticorrelated perturbed gradient descent). We use our results to develop new, effective matrix factorizations for differentially private optimization, and highlight the benefits of these factorizations theoretically and empirically.


title: Benchmarking Algorithms for Submodular Optimization Problems Using IOHProfiler

abstract: Submodular functions play a key role in the area of optimization as they allow to model many real-world problems that face diminishing returns. Evolutionary algorithms have been shown to obtain strong theoretical performance guarantees for a wide class of submodular problems under various types of constraints while clearly outperforming standard greedy approximation algorithms. This paper introduces a setup for benchmarking algorithms for submodular optimization problems with the aim to provide researchers with a framework to enhance and compare the performance of new algorithms for submodular problems. The focus is on the development of iterative search algorithms such as evolutionary algorithms with the implementation provided and integrated into IOHprofiler which allows for tracking and comparing the progress and performance of iterative search algorithms. We present a range of submodular optimization problems that have been integrated into IOHprofiler and show how the setup can be used for analyzing and comparing iterative search algorithms in various settings.


title: Unsupervised learning of representative local atomic arrangements in molecular dynamics data

abstract: Molecular dynamics (MD) simulations present a data-mining challenge, given that they can generate a considerable amount of data but often rely on limited or biased human interpretation to examine their information content. By not asking the right questions of MD data we may miss critical information hidden within it. We combine dimensionality reduction (UMAP) and unsupervised hierarchical clustering (HDBSCAN) to quantitatively characterize the coordination environment of chemical species within MD data. By focusing on local coordination, we significantly reduce the amount of data to be analyzed by extracting all distinct molecular formulas within a given coordination sphere. We then efficiently combine UMAP and HDBSCAN with alignment or shape-matching algorithms to classify these formulas into distinct structural isomer families. The outcome is a quantitative mapping of the multiple coordination environments present in the MD data. The method was employed to reveal details of cation coordination in electrolytes based on molecular liquids.


title: Semi-dilute rheology of particle suspensions: derivation of Doi-type models

abstract: This work is devoted to the large-scale rheology of suspensions of non-Brownian inertialess rigid particles, possibly self-propelling, suspended in Stokes flow. Starting from a hydrodynamic model, we derive a semi-dilute mean-field description in form of a Doi-type model, which is given by a 'macroscopic' effective Stokes equation coupled with a 'microscopic' Vlasov equation for the statistical distribution of particle positions and orientations. This accounts for some non-Newtonian effects since the viscosity in the effective Stokes equation depends on the local distribution of particle orientations via Einstein's formula. The main difficulty is the detailed analysis of multibody hydrodynamic interactions between the particles, which we perform by means of a cluster expansion combined with a multipole expansion in a suitable dilute regime.


title: Cavity optomechanical mass sensor in water with sub-femtogram resolution

abstract: Sub-femtogram resolution of an in-liquid cavity optomechanical mass sensor based on the twin-microbottle glass resonator is demonstrated. An evaluation of the frequency stability using an optomechanical phase-locked loop reveals that this cavity optomechanical sensor has the highest mass resolution of $(7.0\times2.0)\times 10^{-16}$ g in water, which is four orders of magnitude better than that in our first-generation setup [Sci. Adv. 8, eabq2502 (2022)]. This highly sensitive mass sensor provides a free-access optomechanical probe in liquid and could thus be extended to a wide variety of in-situ chemical and biological metrology applications.


title: String-net models for pivotal bicategories

abstract: We develop a string-net construction of a modular functor whose algebraic input is a pivotal bicategory; this extends the standard construction based on a spherical fusion category. An essential ingredient in our construction is a graphical calculus for pivotal bicategories, which we express in terms of a category of colored corollas. The globalization of this calculus to oriented surfaces yields the bicategorical string-net spaces as colimits. We show that every rigid separable Frobenius functor between strictly pivotal bicategories induces linear maps between the corresponding bicategorical string-net spaces that are compatible with the mapping class group actions and with sewing. Our results are inspired by and have applications to the description of correlators in two-dimensional conformal field theories.


title: Ultraviolet superradiance from mega-networks of tryptophan in biological architectures

abstract: Networks of tryptophan -- an aromatic amino acid with strong fluorescent response -- are ubiquitous in biological systems, forming diverse architectures in transmembrane proteins, cytoskeletal filaments, sub-neuronal elements, photoreceptor complexes, virion capsids, and other cellular structures. We analyze the cooperative effects induced by ultraviolet (UV) excitation of several biologically relevant tryptophan mega-networks, thus giving insight into novel mechanisms for cellular signalling and control. Our theoretical analysis in the single-excitation manifold predicts the formation of strongly superradiant states due to collective interactions among organized arrangements of up to more than $10^5$ tryptophan UV-excited transition dipoles in microtubule architectures, which leads to an enhancement of the fluorescence quantum yield that is confirmed by our experiments. We demonstrate the observed consequences of this superradiant behavior in the fluorescence quantum yield for hierarchically organized tubulin structures, which increases in different geometric regimes at thermal equilibrium before saturation -- highlighting the effect's persistence in the presence of disorder.

categories: quant-ph cond-mat.mes-hall physics.bio-ph physics.optics


title: Learning to Optimize for Reinforcement Learning

abstract: In recent years, by leveraging more data, computation, and diverse tasks, learned optimizers have achieved remarkable success in supervised learning, outperforming classical hand-designed optimizers. Reinforcement learning (RL) is essentially different from supervised learning, and in practice, these learned optimizers do not work well even in simple RL tasks. We investigate this phenomenon and identify two issues. First, the agent-gradient distribution is non-independent and identically distributed, leading to inefficient meta-training. Moreover, due to highly stochastic agent-environment interactions, the agent-gradients have high bias and variance, which increases the difficulty of learning an optimizer for RL. We propose pipeline training and a novel optimizer structure with a good inductive bias to address these issues, making it possible to learn an optimizer for reinforcement learning from scratch. We show that, although only trained in toy tasks, our learned optimizer can generalize to unseen complex tasks in Brax.


title: User-centric Heterogeneous-action Deep Reinforcement Learning for Virtual Reality in the Metaverse over Wireless Networks

abstract: The Metaverse is emerging as maturing technologies are empowering the different facets. Virtual Reality (VR) technologies serve as the backbone of the virtual universe within the Metaverse to offer a highly immersive user experience. As mobility is emphasized in the Metaverse context, VR devices reduce their weights at the sacrifice of local computation abilities. In this paper, for a system consisting of a Metaverse server and multiple VR users, we consider two cases of (i) the server generating frames and transmitting them to users, and (ii) users generating frames locally and thus consuming device energy. Moreover, in our multi-user VR scenario for the Metaverse, users have different characteristics and demands for Frames Per Second (FPS). Then the channel access arrangement (including the decisions on frame generation location), and transmission powers for the downlink communications from the server to the users are jointly optimized to improve the utilities of users. This joint optimization is addressed by deep reinforcement learning (DRL) with heterogeneous actions. Our proposed user-centric DRL algorithm is called User-centric Critic with Heterogenous Actors (UCHA). Extensive experiments demonstrate that our UCHA algorithm leads to remarkable results under various requirements and constraints.


title: Effect of iron thicknesses on spin transport in a Fe/Au bilayer system

abstract: This paper is concerned with a theoretical analysis of the behavior of optically excited spin currents in bilayer and multilayer systems of ferromagnetic and normal metals. As the propagation, control and manipulation of the spin currents created in ferromagnets by femtosecond optical pulses is of particular interest, we examine the influence of different thicknesses of the constituent layers for the case of electrons excited several electronvolts above the Fermi level. Using a Monte-Carlo simulation framework for such highly excited electrons, we first examine the spatio-temporal characteristics of the spin current density driven in a Fe layer, where the absorption profile of the light pulses plays an important role. Further, we examine how the combination of light absorption profiles, spin-dependent transmission probabilities, and iron layer thicknesses affect spin current density in a Fe/Au bilayer system. For high-energy electrons studied here, the interface and secondary electron generation have a small influence on spin transport in the bilayer system. However, we find that spin injection from one layer to another is most effective within a certain range of iron layer thicknesses.


title: Holomorphic functions on the lie ball and their monogenic counterparts

abstract: The Cauchy integral formula in Clifford analysis allows us to associate a holomorphic function $\tilde f:L_n\to \C$ on the Lie ball $L_n$ in $\C^n$ with its monogenic counterpart $f:B_1(0)\to \C^{n+1}$ via the formula $\tilde f(z) = \int_{S^n}G_\om(z)\bs n(\om)f(\om)\,d\mu(\om)$, $z\in L_n.$ The inverse map $\tilde f\mapsto f$ is constructed here using the Cauchy-Hua formula for the Lie ball following the work of M. Morimoto \cite{Mori2}.


title: Defensive ML: Defending Architectural Side-channels with Adversarial Obfuscation

abstract: Side-channel attacks that use machine learning (ML) for signal analysis have become prominent threats to computer security, as ML models easily find patterns in signals. To address this problem, this paper explores using Adversarial Machine Learning (AML) methods as a defense at the computer architecture layer to obfuscate side channels. We call this approach Defensive ML, and the generator to obfuscate signals, defender. Defensive ML is a workflow to design, implement, train, and deploy defenders for different environments. First, we design a defender architecture given the physical characteristics and hardware constraints of the side-channel. Next, we use our DefenderGAN structure to train the defender. Finally, we apply defensive ML to thwart two side-channel attacks: one based on memory contention and the other on application power. The former uses a hardware defender with ns-level response time that attains a high level of security with half the performance impact of a traditional scheme; the latter uses a software defender with ms-level response time that provides better security than a traditional scheme with only 70% of its power overhead.


title: Numerical solutions to an inverse problem for a non-linear Helmholtz equation

abstract: In this work, we construct numerical solutions to an inverse problem of a nonlinear Helmholtz equation defined in a spherical shell between two concentric spheres centered at the origin.Assuming that the values of the forward problem are known at sufficiently many points, we would like to determine the form of the non-linear term on the right-hand side of the equation via its Chebyshev coefficients.


title: Challenges and Successes of Emergency Online Teaching in Statistics Courses

abstract: As the COVID-19 pandemic took hold in early months of 2020, education at all levels was pushed to emergency fully remote, online formats. This emergency shift affected all aspects of teaching and learning with very little notice and often with limited resources. Educators were required to convert entire courses online and shift to remote instructional approaches practically overnight. Students found themselves enrolled in online courses without choice and struggling to adjust to their new learning environments. This article highlights some of the challenges and successes of teaching emergency online undergraduate statistics courses. In particular, we discuss challenges and successes related to (1) technology, (2) classroom community and feedback, and (3) student-content engagement. We also reflect on the opportunity to continue to enhance and enrich the learning experiences of our students by utilizing some of the lessons learned from emergency online teaching as new permanent online statistics courses are developed and/or moved back into the classroom.


title: A Reduction-based Framework for Sequential Decision Making with Delayed Feedback

abstract: We study stochastic delayed feedback in general multi-agent sequential decision making, which includes bandits, single-agent Markov decision processes (MDPs), and Markov games (MGs). We propose a novel reduction-based framework, which turns any multi-batched algorithm for sequential decision making with instantaneous feedback into a sample-efficient algorithm that can handle stochastic delays in sequential decision making. By plugging different multi-batched algorithms into our framework, we provide several examples demonstrating that our framework not only matches or improves existing results for bandits, tabular MDPs, and tabular MGs, but also provides the first line of studies on delays in sequential decision making with function approximation. In summary, we provide a complete set of sharp results for multi-agent sequential decision making with delayed feedback.


title: Clustered Embedding Learning for Recommender Systems

abstract: In recent years, recommender systems have advanced rapidly, where embedding learning for users and items plays a critical role. A standard method learns a unique embedding vector for each user and item. However, such a method has two important limitations in real-world applications: 1) it is hard to learn embeddings that generalize well for users and items with rare interactions on their own; and 2) it may incur unbearably high memory costs when the number of users and items scales up. Existing approaches either can only address one of the limitations or have flawed overall performances. In this paper, we propose Clustered Embedding Learning (CEL) as an integrated solution to these two problems. CEL is a plug-and-play embedding learning framework that can be combined with any differentiable feature interaction model. It is capable of achieving improved performance, especially for cold users and items, with reduced memory cost. CEL enables automatic and dynamic clustering of users and items in a top-down fashion, where clustered entities jointly learn a shared embedding. The accelerated version of CEL has an optimal time complexity, which supports efficient online updates. Theoretically, we prove the identifiability and the existence of a unique optimal number of clusters for CEL in the context of nonnegative matrix factorization. Empirically, we validate the effectiveness of CEL on three public datasets and one business dataset, showing its consistently superior performance against current state-of-the-art methods. In particular, when incorporating CEL into the business model, it brings an improvement of $+0.6\%$ in AUC, which translates into a significant revenue gain; meanwhile, the size of the embedding table gets $2650$ times smaller.


title: Absence of extended atmospheres in low-mass star radius-gap planets GJ 9827 b, GJ 9827 d and TOI-1235 b

abstract: \textit{Kepler} showed a paucity of planets with radii of 1.5 - 2 $\mathrm R_{\oplus}$ around solar mass stars but this radius-gap has not been well studied for low-mass star planets. Energy-driven escape models like photoevaporation and core-powered mass-loss predict opposing transition regimes between rocky and non-rocky planets when compared to models depicting planets forming in gas-poor environments. Here we present transit observations of three super-Earth sized planets in the radius-gap around low-mass stars using high-dispersion InfraRed Doppler (IRD) spectrograph on the Subaru 8.2m telescope. The planets GJ 9827 b and d orbit around a K6V star and TOI-1235 b orbits a M0.5 star. We limit any planet-related absorption in the 1083.3 nm lines of triplet He I by placing an upper-limit on the equivalent width of 14.71 m{\AA}, 18.39 m{\AA}, and 1.44 m{\AA}, for GJ 9827 b (99% confidence), GJ 9827 d (99% confidence) and TOI-1235 b (95% confidence) respectively. Using a Parker wind model, we cap the mass-loss at $>$0.25 $\mathrm M_{\oplus}$ Gyr$^{-1}$ and $>$0.2 $\mathrm M_{\oplus}$ Gyr$^{-1}$ for GJ 9827 b and d, respectively (99% confidence), and $>$0.05 $\mathrm M_{\oplus}$ Gyr$^{-1}$ for TOI-1235 b (95\% confidence) for a representative wind temperature of 5000 K. Our observed results for the three planets are more consistent with the predictions from photoevaporation and/or core-powered mass-loss models than the gas-poor formation models. However, more planets in the radius-gap regime around the low-mass stars are needed to robustly predict the atmospheric evolution in planets around low-mass stars.


title: Transport and noise of hot electrons in GaAs using a semi-analytical model of two-phonon polar optical phonon scattering

abstract: Recent ab-initio studies of electron transport in GaAs have reported that electron-phonon (e-ph) interactions beyond the lowest order play a fundamental role in charge transport and noise phenomena. Inclusion of the next-leading-order process in which an electron scatters with two phonons was found to yield good agreement for the high-field drift velocity, but the characteristic non-monotonic trend of the power spectral density of current fluctuations (PSD) with electric field was not predicted. The high computational cost of the ab-initio approach necessitated various approximations to the two-phonon scattering term, which were suggested as possible origins of the discrepancy. Here, we report a semi-analytical transport model of two-phonon electron scattering via the Fr\"ohlich mechanism, allowing a number of the approximations in the ab-initio treatment to be lifted while retaining the accuracy to within a few percent. We compare the calculated and experimental transport and noise properties as well as scattering rates measured by photoluminescence experiments. We find quantitative agreement within 15% for the drift velocity and 25% for the $\Gamma$ valley scattering rates, and agreement with the $\Gamma-L$ intervalley scattering rates within a factor of two. Considering these results and prior studies of current noise in GaAs, we conclude that the most probable origin of the non-monotonic PSD trend versus electric field is the formation of space charge domains rather than intervalley scattering as has been assumed.


title: First order rigidity of homeomorphism groups of manifolds

abstract: For every compact, connected manifold $M$, we prove the existence of a sentence $\phi_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $\phi_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure.


title: Collective terahertz fluctuation modes in a polariton laser

abstract: A polariton Bardeen-Cooper-Schrieffer (BCS) state in a semiconductor microcavity is an example of symmetry-broken states in open systems. Fluctuations of the order parameter are an important tool to characterize such a state. With the condensate formed by composite particles, the set of zero-momentum fluctuations spans an infinite-dimensional electron-hole mode subspace. We show that collective fluctuation modes with orbital angular momentum different from that of the order parameter can be obtained with terahertz radiation, and that a physical manifestation of such modes, which are not Higgs modes, can be terahertz gain.


title: SPADE: Self-supervised Pretraining for Acoustic DisEntanglement

abstract: Self-supervised representation learning approaches have grown in popularity due to the ability to train models on large amounts of unlabeled data and have demonstrated success in diverse fields such as natural language processing, computer vision, and speech. Previous self-supervised work in the speech domain has disentangled multiple attributes of speech such as linguistic content, speaker identity, and rhythm. In this work, we introduce a self-supervised approach to disentangle room acoustics from speech and use the acoustic representation on the downstream task of device arbitration. Our results demonstrate that our proposed approach significantly improves performance over a baseline when labeled training data is scarce, indicating that our pretraining scheme learns to encode room acoustic information while remaining invariant to other attributes of the speech signal.


title: Rational Angle Sets and Tight t-Designs

abstract: Given a finite subset of a sphere or projective space, known as a design, we can compute the strength and angle set of that design. When the strength and angle set meet certain bounds, the design is called tight. Hoggar sought to prove that, aside from certain known cases, the angle sets of tight projective designs must be rational. Lyubich found a counter-example and provided a repair for Hoggar's proof but excluded the exceptional octonion projective cases. This note extends Lyubich's repair of Hoggar's proof to the remaining projective cases and extends the proof to all spherical cases. It does so by using Jordan algebra primitive idempotents to treat all of the cases simultaneously. We thereby confirm that tight spherical and projective designs have rational angle sets except in specific cases.


title: High-dimensional entanglement-enabled holography for quantum encryption

abstract: As an important imaging technique, holography has been realized with different physical dimensions of light,including polarization, wavelength, and time. Recently, quantum holography has been realized by utilizing polarization entangled state with the advantages of high robustness and enhanced spatial resolution, comparing with classical one. However, the polarization is only a two-dimensional degree of freedom, which greatly limits the capacity of quantum holography. Here, we propose a method to realize high-dimensional quantum holography by using high-dimensional orbital angular momentum (OAM) entanglement. A high capacity OAM-encoded quantum holographic system can be obtained by multiplexing a wide range of OAM-dependent holographic images. Proof-of-principle experiments with four- and six-dimensional OAM entangled states have been implemented and verify the feasibility of our idea. Our experimental results also demonstrate that the high-dimensional quantum holography shows a high robustness to classical noise. Furthermore, OAMselective holographic scheme for quantum encryption is proposed and demonstrated. Comparing with the previous schemes, the level of security of holographic imaging encryption system can be greatly improved in our high-dimensional quantum holography.


title: Xtal2DoS: Attention-based Crystal to Sequence Learning for Density of States Prediction

abstract: Modern machine learning techniques have been extensively applied to materials science, especially for property prediction tasks. A majority of these methods address scalar property predictions, while more challenging spectral properties remain less emphasized. We formulate a crystal-to-sequence learning task and propose a novel attention-based learning method, Xtal2DoS, which decodes the sequential representation of the material density of states (DoS) properties by incorporating the learned atomic embeddings through attention networks. Experiments show Xtal2DoS is faster than the existing models, and consistently outperforms other state-of-the-art methods on four metrics for two fundamental spectral properties, phonon and electronic DoS.


title: Conflict-Avoiding Codes of Prime Lengths and Cyclotomic Numbers

abstract: The problem to construct optimal conflict-avoiding codes of even lengths and the Hamming weight $3$ is completely settled. On the contrary, it is still open for odd lengths. It turns out that the prime lengths are the fundamental cases needed to be constructed. In the article, we study conflict-avoiding codes of prime lengths and give a connection with the so-called cyclotomic numbers. By having some nonzero cyclotomic numbers, a well-known algorithm for constructing optimal conflict-avoiding codes will work for certain prime lengths. As a consequence, we are able to answer the size of optimal conflict-avoiding code for a new class of prime lengths.


title: Perfect is the enemy of test oracle

abstract: Automation of test oracles is one of the most challenging facets of software testing, but remains comparatively less addressed compared to automated test input generation. Test oracles rely on a ground-truth that can distinguish between the correct and buggy behavior to determine whether a test fails (detects a bug) or passes. What makes the oracle problem challenging and undecidable is the assumption that the ground-truth should know the exact expected, correct, or buggy behavior. However, we argue that one can still build an accurate oracle without knowing the exact correct or buggy behavior, but how these two might differ. This paper presents SEER, a learning-based approach that in the absence of test assertions or other types of oracle, can determine whether a unit test passes or fails on a given method under test (MUT). To build the ground-truth, SEER jointly embeds unit tests and the implementation of MUTs into a unified vector space, in such a way that the neural representation of tests are similar to that of MUTs they pass on them, but dissimilar to MUTs they fail on them. The classifier built on top of this vector representation serves as the oracle to generate "fail" labels, when test inputs detect a bug in MUT or "pass" labels, otherwise. Our extensive experiments on applying SEER to more than 5K unit tests from a diverse set of open-source Java projects show that the produced oracle is (1) effective in predicting the fail or pass labels, achieving an overall accuracy, precision, recall, and F1 measure of 93%, 86%, 94%, and 90%, (2) generalizable, predicting the labels for the unit test of projects that were not in training or validation set with negligible performance drop, and (3) efficient, detecting the existence of bugs in only 6.5 milliseconds on average.