title: PhenDiff: Revealing Invisible Phenotypes with Conditional Diffusion Models

abstract: Over the last five years, deep generative models have gradually been adopted for various tasks in biological research. Notably, image-to-image translation methods showed to be effective in revealing subtle phenotypic cell variations otherwise invisible to the human eye. Current methods to achieve this goal mainly rely on Generative Adversarial Networks (GANs). However, these models are known to suffer from some shortcomings such as training instability and mode collapse. Furthermore, the lack of robustness to invert a real image into the latent of a trained GAN prevents flexible editing of real images. In this work, we propose PhenDiff, an image-to-image translation method based on conditional diffusion models to identify subtle phenotypes in microscopy images. We evaluate this approach on biological datasets against previous work such as CycleGAN. We show that PhenDiff outperforms this baseline in terms of quality and diversity of the generated images. We then apply this method to display invisible phenotypic changes triggered by a rare neurodevelopmental disorder on microscopy images of organoids. Altogether, we demonstrate that PhenDiff is able to perform high quality biological image-to-image translation allowing to spot subtle phenotype variations on a real image.


title: VQ-HPS: Human Pose and Shape Estimation in a Vector-Quantized Latent Space

abstract: Previous works on Human Pose and Shape Estimation (HPSE) from RGB images can be broadly categorized into two main groups: parametric and non-parametric approaches. Parametric techniques leverage a low-dimensional statistical body model for realistic results, whereas recent non-parametric methods achieve higher precision by directly regressing the 3D coordinates of the human body mesh. This work introduces a novel paradigm to address the HPSE problem, involving a low-dimensional discrete latent representation of the human mesh and framing HPSE as a classification task. Instead of predicting body model parameters or 3D vertex coordinates, we focus on predicting the proposed discrete latent representation, which can be decoded into a registered human mesh. This innovative paradigm offers two key advantages. Firstly, predicting a low-dimensional discrete representation confines our predictions to the space of anthropomorphic poses and shapes even when little training data is available. Secondly, by framing the problem as a classification task, we can harness the discriminative power inherent in neural networks. The proposed model, VQ-HPS, predicts the discrete latent representation of the mesh. The experimental results demonstrate that VQ-HPS outperforms the current state-of-the-art non-parametric approaches while yielding results as realistic as those produced by parametric methods when trained with little data. VQ-HPS also shows promising results when training on large-scale datasets, highlighting the significant potential of the classification approach for HPSE. See the project page at https://g-fiche.github.io/research-pages/vqhps/


title: An Argentinian window to the fast transient sky and to the very high resolution observations

abstract: The transient sky is composed of diverse phenomena that exhibits dramatic changes on short timescales. These events range from sub-second bursts to weeks and month timescale variability from compact systems. Several challenges need to be addressed by any facility that aims to observe such events: a fast re-positioning scheme to trace the first moments of events like Gamma-Ray Bursts (GRBs), a large field of view to be able to detect new Fast Radio Bursts (FRBs), or high sensitivity and high cadence to detect the outflows and flaring activity in Galactic binaries. Combined with a large bandwidth in order to recover the spectral information from these sources, it would allow us to unveil the physical processes taking place in these systems. The new Multipurpose Interferometer Array (MIA) in Argentina may represent a suitable facility to conduct deep and leading-edge studies on the transient sky as the aforementioned ones. Additionally, there is a significant interest from the community on the possibility of connecting the 30-m IAR antennas within a VLBI network such as the European VLBI Network (EVN). This would place Argentina in the map to achieve very-high-resolution (on the milliarcsecond level) observations. This mode, together with the observations with the MIA would open a potential new regime that would allow astronomers to significantly increase the knowledge on the Southern Sky.


title: Model-Free Verification for Neural Network Controlled Systems

abstract: Neural network controllers have shown potential in achieving superior performance in feedback control systems. Although a neural network can be trained efficiently using deep and reinforcement learning methods, providing formal guarantees for the closed-loop properties is challenging. The main difficulty comes from the nonlinear activation functions. One popular method is to use sector bounds on the activation functions resulting in a robust analysis. These methods work well under the assumption that the system dynamics are perfectly known, which is, however, impossible in practice. In this paper, we propose data-driven semi-definite programs to formally verify stability and safety for a neural network controlled linear system with unknown dynamics. The proposed method performs verification directly from end-to-end without identifying the dynamics. Through a numerical example, we validate the efficacy of our method on linear systems with controller trained by imitation learning.


title: Dixmier trace and the DOS of perturbed magnetic operators

abstract: The main goal of this work is to provide a description of the {trace per unit volume} in terms of the {Dixmier trace} (regularized by the resolvent of the harmonic oscillator) for a large class of two-dimensional \emph{magnetic operators} perturbed by (homogeneous) {potentials}. One of the payoffs of this result is the possibility of reinterpreting the {density of states} (DOS) of these perturbed magnetic systems via the {Dixmier trace}, and taking advantage of the fact that this quantity can be conveniently calculated on the basis of the Laguerrre functions that diagonalize the harmonic oscillator.


title: Inferring Atmospheric Properties of Exoplanets with Flow Matching and Neural Importance Sampling

abstract: Atmospheric retrievals (AR) characterize exoplanets by estimating atmospheric parameters from observed light spectra, typically by framing the task as a Bayesian inference problem. However, traditional approaches such as nested sampling are computationally expensive, thus sparking an interest in solutions based on machine learning (ML). In this ongoing work, we first explore flow matching posterior estimation (FMPE) as a new ML-based method for AR and find that, in our case, it is more accurate than neural posterior estimation (NPE), but less accurate than nested sampling. We then combine both FMPE and NPE with importance sampling, in which case both methods outperform nested sampling in terms of accuracy and simulation efficiency. Going forward, our analysis suggests that simulation-based inference with likelihood-based importance sampling provides a framework for accurate and efficient AR that may become a valuable tool not only for the analysis of observational data from existing telescopes, but also for the development of new missions and instruments.


title: Nonlinear kinetic inductance sensor

abstract: The concept of nonlinear kinetic inductance sensor (NKIS) of electromagnetic radiation is proposed. The idea is based on divergency of kinetic inductance $L_k \sim dq/dI$ ($\hbar q$ is a momentum of superconducting electrons, $I$ is a supercurrent) of hybrid superconductor/normal metal (SN) bridge at current $I^*<I_{dep}$ ($I_{dep}$ is a depairing current of the hybrid) and temperature $T^*$ much smaller than critical temperature $T_c$. It makes possible to have large change of phase difference $\delta \phi$ along SN bridge in current biased regime at $I\simeq I^*$ even for small electron temperature increase. Appearance of $\delta \phi$ is accompanied by the change of the current and magnetic flux through the coupled superconducting ring which could be measured with help of superconducting quantum interference device (SQUID). In some respect proposed sensor may be considered as a superconducting counterpart of transition edge sensor (TES) those work is based on large derivative $dR/dT$ ($R$ is a resistance) near $T_c$. Because at $I \simeq I^*$ SN bridge is in gapless regime there is no low boundary for frequency of detected e.m. radiation. Our calculations show that such a sensor can operate in single photon regime and detect single photons with frequency $\nu \gtrsim$ 10 GHz. We argue that the nontrivial dependence $I(q)$ of SN bridge could be also used in detectors of continuous e.m. radiation, current and magnetic field sensors.


title: On a quasi-additivity formula for the capacity on Ahlfors-regular spaces

abstract: In this work we prove formulas of quasi-additivity for the capacity associated to kernels of radial type in the setting of the boundary of a tree structure and in the setting of compact Ahlfors-regular spaces. We also define a notion of harmonic extension, to one additional variable, of a function defined over a compact Ahlfors-regular space, and we prove a result of tangential convergence of the harmonic extension to the values at the boundary.


title: Venn: Resource Management Across Federated Learning Jobs

abstract: In recent years, federated learning (FL) has emerged as a promising approach for machine learning (ML) and data science across distributed edge devices. With the increasing popularity of FL, resource contention between multiple FL jobs training on the same device population is increasing as well. Scheduling edge resources among multiple FL jobs is different from GPU scheduling for cloud ML because of the ephemeral nature and planetary scale of participating devices as well as the overlapping resource requirements of diverse FL jobs. Existing resource managers for FL jobs opt for random assignment of devices to FL jobs for simplicity and scalability, which leads to poor performance. In this paper, we present Venn, an FL resource manager, that efficiently schedules ephemeral, heterogeneous devices among many FL jobs, with the goal of reducing their average job completion time (JCT). Venn formulates the Intersection Resource Scheduling (IRS) problem to identify complex resource contention among multiple FL jobs. Then, Venn proposes a contention-aware scheduling heuristic to minimize the average scheduling delay. Furthermore, it proposes a resource-aware device-to-job matching heuristic that focuses on optimizing response collection time by mitigating stragglers. Our evaluation shows that, compared to the state-of-the-art FL resource managers, Venn improves the average JCT by up to 1.88X.


title: Conceptualizing Suicidal Behavior: Utilizing Explanations of Predicted Outcomes to Analyze Longitudinal Social Media Data

abstract: The COVID-19 pandemic has escalated mental health crises worldwide, with social isolation and economic instability contributing to a rise in suicidal behavior. Suicide can result from social factors such as shame, abuse, abandonment, and mental health conditions like depression, Post-Traumatic Stress Disorder (PTSD), Attention-Deficit/Hyperactivity Disorder (ADHD), anxiety disorders, and bipolar disorders. As these conditions develop, signs of suicidal ideation may manifest in social media interactions. Analyzing social media data using artificial intelligence (AI) techniques can help identify patterns of suicidal behavior, providing invaluable insights for suicide prevention agencies, professionals, and broader community awareness initiatives. Machine learning algorithms for this purpose require large volumes of accurately labeled data. Previous research has not fully explored the potential of incorporating explanations in analyzing and labeling longitudinal social media data. In this study, we employed a model explanation method, Layer Integrated Gradients, on top of a fine-tuned state-of-the-art language model, to assign each token from Reddit users' posts an attribution score for predicting suicidal ideation. By extracting and analyzing attributions of tokens from the data, we propose a methodology for preliminary screening of social media posts for suicidal ideation without using large language models during inference.


