title: Histogram-less LiDAR through SPAD response linearization

abstract: We present a new method to acquire the 3D information from a SPAD-based direct-Time-of-Flight (d-ToF) imaging system which does not require the construction of a histogram of timestamps and can withstand high flux operation regime. The proposed acquisition scheme emulates the behavior of a SPAD detector with no distortion due to dead time, and extracts the Tof information by a simple average operation on the photon timestamps ensuring ease of integration in a dedicated sensor and scalability to large arrays. The method is validated through a comprehensive mathematical analysis, whose predictions are in agreement with a numerical Monte Carlo model of the problem. Finally, we show the validity of the predictions in a real d-ToF measurement setup under challenging background conditions well beyond the typical pile-up limit of 5% detection rate up to a distance of 3.8 m.


title: Future Industrial Applications: Exploring LPWAN-Driven IoT Protocols

abstract: The Internet of Things (IoT) will bring about the next industrial revolution in Industry 4.0. The communication aspect of IoT devices is one of the most critical factors in choosing the suitable device for the suitable usage. So far, the IoT physical layer communication challenges have been met with various communications protocols that provide varying strengths and weaknesses. Moreover, most of them are wireless protocols due to the sheer number of device requirements for IoT. This paper summarizes the network architectures of some of the most popular IoT wireless communications protocols. It also presents a comparative analysis of critical features, including power consumption, coverage, data rate, security, cost, and Quality of Service (QoS). This comparative study shows that Low Power Wide Area Network (LPWAN) based IoT protocols (LoRa, Sigfox, NB-IoT, LTE-M ) are more suitable for future industrial applications because of their energy efficiency, high coverage, and cost efficiency. In addition, the study also presents an industrial Internet of Things (IIoT) application perspective on the suitability of LPWAN protocols in a particular scenario and addresses some open issues that need to be researched. Thus, this study can assist in deciding the most suitable protocol for an industrial and production field.


title: Neural activity in quarks language: Lattice Field Theory for a network of real neurons

abstract: Brain-computer interfaces surged extraordinary developments in recent years, and a significant discrepancy now exists between the abundance of available data and the limited headway made in achieving a unified theoretical framework. This discrepancy becomes particularly pronounced when examining the collective neural activity at the micro- and meso-scale, where a coherent formalization that adequately describes neural interactions is still lacking. Here, we introduce a mathematical framework to analyze systems of natural neurons and interpret the related empirical observations in terms of lattice field theory, an established paradigm from theoretical particle physics and statistical mechanics. Our methods are tailored to interpret data from chronic neural interfaces, especially spike rasters from measurements of single neurons activity, and generalize the maximum entropy model for neural networks so that also the time evolution of the system is taken into account. This is obtained by bridging particle physics and neuroscience, paving the way to particle physics-inspired models of neocortex.


title: B-series for SDEs with application to exponential integrators for non-autonomous semi-linear problems

abstract: In this paper a set of previous general results for the development of B--series for a broad class of stochastic differential equations has been collected. The applicability of these results is demonstrated by the derivation of B--series for non-autonomous semi-linear SDEs and exponential Runge-Kutta methods applied to this class of SDEs, which is a significant generalization of existing theory on such methods.


title: SUPG-stabilized stabilization-free VEM: a numerical investigation

abstract: We numerically investigate the possibility of defining stabilization-free Virtual Element (VEM) discretizations of advection-diffusion problems in the advection-dominated regime. To this end, we consider a SUPG stabilized formulation of the scheme. Numerical tests comparing the proposed method with standard VEM show that the lack of an additional arbitrary stabilization term, typical of VEM schemes, that adds artificial diffusion to the discrete solution, allows to better approximate boundary layers, in particular in the case of a low order scheme.


title: A generalization of the rational rough Heston approximation

abstract: Previously, in [GR19], we derived a rational approximation of the solution of the rough Heston fractional ODE in the special case \lambda = 0, which corresponds to a pure power-law kernel. In this paper we extend this solution to the general case of the Mittag-Leffler kernel with \lambda \geq 0. We provide numerical evidence of the convergence of the solution.


title: From decay of correlations to locality and stability of the Gibbs state

abstract: In this paper we show that whenever a Gibbs state satisfies decay of correlations, then it is stable, in the sense that local perturbations influence the Gibbs state only locally, and it is local, namely it satisfies local indistinguishability. These implications hold true in any dimensions, only require locality of the Hamiltonian and rely on Lieb-Robinson bounds. Then, we explicitly apply our results to quantum spin systems in any dimension with short-range interactions at high enough temperature, where decay of correlations is known to hold. Furthermore, our results are applied to Gibbs states of finite one-dimensional spin chains with translation-invariant and exponentially decaying interactions, for which we also show that decay of correlations holds true above a threshold temperature that goes to zero in the limit of finite-range interactions. Our proofs are based on a detailed analysis of the locality properties of the quantum belief propagation for Gibbs states.


title: PRIOR: Personalized Prior for Reactivating the Information Overlooked in Federated Learning

abstract: Classical federated learning (FL) enables training machine learning models without sharing data for privacy preservation, but heterogeneous data characteristic degrades the performance of the localized model. Personalized FL (PFL) addresses this by synthesizing personalized models from a global model via training on local data. Such a global model may overlook the specific information that the clients have been sampled. In this paper, we propose a novel scheme to inject personalized prior knowledge into the global model in each client, which attempts to mitigate the introduced incomplete information problem in PFL. At the heart of our proposed approach is a framework, the PFL with Bregman Divergence (pFedBreD), decoupling the personalized prior from the local objective function regularized by Bregman divergence for greater adaptability in personalized scenarios. We also relax the mirror descent (RMD) to extract the prior explicitly to provide optional strategies. Additionally, our pFedBreD is backed up by a convergence analysis. Sufficient experiments demonstrate that our method reaches the state-of-the-art performances on 5 datasets and outperforms other methods by up to 3.5% across 8 benchmarks. Extensive analyses verify the robustness and necessity of proposed designs.


title: Associativity conditions for linear quasigroups and equivalence relations on binary trees

abstract: We characterise the bracketing identities satisfied by linear quasigroups with the help of certain equivalence relations on binary trees that are based on the left and right depths of the leaves modulo some integers. The numbers of equivalence classes of $n$-leaf binary trees are variants of the Catalan numbers, and they form the associative spectrum (a kind of measure of non-associativity) of a quasigroup.


title: Mediation Analysis using Semi-parametric Shape-Restricted Regression with Applications

abstract: Often linear regression is used to perform mediation analysis. However, in many instances, the underlying relationships may not be linear, as in the case of placental-fetal hormones and fetal development. Although, the exact functional form of the relationship may be unknown, one may hypothesize the general shape of the relationship. For these reasons, we develop a novel shape-restricted inference-based methodology for conducting mediation analysis. This work is motivated by an application in fetal endocrinology where researchers are interested in understanding the effects of pesticide application on birth weight, with human chorionic gonadotropin (hCG) as the mediator. We assume a practically plausible set of nonlinear effects of hCG on the birth weight and a linear relationship between pesticide exposure and hCG, with both exposure-outcome and exposure-mediator models being linear in the confounding factors. Using the proposed methodology on a population-level prenatal screening program data, with hCG as the mediator, we discovered that, while the natural direct effects suggest a positive association between pesticide application and birth weight, the natural indirect effects were negative.


title: Perturbatively including inhomogeneities in axion inflation

abstract: Axion inflation, i.e. an axion-like inflaton coupled to an Abelian gauge field through a Chern-Simons interaction, comes with a rich and testable phenomenology. This is particularly true in the strong backreaction regime, where the gauge field production heavily impacts the axion dynamics. Lattice simulations have recently demonstrated the importance of accounting for inhomogeneities of the axion field in this regime. We propose a perturbative scheme to account for these inhomogeneities while maintaining high computational efficiency. Our goal is to accurately capture deviations from the homogeneous axion field approximation within the perturbative regime as well as self-consistently determine the onset of the non-perturbative regime.


title: Planet migration in massive circumbinary discs

abstract: Most stars are in multiple systems, with the majority of those being binaries. A large number of planets have been confirmed in binary stars and therefore it is important to understand their formation and dynamical evolution. We perform simulations to investigate the migration of wide-orbit giant planets (semi-major axis 100 AU) in massive circumbinary discs (mass 0.1 M$_{\odot}$) that are marginally gravitationally unstable, using the three-dimensional Smooth Particle Hydrodynamic code SEREN. We vary the binary parameters to explore their effect on planet migration. We find that a planet in a massive circumbinary disc initially undergoes a period of rapid inward migration before switching to a slow outward migration, as it does in a circumstellar disc. However, the presence of the binary enhances planet migration and mass growth. We find that a high binary mass ratio (binary with equal mass stars) results in more enhanced outward planet migration. Additionally, larger binary separation and/or higher binary eccentricity results to a faster outward planet migration and stronger planet growth. We conclude that wide-orbit giant planets attain wider final orbits due to migration around binary stars than around single stars.


title: Theory of infrared double-resonance Raman spectrum in graphene: the role of the zone-boundary electron-phonon enhancement

abstract: We theoretically investigate the double-resonance Raman spectrum of monolayer graphene down to infrared laser excitation energies. By using first-principles density functional theory calculations, we improve upon previous theoretical predictions based on conical models or tight-binding approximations, and rigorously justify the evaluation of the electron-phonon enhancement found in Ref. [Venanzi, T., Graziotto, L. et al., Phys. Rev. Lett. 130, 256901 (2023)]. We proceed to discuss the effects of such enhancement on the room temperature graphene resistivity, hinting towards a possible reconciliation of theoretical and experimental discrepancies.


title: Adiabatic perturbation theory for two-component systems with one heavy component

