title: Multi Digit Ising Mapping for Low Precision Ising Solvers

abstract: The last couple of years have seen an ever-increasing interest in using different Ising solvers, like Quantum annealers, Coherent Ising machines, and Oscillator-based Ising machines, for solving tough computational problems in various domains. Although the simulations predict massive performance improvements for several tough computational problems, the real implementations of the Ising solvers tend to have limited precision, which can cause significant performance deterioration. This paper presents a novel methodology for mapping the problem on the Ising solvers to artificially increase the effective precision. We further evaluate our method for the Multiple-Input-Multiple-Output signal detection problem.


title: Fighting crime with Transformers: Empirical analysis of address parsing methods in payment data

abstract: In the financial industry, identifying the location of parties involved in payments is a major challenge in the context of various regulatory requirements. For this purpose address parsing entails extracting fields such as street, postal code, or country from free text message attributes. While payment processing platforms are updating their standards with more structured formats such as SWIFT with ISO 20022, address parsing remains essential for a considerable volume of messages. With the emergence of Transformers and Generative Large Language Models (LLM), we explore the performance of state-of-the-art solutions given the constraint of processing a vast amount of daily data. This paper also aims to show the need for training robust models capable of dealing with real-world noisy transactional data. Our results suggest that a well fine-tuned Transformer model using early-stopping significantly outperforms other approaches. Nevertheless, generative LLMs demonstrate strong zero-shot performance and warrant further investigations.


title: Can we accurately read or write quantum data?

abstract: Applications of quantum mechanics rely on the accuracy of reading and writing data. This requires accurate measurements and preparations of the quantum states. I show that accurate measurements and preparations are impossible if the total Hamiltonian is bounded from below (as thought to be in our universe). This result invites a reevaluation of the limitations of quantum control, quantum computing, and other quantum technologies dependent on the accuracy of quantum preparations and measurements, and maybe of the assumption that the Hamiltonian is bounded from below.


title: Why does silicon have an indirect band gap?

abstract: Density functional theory (DFT) is a powerful tool for predicting the electronic band structures of functional materials. However, it is often difficult to intuit how major band structure features$-$such as band gap magnitude, location of band extrema, effective masses, etc.$-$arise from the underlying crystal chemistry of a material. Band structure is represented in reciprocal space, but arises from the orbital and bonding interactions between atoms in real space. Here, we present a conceptual and computable framework to extract chemical bonding origins of DFT-calculated band structure features. As a key example, we explain here the indirect band gap of silicon, which profoundly impacts its properties for use in photovoltaics and electronics. Even in this basic semiconductor material, our approach leads to new insights to understand and engineer its conduction band minimum position. These calculation techniques can be broadly applied to reveal the crystal chemistry origins of electronic structure features in other optical, electronic, and magnetic materials.


title: Semi-Infinite Programs for Robust Control and Optimization: Efficient Solutions and Extensions to Existence Constraints

abstract: Discrete-time robust optimal control problems generally take a min-max structure over continuous variable spaces, which can be difficult to solve in practice. In this paper, we extend the class of such problems that can be solved through a previously proposed local reduction method to consider those with existence constraints on the uncountable variables. We also consider the possibility of non-unique trajectories that satisfy equality and inequality constraints. Crucially, we show that the problems of interest can be cast into a standard semi-infinite program and demonstrate how to generate optimal uncertainty scenario sets in order to obtain numerical solutions. We also include examples on model predictive control for obstacle avoidance with logical conditions, control with input saturation affected by uncertainty, and optimal parameter estimation to highlight the need for the proposed extension. Our method solves each of the examples considered, producing violation-free and locally optimal solutions.


title: Oblique photons, plasmons, and current-plasmons in relativistic plasmas and their topological implications

abstract: Photons in vacuum are transverse in any inertial frame; longitudinal photons only exist virtually. By developing a manifestly covariant theory for electromagnetic excitations in relativistic plasmas and applying Wigner's little group method for elementary particle classifications, we show that photons in plasmas are neither transverse nor longitudinal; they are oblique. Plasmons are electromagnetic and oblique as well. The Lorentz invariant characteristics that distinguishes photons and plasmons is covariant compressibility. The manifestly covariant theory predicts the existence of the current-plasmon, a third oblique, electromagnetic eigenmode, and it also enables the study of photon topology in plasmas. Plasmas remove the photon's Dirac point in vacuum by giving it an effective mass, but create a tilted Dirac-Weyl point by reviving the virtual longitudinal photon.


title: First-order phase transitions in the cores of neutron stars

abstract: I explore various scenarios for the phase transition within neutron-star matter. I do so by generating large model-agnostic ensemble using Gaussian Processes, both with and without explicit inclusion of first-order phase transitions (FOPTs). The ensemble is conditioned with state-of-the-art astrophysical and theoretical inputs in a fully Bayesian approach. I study how the current data affect the posterior probability of the location and the strength of FOPT. I find that the previously observed peak structure of the sound speed remains stable against inclusion of FOPTs. While the current data cannot differentiate between a smooth crossover and a first-order phase transition, 95% of the total evidence consists of equations of state with some form of phase changes, such as FOPT occurring within or terminating the stable branch of neutron stars, or an indication of a crossover to quark matter.


title: Holographic supersymmetric Renyi entropies from hyperbolic black holes with scalar hair

abstract: We study holographic supersymmetric Renyi entropies from a family of hyperbolic black holes in an Einstein-Maxwell-dilaton (EMD) system under the BPS condition. We calculate the thermodynamic quantities of these hyperbolic black holes. We find a remarkably simple formula of the supersymmetric Renyi entropy that unifies (interpolates) 11 cases embeddable to 10 or 11 dimensional supergravity. It reproduces many known results in the literature, and gives new results with distinctive features. We show that the supersymmetric version of the modular entropy and the capacity of entanglement cannot be mapped to thermal quantities, due to the dependence of the temperature and the chemical potential by the BPS condition. We also calculate the entanglement spectrum. We derive the potential of the EMD system from a $V=0$ solution and obtain two neutral solutions with scalar hair as a byproduct.


title: Investigating the Impact of Quantization on Adversarial Robustness

abstract: Quantization is a promising technique for reducing the bit-width of deep models to improve their runtime performance and storage efficiency, and thus becomes a fundamental step for deployment. In real-world scenarios, quantized models are often faced with adversarial attacks which cause the model to make incorrect inferences by introducing slight perturbations. However, recent studies have paid less attention to the impact of quantization on the model robustness. More surprisingly, existing studies on this topic even present inconsistent conclusions, which prompted our in-depth investigation. In this paper, we conduct a first-time analysis of the impact of the quantization pipeline components that can incorporate robust optimization under the settings of Post-Training Quantization and Quantization-Aware Training. Through our detailed analysis, we discovered that this inconsistency arises from the use of different pipelines in different studies, specifically regarding whether robust optimization is performed and at which quantization stage it occurs. Our research findings contribute insights into deploying more secure and robust quantized networks, assisting practitioners in reference for scenarios with high-security requirements and limited resources.


title: Stability Enhancement of LCL-Type Grid-Following Inverters Using Capacitor Voltage Active Damping

abstract: An LCL filter offers superior attenuation for high-frequency harmonics for three-phase grid-following inverters compared to LC and L filters. However, it also introduces an inherent resonance peak, which can lead to power quality issues or even instability of the inverter control system. Active damping (AD) is widely employed to effectively mitigate this resonance. Capacitor voltage feedback (CVF) and capacitor current feedback (CCF) are effective AD methods for LCL resonance damping. CVF is preferred due to its lower sensor requirement compared to CCF. However, a derivative term appears in the active damping loop, which introduces high-frequency noise into the system. This paper proposes a noise-immune approach by replacing the derivative term with a discrete function suitable for digital implementation. The LCL resonance can be damped effectively, resulting in enhanced stability of the inverter control system. Simulation results verify the proposed effectiveness of the method with grid inductance variation and weak grid conditions


title: 3D-COCO: extension of MS-COCO dataset for image detection and 3D reconstruction modules

abstract: We introduce 3D-COCO, an extension of the original MS-COCO dataset providing 3D models and 2D-3D alignment annotations. 3D-COCO was designed to achieve computer vision tasks such as 3D reconstruction or image detection configurable with textual, 2D image, and 3D CAD model queries. We complete the existing MS-COCO dataset with 28K 3D models collected on ShapeNet and Objaverse. By using an IoU-based method, we match each MS-COCO annotation with the best 3D models to provide a 2D-3D alignment. The open-source nature of 3D-COCO is a premiere that should pave the way for new research on 3D-related topics. The dataset and its source codes is available at https://kalisteo.cea.fr/index.php/coco3d-object-detection-and-reconstruction/


title: Confinement controls the creep rate in soft granular packings

abstract: Flow in soft materials encompasses a wide range of viscous, plastic and elastic phenomena which provide challenges to modelling at the microscopic level. To create a controlled flow, we perform falling ball viscometry tests on packings of soft, frictionless hydrogel spheres. Systematic creep flow is found when a controlled driving stress is applied to a sinking sphere embedded in a packing. Here, we take the novel approach of applying an additional global confinement stress to the packing using an external load. This has enabled us to identify two distinct creep regimes. When confinement stress is small, the creep rate is independent of the load imposed. For larger confinement stresses, we find that the creep rate is set by the mechanical load acting on the packing. In the latter regime, the creep rate depends exponentially on the imposed stress. We can combine the two regimes via a rescaling onto a master curve, capturing the creep rate over five orders of magnitude. Our results indicate that bulk creep phenomena in these soft materials can be subtly controlled using an external mechanical force.


title: Existence and uniqueness of a saddle-node bifurcation point for nonlinear equations in general domains

abstract: This paper provides a direct method of establishing the existence and uniqueness of saddle-node bifurcations for nonlinear equations in general domains. The method employs the scaled extended quotient whose saddle points correspond to the saddle-node bifurcations. The uniqueness of the saddle-node bifurcation point directly stems from the uniqueness of the saddle point. The method is applied to solving open problems involving the existence and uniqueness of the maximum saddle-node bifurcation for the positive solutions curve to an elliptic boundary value problem with a convex-concave nonlinearity in general domains.


