title: Topology of Hawking-Page transition in Born-Infeld AdS black holes

abstract: Black holes in anti de Sitter (AdS) spacetimes undergo phase transitions which typically lead to the existence of critical points, that can be classified using topological techniques. Availing the Bragg-Williams construction which provides an off-shell free energy formalism, we compute the topological charge of the Hawking-Page (HP) transition for Einstein-Born-Infeld black holes in anti de Sitter spacetime and match the result with the confinement-deconfinement transition in the dual gauge theory, which turn out to be in perfect agreement.


title: Self-interacting Vectorial Dark Matter in a SM-like Dark Sector

abstract: A $SU(2)_D \times U(1)_D$ gauge-Higgs sector, an exact dark copy of the Standard Model (SM) one, is proposed. It is demonstrated that the dark gauge bosons ${\cal W}^{(p,m)}$, in analogous to the SM $W^\pm$, can fulfill the role as a self-interacting vector dark matter candidate, solving the core versus cusp and missing satellites problems faced by the conventional paradigm of collisionless weakly interacting massive particle. Constraints from collider, astroparticle and cosmology on such a self-interacting vector dark matter candidate are scrutinized. Implications for the future searches of ${\cal W}^{(p,m)}$ in direct detection experiments are discussed.


title: XMM-Newton-discovered Fast X-ray Transients: Host galaxies and limits on contemporaneous detections of optical counterparts

abstract: Extragalactic fast X-ray transients (FXTs) are a class of soft (0.3-10 keV) X-ray transients lasting a few hundred seconds to several hours. Several progenitor mechanisms have been suggested to produce FXTs, including supernova shock breakouts, binary neutron star mergers, or tidal disruptions involving an intermediate-mass black hole and a white dwarf. We present detailed host studies, including spectroscopic observations of the host galaxies of 7 XMM-Newton-discovered FXTs. The candidate hosts lie at redshifts 0.0928 $< z <$ 0.645 implying peak X-ray luminosities of 10$^{43}$ erg s$^{-1}$ $< L_X <$ 10$^{45}$ erg s$^{-1}$,and physical offsets of 1 kpc < $r_\mathrm{proj}$ < 22 kpc. These observations increase the number of FXTs with a spectroscopic redshift measurement by a factor of 2, although we note that one event is re-identified as a Galactic flare star. We infer host star formation rates and stellar masses by fitting the combined spectroscopic and archival photometric data. We also report on a contemporaneous optical counterpart search to the FXTs in Pan-STARRS and ATLAS by performing forced photometry at the position of the FXTs. We do not find any counterpart in our search. Given our constraints, including peak X-ray luminosities, optical limits, and host properties, we find that XRT 110621 is consistent with a SN SBO event. Spectroscopic redshifts of likely host galaxies for four events imply peak X-ray luminosities that are too high to be consistent with SN SBOs, but we are unable to discard either the BNS or WD-IMBH TDE scenarios for these FXTs.


title: Learning Discrete-Time Major-Minor Mean Field Games

abstract: Recent techniques based on Mean Field Games (MFGs) allow the scalable analysis of multi-player games with many similar, rational agents. However, standard MFGs remain limited to homogeneous players that weakly influence each other, and cannot model major players that strongly influence other players, severely limiting the class of problems that can be handled. We propose a novel discrete time version of major-minor MFGs (M3FGs), along with a learning algorithm based on fictitious play and partitioning the probability simplex. Importantly, M3FGs generalize MFGs with common noise and can handle not only random exogeneous environment states but also major players. A key challenge is that the mean field is stochastic and not deterministic as in standard MFGs. Our theoretical investigation verifies both the M3FG model and its algorithmic solution, showing firstly the well-posedness of the M3FG model starting from a finite game of interest, and secondly convergence and approximation guarantees of the fictitious play algorithm. Then, we empirically verify the obtained theoretical results, ablating some of the theoretical assumptions made, and show successful equilibrium learning in three example problems. Overall, we establish a learning framework for a novel and broad class of tractable games.


title: Linear Model Predictive Control for a planar free-floating platform: A comparison of binary input constraint formulations

abstract: This work develops a first Model Predictive Control for European Space Agencies 3-dof free-floating platform. The challenges of the platform are the on/off thrusters, which cannot be actuated continuously and which are subject to certain timing constraints. This work compares penalty-term, Linear Complementarity Constraints, and classical Mixed Integer formulations in order to develop a controller that natively handles binary inputs. Furthermore, linear constraints are proposed which enforce the timing constraints. Only the Mixed Integer formulation turns out to work sufficiently. Hence, this work develops a new Mixed Integer MPC on the decoupled model of the platform. Feasibility analysis and simulation results show that for a short enough prediction horizon, this controller can (sub)optimally stabilize and control the system under consideration of the constraints in real-time.


title: Federated learning with differential privacy and an untrusted aggregator

abstract: Federated learning for training models over mobile devices is gaining popularity. Current systems for this task exhibit significant trade-offs between model accuracy, privacy guarantee, and device efficiency. For instance, Oort (OSDI 2021) provides excellent accuracy and efficiency but requires a trusted central server. On the other hand, Orchard (OSDI 2020) provides good accuracy and the rigorous guarantee of differential privacy over an untrusted server, but creates huge overhead for the devices. This paper describes Aero, a new federated learning system that significantly improves this trade-off. Aero guarantees good accuracy, differential privacy over an untrusted server, and keeps the device overhead low. The key idea of Aero is to tune system architecture and design to a specific set of popular, federated learning algorithms. This tuning requires novel optimizations and techniques, e.g., a new protocol to securely aggregate updates from devices. An evaluation of Aero demonstrates that it provides comparable accuracy to plain federated learning (without differential privacy), and it improves efficiency (CPU and network) over Orchard by up to $10^5\times$.


title: Surface quantum critical phenomena in disordered Dirac semimetals

abstract: We study a non-Anderson disorder driven quantum phase transition in a semi-infinite Dirac semimetal with a flat boundary. The conformally invariant boundary conditions, which include those that are time-reversal invariant, lead to nodal-like surface states on the boundary. In this case the boundary becomes metallic at a critical disorder that is weaker than that for the semimetal-diffusive metal transition in the bulk. The latter transition takes place in the presence of a metallic surface; in the language of surface critical phenomena this corresponds to the so-called extraordinary transition. The lines of the surface and the extraordinary transitions meet at the special transition point. To elucidate universal properties at different transitions on the phase diagram, we employ renormalization group methods and compute the corresponding surface critical exponents using $\varepsilon$-expansion.


title: Symmetry breaking in zero-field two-dimensional electron bilayers

abstract: We theoretically consider bilayers of two dimensional (2D) electron gases as in semiconductor quantum wells, and investigate possible spontaneous symmetry breaking transitions at low carrier densities driven by interlayer Coulomb interactions. We use a self-consistent technique implementing mean field truncations of the interacting four-fermion terms, and find a U(1) layer symmetry breaking transition at low carrier densities where the individual layer identities are lost leading to an effective pseudospin XY ferromagnet in the 2D plane. Our results validate earlier theoretical works using simpler restricted Hartree-Fock techniques, and establish the pseudospin XY ferromagnet as a possible low-density symmetry broken phase of 2D bilayers.


title: Probing the galactic and extragalactic gravitational wave backgrounds with space-based interferometers

abstract: We employ the formalism developed in \cite{Mentasti:2023gmg} and \cite{Bartolo_2022} to study the prospect of detecting an anisotropic Stochastic Gravitational Wave Background (SGWB) with the Laser Interferometer Space Antenna (LISA) alone, and combined with the proposed space-based interferometer Taiji. Previous analyses have been performed in the frequency domain only. Here, we study the detectability of the individual coefficients of the expansion of the SGWB in spherical harmonics, by taking into account the specific motion of the satellites. This requires the use of time-dependent response functions, which we include in our analysis to obtain an optimal estimate of the anisotropic signal. We focus on two applications. Firstly, the reconstruction of the anisotropic galactic signal without assuming any prior knowledge of its spatial distribution. We find that both LISA and LISA with Taiji cannot put tight constraints on the harmonic coefficients for realistic models of the galactic SGWB. We then focus on the discrimination between a galactic signal of known morphology but unknown overall amplitude and an isotropic extragalactic SGWB component of astrophysical origin. In this case, we find that the two surveys can confirm, at a confidence level $\gtrsim 3\sigma$, the existence of both the galactic and extragalactic background if both have amplitudes as predicted in standard models. We also find that, in the LISA-only case, the analysis in the frequency domain (under the assumption of a time average of data taken homogeneously across the year) provides a nearly identical determination of the two amplitudes as compared to the optimal analysis.


title: Demystifying Instruction Mixing for Fine-tuning Large Language Models

abstract: Instruction tuning significantly enhances the performance of large language models (LLMs) across various tasks. However, the procedure to optimizing the mixing of instruction datasets for LLM fine-tuning is still poorly understood. This study categorizes instructions into three primary types: NLP downstream tasks, coding, and general chat. We explore the effects of instruction tuning on different combinations of datasets on LLM performance, and find that certain instruction types are more advantageous for specific applications but can negatively impact other areas. This work provides insights into instruction mixtures, laying the foundations for future research.


title: A mathematical perspective on Transformers

abstract: Transformers play a central role in the inner workings of large language models. We develop a mathematical framework for analyzing Transformers based on their interpretation as interacting particle systems, which reveals that clusters emerge in long time. Our study explores the underlying theory and offers new perspectives for mathematicians as well as computer scientists.


title: Learning to Learn in Interactive Constraint Acquisition

