title: Deep Multi-Objective Reinforcement Learning for Utility-Based Infrastructural Maintenance Optimization

abstract: In this paper, we introduce Multi-Objective Deep Centralized Multi-Agent Actor-Critic (MO- DCMAC), a multi-objective reinforcement learning (MORL) method for infrastructural maintenance optimization, an area traditionally dominated by single-objective reinforcement learning (RL) approaches. Previous single-objective RL methods combine multiple objectives, such as probability of collapse and cost, into a singular reward signal through reward-shaping. In contrast, MO-DCMAC can optimize a policy for multiple objectives directly, even when the utility function is non-linear. We evaluated MO-DCMAC using two utility functions, which use probability of collapse and cost as input. The first utility function is the Threshold utility, in which MO-DCMAC should minimize cost so that the probability of collapse is never above the threshold. The second is based on the Failure Mode, Effects, and Criticality Analysis (FMECA) methodology used by asset managers to asses maintenance plans. We evaluated MO-DCMAC, with both utility functions, in multiple maintenance environments, including ones based on a case study of the historical quay walls of Amsterdam. The performance of MO-DCMAC was compared against multiple rule-based policies based on heuristics currently used for constructing maintenance plans. Our results demonstrate that MO-DCMAC outperforms traditional rule-based policies across various environments and utility functions.


title: EARS: An Anechoic Fullband Speech Dataset Benchmarked for Speech Enhancement and Dereverberation

abstract: We release the EARS (Expressive Anechoic Recordings of Speech) dataset, a high-quality speech dataset comprising 107 speakers from diverse backgrounds, totaling in 100 hours of clean, anechoic speech data. The dataset covers a large range of different speaking styles, including emotional speech, different reading styles, non-verbal sounds, and conversational freeform speech. We benchmark various methods for speech enhancement and dereverberation on the dataset and evaluate their performance through a set of instrumental metrics. In addition, we conduct a listening test with 20 participants for the speech enhancement task, where a generative method is preferred. We introduce a blind test set that allows for automatic online evaluation of uploaded data. Dataset download links and automatic evaluation server can be found online.


title: A Survey on Machine Unlearning: Techniques and New Emerged Privacy Risks

abstract: The explosive growth of machine learning has made it a critical infrastructure in the era of artificial intelligence. The extensive use of data poses a significant threat to individual privacy. Various countries have implemented corresponding laws, such as GDPR, to protect individuals' data privacy and the right to be forgotten. This has made machine unlearning a research hotspot in the field of privacy protection in recent years, with the aim of efficiently removing the contribution and impact of individual data from trained models. The research in academia on machine unlearning has continuously enriched its theoretical foundation, and many methods have been proposed, targeting different data removal requests in various application scenarios. However, recently researchers have found potential privacy leakages of various of machine unlearning approaches, making the privacy preservation on machine unlearning area a critical topic. This paper provides an overview and analysis of the existing research on machine unlearning, aiming to present the current vulnerabilities of machine unlearning approaches. We analyze privacy risks in various aspects, including definitions, implementation methods, and real-world applications. Compared to existing reviews, we analyze the new challenges posed by the latest malicious attack techniques on machine unlearning from the perspective of privacy threats. We hope that this survey can provide an initial but comprehensive discussion on this new emerging area.


title: An Effective-Efficient Approach for Dense Multi-Label Action Detection

abstract: Unlike the sparse label action detection task, where a single action occurs in each timestamp of a video, in a dense multi-label scenario, actions can overlap. To address this challenging task, it is necessary to simultaneously learn (i) temporal dependencies and (ii) co-occurrence action relationships. Recent approaches model temporal information by extracting multi-scale features through hierarchical transformer-based networks. However, the self-attention mechanism in transformers inherently loses temporal positional information. We argue that combining this with multiple sub-sampling processes in hierarchical designs can lead to further loss of positional information. Preserving this information is essential for accurate action detection. In this paper, we address this issue by proposing a novel transformer-based network that (a) employs a non-hierarchical structure when modelling different ranges of temporal dependencies and (b) embeds relative positional encoding in its transformer layers. Furthermore, to model co-occurrence action relationships, current methods explicitly embed class relations into the transformer network. However, these approaches are not computationally efficient, as the network needs to compute all possible pair action class relations. We also overcome this challenge by introducing a novel learning paradigm that allows the network to benefit from explicitly modelling temporal co-occurrence action dependencies without imposing their additional computational costs during inference. We evaluate the performance of our proposed approach on two challenging dense multi-label benchmark datasets and show that our method improves the current state-of-the-art results.


title: Computing the Yaglom limit of Markov chains with a single exit state using their excursion measure

abstract: We prove in this article the existence of the Yaglom limit for Markov chains on discrete state spaces in the setting where the absorbing state is accessible from a single non-absorbing state. We use a representation of the trajectories of this process by its excursion away from death, that allows us to link the Yaglom limit with the large deviations behaviour of the inverse of its local time at the exit state, and to compute its minimal quasi-stationary distribution with its excursion measure.


title: Two-level Nonlinear Preconditioning Methods for Flood Models Posed on Perforated Domains

abstract: This article focuses on the numerical solution of the Diffusive Wave equation posed in a domain containing a large number of polygonal perforations. These numerous perforations represent structures in urban areas and this model problem is used to model urban floods. This article relies on the work done in a previous article by the same authors, in which we introduced low-dimensional coarse approximation space for the linear Poisson equation based on a coarse polygonal partitioning of the domain. Similarly to other multi-scale numerical methods, this coarse space is spanned by locally discrete harmonic basis functions. We show that this coarse space also lends itself to the linearized diffusive wave problem that is obtained at each iteration of Newton's method. Furthermore, we present nonlinear preconditioning techniques, including a two-level RASPEN and Two-step method, which can significantly reduce the number of iterations compared to the traditional Newton's method. Numerical examples illustrating the performance of the proposed methods include a large-scale test case based on topographical data from the city of Nice.


title: Tuning the water intrinsic permeability of PEGDA hydrogel membranes by adding free PEG chains of varying molar masses

abstract: We explore the effect of poly (ethylene glycol) (PEG) molar mass on the intrinsic permeability and structural characteristics of poly (ethylene glycol) diacrylate PEGDA/PEG composite hydrogel membranes. We observe that by varying the PEG content and molar mass, we can finely adjust the water intrinsic permeability over several orders of magnitude. Notably, we show the existence of a maximum water intrinsic permeability, already identified in a previous study to be located at the critical overlap concentration C^* of PEG chains, for the highest PEG molar mass studied. Furthermore, we note that the maximum intrinsic permeability follows a non-monotonic evolution with respect to the PEG molar mass and reaches its peak at 35 000 g.mol-1. Besides our results show that a significant fraction of PEG chains is irreversibly trapped within the PEGDA matrix even for the shortest molar masses down to 600 g.mol-1. This observation suggests the possibility of covalent grafting of PEG chains to the PEGDA matrix. CryoSEM and AFM measurements demonstrate the presence of large micron-sized cavities separated by PEGDA-rich walls whose nanometric structure strongly depends on the PEG content. By combining our permeability and structural measurements, we suggest that the PEG chains trapped inside the PEGDA rich walls induce nanoscale defects in the cross linking density, resulting in an increased permeability below C^*. Conversely, above C^*, we speculate that partially-trapped PEG chains may form a brush-like arrangement on the surface of the PEGDA-rich walls, leading to a reduction in permeability. These two opposing effects are anticipated to exhibit molar-mass-dependent trends, contributing to the non-monotonic variation of the maximum intrinsic permeability at C^*. Overall, our results demonstrate the potential to fine-tune the properties of hydrogel membranes, offering new opportunities in separation applications.


title: On the unique solvability of the simultaneous Pell equations $x^2-ay^2 = 1$ and $z^2-bx^2 = 1$

abstract: We consider the simultaneous Pell equations $$x^2 - ay^2 = 1, \qquad z^2 - bx^2 = 1,$$ where $a > b\geq 2$ are positive integers. We describe a procedure which, for any fixed $b$, either confirms that the simultaneous Pell equations have at most one solution in positive integers, or finds all exceptions for which we have proved that there are at most finitely many.


title: AI Cat Narrator: Designing an AI Tool for Exploring the Shared World and Social Connection with a Cat

abstract: As technology continues to advance, the interaction between humans and cats is becoming more diverse. Our research introduces a new tool called the AI Cat Narrator, which offers a unique perspective on the shared lives of humans and cats. We combined the method of ethnography with fictional storytelling, using a defamiliarization strategy to merge real-world data seen through the eyes of cats with excerpts from cat literature. This combination serves as the foundation for a database to instruct the AI Cat Narrator in crafting alternative narrative. Our findings indicate that using defamiliarized data for training purposes significantly contributes to the development of characters that are both more empathetic and individualized. The contributions of our study are twofold: 1) proposing an innovative approach to prompting a reevaluation of living alongside cats; 2) establishing a collaborative, exploratory tool developed by humans, cats, and AI together.


title: R\'enyi entanglement entropy of spin chain with Generative Neural Networks

abstract: We describe a method to estimate R\'enyi entanglement entropy of a spin system, which is based on the replica trick and generative neural networks with explicit probability estimation. It can be extended to any spin system or lattice field theory. We demonstrate our method on a one-dimensional quantum Ising spin chain. As the generative model, we use a hierarchy of autoregressive networks, allowing us to simulate up to 32 spins. We calculate the second R\'enyi entropy and its derivative and cross-check our results with the numerical evaluation of entropy and results available in the literature.

categories: cond-mat.stat-mech cond-mat.dis-nn hep-lat quant-ph


title: The Negative Action Keldysh Spinors