abstract: Perturbation theory with respect to the kinetic energy of the heavy component of a two-component quantum system is introduced. An effective Hamiltonian that is accurate to second order in the inverse heavy mass is derived. It contains a new form of kinetic energy operator with a Hermitian mass tensor and a complex-valued vector potential. All of the potentials in the effective Hamiltonian can be expressed in terms of covariant derivatives and a resolvent operator. The most salient application of the theory is to systems of electrons and nuclei. The accuracy of the theory is verified numerically in a model diatomic molecule and analytically in a vibronic coupling model.


title: Dirac-Fermion-Assisted Interfacial Superconductivity in Epitaxial Topological Insulator/Iron Chalcogenide Heterostructures

abstract: Over the last decade, the possibility of realizing topological superconductivity (TSC) has generated much excitement, mainly due to the potential use of its excitations (Majorana zero modes) in a fault-tolerant topological quantum computer 1,2. TSC can be created in electronic systems where the topological and superconducting orders coexist3, motivating the continued exploration of candidate material platforms to this end. Here, we use molecular beam epitaxy (MBE) to synthesize heterostructures that host emergent interfacial superconductivity when a non-superconducting antiferromagnet (FeTe) is interfaced with a topological insulator (TI) (Bi, Sb)2Te3 wherein the chemical potential can be tuned through varying the Bi/Sb ratio. By performing in-vacuo angle-resolved photoemission spectroscopy (ARPES) and ex-situ electrical transport measurements, we find that the superconducting transition temperature and the upper critical magnetic field are suppressed when the chemical potential approaches the Dirac point. This observation implies a direct correlation between the interfacial superconductivity and Dirac electrons of the TI layer. We provide evidence to show that the observed interfacial superconductivity and its chemical potential dependence is the result of the competition between the Ruderman-Kittel-Kasuya-Yosida-type ferromagnetic coupling mediated by Dirac surface states and antiferromagnetic exchange couplings that generate the bicollinear antiferromagnetic order in the FeTe layer. The Dirac-fermion-assisted interfacial superconductivity in (Bi,Sb)2Te3/FeTe heterostructures provides a new approach to probe TSC and Majorana physics in hybrid devices and potentially constitutes an alternative platform for topological quantum computation.


title: Supercharged two-dimensional tweezer array with more than 1000 atomic qubits

abstract: We report on the realization of a large-scale quantum-processing architecture surpassing the tier of 1000 atomic qubits. By tiling multiple microlens-generated tweezer arrays, each operated by an independent laser source, we can eliminate laser-power limitations in the number of allocatable qubits. Already with two separate arrays, we implement combined 2D configurations of 3000 qubit sites with a mean number of 1167(46) single-atom quantum systems. The transfer of atoms between the two arrays is achieved with high efficiency. Thus, supercharging one array designated as quantum processing unit with atoms from the secondary array significantly increases the number of qubits and the initial filling fraction. This drastically enlarges attainable qubit cluster sizes and success probabilities allowing us to demonstrate the defect-free assembly of clusters of up to 441 qubits with persistent stabilization at near-unity filling fraction over tens of detection cycles. The presented method substantiates neutral atom quantum information science by facilitating configurable geometries of highly scalable quantum registers with immediate application in Rydberg-state mediated quantum simulation, fault-tolerant universal quantum computation, quantum sensing, and quantum metrology.


title: Does Graph Distillation See Like Vision Dataset Counterpart?

abstract: Training on large-scale graphs has achieved remarkable results in graph representation learning, but its cost and storage have attracted increasing concerns. Existing graph condensation methods primarily focus on optimizing the feature matrices of condensed graphs while overlooking the impact of the structure information from the original graphs. To investigate the impact of the structure information, we conduct analysis from the spectral domain and empirically identify substantial Laplacian Energy Distribution (LED) shifts in previous works. Such shifts lead to poor performance in cross-architecture generalization and specific tasks, including anomaly detection and link prediction. In this paper, we propose a novel Structure-broadcasting Graph Dataset Distillation (SGDD) scheme for broadcasting the original structure information to the generation of the synthetic one, which explicitly prevents overlooking the original structure information. Theoretically, the synthetic graphs by SGDD are expected to have smaller LED shifts than previous works, leading to superior performance in both cross-architecture settings and specific tasks. We validate the proposed SGDD across 9 datasets and achieve state-of-the-art results on all of them: for example, on the YelpChi dataset, our approach maintains 98.6% test accuracy of training on the original graph dataset with 1,000 times saving on the scale of the graph. Moreover, we empirically evaluate there exist 17.6% ~ 31.4% reductions in LED shift crossing 9 datasets. Extensive experiments and analysis verify the effectiveness and necessity of the proposed designs. The code is available in the GitHub repository: https://github.com/RingBDStack/SGDD.


title: Tikuna: An Ethereum Blockchain Network Security Monitoring System

abstract: Blockchain security is becoming increasingly relevant in today's cyberspace as it extends its influence in many industries. This paper focuses on protecting the lowest level layer in the blockchain, particularly the P2P network that allows the nodes to communicate and share information. The P2P network layer may be vulnerable to several families of attacks, such as Distributed Denial of Service (DDoS), eclipse attacks, or Sybil attacks. This layer is prone to threats inherited from traditional P2P networks, and it must be analyzed and understood by collecting data and extracting insights from the network behavior to reduce those risks. We introduce Tikuna, an open-source tool for monitoring and detecting potential attacks on the Ethereum blockchain P2P network, at an early stage. Tikuna employs an unsupervised Long Short-Term Memory (LSTM) method based on Recurrent Neural Network (RNN) to detect attacks and alert users. Empirical results indicate that the proposed approach significantly improves detection performance, with the ability to detect and classify attacks, including eclipse attacks, Covert Flash attacks, and others that target the Ethereum blockchain P2P network layer, with high accuracy. Our research findings demonstrate that Tikuna is a valuable security tool for assisting operators to efficiently monitor and safeguard the status of Ethereum validators and the wider P2P network


title: Variational autoencoder with weighted samples for high-dimensional non-parametric adaptive importance sampling

abstract: Probability density function estimation with weighted samples is the main foundation of all adaptive importance sampling algorithms. Classically, a target distribution is approximated either by a non-parametric model or within a parametric family. However, these models suffer from the curse of dimensionality or from their lack of flexibility. In this contribution, we suggest to use as the approximating model a distribution parameterised by a variational autoencoder. We extend the existing framework to the case of weighted samples by introducing a new objective function. The flexibility of the obtained family of distributions makes it as expressive as a non-parametric model, and despite the very high number of parameters to estimate, this family is much more efficient in high dimension than the classical Gaussian or Gaussian mixture families. Moreover, in order to add flexibility to the model and to be able to learn multimodal distributions, we consider a learnable prior distribution for the variational autoencoder latent variables. We also introduce a new pre-training procedure for the variational autoencoder to find good starting weights of the neural networks to prevent as much as possible the posterior collapse phenomenon to happen. At last, we explicit how the resulting distribution can be combined with importance sampling, and we exploit the proposed procedure in existing adaptive importance sampling algorithms to draw points from a target distribution and to estimate a rare event probability in high dimension on two multimodal problems.


title: AMSwarmX: Safe Swarm Coordination in CompleX Environments via Implicit Non-Convex Decomposition of the Obstacle-Free Space

abstract: Quadrotor motion planning in complex environments leverage the concept of safe flight corridor (SFC) to facilitate static obstacle avoidance. Typically, SFCs are constructed through convex decomposition of the environment's free space into cuboids, convex polyhedra, or spheres. However, when dealing with a quadrotor swarm, such SFCs can be overly conservative, substantially limiting the available free space for quadrotors to coordinate. This paper presents an Alternating Minimization-based approach that does not require building a conservative free-space approximation. Instead, both static and dynamic collision constraints are treated in a unified manner. Dynamic collisions are handled based on shared position trajectories of the quadrotors. Static obstacle avoidance is coupled with distance queries from the Octomap, providing an implicit non-convex decomposition of free space. As a result, our approach is scalable to arbitrary complex environments. Through extensive comparisons in simulation, we demonstrate a $60\%$ improvement in success rate, an average $1.8\times$ reduction in mission completion time, and an average $23\times$ reduction in per-agent computation time compared to SFC-based approaches. We also experimentally validated our approach using a Crazyflie quadrotor swarm of up to 12 quadrotors in obstacle-rich environments. The code, supplementary materials, and videos are released for reference.


title: A 4-approximation algorithm for min max correlation clustering

abstract: We introduce a lower bounding technique for the min max correlation clustering problem and, based on this technique, a combinatorial 4-approximation algorithm for complete graphs. This improves upon the previous best known approximation guarantees of 5, using a linear program formulation (Kalhan et al., 2019), and 40, for a combinatorial algorithm (Davies et al., 2023a). We extend this algorithm by a greedy joining heuristic and show empirically that it improves the state of the art in solution quality and runtime on several benchmark datasets.


title: Bosonic Andreev bound state

abstract: A general free bosonic system with a pairing term is described by a bosonic Bogoliubov-de Gennes (BdG) Hamiltonian. The representation is given by a pseudo-Hermitian matrix, which is crucially different from the Hermitian representation of a fermionic BdG Hamiltonian. In fermionic BdG systems, a topological invariant of the whole particle (hole) bands can be nontrivial, which characterizes the Andreev bound states (ABS) including Majorana fermions. In bosonic cases, on the other hand, the corresponding topological invariant is thought to be trivial owing to the stability condition of the bosonic ground state. In this Letter, we consider a two-dimensional model that realizes a bosonic analogy of the ABS. The boundary states of this model are located outside the bulk bands and are characterized by a nontrivial Berry phase (or polarization) of the hole band. Furthermore, we investigate the zero-energy flat-band limit in which the Bloch Hamiltonian is defective, where the particle and hole states are identical to each other. In this limit, the Berry phase is $\mathbb{Z}_2$ quantized thanks to an emergent parity-time symmetry. This is an example of a topological invariant that uses the defective nature as a projection structure. Thus, boundary states in our model are essentially different from Hermitian topological modes and their variants.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.str-el quant-ph


title: Equilibria for Time-inconsistent Singular Control Problems

