title: Out-of-distribution Detection in Medical Image Analysis: A survey

abstract: Computer-aided diagnostics has benefited from the development of deep learning-based computer vision techniques in these years. Traditional supervised deep learning methods assume that the test sample is drawn from the identical distribution as the training data. However, it is possible to encounter out-of-distribution samples in real-world clinical scenarios, which may cause silent failure in deep learning-based medical image analysis tasks. Recently, research has explored various out-of-distribution (OOD) detection situations and techniques to enable a trustworthy medical AI system. In this survey, we systematically review the recent advances in OOD detection in medical image analysis. We first explore several factors that may cause a distributional shift when using a deep-learning-based model in clinic scenarios, with three different types of distributional shift well defined on top of these factors. Then a framework is suggested to categorize and feature existing solutions, while the previous studies are reviewed based on the methodology taxonomy. Our discussion also includes evaluation protocols and metrics, as well as the challenge and a research direction lack of exploration.


title: Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking

abstract: HyperLTL model-checking enables the automated verification of information-flow properties for security-critical systems. However, it only provides a binary answer. Here, we introduce two paradigms to compute counterexamples and explanations for HyperLTL model-checking, thereby considerably increasing its usefulness. Both paradigms are based on the maxim ``counterexamples/explanations are Skolem functions for the existentially quantified trace variables''. Our first paradigm is complete (everything can be explained), but restricted to ultimately periodic system traces. The second paradigm works with (Turing machine) computable Skolem functions and is therefore much more general, but also shown incomplete (not everything can computably be explained). Finally, we prove that it is decidable whether a given finite transition system and a formula have computable Skolem functions witnessing that the system satisfies the formula. Our algorithm also computes transducers implementing computable Skolem functions, if they exist.


title: Relations of multiple $\tilde{T}$-values involving the total numbers of certain permutations

abstract: Kaneko and Tsumura proved a relation of multiple $\tilde{T}$-values involving Entringer numbers counting the total number of down-up permutations starting with a fixed value. In the present paper, we generalize this relation and provide some relations involving Entringer numbers and the total number of Dumont permutations of the first kind starting with a fixed value. For this purpose, we also provide explicit formulas for the total numbers of those permutations.


title: Monitoring Real-Time Systems under Parametric Delay

abstract: Online monitoring of embedded real-time systems can be achieved by reduction of an adequate property language, like Metric Interval Temporal Logic, to timed automata and symbolic execution of the resulting automata on the trace observed from the system. This direct construction however only is faithful if observation of the trace is immediate in the sense that the monitor can assign exact time stamps to the actions it observes, which is rarely true in practice due to the substantial and fluctuating parametric delays introduced by the circuitry connecting the observed system to its monitoring device. We present a purely zone-based online monitoring procedure and its implementation which handle such parametric delays exactly without recurrence to costly verification procedures for parametric timed automata.


title: Fast \textit{ab initio} design of high-entropy magnetic thin films

abstract: We show that the magnetic properties of high-entropy alloys (HEAs) can be captured by \textit{ab initio} calculations within the coherent potential approximation, where the atomic details of the high-entropy mixing are considered as an effective medium that possesses the translational symmetry of the lattice. This is demonstrated using the face-centered cubic (FCC) phase of $\textrm{FeCoNiMnCu}$ and the $L1_0$ phase of $\textrm{(FeCoNiMnCu)Pt}$ by comparing the density functional theory (DFT) results with the experimental values. Working within the first Brillouin zone and the primitive unit cell, we show that DFT can capture the smooth profile of magnetic properties such as the saturation magnetization, the Curie temperature and the magnetic anisotropy, using only a sparse set of sampling points in the vast compositional space. The smooth profiles given by DFT indeed follow the experimental trend, demonstrating the promising potential of using machine learning to explore the magnetic properties of HEAs, by establishing reasonably large datasets with high-throughput calculations using density-functional theory.


title: S3-SLAM: Sparse Tri-plane Encoding for Neural Implicit SLAM

abstract: With the emergence of Neural Radiance Fields (NeRF), neural implicit representations have gained widespread applications across various domains, including simultaneous localization and mapping. However, current neural implicit SLAM faces a challenging trade-off problem between performance and the number of parameters. To address this problem, we propose sparse tri-plane encoding, which efficiently achieves scene reconstruction at resolutions up to 512 using only 2~4% of the commonly used tri-plane parameters (reduced from 100MB to 2~4MB). On this basis, we design S3-SLAM to achieve rapid and high-quality tracking and mapping through sparsifying plane parameters and integrating orthogonal features of tri-plane. Furthermore, we develop hierarchical bundle adjustment to achieve globally consistent geometric structures and reconstruct high-resolution appearance. Experimental results demonstrate that our approach achieves competitive tracking and scene reconstruction with minimal parameters on three datasets. Source code will soon be available.


title: A Review of the Accuracy of Direct Numerical Simulation Tools for the Simulation of Non-Spherical Bubble Collapses

abstract: Numerical methods for the simulation of cavitation processes have been developed for more than 50 years. The rich variety of physical phenomena triggered by the collapse of a bubble has several applications in medicine and environmental science but requires the development of sophisticated numerical methods able to capture the presence of sharp interfaces between fluids and solid/elastic materials, the generation of shock waves and the development of non-spherical modes. One important challenge faced by numerical methods is the important temporal and scale separation inherent to the process of bubble collapse, where many effects become predominant during very short time lapses around the instant of minimum radius when the simulations are hardly resolved. In this manuscript, we provide a detailed discussion of the parameters controlling the accuracy of direct numerical simulation in general non-spherical cases, where a new theoretical analysis is presented to generalize existing theories on the prediction of the peak pressures reached inside the bubble during the bubble collapse. We show that the ratio between the gridsize and the minimum radius allows us to scale the numerical errors introduced by the numerical method in the estimation of different relevant quantities for a variety of initial conditions.


title: Comparing LLM prompting with Cross-lingual transfer performance on Indigenous and Low-resource Brazilian Languages

abstract: Large Language Models are transforming NLP for a variety of tasks. However, how LLMs perform NLP tasks for low-resource languages (LRLs) is less explored. In line with the goals of the AmericasNLP workshop, we focus on 12 LRLs from Brazil, 2 LRLs from Africa and 2 high-resource languages (HRLs) (e.g., English and Brazilian Portuguese). Our results indicate that the LLMs perform worse for the part of speech (POS) labeling of LRLs in comparison to HRLs. We explain the reasons behind this failure and provide an error analysis through examples observed in our data set.


title: Joint Energy and Latency Optimization in Federated Learning over Cell-Free Massive MIMO Networks

abstract: Federated learning (FL) is a distributed learning paradigm wherein users exchange FL models with a server instead of raw datasets, thereby preserving data privacy and reducing communication overhead. However, the increased number of FL users may hinder completing large-scale FL over wireless networks due to high imposed latency. Cell-free massive multiple-input multiple-output~(CFmMIMO) is a promising architecture for implementing FL because it serves many users on the same time/frequency resources. While CFmMIMO enhances energy efficiency through spatial multiplexing and collaborative beamforming, it remains crucial to meticulously allocate uplink transmission powers to the FL users. In this paper, we propose an uplink power allocation scheme in FL over CFmMIMO by considering the effect of each user's power on the energy and latency of other users to jointly minimize the users' uplink energy and the latency of FL training. The proposed solution algorithm is based on the coordinate gradient descent method. Numerical results show that our proposed method outperforms the well-known max-sum rate by increasing up to~$27$\% and max-min energy efficiency of the Dinkelbach method by increasing up to~$21$\% in terms of test accuracy while having limited uplink energy and latency budget for FL over CFmMIMO.


title: Matrix method and the suppression of Runge's phenomenon

abstract: Higher-degree polynomial interpolations carried out on uniformly distributed nodes are often plagued by {\it overfitting}, known as Runge's phenomenon. This work investigates Runge's phenomenon and its suppression in various versions of the matrix method for black hole quasinormal modes. It is shown that an appropriate choice of boundary conditions gives rise to desirable suppression of oscillations associated with the increasing Lebesgue constant. For the case of discontinuous effective potentials, where the application of the above boundary condition is not feasible, the recently proposed scheme with delimited expansion domain also leads to satisfactory results. The onset of Runge's phenomenon and its effective suppression are demonstrated by evaluating the relevant waveforms. Furthermore, we argue that both scenarios are either closely related to or practical imitations of the Chebyshev grid. The implications of the present study are also addressed.


title: The minimal exponent of cones over smooth complete intersection projective varieties

abstract: We compute the minimal exponent of the affine cone over a complete intersection of smooth projective hypersurfaces intersecting transversely. The upper bound for the minimal exponent is proved, more generally, in the weighted homogeneous setting, while the lower bound is deduced from a general lower bound in terms of a strong factorizing resolution in the sense of Bravo and Villamayor.


title: Autonomous dynamics of two-dimensional insulating domain with superclimbing edges

