title: Axiomatizing the Logic of Ordinary Discourse

abstract: Most non-classical logics are subclassical, that is, every inference/theorem they validate is also valid classically. A notable exception is the three-valued propositional Logic of Ordinary Discourse (OL) proposed and extensively motivated by W. S. Cooper as a more adequate candidate for formalizing everyday reasoning (in English). OL challenges classical logic not only by rejecting some theses, but also by accepting non-classically valid principles, such as so-called Aristotle's and Boethius' theses. Formally, OL shows a number of unusual features - it is non-structural, connexive, paraconsistent and contradictory - making it all the more interesting for the mathematical logician. We present our recent findings on OL and its structural companion (that we call sOL). We introduce Hilbert-style multiple-conclusion calculi for OL and sOL that are both modular and analytic, and easily allow us to obtain single-conclusion axiomatizations. We prove that sOL is algebraizable and single out its equivalent semantics, which turns out to be a discriminator variety generated by a three-element algebra. Having observed that sOL can express the connectives of other three-valued logics, we prove that it is definitionally equivalent to an expansion of the three-valued logic J3 of D'Ottaviano and da Costa, itself an axiomatic extension of paraconsistent Nelson logic.


title: A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management

abstract: Enforcing security requirements in networked information systems relies on security controls to mitigate the risks from increasingly dangerous threats. Configuring security controls is challenging; even nowadays, administrators must perform it without adequate tool support. Hence, this process is plagued by errors that translate to insecure postures, security incidents, and a lack of promptness in answering threats. This paper presents the Security Capability Model (SCM), a formal model that abstracts the features that security controls offer for enforcing security policies, which includes an Information Model that depicts the basic concepts related to rules (i.e., conditions, actions, events) and policies (i.e., conditions' evaluation, resolution strategies, default actions), and a Data Model that covers the capabilities needed to describe different types of filtering and channel protection controls. Following state-of-the-art design patterns, the model allows for generating abstract versions of the security controls' languages and a model-driven approach for translating abstract policies into device-specific configuration settings. By validating its effectiveness in real-world scenarios, we show that SCM enables the automation of different and complex security tasks, i.e., accurate and granular security control comparison, policy refinement, and incident response. Lastly, we present opportunities for extensions and integration with other frameworks and models.


title: Optimizing Hand Region Detection in MediaPipe Holistic Full-Body Pose Estimation to Improve Accuracy and Avoid Downstream Errors

abstract: This paper addresses a critical flaw in MediaPipe Holistic's hand Region of Interest (ROI) prediction, which struggles with non-ideal hand orientations, affecting sign language recognition accuracy. We propose a data-driven approach to enhance ROI estimation, leveraging an enriched feature set including additional hand keypoints and the z-dimension. Our results demonstrate better estimates, with higher Intersection-over-Union compared to the current method. Our code and optimizations are available at https://github.com/sign-language-processing/mediapipe-hand-crop-fix.


title: CCDM: Continuous Conditional Diffusion Models for Image Generation

abstract: Continuous Conditional Generative Modeling (CCGM) aims to estimate the distribution of high-dimensional data, typically images, conditioned on scalar continuous variables known as regression labels. While Continuous conditional Generative Adversarial Networks (CcGANs) were initially designed for this task, their adversarial training mechanism remains vulnerable to extremely sparse or imbalanced data, resulting in suboptimal outcomes. To enhance the quality of generated images, a promising alternative is to replace CcGANs with Conditional Diffusion Models (CDMs), renowned for their stable training process and ability to produce more realistic images. However, existing CDMs encounter challenges when applied to CCGM tasks due to several limitations such as inadequate U-Net architectures and deficient model fitting mechanisms for handling regression labels. In this paper, we introduce Continuous Conditional Diffusion Models (CCDMs), the first CDM designed specifically for the CCGM task. CCDMs address the limitations of existing CDMs by introducing specially designed conditional diffusion processes, a modified denoising U-Net with a custom-made conditioning mechanism, a novel hard vicinal loss for model fitting, and an efficient conditional sampling procedure. With comprehensive experiments on four datasets with varying resolutions ranging from 64x64 to 192x192, we demonstrate the superiority of the proposed CCDM over state-of-the-art CCGM models, establishing new benchmarks in CCGM. Extensive ablation studies validate the model design and implementation configuration of the proposed CCDM. Our code is publicly available at https://github.com/UBCDingXin/CCDM.


title: Position: Leverage Foundational Models for Black-Box Optimization

abstract: Undeniably, Large Language Models (LLMs) have stirred an extraordinary wave of innovation in the machine learning research domain, resulting in substantial impact across diverse fields such as reinforcement learning, robotics, and computer vision. Their incorporation has been rapid and transformative, marking a significant paradigm shift in the field of machine learning research. However, the field of experimental design, grounded on black-box optimization, has been much less affected by such a paradigm shift, even though integrating LLMs with optimization presents a unique landscape ripe for exploration. In this position paper, we frame the field of black-box optimization around sequence-based foundation models and organize their relationship with previous literature. We discuss the most promising ways foundational language models can revolutionize optimization, which include harnessing the vast wealth of information encapsulated in free-form text to enrich task comprehension, utilizing highly flexible sequence models such as Transformers to engineer superior optimization strategies, and enhancing performance prediction over previously unseen search spaces.


title: MAmmoTH2: Scaling Instructions from the Web

abstract: Instruction tuning improves the reasoning abilities of large language models (LLMs), with data quality and scalability being the crucial factors. Most instruction tuning data come from human crowd-sourcing or GPT-4 distillation. We propose a paradigm to efficiently harvest 10 million naturally existing instruction data from the pre-training web corpus to enhance LLM reasoning. Our approach involves (1) recalling relevant documents, (2) extracting instruction-response pairs, and (3) refining the extracted pairs using open-source LLMs. Fine-tuning base LLMs on this dataset, we build MAmmoTH2 models, which significantly boost performance on reasoning benchmarks. Notably, MAmmoTH2-7B's (Mistral) performance increases from 11% to 36.7% on MATH and from 36% to 68.4% on GSM8K without training on any in-domain data. Further training MAmmoTH2 on public instruction tuning datasets yields MAmmoTH2-Plus, achieving state-of-the-art performance on several reasoning and chatbot benchmarks. Our work demonstrates how to harvest large-scale, high-quality instruction data without costly human annotation or GPT-4 distillation, providing a new paradigm for building better instruction tuning data.


title: Bridging discrete and continuous state spaces: Exploring the Ehrenfest process in time-continuous diffusion models

abstract: Generative modeling via stochastic processes has led to remarkable empirical results as well as to recent advances in their theoretical understanding. In principle, both space and time of the processes can be discrete or continuous. In this work, we study time-continuous Markov jump processes on discrete state spaces and investigate their correspondence to state-continuous diffusion processes given by SDEs. In particular, we revisit the $\textit{Ehrenfest process}$, which converges to an Ornstein-Uhlenbeck process in the infinite state space limit. Likewise, we can show that the time-reversal of the Ehrenfest process converges to the time-reversed Ornstein-Uhlenbeck process. This observation bridges discrete and continuous state spaces and allows to carry over methods from one to the respective other setting. Additionally, we suggest an algorithm for training the time-reversal of Markov jump processes which relies on conditional expectations and can thus be directly related to denoising score matching. We demonstrate our methods in multiple convincing numerical experiments.


title: A cavity-microscope for micrometer-scale control of atom-photon interactions

abstract: Cavity quantum electrodynamics offers the possibility to observe and control the motion of few or individual atoms, enabling the realization of various quantum technological tasks such as quantum-enhanced metrology or quantum simulation of strongly-correlated matter. A core limitation of these experiments lies in the mode structure of the cavity field, which is hard-coded in the shape and geometry of the mirrors. As a result, most applications of cavity QED trade spatial resolution for enhanced sensitivity. Here, we propose and demonstrate a cavity-microscope device capable of controlling in space and time the coupling between atoms and light in a single-mode high-finesse cavity, reaching a spatial resolution an order-of-magnitude lower than the cavity mode waist. This is achieved through local Floquet engineering of the atomic level structure, imprinting a corresponding atom-field coupling. We illustrate this capability by engineering micrometer-scale coupling, using cavity-assisted atomic measurements and optimization. Our system forms an optical device with a single optical axis and has the same footprint and complexity as a standard Fabry-Perot cavity or confocal lens pair, and can be used for any atomic species. This technique opens a wide range of perspectives from ultra-fast, cavity-enhanced mid-circuit readout to the quantum simulation of fully connected models of quantum matter such as the Sachdev-Ye-Kitaev model.


title: Shortest paths govern fracture nucleation in thermoset networks

abstract: In this work, we introduce a predictive approach for determining fracture nucleation in thermosets based on shortest paths (SPs) of the network topology. This method enumerates SP sets in networks with periodic boundary conditions, with applications to both all-atom and coarse-grained simulations. We find that network fracture is most likely to nucleate on the first (shortest) SP and the strain at nucleation is linearly correlated with the topological path length. Subsequent fracture events are dictated by the instantaneous SP of partially broken networks. We further quantify the length scale dependence of SP distributions, introducing a means of bridging simulated and experimental fracture profiles.


title: Polynomials whose divisors are enumerated by $SL_2(N_0)$

abstract: We consider a certain left action by the monoid $SL_2(\mathbf{N}_0)$ on the set of divisor pairs $\mathcal{D}_f := \{ (m, n) \in \mathbf{N}_0 \times \mathbf{N}_0 : m \lvert f(n) \}$ where $f \in \mathbf{Z}[x]$ is a polynomial with integer coefficients. We classify all polynomials in $\mathbf{Z}[x]$ for which this action extends to an invertible map $\hat{F}_f: SL_2(\mathbf{N}_0) \rightarrow \mathcal{D}_f$. We call such polynomials $\textit{enumerable}$. One of these polynomials happens to be $f(n) = n^2 + 1$. It is a well-known conjecture that there exist infinitely many primes of the form $p = n^2 + 1$. We construct a sequence $\mathcal{S}$ on the naturals defined by the recursions $$ \begin{cases} \mathcal{S}(4k) = 2\mathcal{S}(2k) - \mathcal{S}(k) \\ \mathcal{S}(4k+1) = 2\mathcal{S}(2k) + \mathcal{S}(2k+1) \\ \mathcal{S}(4k+2) = 2\mathcal{S}(2k+1) + \mathcal{S}(2k) \\ \mathcal{S}(4k+3) = 2\mathcal{S}(2k+1) - \mathcal{S}(k) \\ \end{cases} $$ with initial conditions $\mathcal{S}(1) = 0$, $\mathcal{S}(2) = 1$, $\mathcal{S}(3) = 1$. $$\{ \mathcal{S}(k) \}_{k \in \mathbf{N}} = \{0,1,1,2,3,3,2,3,7,8,5,5,8,7,3, \cdots \}$$ $\mathcal{S}$ is shown to have the properties $1.$ For all $n \in \mathbf{N}_0$, we have $\mathcal{S}(2^n) = \mathcal{S}(2^{n+1} - 1) = n$. $2.$ For all $n \in \mathbf{N}_0$, the size of the fiber of $n$ under $\mathcal{S}$ satisfies $|\mathcal{S}^{-1}(\{n\})| = \tau(n^2 + 1)$ where $\tau$ is the divisor counting function. $3.$ For all $n \in \mathbf{N}_0$, the integer $n^2 + 1$ is prime if and only if $\mathcal{S}^{-1}(\{n\}) = \{2^n, 2^{n+1} - 1\}$. $4.$ $\mathcal{S}(k)$ is a $2$-regular sequence.


title: AlphaMath Almost Zero: process Supervision without process

abstract: Recent advancements in large language models (LLMs) have substantially enhanced their mathematical reasoning abilities. However, these models still struggle with complex problems that require multiple reasoning steps, frequently leading to logical or numerical errors. While numerical mistakes can be largely addressed by integrating a code interpreter, identifying logical errors within intermediate steps is more challenging. Moreover, manually annotating these steps for training is not only expensive but also labor-intensive, requiring the expertise of professional annotators. In our study, we introduce an innovative approach that bypasses the need for process annotations (from human or GPTs) by utilizing the Monte Carlo Tree Search (MCTS) framework. This technique automatically generates both the process supervision and the step-level evaluation signals. Our method iteratively trains the policy and value models, leveraging the capabilities of a well-pretrained LLM to progressively enhance its mathematical reasoning skills. Furthermore, we propose an efficient inference strategy-step-level beam search, where the value model is crafted to assist the policy model (i.e., LLM) in navigating more effective reasoning paths, rather than solely relying on prior probabilities. The experimental results on both in-domain and out-of-domain datasets demonstrate that even without GPT-4 or human-annotated process supervision, our AlphaMath framework achieves comparable or superior results to previous state-of-the-art methods.


title: Regular black holes and their relationship to polymerized models and mimetic gravity

abstract: We present further applications of the formalism introduced by the authors in arXiv:2308.10949, which allows embedding of a broad class of generalized LTB models into effective spherically symmetric spacetimes. We focus on regular black hole models, where a broad class of models can be considered, including for example LQG-inspired models as well as the model with a regular center, e.g. of Bardeen and Hayward. For a certain class of regular black hole models, we can formulate a Birkhoff-like theorem in LTB coordinates. We further show that depending on the properties of the polymerization functions characterizing such regular black hole models in this formalism, the uniqueness of the effective spherically symmetric vacuum solutions might not be given in general in Schwarzschild-like coordinates. Furthermore, we introduce a reconstruction algorithm that allows for a subclass of this models to construct from a given metric in Schwarzschild-like coordinates the corresponding effective spherically symmetric model, its dynamics as an 1+1-dimensional field theory as well as a corresponding covariant Lagrangian of extended mimetic gravity in four dimensions. Such a reconstruction allows us to obtain Lagrangians of extended mimetic gravity models for black holes with a regular center, e.g. the Bardeen and Hayward metric as well as for effective LQG inspired models. Moreover, the reconstruction enables us to extend regular black hole models to general inhomogeneous dust collapse models. For the latter, within this formalism, we can investigate and look at the physical properties of the models such as the existence of weak shell-crossing singularities from a novel perspective.


title: A Comprehensive Overview and Survey of O-RAN: Exploring Slicing-aware Architecture, Deployment Options, and Use Cases

abstract: Open-radio access network (O-RAN) seeks to establish principles of openness, programmability, automation, intelligence, and hardware-software disaggregation with interoperable interfaces. It advocates for multi-vendorism and multi-stakeholderism within a cloudified and virtualized wireless infrastructure, aimed at enhancing the deployment, operation, and maintenance of RAN architecture. This enhancement promises increased flexibility, performance optimization, service innovation, energy efficiency, and cost efficiency in fifth-generation (5G), sixth-generation (6G), and future networks. One of the key features of the O-RAN architecture is its support for network slicing, which entails interaction with other slicing domains within a mobile network, notably the transport network (TN) domain and the core network (CN) domain, to realize end-to-end (E2E) network slicing. The study of this feature requires exploring the stances and contributions of diverse standards development organizations (SDOs). In this context, we note that despite the ongoing industrial deployments and standardization efforts, the research and standardization communities have yet to comprehensively address network slicing in O-RAN. To address this gap, this survey paper provides a comprehensive exploration of network slicing in O-RAN through an in-depth review of specification documents from O-RAN Alliance and research papers from leading industry and academic institutions. The paper commences with an overview of the ongoing standardization efforts and open-source contributions associated with O-RAN, subsequently delving into the latest O-RAN architecture with an emphasis on its slicing aspects. Further, the paper explores deployment scenarios for network slicing within O-RAN, examining options for the deployment and orchestration of O-RAN and TN network slice subnets...


title: On free bases of Banach spaces

abstract: We call a closed subset M of a Banach space X a free basis of X if it contains the null vector and every Lipschitz map from M to a Banach space Y, which preserves the null vectors can be uniquely extended to a bounded linear map from X to Y. We then say that two complete metric spaces M and N are Mol-equivalent if they admit bi-Lipschitz copies M' and N', respectively that are free bases of a common Banach space satisfying span M'=span N'. In this note, we compare Mol-equivalence with some other natural equivalences on the class of complete metric spaces. The main result states that Mol-equivalent spaces must have the same \v{C}ech-Lebesgue covering dimension. In combination with the work of Godard, this implies that two complete metric spaces with isomorphic Lipschitz-free spaces need not be Mol-equivalent. Also, there exist non-homeomorphic Mol-equivalent metric spaces, and, in contrast with the covering dimension, the metric Assouad dimension is not preserved by Mol-equivalence.


title: The description of two-dimensional altermagnetism

abstract: Altermagnetism, recently spotlighted in condensed matter physics, presents captivating physical properties and holds promise for spintronics applications. This study delves into the theoretical description and categorization of two-dimensional altermagnetism using spin group theory. Employing spin-group formalism, we establish seven distinct spin layer groups, extending beyond the conventional five spin Laue groups, to describe two-dimensional altermagnetism. Utilizing these findings, we classify previously reported two-dimensional altermagnets and identify novel materials exhibiting altermagnetism. Specifically, monolayer MnTeMoO$_6$ and VP$_2$H$_8$(NO$_4$)$_2$ are predicted to be two-dimensional altermagnets. Furthermore, we scrutinize their spin-momentum locking characteristics through symmetry analysis and density functional theory calculations, substantiating their altermagnetic properties.


title: Progress in Computational Understanding of Ferroelectric Mechanisms in HfO$_2$

abstract: Since the first report of ferroelectricity in nanoscale HfO$_2$-based thin films in 2011, this silicon-compatible binary oxide has quickly garnered intense interest in academia and industry, and continues to do so. Despite its deceivingly simple chemical composition, the ferroelectric physics supported by HfO$_2$ is remarkably complex, arguably rivaling that of perovskite ferroelectrics. Computational investigations, especially those utilizing first-principles density functional theory (DFT), have significantly advanced our understanding of the nature of ferroelectricity in these thin films. In this review, we provide an in-depth discussion of the computational efforts to understand ferroelectric hafnia, comparing various metastable polar phases and examining the critical factors necessary for their stabilization. The intricate nature of HfO$_2$ is intimately related to the complex interplay among diverse structural polymorphs, dopants and their charge-compensating oxygen vacancies, and unconventional switching mechanisms of domains and domain walls, which can sometimes yield conflicting theoretical predictions and theoretical-experimental discrepancies. We also discuss opportunities enabled by machine-learning-assisted molecular dynamics and phase-field simulations to go beyond DFT modeling, probing the dynamical properties of ferroelectric HfO$_2$ and tackling pressing issues such as high coercive fields.


title: Homological Quantum Error Correction with Torsion

abstract: Homological quantum error correction uses tools of algebraic topology and homological algebra to derive Calderbank-Shor-Steane quantum error correcting codes from cellulations of topological spaces. This work is an exploration of the relevant topics, a journey from classical error correction, through homology theory, to CSS codes acting on qudit systems. Qudit codes have torsion in their logical spaces. This is interesting to study because it gives us extra logical qudits, of possibly different dimension. Apart from examples and comments on the topic, we prove an original result, the Structure Theorem for the Qudit Logical Space, an application of the Universal Coefficient Theorem from homological algebra, which gives us information about the logical space when torsion is involved, and that improves on a previous result in the literature. Furthermore, this work introduces our own abstracted and restricted version of the general notion of a cell complex, suited exactly to our needs.


title: Converse Lyapunov Results for Stability of Switched Systems with Average Dwell-Time

abstract: This article provides a characterization of stability for switched nonlinear systems under average dwell-time constraints, in terms of necessary and sufficient conditions involving multiple Lyapunov functions. Earlier converse results focus on switched systems with dwell-time constraints only, and the resulting inequalities depend on the flow of individual subsystems. With the help of a counterexample, we show that a lower bound that guarantees stability for dwell-time switching signals may not necessarily imply stability for switching signals with same lower bound on the average dwell-time. Based on these two observations, we provide a converse result for the average dwell-time constrained systems in terms of inequalities which do not depend on the flow of individual subsystems and are easier to check. The particular case of linear switched systems is studied as a corollary to our main result.


title: Model- and Data-Based Control of Self-Balancing Robots: Practical Educational Approach with LabVIEW and Arduino

abstract: A two-wheeled self-balancing robot (TWSBR) is non-linear and unstable system. This study compares the performance of model-based and data-based control strategies for TWSBRs, with an explicit practical educational approach. Model-based control (MBC) algorithms such as Lead-Lag and PID control require a proficient dynamic modeling and mathematical manipulation to drive the linearized equations of motions and develop the appropriate controller. On the other side, data-based control (DBC) methods, like fuzzy control, provide a simpler and quicker approach to designing effective controllers without needing in-depth understanding of the system model. In this paper, the advantages and disadvantages of both MBC and DBC using a TWSBR are illustrated. All controllers were implemented and tested on the OSOYOO self-balancing kit, including an Arduino microcontroller, MPU-6050 sensor, and DC motors. The control law and the user interface are constructed using the LabVIEW-LINX toolkit. A real-time hardware-in-loop experiment validates the results, highlighting controllers that can be implemented on a cost-effective platform.


title: ID-centric Pre-training for Recommendation

abstract: Classical sequential recommendation models generally adopt ID embeddings to store knowledge learned from user historical behaviors and represent items. However, these unique IDs are challenging to be transferred to new domains. With the thriving of pre-trained language model (PLM), some pioneer works adopt PLM for pre-trained recommendation, where modality information (e.g., text) is considered universal across domains via PLM. Unfortunately, the behavioral information in ID embeddings is still verified to be dominating in PLM-based recommendation models compared to modality information and thus limits these models' performance. In this work, we propose a novel ID-centric recommendation pre-training paradigm (IDP), which directly transfers informative ID embeddings learned in pre-training domains to item representations in new domains. Specifically, in pre-training stage, besides the ID-based sequential model for recommendation, we also build a Cross-domain ID-matcher (CDIM) learned by both behavioral and modality information. In the tuning stage, modality information of new domain items is regarded as a cross-domain bridge built by CDIM. We first leverage the textual information of downstream domain items to retrieve behaviorally and semantically similar items from pre-training domains using CDIM. Next, these retrieved pre-trained ID embeddings, rather than certain textual embeddings, are directly adopted to generate downstream new items' embeddings. Through extensive experiments on real-world datasets, both in cold and warm settings, we demonstrate that our proposed model significantly outperforms all baselines. Codes will be released upon acceptance.


title: On the source of the Fe K-alpha emission in T Tauri Stars. Radiation induced by relativistic electrons during flares. An application to RY Tau

abstract: T Tauri Stars (TTSs) are magnetically active stars that accrete matter from the inner border of the surrounding accretion disc; plasma gets trapped into the large scale magnetic structures and falls onto the star, heating the surface through the so-called accretion shocks. The X-ray spectra of the TTSs show prominent Fe II Kalpha fluorescence emission at 6.4keV that cannot be explained in a pure accretion scenario. Neither, it can be produced by the hot coronal plasma. TTSs display all signs of magnetic activity and magnetic reconnection events are expected to occur frequently. In these events, electrons may get accelerated to relativistic speeds and their interaction with the environmental matter may result in Fe Kalpha emission. It is the aim of this work to evaluate the expected Fe Kalpha emission in the context of the TTS research and compare it with the actual Fe Kalpha measurements obtained during the flare detected while monitoring RY Tau with the XMM-Newton satellite. The propagation of high-energy electrons in dense gas generates a cascade of secondary particles that results in an electron shower of random nature whose evolution and radiative throughput is simulated in this work using the Monte Carlo code PENELOPE. A set of conditions representing the environment of the TTSs where these showers may impinge has been taken into account to generate a grid of models that can aid to the interpretation of the data. The simulations show that the electron beams produce a hot spot at the point of impact; strong Fe Kalpha emission and X-ray continuum radiation are produced by the spot. This emission is compatible with RY Tau observations. The Fe Kalpha emission observed in TTSs could be produced by beams of relativistic electrons accelerated in magnetic reconnection events during flares.


title: Connection formulae in the Collision Limit I: Case Studies in Lifshitz Geometry

abstract: The connection formulae provide a systematic way to compute physical quantities, such as the quasinormal modes, Green functions, in blackhole perturbation theories. In this work, we test whether it is possible to consistently take the collision limit, which bring two or more regular singularities into an irregular one, of the connection formulae, and we provide some supportive evidence for it.

categories: hep-th astro-ph.HE gr-qc math-ph math.MP


title: Liberating Seen Classes: Boosting Few-Shot and Zero-Shot Text Classification via Anchor Generation and Classification Reframing

abstract: Few-shot and zero-shot text classification aim to recognize samples from novel classes with limited labeled samples or no labeled samples at all. While prevailing methods have shown promising performance via transferring knowledge from seen classes to unseen classes, they are still limited by (1) Inherent dissimilarities among classes make the transformation of features learned from seen classes to unseen classes both difficult and inefficient. (2) Rare labeled novel samples usually cannot provide enough supervision signals to enable the model to adjust from the source distribution to the target distribution, especially for complicated scenarios. To alleviate the above issues, we propose a simple and effective strategy for few-shot and zero-shot text classification. We aim to liberate the model from the confines of seen classes, thereby enabling it to predict unseen categories without the necessity of training on seen classes. Specifically, for mining more related unseen category knowledge, we utilize a large pre-trained language model to generate pseudo novel samples, and select the most representative ones as category anchors. After that, we convert the multi-class classification task into a binary classification task and use the similarities of query-anchor pairs for prediction to fully leverage the limited supervision signals. Extensive experiments on six widely used public datasets show that our proposed method can outperform other strong baselines significantly in few-shot and zero-shot tasks, even without using any seen class samples.


title: Spin wave vortex as topological probe of magnetic texture

abstract: A vortex, a circulating flow around a void, is one of the basic topological phenomena in nature. Here we show that vortices generally emerge in spin wave travelling upon topologically nontrivial magnetic texture, due to the transverse precession of spin wave about the background magnetization. The winding number of each spin wave vortex is equivalent to sign of the local topological density of magnetic texture at the vortex core, and all winding numbers add up as twice the topological number of the magnetic texture. Based on the charts of spin wave vortices, the magnetization profile of the magnetic texture is reversely constructed, and a universal relation for the magnon topological Hall angle is theoretically proposed and numerically confirmed in vast types of magnetic textures. The simple connection between dynamic and static magnetizations, promotes spin wave vortex as a powerful tool to reveal the topology of the underlying magnetic texture.


title: Deep Space Separable Distillation for Lightweight Acoustic Scene Classification

abstract: Acoustic scene classification (ASC) is highly important in the real world. Recently, deep learning-based methods have been widely employed for acoustic scene classification. However, these methods are currently not lightweight enough as well as their performance is not satisfactory. To solve these problems, we propose a deep space separable distillation network. Firstly, the network performs high-low frequency decomposition on the log-mel spectrogram, significantly reducing computational complexity while maintaining model performance. Secondly, we specially design three lightweight operators for ASC, including Separable Convolution (SC), Orthonormal Separable Convolution (OSC), and Separable Partial Convolution (SPC). These operators exhibit highly efficient feature extraction capabilities in acoustic scene classification tasks. The experimental results demonstrate that the proposed method achieves a performance gain of 9.8% compared to the currently popular deep learning methods, while also having smaller parameter count and computational complexity.


title: Majority consensus thresholds in competitive Lotka--Volterra populations

abstract: One of the key challenges in synthetic biology is devising robust signaling primitives for engineered microbial consortia. In such systems, a fundamental signal amplification problem is the majority consensus problem: given a system with two input species with initial difference of $\Delta$ in population sizes, what is the probability that the system reaches a state in which only the initial majority species is present? In this work, we consider a discrete and stochastic version of competitive Lotka--Volterra dynamics, a standard model of microbial community dynamics. We identify new threshold properties for majority consensus under different types of interference competition: - We show that under so-called self-destructive interference competition between the two input species, majority consensus can be reached with high probability if the initial difference satisfies $\Delta \in \Omega(\log^2 n)$, where $n$ is the initial population size. This gives an exponential improvement compared to the previously known bound of $\Omega(\sqrt{n \log n})$ by Cho et al. [Distributed Computing, 2021] given for a special case of the competitive Lotka--Volterra model. In contrast, we show that an initial gap of $\Delta \in \Omega(\sqrt{\log n})$ is necessary. - On the other hand, we prove that under non-self-destructive interference competition, an initial gap of $\Omega(\sqrt{n})$ is necessary to succeed with high probability and that a $\Omega(\sqrt{n \log n})$ gap is sufficient. This shows a strong qualitative gap between the performance of self-destructive and non-self-destructive interference competition. Moreover, we show that if in addition the populations exhibit interference competition between the individuals of the same species, then majority consensus cannot always be solved with high probability, no matter what the difference in the initial population counts.


title: Reynolds-number dependence of streamwise velocity variance in wall-bounded turbulent flows

abstract: We propose a model for the streamwise velocity variance in wall-bounded turbulent flows. It hypothesizes that the wall-parallel motions of the attached eddies induce internal turbulent boundary layers. A logarithmic variance profile is obtained. The peak value of the variance scaled using the friction velocity has a logarithmic dependence on the ratio the wall-normal length of the flow to the thickness of the internal boundary layer induced by the largest attached eddies ($\delta_o$), the latter having a dependence on the friction Reynolds number in the form of a Lambert W function. Both the peak and the length ratio are unbounded at asymptotically large Reynolds numbers. The model also predicts that the streamwise velocity fluctuations induced by the attached eddies near the viscous layer scale with the friction velocity; therefore the scaled velocity variance there remains finite at asymptotically large Reynolds numbers.


title: Impact of Planetary Parameters on Water Clouds Microphysics

abstract: Potentially habitable exoplanets are targets of great interest for the James Webb Space Telescope and upcoming mission concepts such as the Habitable Worlds Observatory. Clouds strongly affect climate and habitability, but predicting their properties is difficult. In Global Climate Models (GCMs), especially those aiming at simulating Earth, cloud microphysics is often crudely approximated by assuming that all cloud particles have a single, constant size or a prescribed size distribution and that all clouds in a grid cell are identical. For exoplanets that range over a large phase space of planetary properties, this method could result in large errors. In this work, our goal is to determine how cloud microphysics on terrestrial exoplanets, whose condensable is mainly water vapor, depend on aerosol properties and planetary parameters such as surface pressure, surface gravity, and incident stellar radiation. We use the Community Aerosol and Radiation Model for Atmospheres as a 1D microphysical model to simulate the formation and evolution of clouds including the processes of nucleation, condensation, evaporation, coagulation, and vertical transfer. In these 1D idealized experiments, we find that the parameters that determine the macrophysical thermal structure of the atmospheres, including surface pressure and stellar flux, impact cloud radiative effect (CRE) most significantly. Parameters such as gravity and number density of aerosols working as cloud condensation nuclei affect the microphysical processes of cloud formation, including activation and vertical transfer. They also have a significant, though weaker effect on CRE. This work motivates the development of more accurate GCM cloud schemes and should aid in the interpretation of future observations.


title: Josephson junction of minimally twisted bilayer graphene

abstract: We theoretically investigate the transport properties of Josephson junctions composed of superconductor/minimally twisted bilayer graphene/superconductor structures. In the presence of an out-of-plane electric field, the low energy physics is best described by a network of chiral domain-wall states. Depending on system parameters, they lead to the emergence of zig-zag or pseudo-Landau level modes with distinct transport characteristics. Specifically, we find zig-zag modes feature linear dispersion of Andreev bound states, resulting in a $4\pi$-periodic Josephson current. In contrast, pseudo-Landau level modes exhibit flat Andreev bound states and, consequently, a vanishing bulk Josephson current. Interestingly, edge states can give rise to $4\pi$-periodic Josephson response in the pseudo-Landau level regime. We also discuss experimental signatures of such responses.


title: RoboCar: A Rapidly Deployable Open-Source Platform for Autonomous Driving Research

abstract: This paper introduces RoboCar, an open-source research platform for autonomous driving developed at the University of Luxembourg. RoboCar provides a modular, cost-effective framework for the development of experimental Autonomous Driving Systems (ADS), utilizing the 2018 KIA Soul EV. The platform integrates a robust hardware and software architecture that aligns with the vehicle's existing systems, minimizing the need for extensive modifications. It supports various autonomous driving functions and has undergone real-world testing on public roads in Luxembourg City. This paper outlines the platform's architecture, integration challenges, and initial test results, offering insights into its application in advancing autonomous driving research. RoboCar is available to anyone at https://github.com/sntubix/robocar and is released under an open-source MIT license.


title: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model

abstract: In the fully-anonymous (shared-memory) model, inspired by a biological setting, processors have no identifiers and memory locations are anonymous. This means that there is no pre-existing agreement among processors on any naming of the memory locations. In this work, we ask fundamental questions about the fully-anonymous model in the hope to obtain a better understanding of the role of naming and anonymity in distributed computing. First, we ask what it means to solve a task under processor anonymity. With tasks such as renaming, the traditional notion obviously does not apply. Instead of restricting ourselves to colorless tasks, we propose using the notion of group solvability, which allows transferring any task to processor-anonymous models. Second, the difficulty with anonymity is that processors can hardly avoid covering and then overwriting each other's writes, erasing information written by their predecessors. To get to the bottom of this phenomenon, we ask what system configurations are stable when processors keep reading and writing ad infinitum. Resolving this question leads us to a wait-free solution to the snapshot task, which then allows us to solve renaming and obstruction-free consensus.


title: ILILT: Implicit Learning of Inverse Lithography Technologies

abstract: Lithography, transferring chip design masks to the silicon wafer, is the most important phase in modern semiconductor manufacturing flow. Due to the limitations of lithography systems, Extensive design optimizations are required to tackle the design and silicon mismatch. Inverse lithography technology (ILT) is one of the promising solutions to perform pre-fabrication optimization, termed mask optimization. Because of mask optimization problems' constrained non-convexity, numerical ILT solvers rely heavily on good initialization to avoid getting stuck on sub-optimal solutions. Machine learning (ML) techniques are hence proposed to generate mask initialization for ILT solvers with one-shot inference, targeting faster and better convergence during ILT. This paper addresses the question of \textit{whether ML models can directly generate high-quality optimized masks without engaging ILT solvers in the loop}. We propose an implicit learning ILT framework: ILILT, which leverages the implicit layer learning method and lithography-conditioned inputs to ground the model. Trained to understand the ILT optimization procedure, ILILT can outperform the state-of-the-art machine learning solutions, significantly improving efficiency and quality.


title: A Valuation Framework for Customers Impacted by Extreme Temperature-Related Outages

abstract: Extreme temperature outages can lead to not just economic losses but also various non-energy impacts (NEI) due to significant degradation of indoor operating conditions caused by service disruptions. However, existing resilience assessment approaches lack specificity for extreme temperature conditions. They often overlook temperature-related mortality and neglect the customer characteristics and grid response in the calculation, despite the significant influence of these factors on NEI-related economic losses. This paper aims to address these gaps by introducing a comprehensive framework to estimate the impact of resilience enhancement not only on the direct economic losses incurred by customers but also on potential NEI, including mortality and the value of statistical life during extreme temperature-related outages. The proposed resilience valuation integrates customer characteristics and grid response variables based on a scalable grid simulation environment. This study adopts a holistic approach to quantify customer-oriented economic impacts, utilizing probabilistic loss scenarios that incorporate health-related factors and damage/loss models as a function of exposure for valuation. The proposed methodology is demonstrated through comparative resilient outage planning, using grid response models emulating a Texas weather zone during the 2021 winter storm Uri. The case study results show that enhanced outage planning with hardened infrastructure can improve the system resilience and thereby reduce the relative risk of mortality by 16% and save the total costs related to non-energy impacts by 74%. These findings underscore the efficacy of the framework by assessing the financial implications of each case, providing valuable insights for decision-makers and stakeholders involved in extreme-weather related resilience planning for risk management and mitigation strategies.


title: Toric matroid bundles

abstract: Recent developments have produced new ways to encode the data of a torus equivariant vector bundle over a toric variety using certain representable matroid(s) labeled by polyhedral data. In this paper we show that this data makes sense for non-representable matroids as well. We call the resulting combinatorial objects toric matorid bundles. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological toric matroid bundles over the permutahedral toric variety and the corresponding equivariant K-classes and Chern classes agree with those in the recent work of Berger-Eur-Spink-Tseng on matroid invariants. Moreover, in analogy with toric vector bundles, we define sheaf of sections and Euler characteristic as well as positivity notions such as global generation, ampleness and nefness for toric matroid bundles. Finally, we study the splitting of toric matroid bundles and, in particular, an analogue of Grothendieck's theorem on splitting of vector bundles on the projective line.


title: Opening a meV mass window for Axion-like particles with a microwave-laser-mixed stimulated resonant photon collider

abstract: We propose a microwave-laser-mixed three-beam stimulated resonant photon collider, which enables access to axion-like particles in the meV mass range. Collisions between a focused pulse laser beam and a focused microwave pulse beam directly produce axion-like particles (ALPs) and another focused pulse laser beam stimulates their decay. The expected sensitivity in the meV mass range has been evaluated. The result shows that the sensitivity can reach the ALP-photon coupling down to $\mathcal{O}(10^{-13})$~GeV${}^{-1}$ with $10^6$ shots if 10-100 TW class high-intensity lasers are properly combined with a conventional 100 MW class S-band klystron. This proposal paves the way for identifying the nature of ALPs as candidates for dark matter, independent of any cosmological and astrophysical models.


title: Equivariant algebraic $\mathrm{K}$-theory and Artin $L$-functions

abstract: In this paper, we generalize the Quillen-Lichtenbaum Conjecture relating special values of Dedekind zeta functions to algebraic $\mathrm{K}$-groups. The former has been settled by Rost-Voevodsky up to the Iwasawa Main Conjecture. Our generalization extends the scope of this conjecture to Artin $L$-functions of Galois representations of finite, function, and totally real number fields. The statement of this conjecture relates norms of the special values of these $L$-functions to sizes of equivariant algebraic $\mathrm{K}$-groups with coefficients in an equivariant Moore spectrum attached to a Galois representation. We prove this conjecture in many cases, integrally, except up to a possible factor of powers of $2$ in the non-abelian and totally real number field case. In the finite field case, we further determine the group structures of their equivariant algebraic $\mathrm{K}$-groups with coefficients in Galois representations. At heart, our method lifts the M\"obius inversion formula for factorizations of zeta functions as a product of $L$-functions, to the $E_1$-page of an equivariant spectral sequence converging to equivariant algebraic $\mathrm{K}$-groups. Additionally, the spectral Mackey functor structure on equivariant $\mathrm{K}$-theory allows us to incorporate certain ramified extensions that appear in these $L$-functions.


title: Some Statistical and Data Challenges When Building Early-Stage Digital Experimentation and Measurement Capabilities

abstract: Digital experimentation and measurement (DEM) capabilities -- the knowledge and tools necessary to run experiments with digital products, services, or experiences and measure their impact -- are fast becoming part of the standard toolkit of digital/data-driven organisations in guiding business decisions. Many large technology companies report having mature DEM capabilities, and several businesses have been established purely to manage experiments for others. Given the growing evidence that data-driven organisations tend to outperform their non-data-driven counterparts, there has never been a greater need for organisations to build/acquire DEM capabilities to thrive in the current digital era. This thesis presents several novel approaches to statistical and data challenges for organisations building DEM capabilities. We focus on the fundamentals associated with building DEM capabilities, which lead to a richer understanding of the underlying assumptions and thus enable us to develop more appropriate capabilities. We address why one should engage in DEM by quantifying the benefits and risks of acquiring DEM capabilities. This is done using a ranking under lower uncertainty model, enabling one to construct a business case. We also examine what ingredients are necessary to run digital experiments. In addition to clarifying the existing literature around statistical tests, datasets, and methods in experimental design and causal inference, we construct an additional dataset and detailed case studies on applying state-of-the-art methods. Finally, we investigate when a digital experiment design would outperform another, leading to an evaluation framework that compares competing designs' data efficiency.


title: From 1 to infinity: The log-correction for the maximum of variable-speed branching Brownian motion

abstract: We study the extremes of variable speed branching Brownian motion (BBM) where the time-dependent "speed functions", which describe the time-inhomogeneous variance, converge to the identity function. We consider general speed functions lying strictly below their concave hull and piecewise linear, concave speed functions. In the first case, the log-correction for the order of the maximum depends only on the rate of convergence of the speed function near 0 and 1 and exhibits a smooth interpolation between the correction in the i.i.d. case, $\frac{1}{2\sqrt{2}} \ln t$, and that of standard BBM, $\frac{3}{2\sqrt{2}} \ln t$. In the second case, we describe the order of the maximum in dependence of the form of speed function and show that any log-correction larger than $\frac{3}{2\sqrt{2}} \ln t$ can be obtained. In both cases, we prove that the limiting law of the maximum and the extremal process essentially coincide with those of standard BBM, using a first and second moment method which relies on the localisation of extremal particles. This extends the results of Bovier and Hartung for two-speed BBM.


title: $D^0$ meson production in $pp$ collisions at large $Q_s^2$

abstract: The impact of the non-linear effects in the QCD dynamics on the observables is directly related to the magnitude of the saturation scale $Q_s$, which is predicted to increase with the energy, rapidity and multiplicity. In this paper, we investigate the $D^0$ meson production in $pp$ collisions at forward rapidities and/or high multiplicities considering the Color Glass Condensate (CGC) formalism and the solutions of the running coupling Balitsky - Kovchegov (BK) equation. The contributions of gluon - and charm - initiated processes are taken into account, and a comparison with the current LHCb data is performed. The impact of an intrinsic charm component in the proton's wave function is also estimated. Predictions for the self-normalized yields of $D^0$ mesons as a function of the multiplicity of coproduced charged hadrons are presented, considering $pp$ collisions at $\sqrt{s} = 13$ TeV and different values of the meson rapidity. A comparison with the predictions for the kaon and isolated photon production is performed. Our results indicate that a future experimental analysis of the $D^0$ meson production at forward rapidities and high multiplicities can be useful to probe the CGC formalism and to disentangle the contribution of initial - and final - state effects.


title: Functional Latent Dynamics for Irregularly Sampled Time Series Forecasting

abstract: Irregularly sampled time series with missing values are often observed in multiple real-world applications such as healthcare, climate and astronomy. They pose a significant challenge to standard deep learn- ing models that operate only on fully observed and regularly sampled time series. In order to capture the continuous dynamics of the irreg- ular time series, many models rely on solving an Ordinary Differential Equation (ODE) in the hidden state. These ODE-based models tend to perform slow and require large memory due to sequential operations and a complex ODE solver. As an alternative to complex ODE-based mod- els, we propose a family of models called Functional Latent Dynamics (FLD). Instead of solving the ODE, we use simple curves which exist at all time points to specify the continuous latent state in the model. The coefficients of these curves are learned only from the observed values in the time series ignoring the missing values. Through extensive experi- ments, we demonstrate that FLD achieves better performance compared to the best ODE-based model while reducing the runtime and memory overhead. Specifically, FLD requires an order of magnitude less time to infer the forecasts compared to the best performing forecasting model.


title: Finite size effect on gluon dissociation of J/psi in relativistic heavy ion collisions

abstract: Thermal quantities, including the the entropy density and gluon spectrum, of quark matter within a box that is finite in the longitudinal direction are calculated using a bag model. Under the assumption of entropy conservation, the corresponding gluon dissociation rate of J/psi is studied. It reaches a maximum at a certain longitudinal size L_m, below which the suppression is weak even if the temperature becomes higher than that without the finite size effect, and above which the dissociation rate approaches to the thermodynamic limit gradually with increasing longitudinal size of the fireball.


title: A GPU-Accelerated Interior Point Method for Radiation Therapy Optimization

abstract: Optimization plays a central role in modern radiation therapy, where it is used to determine optimal treatment machine parameters in order to deliver precise doses adapted to each patient case. In general, solving the optimization problems that arise can present a computational bottleneck in the treatment planning process, as they can be large in terms of both variables and constraints. In this paper, we develop a GPU accelerated optimization solver for radiation therapy applications, based on an interior point method (IPM) utilizing iterative linear algebra to find search directions. The use of iterative linear algebra makes the solver suitable for porting to GPUs, as the core computational kernels become standard matrix-vector or vector-vector operations. Our solver is implemented in C++20 and uses CUDA for GPU acceleration. The problems we solve are from the commercial treatment planning system RayStation, developed by RaySearch Laboratories (Stockholm, Sweden), which is used clinically in hundreds of cancer clinics around the world. RayStation solves (in general) nonlinear optimization problems using a sequential quadratic programming (SQP) method, where the main computation lies in solving quadratic programming (QP) sub-problems in each iteration. GPU acceleration for the solution of such QP sub-problems is the focus of the interior point method of this work. We benchmark our solver against the existing QP-solver in RayStation and show that our GPU accelerated IPM can accelerate the aggregated time-to-solution for all QP sub-problems in one SQP solve by 1.4 and 4.4 times, respectively, for two real patient cases.


title: The Sociotechnical Stack: Opportunities for Social Computing Research in Non-consensual Intimate Media

abstract: Non-consensual intimate media (NCIM) involves sharing intimate content without the depicted person's consent, including "revenge porn" and sexually explicit deepfakes. While NCIM has received attention in legal, psychological, and communication fields over the past decade, it is not sufficiently addressed in computing scholarship. This paper addresses this gap by linking NCIM harms to the specific technological components that facilitate them. We introduce the sociotechnical stack, a conceptual framework designed to map the technical stack to its corresponding social impacts. The sociotechnical stack allows us to analyze sociotechnical problems like NCIM, and points toward opportunities for computing research. We propose a research roadmap for computing and social computing communities to deter NCIM perpetration and support victim-survivors through building and rebuilding technologies.


title: Dissipative gradient nonlinearities prevent $\delta$-formations in local and nonlocal attraction-repulsion chemotaxis models

abstract: We study some attraction repulsion chemotaxis models, characterized by nonlinearities laws for the diffusion of the cell density, and for the chemosensitivities and the production rates of the chemoattractant and the chemorepellent. Additionally, a source also involving some expression of the gradient of the species is incorporated.


title: Non-detectable patterns hidden within sequences of bits

abstract: In this paper we construct families of bit sequences using combinatorial methods. Each sequence is derived by con- verting a collection of numbers encoding certain combinatorial nu- merics from objects exhibiting symmetry in various dimensions. Using the algorithms first described in [1] we show that the NIST testing suite described in publication 800-22 does not detect these symmetries hidden within these sequences.


title: Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function

abstract: We provide tools to help automate the error analysis of algorithms that evaluate simple functions over the floating-point numbers. The aim is to obtain tight relative error bounds for these algorithms, expressed as a function of the unit round-off. Due to the discrete nature of the set of floating-point numbers, the largest errors are often intrinsically "arithmetic" in the sense that their appearance may depend on specific bit patterns in the binary representations of intermediate variables, which may be present only for some precisions. We focus on generic (i.e., parameterized by the precision) and analytic over-estimations that still capture the correlations between the errors made at each step of the algorithms. Using methods from computer algebra, which we adapt to the particular structure of the polynomial systems that encode the errors, we obtain bounds with a linear term in the unit round-off that is sharp in manycases. An explicit quadratic bound is given, rather than the $O()$-estimate that is more common in this area. This is particularly important when using low precision formats, which are increasingly common in modern processors. Using this approach, we compare five algorithms for computing the hypotenuse function, ranging from elementary to quite challenging.


title: Communities for the Lagrangian Dynamics of the Turbulent Velocity Gradient Tensor: A Network Participation Approach

abstract: Complex network analysis methods have been widely applied to nonlinear systems, but applications within fluid mechanics are relatively few. In this paper, we use a network for the Lagrangian dynamics of the velocity gradient tensor (VGT), where each node is a flow state, and the probability of transitioning between states follows from a direct numerical simulation of statistically steady and isotropic turbulence. The network representation of the VGT dynamics is much more compact than the continuous, joint distribution of a set of invariants for the tensor. We focus on choosing optimal variables to discretize and classify the VGT states. To this end, we test several classifications based on topology and various properties of the background flow coherent structures. We do this using the notion of "community" or "module", namely clusters of nodes that are optimally distinct while also containing diverse nodal functions. The best classification based upon VGT invariants often adopted in the literature combines the sign of the principal invariants, $Q$ and $R$, and the sign of the discriminant function, $\Delta$, separating regions where the VGT eigenvalues are real and complex. We further improve this classification by including the relative magnitude of the non-normal contribution to the dynamics of the enstrophy and straining stemming from a Schur decomposition of the VGT. The traditional focus on the second VGT principal invariant, $Q$, implies consideration of the difference between the enstrophy and strain-rate magnitude without the non-normal parts. The fact that including the non-normality leads to a better VGT classification highlights the importance of unclosed and complex terms contributing to the VGT dynamics, namely the pressure Hessian and viscous terms, to which the VGT non-normality is intrinsically related.


title: Deep Clustering with Self-Supervision using Pairwise Similarities

abstract: Deep clustering incorporates embedding into clustering to find a lower-dimensional space appropriate for clustering. In this paper, we propose a novel deep clustering framework with self-supervision using pairwise similarities (DCSS). The proposed method consists of two successive phases. In the first phase, we propose to form hypersphere-like groups of similar data points, i.e. one hypersphere per cluster, employing an autoencoder that is trained using cluster-specific losses. The hyper-spheres are formed in the autoencoder's latent space. In the second phase, we propose to employ pairwise similarities to create a $K$-dimensional space that is capable of accommodating more complex cluster distributions, hence providing more accurate clustering performance. $K$ is the number of clusters. The autoencoder's latent space obtained in the first phase is used as the input of the second phase. The effectiveness of both phases is demonstrated on seven benchmark datasets by conducting a rigorous set of experiments.


title: Constrained inhomogeneous spherical equations: average-case hardness

abstract: In this paper we analyze computational properties of the Diophantine problem (and its search variant) for spherical equations $\prod_{i=1}^m z_i^{-1} c_i z_i = 1$ (and its variants) over the class of finite metabelian groups $G_{p,n}=\mathbb{Z}_p^n \rtimes \mathbb{Z}_p^\ast$, where $n\in\mathbb{N}$ and $p$ is prime. We prove that the problem of finding solutions for certain constrained spherical equations is computationally hard on average (assuming that some lattice approximation problem is hard in the worst case).


title: Emergence of Cosmic Space and Horizon Thermodynamics from Kaniadakis Entropy

abstract: Utilizing Kaniadakis entropy associated with the apparent horizon of the Friedmann-Robertson-Walker (FRW) Universe and applying the emergence of cosmic space paradigm, we deduce the modified Friedmann equation for a non-flat (n+1)-dimensional universe. Employing the first law of thermodynamics, we arrive at the same modified Friedmann equation, showing the connection between emergence of cosmic space and first law of thermodynamics. We also establish the condition to satisfy the Generalized second law of thermodynamics within the Kaniadakis framework. Our study illuminates the intricate connection between the law of emergence and horizon thermodynamics, offering a deeper insight through the lens of Kaniadakis entropy.


title: Rectifiable Reifenberg and uniform positivity under almost calibrations

abstract: The Reifenberg theorem \cite{reif_orig} tells us that if a set $S\subseteq B_2\subseteq \mathbb R^n$ is uniformly close on all points and scales to a $k$-dimensional subspace, then $S$ is H\"older homeomorphic to a $k$-dimensional Euclidean ball. In general this is sharp, for instance such an $S$ may have infinite volume, be fractal in nature, and have no rectifiable structure. The goal of this note is to show that we can improve upon this for an almost calibrated Reifenberg set, or more generally under a positivity condition in the context of an $\epsilon$-calibration $\Omega$ . An $\epsilon$-calibration is very general, the condition holds locally for all continuous $k$-forms such that $\Omega[L]\leq 1+\epsilon$ for all $k$-planes $L$. We say an oriented $k$-plane $L$ is $\alpha$-positive with respect to $\Omega$ if $\Omega[L]>\alpha>0$. If $\Omega[L]>\alpha> 1-\epsilon$ then we call $L$ an $\epsilon$-calibrated plane. The main result of this paper is then the following. Assume at all points and scales $B_r(x)\subseteq B_2$ that $S$ is $\delta$-Hausdorff close to a subspace $L_{x,r}$ which is uniformly positive $\Omega[L_{x,r}]>\alpha $ with respect to an $\epsilon$-calibration. Then $S$ is $k$-rectifiable with uniform volume bounds.


title: Enabling High-Sparsity Foundational Llama Models with Efficient Pretraining and Deployment

abstract: Large language models (LLMs) have revolutionized Natural Language Processing (NLP), but their size creates computational bottlenecks. We introduce a novel approach to create accurate, sparse foundational versions of performant LLMs that achieve full accuracy recovery for fine-tuning tasks at up to 70% sparsity. We achieve this for the LLaMA-2 7B model by combining the SparseGPT one-shot pruning method and sparse pretraining of those models on a subset of the SlimPajama dataset mixed with a Python subset of The Stack dataset. We exhibit training acceleration due to sparsity on Cerebras CS-3 chips that closely matches theoretical scaling. In addition, we establish inference acceleration of up to 3x on CPUs by utilizing Neural Magic's DeepSparse engine and 1.7x on GPUs through Neural Magic's nm-vllm engine. The above gains are realized via sparsity alone, thus enabling further gains through additional use of quantization. Specifically, we show a total speedup on CPUs for sparse-quantized LLaMA models of up to 8.6x. We demonstrate these results across diverse, challenging tasks, including chat, instruction following, code generation, arithmetic reasoning, and summarization to prove their generality. This work paves the way for rapidly creating smaller and faster LLMs without sacrificing accuracy.


title: GREEN: Generative Radiology Report Evaluation and Error Notation

abstract: Evaluating radiology reports is a challenging problem as factual correctness is extremely important due to the need for accurate medical communication about medical images. Existing automatic evaluation metrics either suffer from failing to consider factual correctness (e.g., BLEU and ROUGE) or are limited in their interpretability (e.g., F1CheXpert and F1RadGraph). In this paper, we introduce GREEN (Generative Radiology Report Evaluation and Error Notation), a radiology report generation metric that leverages the natural language understanding of language models to identify and explain clinically significant errors in candidate reports, both quantitatively and qualitatively. Compared to current metrics, GREEN offers: 1) a score aligned with expert preferences, 2) human interpretable explanations of clinically significant errors, enabling feedback loops with end-users, and 3) a lightweight open-source method that reaches the performance of commercial counterparts. We validate our GREEN metric by comparing it to GPT-4, as well as to error counts of 6 experts and preferences of 2 experts. Our method demonstrates not only higher correlation with expert error counts, but simultaneously higher alignment with expert preferences when compared to previous approaches."


