title: B-fields And dust in interstelLar fiLAments using Dust POLarization (BALLAD-POL): II. Testing the Radiative Torque Paradigm in Musca and OMC-1

abstract: Polarization of starlight and thermal dust emission caused by aligned dust grains is a valuable tool to characterize magnetic fields (B-fields) and constrain dust properties. However, the physics of grain alignment is not fully understood. To test the popular paradigm of radiative torque (RAT) theory, including RAT alignment (RAT-A) and disruption (RAT-D), we use dust polarization data observed by {\it Planck} and SOFIA/HAWC+ toward two filaments with contrasting physical conditions: Musca, a quiet filament, and OMC-1, a highly dynamic filament due to feedback. We analyze various relations of the observed polarization fraction, $P$, with gas column density, $\NHt$, dust temperature, $\Td$, and polarization angle dispersion function, $\S$. We found that $P$ decreases with increasing $\S$ and increasing $\NHt$, as expected from RAT-A. On the other hand, the $P-\Td$ relation is more complicated; it is a linear correlation at low $\Td$ but turns into an anti-correlation when $\Td$ reaches a certain high value. Next, we compute the polarization fraction on a pixel-by-pixel with B-fields in the plane of the sky using the DustPOL code based on RAT, incorporate the depolarization effect by B-field tangling using $\S$, and compare the realistic polarization model with observations of Musca and OMC-1. For Musca with well-ordered B-fields, our numerical model reproduces the decline of $P$ toward the filament spine (aka. polarization hole), having high $\NHt$ and low $\Td$, indicating the loss of grain alignment efficiency due to RAT-A. For OMC-1, with stronger B-field variations and higher $\Td$, our model can reproduce the observed $P-\Td$ and $P-N(\rm H_{2})$ relations only if the depolarization effect resulting from B-field tangling and RAT-D effect are taken into account. Our results provide more robust observational evidence for the RAT paradigm, particularly the recently discovered RAT-D.


title: XAIport: A Service Framework for the Early Adoption of XAI in AI Model Development

abstract: In this study, we propose the early adoption of Explainable AI (XAI) with a focus on three properties: Quality of explanation, the explanation summaries should be consistent across multiple XAI methods; Architectural Compatibility, for effective integration in XAI, the architecture styles of both the XAI methods and the models to be explained must be compatible with the framework; Configurable operations, XAI explanations are operable, akin to machine learning operations. Thus, an explanation for AI models should be reproducible and tractable to be trustworthy. We present XAIport, a framework of XAI microservices encapsulated into Open APIs to deliver early explanations as observation for learning model quality assurance. XAIport enables configurable XAI operations along with machine learning development. We quantify the operational costs of incorporating XAI with three cloud computer vision services on Microsoft Azure Cognitive Services, Google Cloud Vertex AI, and Amazon Rekognition. Our findings show comparable operational costs between XAI and traditional machine learning, with XAIport significantly improving both cloud AI model performance and explanation stability.


title: A Semi-Lagrangian Approach for Time and Energy Path Planning Optimization in Static Flow Fields

abstract: Efficient path planning for autonomous mobile robots is a critical problem across numerous domains, where optimizing both time and energy consumption is paramount. This paper introduces a novel methodology that considers the dynamic influence of an environmental flow field and considers geometric constraints, including obstacles and forbidden zones, enriching the complexity of the planning problem. We formulate it as a multi-objective optimal control problem, propose a novel transformation called Harmonic Transformation, and apply a semi-Lagrangian scheme to solve it. The set of Pareto efficient solutions is obtained considering two distinct approaches: a deterministic method and an evolutionary-based one, both of which are designed to make use of the proposed Harmonic Transformation. Through an extensive analysis of these approaches, we demonstrate their efficacy in finding optimized paths.


title: CipherFormer: Efficient Transformer Private Inference with Low Round Complexity

abstract: There is a growing trend to outsource the inference task of large transformer models to cloud servers. However, this poses a severe threat to users' private data as they are exposed to cloud servers after uploading. Although several works attempted to provide private inference for transformer models, their hundreds of communication rounds limit the application scenarios. Motivated by the desire to minimize round complexity, we propose CipherFormer, a novel transformer private inference scheme using homomorphic encryption and garbled circuits. We present a protocol for quickly computing homomorphic matrix multiplications. We then modify the attention mechanism and design the corresponding garbled circuits. Furthermore, we show how to use a lightweight attention mechanism and mixed-bitwidth to reduce the inference latency while maintaining accuracy. In comparison with an advanced homomorphic encryption scheme on text classification tasks, our model improves accuracy by 3% to 11% while performing private inference with a 7.7x-11.9x speedup.


title: DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts

abstract: The DISL dataset features a collection of $514,506$ unique Solidity files that have been deployed to Ethereum mainnet. It caters to the need for a large and diverse dataset of real-world smart contracts. DISL serves as a resource for developing machine learning systems and for benchmarking software engineering tools designed for smart contracts. By aggregating every verified smart contract from Etherscan up to January 15, 2024, DISL surpasses existing datasets in size and recency.


title: INPC: Implicit Neural Point Clouds for Radiance Field Rendering

abstract: We introduce a new approach for reconstruction and novel-view synthesis of unbounded real-world scenes. In contrast to previous methods using either volumetric fields, grid-based models, or discrete point cloud proxies, we propose a hybrid scene representation, which implicitly encodes a point cloud in a continuous octree-based probability field and a multi-resolution hash grid. In doing so, we combine the benefits of both worlds by retaining favorable behavior during optimization: Our novel implicit point cloud representation and differentiable bilinear rasterizer enable fast rendering while preserving fine geometric detail without depending on initial priors like structure-from-motion point clouds. Our method achieves state-of-the-art image quality on several common benchmark datasets. Furthermore, we achieve fast inference at interactive frame rates, and can extract explicit point clouds to further enhance performance.


title: SIP: Autotuning GPU Native Schedules via Stochastic Instruction Perturbation

abstract: Large language models (LLMs) have become a significant workload since their appearance. However, they are also computationally expensive as they have billions of parameters and are trained with massive amounts of data. Thus, recent works have developed dedicated CUDA kernels for LLM training and inference instead of relying on compilergenerated ones, so that hardware resources are as fully utilized as possible. In this work, we explore the possibility of GPU native instruction optimization to further push the CUDA kernels to extreme performance. Contrary to prior works, we adopt an automatic optimization approach by defining a search space of possible GPU native instruction schedules, and then we apply stochastic search to perform optimization. Experiments show that SIP can further improve CUDA kernel throughput by automatically discovering better GPU native instruction schedules and the optimized schedules are tested by 10 million test samples.


title: Improved convergence rates for the Difference-of-Convex algorithm

abstract: We consider a difference-of-convex formulation where one of the terms is allowed to be hypoconvex (or weakly convex). We first examine the precise behavior of a single iteration of the Difference-of-Convex algorithm (DCA), giving a tight characterization of the objective function decrease. This requires distinguishing between eight distinct parameter regimes. Our proofs are inspired by the performance estimation framework, but are much simplified compared to similar previous work. We then derive sublinear DCA convergence rates towards critical points, distinguishing between cases where at least one of the functions is smooth and where both functions are nonsmooth. We conjecture the tightness of these rates for four parameter regimes, based on strong numerical evidence obtained via performance estimation, as well as the leading constant in the asymptotic sublinear rate for two more regimes.


title: Encoding of lexical tone in self-supervised models of spoken language

abstract: Interpretability research has shown that self-supervised Spoken Language Models (SLMs) encode a wide variety of features in human speech from the acoustic, phonetic, phonological, syntactic and semantic levels, to speaker characteristics. The bulk of prior research on representations of phonology has focused on segmental features such as phonemes; the encoding of suprasegmental phonology (such as tone and stress patterns) in SLMs is not yet well understood. Tone is a suprasegmental feature that is present in more than half of the world's languages. This paper aims to analyze the tone encoding capabilities of SLMs, using Mandarin and Vietnamese as case studies. We show that SLMs encode lexical tone to a significant degree even when they are trained on data from non-tonal languages. We further find that SLMs behave similarly to native and non-native human participants in tone and consonant perception studies, but they do not follow the same developmental trajectory.


title: Addendum to the paper "Refined criteria toward boundedness in an attraction-repulsion chemotaxis system with nonlinear productions"

abstract: These notes aim to provide a deeper insight on the specifics of the paper "Refined criteria toward boundedness in an attraction-repulsion chemotaxis system with nonlinear productions" by A. Columbu, S. Frassu and G. Viglialoro [\textit{Appl. Anal.} 2024, 103:2, 415--431].


title: The interacting double white dwarf population with LISA; stochastic foreground and resolved sources

abstract: In this work, we investigate the impact of tidal torques and mass transfer on the population of double white dwarfs (DWDs) that will be observed with LISA. Starting from a distribution of DWDs at formation predicted by numerical simulations, we use a semi-analytical model to evolve DWDs under different hypotheses for the efficiency of tidal coupling and the birth spins of white dwarfs. We then estimate the stochastic foreground and the population of resolvable binaries for LISA in each scenario. Our predicted DWD binary distribution can differ substantially from the distribution expected if only gravitational waves (GWs) are considered. If white dwarfs spin slowly, then we predict an excess of systems around a few mHz, due to binaries that outspiral after the onset of mass transfer. This excess of systems leads to differences in the confusion noise, which are most pronounced for strong tidal coupling. In that case, we find a significantly higher number of resolvable binaries than in the GW-only scenario. If instead white dwarfs spin rapidly and tidal coupling is weak, then we find no excess around a few mHz, and the confusion noise due to DWDs is very small. In that scenario, we also predict a subpopulation of outspiralling binaries below 0.1 mHz. Using the Fisher matrix approximation, we estimate the uncertainty on the GW-frequency derivative of resolvable systems. We estimate that, even for non-accreting systems, the mismodelling error due to neglect of effects other than GWs is larger than the statistical uncertainty, and thus this neglect would lead to biased estimates for mass and distance. Our results highlight the need for flexible tools in LISA data analysis. Because our semi-analytical model hinges upon a simplistic approach to determining the stability of mass accretion it will be important to deepen our comprehension of stability in mass-transferring DWD binaries.


