title: RKKY signals characterizing the topological phase transitions in Floquet Dirac semimetals

abstract: Recently, the Floquet ${\rm Na_3Bi}$-type material has been proposed as an ideal platform for realizing various phases, i.e., the spin-degenerate Dirac semimetal (DSM) can be turned into the Weyl semimetal (WSM), and even to the Weyl half-metal (WHM). Instead of the conventional electrical methods, we use the RKKY interaction to characterize the topological phase transitions in this paper. It is found that detecting the Ising term $J_I$ is feasible for distinguishing the phase transition of DSM/WSM, since the emergence of $J_I$ is induced by the broken spin degeneracy. For the case with impurities deposited on $z$ axis (the line connecting the Weyl points), the Heisenberg term $J_H$ coexists with $J_I$ in the WSM, while $J_H$ is filtered out and only $J_I$ survives in the WHM. This magnetic filtering effect is a reflection of the fully spin-polarized property (one spin band is in the WSM phase while the other is gapped) of the WHM, and it can act a signal to capture the phase transition of WSM/WHM. This signal can not be disturbed unless the direction of the impurities greatly deviates from $z$ axis. Interestingly, as the impurities are moved into the $x$-$y$ plane, there arises another signal (a dip structure for $J_H$ at the phase boundary), which can also identify the phase transition of WSM/WHM. Furthermore, we have verified that all magnetic signals are robust to the term that breaks the electron-hole symmetry. Besides characterizing the phase transitions, our results also suggest that the Floquet DSMs are power platforms for controlling the magnetic interaction.


title: Unique Ergodicity of Stochastic Theta Method for Monotone SDEs driven by Nondegenerate Multiplicative Noise

abstract: We establish the unique ergodicity of the Markov chain generated by the stochastic theta method (STM) with $\theta \in [1/2, 1]$ for monotone SODEs, without growth restriction on the coefficients, driven by nondegenerate multiplicative noise. The main ingredient of the arguments lies in constructing new Lyapunov functions involving the coefficients, the stepsize, and $\theta$, and the irreducibility and the strong Feller property for the STM. We also generalize the arguments to the temporal drift-implicit Euler (DIE) method and its Galerkin-based full discretizations for a class of monotone SPDEs driven by infinite-dimensional nondegenerate multiplicative trace-class noise. Applying these results to the stochastic Allen--Cahn equation indicates that its DIE scheme is uniquely ergodic for any interface thickness, which gives an affirmative answer to a question proposed in (J. Cui, J. Hong, and L. Sun, Stochastic Process. Appl. (2021): 55--93). Numerical experiments verify our theoretical results.


title: CRB Minimization for RIS-aided mmWave Integrated Sensing and Communications

abstract: In this paper, reconfigurable intelligent surface (RIS) is employed in a millimeter wave (mmWave) integrated sensing and communications (ISAC) system. To alleviate the multi-hop attenuation, the semi-self sensing RIS approach is adopted, wherein sensors are configured at the RIS to receive the radar echo signal. Focusing on the estimation accuracy, the Cramer-Rao bound (CRB) for estimating the direction-of-the-angles is derived as the metric for sensing performance. A joint optimization problem on hybrid beamforming and RIS phaseshifts is proposed to minimize the CRB, while maintaining satisfactory communication performance evaluated by the achievable data rate. The CRB minimization problem is first transformed as a more tractable form based on Fisher information matrix (FIM). To solve the complex non-convex problem, a double layer loop algorithm is proposed based on penalty concave-convex procedure (penalty-CCCP) and block coordinate descent (BCD) method with two sub-problems. Successive convex approximation (SCA) algorithm and second order cone (SOC) constraints are employed to tackle the non-convexity in the hybrid beamforming optimization. To optimize the unit modulus constrained analog beamforming and phase shifts, manifold optimization (MO) is adopted. Finally, the numerical results verify the effectiveness of the proposed CRB minimization algorithm, and show the performance improvement compared with other baselines. Additionally, the proposed hybrid beamforming algorithm can achieve approximately 96% of the sensing performance exhibited by the full digital approach within only a limited number of radio frequency (RF) chains.


title: Static Deadlock Detection for Rust Programs

abstract: Rust relies on its unique ownership mechanism to ensure thread and memory safety. However, numerous potential security vulnerabilities persist in practical applications. New language features in Rust pose new challenges for vulnerability detection. This paper proposes a static deadlock detection method tailored for Rust programs, aiming to identify various deadlock types, including double lock, conflict lock, and deadlock associated with conditional variables. With due consideration for Rust's ownership and lifetimes, we first complete the pointer analysis. Then, based on the obtained points-to information, we analyze dependencies among variables to identify potential deadlocks. We develop a tool and conduct experiments based on the proposed method. The experimental results demonstrate that our method outperforms existing deadlock detection methods in precision.


title: Squeezed Josephson plasmons in driven YBa$_2$Cu$_3$O$_{6+x}$

abstract: The physics of driven collective modes in quantum materials underpin a number of striking non-equilibrium functional responses, which include enhanced magnetism, ferroelectricity and superconductivity. However, the coherent coupling between multiple modes at once are difficult to capture by single-pump probe (one-dimensional) spectroscopy, and often remain poorly understood. One example is phonon-mediated amplification of Josephson plasmons in YBa$_2$Cu$_3$O$_{6+x}$, in which at least three normal modes of the solid are coherently mixed as a source of enhanced superconductivity. Here, we go beyond previous pump-probe experiments in this system and acquire two-dimensional frequency maps using pairs of mutually delayed, carrier envelope phase stable mid-infrared pump pulses, combined with measurements of the time-modulated second-order nonlinear optical susceptibility. We find that the driven zone-center phonons amplify coherent pairs of opposite-momentum Josephson plasma polaritons, generating a squeezed state of interlayer phase fluctuations. The squeezed state is a potentially important ingredient in the microscopic physics of photo-induced superconductivity in this and other materials.


title: Extinction, the elephant in the room that hinders optical Galactic observations

abstract: Extinction is the elephant in the room that almost everyone tries to avoid when analyzing optical/IR data: astronomers tend to find a quick fix for it that the referee will accept, but that does not mean such a solution is correct or even optimal. In this contribution I address three important issues related to extinction that are commonly ignored and present current and future solutions for them: [1] Extinction produces non-linear photometric effects, [2] the extinction law changes between sightlines, and [3] not all families of extinction laws have the same accuracy.


title: Q-Refine: A Perceptual Quality Refiner for AI-Generated Image

abstract: With the rapid evolution of the Text-to-Image (T2I) model in recent years, their unsatisfactory generation result has become a challenge. However, uniformly refining AI-Generated Images (AIGIs) of different qualities not only limited optimization capabilities for low-quality AIGIs but also brought negative optimization to high-quality AIGIs. To address this issue, a quality-award refiner named Q-Refine is proposed. Based on the preference of the Human Visual System (HVS), Q-Refine uses the Image Quality Assessment (IQA) metric to guide the refining process for the first time, and modify images of different qualities through three adaptive pipelines. Experimental shows that for mainstream T2I models, Q-Refine can perform effective optimization to AIGIs of different qualities. It can be a general refiner to optimize AIGIs from both fidelity and aesthetic quality levels, thus expanding the application of the T2I generation models.


title: An internet reviews topic hierarchy mining method based on modified continuous renormalization procedure

abstract: Mining the hierarchical structure of Internet review topics and realizing a fine classification of review texts can help alleviate users' information overload. However, existing hierarchical topic classification methods primarily rely on external corpora and human intervention. This study proposes a Modified Continuous Renormalization (MCR) procedure that acts on the keyword co-occurrence network with fractal characteristics to achieve the topic hierarchy mining. First, the fractal characteristics in the keyword co-occurrence network of Internet review text are identified using a box-covering algorithm for the first time. Then, the MCR algorithm established on the edge adjacency entropy and the box distance is proposed to obtain the topic hierarchy in the keyword co-occurrence network. Verification data from the Dangdang.com book reviews shows that the MCR constructs topic hierarchies with greater coherence and independence than the HLDA and the Louvain algorithms. Finally, reliable review text classification is achieved using the MCR extended bottom level topic categories. The accuracy rate (P), recall rate (R) and F1 value of Internet review text classification obtained from the MCR-based topic hierarchy are significantly improved compared to four target text classification algorithms.


title: Utilizing Autoregressive Networks for Full Lifecycle Data Generation of Rolling Bearings for RUL Prediction

abstract: The prediction of rolling bearing lifespan is of significant importance in industrial production. However, the scarcity of high-quality, full lifecycle data has been a major constraint in achieving precise predictions. To address this challenge, this paper introduces the CVGAN model, a novel framework capable of generating one-dimensional vibration signals in both horizontal and vertical directions, conditioned on historical vibration data and remaining useful life. In addition, we propose an autoregressive generation method that can iteratively utilize previously generated vibration information to guide the generation of current signals. The effectiveness of the CVGAN model is validated through experiments conducted on the PHM 2012 dataset. Our findings demonstrate that the CVGAN model, in terms of both MMD and FID metrics, outperforms many advanced methods in both autoregressive and non-autoregressive generation modes. Notably, training using the full lifecycle data generated by the CVGAN model significantly improves the performance of the predictive model. This result highlights the effectiveness of the data generated by CVGans in enhancing the predictive power of these models.


title: Van der Corput and metric theorems for geometric progressions for self-similar measures

abstract: We prove a van der Corput lemma for non-atomic self-similar measures $\mu$. As an application, we show that the correlations of all finite orders of $( x^n \mod 1 )_{n\geq 1}$ converge to the Poissonian model for $\mu$-a.e. $x$, assuming $x>1$. We also complete a recent result of Algom, Rodriguez Hertz, and Wang (obtained simultaneously by Baker and Banaji), showing that any self-conformal measure with respect to a non-affine real analytic IFS has polynomial Fourier decay.


title: The crystalline measure that is not a Fourier Quasicrystal

abstract: We construct a crystalline measure on the real line, which is not a Fourier Quasicrystal.


