title: Phonon-mediated spin transport in quantum paraelectric metals

abstract: The concept of ferroelectricity is now often extended to include continuous inversion symmetry-breaking transitions in various metals and doped semiconductors. Paraelectric metals near ferroelectric quantum criticality, which we term `quantum paraelectric metals,' typically possess soft transverse optical phonons that have Rashba-type coupling to itinerant electrons in the presence of spin-orbit coupling. We find through the Kubo formula calculation that such Rashba electron-phonon coupling has a profound impact on electron spin transport. While the spin Hall effect arising from non-trivial electronic band structures has been studied extensively, we find here the presence of the Rashba electron-phonon coupling can give rise to spin current, including spin Hall current, in response to an inhomogeneous electric field even with a completely trivial band structure. Furthermore, this spin conductivity displays unconventional characteristics, such as quadrupolar symmetry associated with the wave vector of the electric field and a thermal activation behavior characterized by scaling laws dependent on the phonon frequency to temperature ratio. These findings shed light on exotic electronic transport phenomena originating from ferroelectric quantum criticality, highlighting the intricate interplay of charge and spin degrees of freedom.


title: Acyclic orientations and Hessenberg varieties

abstract: We exhibit a bijection between acyclic orientations of a Dyck graph and Tymoczko cells of a regular nilpotent Hessenberg variety. This implies the Shareshian-Wachs formula for the sum of the coefficients of the chromatic quasi-symmetric function of a Dyck graph in the elementary basis.


title: ChatGPT in the classroom. Exploring its potential and limitations in a Functional Programming course

abstract: In November 2022, OpenAI has introduced ChatGPT, a chatbot based on supervised and reinforcement learning. Not only can it answer questions emulating human-like responses, but it can also generate code from scratch or complete coding templates provided by the user. ChatGPT can generate unique responses which render any traditional anti-plagiarism tool useless. Its release has ignited a heated debate about its usage in academia, especially by students. We have found, to our surprise, that our students at POLITEHNICA University of Bucharest (UPB) have been using generative AI tools (ChatGPT and its predecessors) for solving homework, for at least 6 months. We therefore set out to explore the capabilities of ChatGPT and assess its value for educational purposes. We solved all our coding assignments for the semester from our UPB Functional Programming course. We discovered that, although ChatGPT provides correct answers in 68% of the cases, only around half of those are legible solutions which can benefit students in some form. On the other hand, ChatGPT has a very good ability to perform code review on student programming homework. Based on these findings, we discuss the pros and cons of ChatGPT in education.


title: Coevolving Artistic Images Using OMNIREP

abstract: We have recently developed OMNIREP, a coevolutionary algorithm to discover both a representation and an interpreter that solve a particular problem of interest. Herein, we demonstrate that the OMNIREP framework can be successfully applied within the field of evolutionary art. Specifically, we coevolve representations that encode image position, alongside interpreters that transform these positions into one of three pre-defined shapes (chunks, polygons, or circles) of varying size, shape, and color. We showcase a sampling of the unique image variations produced by this approach.


title: Fermionic signal of vacuum polarization in strong laser fields

abstract: Vacuum polarization (VP) is investigated for the interaction of a polarized $\gamma$-ray beam of GeV photons with a counterpropagating ultraintense laser pulse. In a conventional setup of a vacuum birefringence measurement, a VP signal is the emerging small circular (linear) polarization of the initially linearly (circularly) polarized probe photons. The pair production via the nonlinear Breit-Wheeler process in such a high-energy environment eliminates part of the $\gamma$-photons in the outgoing $\gamma$-beam, increasing the statistical error and decreasing the accuracy of this VP signal. In contrast, we investigate the conversion of the emerging circular polarization of $\gamma$-photons into longitudinal polarization of the created positrons, considering the latter as the main VP signal. To study the VP effects in the highly nonlinear regime, where the Euler-Heisenberg effective Lagrangian method breaks down, we have developed a Monte-Carlo simulation method, incorporating vacuum birefringence and dichroism via the one-loop QED probabilities in the locally constant field approximation. Our Monte Carlo method will enable the study of VP effects in strong fields of arbitrary configuration. With 10~PW laser systems, we demonstrate the feasibility of detecting the fermionic signal of the VP effect at the 5$\sigma$ confidence level with a few hours of measurement time.


title: Pion interferometry with L\'evy-stable sources in $\sqrt{s_{NN}}$ = 200 GeV Au+Au collisions at STAR

abstract: Measurements of femtoscopic correlations in high-energy heavy-ion collisions aim to unravel the space-time structure of the particle-emitting source (the quark-gluon plasma). Recent results indicate that the pion pair source exhibits a power-law behavior and can be described well by a L\'evy distribution. In this study, L\'evy fits were performed to the measured one-dimensional two-pion correlation functions in Au+Au collisions at $\sqrt{s_{NN}}$=200 GeV. The three extracted source parameters are the L\'evy scale parameter, $R$, which relates to the size of the source; the correlation strength parameter, $\lambda$; and the L\'evy exponent, $\alpha$, which characterizes the power-law tail of the source. In this paper, we report the current status of the analysis of the extracted L\'evy source parameters and present their dependence on average transverse mass, $m_T$, and on centrality.


title: Inducing High Energy-Latency of Large Vision-Language Models with Verbose Images

abstract: Large vision-language models (VLMs) such as GPT-4 have achieved exceptional performance across various multi-modal tasks. However, the deployment of VLMs necessitates substantial energy consumption and computational resources. Once attackers maliciously induce high energy consumption and latency time (energy-latency cost) during inference of VLMs, it will exhaust computational resources. In this paper, we explore this attack surface about availability of VLMs and aim to induce high energy-latency cost during inference of VLMs. We find that high energy-latency cost during inference of VLMs can be manipulated by maximizing the length of generated sequences. To this end, we propose verbose images, with the goal of crafting an imperceptible perturbation to induce VLMs to generate long sentences during inference. Concretely, we design three loss objectives. First, a loss is proposed to delay the occurrence of end-of-sequence (EOS) token, where EOS token is a signal for VLMs to stop generating further tokens. Moreover, an uncertainty loss and a token diversity loss are proposed to increase the uncertainty over each generated token and the diversity among all tokens of the whole generated sequence, respectively, which can break output dependency at token-level and sequence-level. Furthermore, a temporal weight adjustment algorithm is proposed, which can effectively balance these losses. Extensive experiments demonstrate that our verbose images can increase the length of generated sequences by 7.87 times and 8.56 times compared to original images on MS-COCO and ImageNet datasets, which presents potential challenges for various applications. Our code is available at https://github.com/KuofengGao/Verbose_Images.


title: On degenerate $(q,p)$-Laplace equations corresponding to an inverse spectral problem

abstract: Two main results are presented: 1) a new class of applied problems that lead to equations with $(p,q)$-Laplace is presented; 2) a method for solving nonlinear boundary value problems involving $(p,q)$-Laplace with measurable unbounded coefficients is introduced. In the main result, the existence, uniqueness, and stability of the nonnegative weak solution to the equations of the form $$ -{\rm div}(\rho|\nabla u|^{q-2} \nabla u)-{\rm div}(|\nabla u|^{p-2}\nabla u)=\lambda b |u|^{q-2}u,~~p>q $$ are proven. Additionally, an explicit formula that expresses the solution of the equation through the inverse optimal solution of the spectral problem $$-{\rm div}(\rho|\nabla \phi|^{q-2}\nabla \phi)=\lambda b|\phi|^{q-2}\phi$$ is presented. The advantage of the method is that the inverse optimal problem has a visible geometry and a simple variational structure, which makes it easy to solve it and, as a consequence, find a solution to the associated nonlinear boundary value problem.


title: Insight-HXMT observations of thermonuclear X-ray bursts in 4U 1636-53

abstract: We conducted an analysis of 45 bursts observed from 4U 1636$-$53. To investigate the mechanism behind the light curve profiles and the impact of thermonuclear X-ray bursts on the accretion environment in accreting neutron star low-mass X-ray binaries. This analysis employed both light curve and time-resolved spectroscopy methodologies, with data collected by the \textit{Insight}-HXMT instrument. We found that 30 bursts exhibited similar light curve profiles and were predominantly in the hard state, and two photospheric radius expansion (PRE) bursts were in the soft state. The light curves of most bursts did not follow a single exponential decay but displayed a dual-exponential behavior. The initial exponent had a duration of approximately 6 s. We utilized both the standard method and the `$f_{\rm a}$' method to fit the burst spectra. The majority of the `$f_{\rm a}$' values exceeded 1, indicating an enhancement of the persistent emission during the burst. Under the two comptonization components assumption, we suggest that the scattering of burst photons by the inner corona may mainly contribute to the persistent emission enhancement. We also observed an inverse correlation between the maximum $f_{\rm a}$ and the persistent emission flux in the non-PRE burst. This anti-correlation suggests that when the accretion rate is lower, there is a greater enhancement of persistent emission during the burst peak. The prediction based on Poynting-Robertson drag (P-R drag) aligns with this observed anti-correlation.


title: Lifetime Determination of the $5s5p$ ${}^{3}P^{\rm{o}}_{0}$ Metastable State in ${}^{87}$Sr from the Electric Dipole Matrix Element

abstract: We report a measurement of the radiative lifetime of the $5s5p \; {}^{\rm{3}}P^{\rm{o}}_{\rm{0}}$ metastable state in ${}^{87}$Sr, which is coupled to the 5$s^{\rm{2}} \;$ ${}^{\rm{1}}S_{\rm{0}}$ ground state via a hyperfine-induced electric dipole transition. The radiative lifetime is determined to be 151.4(48) s, in good agreement with theoretical results. Our approach relies on accurate measurements of laser intensity and free-space Rabi frequency, enabling lifetime measurements of any excited state and particularly suitable for long-lived states.


title: Pixel-Wise Recognition for Holistic Surgical Scene Understanding

