title: Pressure-enhanced $f$-electron orbital weighting in UTe2 mapped by quantum interferometry

abstract: The phase landscape of UTe$_2$ features a remarkable diversity of superconducting phases under applied pressure and magnetic field. Recent quantum oscillation studies at ambient pressure have revealed the quasi-2D Fermi surface of this material. However, the pressure-dependence of the Fermi surface remains an open question. Here we track the evolution of the UTe$_2$ Fermi surface as a function of pressure up to 19.5 kbar by measuring quantum interference oscillations. We find that in sufficient magnetic field to suppress both superconductivity at low pressures and incommensurate antiferromagnetism at higher pressures, the quasi-2D Fermi surface found at ambient pressure smoothly connects to that at 19.5 kbar, with no signs of a reconstruction over this pressure interval. The warping of the cylindrical Fermi sheets continuously increases with pressure, which is consistent with increased $f$-orbital contribution at the Fermi level, up to and beyond the critical pressure at which superconductivity is truncated. These findings highlight the value of high pressure quantum interference measurements as a new probe of the electronic structure in heavy fermion materials.


title: Can Audio Reveal Music Performance Difficulty? Insights from the Piano Syllabus Dataset

abstract: Automatically estimating the performance difficulty of a music piece represents a key process in music education to create tailored curricula according to the individual needs of the students. Given its relevance, the Music Information Retrieval (MIR) field depicts some proof-of-concept works addressing this task that mainly focuses on high-level music abstractions such as machine-readable scores or music sheet images. In this regard, the potential of directly analyzing audio recordings has been generally neglected, which prevents students from exploring diverse music pieces that may not have a formal symbolic-level transcription. This work pioneers in the automatic estimation of performance difficulty of music pieces on audio recordings with two precise contributions: (i) the first audio-based difficulty estimation dataset -- namely, Piano Syllabus (PSyllabus) dataset -- featuring 7,901 piano pieces across 11 difficulty levels from 1,233 composers; and (ii) a recognition framework capable of managing different input representations -- both unimodal and multimodal manners -- directly derived from audio to perform the difficulty estimation task. The comprehensive experimentation comprising different pre-training schemes, input modalities, and multi-task scenarios prove the validity of the proposal and establishes PSyllabus as a reference dataset for audio-based difficulty estimation in the MIR field. The dataset as well as the developed code and trained models are publicly shared to promote further research in the field.


title: Estimating the household secondary attack rate with the Incomplete Chain Binomial model

abstract: The Secondary Attack Rate (SAR) is a measure of how infectious a communicable disease is, and is often estimated based on studies of disease transmission in households. The Chain Binomial model is a simple model for disease outbreaks, and the final size distribution derived from it can be used to estimate the SAR using simple summary statistics. The final size distribution of the Chain Binomial model assume that the outbreaks have concluded, which in some instances may require long follow-up time. We develop a way to compute the probability distribution of the number of infected before the outbreak has concluded, which we call the Incomplete Chain Binomial distribution. We study a few theoretical properties of the model. We develop Maximum Likelihood estimation routines for inference on the SAR and explore the model by analyzing two real world data sets.


title: Reconciling Reality through Simulation: A Real-to-Sim-to-Real Approach for Robust Manipulation

abstract: Imitation learning methods need significant human supervision to learn policies robust to changes in object poses, physical disturbances, and visual distractors. Reinforcement learning, on the other hand, can explore the environment autonomously to learn robust behaviors but may require impractical amounts of unsafe real-world data collection. To learn performant, robust policies without the burden of unsafe real-world data collection or extensive human supervision, we propose RialTo, a system for robustifying real-world imitation learning policies via reinforcement learning in "digital twin" simulation environments constructed on the fly from small amounts of real-world data. To enable this real-to-sim-to-real pipeline, RialTo proposes an easy-to-use interface for quickly scanning and constructing digital twins of real-world environments. We also introduce a novel "inverse distillation" procedure for bringing real-world demonstrations into simulated environments for efficient fine-tuning, with minimal human intervention and engineering required. We evaluate RialTo across a variety of robotic manipulation problems in the real world, such as robustly stacking dishes on a rack, placing books on a shelf, and six other tasks. RialTo increases (over 67%) in policy robustness without requiring extensive human data collection. Project website and videos at https://real-to-sim-to-real.github.io/RialTo/


title: Stop Regressing: Training Value Functions via Classification for Scalable Deep RL

abstract: Value functions are a central component of deep reinforcement learning (RL). These functions, parameterized by neural networks, are trained using a mean squared error regression objective to match bootstrapped target values. However, scaling value-based RL methods that use regression to large networks, such as high-capacity Transformers, has proven challenging. This difficulty is in stark contrast to supervised learning: by leveraging a cross-entropy classification loss, supervised methods have scaled reliably to massive networks. Observing this discrepancy, in this paper, we investigate whether the scalability of deep RL can also be improved simply by using classification in place of regression for training value functions. We demonstrate that value functions trained with categorical cross-entropy significantly improves performance and scalability in a variety of domains. These include: single-task RL on Atari 2600 games with SoftMoEs, multi-task RL on Atari with large-scale ResNets, robotic manipulation with Q-transformers, playing Chess without search, and a language-agent Wordle task with high-capacity Transformers, achieving state-of-the-art results on these domains. Through careful analysis, we show that the benefits of categorical cross-entropy primarily stem from its ability to mitigate issues inherent to value-based RL, such as noisy targets and non-stationarity. Overall, we argue that a simple shift to training value functions with categorical cross-entropy can yield substantial improvements in the scalability of deep RL at little-to-no cost.


title: Investigating the Collective Nature of Cavity Modified Chemical Kinetics under Vibrational Strong Coupling

abstract: In this paper we develop quantum dynamical methods capable of treating the dynamics of chemically reacting systems in an optical cavity in the vibrationally strong-coupling (VSC) limit at finite temperatures and in the presence of a dissipative solvent in both the few and many molecule limits. In the context of two simple models we demonstrate how reactivity in the {\em collective} VSC regime does not exhibit altered rate behavior in equilibrium, but may exhibit resonant cavity modification of reactivity when the system is explicitly out of equilibrium. Our results suggest experimental protocols that may be used to modify reactivity in the collective regime and point to features not included in the models studied which demand further scrutiny.


title: Bridging Language and Items for Retrieval and Recommendation

abstract: This paper introduces BLaIR, a series of pretrained sentence embedding models specialized for recommendation scenarios. BLaIR is trained to learn correlations between item metadata and potential natural language context, which is useful for retrieving and recommending items. To pretrain BLaIR, we collect Amazon Reviews 2023, a new dataset comprising over 570 million reviews and 48 million items from 33 categories, significantly expanding beyond the scope of previous versions. We evaluate the generalization ability of BLaIR across multiple domains and tasks, including a new task named complex product search, referring to retrieving relevant items given long, complex natural language contexts. Leveraging large language models like ChatGPT, we correspondingly construct a semi-synthetic evaluation set, Amazon-C4. Empirical results on the new task, as well as conventional retrieval and recommendation tasks, demonstrate that BLaIR exhibit strong text and item representation capacity. Our datasets, code, and checkpoints are available at: https://github.com/hyp1231/AmazonReviews2023.


title: Backfiring Bosonisation

abstract: For a fermionic quantum field theory in $d=1+1$ dimensions, there is a subtle difference between summing over spin structures and gauging $(-1)^F$. If the gravitational anomaly vanishes mod 16, then both operations are equivalent and yield a bosonic theory. But if the gravitational anomaly only vanishes mod 8, then only gauging $(-1)^F$ is allowed, and the result is a fermionic theory. Our goal is to understand in detail how this happens, despite the fact $(-1)^F$ is defined in terms of shifting the spin structure, which would na\"ively suggest that both operations are equivalent. We do this from three perspectives: an abstract view in terms of anomalies, explicit CFT calculations, and a Symmetry TFT perspective. To conclude, we illustrate our results using the heterotic string and the famous self-triality of 8 Majorana-Weyl fermions.


title: 3D Diffusion Policy: Generalizable Visuomotor Policy Learning via Simple 3D Representations

abstract: Imitation learning provides an efficient way to teach robots dexterous skills; however, learning complex skills robustly and generalizablely usually consumes large amounts of human demonstrations. To tackle this challenging problem, we present 3D Diffusion Policy (DP3), a novel visual imitation learning approach that incorporates the power of 3D visual representations into diffusion policies, a class of conditional action generative models. The core design of DP3 is the utilization of a compact 3D visual representation, extracted from sparse point clouds with an efficient point encoder. In our experiments involving 72 simulation tasks, DP3 successfully handles most tasks with just 10 demonstrations and surpasses baselines with a 24.2% relative improvement. In 4 real robot tasks, DP3 demonstrates precise control with a high success rate of 85%, given only 40 demonstrations of each task, and shows excellent generalization abilities in diverse aspects, including space, viewpoint, appearance, and instance. Interestingly, in real robot experiments, DP3 rarely violates safety requirements, in contrast to baseline methods which frequently do, necessitating human intervention. Our extensive evaluation highlights the critical importance of 3D representations in real-world robot learning. Videos, code, and data are available on https://3d-diffusion-policy.github.io .


title: Understanding Stabilizer Codes Under Local Decoherence Through a General Statistical Mechanics Mapping

abstract: We consider the problem of a generic stabilizer Hamiltonian under local, incoherent Pauli errors. Using two different approaches -- (i) Haah's polynomial formalism arXiv:1204.1063 and (ii) the homological perspective on CSS codes -- we construct a mapping from the $n$th moment of the decohered ground state density matrix to a classical statistical mechanics model. We demonstrate that various measures of information capacity -- (i) quantum relative entropy, (ii) coherent information, and (iii) entanglement negativity -- map to thermodynamic quantities in the statistical mechanics model and can be used to characterize the decoding phase transition. As examples, we analyze the 3D toric code and X-cube model, deriving bounds on their optimal decoding thresholds and gaining insight into their information properties under decoherence. Additionally, we demonstrate that the SM mapping acts an an "ungauging" map; the classical models that describe a given code under decoherence also can be gauged to obtain the same code. Finally, we comment on correlated errors and non-CSS stabilizer codes.


title: Backtracing: Retrieving the Cause of the Query