title: Temperature-reducing shocks in optically-thin radiative MHD -- analytical and numerical results

abstract: Shocks are often invoked as heating mechanisms in astrophysical systems, with both adiabatic compression and dissipative heating that leading to temperature increases. Whilst shocks are reasonably well understood for ideal magnetohydrodynamic (MHD) systems, in many astrophysical plasmas, radiation is an important phenomena, which can allow energy to leave the system. As such, energy becomes non-conservative which can fundamentally change the behaviour of shocks. The energy emitted through optically-thin radiation post-shock can exceed the thermal energy increase, resulting in shocks that reduce the temperature of the medium, i.e., cooling shocks that have a net decrease in temperature across the interface. In this paper, semi-analytical solutions for radiative shocks are derived to demonstrate that both cooling (temperature decreasing) and heating (temperature increasing) shock solutions are possible in radiative MHD. Numerical simulations of magnetic reconnection with optically-thin radiative losses also yield both heating and cooling shocks in roughly equal abundances. The detected cooling shocks feature a significantly lower pressure jump across the shock than their heating counterparts. The compression at the shock front leads to locally-enhanced radiative losses, resulting in significant cooling within a few grid cells in the upstream and downstream directions. The presence of temperature-reducing (cooling) shocks is critical in determining the thermal evolution, and heating or cooling, across a wealth of radiative astrophysical plasmas.

categories: astro-ph.SR astro-ph.GA astro-ph.HE math-ph math.MP physics.plasm-ph physics.space-ph


title: Symbolic Manipulation Planning with Discovered Object and Relational Predicates

abstract: Discovering the symbols and rules that can be used in long-horizon planning from a robot's unsupervised exploration of its environment and continuous sensorimotor experience is a challenging task. The previous studies proposed learning symbols from single or paired object interactions and planning with these symbols. In this work, we propose a system that learns rules with discovered object and relational symbols that encode an arbitrary number of objects and the relations between them, converts those rules to Planning Domain Description Language (PDDL), and generates plans that involve affordances of the arbitrary number of objects to achieve tasks. We validated our system with box-shaped objects in different sizes and showed that the system can develop a symbolic knowledge of pick-up, carry, and place operations, taking into account object compounds in different configurations, such as boxes would be carried together with a larger box that they are placed on. We also compared our method with the state-of-the-art methods and showed that planning with the operators defined over relational symbols gives better planning performance compared to the baselines.


title: Explainable Adaptive Tree-based Model Selection for Time Series Forecasting

abstract: Tree-based models have been successfully applied to a wide variety of tasks, including time series forecasting. They are increasingly in demand and widely accepted because of their comparatively high level of interpretability. However, many of them suffer from the overfitting problem, which limits their application in real-world decision-making. This problem becomes even more severe in online-forecasting settings where time series observations are incrementally acquired, and the distributions from which they are drawn may keep changing over time. In this context, we propose a novel method for the online selection of tree-based models using the TreeSHAP explainability method in the task of time series forecasting. We start with an arbitrary set of different tree-based models. Then, we outline a performance-based ranking with a coherent design to make TreeSHAP able to specialize the tree-based forecasters across different regions in the input time series. In this framework, adequate model selection is performed online, adaptively following drift detection in the time series. In addition, explainability is supported on three levels, namely online input importance, model selection, and model output explanation. An extensive empirical study on various real-world datasets demonstrates that our method achieves excellent or on-par results in comparison to the state-of-the-art approaches as well as several baselines.


title: First-passage time of a Brownian searcher with stochastic resetting to random positions

abstract: We study the effect of a resetting point randomly distributed around the origin on the mean first passage time of a Brownian searcher moving in one dimension. We compare the search efficiency with that corresponding to reset to the origin and find that the mean first passage time of the latter can be larger or smaller than the distributed case, depending on whether the resetting points are symmetrically or asymmetrically distributed. In particular, we prove the existence of an optimal reset rate that minimizes the mean first-passage time for distributed resetting to a finite interval if the target is located outside this interval. When the target position belongs to the resetting interval or it is infinite then no optimal reset rate exists, but there is an optimal resetting interval width or resetting characteristic scale which minimizes the mean first-passage time. We also show that the first-passage density averaged over the resetting points depends on its first moment only. As a consequence, there is an equivalent point such that the first-passage problem with resetting to that point is statistically equivalent to the case of distributed resetting. We end our study by analyzing the fluctuations of the first-passage times for these cases. All our analytical results are verified through numerical simulations.


title: Construction of Pseudo-hermitian matrices describing systems with balanced loss-gain

abstract: We present a general construction of pseudo-hermitian matrices in an arbitrary large, but finite dimensional vector space. The positive-definite metric which ensures reality of the entire spectra of a pseudo-hermitian operator, and is used for defining a modified inner-product in the associated vector space is also presented. The construction for an N dimensional vector space is based on the generators of SU (N ) in the fundamental representation and the identity operator. We apply the results to construct a generic pseudo-hermitian lattice model of size N with balanced loss-gain. The system is amenable to periodic as well as open boundary conditions and by construction, admits entirely real spectra along with unitary time-evolution. The tight binding and Su-Schrieffer-Heeger(SSH) models with nearest neighbour(NN) and next-nearest neighbour(NNN) interaction with balanced loss-gain appear as limiting cases.

categories: quant-ph cond-mat.other hep-th math-ph math.MP


title: Wireless 6G Connectivity for Massive Number of Devices and Critical Services

abstract: Compared to the generations up to 4G, whose main focus was on broadband and coverage aspects, 5G has expanded the scope of wireless cellular systems towards embracing two new types of connectivity: massive machine-type communication (mMTC) and ultra-reliable low-latency communications (URLLC). This paper will discuss the possible evolution of these two types of connectivity within the umbrella of 6G wireless systems. The paper consists of three parts. The first part deals with the connectivity for a massive number of devices. While mMTC research in 5G was predominantly focused on the problem of uncoordinated access in the uplink for a large number of devices, the traffic patterns in 6G may become more symmetric, leading to closed-loop massive connectivity. One of the drivers for this is distributed learning/inference. The second part of the paper will discuss the evolution of wireless connectivity for critical services. While latency and reliability are tightly coupled in 5G, 6G will support a variety of safety critical control applications with different types of timing requirements, as evidenced by the emergence of metrics related to information freshness and information value. Additionally, ensuring ultra-high reliability for safety critical control applications requires modeling and estimation of the tail statistics of the wireless channel, queue length, and delay. The fulfillment of these stringent requirements calls for the development of novel AI-based techniques, incorporating optimization theory, explainable AI, generative AI and digital twins. The third part will analyze the coexistence of massive connectivity and critical services. We will consider scenarios in which a massive number of devices need to support traffic patterns of mixed criticality. This will be followed by a discussion about the management of wireless resources shared by services with different criticality.


title: SSP: A Simple and Safe automatic Prompt engineering method towards realistic image synthesis on LVM

abstract: Recently, text-to-image (T2I) synthesis has undergone significant advancements, particularly with the emergence of Large Language Models (LLM) and their enhancement in Large Vision Models (LVM), greatly enhancing the instruction-following capabilities of traditional T2I models. Nevertheless, previous methods focus on improving generation quality but introduce unsafe factors into prompts. We explore that appending specific camera descriptions to prompts can enhance safety performance. Consequently, we propose a simple and safe prompt engineering method (SSP) to improve image generation quality by providing optimal camera descriptions. Specifically, we create a dataset from multi-datasets as original prompts. To select the optimal camera, we design an optimal camera matching approach and implement a classifier for original prompts capable of automatically matching. Appending camera descriptions to original prompts generates optimized prompts for further LVM image generation. Experiments demonstrate that SSP improves semantic consistency by an average of 16% compared to others and safety metrics by 48.9%.


title: Reduction by Symmetry and Optimal Control with Broken Symmetries on Riemannian Manifolds

abstract: This paper studies the reduction by symmetry of variational problems on Lie groups and Riemannian homogeneous spaces. We derive the reduced equations of motion in the case of Lie groups endowed with a left-invariant metric, and on Lie groups that admits a bi-invariant metric. We repeated this analysis for Riemannian homogeneous spaces, where we derive the reduced equations by considering an alternative variational problem written in terms of a connection on the horizontal bundle of the underlying Lie group. We study also the case that the underlying Lie group admits a bi-invariant metric, and consider the special case that the homogeneous space is in fact a Riemannian symmetric space. These ideas are applied to geodesics for a rigid body on $SO(3)$ to derive geodesic equations on the dual of its Lie algebra (a vector space), the heavy-top in $SE(3)$ to derive reduced equations of motion on the unit sphere $S^2$, geodesics on $S^2$ as a Riemannian symmetric space endowed with a bi-invariant metric and optimal control problems for applications to robotic manipulators.


title: Joint Generative Modeling of Scene Graphs and Images via Diffusion Models

abstract: In this paper, we present a novel generative task: joint scene graph - image generation. While previous works have explored image generation conditioned on scene graphs or layouts, our task is distinctive and important as it involves generating scene graphs themselves unconditionally from noise, enabling efficient and interpretable control for image generation. Our task is challenging, requiring the generation of plausible scene graphs with heterogeneous attributes for nodes (objects) and edges (relations among objects), including continuous object bounding boxes and discrete object and relation categories. We introduce a novel diffusion model, DiffuseSG, that jointly models the adjacency matrix along with heterogeneous node and edge attributes. We explore various types of encodings for the categorical data, relaxing it into a continuous space. With a graph transformer being the denoiser, DiffuseSG successively denoises the scene graph representation in a continuous space and discretizes the final representation to generate the clean scene graph. Additionally, we introduce an IoU regularization to enhance the empirical performance. Our model significantly outperforms existing methods in scene graph generation on the Visual Genome and COCO-Stuff datasets, both on standard and newly introduced metrics that better capture the problem complexity. Moreover, we demonstrate the additional benefits of our model in two downstream applications: 1) excelling in a series of scene graph completion tasks, and 2) improving scene graph detection models by using extra training samples generated from DiffuseSG.


