title: Transformer-Based Deep Learning Detector for Dual-Mode Index Modulation 3D-OFDM

abstract: In this paper, we propose a deep learning-based signal detector called TransD3D-IM, which employs the Transformer framework for signal detection in the Dual-mode index modulation-aided three-dimensional (3D) orthogonal frequency division multiplexing (DM-IM-3D-OFDM) system. In this system, the data bits are conveyed using dual-mode 3D constellation symbols and active subcarrier indices. As a result, this method exhibits significantly higher transmission reliability than current IM-based models with traditional maximum likelihood (ML) detection. Nevertheless, the ML detector suffers from high computational complexity, particularly when the parameters of the system are large. Even the complexity of the Log-Likelihood Ratio algorithm, known as a low-complexity detector for signal detection in the DM-IM-3D-OFDM system, is also not impressive enough. To overcome this limitation, our proposal applies a deep neural network at the receiver, utilizing the Transformer framework for signal detection of DM-IM-3D-OFDM system in Rayleigh fading channel. Simulation results demonstrate that our detector attains to approach performance compared to the model-based receiver. Furthermore, TransD3D-IM exhibits more robustness than the existing deep learning-based detector while considerably reducing runtime complexity in comparison with the benchmarks.


title: RICO-MR: An Open-Source Architecture for Robot Intent Communication through Mixed Reality

abstract: This article presents an open-source architecture for conveying robots' intentions to human teammates using Mixed Reality and Head-Mounted Displays. The architecture has been developed focusing on its modularity and re-usability aspects. Both binaries and source code are available, enabling researchers and companies to adopt the proposed architecture as a standalone solution or to integrate it in more comprehensive implementations. Due to its scalability, the proposed architecture can be easily employed to develop shared Mixed Reality experiences involving multiple robots and human teammates in complex collaborative scenarios.


title: SeaEval for Multilingual Foundation Models: From Cross-Lingual Alignment to Cultural Reasoning

abstract: We present SeaEval, a benchmark for multilingual foundation models. In addition to characterizing how these models understand and reason with natural language, we also investigate how well they comprehend cultural practices, nuances, and values. Alongside standard accuracy metrics, we investigate the brittleness of foundation models in the dimensions of semantics and multilinguality. Our analyses span both open-sourced and closed models, leading to empirical results across classic NLP tasks, reasoning, and cultural comprehension. Key findings indicate (1) Most models exhibit varied behavior when given paraphrased instructions. (2) Many models still suffer from exposure bias (e.g., positional bias, majority label bias). (3) For questions rooted in factual, scientific, and commonsense knowledge, consistent responses are expected across multilingual queries that are semantically equivalent. Yet, most models surprisingly demonstrate inconsistent performance on these queries. (4) Multilingually-trained models have not attained "balanced multilingual" capabilities. Our endeavors underscore the need for more generalizable semantic representations and enhanced multilingual contextualization. SeaEval can serve as a launchpad for more thorough investigations and evaluations for multilingual and multicultural scenarios.


title: Mass effect on an elliptic PDE involving two Hardy-Sobolev critical exponents

abstract: We let $\Omega$ be a bounded domain of $\mathbb{R}^3$ and $\Gamma$ be a closed curve contained in $\Omega$. We study existence of positive solutions $u \in H^1_0\left(\Omega\right)$ to the equation $$ -\Delta u+hu=\lambda\rho^{-s_1}_\Gamma u^{5-2s_1}+\rho^{-s_2}_\Gamma u^{5-2s_2} \qquad \textrm{ in } \Omega $$ where $h$ is a continuous function and $\rho_\Gamma$ is the distance function to $\Gamma$. We prove existence of solutions depending on the regular part of the Green function of linear operator. We prove the existence of positive mountain pass solutions for this Euler-Lagrange equation depending on the mass which is the regular part of the Green function of the linear operator $-\Delta+h$.


title: Influence of the curvature in the existence of solutions for a two Hardy-Sobolev critical exponents

abstract: For $N\geq 4$, we let $\Omega$ be a bounded domain of $\mathbb{R}^N$ and $\Gamma$ be a closed curve contained in $\Omega$. We study existence of positive solutions $u \in H^1_0\left(\Omega\right)$ to the equation \begin{equation}\label{Atusi} -\Delta u+hu=\lambda\rho^{-s_1}_\Gamma u^{2^*_{s_1}-1}+\rho^{-s_2}_\Gamma u^{2^*_{s_2}-1} \qquad \textrm{ in } \Omega \end{equation} where $h$ is a continuous function and $\rho_\Gamma$ is the distance function to $\Gamma$. We prove the existence of a mountain pass solution for this Euler-Lagrange equation depending on the local geometry of the curve and the potential $h$.


title: Configuration sampling in multi-component multi-sublattice systems enabled by ab Initio Configuration Sampling Toolkit (abICS)

abstract: Simulation of the intermediate levels of disorder found in multi-component multi-sublattice systems in various functional materials is a challenging issue, even for state-of-the-art methodologies based on first-principles calculation. Here, we introduce our open-source package ab Initio Configuration Sampling Toolkit (abICS), which combines high-throughput first-principles calculations, machine learning, and parallel extended ensemble sampling in an active learning setting to enable such simulations. The theoretical background is reviewed in some detail followed by brief notes on usage of the software. In addition, our recent applications of abICS to multi-component ionic systems and their interfaces for energy applications are reviewed as demonstration of the power of this approach.


title: After-Fatigue Condition: A Novel Analysis Based on Surface EMG Signals

abstract: This study introduces a novel muscle activation analysis based on surface electromyography (sEMG) signals to assess the muscle's after-fatigue condition. Previous studies have mainly focused on the before-fatigue and fatigue conditions. However, a comprehensive analysis of the after-fatigue condition has been overlooked. The proposed method analyzes muscle fatigue indicators at various maximal voluntary contraction (MVC) levels to compare the before-fatigue, fatigue, and after-fatigue conditions using amplitude-based, spectral-based, and muscle fiber conduction velocity (CV) parameters. In addition, the contraction time of each MVC level is also analyzed with the same indicators. The results show that in the after-fatigue condition, the muscle activation changes significantly in the ways such as higher CV, power spectral density shifting to the right, and longer contraction time until exhaustion compared to the before-fatigue and fatigue conditions. The results can provide a comprehensive and objective evaluation of muscle fatigue and recovery, which can be helpful in clinical diagnosis, rehabilitation, and sports performance.


title: Tense distributive lattices: algebra, logic and topology

abstract: Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the relationship between tense and modality. Prior's idea was to add four primitive modal-like unary connectives to the base language today widely known as Prior's tense operators. Since then, Prior's operators have been considered in many contexts by different authors, in particular, in the context of algebraic logic. Here, we consider the category tdlat of bounded distributive lattices equipped with Prior's tense operators. We establish categorical dualities for tdlat in terms of certain categories of Kripke frames and Priestley spaces, respectively. As an application, we characterize the congruence lattice of any tense distributive lattice as well as the subdirectly irreducible members of this category. Finally, we define the logic that preserves degrees of truth with respect to tdlat-algebras and precise the relation between particular sub-classes of tdlat and know tense logics found in the literature.


title: Secondary cosmic-ray nuclei in the Galactic halo model with nonlinear Landau damping

abstract: We employed our recent model of the cosmic-ray (CR) halo to compute the Galactic spectra of stable and unstable secondary nuclei. In this model, confinement of the Galactic CRs is entirely determined by the self-generated Alfvenic turbulence whose spectrum is controlled by nonlinear Landau damping. We analyzed the physical parameters affecting propagation characteristics of CRs and estimated the best set of free parameters providing accurate description of available observational data. We also show that agreement with observations at lower energies may be further improved by taking into account the effect of ion-neutral damping that operates near the Galactic disk.


title: Comparison and equality of generalized $\psi$-estimators

abstract: We solve the comparison problem for generalized $\psi$-estimators introduced in Barczy and P\'ales (2022). Namely, we derive several necessary and sufficient conditions under which a generalized $\psi$-estimator less than or equal to another $\psi$-estimator for any sample. We also solve the corresponding equality problem for generalized $\psi$-estimators. For applications, we solve the two problems in question for Bajraktarevi\'c-type- and quasi-arithmetic-type estimators. We also apply our results for some known statistical estimators such as for empirical expectiles and Mathieu-type estimators and for solving likelihood equations in case of normal, a Beta-type, Gamma, Lomax (Pareto type II), lognormal and Laplace distributions.


title: Fisher's Pioneering work on Discriminant Analysis and its Impact on AI

abstract: Fisher opened many new areas in Multivariate Analysis, and the one which we will consider is discriminant analysis. Several papers by Fisher and others followed from his seminal paper in 1936 where he coined the name discrimination function. Historically, his four papers on discriminant analysis during 1936-1940 connect to the contemporaneous pioneering work of Hotelling and Mahalanobis. We revisit the famous iris data which Fisher used in his 1936 paper and in particular, test the hypothesis of multivariate normality for the data which he assumed. Fisher constructed his genetic discriminant motivated by this application and we provide a deeper insight into this construction; however, this construction has not been well understood as far as we know. We also indicate how the subject has developed along with the computer revolution, noting newer methods to carry out discriminant analysis, such as kernel classifiers, classification trees, support vector machines, neural networks, and deep learning. Overall, with computational power, the whole subject of Multivariate Analysis has changed its emphasis but the impact of this Fisher's pioneering work continues as an integral part of supervised learning in Artificial Intelligence.


title: Compatibility between Jacobi structures and pseudo-Riemannian cometrics on Jacobi algebroids

abstract: We define compatibility between Jacobi structures and pseudo-Riemannian cometrics on Jacobi algebroids. This notion is a generalization of the compatibility between Poisson structures and pseudo-Riemannian cometrics on manifolds, which was defined by Boucetta. We show that the compatibility with a cometric is ``preserved'' by the Poissonization of a Jacobi structure. Furthermore, we prove that for a contact pseudo-metric structure on a manifold, satisfying the compatibility condition is equivalent to being a Sasakian pseudo-metric structure.