title: Towards Utilizing Scanning Gate Microscopy as a High-Resolution Probe of Valley Splitting in Si/SiGe Heterostructures

abstract: A detailed understanding of the material properties that affect the splitting between the two low-lying valley states in Si/SiGe heterostructures will be increasingly important as the number of spin qubits is increased. Scanning gate microscopy has been proposed as a method to measure the spatial variation of the valley splitting as a tip-induced dot is moved around in the plane of the Si quantum well. We develop a simulation using an electrostatic model of the scanning gate microscope tip and the overlapping gate structure combined with an approximate solution to the three-dimensional Schr\"odinger-Poisson equation in the device stack. Using this simulation, we show that a tip-induced quantum dot formed near source and drain electrodes can be adiabatically moved to a region far from the gate electrodes. We argue that by spatially translating the tip-induced dot across a defect in the Si/SiGe interface, changes in valley splitting can be detected.


title: Improving the Ranging Performance of Random ISAC Signals Through Pulse Shaping Design

abstract: In this paper, we propose a novel pulse shaping design for single-carrier integrated sensing and communication (ISAC) transmission. Due to the communication information embedded in the ISAC signal, the resulting auto-correlation function (ACF) is determined by both the information-conveying random symbol sequence and the signaling pulse, where the former leads to random fluctuations in the sidelobes of the ACF, impairing the range estimation performance. To overcome this challenge, we first analyze the statistical characteristics of the random ACF under the symbol-wise pulse shaping (SWPS) regime. As a step further, we formulate an optimization problem to design ISAC pulse shaping filters, which minimizes the average integrated sidelobe level ratio (ISLR) while meeting the Nyquist criterion, subject to power and bandwidth constraints. We then show that the problem can be recast as a convex quadratic program by expressing it in the frequency domain, which can be readily solved through standard tools. Numerical results demonstrate that the proposed pulse shaping design achieves substantial ranging sidelobe reduction compared to the celebrated root-raised cosine (RRC) pulse shaping, given that the communication throughput is unchanged.