abstract: We discuss quantization of Dirac spinors with action which is the negative of the standard action. Using the Keldysh QFT formulation, we show that the standard quantization of such Keldysh spinors results in the Hamiltonian bounded from above and in S-matrix for backwards in time scattering. The alternative quantization produces the standard Hamiltonian bounded from below and the standard S-matrix for forwards in time scattering. When the two masses are equal, the sum of their actions describes the standard Keldysh out-of-time-order correlators. When both Keldysh and Dirac spinors are present in a QFT, the standard Fock space is augmented by negative energy states, while its positive and the negative subspaces share the same vacuum state. In absence of gravity the Dirac and the Keldysh spinors do not interact and positive and negative energy states do not exchange quanta with non-zero energy. If Keldysh spinors exist in Nature, then the Universe would consist of bosonic and fermionic particles that are described by both positive and negative Fock energy states with a single vacuum state that cannot be crossed from either side. Such a scenario could explain the non-observation of dark energy/dark matter except via classical gravity.


title: 2D Moore CA with new boundary conditions and its reversibility

abstract: In this paper, under certain conditions we consider two-dimensional cellular automata with the Moore neighborhood. Namely, the characterization of 2D linear cellular automata defined by the Moore neighborhood with some mixed boundary conditions over the field $\mathbb{Z}_{p}$ is studied. Furthermore, we investigate the rule matrices of 2D Moore CA under some mixed boundary conditions by applying rotation. Finally, we give the conditions under which the obtained rule matrices for 2D finite CAs are reversible.


title: LINGOLY: A Benchmark of Olympiad-Level Linguistic Reasoning Puzzles in Low-Resource and Extinct Languages

abstract: In this paper, we present the LingOly benchmark, a novel benchmark for advanced reasoning abilities in large language models. Using challenging Linguistic Olympiad puzzles, we evaluate (i) capabilities for in-context identification and generalisation of linguistic patterns in very low-resource or extinct languages, and (ii) abilities to follow complex task instructions. The LingOly benchmark covers more than 90 mostly low-resource languages, minimising issues of data contamination, and contains 1,133 problems across 6 formats and 5 levels of human difficulty. We assess performance with both direct accuracy and comparison to a no-context baseline to penalise memorisation. Scores from 11 state-of-the-art LLMs demonstrate the benchmark to be challenging, and models perform poorly on the higher difficulty problems. On harder problems, even the top model only achieved 38.7% accuracy, 24.7% improvement over the no-context baseline. Large closed models typically outperform open models, and in general, the higher resource the language, the better the scores. These results indicate, in absence of memorisation, true multi-step out-of-domain reasoning remains a challenge for current language models.


title: Bilard protonowy w LHC

abstract: Proton-proton elastic scattering at high energy is a process with simple kinematics but surprisingly complex dynamics. Measurements of these processes at particle colliders require dedicated detectors and unusual measurement conditions. In the article, I describe the physics of elastic processes and the experimental method in the context of the measurement performed by the ATLAS Collaboration at the LHC accelerator. I present the key elements of the data analysis and discuss the consequences of the obtained results for our understanding of the strong interactions. -- Rozpraszanie elastyczne proton-proton przy wysokich energiach jest procesem o prostej kinematyce, lecz zaskakuj\k{a}co z\l{}o\.zonej dynamice. Pomiary tych proces\'ow na zderzaczach cz\k{a}stek wymagaj\k{a} dedykowanych detektor\'ow oraz nietypowych warunk\'ow pomiarowych. W artykule opisuj\k{e} fizyk\k{e} proces\'ow elastycznych oraz metod\k{e} eksperymentaln\k{a} w kontek\'scie pomiaru wykonanego w ramach Wsp\'o\l{}pracy ATLAS na akceleratorze LHC. Przedstawiam kluczowe elementy analizy danych, a tak\.ze omawiam konsekwencje uzyskanego wyniku dla naszego zrozumienia oddzia\l{}ywa\'n silnych.


title: Learning effective Hamiltonians for adaptive time-evolution quantum algorithms

abstract: Digital quantum simulation of many-body dynamics relies on Trotterization to decompose the target time evolution into elementary quantum gates operating at a fixed equidistant time discretization. Recent advances have outlined protocols enabling more efficient adaptive Trotter protocols, which have been shown to exhibit a controlled error in the dynamics of local observables and correlation functions. However, it has remained open to which extent the errors on the actual generator of the dynamics, i.e., the target many-body Hamiltonian, remain controlled. Here, we propose to use quantum Hamiltonian learning to numerically obtain the effective Hamiltonian and apply it on the recently introduced ADA-Trotter algorithm as a concrete demonstration. Our key observation is that deviations from the target generator remain bounded on all simulation times. This result suggests that the ADA-Trotter not only generates reliable digital quantum simulation of local dynamics, but also controllably approximates the global quantum state of the target system. Our proposal is sufficiently general and readily applicable to other adaptive time-evolution algorithms.


title: Implications for Governance in Public Perceptions of Societal-scale AI Risks

abstract: Amid growing concerns over AI's societal risks--ranging from civilizational collapse to misinformation and systemic bias--this study explores the perceptions of AI experts and the general US registered voters on the likelihood and impact of 18 specific AI risks, alongside their policy preferences for managing these risks. While both groups favor international oversight over national or corporate governance, our survey reveals a discrepancy: voters perceive AI risks as both more likely and more impactful than experts, and also advocate for slower AI development. Specifically, our findings indicate that policy interventions may best assuage collective concerns if they attempt to more carefully balance mitigation efforts across all classes of societal-scale risks, effectively nullifying the near-vs-long-term debate over AI risks. More broadly, our results will serve not only to enable more substantive policy discussions for preventing and mitigating AI risks, but also to underscore the challenge of consensus building for effective policy implementation.


title: Inequalities of energy release rates in compression of nano-porous materials predict its imminent breakdown

abstract: We show that the divergent acoustic energy release rate in a quasi-statically compressed nano-porous material can be used as a precursor to failure in such materials. A quantification of the inequality of the energy release rate using social inequality measure indices help constructing a warning signal for large bursts of energy release. We also verify similar behavior for simulations of viscoelastic fiber bundle models that mimic the strain-hardening dynamics of the samples. The results demonstrate experimental applicability of the precursory signal formulation for any diverging response function near a transition point using social inequality indices.


title: 2DP-2MRC: 2-Dimensional Pointer-based Machine Reading Comprehension Method for Multimodal Moment Retrieval

abstract: Moment retrieval aims to locate the most relevant moment in an untrimmed video based on a given natural language query. Existing solutions can be roughly categorized into moment-based and clip-based methods. The former often involves heavy computations, while the latter, due to overlooking coarse-grained information, typically underperforms compared to moment-based models. Hence, this paper proposes a novel 2-Dimensional Pointer-based Machine Reading Comprehension for Moment Retrieval Choice (2DP-2MRC) model to address the issue of imprecise localization in clip-based methods while maintaining lower computational complexity than moment-based methods. Specifically, we introduce an AV-Encoder to capture coarse-grained information at moment and video levels. Additionally, a 2D pointer encoder module is introduced to further enhance boundary detection for target moment. Extensive experiments on the HiREST dataset demonstrate that 2DP-2MRC significantly outperforms existing baseline models.


title: Federated learning in food research

abstract: Research in the food domain is at times limited due to data sharing obstacles, such as data ownership, privacy requirements, and regulations. While important, these obstacles can restrict data-driven methods such as machine learning. Federated learning, the approach of training models on locally kept data and only sharing the learned parameters, is a potential technique to alleviate data sharing obstacles. This systematic review investigates the use of federated learning within the food domain, structures included papers in a federated learning framework, highlights knowledge gaps, and discusses potential applications. A total of 41 papers were included in the review. The current applications include solutions to water and milk quality assessment, cybersecurity of water processing, pesticide residue risk analysis, weed detection, and fraud detection, focusing on centralized horizontal federated learning. One of the gaps found was the lack of vertical or transfer federated learning and decentralized architectures.


title: New ACV variables discovered in the Zwicky Transient Facility survey

abstract: The manifestation of surface spots on magnetic chemically peculiar (mCP) stars is most commonly explained by the atomic diffusion theory, which requires a calm stellar atmosphere and only moderate rotation. While very successful and well described, this theory still needs to be revised and fine-tuned to the observations. Our study aims to enlarge the sample of known photometrically variable mCP stars (ACV variables) to pave the way for more robust and significant statistical studies. We derive accurate physical parameters for these objects and discuss our results in the framework of the atomic diffusion theory. We studied 1314 candidate ACV variables that were selected from the Zwicky Transient Factory catalogue of periodic variables based on light curve characteristics. We investigated these objects using photometric criteria, a colour-magnitude diagram, and spectroscopic data from the LAMOST and Gaia missions to confirm their status as ACV variables. We present a sample of 1232 new ACV variables, including information on distance from the Sun, mass, fractional age on the main sequence, fraction of the radius between the zero-age and terminal-age main sequence, and the equatorial velocity and its ratio to the critical velocity. Our results confirm that the employed selection process is highly effcient for detecting ACV variables. We have identified 38 stars with v(equ) in excess of 150 km/s (with extreme values up to 260 km/s). This challenges current theories that cannot explain the occurrence of such fast-rotating mCP stars.


title: QUIJOTE discovery of the cation radicals HC5N+ and HC7N+