abstract: This paper presents the Holistic and Multi-Granular Surgical Scene Understanding of Prostatectomies (GraSP) dataset, a curated benchmark that models surgical scene understanding as a hierarchy of complementary tasks with varying levels of granularity. Our approach enables a multi-level comprehension of surgical activities, encompassing long-term tasks such as surgical phases and steps recognition and short-term tasks including surgical instrument segmentation and atomic visual actions detection. To exploit our proposed benchmark, we introduce the Transformers for Actions, Phases, Steps, and Instrument Segmentation (TAPIS) model, a general architecture that combines a global video feature extractor with localized region proposals from an instrument segmentation model to tackle the multi-granularity of our benchmark. Through extensive experimentation, we demonstrate the impact of including segmentation annotations in short-term recognition tasks, highlight the varying granularity requirements of each task, and establish TAPIS's superiority over previously proposed baselines and conventional CNN-based models. Additionally, we validate the robustness of our method across multiple public benchmarks, confirming the reliability and applicability of our dataset. This work represents a significant step forward in Endoscopic Vision, offering a novel and comprehensive framework for future research towards a holistic understanding of surgical procedures.


title: Effect of Persistent Noise on the XY Model and Two-Dimensional Crystals

abstract: Two-dimensional (2D) crystals made of active particles were shown recently to be able to experience extremely large spontaneous deformations without melting. The root of this phenomenon was argued to lie in the time-persistence of the orientation of the intrinsic axes of particles. Here, we pursue this idea and consider passive systems subjected to time-persistent external perturbations. We first study a 2D XY model subjected to time-correlated noise and find that it can remain quasi-ordered in spite of correlations decaying much faster than allowed in equilibrium. We then study a simple model of a passive 2D crystal immersed in a bath of active particles, and show that it can sustain large deformations without melting.


title: Data-Driven Target Localization: Benchmarking Gradient Descent Using the Cramer-Rao Bound

abstract: In modern radar systems, precise target localization using azimuth and velocity estimation is paramount. Traditional unbiased estimation methods have utilized gradient descent algorithms to reach the theoretical limits of the Cramer Rao Bound (CRB) for the error of the parameter estimates. As an extension, we demonstrate on a realistic simulated example scenario that our earlier presented data-driven neural network model outperforms these traditional methods, yielding improved accuracies in target azimuth and velocity estimation. We emphasize, however, that this improvement does not imply that the neural network outperforms the CRB itself. Rather, the enhanced performance is attributed to the biased nature of the neural network approach. Our findings underscore the potential of employing deep learning methods in radar systems to achieve more accurate localization in cluttered and dynamic environments.


title: Optimal higher regularity for biharmonic maps via quantitative stratification

abstract: This little note is devoted to refining the almost optimal regularity results of Breiner and Lamm \cite{Breiner-Lamm-2015} on minimizing and stationary biharmonic maps via the powerful quantitative stratification method introduced by Cheeger and Naber \cite{Cheeger-Naber-2013} and further developed by Naber and Valtorta \cite{Naber-V-2017,Naber-V-2018} for harmonic maps. In particular, we obtain an optimal regularity results for minimizing biharmonic maps.


title: Large Transverse Thermopower in Shape-Engineered Tilted Leg Thermopile

abstract: We demonstrate that a novel device design, where a shape-engineered tilted-leg thermopile structure is employed, significantly enhances the output voltage in the transverse direction. Owing to the shape engineering of the leg geometry, an additional temperature gradient develops along the long direction of the leg, which is perpendicular to the direction of the applied temperature gradient, thereby generating an additional Seebeck voltage V_SE that adds to the Anomalous Nernst effect (ANE) voltage V_ANE. We further show that a simple adjustment of electrode position within the device can further increase V_SE. The tilted leg device with electrode adjustment demonstrates a 990% enhanced transverse output voltage compared to that of conventional rectangular leg thermopile-structured devices, wherein only the ANE occurs. This combined output voltage from both the Seebeck effect and ANE is equivalent to the value that surpasses the state-of-the-art ANE materials and devices currently available. The numerical analysis shows the tendencies of the electrical and thermal outputs of the tilted-leg device, which guides a way to further improve the output voltage. Our study paves the way to develop highly efficient transverse TE devices that can overcome intrinsic materials challenges by utilizing the degree of freedom of device design.


title: Uncovering the formation of the counter-rotating stellar disks in SDSS J074834.64+444117.8

abstract: Using the integral field spectroscopic data from Mapping Nearby Galaxies at Apache Point Observatory survey, we study the kinematics and stellar population properties of the two counter-rotating stellar disks in a nearby galaxy SDSS J074834.64+444117.8. We disentangle the two stellar disks by three methods, including CaII $\lambda$8542 double Gaussian fit, pPXF spectral decomposition, and orbit-based dynamical model. These three different methods give consistent stellar kinematics. The pPXF spectral decomposition provides the spectra of two stellar disks, with one being more luminous across the whole galaxy named primary disk, and the other named secondary disk. The primary disk is counter-rotating with ionized gas, while the secondary disk is co-rotating with ionized gas. The secondary disk has younger stellar population and poorer stellar metallicity than the primary disk. We estimate the stellar mass ratio between the primary and secondary disks to be $\sim$5.2. The DESI $g$, $r$, $z$ color image doesn't show any merger remnant feature in this galaxy. These findings support a scenario that the counter-rotating stellar disks in SDSS J074834.64+444117.8 formed through gas accretion from the cosmic web or a gas-rich companion.


title: Generalized Cayley graphs and perfect code

abstract: Perfect code in Cayley graphs and Cayley sum graphs is studied extensively in recent years. In this paper, we consider perfect code in generalized Cayley graphs.


title: Inference without Interference: Disaggregate LLM Inference for Mixed Downstream Workloads

abstract: Transformer-based large language model (LLM) inference serving is now the backbone of many cloud services. LLM inference consists of a prefill phase and a decode phase. However, existing LLM deployment practices often overlook the distinct characteristics of these phases, leading to significant interference. To mitigate interference, our insight is to carefully schedule and group inference requests based on their characteristics. We realize this idea in TetriInfer through three pillars. First, it partitions prompts into fixed-size chunks so that the accelerator always runs close to its computationsaturated limit. Second, it disaggregates prefill and decode instances so each can run independently. Finally, it uses a smart two-level scheduling algorithm augmented with predicted resource usage to avoid decode scheduling hotspots. Results show that TetriInfer improves time-to-first-token (TTFT), job completion time (JCT), and inference efficiency in turns of performance per dollar by a large margin, e.g., it uses 38% less resources all the while lowering average TTFT and average JCT by 97% and 47%, respectively.


title: Salt Effects on Ionic Conductivity Mechanisms in Ethylene Carbonate Electrolytes: Interplay of Viscosity and Ion-ion Relaxations

abstract: The intricate role of shear viscosity and ion-pair relaxations on ionic conductivity mechanisms and the underlying changes induced by salt concentration ($c$) in organic liquid electrolytes remain poorly understood despite their widespread technological importance. Using molecular dynamics simulations employing nonpolarizable force fields for $c$ ranging between 10$^{-3}$ to 101 M, we show that the low and high $c$ regimes of the EC-LiTFSI electrolytes are distinctly characterized by $\eta\sim\tau_c^{1/2}$ and $\eta\sim\tau_c^{1}$, where $\eta$ and $\tau_c$ are shear viscosity and cation-anion relaxation timescales, respectively. Our extensive simulations and analyses suggest a universal relationship between the ionic conductivity and c as $\sigma(c)\sim c^{\alpha}e^{-c/c_{0}} (\alpha>0)$. The proposed relationship convincingly explains the ionic conductivity over a wide range of $c$, where the term $c^\alpha$ accounts for the uncorrelated motion of ions and $e^{-c/c_0}$ captures the salt-induced changes in shear viscosity. Our simulations suggest vehicular mechanism to be dominant at low $c$ regime which transition into a Grotthuss mechanism at high $c$ regime, where structural relaxation is the dominant form of ion transport mechanism. Our findings shed light on some of the fundamental aspects of the ion conductivity mechanisms in liquid electrolytes, offering insights into optimizing the ion transport in EC-LiTFSI electrolytes.


title: Predictive stability filters for nonlinear dynamical systems affected by disturbances

abstract: Predictive safety filters provide a way of projecting potentially unsafe inputs, proposed, e.g. by a human or learning-based controller, onto the set of inputs that guarantee recursive state and input constraint satisfaction by leveraging model predictive control techniques. In this paper, we extend this framework such that in addition, robust asymptotic stability of the closed-loop system can be guaranteed by enforcing a decrease of an implicit Lyapunov function which is constructed using a predicted system trajectory. Differently from previous results, we show robust asymptotic stability with respect to a predefined disturbance set on an extended state consisting of the system state and a warmstart input sequence. The proposed strategy is applied to an automotive lane keeping example in simulation.


title: Finite-Temperature Hole-Magnon Dynamics in an Antiferromagnet

abstract: Employing the numerically accurate multiple Davydov Ansatz in combination with the thermo-field dynamics approach, we delve into interplay of the finite-temperature dynamics of holes and magnons in an antiferromagnet, which allows for scrutinizing previous predictions from self-consistent Born approximation while offering, for the first time, accurate finite-temperature computation of detailed magnon dynamics as a response and a facilitator to the hole motion. The study also uncovers pronounced temperature dependence of the magnon and hole populations, pointing to the feasibility of potential thermal manipulation and control of hole dynamics. Our methodology can be applied not only to the calculation of steady-state angular-resolved photoemission spectra, but also to the simulation of femtosecond terahertz pump-probe and other nonlinear signals for the characterization of antiferromagnetic materials.


title: How the Advent of Ubiquitous Large Language Models both Stymie and Turbocharge Dynamic Adversarial Question Generation

abstract: Dynamic adversarial question generation, where humans write examples to stump a model, aims to create examples that are realistic and informative. However, the advent of large language models (LLMs) has been a double-edged sword for human authors: more people are interested in seeing and pushing the limits of these models, but because the models are so much stronger an opponent, they are harder to defeat. To understand how these models impact adversarial question writing process, we enrich the writing guidance with LLMs and retrieval models for the authors to reason why their questions are not adversarial. While authors could create interesting, challenging adversarial questions, they sometimes resort to tricks that result in poor questions that are ambiguous, subjective, or confusing not just to a computer but also to humans. To address these issues, we propose new metrics and incentives for eliciting good, challenging questions and present a new dataset of adversarially authored questions.