title: Reverse Intersystem Crossing Dynamics in Vibronically Modulated Inverted Singlet-Triplet Gap System: A Wigner Phase Space Study

abstract: We inspect the origin of the inverted singlet-triplet gap (INVEST) and slow change in the reverse intersystem crossing (rISC) rate with temperature, as recently observed. A Wigner phase space study reveals, that though INVEST is found at equilibrium geometry, variation in the exchange interaction and the doubles-excitation for other geometries in the harmonic region leads to non- INVEST behavior. This highlights the importance of nuclear degrees of freedom for the INVEST phenomenon and in this case, geometric puckering of the studied molecule determines INVEST and the associated rISC dynamics.


title: Proof of the geometric Langlands conjecture I: construction of the functor

abstract: We construct the geometric Langlands functor in one direction (from the automorphic to the spectral side) in characteristic zero settings (i.e., de Rham and Betti). We prove that various forms of the conjecture (de Rham vs Betti, restricted vs. non-restricted, tempered vs. non-tempered) are equivalent. We also discuss structural properties of Hecke eigensheaves.


title: Flexible terahertz metasurface absorbers empowered by bound states in the continuum

abstract: Terahertz absorbers are crucial to the cutting-edge techniques in the next-generation wireless communications, imaging, sensing, and radar stealth, as they fundamentally determine the performance of detectors and cloaking capabilities. It has long been a pressing task to find absorbers with customizable performance that can adapt to various environments with low cost and great flexibility. Here, we demonstrate perfect absorption empowered by bound states in the continuum (BICs) allowing for the tailoring of absorption coefficient, bandwidth, and field of view. The one-port absorbers are interpreted using temporal coupled-mode theory highlighting the dominant role of BICs in the far-field radiation properties. Through a thorough investigation of BICs from the perspective of lattice symmetry, we unravel the radiation features of three BIC modes using both multipolar and topological analysis. The versatile radiation capabilities of BICs provide ample freedom to meet specific requirements of absorbers, including tunable bandwidth, stable performance in a large field of view, and multi-band absorption using a thin and flexible film without extreme geometric demands. Our findings offer a systematic approach to developing optoelectronic devices and demonstrate the significant potential of BICs for optical and photonic applications which will stimulate further studies on terahertz photonics and metasurfaces.