abstract: We study a time-inconsistent singular control problem originating from irreversible reinsurance decisions with non-exponential discount. A novel definition of equilibrium for time-inconsistent singular control problems is introduced. For the problem with non-exponential discount, both sufficient and necessary conditions are derived, providing a thorough mathematical characterization of the equilibrium. Specifically, the equilibrium can be characterized by an extended HJB system, which is a coupled system of non-local parabolic equations with free boundaries. Finally, by showing the existence of classical solutions to the extended HJB system, the existence of equilibria is established under some additional assumptions.


title: PaLI-3 Vision Language Models: Smaller, Faster, Stronger

abstract: This paper presents PaLI-3, a smaller, faster, and stronger vision language model (VLM) that compares favorably to similar models that are 10x larger. As part of arriving at this strong performance, we compare Vision Transformer (ViT) models pretrained using classification objectives to contrastively (SigLIP) pretrained ones. We find that, while slightly underperforming on standard image classification benchmarks, SigLIP-based PaLI shows superior performance across various multimodal benchmarks, especially on localization and visually-situated text understanding. We scale the SigLIP image encoder up to 2 billion parameters, and achieves a new state-of-the-art on multilingual cross-modal retrieval. We hope that PaLI-3, at only 5B parameters, rekindles research on fundamental pieces of complex VLMs, and could fuel a new generation of scaled-up models.


title: BIPP: An efficient HPC implementation of the Bluebild algorithm for radio astronomy

abstract: The Bluebild algorithm is a new technique for image synthesis in radio astronomy which forms a least-squares estimate of the sky intensity function using the theory of sampling and interpolation operators. We present an HPC implementation of the Bluebild algorithm for radio-interferometric imaging: Bluebild Imaging++ (BIPP). BIPP is a spherical imager that leverages functional PCA to decompose the sky into distinct energy levels. The library features interfaces to C++, C and Python and is designed with seamless GPU acceleration in mind. We evaluate the accuracy and performance of BIPP on simulated observations of the upcoming Square Kilometer Array Observatory and real data from the Low-Frequency Array (LOFAR) telescope. We find that BIPP offers accurate wide-field imaging with no need for a w-term approximation and has comparable execution time with respect to the interferometric imaging libraries CASA and WSClean. Futhermore, due to the energy level decomposition, images produced with BIPP can reveal information about faint and diffuse structures before any cleaning iterations. The source code of BIPP is publicly released.


title: FingerTac -- An Interchangeable and Wearable Tactile Sensor for the Fingertips of Human and Robot Hands

abstract: Skill transfer from humans to robots is challenging. Presently, many researchers focus on capturing only position or joint angle data from humans to teach the robots. Even though this approach has yielded impressive results for grasping applications, reconstructing motion for object handling or fine manipulation from a human hand to a robot hand has been sparsely explored. Humans use tactile feedback to adjust their motion to various objects, but capturing and reproducing the applied forces is an open research question. In this paper we introduce a wearable fingertip tactile sensor, which captures the distributed 3-axis force vectors on the fingertip. The fingertip tactile sensor is interchangeable between the human hand and the robot hand, meaning that it can also be assembled to fit on a robot hand such as the Allegro hand. This paper presents the structural aspects of the sensor as well as the methodology and approach used to design, manufacture, and calibrate the sensor. The sensor is able to measure forces accurately with a mean absolute error of 0.21, 0.16, and 0.44 Newtons in X, Y, and Z directions, respectively.


abstract: The increasing amount of graph data places requirements on the efficient training of graph neural networks (GNNs). The emerging graph distillation (GD) tackles this challenge by distilling a small synthetic graph to replace the real large graph, ensuring GNNs trained on real and synthetic graphs exhibit comparable performance. However, existing methods rely on GNN-related information as supervision, including gradients, representations, and trajectories, which have two limitations. First, GNNs can affect the spectrum (i.e., eigenvalues) of the real graph, causing spectrum bias in the synthetic graph. Second, the variety of GNN architectures leads to the creation of different synthetic graphs, requiring traversal to obtain optimal performance. To tackle these issues, we propose Graph Distillation with Eigenbasis Matching (GDEM), which aligns the eigenbasis and node features of real and synthetic graphs. Meanwhile, it directly replicates the spectrum of the real graph and thus prevents the influence of GNNs. Moreover, we design a discrimination constraint to balance the effectiveness and generalization of GDEM. Theoretically, the synthetic graphs distilled by GDEM are restricted spectral approximations of the real graphs. Extensive experiments demonstrate that GDEM outperforms state-of-the-art GD methods with powerful cross-architecture generalization ability and significant distillation efficiency. Our code is available at https://github.com/liuyang-tian/GDEM.


title: SiamAF: Learning Shared Information from ECG and PPG Signals for Robust Atrial Fibrillation Detection

abstract: Atrial fibrillation (AF) is the most common type of cardiac arrhythmia. It is associated with an increased risk of stroke, heart failure, and other cardiovascular complications, but can be clinically silent. Passive AF monitoring with wearables may help reduce adverse clinical outcomes related to AF. Detecting AF in noisy wearable data poses a significant challenge, leading to the emergence of various deep learning techniques. Previous deep learning models learn from a single modality, either electrocardiogram (ECG) or photoplethysmography (PPG) signals. However, deep learning models often struggle to learn generalizable features and rely on features that are more susceptible to corruption from noise, leading to sub-optimal performances in certain scenarios, especially with low-quality signals. Given the increasing availability of ECG and PPG signal pairs from wearables and bedside monitors, we propose a new approach, SiamAF, leveraging a novel Siamese network architecture and joint learning loss function to learn shared information from both ECG and PPG signals. At inference time, the proposed model is able to predict AF from either PPG or ECG and outperforms baseline methods on three external test sets. It learns medically relevant features as a result of our novel architecture design. The proposed model also achieves comparable performance to traditional learning regimes while requiring much fewer training labels, providing a potential approach to reduce future reliance on manual labeling.


title: Boundary Element Methods for the Laplace Hypersingular Integral Equation on Multiscreens: a two-level Substructuring Preconditioner

abstract: We present a preconditioning method for the linear systems arising from the boundary element discretization of the Laplace hypersingular equation on a $2$-dimensional triangulated surface $\Gamma$ in $\mathbb{R}^3$. We allow $\Gamma$ to belong to a large class of geometries that we call polygonal multiscreens, which can be non-manifold. After introducing a new, simple conforming Galerkin discretization, we analyze a substructuring domain-decomposition preconditioner based on ideas originally developed for the Finite Element Method. The surface $\Gamma$ is subdivided into non-overlapping regions, and the application of the preconditioner is obtained via the solution of the hypersingular equation on each patch, plus a coarse subspace correction. We prove that the condition number of the preconditioned linear system grows poly-logarithmically with $H/h$, the ratio of the coarse mesh and fine mesh size, and our numerical results indicate that this bound is sharp. This domain-decomposition algorithm therefore guarantees significant speedups for iterative solvers, even when a large number of subdomains is used.


title: On F\'elix-Tanr\'e rational models for polyhedral products

abstract: The F\'elix-Tanr\'e rational model for the polyhedral product of a fibre inclusion is considered. In particular, we investigate the rational model for the polyhedral product of a pair of Lie groups corresponding to arbitrary simplicial complex and the rational homotopy group of the polyhedral product. Furthermore, it is proved that for a partial quotient $N$ associated with a toric manifold $M$, the following conditions are equivalent: (i) $N=M$. (ii) The odd-degree rational cohomology of $N$ is trivial. (iii) The torus bundle map from $N$ to the Davis-Januszkiewicz space is formalizable.


title: Standard Extension Algebras I: Perverse Sheaves and Fukaya Calculus

abstract: In this first of a series of articles on standard extension algebras we study standard perverse sheaves on varieties with $\mathbb{G}_m$-actions. Based on Braden's hyperbolic localisation, we describe their extension algebra geometrically via a convolution structure on the intersections of attracting with repelling cells. We introduce a multiplicative structure on open Richardson varieties which provides a practical way to compose these extensions in case of flag varieties. For open Richardson varieties in Grassmannians we construct two explicit cell decompositions, of Gauss- and of Deodhar-type. It is shown that the latter is a stratification with the same combinatorics as Deodhar's decomposition. We introduce a calculus of Fukaya diagrams to encode the geometry of the decompositions. It provides a model for the cohomology of open Richardson varieties and thus for standard extensions. The calculus is motivated by the Mak-Smith Fukaya-Seidel category of a natural Lefschetz fibration and should allow to compute morphism spaces in there. We finally discuss the relation of our work to extensions of (parabolic) Verma modules in category O as well as to the computation of R- and R'-polynomials.


title: Four-Dimensional Computational Ultrasound Imaging of Brain Haemodynamics

abstract: Four-dimensional ultrasound imaging of complex biological systems such as the brain is technically challenging because of the spatiotemporal sampling requirements. We present computational ultrasound imaging (cUSi), a new imaging method that uses complex ultrasound fields that can be generated with simple hardware and a physical wave prediction model to alleviate the sampling constraints. cUSi allows for high-resolution four-dimensional imaging of brain haemodynamics in awake and anesthetized mice.


title: Production optimization by agents of differing work rates

abstract: We devise a scheme for producing, in the least possible time, $n$ identical objects with $p$ agents that work at differing speeds. This involves halting the process in order to transfer production across agent types. For the case of two types of agent, we construct a scheme based on the Euclidean algorithm that seeks to minimise the number of pauses in production.


title: Helmut Salzmann and his Legacy

abstract: We describe the development of the mathematics of Helmut R. Salzmann (3. 11. 1930 -- 8. 3. 2022) and the main difficulties he was facing, documenting his lifelong productivity and his far reaching influence. We include a comprehensive bibliography of his work.


title: Regularization-Based Methods for Ordinal Quantification