abstract: Superclimbing dynamics is the signature feature of transverse quantum fluids describing wide superfluid one-dimensional interfaces and/or edges with negligible Peierls barrier. Using Lagrangian formalism, we show how the essence of the superclimb phenomenon -- dynamic conjugation of the fields of the superfluid phase and geometric shape -- clearly manifests itself via characteristic modes of autonomous motion of the insulating domain (``droplet") with superclimbing edges. In the translation invariant case and in the absence of supercurrent along the edge, the droplet demonstrates ballistic motion with the velocity-dependent shape and zero bulk currents. In an isotropic trapping potential, the droplet features a doubly degenerate sloshing mode. The period of the ground-state evolution of the superfluid phase (dictating the frequency of the AC Josephson effect) is sensitive to the geometry of the droplet. The supercurrent along the edge dramatically changes the droplet dynamics: The motion acquires features resembling that of a 2D charged particle interacting with a perpendicular magnetic field. In a linear external potential (uniform force field), the state with a supercurrent demonstrates a spectacular gyroscopic effect -- uniform motion in the perpendicular to the force direction.


title: Panoptic Segmentation and Labelling of Lumbar Spine Vertebrae using Modified Attention Unet

abstract: Segmentation and labeling of vertebrae in MRI images of the spine are critical for the diagnosis of illnesses and abnormalities. These steps are indispensable as MRI technology provides detailed information about the tissue structure of the spine. Both supervised and unsupervised segmentation methods exist, yet acquiring sufficient data remains challenging for achieving high accuracy. In this study, we propose an enhancing approach based on modified attention U-Net architecture for panoptic segmentation of 3D sliced MRI data of the lumbar spine. Our method achieves an impressive accuracy of 99.5\% by incorporating novel masking logic, thus significantly advancing the state-of-the-art in vertebral segmentation and labeling. This contributes to more precise and reliable diagnosis and treatment planning.


title: Excimer Formation in Zinc-phthalocyanine Revealed using Ultrafast Electron Diffraction

abstract: The formation of excited dimer states, so called excimers, is an important phenomenon in many organic molecular semiconductors. In contrast to Frenkel exciton-polaron excited states, an excimer is long-lived and energetically low-lying due to stabilization resulting from a substantial reorganization of the inter-molecular geometry. In this letter, we show that ultrafast electron diffraction can follow the dynamics of solid-state excimer formation in polycrystalline thin films of a molecular semiconductor, revealing both the key reaction modes and the eventual structure of the emitting state. We study the prototypical organic semiconductor zinc-phthalocyanine (ZnPc) in its crystallographic $\alpha$-phase as a model excimeric system. We show, that the excimer forms in a two-step process starting with a fast dimerization ($\lesssim 0.4\, \text{ps}$) followed by a subsequent slow shear-twist motion ($14\, \text{ps}$) leading to an alignment of the $\pi$-systems of the involved monomers. Furthermore, we show that while the same excimer geomtry is present in partially fluorinated derivatives of ZnPc, the formation kinematics slow down with increasing level of fluorination.


title: Quantum-enhanced learning with a controllable bosonic variational sensor network

abstract: The emergence of quantum sensor networks has presented opportunities for enhancing complex sensing tasks, while simultaneously introducing significant challenges in designing and analyzing quantum sensing protocols due to the intricate nature of entanglement and physical processes. Supervised learning assisted by an entangled sensor network (SLAEN) [Phys. Rev. X 9, 041023 (2019)] represents a promising paradigm for automating sensor-network design through variational quantum machine learning. However, the original SLAEN, constrained by the Gaussian nature of quantum circuits, is limited to learning linearly separable data. Leveraging the universal quantum control available in cavity-QED experiments, we propose a generalized SLAEN capable of handling nonlinear data classification tasks. We establish a theoretical framework for physical-layer data classification to underpin our approach. Through training quantum probes and measurements, we uncover a threshold phenomenon in classification error across various tasks -- when the energy of probes exceeds a certain threshold, the error drastically diminishes to zero, providing a significant improvement over the Gaussian SLAEN. Despite the non-Gaussian nature of the problem, we offer analytical insights into determining the threshold and residual error in the presence of noise. Our findings carry implications for radio-frequency photonic sensors and microwave dark matter haloscopes.


title: PSTAIC regularization for 2D spatiotemporal image reconstruction

abstract: We propose a model for restoration of spatio-temporal TIRF images based on infimal decomposition regularization model named STAIC proposed earlier. We propose to strengthen the STAIC algorithm by enabling it to estimate the relative weights in the regularization term by incorporating it as part of the optimization problem. We also design an iterative scheme which alternatively minimizes the weight and image sub-problems. We demonstrate the restoration quality of this regularization scheme against other restoration models enabled by similar weight estimation schemes.


title: Spectral analysis and best decay rate of the wave propagator on the tadpole graph

abstract: We consider the damped wave semigroup on the tadpole graph ${\mathcal R}$. We first give a meticulous spectral analysis, followed by a judicious decomposition of the resolvent's kernel. As a consequence, and by showing that the generalized eigenfunctions form a Riesz basis of some subspace of the energy space $\mathcal{H}$, we establish the exponential decay of the corresponding energy, with the optimal decay rate dictated by the spectral abscissa of the relevant operator.


title: Using Deep Q-Learning to Dynamically Toggle between Push/Pull Actions in Computational Trust Mechanisms

abstract: Recent work on decentralized computational trust models for open Multi Agent Systems has resulted in the development of CA, a biologically inspired model which focuses on the trustee's perspective. This new model addresses a serious unresolved problem in existing trust and reputation models, namely the inability to handle constantly changing behaviors and agents' continuous entry and exit from the system. In previous work, we compared CA to FIRE, a well-known trust and reputation model, and found that CA is superior when the trustor population changes, whereas FIRE is more resilient to the trustee population changes. Thus, in this paper, we investigate how the trustors can detect the presence of several dynamic factors in their environment and then decide which trust model to employ in order to maximize utility. We frame this problem as a machine learning problem in a partially observable environment, where the presence of several dynamic factors is not known to the trustor and we describe how an adaptable trustor can rely on a few measurable features so as to assess the current state of the environment and then use Deep Q Learning (DQN), in a single-agent Reinforcement Learning setting, to learn how to adapt to a changing environment. We ran a series of simulation experiments to compare the performance of the adaptable trustor with the performance of trustors using only one model (FIRE or CA) and we show that an adaptable agent is indeed capable of learning when to use each model and, thus, perform consistently in dynamic environments.


title: Coordination Capacity for Classical-Quantum Correlations

abstract: Network coordination is considered in three basic settings, characterizing the generation of separable and classical-quantum correlations among multiple parties. First, we consider the simulation of a classical-quantum state between two nodes with rate-limited common randomness (CR) and communication. Furthermore, we study the preparation of a separable state between multiple nodes with rate-limited CR and no communication. At last, we consider a broadcast setting, where a sender and two receivers simulate a classical-quantum-quantum state using rate-limited CR and communication. We establish the optimal tradeoff between communication and CR rates in each setting.


title: Search for the Z boson decay to $\tau\tau\mu\mu$ in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: The first search for the Z boson decay to $\tau\tau\mu\mu$ at the CERN LHC is presented, based on data collected by the CMS experiment at the LHC in proton-proton collisions at a center-of-mass energy of 13 TeV and corresponding to an integrated luminosity of 138 fb$^{-1}$. The data are compatible with the predicted background. For the first time, an upper limit at the 95% confidence level of 6.9 times the standard model expectation is placed on the ratio of the Z $\to$ $\tau\tau\mu\mu$ to Z $\to$ 4$\mu$ branching fractions. Limits are also placed on the six flavor-conserving four-lepton effective-field-theory operators involving two muons and two tau leptons, for the first time testing all such operators.


title: The $\ell_r$-Levy-Grothendieck problem and $r\rightarrow p$ norms of Levy matrices

abstract: Given an $n\times n$ matrix $A_n$ and $1\leq r, p \leq\infty$, consider the following quadratic optimization problem referred to as the $\ell_r$-Grothendieck problem: \begin{align}M_r(A_n)\coloneqq\max_{\boldsymbol{x}\in\mathbb{R}^n:\|\boldsymbol{x}\|_r\leq1}\boldsymbol{x}^{\top} A_n \boldsymbol{x},\end{align} as well as the $r\rightarrow p$ operator norm of the matrix $A_n$, defined as \begin{align}\|A_n\|_{r \rightarrow p}\coloneqq \sup _{\boldsymbol{x}\in\mathbb{R}^n:\|\boldsymbol{x}\|_r \leq 1}\|A_n \boldsymbol{x}\|_p,\end{align} where $\|\boldsymbol{x}\|_r$ denotes the $\ell_r$-norm of the vector $\boldsymbol{x}$. This work analyzes high-dimensional asymptotics of these quantities when $A_n$ are symmetric random matrices with independent and identically distributed heavy-tailed upper-triangular entries with index $\alpha$. When $1\leq r\leq 2$ (respectively, $1\leq r\leq p$) and $\alpha\in(0,2)$, suitably scaled versions of $M_r(A_n)$ and $\|A_n\|_{r\rightarrow p}$ are shown to converge to a Fr\'echet distribution as $n\rightarrow\infty$. In contrast, when $2< r<\infty$ (respectively, $1\leq p< r$), it is shown that there exists $\alpha_*\in(1,2)$ such that for every $\alpha\in(0,\alpha_*)$, suitably scaled versions of $M_r(A_n)$ and $\|A_n\|_{r\rightarrow p}$ converge to the power of a stable distribution. Furthermore, it is shown that there exists $\bar\alpha_*>\alpha_*$ such that when $\alpha\in(\alpha_*,\bar\alpha_*)$, the latter convergence result holds only when the matrix entries are centered; when the entries have non-zero mean, a different limit arises after additional centering and scaling. As a corollary, these results yield a characterization of the limiting ground state of the Levy spin glass when $\alpha \in (0,1)$. The analysis uses a combination of tools from the theory of heavy-tailed distributions, the nonlinear power method and concentration inequalities.


title: VoroTO: Multiscale Topology Optimization of Voronoi Structures using Surrogate Neural Networks

abstract: Cellular structures found in nature exhibit remarkable properties such as high strength, high energy absorption, excellent thermal/acoustic insulation, and fluid transfusion. Many of these structures are Voronoi-like; therefore researchers have proposed Voronoi multi-scale designs for a wide variety of engineering applications. However, designing such structures can be computationally prohibitive due to the multi-scale nature of the underlying analysis and optimization. In this work, we propose the use of a neural network (NN) to carry out efficient topology optimization (TO) of multi-scale Voronoi structures. The NN is first trained using Voronoi parameters (cell site locations, thickness, orientation, and anisotropy) to predict the homogenized constitutive properties. This network is then integrated into a conventional TO framework to minimize structural compliance subject to a volume constraint. Special considerations are given for ensuring positive definiteness of the constitutive matrix and promoting macroscale connectivity. Several numerical examples are provided to showcase the proposed method.


title: Finding Understanding and Support: Navigating Online Communities to Share and Connect at the intersection of Abuse and Foster Care Experiences

abstract: Many children in foster care experience trauma that is rooted in unstable family relationships. Other members of the foster care system like foster parents and social workers face secondary trauma. Drawing on 10 years of Reddit data, we used a mixed methods approach to analyze how different members of the foster care system find support and similar experiences at the intersection of two Reddit communities - foster care, and abuse. Users who cross this boundary focus on trauma experiences specific to different roles in foster care. While representing a small number of users, boundary crossing users contribute heavily to both communities, and, compared to matching users, receive higher scores and more replies. We explore the roles boundary crossing users have both in the online community and in the context of foster care. Finally, we present design recommendations that would support trauma survivors find communities more suited to their personal experiences.


title: GNarsil: Splitting Stabilizers into Gauges

abstract: Quantum subsystem codes have been shown to improve error-correction performance, ease the implementation of logical operations on codes, and make stabilizer measurements easier by decomposing stabilizers into smaller-weight gauge operators. In this paper, we present two algorithms that produce new subsystem codes from a "seed" CSS code. They replace some stabilizers of a given CSS code with smaller-weight gauge operators that split the remaining stabilizers, while being compatible with the logical Pauli operators of the code. The algorithms recover the well-known Bacon-Shor code computationally as well as produce a new $\left[\left[ 9,1,2,2 \right]\right]$ rotated surface subsystem code with weight-$3$ gauges and weight-$4$ stabilizers. We illustrate using a $\left[\left[ 100,25,3 \right]\right]$ subsystem hypergraph product (SHP) code that the algorithms can produce more efficient gauge operators than the closed-form expressions of the SHP construction. However, we observe that the stabilizers of the lifted product quantum LDPC codes are more challenging to split into small-weight gauge operators. Hence, we introduce the subsystem lifted product (SLP) code construction and develop a new $\left[\left[ 775, 124, 20 \right]\right]$ code from Tanner's classical quasi-cyclic LDPC code. The code has high-weight stabilizers but all gauge operators that split stabilizers have weight $5$, except one. In contrast, the LP stabilizer code from Tanner's code has parameters $\left[\left[ 1054, 124, 20 \right]\right]$. This serves as a novel example of new subsystem codes that outperform stabilizer versions of them. Finally, based on our experiments, we share some general insights about non-locality's effects on the performance of splitting stabilizers into small-weight gauges.


title: Evaluating a quantum-classical quantum Monte Carlo algorithm with Matchgate shadows

abstract: Solving the electronic structure problem of molecules and solids to high accuracy is a major challenge in quantum chemistry and condensed matter physics. The rapid emergence and development of quantum computers offer a promising route to systematically tackle this problem. Recent work by Huggins et al.[1] proposed a hybrid quantum-classical quantum Monte Carlo (QC-QMC) algorithm using Clifford shadows to determine the ground state of a Fermionic Hamiltonian. This approach displayed inherent noise resilience and the potential for improved accuracy compared to its purely classical counterpart. Nevertheless, the use of Clifford shadows introduces an exponentially scaling post-processing cost. In this work, we investigate an improved QC-QMC scheme utilizing the recently developed Matchgate shadows technique [2], which removes the aforementioned exponential bottleneck. We observe from experiments on quantum hardware that the use of Matchgate shadows in QC-QMC is inherently noise robust. We show that this noise resilience has a more subtle origin than in the case of Clifford shadows. Nevertheless, we find that classical post-processing, while asymptotically efficient, requires hours of runtime on thousands of classical CPUs for even the smallest chemical systems, presenting a major challenge to the scalability of the algorithm.


title: Retrieval-Oriented Knowledge for Click-Through Rate Prediction

abstract: Click-through rate (CTR) prediction plays an important role in personalized recommendations. Recently, sample-level retrieval-based models (e.g., RIM) have achieved remarkable performance by retrieving and aggregating relevant samples. However, their inefficiency at the inference stage makes them impractical for industrial applications. To overcome this issue, this paper proposes a universal plug-and-play Retrieval-Oriented Knowledge (ROK) framework. Specifically, a knowledge base, consisting of a retrieval-oriented embedding layer and a knowledge encoder, is designed to preserve and imitate the retrieved & aggregated representations in a decomposition-reconstruction paradigm. Knowledge distillation and contrastive learning methods are utilized to optimize the knowledge base, and the learned retrieval-enhanced representations can be integrated with arbitrary CTR models in both instance-wise and feature-wise manners. Extensive experiments on three large-scale datasets show that ROK achieves competitive performance with the retrieval-based CTR models while reserving superior inference efficiency and model compatibility.


title: Data-Driven Dynamic State Estimation of Photovoltaic Systems via Sparse Regression Unscented Kalman Filter

abstract: Dynamic state estimation (DSE) is vital in modern power systems with numerous inverter-based distributed energy resources including solar and wind, ensuring real-time accuracy for tracking system variables and optimizing grid stability. This paper proposes a data-driven DSE approach designed for photovoltaic (PV) energy conversion systems (single stage and two stage) that are subjected to both process and measurement noise. The proposed framework follows a two-phase methodology encompassing ``data-driven model identification" and ``state-estimation." In the initial model identification phase, state feedback is gathered to elucidate the dynamics of the photovoltaic systems using nonlinear sparse regression technique. Following the identification of the PV dynamics, the nonlinear data-driven model will be utilized to estimate the dynamics of the PV system for monitoring and protection purposes. To account for incomplete measurements, inherent uncertainties, and noise, we employ an ``unscented Kalman filter," which facilitates state estimation by processing the noisy output data. Ultimately, the paper substantiates the efficacy of the proposed sparse regression-based unscented Kalman filter through simulation results, providing a comparative analysis with a physics-based DSE.


title: Tunable Ultrafast Dynamics of Antiferromagnetic Vortices in Nanoscale Dots

abstract: Topological vortex textures in magnetic disks have garnered great attention due to their interesting physics and diverse applications. However, up to now, the vortex state has mainly been studied in microsize ferromagnetic disks, which have oscillation frequencies confined to the GHz range. Here, we propose an experimentally feasible ultrasmall and ultrafast vortex state in an antiferromagnetic nanodot surrounded by a heavy metal, which is further harnessed to construct a highly tunable vortex network. We theoretically demonstrate that, interestingly, the interfacial Dzyaloshinskii-Moriya interaction (iDMI) induced by the heavy metal at the boundary of the dot acts as an effective chemical potential for the vortices in the interior. Mimicking the creation of a superfluid vortex by rotation, we show that a magnetic vortex state can be stabilized by this iDMI. Subjecting the system to an electric current can trigger vortex oscillations via spin-transfer torque, which reside in the THz regime and can be further modulated by external magnetic fields. Furthermore, we show that coherent coupling between vortices in different nanodisks can be achieved via an antiferromagnetic link. Remarkably, this interaction depends on the vortex polarity and topological charge and is also exceptionally tunable through the vortex resonance frequency. This opens up the possibility for controllable interconnected networks of antiferromagnetic vortices. Our proposal therefore introduces a new avenue for developing high-density memory, ultrafast logic devices, and THz signal generators, which are ideal for compact integration into microchips.


title: Stagnant Lakatosian Research Programmes

abstract: We propose an extension of the classical dichotomous categorization of research programmes into progress and degeneration according to Lakatos in the form of a neutral third category: the stagnant research programme. First, a critical examination of the primary literature with its often criticized definitional gaps justifies such a category. Through a generic derivation of criteria for stagnant programmes, a clear demarcation from progressive and degenerative ones is achieved. An empirical cross-check is subsequently employed for support: Both a series of examples from fundamental physics and a general analysis of today's research landscape also suggest on an empirical level the need to go beyond the traditional Lakatosian conception. Attributing stagnation is entirely in line with Lakatos' original intentions, which aimed not to hastily discard promising research but to exercise patience until the lifting of certain external constraints potentially enables progress once again.


title: Near-Term Enforcement of AI Chip Export Controls Using A Firmware-Based Design for Offline Licensing

abstract: Offline Licensing is a mechanism for compute governance that could be used to prevent unregulated training of potentially dangerous frontier AI models. The mechanism works by disabling AI chips unless they have an unused license from a regulator. In this report, we present a design for a minimal version of Offline Licensing that could be delivered via a firmware update. Existing AI chips could potentially support Offline Licensing within a year if they have the following (relatively common) hardware security features: firmware verification, firmware rollback protection, and secure non-volatile memory. Public documentation suggests that NVIDIA's H100 AI chip already has these security features. Without additional hardware modifications, the system is susceptible to physical hardware attacks. However, these attacks might require expensive equipment and could be difficult to reliably apply to thousands of AI chips. A firmware-based Offline Licensing design shares the same legal requirements and license approval mechanism as a hardware-based solution. Implementing a firmware-based solution now could accelerate the eventual deployment of a more secure hardware-based solution in the future. For AI chip manufacturers, implementing this security mechanism might allow chips to be sold to customers that would otherwise be prohibited by export restrictions. For governments, it may be important to be able to prevent unsafe or malicious actors from training frontier AI models in the next few years. Based on this initial analysis, firmware-based Offline Licensing could partially solve urgent security and trade problems and is technically feasible for AI chips that have common hardware security features.


title: Electrophilic scalar hair from rotating magnetized stars and effects of cosmic neutrino background

abstract: Ultralight electrophilic scalar field can mediate a long-range force or radiate from a pulsar or a magnetar if the scalar field has a coupling with the Goldreich-Julian charge density or the net electron charge density of the star. The interaction of the electron with the long-range scalar profile results in a spatial variation of the electron mass. A scalar induced magnetic field is created due to such interaction. The mass of the scalar in such cases is constrained by the radius of the star. The scalar field can also radiate from a binary system or an isolated star if the mass of the scalar is less than the orbital frequency and the spin frequency respectively. The electrophilic scalar radiation can contribute to the orbital period loss of binary systems and pulsar spin-down. Comparing with existing and projected experimental sensitivities, we obtain constraints on scalar coupling with ultralight mass. Some of these bounds are stronger than the existing fifth force constraints. The constraints on the scalar coupling can be significantly screened if the scalar has a coupling with the ubiquitous cosmic neutrino background. Improvements in experimental sensitivity and observations of compact objects with stronger magnetic fields and higher angular velocities could further refine these bounds.


title: Multiport Network Modeling for Reconfigurable Intelligent Surfaces: Numerical Validation with a Full-Wave PEEC Simulator

abstract: Reconfigurable Intelligent Surface (RIS) modeling and optimization are a crucial steps in developing the next generation of wireless communications. To this aim, the availability of accurate electromagnetic (EM) models is of paramount important for the design of RIS-assisted communication links. In this work, we validate a widely-used analytical multiport network for RISs by means of a well-established full-wave numerical method based on the Partial Elements Equivalent Circuit (PEEC) approach. Numerical results show good agreement between the two methods, thus demonstrating i) the considered multiport network model being effective and ii) the PEEC method being appropriate for EM modeling of RIS-assisted wireless links.