abstract: Constraint Programming (CP) has been successfully used to model and solve complex combinatorial problems. However, modeling is often not trivial and requires expertise, which is a bottleneck to wider adoption. In Constraint Acquisition (CA), the goal is to assist the user by automatically learning the model. In (inter)active CA, this is done by interactively posting queries to the user, e.g., asking whether a partial solution satisfies their (unspecified) constraints or not. While interac tive CA methods learn the constraints, the learning is related to symbolic concept learning, as the goal is to learn an exact representation. However, a large number of queries is still required to learn the model, which is a major limitation. In this paper, we aim to alleviate this limitation by tightening the connection of CA and Machine Learning (ML), by, for the first time in interactive CA, exploiting statistical ML methods. We propose to use probabilistic classification models to guide interactive CA to generate more promising queries. We discuss how to train classifiers to predict whether a candidate expression from the bias is a constraint of the problem or not, using both relation-based and scope-based features. We then show how the predictions can be used in all layers of interactive CA: the query generation, the scope finding, and the lowest-level constraint finding. We experimentally evaluate our proposed methods using different classifiers and show that our methods greatly outperform the state of the art, decreasing the number of queries needed to converge by up to 72%.


title: Two sample test for covariance matrices in ultra-high dimension

abstract: In this paper, we propose a new test for testing the equality of two population covariance matrices in the ultra-high dimensional setting that the dimension is much larger than the sizes of both of the two samples. Our proposed methodology relies on a data splitting procedure and a comparison of a set of well selected eigenvalues of the sample covariance matrices on the split data sets. Compared to the existing methods, our methodology is adaptive in the sense that (i). it does not require specific assumption (e.g., comparable or balancing, etc.) on the sizes of two samples; (ii). it does not need quantitative or structural assumptions of the population covariance matrices; (iii). it does not need the parametric distributions or the detailed knowledge of the moments of the two populations. Theoretically, we establish the asymptotic distributions of the statistics used in our method and conduct the power analysis. We justify that our method is powerful under very weak alternatives. We conduct extensive numerical simulations and show that our method significantly outperforms the existing ones both in terms of size and power. Analysis of two real data sets is also carried out to demonstrate the usefulness and superior performance of our proposed methodology. An $\texttt{R}$ package $\texttt{UHDtst}$ is developed for easy implementation of our proposed methodology.


title: Large-Scale Multi-Robot Coverage Path Planning via Local Search

abstract: We study graph-based Multi-Robot Coverage Path Planning (MCPP) that aims to compute coverage paths for multiple robots to cover all vertices of a given 2D grid terrain graph $G$. Existing graph-based MCPP algorithms first compute a tree cover on $G$ -- a forest of multiple trees that cover all vertices -- and then employ the Spanning Tree Coverage (STC) paradigm to generate coverage paths on the decomposed graph $D$ of the terrain graph $G$ by circumnavigating the edges of the computed trees, aiming to optimize the makespan (i.e., the maximum coverage path cost among all robots). In this paper, we take a different approach by exploring how to systematically search for good coverage paths directly on $D$. We introduce a new algorithmic framework, called LS-MCPP, which leverages a local search to operate directly on $D$. We propose a novel standalone paradigm, Extended-STC (ESTC), that extends STC to achieve complete coverage for MCPP on any decomposed graphs, even those resulting from incomplete terrain graphs. Furthermore, we demonstrate how to integrate ESTC with three novel types of neighborhood operators into our framework to effectively guide its search process. Our extensive experiments demonstrate the effectiveness of LS-MCPP, consistently improving the initial solution returned by two state-of-the-art baseline algorithms that compute suboptimal tree covers on $G$, with a notable reduction in makespan by up to 35.7\% and 30.3\%, respectively. Moreover, LS-MCPP consistently matches or surpasses the results of optimal tree cover computation, achieving these outcomes with orders of magnitude faster runtime, thereby showcasing its significant benefits for large-scale real-world coverage tasks.


title: Land use/land cover classification of fused Sentinel-1 and Sentinel-2 imageries using ensembles of Random Forests

abstract: The study explores the synergistic combination of Synthetic Aperture Radar (SAR) and Visible-Near Infrared-Short Wave Infrared (VNIR-SWIR) imageries for land use/land cover (LULC) classification. Image fusion, employing Bayesian fusion, merges SAR texture bands with VNIR-SWIR imageries. The research aims to investigate the impact of this fusion on LULC classification. Despite the popularity of random forests for supervised classification, their limitations, such as suboptimal performance with fewer features and accuracy stagnation, are addressed. To overcome these issues, ensembles of random forests (RFE) are created, introducing random rotations using the Forest-RC algorithm. Three rotation approaches: principal component analysis (PCA), sparse random rotation (SRP) matrix, and complete random rotation (CRP) matrix are employed. Sentinel-1 SAR data and Sentinel-2 VNIR-SWIR data from the IIT-Kanpur region constitute the training datasets, including SAR, SAR with texture, VNIR-SWIR, VNIR-SWIR with texture, and fused VNIR-SWIR with texture. The study evaluates classifier efficacy, explores the impact of SAR and VNIR-SWIR fusion on classification, and significantly enhances the execution speed of Bayesian fusion code. The SRP-based RFE outperforms other ensembles for the first two datasets, yielding average overall kappa values of 61.80% and 68.18%, while the CRP-based RFE excels for the last three datasets with average overall kappa values of 95.99%, 96.93%, and 96.30%. The fourth dataset achieves the highest overall kappa of 96.93%. Furthermore, incorporating texture with SAR bands results in a maximum overall kappa increment of 10.00%, while adding texture to VNIR-SWIR bands yields a maximum increment of approximately 3.45%.


title: Hilbert's Nullstellensatz over quaternions

abstract: Using the Rabinowitsch trick, we prove a version of Nullstellensatz over quaternions, which generalizes Hilbert's Nullstellensatz over complex numbers.


title: Hyperplane sections of non-standard graded rings

abstract: The purpose of this paper is to explain a method on the generalization of the Bertini-type theorem on standard graded rings to the non-standard graded case of certain type.


title: Scope Compliance Uncertainty Estimate

abstract: The zeitgeist of the digital era has been dominated by an expanding integration of Artificial Intelligence~(AI) in a plethora of applications across various domains. With this expansion, however, questions of the safety and reliability of these methods come have become more relevant than ever. Consequently, a run-time ML model safety system has been developed to ensure the model's operation within the intended context, especially in applications whose environments are greatly variable such as Autonomous Vehicles~(AVs). SafeML is a model-agnostic approach for performing such monitoring, using distance measures based on statistical testing of the training and operational datasets; comparing them to a predetermined threshold, returning a binary value whether the model should be trusted in the context of the observed data or be deemed unreliable. Although a systematic framework exists for this approach, its performance is hindered by: (1) a dependency on a number of design parameters that directly affect the selection of a safety threshold and therefore likely affect its robustness, (2) an inherent assumption of certain distributions for the training and operational sets, as well as (3) a high computational complexity for relatively large sets. This work addresses these limitations by changing the binary decision to a continuous metric. Furthermore, all data distribution assumptions are made obsolete by implementing non-parametric approaches, and the computational speed increased by introducing a new distance measure based on the Empirical Characteristics Functions~(ECF).


title: GO-DICE: Goal-Conditioned Option-Aware Offline Imitation Learning via Stationary Distribution Correction Estimation

abstract: Offline imitation learning (IL) refers to learning expert behavior solely from demonstrations, without any additional interaction with the environment. Despite significant advances in offline IL, existing techniques find it challenging to learn policies for long-horizon tasks and require significant re-training when task specifications change. Towards addressing these limitations, we present GO-DICE an offline IL technique for goal-conditioned long-horizon sequential tasks. GO-DICE discerns a hierarchy of sub-tasks from demonstrations and uses these to learn separate policies for sub-task transitions and action execution, respectively; this hierarchical policy learning facilitates long-horizon reasoning. Inspired by the expansive DICE-family of techniques, policy learning at both the levels transpires within the space of stationary distributions. Further, both policies are learnt with goal conditioning to minimize need for retraining when task goals change. Experimental results substantiate that GO-DICE outperforms recent baselines, as evidenced by a marked improvement in the completion rate of increasingly challenging pick-and-place Mujoco robotic tasks. GO-DICE is also capable of leveraging imperfect demonstration and partial task segmentation when available, both of which boost task performance relative to learning from expert demonstrations alone.


title: Simulating Electromagnetic Cascades with Lorentz Invariance Violation

abstract: Lorentz invariance violation (LIV) is a phenomenon featuring in various quantum gravity models whereby Lorentz symmetry is broken at high energies, potentially impacting the behaviour of particles and their interactions. Here we investigate the phenomenology of LIV within the context of gamma-ray-induced electromagnetic cascades. We conduct detailed numerical simulations to explore the expected manifestations of LIV on gamma-ray fluxes, taking into account relevant effects such as pair production and inverse Compton scattering. Additionally, we consider processes forbidden in the Standard Model, namely vacuum Cherenkov emission and photon decay. Our analysis reveals that these modifications result in distinct characteristics within the measured particle fluxes at Earth, which have the potential to be observed in high-energy gamma-ray observations.


title: H. Martens' Theorem on chains of cycles

abstract: Let $\Gamma$ be a chain of cycles of genus $g$. Let $d$,$r$ be integers with $2 \leq d \leq g-1$ and $0<2r\leq d$. Then $w^r_d(\Gamma)=d-2r$ implies $\Gamma$ is hyperelliptic unless $(d,r) = (g-1,1)$. For each $g \geq 5$ there exist non-hyperelliptic chains of cycles satisfying $w^1_{g-1}(\Gamma)=g-3$. The gonality $d$ of those chains of cycles ranges from $3$ to $[(g+1)/2]$. In general they satisfy $\dim (W^1_d(\Gamma))=d-2$ but $w^1_d(\Gamma)=0$.


title: Nernst Sign-Reversal in the Hexatic Vortex Phase of Weakly Disordered a-MoGe Thin Films

abstract: The hexatic phase is an intermediate stage in the melting process of a 2D crystal due to topological defects. Recently, this exotic phase was experimentally identified in the vortex lattice of 2D weakly disordered superconducting MoGe by scanning tunneling microscopic measurements. Here we study this vortex state by the Nernst effect, which is an effective and sensitive tool to detect vortex motion, especially in the superconducting fluctuation regime. We find a surprising Nernst sign reversal at the melting transition of the hexatic phase. We propose that they are a consequence of vortex dislocations in the hexatic state which diffuse preferably from the cold to hot.


