title: Pragmatic auditing: a pilot-driven approach for auditing Machine Learning systems

abstract: The growing adoption and deployment of Machine Learning (ML) systems came with its share of ethical incidents and societal concerns. It also unveiled the necessity to properly audit these systems in light of ethical principles. For such a novel type of algorithmic auditing to become standard practice, two main prerequisites need to be available: A lifecycle model that is tailored towards transparency and accountability, and a principled risk assessment procedure that allows the proper scoping of the audit. Aiming to make a pragmatic step towards a wider adoption of ML auditing, we present a respective procedure that extends the AI-HLEG guidelines published by the European Commission. Our audit procedure is based on an ML lifecycle model that explicitly focuses on documentation, accountability, and quality assurance; and serves as a common ground for alignment between the auditors and the audited organisation. We describe two pilots conducted on real-world use cases from two different organisations and discuss the shortcomings of ML algorithmic auditing as well as future directions thereof.


title: X-rays from the Nearby Compact Emission Line Galaxy NGC 2366

abstract: Luminous, compact emission-line galaxies (LCGs) are the most abundant class of confirmed Lyman continuum (LyC) emitters. An optical integral field study of the nearby LCG NGC 2366 reveals an outflow originating at the star cluster 'knot B' thought to clear a channel via mechanical feedback that enables LyC escape. We observed NGC 2366 with the Chandra X-ray Observatory and detect X-ray emission from a point source coincident with the apex of the outflow at knot B. The point-like nature and variability of the X-ray emission suggests accretion onto a compact object. The accretion could produce sufficient kinetic energy to power the outflow.


title: Efficient Imitation Learning with Conservative World Models

abstract: We tackle the problem of policy learning from expert demonstrations without a reward function. A central challenge in this space is that these policies fail upon deployment due to issues of distributional shift, environment stochasticity, or compounding errors. Adversarial imitation learning alleviates this issue but requires additional on-policy training samples for stability, which presents a challenge in realistic domains due to inefficient learning and high sample complexity. One approach to this issue is to learn a world model of the environment, and use synthetic data for policy training. While successful in prior works, we argue that this is sub-optimal due to additional distribution shifts between the learned model and the real environment. Instead, we re-frame imitation learning as a fine-tuning problem, rather than a pure reinforcement learning one. Drawing theoretical connections to offline RL and fine-tuning algorithms, we argue that standard online world model algorithms are not well suited to the imitation learning problem. We derive a principled conservative optimization bound and demonstrate empirically that it leads to improved performance on two very challenging manipulation environments from high-dimensional raw pixel observations. We set a new state-of-the-art performance on the Franka Kitchen environment from images, requiring only 10 demos on no reward labels, as well as solving a complex dexterity manipulation task.


title: KPConvX: Modernizing Kernel Point Convolution with Kernel Attention

abstract: In the field of deep point cloud understanding, KPConv is a unique architecture that uses kernel points to locate convolutional weights in space, instead of relying on Multi-Layer Perceptron (MLP) encodings. While it initially achieved success, it has since been surpassed by recent MLP networks that employ updated designs and training strategies. Building upon the kernel point principle, we present two novel designs: KPConvD (depthwise KPConv), a lighter design that enables the use of deeper architectures, and KPConvX, an innovative design that scales the depthwise convolutional weights of KPConvD with kernel attention values. Using KPConvX with a modern architecture and training strategy, we are able to outperform current state-of-the-art approaches on the ScanObjectNN, Scannetv2, and S3DIS datasets. We validate our design choices through ablation studies and release our code and models.


title: CamViG: Camera Aware Image-to-Video Generation with Multimodal Transformers

abstract: We extend multimodal transformers to include 3D camera motion as a conditioning signal for the task of video generation. Generative video models are becoming increasingly powerful, thus focusing research efforts on methods of controlling the output of such models. We propose to add virtual 3D camera controls to generative video methods by conditioning generated video on an encoding of three-dimensional camera movement over the course of the generated video. Results demonstrate that we are (1) able to successfully control the camera during video generation, starting from a single frame and a camera signal, and (2) we demonstrate the accuracy of the generated 3D camera paths using traditional computer vision methods.


title: Practical and efficient quantum circuit synthesis and transpiling with Reinforcement Learning

abstract: This paper demonstrates the integration of Reinforcement Learning (RL) into quantum transpiling workflows, significantly enhancing the synthesis and routing of quantum circuits. By employing RL, we achieve near-optimal synthesis of Linear Function, Clifford, and Permutation circuits, up to 9, 11 and 65 qubits respectively, while being compatible with native device instruction sets and connectivity constraints, and orders of magnitude faster than optimization methods such as SAT solvers. We also achieve significant reductions in two-qubit gate depth and count for circuit routing up to 133 qubits with respect to other routing heuristics such as SABRE. We find the method to be efficient enough to be useful in practice in typical quantum transpiling pipelines. Our results set the stage for further AI-powered enhancements of quantum computing workflows.


title: Global-Local Detail Guided Transformer for Sea Ice Recognition in Optical Remote Sensing Images

abstract: The recognition of sea ice is of great significance for reflecting climate change and ensuring the safety of ship navigation. Recently, many deep learning based methods have been proposed and applied to segment and recognize sea ice regions. However, the diverse scales of sea ice areas, the zigzag and fine edge contours, and the difficulty in distinguishing different types of sea ice pose challenges to existing sea ice recognition models. In this paper, a Global-Local Detail Guided Transformer (GDGT) method is proposed for sea ice recognition in optical remote sensing images. In GDGT, a global-local feature fusiont mechanism is designed to fuse global structural correlation features and local spatial detail features. Furthermore, a detail-guided decoder is developed to retain more high-resolution detail information during feature reconstruction for improving the performance of sea ice recognition. Experiments on the produced sea ice dataset demonstrated the effectiveness and advancement of GDGT.


title: Destabilizing Matter through a Long-Range Force

abstract: We consider a long-range force, mediated by an ultralight scalar, which can give rise to violation of baryon number. This would lead to very different lifetimes for nucleons in different astrophysical environments. Possible signals of this scenario include a flux of O(10 MeV) solar neutrinos or anomalous heating of old neutron stars; we find the latter to yield the strongest current bounds, which could be improved in the coming years. The ultralight scalar employed here can potentially be a good dark matter candidate.


title: TauAD: MRI-free Tau Anomaly Detection in PET Imaging via Conditioned Diffusion Models

abstract: The emergence of tau PET imaging over the last decade has enabled Alzheimer's disease (AD) researchers to examine tau pathology in vivo and more effectively characterize the disease trajectories of AD. Current tau PET analysis methods, however, typically perform inferences on large cortical ROIs and are limited in the detection of localized tau pathology that varies across subjects. Furthermore, a high-resolution MRI is required to carry out conventional tau PET analysis, which is not commonly acquired in clinical practices and may not be acquired for many elderly patients with dementia due to strong motion artifacts, claustrophobia, or certain metal implants. In this work, we propose a novel conditional diffusion model to perform MRI-free anomaly detection from tau PET imaging data. By including individualized conditions and two complementary loss maps from pseudo-healthy and pseudo-unhealthy reconstructions, our model computes an anomaly map across the entire brain area that allows simply training a support vector machine (SVM) for classifying disease severity. We train our model on ADNI subjects (n=534) and evaluate its performance on a separate dataset from the preclinical subjects of the A4 clinical trial (n=447). We demonstrate that our method outperforms baseline generative models and the conventional Z-score-based method in anomaly localization without mis-detecting off-target bindings in sub-cortical and out-of-brain areas. By classifying the A4 subjects according to their anomaly map using the SVM trained on ADNI data, we show that our method can successfully group preclinical subjects with significantly different cognitive functions, which further demonstrates the effectiveness of our method in capturing biologically relevant anomaly in tau PET imaging.


title: Quantum Gravity Corrections to the inflationary spectrum in a Bohmian approach

abstract: A precise interpretation of the Universe wave function is forbidden in the spirit of the Copenhagen School since a precise notion of measure operation cannot be satisfactorily defined. Here we propose a Bohmian interpretation of the isotropic Universe quantum dynamics, in which the Hamilton-Jacobi equation is restated by including quantum corrections, which lead to a classical trajectory containing effects of order $\hbar^2$. This solution is then used to determine the spectrum of gauge-invariant quantum fluctuations living on the obtained background model. The analysis is performed adopting the wave function approach to describe the fluctuation dynamics, which gives a time-dependent harmonic oscillator for each Fourier mode and whose frequency is affected by the $\hbar^2$ corrections. The properties of the emerging spectrum are discussed, outlining the modification induced with respect to the scale-invariant result and the hierarchy of the spectral index running is discussed.


title: The Simons Observatory: Combining delensing and foreground cleaning for improved constraints on inflation

abstract: The Simons Observatory (SO), a next-generation ground-based CMB experiment in its final stages of construction, will target primordial $B$-modes with unprecedented sensitivity to set tight bounds on the amplitude of inflationary gravitational waves. Aiming to infer the tensor-to-scalar ratio $r$ with precision $\sigma(r=0) \leq 0.003$, SO will rely on powerful component-separation algorithms to distinguish the faint primordial signal from stronger sources of large-scale $B$-modes such as Galactic foregrounds and weak gravitational lensing. We present an analysis pipeline that performs delensing and foreground cleaning simultaneously by including multifrequency CMB data and a lensing $B$-mode template in a power-spectrum-based likelihood. Here, we demonstrate this algorithm on masked SO-like simulations containing inhomogeneous noise and non-Gaussian foregrounds. The lensing convergence is reconstructed from high-resolution simulations of the CMB and external mass tracers. Using optimized pixel weights for power spectrum estimation, the target precision for SO's nominal design is achieved and delensing reduces $\sigma(r)$ by 27-37%, depending on foreground complexity.


title: Empowering Urban Traffic Management: Elevated 3D LiDAR for Data Collection and Advanced Object Detection Analysis

