title: On regularity of conjugacy between linear cocycles over partially hyperbolic systems

abstract: We consider H\"older continuous $GL(d,\mathbb R)$-valued cocycles, and more generally linear cocycles, over an accessible volume-preserving center-bunched partially hyperbolic diffeomorphism. We study the regularity of a conjugacy between two cocycles. We establish continuity of a measurable conjugacy between {\em any} constant $GL(d,\mathbb R)$-valued cocycle and its perturbation. We deduce this from our main technical result on continuity of a measurable conjugacy between a fiber bunched linear cocycle and a cocycle with a certain block-triangular structure. The latter class covers constant cocycles with one Lyapunov exponent. We also establish a result of independent interest on continuity of measurable solutions for twisted vector-valued cohomological equations over partially hyperbolic systems. In addition, we give more general versions of earlier results on regularity of invariant subbudles, Riemannian metrics, and conformal structures.


title: Dynasor: A Dynamic Memory Layout for Accelerating Sparse MTTKRP for Tensor Decomposition on Multi-core CPU

abstract: Sparse Matricized Tensor Times Khatri-Rao Product (spMTTKRP) is the most time-consuming compute kernel in sparse tensor decomposition. In this paper, we introduce a novel algorithm to minimize the execution time of spMTTKRP across all modes of an input tensor on multi-core CPU platform. The proposed algorithm leverages the FLYCOO tensor format to exploit data locality in external memory accesses. It effectively utilizes computational resources by enabling lock-free concurrent processing of independent partitions of the input tensor. The proposed partitioning ensures load balancing among CPU threads. Our dynamic tensor remapping technique leads to reduced communication overhead along all the modes. On widely used real-world tensors, our work achieves 2.12x - 9.01x speedup in total execution time across all modes compared with the state-of-the-art CPU implementations.


title: Intermittent Control for Safe Long-Acting Insulin Intensification for Type 2 Diabetes: In-Silico Experiment

abstract: Around a third of type 2 diabetes patients (T2D) are escalated to basal insulin injections. Basal insulin dose is titrated to achieve a tight glycemic target without undue hypoglycemic risk. In the standard of care (SoC), titration is based on intermittent fasting blood glucose (FBG) measurements. Lack of adherence and the day-to-day variabilities in FBG measurements are limiting factors to the existing insulin titration procedure. We propose an adaptive receding horizon control strategy where a glucose-insulin fasting model is identified and used to predict the optimal basal insulin dose. This algorithm is evaluated in \textit{in-silico} experiments using the new UVA virtual lab (UVlab) and a set of T2D avatars matched to clinical data (NCT01336023). Compared to SoC, we show that this control strategy can achieve the same glucose targets faster (as soon as week 8) and safer (increased hypoglycemia protection and robustness to missing FBG measurements). Specifically, when insulin is titrated daily, a time-in-range (TIR, 70--180 mg/dL) of 71.4$\pm$20.0\% can be achieved at week eight and maintained at week 52 (72.6$\pm$19.6%) without an increased hypoglycemia risk as measured by time under 70 mg/dL (TBR, week 8: 1.3$\pm$1.9% and week 52: 1.2$\pm$1.9%), when compared to the SoC (TIR at week 8: 59.3$\pm$28.0% and week:52 72.1$\pm$22.3%, TBR at week 8: 0.5$\pm$1.3% and week 52: 2.8$\pm$3.4%). Such an approach can potentially reduce treatment inertia and prescription complexity, resulting in improved glycemic outcomes for T2D using basal insulin injections.


title: Elliptic bindings and the first ECH spectrum for convex Reeb flows on lens spaces

abstract: In this paper, at first we introduce a sufficient condition for a rational unknotted Reeb orbit $\gamma$ in a lens space to be elliptic by using the rational self-linking number $sl_{\xi}^{\mathbb{Q}}(\gamma)$ and the Conley-Zehnder index $\mu_{\mathrm{disk}}(\gamma^{p})$, where $\mu_{\mathrm{disk}}$ is the Conley-Zehnder index with respect to a trivialization induced by a binding disk. As a consequence, we show that a periodic orbit $\gamma$ in dynamically convex $L(p,1)$ must be elliptic if $\gamma^{p}$ binds a Birkhoff section of disk type and has $\mu_{\mathrm{disk}}(\gamma^{p})=3$. It was proven in \cite{Sch} that such an orbit always exists in a dynamically convex $L(p,1)$. Next, we estimate the first ECH spectrum on dynamically convex $L(3,1)$. In particular, we show that the first ECH spectrum on a strictly convex (or non-degenerate dynamically convex) $(L(3,1),\lambda)$ is equal to the infimum of contact areas of certain Birkhoff sections of disk type.The key of the argument is to conduct technical computations regarding indices present in ECH and to observe the topological properties of rational open book decompositions supporting $(L(3,1),\xi_{\mathrm{std}})$ coming from $J$-holomorphic curves.


title: Total Variation Distance Estimation Is as Easy as Probabilistic Inference

abstract: In this paper, we establish a novel connection between total variation (TV) distance estimation and probabilistic inference. In particular, we present an efficient, structure-preserving reduction from relative approximation of TV distance to probabilistic inference over directed graphical models. This reduction leads to a fully polynomial randomized approximation scheme (FPRAS) for estimating TV distances between distributions over any class of Bayes nets for which there is an efficient probabilistic inference algorithm. In particular, it leads to an FPRAS for estimating TV distances between distributions that are defined by Bayes nets of bounded treewidth. Prior to this work, such approximation schemes only existed for estimating TV distances between product distributions. Our approach employs a new notion of $partial$ couplings of high-dimensional distributions, which might be of independent interest.


title: Characterizations of Stability via Morse Limit Sets

abstract: Subgroup stability is a strong notion of quasiconvexity that generalizes convex cocompactness in a variety of settings. In this paper, we characterize stability of a subgroup by properties of its limit set on the Morse boundary. Given $H<G$, both finitely generated, $H$ is stable exactly when all the limit points of $H$ are conical, or equivalently when all the limit points of $H$ are horospherical, as long as the limit set of $H$ is a compact subset of the Morse boundary for $G$.


title: Enhancing Quantised End-to-End ASR Models via Personalisation

abstract: Recent end-to-end automatic speech recognition (ASR) models have become increasingly larger, making them particularly challenging to be deployed on resource-constrained devices. Model quantisation is an effective solution that sometimes causes the word error rate (WER) to increase. In this paper, a novel strategy of personalisation for a quantised model (PQM) is proposed, which combines speaker adaptive training (SAT) with model quantisation to improve the performance of heavily compressed models. Specifically, PQM uses a 4-bit NormalFloat Quantisation (NF4) approach for model quantisation and low-rank adaptation (LoRA) for SAT. Experiments have been performed on the LibriSpeech and the TED-LIUM 3 corpora. Remarkably, with a 7x reduction in model size and 1% additional speaker-specific parameters, 15.1% and 23.3% relative WER reductions were achieved on quantised Whisper and Conformer-based attention-based encoder-decoder ASR models respectively, comparing to the original full precision models.


title: Trajectory Prediction for Robot Navigation using Flow-Guided Markov Neural Operator

abstract: Predicting pedestrian movements remains a complex and persistent challenge in robot navigation research. We must evaluate several factors to achieve accurate predictions, such as pedestrian interactions, the environment, crowd density, and social and cultural norms. Accurate prediction of pedestrian paths is vital for ensuring safe human-robot interaction, especially in robot navigation. Furthermore, this research has potential applications in autonomous vehicles, pedestrian tracking, and human-robot collaboration. Therefore, in this paper, we introduce FlowMNO, an Optical Flow-Integrated Markov Neural Operator designed to capture pedestrian behavior across diverse scenarios. Our paper models trajectory prediction as a Markovian process, where future pedestrian coordinates depend solely on the current state. This problem formulation eliminates the need to store previous states. We conducted experiments using standard benchmark datasets like ETH, HOTEL, ZARA1, ZARA2, UCY, and RGB-D pedestrian datasets. Our study demonstrates that FlowMNO outperforms some of the state-of-the-art deep learning methods like LSTM, GAN, and CNN-based approaches, by approximately 86.46% when predicting pedestrian trajectories. Thus, we show that FlowMNO can seamlessly integrate into robot navigation systems, enhancing their ability to navigate crowded areas smoothly.


title: An exhaustive review of studies on bio-inspired convergent-divergent riblets

abstract: Inspired by the unique textures of shark skin and bird flight feathers and tails, the convergent-divergent surface pattern holds promise in modulating boundary layer structures. This surface pattern exhibits protrusions precisely aligned obliquely (angled in the streamwise direction), often referred to as riblets. These riblets are renowned for their ability to influence the large-scale and very-large-scale structures that dominate the boundary layer. This study seeks to elucidate the influence of convergent-divergent riblets on the boundary layer, with a particular focus on the spanwise direction. We offer a review of research concerning vortex generation physics, emphasizing helicoidal and rotational motions within and adjacent to the riblet valleys. In addition, we examine research, both experimental and numerical, addressing key physical parameters of convergent-divergent riblets, including yaw angle, wavelength, viscous-scaled riblet height, fetch length, and the transition from riblets to a smooth surface. The potential for drag reduction using these bio-inspired riblets is examined. In addition, we delve into the different manufacturing techniques for convergent-divergent riblets. Finally, we discuss the possible commercial applications of the convergent-divergent design.


title: Energy-dependent flavour ratios in neutrino telescopes from charm

abstract: The origin of the observed diffuse neutrino flux is not yet known. Studies of the relative flavour content of the neutrino flux detected at Earth can give information on the production mechanisms at the sources and on flavour mixing, complementary to measurements of the spectral index and normalisation. Here we demonstrate the effects of neutrino fluxes with different spectral shapes and different initial flavour compositions dominating at different energies, and we study the sensitivity of future measurements with the IceCube Neutrino Observatory. Where one kind of flux gives way to another, this shows up as a non-trivial energy dependence in the flavour compositions. We explore this in the context of slow-jet supernovae and magnetar-driven supernovae -- two examples of astrophysical sources where charm production may be effective. Using current best-fit neutrino mixing parameters and their projected 2040 uncertainties, we use event ratios of different event morphologies at IceCube to illustrate the possibilities of distinguishing the energy dependence of neutrino flavour ratios.


