title: Shell-shaped atomic gases

abstract: We review the quantum statistical properties of two-dimensional shell-shaped gases, produced by cooling and confining atomic ensembles in thin hollow shells. We consider both spherical and ellipsoidal shapes, discussing at zero and at finite temperature the phenomena of Bose-Einstein condensation and of superfluidity, the physics of vortices, and the crossover from the Bardeen-Cooper-Schrieffer regime to a Bose-Einstein condensate. The novel aspects associated to the curved geometry are elucidated in comparison with flat two-dimensional superfluids. We also describe the hydrodynamic excitations and their relation with the Berezinskii-Kosterlitz-Thouless transition for two-dimensional flat and curved superfluids. In the next years, shell-shaped atomic gases will be the leading experimental platform for investigations of quantum many-body physics in curved spatial domains.


title: Beyond $\Lambda$CDM with $f(z)$CDM: criticalities and solutions of Pad\'e Cosmography

abstract: Recently, cosmography emerged as a valuable tool to effectively describe the vast amount of astrophysical observations without relying on a specific cosmological model. Its model-independent nature ensures a faithful representation of data, free from theoretical biases. Indeed, the commonly assumed fiducial model, the $\Lambda$CDM, shows some shortcomings and tensions between data at late and early times that need to be further investigated. In this paper, we explore an extension of the standard cosmological model by adopting the $f(z)$CDM approach, where $f(z)$ represents the cosmographic series characterizing the evolution of recent universe driven by dark energy. To construct $f(z)$, we take into account the Pad\'e series, since this rational polynomial approximation offers a better convergence at high redshifts than the standard Taylor series expansion. Several orders of such an approximant have been proposed in previous works, here we want to answer the questions: What is the impact of the cosmographic series choice on the parameter constraints? Which series is the best for the analysis? So, we analyse the most promising ones by identifying which order is preferred in terms of stability and goodness of fit. Theoretical predictions of the $f(z)$CDM model are obtained by the Boltzmann solver code and the posterior distributions of the cosmological and cosmographic parameters are constrained by a Monte Carlo Markov Chains analysis. We consider a joint data set of cosmic microwave background temperature measurements from the Planck collaboration, type Ia supernovae data from the latest Pantheon+ sample, baryonic acoustic oscillations and cosmic chronometers data. In conclusions, we state which series can be used when only late time data are used, while which orders has to be considered in order to achieve the necessary stability when large redshifts are considered.


title: High-Resolution Full-field Structural Microscopy of the Voltage Induced Filament Formation in Neuromorphic Devices

abstract: Neuromorphic functionalities in memristive devices are commonly associated with the ability to electrically create local conductive pathways by resistive switching. The archetypal correlated material, VO2, has been intensively studied for its complex electronic and structural phase transition as well as its filament formation under applied voltages. Local structural studies of the filament behavior are often limited due to time-consuming rastering which makes impractical many experiments aimed at investigating large spatial areas or temporal dynamics associated with the electrical triggering of the phase transition. Utilizing Dark Field X-ray Microscopy (DFXM), a novel full-field x-ray imaging technique, we study this complex filament formation process in-operando in VO2 devices from a structural perspective. We show that prior to filament formation, there is a significant gain of the metallic rutile phase beneath the metal electrodes that define the device. We observed that the filament formation follows a preferential path determined by the nucleation sites within the device. These nucleation sites are predisposed to the phase transition and can persistently maintain the high-temperature rutile phase even after returning to room temperature, which can enable a novel training/learning mechanism. Filament formation also appears to follow a preferential path determined by a nucleation site within the device which is predisposed to the rutile transition even after returning to room temperature. Finally, we found that small isolated low-temperature phase clusters can be present inside the high-temperature filaments indicating that the filament structure is not uniform. Our results provide a unique perspective on the electrically induced filament formation in metal-insulator transition materials, which further the basic understanding of this resistive switching.


title: Tunneling effect between radial electric wells in a homogeneous magnetic field

abstract: We establish a tunneling formula for a Schr\"odinger operator with symmetric double-well potential and homogeneous magnetic field, in dimension two. Each well is assumed to be radially symmetric and compactly supported. We obtain an asymptotic formula for the difference between the two first eigenvalues of this operator, that is exponentially small in the semiclassical limit.


title: Integrating LLM, EEG, and Eye-Tracking Biomarker Analysis for Word-Level Neural State Classification in Semantic Inference Reading Comprehension

abstract: With the recent proliferation of large language models (LLMs), such as Generative Pre-trained Transformers (GPT), there has been a significant shift in exploring human and machine comprehension of semantic language meaning. This shift calls for interdisciplinary research that bridges cognitive science and natural language processing (NLP). This pilot study aims to provide insights into individuals' neural states during a semantic relation reading-comprehension task. We propose jointly analyzing LLMs, eye-gaze, and electroencephalographic (EEG) data to study how the brain processes words with varying degrees of relevance to a keyword during reading. We also use a feature engineering approach to improve the fixation-related EEG data classification while participants read words with high versus low relevance to the keyword. The best validation accuracy in this word-level classification is over 60\% across 12 subjects. Words of high relevance to the inference keyword had significantly more eye fixations per word: 1.0584 compared to 0.6576 when excluding no-fixation words, and 1.5126 compared to 1.4026 when including them. This study represents the first attempt to classify brain states at a word level using LLM knowledge. It provides valuable insights into human cognitive abilities and the realm of Artificial General Intelligence (AGI), and offers guidance for developing potential reading-assisted technologies.


title: Wrinkling and Haefliger structures

abstract: Wrinkling is an $h$-principle technique, introduced by Eliashberg and Mishachev, that can be used to prove statements of the form: "formal solutions of a partial differential relation $\mathcal{R}$ can be deformed to singular/wrinkled solutions". What a wrinkled solution is depends on the context, but the overall idea is that it should be an object that fails to be a solution due to the presence of mild/controlled singularities. Much earlier, Haefliger structures were introduced by Haefliger as singular analogues of foliations. Much like a foliation is locally modelled on a submersion, a Haefliger structure is modelled on an arbitrary map. This implies that Haefliger structures have better formal properties than foliations. For instance, they can be pulled back by arbitrary maps and admit a classifying space. In [8], the second and third authors generalised the wrinkled embeddings of Eliashberg and Mishachev to arbitrary order. This paper can be regarded as a sequel in which we deal instead with generalisations of wrinkled submersions. The main messages are that: 1) Haefliger structures provide a nice conceptual framework in which general wrinkling statements can be made. 2) Wrinkling can be interpreted as holonomic approximation into the \'etale space of solutions of the relation $\mathcal{R}$. These statements imply connectivity statements relating (1) $\mathcal{R}$ to its \'etale space of solutions and (2) the classifying space for foliations with transverse $\mathcal{R}$-geometry to its formal counterpart.


title: Isometries of length $1$ in purely loxodromic free Kleinian groups and trace inequalities

abstract: In this paper, we prove a generalization of a discreteness criteria for a large class of subgroups of PSL$_2(\mathbb{C})$. In particular, we show that for a given finitely generated, purely loxodromic, free Kleinian group $\Gamma=\langle\xi_1,\xi_2,\dots,\xi_n\rangle$ for $n\geq 2$, the inequality $$\left|\text{trace}^2(\xi_i)-4\right|+\left|\text{trace}(\xi_i\xi_j\xi_i^{-1}\xi_j^{-1})-2\right|\geq 2\sinh^2\left(\frac{1}{4}\log\alpha_n\right)$$ holds for some $\xi_i$ and $\xi_j$ for $i\neq j$ in $\Gamma$ provided that certain conditions on the hyperbolic displacements given by $\xi_i$, $\xi_j$ and their length $3$ conjugates formed by the generators are satisfied. Above, the constant $\alpha_n$ turns out to be the real root strictly larger than $(2n-1)^2$ of a fourth degree, integer coefficient polynomial obtained by solving a family of optimization problems via Karush-Kuhn-Tucker theory. The use of this theory in the context of hyperbolic geometry is another novelty of this work.


title: Timbre-Trap: A Low-Resource Framework for Instrument-Agnostic Music Transcription

abstract: In recent years, research on music transcription has focused mainly on architecture design and instrument-specific data acquisition. With the lack of availability of diverse datasets, progress is often limited to solo-instrument tasks such as piano transcription. Several works have explored multi-instrument transcription as a means to bolster the performance of models on low-resource tasks, but these methods face the same data availability issues. We propose Timbre-Trap, a novel framework which unifies music transcription and audio reconstruction by exploiting the strong separability between pitch and timbre. We train a single autoencoder to simultaneously estimate pitch salience and reconstruct complex spectral coefficients, selecting between either output during the decoding stage via a simple switch mechanism. In this way, the model learns to produce coefficients corresponding to timbre-less audio, which can be interpreted as pitch salience. We demonstrate that the framework leads to performance comparable to state-of-the-art instrument-agnostic transcription methods, while only requiring a small amount of annotated data.


title: Geometry-enhanced Pre-training on Interatomic Potentials

abstract: Machine learning interatomic potentials (MLIPs) enables molecular dynamics (MD) simulations with ab initio accuracy and has been applied to various fields of physical science. However, the performance and transferability of MLIPs are limited by insufficient labeled training data, which require expensive ab initio calculations to obtain the labels, especially for complex molecular systems. To address this challenge, we design a novel geometric structure learning paradigm that consists of two stages. We first generate a large quantity of 3D configurations of target molecular system with classical molecular dynamics simulations. Then, we propose geometry-enhanced self-supervised learning consisting of masking, denoising, and contrastive learning to better capture the topology and 3D geometric information from the unlabeled 3D configurations. We evaluate our method on various benchmarks ranging from small molecule datasets to complex periodic molecular systems with more types of elements. The experimental results show that the proposed pre-training method can greatly enhance the accuracy of MLIPs with few extra computational costs and works well with different invariant or equivariant graph neural network architectures. Our method improves the generalization capability of MLIPs and helps to realize accurate MD simulations for complex molecular systems.


