title: MaskRenderer: 3D-Infused Multi-Mask Realistic Face Reenactment

abstract: We present a novel end-to-end identity-agnostic face reenactment system, MaskRenderer, that can generate realistic, high fidelity frames in real-time. Although recent face reenactment works have shown promising results, there are still significant challenges such as identity leakage and imitating mouth movements, especially for large pose changes and occluded faces. MaskRenderer tackles these problems by using (i) a 3DMM to model 3D face structure to better handle pose changes, occlusion, and mouth movements compared to 2D representations; (ii) a triplet loss function to embed the cross-reenactment during training for better identity preservation; and (iii) multi-scale occlusion, improving inpainting and restoring missing areas. Comprehensive quantitative and qualitative experiments conducted on the VoxCeleb1 test set, demonstrate that MaskRenderer outperforms state-of-the-art models on unseen faces, especially when the Source and Driving identities are very different.


title: Instability and backreaction of massive spin-2 fields around black holes

abstract: A massive spin-2 field can grow unstably around a black hole, giving rise to a potential probe of the existence of such fields. In this work, we use time-domain evolutions to study such instabilities. Considering the linear regime by solving the equations generically governing a massive tensor field on the background of a Kerr black hole, we find that black hole spin increases the growth rate and, most significantly, the mass range of the axisymmetric (azimuthal number $m=0$) instability, which takes the form of the Gregory-Laflamme black string instability for zero spin. We also consider the superradiant unstable modes with $1 \leq m \leq 3$, extending previous results to higher spin-2 masses, black hole spins, and azimuthal numbers. We find that the superradiant modes grow slower than the $m=0$ modes, except for a narrow range of high spins and masses, with $m=1$ and 2 requiring a dimensionless black hole spin of $a_{\rm BH}\gtrsim 0.95$ to be dominant. Thus, in most of the parameter space, the backreaction of the $m=0$ instability must be taken into account when using black holes to constrain massive spin-2 fields. As a simple model of this, we consider nonlinear evolutions in quadratic gravity, in particular Einstein-Weyl gravity. We find that, depending on the initial perturbation, the black hole may approach zero mass with the curvature blowing up in finite time, or can saturate at a larger mass with a surrounding cloud of the ghost spin-2 field.


title: Cohomological rank functions and surfaces of general type with $p_g=q=2$

abstract: We classify minimal surfaces $S$ with $p_g=q=2$ and $K_S^2=5$ or $6$.


title: 3D Implicit Transporter for Temporally Consistent Keypoint Discovery

abstract: Keypoint-based representation has proven advantageous in various visual and robotic tasks. However, the existing 2D and 3D methods for detecting keypoints mainly rely on geometric consistency to achieve spatial alignment, neglecting temporal consistency. To address this issue, the Transporter method was introduced for 2D data, which reconstructs the target frame from the source frame to incorporate both spatial and temporal information. However, the direct application of the Transporter to 3D point clouds is infeasible due to their structural differences from 2D images. Thus, we propose the first 3D version of the Transporter, which leverages hybrid 3D representation, cross attention, and implicit reconstruction. We apply this new learning system on 3D articulated objects and nonrigid animals (humans and rodents) and show that learned keypoints are spatio-temporally consistent. Additionally, we propose a closed-loop control strategy that utilizes the learned keypoints for 3D object manipulation and demonstrate its superior performance. Codes are available at https://github.com/zhongcl-thu/3D-Implicit-Transporter.


title: BINGO-ABDUS: a radiotelescope to unveil the dark sector of the Universe

abstract: we review the Baryon Acoustic Oscillations from Integrated Neutral Gas Observations (BINGO) telescope, an international collaboration, led by Brazil and China, aiming to explore the Universe history through integrated post-reionization 21cm signals and fast radio emissions. For identifying individually fast radio sources, the Advanced Bingo Dark Universe Studies (ABDUS) project has been proposed and developed and will combine the current BINGO construction with the main single-dish telescope and stations of phased-array and outrigger.


title: A shorter proof of the path-width theorem

abstract: A graph has {\em path-width} at most $w$ if it can be built from a sequence of graphs each with at most $w+1$ vertices, by overlapping consecutive terms. Every graph with path-width at least $w-1$ contains every $w$-vertex forest as a minor: this was originally proved by Bienstock, Robertson, Thomas and the author, and was given a short proof by Diestel. Here we give a proof even shorter and simpler than that of Diestel.


title: Evolution of dynamic fibrils from the cooler chromosphere to the hotter corona

abstract: Dynamic fibrils (DFs) are commonly observed chromospheric features in solar active regions. Recent observations from the Extreme Ultraviolet Imager (EUI) aboard the Solar Orbiter have revealed unambiguous signatures of DFs at the coronal base, in extreme ultraviolet (EUV) emission. However, it remains unclear if the DFs detected in the EUV are linked to their chromospheric counterparts. Simultaneous detection of DFs from chromospheric to coronal temperatures could provide important information on their thermal structuring and evolution through the solar atmosphere. In this paper, we address this question by using coordinated EUV observations from the Atmospheric Imaging Assembly (AIA), Interface Region Imaging Spectrograph (IRIS), and EUI to establish a one-to-one correspondence between chromospheric and transition region DFs (observed by IRIS) with their coronal counterparts (observed by EUI and AIA). Our analysis confirms a close correspondence between DFs observed at different atmospheric layers, and reveals that DFs can reach temperatures of about 1.5 million Kelvin, typical of the coronal base in active regions. Furthermore, intensity evolution of these DFs, as measured by tracking them over time, reveals a shock-driven scenario in which plasma piles up near the tips of these DFs and, subsequently, these tips appear as bright blobs in coronal images. These findings provide information on the thermal structuring of DFs and their evolution and impact through the solar atmosphere.


title: Is Learning in Biological Neural Networks based on Stochastic Gradient Descent? An analysis using stochastic processes

abstract: In recent years, there has been an intense debate about how learning in biological neural networks (BNNs) differs from learning in artificial neural networks. It is often argued that the updating of connections in the brain relies only on local information, and therefore a stochastic gradient-descent type optimization method cannot be used. In this paper, we study a stochastic model for supervised learning in BNNs. We show that a (continuous) gradient step occurs approximately when each learning opportunity is processed by many local updates. This result suggests that stochastic gradient descent may indeed play a role in optimizing BNNs.


title: AGent: A Novel Pipeline for Automatically Creating Unanswerable Questions

abstract: The development of large high-quality datasets and high-performing models have led to significant advancements in the domain of Extractive Question Answering (EQA). This progress has sparked considerable interest in exploring unanswerable questions within the EQA domain. Training EQA models with unanswerable questions helps them avoid extracting misleading or incorrect answers for queries that lack valid responses. However, manually annotating unanswerable questions is labor-intensive. To address this, we propose AGent, a novel pipeline that automatically creates new unanswerable questions by re-matching a question with a context that lacks the necessary information for a correct answer. In this paper, we demonstrate the usefulness of this AGent pipeline by creating two sets of unanswerable questions from answerable questions in SQuAD and HotpotQA. These created question sets exhibit low error rates. Additionally, models fine-tuned on these questions show comparable performance with those fine-tuned on the SQuAD 2.0 dataset on multiple EQA benchmarks.


title: Strategic Deployment of Swarm of UAVs for Secure IoT Networks

abstract: Security provisioning for low-complex and constrained devices in the Internet of Things (IoT) is exacerbating the concerns for the design of future wireless networks. To unveil the full potential of the sixth generation (6G), it is becoming even more evident that security measurements should be considered at all layers of the network. This work aims to contribute in this direction by investigating the employment of unmanned aerial vehicles (UAVs) for providing secure transmissions in ground IoT networks. Toward this purpose, it is considered that a set of UAVs acting as aerial base stations provide secure connectivity between the network and multiple ground nodes. Then, the association of IoT nodes, the 3D positioning of the UAVs and the power allocation of the UAVs are obtained by leveraging game theoretic and convex optimization-based tools with the goal of improving the secrecy of the system. It is shown that the proposed framework obtains better and more efficient secrecy performance over an IoT network than state-of-the-art greedy algorithms for positioning and association.


title: Convex Q Learning in a Stochastic Environment: Extended Version

abstract: The paper introduces the first formulation of convex Q-learning for Markov decision processes with function approximation. The algorithms and theory rest on a relaxation of a dual of Manne's celebrated linear programming characterization of optimal control. The main contributions firstly concern properties of the relaxation, described as a deterministic convex program: we identify conditions for a bounded solution, and a significant relationship between the solution to the new convex program, and the solution to standard Q-learning. The second set of contributions concern algorithm design and analysis: (i) A direct model-free method for approximating the convex program for Q-learning shares properties with its ideal. In particular, a bounded solution is ensured subject to a simple property of the basis functions; (ii) The proposed algorithms are convergent and new techniques are introduced to obtain the rate of convergence in a mean-square sense; (iii) The approach can be generalized to a range of performance criteria, and it is found that variance can be reduced by considering ``relative'' dynamic programming equations; (iv) The theory is illustrated with an application to a classical inventory control problem.


title: Holonomy corrected Schwarzschild black hole lensing

abstract: In the present work, we theoretically investigate gravitational lensing in the spacetime of a holonomy corrected Schwarzschild black hole. Analytical expressions for the light deflection angle are obtained in both the weak field limit and the strong field limit. Furthermore, we analyze observables, such as relativistic images and magnifications, and compare the results with those expected in a Schwarzschild spacetime. We discuss the possibilities and difficulties of investigating such a solution in practice.


title: Nonlinear Granger Causality using Kernel Ridge Regression