title: Firing rate model for brain rhythms controlled by astrocytes

abstract: We propose a new mean-field model of brain rhythms governed by astrocytes. This theoretical framework describes how astrocytes can regulate neuronal activity and contribute to the generation of brain rhythms. The model describes at the population level the interactions between two large groups of excitatory and inhibitory neurons. The excitatory population is governed by astrocytes via a so-called tripartite synapse. This approach allows us to describe how the interactions between different groups of neurons and astrocytes can give rise to various patterns of synchronized activity and transitions between them. Using methods of nonlinear analysis we show that astrocytic modulation can lead to a change in the period and amplitude of oscillations in the populations of neurons.


title: One nose but two nostrils: Learn to align with sparse connections between two olfactory cortices

abstract: The integration of neural representations in the two hemispheres is an important problem in neuroscience. Recent experiments revealed that odor responses in cortical neurons driven by separate stimulation of the two nostrils are highly correlated. This bilateral alignment points to structured inter-hemispheric connections, but detailed mechanism remains unclear. Here, we hypothesized that continuous exposure to environmental odors shapes these projections and modeled it as online learning with local Hebbian rule. We found that Hebbian learning with sparse connections achieves bilateral alignment, exhibiting a linear trade-off between speed and accuracy. We identified an inverse scaling relationship between the number of cortical neurons and the inter-hemispheric projection density required for desired alignment accuracy, i.e., more cortical neurons allow sparser inter-hemispheric projections. We next compared the alignment performance of local Hebbian rule and the global stochastic-gradient-descent (SGD) learning for artificial neural networks. We found that although SGD leads to the same alignment accuracy with modestly sparser connectivity, the same inverse scaling relation holds. We showed that their similar performance originates from the fact that the update vectors of the two learning rules align significantly throughout the learning process. This insight may inspire efficient sparse local learning algorithms for more complex problems.