title: Model Share AI: An Integrated Toolkit for Collaborative Machine Learning Model Development, Provenance Tracking, and Deployment in Python

abstract: Machine learning (ML) has the potential to revolutionize a wide range of research areas and industries, but many ML projects never progress past the proof-of-concept stage. To address this issue, we introduce Model Share AI (AIMS), an easy-to-use MLOps platform designed to streamline collaborative model development, model provenance tracking, and model deployment, as well as a host of other functions aiming to maximize the real-world impact of ML research. AIMS features collaborative project spaces and a standardized model evaluation process that ranks model submissions based on their performance on unseen evaluation data, enabling collaborative model development and crowd-sourcing. Model performance and various model metadata are automatically captured to facilitate provenance tracking and allow users to learn from and build on previous submissions. Additionally, AIMS allows users to deploy ML models built in Scikit-Learn, TensorFlow Keras, PyTorch, and ONNX into live REST APIs and automatically generated web apps with minimal code. The ability to deploy models with minimal effort and to make them accessible to non-technical end-users through web apps has the potential to make ML research more applicable to real-world challenges.


title: Identification of a transition from stochastic to secular star formation around $z=9$ with JWST

abstract: Star formation histories (SFH) of early (6$<z<$12) galaxies have been found to be highly stochastic in both simulations and observations, while at $z\lesssim$6 the presence of a main sequence (MS) of star-forming galaxies imply secular processes at play. In this work, we aim at characterising the SFH variability of early galaxies as a function of their stellar mass and redshift. We use the JADES public catalogue and derive the physical properties of the galaxies as well as their SFH using the spectral energy distribution modelling code CIGALE. To this aim, we implement a non-parametric SFH with a flat prior allowing for as much stochasticity as possible. We use the SFR gradient, an indicator of the movement of galaxies on the SFR-$M_\ast$ plane, linked to the recent SFH of galaxies. This dynamical approach of the relation between the SFR and stellar mass allows us to show that, at $z>9$, 87% of massive galaxies, ($\log(M_\ast/M_\odot)\gtrsim$9), have SFR gradients consistent with a stochastic star-formation activity during the last 100 Myr, while this fraction drops to 15% at $z<7$. On the other hand, we see an increasing fraction of galaxies with a star-formation activity following a common stream on the SFR-$M_\ast$ plane with cosmic time, indicating that a secular mode of star-formation is emerging. We place our results in the context of the observed excess of UV emission as probed by the UV luminosity function at $z\gtrsim10$, by estimating $\sigma_{UV}$, the dispersion of the UV absolute magnitude distribution, to be of the order of 1.2mag and compare it with predictions from the literature. In conclusion, we find a transition of star-formation mode happening around $z\sim9$: Galaxies with stochastic SFHs dominates at $z\gtrsim9$, although this level of stochasticity is too low to reach those invoked by recent models to reproduce the observed UV luminosity function.


title: The electron propagator for non-interacting particles: An alternative approach to quasi-degenerate perturbation theory (QDPT)

abstract: This article presents an alternative formulation of quasi-degenerate perturbation theory (QDPT). The development results by simplifying established many-body (MB) techniques to systems of non-interacting particles (NIP). While the physical information of a NIP system is fully equivalent with that of the underlying one-particle system, NIP adaptions of MB schemes can acquire useful new roles in the one-particle context. In particular, the algebraic-diagrammatic construction (ADC) approach to the particle-detachment part of the electron propagator, turns into a new formalism of QDPT for the original one-particle system, establishing a diagrammatic perturbation theory for the matrix elements of the effective hamiltonian and the associated effective eigenvector coefficients (EEC). Using the NIP-ADC procedure explicit QDPT expansions are derived through third order. Alternatively, the intermediate state representation (ISR), underlying the ADC approach, allows one to construct the effective secular quantities directly from successive orders in the PT expansions of the NIP ground state and ground-state energy. Moreover, exact closed-form expressions can be derived for the effective hamiltonian and the EEC matrix in terms of 'target state' eigenvectors and eigenvalues of the one-particle system. These results are fully consistent with corresponding expressions derived within the QDPT context. The NIP approach to QDPT is not confined to actual particles but applies to arbitrary quantum systems. Any quantum system can be seen as formally constituting a "hyper-particle" giving rise to a system of non-interacting hyper-particles. The NIP adaptions of the biorthogonal coupled-cluster (BCC) and unitary coupled-cluster (UCC) methods are briefly discussed as well.


title: Towards a quadratic Poisson algebra for the subtracted classical monodromy of Symmetric Space Sine-Gordon theories

abstract: Symmetric Space Sine-Gordon theories are two-dimensional massive integrable field theories, generalising the Sine-Gordon and Complex Sine-Gordon theories. To study their integrability properties on the real line, it is necessary to introduce a subtracted monodromy matrix. Moreover, since the theories are not ultralocal, a regularisation is required to compute the Poisson algebra for the subtracted monodromy. In this article, we regularise and compute this Poisson algebra for certain configurations, and show that it can both satisfy the Jacobi identity and imply the existence of an infinite number of conserved quantities in involution.


title: Where Are We So Far? Understanding Data Storytelling Tools from the Perspective of Human-AI Collaboration

abstract: Data storytelling is powerful for communicating data insights, but it requires diverse skills and considerable effort from human creators. Recent research has widely explored the potential for artificial intelligence (AI) to support and augment humans in data storytelling. However, there lacks a systematic review to understand data storytelling tools from the perspective of human-AI collaboration, which hinders researchers from reflecting on the existing collaborative tool designs that promote humans' and AI's advantages and mitigate their shortcomings. This paper investigated existing tools with a framework from two perspectives: the stages in the storytelling workflow where a tool serves, including analysis, planning, implementation, and communication, and the roles of humans and AI in each stage, such as creators, assistants, optimizers, and reviewers. Through our analysis, we recognize the common collaboration patterns in existing tools, summarize lessons learned from these patterns, and further illustrate research opportunities for human-AI collaboration in data storytelling.


title: Making Logical Relations More Relatable (Proof Pearl)

abstract: Mechanical proofs by logical relations often involve tedious reasoning about substitution. In this paper, we show that this is not necessarily the case, by developing, in Agda, a proof that all simply typed lambda calculus expressions evaluate to values. A formalization of the proof is remarkably short (~40 lines of code), making for an excellent introduction to the technique of proofs by logical relations not only on paper but also in a mechanized setting. We then show that this process extends to more sophisticated reasoning by also proving the totality of normalization by evaluation. Although these proofs are not new, we believe presenting them will empower both new and experienced programming language theorists in their use of logical relations.


title: S-band acoustoelectric amplifier utilizing an ultra-high thermal conductivity heterostructure for low self-heating

abstract: Here we report on an acoustoelectric slab waveguide heterostructure for phonon amplification using a thin Al$_{0.58}$Sc$_{0.42}$N film grown directly on a 4H-SiC substrate with an ultra-thin In$_{0.53}$Ga$_{0.47}$As epitaxial film heterogeneously integrated onto the surface of the Al$_{0.58}$Sc$_{0.42}$N. The aluminum scandium nitride film grown directly on silicon carbide enables a thin (1 micron thick) piezoelectric film to be deposited on a thermally conductive bulk substrate (370 W/m-K for 4H-SiC), enabling negligible self-heating when combined with the In$_{0.53}$Ga$_{0.47}$As semiconductor parameters of large mobility (~7000 cm$^2$/V-s) and low concentration of charge carriers (~5x10$^{15}$ cm$^{-3}$). A Sezawa mode with optimal overlap between the peak of its evanescent electric field and the semiconductor charge carriers is supported. The high velocity of the heterostructure materials allows us to operate the Sezawa mode amplifier at 3.05 GHz, demonstrating a gain of 500 dB/cm (40 dB in 800 microns). Additionally, a terminal end-to-end radio frequency gain of 7.7 dB and a nonreciprocal transmission of 52.6 dB are achieved with a dissipated DC power of 2.3 mW. The power added efficiency and acoustic noise figure are also characterized.


title: Factorized Diffusion Architectures for Unsupervised Image Generation and Segmentation

abstract: We develop a neural network architecture which, trained in an unsupervised manner as a denoising diffusion model, simultaneously learns to both generate and segment images. Learning is driven entirely by the denoising diffusion objective, without any annotation or prior knowledge about regions during training. A computational bottleneck, built into the neural architecture, encourages the denoising network to partition an input into regions, denoise them in parallel, and combine the results. Our trained model generates both synthetic images and, by simple examination of its internal predicted partitions, a semantic segmentation of those images. Without any finetuning, we directly apply our unsupervised model to the downstream task of segmenting real images via noising and subsequently denoising them. Experiments demonstrate that our model achieves accurate unsupervised image segmentation and high-quality synthetic image generation across multiple datasets.


title: Towards Scalable FMI-based Co-simulation of Wind Energy Systems Using PowerFactory

abstract: Due to the increased deployment of renewable energy sources and intelligent components the electric power system will exhibit a large degree of heterogeneity, which requires inclusive and multi-disciplinary system assessment. The concept of co-simulation is a very attractive option to achieve this; each domain-specific subsystem can be addressed via its own specialized simulation tool. The applicability, however, depends on aspects like standardised interfaces, automated case creation, initialisation, and the scalability of the co-simulation itself. This work deals with the inclusion of the Functional Mock-up Interface for co-simulation into the DIgSILENT PowerFactory simulator, and tests its accuracy, implementation, and scalability for the grid connection study of a wind power plant. The coupling between the RMS mode of PowerFactory and MATLAB/Simulink in a standardised manner is shown. This approach allows a straightforward inclusion of black-boxed modelling, is easily scalable in size, quantity, and component type.