title: Adaptive Optics Telemetry Standard: Design and specification of a novel data exchange format

abstract: The amount of Adaptive Optics (AO) telemetry generated by VIS/NIR ground-based observatories is ever greater, leading to a growing need for a standardised data exchange format to support performance analysis and AO research and development activities that involve large-scale telemetry mining, processing, and curation. This paper introduces the Adaptive Optics Telemetry (AOT) data exchange format as a standard for sharing AO telemetry from visible/infrared ground-based observatories. AOT is based on the Flexible Image Transport System (FITS) and aims to provide unambiguous and consistent data access across various systems and configurations, including natural and single/multiple laser guide-star AO systems. We designed AOT focused on two key use cases: atmospheric turbulence parameter estimation and point-spread function reconstruction (PSF-R). We prototyped and tested the design using existing AO telemetry datasets from multiple systems: single conjugate with natural and laser guide stars, tomographic systems with multi-channel wavefront sensors, single and multi wavefront correctors in systems featuring either a Shack-Hartmann or Pyramid as main wavefront sensors. The AOT file structure has been thoroughly defined, specifying data fields, descriptions, data types, units, and expected dimensions. To support this format, we have developed a Python package that enables data conversion, reading, writing and exploration of AOT files, which has been made publicly available and compatible with a general-purpose Python package manager. We demonstrate the flexibility of the AOT format by packaging data from five different instruments, installed on different telescopes.


title: Design and Control of an Energy Accumulative Hopping Robot

abstract: Jumping and hopping locomotion are efficient means of traversing unstructured rugged terrain with the former being the focus of roboticists. This focus has led to significant performance and understanding in jumping robots but with limited practical applications as they require significant time between jumps to store energy, thus relegating jumping to a secondary role in locomotion. Hopping locomotion, however, can preserve and transfer energy to subsequent hops without long energy storage periods. Therefore, hopping has the potential to be far more energy efficient and agile than jumping. However, to date, only a single untethered hopping robot exists with limited payload and hopping heights (< 1 meter). This is due to the added design and control complexity inherent in the requirements to input energy during dynamic locomotion and control the orientation of the system throughout the hopping cycle, resulting in low energy input and control torques; a redevelopment from basic principles is necessary to advance the capabilities of hopping robots. Here we report hopping robot design principles for efficient and robust systems with high energy input and control torques that are validated through analytical, simulation, and experimental results. The resulting robot (MultiMo-MHR) can hop nearly 4 meters (> 6 times the current state-of-the-art); and is only limited by the impact mechanics and not energy input. The results also directly contradict a recent work that concluded hopping with aerodynamic energy input would be less efficient than flight for hops greater than 0.4 meters.


title: Large and complex X-ray time lags from black hole accretion disks with compact inner coronae

abstract: Black hole X-ray binaries in their hard and hard-intermediate states display hard and soft time lags between broadband noise variations (high-energy emission lagging low-energy and vice versa), which could be used to constrain the geometry of the disk and Comptonising corona in these systems. Comptonisation and reverberation lag models, which are based on light-travel delays, can imply coronae which are very large (hundreds to thousands of gravitational radii, $R_{g}$) and in conflict with constraints from X-ray spectral modelling and polarimetry. Here we show that the observed large and complex X-ray time lags can be explained by a model where fluctuations are generated in and propagate through the blackbody-emitting disk to a relatively compact ($\sim$10 $R_{g}$) inner corona. The model naturally explains why the disk variations lead coronal variations with a Fourier-frequency dependent lag at frequencies $<1$ Hz, since longer variability time-scales originate from larger disk radii. The propagating fluctuations also modulate successively the coronal seed photons from the disk, heating of the corona via viscous dissipation and the resulting reverberation signal. The interplay of these different effects leads to the observed complex pattern of lag behaviour between disk and power-law emission and different power-law energy bands, the energy-dependence of power-spectral shape and a strong dependence of spectral-timing properties on coronal geometry. The observed spectral-timing complexity is thus a natural consequence of the response of the disk-corona system to mass-accretion fluctuations propagating through the disk.


title: Efficient Toxic Content Detection by Bootstrapping and Distilling Large Language Models

abstract: Toxic content detection is crucial for online services to remove inappropriate content that violates community standards. To automate the detection process, prior works have proposed varieties of machine learning (ML) approaches to train Language Models (LMs) for toxic content detection. However, both their accuracy and transferability across datasets are limited. Recently, Large Language Models (LLMs) have shown promise in toxic content detection due to their superior zero-shot and few-shot in-context learning ability as well as broad transferability on ML tasks. However, efficiently designing prompts for LLMs remains challenging. Moreover, the high run-time cost of LLMs may hinder their deployments in production. To address these challenges, in this work, we propose BD-LLM, a novel and efficient approach to Bootstrapping and Distilling LLMs for toxic content detection. Specifically, we design a novel prompting method named Decision-Tree-of-Thought (DToT) to bootstrap LLMs' detection performance and extract high-quality rationales. DToT can automatically select more fine-grained context to re-prompt LLMs when their responses lack confidence. Additionally, we use the rationales extracted via DToT to fine-tune student LMs. Our experimental results on various datasets demonstrate that DToT can improve the accuracy of LLMs by up to 4.6%. Furthermore, student LMs fine-tuned with rationales extracted via DToT outperform baselines on all datasets with up to 16.9\% accuracy improvement, while being more than 60x smaller than conventional LLMs. Finally, we observe that student LMs fine-tuned with rationales exhibit better cross-dataset transferability.


title: Interpretable ECG Analysis for Myocardial Infarction Detection through Counterfactuals

abstract: Despite the surge in deep learning for ECG signal analysis, its black-box nature remains a barrier in clinical decision-making. Interpretable machine learning models are less resource-intensive and more transparent for clinicians, to enhance diagnostic processes. The primary aim of this study is to explore the usability and potential benefits of counterfactual explanations in interpreting machine learning models trained on ECG signals, particularly for distinguishing between control group subjects and myocardial infarction patients. To achieve our goal, we leveraged the PTB-XL dataset and developed a systematic feature extraction methodology. Subsequently, our method entailed identifying the most significant ECG features via a thorough ranking and elimination process, refining the feature set for further counterfactual evaluation. Furthermore, we introduced the Visualizing Counterfactual Clues on Electrocardiograms (VCCE) method to enhance the practical usability of counterfactual explanations. The authenticity of the generated counterfactuals was validated through custom metrics, including cognitive assessments of diagnostic clues present in the ECG report, with the clinical expertise of two cardiologists. Our research indicates great potential for future studies in identifying patient outcomes for cardiac conditions using ECGs, with high and moderate-quality interpretation validity scores of 23.29 $\pm$ 1.04 and 20.28 $\pm$ 0.99 out of 25, respectively. Clinical alignment scores of 0.83 $\pm$ 0.12 for high-quality and 0.57 $\pm$ 0.10 for moderate-quality interpretations further validate the strong link between our analysis and clinical evaluations. The source code for this study can be accessed at https://github.com/tanyelai/vcce.


title: ConChain: A Scheme for Contention-free and Attack Resilient BlockChain

abstract: Although blockchains have become widely popular for their use in cryptocurrencies, they are now becoming pervasive as more traditional applications adopt blockchain to ensure data security. Despite being a secured network, blockchains have some tradeoffs such as high latency, low throughput, and transaction failures. One of the core problems behind these is improper management of "conflicting transactions", which is also known as "contention". When there is a large pool of pending transactions in a blockchain and some of them are conflicting, a situation of contention occurs, and as a result, the latency of the network increases, and a substantial amount of resources are wasted which results in low throughput and transaction failures. In this paper, we proposed ConChain, a novel blockchain scheme that combines transaction parallelism and an intelligent dependency manager to minimize conflicting transactions in blockchain networks as well as improve performance. ConChain is also capable of ensuring proper defense against major attacks due to contention.


title: Two $T$-linear scattering rate regimes in the triangular lattice Hubbard model

abstract: In recent years, the $T$-linear scattering rate found at low temperatures, defining the strange metal phase of cuprates, has been a subject of interest. Since a wide range of materials have a scattering rate that obeys the equation $ \hbar / \tau \approx k_B T$, the idea of a universal Planckian limit on the scattering rate has been proposed. However, there is no consensus on proposed theories yet. In this work, we present our results for the $T$-linear scattering rate in the triangular lattice Hubbard model obtained using the dynamical cluster approximation. We find two regions with $T$-linear scattering rate in the $T$ -- $p$ phase diagram: one emerges from the pseudogap to correlated Fermi liquid phase transition at low doping, whereas the other is solely caused by large interaction strength at large doping.


title: EquiReact: An equivariant neural network for chemical reactions

abstract: Equivariant neural networks have considerably improved the accuracy and data-efficiency of predictions of molecular properties. Building on this success, we introduce EquiReact, an equivariant neural network to infer properties of chemical reactions, built from three-dimensional structures of reactants and products. We illustrate its competitive performance on the prediction of activation barriers on the GDB7-22-TS, Cyclo-23-TS and Proparg-21-TS datasets with different regimes according to the inclusion of atom-mapping information. We show that, compared to state-of-the-art models for reaction property prediction, EquiReact offers: (i) a flexible model with reduced sensitivity between atom-mapping regimes, (ii) better extrapolation capabilities to unseen chemistries, (iii) impressive prediction errors for datasets exhibiting subtle variations in three-dimensional geometries of reactants/products, (iv) reduced sensitivity to geometry quality and (iv) excellent data efficiency.