title: Strong universality, recurrence, and analytic P-ideals in dynamical systems

abstract: Given a dynamical system $(X,T)$ and a family $\mathsf{I}\subseteq \mathcal{P}(\omega)$ of "small" sets of nonnegative integers, a point $x \in X$ is said to be $\mathsf{I}$-strong universal if for each $y \in X$ there exists a subsequence $(T^nx: n \in A)$ of its orbit which is convergent to $y$ and, in addition, the set of indexes $A$ is "not small," that is, $A\notin \mathsf{I}$. An analoguous definition is given for $\mathsf{I}$-strong recurrence. In this work, we provide several structural properties and relationships between $\mathsf{I}$-strong universality, $\mathsf{I}$-strong recurrence, and the corresponding ordinary notions of $\mathsf{I}$-universality and $\mathsf{I}$-recurrence. As applications, we provide sufficient conditions which ensure the equivalence between the above notions and the property that each nonempty open set contains some cluster point of some orbit. In addition, we show that if $T$ is a homomorphism on a Fr\'{e}chet space $X$ and there exists a dense set of vectors with null orbit, then for each $y \in X$ the set of all vectors $x \in X$ such that $\lim_{n \in A}T^nx=y$ for some $A\subseteq \omega$ with nonzero upper asymptotic density is either empty or comeager. In the special case of linear dynamical systems on Banach spaces with a dense set of uniformly recurrent vectors, we obtain that $T$ is upper frequently hypercyclic if and only if there exists a hypercyclic vector $x \in X$ for which $\lim_{n \in A}T^nx=0$ for some $A\subseteq \omega$ with nonzero upper asymptotic density.


title: Hereditary completeness of Exponential systems $\{e^{\lambda_n t}\}_{n=1}^{\infty}$ in their closed span in $L^2 (a, b)$ and Spectral Synthesis

abstract: Suppose that $\{\lambda_n\}_{n=1}^{\infty}$ is a sequence of distinct positive real numbers satisfying the conditions inf$\{\lambda_{n+1}-\lambda_n \}>0,$ and $\sum_{n=1}^{\infty}\lambda_n^{-1}<\infty.$ We prove that the exponential system $\{e^{\lambda_n t}\}_{n=1}^{\infty}$ is hereditarily complete in the closure of the subspace spanned by $\{e^{\lambda_n t}\}_{n=1}^{\infty}$ in the space $L^2 (a,b)$. We also give an example of a class of compact non-normal operators defined on this closure which admit spectral synthesis.


title: A Stochastic-MILP dispatch optimization model for Concentrated Solar Thermal under uncertainty

abstract: Concentrated Solar Thermal (CST) offers a promising solution for large-scale solar energy utilization as Thermal Energy Storage (TES) enables electricity generation independently of daily solar fluctuations, shifting to high-priced electricity intervals. The development of dispatch planning tools is mandatory to account for uncertainties associated with solar irradiation and electricity price forecasts as well as limited storage capacity. This study proposes the Stochastic Mixed Integer Linear Program (SMILP) to maximize expected profit within a specified scenario space. The SMILP scenario space is generated by different Empirical Cumulative Distribution Function percentiles of the potential solar energy to accumulate in storage and the expected profit is estimated using the Sample Average Approximation (SAA) method. SMILP exhibits robust performance, however, its computational time poses a challenge. Thus, three heuristic solutions are developed which run a set of deterministic optimizations on different historical weather profiles to generate candidate dispatching plans (DPs). The candidate DP with the best average performance on all profiles is then selected. The new methods were applied to a case study for a 115 MW CST plant in South Australia. When the historical database has a limited set of historical weather profiles, the SMILP achieves 6% to 9% higher profit than the closest benchmark when the DP is applied to novel weather conditions. With a large historical weather data, the performance of SMILP and Heuristic-2 becomes nearly identical because the SMILP can only utilize a limited number of trajectories for optimization without becoming computationally infeasible. In this case, Heuristic-2 emerges a practical alternative, since it provides similar average profit in a reasonable time (saving about 7 hours in computing time).


title: Hybrid Pooling and Convolutional Network for Improving Accuracy and Training Convergence Speed in Object Detection

abstract: This paper introduces HPC-Net, a high-precision and rapidly convergent object detection network.


title: Two families of linear codes with desirable properties from some functions over finite fields

abstract: Linear codes are widely studied in coding theory as they have nice applications in distributed storage, combinatorics, lattices, cryptography and so on. Constructing linear codes with desirable properties is an interesting research topic. In this paper, based on the augmentation technique, we present two families of linear codes from some functions over finite fields. The first family of linear codes is constructed from monomial functions over finite fields. The locality of them is determined and the weight distributions of two subfamilies of the codes are also given. An infinite family of locally recoverable codes which are at least almost optimal and some optimal recoverable codes are obtained from the linear codes. In particular, the two subfamilies of the codes are proved to be both optimally or almost optimally extendable and self-orthogonal. The second family of linear codes is constructed from weakly regular bent functions over finite fields and their weight distribution is determined. This family of codes is proved to have locality 3 for some cases and is conjectured to have locality 2 for other cases. Particularly, two families of optimal locally recoverable codes are derived from the linear codes. Besides, this family of codes is also proved to be both optimally or almost optimally extendable and self-orthogonal.


title: Core equality of real sequences

abstract: Given an ideal $\mathcal{I}$ on $\omega$ and a bounded real sequence $\textbf{x}$, we denote by $\text{core}_{\textbf{x}}(\mathcal{I})$ the smallest interval $[a,b]$ such that $\{n \in \omega: x_n \notin [a-\varepsilon,b+\varepsilon]\} \in \mathcal{I}$ for all $\varepsilon>0$ (which corresponds to the interval $[\,\liminf \textbf{x}, \limsup \textbf{x}\,]$ if $\mathcal{I}$ is the ideal $\text{Fin}$ of finite subsets of $\omega$). First, we characterize all the infinite real matrices $A$ such that $$ \text{core}_{A\textbf{x}}(\mathcal{J})=\text{core}_{\textbf{x}}(\mathcal{I}) $$ for all bounded sequences $\textbf{x}$, provided that $\mathcal{J}$ is a countably generated ideal on $\omega$ and $A$ maps bounded sequences into bounded sequences. Such characterization fails if both $\mathcal{I}$ and $\mathcal{J}$ are the ideal of asymptotic density zero sets. Next, we show that such equality is possible for distinct ideals $\mathcal{I}, \mathcal{J}$, answering an open question in [J.~Math.~Anal.~Appl.~\textbf{321} (2006), 515--523]. Lastly, we prove that, if $\mathcal{J}=\text{Fin}$, the above equality holds for some matrix $A$ if and only if $\mathcal{I}=\text{Fin}$ or $\mathcal{I}=\text{Fin}\oplus \mathcal{P}(\omega)$.


title: Three term rational function progressions in finite fields

abstract: Let $F(t),G(t)\in \mathbb{Q}(t)$ be rational functions such that $F(t),G(t)$ and the constant function $1$ are linearly independent over $\mathbb{Q}$, we prove an asymptotic formula for the number of the three term rational function progressions of the form $x,x+F(y),x+G(y)$ in subsets of $\mathbb{F}_p$. The main new ingredient is an algebraic geometry version of PET induction that bypasses Weyl's differencing. This answers a question of Bourgain and Chang.


title: Shaping the Laser Control Landscape of a Hydrogen Transfer Reaction by Vibrational Strong Coupling. A Direct Optimal Control Approach

abstract: Controlling molecular reactivity by shaped laser pulses is a long-standing goal in chemistry. Here we suggest a direct optimal control approach which combines external pulse optimization with other control parameters arising in the upcoming field of vibro-polaritonic chemistry, for enhanced controllability The direct optimal control approach is characterized by a simultaneous simulation and optimization paradigm, meaning that the equations of motion are discretized and converted into a set of holonomic constraints for a nonlinear optimization problem given by the control functional. Compared with indirect optimal control this procedure offers great flexibility such as final time or Hamiltonian parameter optimization. Simultaneous direct optimal control (SimDOC) theory will be applied to a model system describing H-atom transfer in a lossy Fabry-P\'erot cavity under vibrational strong coupling conditions. Specifically, optimization of the cavity coupling strength and thus of the control landscape will be demonstrated.


title: From transient elastic linkages to friction: a complete study of a penalized fourth order equation with delay

abstract: In this paper we consider a fourth order nonlinear parabolic delayed problem modelling a quasi-instantaneous turn-over of linkages in the context of cell-motility. The model depends on a small parameter $\epsilon$ which represents a typical time scale of the memory effect. We first prove global existence and uniqueness of solutions for $\epsilon$ fixed. This is achieved by combining suitable fixed-point and energy arguments and by uncovering a nonlocal in time, integral conserved quantity. After giving a complete classification of steady states in terms of elliptic functions, we next show that every solution converges to a steady state as $t \to \infty$. When $\epsilon \to 0$, we then establish convergence results on finite time intervals, showing that the solution tends in a suitable sense towards the solution of a parabolic problem without delay. Moreover, we establish the convergence of energies as $\epsilon \to 0$, which enables us to show that, for $\epsilon$ small enough, the $\epsilon$-dependent problem inherits part of the large time asymptotics of the limiting parabolic problem.


title: Joint Offloading and Resource Allocation for Hybrid Cloud and Edge Computing in SAGINs: A Decision Assisted Hybrid Action Space Deep Reinforcement Learning Approach

