title: Trajectory-Oriented Policy Optimization with Sparse Rewards

abstract: Mastering deep reinforcement learning (DRL) proves challenging in tasks featuring scant rewards. These limited rewards merely signify whether the task is partially or entirely accomplished, necessitating various exploration actions before the agent garners meaningful feedback. Consequently, the majority of existing DRL exploration algorithms struggle to acquire practical policies within a reasonable timeframe. To address this challenge, we introduce an approach leveraging offline demonstration trajectories for swifter and more efficient online RL in environments with sparse rewards. Our pivotal insight involves treating offline demonstration trajectories as guidance, rather than mere imitation, allowing our method to learn a policy whose distribution of state-action visitation marginally matches that of offline demonstrations. We specifically introduce a novel trajectory distance relying on maximum mean discrepancy (MMD) and cast policy optimization as a distance-constrained optimization problem. We then illustrate that this optimization problem can be streamlined into a policy-gradient algorithm, integrating rewards shaped by insights from offline demonstrations. The proposed algorithm undergoes evaluation across extensive discrete and continuous control tasks with sparse and misleading rewards. The experimental findings demonstrate the significant superiority of our proposed algorithm over baseline methods concerning diverse exploration and the acquisition of an optimal policy.


title: Revealing ringed galaxies in group environments

abstract: Aims. We explore galaxies with ringed structures inhabiting poor and rich groups with the aim of assessing the effects of local density environments on ringed galaxy properties. Methods. We identified galaxies with inner, outer, nuclear, inner+outer (inner and outer rings combined), and partial rings that reside in groups by cross-correlating a sample of ringed galaxies with a group catalog obtained from Sloan Digital Sky Survey (SDSS). The resulting sample was divided based on group richness. To quantify the effects of rings and the role of local density environment on galaxy properties, we constructed a suitable control sample for each catalog of ringed galaxies, consisting of non-ringed galaxies with similar values for the z, magnitude, morphology, group masses, and environmental density distributions as those of ringed ones. We explored the occurrence of ringed galaxies in poor and rich groups and analyzed several galaxy properties, such as SFR, stellar populations, and colors. Results. We obtained a sample of 637 ringed galaxies residing in groups. With 76% of these galaxies inhabiting poor groups and 24% rich groups. In addition, ringed galaxies in groups display a reduction in their star formation activity and aged stellar populations, compared to non-ringed ones in the control samples. However, the SFR is higher for nuclear rings in poor groups than for other types. This disparity may stem from the environmental influence on the internal processes of galaxies, either enhancing or diminishing star formation. Ringed galaxies also show an excess of red colors and tend to populate the green valley and the red sequence of color-magnitude and color-color diagrams, with a surplus of galaxies in the red sequence, while non-ringed galaxies are found in the green valley and the blue region. These trends are more significant in galaxies with ringed structures residing in rich groups.


title: Enabling Digitalization in Modular Robotic Systems Integration

abstract: Integrating robot systems into manufacturing lines is a time-consuming process. In the era of digitalization, the research and development of new technologies is crucial for improving integration processes. Numerous challenges, including the lack of standardization, as well as intricate stakeholder relationships, complicate the process of robotic systems integration. This process typically consists of acquisition, integration, and deployment of the robot systems. This thesis focuses on three areas that help automate and simplify robotic systems integration. In the first area, related to acquisition, a constraint-based configurator is demonstrated that resolves compatibility challenges between robot devices, and automates the configuration process. This reduces the risk of integrating incompatible devices and decreases the need for experts during the configuration phase. In the second area, related to integration, the interoperable modeling format, Unified Robot Description Format (URDF), is investigated, where a detailed analysis is performed, revealing significant inconsistencies and critical improvements. This format is widely used for kinematic modeling and 3D visualization of robots, and its models can be reused across simulation tools. Improving this format benefits a wide range of users, including robotics engineers, researchers, and students. In the third area, related to deployment, Digital Twins (DTs) for robot systems are explored, as these improve efficiency and reduce downtime. A comprehensive literature review of DTs is conducted, and a case study of modular robot systems is developed. This research can accelerate the adoption of DTs in the robotics industry. These insights and approaches improve the process of robotic systems integration, offering valuable contributions that future research can build upon, ultimately driving efficiency, and reducing costs.


title: Infinite-Time Singularities of the Lagrangian Mean Curvature Flow

abstract: In this paper, we construct solutions of Lagrangian mean curvature flow which exist and are embedded for all time, but form an infinite-time singularity and converge to an immersed special Lagrangian as $t\to\infty$. In particular, the flow decomposes the initial data into a union of special Lagrangians intersecting at one point. This result shows that infinite-time singularities can form in the Thomas--Yau `semi-stable' situation. A precise polynomial blow-up rate of the second fundamental form is also shown. The infinite-time singularity formation is obtained by a perturbation of an approximate family $N^{\varepsilon(t)}$ constructed by gluing in special Lagrangian `Lawlor necks' of size $\varepsilon(t)$, where the dynamics of the neck size $\varepsilon(t)$ are driven by the obstruction for the existence of nearby special Lagrangians to $N^{\varepsilon(t)}$. This is inspired by the work of Brendle and Kapouleas regarding ancient solutions of the Ricci flow.


title: Some remarks on Grothendieck pairs

abstract: We revisit the paper of Alexander Grothendiek where he introduced Grothendieck pairs and discuss the relation between profinite rigidity and left/right Grothendieck rigidity. We also show that various groups are left and/or right Grothendieck rigid and, in particular, all ascending HNN extensiona of finitely generated free groups are right Grothendieck rigid. Along the way we present a number of questions and suggestions for further research.


title: Automated Test Production -- Complement to "Ad-hoc" Testing

abstract: A view on software testing, taken in a broad sense and considered a important activity is presented. We discuss the methods and techniques for applying tests and the reasons we recognize make it difficult for industry to adopt the advances observed in academia. We discuss some advances in the area and briefly point out the approach we intend to follow in the search for a solution.


title: On the computation of coarse cohomology

abstract: The purpose of this article is to relate coarse cohomology of metric spaces with a more computable cohomology. We introduce a notion of boundedly supported cohomology and prove that coarse cohomology of many spaces are isomorphic to the boundedly supported cohomology. Boundedly supported cohomology coincides with compactly supported Alexander--Spanier cohomology if the space is proper and contractible. Our work generalizes an earlier result of Roe which says that the coarse cohomology is isomorphic to the compactly supported Alexander-Spanier cohomology if the space is uniformly contractible. As an application of our main theorem, we obtain that coarse cohomology of the complement can be computed in terms of Alexander-Spanier cohomology for many spaces.


title: On the completeness of root function system of the $2\times 2$ Dirac operators with non-regular boundary conditions

abstract: The paper is concerned with the completeness property of root functions of the $2\times 2$ Dirac operator with summable complex-valued potential and non-regular boundary conditions. Sufficient conditions for the completeness of the root function system of the operator under consideration are established.


title: The Yule-$\Lambda$ Nested Coalescent: Distribution of the Number of Lineages

abstract: We study a model of a population with individuals sampled from different species. The Yule-$\Lambda$ nested coalescent describes the genealogy of the sample when each species merges with another randomly chosen species with a constant rate $c$ and the mergers of individuals in each species follow the $\Lambda$-coalescent. For the Yule-$\Lambda$ nested coalescent with $c<\int_0^1x^{-1}\Lambda(dx)<\infty$, where $\Lambda$ is the measure that characterizes the $\Lambda$-coalescent, we show that under some initial conditions, the distribution of the number of individual lineages belonging to one species converges weakly to the distribution $\nu_c^*$, which is the solution to some recursive distributional equation (RDE) with finite mean. In addition, we show that for some values of $c$, the RDE has another solution with infinite mean.


title: One-step implementation of nonadiabatic geometric fSim gate in superconducting circuits

abstract: Due to its significant application in reducing algorithm depth, fSim gates have attracted a lot of attention. However, during the implementation of quantum gates, fluctuations in control parameters and decoherence caused by the environment may lead to a decrease in the fidelity of the gate. Implementing the fSim gate that is robust to these factors in one step remains an unresolved issue. In this manuscript, we propose a one-step implementation of the nonadiabatic geometric fSim gate composed of a nonadiabatic holonomic controlled phase (CP) gate and a nonadiabatic noncyclic geometric iSWAP gate with parallel paths in a tunable superconducting circuit. Compared to the composite nonadiabatic geometric fSim gate composed of a nonadiabatic holonomic CP gate and a nonadiabatic geometric iSWAP gate, our scheme only takes half the time and demonstrates robustness to parameter fluctuations, as well as to environmental impacts. Moreover, the scheme does not require complex controls, making it very easy to implement in experiments, and can be achieved in various circuit structures. Our scheme may provide a promising path toward quantum computation and simulation.


title: Reconstruction of curves from their theta hyperplanes in genera $6$ and $7$

abstract: We derive a formula for reconstructing a generic complex canonical curve $C$ of genus 6 and 7 in terms of the theta hyperplanes of $C$. Hence, we get a generic inverse to the Torelli map, as well as a complete description of the Schottky locus in these genera. The computational part of the proof relies on a certified numerical argument.


title: U-Mixer: An Unet-Mixer Architecture with Stationarity Correction for Time Series Forecasting

abstract: Time series forecasting is a crucial task in various domains. Caused by factors such as trends, seasonality, or irregular fluctuations, time series often exhibits non-stationary. It obstructs stable feature propagation through deep layers, disrupts feature distributions, and complicates learning data distribution changes. As a result, many existing models struggle to capture the underlying patterns, leading to degraded forecasting performance. In this study, we tackle the challenge of non-stationarity in time series forecasting with our proposed framework called U-Mixer. By combining Unet and Mixer, U-Mixer effectively captures local temporal dependencies between different patches and channels separately to avoid the influence of distribution variations among channels, and merge low- and high-levels features to obtain comprehensive data representations. The key contribution is a novel stationarity correction method, explicitly restoring data distribution by constraining the difference in stationarity between the data before and after model processing to restore the non-stationarity information, while ensuring the temporal dependencies are preserved. Through extensive experiments on various real-world time series datasets, U-Mixer demonstrates its effectiveness and robustness, and achieves 14.5\% and 7.7\% improvements over state-of-the-art (SOTA) methods.