title: $\pi$- and $K$-meson properties for large $N_f$ and $N_c$

abstract: Dynamical chiral symmetry restoration for higher number of light quark flavors $N_f$ and breaking for higher number of colors $N_c$ implies the suppression and enhancement of the dynamically generated quark mass. The study of various larger values of number of colors and flavors may have greater impact on the internal structure of light hadrons. In this work, we study the properties of the pion and kaon, such as mass, condensate, and leptonic decay constant, for various $N_f$ and $N_c$. We use the symmetry-preserving vector-vector flavor-dependent contact interaction model of quark. The dynamical quark masses are calculated by using the Schwinger-Dyson equation (SDE). The masses of the pion and kaon for different values of $N_f$ and $N_c$ are determined using the homogeneous Bethe-Salpeter equation. For fixed $N_f=2$ and $N_c$ is increased, the dynamically generated quark mass ( mass of up and down quarks), strange quark mass, meson in-condensate, and decay constant, all increases. The pion mass remains approximately constant until $N_c$ reaches around 6.5, after which it grows rapidly. On the other hand, the kaon mass increases slowly with increasing $N_c$ until it reaches approximately $N_c=7.5$, beyond which it rises quickly. When $N_c=3$ is fixed at and various values of $N_f$ are considered, all the parameter values decrease as a function of $N_f$, except for the pion and kaon mass, which increase above a critical value of $N_f$ around $8$. This is the region where chiral symmetry is restored, and the pion and kaon behave as free particles, similar to their behavior in the presence of a heat bath. The results obtained for fixed $N_f=2$ and $N_c=3$ are fairly in decent agreement with experimentally calculated statistics and previous model calculations based on the Schwinger-Dyson equation (SDE) and Bethe-Salpeter equation (BSE).


title: The degree-diameter problem for plane graphs with pentagonal faces

abstract: The degree-diameter problem consists of finding the maximum number of vertices $n$ of a graph with diameter $d$ and maximum degree $\Delta$. This problem is well studied, and has been solved for plane graphs of low diameter in which every face is bounded by a 3-cycle (triangulations), and plane graphs in which every face is bounded by a 4-cycle (quadrangulations). In this paper, we solve the degree diameter problem for plane graphs of diameter 3 in which every face is bounded by a 5-cycle (pentagulations). We prove that if $\Delta \geq 8$, then $n \leq 3\Delta - 1$ for such graphs. This bound is sharp for $\Delta$ odd.


title: Fast and Exact Enumeration of Deep Networks Partitions Regions

abstract: One fruitful formulation of Deep Networks (DNs) enabling their theoretical study and providing practical guidelines to practitioners relies on Piecewise Affine Splines. In that realm, a DN's input-mapping is expressed as per-region affine mapping where those regions are implicitly determined by the model's architecture and form a partition of their input space. That partition -- which is involved in all the results spanned from this line of research -- has so far only been computed on $2/3$-dimensional slices of the DN's input space or estimated by random sampling. In this paper, we provide the first parallel algorithm that does exact enumeration of the DN's partition regions. The proposed algorithm enables one to finally assess the closeness of the commonly employed approximations methods, e.g. based on random sampling of the DN input space. One of our key finding is that if one is only interested in regions with ``large'' volume, then uniform sampling of the space is highly efficient, but that if one is also interested in discovering the ``small'' regions of the partition, then uniform sampling is exponentially costly with the DN's input space dimension. On the other hand, our proposed method has complexity scaling linearly with input dimension and the number of regions.


title: Globally exponentially convergent observer for systems evolving on matrix Lie groups

abstract: We propose a globally exponentially convergent observer for the dynamical system evolving on matrix Lie groups with bounded velocity with unknown bound. We design the observer in the ambient Euclidean space and show exponential convergence of the observer to the state of the system. We show the convergence with an example of a rigid body rotation and translation system on the special Euclidean group. We compare the proposed observer with an observer present in the literature.


title: Probing orbits of stellar mass objects deep in galactic nuclei with quasi-periodic eruptions

abstract: Quasi-periodic eruptions (QPEs) are intense repeating soft X-ray bursts with recurrence times about a few to ten hours from nearby galactic nuclei. The origin of QPEs is still unclear. In this work, we investigated the extreme mass ratio inspiral (EMRI) + accretion disk model, where the disk is formed from a previous tidal disruption event (TDE). In this EMRI+TDE disk model, the QPEs are the result of collisions between a TDE disk and a stellar mass object (a stellar mass black hole or a main sequence star) orbiting around a supermassive black hole (SMBH) in galactic nuclei. If this interpretation is correct, QPEs will be invaluable in probing the orbits of stellar mass objects in the vicinity of SMBHs, and further inferring the formation of EMRIs which are one of the primary targets of spaceborne gravitational wave missions. Taking GSN 069 as an example, we find the EMRI wherein is of low eccentricity ($e<0.1$ at 3-$\sigma$ confidence level) and semi-major axis about $O(10^2)$ gravitational radii of the central SMBH, which is consistent with the prediction of the wet EMRI formation channel, while incompatible with alternatives.


title: Angular velocity and linear acceleration measurement bias estimators for the rigid body system with global exponential convergence

abstract: Rigid body systems usually consider measurements of the pose of the body using onboard cameras/LiDAR systems, that of linear acceleration using an accelerometer and of angular velocity using an IMU. However, the measurements of the linear acceleration and angular velocity are usually biased with an unknown constant or slowly varying bias. We propose a measurement bias estimator for such systems under assumption of boundedness of angular velocity. We also provide continuous estimates to the state of the system, i.e. the pose, linear velocity, and position of the body. These estimates are globally exponentially convergent to the state of the rigid body system. We propose two bias estimators designed with the estimate of the pose in the ambient Euclidean space of the Special Euclidean group and show global exponential convergence of the proposed observers to the state of the system. The first observer assumes knowledge of bounds of the angular velocity, while the second observer uses a Riccati observer to overcome this limitation. We show the convergence with an example of a rigid body rotation and translation system on the special Euclidean group. We show that the observer is able to estimate the bias using data collected from an Intel Realsense camera.


title: Smart Drug-Delivery Systems for Cancer Nanotherapy

abstract: Despite all the advances achieved in the field of tumor-biology research, in most cases conventional therapies including chemotherapy are still the leading choices. The main disadvantage of these treatments, in addition to the low solubility of many antitumor drugs, is their lack of specificity, which explains the frequent occurrence of serious side effects due to nonspecific drug uptake by healthy cells. Progress in nanotechnology and its application in medicine have provided new opportunities and different smart systems. Such systems can improve the intracellular delivery of the drugs due to their multifunctionality and targeting potential. The purpose of this manuscript is to review and analyze the recent progress made in nanotherapy applied to cancer treatment. First, we provide a global overview of cancer and different smart nanoparticles currently used in oncology. Then, we analyze in detail the development of drug-delivery strategies in cancer therapy, focusing mainly on the intravenously administered smart nanoparticles with protein corona to avoid immune-system clearance. Finally, we discuss the challenges, clinical trials, and future directions of the nanoparticle-based therapy in cancer.

categories: q-bio.TO cond-mat.mes-hall physics.app-ph physics.bio-ph


title: Hecke orbits and the Mordell-Lang conjecture in distinguished categories

abstract: Inspired by recent work of Aslanyan and Daw, we introduce the notion of $\Sigma$-orbits in the general framework of distinguished categories. In the setting of connected Shimura varieties, this concept contains many instances of (generalized) Hecke orbits from the literature. In the setting of semiabelian varieties, a $\Sigma$-orbit is a subgroup of finite rank. We show that our $\Sigma$-orbits have useful functorial properties and we use them to formulate two general statements of Mordell-Lang type (a weak one and an apparently stronger one). We prove an analogue of a recent theorem of Aslanyan and Daw in this general setting, which we apply to deduce an unconditional result about unlikely intersections in a fibered power of the Legendre family.


title: Mapping the Field of Algorithm Auditing: A Systematic Literature Review Identifying Research Trends, Linguistic and Geographical Disparities

abstract: The increasing reliance on complex algorithmic systems by online platforms has sparked a growing need for algorithm auditing, a research methodology evaluating these systems' functionality and societal impact. In this paper, we systematically review algorithm auditing studies and identify trends in their methodological approaches, the geographic distribution of authors, and the selection of platforms, languages, geographies, and group-based attributes in the focus of auditing research. We present evidence of a significant skew of research focus toward Western contexts, particularly the US, and a disproportionate reliance on English language data. Additionally, our analysis indicates a tendency in algorithm auditing studies to focus on a narrow set of group-based attributes, often operationalized in simplified ways, which might obscure more nuanced aspects of algorithmic bias and discrimination. By conducting this review, we aim to provide a clearer understanding of the current state of the algorithm auditing field and identify gaps that need to be addressed for a more inclusive and representative research landscape.


title: Triple-Refined Hybrid-Field Beam Training for mmWave Extremely Large-Scale MIMO

abstract: This paper investigates beam training for extremely large-scale multiple-input multiple-output systems. By considering both the near field and far field, a triple-refined hybrid-field beam training scheme is proposed, where high-accuracy estimates of channel parameters are obtained through three steps of progressive beam refinement. First, the hybrid-field beam gain (HFBG)-based first refinement method is developed. Based on the analysis of the HFBG, the first-refinement codebook is designed and the beam training is performed accordingly to narrow down the potential region of the channel path. Then, the maximum likelihood (ML)-based and principle of stationary phase (PSP)-based second refinement methods are developed. By exploiting the measurements of the beam training, the ML is used to estimate the channel parameters. To avoid the high computational complexity of ML, closed-form estimates of the channel parameters are derived according to the PSP. Moreover, the Gaussian approximation (GA)-based third refinement method is developed. The hybrid-field neighboring search is first performed to identify the potential region of the main lobe of the channel steering vector. Afterwards, by applying the GA, a least-squares estimator is developed to obtain the high-accuracy channel parameter estimation. Simulation results verify the effectiveness of the proposed scheme.