abstract: I introduce a novel algorithm and accompanying Python library, named mlcausality, designed for the identification of nonlinear Granger causal relationships. This novel algorithm uses a flexible plug-in architecture that enables researchers to employ any nonlinear regressor as the base prediction model. Subsequently, I conduct a comprehensive performance analysis of mlcausality when the prediction regressor is the kernel ridge regressor with the radial basis function kernel. The results demonstrate that mlcausality employing kernel ridge regression achieves competitive AUC scores across a diverse set of simulated data. Furthermore, mlcausality with kernel ridge regression yields more finely calibrated $p$-values in comparison to rival algorithms. This enhancement enables mlcausality to attain superior accuracy scores when using intuitive $p$-value-based thresholding criteria. Finally, mlcausality with the kernel ridge regression exhibits significantly reduced computation times compared to existing nonlinear Granger causality algorithms. In fact, in numerous instances, this innovative approach achieves superior solutions within computational timeframes that are an order of magnitude shorter than those required by competing algorithms.


title: Superradiant anomaly magnification in evolution of vector bosonic condensates bounded by a Kerr black hole with near-horizon reflection

abstract: Ultralight vector particles can form evolving condensates around a Kerr black hole (BH) due to superradiant instability. We study the effect of near-horizon reflection on the evolution of this system; by matching three pieces of asymptotic expansions of the Proca equation in Kerr metric and considering the leading order in the electric mode, we present explicit analytical expressions for the corrected energy level shifts and the superradiant instability rates. Particularly, in high-spin BH cases, we identify an anomalous situation where the superadiance rate is temporarily increased by the reflection parameter $\mathcal{R}$, which also occurs in the scalar scenario, but is largely magnified in vector condensates due to a faster growth rate in dominant mode; we constructed several featured quantities to illustrate this anomaly, and formalized the magnification with relevant correction factors, which may be of significance in future studies of gravitational waveforms of this monochromatic type. In addition, the duration of superradiance for the whole evolution is prolonged with a delay factor, which is calculated to be $(1+\mathcal{R})/({1-\mathcal{R}})$ approximately.


title: Deep Learning-Aided Subspace-Based DOA Recovery for Sparse Arrays

abstract: Sparse arrays enable resolving more direction of arrivals (DoAs) than antenna elements using non-uniform arrays. This is typically achieved by reconstructing the covariance of a virtual large uniform linear array (ULA), which is then processed by subspace DoA estimators. However, these method assume that the signals are non-coherent and the array is calibrated; the latter often challenging to achieve in sparse arrays, where one cannot access the virtual array elements. In this work, we propose Sparse-SubspaceNet, which leverages deep learning to enable subspace-based DoA recovery from sparse miscallibrated arrays with coherent sources. Sparse- SubspaceNet utilizes a dedicated deep network to learn from data how to compute a surrogate virtual array covariance that is divisible into distinguishable subspaces. By doing so, we learn to cope with coherent sources and miscalibrated sparse arrays, while preserving the interpretability and the suitability of model-based subspace DoA estimators.


title: An introduction to the parton and hadron cascade model PACIAE 3.0

abstract: We introduce a parton and hadron cascade model PACIAE 3.0 based on PYTHIA 6.428 and the PACIAE 2.2 program series. The simulation framework of C-, B-, and A-loops are designed for the high energy ($\sqrt{s_{NN}}\geq 3$ GeV) and low energy ($\sqrt{s_{NN}}<3$ GeV) nuclear collisions, respectively, in PACIAE 3.0. In the C-loop simulation, the parton-parton inelastic scattering processes are added in the partonic rescattering process. The single string structure and multiple string interaction mechanism have been introduced investigating the strangeness enhancement in C- and B-loop. An improved mapping relation between the centrality percentage definition and the impact parameter definition is proposed responding the observation of $b_{max}\approx 20$ fm from ALICE, ATLAS, and CMS collaborations. We have extensively modified the phenomenological coalescence hadronization model. The PACIAE 3.0 model simulated results of particle yield, transverse momentum distribution, and rapidity distribution well reproduce, respectively, the experimental data measured at FOPI, E895, RHIC, and LHC energies.


title: Beyond Generalized Eigenvalues in Lattice Quantum Field Theory

abstract: Two analysis techniques, the generalized eigenvalue method (GEM) or Prony's (or related) method (PM), are commonly used to analyze statistical estimates of correlation functions produced in lattice quantum field theory calculations. GEM takes full advantage of the matrix structure of correlation functions but only considers individual pairs of time separations when much more data exists. PM can be applied to many time separations and many individual matrix elements simultaneously but does not fully exploit the matrix structure of the correlation function. We combine both these methods into a single framework based on matrix polynomials. As these algebraic methods are well known for producing extensive spectral information about statistically-noisy data, the method should be paired with some information criteria, like the recently proposed Bayesean model averaging.


title: Harissa: stochastic simulation and inference of gene regulatory networks based on transcriptional bursting

abstract: Gene regulatory networks, as a powerful abstraction for describing complex biological interactions between genes through their expression products within a cell, are often regarded as virtually deterministic dynamical systems. However, this view is now being challenged by the fundamentally stochastic, 'bursty' nature of gene expression revealed at the single cell level. We present a Python package called Harissa which is dedicated to simulation and inference of such networks, based upon an underlying stochastic dynamical model driven by the transcriptional bursting phenomenon. As part of this tool, network inference can be interpreted as a calibration procedure for a mechanistic model: once calibrated, the model is able to capture the typical variability of single-cell data without requiring ad hoc external noise, unlike ordinary or even stochastic differential equations frequently used in this context. Therefore, Harissa can be used both as an inference tool, to reconstruct biologically relevant networks from time-course scRNA-seq data, and as a simulation tool, to generate quantitative gene expression profiles in a non-trivial way through gene interactions.


title: Personalized Search Via Neural Contextual Semantic Relevance Ranking

abstract: Existing neural relevance models do not give enough consideration for query and item context information which diversifies the search results to adapt for personal preference. To bridge this gap, this paper presents a neural learning framework to personalize document ranking results by leveraging the signals to capture how the document fits into users' context. In particular, it models the relationships between document content and user query context using both lexical representations and semantic embeddings such that the user's intent can be better understood by data enrichment of personalized query context information. Extensive experiments performed on the search dataset, demonstrate the effectiveness of the proposed method.


title: Multi UAV-enabled Distributed Sensing: Cooperation Orchestration and Detection Protocol

abstract: This paper proposes an unmanned aerial vehicle (UAV)-based distributed sensing framework that uses orthogonal frequency-division multiplexing (OFDM) waveforms to detect the position of a ground target, and UAVs operate in half-duplex mode. A spatial grid approach is proposed, where an specific area in the ground is divided into cells of equal size, then the radar cross-section (RCS) of each cell is jointly estimated by a network of dual-function UAVs. For this purpose, three estimation algorithms are proposed employing the maximum likelihood criterion, and digital beamforming is used for the local signal acquisition at the receive UAVs. It is also considered that the coordination, fusion of sensing data, and central estimation is performed at a certain UAV acting as a fusion center (FC). Monte Carlo simulations are performed to obtain the absolute estimation error of the proposed framework. The results show an improved accuracy and resolution by the proposed framework, if compared to a single monostatic UAV benchmark, due to the distributed approach among the UAVs. It is also evidenced that a reduced overhead is obtained when compared to a general compressive sensing (CS) approach.


title: Real-time Learning of Driving Gap Preference for Personalized Adaptive Cruise Control

abstract: Advanced Driver Assistance Systems (ADAS) are increasingly important in improving driving safety and comfort, with Adaptive Cruise Control (ACC) being one of the most widely used. However, pre-defined ACC settings may not always align with driver's preferences and habits, leading to discomfort and potential safety issues. Personalized ACC (P-ACC) has been proposed to address this problem, but most existing research uses historical driving data to imitate behaviors that conform to driver preferences, neglecting real-time driver feedback. To bridge this gap, we propose a cloud-vehicle collaborative P-ACC framework that incorporates driver feedback adaptation in real time. The framework is divided into offline and online parts. The offline component records the driver's naturalistic car-following trajectory and uses inverse reinforcement learning (IRL) to train the model on the cloud. In the online component, driver feedback is used to update the driving gap preference in real time. The model is then retrained on the cloud with driver's takeover trajectories, achieving incremental learning to better match driver's preference. Human-in-the-loop (HuiL) simulation experiments demonstrate that our proposed method significantly reduces driver intervention in automatic control systems by up to 62.8%. By incorporating real-time driver feedback, our approach enhances the comfort and safety of P-ACC, providing a personalized and adaptable driving experience.


title: Critical-like gelation dynamics in cellulose nanocrystal suspensions

abstract: We use time-resolved mechanical spectroscopy to offer a detailed picture of the gelation dynamics of cellulose nanocrystal (CNC) suspensions following shear cessation in the presence of salt. CNCs are charged, rodlike colloids that self-assemble into various phases, including physical gels serving as soft precursors for biosourced composites. Here, a series of linear viscoelastic spectra acquired across the sol-gel transition of CNC suspensions are rescaled onto two master curves, that correspond to a viscoelastic liquid state prior to gelation and to a soft solid state after gelation. These two states are separated by a critical gel point, where all rescaling parameters diverge in an asymmetric fashion, yet with exponents that obey hyperscaling relations consistent with previous works on isotropic colloids and polymer gels. Upon varying the salt content, we further show that these critical-like dynamics result in both time-connectivity and time-concentration superposition principles.


title: Model discovery for nonautonomous translation-invariant problems

abstract: Discovery of mathematical descriptors of physical phenomena from observational and simulated data, as opposed to from the first principles, is a rapidly evolving research area. Two factors, time-dependence of the inputs and hidden translation invariance, are known to complicate this task. To ameliorate these challenges, we combine Lagrangian dynamic mode decomposition with a locally time-invariant approximation of the Koopman operator. The former component of our method yields the best linear estimator of the system's dynamics, while the latter deals with the system's nonlinearity and non-autonomous behavior. We provide theoretical estimators (bounds) of prediction accuracy and perturbation error to guide the selection of both rank truncation and temporal discretization. We demonstrate the performance of our approach on several non-autonomous problems, including two-dimensional Navier-Stokes equations.


title: Thermodynamic Limits of Electronic Systems