title: Multiband Quantum Materials

abstract: Quantum materials are defined by the emergence of new properties resulting from collective quantum effects and by holding promise for their quantum applications. Novel superconductors, from high-Tc cuprates and iron-based superconductors to twisted monolayers, exhibit a higher level of emergent complexity, with a multiband electronic structure playing a pivotal role in their comprehension and potential applications. Here, we provide a brief overview of key multiband effects in these superconductors and topological semimetals, offering guidelines for the theory-assisted development of new quantum materials and devices.


title: Mode conversion and energy flux absorption in the structured solar atmosphere

abstract: Context. Structuring in the solar atmosphere, in the form of inhomogeneities transverse to the magnetic field, is believed to play a vital role in wave propagation, conversion, and absorption. Aims. We investigated the effect of transverse structuring on the processes of mode conversion and wave energy flux absorption using a 3D ideal magnetohydrodynamic simulation featuring an expanding coronal loop in a gravitationally stratified atmosphere. Methods. Multiple wave drivers were modelled. The location of the driver at the photospheric base was allowed to vary so that we could study how the driven waves interact with the transverse structuring, provided by the magnetic field, as well as with the vertical structuring due to gravity. Results. We find that the transverse structuring acts as a conduit for Alfv\'en wave energy flux through the transition region and into the solar corona. Moreover, in regions of strong transverse gradients, the reflection of Alfv\'en waves at the transition region is greatly reduced, supporting results from recent studies. Finally, we investigated the efficiency of the loop structuring at absorbing energy flux from externally driven waves and find that the loop is extremely effective at channelling wave energy flux to the loop apex in the corona; in some cases, it can absorb over a third of the externally driven wave energy flux. Conclusions. These results may have important consequences in the context of decayless loop oscillations as they suggest that the oscillations are driven by acoustic waves outside of the existing loop structure.


title: A Decision Method for Elementary Stream Calculus

abstract: The main result is a doubly exponential decision procedure for the first-order equality theory of streams with both arithmetic and control-oriented stream operations. This stream logic is expressive for elementary problems of stream calculus.


title: Hamilton--Jacobi equations for Wasserstein controlled gradient flows: existence of viscosity solutions

abstract: This work is the third part of a program initiated in arXiv:2111.13258, arXiv:2302.06571 aiming at the development of an intrinsic geometric well-posedness theory for Hamilton-Jacobi equations related to controlled gradient flow problems in metric spaces. In this paper, we finish our analysis in the context of Wasserstein gradient flows with underlying energy functional satisfying McCann's condition. More prescisely, we establish that the value function for a linearly controlled gradient flow problem whose running cost is quadratic in the control variable and just continuous in the state variable yields a viscosity solution to the Hamilton-Jacobi equation in terms of two operators introduced in our former works, acting as rigorous upper and lower bounds for the formal Hamiltonian at hand. The definition of these operators is directly inspired by the Evolutional Variational Inequality formulation of gradient flows (EVI): one of the main innovations of this work is to introduce a controlled version of EVI, which turns out to be crucial in establishing regularity properties, energy and metric bounds along optimzing sequences in the controlled gradient flow problem that defines the candidate solution.


title: Slot-guided Volumetric Object Radiance Fields

abstract: We present a novel framework for 3D object-centric representation learning. Our approach effectively decomposes complex scenes into individual objects from a single image in an unsupervised fashion. This method, called slot-guided Volumetric Object Radiance Fields (sVORF), composes volumetric object radiance fields with object slots as a guidance to implement unsupervised 3D scene decomposition. Specifically, sVORF obtains object slots from a single image via a transformer module, maps these slots to volumetric object radiance fields with a hypernetwork and composes object radiance fields with the guidance of object slots at a 3D location. Moreover, sVORF significantly reduces memory requirement due to small-sized pixel rendering during training. We demonstrate the effectiveness of our approach by showing top results in scene decomposition and generation tasks of complex synthetic datasets (e.g., Room-Diverse). Furthermore, we also confirm the potential of sVORF to segment objects in real-world scenes (e.g., the LLFF dataset). We hope our approach can provide preliminary understanding of the physical world and help ease future research in 3D object-centric representation learning.


title: Energy Identity for Stationary Harmonic Maps

abstract: In this paper we consider sequences $u_j:B_2\subseteq M\to N$ of stationary harmonic maps between smooth Riemannian manifolds with uniformly bounded energy $E[u_j]\equiv \int |\nabla u_j|^2\leq \Lambda$ . After passing to a subsequence it is known one can limit $u_j\to u:B_1\to N$ with the associated defect measure $|\nabla u_j|^2 dv_g \to |\nabla u|^2dv_g+\nu$, where $\nu = e(x)\, H^{m-2}_S$ is an $m-2$ rectifiable measure \cite{lin_stat}. For a.e. $x\in S=\operatorname{supp}(\nu)$ one can produce a finite number of bubble maps $b_j:S^2\to N$ by blowing up the sequence $u_j$ near $x$. We prove the energy identity in this paper. Namely, we have at a.e. $x\in S$ that $e(x)=\sum_j E[b_j]$ for a complete set of such bubbles. That is, the energy density of the defect measure $\nu$ is precisely the sum of the energies of the bubbling maps.


title: Pseudo Nambu-Goldstone Boson DM with Linear Symmetry Breaking: Revisited

abstract: In this work, we revisit pseudo Nambu Goldstone boson (pNGB) DM model where global $U(1)$ dark symmetry is spontaneously broken as well as explicitly with broken by with linear symmetry breaking, focusing on the dark matter mass range in $500 {\rm GeV} \lesssim m_{\rm DM} \lesssim O(10)$ TeV. This model is interesting not only in its own in the context of pNGB DM, but also in the context of cosmological collider signatures from heavy particle mass regime without Boltzmann suppressions, $H \lesssim m_{\rm heavy} \lesssim 60 H$, through the chemical potential type interaction. After imposing perturbative unitarity, perturbativity, correct thermal relic density and constraints from colliders and (in)direct detection experiments, we find that pNGB DM mass is allowed up to $\sim 1 (10)$ TeV for the dark Higgs mass $m_{H_2} = 1 (100)$ TeV for the Higgs-dark Higgs mixing $\sin \theta = 0.1$. We also consider the case where global $U(1)$ dark symmetry is not spontaneously broken, where DM is no longer pNGB. In this case, DM and dark Higgs masses are nearly degenerate in the range of a few TeV $\lesssim m_{{\rm DM}, H_2} \lesssim \sim 70$ TeV. Low mass region for pNGB DM and $H_2$ could be directly probed in colliders or indirect DM detections, whereas the heavy mass regime could be probed through the non-Gaussianity at the level of $f_{\rm NL} \sim O(0.01-10)$ if $H$ is as low as $O(1-10)$ TeV.


title: Policy-regularized Offline Multi-objective Reinforcement Learning

abstract: In this paper, we aim to utilize only offline trajectory data to train a policy for multi-objective RL. We extend the offline policy-regularized method, a widely-adopted approach for single-objective offline RL problems, into the multi-objective setting in order to achieve the above goal. However, such methods face a new challenge in offline MORL settings, namely the preference-inconsistent demonstration problem. We propose two solutions to this problem: 1) filtering out preference-inconsistent demonstrations via approximating behavior preferences, and 2) adopting regularization techniques with high policy expressiveness. Moreover, we integrate the preference-conditioned scalarized update method into policy-regularized offline RL, in order to simultaneously learn a set of policies using a single policy network, thus reducing the computational cost induced by the training of a large number of individual policies for various preferences. Finally, we introduce Regularization Weight Adaptation to dynamically determine appropriate regularization weights for arbitrary target preferences during deployment. Empirical results on various multi-objective datasets demonstrate the capability of our approach in solving offline MORL problems.


title: On Augmenting Scenario-Based Modeling with Generative AI

abstract: The manual modeling of complex systems is a daunting task; and although a plethora of methods exist that mitigate this issue, the problem remains very difficult. Recent advances in generative AI have allowed the creation of general-purpose chatbots, capable of assisting software engineers in various modeling tasks. However, these chatbots are often inaccurate, and an unstructured use thereof could result in erroneous system models. In this paper, we outline a method for the safer and more structured use of chatbots as part of the modeling process. To streamline this integration, we propose leveraging scenario-based modeling techniques, which are known to facilitate the automated analysis of models. We argue that through iterative invocations of the chatbot and the manual and automatic inspection of the resulting models, a more accurate system model can eventually be obtained. We describe favorable preliminary results, which highlight the potential of this approach.


title: Reflection Measurement of the Scattering Mean Free Path at the Onset of Multiple Scattering

abstract: Multiple scattering of waves presents challenges for imaging complex media but offers potential for their characterization. Its onset is actually governed by the scattering mean free path $\ell_s$ that provides crucial information on the medium micro-architecture. Here, we introduce a reflection matrix method designed to estimate this parameter from the time decay of the single scattering rate. Our method is first validated by means of an ultrasound experiment on a tissue-mimicking phantom. An in-vivo measurement of $\ell_s$ is then performed in the human liver. This study thus opens important perspectives for quantitative imaging whether it be for non-destructive testing or biomedical applications.


title: Effective Single Particle Theory for Active System

abstract: A collection of active self-propelled particles exhibits motility-induced phase separation at a packing density much lower than the corresponding equilibrium counterpart. Unlike the equilibrium counterpart, the steady state in a system of active particles is characterized by the continuous association and dissociation of clusters. In this work, we propose an effective single-particle model in which the effect of neighboring particles is replaced by a time-dependent local density around the particle, having a unique auto-correlation function. Such that the local density around the particles has a memory with a finite correlation time. The correlation time increases with packing density. Further, by using the same local density and its correlation function, we solve the system of many particles and compare the results with numerical simulations. Our proposed analytical theory matches well with the numerical study.