abstract: We present the discovery with the QUIJOTE line survey of the cations HC5N+ and HC7N+ in the direction of TMC-1. Seven lines with half-integer quantum numbers from J=25/2-23/2 to 37/2-35/2 have been assigned to HC5N+ and eight lines from J=55/2-53/2 to 71/2-69/2 to HC7N+. Both species have inverted 2Pi ground electronic states with very good estimates for their B0 and AS0 constants based on optical observations. The lines with the lowest J of HC5N+ exhibit multiple components due to the hyperfine structure introduced by the H and N nuclei. However, these different components collapse for the higher J. No hyperfine structure is found for any of the lines of HC7N+. The derived effective rotational and distortion constants for HC5N+ are Beff = 1336.662+/- 0.001 MHz and Deff = 27.4+/-2.6 Hz, while for HC7N+ they are Beff = 567.85036+/-0.00037 MHz and Deff = 4.01+/-0.19 Hz. From the observed intensities, we derived Trot = 5.5+/-0.5K and N = (9.9+/-1.0)x 1010 cm-2 for HC5N+, while we obtained Trot = 8.5+/-0.5K and N = (2.3+/-0.2)x1010 cm-2 for HC7N+. The HC5N/HC5N+, C5N/HC5N+, C5N-/HC5N+, HC7N/HC7N+, HC5N+/HC7N+, and C7N-/HC7N+ abundance ratios are 670+/-80, 4.8+/-0.8, 1.2+/-0.2, 1000+/-150, 4.2+/-0.5, and 2.2+/-0.2, respectively. We have run chemical modelling calculations to investigate the formation and destruction of these new cations. We find that these species are mainly formed through the reactions of H2 and the cations C5N+ and C7N+, and by the reactions of H+ with HC5N and HC7N, while they are mostly destroyed through a reaction with H2 and a dissociative recombination with electrons. Based on the underestimation of the abundances of HC5N+ and HC7N+ by the chemical model by a factor around 20, we suggest that the rate coefficients currently assumed for the reactions of these cations with H2 could be too high by the same factor, something that will be worth investigating.


title: Rooted trees with level structures, $\Omega$-classes and double ramification cycles

abstract: We prove a new system of relations in the tautological ring of the moduli space of curves involving stable rooted trees with level structure decorated by the top Chern class of the Hodge bundle and $\Omega$-classes and double ramification structures. In particular, this resolves a recent conjecture on these relations as well as connects with one of the two sides of the recently established DR/DZ equivalence between the integrable hierarchies constructions of Buryak and of Dubrovin--Zhang.


title: A lower bound for the number of pinned angles determined by a Cartesian product set

abstract: We prove that, for any $B \subset \mathbb R$, the Cartesian product set $B \times B$ determines $\Omega(|B|^{2+c})$ distinct angles.


title: Lurking in the shadows: Unveiling Stealthy Backdoor Attacks against Personalized Federated Learning

abstract: Federated Learning (FL) is a collaborative machine learning technique where multiple clients work together with a central server to train a global model without sharing their private data. However, the distribution shift across non-IID datasets of clients poses a challenge to this one-model-fits-all method hindering the ability of the global model to effectively adapt to each client's unique local data. To echo this challenge, personalized FL (PFL) is designed to allow each client to create personalized local models tailored to their private data. While extensive research has scrutinized backdoor risks in FL, it has remained underexplored in PFL applications. In this study, we delve deep into the vulnerabilities of PFL to backdoor attacks. Our analysis showcases a tale of two cities. On the one hand, the personalization process in PFL can dilute the backdoor poisoning effects injected into the personalized local models. Furthermore, PFL systems can also deploy both server-end and client-end defense mechanisms to strengthen the barrier against backdoor attacks. On the other hand, our study shows that PFL fortified with these defense methods may offer a false sense of security. We propose \textit{PFedBA}, a stealthy and effective backdoor attack strategy applicable to PFL systems. \textit{PFedBA} ingeniously aligns the backdoor learning task with the main learning task of PFL by optimizing the trigger generation process. Our comprehensive experiments demonstrate the effectiveness of \textit{PFedBA} in seamlessly embedding triggers into personalized local models. \textit{PFedBA} yields outstanding attack performance across 10 state-of-the-art PFL algorithms, defeating the existing 6 defense mechanisms. Our study sheds light on the subtle yet potent backdoor threats to PFL systems, urging the community to bolster defenses against emerging backdoor challenges.


title: Quantifying the effect of speech pathology on automatic and human speaker verification

abstract: This study investigates how surgical intervention for speech pathology (specifically, as a result of oral cancer surgery) impacts the performance of an automatic speaker verification (ASV) system. Using two recently collected Dutch datasets with parallel pre and post-surgery audio from the same speaker, NKI-OC-VC and SPOKE, we assess the extent to which speech pathology influences ASV performance, and whether objective/subjective measures of speech severity are correlated with the performance. Finally, we carry out a perceptual study to compare judgements of ASV and human listeners. Our findings reveal that pathological speech negatively affects ASV performance, and the severity of the speech is negatively correlated with the performance. There is a moderate agreement in perceptual and objective scores of speaker similarity and severity, however, we could not clearly establish in the perceptual study, whether the same phenomenon also exists in human perception.


title: Precision calculations of the $D_{(s)}D_{(s)}V$ and $B_{(s)}B_{(s)}V$ couplings from light-cone sum rules

abstract: We present an improved calculation of the $HHV$ ($H=D_{(s)},\, B_{(s)}$, $V= \rho$, $K^\ast$, $\omega$, and $\phi$) coupling constants $g_{HHV}$ beyond leading order in $\alpha_s$ from QCD light-cone sum rules (LCSRs) by means of the light-cone distribution amplitudes (LCDAs) of light vector mesons. Near the light-cone, the next-to-leading order QCD corrections for the vacuum-to-vector-meson correlation function are included at leading power in $\delta_V = m_V/m_Q$ ($Q=b,c$) within the framework of hard-collinear factorization. The higher-twist corrections from two-particle and three-particle vector meson LCDAs are systematically incorporated at leading order in $\alpha_s$ by applying the method of background field in LCSRs. Based on these improvements, we perform a systematic computation of the strong coupling constants $g_{H HV}$ and extract the effective coupling $\beta$ of the heavy meson chiral perturbation theory (HM$\chi$PT). Furthermore, we accomplish the analysis for the relation between the coupling $g_{HHV}$ and the residue of the $H\to V$ transition form factor $A_0$ at heavy pseudoscalar pole. Additionally, we provide a detailed investigation of the $SU(3)$ flavour symmetry breaking effects and conduct a comparative analysis with results from previous studies.


title: Quantum Architecture Search: A Survey

abstract: Quantum computing has made significant progress in recent years, attracting immense interest not only in research laboratories but also in various industries. However, the application of quantum computing to solve real-world problems is still hampered by a number of challenges, including hardware limitations and a relatively under-explored landscape of quantum algorithms, especially when compared to the extensive development of classical computing. The design of quantum circuits, in particular parameterized quantum circuits (PQCs), which contain learnable parameters optimized by classical methods, is a non-trivial and time-consuming task requiring expert knowledge. As a result, research on the automated generation of PQCs, known as quantum architecture search (QAS), has gained considerable interest. QAS focuses on the use of machine learning and optimization-driven techniques to generate PQCs tailored to specific problems and characteristics of quantum hardware. In this paper, we provide an overview of QAS methods by examining relevant research studies in the field. We discuss main challenges in designing and performing an automated search for an optimal PQC, and survey ways to address them to ease future research.


title: iMotion-LLM: Motion Prediction Instruction Tuning

abstract: We introduce iMotion-LLM: a Multimodal Large Language Models (LLMs) with trajectory prediction, tailored to guide interactive multi-agent scenarios. Different from conventional motion prediction approaches, iMotion-LLM capitalizes on textual instructions as key inputs for generating contextually relevant trajectories. By enriching the real-world driving scenarios in the Waymo Open Dataset with textual motion instructions, we created InstructWaymo. Leveraging this dataset, iMotion-LLM integrates a pretrained LLM, fine-tuned with LoRA, to translate scene features into the LLM input space. iMotion-LLM offers significant advantages over conventional motion prediction models. First, it can generate trajectories that align with the provided instructions if it is a feasible direction. Second, when given an infeasible direction, it can reject the instruction, thereby enhancing safety. These findings act as milestones in empowering autonomous navigation systems to interpret and predict the dynamics of multi-agent environments, laying the groundwork for future advancements in this field.


title: Sub-Landau levels in two-dimensional electron system in magnetic field

abstract: Considering the role of electron correlation in a two-dimensional (2D) system in strong magnetic field, we investigate the quantum states of two interacting electrons in the quantum Hall effect regime. We introduce sub-Landau levels of the two-electron states by determining their energies and degeneracies. The effects of electron correlation, Zeeman splitting and energy-level broadening on the stability of the electron-pair states are discussed. It is shown that the two electrons in the triplet state with spins aligned parallel to the magnetic field can form a stable electron pair in the 2D system in GaAs/AlGaAs heterojunction. A wavefunction of many electron pairs are presented and compared with the Laughlin wavefunction.


title: A Statistical Theory of Regularization-Based Continual Learning

abstract: We provide a statistical analysis of regularization-based continual learning on a sequence of linear regression tasks, with emphasis on how different regularization terms affect the model performance. We first derive the convergence rate for the oracle estimator obtained as if all data were available simultaneously. Next, we consider a family of generalized $\ell_2$-regularization algorithms indexed by matrix-valued hyperparameters, which includes the minimum norm estimator and continual ridge regression as special cases. As more tasks are introduced, we derive an iterative update formula for the estimation error of generalized $\ell_2$-regularized estimators, from which we determine the hyperparameters resulting in the optimal algorithm. Interestingly, the choice of hyperparameters can effectively balance the trade-off between forward and backward knowledge transfer and adjust for data heterogeneity. Moreover, the estimation error of the optimal algorithm is derived explicitly, which is of the same order as that of the oracle estimator. In contrast, our lower bounds for the minimum norm estimator and continual ridge regression show their suboptimality. A byproduct of our theoretical analysis is the equivalence between early stopping and generalized $\ell_2$-regularization in continual learning, which may be of independent interest. Finally, we conduct experiments to complement our theory.


title: Solutions to some problems on unique representation bases

abstract: In this note, three 2003 problems of Nathanson and two 2007 problems of Chen on unique representation bases for the integers are resolved.


title: ZTF SN Ia DR2: Evidence of Changing Dust Distributions With Redshift Using Type Ia Supernovae