abstract: In recent years, the amalgamation of satellite communications and aerial platforms into space-air-ground integrated network (SAGINs) has emerged as an indispensable area of research for future communications due to the global coverage capacity of low Earth orbit (LEO) satellites and the flexible Deployment of aerial platforms. This paper presents a deep reinforcement learning (DRL)-based approach for the joint optimization of offloading and resource allocation in hybrid cloud and multi-access edge computing (MEC) scenarios within SAGINs. The proposed system considers the presence of multiple satellites, clouds and unmanned aerial vehicles (UAVs). The multiple tasks from ground users are modeled as directed acyclic graphs (DAGs). With the goal of reducing energy consumption and latency in MEC, we propose a novel multi-agent algorithm based on DRL that optimizes both the offloading strategy and the allocation of resources in the MEC infrastructure within SAGIN. A hybrid action algorithm is utilized to address the challenge of hybrid continuous and discrete action space in the proposed problems, and a decision-assisted DRL method is adopted to reduce the impact of unavailable actions in the training process of DRL. Through extensive simulations, the results demonstrate the efficacy of the proposed learning-based scheme, the proposed approach consistently outperforms benchmark schemes, highlighting its superior performance and potential for practical applications.


title: Spiker+: a framework for the generation of efficient Spiking Neural Networks FPGA accelerators for inference at the edge

abstract: Including Artificial Neural Networks in embedded systems at the edge allows applications to exploit Artificial Intelligence capabilities directly within devices operating at the network periphery. This paper introduces Spiker+, a comprehensive framework for generating efficient, low-power, and low-area customized Spiking Neural Networks (SNN) accelerators on FPGA for inference at the edge. Spiker+ presents a configurable multi-layer hardware SNN, a library of highly efficient neuron architectures, and a design framework, enabling the development of complex neural network accelerators with few lines of Python code. Spiker+ is tested on two benchmark datasets, the MNIST and the Spiking Heidelberg Digits (SHD). On the MNIST, it demonstrates competitive performance compared to state-of-the-art SNN accelerators. It outperforms them in terms of resource allocation, with a requirement of 7,612 logic cells and 18 Block RAMs (BRAMs), which makes it fit in very small FPGA, and power consumption, draining only 180mW for a complete inference on an input image. The latency is comparable to the ones observed in the state-of-the-art, with 780us/img. To the authors' knowledge, Spiker+ is the first SNN accelerator tested on the SHD. In this case, the accelerator requires 18,268 logic cells and 51 BRAM, with an overall power consumption of 430mW and a latency of 54 us for a complete inference on input data. This underscores the significance of Spiker+ in the hardware-accelerated SNN landscape, making it an excellent solution to deploy configurable and tunable SNN architectures in resource and power-constrained edge applications.


title: From Invariant Decomposition to Spinors

abstract: Plane-based Geometric Algebra (PGA) has revealed points in a $d$-dimensional pseudo-Euclidean space $\mathbb{R}_{p,q,1}$ to be represented by $d$-blades rather than vectors. This discovery allows points to be factored into $d$ orthogonal hyperplanes, establishing points as pseudoscalars of a local geometric algebra $\mathbb{R}_{pq}$. Astonishingly, the non-uniqueness of this factorization reveals the existence of a local $\text{Spin}(p,q)$ geometric gauge group at each point. Moreover, a point can alternatively be factored into a product of the elements of the Cartan subalgebra of $\mathfrak{spin}(p,q)$, which are traditionally used to label spinor representations. Therefore, points reveal previously hidden geometric foundations for some of quantum field theory's mysteries. This work outlines the impact of PGA on the study of spinor representations in any number of dimensions, and is the first in a research programme exploring the consequences of this insight.


title: Enhancing Communication Efficiency of Semantic Transmission via Joint Processing Technique

abstract: This work presents a novel semantic transmission framework in wireless networks, leveraging the joint processing technique. Our framework enables multiple cooperating base stations to efficiently transmit semantic information to multiple users simultaneously. To enhance the semantic communication efficiency of the transmission framework, we formulate an optimization problem with the objective of maximizing the semantic spectral efficiency of the framework and propose a lowcomplexity dynamic semantic mapping and resource allocation algorithm. This algorithm, based on deep reinforcement learning and alternative optimization, achieves near-optimal performance while reducing computational complexity. Simulation results validate the effectiveness of the proposed algorithm, bridging the research gap and facilitating the practical implementation of semantic communication systems.


title: Thermodynamic modeling using Extended UNIQUAC and COSMO-RS-ES models: Case study of the cesium nitrate - water system over a large range of temperatures

abstract: A comparison of two thermodynamic models is presented using the water-cesium nitrate system as case study. Both models were able to model the thermodynamic properties such as the osmotic coefficient, vapor pressure, mean activity coefficient and solubility with good accuracy. We show that it is possible to reproduce the temperature dependency of the properties using a simple set of parameters in the case of Extended UNIQUAC. Furthermore, COSMO-RS-ES is a completely predictive model adjusted to data at 298.15 K, which is applied for the first time to other temperatures.


title: HAAQI-Net: A Non-intrusive Neural Music Audio Quality Assessment Model for Hearing Aids

abstract: This paper introduces HAAQI-Net, a non-intrusive deep learning model for music audio quality assessment tailored for hearing aid users. Unlike traditional methods like the Hearing Aid Audio Quality Index (HAAQI), which rely on intrusive comparisons to a reference signal, HAAQI-Net offers a more accessible and efficient alternative. Using a bidirectional Long Short-Term Memory (BLSTM) architecture with attention mechanisms and features from the pre-trained BEATs model, HAAQI-Net predicts HAAQI scores directly from music audio clips and hearing loss patterns. Results show HAAQI-Net's effectiveness, with predicted scores achieving a Linear Correlation Coefficient (LCC) of 0.9368, a Spearman's Rank Correlation Coefficient (SRCC) of 0.9486, and a Mean Squared Error (MSE) of 0.0064, reducing inference time from 62.52 seconds to 2.54 seconds. Although effective, feature extraction via the large BEATs model incurs computational overhead. To address this, a knowledge distillation strategy creates a student distillBEATs model, distilling information from the teacher BEATs model during HAAQI-Net training, reducing required parameters. The distilled HAAQI-Net maintains strong performance with an LCC of 0.9071, an SRCC of 0.9307, and an MSE of 0.0091, while reducing parameters by 75.85% and inference time by 96.46%. This reduction enhances HAAQI-Net's efficiency and scalability, making it viable for real-world music audio quality assessment in hearing aid settings. This work also opens avenues for further research into optimizing deep learning models for specific applications, contributing to audio signal processing and quality assessment by providing insights into developing efficient and accurate models for practical applications in hearing aid technology.


title: Privacy Preserving Personal Assistant with On-Device Diarization and Spoken Dialogue System for Home and Beyond

abstract: In the age of personal voice assistants, the question of privacy arises. These digital companions often lack memory of past interactions, while relying heavily on the internet for speech processing, raising privacy concerns. Modern smartphones now enable on-device speech processing, making cloud-based solutions unnecessary. Personal assistants for the elderly should excel at memory recall, especially in medical examinations. The e-ViTA project developed a versatile conversational application with local processing and speaker recognition. This paper highlights the importance of speaker diarization enriched with sensor data fusion for contextualized conversation preservation. The use cases applied to the e-VITA project have shown that truly personalized dialogue is pivotal for individual voice assistants. Secure local processing and sensor data fusion ensure virtual companions meet individual user needs without compromising privacy or data security.


title: Automated Segmentation of Large Image Datasets using Artificial Intelligence for Microstructure Characterisation, Damage Analysis and High-Throughput Modelling Input

abstract: Many properties of commonly used materials are driven by their microstructure, which can be influenced by the composition and manufacturing processes. To optimise future materials, understanding the microstructure is critically important. Here, we present two novel approaches based on artificial intelligence that allow the segmentation of the phases of a microstructure for which simple numerical approaches, such as thresholding, are not applicable: One is based on the nnU-Net neural network, and the other on generative adversarial networks (GAN). Using large panoramic scanning electron microscopy images of dual-phase steels as a case study, we demonstrate how both methods effectively segment intricate microstructural details, including martensite, ferrite, and damage sites, for subsequent analysis. Either method shows substantial generalizability across a range of image sizes and conditions, including heat-treated microstructures with different phase configurations. The nnU-Net excels in mapping large image areas. Conversely, the GAN-based method performs reliably on smaller images, providing greater step-by-step control and flexibility over the segmentation process. This study highlights the benefits of segmented microstructural data for various purposes, such as calculating phase fractions, modelling material behaviour through finite element simulation, and conducting geometrical analyses of damage sites and the local properties of their surrounding microstructure.


title: PAC-Bayes-Chernoff bounds for unbounded losses

abstract: We introduce a new PAC-Bayes oracle bound for unbounded losses. This result can be understood as a PAC-Bayesian version of the Cram\'er-Chernoff bound. The proof technique relies on controlling the tails of certain random variables involving the Cram\'er transform of the loss. We highlight several applications of the main theorem. First, we show that our result naturally allows exact optimization of the free parameter on many PAC-Bayes bounds. Second, we recover and generalize previous results. Finally, we show that our approach allows working with richer assumptions that result in more informative and potentially tighter bounds. In this direction, we provide a general bound under a new ``model-dependent bounded CGF" assumption from which we obtain bounds based on parameter norms and log-Sobolev inequalities. All these bounds can be minimized to obtain novel posteriors.


title: Search Games with Predictions

abstract: We study search games between a mobile Searcher and an immobile Hider in which the Searcher aims to minimize some payoff, which is either the time to find the Hider (the search time), or a normalized search time. We consider a new setting in which the Searcher has some potentially erroneous information, or prediction on the Hider's position. Specifically, we study tradeoffs between the consistency of a search strategy (i.e., its worst case expected payoff assuming the prediction is correct) and the robustness (i.e., the worst case expected payoff assuming that the prediction is adversarially generated). We show how to apply this framework in search games over both discrete and continuous, as well as bounded and unbounded spaces. Specifically, we prove optimal consistency/robustness tradeoffs for three fundamental search games, namely searching in a number of discrete locations, expanding search in a tree network, and searching in the infinite line. Our study is the first to address the full power of mixed (randomized) strategies; previous work focused only on deterministic strategies, or relied on stochastic assumptions that do not guarantee worst-case robustness in adversarial situations.


title: CXL and the Return of Scale-Up Database Engines