title: CALPAGAN: Calorimetry for Particles using GANs

abstract: In this study, a novel approach is demonstrated for converting calorimeter images from fast simulations to those akin to comprehensive full simulations, utilizing conditional Generative Adversarial Networks (GANs). The concept of pix2pix is tailored for CALPAGAN, where images from fast simulations serve as the basis(condition) for generating outputs that closely resemble those from detailed simulations. The findings indicate a strong correlation between the generated images and those from full simulations, especially in terms of key observables like jet transverse momentum distribution, jet mass, jet subjettiness, and jet girth. Additionally, the paper explores the efficacy of this method and its intrinsic limitations. This research marks a significant step towards exploring more efficient simulation methodologies in High Energy Particle Physics.


title: High order Lagrange-Galerkin methods for the conservative formulation of the advection-diffusion equation

abstract: We introduce in this paper the numerical analysis of high order both in time and space Lagrange-Galerkin methods for the conservative formulation of the advection-diffusion equation. As time discretization scheme we consider the Backward Differentiation Formulas up to order $q=5$. The development and analysis of the methods are performed in the framework of time evolving finite elements presented in C. M. Elliot and T. Ranner, IMA Journal of Numerical Analysis \textbf{41}, 1696-1845 (2021). The error estimates show through their dependence on the parameters of the equation the existence of different regimes in the behavior of the numerical solution; namely, in the diffusive regime, that is, when the diffusion parameter $\mu$ is large, the error is $O(h^{k+1}+\Delta t^{q})$, whereas in the advective regime, $\mu \ll 1$, the convergence is $O(\min (h^{k},\frac{h^{k+1} }{\Delta t})+\Delta t^{q})$. It is worth remarking that the error constant does not have exponential $\mu ^{-1}$ dependence.


title: Spectral theory of twisted bilayer graphene in a magnetic field

abstract: In this article we study the Bistritzer-MacDonald (BM) model with external magnetic field. We study the spectral properties of the Hamiltonian in an external magnetic field with a particular emphasis on the flat band of the chiral model at magic angles. Our analysis includes different types of interlayer tunneling potentials, the so-called chiral and anti-chiral limits. One novelty of our article is that we show that using a magnetic field one can discriminate between flat bands of different multiplicities, as they lead to different Chern numbers in the presence of magnetic fields, while for zero magnetic field their Chern numbers always coincide.

categories: math-ph cond-mat.mes-hall math.AP math.MP math.SP


title: Nonreciprocal Unconventional Photon Blockade with Kerr Magnons

abstract: Nonreciprocal devices, allowing to manipulate one-way signals, are crucial to quantum information processing and quantum network. Here we propose a nonlinear cavity-magnon system, consisting of a microwave cavity coupled to one or two yttrium-iron-garnet (YIG) spheres supporting magnons with Kerr nonlinearity, to investigate nonreciprocal unconventional photon blockade. The nonreciprocity originates from the direction-dependent Kerr effect, distinctly different from previous proposals with spinning cavities and dissipative couplings. For a single sphere case, nonreciprocal unconventional photon blockade can be realized by manipulating the nonreciprocal destructive interference between two active paths, via vary the Kerr coefficient from positive to negative, or vice versa. By optimizing the system parameters, the perfect and well-tuned nonreciprocal unconventional photon blockade can be predicted. For the case of two spheres with opposite Kerr effects, only reciprocal unconventional photon blockade can be observed when two cavity-magnon coupling strengths Kerr strengths are symmetric. However, when coupling strengths or Kerr strengths become asymmetric, nonreciprocal unconventional photon blockade appears. This implies that two-sphere nonlinear cavity-magnon systems can be used to switch the transition between reciprocal and nonreciprocal unconventional photon blockades. Our study offers a potential platform for investigating nonreciprocal photon blockade effect in nonlinear cavity magnonics.


title: Thermodynamics of active matter: Tracking dissipation across scales

abstract: The concept of entropy has been pivotal in the formulation of thermodynamics. For systems driven away from thermal equilibrium, a comparable role is played by entropy production and dissipation. Here we provide a comprehensive picture how local dissipation due to effective chemical events manifests on large scales in active matter. We start from a microscopic model for a single catalytic particle involving explicit solute molecules and show that it undergoes directed motion. Leveraging stochastic thermodynamics, we calculate the average entropy production rate for interacting particles. We then show how the model of active Brownian particles emerges in a certain limit and we determine the entropy production rate on the level of the hydrodynamic equations. Our results augment the model of active Brownian particles with rigorous expressions for the dissipation that cannot be inferred from their equations of motion, and we illustrate consequences for wall aggregation and motility-induced phase separation. Notably, our bottom-up approach reveals that a naive application of the Onsager currents yields an incorrect expression for the local dissipation.


title: REDriver: Runtime Enforcement for Autonomous Vehicles

abstract: Autonomous driving systems (ADSs) integrate sensing, perception, drive control, and several other critical tasks in autonomous vehicles, motivating research into techniques for assessing their safety. While there are several approaches for testing and analysing them in high-fidelity simulators, ADSs may still encounter additional critical scenarios beyond those covered once they are deployed on real roads. An additional level of confidence can be established by monitoring and enforcing critical properties when the ADS is running. Existing work, however, is only able to monitor simple safety properties (e.g., avoidance of collisions) and is limited to blunt enforcement mechanisms such as hitting the emergency brakes. In this work, we propose REDriver, a general and modular approach to runtime enforcement, in which users can specify a broad range of properties (e.g., national traffic laws) in a specification language based on signal temporal logic (STL). REDriver monitors the planned trajectory of the ADS based on a quantitative semantics of STL, and uses a gradient-driven algorithm to repair the trajectory when a violation of the specification is likely. We implemented REDriver for two versions of Apollo (i.e., a popular ADS), and subjected it to a benchmark of violations of Chinese traffic laws. The results show that REDriver significantly improves Apollo's conformance to the specification with minimal overhead.


title: L3Cube-IndicNews: News-based Short Text and Long Document Classification Datasets in Indic Languages

abstract: In this work, we introduce L3Cube-IndicNews, a multilingual text classification corpus aimed at curating a high-quality dataset for Indian regional languages, with a specific focus on news headlines and articles. We have centered our work on 10 prominent Indic languages, including Hindi, Bengali, Marathi, Telugu, Tamil, Gujarati, Kannada, Odia, Malayalam, and Punjabi. Each of these news datasets comprises 10 or more classes of news articles. L3Cube-IndicNews offers 3 distinct datasets tailored to handle different document lengths that are classified as: Short Headlines Classification (SHC) dataset containing the news headline and news category, Long Document Classification (LDC) dataset containing the whole news article and the news category, and Long Paragraph Classification (LPC) containing sub-articles of the news and the news category. We maintain consistent labeling across all 3 datasets for in-depth length-based analysis. We evaluate each of these Indic language datasets using 4 different models including monolingual BERT, multilingual Indic Sentence BERT (IndicSBERT), and IndicBERT. This research contributes significantly to expanding the pool of available text classification datasets and also makes it possible to develop topic classification models for Indian regional languages. This also serves as an excellent resource for cross-lingual analysis owing to the high overlap of labels among languages. The datasets and models are shared publicly at https://github.com/l3cube-pune/indic-nlp


title: Balancing Continual Learning and Fine-tuning for Human Activity Recognition

abstract: Wearable-based Human Activity Recognition (HAR) is a key task in human-centric machine learning due to its fundamental understanding of human behaviours. Due to the dynamic nature of human behaviours, continual learning promises HAR systems that are tailored to users' needs. However, because of the difficulty in collecting labelled data with wearable sensors, existing approaches that focus on supervised continual learning have limited applicability, while unsupervised continual learning methods only handle representation learning while delaying classifier training to a later stage. This work explores the adoption and adaptation of CaSSLe, a continual self-supervised learning model, and Kaizen, a semi-supervised continual learning model that balances representation learning and down-stream classification, for the task of wearable-based HAR. These schemes re-purpose contrastive learning for knowledge retention and, Kaizen combines that with self-training in a unified scheme that can leverage unlabelled and labelled data for continual learning. In addition to comparing state-of-the-art self-supervised continual learning schemes, we further investigated the importance of different loss terms and explored the trade-off between knowledge retention and learning from new tasks. In particular, our extensive evaluation demonstrated that the use of a weighting factor that reflects the ratio between learned and new classes achieves the best overall trade-off in continual learning.


title: Rethinking Response Evaluation from Interlocutor's Eye for Open-Domain Dialogue Systems

abstract: Open-domain dialogue systems have started to engage in continuous conversations with humans. Those dialogue systems are required to be adjusted to the human interlocutor and evaluated in terms of their perspective. However, it is questionable whether the current automatic evaluation methods can approximate the interlocutor's judgments. In this study, we analyzed and examined what features are needed in an automatic response evaluator from the interlocutor's perspective. The first experiment on the Hazumi dataset revealed that interlocutor awareness plays a critical role in making automatic response evaluation correlate with the interlocutor's judgments. The second experiment using massive conversations on X (formerly Twitter) confirmed that dialogue continuity prediction can train an interlocutor-aware response evaluator without human feedback while revealing the difficulty in evaluating generated responses compared to human responses.


title: Factors Enabling Delocalized Charge-Carriers in Pnictogen-Based Solar Absorbers: In-depth Investigation into CuSbSe2