abstract: Link weight prediction is of great practical importance, since real-world networks are often weighted networks. Previous studies have mainly used shallow graph features for link weight prediction, which limits the prediction performance. In this paper, we propose a new link weight prediction algorithm, namely Line Graph Neural Networks for Link Weight Prediction (LGLWP), which learns deeper graph features through deep learning. In our algorithm, we first extract the enclosing subgraph around a target link, and then employ a weighted graph labeling algorithm to label the subgraph nodes. Next, we transform the subgraph into a line graph and apply the graph convolution neural networks to learn the node embedding in the line graph, which can represent the links in the original subgraph. Finally, the link feature vectors are put into a fully-connected neural network to predict the weight of the target link. Our algorithm directly obtain the feature vectors of the target links in the original graph, which is better than the previous methods that splice the node feature vectors for link weight prediction. Experiments results on six real datasets of various network sizes and types show that our algorithm has better prediction performance than the state-of-art methods, while it has fewer parameters and high training efficiency.


title: MindGPT: Interpreting What You See with Non-invasive Brain Recordings

abstract: Decoding of seen visual contents with non-invasive brain recordings has important scientific and practical values. Efforts have been made to recover the seen images from brain signals. However, most existing approaches cannot faithfully reflect the visual contents due to insufficient image quality or semantic mismatches. Compared with reconstructing pixel-level visual images, speaking is a more efficient and effective way to explain visual information. Here we introduce a non-invasive neural decoder, termed as MindGPT, which interprets perceived visual stimuli into natural languages from fMRI signals. Specifically, our model builds upon a visually guided neural encoder with a cross-attention mechanism, which permits us to guide latent neural representations towards a desired language semantic direction in an end-to-end manner by the collaborative use of the large language model GPT. By doing so, we found that the neural representations of the MindGPT are explainable, which can be used to evaluate the contributions of visual properties to language semantics. Our experiments show that the generated word sequences truthfully represented the visual information (with essential details) conveyed in the seen stimuli. The results also suggested that with respect to language decoding tasks, the higher visual cortex (HVC) is more semantically informative than the lower visual cortex (LVC), and using only the HVC can recover most of the semantic information. The code of the MindGPT model will be publicly available at https://github.com/JxuanC/MindGPT.


title: Temporal graph models fail to capture global temporal dynamics

abstract: A recently released Temporal Graph Benchmark is analyzed in the context of Dynamic Link Property Prediction. We outline our observations and propose a trivial optimization-free baseline of "recently popular nodes" outperforming other methods on medium and large-size datasets in the Temporal Graph Benchmark. We propose two measures based on Wasserstein distance which can quantify the strength of short-term and long-term global dynamics of datasets. By analyzing our unexpectedly strong baseline, we show how standard negative sampling evaluation can be unsuitable for datasets with strong temporal dynamics. We also show how simple negative-sampling can lead to model degeneration during training, resulting in impossible to rank, fully saturated predictions of temporal graph networks. We propose improved negative sampling schemes for both training and evaluation and prove their usefulness. We conduct a comparison with a model trained non-contrastively without negative sampling. Our results provide a challenging baseline and indicate that temporal graph network architectures need deep rethinking for usage in problems with significant global dynamics, such as social media, cryptocurrency markets or e-commerce. We open-source the code for baselines, measures and proposed negative sampling schemes.


title: A user study of visualisations of spatio-temporal eye tracking data

abstract: Eye movements have a spatial (where people look), but also a temporal (when people look) component. Various types of visualizations have been proposed that take this spatio-temporal nature of the data into account, but it is unclear how well each one can be interpreted and whether such interpretation depends on the question asked about the data or the nature of the data-set that is being visualised. In this study, four spatio-temporal visualization techniques for eye movements (chord diagram, scanpath, scarfplot, space-time cube) were compared in a user study. Participants (N = 25) answered three questions (what region first, what region most, which regions most between) about each visualization, which was based on two types of data-sets (eye movements towards adverts, eye movements towards pairs of gambles). Accuracy of the answers depended on a combination of the data-set, the question that needed to answered, and the type of visualization. For most questions, the scanpath, which did not use area of interest (AOI) information, resulted in lower accuracy than the other graphs. This suggests that AOIs improve the information conveyed by graphs. No effects of experience with reading graphs (for work or not for work) or education on accuracy of the answer was found. The results therefore suggest that there is no single best visualisation of the spatio-temporal aspects of eye movements. When visualising eye movement data, a user study may therefore be beneficial to determine the optimal visualization of the data-set and research question at hand.


title: Deep Learning-based Analysis of Basins of Attraction

abstract: This research addresses the challenge of characterizing the complexity and unpredictability of basins within various dynamical systems. The main focus is on demonstrating the efficiency of convolutional neural networks (CNNs) in this field. Conventional methods become computationally demanding when analyzing multiple basins of attraction across different parameters of dynamical systems. Our research presents an innovative approach that employs CNN architectures for this purpose, showcasing their superior performance in comparison to conventional methods. We conduct a comparative analysis of various CNN models, highlighting the effectiveness of our proposed characterization method while acknowledging the validity of prior approaches. The findings not only showcase the potential of CNNs but also emphasize their significance in advancing the exploration of diverse behaviors within dynamical systems.


title: The informativeness of [C II] line-intensity mapping as a probe of the H I content and metallicity of galaxies at the end of reionization

abstract: Line-intensity mapping (LIM) experiments coming online now will survey fluctuations in aggregate emission in the [C II] ionized carbon line from galaxies at the end of reionization. Experimental progress must be matched by theoretical reassessments of approaches to modelling and the information content of the signal. We present a new model for the halo-[C II] connection, building upon results from the FIRE simulations suggesting that gas mass and metallicity most directly determine [C II] luminosity. Applying our new model to an ensemble of peak-patch halo lightcones, we generate new predictions for the [C II] LIM signal at $z\gtrsim6$. We expect a baseline 4000-hour LIM survey from the CCAT facility to have the fundamental sensitivity to detect the [C II] power spectrum at a significance of $5\sigma$ at $z\sim6$, with an extended or successor Stage 2 experiment improving significance to $48\sigma$ at $z\sim6$ and achieving $11\sigma$ at $z\sim7.5$. Cross-correlation through stacking, simulated against a mock narrow-band Lyman-break galaxy survey, would yield a strong detection of the radial profile of cosmological [C II] emission surrounding star-forming galaxies. We also analyse the role of a few of our model's parameters through the pointwise relative entropy (PRE) of the distribution of [C II] intensities. While the PRE signature of different model parameters can become degenerate or diminished after factoring in observational distortions, various parameters do imprint themselves differently on the one-point statistics of the intrinsic signal. Further work can pave the way to access this information and distinguish different sources of non-Gaussianity in the [C II] LIM observation.


title: Synthetic Latent Fingerprint Generation Using Style Transfer

abstract: Limited data availability is a challenging problem in the latent fingerprint domain. Synthetically generated fingerprints are vital for training data-hungry neural network-based algorithms. Conventional methods distort clean fingerprints to generate synthetic latent fingerprints. We propose a simple and effective approach using style transfer and image blending to synthesize realistic latent fingerprints. Our evaluation criteria and experiments demonstrate that the generated synthetic latent fingerprints preserve the identity information from the input contact-based fingerprints while possessing similar characteristics as real latent fingerprints. Additionally, we show that the generated fingerprints exhibit several qualities and styles, suggesting that the proposed method can generate multiple samples from a single fingerprint.


title: Bounding and estimating MCMC convergence rates using common random number simulations

abstract: This paper explores how and when to use common random number (CRN) simulation to evaluate Markov chain Monte Carlo (MCMC) convergence rates. We discuss how CRN simulation is closely related to theoretical convergence rate techniques such as one-shot coupling and coupling from the past. We present conditions under which the CRN technique generates an unbiased estimate of the squared $L^2-$Wasserstein distance between two random variables. We also discuss how this unbiasedness over a single iteration does not extend to unbiasedness over multiple iterations. We provide an upper bound on the Wasserstein distance of a Markov chain to its stationary distribution after $N$ steps in terms of averages over CRN simulations. Finally, we apply our result to a Bayesian regression Gibbs sampler.


title: A Bernstein theorem of ancient solutions to mean curvature flow

abstract: We proved a Bernstein theorem of ancient solutions to mean curvature flow.


title: Provably Efficient Exploration in Constrained Reinforcement Learning:Posterior Sampling Is All You Need

abstract: We present a new algorithm based on posterior sampling for learning in constrained Markov decision processes (CMDP) in the infinite-horizon undiscounted setting. The algorithm achieves near-optimal regret bounds while being advantageous empirically compared to the existing algorithms. Our main theoretical result is a Bayesian regret bound for each cost component of \tilde{O} (HS \sqrt{AT}) for any communicating CMDP with S states, A actions, and bound on the hitting time H. This regret bound matches the lower bound in order of time horizon T and is the best-known regret bound for communicating CMDPs in the infinite-horizon undiscounted setting. Empirical results show that, despite its simplicity, our posterior sampling algorithm outperforms the existing algorithms for constrained reinforcement learning.


title: A Note on Enhanced Dissipation and Taylor Dispersion of Time-dependent Shear Flows

abstract: This paper explores the phenomena of enhanced dissipation and Taylor dispersion in solutions to the passive scalar equations subject to time-dependent shear flows. The hypocoercivity functionals with carefully tuned time weights are applied in the analysis. We observe that as long as the critical points of the shear flow vary slowly, one can derive the sharp enhanced dissipation and Taylor dispersion estimates, mirroring the ones obtained for the time-stationary case.


title: Experience and Evidence are the eyes of an excellent summarizer! Towards Knowledge Infused Multi-modal Clinical Conversation Summarization

