title: Compact atom source using fiber-based pulsed laser ablation

abstract: We designed, demonstrated, and characterized an atom source based on fiber-based pulsed laser ablation. By using commercially available miniature lens system for focusing nanosecond pulsed laser of up to 225~$\mu$J delivered through a multimode fiber of 105~$\mu$m core, we successfully ablate a SrTiO$_3$ target and generate a jet of neutral strontium atoms, though our method can be applied to other transparent ablation targets containing materials under concern. Our device endures 6\,000 cycles of pulse delivery and irradiation without noticeable damage on the fiber facets and lenses. The generated strontium beam is characterized with spectroscopic method and is revealed to exhibit the transverse temperature of 800~K and longitudinal velocity of 2\,300~m/s, which are typical of pulsed-laser-ablation-based atom source. The number of atoms generated by a single ablation pulse is estimated to be $2\times 10^5$. Our device provides a compact, cryo-compatible fiber-pigtailed atom source with minimized device footprints and reduced complexity of vacuum systems to further promote the developments of cold-atom experiments. It may also find interesting applications in atomic and molecular sciences.


title: Detection and classification of vocal productions in large scale audio recordings

abstract: We propose an automatic data processing pipeline to extract vocal productions from large-scale natural audio recordings and classify these vocal productions. The pipeline is based on a deep neural network and adresses both issues simultaneously. Though a series of computationel steps (windowing, creation of a noise class, data augmentation, re-sampling, transfer learning, Bayesian optimisation), it automatically trains a neural network without requiring a large sample of labeled data and important computing resources. Our end-to-end methodology can handle noisy recordings made under different recording conditions. We test it on two different natural audio data sets, one from a group of Guinea baboons recorded from a primate research center and one from human babies recorded at home. The pipeline trains a model on 72 and 77 minutes of labeled audio recordings, with an accuracy of 94.58% and 99.76%. It is then used to process 443 and 174 hours of natural continuous recordings and it creates two new databases of 38.8 and 35.2 hours, respectively. We discuss the strengths and limitations of this approach that can be applied to any massive audio recording.


title: Fuzzification of Fractal Calculus

abstract: In this manuscript, fractal and fuzzy calculus are summarized. Fuzzy calculus in terms of fractal limit, continuity, its derivative, and integral are formulated. The fractal fuzzy calculus is a new framework that includes fractal fuzzy derivatives and fractal fuzzy integral. In this framework, fuzzy number-valued functions with fractal support are the solutions of fractal fuzzy differential equations. Different kinds of fractal fuzzy differential equations are given and solved.


title: Modeling of parallel power MOSFETs in steady-state

abstract: In high-power applications, multiple power MOSFETs are connected in parallel and treated as a single switch in order to handle much larger total currents. In this paper, a parallel power MOSFETs model from the turnoff state until they reach their steady state is introduced. The model represents the relationship between each power MOSFET's gate voltage and the current distribution among them. The study's key purpose is to use the model for dealing with the asymmetry in sharing current and power loss between these semiconductor devices during the steady state region.


title: A Subspace Projection Approach to Autoencoder-based Anomaly Detection

abstract: Autoencoder (AE) is a neural network (NN) architecture that is trained to reconstruct an input at its output. By measuring the reconstruction errors of new input samples, AE can detect anomalous samples deviated from the trained data distribution. The key to success is to achieve high-fidelity reconstruction (HFR) while restricting AE's capability of generalization beyond training data, which should be balanced commonly via iterative re-training. Alternatively, we propose a novel framework of AE-based anomaly detection, coined HFR-AE, by projecting new inputs into a subspace wherein the trained AE achieves HFR, thereby increasing the gap between normal and anomalous sample reconstruction errors. Simulation results corroborate that HFR-AE improves the area under receiver operating characteristic curve (AUROC) under different AE architectures and settings by up to 13.4% compared to Vanilla AE-based anomaly detection.


title: Schr\"odinger symmetry of Schwarzschild-(A)dS black hole mechanics

abstract: We show that the dynamics of Schwarzschild-(A)dS black holes admits a symmetry under the 2d Schr\"odinger group, whatever the sign or value of the cosmological constant. This is achieved by reformulating the spherically-symmetric reduction of general relativity as a 2d mechanical system with a non-trivial potential controlled by the cosmological constant, and explicitly identifying the conserved charges for black hole mechanics. We expect the Schr\"odinger symmetry to drive the dynamics of quantum Schwarzschild-(A)dS black holes. This suggests that Schr\"odinger-preserving non-linear deformations (of the Gross-Piteavskii type) should capture universal quantum gravity corrections to the black hole geometry. Such scenario could be realized in condensed matter analogue models.


title: Direct multiple shooting and direct collocation perform similarly in biomechanical predictive simulations

abstract: Direct multiple shooting (DMS) and direct collocation (DC) are two common transcription methods for solving optimal control problems (OCP) in biomechanics and robotics. They have rarely been compared in terms of solution and speed. Through five examples of predictive simulations solved using five transcription methods and 100 initial guesses in the Bioptim software, we showed that not a single method outperformed systematically better. All methods converged to almost the same solution (cost, states, and controls) in all but one OCP, with several local minima being found in the latter. Nevertheless, DC based on fourth-order Legendre polynomials provided overall better results, especially in terms of dynamic consistency compared to DMS based on a fourth-order Runge-Kutta method. Furthermore, expressing the rigid-body constraints using inverse dynamics was usually faster than forward dynamics. DC with dynamics constraints based on inverse dynamics converged to better and less variable solutions. Consequently, we recommend starting with this transcription to solve OCPs but keep testing other methods.


title: Genetic Micro-Programs for Automated Software Testing with Large Path Coverage

abstract: Ongoing progress in computational intelligence (CI) has led to an increased desire to apply CI techniques for the purpose of improving software engineering processes, particularly software testing. Existing state-of-the-art automated software testing techniques focus on utilising search algorithms to discover input values that achieve high execution path coverage. These algorithms are trained on the same code that they intend to test, requiring instrumentation and lengthy search times to test each software component. This paper outlines a novel genetic programming framework, where the evolved solutions are not input values, but micro-programs that can repeatedly generate input values to efficiently explore a software component's input parameter domain. We also argue that our approach can be generalised such as to be applied to many different software systems, and is thus not specific to merely the particular software component on which it was trained.


title: Curves in quantum state space, geometric phases, and the brachistophase

abstract: Given a curve in quantum spin state space, we inquire what is the relation between its geometry and the geometric phase accumulated along it. Motivated by Mukunda and Simon's result that geodesics (in the standard Fubini-Study metric) do not accumulate geometric phase, we find a general expression for the derivatives (of various orders) of the geometric phase in terms of the covariant derivatives of the curve. As an application of our results, we put forward the brachistophase problem: given a quantum state, find the (appropriately normalized) hamiltonian that maximizes the accumulated geometric phase after time $\tau$ - we find an analytical solution for all spin values, valid for small $\tau$. For example, the optimal evolution of a spin coherent state consists of a single Majorana star separating from the rest and tracing out a circle on the Majorana sphere.


title: Atrial Fibrillation Detection Using RR-Intervals for Application in Photoplethysmographs

abstract: Atrial Fibrillation is a common form of irregular heart rhythm that can be very dangerous. Our primary goal is to analyze Atrial Fibrillation data within ECGs to develop a model based only on RR-Intervals, or the length between heart-beats, to create a real time classification model for Atrial Fibrillation to be implemented in common heart-rate monitors on the market today. Physionet's MIT-BIH Atrial Fibrillation Database \cite{goldberger2000physiobank} and 2017 Challenge Database \cite{clifford2017af} were used to identify patterns of Atrial Fibrillation and test classification models on. These two datasets are very different. The MIT-BIH database contains long samples taken with a medical grade device, which is not useful for simulating a consumer device, but is useful for Atrial Fibrillation pattern detection. The 2017 Challenge database includes short ($<60sec$) samples taken with a portable device and reveals many of the challenges of Atrial Fibrillation classification in a real-time device. We developed multiple SVM models with three sets of extracted features as predictor variables which gave us moderately high accuracies with low computational intensity. With robust filtering techniques already applied in many Photoplethysmograph-based consumer heart-rate monitors, this method can be used to develop a reliable real time model for Atrial Fibrillation detection in consumer-grade heart-rate monitors.


title: The Independence Postulate, the Many Worlds Theory, and Constructor Theory

abstract: The Many Worlds Theory and Constructor Theory are in conflict with the Independence Postulate. The conflict with the Many Worlds Theory is shown through the existence of a finite experiment that measures the spin of a large number of electrons. After the experiment there are branches of positive probability which contain forbidden sequences that break the Independence Postulate. Constructor Theory consists of counterfactuals, decreeing certain processes can or cannot occur. However this binary classification meets challenges when describing whether a forbidden sequence can be found or created.


title: On arithmetic properties of periods for some rational differential forms over $\mathbb{Q}$ on the Fermat curve $F_2$ of degree 2

abstract: In this paper, we will define analogues of multiple zeta values by replacing the differential forms defining multiple zeta values with some $\mathbb{Q}$-rational differential forms on the Fermat curve $F_2$ of degree 2 and discuss their arithmetic properties. We also investigate a motivic structure of the motivic periods corresponding to our periods. However, in order to study them, the current theory for motivic zeta elements is insufficient, and it leads us to study the base extension of the space of the motivic periods $\mathcal{H}_4$ of level 4 and its Galois invariant part.


title: A constrained mean curvature type flow for capillary boundary hypersurfaces in space forms

abstract: In this paper, we introduce a new constrained mean curvature type flow for capillary boundary hypersurfaces in space forms. We show the flow exists for all time and converges globally to a spherical cap. Moreover, the flow preserves the volume of the bounded domain enclosed by the hypersurface and decreases the total energy. As a by-product, we give a flow proof of the capillary isoperimetric inequality for the starshaped capillary boundary hypersurfaces in space forms.


title: How Workflow Engines Should Talk to Resource Managers: A Proposal for a Common Workflow Scheduling Interface

