title: Boomerang: Local sampling on image manifolds using diffusion models

abstract: The inference stage of diffusion models can be seen as running a reverse-time diffusion stochastic differential equation, where samples from a Gaussian latent distribution are transformed into samples from a target distribution that usually reside on a low-dimensional manifold, e.g., an image manifold. The intermediate values between the initial latent space and the image manifold can be interpreted as noisy images, with the amount of noise determined by the forward diffusion process noise schedule. We utilize this interpretation to present Boomerang, an approach for local sampling of image manifolds. As implied by its name, Boomerang local sampling involves adding noise to an input image, moving it closer to the latent space, and then mapping it back to the image manifold through a partial reverse diffusion process. Thus, Boomerang generates images on the manifold that are ``similar,'' but nonidentical, to the original input image. We can control the proximity of the generated images to the original by adjusting the amount of noise added. Furthermore, due to the stochastic nature of the reverse diffusion process in Boomerang, the generated images display a certain degree of stochasticity, allowing us to obtain local samples from the manifold without encountering any duplicates. Boomerang offers the flexibility to work seamlessly with any pretrained diffusion model, such as Stable Diffusion, without necessitating any adjustments to the reverse diffusion process. We present three applications for Boomerang. First, we provide a framework for constructing privacy-preserving datasets having controllable degrees of anonymity. Second, we show that using Boomerang for data augmentation increases generalization performance and outperforms state-of-the-art synthetic data augmentation. Lastly, we introduce a perceptual image enhancement framework, which enables resolution enhancement.


title: Neural Network Approximations of PDEs Beyond Linearity: A Representational Perspective

abstract: A burgeoning line of research leverages deep neural networks to approximate the solutions to high dimensional PDEs, opening lines of theoretical inquiry focused on explaining how it is that these models appear to evade the curse of dimensionality. However, most prior theoretical analyses have been limited to linear PDEs. In this work, we take a step towards studying the representational power of neural networks for approximating solutions to nonlinear PDEs. We focus on a class of PDEs known as \emph{nonlinear elliptic variational PDEs}, whose solutions minimize an \emph{Euler-Lagrange} energy functional $\mathcal{E}(u) = \int_\Omega L(x, u(x), \nabla u(x)) - f(x) u(x)dx$. We show that if composing a function with Barron norm $b$ with partial derivatives of $L$ produces a function of Barron norm at most $B_L b^p$, the solution to the PDE can be $\epsilon$-approximated in the $L^2$ sense by a function with Barron norm $O\left(\left(dB_L\right)^{\max\{p \log(1/ \epsilon), p^{\log(1/\epsilon)}\}}\right)$. By a classical result due to Barron [1993], this correspondingly bounds the size of a 2-layer neural network needed to approximate the solution. Treating $p, \epsilon, B_L$ as constants, this quantity is polynomial in dimension, thus showing neural networks can evade the curse of dimensionality. Our proof technique involves neurally simulating (preconditioned) gradient in an appropriate Hilbert space, which converges exponentially fast to the solution of the PDE, and such that we can bound the increase of the Barron norm at each iterate. Our results subsume and substantially generalize analogous prior results for linear elliptic PDEs over a unit hypercube.


title: The effective complex heavy-quark potential in an anisotropic quark-gluon plasma

abstract: We introduce a method for reducing anisotropic heavy-quark potentials to isotropic potentials by using an effective screening mass that depends on the quantum numbers $l$ and $m$ of a given state. We demonstrate that, using the resulting 1D effective potential model, one can solve a 1D Schr\"odinger equation and reproduce the full 3D results for the energies and binding energies of low-lying heavy-quarkonium bound states to relatively high accuracy. This includes the splitting of different p-wave polarizations. The resulting 1D effective model provides a way to include momentum anisotropy effects in open quantum system simulations of heavy-quarkonium dynamics in the quark-gluon plasma.


title: Almost all 9-regular graphs have a modulo-5 orientation

abstract: In 1972 Tutte famously conjectured that every 4-edge-connected graph has a nowhere zero 3-flow; this is known to be equivalent to every 5-regular, 4-edge-connected graph having an edge orientation in which every in-degree is either 1 or 4. Jaeger conjectured a generalization of Tutte's conjecture, namely, that every $4p+1$-regular, $4p$-edge-connected graph has an edge orientation in which every in-degree is either $p$ or $3p+1$. Inspired by the work of Pralat and Wormald investigating $p=1$, for $p=2$ we show this holds asymptotically almost surely for random 9-regular graphs. It follows that the conjecture holds for almost all 9-regular, 8-edge-connected graphs. These results make use of the technical small subgraph conditioning method.


title: XAI for transparent wind turbine power curve models

abstract: Accurate wind turbine power curve models, which translate ambient conditions into turbine power output, are crucial for wind energy to scale and fulfill its proposed role in the global energy transition. While machine learning (ML) methods have shown significant advantages over parametric, physics-informed approaches, they are often criticised for being opaque 'black boxes', which hinders their application in practice. We apply Shapley values, a popular explainable artificial intelligence (XAI) method, and the latest findings from XAI for regression models, to uncover the strategies ML models have learned from operational wind turbine data. Our findings reveal that the trend towards ever larger model architectures, driven by a focus on test set performance, can result in physically implausible model strategies. Therefore, we call for a more prominent role of XAI methods in model selection. Moreover, we propose a practical approach to utilize explanations for root cause analysis in the context of wind turbine performance monitoring. This can help to reduce downtime and increase the utilization of turbines in the field.


title: Collective enhancement in the exciton model

abstract: The pre-equilibrium reaction mechanism is considered in the context of the exciton model. A modification to the one-particle one-hole state density is studied which can be interpreted as a collective enhancement. The magnitude of the collective enhancement is set by simulating the Lawrence Livermore National Laboratory (LLNL) pulsed-spheres neutron-leakage spectra. The impact of the collective enhancement is explored in the context of the highly deformed actinide, 239-Pu. A consequence of this enhancement is the removal of fictitious levels in the Distorted-Wave Born Approximation often used in modern nuclear reaction codes.


title: The mass-conversion method: a hybrid technique for simulating well-mixed chemical reaction networks

abstract: There exist several methods for simulating biological and physical systems as represented by chemical reaction networks. Systems with low numbers of particles are frequently modelled as discrete-state Markov jump processes and are typically simulated via a stochastic simulation algorithm (SSA). An SSA, while accurate, is often unsuitable for systems with large numbers of individuals, and can become prohibitively expensive with increasing reaction frequency. Large systems are often modelled deterministically using ordinary differential equations, sacrificing accuracy and stochasticity for computational efficiency and analytical tractability. In this paper, we present a novel hybrid technique for the accurate and efficient simulation of large chemical reaction networks. This technique, which we name the mass-conversion method, couples a discrete-state Markov jump process to a system of ordinary differential equations by simulating a reaction network using both techniques simultaneously. Individual molecules in the network are represented by exactly one regime at any given time, and may switch their governing regime depending on particle density. In this manner, we model high copy-number species using the cheaper continuum method and low copy-number species using the more expensive, discrete-state stochastic method to preserve the impact of stochastic fluctuations at low copy number. The motivation, as with similar methods, is to retain the advantages while mitigating the shortfalls of each method. We demonstrate the performance and accuracy of our method for several test problems that exhibit varying degrees of inter-connectivity and complexity by comparing averaged trajectories obtained from both our method and from exact stochastic simulation.


title: Asymptotic results for the absorption time of telegraph processes with a non-standard barrier at the origin

abstract: A telegraph process with an elastic barrier at the origin was studied in [5]; in particular the number of visits of the origin before the absorption is a geometric distributed random variable M. Some asymptotic results (large and moderate deviations) for that model were obtained in [17]. In this paper we study large and moderate deviations for a generalized model where M is a light-tailed distributed random variable.


title: Adversarial Permutation Invariant Training for Universal Sound Separation

abstract: Universal sound separation consists of separating mixes with arbitrary sounds of different types, and permutation invariant training (PIT) is used to train source agnostic models that do so. In this work, we complement PIT with adversarial losses but find it challenging with the standard formulation used in speech source separation. We overcome this challenge with a novel I-replacement context-based adversarial loss, and by training with multiple discriminators. Our experiments show that by simply improving the loss (keeping the same model and dataset) we obtain a non-negligible improvement of 1.4 dB SI-SNRi in the reverberant FUSS dataset. We also find adversarial PIT to be effective at reducing spectral holes, ubiquitous in mask-based separation models, which highlights the potential relevance of adversarial losses for source separation.


title: Entanglement and negativity Hamiltonians for the massless Dirac field on the half line

abstract: We study the ground-state entanglement Hamiltonian of several disjoint intervals for the massless Dirac fermion on the half-line. Its structure consists of a local part and a bi-local term that couples each point to another one in each other interval. The bi-local operator can be either diagonal or mixed in the fermionic chiralities and it is sensitive to the boundary conditions. The knowledge of such entanglement Hamiltonian is the starting point to evaluate the negativity Hamiltonian, i.e. the logarithm of the partially transposed reduced density matrix, which is an operatorial characterisation of entanglement of subsystems in a mixed states. We find that the negativity Hamiltonian inherits the structure of the corresponding entanglement Hamiltonian. We finally show how the continuum expressions for both these operators can be recovered from exact numerical computations in free-fermion chains.


title: Coherent optical two-photon resonance tomographic imaging in three dimensions

abstract: Three-dimensional imaging is one of the crucial tools of modern sciences, that allows non-invasive inspection of physical objects. We propose and demonstrate a method to reconstruct a three-dimensional structure of coherence stored in an atomic ensemble. Our method relies on time-and-space resolved heterodyne measurement that allows the reconstruction of a complex three-dimensional profile of the coherence with a single measurement of the light emitted from the ensemble. Our tomographic technique provides a robust diagnostic tool for various atom-based quantum information protocols and could be applied to three-dimensional magnetometry, electrometry and imaging of electromagnetic fields.


title: Influence of compressive strain on the hydrogen storage capabilities of graphene: A density functional theory study