title: Elliptic classes via the periodic Hecke module and its Langlands dual

abstract: This paper explores a construction of the elliptic classes of the Springer resolution using the periodic Hecke module. The module is established by employing the Poincar\'e line bundle over the product of the abelian variety of elliptic cohomology and its dual. Additionally, we introduce the elliptic twisted group algebra, which acts on the periodic module. The construction of the elliptic twisted group algebra is such that the Demazure-Lusztig (DL) operators with dynamical parameters are rational sections. We define elliptic classes as rational sections of the periodic module, and give explicit formulas of the restriction to fixed points. Our main result shows that a natural assembly of the DL operators defines a rational isomorphism between the periodic module and the one associated to the Langlands dual root system. This isomorphism intertwines the (opposite) elliptic classes with the fixed point basis in the dual system.


title: Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems

abstract: High assurance of information-flow security (IFS) for concurrent systems is challenging. A promising way for formal verification of concurrent systems is the rely-guarantee method. However, existing compositional reasoning approaches for IFS concentrate on language-based IFS. It is often not applicable for system-level security, such as multicore operating system kernels, in which secrecy of actions should also be considered. On the other hand, existing studies on the rely-guarantee method are basically built on concurrent programming languages, by which semantics of concurrent systems cannot be completely captured in a straightforward way. In order to formally verify state-action based IFS for concurrent systems, we propose a rely-guarantee-based compositional reasoning approach for IFS in this paper. We first design a language by incorporating ``Event'' into concurrent languages and give the IFS semantics of the language. As a primitive element, events offer an extremely neat framework for modeling system and are not necessarily atomic in our language. For compositional reasoning of IFS, we use rely-guarantee specification to define new forms of unwinding conditions (UCs) on events, i.e., event UCs. By a rely-guarantee proof system of the language and the soundness of event UCs, we have that event UCs imply IFS of concurrent systems. In such a way, we relax the atomicity constraint of actions in traditional UCs and provide a compositional reasoning way for IFS in which security proof of systems can be discharged by independent security proof on individual events. Finally, we mechanize the approach in Isabelle/HOL and develop a formal specification and its IFS proof for multicore separation kernels as a study case according to an industrial standard -- ARINC 653.


title: Performance of Graph Neural Networks for Point Cloud Applications

abstract: Graph Neural Networks (GNNs) have gained significant momentum recently due to their capability to learn on unstructured graph data. Dynamic GNNs (DGNNs) are the current state-of-the-art for point cloud applications; such applications (viz. autonomous driving) require real-time processing at the edge with tight latency and memory constraints. Conducting performance analysis on such DGNNs, thus, becomes a crucial task to evaluate network suitability. This paper presents a profiling analysis of EdgeConv-based DGNNs applied to point cloud inputs. We assess their inference performance in terms of end-to-end latency and memory consumption on state-of-the-art CPU and GPU platforms. The EdgeConv layer has two stages: (1) dynamic graph generation using k-Nearest Neighbors (kNN) and, (2) node feature updation. The addition of dynamic graph generation via kNN in each (EdgeConv) layer enhances network performance compared to networks that work with the same static graph in each layer; such performance enhancement comes, however, at the added computational cost associated with the dynamic graph generation stage (via kNN algorithm). Understanding its costs is essential for identifying the performance bottleneck and exploring potential avenues for hardware acceleration. To this end, this paper aims to shed light on the performance characteristics of EdgeConv-based DGNNs for point cloud inputs. Our performance analysis on a state-of-the-art EdgeConv network for classification shows that the dynamic graph construction via kNN takes up upwards of 95% of network latency on the GPU and almost 90% on the CPU. Moreover, we propose a quasi-Dynamic Graph Neural Network (qDGNN) that halts dynamic graph updates after a specific depth within the network to significantly reduce the latency on both CPU and GPU whilst matching the original networks inference accuracy.


title: Differencing and Coadding JWST Images with Matched Point Spread Function

abstract: We present an algorithm to derive difference images for data taken with the JWST with matched point-spread functions (PSFs). It is based on the saccadic fast Fourier transform (SFFT) method but with revisions to accommodate the rotations and spatial variations of the PSFs. It allows for spatially varying kernels in B-spline form with separately controlled photometric scaling and Tikhonov kernel regularization for harnessing the ultimate fitting flexibility. We present this method using the JWST/NIRCam images of galaxy cluster Abell 2744 acquired in JWST Cycle 1 as the test data. The algorithm can be useful for time-domain source detection and differential photometry with the JWST. It can also coadd images of multiple exposures taken at different field orientations. The coadded images preserve the sharpness of the central cores of the PSFs, and the positions and shapes of the objects are matched precisely with B-splines across the field.


title: Exponential rate of decay of correlations of equilibrium states associated with non-uniformly expanding circle maps

abstract: In the context of expanding maps of the circle with an indifferent fixed point, understanding the joint behavior of dynamics and pairs of moduli of continuity $ (\omega, \Omega) $ may be a useful element for the development of equilibrium theory. Here we identify a particular feature of modulus $ \Omega $ (precisely $ \lim_{x \to 0^+} \sup_{\mathsf d} \Omega\big({\mathsf d} x \big) / \Omega(\mathsf d) = 0 $) as a sufficient condition for the system to exhibit exponential decay of correlations with respect to the unique equilibrium state associated with a potential having $ \omega $ as modulus of continuity. This result is derived from obtaining the spectral gap property for the transfer operator acting on the space of observables with $ \Omega $ as modulus of continuity, a property that, as is well known, also ensures the Central Limit Theorem. Examples of application of our results include the Manneville-Pomeau family


title: Maker-Breaker Rado games for equations with radicals

abstract: We study two-player positional games where Maker and Breaker take turns to select a previously unoccupied number in $\{1,2,\ldots,n\}$. Maker wins if the numbers selected by Maker contain a solution to the equation \[ x_1^{1/\ell}+\cdots+x_k^{1/\ell}=y^{1/\ell} \] where $k$ and $\ell$ are integers with $k\geq2$ and $\ell\neq0$, and Breaker wins if they can stop Maker. Let $f(k,\ell)$ be the smallest positive integer $n$ such that Maker has a winning strategy when $x_1,\ldots,x_k$ are not necessarily distinct, and let $f^*(k,\ell)$ be the smallest positive integer $n$ such that Maker has a winning strategy when $x_1,\ldots,x_k$ are distinct. When $\ell\geq1$, we prove that, for all $k\geq2$, $f(k,\ell)=(k+2)^\ell$ and $f^*(k,\ell)=(k^2+3)^\ell$; when $\ell\leq-1$, we prove that $f(k,\ell)=[k+\Theta_k(1)]^{-\ell}$ and $f^*(k,\ell)=[\exp(O_k(k\log k))]^{-\ell}$. Our proofs use elementary combinatorial arguments as well as results from number theory and arithmetic Ramsey theory.


title: A Contracting Dynamical System Perspective toward Interval Markov Decision Processes

abstract: Interval Markov decision processes are a class of Markov models where the transition probabilities between the states belong to intervals. In this paper, we study the problem of efficient estimation of the optimal policies in Interval Markov Decision Processes (IMDPs) with continuous action-space. Given an IMDP, we show that the pessimistic (resp. the optimistic) value iterations, i.e., the value iterations under the assumption of a competitive adversary (resp. cooperative agent), are monotone dynamical systems and are contracting with respect to the $\ell_{\infty}$-norm. Inspired by this dynamical system viewpoint, we introduce another IMDP, called the action-space relaxation IMDP. We show that the action-space relaxation IMDP has two key features: (i) its optimal value is an upper bound for the optimal value of the original IMDP, and (ii) its value iterations can be efficiently solved using tools and techniques from convex optimization. We then consider the policy optimization problems at each step of the value iterations as a feedback controller of the value function. Using this system-theoretic perspective, we propose an iteration-distributed implementation of the value iterations for approximating the optimal value of the action-space relaxation IMDP.


title: Statement: The Metaverse as an Information-Centric Network

abstract: This paper discusses challenges and opportunities of considering the Metaverse as an Information-Centric Network (ICN). The Web today essentially represents a data-centric application layer: data named by URLs is manipulated with REST primitives. However, the semantic gap with the underlying host-oriented transport is significant, typically leading to complexity, centralization, and brittleness. Popular interest in "the Metaverse" suggests that the end-user experience of the Web will evolve towards always-on eXtended Reality (XR). With the benefit of a historical perspective, computing advances, and decades of experience with a global network, there is an opportunity to holistically consider the Metaverse not as an application of the current network, but an evolution of the network itself, reducing rather than widening the gap between network architecture and application semantics. An ICN architecture offers the possibility to achieve this with less overhead, low latency, better security, and more disruption tolerance suitable to diverse uses cases, even those facing intermittent connectivity.


title: Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications

abstract: The rely-guarantee approach is a promising way for compositional verification of concurrent reactive systems (CRSs), e.g. concurrent operating systems, interrupt-driven control systems and business process systems. However, specifications using heterogeneous reaction patterns, different abstraction levels, and the complexity of real-world CRSs are still challenging the rely-guarantee approach. This article proposes PiCore, a rely-guarantee reasoning framework for formal specification and verification of CRSs. We design an event specification language supporting complex reaction structures and its rely-guarantee proof system to detach the specification and logic of reactive aspects of CRSs from event behaviours. PiCore parametrizes the language and its rely-guarantee system for event behaviour using a rely-guarantee interface and allows to easily integrate 3rd-party languages via rely-guarantee adapters. By this design, we have successfully integrated two existing languages and their rely-guarantee proof systems without any change of their specification and proofs. PiCore has been applied to two real-world case studies, i.e. formal verification of concurrent memory management in Zephyr RTOS and a verified translation for a standardized Business Process Execution Language (BPEL) to PiCore.


title: Generalized Frobenius Number of Three Variables