title: Machine learning based state observer for discrete time systems evolving on Lie groups

abstract: In this paper, a machine learning based observer for systems evolving on manifolds is designed such that the state of the observer is restricted to the Lie group on which the system evolves. Conventional techniques involving machine learning based observers on systems evolving on Lie groups involve designing charts for the Lie group, training a machine learning based observer for each chart, and switching between the trained models based on the state of the system. We propose a novel deep learning based technique whose predictions are restricted to a measure 0 subset of Euclidean space without using charts. Using this network, we design an observer ensuring that the state of the observer is restricted to the Lie group, and predicting the state using only one trained algorithm. The deep learning network predicts an ``error term'' on the Lie algebra of the Lie group, uses the map from the Lie algebra to the group, and uses the group action and the present state to estimate the state at the next epoch. This model being purely data driven does not require the model of the system. The proposed algorithm provides a novel framework for constraining the output of machine learning networks to a measure 0 subset of a Euclidean space without chart specific training and without requiring switching. We show the validity of this method using Monte Carlo simulations performed of the rigid body rotation and translation system.


title: Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions

abstract: Mixed-choice has long been barred from models of asynchronous communication since it compromises the decidability of key properties of communicating finite-state machines. Session types inherit this restriction, which precludes them from fully modelling timeouts -- a core property of web and cloud services. To address this deficiency, we present (binary) Timeout Asynchronous Session Types ({TOAST}) as an extension to (binary) asynchronous timed session types, that permits mixed-choice. {TOAST} deploys timing constraints to regulate the use of mixed-choice so as to preserve communication safety. We provide a new behavioural semantics for {TOAST} which guarantees progress in the presence of mixed-choice. Building upon {TOAST}, we provide a calculus featuring process timers which is capable of modelling timeouts using a $\mathtt{receive\text{-}after}$ pattern, much like Erlang, and capture the correspondence with TOAST specifications via a type system for which we prove subject reduction.


title: A Deep Learning Approach for Selective Relevance Feedback

abstract: Pseudo-relevance feedback (PRF) can enhance average retrieval effectiveness over a sufficiently large number of queries. However, PRF often introduces a drift into the original information need, thus hurting the retrieval effectiveness of several queries. While a selective application of PRF can potentially alleviate this issue, previous approaches have largely relied on unsupervised or feature-based learning to determine whether a query should be expanded. In contrast, we revisit the problem of selective PRF from a deep learning perspective, presenting a model that is entirely data-driven and trained in an end-to-end manner. The proposed model leverages a transformer-based bi-encoder architecture. Additionally, to further improve retrieval effectiveness with this selective PRF approach, we make use of the model's confidence estimates to combine the information from the original and expanded queries. In our experiments, we apply this selective feedback on a number of different combinations of ranking and feedback models, and show that our proposed approach consistently improves retrieval effectiveness for both sparse and dense ranking models, with the feedback models being either sparse, dense or generative.


title: Projected Belief Networks With Discriminative Alignment for Acoustic Event Classification: Rivaling State of the Art CNNs

abstract: The projected belief network (PBN) is a generative stochastic network with tractable likelihood function based on a feed-forward neural network (FFNN). The generative function operates by "backing up" through the FFNN. The PBN is two networks in one, a FFNN that operates in the forward direction, and a generative network that operates in the backward direction. Both networks co-exist based on the same parameter set, have their own cost functions, and can be separately or jointly trained. The PBN therefore has the potential to possess the best qualities of both discriminative and generative classifiers. To realize this potential, a separate PBN is trained on each class, maximizing the generative likelihood function for the given class, while minimizing the discriminative cost for the FFNN against "all other classes". This technique, called discriminative alignment (PBN-DA), aligns the contours of the likelihood function to the decision boundaries and attains vastly improved classification performance, rivaling that of state of the art discriminative networks. The method may be further improved using a hidden Markov model (HMM) as a component of the PBN, called PBN-DA-HMM. This paper provides a comprehensive treatment of PBN, PBN-DA, and PBN-DA-HMM. In addition, the results of two new classification experiments are provided. The first experiment uses air-acoustic events, and the second uses underwater acoustic data consisting of marine mammal calls. In both experiments, PBN-DA-HMM attains comparable or better performance as a state of the art CNN, and attain a factor of two error reduction when combined with the CNN.


title: Transversally exponentially stable Euclidean space extension technique for discrete time systems

abstract: We propose a modification technique for discrete time systems for exponentially fast convergence to compact sets. The extension technique allows us to use tools defined on Euclidean spaces to systems evolving on manifolds by modifying the dynamics of the system such that the manifold is an attractor set. We show the stability properties of this technique using the simulation of the rigid body rotation system on the unit sphere $S^3$. We also show the improvement afforded due to this technique on a Luenberger like observer designed for the rigid body rotation system on $S^3$.


title: Navigating the Thin Line: Examining User Behavior in Search to Detect Engagement and Backfire Effects

abstract: Opinionated users often seek information that aligns with their preexisting beliefs while dismissing contradictory evidence due to confirmation bias. This conduct hinders their ability to consider alternative stances when searching the web. Despite this, few studies have analyzed how the diversification of search results on disputed topics influences the search behavior of highly opinionated users. To this end, we present a preregistered user study (n = 257) investigating whether different levels (low and high) of bias metrics and search results presentation (with or without AI-predicted stances labels) can affect the stance diversity consumption and search behavior of opinionated users on three debated topics (i.e., atheism, intellectual property rights, and school uniforms). Our results show that exposing participants to (counter-attitudinally) biased search results increases their consumption of attitude-opposing content, but we also found that bias was associated with a trend toward overall fewer interactions within the search page. We also found that 19% of users interacted with queries and search pages but did not select any search results. When we removed these participants in a post-hoc analysis, we found that stance labels increased the diversity of stances consumed by users, particularly when the search results were biased. Our findings highlight the need for future research to explore distinct search scenario settings to gain insight into opinionated users' behavior.


title: PartIR: Composing SPMD Partitioning Strategies for Machine Learning

abstract: Training of modern large neural networks (NN) requires a combination of parallelization strategies encompassing data, model, or optimizer sharding. When strategies increase in complexity, it becomes necessary for partitioning tools to be 1) expressive, allowing the composition of simpler strategies, and 2) predictable to estimate performance analytically. We present PartIR, our design for a NN partitioning system. PartIR is focused on an incremental approach to rewriting and is hardware-and-runtime agnostic. We present a simple but powerful API for composing sharding strategies and a simulator to validate them. The process is driven by high-level programmer-issued partitioning tactics, which can be both manual and automatic. Importantly, the tactics are specified separately from the model code, making them easy to change. We evaluate PartIR on several different models to demonstrate its predictability, expressibility, and ability to reach peak performance..


title: Obstacle-Aware Navigation of Soft Growing Robots via Deep Reinforcement Learning

abstract: Soft growing robots, are a type of robots that are designed to move and adapt to their environment in a similar way to how plants grow and move with potential applications where they could be used to navigate through tight spaces, dangerous terrain, and hard-to-reach areas. This research explores the application of deep reinforcement Q-learning algorithm for facilitating the navigation of the soft growing robots in cluttered environments. The proposed algorithm utilizes the flexibility of the soft robot to adapt and incorporate the interaction between the robot and the environment into the decision-making process. Results from simulations show that the proposed algorithm improves the soft robot's ability to navigate effectively and efficiently in confined spaces. This study presents a promising approach to addressing the challenges faced by growing robots in particular and soft robots general in planning obstacle-aware paths in real-world scenarios.


title: Towards Category Unification of 3D Single Object Tracking on Point Clouds

abstract: Category-specific models are provenly valuable methods in 3D single object tracking (SOT) regardless of Siamese or motion-centric paradigms. However, such over-specialized model designs incur redundant parameters, thus limiting the broader applicability of 3D SOT task. This paper first introduces unified models that can simultaneously track objects across all categories using a single network with shared model parameters. Specifically, we propose to explicitly encode distinct attributes associated to different object categories, enabling the model to adapt to cross-category data. We find that the attribute variances of point cloud objects primarily occur from the varying size and shape (e.g., large and square vehicles v.s. small and slender humans). Based on this observation, we design a novel point set representation learning network inheriting transformer architecture, termed AdaFormer, which adaptively encodes the dynamically varying shape and size information from cross-category data in a unified manner. We further incorporate the size and shape prior derived from the known template targets into the model's inputs and learning objective, facilitating the learning of unified representation. Equipped with such designs, we construct two category-unified models SiamCUT and MoCUT.Extensive experiments demonstrate that SiamCUT and MoCUT exhibit strong generalization and training stability. Furthermore, our category-unified models outperform the category-specific counterparts by a significant margin (e.g., on KITTI dataset, 12% and 3% performance gains on the Siamese and motion paradigms). Our code will be available.


title: Joint Beamforming Optimization and Mode Selection for RDARS-aided MIMO Systems

abstract: Considering the appealing distribution gains of distributed antenna systems (DAS) and passive gains of reconfigurable intelligent surface (RIS), a flexible reconfigurable architecture called reconfigurable distributed antenna and reflecting surface (RDARS) is proposed. RDARS encompasses DAS and RIS as two special cases and maintains the advantages of distributed antennas while reducing the hardware cost by replacing some active antennas with low-cost passive reflecting surfaces. In this paper, we present a RDARS-aided uplink multi-user communication system and investigate the system transmission reliability with the newly proposed architecture. Specifically, in addition to the distribution gain and the reflection gain provided by the connection and reflection modes, respectively, we also consider the dynamic mode switching of each element which introduces an additional degree of freedom (DoF) and thus results in a selection gain. As such, we aim to minimize the total sum mean-square-error (MSE) of all data streams by jointly optimizing the receive beamforming matrix, the reflection phase shifts and the channel-aware placement of elements in the connection mode. To tackle this nonconvex problem with intractable binary and cardinality constraints, we propose an inexact block coordinate descent (BCD) based penalty dual decomposition (PDD) algorithm with the guaranteed convergence. Since the PDD algorithm usually suffers from high computational complexity, a low-complexity greedy-search-based alternating optimization (AO) algorithm is developed to yield a semi-closed-form solution with acceptable performance. Numerical results demonstrate the superiority of the proposed architecture compared to the conventional fully passive RIS or DAS. Furthermore, some insights about the practical implementation of RDARS are provided.