title: Cross-Lingual Learning in Multilingual Scene Text Recognition

abstract: In this paper, we investigate cross-lingual learning (CLL) for multilingual scene text recognition (STR). CLL transfers knowledge from one language to another. We aim to find the condition that exploits knowledge from high-resource languages for improving performance in low-resource languages. To do so, we first examine if two general insights about CLL discussed in previous works are applied to multilingual STR: (1) Joint learning with high- and low-resource languages may reduce performance on low-resource languages, and (2) CLL works best between typologically similar languages. Through extensive experiments, we show that two general insights may not be applied to multilingual STR. After that, we show that the crucial condition for CLL is the dataset size of high-resource languages regardless of the kind of high-resource languages. Our code, data, and models are available at https://github.com/ku21fan/CLL-STR.


title: Language-conditioned Learning for Robotic Manipulation: A Survey

abstract: Language-conditioned robotic manipulation represents a cutting-edge area of research, enabling seamless communication and cooperation between humans and robotic agents. This field focuses on teaching robotic systems to comprehend and execute instructions conveyed in natural language. To achieve this, the development of robust language understanding models capable of extracting actionable insights from textual input is essential. In this comprehensive survey, we systematically explore recent advancements in language-conditioned approaches within the context of robotic manipulation. We analyze these approaches based on their learning paradigms, which encompass reinforcement learning, imitation learning, and the integration of foundational models, such as large language models and vision-language models. Furthermore, we conduct an in-depth comparative analysis, considering aspects like semantic information extraction, environment & evaluation, auxiliary tasks, and task representation. Finally, we outline potential future research directions in the realm of language-conditioned learning for robotic manipulation, with the topic of generalization capabilities and safety issues. The GitHub repository of this paper can be found at https://github.com/hk-zh/language-conditioned-robot-manipulation-models


title: Non-Euclidean Spatial Graph Neural Network

abstract: Spatial networks are networks whose graph topology is constrained by their embedded spatial space. Understanding the coupled spatial-graph properties is crucial for extracting powerful representations from spatial networks. Therefore, merely combining individual spatial and network representations cannot reveal the underlying interaction mechanism of spatial networks. Besides, existing spatial network representation learning methods can only consider networks embedded in Euclidean space, and can not well exploit the rich geometric information carried by irregular and non-uniform non-Euclidean space. In order to address this issue, in this paper we propose a novel generic framework to learn the representation of spatial networks that are embedded in non-Euclidean manifold space. Specifically, a novel message-passing-based neural network is proposed to combine graph topology and spatial geometry, where spatial geometry is extracted as messages on the edges. We theoretically guarantee that the learned representations are provably invariant to important symmetries such as rotation or translation, and simultaneously maintain sufficient ability in distinguishing different geometric structures. The strength of our proposed method is demonstrated through extensive experiments on both synthetic and real-world datasets.


title: Deep-Dispatch: A Deep Reinforcement Learning-Based Vehicle Dispatch Algorithm for Advanced Air Mobility

abstract: Near future air taxi operations with electric vertical take-off and landing (eVTOL) aircraft will be constrained by the need for frequent recharging of eVTOLs, limited takeoff and landing pads in vertiports, and subject to time-varying demand and electricity prices, making the eVTOL dispatch problem unique and particularly challenging to solve. Previously, we have developed optimization models to address this problem. Such optimization models however suffer from prohibitively high computational run times when the scale of the problem increases, making them less practical for real world implementation. To overcome this issue, we have developed two deep reinforcement learning-based eVTOL dispatch algorithms, namely single-agent and multi-agent deep Q-learning eVTOL dispatch algorithms, where the objective is to maximize operating profit. An eVTOL-based passenger transportation simulation environment was built to assess the performance of our algorithms across $36$ numerical cases with varying number of eVTOLs, vertiports, and demand. The results indicate that the multi-agent eVTOL dispatch algorithm can closely approximate the optimal dispatch policy with significantly less computational expenses compared to the benchmark optimization model. The multi-agent algorithm was found to outperform the single-agent counterpart with respect to both profits generated and training time.


title: Weighted Automata and Logics Meet Computational Complexity

abstract: Complexity classes such as $\#\mathbf{P}$, $\oplus\mathbf{P}$, $\mathbf{GapP}$, $\mathbf{OptP}$, $\mathbf{NPMV}$, or the class of fuzzy languages realised by polynomial-time fuzzy nondeterministic Turing machines, can all be described in terms of a class $\mathbf{NP}[S]$ for a suitable semiring $S$, defined via weighted Turing machines over $S$ similarly as $\mathbf{NP}$ is defined via the classical nondeterministic Turing machines. Other complexity classes of decision problems can be lifted to the quantitative world using the same recipe as well, and the resulting classes relate to the original ones in the same way as weighted automata or logics relate to their unweighted counterparts. The article surveys these too-little-known connexions between weighted automata theory and computational complexity theory implicit in the existing literature, suggests a systematic approach to the study of weighted complexity classes, and presents several new observations strengthening the relation between both fields. In particular, it is proved that a natural extension of the Boolean satisfiability problem to weighted propositional logic is complete for the class $\mathbf{NP}[S]$ when $S$ is a finitely generated semiring. Moreover, a class of semiring-valued functions $\mathbf{FP}[S]$ is introduced for each semiring $S$ as a counterpart to the class $\mathbf{P}$, and the relations between $\mathbf{FP}[S]$ and $\mathbf{NP}[S]$ are considered.


title: Probing atoms and molecules close to macroscopic bodies

abstract: In this habilitation thesis, I briefly present my work at Imperial College London on trapping atomic clouds in micro-pyramids fabricated on silicon chips, which led to the fabrication of an on-chip integrated atom source. Next, I describe the research carried out at the Laboratoire de Physique des Lasers in the SAI group. Our experiments demonstrated the temperature dependence of near-field Casimir-Polder interactions due to thermal excitation of surface waves, thus advancing our understanding of the dielectric properties of matter and the quantum vacuum that surrounds it. I also present spectroscopic experiments with atomic vapors confined in nanostructures (nano-sphere opals) aiming at the fabrication of miniature frequency references. Finally, I explore the possibility of performing spectroscopic experiments on molecular gases close to surfaces.


title: Learning to Act without Actions

abstract: Pre-training large models on vast amounts of web data has proven to be an effective approach for obtaining powerful, general models in domains such as language and vision. However, this paradigm has not yet taken hold in reinforcement learning. This is because videos, the most abundant form of embodied behavioral data on the web, lack the action labels required by existing methods for imitating behavior from demonstrations. We introduce Latent Action Policies (LAPO), a method for recovering latent action information, and thereby latent-action policies, world models, and inverse dynamics models, purely from videos. LAPO is the first method able to recover the structure of the true action space just from observed dynamics, even in challenging procedurally-generated environments. LAPO enables training latent-action policies that can be rapidly fine-tuned into expert-level policies, either offline using a small action-labeled dataset, or online with rewards. LAPO takes a first step towards pre-training powerful, generalist policies and world models on the vast amounts of videos readily available on the web.


title: Re-parameterized Low-rank Prompt: Generalize a Vision-Language Model within 0.5K Parameters

abstract: With the development of large pre-trained vision-language models, how to effectively transfer the knowledge of such foundational models to downstream tasks becomes a hot topic, especially in a data-deficient scenario. Recently, prompt tuning has become a popular solution. When adapting the vision-language models, researchers freeze the parameters in the backbone and only design and tune the prompts. On the one hand, the delicate design of prompt tuning exhibits strong performance. On the other hand, complicated structures and update rules largely increase the computation and storage cost. Motivated by the observation that the evolution pattern of the generalization capability in visual-language models aligns harmoniously with the trend of rank variations in the prompt matrix during adaptation, we design a new type of prompt, Re-parameterized Low-rank Prompt (RLP), for both efficient and effective adaptation. Our method could largely reduce the number of tunable parameters and storage space, which is quite beneficial in resource-limited scenarios. Extensive experiments further demonstrate the superiority of RLP. In particular, RLP shows comparable or even stronger performance than the latest state-of-the-art methods with an extremely small number of parameters. On a series of tasks over 11 datasets, RLP significantly increases the average downstream accuracy of classic prompt tuning by up to 5.25% using merely 0.5K parameters.


title: Scalable Design with Posterior-Based Operating Characteristics

abstract: To design trustworthy Bayesian studies, criteria for posterior-based operating characteristics - such as power and the type I error rate - are often defined in clinical, industrial, and corporate settings. These posterior-based operating characteristics are typically assessed by exploring sampling distributions of posterior probabilities via simulation. In this paper, we propose a scalable method to determine optimal sample sizes and decision criteria that maps posterior probabilities to low-dimensional conduits for the data. Our method leverages this mapping and large-sample theory to explore sampling distributions of posterior probabilities in a targeted manner. This targeted exploration approach prompts consistent sample size recommendations with fewer simulation repetitions than standard methods. We repurpose the posterior probabilities computed in that approach to efficiently investigate various sample sizes and decision criteria using contour plots.


title: DePRL: Achieving Linear Convergence Speedup in Personalized Decentralized Learning with Shared Representations

abstract: Decentralized learning has emerged as an alternative method to the popular parameter-server framework which suffers from high communication burden, single-point failure and scalability issues due to the need of a central server. However, most existing works focus on a single shared model for all workers regardless of the data heterogeneity problem, rendering the resulting model performing poorly on individual workers. In this work, we propose a novel personalized decentralized learning algorithm named DePRL via shared representations. Our algorithm relies on ideas from representation learning theory to learn a low-dimensional global representation collaboratively among all workers in a fully decentralized manner, and a user-specific low-dimensional local head leading to a personalized solution for each worker. We show that DePRL achieves, for the first time, a provable linear speedup for convergence with general non-linear representations (i.e., the convergence rate is improved linearly with respect to the number of workers). Experimental results support our theoretical findings showing the superiority of our method in data heterogeneous environments.