abstract: For $ k \geq 2 $, we let $ A = (a_{1}, a_{2}, \ldots, a_{k}) $ be a $k$-tuple of positive integers with $\gcd(a_{1}, a_2, \ldots, a_k) =1$ and, for a non-negative integer $s$, the generalized Frobenius number of $A$, $g(A;s) = g(a_1, a_2, \ldots, a_k;s)$, the largest integer that has at most $s$ representations in terms of $a_1, a_2, \ldots, a_k$ with non-negative integer coefficients. In this article, we give a formula for the generalized Frobenius number of three positive integers $(a_1,a_2,a_3)$ with certain conditions.


title: Can Large Language Models Understand Real-World Complex Instructions?

abstract: Large language models (LLMs) can understand human instructions, showing their potential for pragmatic applications beyond traditional NLP tasks. However, they still struggle with complex instructions, which can be either complex task descriptions that require multiple tasks and constraints, or complex input that contains long context, noise, heterogeneous information and multi-turn format. Due to these features, LLMs often ignore semantic constraints from task descriptions, generate incorrect formats, violate length or sample count constraints, and be unfaithful to the input text. Existing benchmarks are insufficient to assess LLMs' ability to understand complex instructions, as they are close-ended and simple. To bridge this gap, we propose CELLO, a benchmark for evaluating LLMs' ability to follow complex instructions systematically. We design eight features for complex instructions and construct a comprehensive evaluation dataset from real-world scenarios. We also establish four criteria and develop corresponding metrics, as current ones are inadequate, biased or too strict and coarse-grained. We compare the performance of representative Chinese-oriented and English-oriented models in following complex instructions through extensive experiments. Resources of CELLO are publicly available at https://github.com/Abbey4799/CELLO.


title: A Neumann interface optimal control problem with elliptic PDE constraints and its discretization and numerical analysis

abstract: We study an optimal control problem governed by elliptic PDEs with interface, which the control acts on the interface. Due to the jump of the coefficient across the interface and the control acting on the interface, the regularity of solution of the control problem is limited on the whole domain, but smoother on subdomains. The control function with pointwise inequality constraints is served as the flux jump condition which we called Neumann interface control. We use a simple uniform mesh that is independent of the interface. The standard linear finite element method can not achieve optimal convergence when the uniform mesh is used. Therefore the state and adjoint state equations are discretized by piecewise linear immersed finite element method (IFEM). While the accuracy of the piecewise constant approximation of the optimal control on the interface is improved by a postprocessing step which possesses superconvergence properties; as well as the variational discretization concept for the optimal control is used to improve the error estimates. Optimal error estimates for the control, suboptimal error estimates for state and adjoint state are derived. Numerical examples with and without constraints are provided to illustrate the effectiveness of the proposed scheme and correctness of the theoretical analysis.


title: Quantifying quantum coherence via nonreal Kirkwood-Dirac quasiprobability

abstract: Kirkwood-Dirac (KD) quasiprobability is a quantum analog of phase space probability of classical statistical mechanics, allowing negative or/and nonreal values. It gives an informationally complete representation of a quantum state. Recent works have revealed the important roles played by the KD quasiprobability in the broad fields of quantum science and quantum technology. In the present work, we use the KD quasiprobability to access the quantum coherence in a quantum state. We show that the $l_1$-norm of the imaginary part of the KD quasiprobability over an incoherent reference basis and a second basis, maximized over all possible choices of the latter, can be used to quantify quantum coherence, satisfying certain desirable properties. It is upper bounded by the quantum uncertainty, i.e., the quantum standard deviation, of the incoherent basis in the state. It gives a lower bound to the $l_1$-norm quantum coherence, and for a single qubit, they are identical. We discuss the measurement of the KD coherence based on the measurement of the KD quasiprobability and an optimization procedure in hybrid quantum-classical schemes, and suggest statistical interpretations. We also discuss its relevance in the physics of linear response regime.


title: Scale functions of space-time changed processes with no positive jumps

abstract: The scale functions were defined for spectrally negative L\'evy processes and other strong Markov processes with no positive jumps, and have been used to characterize their behavior. In particular, I defined the scale functions for standard processes with no positive jumps using the excursion measures in Noba(2020). In this paper, we consider a standard process $X$ with no positive jumps and a standard process $Y$ defined by the space-time change of $X$. We express the scale functions of $Y$ using the scale functions of $X$ defined in Noba(2020) and the Volterra integral equation. From this result, we can express the scale functions of some important processes, such as positive or negative self-similar Markov processes with no positive jumps and continuous-state branching processes, using the scale function of spectrally negative L\'evy processes and the Volterra integral equations.


title: Piecewise contracting maps on the interval: Hausdorff dimension, entropy and attractors