abstract: The 3D object detection capabilities in urban environments have been enormously improved by recent developments in Light Detection and Range (LiDAR) technology. This paper presents a novel framework that transforms the detection and analysis of 3D objects in traffic scenarios by utilizing the power of elevated LiDAR sensors. We are presenting our methodology's remarkable capacity to collect complex 3D point cloud data, which allows us to accurately and in detail capture the dynamics of urban traffic. Due to the limitation in obtaining real-world traffic datasets, we utilize the simulator to generate 3D point cloud for specific scenarios. To support our experimental analysis, we firstly simulate various 3D point cloud traffic-related objects. Then, we use this dataset as a basis for training and evaluating our 3D object detection models, in identifying and monitoring both vehicles and pedestrians in simulated urban traffic environments. Next, we fine tune the Point Voxel-Region-based Convolutional Neural Network (PV-RCNN) architecture, making it more suited to handle and understand the massive volumes of point cloud data generated by our urban traffic simulations. Our results show the effectiveness of the proposed solution in accurately detecting objects in traffic scenes and highlight the role of LiDAR in improving urban safety and advancing intelligent transportation systems.


title: Modeling Real-Time Interactive Conversations as Timed Diarized Transcripts

abstract: Chatbots built upon language models have exploded in popularity, but they have largely been limited to synchronous, turn-by-turn dialogues. In this paper we present a simple yet general method to simulate real-time interactive conversations using pretrained text-only language models, by modeling timed diarized transcripts and decoding them with causal rejection sampling. We demonstrate the promise of this method with two case studies: instant messenger dialogues and spoken conversations, which require generation at about 30 tok/s and 20 tok/s respectively to maintain real-time interactivity. These capabilities can be added into language models using relatively little data and run on commodity hardware.


title: BeadSight: An Inexpensive Tactile Sensor Using Hydro-Gel Beads

abstract: In robotic manipulation, tactile sensors are indispensable, especially when dealing with soft objects, objects of varying dimensions, or those out of the robot's direct line of sight. Traditional tactile sensors often grapple with challenges related to cost and durability. To address these issues, our study introduces a novel approach to visuo-tactile sensing with an emphasis on economy and replacablity. Our proposed sensor, BeadSight, uses hydro-gel beads encased in a vinyl bag as an economical, easily replaceable sensing medium. When the sensor makes contact with a surface, the deformation of the hydrogel beads is observed using a rear camera. This observation is then passed through a U-net Neural Network to predict the forces acting on the surface of the bead bag, in the form of a pressure map. Our results show that the sensor can accurately predict these pressure maps, detecting the location and magnitude of forces applied to the surface. These abilities make BeadSight an effective, inexpensive, and easily replaceable tactile sensor, ideal for many robotics applications.


title: Multi-Agent Reinforcement Learning with Hierarchical Coordination for Emergency Responder Stationing

abstract: An emergency responder management (ERM) system dispatches responders, such as ambulances, when it receives requests for medical aid. ERM systems can also proactively reposition responders between predesignated waiting locations to cover any gaps that arise due to the prior dispatch of responders or significant changes in the distribution of anticipated requests. Optimal repositioning is computationally challenging due to the exponential number of ways to allocate responders between locations and the uncertainty in future requests. The state-of-the-art approach in proactive repositioning is a hierarchical approach based on spatial decomposition and online Monte Carlo tree search, which may require minutes of computation for each decision in a domain where seconds can save lives. We address the issue of long decision times by introducing a novel reinforcement learning (RL) approach, based on the same hierarchical decomposition, but replacing online search with learning. To address the computational challenges posed by large, variable-dimensional, and discrete state and action spaces, we propose: (1) actor-critic based agents that incorporate transformers to handle variable-dimensional states and actions, (2) projections to fixed-dimensional observations to handle complex states, and (3) combinatorial techniques to map continuous actions to discrete allocations. We evaluate our approach using real-world data from two U.S. cities, Nashville, TN and Seattle, WA. Our experiments show that compared to the state of the art, our approach reduces computation time per decision by three orders of magnitude, while also slightly reducing average ambulance response time by 5 seconds.


title: Identity-free Artificial Emotional Intelligence via Micro-Gesture Understanding

abstract: In this work, we focus on a special group of human body language -- the micro-gesture (MG), which differs from the range of ordinary illustrative gestures in that they are not intentional behaviors performed to convey information to others, but rather unintentional behaviors driven by inner feelings. This characteristic introduces two novel challenges regarding micro-gestures that are worth rethinking. The first is whether strategies designed for other action recognition are entirely applicable to micro-gestures. The second is whether micro-gestures, as supplementary data, can provide additional insights for emotional understanding. In recognizing micro-gestures, we explored various augmentation strategies that take into account the subtle spatial and brief temporal characteristics of micro-gestures, often accompanied by repetitiveness, to determine more suitable augmentation methods. Considering the significance of temporal domain information for micro-gestures, we introduce a simple and efficient plug-and-play spatiotemporal balancing fusion method. We not only studied our method on the considered micro-gesture dataset but also conducted experiments on mainstream action datasets. The results show that our approach performs well in micro-gesture recognition and on other datasets, achieving state-of-the-art performance compared to previous micro-gesture recognition methods. For emotional understanding based on micro-gestures, we construct complex emotional reasoning scenarios. Our evaluation, conducted with large language models, shows that micro-gestures play a significant and positive role in enhancing comprehensive emotional understanding. The scenarios we developed can be extended to other micro-gesture-based tasks such as deception detection and interviews. We confirm that our new insights contribute to advancing research in micro-gesture and emotional artificial intelligence.


title: Dielectric and energy-storage properties of Ba0.85Ca0.15Zr0.10Ti0.90O3 ceramics with BaO-Na2O-Nb2O5-WO3-P2O5 glass addition

abstract: Lead-free Ba0.85Ca0.15Zr0.10Ti0.90O3 (BCZT) ceramics with different BaO-Na2O-Nb2O5-WO3-P2O5 (BNNWP) glass content, forming (1-x)BCZT-xBNNWP lead-free ceramics (abbreviated as BCZTx; x=0, 2, 4, 6, and 8wt%) were synthesized using the conventional solid-state processing route. The XRD investigation shows the coexistence of tetragonal and orthorhombic phases in BCZT pure. Likewise, only the tetragonal phase was detected in BCZTx (x = 2-8 wt%) ceramics. The SEM findings indicate that the average grain size decreases as the amount of BNNWP glass additives increases. In addition, BCZT ceramics Amodified with glass additions showed narrower hysteresis loops and a large electric field. The BCZT4 showed the highest recovered energy density of 0.52 J/cm3 at 135kV/cm with an energy storage efficiency of 62.4%, which is increased by 6.6 compared to BCZT0 (0.075 J/cm3). The energy density was also calculated using the Landau-Ginzburg-Devonshire (LGD) theory


title: Fundamental physics with the Lyman-alpha forest: constraints on the growth of structure and neutrino masses from SDSS with effective field theory

abstract: We present an effective field theory (EFT) approach to extract fundamental cosmological parameters from the Lyman-alpha forest flux fluctuations as an alternative to the standard simulation-based techniques. As a first application, we re-analyze the publicly available one-dimensional Lyman-alpha flux power spectrum (FPS) data from the Sloan Digital Sky Survey (SDSS). Our analysis relies on informative priors on EFT parameters which we extract from a combination of public hydrodynamic simulation and emulator data. Assuming the concordance cosmological model, our one-parameter analysis yields a $2\%$ measurement of the late time mass fluctuation amplitude $\sigma_8 = 0.841\pm 0.017$, or equivalently,the structure growth parameter $S_8 = 0.852\pm 0.017$, consistent with the standard cosmology. Combining our EFT likelihood with Planck + baryon acoustic oscillation data, we find a new constraint on the total neutrino mass, $\sum m_\nu<$ 0.08 eV (at 95\% CL). Our study defines priorities for the development of EFT methods and sets the benchmark for cosmological analyses of the Lyman-alpha forest data from the Dark Energy Spectroscopic Instrument.


title: Investigating Symbolic Capabilities of Large Language Models

abstract: Prompting techniques have significantly enhanced the capabilities of Large Language Models (LLMs) across various complex tasks, including reasoning, planning, and solving math word problems. However, most research has predominantly focused on language-based reasoning and word problems, often overlooking the potential of LLMs in handling symbol-based calculations and reasoning. This study aims to bridge this gap by rigorously evaluating LLMs on a series of symbolic tasks, such as addition, multiplication, modulus arithmetic, numerical precision, and symbolic counting. Our analysis encompasses eight LLMs, including four enterprise-grade and four open-source models, of which three have been pre-trained on mathematical tasks. The assessment framework is anchored in Chomsky's Hierarchy, providing a robust measure of the computational abilities of these models. The evaluation employs minimally explained prompts alongside the zero-shot Chain of Thoughts technique, allowing models to navigate the solution process autonomously. The findings reveal a significant decline in LLMs' performance on context-free and context-sensitive symbolic tasks as the complexity, represented by the number of symbols, increases. Notably, even the fine-tuned GPT3.5 exhibits only marginal improvements, mirroring the performance trends observed in other models. Across the board, all models demonstrated a limited generalization ability on these symbol-intensive tasks. This research underscores LLMs' challenges with increasing symbolic complexity and highlights the need for specialized training, memory and architectural adjustments to enhance their proficiency in symbol-based reasoning tasks.


title: Magnetic black hole thermodynamics in an extended phase space with nonlinear electrodynamics

abstract: We study Einstein's gravity coupled to nonlinear electrodynamics with two parameters in Anti-de Sitter spacetime. Magnetically charged black holes in an extended phase space is investigated. We obtain the mass and metric functions, their asymptotic and corrections to the Reissner--Nordstr\"{o}m metric function when the cosmological constant vanishes. The first law of black hole thermodynamics in extended phase space is formulated and the magnetic potential and the thermodynamic conjugate to the coupling are obtained. We proved the generalized Smarr relation. The heat capacity and the Gibbs free energy are computed and phase transitions are studied. It was shown that the electric field of charged objects at the origin and electrostatic self-energy are finite within the nonlinear electrodynamics proposed.