abstract: Scientific workflow management systems (SWMSs) and resource managers together ensure that tasks are scheduled on provisioned resources so that all dependencies are obeyed, and some optimization goal, such as makespan minimization, is achieved. In practice, however, there is no clear separation of scheduling responsibilities between an SWMS and a resource manager because there exists no agreed-upon separation of concerns between their different components. This has two consequences. First, the lack of a standardized API to exchange scheduling information between SWMSs and resource managers hinders portability. It incurs costly adaptations when a component should be replaced by a different one (e.g., an SWMS with another SWMS on the same resource manager). Second, due to overlapping functionalities, current installations often actually have two schedulers, both making partial scheduling decisions under incomplete information, leading to suboptimal workflow scheduling. In this paper, we propose a simple REST interface between SWMSs and resource managers, which allows any SWMS to pass dynamic workflow information to a resource manager, enabling maximally informed scheduling decisions. We provide an implementation of this API as an example, using Nextflow as an SWMS and Kubernetes as a resource manager. Our experiments with nine real-world workflows show that this strategy reduces makespan by up to 25.1% and 10.8% on average compared to the standard Nextflow/Kubernetes configuration. Furthermore, a more widespread implementation of this API would enable leaner code bases, a simpler exchange of components of workflow systems, and a unified place to implement new scheduling algorithms.


title: Translation-like isoptic surfaces and angle sums of translation triangles in $\NIL$ geometry

abstract: After having investigated the geodesic and translation triangles and their angle sums in $\SOL$ and $\SLR$ geometries we consider the analogous problem in $\NIL$ space that is one of the eight 3-dimensional Thurston geometries. We analyze the interior angle sums of translation triangles in $\NIL$ geometry and we provide a new approach to prove that it can be larger than or equal to $\pi$. Moreover, for the first time in non-constant curvature Thurston geometries we have developed a procedure for determining the equations of $\NIL$ isoptic surfaces of translation-like segments and as a special case of this we examine the $\NIL$ translation-like Thales sphere, which we call {\it Thaloid}. In our work we will use the projective model of $\NIL$ described by E. Moln\'ar in \cite{M97}.


title: Reinforcement Learning Based Power Grid Day-Ahead Planning and AI-Assisted Control

abstract: The ongoing transition to renewable energy is increasing the share of fluctuating power sources like wind and solar, raising power grid volatility and making grid operation increasingly complex and costly. In our prior work, we have introduced a congestion management approach consisting of a redispatching optimizer combined with a machine learning-based topology optimization agent. Compared to a typical redispatching-only agent, it was able to keep a simulated grid in operation longer while at the same time reducing operational cost. Our approach also ranked 1st in the L2RPN 2022 competition initiated by RTE, Europe's largest grid operator. The aim of this paper is to bring this promising technology closer to the real world of power grid operation. We deploy RL-based agents in two settings resembling established workflows, AI-assisted day-ahead planning and realtime control, in an attempt to show the benefits and caveats of this new technology. We then analyse congestion, redispatching and switching profiles, and elementary sensitivity analysis providing a glimpse of operation robustness. While there is still a long way to a real control room, we believe that this paper and the associated prototypes help to narrow the gap and pave the way for a safe deployment of RL agents in tomorrow's power grids.


title: Fault Injection in Native Logic-in-Memory Computation on Neuromorphic Hardware

abstract: Logic-in-memory (LIM) describes the execution of logic gates within memristive crossbar structures, promising to improve performance and energy efficiency. Utilizing only binary values, LIM particularly excels in accelerating binary neural networks, shifting it in the focus of edge applications. Considering its potential, the impact of faults on BNNs accelerated with LIM still lacks investigation. In this paper, we propose faulty logic-in-memory (FLIM), a fault injection platform capable of executing full-fledged BNNs on LIM while injecting in-field faults. The results show that FLIM runs a single MNIST picture 66754x faster than the state of the art by offering a fine-grained fault injection methodology.


title: Interior and Evolution of the Giant Planets

abstract: The giant planets were the first to form and hold the key to unveiling the solar system's formation history in their interiors and atmospheres. Furthermore, the unique conditions present in the interiors of the giant planets make them natural laboratories for exploring different elements under extreme conditions. We are at a unique time to study these planets. The missions Juno to Jupiter and Cassini to Saturn have provided invaluable information to reveal their interiors like never before, including extremely accurate gravity data, atmospheric abundances and magnetic field measurements that revolutionised our knowledge of their interior structures. At the same time, new laboratory experiments and modelling efforts also improved, and statistical analysis of these planets is now possible to explore all the different conditions that shape their interiors. We review the interior structure of Jupiter, Saturn, Uranus and Neptune, including the need for inhomogeneous structures to explain the data, the problems unsolved and the effect that advances in our understanding of their internal structure have on their formation and evolution.


title: Dynamic Flows with Time-Dependent Capacities

abstract: Dynamic network flows, sometimes called flows over time, extend the notion of network flows to include a transit time for each edge. While Ford and Fulkerson showed that certain dynamic flow problems can be solved via a reduction to static flows, many advanced models considering congestion and time-dependent networks result in NP-hard problems. To increase understanding of these advanced dynamic flow settings we study the structural and computational complexity of the canonical extensions that have time-dependent capacities or time-dependent transit times. If the considered time interval is finite, we show that already a single edge changing capacity or transit time once makes the dynamic flow problem weakly NP-hard. In case of infinite considered time, one change in transit time or two changes in capacity make the problem weakly NP-hard. For just one capacity change, we conjecture that the problem can be solved in polynomial time. Additionally, we show the structural property that dynamic cuts and flows can become exponentially complex in the above settings where the problem is NP-hard. We further show that, despite the duality between cuts and flows, their complexities can be exponentially far apart.


title: SUrvival Control Chart EStimation Software in R: the success package

abstract: Monitoring the quality of statistical processes has been of great importance, mostly in industrial applications. Control charts are widely used for this purpose, but often lack the possibility to monitor survival outcomes. Recently, inspecting survival outcomes has become of interest, especially in medical settings where outcomes often depend on risk factors of patients. For this reason many new survival control charts have been devised and existing ones have been extended to incorporate survival outcomes. The R package success allows users to construct risk-adjusted control charts for survival data. Functions to determine control chart parameters are included, which can be used even without expert knowledge on the subject of control charts. The package allows to create static as well as interactive charts, which are built using ggplot2 (Wickham 2016) and plotly (Sievert 2020).


title: Project Lyra: Catching 1I/'Oumuamua Realistically with a Jupiter Encounter and Imminent Propulsion Options

abstract: Any missions to catch 1I/'Oumuamua have the daunting challenge of generating higher hyperbolic excess speeds than the interstellar object's own, i.e. $>$ 26.3 $kms^{-1}$ with respect to the Sun. To accomplish this task using chemical propulsion, previous papers have investigated a Solar Oberth manoeuvre and alternatively a Jupiter Oberth, these options requiring a thrust from the chemical rocket at perihelion/perijove respectively, points at which the available velocity increment ($\Delta V$) results in maximum augmentation of the kinetic energy of the spacecraft. In this paper we unravel the specifics of a mission requiring a JOM or optionally a passive Jupiter encounter, i.e. with no thrust, the latter having so far not been addressed by Project Lyra. Whereas the previous papers were feasibility studies, this paper delves into what would be achievable with a Jupiter encounter (without any preceding gravitational assists from the inner planets), using currently available off-the-shelf solid and liquid rocket stages and assuming the NASA Space Launch System Block 2 can be deployed. Optimal Launch dates are found to lie in the years 2030, 2031 and 2032 with resulting mission durations of around 30-40 years, depending on the particular number and combination of stages exploited. Payload masses to 'Oumuamua of 860kg can readily be accomplished with a duration of 43 or so years, assuming a Centaur D and STAR 48B combination, the latter booster being ignited at perijove. On the other hand if two Centaur Ds are utilised instead of just one, retaining the STAR 48BV for the JOM, 35 years are evinced for the same mass. Furthermore, for lower payloads of $\sim{100}$kg, the flight duration can be cut accordingly to 31 years, with the additional benefit of requiring no burn at Jupiter.


title: Gross-Neveu model with O(2)$_L\times$O(2)$_R$ chiral symmetry: Duality with Zakharov-Mikhailov model and large $N$ solution

abstract: The two-flavor Gross-Neveu model with U(2)$_L\times$U(2)$_R$ chiral symmetry in 1+1 dimensions is used to construct a novel variant of four-fermion theories with O(2)$_L\times$O(2)$_R$ chiral symmetry. The spontaneous breaking of the group O(2), a continuous group with two connected components (rotations and reflections), gives rise to new phenomena. It is ideally suited to describe a situation where two distinct kinds of condensation compete, in particular chiral symmetry breaking (particle-hole condensation) and Cooper pairing (particle-particle condensation). After solving the O(2) chiral Gross-Neveu model in detail, we demonstrate that it is dual to another classically integrable model due to Zakharov and Mikhailov. The duality enables us to solve the quantum version of this model in the large $N$ limit with semiclassical methods, supporting its integrability at the quantum level. The resulting model is the unique four-fermion theory sharing the full Pauli-G\"ursey symmetry with free, massless fermions (``perfect Gross-Neveu model") and provides us with a solvable model for competing chiral and Cooper pair condensates, including explicit soliton dynamics and the phase diagram.


title: Depth- and Semantics-aware Multi-modal Domain Translation: Generating 3D Panoramic Color Images from LiDAR Point Clouds

abstract: This work presents a new depth- and semantics-aware conditional generative model, named TITAN-Next, for cross-domain image-to-image translation in a multi-modal setup between LiDAR and camera sensors. The proposed model leverages scene semantics as a mid-level representation and is able to translate raw LiDAR point clouds to RGB-D camera images by solely relying on semantic scene segments. We claim that this is the first framework of its kind and it has practical applications in autonomous vehicles such as providing a fail-safe mechanism and augmenting available data in the target image domain. The proposed model is evaluated on the large-scale and challenging Semantic-KITTI dataset, and experimental findings show that it considerably outperforms the original TITAN-Net and other strong baselines by 23.7$\%$ margin in terms of IoU.


title: The shifted Wave equation on non flat harmonic manifolds

