title: ALMol: Aligned Language-Molecule Translation LLMs through Offline Preference Contrastive Optimisation

abstract: The field of chemistry and Artificial Intelligence (AI) intersection is an area of active research that aims to accelerate scientific discovery. The integration of large language models (LLMs) with scientific modalities has shown significant promise in this endeavour. However, challenges persist in effectively addressing training efficacy and the out-of-distribution problem, particularly as existing approaches rely on larger models and datasets. In this context, we focus on machine language-molecule translation and deploy a novel training approach called contrastive preference optimisation, which avoids generating translations that are merely adequate but not perfect. To ensure generalisability and mitigate memorisation effects, we conduct experiments using only 10\% of the data. Our results demonstrate that our models achieve up to a 32\% improvement compared to counterpart models. We also introduce a scalable fine-grained evaluation methodology that accommodates responsibility.


title: Ruijsenaars duality for B, C, D Toda chains

abstract: We use the Hamiltonian reduction method to construct the Ruijsenaars dual systems to generalized Toda chains associated with the classical Lie algebras of types $B, C, D$. The dual systems turn out to be the $B, C$ and $D$ analogues of the rational Goldfish model, which is, as in the type $A$ case, the strong coupling limit of rational Ruijsenaars systems. We explain how both types of systems emerge in the reduction of the cotangent bundle of a Lie group and provide the formulae for dual Hamiltonians. We compute explicitly the higher Hamiltonians of Goldfish models using the Cauchy--Binet theorem.


title: RMT-BVQA: Recurrent Memory Transformer-based Blind Video Quality Assessment for Enhanced Video Content

abstract: With recent advances in deep learning, numerous algorithms have been developed to enhance video quality, reduce visual artefacts and improve perceptual quality. However, little research has been reported on the quality assessment of enhanced content - the evaluation of enhancement methods is often based on quality metrics that were designed for compression applications. In this paper, we propose a novel blind deep video quality assessment (VQA) method specifically for enhanced video content. It employs a new Recurrent Memory Transformer (RMT) based network architecture to obtain video quality representations, which is optimised through a novel content-quality-aware contrastive learning strategy based on a new database containing 13K training patches with enhanced content. The extracted quality representations are then combined through linear regression to generate video-level quality indices. The proposed method, RMT-BVQA, has been evaluated on the VDPVE (VQA Dataset for Perceptual Video Enhancement) database through a five-fold cross validation. The results show its superior correlation performance when compared to ten existing no-reference quality metrics.


title: On sections of complex line bundles over surfaces minimizing a Ginzburg-Landau energy

abstract: In this work we extend some of the results of Ignat and Jerrard for Ginzburg-Landau vortices of tangent vector fields on two-dimensional Riemannian manifolds to the setting of complex hermitian line bundles. In particular, we elucidate the locations of vortices for the cases of Q-tensors and their higher-rank analogs on a sphere.


title: Accuracy of the Graphon Mean Field Approximation for Interacting Particle Systems

abstract: We consider a system of $N$ particles whose interactions are characterized by a (weighted) graph $G^N$. Each particle is a node of the graph with an internal state. The state changes according to Markovian dynamics that depend on the states and connection to other particles. We study the limiting properties, focusing on the dense graph regime, where the number of neighbors of a given node grows with $N$. We show that when $G^N$ converges to a graphon $G$, the behavior of the system converges to a deterministic limit, the graphon mean field approximation. We obtain convergence rates depending on the system size $N$ and cut-norm distance between $G^N$ and $G$. We apply the results for two subcases: When $G^N$ is a discretization of the graph $G$ with individually weighted edges; when $G^N$ is a random graph obtained through edge sampling from the graphon $G$. In the case of weighted interactions, we obtain a bound of order $O(1/N)$. In the random graph case, the error is of order $O(\sqrt{\log(N)/N})$ with high probability. We illustrate the applicability of our results and the numerical efficiency of the approximation through two examples: a graph-based load-balancing model and a heterogeneous bike-sharing system.


title: Primordial black holes, a small review

abstract: With the direct discovery of gravitational waves, black holes have regain interest in the recent years. In particular primordial black holes (PBHs), which originate from the very early Universe, may constitute (at least in part) dark matter. The possibility that dark matter is made of black holes is particularly appealing, and multi-messenger searches are important to probe this hypothesis. In this paper I will discuss the concept of primordial black holes, their origins, their characteristics and the current constraints. In addition I will explain that the study of black holes is of utmost interest since they may constitute portals to new physics and to quantum gravity.


title: Optimal Almost-Balanced Sequences

abstract: This paper presents a novel approach to address the constrained coding challenge of generating almost-balanced sequences. While strictly balanced sequences have been well studied in the past, the problem of designing efficient algorithms with small redundancy, preferably constant or even a single bit, for almost balanced sequences has remained unsolved. A sequence is $\varepsilon(n)$-almost balanced if its Hamming weight is between $0.5n\pm \varepsilon(n)$. It is known that for any algorithm with a constant number of bits, $\varepsilon(n)$ has to be in the order of $\Theta(\sqrt{n})$, with $O(n)$ average time complexity. However, prior solutions with a single redundancy bit required $\varepsilon(n)$ to be a linear shift from $n/2$. Employing an iterative method and arithmetic coding, our emphasis lies in constructing almost balanced codes with a single redundancy bit. Notably, our method surpasses previous approaches by achieving the optimal balanced order of $\Theta(\sqrt{n})$. Additionally, we extend our method to the non-binary case considering $q$-ary almost polarity-balanced sequences for even $q$, and almost symbol-balanced for $q=4$. Our work marks the first asymptotically optimal solutions for almost-balanced sequences, for both, binary and non-binary alphabet.


title: Literature Review on Maneuver-Based Scenario Description for Automated Driving Simulations

abstract: The increasing complexity of automated driving functions and their growing operational design domains imply more demanding requirements on their validation. Classical methods such as field tests or formal analyses are not sufficient anymore and need to be complemented by simulations. For simulations, the standard approach is scenario-based testing, as opposed to distance-based testing primarily performed in field tests. Currently, the time evolution of specific scenarios is mainly described using trajectories, which limit or at least hamper generalizations towards variations. As an alternative, maneuver-based approaches have been proposed. We shed light on the state of the art and available foundations for this new method through a literature review of early and recent works related to maneuver-based scenario description. It includes related modeling approaches originally developed for other applications. Current limitations and research gaps are identified.


title: Evidence of jet activity from the secondary black hole in the OJ287 binary system

abstract: We report the study of a huge optical intraday flare on November 12, 2021, at 2 am UT, in the blazar OJ287. In the binary black hole model it is associated with an impact of the secondary black hole on the accretion disk of the primary. Our multifrequency observing campaign was set up to search for such a signature of the impact, based on a prediction made eight years earlier. The first I-band results of the flare have already been reported by \cite{2024ApJ...960...11K}. Here we combine these data with our monitoring in the R-band. There is a big change in the R-I spectral index by $1.0\pm0.1$ between the normal background and the flare, suggesting a new component of radiation. The polarization variation during the rise of the flare suggests the same. The limits on the source size place it most reasonably in the jet of the secondary black hole. We then ask why we have not seen this phenomenon before. We show that OJ287 was never before observed with sufficient sensitivity on the night when the flare should have happened according to the binary model. We also study the probability that this flare is just an oversized example of intraday variability, using the Krakow-dataset of intense monitoring between 2015 and 2023. We find that the occurrence of a flare of this size and rapidity is unlikely. In the Appendix, we give the full orbit-linked historical light curve of OJ287 as well as the dense monitoring sample of Krakow.


title: Chemical-motif characterization of short-range order with E(3)-equivariant graph neural networks

abstract: Crystalline materials have atomic-scale fluctuations in their chemical composition that modulate various mesoscale properties. Establishing chemistry-microstructure relationships in such materials requires proper characterization of these chemical fluctuations. Yet, current characterization approaches (e.g., Warren-Cowley parameters) make only partial use of the complete chemical and structural information contained in local chemical motifs. Here we introduce a framework based on E(3)-equivariant graph neural networks that is capable of completely identifying chemical motifs in arbitrary crystalline structures with any number of chemical elements. This approach naturally leads to a proper information-theoretic measure for quantifying chemical short-range order (SRO) in chemically complex materials, and a reduced - but complete - representation of the chemical space. Our framework enables the correlation of any per-atom property with their corresponding local chemical motif, thereby offering novel avenues to explore structure-property relationships in chemically-complex materials. Using the MoTaNbTi high-entropy alloy as a test system, we demonstrate the versatility of this approach by evaluating the lattice strain associated with each chemical motif, and computing the temperature dependence of chemical-fluctuations length scale.


title: Improving pulsar timing precision through superior Time-of-Arrival creation

abstract: The measurement of pulsar pulse times-of-arrival (ToAs) is a crucial step in detecting low-frequency gravitational waves. To determine ToAs, we can use template-matching to compare each observed pulse profile with a standard template. However, using different combinations of templates and template-matching methods (TMMs) without careful consideration may lead to inconsistent results. In pulsar timing array (PTA) experiments, distinct ToAs from the same observations can be obtained, due to the use of diverse templates and TMMs. In other words, employing diverse approaches can yield different timing results and would thus have a significant impact on subsequent gravitational wave searches. In this paper, we examine several commonly used combinations to analyze their effect on pulse ToAs. we evaluate the potential impact of template and TMM selection on thirteen typical millisecond pulsars within the European PTA. We employ pulsar timing methods, specifically the root mean square and reduced chi-square $\chi_r^2$ of the residuals of the best timing solution to assess the outcomes. Additionally, we evaluate the system-limited noise floor (SLNF) for each pulsar at various telescopes operating around 1.4~GHz using frequency-resolved templates. Our findings suggest that utilizing data-derived and smoothed templates in conjunction with the Fourier-domain with Markov-chain Monte Carlo (FDM) TMM is generally the most effective approach, though there may be exceptions that require further attention. Furthermore, we determine that pulse phase jitter noise does not significantly limit the current precision of the European PTA's timing, as jitter levels derived from other studies are much smaller than the SLNF.