abstract: Pristine graphene is not suitable for hydrogen storage at ambient conditions since it binds the hydrogen molecules only by van der Waals interactions. However, the adsorption energy of the hydrogen molecules can be improved by doping or decorating metal atoms on the graphene monolayer. The doping and decoration processes are challenging due to the oxygen interference in hydrogen adsorption and the clustering issue of metal atoms. To improve the hydrogen adsorption energy in pristine graphene, we have explored the hydrogen storage capabilities of graphene monolayer in the presence of compressive strain. We found that at 6 % of biaxial compressive strain, a 4*4*1 supercell of graphene can adsorb 10 H$_2$ molecules above the graphene surface. The average binding energy of H$_2$ for this configuration is found to be -0.42 eV/H$_2$, which is very suitable for reversible hydrogen adsorption. We propose that a 4*4*1 supercell of graphene can adsorb a total number of 20 H$_2$ molecules leading to a high hydrogen uptake of 9.4 %. The interaction between orbitals of carbon and hydrogen atoms and the charge transfer process have been studied by plotting the partial density of states and surface charge density plots. The electronic density around the C-C bonds of graphene increases in the presence of compressive strain, due to which hydrogen molecules are strongly adsorbed.


title: Describing Sets of Images with Textual-PCA

abstract: We seek to semantically describe a set of images, capturing both the attributes of single images and the variations within the set. Our procedure is analogous to Principle Component Analysis, in which the role of projection vectors is replaced with generated phrases. First, a centroid phrase that has the largest average semantic similarity to the images in the set is generated, where both the computation of the similarity and the generation are based on pretrained vision-language models. Then, the phrase that generates the highest variation among the similarity scores is generated, using the same models. The next phrase maximizes the variance subject to being orthogonal, in the latent space, to the highest-variance phrase, and the process continues. Our experiments show that our method is able to convincingly capture the essence of image sets and describe the individual elements in a semantically meaningful way within the context of the entire set. Our code is available at: https://github.com/OdedH/textual-pca.


title: Multitask Brain Tumor Inpainting with Diffusion Models: A Methodological Report

abstract: Despite the ever-increasing interest in applying deep learning (DL) models to medical imaging, the typical scarcity and imbalance of medical datasets can severely impact the performance of DL models. The generation of synthetic data that might be freely shared without compromising patient privacy is a well-known technique for addressing these difficulties. Inpainting algorithms are a subset of DL generative models that can alter one or more regions of an input image while matching its surrounding context and, in certain cases, non-imaging input conditions. Although the majority of inpainting techniques for medical imaging data use generative adversarial networks (GANs), the performance of these algorithms is frequently suboptimal due to their limited output variety, a problem that is already well-known for GANs. Denoising diffusion probabilistic models (DDPMs) are a recently introduced family of generative networks that can generate results of comparable quality to GANs, but with diverse outputs. In this paper, we describe a DDPM to execute multiple inpainting tasks on 2D axial slices of brain MRI with various sequences, and present proof-of-concept examples of its performance in a variety of evaluation scenarios. Our model and a public online interface to try our tool are available at: https://github.com/Mayo-Radiology-Informatics-Lab/MBTI


title: Modelling Control Arguments via Cooperation Logic in Unforeseen Scenarios

abstract: The intent of control argumentation frameworks is to specifically model strategic scenarios from the perspective of an agent by extending the standard model of argumentation framework in a way that takes unquantified uncertainty regarding arguments and attacks into account. They do not, however, adequately account for coalition formation and interactions among a set of agents in an uncertain environment. To address this challenge, we propose a formalism of a multi-agent scenario via cooperation logic and investigate agents' strategies and actions in a dynamic environment.


title: Pedestrian Emergency Braking in Ten Weeks

abstract: In the last decade, research in the field of autonomous vehicles has grown immensely, and there is a wealth of information available for researchers to rapidly establish an autonomous vehicle platform for basic maneuvers. In this paper, we design, implement, and test, in ten weeks, a PD approach to longitudinal control for pedestrian emergency braking. We also propose a lateral controller with a similar design for future testing in lane following. Using widely available tools, we demonstrate the safety of the vehicle in pedestrian emergency braking scenarios.


title: Error analysis for a Crouzeix-Raviart approximation of the $p$-Dirichlet problem

abstract: In the present paper, we examine a Crouzeix-Raviart approximation for non-linear partial differential equations having a $(p,\delta)$-structure for some $p\in (1,\infty)$ and $\delta\ge 0$. We establish a priori error estimates, which are optimal for all $p\in (1,\infty)$ and $\delta\ge 0$, medius error estimates, i.e., best-approximation results, and a primal-dual a posteriori error estimate, which is both reliable and efficient. The theoretical findings are supported by numerical experiments.


title: Triangular Kondo lattice in $\mathrm{YbV_6Sn_6}$ and its quantum critical behaviors in magnetic field

abstract: We report magnetization, heat capacity and electrical resistivity for a newly discovered heavy fermion (HF) compound $\mathrm{YbV_6Sn_6}$ which is crystallized in a hexagonal $\mathrm{HfFe_6Ge_6}$-type structure, highlighted by the stacking of triangular ytterbium sublattice and kagome vanadium sublattice. Above 2 K, $\mathrm{YbV_6Sn_6}$ shows typical HF properties due to the Kondo effect on the Kramers doublet of $\mathrm{Yb^{3+}}$ ions in crystal electric field. A remarkable magnetic ordering occurs at $T_{\mathrm{N}}$ = 0.40 K in zero field while a weak external field suppresses the ordering and induces non-Fermi liquid (NFL) behavior. In strong magnetic field the compound shows a heavy Fermi liquid state. $\mathrm{YbV_6Sn_6}$ presents as one of the few examples of Yb-based HF compounds hosting triangular Kondo lattice on which a magnetic field induces quantum criticality near zero temperature.


title: Classical Gravitational Observables from the Eikonal Operator

abstract: We propose two possible eikonal operators encoding the effects of classical radiation as coherent states of gravitons and show how to compute from them different classical observables. In the first proposal, only genuinely propagating gravitons are included, while, in the second, zero-frequency modes are added in order to recover the effects of a static gravitational field. We first calculate the radiated energy-momentum and the change in each particle's momentum, or impulse, to 3PM order finding agreement with the literature. We then calculate the angular momentum of the gravitational field after the collision. In order to do so, we adapt the method of reverse unitarity to the presence of derivatives in the operators describing the angular momentum and reproduce the result of~\cite{Manohar:2022dea} obtained by resumming the small-velocity expansion. As a new application, we derive also the variation in each particle's angular momentum up to 3PM: calculating separately field and particle contributions allows us to check the balance laws explicitly. We also show how the eikonal operator encodes the linear-response formula of Bini-Damour by deriving the linear radiation-reaction contribution to the transverse impulse at 4PM.


title: Tuning the inductance of Josephson junction arrays without SQUIDs

abstract: It is customary to use arrays of superconducting quantum interference devices (SQUIDs) for implementing magnetic field-tunable inductors. Here, we demonstrate an equivalent tunability in a (SQUID-free) array of single Al/AlOx/Al Josephson tunnel junctions. With the proper choice of junction geometry, a perpendicularly applied magnetic field bends along the plane of the superconductor and focuses into the tunnel barrier region due to a demagnetization effect. Consequently, the Josephson inductance can be efficiently modulated by the Fraunhoffer-type supercurrent interference. The elimination of SQUIDs not only simplifies the device design and fabrication, but also facilitates a denser packing of junctions and, hence, a higher inductance per unit length. As an example, we demonstrate a transmission line, the wave impedance of which is field-tuned in the range of $4-8~\textrm{k}\Omega$, centered around the important value of the resistance quantum $h/(2e)^2 \approx 6.5~\textrm{k}\Omega$.

categories: cond-mat.supr-con cond-mat.mes-hall physics.app-ph quant-ph


title: Optimisation of the SVOM satellite strategy for the rapid follow-up of gravitational wave events

abstract: The SVOM satellite, to be launched in early 2024, is primarily devoted to the multi-wavelength observation of gamma-ray bursts and other higher-energy transients. Thanks to its onboard Microchannel X-ray Telescope and Visible-band Telescope, it is also very well adapted to the electromagnetic follow-up of gravitational wave events. We discuss the SVOM rapid follow-up strategy for gravitational wave trigger candidates provided by LIGO-Virgo-KAGRA. In particular, we make use of recent developments of galaxy catalogs adapted to the horizon of gravitational wave detectors to optimise the chance of counterpart discovery. We also take into account constraints specific to the SVOM platform. Finally, we implement the production of the SVOM observation plan following a gravitational wave alert and quantify the efficiency of several optimisations introduced in this work.


title: Planet Engulfment Detections are Rare According to Observations and Stellar Modeling

abstract: Dynamical evolution within planetary systems can cause planets to be engulfed by their host stars. Following engulfment, the stellar photosphere abundance pattern will reflect accretion of rocky material from planets. Multi-star systems are excellent environments to search for such abundance trends because stellar companions form from the same natal gas cloud and are thus expected to share primordial chemical compositions to within 0.03$-$0.05 dex. Abundance measurements have occasionally yielded rocky enhancements, but few observations targeted known planetary systems. To address this gap, we carried out a Keck-HIRES survey of 36 multi-star systems where at least one star is a known planet host. We found that only HAT-P-4 exhibits an abundance pattern suggestive of engulfment, but is more likely primordial based on its large projected separation (30,000 $\pm$ 140 AU) that exceeds typical turbulence scales in molecular clouds. To understand the lack of engulfment detections among our systems, we quantified the strength and duration of refractory enrichments in stellar photospheres using MESA stellar models. We found that observable signatures from 10 $M_{\oplus}$ engulfment events last for $\sim$90 Myr in 1 $M_{\odot}$ stars. Signatures are largest and longest lived for 1.1$-$1.2 $M_{\odot}$ stars, but are no longer observable $\sim$2 Gyr post-engulfment. This indicates that engulfment will rarely be detected in systems that are several Gyr old.


title: Targeted active learning for probabilistic models