title: Detecting the Neutrino Gravitational Wave Memory from Core-Collapse Supernovae using the Moon

abstract: Following the milestone of detecting gravitational waves (GWs) from merging compact binaries, the next significant watershed moment in GW astronomy lies in detecting GWs from core-collapse supernovae (CCSNe). In this Letter, I describe the possibility of detecting the GW linear memory -- a phenomenon resulting from a combination of aspherical matter ejection and anisotropic neutrino emission during stellar collapse -- using GW detectors on the Moon. This would grant unprecedented access to the sub-Hz/Hz GW frequency range, which is inaccessible to both current and future terrestrial GW detectors. I demonstrate that three-dimensional CCSNe GW waveforms may be detectable by both seismometer and interferometeric lunar GW detectors, with the latter design proposal extending 10 kpc to megaparsec detection distances.


title: Partial actions of inverse categories and their algebras

abstract: In this work we introduce partial and global actions of inverse categories on posets in two variants, fibred actions and actions by symmetries. We study in detail actions of an inverse category $\mathcal{C}$ on specific subposets of the poset of finite subsets of $\mathcal{C}$, the Bernoulli actions. We show that to each fibred action of an inverse category on a poset there corresponds another inverse category, the semidirect product associated to the action. The Bernoulli actions give rise to the Szendrei expansions of $\mathcal{C}$, which define a endofunctor of the category of inverse categories. We extend the concept of enlargement from inverse semigroup theory to, and we show that if $\mathcal{D}$ is an enlargement of $\mathcal{C}$ then their Cauchy completions are equivalent categories; in particular, some pairs corresponding to partial and global Bernoulli actions are enlargements. We conclude by studying convolution algebras of finite inverse categories and showing that if $\mathcal{D}$ is an enlargement of $\mathcal{C}$ then their convolution algebras are Morita equivalent. Furthermore, using Kan extensions we also analyze the infinite case.


title: Low-energy pathways lead to self-healing defects in CsPbBr$_3$

abstract: Self-regulation of free charge carriers in perovskites via Schottky defect formation has been posited as the origin of the well-known defect tolerance of metal halide perovskite materials that are promising candidates for photovoltaic applications, like solar cells. Understanding the mechanisms of self-regulation, here for a representative of more commercially viable all-inorganic perovskites, promises to lead to the fabrication of better-performing solar cell materials with higher efficiencies. We investigated different mechanisms and pathways of the diffusion and recombination of interstitials and vacancies (Schottky pairs) in CsPbBr$_3$. We use Nudged Elastic Band calculations and ab initio-derived pseudopotentials within Quantum ESPRESSO to determine energies of formation, migration, and activation for these defects. Our calculations uncover defect pathways capable of producing an activation energy at or below the value of 0.53~eV observed for the slow, temperature-dependent recovery of light-induced conductivity in CsPbBr$_3$. Our work reveals the existence of a low-energy diffusion pathway involving a concerted "domino effect" interstitial mechanism, with the net result that interstitials can diffuse more readily over long distances than expected. Importantly, this observation suggests that defect self-healing can be promoted if the "domino effect" strategy can be engaged.


title: Multi-Frequency Progressive Refinement for Learned Inverse Scattering

abstract: Interpreting scattered acoustic and electromagnetic wave patterns is a computational task that enables remote imaging in a number of important applications, including medical imaging, geophysical exploration, sonar and radar detection, and nondestructive testing of materials. However, accurately and stably recovering an inhomogeneous medium from far-field scattered wave measurements is a computationally difficult problem, due to the nonlinear and non-local nature of the forward scattering process. We design a neural network, called Multi-Frequency Inverse Scattering Network (MFISNet), and a training method to approximate the inverse map from far-field scattered wave measurements at multiple frequencies. We consider three variants of MFISNet, with the strongest performing variant inspired by the recursive linearization method -- a commonly used technique for stably inverting scattered wavefield data -- that progressively refines the estimate with higher frequency content.


title: Role of stacking defects on the magnetic behavior of CrCl$_3$

abstract: In the study of van der Waals-layered magnetic materials, the properties of CrCl$_3$ continue to attract attention. This compound is reported to undergo antiferromagnetic (AFM) ordering below $\sim$14 K, with a ferromagneticlike region proposed to exist between 14 and 17 K. Ideally, the crystal structure is rhombohedral (R) below $\sim$235 K, separated from a higher-temperature monoclinic (M) phase by a layer-sliding structural phase transition. However, the structural transition is often inhibited even in bulk single crystals, allowing M-type layer stacking, reported to have a tenfold greater interlayer magnetic coupling than R-type stacking, to be present at low temperature. To clarify the effect of stacking defects on CrCl$_3$, we report magnetization measurements on samples of varying crystalline quality. At low applied magnetic field, some crystals predominantly show the $T_N=14$ K peak, but other crystals show hysteretic behavior and a magnetization enhancement at a slightly higher temperature ($14 < T \lesssim 17$ K.) Samples with anomalous behavior exhibit a transition around $\sim$2 T in isothermal magnetization-field data, providing evidence that M-type stacking defects are the source of these anomalies. Ground powder samples are especially likely to show strongly anomalous behavior. We suggest that the anomalous behavior arises from few-layer magnetic domains that form just above $T_N$ in an environment of mixed interlayer magnetic coupling strength. We argue that the influence of M-type stacking boundaries on sublattice magnetization is already observable in reported neutron scattering data, and may be responsible for a certain feature in reported specific heat data.


title: Equipping Transformer with Random-Access Reading for Long-Context Understanding

abstract: Long-context modeling presents a significant challenge for transformer-based large language models (LLMs) due to the quadratic complexity of the self-attention mechanism and issues with length extrapolation caused by pretraining exclusively on short inputs. Existing methods address computational complexity through techniques such as text chunking, the kernel approach, and structured attention, and tackle length extrapolation problems through positional encoding, continued pretraining, and data engineering. These approaches typically require $\textbf{sequential access}$ to the document, necessitating reading from the first to the last token. We contend that for goal-oriented reading of long documents, such sequential access is not necessary, and a proficiently trained model can learn to omit hundreds of less pertinent tokens. Inspired by human reading behaviors and existing empirical observations, we propose $\textbf{random access}$, a novel reading strategy that enables transformers to efficiently process long documents without examining every token. Experimental results from pretraining, fine-tuning, and inference phases validate the efficacy of our method.


title: Interactive Simulations of Backdoors in Neural Networks

abstract: This work addresses the problem of planting and defending cryptographic-based backdoors in artificial intelligence (AI) models. The motivation comes from our lack of understanding and the implications of using cryptographic techniques for planting undetectable backdoors under theoretical assumptions in the large AI model systems deployed in practice. Our approach is based on designing a web-based simulation playground that enables planting, activating, and defending cryptographic backdoors in neural networks (NN). Simulations of planting and activating backdoors are enabled for two scenarios: in the extension of NN model architecture to support digital signature verification and in the modified architectural block for non-linear operators. Simulations of backdoor defense against backdoors are available based on proximity analysis and provide a playground for a game of planting and defending against backdoors. The simulations are available at https://pages.nist.gov/nn-calculator


title: Computational Tradeoffs in Image Synthesis: Diffusion, Masked-Token, and Next-Token Prediction

abstract: Nearly every recent image synthesis approach, including diffusion, masked-token prediction, and next-token prediction, uses a Transformer network architecture. Despite this common backbone, there has been no direct, compute controlled comparison of how these approaches affect performance and efficiency. We analyze the scalability of each approach through the lens of compute budget measured in FLOPs. We find that token prediction methods, led by next-token prediction, significantly outperform diffusion on prompt following. On image quality, while next-token prediction initially performs better, scaling trends suggest it is eventually matched by diffusion. We compare the inference compute efficiency of each approach and find that next token prediction is by far the most efficient. Based on our findings we recommend diffusion for applications targeting image quality and low latency; and next-token prediction when prompt following or throughput is more important.


title: How Reliable AI Chatbots are for Disease Prediction from Patient Complaints?

abstract: Artificial Intelligence (AI) chatbots leveraging Large Language Models (LLMs) are gaining traction in healthcare for their potential to automate patient interactions and aid clinical decision-making. This study examines the reliability of AI chatbots, specifically GPT 4.0, Claude 3 Opus, and Gemini Ultra 1.0, in predicting diseases from patient complaints in the emergency department. The methodology includes few-shot learning techniques to evaluate the chatbots' effectiveness in disease prediction. We also fine-tune the transformer-based model BERT and compare its performance with the AI chatbots. Results suggest that GPT 4.0 achieves high accuracy with increased few-shot data, while Gemini Ultra 1.0 performs well with fewer examples, and Claude 3 Opus maintains consistent performance. BERT's performance, however, is lower than all the chatbots, indicating limitations due to limited labeled data. Despite the chatbots' varying accuracy, none of them are sufficiently reliable for critical medical decision-making, underscoring the need for rigorous validation and human oversight. This study reflects that while AI chatbots have potential in healthcare, they should complement, not replace, human expertise to ensure patient safety. Further refinement and research are needed to improve AI-based healthcare applications' reliability for disease prediction.


title: Paired Autoencoders for Inverse Problems

abstract: We consider the solution of nonlinear inverse problems where the forward problem is a discretization of a partial differential equation. Such problems are notoriously difficult to solve in practice and require minimizing a combination of a data-fit term and a regularization term. The main computational bottleneck of typical algorithms is the direct estimation of the data misfit. Therefore, likelihood-free approaches have become appealing alternatives. Nonetheless, difficulties in generalization and limitations in accuracy have hindered their broader utility and applicability. In this work, we use a paired autoencoder framework as a likelihood-free estimator for inverse problems. We show that the use of such an architecture allows us to construct a solution efficiently and to overcome some known open problems when using likelihood-free estimators. In particular, our framework can assess the quality of the solution and improve on it if needed. We demonstrate the viability of our approach using examples from full waveform inversion and inverse electromagnetic imaging.