title: InferAligner: Inference-Time Alignment for Harmlessness through Cross-Model Guidance

abstract: With the rapid development of large language models (LLMs), they are not only used as general-purpose AI assistants but are also customized through further fine-tuning to meet the requirements of different applications. A pivotal factor in the success of current LLMs is the alignment process. Current alignment methods, such as supervised fine-tuning (SFT) and reinforcement learning from human feedback (RLHF), focus on training-time alignment and are often complex and cumbersome to implement. Therefore, we develop \textbf{InferAligner}, a novel inference-time alignment method that utilizes cross-model guidance for harmlessness alignment. InferAligner utilizes safety steering vectors extracted from safety-aligned model to modify the activations of the target model when responding to harmful inputs, thereby guiding the target model to provide harmless responses. Experimental results show that our method can be very effectively applied to domain-specific models in finance, medicine, and mathematics, as well as to multimodal large language models (MLLMs) such as LLaVA. It significantly diminishes the Attack Success Rate (ASR) of both harmful instructions and jailbreak attacks, while maintaining almost unchanged performance in downstream tasks.


title: Unfair TOS: An Automated Approach using Customized BERT

abstract: Terms of Service (ToS) form an integral part of any agreement as it defines the legal relationship between a service provider and an end-user. Not only do they establish and delineate reciprocal rights and responsibilities, but they also provide users with information on essential aspects of contracts that pertain to the use of digital spaces. These aspects include a wide range of topics, including limitation of liability, data protection, etc. Users tend to accept the ToS without going through it before using any application or service. Such ignorance puts them in a potentially weaker situation in case any action is required. Existing methodologies for the detection or classification of unfair clauses are however obsolete and show modest performance. In this research paper, we present SOTA(State of The Art) results on unfair clause detection from ToS documents based on unprecedented custom BERT Fine-tuning in conjunction with SVC(Support Vector Classifier). The study shows proficient performance with a macro F1-score of 0.922 at unfair clause detection, and superior performance is also shown in the classification of unfair clauses by each tag. Further, a comparative analysis is performed by answering research questions on the Transformer models utilized. In order to further research and experimentation the code and results are made available on https://github.com/batking24/Unfair-TOS-An-Automated-Approach-based-on-Fine-tuning-BERT-in-conjunction-with-ML.


title: On cubic polynomials with the cyclic Galois group

abstract: A cubic Galois polynomial is a cubic polynomial with rational coefficients that defines a cubic Galois field. Its discriminant is a full square and its roots $x_1,x_2,x_3$ (enumerated in some order) are real. There exists (and only one) quadratic polynomial $q$ with rational coefficients such that $q(x_1)=x_2, q(x_2)=x_3, q(x_3)=x_1$. The polynomial $r=q(q)\text{ mod } p$ cyclically permutes roots of $p$ in the opposite order: $r(x_1)=x_3, r(x_3)=x_2, r(x_2)=x_1$. We prove that there exist a unique Galois polynomial $p_1$ and a unique Galois polynomial $p_2$ such that the polynomial $q$ cyclically permutes roots of $p_1$ and the polynomial $r$ do the same with roots of $p_2$. Polynomials $p$ and $p_1$ (and also $p$ and $p_2$) will be called \emph{coupled}. Two polynomials are \emph{linear equivalent}, if one of them is obtained from another by a linear change of variable. By $C(p)$ we denote the class of polynomials, linear equivalent to $p$. The coupling realizes a bijection between classes $C(p)$ and $C(p_1)$ (and between classes $C(p)$ and $C(p_2)$). Classes $C(p)$ and $C(p_1)$ (and classes $C(p)$ and $C(p_2)$) will be called \emph{adjacent}. We consider a graph: its vertices -- are classes of the linear equivalency and two vertices are connected by an edge, if the corresponded classes are adjacent. Connected components of this graph will be called \emph{superclasses}. In this work we give a description of superclasses.


title: A review on the Vortex and Coherent Structures in Dusty Plasma Medium

abstract: Dusty plasma which is nothing but an admixture of electrons, ions and massive charged solid particles of sub-micron to micron sized in the background of neutrals. The dust grain medium exhibits fluid as well as solid-like characteristics depending on the background medium conditions. It supports various self-sustained non-linear dynamical structures as a result of the saturation of instabilities. The vortical or vortex structure in the dusty plasma medium is one of self-sustained dynamical structures that are formed either by internal instabilities or external perturbation. In this review report, the author discusses the theoretical, experimental, and computational research works on vortical and coherent structures in unmagnetized as well as in magnetized dusty plasma. The sources of vortex formation such as obstacle, ion drag shear, dust charge gradient, RT and K-H instabilities are pointed out in detail. The studies on the evolution of vortices by researchers are also discussed.

categories: physics.plasm-ph astro-ph.GA nlin.PS physics.flu-dyn


title: Explicit $K_2$ of some quotient rings of $\mathbb{Z}[G]$, $G$ an elementary abelian $p$-group

abstract: Let $G$ be an elementary abelian $p$-group. We calculate $K_2(\mathbb{Z}[G]/I)$ for certain ideals $I \subseteq \mathbb{Z}[G]$ of the finite $p$-power index through computations of Dennis-Stein symbols. As an application, for $p$ an odd prime, we give a complete description of the relative group $SK_1(\mathbb{Z}[G],p^k\mathbb{Z}[G])$ and obtain more precise lower bounds of the prank of $K_2(\mathbb{Z}[G])$ and $Wh_2(G)$.


title: Squeezed correlations of bosons with nonzero widths for expanding sources

abstract: We explore the squeezed back-to-back correlation (SBBC) and investigate how the squeezing effect influences the Hanbury Brown-Twiss (HBT) interferometry using an expanding Gaussian source with non-zero width. The SBBC and HBT of $D^0$ and $\phi$ mesons with finite in-medium widths are studied. The expanding flow of the source may enhance the SBBC strength of $D^0{\bar D}^0$ and $\phi\phi$ in the low momentum region but suppress the SBBC in the larger momentum region. The squeezing effect suppresses the influence of flow on the HBT radii, which is significant for two identical bosons with large pair momentum or with large mass. Due to the squeezing effect, the relationship between the HBT radii and the pair momentum exhibits non-flow behavior for $D^0D^0$ pair. Likewise, non-flow behavior also appears in the HBT radii of $\phi\phi$ with large pair momentum. This phenomenon may bring new insights for studying the squeezing effect.


title: Programming Distributed Collective Processes in the eXchange Calculus

abstract: Recent trends like the Internet of Things (IoT) suggest a vision of dense and multi-scale deployments of computing devices in nearly all kinds of environments. A prominent engineering challenge revolves around programming the collective adaptive behaviour of such computational ecosystems. This requires abstractions able to capture concepts like ensembles (dynamic groups of cooperating devices) and collective tasks (joint activities carried out by ensembles). In this work, we consider collections of devices interacting with neighbours and that execute in nearly-synchronised sense-compute-interact rounds, where the computation is given by a single program mapping sensing values and incoming messages to output and outcoming messages. To support programming whole computational collectives, we propose the abstraction of a distributed collective process, which can be used to define at once the ensemble formation logic and its collective task. We formalise the abstraction in the eXchange Calculus (XC), a core functional language based on neighbouring values (maps from neighbours to values) where state and interaction is handled through a single primitive, exchange, and provide a corresponding implementation in the FCPP language. Then, we exercise distributed collective processes using two case studies: multi-hop message propagation and distributed monitoring of spatial properties. Finally, we discuss the features of the abstraction and its suitability for different kinds of distributed computing applications.


title: Bessel kernel determinants and integrable equations

abstract: We derive differential equations for multiplicative statistics of the Bessel determinantal point process depending on two parameters. In particular, we prove that such statistics are solutions to an integrable nonlinear partial differential equation describing isospectral deformations of a Sturm--Liouville equation. We also derive identities relating solutions to the integrable partial differential equation and to the Sturm--Liouville equation which imply an analogue for Painlev\'e V of Amir--Corwin--Quastel ``integro-differential Painlev\'e II equation''. This equation reduces, in a degenerate limit, to the system of coupled Painlev\'e V equations derived by Charlier and Doeraene for the generating function of the Bessel process, and to the Painlev\'e V equation derived by Tracy and Widom for the gap probability of the Bessel process. Finally, we study an initial value problem for the integrable partial differential equation. The approach is based on Its--Izergin--Korepin--Slavnov theory of integrable operators and their associated Riemann--Hilbert problems.


title: 3D Receiver for Molecular Communications in Internet of Organoids

abstract: Organoids have garnered attention due to their effectiveness in modeling the 3D structure of organ interactions. However, the communication engineering perspective has received relatively little attention. One way to achieve organoids communication is molecular communication (MC). Molecular communication is a bio-inspired communication paradigm that uses molecules as information carriers. It is considered one of the most promising methods for enabling the Internet of Nano-Things (IoNT) and nanonetworks. BioFETs are commonly used to implement practical MC receivers. However, most previous analyses have focused on a planar device, neglecting considerations like the threshold voltage and its potential 3D structure. This paper introduces the first FinFET-based MC receiver that covers both the top and side gates with receptors. Both binding noise and flicker noise are considered in the analysis. The performance, in terms of signal-to-noise ratio (SNR) and symbol error probability (SEP), is compared with that of the 2D receiver.


title: Selecting Walk Schemes for Database Embedding