abstract: We solve the shifted wave equation \begin{align*} \frac{\partial^2}{\partial t^2}\varphi(x,t)=(\Delta_x+\rho^2)\varphi(x,t) \end{align*} on a non compact simply connected harmonic manifold with mean curvature of the horospheres $2\rho>0$. We give an explicit representation of the solution as the inverse dual Abel transform of the spherical means of there initial conditions using the local injectivity of the Abel transform and symmetry properties of the spherical mean value operator. Furthermore we investigate the wave equation using the Fourier transform on harmonic manifolds of rank one. Additionally we show an analogous of the classical Paley-Wiener theorem and use it to show an asymptotic Huygens principle as well as asymptotic equidistribution of the energy of a solution of the shifted wave equation under assumptions on the $\mathbf{c}$-function.


title: Testing for causal effect for binary data when propensity scores are estimated through Bayesian Networks

abstract: This paper proposes a new statistical approach for assessing treatment effect using Bayesian Networks (BNs). The goal is to draw causal inferences from observational data with a binary outcome and discrete covariates. The BNs are here used to estimate the propensity score, which enables flexible modeling and ensures maximum likelihood properties, including asymptotic efficiency. %As a result, other available approaches cannot perform better. When the propensity score is estimated by BNs, two point estimators are considered - H\'ajek and Horvitz-Thompson - based on inverse probability weighting, and their main distributional properties are derived for constructing confidence intervals and testing hypotheses about the absence of the treatment effect. Empirical evidence is presented to show the goodness of the proposed methodology on a simulation study mimicking the characteristics of a real dataset of prostate cancer patients from Milan San Raffaele Hospital.


title: Hyperelliptic curves, the scanning map, and moments of families of quadratic L-functions

abstract: We compute the stable homology of the braid group with coefficients in any Schur functor applied to the integral reduced Burau representation. This may be considered as a hyperelliptic analogue of the Mumford conjecture (Madsen--Weiss theorem) with twisted coefficients. We relate the result to the function field case of conjectures of Conrey-Farmer-Keating-Rubinstein-Snaith on moments of families of quadratic $L$-functions. Combined with a recent homological stability theorem of Miller-Patzt-Petersen-Randal-Williams, our homological calculations confirm the Conrey-Farmer-Keating-Rubinstein-Snaith predictions for all large enough prime powers $q$.


title: Semileptonic decays of spin-entangled baryon-antibaryon pairs

abstract: A modular representation for the semileptonic decays of baryons originating from spin polarized and correlated baryon-antibaryon pairs is derived. The complete spin information of the decaying baryon is propagated to the daughter baryon via a real-valued matrix. It allows to obtain joint differential distributions in sequential processes involving the semileptonic decay in a straightforward way. The formalism is suitable for extraction of the semileptonic formfactors in experiments where strange-baryon-antibaryon pairs are produced in electron-positron annihilation or in charmonia decays. We give examples such as the complete angular distributions in the $e^+e^-\to \Lambda\bar\Lambda$ process, where $\Lambda\to pe^-\bar{\nu}_e$ and $\bar\Lambda\to\bar{p}\pi^+$. The formalism can also be used to describe the distributions in semileptonic decays of charm and bottom baryons. Using the same principles, the modules to describe electromagnetic and neutral current weak baryon decay processes involving a charged lepton-antilepton pair can be obtained. As an example, we provide the decay matrix for the Dalitz transition between two spin-1/2 baryons.


title: Forbidden Patterns in Temporal Graphs Resulting from Encounters in a Corridor

abstract: In this paper, we study temporal graphs arising from mobility models where some agents move in a space and where edges appear each time two agents meet. We propose a rather natural one-dimensional model. If each pair of agents meets exactly once, we get a temporal clique where each possible edge appears exactly once. By ordering the edges according to meeting times, we get a subset of the temporal cliques. We introduce the first notion of of forbidden patterns in temporal graphs, which leads to a characterization of this class of graphs. We provide, thanks to classical combinatorial results, the number of such cliques for a given number of agents. We consider specific cases where some of the nodes are frozen, and again provide a characterization by forbidden patterns. We give a forbidden pattern when we allow multiple crossings between agents, and leave open the question of a characterization in this situation.


title: CERiL: Continuous Event-based Reinforcement Learning

abstract: This paper explores the potential of event cameras to enable continuous time reinforcement learning. We formalise this problem where a continuous stream of unsynchronised observations is used to produce a corresponding stream of output actions for the environment. This lack of synchronisation enables greatly enhanced reactivity. We present a method to train on event streams derived from standard RL environments, thereby solving the proposed continuous time RL problem. The CERiL algorithm uses specialised network layers which operate directly on an event stream, rather than aggregating events into quantised image frames. We show the advantages of event streams over less-frequent RGB images. The proposed system outperforms networks typically used in RL, even succeeding at tasks which cannot be solved traditionally. We also demonstrate the value of our CERiL approach over a standard SNN baseline using event streams.


title: Impact of vorticity and viscosity on the hydrodynamic evolution of hot QCD medium

abstract: The strongly interacting transient state of quark-gluon plasma (QGP) medium created in ultra-relativistic collisions survives for a duration of a few fm/c. The spacetime evolution of QGP crucially depends on the equation of state (EoS), vorticity, viscosity, and external magnetic field. In the present study, we obtain the lifetime of a vortical QGP fluid within the ambit of relativistic second-order viscous hydrodynamics. We observe that the coupling of vorticity and viscosity significantly increases the lifetime of vortical QGP. The inclusion of a static magnetic field, vorticity, and viscosity makes the evolution slower. However, the static magnetic field slightly decreases the QGP lifetime by accelerating the evolution process for a non-rotating medium. We also report the rate of change of vorticity in the QGP, which will be helpful in studying the behavior of the medium in detail.


title: Unsupervised Hashing with Similarity Distribution Calibration

abstract: Unsupervised hashing methods typically aim to preserve the similarity between data points in a feature space by mapping them to binary hash codes. However, these methods often overlook the fact that the similarity between data points in the continuous feature space may not be preserved in the discrete hash code space, due to the limited similarity range of hash codes. The similarity range is bounded by the code length and can lead to a problem known as similarity collapse. That is, the positive and negative pairs of data points become less distinguishable from each other in the hash space. To alleviate this problem, in this paper a novel Similarity Distribution Calibration (SDC) method is introduced. SDC aligns the hash code similarity distribution towards a calibration distribution (e.g., beta distribution) with sufficient spread across the entire similarity range, thus alleviating the similarity collapse problem. Extensive experiments show that our SDC outperforms significantly the state-of-the-art alternatives on coarse category-level and instance-level image retrieval. Code is available at https://github.com/kamwoh/sdc.


title: Chemical logic gates on active colloids

abstract: Synthetic active colloidal systems are being studied extensively because of the diverse and often unusual phenomena these nonequilibrium systems manifest, and their potential applications in fields ranging from biology to material science. Recent studies have shown that active colloidal motors that use enzymatic reactions for propulsion hold special promise for applications that require motors to carry out active sensing tasks in complicated biomedical environments. In such applications it would be desirable to have active colloids with some capability of computation so that they could act autonomously to sense their surroundings and alter their own dynamics to perform specific tasks. Here we describe how small chemical networks that make use of enzymatic chemical reactions on the colloid surface can be used to construct motor-based chemical logic gates. Some basic features of coupled enzymatic reactions that are responsible for propulsion and underlie the construction and function of chemical gates are described using continuum theory and molecular simulation. Examples are given that show how colloids with specific chemical logic gates can perform simple sensing tasks. Due to the diverse functions of different enzyme gates, operating alone or in circuits, the work presented here supports the suggestion that synthetic motors using such gates could be designed to operate in an autonomous way in order to complete complicated tasks.


title: Shannon Perfect Secrecy in a Discrete Hilbert Space

abstract: The One-time-pad (OTP) was mathematically proven to be perfectly secure by Shannon in 1949. We propose to extend the classical OTP from an n-bit finite field to the entire symmetric group over the finite field. Within this context the symmetric group can be represented by a discrete Hilbert sphere (DHS) over an n-bit computational basis. Unlike the continuous Hilbert space defined over a complex field in quantum computing, a DHS is defined over the finite field GF(2). Within this DHS, the entire symmetric group can be completely described by the complete set of n-bit binary permutation matrices. Encoding of a plaintext can be done by randomly selecting a permutation matrix from the symmetric group to multiply with the computational basis vector associated with the state corresponding to the data to be encoded. Then, the resulting vector is converted to an output state as the ciphertext. The decoding is the same procedure but with the transpose of the pre-shared permutation matrix. We demonstrate that under this extension, the 1-to-1 mapping in the classical OTP is equally likely decoupled in Discrete Hilbert Space. The uncertainty relationship between permutation matrices protects the selected pad, consisting of M permutation matrices (also called Quantum permutation pad, or QPP). QPP not only maintains the perfect secrecy feature of the classical formulation but is also reusable without invalidating the perfect secrecy property. The extended Shannon perfect secrecy is then stated such that the ciphertext C gives absolutely no information about the plaintext P and the pad.


title: LiveHand: Real-time and Photorealistic Neural Hand Rendering

abstract: The human hand is the main medium through which we interact with our surroundings, making its digitization an important problem. While there are several works modeling the geometry of hands, little attention has been paid to capturing photo-realistic appearance. Moreover, for applications in extended reality and gaming, real-time rendering is critical. We present the first neural-implicit approach to photo-realistically render hands in real-time. This is a challenging problem as hands are textured and undergo strong articulations with pose-dependent effects. However, we show that this aim is achievable through our carefully designed method. This includes training on a low-resolution rendering of a neural radiance field, together with a 3D-consistent super-resolution module and mesh-guided sampling and space canonicalization. We demonstrate a novel application of perceptual loss on the image space, which is critical for learning details accurately. We also show a live demo where we photo-realistically render the human hand in real-time for the first time, while also modeling pose- and view-dependent appearance effects. We ablate all our design choices and show that they optimize for rendering speed and quality. Video results and our code can be accessed from https://vcai.mpi-inf.mpg.de/projects/LiveHand/


title: An adjoint-based method for optimizing MHD equilibria against the infinite-n, ideal ballooning mode

abstract: We demonstrate a fast adjoint-based method to optimize tokamak and stellarator equilibria against a pressure-driven instability known as the infinite-$n$ ideal ballooning mode. We present three finite-$\beta$ (the ratio of thermal to magnetic pressure) equilibria: one tokamak equilibrium and two stellarator equilibria that are unstable against the ballooning mode. Using the self-adjoint property of ideal MHD, we construct a technique to rapidly calculate the change in the growth rate, a measure of ideal ballooning instability. Using the~\texttt{SIMSOPT} framework, we then implement our fast adjoint gradient-based optimizer to minimize the growth rate and find stable equilibria for each of the three initially unstable equilibria.