abstract: Inorganic semiconductors based on heavy pnictogen cations (Sb3+ and Bi3+) have gained significant attention as potential nontoxic and stable alternatives to lead-halide perovskites for solar cell applications. A limitation of these novel materials, which is being increasingly commonly found, is carrier localization, which substantially reduces mobilities and diffusion lengths. Herein, the layered p\v{r}\'ibramite CuSbSe2 is investigated and discovered to have delocalized free carriers, as shown through optical pump terahertz probe spectroscopy and temperature-dependent mobility measurements. Using a combination of theory and experiment, it is found that the underlying factors are: 1) weak coupling to acoustic phonons due to low deformation potentials, as lattice distortions are primarily accommodated through rigid inter-layer movement rather than straining inter-atomic bonds, and 2) weak coupling to optical phonons due to the ionic contributions to the dielectric constant being low compared to electronic contributions. This work provides important insights into how pnictogen-based semiconductors avoiding carrier localization could be identified.


title: Uncertainty-Aware Deep Attention Recurrent Neural Network for Heterogeneous Time Series Imputation

abstract: Missingness is ubiquitous in multivariate time series and poses an obstacle to reliable downstream analysis. Although recurrent network imputation achieved the SOTA, existing models do not scale to deep architectures that can potentially alleviate issues arising in complex data. Moreover, imputation carries the risk of biased estimations of the ground truth. Yet, confidence in the imputed values is always unmeasured or computed post hoc from model output. We propose DEep Attention Recurrent Imputation (DEARI), which jointly estimates missing values and their associated uncertainty in heterogeneous multivariate time series. By jointly representing feature-wise correlations and temporal dynamics, we adopt a self attention mechanism, along with an effective residual component, to achieve a deep recurrent neural network with good imputation performance and stable convergence. We also leverage self-supervised metric learning to boost performance by optimizing sample similarity. Finally, we transform DEARI into a Bayesian neural network through a novel Bayesian marginalization strategy to produce stochastic DEARI, which outperforms its deterministic equivalent. Experiments show that DEARI surpasses the SOTA in diverse imputation tasks using real-world datasets, namely air quality control, healthcare and traffic.


title: Nearest-Neighboring Pairing of Monolayer NbSe2 Facilitates the Emergence of Topological Superconducting States

abstract: NbSe2, which simultaneously exhibits superconductivity and spin-orbit coupling, is anticipated to pave the way for topological superconductivity and unconventional electron pairing. In this paper, we systematically study topological superconducting (TSC) phases in monolayer NbSe2 through mixing on-site s-wave pairing (ps) with nearest-neighbor pairing (psA1) based on a tight-binding model. We observe rich phases with both fixed and sensitive Chern numbers (CNs) depending on the chemical potential ({\mu}) and out-of-plane magnetic field (Vz). As the psA1 increases, the TSC phase manifests matching and mismatching features according to whether there is a bulk-boundary correspondence (BBC). Strikingly, the introduction of mixed wave pairing significantly reduces the critical Vz to form TSC phases compared with the pure s-wave paring. Moreover, the TSC phase can be modulated even at Vz=0 under appropriate {\mu} and psA1, which is identified by the robust topological edge states (TESs) of ribbons. Additionally, the mixed pairing influences the hybridization of bulk and edge states, resulting in a matching/mismatching BBC with localized/oscillating TESs on the ribbon. Our finding is helpful for the realization of TSC states in experiment, as well as designing and regulating TSC materials.


title: Phase space path integral approach to the kinetics of black hole phase transition

abstract: We employ the approach of path integral in the phase space to study the kinetics of state switching associated with black hole phase transitions. Under the assumption that the state switching process of the black hole is described by the stochastic Langevin equation based on the free energy landscape, we derived the Martin-Siggia-Rose-Janssen-de Dominicis (MSRJD) functional and obtained the path integral expression of the transition probability. The MSRJD functional inherently represents the path integral in the phase space, allowing us to extract the effective Hamiltonian for the dynamics of state switching process. By solving the Hamiltonian equations of motion, we obtain the kinetic path in the phase space using an example of the RNAdS black hole. Furthermore, the dominant kinetic path within the configuration space is calculated. We also discuss the kinetic rate by using the functional formalism. Finally, we examine two further examples: Hawking-Page phase transition and Gauss-Bonnet black hole phase transition at the triple point. Our analysis demonstrates that, concerning the Hawking-Page phase transition, while a dominant kinetic path in the phase space from the large SAdS black hole to the thermal AdS space is present, there is no kinetic path for the inverse process. For the Gauss-Bonnet black hole phase transition at the triple point, the state switching processes between the small, the intermediate and the large Gauss-Bonnet black holes constitute a chemical reaction cycle.


title: Deconstructing Photospheric Spectral Lines in Solar and Stellar Flares

abstract: During solar flares, spectral lines formed in the photosphere have been shown to exhibit changes to their profiles despite the challenges of energy transfer to these depths. Recent work has shown that deep-forming spectral lines are subject to significant contributions from regions above the photosphere throughout the flaring period, resulting in a composite emergent intensity profile from multiple layers of the atmosphere. We employ radiative-hydrodynamic and radiative transfer calculations to simulate the response of the solar/stellar atmosphere to electron beam heating and synthesize spectral lines of Fe I to investigate the line-of-sight velocity fields information available from Doppler shifts of the emergent intensity profile. By utilizing the contribution function to deconstruct the line profile shape into its constituent sources, we show that variations in the line profiles are primarily caused by changes in the chromosphere. Up-flows in this region were found to create blueshifts or "false" redshifts in the line core dependent on the relative contribution of the chromosphere compared to the photosphere. In extreme solar and stellar flare scenarios featuring explosive chromospheric condensations, red-shifted transient components can dominate the temporal evolution of the profile shape, requiring a tertiary component consideration to fully characterize. We conclude that deep-forming lines require a multi-component understanding and treatment, with different regions of the spectral line being useful for probing individual regions of the atmosphere's velocity flows.


title: The Effects of Generative AI on Computing Students' Help-Seeking Preferences

abstract: Help-seeking is a critical way for students to learn new concepts, acquire new skills, and get unstuck when problem-solving in their computing courses. The recent proliferation of generative AI tools, such as ChatGPT, offers students a new source of help that is always available on-demand. However, it is unclear how this new resource compares to existing help-seeking resources along dimensions of perceived quality, latency, and trustworthiness. In this paper, we investigate the help-seeking preferences and experiences of computing students now that generative AI tools are available to them. We collected survey data (n=47) and conducted interviews (n=8) with computing students. Our results suggest that although these models are being rapidly adopted, they have not yet fully eclipsed traditional help resources. The help-seeking resources that students rely on continue to vary depending on the task and other factors. Finally, we observed preliminary evidence about how help-seeking with generative AI is a skill that needs to be developed, with disproportionate benefits for those who are better able to harness the capabilities of LLMs. We discuss potential implications for integrating generative AI into computing classrooms and the future of help-seeking in the era of generative AI.


title: Symmetry of the coupling between surface acoustic waves and spin waves in synthetic antiferromagnets

abstract: Synthetic antiferromagnets host spin waves that are highly tunable. It is of practical interest to analyze the symmetry of their coupling to surface acoustic waves with the design of hybrid devices in view. For this we calculate the layer-resolved susceptibility tensor of a synthetic antiferromagnet, the effective magneto-elastic and magneto-rotation fields associated to a travelling elastic wave, and the power irreversibly transferred by the elastic wave to the magnetic layers. We consider Rayleigh-type surface acoustic waves: (a) that travel in an elastically isotropic, non-piezoelectric substrate, or (b) that propagate along the X direction at the surface of a Z-cut LiNbO$_3$ substrate, or (c) that are guided in a thin Z-cut LiNbO$_3$ film grown on a sapphire substrate. In particular, we show that the complementary angular dependencies of the acoustic and optical spin wave modes in synthetic antiferromagnets makes it possible to excite spin waves for any relative orientation of magnetization and acoustic wavevector. In addition, we discuss the symmetries of the driving fields and of the energy transferred to the magnetic degree of freedom. We evidence new interaction channels coupling the magnetization eigenmodes when elastic anisotropy and piezoelectricity of the substrate are considered.


title: Globalizing and stabilizing global $\infty$-categories

abstract: We consider the question of cocompleting partially presentable parametrized $\infty$-categories in the sense of arXiv:2307.11001. As our main result we show that in certain cases one may compute such relative cocompletions via a very explicit formula given in terms of partially lax limits. We then apply this to equivariant homotopy theory, building on the work of op. cit. and arXiv:2301.08240, to conclude that the global $\infty$-category of globally equivariant spectra is the relative cocompletion of the global $\infty$-category of equivariant spectra. Evaluating at a group $G$ we obtain a description of the $\infty$-category of $G$-global spectra as a partially lax limit, extending the main result of arXiv:2206.01556 for finite groups to $G$-global homotopy theory. Finally we investigate the question of stabilizing global $\infty$-categories by inverting the action of representation spheres, and deduce a second universal property for the global $\infty$-category of globally equivariant spectra, similar to that of arXiv:2302.06207.


title: Breeding protocols are advantageous for finite-length entanglement distillation

abstract: Bennett et al. proposed a family of protocols for entanglement distillation, namely, hashing, recurrence and breeding protocols. The last one is inferior to the hashing protocol in the asymptotic regime and has been investigated little. In this paper, we propose a framework of converting a stabilizer quantum error-correcting code to a breeding protocol, which is a generalization of the previous conversion methods by Luo-Devetak and Wilde. Then, show an example of a stabilizer that gives a breeding protocol better than hashing protocols, in which the finite number of maximally entangled pairs are distilled from the finite number of partially entangled pairs.


title: From sub-solar to super-solar chemical abundances along the quasar main sequence