abstract: Quantification, i.e., the task of training predictors of the class prevalence values in sets of unlabeled data items, has received increased attention in recent years. However, most quantification research has concentrated on developing algorithms for binary and multiclass problems in which the classes are not ordered. Here, we study the ordinal case, i.e., the case in which a total order is defined on the set of n>2 classes. We give three main contributions to this field. First, we create and make available two datasets for ordinal quantification (OQ) research that overcome the inadequacies of the previously available ones. Second, we experimentally compare the most important OQ algorithms proposed in the literature so far. To this end, we bring together algorithms proposed by authors from very different research fields, such as data mining and astrophysics, who were unaware of each others' developments. Third, we propose a novel class of regularized OQ algorithms, which outperforms existing algorithms in our experiments. The key to this gain in performance is that our regularization prevents ordinally implausible estimates, assuming that ordinal distributions tend to be smooth in practice. We informally verify this assumption for several real-world applications.


title: The effect of solar wind on the charged particles' diffusion coefficients

abstract: The transport of energetic charged particles through magnetized plasmas is ubiquitous in interplanetary space and astrophysics, and the important physical quantities are the along-field and cross-field spatial diffusion coefficients of energetic charged particles. In this paper, the influence of solar wind on particle transport is investigated. Using the focusing equation, we obtain along- and cross-field diffusion coefficient accounting for the solar wind effect. For different conditions, the relative importance of solar wind effect to diffusion are investigated. It is shown that when energetic charged particles are close to the sun, for along-field diffusion the solar wind effect needs to be taken into account. These results are important for studying energetic charged particle transport processes in the vicinity of the sun.


title: A Bouquet for Apollonius: Focal Conics in Sessile Cholesteric Droplets

abstract: Focal conic domains, are defects characteristic of layered liquid crystal phases. Their association can built flowers where petals are the ellipses of the Dupin cyclides involved in these defect. We report here the observation of focal conic flowers in cholesteric droplets sessile on a glass surface and surrounded by glycerol. The observation of the droplets in different directions helps to solve the 3D architecture of the flower. The effects of the droplet size and of the pitch value are also reported.


title: Discovery and Expansion of New Domains within Diffusion Models

abstract: In this work, we study the generalization properties of diffusion models in a few-shot setup, introduce a novel tuning-free paradigm to synthesize the target out-of-domain (OOD) data, and demonstrate its advantages compared to existing methods in data-sparse scenarios with large domain gaps. Specifically, given a pre-trained model and a small set of images that are OOD relative to the model's training distribution, we explore whether the frozen model is able to generalize to this new domain. We begin by revealing that Denoising Diffusion Probabilistic Models (DDPMs) trained on single-domain images are already equipped with sufficient representation abilities to reconstruct arbitrary images from the inverted latent encoding following bi-directional deterministic diffusion and denoising trajectories. We then demonstrate through both theoretical and empirical perspectives that the OOD images establish Gaussian priors in latent spaces of the given model, and the inverted latent modes are separable from their initial training domain. We then introduce our novel tuning-free paradigm to synthesize new images of the target unseen domain by discovering qualified OOD latent encodings in the inverted noisy spaces. This is fundamentally different from the current paradigm that seeks to modify the denoising trajectory to achieve the same goal by tuning the model parameters. Extensive cross-model and domain experiments show that our proposed method can expand the latent space and generate unseen images via frozen DDPMs without impairing the quality of generation of their original domain. We also showcase a practical application of our proposed heuristic approach in dramatically different domains using astrophysical data, revealing the great potential of such a generalization paradigm in data spare fields such as scientific explorations.


title: An Introduction to the Calibration of Computer Models

abstract: In the context of computer models, calibration is the process of estimating unknown simulator parameters from observational data. Calibration is variously referred to as model fitting, parameter estimation/inference, an inverse problem, and model tuning. The need for calibration occurs in most areas of science and engineering, and has been used to estimate hard to measure parameters in climate, cardiology, drug therapy response, hydrology, and many other disciplines. Although the statistical method used for calibration can vary substantially, the underlying approach is essentially the same and can be considered abstractly. In this survey, we review the decisions that need to be taken when calibrating a model, and discuss a range of computational methods that can be used to compute Bayesian posterior distributions.


title: Dia t\=on gramm\=on: Euclidean geometry to solve trigonometric problems

abstract: Ancient astronomers faced the problem of dealing with arcs and angles in their observations and predictions without the help of modern trigonometry. The usual method to deal with such problems was the Menelaus Theorem, explicitly discussed and extensively used by Ptolemy. It is generally assumed that Hipparchus, who in his Exegesis explicitly states that he developed a method to calculate Simultaneous Risings and Settings, used either the Menelaus' Theorem, or stereographic projections, even if both methods are only attested for later periods and their availability to Hipparchus is debated. In this paper we argue that simultaneous risings and settings could be calculated using less advanced mathematical tools unquestionably available to Hipparchus: the theorem of Pythagoras, the theory of proportions, and the table of chords. Without claiming that this was indeed the method that Hipparchus used, we argue that there is no need to postulate the availability of more sophisticated tools to carry out the calculations which Hipparchus mentions in the Exegesis.


title: Impact of hydraulic tortuosity on micro/nanoporous flow

abstract: Using the porous structures made up of homogeneously arranged solid obstacles, we examine the effects of rarefaction on the hydraulic tortuosity in the slip and early transition flow regimes via extended lattice Boltzmann method. We observed that modification in either the obstacle's arrangement or the porosity led to a power-law relation between the porosity-tortuosity. Along with this, we also found that in the slip flow regime, the exponent of this relation contains the effect of finite Knudsen number (Kn). In addition, we observed that on properly scaling Kn with porosity and hydraulic tortuosity, a generalized correlation can be obtained for apparent permeability.


title: Multinational AGI Consortium (MAGIC): A Proposal for International Coordination on AI

abstract: This paper proposes a Multinational Artificial General Intelligence Consortium (MAGIC) to mitigate existential risks from advanced artificial intelligence (AI). MAGIC would be the only institution in the world permitted to develop advanced AI, enforced through a global moratorium by its signatory members on all other advanced AI development. MAGIC would be exclusive, safety-focused, highly secure, and collectively supported by member states, with benefits distributed equitably among signatories. MAGIC would allow narrow AI models to flourish while significantly reducing the possibility of misaligned, rogue, breakout, or runaway outcomes of general-purpose systems. We do not address the political feasibility of implementing a moratorium or address the specific legislative strategies and rules needed to enforce a ban on high-capacity AGI training runs. Instead, we propose one positive vision of the future, where MAGIC, as a global governance regime, can lay the groundwork for long-term, safe regulation of advanced AI.


title: Adherence and violation of the equivalence principle from classical to quantum mechanics

abstract: Investigation into the applicability of the equivalence principle in quantum mechanics has taken many forms, with varying conclusions. Here, a dynamical semi-classical description of a wave packet in terms of its center of mass and higher quantum fluctuations is applied to the case of a quantum particle in gravitational free fall. The analysis provides an intuitive account of the origin of mass-dependence in quantum-gravitational dynamics through an effective potential that enforces the uncertainty principle. This potential has two implications: (i) The lowest order quantum fluctuations encoding the width and spreading of the wave packet obey an uncertainty relation whose observance is mass-dependent. (ii) In an inhomogeneous gravitational field tidal effects couple the center of mass motion to the quantum fluctuations. The combined effect results in a clear demonstration of how some conceptions of the weak equivalence principle, based on mass dependence, are violated. The size of this violation is within sensitivities of current Eotvos and clock-based return time experiments.


title: "Kelly is a Warm Person, Joseph is a Role Model": Gender Biases in LLM-Generated Reference Letters

abstract: Large Language Models (LLMs) have recently emerged as an effective tool to assist individuals in writing various types of content, including professional documents such as recommendation letters. Though bringing convenience, this application also introduces unprecedented fairness concerns. Model-generated reference letters might be directly used by users in professional scenarios. If underlying biases exist in these model-constructed letters, using them without scrutinization could lead to direct societal harms, such as sabotaging application success rates for female applicants. In light of this pressing issue, it is imminent and necessary to comprehensively study fairness issues and associated harms in this real-world use case. In this paper, we critically examine gender biases in LLM-generated reference letters. Drawing inspiration from social science findings, we design evaluation methods to manifest biases through 2 dimensions: (1) biases in language style and (2) biases in lexical content. We further investigate the extent of bias propagation by analyzing the hallucination bias of models, a term that we define to be bias exacerbation in model-hallucinated contents. Through benchmarking evaluation on 2 popular LLMs- ChatGPT and Alpaca, we reveal significant gender biases in LLM-generated recommendation letters. Our findings not only warn against using LLMs for this application without scrutinization, but also illuminate the importance of thoroughly studying hidden biases and harms in LLM-generated professional documents.


title: Univalent Double Categories

abstract: Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also "morphisms", which capture how different objects interact with each other. Category theory has found many applications in mathematics and in computer science, for example in functional programming. Double categories are a natural generalization of categories which incorporate the data of two separate classes of morphisms, allowing a more nuanced representation of relationships and interactions between objects. Similar to category theory, double categories have been successfully applied to various situations in mathematics and computer science, in which objects naturally exhibit two types of morphisms. Examples include categories themselves, but also lenses, petri nets, and spans. While categories have already been formalized in a variety of proof assistants, double categories have received far less attention. In this paper we remedy this situation by presenting a formalization of double categories via the proof assistant Coq, relying on the Coq UniMath library. As part of this work we present two equivalent formalizations of the definition of a double category, an unfolded explicit definition and a second definition which exhibits excellent formal properties via 2-sided displayed categories. As an application of the formal approach we establish a notion of univalent double category along with a univalence principle: equivalences of univalent double categories coincide with their identities


title: Ultrasound Image Segmentation of Thyroid Nodule via Latent Semantic Feature Co-Registration