title: The Isaac Newton Telescope Monitoring Survey of Local Group Dwarf Galaxies. VI. The Star Formation History and Dust Production in Andromeda IX

abstract: We present a photometric study of the resolved stellar populations in And IX, the closest satellite to the M31, a metal-poor and low-mass dwarf spheroidal galaxy. We estimate a distance modulus of $24.56_{-0.15}^{+0.05}$ mag based on the tip of the red giant branch (TRGB). By probing the variability of asymptotic giant branch stars (AGB), we study the star formation history of And IX. We identified 50 long period variables (LPVs) in And IX using the Isaac Newton Telescope (INT) in two filters, Sloan $i'$ and Harris $V$. In this study, we selected LPVs within two half-light radii with amplitudes in the range of 0.2-2.20 mag. It is found that the peak of star formation reaches $\sim$ $8.2\pm3.1\times10^{-4}$ M_sun yr$^{-1}$ at $\approx 6$ Gyr ago. Our findings suggest an outside-in galaxy formation scenario for And IX with a quenching occurring $3.65_{-1.52}^{+0.13}$ Gyr ago with the SFR in the order of $2.0\times10^{-4}$ M_sun yr$^{-1}$ at redshift < $0.5$. We calculate the total stellar mass by integrating the star formation rate (SFR) within two half-light radii $\sim$ $3.0\times10^5$ M_sun. By employing the spectral energy distribution (SED) fitting for observed LPVs in And IX, we evaluate the mass-loss rate in the range of $10^{-7}$ $\leq$ $\dot{M}$ $\leq$ $10^{-5}$ M_sun yr$^{-1}$. Finally, we show that the total mass deposition to the interstellar medium (ISM) is $\sim$ $2.4\times10^{-4}$ M_sun yr$^{-1}$ from the C- and O-rich type of dust-enshrouded LPVs. The ratio of the total mass returned to the ISM by LPVs to the total stellar mass is $\sim 8.0\times10^{-10}$ yr$^{-1}$, and so at this rate, it would take $\sim$ 1 Gyr to reproduce this galaxy


title: Guaranteed Dynamic Scheduling of Ultra-Reliable Low-Latency Traffic via Conformal Prediction

abstract: The dynamic scheduling of ultra-reliable and low-latency traffic (URLLC) in the uplink can significantly enhance the efficiency of coexisting services, such as enhanced mobile broadband (eMBB) devices, by only allocating resources when necessary. The main challenge is posed by the uncertainty in the process of URLLC packet generation, which mandates the use of predictors for URLLC traffic in the coming frames. In practice, such prediction may overestimate or underestimate the amount of URLLC data to be generated, yielding either an excessive or an insufficient amount of resources to be pre-emptively allocated for URLLC packets. In this paper, we introduce a novel scheduler for URLLC packets that provides formal guarantees on reliability and latency irrespective of the quality of the URLLC traffic predictor. The proposed method leverages recent advances in online conformal prediction (CP), and follows the principle of dynamically adjusting the amount of allocated resources so as to meet reliability and latency requirements set by the designer.


title: DIVOTrack: A Novel Dataset and Baseline Method for Cross-View Multi-Object Tracking in DIVerse Open Scenes

abstract: Cross-view multi-object tracking aims to link objects between frames and camera views with substantial overlaps. Although cross-view multi-object tracking has received increased attention in recent years, existing datasets still have several issues, including 1) missing real-world scenarios, 2) lacking diverse scenes, 3) owning a limited number of tracks, 4) comprising only static cameras, and 5) lacking standard benchmarks, which hinder the investigation and comparison of cross-view tracking methods. To solve the aforementioned issues, we introduce DIVOTrack: a new cross-view multi-object tracking dataset for DIVerse Open scenes with dense tracking pedestrians in realistic and non-experimental environments. Our DIVOTrack has fifteen distinct scenarios and 953 cross-view tracks, surpassing all cross-view multi-object tracking datasets currently available. Furthermore, we provide a novel baseline cross-view tracking method with a unified joint detection and cross-view tracking framework named CrossMOT, which learns object detection, single-view association, and cross-view matching with an all-in-one embedding model. Finally, we present a summary of current methodologies and a set of standard benchmarks with our DIVOTrack to provide a fair comparison and conduct a comprehensive analysis of current approaches and our proposed CrossMOT. The dataset and code are available at https://github.com/shengyuhao/DIVOTrack.


title: Bayesian Federated Inference for estimating Statistical Models based on Non-shared Multicenter Data sets

abstract: Identifying predictive factors for an outcome of interest via a multivariable analysis is often difficult when the data set is small. Combining data from different medical centers into a single (larger) database would alleviate this problem, but is in practice challenging due to regulatory and logistic problems. Federated Learning (FL) is a machine learning approach that aims to construct from local inferences in separate data centers what would have been inferred had the data sets been merged. It seeks to harvest the statistical power of larger data sets without actually creating them. The FL strategy is not always efficient and precise. Therefore, in this paper we refine and implement an alternative Bayesian Federated Inference (BFI) framework for multicenter data with the same aim as FL. The BFI framework is designed to cope with small data sets by inferring locally not only the optimal parameter values, but also additional features of the posterior parameter distribution, capturing information beyond what is used in FL. BFI has the additional benefit that a single inference cycle across the centers is sufficient, whereas FL needs multiple cycles. We quantify the performance of the proposed methodology on simulated and real life data.


title: Quantum Public Key Distribution using Randomized Glauber States

abstract: State-of-the-art Quantum Key Distribution (QKD) is based on the uncertainty principle of qubits on quantum measurements and is theoretically proven to be unconditionally secure. Over the past three decades, QKD has been explored with single photons as the information carrier. More recently, attention has shifted towards using weak coherent laser pulses as the information carrier. In this paper, we propose a novel quantum key distribution mechanism over a pure optical channel using randomized Glauber states. The proposed mechanism closely resembles a quantum mechanical implementation of the public key envelope idea. For the proposed solution, we explore physical countermeasures to provide path authentication and to avoid man-in-the-middle attacks. Other attack vectors can also be effectively mitigated by leveraging the QPKE, the uncertainty principle and the DPSK modulation technique.


title: On graph-based reentrancy-free semantic parsing

abstract: We propose a novel graph-based approach for semantic parsing that resolves two problems observed in the literature: (1) seq2seq models fail on compositional generalization tasks; (2) previous work using phrase structure parsers cannot cover all the semantic parses observed in treebanks. We prove that both MAP inference and latent tag anchoring (required for weakly-supervised learning) are NP-hard problems. We propose two optimization algorithms based on constraint smoothing and conditional gradient to approximately solve these inference problems. Experimentally, our approach delivers state-of-the-art results on Geoquery, Scan and Clevr, both for i.i.d. splits and for splits that test for compositional generalization.


title: Emergence of metallic surface states and negative differential conductance in thin $\beta$-FeSi$_2$ films on Si(001)

abstract: The electronic properties of the surface of $\beta$-FeSi$_2$ have been debated for a long while. We studied the surface states of $\beta$-FeSi$_2$ films grown on Si(001) substrates using scanning tunnelling microscopy (STM) and spectroscopy (STS), with the aid of density functional theory (DFT) calculations. STM simulations using the surface model proposed by Romanyuk et al. [Phys. Rev. B 90, 155305 (2014)] reproduce the detailed features of experimental STM images. The result of STS showed metallic surface states in accordance with theoretical predictions. The Fermi level was pinned by a surface state that appeared in the bulk band gap of the $\beta$-FeSi$_2$ film, irrespective of the polarity of the substrate. We also observed negative differential conductance at $\sim$0.45 eV above the Fermi level in STS measurements performed at 4.5 K, reflecting the presence of an energy gap in the unoccupied surface states of $\beta$-FeSi$_2$.


title: Disturbances from Single Event Upsets in the GRACE Follow-On Laser Ranging Interferometer

abstract: The Gravity Recovery And Climate Experiment - Follow On (GRACE-FO) satellite mission (2018-now) hosts the novel Laser Ranging Interferometer (LRI), a technology demonstrator for proving the feasibility of laser interferometry for inter-satellite ranging measurements. The GRACE-FO mission extends the valuable climate data record of changing mass distribution in the system Earth, which was started by the original GRACE mission (2002-2017). The mass distribution can be deduced from observing changes in the distance of two low-earth orbiters employing interferometry of electromagnetic waves in the K-Band for the conventional K-Band Ranging (KBR) and in near-infrared for the novel LRI. This paper identifies possible radiation-induced Single Event Upset (SEU) events in the LRI phase measurement. We simulate the phase data processing within the Laser Ranging Processor (LRP) and use a template-based fitting approach to determine the parameters of the SEU and subtract the events from the ranging data. Over four years of LRI data, 29 of such events were identified and characterized.

categories: physics.space-ph astro-ph.IM physics.ao-ph physics.data-an


title: Origin of multiwavelength emission from flaring high redshift blazar PKS 0537-286

abstract: The high redhsift blazars powered by supermassive black holes with masses exceeding $10^9\:M_\odot$ have the highest jet power and luminosity and are important probes to test the physics of relativistic jets at the early epochs of the Universe. We present a multi-frequency spectral and temporal study of high redshift blazar PKS 0537-286 by analyzing data from Fermi-LAT, NuSTAR Swift XRT and UVOT. Although the time averaged $\gamma$-ray spectrum of the source is relatively soft (indicating the high-energy emission peak is below the GeV range), several prominent flares were observed when the spectrum hardened and the luminosity increased above $10^{49}\:{\rm erg\:s^{-1}}$. The X-ray emission of the source varies in different observations and is characterised by a hard spectrum $\leq1.38$ with a luminosity of $>10^{47}\:{\rm erg\:s^{-1}}$. The broadband spectral energy distribution in the quiescent and flaring periods was modeled within a one-zone leptonic scenario assuming different locations of the emission region and considering both internal (synchrotron radiation) and external (from the disk, broad-line region and dusty torus) photon fields for the inverse Compton scattering. The modeling shows that the most optimistic scenario, from the energy requirement point of view, is when the jet energy dissipation occurs within the broad-line region. The comparison of the model parameters obtained for the quiescent and flaring periods suggests that the flaring activities are most likely caused by the hardening of the emitting electron spectral index and shifting of the cut-off energy to higher values.