title: Beyond Quantum Annealing: Optimal control solutions to MaxCut problems

abstract: Quantum Annealing (QA) relies on mixing two Hamiltonian terms, a simple driver and a complex problem Hamiltonian, in a linear combination. The time-dependent schedule for this mixing is often taken to be linear in time: improving on this linear choice is known to be essential and has proven to be difficult. Here, we present different techniques for improving on the linear-schedule QA along two directions, conceptually distinct but leading to similar outcomes: 1) the first approach consists of constructing a Trotter-digitized QA (dQA) with schedules parameterized in terms of Fourier modes or Chebyshev polynomials, inspired by the Chopped Random Basis algorithm (CRAB) for optimal control in continuous time; 2) the second approach is technically a Quantum Approximate Optimization Algorithm (QAOA), whose solutions are found iteratively using linear interpolation or expansion in Fourier modes. Both approaches emphasize finding smooth optimal schedule parameters, ultimately leading to hybrid quantum-classical variational algorithms of the alternating Hamiltonian Ansatz type. We apply these techniques to MaxCut problems on weighted 3-regular graphs with N = 14 sites, focusing on hard instances that exhibit a small spectral gap, for which a standard linear-schedule QA performs poorly. We characterize the physics behind the optimal protocols for both the dQA and QAOA approaches, discovering shortcuts to adiabaticity-like dynamics. Furthermore, we study the transferability of such smooth solutions among hard instances of MaxCut at different circuit depths. Finally, we show that the smoothness pattern of these protocols obtained in a digital setting enables us to adapt them to continuous-time evolution, contrarily to generic non-smooth solutions. This procedure results in an optimized quantum annealing schedule that is implementable on analog devices.


title: A Fast and Scalable Pathwise-Solver for Group Lasso and Elastic Net Penalized Regression via Block-Coordinate Descent

abstract: We develop fast and scalable algorithms based on block-coordinate descent to solve the group lasso and the group elastic net for generalized linear models along a regularization path. Special attention is given when the loss is the usual least squares loss (Gaussian loss). We show that each block-coordinate update can be solved efficiently using Newton's method and further improved using an adaptive bisection method, solving these updates with a quadratic convergence rate. Our benchmarks show that our package adelie performs 3 to 10 times faster than the next fastest package on a wide array of both simulated and real datasets. Moreover, we demonstrate that our package is a competitive lasso solver as well, matching the performance of the popular lasso package glmnet.


title: Instantaneous Bandwidth Estimation from Level-Crossing Samples via LSTM-based Encoder-Decoder Architecture

abstract: This paper presents an approach for instantaneous bandwidth estimation from level-crossing samples using a long short-term memory (LSTM) encoder-decoder architecture. Level-crossing sampling is a nonuniform sampling technique that is particularly useful for energy-efficient acquisition of signals with sparse spectra. Especially in combination with fully analog wireless sensor nodes, level-crossing sampling offers a viable alternative to traditional sampling methods. However, due to the nonuniform distribution of samples, reconstructing the original signal is a challenging task. One promising reconstruction approach is time-warping, where the local signal spectrum is taken into account. However, this requires an accurate estimate of the instantaneous bandwidth of the signal. In this paper, we show that applying neural networks (NNs) to the problem of estimating instantaneous bandwidth from level-crossing samples can improve the overall reconstruction accuracy. We conduct a comprehensive numerical analysis of the proposed approach and compare it to an intensity-based bandwidth estimation method from literature.


title: On the superconducting gap structure of the miassite Rh17S15: Nodal or nodeless?

abstract: Recent penetration depth measurement claimed the observation of unconventional superconductivity in the miassite Rh$_{17}$S$_{15}$ single crystals, evidenced by the linear-in-temperature penetration depth at low temperatures, thereby arguing for the presence of the lines of node in its superconducting gap structure. Here we measure the thermal conductivity of Rh$_{17}$S$_{15}$ single crystals down to 110 mK and up to a field of 8 T ($\simeq 0.4H{\rm_{c2}}$). In marked contrast to the penetration depth measurement, we observe a negligible residual linear term $\kappa_0/T$ in zero field, in line with the nodeless gap structure. The field dependence of $\kappa_0(H)/T$ shows a profile that is more consistent with either a highly anisotropic gap structure or multiple nodeless gaps with significantly different magnitudes. Moreover, first-principles calculations give two electronic bands with complex shape of Fermi surfaces. These results suggest multigap nodeless superconductivity in this multiband Rh$_{17}$S$_{15}$ superconductor.


title: Stabilization of Integral Delay Equations by solving Fredholm equations

abstract: In this paper, we design a stabilizing state-feedback control law for a system represented by a general class of integral delay equations subject to a pointwise and distributed input delay. The proposed controller is defined in terms of integrals of the state and input history over a fixed-length time window. We show that the closed-loop stability is guaranteed, provided the controller integral kernels are solutions to a set of Fredholm equations. The existence of solutions is guaranteed under an appropriate spectral controllability assumption, resulting in an implementable stabilizing control law. The proposed methodology appears simpler and more general compared to existing results in the literature. In particular, under additional regularity assumptions, the proposed approach can be expanded to address the degenerate case where only a distributed control term is present.


title: Approaches to iterative algorithms for solving nonlinear equations with an application in tomographic absorption spectroscopy

abstract: In this paper we propose an approach for solving systems of nonlinear equations without computing function derivatives. Motivated by the application area of tomographic absorption spectroscopy, which is a highly-nonlinear problem with variables coupling, we consider a situation where straightforward translation to a fixed point problem is not possible because the operators that represent the relevant systems of nonlinear equations are not self-mappings, i.e., they operate between spaces of different dimensions. To overcome this difficulty we suggest an "alternating common fixed points algorithm" that acts alternatingly on the different vector variables. This approach translates the original problem to a common fixed point problem for which iterative algorithms are abound and exhibits a viable alternative to translation to an optimization problem, which usually requires derivatives information. However, to apply any of these iterative algorithms requires to ascertain the conditions that appear in their convergence theorems. To circumvent the need to verify conditions for convergence, we propose and motivate a derivative-free algorithm that better suits the tomographic absorption spectroscopy problem at hand and is even further improved by applying to it the superiorization approach. This is presented along with experimental results that demonstrate our approach.


title: Optimal design of experiments in the context of machine-learning inter-atomic potentials: improving the efficiency and transferability of kernel based methods

abstract: Data-driven, machine learning (ML) models of atomistic interactions are often based on flexible and non-physical functions that can relate nuanced aspects of atomic arrangements into predictions of energies and forces. As a result, these potentials are as good as the training data (usually results of so-called ab initio simulations) and we need to make sure that we have enough information for a model to become sufficiently accurate, reliable and transferable. The main challenge stems from the fact that descriptors of chemical environments are often sparse high-dimensional objects without a well-defined continuous metric. Therefore, it is rather unlikely that any ad hoc method of choosing training examples will be indiscriminate, and it will be easy to fall into the trap of confirmation bias, where the same narrow and biased sampling is used to generate train- and test- sets. We will demonstrate that classical concepts of statistical planning of experiments and optimal design can help to mitigate such problems at a relatively low computational cost. The key feature of the method we will investigate is that they allow us to assess the informativeness of data (how much we can improve the model by adding/swapping a training example) and verify if the training is feasible with the current set before obtaining any reference energies and forces -- a so-called off-line approach. In other words, we are focusing on an approach that is easy to implement and doesn't require sophisticated frameworks that involve automated access to high-performance computational (HPC).


title: Drift Detection: Introducing Gaussian Split Detector

abstract: Recent research yielded a wide array of drift detectors. However, in order to achieve remarkable performance, the true class labels must be available during the drift detection phase. This paper targets at detecting drift when the ground truth is unknown during the detection phase. To that end, we introduce Gaussian Split Detector (GSD) a novel drift detector that works in batch mode. GSD is designed to work when the data follow a normal distribution and makes use of Gaussian mixture models to monitor changes in the decision boundary. The algorithm is designed to handle multi-dimension data streams and to work without the ground truth labels during the inference phase making it pertinent for real world use. In an extensive experimental study on real and synthetic datasets, we evaluate our detector against the state of the art. We show that our detector outperforms the state of the art in detecting real drift and in ignoring virtual drift which is key to avoid false alarms.


title: vMFER: Von Mises-Fisher Experience Resampling Based on Uncertainty of Gradient Directions for Policy Improvement

abstract: Reinforcement Learning (RL) is a widely employed technique in decision-making problems, encompassing two fundamental operations -- policy evaluation and policy improvement. Enhancing learning efficiency remains a key challenge in RL, with many efforts focused on using ensemble critics to boost policy evaluation efficiency. However, when using multiple critics, the actor in the policy improvement process can obtain different gradients. Previous studies have combined these gradients without considering their disagreements. Therefore, optimizing the policy improvement process is crucial to enhance learning efficiency. This study focuses on investigating the impact of gradient disagreements caused by ensemble critics on policy improvement. We introduce the concept of uncertainty of gradient directions as a means to measure the disagreement among gradients utilized in the policy improvement process. Through measuring the disagreement among gradients, we find that transitions with lower uncertainty of gradient directions are more reliable in the policy improvement process. Building on this analysis, we propose a method called von Mises-Fisher Experience Resampling (vMFER), which optimizes the policy improvement process by resampling transitions and assigning higher confidence to transitions with lower uncertainty of gradient directions. Our experiments demonstrate that vMFER significantly outperforms the benchmark and is particularly well-suited for ensemble structures in RL.