title: On a parabolic p-Laplacian system with a convective term

abstract: We prove a result of existence of regular solutions and a maximum principle for solutions to a parabolic p-Laplacian system with convective term.


title: FASTEN: Towards a FAult-tolerant and STorage EfficieNt Cloud: Balancing Between Replication and Deduplication

abstract: With the surge in cloud storage adoption, enterprises face challenges managing data duplication and exponential data growth. Deduplication mitigates redundancy, yet maintaining redundancy ensures high availability, incurring storage costs. Balancing these aspects is a significant research concern. We propose FASTEN, a distributed cloud storage scheme ensuring efficiency, security, and high availability. FASTEN achieves fault tolerance by dispersing data subsets optimally across servers and maintains redundancy for high availability. Experimental results show FASTEN's effectiveness in fault tolerance, cost reduction, batch auditing, and file and block-level deduplication. It outperforms existing systems with low time complexity, strong fault tolerance, and commendable deduplication performance.


title: Quantum simulation of highly-oscillatory many-body Hamiltonians for near-term devices

abstract: We develop a fourth-order Magnus expansion based quantum algorithm for the simulation of many-body problems involving two-level quantum systems with time-dependent Hamiltonians, $\mathcal{H}(t)$. A major hurdle in the utilization of the Magnus expansion is the appearance of a commutator term which leads to prohibitively long circuits. We present a technique for eliminating this commutator and find that a single time-step of the resulting algorithm is only marginally costlier than that required for time-stepping with a time-independent Hamiltonian, requiring only three additional single-qubit layers. For a large class of Hamiltonians appearing in liquid-state nuclear magnetic resonance (NMR) applications, we further exploit symmetries of the Hamiltonian and achieve a surprising reduction in the expansion, whereby a single time-step of our fourth-order method has a circuit structure and cost that is identical to that required for a fourth-order Trotterized time-stepping procedure for time-independent Hamiltonians. Moreover, our algorithms are able to take time-steps that are larger than the wavelength of oscillation of the time-dependent Hamiltonian, making them particularly suited for highly-oscillatory controls. The resulting quantum circuits have shorter depths for all levels of accuracy when compared to first and second-order Trotterized methods, as well as other fourth-order Trotterized methods, making the proposed algorithm a suitable candidate for simulation of time-dependent Hamiltonians on near-term quantum devices.


title: Spectro-photometric properties of CoPhyLab's dust mixtures

abstract: Objective: In the framework of the Cometary Physics Laboratory (CoPhyLab) and its sublimation experiments of cometary surface analogues under simulated space conditions, we characterize the properties of intimate mixtures of juniper charcoal and SiO$_2$ chosen as a dust analogue \citep{Lethuillier_2022}. We present the details of these investigations for the spectrophotometric properties of the samples. Methods: We measured these properties using a hyperspectral imager and a radio-goniometer. From the samples' spectra, we evaluated reflectance ratios and spectral slopes. From the measured phase curves, we inverted a photometric model for all samples. Complementary characterizations were obtained using a pycnometer, a scanning electron microscope and an organic elemental analyser. Results: We report the first values for the apparent porosity, elemental composition, and VIS-NIR spectrophotometric properties for juniper charcoal, as well as for intimate mixtures of this charcoal with the SiO$_2$. We find that the juniper charcoal drives the spectrophotometric properties of the intimate mixtures and that its strong absorbance is consistent with its elemental composition. We find that SiO$_2$ particles form large and compact agglomerates in every mixture imaged with the electron microscope, and its spectrophotometric properties are affected by such features and their particle-size distribution. We compare our results to the current literature on comets and other small Solar System bodies and find that most of the characterized properties of the dust analogue are comparable to some extent with the spacecraft-visited cometary nucleii, as well as to Centaurs, Trojans and the bluest TNOs.


title: Factorized $A_2$-Leonard pair

abstract: The notion of factorized $A_2$-Leonard pair is introduced. It is defined as a rank 2 Leonard pair, with actions in certain bases corresponding to the root system of the Weyl group $A_2$, and with some additional properties. The functions arising as entries of transition matrices are bivariate orthogonal polynomials (of Tratnik type) with bispectral properties. Examples of factorized $A_2$-Leonard pairs are constructed using classical Leonard pairs associated to families of orthogonal polynomials of the ($q$-)Askey scheme. The most general examples are associated to an intricate product of univariate ($q$-)Hahn and dual ($q$-)Hahn polynomials.


title: Polarization dynamics of trapped polariton condensates with $\mathcal{PT}$-symmetry

abstract: We propose a grated microcavity setup to form trapped polariton condensates with parity-time ($\mathcal{PT}$) symmetry and study their polarization dynamics. The pseudo-conservative dynamics of the Stokes vector in proposed configuration is preserved in the presence of polariton-polariton interaction. In the case of weak gain-dissipation inbalance, as compared to the linear polarization splitting, the polarization Stokes spheres are deformed into ellipsoids. When linear polarization splitting becomes weak, i.e., when $\mathcal{PT}$-symmetry is broken for noninteracting system, the Stokes spheres are transformed into hyperboloids, but the dynamics is still described by closed trajectories, allowing manipulation of the polarization of polariton condensate by changing polarization splitting without losing its coherency.


title: Orthonormal Strichartz estimates for Schr\"odinger operator and their applications to infinitely many particle systems

abstract: We develop an abstract perturbation theory for the orthonormal Strichartz estimates, which were first studied by Frank-Lewin-Lieb-Seiringer. The method used in the proof is based on the duality principle and the smooth perturbation theory by Kato. We also deduce the refined Strichartz estimates for the Schr\"odinger operator in terms of the Besov space. Finally we prove the global existence of a solution for the Hartree equation with electromagnetic potentials describing the dynamics of infinitely many fermions. This would be the first result on the orthonormal Strichartz estimates for the Schr\"odinger operator with general time-independent potentials including very short range and inverse square type potentials.


title: Modelling time-dependent convective penetration in 1D stellar evolution

abstract: 1D stellar evolution calculations produce uncertain predictions for quantities like the age, core mass, core compactness, and nucleo-synthetic yields; a key source of uncertainty is the modeling of interfaces between regions that are convectively stable and those that are not. Theoretical and numerical work has demonstrated that there should be numerous processes adjacent to the convective boundary that induce chemical and angular momentum transport, as well as modify the thermal structure of the star. One such process is called convective penetration, wherein vigorous convection extends beyond the nominal convective boundary and alters both the composition and thermal structure. In this work, we incorporate the process of convective penetration in stellar evolution calculations using the stellar evolution software instrument mesa. We implement convective penetration according to the description presented by Anders et al. (2022a) to calculate a grid of models from the pre main sequence to He core depletion. The extent of the convective penetration zone is self-consistently calculated at each time step without introducing new free parameters. We find both a substantial penetration zone in all models with a convective core and observable differences to global stellar properties such as the luminosity and radius. We preset how the predicted radial extent of the penetration zone scales with the total stellar mass, age and the metallicity of the star. We discuss our results in the context of existing numerical and observational studies.


title: Affine monoids of corank one

abstract: We give a classification of noncommutative algebraic monoid structures on normal affine varieties such that the group of invertible elements of the monoid is connected, solvable, and has a one-dimensional unipotent radical. We describe the set of idempotents and the center of such a monoid and give a criterion for existence of the zero element.


title: Prompt Engineering-assisted Malware Dynamic Analysis Using GPT-4

abstract: Dynamic analysis methods effectively identify shelled, wrapped, or obfuscated malware, thereby preventing them from invading computers. As a significant representation of dynamic malware behavior, the API (Application Programming Interface) sequence, comprised of consecutive API calls, has progressively become the dominant feature of dynamic analysis methods. Though there have been numerous deep learning models for malware detection based on API sequences, the quality of API call representations produced by those models is limited. These models cannot generate representations for unknown API calls, which weakens both the detection performance and the generalization. Further, the concept drift phenomenon of API calls is prominent. To tackle these issues, we introduce a prompt engineering-assisted malware dynamic analysis using GPT-4. In this method, GPT-4 is employed to create explanatory text for each API call within the API sequence. Afterward, the pre-trained language model BERT is used to obtain the representation of the text, from which we derive the representation of the API sequence. Theoretically, this proposed method is capable of generating representations for all API calls, excluding the necessity for dataset training during the generation process. Utilizing the representation, a CNN-based detection model is designed to extract the feature. We adopt five benchmark datasets to validate the performance of the proposed model. The experimental results reveal that the proposed detection algorithm performs better than the state-of-the-art method (TextCNN). Specifically, in cross-database experiments and few-shot learning experiments, the proposed model achieves excellent detection performance and almost a 100% recall rate for malware, verifying its superior generalization performance. The code is available at: github.com/yan-scnu/Prompted_Dynamic_Detection.


title: $^{12}$C and $\alpha$-clusters, $0^+$ spectrum, and Hoyle-state candidates in $^{24}$Mg

abstract: Background: A recent inelastic alpha-scattering experiment [Phys. Rev. Lett. 129, 102701 (2022)] found $0^+$ resonances in $^{24}$Mg on and above the $^{12}$C+$^{12}$C break-up threshold. It has been conjectured that the states have a $^{12}$C+$^{12}$C cluster structure, and play a similar role in accelerating $^{12}$C+$^{12}$C fusion to the manner in which the Hoyle state accelerates production of $^{12}$C in massive stars. Purpose: We wish to build up a quantitative theoretical basis for the considerations of the Hoyle-state paradigm, by calculating the distribution of the $0^+$ states in the shell, as well as in the relevant cluster models. Methods: We determine the spectrum of excited $0^+$ states in $^{24}$Mg nucleus using multiconfigurational dynamical symmetry calculations leading to a unified description of the quartet (or shell), $^{12}$C+$^{12}$C and $^{20}$Ne+$^{4}$He cluster configurations. Results: The density of $0^+$ states in the quartet spectrum is comparable to that found in experiment; however, the density of cluster states is considerably less. Conclusions: The recently observed alpha-scattering resonances do not seem to be simple $^{12}$C+$^{12}$C cluster states, but are more plausibly interpreted as fragmented cluster states due to coupling to quartet excitations, as background states.