title: Towards Incremental Learning in Large Language Models: A Critical Review

abstract: Incremental learning is the ability of systems to acquire knowledge over time, enabling their adaptation and generalization to novel tasks. It is a critical ability for intelligent, real-world systems, especially when data changes frequently or is limited. This review provides a comprehensive analysis of incremental learning in Large Language Models. It synthesizes the state-of-the-art incremental learning paradigms, including continual learning, meta-learning, parameter-efficient learning, and mixture-of-experts learning. We demonstrate their utility for incremental learning by describing specific achievements from these related topics and their critical factors. An important finding is that many of these approaches do not update the core model, and none of them update incrementally in real-time. The paper highlights current problems and challenges for future research in the field. By consolidating the latest relevant research developments, this review offers a comprehensive understanding of incremental learning and its implications for designing and developing LLM-based learning systems.


title: Application of Iterative LQR on a Mobile Robot With Simple Dynamics

abstract: The aim in this paper is to apply the iLQR, iterative Linear Quadratic Regulator, to control the movement of a mobile robot following an already defined trajectory. This control strategy has proven its utility for nonlinear systems. As follows up, this work intends to concertize this statement and to evaluate the extent to which the performance is comparatively improved against the ordinary, non-iterative LQR. The method is applied to a differential robot with non-holonomic constraints. The mathematical equations, resulting description and the implementation of this method are explicitly explained, and the simulation studies are conducted in the Matlab and Simulink environment.