abstract: Type Ia supernova (SNIa) are excellent probes of local distance, and the increasing sample sizes of SNIa have driven an increased need to study the associated systematic uncertainties and improve the standardisation methods in preparation for the next generation of cosmological surveys into the dark energy equation-of-state $w$. We aim to probe the potential change in the SNIa standardisation parameter $c$ with redshift and the host-galaxy of the supernova. Improving the standardisation of SNIa brightnesses will require accounting for the relationship between the host and the SNIa, and potential shifts in the SNIa standardisation parameters with redshift will cause biases in the recovered cosmology. Here, we assemble a volume-limited sample of ~3000 likely SNIa across a redshift range of $z = 0.015$ to $z = 0.36$. This sample is fitted with changing mass and redshift bins to determine the relationship between intrinsic properties of SNe Ia and their redshift and host galaxy parameters. We then investigate the colour-luminosity parameter $\beta$ as a further test of the SNIa standardisation process. We find that the changing colour distribution of SNe Ia with redshift is driven by dust at a confidence of $>4\sigma$. Additionally, we show a strong correlation between the host galaxy mass and the colour-luminosity coefficient $\beta$ ($> 4\sigma$), even when accounting for the quantity of dust in a host galaxy.


title: Lighting Every Darkness with 3DGS: Fast Training and Real-Time Rendering for HDR View Synthesis

abstract: Volumetric rendering based methods, like NeRF, excel in HDR view synthesis from RAWimages, especially for nighttime scenes. While, they suffer from long training times and cannot perform real-time rendering due to dense sampling requirements. The advent of 3D Gaussian Splatting (3DGS) enables real-time rendering and faster training. However, implementing RAW image-based view synthesis directly using 3DGS is challenging due to its inherent drawbacks: 1) in nighttime scenes, extremely low SNR leads to poor structure-from-motion (SfM) estimation in distant views; 2) the limited representation capacity of spherical harmonics (SH) function is unsuitable for RAW linear color space; and 3) inaccurate scene structure hampers downstream tasks such as refocusing. To address these issues, we propose LE3D (Lighting Every darkness with 3DGS). Our method proposes Cone Scatter Initialization to enrich the estimation of SfM, and replaces SH with a Color MLP to represent the RAW linear color space. Additionally, we introduce depth distortion and near-far regularizations to improve the accuracy of scene structure for downstream tasks. These designs enable LE3D to perform real-time novel view synthesis, HDR rendering, refocusing, and tone-mapping changes. Compared to previous volumetric rendering based methods, LE3D reduces training time to 1% and improves rendering speed by up to 4,000 times for 2K resolution images in terms of FPS. Code and viewer can be found in https://github.com/Srameo/LE3D .


title: Completeness classes in algebraic complexity theory

abstract: The purpose of this overview is to explain the enormous impact of Les Valiant's eponymous short conference contribution from 1979 on the development of algebraic complexity.


title: Data Augmentation in Earth Observation: A Diffusion Model Approach

abstract: The scarcity of high-quality Earth Observation (EO) imagery poses a significant challenge, despite its critical role in enabling precise analysis and informed decision-making across various sectors. This scarcity is primarily due to atmospheric conditions, seasonal variations, and limited geographical coverage, which complicates the application of Artificial Intelligence (AI) in EO. Data augmentation, a widely used technique in AI that involves generating additional data mainly through parameterized image transformations, has been employed to increase the volume and diversity of data. However, this method often falls short in generating sufficient diversity across key semantic axes, adversely affecting the accuracy of EO applications. To address this issue, we propose a novel four-stage approach aimed at improving the diversity of augmented data by integrating diffusion models. Our approach employs meta-prompts for instruction generation, harnesses general-purpose vision-language models for generating rich captions, fine-tunes an Earth Observation diffusion model, and iteratively augments data. We conducted extensive experiments using four different data augmentation techniques, and our approach consistently demonstrated improvements, outperforming the established augmentation methods, revealing its effectiveness in generating semantically rich and diverse EO images.


title: Mind the gap: Distinguishing disc substructures and their impact on the inner disc composition

abstract: Improved observational technologies have enabled the resolution of substructures and the measurement of chemical abundances in discs. Understanding the chemical composition of the inner disc allows us to infer the building blocks available for planet formation. Recently, the depletion of water in the inner disc has been suggested to be linked to the presence of substructures, such as gaps and rings, further out. We investigate this hypothesis further by running 1D semi-analytical models of a disc with a gap to understand the combined effects of disc viscosity, gap depth, gap location, and gap formation timescales on the inner disc composition. Our results show that for a specific value of disc viscosity, the simulation outcome can be classified into three regimes: shallow gap, "traffic jam", and deep gap. While deep gaps may already be distinguishable with moderate-resolution techniques, it is still challenging to resolve shallow gaps with the current capabilities. On the other hand, discs with traffic jams have a higher chance of being resolved when observed with a high resolution, but they may appear as an intensity enhancement or even featureless when observed with moderate to low angular resolution. In this regard, information on the inner disc composition is useful because it can help to infer the existence of traffic jams or distinguish them from deep gaps: discs with deep gaps are expected to have a low water content and thus high C/O ratio in the inner disc due to the effective blocking of pebbles, while discs with shallow gaps would demonstrate the opposite trend. Furthermore, discs with a traffic jam would have a constant inward flux of water-rich pebbles resulting in a moderate water content and sub-stellar C/O ratios. Finally, we find that the effectiveness of gaps as pebble barriers diminishes quickly when they form late, as most of the pebbles have already drifted inwards.


title: Label-Looping: Highly Efficient Decoding for Transducers

abstract: This paper introduces a highly efficient greedy decoding algorithm for Transducer inference. We propose a novel data structure using CUDA tensors to represent partial hypotheses in a batch that supports parallelized hypothesis manipulations. During decoding, our algorithm maximizes GPU parallelism by adopting a nested-loop design, where the inner loop consumes all blank predictions, while non-blank predictions are handled in the outer loop. Our algorithm is general-purpose and can work with both conventional Transducers and Token-and-Duration Transducers. Experiments show that the label-looping algorithm can bring a speedup up to 2.0X compared to conventional batched decoding algorithms when using batch size 32, and can be combined with other compiler or GPU call-related techniques to bring more speedup. We will open-source our implementation to benefit the research community.


title: Synchronous Programming with Refinement Types

abstract: Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently responsible for the safety of lives, property, or the environment, and so software correctness must be determined with a high degree of certainty. To that end, simply testing a CPS is insufficient, as its interactions with the physical world may be difficult to predict, and unsafe conditions may not be immediately obvious. Formal verification can provide stronger safety guarantees but relies on the accuracy of the verified system in representing the real system. Bringing together verification and implementation can be challenging, as languages that are typically used to implement CPS are not easy to formally verify, and languages that lend themselves well to verification often abstract away low-level implementation details. Translation between verification and implementation languages is possible, but requires additional assurances in the translation process and increases software complexity; having both in a single language is desirable. This paper presents a formalization of MARVeLus, a CPS language which combines verification and implementation. We develop a metatheory for its synchronous refinement type system and demonstrate verified synchronous programs executing on real systems.


title: Shear thickening in suspensions of particles with dynamic brush layers

abstract: Control of frictional interactions among liquid-suspended particles has led to tunable, strikingly non-Newtonian rheology via the formation of strong flow constraints as particles come into close proximity under shear. Typically, these frictional interactions have been in the form of physical contact, controllable via particle shape and surface roughness. We investigate a different route, where molecular bridging between nearby particle surfaces generates a controllable "sticky" friction. This is achieved with surface-functionalized colloidal particles capable of forming dynamic covalent bonds with telechelic polymers that comprise the suspending fluid. At low shear stress this results in particles coated with a uniform polymer brush layer. Beyond an onset stress the telechelic polymers become capable of bridging and generate shear thickening. Over the size range investigated, we find that the dynamic brush layer leads to dependence of the onset stress on particle diameter that closely follows a power law with exponent -1.76. In the shear thickening regime, we observe an enhanced dilation in measurements of the first normal stress difference and reduction in the extrapolated volume fraction required for jamming, both consistent with an effective particle friction that increases with decreasing particle diameter. These results are discussed in light of predictions for suspensions of hard spheres and of polymer-grafted particles.


title: Remote Implementation of Hidden or Partially Unknown Quantum Operators using Optimal Resources: A Generalized View

abstract: Two protocols are proposed for two closely linked but different variants of remote implementation of quantum operators of specific forms. The first protocol is designed for the remote implementation of the single qubit hidden quantum operator, whereas the second one is designed for the remote implementation of the partially unknown single qubit quantum operator. In both cases two-qubit maximally entangled state, which is entangled in the spatial degree of freedom is used. The quantum resources used here are optimal and easy to realize and maintain in comparison to the multi-partite or multi-mode entangled states used in earlier works. The proposed protocols are also generalized to their controlled, bidirectional, cyclic, controlled cyclic, and controlled bidirectional versions and it is shown that either Bell state alone or products of Bell states will be sufficient to perform these tasks with some additional classical communications in the controlled cases only. This is in sharp contrast to the earlier proposals that require large entangled states. In addition, it's noted that remote implementation of hidden or partially unknown operators involving multiple controllers and/or multiple players who jointly apply the desired operator(s) would require quantum channels more complex than the Bell states and their products. Explicit forms of such quantum channels are also provided.


title: Arithmetic density and congruences of $\ell$-regular bipartitions

abstract: Let $ B_{\ell}(n)$ denote the number of $\ell$-regular bipartitions of $n.$ In this article, we prove that $ B_{\ell}(n)$ is always almost divisible by $p_i^j$ if $p_i^{2a_i}\geq \ell,$ where $j$ is a fixed positive integer and $\ell=p_1^{a_1}p_2^{a_2}\ldots p_m^{a_m},$ where $p_i$ are prime numbers $\geq 5.$ Further, we obtain an infinities families of congruences for $B_3(n)$ and $B_5(n)$ by using Hecke eigen form theory and a result of Newman \cite{Newmann1959}. Furthermore, by applying Radu and Seller's approach, we obtain an algorithm from which we get several congruences for $B_{p}(n)$, where $p$ is a prime number.


title: Siren -- Advancing Cybersecurity through Deception and Adaptive Analysis