abstract: With the advancement of telemedicine, both researchers and medical practitioners are working hand-in-hand to develop various techniques to automate various medical operations, such as diagnosis report generation. In this paper, we first present a multi-modal clinical conversation summary generation task that takes a clinician-patient interaction (both textual and visual information) and generates a succinct synopsis of the conversation. We propose a knowledge-infused, multi-modal, multi-tasking medical domain identification and clinical conversation summary generation (MM-CliConSummation) framework. It leverages an adapter to infuse knowledge and visual features and unify the fused feature vector using a gated mechanism. Furthermore, we developed a multi-modal, multi-intent clinical conversation summarization corpus annotated with intent, symptom, and summary. The extensive set of experiments, both quantitatively and qualitatively, led to the following findings: (a) critical significance of visuals, (b) more precise and medical entity preserving summary with additional knowledge infusion, and (c) a correlation between medical department identification and clinical synopsis generation. Furthermore, the dataset and source code are available at https://github.com/NLP-RL/MM-CliConSummation.


title: Data-Driven Latent Space Representation for Robust Bipedal Locomotion Learning

abstract: This paper presents a novel framework for learning robust bipedal walking by combining a data-driven state representation with a Reinforcement Learning (RL) based locomotion policy. The framework utilizes an autoencoder to learn a low-dimensional latent space that captures the complex dynamics of bipedal locomotion from existing locomotion data. This reduced dimensional state representation is then used as states for training a robust RL-based gait policy, eliminating the need for heuristic state selections or the use of template models for gait planning. The results demonstrate that the learned latent variables are disentangled and directly correspond to different gaits or speeds, such as moving forward, backward, or walking in place. Compared to traditional template model-based approaches, our framework exhibits superior performance and robustness in simulation. The trained policy effectively tracks a wide range of walking speeds and demonstrates good generalization capabilities to unseen scenarios.


title: Comparing coherent and incoherent models for quantum homogenization

abstract: Here we investigate the role of quantum interference in the quantum homogenizer, whose convergence properties model a thermalization process. In the original quantum homogenizer protocol, a system qubit converges to the state of identical reservoir qubits through partial-swap interactions, that allow interference between reservoir qubits. We design an alternative, incoherent quantum homogenizer, where each system-reservoir interaction is moderated by a control qubit using a controlled-swap interaction. We show that our incoherent homogenizer satisfies the essential conditions for homogenization, being able to transform a qubit from any state to any other state to arbitrary accuracy, with negligible impact on the reservoir qubits' states. Our results show that the convergence properties of homogenization machines that are important for modelling thermalization are not dependent on coherence between qubits in the homogenization protocol. We then derive bounds on the resources required to re-use the homogenizers for performing state transformations. This demonstrates that both homogenizers are universal for any number of homogenizations, for an increased resource cost.


title: T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble

abstract: Automated program repair (APR) using deep learning techniques has become an important area of research in recent years, aiming to automatically generate bug-fixing patches that can improve software reliability and maintainability. However, most existing methods either target a single language or require high computational resources to train multilingual models. In this paper, we propose T5APR, a novel neural program repair approach that provides a unified solution for bug fixing across multiple programming languages. T5APR leverages CodeT5, a powerful pre-trained text-to-text transformer model, and adopts a checkpoint ensemble strategy to improve patch recommendation. We conduct comprehensive evaluations on six well-known benchmarks in four programming languages (Java, Python, C, JavaScript), demonstrating T5APR's competitiveness against state-of-the-art techniques. T5APR correctly fixes 1,985 bugs, including 1,442 bugs that none of the compared techniques has fixed. We further support the effectiveness of our approach by conducting detailed analyses, such as comparing the correct patch ranking among different techniques. The findings of this study demonstrate the potential of T5APR for use in real-world applications and highlight the importance of multilingual approaches in the field of APR.


title: On the bounded smooth solutions to exponentially stable linear nonautonomous hyperbolic systems

abstract: We investigate global bounded solutions of higher regularity to boundary value problems for a general linear nonautonomous first order 1D hyperbolic system in a strip. We establish the existence of such solutions under the assumption of exponential stability and certain dissipativity (or non-resonant) conditions. Our results demonstrate the existence and uniqueness of $C^1$- and $C^2$-bounded solutions, in particular, periodic and almost periodic solutions. The imposed dissipativity conditions are related to the regularity of solutions. This connection arises due to the nonautonomous nature of the hyperbolic system under consideration, in contrast to autonomous settings. In the general case bounded smooth solutions we assume exponential stability in $H^1$. In the particular case of periodic solutions, the weaker assumption of $L^2$-exponential stability proves to be sufficient.


title: Statistically self-similar mixing by Gaussian random fields

abstract: We study the passive transport of a scalar field by a spatially smooth but white-in-time incompressible Gaussian random velocity field on $\mathbb{R}^d$. If the velocity field $u$ is homogeneous, isotropic, and statistically self-similar, we derive an exact formula which captures non-diffusive mixing. For zero diffusivity, the formula takes the shape of $\mathbb{E}\ \| \theta_t \|_{\dot{H}^{-s}}^2 = \mathrm{e}^{-\lambda_{d,s} t} \| \theta_0 \|_{\dot{H}^{-s}}^2$ with any $s\in (0,d/2)$ and $\frac{\lambda_{d,s}}{D_1}:= s(\frac{\lambda_{1}}{D_1}-2s)$ where $\lambda_1/D_1 = d$ is the top Lyapunov exponent associated to the random Lagrangian flow generated by $u$ and $ D_1$ is small-scale shear rate of the velocity. Moreover, the mixing is shown to hold $\textit{uniformly}$ in diffusivity.


title: Structural routes to stabilise superconducting La$_3$Ni$_2$O$_7$ at ambient pressure

abstract: The bilayer perovskite La$_3$Ni$_2$O$_7$ has recently been found to enter a superconducting state under hydrostatic pressure at temperatures as high as 80 K. The onset of superconductivity is observed concurrent with a structural transition which suggests that superconductivity is inherently related to this specific structure. Here we perform density functional theory based structural relaxation calculations and identify several promising routes to stabilize the crystal structure which hosts the superconducting state at ambient pressure. We find that the structural transition is controlled almost entirely by a reduction of the b-axis lattice constant, which suggests that uniaxial compression along the [010] direction or in-plane biaxial compression are sufficient as tuning parameters to control this transition. Furthermore, we show that increasing the size of the A-site cations can also induce the structural transitions via chemical pressure and identify Ac$_3$Ni$_2$O$_7$ and Ba-doped La$_3$Ni$_2$O$_7$ as potential candidates for a high temperature superconducting nickelate at ambient pressure.


title: Faster Relative Entropy Coding with Greedy Rejection Coding

abstract: Relative entropy coding (REC) algorithms encode a sample from a target distribution $Q$ using a proposal distribution $P$ using as few bits as possible. Unlike entropy coding, REC does not assume discrete distributions or require quantisation. As such, it can be naturally integrated into communication pipelines such as learnt compression and differentially private federated learning. Unfortunately, despite their practical benefits, REC algorithms have not seen widespread application, due to their prohibitively slow runtimes or restrictive assumptions. In this paper, we make progress towards addressing these issues. We introduce Greedy Rejection Coding (GRC), which generalises the rejection based-algorithm of Harsha et al. (2007) to arbitrary probability spaces and partitioning schemes. We first show that GRC terminates almost surely and returns unbiased samples from $Q$, after which we focus on two of its variants: GRCS and GRCD. We show that for continuous $Q$ and $P$ over $\mathbb{R}$ with unimodal density ratio $dQ/dP$, the expected runtime of GRCS is upper bounded by $\beta D_{KL}[Q || P] + O(1)$ where $\beta \approx 4.82$, and its expected codelength is optimal. This makes GRCS the first REC algorithm with guaranteed optimal runtime for this class of distributions, up to the multiplicative constant $\beta$. This significantly improves upon the previous state-of-the-art method, A* coding (Flamich et al., 2022). Under the same assumptions, we experimentally observe and conjecture that the expected runtime and codelength of GRCD are upper bounded by $D_{KL}[Q || P] + O(1)$. Finally, we evaluate GRC in a variational autoencoder-based compression pipeline on MNIST, and show that a modified ELBO and an index-compression method can further improve compression efficiency.


title: Differentiable Machine Learning-Based Modeling for Directly-Modulated Lasers

abstract: End-to-end learning has become a popular method for joint transmitter and receiver optimization in optical communication systems. Such approach may require a differentiable channel model, thus hindering the optimization of links based on directly modulated lasers (DMLs). This is due to the DML behavior in the large-signal regime, for which no analytical solution is available. In this paper, this problem is addressed by developing and comparing differentiable machine learning-based surrogate models. The models are quantitatively assessed in terms of root mean square error and training/testing time. Once the models are trained, the surrogates are then tested in a numerical equalization setup, resembling a practical end-to-end scenario. Based on the numerical investigation conducted, the convolutional attention transformer is shown to outperform the other models considered.


title: Quantization of Yang-Mills Theory in de Sitter Spacetime

abstract: In this paper, we analyze the quantization of Yang-Mills theory in the de Sitter spacetime. It is observed that the Faddeev--Popov ghost propagator is divergent in this spacetime. However, this divergence is removed by using an effective propagator, which is suitable for perturbation theory. To show that the quantization of Yang--Mills theory in the de Sitter is consistent, we quantize it using first-class constraints in the temporal gauge. We also demonstrate that this is equivalent to quantizing the theory in the Lorentz gauge.


title: Phases of Pseudo-Nambu-Goldstone Bosons