abstract: The 4D Eigenvector 1 sequence has proven to be a highly effective tool for organizing observational and physical properties of type 1 active galactic nuclei (AGN). In this paper, we present multiple measurements of metallicity for the broad line region gas, from new or previously published data. We demonstrate a consistent trend along the optical plane of the E1 (also known as the quasar main sequence), defined by the line width of H$\beta$ and by a parameter measuring the prominence of singly-ionized iron emission. The trend involves an increase from sub-solar metallicity in correspondence with extreme Population B (weak FeII emission, large H$\beta$ FWHM) to metallicity several tens the solar value in correspondence with extreme Population A (very strong FeII optical emission, narrower H$\beta$ profiles). The data establish the metallicity as a correlate of the 4D E1/main sequence. If the very high metallicity gas ($Z \gtrsim 10 Z_\odot$) is expelled from the sphere of influence of the central black hole, as indicated by the widespread evidence of nuclear outflows and disk wind in the case of sources radiating at high Eddington ratio, then it is possible that the outflows from quasars played a role in chemically enriching the host galaxy.


title: Electrochemical Removal of HF from Carbonate-based $LiPF_6$-containing Li-ion Battery Electrolytes

abstract: Due to the hydrolytic instability of $LiPF_6$ in carbonate-based solvents, HF is a typical impurity in Li-ion battery electrolytes. HF significantly influences the performance of Li-ion batteries, for example by impacting the formation of the solid electrolyte interphase at the anode and by affecting transition metal dissolution at the cathode. Additionally, HF complicates studying fundamental interfacial electrochemistry of Li-ion battery electrolytes, such as direct anion reduction, because it is electrocatalytically relatively unstable, resulting in LiF passivation layers. Methods to selectively remove ppm levels of HF from $LiPF_6$-containing carbonate-based electrolytes are limited. We introduce and benchmark a simple yet efficient electrochemical in situ method to selectively remove ppm amounts of HF from $LiPF_6$-containing carbonate-based electrolytes. The basic idea is the application of a suitable potential to a high surface-area metallic electrode upon which only HF reacts (electrocatalytically) while all other electrolyte components are unaffected under the respective conditions.


title: Beyond Self-Promotion: How Software Engineering Research Is Discussed on LinkedIn

abstract: LinkedIn is the largest professional network in the world. As such, it can serve to build bridges between practitioners, whose daily work is software engineering (SE), and researchers, who work to advance the field of software engineering. We know that such a metaphorical bridge exists: SE research findings are sometimes shared on LinkedIn and commented on by software practitioners. Yet, we do not know what state the bridge is in. Therefore, we quantitatively and qualitatively investigate how SE practitioners and researchers approach each other via public LinkedIn discussions and what both sides can contribute to effective science communication. We found that a considerable proportion of LinkedIn posts on SE research are written by people who are not the paper authors (39%). Further, 71% of all comments in our dataset are from people in the industry, but only every second post receives at least one comment at all. Based on our findings, we formulate concrete advice for researchers and practitioners to make sharing new research findings on LinkedIn more fruitful.


title: Dynamical excitations of one-dimensional Fulde-Ferrell pairing Fermi superfluid

abstract: We theoretically investigate a one-dimensional Fulde-Ferrell Fermi superfluid at a finite effective Zeeman field $h$, and study entire dynamical excitations related to density perturbation. By calculating the density dynamic structure factor, we find anisotropic dynamical excitations in both collective modes and single-particle excitations. Along the direction of centre-of-mass momentum $p$, there are two obvious gapless collective modes with different speed. The lower collective modes is from the usual gauge symmetry breaking and has a larger speed than the one in the negative direction of $p$. The higher one is due to the direction spontaneous symmetry breaking of centre-of-mass momentum $p$, and separates two kinds of single-particle excitations in the positive $p$ direction. However, this higher mode disappears in the opposite direction of $p$, where two single-particle excitations overlap with each other. These signals of dynamical excitations can do help to distinguish Fulde-Ferrell superfluid from the conventional Bardeen-Cooper-Schrieffer superfluid in the future experiment.


title: Robustness of topological order against disorder

abstract: A universal topological marker has been proposed recently to map the topological invariants of Dirac models in any dimension and symmetry class to lattice sites. Using this topological marker, we examine the conditions under which the global topological order, represented by the spatially averaged topological marker, remains unchanged in the presence of disorder for 1D and 2D systems. We find that if an impurity corresponds to varying a nonzero matrix element of the lattice Hamiltonian, regardless the element represents hopping, chemical potential, pairing, etc, then the average topological marker is conserved. However, if there are many strong impurities and the average distance between them is shorter than a correlation length, then the average marker is no longer conserved. In addition, strong and dense impurities can be used to continuously interpolate between one topological phase and another. A number of prototype lattice models including Su-Schrieffer-Heeger model, Kitaev chain, Chern insulators, Bernevig-Hughes-Zhang model, and chiral p-wave superconductors are used to elaborate the ubiquity of these statements.


title: Towards Seamless Serverless Computing Across an Edge-Cloud Continuum

abstract: Serverless computing has emerged as an attractive paradigm due to the efficiency of development and the ease of deployment without managing any underlying infrastructure. Nevertheless, serverless computing approaches face numerous challenges to unlock their full potential in hybrid environments. To gain a deeper understanding and firsthand knowledge of serverless computing in edge-cloud deployments, we review the current state of open-source serverless platforms and compare them based on predefined requirements. We then design and implement a serverless computing platform with a novel edge orchestration technique that seamlessly deploys serverless functions across the edge and cloud environments on top of the Knative serverless platform. Moreover, we propose an offloading strategy for edge environments and four different functions for experimentation and showcase the performance benefits of our solution. Our results demonstrate that such an approach can efficiently utilize both cloud and edge resources by dynamically offloading functions from the edge to the cloud during high activity, while reducing the overall application latency and increasing request throughput compared to an edge-only deployment.


title: Functional Dimensionality of Koopman Eigenfunction Space

abstract: This work presents the general form solution of Koopman Partial Differential Equation and shows that its functional dimensionality is finite. The dimensionality is as the dimensionality of the dynamics. Thus, the representation of nonlinear dynamics as a linear one with a finite set of Koopman eigenfunctions without error is possible. This formulation justifies the flowbox statement and provides a simple numerical method to find such representation.


title: Irreducibility and periodicity in $\mathbb{Z}^{2}$ symbolic systems

abstract: We show that there exist $\mathbb{Z}^{2}$ symbolic systems that are strongly irreducible and have no (fully) periodic points


title: ShapeAug: Occlusion Augmentation for Event Camera Data

abstract: Recently, Dynamic Vision Sensors (DVSs) sparked a lot of interest due to their inherent advantages over conventional RGB cameras. These advantages include a low latency, a high dynamic range and a low energy consumption. Nevertheless, the processing of DVS data using Deep Learning (DL) methods remains a challenge, particularly since the availability of event training data is still limited. This leads to a need for event data augmentation techniques in order to improve accuracy as well as to avoid over-fitting on the training data. Another challenge especially in real world automotive applications is occlusion, meaning one object is hindering the view onto the object behind it. In this paper, we present a novel event data augmentation approach, which addresses this problem by introducing synthetic events for randomly moving objects in a scene. We test our method on multiple DVS classification datasets, resulting in an relative improvement of up to 6.5 % in top1-accuracy. Moreover, we apply our augmentation technique on the real world Gen1 Automotive Event Dataset for object detection, where we especially improve the detection of pedestrians by up to 5 %.


title: Anisotropy of the anomalous Hall effect in the altermagnet candidate Mn$_5$Si$_3$ films

abstract: Altermagnets are compensated magnets belonging to spin symmetry groups that allow alternating spin polarizations both in the coordinate space of the crystal and in the momentum space of the electronic structure. In these materials the anisotropic local crystal environment of the different sublattices lowers the symmetry of the system so that the opposite-spin sublattices are connected only by rotations, which results in an unconventional spin-polarized band structure in the momentum space. This low symmetry of the crystal structure is expected to be reflected in the anisotropy of the anomalous Hall effect. In this work, we study the anisotropy of the anomalous Hall effect in epitaxial thin films of Mn$_5$Si$_3$, an altermagnetic candidate material. We first demonstrate a change in the relative N\'eel vector orientation when rotating the external field orientation through systematic changes in both the anomalous Hall effect and the anisotropic longitudinal magnetoresistance. We then show that the anomalous Hall effect in this material is anisotropic with the N\'eel vector orientation relative to the crystal structure and that this anisotropy requires high crystal quality and unlikely correlates with the magnetocrystalline anisotropy. Our results provide further systematic support to the case for considering epitaxial thin films of Mn$_5$Si$_3$ as an altermagnetic candidate material.


title: Flux Contribution and Geometry of the Charge Exchange Emission in the Starburst Galaxy M82

abstract: Recent X-ray studies of starburst galaxies have found that Charge eXchange (CX) commonly occurs between the outflowing hot plasma and cold gas, possibly from swept-up clouds. However, the total CX flux and the regions where CX occurs have been poorly understood. We present an analysis of the {\it XMM-Newton} observations of M82, a prototype starburst galaxy, aiming to investigate these key properties of the CX emisssion. We have used a blind source separation method in the image analysis with the CCD data which identified a component with the enhanced O-K lines expected from the CX process. Analyzing the RGS spectra from the region identified by the image analysis, we have detected a high forbidden-to-resonance ratio in the \ion{O}{7} He$\alpha$ triplet as well as several emission lines from K-shell transitions of C, N, and O enhanced in the CX process. The CX is less responsible for the emission line of Ne and Mg and the accurate estimation of the CX contribution is confirmed to be crucial in measuring chemical abundances. The temperature of the plasma as electron receiver in the CX process is significantly lower compared to that of the plasma components responsible for most of the X-rays. From the low temperature and an estimation of the CX emitting volume, we find that the CX primarily occurs in a limited region at the interface of the plasma and gas whose temperature rapidly decreases due to thermal conduction.


title: Universal Approximation Theorem for Vector- and Hypercomplex-Valued Neural Networks