abstract: Machinery for data analysis often requires a numeric representation of the input. Towards that, a common practice is to embed components of structured data into a high-dimensional vector space. We study the embedding of the tuples of a relational database, where existing techniques are often based on optimization tasks over a collection of random walks from the database. The focus of this paper is on the recent FoRWaRD algorithm that is designed for dynamic databases, where walks are sampled by following foreign keys between tuples. Importantly, different walks have different schemas, or "walk schemes", that are derived by listing the relations and attributes along the walk. Also importantly, different walk schemes describe relationships of different natures in the database. We show that by focusing on a few informative walk schemes, we can obtain tuple embedding significantly faster, while retaining the quality. We define the problem of scheme selection for tuple embedding, devise several approaches and strategies for scheme selection, and conduct a thorough empirical study of the performance over a collection of downstream tasks. Our results confirm that with effective strategies for scheme selection, we can obtain high-quality embeddings considerably (e.g., three times) faster, preserve the extensibility to newly inserted tuples, and even achieve an increase in the precision of some tasks.


title: Frustrations in the ground state of a dilute Ising chain in a magnetic field

abstract: The properties of the ground state of one of the simplest models of frustrated magnetic systems, a dilute Ising chain in a magnetic field, are considered for all values of the concentration of charged non-magnetic impurities. An analytical method is proposed for calculating the residual entropy of frustrated states, including states at the boundaries between the phases of the ground state, which is based on the Markov property of the system under consideration and allows direct generalization to other one-dimensional spin models with Ising-type interactions. The properties of local distributions and concentration dependences of the composition, correlation functions, magnetization and entropy of the phases of the ground state of the model are investigated. It is shown that the field-induced transition from the antiferromagnetic ground state to the frustrated one is accompanied by charge ordering and the absence of pseudo-transitions in the dilute Ising chain is proved.


title: A Hybrid Approach of Transfer Learning and Physics-Informed Modeling: Improving Dissolved Oxygen Concentration Prediction in an Industrial Wastewater Treatment Plant

abstract: Constructing first principles models is a challenging task for nonlinear and complex systems such as a wastewater treatment unit. In recent years, data-driven models are widely used to overcome the complexity. However, they often suffer from issues such as missing, low quality or noisy data. Transfer learning is a solution for this issue where knowledge from another task is transferred to target one to increase the prediction performance. In this work, the objective is increasing the prediction performance of an industrial wastewater treatment plant by transferring the knowledge of (i) an open-source simulation model that captures the underlying physics of the process, albeit with dissimilarities to the target plant, (ii) another industrial plant characterized by noisy and limited data but located in the same refinery, and (iii) the model in (ii) and making the objective function of the training problem physics informed where the physics information derived from the open-source model in (ii). The results have shown that test and validation performance are improved up to 27% and 59%, respectively.


title: End-to-End Argument Mining over Varying Rhetorical Structures

abstract: Rhetorical Structure Theory implies no single discourse interpretation of a text, and the limitations of RST parsers further exacerbate inconsistent parsing of similar structures. Therefore, it is important to take into account that the same argumentative structure can be found in semantically similar texts with varying rhetorical structures. In this work, the differences between paraphrases within the same argument scheme are evaluated from a rhetorical perspective. The study proposes a deep dependency parsing model to assess the connection between rhetorical and argument structures. The model utilizes rhetorical relations; RST structures of paraphrases serve as training data augmentations. The method allows for end-to-end argumentation analysis using a rhetorical tree instead of a word sequence. It is evaluated on the bilingual Microtexts corpus, and the first results on fully-fledged argument parsing for the Russian version of the corpus are reported. The results suggest that argument mining can benefit from multiple variants of discourse structure.


title: On the Information Leakage Performance of Secure Finite Blocklength Transmissions over Rayleigh Fading Channels

abstract: This paper presents a secrecy performance study of a wiretap communication system with finite blocklength (FBL) transmissions over Rayleigh fading channels, based on the definition of an average information leakage (AIL) metric. We evaluate the exact and closed-form approximate AIL performance, assuming that only statistical channel state information (CSI) of the eavesdropping link is available. Then, we reveal an inherent statistical relationship between the AIL metric in the FBL regime and the commonly-used secrecy outage probability in conventional infinite blocklength communications. Aiming to improve the secure communication performance of the considered system, we formulate a blocklength optimization problem and solve it via a low-complexity approach. Next, we present numerical results to verify our analytical findings and provide various important insights into the impacts of system parameters on the AIL. Specifically, our results indicate that i) compromising a small amount of AIL can lead to significant reliability improvements, and ii) the AIL experiences a secrecy floor in the high signal-to-noise ratio regime.


title: Mass Superinflation from Enhanced Cauchy Horizon Singularity in a Reissner-Nordstr\"om Black Hole

abstract: Ever since Penrose and Simpson contradicted Novikov's prediction that an infalling passenger would emerge into an asymptotically flat universe, there have been a continued interest in predicting the nature of singularity at the Cauchy horizon of a Reissner-Nordstrom blackhole. This prediction was first confirmed by Poisson and Israel using cross-stream of massless particles, suggesting the phenomenon of mass inflation. Ori however obtained a weaker singularity using a null shell of radiation. In this work, we consider a massive scalar field coupled to the Reissner-Nordstrom geometry and analyze the nature of singularity at the Cauchy horizon. To study the asymptotic behavior of the mass function and the scalar field near the Cauchy horizon, we perturbatively solve the coupled dynamical equations emplyoing the Adomian decomposition method. Our analysis shows that the mass function exhibits a very rapid and unbounded double-exponential growth, called herein mass superinflation, which is enormously stronger than previously obtained singularities. The scalar field is also found to undergo a very strong blueshift near the Cauchy horizon.


title: Effect of cosmic rays and ionizing radiation on observational ultraviolet plasma diagnostics in the circumgalactic medium

abstract: The relevance of some galactic feedback mechanisms, in particular cosmic ray feedback and the hydrogen ionizing radiation field, has been challenging to definitively describe in a galactic context, especially far outside the galaxy in the circumgalactic medium (CGM). Theoretical and observational uncertainties prevent conclusive interpretations of multiphase CGM properties derived from ultraviolet (UV) diagnostics. We conduct three dimensional magnetohydrodynamic simulations of a section of a galactic disk with star formation and feedback, including radiative heating from stars, a UV background, and cosmic ray feedback. We utilize the temperature phases present in our simulations to generate Cloudy models to derive spatially and temporally varying synthetic UV diagnostics. We find that radiative effects without additional heating mechanisms are not able to produce synthetic diagnostics in the observed ranges. For low cosmic ray diffusivity $\kappa_{\rm{cr}}=10^{28} \rm{cm}^2 \rm{s}^{-1}$, cosmic ray streaming heating in the outflow helps our synthetic line ratios roughly match observed ranges by producing transitional temperature gas ($T \sim 10^{5-6}$ K). High cosmic ray diffusivity $\kappa_{\rm{cr}}=10^{29} \rm{cm}^2 \rm{s}^{-1}$, with or without cosmic ray streaming heating, produced transitional temperature gas. The key parameter controlling the production of this gas phase remains unclear, as the different star formation history and outflow evolution itself influences these diagnostics. Our work demonstrates the use of UV plasma diagnostics to differentiate between galactic/circumgalactic feedback models.


title: Electric-field-enhanced second-harmonic domain contrast and nonreciprocity in a van der Waals antiferromagnet

abstract: Imaging antiferromagnetic 180{\deg} domains with actively controlled visibility is vital for both fundamental science and sophisticated applications. While optical second-harmonic generation (SHG) is a well-known technique for distinguishing such domains in non-centrosymmetric antiferromagnets, a general material-based strategy to control domain contrast remains elusive. Using van der Waals antiferromagnet MnPS$_3$ as a proof of concept, we demonstrate the tuning of nonreciprocity-induced domain contrast in SHG through applying an in-plane electric field that transforms the magnetic point group to its unitary subgroup. The interference among intrinsic electric-dipole, magnetic-dipole, and field-induced electric-dipole transitions, each carrying distinct characters under space-inversion ($\mathcal{P}$) and time-reversal ($\mathcal{T}$) operations, enables large tuning of domain contrast and nonreciprocity in a broad spectral range. This strategy, generically applicable to systems characterized by $\mathcal{PT}$-symmetric magnetic groups with a polar unitary subgroup, offers a path to fast electrical modulation of nonlinear nonreciprocal photonic behaviors using antiferromagnets.


title: Holographic dictionary from bulk reduction

abstract: We propose a holographic dictionary which comes from reducing the bulk theories in an asymptotically flat spacetime to its null infinity. A general boundary theory is characterized by a fundamental field, an infinite tower of descendant fields, constraints among the fundamental field and its descendants as well as a symplectic form. For the Carrollian diffeomorphisms, we can construct the corresponding Hamiltonians which are also the fluxes from the bulk, and whose quantum operators realize this algebra with a divergent central charge. This central charge reflects the propagating degrees of freedom and can be regularized. For the spinning theory, we need a helicity flux operator to close the algebra which relates to the duality transformation.


title: Susceptibility of Adversarial Attack on Medical Image Segmentation Models

abstract: The nature of deep neural networks has given rise to a variety of attacks, but little work has been done to address the effect of adversarial attacks on segmentation models trained on MRI datasets. In light of the grave consequences that such attacks could cause, we explore four models from the U-Net family and examine their responses to the Fast Gradient Sign Method (FGSM) attack. We conduct FGSM attacks on each of them and experiment with various schemes to conduct the attacks. In this paper, we find that medical imaging segmentation models are indeed vulnerable to adversarial attacks and that there is a negligible correlation between parameter size and adversarial attack success. Furthermore, we show that using a different loss function than the one used for training yields higher adversarial attack success, contrary to what the FGSM authors suggested. In future efforts, we will conduct the experiments detailed in this paper with more segmentation models and different attacks. We will also attempt to find ways to counteract the attacks by using model ensembles or special data augmentations. Our code is available at https://github.com/ZhongxuanWang/adv_attk


title: Protecting Personalized Trajectory with Differential Privacy under Temporal Correlations