title: Upwards homogeneity in iterated symmetric extensions

abstract: It is sometimes desirable in choiceless constructions of set theory that one iteratively extends some ground model without adding new sets of ordinals after the first extension. Pushing this further, one may wish to have models $V \subseteq M \subseteq N$ of $\mathsf{ZF}$ such that $N$ contains no subsets of $V$ that do not already appear in $M$. We isolate, in the case that $M$ and $N$ are symmetric extensions (particular inner models of a generic extension of $V$), the exact conditions that cause this behaviour and show how it can broadly be applied to many known constructions. We call this behaviour upwards homogeneity.


title: A sparsity test for multivariate Hawkes processes

abstract: Multivariate Hawkes processes (MHP) are a class of point processes in which events at different coordinates interact through mutual excitation. The weighted adjacency matrix of the MHP encodes the strength of the relations, and shares its support with the causal graph of interactions of the process. We consider the problem of testing for causal relationships across the dimensions of a marked MHP. The null hypothesis is that a joint group of adjacency coefficients are null, corresponding to the absence of interactions. The alternative is that they are positive, and the associated interactions do exist. To this end, we introduce a novel estimation procedure in the context of a large sample of independent event sequences. We construct the associated likelihood ratio test and derive the asymptotic distribution of the test statistic as a mixture of chi squared laws. We offer two applications on financial datasets to illustrate the performance of our method. In the first one, our test reveals a deviation from a static equilibrium in bidders' strategies on retail online auctions. In the second one, we uncover some factors at play in the dynamics of German intraday power prices.


title: Asymptotic directions in the moduli space of curves

abstract: In this paper we study asymptotic directions in the tangent bundle of the moduli space ${\mathcal M}_g$ of curves of genus $g$, namely those tangent directions that are annihilated by the second fundamental form of the Torelli map. We give examples of asymptotic directions for any $g \geq 4$. We prove that if the rank $d$ of a tangent direction $\zeta \in H^1(T_C)$ (with respect to the infinitesimal deformation map) is less than the Clifford index of the curve $C$, then $\zeta$ is not asymptotic. If the rank of $\zeta$ is equal to the Clifford index of the curve, we give sufficient conditions ensuring that the infinitesimal deformation $\zeta$ is not asymptotic. Then we determine all asymptotic directions of rank 1 and we give an almost complete description of asymptotic directions of rank 2.


title: Cavity-enhanced superconductivity via band engineering