abstract: We study the vacuum dynamics of pseudo-Nambu-Goldstone bosons (pNGBs) for $SO(N+1) \rightarrow SO(N)$ spontaneous and explicit symmetry breaking. We determine the magnitude of explicit symmetry breaking consistent with an EFT description of the effective potential at zero and finite temperatures. We expose and clarify novel additional vacuum transitions that can arise for generic pNGBs below the initial scale of $SO(N+1) \rightarrow SO(N)$ spontaneous symmetry breaking, which may have phenomenological relevance. In this respect, two phenomenological scenarios are analyzed: thermal and supercooled dark sector pNGBs. In the thermal scenario the vacuum transition is first-order but very weak. For a supercooled dark sector we find that, depending on the sign of the explicit symmetry breaking, one can have a symmetry-restoring vacuum transition $SO(N-1) \rightarrow SO(N)$ which can be strongly first-order, with a detectable stochastic gravitational wave background signal.


title: Automated CT Lung Cancer Screening Workflow using 3D Camera

abstract: Despite recent developments in CT planning that enabled automation in patient positioning, time-consuming scout scans are still needed to compute dose profile and ensure the patient is properly positioned. In this paper, we present a novel method which eliminates the need for scout scans in CT lung cancer screening by estimating patient scan range, isocenter, and Water Equivalent Diameter (WED) from 3D camera images. We achieve this task by training an implicit generative model on over 60,000 CT scans and introduce a novel approach for updating the prediction using real-time scan data. We demonstrate the effectiveness of our method on a testing set of 110 pairs of depth data and CT scan, resulting in an average error of 5mm in estimating the isocenter, 13mm in determining the scan range, 10mm and 16mm in estimating the AP and lateral WED respectively. The relative WED error of our method is 4%, which is well within the International Electrotechnical Commission (IEC) acceptance criteria of 10%.


title: InfraParis: A multi-modal and multi-task autonomous driving dataset