title: Size dependent solid-solid crystallization of halide perovskites

abstract: The efficiency and stability of halide perovskite-based solar cells and light-emitting diodes directly depend on the intricate dynamics of solid-solid crystallization[1-23]. In this study, we employ a multi-scale approach using random phase approximation, density functional theory, machine learning potentials, reduced charge force fields, and both enhanced sampling biased and brute-force unbiased molecular dynamics simulations to understand the solid-solid phase transitions in cesium lead iodide perovskite. Our simulations uncover that the direct phase transition from the non-perovskite to the perovskite involves the formation of stacked-faulted and low-dimensional intermediate structures. Through extensive large-scale all-atom simulations encompassing up to 650,000 atoms, we observe that solid-solid crystallization may require the formation of a sufficiently large critical nucleus to grow into a faceted perovskite crystal. Based on simulations, we determine that utilizing (100)-faceted seeded crystallization could offer a promising path for manufacturing high-performance and stable perovskite solar cells.


title: Measures of maximal entropy that are SRB

abstract: How often does it occur that the measure of maximal entropy of a system is an SRB measure? We study this question for $C^{1+\alpha}$ partially hyperbolic diffeomorphisms isotopic to Anosov (DA-diffeomorphisms) on ${\mathbb T}^{3}$, and establish a rigidity result: the measure of maximal entropy is an SRB measure if and only if the sum of its positive Lyapunov exponents coincides with that of the linear Anosov map $A$ on all periodic orbits of the support of the measure. In that case, the measure is also the unique physical measure.\par We also show non-Anosov examples satisfying this condition, both in the conservative and in the non-conservative setting. \par Finally, we prove that a volume-preserving $C^{1+\alpha}$ DA-diffeomorphism on ${\mathbb T}^{3}$ is Anosov if all Lyapunov exponents coincide almost everywhere with those of the linear Anosov in the isotopy class. Consequently, a smooth DA-diffeomorphism is smoothly conjugated to its linear part if and only if all Lyapunov exponents coincide almost everywhere with those of its linear part.


title: Linear and Nonlinear Coupling of Twin-Resonators with Kerr Nonlinearity

abstract: Nonlinear effects in microresonators are efficient building blocks for all-optical computing and telecom systems. With the latest advances in microfabrication, coupled microresonators are used in a rapidly growing number of applications. In this work, we investigate the coupling between twin-resonators in the presence of Kerr-nonlinearity. We use an experimental setup with controllable coupling between two high-Q resonators and discuss the effects caused by the simultaneous presence of linear and non-linear coupling between the optical fields. Linear-coupling-induced mode splitting is observed at low input powers, with the controllable coupling leading to a tunable mode splitting. At high input powers, the hybridized resonances show spontaneous symmetry breaking (SSB) effects, in which the optical power is unevenly distributed between the resonators. Our experimental results are supported by a detailed theoretical model of nonlinear twin-resonators. With the recent interest in coupled resonator systems for neuromorphic computing, quantum systems, and optical frequency comb generation, our work provides important insights into the behavior of these systems at high circulating powers.


title: Multi-wavelength pulse profiles from the force-free neutron star magnetosphere

abstract: In this paper, we compute a full atlas of radio, X-ray and $\gamma$-ray pulse profiles relying on the force-free magnetosphere model. Our goal is to use such data bank of multi-wavelength profiles to fit a substantial number of radio-loud $\gamma$-ray pulsars also detected in non-thermal X-rays to decipher the X-ray radiation mechanism and sites. Using results from the third $\gamma$-ray pulsar catalogue (3PC), we investigate the statistical properties of this population. We assume that radio emission emanates from field lines rooted to the polar caps, at varying height above the surface, close to the surface, at an altitude about 5-10% of the light-cylinder radius $r_{\rm L}$. The X-ray photons are produced in the separatrix region within the magnetosphere, i.e. the current sheet formed by the jump from closed to open magnetic field lines. We allow for substantial variations in emission height. The $\gamma$-ray are produced within the current sheet of the striped wind, outside the light-cylinder. A comprehensive set of light-curves in radio, X-ray and $\gamma$-ray has been computed. Based on only geometric considerations about magnetic obliquity, line of sight inclination and radio beam cone opening angle, pulsars can be classified as radio-loud or quiet and $\gamma$-ray loud or quiet. We found that the 3PC sample is compatible with an isotropic distribution of obliquity and line of sight. The atlases constructed in this work are the fundamental tools to explore individual pulsars and fit their multi-wavelength pulse profiles in order to constrain their magnetic topology, the emission sites as well as the observer line of sight.


title: Resistive Memory-based Neural Differential Equation Solver for Score-based Diffusion Model

abstract: Human brains image complicated scenes when reading a novel. Replicating this imagination is one of the ultimate goals of AI-Generated Content (AIGC). However, current AIGC methods, such as score-based diffusion, are still deficient in terms of rapidity and efficiency. This deficiency is rooted in the difference between the brain and digital computers. Digital computers have physically separated storage and processing units, resulting in frequent data transfers during iterative calculations, incurring large time and energy overheads. This issue is further intensified by the conversion of inherently continuous and analog generation dynamics, which can be formulated by neural differential equations, into discrete and digital operations. Inspired by the brain, we propose a time-continuous and analog in-memory neural differential equation solver for score-based diffusion, employing emerging resistive memory. The integration of storage and computation within resistive memory synapses surmount the von Neumann bottleneck, benefiting the generative speed and energy efficiency. The closed-loop feedback integrator is time-continuous, analog, and compact, physically implementing an infinite-depth neural network. Moreover, the software-hardware co-design is intrinsically robust to analog noise. We experimentally validate our solution with 180 nm resistive memory in-memory computing macros. Demonstrating equivalent generative quality to the software baseline, our system achieved remarkable enhancements in generative speed for both unconditional and conditional generation tasks, by factors of 64.8 and 156.5, respectively. Moreover, it accomplished reductions in energy consumption by factors of 5.2 and 4.1. Our approach heralds a new horizon for hardware solutions in edge computing for generative AI applications.


title: Realization of a three-dimensional photonic higher-order topological insulator

abstract: The discovery of photonic higher-order topological insulators (HOTIs) has significantly expanded our understanding of band topology and provided unprecedented lower-dimensional topological boundary states for robust photonic devices. However, due to the vectorial and leaky nature of electromagnetic waves, it is challenging to discover three-dimensional (3D) topological photonic systems and photonic HOTIs have so far still been limited to two dimensions (2D). Here, we report on the first experimental realization of a 3D Wannier-type photonic HOTI in a tight-binding-like metal-cage photonic crystal, whose band structure matches well with that of a 3D tight-binding model due to the confined Mie resonances. By microwave near-field measurements, we directly observe coexisting topological surface, hinge, and corner states in a single 3D photonic HOTI, as predicted by the tight-binding model and simulation results. Moreover, we demonstrate that all-order topological boundary states are self-guided even in the light cone continuum and can be exposed to air without ancillary cladding, making them well-suited for practical applications. Our work thus opens routes to the multi-dimensional robust manipulation of electromagnetic waves at the outer surfaces of 3D cladding-free photonic bandgap materials and may find novel applications in 3D topological integrated photonics devices.


title: Modulus for bases of matroids

abstract: In this work, we explore the application of modulus in matroid theory, specifically, the modulus of the family of bases of matroids. This study not only recovers various concepts in matroid theory, including the strength, fractional arboricity, and principal partitions, but also offers new insights. In the process, we introduce the concept of a Beurling set. Additionally, our study revisits and provides an alternative approach to two of Edmonds's theorems related to the base packing and base covering problems. This is our stepping stone for establishing Fulkerson modulus duality for the family of bases. Finally, we provide a relationship between the base modulus of matroids and their dual matroids, and a complete understanding of the base $p$-modulus across all values of $p$.


title: The persistence of high altitude non-equilibrium diffuse ionized gas in simulations of star forming galaxies

abstract: Widespread, high altitude, diffuse ionized gas with scale heights of around a kiloparsec is observed in the Milky Way and other star forming galaxies. Numerical radiation-magnetohydrodynamic simulations of a supernova-driven turbulent interstellar medium show that gas can be driven to high altitudes above the galactic midplane, but the degree of ionization is often less than inferred from observations. For computational expediency, ionizing radiation from massive stars is often included as a post-processing step assuming ionization equilibrium. We extend our simulations of a Milky Way-like interstellar medium to include the combined effect of supernovae and photoionization feedback from midplane OB stars and a population of hot evolved low mass stars. The diffuse ionized gas has densities below 0.1 ${\rm cm^{-3}}$, so recombination timescales can exceed millions of years. Our simulations now follow the time-dependent ionization and recombination of low density gas. The long recombination timescales result in diffuse ionized gas that persists at large altitudes long after the deaths of massive stars that produce the vast majority of the ionized gas. The diffuse ionized gas does not exhibit the large variability inherent in simulations that adopt ionization equilibrium. The vertical distribution of neutral and ionized gas is close to what is observed in the Milky Way. The volume filling factor of ionized gas increases with altitude resulting in the scale height of free electrons being larger than that inferred from H$\alpha$ emission, thus reconciling the observations of ionized gas made in H$\alpha$ and from pulsar dispersion measurements.


title: Doppler Tomography as a tool for characterising exoplanet atmospheres II: an analysis of HD 179949 b

abstract: High-resolution Doppler spectroscopy provides an avenue to study the atmosphere of both transiting and non-transiting planets. This powerful method has also yielded some of the most robust atmospheric detections to date. Currently, high-resolution Doppler spectroscopy detects atmospheric signals by cross-correlating observed data with a model atmospheric spectrum. This technique has been successful in detecting various molecules such as H2O, CO, HCN and TiO, as well as several atomic species. Here we present an alternative method of performing high-resolution Doppler spectroscopy, using a technique known as Doppler tomography. We present an analysis of HD 179949 b using Doppler tomography and provide Doppler tomograms confirming previous detections of CO at 2.3 microns, and H2O at both 2.3 microns, and 3.5 microns within the atmosphere of HD 179949 b, showing significantly lower background noise levels when compared to cross-correlation methods applied to the same data. We also present a novel detection of H2O at 2.1 microns, as well as a tentative detection of CO on the night side of the planet at 2.3 microns. This represents the first observational evidence for molecular absorption in the night-side emission spectrum of an exoplanet using Doppler spectroscopy.