abstract: Segmentation of nodules in thyroid ultrasound imaging plays a crucial role in the detection and treatment of thyroid cancer. However, owing to the diversity of scanner vendors and imaging protocols in different hospitals, the automatic segmentation model, which has already demonstrated expert-level accuracy in the field of medical image segmentation, finds its accuracy reduced as the result of its weak generalization performance when being applied in clinically realistic environments. To address this issue, the present paper proposes ASTN, a framework for thyroid nodule segmentation achieved through a new type co-registration network. By extracting latent semantic information from the atlas and target images and utilizing in-depth features to accomplish the co-registration of nodules in thyroid ultrasound images, this framework can ensure the integrity of anatomical structure and reduce the impact on segmentation as the result of overall differences in image caused by different devices. In addition, this paper also provides an atlas selection algorithm to mitigate the difficulty of co-registration. As shown by the evaluation results collected from the datasets of different devices, thanks to the method we proposed, the model generalization has been greatly improved while maintaining a high level of segmentation accuracy.


title: Fast & Efficient Learning of Bayesian Networks from Data: Knowledge Discovery and Causality

abstract: Structure learning is essential for Bayesian networks (BNs) as it uncovers causal relationships, and enables knowledge discovery, predictions, inferences, and decision-making under uncertainty. Two novel algorithms, FSBN and SSBN, based on the PC algorithm, employ local search strategy and conditional independence tests to learn the causal network structure from data. They incorporate d-separation to infer additional topology information, prioritize conditioning sets, and terminate the search immediately and efficiently. FSBN achieves up to 52% computation cost reduction, while SSBN surpasses it with a remarkable 72% reduction for a 200-node network. SSBN demonstrates further efficiency gains due to its intelligent strategy. Experimental studies show that both algorithms match the induction quality of the PC algorithm while significantly reducing computation costs. This enables them to offer interpretability and adaptability while reducing the computational burden, making them valuable for various applications in big data analytics.


title: Automated Claim Matching with Large Language Models: Empowering Fact-Checkers in the Fight Against Misinformation

abstract: In today's digital era, the rapid spread of misinformation poses threats to public well-being and societal trust. As online misinformation proliferates, manual verification by fact checkers becomes increasingly challenging. We introduce FACT-GPT (Fact-checking Augmentation with Claim matching Task-oriented Generative Pre-trained Transformer), a framework designed to automate the claim matching phase of fact-checking using Large Language Models (LLMs). This framework identifies new social media content that either supports or contradicts claims previously debunked by fact-checkers. Our approach employs GPT-4 to generate a labeled dataset consisting of simulated social media posts. This data set serves as a training ground for fine-tuning more specialized LLMs. We evaluated FACT-GPT on an extensive dataset of social media content related to public health. The results indicate that our fine-tuned LLMs rival the performance of larger pre-trained LLMs in claim matching tasks, aligning closely with human annotations. This study achieves three key milestones: it provides an automated framework for enhanced fact-checking; demonstrates the potential of LLMs to complement human expertise; offers public resources, including datasets and models, to further research and applications in the fact-checking domain.


title: Testing Lorentz symmetry with space-based gravitational-wave detectors

abstract: Lorentz symmetry (LS), one of the most fundamental physical symmetries, has been extensively studied in the context of quantum gravity and unification theories. Many of these theories predict a LS violation, which could arise from the discreteness of spacetime, or extra dimensions. Standard-model extension (SME) is an effective field theory to describe Lorentz violation whose effects can be explored using precision instruments such as atomic clocks and gravitational-wave (GW) detectors. Considering the pure-gravity sector and matter-gravity coupling sector in the SME, we studied the leading Lorentz-violating modifications to the time delay of light and the relativistic frequency shift of the clock in the space-based GW detectors. We found that the six data streams from the GW mission can construct various combinations of measurement signals, such as single-arm round-trip path, interference path, triangular round-trip path, etc. These measurements are sensitive to the different combinations of SME coefficients and provide novel linear combinations of SME coefficients different from previous studies. Based on the orbits of TianQin, LISA, and Taiji missions, we calculated the response of Lorentz-violating effects on the combinations of the measurement signal data streams. Our results allow us to estimate the sensitivities for SME coefficients: $10^{-6}$ for the gravity sector coefficient $\bar{s}^{TT}$, $10^{-6}$ for matter-gravity coupling coefficients $(\bar{a}^{(e+p)}_{\text{eff}})_{T}$ and $\bar{c}^{(e+p)}_{TT}$, and $10^{-5}$ for $(\bar{a}^{n}_{\text{eff}})_{T}$ and $\bar{c}^{n}_{TT}$.