title: Backreaction from quantum fluxes at the Kerr inner horizon

abstract: Black holes modeled by the Kerr metric are not semiclassically self-consistent at or below the inner horizon. The renormalized stress-energy tensor (RSET) of a scalar quantum field in the Unruh state has been found to diverge at the Kerr inner horizon, causing the geometry to backreact in a non-trivial way. In an effort to understand this backreaction, here the inner-horizon RSET is computed for the full physically relevant parameter space of black hole spins $a$ and polar angles $\theta$. Then, the backreaction is analyzed using a framework for the dynamical behavior of mass inflation from continued accretion. It is shown that the initial backreaction from the RSET does not evolve the spacetime toward any known regular or extremal configuration, but instead it brings the local interior geometry toward a chaotic, spacelike singularity, classically stable over astrophysical timescales.


title: Global existence and blow-up of solutions to pseudo-parabolic equation for Baouendi-Grushin operator

abstract: In this note, we study a global existence and blow-up of the positive solutions to the initial-boundary value problem of the nonlinear pseudo-parabolic equation for the Baouendi-Grushin operator. The approach is based on the concavity argument and the Poincar\'e inequality related to the Baouendi-Grushin operator from [24], inspired by the recent work [21].


title: Towards a refinement of the Bloch-Kato conjecture

abstract: Rost and Voevodsky proved the Bloch-Kato conjecture relating Milnor $k$-theory and Galois cohomology. Their result implies that for a field $F$ containing a primitive $p$th root of unity, the Galois cohomology ring of $F$ with $\mathbb{F}_p$ coefficients is generated by elements of degree 1 as an $\mathbb{F}_p$-algebra. Therefore, for a given Galois extension $K/F$ and an element $\alpha$ in $H^*(\text{Gal}(K/F), \mathbb{F}_p)$ there exits a Galois extension $L/F$ containing $K/F$ such that the inflation of $\alpha$ in $H^*(\text{Gal}(L/F), \mathbb{F}_p)$ belongs to an $\mathbb{F}_p$-subalgebra of $H^*(\text{Gal}(L/F), \mathbb{F}_p)$ generated by $1$-dimensional classes. It is interesting to find relatively small explicit Galois extensions $L/F$ with the above property for a given $\alpha$ in $H^*(\text{Gal}(K/F), \mathbb{F}_p)$ as above. In this paper, we provide some answers to this question for cohomology classes in degree two, thus setting the first step toward refining the Bloch-Kato conjecture. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean and $p$-rigid fields. Additionally, as a byproduct of our work, we characterize elementary abelian $2$-groups as the only finite $p$-groups whose mod-$p$ cohomology ring is generated by degree-one elements. This provides additional motivation for studying refinements of the Bloch-Kato conjecture and exploring the connections between group cohomology and Galois theory.


title: Integrating behavioral experimental findings into dynamical models to inform social change interventions

abstract: Addressing global challenges -- from public health to climate change -- often involves stimulating the large-scale adoption of new products or behaviors. Research traditions that focus on individual decision making suggest that achieving this objective requires better identifying the drivers of individual adoption choices. On the other hand, computational approaches rooted in complexity science focus on maximizing the propagation of a given product or behavior throughout social networks of interconnected adopters. The integration of these two perspectives -- although advocated by several research communities -- has remained elusive so far. Here we show how achieving this integration could inform seeding policies to facilitate the large-scale adoption of a given behavior or product. Drawing on complex contagion and discrete choice theories, we propose a method to estimate individual-level thresholds to adoption, and validate its predictive power in two choice experiments. By integrating the estimated thresholds into computational simulations, we show that state-of-the-art seeding methods for social influence maximization might be suboptimal if they neglect individual-level behavioral drivers, which can be corrected through the proposed experimental method.


title: Global existence and blow-up of solutions to porous medium equation for Baouendi-Grushin operator

abstract: In this note, we show a global existence and blow-up of the positive solutions to the initial-boundary value problem of the nonlinear porous medium equation related to Baouendi-Grushin operator. Our approach is based on the concavity argument and the Poincar\'e inequality for Baouendi-Grushin vector fields from [35], inspired by the recent works [28] and [29].


title: Dataset Decomposition: Faster LLM Training with Variable Sequence Length Curriculum

abstract: Large language models (LLMs) are commonly trained on datasets consisting of fixed-length token sequences. These datasets are created by randomly concatenating documents of various lengths and then chunking them into sequences of a predetermined target length. However, this method of concatenation can lead to cross-document attention within a sequence, which is neither a desirable learning signal nor computationally efficient. Additionally, training on long sequences becomes computationally prohibitive due to the quadratic cost of attention. In this study, we introduce dataset decomposition, a novel variable sequence length training technique, to tackle these challenges. We decompose a dataset into a union of buckets, each containing sequences of the same size extracted from a unique document. During training, we use variable sequence length and batch size, sampling simultaneously from all buckets with a curriculum. In contrast to the concat-and-chunk baseline, which incurs a fixed attention cost at every step of training, our proposed method incurs a penalty proportional to the actual document lengths at each step, resulting in significant savings in training time. We train an 8k context-length 1B model at the same cost as a 2k context-length model trained with the baseline approach. Experiments on a web-scale corpus demonstrate that our approach significantly enhances performance on standard language evaluations and long-context benchmarks, reaching target accuracy 3x faster compared to the baseline. Our method not only enables efficient pretraining on long sequences but also scales effectively with dataset size. Lastly, we shed light on a critical yet less studied aspect of training large language models: the distribution and curriculum of sequence lengths, which results in a non-negligible difference in performance.


title: A rapid approach to urban traffic noise mapping with a generative adversarial network

abstract: With rapid urbanisation and the accompanying increase in traffic density, traffic noise has become a major concern in urban planning. However, traditional grid noise mapping methods have limitations in terms of time consumption, software costs, and a lack of parameter integration interfaces. These limitations hinder their ability to meet the need for iterative updates and rapid performance feedback in the early design stages of street-scale urban planning. Herein, we developed a rapid urban traffic noise mapping technique that leverages generative adversarial networks (GANs) as a surrogate model. This approach enables the rapid assessment of urban traffic noise distribution by using urban elements such as roads and buildings as the input. The mean values for the mean squared error (MSE) and structural similarity index (SSIM) are 0.0949 and 0.8528, respectively, for the validation dataset. Hence, our prediction accuracy is on par with that of conventional prediction software. Furthermore, the trained model is integrated into Grasshopper as a tool, facilitating the rapid generation of traffic noise maps. This integration allows urban designers and planners, even those without expertise in acoustics, to easily anticipate changes in acoustics impacts caused by design.


title: Preservation of Topological Surface States in Millimeter-Scale Transferred Membranes

abstract: Ultrathin topological insulator membranes are building blocks of exotic quantum matter. However, traditional epitaxy of these materials does not facilitate stacking in arbitrary orders, while mechanical exfoliation from bulk crystals is also challenging due to the non-negligible interlayer coupling therein. Here we liberate millimeter-scale films of topological insulator Bi$_2$Se$_3$, grown by molecular beam epitaxy, down to 3 quintuple layers. We characterize the preservation of the topological surface states and quantum well states in transferred Bi$_{2}$Se$_{3}$ films using angle-resolved photoemission spectroscopy. Leveraging the photon-energy-dependent surface sensitivity, the photoemission spectra taken with $6$ eV and $21.2$ eV photons reveal a transfer-induced migration of the topological surface states from the top to the inner layers. By establishing clear electronic structures of the transferred films and unveiling the wavefunction relocation of the topological surface states, our work paves the physics foundation crucial for the future fabrication of artificially stacked topological materials with single-layer precision.


title: Transfer Learning Approach for Railway Technical Map (RTM) Component Identification

abstract: The extreme popularity over the years for railway transportation urges the necessity to maintain efficient railway management systems around the globe. Even though, at present, there exist a large collection of Computer Aided Designed Railway Technical Maps (RTMs) but available only in the portable document format (PDF). Using Deep Learning and Optical Character Recognition techniques, this research work proposes a generic system to digitize the relevant map component data from a given input image and create a formatted text file per image. Out of YOLOv3, SSD and Faster-RCNN object detection models used, Faster-RCNN yields the highest mean Average Precision (mAP) and the highest F1 score values 0.68 and 0.76 respectively. Further it is proven from the results obtained that, one can improve the results with OCR when the text containing image is being sent through a sophisticated pre-processing pipeline to remove distortions.


title: $q$-Analogs of divisible design graphs and Deza graphs

abstract: Divisible design graphs were introduced in 2011 by Haemers, Kharaghani and Meulenberg. In this paper, we introduce the notion of $q$-analogs of divisible design graphs and show that all $q$-analogs of divisible design graphs come from spreads, and are actually $q$-analogs of strongly regular graphs. Deza graphs were introduced by Erickson, Fernando, Haemers and Hardy in 1999. In this paper, we introduce $q$-analogs of Deza graphs. Further, we determine possible parameters, give examples of $q$-analogs of Deza graphs and characterize all non-strongly regular $q$-analogs of Deza graphs with the smallest parameters.


title: Multiple Realizability and the Rise of Deep Learning

abstract: The multiple realizability thesis holds that psychological states may be implemented in a diversity of physical systems. The deep learning revolution seems to be bringing this possibility to life, offering the most plausible examples of man-made realizations of sophisticated cognitive functions to date. This paper explores the implications of deep learning models for the multiple realizability thesis. Among other things, it challenges the widely held view that multiple realizability entails that the study of the mind can and must be pursued independently of the study of its implementation in the brain or in artificial analogues. Although its central contribution is philosophical, the paper has substantial methodological upshots for contemporary cognitive science, suggesting that deep neural networks may play a crucial role in formulating and evaluating hypotheses about cognition, even if they are interpreted as implementation-level models. In the age of deep learning, multiple realizability possesses a renewed significance.


title: A generative machine learning surrogate model of plasma turbulence