title: The impact of Population III stars on the astrophysical gravitational-wave background

abstract: We probe the astrophysical gravitational-wave background resulting from compact binary coalescences, focusing on Population III binary black holes. We exploit results of state-of-the-art simulations on the evolution of Population I-II and III binaries, considering a variety of initial condition and star formation rate models for the latter. The contribution from Population III binary black holes is found to be very small, with no effect on the gravitational-wave spectrum. A network of third-generation detectors will detect easier individual Population III binaries, due to their significantly higher masses, hence decreasing even further their residual contribution.


title: Optimized Bandpasses for the Habitable Worlds Observatory's ExoEarth Survey

abstract: A primary scientific goal of the future Habitable Worlds Observatory will be the direct detection and characterization of Earth-like planets. Estimates of the exoplanet yields for this concept will help guide mission design through detailed trade studies. It is therefore critical that yield estimation codes optimally adapt observations to the mission's performance parameters to ensure accurate trade studies. To aid in this, we implement wavelength optimization in yield calculations for the first time, allowing the yield code to determine the ideal detection and characterization bandpasses. We use this new capability to confirm the observational wavelength assumptions made for the LUVOIR-B study, namely that the optimum detection wavelength is 500 nm for the majority of targets and the optimum wavelength to detect water is near 1000 nm, given LUVOIR-B's assumed instrument performance parameters. We show that including the wavelength dependent albedo of an Earth twin as a prior provides no significant benefit to the yields of exoEarth candidates and caution against tuning observations to modern Earth twins. We also show that coronagraphs whose inner working angles are similar to step functions may benefit from wavelength optimization and demonstrate how wavelength-dependent instrument performance can impact the optimum wavelengths for detection and characterization. The optimization methods we implement automate wavelength selection and remove uncertainties regarding these choices, helping to adapt the observations to the instrument's performance parameters.


title: Convergence rates for a finite volume scheme of the stochastic heat equation

abstract: In this contribution, we provide convergence rates for a finite volume scheme of the stochastic heat equation with multiplicative Lipschitz noise and homogeneous Neumann boundary conditions (SHE). More precisely, we give an error estimate for the $L^2$-norm of the space-time discretization of SHE by a semi-implicit Euler scheme with respect to time and a TPFA scheme with respect to space and the variational solution of SHE. The only regularity assumptions additionally needed is spatial regularity of the initial datum and smoothness of the diffusive term.


title: Causality Extraction from Nuclear Licensee Event Reports Using a Hybrid Framework

abstract: Industry-wide nuclear power plant operating experience is a critical source of raw data for performing parameter estimations in reliability and risk models. Much operating experience information pertains to failure events and is stored as reports containing unstructured data, such as narratives. Event reports are essential for understanding how failures are initiated and propagated, including the numerous causal relations involved. Causal relation extraction using deep learning represents a significant frontier in the field of natural language processing (NLP), and is crucial since it enables the interpretation of intricate narratives and connections contained within vast amounts of written information. This paper proposed a hybrid framework for causality detection and extraction from nuclear licensee event reports. The main contributions include: (1) we compiled an LER corpus with 20,129 text samples for causality analysis, (2) developed an interactive tool for labeling cause effect pairs, (3) built a deep-learning-based approach for causal relation detection, and (4) developed a knowledge based cause-effect extraction approach.


title: MLP Can Be A Good Transformer Learner

abstract: Self-attention mechanism is the key of the Transformer but often criticized for its computation demands. Previous token pruning works motivate their methods from the view of computation redundancy but still need to load the full network and require same memory costs. This paper introduces a novel strategy that simplifies vision transformers and reduces computational load through the selective removal of non-essential attention layers, guided by entropy considerations. We identify that regarding the attention layer in bottom blocks, their subsequent MLP layers, i.e. two feed-forward layers, can elicit the same entropy quantity. Meanwhile, the accompanied MLPs are under-exploited since they exhibit smaller feature entropy compared to those MLPs in the top blocks. Therefore, we propose to integrate the uninformative attention layers into their subsequent counterparts by degenerating them into identical mapping, yielding only MLP in certain transformer blocks. Experimental results on ImageNet-1k show that the proposed method can remove 40% attention layer of DeiT-B, improving throughput and memory bound without performance compromise. Code is available at https://github.com/sihaoevery/lambda_vit.


title: Error estimates for the discretization of bilinear control problems governed by semilinear elliptic PDEs

abstract: This paper studies an optimal control problem governed by a semilinear elliptic equation, in which the control acts in a multiplicative or bilinear way as the reaction coefficient of the equation. We focus on the numerical discretization of the problem. The discretization is carried out by using the finite element method, with piecewise constant functions for the control and continuous piecewise linear functions for the state and the adjoint state. We first prove convergence of the solutions of the discrete problems to solutions of the continuous problem. We also demonstrate that strict local solutions of the continuous problem can be approximated by local solutions of the discrete problems. Next we obtain an error estimate of order $O(h)$ for the difference between continuous and discrete locally optimal controls. To obtain this result we assume no-gap second order sufficient optimality conditions. As it is usual in this kind of discretization, a superconvergence phenomenon of order $O(h^2)$ is observed in numerical experiments for the error estimates of the state and adjoint state. The last part of the paper is dedicated to explain this behaviour. A numerical experiment confirming these results is included.


title: VietMed: A Dataset and Benchmark for Automatic Speech Recognition of Vietnamese in the Medical Domain

abstract: Due to privacy restrictions, there's a shortage of publicly available speech recognition datasets in the medical domain. In this work, we present VietMed - a Vietnamese speech recognition dataset in the medical domain comprising 16h of labeled medical speech, 1000h of unlabeled medical speech and 1200h of unlabeled general-domain speech. To our best knowledge, VietMed is by far the world's largest public medical speech recognition dataset in 7 aspects: total duration, number of speakers, diseases, recording conditions, speaker roles, unique medical terms and accents. VietMed is also by far the largest public Vietnamese speech dataset in terms of total duration. Additionally, we are the first to present a medical ASR dataset covering all ICD-10 disease groups and all accents within a country. Moreover, we release the first public large-scale pre-trained models for Vietnamese ASR, w2v2-Viet and XLSR-53-Viet, along with the first public large-scale fine-tuned models for medical ASR. Even without any medical data in unsupervised pre-training, our best pre-trained model XLSR-53-Viet generalizes very well to the medical domain by outperforming state-of-the-art XLSR-53, from 51.8% to 29.6% WER on test set (a relative reduction of more than 40%). All code, data and models are made publicly available: https://github.com/leduckhai/MultiMed.


title: Measurement of the ratio of the scalar polarizability to the vector polarizability for the $6s ^2S_{1/2} \rightarrow 7s ^2S_{1/2}$ transition in cesium

abstract: We report measurements of the ratio of the scalar polarizability $\alpha$ to the vector polarizability $\beta$ for the $6s ^2S_{1/2} \rightarrow 7s ^2S_{1/2}$ transition in atomic cesium. These measurements are motivated by a discrepancy between the values of the vector transition polarizability as determined using two separate methods. In the present measurement, we use a two-pathway, coherent-control technique in which we observe the interference between a two-photon interaction driven by infrared light at 1079 nm and a linear Stark-induced interaction driven by the mutually-coherent second harmonic of this infrared beam at 540 nm. The result of our measurements is $\alpha/\beta = -9.902 \: (9)$, in good agreement with the previous determination of this ratio. This measurement, critical to the study of atomic parity violation in cesium, does not reduce the discrepancy between the two methods for the determination of the vector polarizability $\beta$ for this transition.


title: Automatic Controllable Colorization via Imagination

abstract: We propose a framework for automatic colorization that allows for iterative editing and modifications. The core of our framework lies in an imagination module: by understanding the content within a grayscale image, we utilize a pre-trained image generation model to generate multiple images that contain the same content. These images serve as references for coloring, mimicking the process of human experts. As the synthesized images can be imperfect or different from the original grayscale image, we propose a Reference Refinement Module to select the optimal reference composition. Unlike most previous end-to-end automatic colorization algorithms, our framework allows for iterative and localized modifications of the colorization results because we explicitly model the coloring samples. Extensive experiments demonstrate the superiority of our framework over existing automatic colorization algorithms in editability and flexibility. Project page: https://xy-cong.github.io/imagine-colorization.


title: Towards Accurate Binarization of Diffusion Model

abstract: With the advancement of diffusion models (DMs) and the substantially increased computational requirements, quantization emerges as a practical solution to obtain compact and efficient low-bit DMs. However, the highly discrete representation leads to severe accuracy degradation, hindering the quantization of diffusion models to ultra-low bit-widths. This paper proposes a novel quantization-aware training approach for DMs, namely BinaryDM. The proposed method pushes DMs' weights toward accurate and efficient binarization, considering the representation and computation properties. From the representation perspective, we present a Learnable Multi-basis Binarizer (LMB) to recover the representations generated by the binarized DM. The LMB enhances detailed information through the flexible combination of dual binary bases while applying to parameter-sparse locations of DM architectures to achieve minor burdens. From the optimization perspective, a Low-rank Representation Mimicking (LRM) is applied to assist the optimization of binarized DMs. The LRM mimics the representations of full-precision DMs in low-rank space, alleviating the direction ambiguity of the optimization process caused by fine-grained alignment. Moreover, a quick progressive warm-up is applied to BinaryDM, avoiding convergence difficulties by layerwisely progressive quantization at the beginning of training. Comprehensive experiments demonstrate that BinaryDM achieves significant accuracy and efficiency gains compared to SOTA quantization methods of DMs under ultra-low bit-widths. With 1.1-bit weight and 4-bit activation (W1.1A4), BinaryDM achieves as low as 7.11 FID and saves the performance from collapse (baseline FID 39.69). As the first binarization method for diffusion models, W1.1A4 BinaryDM achieves impressive 9.3 times OPs and 24.8 times model size savings, showcasing its substantial potential for edge deployment.