title: Making waves in massive star asteroseismology

abstract: Massive stars play a major role not only in stellar evolution but also galactic evolution theory. This is because of their dynamical interaction with binary companions, and because their strong winds and explosive deaths as supernovae provide chemical, radiative and kinematic feedback to their environments. Yet this feedback strongly depends on the physics of the supernova progenitor star. It is only in recent decades that asteroseismology - the study of stellar pulsations - has developed the necessary tools to a high level of sophistication to become a prime method at the forefront of astronomical research for constraining the physical processes at work within stellar interiors. For example, precise and accurate asteroseismic constraints on interior rotation, magnetic field strength and geometry, mixing and angular momentum transport processes of massive stars are becoming increasingly available across a wide range of masses. Moreover, ongoing large-scale time-series photometric surveys with space telescopes have revealed a large diversity in the variability of massive stars, including widespread coherent pulsations across a large range in mass and age, and the discovery of ubiquitous stochastic low-frequency (SLF) variability in their light curves. In this invited review, I discuss the progress made in understanding the physical processes at work within massive star interiors thanks to modern asteroseismic techniques, and conclude with a future outlook.


title: Optimising spectroscopic observations of transiting exoplanets

abstract: When observing the atmospheres of transiting exoplanets using high-resolution spectroscopy, one aims to detect well-resolved spectral features with high signal-to-noise ratios (SNR) as is possible today with modern spectrographs. However, obtaining such high-quality observations comes with a trade-off: a lower cadence of fewer, longer exposures across the transit collects more photons thanks to reduced overheads, enhancing the SNR of each observation, while a higher cadence of several, shorter exposures minimises spectral feature smearing due to the continuously changing radial velocity of the planet. Considering that maximising SNR and minimising smearing are both beneficial to analysis, there is a need to establish where the optimal compromise lies. In this work, we model real transit events based on targets as they would be observed with VLT/CRIRES+ at Paranal Observatory. Creating four hypothetical scenarios, we simulate each observation across 100 realisations of the same transit event in order to vary the time resolution only. We remove telluric and stellar lines using the SYSREM algorithm and analyse them through cross-correlation with model templates, measuring how successfully each time resolution and case detects the planetary signal. We demonstrate that there is a continuous change in the detection significance based on time resolutions, and that the function of this significance has clear maxima. The strength and location of this maxima varies on e.g. planet system parameters, instrumentation, and no. of removal iterations. We discuss why observers should therefore take several factors into account, using a strategy akin to the 'exposure triangle' from traditional photography where a balance must be struck by considering the full context of the observation. Our method is robust and may be employed by observers to estimate best observational strategies for other targets.


title: Typicality of operators on Fr\'echet algebras admitting a hypercyclic algebra

abstract: This paper is devoted to the study of typical properties (in the Baire Category sense) of certain classes of continuous linear operators acting on Fr\'echet algebras, endowed with the topology of pointwise convergence. Our main results show that within natural Polish spaces of continuous operators acting on the algebra $H(\mathbb{C})$ of entire functions on $\mathbb{C}$, a typical operator supports a hypercyclic algebra. We also investigate the case of the complex Fr\'echet algebras $X=\ell_{p}(\mathbb{N})$, $1\le p<+\infty$, or $X=c_{0}(\mathbb{N})$ endowed with the coordinatewise product, and show that whenever $M>1$, a typical operator on $X$ of norm less than or equal to $M$ admits a hypercyclic algebra.


title: Concatenating quantum error correcting codes with decoherence-free subspaces, and vice versa

abstract: Quantum error correcting codes (QECCs) and decoherence-free subspace (DFS) codes provide active and passive means, respectively, to address certain errors that arise during quantum computation. The latter technique is suitable to correct correlated errors with certain symmetries, whilst the former to correct independent errors. The concatenation of a QECC and DFS code results in a degenerate code that splits into actively and passively correcting parts, with the degeneracy impacting either part, leading to degenerate errors as well as degenerate stabilizers. The concatenation of the two types of code can aid universal fault-tolerant quantum computation when a mix of correlated and independent errors is encountered. In particular, we show that for sufficiently strongly correlated errors, the concatenation with the DFS as the inner code provides better entanglement fidelity, whereas for sufficiently independent errors, the concatenation with QECC as the inner code is preferable. As illustrative examples, we examine in detail the concatenation of a 2-qubit DFS code and a 3-qubit repetition code or 5-qubit Knill-Laflamme code, under independent and correlated errors.


title: PnPNet: Pull-and-Push Networks for Volumetric Segmentation with Boundary Confusion

abstract: Precise boundary segmentation of volumetric images is a critical task for image-guided diagnosis and computer-assisted intervention, especially for boundary confusion in clinical practice. However, U-shape networks cannot effectively resolve this challenge due to the lack of boundary shape constraints. Besides, existing methods of refining boundaries overemphasize the slender structure, which results in the overfitting phenomenon due to networks' limited abilities to model tiny objects. In this paper, we reconceptualize the mechanism of boundary generation by encompassing the interaction dynamics with adjacent regions. Moreover, we propose a unified network termed PnPNet to model shape characteristics of the confused boundary region. Core ingredients of PnPNet contain the pushing and pulling branches. Specifically, based on diffusion theory, we devise the semantic difference module (SDM) from the pushing branch to squeeze the boundary region. Explicit and implicit differential information inside SDM significantly boost representation abilities for inter-class boundaries. Additionally, motivated by the K-means algorithm, the class clustering module (CCM) from the pulling branch is introduced to stretch the intersected boundary region. Thus, pushing and pulling branches will shrink and enlarge the boundary uncertainty respectively. They furnish two adversarial forces to promote models to output a more precise delineation of boundaries. We carry out experiments on three challenging public datasets and one in-house dataset, containing three types of boundary confusion in model predictions. Experimental results demonstrate the superiority of PnPNet over other segmentation networks, especially on evaluation metrics of HD and ASSD. Besides, pushing and pulling branches can serve as plug-and-play modules to enhance classic U-shape baseline models. Codes are available.


title: Bayesian Nonparametric Clustering with Feature Selection for Spatially Resolved Transcriptomics Data

abstract: The advent of next-generation sequencing-based spatially resolved transcriptomics (SRT) techniques has reshaped genomic studies by enabling high-throughput gene expression profiling while preserving spatial and morphological context. Nevertheless, there are inherent challenges associated with these new high-dimensional spatial data, such as zero-inflation, over-dispersion, and heterogeneity. These challenges pose obstacles to effective clustering, which is a fundamental problem in SRT data analysis. Current computational approaches often rely on heuristic data preprocessing and arbitrary cluster number prespecification, leading to considerable information loss and consequently, suboptimal downstream analysis. In response to these challenges, we introduce BNPSpace, a novel Bayesian nonparametric spatial clustering framework that directly models SRT count data. BNPSpace facilitates the partitioning of the whole spatial domain, which is characterized by substantial heterogeneity, into homogeneous spatial domains with similar molecular characteristics while identifying a parsimonious set of discriminating genes among different spatial domains. Moreover, BNPSpace incorporates spatial information through a Markov random field prior model, encouraging a smooth and biologically meaningful partition pattern.


title: Universality of extremal eigenvalues of large random matrices