title: Copas-Heckman-type sensitivity analysis for publication bias in rare-event meta-analysis under the framework of the generalized linear mixed model

abstract: Publication bias (PB) is one of the serious issues in meta-analysis. Many existing methods dealing with PB are based on the normal-normal (NN) random-effects model assuming normal models in both the within-study and the between-study levels. For rare-event meta-analysis where the data contain rare occurrences of event, the standard NN random-effects model may perform poorly. Instead, the generalized linear mixed effects model (GLMM) using the exact within-study model is recommended. However, no method has been proposed for dealing with PB in rare-event meta-analysis using the GLMM. In this paper, we propose sensitivity analysis methods for evaluating the impact of PB on the GLMM based on the famous Copas-Heckman-type selection model. The proposed methods can be easily implemented with the standard software coring the nonlinear mixed-effects model. We use a real-world example to show how the usefulness of the proposed methods in evaluating the potential impact of PB in meta-analysis of the log-transformed odds ratio based on the GLMM using the non-central hypergeometric or binomial distribution as the within-study model. An extension of the proposed method is also introduced for evaluating PB in meta-analysis of proportion based on the GLMM with the binomial within-study model.


title: MV-frames

abstract: Complete MV-algebras are naturally equipped with frame structures. We call them MV-frames and investigate some of their main the properties as frames. We completely characterized algebraic MV-frames as well as regular MV-frames. In addition, we consider nuclei on MV-frames in general and on MV-frames of ideals of Lukasiewicz rings. Finally, we used the Chang-Mundici functor to explore the frame structures of complete unital lattice-ordered groups.