title: Significant Photoluminescence Improvements from Bulk Germanium-Based Thin Films with Ultra-low Threading Dislocation Densities

abstract: Bulk Ge crystals, characterized by significantly lower threading dislocation densities (TDD) than their epitaxial counterparts, emerge as optimal candidates for studying and improving Ge laser performance. Our study focused on the Ge thickness and TDD impacts on Ge's photoluminescence (PL). The PL peak intensity of a bulk Ge sample (TDD = 6000 cm^(-2), n-doping = 10^16 cm^(-3)) experiences a remarkable 32-fold increase as the thickness is reduced from 535 to 2 micron. This surpasses the PL peak intensity of a 0.75 micron thick epi-Ge on Si (biaxial tensile strain= 0.2 %, n-doping = 10^19 cm^(-3)) by a factor of 2.5. Furthermore, the PL peak intensity of a 405 micron thick zero-TDD bulk Ge sample (n-doping = 5 * 10^17 cm^(-3)) is ten times that of the 0.75 micron thick epi-Ge, rising to twelve times when thinned to 1 micron. The TDD reduction method is highly effective, which relaxes the requirements of high n-doping and stress in enhancing Ge laser performance and thus reduces the side effects of high optical absorption, high non-radiative recombination, bandgap narrowing, and large footprints associated with these two techniques.


title: BFS versus DFS for random targets in ordered trees

abstract: Consider a search from the root of an ordered tree with $n$ edges to some target node at a fixed distance $\ell$ from that root. We compare the average time complexity of the breadth-first search (BFS) and depth-first search (DFS) algorithms, when the target node is selected uniformly at random among all nodes at level $\ell$ in the ordered trees with $n$ edges. Intuition suggests that BFS should have better average performance when $\ell$ is small, while DFS must have an advantage when $\ell$ is large. But where exactly is the threshold, as a function of $n$, and is it unique? We obtain explicit formulas for the expected number of steps of both BFS and DFS, by using results on the occupation measure of Brownian excursions, as well as a combinatorial proof of an identity related to lattice paths. This allows us to show that there exists a unique constant $\lambda\approx 0.789004$, such that in expectation BFS is asymptotically faster than DFS if and only if $\ell\leq \lambda\sqrt{n}$. Furthermore, we find the asymptotic average time complexity of BFS in the given setting for any class of Galton$\unicode{x2013}$Watson trees, including binary trees and ordered trees. Finally, we introduce the truncated DFS algorithm, which performs better than both BFS and DFS when $\ell$ is known in advance, and we find a formula evaluating the average time complexity of this algorithm.


title: Substructures of the Weyl group and their physical applications

abstract: We study substructures of the Weyl group of conformal transformations of the metric of (pseudo)Riemannian manifolds. These substructures are identified by differential constraints on the conformal factors of the transformations which are chosen such that their composition is associative. Mathematically, apart from rare exceptions, they are partial associative groupoids, not groups, so they do not have an algebra of infinitesimal transformations, but this limitation can be partially circumvented using some of their properties cleverly. We classify and discuss the substructures with two-derivatives differential constraints, the most famous of which being known as the harmonic or restricted Weyl group in the physics literature, but we also show the existence of a lightcone constraint which realizes a proper subgroup of the Weyl group. We then show the physical implications that come from invariance under the two most important substructures, concentrating on classical properties of the energy-momentum tensor and a generalization of the quantum trace anomaly. We also elaborate further on the harmonic substructure, which can be interpreted as partial gauge fixing of full Weyl invariance using BRST methods. Finally, we discuss how to construct differential constraints of arbitrary higher-derivative order and present, as examples, generalizations involving scalar constraints with four and six derivatives.


title: YaART: Yet Another ART Rendering Technology

abstract: In the rapidly progressing field of generative models, the development of efficient and high-fidelity text-to-image diffusion systems represents a significant frontier. This study introduces YaART, a novel production-grade text-to-image cascaded diffusion model aligned to human preferences using Reinforcement Learning from Human Feedback (RLHF). During the development of YaART, we especially focus on the choices of the model and training dataset sizes, the aspects that were not systematically investigated for text-to-image cascaded diffusion models before. In particular, we comprehensively analyze how these choices affect both the efficiency of the training process and the quality of the generated images, which are highly important in practice. Furthermore, we demonstrate that models trained on smaller datasets of higher-quality images can successfully compete with those trained on larger datasets, establishing a more efficient scenario of diffusion models training. From the quality perspective, YaART is consistently preferred by users over many existing state-of-the-art models.


title: AlignZeg: Mitigating Objective Misalignment for Zero-shot Semantic Segmentation

abstract: A serious issue that harms the performance of zero-shot visual recognition is named objective misalignment, i.e., the learning objective prioritizes improving the recognition accuracy of seen classes rather than unseen classes, while the latter is the true target to pursue. This issue becomes more significant in zero-shot image segmentation because the stronger (i.e., pixel-level) supervision brings a larger gap between seen and unseen classes. To mitigate it, we propose a novel architecture named AlignZeg, which embodies a comprehensive improvement of the segmentation pipeline, including proposal extraction, classification, and correction, to better fit the goal of zero-shot segmentation. (1) Mutually-Refined Proposal Extraction. AlignZeg harnesses a mutual interaction between mask queries and visual features, facilitating detailed class-agnostic mask proposal extraction. (2) Generalization-Enhanced Proposal Classification. AlignZeg introduces synthetic data and incorporates multiple background prototypes to allocate a more generalizable feature space. (3) Predictive Bias Correction. During the inference stage, AlignZeg uses a class indicator to find potential unseen class proposals followed by a prediction postprocess to correct the prediction bias. Experiments demonstrate that AlignZeg markedly enhances zero-shot semantic segmentation, as shown by an average 3.8% increase in hIoU, primarily attributed to a 7.1% improvement in identifying unseen classes, and we further validate that the improvement comes from alleviating the objective misalignment issue.


title: Assessment of practical satellite quantum key distribution architectures for current and near-future missions

abstract: Quantum key distribution (QKD) allows the generation of cryptographic keys beyond the computational hardness paradigm and is befitting for secure data transmission requiring long-term security. The communication distance of fibre-based QKD, however, is limited to a few hundred kilometers due to the exponential scaling of signal attenuation. Satellite QKD (SatQKD) can instead leverage free-space optical links to establish long-range connections and enable global-scale QKD. In this work we review the manifold of design choices that concur to form the set of possible SatQKD architectures. These include the choice of the QKD protocol and its physical implementation, but also the satellite orbit, the optical link direction, and whether or not to use trusted-node relays. The possible SatQKD architectures are then evaluated in terms of key generation throughput, latency and maximum reachable communication distance, but also the system-level security and implementation complexity. Given the technical challenges of realising SatQKD systems it is paramount, for near-future satellite missions, to adhere to the simplest possible architecture that still allows to deliver the QKD service. We thus identify as advisable options the use of low-Earth orbit satellites as trusted nodes for prepare-and-measure discrete-variable QKD downlinks with weak laser pulses. The decoy-state version of BB84 is found to be the most promising QKD protocols due to the maturity of the security proofs, the high key generation rate and low system complexity. These findings are confirmed by the multitude of current and planned SatQKD missions that are adopting these architectural choices.


title: NAF-DPM: A Nonlinear Activation-Free Diffusion Probabilistic Model for Document Enhancement

abstract: Real-world documents may suffer various forms of degradation, often resulting in lower accuracy in optical character recognition (OCR) systems. Therefore, a crucial preprocessing step is essential to eliminate noise while preserving text and key features of documents. In this paper, we propose NAF-DPM, a novel generative framework based on a diffusion probabilistic model (DPM) designed to restore the original quality of degraded documents. While DPMs are recognized for their high-quality generated images, they are also known for their large inference time. To mitigate this problem we provide the DPM with an efficient nonlinear activation-free (NAF) network and we employ as a sampler a fast solver of ordinary differential equations, which can converge in a few iterations. To better preserve text characters, we introduce an additional differentiable module based on convolutional recurrent neural networks, simulating the behavior of an OCR system during training. Experiments conducted on various datasets showcase the superiority of our approach, achieving state-of-the-art performance in terms of pixel-level and perceptual similarity metrics. Furthermore, the results demonstrate a notable character error reduction made by OCR systems when transcribing real-world document images enhanced by our framework. Code and pre-trained models are available at https://github.com/ispamm/NAF-DPM.


title: The impact of large-scale galaxy clustering on the variance of the Hellings-Downs correlation

abstract: The origin of the stochastic gravitational wave (GW) background, recently discovered from pulsar timing array experiments, is still unclear. If this background is of astrophysical origin, we expect the distribution of GW sources to follow the one of galaxies. Since galaxies are not perfectly isotropically distributed at large scales, but follow the cosmological large-scale structure, this would lead to an intrinsic anisotropy in the distribution of GW sources. In this work, we develop a formalism to account for this anisotropy, by considering a Gaussian ensemble of sources in each realization of the universe and then taking ensemble averages over all such realizations. We find that large-scale galaxy clustering has no impact on the Hellings-Downs curve, describing the expectation value of pulsar timing residual correlations. However, it introduces a new contribution to the variance of the Hellings-Downs correlation. Hence, due to the anisotropic distribution of sources, the measurements of pulsar timing residual correlations in our Universe may differ from the Hellings-Downs curve. This indicates that the variance of the Hellings-Downs correlation can be utilized as a new cosmological observable that might help us to unveil the nature of current background observations in the nHz band.


title: Bayesian Inverse Ising Problem with Three-body Interactions