title: Multi-Link Operation and Wireless Digital Twin to Support Enhanced Roaming in Next-Gen Wi-Fi

abstract: The next generation of Wi-Fi is meant to achieve ultra-high reliability for wireless communication. Several approaches are available to this extent, some of which are being considered for inclusion in standards specifications, including coordination of access points to reduce interference. In this paper, we propose a centralized architecture based on digital twins, called WiTwin, with the aim of supporting wireless stations in selecting the optimal association according to a set of parameters. Unlike prior works, we assume that Wi-Fi 7 features like multi-link operation (MLO) are available. Moreover, one of the main goals of this architecture is to preserve communication quality in the presence of mobility, by helping stations to perform reassociation at the right time and in the best way.


title: DIRESA, a distance-preserving nonlinear dimension reduction technique based on regularized autoencoders

abstract: In meteorology, finding similar weather patterns or analogs in historical datasets can be useful for data assimilation, forecasting, and postprocessing. In climate science, analogs in historical and climate projection data are used for attribution and impact studies. However, most of the time, those large weather and climate datasets are nearline. They must be downloaded, which takes a lot of bandwidth and disk space, before the computationally expensive search can be executed. We propose a dimension reduction technique based on autoencoder (AE) neural networks to compress those datasets and perform the search in an interpretable, compressed latent space. A distance-regularized Siamese twin autoencoder (DIRESA) architecture is designed to preserve distance in latent space while capturing the nonlinearities in the datasets. Using conceptual climate models of different complexities, we show that the latent components thus obtained provide physical insight into the dominant modes of variability in the system. Compressing datasets with DIRESA reduces the online storage and keeps the latent components uncorrelated, while the distance (ordering) preservation and reconstruction fidelity robustly outperform Principal Component Analysis (PCA) and other dimension reduction techniques such as UMAP or variational autoencoders.


title: Design and Optimization of Reconfigurable Intelligent Surfaces Using the PEEC Method

abstract: The design and optimization of Reconfigurable Intelligent Surfaces (RISs) are key challenges for future wireless communication systems. RISs are devices that can manipulate electromagnetic (EM) waves in a programmable way, thus enhancing the performance and efficiency of wireless links. To achieve this goal, it is essential to have reliable EM models that can capture the behavior of RISs in different scenarios. This work demonstrates that the Partial Elements Equivalent Circuit (PEEC) method is a powerful tool for EM analysis of RIS-aided wireless links. It might also be integrated with optimization algorithms in order to optimize wireless communication networks.


title: Position: Do Not Explain Vision Models Without Context

abstract: Does the stethoscope in the picture make the adjacent person a doctor or a patient? This, of course, depends on the contextual relationship of the two objects. If it's obvious, why don't explanation methods for vision models use contextual information? In this paper, we (1) review the most popular methods of explaining computer vision models by pointing out that they do not take into account context information, (2) show examples of failures of popular XAI methods, (3) provide examples of real-world use cases where spatial context plays a significant role, (4) propose new research directions that may lead to better use of context information in explaining computer vision models, (5) argue that a change in approach to explanations is needed from 'where' to 'how'.


title: Inhibited destruction of dust by supernova in a clumpy medium

abstract: The decrease rate of dust mass due to strong shock waves ($v_s\geq 150$ km s$^{-1}$) from supernovae (SNe) estimated for the Milky Way interstellar medium significantly exceeds the overall production rate by both asymptotic giant branch stars and core collapse SNe. The interplay between the production and destruction rates is critically important for evaluation of the net dust outcome from SNe at different conditions. In light of this, we study the dynamics of initially polydisperse dust grains pre-existed in an ambient medium swept up the SN shock front depending on magnitude of inhomogeneity (clumpiness) in {the} medium. We find that dust destruction inside the bubble is inhibited in more inhomogeneous medium: the larger amount of dust survives for the higher dispersion of density. This trend is set by the interrelation between radiative gas cooling and dust sputtering in different environment. After several radiative times the mass fraction of the survived dust saturates at the level almost independent on the gas mean density. We note that for more clumpy medium the distributions of dust over thermal phases of a gas inside the bubble and over sizes are smoother and flatter in comparison with those in a nearly homogeneous medium.


title: Reconstructing random graphs from distance queries

abstract: We estimate the minimum number of distance queries that is sufficient to reconstruct the binomial random graph $G(n,p)$ with constant diameter with high probability. We get a tight (up to a constant factor) answer for all $p>n^{-1+o(1)}$ outside "threshold windows" around $n^{-k/(k+1)+o(1)}$, $k\in\mathbb{Z}_{>0}$: with high probability the query complexity equals $\Theta(n^{4-d}p^{2-d})$, where $d$ is the diameter of the random graph. This demonstrates the following non-monotone behaviour: the query complexity jumps down at moments when the diameter gets larger; yet, between these moments the query complexity grows. We also show that there exists a non-adaptive algorithm that reconstructs the random graph with $O(n^{4-d}p^{2-d}\ln n)$ distance queries with high probability, and this is best possible.


title: User Welfare Optimization in Recommender Systems with Competing Content Creators

abstract: Driven by the new economic opportunities created by the creator economy, an increasing number of content creators rely on and compete for revenue generated from online content recommendation platforms. This burgeoning competition reshapes the dynamics of content distribution and profoundly impacts long-term user welfare on the platform. However, the absence of a comprehensive picture of global user preference distribution often traps the competition, especially the creators, in states that yield sub-optimal user welfare. To encourage creators to best serve a broad user population with relevant content, it becomes the platform's responsibility to leverage its information advantage regarding user preference distribution to accurately signal creators. In this study, we perform system-side user welfare optimization under a competitive game setting among content creators. We propose an algorithmic solution for the platform, which dynamically computes a sequence of weights for each user based on their satisfaction of the recommended content. These weights are then utilized to design mechanisms that adjust the recommendation policy or the post-recommendation rewards, thereby influencing creators' content production strategies. To validate the effectiveness of our proposed method, we report our findings from a series of experiments, including: 1. a proof-of-concept negative example illustrating how creators' strategies converge towards sub-optimal states without platform intervention; 2. offline experiments employing our proposed intervention mechanisms on diverse datasets; and 3. results from a three-week online experiment conducted on a leading short-video recommendation platform.


title: Elliptic Exceptional Belyi Coverings

abstract: An elliptic exceptional Belyi covering is a connected Belyi covering uniquely determined by its ramification scheme or the respective dessin d'enfant when the underlying compact Riemann surface has genus 1. We give our Maple algorithm and table that display our calculations for elliptic exceptional Belyi coverings up to degree 12.


title: Riemannian Optimization for Active Mapping with Robot Teams

abstract: Autonomous exploration of unknown environments using a team of mobile robots demands distributed perception and planning strategies to enable efficient and scalable performance. Ideally, each robot should update its map and plan its motion not only relying on its own observations, but also considering the observations of its peers. Centralized solutions to multi-robot coordination are susceptible to central node failure and require a sophisticated communication infrastructure for reliable operation. Current decentralized active mapping methods consider simplistic robot models with linear-Gaussian observations and Euclidean robot states. In this work, we present a distributed multi-robot mapping and planning method, called Riemannian Optimization for Active Mapping (ROAM). We formulate an optimization problem over a graph with node variables belonging to a Riemannian manifold and a consensus constraint requiring feasible solutions to agree on the node variables. We develop a distributed Riemannian optimization algorithm that relies only on one-hop communication to solve the problem with consensus and optimality guarantees. We show that multi-robot active mapping can be achieved via two applications of our distributed Riemannian optimization over different manifolds: distributed estimation of a 3-D semantic map and distributed planning of SE(3) trajectories that minimize map uncertainty. We demonstrate the performance of ROAM in simulation and real-world experiments using a team of robots with RGB-D cameras.


title: BlockLLM: Multi-tenant Finer-grained Serving for Large Language Models