abstract: Siren represents a pioneering research effort aimed at fortifying cybersecurity through strategic integration of deception, machine learning, and proactive threat analysis. Drawing inspiration from mythical sirens, this project employs sophisticated methods to lure potential threats into controlled environments. The system features a dynamic machine learning model for real-time analysis and classification, ensuring continuous adaptability to emerging cyber threats. The architectural framework includes a link monitoring proxy, a purpose-built machine learning model for dynamic link analysis, and a honeypot enriched with simulated user interactions to intensify threat engagement. Data protection within the honeypot is fortified with probabilistic encryption. Additionally, the incorporation of simulated user activity extends the system's capacity to capture and learn from potential attackers even after user disengagement. Siren introduces a paradigm shift in cybersecurity, transforming traditional defense mechanisms into proactive systems that actively engage and learn from potential adversaries. The research strives to enhance user protection while yielding valuable insights for ongoing refinement in response to the evolving landscape of cybersecurity threats.


title: On uniqueness in nonlocal diffuse optical tomography

abstract: We investigate the inverse problem of recovering the diffusion and absorption coefficients $(\sigma,q)$ in the nonlocal diffuse optical tomography equation $(-\text{div}( \sigma \nabla))^s u+q u =0$ from the (partial) Dirichlet-to-Neumann map. The purpose of this article is twofold: (i) Firstly, we show that the diffusion coefficient $\sigma$ and absorption coefficient $q$ can be recovered simultaneously. (ii) Secondly, we prove that the absorption coefficient $q$ can be determined provided $\sigma$ is known in a neighborhood of the boundary $\partial\Omega$. The key ingredients to prove these uniqueness results are the Caffarelli--Silvestre type extension technique and a novel Runge approximation related to solution spaces of two different partial differential equations, which is based on the geometric form of the Hahn--Banach theorem. The results in this work hold for any dimension $n\geq 3$.


title: PAC-Bayes Analysis for Recalibration in Classification

abstract: Nonparametric estimation with binning is widely employed in the calibration error evaluation and the recalibration of machine learning models. Recently, theoretical analyses of the bias induced by this estimation approach have been actively pursued; however, the understanding of the generalization of the calibration error to unknown data remains limited. In addition, although many recalibration algorithms have been proposed, their generalization performance lacks theoretical guarantees. To address this problem, we conduct a generalization analysis of the calibration error under the probably approximately correct (PAC) Bayes framework. This approach enables us to derive a first optimizable upper bound for the generalization error in the calibration context. We then propose a generalization-aware recalibration algorithm based on our generalization theory. Numerical experiments show that our algorithm improves the Gaussian-process-based recalibration performance on various benchmark datasets and models.


title: On the age distribution of Classical Cepheids in the Galaxy

abstract: We revisit the problem of the positive correlation between age and Galactocentric distance seen in Galactic Classical Cepheids, which at first sight is counter-intuitive in the context of inside-out galaxy formation. To explain it, we use the Besan\c{c}on Galaxy Model and a simulation of star particles in the Galactic disc coupled with stellar evolutionary models. We then select Classical Cepheids from this simulation and test in qualitative terms which ingredients are necessary to find agreement with the observational data. We show that the observed age vs. Galactocentric radius distribution in the Milky Way is a direct consequence of the disc's negative radial metallicity gradient (and, depending on the set of stellar models used, a metallicity dependence of the instability strip). The interplay of the metallicity gradient and the metallicity dependence of the Cepheids' life-time in the instability strip results in a pronounced positive age-Galactocentric distance relation. This renders a reconstruction of the recent star-formation history based on Classical Cepheids unlikely. It also has important consequences on our interpretation of the observed scatter about the radial metallicity gradient measured with Galactic Classical Cepheids.


title: Global $H^2$-solutions for the generalized derivative NLS on $\mathbb{T}$

abstract: We prove global existence of $H^2$ solutions to the Cauchy problem for the generalized derivative nonlinear Schr\"{o}dinger equation on the 1-d torus. This answers an open problem posed by Ambrose and Simpson (2015). The key is the extraction of the terms that cause the problem in energy estimates and the construction of suitable energies so as to cancel the problematic terms out by effectively using integration by parts and the equation.


title: UEMM-Air: A Synthetic Multi-modal Dataset for Unmanned Aerial Vehicle Object Detection

abstract: The development of multi-modal object detection for Unmanned Aerial Vehicles (UAVs) typically relies on a large amount of pixel-aligned multi-modal image data. However, existing datasets face challenges such as limited modalities, high construction costs, and imprecise annotations. To this end, we propose a synthetic multi-modal UAV-based object detection dataset, UEMM-Air. Specially, we simulate various UAV flight scenarios and object types using the Unreal Engine (UE). Then we design the UAV's flight logic to automatically collect data from different scenarios, perspectives, and altitudes. Finally, we propose a novel heuristic automatic annotation algorithm to generate accurate object detection labels. In total, our UEMM-Air consists of 20k pairs of images with 5 modalities and precise annotations. Moreover, we conduct numerous experiments and establish new benchmark results on our dataset. We found that models pre-trained on UEMM-Air exhibit better performance on downstream tasks compared to other similar datasets. The dataset is publicly available (https://github.com/1e12Leon/UEMM-Air) to support the research of multi-modal UAV object detection models.


title: Statistical Inference for Privatized Data with Unknown Sample Size

abstract: We develop both theory and algorithms to analyze privatized data in the unbounded differential privacy(DP), where even the sample size is considered a sensitive quantity that requires privacy protection. We show that the distance between the sampling distributions under unbounded DP and bounded DP goes to zero as the sample size $n$ goes to infinity, provided that the noise used to privatize $n$ is at an appropriate rate; we also establish that ABC-type posterior distributions converge under similar assumptions. We further give asymptotic results in the regime where the privacy budget for $n$ goes to zero, establishing similarity of sampling distributions as well as showing that the MLE in the unbounded setting converges to the bounded-DP MLE. In order to facilitate valid, finite-sample Bayesian inference on privatized data in the unbounded DP setting, we propose a reversible jump MCMC algorithm which extends the data augmentation MCMC of Ju et al. (2022). We also propose a Monte Carlo EM algorithm to compute the MLE from privatized data in both bounded and unbounded DP. We apply our methodology to analyze a linear regression model as well as a 2019 American Time Use Survey Microdata File which we model using a Dirichlet distribution.


title: Exploring Altermagnetism in Orthorhombic $Pnma$ structure through Group Theory and DFT Calculations

abstract: Antiferromagnetism, initially considered interesting but useless, recently emerged as one of the most promising magnetic phases for technology. Recently, a low symmetry antiferromagnetic phase, known as altermagnetic phase, have been discovered, where no time reversal ($\mathcal{T}$) symmetry is observed in spite of a vanishing net magnetization, leading to non-degenerate bands from the opposite magnetic sublattices. In this work, we consider two representatives of orthorhombic $Pnma$ space group, namely, BiFeO$_3$ and CaMnO$_3$ and find altermagnetic lowest energy phase in both from our density functional theory calculations. We find a substantial spin-splitting in both systems along a high-symmetry path in the Brillouin zone without considering the spin-orbit interaction (SOI). Detailed features of the band dispersion obtained from our calculation confirm the lifting of sublattice spin degeneracy only in the $k_y$-$k_z$ plane while preserving the spin degeneracy in the other planes of the Brillouin zone. We provide a comprehensive symmetry analysis based on the magnetic space group (MSG) to explain our DFT findings and an insightful symmetry-allowed model Hamiltonian, which qualitatively agrees with our results. Additionally, we extend our symmetry analysis to encompass two other potential MSGs within the $Pnma$ space group that may host the spin-splitting phenomenon without considering SOI and the likely form of their Hamiltonian. These detailed studies pave the way for a deeper understanding of the spin-splitting phenomena within the $Pnma$ space group, offering insights into the intricate interplay between symmetry and electronic as well as magnetic properties.


title: Plasma screening in mid-charged ions observed by K-shell line emission

abstract: Dense plasma environment affects the electronic structure of ions via variations of the microscopic electrical fields, also known as plasma screening. This effect can be either estimated by simplified analytical models, or by computationally expensive and to date unverified numerical calculations. We have experimentally quantified plasma screening from the energy shifts of the bound-bound transitions in matter driven by the x-ray free electron laser (XFEL). This was enabled by identification of detailed electronic configurations of the observed K{\alpha}, K\b{eta} and K{\gamma} lines. This work paves the way for improving plasma screening models including connected effects like ionization potential depression and continuum lowering, which will advance the understanding of atomic physics in Warm Dense Matter regime.


title: Quantum thermodynamics with coherence: Covariant Gibbs-preserving operation is characterized by the free energy

abstract: The resource theory with covariant Gibbs-preserving operations, also called enhanced thermal operations, is investigated. We prove that with the help of a correlated catalyst, the state convertibility for any coherent state is fully characterized by the free energy defined with the quantum relative entropy. We can extend this result to general resource theories in the form that imposing the covariant condition to a general resource theory does not change the state convertibility as long as the initial state is coherent and distillable. This means that the additional constraint from the law of energy conservation is irrelevant in the correlated-catalytic framework.


title: Adaptive combinations of tail-risk forecasts

abstract: In order to meet the increasingly stringent global standards of banking management and regulation, several methods have been proposed in the literature for forecasting tail risk measures such as the Value-at-Risk (VaR) and Expected Shortfall (ES). However, regardless of the approach used, there are several sources of uncertainty, including model specifications, data-related issues and the estimation procedure, which can significantly affect the accuracy of VaR and ES measures. Aiming to mitigate the influence of these sources of uncertainty and improve the predictive performance of individual models, we propose novel forecast combination strategies based on the Model Confidence Set (MCS). In particular, consistent joint VaR and ES loss functions within the MCS framework are used to adaptively combine forecasts generated by a wide range of parametric, semi-parametric, and non-parametric models. Our results reveal that the proposed combined predictors provide a suitable alternative for forecasting risk measures, passing the usual backtests, entering the set of superior models of the MCS, and usually exhibiting lower standard deviations than other model specifications.