abstract: In this paper, we solve the inverse Ising problem with three-body interaction. Using the mean-field approximation, we find a tractable expansion of the normalizing constant. This facilitates estimation, which is known to be quite challenging for the Ising model. We then develop a novel hybrid MCMC algorithm that integrates Adaptive Metropolis Hastings (AMH), Hamiltonian Monte Carlo (HMC), and the Manifold-Adjusted Langevin Algorithm (MALA), which converges quickly and mixes well. We demonstrate the robustness of our algorithm using data simulated with a structure under which parameter estimation is known to be challenging, such as in the presence of a phase transition and at the critical point of the system.


title: Enumerating runs, valleys, and peaks in Catalan words

abstract: We provide generating functions, formulas, and asymptotic expressions for the number of Catalan words based on the number of runs of ascents (descents), runs of weak ascents (descents), $\ell$-valleys, valleys, symmetric valleys, $\ell$-peaks, peaks, and symmetric peaks. We also establish some bijections with restricted Dyck paths and ordered trees that transports some statistics.


title: CoReS: Orchestrating the Dance of Reasoning and Segmentation

abstract: The reasoning segmentation task, which demands a nuanced comprehension of intricate queries to accurately pinpoint object regions, is attracting increasing attention. However, Multi-modal Large Language Models (MLLM) often find it difficult to accurately localize the objects described in complex reasoning contexts. We believe that the act of reasoning segmentation should mirror the cognitive stages of human visual search, where each step is a progressive refinement of thought toward the final object. Thus we introduce the Chains of Reasoning and Segmenting (CoReS) and find this top-down visual hierarchy indeed enhances the visual search process. Specifically, we propose a dual-chain structure that generates multi-modal, chain-like outputs to aid the segmentation process. Furthermore, to steer the MLLM's outputs into this intended hierarchy, we incorporate in-context inputs as guidance. Extensive experiments demonstrate the superior performance of our CoReS, which surpasses the state-of-the-art method by 7.1\% on the ReasonSeg dataset. Project: https://chain-of-reasoning-and-segmentation.github.io/.


title: MoMA: Multimodal LLM Adapter for Fast Personalized Image Generation

abstract: In this paper, we present MoMA: an open-vocabulary, training-free personalized image model that boasts flexible zero-shot capabilities. As foundational text-to-image models rapidly evolve, the demand for robust image-to-image translation grows. Addressing this need, MoMA specializes in subject-driven personalized image generation. Utilizing an open-source, Multimodal Large Language Model (MLLM), we train MoMA to serve a dual role as both a feature extractor and a generator. This approach effectively synergizes reference image and text prompt information to produce valuable image features, facilitating an image diffusion model. To better leverage the generated features, we further introduce a novel self-attention shortcut method that efficiently transfers image features to an image diffusion model, improving the resemblance of the target object in generated images. Remarkably, as a tuning-free plug-and-play module, our model requires only a single reference image and outperforms existing methods in generating images with high detail fidelity, enhanced identity-preservation and prompt faithfulness. Our work is open-source, thereby providing universal access to these advancements.


title: Normalizing Flows on the Product Space of SO(3) Manifolds for Probabilistic Human Pose Modeling

abstract: Normalizing flows have proven their efficacy for density estimation in Euclidean space, but their application to rotational representations, crucial in various domains such as robotics or human pose modeling, remains underexplored. Probabilistic models of the human pose can benefit from approaches that rigorously consider the rotational nature of human joints. For this purpose, we introduce HuProSO3, a normalizing flow model that operates on a high-dimensional product space of SO(3) manifolds, modeling the joint distribution for human joints with three degrees of freedom. HuProSO3's advantage over state-of-the-art approaches is demonstrated through its superior modeling accuracy in three different applications and its capability to evaluate the exact likelihood. This work not only addresses the technical challenge of learning densities on SO(3) manifolds, but it also has broader implications for domains where the probabilistic regression of correlated 3D rotations is of importance.


title: Dark matter free dwarf galaxy formation at the the tips of the tentacles of jellyfish galaxies

abstract: When falling into a galaxy cluster, galaxies experience a loss of gas due to ram pressure stripping. In particular, disk galaxies lose gas from their disks and very large tentacles of gas can be formed. Because of the morphology of these stripped galaxies they have been referred to as Jellyfish galaxies. It has been found that star formation is triggered not only in the disk, but also in the tentacles of such Jellyfish galaxies. The observed star forming regions located in the tentacles of those galaxies have been found to be as massive as $3\times10^7$ M$_{\odot}$ and with sizes $> 100$ pc. Interestingly, these parameters in mass and size agree with those of dwarf galaxies. In this work we make use of the state of the art magneto-hydrodynamical cosmological simulation Illustris TNG-50, to study massive jellyfish galaxies with long tentacles. We find that, in the tentacles of TNG-50 Jellyfish galaxies, the star formation regions (gas+stars) formed could be as massive as $\sim2\times10^8$ M$_{\odot}$. A particular star forming region was analyzed. This region has a star formation rate of $0.04$ M$_{\odot}$/yr, it is metal rich, has an average age of $0.46$ Gyr, and has a half mass radius of $\sim1$ kpc, typical of standard dwarf galaxies. Most importantly, this region is gravitationally self-bound. All and all, we identify a new type of dwarf galaxy being born from the gas tentacles of jellyfish galaxies, that by construction lacks a dark matter (hereafter DM) halo.


title: Pulsar Timing Array Harmonic Analysis and Source Angular Correlations

abstract: Gravitational waves (GWs) influence the arrival times of radio signals coming from pulsars. Here, we investigate the harmonic space approach to describing a pulsar's response to GWs. We derive and discuss the "diagonalized form" of the response, which is a sum of spin-2-weighted spherical harmonics of the GW direction multiplied by normal (spin-weight 0) spherical harmonics of the pulsar direction. We show how this allows many useful objects, for example, the Hellings and Downs two-point function, to be easily calculated. The approach also provides a clear description of the gauge dependence. We then employ this harmonic approach to model the effects of angular correlations in the sky locations of GW sources (sometimes called "statistical isotropy"). To do this, we construct rotationally invariant ensembles made up of many Gaussian subensembles, each of which breaks rotational invariance. Using harmonic techniques, we compute the cosmic covariance and the total covariance of the Hellings and Downs correlation in these models. The results may be used to assess the impact of angular source correlations on the Hellings and Downs correlation, and for optimal reconstruction of the Hellings and Downs curve in models where GW sources have correlated sky locations.


title: Flexible Fairness Learning via Inverse Conditional Permutation

abstract: Equalized odds, as a popular notion of algorithmic fairness, aims to ensure that sensitive variables, such as race and gender, do not unfairly influence the algorithm prediction when conditioning on the true outcome. Despite rapid advancements, most of the current research focuses on the violation of equalized odds caused by one sensitive attribute, leaving the challenge of simultaneously accounting for multiple attributes under-addressed. We address this gap by introducing a fairness learning approach that integrates adversarial learning with a novel inverse conditional permutation. This approach effectively and flexibly handles multiple sensitive attributes, potentially of mixed data types. The efficacy and flexibility of our method are demonstrated through both simulation studies and empirical analysis of real-world datasets.


title: Overview of projective quantum measurements

abstract: We provide an overview of standard "projective" quantum measurements with the goal of elucidating connections between theory and experiment. We make use of a unitary "Stinespring" representation of measurements on a dilated Hilbert space that includes both the physical degrees of freedom and those of the measurement apparatus. We explain how this unitary representation (i) is guaranteed by the axioms of quantum mechanics, (ii) relates to both the Kraus and von Neumann representations, and (iii) corresponds to the physical time evolution of the system and apparatus during the measurement process. The Stinespring representation also offers significant conceptual insight into measurements, helps connects theory and experiment, is particularly useful in describing protocols involving midcircuit measurements and outcome-dependent operations, and establishes that all quantum operations are compatible with relativistic locality, among other insights.


title: SphereHead: Stable 3D Full-head Synthesis with Spherical Tri-plane Representation

abstract: While recent advances in 3D-aware Generative Adversarial Networks (GANs) have aided the development of near-frontal view human face synthesis, the challenge of comprehensively synthesizing a full 3D head viewable from all angles still persists. Although PanoHead proves the possibilities of using a large-scale dataset with images of both frontal and back views for full-head synthesis, it often causes artifacts for back views. Based on our in-depth analysis, we found the reasons are mainly twofold. First, from network architecture perspective, we found each plane in the utilized tri-plane/tri-grid representation space tends to confuse the features from both sides, causing "mirroring" artifacts (e.g., the glasses appear in the back). Second, from data supervision aspect, we found that existing discriminator training in 3D GANs mainly focuses on the quality of the rendered image itself, and does not care much about its plausibility with the perspective from which it was rendered. This makes it possible to generate "face" in non-frontal views, due to its easiness to fool the discriminator. In response, we propose SphereHead, a novel tri-plane representation in the spherical coordinate system that fits the human head's geometric characteristics and efficiently mitigates many of the generated artifacts. We further introduce a view-image consistency loss for the discriminator to emphasize the correspondence of the camera parameters and the images. The combination of these efforts results in visually superior outcomes with significantly fewer artifacts. Our code and dataset are publicly available at https://lhyfst.github.io/spherehead.


title: Even Faster Knapsack via Rectangular Monotone Min-Plus Convolution and Balancing

abstract: We present a pseudopolynomial-time algorithm for the Knapsack problem that has running time $\widetilde{O}(n + t\sqrt{p_{\max}})$, where $n$ is the number of items, $t$ is the knapsack capacity, and $p_{\max}$ is the maximum item profit. This improves over the $\widetilde{O}(n + t \, p_{\max})$-time algorithm based on the convolution and prediction technique by Bateni et al.~(STOC 2018). Moreover, we give some evidence, based on a strengthening of the Min-Plus Convolution Hypothesis, that our running time might be optimal. Our algorithm uses two new technical tools, which might be of independent interest. First, we generalize the $\widetilde{O}(n^{1.5})$-time algorithm for bounded monotone min-plus convolution by Chi et al.~(STOC 2022) to the \emph{rectangular} case where the range of entries can be different from the sequence length. Second, we give a reduction from general knapsack instances to \emph{balanced} instances, where all items have nearly the same profit-to-weight ratio, up to a constant factor. Using these techniques, we can also obtain algorithms that run in time $\widetilde{O}(n + OPT\sqrt{w_{\max}})$, $\widetilde{O}(n + (nw_{\max}p_{\max})^{1/3}t^{2/3})$, and $\widetilde{O}(n + (nw_{\max}p_{\max})^{1/3} OPT^{2/3})$, where $OPT$ is the optimal total profit and $w_{\max}$ is the maximum item weight.