abstract: Many online content portals allow users to ask questions to supplement their understanding (e.g., of lectures). While information retrieval (IR) systems may provide answers for such user queries, they do not directly assist content creators -- such as lecturers who want to improve their content -- identify segments that _caused_ a user to ask those questions. We introduce the task of backtracing, in which systems retrieve the text segment that most likely caused a user query. We formalize three real-world domains for which backtracing is important in improving content delivery and communication: understanding the cause of (a) student confusion in the Lecture domain, (b) reader curiosity in the News Article domain, and (c) user emotion in the Conversation domain. We evaluate the zero-shot performance of popular information retrieval methods and language modeling methods, including bi-encoder, re-ranking and likelihood-based methods and ChatGPT. While traditional IR systems retrieve semantically relevant information (e.g., details on "projection matrices" for a query "does projecting multiple times still lead to the same point?"), they often miss the causally relevant context (e.g., the lecturer states "projecting twice gets me the same answer as one projection"). Our results show that there is room for improvement on backtracing and it requires new retrieval approaches. We hope our benchmark serves to improve future retrieval systems for backtracing, spawning systems that refine content generation and identify linguistic triggers influencing user queries. Our code and data are open-sourced: https://github.com/rosewang2008/backtracing.


title: Decoupling the electronic gap from the spin Chern number in disordered higher-order topological insulators

abstract: In two-dimensional topological insulators, a disorder induced topological phase transition is typically identified with an Anderson localization transition at the Fermi energy. However, in higher-order, spin-resolved topological insulators it is the spectral gap of the spin-spectrum, in addition to the bulk mobility gap, which protects the non-trivial topology of the ground state. In this work, we show that these two gaps, the bulk electronic and spin gap, evolve distinctly upon introduction of disorder. This decoupling leads to a unique situation in which an Anderson localization transition occurs below the Fermi energy at the topological transition. Furthermore, in the clean limit the bulk-boundary correspondence of such higher-order insulators is dictated by crystalline protected topology, coexisting with the spin-resolved topology. By removing the crystalline symmetry, disorder allows for isolated study of the bulk-boundary correspondence of spin-resolved topology for which we demonstrate the absence of protected edge and corner modes in the Hamiltonian and yet the edge modes in the eigenstates of the projected spin operator survive. Our work shows that a non-zero spin-Chern number, in the absence of a non-trivial $\mathbb{Z}_{2}$ index, does not dictate the existence of protected edge modes, resolving a fundamental question posed in 2009.


title: Size, nanostructure, and composition dependence of bimetallic Au-Pd supported on ceria-zirconia mixed oxide catalysts for selective oxidation of benzyl alcohol

abstract: A bimetallic Au-Pd catalyst supported on ceriazirconia with Au:Pd molar ratio 0.8 has been synthesized using a simultaneous deposition-precipitation method and oxidized at 250, 450, and 700 $^\circ$C in order to modify its particle size, nanostructure, and composition. Combined Xray energy dispersive spectroscopy and Xray photoelectron spectroscopy analysis clearly evidence that the bimetallic Au-Pd catalyst oxidized at 250 $^\circ$C is made up of a mixture of monometallic Au and Pd and bimetallic Au-Pd nanoparticles with Au:Pd ratios varying over a wide range. Increasing oxidation temperature leads to a stronger interaction between Au and Pd. Meanwhile, a slight increase of particle size and a narrowing of the Au:Pd ratio in the bimetallic nanoparticles take place. Compared with titania and activated carbon supports, the resistance against sintering at high temperatures of Au-Pd metal particles supported on ceriazirconia is proven to be higher. A synergistic effect has been observed for selective oxidation of benzyl alcohol on these catalysts. The catalytic activity decreases only slightly after oxidation at 450 $^\circ$C. However, oxidation at 700 $^\circ$C results in much lower catalytic activity. Migration of Pd onto Au particles during oxidation of benzyl alcohol enhances the catalytic activity of a physical mixture of monometallic Au and Pd supported on ceriazirconia catalysts. This fact, jointly with an analysis of the intrinsic activity, reveals the influence of the actual nature of Au-Pd interactions in the bimetallic particles, which points to higher activity of Au@Pd or Au@Pd@Pd nanostructures on ceria-zirconia support.


title: $B$-meson semileptonic decays from highly improved staggered quarks

abstract: We present an update for results on $B$-meson semileptonic decays using the highly improved staggered quark (HISQ) action for both valence and 2+1+1 sea quarks. The use of the highly improved action, combined with the MILC collaboration's gauge ensembles with lattice spacings down to $\sim$0.03 fm, allows the $b$ quark to be treated with the same discretization as the lighter quarks. The talk will focus on updated results for $B_{(s)} \to D_{(s)}$, $B_{(s)} \to K$ scalar and vector form factors.


title: Assessing the Extrapolation Capability of Template-Free Retrosynthesis Models

abstract: Despite the acknowledged capability of template-free models in exploring unseen reaction spaces compared to template-based models for retrosynthesis prediction, their ability to venture beyond established boundaries remains relatively uncharted. In this study, we empirically assess the extrapolation capability of state-of-the-art template-free models by meticulously assembling an extensive set of out-of-distribution (OOD) reactions. Our findings demonstrate that while template-free models exhibit potential in predicting precursors with novel synthesis rules, their top-10 exact-match accuracy in OOD reactions is strikingly modest (< 1%). Furthermore, despite the capability of generating novel reactions, our investigation highlights a recurring issue where more than half of the novel reactions predicted by template-free models are chemically implausible. Consequently, we advocate for the future development of template-free models that integrate considerations of chemical feasibility when navigating unexplored regions of reaction space.


title: Challenges with relativistic GW calculations in solids and molecules

abstract: For molecules and solids containing heavy elements, accurate electronic structure calculations require accounting not only for electronic correlations but also for relativistic effects. In molecules, relativity can lead to severe changes in the ground-state description. In solids, the interplay between both correlation and relativity can change the stability of phases or it can lead to an emergence of completely new phases. Traditionally, the simplest illustration of relativistic effects can be done either by including pseudopotentials in non-relativistic calculations or alternatively by employing large all electron basis sets in relativistic methods. By analyzing different electronic properties (band structure, equilibrium lattice constant and bulk modulus) in semiconductors and insulators, we show that capturing the interplay of relativity and electron correlation can be rather challenging in Green's function methods. For molecular problems with heavy elements, we also observe that similar problems persist. We trace these challenges to three major problems: deficiencies in pseudopotential treatment as applied to Green's function methods, the scarcity of accurate and compact all-electron basis-sets that can be converged with respect to the basis-set size, and linear dependencies arising in all-electron basis-sets particularly when employing Gaussian orbitals. Our analysis provides detailed insight into these problems and opens a discussion about potential approaches to mitigate them.


title: Identify Critical Nodes in Complex Network with Large Language Models