abstract: Current deep neural networks (DNNs) for autonomous driving computer vision are typically trained on specific datasets that only involve a single type of data and urban scenes. Consequently, these models struggle to handle new objects, noise, nighttime conditions, and diverse scenarios, which is essential for safety-critical applications. Despite ongoing efforts to enhance the resilience of computer vision DNNs, progress has been sluggish, partly due to the absence of benchmarks featuring multiple modalities. We introduce a novel and versatile dataset named InfraParis that supports multiple tasks across three modalities: RGB, depth, and infrared. We assess various state-of-the-art baseline techniques, encompassing models for the tasks of semantic segmentation, object detection, and depth estimation. More visualizations and the download link for InfraParis are available at \href{https://ensta-u2is.github.io/infraParis/}{https://ensta-u2is.github.io/infraParis/}.


title: The M\"obius game and other Bell tests for relativity

abstract: We derive multiparty games that, if the winning chance exceeds a certain limit, prove the incompatibility of the parties' causal relations with any partial order. This, in turn, means that the parties exert a back-action on the causal relations; the causal relations are dynamical. The games turn out to be representable by directed graphs, for instance by an orientation of the M\"obius ladder. We discuss these games as device-independent tests of spacetime's dynamical nature in general relativity. To do so, we design a relativistic setting where, in the Minkowski spacetime, the winning chance is bound to the limits. In contrast, we find otherwise tame processes with classical control of causal order that win the games deterministically. These suggest a violation of the bounds in gravitational implementations. We obtain these games by uncovering a "pairwise central symmetry" of the correlations in question. This symmetry allows us to recycle the facets of the acyclic subgraph polytope studied by Gr\"otschel, J\"unger, and Reinelt in the mid-80s for combinatorial optimization. In addition, we derive multiparty games in a scenario where the polytope dimension grows only linearly in the number of parties. Here, exceeding the limits not only proves the dynamical nature of the causal relations, but also that the correlations are incompatible with any global causal order.


title: Optical detection of bond-dependent and frustrated spin in the two-dimensional cobalt-based honeycomb antiferromagnet Cu3Co2SbO6

abstract: Two-dimensional honeycomb antiferromagnet becomes an important class of materials as it can provide a route to Kitaev quantum spin liquid, characterized by massive quantum entanglement and fractional excitations. The signatures of its proximity to Kitaev quantum spin liquid in the honeycomb antiferromagnet includes anisotropic bond-dependent magnetic responses and persistent fluctuation by frustration in paramagnetic regime. Here, we propose Cu3Co2SbO6 heterostructures as an intriguing honeycomb antiferromagnet for quantum spin liquid, wherein bond-dependent and frustrated spins interact with optical excitons. This system exhibits antiferromagnetism at 16 K with different spin-flip magnetic fields between a bond-parallel and bond-perpendicular directions, aligning more closely with the generalized Heisenberg-Kitaev than the XXZ model. Optical spectroscopy reveals a strong excitonic transition coupled to the antiferromagnetism, enabling optical detection of its spin states. Particularly, such spin-exciton coupling presents anisotropic responses between bond-parallel and bond-perpendicular magnetic field as well as a finite spin-spin correlation function around 40 K, higher than twice its N\'eel temperature. The characteristic temperature that remains barely changed even under strong magnetic fields highlights the robustness of the spin-fluctuation region. Our results demonstrate Cu3Co2SbO6 as a unique candidate for the quantum spin liquid phase, where the spin Hamiltonian and quasiparticle excitations can be probed and potentially controlled by light.


title: Weighted estimates for the Bergman projection on planar domains

abstract: We investigate weighted Lebesgue space estimates for the Bergman projection on a simply connected planar domain via the domain's Riemann map. We extend the bounds which follow from a standard change-of-variable argument in two ways. First, we provide a regularity condition on the Riemann map, which turns out to be necessary in the case of uniform domains, in order to obtain the full range of weighted estimates for the Bergman projection for weights in a B\'{e}koll\`{e}-Bonami-type class. Second, by slightly strengthening our condition on the Riemann map, we obtain the weighted weak-type $(1,1)$ estimate as well. Our proofs draw on techniques from both conformal mapping and dyadic harmonic analysis.


title: CAIT: Triple-Win Compression towards High Accuracy, Fast Inference, and Favorable Transferability For ViTs

abstract: Vision Transformers (ViTs) have emerged as state-of-the-art models for various vision tasks recently. However, their heavy computation costs remain daunting for resource-limited devices. Consequently, researchers have dedicated themselves to compressing redundant information in ViTs for acceleration. However, they generally sparsely drop redundant image tokens by token pruning or brutally remove channels by channel pruning, leading to a sub-optimal balance between model performance and inference speed. They are also disadvantageous in transferring compressed models to downstream vision tasks that require the spatial structure of images, such as semantic segmentation. To tackle these issues, we propose a joint compression method for ViTs that offers both high accuracy and fast inference speed, while also maintaining favorable transferability to downstream tasks (CAIT). Specifically, we introduce an asymmetric token merging (ATME) strategy to effectively integrate neighboring tokens. It can successfully compress redundant token information while preserving the spatial structure of images. We further employ a consistent dynamic channel pruning (CDCP) strategy to dynamically prune unimportant channels in ViTs. Thanks to CDCP, insignificant channels in multi-head self-attention modules of ViTs can be pruned uniformly, greatly enhancing the model compression. Extensive experiments on benchmark datasets demonstrate that our proposed method can achieve state-of-the-art performance across various ViTs. For example, our pruned DeiT-Tiny and DeiT-Small achieve speedups of 1.7$\times$ and 1.9$\times$, respectively, without accuracy drops on ImageNet. On the ADE20k segmentation dataset, our method can enjoy up to 1.31$\times$ speedups with comparable mIoU. Our code will be publicly available.


title: Development of a Whole-body Work Imitation Learning System by a Biped and Bi-armed Humanoid

abstract: Imitation learning has been actively studied in recent years. In particular, skill acquisition by a robot with a fixed body, whose root link position and posture and camera angle of view do not change, has been realized in many cases. On the other hand, imitation of the behavior of robots with floating links, such as humanoid robots, is still a difficult task. In this study, we develop an imitation learning system using a biped robot with a floating link. There are two main problems in developing such a system. The first is a teleoperation device for humanoids, and the second is a control system that can withstand heavy workloads and long-term data collection. For the first point, we use the whole body control device TABLIS. It can control not only the arms but also the legs and can perform bilateral control with the robot. By connecting this TABLIS with the high-power humanoid robot JAXON, we construct a control system for imitation learning. For the second point, we will build a system that can collect long-term data based on posture optimization, and can simultaneously move the robot's limbs. We combine high-cycle posture generation with posture optimization methods, including whole-body joint torque minimization and contact force optimization. We designed an integrated system with the above two features to achieve various tasks through imitation learning. Finally, we demonstrate the effectiveness of this system by experiments of manipulating flexible fabrics such that not only the hands but also the head and waist move simultaneously, manipulating objects using legs characteristic of humanoids, and lifting heavy objects that require large forces.


title: Latent Graphs for Semi-Supervised Learning on Biomedical Tabular Data

abstract: In the domain of semi-supervised learning, the current approaches insufficiently exploit the potential of considering inter-instance relationships among (un)labeled data. In this work, we address this limitation by providing an approach for inferring latent graphs that capture the intrinsic data relationships. By leveraging graph-based representations, our approach facilitates the seamless propagation of information throughout the graph, effectively incorporating global and local knowledge. Through evaluations on biomedical tabular datasets, we compare the capabilities of our approach to other contemporary methods. Our work demonstrates the significance of inter-instance relationship discovery as practical means for constructing robust latent graphs to enhance semi-supervised learning techniques. The experiments show that the proposed methodology outperforms contemporary state-of-the-art methods for (semi-)supervised learning on three biomedical datasets.


title: A note on asymptotics of linear dissipative kinetic equations in bounded domains

abstract: We establish $L^2$-exponential decay properties for linear dissipative kinetic equations, including the time-relaxation and Fokker-Planck models, in bounded spatial domains with general boundary conditions that may not conserve mass. Their diffusion asymptotics in $L^2$ is also derived under general Maxwell boundary conditions. The proofs are simply based on energy estimates together with previous ideas from $L^2$-hypocoercivity and relative entropy methods.


title: Recycling MMGKS for large-scale dynamic and streaming data

abstract: Reconstructing high-quality images with sharp edges requires the use of edge-preserving constraints in the regularized form of the inverse problem. The use of the $\ell_q$-norm on the gradient of the image is a common such constraint. For implementation purposes, the $\ell_q$-norm term is typically replaced with a sequence of $\ell_2$-norm weighted gradient terms with the weights determined from the current solution estimate. While (hybrid) Krylov subspace methods can be employed on this sequence, it would require generating a new Krylov subspace for every new two-norm regularized problem. The majorization-minimization Krylov subspace method (MM-GKS) addresses this disadvantage by combining norm reweighting with generalized Krylov subspaces (GKS). After projecting the problem using a small dimensional subspace - one that expands each iteration - the regularization parameter is selected. Basis expansion repeats until a sufficiently accurate solution is found. Unfortunately, for large-scale problems that require many expansion steps to converge, storage and the cost of repeated orthogonalizations presents overwhelming memory and computational requirements. In this paper we present a new method, recycled MM-GKS (RMM-GKS), that keeps the memory requirements bounded through recycling the solution subspace. Specifically, our method alternates between enlarging and compressing the GKS subspace, recycling directions that are deemed most important via one of our tailored compression routines. We further generalize the RMM-GKS approach to handle experiments where the data is either not all available simultaneously, or needs to be treated as such because of the extreme memory requirements. Numerical examples from dynamic photoacoustic tomography and streaming X-ray computerized tomography (CT) imaging are used to illustrate the effectiveness of the described methods.


title: Linearity of Aggregate Production Functions

abstract: We prove that when individual firms employ constant-returns-to-scale production functions, the aggregate production function defined by the maximum achievable total output given total inputs is always linear on some part of the domain. Our result provides a microfoundation for the linear production function.


title: Noise propagation in hybrid tensor networks

abstract: The hybrid tensor network (HTN) method is a general framework allowing for the construction of an effective wavefunction with the combination of classical tensors and quantum tensors, i.e., amplitudes of quantum states. In particular, hybrid tree tensor networks (HTTNs) are very useful for simulating larger systems beyond the available size of the quantum hardware. However, while the realistic quantum states in NISQ hardware are highly likely to be noisy, this framework is formulated for pure states. In this work, as well as discussing the relevant methods, i.e., Deep VQE and entanglement forging under the framework of HTTNs, we investigate the noisy HTN states by introducing the expansion operator for providing the description of the expansion of the size of simulated quantum systems and the noise propagation. This framework enables the general tree HTN states to be explicitly represented and their physicality to be discussed. We also show that the expectation value of a measured observable exponentially vanishes with the number of contracted quantum tensors. Our work will lead to providing the noise-resilient construction of HTN states.


title: Rapid Network Adaptation: Learning to Adapt Neural Networks Using Test-Time Feedback

abstract: We propose a method for adapting neural networks to distribution shifts at test-time. In contrast to training-time robustness mechanisms that attempt to anticipate and counter the shift, we create a closed-loop system and make use of a test-time feedback signal to adapt a network on the fly. We show that this loop can be effectively implemented using a learning-based function, which realizes an amortized optimizer for the network. This leads to an adaptation method, named Rapid Network Adaptation (RNA), that is notably more flexible and orders of magnitude faster than the baselines. Through a broad set of experiments using various adaptation signals and target tasks, we study the efficiency and flexibility of this method. We perform the evaluations using various datasets (Taskonomy, Replica, ScanNet, Hypersim, COCO, ImageNet), tasks (depth, optical flow, semantic segmentation, classification), and distribution shifts (Cross-datasets, 2D and 3D Common Corruptions) with promising results. We end with a discussion on general formulations for handling distribution shifts and our observations from comparing with similar approaches from other domains.


title: Impossible and Conflicting Obligations in Justification Logic

abstract: Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, jd, are complete for arbitrary constant specifications. We then discuss the philosophical implications with regard to some deontic paradoxes.


title: Nearly integrable flows and chaotic tangles in the Dimits shift regime of plasma edge turbulence

abstract: Transitionally turbulent flows frequently exhibit spatiotemporal intermittency, reflecting a complex interplay between driving forces, dissipation, and transport present in these systems. When this intermittency manifests as observable structures and patterns in the flow, the characterization of turbulence in these systems becomes challenging due to the nontrivial correlations introduced into the statistics of the turbulence by these structures. In this work, we use tools from dynamical systems theory to study intermittency in the Dimits shift regime of the flux-balanced Hasegawa-Wakatani (BHW) equations, which models a transitional regime of resistive drift-wave turbulence relevant to magnetically confined fusion plasmas. First, we show in direct numerical simulations that turbulence in this regime is dominated by strong zonal flows and coherent drift-wave vortex structures which maintain a strong linear character despite their large amplitude. Using the framework of generalized Liouville integrability, we develop a theory of integrable Lagrangian flows in generic fluid and plasma systems and discuss how the observed zonal flows plus drift waves in the BHW system exhibit a form of ``near-integrability'' originating from a fluid element relabeling symmetry. We further demonstrate that the BHW flows transition from integrability to chaos via the formation of chaotic tangles in the aperiodic Lagrangian flow, and establish a direct link between the `lobes' associated with these tangles and intermittency in the observed turbulent dissipation. This illustrates how utilizing tools from deterministic dynamical systems theory to study convective nonlinearities can explain aspects of intermittent spatiotemporal structure exhibited by the statistics of turbulent fields.


title: A continuous version of multiple zeta values with double variables

abstract: In this paper we define a continuous version of multiple zeta functions with double variables. They can be analytically continued to meromorphic functions on $\mathbb{C}^r$ with only simple poles at some special hyperplanes. The evaluations of these functions at positive integers (continuous multiple zeta values) satisfy the first shuffle product and the second shuffle product. We proved that the dimension of the $\mathbb{Q}-$linear spaces generated by continuous multiple zeta values with given weight are finite. By using a theorem of C.Glanois, we proved that continuous multiple zeta values include all cyclotomic multiple zeta values of level 2. We will give a detail analysis about the two different shuffle products. Furthermore, we will discuss the extension of the two different products, we proved a theorem about comparing the two different shuffle product, this is an analogy of Ihara-Kaneko-Zagier's comparison theorem in the case of continuous multiple zeta values. As an application, we will give a new method to proof some Ramanujan's identities. Finally, we will provide some conjectures.


title: Nonpositively curved $4$-manifolds with zero Euler characteristic

abstract: We show that for any closed nonpositively curved Riemannian 4-manifold $M$ with vanishing Euler characteristic, the Ricci curvature must degenerate somewhere. Moreover, for each point $p\in M$, either the Ricci tensor degenerates or else there is a foliation by totally geodesic flat 3-manifolds in a neighborhood of $p$. As a corollary, we show that if in addition the metric is analytic, then the universal cover of $M$ has a nontrivial Euclidean de Rham factor. Finally we discuss how this result creates an implication of conjectures on simplicial volume in dimension four.


title: Implementing portfolio risk management and hedging in practice

abstract: In academic literature portfolio risk management and hedging are often versed in the language of stochastic control and Hamilton--Jacobi--Bellman~(HJB) equations in continuous time. In practice the continuous-time framework of stochastic control may be undesirable for various business reasons. In this work we present a straightforward approach for thinking of cross-asset portfolio risk management and hedging, providing some implementation details, while rarely venturing outside the convex optimisation setting of (approximate) quadratic programming~(QP). We pay particular attention to the correspondence between the economic concepts and their mathematical representations; the abstractions enabling us to handle multiple asset classes and risk models at once; the dimensional analysis of the resulting equations; and the assumptions inherent in our derivations. We demonstrate how to solve the resulting QPs with CVXOPT.


title: AI in Software Engineering: Case Studies and Prospects

abstract: Artificial intelligence (AI) and software engineering (SE) are two important areas in computer science. In recent years, researchers are trying to apply AI techniques in various stages of software development to improve the overall quality of software products. Moreover, there are also some researchers focus on the intersection between SE and AI. In fact, the relationship between SE and AI is very weak; however, methods and techniques in one area have been adopted in another area. More and more software products are capable of performing intelligent behaviour like human beings. In this paper, two cases studies which are IBM Watson and Google AlphaGo that use different AI techniques in solving real world challenging problems have been analysed, evaluated and compared. Based on the analysis of both case studies, using AI techniques such as deep learning and machine learning in software systems contributes to intelligent systems. Watson adopts 'decision making support' strategy to help human make decisions; whereas AlphaGo uses 'self-decision making' to choose operations that contribute to the best outcome. In addition, Watson learns from man-made resources such as paper; AlphaGo, on the other hand, learns from massive online resources such as photos. AlphaGo uses neural networks and reinforcement learning to mimic human brain, which might be very useful in medical research for diagnosis and treatment. However, there is still a long way to go if we want to reproduce human brain in machine and view computers as thinkers, because human brain and machines are intrinsically different. It would be more promising to see whether computers and software systems will become more and more intelligent to help with real world challenging problems that human beings cannot do.


title: Algebraic and Statistical Properties of the Ordinary Least Squares Interpolator

abstract: Deep learning research has uncovered the phenomenon of benign overfitting for overparameterized statistical models, which has drawn significant theoretical interest in recent years. Given its simplicity and practicality, the ordinary least squares (OLS) interpolator has become essential to gain foundational insights into this phenomenon. While properties of OLS are well established in classical, underparameterized settings, its behavior in high-dimensional, overparameterized regimes is less explored (unlike for ridge or lasso regression) though significant progress has been made of late. We contribute to this growing literature by providing fundamental algebraic and statistical results for the minimum $\ell_2$-norm OLS interpolator. In particular, we provide algebraic equivalents of (i) the leave-$k$-out residual formula, (ii) Cochran's formula, and (iii) the Frisch-Waugh-Lovell theorem in the overparameterized regime. These results aid in understanding the OLS interpolator's ability to generalize and have substantive implications for causal inference. Under the Gauss-Markov model, we present statistical results such as an extension of the Gauss-Markov theorem and an analysis of variance estimation under homoskedastic errors for the overparameterized regime. To substantiate our theoretical contributions, we conduct simulations that further explore the stochastic properties of the OLS interpolator.


title: Generating Transferable Adversarial Simulation Scenarios for Self-Driving via Neural Rendering

abstract: Self-driving software pipelines include components that are learned from a significant number of training examples, yet it remains challenging to evaluate the overall system's safety and generalization performance. Together with scaling up the real-world deployment of autonomous vehicles, it is of critical importance to automatically find simulation scenarios where the driving policies will fail. We propose a method that efficiently generates adversarial simulation scenarios for autonomous driving by solving an optimal control problem that aims to maximally perturb the policy from its nominal trajectory. Given an image-based driving policy, we show that we can inject new objects in a neural rendering representation of the deployment scene, and optimize their texture in order to generate adversarial sensor inputs to the policy. We demonstrate that adversarial scenarios discovered purely in the neural renderer (surrogate scene) can often be successfully transferred to the deployment scene, without further optimization. We demonstrate this transfer occurs both in simulated and real environments, provided the learned surrogate scene is sufficiently close to the deployment scene.


title: Importance-Weighted Offline Learning Done Right

abstract: We study the problem of offline policy optimization in stochastic contextual bandit problems, where the goal is to learn a near-optimal policy based on a dataset of decision data collected by a suboptimal behavior policy. Rather than making any structural assumptions on the reward function, we assume access to a given policy class and aim to compete with the best comparator policy within this class. In this setting, a standard approach is to compute importance-weighted estimators of the value of each policy, and select a policy that minimizes the estimated value up to a "pessimistic" adjustment subtracted from the estimates to reduce their random fluctuations. In this paper, we show that a simple alternative approach based on the "implicit exploration" estimator of \citet{Neu2015} yields performance guarantees that are superior in nearly all possible terms to all previous results. Most notably, we remove an extremely restrictive "uniform coverage" assumption made in all previous works. These improvements are made possible by the observation that the upper and lower tails importance-weighted estimators behave very differently from each other, and their careful control can massively improve on previous results that were all based on symmetric two-sided concentration inequalities. We also extend our results to infinite policy classes in a PAC-Bayesian fashion, and showcase the robustness of our algorithm to the choice of hyper-parameters by means of numerical simulations.


title: Temperature inversion in a gravitationally bound plasma: Case of the solar corona

abstract: The temperature of the solar atmosphere increases from thousands to millions of degrees moving from the lower layer (chromosphere) to the outermost one (corona), while the density drops accordingly. The mechanism behind this phenomenon, known as a temperature inversion, is still unknown. In this work, we model a coronal loop as a collisionless plasma confined in a semicircular tube that is subject to the Sun's gravity and in thermal contact with a fully collisional chromosphere behaving as a thermostat at the loop's feet. By using kinetic $N$-particle simulations and analytical calculations, we show that rapid, intermittent, and short-lived heating events in the chromosphere drive the coronal plasma towards a non-equilibrium stationary state. The latter is characterized by suprathermal tails in the particles' velocity distribution functions, exhibiting temperature and density profiles strikingly similar to those observed in the atmosphere of the Sun. These results suggest that a million-Kelvin solar corona can be produced without the local deposition of heat in the upper layer of the atmosphere that is typically assumed by standard approaches. We find that suprathermal distribution functions in the corona are self-consistently produced instead of postulated a priori, in contrast to classical kinetic models based on a velocity filtration mechanism.


title: A lower index bilinear estimate for the quadratic Schr\"odinger equation and application for its half line problem

abstract: We prove the local well-posedness of the initial boundary value problem for the nonlinear quadratic Schr\"odinger equation under low initial-boundary regularity assumption via the boundary integral operator method introduced by Bona-Sun-Zhang (Trans. Amer. Math. Soc., 354(2):427-490, 2002).


title: The Icosidodecahedron

abstract: The icosidodecahedron has 30 vertices, one at the center of each edge of a regular icosahedron -- or equivalently, one at the center of each edge of a regular dodecahedron. It is a beautiful, highly symmetrical shape. But it is just a projection down to 3d space of a more symmetrical 6-dimensional polytope with 60 vertices. It is also a slice of a more symmetrical 4d polytope with 120 vertices, which in turn is the projection down to 4d space of an even more symmetrical 8-dimensional polytope with 240 vertices: the E8 root polytope. Here we explain all these constructions, and their connection to the quaternions and icosians.


title: Learning the Efficient Frontier

abstract: The efficient frontier (EF) is a fundamental resource allocation problem where one has to find an optimal portfolio maximizing a reward at a given level of risk. This optimal solution is traditionally found by solving a convex optimization problem. In this paper, we introduce NeuralEF: a fast neural approximation framework that robustly forecasts the result of the EF convex optimization problem with respect to heterogeneous linear constraints and variable number of optimization inputs. By reformulating an optimization problem as a sequence to sequence problem, we show that NeuralEF is a viable solution to accelerate large-scale simulation while handling discontinuous behavior.


title: Time-Domain Channel Measurements and Small-Scale Fading Characterization for RIS-Assisted Wireless Communication Systems

abstract: As a potentially revolutionary enabling technology for the sixth generation (6G) mobile communication system, reconfigurable intelligent surfaces (RISs) have attracted extensive attention from industry and academia. In RIS-assisted wireless communication systems, practical channel measurements and modeling serve as the foundation for system design, network optimization, and performance evaluation. In this paper, a RIS time-domain channel measurement system, based on a software defined radio (SDR) platform, is developed for the first time to investigate the small-scale fading characteristics of RIS-assisted channels. We present RIS channel measurements in corridor and laboratory scenarios and compare the power delay profile (PDP) of the channel without RIS, with RIS specular reflection, and with RIS intelligent reflection. The multipath component parameters and cluster parameters based on the Saleh-Valenzuela model are extracted. We find that the PDPs of the RIS-assisted channel fit the power-law decay model and approximate the law of square decay. Through intelligent reflection, the RIS can decrease the delay and concentrate the energy of the virtual line-of-sight (VLOS) path, thereby reducing delay spread and mitigating multipath fading. Furthermore, the cluster characteristics of RIS-assisted channels are highly related to the measurement environment. In the laboratory scenario, a single cluster dominated by the VLOS path with smooth envelope is observed. On the other hand, in the corridor scenario, some additional clusters introduced by the RIS reflection are created.


title: Kitaev chain in an alternating quantum dot-Andreev bound state array

abstract: We propose to implement a Kitaev chain based on an array of alternating normal and superconductor hybrid quantum dots embedded in semiconductors. In particular, the orbitals in the dot and the Andreev bound states in the hybrid are now on equal footing and both emerge as low-energy degrees of freedom in the Kitaev chain, with the couplings being induced by direct tunneling. Due to the electron and hole components in the Andreev bound state, this coupling is simultaneously of the normal and Andreev types, with their ratio being tunable by varying one or several of the experimentally accessible physical parameters, e.g., strength and direction of the Zeeman field, as well as changing proximity effect on the normal quantum dots. As such, it becomes feasible to realize a two-site Kitaev chain in a simple setup with only one normal quantum dot and one hybrid segment. Interestingly, when scaling up the system to a three-site Kitaev chain, next-nearest-neighbor couplings emerge as a result of high-order tunneling, lifting the Majorana zero energy at the sweet spot. This energy splitting is mitigated in a longer chain, approaching topological protection. Our proposal has two immediate advantages: obtaining a larger energy gap from direct tunneling and creating a Kitaev chain using a reduced number of quantum dots and hybrid segments.


title: Exploring antisymmetric tensor effects on black hole shadows and quasinormal frequencies

abstract: This study explores the impact of antisymmetric tensor effects on spherically symmetric black holes, investigating photon spheres, shadows, emission rate and quasinormal frequencies in relation to a parameter which triggers the Lorentz symmetry breaking. We examine these configurations without and with the presence of a cosmological constant. In the first scenario, the Lorentz violation parameter, denoted as $\lambda$, plays a pivotal role in reducing both the photon sphere and the shadow radius, while also leading to a damping effect on quasinormal frequencies. Conversely, in the second scenario, as the values of the cosmological constant ($\Lambda$) increase, we observe an expansion in the shadow radius. Also, we provide the constraints of the shadows based on the analysis observational data obtained from the Event Horizon Telescope (EHT) focusing on Sagittarius $A^{*}$ shadow images. Additionally, with the increasing $\Lambda$, the associated gravitational wave frequencies exhibit reduced damping modes.


title: Question answering using deep learning in low resource Indian language Marathi

abstract: Precise answers are extracted from a text for a given input question in a question answering system. Marathi question answering system is created in recent studies by using ontology, rule base and machine learning based approaches. Recently transformer models and transfer learning approaches are used to solve question answering challenges. In this paper we investigate different transformer models for creating a reading comprehension-based Marathi question answering system. We have experimented on different pretrained Marathi language multilingual and monolingual models like Multilingual Representations for Indian Languages (MuRIL), MahaBERT, Indic Bidirectional Encoder Representations from Transformers (IndicBERT) and fine-tuned it on a Marathi reading comprehension-based data set. We got the best accuracy in a MuRIL multilingual model with an EM score of 0.64 and F1 score of 0.74 by fine tuning the model on the Marathi dataset.


title: AaP-ReID: Improved Attention-Aware Person Re-identification

abstract: Person re-identification (ReID) is a well-known problem in the field of computer vision. The primary objective is to identify a specific individual within a gallery of images. However, this task is challenging due to various factors, such as pose variations, illumination changes, obstructions, and the presence ofconfusing backgrounds. Existing ReID methods often fail to capture discriminative features (e.g., head, shoes, backpacks) and instead capture irrelevant features when the target is occluded. Motivated by the success of part-based and attention-based ReID methods, we improve AlignedReID++ and present AaP-ReID, a more effective method for person ReID that incorporates channel-wise attention into a ResNet-based architecture. Our method incorporates the Channel-Wise Attention Bottleneck (CWAbottleneck) block and can learn discriminating features by dynamically adjusting the importance ofeach channel in the feature maps. We evaluated Aap-ReID on three benchmark datasets: Market-1501, DukeMTMC-reID, and CUHK03. When compared with state-of-the-art person ReID methods, we achieve competitive results with rank-1 accuracies of 95.6% on Market-1501, 90.6% on DukeMTMC-reID, and 82.4% on CUHK03.


title: Exploring Modified Gravity: Constraints on the $\mu$ and $\Sigma$ Parametrization with WMAP, ACT, and SPT

abstract: The cosmic acceleration problem remains one of the most significant challenges in cosmology. One of the proposed solutions to this problem is the modification of gravity on large scales. In this paper, we explore the well-known $\mu$-$\Sigma$ parametrization scenarios and confront them with observational data, including the cosmic microwave background (CMB) radiation from the Wilkinson Microwave Anisotropy Probe (WMAP), Atacama Cosmology Telescope (ACT), and South Pole Telescope (SPT), as well as large-scale structure data from the Sloan Digital Sky Survey (SDSS: BAO+RSD) and Pantheon Supernovae (SN) catalog. We employ a Bayesian framework to constrain the model parameters and discuss the implications of our results on the viability of modified gravity theories. Our analysis reveals the strengths and limitations of the $\mu$-$\Sigma$ parametrization and provides valuable insights into the nature of gravity on cosmological scales. From the joint analysis of the ACT + WMAP + SDSS + SN, we find $\mu_0 -1 = 0.02 \pm 0.19$ and $\Sigma_0 -1 = 0.021 \pm 0.068$ at 68% CL. In light of the SPT + WMAP + SDSS + SN, we find $\mu_0 -1 = 0.07 \pm 0.18$ and $\Sigma_0 -1 = -0.009^{+0.078}_{-0.11}$ at 68% CL. In all the analyses carried out, we do not find any deviations from the theory of general relativity. Our results represent an observational update on the well-known $\mu$-$\Sigma$ parameterization in view of current CMB data, independent and competitive with the constraints obtained with the Planck data.


title: Joint-YODNet: A Light-weight Object Detector for UAVs to Achieve Above 100fps

abstract: Small object detection via UAV (Unmanned Aerial Vehicle) images captured from drones and radar is a complex task with several formidable challenges. This domain encompasses numerous complexities that impede the accurate detection and localization of small objects. To address these challenges, we propose a novel method called JointYODNet for UAVs to detect small objects, leveraging a joint loss function specifically designed for this task. Our method revolves around the development of a joint loss function tailored to enhance the detection performance of small objects. Through extensive experimentation on a diverse dataset of UAV images captured under varying environmental conditions, we evaluated different variations of the loss function and determined the most effective formulation. The results demonstrate that our proposed joint loss function outperforms existing methods in accurately localizing small objects. Specifically, our method achieves a recall of 0.971, and a F1Score of 0.975, surpassing state-of-the-art techniques. Additionally, our method achieves a mAP@.5(%) of 98.6, indicating its robustness in detecting small objects across varying scales


title: AutoEFT: Automated Operator Construction for Effective Field Theories

abstract: The program AutoEFT is described. It allows one to generate Effective Field Theories (EFTs) from a given set of fields and symmetries. Allowed fields include scalars, spinors, gauge bosons, and gravitons. The symmetries can be local or global Lie groups based on U(1) and SU(N). The mass dimension of the EFT is limited only by the available computing resources. The operators are stored in a compact, human and machine-readable format. Aside from the program itself, we provide input files for EFTs based on the Standard Model and a number of its extensions. These include additional particles and symmetries, EFTs with minimal flavor violation, and gravitons.


title: Gaussian Process-Enhanced, External and Internal Convertible (EIC) Form-Based Control of Underactuated Balance Robots

abstract: External and internal convertible (EIC) form-based motion control (i.e., EIC-based control) is one of the effective approaches for underactuated balance robots. By sequentially controller design, trajectory tracking of the actuated subsystem and balance of the unactuated subsystem can be achieved simultaneously. However, with certain conditions, there exists uncontrolled robot motion under the EIC-based control. We first identify these conditions and then propose an enhanced EIC-based control with a Gaussian process data-driven robot dynamic model. Under the new enhanced EIC-based control, the stability and performance of the closed-loop system is guaranteed. We demonstrate the GP-enhanced EIC-based control experimentally using two examples of underactuated balance robots.


title: BT-Adapter: Video Conversation is Feasible Without Video Instruction Tuning

abstract: The recent progress in Large Language Models (LLM) has spurred various advancements in image-language conversation agents, while how to build a proficient video-based dialogue system is still under exploration. Considering the extensive scale of LLM and visual backbone, minimal GPU memory is left for facilitating effective temporal modeling, which is crucial for comprehending and providing feedback on videos. To this end, we propose Branching Temporal Adapter (BT-Adapter), a novel method for extending image-language pretrained models into the video domain. Specifically, BT-Adapter serves as a plug-and-use temporal modeling branch alongside the pretrained visual encoder, which is tuned while keeping the backbone frozen. Just pretrained once, BT-Adapter can be seamlessly integrated into all image conversation models using this version of CLIP, enabling video conversations without the need for video instructions. Besides, we develop a unique asymmetric token masking strategy inside the branch with tailor-made training tasks for BT-Adapter, facilitating faster convergence and better results. Thanks to BT-Adapter, we are able to empower existing multimodal dialogue models with strong video understanding capabilities without incurring excessive GPU costs. Without bells and whistles, BT-Adapter achieves (1) state-of-the-art zero-shot results on various video tasks using thousands of fewer GPU hours. (2) better performance than current video chatbots without any video instruction tuning. (3) state-of-the-art results of video chatting using video instruction tuning, outperforming previous SOTAs by a large margin.


title: Model-based design of temporal analysis of products (TAP) reactors: A simulated case study in oxidative propane dehydrogenation

abstract: Temporal analysis of products (TAP) reactors enable experiments that probe numerous kinetic processes within a single set of experimental data through variations in pulse intensity, delay, or temperature. Selecting additional TAP experiments often involves arbitrary selection of reaction conditions or the use of chemical intuition. To make experiment selection in TAP more robust, we explore the efficacy of model-based design of experiments (MBDoE) for precision in TAP reactor kinetic modeling. We successfully applied this approach to a case study of synthetic oxidative propane dehydrogenation (OPDH) that involves pulses of propane and oxygen. We found that experiments identified as optimal through the MBDoE for precision generally reduce parameter uncertainties to a higher degree than alternative experiments. The performance of MBDoE for model divergence was also explored for OPDH, with the relevant active sites (catalyst structure) being unknown. An experiment that maximized the divergence between the three proposed mechanisms was identified and led to clear mechanism discrimination. However, re-optimization of kinetic parameters eliminated the ability to discriminate. The findings yield insight into the prospects and limitations of MBDoE for TAP and transient kinetic experiments.


title: Partial Transport for Point-Cloud Registration

abstract: Point cloud registration plays a crucial role in various fields, including robotics, computer graphics, and medical imaging. This process involves determining spatial relationships between different sets of points, typically within a 3D space. In real-world scenarios, complexities arise from non-rigid movements and partial visibility, such as occlusions or sensor noise, making non-rigid registration a challenging problem. Classic non-rigid registration methods are often computationally demanding, suffer from unstable performance, and, importantly, have limited theoretical guarantees. The optimal transport problem and its unbalanced variations (e.g., the optimal partial transport problem) have emerged as powerful tools for point-cloud registration, establishing a strong benchmark in this field. These methods view point clouds as empirical measures and provide a mathematically rigorous way to quantify the `correspondence' between (the transformed) source and target points. In this paper, we approach the point-cloud registration problem through the lens of optimal transport theory and first propose a comprehensive set of non-rigid registration methods based on the optimal partial transportation problem. Subsequently, leveraging the emerging work on efficient solutions to the one-dimensional optimal partial transport problem, we extend our proposed algorithms via slicing to gain significant computational efficiency, resulting in fast and robust non-rigid registration algorithms. We demonstrate the effectiveness of our proposed methods and compare them against baselines on various 3D and 2D non-rigid registration problems where the source and target point clouds are corrupted by random noise.


title: Reconciling quantum and classical spectral theories of ultrastrong coupling: Role of cavity bath coupling and gauge corrections

abstract: Focusing on the widely adopted Hopfield model with cavity dissipation, we show how the linear spectrum of an ultrastrongly coupled cavity and a dipole can be described either classically or quantum mechanically, but only when the quantum model includes (i) corrections to maintain gauge invariance, and (ii) a specific type of cavity bath coupling. We also show the impact of this bath model on the quantum Rabi model, which has no classical analogue in ultrastrong coupling.


title: Large Language Model Routing with Benchmark Datasets

abstract: There is a rapidly growing number of open-source Large Language Models (LLMs) and benchmark datasets to compare them. While some models dominate these benchmarks, no single model typically achieves the best accuracy in all tasks and use cases. In this work, we address the challenge of selecting the best LLM out of a collection of models for new tasks. We propose a new formulation for the problem, in which benchmark datasets are repurposed to learn a "router" model for this LLM selection, and we show that this problem can be reduced to a collection of binary classification tasks. We demonstrate the utility and limitations of learning model routers from various benchmark datasets, where we consistently improve performance upon using any single model for all tasks.