abstract: We consider a two-dimensional electron gas interacting with a quantized cavity mode. We find that the coupling between the electrons and the photons in the cavity enhances the superconducting gap. Crucially, all terms in the Peierls phase are kept, in contrast to more naive approaches, which may result in spurious superradiant phase transitions. We use a mean-field theory to show that the gap increases approximately linearly with the cavity coupling strength. The effect can be observed locally as an increase in the gap size via scanning tunneling microscopy (STM) measurements for a flake of a 2D material (or for a Moir\'e system where the enhancement is expected to be more pronounced due to a large lattice constant) interacting with a locally-structured electromagnetic field formed by split-ring resonators. Our results are also relevant for quantum optics setups with cold atoms interacting with the cavity mode, where the lattice geometry and system parameters can be tuned in a vast range.


title: On the positivity of MSbar distributions

abstract: We discuss the positivity of parton distribution functions using the common $\overline{MS}$ factorization scheme. We find that in the perturbative regime $\overline{MS}$ PDFs inherit the strict positivity of physical PDFs. We explicitly discuss the scheme transformation by using suitable physical observables and find that $\overline{MS}$ PDFs are positive above the scale $Q^2$ > 5 GeV^2. Finally, we comment on the direct counterpart of longitudinally polarized PDFs, finding agreement with the unpolarized counterpart.


title: Thinking Tokens for Language Modeling

abstract: How much is 56 times 37? Language models often make mistakes in these types of difficult calculations. This is usually explained by their inability to perform complex reasoning. Since language models rely on large training sets and great memorization capability, naturally they are not equipped to run complex calculations. However, one can argue that humans also cannot perform this calculation immediately and require a considerable amount of time to construct the solution. In order to enhance the generalization capability of language models, and as a parallel to human behavior, we propose to use special 'thinking tokens' which allow the model to perform much more calculations whenever a complex problem is encountered.


title: Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation

abstract: Graph convolutional neural networks (GCNs) are powerful tools for learning graph-based knowledge representations from training data. However, they are vulnerable to small perturbations in the input graph, which makes them susceptible to input faults or adversarial attacks. This poses a significant problem for GCNs intended to be used in critical applications, which need to provide certifiably robust services even in the presence of adversarial perturbations. We propose an improved GCN robustness certification technique for node classification in the presence of node feature perturbations. We introduce a novel polyhedra-based abstract interpretation approach to tackle specific challenges of graph data and provide tight upper and lower bounds for the robustness of the GCN. Experiments show that our approach simultaneously improves the tightness of robustness bounds as well as the runtime performance of certification. Moreover, our method can be used during training to further improve the robustness of GCNs.


title: Partial order on involutive permutations and double Schubert cells

abstract: As shown by A. Melnikov, the orbits of a Borel subgroup acting by conjugation on upper-triangular matrices with square zero are indexed by involutions in the symmetric group. The inclusion relation among the orbit closures defines a partial order on involutions. We observe that the same order on involutive permutations also arises while describing the inclusion order on B-orbit closures in the direct product of two Grassmannians. We establish a geometric relation between these two settings.


title: Output-decomposed Learning of Mealy Machines

abstract: We present an active automata learning algorithm which learns a decomposition of a finite state machine, based on projecting onto individual outputs. This is dual to a recent compositional learning algorithm by Labbaf et al. (2023). When projecting the outputs to a smaller set, the model itself is reduced in size. By having several such projections, we do not lose any information and the full system can be reconstructed. Depending on the structure of the system this reduces the number of queries drastically, as shown by a preliminary evaluation of the algorithm.


title: Modeling Realistic Heating Profiles of Transition Region Hot Loops on the Sun: Evidence for Impulsive Heating and Non-equilibrium Ionization

abstract: The study examines the heating profile of hot solar transition region loops, particularly focusing on transient brightenings observed in IRIS 1400{\AA} slit-jaw images. The findings challenge the adequacy of simplistic, singular heating mechanisms, revealing that the heating is temporally impulsive and requires a spatially complex profile with multiple heating scales. A forward modeling code is utilized to generate synthetic IRIS emission spectra of these loops based on HYDRAD output, confirming that emitting ions are out of equilibrium. The modeling further indicates that density-dependent dielectronic recombination rates must be included to reproduce the observed line ratios. Collectively, this evidence substantiates that the loops are subject to impulsive heating and that the components of the transiently brightened plasma are driven far from thermal equilibrium. Heating events such as these are ubiquitous in the transition region and the analysis described above provides a robust observational diagnostic tool for characterizing the plasma.


title: The computational power of discrete chemical reaction networks with bounded executions

abstract: Chemical reaction networks (CRNs) model systems where molecules interact according to a finite set of reactions such as $A + B \to C$, representing that if a molecule of $A$ and $B$ collide, they disappear and a molecule of $C$ is produced. CRNs can compute Boolean-valued predicates $\phi:\mathbb{N}^d \to \{0,1\}$ and integer-valued functions $f:\mathbb{N}^d \to \mathbb{N}$; for instance $X_1 + X_2 \to Y$ computes the function $\min(x_1,x_2)$. We study the computational power of execution bounded CRNs, in which only a finite number of reactions can occur from the initial configuration (e.g., ruling out reversible reactions such as $A \rightleftharpoons B$). The power and composability of such CRNs depend crucially on some other modeling choices that do not affect the computational power of CRNs with unbounded executions, namely whether an initial leader is present, and whether (for predicates) all species are required to "vote" for the Boolean output. If the CRN starts with an initial leader, and can allow only the leader to vote, then all semilinear predicates and functions can be stably computed in $O(n \log n)$ parallel time by execution bounded CRNs. However, if no initial leader is allowed, all species vote, and the CRN is "noncollapsing" (does not shrink from initially large to final $O(1)$ size configurations), then execution bounded CRNs are severely limited, able to compute only eventually constant predicates. A key tool is to characterize execution bounded CRNs as precisely those with a nonnegative linear potential function that is strictly decreased by every reaction, a result that may be of independent interest.


title: An explicit economical additive basis

abstract: We present an explicit subset $A\subseteq \mathbb{N} = \{0,1,\ldots\}$ such that $A + A = \mathbb{N}$ and for all $\varepsilon > 0$, \[\lim_{N\to \infty}\frac{\big|\big\{(n_1,n_2): n_1 + n_2 = N, (n_1,n_2)\in A^2\big\}\big|}{N^{\varepsilon}} = 0.\] This answers a question of Erd\H{o}s.


title: BeACONS: A Blockchain-enabled Authentication and Communications Network for Scalable IoV

abstract: This paper introduces a novel blockchain-enabled authentication and communications network for scalable Internet of Vehicles, which aims to bolster security and confidentiality, diminish communications latency, and reduce dependence on centralised infrastructures like Certificate Authorities and Public Key Infrastructures by leveraging Blockchain-enabled Domain Name Services and Blockchain-enabled Mutual Authentication. The proposed network is structured into a primary layer, consisting of Road Side Units and edge servers as servers of Blockchain-enabled Domain Name Services for managing inter-vehicle communications identities, and a sub-layer within each vehicle for intra-vehicle communications via the Blockchain-enabled Mutual Authentication Protocol. This design facilitates secure connections across vehicles by coordinating between the layers, significantly improving communications security and efficiency. This study also evaluates Road Side Unit availability against the random distribution of Road Side Units along the route of different vehicles. The proposed model presents a novel pathway towards a decentralised, secure, and efficient Internet of Vehicles ecosystem, contributing to the advancement of autonomous and trustworthy vehicular networks.


title: Non-local parabolic equations with singular (Morrey) time-inhomogeneous drift

abstract: We obtain Sobolev regularity estimates for solutions of non-local parabolic equations with locally unbounded drift satisfying some minimal assumptions. These results yield Krylov bound for the corresponding Feller stable process as well as some a priori regularity estimates on solutions of McKean-Vlasov equations. A key element of our arguments is a parabolic operator norm inequality that we prove using some ideas of Adams and Krylov.


title: The Connectedness Homomorphism between Discrete Morse Complexes

abstract: Given two discrete Morse functions on a simplicial complex, we introduce the {\em connectedness homomorphism} between the corresponding discrete Morse complexes. This concept leads to a novel framework for studying the connectedness in discrete Morse theory at the chain complex level. In particular, we apply it to describe a discrete analogy to `cusp-degeneration' of Morse complexes. A precise comparison between smooth case and our discrete cases is also given.


title: Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring

abstract: With the increasing use of neural networks in critical systems, runtime monitoring becomes essential to reject unsafe predictions during inference. Various techniques have emerged to establish rejection scores that maximize the separability between the distributions of safe and unsafe predictions. The efficacy of these approaches is mostly evaluated using threshold-agnostic metrics, such as the area under the receiver operating characteristic curve. However, in real-world applications, an effective monitor also requires identifying a good threshold to transform these scores into meaningful binary decisions. Despite the pivotal importance of threshold optimization, this problem has received little attention. A few studies touch upon this question, but they typically assume that the runtime data distribution mirrors the training distribution, which is a strong assumption as monitors are supposed to safeguard a system against potentially unforeseen threats. In this work, we present rigorous experiments on various image datasets to investigate: 1. The effectiveness of monitors in handling unforeseen threats, which are not available during threshold adjustments. 2. Whether integrating generic threats into the threshold optimization scheme can enhance the robustness of monitors.


title: A Distributed Approach to Autonomous Intersection Management via Multi-Agent Reinforcement Learning

abstract: Autonomous intersection management (AIM) poses significant challenges due to the intricate nature of real-world traffic scenarios and the need for a highly expensive centralised server in charge of simultaneously controlling all the vehicles. This study addresses such issues by proposing a novel distributed approach to AIM utilizing multi-agent reinforcement learning (MARL). We show that by leveraging the 3D surround view technology for advanced assistance systems, autonomous vehicles can accurately navigate intersection scenarios without needing any centralised controller. The contributions of this paper thus include a MARL-based algorithm for the autonomous management of a 4-way intersection and also the introduction of a new strategy called prioritised scenario replay for improved training efficacy. We validate our approach as an innovative alternative to conventional centralised AIM techniques, ensuring the full reproducibility of our results. Specifically, experiments conducted in virtual environments using the SMARTS platform highlight its superiority over benchmarks across various metrics.


title: Interpretable data-driven turbulence modeling for separated flows using symbolic regression with unit constraints

abstract: Machine learning techniques have been applied to enhance turbulence modeling in recent years. However, the "black box" nature of most machine learning techniques poses significant interpretability challenges in improving turbulence models. This paper introduces a novel unit-constrained turbulence modeling framework using symbolic regression to overcome these challenges. The framework amends the constitutive equation of linear eddy viscosity models (LEVMs) by establishing explicit equations between the Reynolds stress deviation and mean flow quantities, thereby improving the LEVM model's predictive capability for large separated turbulence. Unit consistency constraints are applied to the symbolic expressions to ensure physical realizability. The framework's effectiveness is demonstrated through its application to the separated flow over 2D periodic hills. Numerical simulations are conducted to validate the accuracy and generalization capabilities of the learned turbulence model. Compared to the standard k-{\epsilon} model, the learned model exhibits significantly enhanced predictive accuracy for anisotropic Reynolds stresses and flow velocities. It also more accurately identifies flow separations and exhibits promising generalization capabilities across different flow geometries.


title: Self-supervised learning improves robustness of deep learning lung tumor segmentation to CT imaging differences

abstract: Self-supervised learning (SSL) is an approach to extract useful feature representations from unlabeled data, and enable fine-tuning on downstream tasks with limited labeled examples. Self-pretraining is a SSL approach that uses the curated task dataset for both pretraining the networks and fine-tuning them. Availability of large, diverse, and uncurated public medical image sets provides the opportunity to apply SSL in the "wild" and potentially extract features robust to imaging variations. However, the benefit of wild- vs self-pretraining has not been studied for medical image analysis. In this paper, we compare robustness of wild versus self-pretrained transformer (vision transformer [ViT] and hierarchical shifted window [Swin]) models to computed tomography (CT) imaging differences for non-small cell lung cancer (NSCLC) segmentation. Wild-pretrained Swin models outperformed self-pretrained Swin for the various imaging acquisitions. ViT resulted in similar accuracy for both wild- and self-pretrained models. Masked image prediction pretext task that forces networks to learn the local structure resulted in higher accuracy compared to contrastive task that models global image information. Wild-pretrained models resulted in higher feature reuse at the lower level layers and feature differentiation close to output layer after fine-tuning. Hence, we conclude: Wild-pretrained networks were more robust to analyzed CT imaging differences for lung tumor segmentation than self-pretrained methods. Swin architecture benefited from such pretraining more than ViT.


title: Beyond the Black Box: Do More Complex Models Provide Superior XAI Explanations?

abstract: The increasing complexity of Artificial Intelligence models poses challenges to interpretability, particularly in the healthcare sector. This study investigates the impact of deep learning model complexity and Explainable AI (XAI) efficacy, utilizing four ResNet architectures (ResNet-18, 34, 50, 101). Through methodical experimentation on 4,369 lung X-ray images of COVID-19-infected and healthy patients, the research evaluates models' classification performance and the relevance of corresponding XAI explanations with respect to the ground-truth disease masks. Results indicate that the increase in model complexity is associated with a decrease in classification accuracy and AUC-ROC scores (ResNet-18: 98.4%, 0.997; ResNet-101: 95.9%, 0.988). Notably, in eleven out of twelve statistical tests performed, no statistically significant differences occurred between XAI quantitative metrics - Relevance Rank Accuracy and the proposed Positive Attribution Ratio - across trained models. These results suggest that increased model complexity does not consistently lead to higher performance or relevance of explanations for models' decision-making processes.


title: Conformal scattering of the wave equation in the Vaidya spacetime

abstract: We construct the conformal scattering operator for the scalar wave equation on the Vaidya spacetime using vector field methods. The spacetime we consider is Schwarzschild, near both past and future timelike infinities, in order to use existing decay results for the scalar field, ensuring our energy estimates. These estimates guarantee the injectivity of the trace operator and the closure of its range. Finally, we solve a Goursat problem for the scalar waves on null infinities, demonstrating that the range of the trace operator is dense. Consequently, this implies that the scattering operator is an isomorphism.


title: On the origin of the quasi-periodic micro-pulses observed in the radio-frequency emission of some neutron stars

abstract: The linear relationship between pulsar micro-pulse widths and rotation period is consistent with the existence of a physical length L on the neutron-star surface and seen on the observer arc of transit across the polar cap. Within the ion-proton model it is the width of the minimum area of surface that can support the critical growth rate of the unstable two-beam Langmuir mode that is the source of the radio emission.


title: Gradient Estimation and Variance Reduction in Stochastic and Deterministic Models

abstract: It seems that in the current age, computers, computation, and data have an increasingly important role to play in scientific research and discovery. This is reflected in part by the rise of machine learning and artificial intelligence, which have become great areas of interest not just for computer science but also for many other fields of study. More generally, there have been trends moving towards the use of bigger, more complex and higher capacity models. It also seems that stochastic models, and stochastic variants of existing deterministic models, have become important research directions in various fields. For all of these types of models, gradient-based optimization remains as the dominant paradigm for model fitting, control, and more. This dissertation considers unconstrained, nonlinear optimization problems, with a focus on the gradient itself, that key quantity which enables the solution of such problems. In chapter 1, we introduce the notion of reverse differentiation, a term which describes the body of techniques which enables the efficient computation of gradients. We cover relevant techniques both in the deterministic and stochastic cases. We present a new framework for calculating the gradient of problems which involve both deterministic and stochastic elements. In chapter 2, we analyze the properties of the gradient estimator, with a focus on those properties which are typically assumed in convergence proofs of optimization algorithms. Chapter 3 gives various examples of applying our new gradient estimator. We further explore the idea of working with piecewise continuous models, that is, models with distinct branches and if statements which define what specific branch to use.


title: Representation theory of skew braces

abstract: According to Letourmy and Vendramin, a representation of a skew brace is a pair of representations on the same vector space, one for the additive group and the other for the multiplicative group, that satisfies a certain compatibility condition. Following their definition, we shall explain how some of the results from representation theory of groups, such as Maschke's theorem and Clifford's theorem, extend naturally to that of skew braces. We shall also give some concrete examples to illustrate that skew brace representations are more difficult to classify than group representations.


title: D-CAST: Distributed Consensus Switch in Wireless Trustworthy Autonomous System

abstract: The protocols of distributed consensus normally aim to tolerate different types of faults including crash faults and byzantine faults that occur in the distributed systems. However, the dynamic network topology and stochastic wireless channels may cause the same trustworthy system to suffer both crash fault and byzantine fault. This article proposes the concept of a distributed consensus autonomous switch mechanism in trustworthy autonomous systems (D-CAST) to reach the different fault tolerance requirements of the dynamic nodes and discusses the challenges of D-CAST while it is implemented in the wireless trustworthy system.


title: Near critical asymptotics in the Frozen Erd\H{o}s-R\'enyi

abstract: We consider a variant of the classical Erd\H{o}s-R\'enyi random graph, where components with surplus are slowed down to prevent the apparition of complex components. The sizes of the components of this process undergo a similar phase transition to that of the classical model, and in the critical window the scaling limit of the sizes of the components is a "frozen" version of Aldous' multiplicative coalescent [2]. The aim of this article is to describe the long time asymptotics in the critical window for the total number of vertices which belong to a component with surplus.


title: Note: Shoving model and the glass transition in one-component plasma

abstract: A modified shoving model is applied to estimate the location of the glass transition in a one-component plasma. The estimated value of the coupling parameter $\Gamma\simeq 570$ at the glass transition is compared with other predictions available in the literature.

categories: cond-mat.stat-mech cond-mat.soft physics.chem-ph physics.plasm-ph


title: The Role of Sunspots Magnetic Configuration in the Formation of Umbral Fine-Structures

abstract: We use spectro-polarimetric data recorded by Hinode to analyze the magnetic field configuration of a part of a sunspot (AR 10923) where a bundle of penumbral filaments are intruding into its umbra. We want to explore the role of the sunspot magnetic configuration in the formation and kinematics of the fine-structures, such as umbral dots and light bridges, inside the sunspot umbra. Both direct inferences from polarization Stokes profiles and the inversion results using the SIR code indicate an aligned magnetic field configuration in the umbra where moving umbral dots are easily formed at the leading edges of the rapidly intruding penumbral filaments. We suggest that the magnetic field topology is rearranged leading to the observed aligned magnetic field lines via magnetic reconnection process by which a part of the magnetic energy is converted into thermal and kinetic energy. This new configuration causes the umbral fine-structures to form easily and more frequently.


title: Characterisation and simulation of stitched CMOS strip sensors

abstract: In high-energy physics, there is a need to investigate alternative silicon sensor concepts that offer cost-efficient, large-area coverage. Sensors based on CMOS imaging technology present such a silicon sensor concept for tracking detectors. The CMOS Strips project investigates passive CMOS strip sensors fabricated by LFoundry in a 150nm technology. By employing the technique of stitching, two different strip sensor formats have been realised. The sensor performance is characterised based on measurements at the DESY II Test Beam Facility. The sensor response was simulated utilising Monte Carlo methods and electric fields provided by TCAD device simulations. This study shows that employing the stitching technique does not affect the hit detection efficiency. A first look at the electric field within the sensor and its impact on generated charge carriers is being discussed.


title: Promoting AI Equity in Science: Generalized Domain Prompt Learning for Accessible VLM Research

abstract: Large-scale Vision-Language Models (VLMs) have demonstrated exceptional performance in natural vision tasks, motivating researchers across domains to explore domain-specific VLMs. However, the construction of powerful domain-specific VLMs demands vast amounts of annotated data, substantial electrical energy, and computing resources, primarily accessible to industry, yet hindering VLM research in academia. To address this challenge and foster sustainable and equitable VLM research, we present the Generalized Domain Prompt Learning (GDPL) framework. GDPL facilitates the transfer of VLMs' robust recognition capabilities from natural vision to specialized domains, without the need for extensive data or resources. By leveraging small-scale domain-specific foundation models and minimal prompt samples, GDPL empowers the language branch with domain knowledge through quaternion networks, uncovering cross-modal relationships between domain-specific vision features and natural vision-based contextual embeddings. Simultaneously, GDPL guides the vision branch into specific domains through hierarchical propagation of generated vision prompt features, grounded in well-matched vision-language relations. Furthermore, to fully harness the domain adaptation potential of VLMs, we introduce a novel low-rank adaptation approach. Extensive experiments across diverse domains like remote sensing, medical imaging, geology, Synthetic Aperture Radar, and fluid dynamics, validate the efficacy of GDPL, demonstrating its ability to achieve state-of-the-art domain recognition performance in a prompt learning paradigm. Our framework paves the way for sustainable and inclusive VLM research, transcending the barriers between academia and industry.


title: Quantum Circuit Model for Lattice Boltzmann Fluid Flow Simulations

abstract: In the present contribution, we propose a quantum computational algorithm for the Lattice Boltzmann Method (LBM) to solve fluid flow equations in the low Reynolds number ($Re$) regime. Firstly, we express the LBM collision and streaming operators in matrix form. Since quantum logic gates are typically expressed as unitary matrices, we first decompose LBM operations as a product of unitaries. The particle distribution functions (PDFs) of LBM are encoded as probability amplitudes of the quantum state. We have observed that the amplitudes in the state vector (SV) can be affected: (i) by the choice of encoding the PDFs during the quantum state preparation or (ii) when collision is followed by streaming, as in classical LBM implementation. In the first case, we show that the ancilla qubit must be in superposition with the compute qubits during the quantum state preparation. The superposition allows the SV to utilize the increased Hilbert space offered by the ancilla qubit rather than placing the ancilla in a separate register, which restricts the space of possible outcomes. Next, we show that the second issue can be resolved by having an intermediate Hadamard gate before the streaming operation. The proposed algorithm has been tested through typical benchmark problems like advection-diffusion of a Gaussian hill, Poiseuille flow, Couette flow, and the lid-driven cavity problem. The results are validated with the respective analytic or reference solutions. Translating the unitaries into quantum gates (circuit synthesis) presents a primary challenge, as a unitary matrix can be decomposed in multiple ways. We report on the CNOT and U gate counts obtained for the test cases with the range of qubits from 9 to 12. Although the gate count closely agrees with the theoretical limit, the number of two qubit gates is in the $O(10^7)$ prompts special attention to circuit synthesis.


title: Infrared gravity and a celestial obstruction to monogamy constraints

abstract: We argue that gravitational interactions between particles require a departure from the conventional picture of the quantum state of a multiparticle system in terms of tensor products of one-particle states. This modification is essential in order to accommodate the existence of a new boost-like relativistic angular momentum charge which pairs of particles must carry asymptotically due to long-range effects of gravity. These findings challenge conventional assumptions, prompting a reevaluation of the constraints on quantum entanglement between particle subsystems in a black hole geometry.


title: Sequentially Cohen-Macaulay binomial edge ideals

abstract: We prove that cycles, wheels and block graphs have sequentially Cohen-Macaulay binomial edge ideals. Moreover, we provide a construction of new families of sequentially Cohen-Macaulay graphs by cones.


title: EndoDAC: Efficient Adapting Foundation Model for Self-Supervised Depth Estimation from Any Endoscopic Camera

abstract: Depth estimation plays a crucial role in various tasks within endoscopic surgery, including navigation, surface reconstruction, and augmented reality visualization. Despite the significant achievements of foundation models in vision tasks, including depth estimation, their direct application to the medical domain often results in suboptimal performance. This highlights the need for efficient adaptation methods to adapt these models to endoscopic depth estimation. We propose Endoscopic Depth Any Camera (EndoDAC) which is an efficient self-supervised depth estimation framework that adapts foundation models to endoscopic scenes. Specifically, we develop the Dynamic Vector-Based Low-Rank Adaptation (DV-LoRA) and employ Convolutional Neck blocks to tailor the foundational model to the surgical domain, utilizing remarkably few trainable parameters. Given that camera information is not always accessible, we also introduce a self-supervised adaptation strategy that estimates camera intrinsics using the pose encoder. Our framework is capable of being trained solely on monocular surgical videos from any camera, ensuring minimal training costs. Experiments demonstrate that our approach obtains superior performance even with fewer training epochs and unaware of the ground truth camera intrinsics. Code is available at https://github.com/BeileiCui/EndoDAC.


title: Healthy Horndeski gravities with torsion

abstract: We show that the full Horndeski theory with both curvature and torsion can support nonsingular, stable and subluminal cosmological solutions at all times. Thus, with torsion, the usual No-Go theorem that holds in a curved spacetime is avoided. In particular, it is essential to include the nonminimal derivative couplings of the $\mathcal{L}_{5}$ part of the Horndeski action ($G^{\mu\nu}\,\nabla_\mu \nabla_\nu \phi,$ and $(\nabla^2 \phi)^3$). Without the latter a No-Go already impedes the eternal subluminality of nonsingular, stable cosmologies.


title: Expensive Multi-Objective Bayesian Optimization Based on Diffusion Models

abstract: Multi-objective Bayesian optimization (MOBO) has shown promising performance on various expensive multi-objective optimization problems (EMOPs). However, effectively modeling complex distributions of the Pareto optimal solutions is difficult with limited function evaluations. Existing Pareto set learning algorithms may exhibit considerable instability in such expensive scenarios, leading to significant deviations between the obtained solution set and the Pareto set (PS). In this paper, we propose a novel Composite Diffusion Model based Pareto Set Learning algorithm, namely CDM-PSL, for expensive MOBO. CDM-PSL includes both unconditional and conditional diffusion model for generating high-quality samples. Besides, we introduce an information entropy based weighting method to balance different objectives of EMOPs. This method is integrated with the guiding strategy, ensuring that all the objectives are appropriately balanced and given due consideration during the optimization process; Extensive experimental results on both synthetic benchmarks and real-world problems demonstrates that our proposed algorithm attains superior performance compared with various state-of-the-art MOBO algorithms.


title: Simplifying debiased inference via automatic differentiation and probabilistic programming

abstract: We introduce an algorithm that simplifies the construction of efficient estimators, making them accessible to a broader audience. 'Dimple' takes as input computer code representing a parameter of interest and outputs an efficient estimator. Unlike standard approaches, it does not require users to derive a functional derivative known as the efficient influence function. Dimple avoids this task by applying automatic differentiation to the statistical functional of interest. Doing so requires expressing this functional as a composition of primitives satisfying a novel differentiability condition. Dimple also uses this composition to determine the nuisances it must estimate. In software, primitives can be implemented independently of one another and reused across different estimation problems. We provide a proof-of-concept Python implementation and showcase through examples how it allows users to go from parameter specification to efficient estimation with just a few lines of code.


title: Assessing global crabbing scheme feasibility for Electron-Ion Collider

abstract: The Electron-Ion Collider (EIC) plans to utilize the local crabbing crossing scheme. This paper explores the feasibility of adopting a single crab cavity with adjusted voltage, inspired by the successful global crabbing scheme in KEKB, to restore effective head-on collisions. Using weak-strong simulations, the study assesses the potential of this global crabbing scheme for the EIC while emphasizing the need for adiabatic cavity ramping to prevent luminosity loss. Additionally, the research outlines potential risks associated with beam dynamics in implementing this scheme.


title: Towards the Quantized Anomalous Hall effect in AlO$_x$-capped MnBi$_2$Te$_4$

abstract: The quantum anomalous Hall effect in layered antiferromagnet MnBi$_2$Te$_4$ harbors a rich interplay between magnetism and topology, holding a significant promise for low-power electronic devices and topological antiferromagnetic spintronics. In recent years, MnBi$_2$Te$_4$ has garnered considerable attention as the only known material to exhibit the antiferromagnetic quantum anomalous Hall effect. However, this field faces significant challenges as realizing quantized transport at zero magnetic fields depends critically on fabricating high-quality device. In this article, we address the detrimental influences of fabrication on MnBi$_2$Te$_4$ by simply depositing an AlO$_x$ thin layer on the surface prior to fabrications. Optical contrast and magnetotransport measurements on over 50 samples demonstrate that AlO$_x$ can effectively preserve the pristine state of the samples and significantly enhance the anomalous Hall effect towards quantization. Scaling analysis reveals the Berry curvature dominated mechanism of the anomalous Hall effect at various magnetic configurations. By adjusting the gate voltage, we uncover a gate independent antiferromagnetism in MnBi$_2$Te$_4$. Our experiment not only pave the way for fabricating high-quality transport devices but also advance the exploration of exotic quantum physics in 2D materials.


title: Wiener's Tauberian theorem in classical and quantum harmonic analysis

abstract: We investigate Wiener's Tauberian theorem from the perspective of limit functions, which results in several new versions of the Tauberian theorem. Based on this, we formulate and prove analogous Tauberian theorems for operators in the sense of quantum harmonic analysis. Using these results, we characterize the class of slowly oscillating operators and show that this class is strictly larger than the class of compact operators. Finally, we discuss uniform versions of Wiener's Tauberian theorem and its operator analogue and provide an application of this in operator theory.


title: Investigating Design Choices in Joint-Embedding Predictive Architectures for General Audio Representation Learning

abstract: This paper addresses the problem of self-supervised general-purpose audio representation learning. We explore the use of Joint-Embedding Predictive Architectures (JEPA) for this task, which consists of splitting an input mel-spectrogram into two parts (context and target), computing neural representations for each, and training the neural network to predict the target representations from the context representations. We investigate several design choices within this framework and study their influence through extensive experiments by evaluating our models on various audio classification benchmarks, including environmental sounds, speech and music downstream tasks. We focus notably on which part of the input data is used as context or target and show experimentally that it significantly impacts the model's quality. In particular, we notice that some effective design choices in the image domain lead to poor performance on audio, thus highlighting major differences between these two modalities.


title: Generalized uncertainty principle distorted quintessence dynamics

abstract: In this paper, we invoke a generalized uncertainty principle (GUP) in the symmetry-reduced cosmological Hamiltonian for a universe driven by a quintessence scalar field with potential. Our study focuses on semi-classical regime. In particular, we derive the GUP-distorted Friedmann, Raychaudhuri, and the Klein-Gordon equation. This is followed by a systematic analysis of the qualitative dynamics for the choice of potential $V(\phi)= V_0 \sinh^{-n}{(\mu \phi)}$. This involves constructing an autonomous dynamical system of equations by choosing appropriate dynamical variables, followed by a qualitative study using linear stability theory. Our analysis shows that incorporating GUP significantly changes the existing fixed points compared to the limiting case without quantum effects by switching off the GUP.


title: Achieving Fairness Through Channel Pruning for Dermatological Disease Diagnosis

abstract: Numerous studies have revealed that deep learning-based medical image classification models may exhibit bias towards specific demographic attributes, such as race, gender, and age. Existing bias mitigation methods often achieve high level of fairness at the cost of significant accuracy degradation. In response to this challenge, we propose an innovative and adaptable Soft Nearest Neighbor Loss-based channel pruning framework, which achieves fairness through channel pruning. Traditionally, channel pruning is utilized to accelerate neural network inference. However, our work demonstrates that pruning can also be a potent tool for achieving fairness. Our key insight is that different channels in a layer contribute differently to the accuracy of different groups. By selectively pruning critical channels that lead to the accuracy difference between the privileged and unprivileged groups, we can effectively improve fairness without sacrificing accuracy significantly. Experiments conducted on two skin lesion diagnosis datasets across multiple sensitive attributes validate the effectiveness of our method in achieving state-of-the-art trade-off between accuracy and fairness. Our code is available at https://github.com/Kqp1227/Sensitive-Channel-Pruning.


title: Norms of spherical averaging operators for some geometric group actions

abstract: We obtain asymptotic estimates for the $\ell^p$-operator norm of spherical averaging operators associated to certain geometric group actions. The motivating example is the case of Gromov hyperbolic groups, for which we obtain asymptotically sharp estimates. We deduce asymptotic lower bounds for the combinatorial expansion of spheres.


title: Selective incorporation of antimony into gallium nitride

abstract: Dilute concentrations of antimony (Sb) incorporation into GaN induce strong band-gap bowing and tunable room-temperature photoluminescence from the UV to the green spectral regions. However, the atomistic details of the incorporation of Sb into the GaN host remain unclear. In this work, we use first-principles calculations to understand the thermodynamics of Sb substitution into GaN, and its effect on the optical and Raman spectra. Although it is empirically considered that Sb is preferentially incorporated as an anion ($\mathrm{Sb^{3-}}$) into the N sublattice, we demonstrate that Sb can also be incorporated as a cation ($\mathrm{Sb^{3+}}$, $\mathrm{Sb^{5+}}$) into the metal sublattice. Our thermodynamic analysis demonstrates that $\mathrm{Sb_N^0}$, $\mathrm{Sb_{Ga}^{2+}}$, and $\mathrm{Sb_{Ga}^0}$ can co-exist under Ga-rich conditions in n-type samples. We further confirm the dual incorporation of Sb by calculating the vibrational frequencies of different anionic and cation substitutions to explain the origins of experimentally observed additional Raman peaks of Sb-doped GaN. Moreover, the calculated band structures of different Sb substitutions into GaN explain the experimental photoluminescence and optical absorption spectra. Overall, our analysis suggests that the coexistence of $\mathrm{Sb^{3-}}$, $\mathrm{Sb^{3+}}$, and $\mathrm{Sb^{5+}}$ substitutions into GaN explains the totality of experimental measurements. Our results demonstrate that the selective incorporation of Sb into GaN (and potentially other group-V elements such as As, P, or Bi) by tuning the growth conditions can drastically modify the electronic properties, for applications in visible light emitters and photocatalysis.


title: Superconducting and topological properties of compound Lu$_4$H$_7$N

abstract: A recent experiment has reported a nitrogen-doped lutetium hydride acheving a remarkable Tc of 294 K at just 1 GPa, significantly reducing the required pressure for obtaining room temperature superconductivity. However, subsequent experimental and theoretical investigations have encountered difficulties in replicating these results, leaving the structure of this Lu-H-N compound shrouded in uncertainty. Here, we propose a stable structure for Lu$_4$H$_7$N employing first-principles calculations. Our calculations reveal that Lu$_4$H$_7$N has a Tc of 1.044 K, which can be substantially enhanced to 11.721 K at 150 GPa, due to the increasing electron-phonon coupling (EPC). Notably, we delve into the nontrivial Z2 band topology of Lu$_4$H$_7$N, featuring discernible surface states near the Fermi level, and we explore its spin Hall conductivity characteristics. Furthermore, we find that the electron doping can enhance the EPC strength and Tc of Lu$_4$H$_7$N, such as the Lu$_4$H$_7$O structure we predict simulating electron doping for Lu$_4$H$_7$N with an impressive Tc of 3.837 K. This work demonstrates the coexistence of superconducting and topological properties in a Lu-H-N system compound, which holds the promise of guiding the search for novel topological superconducting materials.


title: A library of meteoroid environments encountered by spacecraft in the inner solar system

abstract: NASA's Meteoroid Engineering Model (MEM) is designed to provide aerospace engineers with an accurate description of potentially hazardous meteoroids. It accepts a spacecraft trajectory as input and its output files describe the flux, speed, directionality, and density of microgram- to gram-sized meteoroids relative to the provided trajectory. MEM provides this information at a fairly fine level of detail in order to support detailed risk calculations. However, engineers and scientists in the very early planning stages of a mission may not yet have developed a trajectory or acquired the tools to analyze environment data. Therefore, we have developed an online library of sample MEM runs that allow new users or overloaded mission planners to get a quick feel for the characteristics of the meteoroid environment. This library provides both visualizations of these runs and input files that allow users to replicate them exactly. We also discuss the number of state vectors needed to obtain an accurate representation of the environment encountered along our sample trajectories, and outline a process for verifying that any given trajectory is adequately sampled.


title: Antiferromagnetic Quantum Anomalous Hall Effect Modulated by Spin Flips and Flops

abstract: The interplay between nontrivial band topology and layered antiferromagnetism in MnBi2Te4 has opened up a new avenue for exploring topological phases of matter. Representative examples include the quantum anomalous Hall effect and axion insulator state observed in odd and even number layers of MnBi2Te4, when the top and bottom surfaces have parallel and antiparallel spin alignments respectively. The rich and complex spin dynamics associated with the van der Waals antiferromagnetic order is expected to generate novel topological phases and phase transitions that are unique to MnBi2Te4. Here we fabricate a device of 7-septuple-layer MnBi2Te4 covered with AlOx capping layer, which enables the investigation of antiferromagnetic quantum anomalous Hall effect over wide parameter spaces. By tuning the gate voltage and perpendicular magnetic field, we uncover a cascade of quantum phase transitions that can be attributed to the influence of spin configurations on charge transport. Furthermore, we find that an in-plane magnetic field enhances both the coercive field and exchange gap of the surface state, in sharp contrast to that in ferromagnetic quantum anomalous Hall state. We propose that these peculiar features arise from the spin flip and flop transitions inherent to van der Waals antiferromagnet. The versatile tunability of the quantum anomalous Hall effect in MnBi2Te4 paves the way for potential applications in topological antiferromagnetic spintronics.


title: Latent group structure in linear panel data models with endogenous regressors

abstract: This paper concerns the estimation of linear panel data models with endogenous regressors and a latent group structure in the coefficients. We consider instrumental variables estimation of the group-specific coefficient vector. We show that direct application of the Kmeans algorithm to the generalized method of moments objective function does not yield unique estimates. We newly develop and theoretically justify two-stage estimation methods that apply the Kmeans algorithm to a regression of the dependent variable on predicted values of the endogenous regressors. The results of Monte Carlo simulations demonstrate that two-stage estimation with the first stage modeled using a latent group structure achieves good classification accuracy, even if the true first-stage regression is fully heterogeneous. We apply our estimation methods to revisiting the relationship between income and democracy.


title: Quantitative description of long-range order in the anisotropic spin-1/2 Heisenberg antiferromagnet on the square lattice

abstract: The quantitative description of long-range order remains a challenge in quantum many-body physics. We provide zero-temperature results from two complementary methods for the ground-state energy per site, the sublattice magnetization, the spin gap, and the transverse spin correlation length for the spin-1/2 anisotropic quantum Heisenberg antiferromagnet on the square lattice. On the one hand, we use exact, large-scale quantum Monte Carlo (QMC) simulations. On the other hand, we use the semi-analytic approach based on continuous similarity transformations in terms of elementary magnon excitations. Our findings confirm the applicability and quantitative validity of both approaches along the full parameter axis from the Ising point to the symmetry-restoring phase transition at the Heisenberg point and further provide quantitative reference results in the thermodynamic limit. In addition, we analytically derive the relation between the dispersion and the correlation length at zero temperature in arbitrary dimension, and discuss improved second-moment QMC estimators.


title: Learning How to Dynamically Decouple

abstract: Current quantum computers suffer from noise that stems from interactions between the quantum system that constitutes the quantum device and its environment. These interactions can be suppressed through dynamical decoupling to reduce computational errors. However, the performance of dynamical decoupling depends on the type of the system-environment interactions that are present, which often lack an accurate model in quantum devices. We show that the performance of dynamical decoupling can be improved by optimizing its rotational gates to tailor them to the quantum hardware. We find that compared to canonical decoupling sequences, such as CPMG and XY4, the optimized dynamical decoupling sequences yield the best performance in suppressing noise in superconducting qubits. Our work thus enhances existing error suppression methods which helps increase circuit depth and result quality on noisy hardware.


title: Double-activation neural network for solving parabolic equations with time delay

abstract: This paper presents the double-activation neural network (DANN), a novel network architecture designed for solving parabolic equations with time delay. In DANN, each neuron is equipped with two activation functions to augment the network's nonlinear expressive capacity. Additionally, a new parameter is introduced for the construction of the quadratic terms in one of two activation functions, which further enhances the network's ability to capture complex nonlinear relationships. To address the issue of low fitting accuracy caused by the discontinuity of solution's derivative, a piecewise fitting approach is proposed by dividing the global solving domain into several subdomains. The convergence of the loss function is proven. Numerical results are presented to demonstrate the superior accuracy and faster convergence of DANN compared to the traditional physics-informed neural network (PINN).


title: Enhancing Reinforcement Learning in Sensor Fusion: A Comparative Analysis of Cubature and Sampling-based Integration Methods for Rover Search Planning

abstract: This study investigates the computational speed and accuracy of two numerical integration methods, cubature and sampling-based, for integrating an integrand over a 2D polygon. Using a group of rovers searching the Martian surface with a limited sensor footprint as a test bed, the relative error and computational time are compared as the area was subdivided to improve accuracy in the sampling-based approach. The results show that the sampling-based approach exhibits a $14.75\%$ deviation in relative error compared to cubature when it matches the computational performance at $100\%$. Furthermore, achieving a relative error below $1\%$ necessitates a $10000\%$ increase in relative time to calculate due to the $\mathcal{O}(N^2)$ complexity of the sampling-based method. It is concluded that for enhancing reinforcement learning capabilities and other high iteration algorithms, the cubature method is preferred over the sampling-based method.


title: Quaternionic Cartan coverings and applications

abstract: We present the topological foundation for solvability of Multiplicative Cousin problems formulated on an axially symmetric domain $\Omega \subset \mathbb H.$ In particular, we provide a geometric construction of quaternionic Cartan coverings, which are generalizations of (complex) Cartan coverings as presented in Section 4 of [FP]. Because of the requirements of symmetry inherent to the domains of definition of quaternionic regular functions, the existence of quaternionic Cartan coverings of $\Omega$ is not a consequence of existence of complex Cartan coverings, because for the latter there are no requirements for the symmetries with respect to the real axis. Due to the special role of the real axis, also the covering restricted to $\Omega \cap \mathbb R$ has to have additional properties. All these required properties were achieved by starting from a particular symmetric tiling of the symmetric set $\Omega \cap (\mathbb R + i\mathbb R)$. Finally we provide an application of these results to prove the vanishing of 'antisymmetric' cohomology groups of planar symmetric domains for $n \geq 2$.


title: Extending Non-Perturbative Simulation Techniques for Open-Quantum Systems to Excited-State Proton Transfer and Ultrafast Non-Adiabatic Dynamics

abstract: Excited state proton transfer is an ubiquitous phenomenon in biology and chemistry, spanning from the ultrafast reactions of photo-bases and acids to light-driven, enzymatic catalysis and photosynthesis. However, the simulation of such dynamics involves multiple challenges, since high-dimensional, out-of-equilibrium vibronic states play a crucial role, while a fully quantum description of the proton's dissipative, real-space dynamics is also required. In this work, we extend the powerful Matrix Product State approach to open quantum systems (TEDOPA) to study these demanding dynamics, and also more general non-adiabatic processes that can appear in complex photochemistry subject to strong laser driving. As an illustration, we initially consider an open model of a four-level electronic system interacting with hundreds of intramolecular vibrations that drive ultrafast excited state proton transfer, as well as an explicit photonic environment that allows us to directly monitor the resulting dual fluorescence in this system. We then demonstrate how to include a continuous 'reaction coordinate' of the proton transfer that allows numerically exact simulations that can be understood, visualized and interpreted in the familiar language of diabatic and adiabatic dynamics on potential surfaces, while also retaining an exact quantum treatment of dissipation and driving effects that could be used to study diverse problems in ultrafast photochemistry.


title: Calculating response functions of coupled oscillators using quantum phase estimation

abstract: We study the problem of estimating frequency response functions of systems of coupled, classical harmonic oscillators using a quantum computer. The functional form of these response functions can be mapped to a corresponding eigenproblem of a Hermitian matrix $H$, thus suggesting the use of quantum phase estimation. Our proposed quantum algorithm operates in the standard $s$-sparse, oracle-based query access model. For a network of $N$ oscillators with maximum norm $\lVert H \rVert_{\mathrm{max}}$, and when the eigenvalue tolerance $\varepsilon$ is much smaller than the minimum eigenvalue gap, we use $\mathcal{O}(\log(N s \lVert H \rVert_{\mathrm{max}}/\varepsilon)$ algorithmic qubits and obtain a rigorous worst-case query complexity upper bound $\mathcal{O}(s \lVert H \rVert_{\mathrm{max}}/(\delta^2 \varepsilon) )$ up to logarithmic factors, where $\delta$ denotes the desired precision on the coefficients appearing in the response functions. Crucially, our proposal does not suffer from the infamous state preparation bottleneck and can as such potentially achieve large quantum speedups compared to relevant classical methods. As a proof-of-principle of exponential quantum speedup, we show that a simple adaptation of our algorithm solves the random glued-trees problem in polynomial time. We discuss practical limitations as well as potential improvements for quantifying finite size, end-to-end complexities for application to relevant instances.


title: The impact of Compositionality in Zero-shot Multi-label action recognition for Object-based tasks

abstract: Addressing multi-label action recognition in videos represents a significant challenge for robotic applications in dynamic environments, especially when the robot is required to cooperate with humans in tasks that involve objects. Existing methods still struggle to recognize unseen actions or require extensive training data. To overcome these problems, we propose Dual-VCLIP, a unified approach for zero-shot multi-label action recognition. Dual-VCLIP enhances VCLIP, a zero-shot action recognition method, with the DualCoOp method for multi-label image classification. The strength of our method is that at training time it only learns two prompts, and it is therefore much simpler than other methods. We validate our method on the Charades dataset that includes a majority of object-based actions, demonstrating that -- despite its simplicity -- our method performs favorably with respect to existing methods on the complete dataset, and promising performance when tested on unseen actions. Our contribution emphasizes the impact of verb-object class-splits during robots' training for new cooperative tasks, highlighting the influence on the performance and giving insights into mitigating biases.


title: A magnetically silent optically pumped magnetometer for a neutron electric dipole moment experiment

abstract: We report the performance of a magnetically silent optically pumped cesium magnetometer with a statistical sensitivity of 3.9 pT and a stability of 90 fT over 150 seconds of measurement. Optical pumping with coherent, linearly-polarized, resonant light leads to a relatively long-lived polarized ground state of the cesium vapour contained in a measurement cell. The state precesses at its Larmor frequency in the magnetic field to be measured. Nonlinear magneto-optical rotation then leads to the rotation of the plane of polarization of a linearly polarized probe laser beam. The rotation angle is modulated at twice the Larmor frequency. A measurement of this frequency constitutes an absolute measurement of the magnetic field magnitude. Featuring purely optical operation, non-magnetic construction, low noise floor, and high stability, this sensor will be used for the upcoming TUCAN electric dipole moment experiment and other highly sensitive magnetic applications.


title: Color Chiral Cherenkov radiation and energy loss in quark-gluon plasma

abstract: We introduce and investigate the Color Chiral Cherenkov effect which consists in radiation of the circularly polarized gluons by a fast color charge moving with constant velocity in the presence of the Chiral Magnetic current. We derive the transition rates for all gluon polarizations. We compute the contribution of the Color Chiral Cherenkov effect to the parton energy loss in the quark-gluon plasma.


title: Byzantine-Resilient Secure Aggregation for Federated Learning Without Privacy Compromises

abstract: Federated learning (FL) shows great promise in large scale machine learning, but brings new risks in terms of privacy and security. We propose ByITFL, a novel scheme for FL that provides resilience against Byzantine users while keeping the users' data private from the federator and private from other users. The scheme builds on the preexisting non-private FLTrust scheme, which tolerates malicious users through trust scores (TS) that attenuate or amplify the users' gradients. The trust scores are based on the ReLU function, which we approximate by a polynomial. The distributed and privacy-preserving computation in ByITFL is designed using a combination of Lagrange coded computing, verifiable secret sharing and re-randomization steps. ByITFL is the first Byzantine resilient scheme for FL with full information-theoretic privacy.


title: Weakly-supervised causal discovery based on fuzzy knowledge and complex data complementarity

abstract: Causal discovery based on observational data is important for deciphering the causal mechanism behind complex systems. However, the effectiveness of existing causal discovery methods is limited due to inferior prior knowledge, domain inconsistencies, and the challenges of high-dimensional datasets with small sample sizes. To address this gap, we propose a novel weakly-supervised fuzzy knowledge and data co-driven causal discovery method named KEEL. KEEL adopts a fuzzy causal knowledge schema to encapsulate diverse types of fuzzy knowledge, and forms corresponding weakened constraints. This schema not only lessens the dependency on expertise but also allows various types of limited and error-prone fuzzy knowledge to guide causal discovery. It can enhance the generalization and robustness of causal discovery, especially in high-dimensional and small-sample scenarios. In addition, we integrate the extended linear causal model (ELCM) into KEEL for dealing with the multi-distribution and incomplete data. Extensive experiments with different datasets demonstrate the superiority of KEEL over several state-of-the-art methods in accuracy, robustness and computational efficiency. For causal discovery in real protein signal transduction processes, KEEL outperforms the benchmark method with limited data. In summary, KEEL is effective to tackle the causal discovery tasks with higher accuracy while alleviating the requirement for extensive domain expertise.


title: Ab Initio Polaron Wave Functions

abstract: In this work we demonstrate that accurate ground state wave functions may be constructed for polarons in a fully ab initio setting across the wide range of couplings associated with both the large and small polaron limits. We present a single general unitary transformation approach which encompasses an ab initio version of the Lee-Low-Pines theory at weak coupling and the coherent state Landau-Pekar framework at strong coupling while interpolating between these limits in general cases. We show that perturbation theory around these limits may be performed in a facile manner to assess the accuracy of the approach, as well as provide an independent route to the ab initio properties of polarons. We test these ideas on the case of LiF, where the electron-polaron is expected to be large and relatively weakly coupled, while the hole-polaron is expected to be a strongly coupled small polaron.


title: Structure and dynamics of electron-phonon coupled systems using neural quantum states

abstract: In this work, we use neural quantum states (NQS) to describe the high-dimensional wave functions of electron-phonon coupled systems. We demonstrate that NQS can accurately and systematically learn the underlying physics of such problems through a variational Monte Carlo optimization of the energy with minimal incorporation of physical information even in highly challenging cases. We assess the ability of our approach across various lattice model examples featuring different types of couplings. The flexibility of our NQS formulation is demonstrated via application to ab initio models parametrized by density functional perturbation theory consisting of electron or hole bands coupled linearly to dispersive phonons. We compute accurate real-frequency spectral properties of electron-phonon systems via a novel formalism based on NQS. Our work establishes a general framework for exploring diverse ground state and dynamical phenomena arising in electron-phonon systems, including the non-perturbative interplay of correlated electronic and electron-phonon effects in systems ranging from simple lattice models to realistic models of materials parametrized by ab initio calculations.


title: The physical mechanism behind magnetic field alignment in interstellar clouds

abstract: We investigate the alignment mechanism between the magnetic field and interstellar clouds formed by the collision of warm atomic gas. We find that the magnetic field, initially oriented parallel to the flow, is perturbed by a fast MHD shock, which amplifies magnetic field fluctuations parallel to the shock front. Behind the shock, the compressive downstream velocity field further amplifies the magnetic field component parallel to the shock front. This mechanism causes the magnetic field to become increasingly parallel to the dense layer, and the development of a shear flow around the latter. Furthermore, the bending-mode perturbations on the dense layer are amplified by the non-linear thin-shell instability (NTSI), stretching the density structures formed by the thermal instability, and rendering them parallel to the bent field lines. By extension, we suggest that a tidal stretching velocity gradient such as that produced in gas infalling into a self-gravitating structure must straighten the field lines along the accretion flow, orienting them perpendicular to the density structures. We also find that the upstream superalfv\'enic regime transitions to a transalfv\'enic regime between the shock and the condensation front, and then to a subalfv\'enic regime inside the condensations. Our results provide a feasible physical mechanism for the observed transition from parallel to perpendicular relative orientation of the magnetic field and the density structures as the density structures become increasingly dominated by self-gravity.


title: Using autoencoders and deep transfer learning to determine the stellar parameters of 286 CARMENES M dwarfs

abstract: Deep learning (DL) techniques are a promising approach among the set of methods used in the ever-challenging determination of stellar parameters in M dwarfs. In this context, transfer learning could play an important role in mitigating uncertainties in the results due to the synthetic gap (i.e. difference in feature distributions between observed and synthetic data). We propose a feature-based deep transfer learning (DTL) approach based on autoencoders to determine stellar parameters from high-resolution spectra. Using this methodology, we provide new estimations for the effective temperature, surface gravity, metallicity, and projected rotational velocity for 286 M dwarfs observed by the CARMENES survey. Using autoencoder architectures, we projected synthetic PHOENIX-ACES spectra and observed CARMENES spectra onto a new feature space of lower dimensionality in which the differences between the two domains are reduced. We used this low-dimensional new feature space as input for a convolutional neural network to obtain the stellar parameter determinations. We performed an extensive analysis of our estimated stellar parameters, ranging from 3050 to 4300 K, 4.7 to 5.1 dex, and -0.53 to 0.25 dex for Teff, logg, and [Fe/H], respectively. Our results are broadly consistent with those of recent studies using CARMENES data, with a systematic deviation in our Teff scale towards hotter values for estimations above 3750 K. Furthermore, our methodology mitigates the deviations in metallicity found in previous DL techniques due to the synthetic gap. We consolidated a DTL-based methodology to determine stellar parameters in M dwarfs from synthetic spectra, with no need for high-quality measurements involved in the knowledge transfer. These results suggest the great potential of DTL to mitigate the differences in feature distributions between the observations and the PHOENIX-ACES spectra.

categories: astro-ph.SR astro-ph.EP astro-ph.IM cs.LG


title: Full Line Code Completion: Bringing AI to Desktop

abstract: In recent years, several industrial solutions for the problem of multi-token code completion have appeared, each making a great advance in the area but mostly focusing on cloud-based runtime and avoiding working on the end user's device. In this work, we describe our approach for building a multi-token code completion feature for the JetBrains' IntelliJ Platform, which we call Full Line Code Completion. The feature suggests only syntactically correct code and works fully locally, i.e., data querying and the generation of suggestions happens on the end user's machine. We share important time and memory-consumption restrictions, as well as design principles that a code completion engine should satisfy. Working entirely on the end user's device, our code completion engine enriches user experience while being not only fast and compact but also secure. We share a number of useful techniques to meet the stated development constraints and also describe offline and online evaluation pipelines that allowed us to make better decisions. Our online evaluation shows that the usage of the tool leads to 1.5 times more code in the IDE being produced by code completion. The described solution was initially started with the help of researchers and was bundled into two JetBrains' IDEs - PyCharm Pro and DataSpell - at the end of 2023, so we believe that this work is useful for bridging academia and industry, providing researchers with the knowledge of what happens when complex research-based solutions are integrated into real products.


title: Pfaff's Method Revisited

abstract: In 1797, Pfaff gave a simple proof of a ${}_3F_2$ hypergeometric series summation formula which was much later reproved by Andrews in 1996. In the same paper, Andrews also proved other well-known hypergeometric identities using Pfaff's method. In this paper, we prove a number of terminating $q$-hypergeometric series-product identities using Pfaff's method thereby providing a detailed account of its wide applicability.