title: Verification of Multi-Agent Properties in Electronic Voting: A Case Study

abstract: Formal verification of multi-agent systems is hard, both theoretically and in practice. In particular, studies that use a single verification technique typically show limited efficiency, and allow to verify only toy examples. Here, we propose some new techniques and combine them with several recently developed ones to see what progress can be achieved for a real-life scenario. Namely, we use fixpoint approximation, domination-based strategy search, partial order reduction, and parallelization to verify heterogeneous scalable models of the Selene e-voting protocol. The experimental results show that the combination allows to verify requirements for much more sophisticated models than previously.


title: A statistical significance testing approach for measuring term burstiness with applications to domain-specific terminology extraction

abstract: A term in a corpus is said to be ``bursty'' (or overdispersed) when its occurrences are concentrated in few out of many documents. In this paper, we propose Residual Inverse Collection Frequency (RICF), a statistical significance test inspired heuristic for quantifying term burstiness. The chi-squared test is, to our knowledge, the sole test of statistical significance among existing term burstiness measures. Chi-squared test term burstiness scores are computed from the collection frequency statistic (i.e., the proportion that a specified term constitutes in relation to all terms within a corpus). However, the document frequency of a term (i.e., the proportion of documents within a corpus in which a specific term occurs) is exploited by certain other widely used term burstiness measures. RICF addresses this shortcoming of the chi-squared test by virtue of its term burstiness scores systematically incorporating both the collection frequency and document frequency statistics. We evaluate the RICF measure on a domain-specific technical terminology extraction task using the GENIA Term corpus benchmark, which comprises 2,000 annotated biomedical article abstracts. RICF generally outperformed the chi-squared test in terms of precision at k score with percent improvements of 0.00% (P@10), 6.38% (P@50), 6.38% (P@100), 2.27% (P@500), 2.61% (P@1000), and 1.90% (P@5000). Furthermore, RICF performance was competitive with the performances of other well-established measures of term burstiness. Based on these findings, we consider our contributions in this paper as a promising starting point for future exploration in leveraging statistical significance testing in text analysis.


title: Results from SND@LHC

abstract: SND@LHC is a compact and stand-alone experiment to perform measurements with neutrinos produced at the LHC in a hitherto unexplored pseudo-rapidity region of $7.2 < \eta < 8.4$, complementary to all the other experiments at the LHC. The experiment is located 480 m downstream of IP1 in the unused TI18 tunnel. The detector is composed of a hybrid system based on an 800 kg target mass of tungsten plates, interleaved with emulsion and electronic trackers, followed downstream by a calorimeter and a muon system. The configuration allows efficiently distinguishing between all three neutrino flavours, opening a unique opportunity to probe physics of heavy flavour production at the LHC in the region that is not accessible to ATLAS, CMS and LHCb. SND@LHC has started taking data in 2022 and in this work the direct observation of muon neutrino interaction in the detector is reported.


title: Three dimensional quotient singularity and 4d $\mathcal{N}=1$ AdS/CFT correspondence

abstract: We systematically study the AdS/CFT correspondence induced by D3 branes probing three dimensional Gorenstein quotient singularity $\mathbb{C}^3/G$. The field theory is given by the McKay quiver, which has a vanishing NSVZ beta function assuming that all the chiral fields have the $U(1)_R$ charge $\frac{2}{3}$. Various physical quantities such as quiver Hilbert series, superconformal index, central charges, etc are computed, which match exactly with those computed using the singularity. We also study the relevant deformation of those theories and find the dual geometry, therefore generate many new interesting AdS/CFT pairs. The quiver gauge theory defined using finite subgroups of $SO(3)$ group has some interesting features, for example, its Seiberg duality behavior is quite interesting.


title: Improving generalization in large language models by learning prefix subspaces

abstract: This article focuses on large language models (LLMs) fine-tuning in the scarce data regime (also known as the "few-shot" learning setting). We propose a method to increase the generalization capabilities of LLMs based on neural network subspaces. This optimization method, recently introduced in computer vision, aims to improve model generalization by identifying wider local optima through the joint optimization of an entire simplex of models in parameter space. Its adaptation to massive, pretrained transformers, however, poses some challenges. First, their considerable number of parameters makes it difficult to train several models jointly, and second, their deterministic parameter initialization schemes make them unfit for the subspace method as originally proposed. We show in this paper that "Parameter Efficient Fine-Tuning" (PEFT) methods, however, are perfectly compatible with this original approach, and propose to learn entire simplex of continuous prefixes. We test our method on a variant of the GLUE benchmark adapted to the few-shot learning setting, and show that both our contributions jointly lead to a gain in average performances compared to sota methods. The implementation can be found at the following link: https://github.com/Liloulou/prefix_subspace


title: Numerical Derivative-based Flexible Integration Algorithm for Power Electronic Systems Simulation Considering Nonlinear Components

abstract: Simulation is an efficient tool in the design and control of power electronic systems. However, quick and accurate simulation of them is still challenging, especially when the system contains a large number of switches and state variables. Conventional general-purpose integration algorithms assume nonlinearity within systems but face inefficiency in handling the piecewise characteristics of power electronic switches. While some specialized algorithms can adapt to the piecewise characteristics, most of these methods require systems to be piecewise linear. In this article, a numerical derivative-based flexible integration algorithm is proposed. This algorithm can adapt to the piecewise characteristic caused by switches and have no difficulty when nonlinear non-switching components are present in the circuit. This algorithm consists of a recursive numerical scheme that obtains high-order time derivatives of nonlinear components and a decoupling strategy that further increases computational efficiency. The proposed method is applied to solve a motor derive system and a large-scale power conversion system (PCS) to verify its accuracy and efficiency by comparing experimental waveforms and simulated results given by commercial software. Our proposed method demonstrates several-fold acceleration compared to multiple commonly used algorithms in Simulink.


title: Thermodynamics sheds light on the nature of dark matter galactic halos

abstract: Today it is understood that our universe would not be the same without dark matter, which apparently has given rise to the formation of galaxies, stars and planets. Its existence is inferred mainly from the gravitational effect on the rotation curves of stars in spiral galaxies. The nature of dark matter remains unknown. Here we show that the dark matter halo is in a state of Bose-Einstein condensation, or at least the central region is. By using fittings of observational data, we can put an upper bound on the dark matter particle mass in the order of $12~\,eV/c^2$. We present the temperature profiles of galactic dark matter halos by considering that dark matter can be treated as a classical ideal gas, as an ideal Fermi gas, or as an ideal Bose gas. The only free parameter in the matter model is the mass of the dark matter particle. We obtain the temperature profiles by using the rotational velocity profile proposed by Persic, Salucci, and Stel (1996) and assuming that the dark matter halo is a self-gravitating stand-alone structure. From the temperature profiles, we conclude that the classical ideal gas and the ideal Fermi gas are not viable explanations for dark matter, while the ideal Bose gas is if the mass of the particle is low enough. If we take into account the relationship presented by Kormendy and Freeman (2004, 2016), Donato et al. (2009) and Gentile et al. (2009) between central density and core radius then we conclude that the central temperature of dark matter in all galaxies is the same. Remarkably, our results imply that basics thermodynamics principles could shed light on the mysterious nature of dark matter and if this is the case, those principles have to been taken into account in its description.


title: Testing for equivalence of pre-trends in Difference-in-Differences estimation

abstract: The plausibility of the ``parallel trends assumption'' in Difference-in-Differences estimation is usually assessed by a test of the null hypothesis that the difference between the average outcomes of both groups is constant over time before the treatment. However, failure to reject the null hypothesis does not imply the absence of differences in time trends between both groups. We provide equivalence tests that allow researchers to find evidence in favor of the parallel trends assumption and thus increase the credibility of their treatment effect estimates. While we motivate our tests in the standard two-way fixed effects model, we discuss simple extensions to settings in which treatment adoption is staggered over time.


title: Random Entity Quantization for Parameter-Efficient Compositional Knowledge Graph Representation

abstract: Representation Learning on Knowledge Graphs (KGs) is essential for downstream tasks. The dominant approach, KG Embedding (KGE), represents entities with independent vectors and faces the scalability challenge. Recent studies propose an alternative way for parameter efficiency, which represents entities by composing entity-corresponding codewords matched from predefined small-scale codebooks. We refer to the process of obtaining corresponding codewords of each entity as entity quantization, for which previous works have designed complicated strategies. Surprisingly, this paper shows that simple random entity quantization can achieve similar results to current strategies. We analyze this phenomenon and reveal that entity codes, the quantization outcomes for expressing entities, have higher entropy at the code level and Jaccard distance at the codeword level under random entity quantization. Therefore, different entities become more easily distinguished, facilitating effective KG representation. The above results show that current quantization strategies are not critical for KG representation, and there is still room for improvement in entity distinguishability beyond current strategies. The code to reproduce our results is available at https://github.com/JiaangL/RandomQuantization.


title: A general nonuniqueness result for Yamabe-type problems for conformally variational Riemannian invariants

abstract: Given a conformally variational scalar Riemannian invariant $I$, we identify a sufficient condition for a closed Riemannian manifold to admit finite regular coverings with many nonhomothetic conformal rescalings with $I$ constant. We also identify a sufficient condition for the universal cover to admit infinitely many geometrically distinct periodic conformal rescalings with $I$ constant. Using these conditions, we improve known nonuniqueness results for the $Q$-curvatures of orders two, four, and six, and establish nonuniqueness results for higher-order $Q$-curvatures and renormalized volume coefficients.


title: DALE: Generative Data Augmentation for Low-Resource Legal NLP