abstract: The growing demand for Large Language Models (LLMs) across diverse applications has prompted a paradigm shift in the design of deep learning serving systems. Deploying LLMs, especially in multi-tenant environments, presents considerable challenges due to their high computational and memory demands. We present BlockLLM, a serving system that exploits the potential of sharing components among fine-tuned LLM models to offer an efficient and flexible solution for LLM workloads. BlockLLM partitions the models into finer-grained blocks to enable the reuse of model components and independent provisioning to improve the computation efficiency. BlockLLM consists of an offline block zoo, for storing the blocks, and an online system to serve the requests through chains of blocks. It offers multi-fold flexibility: (1) Adaptive assembly of block chains on-the-fly is achieved with the help of equivalence evaluation among blocks in the zoo. (2) We enable per-block batch size and configure best-effort KV cache coordination at individual block level. (3) We adopt speculative execution and locality-aware block placement to mitigate the communication costs from dynamic block resource allocation. Our evaluation demonstrates that BlockLLM reduces memory and storage footprints and improves computation efficiency, outperforming existing serving approach in 95\%ile latency and GPU utilization by 33.5\% and 20.1\%, respectively.


title: Flow-based Nonperturbative Simulation of First-order Phase Transitions

abstract: We present a flow-based method for simulating and calculating nucleation rates of first-order phase transitions in scalar field theory on a lattice. Motivated by recent advancements in machine learning tools, particularly normalizing flows for lattice field theory, we propose the ``partitioning flow-based Markov chain Monte Carlo (PFMCMC) sampling" method to address two challenges encountered in normalizing flow applications for lattice field theory: the ``mode-collapse" and ``rare-event sampling" problems. Using a (2+1)-dimensional real scalar model as an example, we demonstrate the effectiveness of our PFMCMC method in modeling highly hierarchical order parameter probability distributions and simulating critical bubble configurations. These simulations are then used to facilitate the calculation of nucleation rates. We anticipate the application of this method to (3+1)-dimensional theories for studying realistic cosmological phase transitions.


title: Casimir force within Ising chain with competing interactions