abstract: We review thermodynamic limits and scaling limits of electronic structure models for condensed matter. We discuss several mathematical ways to implement these limits in three models of increasing chemical complexity and mathematical difficulty: (1) Thomas-Fermi like models; (2) Hartree-Fock like models; and (3) Kohn-Sham density functional theory models.


title: Reaction-diffusion systems derived from kinetic theory for Multiple Sclerosis

abstract: We present a mathematical study for the development of Multiple Sclerosis in which a spatio-temporal kinetic { theory} model describes, at the mesoscopic level, the dynamics of a high number of interacting agents. We consider both interactions among different populations of human cells and the motion of immune cells, stimulated by cytokines. Moreover, we reproduce the consumption of myelin sheath due to anomalously activated lymphocytes and its restoration by oligodendrocytes. Successively, we fix a small time parameter and assume that the considered processes occur at different scales. This allows us to perform a formal limit, obtaining macroscopic reaction-diffusion equations for the number densities with a chemotaxis term. A natural step is then to study the system, inquiring about the formation of spatial patterns through a Turing instability analysis of the problem and basing the discussion on the microscopic parameters of the model. In particular, we get spatial patterns oscillating in time that may reproduce brain lesions characteristic of different phases of the pathology.


title: Routing and charging game in ride-hailing service with electric vehicles

abstract: This paper studies the routing and charging behaviors of electric vehicles in a competitive ride-hailing market. When the vehicles are idle, they can choose whether to continue cruising to search for passengers, or move a charging station to recharge. The behaviors of individual vehicles are then modeled by a Markov decision process (MDP). The state transitions in the MDP model, however, depend on the aggregate vehicle flows both in service zones and at charging stations. Accordingly, the value function of each vehicle is determined by the collective behaviors of all vehicles. With the assumption of the large population, we formulate the collective routing and charging behaviors as a mean-field Markov game. We characterize the equilibrium of such a game, prove its existence, and numerically show that the competition among vehicles leads to ``inefficient congestion" both in service zones and at charging stations.


title: Cardy's formula does not hold on some 2D lattices for critical two-dimensional percolation

abstract: The scaling limit of crossing probabilities is believed to satisfy a conformal mapping formula, called Cardy's formula, in two-dimensional percolation at the criticality. The formula has been confirmed to hold for site percolation on the equilateral triangular lattice. In this paper, we show that Cardy's formula could not hold for some two-dimensional triangular and square-type lattices, in particular for some periodic 2D graphs.


title: Computing equilibrium free energies through a nonequilibrium quench

abstract: Many methods to accelerate sampling of molecular configurations are based on the idea that temperature can be used to accelerate rare transitions. These methods typically compute equilibrium properties at a target temperature using reweighting or through Monte Carlo exchanges between replicas at higher temperatures. A recent paper demonstrated that accurate equilibrium densities of states can also be computed through a nonequilibrium "quench" process, where sampling is performed at a higher temperature to encourage rapid mixing and then quenched to lower energy states with dissipative dynamics. Here we provide an implementation of the quench dynamics in LAMMPS and evaluate a new formulation of nonequilibrium estimators for the computation of partition functions or free energy surfaces (FESs) of molecular systems. We show that the method is exact for a minimal model of $N$-independent harmonic springs, and use these analytical results to develop heuristics for the amount of quenching required to obtain accurate sampling.= We then test the quench approach on alanine dipeptide, where we show that it gives an FES that is accurate near the most stable configurations using the quench approach, but disagrees with a reference umbrella sampling calculation in high FE regions. We then show that combining quenching with umbrella sampling allows the efficient calculation of the free energy in all regions. Moreover, by using this combined scheme, we obtain the FES across a range of temperatures at no additional cost, making it much more efficient than standard umbrella sampling if this information is required. Finally, we discuss how this approach can be extended to solute tempering and demonstrate that it is highly accurate for the case of solvated alanine dipeptide without any additional modifications.


title: Real Acceleration of Communication Process in Distributed Algorithms with Compression

abstract: Modern applied optimization problems become more and more complex every day. Due to this fact, distributed algorithms that can speed up the process of solving an optimization problem through parallelization are of great importance. The main bottleneck of distributed algorithms is communications, which can slow down the method dramatically. One way to solve this issue is to use compression of transmitted information. In the current literature on theoretical distributed optimization, it is generally accepted that as much as we compress information, so much we reduce communication time. But in reality, the communication time depends not only on the size of the transmitted information, but also, for example, on the message startup time. In this paper, we study distributed optimization algorithms under the assumption of a more complex and closer-to-reality dependence of transmission time on compression. In particular, we describe the real speedup achieved by compression, analyze how much it makes sense to compress information, and present an adaptive way to select the power of compression depending on unknown or changing parameters of the communication process.


title: WIP: Development of a Student-Centered Personalized Learning Framework to Advance Undergraduate Robotics Education

abstract: This paper presents a work-in-progress on a learn-ing system that will provide robotics students with a personalized learning environment. This addresses both the scarcity of skilled robotics instructors, particularly in community colleges and the expensive demand for training equipment. The study of robotics at the college level represents a wide range of interests, experiences, and aims. This project works to provide students the flexibility to adapt their learning to their own goals and prior experience. We are developing a system to enable robotics instruction through a web-based interface that is compatible with less expensive hardware. Therefore, the free distribution of teaching materials will empower educators. This project has the potential to increase the number of robotics courses offered at both two- and four-year schools and universities. The course materials are being designed with small units and a hierarchical dependency tree in mind; students will be able to customize their course of study based on the robotics skills they have already mastered. We present an evaluation of a five module mini-course in robotics. Students indicated that they had a positive experience with the online content. They also scored the experience highly on relatedness, mastery, and autonomy perspectives, demonstrating strong motivation potential for this approach.


title: Compressing the memory variables in constant-Q viscoelastic wave propagation via an improved sum-of-exponentials approximation

abstract: Earth introduces strong attenuation and dispersion to propagating waves. The time-fractional wave equation with very small fractional exponent, based on Kjartansson's constant-Q theory, is widely recognized in the field of geophysics as a reliable model for frequency-independent Q anelastic behavior. Nonetheless, the numerical resolution of this equation poses considerable challenges due to the requirement of storing a complete time history of wavefields. To address this computational challenge, we present a novel approach: a nearly optimal sum-of-exponentials (SOE) approximation to the Caputo fractional derivative with very small fractional exponent, utilizing the machinery of generalized Gaussian quadrature. This method minimizes the number of memory variables needed to approximate the power attenuation law within a specified error tolerance. We establish a mathematical equivalence between this SOE approximation and the continuous fractional stress-strain relationship, relating it to the generalized Maxwell body model. Furthermore, we prove an improved SOE approximation error bound to thoroughly assess the ability of rheological models to replicate the power attenuation law. Numerical simulations on constant-Q viscoacoustic equation in 3D homogeneous media and variable-order P- and S- viscoelastic wave equations in 3D inhomogeneous media are performed. These simulations demonstrate that our proposed technique accurately captures changes in amplitude and phase resulting from material anelasticity. This advancement provides a significant step towards the practical usage of the time-fractional wave equation in seismic inversion.


title: Hartle-Hawking state and its factorization in 3d gravity

abstract: We study 3d quantum gravity with two asymptotically anti-de Sitter regions, in particular, using its relation with coupled Alekseev-Shatashvili theories and Liouville theory. Expressions for the Hartle-Hawking state, thermal $2n$-point functions, torus wormhole correlators and Wheeler-DeWitt wavefunctions in different bases are obtained using the ZZ boundary states in Liouville theory. Exact results in 2d Jackiw-Teitelboim (JT) gravity are uplifted to 3d gravity, with two copies of Liouville theory in 3d gravity playing a similar role as Schwarzian theory in JT gravity. The connection between 3d gravity and the Liouville ZZ boundary states are manifested by viewing BTZ black holes as Maldacena-Maoz wormholes, with the two wormhole boundaries glued along the ZZ boundaries. In this work, we also study the factorization problem of the Hartle-Hawking state in 3d gravity. With the relevant defect operator that imposes the necessary topological constraint for contractibility, the trace formula in gravity is modified in computing the entanglement entropy. This trace matches with the one from von Neumann algebra considerations, further reproducing the Bekenstein-Hawking area formula from entanglement entropy. Lastly, we propose a calculation for off-shell geometrical quantities that are responsible for the ramp behavior in the late time two-point functions, which follows from the understanding of the Liouville FZZT boundary states in the context of 3d gravity, and the identification between Verlinde loop operators in Liouville theory and "baby universe" operators in 3d gravity.


title: Learning Personalized User Preference from Cold Start in Multi-turn Conversations

abstract: This paper presents a novel teachable conversation interaction system that is capable of learning users preferences from cold start by gradually adapting to personal preferences. In particular, the TAI system is able to automatically identify and label user preference in live interactions, manage dialogue flows for interactive teaching sessions, and reuse learned preference for preference elicitation. We develop the TAI system by leveraging BERT encoder models to encode both dialogue and relevant context information, and build action prediction (AP), argument filling (AF) and named entity recognition (NER) models to understand the teaching session. We adopt a seeker-provider interaction loop mechanism to generate diverse dialogues from cold-start. TAI is capable of learning user preference, which achieves 0.9122 turn level accuracy on out-of-sample dataset, and has been successfully adopted in production.


title: Robot-assisted Soil Apparent Electrical Conductivity Measurements in Orchards