title: Multimap targeted free energy estimation

abstract: We present a new method to compute free energies at a quantum mechanical (QM) level of theory from molecular simulations using cheap reference potential energy functions, such as force fields. To overcome the poor overlap between the reference and target distributions, we generalize targeted free energy perturbation (TFEP) to employ multiple configuration maps. While TFEP maps have been obtained before from an expensive training of a normalizing flow neural network (NN), our multimap estimator allows us to use the same set of QM calculations to both optimize the maps and estimate the free energy, thus removing almost completely the overhead due to training. A multimap extension of the multistate Bennett acceptance ratio estimator is also derived for cases where samples from two or more states are available. Furthermore, we propose a one-epoch learning policy that can be used to efficiently avoid overfitting when computing the loss function is expensive compared to generating data. Finally, we show how our multimap approach can be combined with enhanced sampling strategies to overcome the pervasive problem of poor convergence due to slow degrees of freedom. We test our method on the HiPen dataset of drug-like molecules and fragments, and we show that it can accelerate the calculation of the free energy difference of switching from a force field to a DFTB3 potential by about 3 orders of magnitude compared to standard FEP and by a factor of about 8 compared to previously published nonequilibrium calculations.


title: A Federated Learning Benchmark for Drug-Target Interaction

abstract: Aggregating pharmaceutical data in the drug-target interaction (DTI) domain has the potential to deliver life-saving breakthroughs. It is, however, notoriously difficult due to regulatory constraints and commercial interests. This work proposes the application of federated learning, which we argue to be reconcilable with the industry's constraints, as it does not require sharing of any information that would reveal the entities' data or any other high-level summary of it. When used on a representative GraphDTA model and the KIBA dataset it achieves up to 15% improved performance relative to the best available non-privacy preserving alternative. Our extensive battery of experiments shows that, unlike in other domains, the non-IID data distribution in the DTI datasets does not deteriorate FL performance. Additionally, we identify a material trade-off between the benefits of adding new data, and the cost of adding more clients.


title: Video Probabilistic Diffusion Models in Projected Latent Space

abstract: Despite the remarkable progress in deep generative models, synthesizing high-resolution and temporally coherent videos still remains a challenge due to their high-dimensionality and complex temporal dynamics along with large spatial variations. Recent works on diffusion models have shown their potential to solve this challenge, yet they suffer from severe computation- and memory-inefficiency that limit the scalability. To handle this issue, we propose a novel generative model for videos, coined projected latent video diffusion models (PVDM), a probabilistic diffusion model which learns a video distribution in a low-dimensional latent space and thus can be efficiently trained with high-resolution videos under limited resources. Specifically, PVDM is composed of two components: (a) an autoencoder that projects a given video as 2D-shaped latent vectors that factorize the complex cubic structure of video pixels and (b) a diffusion model architecture specialized for our new factorized latent space and the training/sampling procedure to synthesize videos of arbitrary length with a single model. Experiments on popular video generation datasets demonstrate the superiority of PVDM compared with previous video synthesis methods; e.g., PVDM obtains the FVD score of 639.7 on the UCF-101 long video (128 frames) generation benchmark, which improves 1773.4 of the prior state-of-the-art.


title: Polygonic spectra and TR with coefficients

abstract: We introduce the notion of a polygonic spectrum which is designed to axiomatize the structure on topological Hochschild homology $\mathrm{THH}(R,M)$ of an $\mathbb{E}_1$-ring $R$ with coefficients in an $R$-bimodule $M$. For every polygonic spectrum $X$, we define a spectrum $\mathrm{TR}(X)$ as the mapping spectrum from the polygonic version of the sphere spectrum $\mathbb{S}$ to $X$. In particular if applied to $X = \mathrm{THH}(R,M)$ this gives a conceptual definition of $\mathrm{TR}(R,M)$. Every cyclotomic spectrum gives rise to a polygonic spectrum and we prove that TR agrees with the classical definition of TR in this case. We construct Frobenius and Verschiebung maps on $\mathrm{TR}(X)$ by exhibiting $\mathrm{TR}(X)$ as the $\mathbb{Z}$-fixedpoints of a quasifinitely genuine $\mathbb{Z}$-spectrum. The notion of quasifinitely genuine $\mathbb{Z}$-spectra is a new notion that we introduce and discuss inspired by a similar notion over $\mathbb{Z}$ introduced by Kaledin. Besides the usual coherences for genuine spectra, this notion additionally encodes that $\mathrm{TR}(X)$ admits certain infinite sums of Verschiebung maps.


title: Radiative production and decays of the exotic $\eta_1^\prime(1855)$ and its siblings

abstract: We study the production of the light $J^{PC}=1^{-+}$ hybrid isoscalars $\eta_1^\prime(1855)$ and the yet undiscovered $\eta_1^{hyb}(1660)$ as intermediate states in the radiative decays of the charmonium ($J/\psi$) to two conventional mesons using a flavor symmetric Lagrangian. For this purpose, we use the $J/\psi\to\gamma\eta_1^\prime(1855)\to\gamma\eta\eta^\prime$ process as the reference. We find that some of the decay channels have branching ratios similar to or larger than that of the $\gamma\eta\eta^\prime$ channel and are sensitive to the mixing between the hybrid isoscalars. We propose that relatively stable $\gamma\eta f_1(1285)$ channel be explored for the presence of the light hybrid isoscalar $\eta_1^{hyb}(1660)$. We also exploit the strong decay channels containing at least one vector meson to study the radiative decays of the whole hybrid nonet $\{\pi_1(1600),K_1^{hyb}(1750),\eta_1^{hyb}(1660),\eta_1'(1855)\}$. We find that the hybrids cannot radiatively decay into the $I=0$ pseudoscalars. Furthermore, the vector decay channels ($(\rho/\omega/\phi)\gamma$) of the hybrid isoscalars are sensitive to the strangeness content of the hybrids. We also provide estimates for the branching fractions for the radiative production and partial widths for the radiative decays of the hybrids.


title: Distributed Information-theoretical Secure Protocols for Quantum Key Distribution Networks against Malicious Nodes

abstract: Quantum key distribution (QKD) networks are expected to enable information-theoretical secure (ITS) communication over a large-scale network. Most researches on relay-based QKD network assume that all relays or nodes are completely trustworthy. However, the malicious behavior of any single node can undermine security of QKD networks. Current research on QKD networks primarily addresses passive attacks conducted by malicious nodes such as eavesdropping. We suggest a novel paradigm, inspired by distributed systems, to address the active attack by collaborate malicious nodes in QKD networks. Firstly, regarding security, we introduce the ITS distributed authentication scheme, which additionally offers two crucial security properties to QKD networks: identity unforgeability and non-repudiation. Secondly, concerning correctness, our ITS fault-tolerant consensus method, ensures ITS and global consistency with fixed classical broadcast rounds, contrasting with the exponentially message-intensive Byzantine agreement method. Through our simulation, we have shown that our scheme exhibits a significantly lower growth trend in authentication key consumption compared to the original end-to-end pre-shared keys scheme.


title: Event-guided Multi-patch Network with Self-supervision for Non-uniform Motion Deblurring

abstract: Contemporary deep learning multi-scale deblurring models suffer from many issues: 1) They perform poorly on non-uniformly blurred images/videos; 2) Simply increasing the model depth with finer-scale levels cannot improve deblurring; 3) Individual RGB frames contain a limited motion information for deblurring; 4) Previous models have a limited robustness to spatial transformations and noise. Below, we extend the DMPHN model by several mechanisms to address the above issues: I) We present a novel self-supervised event-guided deep hierarchical Multi-patch Network (MPN) to deal with blurry images and videos via fine-to-coarse hierarchical localized representations; II) We propose a novel stacked pipeline, StackMPN, to improve the deblurring performance under the increased network depth; III) We propose an event-guided architecture to exploit motion cues contained in videos to tackle complex blur in videos; IV) We propose a novel self-supervised step to expose the model to random transformations (rotations, scale changes), and make it robust to Gaussian noises. Our MPN achieves the state of the art on the GoPro and VideoDeblur datasets with a 40x faster runtime compared to current multi-scale methods. With 30ms to process an image at 1280x720 resolution, it is the first real-time deep motion deblurring model for 720p images at 30fps. For StackMPN, we obtain significant improvements over 1.2dB on the GoPro dataset by increasing the network depth. Utilizing the event information and self-supervision further boost results to 33.83dB.


title: Online Statistical Inference for Nonlinear Stochastic Approximation with Markovian Data

abstract: We study the statistical inference of nonlinear stochastic approximation algorithms utilizing a single trajectory of Markovian data. Our methodology has practical applications in various scenarios, such as Stochastic Gradient Descent (SGD) on autoregressive data and asynchronous Q-Learning. By utilizing the standard stochastic approximation (SA) framework to estimate the target parameter, we establish a functional central limit theorem for its partial-sum process, $\boldsymbol{\phi}_T$. To further support this theory, we provide a matching semiparametric efficient lower bound and a non-asymptotic upper bound on its weak convergence, measured in the L\'evy-Prokhorov metric. This functional central limit theorem forms the basis for our inference method. By selecting any continuous scale-invariant functional $f$, the asymptotic pivotal statistic $f(\boldsymbol{\phi}_T)$ becomes accessible, allowing us to construct an asymptotically valid confidence interval. We analyze the rejection probability of a family of functionals $f_m$, indexed by $m \in \mathbb{N}$, through theoretical and numerical means. The simulation results demonstrate the validity and efficiency of our method.


title: Project Elements: A computational entity-component-system in a scene-graph pythonic framework, for a neural, geometric computer graphics curriculum