abstract: The growing trend towards specialization has led to a proliferation of accelerators and alternative processing devices. When embedded in conventional computer architectures, the PCIe link connecting the CPU to these devices becomes a bottleneck. Several proposals for alternative designs have been put forward, with these efforts having now converged into the Compute Express Link (CXL) specification. CXL is an interconnect protocol on top of PCIe with a more modern and powerful interface. While still on version 1.0 in terms of commercial availability, the potential of CXL to radically change the underlying architecture has already attracted considerable attention. This attention has been focused mainly on the possibility of using CXL to build a shared memory system among the machines in a rack. We argue, however, that such benefits are just the beginning of more significant changes that will have a major impact on database engines and data processing systems. In a nutshell, while the cloud favored scale-out approaches, CXL brings back scale-up architectures. In the paper we describe how CXL enables such architectures, and the research challenges associated with the emerging scale-up, heterogeneous hardware platforms.


title: Identification of Secondary Resonances of Nonlinear Systems using Phase-Locked Loop Testing

abstract: One unique feature of nonlinear dynamical systems is the existence of superharmonic and subharmonic resonances in addition to primary resonances. In this study, an effective vibration testing methodology is introduced for the experimental identification of these secondary resonances. The proposed method relies on phase-locked loop control combined with adaptive filters for online Fourier decomposition. To this end, the concept of a resonant phase lag is exploited to define the target phase lag to be followed during the experimental continuation process. The method is demonstrated using two systems featuring cubic nonlinearities, namely a numerical Duffing oscillator and a physical experiment comprising a clamped-clamped thin beam. The obtained results highlight that the control scheme can accurately characterize secondary resonances as well as track their backbone curves. A particularly salient feature of the developed algorithm is that, starting from the rest position, it facilitates an automatic and smooth dynamic state transfer toward one point of a subharmonic isolated branch, hence, inducing branch switching.


title: The social graph based on real data

abstract: In this paper, we propose a model enabling the creation of a social graph corresponding to real society. The procedure uses data describing the real social relations in the community, like marital status or number of kids. Results show the power-law behavior of the distribution of links and, typical for small worlds, the independence of the clustering coefficient on the size of the graph.


title: Quantization of the K\"ahler-Ricci flow and optimal destabilizer for a Fano manifold

abstract: For a Fano manifold, We consider the geometric quantization of the K\"ahler-Ricci flow and the associated entropy functional. Convergence to the original flow and entropy is established. It is also possible to formulate the finite-dimensional analogue of the optimal degeneration for the anti-canonical polarization.


title: Applying Bayesian Data Analysis for Causal Inference about Requirements Quality: A Replicated Experiment

abstract: Context: It is commonly accepted that the quality of requirements specifications impacts subsequent software engineering activities. However, we still lack empirical evidence to support organizations in deciding whether their requirements are good enough or impede subsequent activities. Objective: We aim to contribute empirical evidence to the effect that requirements quality defects have on a software engineering activity that depends on this requirement. Method: We replicate a controlled experiment in which 25 participants from industry and university generate domain models from four natural language requirements containing different quality defects. We evaluate the resulting models using both frequentist and Bayesian data analysis. Results: Contrary to our expectations, our results show that the use of passive voice only has a minor impact on the resulting domain models. The use of ambiguous pronouns, however, shows a strong effect on various properties of the resulting domain models. Most notably, ambiguous pronouns lead to incorrect associations in domain models. Conclusion: Despite being equally advised against by literature and frequentist methods, the Bayesian data analysis shows that the two investigated quality defects have vastly different impacts on software engineering activities and, hence, deserve different levels of attention. Our employed method can be further utilized by researchers to improve reliable, detailed empirical evidence on requirements quality.


title: Deep Learning-Based Detection for Marker Codes over Insertion and Deletion Channels

abstract: Marker code is an effective coding scheme to protect data from insertions and deletions. It has potential applications in future storage systems, such as DNA storage and racetrack memory. When decoding marker codes, perfect channel state information (CSI), i.e., insertion and deletion probabilities, are required to detect insertion and deletion errors. Sometimes, the perfect CSI is not easy to obtain or the accurate channel model is unknown. Therefore, it is deserved to develop detecting algorithms for marker code without the knowledge of perfect CSI. In this paper, we propose two CSI-agnostic detecting algorithms for marker code based on deep learning. The first one is a model-driven deep learning method, which deep unfolds the original iterative detecting algorithm of marker code. In this method, CSI become weights in neural networks and these weights can be learned from training data. The second one is a data-driven method which is an end-to-end system based on the deep bidirectional gated recurrent unit network. Simulation results show that error performances of the proposed methods are significantly better than that of the original detection algorithm with CSI uncertainty. Furthermore, the proposed data-driven method exhibits better error performances than other methods for unknown channel models.


title: TOPCAT Corner Plot

abstract: TOPCAT is a desktop GUI tool for working with tabular data such as source catalogues. Among other capabilities it provides a rich set of visualisation options suitable for interactive exploration of large datasets. The latest release introduces a Corner Plot window which displays a grid of linked scatter-plot-like and histogram-like plots for all pair and single combinations from a supplied list of coordinates.


title: Transport of inertial spherical particles in compressible turbulent boundary layers

abstract: In the present study, we perform direct numerical simulations of compressible turbulent boundary layers at the free stream Mach number of 2 ~ 6 laden with dilute phase of spherical particles to investigate the Mach number effects on particle transport and dynamics. Most of the phenomena observed and well-recognized for inertia particles in incompressible wall-bounded turbulent flows, such as the near-wall preferential accumulation and clustering beneath the low-speed streaks, the flatter mean velocity profiles and the trend variation of the particle velocity fluctuations, are identified in the compressible turbulent boundary layer as well. However, we find that the compressibility effects are significant for large inertia particles. As the Mach number increases, the near-wall accumulation and the small-scale clustering are alleviated, which is probably caused by the variation of the fluid density and viscosity that are crucial to particle dynamics. This can be affected by the fact that the forces acting on the particles with the viscous Stokes number greater than 500 are modulated by the comparatively high particle Mach numbers in the near-wall region. This is also the reason for the abatement of the streamwise particle velocity fluctuation intensities with the Mach numbers.


title: Differentiable Quantum Architecture Search For Job Shop Scheduling Problem

abstract: The Job shop scheduling problem (JSSP) plays a pivotal role in industrial applications, such as signal processing (SP) and steel manufacturing, involving sequencing machines and jobs to maximize scheduling efficiency. Before, JSSP was solved using manually defined circuits by variational quantum algorithm (VQA). Finding a good circuit architecture is task-specific and time-consuming. Differentiable quantum architecture search (DQAS) is a gradient-based framework that can automatically design circuits. However, DQAS is only tested on quantum approximate optimization algorithm (QAOA) and error mitigation tasks. Whether DQAS applies to JSSP based on a more flexible algorithm, such as variational quantum eigensolver (VQE), is still open for optimization problems. In this work, we redefine the operation pool and extend DQAS to a framework JSSP-DQAS by evaluating circuits to generate circuits for JSSP automatically. The experiments conclude that JSSP-DQAS can automatically find noise-resilient circuit architectures that perform much better than manually designed circuits. It helps to improve the efficiency of solving JSSP.


title: Bose-Einstein Condensate and Liquid Helium He$^4$: Implications of GUP and Modified Gravity Correspondence

abstract: Utilizing the recently established connection between Palatini-like gravity and linear Generalized Uncertainty Principle (GUP) models, we have formulated an approach that facilitates the examination of Bose gases. Our primary focus is on the ideal Bose-Einstein condensate and liquid helium, chosen as illustrative examples to underscore the feasibility of tabletop experiments in assessing gravity models. The non-interacting Bose-Einstein condensate imposes constraints on linear GUP and Palatini $f(R)$ gravity (Eddington-inspired Born-Infeld gravity) within the ranges of $-10^{12}\lesssim\sigma\lesssim 3\times 10^{24}{\text{ s}}/{\text{kg m}}$ and $-10^{-1}\lesssim\bar\beta\lesssim 10^{11} \text{ m}^2$ ($-4\times10^{-1}\lesssim\epsilon\lesssim 4\times 10^{11} \text{ m}^2$), respectively. In contrast, the properties of liquid helium suggest more realistic bounds, specifically $-10^{23}\lesssim\sigma\lesssim 10^{23}{\text{ s}}/{\text{kg m}}$ and $-10^{9}\lesssim\bar\beta\lesssim 10^{9} \text{ m}^2$. Additionally, we argue that the newly developed method employing Earth seismic waves provides improved constraints for quantum and modified gravity by approximately one order of magnitude.


title: Train-Free Segmentation in MRI with Cubical Persistent Homology

abstract: We describe a new general method for segmentation in MRI scans using Topological Data Analysis (TDA), offering several advantages over traditional machine learning approaches. It works in three steps, first identifying the whole object to segment via automatic thresholding, then detecting a distinctive subset whose topology is known in advance, and finally deducing the various components of the segmentation. Although convoking classical ideas of TDA, such an algorithm has never been proposed separately from deep learning methods. To achieve this, our approach takes into account, in addition to the homology of the image, the localization of representative cycles, a piece of information that seems never to have been exploited in this context. In particular, it offers the ability to perform segmentation without the need for large annotated data sets. TDA also provides a more interpretable and stable framework for segmentation by explicitly mapping topological features to segmentation components. By adapting the geometric object to be detected, the algorithm can be adjusted to a wide range of data segmentation challenges. We carefully study the examples of glioblastoma segmentation in brain MRI, where a sphere is to be detected, as well as myocardium in cardiac MRI, involving a cylinder, and cortical plate detection in fetal brain MRI, whose 2D slices are circles. We compare our method to state-of-the-art algorithms.


title: Multichannel Frequency Estimation with Constant Amplitude via Convex Structured Low-Rank Approximation