abstract: The universal approximation theorem states that a neural network with one hidden layer can approximate continuous functions on compact sets with any desired precision. This theorem supports using neural networks for various applications, including regression and classification tasks. Furthermore, it is valid for real-valued neural networks and some hypercomplex-valued neural networks such as complex-, quaternion-, tessarine-, and Clifford-valued neural networks. However, hypercomplex-valued neural networks are a type of vector-valued neural network defined on an algebra with additional algebraic or geometric properties. This paper extends the universal approximation theorem for a wide range of vector-valued neural networks, including hypercomplex-valued models as particular instances. Precisely, we introduce the concept of non-degenerate algebra and state the universal approximation theorem for neural networks defined on such algebras.


title: Lightweight Fish Classification Model for Sustainable Marine Management: Indonesian Case

abstract: The enormous demand for seafood products has led to exploitation of marine resources and near-extinction of some species. In particular, overfishing is one the main issues in sustainable marine development. In alignment with the protection of marine resources and sustainable fishing, this study proposes to advance fish classification techniques that support identifying protected fish species using state-of-the-art machine learning. We use a custom modification of the MobileNet model to design a lightweight classifier called M-MobileNet that is capable of running on limited hardware. As part of the study, we compiled a labeled dataset of 37,462 images of fish found in the waters of the Indonesian archipelago. The proposed model is trained on the dataset to classify images of the captured fish into their species and give recommendations on whether they are consumable or not. Our modified MobileNet model uses only 50\% of the top layer parameters with about 42% GTX 860M utility and achieves up to 97% accuracy in fish classification and determining its consumability. Given the limited computing capacity available on many fishing vessels, the proposed model provides a practical solution to on-site fish classification. In addition, synchronized implementation of the proposed model on multiple vessels can supply valuable information about the movement and location of different species of fish.


title: Filtered fiber functors over a general base

abstract: We prove that every filtered fiber functor on the category of dualizable representations of a smooth affine group scheme with enough dualizable representations comes from a graded fiber functor.


title: Nonreciprocal entanglement in cavity magnomechanics exploiting chiral cavity-magnon coupling

abstract: We show how to achieve nonreciprocal quantum entanglement in a cavity magnomechanical system by exploiting the chiral cavity-magnon coupling. The system consists of a magnon mode, a mechanical vibration mode, and two degenerate counter-propagating microwave cavity modes in a torus-shaped cavity. We show that nonreciprocal stationary microwave-magnon and -phonon bipartite entanglements and photon-magnon-phonon tripartite entanglement can be achieved by respectively driving different circulating cavity modes that hold a chiral coupling to the magnon mode. The nonreciprocal entanglements are shown to be robust against various experimental imperfections. We specifically show how such nonreciprocal entanglement can realize the channel multiplexing quantum teleportation. The work may find promising applications of the cavity magnomechanical systems in noise-tolerant quantum processing, channel multiplexing quantum teleportation, and chiral magnonic quantum networks.


title: PEGASUS: Physically Enhanced Gaussian Splatting Simulation System for 6DOF Object Pose Dataset Generation

abstract: We introduce Physically Enhanced Gaussian Splatting Simulation System (PEGASUS) for 6DOF object pose dataset generation, a versatile dataset generator based on 3D Gaussian Splatting. Environment and object representations can be easily obtained using commodity cameras to reconstruct with Gaussian Splatting. PEGASUS allows the composition of new scenes by merging the respective underlying Gaussian Splatting point cloud of an environment with one or multiple objects. Leveraging a physics engine enables the simulation of natural object placement within a scene through interaction between meshes extracted for the objects and the environment. Consequently, an extensive amount of new scenes - static or dynamic - can be created by combining different environments and objects. By rendering scenes from various perspectives, diverse data points such as RGB images, depth maps, semantic masks, and 6DoF object poses can be extracted. Our study demonstrates that training on data generated by PEGASUS enables pose estimation networks to successfully transfer from synthetic data to real-world data. Moreover, we introduce the Ramen dataset, comprising 30 Japanese cup noodle items. This dataset includes spherical scans that captures images from both object hemisphere and the Gaussian Splatting reconstruction, making them compatible with PEGASUS.


title: Non-linear Hall Effects: Mechanisms and Materials

abstract: This review presents recent breakthroughs in the realm of nonlinear Hall effects, emphasizing central theoretical foundations and recent experimental progress. We elucidate the quantum origin of the second-order Hall response, focusing on the Berry curvature dipole, which may arise in inversion symmetry broken systems. The theoretical framework also reveals the impact of disorder scattering effects on the nonlinear response. We further discuss the possibility of obtaining nonlinear Hall responses beyond the second order. We examine symmetry-based indicators essential for the manifestation of nonlinear Hall effects in time-reversal symmetric crystals, setting the stage for a detailed exploration of theoretical models and candidate materials predicted to exhibit sizable and tunable Berry curvature dipole. We summarize groundbreaking experimental reports on measuring both intrinsic and extrinsic nonlinear Hall effects across diverse material classes. Finally, we highlight some of the other intriguing nonlinear effects, including nonlinear planar Hall, nonlinear anomalous Hall, and nonlinear spin and valley Hall effects. We conclude with an outlook on pivotal open questions and challenges, marking the trajectory of this rapidly evolving field.


title: DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace

abstract: Software development in the aerospace domain requires adhering to strict, high-quality standards. While there exist regulatory guidelines for commercial software in this domain (e.g., ARP-4754 and DO-178), these do not apply to software with deep neural network (DNN) components. Consequently, it is unclear how to allow aerospace systems to benefit from the deep learning revolution. Our work here seeks to address this challenge with a novel, output-centric approach for DNN certification. Our method employs statistical verification techniques, and has the key advantage of being able to flag specific inputs for which the DNN's output may be unreliable - so that they may be later inspected by a human expert. To achieve this, our method conducts a statistical analysis of the DNN's predictions for other, nearby inputs, in order to detect inconsistencies. This is in contrast to existing techniques, which typically attempt to certify the entire DNN, as opposed to individual outputs. Our method uses the DNN as a black-box, and makes no assumptions about its topology. We hope that this work constitutes another step towards integrating DNNs in safety-critical applications - especially in the aerospace domain, where high standards of quality and reliability are crucial.


title: Enhancing the Quality and Reliability of Machine Learning Interatomic Potentials through Better Reporting Practices

abstract: Recent developments in machine learning interatomic potentials (MLIPs) have empowered even non-experts in machine learning to train MLIPs for accelerating materials simulations. However, the current literature lacks clear standards for documenting the use of MLIPs, which hinders the reproducibility and independent evaluation of the presented results. In this perspective, we aim to provide guidance on best practices for documenting MLIP use while walking the reader through the development and deployment of MLIPs including hardware and software requirements, generating training data, training models, validating predictions, and MLIP inference. We also suggest useful plotting practices and analyses to validate and boost confidence in the deployed models. Finally, we provide a step-by-step checklist for practitioners to use directly before publication to standardize the information to be reported. Overall, we hope that our work will encourage reliable and reproducible use of these MLIPs, which will accelerate their ability to make a positive impact in various disciplines including materials science, chemistry, and biology, among others.


title: Optimal Real-Weighted Beamforming With Application to Linear and Spherical Arrays

abstract: One of the uses of sensor arrays is for spatial filtering or beamforming. Current digital signal processing methods facilitate complex-weighted beamforming, providing flexibility in array design. Previous studies proposed the use of real-valued beamforming weights, which although reduce flexibility in design, may provide a range of benefits, e.g., simplified beamformer implementation or efficient beamforming algorithms. This paper presents a new method for the design of arrays with real-valued weights, that achieve maximum directivity, providing closed-form solution to array weights. The method is studied for linear and spherical arrays, where it is shown that rigid spherical arrays are particularly suitable for real-weight designs as they do not suffer from grating lobes, a dominant feature in linear arrays with real weights. A simulation study is presented for linear and spherical arrays, along with an experimental investigation, validating the theoretical developments.


title: SFY -- A lightweight, high-frequency and phase-resolving wave-buoy for coastal waters

abstract: Small lightweight wave buoys, SFYs, designed to operate near the coast, have been developed. The buoys are designed to record and transmit the full time series of surface acceleration at $52$ Hz. The buoy uses the cellular network to transfer data and position (up to $80$ km from the base station). This reduces costs and increases band-width. The low cost and low weight permits the buoys to be deployed easily, and in arrays in areas where satellite and wave models struggle to resolve wave and current interaction. The buoys are tested in a wave-flume, the open water and in the breaking waves of the surf. The conditions range from calm to significant wave heights exceeding $7$ m and crashing breakers with accelerations exceeding $10$ g. The high sample rate captures the impulse of breaking waves, and allows them to be studied in detail. Breaking waves are measured and quantified in the open water. We measure breaking waves in the surf and recover the trajectory of waves breaking in the field to a higher degree than previously done. The time series of surface elevation, and accurate positioning, permits the signal of adjacent buoys to be correlated in a coherent phase-resolved way. Finally, we offer an explanation and solution for the ubiquitous low-frequency noise in IMU-based buoys and discuss necessary sampling and design to measure in areas of breaking waves.


title: Distillation-based fabric anomaly detection

abstract: Unsupervised texture anomaly detection has been a concerning topic in a vast amount of industrial processes. Patterned textures inspection, particularly in the context of fabric defect detection, is indeed a widely encountered use case. This task involves handling a diverse spectrum of colors and textile types, encompassing a wide range of fabrics. Given the extensive variability in colors, textures, and defect types, fabric defect detection poses a complex and challenging problem in the field of patterned textures inspection. In this article, we propose a knowledge distillation-based approach tailored specifically for addressing the challenge of unsupervised anomaly detection in textures resembling fabrics. Our method aims to redefine the recently introduced reverse distillation approach, which advocates for an encoder-decoder design to mitigate classifier bias and to prevent the student from reconstructing anomalies. In this study, we present a new reverse distillation technique for the specific task of fabric defect detection. Our approach involves a meticulous design selection that strategically highlights high-level features. To demonstrate the capabilities of our approach both in terms of performance and inference speed, we conducted a series of experiments on multiple texture datasets, including MVTEC AD, AITEX, and TILDA, alongside conducting experiments on a dataset acquired from a textile manufacturing facility. The main contributions of this paper are the following: a robust texture anomaly detector utilizing a reverse knowledge-distillation technique suitable for both anomaly detection and domain generalization and a novel dataset encompassing a diverse range of fabrics and defects.