abstract: We present DALE, a novel and effective generative Data Augmentation framework for low-resource LEgal NLP. DALE addresses the challenges existing frameworks pose in generating effective data augmentations of legal documents - legal language, with its specialized vocabulary and complex semantics, morphology, and syntax, does not benefit from data augmentations that merely rephrase the source sentence. To address this, DALE, built on an Encoder-Decoder Language Model, is pre-trained on a novel unsupervised text denoising objective based on selective masking - our masking strategy exploits the domain-specific language characteristics of templatized legal documents to mask collocated spans of text. Denoising these spans helps DALE acquire knowledge about legal concepts, principles, and language usage. Consequently, it develops the ability to generate coherent and diverse augmentations with novel contexts. Finally, DALE performs conditional generation to generate synthetic augmentations for low-resource Legal NLP tasks. We demonstrate the effectiveness of DALE on 13 datasets spanning 6 tasks and 4 low-resource settings. DALE outperforms all our baselines, including LLMs, qualitatively and quantitatively, with improvements of 1%-50%.


title: Direct Access for Conjunctive Queries with Negation

abstract: Given a conjunctive query $Q$ and a database $\mathbf{D}$, a direct access to the answers of $Q$ over $\mathbf{D}$ is the operation of returning, given an index $j$, the $j^{\mathsf{th}}$ answer for some order on its answers. While this problem is $\#\mathsf{P}$-hard in general with respect to combined complexity, many conjunctive queries have an underlying structure that allows for a direct access to their answers for some lexicographical ordering that takes polylogarithmic time in the size of the database after a polynomial time precomputation. Previous work has precisely characterised the tractable classes and given fine-grained lower bounds on the precomputation time needed depending on the structure of the query. In this paper, we generalise these tractability results to the case of signed conjunctive queries, that is, conjunctive queries that may contain negative atoms. Our technique is based on a class of circuits that can represent relational data. We first show that this class supports tractable direct access after a polynomial time preprocessing. We then give bounds on the size of the circuit needed to represent the answer set of signed conjunctive queries depending on their structure. Both results combined together allow us to prove the tractability of direct access for a large class of conjunctive queries. On the one hand, we recover the known tractable classes from the literature in the case of positive conjunctive queries. On the other hand, we generalise and unify known tractability results about negative conjunctive queries -- that is, queries having only negated atoms. In particular, we show that the class of $\beta$-acyclic negative conjunctive queries and the class of bounded nest set width negative conjunctive queries admit tractable direct access.


title: A Generalized Adjusted Min-Sum Decoder for 5G LDPC Codes: Algorithm and Implementation

abstract: 5G New Radio (NR) has stringent demands on both performance and complexity for the design of low-density parity-check (LDPC) decoding algorithms and corresponding VLSI implementations. Furthermore, decoders must fully support the wide range of all 5G NR blocklengths and code rates, which is a significant challenge. In this paper, we present a high-performance and low-complexity LDPC decoder, tailor-made to fulfill the 5G requirements. First, to close the gap between belief propagation (BP) decoding and its approximations in hardware, we propose an extension of adjusted min-sum decoding, called generalized adjusted min-sum (GA-MS) decoding. This decoding algorithm flexibly truncates the incoming messages at the check node level and carefully approximates the non-linear functions of BP decoding to balance the error-rate and hardware complexity. Numerical results demonstrate that the proposed fixed-point GAMS has only a minor gap of 0.1 dB compared to floating-point BP under various scenarios of 5G standard specifications. Secondly, we present a fully reconfigurable 5G NR LDPC decoder implementation based on GA-MS decoding. Given that memory occupies a substantial portion of the decoder area, we adopt multiple data compression and approximation techniques to reduce 42.2% of the memory overhead. The corresponding 28nm FD-SOI ASIC decoder has a core area of 1.823 mm2 and operates at 895 MHz. It is compatible with all 5G NR LDPC codes and achieves a peak throughput of 24.42 Gbps and a maximum area efficiency of 13.40 Gbps/mm2 at 4 decoding iterations.


title: Nonlinear response theory for lossy superconducting quantum circuits

abstract: We introduce a numerically exact and yet computationally feasible nonlinear response theory developed for lossy superconducting quantum circuits based on a framework of quantum dissipation in a minimally extended state space. Starting from the Feynman--Vernon path integral formalism for open quantum systems with the system degrees of freedom being the nonlinear elements of the circuit, we eliminate the temporally non-local influence functional of all linear elements by introducing auxiliary harmonic modes with complex-valued frequencies coupled to the non-linear degrees of freedom of the circuit. In our work, we propose a concept of time-averaged observables, inspired by experiment, and provide an explicit formula for producing their quasiprobability distribution. Furthermore, we systematically derive a weak-coupling approximation in the presence of a drive, and demonstrate the applicability of our formalism through a study on the dispersive readout of a superconducting qubit. The developed framework enables a comprehensive fully quantum-mechanical treatment of nonlinear quantum circuits coupled to their environment, without the limitations of typical approaches to weak dissipation, high temperature, and weak drive. Furthermore, we discuss the implications of our findings to the quantum measurement theory.


title: Optimal Strategies for Round-Trip Pairs Trading Under Geometric Brownian Motions

abstract: This paper is concerned with an optimal strategy for simultaneously trading a pair of stocks. The idea of pairs trading is to monitor their price movements and compare their relative strength over time. A pairs trade is triggered by the divergence of their prices and consists of a pair of positions to short the strong stock and to long the weak one. Such a strategy bets on the reversal of their price strengths. A round-trip trading strategy refers to opening and closing such a pair of security positions. Typical pairs-trading models usually assume a difference of the stock prices satisfies a mean-reversion equation. However, we consider the optimal pairs-trading problem by allowing the stock prices to follow general geometric Brownian motions. The objective is to trade the pairs over time to maximize an overall return with a fixed commission cost for each transaction. Initially, we allow the initial pairs position to be either long or flat. We then consider the problem when the initial pairs position may be long, flat, or short. In each case, the optimal policy is characterized by threshold curves obtained by solving the associated HJB equations.


title: Unstable independence from the categorical point of view

abstract: We give a category-theoretic construction of simple and NSOP$_1$-like independence relations in locally finitely presentable categories, and in the more general locally finitely multipresentable categories. We do so by identifying properties of a class of monomorphisms $\mathcal{M}$ such that the pullback squares consisting of morphisms in $\mathcal{M}$ form the desired independence relation. This generalizes the category-theoretic construction of stable independence relations using effective unions or cellular squares by M. Lieberman, S. Vasey and the second author to the unstable setting.


title: Equilibrium: Optimization of Ceph Cluster Storage by Size-Aware Shard Balancing

abstract: Worldwide, storage demands and costs are increasing. As a consequence of fault tolerance, storage device heterogenity, and data center specific constraints, optimal storage capacity utilization cannot be achieved with the integrated balancing algorithm of the distributed storage cluster system Ceph. This work presents Equilibrium, a device utilization size-aware shard balancing algorithm. With extensive experiments we demonstrate that our proposed algorithm balances near optimally on real-world clusters with strong available storage capacity improvements while reducing the amount of needed data movement.


title: One-variable fragments of first-order logics

abstract: The one-variable fragment of a first-order logic may be viewed as an "S5-like" modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obtained for special cases -- notably, the modal counterparts S5 and MIPC of the one-variable fragments of first-order classical logic and intuitionistic logic -- but a general approach, extending beyond first-order intermediate logics, has been lacking. To this end, a sufficient criterion is given in this paper for the one-variable fragment of a semantically-defined first-order logic -- spanning families of intermediate, substructural, many-valued, and modal logics -- to admit a natural axiomatization. More precisely, such an axiomatization is obtained for the one-variable fragment of any first-order logic based on a variety of algebraic structures with a lattice reduct that has the superamalgamation property, building on a generalized version of a functional representation theorem for monadic Heyting algebras due to Bezhanishvili and Harding. An alternative proof-theoretic strategy for obtaining such axiomatization results is also developed for first-order substructural logics that have a cut-free sequent calculus and admit a certain interpolation property.


title: Nobeyama Cygnus-X Survey: Physical Properties of C$^{18}$O clumps in DR-6(W), DR-9 and DR-13S regions

abstract: Cygnus-X is considered a region of interest for high-energy astrophysics, since the Cygnus OB2 association has been confirmed as a PeVatron in the Cygnus cocoon. In this research note, we present new high-resolution (16'') $^{12,13}$CO(J=1$\rightarrow$0) and C$^{18}$O (J=1$\rightarrow$0) observations obtained with the Nobeyama 45-m radiotelescope, to complement the Nobeyama Cygnus-X Survey. We discovered 19 new C$^{18}$O clumps associated with the star-forming regions DR-6W, DR-9, and DR13S. We present the physical parameters of these clumps, which are consistent with the neighboring covered regions. We confirm the clumpy nature of these regions and of a filament located between DR6 and DR6W. These results strongly suggest that star formation occurs in these regions with clumps of sizes $\sim$10$^{-1}$ pc, masses $\sim$10$^2$ M$_\odot$, and H$_2$ densities of $\sim$10$^4$ cm$^{-3}$.


title: Dissecting the Performance of Satellite Network Operators

abstract: The rapid growth of satellite network operators (SNOs) has revolutionized broadband communications, enabling global connectivity and bridging the digital divide. As these networks expand, it is important to evaluate their performance and efficiency. This paper presents the first comprehensive study of SNOs. We take an opportunistic approach and devise a methodology which allows to identify public network measurements performed via SNOs. We apply this methodology to both M-Lab and RIPE public datasets which allowed us to characterize low level performance and footprint of up to 18 SNOs operating in different orbits. Finally, we identify and recruit paid testers on three popular SNOs (Starlink, HughesNet, and ViaSat) to evaluate the performance of popular applications like web browsing and video streaming.


title: A presentation for a submonoid of the symmetric inverse monoid

abstract: A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides algebra of that type. This algebra is given by a so-called presentation. In the present paper, we deal with an important class of algebras of type $(2)$, namely with semigroups of transformations on a finite set. Here, we are particularly interested in a presentation of a submonoid of the symmetric inverse monoid $I_n$. Our main result is a presentations for $IOF_n^{par}$, the monoid of all order-preserving, fence-preserving, and parity-preserving transformations on an $n$-element set.