title: UnSupDLA: Towards Unsupervised Document Layout Analysis

abstract: Document layout analysis is a key area in document research, involving techniques like text mining and visual analysis. Despite various methods developed to tackle layout analysis, a critical but frequently overlooked problem is the scarcity of labeled data needed for analyses. With the rise of internet use, an overwhelming number of documents are now available online, making the process of accurately labeling them for research purposes increasingly challenging and labor-intensive. Moreover, the diversity of documents online presents a unique set of challenges in maintaining the quality and consistency of these labels, further complicating document layout analysis in the digital era. To address this, we employ a vision-based approach for analyzing document layouts designed to train a network without labels. Instead, we focus on pre-training, initially generating simple object masks from the unlabeled document images. These masks are then used to train a detector, enhancing object detection and segmentation performance. The model's effectiveness is further amplified through several unsupervised training iterations, continuously refining its performance. This approach significantly advances document layout analysis, particularly precision and efficiency, without labels.


title: Efficient Neural Compression with Inference-time Decoding

abstract: This paper explores the combination of neural network quantization and entropy coding for memory footprint minimization. Edge deployment of quantized models is hampered by the harsh Pareto frontier of the accuracy-to-bitwidth tradeoff, causing dramatic accuracy loss below a certain bitwidth. This accuracy loss can be alleviated thanks to mixed precision quantization, allowing for more flexible bitwidth allocation. However, standard mixed precision benefits remain limited due to the 1-bit frontier, that forces each parameter to be encoded on at least 1 bit of data. This paper introduces an approach that combines mixed precision, zero-point quantization and entropy coding to push the compression boundary of Resnets beyond the 1-bit frontier with an accuracy drop below 1% on the ImageNet benchmark. From an implementation standpoint, a compact decoder architecture features reduced latency, thus allowing for inference-compatible decoding.


title: Significant dependence of the efficiency of energy-saving thermochromic VO$_2$ on slight changes of its properties in the visible due to strain and/or vacancies

abstract: There are worldwide efforts to maximize the energy saving achieved by VO$_2$-based thermochromic coatings. In particular, there are very different values of the modulation of integral solar energy transmittance, reported by various laboratories on various templates even for seemingly very similar coatings. A detailed analysis reveals that this is largely due to the combination of the intentional and well understood transmittance modulation in the infrared (always beneficial) with not yet understood slight transmittance modulation in the visible (sometimes beneficial, sometimes harmful, and always multiplied by strong solar irradiance). Ab-initio calculations are used to examine the hypothesis that the transmittance modulation in the visible can be controlled by lattice strain and/or slightly off-stoichiometric [O]/[V] ratio. The presented phenomenon opens a pathway which may lead, in a case of reproducible preparation of correctly altered VO$_2$, to significantly enhanced energy saving.


title: I-MPN: Inductive Message Passing Network for Effective and Efficient Human-in-the-Loop Annotation of Mobile Eye Tracking Data

abstract: Understanding human visual processing in dynamic environments is essential for psychology and human-centered interaction design. Mobile eye-tracking systems, combining egocentric video and gaze signals, offer valuable insights. However, manual analysis of these recordings is time-intensive. In this work, we present a novel human-centered learning algorithm designed for automated object recognition within mobile eye-tracking settings. Our approach seamlessly integrates an object detector with an inductive message-passing network technique (I-MPN), harnessing node features such as node profile information and positions. This integration enables our algorithm to learn embedding functions capable of generalizing to new object angle views, thereby facilitating rapid adaptation and efficient reasoning in dynamic contexts as users navigate through their environment. Through experiments conducted on three distinct video sequences, our \textit{interactive-based method} showcases significant performance improvements over fixed training/testing algorithms, even when trained on considerably smaller annotated samples collected through user feedback. Furthermore, we showcase exceptional efficiency in data annotation processes, surpassing approaches that use complete object detectors, combine detectors with convolutional networks, or employ interactive video segmentation.


title: High-resolution spectroscopy of the variable hot post-AGB star LS 4331 (IRAS 17381-1616)

abstract: An analysis of high-resolution ($R\sim48\,000$) optical spectrum of hot (B1Ibe) post-AGB star LS 4331 (IRAS 17381-1616) is presented. The detailed identification of the observed absorption and emission features in the wavelength range 3700-9200 \r{A} is carried out for the first time. From non-LTE analysis of absorption lines the atmospheric parameters and chemical composition of the star are derived. We estimate $T_{\rm eff}=20~900\pm500$ K, $\log g=2.57\pm0.08$, $V_r=-51.7\pm0.8$ km s$^{-1}$, $\xi_{\rm t}=24\pm4$ km s$^{-1}$ and $v \sin i=30\pm5$ km s$^{-1}$. A abundance analysis for C, N, O, Mg, Al, S and Si reveals that the N and O abundance is close to solar while metal underabundances relative to the solar value (i.e. [Mg/H] = -1.04 dex, [Al/H] = -1.20 dex, [Si/H] = -0.46 dex) are found. We conclude that LS 4331 is a high galactic latitude metal-poor and carbon deficient hot post-AGB star. The underabundance of carbon ([C/H]= -0.64 dex) is similar to that found in other hot post-AGB stars and indicates that the star's AGB phase of evolution was terminated before the third dredge up. From the nebular emission lines the plasma diagnostics are derived. The presence of nebular emission lines in the spectrum of LS 4331 indicates that the photoionization of circumstellar envelope has already started. The nebular parameters and expansion velocity of the nebula is derived. Using the Gaia DR3 distance the absolute luminosity of the star is derived and the star's position on the post-AGB evolutionary tracks suggests that its initial main sequence mass is about 1.2$M_{\odot}$. It is also reported that fast irregular brightness variations with an amplitude of up to 0.3 mag in $V$ band have been found in the star, typical of hot post-AGB objects.


title: Practical Boolean Decomposition for Delay-driven LUT Mapping

abstract: Ashenhurst-Curtis decomposition (ACD) is a decomposition technique used, in particular, to map combinational logic into lookup tables (LUTs) structures when synthesizing hardware designs. However, available implementations of ACD suffer from excessive complexity, search-space restrictions, and slow run time, which limit their applicability and scalability. This paper presents a novel fast and versatile technique of ACD suitable for delay optimization. We use this new formulation to compute two-level decompositions into a variable number of LUTs and enhance delay-driven LUT mapping by performing ACD on the fly. Compared to state-of-the-art technology mapping, experiments on heavily optimized benchmarks demonstrate an average delay improvement of 12.39%, and area reduction of 2.20% with affordable run time. Additionally, our method improves 4 of the best delay results in the EPFL synthesis competition without employing design-space exploration techniques.


title: Tjurina spectrum and Hertling conjecture

abstract: We present a proof of a conjecture of Q. Shi, Y. Wang and H. Zuo claiming that the maximal spectral number of a hypersurface isolated singularity does not belong to the Tjurina spectrum. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ and also with the $V$-filtration. We also provide a sufficient condition for the generalized Hertling conjecture on the variance of Tjurina spectrum to fail, and calculate some examples using some codes in Singular.


title: Exploring nonlinear dynamics in periodically driven time crystal: from synchronized to chaotic motion

abstract: The coupled electron-nuclear spin system in an InGaAs semiconductor as testbed of nonlinear dynamics can develop auto-oscillations, resembling time-crystalline behavior, when continuously excited by a circularly polarized laser. We expose this system to deviations from continuous driving by periodic modulation of the excitation polarization, revealing a plethora of nonlinear phenomena that depend on modulation frequency and depth. We find ranges in which the system's oscillations are entrained with the modulation frequency. The width of these ranges depends on the polarization modulation depth, resulting in an Arnold tongue. Outside the tongue, the system shows a variety of fractional subharmonic responses connected through bifurcation jets when varying the modulation frequency. Here, each branch in the frequency spectrum forms a devil's staircase. When an entrainment range is approached by going through an increasing order of bifurcations, chaotic behavior emerges. These findings can be described by an advanced model of the periodically pumped electron-nuclear spin system. We discuss the connection of the obtained results to different phases of time matter.


title: Lower eigenvalue bounds with hybrid high-order methods

abstract: This paper proposes hybrid high-order eigensolvers for the computation of guaranteed lower eigenvalue bounds. These bounds display higher order convergence rates and are accessible to adaptive mesh-refining algorithms. The involved constants arise from local embeddings and are available for all polynomial degrees. Applications include the linear elasticity and Steklov eigenvalue problem.


title: A Lora-Based and Maintenance-Free Cattle Monitoring System for Alpine Pastures and Remote Locations

abstract: The advent of the Internet of Things (IoT) is boosting the proliferation of sensors and smart devices in industry and daily life. Continuous monitoring IoT systems are also finding applications in agriculture, particularly in the realm of smart farming. The adoption of wearable sensors to record the activity of livestock has garnered increasing interest. Such a device enables farmers to locate, monitor, and constantly assess the health status of their cattle more efficiently and effectively, even in challenging terrain and remote locations. This work presents a maintenance-free and robust smart sensing system that is capable of tracking cattle in remote locations and collecting activity parameters, such as the individual's grazing- and resting time. To support the paradigm of smart farming, the cattle tracker is capable of monitoring the cow's activity by analyzing data from an accelerometer, magnetometer, temperature sensor, and Global Navigation Satellite System (GNSS) module, providing them over Long Range Wide Area Network (LoRaWAN) to a backend server. By consuming 511.9 J per day with all subsystems enabled and a data transmission every 15 minutes, the custom-designed sensor node achieves a battery lifetime of 4 months. When exploiting the integrated solar energy harvesting subsystem, this can be even increased by 40% to up to 6 months. The final sensing system's robust operation is proven in a trial run with two cows on a pasture for over three days. Evaluations of the experimental results clearly show behavior patterns, which confirms the practicability of the proposed solution.


title: Data-Efficient Learning with Neural Programs