abstract: We study the problem of estimating the frequencies of several complex sinusoids with constant amplitude (CA) (also called constant modulus) from multichannel signals of their superposition. To exploit the CA property for frequency estimation in the framework of atomic norm minimization (ANM), we introduce multiple positive-semidefinite block matrices composed of Hankel and Toeplitz submatrices and formulate the ANM problem as a convex structured low-rank approximation (SLRA) problem. The proposed SLRA is a semidefinite programming and has substantial differences from existing such formulations without using the CA property. The proposed approach is termed as SLRA-based ANM for CA frequency estimation (SACA). We provide theoretical guarantees and extensive simulations that validate the advantages of SACA.


title: Can Bell inequalities be tested via scattering cross-section at colliders ?

abstract: In current studies for testing Bell inequalities at colliders, the reconstruction of spin correlations from scattering cross-sections relies on the bilinear form of the spin correlations, and not all local hidden variable models (LHVMs) have such a property. To demonstrate that a general LHVM cannot be rule out via scattering cross-section data, we propose a specific LHVM, which can exactly duplicate the same scattering cross-section for particle production and decay as the standard quantum theory, making it indistinguishable at colliders in principle. Despite of this, we find that reconstructing spin correlations through scattering cross-sections can still rule out a broad class of LHVMs, e.g., those models employing classical spin correlations as a surrogate for quantum spin correlations.


title: NU-Class Net: A Novel Approach for Video Quality Enhancement

abstract: Video content has experienced a surge in popularity, asserting its dominance over internet traffic and Internet of Things (IoT) networks. Video compression has long been regarded as the primary means of efficiently managing the substantial multimedia traffic generated by video-capturing devices. Nevertheless, video compression algorithms entail significant computational demands in order to achieve substantial compression ratios. This complexity presents a formidable challenge when implementing efficient video coding standards in resource-constrained embedded systems, such as IoT edge node cameras. To tackle this challenge, this paper introduces NU-Class Net, an innovative deep-learning model designed to mitigate compression artifacts stemming from lossy compression codecs. This enhancement significantly elevates the perceptible quality of low-bit-rate videos. By employing the NU-Class Net, the video encoder within the video-capturing node can reduce output quality, thereby generating low-bit-rate videos and effectively curtailing both computation and bandwidth requirements at the edge. On the decoder side, which is typically less encumbered by resource limitations, NU-Class Net is applied after the video decoder to compensate for artifacts and approximate the quality of the original video. Experimental results affirm the efficacy of the proposed model in enhancing the perceptible quality of videos, especially those streamed at low bit rates.


title: Distilling Local Texture Features for Colorectal Tissue Classification in Low Data Regimes

abstract: Multi-class colorectal tissue classification is a challenging problem that is typically addressed in a setting, where it is assumed that ample amounts of training data is available. However, manual annotation of fine-grained colorectal tissue samples of multiple classes, especially the rare ones like stromal tumor and anal cancer is laborious and expensive. To address this, we propose a knowledge distillation-based approach, named KD-CTCNet, that effectively captures local texture information from few tissue samples, through a distillation loss, to improve the standard CNN features. The resulting enriched feature representation achieves improved classification performance specifically in low data regimes. Extensive experiments on two public datasets of colorectal tissues reveal the merits of the proposed contributions, with a consistent gain achieved over different approaches across low data settings. The code and models are publicly available on GitHub.


title: Reinforcement Learning for SAR View Angle Inversion with Differentiable SAR Renderer

abstract: The electromagnetic inverse problem has long been a research hotspot. This study aims to reverse radar view angles in synthetic aperture radar (SAR) images given a target model. Nonetheless, the scarcity of SAR data, combined with the intricate background interference and imaging mechanisms, limit the applications of existing learning-based approaches. To address these challenges, we propose an interactive deep reinforcement learning (DRL) framework, where an electromagnetic simulator named differentiable SAR render (DSR) is embedded to facilitate the interaction between the agent and the environment, simulating a human-like process of angle prediction. Specifically, DSR generates SAR images at arbitrary view angles in real-time. And the differences in sequential and semantic aspects between the view angle-corresponding images are leveraged to construct the state space in DRL, which effectively suppress the complex background interference, enhance the sensitivity to temporal variations, and improve the capability to capture fine-grained information. Additionally, in order to maintain the stability and convergence of our method, a series of reward mechanisms, such as memory difference, smoothing and boundary penalty, are utilized to form the final reward function. Extensive experiments performed on both simulated and real datasets demonstrate the effectiveness and robustness of our proposed method. When utilized in the cross-domain area, the proposed method greatly mitigates inconsistency between simulated and real domains, outperforming reference methods significantly.


title: Sixteen-dimensional Sedenion-like Associative Algebra

abstract: In this article, we construct a $16$-dimensional sedenion-like associative algebra, which is an even subalgebra of $2^5$-dimensional Clifford algebra $Cl_{5,0}$. We define the norm on sedenion-like algebra and show that its sixteen-dimensional elements preserves the norm relation $\lVert ST \rVert=\lVert S \rVert \lVert T \rVert$ under the condition $S_rS_d^\dagger + S_r^\dagger S_d=0$, where $S_r,~S_d$ denote the real and dual part of an octonion-like number $S$ respectively and $S^\dagger$ is the transpose of $S$. The elements of this sedenion-like algebra can be written as dual octonion like numbers called split bioctonion-like algebra and $S S^\dagger$ is commutative [i.e. $S S^\dagger=S^\dagger S $ and $(S S^\dagger) T=T(S S^\dagger )$], for any two octonion-like/sedenion-like numbers $S$ and $T$. We define the operations coproduct $\bigtriangleup$, counit $\epsilon $ and antipode $S$ on octonion-like/sedenion-like algebra to construct the Hopf algebra structure on it. We also show that $8$-dimensional octonion-like associative seminormed division algebra is a $\mathbb{Z}_2^4/2$-graded quasialgebra and $16$ dimensional sedenion-like algebra is a $\mathbb{Z}_2^5/2$-graded quasialgebra.


title: H\"ormander properties of discrete time Markov processes

abstract: We present an abstract framework for establishing smoothing properties within a specific class of inhomogeneous discrete-time Markov processes. These properties, in turn, serve as a basis for demonstrating the existence of density functions for our processes or more precisely for regularized versions of them. They can also be exploited to show the total variation convergence towards the solution of a Stochastic Differential Equation as the time step between two observations of the discrete time Markov processes tends to zero. The distinctive feature of our methodology lies in the exploration of smoothing properties under some local weak H\"ormander type conditions satisfied by the discrete-time Markov processes. Our H\"ormander properties are demonstrated to align with the standard local weak H\"ormander properties satisfied by the coefficients of the Stochastic Differential Equations which are the total variation limits of our discrete time Markov processes.


title: FedQV: Leveraging Quadratic Voting in Federated Learning

abstract: Federated Learning (FL) permits different parties to collaboratively train a global model without disclosing their respective local labels. A crucial step of FL, that of aggregating local models to produce the global one, shares many similarities with public decision-making, and elections in particular. In that context, a major weakness of FL, namely its vulnerability to poisoning attacks, can be interpreted as a consequence of the one person one vote (henceforth 1p1v) principle underpinning most contemporary aggregation rules. In this paper, we propose FedQV, a novel aggregation algorithm built upon the quadratic voting scheme, recently proposed as a better alternative to 1p1v-based elections. Our theoretical analysis establishes that FedQV is a truthful mechanism in which bidding according to one's true valuation is a dominant strategy that achieves a convergence rate that matches those of state-of-the-art methods. Furthermore, our empirical analysis using multiple real-world datasets validates the superior performance of FedQV against poisoning attacks. It also shows that combining FedQV with unequal voting ``budgets'' according to a reputation score increases its performance benefits even further. Finally, we show that FedQV can be easily combined with Byzantine-robust privacy-preserving mechanisms to enhance its robustness against both poisoning and privacy attacks.


title: Finite volume effects near the chiral crossover

abstract: The effect of a finite volume presents itself both in heavy ion experiments as well as in recent model calculations. The magnitude is sensitive to the proximity of a nearby critical point. We calculate the finite volume effects at finite temperature in continuum QCD using lattice simulations and set the focus on the vicinity of the chiral crossover. We investigate the impact of finite volumes at zero and small chemical potentials on the QCD transition through the chiral observables.


title: Asymptotic characterizations of strong pseudoconvexity on pseudoconvex domains of finite type in $\mathbb{C}^2$

abstract: In this paper, we provide some characterizations of strong pseudoconvexity by the boundary behavior of intrinsic invariants for smoothly bounded pseudoconvex domains of finite type in $\mathbb{C}^2$. As a consequence, if such domain is biholomorphically equivalent to a quotient of the unit ball, then it is strongly pseudoconvex.


title: Human society under the COVID-19 as a complex system. Mean first-passage time methodology

abstract: Human society under the COVID-19 pandemic can be viewed as a complex system, the evolution of which is characterized by such the parameters as the number of newly diseased, the number of seriously ill patients, the number of those who were identified as diseased, etc. To analyze such a complex system, we propose to apply the methodology known in statistical physics as the methodology of the \emph {mean first-passage times}. As will be shown, this methodology makes it possible to determine properly the so-called threshold, at which a spreading viral disease goes into an epidemic regime with accelerated progression. The efficiency of the methodology is demonstrated by the example of data analysis on the spread of the COVID-19 in the Russian Federation as well as separately in one of the regions of the Russian Federation. The methodology can serve as an additional useful tool for solving optimization problems.

categories: physics.soc-ph nlin.CD nlin.PS physics.comp-ph physics.data-an


title: Quadratic Time-Frequency Analysis of Vibration Signals for Diagnosing Bearing Faults