title: Low regularity estimates of the Lie-Totter time-splitting Fourier spectral method for the logarithmic Schr\"odinger equation

abstract: In this paper, we conduct rigorous error analysis of the Lie-Totter time-splitting Fourier spectral scheme for the nonlinear Schr\"odinger equation with a logarithmic nonlinear term $f(u)=u\ln|u|^2$ (LogSE) and periodic boundary conditions on a $d$-dimensional torus $\mathbb T^d$. Different from existing works based on regularisation of the nonlinear term $ f(u)\approx f^\varepsilon(u)=u\ln (|u| + \varepsilon )^2,$ we directly discretize the LogSE with the understanding $f(0)=0.$ Remarkably, in the time-splitting scheme, the solution flow map of the nonlinear part: $g(u)= u {\rm e}^{-{\rm} i t \ln|u|^{2}}$ has a higher regularity than $f(u)$ (which is not differentiable at $u=0$ but H\"older continuous), where $g(u)$ is Lipschitz continuous and possesses a certain fractional Sobolev regularity with index $0<s<1$. Accordingly, we can derive the $L^2$-error estimate: $O\big((\tau^{s/2} + N^{-s})\ln\! N\big)$ of the proposed scheme for the LogSE with low regularity solution $u\in C((0,T]; H^s( \mathbb{T}^d)\cap L^\infty( \mathbb{T}^d)).$ Moreover, we can show that the estimate holds for $s=1$ with more delicate analysis of the nonlinear term and the associated solution flow maps. Furthermore, we provide ample numerical results to demonstrate such a fractional-order convergence for initial data with low regularity. This work is the first one devoted to the analysis of splitting scheme for the LogSE without regularisation in the low regularity setting, as far as we can tell.


title: Separability of Graph Laplacian Quantum States: Utilizing Unitary Operators, Neighbourhood Sets and Equivalence Relation

abstract: This article delves into an analysis of the intrinsic entanglement and separability feature in quantum states as depicted by graph Laplacian. We show that the presence or absence of edges in the graph plays a pivotal role in defining the entanglement or separability of these states. We propose a set of criteria for ascertaining the separability of quantum states comprising $n$-qubit within a composite Hilbert space, indicated as $H=H_1 \otimes H_2 \otimes \dots \otimes H_n$. This determination is achieved through a combination of unitary operators, neighbourhood sets, and equivalence relations.


title: Path-based Explanation for Knowledge Graph Completion

abstract: Graph Neural Networks (GNNs) have achieved great success in Knowledge Graph Completion (KGC) by modelling how entities and relations interact in recent years. However, the explanation of the predicted facts has not caught the necessary attention. Proper explanations for the results of GNN-based KGC models increase model transparency and help researchers develop more reliable models. Existing practices for explaining KGC tasks rely on instance/subgraph-based approaches, while in some scenarios, paths can provide more user-friendly and interpretable explanations. Nonetheless, the methods for generating path-based explanations for KGs have not been well-explored. To address this gap, we propose Power-Link, the first path-based KGC explainer that explores GNN-based models. We design a novel simplified graph-powering technique, which enables the generation of path-based explanations with a fully parallelisable and memory-efficient training scheme. We further introduce three new metrics for quantitative evaluation of the explanations, together with a qualitative human evaluation. Extensive experiments demonstrate that Power-Link outperforms the SOTA baselines in interpretability, efficiency, and scalability.


title: Introduction and Status of Fermilab's ACORN Project

abstract: Modernizing the Fermilab accelerator control system is essential to future operations of the laboratory's accelerator complex. The existing control system has evolved over four decades and uses hardware that is no longer available and software that uses obsolete frameworks. The Accelerator Controls Operations Research Network (ACORN) Project will modernize the control system and replace end-of-life power supplies to enable future accelerator complex operations with megawatt particle beams. An overview of the ACORN Project and a summary of recent research and development activities will be presented.


title: GridFormer: Point-Grid Transformer for Surface Reconstruction

abstract: Implicit neural networks have emerged as a crucial technology in 3D surface reconstruction. To reconstruct continuous surfaces from discrete point clouds, encoding the input points into regular grid features (plane or volume) has been commonly employed in existing approaches. However, these methods typically use the grid as an index for uniformly scattering point features. Compared with the irregular point features, the regular grid features may sacrifice some reconstruction details but improve efficiency. To take full advantage of these two types of features, we introduce a novel and high-efficiency attention mechanism between the grid and point features named Point-Grid Transformer (GridFormer). This mechanism treats the grid as a transfer point connecting the space and point cloud. Our method maximizes the spatial expressiveness of grid features and maintains computational efficiency. Furthermore, optimizing predictions over the entire space could potentially result in blurred boundaries. To address this issue, we further propose a boundary optimization strategy incorporating margin binary cross-entropy loss and boundary sampling. This approach enables us to achieve a more precise representation of the object structure. Our experiments validate that our method is effective and outperforms the state-of-the-art approaches under widely used benchmarks by producing more precise geometry reconstructions. The code is available at https://github.com/list17/GridFormer.


title: Shear viscosity of nucleonic matter

abstract: The research status of the shear viscosity of nucleonic matter is reviewed. Some methods to calculate the shear viscosity of nucleonic matter are introduced, including mean free path, Green-Kubo, shear strain rate, Chapman-Enskog and relaxation time approximation. Based on these methods, results for infinite and finite nucleonic matter are discussed, which are attempts to investigate the universality of the ratio of shear viscosity over entropy density and transport characteristics like the liquid-gas phase transition in nucleonic matter. In addition, shear viscosity is also briefly discussed for the quantum chrodynamical matter produced in relativistic heavy-ion collisions.


title: Temperature-dependent Fermi surface probed by Shubnikov-de Haas oscillations in topological semimetal candidates DyBi and HoBi

abstract: Rare earth-based monopnictides are among the most intensively studied groups of materials in which extremely large magnetoresistance has been observed. This study explores magnetotransport properties of two representatives of this group, DyBi and HoBi. The extreme magnetoresistance is discovered in DyBi and confirmed in HoBi. At $T=2$ K and in $B=14$ T for both compounds, magnetoresistance reaches the order of magnitude of $10^4\%$. For both materials, standard Kohler's rule is obeyed only in the temperature range from 50 K to 300 K. At lower temperatures, extended Kohler's rule has to be invoked because carrier concentrations and mobilities strongly change with temperature and magnetic field. This is further proven by the observation of a quite rare temperature-dependence of oscillation frequencies in Shubnikov-de Haas effect. Rate of this dependence clearly changes at N\'{e}el temperature, reminiscent of a novel magnetic band splitting. Multi-frequency character of the observed Shubnikov-de Haas oscillations points to the coexistence of electron- and hole-type Fermi pockets in both studied materials. Overall, our results highlight correlation of temperature dependence of the Fermi surface with the magnetotransport properties of DyBi and HoBi.


title: Tunning the number of chiral edge channels in a fixed quantum anomalous Hall system

abstract: Quantum anomalous Hall (QAH) insulators exhibit chiral edge channels characterized by vanishing longitudinal conductance and quantized Hall conductance of Ce2/h, wherein the Chern number C is an integer equal to the number of the parallel chiral edge channels. These chiral edge channels conduct dissipationless transport in QAH insulators, making them pivotal for applications in low-consumption electronics and topological quantum computing. While the QAH effect with multiple chiral edge channels (i.e., C >1) has been demonstrated in multilayers consisting of magnetic topological insulators and normal insulators, the channel number remains fixed for a given sample. Here, we unveil the tunability of the number of chiral edge channels within a single QAH insulator device. By tuning the magnetization of individual layers within the multilayer system, Chern insulating states with different Chern numbers are unveiled. The tunable Chern number was corroborated by our theoretical calculations. Furthermore, we conducted layer-dependent calculations to elucidate the contribution of the Chern number from different layers in the multilayer. Our findings demonstrate an extra degree of freedom in manipulating the chiral edge channels in QAH insulators. This newfound tunability offers extra dimension for the implementation of the QAH-based multi-channel dissipationless transport.


title: Training Single-Layer Morphological Perceptron Using Convex-Concave Programming

abstract: This paper concerns the training of a single-layer morphological perceptron using disciplined convex-concave programming (DCCP). We introduce an algorithm referred to as K-DDCCP, which combines the existing single-layer morphological perceptron (SLMP) model proposed by Ritter and Urcid with the weighted disciplined convex-concave programming (WDCCP) algorithm by Charisopoulos and Maragos. The proposed training algorithm leverages the disciplined convex-concave procedure (DCCP) and formulates a non-convex optimization problem for binary classification. To tackle this problem, the constraints are expressed as differences of convex functions, enabling the application of the DCCP package. The experimental results confirm the effectiveness of the K-DDCCP algorithm in solving binary classification problems. Overall, this work contributes to the field of morphological neural networks by proposing an algorithm that extends the capabilities of the SLMP model.


title: Are LLMs Robust for Spoken Dialogues?

abstract: Large Pre-Trained Language Models have demonstrated state-of-the-art performance in different downstream tasks, including dialogue state tracking and end-to-end response generation. Nevertheless, most of the publicly available datasets and benchmarks on task-oriented dialogues focus on written conversations. Consequently, the robustness of the developed models to spoken interactions is unknown. In this work, we have evaluated the performance of LLMs for spoken task-oriented dialogues on the DSTC11 test sets. Due to the lack of proper spoken dialogue datasets, we have automatically transcribed a development set of spoken dialogues with a state-of-the-art ASR engine. We have characterized the ASR-error types and their distributions and simulated these errors in a large dataset of dialogues. We report the intrinsic (perplexity) and extrinsic (human evaluation) performance of fine-tuned GPT-2 and T5 models in two subtasks of response generation and dialogue state tracking, respectively. The results show that LLMs are not robust to spoken noise by default, however, fine-tuning/training such models on a proper dataset of spoken TODs can result in a more robust performance.