title: Trackable Island-model Genetic Algorithms at Wafer Scale

abstract: Emerging ML/AI hardware accelerators, like the 850,000 processor Cerebras Wafer-Scale Engine (WSE), hold great promise to scale up the capabilities of evolutionary computation. However, challenges remain in maintaining visibility into underlying evolutionary processes while efficiently utilizing these platforms' large processor counts. Here, we focus on the problem of extracting phylogenetic information from digital evolution on the WSE platform. We present a tracking-enabled asynchronous island-based genetic algorithm (GA) framework for WSE hardware. Emulated and on-hardware GA benchmarks with a simple tracking-enabled agent model clock upwards of 1 million generations a minute for population sizes reaching 16 million. This pace enables quadrillions of evaluations a day. We validate phylogenetic reconstructions from these trials and demonstrate their suitability for inference of underlying evolutionary conditions. In particular, we demonstrate extraction of clear phylometric signals that differentiate wafer-scale runs with adaptive dynamics enabled versus disabled. Together, these benchmark and validation trials reflect strong potential for highly scalable evolutionary computation that is both efficient and observable. Kernel code implementing the island-model GA supports drop-in customization to support any fixed-length genome content and fitness criteria, allowing it to be leveraged to advance research interests across the community.


title: Strang Splitting for Parametric Inference in Second-order Stochastic Differential Equations