abstract: We present the Elements project, a lightweight, open-source, computational science and computer graphics (CG) framework, tailored for educational needs, that offers, for the first time, the advantages of an Entity-Component-System (ECS) along with the rapid prototyping convenience of a Scenegraph-based pythonic framework. This novelty allows advances in the teaching of CG: from heterogeneous directed acyclic graphs and depth-first traversals, to animation, skinning, geometric algebra and shader-based components rendered via unique systems all the way to their representation as graph neural networks for 3D scientific visualization. Taking advantage of the unique ECS in a a Scenegraph underlying system, this project aims to bridge CG curricula and modern game engines (MGEs), that are based on the same approach but often present these notions in a black-box approach. It is designed to actively utilize software design patterns, under an extensible open-source approach. Although Elements provides a modern (i.e., shader-based as opposed to fixed-function OpenGL), simple to program approach with Jupyter notebooks and unit-tests, its CG pipeline is not black-box, exposing for teaching for the first time unique challenging scientific, visual and neural computing concepts.


title: Predicting distributional profiles of physical activity in the NHANES database using a Partially Linear Single-Index Fr\'echet Regression model

abstract: Object-oriented data analysis is a fascinating and developing field in modern statistical science with the potential to make significant and valuable contributions to biomedical applications. This statistical framework allows for the formalization of new methods to analyze complex data objects that capture more information than traditional clinical biomarkers. The paper applies the object-oriented framework to analyzing and predicting physical activity measured by accelerometers. As opposed to traditional summary metrics, we utilize a recently proposed representation of physical activity data as a distributional object, providing a more sophisticated and complete profile of individual energetic expenditure in all ranges of monitoring intensity. For the purpose of predicting these distributional objects, we propose a novel hybrid Frechet regression model and apply it to US population accelerometer data from NHANES 2011-2014. The semi-parametric character of the new model allows us to introduce non-linear effects for essential variables, such as age, that are known from a biological point of view to have nuanced effects on physical activity. At the same time, the inclusion of a global for linear term retains the advantage of interpretability for other variables, particularly categorical covariates such as ethnicity and sex. The results obtained in our analysis are helpful from a public health perspective and may lead to new strategies for optimizing physical activity interventions in specific American subpopulations.


title: Fine-tuning of sign language recognition models: a technical report

abstract: Sign Language Recognition (SLR) is an essential yet challenging task since sign language is performed with the fast and complex movement of hand gestures, body posture, and even facial expressions. %Skeleton Aware Multi-modal Sign Language Recognition In this work, we focused on investigating two questions: how fine-tuning on datasets from other sign languages helps improve sign recognition quality, and whether sign recognition is possible in real-time without using GPU. Three different languages datasets (American sign language WLASL, Turkish - AUTSL, Russian - RSL) have been used to validate the models. The average speed of this system has reached 3 predictions per second, which meets the requirements for the real-time scenario. This model (prototype) will benefit speech or hearing impaired people talk with other trough internet. We also investigated how the additional training of the model in another sign language affects the quality of recognition. The results show that further training of the model on the data of another sign language almost always leads to an improvement in the quality of gesture recognition. We also provide code for reproducing model training experiments, converting models to ONNX format, and inference for real-time gesture recognition.


title: Quasicrystal Structure of Fundamental Quasisymmetric Functions, and Skeleton of Crystals

abstract: We use crystals of tableaux and descent compositions to understand the decomposition of Schur functions $s_\lambda$ into Gessel's fundamental quasisymmetric functions $F_\alpha$. The connected crystal of tableaux $B(\lambda)$, associated to $s_\lambda$, is shown to be partitionned into a disjoint union of connected induced subgraphs $B(T_\alpha)$ corresponding to the $F_\alpha$'s. We show that these subgraphs, which we call quasicrystals, are isomorphic (as graphs) to specific crystals of tableaux. This allows us to give a formula for the number of tableaux of shape $\lambda$ and maximal entry $n$. We also use this setting to give a constructive proof of a combinatorial formula for Kostka numbers $K^\lambda_\mu$. We study the position of the quasicrystals within the crystal $B(\lambda)$, and show that they appear in dually positionned pairs, with the crystal anti-automorphism between them being given by a generalization of Sch\"utzenberger's evacuation. We introduce the notion of skeleton of the crystal $B(\lambda)$ given by replacing each subgraph $B(T_\alpha)$ by the associated standard tableau of shape $\lambda$. We conjecture that its graph includes the dual equivalence graph for $\lambda$, introduced by Assaf, and that its subgraphs of tableaux with fixed number of descents have particular structures. Finally, we describe applications to plethysm, among which we give an algorithm to express any symmetric sum of fundamental quasisymmetric functions into the Schur basis, whose construction gives insight into the relationship between the two basis.


title: Genetic multi-armed bandits: a reinforcement learning approach for discrete optimization via simulation

abstract: This paper proposes a new algorithm, referred to as GMAB, that combines concepts from the reinforcement learning domain of multi-armed bandits and random search strategies from the domain of genetic algorithms to solve discrete stochastic optimization problems via simulation. In particular, the focus is on noisy large-scale problems, which often involve a multitude of dimensions as well as multiple local optima. Our aim is to combine the property of multi-armed bandits to cope with volatile simulation observations with the ability of genetic algorithms to handle high-dimensional solution spaces accompanied by an enormous number of feasible solutions. For this purpose, a multi-armed bandit framework serves as a foundation, where each observed simulation is incorporated into the memory of GMAB. Based on this memory, genetic operators guide the search, as they provide powerful tools for exploration as well as exploitation. The empirical results demonstrate that GMAB achieves superior performance compared to benchmark algorithms from the literature in a large variety of test problems. In all experiments, GMAB required considerably fewer simulations to achieve similar or (far) better solutions than those generated by existing methods. At the same time, GMAB's overhead with regard to the required runtime is extremely small due to the suggested tree-based implementation of its memory. Furthermore, we prove its convergence to the set of global optima as the simulation effort goes to infinity.

categories: cs.NE cs.AI cs.LG econ.GN math.OC q-fin.EC


title: The effect of weak magnetic photon emission from quark-gluon plasma

abstract: We propose a novel effect that accounts for the photon emission from a quark-gluon plasma in the presence of a weak external magnetic field. Although the weak magnetic photon emission from quark-gluon plasma only leads to a small correction to the photon production rate, the induced photon spectrum can be highly azimuthally anisotropic, as a consequence of the coupled effect of the magnetic field and the longitudinal dynamics in the background medium. With respect to a realistic medium evolution containing a tilted fireball configuration, the direct photon elliptic flow from experiments is reproduced. In comparison to the experimental data of direct photon elliptic flow, in heavy-ion collisions the magnitude of the magnetic field before 1 fm/c can be extracted. For the top energy of RHIC collisions, right after the pre-equilibrium evolution, $|eB|$ is found no larger than a few percent of the pion mass square.


title: Slopes of modular forms and geometry of eigencurves

abstract: Under a stronger genericity condition, we prove the local analogue of ghost conjecture of Bergdall and Pollack. As applications, we deduce in this case (a) a folklore conjecture of Breuil--Buzzard--Emerton on the crystalline slopes of Kisin's crystabelian deformation spaces, (b) Gouvea's $\lfloor\frac{k-1}{p+1}\rfloor$-conjecture on slopes of modular forms, and (c) the finiteness of irreducible components of the eigencurve. In addition, applying combinatorial arguments by Bergdall and Pollack, and by Ren, we deduce as corollaries in the reducible and strongly generic case, (d) Gouvea--Mazur conjecture, (e) a variant of Gouvea's conjecture on slope distributions, and (f) a refined version of Coleman's spectral halo conjecture.


title: Photonic reservoir computing enabled by stimulated Brillouin scattering

abstract: Artificial Intelligence (AI) drives the creation of future technologies that disrupt the way humans live and work, creating new solutions that change the way we approach tasks and activities, but it requires a lot of data processing, large amounts of data transfer, and computing speed. It has led to a growing interest of research in developing a new type of computing platform which is inspired by the architecture of the brain specifically those that exploit the benefits offered by photonic technologies, fast, low-power, and larger bandwidth. Here, a new computing platform based on the photonic reservoir computing architecture exploiting the non-linear wave-optical dynamics of the stimulated Brillouin scattering is reported. The kernel of the new photonic reservoir computing system is constructed of an entirely passive optical system. Moreover, it is readily suited for use in conjunction with high performance optical multiplexing techniques to enable real-time artificial intelligence. Here, a methodology to optimise the operational condition of the new photonic reservoir computing is described which is found to be strongly dependent on the dynamics of the stimulated Brillouin scattering system. The new architecture described here offers a new way of realising AI-hardware which highlight the application of photonics for AI.


title: Neutron-capture elements in NGC 6752 multiple populations

abstract: Globular clusters have been widely studied in terms of light element variations present in their different stellar populations. However, the nature of the polluter(s) responsible for this phenomenon is still debated. The study of heavy elements and their relation to light ones can provide further constraints. In particular, we aim to explore the possible contribution of asymptotic giant branch stars of different stellar masses to the internal pollution in the cluster. We derive abundances of elements from different nucleosynthetic chains, such as Na, Mg, Ca, Sc, Cu, Y, and Ba. We did not find clear relations between the light s-process elements (represented by Y II) or heavy ones (represented by Ba II) with light elements (Li, Na or Al). This indicates that the polluter(s) responsible for the Na (Al) or Li production does not produce large amounts of Y II and Ba II. Furthermore, the comparison with models discards a possible significant contribution to the cluster pollution from AGB stars with masses lower than 5M$_{\odot}$. In addition, we found a potential CH-star in our sample.


title: Self-Supervised Learning for Modeling Gamma-ray Variability in Blazars

abstract: Blazars are active galactic nuclei with relativistic jets pointed almost directly at Earth. Blazars are characterized by strong, apparently stochastic flux variability at virtually all observed wavelengths and timescales, from minutes to years, the physical origin of which is still poorly understood. In the high-energy gamma-ray band, the Large Area Telescope aboard the Fermi space telescope (Fermi-LAT) has conducted regular monitoring of thousands of blazars since 2008. Deep learning can help uncover structure in gamma-ray blazars' complex variability patterns that traditional methods based on parametric statistical modeling or manual feature engineering may miss. In this work, we propose using a self-supervised Transformer encoder architecture to construct an effective representation of blazar gamma-ray variability. Measurement errors, upper limits, and missing data are accommodated using learned encodings. The model predicts a set of quantiles for the flux probability distribution at each time step, an architecture naturally suited for describing data generated by a stochastic process. As a proof of concept for how the model output can be analyzed to extract scientifically relevant information, a preliminary search for weekly-timescale time-reversal asymmetry in gamma-ray blazar light curves was conducted, finding no significant evidence for asymmetry.