abstract: Many computational tasks can be naturally expressed as a composition of a DNN followed by a program written in a traditional programming language or an API call to an LLM. We call such composites "neural programs" and focus on the problem of learning the DNN parameters when the training data consist of end-to-end input-output labels for the composite. When the program is written in a differentiable logic programming language, techniques from neurosymbolic learning are applicable, but in general, the learning for neural programs requires estimating the gradients of black-box components. We present an algorithm for learning neural programs, called ISED, that only relies on input-output samples of black-box components. For evaluation, we introduce new benchmarks that involve calls to modern LLMs such as GPT-4 and also consider benchmarks from the neurosymolic learning literature. Our evaluation shows that for the latter benchmarks, ISED has comparable performance to state-of-the-art neurosymbolic frameworks. For the former, we use adaptations of prior work on gradient approximations of black-box components as a baseline, and show that ISED achieves comparable accuracy but in a more data- and sample-efficient manner.


title: Image Compression with Isotropic and Anisotropic Shepard Inpainting

abstract: Inpainting-based codecs store sparse selected pixel data and decode by reconstructing the discarded image parts by inpainting. Successful codecs (coders and decoders) traditionally use inpainting operators that solve partial differential equations. This requires some numerical expertise if efficient implementations are necessary. Our goal is to investigate variants of Shepard inpainting as simple alternatives for inpainting-based compression. They can be implemented efficiently when we localise their weighting function. To turn them into viable codecs, we have to introduce novel extensions of classical Shepard interpolation that adapt successful ideas from previous codecs: Anisotropy allows direction-dependent inpainting, which improves reconstruction quality. Additionally, we incorporate data selection by subdivision as an efficient way to tailor the stored information to the image structure. On the encoding side, we introduce the novel concept of joint inpainting and prediction for isotropic Shepard codecs, where storage cost can be reduced based on intermediate inpainting results. In an ablation study, we show the usefulness of these individual contributions and demonstrate that they offer synergies which elevate the performance of Shepard inpainting to surprising levels. Our resulting approaches offer a more favourable trade-off between simplicity and quality than traditional inpainting-based codecs. Experiments show that they can outperform JPEG and JPEG2000 at high compression ratios.


title: Compute Better Spent: Replacing Dense Layers with Structured Matrices

abstract: Dense linear layers are the dominant computational bottleneck in foundation models. Identifying more efficient alternatives to dense matrices has enormous potential for building more compute-efficient models, as exemplified by the success of convolutional networks in the image domain. In this work, we systematically explore structured matrices as replacements for dense matrices. We show that different structures often require drastically different initialization scales and learning rates, which are crucial to performance, especially as models scale. Using insights from the Maximal Update Parameterization, we determine the optimal scaling for initialization and learning rates of these unconventional layers. Finally, we measure the scaling laws of different structures to compare how quickly their performance improves with compute. We propose a novel matrix family containing Monarch matrices, the Block Tensor-Train (BTT), which we show performs better than dense matrices for the same compute on multiple tasks. On CIFAR-10/100 with augmentation, BTT achieves exponentially lower training loss than dense when training MLPs and ViTs. BTT matches dense ViT-S/32 performance on ImageNet-1k with 3.8 times less compute and is more efficient than dense for training small GPT-2 language models.


title: Hierarchical Cubes: Gibbs Measures and Decay of Correlations

abstract: We study a hierarchical model of non-overlapping cubes of sidelengths $2^j$, $j \in \mathbb{Z}$. The model allows for cubes of arbitrarily small size and the activities need not be translationally invariant. It can also be recast as a spin system on a tree with long-range hard-core interaction. We prove necessary and sufficient conditions for the existence and uniqueness of Gibbs measures, discuss fragmentation and condensation, and prove bounds on the decay of two-point correlation functions.


title: Asymptotic properties of infinitesimal characters and applications

abstract: Inspired by classical results by Benoist, we introduce and study natural objects associated to an integrable tangent vector to the character variety $\mathfrak X(\Gamma,\mathsf G)$ of a semi-group $\Gamma$, with values on a semi-simple real algebraic group $\mathsf G$ of the non-compact type. We obtain non-empty interior of the cone of Jordan variations and, when $\mathsf G$ is split and Benoist's limit cone is sparse, we obtain double-density results associated to these variations, giving in particular non-empty interior of the set of length-normalized variations. We then apply the developed techniques to study pressure forms on the space of Anosov representations, in particular to higher-rank Teichm\"uller spaces. Among other things we exhibit an explicit functional $\varphi\in\mathfrak a^*$ whose pressure form is compatible with Goldman's symplectic form at the Fuchsian points of the Hitchin component. We finally exhibit a Diophantine equation that governs the degeneration of the Hausdorff dimension of higher-quasi-circles.


title: Learning Fine-Grained Controllability on Speech Generation via Efficient Fine-Tuning

abstract: As the scale of generative models continues to grow, efficient reuse and adaptation of pre-trained models have become crucial considerations. In this work, we propose Voicebox Adapter, a novel approach that integrates fine-grained conditions into a pre-trained Voicebox speech generation model using a cross-attention module. To ensure a smooth integration of newly added modules with pre-trained ones, we explore various efficient fine-tuning approaches. Our experiment shows that the LoRA with bias-tuning configuration yields the best performance, enhancing controllability without compromising speech quality. Across three fine-grained conditional generation tasks, we demonstrate the effectiveness and resource efficiency of Voicebox Adapter. Follow-up experiments further highlight the robustness of Voicebox Adapter across diverse data setups.


title: Random Time-hopping Secure Ranging Strategy Against Distance-Reduction Attacks in UWB

abstract: In order to mitigate the distance reduction attack in Ultra-Wide Band (UWB) ranging, this paper proposes a secure ranging scheme based on a random time-hopping mechanism without redundant signaling overhead. Additionally, a secure ranging strategy is designed for backward compatibility with existing standards such as IEEE 802.15.4a/z, combined with an attack detection scheme. The effectiveness and feasibility of the proposed strategy are demonstrated through both simulation and experimental results in the case of the Ghost Peak attack, as demonstrated by Patrick Leu et al. The random time-hopping mechanism is verified to be capable of reducing the success rate of distance reduction attacks to less than 0.01%, thereby significantly enhancing the security of UWB ranging.


title: PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency

abstract: This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language. The subset consists of those programs that in principle should have statically verifiable and predictable timing behavior. The PretVM provides a schedule with well-defined worst-case timing bounds. The PretVM provides a clean separation between application logic and coordination logic, yielding more analyzable program executions. Experiments compare the PretVM against the default (more dynamic) LF scheduler and show that it delivers time-accurate deterministic execution.


title: Understanding Students' Acceptance of ChatGPT as a Translation Tool: A UTAUT Model Analysis

abstract: The potential of ChatGPT to transform the education landscape is drawing increasing attention. With its translation-related capabilities being tested and examined, ChatGPT presents both opportunities and challenges for translation training. The effective integration of ChatGPT into translation training necessitates an understanding of students' reactions to and acceptance of ChatGPT-assisted translation. Against this backdrop, this study draws on the Unified Theory of Acceptance and Use of Technology (UTAUT) to examine the potential determinants of students' adoption of ChatGPT for translation and investigates the moderating effects of use experience and translation training on those relationships. An online survey targeting university students in Hong Kong collected 308 valid responses, including 148 from translation students and 160 from non-translation students. Respondents were divided into two groups based on their ChatGPT use experience. Data were analyzed using structural equation modeling. A multigroup analysis revealed different structural relationships between the influencing factors of students' intention to use ChatGPT across groups. Notably, less-experienced users' behavioral intention to use ChatGPT for translation was more strongly correlated with social influence compared with experienced users. Non-translation students' use intention was more strongly driven by facilitating conditions compared to translation majors. These results are discussed with the different primary purposes of translation and non-translation students' translation practices. The findings of this study contribute to the growing body of research on AI-powered translation training and provide insights for the ongoing adaptation of translation training programs.


title: Stabilized Adaptive Steering for 3D Sonar Microphone Arrays with IMU Sensor Fusion

abstract: This paper presents a novel software-based approach to stabilizing the acoustic images for in-air 3D sonars. Due to uneven terrain, traditional static beamforming techniques can be misaligned, causing inaccurate measurements and imaging artifacts. Furthermore, mechanical stabilization can be more costly and prone to failure. We propose using an adaptive conventional beamforming approach by fusing it with real-time IMU data to adjust the sonar array's steering matrix dynamically based on the elevation tilt angle caused by the uneven ground. Additionally, we propose gaining compensation to offset emission energy loss due to the transducer's directivity pattern and validate our approach through various experiments, which show significant improvements in temporal consistency in the acoustic images. We implemented a GPU-accelerated software system that operates in real-time with an average execution time of 210ms, meeting autonomous navigation requirements.


title: Study on Kelvin Helmholtz shear flows subjected to differential rotation

abstract: A numerical simulation of Kelvin-Helmholtz Instability (KHI) in parallel shear flows subjected to external rotation is carried out using a pseudo-spectral technique. The Coriolis force, arising in a rotation frame under the beta plane approximation, tends to suppress the growth of KHI modes. The numerical results show a close qualitative agreement with the analytical results obtained for a step-wise shear flow profile. Experimental evidence demonstrates that particles in a rotating frame experience the Coriolis force, mathematically equivalent to the Lorentz force. Therefore, the Coriolis force affects fluid dynamics in a manner similar to the Lorentz force in magnetized shear flows. This paper exploits the analogy between the magnetic field and rotation to study effects equivalent to a magnetic field on KHI in a rotating frame. Similar to the magnetic field case, the Coriolis force suppresses KHI and tends to form compressed and elongated KH vortex structures. However, the magnetic field and Coriolis force act on different scales, with the latter suppressing long-wavelength mode perturbations. A higher number of vortices are observed in the presence of rotation compared to non-rotating cases


title: Combining Embeddings and Domain Knowledge for Job Posting Duplicate Detection