title: From enrollment to exams: Perceived stress dynamics among first-year physics students

abstract: The current dropout rate in physics studies in Germany is about 60\%, with the majority of dropouts occurring in the first year. Consequently, the physics study entry phase poses a significant challenge for many students. Students' stress perceptions can provide more profound insights into the processes and challenges during that period. In a panel study featuring 67 measuring points involving up to 128 participants at each point, we investigated students' stress perceptions with the Perceived Stress Questionnaire (PSQ), identified underlying sources of stress, and assessed self-estimated workloads across two different cohorts. This examination occurred almost every week during the first semester, and for one cohort also in the second semester, yielding a total of 3,206 PSQ data points and 5,823 stressors. The PSQ data indicate a consistent stress trajectory across all three groups studied that is characterized by significant dynamics between measuring points, spanning from $M=20.1, SD=15.9$ to $M=63.6, SD=13.4$ on a scale from 0 to 100. Stress levels rise in the first weeks of the lecture, followed by stable, elevated stress levels until the exams and a relaxation phase afterward during the lecture-free time and Christmas vacation. In the first half of the lecture period, students primarily indicated the weekly exercise sheets, the physics lab course, and math courses as stressors; later on, preparation for exams and the exams themselves emerged as the most important stressors. Together with the students' self-estimated workloads that correlate with the PSQ scores, we can build a coherent picture of stress perceptions among first-year physics students. This study enhances the understanding of stress perception and its potential management.


title: Efficient formation of a massive quiescent galaxy at redshift 4.9

abstract: Within the established framework of structure formation, galaxies start as systems of low stellar mass and gradually grow into far more massive galaxies. The existence of massive galaxies in the first billion years of the Universe, suggested by recent observations, appears to challenge this model, as such galaxies would require highly efficient conversion of baryons into stars. An even greater challenge in this epoch is the existence of massive galaxies that have already ceased forming stars. However, robust detections of early massive quiescent galaxies have been challenging due to the coarse wavelength sampling of photometric surveys. Here we report the spectroscopic confirmation with the James Webb Space Telescope of the quiescent galaxy RUBIES-EGS-QG-1 at redshift $z=4.896$, 1.2 billion years after the Big Bang. Deep stellar absorption features in the spectrum reveal that the galaxy's stellar mass of $10^{10.9}\,M_\odot$, corroborated by the mass implied by its gas kinematics, formed in a short $340\,$Myr burst of star formation, after which star formation activity dropped rapidly and persistently. According to current galaxy formation models, systems with such rapid stellar mass growth and early quenching are too rare to plausibly occur in the small area probed spectroscopically with JWST. Instead, the discovery of RUBIES-EGS-QG-1 implies that early massive quiescent galaxies can be quenched earlier or exhaust gas available for star formation more efficiently than currently assumed.


title: Complete NLO QCD Corrections to $ZZ$ Production in Gluon Fusion

abstract: We calculate the complete NLO QCD corrections to loop-induced $gg \rightarrow ZZ$ production including full top-quark mass effects. The two-loop virtual corrections are obtained by combining analytic results for the massless, Higgs-mediated, and one-loop factorizable contributions with numerically computed amplitudes containing the top-quark mass. We show that the choice of subtraction scheme for the virtual contribution impacts the precision with which the virtual contribution must be evaluated in order to obtain sufficiently precise phenomenological predictions. For direct production through a massive top-quark loop, we observe that the relative NLO corrections are large. The direct massive and Higgs-mediated contributions individually increase relative to the massless production at high diboson invariant mass, but interfere destructively with each other. At the Large Hadron Collider, the NLO corrections to the gluon channel give a sizable contribution to the $pp \to ZZ+X$ cross-section at N${}^3$LO.


title: Global phase diagram of doped quantum spin liquid on the Kagome lattice

abstract: It has long been believed that doped quantum spin liquids (QSLs) can give rise to fascinating quantum phases, including the possibility of high-temperature superconductivity (SC) as proposed by P. W. Anderson's resonating valence bond (RVB) scenario. The Kagome lattice $t$-$J$ model is known to exhibit spin liquid behavior at half-filling, making it an ideal system for studying the properties of doped QSL. In this study, we employ the fermionic projected entangled simplex state (PESS) method to investigate the ground state properties of the Kagome lattice $t$-$J$ model with $t/J = 3.0$. Our results reveal a phase transition from charge density wave (CDW) states to uniform states around a critical doping level $\delta_c \approx 0.27$. Within the CDW phase, we observe different types of Wigner crystal (WC) formulated by doped holes that are energetically favored. As we enter the uniform phase, a non-Fermi liquid (NFL) state emerges within the doping range $0.27 < \delta < 0.32$, characterized by an exponential decay of all correlation functions. With further hole doping, we discover the appearance of a pair density wave (PDW) state within a narrow doping region $0.32 < \delta < 1/3$. We also discuss the potential experimental implications of our findings.


title: Chebyshev pseudosite matrix product state approach for cluster perturbation theory

abstract: We introduce the Chebyshev pseudosite matrix product state approach (ChePSMPS) as a solver for cluster perturbation theory (CPT), crucial for simulating spectral functions in two-dimensional electron-phonon ($e$-ph) coupling systems. ChePSMPS distinguishes itself from conventional exact diagonalization solvers by supporting larger clusters, thereby significantly mitigating finite-size effects. Free from the fermion sign problem, ChePSMPS enhances its ability to explore $e$-ph effects and generate high-resolution spectral functions in doped Mott insulators. We use this method to simulate the spectra for both one- and two-dimensional Hubbard-Holstein models, highlighting its superiority over other methods. Our findings validate ChePSMPS as a powerful and reliable Green's function solver. In conjunction with embedding methods, ChePSMPS emerges as an essential tool for simulating strongly correlated $e$-ph coupling systems.


title: Retrieval-Augmented Open-Vocabulary Object Detection

abstract: Open-vocabulary object detection (OVD) has been studied with Vision-Language Models (VLMs) to detect novel objects beyond the pre-trained categories. Previous approaches improve the generalization ability to expand the knowledge of the detector, using 'positive' pseudo-labels with additional 'class' names, e.g., sock, iPod, and alligator. To extend the previous methods in two aspects, we propose Retrieval-Augmented Losses and visual Features (RALF). Our method retrieves related 'negative' classes and augments loss functions. Also, visual features are augmented with 'verbalized concepts' of classes, e.g., worn on the feet, handheld music player, and sharp teeth. Specifically, RALF consists of two modules: Retrieval Augmented Losses (RAL) and Retrieval-Augmented visual Features (RAF). RAL constitutes two losses reflecting the semantic similarity with negative vocabularies. In addition, RAF augments visual features with the verbalized concepts from a large language model (LLM). Our experiments demonstrate the effectiveness of RALF on COCO and LVIS benchmark datasets. We achieve improvement up to 3.4 box AP$_{50}^{\text{N}}$ on novel categories of the COCO dataset and 3.6 mask AP$_{\text{r}}$ gains on the LVIS dataset. Code is available at https://github.com/mlvlab/RALF .


title: David and Goliath: An Empirical Evaluation of Attacks and Defenses for QNNs at the Deep Edge

abstract: ML is shifting from the cloud to the edge. Edge computing reduces the surface exposing private data and enables reliable throughput guarantees in real-time applications. Of the panoply of devices deployed at the edge, resource-constrained MCUs, e.g., Arm Cortex-M, are more prevalent, orders of magnitude cheaper, and less power-hungry than application processors or GPUs. Thus, enabling intelligence at the deep edge is the zeitgeist, with researchers focusing on unveiling novel approaches to deploy ANNs on these constrained devices. Quantization is a well-established technique that has proved effective in enabling the deployment of neural networks on MCUs; however, it is still an open question to understand the robustness of QNNs in the face of adversarial examples. To fill this gap, we empirically evaluate the effectiveness of attacks and defenses from (full-precision) ANNs on (constrained) QNNs. Our evaluation includes three QNNs targeting TinyML applications, ten attacks, and six defenses. With this study, we draw a set of interesting findings. First, quantization increases the point distance to the decision boundary and leads the gradient estimated by some attacks to explode or vanish. Second, quantization can act as a noise attenuator or amplifier, depending on the noise magnitude, and causes gradient misalignment. Regarding adversarial defenses, we conclude that input pre-processing defenses show impressive results on small perturbations; however, they fall short as the perturbation increases. At the same time, train-based defenses increase the average point distance to the decision boundary, which holds after quantization. However, we argue that train-based defenses still need to smooth the quantization-shift and gradient misalignment phenomenons to counteract adversarial example transferability to QNNs. All artifacts are open-sourced to enable independent validation of results.


title: Automated discovery of symbolic laws governing skill acquisition from naturally occurring data

abstract: Skill acquisition is a key area of research in cognitive psychology as it encompasses multiple psychological processes. The laws discovered under experimental paradigms are controversial and lack generalizability. This paper aims to unearth the laws of skill learning from large-scale training log data. A two-stage algorithm was developed to tackle the issues of unobservable cognitive states and algorithmic explosion in searching. Initially a deep learning model is employed to determine the learner's cognitive state and assess the feature importance. Subsequently, symbolic regression algorithms are utilized to parse the neural network model into algebraic equations. Experimental results show the algorithm can accurately restore preset laws within a noise range in continuous feedback settings. When applied to Lumosity training data, the method outperforms traditional and recent models in fitness terms. The study reveals two new forms of skill acquisition laws and reaffirms some previous findings.


title: The neutrino background from non-jetted active galactic nuclei