title: Cutoff for the Glauber-Exclusion process in the full high-temperature regime: an information percolation approach

abstract: The Glauber-Exclusion process is a superposition of a Glauber dynamics and the Symmetric Simple Exclusion Process (SSEP) on the lattice. The model was shown to admit a reaction-diffusion equation as the hydrodynamic limit. In this article, we define a notion of temperature regimes via the reaction function in the equation and prove cutoff in the full high-temperature regime for the attractive model in dimensions $1$ and $2$ with periodic boundary condition. Our results show that the equation in the hydrodynamic limit reflects the mixing behavior of the large but finite system. Besides, cutoff is proved under the lack of reversibility and an explicit formula for the invariant measure. We also provide the spectral gap and prove pre-cutoff in all dimensions. Our proof involves a new interpretation of attractiveness, the information percolation framework introduced by Lubetzky and Sly, anti-concentration of simple random walk on the lattice, and a coupling inspired by excursion theory. We hope that this approach can find new applications in the future.


title: Monte Carlo study on low-temperature phase diagrams of the $J_1$-$J_2$ classical $XY$ kagome antiferromagnet

abstract: Frustrated magnets with degenerate ground states exhibit exotic ground states and rich phase structures when perturbations and/or thermal fluctuations lift the degeneracy. In two-dimensional models with short-range interactions, continuous symmetries cannot spontaneously break at finite temperatures, leading to the suppression of conventional magnetic long-range ordering (LRO). In this paper, we numerically study the classical $J_1$-$J_2$ $XY$ antiferromagnet on the kagome lattice as a prototype model of such frustrated magnets, where $J_2$ denotes the next-nearest-neighbor exchange interaction. We map out the $J_2$-$T$ phase diagram of this model employing extensive classical Monte Carlo (MC) simulations. The obtained phase diagram features Berezinskii-Kosterlitz-Thouless (BKT) transitions of $q=0$, $\sqrt{3}\times\sqrt{3}$ magnetic orders, and octupole orders, in addition to finite-temperature phase transitions of both ferrochiral and antiferrochiral long-range orders. Additionally, we find a non-trivial first-order transition for antiferromagnetic $J_2/J_1 < 0$. The origin of this transition is discussed in the context of non-local loop structures present in local $120^\circ$ spin structures.


title: Low- and high-redshift H II starburst galaxies obey different luminosity-velocity dispersion relations

abstract: To determine whether or not H II starburst galaxies (H IIG) are standardizable candles, we study the correlation between the H$\beta$ luminosity ($L$) and the velocity dispersion ($\sigma$) of the ionized gas from H IIG measurements by simultaneously constraining the $L-\sigma$ relation parameters and the cosmological model parameters. We investigate six flat and nonflat relativistic dark energy cosmological models. We find that low-redshift and high-redshift H IIG data subsets are standardizable but obey different $L-\sigma$ relations. Current H IIG data are too sparse and too non-uniformly distributed in redshift to allow for a determination of why the samples follow different relations, but it could be caused by the high-redshift sample containing relatively fewer intrinsically dimmer sources (Malmquist bias) or it could be a consequence of H IIG evolution. Until this issue is better understood, H IIG data cosmological constraints must be treated with caution.


title: Exploring the Risks and Challenges of National Electronic Identity (NeID) System

abstract: Many countries have embraced national electronic identification (NeID) systems, recognising their potential to foster a fair, transparent, and well-governed society by ensuring the secure verification of citizens' identities. The inclusive nature of NeID empowers people to exercise their rights while holding them accountable for fulfilling their obligations. Nevertheless, the development and implementation of these complex identity-verification systems have raised concerns regarding security, privacy, and exclusion. In this study, we discuss the different categories of NeID risk and explore the successful deployment of these systems, while examining how the specific risks and other challenges posed by this technology are addressed. Based on the review of the different NeID systems and the efforts made to mitigate the unique risks and challenges presented within each deployment, we highlighted the best practices for mitigating risk, including implementing strong security measures, conducting regular risk assessments, and involving stakeholders in the design and implementation of the system.


title: Some properties of hyperbolic Yamabe solitons

abstract: We define the hyperbolic Yamabe flow and we obtain some properties of its stationary solutions, namely, of hyperbolic Yamabe solitons. We also consider immersed submanifolds as hyperbolic Yamabe solitons and we prove that, under certain assumptions, a hyperbolic Yamabe soliton hypersurface is pseudosymmetric or metallic shaped. Further we characterize the hyperbolic Yamabe soliton factor manifolds of a multiply twisted, multiply warped, doubly warped, and warped product manifold, and we provide a classification for a complete gradient hyperbolic Yamabe soliton factor manifold. Finally, we determine the conditions when the factor manifolds are hyperbolic Yamabe solitons if the manifold is a hyperbolic Yamabe soliton and we illustrate this result for the Robertson--Walker spacetime.


title: Good Better Best: Self-Motivated Imitation Learning for noisy Demonstrations

abstract: Imitation Learning (IL) aims to discover a policy by minimizing the discrepancy between the agent's behavior and expert demonstrations. However, IL is susceptible to limitations imposed by noisy demonstrations from non-expert behaviors, presenting a significant challenge due to the lack of supplementary information to assess their expertise. In this paper, we introduce Self-Motivated Imitation LEarning (SMILE), a method capable of progressively filtering out demonstrations collected by policies deemed inferior to the current policy, eliminating the need for additional information. We utilize the forward and reverse processes of Diffusion Models to emulate the shift in demonstration expertise from low to high and vice versa, thereby extracting the noise information that diffuses expertise. Then, the noise information is leveraged to predict the diffusion steps between the current policy and demonstrators, which we theoretically demonstrate its equivalence to their expertise gap. We further explain in detail how the predicted diffusion steps are applied to filter out noisy demonstrations in a self-motivated manner and provide its theoretical grounds. Through empirical evaluations on MuJoCo tasks, we demonstrate that our method is proficient in learning the expert policy amidst noisy demonstrations, and effectively filters out demonstrations with expertise inferior to the current policy.


title: Nonlinear dimensionality reduction then and now: AIMs for dissipative PDEs in the ML era

abstract: This study presents a collection of purely data-driven workflows for constructing reduced-order models (ROMs) for distributed dynamical systems. The ROMs we focus on, are data-assisted models inspired by, and templated upon, the theory of Approximate Inertial Manifolds (AIMs); the particular motivation is the so-called post-processing Galerkin method of Garcia-Archilla, Novo and Titi. Its applicability can be extended: the need for accurate truncated Galerkin projections and for deriving closed-formed corrections can be circumvented using machine learning tools. When the right latent variables are not a priori known, we illustrate how autoencoders as well as Diffusion Maps (a manifold learning scheme) can be used to discover good sets of latent variables and test their explainability. The proposed methodology can express the ROMs in terms of (a) theoretical (Fourier coefficients), (b) linear data-driven (POD modes) and/or (c) nonlinear data-driven (Diffusion Maps) coordinates. Both Black-Box and (theoretically-informed and data-corrected) Gray-Box models are described; the necessity for the latter arises when truncated Galerkin projections are so inaccurate as to not be amenable to post-processing. We use the Chafee-Infante reaction-diffusion and the Kuramoto-Sivashinsky dissipative partial differential equations to illustrate and successfully test the overall framework.


title: Discriminator Guidance for Autoregressive Diffusion Models

abstract: We introduce discriminator guidance in the setting of Autoregressive Diffusion Models. The use of a discriminator to guide a diffusion process has previously been used for continuous diffusion models, and in this work we derive ways of using a discriminator together with a pretrained generative model in the discrete case. First, we show that using an optimal discriminator will correct the pretrained model and enable exact sampling from the underlying data distribution. Second, to account for the realistic scenario of using a sub-optimal discriminator, we derive a sequential Monte Carlo algorithm which iteratively takes the predictions from the discrimiator into account during the generation process. We test these approaches on the task of generating molecular graphs and show how the discriminator improves the generative performance over using only the pretrained model.


title: Introduction to Infinite Dimensional Statistics and Applications