abstract: We consider the attractor $\Lambda$ of a piecewise contracting map $f$ defined on a compact interval. If $f$ is injective, we show that it is possible to estimate the topological entropy of $f$ (according to Bowen's formula) and the Hausdorff dimension of $\Lambda$ via the complexity associated with the orbits of the system. Specifically, we prove that both numbers are zero.


title: Constraints on Asymmetric Dark Matter Self Annihilation Cross Sections in Non-standard Cosmological Scenarios

abstract: We investigate the relic abundance of asymmetric dark matter in the non-standard cosmological scenarios when the annihilation cross section includes self annihilations. Here we discuss the kination model and brane world cosmology. When the self annihilation is permitted for asymmetric dark matter, there is possibility of washing out the pre-existed asymmetry. We find the constraints on the cross section to avoid the complete washing out of the asymmetry in the non-standard cosmological scenarios. The enhanced cosmic expansion rate causes the freeze out point of wash-out to be earlier. The larger self annihilation cross sections are allowed to exist in kination model and brane world cosmology. Then, in the case of left-handed sneutrino asymmetric dark matter, we find the value of the lower bound on winos mass is smaller than that in the standard cosmological scenario.


title: Consensus-Based Leader-Follower Formation Tracking for Control-Affine Nonlinear Multiagent Systems

abstract: In the typical multiagent formation tracking problem centered on consensus, the prevailing assumption in the literature is that the agents' nonlinear models can be approximated by integrator systems, by their feedback-linearized equivalents, or by dynamics composed of deterministic linear and nonlinear terms. The resulting approaches associated with such assumptions, however, are hardly applicable to general nonlinear systems. To this end, we present consensus-based control laws for multiagent formation tracking in finite-dimensional state space, with the agents represented by a more general class of dynamics: control-affine nonlinear systems. The agents also exchange information via a leader-follower communication topology modeled as an undirected and connected graph with a single leader node. By leveraging standard tools from algebraic graph theory and Lyapunov analysis, we first derive a locally asymptotically stabilizing formation tracking law. Next, to demonstrate the effectiveness of our approach, we present results from numerical simulations of an example in robotics. These results -- together with a comparison of the formation errors obtained with our approach and those realized via an optimization-based method -- further validate our theoretical propositions.


title: Quantum coherence as asymmetry from complex weak values

abstract: Quantum coherence as an asymmetry relative to a translation group generated by a Hermitian operator, is a necessary resource for the quantum parameter estimation. On the other hand, the sensitivity of the parameter estimation is known to be related to the imaginary part of the weak value of the Hermitian operator generating the unitary imprinting of the parameter being estimated. This naturally suggests a question if one can use the imaginary part of the weak value to characterize the coherence as asymmetry. In this work, we show that the average absolute imaginary part of the weak value of the generator of the translation group, maximized over all possible projective measurement bases, can be used to quantify the coherence as asymmetry relative to the translation group, satisfying certain desirable requirements. We argue that the quantifier of coherence so defined, called TC (translationally-covariant) w-coherence, can be obtained experimentally using a hybrid quantum-classical circuit via the estimation of weak value combined with a classical optimization procedure. We obtain upper bounds of the TC w-coherence in terms of the quantum standard deviation, quantum Fisher information, and the imaginary part of the Kirkwood-Dirac quasiprobability. We further obtain a lower bound and derive a relation between the TC w-coherences relative to two generators of translation group taking a form analogous to the Kennard-Weyl-Robertson uncertainty relation.


title: Observational constraints on the Emergent Universe with interacting non-linear fluids and its stability analysis

abstract: We investigate a flat Emergent Universe (EU) with a nonlinear equation of state which is equivalent to three different compositions of fluids. In the EU, initially, the evolution of the universe began with no interaction, but as time evolves, an interaction sets in among the three fluids leading to the observed universe. The characteristic of an EU is that it is a singularity-free universe that evolves with all the basic features of the early evolution. A given nonlinear equation of state parameter permits a universe with three different fluids. We get a universe with dark energy, cosmic string, and radiation domination to begin with, which at a later epoch transits into a universe with three different fluids with matter domination, dark matter, and dark energy for a given interaction strength among the cosmic fluids. Later the model parameters are constrained using the observed Hubble data and Type Ia Supernova (SnIa) data from the Pantheon data set. The classical stability analysis of the model is performed using the square speed of sound. It is found that a theoretically stable cosmological model can be obtained in this case, however, the model becomes classically unstable at the present epoch when the observational bounds on the model parameters are taken into account.


title: Operational interpretation and estimation of quantum trace-norm asymmetry based on weak value measurement and some bounds

abstract: The asymmetry of a quantum state relative to a translational group is a central concept in many areas of quantum science and technology. An important and geometrically intuitive measure of translational asymmetry of a state is given by the trace-norm asymmetry, which is defined as the trace norm of the commutator between the state and the generator of the translation group. While trace-norm asymmetry satisfies all the requirements for a bonafide measure of translational asymmetry of a state within the quantum resource theoretical framework, its meaning in terms of laboratory operations is still missing. Here, we first show that the trace-norm asymmetry is equal to the average absolute imaginary part of the weak value of the generator of the translation group optimized over all possible orthonormal bases of the Hilbert space. Hence, it can be estimated via the measurement of weak value combined with a classical optimization in the fashion of quantum variational circuit which may be implemented using the near-term quantum hardware. We then use the link between the trace-norm asymmetry and the nonreal weak value to derive the relation between the trace-norm asymmetry with other basic concepts in quantum statistics. We further obtain trade-off relations for the trace-norm asymmetry and quantum Fisher information, having analogous forms to the Kennard-Weyl-Robertson uncertainty relation.


title: Axion detection via superfluid $^3$He ferromagnetic phase and quantum measurement techniques

abstract: We propose to use the nuclear spin excitation in the ferromagnetic A1 phase of the superfluid $^3$He for the axion dark matter detection. This approach is striking in that it is sensitive to the axion-nucleon coupling, one of the most important features of the QCD axion introduced to solve the strong CP problem. We review a quantum mechanical description of the nuclear spin excitation and apply it to the estimation of the axion-induced spin excitation rate. We also describe a possible detection method of the spin excitation in detail and show that the combination of the squeezing of the final state with the Josephson parametric amplifier and the homodyne measurement can enhance the sensitivity. It turns out that this approach gives good sensitivity to the axion dark matter with the mass of $O(1) \, \mu \mathrm{eV}$ depending on the size of the external magnetic field. We estimate the parameters of experimental setups, e.g., the detector volume and the amplitude of squeezing, required to reach the QCD axion parameter space.


title: Generalized Finsler geometry and the anisotropic tearing of skin

abstract: A continuum mechanical theory with foundations in generalized Finsler geometry describes the complex anisotropic behavior of skin. A fiber bundle approach, encompassing total spaces with assigned linear and nonlinear connections, geometrically characterizes evolving configurations of a deformable body with microstructure. An internal state vector is introduced on each configuration, describing subscale physics. A generalized Finsler metric depends on position and the state vector, where the latter dependence allows for both direction (i.e., as in Finsler geometry) as well as magnitude. Equilibrium equations are derived using a variational method, extending concepts of finite-strain hyperelasticity coupled to phase-field mechanics to generalized Finsler space. For application to skin tearing, state vector components represent microscopic damage processes (e.g., fiber rearrangements and ruptures) in different directions with respect to intrinsic orientations (e.g., parallel or perpendicular to Langer's lines). Nonlinear potentials, motivated from soft-tissue mechanics and phase-field fracture theories, are assigned with orthotropic material symmetry pertinent to properties of skin. Governing equations are derived for one- and two-dimensional base manifolds. Analytical solutions capture experimental force-stretch data, toughness, and observations on evolving microstructure, in a more geometrically and physically descriptive way than prior phenomenological models.


title: Quantum coherence from Kirkwood-Dirac nonclassicality, some bounds, and operational interpretation

abstract: Just a few years after the inception of quantum mechanics, there has been a research program using the nonclassical values of some quasiprobability distributions to delineate the nonclassical aspects of quantum phenomena. In particular, in KD (Kirkwood-Dirac) quasiprobability distribution, the distinctive quantum mechanical feature of noncommutativity which underlies many nonclassical phenomena, manifests in the nonreal values and/or the negative values of the real part. Here, we develop a faithful quantifier of quantum coherence based on the KD nonclassicality which captures simultaneously the nonreality and the negativity of the KD quasiprobability. The KD-nonclassicality coherence thus defined, is upper bounded by the uncertainty of the outcomes of measurement described by a rank-1 orthogonal PVM (projection-valued measure) corresponding to the incoherent orthonormal basis which is quantified by the Tsallis $\frac{1}{2}$-entropy. Moreover, they are identical for pure states so that the KD-nonclassicallity coherence for pure state admits a simple closed expression in terms of measurement probabilities. We then use the Maassen-Uffink uncertainty relation for min-entropy and max-entropy to obtain a lower bound for the KD-nonclassicality coherence of a pure state in terms of optimal guessing probability in measurement described by a PVM noncommuting with the incoherent orthonormal basis. We also derive a trade-off relation for the KD-noncassicality coherences of a pure state relative to a pair of noncommuting orthonormal bases with a state-independent lower bound. Finally, we sketch a variational scheme for a direct estimation of the KD-nonclassicality coherence based on weak value measurement and thereby discuss its relation with quantum contextuality.


title: Hamiltonian Dynamics Learning from Point Cloud Observations for Nonholonomic Mobile Robot Control

abstract: Reliable autonomous navigation requires adapting the control policy of a mobile robot in response to dynamics changes in different operational conditions. Hand-designed dynamics models may struggle to capture model variations due to a limited set of parameters. Data-driven dynamics learning approaches offer higher model capacity and better generalization but require large amounts of state-labeled data. This paper develops an approach for learning robot dynamics directly from point-cloud observations, removing the need and associated errors of state estimation, while embedding Hamiltonian structure in the dynamics model to improve data efficiency. We design an observation-space loss that relates motion prediction from the dynamics model with motion prediction from point-cloud registration to train a Hamiltonian neural ordinary differential equation. The learned Hamiltonian model enables the design of an energy-shaping model-based tracking controller for rigid-body robots. We demonstrate dynamics learning and tracking control on a real nonholonomic wheeled robot.


title: Integration of geoelectric and geochemical data using Self-Organizing Maps (SOM) to characterize a landfill

abstract: Leachates from garbage dumps can significantly compromise their surrounding area. Even if the distance between these and the populated areas could be considerable, the risk of affecting the aquifers for public use is imminent in most cases. For this reason, the delimitation and monitoring of the leachate plume are of significant importance. Geoelectric data (resistivity and IP), and surface methane measurements, are integrated and classified using an unsupervised Neural Network to identify possible risk zones in areas surrounding a landfill. The Neural Network used is a Kohonen type, which generates; as a result, Self-Organizing Classification Maps or SOM (Self-Organizing Map). Two graphic outputs were obtained from the training performed in which groups of neurons that presented a similar behaviour were selected. Contour maps corresponding to the location of these groups and the individual variables were generated to compare the classification obtained and the different anomalies associated with each of these variables. Two of the groups resulting from the classification are related to typical values of liquids percolated in the landfill for the parameters evaluated individually. In this way, a precise delimitation of the affected areas in the studied landfill was obtained, integrating the input variables via SOMs. The location of the study area is not detailed for confidentiality reasons.


title: Analog Content-Addressable Memory from Complementary FeFETs

abstract: To address the increasing computational demands of artificial intelligence (AI) and big data, compute-in-memory (CIM) integrates memory and processing units into the same physical location, reducing the time and energy overhead of the system. Despite advancements in non-volatile memory (NVM) for matrix multiplication, other critical data-intensive operations, like parallel search, have been overlooked. Current parallel search architectures, namely content-addressable memory (CAM), often use binary, which restricts density and functionality. We present an analog CAM (ACAM) cell, built on two complementary ferroelectric field-effect transistors (FeFETs), that performs parallel search in the analog domain with over 40 distinct match windows. We then deploy it to calculate similarity between vectors, a building block in the following two machine learning problems. ACAM outperforms ternary CAM (TCAM) when applied to similarity search for few-shot learning on the Omniglot dataset, yielding projected simulation results with improved inference accuracy by 5%, 3x denser memory architecture, and more than 100x faster speed compared to central processing unit (CPU) and graphics processing unit (GPU) per similarity search on scaled CMOS nodes. We also demonstrate 1-step inference on a kernel regression model by combining non-linear kernel computation and matrix multiplication in ACAM, with simulation estimates indicating 1,000x faster inference than CPU and GPU.


title: Complete steady gradient Yamabe solitons with positive scalar curvature are rotationally symmetric

abstract: In this paper, we solve the Yamabe soliton version of the Perelman conjecture. We show that any nontrivial complete steady gradient Yamabe solitons with positive scalar curvature are rotationally symmetric.


title: From Knowing to Doing: Learning Diverse Motor Skills through Instruction Learning

abstract: Recent years have witnessed many successful trials in the robot learning field. For contact-rich robotic tasks, it is challenging to learn coordinated motor skills by reinforcement learning. Imitation learning solves this problem by using a mimic reward to encourage the robot to track a given reference trajectory. However, imitation learning is not so efficient and may constrain the learned motion. In this paper, we propose instruction learning, which is inspired by the human learning process and is highly efficient, flexible, and versatile for robot motion learning. Instead of using a reference signal in the reward, instruction learning applies a reference signal directly as a feedforward action, and it is combined with a feedback action learned by reinforcement learning to control the robot. Besides, we propose the action bounding technique and remove the mimic reward, which is shown to be crucial for efficient and flexible learning. We compare the performance of instruction learning with imitation learning, indicating that instruction learning can greatly speed up the training process and guarantee learning the desired motion correctly. The effectiveness of instruction learning is validated through a bunch of motion learning examples for a biped robot and a quadruped robot, where skills can be learned typically within several million steps. Besides, we also conduct sim-to-real transfer and online learning experiments on a real quadruped robot. Instruction learning has shown great merits and potential, making it a promising alternative for imitation learning.


title: Ionization-induced Susceptibility by Nearly-free Electrons in Gases Influenced by the Coulomb Potential

abstract: In the present paper we study the influence of the Coulomb potential on the real and imaginary parts of the plasma-induced susceptibility in a photoionized gas. We show that the real part of the susceptibility is more than one order of magnitude larger due to the action of a Coulomb potential. Surprisingly, the long-range Coulomb potential of the atomic core leads to an additional contribution to the imaginary part of the susceptibility which has no counterpart in the case of a short-range potential. We demonstrate that the origin of this behavior are electrons in states very close to the continuum (nearly-free electrons), and analyze the dependence of the susceptibility on the intensity and wavelengths.


title: Throughput Analysis of IEEE 802.11bn Coordinated Spatial Reuse

abstract: Multi-Access Point Coordination (MAPC) is becoming the cornerstone of the IEEE 802.11bn amendment, alias Wi-Fi 8. Among the MAPC features, Coordinated Spatial Reuse (C-SR) stands as one of the most appealing due to its capability to orchestrate simultaneous access point transmissions at a low implementation complexity. In this paper, we contribute to the understanding of C-SR by introducing an analytical model based on Continuous Time Markov Chains (CTMCs) to characterize its throughput and spatial efficiency. Applying the proposed model to several network topologies, we show that C-SR opportunistically enables parallel high-quality transmissions and yields an average throughput gain of up to 59% in comparison to the legacy 802.11 Distributed Coordination Function (DCF) and up to 42% when compared to the 802.11ax Overlapping Basic Service Set Packet Detect (OBSS/PD) mechanism.


title: A Unifying Privacy Analysis Framework for Unknown Domain Algorithms in Differential Privacy

abstract: There are many existing differentially private algorithms for releasing histograms, i.e. counts with corresponding labels, in various settings. Our focus in this survey is to revisit some of the existing differentially private algorithms for releasing histograms over unknown domains, i.e. the labels of the counts that are to be released are not known beforehand. The main practical advantage of releasing histograms over an unknown domain is that the algorithm does not need to fill in missing labels because they are not present in the original histogram but in a hypothetical neighboring dataset could appear in the histogram. However, the challenge in designing differentially private algorithms for releasing histograms over an unknown domain is that some outcomes can clearly show which input was used, clearly violating privacy. The goal then is to show that the differentiating outcomes occur with very low probability. We present a unified framework for the privacy analyses of several existing algorithms. Furthermore, our analysis uses approximate concentrated differential privacy from Bun and Steinke'16, which can improve the privacy loss parameters rather than using differential privacy directly, especially when composing many of these algorithms together in an overall system.


title: On the Connection Between Riemann Hypothesis and a Special Class of Neural Networks

abstract: The Riemann hypothesis (RH) is a long-standing open problem in mathematics. It conjectures that non-trivial zeros of the zeta function all have real part equal to 1/2. The extent of the consequences of RH is far-reaching and touches a wide spectrum of topics including the distribution of prime numbers, the growth of arithmetic functions, the growth of Euler totient, etc. In this note, we revisit and extend an old analytic criterion of the RH known as the Nyman-Beurling criterion which connects the RH to a minimization problem that involves a special class of neural networks. This note is intended for an audience unfamiliar with RH. A gentle introduction to RH is provided.


title: Strong unique continuation property for fourth order Baouendi-Grushin type subelliptic operators with strongly singular potential

abstract: In this paper, we prove the strong unique continuation property for the following fourth order degenerate elliptic equation \begin{equation*} \Delta^2_{X}u=Vu, \end{equation*} where $\Delta_{X}=\Delta_{x}+|x|^{2\alpha}\Delta_{y}$ ($0<\alpha\leq1$), with $x\in\mathbb{R}^{m}, y\in\mathbb{R}^{n}$, denotes the Baouendi-Grushin type subelliptic operators, and the potential $V$ satisfies the strongly singular growth assumption $|V|\leq \frac{c_0}{\rho^4}$, where \begin{equation*} \rho=\left(|x|^{2(\alpha+1)}+(\alpha+1)^2|y|^2\right)^{\frac{1}{2(\alpha+1)}} \end{equation*} is the gauge norm. The main argument is to introduce an Almgren's type frequency function for the solutions, and show its monotonicity to obtain a doubling estimate based on setting up some refined Hardy-Rellich type inequalities on the gauge balls with boundary terms.


title: First-order Quantum Phase Transitions and Localization in the 2D Haldane Model with Non-Hermitian Quasicrystal Boundaries

abstract: The non-Hermitian extension of quasicrystals (QC) are highly tunable system for exploring novel material phases. While extended-localized phase transitions have been observed in one dimension, quantum phase transition in higher dimensions and various system sizes remain unexplored. Here, we show the discovery of a new critical phase and imaginary zeros induced first-order quantum phase transition within the two-dimensional (2D) Haldane model with a quasicrystal potential on the upper boundary. Initially, we illustrate a phase diagram that evolves with the amplitude and phase of the quasiperiodic potential, which is divided into three distinct phases by two critical boundaries: phase (I) with extended wave functions, PT-restore phase (II) with localized wave functions, and a critical phase (III) with multifunctional wave functions. To describe the wavefunctions in these distinct phases, we introduce a low-energy approximation theory and an effective two-chain model. Additionally, we uncover a first-order structural phase transition induced (FOSPT) by imaginary zeros. As we increase the size of the potential boundary, we observe the critical phase splitting into regions in proportion to the growing number of potential zeros. Importantly, these observations are consistent with groundstate fidelity and energy gap calculations. Our research enhances the comprehension of phase diagrams associated with high-dimensional quasicrystal potentials, offering valuable contributions to the exploration of unique phases and quantum phase transition.


title: On logarithmic double phase problems

abstract: In this paper we introduce a new logarithmic double phase type operator of the form\begin{align*}\mathcal{G}u:=-\operatorname{div}\left(|\nabla u|^{p(x)-2}\nabla u+\mu(x)\left[\log(e+|\nabla u|)+\frac{|\nabla u|}{q(x)(e+|\nabla u|)}\right]|\nabla u|^{q(x)-2} \nabla u \right),\end{align*}where $\Omega\subseteq\mathbb{R}^N$, $N\geq 2$, is a bounded domain with Lipschitz boundary $\partial\Omega$, $p,q\in C(\overline{\Omega})$ with $1<p(x)\leq q(x)$ for all $x\in\overline{\Omega}$ and $\mu\in L^1(\Omega)$. First, we prove that the logarithmic Musielak-Orlicz Sobolev spaces $W^{1,\mathcal{H}_{\log}}(\Omega)$ and $W^{1, \mathcal{H}_{\log}}_0(\Omega)$ with $\mathcal{H}_{\log}(x,t)=t^{p(x)}+\mu(x)t^{q(x)}\log(e+t)$ for $(x,t)\in \overline{\Omega}\times [0,\infty)$ are separable, reflexive Banach spaces and $W^{1,\mathcal{H}_{\log}}_0(\Omega)$ can be equipped with an equivalent norm. We also prove several embedding results for these spaces and the closedness of these spaces under truncations. In addition we show the density of smooth functions in $W^{1,\mathcal{H}_{\log}}(\Omega)$ even in the case of an unbounded domain by supposing Nekvinda's decay condition on $p(\cdot)$. The second part is devoted to the properties of the operator and it turns out that it is bounded, continuous, strictly monotone, of type (S$_+$), coercive and a homeomorphism. As a result of independent interest we also present a new version of Young's inequality for the product of a power-law and a logarithm. In the last part of this work we consider equations driven by our new operator with superlinear right-hand sides. We prove multiplicity results for this type of equation, in particular about sign-changing solutions, by making use of a suitable variation of the corresponding Nehari manifold together with the quantitative deformation lemma and the Poincar\'e-Miranda existence theorem.


title: Imbalanced Data Stream Classification using Dynamic Ensemble Selection

abstract: Modern streaming data categorization faces significant challenges from concept drift and class imbalanced data. This negatively impacts the output of the classifier, leading to improper classification. Furthermore, other factors such as the overlapping of multiple classes limit the extent of the correctness of the output. This work proposes a novel framework for integrating data pre-processing and dynamic ensemble selection, by formulating the classification framework for the nonstationary drifting imbalanced data stream, which employs the data pre-processing and dynamic ensemble selection techniques. The proposed framework was evaluated using six artificially generated data streams with differing imbalance ratios in combination with two different types of concept drifts. Each stream is composed of 200 chunks of 500 objects described by eight features and contains five concept drifts. Seven pre-processing techniques and two dynamic ensemble selection methods were considered. According to experimental results, data pre-processing combined with Dynamic Ensemble Selection techniques significantly delivers more accuracy when dealing with imbalanced data streams.


title: Odd period cycles and ergodic properties in price dynamics for an exchange economy

abstract: In the first part of this paper (Sections 1-4), we study a standard exchange economy model with Cobb-Douglas type consumers and give a necessary and sufficient condition for the existence of an odd period cycle in the Walras-Samuelson (tatonnement) price adjustment process. We also give a sufficient condition for a price to be eventually attracted to a chaotic region. In the second part (Sections 5 and 6), we investigate ergodic properties of the price dynamics showing that the existence of chaos is not necessarily bad. (The future is still predictable on average.) Moreover, supported by a celebrated work of Avila et al. (Invent. Math., 2003), we conduct a sensitivity analysis to investigate a relationship between the ergodic sum (of prices) and the speed of price adjustment. We believe that our methods in this paper can be used to analyse many other chaotic economic models.


title: Smooth Cartan triples and Lie twists over Hausdorff \'etale Lie groupoids

abstract: We describe how to recover a Lie structure on a twist over a Hausdorff \'etale groupoid from functional-analytic data in the spirit of Connes' reconstruction theorem for manifolds. We first characterise when a smooth structure on the unit space of a Hausdorff \'etale groupoid can be extended to a Lie-groupoid structure on the whole groupoid. We introduce Lie twists over Hausdorff Lie groupoids, building on Kumjian's notion of a twist over a topological groupoid. We establish necessary and sufficient conditions on a family of sections of a twist over a Lie groupoid under which the twist can be made into a Lie twist so that all the specified sections are smooth. We use these results in the setting of twists over \'etale groupoids to describe conditions on a Cartan pair of C*-algebras and a family of normalisers of the subalgebra, under which Renault's Weyl twist for the pair can be made into a Lie twist for which the given normalisers correspond to smooth sections.


title: Does Reliable Electricity Mean Lesser Agricultural Labor Wages? Evidence from Indian Villages

abstract: Using a panel of 1,171 villages in rural India that were surveyed in the India Human Development Surveys, I perform a difference-in-differences analysis to find that improvements in electricity reliability have a negative effect on the increase in casual agricultural labor wage rates. Changes in men's wage rates are found to be affected more adversely than women's, resulting in a smaller widening of the gender wage gap. I find that better electricity reliability reduces the time spent by women in fuel collection substantially which could potentially increase labor supply. The demand for labor remains unaffected by reliability, which could lead the surplus in labor supply to cause wage rates to stunt. However, I show that electrical appliances such as groundwater pumps considerably increase labor demand indicating that governments could target increasing the adoption of electric pumps along with bettering the quality of electricity to absorb the surplus labor into agriculture.


title: Syntax Tree Constrained Graph Network for Visual Question Answering

abstract: Visual Question Answering (VQA) aims to automatically answer natural language questions related to given image content. Existing VQA methods integrate vision modeling and language understanding to explore the deep semantics of the question. However, these methods ignore the significant syntax information of the question, which plays a vital role in understanding the essential semantics of the question and guiding the visual feature refinement. To fill the gap, we suggested a novel Syntax Tree Constrained Graph Network (STCGN) for VQA based on entity message passing and syntax tree. This model is able to extract a syntax tree from questions and obtain more precise syntax information. Specifically, we parse questions and obtain the question syntax tree using the Stanford syntax parsing tool. From the word level and phrase level, syntactic phrase features and question features are extracted using a hierarchical tree convolutional network. We then design a message-passing mechanism for phrase-aware visual entities and capture entity features according to a given visual context. Extensive experiments on VQA2.0 datasets demonstrate the superiority of our proposed model.


title: Neural Speaker Diarization Using Memory-Aware Multi-Speaker Embedding with Sequence-to-Sequence Architecture

abstract: We propose a novel neural speaker diarization system using memory-aware multi-speaker embedding with sequence-to-sequence architecture (NSD-MS2S), which integrates the strengths of memory-aware multi-speaker embedding (MA-MSE) and sequence-to-sequence (Seq2Seq) architecture, leading to improvement in both efficiency and performance. Next, we further decrease the memory occupation of decoding by incorporating input features fusion and then employ a multi-head attention mechanism to capture features at different levels. NSD-MS2S achieved a macro diarization error rate (DER) of 15.9% on the CHiME-7 EVAL set, which signifies a relative improvement of 49% over the official baseline system, and is the key technique for us to achieve the best performance for the main track of CHiME-7 DASR Challenge. Additionally, we introduce a deep interactive module (DIM) in MA-MSE module to better retrieve a cleaner and more discriminative multi-speaker embedding, enabling the current model to outperform the system we used in the CHiME-7 DASR Challenge. Our code will be available at https://github.com/liyunlongaaa/NSD-MS2S.


title: From Cooking Recipes to Robot Task Trees -- Improving Planning Correctness and Task Efficiency by Leveraging LLMs with a Knowledge Network

abstract: Task planning for robotic cooking involves generating a sequence of actions for a robot to prepare a meal successfully. This paper introduces a novel task tree generation pipeline producing correct planning and efficient execution for cooking tasks. Our method first uses a large language model (LLM) to retrieve recipe instructions and then utilizes a fine-tuned GPT-3 to convert them into a task tree, capturing sequential and parallel dependencies among subtasks. The pipeline then mitigates the uncertainty and unreliable features of LLM outputs using task tree retrieval. We combine multiple LLM task tree outputs into a graph and perform a task tree retrieval to avoid questionable nodes and high-cost nodes to improve planning correctness and improve execution efficiency. Our evaluation results show its superior performance compared to previous works in task planning accuracy and efficiency.


title: Optimal Scene Graph Planning with Large Language Model Guidance

abstract: Recent advances in metric, semantic, and topological mapping have equipped autonomous robots with semantic concept grounding capabilities to interpret natural language tasks. This work aims to leverage these new capabilities with an efficient task planning algorithm for hierarchical metric-semantic models. We consider a scene graph representation of the environment and utilize a large language model (LLM) to convert a natural language task into a linear temporal logic (LTL) automaton. Our main contribution is to enable optimal hierarchical LTL planning with LLM guidance over scene graphs. To achieve efficiency, we construct a hierarchical planning domain that captures the attributes and connectivity of the scene graph and the task automaton, and provide semantic guidance via an LLM heuristic function. To guarantee optimality, we design an LTL heuristic function that is provably consistent and supplements the potentially inadmissible LLM guidance in multi-heuristic planning. We demonstrate efficient planning of complex natural language tasks in scene graphs of virtualized real environments.


title: CLIPUNetr: Assisting Human-robot Interface for Uncalibrated Visual Servoing Control with CLIP-driven Referring Expression Segmentation

abstract: The classical human-robot interface in uncalibrated image-based visual servoing (UIBVS) relies on either human annotations or semantic segmentation with categorical labels. Both methods fail to match natural human communication and convey rich semantics in manipulation tasks as effectively as natural language expressions. In this paper, we tackle this problem by using referring expression segmentation, which is a prompt-based approach, to provide more in-depth information for robot perception. To generate high-quality segmentation predictions from referring expressions, we propose CLIPUNetr - a new CLIP-driven referring expression segmentation network. CLIPUNetr leverages CLIP's strong vision-language representations to segment regions from referring expressions, while utilizing its ``U-shaped'' encoder-decoder architecture to generate predictions with sharper boundaries and finer structures. Furthermore, we propose a new pipeline to integrate CLIPUNetr into UIBVS and apply it to control robots in real-world environments. In experiments, our method improves boundary and structure measurements by an average of 120% and can successfully assist real-world UIBVS control in an unstructured manipulation environment.


title: Search for the production of dark gauge bosons in the framework of Einstein-Cartan portal in the simulation of proton-proton collisions at $\sqrt{s} = 13.6$ TeV

abstract: In the present work, we study the possible production of the heavy neutral dark gauge boson (A$^{\prime}$) candidates, which originated from a simplified model based on the Einstein-Cartan gravity, in association with dark matter. This study has been performed by studying events with dimuon plus missing transverse energy produced in the simulated proton-proton collisions at the Large Hadron Collider, at 13.6 TeV center of mass energy and integrated luminosity of 52 fb$^{-1}$ corresponding to the LHC RUN III circumstances. We provide upper limits, in case no new physics has been discovered, on the masses for various particles in the model as, spin-1 (A$^{\prime}$), as well as the heavy mediator (torsion field).


title: NOMA-Based Coexistence of Near-Field and Far-Field Massive MIMO Communications

abstract: This letter considers a legacy massive multiple-input multiple-output (MIMO) network, in which spatial beams have been preconfigured for near-field users, and proposes to use the non-orthogonal multiple access (NOMA) principle to serve additional far-field users by exploiting the spatial beams preconfigured for the legacy near-field users. Our results reveal that the coexistence between near-field and far-field communications can be effectively supported via NOMA, and that the performance of NOMA-assisted massive MIMO can be efficiently improved by increasing the number of antennas at the base station.


title: Spline-Based Minimum-Curvature Trajectory Optimization for Autonomous Racing

abstract: We propose a novel B-spline trajectory optimization method for autonomous racing. We consider the unavailability of sophisticated race car and race track dynamics in early-stage autonomous motorsports development and derive methods that work with limited dynamics data and additional conservative constraints. We formulate a minimum-curvature optimization problem with only the spline control points as optimization variables. We then compare the current state-of-the-art method with our optimization result, which achieves a similar level of optimality with a 90% reduction on the decision variable dimension, and in addition offers mathematical smoothness guarantee and flexible manipulation options. We concurrently reduce the problem computation time from seconds to milliseconds for a long race track, enabling future online adaptation of the previously offline technique.


title: Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference

abstract: We consider data-driven reachability analysis of discrete-time stochastic dynamical systems using conformal inference. We assume that we are not provided with a symbolic representation of the stochastic system, but instead have access to a dataset of $K$-step trajectories. The reachability problem is to construct a probabilistic flowpipe such that the probability that a $K$-step trajectory can violate the bounds of the flowpipe does not exceed a user-specified failure probability threshold. The key ideas in this paper are: (1) to learn a surrogate predictor model from data, (2) to perform reachability analysis using the surrogate model, and (3) to quantify the surrogate model's incurred error using conformal inference in order to give probabilistic reachability guarantees. We focus on learning-enabled control systems with complex closed-loop dynamics that are difficult to model symbolically, but where state transition pairs can be queried, e.g., using a simulator. We demonstrate the applicability of our method on examples from the domain of learning-enabled cyber-physical systems.


title: Simon Conjecture and the $\text{v}$-number of monomial ideals

abstract: Let $I\subset S$ be a graded ideal of a standard graded polynomial ring $S$ with coefficients in a field $K$, and let $\text{v}(I)$ be the $\text{v}$-number of $I$. In previous work, we showed that for any graded ideal $I\subset S$ generated in a single degree, then $\text{v}(I^k)=\alpha(I)k+b$, for all $k\gg0$, where $\alpha(I)$ is the initial degree of $I$ and $b$ is a suitable integer. In the present paper, using polarization, we extend Simon conjecture to any monomial ideal. As a consequence, if Simon conjecture holds, and all powers of $I$ have linear quotients, then $b\in\{-1,0\}$. This fact suggest that if $I$ is an equigenerated monomial ideal with linear powers, then $\text{v}(I^k)=\alpha(I)k-1$, for all $k\ge1$. We verify this conjecture for monomial ideals with linear powers having $\text{depth}S/I=0$, edge ideals with linear resolution, polymatroidal ideals, and Hibi ideals.


title: Shuffling posets on trajectories (technical report)

abstract: Choreographies describe possible sequences of interactions among a set of agents. We aim to join two lines of research on choreographies: the use of the shuffle on trajectories operator to design more expressive choreographic languages, and the use of models featuring partial orders, to compactly represent concurrency between agents. Specifically, in this paper, we explore the application of the shuffle on trajectories operator to individual posets, and we give a characterisation of shuffles of posets which again yield an individual poset.


title: Generalized Gain and Impedance Expressions for Single-Transistor Amplifiers

abstract: This expository manuscript presents generalized expressions for the low-frequency voltage gain and terminal impedances of each of the three fundamental bipolar-amplifier topologies (i.e., common emitter, common base, and common collector). Unlike the formulas that students typically learn and designers typically use, the equations presented in this tutorial assume the most general set of conditions: finite output resistance and base-collector current gain, a load resistor at each non-input terminal of the transistor, and a "feedback" resistor between the base and collector terminals. Although perhaps algebraically complex at first glance, emphasis is placed on mathematical elegance and ease of use -- expressions are formulated in terms of sub-terms that capture important aspects of the circuit's behavior. Similarities in the mathematical structure of the results reveal a deeper conceptual connection between different amplifier topologies and, ultimately, a reciprocity relationship between the base and emitter terminals. Familiar approximate expressions are subsumed as special cases. Tables consolidating the expressions in an organized fashion are provided. Companion results for metal-oxide-semiconductor (MOS) single-transistor amplifiers are also included.


title: End-to-End Optimized Pipeline for Prediction of Protein Folding Kinetics

abstract: Protein folding is the intricate process by which a linear sequence of amino acids self-assembles into a unique three-dimensional structure. Protein folding kinetics is the study of pathways and time-dependent mechanisms a protein undergoes when it folds. Understanding protein kinetics is essential as a protein needs to fold correctly for it to perform its biological functions optimally, and a misfolded protein can sometimes be contorted into shapes that are not ideal for a cellular environment giving rise to many degenerative, neuro-degenerative disorders and amyloid diseases. Monitoring at-risk individuals and detecting protein discrepancies in a protein's folding kinetics at the early stages could majorly result in public health benefits, as preventive measures can be taken. This research proposes an efficient pipeline for predicting protein folding kinetics with high accuracy and low memory footprint. The deployed machine learning (ML) model outperformed the state-of-the-art ML models by 4.8% in terms of accuracy while consuming 327x lesser memory and being 7.3% faster.


title: A Swin-Transformer-based Model for Efficient Compression of Turbulent Flow Data

abstract: This study proposes a novel deep-learning-based method for generating reduced representations of turbulent flows that ensures efficient storage and transfer while maintaining high accuracy during decompression. A Swin-Transformer network combined with a physical constraints-based loss function is utilized to compress the turbulent flows with high compression ratios and then restore the data with the underlying physical properties. The forced isotropic turbulent flow is used to demonstrate the ability of the Swin-Transformer-based (ST) model, where the instantaneous and statistical results show the excellent ability of the model to recover the flow data with remarkable accuracy. Furthermore, the capability of the ST model is compared with a typical Convolutional Neural Network-based auto-encoder (CNN-AE) by using the turbulent channel flow at two friction Reynolds numbers $Re_\tau$ = 180 and 550. The results generated by the ST model are significantly more consistent with the DNS data than those recovered by the CNN-AE, indicating the superior ability of the ST model to compress and restore the turbulent flow. This study also compares the compression performance of the ST model at different compression ratios (CR) and finds that the model has low enough error even at very high CR. Additionally, the effect of transfer learning (TL) is investigated, showing that TL reduces the training time by 64\% while maintaining high accuracy. The results illustrate for the first time that the Swin-Transformer-based model incorporating a physically constrained loss function can compress and restore turbulent flows with the correct physics.


title: A small scale structure model of jet based on the observation of microvariability

abstract: We developed a multi-region radiation model for the evolution of flux and spectral index with time. In this model, each perturbation component in the jet produces an independent flare. The model can be used to study the decomposition of microvariability, the structural scale of the perturbed components, and the physical parameters of the acceleration processes. Based on the shock acceleration model in relativistic jet, the influence of acceleration parameters on multiband flare parameters is calculated. We present the results of multiband optical microvariability of the blazar BL Lacertae observed performed during 89 nights in the period from 2009 to 2021, and use them as a sample for model fitting. The results show that both the amplitude and duration of flares decomposed from the microvariability light curves confirm a lognormal distribution. The time delays between the optical bands follow the normal distribution and amount to several minutes, that corroborates with both predictions from the theoretical model and the calculation of the discrete correlation function (DCF). Using the spectral index evolution and the simultaneous fitting of the multiband variability curves, we obtain the acceleration and radiation parameters to constrain and distinguish the origins of different flares. Based on the flare decomposition, we can well reproduce the time-domain evolution trends of the optical variation and energy spectrum, and explain the various redder-when-brighter (RWB) and/or bluer-when-brighter (BWB) behavior.


title: Understanding Representations by Exploring Galaxies in Chemical Space

abstract: We present a Monte Carlo approach for studying chemical feature distributions of molecules without training a machine learning model or performing exhaustive enumeration. The algorithm generates molecules with predefined similarity to a given one for any representation. It serves as a diagnostic tool to understand which molecules are grouped in feature space and to identify shortcomings of representations and embeddings from unsupervised learning. In this work, we first study clusters surrounding chosen molecules and demonstrate that common representations do not yield a constant density of molecules in feature space, with possible implications for learning behavior. Next, we observe a connection between representations and properties: a linear correlation between the property value of a central molecule and the average radial slope of that property in chemical space. Molecules with extremal property values have the largest property derivative values in chemical space, which provides a route to improve the data efficiency of a representation by tailoring it towards a given property. Finally, we demonstrate applications for sampling molecules with specified metric-dependent distributions to generate molecules biased toward graph spaces of interest.


title: SplitEE: Early Exit in Deep Neural Networks with Split Computing

abstract: Deep Neural Networks (DNNs) have drawn attention because of their outstanding performance on various tasks. However, deploying full-fledged DNNs in resource-constrained devices (edge, mobile, IoT) is difficult due to their large size. To overcome the issue, various approaches are considered, like offloading part of the computation to the cloud for final inference (split computing) or performing the inference at an intermediary layer without passing through all layers (early exits). In this work, we propose combining both approaches by using early exits in split computing. In our approach, we decide up to what depth of DNNs computation to perform on the device (splitting layer) and whether a sample can exit from this layer or need to be offloaded. The decisions are based on a weighted combination of accuracy, computational, and communication costs. We develop an algorithm named SplitEE to learn an optimal policy. Since pre-trained DNNs are often deployed in new domains where the ground truths may be unavailable and samples arrive in a streaming fashion, SplitEE works in an online and unsupervised setup. We extensively perform experiments on five different datasets. SplitEE achieves a significant cost reduction ($>50\%$) with a slight drop in accuracy ($<2\%$) as compared to the case when all samples are inferred at the final layer. The anonymized source code is available at \url{https://anonymous.4open.science/r/SplitEE_M-B989/README.md}.


title: Efficient Pyramid Channel Attention Network for Pathological Myopia Recognition

abstract: Pathological myopia (PM) is the leading ocular disease for impaired vision worldwide. Clinically, the characteristic of pathology distribution in PM is global-local on the fundus image, which plays a significant role in assisting clinicians in diagnosing PM. However, most existing deep neural networks focused on designing complex architectures but rarely explored the pathology distribution prior of PM. To tackle this issue, we propose an efficient pyramid channel attention (EPCA) module, which fully leverages the potential of the clinical pathology prior of PM with pyramid pooling and multi-scale context fusion. Then, we construct EPCA-Net for automatic PM recognition based on fundus images by stacking a sequence of EPCA modules. Moreover, motivated by the recent pretraining-and-finetuning paradigm, we attempt to adapt pre-trained natural image models for PM recognition by freezing them and treating the EPCA and other attention modules as adapters. In addition, we construct a PM recognition benchmark termed PM-fundus by collecting fundus images of PM from publicly available datasets. The comprehensive experiments demonstrate the superiority of our EPCA-Net over state-of-the-art methods in the PM recognition task. The results also show that our method based on the pretraining-and-finetuning paradigm achieves competitive performance through comparisons to part of previous methods based on traditional fine-tuning paradigm with fewer tunable parameters, which has the potential to leverage more natural image foundation models to address the PM recognition task in limited medical data regime.


title: Optimizing Flow Control with Deep Reinforcement Learning: Plasma Actuator Placement around a Square Cylinder

abstract: The present study proposes an active flow control (AFC) approach based on deep reinforcement learning (DRL) to optimize the performance of multiple plasma actuators on a square cylinder. The investigation aims to modify the control inputs of the plasma actuators to reduce the drag and lift forces affecting the cylinder while maintaining a stable flow regime. The environment of the proposed model is represented by a two-dimensional direct numerical simulation (DNS) of a flow past a square cylinder. The control strategy is based on the regulation of the supplied alternating current (AC) voltage at three distinct configurations of the plasma actuators. The effectiveness of the designed strategy is first investigated for Reynolds number, $Re_{D} = 100$, and further applied for $Re_{D} = 180$. The applied active flow control strategy is able to reduce the mean drag coefficient by 97\% at $Re_{D} = 100$ and by 99\% at $Re_D=180$. Furthermore, the results from this study show that with the increase in Reynolds number, it becomes more challenging to eliminate vortex shedding with plasma actuators located only on the rear surface of the cylinder. Nevertheless, the proposed control scheme is able to completely suppress it with an optimized configuration of the plasma actuators.


title: A Benchmark for Text Expansion: Datasets, Metrics, and Baselines

abstract: This work presents a new task of Text Expansion (TE), which aims to insert fine-grained modifiers into proper locations of the plain text to concretize or vivify human writings. Different from existing insertion-based writing assistance tasks, TE requires the model to be more flexible in both locating and generation, and also more cautious in keeping basic semantics. We leverage four complementary approaches to construct a dataset with 12 million automatically generated instances and 2K human-annotated references for both English and Chinese. To facilitate automatic evaluation, we design various metrics from multiple perspectives. In particular, we propose Info-Gain to effectively measure the informativeness of expansions, which is an important quality dimension in TE. On top of a pre-trained text-infilling model, we build both pipelined and joint Locate&Infill models, which demonstrate the superiority over the Text2Text baselines, especially in expansion informativeness. Experiments verify the feasibility of the TE task and point out potential directions for future research toward better automatic text expansion.


title: Matroid, Ideal, Ultrafilter, Tangle, and so on: Reconsideration of Obstruction to linear decomposition

abstract: The investigation of width parameters in both graph and algebraic contexts has attracted considerable interest. Among these parameters, the linear branch width has emerged as a crucial measure. In this concise paper, we explore the concept of linear decomposition, specifically focusing on the single filter in a connectivity system. Additionally, we examine the relevance of matroids, antimatroids, and greedoids in the context of connectivity systems. Our primary objective in this study is to shed light on the impediments to linear decomposition from multiple perspectives.


title: Scaling limit of the random walk on a Galton-Watson tree with regular varying offspring distribution

abstract: We consider a random walk on a Galton-Watson tree whose offspring distribution has a regular varying tail of order $\kappa\in (1,2)$. We prove the convergence of the renormalised height function of the walk towards the continuous-time height process of a spectrally positive strictly stable L\'evy process, jointly with the convergence of the renormalised trace of the walk towards the continuum tree coded by the latter continuous-time height process.


title: Multiple zeta-star values for indices of infinite length

abstract: In this paper, we consider infinite-length versions of multiple zeta-star values. We give several explicit formulas for the infinite-length versions of multiple zeta-star values. We also discuss the analytic properties of the map from indices to the infinite-length versions of multiple zeta-star values.


title: Examining psychology of science as a potential contributor to science policy

abstract: The psychology of science is the least developed member of the family of science studies. It is growing, however, increasingly into a promising discipline. After a very brief review of this emerging sub-field of psychology, we call for it to be invited into the collection of social sciences that constitute the interdisciplinary field of science policy. Discussing the classic issue of resource allocation, this paper tries to indicate how prolific a new psychological conceptualization of this problem would be. Further, from a psychological perspective, this research will argue in favor of a more realistic conception of science which would be a complement to the existing one in science policy.


title: Using Artificial Neural Networks to Determine Ontologies Most Relevant to Scientific Texts

abstract: This paper provides an insight into the possibility of how to find ontologies most relevant to scientific texts using artificial neural networks. The basic idea of the presented approach is to select a representative paragraph from a source text file, embed it to a vector space by a pre-trained fine-tuned transformer, and classify the embedded vector according to its relevance to a target ontology. We have considered different classifiers to categorize the output from the transformer, in particular random forest, support vector machine, multilayer perceptron, k-nearest neighbors, and Gaussian process classifiers. Their suitability has been evaluated in a use case with ontologies and scientific texts concerning catalysis research. From results we can say the worst results have random forest. The best results in this task brought support vector machine classifier.


title: Precision phase measurement in Mach-Zehnder interferometer with three-photon by using a weak coherent and a squeezed vacuum state

abstract: We quantitatively investigate phase measurement in a Mach-Zehnder interferometer (MZI), which is injected with a weak coherent and a squeezed vacuum generated from a spontaneous parametric down-conversion. The measured three-photon coincidence in this system is quantified as a function of a ratio between the amplitude of the coherent state and the squeezed parameter of squeezed vacuum when the photon number is detected at one output of MZI. It shows that the phase sensitivity reaches the Heisenberg limit when an optimal ratio is chosen. This may introduce one approach to quantify phase sensitivity in precision phase measurement.


title: MFRL-BI: Design of a Model-free Reinforcement Learning Process Control Scheme by Using Bayesian Inference

abstract: Design of process control scheme is critical for quality assurance to reduce variations in manufacturing systems. Taking semiconductor manufacturing as an example, extensive literature focuses on control optimization based on certain process models (usually linear models), which are obtained by experiments before a manufacturing process starts. However, in real applications, pre-defined models may not be accurate, especially for a complex manufacturing system. To tackle model inaccuracy, we propose a model-free reinforcement learning (MFRL) approach to conduct experiments and optimize control simultaneously according to real-time data. Specifically, we design a novel MFRL control scheme by updating the distribution of disturbances using Bayesian inference to reduce their large variations during manufacturing processes. As a result, the proposed MFRL controller is demonstrated to perform well in a nonlinear chemical mechanical planarization (CMP) process when the process model is unknown. Theoretical properties are also guaranteed when disturbances are additive. The numerical studies also demonstrate the effectiveness and efficiency of our methodology.


title: Differentiable SLAM Helps Deep Learning-based LiDAR Perception Tasks

abstract: We investigate a new paradigm that uses differentiable SLAM architectures in a self-supervised manner to train end-to-end deep learning models in various LiDAR based applications. To the best of our knowledge there does not exist any work that leverages SLAM as a training signal for deep learning based models. We explore new ways to improve the efficiency, robustness, and adaptability of LiDAR systems with deep learning techniques. We focus on the potential benefits of differentiable SLAM architectures for improving performance of deep learning tasks such as classification, regression as well as SLAM. Our experimental results demonstrate a non-trivial increase in the performance of two deep learning applications - Ground Level Estimation and Dynamic to Static LiDAR Translation, when used with differentiable SLAM architectures. Overall, our findings provide important insights that enhance the performance of LiDAR based navigation systems. We demonstrate that this new paradigm of using SLAM Loss signal while training LiDAR based models can be easily adopted by the community.


title: Cramer-Rao Bound Optimization for Active RIS-Empowered ISAC Systems

abstract: Integrated sensing and communication (ISAC), which simultaneously performs sensing and communication functions within a shared frequency band and hardware platform, has emerged as a promising technology for future wireless systems. Nevertheless, the weak echo signal received by the low-sensitivity ISAC receiver significantly constrains sensing performance in scenarios involving obstructed targets. Active reconfigurable intelligent surface (RIS) has become a prospective solution by situationally manipulating the wireless propagations and amplifying the signals. In this paper, we investigate active RIS-empowered ISAC systems to enhance radar echo signal quality as well as communication performance. In particular, we focus on the joint design of the base station (BS) transmit precoding and the active RIS reflection beamforming to optimize the parameter estimation performance in terms of Cramer-Rao bound (CRB) subject to the communication users' signal-to-interference-plus-noise ratio (SINR) requirements. An efficient algorithm based on alternating optimization, semidefinite relaxation (SDR), and majorization-minimization (MM) is proposed to solve the formulated challenging non-convex problem. Finally, simulation results validate the effectiveness of the developed algorithm and the potential of employing active RIS in ISAC systems to enhance direct-of-arrival (DoA) estimation performance.


title: Data-driven control of nonlinear systems from input-output data

abstract: The design of controllers from data for nonlinear systems is a challenging problem. In a recent paper, De Persis, Rotulo and Tesi, "Learning controllers from data via approximate nonlinearity cancellation," IEEE Transactions on Automatic Control, 2023, a method to learn controllers that make the closed-loop system stable and dominantly linear was proposed. The approach leads to a simple solution based on data-dependent semidefinite programs. The method uses input-state measurements as data, while in a realistic setup it is more likely that only input-output measurements are available. In this note we report how the design principle of the above mentioned paper can be adjusted to deal with input-output data and obtain dynamic output feedback controllers in a favourable setting.


title: Demonstration of Spatial Self Phase Modulation based photonic diode functionality in MoS2/h-BN medium

abstract: Spatial self-phase modulation (SSPM) is the optical nonlinear process and is a result of spatially varying refractive index profile along the line of propagation in a medium. SSPM is proved to be a method to demonstrate different photonic functionalities. Transition metal dichalcogenides play a key role in 2D nanophononics due to their unique and fascinating properties. MoS2 is the widely studied layered TMDs among all other 2D materials. This paper demonstrates such photonic functionality using thermally induced nonlinear optical response SSPM method, of MoS2 nano bottles. Thermally induced nonlinear optical parameters have been estimated by utilizing the saturable absorption response of h- BN, the nonreciprocal light propagation has been achieved. The diode actions have also been demonstrated in liquid-solid and solid-solid devices with the help of passive elements.


title: The $U(1)_{L_\mu-L_\tau}$ breaking phase transition, muon $g-2$, dark matter, collider and gravitational wave

abstract: Combining the dark matter and muon $g-2$ anomaly, we study the $U(1)_{L_\mu-L_\tau}$ breaking phase transition, gravitational wave spectra, and the direct detection at the LHC in an extra $U(1)_{L_\mu-L_\tau}$ gauge symmetry extension of the standard model. The new fields includes vector-like leptons ($E_1,~ E_2,~ N$), $U(1)_{L_\mu-L_\tau}$ breaking scalar $S$ and gauge boson $Z'$, as well as the dark matter candidate $X_I$ and its heavy partner $X_R$. A joint explanation of the dark matter relic density and muon $g-2$ anomaly excludes the region where both $min(m_{E_1},m_{E_2},m_N,m_{X_R})$ and $min(m_{Z'},m_S)$ are much larger than $m_{X_I}$. In the parameter space accommodating the DM relic density and muon $g-2$ anomaly, the model can achieve a first order $U(1)_{L_\mu-L_\tau}$ breaking phase transition, whose strength is sensitive to the parameters of Higgs potential. The corresponding gravitational wave spectra can reach the sensitivity of U-DECIGO. In addition, the direct searches at the LHC impose stringent bound on the mass spectra of the vector-like leptons and dark matter.


title: Neural Gradient Learning and Optimization for Oriented Point Normal Estimation

abstract: We propose Neural Gradient Learning (NGL), a deep learning approach to learn gradient vectors with consistent orientation from 3D point clouds for normal estimation. It has excellent gradient approximation properties for the underlying geometry of the data. We utilize a simple neural network to parameterize the objective function to produce gradients at points using a global implicit representation. However, the derived gradients usually drift away from the ground-truth oriented normals due to the lack of local detail descriptions. Therefore, we introduce Gradient Vector Optimization (GVO) to learn an angular distance field based on local plane geometry to refine the coarse gradient vectors. Finally, we formulate our method with a two-phase pipeline of coarse estimation followed by refinement. Moreover, we integrate two weighting functions, i.e., anisotropic kernel and inlier score, into the optimization to improve the robust and detail-preserving performance. Our method efficiently conducts global gradient approximation while achieving better accuracy and generalization ability of local feature description. This leads to a state-of-the-art normal estimator that is robust to noise, outliers and point density variations. Extensive evaluations show that our method outperforms previous works in both unoriented and oriented normal estimation on widely used benchmarks. The source code and pre-trained models are available at https://github.com/LeoQLi/NGLO.


title: RobotPerf: An Open-Source, Vendor-Agnostic, Benchmarking Suite for Evaluating Robotics Computing System Performance

abstract: We introduce RobotPerf, a vendor-agnostic benchmarking suite designed to evaluate robotics computing performance across a diverse range of hardware platforms using ROS 2 as its common baseline. The suite encompasses ROS 2 packages covering the full robotics pipeline and integrates two distinct benchmarking approaches: black-box testing, which measures performance by eliminating upper layers and replacing them with a test application, and grey-box testing, an application-specific measure that observes internal system states with minimal interference. Our benchmarking framework provides ready-to-use tools and is easily adaptable for the assessment of custom ROS 2 computational graphs. Drawing from the knowledge of leading robot architects and system architecture experts, RobotPerf establishes a standardized approach to robotics benchmarking. As an open-source initiative, RobotPerf remains committed to evolving with community input to advance the future of hardware-accelerated robotics.