title: Bott-integrable Reeb flows on 3-manifolds

abstract: This paper is devoted to studying a notion of Bott integrability for Reeb flows on contact 3-manifolds. We show, in analogy with work of Fomenko-Zieschang on Hamiltonian flows in dimension 4, that Bott-integrable Reeb flows exist precisely on graph manifolds. We also show that all $S^1$-invariant contact structures on Seifert manifolds, as well as all contact structures on the 3-sphere, on the 3-torus, and on $S^1\times S^2$, admit Bott-integrable Reeb flows. Along the way, we establish some general Liouville-type theorems for Bott-integrable Reeb flows, and a number of topological constructions (connected sum, open books, Dehn surgery) that may be expected to have wider applications.


title: Audio-Visual Contrastive Learning with Temporal Self-Supervision

abstract: We propose a self-supervised learning approach for videos that learns representations of both the RGB frames and the accompanying audio without human supervision. In contrast to images that capture the static scene appearance, videos also contain sound and temporal scene dynamics. To leverage the temporal and aural dimension inherent to videos, our method extends temporal self-supervision to the audio-visual setting and integrates it with multi-modal contrastive objectives. As temporal self-supervision, we pose playback speed and direction recognition in both modalities and propose intra- and inter-modal temporal ordering tasks. Furthermore, we design a novel contrastive objective in which the usual pairs are supplemented with additional sample-dependent positives and negatives sampled from the evolving feature space. In our model, we apply such losses among video clips and between videos and their temporally corresponding audio clips. We verify our model design in extensive ablation experiments and evaluate the video and audio representations in transfer experiments to action recognition and retrieval on UCF101 and HMBD51, audio classification on ESC50, and robust video fingerprinting on VGG-Sound, with state-of-the-art results.


title: Intersubband Transitions in Lead Halide Perovskite-Based Quantum Wells for Mid-Infrared Detectors

abstract: Due to their excellent optical and electrical properties as well as versatile growth and fabrication processes, lead halide perovskites have been widely considered as promising candidates for green energy and opto-electronic related applications. Here, we investigate their potential applications at infrared wavelengths by modeling the intersubband transitions in lead halide perovskite-based quantum well systems. Both single-well and double-well structures are studied and their energy levels as well as the corresponding wavefunctions and intersubband transition energies are calculated by solving the one-dimensional Schr\"odinger equations. By adjusting the quantum well and barrier thicknesses, we are able to tune the intersubband transition energies to cover a broad range of infrared wavelengths. We also find that the lead-halide perovskite-based quantum wells possess high absorption coefficients, which are beneficial for their potential applications in infrared photodetectors. The widely tunable transition energies and high absorption coefficients of the perovskite-based quantum well systems, combined with their unique material and electrical properties, may enable an alternative material system for the development of infrared photodetectors.


title: Spin-strain coupling in nanodiamonds

abstract: Fluorescent nanodiamonds have been used to a large extent in various biological systems due to their robust nature, inert properties and the relative ease of modifying their surface for attachment to different functional groups. Within a given batch, however, each nanodiamond is indistinguishable from its neighbors and so far one could only rely on fluorescence statistics for some global information about the ensemble. Here, we propose and measure the possibility of adding another layer of unique information, relying on the coupling between the strain in the nanodiamond and the spin degree-of-freedom in the nitrogen-vacancy center in diamond. We show that the large variance in axial and transverse strain can be encoded to an individual radio-frequency identity for a cluster of nanodiamonds. When using single nanodiamonds, this unique fingerprint can then be potentially tracked in real-time in, e.g., cells, as their size is compatible with metabolism intake. From a completely different aspect, in clusters of nanodiamonds, this can already now serve as a platform for anti-counterfeiting measures.


title: Splitting of separatrices for rapid degenerate perturbations of the classical pendulum

abstract: In this work we study the splitting distance of a rapidly perturbed pendulum $H(x,y,t)=\frac{1}{2}y^2+(\cos(x)-1)+\mu(\cos(x)-1)g\left(\frac{t}{\varepsilon}\right)$ with $g(\tau)=\sum_{|k|>1}g^{[k]}e^{ik\tau}$ a $2\pi$-periodic function and $\mu,\varepsilon \ll 1$. Systems of this kind undergo exponentially small splitting and, when $\mu\ll 1$, it is known that the Melnikov function actually gives an asymptotic expression for the splitting function provided $g^{[\pm 1]}\neq 0$. Our study focuses on the case $g^{[\pm 1]}=0$ and it is motivated by two main reasons. On the one hand the general understanding of the splitting, as current results fail for a perturbation as simple as $g(\tau)=\cos(5\tau)+\cos(4\tau)+\cos(3\tau)$. On the other hand, a study of the splitting of invariant manifolds of tori of rational frequency $p/q$ in Arnold's original model for diffusion leads to the consideration of pendulum-like Hamiltonians with $ g(\tau)=\sin\left(p\cdot\frac{t}{\varepsilon}\right)+\cos\left(q\cdot\frac{t}{\varepsilon}\right), $ where, for most $p, q\in\mathbb{Z}$ the perturbation satisfies $g^{[\pm 1]}\neq 0$. As expected, the Melnikov function is not a correct approximation for the splitting in this case. To tackle the problem we use a splitting formula based on the solutions of the so-called inner equation and make use of the Hamilton-Jacobi formalism. The leading exponentially small term appears at order $\mu^n$, where $n$ is an integer determined exclusively by the harmonics of the perturbation. We also provide an algorithm to compute it.


title: Bidirectional UWB Localization: A Review on an Elastic Positioning Scheme for GNSS-deprived Zones

abstract: A bidirectional Ultra-Wideband (UWB) localization scheme is one of the three widely adopted design integration processes commonly used in time-based UWB positioning systems. The key property of bidirectional UWB localization is its ability to serve both navigation and tracking tasks within a single localization scheme on demand. Traditionally, navigation and tracking in wireless localization systems were treated as separate entities due to distinct applicable use-cases and methodological needs in each implementation process. Therefore, the ability to flexibly or elastically combine two unique positioning perspectives (navigation and tracking) within a single scheme can be regarded as a paradigm shift in the way location-based services are conventionally observed. This article reviews the mentioned bidirectional UWB localization from the perspective of a flexible and versatile positioning topology and highlights its potential in the field. In this regard, the article comprehensively describes the complete system model of the bidirectional UWB localization scheme using modular processes. It also discusses the demonstrative evaluation of two system integration processes and conducts a SWOT (Strengths, Weaknesses, Opportunities, and Threats) analysis of the scheme. Furthermore, the prospect of the presented bidirectional localization scheme for achieving precise location estimation in 5G/6G wireless mobile networks, as well as in Wi-Fi fine-time measurement-based positioning systems was briefly discussed.

categories: eess.SY cs.IT cs.NI cs.SY math.DS math.IT


title: Quasi-one-dimensional harmonically trapped quantum droplets

abstract: We theoretically consider effectively one-dimensional quantum droplets in a symmetric Bose-Bose mixture confined in a parabolic trap. We systematically investigate ground and excited families of localized trapped modes which bifurcate from eigenstates of the quantum harmonic oscillator as the number of particles departs from zero. Families of nonlinear modes have nonmonotonous behavior of chemical potential on the number of particles and feature bistability regions. Excited states are unstable close to the linear limit, but become stable when the number of particles is large enough. In the limit of large density, we derive a modified Thomas-Fermi distribution. Smoothly decreasing the trapping strength down to zero, one can dynamically transform the ground state solution to the solitonlike quantum droplet, while excited trapped states break in several moving quantum droplets.


title: Teoria Gravitazionale e Applicazioni Cosmologiche: Possibili Sviluppi Futuri

abstract: A very short, non-technical review of the main problems which are presently open in the context of the gravitational theory and of its cosmological applications, and which are currently under investigation and deep discussion. We will talk in particular about the equivalence principle, the dark matter and dark energy contributions, the cosmological constant, the quantisation of gravity, the dynamics of the very early Universe.


title: Entropy bound for time reversal markers

abstract: We derive a bound for entropy production in terms of the mean of normalizable path-antisymmetric observables. The optimal observable for this bound is shown to be the signum of entropy production, which is often easier determined or estimated than entropy production itself. It can be preserved under coarse graining by use of a simple path grouping algorithm. We demonstrate this relation and its properties using a driven network on a ring, for which the bound saturates for short times for any driving strength. This work can open a way to systematic coarse graining of entropy production.


title: A counterexample to strong local monomialization in a tower of two independent defect Artin-Schreier extensions

abstract: We give an example of an extension of two dimensional regular local rings in a tower of two independent defect Artin-Schreier extensions for which strong local monomialization does not hold.


title: Minimum Entropy Production by Microswimmers with Internal Dissipation

abstract: The energy dissipation and entropy production by self-propelled microswimmers differ profoundly from passive particles pulled by external forces. The difference extends both to the shape of the flow around the swimmer, as well as to the internal dissipation of the propulsion mechanism. Here we derive a general theorem that provides an exact lower bound on the total, external and internal, dissipation by a microswimmer. The problems that can be solved include an active surface-propelled droplet, swimmers with an extended propulsive layer and swimmers with an effective internal dissipation. We apply the theorem to determine the swimmer shapes that minimize the total dissipation while keeping the volume constant. Our results show that the entropy production by active microswimmers is subject to different fundamental limits than the entropy production by externally driven particles.


title: On Finite-Step Convergence of the Non-Greedy Algorithm and Proximal Alternating Minimization Method with Extrapolation for $L_1$-Norm PCA