abstract: Aims. We calculate the contribution to the neutrino background from the non-jetted active galactic nuclei (AGN) population following the recent IceCube association of TeV neutrinos with NGC 1068. Methods. We exploit our robust knowledge of the AGN X-ray luminosity function and evolution and convert it to the neutrino band by using NGC 1068 as a benchmark and a theoretically motivated neutrino spectrum. Results. The resulting neutrino background up to redshift 5 does not violate either the IceCube diffuse flux or the upper bounds for non-jetted AGN, although barely so. This is consistent with a scenario where the latter class makes a substantial contribution mostly below 1 PeV, while jetted AGN, i.e. blazars, dominate above this energy, in intriguing agreement with the dip in the neutrino data at ~ 300 TeV. More and better IceCube data on Seyfert galaxies will allow us to constrain the fraction of neutrino emitters among non-jetted AGN.


title: GW230529_181500: A Potential Primordial Binary Black Hole Merger in the Mass Gap

abstract: During the fourth observing run of the LIGO-Virgo-KAGRA detector network, the LIGO Livingston observatory detected a coalescing compact binary, GW230529_181500, with component masses of $2.5-4.5\, M_\odot$ and $1.2-2.0\, M_\odot$ at the $90\%$ credible level. The gravitational-wave data alone is insufficient to determine whether the components are neutron stars or black holes. In this paper, we propose that GW230529_181500 originated from the merger of two primordial black holes (PBHs). We estimate a merger rate of $5.0^{+47.0}_{-4.9} \mathrm{Gpc}^{-3}\,\mathrm{yr}^{-1}$ for compact binary coalescences with properties similar to GW230529_181500. Assuming the source is a PBH-PBH merger, GW230529-like events lead to approximately $1.7^{+36.2}_{-1.5} \times 10^{-3}$ of the dark matter in the form of PBHs. The required abundance of PBHs to explain this event is consistent with existing upper limits derived from microlensing, cosmic microwave background observations and the null detection of gravitational wave background by LIGO-Virgo-KAGRA.


title: Evaluating Mathematical Reasoning Beyond Accuracy

abstract: The leaderboard of Large Language Models (LLMs) in mathematical tasks has been continuously updated. However, the majority of evaluations focus solely on the final results, neglecting the quality of the intermediate steps. This oversight can mask underlying problems, such as logical errors or unnecessary steps in the reasoning process. To measure reasoning beyond final-answer accuracy, we introduce ReasonEval, a new methodology for evaluating the quality of reasoning steps. ReasonEval employs $\textit{validity}$ and $\textit{redundancy}$ to characterize the reasoning quality, as well as accompanying LLMs to assess them automatically. Instantiated by base models that possess strong mathematical knowledge and trained with high-quality labeled data, ReasonEval achieves state-of-the-art performance on human-labeled datasets and can accurately detect different types of errors generated by perturbation. When applied to evaluate LLMs specialized in math, we find that an increase in final-answer accuracy does not necessarily guarantee an improvement in the overall quality of the reasoning steps for challenging mathematical problems. Additionally, we observe that ReasonEval can play a significant role in data selection. We release the best-performing model, meta-evaluation script, and all evaluation results at https://github.com/GAIR-NLP/ReasonEval.


title: Evaluating the Efficacy of Cut-and-Paste Data Augmentation in Semantic Segmentation for Satellite Imagery

abstract: Satellite imagery is crucial for tasks like environmental monitoring and urban planning. Typically, it relies on semantic segmentation or Land Use Land Cover (LULC) classification to categorize each pixel. Despite the advancements brought about by Deep Neural Networks (DNNs), their performance in segmentation tasks is hindered by challenges such as limited availability of labeled data, class imbalance and the inherent variability and complexity of satellite images. In order to mitigate those issues, our study explores the effectiveness of a Cut-and-Paste augmentation technique for semantic segmentation in satellite images. We adapt this augmentation, which usually requires labeled instances, to the case of semantic segmentation. By leveraging the connected components in the semantic segmentation labels, we extract instances that are then randomly pasted during training. Using the DynamicEarthNet dataset and a U-Net model for evaluation, we found that this augmentation significantly enhances the mIoU score on the test set from 37.9 to 44.1. This finding highlights the potential of the Cut-and-Paste augmentation to improve the generalization capabilities of semantic segmentation models in satellite imagery.


title: Comprehensive Study on German Language Models for Clinical and Biomedical Text Understanding

abstract: Recent advances in natural language processing (NLP) can be largely attributed to the advent of pre-trained language models such as BERT and RoBERTa. While these models demonstrate remarkable performance on general datasets, they can struggle in specialized domains such as medicine, where unique domain-specific terminologies, domain-specific abbreviations, and varying document structures are common. This paper explores strategies for adapting these models to domain-specific requirements, primarily through continuous pre-training on domain-specific data. We pre-trained several German medical language models on 2.4B tokens derived from translated public English medical data and 3B tokens of German clinical data. The resulting models were evaluated on various German downstream tasks, including named entity recognition (NER), multi-label classification, and extractive question answering. Our results suggest that models augmented by clinical and translation-based pre-training typically outperform general domain models in medical contexts. We conclude that continuous pre-training has demonstrated the ability to match or even exceed the performance of clinical models trained from scratch. Furthermore, pre-training on clinical data or leveraging translated texts have proven to be reliable methods for domain adaptation in medical NLP tasks.


title: Humanoid-Gym: Reinforcement Learning for Humanoid Robot with Zero-Shot Sim2Real Transfer

abstract: Humanoid-Gym is an easy-to-use reinforcement learning (RL) framework based on Nvidia Isaac Gym, designed to train locomotion skills for humanoid robots, emphasizing zero-shot transfer from simulation to the real-world environment. Humanoid-Gym also integrates a sim-to-sim framework from Isaac Gym to Mujoco that allows users to verify the trained policies in different physical simulations to ensure the robustness and generalization of the policies. This framework is verified by RobotEra's XBot-S (1.2-meter tall humanoid robot) and XBot-L (1.65-meter tall humanoid robot) in a real-world environment with zero-shot sim-to-real transfer. The project website and source code can be found at: https://sites.google.com/view/humanoid-gym/.


title: BOLD v4: A Centralized Bioinformatics Platform for DNA-based Biodiversity Data

abstract: BOLD, the Barcode of Life Data System, supports the acquisition, storage, validation, analysis, and publication of DNA barcodes, activities requiring the integration of molecular, morphological, and distributional data. Its pivotal role in curating the reference library of DNA barcodes, coupled with its data management and analysis capabilities, make it a central resource for biodiversity science. It enables rapid, accurate identification of specimens and also reveals patterns of genetic diversity and evolutionary relationships among taxa. Launched in 2005, BOLD has become an increasingly powerful tool for advancing understanding of planetary biodiversity. It currently hosts 17 million specimen records and 14 million barcodes that provide coverage for more than a million species from every continent and ocean. The platform has the long-term goal of providing a consistent, accurate system for identifying all species of eukaryotes. BOLD's integrated analytical tools, full data lifecycle support, and secure collaboration framework distinguish it from other biodiversity platforms. BOLD v4 brought enhanced data management and analysis capabilities as well as novel functionality for data dissemination and publication. Its next version will include features to strengthen its utility to the research community, governments, industry, and society-at-large.


title: Higher Landau-Level Analogues and Signatures of Non-Abelian States in Twisted Bilayer MoTe$_2$

abstract: Recent experimental discovery of fractional Chern insulators at zero magnetic field in moir\'e superlattices has sparked intense interests in bringing Landau level physics to flat Chern bands. In twisted MoTe$_2$ bilayers (tMoTe$_2$), recent theoretical and experimental studies have found three consecutive flat Chern bands at twist angle $\sim 2^\circ$. In this work, we investigate whether higher Landau level physics can be found in these consecutive Chern bands. At twist angles $2.00^\circ$ and $1.89^\circ$, we identify four consecutive $C = 1$ bands for the $K$ valley in tMoTe$_2$. By constructing Wannier functions directly from density functional theory (DFT) calculations, a six-orbital model is developed to describe the consecutive Chern bands, with the orbitals forming a honeycomb lattice. Exact diagonalization on top of Hartree-Fock calculations are carried out with the Wannier functions. Especially, when the second moir\'e miniband is half-filled, signatures of non-Abelian states are found. Our Wannier-based approach in modelling moir\'e superlattices is faithful to DFT wave functions and can serve as benchmarks for continuum models. The possibility of realizing non-Abelian anyons at zero magnetic field also opens up a new pathway for fault-tolerant quantum information processing.


title: Boundary regularity of the free interface in spectral optimal partition problems

abstract: We consider the problem of optimal partition of a domain with respect to the sum of the principal eigenvalues and we prove for the first time regularity results for the free interface up to fixed boundary. All our results are quantitative and, in particular, we obtain fine estimates on the continuity of the solutions and the oscillation of the free interface (in terms of the modulus of continuity of the normal vector of the fixed boundary), even in the case of domains with low (Dini-type) regularity. Our analysis is based on an Almgren-type monotonicity formula at boundary points and an epiperimetric inequality at points of low frequency, which, together, yield an explicit rate of convergence for blow-up sequences and the boundary strong unique continuation property. Exploiting our quantitative blow-up analysis, we manage to prove clean-up results near one-phase and two-phase points. We define the notion of free interface inside the fixed boundary, and we prove that the subset of points of minimal frequency is regular and that the interior free interface is approaching the boundary orthogonally in a smooth way.


title: In-situ Imaging of a Single-Atom Wave Packet in Continuous Space

abstract: The wave nature of matter remains one of the most striking aspects of quantum mechanics. Since its inception, a wealth of experiments has demonstrated the interference, diffraction or scattering of massive particles. More recently, experiments with ever increasing control and resolution have allowed imaging the wavefunction of individual atoms. Here, we use quantum gas microscopy to image the in-situ spatial distribution of deterministically prepared single-atom wave packets as they expand in a plane. We achieve this by controllably projecting the expanding wavefunction onto the sites of a deep optical lattice and subsequently performing single-atom imaging. The protocol established here for imaging extended wave packets via quantum gas microscopy is readily applicable to the wavefunction of interacting many-body systems in continuous space, promising a direct access to their microscopic properties, including spatial correlation functions up to high order and large distances.