abstract: State-of-the-art techniques in generative artificial intelligence are employed for the first time to construct a surrogate model for plasma turbulence that enables long time transport simulations. The proposed GAIT (Generative Artificial Intelligence Turbulence) model is based on the coupling of a convolutional variational auto-encoder, that encodes precomputed turbulence data into a reduce latent space, and a deep neural network and decoder that generate new turbulence states 400 times faster than the direct numerical integration. The model is applied to the Hasegawa-Wakatani (HW) plasma turbulence model, that is closely related to the quasigeostrophic model used in geophysical fluid dynamics. Very good agreement is found between the GAIT and the HW models in the spatio-temporal Fourier and Proper Orthogonal Decomposition spectra as well as in the flow topology characterized by the Okubo-Weiss decomposition. Agreement is also found in the probability distribution function of particle displacements and the effective turbulent diffusivity.


title: MELD-ST: An Emotion-aware Speech Translation Dataset

abstract: Emotion plays a crucial role in human conversation. This paper underscores the significance of considering emotion in speech translation. We present the MELD-ST dataset for the emotion-aware speech translation task, comprising English-to-Japanese and English-to-German language pairs. Each language pair includes about 10,000 utterances annotated with emotion labels from the MELD dataset. Baseline experiments using the SeamlessM4T model on the dataset indicate that fine-tuning with emotion labels can enhance translation performance in some settings, highlighting the need for further research in emotion-aware speech translation systems.


title: Deep operator learning-based surrogate models for aerothermodynamic analysis of AEDC hypersonic waverider

abstract: Neural networks are universal approximators that traditionally have been used to learn a map between function inputs and outputs. However, recent research has demonstrated that deep neural networks can be used to approximate operators, learning function-to-function mappings. Creating surrogate models to supplement computationally expensive hypersonic aerothermodynamic models in characterizing the response of flow fields at different angles of attack (AoA) is an ideal application of neural operators. We investigate the use of neural operators to infer flow fields (volume and surface quantities) around a geometry based on a 3D waverider model based on experimental data measured at the Arnold Engineering Development Center (AEDC) Hypervelocity Wind Tunnel Number 9. We use a DeepONet neural operator which consists of two neural networks, commonly called a branch and a trunk network. The final output is the inner product of the output of the branch network and the output of the trunk net. Because the flow field contains shocks across the entire volume, we conduct a two-step training approach of the DeepONet that facilitates accurate approximation of solutions even in the presence of discontinuities. We train various DeepONet models to understand and predict pressure $(p)$, density $(\rho)$, velocity $(u)$, heat flux $(Q_w)$, and total shear stress $(\tau_{w})$ for the AEDC waverider geometry at Ma=7.36 across AoA that range from $-10^{\circ}$ to $10^{\circ}$ for surface quantities and from $-14^{\circ}$ to $14^{\circ}$ for volume quantities.


title: Geometric Transformation Uncertainty for Improving 3D Fetal Brain Pose Prediction from Freehand 2D Ultrasound Videos

abstract: Accurately localizing two-dimensional (2D) ultrasound (US) fetal brain images in the 3D brain, using minimal computational resources, is an important task for automated US analysis of fetal growth and development. We propose an uncertainty-aware deep learning model for automated 3D plane localization in 2D fetal brain images. Specifically, a multi-head network is trained to jointly regress 3D plane pose from 2D images in terms of different geometric transformations. The model explicitly learns to predict uncertainty to allocate higher weight to inputs with low variances across different transformations to improve performance. Our proposed method, QAERTS, demonstrates superior pose estimation accuracy than the state-of-the-art and most of the uncertainty-based approaches, leading to 9% improvement on plane angle (PA) for localization accuracy, and 8% on normalized cross-correlation (NCC) for sampled image quality. QAERTS also demonstrates efficiency, containing 5$\times$ fewer parameters than ensemble-based approach, making it advantageous in resource-constrained settings. In addition, QAERTS proves to be more robust to noise effects observed in freehand US scanning by leveraging rotational discontinuities and explicit output uncertainties.


title: Granular temperature controls local rheology of vibrated granular flows

abstract: We use numerical simulations to demonstrate a local rheology for sheared, vibrated granular flows. We consider a granular assembly that is subjected to simple shear and harmonic vibration at the boundary. This configuration allows us to isolate the effects of vibration, as parameterized by granular temperature. We find that friction is reduced due to local velocity fluctuations of grains. All data obey a local rheology that relates the material friction coefficient, the granular temperature, and the dimensionless shear rate. We also observe that reduction in material friction due to granular temperature is associated with reduction in fabric anisotropy. We demonstrate that the temperature can be modeled by a heat equation with dissipation with appropriate boundary conditions, which provides complete closure of the system and allows a fully local continuum description of sheared, vibrated granular flows. This success suggests local rheology based on temperature, as suggested previously, combined with the new, empirical heat diffusion equation may provide a general strategy for dense granular flows.


title: Spatial Matching of 2D Mammography Images and Specimen Radiographs: Towards Improved Characterization of Suspicious Microcalcifications

abstract: Accurate characterization of suspicious microcalcifications is critical to determine whether these calcifications are associated with invasive disease. Our overarching objective is to enable the joint characterization of microcalcifications and surrounding breast tissue using mammography images and digital histopathology images. Towards this goal, we investigate a template matching-based approach that utilizes microcalcifications as landmarks to match radiographs taken of biopsy core specimens to groups of calcifications that are visible on mammography. Our approach achieved a high negative predictive value (0.98) but modest precision (0.66) and recall (0.58) in identifying the mammographic region where microcalcifications were taken during a core needle biopsy.


title: Enhancing User Interest based on Stream Clustering and Memory Networks in Large-Scale Recommender Systems

abstract: Recommender Systems (RSs) provide personalized recommendation service based on user interest, which are widely used in various platforms. However, there are lots of users with sparse interest due to lacking consumption behaviors, which leads to poor recommendation results for them. This problem is widespread in large-scale RSs and is particularly difficult to address. To solve this problem, we propose a novel solution named User Interest Enhancement (UIE) which enhances user interest including user profile and user history behavior sequences using the enhancement vectors and personalized enhancement vector generated based on stream clustering and memory networks from different perspectives. UIE not only remarkably improves model performance on the users with sparse interest but also significantly enhance model performance on other users. UIE is an end-to-end solution which is easy to be implemented based on ranking model. Moreover, we expand our solution and apply similar methods to long-tail items, which also achieves excellent improvement. Furthermore, we conduct extensive offline and online experiments in a large-scale industrial RS. The results demonstrate that our model outperforms other models remarkably, especially for the users with sparse interest. Until now, UIE has been fully deployed in multiple large-scale RSs and achieved remarkable improvements.


title: Jump-Switch-Flow: hybrid stochastic-deterministic solutions of compartmental models

abstract: Many multi-scale systems exhibit stochastic and deterministic dynamics. Capturing these aspects in a compartmental model is challenging. Notably, low occupancy compartments exhibit stochastic dynamics and high occupancy compartments exhibit deterministic dynamics. Failing to account for stochasticity in small populations can produce 'atto-foxes', e.g. in the classic Lotka-Volterra ODE system. This can be resolved with discrete stochastic models e.g. continuous time Markov chains (CTMCs). Unfortunately, simulating CTMCs is infeasible for most realistic populations. We develop a hybrid CTMC-ODE approach, 'Jump-Switch-Flow' (JSF), available as a Python package. JSF couples CTMCs and ODEs, and depending on the state of the system, individual compartments 'switch' between stochastic 'jumping' and deterministic 'flowing' representations. Consequently, compartments can reach extinct states, thereby resolving atto-type problems. JSF has the desired behaviours of exact CTMC simulation, but is substantially faster that existing alternatives. JSF's value for inference problems, particularly multi-scale problems, is demonstrated with a case-study using a particle filter. With existing data of SARS-CoV-2 infections, we perform a novel analysis to quantify within-host viral clearance. JSF offers a novel approach to compartmental model development and simulation.


title: Quantum Hopfield Model with Dilute Memories

abstract: We discuss adiabatic spectra and dynamics of the quantum, i.e. transverse field, Hopfield model with dilute memories (the number of stored patterns $p < log_2 N$, where $N$ is the number of qubits). At some critical transverse field the model undergoes the quantum phase transition from the ordered to the paramagnetic state. The corresponding critical exponents are calculated and used to determine efficiency of quantum annealing protocols. We also discuss implications of these results for the quantum annealing of generic spin glass models.


title: Selecting Experimental Sites for External Validity

abstract: Policy decisions often depend on evidence generated elsewhere. We take a Bayesian decision-theoretic approach to choosing where to experiment to optimize external validity. We frame external validity through a policy lens, developing a prior specification for the joint distribution of site-level treatment effects using a microeconometric structural model and allowing for other sources of heterogeneity. With data from South Asia, we show that, relative to basing policies on experiments in optimal sites, large efficiency losses result from instead using evidence from randomly-selected sites or, conversely, from sites with the largest expected treatment effects.


title: Goals as Reward-Producing Programs

abstract: People are remarkably capable of generating their own goals, beginning with child's play and continuing into adulthood. Despite considerable empirical and computational work on goals and goal-oriented behavior, models are still far from capturing the richness of everyday human goals. Here, we bridge this gap by collecting a dataset of human-generated playful goals, modeling them as reward-producing programs, and generating novel human-like goals through program synthesis. Reward-producing programs capture the rich semantics of goals through symbolic operations that compose, add temporal constraints, and allow for program execution on behavioral traces to evaluate progress. To build a generative model of goals, we learn a fitness function over the infinite set of possible goal programs and sample novel goals with a quality-diversity algorithm. Human evaluators found that model-generated goals, when sampled from partitions of program space occupied by human examples, were indistinguishable from human-created games. We also discovered that our model's internal fitness scores predict games that are evaluated as more fun to play and more human-like.


title: A Novel Approach to Evaluating Battery Charger Controller Design with Nonlinear PID Controller in an Extendable CHIL Setup