title: Heat kernel coefficients for massive gravity

abstract: We compute the heat kernel coefficients that are needed for the regularization and renormalization of massive gravity. Starting from the Stueckelberg action for massive gravity, we determine the propagators of the different fields (massive tensor, vector and scalar) in a general linear covariant gauge depending on four free gauge parameters. We then compute the non-minimal heat kernel coefficients for all the components of the scalar, vector and tensor sector, and employ these coefficients to regularize the propagators of all the different fields of massive gravity. We also study the massless limit and discuss the appearance of the van Dam-Veltman-Zakharov discontinuity. In the course of the computation, we derive new identities relating the heat kernel coefficients of different field sectors, both massive and massless.


title: Ocean Data Quality Assessment through Outlier Detection-enhanced Active Learning

abstract: Ocean and climate research benefits from global ocean observation initiatives such as Argo, GLOSS, and EMSO. The Argo network, dedicated to ocean profiling, generates a vast volume of observatory data. However, data quality issues from sensor malfunctions and transmission errors necessitate stringent quality assessment. Existing methods, including machine learning, fall short due to limited labeled data and imbalanced datasets. To address these challenges, we propose an ODEAL framework for ocean data quality assessment, employing AL to reduce human experts' workload in the quality assessment workflow and leveraging outlier detection algorithms for effective model initialization. We also conduct extensive experiments on five large-scale realistic Argo datasets to gain insights into our proposed method, including the effectiveness of AL query strategies and the initial set construction approach. The results suggest that our framework enhances quality assessment efficiency by up to 465.5% with the uncertainty-based query strategy compared to random sampling and minimizes overall annotation costs by up to 76.9% using the initial set built with outlier detectors.


title: Facial Emotion Recognition using CNN in PyTorch

abstract: In this project, we have implemented a model to recognize real-time facial emotions given the camera images. Current approaches would read all data and input it into their model, which has high space complexity. Our model is based on the Convolutional Neural Network utilizing the PyTorch library. We believe our implementation will significantly improve the space complexity and provide a useful contribution to facial emotion recognition. Our motivation is to understanding clearly about deep learning, particularly in CNNs, and analysis real-life scenarios. Therefore, we tunned the hyper parameter of model such as learning rate, batch size, and number of epochs to meet our needs. In addition, we also used techniques to optimize the networks, such as activation function, dropout and max pooling. Finally, we analyzed the result from two optimizer to observe the relationship between number of epochs and accuracy.


title: Satellite Data Shows Resilience of Tigrayan Farmers in Crop Cultivation During Civil War

abstract: The Tigray War was an armed conflict that took place primarily in the Tigray region of northern Ethiopia from November 3, 2020 to November 2, 2022. Given the importance of agriculture in Tigray to livelihoods and food security, determining the impact of the war on cultivated area is critical. However, quantifying this impact was difficult due to restricted movement within and into the region and conflict-driven insecurity and blockages. Using satellite imagery and statistical area estimation techniques, we assessed changes in crop cultivation area in Tigray before and during the war. Our findings show that cultivated area was largely stable between 2020-2021 despite the widespread impacts of the war. We estimated $1,132,000\pm133,000$ hectares of cultivation in pre-war 2020 compared to $1,217,000 \pm 132,000$ hectares in wartime 2021. Comparing changes inside and outside of a 5 km buffer around conflict events, we found a slightly higher upper confidence limit of cropland loss within the buffer (0-3%) compared to outside the buffer (0-1%). Our results support other reports that despite widespread war-related disruptions, Tigrayan farmers were largely able to sustain cultivation. Our study demonstrates the capability of remote sensing combined with machine learning and statistical techniques to provide timely, transparent area estimates for monitoring food security in regions inaccessible due to conflict.


title: Sub-microsecond high-fidelity dispersive readout of a spin qubit with squeezed photons

abstract: Fast and high-fidelity qubit measurement is essential for realizing quantum error correction, which is in turn a key ingredient to universal quantum computing. For electron spin qubits, fast readout is one of the significant road blocks toward error correction. Here we examine the dispersive readout of a single spin in a semiconductor double quantum dot coupled to a microwave resonator. We show that using displaced squeezed vacuum states for the probing photons can improve the qubit readout fidelity and speed. Under condition of proper phase matching, we find that a moderate, and only moderate, squeezing can enhance both the signal-to-noise ratio and the fidelity of the qubit-state readout, and the optimal readout time can be shortened to the sub-microsecond range with above $99\%$ fidelity. These enhancements are achieved at low probing microwave intensity, ensuring non-demolition qubit measurement.


title: A mechanistic model of gossip, reputations, and cooperation

abstract: Social reputations facilitate cooperation: those who help others gain a good reputation, making them more likely to receive help themselves. But when people hold private views of one another, this cycle of indirect reciprocity breaks down, as disagreements lead to the perception of unjustified behavior that ultimately undermines cooperation. Theoretical studies often assume population-wide agreement about reputations, invoking rapid gossip as an endogenous mechanism for reaching consensus. However, the theory of indirect reciprocity lacks a mechanistic description of how gossip actually generates consensus. Here we develop a mechanistic model of gossip-based indirect reciprocity that incorporates two alternative forms of gossip: exchanging information with randomly selected peers or consulting a single gossip source. We show that these two forms of gossip are mathematically equivalent under an appropriate transformation of parameters. We derive an analytical expression for the minimum amount of gossip required to reach sufficient consensus and stabilize cooperation. We analyze how the amount of gossip necessary for cooperation depends on the benefits and costs of cooperation, the assessment rule (social norm), and errors in reputation assessment, strategy execution, and gossip transmission. Finally, we show that biased gossip can either facilitate or hinder cooperation, depending on the direction and magnitude of the bias. Our results contribute to the growing literature on cooperation facilitated by communication, and they highlight the need to study strategic interactions coupled with the spread of social information.


title: Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language

abstract: Despite being an essential step in software development, writing requirements specifications is frequently performed in natural language, leading to issues like inconsistency, incompleteness, or ambiguity. The ITLingo initiative has introduced a requirements specification language named RSL to enhance the rigor and consistency of technical documentation. On the other hand, natural language processing (NLP) is a field that has been supporting the automatic analysis of requirements by helping to detect issues that may be difficult to see during a manual review. Once the requirements specifications are validated, it is important to automate the generation of documents for these specifications to reduce manual work, reduce errors, and to produce documentation in multiple formats that are more easily reusable or recognized by the different stakeholders. This paper reviews existing research and tools in the fields of requirements validation and document automation. We propose to extend RSL with validation of specifications based on customized checks, and on linguistic rules dynamically defined in the RSL itself. In addition, we also propose the automatic generation of documents from these specifications to JSON, TXT, or other file formats using template files. We use a fictitious business information system to support the explanation and to demonstrate how these validation checks can assist in writing better requirements specifications and then generate documents in multiple formats based on them. Finally, we evaluate the usability of the proposed validation and document automation approach through a user session.


title: Power and Hydrogen Hybrid Transmission for Renewable Energy Systems: An Integrated Expansion Planning Strategy

abstract: The increasing interest in hydrogen as a clean energy source has led to extensive research into its transmission, storage, and integration with bulk power systems. With the evolution of hydrogen technologies towards greater efficiency, and cost-effectiveness, it becomes essential to examine the operation and expansion of grids that include both electric power and hydrogen facilities. This paper introduces an expansion strategy for electric power and hydrogen transmission systems, tailored for future renewable energy-enriched grids. Our proposed transmission expansion planning with hydrogen facilities (TEP-H) model integrates daily operations of both electric power and hydrogen transmissions. The fuel cells and electrolyzers are used for electrical-hydrogen energy conversion, and related constraints are considered in TEP-H. We applied TEP-H to the Texas 123-bus backbone transmission grid (TX-123BT), for various renewable penetration levels and hydrogen technology development assumptions. It gave us insights on the scenarios that hydrogen transmission become feasible and economically beneficial. We also compared the performance of TX-123BT system with the hybrid transmission investment and the pure electrical transmission investment obtained by a traditional transmission expansion planning (TEP-T) model. The numerical results indicate that future renewable grids can have lower total cost with TEP-H if future electrical-hydrogen energy conversion efficiency is high.


abstract: Sobolev-Bregman forms, or $p$-forms, describe Markovian semigroups on $L^p$, and they reduce to Dirichlet forms when $p = 2$. We prove a variant of the Beurling-Deny formula for Sobolev-Bregman forms which correspond to an arbitrary regular Dirichlet form. As a sample application, we prove the corresponding Hardy-Stein identity. Our results require no further conditions on the Dirichlet form or the associated Markovian semigroup.


title: Latent Space Editing in Transformer-Based Flow Matching

abstract: This paper strives for image editing via generative models. Flow Matching is an emerging generative modeling technique that offers the advantage of simple and efficient training. Simultaneously, a new transformer-based U-ViT has recently been proposed to replace the commonly used UNet for better scalability and performance in generative modeling. Hence, Flow Matching with a transformer backbone offers the potential for scalable and high-quality generative modeling, but their latent structure and editing ability are as of yet unknown. Hence, we adopt this setting and explore how to edit images through latent space manipulation. We introduce an editing space, which we call $u$-space, that can be manipulated in a controllable, accumulative, and composable manner. Additionally, we propose a tailored sampling solution to enable sampling with the more efficient adaptive step-size ODE solvers. Lastly, we put forth a straightforward yet powerful method for achieving fine-grained and nuanced editing using text prompts. Our framework is simple and efficient, all while being highly effective at editing images while preserving the essence of the original content. Our code will be publicly available at https://taohu.me/lfm/


title: Revealing Networks: Understanding Effective Teacher Practices in AI-Supported Classrooms using Transmodal Ordered Network Analysis