abstract: Soil apparent electrical conductivity (ECa) is a vital metric in Precision Agriculture and Smart Farming, as it is used for optimal water content management, geological mapping, and yield prediction. Several existing methods seeking to estimate soil electrical conductivity are available, including physical soil sampling, ground sensor installation and monitoring, and the use of sensors that can obtain proximal ECa estimates. However, such methods can be either very laborious and/or too costly for practical use over larger field canopies. Robot-assisted ECa measurements, in contrast, may offer a scalable and cost-effective solution. In this work, we present one such solution that involves a ground mobile robot equipped with a customized and adjustable platform to hold an Electromagnetic Induction (EMI) sensor to perform semi-autonomous and on-demand ECa measurements under various field conditions. The platform is designed to be easily re-configurable in terms of sensor placement; results from testing for traversability and robot-to-sensor interference across multiple case studies help establish appropriate tradeoffs for sensor placement. Further, a developed simulation software package enables rapid and accessible estimation of terrain traversability in relation to desired EMI sensor placement. Extensive experimental evaluation across different fields demonstrates that the obtained robot-assisted ECa measurements are of high linearity compared with the ground truth (data collected manually by a handheld EMI sensor) by scoring more than $90\%$ in Pearson correlation coefficient in both plot measurements and estimated ECa maps generated by kriging interpolation. The proposed robotic solution supports autonomous behavior development in the field since it utilizes the ROS navigation stack along with the RTK GNSS positioning data and features various ranging sensors.


title: On correlation functions of higher-spin currents in arbitrary dimensions $d>3$

abstract: We revisit the problem of classification and explicit construction of the conformal three-point correlation functions of currents of arbitrary integer spin in arbitrary dimensions. For the conserved currents, we set up the equations for the conservation conditions and solve them completely for some values of spins, confirming the earlier counting of the number of independent structures matching them with the higher-spin cubic vertices in one higher dimension. The general solution for the correlators of conserved currents we delegate to a follow-up work.


title: The online learning architecture with edge computing for high-level control for assisting patients

abstract: The prevalence of mobility impairments due to conditions such as spinal cord injuries, strokes, and degenerative diseases is on the rise globally. Lower-limb exoskeletons have been increasingly recognized as a viable solution for enhancing mobility and rehabilitation for individuals with such impairments. However, existing exoskeleton control systems often suffer from limitations such as latency, lack of adaptability, and computational inefficiency. To address these challenges, this paper introduces a novel online adversarial learning architecture integrated with edge computing for high-level lower-limb exoskeleton control. In the proposed architecture, sensor data from the user is processed in real-time through edge computing nodes, which then interact with an online adversarial learning model. This model adapts to the user's specific needs and controls the exoskeleton with minimal latency. Experimental evaluations demonstrate significant improvements in control accuracy and adaptability, as well as enhanced quality-of-service (QoS) metrics. These findings indicate that the integration of online adversarial learning with edge computing offers a robust and efficient approach for the next generation of lower-limb exoskeleton control systems.


title: Signal Temporal Logic Neural Predictive Control

abstract: Ensuring safety and meeting temporal specifications are critical challenges for long-term robotic tasks. Signal temporal logic (STL) has been widely used to systematically and rigorously specify these requirements. However, traditional methods of finding the control policy under those STL requirements are computationally complex and not scalable to high-dimensional or systems with complex nonlinear dynamics. Reinforcement learning (RL) methods can learn the policy to satisfy the STL specifications via hand-crafted or STL-inspired rewards, but might encounter unexpected behaviors due to ambiguity and sparsity in the reward. In this paper, we propose a method to directly learn a neural network controller to satisfy the requirements specified in STL. Our controller learns to roll out trajectories to maximize the STL robustness score in training. In testing, similar to Model Predictive Control (MPC), the learned controller predicts a trajectory within a planning horizon to ensure the satisfaction of the STL requirement in deployment. A backup policy is designed to ensure safety when our controller fails. Our approach can adapt to various initial conditions and environmental parameters. We conduct experiments on six tasks, where our method with the backup policy outperforms the classical methods (MPC, STL-solver), model-free and model-based RL methods in STL satisfaction rate, especially on tasks with complex STL specifications while being 10X-100X faster than the classical methods.


title: DAD++: Improved Data-free Test Time Adversarial Defense

abstract: With the increasing deployment of deep neural networks in safety-critical applications such as self-driving cars, medical imaging, anomaly detection, etc., adversarial robustness has become a crucial concern in the reliability of these networks in real-world scenarios. A plethora of works based on adversarial training and regularization-based techniques have been proposed to make these deep networks robust against adversarial attacks. However, these methods require either retraining models or training them from scratch, making them infeasible to defend pre-trained models when access to training data is restricted. To address this problem, we propose a test time Data-free Adversarial Defense (DAD) containing detection and correction frameworks. Moreover, to further improve the efficacy of the correction framework in cases when the detector is under-confident, we propose a soft-detection scheme (dubbed as "DAD++"). We conduct a wide range of experiments and ablations on several datasets and network architectures to show the efficacy of our proposed approach. Furthermore, we demonstrate the applicability of our approach in imparting adversarial defense at test time under data-free (or data-efficient) applications/setups, such as Data-free Knowledge Distillation and Source-free Unsupervised Domain Adaptation, as well as Semi-supervised classification frameworks. We observe that in all the experiments and applications, our DAD++ gives an impressive performance against various adversarial attacks with a minimal drop in clean accuracy. The source code is available at: https://github.com/vcl-iisc/Improved-Data-free-Test-Time-Adversarial-Defense


title: Parallel RAM from Cyclic Circuits

abstract: Known simulations of random access machines (RAMs) or parallel RAMs (PRAMs) by Boolean circuits incur significant polynomial blowup, due to the need to repeatedly simulate accesses to a large main memory. Consider a single modification to Boolean circuits that removes the restriction that circuit graphs are acyclic. We call this the cyclic circuit model. Note, cyclic circuits remain combinational, as they do not allow wire values to change over time. We simulate PRAM with a cyclic circuit, and the blowup from our simulation is only polylogarithmic. Consider a PRAM program $P$ that on a length-$n$ input uses an arbitrary number of processors to manipulate words of size $\Theta(\log n)$ bits and then halts within $W(n)$ work. We construct a size-$O(W(n)\cdot \log^4 n)$ cyclic circuit that simulates $P$. Suppose that on a particular input, $P$ halts in time $T$; our circuit computes the same output within $T \cdot O(\log^3 n)$ gate delay. This implies theoretical feasibility of powerful parallel machines. Cyclic circuits can be implemented in hardware, and our circuit achieves performance within polylog factors of PRAM. Our simulated PRAM synchronizes processors via logical dependencies between wires.


title: Benchmarking ground truth trajectories with robotic total stations

abstract: Benchmarks stand as vital cornerstones in elevating SLAM algorithms within mobile robotics. Consequently, ensuring accurate and reproducible ground truth generation is vital for fair evaluation. A majority of outdoor ground truths are generated by GNSS, which can lead to discrepancies over time, especially in covered areas. However, research showed that RTS setups are more precise and can alternatively be used to generate these ground truths. In our work, we compare both RTS and GNSS systems' precision and repeatability through a set of experiments conducted weeks and months apart in the same area. We demonstrated that RTS setups give more reproducible results, with disparities having a median value of 8.6 mm compared to a median value of 10.6 cm coming from a GNSS setup. These results highlight that RTS can be considered to benchmark process for SLAM algorithms with higher precision.


title: Streaming Semidefinite Programs: $O(\sqrt{n})$ Passes, Small Space and Fast Runtime

abstract: We study the problem of solving semidefinite programs (SDP) in the streaming model. Specifically, $m$ constraint matrices and a target matrix $C$, all of size $n\times n$ together with a vector $b\in \mathbb{R}^m$ are streamed to us one-by-one. The goal is to find a matrix $X\in \mathbb{R}^{n\times n}$ such that $\langle C, X\rangle$ is maximized, subject to $\langle A_i, X\rangle=b_i$ for all $i\in [m]$ and $X\succeq 0$. Previous algorithmic studies of SDP primarily focus on \emph{time-efficiency}, and all of them require a prohibitively large $\Omega(mn^2)$ space in order to store \emph{all the constraints}. Such space consumption is necessary for fast algorithms as it is the size of the input. In this work, we design an interior point method (IPM) that uses $\widetilde O(m^2+n^2)$ space, which is strictly sublinear in the regime $n\gg m$. Our algorithm takes $O(\sqrt n\log(1/\epsilon))$ passes, which is standard for IPM. Moreover, when $m$ is much smaller than $n$, our algorithm also matches the time complexity of the state-of-the-art SDP solvers. To achieve such a sublinear space bound, we design a novel sketching method that enables one to compute a spectral approximation to the Hessian matrix in $O(m^2)$ space. To the best of our knowledge, this is the first method that successfully applies sketching technique to improve SDP algorithm in terms of space (also time).


title: The strain-induced transitions of the piezoelectric, pyroelectric and electrocaloric properties of the CuInP$_2$S$_6$ films

abstract: The low-dimensional ferroelectrics, ferrielectrics and antiferroelectrics are of urgent scientific interest due to their unusual polar, piezoelectric, electrocaloric and pyroelectric properties. The strain engineering and strain control of the ferroelectric properties of layered 2D Van der Waals materials, such as CuInP$_2$(S,Se)$_6$ monolayers, thin films and nanoflakes, are of fundamental interest and especially promising for their advanced applications in nanoscale nonvolatile memories, energy conversion and storage, nano-coolers and sensors. Here, we study the polar, piezoelectric, electrocaloric and pyroelectric properties of thin strained films of a ferrielectric CuInP$_2$S$_6$ covered by semiconducting electrodes and reveal an unusually strong effect of a mismatch strain on these properties. In particular, the sign of the mismatch strain and its magnitude determine the complicated behavior of piezoelectric, electrocaloric and pyroelectric responses. The strain effect on these properties is opposite, i.e., "anomalous", in comparison with many other ferroelectric films, for which the out-of-plane remanent polarization, piezoelectric, electrocaloric and pyroelectric responses increase strongly for tensile strains and decrease or vanish for compressive strains.


title: Debugging Trait Errors as Logic Programs