abstract: The design and development of power electronics converters pose a multitude of challenges. The evaluation of power electronics converters, particularly when operating at high power levels, presents a significant task, offering designers a deeper understanding of the functionality. Several methodologies have been devised to conduct hardware-in-the-loop (HIL) tests, which are classified into two main categories: controller hardware-in-the-loop (CHIL) and power hardware-in-the-loop (PHIL) tests. This paper explores the advantages and drawbacks of these two approaches and introduces a straightforward and cost-effective CHIL method for initial proof of concept and risk-free controller training. This method is based on the interaction between MATLAB/Simulink and Python. To assess the operation of the proposed system, a modeled battery pack (96S1P) is charged using a modeled battery charger converter, employing a non-linear PID controller. In this scenario, the controller benefits from the CC-CV technique for charging the battery pack. The results are presented in the final section.


title: Quantum Software Ecosystem Design

abstract: The rapid advancements in quantum computing necessitate a scientific and rigorous approach to the construction of a corresponding software ecosystem, a topic underexplored and primed for systematic investigation. This chapter takes an important step in this direction: It presents scientific considerations essential for building a quantum software ecosystem that makes quantum computing available for scientific and industrial problem solving. Central to this discourse is the concept of hardware-software co-design, which fosters a bidirectional feedback loop from the application layer at the top of the software stack down to the hardware. This approach begins with compilers and low-level software that are specifically designed to align with the unique specifications and constraints of the quantum processor, proceeds with algorithms developed with a clear understanding of underlying hardware and computational model features, and extends to applications that effectively leverage the capabilities to achieve a quantum advantage. We analyze the ecosystem from two critical perspectives: the conceptual view, focusing on theoretical foundations, and the technical infrastructure, addressing practical implementations around real quantum devices necessary for a functional ecosystem. This approach ensures that the focus is towards promising applications with optimized algorithm-circuit synergy, while ensuring a user-friendly design, an effective data management and an overall orchestration. Our chapter thus offers a guide to the essential concepts and practical strategies necessary for developing a scientifically grounded quantum software ecosystem.


title: A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings

abstract: With large language models, robots can understand language more flexibly and more capable than ever before. This survey reviews and situates recent literature into a spectrum with two poles: 1) mapping between language and some manually defined formal representation of meaning, and 2) mapping between language and high-dimensional vector spaces that translate directly to low-level robot policy. Using a formal representation allows the meaning of the language to be precisely represented, limits the size of the learning problem, and leads to a framework for interpretability and formal safety guarantees. Methods that embed language and perceptual data into high-dimensional spaces avoid this manually specified symbolic structure and thus have the potential to be more general when fed enough data but require more data and computing to train. We discuss the benefits and tradeoffs of each approach and finish by providing directions for future work that achieves the best of both worlds.


title: A Search for Transient, Monochromatic Light in a 6-deg Swath along the Galactic Plane

abstract: We searched the Milky Way Plane along a 6-deg swath for pulses of monochromatic light as faint as 15th mag (V band) using a wide-field telescope equipped with a prism. Pulses with duration less than 1 second that occur more often than once every 10 minutes would be detected, and pulses arriving less frequently would be detected with proportionally lower probability. No unexplainable monochromatic emission, pulsed or continuous, was detected. The detection threshold corresponds to a 70 GW laser having a diffraction-limited 10-meter aperture located 1 kiloparsec away (depending on wavelength). Previous searches for laser emission from more than 5000 stars found none. Previous all-sky surveys at optical and radio wavelengths have revealed thousands of unexpected objects in the universe that exhibited extraordinary spectral emission, but none were technological. Hypotheses of our Milky Way Galaxy teeming with advanced life must be demoted.


title: Improving Earth-like planet detection in radial velocity using deep learning

abstract: Many novel methods have been proposed to mitigate stellar activity for exoplanet detection as the presence of stellar activity in radial velocity (RV) measurements is the current major limitation. Unlike traditional methods that model stellar activity in the RV domain, more methods are moving in the direction of disentangling stellar activity at the spectral level. The goal of this paper is to present a novel convolutional neural network-based algorithm that efficiently models stellar activity signals at the spectral level, enhancing the detection of Earth-like planets. We trained a convolutional neural network to build the correlation between the change in the spectral line profile and the corresponding RV, full width at half maximum (FWHM) and bisector span (BIS) values derived from the classical cross-correlation function. This algorithm has been tested on three intensively observed stars: Alpha Centauri B (HD128621), Tau ceti (HD10700), and the Sun. By injecting simulated planetary signals at the spectral level, we demonstrate that our machine learning algorithm can achieve, for HD128621 and HD10700, a detection threshold of 0.5 m/s in semi-amplitude for planets with periods ranging from 10 to 300 days. This threshold would correspond to the detection of a $\sim$4$\mathrm{M}_{\oplus}$ in the habitable zone of those stars. On the HARPS-N solar dataset, our algorithm is even more efficient at mitigating stellar activity signals and can reach a threshold of 0.2 m/s, which would correspond to a 2.2$\mathrm{M}_{\oplus}$ planet on the orbit of the Earth. To the best of our knowledge, it is the first time that such low detection thresholds are reported for the Sun, but also for other stars, and therefore this highlights the efficiency of our convolutional neural network-based algorithm at mitigating stellar activity in RV measurements.


title: The Square-Root Law Does Not Hold in the Presence of Zero Divisors

abstract: Let $R$ be a finite ring and define the paraboloid $P = \{(x_1, \dots, x_d)\in R^d|x_d = x_1^2 + \dots + x_{d-1}^2\}.$ Suppose that for a sequence of finite rings of size tending to infinity, the Fourier transform of $P$ satisfies a square-root law for some fixed constant $C$. Then all but finitely many of the rings are fields. Most of our argument works in greater generality: let $f$ be a polynomial with integer coefficients in $d-1$ variables, with a fixed order of variable multiplications (so that it defines a function $R^{d-1}\rightarrow R$ even when $R$ is noncommutative), and set $V_f = \{(x_1, \dots, x_d)\in R^d|x_d = f(x_1, \dots, x_{d-1})\}$. If (for a sequence of finite rings of size tending to infinity) we have a square root law for the Fourier transform of $V_f$, then all but finitely many of the rings are fields or matrix rings of small dimension. We also describe how our techniques let us see that certain varieties do not satisfy a square root law even over finite fields.


title: Structural Properties of Plastically Deformed SrTiO3 and KTaO3

abstract: Dislocation engineering has the potential to open new avenues toward the exploration and modification of the properties of quantum materials. Strontium titanate (SrTiO3, STO) and potassium tantalate (KTaO3, KTO) are incipient ferroelectrics that show metallization and superconductivity at extremely low charge carrier concentrations, and have been the subject of resurgent interest. These materials also exhibit remarkable ambient-temperature ductility, and thus represent exceptional platforms for studies of the effects of deformation-induced dislocation structures on electronic properties. Recent work on plastically deformed STO revealed an enhancement of the superconducting transition temperature and the emergence of local ferroelectricity and magnetism near self-organized dislocation walls. Here we present a comprehensive structural analysis of plastically deformed STO and KTO, employing specially designed strain cells, diffuse neutron and x-ray scattering, Raman scattering, and nuclear magnetic resonance (NMR). Diffuse scattering and NMR provide insight into the dislocation configurations and densities and their dependence on strain. As in the prior work on STO, Raman scattering reveals evidence for local ferroelectric order near dislocation walls in plastically deformed KTO. Our findings provide valuable information about the self-organized defect structures in both materials, and they position KTO as a second model system with which to explore the associated emergent physics.


title: La curva de Fargues--Fontaine: Una motivaci\'on al estudio de la teor\'ia de representaciones de Galois $p$-\'adicas

abstract: This article, written in Spanish, provides a comprehensive review of the Fargues-Fontaine curve, a cornerstone in $p$-adic Hodge theory, and its pivotal role in classifying $p$-adic Galois representations. We synthesize key developments surrounding this curve, emphasizing its connection between advanced concepts in arithmetic geometry and the practical theory of representations. We offer a detailed analysis of the Fontaine period rings ($B_{cris}, B_{st}, B_{dR}$), exploring their crucial algebraic and arithmetic properties and their contribution to the curve's construction and definition. Furthermore, we delve into the theory of admissible $p$-adic Galois representations, discussing how the curve, once defined, integrates with Harder-Narasimhan theory.


title: Valores extremos de inflaci\'on en Costa Rica

abstract: Maintaining low, non-negative and stable inflation levels is a necessary condition for the stability of the economy as a whole, because the monetary authorities of most industrialized countries, including the Central Bank of Costa Rica since 2005, they have oriented their monetary policy precisely to that task. Still Thus, both in Costa Rica and internationally, most of the statistical modeling of inflation has been limited to modeling their expectancy conditional on different covariates using linear models. This implies a lack of knowledge of the dynamics of the extreme values of the inflation rate and how these are related with other macroeconomic variables. In Costa Rica this is of particular importance since in several periods Negative quarter-on-quarter inflation rates have recently been experienced, which can be problematic if this becomes a recurring phenomenon. Therefore, in this work we propose to answer what is the relationship between the gap of GDP, inflation expectations, imported inflation rate, and the extreme values of the inflation rate in Costa Rica. That is, the main objective is to determine the relationship between the extreme values of the the inflation rate, GDP gap, inflation expectations and imported inflation.


title: A note on edge irregularity strength of Dandelion graph

abstract: For a simple graph $G$, a vertex labeling $\phi:V(G) \rightarrow \{1, 2,\ldots,k\}$ is called $k$-labeling. The weight of an edge $xy$ in $G$, written $w_{\phi}(xy)$, is the sum of the labels of end vertices $x$ and $y$, i.e., $w_{\phi}(xy)=\phi(x)+\phi(y)$. A vertex $k$-labeling is defined to be an edge irregular $k$-labeling of the graph $G$ if for every two different edges $e$ and $f$, $w_{\phi}(e) \neq w_{\phi}(f)$. The minimum $k$ for which the graph $G$ has an edge irregular $k$-labeling is called the edge irregularity strength of $G$, written $es(G)$. In this note, we find the exact value of edge irregularity strength of Dandelion graph when $\Delta(G) \geq \lceil \frac{|E(G)|+1}{2} \rceil$; and determine the bounds when $\Delta(G) < \lceil \frac{|E(G)|+1}{2} \rceil $.