title: Correlations in Disordered Solvable Tensor Network States

abstract: Solvable matrix product and projected entangled pair states evolved by dual and ternary-unitary quantum circuits have analytically accessible correlation functions. Here, we investigate the influence of disorder. Specifically, we compute the average behavior of a physically motivated two-point equal-time correlation function with respect to random disordered solvable tensor network states arising from the Haar measure on the unitary group. By employing the Weingarten calculus, we provide an exact analytical expression for the average of the $k$th moment of the correlation function. The complexity of the expression scales with $k!$ and is independent of the complexity of the underlying tensor network state. Our result implies that the correlation function vanishes on average, while its covariance is nonzero.


title: Towards Robust Model Watermark via Reducing Parametric Vulnerability

abstract: Deep neural networks are valuable assets considering their commercial benefits and huge demands for costly annotation and computation resources. To protect the copyright of DNNs, backdoor-based ownership verification becomes popular recently, in which the model owner can watermark the model by embedding a specific backdoor behavior before releasing it. The defenders (usually the model owners) can identify whether a suspicious third-party model is ``stolen'' from them based on the presence of the behavior. Unfortunately, these watermarks are proven to be vulnerable to removal attacks even like fine-tuning. To further explore this vulnerability, we investigate the parameter space and find there exist many watermark-removed models in the vicinity of the watermarked one, which may be easily used by removal attacks. Inspired by this finding, we propose a mini-max formulation to find these watermark-removed models and recover their watermark behavior. Extensive experiments demonstrate that our method improves the robustness of the model watermarking against parametric changes and numerous watermark-removal attacks. The codes for reproducing our main experiments are available at \url{https://github.com/GuanhaoGan/robust-model-watermarking}.


title: Intrinsic magnetic properties of the layered antiferromagnet CrSBr

abstract: Van der Waals magnetic materials are an ideal platform to study low-dimensional magnetism. Opposed to other members of this family, the magnetic semiconductor CrSBr is highly resistant to degradation in air, which, besides its exceptional optical, electronic, and magnetic properties, is the reason the compound is receiving considerable attention at the moment. For many years, its magnetic phase diagram seemed to be well-understood. Recently, however, several groups observed a magnetic transition in magnetometry measurements at temperatures of around 40 K that is not expected from theoretical considerations, causing a debate about the intrinsic magnetic properties of the material. In this letter, we report the absence of this particular transition in magnetization measurements conducted on high-quality CrSBr crystals, attesting to the extrinsic nature of the low-temperature magnetic phase observed in other works. Our magnetometry results obtained from large bulk crystals are in very good agreement with the magnetic phase diagram of CrSBr previously predicted by the mean-field theory; A-type antiferromagnetic order is the only phase observed below the N\'eel temperature at TN = 131 K. Moreover, numerical fits based on the Curie-Weiss law confirm that strong ferromagnetic correlations are present within individual layers even at temperatures much larger than TN.


title: $g$-factor engineering with InAsSb alloys toward zero band gap limit

abstract: Band gap is known as an effective parameter for tuning the Lande $g$-factor in semiconductors and can be manipulated in a wide range through the bowing effect in ternary alloys. In this work, using the recently developed virtual substrate technique, high-quality InAsSb alloys throughout the whole Sb composition range are fabricated and a large $g$-factor of $g\approx -90$ at the minimum band gap of $\sim 0.1$ eV, which is almost twice that in bulk InSb is found. Further analysis to the zero gap limit reveals a possible gigantic $g$-factor of $g\approx -200$ with a peculiar relativistic Zeeman effect that disperses as the square root of magnetic field. Such a $g$-factor enhancement toward the narrow gap limit cannot be quantitatively described by the conventional Roth formula, as the orbital interaction effect between the nearly triply degenerated bands becomes the dominant source for the Zeeman splitting. These results may provide new insights into realizing large $g$-factors and spin polarized states in semiconductors and topological materials.


title: Latent Degradation Representation Constraint for Single Image Deraining

abstract: Since rain streaks show a variety of shapes and directions, learning the degradation representation is extremely challenging for single image deraining. Existing methods are mainly targeted at designing complicated modules to implicitly learn latent degradation representation from coupled rainy images. This way, it is hard to decouple the content-independent degradation representation due to the lack of explicit constraint, resulting in over- or under-enhancement problems. To tackle this issue, we propose a novel Latent Degradation Representation Constraint Network (LDRCNet) that consists of Direction-Aware Encoder (DAEncoder), UNet Deraining Network, and Multi-Scale Interaction Block (MSIBlock). Specifically, the DAEncoder is proposed to adaptively extract latent degradation representation by using the deformable convolutions to exploit the direction consistency of rain streaks. Next, a constraint loss is introduced to explicitly constraint the degradation representation learning during training. Last, we propose an MSIBlock to fuse with the learned degradation representation and decoder features of the deraining network for adaptive information interaction, which enables the deraining network to remove various complicated rainy patterns and reconstruct image details. Experimental results on synthetic and real datasets demonstrate that our method achieves new state-of-the-art performance.


title: First-Principles Screening of Metal-Organic Frameworks for Entangled Photon Pair Generation

abstract: The transmission of strong laser light in nonlinear optical materials can generate output photons sources that carry quantum entanglement in multiple degrees of freedom, making this process a fundamentally important tool in optical quantum technology. However, the availability of efficient optical crystals for entangled light generation is severely limited in terms of diversity, thus reducing the prospects for the implementation of next-generation protocols in quantum sensing, communication and computing. To overcome this, we developed and implemented a multi-scale first-principles modeling technique for the computational discovery of novel nonlinear optical devices based on metal-organic framework (MOF) materials that can efficiently generate entangled light via spontaneous parametric down-conversion(SPDC). Using collinear degenerate type-I SPDC as a case study, we computationally screen a database of 114,373 synthesized MOF materials to establish correlations between the structure and chemical composition of MOFs with the brightness and coherence properties of entangled photon pairs. We identify a subset of 49 non-centrosymmetric mono-ligand MOF crystals with high chemical and optical stability that produce entangled photon pairs with intrinsic $G^{(2)}$ correlation times $\tau_c\sim 10-30$ fs and pair generation rates in the range $10^4-10^{8}$ s$^{-1}$mW$^{-1}$mm$^{-1}$ at 1064 nm. Conditions for optimal type-I phase matching are given for each MOF and relationships between pair brightness, crystal band gap and optical birefringence are discussed. Correlations between the optical properties of crystals and their constituent molecular ligands are also given. Our work paves the way for the computational design of MOF-based devices for optical quantum technology.


title: RRCNN$^{+}$: An Enhanced Residual Recursive Convolutional Neural Network for Non-stationary Signal Decomposition

abstract: Time-frequency analysis is an important and challenging task in many applications. Fourier and wavelet analysis are two classic methods that have achieved remarkable success in many fields. They also exhibit limitations when applied to nonlinear and non-stationary signals. To address this challenge, a series of nonlinear and adaptive methods, pioneered by the empirical mode decomposition method have been proposed. Their aim is to decompose a non-stationary signal into quasi-stationary components which reveal better features in the time-frequency analysis. Recently, inspired by deep learning, we proposed a novel method called residual recursive convolutional neural network (RRCNN). Not only RRCNN can achieve more stable decomposition than existing methods while batch processing large-scale signals with low computational cost, but also deep learning provides a unique perspective for non-stationary signal decomposition. In this study, we aim to further improve RRCNN with the help of several nimble techniques from deep learning and optimization to ameliorate the method and overcome some of the limitations of this technique.


title: $CP$ issues in the SM from a view point of spontaneous $CP$ violation

abstract: The standard model (SM) has several issues related to the $CP$ violation which could give clues to search physics beyond the SM. They are a $CP$ phase in the CKM matrix, the strong $CP$ problem, $CP$ phases in the PMNS matrix and $CP$ asymmetry in lepton number violating processes related to baryon number asymmetry. We consider a model which could give a unified explanation for them in a framework of spontaneous $CP$ violation. It is an extension of the SM with vector-like fermions and singlet scalars. In this model, they are explained by a common complex phase caused in the spontaneous $CP$ violation. We present concrete examples for them and also discuss some relevant phenomenology.


title: Solar gamma ray probe of local cosmic ray electrons

abstract: TeV-range cosmic ray electrons and positrons (CREs) have been directly measured in the search for new physics or unknown astrophysical sources. CREs can inverse-Compton scatter solar photons and boost their energies into gamma ray bands. Any potential CRE excess would enhance the resultant inverse Compton emission spectrum in the relevant energy range, offering a new window to verify the measured CRE spectrum. In this paper, we show that an excess in the TeV range of the CRE spectrum, such as the one indicated by the DAMPE experiment, can induce a characteristic solar gamma ray signal. Accounting for contamination from extragalactic gamma ray backgrounds (EGB), we forecast the DAMPE feature is testable ($\gtrsim 4 \sigma$) with a $\sim 10^{5}\,\mathrm{m}^2\,{\rm yr}$ exposure in the off-disk direction. This can be achieved by long-exposure observations of water Cherenkov telescopes, such as LHAASO (7.2 years) and HAWC (25.9 years).


title: Implementation of Autonomous Supply Chains for Digital Twinning: a Multi-Agent Approach

abstract: Trade disruptions, the pandemic, and the Ukraine war over the past years have adversely affected global supply chains, revealing their vulnerability. Autonomous supply chains are an emerging topic that has gained attention in industry and academia as a means of increasing their monitoring and robustness. While many theoretical frameworks exist, there is only sparse work to facilitate generalisable technical implementation. We address this gap by investigating multi-agent system approaches for implementing autonomous supply chains, presenting an autonomous economic agent-based technical framework. We illustrate this framework with a prototype, studied in a perishable food supply chain scenario, and discuss possible extensions.


title: Stability maps for the 5/3 mean motion resonance between Ariel and Umbriel with inclination

abstract: The evolution of the five largest satellites of Uranus during the crossing of the 5/3 mean motion resonance between Ariel and Umbriel is strongly affected by chaotic motion. Studies with numerical integrations of the equations of motion and analysis of Poincar\'e surface sections provided helpful insights to the role of chaos on the system. However, they lack of a quantification of this chaos in the phase-space. Here, we construct stability maps using the frequency analysis method. We determine that for low energies (small eccentricity and/or inclinations), the phase-space is mainly stable. As the energy increases, the chaotic regions replace the stable motion, until only small, localized libration regions remain stable.


title: An Analytic Method to Determine the Optimal Time for the Induction Phase of Anesthesia

abstract: We obtain an analytical solution for the time-optimal control problem in the induction phase of anesthesia. Our solution is shown to align numerically with the results obtained from the conventional shooting method. The induction phase of anesthesia relies on a pharmacokinetic/pharmacodynamic (PK/PD) model proposed by Bailey and Haddad in 2005 to regulate the infusion of propofol. In order to evaluate our approach and compare it with existing results in the literature, we examine a minimum-time problem for anesthetizing a patient. By applying the Pontryagin minimum principle, we introduce the shooting method as a means to solve the problem at hand. Additionally, we conducted numerical simulations using the MATLAB computing environment. We solve the time-optimal control problem using our newly proposed analytical method and discover that the optimal continuous infusion rate of the anesthetic and the minimum required time for transition from the awake state to an anesthetized state exhibit similarity between the two methods. However, the advantage of our new analytic method lies in its independence from unknown initial conditions for the adjoint variables.


title: Stochastic Gradient Descent outperforms Gradient Descent in recovering a high-dimensional signal in a glassy energy landscape

abstract: Stochastic Gradient Descent (SGD) is an out-of-equilibrium algorithm used extensively to train artificial neural networks. However very little is known on to what extent SGD is crucial for to the success of this technology and, in particular, how much it is effective in optimizing high-dimensional non-convex cost functions as compared to other optimization algorithms such as Gradient Descent (GD). In this work we leverage dynamical mean field theory to benchmark its performances in the high-dimensional limit. To do that, we consider the problem of recovering a hidden high-dimensional non-linearly encrypted signal, a prototype high-dimensional non-convex hard optimization problem. We compare the performances of SGD to GD and we show that SGD largely outperforms GD for sufficiently small batch sizes. In particular, a power law fit of the relaxation time of these algorithms shows that the recovery threshold for SGD with small batch size is smaller than the corresponding one of GD.


title: Local Certification of Some Geometric Intersection Graph Classes

abstract: In the context of distributed certification, the recognition of graph classes has started to be intensively studied. For instance, different results related to the recognition of planar, bounded tree-width and $H$-minor free graphs have been recently obtained. The goal of the present work is to design compact certificates for the local recognition of relevant geometric intersection graph classes, namely interval, chordal, circular arc, trapezoid and permutation. More precisely, we give proof labeling schemes recognizing each of these classes with logarithmic-sized certificates. We also provide tight logarithmic lower bounds on the size of the certificates on the proof labeling schemes for the recognition of any of the aforementioned geometric intersection graph classes.


title: MMHQA-ICL: Multimodal In-context Learning for Hybrid Question Answering over Text, Tables and Images

abstract: In the real world, knowledge often exists in a multimodal and heterogeneous form. Addressing the task of question answering with hybrid data types, including text, tables, and images, is a challenging task (MMHQA). Recently, with the rise of large language models (LLM), in-context learning (ICL) has become the most popular way to solve QA problems. We propose MMHQA-ICL framework for addressing this problems, which includes stronger heterogeneous data retriever and an image caption module. Most importantly, we propose a Type-specific In-context Learning Strategy for MMHQA, enabling LLMs to leverage their powerful performance in this task. We are the first to use end-to-end LLM prompting method for this task. Experimental results demonstrate that our framework outperforms all baselines and methods trained on the full dataset, achieving state-of-the-art results under the few-shot setting on the MultimodalQA dataset.


title: osmAG: Hierarchical Semantic Topometric Area Graph Maps in the OSM Format for Mobile Robotics

abstract: Maps are essential to mobile robotics tasks like localization and planning. We propose the open street map (osm) XML based Area Graph file format to store hierarchical, topometric semantic multi-floor maps of indoor and outdoor environments, since currently no such format is popular within the robotics community. Building on-top of osm we leverage the available open source editing tools and libraries of osm, while adding the needed mobile robotics aspect with building-level obstacle representation yet very compact, topometric data that facilitates planning algorithms. Through the use of common osm keys as well as custom ones we leverage the power of semantic annotation to enable various applications. For example, we support planning based on robot capabilities, to take the locomotion mode and attributes in conjunction with the environment information into account. The provided C++ library is integrated into ROS. We evaluate the performance of osmAG using real data in a global path planning application on a very big osmAG map, demonstrating its convenience and effectiveness for mobile robots.


title: Individual subject evaluated difficulty of adjustable mazes generated using quantum annealing

abstract: In this paper, the maze generation using quantum annealing is proposed. We reformulate a standard algorithm to generate a maze into a specific form of a quadratic unconstrained binary optimization problem suitable for the input of the quantum annealer. To generate more difficult mazes, we introduce an additional cost function $Q_{update}$ to increase the difficulty. The difficulty of the mazes was evaluated by the time to solve the maze of 12 human subjects. To check the efficiency of our scheme to create the maze, we investigated the time-to-solution of a quantum processing unit, classical computer, and hybrid solver.


title: Interpreting TSLS Estimators in Information Provision Experiments

abstract: To estimate the causal effects of beliefs on actions, researchers often run information provision experiments. We consider the causal interpretation of two-stage least squares (TSLS) estimators in these experiments. We characterize common TSLS estimators as weighted averages of causal effects, and interpret these weights under general belief updating conditions that nest parametric models from the literature. Our framework accommodates TSLS estimators for both passive and active control designs. Notably, we find that some passive control estimators allow for negative weights, which compromises their causal interpretation. We give practical guidance on such issues, and illustrate our results in two empirical applications.


title: All-charm tetraquark mass and possible quantum numbers of X(6900)

abstract: In this work we propose possible quantum numbers of X(6900) and suggest a model for it internal structure that explains its unusually high mass. We solve the Schr\"odinger Equation with Mathematica 12, first for charmonium spectrum, then for all-charm tetraquark spectrum which is understood as a pair of two-particle states, mesons or diquark-antidiquark states. The obtained candidates for all-charm tetraquark will be separated into contributors to various resonances and structures that are visible in the experiments then an explanation for the prominence of X(6900) will be proposed.


title: Self-Supervised Transformer with Domain Adaptive Reconstruction for General Face Forgery Video Detection

abstract: Face forgery videos have caused severe social public concern, and various detectors have been proposed recently. However, most of them are trained in a supervised manner with limited generalization when detecting videos from different forgery methods or real source videos. To tackle this issue, we explore to take full advantage of the difference between real and forgery videos by only exploring the common representation of real face videos. In this paper, a Self-supervised Transformer cooperating with Contrastive and Reconstruction learning (CoReST) is proposed, which is first pre-trained only on real face videos in a self-supervised manner, and then fine-tuned a linear head on specific face forgery video datasets. Two specific auxiliary tasks incorporated contrastive and reconstruction learning are designed to enhance the representation learning. Furthermore, a Domain Adaptive Reconstruction (DAR) module is introduced to bridge the gap between different forgery domains by reconstructing on unlabeled target videos when fine-tuning. Extensive experiments on public datasets demonstrate that our proposed method performs even better than the state-of-the-art supervised competitors with impressive generalization.


title: Pick interpolation and invariant distances

abstract: In this article, we study the role of invariant distances in the Pick interpolation problem. Given a Carath\'eodory hyperbolic domain $\Omega$ in some $\mathbb{C}^m$, we have introduced a notion of an invariant object that gives a necessary and sufficient condition for any Pick interpolation problem to be solvable on $\Omega$. This invariant object plays the same role as that of Carath\'eodory pseudodistance in the two-point Pick interpolation problem. Furthermore, a full description of the invariant object is given when $\Omega$ is the open unit disc.


title: A Full-fledged Commit Message Quality Checker Based on Machine Learning

abstract: Commit messages (CMs) are an essential part of version control. By providing important context in regard to what has changed and why, they strongly support software maintenance and evolution. But writing good CMs is difficult and often neglected by developers. So far, there is no tool suitable for practice that automatically assesses how well a CM is written, including its meaning and context. Since this task is challenging, we ask the research question: how well can the CM quality, including semantics and context, be measured with machine learning methods? By considering all rules from the most popular CM quality guideline, creating datasets for those rules, and training and evaluating state-of-the-art machine learning models to check those rules, we can answer the research question with: sufficiently well for practice, with the lowest F$_1$ score of 82.9\%, for the most challenging task. We develop a full-fledged open-source framework that checks all these CM quality rules. It is useful for research, e.g., automatic CM generation, but most importantly for software practitioners to raise the quality of CMs and thus the maintainability and evolution speed of their software.


title: Low-Quality Training Data Only? A Robust Framework for Detecting Encrypted Malicious Network Traffic

abstract: Machine learning (ML) is promising in accurately detecting malicious flows in encrypted network traffic; however, it is challenging to collect a training dataset that contains a sufficient amount of encrypted malicious data with correct labels. When ML models are trained with low-quality training data, they suffer degraded performance. In this paper, we aim at addressing a real-world low-quality training dataset problem, namely, detecting encrypted malicious traffic generated by continuously evolving malware. We develop RAPIER that fully utilizes different distributions of normal and malicious traffic data in the feature space, where normal data is tightly distributed in a certain area and the malicious data is scattered over the entire feature space to augment training data for model training. RAPIER includes two pre-processing modules to convert traffic into feature vectors and correct label noises. We evaluate our system on two public datasets and one combined dataset. With 1000 samples and 45% noises from each dataset, our system achieves the F1 scores of 0.770, 0.776, and 0.855, respectively, achieving average improvements of 352.6%, 284.3%, and 214.9% over the existing methods, respectively. Furthermore, We evaluate RAPIER with a real-world dataset obtained from a security enterprise. RAPIER effectively achieves encrypted malicious traffic detection with the best F1 score of 0.773 and improves the F1 score of existing methods by an average of 272.5%.


title: MOStream: A Modular and Self-Optimizing Data Stream Clustering Algorithm

abstract: Data stream clustering is a critical operation in various real-world applications, ranging from the Internet of Things (IoT) to social media and financial systems. Existing data stream clustering algorithms, while effective to varying extents, often lack the flexibility and self-optimization capabilities needed to adapt to diverse workload characteristics such as outlier, cluster evolution and changing dimensions in data points. These limitations manifest in suboptimal clustering accuracy and computational inefficiency. In this paper, we introduce MOStream, a modular and self-optimizing data stream clustering algorithm designed to dynamically balance clustering accuracy and computational efficiency at runtime. MOStream distinguishes itself by its adaptivity, clearly demarcating four pivotal design dimensions: the summarizing data structure, the window model for handling data temporality, the outlier detection mechanism, and the refinement strategy for improving cluster quality. This clear separation facilitates flexible adaptation to varying design choices and enhances its adaptability to a wide array of application contexts. We conduct a rigorous performance evaluation of MOStream, employing diverse configurations and benchmarking it against 9 representative data stream clustering algorithms on 4 real-world datasets and 3 synthetic datasets. Our empirical results demonstrate that MOStream consistently surpasses competing algorithms in terms of clustering accuracy, processing throughput, and adaptability to varying data stream characteristics.


title: VeRi3D: Generative Vertex-based Radiance Fields for 3D Controllable Human Image Synthesis

abstract: Unsupervised learning of 3D-aware generative adversarial networks has lately made much progress. Some recent work demonstrates promising results of learning human generative models using neural articulated radiance fields, yet their generalization ability and controllability lag behind parametric human models, i.e., they do not perform well when generalizing to novel pose/shape and are not part controllable. To solve these problems, we propose VeRi3D, a generative human vertex-based radiance field parameterized by vertices of the parametric human template, SMPL. We map each 3D point to the local coordinate system defined on its neighboring vertices, and use the corresponding vertex feature and local coordinates for mapping it to color and density values. We demonstrate that our simple approach allows for generating photorealistic human images with free control over camera pose, human pose, shape, as well as enabling part-level editing.


title: TMComposites: Plug-and-Play Collaboration Between Specialized Tsetlin Machines

abstract: Tsetlin Machines (TMs) provide a fundamental shift from arithmetic-based to logic-based machine learning. Supporting convolution, they deal successfully with image classification datasets like MNIST, Fashion-MNIST, and CIFAR-2. However, the TM struggles with getting state-of-the-art performance on CIFAR-10 and CIFAR-100, representing more complex tasks. This paper introduces plug-and-play collaboration between specialized TMs, referred to as TM Composites. The collaboration relies on a TM's ability to specialize during learning and to assess its competence during inference. When teaming up, the most confident TMs make the decisions, relieving the uncertain ones. In this manner, a TM Composite becomes more competent than its members, benefiting from their specializations. The collaboration is plug-and-play in that members can be combined in any way, at any time, without fine-tuning. We implement three TM specializations in our empirical evaluation: Histogram of Gradients, Adaptive Gaussian Thresholding, and Color Thermometers. The resulting TM Composite increases accuracy on Fashion-MNIST by two percentage points, CIFAR-10 by twelve points, and CIFAR-100 by nine points, yielding new state-of-the-art results for TMs. Overall, we envision that TM Composites will enable an ultra-low energy and transparent alternative to state-of-the-art deep learning on more tasks and datasets.


title: CPMR: Context-Aware Incremental Sequential Recommendation with Pseudo-Multi-Task Learning

abstract: The motivations of users to make interactions can be divided into static preference and dynamic interest. To accurately model user representations over time, recent studies in sequential recommendation utilize information propagation and evolution to mine from batches of arriving interactions. However, they ignore the fact that people are easily influenced by the recent actions of other users in the contextual scenario, and applying evolution across all historical interactions dilutes the importance of recent ones, thus failing to model the evolution of dynamic interest accurately. To address this issue, we propose a Context-Aware Pseudo-Multi-Task Recommender System (CPMR) to model the evolution in both historical and contextual scenarios by creating three representations for each user and item under different dynamics: static embedding, historical temporal states, and contextual temporal states. To dually improve the performance of temporal states evolution and incremental recommendation, we design a Pseudo-Multi-Task Learning (PMTL) paradigm by stacking the incremental single-target recommendations into one multi-target task for joint optimization. Within the PMTL paradigm, CPMR employs a shared-bottom network to conduct the evolution of temporal states across historical and contextual scenarios, as well as the fusion of them at the user-item level. In addition, CPMR incorporates one real tower for incremental predictions, and two pseudo towers dedicated to updating the respective temporal states based on new batches of interactions. Experimental results on four benchmark recommendation datasets show that CPMR consistently outperforms state-of-the-art baselines and achieves significant gains on three of them. The code is available at: https://github.com/DiMarzioBian/CPMR.


title: Towards Real-World Burst Image Super-Resolution: Benchmark and Method

abstract: Despite substantial advances, single-image super-resolution (SISR) is always in a dilemma to reconstruct high-quality images with limited information from one input image, especially in realistic scenarios. In this paper, we establish a large-scale real-world burst super-resolution dataset, i.e., RealBSR, to explore the faithful reconstruction of image details from multiple frames. Furthermore, we introduce a Federated Burst Affinity network (FBAnet) to investigate non-trivial pixel-wise displacements among images under real-world image degradation. Specifically, rather than using pixel-wise alignment, our FBAnet employs a simple homography alignment from a structural geometry aspect and a Federated Affinity Fusion (FAF) strategy to aggregate the complementary information among frames. Those fused informative representations are fed to a Transformer-based module of burst representation decoding. Besides, we have conducted extensive experiments on two versions of our datasets, i.e., RealBSR-RAW and RealBSR-RGB. Experimental results demonstrate that our FBAnet outperforms existing state-of-the-art burst SR methods and also achieves visually-pleasant SR image predictions with model details. Our dataset, codes, and models are publicly available at https://github.com/yjsunnn/FBANet.


title: Multiplicity of Solutions for a problem in double weighted Orlicz-Sobolev and its spectrum

abstract: The purpose of this paper is to investigate the existence of three different weak solutions to a nonlinear elliptic problem that is governed by the weighted {\varphi}-Laplacian operator and subjected to Dirichlet boundary conditions. We also examine the presence of sequences of variational eigenvalues in two distinct scenarios, one with and one without assuming the {\Delta_2}-condition. Our main results are obtained through technical proofsthat combine a Lagrange multipliers type approach with the Ljusternik-Schnirelmann argument.


title: A Convergence Criterion for Elliptic Variational Inequalities

abstract: We consider an elliptic variational inequality with unilateral constraints in a Hilbert space $X$ which, under appropriate assumptions on the data, has a unique solution $u$. We formulate a convergence criterion to the solution $u$, i.e., we provide necessary and sufficient conditions on a sequence $\{u_n\}\subset X$ which guarantee the convergence $u_n\to u$ in the space $X$. Then, we illustrate the use of this criterion to recover well-known convergence results and well-posedness results in the sense of Tykhonov and Levitin-Polyak. We also provide two applications of our results, in the study of a heat transfer problem and an elastic frictionless contact problem, respectively.


title: Timely Fusion of Surround Radar/Lidar for Object Detection in Autonomous Driving Systems

abstract: Fusing Radar and Lidar sensor data can fully utilize their complementary advantages and provide more accurate reconstruction of the surrounding for autonomous driving systems. Surround Radar/Lidar can provide 360-degree view sampling with the minimal cost, which are promising sensing hardware solutions for autonomous driving systems. However, due to the intrinsic physical constraints, the rotating speed of surround Radar, and thus the frequency to generate Radar data frames, is much lower than surround Lidar. Existing Radar/Lidar fusion methods have to work at the low frequency of surround Radar, which cannot meet the high responsiveness requirement of autonomous driving systems.This paper develops techniques to fuse surround Radar/Lidar with working frequency only limited by the faster surround Lidar instead of the slower surround Radar, based on the state-of-the-art object detection model MVDNet. The basic idea of our approach is simple: we let MVDNet work with temporally unaligned data from Radar/Lidar, so that fusion can take place at any time when a new Lidar data frame arrives, instead of waiting for the slow Radar data frame. However, directly applying MVDNet to temporally unaligned Radar/Lidar data greatly degrades its object detection accuracy. The key information revealed in this paper is that we can achieve high output frequency with little accuracy loss by enhancing the training procedure to explore the temporal redundancy in MVDNet so that it can tolerate the temporal unalignment of input data. We explore several different ways of training enhancement and compare them quantitatively with experiments.


title: Linear convergence of the Collatz method for computing the Perron eigenpair of primitive dual number matrix

abstract: Very recently, Qi and Cui extended the Perron-Frobenius theory to dual number matrices with primitive and irreducible nonnegative standard parts and proved that they have Perron eigenpair and Perron-Frobenius eigenpair. The Collatz method was also extended to find Perron eigenpair. Qi and Cui proposed two conjectures. One is the k-order power of a dual number matrix tends to zero if and only if the spectral radius of its standard part less than one, and another is the linear convergence of the Collatz method. In this paper, we confirm these conjectures and provide theoretical proof. The main contribution is to show that the Collatz method R-linearly converges with an explicit rate.


title: Parity duality of super $r$-matrices via $\mathcal O$-operators and pre-Lie superalgebras

abstract: This paper studies super $r$-matrices and operator forms of the super classical Yang-Baxter equation. First by a unified treatment, the classical correspondence between $r$-matrices and $\mathcal{O}$-operators is generalized to a correspondence between homogeneous super $r$-matrices and homogeneous $\mathcal{O}$-operators. Next, by a parity reverse of Lie superalgebra representations, a duality is established between the even and the odd $\mathcal{O}$-operators, giving rise to a parity duality among the induced super $r$-matrices. Thus any homogeneous $\OO$-operator or any homogeneous super $r$-matrix with certain supersymmetry produces a parity pair of super $r$-matrices, and generates an infinite tree hierarchy of homogeneous super $r$-matrices. Finally, a pre-Lie superalgebra naturally defines a parity pair of $\mathcal{O}$-operators, and thus a parity pair of super $r$-matrices.


title: Asteroseismological analysis of the polluted ZZ Ceti star G29-38 with TESS

abstract: G\,29$-$38 (TIC~422526868) is one of the brightest ($V=13.1$) and closest ($d = 17.51$\,pc) pulsating white dwarfs with a hydrogen-rich atmosphere (DAV/ZZ Ceti class). It was observed by the {\sl TESS} spacecraft in sectors 42 and 56. The atmosphere of G~29$-$38 is polluted by heavy elements that are expected to sink out of visible layers on short timescales. The photometric {\sl TESS} data set spans $\sim 51$ days in total, and from this, we identified 56 significant pulsation frequencies, that include rotational frequency multiplets. In addition, we identified 30 combination frequencies in each sector. The oscillation frequencies that we found are associated with $g$-mode pulsations, with periods spanning from $\sim$ 260 s to $\sim$ 1400 s. We identified %three distinct rotational frequency triplets with a mean separation $\delta \nu_{\ell=1}$ of 4.67 $\mu$Hz and a quintuplet with a mean separation $\delta \nu_{\ell=2}$ of 6.67 $\mu$Hz, from which we estimated a rotation period of about $1.35 \pm 0.1$ days. We determined a constant period spacing of 41.20~s for $\ell= 1$ modes and 22.58\,s for $\ell= 2$ modes. We performed period-to-period fit analyses and found an asteroseismological model with $M_{\star}/M_{\odot}=0.632 \pm 0.03$, $T_{\rm eff}=11\, 635\pm 178$ K, and $\log{g}=8.048\pm0.005$ (with a hydrogen envelope mass of $M_{\rm H}\sim 5.6\times 10^{-5}M_{\star}$), in good agreement with the values derived from spectroscopy. We obtained an asteroseismic distance of 17.54 pc, which is in excellent agreement with that provided by {\sl Gaia} (17.51 pc).


title: Neural Latent Geometry Search: Product Manifold Inference via Gromov-Hausdorff-Informed Bayesian Optimization

abstract: Recent research indicates that the performance of machine learning models can be improved by aligning the geometry of the latent space with the underlying data structure. Rather than relying solely on Euclidean space, researchers have proposed using hyperbolic and spherical spaces with constant curvature, or combinations thereof, to better model the latent space and enhance model performance. However, little attention has been given to the problem of automatically identifying the optimal latent geometry for the downstream task. We mathematically define this novel formulation and coin it as neural latent geometry search (NLGS). More specifically, we introduce an initial attempt to search for a latent geometry composed of a product of constant curvature model spaces with a small number of query evaluations, under some simplifying assumptions. To accomplish this, we propose a novel notion of distance between candidate latent geometries based on the Gromov-Hausdorff distance from metric geometry. In order to compute the Gromov-Hausdorff distance, we introduce a mapping function that enables the comparison of different manifolds by embedding them in a common high-dimensional ambient space. We then design a graph search space based on the notion of smoothness between latent geometries and employ the calculated distances as an additional inductive bias. Finally, we use Bayesian optimization to search for the optimal latent geometry in a query-efficient manner. This is a general method which can be applied to search for the optimal latent geometry for a variety of models and downstream tasks. We perform experiments on synthetic and real-world datasets to identify the optimal latent geometry for multiple machine learning problems.


title: Chemical Properties from Graph Neural Network-Predicted Electron Densities

abstract: According to density functional theory, any chemical property can be inferred from the electron density, making it the most informative attribute of an atomic structure. In this work, we demonstrate the use of established physical methods to obtain important chemical properties from model-predicted electron densities. We introduce graph neural network architectural choices that provide physically relevant and useful electron density predictions. Despite not training to predict atomic charges, the model is able to predict atomic charges with an order of magnitude lower error than a sum of atomic charge densities. Similarly, the model predicts dipole moments with half the error of the sum of atomic charge densities method. We demonstrate that larger data sets lead to more useful predictions in these tasks. These results pave the way for an alternative path in atomistic machine learning, where data-driven approaches and existing physical methods are used in tandem to obtain a variety of chemical properties in an explainable and self-consistent manner.


title: Is there charged dark matter bound to ordinary matter? Can it produce observable quantum effects?

abstract: Levitated nano-spheres of silica, optically trapped in a Fabry-Perot cavity with a single trapping field and the electrostatic field of a charged ring electrode, are used to infer the potential existence of dark matter particles with infinitesimal charge. These particles are presumed to exist in bulk matter as relics of the primordial Universe. In the absence of infinitesimally charged particles within the chosen nano-sphere, the output light in this setup should be thermal. However, if these particles do exist, the cavity's output light is expected to be squeezed even at room temperature, and one could observe entanglement between light and the nano-sphere's center of mass.


title: A sharp Ramsey theorem for ordered hypergraph matchings

abstract: We prove essentially sharp bounds for Ramsey numbers of ordered hypergraph matchings, inroduced recently by Dudek, Grytczuk, and Ruci\'{n}ski. Namely, for any $r \ge 2$ and $n \ge 2$, we show that any collection $\mathcal H$ of $n$ pairwise disjoint subsets in $\mathbb Z$ of size $r$ contains a subcollection of size $\lfloor n^{1/(2^r-1)}/2\rfloor$ in which every pair of sets are in the same relative position with respect to the linear ordering on $\mathbb Z$. This improves previous bounds of Dudek-Grytczuk-Ruci\'nski and of Anastos-Jin-Kwan-Sudakov and is sharp up to a factor of $2$. For large $r$, we even obtain such a subcollection of size $\lfloor (1-o(1))\cdot n^{1/(2^r-1)}\rfloor$, which is asymptotically tight (here, the $o(1)$-term tends to zero as $r \to \infty$, regardless of the value of $n$). Furthermore, we prove a multiparameter extension of this result where one wants to find a clique of prescribed size $m_P$ for each relative position pattern $P$. Our bound is sharp for all choices of parameters $m_P$, up to a constant factor depending on $r$ only. This answers questions of Anastos-Jin-Kwan-Sudakov and of Dudek-Grytczuk-Ruci\'nski.


title: Speech2Lip: High-fidelity Speech to Lip Generation by Learning from a Short Video

abstract: Synthesizing realistic videos according to a given speech is still an open challenge. Previous works have been plagued by issues such as inaccurate lip shape generation and poor image quality. The key reason is that only motions and appearances on limited facial areas (e.g., lip area) are mainly driven by the input speech. Therefore, directly learning a mapping function from speech to the entire head image is prone to ambiguity, particularly when using a short video for training. We thus propose a decomposition-synthesis-composition framework named Speech to Lip (Speech2Lip) that disentangles speech-sensitive and speech-insensitive motion/appearance to facilitate effective learning from limited training data, resulting in the generation of natural-looking videos. First, given a fixed head pose (i.e., canonical space), we present a speech-driven implicit model for lip image generation which concentrates on learning speech-sensitive motion and appearance. Next, to model the major speech-insensitive motion (i.e., head movement), we introduce a geometry-aware mutual explicit mapping (GAMEM) module that establishes geometric mappings between different head poses. This allows us to paste generated lip images at the canonical space onto head images with arbitrary poses and synthesize talking videos with natural head movements. In addition, a Blend-Net and a contrastive sync loss are introduced to enhance the overall synthesis performance. Quantitative and qualitative results on three benchmarks demonstrate that our model can be trained by a video of just a few minutes in length and achieve state-of-the-art performance in both visual quality and speech-visual synchronization. Code: https://github.com/CVMI-Lab/Speech2Lip.


title: Direct numerical simulation of a high-pressure hydrogen micromix combustor: flame structure and stabilisation mechanism

abstract: A high-pressure hydrogen micromix combustor has been investigated using direct numerical simulation with detailed chemistry to examine the flame structure and stabilisation mechanism. The configuration of the combustor was based on the design by Schefer [1], using numerical periodicity to mimic a large square array. A precursor simulation of an opposed jet-in-crossflow was first conducted to generate appropriate partially-premixed inflow boundary conditions for the subsequent reacting simulation. The resulting flame can be described as a predominantly-lean inhomogeneously-premixed lifted jet flame. Five main zones were identified: a jet mixing region, a core flame, a peripheral flame, a recirculation zone, and combustion products. The core flame, situated over the jet mixing region, was found to burn as a thin reaction front, responsible for over 85% of the total fuel consumption. The peripheral flame shrouded the core flame, had low mean flow with high turbulence, and burned at very lean conditions (in the distributed burning regime). It was shown that turbulent premixed flame propagation was an order-of-magnitude too slow to stabilise the flame at these conditions. Stabilisation was identified to be due to ignition events resulting from turbulent mixing of fuel from the jet into mean recirculation of very lean hot products. Ignition events were found to correlate with shear-driven Kelvin-Helmholtz vortices, and increased in likelihood with streamwise distance. At the flame base, isolated events were observed, which developed into rapidly burning flame kernels that were blown downstream. Further downstream, near-simultaneous spatially-distributed ignition events were observed, which appeared more like ignition sheets. The paper concludes with a broader discussion that considers generalising from the conditions considered here.


title: Non-LTE Monte Carlo Radiative Transfer. III. The thermal properties of Tilted and Warped Be Star Discs

abstract: We use the three-dimensional Monte Carlo radiative transfer code HDUST to model Be stars where the disc is tilted from the equatorial plane of the star. We compute 128 models across 4 spectral types, B0, B2, B5 and B8, tilting the disc by $0^o$, $10^o$, $20^o$, and $40^o$, while varying disc density according to spectral type. We also compute every model for an average and high stellar rotation rate. We first discuss non-tilted disc temperatures and show its non-linear dependence on stellar and disc parameters. We find that tilting the disc minimally affects the density-weighted average disc temperature, but tilting does create a temperature asymmetry in disc cross sections, which is more pronounced for a faster rotation rate. We also investigate the effect tilting has on $V$-band magnitude, polarization, and the H$\alpha$ line. Tilting the disc does affect these observables, but the changes are entirely dependent on the position of the observer relative to the direction of tilt. We find the observables that distinguish tilting from a change in density or geometry are the H$\alpha$ line shape, where it can transition between single-peaked and double-peaked, and the polarization position angle, whose value is dependent on the projected major elongation axis of the disc on the sky. We also present one early and one late-type model with warped discs. We find their temperature structure varies a small amount from the uniformly tilted models, and the different observables correspond to different tilt angles, consistent with their expected volume of origin within the disc.


title: Normal coactions extend to the C*-envelope

abstract: We show that a normal coaction of a discrete group on an operator algebra extends to a normal coaction on the C*-envelope. This resolves an open problem considered by Kakariadis, Katsoulis, Laca, and X. Li, and provides an elementary proof of a prominent result of Sehnem. As an application, we resolve a question of Li by identifying the C*-envelope of the operator algebra arising from a groupoid-embeddable category and of cancellative right LCM monoids. This latter class includes many examples of monoids that are not group-embeddable.


title: Graph topological transformations in space-filling cell aggregates

abstract: Cell rearrangements are fundamental mechanisms driving large-scale deformations of living tissues. In three-dimensional (3D) space-filling cell aggregates, cells rearrange through local topological transitions of the network of cell-cell interfaces, which is most conveniently described by the vertex model. Since these transitions are not yet mathematically properly formulated, the 3D vertex model is generally difficult to implement. The few existing implementations rely on highly customized and complex software-engineering solutions, which cannot be transparently delineated and are thus mostly non-reproducible. To solve this outstanding problem, we propose a reformulation of the vertex model. Our approach, called Graph Vertex Model (GVM), is based on storing the topology of the cell network into a knowledge graph with a particular data structure that allows performing cell-rearrangement events by simple graph transformations. Importantly, when these same transformations are applied to a two-dimensional (2D) polygonal cell aggregate, they reduce to a well-known T1 transition, thereby generalizing cell-rearrangements in 2D and 3D space-filling packings. This result suggests that the GVM's graph data structure may be the most natural representation of cell aggregates and tissues. We also develop a Python package that implements GVM, relying on a graph-database-management framework Neo4j. We use this package to characterize an order-disorder transition in 3D cell aggregates, driven by active noise and we find aggregates undergoing efficient ordering close to the transition point. In all, our work showcases knowledge graphs as particularly suitable data models for structured storage, analysis, and manipulation of tissue data.


title: Detecting Violations of Differential Privacy for Quantum Algorithms

abstract: Quantum algorithms for solving a wide range of practical problems have been proposed in the last ten years, such as data search and analysis, product recommendation, and credit scoring. The concern about privacy and other ethical issues in quantum computing naturally rises up. In this paper, we define a formal framework for detecting violations of differential privacy for quantum algorithms. A detection algorithm is developed to verify whether a (noisy) quantum algorithm is differentially private and automatically generate bugging information when the violation of differential privacy is reported. The information consists of a pair of quantum states that violate the privacy, to illustrate the cause of the violation. Our algorithm is equipped with Tensor Networks, a highly efficient data structure, and executed both on TensorFlow Quantum and TorchQuantum which are the quantum extensions of famous machine learning platforms -- TensorFlow and PyTorch, respectively. The effectiveness and efficiency of our algorithm are confirmed by the experimental results of almost all types of quantum algorithms already implemented on realistic quantum computers, including quantum supremacy algorithms (beyond the capability of classical algorithms), quantum machine learning models, quantum approximate optimization algorithms, and variational quantum eigensolvers with up to 21 quantum bits.


title: ABC Easy as 123: A Blind Counter for Exemplar-Free Multi-Class Class-agnostic Counting

abstract: Class-agnostic counting methods enumerate objects of an arbitrary class, providing tremendous utility in many fields. Prior works have limited usefulness as they require either a set of examples of the type to be counted or that the image contains only a single type of object. A significant factor in these shortcomings is the lack of a dataset to properly address counting in settings with more than one kind of object present. To address these issues, we propose the first Multi-class, Class-Agnostic Counting dataset (MCAC) and A Blind Counter (ABC123), a method that can count multiple types of objects simultaneously without using examples of type during training or inference. ABC123 introduces a new paradigm where instead of requiring exemplars to guide the enumeration, examples are found after the counting stage to help a user understand the generated outputs. We show that ABC123 outperforms contemporary methods on MCAC without the requirement of human in-the-loop annotations. We also show that this performance transfers to FSC-147, the standard class-agnostic counting dataset.


title: Non-linear dimension reduction in factor-augmented vector autoregressions

abstract: This paper introduces non-linear dimension reduction in factor-augmented vector autoregressions to analyze the effects of different economic shocks. I argue that controlling for non-linearities between a large-dimensional dataset and the latent factors is particularly useful during turbulent times of the business cycle. In simulations, I show that non-linear dimension reduction techniques yield good forecasting performance, especially when data is highly volatile. In an empirical application, I identify a monetary policy as well as an uncertainty shock excluding and including observations of the COVID-19 pandemic. Those two applications suggest that the non-linear FAVAR approaches are capable of dealing with the large outliers caused by the COVID-19 pandemic and yield reliable results in both scenarios.


title: High-throughput screening of coherent topologically close-packed precipitates in hexagonal close-packed metallic systems

abstract: The nanoscale, coherent topologically close-packed (TCP) precipitate plates in magnesium alloys are found beneficial to the strength and creep resistance of alloys. However, the conventional trial-and-error method is too time-consuming and costly, which impedes the application of TCP precipitates to hcp-based metallic alloys. Here, we systematically screen the potential coherent TCP precipitate plates in the three most common hcp alloys, magnesium (Mg), titanium (Ti), and zirconium (Zr) alloys, using an efficient high-throughput screening methodology. Our findings indicate that the hcp-to-TCP structural transformations readily occur in Mg alloys, leading to abundant precipitation of TCP plates. However, hcp-Ti and Zr alloys exhibit a preference for hcp-to-bcc structural transformations, rather than the in situ precipitation of TCP plates. These screening results are largely consistent with experimental observations. The insights gained contribute to a deeper understanding of precipitation behavior in various hcp-based alloys at the atomic level and provide insightful reference results for designing novel alloys containing TCP phases.


title: FaNS: a Facet-based Narrative Similarity Metric

abstract: Similar Narrative Retrieval is a crucial task since narratives are essential for explaining and understanding events, and multiple related narratives often help to create a holistic view of the event of interest. To accurately identify semantically similar narratives, this paper proposes a novel narrative similarity metric called Facet-based Narrative Similarity (FaNS), based on the classic 5W1H facets (Who, What, When, Where, Why, and How), which are extracted by leveraging the state-of-the-art Large Language Models (LLMs). Unlike existing similarity metrics that only focus on overall lexical/semantic match, FaNS provides a more granular matching along six different facets independently and then combines them. To evaluate FaNS, we created a comprehensive dataset by collecting narratives from AllSides, a third-party news portal. Experimental results demonstrate that the FaNS metric exhibits a higher correlation (37\% higher) than traditional text similarity metrics that directly measure the lexical/semantic match between narratives, demonstrating its effectiveness in comparing the finer details between a pair of narratives.


title: Correcting sampling biases via importance reweighting for spatial modeling

abstract: In machine learning models, the estimation of errors is often complex due to distribution bias, particularly in spatial data such as those found in environmental studies. We introduce an approach based on the ideas of importance sampling to obtain an unbiased estimate of the target error. By taking into account difference between desirable error and available data, our method reweights errors at each sample point and neutralizes the shift. Importance sampling technique and kernel density estimation were used for reweighteing. We validate the effectiveness of our approach using artificial data that resemble real-world spatial datasets. Our findings demonstrate advantages of the proposed approach for the estimation of the target error, offering a solution to a distribution shift problem. Overall error of predictions dropped from 7% to just 2% and it gets smaller for larger samples.


title: Few-Shot Medical Image Segmentation via a Region-enhanced Prototypical Transformer

abstract: Automated segmentation of large volumes of medical images is often plagued by the limited availability of fully annotated data and the diversity of organ surface properties resulting from the use of different acquisition protocols for different patients. In this paper, we introduce a more promising few-shot learning-based method named Region-enhanced Prototypical Transformer (RPT) to mitigate the effects of large intra-class diversity/bias. First, a subdivision strategy is introduced to produce a collection of regional prototypes from the foreground of the support prototype. Second, a self-selection mechanism is proposed to incorporate into the Bias-alleviated Transformer (BaT) block to suppress or remove interferences present in the query prototype and regional support prototypes. By stacking BaT blocks, the proposed RPT can iteratively optimize the generated regional prototypes and finally produce rectified and more accurate global prototypes for Few-Shot Medical Image Segmentation (FSMS). Extensive experiments are conducted on three publicly available medical image datasets, and the obtained results show consistent improvements compared to state-of-the-art FSMS methods. The source code is available at: https://github.com/YazhouZhu19/RPT.


title: The FAST Galactic Plane Pulsar Snapshot survey: IV. Discovery of five fast radio bursts

abstract: We report five new fast radio bursts (FRBs) discovered from the Galactic Plane Pulsar Snapshot (GPPS) survey by the Five-hundred-meter Aperture Spherical radio Telescope (FAST): FRB\,20210126, FRB\,20210208, FRB\,20210705, FRB\,20211005 and FRB\,20220306. To date, no repeating bursts from these FRB sources have been detected in the follow-up monitoring observations, leading to their classification as potential one-off events. We obtain the basic parameters for these bursts, including position, dispersion measure (DM), pulse width, spectral index, scattering time-scale, etc. The fluences and flux densities are generally lower in comparison to the values observed in one-off bursts discovered by other telescopes. Among the observed bursts, polarization data for 4 bursts were recorded during observations. Consequently, we obtain polarization profiles and Faraday rotation measures (RMs) for these bursts.


title: Neurons in Large Language Models: Dead, N-gram, Positional

abstract: We analyze a family of large language models in such a lightweight manner that can be done on a single GPU. Specifically, we focus on the OPT family of models ranging from 125m to 66b parameters and rely only on whether an FFN neuron is activated or not. First, we find that the early part of the network is sparse and represents many discrete features. Here, many neurons (more than 70% in some layers of the 66b model) are "dead", i.e. they never activate on a large collection of diverse data. At the same time, many of the alive neurons are reserved for discrete features and act as token and n-gram detectors. Interestingly, their corresponding FFN updates not only promote next token candidates as could be expected, but also explicitly focus on removing the information about triggering them tokens, i.e., current input. To the best of our knowledge, this is the first example of mechanisms specialized at removing (rather than adding) information from the residual stream. With scale, models become more sparse in a sense that they have more dead neurons and token detectors. Finally, some neurons are positional: them being activated or not depends largely (or solely) on position and less so (or not at all) on textual data. We find that smaller models have sets of neurons acting as position range indicators while larger models operate in a less explicit manner.


title: FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate Representations

abstract: While the majority of existing pre-trained models from code learn source code features such as code tokens and abstract syntax trees, there are some other works that focus on learning from compiler intermediate representations (IRs). Existing IR-based models typically utilize IR features such as instructions, control and data flow graphs (CDFGs), call graphs, etc. However, these methods confuse variable nodes and instruction nodes in a CDFG and fail to distinguish different types of flows, and the neural networks they use fail to capture long-distance dependencies and have over-smoothing and over-squashing problems. To address these weaknesses, we propose FAIR, a Flow type-Aware pre-trained model for IR that involves employing (1) a novel input representation of IR programs; (2) Graph Transformer to address over-smoothing, over-squashing and long-dependencies problems; and (3) five pre-training tasks that we specifically propose to enable FAIR to learn the semantics of IR tokens, flow type information, and the overall representation of IR. Experimental results show that FAIR can achieve state-of-the-art results on four code-related downstream tasks.


title: Hermitian duals and generic representations for affine Hecke algebras

abstract: We further develop the abstract representation theory of affine Hecke algebras with arbitrary positive parameters. We establish analogues of several results that are known for reductive p-adic groups. These include: the relation between parabolic induction/restriction and Hermitian duals, Bernstein's second adjointness and generalizations of the Langlands classification. We check that, in the known cases of equivalences between module categories of affine Hecke algebras and Bernstein blocks for reductive p-adic groups, such equivalences preserve Hermitian duality. We also initiate the study of generic representation of affine Hecke algebras. Based on an analysis of the Hecke algebras associated to generic Bernstein blocks for quasi-split reductive p-adic groups, we propose a fitting definition of genericity for modules over affine Hecke algebras. With that notion we prove special cases of the generalized injectivity conjecture, about generic subquotients of standard modules for affine Hecke algebras.


title: Algebraic characterisation of the category of cobordisms of 2-dimensional CW-complexes and the Andrews-Curtis conjecture

abstract: We prove that $S^1$ is a unimodular, cocommutative Hopf algebra in the category $CW^{1+1}$ of 2-equivalence classes of cobordisms of 2-dimensional CW-complexes and that $CW^{1+1}$ is actually equivalent to the symmetric monoidal category freely generated by such Hopf algebra. Moreover, we show that the algebraic structure the category ${\cal C}hb^{3+1}$ of cobordisms of orientable relative 4-dimensional 2-handlebody cobordisms up to 2-deformations described in \cite{BP12}, is a refinement of the algebraic structure of their spines.


title: Global Convergence of Receding-Horizon Policy Search in Learning Estimator Designs

abstract: We introduce the receding-horizon policy gradient (RHPG) algorithm, the first PG algorithm with provable global convergence in learning the optimal linear estimator designs, i.e., the Kalman filter (KF). Notably, the RHPG algorithm does not require any prior knowledge of the system for initialization and does not require the target system to be open-loop stable. The key of RHPG is that we integrate vanilla PG (or any other policy search directions) into a dynamic programming outer loop, which iteratively decomposes the infinite-horizon KF problem that is constrained and non-convex in the policy parameter into a sequence of static estimation problems that are unconstrained and strongly-convex, thus enabling global convergence. We further provide fine-grained analyses of the optimization landscape under RHPG and detail the convergence and sample complexity guarantees of the algorithm. This work serves as an initial attempt to develop reinforcement learning algorithms specifically for control applications with performance guarantees by utilizing classic control theory in both algorithmic design and theoretical analyses. Lastly, we validate our theories by deploying the RHPG algorithm to learn the Kalman filter design of a large-scale convection-diffusion model. We open-source the code repository at \url{https://github.com/xiangyuan-zhang/LearningKF}.

categories: math.OC cs.AI cs.LG cs.SY eess.SY math.DS


title: The unintegrated gluon distribution from the GBW and BGK models

abstract: The gluon distribution is obtained from the Golec-Biernat-W$\ddot{\mathrm{u}}$sthoff (GBW) and Bartels, Golec-Biernat and Kowalski (BGK) models at low $x$. We derive analytical results for the unintegrated color dipole gluon distribution function at small transverse momentum, which provides useful information to constrain the $k_{t}$-shape of the unintegrated gluon distribution in comparison with the unintegrated gluon distribution (UGD) models. The longitudinal proton structure function $F_{L}(x,Q^2)$ from the $k_{t}$ factorization scheme, using the unintegrated gluon density is computed. We compare the predictions for the on-shell and twist-2 corrections with the HERA data and the CJ15 parametrization method for $F_{L}$. We show that this method is very well described the experimental data within the on-shell and twist-2 framework. Effects of parameters on $F_{L}$, where charm contribution is taken into account, are investigated. These results are in good agreement with the data at fixed $W$.


title: The Effectiveness of Security Interventions on GitHub

abstract: In 2017, GitHub was the first online open source platform to show security alerts to its users. It has since introduced further security interventions to help developers improve the security of their open source software. In this study, we investigate and compare the effects of these interventions. This offers a valuable empirical perspective on security interventions in the context of software development, enriching the predominantly qualitative and survey-based literature landscape with substantial data-driven insights. We conduct a time series analysis on security-altering commits covering the entire history of a large-scale sample of over 50,000 GitHub repositories to infer the causal effects of the security alert, security update, and code scanning interventions. Our analysis shows that while all of GitHub's security interventions have a significant positive effect on security, they differ greatly in their effect size. By comparing the design of each intervention, we identify the building blocks that worked well and those that did not. We also provide recommendations on how practitioners can improve the design of their interventions to enhance their effectiveness.


title: Particle-in-cell simulations of pulsar magnetospheres: transition between electrosphere and force-free regimes

abstract: Global particle-in-cell (PIC) simulations of pulsar magnetospheres are performed with a volume, surface and pair production-based plasma injection schemes to systematically investigate the transition between electrosphere and force-free pulsar magnetospheric regimes. A new extension of the PIC code OSIRIS to model pulsar magnetospheres using a two-dimensional axisymmetric spherical grid is presented. The sub-algorithms of the code and thorough benchmarks are presented in detail, including a new first-order current deposition scheme that conserves charge to machine precision. It is shown that all plasma injection schemes produce a range of magnetospheric regimes. Active solutions can be obtained with surface and volume injection schemes when using artificially large plasma injection rates, and with pair production-based plasma injection for sufficiently large separation between kinematic and pair production energy scales.


title: High-speed metasurface modulator using critically coupled bimodal plasmonic resonance

abstract: Free-space electro-optic (EO) modulators operating at gigahertz and beyond are attractive for a wide range of emerging applications, including high-speed imaging, free-space optical communication, microwave photonics, and diffractive computing. Here we experimentally demonstrate a high-speed plasmonic metasurface EO modulator operating at a near-infrared wavelength range with a gigahertz modulation bandwidth. To achieve efficient intensity modulation of reflected light from an ultrathin metasurface layer, we utilize the bimodal plasmonic resonance inside a subwavelength metal-insulator-metal grating, which is precisely tuned to satisfy the critical coupling condition. As a result, perfect absorption of -27 dB (99.8%) and a high quality (Q) factor of 113 are obtained at a resonant wavelength of 1650 nm. By incorporating an EO polymer inside the grating, we achieve a modulation depth of up to 9.5 dB under an applied voltage of $\pm$30 V. The 3-dB modulation bandwidth is confirmed to be 1.25 GHz, which is primarily limited by the undesired contact resistance. Owing to the high electrical conductivity of metallic gratings and a compact device structure with a minimal parasitic capacitance, the demonstrated device can potentially operate at several tens of gigahertz, which opens up exciting opportunities for ultrahigh-speed active metasurface devices in various applications.


title: Neural Semantic Surface Maps

abstract: We present an automated technique for computing a map between two genus-zero shapes, which matches semantically corresponding regions to one another. Lack of annotated data prohibits direct inference of 3D semantic priors; instead, current State-of-the-art methods predominantly optimize geometric properties or require varying amounts of manual annotation. To overcome the lack of annotated training data, we distill semantic matches from pre-trained vision models: our method renders the pair of 3D shapes from multiple viewpoints; the resulting renders are then fed into an off-the-shelf image-matching method which leverages a pretrained visual model to produce feature points. This yields semantic correspondences, which can be projected back to the 3D shapes, producing a raw matching that is inaccurate and inconsistent between different viewpoints. These correspondences are refined and distilled into an inter-surface map by a dedicated optimization scheme, which promotes bijectivity and continuity of the output map. We illustrate that our approach can generate semantic surface-to-surface maps, eliminating manual annotations or any 3D training data requirement. Furthermore, it proves effective in scenarios with high semantic complexity, where objects are non-isometrically related, as well as in situations where they are nearly isometric.


title: HAct: Out-of-Distribution Detection with Neural Net Activation Histograms

abstract: We propose a simple, efficient, and accurate method for detecting out-of-distribution (OOD) data for trained neural networks. We propose a novel descriptor, HAct - activation histograms, for OOD detection, that is, probability distributions (approximated by histograms) of output values of neural network layers under the influence of incoming data. We formulate an OOD detector based on HAct descriptors. We demonstrate that HAct is significantly more accurate than state-of-the-art in OOD detection on multiple image classification benchmarks. For instance, our approach achieves a true positive rate (TPR) of 95% with only 0.03% false-positives using Resnet-50 on standard OOD benchmarks, outperforming previous state-of-the-art by 20.67% in the false positive rate (at the same TPR of 95%). The computational efficiency and the ease of implementation makes HAct suitable for online implementation in monitoring deployed neural networks in practice at scale.


title: Malle's conjecture for fair counting functions

abstract: We show that the naive adaptation of Malle's conjecture to fair counting functions is not true in general.


title: Safe Control of Euler-Lagrange Systems with Limited Model Information

abstract: This paper presents a new safe control framework for Euler-Lagrange (EL) systems with limited model information, external disturbances, and measurement uncertainties. The EL system is decomposed into two subsystems called the proxy subsystem and the virtual tracking subsystem. An adaptive safe controller based on barrier Lyapunov functions is designed for the virtual tracking subsystem to ensure the boundedness of the safe velocity tracking error, and a safe controller based on control barrier functions is designed for the proxy subsystem to ensure controlled invariance of the safe set defined either in the joint space or task space. Theorems that guarantee the safety of the proposed controllers are provided. In contrast to existing safe control strategies for EL systems, the proposed method requires much less model information and can ensure safety rather than input-to-state safety. Simulation results are provided to illustrate the effectiveness of the proposed method.


title: AnyPose: Anytime 3D Human Pose Forecasting via Neural Ordinary Differential Equations

abstract: Anytime 3D human pose forecasting is crucial to synchronous real-world human-machine interaction, where the term ``anytime" corresponds to predicting human pose at any real-valued time step. However, to the best of our knowledge, all the existing methods in human pose forecasting perform predictions at preset, discrete time intervals. Therefore, we introduce AnyPose, a lightweight continuous-time neural architecture that models human behavior dynamics with neural ordinary differential equations. We validate our framework on the Human3.6M, AMASS, and 3DPW dataset and conduct a series of comprehensive analyses towards comparison with existing methods and the intersection of human pose and neural ordinary differential equations. Our results demonstrate that AnyPose exhibits high-performance accuracy in predicting future poses and takes significantly lower computational time than traditional methods in solving anytime prediction tasks.


title: Fast Simulation of High-Depth QAOA Circuits

abstract: Until high-fidelity quantum computers with a large number of qubits become widely available, classical simulation remains a vital tool for algorithm design, tuning, and validation. We present a simulator for the Quantum Approximate Optimization Algorithm (QAOA). Our simulator is designed with the goal of reducing the computational cost of QAOA parameter optimization and supports both CPU and GPU execution. Our central observation is that the computational cost of both simulating the QAOA state and computing the QAOA objective to be optimized can be reduced by precomputing the diagonal Hamiltonian encoding the problem. We reduce the time for a typical QAOA parameter optimization by eleven times for $n = 26$ qubits compared to a state-of-the-art GPU quantum circuit simulator based on cuQuantum. Our simulator is available on GitHub: https://github.com/jpmorganchase/QOKit


title: Leveraging Large Language Models for Exploiting ASR Uncertainty

abstract: While large language models excel in a variety of natural language processing (NLP) tasks, to perform well on spoken language understanding (SLU) tasks, they must either rely on off-the-shelf automatic speech recognition (ASR) systems for transcription, or be equipped with an in-built speech modality. This work focuses on the former scenario, where LLM's accuracy on SLU tasks is constrained by the accuracy of a fixed ASR system on the spoken input. Specifically, we tackle speech-intent classification task, where a high word-error-rate can limit the LLM's ability to understand the spoken intent. Instead of chasing a high accuracy by designing complex or specialized architectures regardless of deployment costs, we seek to answer how far we can go without substantially changing the underlying ASR and LLM, which can potentially be shared by multiple unrelated tasks. To this end, we propose prompting the LLM with an n-best list of ASR hypotheses instead of only the error-prone 1-best hypothesis. We explore prompt-engineering to explain the concept of n-best lists to the LLM; followed by the finetuning of Low-Rank Adapters on the downstream tasks. Our approach using n-best lists proves to be effective on a device-directed speech detection task as well as on a keyword spotting task, where systems using n-best list prompts outperform those using 1-best ASR hypothesis; thus paving the way for an efficient method to exploit ASR uncertainty via LLMs for speech-based applications.


title: DeRi-IGP: Manipulating Rigid Objects Using Deformable Objects via Iterative Grasp-Pull

abstract: Heterogeneous systems manipulation, i.e., manipulating rigid objects via deformable (soft) objects, is an emerging field that remains in its early stages of research. Existing works in this field suffer from limited action and operational space, poor generalization ability, and expensive development. To address these challenges, we propose a universally applicable and effective moving primitive, Iterative Grasp-Pull (IGP), and a sample-based framework, DeRi-IGP, to solve the heterogeneous system manipulation task. The DeRi-IGP framework uses local onboard robots' RGBD sensors to observe the environment, comprising a soft-rigid body system. It then uses this information to iteratively grasp and pull a soft body (e.g., rope) to move the attached rigid body to a desired location. We evaluate the effectiveness of our framework in solving various heterogeneous manipulation tasks and compare its performance with several state-of-the-art baselines. The result shows that DeRi-IGP outperforms other methods by a significant margin. We also evaluate the sim-to-real generalization of our framework through real-world human-robot collaborative goal-reaching and distant object acquisition tasks. Our framework successfully transfers to the real world and demonstrates the advantage of the large operational space of the IGP primitive.


title: Are NH$_3$ and CO$_2$ ice present on Miranda?

abstract: Published near-infrared spectra of the four largest classical Uranian satellites display the presence of discrete deposits of CO$_2$ ice, along with subtle absorption features around 2.2 $\mu$m. The two innermost satellites, Miranda and Ariel, also possess surfaces heavily modified by past endogenic activity. Previous observations of the smallest satellite, Miranda, have not detected the presence of CO$_2$ ice, and a report of an absorption feature at 2.2 $\mu$m has not been confirmed. An absorption feature at 2.2 $\mu$m could result from exposed or emplaced NH$_3$- or NH$_4$-bearing species, which have a limited lifetime on Miranda's surface, and therefore may imply that Miranda's internal activity was relatively recent. In this work, we analyzed near-infrared spectra of Miranda to determine whether CO$_2$ ice and the 2.2-$\mu$m feature are present. We measured the band area and depth of the CO$_2$ ice triplet (1.966, 2.012, and 2.070 $\mu$m), a weak 2.13-$\mu$m band attributed to CO$_2$ ice mixed with H$_2$O ice, and the 2.2-$\mu$m band. We confirmed a prior detection of a 2.2-$\mu$m band on Miranda, but we found no evidence for CO$_2$ ice, either as discrete deposits or mixed with H$_2$O ice. We compared a high signal-to-noise spectrum of Miranda to synthetic and laboratory spectra of various candidate compounds to shed light on what species may be responsible for the 2.2-$\mu$m band. We conclude that the 2.2-$\mu$m absorption is best matched by a combination of NH$_3$ ice with NH$_3$-hydrates or NH$_3$-H$_2$O mixtures. NH$_4$-bearing salts like NH$_4$Cl are also promising candidates that warrant further investigation.


title: Classical Model for Broadband Squeezed Vacuum Driving Two-Photon Absorption or Sum Frequency Generation

abstract: We address theoretically the question of classical stochastic fields mimicking quantum states of light in the context of nonlinear spectroscopy and nonlinear optics, in particular two-photon absorption (TPA) and sum-frequency generation (SFG) driven by weak or bright broadband squeezed vacuum with time-frequency entanglement between photons. Upon using a well-defined but ad hoc subtraction of vacuum-energy terms (renormalization), we find that the classical stochastic model yields exactly the same predictions as the full quantum-field theory for all of the phenomena considered here, in both the low-gain and high-gain regimes of squeezed vacuum. Such predictions include the linear-flux scaling of TPA and SFG rates at low incident photon flux, as well as the dependence of TPA and SHG rates on the relative linewidths of the squeezed light and the ground-to-final-state transition in the material system, and the spectrum of SFG generated by bright squeezed vacuum.


title: Non-commutative Optimal Transport for semi-definite positive matrices

abstract: We introduce the von Neumann entropy regularization of Unbalanced Non-commutative Optimal Transport, specifically Non-commutative Optimal Transport between semi-definite positive matrices (not necessarily with trace one). We prove the existence of a minimizer, compute the weak dual formulation and prove $\Gamma$-convergence results, demonstrating convergence to both Unbalanced Non-commutative Optimal Transport (as the Entropy-regularization parameter tends to zero) and von Neumann entropy regularized Non-commutative Optimal Transport problems (as the unbalanced penalty parameter tends to infinity). To draw an analogy to the Non-commutative case, we provide a concise introduction of the static formulation of Unbalanced Optimal Transport between positive measures and bounded cost


title: Statistics of the cuprate pairon states on a square lattice

abstract: In this paper the fundamental parameters of high-$T_c$ superconductivity are shown to be connected to the statistics of pairons (hole pairs in their antiferromagnetic environment) on a square lattice. In particular, we study the density fluctuations and the distribution of the area surrounding each pairon on the scale of the antiferromagnetic correlation length $\xi_{AF}$, for the complete range of hole concentration. We show that the key parameters of the phase diagram, the $T_c$ dome, and the pseudogap temperature $T^*$, emerge from the statistical properties of the pairon disordered state. In this approach, the superconducting and the pseudogap states appear as inseparable phenomena. The condensation energy, which fixes the critical temperature, is directly proportional to the {\it correlation energy} between pairons and {\it not} to the energy gap, contrary to conventional superconductors. When the correlation energy between pairons is suppressed by fluctuations, either thermally, by disorder, or in the vortex core, the pseudogap state of disordered pairons is obtained. We attribute the unique features of cuprate superconductivity to this order-disorder transition in real space, which clearly differs from the BCS mechanism. Our predictions are in quantitative agreement with low-temperature tunneling and photoemission spectroscopy experiments.