abstract: Diagnosis of bearing faults is paramount to reducing maintenance costs and operational breakdowns. Bearing faults are primary contributors to machine vibrations, and analyzing their signal morphology offers insights into their health status. Unfortunately, existing approaches are optimized for controlled environments, neglecting realistic conditions such as time-varying rotational speeds and the vibration's non-stationary nature. This paper presents a fusion of time-frequency analysis and deep learning techniques to diagnose bearing faults under time-varying speeds and varying noise levels. First, we formulate the bearing fault-induced vibrations and discuss the link between their non-stationarity and the bearing's inherent and operational parameters. We also elucidate quadratic time-frequency distributions and validate their effectiveness in resolving distinctive dynamic patterns associated with different bearing faults. Based on this, we design a time-frequency convolutional neural network (TF-CNN) to diagnose various faults in rolling-element bearings. Our experimental findings undeniably demonstrate the superior performance of TF-CNN in comparison to recently developed techniques. They also assert its versatility in capturing fault-relevant non-stationary features that couple with speed changes and show its exceptional resilience to noise, consistently surpassing competing methods across various signal-to-noise ratios and performance metrics. Altogether, the TF-CNN achieves substantial accuracy improvements up to 15%, in severe noise conditions.


title: En3D: An Enhanced Generative Model for Sculpting 3D Humans from 2D Synthetic Data

abstract: We present En3D, an enhanced generative scheme for sculpting high-quality 3D human avatars. Unlike previous works that rely on scarce 3D datasets or limited 2D collections with imbalanced viewing angles and imprecise pose priors, our approach aims to develop a zero-shot 3D generative scheme capable of producing visually realistic, geometrically accurate and content-wise diverse 3D humans without relying on pre-existing 3D or 2D assets. To address this challenge, we introduce a meticulously crafted workflow that implements accurate physical modeling to learn the enhanced 3D generative model from synthetic 2D data. During inference, we integrate optimization modules to bridge the gap between realistic appearances and coarse 3D shapes. Specifically, En3D comprises three modules: a 3D generator that accurately models generalizable 3D humans with realistic appearance from synthesized balanced, diverse, and structured human images; a geometry sculptor that enhances shape quality using multi-view normal constraints for intricate human anatomy; and a texturing module that disentangles explicit texture maps with fidelity and editability, leveraging semantical UV partitioning and a differentiable rasterizer. Experimental results show that our approach significantly outperforms prior works in terms of image quality, geometry accuracy and content diversity. We also showcase the applicability of our generated avatars for animation and editing, as well as the scalability of our approach for content-style free adaptation.


title: Bases for free Lie superalgebras

abstract: We describe a basis for free Lie superalgebras which uses the theory of basic commutators. The only description for bases for free Lie superalgebras that I have found in the literature is in the book "Infinite dimensional Lie superalgebras" by Bahturin et al. Their bases make use of the theory of Shirshov bases in free Lie algebras, and I believe that there is a case for writing up an alternative approach using basic commutators.


title: Learning Surface Scattering Parameters From SAR Images Using Differentiable Ray Tracing

abstract: Simulating high-resolution Synthetic Aperture Radar (SAR) images in complex scenes has consistently presented a significant research challenge. The development of a microwave-domain surface scattering model and its reversibility are poised to play a pivotal role in enhancing the authenticity of SAR image simulations and facilitating the reconstruction of target parameters. Drawing inspiration from the field of computer graphics, this paper proposes a surface microwave rendering model that comprehensively considers both Specular and Diffuse contributions. The model is analytically represented by the coherent spatially varying bidirectional scattering distribution function (CSVBSDF) based on the Kirchhoff approximation (KA) and the perturbation method (SPM). And SAR imaging is achieved through the synergistic combination of ray tracing and fast mapping projection techniques. Furthermore, a differentiable ray tracing (DRT) engine based on SAR images was constructed for CSVBSDF surface scattering parameter learning. Within this SAR image simulation engine, the use of differentiable reverse ray tracing enables the rapid estimation of parameter gradients from SAR images. The effectiveness of this approach has been validated through simulations and comparisons with real SAR images. By learning the surface scattering parameters, substantial enhancements in SAR image simulation performance under various observation conditions have been demonstrated.


title: Fundamental Limitation of Semantic Communications: Neural Estimation for Rate-Distortion

abstract: This paper studies the fundamental limit of semantic communications over the discrete memoryless channel. We consider the scenario to send a semantic source consisting of an observation state and its corresponding semantic state, both of which are recovered at the receiver. To derive the performance limitation, we adopt the semantic rate-distortion function (SRDF) to study the relationship among the minimum compression rate, observation distortion, semantic distortion, and channel capacity. For the case with unknown semantic source distribution, while only a set of the source samples is available, we propose a neural-network-based method by leveraging the generative networks to learn the semantic source distribution. Furthermore, for a special case where the semantic state is a deterministic function of the observation, we design a cascade neural network to estimate the SRDF. For the case with perfectly known semantic source distribution, we propose a general Blahut-Arimoto algorithm to effectively compute the SRDF. Finally, experimental results validate our proposed algorithms for the scenarios with ideal Gaussian semantic source and some practical datasets.


title: A comparative study of resistivity models for simulations of magnetic reconnection in the solar atmosphere. II. Plasmoid formation

abstract: Plasmoid-mediated reconnection plays a fundamental role in different solar atmospheric phenomena. Numerical reproduction of this process is therefore essential for developing robust solar models. Our goal is to assess plasmoid-mediated reconnection across various numerical resistivity models in order to investigate how plasmoid numbers and reconnection rates depend on the Lundquist number. We used the Bifrost code to drive magnetic reconnection in a 2D coronal fan-spine topology, carrying out a parametric study of several experiments with different numerical resolution and resistivity models. We employed three anomalous resistivity models: (1) the original hyper-diffusion from Bifrost, (2) a resistivity proportional to current density, and (3) a resistivity quadratically proportional to electron drift velocity. For comparisons, experiments with uniform resistivity were also run. Plasmoid-mediated reconnection is obtained in most of the experiments. With uniform resistivity, increasing the resolution reveals higher plasmoid frequency with weaker scaling to the Lundquist number, obtaining 7.9-12 plasmoids per minute for $S_L\in[1.8 \times 10^4, 2.6\times 10^5]$ with a scaling of $S_L^{0.210}$ in the highest-resolution resistivity cases, transcending into Petschek reconnection in the high-$S_L$ limit and Sweet-Parker reconnection in the low-$S_L$ limit. Anomalous resistivity leads to similar results even with lower resolution. The drift-velocity-dependent resistivity excellently reproduces Petschek reconnection for any Lundquist number, and similar results are seen with resistivity proportional to current-density. Among the different resistivity models applied on the given numerical resolution, the hyper-diffusion model reproduced plasmoid characteristics in closest resemblance to those obtained with uniform resistivity at a significantly higher resolution.


title: GBSS:a global building semantic segmentation dataset for large-scale remote sensing building extraction

abstract: Semantic segmentation techniques for extracting building footprints from high-resolution remote sensing images have been widely used in many fields such as urban planning. However, large-scale building extraction demands higher diversity in training samples. In this paper, we construct a Global Building Semantic Segmentation (GBSS) dataset (The dataset will be released), which comprises 116.9k pairs of samples (about 742k buildings) from six continents. There are significant variations of building samples in terms of size and style, so the dataset can be a more challenging benchmark for evaluating the generalization and robustness of building semantic segmentation models. We validated through quantitative and qualitative comparisons between different datasets, and further confirmed the potential application in the field of transfer learning by conducting experiments on subsets.


title: Freeze the backbones: A Parameter-Efficient Contrastive Approach to Robust Medical Vision-Language Pre-training

abstract: Modern healthcare often utilises radiographic images alongside textual reports for diagnostics, encouraging the use of Vision-Language Self-Supervised Learning (VL-SSL) with large pre-trained models to learn versatile medical vision representations. However, most existing VL-SSL frameworks are trained end-to-end, which is computation-heavy and can lose vital prior information embedded in pre-trained encoders. To address both issues, we introduce the backbone-agnostic Adaptor framework, which preserves medical knowledge in pre-trained image and text encoders by keeping them frozen, and employs a lightweight Adaptor module for cross-modal learning. Experiments on medical image classification and segmentation tasks across three datasets reveal that our framework delivers competitive performance while cutting trainable parameters by over 90% compared to current pre-training approaches. Notably, when fine-tuned with just 1% of data, Adaptor outperforms several Transformer-based methods trained on full datasets in medical image segmentation.


title: Accurate and Efficient Urban Street Tree Inventory with Deep Learning on Mobile Phone Imagery

abstract: Deforestation, a major contributor to climate change, poses detrimental consequences such as agricultural sector disruption, global warming, flash floods, and landslides. Conventional approaches to urban street tree inventory suffer from inaccuracies and necessitate specialised equipment. To overcome these challenges, this paper proposes an innovative method that leverages deep learning techniques and mobile phone imaging for urban street tree inventory. Our approach utilises a pair of images captured by smartphone cameras to accurately segment tree trunks and compute the diameter at breast height (DBH). Compared to traditional methods, our approach exhibits several advantages, including superior accuracy, reduced dependency on specialised equipment, and applicability in hard-to-reach areas. We evaluated our method on a comprehensive dataset of 400 trees and achieved a DBH estimation accuracy with an error rate of less than 2.5%. Our method holds significant potential for substantially improving forest management practices. By enhancing the accuracy and efficiency of tree inventory, our model empowers urban management to mitigate the adverse effects of deforestation and climate change.


title: Query-Based Knowledge Sharing for Open-Vocabulary Multi-Label Classification

abstract: Identifying labels that did not appear during training, known as multi-label zero-shot learning, is a non-trivial task in computer vision. To this end, recent studies have attempted to explore the multi-modal knowledge of vision-language pre-training (VLP) models by knowledge distillation, allowing to recognize unseen labels in an open-vocabulary manner. However, experimental evidence shows that knowledge distillation is suboptimal and provides limited performance gain in unseen label prediction. In this paper, a novel query-based knowledge sharing paradigm is proposed to explore the multi-modal knowledge from the pretrained VLP model for open-vocabulary multi-label classification. Specifically, a set of learnable label-agnostic query tokens is trained to extract critical vision knowledge from the input image, and further shared across all labels, allowing them to select tokens of interest as visual clues for recognition. Besides, we propose an effective prompt pool for robust label embedding, and reformulate the standard ranking learning into a form of classification to allow the magnitude of feature vectors for matching, which both significantly benefit label recognition. Experimental results show that our framework significantly outperforms state-of-the-art methods on zero-shot task by 5.9% and 4.5% in mAP on the NUS-WIDE and Open Images, respectively.