title: Sharp order of vanishing for parabolic equations, nodal set estimates and Landis type results

abstract: We establish a new sharp estimate of the order of vanishing of solutions to parabolic equations with variable coefficients. For real-analytic leading coefficients, we prove a localised estimate of the nodal set, at a given time-level, that generalises the celebrated one of Donnelly and Fefferman. We also establish Landis type results for global solutions.


title: System Safety Monitoring of Learned Components Using Temporal Metric Forecasting

abstract: In learning-enabled autonomous systems, safety monitoring of learned components is crucial to ensure their outputs do not lead to system safety violations, given the operational context of the system. However, developing a safety monitor for practical deployment in real-world applications is challenging. This is due to limited access to internal workings and training data of the learned component. Furthermore, safety monitors should predict safety violations with low latency, while consuming a reasonable amount of computation. To address the challenges, we propose a safety monitoring method based on probabilistic time series forecasting. Given the learned component outputs and an operational context, we empirically investigate different Deep Learning (DL)-based probabilistic forecasting to predict the objective measure capturing the satisfaction or violation of a safety requirement (safety metric). We empirically evaluate safety metric and violation prediction accuracy, and inference latency and resource usage of four state-of-the-art models, with varying horizons, using an autonomous aviation case study. Our results suggest that probabilistic forecasting of safety metrics, given learned component outputs and scenarios, is effective for safety monitoring. Furthermore, for the autonomous aviation case study, Temporal Fusion Transformer (TFT) was the most accurate model for predicting imminent safety violations, with acceptable latency and resource consumption.


title: Low-Complexity PSCL Decoding of Polar Codes

abstract: Successive cancellation list (SCL) decoding enables polar codes and their generalizations to deliver satisfactory performance in finite-length scenarios but it comes with high latency and complexity. To reduce latency, a partitioned SCL (PSCL) decoding algorithm, implemented over a PSCL decoding tree, can be utilized. In this work, we aim to lower down the complexity of the PSCL decoding, resulting in an efficient decoding algorithm with low latency and complexity for polar-like codes. To achieve this, we define two metrics at each level of the PSCL decoding tree. One is for evaluating the reliability of a path and the other is for estimating the probability of the correct path being included in a list of paths. Then, we propose a double-threshold strategy in the PSCL decoding process where unreliable valid paths are pruned based on the first metric, and then a list of surviving paths is selected based on the second metric. Simulation results demonstrate that when polar/CRC-polar/PAC codes are decoded using the proposed low-complexity PSCL decoder, both the sorting complexity and the computational complexity are reduced and significantly decrease as the signal-to-noise ratio (SNR) increases.


title: Traffic control using intelligent timing of traffic lights with reinforcement learning technique and real-time processing of surveillance camera images

abstract: Optimal management of traffic light timing is one of the most effective factors in reducing urban traffic. In most old systems, fixed timing was used along with human factors to control traffic, which is not very efficient in terms of time and cost. Nowadays, methods in the field of traffic management are based on the use of artificial intelligence. In this method, by using real-time processing of video surveillance camera images along with reinforcement learning, the optimal timing of traffic lights is determined and applied according to several parameters. In the research, deep learning methods were used in vehicle detection using the YOLOv9-C model to estimate the number and other characteristics of vehicles such as speed. Finally, by modeling vehicles in an urban environment simulator at OpenAI Gym using multi-factor reinforcement learning and the DQN Rainbow algorithm, timing is applied to traffic lights at intersections. Additionally, the use of transfer learning along with retraining the model on images of Iranian cars has increased the accuracy of the model. The results of the proposed method show a model that is reasonably accurate in both parts of analyzing surveillance cameras and finding the optimal timing, and it has been observed that it has better accuracy than previous research.


title: On Topological Complexity of $(r,\rho(R))$-mild spaces

abstract: In this paper, we first prove the existence of relative free models of morphisms (resp. relative commutative models) in the category of $DGA(R)$ (resp. $CDGA(R)$), where $R$ is a principal ideal domain containing $\frac{1}{2}$. Next, we restrict to the category of $(r,\rho(R))$-H-mild algebras and we introduce, following Carrasquel's characterization, $secat(-, R)$, the sectional category for surjective morphisms. We then apply this to the $n$-fold product of the commutative model of an $(r,\rho(R))$-mild CW-complex of finite type to introduce $TC_n(X,R)$, $mTC_n(X,R)$ and $HTC_n(X,R)$ which extend well known rational topological complexities. We do the same for $\operatorname{sc(-, \mathbb{Q})}$ to introduce analogous algebraic $\operatorname{sc(-,R)}$ in terms of their commutative models over $R$ and prove that it is an upper bound for $secat(-, R)$. This also yields, for any $(r,\rho(R))$-mild CW-complex, the algebraic $tc_n(X,R)$, $mtc_n(X,R)$ and $Htc_n(X,R)$ whose relation to the homology nilpotency is investigated. In the last section, in the same spirit, we introduce in $DGA(R)$, $secat(-, R)$, $\operatorname{sc(-,R)}$ and their topological correspondents. We then prove, in particular, that $ATC_n(X,R)\leq TC_n(X,R)$ and $Atc_n(X,R)\leq tc_n(X,R)$.


title: On Hamiltonian projective billiards on boundaries of products of convex bodies

abstract: Let $K\subset\mathbb R^n_q$, $T\subset\mathbb R^n_p$ be two bounded strictly convex bodies (open subsets) with $C^6$-smooth boundaries. We consider the product $\overline K\times\overline T\subset\mathbb R^{2n}_{p,q}$ equipped with the standard symplectic form $\omega=\sum_{j=1}^ndq_j\wedge dp_j$. The $(K,T)$-billiard orbits are continuous curves in the boundary $\partial(K\times T)$ whose intersections with the open dense subset $(K\times\partial T)\cup(\partial K\times T)$ are tangent to the characteristic line field given by kernels of the restrictions of the symplectic form $\omega$ to the tangent spaces to the boundary. For every $(q,p)\in K\times \partial T$ the characteristic line in $T_{(q,p)}\mathbb R^{2n}$ is directed by the vector $(\vec n(p),0)$, where $\vec n(p)$ is the exterior normal to $T_p\partial T$, and similar statement holds for $(q,p)\in\partial K\times T$. The projection of each $(K,T)$-billiard orbit to $K$ is an orbit of the so-called $T$-billiard in $K$. In the case, when $T$ is centrally-symmetric, this is the billiard in $\mathbb R^n_q$ equipped with Minkowski Finsler structure "dual to $T$", with Finsler reflection law introduced in a joint paper by S.Tabachnikov and E.Gutkin in 2002. Studying $(K,T)$-billiard orbits is closely related to C.Viterbo's Symplectic Isoperimetric Conjecture and the famous Mahler Conjecture in convex geometry. We study the special case, when the $T$-billiard reflection law is the projective law introduced by S.Tabachnikov, i.e., given by projective involutions of the projectivized tangent spaces $T_q\mathbb R^n$, $q\in\partial K$. We show that this happens, if and only if $T$ is an ellipsoid, or equivalently, if all the $T$-billiards are simultaneously affine equivalent to Euclidean billiards. As an application, we deduce analogous results for Finsler billiards.


title: Computing the abundance of primordial black holes

abstract: An accurate calculation of their abundance is crucial for numerous aspects of cosmology related to primordial black holes (PBHs). For example, placing constraints on the primordial power spectrum from constraints on the abundance of PBHs (or vice-versa), calculating the mass function observable today, or predicting the merger rate of (primordial) black holes observable by gravitational wave observatories such as LIGO, Virgo and KAGRA. In this chapter, we will discuss the different methods used for the calculation of the abundance of PBHs forming from large-amplitude cosmological perturbations, assuming only a minimal understanding of modern cosmology. Different parameters to describe cosmological perturbations will be considered (including different choices for the window function), and it will be argued that the compaction is typically the most appropriate choice. Different methodologies for calculating the abundance and mass function are explained, including \emph{Press-Schechter}-type and peaks theory approaches.


title: Assessing Proton-Boron Fusion Feasibility under non-Thermal Equilibrium Conditions: Rider's Inhibition Revisited

abstract: Compared to the D-T reaction, the neutron-free proton-boron (p-$^{11}$B) fusion has garnered increasing attention in recent years. However, significant Bremsstrahlung losses pose a formidable challenge in p-$^{11}$B plasmas in achieving $Q>1$ in thermal equilibrium. The primary aim of this study is to corroborate Todd H. Rider's seminal work in the 1997 Physics of Plasmas, who investigated the feasibility of sustaining p-$^{11}$B fusion under non-thermal equilibrium conditions. Employing a series of simulations with new fusion cross-section, we assessed the minimum recirculating power that must be recycled to maintain the system's non-thermal equilibrium and found that it is substantially greater than the fusion power output, aligning with Rider's conclusions, whether under the conditions of non-Maxwellian electron distribution or Maxwellian electron distribution, reactors reliant on non-equilibrium plasmas for p-$^{11}$B fusion are unlikely to achieve net power production without the aid of highly efficient external heat engines. However, maintaining the ion temperature at 300 keV and the Coulomb logarithm at 15, while increasing the electron temperature beyond 23.33 keV set by Rider, leads to diminished electron-ion energy transfer and heightened Bremsstrahlung radiation. When the electron temperature approaches approximately 140 keV, this progression ultimately leads to a scenario where the power of Bremsstrahlung loss equals the power of electron-ion interactions, yet remains inferior to the fusion power. Consequently, this results in a net gain in energy production.


title: Image charge effects under metal and dieletric boundary conditions