title: Electron localization in disordered quantum systems at finite temperatures

abstract: We study electron localization in disordered quantum systems, focusing on both individual eigenstates and thermal states. We employ complex polarization as a numerical indicator to characterize the system's localization length. Furthermore, we assess the efficacy of mean-field approximation in providing a quantitative analysis of such systems. Through this study, we seek to provide insight into the following aspects: the behavior of electron localization as a function of interaction, disorder, and temperature, whether thermal states and highly excited states exhibit similar properties in many-body localized systems, and the reliability of the mean-field approximation in weak-interaction scenarios.


title: Lessons Learned from Building Edge Software System Testbeds

abstract: Edge computing requires the complex software interaction of geo-distributed, heterogeneous components. The growing research and industry interest in edge computing software systems has necessitated exploring ways of testing and evaluating edge software at scale without relying on physical infrastructure. Beyond simulation, virtual testbeds that emulate edge infrastructure can provide a cost-efficient yet realistic environment to evaluate edge software. In this experience paper, we share lessons learned from building a total of five edge software testbeds. We describe pitfalls in architecture and development as well as experiences from having students use our testbed tooling in distributed systems prototyping classes. While we remain confident that building custom testbed tooling is the right approach for edge computing researchers and practitioners alike, we hope this paper allows others to avoid common mistakes and benefit from our experience.


title: Weak Ziegler pairs of conic-line arrangements with ordinary singularities

abstract: In the present note we focus on conic line arrangements in the plane with quasihomogeneous ordinary singularities from the perspective of weak Ziegler pairs. The foundations of this article come from an active area of research devoted to the freeness and nearly freeness of curve arrangements in the complex projective plane and the socalled Numerical Terao s Conjecture. This conjecture boils down to a very fundamental problem in combinatorial algebraic geometry, namely whether the weak combinatorics of a given arrangement determines the freeness.


title: Conformal Off-Policy Prediction for Multi-Agent Systems

abstract: Off-Policy Prediction (OPP), i.e., predicting the outcomes of a target policy using only data collected under a nominal (behavioural) policy, is a paramount problem in data-driven analysis of safety-critical systems where the deployment of a new policy may be unsafe. To achieve dependable off-policy predictions, recent work on Conformal Off-Policy Prediction (COPP) leverage the conformal prediction framework to derive prediction regions with probabilistic guarantees under the target process. Existing COPP methods can account for the distribution shifts induced by policy switching, but are limited to single-agent systems and scalar outcomes (e.g., rewards). In this work, we introduce MA-COPP, the first conformal prediction method to solve OPP problems involving multi-agent systems, deriving joint prediction regions for all agents' trajectories when one or more "ego" agents change their policies. Unlike the single-agent scenario, this setting introduces higher complexity as the distribution shifts affect predictions for all agents, not just the ego agents, and the prediction task involves full multi-dimensional trajectories, not just reward values. A key contribution of MA-COPP is to avoid enumeration or exhaustive search of the output space of agent trajectories, which is instead required by existing COPP methods to construct the prediction region. We achieve this by showing that an over-approximation of the true JPR can be constructed, without enumeration, from the maximum density ratio of the JPR trajectories. We evaluate the effectiveness of MA-COPP in multi-agent systems from the PettingZoo library and the F1TENTH autonomous racing environment, achieving nominal coverage in higher dimensions and various shift settings.


title: The PARADIGM Project I: A Multiscale radio morphological analysis of local U/LIRGS

abstract: Disentangling the radio flux contribution from star formation (SF) and active-galactic-nuclei (AGN) activity is a long-standing problem in extragalactic astronomy, since at frequencies of $\lesssim$ 10 GHz, both processes emit synchrotron radiation. We present in this work the general objectives of the PARADIGM Project, a multi-instrument concept to explore star-formation and mass assembly of galaxies. We introduce two novel general approaches for a detailed multiscale study of the radio emission in local U/LIRGs. In this work, we use archival interferometric data from the Very Large Array (VLA) centred at ~ 6 GHz (C band) and present new observations from the e-Multi-Element Radio-Linked Interferometer Network (e-MERLIN) for UGC5101, VV705, VV250 and UGC8696. Using our image decomposition methods, we robustly disentangle the radio emission into distinct components by combining information from the two interferometric arrays. We use e-MERLIN as a probe of the core-compact radio emission (AGN or starburst) at ~ 20 pc scales, and as a probe of nuclear diffuse emission, at scales ~ 100 - 200 pc. With VLA, we characterise the source morphology and the flux density on scales from 200 pc up to and above 1 kpc. As a result, we find deconvolved and convolved sizes for nuclear regions from ~ 10 pc to ~ 200 pc. At larger scales, we find sizes of 1.5 - 2 kpc for diffuse structures (with effective sizes of ~ 300 - 400 pc). We demonstrate that the radio emission from nuclear extended structures (~ 100 pc) can dominate over core-compact components, providing a significant fraction of the total multiscale SF output. We establish a multiscale radio tracer for star formation by combining information from different instruments. Consequently, this work sets a starting point to potentially correct for overestimations of AGN fractions and underestimates of SF activity.


title: How accurately can quantitative imaging methods be ranked without ground truth: An upper bound on no-gold-standard evaluation

abstract: Objective evaluation of quantitative imaging (QI) methods with patient data, while important, is typically hindered by the lack of gold standards. To address this challenge, no-gold-standard evaluation (NGSE) techniques have been proposed. These techniques have demonstrated efficacy in accurately ranking QI methods without access to gold standards. The development of NGSE methods has raised an important question: how accurately can QI methods be ranked without ground truth. To answer this question, we propose a Cramer-Rao bound (CRB)-based framework that quantifies the upper bound in ranking QI methods without any ground truth. We present the application of this framework in guiding the use of a well-known NGSE technique, namely the regression-without-truth (RWT) technique. Our results show the utility of this framework in quantifying the performance of this NGSE technique for different patient numbers. These results provide motivation towards studying other applications of this upper bound.


title: Optimality of spherical codes via exact semidefinite programming bounds

abstract: We show that the spectral embeddings of all known triangle-free strongly regular graphs are optimal spherical codes (the new cases are $56$ points in $20$ dimensions, $50$ points in $21$ dimensions, and $77$ points in $21$ dimensions), as are certain mutually unbiased basis arrangements constructed using Kerdock codes in up to $1024$ dimensions (namely, $2^{4k} + 2^{2k+1}$ points in $2^{2k}$ dimensions for $2 \le k \le 5$). As a consequence of the latter, we obtain optimality of the Kerdock binary codes of block length $64$, $256$, and $1024$, as well as uniqueness for block length $64$. We also prove universal optimality for $288$ points on a sphere in $16$ dimensions. To prove these results, we use three-point semidefinite programming bounds, for which only a few sharp cases were known previously. To obtain rigorous results, we develop improved techniques for rounding approximate solutions of semidefinite programs to produce exact optimal solutions.


title: TAIL: A Terrain-Aware Multi-Modal SLAM Dataset for Robot Locomotion in Deformable Granular Environments