abstract: Rust uses traits to define units of shared behavior. Trait constraints build up an implicit set of first-order hereditary Harrop clauses which is executed by a powerful logic programming engine in the trait system. But that power comes at a cost: the number of traits in Rust libraries is increasing, which puts a growing burden on the trait system to help programmers diagnose errors. Beyond a certain size of trait constraints, compiler diagnostics fall off the edge of a complexity cliff, leading to useless error messages. Crate maintainers have created ad-hoc solutions to diagnose common domain-specific errors, but the problem of diagnosing trait errors in general is still open. We propose a trait debugger as a means of getting developers the information necessary to diagnose trait errors in any domain and at any scale. Our proposed tool will extract proof trees from the trait solver, and it will interactively visualize these proof trees to facilitate debugging of trait errors.


title: GenAIPABench: A Benchmark for Generative AI-based Privacy Assistants

abstract: Privacy policies of websites are often lengthy and intricate. Privacy assistants assist in simplifying policies and making them more accessible and user friendly. The emergence of generative AI (genAI) offers new opportunities to build privacy assistants that can answer users questions about privacy policies. However, genAIs reliability is a concern due to its potential for producing inaccurate information. This study introduces GenAIPABench, a benchmark for evaluating Generative AI-based Privacy Assistants (GenAIPAs). GenAIPABench includes: 1) A set of questions about privacy policies and data protection regulations, with annotated answers for various organizations and regulations; 2) Metrics to assess the accuracy, relevance, and consistency of responses; and 3) A tool for generating prompts to introduce privacy documents and varied privacy questions to test system robustness. We evaluated three leading genAI systems ChatGPT-4, Bard, and Bing AI using GenAIPABench to gauge their effectiveness as GenAIPAs. Our results demonstrate significant promise in genAI capabilities in the privacy domain while also highlighting challenges in managing complex queries, ensuring consistency, and verifying source accuracy.


title: A Skeleton-based Approach For Rock Crack Detection Towards A Climbing Robot Application

abstract: Conventional wheeled robots are unable to traverse scientifically interesting, but dangerous, cave environments. Multi-limbed climbing robot designs, such as ReachBot, are able to grasp irregular surface features and execute climbing motions to overcome obstacles, given suitable grasp locations. To support grasp site identification, we present a method for detecting rock cracks and edges, the SKeleton Intersection Loss (SKIL). SKIL is a loss designed for thin object segmentation that leverages the skeleton of the label. A dataset of rock face images was collected, manually annotated, and augmented with generated data. A new group of metrics, LineAcc, has been proposed for thin object segmentation such that the impact of the object width on the score is minimized. In addition, the metric is less sensitive to translation which can often lead to a score of zero when computing classical metrics such as Dice on thin objects. Our fine-tuned models outperform previous methods on similar thin object segmentation tasks such as blood vessel segmentation and show promise for integration onto a robotic system.


title: Privacy-Preserving Line Outage Detection in Distribution Grids: An Efficient Approach with Uncompromised Performance

abstract: Recent advancements in research have shown the efficacy of employing sensor measurements, such as voltage and power data, in identifying line outages within distribution grids. However, these measurements inadvertently pose privacy risks to electricity customers by potentially revealing their sensitive information, such as household occupancy and economic status, to adversaries. To safeguard raw data from direct exposure to third-party adversaries, this paper proposes a novel decentralized data encryption scheme. The effectiveness of this encryption strategy is validated via demonstration of its differential privacy attributes by studying the Gaussian differential privacy. Recognizing that the encryption of raw data could affect the efficacy of outage detection, this paper analyzes the performance degradation by examining the Kullback-Leibler divergence between data distributions before and after the line outage. This analysis allows us to further alleviate the performance degradation by designing an innovative detection statistic that accurately approximates the optimal one. Manipulating the variance of this statistic, we demonstrate its ability to approach the optimal detection performance. The proposed privacy-aware detection procedure is evaluated using representative distribution grids and real load profiles, covering 17 distinct outage configurations. Our empirical results confirm the privacy-preserving nature of our approach and show that it achieves comparable detection performance to the optimal baseline.


title: Magnetic field generation in laser-solid interactions at strong-field QED relevant intensities

abstract: Magnetic field generation in ultra-intense laser-solid interactions is studied over a range of laser intensities relevant to next-generation laser facilities ($a_0 = 50-500$) using 2D particle-in-cell simulations. It is found that fields on the order of 0.1 MT (1 GigaGauss) may be generated by relativistic electrons traveling along the surface of the target. However a significant fraction of the energy budget is converted to high-energy photons, ~38% at $a_0=500$, greatly reducing the available energy for field generation. A model for the evolution of the target-surface fields and their scaling with $a_0$ is developed using laser parameters and assumed values for the average radial electron velocity and reflectivity. The model and empirical scaling allow for the estimation of field strengths on the next generation of laser facilities, a necessary component to the proposal of any future magnetized experiment.


title: Large Language Models for Difficulty Estimation of Foreign Language Content with Application to Language Learning

abstract: We use large language models to aid learners enhance proficiency in a foreign language. This is accomplished by identifying content on topics that the user is interested in, and that closely align with the learner's proficiency level in that foreign language. Our work centers on French content, but our approach is readily transferable to other languages. Our solution offers several distinctive characteristics that differentiate it from existing language-learning solutions, such as, a) the discovery of content across topics that the learner cares about, thus increasing motivation, b) a more precise estimation of the linguistic difficulty of the content than traditional readability measures, and c) the availability of both textual and video-based content. The linguistic complexity of video content is derived from the video captions. It is our aspiration that such technology will enable learners to remain engaged in the language-learning process by continuously adapting the topics and the difficulty of the content to align with the learners' evolving interests and learning objectives.


title: Riemannian Acceleration with Preconditioning for symmetric eigenvalue problems

abstract: In this paper, we propose a Riemannian Acceleration with Preconditioning (RAP) for symmetric eigenvalue problems, which is one of the most important geodesically convex optimization problem on Riemannian manifold, and obtain the acceleration. Firstly, the preconditioning for symmetric eigenvalue problems from the Riemannian manifold viewpoint is discussed. In order to obtain the local geodesic convexity, we develop the leading angle to measure the quality of the preconditioner for symmetric eigenvalue problems. A new Riemannian acceleration, called Locally Optimal Riemannian Accelerated Gradient (LORAG) method, is proposed to overcome the local geodesic convexity for symmetric eigenvalue problems. With similar techniques for RAGD and analysis of local convex optimization in Euclidean space, we analyze the convergence of LORAG. Incorporating the local geodesic convexity of symmetric eigenvalue problems under preconditioning with the LORAG, we propose the Riemannian Acceleration with Preconditioning (RAP) and prove its acceleration. Additionally, when the Schwarz preconditioner, especially the overlapping or non-overlapping domain decomposition method, is applied for elliptic eigenvalue problems, we also obtain the rate of convergence as $1-C\kappa^{-1/2}$, where $C$ is a constant independent of the mesh sizes and the eigenvalue gap, $\kappa=\kappa_{\nu}\lambda_{2}/(\lambda_{2}-\lambda_{1})$, $\kappa_{\nu}$ is the parameter from the stable decomposition, $\lambda_{1}$ and $\lambda_{2}$ are the smallest two eigenvalues of the elliptic operator. Numerical results show the power of Riemannian acceleration and preconditioning.


title: Geometry of entanglement and separability in Hilbert subspaces of dimension up to three

abstract: We present a complete classification of the geometry of the mutually complementary sets of entangled and separable states in three-dimensional Hilbert subspaces of bipartite and multipartite quantum systems. Our analysis begins by finding the geometric structure of the pure product states in a given three-dimensional Hilbert subspace, which determines all the possible separable and entangled mixed states over the same subspace. In bipartite systems, we characterise the 14 possible qualitatively different geometric shapes for the set of separable states in any three-dimensional Hilbert subspace (5 classes which also appear in two-dimensional subspaces and were found and analysed by Boyer, Liss and Mor [Phys. Rev. A 95:032308, 2017], and 9 novel classes which appear only in three-dimensional subspaces), describe their geometries, and provide figures illustrating them. We also generalise these results to characterise the sets of fully separable states (and hence the complementary sets of somewhat entangled states) in three-dimensional subspaces of multipartite systems. Our results show which geometrical forms quantum entanglement can and cannot take in low-dimensional subspaces.


title: Outlier Robust Adversarial Training

abstract: Supervised learning models are challenged by the intrinsic complexities of training data such as outliers and minority subpopulations and intentional attacks at inference time with adversarial samples. While traditional robust learning methods and the recent adversarial training approaches are designed to handle each of the two challenges, to date, no work has been done to develop models that are robust with regard to the low-quality training data and the potential adversarial attack at inference time simultaneously. It is for this reason that we introduce Outlier Robust Adversarial Training (ORAT) in this work. ORAT is based on a bi-level optimization formulation of adversarial training with a robust rank-based loss function. Theoretically, we show that the learning objective of ORAT satisfies the $\mathcal{H}$-consistency in binary classification, which establishes it as a proper surrogate to adversarial 0/1 loss. Furthermore, we analyze its generalization ability and provide uniform convergence rates in high probability. ORAT can be optimized with a simple algorithm. Experimental evaluations on three benchmark datasets demonstrate the effectiveness and robustness of ORAT in handling outliers and adversarial attacks. Our code is available at https://github.com/discovershu/ORAT.


title: Achromatizing scalar vortex coronagraphs with radial phase mask dimples

abstract: The Habitable Worlds Observatory mission will require coronagraphs capable of achieving contrasts of 1e-10 to detect exo-Earths. The choice of coronagraph depends on finding a solution that is achromatic within a 20\% bandwidth, insensitive to low order aberrations and polarization independent. We present two scalar vortex phase mask designs which employ a Roddier phase dimple and a dual zone phase dimple to improve the achromatic performance by addressing the chromatic stellar leakage not handled by the vortex. We show that using these dimples, it is possible to substantially improve the broadband contrast performance of existing scalar vortex phase masks.


title: Fully scalable randomized benchmarking without motion reversal