abstract: Identifying critical nodes in networks is a classical decision-making task, and many methods struggle to strike a balance between adaptability and utility. Therefore, we propose an approach that empowers Evolutionary Algorithm (EA) with Large Language Models (LLMs), to generate a function called "score\_nodes" which can further be used to identify crucial nodes based on their assigned scores. Our model consists of three main components: Manual Initialization, Population Management, and LLMs-based Evolution. It evolves from initial populations with a set of designed node scoring functions created manually. LLMs leverage their strong contextual understanding and rich programming skills to perform crossover and mutation operations on the individuals, generating excellent new functions. These functions are then categorized, ranked, and eliminated to ensure the stable development of the populations while preserving diversity. Extensive experiments demonstrate the excellent performance of our method, showcasing its strong generalization ability compared to other state-of-the-art algorithms. It can consistently and orderly generate diverse and efficient node scoring functions. All source codes and models that can reproduce all results in this work are publicly available at this link: \url{https://anonymous.4open.science/r/LLM4CN-6520}


title: The Role of Geometry in Tailoring the Linear and Nonlinear Optical Properties of Semiconductor Quantum Dots

abstract: The paper aims to reveal the relationship between the geometrical features and linear and nonlinear optical properties of InAs quantum dots (QDs). This problem is justified by the extreme variety offered by the recent advances in growth techniques tailored to the attainment of QDs and nanostructures with virtually any shape. To that end, the Finite Element Method in conjunction with the Effective Mass Approximation and Envelope Function Approximation was employed to solve the one-particle eigenproblems in domains with any complex geometries. The paper explores nanoplatelets, spherical QDs, nanocones, nanorods, nanotadpoles, and nanostars. It has been found that there is a clear correlation between the complexity and symmetry of the QDs and their linear and nonlinear absorption spectra for transitions between the electronic ground state and the first three excited states.


title: Theory of Half-Integer Fractional Quantum Spin Hall Insulator Edges

abstract: We study the edges of fractional quantum spin Hall insulators (FQSH) with half-integer spin Hall conductance. These states can be viewed as symmetric combinations of a spin-up and spin-down half-integer fractional quantum Hall state (FQH) that are time-reversal invariant, and conserve the z-component of spin. We consider the non-Abelian states based on the Pfaffian, anti-Pfaffian, PH-Pfaffian, and 221 FQH, and generic Abelian FQH. For strong enough spin-conserving interactions, we find that all the non-Abelian and Abelian edges flow to the same fixed point that consists of a single pair of charged counter-propagating bosonic modes. If spin-conservation is broken, the Abelian edge can be fully gapped in a time-reversal symmetric fashion. The non-Abelian edge with broken spin-conservation remains gapless due to time-reversal symmetry, and can flow to a new fixed point with a helical gapless pair of Majorana fermions. We discuss the possible relevance of our results to the recent observation of a half-integer edge conductance in twisted MoTe2.


title: Determining the difference between local acceleration and local gravity: applications of the equivalence principle to relativistic trajectories

abstract: We show by direct calculation that the common Equivalence Principle explanation for why gravity must deflect light is quantitatively incorrect by a factor of three in Schwarzschild geometry. It is therefore possible, at least as a matter of principle, to tell the difference between local acceleration and a true gravitational field by measuring the local deflection of light. We calculate as well the deflection of test particles of arbitrary energy, and construct a leading-order coordinate transformation from Schwarzschild to local inertial coordinates, which shows explicitly how the effects of spatial curvature manifest locally for relativistic trajectories of both finite and vanishing rest mass particles.


title: Seismic and acoustic signals from the 2014 'Interstellar Meteor'

abstract: We conduct a thorough analysis of seismic and acoustic data from the so-called `Interstellar Meteor' which entered the Earth's atmosphere off the coast of Papua New Guinea on 2014-01-08. We conclude that both previously-reported seismic signals are spurious -- one has characteristics suggesting a local vehicular-traffic based origin; whilst the other is statistically indistinguishable from the background noise. As such, previously-reported localisations based on this data are spurious. Analysis of acoustic data provides a best fit location estimate which is very far ($\sim$170~km) from the reported fireball location. Accordingly, we conclude that material recovered from the seafloor and purported to be from the meteor is almost certainly unrelated to it, and is likely of more mundane (non-interstellar) origin.

categories: astro-ph.EP astro-ph.IM astro-ph.SR physics.ao-ph physics.geo-ph


title: Effect of Ambient-Intrinsic Dimension Gap on Adversarial Vulnerability

abstract: The existence of adversarial attacks on machine learning models imperceptible to a human is still quite a mystery from a theoretical perspective. In this work, we introduce two notions of adversarial attacks: natural or on-manifold attacks, which are perceptible by a human/oracle, and unnatural or off-manifold attacks, which are not. We argue that the existence of the off-manifold attacks is a natural consequence of the dimension gap between the intrinsic and ambient dimensions of the data. For 2-layer ReLU networks, we prove that even though the dimension gap does not affect generalization performance on samples drawn from the observed data space, it makes the clean-trained model more vulnerable to adversarial perturbations in the off-manifold direction of the data space. Our main results provide an explicit relationship between the $\ell_2,\ell_{\infty}$ attack strength of the on/off-manifold attack and the dimension gap.


title: Beneath the Surface: Revealing Deep-Tissue Blood Flow in Human Subjects with Massively Parallelized Diffuse Correlation Spectroscopy

abstract: Diffuse Correlation Spectroscopy (DCS) allows the label-free investigation of microvascular dynamics deep within living tissue. However, common implementations of DCS are currently limited to measurement depths of $\sim 1-1.5cm$, which can limit the accuracy of cerebral hemodynamics measurement. Here we present massively parallelized DCS (pDCS) using novel single photon avalanche detector (SPAD) arrays with up to 500x500 individual channels. The new SPAD array technology can boost the signal-to-noise ratio by a factor of up to 500 compared to single-pixel DCS, or by more than 15-fold compared to the most recent state-of-the-art pDCS demonstrations. Our results demonstrate the first in vivo use of this massively parallelized DCS system to measure cerebral blood flow changes at $\sim 2cm$ depth in human adults. We compared different modes of operation and applied a dual detection strategy, where a secondary SPAD array is used to simultaneously assess the superficial blood flow as a built-in reference measurement. While the blood flow in the superficial scalp tissue showed no significant change during cognitive activation, the deep pDCS measurement showed a statistically significant increase in the derived blood flow index of 8-12% when compared to the control rest state.


title: On Outer Bi-Lipschitz Extensions of Linear Johnson-Lindenstrauss Embeddings of Subsets of $\mathbb{R}^N$

abstract: The celebrated Johnson-Lindenstrauss lemma states that for all $\varepsilon \in (0,1)$ and finite sets $X \subseteq \mathbb{R}^N$ with $n>1$ elements, there exists a matrix $\Phi \in \mathbb{R}^{m \times N}$ with $m=\mathcal{O}(\varepsilon^{-2}\log n)$ such that \[ (1 - \varepsilon) \|x-y\|_2 \leq \|\Phi x-\Phi y\|_2 \leq (1+\varepsilon)\| x- y\|_2 \quad \forall\, x, y \in X.\] Herein we consider terminal embedding results which have recently been introduced in the computer science literature as stronger extensions of the Johnson-Lindenstrauss lemma for finite sets. After a short survey of this relatively recent line of work, we extend the theory of terminal embeddings to hold for arbitrary (e.g., infinite) subsets $X \subseteq \mathbb{R}^N$, and then specialize our generalized results to the case where $X$ is a low-dimensional compact submanifold of $\mathbb{R}^N$. In particular, we prove the following generalization of the Johnson-Lindenstrauss lemma: For all $\varepsilon \in (0,1)$ and $X\subseteq\mathbb{R}^N$, there exists a terminal embedding $f: \mathbb{R}^N \longrightarrow \mathbb{R}^{m}$ such that $$(1 - \varepsilon) \| x - y \|_2 \leq \left\| f(x) - f(y) \right\|_2 \leq (1 + \varepsilon) \| x - y \|_2 \quad \forall \, x \in X ~{\rm and}~ \forall \, y \in \mathbb{R}^N.$$ Crucially, we show that the dimension $m$ of the range of $f$ above is optimal up to multiplicative constants, satisfying $m=\mathcal{O}(\varepsilon^{-2} \omega^2(S_X))$, where $\omega(S_X)$ is the Gaussian width of the set of unit secants of $X$, $S_X=\overline{\{(x-y)/\|x-y\|_2 \colon x \neq y \in X\}}$. Furthermore, our proofs are constructive and yield algorithms for computing a general class of terminal embeddings $f$, an instance of which is demonstrated herein to allow for more accurate compressive nearest neighbor classification than standard linear Johnson-Lindenstrauss embeddings do in practice.


title: Inverse resolution of spatially varying diffusion coefficient using Physics-Informed neural networks

abstract: Resolving the diffusion coefficient is a key element in many biological and engineering systems, including pharmacological drug transport and fluid mechanics analyses. Additionally, these systems often have spatial variation in the diffusion coefficient which must be determined, such as for injectable drug-eluting implants into heterogeneous tissues. Unfortunately, obtaining the diffusion coefficient from images in such cases is an inverse problem with only discrete data points. The development of a robust method that can work with such noisy and ill-posed datasets to accurately determine spatially-varying diffusion coefficients is of great value across a large range of disciplines. Here, we developed an inverse solver that uses physics informed neural networks (PINNs) to calculate spatially-varying diffusion coefficients from numerical and experimental image data in varying biological and engineering applications. The residual of the transient diffusion equation for a concentration field is minimized to find the diffusion coefficient. The robustness of the method as an inverse solver was tested using both numerical and experimental datasets. The predictions show good agreement with both the numerical and experimental benchmarks; an error of less than 6.31% was obtained against all numerical benchmarks, while the diffusion coefficient calculated in experimental datasets matches the appropriate ranges of other reported literature values. Our work demonstrates the potential of using PINNs to resolve spatially-varying diffusion coefficients, which may aid a wide-range of applications, such as enabling better-designed drug-eluting implants for regenerative medicine or oncology fields.


title: $\mathcal{N}=5$ SCFTs and quaternionic reflection groups

abstract: It was previously noted that for 3d SCFTs with $\mathcal{N}\geq 6$ the moduli space has the form of $\mathbb{C}^{4r}/\Gamma$, where $\Gamma$ is a complex reflection group, at least following suitable gauging of finite symmetries. Here we argue that this observation can be extended also to 3d SCFTs with $\mathcal{N}\geq 5$ SUSY, where $\Gamma$ is now a quaternionic reflection group. To do this, we study the moduli space of the known 3d $\mathcal{N}=5$ SCFTs. For Lagrangian cases, the results for the moduli space are further checked using the superconformal index.


title: On the cosmology and terrestrial signals of sexaquark dark matter

abstract: We investigate the hypothesis that sexaquarks, hypothetical stable six-quark states, could be a significant component of the dark matter. We expand on previous studies of sexaquark cosmology, accounting for the possibility that some relevant interaction cross sections might be strongly suppressed below expectations based on dimensional analysis. We update direct-detection constraints on stable sexaquarks comprising a subdominant fraction of the dark matter, as well as limits on the annihilation of an antisexaquark component from Super-Kamiokande. We argue that the scenario where sexaquarks comprise a $O(1)$ fraction of the dark matter would require either a suppression of $O(10^{-19})$ in sexaquark interactions with baryons, combined with a very high yield of net sexaquark number from the quark-hadron transition, or else a very strong suppression of the cross section for antisexaquark annihilation on nucleons (24+ orders of magnitude below the QCD scale). Independently, we find that a sexaquark component comprising more than $O(10^{-3})$ of the dark matter can be excluded from direct-detection bounds, unless its scattering cross section is severely suppressed compared to the expected scale of strong and even electromagnetic interactions.


title: MTC$[M_3, G]$: 3d Topological Order Labeled by Seifert Manifolds

abstract: We propose a correspondence between topological order in 2+1d and Seifert three-manifolds together with a choice of ADE gauge group $G$. Topological order in 2+1d is known to be characterized in terms of modular tensor categories (MTCs), and we thus propose a relation between MTCs and Seifert three-manifolds. The correspondence defines for every Seifert manifold and choice of $G$ a fusion category, which we conjecture to be modular whenever the Seifert manifold has trivial first homology group with coefficients in the center of $G$. The construction determines the spins of anyons and their S-matrix, and provides a constructive way to determine the R- and F-symbols from simple building blocks. We explore the possibility that this correspondence provides an alternative classification of MTCs, which is put to the test by realizing all MTCs (unitary or non-unitary) with rank $r\leq 5$ in terms of Seifert manifolds and a choice of Lie group $G$.

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


title: Two distinct molecular cloud populations detected in massive galaxies

abstract: We present new ALMA observations of CO, CN, CS, HCN and HCO$^{+}$ absorption seen against the bright and compact radio continuum sources of eight massive galaxies. Combined with archival observations, they reveal two distinct populations of molecular clouds, which we identify by combining CO emission and absorption profiles to unambiguously reveal each cloud's direction of motion and likely location. In galaxy disks, we see clouds with low velocity dispersions, low line of sight velocities and a lack of any systemic inflow or outflow. In galactic cores, we find high velocity dispersion clouds inflowing at up to 550 km/s. This provides observational evidence in favour of cold accretion onto galactic centres, which likely contributes to the fuelling of active galactic nuclei. We also see a wide range in the CO(2-1)/CO(1-0) ratios of the absorption lines. This is likely the combined effect of hierarchical substructure within the molecular clouds and continuum sources which vary in size with frequency.


title: Robust covariance estimation and explainable outlier detection for matrix-valued data

abstract: This work introduces the Matrix Minimum Covariance Determinant (MMCD) method, a novel robust location and covariance estimation procedure designed for data that are naturally represented in the form of a matrix. Unlike standard robust multivariate estimators, which would only be applicable after a vectorization of the matrix-variate samples leading to high-dimensional datasets, the MMCD estimators account for the matrix-variate data structure and consistently estimate the mean matrix, as well as the rowwise and columnwise covariance matrices in the class of matrix-variate elliptical distributions. Additionally, we show that the MMCD estimators are matrix affine equivariant and achieve a higher breakdown point than the maximal achievable one by any multivariate, affine equivariant location/covariance estimator when applied to the vectorized data. An efficient algorithm with convergence guarantees is proposed and implemented. As a result, robust Mahalanobis distances based on MMCD estimators offer a reliable tool for outlier detection. Additionally, we extend the concept of Shapley values for outlier explanation to the matrix-variate setting, enabling the decomposition of the squared Mahalanobis distances into contributions of the rows, columns, or individual cells of matrix-valued observations. Notably, both the theoretical guarantees and simulations show that the MMCD estimators outperform robust estimators based on vectorized observations, offering better computational efficiency and improved robustness. Moreover, real-world data examples demonstrate the practical relevance of the MMCD estimators and the resulting robust Shapley values.


title: NNLO QCD corrections to the $q^2$ spectrum of inclusive semileptonic $B$-meson decays

abstract: We calculate the next-to-next-to-leading order QCD corrections to the leptonic invariant mass ($q^2$) spectrum of semileptonic $b \to c$ inclusive decays, taking into account the mass of the charm quark and the charged lepton in the final state. We obtain analytic results in terms of generalized polylogarithms and present numerical studies of the $\mathcal{O}(\alpha_s^2)$ corrections to the $q^2$ spectrum of $b \to c \ell \bar \nu_\ell$ decays, for $\ell =e, \mu$ and $\tau$, in the kinetic scheme. Our computation can be used to incorporate the recent measurements of $q^2$ moments by Belle and Belle II into global fits of inclusive semileptonic $B$-decays.


title: Gas-phase metallicity gradients in galaxies at $z \sim 6-8$

abstract: The study of gas-phase metallicity and its spatial distribution at high redshift is crucial to understand the processes that shaped the growth and evolution of galaxies in the early Universe. Here we study the spatially resolved metallicity in three systems at $z\sim6-8$, namely A2744-YD4, BDF-3299, and COSMOS24108, with JWST NIRSpec IFU low-resolution ($R$ $\sim$ 100) spectroscopic observations. These are among the highest-$z$ sources in which metallicity gradients have been probed so far. Each of these systems hosts several spatial components in the process of merging within a few kiloparsecs, identified from the rest-frame UV and optical stellar continuum and ionised gas emission line maps. The sources have heterogeneous properties, with stellar masses log($M_*/M_\odot) \sim 7.6-9.3$, star formation rates (SFRs) $\sim1-15$ $M_\odot$ yr$^{-1}$, and gas-phase metallicities 12+log(O/H) $\sim 7.7-8.3$, which exhibit a large scatter within each system. Their properties are generally consistent with those of the highest-redshift samples to date ($z\sim3-10$), though the sources in A2744-YD4 and COSMOS24108 are at the high end of the mass-metallicity relation (MZR) defined by the $z\sim3-10$ sources. Moreover, the targets in this work follow the predicted slope of the MZR at $z\sim 6-8$ from most cosmological simulations. The gas-phase metallicity gradients are consistent with being flat in the main sources of each system. Flat metallicity gradients are thought to arise from gas mixing processes on galaxy scales, such as mergers or galactic outflows and SN winds driven by intense stellar feedback, which wash out any gradient formed in the galaxy. The existence of flat gradients at $z\sim6-8$ sets also important constraints on cosmological simulations, whose predictions on the cosmic evolution of metallicity gradients often differ significantly, especially at high redshift.


title: The impact of AGN X-ray selection on the AGN halo occupation distribution

abstract: The connection between active galactic nuclei (AGN) and their host dark matter halos provides powerful insights into how supermassive black holes (SMBHs) grow and coevolve with their host galaxies. Here we investigate the impact of observational AGN selection on the AGN halo occupation distribution (HOD) by forward-modeling AGN activity into cosmological N-body simulations. By assuming straightforward relationships between the SMBH mass, galaxy mass, and (sub)halo mass, as well as a uniform broken power law distribution of Eddington ratios, we find that luminosity-limited AGN samples result in biased HOD shapes. While AGN defined by an Eddington ratio threshold produce AGN fractions that are flat across halo mass (unbiased by definition), luminosity-limited AGN fractions peak around galaxy-group-sized halo masses and then decrease with increasing halo mass. With higher luminosities, the rise of the AGN fraction starts at higher halo masses, the peak is shifted towards higher halo masses, and the decline at higher halo masses is more rapid. These results are consistent with recent HOD constraints from AGN clustering measurements, which find (1) characteristic halo mass scales of $\log M_{Vir}\sim$ 12 - 13 [$h^{-1}M_{\odot}$] and (2) a shallower rise of the number of satellite AGN with increasing halo mass than for the overall galaxy population. Thus the observational biases due to AGN selection can naturally explain the constant, characteristic halo mass scale inferred from large-scale AGN clustering amplitudes over a range of redshifts, as well as the measured inconsistencies between AGN and galaxy HODs. We conclude that AGN selection biases can have significant impacts on the inferred AGN HOD, and can therefore lead to possible misinterpretations of how AGN populate dark matter halos and the AGN-host galaxy connection.


title: Thermal partition function of $J_3 \bar{J}_3$ deformed $AdS_3$

abstract: We derive a compact formula for the one-loop, bosonic string partition function of Euclideanized $J_3 \bar J_3$ deformed $AdS_3$ with periodic Euclidean time as an integral transform of the partition function of the undeformed Euclideanized $AdS_3$. Such a deformation is interpretable as an irrelevant "single-trace $T \bar T$ deformation" of the boundary. We will do this by first establishing a formal procedure to compute a worldsheet torus zero point function for an exactly marginal $J \bar J$ deformation of a sigma model with $U(1)_L \times U(1)_R$ global symmetry. We then describe how this procedure is implemented on $SL(2,R)$ sigma model and its Euclidean continuation. Finally, we describe the embedding of the deformed $SL(2,R)$ torus amplitude into critical string theory and interpret the result as the leading perturbative contribution to the thermal partition function of the deformed theory.


title: Collective modes in terahertz field response of superconductors with paramagnetic impurities

abstract: We consider a problem of nonlinear response to an external electromagnetic radiation of conventional disordered superconductors which contain a small amount of weak magnetic impurities. We focus on the diffusive limit and use Usadel equation to analyze the collective excitations and obtain the dispersion relations for the collective modes. We determine the resonant frequency and dispersion of both amplitude and phase (Carlson-Goldman) modes for moderate strength of magnetic scattering. We find that the Carlson-Goldman and superconducting plasmon modes can only be excited at some finite value of the threshold momentum which increases with an increase in spin-flip scattering rate while the amplitude mode is diffusive and becomes strongly suppressed with the increase in spin-flip scattering. The value of the threshold momentum is determined by the distance between the two consecutive spin-flip scattering events. Furthermore, we also find that the superconducting plasmon mode becomes gapless in the presence of the pair breaking processes. Possible ways towards experimental verification of our results are also discussed.


title: AGN feedback in the Local Universe: multiphase outflow of the Seyfert galaxy NGC 5506

abstract: We present new optical GTC/MEGARA seeing-limited (0.9") integral-field observations of NGC 5506, together with ALMA observations of the CO(3-2) transition at a 0.2" (25 pc) resolution. NGC 5506 is a luminous (bolometric luminosity of $\sim 10^{44}$ erg/s) nearby (26 Mpc) Seyfert galaxy, part of the Galaxy Activity, Torus, and Outflow Survey (GATOS). We modelled the CO(3-2) kinematics with 3D-Barolo, revealing a rotating and outflowing cold gas ring within the central 1.2 kpc. We derived an integrated cold molecular gas mass outflow rate for the ring of 8 M$_{\odot}$/yr. We fitted the optical emission lines with a maximum of two Gaussian components to separate rotation from non-circular motions. We detected high [OIII]$\lambda$5007 projected velocities (up to 1000 km/s) at the active galactic nucleus (AGN) position, decreasing with radius to an average 330 km/s around 350 pc. We also modelled the [OIII] gas kinematics with a non-parametric method, estimating the ionisation parameter and electron density in every spaxel, from which we derived an ionised mass outflow rate of 0.076 M$_{\odot}$/yr within the central 1.2 kpc. Regions of high CO(3-2) velocity dispersion, extending to projected distances of 350 pc from the AGN, appear to be the result from the interaction of the AGN wind with molecular gas in the galaxy's disc. Additionally, we find the ionised outflow to spatially correlate with radio and soft X-ray emission in the central kiloparsec. We conclude that the effects of AGN feedback in NGC 5506 manifest as a large-scale ionised wind interacting with the molecular disc, resulting in outflows extending to radial distances of 610 pc


title: GLANCE -- Gravitational Lensing Authenticator using Non-Modelled Cross-Correlation Exploration of Gravitational Wave Signals

abstract: Gravitational lensing is the effect on a lightlike trajectory by the presence of matter, affecting its trajectory in spacetime. Gravitational lensing of gravitational waves can occur in geometric optics limit (when GW wavelength is much smaller than the Schwarzschild radius of the lens i.e. $\lambda_{GW} \ll$ R$^{\rm sc}_{\rm lens}$, multiple images with different magnifications are formed) known as strong-lensing or in wave optics limit (when the wavelength of GW is larger than the Schwarzschild radius i.e. R$^{\rm sc}_{\rm lens}$ $\lesssim \lambda_{GW} $, interfering signals produce beating pattern in the waveform envelope) known as micro-lensing. Currently, large sky-localization errors of GW sources and strong noise-PSD have barred us from evidencing lensed GWs. Considering this aspect, we have developed $\texttt{GLANCE}$, a novel technique to detect lensed GWs. We demonstrate that cross-correlation between the data pieces containing lensed signals shows a very specific trend. The strength of the cross-correlation signal can quantify the significance of the event(s) being lensed. Since lensing impacts the inference of the source parameters, primarily the luminosity distance for the strong lensing case, a joint parameter estimation of the source and lens-induced parameters is incorporated in $\texttt{GLANCE}$ using a Bayesian framework. We applied our method to simulated strongly lensed data and we have shown that $\texttt{GLANCE}$ not only can detect lensed GW signals but also can correctly infer the injected source and lens parameters even when one of the signals is below the match-filtered threshold SNR. This demonstrates the capability of $\texttt{GLANCE}$ for a robust detection of lensed GW signal from noisy data.


title: The Cosmic Ultraviolet Baryon Survey (CUBS) VIII: Group Environment of the Most Luminous Quasars at $z\approx1$

abstract: We investigate the group-scale environment of 15 luminous quasars (luminosity $L_{\rm 3000}>10^{46}$ erg s$^{-1}$) from the Cosmic Ultraviolet Baryon Survey (CUBS) at redshift $z\approx1$. Using the Multi Unit Spectroscopic Explorer (MUSE) integral field spectrograph on the Very Large Telescope (VLT), we conduct a deep galaxy redshift survey in the CUBS quasar fields to identify group members and measure the physical properties of individual galaxies and galaxy groups. We find that the CUBS quasars reside in diverse environments. The majority (11 out of 15) of the CUBS quasars reside in overdense environments with typical halo masses exceeding $10^{13}{\rm M}_{\odot}$, while the remaining quasars reside in moderate-size galaxy groups. No correlation is observed between overdensity and redshift, black hole (BH) mass, or luminosity. Radio-loud quasars (5 out of 15 CUBS quasars) are more likely to be in overdense environments than their radio-quiet counterparts in the sample, consistent with the mean trends from previous statistical observations and clustering analyses. Nonetheless, we also observe radio-loud quasars in moderate groups and radio-quiet quasars in overdense environments, indicating a large scatter in the connection between radio properties and environment. We find that the most UV luminous quasars might be outliers in the stellar mass-to-halo mass relations or may represent departures from the standard single-epoch BH relations.


title: Pre-supernova evolution and final fate of stellar mergers and accretors of binary mass transfer

abstract: The majority of massive stars are expected to exchange mass or merge with a companion during their lives. This immediately implies that most supernovae (SNe) are from such post-mass-exchange objects. Here, we explore how mass accretion and merging affect the pre-SN structures of stars and their final fates. We use the stellar evolution code MESA, infer the outcome of core-collapse using a neutrino-driven SN model, and apply a rapid-accretion model. Our models cover initial masses from 11 to 70 Msun and the accreted mass ranges from 10-200% of the initial mass. We find that mass accretion in particular onto post-main-sequence (post-MS) stars can lead to a long-lived blue supergiant (BSG) phase. In comparison to genuine single stars, post-MS accretors have small core-to-total mass ratios, regardless of whether they end their lives as BSGs or cool supergiants (CSGs), and they can have genuinely different pre-SN core structures. As in single and binary-stripped stars, we find black-hole (BH) formation for the same characteristic CO core masses M_CO of ~7 Msun and >13 Msun. In models with the largest mass accretion, the BH-formation landscape as a function of M_CO is shifted by about 0.5 Msun to lower masses. We find a tight relation between our neutron-star (NS) masses and the central entropy of the pre-SN models, suggesting a universal relation that is independent of the evolutionary history of stars. Post-MS accretors explode both as BSGs and CSGs, and we show how to understand their pre-SN locations in the Hertzsprung--Russell diagram. Some BSGs that avoid the luminous-blue-variable (LBV) regime are predicted to collapse into BHs of up to 50 Msun while others explode in supernovae and eject up to 40 Msun, greatly exceeding ejecta masses from single stars. These masses can be even higher at lower metallicities, and they may fall into the pair-instability-supernova mass gap. [abridged]


title: HELLO project: High-$z$ Evolution of Large and Luminous Objects

abstract: We present the High-$z$ Evolution of Large and Luminous Objects (HELLO) project, a set of more than 30 high-resolution hydrodynamical cosmological simulations aimed to study Milky Way analogues ($M_\star\sim10^{10-11}$ $\mathrm{M}_\odot$) at high redshift, namely at $z=3.6$ (age $\sim$ 1.7 Gyr) and $z=2$ (age $\sim$ 3.3 Gyr). The HELLO project features an updated scheme for chemical enrichment and the addition of local photoionization feedback processes. Independently of redshift and stellar mass, all galaxies follow a similar evolutionary path: (i) first a smooth progression along the star formation main sequence, where galaxies grow in both stellar mass and size, (ii) a (short) period of intense star formation, which causes a contraction phase in the stellar size, until the galaxies reach their peak star formation rate (SFR), during this period we also witness a significant black hole growth, and (iii) the onset of declining SFRs, which is due to a mix of gas consumption, stellar feedback, and AGN feedback, but with AGN feedback still being subdominant with respect to stellar feedback for energy deposition. The exact phase in which a galaxy in our mass range can be found at a given redshift is set by its gas reservoir and assembly history. Finally, our galaxies are in excellent agreement with several various scaling relations observed with the Hubble Space Telescope and the James Webb Space Telescope, and hence can be used to provide the theoretical framework to interpret current and future observations from these facilities and shed light on the transition from star-forming to quiescent galaxies.


title: Quantum many-body scars and non-thermal behaviour in Fredkin spin chains

abstract: We study the dynamics and thermalization of the Fredkin spin chain, a system with local three-body interactions, particle conservation and explicit kinetic constraints. We consider deformations away from its stochastic point in order to tune between regimes where kinetic energy dominates and those where potential energy does. By means of exact diagonalisation, perturbation theory and variational matrix product states, we show that the stochastic point is where a transition occurs between a phase of fast thermalization to one of slow metastable (prethermal) dynamics. This change in relaxation is connected to the emergence of additional kinetic constraints which lead to the fragmentation of Hilbert space in the limit of a large potential energy. We also show that this transition can lead to thermalization being evaded for special initial conditions due to non-thermal eigenstates (akin to quantum many-body scars). We provide clear evidence for the existence of these non-thermal states for large system sizes even when far from the large-potential-energy limit, and explain their connection to the emergent kinetic constraints.


title: Metal enrichment: the apex accretor perspective

abstract: Aims. The goal of this work is to devise a description of the enrichment process in large-scale structure that explains the available observations and makes predictions for future measurements. Methods. We took a spartan approach to this study, employing observational results and algebra to connect stellar assembly in star-forming halos with metal enrichment of the intra-cluster and group medium. Results. On one hand, our construct is the first to provide an explanation for much of the phenomenology of metal enrichment in clusters and groups. It sheds light on the lack of redshift evolution in metal abundance, as well as the small scatter of metal abundance profiles, the entropy versus abundance anti-correlation found in cool core clusters, and the so-called Fe conundrum, along with several other aspects of cluster enrichment. On the other hand, it also allows us to infer the properties of other constituents of large-scale structure. We find that gas that is not bound to halos must have a metal abundance similar to that of the ICM and only about one-seventh to one-third of the Fe in the Universe is locked in stars. A comparable amount is found in gas in groups and clusters and, lastly and most importantly, about three-fifths of the total Fe is contained in a tenuous warm or hot gaseous medium in or between galaxies. We point out that several of our results follow from two critical but well motivated assumptions: 1) the stellar mass in massive halos is currently underestimated and 2) the adopted Fe yield is only marginally consistent with predictions from synthesis models and SN rates. Conclusions. One of the most appealing features of the work presented here is that it provides an observationally grounded construct where vital questions on chemical enrichment in the large-scale structure can be addressed. We hope that it may serve as a useful baseline for future works.


title: D6 branes wrapped on a spindle and $Y^{p,q}$ manifolds

abstract: We present new solutions of 8d gauged supergravity which, upon uplift to type IIA, represent D6 branes wrapped on spindles. A further circle uplift gives 11d supergravity on a Calabi-Yau three-fold which is the cone over five-dimensional $Y^{p,q}$ manifolds. This highlights a connection between co-homogeneity one Sasaki-Einstein metrics in general dimension and the recently introduced spindle solutions in gauged supergravity. We find that a similar connection also exists for the small resolution of the Calabi-Yau cone over such manifolds.


title: A story of non-conformal branes: spindles, disks, circles and black holes

abstract: We consider the $(p+2)$-dimensional gauged supergravities arising as a consistent truncation of type II on $S^{8-p}$, which are associated with the near-horizon limit of D$p$-branes, for $p=2,4,5,6$ (and NS5-branes for $p=5$). In a truncation of these theories with only abelian gauge fields and scalars, we find several classes of new solutions, with and without supersymmetry. Our ansatz for such backgrounds is inspired by the recent progress in the study of branes wrapped on orbifolds, but unlike those examples we consider "non-conformal branes", $i.e.$ no Anti de Sitter factors in the metric. Focusing on cases with non-trivial gauge fields, we can divide the solutions that we present in three categories: 1) branes wrapping Riemann surfaces, spindles and disks, 2) branes wrapped on a circle with a holonomy for the gauge field along the circle and 3) electrically charged black holes in gauged supergravity, which uplift to rotating branes in ten dimensions. We carefully analyze the conditions for supersymmetry in all these cases.


title: A Sierpinski Triangle Data Structure for Efficient Array Value Update and Prefix Sum Calculation

abstract: The binary indexed tree, or Fenwick tree, is a data structure that can efficiently update values and calculate prefix sums in an array. It allows both of these operations to be performed in $O(\log_2 N)$ time. Here we present a novel data structure resembling the Sierpinski triangle, which accomplishes these operations with the same memory usage in $O(\log_3 N)$ time instead. We show this order to be optimal by making use of a connection to quantum computing.


title: Even more efficient magic state distillation by zero-level distillation

abstract: Magic state distillation (MSD) is an essential element for universal fault-tolerant quantum computing, which distills a high fidelity magic state from noisy magic states using ideal (error-corrected) Clifford operations. For ideal Clifford operations, it needs to be performed on the logical qubits and hence takes a large spatiotemporal overhead, which is one of the major bottlenecks for the realization of fault-tolerant quantum computers (FTQC). Here we propose zero-level distillation, which prepares a high fidelity logical magic state using physical qubits on a square lattice using nearest-neighbor two-qubit gates without using multiple logical qubits. The key idea behind is using the Steane code to distill a logical magic state by using noisy Clifford gates with error detection. Then the Steane code state is teleported or converted to the surface codes. By carefully designing such circuits fault-tolerantly, the error rate of the logical magic state scales $\sim 100 \times p^2$ in terms of the physical error rate $p$. For example, with a physical error rate of $p=10^{-4}$ ($10^{-3}$), the logical error rate is reduced to $p_L=10^{-6}$ ($10^{-4}$), resulting in an improvement of two (one) orders of magnitude. This contributes to reducing both space and time overhead for early FTQC as well as full-fledged FTQC combined with conventional multi-level distillation protocols.


title: Treespilation: Architecture- and State-Optimised Fermion-to-Qubit Mappings

abstract: Quantum computers hold great promise for efficiently simulating Fermionic systems, benefiting fields like quantum chemistry and materials science. To achieve this, algorithms typically begin by choosing a Fermion-to-qubit mapping to encode the Fermioinc problem in the qubits of a quantum computer. In this work, we introduce "treespilation," a technique for efficiently mapping Fermionic systems using a large family of favourable tree-based mappings previously introduced by some of the authors. We use this technique to minimise the number of CNOT gates required to simulate chemical groundstates found numerically using the ADAPT-VQE algorithm. We observe significant reductions, up to $74\%$, in CNOT counts on full connectivity and for limited qubit connectivity-type devices such as IBM Eagle and Google Sycamore, we observe similar reductions in CNOT counts. In many instances, the reductions achieved on these limited connectivity devices even surpass the initial full connectivity CNOT count. Additionally, we find our method improves the CNOT and parameter efficiency of QEB- and qubit-ADAPT-VQE, which are, to our knowledge, the most CNOT-efficient VQE protocols for molecular state preparation.


title: Personalized Negative Reservoir for Incremental Learning in Recommender Systems

abstract: Recommender systems have become an integral part of online platforms. Every day the volume of training data is expanding and the number of user interactions is constantly increasing. The exploration of larger and more expressive models has become a necessary pursuit to improve user experience. However, this progression carries with it an increased computational burden. In commercial settings, once a recommendation system model has been trained and deployed it typically needs to be updated frequently as new client data arrive. Cumulatively, the mounting volume of data is guaranteed to eventually make full batch retraining of the model from scratch computationally infeasible. Naively fine-tuning solely on the new data runs into the well-documented problem of catastrophic forgetting. Despite the fact that negative sampling is a crucial part of training with implicit feedback, no specialized technique exists that is tailored to the incremental learning framework. In this work, we take the first step to propose, a personalized negative reservoir strategy which is used to obtain negative samples for the standard triplet loss. This technique balances alleviation of forgetting with plasticity by encouraging the model to remember stable user preferences and selectively forget when user interests change. We derive the mathematical formulation of a negative sampler to populate and update the reservoir. We integrate our design in three SOTA and commonly used incremental recommendation models. We show that these concrete realizations of our negative reservoir framework achieve state-of-the-art results in standard benchmarks, on multiple standard top-k evaluation metrics.


title: Video Relationship Detection Using Mixture of Experts

abstract: Machine comprehension of visual information from images and videos by neural networks faces two primary challenges. Firstly, there exists a computational and inference gap in connecting vision and language, making it difficult to accurately determine which object a given agent acts on and represent it through language. Secondly, classifiers trained by a single, monolithic neural network often lack stability and generalization. To overcome these challenges, we introduce MoE-VRD, a novel approach to visual relationship detection utilizing a mixture of experts. MoE-VRD identifies language triplets in the form of < subject, predicate, object> tuples to extract relationships from visual processing. Leveraging recent advancements in visual relationship detection, MoE-VRD addresses the requirement for action recognition in establishing relationships between subjects (acting) and objects (being acted upon). In contrast to single monolithic networks, MoE-VRD employs multiple small models as experts, whose outputs are aggregated. Each expert in MoE-VRD specializes in visual relationship learning and object tagging. By utilizing a sparsely-gated mixture of experts, MoE-VRD enables conditional computation and significantly enhances neural network capacity without increasing computational complexity. Our experimental results demonstrate that the conditional computation capabilities and scalability of the mixture-of-experts approach lead to superior performance in visual relationship detection compared to state-of-the-art methods.


title: Cafe-Mpc: A Cascaded-Fidelity Model Predictive Control Framework with Tuning-Free Whole-Body Control

abstract: This work introduces an optimization-based locomotion control framework for on-the-fly synthesis of complex dynamic maneuvers. At the core of the proposed framework is a cascaded-fidelity model predictive controller (Cafe-Mpc). Cafe-Mpc strategically relaxes the planning problem along the prediction horizon (i.e., with descending model fidelity, increasingly coarse time steps, and relaxed constraints) for computational and performance gains. This problem is numerically solved with an efficient customized multiple-shooting iLQR (MS-iLQR) solver that is tailored for hybrid systems. The action-value function from Cafe-Mpc is then used as the basis for a new value-function-based whole-body control (VWBC) technique that avoids additional tuning for the WBC. In this respect, the proposed framework unifies whole-body MPC and more conventional whole-body quadratic programming (QP), which have been treated as separate components in previous works. We study the effects of the cascaded relaxations in Cafe-Mpc on the tracking performance and required computation time. We also show that the Cafe-Mpc, if configured appropriately, advances the performance of whole-body MPC without necessarily increasing computational cost. Further, we show the superior performance of the proposed VWBC over the Riccati feedback controller in terms of constraint handling. The proposed framework enables accomplishing for the first time gymnastic-style running barrel rolls on the MIT Mini Cheetah. Video: https://youtu.be/YiNqrgj9mb8.


title: Rethinking Urban Flood Risk Assessment By Adapting Health Domain Perspective

abstract: Inspired by ideas from health risk assessment, this paper presents a new perspective for flood risk assessment. The proposed perspective focuses on three pillars for examining flood risk: (1) inherent susceptibility, (2) mitigation strategies, and (3) external stressors. These pillars collectively encompass the physical and environmental characteristics of urban areas, the effectiveness of human-intervention measures, and the influence of uncontrollable external factors, offering a fresh point of view for decoding flood risks. For each pillar, we delineate its individual contributions to flood risk and illustrate their interactive and overall impact. The three-pillars model embodies a shift in focus from the quest to precisely model and quantify flood risk to evaluating pathways to high flood risk. The shift in perspective is intended to alleviate the quest for quantifying and predicting flood risk at fine resolutions as a panacea for enhanced flood risk management. The decomposition of flood risk pathways into the three intertwined pillars (i.e., inherent factors, mitigation factors, and external factors) enables evaluation of changes in factors within each pillar enhance and exacerbate flood risk, creating a platform from which to inform plans, decisions, and actions. Building on this foundation, we argue that a flood risk pathway analysis approach, which examines the individual and collective impacts of inherent factors, mitigation strategies, and external stressors, is essential for a nuanced evaluation of flood risk. Accordingly, the proposed perspective could complement the existing frameworks and approaches for flood risk assessment.


title: Guiding Enumerative Program Synthesis with Large Language Models

abstract: Pre-trained Large Language Models (LLMs) are beginning to dominate the discourse around automatic code generation with natural language specifications. In contrast, the best-performing synthesizers in the domain of formal synthesis with precise logical specifications are still based on enumerative algorithms. In this paper, we evaluate the abilities of LLMs to solve formal synthesis benchmarks by carefully crafting a library of prompts for the domain. When one-shot synthesis fails, we propose a novel enumerative synthesis algorithm, which integrates calls to an LLM into a weighted probabilistic search. This allows the synthesizer to provide the LLM with information about the progress of the enumerator, and the LLM to provide the enumerator with syntactic guidance in an iterative loop. We evaluate our techniques on benchmarks from the Syntax-Guided Synthesis (SyGuS) competition. We find that GPT-3.5 as a stand-alone tool for formal synthesis is easily outperformed by state-of-the-art formal synthesis algorithms, but our approach integrating the LLM into an enumerative synthesis algorithm shows significant performance gains over both the LLM and the enumerative synthesizer alone and the winning SyGuS competition tool.


title: OpenVPN is Open to VPN Fingerprinting

abstract: VPN adoption has seen steady growth over the past decade due to increased public awareness of privacy and surveillance threats. In response, certain governments are attempting to restrict VPN access by identifying connections using "dual use" DPI technology. To investigate the potential for VPN blocking, we develop mechanisms for accurately fingerprinting connections using OpenVPN, the most popular protocol for commercial VPN services. We identify three fingerprints based on protocol features such as byte pattern, packet size, and server response. Playing the role of an attacker who controls the network, we design a two-phase framework that performs passive fingerprinting and active probing in sequence. We evaluate our framework in partnership with a million-user ISP and find that we identify over 85% of OpenVPN flows with only negligible false positives, suggesting that OpenVPN-based services can be effectively blocked with little collateral damage. Although some commercial VPNs implement countermeasures to avoid detection, our framework successfully identified connections to 34 out of 41 "obfuscated" VPN configurations. We discuss the implications of the VPN fingerprintability for different threat models and propose short-term defenses. In the longer term, we urge commercial VPN providers to be more transparent about their obfuscation approaches and to adopt more principled detection countermeasures, such as those developed in censorship circumvention research.


title: Fair Artificial Currency Incentives in Repeated Weighted Congestion Games: Equity vs. Equality

abstract: When users access shared resources in a selfish manner, the resulting societal cost and perceived users' cost is often higher than what would result from a centrally coordinated optimal allocation. While several contributions in mechanism design manage to steer the aggregate users choices to the desired optimum by using monetary tolls, such approaches bear the inherent drawback of discriminating against users with a lower income. More recently, incentive schemes based on artificial currencies have been studied with the goal of achieving a system-optimal resource allocation that is also fair. In this resource-sharing context, this paper focuses on repeated weighted congestion game with two resources, where users contribute to the congestion to different extents that are captured by individual weights. First, we address the broad concept of fairness by providing a rigorous mathematical characterization of the distinct societal metrics of equity and equality, i.e., the concepts of providing equal outcomes and equal opportunities, respectively. Second, we devise weight-dependent and time-invariant optimal pricing policies to maximize equity and equality, and prove convergence of the aggregate user choices to the system-optimum. In our framework it is always possible to achieve system-optimal allocations with perfect equity, while the maximum equality that can be reached may not be perfect, which is also shown via numerical simulations.


title: Direct-imaging Discovery of a Substellar Companion Orbiting the Accelerating Variable Star, HIP 39017

abstract: We present the direct-imaging discovery of a substellar companion (a massive planet or low-mass brown dwarf) to the young, $\gamma$ Doradus-type variable star, HIP 39017 (HD 65526). The companion's SCExAO/CHARIS JHK ($1.1-2.4\mu$m) spectrum and Keck/NIRC2 L$^{\prime}$ photometry indicate that it is an L/T transition object. A comparison of the JHK+L$^{\prime}$ spectrum to several atmospheric model grids finds a significantly better fit to cloudy models than cloudless models. Orbit modeling with relative astrometry and precision stellar astrometry from Hipparcos and Gaia yields a semi-major axis of $23.8^{+8.7}_{-6.1}$ au, a dynamical companion mass of $30^{+31}_{-12}$~M$_J$, and a mass ratio of $\sim$1.9\%, properties most consistent with low-mass brown dwarfs. However, its mass estimated from luminosity models is a lower $\sim$13.8 $M_{\rm J}$ due to an estimated young age ($\lesssim$ 115 Myr); using a weighted posterior distribution informed by conservative mass constraints from luminosity evolutionary models yields a lower dynamical mass of $23.6_{-7.4}^{+9.1}$~M$_J$ and a mass ratio of $\sim$1.4\%. Analysis of the host star's multi-frequency $\gamma$ Dor-type pulsations, astrometric monitoring of HIP 39017b, and Gaia Data Release 4 astrometry of the star will clarify the system age and better constrain the mass and orbit of the companion. This discovery further reinforces the improved efficiency of targeted direct-imaging campaigns informed by long-baseline, precision stellar astrometry.


title: Bidirectional Progressive Neural Networks with Episodic Return Progress for Emergent Task Sequencing and Robotic Skill Transfer

abstract: Human brain and behavior provide a rich venue that can inspire novel control and learning methods for robotics. In an attempt to exemplify such a development by inspiring how humans acquire knowledge and transfer skills among tasks, we introduce a novel multi-task reinforcement learning framework named Episodic Return Progress with Bidirectional Progressive Neural Networks (ERP-BPNN). The proposed ERP-BPNN model (1) learns in a human-like interleaved manner by (2) autonomous task switching based on a novel intrinsic motivation signal and, in contrast to existing methods, (3) allows bidirectional skill transfer among tasks. ERP-BPNN is a general architecture applicable to several multi-task learning settings; in this paper, we present the details of its neural architecture and show its ability to enable effective learning and skill transfer among morphologically different robots in a reaching task. The developed Bidirectional Progressive Neural Network (BPNN) architecture enables bidirectional skill transfer without requiring incremental training and seamlessly integrates with online task arbitration. The task arbitration mechanism developed is based on soft Episodic Return progress (ERP), a novel intrinsic motivation (IM) signal. To evaluate our method, we use quantifiable robotics metrics such as 'expected distance to goal' and 'path straightness' in addition to the usual reward-based measure of episodic return common in reinforcement learning. With simulation experiments, we show that ERP-BPNN achieves faster cumulative convergence and improves performance in all metrics considered among morphologically different robots compared to the baselines.


title: VODKA-JWST: A 3.8 kpc dual quasar at cosmic noon in a powerful starburst galaxy with JWST/MIRI IFU

abstract: Dual quasars, two active supermassive black holes at galactic scales, represent crucial objects for studying the impact of galaxy mergers and quasar activity on the star formation rate (SFR) within their host galaxies, particularly at cosmic noon when SFR peaks. We present JWST/MIRI mid-infrared integral field spectroscopy of J074922.96+225511.7, a dual quasar with a projected separation of 3.8 kilo-parsec at a redshift $z$ of 2.17. We detect spatially extended [Fe II] 5.34$\rm \mu$m and polycyclic aromatic hydrocarbon (PAH) 3.3$\mu$m emissions from the star formation activity in its host galaxy. We derive the SFR of 10$^{3.0\pm0.2}$ M$_{\odot}$ yr$^{-1}$ using PAH 3.3$\mu$m, which is five times higher than that derived from the cutoff luminosity of the infrared luminosity function for galaxies at $z\sim2$. While the SFR of J0749+2255 agrees with that of star-forming galaxies of comparable stellar mass at the same redshifts, its molecular gas content falls short of expectations based on the molecular Kennicutt-Schmidt law. This discrepancy may result from molecular gas depletion due to the longer elevated stage of star formation, even after the molecular gas reservoir is depleted. We do not observe any quasar-driven outflow that impacts PAH and [Fe II] in the host galaxy based on the spatially resolved maps. From the expected flux in PAH-based star formation, the [Fe II] line likely originates from the star-forming regions in the host galaxy. Our study highlights the stardust nature of J0749+2255, indicating a potential connection between the dual quasar phase and intense star formation activities.


title: The Maslov index, degenerate crossings and the stability of pulse solutions to the Swift-Hohenberg equation

abstract: In the scalar Swift-Hohenberg equation with quadratic-cubic nonlinearity, it is known that symmetric pulse solutions exist for certain parameter regions. In this paper we develop a method to determine the spectral stability of these solutions. We first associate a Maslov index to each solution and then argue that this index coincides with the number of unstable eigenvalues for the linearized evolution equation. This requires extending the method of computing the Maslov index introduced by Robbin and Salamon to so-called degenerate crossings. We extend their formulation of the Maslov index to degenerate crossings of general order. Furthermore, we develop a numerical method to compute the Maslov index associated to symmetric pulse solutions. Finally, we consider several solutions to the Swift-Hohenberg equation and use our method to characterize their stability.


title: Approximation by continuous functions and its applications

abstract: We prove that for every normal topological space $X$ and any function $f: X \to \mathbb{R}$ there is a continuous function $g : X \to \mathbb{R}$ such that $$|f(x) - g(x)| \leq \frac{1}{2} \sup\limits_{p \in X} \inf\limits_{O(p)} \sup\limits_{a,b \in O(p)} |f(a) - f(b)|$$ for all $x \in X$. As an application of this result we prove the following statements to types of tightness in a space $Q_p(X, \mathbb{R})$ of all quasicontinuous real-valued functions with the topology $\tau_p$ of pointwise convergence: the countability of tightness (fan-tightness, strong fan-tightness) at a point $f$ of space $Q_p(X, \mathbb{R})$ implies the countability of tightness (fan-tightness, strong fan-tightness) of space $Q_p(X,Y)$ of all quasicontinuous functions from $X$ into any non-one-point metrizable space $Y$. This result is the answer to the open question in the class of metrizable spaces.


title: On the Efficient Marginalization of Probabilistic Sequence Models

abstract: Real-world data often exhibits sequential dependence, across diverse domains such as human behavior, medicine, finance, and climate modeling. Probabilistic methods capture the inherent uncertainty associated with prediction in these contexts, with autoregressive models being especially prominent. This dissertation focuses on using autoregressive models to answer complex probabilistic queries that go beyond single-step prediction, such as the timing of future events or the likelihood of a specific event occurring before another. In particular, we develop a broad class of novel and efficient approximation techniques for marginalization in sequential models that are model-agnostic. These techniques rely solely on access to and sampling from next-step conditional distributions of a pre-trained autoregressive model, including both traditional parametric models as well as more recent neural autoregressive models. Specific approaches are presented for discrete sequential models, for marked temporal point processes, and for stochastic jump processes, each tailored to a well-defined class of informative, long-range probabilistic queries.


title: Piquasso: A Photonic Quantum Computer Simulation Software Platform

abstract: We introduce the Piquasso quantum programming framework, a full-stack open-source software platform for the simulation and programming of photonic quantum computers. Piquasso can be programmed via a high-level Python programming interface enabling users to perform efficient quantum computing with discrete and continuous variables. Via optional high-performance C++ backends, Piquasso provides state-of-the-art performance in the simulation of photonic quantum computers. The Piquasso framework is supported by an intuitive web-based graphical user interface where the users can design quantum circuits, run computations, and visualize the results.


title: Sampling-based Safe Reinforcement Learning for Nonlinear Dynamical Systems

abstract: We develop provably safe and convergent reinforcement learning (RL) algorithms for control of nonlinear dynamical systems, bridging the gap between the hard safety guarantees of control theory and the convergence guarantees of RL theory. Recent advances at the intersection of control and RL follow a two-stage, safety filter approach to enforcing hard safety constraints: model-free RL is used to learn a potentially unsafe controller, whose actions are projected onto safe sets prescribed, for example, by a control barrier function. Though safe, such approaches lose any convergence guarantees enjoyed by the underlying RL methods. In this paper, we develop a single-stage, sampling-based approach to hard constraint satisfaction that learns RL controllers enjoying classical convergence guarantees while satisfying hard safety constraints throughout training and deployment. We validate the efficacy of our approach in simulation, including safe control of a quadcopter in a challenging obstacle avoidance problem, and demonstrate that it outperforms existing benchmarks.


title: Human I/O: Towards a Unified Approach to Detecting Situational Impairments

abstract: Situationally Induced Impairments and Disabilities (SIIDs) can significantly hinder user experience in contexts such as poor lighting, noise, and multi-tasking. While prior research has introduced algorithms and systems to address these impairments, they predominantly cater to specific tasks or environments and fail to accommodate the diverse and dynamic nature of SIIDs. We introduce Human I/O, a unified approach to detecting a wide range of SIIDs by gauging the availability of human input/output channels. Leveraging egocentric vision, multimodal sensing and reasoning with large language models, Human I/O achieves a 0.22 mean absolute error and a 82% accuracy in availability prediction across 60 in-the-wild egocentric video recordings in 32 different scenarios. Furthermore, while the core focus of our work is on the detection of SIIDs rather than the creation of adaptive user interfaces, we showcase the efficacy of our prototype via a user study with 10 participants. Findings suggest that Human I/O significantly reduces effort and improves user experience in the presence of SIIDs, paving the way for more adaptive and accessible interactive systems in the future.


title: Media Bias Matters: Understanding the Impact of Politically Biased News on Vaccine Attitudes in Social Media

abstract: News media has been utilized as a political tool to stray from facts, presenting biased claims without evidence. Amid the COVID-19 pandemic, politically biased news (PBN) has significantly undermined public trust in vaccines, despite strong medical evidence supporting their efficacy. In this paper, we analyze: (i) how inherent vaccine stances subtly influence individuals' selection of news sources and participation in social media discussions; and (ii) the impact of exposure to PBN on users' attitudes toward vaccines. In doing so, we first curate a comprehensive dataset that connects PBN with related social media discourse. Utilizing advanced deep learning and causal inference techniques, we reveal distinct user behaviors between social media groups with various vaccine stances. Moreover, we observe that individuals with moderate stances, particularly the vaccine-hesitant majority, are more vulnerable to the influence of PBN compared to those with extreme views. Our findings provide critical insights to foster this line of research.


title: Three Revisits to Node-Level Graph Anomaly Detection: Outliers, Message Passing and Hyperbolic Neural Networks

abstract: Graph anomaly detection plays a vital role for identifying abnormal instances in complex networks. Despite advancements of methodology based on deep learning in recent years, existing benchmarking approaches exhibit limitations that hinder a comprehensive comparison. In this paper, we revisit datasets and approaches for unsupervised node-level graph anomaly detection tasks from three aspects. Firstly, we introduce outlier injection methods that create more diverse and graph-based anomalies in graph datasets. Secondly, we compare methods employing message passing against those without, uncovering the unexpected decline in performance associated with message passing. Thirdly, we explore the use of hyperbolic neural networks, specifying crucial architecture and loss design that contribute to enhanced performance. Through rigorous experiments and evaluations, our study sheds light on general strategies for improving node-level graph anomaly detection methods.


title: Expanding CGL: The CGL double-adiabatic approximation in the Expanding Solar Wind

abstract: Different in situ satellite observations within 0.3 to 1 AU from the Sun reveal deviations in the thermodynamics of solar wind expansion. Specifically, these deviations challenge the applicability of the double adiabatic or CGL theory, indicating potential influences such as perpendicular heating and/or parallel cooling of ions. The study aims to investigate the plasma expansion phenomena using the Expanding Box Model (EBM) coupled with an ideal MHD description of the plasma. The primary objective is to understand the observed deviations from the CGL predictions, and how the expansion can affect the conservation of the adiabatic invariants, particularly focusing on the impact of transverse expansion on the CGL equations. To address the plasma expansion, we employed the Expanding Box Model (EBM) coupled with the ideal-MHD formalism used for CGL theory. This model provides a unique system of reference co-moving with the solar wind, allowing for the incorporation of transverse expansion into the double adiabatic equations. Solving the equations for different magnetic field profiles, we compute the evolution of anisotropy and plasma beta, which deviates from CGL predictions and empirical observations. This deviation is attributed to the plasma cooling effect induced by the Expanding Box Model (EBM). Results suggest that heating mechanisms play a crucial role in counteracting plasma cooling during expansion.


title: Temporal Cross-Attention for Dynamic Embedding and Tokenization of Multimodal Electronic Health Records

abstract: The breadth, scale, and temporal granularity of modern electronic health records (EHR) systems offers great potential for estimating personalized and contextual patient health trajectories using sequential deep learning. However, learning useful representations of EHR data is challenging due to its high dimensionality, sparsity, multimodality, irregular and variable-specific recording frequency, and timestamp duplication when multiple measurements are recorded simultaneously. Although recent efforts to fuse structured EHR and unstructured clinical notes suggest the potential for more accurate prediction of clinical outcomes, less focus has been placed on EHR embedding approaches that directly address temporal EHR challenges by learning time-aware representations from multimodal patient time series. In this paper, we introduce a dynamic embedding and tokenization framework for precise representation of multimodal clinical time series that combines novel methods for encoding time and sequential position with temporal cross-attention. Our embedding and tokenization framework, when integrated into a multitask transformer classifier with sliding window attention, outperformed baseline approaches on the exemplar task of predicting the occurrence of nine postoperative complications of more than 120,000 major inpatient surgeries using multimodal data from three hospitals and two academic health centers in the United States.


title: Whodunit: Classifying Code as Human Authored or GPT-4 Generated -- A case study on CodeChef problems

abstract: Artificial intelligence (AI) assistants such as GitHub Copilot and ChatGPT, built on large language models like GPT-4, are revolutionizing how programming tasks are performed, raising questions about whether code is authored by generative AI models. Such questions are of particular interest to educators, who worry that these tools enable a new form of academic dishonesty, in which students submit AI generated code as their own work. Our research explores the viability of using code stylometry and machine learning to distinguish between GPT-4 generated and human-authored code. Our dataset comprises human-authored solutions from CodeChef and AI-authored solutions generated by GPT-4. Our classifier outperforms baselines, with an F1-score and AUC-ROC score of 0.91. A variant of our classifier that excludes gameable features (e.g., empty lines, whitespace) still performs well with an F1-score and AUC-ROC score of 0.89. We also evaluated our classifier with respect to the difficulty of the programming problem and found that there was almost no difference between easier and intermediate problems, and the classifier performed only slightly worse on harder problems. Our study shows that code stylometry is a promising approach for distinguishing between GPT-4 generated code and human-authored code.


title: PromptCharm: Text-to-Image Generation through Multi-modal Prompting and Refinement

abstract: The recent advancements in Generative AI have significantly advanced the field of text-to-image generation. The state-of-the-art text-to-image model, Stable Diffusion, is now capable of synthesizing high-quality images with a strong sense of aesthetics. Crafting text prompts that align with the model's interpretation and the user's intent thus becomes crucial. However, prompting remains challenging for novice users due to the complexity of the stable diffusion model and the non-trivial efforts required for iteratively editing and refining the text prompts. To address these challenges, we propose PromptCharm, a mixed-initiative system that facilitates text-to-image creation through multi-modal prompt engineering and refinement. To assist novice users in prompting, PromptCharm first automatically refines and optimizes the user's initial prompt. Furthermore, PromptCharm supports the user in exploring and selecting different image styles within a large database. To assist users in effectively refining their prompts and images, PromptCharm renders model explanations by visualizing the model's attention values. If the user notices any unsatisfactory areas in the generated images, they can further refine the images through model attention adjustment or image inpainting within the rich feedback loop of PromptCharm. To evaluate the effectiveness and usability of PromptCharm, we conducted a controlled user study with 12 participants and an exploratory user study with another 12 participants. These two studies show that participants using PromptCharm were able to create images with higher quality and better aligned with the user's expectations compared with using two variants of PromptCharm that lacked interaction or visualization support.


title: Knockoff-Guided Feature Selection via A Single Pre-trained Reinforced Agent

abstract: Feature selection prepares the AI-readiness of data by eliminating redundant features. Prior research falls into two primary categories: i) Supervised Feature Selection, which identifies the optimal feature subset based on their relevance to the target variable; ii) Unsupervised Feature Selection, which reduces the feature space dimensionality by capturing the essential information within the feature set instead of using target variable. However, SFS approaches suffer from time-consuming processes and limited generalizability due to the dependence on the target variable and downstream ML tasks. UFS methods are constrained by the deducted feature space is latent and untraceable. To address these challenges, we introduce an innovative framework for feature selection, which is guided by knockoff features and optimized through reinforcement learning, to identify the optimal and effective feature subset. In detail, our method involves generating "knockoff" features that replicate the distribution and characteristics of the original features but are independent of the target variable. Each feature is then assigned a pseudo label based on its correlation with all the knockoff features, serving as a novel metric for feature evaluation. Our approach utilizes these pseudo labels to guide the feature selection process in 3 novel ways, optimized by a single reinforced agent: 1). A deep Q-network, pre-trained with the original features and their corresponding pseudo labels, is employed to improve the efficacy of the exploration process in feature selection. 2). We introduce unsupervised rewards to evaluate the feature subset quality based on the pseudo labels and the feature space reconstruction loss to reduce dependencies on the target variable. 3). A new {\epsilon}-greedy strategy is used, incorporating insights from the pseudo labels to make the feature selection process more effective.


title: Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation

abstract: This paper is concerned with the stability analysis problem of feedback systems with rectified linear unit (ReLU) nonlinearities. Such feedback systems arise when we model dynamical (recurrent) neural networks (NNs) and NN-driven control systems where all the activation functions of NNs are ReLUs. In this study, we focus on the semialgebraic set representation characterizing the input-output properties of ReLUs. This allows us to employ a novel copositive multiplier in the framework of the integral quadratic constraint and, thus, to derive a linear matrix inequality (LMI) condition for the stability analysis of the feedback systems. However, the infeasibility of this LMI does not allow us to obtain any conclusion on the system's stability due to its conservativeness. This motivates us to consider its dual LMI. By investigating the structure of the dual solution, we derive a rank condition on the dual variable certificating that the system at hand is never stable. In addition, we construct a hierarchy of dual LMIs allowing for improved instability detection. We illustrate the effectiveness of the proposed approach by several numerical examples.


title: Learning Guided Automated Reasoning: A Brief Survey

abstract: Automated theorem provers and formal proof assistants are general reasoning systems that are in theory capable of proving arbitrarily hard theorems, thus solving arbitrary problems reducible to mathematics and logical reasoning. In practice, such systems however face large combinatorial explosion, and therefore include many heuristics and choice points that considerably influence their performance. This is an opportunity for trained machine learning predictors, which can guide the work of such reasoning systems. Conversely, deductive search supported by the notion of logically valid proof allows one to train machine learning systems on large reasoning corpora. Such bodies of proof are usually correct by construction and when combined with more and more precise trained guidance they can be boostrapped into very large corpora, with increasingly long reasoning chains and possibly novel proof ideas. In this paper we provide an overview of several automated reasoning and theorem proving domains and the learning and AI methods that have been so far developed for them. These include premise selection, proof guidance in several settings, AI systems and feedback loops iterating between reasoning and learning, and symbolic classification problems.