abstract: We derive exact results for the critical Casimir force (CCF) within the one-dimensional Ising model with periodic boundary conditions (PBC's) and long-range equivalent-neighbor ferromagnetic interactions of strength $J_{l}/N>0$ superimposed on the nearest-neighbor interactions of strength $J_{s}$ which could be either ferromagnetic ($J_{s}>0$) or antiferromagnetic ($J_{s}<0$). In the infinite system limit the model, also known as the Nagle-Kardar model, exhibits in the plane $(K_s=\beta J_s,K_l=\beta J_l)$ a critical line $2 K_l=\exp{\left(-2 K_s\right)}, K_s>-\ln3/4$, which ends at a tricritical point $(K_l=-\sqrt{3}/2, K_s=-\ln3/4)$. The critical Casimir amplitudes are: $\Delta_{\rm Cas}^{\rm (cr)}=1/4$ at the critical line, and $\Delta_{\rm Cas}^{\rm (tr)}=1/3$ at the tricritical point. Quite unexpectedly, with the imposed PBC's the CCF exhibits very unusual behavior as a function of temperature and magnetic field. It is repulsive near the critical line and tricritical point, decaying rapidly with separation from those two singular regimes fast away from them and becoming attractive, displaying in which the maximum amplitude of the attraction exceeds the maximum amplitude of repulsion. This represents a violation of the widely-accepted "boundary condition rule", which holds that the CCF is attractive for equivalent BC's and repulsive for conflicting BC's independently of the actual bulk universality class of the phase transition under investigation.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP


title: Canonical extensions via fitted sublocales

abstract: We build on a recent result stating that the frame $\mathsf{SE}(L)$ of strongly exact filters for a frame $L$ is anti-isomorphic to the coframe $\mathsf{S}_o(L)$ of fitted sublocales. The collection $\mathsf{E}(L)$ of exact filters of $L$ is known to be a sublocale of this frame. We consider several other subcollections of $\mathsf{SE}(L)$: the collections $\mathcal{J}(\mathsf{CP}(L))$ and $\mathcal{J}(\mathsf{SO}(L))$ of intersections of completely prime and Scott-open filters, respectively, and the collection $\mathsf{R}(L)$ of regular elements of the frame of filters. We show that all of these are sublocales of $\mathsf{SE}(L)$, and as such they correspond to subcolocales of $\mathsf{S}_o(L)$, which all turn out to have a concise description. By using the theory of polarities of Birkhoff, one can show that all of the structures mentioned above enjoy universal properties which are variations of that of the canonical extension. We also show how some of these subcollections can be described as polarities and give three new equivalent definitions of subfitness in terms of the lattice of filters.


title: SAFE-RL: Saliency-Aware Counterfactual Explainer for Deep Reinforcement Learning Policies

abstract: While Deep Reinforcement Learning (DRL) has emerged as a promising solution for intricate control tasks, the lack of explainability of the learned policies impedes its uptake in safety-critical applications, such as automated driving systems (ADS). Counterfactual (CF) explanations have recently gained prominence for their ability to interpret black-box Deep Learning (DL) models. CF examples are associated with minimal changes in the input, resulting in a complementary output by the DL model. Finding such alternations, particularly for high-dimensional visual inputs, poses significant challenges. Besides, the temporal dependency introduced by the reliance of the DRL agent action on a history of past state observations further complicates the generation of CF examples. To address these challenges, we propose using a saliency map to identify the most influential input pixels across the sequence of past observed states by the agent. Then, we feed this map to a deep generative model, enabling the generation of plausible CFs with constrained modifications centred on the salient regions. We evaluate the effectiveness of our framework in diverse domains, including ADS, Atari Pong, Pacman and space-invaders games, using traditional performance metrics such as validity, proximity and sparsity. Experimental results demonstrate that this framework generates more informative and plausible CFs than the state-of-the-art for a wide range of environments and DRL agents. In order to foster research in this area, we have made our datasets and codes publicly available at https://github.com/Amir-Samadi/SAFE-RL.


title: MultiMAE-DER: Multimodal Masked Autoencoder for Dynamic Emotion Recognition

abstract: This paper presents a novel approach to processing multimodal data for dynamic emotion recognition, named as the Multimodal Masked Autoencoder for Dynamic Emotion Recognition (MultiMAE-DER). The MultiMAE-DER leverages the closely correlated representation information within spatiotemporal sequences across visual and audio modalities. By utilizing a pre-trained masked autoencoder model, the MultiMAEDER is accomplished through simple, straightforward finetuning. The performance of the MultiMAE-DER is enhanced by optimizing six fusion strategies for multimodal input sequences. These strategies address dynamic feature correlations within cross-domain data across spatial, temporal, and spatiotemporal sequences. In comparison to state-of-the-art multimodal supervised learning models for dynamic emotion recognition, MultiMAE-DER enhances the weighted average recall (WAR) by 4.41% on the RAVDESS dataset and by 2.06% on the CREMAD. Furthermore, when compared with the state-of-the-art model of multimodal self-supervised learning, MultiMAE-DER achieves a 1.86% higher WAR on the IEMOCAP dataset.


title: Multi-stage Attack Detection and Prediction Using Graph Neural Networks: An IoT Feasibility Study

abstract: With the ever-increasing reliance on digital networks for various aspects of modern life, ensuring their security has become a critical challenge. Intrusion Detection Systems play a crucial role in ensuring network security, actively identifying and mitigating malicious behaviours. However, the relentless advancement of cyber-threats has rendered traditional/classical approaches insufficient in addressing the sophistication and complexity of attacks. This paper proposes a novel 3-stage intrusion detection system inspired by a simplified version of the Lockheed Martin cyber kill chain to detect advanced multi-step attacks. The proposed approach consists of three models, each responsible for detecting a group of attacks with common characteristics. The detection outcome of the first two stages is used to conduct a feasibility study on the possibility of predicting attacks in the third stage. Using the ToN IoT dataset, we achieved an average of 94% F1-Score among different stages, outperforming the benchmark approaches based on Random-forest model. Finally, we comment on the feasibility of this approach to be integrated in a real-world system and propose various possible future work.


title: Quantized Born Effective charges as probes for the topological phase transition in the Haldane and Kane-Mele models

abstract: We propose a new approach to study the transition between different topological states, based on the assessment of the vibrational resonances in infrared spectra. We consider the Haldane and Kane-Mele models finding that Born effective charges are nearly quantized, with a discontinuous jump concomitant with the topological phase transition. In particular, Born effective charges display a finite value in the trivial phase and a null one in the nontrivial one. This is rooted in the connection between Born effective charges and electronic Berry curvature at the band edges. Finally, at the topological phase transition of the Haldane model, we also observe a nearly quantized jump of the chiral splitting of the zone-center phonon frequencies, induced by time-reversal symmetry breaking.


title: Studies of stationary features in jets: BL Lacertae II. Trajectory reversals and superluminal speeds on sub-parsec scales

abstract: High resolution VLBI observations revealed a quasi-stationary component (QSC) in the relativistic jets of many blazars, which represents a standing recollimation shock. The VLBA monitoring of the BL Lacertae jet at 15~GHz shows the QSC at a projected distance of about 0.26~mas from the radio core. We study the trajectory and kinematics of the QSC in BL Lacertae on sub-parsec scales using 15~GHz VLBA maps of 164 observations over 20 years from the MOJAVE program and 2~cm VLBA Survey. To reconstruct the QSC's intrinsic trajectory, we use moving average and trajectory refinement procedures to smooth out the effects of core displacement and account for QSC positioning errors. We identified 22 QSC reversal patterns on spatial scales ranging from 0.01~mas to 0.05~mas and with a frequency of $\sim 1.5$ per year. Most reversals have an acute angle $<90\degr$ at the turning point, and few have a loop-shaped or arc-shaped trajectory. The directions of reversals (clockwise or counterclockwise) appear to be random. Combinations of reversals show reversible and quasi-periodic motion. We propose a model in which the reverse motion of the QSC is due to the passage of a relativistic transverse jet wave through a fixed location of the QSC, similar to the transverse motion of a seagull on a wave. The QSC motion is governed by the amplitude, velocity, and tilt of the relativistic transverse wave. According to the model, relativistic waves are generated upstream of QSC. In the active state of the jet, the directions of the twisting waves are random, similar to the behaviour of the wave in a high-pressure hose, while in the jet stable state, the wave makes quasi-periodic oscillations with regular twisting. In this model the transverse speed of the QSC in the host galaxy frame is subluminal ($<0.3\,c$), but to an observer it appears superluminal ($\sim 2\,c$).


title: Multi-Robot Object SLAM using Distributed Variational Inference

abstract: Multi-robot simultaneous localization and mapping (SLAM) enables a robot team to achieve coordinated tasks relying on a common map. However, centralized processing of robot observations is undesirable because it creates a single point of failure and requires pre-existing infrastructure and significant multi-hop communication throughput. This paper formulates multi-robot object SLAM as a variational inference problem over a communication graph. We impose a consensus constraint on the objects maintained by different nodes to ensure agreement on a common map. To solve the problem, we develop a distributed mirror descent algorithm with a regularization term enforcing consensus. Using Gaussian distributions in the algorithm, we derive a distributed multi-state constraint Kalman filter (MSCKF) for multi-robot object SLAM. Experiments on real and simulated data show that our method improves the trajectory and object estimates, compared to individual-robot SLAM, while achieving better scaling to large robot teams, compared to centralized multi-robot SLAM. Code is available at https://github.com/intrepidChw/distributed_msckf.


title: Moment-SOS relaxations for moment and tensor recovery problems

abstract: This paper studies moment and tensor recovery problems whose decomposing vectors are contained in some given semialgebraic sets. We propose Moment-SOS relaxations with generic objectives for recovering moments and tensors, whose decomposition lengths are expected to be low. This kind of problems have broad applications in various tensor decomposition questions. Numerical experiments are provided to demonstrate the efficiency of this approach.


title: $H^2$-regularity for stationary and non-stationary Bingham problems with perfect slip boundary condition

abstract: $H^2$-spatial regularity of stationary and non-stationary problems for Bingham fluids formulated with the pseudo-stress tensor is discussed. The problem is mathematically described by an elliptic or parabolic variational inequality of the second kind, to which weak solvability in the Sobolev space $H^1$ is well known. However, higher regularity up to the boundary in a bounded smooth domain seems to remain open. This paper indeed shows such $H^2$-regularity if the problems are supplemented with the so-called perfect slip boundary condition. For the stationary Bingham-Stokes problem, the key of the proof lies in a priori estimates for a regularized problem avoiding investigation of higher pressure regularity, which seems difficult to get in the presence of a singular diffusion term. The $H^2$-regularity for the stationary case is then directly applied to establish strong solvability of the non-stationary Bingham-Navier-Stokes problem, based on discretization in time and on the truncation of the nonlinear convection term.


title: The Asymmetric Bipolar Fe II Jet and H2 Outflow of TMC1A Resolved with JWST's NIRSpec IFU

abstract: (abridged) Protostellar outflows exhibit large variations in their structure depending on the observed gas emission. This study analyzes the atomic jet and molecular outflow in the Class I protostar, TMC1A to characterize morphology and identify previously undetected spatial features with JWST's NIRSpec IFU. In addition to identifying a large number of Fe II and H2 lines, we have detected the bipolar Fe jet by revealing, for the first time, the presence of a red-shifted atomic jet. Similarly, the red-shifted component of the H2 slower wide-angle outflow is observed. Both Fe II and H2 red-shifted emission exhibit significantly lower flux densities compared to their blue-shifted counterparts. Additionally, we report the detection of a collimated high-velocity (100 km s-1), blue-shifted H2 outflow, suggesting the presence of a molecular jet in addition to the well-known wider angle low-velocity structure. The Fe II and H2 jets show multiple intensity peaks along the jet axis, which may be associated with ongoing or recent outburst events. In addition to the variation in their intensities, the H2 wide-angle outflow exhibits a "ring"-like structure. The blue-shifted H2 outflow also shows a left-right brightness asymmetry likely due to interactions with the surrounding ambient medium and molecular outflows. Using the Fe II line ratios, the extinction along the atomic jet is estimated to be between Av = 10-30 on the blue-shifted side, with a trend of decreasing extinction with distance from the protostar. A similar Av is found for the red-shifted side, supporting the argument for an intrinsic red-blue outflow lobe asymmetry rather than environmental effects such as extinction. This intrinsic difference revealed by the unprecedented sensitivity of JWST, suggests that younger outflows already exhibit the red-blue side asymmetry more commonly observed towards jets associated with Class II disks.


title: Numerical investigation of fluid-structure interaction in a pilot-operated microfluidic valve

abstract: The present paper is concerned with numerical investigation of the performance of a pilot-operated control valve based on shape memory alloy actuation control. The valve under investigation can be integrated into miniaturized hydraulic systems and is developed to perform precise dispensing, mixing, or dosing tasks while being able to withstand relatively high pressure differences. The study evaluates the valve's response under the current ON/OFF and the desired proportional control regimes using numerical methods for fluid-structure interaction. The computational model replicates the operation of the valve, which requires an understanding of the complex interactions between the fluid flow with the pressurized valve and the contact with the valve seat during the opening and closing processes. In addition, the model leverages advanced numerical techniques to overcome several complexities arising mainly from the geometrical, material, and contact nonlinearities, and to mitigate the shortcomings of the partitioned fluid-structure interaction approach. Several simulations are conducted to examine the valve's structural and flow behavior under varying pressure conditions. Results indicate that the valve is adequate for ON/OFF actuation control but is susceptible to flow-induced vibrations during the proportional control regime that occurs due to the sharp pressure drop in the valve-seat gap and the ensuing Venturi effect, which counteract the opening of the main valve. The fluid-structure-interaction simulations provide insight into the mechanism underlying the flow-induced vibrations, which can serve to improve the design and enhance the performance of the valve in microfluidic applications.


title: Mutation of $n$-cotorsion pairs in triangulated categories

abstract: In this article, we define the notion of $n$-cotorsion pairs in triangulated categories, which is a generalization of the classical cotorsion pairs. We prove that any mutation of an $n$-cotorsion pair is again an $n$-cotorsion pair. When $n=1$, this result generalizes the work of Zhou and Zhu for classical cotorsion pairs. As applications, we give a geometric characterization of $n$-cotorsion pairs in $n$-cluster categories of type $A$ and give a geometric realization of mutation of $n$-cotorsion pairs via rotation of certain configurations of $n$-diagonals.


title: Additive Spanner Lower Bounds with Optimal Inner Graph Structure

abstract: We construct $n$-node graphs on which any $O(n)$-size spanner has additive error at least $+\Omega(n^{3/17})$, improving on the previous best lower bound of $\Omega(n^{1/7})$ [Bodwin-Hoppenworth FOCS '22]. Our construction completes the first two steps of a particular three-step research program, introduced in prior work and overviewed here, aimed at producing tight bounds for the problem by aligning aspects of the upper and lower bound constructions. More specifically, we develop techniques that enable the use of inner graphs in the lower bound framework whose technical properties are provably tight with the corresponding assumptions made in the upper bounds. As an additional application of our techniques, we improve the corresponding lower bound for $O(n)$-size additive emulators to $+\Omega(n^{1/14})$.


title: An extension of the box method discrete fracture model (Box-DFM) to include low-permeable barriers with minimal additional degrees of freedom

abstract: The box method discrete fracture model (Box-DFM) is an important finite volume-based discrete fracture model (DFM) to simulate flows in fractured porous media. In this paper, we investigate a simple but effective extension of the box method discrete fracture model to include low-permeable barriers. The method remains identical to the traditional Box-DFM [41, 48] in the absence of barriers. The inclusion of barriers requires only minimal additional degrees of freedom to accommodate pressure discontinuities and necessitates minor modifications to the original coding framework of the Box-DFM. We use extensive numerical tests on published benchmark problems and comparison with existing finite volume DFMs to demonstrate the validity and performance of the method.


title: Non-Linear Traces on Semifinite Factors and Generalized Singular Numbers

abstract: We introduce non-linear traces of the Choquet type and Sugeno type on a semifinite factor $\mathcal{M}$ as a non-commutative analog of the Choquet integral and Sugeno integral for non-additive measures. We need weighted dimension function $p \mapsto \alpha(\tau(p))$ for projections $p \in \mathcal{M}$, which is an analog of a monotone measure. They have certain partial additivities. We show that these partial additivities characterize non-linear traces of both the Choquet type and Sugeno type respectively. Based on the notion of generalized eigenvalues and singular values, we show that non-linear traces of the Choquet type are closely related to the Lorentz function spaces and the Lorentz operator spaces if the weight functions $\alpha$ are concave. For the algebras of compact operators and factors of type ${\rm II}$, we completely determine the condition that the associated weighted $L^p$-spaces for the non-linear traces become quasi-normed spaces in terms of the weight functions $\alpha$ for any $0 < p < \infty$. We also show that any non-linear trace of the Sugeno type gives a certain metric on the factor. This is an attempt at non-linear and non-commutative integration theory on semifinite factors.


title: Interfacial Rheology of Lanthanide Binding Peptide Surfactants at the Air-Water Interface

abstract: Peptide surfactants (PEPS) are studied to capture and retain rare earth elements (REEs) at air-water interfaces to enable REE separations. Peptide sequences, designed to selectively bind REEs, depend crucially on the position of ligands within their binding loop domain. These ligands form a coordination sphere that wraps and retains the cation. We study variants of lanthanide binding tags (LBTs) designed to complex strongly with Tb$^{3+}$. The peptide LBT$^{5-}$ (with net charge -5) is known to bind Tb$^{3+}$ and adsorb with more REE cations than peptide molecules, suggesting that undesired non-specific Coulombic interactions occur. Rheological characterization of interfaces of LBT$^{5-}$ and Tb$^{3+}$ solutions reveal the formation of an interfacial gel. To probe whether this gelation reflects chelation among intact adsorbed LBT$^{5-}$:Tb$^{3+}$ complexes or destruction of the binding loop, we study a variant, LBT$^{3-}$, designed to form net neutral LBT$^{3-}$:Tb$^{3+}$ complexes. Solutions of LBT$^{3-}$ and Tb$^{3+}$ form purely viscous layers in the presence of excess Tb$^{3+}$, indicating that each peptide binds a single REE in an intact coordination sphere. We introduce the variant RR-LBT$^{3-}$ with net charge -3 and anionic ligands outside of the coordination sphere. We find that such exposed ligands promote interfacial gelation. Thus, a nuanced requirement for interfacial selectivity of PEPS is proposed: that anionic ligands outside of the coordination sphere must be avoided to prevent the non-selective recruitment of REE cations. This view is supported by simulation, including interfacial molecular dynamics simulations, and interfacial metadynamics simulations of the free energy landscape of the binding loop conformational space.


title: Slopes of fibrations with trivial vertical fundamental groups

abstract: Kodaira fibrations have non-trivial vertical fundamental groups and their slopes are all $12$. In this paper, we show that $12$ is indeed the sharp upper bound for the slopes of fibrations with trivial vertical fundamental groups. Precisely, for each $g\geq3$ we prove the existence of fibrations of genus $g$ with trivial vertical fundamental groups whose slopes can be arbitrarily close to $12$. This gives a relative analogy of Roulleau-Urz\'ua's work on the slopes of surfaces of general type with trivial fundamental groups.


title: On the Trace of $W_{a}^{m+1,1}(\mathbb{R}_{+}^{n+1})$

abstract: In this paper, we give a simple proof that any function in the Besov space $B^{m-a,1}(\mathbb{R}^{n})$ can be extended to a function in $W_{a}^{m+1,1}(\mathbb{R}_{+}^{n+1})$. In particular, utilizing the intrinsic seminorm in $B^{m-a,1}(\mathbb{R}^{n})$, we show that either a suitably scaled heat extension or the harmonic extension provides one with the desired lifting.


title: G-Refine: A General Quality Refiner for Text-to-Image Generation

abstract: With the evolution of Text-to-Image (T2I) models, the quality defects of AI-Generated Images (AIGIs) pose a significant barrier to their widespread adoption. In terms of both perception and alignment, existing models cannot always guarantee high-quality results. To mitigate this limitation, we introduce G-Refine, a general image quality refiner designed to enhance low-quality images without compromising the integrity of high-quality ones. The model is composed of three interconnected modules: a perception quality indicator, an alignment quality indicator, and a general quality enhancement module. Based on the mechanisms of the Human Visual System (HVS) and syntax trees, the first two indicators can respectively identify the perception and alignment deficiencies, and the last module can apply targeted quality enhancement accordingly. Extensive experimentation reveals that when compared to alternative optimization methods, AIGIs after G-Refine outperform in 10+ quality metrics across 4 databases. This improvement significantly contributes to the practical application of contemporary T2I models, paving the way for their broader adoption. The code will be released on https://github.com/Q-Future/Q-Refine.


title: Some Computational Results on Koszul-Vinberg Cochain Complexes

abstract: An affine connection is said to be flat if its curvature tensor vanishes identically. Koszul-Vinberg (KV for abbreviation) cohomology has been invoked to study the deformation theory of flat and torsion-free affine connections on tangent bundle. In this Note, we compute explicitly the differentials of various specific KV cochains, and study their relation to classical objects in information geometry, including deformations associated with projective and dual-projective transformations of a flat and torsion-free affine connection. As an application, we also give a simple yet non-trivial example of a KV algebra of which second cohomology group does not vanish.


title: Parameter optimization of Josephson parametric amplifiers using a heuristic search algorithm for axion haloscope search

abstract: The cavity haloscope is among the most widely adopted experimental platforms designed to detect dark matter axions with its principle relying on the conversion of axions into microwave photons in the presence of a strong magnetic field. The Josephson parametric amplifier (JPA), known for its quantum-limited noise characteristics, has been incorporated in the detection system to capture the weakly interacting axion signals. However, the performance of the JPA can be influenced by its environment, leading to potential unreliability of a predefined parameter set obtained in a specific laboratory setting. Furthermore, conducting a broadband search requires consecutive characterization of the amplifier across different tuning frequencies. To ensure more reliable measurements, we utilize the Nelder-Mead technique as a numerical search method to dynamically determine the optimal operating conditions. This heuristic search algorithm explores the multidimensional parameter space of the JPA, optimizing critical characteristics such as gain and noise temperature to maximize signal-to-noise ratios for a given experimental setup. Our study presents a comprehensive analysis of the properties of a flux-driven JPA to demonstrate the effectiveness of the algorithm. This approach contributes to ongoing efforts in axion dark matter research by offering an efficient method to enhance axion detection sensitivity through the optimized utilization of JPAs.


title: Constraints on Tsallis cosmology using recent low redshift measurements

abstract: Recently Tsallis cosmology has been presented as a novel proposal for alleviating both $H_0$ and $\sigma_8$ tensions. Hence a universe filled with matter and radiation as perfect fluids and considering the Tsallis entropy is confronted using recent cosmological measurements coming from cosmic chronometers, type Ia supernovae, hydrogen II galaxies, quasars, and baryon acoustic oscillations. Following a Bayesian Markov Chain Monte Carlo analysis and combining the samples, we constrain the main characteristic parameters $\alpha = 1.031^{+0.054}_{-0.051}$ and $\delta = 1.005^{+0.001}_{-0.001}$ where the uncertainties are $1\sigma$ confidence level. Additionally, we estimate the today deceleration parameter $q_0=-0.530^{+0.018}_{-0.017}$, the deceleration-acceleration transition redshift $z_T=0.632^{+0.028}_{-0.028}$ and the age of the universe $\tau_U = 12.637^{+0.067}_{-0.066}\,\rm{Gyrs}$ which are in agreement with the standard cosmology ($\Lambda$CDM) within $1.5\sigma$. Furthermore, we find that the dark energy equation of state is consistent with both phantom and quintessence behaviors within $1\sigma$ in the past and converging to $\Lambda$CDM in the future. Finally, Tsallis cosmology is preferred over $\Lambda$CDM by the combined data, suggesting further studies at the perturbation level.


title: Helical Phononic Modes Induced by a Screw Dislocation

abstract: In this study, we investigate a one-dimensional (1D) unidirectional phononic waveguide embedded within a three-dimensional (3D) hexagonal close-packed phononic crystal, achieved by the introduction of a screw dislocation. This approach does not rely on the non-trivial topological characteristics of the 3D crystal. We discover that this dislocation induces a pair of helical modes, characterized by their orthogonal $x$- and $y$-directional displacements being out of phase by 90 degrees, which results in a distinctive rotational motion. These helical modes demonstrate directional propagation, tightly linked to the helicity of the screw dislocation. Through considerations of symmetry, we reveal that the emergence of these helical modes is governed by the symmetry of the screw dislocation itself. Our findings not only provide insights into the interplay between dislocation-induced symmetry and wave propagation in phononic systems but also open new avenues for designing directionally selective waveguides without relying on the crystal's topological properties.


title: Bilinear optimal control for the Stokes-Brinkman equations: a priori and a posteriori error analyses

abstract: We analyze a bilinear optimal control problem for the Stokes--Brinkman equations: the control variable enters the state equations as a coefficient. In two- and three-dimensional Lipschitz domains, we perform a complete continuous analysis that includes the existence of solutions and first- and second-order optimality conditions. We also develop two finite element methods that differ fundamentally in whether the admissible control set is discretized or not. For each of the proposed methods, we perform a convergence analysis and derive a priori error estimates; the latter under the assumption that the domain is convex. Finally, assuming that the domain is Lipschitz, we develop an a posteriori error estimator for each discretization scheme, obtain a global reliability bound, and investigate local efficiency estimates.


title: Turbulence statistics of HI clouds entrained in the Milky Way's nuclear wind

abstract: The interstellar medium (ISM) is ubiquitously turbulent across many physically distinct environments within the Galaxy. Turbulence is key in controlling the structure and dynamics of the ISM, regulating star formation, and transporting metals within the Galaxy. We present the first observational measurements of turbulence in neutral hydrogen entrained in the hot nuclear wind of the Milky Way. Using recent MeerKAT observations of two extra-planar HI clouds above (gal. lat.$\,\sim7.0^{\circ}$) and below (gal. lat.$\,\sim-3.9^{\circ}$) the Galactic disc, we analyse centroid velocity and column density maps to estimate the velocity dispersion ($\sigma_{v,\mathrm{3D}}$), the turbulent sonic Mach number ($\mathcal{M}$), the volume density dispersion ($\sigma_{\rho/\rho_0}$), and the turbulence driving parameter ($b$). We also present a new prescription for estimating the spatial temperature variations of HI in the presence of related molecular gas. We measure these turbulence quantities on the global scale of each cloud, but also spatially map their variation across the plane-of-sky extent of each cloud by using a roving kernel method. We find that the two clouds share very similar characteristics of their internal turbulence, despite their varying latitudes. Both clouds are in the sub-to-trans-sonic Mach regime, and have primarily compressively-driven ($b\sim1$) turbulence. Given that there is no known active star-formation present in these clouds, this may be indicative of the way the cloud-wind interaction injects energy into the entrained atomic material on parsec scales.


title: L-DIT: A dApp for Live Detectability, Identifiability and Trackability for ASOs on the Behavioral Dynamics Blockchain

abstract: As the number of Anthropogenic Space Objects (ASOs) grows, there is an urgent need to ensure space safety, security, and sustainability (S3) for long-term space use. Currently, no globally effective method can quantify the safety, security, and Sustainability of all ASOs in orbit. Existing methods such as the Space Sustainability Rating (SSR) rely on volunteering private information to provide sustainability ratings. However, the need for such sensitive data might prove to be a barrier to adoption for space entities. For effective comparison of ASOs, the rating mechanism should apply to all ASOs, even retroactively, so that the sustainability of a single ASO can be assessed holistically. Lastly, geopolitical boundaries and alignments play a crucial and limiting role in a volunteered rating system, limiting the space safety, security, and sustainability. This work presents a Live Detectability, Identifiability, and Trackability (L-DIT) score through a distributed app (dApp) built on top of the Behavioral Dynamics blockchain (BDB). The BDB chain is a space situational awareness (SSA) chain that provides verified and cross-checked ASO data from multiple sources. This unique combination of consensus-based information from BDB and permissionless access to data allows the DIT scoring method presented here to be applied to all ASOs. While the underlying BDB chain collects, filters, and validates SSA data from various open (and closed if available) sources, the L-DIT dApp consumes the data from the chain to provide L-DIT score that can contribute towards an operator's, manufacturer's, or owner's sustainability practices. Our dApp provides data for all ASOs, allowing their sustainability score to be compared against other ASOs, regardless of geopolitical alignments, providing business value to entities such as space insurance providers and enabling compliance validation and enforcement.


title: Maximal Ideals in Commutative Rings and the Axiom of Choice

abstract: It is well-known that within Zermelo-Fraenkel set theory (ZF), the Axiom of Choice (AC) implies the Maximal Ideal Theorem (MIT), namely that every nontrivial commutative ring has a maximal ideal. The converse implication MIT $\Rightarrow$ AC was first proved by Hodges, with subsequent proofs given by Banaschewski and Ern\'e. Here we give another derivation of MIT $\Rightarrow$ AC, aiming to make the exposition self-contained and accessible to non-experts with only introductory familiarity with commutative ring theory and naive set theory.


title: Post-hoc and manifold explanations analysis of facial expression data based on deep learning

abstract: The complex information processing system of humans generates a lot of objective and subjective evaluations, making the exploration of human cognitive products of great cutting-edge theoretical value. In recent years, deep learning technologies, which are inspired by biological brain mechanisms, have made significant strides in the application of psychological or cognitive scientific research, particularly in the memorization and recognition of facial data. This paper investigates through experimental research how neural networks process and store facial expression data and associate these data with a range of psychological attributes produced by humans. Researchers utilized deep learning model VGG16, demonstrating that neural networks can learn and reproduce key features of facial data, thereby storing image memories. Moreover, the experimental results reveal the potential of deep learning models in understanding human emotions and cognitive processes and establish a manifold visualization interpretation of cognitive products or psychological attributes from a non-Euclidean space perspective, offering new insights into enhancing the explainability of AI. This study not only advances the application of AI technology in the field of psychology but also provides a new psychological theoretical understanding the information processing of the AI. The code is available in here: https://github.com/NKUShaw/Psychoinformatics.


title: Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models

abstract: This study provides a comparative analysis of state-of-the-art large language models (LLMs), analyzing how likely they generate vulnerabilities when writing simple C programs using a neutral zero-shot prompt. We address a significant gap in the literature concerning the security properties of code produced by these models without specific directives. N. Tihanyi et al. introduced the FormAI dataset at PROMISE '23, containing 112,000 GPT-3.5-generated C programs, with over 51.24% identified as vulnerable. We expand that work by introducing the FormAI-v2 dataset comprising 265,000 compilable C programs generated using various LLMs, including robust models such as Google's GEMINI-pro, OpenAI's GPT-4, and TII's 180 billion-parameter Falcon, to Meta's specialized 13 billion-parameter CodeLLama2 and various other compact models. Each program in the dataset is labelled based on the vulnerabilities detected in its source code through formal verification using the Efficient SMT-based Context-Bounded Model Checker (ESBMC). This technique eliminates false positives by delivering a counterexample and ensures the exclusion of false negatives by completing the verification process. Our study reveals that at least 63.47% of the generated programs are vulnerable. The differences between the models are minor, as they all display similar coding errors with slight variations. Our research highlights that while LLMs offer promising capabilities for code generation, deploying their output in a production environment requires risk assessment and validation.


title: Narrow-linewidth exciton-polariton laser

abstract: Exciton-polariton laser is a promising source of coherent light for low-energy applications due to its low-threshold operation. However, a detailed experimental study of its spectral purity, which directly affects its coherence properties is still missing. Here}, we present a high-resolution spectroscopic investigation of the energy and linewidth of an exciton-polariton laser in the single-mode regime, which derives its coherent emission from an optically pumped and confined exciton-polariton condensate. We report an ultra-narrow linewidth of 56~MHz or 0.24~$\mu$eV, corresponding to a coherence time of 5.7~ns. The narrow linewidth is consistently achieved by using an exciton-polariton condensate with a high photonic content confined in an optically induced trap. Contrary to previous studies, we show that the excitonic reservoir created by the pump and responsible for creating the trap does not strongly affect the emission linewidth as long as the condensate is trapped and the pump power is well above the condensation (lasing) threshold. \red{The long coherence time of the exciton-polariton system uncovered here opens up opportunities for manipulating its macroscopic quantum state, which is essential for applications in classical and quantum computing.


title: Pi\`eces de viole des Cinq Livres and their statistical signatures: the musical work of Marin Marais and Jordi Savall

abstract: This study analyzes the spectrum of audio signals related to the work of "Pi\`eces de viole des Cinq Livres" based on the collaborative work between Marin Marais and Jordi Savall for the underlying musical information. In particular, we explore the identification of possible statistical signatures related to this musical work. Based on the complex systems approach, we compute the spectrum of audio signals, analyze and identify their best-fit statistical distributions, and plot their relative frequencies using the scientific pitch notation. Findings suggest that the collection of frequency components related to the spectrum of each of the books that form this audio work show highly skewed and associated statistical distributions. Therefore, the most frequent statistical distribution that best describes the collection of these audio data and may be associated with a singular statistical signature is the exponential.


title: FEDQ-Trust: Efficient Data-Driven Trust Prediction for Mobile Edge-Based IoT Systems

abstract: We introduce FEDQ-Trust, an innovative data-driven trust prediction approach designed for mobile edge-based Internet of Things (IoT) environments. The decentralized nature of mobile edge environments introduces challenges due to variations in data distribution, impacting the accuracy and training efficiency of existing distributed data-driven trust prediction models. FEDQ-Trust effectively tackles the statistical heterogeneity challenges by integrating Federated Expectation-Maximization with Deep Q Networks. Federated Expectation-Maximization's robust handling of statistical heterogeneity significantly enhances trust prediction accuracy. Meanwhile, Deep Q Networks streamlines the model training process, efficiently reducing the number of training clients while maintaining model performance. We conducted a suite of experiments within simulated MEC-based IoT settings by leveraging two real-world IoT datasets. The experimental results demonstrate that our model achieved a significant convergence time reduction of 97% to 99% while ensuring a notable improvement of 8% to 14% in accuracy compared to state-of-the-art models.


title: Display in the Air: Balancing Distraction and Workload in AR Glasses Interfaces for Driving Navigation

abstract: Augmented Reality (AR) navigation via Head-Mounted Displays (HMDs), particularly AR glasses, is revolutionizing the driving experience by integrating real-time routing information into the driver's field of view. Despite the potential of AR glasses, the question of how to display navigation information on the interface of these devices remains a valuable yet relatively unexplored research area. This study employs a mixed-method approach involving 32 participants, combining qualitative feedback from semi-structured interviews with quantitative data from usability questionnaires in both simulated and real-world scenarios. Highlighting the necessity of real-world testing, the research evaluates the impact of five icon placements on the efficiency and effectiveness of information perception in both environments. The experiment results indicate a preference for non-central icon placements, especially bottom-center in real world, which mostly balances distraction and workload for the driver. Moreover, these findings contribute to the formulation of four specific design implications for augmented reality interfaces and systems. This research advances the understanding of AR glasses in driving assistance and sets the stage for further developments in this emerging technology field.


title: CP violation in the CKM mixing for degenerate quark masses

abstract: CP violation in the CKM mixing is discussed for the case of quark mass degeneracy that is approximate in the quark mass hierarchy limit. Differing from the traditional understanding of CP vanishing for degenerate masses, we find degenerate symmetry plays a non-trivial role in CP violation. The minimal flavor structure model is reviewed to demonstrate the role of degenerate symmetry in quark flavor mixing, particularly in CP violation. This relation between mass hierarchy and CP violation helps us understand the origin of CP violation and assists the construction of the flavor model.


title: FoundaBench: Evaluating Chinese Fundamental Knowledge Capabilities of Large Language Models

abstract: In the burgeoning field of large language models (LLMs), the assessment of fundamental knowledge remains a critical challenge, particularly for models tailored to Chinese language and culture. This paper introduces FoundaBench, a pioneering benchmark designed to rigorously evaluate the fundamental knowledge capabilities of Chinese LLMs. FoundaBench encompasses a diverse array of 3354 multiple-choice questions across common sense and K-12 educational subjects, meticulously curated to reflect the breadth and depth of everyday and academic knowledge. We present an extensive evaluation of 12 state-of-the-art LLMs using FoundaBench, employing both traditional assessment methods and our CircularEval protocol to mitigate potential biases in model responses. Our results highlight the superior performance of models pre-trained on Chinese corpora, and reveal a significant disparity between models' reasoning and memory recall capabilities. The insights gleaned from FoundaBench evaluations set a new standard for understanding the fundamental knowledge of LLMs, providing a robust framework for future advancements in the field.


title: Perovskite topological exciton-polariton disclination laser at room temperature

abstract: Topologically nontrivial systems can be protected by band topology in momentum space, as seen in topological insulators and semimetals, or real-space topology, such as in lattice deformations known as topological disclinations (TDs). TDs, with inherent chiral symmetry, can support localized states pinned spectrally to the middle of the topological gap, preventing hybridization with bulk bands, and making them promising for topological lasers. Here, we experimentally realize a C4v symmetric TD laser based on perovskite exciton-polariton lattices at room temperature. Protected by the chiral and point group symmetries of the lattice, the TD state emerges in the middle of the gap and at the core of the perovskite lattice. Under a non-resonant pulsed excitation, coherent polariton lasing occurs precisely at the TD state with a low threshold of 9.5 uJ/cm2, as confirmed by momentum space and real space spectra measurements. This study not only introduces a class of symmetry-protected topological lasers, but also expands the landscape for exploring exciton-polariton light-matter interactions with novel topological structures.