abstract: Image charge effect is a fundamental problem in electrostatics. However, a proper treatment at the continuum level for many-ion systems, such as electrolyte solutions or ionic liquids, remains an open theoretical question. Here, we demonstrate and systematically compare the image charge effects under metal and dielectric boundary conditions (BCs), based on a renormalized Gaussian-fluctuation theory. Our calculations for a simple 1:1 symmetric electrolyte in the point-charge approximation show that the double-layer structure, capacitance, and interaction forces between like-charged plates depend strongly on the types of boundaries, even in the weak-coupling regime. Like-charge attraction is predicted for both metal and dielectric BCs. Finally, we comment on the effects of a dielectrically-saturated solvent layer on the metal surface. We provide these results to serve as a baseline for comparison with more realistic molecular dynamics simulations and experiments.


title: Traveling Wave Solutions For Newton's Equations of Celestial Mechanics: Kepler's Problem

abstract: This article produces wave equations and constructs traveling wave solutions that are intimately related to Newton's equations of celestial mechanics. The traveling wave solutions are expressed in ``closed form'' in terms of elementary functions. They are specialized to the 2-body and the relative 2-body problem. The traveling wave solutions disclose the shape and position of wave fronts emanating from collisions by determining the location of the singularities of the traveling wave solutions.


title: Heralded arbitrary graph states with inefficient quantum emitters

abstract: Quantum emitter-based schemes for the generation of photonic graph states offer a promising, resource efficient methodology for realizing distributed quantum computation and communication protocols on near-term hardware. We present a heralded scheme for making photonic graph states that is compatible with the typically poor photon collection from state-of-the-art coherent quantum emitters. We demonstrate that the construction time for large graph states can be polynomial in the photon collection efficiency, as compared to the exponential scaling of current emitter-based schemes, which assume deterministic photon collection. The additional overhead to achieve this advantage consists of an extra spin system plus one additional spin-spin entangling gate per photon added to the graph. While the proposed scheme enables the generation of graph states for arbitrary applications, we show how it can be further simplified for the specific task of measurement-based computation, leading to significantly higher rates and removing the need for photonic memory in certain computations. As an example use-case of our scheme, we construct a protocol for secure two-party computation that can be implemented efficiently on current hardware. Estimates of the fidelity to produce graph states used in the computation are given, based on current trapped ion experimental benchmarks.


title: Part-based Quantitative Analysis for Heatmaps

abstract: Heatmaps have been instrumental in helping understand deep network decisions, and are a common approach for Explainable AI (XAI). While significant progress has been made in enhancing the informativeness and accessibility of heatmaps, heatmap analysis is typically very subjective and limited to domain experts. As such, developing automatic, scalable, and numerical analysis methods to make heatmap-based XAI more objective, end-user friendly, and cost-effective is vital. In addition, there is a need for comprehensive evaluation metrics to assess heatmap quality at a granular level.


title: Homodyne detection is optimal for quantum interferometry with path-entangled coherent states

abstract: We present measurement schemes that do not rely on photon-number resolving detectors, but that are nevertheless optimal for estimating a differential phase shift in interferometry with either an entangled coherent state or a qubit-which-path state (where the path taken by a coherent-state wavepacket is entangled with the state of a qubit). The homodyning schemes analyzed here achieve optimality (saturate the quantum Cram\'er-Rao bound) by maximizing the sensitivity of measurement outcomes to phase-dependent interference fringes in a reduced Wigner distribution. In the presence of photon loss, the schemes become suboptimal, but we find that their performance is independent of the phase to be measured. They can therefore be implemented without any prior information about the phase and without adapting the strategy during measurement, unlike strategies based on photon-number parity measurements or direct photon counting.


title: Nonparametric estimation of FBSDEs with random terminal time

abstract: This paper investigates the nonparametric estimation of the functional coefficients of the FBSDEs with random terminal time, including the local constant and local linear estimators. We provide complete two-dimensional asymptotics in both the time span and the sampling interval, allowing for the precise characterization of their distribution. Moreover, the empirical likelihood (EL) method to construct the data-driven confidence intervals for these estimators is provided. Some numerical simulations investigate the finite-sample properties of the estimators and compare the performance of the EL method and the conventional method in constructing confidence intervals based on asymptotic normality.


title: FLARE up your data: Diffusion-based Augmentation Method in Astronomical Imaging

abstract: The intersection of Astronomy and AI encounters significant challenges related to issues such as noisy backgrounds, lower resolution (LR), and the intricate process of filtering and archiving images from advanced telescopes like the James Webb. Given the dispersion of raw images in feature space, we have proposed a \textit{two-stage augmentation framework} entitled as \textbf{FLARE} based on \underline{f}eature \underline{l}earning and \underline{a}ugmented \underline{r}esolution \underline{e}nhancement. We first apply lower (LR) to higher resolution (HR) conversion followed by standard augmentations. Secondly, we integrate a diffusion approach to synthetically generate samples using class-concatenated prompts. By merging these two stages using weighted percentiles, we realign the feature space distribution, enabling a classification model to establish a distinct decision boundary and achieve superior generalization on various in-domain and out-of-domain tasks. We conducted experiments on several downstream cosmos datasets and on our optimally distributed \textbf{SpaceNet} dataset across 8-class fine-grained and 4-class macro classification tasks. FLARE attains the highest performance gain of 20.78\% for fine-grained tasks compared to similar baselines, while across different classification models, FLARE shows a consistent increment of an average of +15\%. This outcome underscores the effectiveness of the FLARE method in enhancing the precision of image classification, ultimately bolstering the reliability of astronomical research outcomes. % Our code and SpaceNet dataset will be released to the public soon. Our code and SpaceNet dataset is available at \href{https://github.com/Razaimam45/PlanetX_Dxb}{\textit{https://github.com/Razaimam45/PlanetX\_Dxb}}.


title: Stochastic Online Conformal Prediction with Semi-Bandit Feedback

abstract: Conformal prediction has emerged as an effective strategy for uncertainty quantification by modifying a model to output sets of labels instead of a single label. These prediction sets come with the guarantee that they contain the true label with high probability. However, conformal prediction typically requires a large calibration dataset of i.i.d. examples. We consider the online learning setting, where examples arrive over time, and the goal is to construct prediction sets dynamically. Departing from existing work, we assume semi-bandit feedback, where we only observe the true label if it is contained in the prediction set. For instance, consider calibrating a document retrieval model to a new domain; in this setting, a user would only be able to provide the true label if the target document is in the prediction set of retrieved documents. We propose a novel conformal prediction algorithm targeted at this setting, and prove that it obtains sublinear regret compared to the optimal conformal predictor. We evaluate our algorithm on a retrieval task and an image classification task, and demonstrate that it empirically achieves good performance.


title: Analysis of reconstruction from noisy discrete generalized Radon data

abstract: We consider a wide class of generalized Radon transforms $\mathcal R$, which act in $\mathbb{R}^n$ for any $n\ge 2$ and integrate over submanifolds of any codimension $N$, $1\le N\le n-1$. Also, we allow for a fairly general reconstruction operator $\mathcal A$. The main requirement is that $\mathcal A$ be a Fourier integral operator with a phase function, which is linear in the phase variable. We consider the task of image reconstruction from discrete data $g_{j,k} = (\mathcal R f)_{j,k} + \eta_{j,k}$. We show that the reconstruction error $N_\epsilon^{\text{rec}}=\mathcal A \eta_{j,k}$ satisfies $N^{\text{rec}}(\check x;x_0)=\lim_{\epsilon\to0}N_\epsilon^{\text{rec}}(x_0+\epsilon\check x)$, $\check x\in D$. Here $x_0$ is a fixed point, $D\subset\mathbb{R}^n$ is a bounded domain, and $\eta_{j,k}$ are independent, but not necessarily identically distributed, random variables. $N^{\text{rec}}$ and $N_\epsilon^{\text{rec}}$ are viewed as continuous random functions of the argument $\check x$ (random fields), and the limit is understood in the sense of probability distributions. Under some conditions on the first three moments of $\eta_{j,k}$ (and some other not very restrictive conditions on $x_0$ and $\mathcal A$), we prove that $N^{\text{rec}}$ is a zero mean Gaussian random field and explicitly compute its covariance. We also present a numerical experiment with a cone beam transform in $\mathbb{R}^3$, which shows an excellent match between theoretical predictions and simulated reconstructions.


title: Generating forces in confinement via polymerization

abstract: The growth and reconfiguration of polymer networks such as the cytoskeleton can generate forces that move objects and deform materials and membranes, even in the absence of molecular motors. Taking inspiration from this, we ask whether a dynamic polymer system can generate deformation forces by merely controlling the monomer structure and interactions, and the temporal schedule of monomer release, which can be considered a "molecular program" directing polymer assembly. Using simulations of patchy particles that are released into the interior of a vesicle at a given rate, we ask which molecular programs are most proficient at generating forces. We show that stiff polymers induce deformation by spontaneously bundling, and deforming the vesicle axially. The rate at which monomers are released controls whether the polymers can generate forces quickly, or deform the vesicle more slowly but with a larger maximal force. For softer polymers, which cannot ordinarily deform the vesicle, we demonstrate that introducing crosslinkers can be enough to promote the bundling of polymers required to deform vesicles, but that the details of how this crosslinking is implemented can significantly affect the outcome. Finally, we show that dynamic release of monomers and crosslinkers can increase the variance of this process, and that by making the polymers polar filaments one can obtain better force generation by suppressing nucleation. Our results provide a blueprint for the experimental realization of molecular programs that could produce nanoscale forces using synthetic biopolymers.


title: Verifying Lock-free Search Structure Templates

abstract: We present and verify template algorithms for lock-free concurrent search structures that cover a broad range of existing implementations based on lists and skiplists. Our linearizability proofs are fully mechanized in the concurrent separation logic Iris. The proofs are modular and cover the broader design space of the underlying algorithms by parameterizing the verification over aspects such as the low-level representation of nodes and the style of data structure maintenance. As a further technical contribution, we present a mechanization of a recently proposed method for reasoning about future-dependent linearization points using hindsight arguments. The mechanization builds on Iris' support for prophecy reasoning and user-defined ghost resources. We demonstrate that the method can help to reduce the proof effort compared to direct prophecy-based proofs.