abstract: We introduce binary randomized benchmarking (BiRB), a protocol that streamlines traditional RB by using circuits consisting almost entirely of i.i.d. layers of gates. BiRB reliably and efficiently extracts the average error rate of a Clifford gate set by sending tensor product eigenstates of random Pauli operators though random circuits with i.i.d. layers. Unlike existing RB methods, BiRB does not use motion reversal circuits -- i.e., circuits that implement the identity (or a Pauli) operator -- which simplifies both the method and the theory proving its reliability. Furthermore, this simplicity enables scaling BiRB to many more qubits than the most widely-used RB methods.


title: Beyond Skin Tone: A Multidimensional Measure of Apparent Skin Color

abstract: This paper strives to measure apparent skin color in computer vision, beyond a unidimensional scale on skin tone. In their seminal paper Gender Shades, Buolamwini and Gebru have shown how gender classification systems can be biased against women with darker skin tones. Subsequently, fairness researchers and practitioners have adopted the Fitzpatrick skin type classification as a common measure to assess skin color bias in computer vision systems. While effective, the Fitzpatrick scale only focuses on the skin tone ranging from light to dark. Towards a more comprehensive measure of skin color, we introduce the hue angle ranging from red to yellow. When applied to images, the hue dimension reveals additional biases related to skin color in both computer vision datasets and models. We then recommend multidimensional skin color scales, relying on both skin tone and hue, for fairness assessments.


title: From Erdos-Renyi graphs to Linial-Meshulam complexes via the multineighbor construction

abstract: The $m$-neighbor complex of a graph is the simplicial complex in which faces are sets of vertices with at least $m$ common neighbors. We consider these complexes for Erdos-Renyi random graphs and find that for certain explicit families of parameters the resulting complexes are with high probability $(t-1)$-dimensional with all $(t-2)$-faces and each $(t-1)$-face present with a fixed probability. Unlike the Linial-Meshulam measure on the same complexes there can be correlations between pairs of $(t-1)$-faces but we conjecture that the two measures converge in total variation for certain parameter sequences.


title: Faster, Lighter, More Accurate: A Deep Learning Ensemble for Content Moderation

abstract: To address the increasing need for efficient and accurate content moderation, we propose an efficient and lightweight deep classification ensemble structure. Our approach is based on a combination of simple visual features, designed for high-accuracy classification of violent content with low false positives. Our ensemble architecture utilizes a set of lightweight models with narrowed-down color features, and we apply it to both images and videos. We evaluated our approach using a large dataset of explosion and blast contents and compared its performance to popular deep learning models such as ResNet-50. Our evaluation results demonstrate significant improvements in prediction accuracy, while benefiting from 7.64x faster inference and lower computation cost. While our approach is tailored to explosion detection, it can be applied to other similar content moderation and violence detection use cases as well. Based on our experiments, we propose a "think small, think many" philosophy in classification scenarios. We argue that transforming a single, large, monolithic deep model into a verification-based step model ensemble of multiple small, simple, and lightweight models with narrowed-down visual features can possibly lead to predictions with higher accuracy.


title: Dynamics on a submanifold: intermediate formalism versus Hamiltonian reduction of Dirac bracket, and integrability

abstract: We consider Hamiltonian formulation of a dynamical system forced to move on a submanifold $G_\alpha(q^A)=0$. If for some reasons we are interested in knowing the dynamics of all original variables $q^A(t)$, the most economical would be a Hamiltonian formulation on the intermediate phase-space submanifold spanned by reducible variables $q^A$ and an irreducible set of momenta $p_i$, $[i]=[A]-[\alpha]$. We describe and compare two different possibilities for establishing the Poisson structure and Hamiltonian dynamics on an intermediate submanifold: Hamiltonian reduction of the Dirac bracket and intermediate formalism. As an example of the application of intermediate formalism, we deduce on this basis the Euler-Poisson equations of a spinning body, establish the underlying Poisson structure, and write their general solution in terms of the exponential of the Hamiltonian vector field.

categories: math-ph astro-ph.SR gr-qc hep-th math.MP nlin.SI


title: A PEL-type Igusa Stack and the $p$-adic Geometry of Shimura Varieties

abstract: Let $(G,X)$ be a PEL-Shimura datum of type AC in Kottwitz's classification. Assume $G_{\mathbf{Q}_p}$ is unramified. We show that the good reduction locus of the infinite $p$-level Shimura variety attached to this datum, considered as a diamond, can be described as the fiber product of a certain v-stack (which we call ``Igusa stack") with a Schubert cell of the corresponding $B_{dR}^+$-affine Grassmannian, over the stack of $G_{\mathbf{Q}_p}$-torsors on the Fargues-Fontaine curve. We also construct a minimal compactification of the Igusa stack and show that this fiber product structure extends to the minimal compactification of the Shimura variety. When the Schubert cell of the affine Grassmannian is replaced by a bounded substack of $\mathcal{G}$-shtukas, where $\mathcal{G}$ is a reductive model of $G_{\mathbf{Q}_p}$ over $\mathbf{Z}_p$, we show that this fiber product recovers the integral model of the Shimura variety. This result on integral models, if specialized to a Newton polygon stratum, recovers the fiber product formula of Mantovan. Similar fiber product structures are conjectured by Scholze to exist on general Shimura varieties.


title: Learning Energy-Based Models by Cooperative Diffusion Recovery Likelihood

abstract: Training energy-based models (EBMs) on high-dimensional data can be both challenging and time-consuming, and there exists a noticeable gap in sample quality between EBMs and other generative frameworks like GANs and diffusion models. To close this gap, inspired by the recent efforts of learning EBMs by maximizing diffusion recovery likelihood (DRL), we propose cooperative diffusion recovery likelihood (CDRL), an effective approach to tractably learn and sample from a series of EBMs defined on increasingly noisy versions of a dataset, paired with an initializer model for each EBM. At each noise level, the two models are jointly estimated within a cooperative training framework: samples from the initializer serve as starting points that are refined by a few MCMC sampling steps from the EBM. The EBM is then optimized by maximizing recovery likelihood, while the initializer model is optimized by learning from the difference between the refined samples and the initial samples. In addition, we made several practical designs for EBM training to further improve the sample quality. Combining these advances, our approach significantly boost the generation performance compared to existing EBM methods on CIFAR-10 and ImageNet datasets. We also demonstrate the effectiveness of our models for several downstream tasks, including classifier-free guided generation, compositional generation, image inpainting and out-of-distribution detection.


title: The functional generalization of the Boltzmann-Vlasov equation and its Gauge-like symmetry

abstract: We argue that one can model deviations from the ensemble average in non-equilibrium statistical mechanics by promoting the Boltzmann equation to an equation in terms of {\em functionals} , representing possible candidates for phase space distributions inferred from a finite observed number of degrees of freedom. We find that, provided the collision term and the Vlasov drift term are both included, a gauge-like redundancy arises which does not go away even if the functional is narrow. We argue that this effect is linked to the gauge-like symmetry found in relativistic hydrodynamics \cite{bdnk} and that it could be part of the explanation for the apparent fluid-like behavior in small systems in hadronic collisions and other strongly-coupled small systems\cite{zajc}. When causality is omitted this problem can be look at via random matrix theory show, and we show that in such a case thermalization happens much more quickly than the Boltzmann equation would infer. We also sketch an algorithm to study this problem numerically

categories: cond-mat.stat-mech hep-ph hep-th nucl-th


title: Uncloneable Quantum Advice

abstract: The famous no-cloning principle has been shown recently to enable a number of uncloneable functionalities. Here we address for the first time unkeyed quantum uncloneablity, via the study of a complexity-theoretic tool that enables a computation, but that is natively unkeyed: quantum advice. Remarkably, this is an application of the no-cloning principle in a context where the quantum states of interest are not chosen by a random process. We show the unconditional existence of promise problems admitting uncloneable quantum advice, and the existence of languages with uncloneable advice, assuming the feasibility of quantum copy-protecting certain functions. Along the way, we note that state complexity classes, introduced by Rosenthal and Yuen (ITCS 2022) - which concern the computational difficulty of synthesizing sequences of quantum states - can be naturally generalized to obtain state cloning complexity classes. We make initial observations on these classes, notably obtaining a result analogous to the existence of undecidable problems. Our proof technique establishes the existence of ingenerable sequences of finite bit strings - essentially meaning that they cannot be generated by any uniform circuit family. We then prove a generic result showing that the difficulty of accomplishing a computational task on uniformly random inputs implies its difficulty on any fixed, ingenerable sequence. We use this result to derandomize quantum cryptographic games that relate to cloning, and then incorporate a result of Kundu and Tan (arXiv 2022) to obtain uncloneable advice. Applying this two-step process to a monogamy-of-entanglement game yields a promise problem with uncloneable advice, and applying it to the quantum copy-protection of pseudorandom functions with super-logarithmic output lengths yields a language with uncloneable advice.


title: Radiation pattern and source size of particles in nanoplasmonic fusion

abstract: Angular radiation patterns of proton, deuteron or alpha emission are evaluated using particle-in-cell simulation of laser induced nanoplasmonic fusion. The differential Hanbury-Brown and Twiss analysis is widely used in astrophysics and in relativistic heavy ion physics to determine the source size of emitted particles. Here, we show how this method could be adopted for inertial confinement fusion. This method aims to determine the parameters of emitted nuclei after the fusion target ignition. In addition to spatial volume, the method can detect specific space-time correlation patterns connected to the collective flow post-ignition.


title: Superstaq: Deep Optimization of Quantum Programs

abstract: We describe Superstaq, a quantum software platform that optimizes the execution of quantum programs by tailoring to underlying hardware primitives. For benchmarks such as the Bernstein-Vazirani algorithm and the Qubit Coupled Cluster chemistry method, we find that deep optimization can improve program execution performance by at least 10x compared to prevailing state-of-the-art compilers. To highlight the versatility of our approach, we present results from several hardware platforms: superconducting qubits (AQT @ LBNL, IBM Quantum, Rigetti), trapped ions (QSCOUT), and neutral atoms (Infleqtion). Across all platforms, we demonstrate new levels of performance and new capabilities that are enabled by deeper integration between quantum programs and the device physics of hardware.