abstract: Location-based services (LBSs) in vehicular ad hoc networks (VANETs) offer users numerous conveniences. However, the extensive use of LBSs raises concerns about the privacy of users' trajectories, as adversaries can exploit temporal correlations between different locations to extract personal information. Additionally, users have varying privacy requirements depending on the time and location. To address these issues, this paper proposes a personalized trajectory privacy protection mechanism (PTPPM). This mechanism first uses the temporal correlation between trajectory locations to determine the possible location set for each time instant. We identify a protection location set (PLS) for each location by employing the Hilbert curve-based minimum distance search algorithm. This approach incorporates the complementary features of geo-indistinguishability and distortion privacy. We put forth a novel Permute-and-Flip mechanism for location perturbation, which maps its initial application in data publishing privacy protection to a location perturbation mechanism. This mechanism generates fake locations with smaller perturbation distances while improving the balance between privacy and quality of service (QoS). Simulation results show that our mechanism outperforms the benchmark by providing enhanced privacy protection while meeting user's QoS requirements.


title: Reconstructing modified and alternative theories of gravity

abstract: A viable radiation dominated era in the early universe is best described by the standard (FLRW) model of cosmology. In this short review, we demonstrate reconstruction of the forms of F(R) in the modified theory of gravity and the metric compatible F(T) together with the symmetric F(Q) in alternative teleparallel theories of gravity, from different perspectives, primarily rendering emphasis on a viable FLRW radiation era. Inflation has also been studied for a particular choice of the scalar potential. The inflationary parameters are found to agree appreciably with the recently released observational data.


title: Motifs: un tour d'horizon

abstract: This text was published in the Gazette de la Soci\'et\'e Math\'ematique de France in October 2023. It is an introduction to the theory of motives, from its sources to its more modern developments.


title: Unifying Visual and Vision-Language Tracking via Contrastive Learning

abstract: Single object tracking aims to locate the target object in a video sequence according to the state specified by different modal references, including the initial bounding box (BBOX), natural language (NL), or both (NL+BBOX). Due to the gap between different modalities, most existing trackers are designed for single or partial of these reference settings and overspecialize on the specific modality. Differently, we present a unified tracker called UVLTrack, which can simultaneously handle all three reference settings (BBOX, NL, NL+BBOX) with the same parameters. The proposed UVLTrack enjoys several merits. First, we design a modality-unified feature extractor for joint visual and language feature learning and propose a multi-modal contrastive loss to align the visual and language features into a unified semantic space. Second, a modality-adaptive box head is proposed, which makes full use of the target reference to mine ever-changing scenario features dynamically from video contexts and distinguish the target in a contrastive way, enabling robust performance in different reference settings. Extensive experimental results demonstrate that UVLTrack achieves promising performance on seven visual tracking datasets, three vision-language tracking datasets, and three visual grounding datasets. Codes and models will be open-sourced at https://github.com/OpenSpaceAI/UVLTrack.


title: Estimation with Pairwise Observations

abstract: The paper introduces a new estimation method for the standard linear regression model. The procedure is not driven by the optimisation of any objective function rather, it is a simple weighted average of slopes from observation pairs. The paper shows that such estimator is consistent for carefully selected weights. Other properties, such as asymptotic distributions, have also been derived to facilitate valid statistical inference. Unlike traditional methods, such as Least Squares and Maximum Likelihood, among others, the estimated residual of this estimator is not by construction orthogonal to the explanatory variables of the model. This property allows a wide range of practical applications, such as the testing of endogeneity, i.e., the correlation between the explanatory variables and the disturbance terms.


title: Gevrey well-posedness of quasi-linear hyperbolic Prandtl equations

abstract: We study the hyperbolic version of the Prandtl system derived from the hyperbolic Navier-Stokes system with no-slip boundary condition. Compared to the classical Prandtl system, the quasi-linear terms in the hyperbolic Prandtl equation leads to an additional instability mechanism. To overcome the loss of derivatives in all directions in the quasi-linear term, we introduce a new auxiliary function for the well-posedness of the system in an anisotropic Gevrey space which is Gevrey class $\frac 32$ in the tangential variable and is analytic in the normal variable.


title: Two-Insertion/Deletion/Substitution Correcting Codes

abstract: In recent years, the emergence of DNA storage systems has led to a widespread focus on the research of codes correcting insertions, deletions, and classic substitutions. During the initial investigation, Levenshtein discovered the VT codes are precisely capable of correcting single insertion/deletion and then extended the VT construction to single-insertion/deletion/substitution ($1$-ins/del/sub) correcting codes. Inspired by this, we generalize the recent findings of $1$-del $1$-sub correcting codes with redundancy $6\log_{2}n+O(1)$ to more general $2$-ins/del/sub correcting codes without increasing the redundancy. Our key technique is to apply higher-order VT syndromes to distinct objects and accomplish a systematic classification of all error patterns.


title: Collaborative consumption for low and high trust requiring business models: from fare sharing to supporting the elderly and people with disability

abstract: This paper offers an overview of collaborative consumption (CC), the related business models (BM), the value added (VA) from the consumer's perspective and the role of trust. CC is expanding but it is unclear what opportunities it offers and what the challenges will be. This research evaluates the current CC BMs and identifies 13 ways they add value from the consumer's perspective. This research further explores whether CC BMs fall into two categories in terms of what the consumer values. In the first category, the CC BMs require a low level of trust while in the second category of CC BMs a higher level of trust is necessary. It was found that 13 VA by CC BMs could be grouped into personal interest, communal interest and trust building. It is important for organisations to acknowledge how their CC BM relates to these dimensions.


title: A versatile apparatus for simultaneous trapping of multiple species of ultracold atoms and ions to enable studies of low energy collisions and cold chemistry

abstract: We describe an apparatus where many species of ultracold atoms can be simultaneously trapped and overlapped with many species of ions in a Paul trap. Several design innovations are made to increase the versatility of the apparatus while keeping the size and cost reasonable. We demonstrate the operation of a 3-dimensional (3D) magneto-optical trap (MOT) of $^7$Li using a single external cavity diode laser. The $^7$Li MOT is loaded from an atomic beam, with atoms slowed using a Zeeman slower designed to work simultaneously for Li and Sr. The operation of a 3D MOT of $^{133}$Cs, loaded from a 2D MOT, is demonstrated and provisions for MOTs of Rb and K in the same vacuum manifold exist. We demonstrate the trapping of $^7$Li$^+$ and $^{133}$Cs$^+$ at different settings of the Paul trap and their detection using an integrated time-of-flight mass spectrometer. We present results on low energy neutral-neutral collisions ($^{133}$Cs-$^{133}$Cs, $^7$Li-$^7$Li and $^{133}$Cs-$^7$Li collisions) and charge-neutral collisions ($^{133}$Cs$^+$-$^{133}$Cs and $^7$Li$^+$-$^7$Li collisions). We show evidence of sympathetic cooling of $^7$Li$^+$ ($^{133}$Cs$^+$) due to collisions with the ultracold $^7$Li ($^{133}$Cs).

categories: physics.atom-ph cond-mat.quant-gas physics.chem-ph physics.optics


title: Multi-objective optimization for targeted self-assembly among competing polymorphs

abstract: While inverse approaches for designing crystalline materials typically focus on the thermodynamic stability of a target polymorph, the outcome of a self-assembly process is often controlled by kinetic pathways. A prototypical example is the design of an isotropic pair potential to guide the self-assembly of a two-dimensional honeycomb lattice, which is a challenging problem due to the existence of competing crystal polymorphs. Here we present a machine-learning-guided approach to explore potentials that maximize both the thermodynamic stability and kinetic accessibility of the honeycomb polymorph. Optimal pair potentials exist along a Pareto front, indicating a trade-off between these objectives. We show that this trade-off is density-dependent and arises from a competition between crystal polymorphs: Kinetically optimal potentials that favor the honeycomb polymorph on short timescales tend to stabilize a triangular polymorph at long times. Finally, we explore the fundamental limits of optimization algorithms based on ensembles of short trajectories, which can find potentials close to the kinetically optimal region of the Pareto Front. Our work reveals fundamental trade-offs between crystallization speed and accuracy in the presence of competing polymorphs and suggests guiding principles for the development of materials design algorithms that optimize for kinetic accessibility.


title: TreeMIL: A Multi-instance Learning Framework for Time Series Anomaly Detection with Inexact Supervision

abstract: Time series anomaly detection (TSAD) plays a vital role in various domains such as healthcare, networks, and industry. Considering labels are crucial for detection but difficult to obtain, we turn to TSAD with inexact supervision: only series-level labels are provided during the training phase, while point-level anomalies are predicted during the testing phase. Previous works follow a traditional multi-instance learning (MIL) approach, which focuses on encouraging high anomaly scores at individual time steps. However, time series anomalies are not only limited to individual point anomalies, they can also be collective anomalies, typically exhibiting abnormal patterns over subsequences. To address the challenge of collective anomalies, in this paper, we propose a tree-based MIL framework (TreeMIL). We first adopt an N-ary tree structure to divide the entire series into multiple nodes, where nodes at different levels represent subsequences with different lengths. Then, the subsequence features are extracted to determine the presence of collective anomalies. Finally, we calculate point-level anomaly scores by aggregating features from nodes at different levels. Experiments conducted on seven public datasets and eight baselines demonstrate that TreeMIL achieves an average 32.3% improvement in F1- score compared to previous state-of-the-art methods. The code is available at https://github.com/fly-orange/TreeMIL.


title: Hierarchical Cell-Free Massive MIMO for High Capacity with Simple Implementation

abstract: Cell-free massive multi-input multi-output (MIMO) has recently gained much attention for its potential in shaping the landscape of sixth-generation (6G) wireless systems. This paper proposes a hierarchical network architecture tailored for cell-free massive MIMO, seamlessly integrating co-located and distributed antennas. A central base station (CBS), equipped with an antenna array, positions itself near the center of the coverage area, complemented by distributed access points spanning the periphery. The proposed architecture remarkably outperforms conventional cell-free networks, demonstrating superior sum throughput while maintaining a comparable worst-case per-user spectral efficiency. Meanwhile, the implementation cost associated with the fronthaul network is substantially diminished.


title: Closing the Gap between TD Learning and Supervised Learning -- A Generalisation Point of View