abstract: Job descriptions are posted on many online channels, including company websites, job boards or social media platforms. These descriptions are usually published with varying text for the same job, due to the requirements of each platform or to target different audiences. However, for the purpose of automated recruitment and assistance of people working with these texts, it is helpful to aggregate job postings across platforms and thus detect duplicate descriptions that refer to the same job. In this work, we propose an approach for detecting duplicates in job descriptions. We show that combining overlap-based character similarity with text embedding and keyword matching methods lead to convincing results. In particular, we show that although no approach individually achieves satisfying performance, a combination of string comparison, deep textual embeddings, and the use of curated weighted lookup lists for specific skills leads to a significant boost in overall performance. A tool based on our approach is being used in production and feedback from real-life use confirms our evaluation.


title: Tuning-Free Visual Customization via View Iterative Self-Attention Control

abstract: Fine-Tuning Diffusion Models enable a wide range of personalized generation and editing applications on diverse visual modalities. While Low-Rank Adaptation (LoRA) accelerates the fine-tuning process, it still requires multiple reference images and time-consuming training, which constrains its scalability for large-scale and real-time applications. In this paper, we propose \textit{View Iterative Self-Attention Control (VisCtrl)} to tackle this challenge. Specifically, VisCtrl is a training-free method that injects the appearance and structure of a user-specified subject into another subject in the target image, unlike previous approaches that require fine-tuning the model. Initially, we obtain the initial noise for both the reference and target images through DDIM inversion. Then, during the denoising phase, features from the reference image are injected into the target image via the self-attention mechanism. Notably, by iteratively performing this feature injection process, we ensure that the reference image features are gradually integrated into the target image. This approach results in consistent and harmonious editing with only one reference image in a few denoising steps. Moreover, benefiting from our plug-and-play architecture design and the proposed Feature Gradual Sampling strategy for multi-view editing, our method can be easily extended to edit in complex visual domains. Extensive experiments show the efficacy of VisCtrl across a spectrum of tasks, including personalized editing of images, videos, and 3D scenes.


title: PB-groupoids vs VB-groupoids

abstract: In this paper we introduce the notion of PB-groupoid with a structural Lie 2-groupoid, and extend the classical correspondence between vector bundles and principal bundles to VB-groupoids and PB-groupoids.


title: The $n$-Queens Problem in Higher Dimensions

abstract: How many mutually non-attacking queens can be placed on a d-dimensional chessboard of size n? The n-queens problem in higher dimensions is a generalization of the well-known n-queens problem. We provide a comprehensive overview of theoretical results, bounds, solution methods, and the interconnectivity of the problem within topics of discrete optimization and combinatorics. We present an integer programming formulation of the n-queens problem in higher dimensions and several strengthenings through additional valid inequalities. Compared to recent benchmarks, we achieve a speedup in computational time between 15-70x over all instances of the integer programs. Our computational results prove optimality of certificates for several large instances. Breaking additional, previously unsolved instances with the proposed methods is likely possible. On the primal side, we further discuss heuristic approaches to constructing solutions that turn out to be optimal when compared to the IP. We conclude with preliminary results on the number and density of the solutions.


title: What All the PHUZZ Is About: A Coverage-guided Fuzzer for Finding Vulnerabilities in PHP Web Applications

abstract: Coverage-guided fuzz testing has received significant attention from the research community, with a strong focus on binary applications, greatly disregarding other targets, such as web applications. The importance of the World Wide Web in everyone's life cannot be overstated, and to this day, many web applications are developed in PHP. In this work, we address the challenges of applying coverage-guided fuzzing to PHP web applications and introduce PHUZZ, a modular fuzzing framework for PHP web applications. PHUZZ uses novel approaches to detect more client-side and server-side vulnerability classes than state-of-the-art related work, including SQL injections, remote command injections, insecure deserialization, path traversal, external entity injection, cross-site scripting, and open redirection. We evaluate PHUZZ on a diverse set of artificial and real-world web applications with known and unknown vulnerabilities, and compare it against a variety of state-of-the-art fuzzers. In order to show PHUZZ' effectiveness, we fuzz over 1,000 API endpoints of the 115 most popular WordPress plugins, resulting in over 20 security issues and 2 new CVE-IDs. Finally, we make the framework publicly available to motivate and encourage further research on web application fuzz testing.


title: Modular Growth of Hierarchical Networks: Efficient, General, and Robust Curriculum Learning

abstract: Structural modularity is a pervasive feature of biological neural networks, which have been linked to several functional and computational advantages. Yet, the use of modular architectures in artificial neural networks has been relatively limited despite early successes. Here, we explore the performance and functional dynamics of a modular network trained on a memory task via an iterative growth curriculum. We find that for a given classical, non-modular recurrent neural network (RNN), an equivalent modular network will perform better across multiple metrics, including training time, generalizability, and robustness to some perturbations. We further examine how different aspects of a modular network's connectivity contribute to its computational capability. We then demonstrate that the inductive bias introduced by the modular topology is strong enough for the network to perform well even when the connectivity within modules is fixed and only the connections between modules are trained. Our findings suggest that gradual modular growth of RNNs could provide advantages for learning increasingly complex tasks on evolutionary timescales, and help build more scalable and compressible artificial networks.


title: MaskLID: Code-Switching Language Identification through Iterative Masking

abstract: We present MaskLID, a simple, yet effective, code-switching (CS) language identification (LID) method. MaskLID does not require any training and is designed to complement current high-performance sentence-level LIDs. Sentence-level LIDs are classifiers trained on monolingual texts to provide single labels, typically using a softmax layer to turn scores into probabilities. However, in cases where a sentence is composed in both L1 and L2 languages, the LID classifier often only returns the dominant label L1. To address this limitation, MaskLID employs a strategy to mask text features associated with L1, allowing the LID to classify the text as L2 in the next round. This method uses the LID itself to identify the features that require masking and does not rely on any external resource. In this work, we explore the use of MaskLID for two open-source LIDs (GlotLID and OpenLID), that are both based on the FastText architecture. Code and demo are available at https://github.com/cisnlp/MaskLID.


title: DualAD: Disentangling the Dynamic and Static World for End-to-End Driving

abstract: State-of-the-art approaches for autonomous driving integrate multiple sub-tasks of the overall driving task into a single pipeline that can be trained in an end-to-end fashion by passing latent representations between the different modules. In contrast to previous approaches that rely on a unified grid to represent the belief state of the scene, we propose dedicated representations to disentangle dynamic agents and static scene elements. This allows us to explicitly compensate for the effect of both ego and object motion between consecutive time steps and to flexibly propagate the belief state through time. Furthermore, dynamic objects can not only attend to the input camera images, but also directly benefit from the inferred static scene structure via a novel dynamic-static cross-attention. Extensive experiments on the challenging nuScenes benchmark demonstrate the benefits of the proposed dual-stream design, especially for modelling highly dynamic agents in the scene, and highlight the improved temporal consistency of our approach. Our method titled DualAD not only outperforms independently trained single-task networks, but also improves over previous state-of-the-art end-to-end models by a large margin on all tasks along the functional chain of driving.


title: Large Out-of-Plane Piezoelectric Effect in Janus Ferromagnetic Semiconductor Monolayer of CrOFBr

abstract: The exploitation of piezoelectric ferromagnetism (PFM) in two-dimensional (2D) materials with large out-of-plane piezoelectric response is motivated not only by technological applications but also scientific interest. In this study, the CrONM monolayer family (N=F, Cl; M=Br, Cl) was investigated using first-principles calculations, revealing that the Janus CrOFBr monolayer exhibits intrinsic ferromagnetic semiconductor behavior along with a significant out-of-plane piezoelectric effect. The calculated out-of-plane piezoelectric strain coefficients d$_{31}$ and d$_{32}$ are up to 1.21 and 0.63 pm/V, respectively. These values are greater than those of the majority of 2D materials. Furthermore, our findings demonstrate that applying tensile strain can enhance the out-of-plane piezoelectric response, leading to a respective 27% and 67% augmentation in the piezoelectric strain coefficients d$_{31}$ and d$_{32}$ compared to the unstrained configurations. This discovery holds great potential for propelling the field of nanoelectronics forward and facilitating the development of multifunctional semiconductor spintronic applications. Finally, by comparing d$_{31}$ and d$_{32}$ of the CrONM monolayer family (N=F, Cl; M=Br, Cl), we find that the magnitudes of d$_{31}$ and d$_{32}$ are correlated with the electronegativity difference between the M and N atoms. These findings provide valuable insights for the design of 2D piezoelectric materials with enhanced vertical piezoelectric responses.


title: On antiferromagnetic regimes in the Ashkin-Teller model

abstract: The Ashkin-Teller model can be represented by a pair of Ising spin configurations with coupling constants $J$ and $J'$ for each, and $U$ for their product. We study this representation on the square lattice and confirm the presence of a mixed antiferromagnetic phase in the isotropic case ($J=J'$) when $-U>0$ is sufficiently large and $J=J'>0$ is sufficiently small, by means of a graphical representation. We then construct a coupling with the eight-vertex model and show that, in analogy to the first result, the corresponding height function is localised, although with antiferromagnetically ordered heights on one class of the graph. Using the OSSS inequality, we proceed to establish a subcritical sharpness statement along suitable curves in the anisotropic ($J\neq J'$) phase diagram when $U<0$, circumventing the difficulty of the lack of general monotonicity properties in the parameters. We then address the isotropic case and provide indications of monotonicity.


title: Constructions of graphs with any possible two-fold automorphism and automorphism groups

abstract: It is known that the canonical double cover of any connected nonbipartite graph have an automorphism group of the form $H \rtimes \mathbb{Z}_2$, where $H$ is the set of automorphism which preserve bipartite parts. We construct connected nonbipartite and vertex determining graphs whose canonical double covers have auromorphisms group isomorphic to any semisimple product of $\mathbb{Z}_2$ with any abstract group $H$. Later we show, that the canonical double cover of any asymmetric graph have abelian automorphisms group of odd order. The above construction provides an example of asymmetric graph for any such group. By modifying the aforementioned construction we obtain graphs which have any possible number and type of graphs with isomorphic double covers.