title: New lower bounds for the (near) critical Ising and $\varphi^4$ models' two-point functions

abstract: We study the nearest-neighbour Ising and $\varphi^4$ models on $\mathbb Z^d$ with $d\geq 3$ and obtain new lower bounds on their two-point functions at (and near) criticality. Together with the classical infrared bound, these bounds turn into up-to constant estimates when $d\geq 5$. When $d=4$, we obtain an ''almost'' sharp lower bound corrected by a logarithmic factor. As a consequence of these results, we show that $\eta=0$ and $\nu=1/2$ when $d\geq 4$, where $\eta$ is the critical exponent associated with the decay of the model's two-point function at criticality and $\nu$ is the critical exponent of the correlation length $\xi(\beta)$. When $d=3$, we improve previous results and obtain that $\eta\leq 1/2$. As a byproduct of our proofs, we also derive the blow-up at criticality of the so-called bubble diagram when $d=3,4$.


title: Negative Photo Conductivity Triggered with Visible Light in Wide Bandgap Oxide-Based Optoelectronic Crossbar Memristive Array for Photograph Sensing and Neuromorphic Computing Applications

abstract: Photoresponsivity studies of wide-bandgap oxide-based devices have emerged as a vibrant and popular research area. Researchers have explored various material systems in their quest to develop devices capable of responding to illumination. In this study, we engineered a mature wide bandgap oxide-based bilayer heterostructure synaptic memristor to emulate the human brain for applications in neuromorphic computing and photograph sensing. The device exhibits advanced electric and electro-photonic synaptic functions, such as long-term potentiation (LTP), long-term depression (LTD), and paired pulse facilitation (PPF), by applying successive electric and photonic pulses. Moreover, the device exhibits exceptional electrical SET and photonic RESET endurance, maintaining its stability for a minimum of 1200 cycles without any degradation. Density functional theory calculations of the band structures provide insights into the conduction mechanism of the device. Based on this memristor array, we developed an autoencoder and convolutional neural network for noise reduction and image recognition tasks, which achieves a peak signal-to-noise ratio of 562 and high accuracy of 84.23%, while consuming lower energy by four orders of magnitude compared with the Tesla P40 GPU. This groundbreaking research not only opens doors for the integration of our device into image processing but also represents a significant advancement in the realm of in-memory computing and photograph sensing features in a single cell.


title: On the estimation of complex statistics combining different surveys

abstract: The importance of exploring a potential integration among surveys has been acknowledged in order to enhance effectiveness and minimize expenses. In this work, we employ the alignment method to combine information from two different surveys for the estimation of complex statistics. The derivation of the alignment weights poses challenges in case of complex statistics due to their non-linear form. To overcome this, we propose to use a linearized variable associated with the complex statistic under consideration. Linearized variables have been widely used to derive variance estimates, thus allowing for the estimation of the variance of the combined complex statistics estimates. Simulations conducted show the effectiveness of the proposed approach, resulting to the reduction of the variance of the combined complex statistics estimates. Also, in some cases, the usage of the alignment weights derived using the linearized variable associated with a complex statistic, could result in a further reduction of the variance of the combined estimates.


title: Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets

abstract: Malware, or software designed with harmful intent, is an ever-evolving threat that can have drastic effects on both individuals and institutions. Neural network malware classification systems are key tools for combating these threats but are vulnerable to adversarial machine learning attacks. These attacks perturb input data to cause misclassification, bypassing protective systems. Existing defenses often rely on enhancing the training process, thereby increasing the model's robustness to these perturbations, which is quantified using verification. While training improvements are necessary, we propose focusing on the verification process used to evaluate improvements to training. As such, we present a case study that evaluates a novel verification domain that will help to ensure tangible safeguards against adversaries and provide a more reliable means of evaluating the robustness and effectiveness of anti-malware systems. To do so, we describe malware classification and two types of common malware datasets (feature and image datasets), demonstrate the certified robustness accuracy of malware classifiers using the Neural Network Verification (NNV) and Neural Network Enumeration (nnenum) tools, and outline the challenges and future considerations necessary for the improvement and refinement of the verification of malware classification. By evaluating this novel domain as a case study, we hope to increase its visibility, encourage further research and scrutiny, and ultimately enhance the resilience of digital systems against malicious attacks.


title: Novel collider signatures in the type-I 2HDM+$a$ model

abstract: The 2HDM+$a$ model is one of the main models used in the interpretations of dark matter searches at the LHC. So far, all the 2HDM+$a$ benchmarks considered by the ATLAS and CMS experiments are limited to a type-II Yukawa sector, in which the Higgs bosons $A$, $H$, and $H^\pm$ are all constrained to be mass-degenerate and heavier than around $600 \, {\rm GeV}$. In this work, we present the first detailed study of 2HDM+$a$ models with a type-I Yukawa sector, which, for moderate values of $\tan\beta$, lift the constraints from flavour physics, allowing the extra Higgs bosons to be even lighter than the $125 \, {\rm GeV}$ Higgs boson discovered at the LHC. We discuss several benchmarks where the $A$, $H$, and $H^\pm$ states are not necessarily mass-degenerate and the signatures that arise in these models, some of which have not yet been explored at the LHC. We present the dominant channels in the studied benchmarks and the expected sensitivity in Run 2 data using truth-level analyses and discuss potential improvements in the experimental searches for Run 3.


title: Learning 3D-Aware GANs from Unposed Images with Template Feature Field

abstract: Collecting accurate camera poses of training images has been shown to well serve the learning of 3D-aware generative adversarial networks (GANs) yet can be quite expensive in practice. This work targets learning 3D-aware GANs from unposed images, for which we propose to perform on-the-fly pose estimation of training images with a learned template feature field (TeFF). Concretely, in addition to a generative radiance field as in previous approaches, we ask the generator to also learn a field from 2D semantic features while sharing the density from the radiance field. Such a framework allows us to acquire a canonical 3D feature template leveraging the dataset mean discovered by the generative model, and further efficiently estimate the pose parameters on real data. Experimental results on various challenging datasets demonstrate the superiority of our approach over state-of-the-art alternatives from both the qualitative and the quantitative perspectives.


title: Weakly closed semigroups generated by operator-valued functions

abstract: The function $P(T)=\sum_{i=0}^\infty c_i T^i$ is admissible if $c_i\geq 0$, $\sum_{i=0}^\infty c_i\leq 1$. For any given set of admissible functions $P_1,\dots, P_k$ there is a unitary operator $T$ of dynamic origin such that the weak closure of its powers is a semigroup generated by the operators $0$, $T$, $P_1(T),\dots, P_k(T)$, $T^\ast$, $P_1(T^\ast ),\dots, P_k(T^\ast)$.


title: An Ogus Principle for Zip period maps: The Hasse invariant's vanishing order via `Frobenius and the Hodge filtration'

abstract: This paper generalizes a result of Ogus that, under certain technical conditions, the vanishing order of the Hasse invariant of a family $Y/X$ of $n$-dimensional Calabi-Yau varieties in characteristic $p$ at a point $x$ of $X$ equals the "conjugate line position" of $H^n_{\text{dR}}(Y/X)$ at $x$, i.e. the largest $i$ such that the line of the conjugate filtration is contained in $\text{Fil}^i$ of the Hodge filtration. For every triple $(G,\mu,r)$ consisting of a connected, reductive $\mathbf{F}_p$-group $G$, a cocharacter $\mu \in X_*(G)$ and an $\mathbf{F}_p$-representation $r$ of $G$, we state a generalized Ogus Principle. If $\zeta:X \to \text{$G$-$\mathtt{Zip}$}^{\mu}$ is a smooth morphism (=`Zip period map'), then the group theoretic Ogus Principle implies an Ogus Principle on $X$. We deduce an Ogus Principle for several Hodge and abelian-type Shimura varieties and the moduli space of K3 surfaces.


title: Walking Your Frog Fast in 4 LoC

abstract: Given two polygonal curves, there are many ways to define a notion of similarity between them. One popular measure is the Fr\'echet distance which has many desirable properties but is notoriously expensive to calculate, especially for non-trivial metrics. In 1994, Eiter and Mannila introduced the discrete Fr\'echet distance which is much easier to implement and approximates the continuous Fr\'echet distance with a quadratic runtime overhead. However, this algorithm relies on recursions and is not well suited for modern hardware. To that end, we introduce the Fast Fr\'echet Distance algorithm, a recursion-free algorithm that calculates the discrete Fr\'echet distance with a linear memory overhead and that can utilize modern hardware more effectively. We showcase an implementation with only four lines of code and present benchmarks of our algorithm running fast on modern CPUs and GPGPUs.


title: Endpoint-homogeneous fans

abstract: A fan $F$ is \emph{endpoint-homogeneous} if for any two endpoints $e,e'$ of $F$, there is a homeomorphism $h: F \rightarrow F$ such that $h(e) = e'$. We prove there are uncountably many distinct homeomorphism types of endpoint-homogeneous smooth fans. To do this, we associate to each such fan $F$ a topological invariant, in the form of a characteristic subset $EPG(F) \subseteq [0,1]$ describing how the endpoints of $F$ limit onto any given blade of $F$. We describe precisely all the uncountably many different $X \subseteq [0,1]$ that can arise as $EPG(F)$ for some endpoint-homogeneous smooth fan $F$. We also prove the existence of $\frac{1}{n}$-homogeneous smooth fans for all $n \geq 5$.


title: Modelling magnetically-levitated superconducting ellipsoids, cylinders and cuboids for quantum magnetomechanics

abstract: We theoretically investigate the properties of magnetically-levitated superconducting rotors confined in anti-Helmholtz traps, for application in magnetomechanical experiments. We study both the translational modes and a librational mode. The librational mode gives an additional degree of freedom that levitated spheres do not have access to. We compare rotors of different shapes: ellipsoids, cylinders and cuboids. We find that the stable orientations of the rotors depend on the rotors' aspect ratios.