abstract: Some reinforcement learning (RL) algorithms can stitch pieces of experience to solve a task never seen before during training. This oft-sought property is one of the few ways in which RL methods based on dynamic-programming differ from RL methods based on supervised-learning (SL). Yet, certain RL methods based on off-the-shelf SL algorithms achieve excellent results without an explicit mechanism for stitching; it remains unclear whether those methods forgo this important stitching property. This paper studies this question for the problems of achieving a target goal state and achieving a target return value. Our main result is to show that the stitching property corresponds to a form of combinatorial generalization: after training on a distribution of (state, goal) pairs, one would like to evaluate on (state, goal) pairs not seen together in the training data. Our analysis shows that this sort of generalization is different from i.i.d. generalization. This connection between stitching and generalisation reveals why we should not expect SL-based RL methods to perform stitching, even in the limit of large datasets and models. Based on this analysis, we construct new datasets to explicitly test for this property, revealing that SL-based methods lack this stitching property and hence fail to perform combinatorial generalization. Nonetheless, the connection between stitching and combinatorial generalisation also suggests a simple remedy for improving generalisation in SL: data augmentation. We propose a temporal data augmentation and demonstrate that adding it to SL-based methods enables them to successfully complete tasks not seen together during training. On a high level, this connection illustrates the importance of combinatorial generalization for data efficiency in time-series data beyond tasks beyond RL, like audio, video, or text.


title: Can global, extended and repeated ransomware attacks overcome the users status quo bias and cause a switch of system

abstract: Ransomware attack effectiveness has increased causing far reaching consequences that are not fully understood. The ability to disrupt core services, the global reach, extended duration, and the repetition has increased their ability to harm organizations. One aspect that needs to be understood better is the effect on the user. The user in the current environment is exposed to new technologies that might be adopted, but there are also habits of using existing systems. The habits have developed over time with trust increasing in the organization in contact directly and the institutions supporting it. This research explores whether the global, extended, and repeated RW attacks reduce the trust and inertia sufficiently to change long-held habits in using information systems. The model tested measures the effect of the RW attack on the e-commerce status quo to evaluate if it is significant enough to overcome the users resistance to change.


title: Product-Level Try-on: Characteristics-preserving Try-on with Realistic Clothes Shading and Wrinkles

abstract: Image-based virtual try-on systems,which fit new garments onto human portraits,are gaining research attention.An ideal pipeline should preserve the static features of clothes(like textures and logos)while also generating dynamic elements(e.g.shadows,folds)that adapt to the model's pose and environment.Previous works fail specifically in generating dynamic features,as they preserve the warped in-shop clothes trivially with predicted an alpha mask by composition.To break the dilemma of over-preserving and textures losses,we propose a novel diffusion-based Product-level virtual try-on pipeline,\ie PLTON, which can preserve the fine details of logos and embroideries while producing realistic clothes shading and wrinkles.The main insights are in three folds:1)Adaptive Dynamic Rendering:We take a pre-trained diffusion model as a generative prior and tame it with image features,training a dynamic extractor from scratch to generate dynamic tokens that preserve high-fidelity semantic information. Due to the strong generative power of the diffusion prior,we can generate realistic clothes shadows and wrinkles.2)Static Characteristics Transformation: High-frequency Map(HF-Map)is our fundamental insight for static representation.PLTON first warps in-shop clothes to the target model pose by a traditional warping network,and uses a high-pass filter to extract an HF-Map for preserving static cloth features.The HF-Map is used to generate modulation maps through our static extractor,which are injected into a fixed U-net to synthesize the final result.To enhance retention,a Two-stage Blended Denoising method is proposed to guide the diffusion process for correct spatial layout and color.PLTON is finetuned only with our collected small-size try-on dataset.Extensive quantitative and qualitative experiments on 1024 768 datasets demonstrate the superiority of our framework in mimicking real clothes dynamics.


title: CaraServe: CPU-Assisted and Rank-Aware LoRA Serving for Generative LLM Inference

abstract: Pre-trained large language models (LLMs) often need specialization for domain-specific tasks. Low-Rank Adaptation (LoRA) is a popular approach that adapts a base model to multiple tasks by adding lightweight trainable adapters. In this paper, we present CaraServe, a system that efficiently serves many LoRA adapters derived from a common base model. CaraServe maintains the base model on GPUs and dynamically loads activated LoRA adapters from main memory. As GPU loading results in a cold-start that substantially delays token generation, CaraServe employs a CPU-assisted approach. It early starts the activated adapters on CPUs for prefilling as they are being loaded onto GPUs; after loading completes, it then switches to the GPUs for generative LoRA inference. CaraServe develops a highly optimized synchronization mechanism to efficiently coordinate LoRA computation on the CPU and GPU. Moreover, CaraServe employs a rank-aware scheduling algorithm to optimally schedule heterogeneous LoRA requests for maximum service-level objective (SLO) attainment. We have implemented CaraServe and evaluated it against state-of-the-art LoRA serving systems. Our results demonstrate that CaraServe can speed up the average request serving latency by up to 1.4$\times$ and achieve an SLO attainment of up to 99%.


title: Inferring binary parameters with dual-line gravitational wave detection from tight inspiraling double neutron stars

abstract: Neutron star (NS) binaries can be potentially intriguing gravitational wave (GW) sources, with both high- and low-frequency radiations from the possibly aspherical individual stars and the binary orbit, respectively. The successful detection of such a dual-line source could provide fresh insights into binary geometry and NS physics. In the absence of electromagnetic observations, we develop a strategy for inferring the spin-orbit misalignment angle using the tight dual-line double NS system under the spin-orbit coupling. Based on the four-year joint detection of a typical dual-line system with LISA and Cosmic Explorer, we find that the misalignment angle and the NS moment of inertia can be measured with sub-percentage and 5% accuracy, respectively.


title: UNCOVERing the contribution of black holes to reionization in the JWST era

abstract: With its sensitivity in the rest-frame optical, the James Webb Space Telescope (JWST) has uncovered active galactic nuclei (AGN), comprising both intrinsically faint and heavily reddened sources, well into the first billion years of the Universe, at $z \sim 4-11$. In this work, we revisit the AGN contribution to reionization given the high number densities associated with these objects. We use the DELPHI semi-analytic model, base-lined against the latest high-redshift datasets from the JWST and the Atacama Large millimetre Array (ALMA) to model early star forming galaxies and AGN. We calculate the escape fractions of ionizing radiation from both star formation and AGN and include the impact of reionization feeback in suppressing the baryonic content of low-mass galaxies in ionized regions. This model is validated against the key observables for star forming galaxy, AGN and reionization. In our {\it fiducial} model, reionization reaches its mid-point at $z \sim 6.9$ and ends by $z \sim 5.9$. Low stellar mass ($M_*\leq 10^9M_\odot$) star forming galaxies are found to be the key drivers of the reionization process, providing about $77\%$ of the total photon budget. Despite their high numbers, high accretion rates and higher escape fractions compared to star forming galaxies at $z \sim 5$, AGN only provide about $23\%$ of the total reionization budget which is dominated by black holes in high stellar mass systems (with $M_* \geq 10^9M_\odot$). This is because AGN number densities become relevant only at $z \leq 7$ - as a result, AGN contribute as much as galaxies as late as $z \sim 6.2$, when reionization is already in its end stages. Finally, we find that even contrasting models of the AGN ionizing photon escape fraction (increasing or decreasing with stellar mass) do not qualitatively change our results.


title: LRP-QViT: Mixed-Precision Vision Transformer Quantization via Layer-wise Relevance Propagation

abstract: Vision transformers (ViTs) have demonstrated remarkable performance across various visual tasks. However, ViT models suffer from substantial computational and memory requirements, making it challenging to deploy them on resource-constrained platforms. Quantization is a popular approach for reducing model size, but most studies mainly focus on equal bit-width quantization for the entire network, resulting in sub-optimal solutions. While there are few works on mixed precision quantization (MPQ) for ViTs, they typically rely on search space-based methods or employ mixed precision arbitrarily. In this paper, we introduce LRP-QViT, an explainability-based method for assigning mixed-precision bit allocations to different layers based on their importance during classification. Specifically, to measure the contribution score of each layer in predicting the target class, we employ the Layer-wise Relevance Propagation (LRP) method. LRP assigns local relevance at the output layer and propagates it through all layers, distributing the relevance until it reaches the input layers. These relevance scores serve as indicators for computing the layer contribution score. Additionally, we have introduced a clipped channel-wise quantization aimed at eliminating outliers from post-LayerNorm activations to alleviate severe inter-channel variations. To validate and assess our approach, we employ LRP-QViT across ViT, DeiT, and Swin transformer models on various datasets. Our experimental findings demonstrate that both our fixed-bit and mixed-bit post-training quantization methods surpass existing models in the context of 4-bit and 6-bit quantization.


title: Accurate Description of Ion Migration in Solid-State Ion Conductors from Machine-Learning Molecular Dynamics

abstract: Solid-state ion conductors (SSICs) have emerged as a promising material class for electrochemical storage devices and novel compounds of this kind are continuously being discovered. High-throughout approaches that enable a rapid screening among the plethora of candidate SSIC compounds have been essential in this quest. While first-principles methods are routinely exploited in this context to provide atomic-level details on ion migration mechanisms, dynamic calculations of this type are computationally expensive and limit us in the time- and length-scales accessible during the simulations. Here, we explore the potential of recently developed machine-learning force fields for predicting different ion migration mechanisms in SSICs. Specifically, we systematically investigate three classes of SSICs that all exhibit complex ion dynamics including vibrational anharmonicities: AgI, a strongly disordered Ag$^+$ conductor; Na$_3$SbS$_4$, a Na$^+$ vacancy conductor; and Li$_{10}$GeP$_2$S$_{12}$, which features concerted Li$^+$ migration. Through systematic comparison with \textit{ab initio} molecular dynamics data, we demonstrate that machine-learning molecular dynamics provides very accurate predictions of the structural and vibrational properties including the complex anharmonic dynamics in these SSICs. The \textit{ab initio} accuracy of machine-learning molecular dynamics simulations at relatively low computational cost open a promising path toward the rapid design of novel SSICs.