abstract: Learning analytics research increasingly studies classroom learning with AI-based systems through rich contextual data from outside these systems, especially student-teacher interactions. One key challenge in leveraging such data is generating meaningful insights into effective teacher practices. Quantitative ethnography bears the potential to close this gap by combining multimodal data streams into networks of co-occurring behavior that drive insight into favorable learning conditions. The present study uses transmodal ordered network analysis to understand effective teacher practices in relationship to traditional metrics of in-system learning in a mathematics classroom working with AI tutors. Incorporating teacher practices captured by position tracking and human observation codes into modeling significantly improved the inference of how efficiently students improved in the AI tutor beyond a model with tutor log data features only. Comparing teacher practices by student learning rates, we find that students with low learning rates exhibited more hint use after monitoring. However, after an extended visit, students with low learning rates showed learning behavior similar to their high learning rate peers, achieving repeated correct attempts in the tutor. Observation notes suggest conceptual and procedural support differences can help explain visit effectiveness. Taken together, offering early conceptual support to students with low learning rates could make classroom practice with AI tutors more effective. This study advances the scientific understanding of effective teacher practice in classrooms learning with AI tutors and methodologies to make such practices visible.


title: An outburst and FU Ori-type disk of a former low luminosity protostar

abstract: Strong accretion outbursts onto protostars are associated with emission dominated by a viscously heated disk, which is characterized by high luminosities. We report the discovery and characterization of a strong mid-IR (3.4, 4.6 $\mu$m) outburst in the embedded protostar SSTgbs J21470601+4739394 (hereafter SSTgbsJ214706). SSTgbsJ214706 has steadily brightened in the mid-infrared by $\sim2$ magnitudes over the past decade, as observed by NEOWISE. Follow-up investigations with the Gemini near-IR spectrograph reveal that SSTgbsJ214706 is a binary system with a spatially extended outflow. The outburst is occurring on the more embedded southeast (SE) component, which dominates the mid- and far-infrared emission from the source. The outbursting component exhibits a spectrum consistent with an FU Ori-type outburst, including the presence of enhanced absorption observed in the molecular bands of CO. The luminosity of the SE component is estimated to be $\sim 0.23\,$ L$_\odot$ before the outburst and $\sim 0.95\,$ L$_\odot$ during the outburst, which is 1 to 2 orders of magnitude fainter than bonafide FU Ori outbursts. We interpret this eruption as an FU Ori-type outburst, although the possibility of brightening following an extinction episode cannot be ruled out. We discuss the implications and potential explanations for such a low-luminosity eruption.


title: Status of direct detection searches of heavy dark matter

abstract: Dark matter accounts for 26% of the mass-energy density of the Universe, however, its nature and origins remain the most important open questions in physics. The search for Weakly Interacting Massive Particles (WIMPs), one of the leading dark matter particle candidates, is now in a decisive phase, with experiments targeting both the high-mass and the low-mass (1-10 GeV/$c^2$) WIMP scenarios. The status of the leading experimental searches is discussed, together with their prospects and challenges they are facing. Searches of heavy non-WIMP dark matter candidates are also briefly summarized.

categories: hep-ph astro-ph.CO astro-ph.IM hep-ex nucl-ex


title: Systematic Improvement of $x$-dependent Unpolarized Nucleon Generalized Parton Distribution in Lattice-QCD Calculation

abstract: We present a first study of the effects of renormalization-group resummation (RGR) and leading-renormalon resummation (LRR) on the systematic errors of the unpolarized isovector nucleon generalized parton distribution in the framework of large-momentum effective theory (LaMET). This work is done using lattice gauge ensembles generated by the MILC collaboration, consisting of 2+1+1 flavors of highly improved staggered quarks with a physical pion mass at lattice spacing $a\approx 0.09$~fm and a box width $L\approx 5.76$~fm. We present results for the nucleon $H$ and $E$ GPDs with average boost momentum $P_z\approx 2$~GeV at momentum transfers $Q^2=[0, 0.97]$~GeV$^2$ at skewness $\xi=0$ as well as $Q^2\in 0.23$ GeV$^2$ at $\xi=0.1$, renormalized in the $\overline{\rm MS}$ scheme at scale $\mu=2.0$ GeV, with two- and one-loop matching, respectively. We demonstrate that the simultaneous application of RGR and LRR significantly reduces the systematic errors in renormalized matrix elements and distributions for both the zero and nonzero skewness GPDs, and that it is necessary to include both RGR and LRR at higher orders in the matching and renormalization processes.


title: Bisimplicial separators

abstract: A minimal separator of a graph $G$ is a set $S \subseteq V(G)$ such that there exist vertices $a,b \in V(G) \setminus S$ with the property that $S$ separates $a$ from $b$ in $G$, but no proper subset of $S$ does. For an integer $k\ge 0$, we say that a minimal separator is $k$-simplicial if it can be covered by $k$ cliques and denote by $\mathcal{G}_k$ the class of all graphs in which each minimal separator is $k$-simplicial. We show that for each $k \geq 0$, the class $\mathcal{G}_k$ is closed under induced minors, and we use this to show that the Maximum Weight Stable Set problem can be solved in polynomial time for $\mathcal{G}_k$. We also give a complete list of minimal forbidden induced minors for $\mathcal{G}_2$. Next, we show that, for $k \geq 1$, every nonnull graph in $\mathcal{G}_k$ has a $k$-simplicial vertex, i.e., a vertex whose neighborhood is a union of $k$ cliques; we deduce that the Maximum Weight Clique problem can be solved in polynomial time for graphs in $\mathcal{G}_2$. Further, we show that, for $k \geq 3$, it is NP-hard to recognize graphs in $\mathcal{G}_k$; the time complexity of recognizing graphs in $\mathcal{G}_2$ is unknown. We also show that the Maximum Clique problem is NP-hard for graphs in $\mathcal{G}_3$. Finally, we prove a decomposition theorem for diamond-free graphs in $\mathcal{G}_2$ (where the diamond is the graph obtained from $K_4$ by deleting one edge), and we use this theorem to obtain polynomial-time algorithms for the Vertex Coloring and recognition problems for diamond-free graphs in $\mathcal{G}_2$, and improved running times for the Maximum Weight Clique and Maximum Weight Stable Set problems for this class of graphs.


title: Steady-state Dirichlet approximation of the Wright-Fisher model using the prelimit generator comparison approach of Stein's method

abstract: The Wright-Fisher model, originating in Wright (1931) is one of the canonical probabilistic models used in mathematical population genetics to study how genetic type frequencies evolve in time. In this paper we bound the rate of convergence of the stationary distribution for a finite population Wright-Fisher Markov chain with parent independent mutation to the Dirichlet distribution. Our result improves the rate of convergence established in Gan et al. (2017) from $O(1/\sqrt{N})$ to $O(1/N)$. The results are derived using Stein's method, in particular, the prelimit generator comparison method.


title: Moving frame theory of zero-bias photocurrent on the surface of topological insulators

abstract: Motivated by observations of zero-biased photocurrent on the surface of topological insulators, we show that the in-plane effective magnetic field $\tilde B$ implements a moving frame transformation on the topological insulators' helical surface states. As a result, photo-excited electrons on the surface undergo a Galilean boost proportional to the effective in-plane magnetic field $\tilde B$. The boost velocity is transversely proportional to $\tilde B$. This explains why the experimentally observed photocurrent depends linearly on $\tilde B$. Our theory while consistent with the observation that at leading order the effect does not depend on the polarization of the incident radiation, at next leading order in $\tilde B$ predicts a polarization dependence in both parallel and transverse directions to the polarization. We also predict two induced Fermi surface effects that can serve as further confirmation of our moving frame theory. Based on the estimated value $\zeta\approx 0.34$ of the tilt parameter for a magnetic fields of $\tilde B\sim 3$T, our geometric picture qualifies the surface Dirac cone of magnetic topological insulators as an accessible platform for the synthesis and experimental investigation of strong synthetic gravitational phenomena.

categories: cond-mat.mes-hall cond-mat.mtrl-sci gr-qc hep-th


title: AI Gender Bias, Disparities, and Fairness: Does Training Data Matter?

abstract: This study delves into the pervasive issue of gender issues in artificial intelligence (AI), specifically within automatic scoring systems for student-written responses. The primary objective is to investigate the presence of gender biases, disparities, and fairness in generally targeted training samples with mixed-gender datasets in AI scoring outcomes. Utilizing a fine-tuned version of BERT and GPT-3.5, this research analyzes more than 1000 human-graded student responses from male and female participants across six assessment items. The study employs three distinct techniques for bias analysis: Scoring accuracy difference to evaluate bias, mean score gaps by gender (MSG) to evaluate disparity, and Equalized Odds (EO) to evaluate fairness. The results indicate that scoring accuracy for mixed-trained models shows an insignificant difference from either male- or female-trained models, suggesting no significant scoring bias. Consistently with both BERT and GPT-3.5, we found that mixed-trained models generated fewer MSG and non-disparate predictions compared to humans. In contrast, compared to humans, gender-specifically trained models yielded larger MSG, indicating that unbalanced training data may create algorithmic models to enlarge gender disparities. The EO analysis suggests that mixed-trained models generated more fairness outcomes compared with gender-specifically trained models. Collectively, the findings suggest that gender-unbalanced data do not necessarily generate scoring bias but can enlarge gender disparities and reduce scoring fairness.


title: Jupiter Mass Binaries and Cosmic Ray Viscosity

abstract: The fraction of planetary mass objects in the Trapezium cluster that are in wide binaries is much greater than implied by extrapolation to lower masses of the fraction of stars that are in wide binaries. Wide binaries may be produced by gravitational collapse of a medium with fluid vorticity. In a uniform medium with uniform vorticity the collapse criterion is independent of the size and mass of the collapsing region, which would imply a wide binary fraction independent of mass, in contradiction to observation. Angular momentum, rather than thermal pressure, may be the chief obstacle to star formation. The excess of Jupiter Mass Binary Objects in the Trapezium cluster may be attributed to cosmic ray viscosity that transports angular momentum to surrounding material. Viscosity is more effective in smaller and less massive collapsing regions, preferentially producing planetary mass wide binaries. Energetic particles trapped on magnetic field lines in a corona contribute to viscosity, dissipation and angular momentum flow in accretion discs.