abstract: The classical non-greedy algorithm (NGA) and the recently proposed proximal alternating minimization method with extrapolation (PAMe) for $L_1$-norm PCA are revisited and their finite-step convergence are studied. It is first shown that NGA can be interpreted as a conditional subgradient or an alternating maximization method. By recognizing it as a conditional subgradient, we prove that the iterative points generated by the algorithm will be constant in finitely many steps under a certain full-rank assumption; such an assumption can be removed when the projection dimension is one. By treating the algorithm as an alternating maximization, we then prove that the objective value will be fixed after at most $\left\lceil\frac{F^{\max}}{\tau_0} \right\rceil$ steps, where the stopping point satisfies certain optimality conditions. Then, a slight modification of NGA with improved convergence properties is analyzed. It is shown that the iterative points generated by the modified algorithm will not change after at most $\left\lceil\frac{2F^{\max}}{\tau} \right\rceil$ steps; furthermore, the stopping point satisfies certain optimality conditions if the proximal parameter $\tau$ is small enough. For PAMe, it is proved that the sign variable will remain constant after finitely many steps and the algorithm can output a point satisfying certain optimality condition, if the parameters are small enough and a full rank assumption is satisfied. Moreover, if there is no proximal term on the projection matrix related subproblem, then the iterative points generated by this modified algorithm will not change after at most $\left\lceil \frac{4F^{\max}}{\tau(1-\gamma)} \right\rceil$ steps and the stopping point also satisfies certain optimality conditions, provided similar assumptions as those for PAMe. The full rank assumption can be removed when the projection dimension is one.


title: Characterization of low-mass companions to $\textit{Kepler}$ objects of interest observed with APOGEE-N

abstract: We report the characterization of 28 low-mass ($0.02\mathrm{~M_\odot}\le\mathrm{~M_{2}}\le0.25\mathrm{~M_\odot}$) companions to $\textit{Kepler}$ objects of interest (KOIs), eight of which were previously designated confirmed planets. These objects were detected as transiting companions to Sun-like stars (G and F dwarfs) by the $\textit{Kepler}$ mission and are confirmed as single-lined spectroscopic binaries in the current work using the northern multiplexed Apache Point Observatory Galactic Evolution Experiment near-infrared spectrograph (APOGEE-N) as part of the third and fourth Sloan Digital Sky Surveys. We have observed hundreds of KOIs using APOGEE-N and collected a total of 43,175 spectra with a median of 19 visits and a median baseline of $\sim1.9$ years per target. We jointly model the $\textit{Kepler}$ photometry and APOGEE-N radial velocities to derive fundamental parameters for this subset of 28 transiting companions. The radii for most of these low-mass companions are over-inflated (by $\sim10\%$) when compared to theoretical models. Tidally locked M dwarfs on short period orbits show the largest amount of inflation, but inflation is also evident for companions that are well separated from the host star. We demonstrate that APOGEE-N data provides reliable radial velocities when compared to precise high-resolution spectrographs that enable detailed characterization of individual systems and the inference of orbital elements for faint ($H>12$) KOIs. The data from the entire APOGEE-KOI program is public and presents an opportunity to characterize an extensive subset of the binary population observed by $\textit{Kepler}$.


title: TOI-3984 A b and TOI-5293 A b: two temperate gas giants transiting mid-M dwarfs in wide binary systems

abstract: We confirm the planetary nature of two gas giants discovered by TESS to transit M dwarfs with stellar companions at wide separations. TOI-3984 A ($J=11.93$) is an M4 dwarf hosting a short-period ($4.353326 \pm 0.000005$ days) gas giant ($M_p=0.14\pm0.03~\mathrm{M_{J}}$ and $R_p=0.71\pm0.02~\mathrm{R_{J}}$) with a wide separation white dwarf companion. TOI-5293 A ($J=12.47$) is an M3 dwarf hosting a short-period ($2.930289 \pm 0.000004$ days) gas giant ($M_p=0.54\pm0.07~\mathrm{M_{J}}$ and $R_p=1.06\pm0.04~\mathrm{R_{J}}$) with a wide separation M dwarf companion. We characterize both systems using a combination of ground-based and space-based photometry, speckle imaging, and high-precision radial velocities from the Habitable-zone Planet Finder and NEID spectrographs. TOI-3984 A b ($T_{eq}=563\pm15$ K and $\mathrm{TSM}=138_{-27}^{+29}$) and TOI-5293 A b ($T_{eq}=675_{-30}^{+42}$ K and $\mathrm{TSM}=92\pm14$) are two of the coolest gas giants among the population of hot Jupiter-sized gas planets orbiting M dwarfs and are favorable targets for atmospheric characterization of temperate gas giants and three-dimensional obliquity measurements to probe system architecture and migration scenarios.


title: Risk Management Core -- Towards an Explicit Representation of Risk in Automated Driving

abstract: While current automotive safety standards provide implicit guidance on how unreasonable risk can be avoided, manufacturers are required to specify risk acceptance criteria for Automated Driving Systems (SAE Level 3 and higher). However, the 'unreasonable' level of risk of Automated Driving Systems is not yet concisely defined. Solely applying current safety standards to such novel systems could potentially not be sufficient for their acceptance. As risk is managed with implicit knowledge about safety measures in existing automotive standards, an explicit alignment with risk acceptance criteria is challenging. Hence, we propose an approach for an explicit representation and management of risk, which we call the Risk Management Core. The proposal of this process framework is based on requirements elicited from current safety standards and is applied to the task of specifying safe behavior for an Automated Driving System in an example scenario.


title: Out-of-equilibrium dynamics of two interacting optically-trapped particles

abstract: We present a theoretical analysis of a non-equilibrium dynamics in a model system consisting of two particles which move randomly on a plane. The two particles interact via a harmonic potential, experience their own (independent from each other) noises characterized by two different temperatures $T_1$ and $T_2$, and each particle is being held by its own optical tweezer. Such a system with two particle coupled by hydrodynamic interactions was previously realised experimentally in B\'erut et al. [EPL {\bf 107}, 60004 (2014)], and the difference between two temperatures has been achieved by exerting an additional noise on either of the tweezers. Framing the dynamics in terms of two coupled over-damped Langevin equations, we show that the system reaches a non-equilibrium steady-state with non-zero (for $T_1 \neq T_2$) probability currents that possess non-zero curls. As a consequence, in this system the particles are continuously spinning around their centers of mass in a completely synchronised way - the curls of currents at the instantaneous positions of two particles have the same magnitude and sign. Moreover, we demonstrate that the components of currents of two particles are strongly correlated and undergo a rotational motion along closed elliptic orbits.


title: Field-sensitive Data Flow Integrity

abstract: Although numerous defenses against memory vulnerability exploits have been studied so far, highly-compatible, precise, and efficient defense is still an open problem. In fact, existing defense methods have at least one of the following problems: they (1) cannot precisely protect structure fields, (2) incur high protection overheads, and/or (3) cannot maintain compatibility with existing code due to imposing memory layout change on the protected program. In this paper, we propose a novel memory-protection method FIX-Sense that aims to solve all of these problems simultaneously. Our key idea is to perform memory protection based on field-sensitive data-flow integrity. Specifically, our method (1) computes a safe write-read relation for each memory object, at the structure-field granularity, based on field-sensitive value-flow analysis at the compile-time of the protected program. (2) At run-time, lightweight verification is performed to determine whether each memory read executed by the protected program belong to the safe write-read relation calculated for the memory object at compile time. (3) This verification is implemented by lightweight metadata management that tracks memory writes at the structure field granularity without changing the memory layout of the target program (especially the structure field layout).


title: Transformation and reconstruction towards two-dimensional atomic laminates

abstract: Two-dimensional (2D) nanomaterials derived from non-van der Waals solids are promising due to their fantastic physical and chemical properties, but it remains challenging to obtain 2D atomic laminates with high stability owing to the strong intrinsic covalent/metallic bonds and highly exposed active surface. Here, we report a versatile and scalable protocol to produce 2D atomic laminates, based on an unexpected topological transformation of MAX phases under hydrogen chloride gas, and/or subsequent reconstruction under some programmed gases/vapors. In contrast to the known approaches with liquid or molten medium, our method involves in a gas-phase reaction with fast thermodynamics for A layers and positive Gibbs free energies for MX slabs. Remarkably, through subsequent reconstruction in some active gases/vapors (O2, H2S, P, CH4, Al and Sn metal vapors), a big family of 2D atomic laminates with elusive configurations as well as high chemical/thermal stabilities and tunable electrical properties (from metallic to semiconductor-like behaviors) are achieved. Moreover, the resultant 2D atomic laminates can be facilely scaled up to 10 kilograms. We believe that the 2D atomic laminates would have broad applications in catalysis, energy storage, electromagnetic shielding interface and microwave absorption.


title: Landau-type theorems for certain bounded bi-analytic functions and biharmonic mappings

abstract: In this paper, we establish three new versions of Landau-type theorems for bounded bi-analytic functions of the form $F(z)=\bar{z}G(z)+H(z)$, where $G$ and $H$ are analytic in the unit disk $|z|<1$ with $G(0)=H(0)=0$ and $H'(0)=1$. In particular, two of them are sharp while the other one either generalizes or improves the corresponding result of Abdulhadi and Hajj. As consequences, several new sharp versions of Landau-type theorems for certain subclasses of bounded biharmonic mappings are proved.


title: Metal-bonded Atomic Layers of Transition Metal Carbides (MXenes)

abstract: Although two-dimensional transition metal carbides and nitrides (MXenes) have fantastic physical and chemical properties as well as wide applications, it remains challenging to produce stable MXenes due to their rapid structural degradation. Here, unique metal-bonded atomic layers of transition metal carbides with high stabilities are produced via a simple topological reaction between chlorine-terminated MXenes and selected metals, where the metals enable to not only remove Cl terminations, but also efficiently bond with adjacent atomic MXene slabs, driven by the symmetry of MAX phases. The films constructed from Al-bonded Ti$_3$C$_2$Cl$_x$ atomic layers show high oxidation resistance up to 400 degrees centigrade and low sheet resistance of 9.3 ohm per square. Coupled to the multi-layer structure, the Al-bonded Ti$_3$C$_2$Cl$_x$ film displays a significantly improved EMI shielding capability with a total shielding effectiveness value of 39 dB at a low thickness of 3.1 micron, outperforming pure Ti$_3$C$_2$Cl$_x$ film.


title: Regime-switching affine term structures

abstract: We consider an HJM model setting for Markov-chain modulated forward rates. The underlying Markov chain is assumed to induce regime switches on the forward curve dynamics. Our primary focus is on the interest rate and energy futures markets. After deriving HJM-drift conditions for the two markets, we prove under the assumption of affine structure for the term structure that the forward curves are solutions to specific systems of ODEs that can be solved explicitly in many cases. This allows for a tractable model setting, and we present an algorithm for obtaining consistent forward curve models within our framework. We conclude by presenting some simple numerical examples.