title: Kinematics-Based Sensor Fault Detection for Autonomous Vehicles Using Real-Time Numerical Differentiation

abstract: Sensor fault detection is of extreme importance for ensuring the safe operation of vehicles. This paper introduces a novel approach to detecting and identifying faulty sensors. For ground vehicles confined to the horizontal plane, this technique is based on six kinematics-based error metrics that are computed in real time by using onboard sensor data encompassing compass, radar, rate gyro, and accelerometer measurements as well as their derivatives. Real-time numerical differentiation is performed by applying the adaptive input and state estimation (AIE/ASE) algorithm. Numerical examples are provided to assess the efficacy of the proposed methodology.


title: The emergence of time from quantum interaction with the environment

abstract: The nature of time as emergent for a system by separating it from its environment has been put forward by Page and Wootters [D. N. Page and W. K. Wootters, Phys. Rev. D 27, 2885 (1983)] in a quantum mechanical setting neglecting interaction between system and environment. Here, we add strong support to the relational concept of time by deriving the time-dependent Schroedinger equation for a system from an energy eigenstate of the global Hamiltonian consisting of system, environment and their interaction. Our results are consistent with concepts for the emergence of time where interaction has been taken into account at the expense of a semiclassical treatment of the environment. Including the coupling between system and environment without approximation adds a missing link to the relational time approach opening it to dynamical phenomena of interacting systems and entangled quantum states.


title: Pattern formation of phase-separated lipid domains in bilayer membranes

abstract: Giant unilamellar vesicles (GUVs) composed of as few as three lipid species can phase separate into small-scale lipid domains with stripes and dots patterns. These patterns have been experimentally characterized in terms of how their size and morphology depend on temperature, membrane composition, and surface tension, which revealed inconsistencies with existing theoretical models. Here, we demonstrate that the experiments can be explained with a theory that considers both the elastic deformation of the membrane and the phase separation of lipids, which are coupled by a preferred bilayer curvature. We combine analytical and numerical approaches to elucidate how characteristic pattern size and morphology emerge from these interactions. The results agree with existing experiments and offer testable predictions such as non-monotonic dependence of the domain size on osmotic pressure and pattern hysteresis upon cycling external stimuli. These predictions motivate new directions for understanding the spatial patterning and organization mechanisms of biological membranes.


title: Three-dimensional GRMHD Simulations of Rapidly Rotating Stellar Core-Collapse

abstract: We present results from fully general relativistic (GR), three-dimensional (3D), neutrino-radiation magneto-hydrodynamic (MHD) simulations of stellar core collapse of a 20 M$_\odot$ star with spectral neutrino transport. Our focus is to study the gravitational-wave (GW) signatures from the magnetorotationally (MR)-driven models. By parametrically changing the initial angular velocity and the strength of the magnetic fields in the core, we compute four models. Our results show that the MHD outflows are produced only for models (two out of four), to which magnetic field strengths of 10$^{12}$ G and rotation rates of 1 or 2 rad s$^{-1}$ are initially imposed in the core. Seen from the direction perpendicular to the rotational axis, a characteristic waveform is obtained exhibiting a monotonic time increase in the wave amplitude. As previously identified, this stems from the propagating MHD outflows along the axis. We show that the GW amplitude from anisotropic neutrino emission becomes more than one order-of-magnitude bigger than that from the matter contribution, whereas seen from the rotational axis, both of the two components are in the same order-of-magnitudes. Due to the memory effect, the frequency of the neutrino GW from our full-fledged 3D-MHD models is in the range less than $\sim$10 Hz. Toward the future GW detection for a Galactic core-collapse supernova, if driven by the MR mechanism, the planned next-generation detector as DECIGO is urgently needed to catch the low-frequency signals.


title: Collecting Visually-Grounded Dialogue with A Game Of Sorts

abstract: An idealized, though simplistic, view of the referring expression production and grounding process in (situated) dialogue assumes that a speaker must merely appropriately specify their expression so that the target referent may be successfully identified by the addressee. However, referring in conversation is a collaborative process that cannot be aptly characterized as an exchange of minimally-specified referring expressions. Concerns have been raised regarding assumptions made by prior work on visually-grounded dialogue that reveal an oversimplified view of conversation and the referential process. We address these concerns by introducing a collaborative image ranking task, a grounded agreement game we call "A Game Of Sorts". In our game, players are tasked with reaching agreement on how to rank a set of images given some sorting criterion through a largely unrestricted, role-symmetric dialogue. By putting emphasis on the argumentation in this mixed-initiative interaction, we collect discussions that involve the collaborative referential process. We describe results of a small-scale data collection experiment with the proposed task. All discussed materials, which includes the collected data, the codebase, and a containerized version of the application, are publicly available.


title: The Impact of AI in Physics Education: A Comprehensive Review from GCSE to University Levels

abstract: With the rapid evolution of Artificial Intelligence (AI), its potential implications for higher education have become a focal point of interest. This study delves into the capabilities of AI in Physics Education and offers actionable AI policy recommendations. Using a Large Language Model (LLM), we assessed its ability to answer 1337 Physics exam questions spanning GCSE, A-Level, and Introductory University curricula. We employed various AI prompting techniques: Zero Shot, In Context Learning, and Confirmatory Checking, which merges Chain of Thought reasoning with Reflection. The AI's proficiency varied across academic levels: it scored an average of 83.4% on GCSE, 63.8% on A-Level, and 37.4% on university-level questions, with an overall average of 59.9% using the most effective prompting technique. In a separate test, the LLM's accuracy on 5000 mathematical operations was found to decrease as the number of digits increased. Furthermore, when evaluated as a marking tool, the LLM's concordance with human markers averaged at 50.8%, with notable inaccuracies in marking straightforward questions, like multiple-choice. Given these results, our recommendations underscore caution: while current LLMs can consistently perform well on Physics questions at earlier educational stages, their efficacy diminishes with advanced content and complex calculations. LLM outputs often showcase novel methods not in the syllabus, excessive verbosity, and miscalculations in basic arithmetic. This suggests that at university, there's no substantial threat from LLMs for non-invigilated Physics questions. However, given the LLMs' considerable proficiency in writing Physics essays and coding abilities, non-invigilated examinations of these skills in Physics are highly vulnerable to automated completion by LLMs. This vulnerability also extends to Physics questions pitched at lower academic levels.


title: Steadiness of coronal heating

abstract: The EUI instrument on the Solar Orbiter spacecraft has obtained the most stable, high-resolution images of the solar corona from its orbit with a perihelion near 0.4 AU. A sequence of 360 images obtained at 17.1 nm, between 25-Oct-2022 19:00 and 19:30 UT is scrutinized. One image pixel corresponds to 148 km at the solar surface. The widely-held belief that the outer atmosphere of the Sun is in a continuous state of magnetic turmoil is pitted against the EUI data. The observed plasma variations appear to fall into two classes. By far the dominant behavior is a very low amplitude variation in brightness (1%) in the coronal loops, with larger variations in some footpoint regions. No hints of observable changes in magnetic topology are associated with such small variations. The larger amplitude, more rapid, rarer and less-well organized changes are associated with flux emergence. It is suggested therefore that while magnetic reconnection drives the latter, most of the active corona is heated with no evidence of a role for large-scale (observable) reconnection. Since most coronal emission line widths are subsonic, the bulk of coronal heating, if driven by reconnection, can only be of tangentially discontinuous magnetic fields, with angles below about $0.5c_S/c_A \sim 0.3\beta$, with $\beta$ the plasma beta parameter ($\sim 0.01)$, and $c_S$ and $c_A$ sound and Alfv\'en speeds. If heated by multiple small flare-like events, then these must be $\lesssim 10^{21}$ erg, i.e. pico-flares. But processes other than reconnection have yet to be ruled out, such as viscous dissipation, which may contribute to the steady heating of coronal loops over active regions.


title: Diffusio-phoretic fast swelling of chemically responsive hydrogels

abstract: Acid-induced release of stored ions from polyacrylic acid hydrogels (with a free surface fully permeable to the ion and acid flux) was observed to increase the gel osmotic pressure that leads to rapid, temporary swelling faster than the characteristic solvent absorption rate of the gel. Here we develop a continuum poroelastic theory that quantitatively explains the experiments by introducing a "gel diffusio-phoresis" mechanism: Steric repulsion between the gel polymers and released ions can induce a diffusio-osmotic solvent intake counteracted by the diffusio-phoretic expansion of the gel network. For applications ranging from drug delivery to soft robotics, engineering the gel diffusio-phoresis may enable stimuli-responsive hydrogels with amplified strain rates and power output.


title: A quantum Monte Carlo algorithm for Bose-Hubbard models on arbitrary graphs

abstract: We propose a quantum Monte Carlo algorithm capable of simulating the Bose-Hubbard model on arbitrary graphs, obviating the need for devising lattice-specific updates for different input graphs. We show that with our method, which is based on the recently introduced Permutation Matrix Representation Quantum Monte Carlo [Gupta, Albash and Hen, J. Stat. Mech. (2020) 073105], the problem of adapting the simulation to a given geometry amounts to generating a cycle basis for the graph on which the model is defined, a procedure that can be carried out efficiently and and in an automated manner. To showcase the versatility of our approach, we provide simulation results for Bose-Hubbard models defined on two-dimensional lattices as well as on a number of random graphs.


title: Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis

abstract: This paper studies the problem of designing a certified vision-based state estimator for autonomous landing systems. In such a system, a neural network (NN) processes images from a camera to estimate the aircraft relative position with respect to the runway. We propose an algorithm to design such NNs with certified properties in terms of their ability to detect runways and provide accurate state estimation. At the heart of our approach is the use of geometric models of perspective cameras to obtain a mathematical model that captures the relation between the aircraft states and the inputs. We show that such geometric models enjoy mixed monotonicity properties that can be used to design state estimators with certifiable error bounds. We show the effectiveness of the proposed approach using an experimental testbed on data collected from event-based cameras.