title: The parabolic quaternionic Monge-Amp\`{e}re type equation on hyperK\"{a}hler manifolds

abstract: We prove the long time existence and uniqueness of solution to a parabolic quaternionic Monge-Amp\`{e}re type equation on a compact hyperK\"{a}hler manifold. We also show that after normalization, the solution converges smoothly to the unique solution of the Monge-Amp\`{e}re equation for $(n-1)$-quaternionic psh functions.


title: Early phases of star formation: testing chemical tools

abstract: The star forming processes strongly influence the ISM chemistry. Nowadays, there are available many high-quality databases at millimeter wavelengths. Using them, it is possible to carry out studies that review and deepen previous results. If these studies involve large samples of sources, it is preferred to use direct tools to study the molecular gas. With the aim of testing these tools such as the use of the HCN/HNC ratio as a thermometer, and the use of H$^{13}$CO$^{+}$, HC$_{3}$N, N$_{2}$H$^{+}$, and C$_{2}$H as "chemical clocks", we present a molecular line study towards 55 sources representing massive young stellar objects (MYSOs) at different evolutive stages: infrared dark clouds (IRDCs), high-mass protostellar objects (HMPOs), hot molecular cores (HMCs) and ultracompact HII regions (UCHII). We found that the use of HCN/HNC ratio as an universal thermometer in the ISM should be taken with care because the HCN optical depth is a big issue that can affect the method. Hence, this tool should be used only after a careful analysis of the HCN spectrum, checking that no line, neither the main nor the hyperfine ones, present absorption features. We point out that the analysis of the emission of H$^{13}$CO$^{+}$, HC$_{3}$N, N$_{2}$H$^{+}$, and C$_{2}$H could be useful to trace and distinguish regions among IRDCs, HMPOs and HMCs. The molecular line widths of these four species increase from the IRDC to the HMC stage, which can be a consequence of the gas dynamics related to the star-forming processes taking place in the molecular clumps. Our results do not only contribute with more statistics regarding to probe such chemical tools, useful to obtain information in large samples of sources, but also complement previous works through the analysis on other types of sources.


title: Integer diagonal forms for subset intersection relations

abstract: For integers $0 \leq \ell \leq k_{r} \leq k_{c} \leq n$, we give a description for the Smith group of the incidence matrix with rows (columns) indexed by the size $k_r$ ($k_c$, respectively) subsets of an $n$-element set, where incidence means intersection in a set of size $\ell$. This generalizes work of Wilson and Bier from the 1990s which dealt only with the case where incidence meant inclusion. Our approach also describes the Smith group of any matrix in the $\mathbb{Z}$-linear span of these matrices so includes all integer matrices in the Bose-Mesner algebra of the Johnson association scheme: for example, the association matrices themselves as well as the Laplacian, signless Laplacian, Seidel adjacency matrix, etc. of the associated graphs. In particular, we describe the critical (also known as sandpile) groups of these graphs. The complexity of our formula grows with the $k$ parameters, but is independent of $n$ and $\ell$, which often leads to an efficient algorithm for computing these groups. We illustrate our techniques to give diagonal forms of matrices attached to the Kneser and Johnson graphs for subsets of size $3$, whose invariants have never before been described, and recover results from a variety of papers in the literature in a unified way.


title: A halo model for cosmological Lyman-limit systems

abstract: We present an analytical model for cosmological Lyman-limit systems (LLSs) that successfully reproduces the observed evolution of the mean free path (L) of ionizing photons. The evolution of the co-moving mean free path is predominantly a consequence of the changing meta galactic photo-ionization rate and the increase with cosmic time of the minimum mass below which halos lose their gas due to photo-heating. In the model, Lyman-limit absorption is caused by highly ionized gas in the outskirt of dark matter halos. We exploit the association with halos to compute statistical properties of LLSs and of their bias, b. The latter increases from 1.5 to 2.6 from redshifts 2 to 6. Combined with the rapid increase with redshift of the bias of the halos that host a quasar, the model predicts a rapid drop in the value of L when measured in quasar spectra from z=5 to 6, whereas the actual value of L falls more smoothly. We derive an expression for the effective optical depth due to Lyman limit absorption as a function of wavelength and show that it depends sensitively on the poorly constrained number density of LLSs as a function of column density. The optical depth drops below unity for all wavelengths below a redshift of 2.5, which is therefore the epoch when the Universe first became transparent to ionizing photons.


title: Insuring Smiles: Predicting routine dental coverage using Spark ML

abstract: Finding suitable health insurance coverage can be challenging for individuals and small enterprises in the USA. The Health Insurance Exchange Public Use Files (Exchange PUFs) dataset provided by CMS offers valuable information on health and dental policies [1]. In this paper, we leverage machine learning algorithms to predict if a health insurance plan covers routine dental services for adults. By analyzing plan type, region, deductibles, out-of-pocket maximums, and copayments, we employ Logistic Regression, Decision Tree, Random Forest, Gradient Boost, Factorization Model and Support Vector Machine algorithms. Our goal is to provide a clinical strategy for individuals and families to select the most suitable insurance plan based on income and expenses.


title: The geometry of double nested Hilbert schemes of points on curves

abstract: Let $C$ be a smooth curve. In this paper we investigate the geometric properties of the double nested Hilbert scheme of points on $C$, a moduli space introduced by the third author in the context of BPS invariants of local curves and sheaf counting on Calabi-Yau 3-folds. We prove this moduli space is connected, reduced and of pure dimension; we list its components via an explicit combinatorial characterisation and we show they can be resolved, when singular, by products of symmetric products of $C$. We achieve this via a purely algebraic analysis of the factorisation properties of the monoid of reverse plane partitions. We discuss the (virtual) fundamental class of the moduli space, we describe the local equations cutting it inside a smooth ambient space, and finally we provide a closed formula for its motivic class in the Grothendieck ring of varieties.


title: On the Fidelity Robustness of CHSH--Bell Inequality via Filtered Random States

abstract: The theorem developed by John Bell constituted the starting point of a revolution that translated a philosophical question about the nature of reality into the broad and intense field of research of the quantum information technologies. We focus on a system of two qubits prepared in a random, mixed state, and we study the typical behavior of their nonlocality via the CHSH--Bell inequality. Afterward, motivated by the necessity of accounting for inefficiency in the state preparation, we address to what extent states close enough to one with a high degree of nonclassicality can violate local realism with a previously chosen experimental setup.


title: Bounds on Guessing Numbers and Secret Sharing Combining Information Theory Methods

abstract: This paper is on developing some computer-assisted proof methods involving non-classical inequalities for Shannon entropy. Two areas of the applications of information inequalities are studied: Secret sharing schemes and hat guessing games. In the former a random secret value is transformed into shares distributed among several participants in such a way that only the qualified groups of participants can recover the secret value. In the latter each participant is assigned a hat colour and they try to guess theirs while seeing only some of the others'. The aim is to maximize the probability that every player guesses correctly, the optimal probability depends on the underlying sight graph. We use for both problems the method of non-Shannon-type information inequalities going back to Z. Zhang and R. W. Yeung. We employ the linear programming technique that allows to apply new information inequalities indirectly, without even writing them down explicitly. To reduce the complexity of the problems of linear programming involved in the bounds we extensively use symmetry considerations. Using these tools, we improve lower bounds on the ratio of key size to secret size for the former problem and an upper bound for one of the ten vertex graphs related to an open question by Riis for the latter problem.


title: AgentCF: Collaborative Learning with Autonomous Language Agents for Recommender Systems

abstract: Recently, there has been an emergence of employing LLM-powered agents as believable human proxies, based on their remarkable decision-making capability. However, existing studies mainly focus on simulating human dialogue. Human non-verbal behaviors, such as item clicking in recommender systems, although implicitly exhibiting user preferences and could enhance the modeling of users, have not been deeply explored. The main reasons lie in the gap between language modeling and behavior modeling, as well as the incomprehension of LLMs about user-item relations. To address this issue, we propose AgentCF for simulating user-item interactions in recommender systems through agent-based collaborative filtering. We creatively consider not only users but also items as agents, and develop a collaborative learning approach that optimizes both kinds of agents together. Specifically, at each time step, we first prompt the user and item agents to interact autonomously. Then, based on the disparities between the agents' decisions and real-world interaction records, user and item agents are prompted to reflect on and adjust the misleading simulations collaboratively, thereby modeling their two-sided relations. The optimized agents can also propagate their preferences to other agents in subsequent interactions, implicitly capturing the collaborative filtering idea. Overall, the optimized agents exhibit diverse interaction behaviors within our framework, including user-item, user-user, item-item, and collective interactions. The results show that these agents can demonstrate personalized behaviors akin to those of real-world individuals, sparking the development of next-generation user behavior simulation.


title: ClickPrompt: CTR Models are Strong Prompt Generators for Adapting Language Models to CTR Prediction

abstract: Click-through rate (CTR) prediction has become increasingly indispensable for various Internet applications. Traditional CTR models convert the multi-field categorical data into ID features via one-hot encoding, and extract the collaborative signals among features. Such a paradigm suffers from the problem of semantic information loss. Another line of research explores the potential of pretrained language models (PLMs) for CTR prediction by converting input data into textual sentences through hard prompt templates. Although semantic signals are preserved, they generally fail to capture the collaborative information (e.g., feature interactions, pure ID features), not to mention the unacceptable inference overhead brought by the huge model size. In this paper, we aim to model both the semantic knowledge and collaborative knowledge for accurate CTR estimation, and meanwhile address the inference inefficiency issue. To benefit from both worlds and close their gaps, we propose a novel model-agnostic framework (i.e., ClickPrompt), where we incorporate CTR models to generate interaction-aware soft prompts for PLMs. We design a prompt-augmented masked language modeling (PA-MLM) pretraining task, where PLM has to recover the masked tokens based on the language context, as well as the soft prompts generated by CTR model. The collaborative and semantic knowledge from ID and textual features would be explicitly aligned and interacted via the prompt interface. Then, we can either tune the CTR model with PLM for superior performance, or solely tune the CTR model without PLM for inference efficiency. Experiments on four real-world datasets validate the effectiveness of ClickPrompt compared with existing baselines.


title: CoPrompt: Supporting Prompt Sharing and Referring in Collaborative Natural Language Programming

abstract: Natural language (NL) programming has become more approachable due to the powerful code-generation capability of large language models (LLMs). This shift to using NL to program enhances collaborative programming by reducing communication barriers and context-switching among programmers from varying backgrounds. However, programmers may face challenges during prompt engineering in a collaborative setting as they need to actively keep aware of their collaborators' progress and intents. In this paper, we aim to investigate ways to assist programmers' prompt engineering in a collaborative context. We first conducted a formative study to understand the workflows and challenges of programmers when using NL for collaborative programming. Based on our findings, we implemented a prototype, CoPrompt, to support collaborative prompt engineering by providing referring, requesting, sharing, and linking mechanisms. Our user study indicates that CoPrompt assists programmers in comprehending collaborators' prompts and building on their collaborators' work, reducing repetitive updates and communication costs.


title: Time CNN and Graph Convolution Network for Epileptic Spike Detection in MEG Data

abstract: Magnetoencephalography (MEG) recordings of patients with epilepsy exhibit spikes, a typical biomarker of the pathology. Detecting those spikes allows accurate localization of brain regions triggering seizures. Spike detection is often performed manually. However, it is a burdensome and error prone task due to the complexity of MEG data. To address this problem, we propose a 1D temporal convolutional neural network (Time CNN) coupled with a graph convolutional network (GCN) to classify short time frames of MEG recording as containing a spike or not. Compared to other recent approaches, our models have fewer parameters to train and we propose to use a GCN to account for MEG sensors spatial relationships. Our models produce clinically relevant results and outperform deep learning-based state-of-the-art methods reaching a classification f1-score of 76.7% on a balanced dataset and of 25.5% on a realistic, highly imbalanced dataset, for the spike class.


title: Evaluating Machine Perception of Indigeneity: An Analysis of ChatGPT's Perceptions of Indigenous Roles in Diverse Scenarios

abstract: Large Language Models (LLMs), like ChatGPT, are fundamentally tools trained on vast data, reflecting diverse societal impressions. This paper aims to investigate LLMs' self-perceived bias concerning indigeneity when simulating scenarios of indigenous people performing various roles. Through generating and analyzing multiple scenarios, this work offers a unique perspective on how technology perceives and potentially amplifies societal biases related to indigeneity in social computing. The findings offer insights into the broader implications of indigeneity in critical computing.


title: BanglaNLP at BLP-2023 Task 2: Benchmarking different Transformer Models for Sentiment Analysis of Bangla Social Media Posts

abstract: Bangla is the 7th most widely spoken language globally, with a staggering 234 million native speakers primarily hailing from India and Bangladesh. This morphologically rich language boasts a rich literary tradition, encompassing diverse dialects and language-specific challenges. Despite its linguistic richness and history, Bangla remains categorized as a low-resource language within the natural language processing (NLP) and speech community. This paper presents our submission to Task 2 (Sentiment Analysis of Bangla Social Media Posts) of the BLP Workshop. We experiment with various Transformer-based architectures to solve this task. Our quantitative results show that transfer learning really helps in better learning of the models in this low-resource language scenario. This becomes evident when we further finetune a model which has already been finetuned on twitter data for sentiment analysis task and that finetuned model performs the best among all other models. We also perform a detailed error analysis where we find some instances where ground truth labels need to be relooked at. We obtain a micro-F1 of 67.02\% on the test set and our performance in this shared task is ranked at 21 in the leaderboard.


title: Causal Quantile Treatment Effects with missing data by double-sampling

abstract: Causal weighted quantile treatment effects (WQTE) are a useful complement to standard causal contrasts that focus on the mean when interest lies at the tails of the counterfactual distribution. To-date, however, methods for estimation and inference regarding causal WQTEs have assumed complete data on all relevant factors. In most practical settings, however, data will be missing or incomplete data, particularly when the data are not collected for research purposes, as is the case for electronic health records and disease registries. Furthermore, such data sources may be particularly susceptible to the outcome data being missing-not-at-random (MNAR). In this paper, we consider the use of double-sampling, through which the otherwise missing data are ascertained on a sub-sample of study units, as a strategy to mitigate bias due to MNAR data in the estimation of causal WQTEs. With the additional data in-hand, we present identifying conditions that do not require assumptions regarding missingness in the original data. We then propose a novel inverse-probability weighted estimator and derive its asymptotic properties, both pointwise at specific quantiles and uniformly across a range of quantiles over some compact subset of (0,1), allowing the propensity score and double-sampling probabilities to be estimated. For practical inference, we develop a bootstrap method that can be used for both pointwise and uniform inference. A simulation study is conducted to examine the finite sample performance of the proposed estimators. The proposed method is illustrated with data from an EHR-based study examining the relative effects of two bariatric surgery procedures on BMI loss at 3 years post-surgery.


title: Compound-tunable embedding potential method to model local electronic excitations on $f$-element ions in solids: Pilot relativistic coupled cluster study of Ce and Th impurities in yttrium orthophosphate, YPO$_4$

abstract: A method to simulate local properties and processes in crystals with impurities via constructing cluster models within the frame of the compound-tunable embedding potential (CTEP) and highly-accurate {\it ab initio} relativistic molecular-type electronic structure calculations is developed and applied to the Ce and Th-doped yttrium orthophosphate crystals, YPO$_4$, having xenotime structure. Two embedded cluster models are considered, the "minimal" one, YO$_8$@CTEP$_{\rm min}$, consisting of the central Y$^{3+}$ cation and its first coordination sphere of eight O$^{2-}$ anions (i.~e.\ with broken P--O bonds), and its extended counterpart, Y(PO$_4$)$_6$@CTEP$_{\rm ext}$, implying the full treatment of all atoms of the PO$_4^{3-}$ anions nearest to the central Y$^{3+}$ cation. CTEP$_{\rm min,ext}$ denote here the corresponding cluster environment described within the CTEP method. The relativistic Fock-space coupled cluster (FS RCC) theory is applied to the minimal cluster model to study electronic excitations localized on Ce$^{3+}$ and Th$^{3+}$ impurity ions. Calculated transition energies for the cerium-doped xenotime are in a good agreement with the available experimental data (mean absolute deviation of ca.0.3 eV for $4f{\to}5d$ type transitions). For the thorium-doped crystal the picture of electronic states is predicted to be quite complicated, the ground state is expected to be of the $6d$ character. The uncertainty for the excitation energies of thorium-doped xenotime is estimated to be within 0.35 eV. Radiative lifetimes of excited states are calculated at the FS RCC level for both doped crystals. The calculated lifetime of the lowest $5d$ state of Ce$^{3+}$ differs from the experimentally measured one by no more than twice.

categories: cond-mat.mtrl-sci physics.atm-clus physics.chem-ph physics.comp-ph


title: Precedent-Enhanced Legal Judgment Prediction with LLM and Domain-Model Collaboration

abstract: Legal Judgment Prediction (LJP) has become an increasingly crucial task in Legal AI, i.e., predicting the judgment of the case in terms of case fact description. Precedents are the previous legal cases with similar facts, which are the basis for the judgment of the subsequent case in national legal systems. Thus, it is worthwhile to explore the utilization of precedents in the LJP. Recent advances in deep learning have enabled a variety of techniques to be used to solve the LJP task. These can be broken down into two categories: large language models (LLMs) and domain-specific models. LLMs are capable of interpreting and generating complex natural language, while domain models are efficient in learning task-specific information. In this paper, we propose the precedent-enhanced LJP framework (PLJP), a system that leverages the strength of both LLM and domain models in the context of precedents. Specifically, the domain models are designed to provide candidate labels and find the proper precedents efficiently, and the large models will make the final prediction with an in-context precedents comprehension. Experiments on the real-world dataset demonstrate the effectiveness of our PLJP. Moreover, our work shows a promising direction for LLM and domain-model collaboration that can be generalized to other vertical domains.


title: A Multifaceted Look at Starlink Performance

abstract: In recent years, Low-Earth Orbit (LEO) mega-constellations have emerged as a promising network technology and have ushered in a new era for democratizing Internet access. The Starlink network from SpaceX stands out as the only consumer-facing LEO network with over 2M+ customers and more than 4000 operational satellites. In this paper, we conduct the first-of-its-kind extensive multi-faceted analysis of Starlink network performance leveraging several measurement sources. First, based on 19.2M crowdsourced M-Lab speed test measurements from 34 countries since 2021, we analyze Starlink global performance relative to terrestrial cellular networks. Second, we examine Starlink's ability to support real-time web-based latency and bandwidth-critical applications by analyzing the performance of (i) Zoom video conferencing, and (ii) Luna cloud gaming, comparing it to 5G and terrestrial fiber. Third, we orchestrate targeted measurements from Starlink-enabled RIPE Atlas probes to shed light on the last-mile Starlink access and other factors affecting its performance globally. Finally, we conduct controlled experiments from Starlink dishes in two countries and analyze the impact of globally synchronized "15-second reconfiguration intervals" of the links that cause substantial latency and throughput variations. Our unique analysis provides revealing insights on global Starlink functionality and paints the most comprehensive picture of the LEO network's operation to date.


title: Augmented Computational Design: Methodical Application of Artificial Intelligence in Generative Design

abstract: This chapter presents methodological reflections on the necessity and utility of artificial intelligence in generative design. Specifically, the chapter discusses how generative design processes can be augmented by AI to deliver in terms of a few outcomes of interest or performance indicators while dealing with hundreds or thousands of small decisions. The core of the performance-based generative design paradigm is about making statistical or simulation-driven associations between these choices and consequences for mapping and navigating such a complex decision space. This chapter will discuss promising directions in Artificial Intelligence for augmenting decision-making processes in architectural design for mapping and navigating complex design spaces.


title: The Unsteady Lift Produced by a Flat-Plate Wing Translating Past Finite Obstacles

abstract: The unsteady lift of a high-angle-of-attack, flat-plate wing encountering finite-length obstacles is studied using towing-tank force measurements. The wing translates from rest and interacts with a rectangular channel, ceiling, or ground obstacle. Variations with angle of attack, obstacle length, mid-chord height to the obstacle, and starting distance between the wing leading edge (LE) and obstacle (typically 1 chord) are examined. For channels, as the gap height decreases, circulatory-lift peaks attributed to leading-edge vortices (LEVs) are the largest, and from the second peak onward occur earliest. This is likely from wing blockage enhancing the flow speed. The lift reduces while exiting a channel, and is lowest afterward if exiting during a lift peak. For ceilings, the first circulatory-lift maximum increases for smaller LE-to-ceiling gaps, but for gaps of 0.5 chords or less, subsequent peaks are below the no-obstacle case yet still earlier. For grounds, with lower wing height the first circulatory-lift peak is larger but the second peak's behavior varies with angle of attack, and the lift decreases near the ground end. Grounds affect peak timing the least, indicating a reduced influence on the LEV. Changing the starting distance to a channel alters the lift, likely from different LEV timing.


title: Symmetries of the squeeze-driven Kerr oscillator

abstract: We study the symmetries of the static effective Hamiltonian of a driven superconducting nonlinear oscillator, the so-called squeeze-driven Kerr Hamiltonian, and discover a remarkable quasi-spin symmetry $su(2)$ at integer values of the ratio $\eta=\Delta /K$ of the detuning parameter $\Delta $ to the Kerr coefficient $K$. We investigate the stability of this newly discovered symmetry to high-order perturbations arising from the static effective expansion of the driven Hamiltonian. Our finding may find applications in the generation and stabilization of states useful for quantum computing. Finally, we discuss other Hamiltonians with similar properties and within reach of current technologies.


title: Atomic scale imaging of the negative charge induced by a single vanadium dopant atom in monolayer WSe$_2$ using 4D-STEM

abstract: There has been extensive activity exploring the doping of semiconducting two-dimensional (2D) transition metal dichalcogenides in order to tune their electronic and magnetic properties. The outcome of doping depends on various factors, including the intrinsic properties of the host material, the nature of the dopants used, their spatial distribution as well as their interactions with other types of defects. A thorough atomic-level analysis is essential to fully understand these mechanisms. In this work, vanadium doped WSe$_2$ monolayer grown by molecular beam epitaxy is investigated using four-dimensional scanning transmission electron microscopy (4D-STEM). Through center of mass-based reconstruction, atomic scale maps are produced, allowing the visualization of both the electric field and the electrostatic potential around individual V atoms. To provide quantitative insights, these results are successfully compared with multislice image simulations based on ab initio calculations, accounting for lens aberrations. Finally, a negative charge around the V dopants is detected as a drop in the electrostatic potential, unambiguously demonstrating that 4D-STEM can be used to detect and to accurately analyze single dopant charge states in semiconducting 2D materials.


title: Hypernymy Understanding Evaluation of Text-to-Image Models via WordNet Hierarchy

abstract: Text-to-image synthesis has recently attracted widespread attention due to rapidly improving quality and numerous practical applications. However, the language understanding capabilities of text-to-image models are still poorly understood, which makes it difficult to reason about prompt formulations that a given model would understand well. In this work, we measure the capability of popular text-to-image models to understand $\textit{hypernymy}$, or the "is-a" relation between words. We design two automatic metrics based on the WordNet semantic hierarchy and existing image classifiers pretrained on ImageNet. These metrics both enable broad quantitative comparison of linguistic capabilities for text-to-image models and offer a way of finding fine-grained qualitative differences, such as words that are unknown to models and thus are difficult for them to draw. We comprehensively evaluate popular text-to-image models, including GLIDE, Latent Diffusion, and Stable Diffusion, showing how our metrics can provide a better understanding of the individual strengths and weaknesses of these models.


title: Direct Observation of Sub-Poissonian Temporal Statistics in a Continuous Free Electron Beam with Sub-picosecond Resolution

abstract: We present a novel method to measure the arrival time statistics of continuous electron beams with sub-ps resolution, based on the combination of an RF deflection cavity and fast single electron imaging. We observe Poissonian statistics within time bins from 100~ns to 2~ns and increasingly pronounced sub-Poissonian statistics as the time bin decreases from 2~ps to 340~fs. This 2D streak-camera in principle enables femtosecond-level arrival time measurements, paving the way to observing Pauli blocking effects in electron beams and thus serving as an essential diagnostic tool towards degenerate electron beam sources for free electron quantum optics.


title: Strange-Meson Spectroscopy with COMPASS

abstract: While the spectrum of non-strange light mesons is well known, many predicted strange mesons have not yet been observed, and many potentially observed states require further confirmation. Using the $K^-$ component of the hadron beam at the M2 beamline at CERN, we study the strange-meson spectrum with the COMPASS experiment. The flagship channel is the $K^-\pi^-\pi^+$ final state, for which COMPASS has obtained the world's largest sample. Based on this sample, we have performed the most detailed and comprehensive partial-wave analysis of this final state to date. For example, we observe a clear signal from the well-known $K_2^*(1430)$, and for the first time we study the $K_2(1770)$, $K_2(1820)$, and $K_2(2250)$ in a single analysis. We also find evidence for a supernumerary signal called $K(1630)$, suggesting that this signal is a pseudoscalar exotic strange meson.


title: It's an Alignment, Not a Trade-off: Revisiting Bias and Variance in Deep Models

abstract: Classical wisdom in machine learning holds that the generalization error can be decomposed into bias and variance, and these two terms exhibit a \emph{trade-off}. However, in this paper, we show that for an ensemble of deep learning based classification models, bias and variance are \emph{aligned} at a sample level, where squared bias is approximately \emph{equal} to variance for correctly classified sample points. We present empirical evidence confirming this phenomenon in a variety of deep learning models and datasets. Moreover, we study this phenomenon from two theoretical perspectives: calibration and neural collapse. We first show theoretically that under the assumption that the models are well calibrated, we can observe the bias-variance alignment. Second, starting from the picture provided by the neural collapse theory, we show an approximate correlation between bias and variance.


title: Asymptotic decay of solutions for sublinear fractional Choquard equations

abstract: Goal of this paper is to study the asymptotic behaviour of the solutions of the following doubly nonlocal equation $$(-\Delta)^s u + \mu u = (I_{\alpha}*F(u))f(u) \quad \hbox{on $\mathbb{R}^N$}$$ where $s \in (0,1)$, $N\geq 2$, $\alpha \in (0,N)$, $\mu>0$, $I_{\alpha}$ denotes the Riesz potential and $F(t) = \int_0^t f(\tau) d \tau$ is a general nonlinearity with a sublinear growth in the origin. The found decay is of polynomial type, with a rate possibly slower than $\sim\frac{1}{|x|^{N+2s}}$. The result is new even for homogeneous functions $f(u)=|u|^{r-2}u$, $r\in [\frac{N+\alpha}{N},2)$, and it complements the decays obtained in the linear and superlinear cases in [D'Avenia, Siciliano, Squassina (2015)] and [Cingolani, Gallo, Tanaka (2022)]. Differently from the local case $s=1$ in [Moroz, Van Schaftingen (2013)], new phenomena arise connected to a new "$s$-sublinear" threshold that we detect on the growth of $f$. To gain the result we in particular prove a Chain Rule type inequality in the fractional setting, suitable for concave powers.


title: Wasm-iCARE: a portable and privacy-preserving web module to build, validate, and apply absolute risk models

abstract: Objective: Absolute risk models estimate an individual's future disease risk over a specified time interval. Applications utilizing server-side risk tooling, such as the R-based iCARE (R-iCARE), to build, validate, and apply absolute risk models, face serious limitations in portability and privacy due to their need for circulating user data in remote servers for operation. Our objective was to overcome these limitations. Materials and Methods: We refactored R-iCARE into a Python package (Py-iCARE) then compiled it to WebAssembly (Wasm-iCARE): a portable web module, which operates entirely within the privacy of the user's device. Results: We showcase the portability and privacy of Wasm-iCARE through two applications: for researchers to statistically validate risk models, and to deliver them to end-users. Both applications run entirely on the client-side, requiring no downloads or installations, and keeps user data on-device during risk calculation. Conclusions: Wasm-iCARE fosters accessible and privacy-preserving risk tools, accelerating their validation and delivery.


title: Quantum dots as optimized chiral emitters for photonic integrated circuits

abstract: Chiral coupling, which allows directional interactions between quantum dots (QDs) and photonic crystal waveguide modes, holds promise for enhancing the functionality of quantum photonic integrated circuits. Elliptical polarizations of QD transitions offer a considerable enhancement in directionality. However, in epitaxial QD fabrication, the lack of precise control over lateral QD positions still poses a challenge in achieving efficient chiral interfaces. Here, we present a theoretical analysis in which we propose to optimize the polarization of a QD emitter against the spatially averaged directionality and demonstrate that the resulting emitter offers a considerable technological advantage in terms of the size and location of high-directionality areas of the waveguide as well as their overlap with the regions of large Purcell enhancement, thereby improving the scalability of the device. Moreover, using $\mathbf{\mathit{k}}\cdot\mathbf{\mathit{p}}$ modeling, we demonstrate that the optimal elliptical polarization can be achieved for neutral exciton transitions in a realistic QD structure. Our results present a viable path for efficient chiral coupling in QD-based photonic integrated circuits, to a large extent overcoming the challenges and limitations of the present manufacturing technology.


title: Entropic (Gromov) Wasserstein Flow Matching with GENOT

abstract: Optimal transport (OT) theory has reshaped the field of generative modeling: Combined with neural networks, recent \textit{Neural OT} (N-OT) solvers use OT as an inductive bias, to focus on ``thrifty'' mappings that minimize average displacement costs. This core principle has fueled the successful application of N-OT solvers to high-stakes scientific challenges, notably single-cell genomics. N-OT solvers are, however, increasingly confronted with practical challenges: while most N-OT solvers can handle squared-Euclidean costs, they must be repurposed to handle more general costs; their reliance on deterministic Monge maps as well as mass conservation constraints can easily go awry in the presence of outliers; mapping points \textit{across} heterogeneous spaces is out of their reach. While each of these challenges has been explored independently, we propose a new framework that can handle, natively, all of these needs. The \textit{generative entropic neural OT} (GENOT) framework models the conditional distribution $\pi_\varepsilon(\*y|\*x)$ of an optimal \textit{entropic} coupling $\pi_\varepsilon$, using conditional flow matching. GENOT is generative, and can transport points \textit{across} spaces, guided by sample-based, unbalanced solutions to the Gromov-Wasserstein problem, that can use any cost. We showcase our approach on both synthetic and single-cell datasets, using GENOT to model cell development, predict cellular responses, and translate between data modalities.


title: Magnetotransport Properties of Epitaxial Films and Hall Bar Devices of the Correlated Layered Ruthenate Sr$_3$Ru$_2$O$_7$

abstract: For epitaxial Sr$_3$Ru$_2$O$_7$ films grown by pulsed laser deposition, we report a combined structural and magnetotransport study of thin films and Hall bar devices patterned side-by-side on the same film. Structural properties of these films are investigated using X-ray diffraction and high-resolution transmission electron microscopy, and confirm that these films are epitaxially oriented and nearly phase pure. For magnetic fields applied along the $c-$axis, a positive magnetoresistance of 10\% is measured for unpatterned Sr$_3$Ru$_2$O$_7$ films, whereas for patterned Hall bar devices of channel widths of $10$ and $5\, \mu$m, magnetoresistance values of 40\% and 140\% are found, respectively. These films show switching behaviors from positive to negative magnetoresistance that are controlled by the direction of the applied magnetic field. The present results provide a promising route for achieving stable epitaxial synthesis of intermediate members of correlated layered strontium ruthenates, and for the exploration of device physics in thin films of these compounds.


title: Political claim identification and categorization in a multilingual setting: First experiments

abstract: The identification and classification of political claims is an important step in the analysis of political newspaper reports; however, resources for this task are few and far between. This paper explores different strategies for the cross-lingual projection of political claims analysis. We conduct experiments on a German dataset, DebateNet2.0, covering the policy debate sparked by the 2015 refugee crisis. Our evaluation involves two tasks (claim identification and categorization), three languages (German, English, and French) and two methods (machine translation -- the best method in our experiments -- and multilingual embeddings).


title: A SIMPLE Approach to Provably Reconstruct Ising Model with Global Optimality

abstract: Reconstruction of interaction network between random events is a critical problem arising from statistical physics and politics to sociology, biology, and psychology, and beyond. The Ising model lays the foundation for this reconstruction process, but finding the underlying Ising model from the least amount of observed samples in a computationally efficient manner has been historically challenging for half a century. By using the idea of sparsity learning, we present a approach named SIMPLE that has a dominant sample complexity from theoretical limit. Furthermore, a tuning-free algorithm is developed to give a statistically consistent solution of SIMPLE in polynomial time with high probability. On extensive benchmarked cases, the SIMPLE approach provably reconstructs underlying Ising models with global optimality. The application on the U.S. senators voting in the last six congresses reveals that both the Republicans and Democrats noticeably assemble in each congresses; interestingly, the assembling of Democrats is particularly pronounced in the latest congress.


title: Chiral Majorana hinge modes on a curved surface with magnetic impurities

abstract: Chiral Majorana one-dimensional modes have been proposed as they key component for topological quantum computing. In this study, we explore their potential realization as hinge modes in higher-order topological superconductors. To create such phases, we engineer a sign-changing, time-reversal symmetry-breaking mass term through an ensemble of magnetic impurities on the surface of a sphere. The magnetization of this ensemble arises from the competition between the external magnetic field and the Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction among the impurities, mediated by the surface Majorana modes. We determine the magnetic phase diagram and identify the optimal magnetic field to minimize orbital effects and induce a sign changing mass term. This term opens a gap in the surface spectrum, resulting in a gapless one-dimensional chiral Majorana mode along the nodal line of the mass term, thereby implementing a second-order topological superconductor.


title: QUIK: Towards End-to-End 4-Bit Inference on Generative Large Language Models

abstract: Large Language Models (LLMs) from the GPT family have become extremely popular, leading to a race towards reducing their inference costs to allow for efficient local computation. Yet, the vast majority of existing work focuses on weight-only quantization, which can reduce runtime costs in the memory-bound one-token-at-a-time generative setting, but does not address them in compute-bound scenarios, such as batched inference or prompt processing. In this paper, we address the general quantization problem, where both weights and activations should be quantized. We show, for the first time, that the majority of inference computations for large generative models such as LLaMA, OPT, and Falcon can be performed with both weights and activations being cast to 4 bits, in a way that leads to practical speedups, while at the same time maintaining good accuracy. We achieve this via a hybrid quantization strategy called QUIK, which compresses most of the weights and activations to 4-bit, while keeping some outlier weights and activations in higher-precision. The key feature of our scheme is that it is designed with computational efficiency in mind: we provide GPU kernels matching the QUIK format with highly-efficient layer-wise runtimes, which lead to practical end-to-end throughput improvements of up to 3.4x relative to FP16 execution. We provide detailed studies for models from the OPT, LLaMA-2 and Falcon families, as well as a first instance of accurate inference using quantization plus 2:4 sparsity. Code is available at: https://github.com/IST-DASLab/QUIK.