abstract: We address parameter estimation in second-order stochastic differential equations (SDEs), prevalent in physics, biology, and ecology. Second-order SDE is converted to a first-order system by introducing an auxiliary velocity variable raising two main challenges. First, the system is hypoelliptic since the noise affects only the velocity, making the Euler-Maruyama estimator ill-conditioned. To overcome that, we propose an estimator based on the Strang splitting scheme. Second, since the velocity is rarely observed we adjust the estimator for partial observations. We present four estimators for complete and partial observations, using full likelihood or only velocity marginal likelihood. These estimators are intuitive, easy to implement, and computationally fast, and we prove their consistency and asymptotic normality. Our analysis demonstrates that using full likelihood with complete observations reduces the asymptotic variance of the diffusion estimator. With partial observations, the asymptotic variance increases due to information loss but remains unaffected by the likelihood choice. However, a numerical study on the Kramers oscillator reveals that using marginal likelihood for partial observations yields less biased estimators. We apply our approach to paleoclimate data from the Greenland ice core and fit it to the Kramers oscillator model, capturing transitions between metastable states reflecting observed climatic conditions during glacial eras.


title: Observability of spin precession in the presence of a black-hole remnant kick

abstract: Remnants of binary black-hole mergers can gain significant recoil or kick velocities when the binaries are asymmetric. The kick is the consequence of anisotropic emission of gravitational waves, which may leave a characteristic imprint in the observed signal. So far, only one gravitational-wave event supports a non-zero kick velocity: GW200129_065458. This signal is also the first to show evidence for spin-precession. For most other gravitational-wave observations, spin orientations are poorly constrained as this would require large signal-to-noise ratios, unequal mass ratios or inclined systems. Here we investigate whether the imprint of the kick can help to extract more information about the spins. We perform an injection and recovery study comparing binary black-hole signals with significantly different kick magnitudes, but the same spin magnitudes and spin tilts. To exclude the impact of higher signal harmonics in parameter estimation, we focus on equal-mass binaries that are oriented face-on. We generate signals with PhenomXO4a, which includes mode asymmetries. These asymmetries are the main cause for the kick in precessing binaries. For comparison with an equivalent model without asymmetries, we repeat the same injections with PhenomXPHM. We find that signals with large kicks necessarily include large asymmetries, and these give more structure to the signal, leading to more informative measurements of the spins and mass ratio. Our results also complement previous findings that argued precession in equal-mass, face-on or face-away binaries is nearly impossible to identify. In contrast, we find that in the presence of a remnant kick, even those signals become more informative and allow determining precession with signal-to-noise ratios observable already by current gravitational-wave detectors.


title: Energy-Based Optimization of Physical-Layer Challenge-Response Authentication with Drones

abstract: Drones are expected to be used for many tasks in the future and require secure communication protocols. In this work, we propose a novel physical layer authentication (PLA)-based challenge-response (CR) protocol in which a drone Bob authenticates the sender (either on the ground or air) by exploiting his prior knowledge of the wireless channel statistic (fading, path loss, and shadowing). In particular, Bob will move to a set of positions in the space, and by estimating the attenuations of the received signals he will authenticate the sender. We take into account the energy consumption in the design and provide three solutions: a purely greedy solution (PG), an optimal Bellman iterative solution (BI), and a heuristic solution based on the evaluation of the standard deviation of the attenuations in the space. Finally, we demonstrate the effectiveness of our approach through numerical simulations.


title: Decision algorithms for reversibility of one-dimensional non-linear cellular automata under null boundary conditions

abstract: The property of reversibility is quite meaningful for the classic theoretical computer science model, cellular automata. For the reversibility problem for a CA under null boundary conditions, while linear rules have been studied a lot, the non-linear rules remain unexplored at present. The paper investigates the reversibility problem of general one-dimensional CA on a finite field $\mathbb{Z}_p$, and proposes an approach to optimize the Amoroso's infinite CA surjectivity detection algorithm. This paper proposes algorithms for deciding the reversibility of one-dimensional CA under null boundary conditions. We propose a method to decide the strict reversibility of one-dimensional CA under null boundary conditions. We also provide a bucket chain based algorithm for calculating the reversibility function of one-dimensional CA under null boundary conditions. These decision algorithms work for not only linear rules but also non-linear rules. In addition, it has been confirmed that the reversibility function always has a period, and its periodicity is related to the periodicity of the corresponding bucket chain. Some of our experiment results of reversible CA are presented in the paper, complementing and validating the theoretical aspects, and thereby further supporting the research conclusions of this paper.


title: On a Completion of Cohomological Functors Generalising Tate Cohomology I

abstract: Viewing group cohomology as a so-called cohomological functor, G. Mislin has generalised Tate cohomology from finite groups to all discrete groups by defining a completion for cohomological functors in [27]. If $T^{\bullet}: \mathcal{C} \rightarrow \mathcal{D}$ is any cohomological functor, then we construct its Mislin completion $\widehat{T}^{\bullet}: \mathcal{C} \rightarrow \mathcal{D}$ under the assumption that the abelian category $\mathcal{C}$ has enough projectives and that in the abelian category $\mathcal{D}$ all countable direct limits exist and are exact. This takes Tate cohomology to settings where it has never been introduced such as in condensed mathematics. Through the latter, one can define Tate cohomology for any $T1$ topological group. More specifically, we generalise four constructions of Mislin completions from the literature, prove that they yield isomorphic cohomological functors and provide explicit formulae for their connecting homomorphisms. For any morphism $f: M \rightarrow N$ in $\mathcal{C}$ we develop formulae for $\widehat{T}^n(f): \widehat{T}^n(M) \rightarrow \widehat{T}^n(N)$ in terms of each construction.