categories: astro-ph.GA astro-ph.EP astro-ph.HE astro-ph.SR


title: Your Student is Better Than Expected: Adaptive Teacher-Student Collaboration for Text-Conditional Diffusion Models

abstract: Knowledge distillation methods have recently shown to be a promising direction to speedup the synthesis of large-scale diffusion models by requiring only a few inference steps. While several powerful distillation methods were recently proposed, the overall quality of student samples is typically lower compared to the teacher ones, which hinders their practical usage. In this work, we investigate the relative quality of samples produced by the teacher text-to-image diffusion model and its distilled student version. As our main empirical finding, we discover that a noticeable portion of student samples exhibit superior fidelity compared to the teacher ones, despite the "approximate" nature of the student. Based on this finding, we propose an adaptive collaboration between student and teacher diffusion models for effective text-to-image synthesis. Specifically, the distilled model produces the initial sample, and then an oracle decides whether it needs further improvements with a slow teacher model. Extensive experiments demonstrate that the designed pipeline surpasses state-of-the-art text-to-image alternatives for various inference budgets in terms of human preference. Furthermore, the proposed approach can be naturally used in popular applications such as text-guided image editing and controllable generation.


title: Measuring precise radial velocities on individual spectral lines. IV. Stellar activity correlation with line formation temperature

abstract: Context. Radial velocities (RVs) of stars contain both the Doppler reflex motion of potential planetary companions and the drowning and sometimes imitating effect of stellar activity. To separate the two, previous efforts have sought for proxys which only trace the activity signals, yet the sub-meter-per-second floor required for the detection of Earth-like planets remains difficult to break. Aims. In this work, we analyze a sample of 12 G- to early M-type stars in order to investigate the feasibility of detecting a differential effect of stellar activity with photospheric depth, as traced by the spectral line-forming temperature, for observations with different sampling and noise levels. Methods. We computed the average line formation temperature for each point in the observed wavelength grids using the spectral synthesis code PySME. The final line selection was curated to exclude blended and poorly synthesized lines. We thereafter computed the convective blueshift (CB) of the line cores of our master spectra (composed of the stacked individual spectra for each star). Finally, we extract RV time series for certain intervals of formation temperature using a template-matching approach. Results. We find the CB to follow a linear relation with the formation temperature of the line cores, and the CB slope to be steeper with increasing effective temperature. For the RV time series derived for different intervals of formation temperature, we find the RVs of line parts formed at higher temperatures, close to the spectral continuum, to be generally correlated with the S index, and RVs of line parts formed at cooler temperatures, close to the spectral line cores, to be generally anti-correlated, especially for stars with low noise levels and significant variations over their magnetic cycles.


title: Testing Bell-CHSH Inequalities Using topological Aharonov-Casher and He-McKellar-Wilkens Phases

abstract: The effects of Aharonov-Casher (AC) and He-McKellar-Wilkens (HMW) phases on entangled spin-1/2 quantum systems are investigated. We use linear charge distributions positioned at the center of resulting closed orbits, capitalizing on Mach Zender-type interferometers modified with phase retarders to unveil the topological effects. We analyze how AC-HMW phases influence the Bell angles and maximal violation of Bell-CHSH inequalities (BI) without any classical interaction. We incorporate the spin and path of particles in the interferometers as observables to test noncontextual hidden variable theories against quantum mechanics, leveraging the non-local features of AC-HMW effects. Furthermore, we discuss potential implementations of our scheme in physical systems.


title: Interaction and coherence in 2D bilayers

abstract: In bilayer systems, the additional layer pseudospin enables the emergence of interlayer coherence (IC), which is a direct consequence of the interlayer Coulomb interaction. This study presents a comprehensive HF investigation of IC in 2D bilayers, uncovering ground-state behaviors and temperature-dependent phase transitions that are distinct from single-layer 2DEG. This IC signals a spontaneous breaking of the U(1) symmetry in pseudospin. We explore the zero-temperature phase diagrams as a function of the electron density and interlayer separation within the HF formalism. We also calculate the critical temperature ($T_c$) of the interlayer coherence onset by self-consistently solving the HF gap-like equation. We contrast this IC phase in e-e bilayers with the closely related excitonic superfluid phase in e-h bilayers. Though both e-e and e-h bilayers spontaneously break the pseudospin U(1) symmetry, e-h bilayers produce BCS-BEC crossover intrinsic to the excitons acting as effective bosons or Cooper pairs, whereas the symmetry-broken phase in e-e bilayers is akin to the XY or easy-plane pseudospin ferromagnetism. Using the same system parameters and a similar theoretical framework, we find that $T_c$ of the interlayer coherent phase in e-e bilayers is about one-third of that in exciton condensates, suggesting a weaker IC in e-e bilayers. In addition, we examine the effect of a weak interlayer tunneling on the IC order parameter, drawing parallels with the influence of an effective in-plane magnetic field on the XY pseudospin ferromagnetism. Our findings provide a comparative theoretical framework that bridges the gap between the IC physics in e-e and e-h bilayers, contributing to a unified understanding of phase transitions in low-dimensional electron/hole systems and establishing in particular the same universality class for interlayer phase coherence in both e-e and e-h bilayers.


title: Spontaneous Formation of Altermagnetism from Orbital Ordering

abstract: Altermagnetism has emerged as a third type of collinear magnetism. In contrast to standard ferromagnets and antiferromagnets, altermagnets exhibit extra even-parity wave spin order parameters resulting in a spin-splitting of electronic bands in momentum space. In real space, sublattices of opposite spin polarization are anisotropic and related by rotational symmetry. In the hitherto identified altermagnetic candidate materials the anisotropies arise from the local crystallographic symmetry. Here, we show that altermagnetism can also form as an interaction-induced electronic instability in a lattice without the crystallographic sublattice anisotropy. We provide a microscopic example of a two-orbital model showing that the coexistence of staggered antiferromagnetic and orbital order can realize robust altermagnetism. We quantify the spin-splitter conductivity as a key experimental observable and discuss material candidates for the interaction-induced realization of altermagnetism.


title: The Implementation of Arduino Microcontroller Boards in Science: A Bibliometric Analysis from 2008 to 2022

abstract: The name "Arduino" made its international debut in 2005, marking the age of Arduino as one of the most user-friendly and cost-effective microcontroller boards (MCBs) for novices. The science implementation of Arduino boards in automation, networking and data acquisition has been increasing steadily. This study provides a thorough Bibliometric analysis from 1122 papers focused on the Scopus database of published microcontroller research, from the first year the Arduino keyword appeared in 2008 until 2022. Various science articles indexed by Scopus and referring to the use of Arduino MCBs are selected. The Bibliometric analysis explores comprehensive and general key attributes that form a trend from the Scopus articles based on authors, titles, publication years, keywords, citations, affiliations, abstracts, funding information, and languages. The generated data is visualized and analyzed to find patterns that appear within the time span. This study found a significant increase in the number of articles on Arduino boards in Biology, Physics, Chemistry, Science, and STEM category of the paper. Despite using only the Scopus database, this study opens up to view the direction of the growing application of Arduino boards in Science. The use of Bibliometric analysis maps the scientific implementation of Arduino boards as an extensive guide for future collaborations in education and industry.


title: Online Boosting Adaptive Learning under Concept Drift for Multistream Classification

abstract: Multistream classification poses significant challenges due to the necessity for rapid adaptation in dynamic streaming processes with concept drift. Despite the growing research outcomes in this area, there has been a notable oversight regarding the temporal dynamic relationships between these streams, leading to the issue of negative transfer arising from irrelevant data. In this paper, we propose a novel Online Boosting Adaptive Learning (OBAL) method that effectively addresses this limitation by adaptively learning the dynamic correlation among different streams. Specifically, OBAL operates in a dual-phase mechanism, in the first of which we design an Adaptive COvariate Shift Adaptation (AdaCOSA) algorithm to construct an initialized ensemble model using archived data from various source streams, thus mitigating the covariate shift while learning the dynamic correlations via an adaptive re-weighting strategy. During the online process, we employ a Gaussian Mixture Model-based weighting mechanism, which is seamlessly integrated with the acquired correlations via AdaCOSA to effectively handle asynchronous drift. This approach significantly improves the predictive performance and stability of the target stream. We conduct comprehensive experiments on several synthetic and real-world data streams, encompassing various drifting scenarios and types. The results clearly demonstrate that OBAL achieves remarkable advancements in addressing multistream classification problems by effectively leveraging positive knowledge derived from multiple sources.


title: Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems

abstract: The integration of neural networks into safety-critical systems has shown great potential in recent years. However, the challenge of effectively verifying the safety of Neural Network Controlled Systems (NNCS) persists. This paper introduces a novel approach to NNCS safety verification, leveraging the inductive invariant method. Verifying the inductiveness of a candidate inductive invariant in the context of NNCS is hard because of the scale and nonlinearity of neural networks. Our compositional method makes this verification process manageable by decomposing the inductiveness proof obligation into smaller, more tractable subproblems. Alongside the high-level method, we present an algorithm capable of automatically verifying the inductiveness of given candidates by automatically inferring the necessary decomposition predicates. The algorithm significantly outperforms the baseline method and shows remarkable reductions in execution time in our case studies, shortening the verification time from hours (or timeout) to seconds.


title: High-Fidelity Face Swapping with Style Blending