title: Multiple Non-radial Solutions for Coupled Schr\"{o}dinger Equations

abstract: The paper deals with the existence of non-radial solutions for an $N$-coupled nonlinear elliptic system. In the repulsive regime with some structure conditions on the coupling and for each symmetric subspace of rotation symmetry, we prove the existence of an infinite sequence of non-radial positive solutions and an infinite sequence of non-radial nodal solutions.


title: SYSPART: Automated Temporal System Call Filtering for Binaries

abstract: Restricting the system calls available to applications reduces the attack surface of the kernel and limits the functionality available to compromised applications. Recent approaches automatically identify the system calls required by programs to block unneeded ones. For servers, they even consider different phases of execution to tighten restrictions after initialization completes. However, they require access to the source code for applications and libraries, depend on users identifying when the server transitions from initialization to serving clients, or do not account for dynamically-loaded libraries. This paper introduces SYSPART, an automatic system-call filtering system designed for binary-only server programs that addresses the above limitations. Using a novel algorithm that combines static and dynamic analysis, SYSPART identifies the serving phases of all working threads of a server. Static analysis is used to compute the system calls required during the various serving phases in a sound manner, and dynamic observations are only used to complement static resolution of dynamically-loaded libraries when necessary. We evaluated SYSPART using six popular servers on x86-64 Linux to demonstrate its effectiveness in automatically identifying serving phases, generating accurate system-call filters, and mitigating attacks. Our results show that SYSPART outperforms prior binary-only approaches and performs comparably to source-code approaches.


title: Characteristic Classes of $L$-theory

abstract: We construct $2$-local characteristic classes and odd-local $KO$-theory characteristic classes of presheaves of Ranicki-Weiss's symmetric, quadratic or normal chains. As a result, we determine the homotopy type of the $L$-theory spaces, which was also proven by Taylor-Williams. We also establish (1) the equivalence between the classes of the surgery space at prime $2$ constructed by Sullivan, Rourke-Sullivan, Morgan-Sullivan, Madsen-Milgram, and the chain-level description by Ranicki; (2) the equivalence between the theory of $TOP$ bundles or spherical fibrations at odd primes by Sullivan and at prime $2$ by Brumfiel-Morgan, Morgan-Sullivan, and the theory of $L$-orientations by Levitt-Ranicki .


title: Bounds on Kemeny's constant of a graph and the Nordhaus-Gaddum problem

abstract: We study Nordhaus-Gaddum problems for Kemeny's constant $\mathcal{K}(G)$ of a connected graph $G$. We prove bounds on $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ and the product $\mathcal{K}(G)\mathcal{K}(\overline{G})$ for various families of graphs. In particular, we show that if the maximum degree of a graph $G$ on $n$ vertices is $n-O(1)$ or $n-\Omega(n)$, then $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ is at most $O(n)$.


title: 2-Approximation for Prize-Collecting Steiner Forest

abstract: Approximation algorithms for the prize-collecting Steiner forest problem (PCSF) have been a subject of research for over three decades, starting with the seminal works of Agrawal, Klein, and Ravi and Goemans and Williamson on Steiner forest and prize-collecting problems. In this paper, we propose and analyze a natural deterministic algorithm for PCSF that achieves a $2$-approximate solution in polynomial time. This represents a significant improvement compared to the previously best known algorithm with a $2.54$-approximation factor developed by Hajiaghayi and Jain in 2006. Furthermore, K{\"{o}}nemann, Olver, Pashkovich, Ravi, Swamy, and Vygen have established an integrality gap of at least $9/4$ for the natural LP relaxation for PCSF. However, we surpass this gap through the utilization of a combinatorial algorithm and a novel analysis technique. Since $2$ is the best known approximation guarantee for Steiner forest problem, which is a special case of PCSF, our result matches this factor and closes the gap between the Steiner forest problem and its generalized version, PCSF.


title: DePT: Decomposed Prompt Tuning for Parameter-Efficient Fine-tuning

abstract: Prompt tuning (PT), where a small amount of trainable soft (continuous) prompt vectors is affixed to the input of language models (LM), has shown promising results across various tasks and models for parameter-efficient fine-tuning (PEFT). PT stands out from other PEFT approaches because it maintains competitive performance with fewer trainable parameters and does not drastically scale up its parameters as the model size expands. However, PT introduces additional soft prompt tokens, leading to longer input sequences, which significantly impacts training and inference time and memory usage due to the Transformer's quadratic complexity. Particularly concerning for Large Language Models (LLMs) that face heavy daily querying. To address this issue, we propose Decomposed Prompt Tuning (DePT), which decomposes the soft prompt into a shorter soft prompt and a pair of low-rank matrices that are then optimised with two different learning rates. This allows DePT to achieve better performance while saving substantial memory and time costs compared to vanilla PT and its variants, without changing trainable parameter sizes. Through extensive experiments on 23 natural language processing (NLP) and vision-language (VL) tasks, we demonstrate that DePT outperforms state-of-the-art PEFT approaches, including the full fine-tuning baseline, in some scenarios. Additionally, we empirically show that DEPT grows more efficient as the model size increases. Our further study reveals that DePT integrates seamlessly with parameter-efficient transfer learning in the few-shot learning setting and highlights its adaptability to various model architectures and sizes.


title: Serberus: Protecting Cryptographic Code from Spectres at Compile-Time

abstract: We present Serberus, the first comprehensive mitigation for hardening constant-time (CT) code against Spectre attacks (involving the PHT, BTB, RSB, STL and/or PSF speculation primitives) on existing hardware. Serberus is based on three insights. First, some hardware control-flow integrity (CFI) protections restrict transient control-flow to the extent that it may be comprehensively considered by software analyses. Second, conformance to the accepted CT code discipline permits two code patterns that are unsafe in the post-Spectre era. Third, once these code patterns are addressed, all Spectre leakage of secrets in CT programs can be attributed to one of four classes of taint primitives--instructions that can transiently assign a secret value to a publicly-typed register. We evaluate Serberus on cryptographic primitives in the OpenSSL, Libsodium, and HACL* libraries. Serberus introduces 21.3% runtime overhead on average, compared to 24.9% for the next closest state-of-the-art software mitigation, which is less secure.


title: Nondegeneracy of the spectrum of the twisted cocycle for interval exchange transformations

abstract: We prove the positivity of the top Lyapunov exponent of the twisted (spectral) cocycle, associated with IETs, with respect to a family of natural invariant measures. The proof relies on relating the top exponent to limits of exponents along families of affine invariant submanifolds of genus tending to infinity. Applications include an observation about a conjecture of Kontsevich and Zorich, a discrepancy estimate, and a formula for the lower local dimension of spectral measures.


title: Reversibility of whole-plane SLE for $\kappa > 8$

abstract: Whole-plane SLE$_\kappa$ is a random fractal curve between two points on the Riemann sphere. Zhan established for $\kappa \leq 4$ that whole-plane SLE$_\kappa$ is reversible, meaning invariant in law under conformal automorphisms swapping its endpoints. Miller and Sheffield extended this to $\kappa \leq 8$. We prove whole-plane SLE$_\kappa$ is reversible for $\kappa > 8$, resolving the final case and answering a conjecture of Viklund and Wang. Our argument depends on a novel mating-of-trees theorem of independent interest, where Liouville quantum gravity on the disk is decorated by an independent radial space-filling SLE curve.


title: SLE partition functions via conformal welding of random surfaces

abstract: SLE curves describe the scaling limit of interfaces from many 2D lattice models. Heuristically speaking, the SLE partition function is the continuum counterpart of the partition function of the corresponding discrete model. It is well known that conformally welding of Liouville quantum gravity (LQG) surfaces gives SLE curves as the interfaces. In this paper, we demonstrate in several settings how the SLE partition function arises from conformal welding of LQG surfaces. The common theme is that we conformally weld a collection of canonical LQG surfaces which produces a topological configuration with more than one conformal structure. Conditioning on the conformal moduli, the surface after welding is described by Liouville conformal field theory (LCFT), and the density of the random moduli contains the SLE partition function for the interfaces as a multiplicative factor. The settings we treat includes the multiple SLE for $\kappa\in (0,4)$, the flow lines of imaginary geometry on the disk with boundary marked points, and the boundary Green function. These results demonstrate an alternative approach to construct and study the SLE partition function, which complements the traditional method based on stochastic calculus and differential equation.


title: Quantifying Uncertainty in Aggregate Queries over Integrated Datasets

abstract: Data integration is a notoriously difficult and heuristic-driven process, especially when ground-truth data are not readily available. This paper presents a measure of uncertainty by providing maximal and minimal ranges of a query outcome in two-table, one-to-many data integration workflows. Users can use these query results to guide a search through different matching parameters, similarity metrics, and constraints. Even though there are exponentially many such matchings, we show that in appropriately constrained circumstances that this result range can be calculated in polynomial time with bipartite graph matching. We evaluate this on real-world datasets and synthetic datasets, and find that uncertainty estimates are more robust when a graph-matching based approach is used for data integration.


title: Effect of Adapting to Human Preferences on Trust in Human-Robot Teaming

abstract: We present the effect of adapting to human preferences on trust in a human-robot teaming task. The team performs a task in which the robot acts as an action recommender to the human. It is assumed that the behavior of the human and the robot is based on some reward function they try to optimize. We use a new human trust-behavior model that enables the robot to learn and adapt to the human's preferences in real-time during their interaction using Bayesian Inverse Reinforcement Learning. We present three strategies for the robot to interact with a human: a non-learner strategy, in which the robot assumes that the human's reward function is the same as the robot's, a non-adaptive learner strategy that learns the human's reward function for performance estimation, but still optimizes its own reward function, and an adaptive-learner strategy that learns the human's reward function for performance estimation and also optimizes this learned reward function. Results show that adapting to the human's reward function results in the highest trust in the robot.