abstract: These notes started to educate ourselves and to collect some background for our future work, with the hope that perhaps they will be useful to others also. Many if not all results are more or less elementary or available in the literature, but we need to fill some holes (which are undoubtely statements so trivial that the authors we use do not consider them holes at all) or make straightforward extensions, and then we do the proofs in sufficient detail for reference. Topics include random fields and stochastic processes as random elements in Hilbert spaces, Karhunen-Lo\`{e}ve explansion and random orthonormal series, laws of large numbers, white noise, convergence of the Ensemble Kalman Filter (EnKF), and the ensemble Kalman Transform Filter (ETKF).


title: Generative Language Models Exhibit Social Identity Biases

abstract: The surge in popularity of large language models has given rise to concerns about biases that these models could learn from humans. We investigate whether ingroup solidarity and outgroup hostility, fundamental social identity biases known from social psychology, are present in 56 large language models. We find that almost all foundational language models and some instruction fine-tuned models exhibit clear ingroup-positive and outgroup-negative associations when prompted to complete sentences (e.g., "We are..."). Our findings suggest that modern language models exhibit fundamental social identity biases to a similar degree as humans, both in the lab and in real-world conversations with LLMs, and that curating training data and instruction fine-tuning can mitigate such biases. Our results have practical implications for creating less biased large-language models and further underscore the need for more research into user interactions with LLMs to prevent potential bias reinforcement in humans.


title: Cuspidal $\ell$-modular representations of $\mathrm{GL}_n(F)$ distinguished by a Galois involution

abstract: Let $F/F_0$ be a quadratic extension of non-Archimedean locally compact fields of residual characteristic $p\neq2$ with Galois automorphism $\sigma$, and let $R$ be an algebraically closed field of characteristic $\ell\notin\{0,p\}$. We reduce the classification of $\mathrm{GL}_n(F_0)$-distinguished cuspidal $R$-representations of $\mathrm{GL}_n(F)$ to the level $0$ setting. Moreover, under a parity condition, we give necessary conditions for a $\sigma$-selfdual cuspidal $R$-representation to be distinguished. Finally, we classify the distinguished cuspidal $\overline{\mathbb{F}}_{\ell}$-representations of $\mathrm{GL}_n(F)$ having a distinguished cuspidal lift to $\overline{\mathbb{Q}}_\ell$.


title: Role of crystal field ground state in the classical spin-liquid behavior of a quasi-one dimensional spin-chain system Sr3NiPtO6

abstract: The spin-chain compound Sr3NiPtO6 is known to have a nonmagnetic ground state. We have investigated the nature of ground state of Sr3NiPtO6 using magnetic susceptibility $\chi(T)$, heat capacity $C_{\rm p}(T)$, muon spin relaxation ($\mu$SR) and inelastic neutron scattering (INS) measurements. The $\chi(T)$ and $C_{\rm p}(T)$ do not exhibit any pronounced anomaly that can be associated with a phase transition to a magnetically ordered state. Our $\mu$SR data confirm the absence of long-range magnetic ordering down to 0.04 K. Furthermore, the muon spin relaxation rate increases below 20 K and exhibits temperature independent behavior at low temperature, very similar to that observed in a quantum spin-liquid system. The INS data show a large excitation near 8~meV, and the analysis of the INS data reveals a singlet CEF ground state with a first excited CEF doublet state at $\Delta_{\rm CEF}$ = 7.7 meV. The estimated CEF parameters reveal a strong planar anisotropy in the calculated $\chi(T)$, consistent with the reported behavior of the $\chi(T)$ of single crystal Sr3NiPtO6. We propose that the nonmagnetic singlet ground state and a large $\Delta_{\rm CEF}$ (much larger than the exchange interaction $\mathcal{J}_{\rm ex}$) are responsible for the absence of long-range magnetic ordering and can mimic a classical spin-liquid behavior in this quasi-1D spin chain system Sr3NiPtO6. The classical spin-liquid ground state observed in Sr3NiPtO6 is due to the single-ion property, which is different from the quantum spin-liquid ground state observed in geometrically frustrated systems, where two-ion exchanges play an important role.


title: Symplectic determinant laws and invariant theory

abstract: We introduce the notion of $\textit{symplectic determinant laws}$ by analogy with Chenevier's definition of determinant laws. Symplectic determinant laws are a way to define pseudorepresentations for symplectic representations of algebras with involution over arbitrary $\mathbb{Z}[\frac{1}{2}]$-algebras. We prove that this notion satisfies the properties expected from a good theory of pseudorepresentations, and we compare it to Lafforgue's $\text{Sp}_{2d}$-pseudocharacters. In the process, we compute generators of the invariant algebras $A[M_d^m]^{G}$ and $A[G^m]^G$ over an arbitrary commutative ring $A$ when $G \in \{\text{Sp}_d, \mathrm O_d, \text{GSp}_d, \text{GO}_d\}$, generalizing results of Zubkov.


title: Rosetta Stone at KSAA-RD Shared Task: A Hop From Language Modeling To Word--Definition Alignment

abstract: A Reverse Dictionary is a tool enabling users to discover a word based on its provided definition, meaning, or description. Such a technique proves valuable in various scenarios, aiding language learners who possess a description of a word without its identity, and benefiting writers seeking precise terminology. These scenarios often encapsulate what is referred to as the "Tip-of-the-Tongue" (TOT) phenomena. In this work, we present our winning solution for the Arabic Reverse Dictionary shared task. This task focuses on deriving a vector representation of an Arabic word from its accompanying description. The shared task encompasses two distinct subtasks: the first involves an Arabic definition as input, while the second employs an English definition. For the first subtask, our approach relies on an ensemble of finetuned Arabic BERT-based models, predicting the word embedding for a given definition. The final representation is obtained through averaging the output embeddings from each model within the ensemble. In contrast, the most effective solution for the second subtask involves translating the English test definitions into Arabic and applying them to the finetuned models originally trained for the first subtask. This straightforward method achieves the highest score across both subtasks.


title: A new set of Gibbs measures for the SOS model on a Cayley tree

abstract: The phase transition phenomenon is one of the central problems of statistical mechanics. It occurs when the model possesses multiple Gibbs measures. In this paper, we consider a three-state SOS (solid-on-solid) model on a Cayley tree. We reduce description of Gibbs measures to solving of a non-linear functional equation, which each solution of the equation corresponds to a Gibbs measure. We give some sufficiency conditions on the existence of multiple Gibbs measures for the model. We give a review of some known (translation-invariant, periodic, non-periodic) Gibbs measures of the model and compare them with our new measures. We show that the Gibbs measures found in the paper differ from the known Gibbs measures, i.e, we show that these measures are new.


title: A Spline-Based Collocation Method for Stokes and Navier-Stokes equations

abstract: In the paper, we propose a collocation method based on multivariate polynomial splines over triangulation or tetrahedralization for solving Stokes and Navier-Stokes equations. We start with a detailed explanation of the method for the Stokes equation and then extend the study to the Navier-Stokes equations. We shall show that the numerical solution can approximate the exact PDE solution very well over several domains. Then we present several numerical experimental results to demonstrate the performance of the method over the 2D and 3D settings. Also, we apply the IPBM method to our method to find the solution over several curved domains effectively. In addition, we present a comparison with the existing multivariate spline methods in \cite{AL02} and several existing methods to show that the new method produces a similar and sometimes more accurate approximation in a more efficient fashion.


title: One or Two Things We know about Concept Drift -- A Survey on Monitoring Evolving Environments

abstract: The world surrounding us is subject to constant change. These changes, frequently described as concept drift, influence many industrial and technical processes. As they can lead to malfunctions and other anomalous behavior, which may be safety-critical in many scenarios, detecting and analyzing concept drift is crucial. In this paper, we provide a literature review focusing on concept drift in unsupervised data streams. While many surveys focus on supervised data streams, so far, there is no work reviewing the unsupervised setting. However, this setting is of particular relevance for monitoring and anomaly detection which are directly applicable to many tasks and challenges in engineering. This survey provides a taxonomy of existing work on drift detection. Besides, it covers the current state of research on drift localization in a systematic way. In addition to providing a systematic literature review, this work provides precise mathematical definitions of the considered problems and contains standardized experiments on parametric artificial datasets allowing for a direct comparison of different strategies for detection and localization. Thereby, the suitability of different schemes can be analyzed systematically and guidelines for their usage in real-world scenarios can be provided. Finally, there is a section on the emerging topic of explaining concept drift.


title: Automatic Aorta Segmentation with Heavily Augmented, High-Resolution 3-D ResUNet: Contribution to the SEG.A Challenge

abstract: Automatic aorta segmentation from 3-D medical volumes is an important yet difficult task. Several factors make the problem challenging, e.g. the possibility of aortic dissection or the difficulty with segmenting and annotating the small branches. This work presents a contribution by the MedGIFT team to the SEG.A challenge organized during the MICCAI 2023 conference. We propose a fully automated algorithm based on deep encoder-decoder architecture. The main assumption behind our work is that data preprocessing and augmentation are much more important than the deep architecture, especially in low data regimes. Therefore, the solution is based on a variant of traditional convolutional U-Net. The proposed solution achieved a Dice score above 0.9 for all testing cases with the highest stability among all participants. The method scored 1st, 4th, and 3rd in terms of the clinical evaluation, quantitative results, and volumetric meshing quality, respectively. We freely release the source code, pretrained model, and provide access to the algorithm on the Grand-Challenge platform.


title: Negative Imaginary Control Using Hybrid Integrator-Gain Systems: Application to MEMS Nanopositioner

abstract: In this paper, we propose a new approach to address the control problem for negative imaginary (NI) systems by using hybrid integrator-gain systems (HIGS). We investigate the single HIGS of its original form and its two variations, including a multi-HIGS and the serial cascade of two HIGS. A single HIGS is shown to be a nonlinear negative imaginary system, and so is the multi-HIGS and the cascade of two HIGS. We show that these three types of HIGS can be used as controllers to asymptotically stabilize linear NI systems. The results of this paper are then illustrated in a real-world experiment where a 2-DOF microelectromechanical system nanopositioner is stabilized by a multi-HIGS.


title: Unnatural language processing: How do language models handle machine-generated prompts?

abstract: Language model prompt optimization research has shown that semantically and grammatically well-formed manually crafted prompts are routinely outperformed by automatically generated token sequences with no apparent meaning or syntactic structure, including sequences of vectors from a model's embedding space. We use machine-generated prompts to probe how models respond to input that is not composed of natural language expressions. We study the behavior of models of different sizes in multiple semantic tasks in response to both continuous and discrete machine-generated prompts, and compare it to the behavior in response to human-generated natural-language prompts. Even when producing a similar output, machine-generated and human prompts trigger different response patterns through the network processing pathways, including different perplexities, different attention and output entropy distributions, and different unit activation profiles. We provide preliminary insight into the nature of the units activated by different prompt types, suggesting that only natural language prompts recruit a genuinely linguistic circuit.


title: Localizing Anomalies in Critical Infrastructure using Model-Based Drift Explanations

abstract: Facing climate change, the already limited availability of drinking water will decrease in the future rendering drinking water an increasingly scarce resource. Considerable amounts of it are lost through leakages in water transportation and distribution networks. Thus, anomaly detection and localization, in particular for leakages, are crucial but challenging tasks due to the complex interactions and changing demands in water distribution networks. In this work, we analyze the effects of anomalies on the dynamics of critical infrastructure systems by modeling the networks employing Bayesian networks. We then discuss how the problem is connected to and can be considered through the lens of concept drift. In particular, we argue that model-based explanations of concept drift are a promising tool for localizing anomalies given limited information about the network. The methodology is experimentally evaluated using realistic benchmark scenarios. To showcase that our methodology applies to critical infrastructure more generally, in addition to considering leakages and sensor faults in water systems, we showcase the suitability of the derived technique to localize sensor faults in power systems.


title: A Comparative Study of Variational Autoencoders, Normalizing Flows, and Score-based Diffusion Models for Electrical Impedance Tomography

abstract: Electrical Impedance Tomography (EIT) is a widely employed imaging technique in industrial inspection, geophysical prospecting, and medical imaging. However, the inherent nonlinearity and ill-posedness of EIT image reconstruction present challenges for classical regularization techniques, such as the critical selection of regularization terms and the lack of prior knowledge. Deep generative models (DGMs) have been shown to play a crucial role in learning implicit regularizers and prior knowledge. This study aims to investigate the potential of three DGMs-variational autoencoder networks, normalizing flow, and score-based diffusion model-to learn implicit regularizers in learning-based EIT imaging. We first introduce background information on EIT imaging and its inverse problem formulation. Next, we propose three algorithms for performing EIT inverse problems based on corresponding DGMs. Finally, we present numerical and visual experiments, which reveal that (1) no single method consistently outperforms the others across all settings, and (2) when reconstructing an object with 2 anomalies using a well-trained model based on a training dataset containing 4 anomalies, the conditional normalizing flow model (CNF) exhibits the best generalization in low-level noise, while the conditional score-based diffusion model (CSD*) demonstrates the best generalization in high-level noise settings. We hope our preliminary efforts will encourage other researchers to assess their DGMs in EIT and other nonlinear inverse problems.


title: High-energy Neutrino Emission Associated with GWs from Binary Black Hole Mergers in AGN Accretion Discs

abstract: The search for multi-messenger signals of binary black hole (BBH) mergers is crucial to understanding the merger process of BBH and the relative astrophysical environment. Considering BBH mergers occurring in the active galactic nuclei (AGN) accretion disks, we focus on the accompanying high-energy neutrino production from the interaction between the jet launched by the post-merger remnant BH and disk materials. Particles can be accelerated by the shocks generated from the jet-disk interaction and subsequently interact with the disk gas and radiations to produce high-energy neutrinos through hadronic processes. We demonstrate that the identification of the high-energy neutrino signal from BBH merger in AGN disks is feasible. In addition, the joint BBH gravitational wave (GW) and neutrino detection rate is derived, which can be used to constrain the BBH merger rate and the accretion rate of the remnant BH based on the future associated detections of GWs and neutrinos. To date, an upper limit of BBH merger rate density in AGN disks of $R_0 \lesssim 3\,\rm Gpc^{-3} yr^{-1}$ is derived for the fiducial parameter values based on the current null association of GWs and neutrinos.


title: The positional probability and true host star identification of TESS exoplanet candidates

abstract: We present a method for deriving a probabilistic estimate of the true source of a detected TESS transiting event. Our method relies on comparing the observed photometric centroid offset for the target star with models of the offset that would occur if the event was either on the target or any of the Gaia identified nearby sources. The comparison is done probabilistically, allowing us to incorporate the uncertainties of the observed and modelled offsets in our result. The method was developed for TESS Full Frame Image lightcurves produced from the SPOC pipeline, but could be easily adapted to lightcurves from other sources. We applied the method on 3226 TESS Objects of Interest (TOIs), with a released lightcurve from SPOC. The method correctly identified 96.5% of 655 known exoplanet hosts as the most likely source of the eclipse. For 142 confirmed Nearby Eclipsing Binaries (NEBs) and Nearby Planet Candidates (NPCs), a nearby source was found to be the most likely in 96.5% of the cases. For 40 NEBs and NPCs where the true source is known, it was correctly designated as the most likely in 38 of those. Finally, for 2365 active planet candidates, the method suggests that 2072 are most likely on-target and 293 on a nearby source. The method forms a part of an in-development vetting and validation pipeline, called RAVEN, and is released as a standalone tool.


title: Designing superselectivity in linker-mediated multivalent nanoparticle adsorption

abstract: Using a statistical mechanical model and numerical simulations, we provide the design principle for the bridging strength ($\xi$) and linker density ($\rho$) dependent superselectivity in linker-mediated multivalent nanoparticle adsorption. When the bridges are insufficient, the formation of multiple bridges leads to both $\xi$- and $\rho$-dependent superselectivity. Whereas, when the bridges are excessive, the system becomes insensitive to bridging strength due to entropy-induced self-saturation and shows a superselective desorption with respect to the linker density. Counterintuitively, lower linker density or stronger bridging strength enhances the superselectivity. These findings enhance understanding of relevant biological processes and open up opportunities for applications in biosensing, drug delivery, and programmable self-assembly.


title: Observation of interatomic Coulombic decay induced by double excitation of helium in nanodroplets

abstract: Interatomic Coulombic decay (ICD) plays a crucial role in weakly bound complexes exposed to intense or high-energy radiation. So far, neutral or ionic atoms or molecules have been prepared in singly excited electron or hole states which can transfer energy to neighboring centers and cause ionization and radiation damage. Here we demonstrate that a doubly excited atom, despite its extremely short lifetime, can decay by ICD; evidenced by high-resolution photoelectron spectra of He nanodroplets excited to the 2s2p+ state. We find that ICD proceeds by relaxation into excited He$^*$He$^+$ atom-pair states, in agreement with calculations. The ability of inducing ICD by resonant excitation far above the single-ionization threshold opens opportunities for controlling radiation damage to a high degree of element specificity and spectral selectivity.


title: A Diffusion Weighted Graph Framework for New Intent Discovery

abstract: New Intent Discovery (NID) aims to recognize both new and known intents from unlabeled data with the aid of limited labeled data containing only known intents. Without considering structure relationships between samples, previous methods generate noisy supervisory signals which cannot strike a balance between quantity and quality, hindering the formation of new intent clusters and effective transfer of the pre-training knowledge. To mitigate this limitation, we propose a novel Diffusion Weighted Graph Framework (DWGF) to capture both semantic similarities and structure relationships inherent in data, enabling more sufficient and reliable supervisory signals. Specifically, for each sample, we diffuse neighborhood relationships along semantic paths guided by the nearest neighbors for multiple hops to characterize its local structure discriminately. Then, we sample its positive keys and weigh them based on semantic similarities and local structures for contrastive learning. During inference, we further propose Graph Smoothing Filter (GSF) to explicitly utilize the structure relationships to filter high-frequency noise embodied in semantically ambiguous samples on the cluster boundary. Extensive experiments show that our method outperforms state-of-the-art models on all evaluation metrics across multiple benchmark datasets. Code and data are available at https://github.com/yibai-shi/DWGF.


title: Scenario analysis of livestock-related PM2.5 pollution based on a new heteroskedastic spatiotemporal model

abstract: The air in the Lombardy Plain, Italy, is one of the most polluted in Europe due to limited atmosphere circulation and high emission levels. There is broad scientific consensus that ammonia (NH$_3$) emissions have a primary impact on air quality, and, in Lombardy, the agricultural sector and livestock activities are widely recognised as being responsible for approximately 97% of regional ammonia emissions due to the high density of livestock. In this paper, we quantify the relationship between ammonia emissions and PM2.5 concentrations in the Lombardy Plain and evaluate PM2.5 changes due to the reduction of ammonia emissions through a "what-if" scenario analysis. The information in the data is exploited using a spatiotemporal statistical model capable of handling spatial and temporal correlation, as well as missing data. To do this, we propose a new heteroskedastic extension of the well-established Hidden Dynamic Geostatistical Model. Maximum likelihood parameter estimates are obtained by the expectation-maximisation algorithm and implemented in a new version of the D-STEM software. Considering the years between 2016 and 2020, the scenario analysis is carried out on high-resolution PM2.5 maps of the Lombardy Plain. As a result, it is shown that a 26% reduction in NH3 emissions in the wintertime could reduce the PM2.5 average by 1.44 mg/m^3 while a 50% reduction could reduce the PM2.5 average by 2.76 mg / m^3 which corresponds to a reduction close to 3.6% and 7% respectively. Finally, results are detailed by province and land type.


title: Uniform bound of the entanglement for the ground state of the one-dimensional quantum Ising model with non-homogeneous transverse field

abstract: We consider the ground state of the one-dimensional quantum Ising model with transverse field $h_x$ in one dimension depending on the site $x \in \mathbb Z$ in a finite volume $\Lambda_{m}:=\{-m,-m+1,\ldots,m+L\}\ $. We make suitable assumptions on the regions where the field is small and prove that if the field is sufficiently large on the complementary set, then the entanglement of the interval $\Lambda_{0}:=\left\{ 0,..,L\right\} $ relative to its complement $\Lambda_{m}\backslash\Lambda_{0}$ is bounded uniformly in $m$ and $L$. The result applies in particular to periodic transverse fields. The bound is established by means of a suitable cluster expansion.


title: On sublinear elliptic systems on bounded and thin unbounded domains

abstract: We show the existence of a positive solution to certain weakly coupled elliptic systems of sublinear growth and homogenous Dirichlet boundary conditions. Our result generalizes known results in the case of sublinear systems of two weakly coupled equations, as, for instance Lane-Emden systems and not only applies to bounded but to thin unbounded domains (that is, unbounded domains contained in a region bounded by two parallel hyperplanes).


title: Cotorsion pairs in comma categories

abstract: Let A and B be abelian categories with enough projective and injective objects, and T : A-B a left exact additive functor. Then one has a comma category (B*T). It is shown that If T : A-B is X-exact, then (*X, X) is a (hereditary) cotorsion pair in A and (*Y, Y)) is a (hereditary) cotorsion pair in B if and only if ((*X, Y ), <h(X, Y)> ) is a (hereditary) cotorsion pair in (B*T) and X and Y are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories A and B can induce special preenveloping classes in (B*T).


title: Characterizing dynamical phase transitions in a spinor Bose-Einstein condensate via quantum and semiclassical analyses

abstract: Phase transitions in nonequilibrium dynamics of many body quantum systems,the so-called dynamical phases transition (DPTs), play an important role for understanding various dynamical phenomena observed in different branches of physics.In general, there have two types of DPTs, the first one refers to the phase transition that is characterized by distinct evolution behaviors of a physical observable, while the second one is marked by the nonanalyticities in the rate function of the initial state survival probability. Here, we focus on such DPTs from both quantum and semiclassical perspectives in a spinor Bose-Einstein condensate (BEC), an ideal platform to investigate nonequilibrium dynamics.By using the sudden quench process, we demonstrate that the system exhibits both types of DPTs as the control parameter quenches through the critical one, referring to as the critical quench. We show analytically how to determine the critical quenches by means of the semiclassical approach and carry out a detailed examination on both semiclassical and quantum signatures of two types of DPTs. Moreover, we further reveal that the occurrence of DPTs is closely connected to the separatrix in the underlying classical system. Our findings provide more insights into the properties of DPTs and verify the usefulness of semiclassical analysis for understanding DPTs in quantum systems with well-defined semiclassical limit.


title: AGN feedback and star formation in the peculiar galaxy NGC 232: Insights from VLT-MUSE Observations

abstract: We use VLT-MUSE integral field unit data to study the ionized gas physical properties and kinematics as well as the stellar populations of the Seyfert 2 galaxy NGC\,232 as an opportunity to understand the role of AGN feedback on star formation. The data cover a field of view of 60$\times$60 arcsec$^{2}$ at a spatial resolution of $\sim$\,850\,pc. The emission-line profiles have been fitted with two Gaussian components, one associated to the emission of the gas in the disc and the other due to a bi-conical outflow. The spectral synthesis suggests a predominantly old stellar population with ages exceeding 2\,Gyr, with the largest contributions seen at the nucleus and decreasing outwards. Meanwhile, the young and intermediate age stellar populations exhibit a positive gradient with increasing radius and a circum-nuclear star forming ring with radius of $\sim$0.5\,kpc traced by stars younger than 20 Myr, is observed. This, along with the fact that AGN and SF dominated regions present similar gaseous oxygen abundances, suggests a shared reservoir feeding both star formation and the AGN. We have estimated a maximum outflow rate in ionized gas of $\sim$1.26\,M${\odot}$\,yr$^{-1}$ observed at a distance of $\sim$560 pc from the nucleus. The corresponding maximum kinetic power of the outflow is $\sim3.4\times10^{41}$ erg\,s$^{-1}$. This released energy could be sufficient to suppress star formation within the ionization cone, as evidenced by the lower star formation rates observed in this region.


title: Decay Estimates of High Dimensional Adjoint Radon Transforms

abstract: In this paper we prove an optimal $L^2-L^{2d}$ decay estimate of the adjoint Radon transform of compactly supported data in $d$-dimensional space via a geometric method. A similar problem in dimension $3$ has be considered in the author's previous work. This work deals with all higher dimensional case $d\geq 4$. As an application we give the decay of Strichartz norms of $5$-dimensional non-radiative free waves. The general idea is similar to the lower dimensional case but we introduce a new method to prove the corresponding geometric inequality because the old method becomes too complicated in higher dimensions.


title: On the formal neighborhood of a degenerate arc

abstract: We prove a result describing the structure of the formal neighborhoods of certain arcs in the arc space of an algebraic variety which are completely contained in the singular locus. In particular, we provide a precise formulation of the intuitive statement that constant arcs centered in the singular locus are the most singular points of the arc space.


title: Pre-training Music Classification Models via Music Source Separation

abstract: In this paper, we study whether music source separation can be used as a pre-training strategy for music representation learning, targeted at music classification tasks. To this end, we first pre-train U-Net networks under various music source separation objectives, such as the isolation of vocal or instrumental sources from a musical piece; afterwards, we attach a classification network to the pre-trained U-Net and jointly finetune the whole network. The features learned by the separation network are also propagated to the tail network through a convolutional feature adaptation module. Experimental results in two widely used and publicly available datasets indicate that pre-training the U-Nets with a music source separation objective can improve performance compared to both training the whole network from scratch and using the tail network as a standalone in two music classification tasks, music auto-tagging and music genre classification. We also show that our proposed framework can be successfully integrated into both convolutional and Transformer-based backends, highlighting its modularity.


title: Optimal Spatial-Temporal Triangulation for Bearing-Only Cooperative Motion Estimation

abstract: Vision-based cooperative motion estimation is an important problem for many multi-robot systems such as cooperative aerial target pursuit. This problem can be formulated as bearing-only cooperative motion estimation, where the visual measurement is modeled as a bearing vector pointing from the camera to the target. The conventional approaches for bearing-only cooperative estimation are mainly based on the framework distributed Kalman filtering (DKF). In this paper, we propose a new optimal bearing-only cooperative estimation algorithm, named spatial-temporal triangulation, based on the method of distributed recursive least squares, which provides a more flexible framework for designing distributed estimators than DKF. The design of the algorithm fully incorporates all the available information and the specific triangulation geometric constraint. As a result, the algorithm has superior estimation performance than the state-of-the-art DKF algorithms in terms of both accuracy and convergence speed as verified by numerical simulation. We rigorously prove the exponential convergence of the proposed algorithm. Moreover, to verify the effectiveness of the proposed algorithm under practical challenging conditions, we develop a vision-based cooperative aerial target pursuit system, which is the first of such fully autonomous systems so far to the best of our knowledge.


title: A Novel Method for Analysing Racial Bias: Collection of Person Level References

abstract: Long term exposure to biased content in literature or media can significantly influence people's perceptions of reality, leading to the development of implicit biases that are difficult to detect and address (Gerbner 1998). In this study, we propose a novel method to analyze the differences in representation between two groups and use it examine the representation of African Americans and White Americans in books between 1850 to 2000 with the Google Books dataset (Goldberg and Orwant 2013). By developing better tools to understand differences in representation, we aim to contribute to the ongoing efforts to recognize and mitigate biases. To improve upon the more common phrase based (men, women, white, black, etc) methods to differentiate context (Tripodi et al. 2019, Lucy; Tadimeti, and Bamman 2022), we propose collecting a comprehensive list of historically significant figures and using their names to select relevant context. This novel approach offers a more accurate and nuanced method for detecting implicit biases through reducing the risk of selection bias. We create group representations for each decade and analyze them in an aligned semantic space (Hamilton, Leskovec, and Jurafsky 2016). We further support our results by assessing the time adjusted toxicity (Bassignana, Basile, and Patti 2018) in the context for each group and identifying the semantic axes (Lucy, Tadimeti, and Bamman 2022) that exhibit the most significant differences between the groups across decades. We support our method by showing that our proposed method can capture known socio political changes accurately and our findings indicate that while the relative number of African American names mentioned in books have increased over time, the context surrounding them remains more toxic than white Americans.


title: On Responsible Machine Learning Datasets with Fairness, Privacy, and Regulatory Norms

abstract: Artificial Intelligence (AI) has made its way into various scientific fields, providing astonishing improvements over existing algorithms for a wide variety of tasks. In recent years, there have been severe concerns over the trustworthiness of AI technologies. The scientific community has focused on the development of trustworthy AI algorithms. However, machine and deep learning algorithms, popular in the AI community today, depend heavily on the data used during their development. These learning algorithms identify patterns in the data, learning the behavioral objective. Any flaws in the data have the potential to translate directly into algorithms. In this study, we discuss the importance of Responsible Machine Learning Datasets and propose a framework to evaluate the datasets through a responsible rubric. While existing work focuses on the post-hoc evaluation of algorithms for their trustworthiness, we provide a framework that considers the data component separately to understand its role in the algorithm. We discuss responsible datasets through the lens of fairness, privacy, and regulatory compliance and provide recommendations for constructing future datasets. After surveying over 100 datasets, we use 60 datasets for analysis and demonstrate that none of these datasets is immune to issues of fairness, privacy preservation, and regulatory compliance. We provide modifications to the ``datasheets for datasets" with important additions for improved dataset documentation. With governments around the world regularizing data protection laws, the method for the creation of datasets in the scientific community requires revision. We believe this study is timely and relevant in today's era of AI.


title: A Resilient Framework for 5G-Edge-Connected UAVs based on Switching Edge-MPC and Onboard-PID Control

abstract: In recent years, the need for resources for handling processes with high computational complexity for mobile robots is becoming increasingly urgent. More specifically, robots need to autonomously operate in a robust and continuous manner, while keeping high performance, a need that led to the utilization of edge computing to offload many computationally demanding and time-critical robotic procedures. However, safe mechanisms should be implemented to handle situations when it is not possible to use the offloaded procedures, such as if the communication is challenged or the edge cluster is not available. To this end, this article presents a switching strategy for safety, redundancy, and optimized behavior through an edge computing-based Model Predictive Controller (MPC) and a low-level onboard-PID controller for edge-connected Unmanned Aerial Vehicles (UAVs). The switching strategy is based on the communication Key Performance Indicators (KPIs) over 5G to decide whether the UAV should be controlled by the edge-based or have a safe fallback based on the onboard controller.


title: Posterior Estimation for Dynamic PET imaging using Conditional Variational Inference

abstract: This work aims efficiently estimating the posterior distribution of kinetic parameters for dynamic positron emission tomography (PET) imaging given a measurement of time of activity curve. Considering the inherent information loss from parametric imaging to measurement space with the forward kinetic model, the inverse mapping is ambiguous. The conventional (but expensive) solution can be the Markov Chain Monte Carlo (MCMC) sampling, which is known to produce unbiased asymptotical estimation. We propose a deep-learning-based framework for efficient posterior estimation. Specifically, we counteract the information loss in the forward process by introducing latent variables. Then, we use a conditional variational autoencoder (CVAE) and optimize its evidence lower bound. The well-trained decoder is able to infer the posterior with a given measurement and the sampled latent variables following a simple multivariate Gaussian distribution. We validate our CVAE-based method using unbiased MCMC as the reference for low-dimensional data (a single brain region) with the simplified reference tissue model.


title: Self-Guard: Empower the LLM to Safeguard Itself

abstract: The jailbreak attack can bypass the safety measures of a Large Language Model (LLM), generating harmful content. This misuse of LLM has led to negative societal consequences. Currently, there are two main approaches to address jailbreak attacks: safety training and safeguards. Safety training focuses on further training LLM to enhance its safety. On the other hand, safeguards involve implementing external models or filters to prevent harmful outputs. However, safety training has constraints in its ability to adapt to new attack types and often leads to a drop in model performance. Safeguards have proven to be of limited help. To tackle these issues, we propose a novel approach called Self-Guard, which combines the strengths of both safety methods. Self-Guard includes two stages. In the first stage, we enhance the model's ability to assess harmful content, and in the second stage, we instruct the model to consistently perform harmful content detection on its own responses. The experiment has demonstrated that Self-Guard is robust against jailbreak attacks. In the bad case analysis, we find that LLM occasionally provides harmless responses to harmful queries. Additionally, we evaluated the general capabilities of the LLM before and after safety training, providing evidence that Self-Guard does not result in the LLM's performance degradation. In sensitivity tests, Self-Guard not only avoids inducing over-sensitivity in LLM but also can even mitigate this issue.


title: Using Artificial French Data to Understand the Emergence of Gender Bias in Transformer Language Models

abstract: Numerous studies have demonstrated the ability of neural language models to learn various linguistic properties without direct supervision. This work takes an initial step towards exploring the less researched topic of how neural models discover linguistic properties of words, such as gender, as well as the rules governing their usage. We propose to use an artificial corpus generated by a PCFG based on French to precisely control the gender distribution in the training data and determine under which conditions a model correctly captures gender information or, on the contrary, appears gender-biased.


title: Improving Event Time Prediction by Learning to Partition the Event Time Space

abstract: Recently developed survival analysis methods improve upon existing approaches by predicting the probability of event occurrence in each of a number pre-specified (discrete) time intervals. By avoiding placing strong parametric assumptions on the event density, this approach tends to improve prediction performance, particularly when data are plentiful. However, in clinical settings with limited available data, it is often preferable to judiciously partition the event time space into a limited number of intervals well suited to the prediction task at hand. In this work, we develop a method to learn from data a set of cut points defining such a partition. We show that in two simulated datasets, we are able to recover intervals that match the underlying generative model. We then demonstrate improved prediction performance on three real-world observational datasets, including a large, newly harmonized stroke risk prediction dataset. Finally, we argue that our approach facilitates clinical decision-making by suggesting time intervals that are most appropriate for each task, in the sense that they facilitate more accurate risk prediction.


title: Control of McKean--Vlasov SDEs with Contagion Through Killing at a State-Dependent Intensity

abstract: We consider a novel McKean--Vlasov control problem with contagion through killing of particles and common noise. Each particle is killed at an exponential rate according to an intensity process that increases whenever the particle is located in a specific region. The removal of a particle pushes others towards the removal region, which can trigger cascades that see particles exiting the system in rapid succession. We study the control of such a system by a central agent who intends to preserve particles at minimal cost. Our theoretical contribution is twofold. Firstly, we rigorously justify the McKean--Vlasov control problem as the limit of a corresponding controlled finite particle system. Our proof is based on a controlled martingale problem and tightness arguments. Secondly, we connect our framework with models in which particles are killed once they hit the boundary of the removal region. We show that these models appear in the limit as the exponential rate tends to infinity. As a corollary, we obtain new existence results for McKean--Vlasov SDEs with singular interaction through hitting times which extend those in the established literature. We conclude the paper with numerical investigations of our model applied to government control of systemic risk in financial systems.


title: Noise-tailored Constructions for Spin Wigner Function Kernels

abstract: The effective use of noisy intermediate-scale quantum devices requires error mitigation to improve the accuracy of sampled measurement distributions. The more accurately the effects of noise on these distributions can be modeled, the more closely error mitigation will be able to approach theoretical bounds. The characterisation of noisy quantum channels and the inference of their effects on general observables are challenging problems, but in many cases a change in representation can greatly simplify the analysis. Here, we investigate spin Wigner functions for multi-qudit systems. We generalise previous kernel constructions, capturing the effects of several probabilistic unitary noise models in few parameters.


title: A criterion for determining whether multiple shells support a $t$-design

abstract: In this paper, we provide a criterion for determining whether multiple shells support a $t$-design. We construct as a corollary an infinite series of $2$-designs using power residue codes.


title: Xeno Amino Acids: A look into biochemistry as we don't know it

abstract: Would another origin of life resemble Earth's biochemical use of amino acids? Here we review current knowledge at three levels: 1) Could other classes of chemical structure serve as building blocks for biopolymer structure and catalysis? Amino acids now seem both readily available to, and a plausible chemical attractor for, life as we don't know it. Amino acids thus remain important and tractable targets for astrobiological research. 2) If amino acids are used, would we expect the same L-alpha-structural subclass used by life? Despite numerous ideas, it is not clear why life favors L-enantiomers. It seems clearer, however, why life on Earth uses the shortest possible (alpha-) amino acid backbone, and why each carries only one side chain. However, assertions that other backbones are physicochemically impossible have relaxed into arguments that they are disadvantageous. 3) Would we expect a similar set of side chains to those within the genetic code? Not only do many plausible alternatives exist and evidence exists for both evolutionary advantage and physicochemical constraint for those encoded by life. Overall, as focus shifts from amino acids as a chemical class to specific side chains used by post-LUCA biology, the probable role of physicochemical constraint diminishes relative to that of biological evolution. Exciting opportunities now present themselves for laboratory work and computing to explore how changing the amino acid alphabet alters the universe of protein folds. Near-term milestones include: a) expanding evidence about amino acids as attractors within chemical evolution; b) extending characterization of other backbones relative to biological proteins; c) merging computing and laboratory explorations of structures and functions unlocked by xeno peptides.


title: Topology-aware Debiased Self-supervised Graph Learning for Recommendation

abstract: In recommendation, graph-based Collaborative Filtering (CF) methods mitigate the data sparsity by introducing Graph Contrastive Learning (GCL). However, the random negative sampling strategy in these GCL-based CF models neglects the semantic structure of users (items), which not only introduces false negatives (negatives that are similar to anchor user (item)) but also ignores the potential positive samples. To tackle the above issues, we propose Topology-aware Debiased Self-supervised Graph Learning (TDSGL) for recommendation, which constructs contrastive pairs according to the semantic similarity between users (items). Specifically, since the original user-item interaction data commendably reflects the purchasing intent of users and certain characteristics of items, we calculate the semantic similarity between users (items) on interaction data. Then, given a user (item), we construct its negative pairs by selecting users (items) which embed different semantic structures to ensure the semantic difference between the given user (item) and its negatives. Moreover, for a user (item), we design a feature extraction module that converts other semantically similar users (items) into an auxiliary positive sample to acquire a more informative representation. Experimental results show that the proposed model outperforms the state-of-the-art models significantly on three public datasets. Our model implementation codes are available at https://github.com/malajikuai/TDSGL.


title: A Fermi-LAT Study of Globular Cluster Dynamical Evolution in the Milky Way: Millisecond Pulsars as the Probe

abstract: Using archival {\it Fermi}-LAT data with a time span of $\sim12$ years, we study the population of Millisecond Pulsars (MSPs) in Globular Clusters (GlCs) and investigate their dependence on cluster dynamical evolution in the Milky Way Galaxy. We show that the $\gamma$-ray luminosity ($L_{\gamma}$) and emissivity ($\epsilon_{\gamma}=L_{\gamma}/M$) are good indicators of the population and abundance of MSPs in GlCs, and they are highly dependent on the dynamical evolution history of the host clusters. Specifically speaking, the dynamically older GlCs with more compact structures are more likely to have larger $L_{\gamma}$ and $\epsilon_{\gamma}$, and these trends can be summarized as strong correlations with cluster stellar encounter rate $\Gamma$ and the specific encounter rate ($\Lambda=\Gamma/M$), with $L_{\gamma}\propto \Gamma^{0.70\pm0.11}$ and $\epsilon_{\gamma}\propto \Lambda^{0.73\pm0.13}$ for dynamically normal GlCs. However, as GlCs evolve into deep core collapse, these trends are found to be reversed, implying that strong encounters may have lead to the ejection of MSPs from core-collapsed Systems. Besides, the GlCs are found to exhibit larger $\epsilon_{\gamma}$ with increasing stellar mass function slope, decreasing tidal radius and distances from the Galactic Center (GC). These correlations indicate that, as GlCs losing kinetic energy and spiral in towards GC, tidal stripping and mass segregation have a preference in leading to the loss of normal stars from GlCs, while MSPs are more likely to concentrate to cluster center and be deposited into the GC. Moreover, we gauge $\epsilon_{\gamma}$ of GlCs is $\sim10-1000$ times larger than the Galactic bulge, the latter is thought to reside thousands of unresolved MSPs and may responsible for the GC $\gamma$-ray excess, which support that GlCs are generous contributors to the population of MSPs in the GC.


title: Identification of low energy neutral and charged cosmic ray events in large wide field observatorie

abstract: The lower energy thresholds of large wide-field gamma-ray observatories are often determined by their capability to deal with the very low-energy cosmic ray background. In fact, in observatories with areas of tens or hundreds of thousands of square meters, the number of background events generated by the superposition of random, very low energy cosmic rays is huge and may exceed by far the possible signal events. In this article, we argue that a trigger strategy based on pattern recognition of the shower front can significantly reject the background, keeping a good efficiency and a good angular accuracy (few square degrees) for gamma rays with energies as low as tens of GeV. In this way, alerts can be followed or emitted within time lapses of the order of the second, enabling wide-field gamma-ray observatories to better contribute to global multi-messenger networks of astrophysical observatories.


title: Social Learning of General Rules

abstract: Why do agents adopt a particular general behavioral rule among a collection of possible alternatives? To address this question, we introduce a dynamic social learning framework, where agents rely on general rules of thumb and imitate the behavioral rules of successful peers. We find the social learning outcome can be characterized independent of the initial rule distribution. When one dominant general rule consistently yields superior problem-specific outcomes, social learning almost surely leads all agents to adopt this dominant rule; otherwise, provided the population is sufficiently large, the better rule for the more frequent problem becomes the consensus rule with arbitrarily high probability. As a result, the behavioral rule selected by the social learning process need not maximize social welfare. We complement our theoretical analysis with an application to the market sentiment selection in a stochastic production market.


title: Is a humorous robot more trustworthy?

abstract: As more and more social robots are being used for collaborative activities with humans, it is crucial to investigate mechanisms to facilitate trust in the human-robot interaction. One such mechanism is humour: it has been shown to increase creativity and productivity in human-human interaction, which has an indirect influence on trust. In this study, we investigate if humour can increase trust in human-robot interaction. We conducted a between-subjects experiment with 40 participants to see if the participants are more likely to accept the robot's suggestion in the Three-card Monte game, as a trust check task. Though we were unable to find a significant effect of humour, we discuss the effect of possible confounding variables, and also report some interesting qualitative observations from our study: for instance, the participants interacted effectively with the robot as a team member, regardless of the humour or no-humour condition.


title: Metric Clustering and MST with Strong and Weak Distance Oracles

abstract: We study optimization problems in a metric space $(\mathcal{X},d)$ where we can compute distances in two ways: via a ''strong'' oracle that returns exact distances $d(x,y)$, and a ''weak'' oracle that returns distances $\tilde{d}(x,y)$ which may be arbitrarily corrupted with some probability. This model captures the increasingly common trade-off between employing both an expensive similarity model (e.g. a large-scale embedding model), and a less accurate but cheaper model. Hence, the goal is to make as few queries to the strong oracle as possible. We consider both so-called ''point queries'', where the strong oracle is queried on a set of points $S \subset \mathcal{X} $ and returns $d(x,y)$ for all $x,y \in S$, and ''edge queries'' where it is queried for individual distances $d(x,y)$. Our main contributions are optimal algorithms and lower bounds for clustering and Minimum Spanning Tree (MST) in this model. For $k$-centers, $k$-median, and $k$-means, we give constant factor approximation algorithms with only $\tilde{O}(k)$ strong oracle point queries, and prove that $\Omega(k)$ queries are required for any bounded approximation. For edge queries, our upper and lower bounds are both $\tilde{\Theta}(k^2)$. Surprisingly, for the MST problem we give a $O(\sqrt{\log n})$ approximation algorithm using no strong oracle queries at all, and a matching $\Omega(\sqrt{\log n})$ lower bound. We empirically evaluate our algorithms, and show that their quality is comparable to that of the baseline algorithms that are given all true distances, but while querying the strong oracle on only a small fraction ($<1\%$) of points.


title: Elementary excitations in the hybrid Bose-Fermi system induced by circularly polarized light in a two-dimensional gas of charge carriers with different masses

abstract: We developed a theory describing elementary excitations in the Bose-Fermi system induced by circularly polarized light in a two-dimensional (2D) gas of charge carriers with different masses. In such a hybrid system, the Fermi subsystem is a degenerate Fermi gas, whereas the Bose subsystem is a condensate of the light-induced composite bosons consisting of two fermions (electrons or holes) with different effective masses. The interaction of the single-particle excitations and the collective excitations (plasmons) in the Fermi subsystem with the Bogoliubov collective modes (bogolons) in the Bose subsystem is analyzed. The renormalization and damping (lifetime) of the excitations are calculated, and the possibility of their experimental observation is discussed. The developed theory can be applied to describe 2D condensed-matter structures containing charge carriers with different effective masses, including transition metal dichalcogenide monolayers and semiconductor quantum wells.


title: Using Causality-Aware Graph Neural Networks to Predict Temporal Centralities in Dynamic Graphs

abstract: Node centralities play a pivotal role in network science, social network analysis, and recommender systems. In temporal data, static path-based centralities like closeness or betweenness can give misleading results about the true importance of nodes in a temporal graph. To address this issue, temporal generalizations of betweenness and closeness have been defined that are based on the shortest time-respecting paths between pairs of nodes. However, a major issue of those generalizations is that the calculation of such paths is computationally expensive. Addressing this issue, we study the application of De Bruijn Graph Neural Networks (DBGNN), a causality-aware graph neural network architecture, to predict temporal path-based centralities in time series data. We experimentally evaluate our approach in 13 temporal graphs from biological and social systems and show that it considerably improves the prediction of both betweenness and closeness centrality compared to a static Graph Convolutional Neural Network.


title: Deformation classes of invertible field theories and the Freed--Hopkins conjecture

abstract: We prove a conjecture of Freed and Hopkins, which relates deformation classes of reflection positive, invertible, $d$-dimensional extended field theories with fixed symmetry type to a certain generalized cohomology of a Thom spectrum. Along the way, we establish several results, including the construction of a smooth variant of the Brown--Comenetz dual of the sphere spectrum and a calculation of the "deformation type" of the extended geometric bordism category.


title: Complex Poynting vector in gyromagnetic media and its impact on power flow in guided modes

abstract: In this paper, we show the relation between the time-varying spinning nature of the instantaneous Poynting vector and the phasor form of the complex Poynting vector in the bulk of the gyromagnetic medium. We show the presence of a transverse reactive power component in the bulk of the gyrotropic medium, even for plane wave propagation. We use a simple quantification technique of Poynting vector spin to analyze the rotation of the instantaneous Poynting vector using the complex phasor form of the time-averaged Poynting vector. For a transverse electric mode, we show the similarity between the Poynting vector spin and the photonic spin of the magnetic field. The Poynting vector spin is then used to represent the transverse power transfer across a ferrite-air interface supporting TE surface wave modes. Considering a gyromagnetic ferrite-filled rectangular waveguide following the TE mode profile, we show the correspondence between the Poynting vector spin and the overall positive and backward power flow. We analytically propose a mechanism to engineer the region of the waveguide supporting backward and forward power propagation.


title: Anomalous Strangeness Transport

abstract: Nondissipative transport of strangeness is studied in a chiral hadronic plasma with three flavors. In the phase in which chiral symmetry is preserved, strangeness transport is found to be driven by both an external magnetic field and fluid vorticity. As for the constitutive relations of the baryon and electromagnetic currents, they exhibit vortical terms proportional to the strangeness chemical potential. In the superfluid phase, transverse nondissipative diffusion of the baryon, electromagnetic, and strangeness charges is found, which survives in the limit of vanishing chiral imbalance and mixes in a fashion similar to standard dissipative diffusion in quark-gluon plasma.


title: The distribution, kinematics and luminosities of extreme helium stars as probes of their origin and evolution

abstract: Hydrogen deficient stars include the cool R CrB variable (RCBs) and hydrogen-deficient carbon (HdCs) giants through extreme helium stars (EHes) to the very hot helium-rich subdwarfs (He-sdO and O(He) stars) and white dwarfs. With surfaces rich in helium, nitrogen and carbon, their origins have been identified with the merger of two white dwarfs. Using Gaia to focus on the EHes, we aim to identify progenitor populations and test the evolution models. Gaia DR3 measurements and ground-based radial velocities have been used to compute Galactic orbits using galpy. Each orbit has been classified by population; EHe stars are found in all of the thin disk, thick disk, halo and bulge, as are RCB, HdC and He-sdO stars. Spectral energy distributions were constructed for all EHes, to provide angular diameters, and hence radii and luminosities. The EHes fall into two luminosity groups divided at L ~ 2500 solar L. This supports theory for the origin of EHes, and is the strongest confirmation so far in terms of luminosity. The lower luminosity EHes correspond well with the post-merger evolution of a double helium white dwarf binary. Likewise, the higher luminosity EHes match the post-merger evolution of a carbon/oxygen plus helium white dwarf binary. In terms of parent populations, current models predict that double white dwarf mergers should occur in all Galactic populations, but favour mergers arising from recent star formation (i.e. thin disk), whereas the statistics favour an older epoch (i.e. thick disk).


title: Hybridized Formulations of Flux Reconstruction Schemes for Advection-Diffusion Problems

abstract: We present the hybridization of flux reconstruction methods for advection-diffusion problems. Hybridization introduces a new variable into the problem so that it can be reduced via static condensation. This allows the solution of implicit discretizations to be done more efficiently. We derive an energy statement from a stability analysis considering a range of correction functions on hybridized and embedded flux reconstruction schemes. Then, we establish connections to standard formulations. We devise a post-processing scheme that leverages existing flux reconstruction operators to enhance accuracy for diffusion-dominated problems. Results show that the implicit convergence of these methods for advection-diffusion problems can result in performance benefits of over an order of magnitude. In addition, we observe that the superconvergence property of hybridized methods can be extended to the family of FR schemes for a range of correction functions.


title: A strategy to compute convective timescales of the Indian monsoon with the WRF model

abstract: The Indian monsoon brings around 80% of the annual rainfall over the summer months June--September to the Indian subcontinent. The timing of the monsoon onset and the associated rainfall has a large impact on agriculture, thus impacting the livelihoods of over one billion people. To improve forecasting the monsoon on sub-seasonal timescales, global climate models are in continual development. One of the key issues is the representation of convection, which is typically parametrised. Different convection schemes offer varying degrees of performance, depending on the model and scenario. Here, we propose a method to compute a convective timescale, which could be used as a metric for comparison across different models and convection schemes. The method involves the determination of a vertical convective flux between the lower and upper troposphere through moisture budget analysis, and then relating this to the total column moisture content. The method is applied to a WRF model simulation of the 2016 Indian monsoon, giving convective timescales that are reduced by a factor of 2 when the onset of the monsoon occurs. The convective timescale can also be used as an indicator of monsoon transitions from pre-onset to full phase of the monsoon, and to assess changes in monsoon phases under future climate scenarios.