abstract: Face swapping has gained significant traction, driven by the plethora of human face synthesis facilitated by deep learning methods. However, previous face swapping methods that used generative adversarial networks (GANs) as backbones have faced challenges such as inconsistency in blending, distortions, artifacts, and issues with training stability. To address these limitations, we propose an innovative end-to-end framework for high-fidelity face swapping. First, we introduce a StyleGAN-based facial attributes encoder that extracts essential features from faces and inverts them into a latent style code, encapsulating indispensable facial attributes for successful face swapping. Second, we introduce an attention-based style blending module to effectively transfer Face IDs from source to target. To ensure accurate and quality transferring, a series of constraint measures including contrastive face ID learning, facial landmark alignment, and dual swap consistency is implemented. Finally, the blended style code is translated back to the image space via the style decoder, which is of high training stability and generative capability. Extensive experiments on the CelebA-HQ dataset highlight the superior visual quality of generated images from our face-swapping methodology when compared to other state-of-the-art methods, and the effectiveness of each proposed module. Source code and weights will be publicly available.


title: Hurwitz series rings satisfying a zero divisor property

abstract: In this paper, we study zero divisors in Hurwitz series rings and Hurwitz polynomial rings over general noncommutative rings. We first construct Armendariz rings that are not Armendariz of the Hurwitz series type and find various properties of (Hurwitz series) Armendariz rings. We show that for a semiprime Armendariz of Hurwitz series type (so reduced) ring $R$ with $a.c.c.$ on annihilator ideals, $HR$ (the Hurwitz series ring with coefficients over $R$) has finitely many minimal prime ideals, say $B_1, \ldots, B_m$ such that $B_1 \cdot \ldots \cdot B_m = 0$ and $B_i = HA_i$ for some minimal prime ideal $A_i$ of $R$ for all $i$, where $A_1, \ldots, A_m$ are all minimal prime ideals of $R$. Additionally, we construct various types of (Hurwitz series) Armendariz rings and demonstrate that the polynomial ring extension preserves the Armendarizness of the Hurwitz series as the Armendarizness.


title: A local twisted trace formula for Whittaker induction of coregular symmetric pairs: the geometric side

abstract: In this paper, we prove the geometric expansion of a local twisted trace formula for the Whittaker induction of any symmetric pairs that are coregular. This generalizes the local (twisted) trace formula for reductive groups proved by Arthur \cite{A91} and Waldspurger \cite{WalFTLtordue}. We also prove a formula for the regular germs of quasi-characters associated to strongly cuspidal functions in terms of certain weighted orbital integrals. As a consequence of our trace formula and the formula for regular germs of quasi-characters, we prove a simple local trace formula of those models for strongly cuspidal test functions which implies a multiplicity formula for these models. We also present various applications of our trace formula and multiplicity formula, including a necessary condition for a discrete L-packet to contain a representation with a unitary Shalika model (resp. a Galois model for classical groups) in terms of the associated Langlands parameter, and we also compute the summation of the corresponding multiplicities for certain discrete L-packets.


title: Continuous biframes in Hilbert $C^{\ast}-$modules

abstract: In this paper, we will introduce the concept of a continuous biframe for Hilbert $ C^{\ast}- $modules and we present various examples of continuous biframes. Then, we examine some characterizations of this biframe with the help of an invertible and adjointable operator is given. Moreover, we study continuous biframe Bessel multiplier and dual continuous biframe in Hilbert $ C^{\ast}- $modules.


title: Two-mode squeezing and SU(1,1) interferometry with trapped ions

abstract: We experimentally implement circuits of one and two mode operations on two motional modes of a single trapped ion. This is achieved by implementing the required displacement, squeezing, two-mode squeezing, and beamsplitter operations using oscillating electric potentials applied to the trap electrodes. The resulting electric fields drive the modes resonantly or parametrically without the need for optical forces. As a demonstration, we implement SU(2) and SU(1,1) interferometers with phase sensitivities near the Cram\'er-Rao bound. We report a maximum sensitivity of a SU(2) interferometer within $0.67(5)\,$dB of the standard quantum limit (SQL) as well as a single and two-mode SU(1,1) sensitivity of $5.9(2)\,$dB and $4.5(2)\,$dB below the SQL respectively.


title: Global relaxation-based LP-Newton method for multiple hyperparameter selection in support vector classification with feature selection

abstract: Support vector classification (SVC) is an effective tool for classification tasks in machine learning. Its performance relies on the selection of appropriate hyperparameters. In this paper, our focus is on identifying the optimal value for the regularization hyperparameter C, as well as determining the bounds on the features in a SVC problem. This implies that the number of hyperparameters in our SVC can potentially be very large. It is very well-known in machine learning that this could lead to the so-called curse of dimensionality. To address this challenge of multiple hyperparameter selection, the problem is formulated as a bilevel optimization problem, which is then transformed into a mathematical program with equilibrium constraints (MPEC). Our first contribution involves proving the fulfillment of a Mangasarian-Fromovitz constraint qualification tailored to the latter reformulation of the problem. Furthermore, we introduce a novel linear programming (LP)-Newton-based global relaxation method (GRLPN) for solving this problem and provide corresponding convergence results. Typically, in global relaxation methods for MPECs, the algorithm for the corresponding subproblem is treated as a blackbox. Possibly for the first time in the literature, the subproblem is specifically studied in detail. Numerical experiments substantiate the superiority of GRLPN over grid search and the global relaxation solved by the well-known nonlinear programming solver SNOPT.


title: Robust FWER control in Neuroimaging using Random Field Theory: Riding the SuRF to Continuous Land Part 2

abstract: Historically, applications of RFT in fMRI have relied on assumptions of smoothness, stationarity and Gaussianity. The first two assumptions have been addressed in Part 1 of this article series. Here we address the severe non-Gaussianity of (real) fMRI data to greatly improve the performance of voxelwise RFT in fMRI group analysis. In particular, we introduce a transformation which accelerates the convergence of the Central Limit Theorem allowing us to rely on limiting Gaussianity of the test-statistic. We shall show that, when the GKF is combined with the Gaussianization transformation, we are able to accurately estimate the EEC of the excursion set of the transformed test-statistic even when the data is non-Gaussian. This allows us to drop the key assumptions of RFT inference and enables us to provide a fast approach which correctly controls the voxelwise false positive rate in fMRI. We employ a big data \cite{Eklund2016} style validation in which we process resting state data from 7000 subjects from the UK BioBank with fake task designs. We resample from this data to create realistic noise and use this to demonstrate that the error rate is correctly controlled.


title: Hadronic decay of exotic mesons consisting of four charm quarks

abstract: In 2020, a di-$J/\psi$ resonance centered at around 6.9 $\mathrm{GeV}$ was discovered by the LHCb Collaboration, and was later confirmed by the ATLAS and CMS Collaborations. In addition to the 6.9-$\mathrm{GeV}$ resonance, its low energy counterpart centered at around 6552 $\mathrm{MeV}$ was also observed by the CMS Collaboration. In this paper, we calculate the inclusive decay width of such exotic mesons into light hadrons and into open charms, respectively, assuming them as either genuine tetraquarks or molecules composed of two $J/\psi$'s. Since the spins of these resonances have not yet been experimentally measured, regarding them as S-wave bound states, we consider all possible spin configurations, namely spin-0 and spin-2, that decay exclusively into double $J/\psi$, and find that the ratio ($\mathcal{R}$) of the decay width for the light-hadron final states to that for the charmed final states differs significantly among different spin configurations, which can help to explore the nature of the observed di-$J/\psi$ resonances and fix the mixing angle for the $J^{PC}=0^{++}$ tetraquark.


title: Comparing Shor and Steane Error Correction Using the Bacon-Shor Code

abstract: Quantum states can quickly decohere through interaction with the environment. Quantum error correction is a method for preserving coherence through active feedback. Quantum error correction encodes the quantum information into a logical state with a high-degree of symmetry. Perturbations are first detected by measuring the symmetries of the quantum state and then corrected by applying a set of gates based on the measurements. In order to measure the symmetries without perturbing the data, ancillary quantum states are required. Shor error correction uses a separate quantum state for the measurement of each symmetry. Steane error correction maps the perturbations onto a logical ancilla qubit, which is then measured to check several symmetries simultaneously. Here we experimentally compare Shor and Steane correction of bit flip errors using the Bacon-Shor code implemented in a chain of 23 trapped atomic ions. We find that the Steane error correction provides better logical error rates after a single-round of error correction and less disturbance to the data qubits without error correction.


title: Hydrodynamic interactions in anomalous rheology of active suspensions

abstract: We explore a mechanism of the anomalous rheology of active suspensions by hydrodynamic simulations using model pusher swimmers. Our simulations demonstrate that hydrodynamic interactions under shear flow systematically orient swimmers along the extension direction, which is responsible for determining the global swimming states and the resulting significant viscosity reduction. The present results indicate the essential role of hydrodynamic interactions in the elementary processes controlling the rheological properties in active suspensions. Furthermore, such processes may be the substance of the previously proposed scenario for anomalous rheology based on the interplay between the rotational diffusivities and the external shear flow.


title: Diophantine avoidance and small-height primitive elements in ideals of number fields

abstract: Let $K$ be a number field of degree $d$. Then every ideal $I$ in the ring of integers ${\mathcal O}_K$ contains infinitely many primitive elements, i.e. elements of degree $d$. A bound on smallest height of such an element in $I$ follows from some recent developments in the direction of a 1998 conjecture of W. Ruppert. We prove a very explicit bound like this in the case of quadratic fields. Further, we consider primitive elements in an ideal outside of a finite union of other ideals and prove a bound on the height of a smallest such element. Our main tool is a result on points of small norm in a lattice outside of an algebraic hypersurface and a finite union of sublattices of finite index, which we prove by blending two previous Diophantine avoidance results. We also obtain an avoidance result like this for lattice points in the positive orthant in $\mathbb{R}^d$ and use it to obtain a small-height totally positive primitive element in an ideal of a totally real number field outside of a finite union of other ideals. Additionally, we use our avoidance method to prove a bound on the Mahler measure of a generating non-sparse polynomial for a given number field. Finally, we produce a bound on the height of a smallest primitive generator for a principal ideal in a quadratic number field.


title: The Right Losses for the Right Gains: Improving the Semantic Consistency of Deep Text-to-Image Generation with Distribution-Sensitive Losses