abstract: A fundamental task in science is to design experiments that yield valuable insights about the system under study. Mathematically, these insights can be represented as a utility or risk function that shapes the value of conducting each experiment. We present PDBAL, a targeted active learning method that adaptively designs experiments to maximize scientific utility. PDBAL takes a user-specified risk function and combines it with a probabilistic model of the experimental outcomes to choose designs that rapidly converge on a high-utility model. We prove theoretical bounds on the label complexity of PDBAL and provide fast closed-form solutions for designing experiments with common exponential family likelihoods. In simulation studies, PDBAL consistently outperforms standard untargeted approaches that focus on maximizing expected information gain over the design space. Finally, we demonstrate the scientific potential of PDBAL through a study on a large cancer drug screen dataset where PDBAL quickly recovers the most efficacious drugs with a small fraction of the total number of experiments.


title: Optimal Estimation with Sensor Delay

abstract: Given a plant subject to delayed sensor measurement, there are several approaches to compensate for the delay. An obvious approach is to address this problem in state space, where the $n$-dimensional plant state is augmented by an $N$-dimensional (Pad\'e) approximation to the delay, affording (optimal) state estimate feedback vis-\`a-vis the separation principle. Using this framework, we show: (1) Feedback of the estimated plant states partially inverts the delay; (2) The optimal (Kalman) estimator decomposes into $N$ (Pad\'e) uncontrollable states, and the remaining $n$ eigenvalues are the solution to a reduced-order Kalman filter problem. Further, we show that the tradeoff of estimation error (of the full state estimator) between plant disturbance and measurement noise, only depends on the reduced-order Kalman filter (that can be constructed independently of the delay); (3) A subtly modified version of this state-estimation-based control scheme bears close resemblance to a Smith predictor. This modified state-space approach shares several limitations with its Smith predictor analog (including the inability to stabilize most unstable plants), limitations that are alleviated when using the unmodified state estimation framework.


title: Equivariant Networks for Zero-Shot Coordination

abstract: Successful coordination in Dec-POMDPs requires agents to adopt robust strategies and interpretable styles of play for their partner. A common failure mode is symmetry breaking, when agents arbitrarily converge on one out of many equivalent but mutually incompatible policies. Commonly these examples include partial observability, e.g. waving your right hand vs. left hand to convey a covert message. In this paper, we present a novel equivariant network architecture for use in Dec-POMDPs that effectively leverages environmental symmetry for improving zero-shot coordination, doing so more effectively than prior methods. Our method also acts as a ``coordination-improvement operator'' for generic, pre-trained policies, and thus may be applied at test-time in conjunction with any self-play algorithm. We provide theoretical guarantees of our work and test on the AI benchmark task of Hanabi, where we demonstrate our methods outperforming other symmetry-aware baselines in zero-shot coordination, as well as able to improve the coordination ability of a variety of pre-trained policies. In particular, we show our method can be used to improve on the state of the art for zero-shot coordination on the Hanabi benchmark.


title: Uniform upper bound for the number of limit cycles of planar piecewise linear differential systems with two zones separated by a straight line

abstract: The existence of a uniform upper bound for the maximum number of limit cycles of planar piecewise linear differential systems with two zones separated by a straight line has been subject of interest of hundreds of papers. After more than 30 years of investigation since Lum-Chua's work, it has remained an open question whether this uniform upper bound exists or not. Here, we give a positive answer for this question by establishing the existence of a natural number $L^*\leq 8$ for which any planar piecewise linear differential system with two zones separated by a straight line has no more than $L^*$ limit cycles. The proof is obtained by combining a newly developed integral characterization of Poincar\'{e} half-maps for linear differential systems with an extension of Khovanski\u{\i}'s theory for investigating the number of intersection points between smooth curves and a particular kind of orbits of vector fields.


title: One-Shot Neural Fields for 3D Object Understanding

abstract: We present a unified and compact scene representation for robotics, where each object in the scene is depicted by a latent code capturing geometry and appearance. This representation can be decoded for various tasks such as novel view rendering, 3D reconstruction (e.g. recovering depth, point clouds, or voxel maps), collision checking, and stable grasp prediction. We build our representation from a single RGB input image at test time by leveraging recent advances in Neural Radiance Fields (NeRF) that learn category-level priors on large multiview datasets, then fine-tune on novel objects from one or few views. We expand the NeRF model for additional grasp outputs and explore ways to leverage this representation for robotics. At test-time, we build the representation from a single RGB input image observing the scene from only one viewpoint. We find that the recovered representation allows rendering from novel views, including of occluded object parts, and also for predicting successful stable grasps. Grasp poses can be directly decoded from our latent representation with an implicit grasp decoder. We experimented in both simulation and real world and demonstrated the capability for robust robotic grasping using such compact representation. Website: https://nerfgrasp.github.io


title: CFT$_D$ from TQFT$_{D+1}$ via Holographic Tensor Network, and Precision Discretisation of CFT$_2$

abstract: We show that the path-integral of conformal field theories in $D$ dimensions (CFT$_D$) can be constructed by solving for eigenstates of an RG operator following from the Turaev-Viro formulation of a topological field theory in $D+1$ dimensions (TQFT$_{D+1}$), explicitly realising the holographic sandwich relation between a symmetric theory and a TQFT. Generically, exact eigenstates corresponding to symmetric-TQFT$_D$ follow from Frobenius algebra in the TQFT$_{D+1}$. For $D=2$, we constructed eigenstates that produce 2D rational CFT path-integral exactly, which, curiously connects a continuous field theoretic path-integral with the Turaev-Viro state sum. We also devise and illustrate numerical methods for $D=2,3$ to search for CFT$_D$ as phase transition points between symmetric TQFT$_D$. Finally since the RG operator is in fact an exact analytic holographic tensor network, we compute ``bulk-boundary'' correlator and compare with the AdS/CFT dictionary at $D=2$. Promisingly, they are numerically compatible given our accuracy, although further works will be needed to explore the precise connection to the AdS/CFT correspondence.

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


title: Estimating and computing Kronecker Coefficients: a vector partition function approach

abstract: We study the Kronecker coefficients $g_{\lambda, \mu, \nu}$ via a formula that was described by Mishna, Rosas, and Sundaram, in which the coefficients are expressed as a signed sum of vector partition function evaluations. In particular, we use this formula to determine formulas to evaluate, bound, and estimate $g_{\lambda, \mu, \nu}$ in terms of the lengths of the partitions $\lambda, \mu$, and $\nu$. We describe a computational tool to compute Kronecker coefficients $g_{\lambda, \mu, \nu}$ with $\ell(\mu) \leq 2,\ \ell(\nu) \leq 4,\ \ell(\lambda) \leq 8$. We present a set of new vanishing conditions for the Kronecker coefficients by relating to the vanishing of the related atomic Kronecker coefficients, themselves given by a single vector partition function evaluation. We give a stable face of the Kronecker polyhedron for any positive integers $m,n$. Finally, we give upper bounds on both the atomic Kronecker coefficients and Kronecker coefficients.


title: Linear and fractional response for nonlinear dissipative SPDEs

abstract: A framework to establish response theory for a class of nonlinear stochastic partial differential equations (SPDEs) is provided. More specifically, it is shown that for a certain class of observables, the averages of those observables against the stationary measure of the SPDE are differentiable (linear response) or, under weaker conditions, locally H\"older continuous (fractional response) as functions of a deterministic additive forcing. The method allows to consider observables that are not necessarily differentiable. For such observables, spectral gap results for the Markov semigroup associated with the SPDE have recently been established that are fairly accessible. This is important here as spectral gaps are a major ingredient for establishing linear response. The results are applied to the 2D stochastic Navier-Stokes equation and the stochastic two-layer quasi-geostrophic model, an intermediate complexity model popular in the geosciences to study atmosphere and ocean dynamics. The physical motivation for studying the response to perturbations in the forcings for models in geophysical fluid dynamics comes from climate change and relate to the question as to whether statistical properties of the dynamics derived under current conditions will be valid under different forcing scenarios.


title: Graph Few-shot Learning with Task-specific Structures

abstract: Graph few-shot learning is of great importance among various graph learning tasks. Under the few-shot scenario, models are often required to conduct classification given limited labeled samples. Existing graph few-shot learning methods typically leverage Graph Neural Networks (GNNs) and perform classification across a series of meta-tasks. Nevertheless, these methods generally rely on the original graph (i.e., the graph that the meta-task is sampled from) to learn node representations. Consequently, the graph structure used in each meta-task is identical. Since the class sets are different across meta-tasks, node representations should be learned in a task-specific manner to promote classification performance. Therefore, to adaptively learn node representations across meta-tasks, we propose a novel framework that learns a task-specific structure for each meta-task. To handle the variety of nodes across meta-tasks, we extract relevant nodes and learn task-specific structures based on node influence and mutual information. In this way, we can learn node representations with the task-specific structure tailored for each meta-task. We further conduct extensive experiments on five node classification datasets under both single- and multiple-graph settings to validate the superiority of our framework over the state-of-the-art baselines. Our code is provided at https://github.com/SongW-SW/GLITTER.


title: Understanding The Reversible Electrodeposition of Al in Low-Cost Room Temperature Molten Salts

abstract: Aluminum is the most earth-abundant metal, is trivalent, is inert in ambient humid air, and has a density approximately four-times that of lithium at room temperature. These attributes make it an attractive material for cost-effective, long-duration storage of electrical energy in batteries. Scientific discoveries in the past decade have established that secondary Al batteries can be created by paring an Al anode with a graphite or transition metal oxide cathode, in imidazolium-based, room-temperature ionic-liquid-Aluminum chloride electrolytes. Here we report findings from a systematic study that sheds light on the structural requirements, physicochemical, and transport properties of the ionic liquid electrolytes responsible for the high reversibility of Al battery anodes. We find that the most important interfacial and transport properties of these electrolytes can be achieved in other electrolytes, including ammonium-based molten salts that are available at costs as much as twenty-times lower than the ionic liquid-Aluminum chloride melt. High Al reversibility in ammonium- and imidazolium-based electrolytes is specifically shown to require a critical ratio of the solvation species, where Lewis acidity and beneficial interfacial reactions continuously etch the alumina resistive interfacial layer and form beneficial solid electrolyte interphase at the anode. We report further that successful development of new electrolyte families that support high Al anode reversibility also provides a good platform for detailed studies of the working mechanisms of an intercalation graphite cathode using X-ray absorption spectroscopy. Our findings therefore open new opportunities for developing simple, cost-effective, room-temperature Al batteries that enable long-duration electrical energy storage.


title: A perspective on machine learning and data science for strongly correlated electron problems

abstract: Numerical approaches to the correlated electron problem have achieved considerable success, yet are still constrained by several bottlenecks, including high order polynomial or exponential scaling in system size, long autocorrelation times, challenges in recognizing novel phases, and the Fermion sign problem. Methods in machine learning (ML), artificial intelligence, and data science promise to help address these limitations and open up a new frontier in strongly correlated quantum system simulations. In this paper, we review some of the progress in this area. We begin by examining these approaches in the context of classical models, where their underpinnings and application can be easily illustrated and benchmarked. We then discuss cases where ML methods have enabled scientific discovery. Finally, we will examine their applications in accelerating model solutions in state-of-the-art quantum many-body methods like quantum Monte Carlo and discuss potential future research directions.


title: The centers of discrete groups as stabilizers of Dark Matter

abstract: The most usual option to stabilize Dark Matter (DM) is a $Z_2$ symmetry. In general, though, DM may be stabilized by any $Z_N$ with $N \ge 2$. We consider the way $Z_N$ is a subgroup of the internal-symmetry group $G$ of a model; we entertain the possibility that $Z_N$ is the center of $G$, yet $G$ is not of the form $Z_N \times G^\prime$, where $G^\prime$ is a group smaller (i.e. of lower order) than $G$. We examine all the discrete groups of order smaller than 2001 and we find that many of them cannot be written as the direct product of a cyclic group and some other group, yet they have a non-trivial center that might be used in Model Building to stabilize DM.


title: Audio-to-Intent Using Acoustic-Textual Subword Representations from End-to-End ASR

abstract: Accurate prediction of the user intent to interact with a voice assistant (VA) on a device (e.g. on the phone) is critical for achieving naturalistic, engaging, and privacy-centric interactions with the VA. To this end, we present a novel approach to predict the user's intent (the user speaking to the device or not) directly from acoustic and textual information encoded at subword tokens which are obtained via an end-to-end ASR model. Modeling directly the subword tokens, compared to modeling of the phonemes and/or full words, has at least two advantages: (i) it provides a unique vocabulary representation, where each token has a semantic meaning, in contrast to the phoneme-level representations, (ii) each subword token has a reusable "sub"-word acoustic pattern (that can be used to construct multiple full words), resulting in a largely reduced vocabulary space than of the full words. To learn the subword representations for the audio-to-intent classification, we extract: (i) acoustic information from an E2E-ASR model, which provides frame-level CTC posterior probabilities for the subword tokens, and (ii) textual information from a pre-trained continuous bag-of-words model capturing the semantic meaning of the subword tokens. The key to our approach is the way it combines acoustic subword-level posteriors with text information using the notion of positional-encoding in order to account for multiple ASR hypotheses simultaneously. We show that our approach provides more robust and richer representations for audio-to-intent classification, and is highly accurate with correctly mitigating 93.3% of unintended user audio from invoking the smart assistant at 99% true positive rate.


title: Geometric Sparse Coding in Wasserstein Space

abstract: Wasserstein dictionary learning is an unsupervised approach to learning a collection of probability distributions that generate observed distributions as Wasserstein barycentric combinations. Existing methods for Wasserstein dictionary learning optimize an objective that seeks a dictionary with sufficient representation capacity via barycentric interpolation to approximate the observed training data, but without imposing additional structural properties on the coefficients associated to the dictionary. This leads to dictionaries that densely represent the observed data, which makes interpretation of the coefficients challenging and may also lead to poor empirical performance when using the learned coefficients in downstream tasks. In contrast and motivated by sparse dictionary learning in Euclidean spaces, we propose a geometrically sparse regularizer for Wasserstein space that promotes representations of a data point using only nearby dictionary elements. We show this approach leads to sparse representations in Wasserstein space and addresses the problem of non-uniqueness of barycentric representation. Moreover, when data is generated as Wasserstein barycenters of fixed distributions, this regularizer facilitates the recovery of the generating distributions in cases that are ill-posed for unregularized Wasserstein dictionary learning. Through experimentation on synthetic and real data, we show that our geometrically regularized approach yields sparser and more interpretable dictionaries in Wasserstein space, which perform better in downstream applications.

categories: cs.LG cs.CV eess.SP math.OC math.PR math.ST stat.TH


title: Nuclear data activities for medium mass and heavy nuclei at Los Alamos

abstract: Nuclear data is critical for many modern applications from stockpile stewardship to cutting edge scientific research. Central to these pursuits is a robust pipeline for nuclear modeling as well as data assimilation and dissemination. We summarize a small portion of the ongoing nuclear data efforts at Los Alamos for medium mass to heavy nuclei. We begin with an overview of the NEXUS framework and show how one of its modules can be used for model parameter optimization using Bayesian techniques. The mathematical framework affords the combination of different measured data in determining model parameters and their associated correlations. It also has the advantage of being able to quantify outliers in data. We exemplify the power of this procedure by highlighting the recently evaluated 239-Pu cross section. We further showcase the success of our tools and pipeline by covering the insight gained from incorporating the latest nuclear modeling and data in astrophysical simulations as part of the Fission In R-process Elements (FIRE) collaboration.


title: A Multi-Scale Deep Learning Framework for Projecting Weather Extremes

abstract: Weather extremes are a major societal and economic hazard, claiming thousands of lives and causing billions of dollars in damage every year. Under climate change, their impact and intensity are expected to worsen significantly. Unfortunately, general circulation models (GCMs), which are currently the primary tool for climate projections, cannot characterize weather extremes accurately. To address this, we present a multi-resolution deep-learning framework that, firstly, corrects a GCM's biases by matching low-order and tail statistics of its output with observations at coarse scales; and secondly, increases the level of detail of the debiased GCM output by reconstructing the finer scales as a function of the coarse scales. We use the proposed framework to generate statistically realistic realizations of the climate over Western Europe from a simple GCM corrected using observational atmospheric reanalysis. We also discuss implications for probabilistic risk assessment of natural disasters in a changing climate.


title: A quantum algorithm for solving open system dynamics on quantum computers using noise

abstract: In this paper we present a quantum algorithm that uses noise as a resource. The goal of our quantum algorithm is the calculation of operator averages of an open quantum system evolving in time. Selected low-noise system qubits and noisy bath qubits represent the system and the bath of the open quantum system. All incoherent qubit noise can be mapped to bath spectral functions. The form of the spectral functions can be tuned digitally, allowing for the time evolution of a wide range of open-system models at finite temperature. We study the feasibility of this approach with a focus on the solution of the spin-boson model and assume intrinsic qubit noise that is dominated by damping and dephasing. We find that classes of open quantum systems exist where our algorithm performs very well, even with gate errors as high as 1%. In general the presented algorithm performs best if the system-bath interactions can be decomposed into native gates.


title: Properties of scalar wave emission in a scalar-tensor theory with kinetic screening

abstract: We study numerically the scalar wave emission by a non-spherical oscillation of neutron stars in a scalar-tensor theory of gravity with kinetic screening, considering both the monopole and quadrupole mode emission. In agreement with previous results in the literature, we find that the monopole is always suppressed by the screening effect, regardless of the size of the screening radius, $r_{\rm sc}$. For the quadrupole mode, however, our analysis shows that the suppression only occurs for screening radius larger than the wavelength of scalar waves, $\lambda_{\rm wave}$, but not for $r_{\rm sc} < \lambda_{\rm wave}$. This demonstrates that to fully understand the nature of this theory, it is necessary to study other more complex systems, such as neutron star binaries, considering a wide range of $r_{\rm sc}$ values.


title: Explainability in autonomous pedagogically structured scenarios

abstract: We present the notion of explainability for decision-making processes in a pedagogically structured autonomous environment. Multi-agent systems that are structured pedagogically consist of pedagogical teachers and learners that operate in environments in which both are sometimes not fully aware of all the states in the environment and beliefs of other agents thus making it challenging to explain their decisions and actions with one another. This work emphasises the need for robust and iterative explanation-based communication between the pedagogical teacher and the learner. Explaining the rationale behind multi-agent decisions in an interactive, partially observable environment is necessary to build trustworthy and reliable communication between pedagogical teachers and learners. Ongoing research is primarily focused on explanations of the agents' behaviour towards humans, and there is a lack of research on inter-agent explainability.


title: Conservation laws with nonlocal velocity -- the singular limit problem

abstract: We consider conservation laws with nonlocal velocity and show for nonlocal weights of exponential type that the unique solutions converge in a weak or strong sense (dependent on the regularity of the velocity) to the entropy solution of the local conservation law when the nonlocal weight approaches a Dirac distribution. To this end, we establish first a uniform total variation estimate on the nonlocal velocity which enables it to prove that the nonlocal solution is entropy admissible in the limit. For the entropy solution, we use a tailored entropy flux pair which allows the usage of only one entropy to obtain uniqueness (given some additional constraints). For general weights, we show that monotonicity of the initial datum is preserved over time which enables it to prove the convergence to the local entropy solution for rather general kernels and monotone initial datum as well. This covers the archetypes of local conservation laws: Shock waves and rarefactions. It also underlines that a ``nonlocal in the velocity'' approximation might be better suited to approximate local conservation laws than a nonlocal in the solution approximation where such monotonicity does only hold for specific velocities.


title: Target Aware Poisson-Gaussian Noise Parameters Estimation from Noisy Images

abstract: Digital sensors can lead to noisy results under many circumstances. To be able to remove the undesired noise from images, proper noise modeling and an accurate noise parameter estimation is crucial. In this project, we use a Poisson-Gaussian noise model for the raw-images captured by the sensor, as it fits the physical characteristics of the sensor closely. Moreover, we limit ourselves to the case where observed (noisy), and ground-truth (noise-free) image pairs are available. Using such pairs is beneficial for the noise estimation and is not widely studied in literature. Based on this model, we derive the theoretical maximum likelihood solution, discuss its practical implementation and optimization. Further, we propose two algorithms based on variance and cumulant statistics. Finally, we compare the results of our methods with two different approaches, a CNN we trained ourselves, and another one taken from literature. The comparison between all these methods shows that our algorithms outperform the others in terms of MSE and have good additional properties.


title: Derivation module and the Hilbert-Kunz multiplicity of the co-ordinate ring of a projective monomial curve

abstract: Let $n_0, n_1, \ldots, n_p$ be a sequence of positive integers such that $n_0 < n_1 < \cdots < n_p$ and $\mathrm{gcd}(n_0,n_1, \ldots,n_p) = 1$. Let $S = \langle (0,n_p), (n_0,n_p-n_0),\ldots,(n_{p-1},n_p-n_{p-1}), (n_p,0) \rangle$ be an affine semigroup in $\mathbb{N}^2$. The semigroup ring $k[S]$ is the co-ordinate ring of the projective monomial curve in the projective space $\mathbb{P}_k^{p+1}$, which is defined parametrically by \begin{center} $x_0 = v^{n_p}, \quad x_1 = u^{n_0}v^{n_p-n_0},\quad \ldots , \quad x_p= u^{n_{p-1}}v^{n_p-n_{p-1}}, \quad x_{p+1} = u^{n_p}$. \end{center} In this article, we consider the case when $n_0, n_1, \ldots, n_p$ forms an arithmetic sequence, and give an explicit set of minimal generators for the derivation module $\mathrm{Der}_k(k[S])$. Further, we give an explicit formula for the Hilbert-Kunz multiplicity of the co-ordinate ring of a projective monomial curve.


title: Assessing the theory-data tension in neutrino-induced charged pion production: the effect of final-state nucleon distortion

abstract: Pion production on nuclei constitutes a significant part of the total cross section in experiments involving few-GeV neutrinos. Combined analyses of data on deuterium and heavier nuclei points to tensions between the bubble chamber data and the data of the MINER$\nu$A experiment, which are often ascribed to unspecified nuclear effects. To understand the origin of these tensions, a microscopic quantum mechanical framework is needed to compute nuclear matrix elements. We use the local approximation to the relativistic distorted wave impulse approximation (RDWIA) to assess the role of final-state nucleon distortion. To perform this comparison under conditions relevant to neutrino experiments, we compute cross sections for the MINER$\nu$A and T2K charged pion production datasets. The inclusion of nucleon distortion leads to a reduction of the cross section up to 10\%, but to no significant change in shape of the flux-averaged cross sections. Results with and without distortion compare favorably to experimental data, with the exception of the low-$Q^2$ MINER$\nu$A $\pi^+$ data. We point out that hydrogen target data from BEBC is also overpredicted at low-$Q^2$, and that the discrepancy is similar in shape and magnitude to what is found in comparison to MINER$\nu$A data. Including nucleon distortion alone cannot explain the overprediction of low-$Q^2$ cross sections measured by MINER$\nu$A. The similar overprediction of BEBC data on hydrogen means that it is impossible to ascribe this discrepancy solely to a nuclear effect. Axial couplings and their $Q^2$ dependence should ideally be derived from more precise data on hydrogen and deuterium.


title: Experimental realization of a topologically protected Hadamard gate via braiding Fibonacci anyons

abstract: Topological quantum computation (TQC) is one of the most striking architectures that can realize fault-tolerant quantum computers. In TQC, the logical space and the quantum gates are topologically protected, i.e., robust against local disturbances. The topological protection, however, requires rather complicated lattice models and hard-to-manipulate dynamics; even the simplest system that can realize universal TQC--the Fibonacci anyon system--lacks a physical realization, let alone braiding the non-Abelian anyons. Here, we propose a disk model that can realize the Fibonacci anyon system, and construct the topologically protected logical spaces with the Fibonacci anyons. Via braiding the Fibonacci anyons, we can implement universal quantum gates on the logical space. Our proposal is platform-independent. As a demonstration, we implement a topological Hadamard gate on a logical qubit through a sequence of $15$ braiding operations of three Fibonacci anyons with merely $2$ nuclear spin qubits. The gate fidelity reaches 97.18% by randomized benchmarking. We further prove by experiment that the logical space and Hadamard gate are topologically protected: local disturbances due to thermal fluctuations result in a global phase only. Our work is a proof of principle of TQC and paves the way towards fault-tolerant quantum computation.


title: Nonlocal Differential Resistance in AlO$_x$/KTaO$_3$ Heterostructures

abstract: Local and nonlocal differential resistance measurements on Hall bars defined in AlO$_x$/KTaO$_3$ heterostructures show anomalous behavior that depends on the crystal orientation and the applied back gate voltage. The local differential resistance is asymmetric in the dc bias current, with an antisymmetric component that grows with decreasing gate voltage. More surprisingly, a large nonlocal differential resistance is observed that extends between measurement probes that are separated by 100s of microns. The potential source of this anomalous behavior is discussed.


title: Lorentzian inversion in non-relativistic and classical limits

abstract: We study tools of the conformal bootstrap in simplifying limits, primarily a limit of large operator dimensions and small cross-ratios corresponding to non-relativistic physics in AdS. We show that T-channel conformal blocks give the classical limit of correlation functions to linear order in an interaction potential. We use the Lorentzian inversion formula to compute anomalous dimensions due to T-channel exchanges and compare with time-independent perturbation theory in AdS. These calculations include new results not restricted to any limit, including anomalous dimensions from stress-tensor exchange in general dimension. We also study a classical limit of large operator dimension and spin, in which the Lorentzian inversion formula is evaluated by saddle-point. Finally, we obtain a new `Lorentzian' inversion formula for non-relativistic AdS by taking a limit of the CFT inversion formula.


title: Unsupervised Multi-object Segmentation by Predicting Probable Motion Patterns

abstract: We propose a new approach to learn to segment multiple image objects without manual supervision. The method can extract objects form still images, but uses videos for supervision. While prior works have considered motion for segmentation, a key insight is that, while motion can be used to identify objects, not all objects are necessarily in motion: the absence of motion does not imply the absence of objects. Hence, our model learns to predict image regions that are likely to contain motion patterns characteristic of objects moving rigidly. It does not predict specific motion, which cannot be done unambiguously from a still image, but a distribution of possible motions, which includes the possibility that an object does not move at all. We demonstrate the advantage of this approach over its deterministic counterpart and show state-of-the-art unsupervised object segmentation performance on simulated and real-world benchmarks, surpassing methods that use motion even at test time. As our approach is applicable to variety of network architectures that segment the scenes, we also apply it to existing image reconstruction-based models showing drastic improvement. Project page and code: https://www.robots.ox.ac.uk/~vgg/research/ppmp .


title: A type of the entropy of an ideal

abstract: In this article we find some properties of certain types of entropies of a natural number. Also, regarding the entropy H of a natural number, introduced by Minculete and Pozna, we generalize this notion for ideals and we find some of its properties. In the last section we find some inequalities, involving the entropy H of an exponential divisor of a positive integer, respectively the entropy H of an exponential divisor of an ideal.


title: Formalizing Chemical Physics using the Lean Theorem Prover

abstract: Chemical theory can be made more rigorous using the Lean theorem prover, an interactive theorem prover for complex mathematics. We formalize the Langmuir and BET theories of adsorption, making each scientific premise clear and every step of the derivations explicit. Lean's math library, mathlib, provides formally verified theorems for infinite geometries series, which are central to BET theory. While writing these proofs, Lean prompts us to include mathematical constraints that were not originally reported. We also illustrate how Lean flexibly enables the reuse of proofs that build on more complex theories through the use of functions, definitions, and structures. Finally, we construct scientific frameworks for interoperable proofs, by creating structures for classical thermodynamics and kinematics, using them to formalize gas law relationships like Boyle's Law and equations of motion underlying Newtonian mechanics, respectively. This approach can be extended to other fields, enabling the formalization of rich and complex theories in science and engineering.


title: Quantum Gauge Networks: A New Kind of Tensor Network

abstract: Although tensor networks are powerful tools for simulating low-dimensional quantum physics, tensor network algorithms are very computationally costly in higher spatial dimensions. We introduce quantum gauge networks: a different kind of tensor network ansatz for which the computation cost of simulations does not explicitly increase for larger spatial dimensions. We take inspiration from the gauge picture of quantum dynamics, which consists of a local wavefunction for each patch of space, with neighboring patches related by unitary connections. A quantum gauge network (QGN) has a similar structure, except the Hilbert space dimensions of the local wavefunctions and connections are truncated. We describe how a QGN can be obtained from a generic wavefunction or matrix product state (MPS). All $2k$-point correlation functions of any wavefunction for $M$ many operators can be encoded exactly by a QGN with bond dimension $O(M^k)$. In comparison, for just $k=1$, an exponentially larger bond dimension of $2^{M/6}$ is generically required for an MPS of qubits. We provide a simple QGN algorithm for approximate simulations of quantum dynamics in any spatial dimension. The approximate dynamics can achieve exact energy conservation for time-independent Hamiltonians, and spatial symmetries can also be maintained exactly. We benchmark the algorithm by simulating the quantum quench of fermionic Hamiltonians in up to three spatial dimensions.


title: WikiWhy: Answering and Explaining Cause-and-Effect Questions

abstract: As large language models (LLMs) grow larger and more sophisticated, assessing their "reasoning" capabilities in natural language grows more challenging. Recent question answering (QA) benchmarks that attempt to assess reasoning are often limited by a narrow scope of covered situations and subject matters. We introduce WikiWhy, a QA dataset built around a novel auxiliary task: explaining why an answer is true in natural language. WikiWhy contains over 9,000 "why" question-answer-rationale triples, grounded on Wikipedia facts across a diverse set of topics. Each rationale is a set of supporting statements connecting the question to the answer. WikiWhy serves as a benchmark for the reasoning capabilities of LLMs because it demands rigorous explicit rationales for each answer to demonstrate the acquisition of implicit commonsense knowledge, which is unlikely to be easily memorized. GPT-3 baselines achieve only 38.7% human-evaluated correctness in the end-to-end answer & explain condition, leaving significant room for future improvements.


title: On amortizing convex conjugates for optimal transport

abstract: This paper focuses on computing the convex conjugate operation that arises when solving Euclidean Wasserstein-2 optimal transport problems. This conjugation, which is also referred to as the Legendre-Fenchel conjugate or c-transform,is considered difficult to compute and in practice,Wasserstein-2 methods are limited by not being able to exactly conjugate the dual potentials in continuous space. To overcome this, the computation of the conjugate can be approximated with amortized optimization, which learns a model to predict the conjugate. I show that combining amortized approximations to the conjugate with a solver for fine-tuning significantly improves the quality of transport maps learned for the Wasserstein-2 benchmark by Korotin et al. (2021a) and is able to model many 2-dimensional couplings and flows considered in the literature. All of the baselines, methods, and solvers in this paper are available at http://github.com/facebookresearch/w2ot.


title: Use of BNNM for interference wave solutions of the gBS-like equation and comparison with PINNs

abstract: In this work, the generalized broken soliton-like (gBS-like) equation is derived through the generalized bilinear method. The neural network model, which can fit the explicit solution with zero error, is found. The interference wave solution of the gBS-like equation is obtained by using the bilinear neural network method (BNNM) and physical informed neural networks (PINNs). Interference waves are shown well via three-dimensional plots and density plots. Compared with PINNs, the bilinear neural network method is not only more accurate but also faster.


title: Non-Functional Testing of Runtime Enforcers in Android

abstract: Runtime enforcers can be used to ensure that running applications satisfy desired correctness properties. Although runtime enforcers that are correct-by-construction with respect to abstract behavioral models are relatively easy to specify, the concrete software enforcers generated from these specifications may easily introduce issues in the target application. Indeed developers can generate test suites to verify the functional behavior of the enforcers, for instance exploiting the same models used to specify them. However, it remains challenging and tedious to verify the behavior of enforcers in terms of non-functional performance characteristics. This paper describes a practical approach to reveal runtime enforcers that may introduce inefficiencies in the target application. The approach relies on a combination of automatic test generation and runtime monitoring of multiple key performance indicators. We designed our approach to reveal issues in four indicators for mobile systems: responsiveness, launch time, memory, and energy consumption. Experimental results show that our approach can detect performance issues that might be introduced by automatically generated enforcers.


title: Improving Medical Predictions by Irregular Multimodal Electronic Health Records Modeling

abstract: Health conditions among patients in intensive care units (ICUs) are monitored via electronic health records (EHRs), composed of numerical time series and lengthy clinical note sequences, both taken at irregular time intervals. Dealing with such irregularity in every modality, and integrating irregularity into multimodal representations to improve medical predictions, is a challenging problem. Our method first addresses irregularity in each single modality by (1) modeling irregular time series by dynamically incorporating hand-crafted imputation embeddings into learned interpolation embeddings via a gating mechanism, and (2) casting a series of clinical note representations as multivariate irregular time series and tackling irregularity via a time attention mechanism. We further integrate irregularity in multimodal fusion with an interleaved attention mechanism across temporal steps. To the best of our knowledge, this is the first work to thoroughly model irregularity in multimodalities for improving medical predictions. Our proposed methods for two medical prediction tasks consistently outperforms state-of-the-art (SOTA) baselines in each single modality and multimodal fusion scenarios. Specifically, we observe relative improvements of 6.5\%, 3.6\%, and 4.3\% in F1 for time series, clinical notes, and multimodal fusion, respectively. These results demonstrate the effectiveness of our methods and the importance of considering irregularity in multimodal EHRs.


title: Error-Covariance Analysis of Monocular Pose Estimation Using Total Least Squares

abstract: This study presents a theoretical structure for the monocular pose estimation problem using the total least squares. The unit-vector line-of-sight observations of the features are extracted from the monocular camera images. First, the optimization framework is formulated for the pose estimation problem with observation vectors extracted from unit vectors from the camera center-of-projection, pointing towards the image features. The attitude and position solutions obtained via the derived optimization framework are proven to reach the Cram\'er-Rao lower bound under the small angle approximation of the attitude errors. Specifically, The Fisher Information Matrix and the Cram\'er-Rao bounds are evaluated and compared to the analytical derivations of the error-covariance expressions to rigorously prove the optimality of the estimates. The sensor data for the measurement model is provided through a series of vector observations, and two fully populated noise-covariance matrices are assumed for the body and reference observation data. The inverse of the former matrices appear in terms of a series of weight matrices in the cost function. The proposed solution is simulated in a Monte-Carlo framework with 10,000 samples to validate the error-covariance analysis.


title: Graph Coloring via Neural Networks for Haplotype Assembly and Viral Quasispecies Reconstruction

abstract: Understanding genetic variation, e.g., through mutations, in organisms is crucial to unravel their effects on the environment and human health. A fundamental characterization can be obtained by solving the haplotype assembly problem, which yields the variation across multiple copies of chromosomes. Variations among fast evolving viruses that lead to different strains (called quasispecies) are also deciphered with similar approaches. In both these cases, high-throughput sequencing technologies that provide oversampled mixtures of large noisy fragments (reads) of genomes, are used to infer constituent components (haplotypes or quasispecies). The problem is harder for polyploid species where there are more than two copies of chromosomes. State-of-the-art neural approaches to solve this NP-hard problem do not adequately model relations among the reads that are important for deconvolving the input signal. We address this problem by developing a new method, called NeurHap, that combines graph representation learning with combinatorial optimization. Our experiments demonstrate substantially better performance of NeurHap in real and synthetic datasets compared to competing approaches.


title: New binomial Fibonacci sums

abstract: We present some new linear, quadratic, cubic and quartic binomial Fibonacci, Lucas and Fibonacci--Lucas summation identities.


title: On the connection between Bregman divergence and value in regularized Markov decision processes

abstract: In this short note we derive a relationship between the Bregman divergence from the current policy to the optimal policy and the suboptimality of the current value function in a regularized Markov decision process. This result has implications for multi-task reinforcement learning, offline reinforcement learning, and regret analysis under function approximation, among others.


title: Task-Based Assessment for Neural Networks: Evaluating Undersampled MRI Reconstructions based on Human Observer Signal Detection

abstract: Recent research has explored using neural networks to reconstruct undersampled magnetic resonance imaging (MRI) data. Because of the complexity of the artifacts in the reconstructed images, there is a need to develop task-based approaches of image quality. Common metrics for evaluating image quality like the normalized root mean squared error (NRMSE) and structural similarity (SSIM) are global metrics which average out impact of subtle features in the images. Using measures of image quality which incorporate a subtle signal for a specific task allow for image quality assessment which locally evaluates the effect of undersampling on a signal. We used a U-Net to reconstruct under-sampled images with 2x, 3x, 4x and 5x fold 1-D undersampling rates. Cross validation was performed for a 500 and a 4000 image training set with both structural similarity (SSIM) and mean squared error (MSE) losses. A two alternative forced choice (2-AFC) observer study was carried out for detecting a subtle signal (small blurred disk) from images with the 4000 image training set. We found that for both loss functions and training set sizes, the human observer performance on the 2-AFC studies led to a choice of a 2x undersampling but the SSIM and NRMSE led to a choice of a 3x undersampling. For this task, SSIM and NRMSE led to an overestimate of the achievable undersampling using a U-Net before a steep loss of image quality when compared to the performance of human observers in the detection of a subtle lesion.


title: Diverse Polarimetric Features of AGN Jets from Various Viewing Angles: Towards a Unified View

abstract: Here, we demonstrate that polarization properties show a wide diversity depending on viewing angles. To simulate images of a supermassive black hole and surrounding plasma, we performed a full-polarimetric general relativistic radiative transfer based on three-dimensional general relativistic magnetohydrodynamics models with moderate magnetic strengths. Under an assumption of a hot-jet and cold-disk in the electron temperature prescription, we confirmed a typical scenario where polarized synchrotron emissions from the funnel jet experience Faraday rotation and conversion in the equatorial disk. Further, we found that linear polarization vectors are inevitably depolarized for edge-on-like observers, whereas a portion of vectors survive and reach the observers in face-on-like cases. We also found that circular polarization components have persistent signs in the face-on cases, and changing signs in the edge-on cases. It is confirmed that these features are smoothly connected via intermediate viewing-angle cases. These results are due to Faraday rotation/conversion for different viewing angles, and suggest that a combination of linear and circular polarimetry can give a constraint on the inclination between the observer and black hole's (and/or disk's) rotating-axis and plasma properties in the jet--disk structure. These can also lead to a more statistical and unified interpretation for a diversity of emissions from active galactic nuclei.


title: Veneziano Variations: How Unique are String Amplitudes?

abstract: String theory offers an elegant and concrete realization of how to consistently couple states of arbitrarily high spin. But how unique is this construction? In this paper we derive a novel, multi-parameter family of four-point scattering amplitudes exhibiting i) polynomially bounded high-energy behavior and ii) exchange of an infinite tower of high-spin modes, albeit with a finite number of states at each resonance. These amplitudes take an infinite-product form and, depending on parameters, exhibit mass spectra that are either unbounded or bounded, thus corresponding to generalizations of the Veneziano and Coon amplitudes, respectively. For the bounded case, masses converge to an accumulation point, a peculiar feature seen in the Coon amplitude but more recently understood to arise naturally in string theory. Importantly, our amplitudes contain free parameters allowing for the customization of the slope and offset of the spin-dependence in the Regge trajectory. We compute all partial waves for this multi-parameter class of amplitudes and identify unitary regions of parameter space. For the unbounded case, we apply similar methods to derive new deformations of the Veneziano and Virasoro-Shapiro amplitudes.


title: Studying Cosmic Dawn using redshifted HI 21-cm signal: A brief review

abstract: In this review article, we briefly outline our current understanding of the physics associated with the HI 21-cm signal from cosmic dawn. We discuss different phases of cosmic dawn as the ambient gas and the background radiations evolve with the redshift. We address the consequences of several possible heating sources and radiation background on the global 21-cm signal. We further review our present perspective of other important aspects of the HI 21-cm signal such as the power spectrum and imaging. Finally, we highlight the future key measurements of the Square Kilometre Array and other ongoing/upcoming experiments that will enlighten our understanding of the early Universe.


title: HST and HSC Weak-lensing Study of the Equal-mass Dissociative Merger CIZA J0107.7+5408

abstract: A dissociative merger is formed by the interplay of ram pressure and gravitational forces, which can lead to a spatial displacement of the dark matter and baryonic components of the recently collided subclusters. CIZA J0107.7+5408 is a nearby (z=0.105) dissociative merger that hosts two X-ray brightness peaks and a bimodal galaxy distribution. Analyzing MMT/Hectospec observations, we investigate the line-of-sight and spatial distribution of cluster galaxies. Utilizing deep, high-resolution Hubble Space Telescope Advanced Camera for Surveys imaging and large field-of-view Subaru Hyper-Suprime-Cam observations, we perform a weak-lensing analysis of CIZA J0107.7+5408. Our weak-lensing analysis detects a bimodal mass distribution that is spatially consistent with the cluster galaxies but significantly offset from the X-ray brightness peaks. Fitting two NFW halos to the lensing signal, we find an equal-mass merger with subcluster masses of $M_{200,NE}=2.8^{+1.1}_{-1.1}\times10^{14}$ M$_\odot$ and $M_{200,SW}=3.1^{+1.2}_{-1.2}\times10^{14}$ M$_\odot$. Moreover, the mass-to-light ratios of the subclusters, $(M/L)_{NE}=571^{+89}_{-91}$ $M_\odot/L_{\odot,B}$ and $(M/L)_{SW}=564^{+87}_{-89}$ $M_\odot/L_{\odot,B}$, are found to be consistent with each other and within the range of mass-to-light ratios found for galaxy clusters.


title: Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms

abstract: Variational quantum algorithms have been introduced as a promising class of quantum-classical hybrid algorithms that can already be used with the noisy quantum computing hardware available today by employing parameterized quantum circuits. Considering the non-trivial nature of quantum circuit compilation and the subtleties of quantum computing, it is essential to verify that these parameterized circuits have been compiled correctly. Established equivalence checking procedures that handle parameter-free circuits already exist. However, no methodology capable of handling circuits with parameters has been proposed yet. This work fills this gap by showing that verifying the equivalence of parameterized circuits can be achieved in a purely symbolic fashion using an equivalence checking approach based on the ZX-calculus. At the same time, proofs of inequality can be efficiently obtained with conventional methods by taking advantage of the degrees of freedom inherent to parameterized circuits. We implemented the corresponding methods and proved that the resulting methodology is complete. Experimental evaluations (using the entire parametric ansatz circuit library provided by Qiskit as benchmarks) demonstrate the efficacy of the proposed approach. The implementation is open source and publicly available as part of the equivalence checking tool QCEC (https://github.com/cda-tum/qcec) which is part of the Munich Quantum Toolkit (MQT).


title: Beyond transcoherent states: Field states for effecting optimal coherent rotations on single or multiple qubits

abstract: Semiclassically, laser pulses can be used to implement arbitrary transformations on atomic systems; quantum mechanically, residual atom-field entanglement spoils this promise. Transcoherent states are field states that fix this problem in the fully quantized regime by generating perfect coherence in an atom initially in its ground or excited state. We extend this fully quantized paradigm in four directions: First, we introduce field states that transform an atom from its ground or excited state to any point on the Bloch sphere without residual atom-field entanglement. The best strong pulses for carrying out rotations by angle $\theta$ are are squeezed in photon-number variance by a factor of $\rm{sinc}\theta$. Next, we investigate implementing rotation gates, showing that the optimal Gaussian field state for enacting a $\theta$ pulse on an atom in an arbitrary, unknown initial state is number squeezed by less: $\rm{sinc}\tfrac{\theta}{2}$. Third, we extend these investigations to fields interacting with multiple atoms simultaneously, discovering once again that number squeezing by $\tfrac{\pi}{2}$ is optimal for enacting $\tfrac{\pi}{2}$ pulses on all of the atoms simultaneously, with small corrections on the order of the ratio of the number of atoms to the average number of photons. Finally, we find field states that best perform arbitrary rotations by $\theta$ through nonlinear interactions involving $m$-photon absorption, where the same optimal squeezing factor is found to be $\rm{sinc}\theta$. Backaction in a wide variety of atom-field interactions can thus be mitigated by squeezing the control fields by optimal amounts.


title: Simulated optical light curves of super-Eddington tidal disruption events with ZEBRA flows

abstract: We present simulated optical light curves of super-Eddington tidal disruption events (TDEs) using the zero-Bernoulli accretion (ZEBRA) flow model, which proposes that during the super-Eddington phase, the disc is quasi-spherical, radiation-pressure dominated, and accompanied by the production of strong jets. We construct light curves for both on- and off-axis (with respect to the jet) observers to account for the anisotropic nature of the jetted emission. We find that at optical wavelengths, emission from the accretion flow is orders of magnitude brighter than that produced by the jet, even with boosting from synchrotron self-Compton. Comparing to the observed jetted TDE Swift J2058.4+0516, we find that the ZEBRA model accurately captures the timescale for which accretion remains super-Eddington and reproduces the luminosity of the transient. However, we find the shape of the light curves deviate at early times and the radius and temperature of our modelled ZEBRA are $\sim2.7 - 4.1$ times smaller and $\sim1.4 - 2.3$ times larger, respectively, than observed. We suggest that this indicates the ZEBRA inflates more, and more rapidly, than currently predicted by the model, and we discuss possible extensions to the model to account for this. Such refinements, coupled with valuable new data from upcoming large scale surveys, could help to resolve the nature of super-Eddington TDEs and how they are powered.


title: Joint Coreference Resolution for Zeros and non-Zeros in Arabic

abstract: Most existing proposals about anaphoric zero pronoun (AZP) resolution regard full mention coreference and AZP resolution as two independent tasks, even though the two tasks are clearly related. The main issues that need tackling to develop a joint model for zero and non-zero mentions are the difference between the two types of arguments (zero pronouns, being null, provide no nominal information) and the lack of annotated datasets of a suitable size in which both types of arguments are annotated for languages other than Chinese and Japanese. In this paper, we introduce two architectures for jointly resolving AZPs and non-AZPs, and evaluate them on Arabic, a language for which, as far as we know, there has been no prior work on joint resolution. Doing this also required creating a new version of the Arabic subset of the standard coreference resolution dataset used for the CoNLL-2012 shared task (Pradhan et al.,2012) in which both zeros and non-zeros are included in a single dataset.


title: Discovering Differences in the Representation of People using Contextualized Semantic Axes

abstract: A common paradigm for identifying semantic differences across social and temporal contexts is the use of static word embeddings and their distances. In particular, past work has compared embeddings against "semantic axes" that represent two opposing concepts. We extend this paradigm to BERT embeddings, and construct contextualized axes that mitigate the pitfall where antonyms have neighboring representations. We validate and demonstrate these axes on two people-centric datasets: occupations from Wikipedia, and multi-platform discussions in extremist, men's communities over fourteen years. In both studies, contextualized semantic axes can characterize differences among instances of the same word type. In the latter study, we show that references to women and the contexts around them have become more detestable over time.


title: Spatially resolved stretching-rotation-stretching sequence in flow topology as elementary structure of fluid mixing

abstract: We performed two-dimensional numerical simulations of passive stirring of two liquids which generated two spatially distinguishable paradigmatic velocity flows, viz. few large extended vortices and rapid oscillations. Using the Okubo- Weiss criterion, we mapped regions of stretching and rotation in the flow field. We find that an elementary oscillatory sequence of stretching-rotation-stretching induces spatial redistribution and steepening of concentration gradients, and the aggregation of such sequences determines fluid mixing at a downstream position. Furthermore, we quantify the paradigms of 'stretching' and 'folding' by developing measures based on flow topology which would facilitate the design of stirring protocols.


title: Global Fits of Dirac Dark Matter Effective Field Theories

abstract: In this proceeding, we present results from a global fit of Dirac fermion dark matter (DM) effective field theory (EFT) based on arXiv:2106.02056 using the GAMBIT framework. Here we show results only for the dimension-6 operators that describe the interactions between a gauge-singlet Dirac fermion and Standard Model quarks. Our global fit combines the latest constraints from \textit{Planck}, direct and indirect DM detection, and the LHC. For DM mass below 100 GeV, it is impossible to simultaneously satisfy all constraints while maintaining the EFT validity at high energies. For higher masses, however, large regions of parameter space remain viable where the EFT is valid and saturates the observed DM abundance.


title: Cepstral Coefficients for Earthquake Damage Assessment of Bridges Leveraging Deep Learning

abstract: Bridges are indispensable elements in resilient communities as essential parts of the lifeline transportation systems. Knowledge about the functionality of bridge structures is crucial, especially after a major earthquake event. In this study, we propose signal processing approaches for automated AI-equipped damage detection of bridges. Mel-scaled filter banks and cepstral coefficients are utilized for training a deep learning architecture equipped with Gated Recurrent Unit (GRU) layers that consider the temporal variations in a signal. The proposed framework has been validated on an RC bridge structure in California. The bridge is subjected to 180 bi-directional ground motion records with sampled scale factors and six different intercept angles. Compared with the benchmark cumulative intensity features, the Mel filter banks resulted in 15.5% accuracy in predicting critical drift ratios. The developed strategy for spatio-temporal analysis of signals enhances the robustness of damage diagnosis frameworks that utilize deep learning for monitoring lifeline structures.


title: Testing gravity with gravitational wave friction and gravitational slip

abstract: Gravitational waves (GWs) emitted by binary sources are interesting signals for testing gravity on cosmological scales since they allow measurements of the luminosity distance. When followed by electromagnetic counterparts, in particular, they enable a reconstruction of the GW-distance-redshift relation. In the context of several modified gravity (MG) theories, even when requiring that the speed of propagation is equal to that of light, this GW distance differs from the standard electromagnetic luminosity distance due to the presence of a modified friction in the GW propagation. The very same source of this friction, which is the running of an effective Planck mass, also affects the scalar sector generating gravitational slip, i.e. a difference between the scalar potentials, an observable that can be inferred from large-scale structure (LSS) probes. In this work, we use a model within effective field theories for dark energy to exemplify precisely the fact that, at the linear perturbation level, parametrizing a single function is already enough to generate simultaneous deviations in the GW distance and the slip. By simulating multi-messenger GW events that might be detected by the Einstein Telescope in the future, we compare the constraining power of the two observables on this single degree of freedom. We then combine forecasts of a Euclid-like survey with GW simulations, coming to the conclusion that, when using Planck data to better constrain the cosmological parameters, those future data on the scalar and tensor sectors are competitive to probe such deviations from General Relativity, with LSS giving stronger (but more model-dependent) results than GWs.


title: High-Fidelity Visual Structural Inspections through Transformers and Learnable Resizers

abstract: Visual inspection is the predominant technique for evaluating the condition of civil infrastructure. The recent advances in unmanned aerial vehicles (UAVs) and artificial intelligence have made the visual inspections faster, safer, and more reliable. Camera-equipped UAVs are becoming the new standard in the industry by collecting massive amounts of visual data for human inspectors. Meanwhile, there has been significant research on autonomous visual inspections using deep learning algorithms, including semantic segmentation. While UAVs can capture high-resolution images of buildings' fa\c{c}ades, high-resolution segmentation is extremely challenging due to the high computational memory demands. Typically, images are uniformly downsized at the price of losing fine local details. Contrarily, breaking the images into multiple smaller patches can cause a loss of global contextual in-formation. We propose a hybrid strategy that can adapt to different inspections tasks by managing the global and local semantics trade-off. The framework comprises a compound, high-resolution deep learning architecture equipped with an attention-based segmentation model and learnable downsampler-upsampler modules designed for optimal efficiency and in-formation retention. The framework also utilizes vision transformers on a grid of image crops aiming for high precision learning without downsizing. An augmented inference technique is used to boost the performance and re-duce the possible loss of context due to grid cropping. Comprehensive experiments have been performed on 3D physics-based graphics models synthetic environments in the Quake City dataset. The proposed framework is evaluated using several metrics on three segmentation tasks: component type, component damage state, and global damage (crack, rebar, spalling).


title: An Outsider's Perspective on Information Recovery in de Sitter Space

abstract: Entanglement islands play a crucial role in our understanding of how Hawking radiation encodes information in a black hole, but their relevance in cosmological spacetimes is less clear. In this paper, we continue our investigation of information recovery in de Sitter space and construct a two-dimensional model of gravity containing a domain wall that interpolates between de Sitter space and Rindler space. The Rindler wedges introduce weakly-gravitating asymptotic regions from which de Sitter space can be probed, yielding an outside perspective of the cosmological horizon. In contrast to earlier works, backreaction effects are under control by considering a quantum state that only breaks the thermal equilibrium of the Bunch-Davies state for a finite time. This allows information to be decoded from the Gibbons-Hawking radiation in a controlled fashion.


title: An unsupervised latent/output physics-informed convolutional-LSTM network for solving partial differential equations using peridynamic differential operator

abstract: This study presents a novel unsupervised convolutional Neural Network (NN) architecture with nonlocal interactions for solving Partial Differential Equations (PDEs). The nonlocal Peridynamic Differential Operator (PDDO) is employed as a convolutional filter for evaluating derivatives the field variable. The NN captures the time-dynamics in smaller latent space through encoder-decoder layers with a Convolutional Long-short Term Memory (ConvLSTM) layer between them. The ConvLSTM architecture is modified by employing a novel activation function to improve the predictive capability of the learning architecture for physics with periodic behavior. The physics is invoked in the form of governing equations at the output of the NN and in the latent (reduced) space. By considering a few benchmark PDEs, we demonstrate the training performance and extrapolation capability of this novel NN architecture by comparing against Physics Informed Neural Networks (PINN) type solvers. It is more capable of extrapolating the solution for future timesteps than the other existing architectures.


title: Non-Hermitian boundary spectral winding

abstract: Spectral winding of complex eigenenergies represents a topological aspect unique in non-Hermitian systems, which vanishes in one-dimensional (1D) systems under the open boundary conditions (OBC). In this work, we discover a boundary spectral winding in two-dimensional non-Hermitian systems under the OBC, originating from the interplay between Hermitian boundary localization and non-Hermitian non-reciprocal pumping. Such a nontrivial boundary topology is demonstrated in a non-Hermitian breathing Kagome model with a triangle geometry, whose 1D boundary mimics a 1D non-Hermitian system under the periodic boundary conditions with nontrivial spectral winding. In a trapezoidal geometry, such a boundary spectral winding can even co-exist with corner accumulation of edge states, instead of extended ones along 1D boundary of a triangle geometry. An OBC type of hybrid skin-topological effect may also emerge in a trapezoidal geometry, provided the boundary spectral winding completely vanishes. By studying the Green's function, we unveil that the boundary spectral winding can be detected from a topological response of the system to a local driving field, offering a realistic method to extract the nontrivial boundary topology for experimental studies.


title: Neural Architectural Backdoors

abstract: This paper asks the intriguing question: is it possible to exploit neural architecture search (NAS) as a new attack vector to launch previously improbable attacks? Specifically, we present EVAS, a new attack that leverages NAS to find neural architectures with inherent backdoors and exploits such vulnerability using input-aware triggers. Compared with existing attacks, EVAS demonstrates many interesting properties: (i) it does not require polluting training data or perturbing model parameters; (ii) it is agnostic to downstream fine-tuning or even re-training from scratch; (iii) it naturally evades defenses that rely on inspecting model parameters or training data. With extensive evaluation on benchmark datasets, we show that EVAS features high evasiveness, transferability, and robustness, thereby expanding the adversary's design spectrum. We further characterize the mechanisms underlying EVAS, which are possibly explainable by architecture-level ``shortcuts'' that recognize trigger patterns. This work raises concerns about the current practice of NAS and points to potential directions to develop effective countermeasures.


title: Magnetic fields on non-singular 2-step nilpotent Lie groups

abstract: The aim of this work is the study of left-invariant magnetic fields on 2-step nilpotent Lie groups. While the existence of closed 2-forms for which the center is either nondegenerate or in the kernel of the 2-form, is always guaranteed, the existence of closed 2-forms for which the center is isotropic but not in the kernel of the 2-form, is a special situation. These 2-forms are called of type II. We obtain a strong obstruction for the existence on non-singular Lie algebras. Moreover, we prove that the only $H$-type Lie groups admitting closed 2-forms of type II are the real, complex and quaternionic Heisenberg Lie groups of dimension three, six and seven, respectively. We also prove the non-existence of uniform magnetic fields under certain hypotheses. Finally we give a construction of non-singular Lie algebras, proving that in some families of these examples there are no closed 2-form of type II.


title: Urban Socio-Technical Systems: An Autonomy and Mobility Perspective

abstract: The future of the human race is urban. The world's population is projected to grow an additional 2.5 billion by 2050, with all expected to live in urban areas. This will increase the percentage of urban population from 55% today to 70% within three decades and further strengthen the role of cities as the hub for information, transportation, and overall socio-economic development. Unlike any other time in human history, the increasing levels of autonomy and machine intelligence are transforming cities to be no longer just human agglomerations but a fusion of humans, machines, and algorithms making collective decisions, thus complex socio-technical systems. This manuscript summarizes and discusses my efforts from the urban autonomy and mobility perspective to develop the urban socio-technical system.


title: Bifurcation of frozen orbits in a gravity field with zonal harmonics

abstract: We propose a methodology to study the bifurcation sequences of frozen orbits when the 2nd-order fundamental model of the satellite problem is augmented with the contribution of octupolar terms and relativistic corrections. The method is based on the analysis of twice-reduced closed normal forms expressed in terms of suitable combinations of the invariants of the Kepler problem, able to provide a clear geometric view of the problem.


title: Weighted Coordinates Poset Block Codes

abstract: Given $[n]=\{1,2,\ldots,n\}$, a partial order $\preceq$ on $[n]$, a label map $\pi : [n] \rightarrow \mathbb{N}$ defined by $\pi(i) = k_i$ with $\sum_{i=1}^{n}\pi (i) = N$, the direct sum $ \mathbb{F}_{q}^{k_1} \oplus \mathbb{F}_{q}^{k_2}\oplus \ldots \oplus \mathbb{F}_{q}^{k_n} $ of $ \mathbb{F}_q^N $, and a weight function $w$ on $ \mathbb{F}_q $, we define a poset block metric $d_{(P,w,\pi)}$ on $\mathbb{F}_{q}^{N}$ based on the poset $P=([n],\preceq)$. The metric $d_{(P,w,\pi)}$ is said to be weighted coordinates poset block metric ($(P,w,\pi)$-metric). It extends the weighted coordinates poset metric ($(P,w)$-metric) introduced by L. Panek and J. A. Pinheiro and generalizes the poset block metric ($(P,\pi)$-metric) introduced by M. M. S. Alves et al. We determine the complete weight distribution of a $(P,w,\pi)$-space, thereby obtaining it for $(P,w)$-space, $(P,\pi)$-space, $\pi$-space, and $P$-space as special cases. We obtain the Singleton bound for $(P,w,\pi)$-codes and for $(P,w)$-codes as well. In particular, we re-obtain the Singleton bound for any code with respect to $(P,\pi)$-metric and $P$-metric. Moreover, packing radius and Singleton bound for NRT block codes are found.