title: Renormalization of asymmetric staple-shaped Wilson-line operators in lattice and continuum perturbation theory

abstract: In this work, we study the renormalization of nonlocal quark bilinear operators containing an asymmetric staple-shaped Wilson line at the one-loop level in both lattice and continuum perturbation theory. These operators enter the first-principle calculation of transverse momentum-dependent parton distribution functions (TMDPDFs) in lattice QCD using the formulation of Large Momentum Effective Theory. We provide appropriate RI$'$-type conditions that address the power and logarithmic divergences, as well as the mixing among staple operators of different Dirac structures, using a number of different possible projectors. A variant of RI$'$, including calculations of rectangular Wilson loops, which cancel the pinch-pole singularities of the staple operators at infinite length and reduce residual power divergences, is also employed. We calculate at one-loop order the conversion matrix, which relates the quasi-TMDPDFs in the RI$'$-type schemes to the reference scheme $\overline{\rm MS}$ for arbitrary values of the renormalization momentum scale and of the dimensions of the staple.


title: Unifying Structured Data as Graph for Data-to-Text Pre-Training

abstract: Data-to-text (D2T) generation aims to transform structured data into natural language text. Data-to-text pre-training has proved to be powerful in enhancing D2T generation and yields impressive performances. However, previous pre-training methods either oversimplified structured data into a sequence without considering input structures or designed training objectives tailored for a specific data structure (e.g., table or knowledge graph). In this paper, we unify different types of structured data (i.e., table, key-value data, knowledge graph) into the graph format and cast different data-to-text generation tasks as graph-to-text generation. To effectively exploit the structural information of the input graph, we propose a structure-enhanced pre-training method for D2T generation by designing a structure-enhanced Transformer. Concretely, we devise a position matrix for the Transformer, encoding relative positional information of connected nodes in the input graph. In addition, we propose a new attention matrix to incorporate graph structures into the original Transformer by taking the available explicit connectivity structure into account. Extensive experiments on six benchmark datasets show the effectiveness of our model. Our source codes are available at https://github.com/AlibabaResearch/DAMO-ConvAI/tree/main/unid2t.


title: A high resolution rovibronic molecular cross-section of MgH+ molecular cation

abstract: The high resolution rovibronic line list of MgH+ molecular cation are presented in our work. The potential energy curves are calculated by the method of multireference configuration interaction plus Davidson correction (MRCI+Q) and spin-orbit coupling (SOC) effect. Spectroscopy constants are fitted and the results are in good agreement with the experiment, ensuring the accuracy of the electronic structure. On account of potential energy curves and transition dipole moments, the Franck - Condon factors and Einstein coefficients of transition are obtained. These calculations are used to obtain an accurate partition functions and line list for the molecule. Using the data obtained from the ab initio calculation, the absorption cross-sections under different temperatures and pressures were simulated. Our work could provide some theoretical insights into solar and cold planet spectrum.

categories: astro-ph.SR astro-ph.EP physics.atom-ph physics.chem-ph


title: On the Uniqueness of Bayesian Coarse Correlated Equilibria in Standard First-Price and All-Pay Auctions

abstract: We study the Bayesian coarse correlated equilibrium (BCCE) of continuous and discretised first-price and all-pay auctions under the standard symmetric independent private-values model. Our goal is to determine how the canonical Bayes-Nash equilibrium (BNE) of the auction relates to the outcome when all buyers bid following no-regret algorithms. Numerical experiments show that in two buyer first-price auctions the Wasserstein-$2$ distance of buyers' marginal bid distributions decline as $O(1/n)$ in the discretisation size in instances where the prior distribution is concave, whereas all-pay auctions exhibit similar behaviour without prior dependence. To explain this convergence to a near-equilibrium, we study uniqueness of the BCCE of the continuous auction. Our uniqueness results translate to provable convergence of deterministic self-play to a near equilibrium outcome in these auctions. In the all-pay auction, we show that independent of the prior distribution there is a unique BCCE with symmetric, differentiable, and increasing bidding strategies, which is equivalent to the unique strict BNE. In the first-price auction, we need stronger conditions. Either the prior is strictly concave or the learning algorithm has to be restricted to strictly increasing strategies. Without such strong assumptions, no-regret algorithms can end up in low-price pooling strategies. This is important because it proves that in repeated first-price auctions such as in display ad actions, algorithmic collusion cannot be ruled out without further assumptions even if all bidders rely on no-regret algorithms.


title: The reaction $\pi N \to \omega N$ in a dynamical coupled-channel approach

abstract: This talk is on a refined investigation on light flavor meson-baryon scatterings, using a dynamical coupled-channel approach, i.e. the J\"ulich-Bonn model. The previous channel space of $\pi N$, $\pi \Delta$, $\sigma N$, $\rho N$, $\eta N$, $K \Lambda$ and $K \Sigma$ is extended by adding the $\omega N$ final state. The spectra of $N^*$ and $\Delta$ resonances are extracted, based on the result of a global fit to a worldwide collection of data, in the energy region from the $\pi N$ threshold to center-of-mass energy $z=2.3$ GeV (approximately $300$ parameters against $9000$ data points). A negative value of the $\omega N$ elastic spin-averaged scattering length has been extracted.


title: Quantum interferences and gates with emitter-based coherent photon sources

abstract: Quantum emitters, such as atoms, defects in crystals, or quantum dots, are excellent sources of indistinguishable single-photons for quantum technologies. Upon coherent excitation, however, the emitted photonic state includes a vacuum component in a quantum superposition with the one-photon component. This feature has so far been largely disregarded in the framework of linear optical computing. Here we experimentally and theoretically study how the presence of photon-number coherence alters the foundation of photon-photon gates: the Hong-Ou-Mandel interference. We show that the presence of vacuum coherence not only introduces errors to standard photon indistinguishability measurements, but also results in complex quantum interference phenomena. These phenomena lead to additional entanglement that has profound impact on linear computing schemes, as we illustrate by simulating a heralded gate. Our work reveals the rich physics arising from photon-number coherence, which holds the potential to become an asset in future quantum protocols.


title: Variational bounds and nonlinear stability of an active nematic suspension

abstract: We use the entropy method to analyze the nonlinear dynamics and stability of a continuum kinetic model of an active nematic suspension. From the time evolution of the relative entropy -- an energy-like quantity in the kinetic model -- we derive a variational bound on relative entropy fluctuations that can be expressed in terms of orientational order parameters. From this bound we show isotropic suspensions are nonlinearly stable for sufficiently low activity, and derive upper bounds on spatiotemporal averages in the unstable regime that are consistent with fully nonlinear simulations. This work highlights the self-organizing role of activity in particle suspensions, and places limits on how organized such systems can be.


title: NID-SLAM: Neural Implicit Representation-based RGB-D SLAM in dynamic environments

abstract: Neural implicit representations have been explored to enhance visual SLAM algorithms, especially in providing high-fidelity dense map. Existing methods operate robustly in static scenes but struggle with the disruption caused by moving objects. In this paper we present NID-SLAM, which significantly improves the performance of neural SLAM in dynamic environments. We propose a new approach to enhance inaccurate regions in semantic masks, particularly in marginal areas. Utilizing the geometric information present in depth images, this method enables accurate removal of dynamic objects, thereby reducing the probability of camera drift. Additionally, we introduce a keyframe selection strategy for dynamic scenes, which enhances camera tracking robustness against large-scale objects and improves the efficiency of mapping. Experiments on publicly available RGB-D datasets demonstrate that our method outperforms competitive neural SLAM approaches in tracking accuracy and mapping quality in dynamic environments.


title: Inverse Gram Matrix Methods for Prioritization in Analytic Hierarchy Process: Explainability of Weighted Least Squares Optimization Method

abstract: This paper proposes Inverse Gram Matrix (IGM) methods to prioritize the Pairwise Reciprocal Matrix (PRM) in the Analytic Hierarchy Process. The IGM methods include Pseudo-IGM, Normalized-IGM, and Lagrange-IGM. Interestingly, the proposed IGM methods achieves the least error of Weighted Least Squares (WLS). Since clarity, explainability, usability and verification for the close-form solutions of WLS appears to be incomplete in the literature, the comprehensive mathematical proofs, detail computational demonstration, and intensive simulation verification to extend the prior studies are offered in this study. After a simulation of 1,000,000 random PRM instances is performed to verify equivalent results of several IGM methods, another simulation of 10,000 random PRM instances are performed to verify that a IGM method is the exact closed-form solution of WLS optimization method. The proposed IGM methods on top of the WLS method may be the promising alternatives of Saaty's Eigen system method to apply to the AHP.


title: On the nature of the $N^*$ and $\Delta$ resonances via coupled-channel dynamics

abstract: This talk focuses on a recent work aiming at determining the composition of certain $N^*$ and $\Delta$ resonances, i.e. whether they are compact states formed directly by quarks and gluons, or composite generated from the meson-baryon interaction. The information of the resonance poles is provided by a comprehensive coupled-channel approach, the J\"ulich-Bonn model. Thirteen states that are significant in this approach are studied. Two criteria for each state are adopted in this paper, the comparison thereof roughly indicates the model uncertainties. It is found that the conclusions for eight resonances are relatively certain: $N(1535) \frac{1}{2}^-$, $N(1440) \frac{1}{2}^+$, $N(1710) \frac{1}{2}^+$, and $N(1520) \frac{3}{2}^-$ tend to be composite; whereas $N(1650) \frac{1}{2}^-$, $N(1900) \frac{3}{2}^+$, $N(1680) \frac{5}{2}^+$, and $\Delta(1600) \frac{3}{2}^+$ tend to be compact.