title: Optimal shape design of printing nozzles for extrusion-based additive manufacturing

abstract: The optimal design seeks the best possible solution(s) for a mechanical structure, device, or system, satisfying a series of requirements and leading to the best performance. In this work, optimized nozzle shapes have been designed for a wide range of polymer melts to be used in extrusion-based additive manufacturing, which aims to minimize pressure drop and allow greater flow control at large extrusion velocities. This is achieved with a twofold approach, combining a global optimization algorithm with computational fluid dynamics for optimizing a contraction geometry for viscoelastic fluids and validating these geometries experimentally. In the optimization process, variable coordinates for the nozzle's contraction section are defined, the objective function is selected, and the optimization algorithm is guided within manufacturing constraints. Comparisons of flow-type and streamline plots reveal that the nozzle shape significantly influences flow patterns. Depending on the rheological properties, the optimized solution either promotes shear or extensional flow, enhancing the material flow rate. Finally, experimental validation of the nozzle performance assessed the actual printing flow, the extrusion force and the overall print control. It is shown that optimizing the nozzle can significantly reduce backflow-related pressure drop, positively impacting total pressure drop (up to 41%) and reducing backflow effects. This work has real-world implications for the additive manufacturing industry, offering opportunities for increased printing speeds, enhanced productivity, and improved printing quality and reliability. Our research contributes to advancing extrusion-based printing processes technology, addressing industry demands and enhancing the field of additive manufacturing.


title: On the maximal and minimal degree components of the cocenter of the cyclotomic KLR algebras

abstract: Let $\mathscr{R}_\alpha^\Lambda$ be the cyclotomic KLR algebra associated to a symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$ and polynomials $\{Q_{ij}(u,v)\}_{i,j\in I}$. Shan, Varagnolo and Vasserot show that, when the ground field $K$ has characteristic $0$, the degree $d$ component of the cocenter $Tr(\mathscr{R}_\alpha^\Lambda)$ is nonzero only if $0\leq d\leq d_{\Lambda,\alpha}$. In this paper we show that this holds true for arbitrary ground field $K$, arbitrary $\mathfrak{g}$ and arbitrary polynomials $\{Q_{ij}(u,v)\}_{i,j\in I}$. We generalize our earlier results on the $K$-linear generators of $Tr(\mathscr{R}_\alpha^\Lambda), Tr(\mathscr{R}_\alpha^\Lambda)_0, Tr(\mathscr{R}_\alpha^\Lambda)_{d_{\Lambda,\alpha}}$ to arbitrary ground field $K$. Moreover, we show that the dimension of the degree $0$ component $Tr(\mathscr{R}_\alpha^\Lambda)_0$ is always equal to $\dim V(\Lambda)_{\Lambda-\alpha}$, where $V(\Lambda)$ is the integrable highest weight $U(\mathfrak{g})$-module with highest weight $\Lambda$, and we obtain a basis for $Tr(\mathscr{R}_\alpha^\Lambda)_0$.


title: Robust Physics Informed Neural Networks

abstract: We introduce a Robust version of the Physics-Informed Neural Networks (RPINNs) to approximate the Partial Differential Equations (PDEs) solution. Standard Physics Informed Neural Networks (PINN) takes into account the governing physical laws described by PDE during the learning process. The network is trained on a data set that consists of randomly selected points in the physical domain and its boundary. PINNs have been successfully applied to solve various problems described by PDEs with boundary conditions. The loss function in traditional PINNs is based on the strong residuals of the PDEs. This loss function in PINNs is generally not robust with respect to the true error. The loss function in PINNs can be far from the true error, which makes the training process more difficult. In particular, we do not know if the training process has already converged to the solution with the required accuracy. This is especially true if we do not know the exact solution, so we cannot estimate the true error during the training. This paper introduces a different way of defining the loss function. It incorporates the residual and the inverse of the Gram matrix, computed using the energy norm. We test our RPINN algorithm on two Laplace problems and one advection-diffusion problem in two spatial dimensions. We conclude that RPINN is a robust method. The proposed loss coincides well with the true error of the solution, as measured in the energy norm. Thus, we know if our training process goes well, and we know when to stop the training to obtain the neural network approximation of the solution of the PDE with the true error of required accuracy.


title: A Generalized Variable Projection Algorithm for Least Squares Problems in Atmospheric Remote Sensing

abstract: This paper presents a solution for efficiently and accurately solving separable least squares problems with multiple datasets. These problems involve determining linear parameters that are specific to each dataset while ensuring that the nonlinear parameters remain consistent across all datasets. A well-established approach for solving such problems is the variable projection algorithm introduced by Golub and LeVeque, which effectively reduces a separable problem to its nonlinear component. However, this algorithm assumes that the datasets have equal sizes and identical auxiliary model parameters. This article is motivated by a real-world remote sensing application where these assumptions do not apply. Consequently, we propose a generalized algorithm that extends the original theory to overcome these limitations. The new algorithm has been implemented and tested using both synthetic and real satellite data for atmospheric carbon dioxide retrievals. It has also been compared to conventional state-of-the-art solvers, and its advantages are thoroughly discussed. The experimental results demonstrate that the proposed algorithm significantly outperforms all other methods in terms of computation time, while maintaining comparable accuracy and stability. Hence, this novel method can have a positive impact on future applications in remote sensing and could be valuable for other scientific fitting problems with similar properties.

categories: math.NA astro-ph.EP astro-ph.IM cs.NA physics.ao-ph


title: A survey on divisibility of ultrafilters

abstract: An extension of the divisibility relation on $\mathbb{N}$ to the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ was defined and investigated in several papers during the last ten years. Here we make a survey of results obtained so far, adding several results connecting the themes of different stages of the research. The highlights include: separation of $\beta\mathbb{N}$ into the lower part $L$ (with its division into levels) and the upper part; identifying basic ingredients (powers of primes) and fragmentation of each ultrafilter into them; finding the corresponding upward closed sets belonging to an ultrafilter with given basic ingredients; existence and number of successors and predecessors of a given divisibility class; extending the congruence relation (in two ways) and checking properties of the obtained relations.


title: Estimating the link budget of satellite-based Quantum Key Distribution (QKD) for uplink transmission through the atmosphere

abstract: Satellite-based quantum communications including quantum key distribution (QKD) represent one of the most promising approaches toward global-scale quantum communications. To determine the viability of transmitting quantum signals through the atmosphere, it is essential to conduct atmospheric simulations for both uplink and downlink quantum communications. In the case of the uplink scenario, the initial phase of the beam's propagation involves interaction with the atmosphere, making simulation particularly critical. To analyze the atmosphere over the Indian subcontinent, we begin by validating our approach by utilizing atmospheric data obtained from the experiments carried out in the Canary Islands within the framework of Quantum Communication (QC). We also verify our simulation methodology by reproducing simulation outcomes from diverse Canadian locations, taking into account both uplink and downlink scenarios in Low Earth Orbit (LEO). In this manuscript, we explore the practicality of utilizing three different ground station locations in India for uplink-based QC, while also considering beacon signals for both uplink and downlink scenarios. The atmospheric conditions of various geographical regions in India are simulated, and a dedicated link budget analysis is performed for each location, specifically focusing on three renowned observatories: IAO Hanle, Aries Nainital, and Mount Abu. The analysis involves computing the overall losses of the signal and beacon beams. The findings indicate that the IAO Hanle site is a more suitable choice for uplink-based QC when compared to the other two sites.


title: Sending-or-not-sending quantum key distribution with phase postselection

abstract: Quantum key distribution (QKD) could help to share secure key between two distant peers. In recent years, twin-field (TF) QKD has been widely investigated because of its long transmission distance. One of the popular variants of TF QKD is sending-or-not-sending (SNS) QKD, which has been experimentally verified to realize 1000-km level fibre key distribution. In this article, the authors introduce phase postselection into the SNS protocol. With this modification, the probability of selecting "sending" can be substantially improved. The numerical simulation shows that the transmission distance can be improved both with and without the actively odd-parity pairing method. With discrete phase randomization, the variant can have both a larger key rate and a longer distance.


title: Using Schur Rings to Produce GRRs for Dihedral Groups

abstract: In this paper we shall be looking at several results relating Schur rings to sufficient conditions for a graph to be a graphical regular representation (GRR) of a finite group, and then applying these specifically in the case of certain subfamilies of dihedral groups. Numerical methods are given for constructing trivalent GRRs for these dihedral groups very quickly.


title: Secure Control of Connected and Automated Vehicles Using Trust-Aware Robust Event-Triggered Control Barrier Functions

abstract: We address the security of a network of Connected and Automated Vehicles (CAVs) cooperating to safely navigate through a conflict area (e.g., traffic intersections, merging roadways, roundabouts). Previous studies have shown that such a network can be targeted by adversarial attacks causing traffic jams or safety violations ending in collisions. We focus on attacks targeting the V2X communication network used to share vehicle data and consider as well uncertainties due to noise in sensor measurements and communication channels. To combat these, motivated by recent work on the safe control of CAVs, we propose a trust-aware robust event-triggered decentralized control and coordination framework that can provably guarantee safety. We maintain a trust metric for each vehicle in the network computed based on their behavior and used to balance the tradeoff between conservativeness (when deeming every vehicle as untrustworthy) and guaranteed safety and security. It is important to highlight that our framework is invariant to the specific choice of the trust framework. Based on this framework, we propose an attack detection and mitigation scheme which has twofold benefits: (i) the trust framework is immune to false positives, and (ii) it provably guarantees safety against false positive cases. We use extensive simulations (in SUMO and CARLA) to validate the theoretical guarantees and demonstrate the efficacy of our proposed scheme to detect and mitigate adversarial attacks.