abstract: Terrain-aware perception holds the potential to improve the robustness and accuracy of autonomous robot navigation in the wilds, thereby facilitating effective off-road traversals. However, the lack of multi-modal perception across various motion patterns hinders the solutions of Simultaneous Localization And Mapping (SLAM), especially when confronting non-geometric hazards in demanding landscapes. In this paper, we first propose a Terrain-Aware multI-modaL (TAIL) dataset tailored to deformable and sandy terrains. It incorporates various types of robotic proprioception and distinct ground interactions for the unique challenges and benchmark of multi-sensor fusion SLAM. The versatile sensor suite comprises stereo frame cameras, multiple ground-pointing RGB-D cameras, a rotating 3D LiDAR, an IMU, and an RTK device. This ensemble is hardware-synchronized, well-calibrated, and self-contained. Utilizing both wheeled and quadrupedal locomotion, we efficiently collect comprehensive sequences to capture rich unstructured scenarios. It spans the spectrum of scope, terrain interactions, scene changes, ground-level properties, and dynamic robot characteristics. We benchmark several state-of-the-art SLAM methods against ground truth and provide performance validations. Corresponding challenges and limitations are also reported. All associated resources are accessible upon request at \url{https://tailrobot.github.io/}.


title: The Hausdorff dimension of the generalized Brunner-Sidki-Vieira Groups

abstract: We compute the Hausdorff dimension of the closure of the generalized Brunner-Sidki-Vieira group acting on the $m$-adic tree for $m\ge 2$, providing the first examples of self-similar topologically finitely generated closed subgroups of transcendental Hausdorff dimension in the group of $m$-adic automorphisms.


title: Proprioception Is All You Need: Terrain Classification for Boreal Forests

abstract: Recent works in field robotics highlighted the importance of resiliency against different types of terrains. Boreal forests, in particular, are home to many mobility-impeding terrains that should be considered for off-road autonomous navigation. Also, being one of the largest land biomes on Earth, boreal forests are an area where autonomous vehicles are expected to become increasingly common. In this paper, we address this issue by introducing BorealTC, a publicly available dataset for proprioceptive-based terrain classification (TC). Recorded with a Husky A200, our dataset contains 116 min of Inertial Measurement Unit (IMU), motor current, and wheel odometry data, focusing on typical boreal forest terrains, notably snow, ice, and silty loam. Combining our dataset with another dataset from the state-of-the-art, we evaluate both a Convolutional Neural Network (CNN) and the novel state space model (SSM)-based Mamba architecture on a TC task. Interestingly, we show that while CNN outperforms Mamba on each separate dataset, Mamba achieves greater accuracy when trained on a combination of both. In addition, we demonstrate that Mamba's learning capacity is greater than a CNN for increasing amounts of data. We show that the combination of two TC datasets yields a latent space that can be interpreted with the properties of the terrains. We also discuss the implications of merging datasets on classification. Our source code and dataset are publicly available online: https://github.com/norlab-ulaval/BorealTC.


title: Global well-posedness of the stochastic Abelian-Higgs equations in two dimensions

abstract: We prove the global well-posedness of the stochastic Abelian-Higgs equations in two dimensions. The proof is based on a new covariant approach, which consists of two parts: First, we introduce covariant stochastic objects. The covariant stochastic objects and their multi-linear interactions are controlled using covariant heat kernel estimates. Second, we control nonlinear remainders using a covariant monotonicity formula, which is inspired by earlier work of Hamilton.


title: Algebraic Constraints and Algorithms for Common Lines in Cryo-EM

abstract: We revisit the topic of common lines between projection images in single particle cryo-electron microscopy (cryo-EM). We derive a novel low-rank constraint on a certain $2n \times n$ matrix storing properly-scaled basis vectors for the common lines between $n$ projection images of one molecular conformation. Using this algebraic constraint and others, we give optimization algorithms to denoise common lines and recover the unknown 3D rotations associated to the images. As an application, we develop a clustering algorithm to partition a set of noisy images into homogeneous communities using common lines, in the case of discrete heterogeneity in cryo-EM. We demonstrate the methods on synthetic and experimental datasets.


title: DHP-Mapping: A Dense Panoptic Mapping System with Hierarchical World Representation and Label Optimization Techniques

abstract: Maps provide robots with crucial environmental knowledge, thereby enabling them to perform interactive tasks effectively. Easily accessing accurate abstract-to-detailed geometric and semantic concepts from maps is crucial for robots to make informed and efficient decisions. To comprehensively model the environment and effectively manage the map data structure, we propose DHP-Mapping, a dense mapping system that utilizes multiple Truncated Signed Distance Field (TSDF) submaps and panoptic labels to hierarchically model the environment. The output map is able to maintain both voxel- and submap-level metric and semantic information. Two modules are presented to enhance the mapping efficiency and label consistency: (1) an inter-submaps label fusion strategy to eliminate duplicate points across submaps and (2) a conditional random field (CRF) based approach to enhance panoptic labels through object label comprehension and contextual information. We conducted experiments with two public datasets including indoor and outdoor scenarios. Our system performs comparably to state-of-the-art (SOTA) methods across geometry and label accuracy evaluation metrics. The experiment results highlight the effectiveness and scalability of our system, as it is capable of constructing precise geometry and maintaining consistent panoptic labels. Our code is publicly available at https://github.com/hutslib/DHP-Mapping.


title: What is computable and non-computable in the quantum domain: 7 statements and 3 conjectures

abstract: Recent progress in developing computational devices based on quantum effects and demonstrations of solving various tasks using them has actualized the question of the origin of the quantum advantage. Although various attempts to quantify and characterize the nature of quantum computational advantage have been made, this question in the general context remains open: There is no universal approach that helps to define a scope of problems that quantum computers are able to speed up, theoretically and in practice. Here we review an approach to this question based on the concept of complexity and reachability of quantum states. On the one hand, the class of quantum states that is of interest for quantum computing should be complex, i.e. non-simulatable with classical computers with less than exponential resources. On the other hand, such quantum states should be reachable on a practical quantum computer. This means that a unitary corresponding to the transformation of quantum states from initial to desired can be decomposed in a sequence of single- and two-qubit gates with of no more than polynomial in the number of qubits. Our consideration paves the way towards understanding the scope of problems that can be solved by a quantum computer by formulating a sequence of statements and conjectures on various sets of quantum states.


title: Entropy-conservative high-order methods for high-enthalpy gas flows

abstract: A framework for numerical evaluation of entropy-conservative volume fluxes in gas flows with internal energies is developed, for use with high-order discretization methods. The novelty of the approach lies in the ability to use arbitrary expressions for the internal degrees of freedom of the constituent gas species. The developed approach is implemented in an open-source discontinuous Galerkin code for solving hyperbolic equations. Numerical simulations are carried out for several model 2-D flows and the results are compared to those obtained with the finite volume-based solver DLR TAU.


title: GLAD: Improving Latent Graph Generative Modeling with Simple Quantization

abstract: Exploring the graph latent structures has not garnered much attention in the graph generative research field. Yet, exploiting the latent space is as crucial as working on the data space for discrete data such as graphs. However, previous methods either failed to preserve the permutation symmetry of graphs or lacked an effective approaches to model appropriately within the latent space. To mitigate those issues, we propose a simple, yet effective discrete latent graph diffusion generative model. Our model, namely GLAD, not only overcomes the drawbacks of existing latent approaches, but also alleviates inherent issues present in diffusion methods applied on the graph space. We validate our generative model on the molecular benchmark datasets, on which it demonstrates competitive performance compared with the state-of-the-art baselines.


title: NMSSM with correct relic density and an additional 95 GeV Higgs boson

abstract: We investigate whether it is possible within the NMSSM to describe simultaneously a correct dark matter relic density complying with the latest null results from the LZ experiment, an extra Higgs boson with a mass of ~95 GeV visible in the bb channel at LEP and the diphoton channel at the LHC, and the deviation of the anomalous magnetic moment of the muon from its value within the Standard Model. We find that this is still possible for a variety of dark matter annihilation mechanisms, for singlino-like but also bino-like lightest supersymmetric particles. We show the signal rates of the extra Higgs boson and the dark matter detection rates as function of the dark matter mass and annihilation mechanism. The dark matter direct detection cross section may well fall below the neutrino floor. The masses of the lightest electroweakly interacting supersymmetric particles are typically not far above 100 GeV, but not excluded due to unconventional decays.


title: CVT-xRF: Contrastive In-Voxel Transformer for 3D Consistent Radiance Fields from Sparse Inputs

abstract: Neural Radiance Fields (NeRF) have shown impressive capabilities for photorealistic novel view synthesis when trained on dense inputs. However, when trained on sparse inputs, NeRF typically encounters issues of incorrect density or color predictions, mainly due to insufficient coverage of the scene causing partial and sparse supervision, thus leading to significant performance degradation. While existing works mainly consider ray-level consistency to construct 2D learning regularization based on rendered color, depth, or semantics on image planes, in this paper we propose a novel approach that models 3D spatial field consistency to improve NeRF's performance with sparse inputs. Specifically, we first adopt a voxel-based ray sampling strategy to ensure that the sampled rays intersect with a certain voxel in 3D space. We then randomly sample additional points within the voxel and apply a Transformer to infer the properties of other points on each ray, which are then incorporated into the volume rendering. By backpropagating through the rendering loss, we enhance the consistency among neighboring points. Additionally, we propose to use a contrastive loss on the encoder output of the Transformer to further improve consistency within each voxel. Experiments demonstrate that our method yields significant improvement over different radiance fields in the sparse inputs setting, and achieves comparable performance with current works.


title: Movable-Antenna Position Optimization: A Graph-based Approach

abstract: Fluid antennas (FAs) and movable antennas (MAs) have emerged as promising technologies in wireless communications, which offer the flexibility to improve channel conditions by adjusting transmit/receive antenna positions within a spatial region. In this letter, we focus on an MA-enhanced multiple-input single-output (MISO) communication system, aiming to optimize the positions of multiple transmit MAs to maximize the received signal power. Unlike the prior works on continuously searching for the optimal MA positions, we propose to sample the transmit region into discrete points, such that the continuous antenna position optimization problem is transformed to a discrete sampling point selection problem based on the point-wise channel information. However, such a point selection problem is combinatory and challenging to be optimally solved. To tackle this challenge, we ingeniously recast it as an equivalent fixed-hop shortest path problem in graph theory and propose a customized algorithm to solve it optimally in polynomial time. To further reduce the complexity, a linear-time sequential update algorithm is also proposed to obtain a high-quality suboptimal solution. Numerical results demonstrate that the proposed algorithms can yield considerable performance gains over the conventional fixed-position antennas with/without antenna selection.


title: ChatGPT "contamination": estimating the prevalence of LLMs in the scholarly literature

abstract: The use of ChatGPT and similar Large Language Model (LLM) tools in scholarly communication and academic publishing has been widely discussed since they became easily accessible to a general audience in late 2022. This study uses keywords known to be disproportionately present in LLM-generated text to provide an overall estimate for the prevalence of LLM-assisted writing in the scholarly literature. For the publishing year 2023, it is found that several of those keywords show a distinctive and disproportionate increase in their prevalence, individually and in combination. It is estimated that at least 60,000 papers (slightly over 1% of all articles) were LLM-assisted, though this number could be extended and refined by analysis of other characteristics of the papers or by identification of further indicative keywords.


title: Towards Balanced RGB-TSDF Fusion for Consistent Semantic Scene Completion by 3D RGB Feature Completion and a Classwise Entropy Loss Function

abstract: Semantic Scene Completion (SSC) aims to jointly infer semantics and occupancies of 3D scenes. Truncated Signed Distance Function (TSDF), a 3D encoding of depth, has been a common input for SSC. Furthermore, RGB-TSDF fusion, seems promising since these two modalities provide color and geometry information, respectively. Nevertheless, RGB-TSDF fusion has been considered nontrivial and commonly-used naive addition will result in inconsistent results. We argue that the inconsistency comes from the sparsity of RGB features upon projecting into 3D space, while TSDF features are dense, leading to imbalanced feature maps when summed up. To address this RGB-TSDF distribution difference, we propose a two-stage network with a 3D RGB feature completion module that completes RGB features with meaningful values for occluded areas. Moreover, we propose an effective classwise entropy loss function to punish inconsistency. Extensive experiments on public datasets verify that our method achieves state-of-the-art performance among methods that do not adopt extra data.


title: Quantitative modelling of type Ia supernovae spectral time series: Constraining the explosion physics

abstract: Multiple explosion mechanisms have been proposed to explain type Ia supernovae (SNe Ia). Empirical modelling tools have also been developed that allow for fast, customised modelling of individual SNe and direct comparisons between observations and explosion model predictions. Such tools have provided useful insights, but the subjective nature with which empirical modelling is performed makes it difficult to obtain robust constraints on the explosion physics or expand studies to large populations of objects. Machine learning accelerated tools have therefore begun to gain traction. In this paper, we present riddler, a framework for automated fitting of SNe Ia spectral sequences up to shortly after maximum light. We train a series of neural networks on realistic ejecta profiles predicted by the W7 and N100 explosion models to emulate full radiative transfer simulations and apply nested sampling to determine the best-fitting model parameters for multiple spectra of a given SN simultaneously. We show that riddler is able to accurately recover the parameters of input spectra and use it to fit observations of two well-studied SNe Ia. We also investigate the impact of different weighting schemes when performing quantitative spectral fitting and show that best-fitting models and parameters are highly dependent on the assumed weighting schemes and priors. As spectroscopic samples of SNe Ia continue to grow, automated spectral fitting tools such as riddler will become increasingly important to maximise the physical constraints that can be gained in a quantitative and consistent manner.


title: A low-order locking-free multiscale finite element method for isotropic elasticity

abstract: The multiscale hybrid-mixed (MHM) method consists of a multi-level strategy to approximate the solution of boundary value problems with heterogeneous coefficients. In this context, we propose a family of low-order finite elements for the linear elasticity problem which are free from Poisson locking. The finite elements rely on face degrees of freedom associated with multiscale bases obtained from local Neumann problems with piecewise polynomial interpolations on faces. We establish sufficient refinement levels on the fine-scale mesh such that the MHM method is well-posed, optimally convergent under local regularity conditions, and locking-free. Two-dimensional numerical tests assess theoretical results.


title: Moir\'e patterns of space-filling curves

abstract: It is shown on the examples of Moore and Gosper curves that two spatially shifted or twisted, pre-asymptotic space-filling curves can produce large-scale superstructures akin to moir\'e patterns. To study physical phenomena emerging from these patterns, a geometrical coupling coefficient based on the Neumann integral is introduced. It is found that moir\'e patterns appear most defined at the peaks of those coefficients. A physical interpretation of these coefficients as a measure for inductive coupling between radiofrequency resonators leads to a design principle for strongly overlapping resonators with vanishing mutual inductance, which might be interesting for applications in MRI. These findings are demonstrated in graphical, numerical, and physical experiments.


title: PRODIGE -- Envelope to Disk with NOEMA III. The origin of complex organic molecule emission in SVS13A

abstract: Complex Organic Molecules (COMs) have been found toward low-mass protostars but the origins of the COM emission are still unclear. It can be associated with, for example, hot corinos, outflows, and/or accretion shock/disk atmosphere. We have conducted NOEMA observations toward SVS13A from the PROtostars & DIsks: Global Evolution (PRODIGE) program. Our previous \ce{DCN} observations reveal a possible infalling streamer, which may affect the chemistry of the central protobinary by inducing accretion outbursts and/or shocked gas. Here, we further analyze six O-bearing COMs: CH3OH, aGg'-(CH2OH)2, C2H5OH, CH2(OH)CHO, CH3CHO, and CH3OCHO. Although the COM emission is not spatially resolved, we constrain the source sizes to $\lesssim0.3-0.4$ arcsec (90$-$120 au) by conducting uv-domain Gaussian fitting. Interestingly, the high-spectral resolution data reveal complex line profiles with multiple peaks showing differences between these six O-bearing COMs. The LTE fitting unveils differences in excitation temperatures and emitting areas among these COMs. We further conduct multiple-velocity-component LTE fitting to decompose the line emission into different kinematic components. Up to 6 velocity components are found from the LTE modeling. The temperature, column density, and source size of these components from each COM are obtained. We find a variety in excitation temperatures ($100-500$ K) and source sizes (D$\sim10-70$ au) from these kinematic components from different COMs. The emission of each COM can trace several components and different COMs most likely trace different regions. Given this complex structure, we suggest that the central region is inhomogeneous and unlikely to be heated by only protostellar radiation. We conclude that accretion shocks induced by the large-scale infalling streamer likely exist and contribute to the complexity of the COM emission.


title: Explanation of the Generalizations of Uncertainty Principle from Coordinate and Momentum Space Periodicity

abstract: Generalizations of coordinate $x$-momentum $p_x$ Uncertainty Principle, with $\Delta x$ and $\Delta p_x$ dependent terms ($\Delta$ denoting standard deviation), $$\Delta x \Delta p_x\geq i\hbar (1+\alpha\Delta p_x^2 +\beta \Delta x^2)$$ have provided rich dividends as a poor person's approach towards Quantum Gravity, because these can introduce coordinate and momentum scales ($\alpha,\beta$ ) that are appealing conceptually. However, these extensions of Uncertainty Principle are purely phenomenological in nature. Apart from the inherent ambiguity in their explicit structures, the introduction of generalized commutations relations compatible with the the uncertainty relations has some drawbacks. In the present paper we reveal that these generalized Uncertainty Principles can appear in a perfectly natural way, in canonical quantum mechanics, if one assumes a periodic nature in coordinate or momentum space, as the case may be. We bring in to light quite old, (but not so well known), works by Judge and by Judge and Lewis, that explain in detail how a consistent and generalized Uncertainty Principle is induced in the case of angle $\phi$ - angular momentum $L_z$, $$\Delta \phi \Delta L_z \geq i\hbar (1 +\nu \Delta \phi^2)$$ purely from a consistent implementation of {\it{periodic}} nature of the angle variable $\phi $, without changing the $\phi, L_z$ canonical commutation relation. {\it{Structurally this is identical to the well known Extended Uncertainty Principle.}} We directly apply this formalism to formulate the $\Delta x \Delta p_x $ Extended Uncertainty Principle. We identify $\beta$ with an observed length scale relevant in astrophysics context. We speculate about the $\alpha$ extension.


title: EFT observable stability under NLO corrections through interference revival

abstract: We illustrate the importance of interference revival when higher order corrections are included, by presenting LO and NLO differential cross-sections and $K$-factors for three processes that are sensitive to the dimension-6 SMEFT operator $O_W$ : $Z$-plus-two-jets ($Zjj$) production through Vector Boson Fusion (VBF), leptonic diboson $WZ$ and $W\gamma$. We show how lifting the interference suppression at LO, through suitable variables and cuts, is necessary to get reliable predictions at NLO. We also show bounds on $C_W$ obtained from these observables


title: "It is there, and you need it, so why do you not use it?" Achieving better adoption of AI systems by domain experts, in the case study of natural science research

abstract: Artificial Intelligence (AI) is becoming ubiquitous in domains such as medicine and natural science research. However, when AI systems are implemented in practice, domain experts often refuse them. Low acceptance hinders effective human-AI collaboration, even when it is essential for progress. In natural science research, scientists' ineffective use of AI-enabled systems can impede them from analysing their data and advancing their research. We conducted an ethnographically informed study of 10 in-depth interviews with AI practitioners and natural scientists at the organisation facing low adoption of algorithmic systems. Results were consolidated into recommendations for better AI adoption: i) actively supporting experts during the initial stages of system use, ii) communicating the capabilities of a system in a user-relevant way, and iii) following predefined collaboration rules. We discuss the broader implications of our findings and expand on how our proposed requirements could support practitioners and experts across domains.


title: Inverting the sum of two singular matrices

abstract: Square matrices of the form $\widetilde{\mathbf{A}} =\mathbf{A} + \mathbf{e}D \mathbf{f}^*$ are considered. An explicit expression for the inverse is given, provided $\widetilde{\mathbf{A}}$ and $D$ are invertible with $\text{rank}(\widetilde{\mathbf{A}}) =\text{rank}(\mathbf{A})+\text{rank}(\mathbf{e}D \mathbf{f}^*)$. The inverse is presented in two ways, one that uses singular value decomposition and another that depends directly on the components $\mathbf{A}$, $\mathbf{e}$, $\mathbf{f}$ and $D$. Additionally, a matrix determinant lemma for singular matrices follows from the derivations.


title: Make-It-Vivid: Dressing Your Animatable Biped Cartoon Characters from Text

abstract: Creating and animating 3D biped cartoon characters is crucial and valuable in various applications. Compared with geometry, the diverse texture design plays an important role in making 3D biped cartoon characters vivid and charming. Therefore, we focus on automatic texture design for cartoon characters based on input instructions. This is challenging for domain-specific requirements and a lack of high-quality data. To address this challenge, we propose Make-It-Vivid, the first attempt to enable high-quality texture generation from text in UV space. We prepare a detailed text-texture paired data for 3D characters by using vision-question-answering agents. Then we customize a pretrained text-to-image model to generate texture map with template structure while preserving the natural 2D image knowledge. Furthermore, to enhance fine-grained details, we propose a novel adversarial learning scheme to shorten the domain gap between original dataset and realistic texture domain. Extensive experiments show that our approach outperforms current texture generation methods, resulting in efficient character texturing and faithful generation with prompts. Besides, we showcase various applications such as out of domain generation and texture stylization. We also provide an efficient generation system for automatic text-guided textured character generation and animation.


title: Concerned with Data Contamination? Assessing Countermeasures in Code Language Model

abstract: Various techniques have been proposed to leverage the capabilities of code language models (CLMs) for SE tasks. While these techniques typically evaluate their effectiveness using publicly available datasets, the evaluation can be subject to data contamination threats where the evaluation datasets have already been used to train the concerned CLMs. This can significantly affect the reliability of the evaluation. Different countermeasures have been suggested to mitigate the data contamination threat. Countermeasures include using more recent data, curating new data, and refactoring existing data are introduced, yet it is unclear whether these countermeasures could really mitigate data contamination threats to model evaluation. To fill the gap, we systematically study to quantify the impacts of these countermeasures on CLMs' performance. To facilitate the study, we collected over 2 million Python functions with timestamps ranging from January 1st, 2018, to December 31st, 2023. The data created before the models' cut-off date are considered "contaminated data", while the data where the countermeasures are taken are regarded as "cleansed data". We study the impact of these countermeasures by investigating the difference in CLMs' performance on contaminated and cleansed data derived from different countermeasures. Our experiments yield several interesting observations. For instance, CLMs do not necessarily perform worse on data after the models' cut-off date; on the contrary, they sometimes perform better. In addition, refactoring did not always result in decreased performance; it could lead to improvements instead. Furthermore, existing metrics such as perplexity cannot distinguish contaminated/cleansed data. We hope that the results and observations could help deepen the understanding of CLMs' capabilities and inform the community about data contamination.


title: State Space Models as Foundation Models: A Control Theoretic Overview

abstract: In recent years, there has been a growing interest in integrating linear state-space models (SSM) in deep neural network architectures of foundation models. This is exemplified by the recent success of Mamba, showing better performance than the state-of-the-art Transformer architectures in language tasks. Foundation models, like e.g. GPT-4, aim to encode sequential data into a latent space in order to learn a compressed representation of the data. The same goal has been pursued by control theorists using SSMs to efficiently model dynamical systems. Therefore, SSMs can be naturally connected to deep sequence modeling, offering the opportunity to create synergies between the corresponding research areas. This paper is intended as a gentle introduction to SSM-based architectures for control theorists and summarizes the latest research developments. It provides a systematic review of the most successful SSM proposals and highlights their main features from a control theoretic perspective. Additionally, we present a comparative analysis of these models, evaluating their performance on a standardized benchmark designed for assessing a model's efficiency at learning long sequences.


title: Spline Trajectory Tracking and Obstacle Avoidance for Mobile Agents via Convex Optimization

abstract: We propose an output feedback control-based motion planning technique for agents to enable them to converge to a specified polynomial trajectory while imposing a set of safety constraints on our controller to avoid collisions within the free configuration space (polygonal environment). To achieve this, we 1) decompose our polygonal environment into different overlapping cells 2) write out our polynomial trajectories as the output of a reference dynamical system with given initial conditions 3) formulate convergence and safety constraints as Linear Matrix Inequalities (LMIs) on our controller using Control Lyapunov Functions (CLFs) and Control Barrier Functions (CBFs) and 4) solve a semi-definite programming (SDP) problem with convergence and safety constraints imposed to synthesize a controller for each convex cell. Extensive simulations are included to test our motion planning method under different initial conditions and different reference trajectories. The synthesized controller is robust to changes in initial conditions and is always safe relative to the boundaries of the polygonal environment.