abstract: One of the major challenges in training deep neural networks for text-to-image generation is the significant linguistic discrepancy between ground-truth captions of each image in most popular datasets. The large difference in the choice of words in such captions results in synthesizing images that are semantically dissimilar to each other and to their ground-truth counterparts. Moreover, existing models either fail to generate the fine-grained details of the image or require a huge number of parameters that renders them inefficient for text-to-image synthesis. To fill this gap in the literature, we propose using the contrastive learning approach with a novel combination of two loss functions: fake-to-fake loss to increase the semantic consistency between generated images of the same caption, and fake-to-real loss to reduce the gap between the distributions of real images and fake ones. We test this approach on two baseline models: SSAGAN and AttnGAN (with style blocks to enhance the fine-grained details of the images.) Results show that our approach improves the qualitative results on AttnGAN with style blocks on the CUB dataset. Additionally, on the challenging COCO dataset, our approach achieves competitive results against the state-of-the-art Lafite model, outperforms the FID score of SSAGAN model by 44.


title: Weighted File Placements on Singleton Boards

abstract: In 2006, Briggs and Remmel gave a factorization theorem for $m$-level rook placements on singleton boards, a special subset of Ferrers boards. Subsequently, Barrese, Loehr, Remmel, and Sagan defined the $m$-weighted file placements to give a combinatorial interpretation to the aforementioned factorization theorem for all Ferrers boards. An unintended consequence of this definition is that the sum of the $m$-weights of file placements that are not $m$-level rook placements on a singleton board must be zero. In this paper, we attempt to illuminate this result by partitioning the set of file placements that are not $m$-level rook placements. We do so in such a way that it can be shown constructively that the sum of the $m$-weights on each partition must be zero using induction.


title: Neural Network Interatomic Potentials For Open Surface Nano-mechanics Applications

abstract: Material characterization in nano-mechanical tests requires precise interatomic potentials for the computation of atomic energies and forces with near-quantum accuracy. For such purposes, we develop a robust neural-network interatomic potential (NNIP), and we provide a test for the example of molecular dynamics (MD) nanoindentation, and the case of body-centered cubic crystalline molybdenum (Mo). We employ a similarity measurement protocol, using standard local environment descriptors, to select ab initio configurations for the training dataset that capture the behavior of the indented sample. We find that it is critical to include generalized stacking fault (GSF) configurations, featuring a dumbbell interstitial on the surface, to capture dislocation cores, and also high-temperature configurations with frozen atom layers for the indenter tip contact. We develop a NNIP with distinct dislocation nucleation mechanisms, realistic generalized stacking fault energy (GSFE) curves, and an informative energy landscape for the atoms on the sample surface during nanoindentation. We compare our NNIP results with nanoindentation simulations, performed with three existing potentials -- an embedded atom method (EAM) potential, a gaussian approximation potential (GAP), and a tabulated GAP (tabGAP) potential -- that predict different dislocation nucleation mechanisms, and display the absence of essential information on the shear stress at the sample surface in the elastic region. We believe that these features render specialized NNIPs essential for simulations of nanoindentation and nano-mechanics with near-quantum accuracy.


title: Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond)

abstract: In this paper, we introduce the problem of rewriting finite formal languages using syntactic macros such that the rewriting is minimal in size. We present polynomial-time algorithms to solve variants of this problem and show their correctness. To demonstrate the practical relevance of the proposed problems and the feasibility and effectiveness of our algorithms in practice, we apply these to biomedical ontologies authored in OWL. We find that such rewritings can significantly reduce the size of ontologies by capturing repeated expressions with macros. In addition to offering valuable assistance in enhancing ontology quality and comprehension, the presented approach introduces a systematic way of analysing and evaluating features of rewriting systems (including syntactic macros, templates, or other forms of rewriting rules) in terms of their influence on computational problems.


title: Variable Importance in High-Dimensional Settings Requires Grouping

abstract: Explaining the decision process of machine learning algorithms is nowadays crucial for both model's performance enhancement and human comprehension. This can be achieved by assessing the variable importance of single variables, even for high-capacity non-linear methods, e.g. Deep Neural Networks (DNNs). While only removal-based approaches, such as Permutation Importance (PI), can bring statistical validity, they return misleading results when variables are correlated. Conditional Permutation Importance (CPI) bypasses PI's limitations in such cases. However, in high-dimensional settings, where high correlations between the variables cancel their conditional importance, the use of CPI as well as other methods leads to unreliable results, besides prohibitive computation costs. Grouping variables statistically via clustering or some prior knowledge gains some power back and leads to better interpretations. In this work, we introduce BCPI (Block-Based Conditional Permutation Importance), a new generic framework for variable importance computation with statistical guarantees handling both single and group cases. Furthermore, as handling groups with high cardinality (such as a set of observations of a given modality) are both time-consuming and resource-intensive, we also introduce a new stacking approach extending the DNN architecture with sub-linear layers adapted to the group structure. We show that the ensuing approach extended with stacking controls the type-I error even with highly-correlated groups and shows top accuracy across benchmarks. Furthermore, we perform a real-world data analysis in a large-scale medical dataset where we aim to show the consistency between our results and the literature for a biomarker prediction.


title: Reality conditions for the KdV equation and exact quasi-periodic solutions in finite phase spaces

abstract: In the present paper reality conditions for quasi-periodic solutions of the KdV equation are determined completely. As a result, solutions in the form of non-linear waves can be plotted and investigated. The full scope of obtaining finite-gap solutions of the KdV equation is presented. It is proven that the multiply periodic $\wp_{1,1}$-function on the Jacobian variety of a hyperelliptic curve of arbitrary genus serves as the finite-gap solution, the genus coincides with the number of gaps. The subspace of the Jacobian variety where $\wp_{1,1}$, as well as other $\wp$-functions, are bounded and real-valued is found in any genus. This result covers every finite phase space of the KdV hierarchy, and can be extended to other completely integrable equations. A method of effective computation of this type of solutions is suggested, and illustrated in genera $2$ and $3$.


title: The interior penalty virtual element method for fourth-order singular perturbation problems

abstract: This paper is dedicated to the numerical solution of a fourth-order singular perturbation problem using the interior penalty virtual element method (IPVEM) proposed in [42]. The study introduces modifications to the jumps and averages in the penalty term, as well as presents an automated mesh-dependent selection of the penalty parameter. Drawing inspiration from the modified Morley finite element methods, we leverage the conforming interpolation technique to handle the lower part of the bilinear form. Through our analysis, we establish optimal convergence in the energy norm and provide a rigorous proof of uniform convergence concerning the perturbation parameter in the lowest-order case.


title: Code Ownership in Open-Source AI Software Security

abstract: As open-source AI software projects become an integral component in the AI software development, it is critical to develop a novel methods to ensure and measure the security of the open-source projects for developers. Code ownership, pivotal in the evolution of such projects, offers insights into developer engagement and potential vulnerabilities. In this paper, we leverage the code ownership metrics to empirically investigate the correlation with the latent vulnerabilities across five prominent open-source AI software projects. The findings from the large-scale empirical study suggest a positive relationship between high-level ownership (characterised by a limited number of minor contributors) and a decrease in vulnerabilities. Furthermore, we innovatively introduce the time metrics, anchored on the project's duration, individual source code file timelines, and the count of impacted releases. These metrics adeptly categorise distinct phases of open-source AI software projects and their respective vulnerability intensities. With these novel code ownership metrics, we have implemented a Python-based command-line application to aid project curators and quality assurance professionals in evaluating and benchmarking their on-site projects. We anticipate this work will embark a continuous research development for securing and measuring open-source AI project security.


title: Cohomology and Homotopy of Lie triple systems

abstract: In this paper, first we give the controlling algebra of Lie triple systems. In particular, the cohomology of Lie triple systems can be characterized by the controlling algebra. Then using controlling algebras, we introduce the notions of homotopy Nambu algebras and homotopy Lie triple systems. We show that $2$-term homotopy Lie triple systems is equivalent to Lie triple $2$-systems, and the latter is the categorification of a Lie triple system. Finally we study skeletal and strict Lie triple $2$-systems. We show that skeletal Lie triple $2$-systems can be classified the third cohomology group, and strict Lie triple $2$-systems are equivalent to crossed modules of Lie triple systems.


title: Disclosure Avoidance for the 2020 Census Demographic and Housing Characteristics File

abstract: In "The 2020 Census Disclosure Avoidance System TopDown Algorithm," Abowd et al. (2022) describe the concepts and methods used by the Disclosure Avoidance System (DAS) to produce formally private output in support of the 2020 Census data product releases, with a particular focus on the DAS implementation that was used to create the 2020 Census Redistricting Data (P.L. 94-171) Summary File. In this paper we describe the updates to the DAS that were required to release the Demographic and Housing Characteristics (DHC) File, which provides more granular tables than other data products, such as the Redistricting Data Summary File. We also describe the final configuration parameters used for the production DHC DAS implementation, as well as subsequent experimental data products to facilitate development of tools that provide confidence intervals for confidential 2020 Census tabulations.


title: On-Device Recommender Systems: A Tutorial on The New-Generation Recommendation Paradigm

abstract: Given the sheer volume of contemporary e-commerce applications, recommender systems (RSs) have gained significant attention in both academia and industry. However, traditional cloud-based RSs face inevitable challenges, such as resource-intensive computation, reliance on network access, and privacy breaches. In response, a new paradigm called on-device recommender systems (ODRSs) has emerged recently in various industries like Taobao, Google, and Kuaishou. ODRSs unleash the computational capacity of user devices with lightweight recommendation models tailored for resource-constrained environments, enabling real-time inference with users' local data. This tutorial aims to systematically introduce methodologies of ODRSs, including (1) an overview of existing research on ODRSs; (2) a comprehensive taxonomy of ODRSs, where the core technical content to be covered span across three major ODRS research directions, including on-device deployment and inference, on-device training, and privacy/security of ODRSs; (3) limitations and future directions of ODRSs. This tutorial expects to lay the foundation and spark new insights for follow-up research and applications concerning this new recommendation paradigm.