title: Network analysis for the steady-state thermodynamic uncertainty relation

abstract: We perform network analysis of a system described by the master equation to estimate the lower bound of the steady-state current noise, starting from the level 2.5 large deviation function and using the graph theory approach. When the transition rates are uniform, and the system is driven to a non-equilibrium steady state by unidirectional transitions, we derive a noise lower bound, which accounts for fluctuations of sojourn times at all states and is expressed using mesh currents. This bound is applied to the uncertainty in the signal-to-noise ratio of the fluctuating computation time of a schematic Brownian computation plus reset process described by a graph containing one cycle. Unlike the mixed and pseudo-entropy bounds that increase logarithmically with the length of the intended computation path, this bound depends on the number of extraneous predecessors and thus captures the logical irreversibility.


title: Fields of definition of dynamical systems on $\mathbb{P}^{1}$. Improvements on a result of Silverman

abstract: J. Silverman proved that a dynamical system on $\mathbb{P}^{1}$ descends to the field of moduli if it is polynomial or it has even degree, but for non-polynomial ones of odd degree the picture is less clear. We give a complete characterization of which dynamical systems over $\mathbb{P}^{1}$ descend to the field of moduli.


title: Dual Relation Mining Network for Zero-Shot Learning

abstract: Zero-shot learning (ZSL) aims to recognize novel classes through transferring shared semantic knowledge (e.g., attributes) from seen classes to unseen classes. Recently, attention-based methods have exhibited significant progress which align visual features and attributes via a spatial attention mechanism. However, these methods only explore visual-semantic relationship in the spatial dimension, which can lead to classification ambiguity when different attributes share similar attention regions, and semantic relationship between attributes is rarely discussed. To alleviate the above problems, we propose a Dual Relation Mining Network (DRMN) to enable more effective visual-semantic interactions and learn semantic relationship among attributes for knowledge transfer. Specifically, we introduce a Dual Attention Block (DAB) for visual-semantic relationship mining, which enriches visual information by multi-level feature fusion and conducts spatial attention for visual to semantic embedding. Moreover, an attribute-guided channel attention is utilized to decouple entangled semantic features. For semantic relationship modeling, we utilize a Semantic Interaction Transformer (SIT) to enhance the generalization of attribute representations among images. Additionally, a global classification branch is introduced as a complement to human-defined semantic attributes, and we then combine the results with attribute-based classification. Extensive experiments demonstrate that the proposed DRMN leads to new state-of-the-art performances on three standard ZSL benchmarks, i.e., CUB, SUN, and AwA2.


title: Repairing with Zero Skip Cost

abstract: To measure repair latency at helper nodes, we introduce a new metric called skip cost that quantifies the number of contiguous sections accessed on a disk. We provide explicit constructions of zigzag codes and fractional repetition codes that incur zero skip cost


title: Nonnegative Matrix Factorization in Dimensionality Reduction: A Survey

abstract: Dimensionality Reduction plays a pivotal role in improving feature learning accuracy and reducing training time by eliminating redundant features, noise, and irrelevant data. Nonnegative Matrix Factorization (NMF) has emerged as a popular and powerful method for dimensionality reduction. Despite its extensive use, there remains a need for a comprehensive analysis of NMF in the context of dimensionality reduction. To address this gap, this paper presents a comprehensive survey of NMF, focusing on its applications in both feature extraction and feature selection. We introduce a classification of dimensionality reduction, enhancing understanding of the underlying concepts. Subsequently, we delve into a thorough summary of diverse NMF approaches used for feature extraction and selection. Furthermore, we discuss the latest research trends and potential future directions of NMF in dimensionality reduction, aiming to highlight areas that need further exploration and development.


title: A Controlled Experiment on the Energy Efficiency of the Source Code Generated by Code Llama

abstract: Context. Nowadays, 83% of software developers use Large Language Models (LLMs) to generate code. LLMs recently became essential to increase the productivity of software developers and decrease the time and cost of software development. Developers ranging from novices to experts use LLM tools not only to detect and patch bugs, but also to integrate generated code into their software. However, as of today there is no objective assessment of the energy efficiency of the source code generated by LLM tools. Released in August 2023, Code Llama is one of the most recent LLM tools. Goal. In this paper, we present an empirical study that assesses the energy efficiency of Code Llama with respect to human-written source code. Method. We design an experiment involving three human-written benchmarks implemented in C++, JavaScript, and Python. We ask Code Llama to generate the code of the benchmarks using different prompts and temperatures. Therefore, we execute both implementations and profile their energy efficiency. Results. Our study shows that the energy efficiency of code generated by Code Llama is heavily-dependent on the chosen programming language and the specific code problem at hand. Also, human implementations tend to be more energy efficient overall, with generated JavaScript code outperforming its human counterpart. Moreover, explicitly asking Code Llama to generate energy-efficient code results in an equal or worse energy efficiency, as well as using different temperatures seems not to affect the energy efficiency of generated code. Conclusions. According to our results, code generated using Code Llama does not guarantee energy efficiency, even when prompted to do so. Therefore, software developers should evaluate the energy efficiency of generated code before integrating it into the software system under development.


title: A reduction procedure for determining exact solutions of second order hyperbolic equations

abstract: In this paper we develop a systematic reduction procedure for determining intermediate integrals of second order hyperbolic equations so that exact solutions of the second order PDEs under interest can be obtained by solving first order PDEs. We give some conditions in order that such a procedure holds and, in particular, we characterize classes of linear second order hyperbolic equations for which the general solution can be found.


title: Modulation transfer protocol for Rydberg RF receivers

abstract: We propose and demonstrate a modulation transfer protocol to increase the detection sensitivity of a Rydberg RF receiver to fields out of resonance from the transition between Rydberg levels. This protocol is based on a phase modulation of the control field used to create the Electromagnetically Induced Transparency (EIT) signal. The nonlinear wave-mixing of the multi-component coupling laser and the probe laser transfers the modulation to the probe laser, which is used for RF-field detection. The measurements compare very well to semi-classical simulations of atom-light interaction and show an improvement in the RF bandwidth of the sensor and an improved sensitivity of the response to weak fields.


title: The trade-offs between Monolithic vs. Distributed Architectures

abstract: Software architects frequently engage in trade-off analysis, often confronting sub-optimal solutions due to unforeseen or overlooked disadvantages. Such outcomes can detrimentally affect a company's business operations and resource allocation. This article conducts a critical review of archi- tectural styles, particularly focusing on the strengths and weaknesses of both monolithic and distributed architectures, and their relationship to architectural characteristics. It also explores the role of cloud computing in transitioning from monolithic to distributed-based applications. Utilizing a broad range of sources, including papers and books from both industry and academia, this research provides an overview from theoretical foundations to practical applications. A notable trend observed is a shift back from distributed to monolithic architectures, possibly due to factors such as cost, complexity, and performance.


title: Detecting Android Malware: From Neural Embeddings to Hands-On Validation with BERTroid

abstract: As cyber threats and malware attacks increasingly alarm both individuals and businesses, the urgency for proactive malware countermeasures intensifies. This has driven a rising interest in automated machine learning solutions. Transformers, a cutting-edge category of attention-based deep learning methods, have demonstrated remarkable success. In this paper, we present BERTroid, an innovative malware detection model built on the BERT architecture. Overall, BERTroid emerged as a promising solution for combating Android malware. Its ability to outperform state-of-the-art solutions demonstrates its potential as a proactive defense mechanism against malicious software attacks. Additionally, we evaluate BERTroid on multiple datasets to assess its performance across diverse scenarios. In the dynamic landscape of cybersecurity, our approach has demonstrated promising resilience against the rapid evolution of malware on Android systems. While the machine learning model captures broad patterns, we emphasize the role of manual validation for deeper comprehension and insight into these behaviors. This human intervention is critical for discerning intricate and context-specific behaviors, thereby validating and reinforcing the model's findings.


title: Uniform bounds for fields of definition in projective spaces

abstract: We give a positive answer to a question of J. Doyle and J. Silverman about fields of definition of dynamical systems on $\mathbb{P}^{n}$. We prove that, for fixed $n$, there exists a constant $C_{n}$ such that every dynamical system $\mathbb{P}^{n}\to\mathbb{P}^{n}$ is defined over an extension of degree $\le C_{n}$ of the field of moduli. More generally, the same bound works for any kind of "algebraic structure" defined over $\mathbb{P}^{n}$, such as embedded curves, hypersurfaces, algebraic cycles. As a consequence we prove that, if $x\in X(k)$ is a rational point of an $n$-dimensional variety with quotient singularities, there exists a field extension $k'/k$ of degree $\le C_{n-1}$ such that $x$ lifts to a $k'$-rational point of any resolution of singularities.


title: Searching for the two poles of the $\Xi(1820)$ in the $\psi(3686) \to \bar{\Xi}^+ \bar{K}^0 \Sigma^{*-}(\pi^- \Lambda)$ decay

abstract: We propose the reaction $\psi(3686) \to \bar{\Xi}^+ \bar{K}^0 \Sigma^{*-}$, with the $\Sigma^{*-}$ decaying to $\pi^- \Lambda$ in order to show evidence for the existence of two $\Xi(1820)$ states, one around $1824$ MeV and narrow, and another one around $1875$ MeV and wide. The phase space for $\bar{K}^0 \Sigma^{*-}$ production reduces the effect of the lower mass resonance, magnifying the effect of the higher mass resonance that shows clearly over the phase space. The estimated rate of the production is bigger than the one of the $\psi(3686) \to \bar{\Xi}^+ K^- \Lambda$ reaction, where a clear peak for $\Xi(1820)$ was observed by the BESIII collaboration, what makes the Beijing facility ideal to carry out the reaction proposed.