title: Hyperpixels: Pixel Filter Arrays of Multivariate Optical Elements for Optimized Spectral Imaging

abstract: We introduce the concept of `hyperpixels' in which each element of a pixel filter array (suitable for CMOS image sensor integration) has a spectral transmission tailored to a target spectral component expected in application-specific scenes. These are analogous to arrays of multivariate optical elements that could be used for sensing specific analytes. Spectral tailoring is achieved by engineering the heights of multiple sub-pixel Fabry-Perot resonators that cover each pixel area. We first present a design approach for hyperpixels, based on a matched filter concept and, as an exemplar, design a set of 4 hyperpixels tailored to optimally discriminate between 4 spectral reflectance targets. Next, we fabricate repeating 2x2 pixel filter arrays of these designs, alongside repeating 2x2 arrays of an optimal bandpass filters, perform both spectral and imaging characterization. Experimentally measured hyperpixel transmission spectra show a 2.4x reduction in unmixing matrix condition number (p=0.031) compared to the optimal band-pass set. Imaging experiments using the filter arrays with a monochrome sensor achieve a 3.47x reduction in unmixing matrix condition number (p=0.020) compared to the optimal band-pass set. This demonstrates the utility of the hyperpixel approach and shows its superiority even over the optimal bandpass case. We expect that with further improvements in design and fabrication processes increased performance may be obtained. Because the hyperpixels are straightforward to customize, fabricate and can be placed atop monochrome sensors, this approach is highly versatile and could be adapted to a wide range of real-time imaging applications which are limited by low SNR including micro-endoscopy, capsule endoscopy, industrial inspection and machine vision.


title: Multi-Convergence-Angle Ptychography with Simultaneous Strong Contrast and High Resolution

abstract: Advances in bioimaging methods and hardware facilities have revolutionised the determination of numerous biological structures at atomic or near-atomic resolution. Among these developments, electron ptychography has recently attracted considerable attention because of its superior resolution, remarkable sensitivity to light elements, and high electron dose efficiency. Here, we introduce an innovative approach called multi-convergence-angle (MCA) ptychography, which can simultaneously enhance both contrast and resolution with continuous information transfer across a wide spectrum of spatial frequency. Our work provides feasibility of future applications of MCA-ptychography in providing high-quality two-dimensional images as input to three-dimensional reconstruction methods, thereby facilitating more accurate determination of biological structures.


title: Towards Secure and Trusted-by-Design Smart Contracts

abstract: Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evidence, such as money, birth certificate, visas, tickets, etc. Most of the time, evidential transactions occur in the context of complex procedures, called evidential protocols, among physical agents. The blockchain provides the mechanisms to transfer evidence, while smart contracts - programs executing within the blockchain in a decentralized and replicated fashion - allow encoding evidential protocols on top of a blockchain. As a smart contract foregoes trusted third-parties and runs on several machines anonymously, it constitutes a highly critical program that has to be secure and trusted-by-design. While most of the current smart contract languages focus on easy programmability, they do not directly address the need of guaranteeing trust and accountability, which becomes a significant issue when evidential protocols are encoded as smart contracts.


title: Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper

abstract: Failure Mode, Effects and Criticality Analysis (FMECA) is one of the safety analysis methods recommended by most of the international standards. The classical FMECA is made in a form of a table filled in either manually or by using safety analysis tools. In both cases, the design engineers have to choose the trade-offs between safety and other development constraints. In the case of complex cyber-physical systems (CPS) with thousands of specified constraints, this may lead to severe problems and significantly impact the overall criticality of CPS. In this paper, we propose to adopt optimization techniques to automate the decision making process conducted after FMECA of CPS. We describe a multi-agent based optimization method which extends classical FMECA for offering optimal solutions in terms of criticality and development constraints of CPS.


title: Properties of some dynamical systems for three collapsing inelastic particles

abstract: In this article we continue the study of the collapse of three inelastic particles in dimension $d \geq 2$, complementing the results we obtained in its companion paper. We focus on the particular case of the nearly-linear inelastic collapse, when the order of collisions becomes eventually the infinite repetition of the period $0-1$, $0-2$, under the assumption that the relative velocities of the particles (with respect to the central particle $0$) do not vanish at the time of collapse. Taking as starting point the full dynamical system that describes two consecutive collisions of the nearly-linear collapse, we derive formally a two-dimensional dynamical system, called the two-collision mapping. This mapping governs the evolution of the variables of the full dynamical system. We show in particular that in the so-called Zhou-Kadanoff regime, the orbits of the two-collision mapping can be described in full detail. We study rigorously the two-collision mapping, proving that the Zhou-Kadanoff regime is stable and locally attracting in a certain region of the phase space of the two-collision mapping. We describe all the fixed points of the two-collision mapping in the case when the norms of the relative velocities tend to the same positive limit. We establish conjectures to characterize the orbits that verify the Zhou-Kadanoff regime, motivated by numerical simulations, and we prove these conjectures for a simplified version of the two-collision mapping.


title: Comparing statistical likelihoods with diagnostic probabilities based on directly observed proportions to help understand the replication crisis

abstract: Diagnosticians use an observed proportion as a direct estimate of the posterior probability of a diagnosis. Therefore, a diagnostician might regard a continuous Gaussian probability distribution of possible numerical outcomes conditional on the information in the study methods and data as posterior probabilities. Similarly, they might regard the distribution of possible means based on a SEM as a posterior probability distribution too. If the converse likelihood distribution of the observed mean conditional on any hypothetical mean (e.g. the null hypothesis) is assumed to be the same as the above posterior distribution (as is customary) then by Bayes rule, the prior distribution of all possible hypothetical means is uniform. It follows that the probability Q of any theoretically true mean falling into a tail beyond a null hypothesis would be equal to that tails area as a proportion of the whole. It also follows that the P value (the probability of the observed mean or something more extreme conditional on the null hypothesis) is equal to Q. Replication involves doing two independent studies, thus doubling the variance for the combined posterior probability distribution. So, if the original effect size was 1.96, the number of observations was 100, the SEM was 1 and the original P value was 0.025, the theoretical probability of a replicating study getting a P value of up to 0.025 again is only 0.283. By applying this double variance to achieve a power of 80%, the required number of observations is doubled compared to conventional approaches. If some replicating study is to achieve a P value of up to 0.025 yet again with a probability of 0.8, then this requires 3 times as many observations in the power calculation. This might explain the replication crisis.


title: Subwavelength resolution using the near field of quantum emitters

abstract: We propose a novel, to the best of our knowledge, approach to superresolution optical imaging by combining quantum optics and near-field optics. Our concept involves the utilization of single-photon quantum emitters to generate a stand-alone evanescent wave. We demonstrate that the quantum interference effects of single-photon emitters, in conjunction with their near-field, result in a higher resolution of subwavelength structures than systems that are only quantum enhanced or only near-field enhanced. We believe that nano-sized emitters could be employed to accomplish the goals of this research, taking into account the current progress in nanophotonics and quantum optics technology.


title: Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations

abstract: Understanding driving scenes and communicating automated vehicle decisions are key requirements for trustworthy automated driving. In this article, we introduce the Qualitative Explainable Graph (QXG), which is a unified symbolic and qualitative representation for scene understanding in urban mobility. The QXG enables interpreting an automated vehicle's environment using sensor data and machine learning models. It utilizes spatio-temporal graphs and qualitative constraints to extract scene semantics from raw sensor inputs, such as LiDAR and camera data, offering an interpretable scene model. A QXG can be incrementally constructed in real-time, making it a versatile tool for in-vehicle explanations across various sensor types. Our research showcases the potential of QXG, particularly in the context of automated driving, where it can rationalize decisions by linking the graph with observed actions. These explanations can serve diverse purposes, from informing passengers and alerting vulnerable road users to enabling post-hoc analysis of prior behaviors.


title: Towards Algorithmic Fidelity: Mental Health Representation across Demographics in Synthetic vs. Human-generated Data

abstract: Synthetic data generation has the potential to impact applications and domains with scarce data. However, before such data is used for sensitive tasks such as mental health, we need an understanding of how different demographics are represented in it. In our paper, we analyze the potential of producing synthetic data using GPT-3 by exploring the various stressors it attributes to different race and gender combinations, to provide insight for future researchers looking into using LLMs for data generation. Using GPT-3, we develop HEADROOM, a synthetic dataset of 3,120 posts about depression-triggering stressors, by controlling for race, gender, and time frame (before and after COVID-19). Using this dataset, we conduct semantic and lexical analyses to (1) identify the predominant stressors for each demographic group; and (2) compare our synthetic data to a human-generated dataset. We present the procedures to generate queries to develop depression data using GPT-3, and conduct analyzes to uncover the types of stressors it assigns to demographic groups, which could be used to test the limitations of LLMs for synthetic data generation for depression data. Our findings show that synthetic data mimics some of the human-generated data distribution for the predominant depression stressors across diverse demographics.


title: Permutation Entropy and Complexity Analysis of Large-scale Solar Wind Structures and Streams

abstract: In this work, we perform a statistical study of magnetic field fluctuations in the solar wind at 1 au using permutation entropy and complexity analysis, and the investigation of the temporal variations of the Hurst exponents. Slow and fast wind, magnetic clouds, interplanetary coronal mass ejection (ICME)-driven sheath regions and slow-fast stream interaction regions (SIRs) have been investigated separately. Our key finding is that there are significant differences in permutation entropy and complexity values between the solar wind types at larger timescales and little difference at small timescales. Differences become more distinct with increasing timescale, suggesting that smaller-scale turbulent features are more universal. At larger timescales, the analysis method can be used to identify localized spatial structures. We found that except in magnetic clouds, fluctuation are largely anti-persistent and that the Hurst exponents, in particular in compressive structures (sheaths and SIRs) exhibit a clear locality. Our results shows that, in all cases apart from magnetic clouds at largest scales, solar wind fluctuations are stochastic with the fast wind having the highest entropies and low complexities. Magnetic clouds in turn exhibit the lowest entropy and highest complexity, consistent with them being coherent structures in which the magnetic field components vary in an ordered manner. SIRs, slow wind and ICME sheaths are intermediate to magnetic clouds and fast wind, reflecting the increasingly ordered structure. Our results also indicate that permutation entropy - complexity analysis is a useful tool for characterizing the solar wind and investigating the nature of its fluctuations.


title: Achieving Optical Refractive Index of 10-Plus by Colloidal Self-Assembly

abstract: This study demonstrates the developments of self-assembled optical metasurfaces to overcome inherent limitations in polarization density (P) within natural materials, which hinder achieving high refractive indices (n) at optical frequencies. The Maxwellian macroscopic description establishes a link between P and n, revealing a static limit in natural materials, restricting n to approximately 4.0 at optical frequencies. Optical metasurfaces, utilizing metallic colloids on a deep-subwavelength scale, offer a solution by unnaturally enhancing n through electric dipolar (ED) resonances. Self-assembly enables the creation of nanometer-scale metallic gaps between metallic nanoparticles (NPs), paving the way for achieving exceptionally high n at optical frequencies. This study focuses on assembling polyhedral gold (Au) NPs into a closely packed monolayer by rationally designing the polymeric ligand to balance attractive and repulsive forces, in that polymeric brush-mediated self-assembly of the close-packed Au NP monolayer is robustly achieved over a large-area. The resulting monolayer of Au nanospheres (NSs), nanooctahedras (NOs), and nanocubes (NCs) exhibits high macroscopic integrity and crystallinity, sufficiently enough for pushing n to record-high regimes. The study underlies the significance of capacitive coupling in achieving an unnaturally high n and explores fine-tuning Au NC size to optimize this coupling. The achieved n of 10.12 at optical frequencies stands as a benchmark, highlighting the potential of polyhedral Au NPs in advancing optical metasurfaces.


title: Cauchy universality and random billiards

abstract: Motion in bounded domains represents a paradigm in several settings: from billiard dynamics, to random walks in a finite lattice, with applications to relevant physical, ecological and biological problems. A remarkable universal property, involving the average of return times to the boundary, has been theoretically proposed, and experimentally verified in quite different contexts. We discuss here mechanisms that lead to violations of universality, induced by boundary effects. We suggest that our analysis should be relevant where non homogeneity appears in the stationary probability distribution in bounded domain.


title: New Intent Discovery with Attracting and Dispersing Prototype

abstract: New Intent Discovery (NID) aims to recognize known and infer new intent categories with the help of limited labeled and large-scale unlabeled data. The task is addressed as a feature-clustering problem and recent studies augment instance representation. However, existing methods fail to capture cluster-friendly representations, since they show less capability to effectively control and coordinate within-cluster and between-cluster distances. Tailored to the NID problem, we propose a Robust and Adaptive Prototypical learning (RAP) framework for globally distinct decision boundaries for both known and new intent categories. Specifically, a robust prototypical attracting learning (RPAL) method is designed to compel instances to gravitate toward their corresponding prototype, achieving greater within-cluster compactness. To attain larger between-cluster separation, another adaptive prototypical dispersing learning (APDL) method is devised to maximize the between-cluster distance from the prototype-to-prototype perspective. Experimental results evaluated on three challenging benchmarks (CLINC, BANKING, and StackOverflow) of our method with better cluster-friendly representation demonstrate that RAP brings in substantial improvements over the current state-of-the-art methods (even large language model) by a large margin (average +5.5% improvement).


title: Solving the unique continuation problem for Schr\"odinger equations with low regularity solutions using a stabilized finite element method

abstract: In this paper, we consider the unique continuation problem for the Schr\"odinger equations. We prove a H\"older type conditional stability estimate and build up a parameterized stabilized finite element scheme adaptive to the \textit{a priori} knowledge of the solution, achieving error estimates in interior domains with convergence up to continuous stability. The approximability of the scheme to solutions with only $H^1$-regularity is studied and the convergence rate for solutions with regularity higher than $H^1$ is also shown. Comparisons in terms of different parameterization for different regularities will be illustrated with respect to the convergence and condition numbers of the linear systems. Finally, numerical experiments will be given to illustrate the theory.


title: Coarse-Tuning for Ad-hoc Document Retrieval Using Pre-trained Language Models

abstract: Fine-tuning in information retrieval systems using pre-trained language models (PLM-based IR) requires learning query representations and query-document relations, in addition to downstream task-specific learning. This study introduces coarse-tuning as an intermediate learning stage that bridges pre-training and fine-tuning. By learning query representations and query-document relations in coarse-tuning, we aim to reduce the load of fine-tuning and improve the learning effect of downstream IR tasks. We propose Query-Document Pair Prediction (QDPP) for coarse-tuning, which predicts the appropriateness of query-document pairs. Evaluation experiments show that the proposed method significantly improves MRR and/or nDCG@5 in four ad-hoc document retrieval datasets. Furthermore, the results of the query prediction task suggested that coarse-tuning facilitated learning of query representation and query-document relations.


title: SCOD: From Heuristics to Theory

abstract: This paper addresses the problem of designing reliable prediction models that abstain from predictions when faced with uncertain or out-of-distribution samples - a recently proposed problem known as Selective Classification in the presence of Out-of-Distribution data (SCOD). We make three key contributions to SCOD. Firstly, we demonstrate that the optimal SCOD strategy involves a Bayes classifier for in-distribution (ID) data and a selector represented as a stochastic linear classifier in a 2D space, using i) the conditional risk of the ID classifier, and ii) the likelihood ratio of ID and out-of-distribution (OOD) data as input. This contrasts with suboptimal strategies from current OOD detection methods and the Softmax Information Retaining Combination (SIRC), specifically developed for SCOD. Secondly, we establish that in a distribution-free setting, the SCOD problem is not Probably Approximately Correct learnable when relying solely on an ID data sample. Third, we introduce POSCOD, a simple method for learning a plugin estimate of the optimal SCOD strategy from both an ID data sample and an unlabeled mixture of ID and OOD data. Our empirical results confirm the theoretical findings and demonstrate that our proposed method, POSCOD, out performs existing OOD methods in effectively addressing the SCOD problem.


title: Existence and uniqueness for renormalized solutions to a general noncoercive nonlinear parabolic equation

abstract: This paper introduces the concept of renormalized solution for a general class of non-coercive nonlinear parabolic problems, including both singularities and unbounded lower order terms. We prove existence and uniqueness of renormalized solutions for such class of problems.


title: $p$-adic rigidity of eigenforms of infinite slope

abstract: We give a notion of $p$-adic families of Hecke eigenforms that allows for the slope of the forms be infinite at $p$. We prove that, contrary to the case of finite slope when every eigenform lives in a Hida or Coleman family, the only families of infinite slope are either twists of Hida or Coleman families with Dirichlet characters of $p$-power conductor, or non-ordinary families with complex multiplication. Our proof goes via a local study of deformations of potentially trianguline Galois representations, relying on work of Berger and Chenevier, and a global input coming from an analogue of a result of Balasubramanyam, Ghate and Vatsal on a Greenberg-type conjecture for families of Hilbert modular forms.


title: Conserved photon current

abstract: A conserved photon current is derived from the commutation relations satisfied by the electromagnetic four-potential and field tensor operators. The density is found to be a sum over positive and negative frequency terms, both of which contribute a positive number density and propagate in a common direction. Discrete positive and negative frequency excitations are both identified as photons. Photon number, equal to the spatial integral of photon density, is conserved in the absence of sources and sinks.


title: On the optimality of MCMC integration for functions with unbounded second moment

abstract: We study the Markov chain Monte Carlo (MCMC) estimator for numerical integration for functions that do not need to be square integrable w.r.t. the invariant distribution. For chains with a spectral gap we show that the absolute mean error for $L^p$ functions, with $p \in (1,2)$, decreases like $n^{1/p -1}$, which is known to be the optimal rate. This improves currently known results where an additional parameter $\delta>0$ appears and the convergence is of order $n^{(1+\delta)/p-1}$.


title: PropTest: Automatic Property Testing for Improved Visual Programming

abstract: Visual Programming has emerged as an alternative to end-to-end black-box visual reasoning models. This type of methods leverage Large Language Models (LLMs) to decompose a problem and generate the source code for an executable computer program. This strategy has the advantage of offering an interpretable reasoning path and does not require finetuning a model with task-specific data. We propose PropTest, a general strategy that improves visual programming by further using an LLM to generate code that tests for visual properties in an initial round of proposed solutions. Particularly, our method tests for data-type consistency, as well as syntactic and semantic properties in the generated solutions. Our proposed solution outperforms baselines and achieves comparable results to state-of-the-art methods while using smaller and publicly available LLMs (CodeLlama-7B and WizardCoder-15B). This is demonstrated across different benchmarks on visual question answering and referring expression comprehension, showing the efficacy of our approach in enhancing the performance and generalization of visual reasoning tasks. Specifically, PropTest improves ViperGPT by obtaining 48.66% accuracy (+8.3%) on the A-OKVQA benchmark and 52.8% (+3.3%) on the RefCOCO+ benchmark using CodeLlama-7B.


title: CHIANTI -- an atomic database for emission lines -- Paper XVIII. Version 11, advanced ionization equilibrium models: density and charge transfer effects

abstract: Version 11 of the CHIANTI database and software package is presented. Advanced ionization equilibrium models have been added for low charge states of seven elements (C, N, O, Ne, Mg, Si and S), and represent a significant improvement especially when modelling the solar transition region. The models include the effects of higher electron density and charge transfer on ionization and recombination rates. As an illustration of the difference these models make, a synthetic spectrum is calculated for an electron pressure of 7$\times 10^{15}$ cm$^{-3}$ K and compared with an active region observation from HRTS. Increases are seen of factors of two to five in the predicted radiances of the strongest lines in the UV from Si IV, C IV, and N V, compared to the previous modelling using the coronal approximation. Much better agreement (within 20\%) with the observation is found for the majority of the lines. The new atomic models better equip both those who are studying the transition region and those who are interpreting emission from higher density astrophysical and laboratory plasma. In addition to the advanced models, several ion datasets have been added or updated, and data for the radiative recombination energy loss rate have been updated.

categories: astro-ph.SR astro-ph.GA astro-ph.IM physics.atom-ph


title: Spin-charge separation in the quantum boomerang effect

abstract: We study the localization dynamics of a SU(2) fermionic wavepacket launched in a (pseudo)random potential. We show that in the limit of strong inter-component repulsions, the total wavepacket exhibits a boomerang-like dynamics, returning near its initial position as expected for non-interacting particles, while separately each spin-component does not. This spin-charge separation effect occurs both in the infinite repulsive limit and at finite interactions. At infinite interactions, the system is integrable and thermalization cannot occur: the two spin-components push each other during the dynamics and their centers of mass stop further from each other than their initial position. At finite interactions, integrability is broken, the two spin-components oscillate and mix, with their center-of-mass positions converging very slowly to the center of mass of the whole system. This is a signature that the final localized state is a fully spin-mixed thermalized state.


title: Tuned electron-nucleus resonance as a tool of producing the 229mTh isomer

abstract: The possibility of refining the energy of the 8.36-eV 229mTh nuclear isomer -- the most likely candidate for the role of a nuclear frequency standard -- by means of resonant optical pumping is discussed. Attention is focused on considering the broadening of the resonance in order to reduce scanning time. The two-photon method proposed exploits the radical broadening of the isomer line due to mixing with the electron transition. This is not burdened with the cross-section reduction, in contrast with internal-conversion-based resonance broadening or intended extra-broadening of the spectral line of a pumping laser. In the case under consideration, according to the calculations, it turns out to be two orders of magnitude more efficient. It is applicable to both ionized and neutral thorium atoms. Realization of the method supposes excitation of the both nucleus and electron shell in the final state.


title: Gas-phase condensation of carbonated silicate grains

abstract: Reports on the detection of carbonates in planetary nebulae (PNe) and protostars suggested the existence of a mechanism that produce these compounds in stellar winds and outflows. A consecutive laboratory study reported a possible mechanism by observing the non-thermodynamic equilibrium (TE), gas-phase condensation of amorphous silicate grains with amorphous calcium carbonate inclusions. It concluded that water vapor was necessary to the formation of the carbonates. We present a laboratory study with pulsed laser ablation of an MgSi target in O$_2$ and CO$_2$ gases and report, in the absence of water vapor, the non-TE, gas-phase condensation of amorphous carbonated magnesium silicate dust. It consists of amorphous silicate grains with formula MgSiO$_3$ that comprise carbonate groups homogeneously dispersed in their structure. The infrared spectra of the grains show the characteristic bands of amorphous silicates and two bands at $\sim$6.3 and $\sim$7.0 $\mu$m that we assign to the carbonate groups. The silicate bands are not significantly affected at an estimated Si:C ratio of 9:1 to 9:2. Such grains could form in winds and outflows of evolved stars and PNe if C atoms are present during silicate condensation. Additionally, we find that Lyman-$\alpha$ radiation dissociates the carbonate groups at the surface of the carbonated silicate grains and we estimate the corresponding photodissociation cross section of (0.04 $\pm$ 0.02) $\times$ 10$^{-16}$ cm$^2$. Therefore, photodissociation would limit the formation of carbonate groups on grains in winds and outflows of stars emitting VUV photons and the carbonates observed in protostars have not formed by gas-phase condensation.


title: Searches for Higgs boson production through decays of heavy resonances

abstract: The discovery of the Higgs boson has led to new possible signatures for heavy resonance searches at the LHC. Since then, search channels including at least one Higgs boson plus another particle have formed an important part of the program of new physics searches. In this report, the status of these searches by the CMS Collaboration is reviewed. Searches are discussed for resonances decaying to two Higgs bosons, a Higgs and a vector boson, or a Higgs boson and another new resonance, with proton-proton collision data collected at $\sqrt{s}$ = 13 TeV in the years 2016-2018. A combination of the results of these searches is presented together with constraints on different beyond-the-standard model scenarios, including scenarios with extended Higgs sectors, heavy vector bosons and extra dimensions. Studies are shown for the first time by CMS on the validity of the narrow-width approximation in searches for the resonant production of a pair of Higgs bosons. The potential for a discovery at the High Luminosity LHC is also discussed.


title: Enabling pulse shape discrimination with commercial ASICs

abstract: Fast electronic readout for high-channel density scintillator-based systems is needed for radiation tracking and imaging in a wide range of applications, including nuclear physics, nuclear security and nonproliferation. Programmable electronics, like FPGAs and ASICs, provide a fast way of conditioning and processing the signal in real time. In this paper, we present a pulse shape discrimination (PSD) method based on the shaping circuit of a commercially available ASIC, the Citiroc1A by CAEN Technologies. We used two different shaping times per detector channel to calculate a shaping parameter that enables PSD. Using our new method, neutron and gamma-ray pulses detected by a d$_{12}$-stilbene scintillator can be effectively discriminated at light output values greater than 0.15 MeVee. While not achieving the PSD performance of traditional offline charge integration, our method does not require the transfer of data to a separate system for further processing and enables the direct deployment of high-channel density multi-particle detection systems. Moreover, the availability of a wider range of shaping times than those on the Citiroc1A can potentially further improve the PSD performance.


title: High-order transient multidimensional simulation of a thermo-electro-chemo-mechanical model for Lithium-ion batteries

abstract: We build a transient multidimensional multiphysical model based on continuum theories, involving the coupled mechanical, thermal and electrochemical phenomena occurring simultaneously in the discharge or charge of lithium-ion batteries. The process delivers a system of coupled nonlinear partial differential equations. Besides initial and boundary conditions, we highlight the treatment of the electrode-electrolyte interface condition, which corresponds to a Butler-Volmer reaction kinetics equation. We present the derivation of the strong and weak forms of the model, as well as the discretization procedure in space and in time. The discretized model is computationally solved in two dimensions by means of a finite element method that employs $hp$ layered meshes, along with staggered second order semi-implicit time integration. The expected error estimate is of higher order than any other similar work, both in space and in time. A representative battery cell geometry, under distinct operating scenarios, is simulated. The numerical results show that the full model allows for important additional insights to be drawn than when caring only for the electrochemical coupling. Considering the multiphysics becomes more important as the applied current is increased, whether for discharge or for charge. Our full model provides battery design professionals with a valuable tool to optimize designs and advance the energy storage industry.


title: Stochastic Active Discretizations for Accelerating Temporal Uncertainty Management of Gas Pipeline Loads

abstract: We propose a predictor-corrector adaptive method for the simulation of hyperbolic partial differential equations (PDEs) on networks under general uncertainty in parameters, initial conditions, or boundary conditions. The approach is based on the stochastic finite volume (SFV) framework that circumvents sampling schemes or simulation ensembles while also preserving fundamental properties, in particular hyperbolicity of the resulting systems and conservation of the discrete solutions. The initial boundary value problem (IBVP) on a set of network-connected one-dimensional domains that represent a pipeline is represented using active discretization of the physical and stochastic spaces, and we evaluate the propagation of uncertainty through network nodes by solving a junction Riemann problem. The adaptivity of our method in refining discretization based on error metrics enables computationally tractable evaluation of intertemporal uncertainty in order to support decisions about timing and quantity of pipeline operations to maximize delivery under transient and uncertain conditions. We illustrate our computational method using simulations for a representative network.


title: FLIGAN: Enhancing Federated Learning with Incomplete Data using GAN

abstract: Federated Learning (FL) provides a privacy-preserving mechanism for distributed training of machine learning models on networked devices (e.g., mobile devices, IoT edge nodes). It enables Artificial Intelligence (AI) at the edge by creating models without sharing actual data across the network. Existing research typically focuses on generic aspects of non-IID data and heterogeneity in client's system characteristics, but they often neglect the issue of insufficient data for model development, which can arise from uneven class label distribution and highly variable data volumes across edge nodes. In this work, we propose FLIGAN, a novel approach to address the issue of data incompleteness in FL. First, we leverage Generative Adversarial Networks (GANs) to adeptly capture complex data distributions and generate synthetic data that closely resemble real-world data. Then, we use synthetic data to enhance the robustness and completeness of datasets across nodes. Our methodology adheres to FL's privacy requirements by generating synthetic data in a federated manner without sharing the actual data in the process. We incorporate techniques such as classwise sampling and node grouping, designed to improve the federated GAN's performance, enabling the creation of high-quality synthetic datasets and facilitating efficient FL training. Empirical results from our experiments demonstrate that FLIGAN significantly improves model accuracy, especially in scenarios with high class imbalances, achieving up to a 20% increase in model accuracy over traditional FL baselines.


title: Embedded skyrmion bags in thin films of chiral magnets

abstract: Magnetic skyrmions are topologically nontrivial spin configurations that possess particle-like properties. Earlier research was mainly focused on a specific type of skyrmion with topological charge Q = -1. However, theoretical analyses of two-dimensional chiral magnets have predicted the existence of skyrmion bags -- solitons with arbitrary positive or negative topological charge. Although such spin textures are metastable states, recent experimental observations have confirmed the stability of isolated skyrmion bags in a limited range of applied magnetic fields. Here, by utilizing Lorentz transmission electron microscopy, we show the extraordinary stability of skyrmion bags in thin plates of B20-type FeGe. In particular, we show that skyrmion bags embedded within a skyrmion lattice remain stable even in zero or inverted external magnetic fields. A robust protocol for nucleating such embedded skyrmion bags is provided. Our results agree perfectly with micromagnetic simulations and establish thin plates of cubic chiral magnets as a powerful platform for exploring a broad spectrum of topological magnetic solitons.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.str-el


title: On the Maximum Theta Series over Unimodular Lattices

abstract: The theta series of a lattice has been extensively studied in the literature and is closely related to a critical quantity widely used in the fields of physical layer security and cryptography, known as the flatness factor, or equivalently, the smoothing parameter of a lattice. Both fields raise the fundamental question of determining the (globally) maximum theta series over a particular set of volume-one lattices, namely, the stable lattices. In this work, we present a property of unimodular lattices, a subfamily of stable lattices, to verify that the integer lattice $\mathbb{Z}^{n}$ achieves the largest possible value of theta series over the set of unimodular lattices. Such a result moves towards proving a conjecture recently stated by Regev and Stephens-Davidowitz: any unimodular lattice, except for those lattices isomorphic to $\mathbb{Z}^{n}$, has a strictly smaller theta series than that of $\mathbb{Z}^{n}$. Our techniques are mainly based on studying the ratio of the theta series of a unimodular lattice to the theta series of $\mathbb{Z}^n$, called the secrecy ratio. We relate the Regev and Stephens-Davidowitz conjecture with another conjecture for unimodular lattices, known in the literature as the Belfiore-Sol\'e conjecture. The latter assumes that the secrecy ratio of any unimodular lattice has a symmetry point, which is exactly where the global minimum of the secrecy ratio is achieved.


title: Backpropagation through space, time, and the brain

abstract: Effective learning in neuronal networks requires the adaptation of individual synapses given their relative contribution to solving a task. However, physical neuronal systems -- whether biological or artificial -- are constrained by spatio-temporal locality. How such networks can perform efficient credit assignment, remains, to a large extent, an open question. In Machine Learning, the answer is almost universally given by the error backpropagation algorithm, through both space (BP) and time (BPTT). However, BP(TT) is well-known to rely on biologically implausible assumptions, in particular with respect to spatiotemporal (non-)locality, while forward-propagation models such as real-time recurrent learning (RTRL) suffer from prohibitive memory constraints. We introduce Generalized Latent Equilibrium (GLE), a computational framework for fully local spatio-temporal credit assignment in physical, dynamical networks of neurons. We start by defining an energy based on neuron-local mismatches, from which we derive both neuronal dynamics via stationarity and parameter dynamics via gradient descent. The resulting dynamics can be interpreted as a real-time, biologically plausible approximation of BPTT in deep cortical networks with continuous-time neuronal dynamics and continuously active, local synaptic plasticity. In particular, GLE exploits the ability of biological neurons to phase-shift their output rate with respect to their membrane potential, which is essential in both directions of information propagation. For the forward computation, it enables the mapping of time-continuous inputs to neuronal space, performing an effective spatiotemporal convolution. For the backward computation, it permits the temporal inversion of feedback signals, which consequently approximate the adjoint states necessary for useful parameter updates.


title: The Costs of Competition in Distributing Scarce Research Funds

abstract: Research funding systems are not isolated systems - they are embedded in a larger scientific system with an enormous influence on the system. This paper aims to analyze the allocation of competitive research funding from different perspectives: How reliable are decision processes for funding? What are the economic costs of competitive funding? How does competition for funds affect doing risky research? How do competitive funding environments affect scientists themselves, and which ethical issues must be considered? We attempt to identify gaps in our knowledge of research funding systems; we propose recommendations for policymakers and funding agencies, including empirical experiments of decision processes and the collection of data on these processes. With our recommendations we hope to contribute to developing improved ways of organizing research funding.


title: Measuring Spectral Form Factor in Many-Body Chaotic and Localized Phases of Quantum Processors

abstract: The spectral form factor (SFF) captures universal spectral fluctuations as signatures of quantum chaos, and has been instrumental in advancing multiple frontiers of physics including the studies of black holes and quantum many-body systems. However, the measurement of SFF in many-body systems is challenging due to the difficulty in resolving level spacings that become exponentially small with increasing system size. Here we experimentally measure the SFF to probe the presence or absence of chaos in quantum many-body systems using a superconducting quantum processor with a randomized measurement protocol. For a Floquet chaotic system, we observe signatures of spectral rigidity of random matrix theory in SFF given by the ramp-plateau behavior. For a Hamiltonian system, we utilize SFF to distinguish the quantum many-body chaotic phase and the prethermal many-body localization. We observe the dip-ramp-plateau behavior of random matrix theory in the chaotic phase, and contrast the scaling of the plateau time in system size between the many-body chaotic and localized phases. Furthermore, we probe the eigenstate statistics by measuring a generalization of the SFF, known as the partial SFF, and observe distinct behaviors in the purities of the reduced density matrix in the two phases. This work unveils a new way of extracting the universal signatures of many-body quantum chaos in quantum devices by probing the correlations in eigenenergies and eigenstates.


title: Minimum-cost paths for electric cars

abstract: An electric car equipped with a battery of a finite capacity travels on a road network with an infrastructure of charging stations. Each charging station has a possibly different cost per unit of energy. Traversing a given road segment requires a specified amount of energy that may be positive, zero or negative. The car can only traverse a road segment if it has enough charge to do so (the charge cannot drop below zero), and it cannot charge its battery beyond its capacity. To travel from one point to another the car needs to choose a \emph{travel plan} consisting of a path in the network and a recharging schedule that specifies how much energy to charge at each charging station on the path, making sure of having enough energy to reach the next charging station or the destination. The cost of the plan is the total charging cost along the chosen path. We reduce the problem of computing plans between every two junctions of the network to two problems: Finding optimal energetic paths when no charging is allowed and finding standard shortest paths. When there are no negative cycles in the network, we obtain an $O(n^3)$-time algorithm for computing all-pairs travel plans, where~$n$ is the number of junctions in the network. We obtain slightly faster algorithms under some further assumptions. We also consider the case in which a bound is placed on the number of rechargings allowed.


title: Hyperspherical Classification with Dynamic Label-to-Prototype Assignment

abstract: Aiming to enhance the utilization of metric space by the parametric softmax classifier, recent studies suggest replacing it with a non-parametric alternative. Although a non-parametric classifier may provide better metric space utilization, it introduces the challenge of capturing inter-class relationships. A shared characteristic among prior non-parametric classifiers is the static assignment of labels to prototypes during the training, ie, each prototype consistently represents a class throughout the training course. Orthogonal to previous works, we present a simple yet effective method to optimize the category assigned to each prototype (label-to-prototype assignment) during the training. To this aim, we formalize the problem as a two-step optimization objective over network parameters and label-to-prototype assignment mapping. We solve this optimization using a sequential combination of gradient descent and Bipartide matching. We demonstrate the benefits of the proposed approach by conducting experiments on balanced and long-tail classification problems using different backbone network architectures. In particular, our method outperforms its competitors by 1.22\% accuracy on CIFAR-100, and 2.15\% on ImageNet-200 using a metric space dimension half of the size of its competitors. Code: https://github.com/msed-Ebrahimi/DL2PA_CVPR24