abstract: We prove that the spectral radius of a large random matrix $X$ with independent, identically distributed complex entries follows the Gumbel law irrespective of the distribution of the matrix elements. This solves a long-standing conjecture of Bordenave and Chafa{\"\i} and it establishes the first universality result for one of the most prominent extremal spectral statistics in random matrix theory. Furthermore, we also prove that the argument of the largest eigenvalue is uniform on the unit circle and that the extremal eigenvalues of $X$ form a Poisson point process.


title: Persistent $k$-minimal models and the interval sphere model structure

abstract: In this article we generalize the theory of $k$-minimal models in rational homotopy theory to the context of persistence. Our main motivation is the computation of barcode decompositions of rational homotopy groups of a space. We give an explicit construction of minimal models of maps between commutative differential-graded algebras, which we then use to construct minimal models of tame persistent CDGAs. We then build a model structure on persistent CDGAs for which these minimal models become cell complexes. Applications of our results include an explicit construction of Postnikov towers for copersistent spaces and a decomposition of copersistent Postnikov invariants.


title: On low-scale baryogenesis from three-body decays

abstract: Baryogenesis at the TeV scale from CP-violating decays of a massive particle requires some way to avoid the washouts from processes closely related to the existence of CP violation. It has been proposed that one way can be baryogenesis from three-body decays (instead of two-body decays). In this work we revisit this statement and show that, similarly to two-body-decay models, successful baryogenesis from three-body decays requires that the mass of the decaying particle be well above 10-100 TeV unless some other mechanism to avoid washouts is implemented.


title: Non-Hausdorff $T_1$ Properties

abstract: Several weakenings of the $T_2$ property for topological spaces, including $k$-Hausdorff, $KC$, weakly Hausdorff, semi-Hausdorff, $RC$, and $US$, have been studied by mathematicians. Here we provide a complete survey of how these properties do or do not relate to one another, including several new results to fill in the gaps in the existing literature, motivated by the use of a community-maintained database of topological spaces and their properties.


title: Parametric Frequency Divider based Ising Machines

abstract: We report on a new class of Ising Machines (IMs) that rely on coupled parametric frequency dividers (PFDs) as macroscopic artificial spins. Unlike the IM counterparts based on subharmonic injection locking (SHIL), PFD IMs do not require strong injected continuous wave signals or applied DC voltages. Therefore, they show a significantly lower power consumption per spin compared to SHIL based IMs, making it feasible to accurately solve large scale combinatorial optimization problems (COPs) that are hard or even impossible to solve by using the current von Neumann computing architectures. Furthermore, using high quality (Q) factor resonators in the PFD design makes PFD IMs able to exhibit a nanoWatt level power per spin. Also, it remarkably allows a speed up of the phase synchronization among the PFDs, resulting in shorter time to solution and lower energy to solution despite the resonators' longer relaxation time. As a proof of concept, a 4 node PFD IM has been demonstrated. This IM correctly solves a set of MaxCut problems while consuming just 600 nanoWatts per spin. This power consumption is two orders of magnitude lower than the power per spin of state of the art SHIL based IMs operating at the same frequency.


title: Preparing VVC for Streaming: A Fast Multi-Rate Encoding Approach

abstract: The integration of advanced video codecs into the streaming pipeline is growing in response to the increasing demand for high quality video content. However, the significant computational demand for advanced codecs like Versatile Video Coding (VVC) poses challenges for service providers, including longer encoding time and higher encoding cost. This challenge becomes even more pronounced in streaming, as the same content needs to be encoded at multiple bitrates (also known as representations) to accommodate different network conditions. To accelerate the encoding process of multiple representations of the same content in VVC, we employ the encoding map of a single representation, known as the reference representation, and utilize its partitioning structure to accelerate the encoding of the remaining representations, referred to as dependent representations. To ensure compatibility with parallel processing, we designate the lowest bitrate representation as the reference representation. The experimental results indicate a substantial improvement in the encoding time for the dependent representations, achieving an average reduction of 40%, while maintaining a minimal average quality drop of only 0.43 in Video Multi-method Assessment Fusion (VMAF). This improvement is observed when utilizing Versatile Video Encoder (VVenC), an open and optimized VVC encoder implementation.


title: Set-valued propagation of chaos for controlled path-dependent McKean-Vlasov SPDEs

abstract: We develop a limit theory for controlled path-dependent mean field stochastic partial differential equations (SPDEs) within the semigroup approach of Da Prato and Zabczyk. More precisely, we prove existence results for mean field limits and particle approximations, and we establish set-valued propagation of chaos in the sense that we show convergence of sets of empirical distributions to sets of mean field limits in the Hausdorff metric topology. Furthermore, we discuss consequences of our results to stochastic optimal control. As another application, we deduce a propagation of chaos result for Peng's $G$-Brownian motion with drift interaction.


title: Exploring the conformal transition from above and below

abstract: We consider conformal transitions arising from the merging of IR and UV fixed points, expected to occur in QCD with a large enough number of flavors. We study the smoothness of physical quantities across this transition, being mostly determined by the logarithmic breaking of conformal invariance. We investigate this explicitly using holography where approaching the conformal transition either from outside or inside the conformal window (perturbed by a mass term) is characterized by the same dynamics. The mass of spin-1 mesons and $F_\pi$ are shown to be continuous across the transition, as well as the dilaton mass. This implies that the lightness of the dilaton cannot be a consequence of the spontaneous breaking of scale invariance when leaving the conformal window. Our analysis suggests that the light scalar observed in QCD lattice simulations is a $q\bar q$ meson that becomes light since the $q\bar q$-operator dimension reaches its minimal value.


title: On Finite Pseudorandom Binary Sequences: Functions from a Hardy field

abstract: We provide a construction of binary pseudorandom sequences based on Hardy fields $\mathcal{H}$ as considered by Boshernitzan. In particular we give upper bounds for the well distribution measure and the correlation measure defined by Mauduit and S\'ark\"ozy. Finally we show that the correlation measure of order $s$ is small only if $s$ is small compared to the ``growth exponent'' of $\mathcal{H}$.


title: LD-SDM: Language-Driven Hierarchical Species Distribution Modeling

abstract: We focus on the problem of species distribution modeling using global-scale presence-only data. Most previous studies have mapped the range of a given species using geographical and environmental features alone. To capture a stronger implicit relationship between species, we encode the taxonomic hierarchy of species using a large language model. This enables range mapping for any taxonomic rank and unseen species without additional supervision. Further, we propose a novel proximity-aware evaluation metric that enables evaluating species distribution models using any pixel-level representation of ground-truth species range map. The proposed metric penalizes the predictions of a model based on its proximity to the ground truth. We describe the effectiveness of our model by systematically evaluating on the task of species range prediction, zero-shot prediction and geo-feature regression against the state-of-the-art. Results show our model outperforms the strong baselines when trained with a variety of multi-label learning losses.


title: Fractional, semilinear, and sparse optimal control: a priori error bounds

abstract: In this work, we use the integral definition of the fractional Laplace operator and study a sparse optimal control problem involving a fractional, semilinear, and elliptic partial differential equation as state equation; control constraints are also considered. We establish the existence of optimal solutions and first and second order optimality conditions. We also analyze regularity properties for optimal variables. We propose and analyze two finite element strategies of discretization: a fully discrete scheme, where the control variable is discretized with piecewise constant functions, and a semidiscrete scheme, where the control variable is not discretized. For both discretization schemes, we analyze convergence properties and a priori error bounds.


title: An H Surface Plasma Source for the ESS Storage Ring

abstract: For H- charge exchange (stripping) injection to European Spallation Source (ESS) storage ring it is necessary to have H- ion source with a current of ~90 mA, pulses duration 3 ms, and repetition of 14 Hz (duty factor ~4%) extendable to repetition up to 28 Hz (df ~8%). Magnetron surface plasma H- source (SPS) with cesiation and active cathode and anode cooling is one of the possible solutions. Brookhaven National Laboratory (BNL) magnetron SPS can produce H- beam current of ~100 mA at ~2 kW discharge power and can operate up to a duty factor of ~1 % (average power ~14 W) without the active cooling. With active cathode and anode cooling it is possible to increase average discharge power up to 140 W(df 8%).For the delivery of the beam to Radio Frequency Quadrupole (RFQ) it is possible to use a short electrostatic Low Energy Beam Transport (LEBT) as in Spallation Neutron Source (SNS).


title: Subhalos in Galaxy Clusters: Coherent Accretion and Internal Orbits

abstract: Subhalo dynamics in galaxy cluster host halos govern the observed distribution and properties of cluster member galaxies. We use the IllustrisTNG simulation to investigate the accretion and orbits of subhalos found in cluster-size halos. We find that the median change in the major axis direction of cluster-size host halos is approximately $80$ degrees between $a\sim0.1$ and present-day. We identify coherent regions in the angular distribution of subhalo accretion, and $\sim 68\%$ of accreted subhalos enter their host halo through $\sim38\%$ of the surface area at the virial radius. The majority of galaxy clusters in the sample have $\sim2$ such coherent regions, likely corresponding to cluster-feeding filaments. We further measure angular orbits of subhalos with respect to the host major axis and use a clustering algorithm to identify distinct orbit modes with varying oscillation timescales. The orbit modes correlate with subhalo accretion conditions. Subhalos in orbit modes with shorter oscillations tend to have lower peak masses and accretion directions somewhat more aligned with the major axis. One orbit mode, exhibiting the least oscillatory behavior, largely consists of subhalos that accrete near the plane perpendicular to the host halo major axis. Our findings are consistent with expectations from inflow from major filament structures and internal dynamical friction: most subhalos accrete through filaments, and more massive subhalos experience fewer orbits after accretion. Our work offers a unique quantification of subhalo dynamics that can be connected to how the intracluster medium strips and quenches cluster galaxies.


title: Global Latent Neural Rendering

abstract: A recent trend among generalizable novel view synthesis methods is to learn a rendering operator acting over single camera rays. This approach is promising because it removes the need for explicit volumetric rendering, but it effectively treats target images as collections of independent pixels. Here, we propose to learn a global rendering operator acting over all camera rays jointly. We show that the right representation to enable such rendering is a 5-dimensional plane sweep volume consisting of the projection of the input images on a set of planes facing the target camera. Based on this understanding, we introduce our Convolutional Global Latent Renderer (ConvGLR), an efficient convolutional architecture that performs the rendering operation globally in a low-resolution latent space. Experiments on various datasets under sparse and generalizable setups show that our approach consistently outperforms existing methods by significant margins.


title: Non-relativistic nuclear reduction for tensor couplings in dark matter direct detection and $\mu \to e$ conversion

abstract: The Nonrelativistic Effective Theory (NRET) is widely used in dark matter direct detection and charged-lepton flavor violation studies through $\mu \to e$ conversion. However, existing literature has not fully considered tensor couplings. This study bridges this gap by utilizing an innovative tensor decomposition method, extending NRET to incorporate previously overlooked tensor interactions. We find additional operators in the $\mu \to e$ conversion that are not present in the scalar and vector couplings. This development is expected to have a significant impact on ongoing experiments seeking physics beyond the Standard Model and on our understanding of the new-physics interactions. To support further research and experimental analyses, comprehensive tables featuring tensor matrix elements and their corresponding operators are provided.


title: Colouring random subgraphs

abstract: We study several basic problems about colouring the $p$-random subgraph $G_p$ of an arbitrary graph $G$, focusing primarily on the chromatic number and colouring number of $G_p$. In particular, we show that there exist infinitely many $k$-regular graphs $G$ for which the colouring number (i.e., degeneracy) of $G_{1/2}$ is at most $k/3 + o(k)$ with high probability, thus disproving the natural prediction that such random graphs must have colouring number at least $k/2 - o(k)$.


title: Coordinating mobile network coverage and vehicle routing: a double column generation approach

abstract: The emergence of 5G technologies opens opportunities to support mission-critical activities with high-speed Internet coverage. This paper defines a joint job-emitting vehicle routing problem with time windows to coordinate the operations of mission-oriented vehicles ("mission vehicles") and mobile emitters ("emitting vehicles"). This problem exhibits a joint vehicle routing structure, with coupling constraints to ensure that each job is supported by appropriate network coverage. We solve it via an exact and finite double column generation algorithm: pricing problems generate vehicle paths dynamically, and a master problem coordinates the operations of mission vehicles and emitting vehicles to ensure appropriate network coverage for each job. We propose several acceleration strategies to strengthen the algorithm's computational performance. Computational results show the scalability of the proposed methodology. Specifically, the methodology cuts runtimes by over 95% in small-scale instances as compared to an explicit formulation, and scales to large-scale instances involving over 50 jobs. From a practical standpoint, results highlight the benefits of dynamically coordinating mission vehicles and emitting vehicles, thus suggesting opportunities to support emerging 5G technologies with dedicated routing algorithms.


title: Mapping the influence of impurities with varying interaction strength on nucleation in the 2D Ising model

abstract: We study nucleation of magnetisation reversal in the two dimensional Ising model at non-zero external field and in the presence of randomly placed static and dynamic impurities. Impurity-spin interaction strengths are varied fixing other interaction strengths. We observe a decrease in the nucleation rate when the total interaction strength with impurities is decreased in the case of static impurities. The nucleation rate saturates with respect to interaction strength when the impurity density is low. However the nucleation rate does not saturate for high impurity density. Similar behaviour is observed with dynamic impurities both at low and high densities. We explore a broad range of both spin-symmetric and spin-antisymmetric interaction strengths and map the regime for which the impurities act as a surfactant, decreasing the surface energy of the nucleating phase. We also characterise different nucleation regimes observed at different values of interaction strength. These include regimes where impurities are included or excluded from the nucleus, and a region in which we observe cross nucleation of impurity clusters at the nucleus boundary.


title: Enhancing CT Image synthesis from multi-modal MRI data based on a multi-task neural network framework

abstract: Image segmentation, real-value prediction, and cross-modal translation are critical challenges in medical imaging. In this study, we propose a versatile multi-task neural network framework, based on an enhanced Transformer U-Net architecture, capable of simultaneously, selectively, and adaptively addressing these medical image tasks. Validation is performed on a public repository of human brain MR and CT images. We decompose the traditional problem of synthesizing CT images into distinct subtasks, which include skull segmentation, Hounsfield unit (HU) value prediction, and image sequential reconstruction. To enhance the framework's versatility in handling multi-modal data, we expand the model with multiple image channels. Comparisons between synthesized CT images derived from T1-weighted and T2-Flair images were conducted, evaluating the model's capability to integrate multi-modal information from both morphological and pixel value perspectives.


title: FoundationPose: Unified 6D Pose Estimation and Tracking of Novel Objects

abstract: We present FoundationPose, a unified foundation model for 6D object pose estimation and tracking, supporting both model-based and model-free setups. Our approach can be instantly applied at test-time to a novel object without fine-tuning, as long as its CAD model is given, or a small number of reference images are captured. We bridge the gap between these two setups with a neural implicit representation that allows for effective novel view synthesis, keeping the downstream pose estimation modules invariant under the same unified framework. Strong generalizability is achieved via large-scale synthetic training, aided by a large language model (LLM), a novel transformer-based architecture, and contrastive learning formulation. Extensive evaluation on multiple public datasets involving challenging scenarios and objects indicate our unified approach outperforms existing methods specialized for each task by a large margin. In addition, it even achieves comparable results to instance-level methods despite the reduced assumptions. Project page: https://nvlabs.github.io/FoundationPose/


title: McDuff and Prime von Neumann algebras arising from Thompson-Like Groups

abstract: In this paper we show that the cloning system construction of Skipper and Zaremsky [SZ21], under sufficient conditions, gives rise to Thompson-Like groups which are stable; in particular, these are McDuff groups in the sense of Deprez and Vaes [DV18]. This answers a question of Bashwinger and Zaremsky posed in [BZ23] in the affirmative. We show that the von Neumann algebra of the Higman-Thompson groups, $L(V_d)$, is a prime II$_1$ factor. Our method also provides evidence towards the primeness conjecture for group von Neumann algebras associated to non-elementary acylindrically hyperbolic group by showing a class of acylindrically hyperbolic group yield prime von Neumann algebras.


title: Anti-Diffusion in an Algae-Bacteria Microcosm: Photosynthesis, Chemotaxis, and Expulsion

abstract: In Nature there are significant relationships known between microorganisms from two kingdoms of life, as in the supply of vitamin B$_{12}$ by bacteria to algae. Such interactions motivate general investigations into the spatio-temporal dynamics of metabolite exchanges. Here we study by experiment and theory a model system: a coculture of the bacterium $B. subtilis$, an obligate aerobe that is chemotactic to oxygen, and a nonmotile mutant of the alga $C. reinhardtii$, which photosynthetically produces oxygen when illuminated. Strikingly, when a shaft of light illuminates a thin, initially uniform suspension of the two, the chemotactic influx of bacteria to the photosynthetically active region leads to expulsion of the algae from that area. This effect arises from algal transport due to spatially-varying collective behavior of bacteria, and is mathematically related to the ``turbulent diamagnetism" associated with magnetic flux expulsion in stars.


title: Unbounded solutions for the Muskat problem

abstract: We prove the local existence of solutions of the form $x^2+ct+g,$ with $g\in H^s(\mathbb R)$ and $s\geq 3,$ for the Muskat problem in the stable regime. We use energy methods to obtain a bound of $g$ in Sobolev spaces. In the proof we deal with the loss of the Rayleigh-Taylor condition at infinity and a new structure of the kernels in the equation. Remarkably, these solutions grow quadratically at infinity.


title: Topological entanglement entropy for torus knot bipartitions and the Verlinde-like formulas

abstract: The topological R\'enyi and entanglement entropies depend on the bipartition of the manifold and the choice of the ground states. However, these entanglement quantities remain invariant under a coordinate transformation when the bipartition also undergoes the same transformation. In the context of topological quantum field theories, these coordinate transformations reduce to representations of the mapping class group on the manifold of the Hilbert space. We employ this invariant property of the R\'enyi and entanglement entropies under coordinate transformations for TQFTs in (2 + 1) dimensions on a torus with various bipartitions. By utilizing the replica trick and the surgery method to compute the topological R\'enyi and entanglement entropies, the invariant property results in Verlinde-like formulas. Furthermore, for the bipartition with interfaces as two non-intersecting torus knots, an $SL(2, \mathbb{Z})$ transformation can untwist the torus knots, leading to a simple bipartition with an effective ground state. This invariant property allows us to demonstrate that the topological entanglement entropy has a lower bound $-2 \ln D$, where $D$ is the total quantum dimensions of the system.


title: Kernel Polynomial Method for Linear Spin Wave Theory

abstract: Calculating dynamical spin correlations is essential for matching model magnetic exchange Hamiltonians to momentum-resolved spectroscopic measurements. A major numerical bottleneck is the diagonalization of the dynamical matrix, especially in systems with large magnetic unit cells, such as those with incommensurate magnetic structures or quenched disorder. In this paper, we demonstrate an efficient scheme based on the kernel polynomial method for calculating dynamical correlations of relevance to inelastic neutron scattering experiments. This method reduces the scaling of numerical cost from cubic to linear in the magnetic unit cell size.


title: Estimating the D-line Energy Splitting of Alkali Metals Using a Modified Perturbation Method

abstract: We report here on how a known method from standard perturbation theory for estimating the energy of the D-line splitting in hydrogen can be modified to effectively approximate this quantity for all of the alkali metals. The approach utilizes a Rayleigh- Schrodinger perturbation theory first order correction to the energy. The perturbing Hamiltonian is the standard relativistically corrected spin-orbit Hamiltonian. From this, one derives an energy difference between the doublet lines that is theoretically appropriate for any one electron atom. This energy difference is written in terms of the Bohr energy. The results are good for hydrogen but, as expected, are significantly off from the experimental values for the multi-electron alkali metals. We show here that by replacing the Bohr energy with a first ionization potential, that the theory then gives greatly improved values for the D level splitting energy. However, this approach overestimates the splitting energy for the light alkali metals and underestimates it for the heavy ones. The best result was for Rb where the estimate only varied from the experimentally reported value by 3.2%. The modified theory is shown to yield accurate results for all of the alkali metals when the original Bohr energy is adjusted with an appropriate screening constant. Screening constants generated using the Slater scheme however, which yield accurate estimates for ionization potentials, do not give the correct results for the D line splitting energies. A method is given whereby effective screening constants can be computed. These screening constants are found to be a function of the atomic number with constant coefficients that can be estimated by the ratio of cation to atomic radii. We conclude that the discrepancy in screening constants is due to electron-relaxation, a phenomenon that occurs during ionization.


title: Challenges and Opportunities in Implementing Negative Differential Resistance Mode Reconfigurable Field Effect Transistors

abstract: Desirably, the world relies on the devices being compact, as they could drive to the increased functionality of integrated circuits at the provided footstep, that is becoming more reliable. To reduce the scalability over the devices, approach has been outlined utilizing the NDR mode reconfigurable functionality over the transistors. Being an individual device efficient in exhibiting different task with the different configurations in the same physical circuitry. On the view of reconfigurable transistors, possibly authorize the reconfiguration from a p-type to n-type channel transistor has been expelled as an emerging application such as static memory cells, fast switching logic circuits as well as energy efficient computational multi valued logic. This article emphasizes NDR mode RFET along with its classification, followed by enhancing the RFET technology concepts and RFETs future potential has been discussed briefing with the growing applications like hardware security as well as neuro-inspired computing.


title: The pseudospectra of black holes in AdS

abstract: We study the stability of quasinormal modes (QNMs) in electrically charged black brane spacetimes that asymptote to AdS by means of the pseudospectrum. Methodologically, we adopt ingoing Eddington-Finkelstein coordinates to cast QNMs in terms of a generalised eigenvalue problem involving a non-selfadjoint operator; this simplifies the computation significantly in comparison with previous results in the literature. Our analysis reveals spectral instability for (neutral) scalar as well as gravitoelectric perturbations. This indicates that the equilibration process of perturbed black branes is sensitive to external perturbations. Particular attention is given on the hydrodynamic modes, which are found to be the least unstable. In contrast with computations in hyperboloidal coordinates, we find that the pseudospectral contour lines cross to the upper half plane. This indicates the existence of pseudo-resonances as well as the possibility of transient instabilities. We also investigate the asymptotic structure of pseudospectral contour levels and we find remarkable universality across all sectors, persistent in the extremal limit.


title: Boundary Conditions for Extremal Black Holes from 2d Gravity

abstract: We devise new boundary conditions for the near-horizon geometries of extremal BTZ and Kerr black holes, as well as for the ultra-cold limit of the Kerr-de Sitter black hole. These boundary conditions are obtained as the higher-dimensional uplift of recently proposed boundary conditions in two-dimensional gravity. Their asymptotic symmetries consist in the semi-direct product of a Virasoro and a current algebra, of which we determine the central extensions.


title: Toolbox for nonreciprocal dispersive models in circuit QED

abstract: We provide a systematic method for constructing effective dispersive Lindblad master equations to describe weakly-anharmonic superconducting circuits coupled by a generic dissipationless nonreciprocal linear system, with effective coupling parameters and decay rates written in terms of the immittance parameters characterizing the coupler. This article extends the foundational work of Solgun et al. (2019) for linear reciprocal couplers described by an impedance response. Here, we expand the existing toolbox to incorporate nonreciprocal elements, account for direct stray coupling between immittance ports, circumvent potential singularities, and include dissipative interactions arising from interaction with a common bath. We illustrate the use of our results with a circuit of weakly-anharmonic Josephson junctions coupled to a multiport nonreciprocal environment and a dissipative port. The results obtained here can be used for the design of complex superconducting quantum processors with non-trivial routing of quantum information, as well as analog quantum simulators of condensed matter systems.


title: Disconnected cuts in 4-connected planar graphs

abstract: Let $G=(V,E)$ be a connected graph. A subset $S\subset V$ is a cut of $G$ if $G-S$ is disconnected. A near triangulation is a 2-connected plane graph that has at most one face that is not a triangle. In this paper, we explore minimal cuts of 4-connected planar graphs. Our main result is that every minimal cut of a 4-connected planar graph $G$ is connected if and only if $G$ is a near-triangulation. We use this result to sketch a linear-time algorithm for finding a disconnected cut of a 4-connected planar graph.


title: CUTTANA: Scalable Graph Partitioning for Faster Distributed Graph Databases and Analytics

abstract: Graph partitioning plays a pivotal role in various distributed graph processing applications, including graph analytics, graph neural network training, and distributed graph databases. Graphs that require distributed settings are often too large to fit in the main memory of a single machine. This challenge renders traditional in-memory graph partitioners infeasible, leading to the emergence of streaming solutions. Streaming partitioners produce lower-quality partitions because they work from partial information and must make premature decisions before they have a complete view of a vertex's neighborhood. We introduce CUTTANA, a streaming graph partitioner that partitions massive graphs (Web/Twitter scale) with superior quality compared to existing streaming solutions. CUTTANA uses a novel buffering technique that prevents the premature assignment of vertices to partitions and a scalable coarsening and refinement technique that enables a complete graph view, improving the intermediate assignment made by a streaming partitioner. We implemented a parallel version for CUTTANA that offers nearly the same partitioning latency as existing streaming partitioners. Our experimental analysis shows that CUTTANA consistently yields better partitioning quality than existing state-of-the-art streaming vertex partitioners in terms of both edge-cut and communication volume metrics. We also evaluate the workload latencies that result from using CUTTANA and other partitioners in distributed graph analytics and databases. CUTTANA outperforms the other methods in most scenarios (algorithms, datasets). In analytics applications, CUTTANA improves runtime performance by up to 59% compared to various streaming partitioners (HDRF, Fennel, Ginger, HeiStream). In graph database tasks, CUTTANA results in higher query throughput by up to 23%, without hurting tail latency.


title: Leptogenesis in the minimal flipped $SU(5)$ unification

abstract: We study the prospects of thermal leptogenesis in the framework of the minimal flipped $SU(5)$ unified model in which the RH neutrino mass scale emerges as a two-loop effect. Despite its strong suppression with respect to the unification scale which tends to disfavor leptogenesis in the standard Davidson-Ibarra regime (and a notoriously large washout of the $N_1$-generated asymmetry owing to a top-like Yukawa entry in the Dirac neutrino mass matrix) the desired $\eta_B\sim 6\times 10^{-10}$ can still be attained in several parts of the parameter space exhibiting interesting baryon and lepton number violation phenomenology. Remarkably enough, in all these regions the mass of the lightest LH neutrino is so low that it yields $m_\beta \lesssim 0.03$ eV for the effective neutrino mass measured in beta-decay, i.e., an order of magnitude below the design sensitivity limit of the KATRIN experiment. This makes the model potentially testable in the near future.


title: Distributional Preference Learning: Understanding and Accounting for Hidden Context in RLHF

abstract: In practice, preference learning from human feedback depends on incomplete data with hidden context. Hidden context refers to data that affects the feedback received, but which is not represented in the data used to train a preference model. This captures common issues of data collection, such as having human annotators with varied preferences, cognitive processes that result in seemingly irrational behavior, and combining data labeled according to different criteria. We prove that standard applications of preference learning, including reinforcement learning from human feedback (RLHF), implicitly aggregate over hidden contexts according to a well-known voting rule called Borda count. We show this can produce counter-intuitive results that are very different from other methods which implicitly aggregate via expected utility. Furthermore, our analysis formalizes the way that preference learning from users with diverse values tacitly implements a social choice function. A key implication of this result is that annotators have an incentive to misreport their preferences in order to influence the learned model, leading to vulnerabilities in the deployment of RLHF. As a step towards mitigating these problems, we introduce a class of methods called distributional preference learning (DPL). DPL methods estimate a distribution of possible score values for each alternative in order to better account for hidden context. Experimental results indicate that applying DPL to RLHF for LLM chatbots identifies hidden context in the data and significantly reduces subsequent jailbreak vulnerability. Our code and data are available at https://github.com/cassidylaidlaw/hidden-context


title: Structure of connected nested automorphism groups

abstract: Let $X$ be an affine algebraic variety and $\mathrm{Aut}(X)$ be its automorphism group. A subgroup $G\subset\mathrm{Aut}(X)$ is called nested if it is a countable increasing union of algebraic subgroups. We introduce so called dJ-like unipotent subgroups described by tuples of locally nilpotent derivations. We conjecture that any nested unipotent subgroup is contained in a dJ-like one. As an application, we show that under this conjecture any connected nested subgroup in $\mathrm{Aut}(X)$ is closed with respect to the ind-topology. Finally, we present a short proof that the de Jonqui\`eres subgroup of $\mathrm{Aut}(\mathbb{A}^n)$ is closed. We introduce the notion of a degree-preserving subgroup for that.


title: On the existence of some completely regular codes in Hamming graphs

abstract: We solve several first questions in the table of small parameters of completely regular (CR) codes in Hamming graphs $H(n,q)$. The most uplifting result is the existence of a $\{13,6,1;1,6,9\}$-CR code in $H(n,2)$, $n\ge 13$. We also establish the non-existence of a $\{11,4;3,6\}$-code and a $\{10,3;4,7\}$-code in $H(12,2)$ and $H(13,2)$. A partition of the complement of the quaternary Hamming code of length~$5$ into $4$-cliques is found, which can be used to construct completely regular codes with covering radius $1$ by known constructions. Additionally we discuss the parameters $\{24,21,10;1,4,12\}$ of a putative completely regular code in $H(24,2)$ and show the nonexistence of such a code in $H(8,4)$. Keywords: Hamming graph, equitable partition, completely regular code


title: Distributed Inference and Fine-tuning of Large Language Models Over The Internet

abstract: Large language models (LLMs) are useful in many NLP tasks and become more capable with size, with the best open-source models having over 50 billion parameters. However, using these 50B+ models requires high-end hardware, making them inaccessible to most researchers. In this work, we investigate methods for cost-efficient inference and fine-tuning of LLMs, comparing local and distributed strategies. We observe that a large enough model (50B+) can run efficiently even on geodistributed devices in a consumer-grade network. This could allow running LLM efficiently by pooling together idle compute resources of multiple research groups and volunteers. We address two open problems: (1) how to perform inference and fine-tuning reliably if any device can disconnect abruptly and (2) how to partition LLMs between devices with uneven hardware, joining and leaving at will. In order to do that, we develop special fault-tolerant inference algorithms and load-balancing protocols that automatically assign devices to maximize the total system throughput. We showcase these algorithms in Petals - a decentralized system that runs Llama 2 (70B) and BLOOM (176B) over the Internet up to 10x faster than offloading for interactive generation. We evaluate the performance of our system in simulated conditions and a real-world setup spanning two continents.


title: Asymptotic growth rate of solutions to level-set forced mean curvature flows with evolving spirals

abstract: Here, we study a level-set forced mean curvature flow with evolving spirals and the homogeneous Neumann boundary condition, which appears in a crystal growth model. Under some appropriate conditions on the forcing term, we prove that the solution is globally Lipschitz. We then study the large time average of the solution and deduce the asymptotic growth rate of the crystal. Some large time behavior results of the solution are obtained.


title: On the Computational Hardness of Quantum One-Wayness

abstract: There is a large body of work studying what forms of computational hardness are needed to realize classical cryptography. In particular, one-way functions and pseudorandom generators can be built from each other, and thus require equivalent computational assumptions to be realized. Furthermore, the existence of either of these primitives implies that $\rm{P} \neq \rm{NP}$, which gives a lower bound on the necessary hardness. One can also define versions of each of these primitives with quantum output: respectively one-way state generators and pseudorandom state generators. Unlike in the classical setting, it is not known whether either primitive can be built from the other. Although it has been shown that pseudorandom state generators for certain parameter regimes can be used to build one-way state generators, the implication has not been previously known in full generality. Furthermore, to the best of our knowledge, the existence of one-way state generators has no known implications in complexity theory. We show that pseudorandom states compressing $n$ bits to $\log n + 1$ qubits can be used to build one-way state generators and pseudorandom states compressing $n$ bits to $\omega(\log n)$ qubits are one-way state generators. This is a nearly optimal result since pseudorandom states with fewer than $c \log n$-qubit output can be shown to exist unconditionally. We also show that any one-way state generator can be broken by a quantum algorithm with classical access to a $\rm{PP}$ oracle. An interesting implication of our results is that a $t(n)$-copy one-way state generator exists unconditionally, for every $t(n) = o(n/\log n)$. This contrasts nicely with the previously known fact that $O(n)$-copy one-way state generators require computational hardness. We also outline a new route towards a black-box separation between one-way state generators and quantum bit commitments.


title: View-Dependent Octree-based Mesh Extraction in Unbounded Scenes for Procedural Synthetic Data

abstract: Procedural synthetic data generation has received increasing attention in computer vision. Procedural signed distance functions (SDFs) are a powerful tool for modeling large-scale detailed scenes, but existing mesh extraction methods have artifacts or performance profiles that limit their use for synthetic data. We propose OcMesher, a mesh extraction algorithm that efficiently handles high-detail unbounded scenes with perfect view-consistency, with easy export to downstream real-time engines. The main novelty of our solution is an algorithm to construct an octree based on a given SDF and multiple camera views. We performed extensive experiments, and show our solution produces better synthetic data for training and evaluation of computer vision models.


title: An Invitation to Deep Reinforcement Learning

abstract: Training a deep neural network to maximize a target objective has become the standard recipe for successful machine learning over the last decade. These networks can be optimized with supervised learning, if the target objective is differentiable. For many interesting problems, this is however not the case. Common objectives like intersection over union (IoU), bilingual evaluation understudy (BLEU) score or rewards cannot be optimized with supervised learning. A common workaround is to define differentiable surrogate losses, leading to suboptimal solutions with respect to the actual objective. Reinforcement learning (RL) has emerged as a promising alternative for optimizing deep neural networks to maximize non-differentiable objectives in recent years. Examples include aligning large language models via human feedback, code generation, object detection or control problems. This makes RL techniques relevant to the larger machine learning audience. The subject is, however, time intensive to approach due to the large range of methods, as well as the often very theoretical presentation. In this introduction, we take an alternative approach, different from classic reinforcement learning textbooks. Rather than focusing on tabular problems, we introduce reinforcement learning as a generalization of supervised learning, which we first apply to non-differentiable objectives and later to temporal problems. Assuming only basic knowledge of supervised learning, the reader will be able to understand state-of-the-art deep RL algorithms like proximal policy optimization (PPO) after reading this tutorial.


title: See, Say, and Segment: Teaching LMMs to Overcome False Premises

abstract: Current open-source Large Multimodal Models (LMMs) excel at tasks such as open-vocabulary language grounding and segmentation but can suffer under false premises when queries imply the existence of something that is not actually present in the image. We observe that existing methods that fine-tune an LMM to segment images significantly degrade their ability to reliably determine ("see") if an object is present and to interact naturally with humans ("say"), a form of catastrophic forgetting. In this work, we propose a cascading and joint training approach for LMMs to solve this task, avoiding catastrophic forgetting of previous skills. Our resulting model can "see" by detecting whether objects are present in an image, "say" by telling the user if they are not, proposing alternative queries or correcting semantic errors in the query, and finally "segment" by outputting the mask of the desired objects if they exist. Additionally, we introduce a novel False Premise Correction benchmark dataset, an extension of existing RefCOCO(+/g) referring segmentation datasets (which we call FP-RefCOCO(+/g)). The results show that our method not only detects false premises up to 55% better than existing approaches, but under false premise conditions produces relative cIOU improvements of more than 31% over baselines, and produces natural language feedback judged helpful up to 67% of the time.


title: ViLA: Efficient Video-Language Alignment for Video Question Answering

abstract: In this work, we propose an efficient Video-Language Alignment (ViLA) network. Our ViLA model addresses both efficient frame sampling and effective cross-modal alignment in a unified way. In our ViLA network, we design a new learnable text-guided Frame-Prompter together with a new cross-modal distillation (QFormer-Distiller) module. Pre-trained large image-language models have shown promising results on problems such as visual question answering (VQA). However, how to efficiently and effectively sample video frames when adapting pre-trained large image-language model to video-language alignment is still the major challenge. Compared with prior work, our ViLA model demonstrates the capability of selecting key frames with critical contents, thus improving the video-language alignment accuracy while reducing the inference latency +3.3% on NExT-QA Temporal with 3.0X speed up). Overall, our ViLA network outperforms the state-of-the-art methods on the video question-answering benchmarks: +4.6% on STAR Interaction, +2.2% on STAR average with 3.0X speed up, ours 2-frames out-perform SeViLA 4-frames on the VLEP dataset with 4.2X speed-up.


title: Entanglement and factorization in axion-de Sitter universes

abstract: We study Renyi entropies and late-time bulk correlators between asymptotically de Sitter space universes connected through an Euclidean axion wormhole in arbitrary dimensions. We first establish the notion of entropy with respect to these observers within the background-independent approach to the algebra of operators. We then provide an explicit derivation of holographic Renyi entropies between the universes considering the dS/CFT correspondence. In the quantum mechanical description, the results can be recasted in terms of reduced density matrix where one of the asymptotically dS universes is traced out. Remarkably, our work shows that the throat of the Euclidean wormhole is associated with the entanglement between the universes. Later, we study correlators for heavy particles in the presence of an observer. We find that the Euclidean wormhole saddle allows for the late-time correlators with respect to observers located in the asymptotically dS universes to achieve a constant value at late times, while for the disconnected saddles do not contribute. The result is compatible with each of the asymptotically de Sitter universes being described by a finite-dimensional quantum dual theory. Lastly, we provide with an effective theory description of the dimensional reduction of these geometries in terms of dilaton-gravity theory with conformally coupled matter.


title: The Effective Horizon Explains Deep RL Performance in Stochastic Environments

abstract: Reinforcement learning (RL) theory has largely focused on proving minimax sample complexity bounds. These require strategic exploration algorithms that use relatively limited function classes for representing the policy or value function. Our goal is to explain why deep RL algorithms often perform well in practice, despite using random exploration and much more expressive function classes like neural networks. Our work arrives at an explanation by showing that many stochastic MDPs can be solved by performing only a few steps of value iteration on the random policy's Q function and then acting greedily. When this is true, we find that it is possible to separate the exploration and learning components of RL, making it much easier to analyze. We introduce a new RL algorithm, SQIRL, that iteratively learns a near-optimal policy by exploring randomly to collect rollouts and then performing a limited number of steps of fitted-Q iteration over those rollouts. Any regression algorithm that satisfies basic in-distribution generalization properties can be used in SQIRL to efficiently solve common MDPs. This can explain why deep RL works, since it is empirically established that neural networks generalize well in-distribution. Furthermore, SQIRL explains why random exploration works well in practice. We leverage SQIRL to derive instance-dependent sample complexity bounds for RL that are exponential only in an "effective horizon" of lookahead and on the complexity of the class used for function approximation. Empirically, we also find that SQIRL performance strongly correlates with PPO and DQN performance in a variety of stochastic environments, supporting that our theoretical analysis is predictive of practical performance. Our code and data are available at https://github.com/cassidylaidlaw/effective-horizon.


title: State-insensitive wavelengths for light shifts and photon scattering from Zeeman states

abstract: Atoms are not two-level systems, and their rich internal structure often leads to complex phenomena in the presence of light. Here, we analyze off-resonant light scattering including the full hyperfine and magnetic structure. We find a set of frequency detunings where the induced atomic dipole is the same irrespective of the Zeeman state, and where two-photon transitions that alter the atomic state turn off. For alkali atoms and alkaline-earth ions, if the hyperfine splitting is dominated by the magnetic dipole moment contribution, these detunings approximately coincide. Therefore, at a given ``magical'' detuning, all Zeeman states in a hyperfine manifold behave almost identically, and can be traced out to good approximation. This feature prevents state decoherence due to light scattering, which impacts quantum optics experiments and quantum information applications.


title: PTT: Point-Trajectory Transformer for Efficient Temporal 3D Object Detection

abstract: Recent temporal LiDAR-based 3D object detectors achieve promising performance based on the two-stage proposal-based approach. They generate 3D box candidates from the first-stage dense detector, followed by different temporal aggregation methods. However, these approaches require per-frame objects or whole point clouds, posing challenges related to memory bank utilization. Moreover, point clouds and trajectory features are combined solely based on concatenation, which may neglect effective interactions between them. In this paper, we propose a point-trajectory transformer with long short-term memory for efficient temporal 3D object detection. To this end, we only utilize point clouds of current-frame objects and their historical trajectories as input to minimize the memory bank storage requirement. Furthermore, we introduce modules to encode trajectory features, focusing on long short-term and future-aware perspectives, and then effectively aggregate them with point cloud features. We conduct extensive experiments on the large-scale Waymo dataset to demonstrate that our approach performs well against state-of-the-art methods. Code and models will be made publicly available at https://github.com/kuanchihhuang/PTT.