title: Objective Collapse Equation Maintains Conservation Laws With No New Constants

abstract: Modified versions of the Schr\"{o}dinger equation have been proposed in order to incorporate the description of measurement processes into the mathematical structure of quantum theory. Typically, these proposals introduce new physical constants, and imply small violations of momentum and energy conservation. These problematic features can be eliminated by assuming that wave function collapse is induced by the individual interactions that establish correlations between systems. The generation of a sufficient number of small, random shifts of amplitude between interacting and noninteracting branches of the wave function can bring about collapse on a scale consistent with our macroscopic experience. Two-particle interaction potential energies can be used as the basis for a collapse term added to the Schr\"{o}dinger equation. The range of the interactions sets the distance scale of the collapse effects; the ratio of potential energies to the total relativistic energies of the particles determines the magnitude of the amplitude shifts, and the rate at which the interactions proceed fixes the timing parameters. Consistency with conservation laws in individual experiments is maintained because the collapse operator automatically takes into account the small, residual entanglement between the measured system and systems with which it has previously exchanged conserved quantities during interactions. Conservation is exact for momentum and orbital angular momentum, and it holds for energy within the accuracy allowed by the limited forms of energy describable in nonrelativistic theory.


title: Black-box optimization for integer-variable problems using Ising machines and factorization machines

abstract: Black-box optimization has potential in numerous applications such as hyperparameter optimization in machine learning and optimization in design of experiments. Ising machines are useful for binary optimization problems because variables can be represented by a single binary variable of Ising machines. However, conventional approaches using an Ising machine cannot handle black-box optimization problems with non-binary values. To overcome this limitation, we propose an approach for integer-variable black-box optimization problems by using Ising/annealing machines and factorization machines in cooperation with three different integer-encoding methods. The performance of our approach is numerically evaluated with different encoding methods using a simple problem of calculating the energy of the hydrogen molecule in the most stable state. The proposed approach can calculate the energy using any of the integer-encoding methods. However, one-hot encoding is useful for problems with a small size.


title: Complexity Analysis of Charged Dynamical Dissipative Cylindrical Structure in Modified Gravity

abstract: This article focuses on the formulation of some scalar factors which are uniquely expressed in terms of matter variables for dynamical charged dissipative cylindrical geometry in a standard gravity model $\mathcal{R}+\Phi\mathcal{Q}$ ($\Phi$ is the coupling parameter, $\mathcal{Q}=\mathcal{R}_{\varphi\vartheta}\mathcal{T}^{\varphi\vartheta}$) and calculates four scalars by orthogonally decomposing the Riemann tensor. We find that only $\mathcal{Y}_{TF}$ involves inhomogeneous energy density, heat flux, charge and pressure anisotropy coupled with modified corrections, and thus call it as complexity factor for the considered distribution. Two evolutionary modes are discussed to study the dynamics of cylinder. We then take the homologous condition with $\mathcal{Y}_{TF}=0$ to calculate unknown metric potentials in the absence as well as presence of heat dissipation. The stability criterion of the later condition is also checked throughout the evolution by applying some constraints. We conclude that the effects of charge and modified theory yield more complex system.


title: Normalization effects on deep neural networks

abstract: We study the effect of normalization on the layers of deep neural networks of feed-forward type. A given layer $i$ with $N_{i}$ hidden units is allowed to be normalized by $1/N_{i}^{\gamma_{i}}$ with $\gamma_{i}\in[1/2,1]$ and we study the effect of the choice of the $\gamma_{i}$ on the statistical behavior of the neural network's output (such as variance) as well as on the test accuracy on the MNIST data set. We find that in terms of variance of the neural network's output and test accuracy the best choice is to choose the $\gamma_{i}$'s to be equal to one, which is the mean-field scaling. We also find that this is particularly true for the outer layer, in that the neural network's behavior is more sensitive in the scaling of the outer layer as opposed to the scaling of the inner layers. The mechanism for the mathematical analysis is an asymptotic expansion for the neural network's output. An important practical consequence of the analysis is that it provides a systematic and mathematically informed way to choose the learning rate hyperparameters. Such a choice guarantees that the neural network behaves in a statistically robust way as the $N_i$ grow to infinity.


title: On Quantizing Implicit Neural Representations

abstract: The role of quantization within implicit/coordinate neural networks is still not fully understood. We note that using a canonical fixed quantization scheme during training produces poor performance at low-rates due to the network weight distributions changing over the course of training. In this work, we show that a non-uniform quantization of neural weights can lead to significant improvements. Specifically, we demonstrate that a clustered quantization enables improved reconstruction. Finally, by characterising a trade-off between quantization and network capacity, we demonstrate that it is possible (while memory inefficient) to reconstruct signals using binary neural networks. We demonstrate our findings experimentally on 2D image reconstruction and 3D radiance fields; and show that simple quantization methods and architecture search can achieve compression of NeRF to less than 16kb with minimal loss in performance (323x smaller than the original NeRF).


title: EvolvingBehavior: Towards Co-Creative Evolution of Behavior Trees for Game NPCs

abstract: To assist game developers in crafting game NPCs, we present EvolvingBehavior, a novel tool for genetic programming to evolve behavior trees in Unreal Engine 4. In an initial evaluation, we compare evolved behavior to hand-crafted trees designed by our researchers, and to randomly-grown trees, in a 3D survival game. We find that EvolvingBehavior is capable of producing behavior approaching the designer's goals in this context. Finally, we discuss implications and future avenues of exploration for co-creative game AI design tools, as well as challenges and difficulties in behavior tree evolution.


title: Ranking-Based Physics-Informed Line Failure Detection in Power Grids

abstract: Climate change increases the number of extreme weather events (wind and snowstorms, heavy rains, wildfires) that compromise power system reliability and lead to multiple equipment failures. Real-time and accurate detecting of potential line failures is the first step to mitigating the extreme weather impact and activating emergency controls. Power balance equations nonlinearity, increased uncertainty in generation during extreme events, and lack of grid observability compromise the efficiency of traditional data-driven failure detection methods. At the same time, modern problem-oblivious machine learning methods based on neural networks require a large amount of data to detect an accident, especially in a time-changing environment. This paper proposes a Physics-InformEd Line failure Detector (FIELD) that leverages grid topology information to reduce sample and time complexities and improve localization accuracy. Finally, we illustrate the superior empirical performance of our approach compared to state-of-the-art methods over various test cases.


title: Effect of two vaccine doses in the SEIR epidemic model using a stochastic cellular automaton

abstract: In this work, to support decision making of immunisation strategies, we propose the inclusion of two vaccination doses in the SEIR model considering a stochastic cellular automaton. We analyse three different scenarios of vaccination: $i) unlimited doses, (ii) limited doses into susceptible individuals, and (iii) limited doses randomly distributed overall individuals. Our results suggest that the number of vaccinations and time to start the vaccination is more relevant than the vaccine efficacy, delay between the first and second doses, and delay between vaccinated groups. The scenario (i) shows that the solution can converge early to a disease-free equilibrium for a fraction of individuals vaccinated with the first dose. In the scenario (ii), few two vaccination doses divided into a small number of applications reduce the number of infected people more than into many applications. In addition, there is a low waste of doses for the first application and an increase of the waste in the second dose. The scenario (iii) presents an increase in the waste of doses from the first to second applications more than the scenario $(ii)$. In the scenario (iii), the total of wasted doses increases linearly with the number of applications. Furthermore, the number of effective doses in the application of consecutive groups decays exponentially overtime.


title: Classification of eye-state using EEG recordings: speed-up gains using signal epochs and mutual information measure

abstract: The classification of electroencephalography (EEG) signals is useful in a wide range of applications such as seizure detection/prediction, motor imagery classification, emotion classification and drug effects diagnosis, amongst others. With the large number of EEG channels acquired, it has become vital that efficient data-reduction methods are developed, with varying importance from one application to another. It is also important that online classification is achieved during EEG recording for many applications, to monitor changes as they happen. In this paper we introduce a method based on Mutual Information (MI), for channel selection. Obtained results show that whilst there is a penalty on classification accuracy scores, promising speed-up gains can be achieved using MI techniques. Using MI with signal epochs (3secs) containing signal transitions enhances these speed-up gains. This work is exploratory and we suggest further research to be carried out for validation and development. Benefits to improving classification speed include improving application in clinical or educational settings.


title: Fragmentation Analysis of Cryogenic Pellets for Disruption Mitigation

abstract: The lifetime and utilization of a nuclear fusion reactor like ITER depends strongly on its capabilities to mitigate damage during disruptions. While shattered pellet injection (SPI) was chosen as the baseline mitigation method for ITER, the exact relation of pellet injection parameters and the resulting fragment distributions is not yet clear. This knowledge is of paramount importance for optimizing the impurity deposition and disruption mitigation efficiency. In this thesis, I present fragmentation analysis of 170 SPI pellets, with the focus on the produced fragment sizes as a function of normal impact velocity. The experiments were carried out at the Max Planck-Institute for Plasma Physics (IPP) in Garching, Germany, using the shattered pellet injection system that is now installed on the ASDEX Upgrade tokamak. Comparisons with a theoretical fragmentation model (Parks 2016) show that the model underestimates the amount of fragments below 0.9 mm in diameter. Also, statistical parameters such as the mean fragment size and the standard deviation of fragment size seem to scale exponentially in the experiment and linearly in the model. Furthermore, we found that the fragmentation induced by circular shattering geometries is less reproducible than for rectangular geometries, which might be relevant for design choices in future mitigation systems.


title: Cold-atom shaping with MEMS scanning mirrors

abstract: We demonstrate the integration of micro-electro-mechanical-systems (MEMS) scanning mirrors as active elements for the local optical pumping of ultra-cold atoms in a magneto-optical trap. A pair of MEMS mirrors steer a focused resonant beam through a cloud of trapped atoms shelved in the \textit{F}=1 ground-state of \textsuperscript{87}Rb for spatially-selective fluorescence of the atom cloud. Two-dimensional control is demonstrated by forming geometrical patterns along the imaging axis of the cold atom ensemble. Such control of the atomic ensemble with a microfabricated mirror pair could find applications in single atom selection, local optical pumping and arbitrary cloud shaping. This approach has significant potential for miniaturisation and in creating portable control systems for quantum optic experiments.


title: Laser cooling for quantum gases

abstract: Laser cooling exploits the physics of light scattering to cool atomic and molecular gases to close to absolute zero. It is the crucial initial step for essentially all atomic gas experiments in which Bose-Einstein condensation and, more generally, quantum degeneracy is reached. The ongoing development of laser-cooling methods has allowed more elements to be brought to quantum degeneracy, with each additional atomic species offering its own experimental opportunities. Improved methods are opening new avenues, for example, reaching Bose-Einstein condensation purely through laser cooling as well as the realization of continuous Bose-Einstein condensation. Here we review these recent innovations in laser cooling and provide an outlook on methods that may enable new ways of creating quantum gases.


title: Exponential automorphisms and a problem of Mycielski

abstract: An exponential automorphism of $\mathbf{C}$ is a function $\alpha: \mathbf{C} \rightarrow \mathbf{C}$ such that $\alpha(z_1 + z_2) = \alpha(z_1) + \alpha(z_2)$ and $\alpha\left( e^z \right) = e^{\alpha(z)}$ for all $z, z_1, z_2 \in \mathbf{C}$. Jan Mycielski asked if $\alpha(\ln 2) = \ln 2$ and if $\alpha(2^{1/k}) = 2^{1/k}$ for $k = 2, 3, 4$ and for all exponential automorphisms $\alpha$. These questions are answered modulo a multiple of $2\pi i$ and a root of unity.


title: MIMO-ISAC: Performance Analysis and Rate Region Characterization

abstract: This article analyzes the performance of sensing and communications (S\&C) achieved by a multiple-input multiple-output downlink integrated S\&C (ISAC) system. Three ISAC scenarios are analyzed, including the sensing-centric design, communications-centric design, and Pareto optimal design. For each scenario, diversity orders and high signal-to-noise ratio slopes of the sensing rate (SR) and communication rate (CR) are derived to gain further insights. Numerical results reveal that \romannumeral1) ISAC achieves the same diversity order as existing frequency-division S\&C (FDSAC) techniques; \romannumeral2) ISAC achieves larger high-SNR slopes and a broader SR-CR region than FDSAC.


title: Search for displaced photons produced in exotic decays of the Higgs boson using 13 TeV $pp$ collisions with the ATLAS detector

abstract: A search is performed for delayed and nonpointing photons originating from the displaced decay of a neutral long-lived particle (LLP). The analysis uses the full Run 2 data set of proton-proton collisions delivered by the LHC at a center-of-mass energy of $\sqrt{s}=13$ TeV between 2015 and 2018 and recorded by the ATLAS detector, corresponding to an integrated luminosity of 139 fb$^{-1}$. The capabilities of the ATLAS electromagnetic calorimeter are exploited to precisely measure the arrival times and trajectories of photons. The results are interpreted in a scenario where the LLPs are pair-produced in exotic decays of the 125 GeV Higgs boson, and each LLP subsequently decays into a photon and a particle that escapes direct detection, giving rise to missing transverse momentum. No significant excess is observed above the expectation due to Standard Model background processes. The results are used to set upper limits on the branching ratio of the exotic decay of the Higgs boson. A model-independent limit is also set on the production of photons with large values of displacement and time delay.


title: On the algebraic connectivity of token graphs

abstract: We study the algebraic connectivity (or second Laplacian eigenvalue) of token graphs, also called symmetric powers of graphs. The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. Recently, it was conjectured that the algebraic connectivity of $F_k(G)$ equals the algebraic connectivity of $G$. In this paper, we prove the conjecture for new infinite families of graphs, such as trees and graphs with maximum degree large enough.


title: GReS: Graphical Cross-domain Recommendation for Supply Chain Platform

abstract: Supply Chain Platforms (SCPs) provide downstream industries with numerous raw materials. Compared with traditional e-commerce platforms, data in SCPs is more sparse due to limited user interests. To tackle the data sparsity problem, one can apply Cross-Domain Recommendation (CDR) which improves the recommendation performance of the target domain with the source domain information. However, applying CDR to SCPs directly ignores the hierarchical structure of commodities in SCPs, which reduce the recommendation performance. To leverage this feature, in this paper, we take the catering platform as an example and propose GReS, a graphical cross-domain recommendation model. The model first constructs a tree-shaped graph to represent the hierarchy of different nodes of dishes and ingredients, and then applies our proposed Tree2vec method combining GCN and BERT models to embed the graph for recommendations. Experimental results on a commercial dataset show that GReS significantly outperforms state-of-the-art methods in Cross-Domain Recommendation for Supply Chain Platforms.


title: Tunable phonon-driven magnon-magnon entanglement at room temperature

abstract: We report the existence of entangled steady-states in bipartite quantum magnonic systems at elevated temperatures. We consider dissipative dynamics of two magnon modes in a bipartite antiferromagnet, subjected to interaction with a phonon mode and an external rotating magnetic field. To quantify the bipartite magnon-magnon entanglement, we use entanglement negativity and compute its dependence on temperature and magnetic field. We provide evidence that the coupling between magnon and phonon modes is necessary for the entanglement, and that, for any given phonon frequency and magnon-phonon coupling rate, there are always ranges of the magnetic field amplitudes and frequencies for which magnon-magnon entanglement persists at room temperature.


title: Fractal Interpolation over Curves

abstract: This paper introduces the novel concept of fractal interpolation over curves in Banach spaces. The contents are based on the usual methodologies involving the fractal interpolation problem over intervals but the current approach considerably extends and generalizes them and paves the way to fractal interpolation over Banach submanifolds.


title: A taxonomy of surprise definitions

abstract: Surprising events trigger measurable brain activity and influence human behavior by affecting learning, memory, and decision-making. Currently there is, however, no consensus on the definition of surprise. Here we identify 18 mathematical definitions of surprise in a unifying framework. We first propose a technical classification of these definitions into three groups based on their dependence on an agent's belief, show how they relate to each other, and prove under what conditions they are indistinguishable. Going beyond this technical analysis, we propose a taxonomy of surprise definitions and classify them into four conceptual categories based on the quantity they measure: (i) 'prediction surprise' measures a mismatch between a prediction and an observation; (ii) 'change-point detection surprise' measures the probability of a change in the environment; (iii) 'confidence-corrected surprise' explicitly accounts for the effect of confidence; and (iv) 'information gain surprise' measures the belief-update upon a new observation. The taxonomy poses the foundation for principled studies of the functional roles and physiological signatures of surprise in the brain.


title: Accounting for speckle scale beam-bending in classical ray tracing schemes for propagating realistic pulses in indirect drive ignition conditions

abstract: We propose a semi-analytical modeling of smoothed laser beams deviation induced by plasma flows. Based on a Gaussian description of speckles, the model includes spatial, temporal and polarization smoothing techniques,through fits issued from hydrodynamic simulations with a paraxial description of electromagnetic waves. This beam bending model is then included in a ray tracing algorithm, and carefully validated. When applied as a post-process to the propagation of the inner cone in a full-scale simulation of a NIF experiment,the beam bending along the path of the laser affects the refraction conditions inside the hohlraum and the energy deposition, and could explain the anomalous refraction measurements, the so-called glint observed in some NIF experiments.

categories: physics.plasm-ph physics.comp-ph physics.flu-dyn physics.optics


title: Well balanced finite volume schemes for shallow water equations on manifolds

abstract: In this paper we propose a novel second-order accurate well balanced scheme for shallow water equations in general covariant coordinates over manifolds. In our approach, once the gravitational field is defined for the specific case, one equipotential surface is detected and parametrized by a frame of general covariant coordinates. This surface is the manifold whose covariant parametrization induces a metric tensor. The model is then re-written in a hyperbolic form with a tuple of conserved variables composed both of the evolving physical quantities and the metric coefficients. This formulation allows the numerical scheme to automatically compute the curvature of the manifold as long as the physical variables are evolved.


title: Discordant edges for the voter model on regular random graphs

abstract: We consider the two-opinion voter model on a regular random graph with n vertices and degree $d \geq 3$. It is known that consensus is reached on time scale n and that on this time scale the volume of the set of vertices with one opinion evolves as a Fisher-Wright diffusion. We are interested in the evolution of the number of discordant edges (i.e., edges linking vertices with different opinions), which can be thought as the perimeter of the set of vertices with one opinion, and is the key observable capturing how consensus is reached. We show that if initially the two opinions are drawn independently from a Bernoulli distribution with parameter $u \in (0, 1)$, then on time scale 1 the fraction of discordant edges decreases and stabilises to a value that depends on d and u, and is related to the meeting time of two random walks on an infinite tree of degree d starting from two neighbouring vertices. Moreover, we show that on time scale n the fraction of discordant edges moves away from the constant plateau and converges to zero in an exponential fashion. Our proofs exploit the classical dual system of coalescing random walks and use ideas from Cooper et al. (2010) built on the so-called First Visit Time Lemma. We further introduce a novel technique to derive concentration properties from weak-dependence of coalescing random walks on moderate time scales.


title: Multi-scalar Gauss-Bonnet gravity: scalarized black holes beyond spontaneous scalarization

abstract: Recently, a new nonlinear mechanism for black hole scalarization, different from the standard spontaneous scalarization, was demonstrated to exist for scalar Gauss-Bonnet theories in which no tachyonic instabilities can occur. Thus Schwarzschild black hole is linearly stable but instead nonlinear instability can kick-in. In the present paper we extend on this idea in the case of multi-scalar Gauss-Bonnet gravity with exponential coupling functions of third and fourth leading order in the scalar field. The main motivation comes from the fact that these theories admit hairy compact objects with zero scalar charge, thus zero scalar-dipole radiation, that automatically evades the binary pulsar constraints on the theory parameters. We demonstrate numerically the existence of scalarized black holes for both coupling functions and for all possible maximally symmetric scalar field target spaces. The thermodynamics and the stability of the obtained solution branches is also discussed.


title: Information overload and environmental degradation: learning from H.A. Simon and W. Wenders

abstract: This paper discusses the relevance of information overload for explaining environmental degradation. Our argument goes that information overload and detachment from nature, caused by energy abundance, have made individuals unaware of the unsustainable effects of their choices and lifestyles.


title: TOPz: Photometric redshifts for J-PAS

abstract: The importance of photometric galaxy redshift estimation is rapidly increasing with the development of specialised powerful observational facilities. We develop a new photometric redshift estimation workflow TOPz to provide reliable and efficient redshift estimations for the upcoming large-scale survey J-PAS which will observe 8500 deg2 of the northern sky through 54 narrow-band filters. TOPz relies on template-based photo-z estimation with some added J-PAS specific features and possibilities. We present TOPz performance on data from the miniJPAS survey, a precursor to the J-PAS survey with an identical filter system. First, we generated spectral templates based on the miniJPAS sources using the synthetic galaxy spectrum generation software CIGALE. Then we applied corrections to the input photometry by minimising systematic offsets from the template flux in each filter. To assess the accuracy of the redshift estimation, we used spectroscopic redshifts from the DEEP2, DEEP3, and SDSS surveys, available for 1989 miniJPAS galaxies with r < 22 magAB. We also tested how the choice and number of input templates, photo-z priors, and photometric corrections affect the TOPz redshift accuracy. The general performance of the combination of miniJPAS data and the TOPz workflow fulfills the expectations for J-PAS redshift accuracy. Similarly to previous estimates, we find that 38.6% of galaxies with r < 22 mag reach the J-PAS redshift accuracy goal of dz/(1 + z) < 0.003. Limiting the number of spectra in the template set improves the redshift accuracy up to 5%, especially for fainter, noise-dominated sources. Further improvements will be possible once the actual J-PAS data become available.


title: Digital Traces of Brain Drain: Developers during the Russian Invasion of Ukraine

abstract: The Russian invasion of Ukraine has caused large scale destruction, significant loss of life, and the displacement of millions of people. Besides those fleeing direct conflict in Ukraine, many individuals in Russia are also thought to have moved to third countries. In particular the exodus of skilled human capital, sometimes called brain drain, out of Russia may have a significant effect on the course of the war and the Russian economy in the long run. Yet quantifying brain drain, especially during crisis situations is generally difficult. This hinders our ability to understand its drivers and to anticipate its consequences. To address this gap, I draw on and extend a large scale dataset of the locations of highly active software developers collected in February 2021, one year before the invasion. Revisiting those developers that had been located in Russia in 2021, I confirm an ongoing exodus of developers from Russia in snapshots taken in June and November 2022. By November 11.1% of Russian developers list a new country, compared with 2.8% of developers from comparable countries in the region but not directly involved in the conflict. 13.2% of Russian developers have obscured their location (vs. 2.4% in the comparison set). Developers leaving Russia were significantly more active and central in the collaboration network than those who remain. This suggests that many of the most important developers have already left Russia. In some receiving countries the number of arrivals is significant: I estimate an increase in the number of local software developers of 42% in Armenia, 60% in Cyprus and 94% in Georgia.


title: Stability of axially symmetric magnetic fields in stars

abstract: The magnetic fields observed in Ap-stars, white dwarfs, and neutron stars are known to be stable for long times. However, the physical conditions inside the stellar interiors that allow these states are still a matter of research. It has been formally demonstrated that both purely toroidal and purely poloidal magnetic fields develop instabilities at some point in the star. On the other hand, numerical simulations have proved the stability of roughly axisymmetric magnetic field configurations inside stably stratified stars. These configurations consist of mutually stabilizing toroidal and poloidal components in a twisted torus shape. Previous studies have proposed rough upper and lower bounds on the ratio of the magnetic energy in the toroidal and poloidal components of the magnetic field. With the purpose of mapping out the parameter space under which such configurations remain stable, we used the Pencil Code to perform 3D magnetohydrodynamic simulations of the evolution of the magnetic field in non-rotating, non-degenerate stars in which viscosity is the only dissipation mechanism, both for stars with a uniform (barotropic) and radially increasing (stably stratified) specific entropy. Furthermore, we considered different conditions regarding the degree of stable stratification and the magnetic energy in each component, roughly confirming the previously suggested stability boundaries for the magnetic field.


title: Relative left Bongartz completions and their compatibility with mutations

abstract: In this paper, we introduce relative left Bongartz completions for a given basic $\tau$-rigid pair $(U,Q)$ in the module category of a finite dimensional algebra $A$. They give a family of basic $\tau$-tilting pairs containing $(U,Q)$ as a direct summand. We prove that relative left Bongartz completions have nice compatibility with mutations. Using this compatibility we are able to study the existence of maximal green sequences under $\tau$-tilting reduction. We also explain our construction and some of the results in the setting of silting theory.


title: How to decide Functionality of Compositions of Top-Down Tree Transducers

abstract: We prove that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top-down tree transducer with look-ahead.


title: eDWaaS: A Scalable Educational Data Warehouse as a Service

abstract: The university management is perpetually in the process of innovating policies to improve the quality of service. Intellectual growth of the students, the popularity of university are some of the major areas that management strives to improve upon. Relevant historical data is needed in support of taking any decision. Furthermore, providing data to various university ranking frameworks is a frequent activity in recent years. The format of such requirement changes frequently which requires efficient manual effort. Maintaining a data warehouse can be a solution to this problem. However, both in-house and outsourced implementation of a dedicated data warehouse may not be a cost-effective and smart solution. This work proposes an educational data warehouse as a service (eDWaaS) model to store historical data for multiple universities. The proposed multi-tenant schema facilitates the universities to maintain their data warehouse in a cost-effective solution. It also addresses the scalability issues in implementing such data warehouse as a service model.


title: Verifying $k$-Contraction without Computing $k$-Compounds

abstract: Compound matrices have found applications in many fields of science including systems and control theory. In particular, a sufficient condition for $k$-contraction is that a logarithmic norm (also called matrix measure) of the $k$-additive compound of the Jacobian is uniformly negative. However, this may be difficult to check in practice because the $k$-additive compound of an $n\times n$ matrix has dimensions $\binom{n}{k}\times \binom{n}{k}$. For an $n\times n$ matrix $A$, we prove a duality relation between the $k$ and $(n-k)$ compounds of $A$. We use this duality relation to derive a sufficient condition for $k$-contraction that does not require the computation of any $k$-compounds. We demonstrate our results by deriving a sufficient condition for $k$-contraction of an $n$-dimensional Hopfield network that does not require to compute any compounds. In particular, for $k=2$ this sufficient condition implies that the network is $2$-contracting and this implies a strong asymptotic property: every bounded solution of the network converges to an equilibrium point, that may not be unique. This is relevant, for example, when using the Hopfield network as an associative memory that stores patterns as equilibrium points of the dynamics.


title: Anomalous Collective Dynamics of Auto-Chemotactic Populations

abstract: While the role of local interactions in nonequilibrium phase transitions is well studied, a fundamental understanding of the effects of long-range interactions is lacking. We study the critical dynamics of reproducing agents subject to autochemotactic interactions and limited resources. A renormalization group analysis reveals distinct scaling regimes for fast (attractive or repulsive) interactions; for slow signal transduction, the dynamics is dominated by a diffusive fixed point. Furthermore, we present a correction to the Keller-Segel nonlinearity emerging close to the extinction threshold and a novel nonlinear mechanism that stabilizes the continuous transition against the emergence of a characteristic length scale due to a chemotactic collapse.


title: Thermodynamic, magnetic and transport properties of the repulsive Hubbard model on the kagome lattice

abstract: Over the past decades, magnetic frustration has been under intense debate due to its unusual properties. For instance, frustration in the kagome lattice suppresses long range spin correlations and it is expected to be a candidate for a spin liquid system. Therefore, with the advent of experiments with ultra-cold atoms, the interest for frustrated geometries has increased. Given this, in the present work we investigate the repulsive Hubbard model on the kagome lattice by unbiased quantum Monte Carlo simulations. We examine its thermodynamic properties, as well as the magnetic and transport response of the system at finite temperatures and different values of the repulsive interaction. From these results, we discuss the possible occurrence of adiabatic cooling, a quite important feature in ultra-cold systems, and the presence of a metal-to-insulator transition at a finite interaction strength. Our findings may guide future experiments in ultra-cold fermionic atoms on the kagome lattice.


title: Radiative corrections to the level width in the presence of magnetic field

abstract: We study the influence of constant magnetic field combined with a field induced by the external thermal environment on the atomic decay rates. The importance of radiative corrections, including magnetic interaction, is demonstrated for hydrogen and hydrogen-like ions with low nuclear charge values $Z$. Based on the quantum electrodynamics description, the principal possibility of determining the $g$-factor by observing fluorescence is shown. The considered effects can be used in precision spectroscopic experiments and astrophysical studies.


title: Extended geometry and kinematics induced by biquaternionic and twistor structures

abstract: The algebra of biquaternions possess a manifestly Lorentz invariant form and induces an extended space-time geometry. We consider the links between this complex pre-geometry and real geometry of the Minkowski space-time. Twistor structures naturally arise in the framework of biquaternionic analysis. Both together, algebraic and twistor structures impose rigid restriction on the transport of singular points of biquaternion-valued fields identified with particle-like formations.


title: Orbital instability of periodic waves for scalar viscous balance laws

abstract: The purpose of this paper is to prove that, for a large class of nonlinear evolution equations known as scalar viscous balance laws, the spectral (linear) instability condition of periodic traveling wave solutions implies their orbital (nonlinear) instability in appropriate periodic Sobolev spaces. The analysis is based on the well-posedness theory, the smoothness of the data-solution map, and an abstract result of instability of equilibria under nonlinear iterations. The resulting instability criterion is applied to two families of periodic waves. The first family consists of small amplitude waves with finite fundamental period which emerge from a local Hopf bifurcation around a critical value of the velocity. The second family comprises arbitrarily large period waves which arise from a homoclinic (global) bifurcation and tend to a limiting traveling pulse when their fundamental period tends to infinity. In the case of both families, the criterion is applied to conclude their orbital instability under the flow of the nonlinear viscous balance law in periodic Sobolev spaces with same period as the fundamental period of the wave.


title: Classifying with Uncertain Data Envelopment Analysis

abstract: Classifications organize entities into categories that identify similarities within a category and discern dissimilarities among categories, and they powerfully classify information in support of analysis. We propose a new classification scheme premised on the reality of imperfect data. Our computational model uses uncertain data envelopment analysis to define a classification's proximity to equitable efficiency, which is an aggregate measure of intra-similarity within a classification's categories. Our classification process has two overriding computational challenges, those being a loss of convexity and a combinatorially explosive search space. We overcome the first by establishing lower and upper bounds on the proximity value, and then by searching this range with a first-order algorithm. We overcome the second by adapting the p-median problem to initiate our exploration, and by then employing an iterative neighborhood search to finalize a classification. We conclude by classifying the thirty stocks in the Dow Jones Industrial average into performant tiers and by classifying prostate treatments into clinically effectual categories.


title: Unbiased estimation for additive exposure models

abstract: Causal inference methods have been applied in various fields where researchers want to estimate treatment effects. In traditional causal inference settings, one assumes that the outcome of a unit does not depend on treatments of other units. However, as causal inference methods are extended to more applications, there is a greater need for estimators of general causal effects. We use an exposure mapping framework [Aronow and Samii, 2017] to map the relationship between the treatment allocation and the potential outcomes. Under the exposure model, we propose linear unbiased estimators (LUEs) for general causal effects under the assumption that treatment effects are additive. Additivity provides statistical advantages, where contrasts in exposures are now equivalent, and so the set of estimators considered grows. We identify a subset of LUEs that forms an affine basis for LUEs, and we characterize optimal LUEs with minimum integrated variance through defining conditions on the support of the estimator. We show, through simulations that our proposed estimators are fairly robust to violations of the additivity assumption, and in general, there is benefit in leveraging information from all exposures.


title: Taming Multi-Agent Reinforcement Learning with Estimator Variance Reduction

abstract: Centralised training with decentralised execution (CT-DE) serves as the foundation of many leading multi-agent reinforcement learning (MARL) algorithms. Despite its popularity, it suffers from a critical drawback due to its reliance on learning from a single sample of the joint-action at a given state. As agents explore and update their policies during training, these single samples may poorly represent the actual joint-policy of the system of agents leading to high variance gradient estimates that hinder learning. To address this problem, we propose an enhancement tool that accommodates any actor-critic MARL method. Our framework, Performance Enhancing Reinforcement Learning Apparatus (PERLA), introduces a sampling technique of the agents' joint-policy into the critics while the agents train. This leads to TD updates that closely approximate the true expected value under the current joint-policy rather than estimates from a single sample of the joint-action at a given state. This produces low variance and precise estimates of expected returns, minimising the variance in the critic estimators which typically hinders learning. Moreover, as we demonstrate, by eliminating much of the critic variance from the single sampling of the joint policy, PERLA enables CT-DE methods to scale more efficiently with the number of agents. Theoretically, we prove that PERLA reduces variance in value estimates similar to that of decentralised training while maintaining the benefits of centralised training. Empirically, we demonstrate PERLA's superior performance and ability to reduce estimator variance in a range of benchmarks including Multi-agent Mujoco, and StarCraft II Multi-agent Challenge.


title: Poisson-Dirichlet distributions and weakly first-order spin-nematic phase transitions

abstract: We provide a quantitative characterization of generic weakly first-order thermal phase transitions out of planar spin-nematic states in three-dimensional spin-one quantum magnets, based on calculations using Poisson-Dirichlet distributions (PD) within a universal loop model formulation, combined with large-scale quantum Monte Carlo calculations. In contrast to earlier claims, the thermal melting of the nematic state is not continuous, instead a weakly first-order transition is identified from both thermal properties and the distribution of the nematic order parameter. Furthermore, based on PD calculations, we obtain exact results for the order parameter distribution and Binder cumulants at the discontinuous melting transition. Our findings establish the thermal melting of planar spin-nematic states as a generic platform for quantitative approaches to weakly first-order phase transitions in quantum systems with a continuous SU(2) internal symmetry.

categories: cond-mat.str-el cond-mat.stat-mech math-ph math.MP


title: Argument for the radiation-dominated behavior of matter fields in the preinflationary era

abstract: We investigate the leading-order behavior of matter fields in the preinflationary era using the semiclassical approximation. Many inflationary models assume without supporting arguments that the Universe was radiation dominated prior to inflation, leading to modifications of cosmological observables, such as the Cosmic Microwave Background power spectrum. In previous work, we demonstrated that conformally coupled scalar fields do have a radiation-like contribution to the stress-energy tensor at sufficiently early times. In this work, we extend these arguments to apply to massless spin-1 fields and massive or massless spin-$\frac{1}{2}$ fields. We find massless spin-1 fields always have a radiation-like contribution. For spin-$\frac{1}{2}$ fields, we find the contribution at early times is radiation-like assuming this is the dominant contribution to the stress-energy tensor.


title: Locally analytic completed cohomology

abstract: We generalize the work of Lue Pan on locally analytic completed cohomology of modular curves to Shimura varieties. In the process we obtain a proof of the rational Calegari-Emerton conjectures without a perfectoid assumption at infinite level. We also construct the overconvergent $\mathrm{BGG}$ maps for the derived infinitesimal Jacquet module of the locally analytic completed cohomology and its dual.


title: Comments on low mass dissociation at the LHC in the context of the discrepancy between the ATLAS and TOTEM measurements of $\sigma_{tot}$

abstract: The cross section for low mass dissociation at LHC energies is estimated in a partly data driven approach. The result is compared to the Monte Carlo estimate from the QGSJET-II-03 model used by the TOTEM experiment in the determination of $\sigma_{tot}$ via the luminosity-independent method. Significant differences are found and possible consequences are explored and discussed.


title: In-Place Gestures Classification via Long-term Memory Augmented Network

abstract: In-place gesture-based virtual locomotion techniques enable users to control their viewpoint and intuitively move in the 3D virtual environment. A key research problem is to accurately and quickly recognize in-place gestures, since they can trigger specific movements of virtual viewpoints and enhance user experience. However, to achieve real-time experience, only short-term sensor sequence data (up to about 300ms, 6 to 10 frames) can be taken as input, which actually affects the classification performance due to limited spatio-temporal information. In this paper, we propose a novel long-term memory augmented network for in-place gestures classification. It takes as input both short-term gesture sequence samples and their corresponding long-term sequence samples that provide extra relevant spatio-temporal information in the training phase. We store long-term sequence features with an external memory queue. In addition, we design a memory augmented loss to help cluster features of the same class and push apart features from different classes, thus enabling our memory queue to memorize more relevant long-term sequence features. In the inference phase, we input only short-term sequence samples to recall the stored features accordingly, and fuse them together to predict the gesture class. We create a large-scale in-place gestures dataset from 25 participants with 11 gestures. Our method achieves a promising accuracy of 95.1% with a latency of 192ms, and an accuracy of 97.3% with a latency of 312ms, and is demonstrated to be superior to recent in-place gesture classification techniques. User study also validates our approach. Our source code and dataset will be made available to the community.


title: The path integral formula for the stochastic evolutionary game dynamics in the Moran process

abstract: The Moran process is one of an basic mathematical structure in the evolutionary game theory. In this work, we introduce the formulation of the path integral approach for evolutionary game theory based on the Moran process. We derive the transition probability by the path integral from the initial state to the final state with updating rule of the Moran process. In this framework, the transition probability is the sum of all the evolutionary paths. The path integral formula of the transition probability maybe expected to be a new mathematical tool to explore the stochastic game evolutionary dynamics.


title: INTERACTION: A Generative XAI Framework for Natural Language Inference Explanations

abstract: XAI with natural language processing aims to produce human-readable explanations as evidence for AI decision-making, which addresses explainability and transparency. However, from an HCI perspective, the current approaches only focus on delivering a single explanation, which fails to account for the diversity of human thoughts and experiences in language. This paper thus addresses this gap, by proposing a generative XAI framework, INTERACTION (explaIn aNd predicT thEn queRy with contextuAl CondiTional varIational autO-eNcoder). Our novel framework presents explanation in two steps: (step one) Explanation and Label Prediction; and (step two) Diverse Evidence Generation. We conduct intensive experiments with the Transformer architecture on a benchmark dataset, e-SNLI. Our method achieves competitive or better performance against state-of-the-art baseline models on explanation generation (up to 4.7% gain in BLEU) and prediction (up to 4.4% gain in accuracy) in step one; it can also generate multiple diverse explanations in step two.


title: Somonodromic Deformations Along the Caustic of a Dubrovin-Frobenius Manifold

abstract: We study the family of ordinary differential equations associated to a Dubrovin-Frobenius manifold along its caustic. Upon just loosing an idempotent at the caustic and under a non-degeneracy condition, we write down a normal form for this family and prove that the corresponding fundamental matrix solutions are strongly isomonodromic. It is shown that the exponent of formal monodromy is related to the multiplication structure of the Dubrovin-Frobenius manifold along its caustic.


title: Generic regularity of free boundaries for the thin obstacle problem

abstract: The free boundary for the Signorini problem in $\mathbb{R}^{n+1}$ is smooth outside of a degenerate set, which can have the same dimension ($n-1$) as the free boundary itself. In [FR21] it was shown that generically, the set where the free boundary is not smooth is at most $(n-2)$-dimensional. Our main result establishes that, in fact, the degenerate set has zero $\mathcal{H}^{n-3-\alpha_0}$ measure for a generic solution. As a by-product, we obtain that, for $n+1 \leq 4$, the whole free boundary is generically smooth. This solves the analogue of a conjecture of Schaeffer in $\mathbb{R}^3$ and $\mathbb{R}^4$ for the thin obstacle problem.


title: Scale-dependent Error Growth in Navier--Stokes Simulations

abstract: We estimate the maximal Lyapunov exponent at different resolutions and Reynolds numbers in large eddy (LES) and direct numerical simulations (DNS) of sinusoidally-driven Navier--Stokes equations in three dimensions. Independent of the Reynolds number when nondimensionalized by Kolmogorov units, the LES Lyapunov exponent diverges as an inverse power of the effective grid spacing showing that the fine scale structures exhibit much faster error growth rates than the larger ones. Effectively, i.e., ignoring the cut-off of this phenomenon at the Kolmogorov scale, this behavior introduces an upper bound to the prediction horizon that can be achieved by improving the precision of initial conditions through refining of the measurement grid.


title: Kraken: A Direct Event/Frame-Based Multi-sensor Fusion SoC for Ultra-Efficient Visual Processing in Nano-UAVs

abstract: Small-size unmanned aerial vehicles (UAV) have the potential to dramatically increase safety and reduce cost in applications like critical infrastructure maintenance and post-disaster search and rescue. Many scenarios require UAVs to shrink toward nano and pico-size form factors. The key open challenge to achieve true autonomy on Nano-UAVs is to run complex visual tasks like object detection, tracking, navigation and obstacle avoidance fully on board, at high speed and robustness, under tight payload and power constraints. With the Kraken SoC, fabricated in 22nm FDX technology, we demonstrate a multi-visual-sensor capability exploiting both event-based and BW/RGB imagers, combining their output for multi-functional visual tasks previously impossible on a single low-power chip for Nano-UAVs. Kraken is an ultra-low-power, heterogeneous SoC architecture integrating three acceleration engines and a vast set of peripherals to enable efficient interfacing with standard frame-based sensors and novel event-based DVS. Kraken enables highly sparse event-driven sub-uJ/inf SNN inference on a dedicated neuromorphic energy-proportional accelerator. Moreover, it can perform frame-based inference by combining a 1.8TOp\s\W 8-cores RISC-V processor cluster with mixed-precision DNN extensions with a 1036TOp\s\W} TNN accelerator.


title: Shuffled total least squares

abstract: Linear regression with shuffled labels and with a noisy latent design matrix arises in many correspondence recovery problems. We propose a total least-squares approach to the problem of estimating the underlying true permutation and provide an upper bound to the normalized Procrustes quadratic loss of the estimator. We also provide an iterative algorithm to approximate the estimator and demonstrate its performance on simulated data.


title: Spherical Functions on Fuzzy Lie group

abstract: Let $G$ be a locally compact Lie group and $\mathfrak{g}$ its Lie algebra. We consider a fuzzy analogue of $G,$ denoted by $\mathfrak{G_f}$ called a fuzzy Lie group. Spherical functions on $\mathfrak{G_f}$ are constructed and a version of the existence result of the Helgason-spherical function on $G$ is then established on $\mathfrak{G_f}.$


title: Emission of gravitational waves by superconducting cosmic strings

abstract: We study the gravitational radiation emission efficiency $\Gamma$ of superconducting cosmic strings. We demonstrate, by using a solvable model of transonic strings, that the presence of a current leads to a suppression of the gravitational emission of cusps, kinks and different types of loops. We also show that, when a current is present, the spectrum of emission of loops with cusps is exponentially suppressed as the harmonic mode increases, thus being significantly different from the power law spectrum of currentless loops. Furthermore, we establish a phenomenological relationship between $\Gamma$ and the value of the current on cosmic strings. We conjecture that this relation should be valid for an arbitrary type of current-carrying string. We use this result to study the potential impact of current on the stochastic gravitational wave background generated by cosmic strings with additional degrees of freedom and show that both the amplitude and shape of the spectrum may be significantly affected.


title: From natural numbers to prime fields and finite fields

abstract: The aim of this book is to introduce the reader to the beauty of Algebra, through a journey from the natural numbers to prime fields and finite fields, with some detours. Many books are devoted to the construction of these fields from the natural numbers. Perhaps the first one is [Landau 1930], see also the books [Ebbinghaus et.al. 1991], [Lay 2005], and the references therein. An important step in this process is the construction of the field of rational numbers. It turns out that this field is the only (in an appropriate sense) infinite prime field. Motivated by the reading of [Loonstra 1972], I decided to write an essentially self-contained book devoted to the construction not only of the field of rational numbers but of all prime fields and, more interestingly, to the proof of existence and "uniqueness" of all finite fields. Only a knowledge of basic set theory and some familiarity with mathematical reasoning (see for example [11, Chapters 1 and 2]) are assumed.


title: Discrete Morse theory for symmetric Delta-complexes

abstract: We generalize Forman's discrete Morse theory to the context of symmetric $\Delta$-complexes. As an application, we prove that the coloop subcomplex of the link of the origin $LA^{\mathrm{trop},\mathrm{P}}_g$ in the moduli space of principally polarized tropical abelian varieties of dimension $g$ with respect to the perfect cone decomposition is contractible.


title: Data-driven stabilizer design and closed-loop analysis of general nonlinear systems via Taylor's expansion

abstract: For data-driven control of nonlinear systems, the basis functions characterizing the dynamics are usually essential. In existing works, the basis functions are often carefully chosen based on pre-knowledge of the dynamics so that the system can be expressed or well-approximated by the basis functions and the experimental data. For a more general setting where explicit information on the basis functions is not available, this paper presents a data-driven approach for stabilizer design and closed-loop analysis via the Lyapunov method. First, based on Taylor's expansion and using input-state data, a stabilizer and a Lyapunov function are designed to render the known equilibrium locally asymptotically stable. Then, data-driven conditions are derived to check whether a given sublevel set of the found Lyapunov function is an invariant subset of the region of attraction. One of the main challenges is how to handle Taylor's remainder in the design of the local stabilizers and the analysis of the closed-loop performance.


title: Fiducial Tag Localization on a 3D LiDAR Prior Map

abstract: The LiDAR fiducial tag, akin to the well-known AprilTag used in camera applications, serves as a convenient resource to impart artificial features to the LiDAR sensor, facilitating robotics applications. Unfortunately, the existing LiDAR fiducial tag localization methods do not apply to 3D LiDAR maps while resolving this problem is beneficial to LiDAR-based relocalization and navigation. In this paper, we develop a novel approach to directly localize fiducial tags on a 3D LiDAR prior map, returning the tag poses (labeled by ID number) and vertex locations (labeled by index) w.r.t. the global coordinate system of the map. In particular, considering that fiducial tags are thin sheet objects indistinguishable from the attached planes, we design a new pipeline that gradually analyzes the 3D point cloud of the map from the intensity and geometry perspectives, extracting potential tag-containing point clusters. Then, we introduce an intermediate-plane-based method to further check if each potential cluster has a tag and compute the vertex locations and tag pose if found. We conduct both qualitative and quantitative experiments to demonstrate that our approach is the first method applicable to localize tags on a 3D LiDAR map while achieving better accuracy compared to previous methods. The open-source implementation of this work is available at: https://github.com/York-SDCNLab/Marker-Detection-General.


title: Improved Fitness Dependent Optimizer for Solving Economic Load Dispatch Problem

abstract: Economic Load Dispatch depicts a fundamental role in the operation of power systems, as it decreases the environmental load, minimizes the operating cost, and preserves energy resources. The optimal solution to Economic Load Dispatch problems and various constraints can be obtained by evolving several evolutionary and swarm-based algorithms. The major drawback to swarm-based algorithms is premature convergence towards an optimal solution. Fitness Dependent Optimizer is a novel optimization algorithm stimulated by the decision-making and reproductive process of bee swarming. Fitness Dependent Optimizer (FDO) examines the search spaces based on the searching approach of Particle Swarm Optimization. To calculate the pace, the fitness function is utilized to generate weights that direct the search agents in the phases of exploitation and exploration. In this research, the authors have carried out Fitness Dependent Optimizer to solve the Economic Load Dispatch problem by reducing fuel cost, emission allocation, and transmission loss. Moreover, the authors have enhanced a novel variant of Fitness Dependent Optimizer, which incorporates novel population initialization techniques and dynamically employed sine maps to select the weight factor for Fitness Dependent Optimizer. The enhanced population initialization approach incorporates a quasi-random Sabol sequence to generate the initial solution in the multi-dimensional search space. A standard 24-unit system is employed for experimental evaluation with different power demands. Empirical results obtained using the enhanced variant of the Fitness Dependent Optimizer demonstrate superior performance in terms of low transmission loss, low fuel cost, and low emission allocation compared to the conventional Fitness Dependent Optimizer. The experimental study obtained 7.94E-12.


title: HELEN: A Linear Collider Based On Advanced SRF Technology

abstract: This paper discusses recently proposed Higgs Energy LEptoN (HELEN) $e+e-$ linear collider based on advances in superconducting radio frequency technology. The collider offers cost and AC power savings, smaller footprint (relative to the ILC), and could be built at Fermilab with an interaction region within the site boundaries. After the initial physics run at 250 GeV, the collider could be upgraded either to higher luminosity or to higher (up to 500 GeV) energies.


title: Can an NN model plainly learn planar layouts?

abstract: Planar graph drawings tend to be aesthetically pleasing. In this poster we explore a Neural Network's capability of learning various planar graph classes. Additionally, we also investigate the effectiveness of the model in generalizing beyond planarity. We find that the model can outperform conventional techniques for certain graph classes. The model, however, appears to be more susceptible to randomness in the data, and seems to be less robust than expected.


title: Quasiclassical approaches to the generalized quantum master equation

abstract: The formalism of the generalized quantum master equation (GQME) is an effective tool to simultaneously increase the accuracy and the efficiency of quasiclassical trajectory methods in the simulation of nonadiabatic quantum dynamics. The GQME expresses correlation functions in terms of a non-Markovian equation of motion, involving memory kernels which are typically fast-decaying and can therefore be computed by short-time quasiclassical trajectories. In this paper we study the approximate solution of the GQME, obtained by calculating the kernels with two methods, namely Ehrenfest mean-field theory and spin mapping. We test the approaches on a range of spin--boson models with increasing energy bias between the two electronic levels and place a particular focus on the long-time limits of the populations. We find that the accuracy of the predictions of the GQME depends strongly on the specific technique used to calculate the kernels. In particular, spin mapping outperforms Ehrenfest for all systems studied. The problem of unphysical negative electronic populations affecting spin mapping is resolved by coupling the method with the master equation. Conversely, Ehrenfest in conjunction with the GQME can predict negative populations, despite the fact that the populations calculated from direct dynamics are positive definite.


title: Adapting Kubernetes controllers to the edge: on-demand control planes using Wasm and WASI

abstract: Kubernetes' high resource requirements hamper its adoption in constrained environments such as the edge and fog. Its extensible control plane is a significant contributor to this, consisting of long-lived processes called "controllers" that constantly listen for state changes and use resources even when they are not needed. This paper presents a WebAssembly-based framework for running lightweight controllers on-demand, only when they are needed. This framework extends the WebAssembly System Interface (WASI), in order to run Kubernetes controllers as lightweight Wasm modules. The framework runs these Wasm controllers in a modified version of Wasmtime, the reference WebAssembly (Wasm) runtime, that swaps idle controllers to disk and activates them when needed. A thorough evaluation shows this framework achieves a 64% memory reduction compared to traditional container-based controller frameworks.


title: Dual Queue Coupled AQM: Deployable Very Low Queuing Delay for All

abstract: On the Internet, sub-millisecond queueing delay and capacity-seeking have traditionally been considered mutually exclusive. We introduce a service that offers both: Low Latency Low Loss Scalable throughput (L4S). When tested under a wide range of conditions emulated on a testbed using real residential broadband equipment, queue delay remained both low (median 100--300 $\mu$s) and consistent (99th percentile below 2 ms even under highly dynamic workloads), without compromising other metrics (zero congestion loss and close to full utilization). L4S exploits the properties of `Scalable' congestion controls (e.g., DCTCP, TCP Prague). Flows using such congestion control are however very aggressive, which causes a deployment challenge as L4S has to coexist with so-called `Classic' flows (e.g., Reno, CUBIC). This paper introduces an architectural solution: `Dual Queue Coupled Active Queue Management', which enables balance between Scalable and Classic flows. It counterbalances the more aggressive response of Scalable flows with more aggressive marking, without having to inspect flow identifiers. The Dual Queue structure has been implemented as a Linux queuing discipline. It acts like a semi-permeable membrane, isolating the latency of Scalable and `Classic' traffic, but coupling their capacity into a single bandwidth pool. This paper justifies the design and implementation choices, and visualizes a representative selection of hundreds of thousands of experiment runs to test our claims.


title: Equivalence of the adiabatic expansion and Hadamard renormalization for a charged scalar field

abstract: We examine the relationship between three approaches (Hadamard, DeWitt-Schwinger and adiabatic) to the renormalization of expectation values of field operators acting on a charged quantum scalar field. First, we demonstrate that the DeWitt-Schwinger representation of the Feynman Green's function is a particular case of the Hadamard representation. Next, we restrict attention to a spatially flat Friedmann-Lemaitre-Robertson-Walker universe with time-dependent, purely electric, background electromagnetic field, considering two, three and four-dimensional space-times. Working to the order required for the renormalization of the stress-energy tensor (SET), we find the adiabatic and DeWitt-Schwinger expansions of the Green's function when the space-time points are spatially separated. In two and four dimensions, the resulting DeWitt-Schwinger and adiabatic expansions are identical. In three dimensions, the DeWitt-Schwinger expansion contains terms of adiabatic order four which are not necessary for the renormalization of the SET and hence absent in the adiabatic expansion. The equivalence of the DeWitt-Schwinger and adiabatic approaches to renormalization in the scenario considered is thereby demonstrated in even dimensions. In odd dimensions the situation is less clear and further investigation is required in order to determine whether adiabatic renormalization is a locally covariant renormalization prescription.


title: Event-Driven Tactile Learning with Location Spiking Neurons

abstract: The sense of touch is essential for a variety of daily tasks. New advances in event-based tactile sensors and Spiking Neural Networks (SNNs) spur the research in event-driven tactile learning. However, SNN-enabled event-driven tactile learning is still in its infancy due to the limited representative abilities of existing spiking neurons and high spatio-temporal complexity in the data. In this paper, to improve the representative capabilities of existing spiking neurons, we propose a novel neuron model called "location spiking neuron", which enables us to extract features of event-based data in a novel way. Moreover, based on the classical Time Spike Response Model (TSRM), we develop a specific location spiking neuron model - Location Spike Response Model (LSRM) that serves as a new building block of SNNs. Furthermore, we propose a hybrid model which combines an SNN with TSRM neurons and an SNN with LSRM neurons to capture the complex spatio-temporal dependencies in the data. Extensive experiments demonstrate the significant improvements of our models over other works on event-driven tactile learning and show the superior energy efficiency of our models and location spiking neurons, which may unlock their potential on neuromorphic hardware.


title: Type-Directed Synthesis of Visualizations from Natural Language Queries

abstract: We propose a new technique based on program synthesis for automatically generating visualizations from natural language queries. Our method parses the natural language query into a refinement type specification using the intents-and-slots paradigm and leverages type-directed synthesis to generate a set of visualization programs that are most likely to meet the user's intent. Our refinement type system captures useful hints present in the natural language query and allows the synthesis algorithm to reject visualizations that violate well-established design guidelines for the input data set. We have implemented our ideas in a tool called Graphy and evaluated it on NLVCorpus, which consists of 3 popular datasets and over 700 real-world natural language queries. Our experiments show that Graphy significantly outperforms state-of-the-art natural-language-based visualization tools, including transformer and rule-based ones.


title: Transport dynamics study of laser-accelerated proton beams and design of double achromatic beam translation system

abstract: Proton beams generated from laser acceleration show merit for their unique spatial (micron-size) and temporal (picosecond) properties, which make them desirable for many potential applications. However, the large energy spread and divergence angle make it difficult to maintain these beam properties after delivery. This hinders the wide application of laser acceleration. In this paper, we design a double achromatic beam translation system (DABTS), based on weak-focusing magnets, to realize achromatic transmission in both the horizontal and vertical directions, and compress the bunch length of the delivered proton beam at the same time. We make use of fringe angles and special steering magnets to effectively reduce the influence of chromatic aberrations and high-order nonlinear terms and realize close to ideal point-to-point optics. We believe this work contributes to the ongoing effort to apply laser accelerators to a variety of fields.


title: When Bioprocess Engineering Meets Machine Learning: A Survey from the Perspective of Automated Bioprocess Development

abstract: Machine learning (ML) is becoming increasingly crucial in many fields of engineering but has not yet played out its full potential in bioprocess engineering. While experimentation has been accelerated by increasing levels of lab automation, experimental planning and data modeling are still largerly depend on human intervention. ML can be seen as a set of tools that contribute to the automation of the whole experimental cycle, including model building and practical planning, thus allowing human experts to focus on the more demanding and overarching cognitive tasks. First, probabilistic programming is used for the autonomous building of predictive models. Second, machine learning automatically assesses alternative decisions by planning experiments to test hypotheses and conducting investigations to gather informative data that focus on model selection based on the uncertainty of model predictions. This review provides a comprehensive overview of ML-based automation in bioprocess development. On the one hand, the biotech and bioengineering community should be aware of the potential and, most importantly, the limitation of existing ML solutions for their application in biotechnology and biopharma. On the other hand, it is essential to identify the missing links to enable the easy implementation of ML and Artificial Intelligence (AI) tools in valuable solutions for the bio-community.


title: Neighborhood-aware Scalable Temporal Network Representation Learning

abstract: Temporal networks have been widely used to model real-world complex systems such as financial systems and e-commerce systems. In a temporal network, the joint neighborhood of a set of nodes often provides crucial structural information useful for predicting whether they may interact at a certain time. However, recent representation learning methods for temporal networks often fail to extract such information or depend on online construction of structural features, which is time-consuming. To address the issue, this work proposes Neighborhood-Aware Temporal network model (NAT). For each node in the network, NAT abandons the commonly-used one-single-vector-based representation while adopting a novel dictionary-type neighborhood representation. Such a dictionary representation records a downsampled set of the neighboring nodes as keys, and allows fast construction of structural features for a joint neighborhood of multiple nodes. We also design a dedicated data structure termed N-cache to support parallel access and update of those dictionary representations on GPUs. NAT gets evaluated over seven real-world large-scale temporal networks. NAT not only outperforms all cutting-edge baselines by averaged 1.2% and 4.2% in transductive and inductive link prediction accuracy, respectively, but also keeps scalable by achieving a speed-up of 4.1-76.7x against the baselines that adopt joint structural features and achieves a speed-up of 1.6-4.0x against the baselines that cannot adopt those features. The link to the code: https: //github.com/Graph-COM/Neighborhood-Aware-Temporal-Network.


title: Notions of parametricity as monoidal models for type theory

abstract: This article gives a solid theoretical grounding to the observation that cubical structures arise naturally when working with parametricity. We claim that cubical models are cofreely parametric. We use categories, lex categories or clans as models of type theory. In this context we define notions of parametricity as monoidal models, and parametric models as modules. This covers not only the usual parametricity where any type comes with a relation, but also variants where it comes with a predicate, a reflexive relation, two relations, and many more. In this setting we prove that forgetful functors from parametric models to arbitrary ones have left and right adjoints. Moreover we give explicit compact descriptions for these freely and cofreely parametric models. Then we give many examples of notion of parametricity, allowing to build the following as cofreely parametric models: - Categories of cubical objects for any variant of cube. - Lex categories of truncated semi-cubical (or cubical with reflexivities only) objects. - Clans of Reedy fibrant semi-cubical (or cubical with reflexivities only) objects.


title: Perturbations not necessarily commutative

abstract: This paper treatises the preservation of some spectra under perturbations not necessarily commutative and generalizes several results which have been proved in the case of commuting operators.


title: On a conjecture of R. M. Murty and V. K. Murty II

abstract: Let $\omega^*(n)$ be the number of primes $p$ such that $p-1$ divides $n$. Assuming the Elliott--Halberstam Conjecture, we prove a conjecture posted by M. R. Murty and V. K. Murty in 2021 which states that $$\sum_{n\leqslant x}\omega^*(n)^2\sim 2\frac{\zeta(2)\zeta(3)}{\zeta(6)}x\log x, \quad \text{as} \quad x\rightarrow \infty.$$ The above sum was first investigated by Prachar in 1955. One of the key ingredients in our argument is the application of a sieve result on estimating various certain summations involving primes in arithmetic progressions, rather than a direct use of the Brun--Titchmarsh inequality which would not be applicable for our task.


title: Coulomb branches for quaternionic representations

abstract: I describe the \emph{Chiral rings} $R_{3,4}$ for $3$D, $N=4$ supersymmetric $G$-gauge theory and matter fields in quaternionic representations $E$: first, by a topological tweak of the construction of arxiv:1601.03586, and second, more explicitly, by Weyl group descent from the maximal torus. A topological obstruction is $w_4(E)$ modulo squares, for $R_3$; a secondary obstruction, from $\eta\cdot E$, may appear for $R_4$. Flatness over the Toda bases allows their calculation by reduction to $\mathrm{SU}_2$. For some representations, an Abelianization formula describes the $R$ in terms of the maximal torus and the Weyl group. This provides an alternative to a recent attempt arxiv:2201.09475.


title: Multiband effects in thermoelectric and electrical transport properties of kagome superconductors $A$V$_3$Sb$_5$ ($A$ = K, Rb, Cs)

abstract: We studied the effects of multiband electronic structure on the thermoelectric and electrical transport properties in the normal state of kagome superconductors $A$V$_3$Sb$_5$ ($A$ = K, Rb, Cs). In all three members, the multiband nature is manifested by sign changes in the temperature dependence of the Seebeck and Hall resistivity, together with sublinear response of the isothermal Nernst and Hall effects to external magnetic fields in the charge ordered state. Moreover, ambipolar transport effects appear ubiquitously in all three systems, giving rise to sizable Nernst signal. Finally, possible origins of the sign reversal in the temperature dependence of the Hall effect are discussed.


title: Pressure anomalies beneath solitary waves with constant vorticity

abstract: While some works have investigated the particle trajectories and stagnation points beneath solitary waves with constant vorticity, little is known about the pressure beneath such waves. To address this gap, we investigate numerically the pressure beneath solitary waves in flows with constant vorticity. Through a conformal mapping that flats the physical domain, we develop a numerical approach that allows to compute the pressure and the velocity field in the fluid domain. Our experiments indicate that there exists a threshold vorticity such that pressure anomalies and stagnation points occur when the intensity of the vorticity is greater than this threshold. Above this threshold the pressure on the bottom boundary has two points of local maxima and there are three stagnation points in the flow, and below it the pressure has one local maximum and there is no stagnation point.


title: Machine Learning Post-Minkowskian Integrals

abstract: We study a neural network framework for the numerical evaluation of Feynman loop integrals that are fundamental building blocks for perturbative computations of physical observables in gauge and gravity theories. We show that such a machine learning approach improves the convergence of the Monte Carlo algorithm for high-precision evaluation of multi-dimensional integrals compared to traditional algorithms. In particular, we use a neural network to improve the importance sampling. For a set of representative integrals appearing in the computation of the conservative dynamics for a compact binary system in General Relativity, we perform a quantitative comparison between the Monte Carlo integrators VEGAS and i-flow, an integrator based on neural network sampling.


title: Inference and dynamic decision-making for deteriorating systems with probabilistic dependencies through Bayesian networks and deep reinforcement learning

abstract: In the context of modern environmental and societal concerns, there is an increasing demand for methods able to identify management strategies for civil engineering systems, minimizing structural failure risks while optimally planning inspection and maintenance (I&M) processes. Most available methods simplify the I&M decision problem to the component level due to the computational complexity associated with global optimization methodologies under joint system-level state descriptions. In this paper, we propose an efficient algorithmic framework for inference and decision-making under uncertainty for engineering systems exposed to deteriorating environments, providing optimal management strategies directly at the system level. In our approach, the decision problem is formulated as a factored partially observable Markov decision process, whose dynamics are encoded in Bayesian network conditional structures. The methodology can handle environments under equal or general, unequal deterioration correlations among components, through Gaussian hierarchical structures and dynamic Bayesian networks. In terms of policy optimization, we adopt a deep decentralized multi-agent actor-critic (DDMAC) reinforcement learning approach, in which the policies are approximated by actor neural networks guided by a critic network. By including deterioration dependence in the simulated environment, and by formulating the cost model at the system level, DDMAC policies intrinsically consider the underlying system-effects. This is demonstrated through numerical experiments conducted for both a 9-out-of-10 system and a steel frame under fatigue deterioration. Results demonstrate that DDMAC policies offer substantial benefits when compared to state-of-the-art heuristic approaches. The inherent consideration of system-effects by DDMAC strategies is also interpreted based on the learned policies.


title: The Iterative Independent Model

abstract: Deterministic complex networks that use iterative generation algorithms have been found to more closely mirror properties found in real world networks than the traditional uniform random graph models. In this paper we introduce a new, Iterative Independent Model (IIM), generalizing previously defined models. These models use ideas from Structural Balance Theory to generate edges through a notion of cloning where ``the friend of my friend is my friend'' and anticloning where ``the enemy of my enemy is my friend''. In this paper, we vastly generalize these notions by allowing each vertex added at a given time step to choose independently of the other vertices if it will be cloned or anticloned. While it may seem natural to focus on a randomized model, where we randomly determine whether or not to clone any given vertex, we found the general deterministic model exhibited certain structural properties regardless of the probabilities. This allows applications to then explore the particulars, while having the theoretical model explain the structural phenomenons that occur in all possible scenarios. Throughout the paper we demonstrate that all IIM graphs have spectral gap bounded away from zero, which indicates the clustering properties also found in social networks. Furthermore, we show bounds on the diameter, domination number, and clique number further indicating the well clustered behaviour of IIM graphs. Finally, for any fixed graph $F$ all IIM graphs will eventually contain an induced copy of $F$.


title: Using aromas to search for preserved measures and integrals in Kahan's method

abstract: The numerical method of Kahan applied to quadratic differential equations is known to often generate integrable maps in low dimensions and can in more general situations exhibit preserved measures and integrals. Computerized methods based on discrete Darboux polynomials have recently been used for finding these measures and integrals. However, if the differential system contains many parameters, this approach can lead to highly complex results that can be difficult to interpret and analyze. But this complexity can in some cases be substantially reduced by using aromatic series. These are a mathematical tool introduced independently by Chartier and Murua and by Iserles, Quispel and Tse. We develop an algorithm for this purpose and derive some necessary conditions for the Kahan map to have preserved measures and integrals expressible in terms of aromatic functions. An important reason for the success of this method lies in the equivariance of the map from vector fields to their aromatic funtions. We demonstrate the algorithm on a number of examples showing a great reduction in complexity compared to what had been obtained by a fixed basis such as monomials.


title: Elastic-Degenerate String Matching with 1 Error

abstract: An elastic-degenerate string is a sequence of $n$ finite sets of strings of total length $N$, introduced to represent a set of related DNA sequences, also known as a pangenome. The ED string matching (EDSM) problem consists in reporting all occurrences of a pattern of length $m$ in an ED text. This problem has recently received some attention by the combinatorial pattern matching community, culminating in an $\tilde{\mathcal{O}}(nm^{\omega-1})+\mathcal{O}(N)$-time algorithm [Bernardini et al., SIAM J. Comput. 2022], where $\omega$ denotes the matrix multiplication exponent and the $\tilde{\mathcal{O}}(\cdot)$ notation suppresses polylog factors. In the $k$-EDSM problem, the approximate version of EDSM, we are asked to report all pattern occurrences with at most $k$ errors. $k$-EDSM can be solved in $\mathcal{O}(k^2mG+kN)$ time, under edit distance, or $\mathcal{O}(kmG+kN)$ time, under Hamming distance, where $G$ denotes the total number of strings in the ED text [Bernardini et al., Theor. Comput. Sci. 2020]. Unfortunately, $G$ is only bounded by $N$, and so even for $k=1$, the existing algorithms run in $\Omega(mN)$ time in the worst case. In this paper we show that $1$-EDSM can be solved in $\mathcal{O}((nm^2 + N)\log m)$ or $\mathcal{O}(nm^3 + N)$ time under edit distance. For the decision version, we present a faster $\mathcal{O}(nm^2\sqrt{\log m} + N\log\log m)$-time algorithm. We also show that $1$-EDSM can be solved in $\mathcal{O}(nm^2 + N\log m)$ time under Hamming distance. Our algorithms for edit distance rely on non-trivial reductions from $1$-EDSM to special instances of classic computational geometry problems (2d rectangle stabbing or 2d range emptiness), which we show how to solve efficiently. In order to obtain an even faster algorithm for Hamming distance, we rely on employing and adapting the $k$-errata trees for indexing with errors [Cole et al., STOC 2004].


title: Online geometric calibration of a hybrid CT system for ultrahigh-resolution imaging

abstract: A hybrid imaging system consisting of a standard CT scanner and a low-profile photon-counting detector insert in contact with the patient's body has been used to produce ultrahigh-resolution images in a limited volume in chest scans of patients. The detector insert is placed on the patient bed as needed and not attached. Thus, its position and orientation in the scanner is dependent on the patient's position and scan settings. To allow accurate image reconstruction, we devised a method of determining the relative geometry of the detector insert and the CT scanner for each scan using fiducial markers. This method uses an iterative registration algorithm to align the markers in the reconstructed volume from the detector insert to that of the concurrent CT scan. After obtaining precise geometric information of the detector insert relative to the CT scanner, the two complementary sets of images are summed together to create a detailed image with reduced artifacts.


title: Ultra-high-Q racetrack microring based on silicon-nitride

abstract: Ultra-high-Q resonators are fundamentally important to optics and microwave photonics. Up to now, it is still very challenging to boost the Q factor while maintaining a compact size for a resonator. Herein, we proposed and demonstrated an ultra-high-Q silicon-nitride (Si3N4) racetrack resonator with uniform multi-mode Si3N4 photonic waveguides. It consists of two multi-mode straight waveguides connected by two multi-mode waveguide bends (MWBs). In particular, the MWBs are based on modified Euler curves, and a multi-mode straight waveguide directional coupler is used for the fundamental mode coupling and avoid exciting higher-order modes in the racetrack. In this way, the fundamental mode is excited and propagates in the multi-mode racetrack resonator with ultra-low loss. Meanwhile, it helps to achieve a compact 180{\deg} bend to reduce the chip footprint. In this paper, the propagation loss of the fundamental mode is significantly reduced with standard fabrication process by broadening the waveguides width to as wide as 3{\mu}m. Results show that an ultra-high-Q resonator with an intrinsic Q of TE mode is 4.57*10^7, and the corresponding propagation loss of the waveguide is only 1.80 dB/m. To the best of our knowledge, this is the highest Q value of the ring resonator with only 2.226 mm ring length reported so far. The proposed ultra-high-Q Si3N4 resonator can be used to microwave photonic filters and optoelectronic oscillators with large operation bandwidth.


title: How Developers Extract Functions: An Experiment

abstract: Creating functions is at the center of writing computer programs. But there has been little empirical research on how this is done and what are the considerations that developers use. We design an experiment in which we can compare the decisions made by multiple developers under exactly the same conditions. The experiment is based on taking existing production code, "flattening" it into a single monolithic function, and then charging developers with the task of refactoring it to achieve a better design by extracting functions. The results indicate that developers tend to extract functions based on structural cues, such as 'if' or 'try' blocks. And while there are significant correlations between the refactorings performed by different developers, there are also significant differences in the magnitude of refactoring done. For example, the number of functions that were extracted was between 3 and 10, and the amount of code extracted into functions ranged from 37% to 95%.


title: Persistent Homology, Matroids and Cobordisms

abstract: The homological information about a filtered simplicial complex over the poset of positive real numbers is often presented by a barcode which depicts the evolution of the associated Betti numbers. However, there is a wonderfully complex combinatorics associated with the homology classes of a filtered complex, and one can do more than just counting them over the index poset. Here, we show that this combinatorial information can be encoded by filtered matroids, or even better, by rooted forests. We also show that these rooted forests can be realized as cobordisms.


title: Group Property Inference Attacks Against Graph Neural Networks

abstract: With the fast adoption of machine learning (ML) techniques, sharing of ML models is becoming popular. However, ML models are vulnerable to privacy attacks that leak information about the training data. In this work, we focus on a particular type of privacy attacks named property inference attack (PIA) which infers the sensitive properties of the training data through the access to the target ML model. In particular, we consider Graph Neural Networks (GNNs) as the target model, and distribution of particular groups of nodes and links in the training graph as the target property. While the existing work has investigated PIAs that target at graph-level properties, no prior works have studied the inference of node and link properties at group level yet. In this work, we perform the first systematic study of group property inference attacks (GPIA) against GNNs. First, we consider a taxonomy of threat models under both black-box and white-box settings with various types of adversary knowledge, and design six different attacks for these settings. We evaluate the effectiveness of these attacks through extensive experiments on three representative GNN models and three real-world graphs. Our results demonstrate the effectiveness of these attacks whose accuracy outperforms the baseline approaches. Second, we analyze the underlying factors that contribute to GPIA's success, and show that the target model trained on the graphs with or without the target property represents some dissimilarity in model parameters and/or model outputs, which enables the adversary to infer the existence of the property. Further, we design a set of defense mechanisms against the GPIA attacks, and demonstrate that these mechanisms can reduce attack accuracy effectively with small loss on GNN model accuracy.


title: The spectrum of the real line

abstract: Motivated by the study of persistence modules over the real line, we investigate the category of linear representations of a totally ordered set. We show that this category is locally coherent and we classify the indecomposable injective objects up to isomorphism. These classes form the spectrum, which we show to be homeomorphic to an ordered space. Moreover, as the spectral category turns out to be discrete, the spectrum parametrises all injective objects. Finally, for the case of the real line we show that this topology refines the topology induced by the interleaving distance, which is known from persistence homology.


title: On the existence of para-Kenmotsu manifolds

abstract: This note provides a quite obvious observation that the condition (2.7), which is a part of the original definition of the so-called para-Kenmotsu manifolds [9], does not make sense, and thus this concept is void. So, it is proved that the para-Kenmotsu manifolds does not exist under the condition mentioned above.


title: Production of $D^*_{s0}(2317)$ and $D_{s1}(2460)$ in $B$ decays as $D^{(*)}K$ and $D^{(*)}_s\eta$ molecules

abstract: The molecular nature of $D_{s0}^{\ast}(2317)$ and $D_{s1}(2460)$ have been extensively studied from the perspective of their masses, decay properties, and production rates. In this work, we study the weak decays of $B \to \bar{D}^{(\ast)}D_{s0}^{*}(2317)$ and $B \to \bar{D}^{(\ast)}D_{s1}(2460)$ by invoking triangle diagrams where the $B$ meson first decays weakly into $\bar{D}^{(\ast)}D_{s}^{(\ast)}$ and $J/\psi K$($\eta_{c}K$), and then the $D_{s0}^{\ast}(2317)$ and $D_{s1}(2460)$ are dynamically generated by the final-state interactions of $D_{s}^{(\ast)}\eta$ and $D^{(\ast)}K$ via exchanges of $\eta$ and $D^{(\ast)}$ mesons. The obtained absolute branching fractions of Br$[B \to \bar{D}^{(\ast)}D_{s0}^{*}(2317)]$ are in reasonable agreement with the experimental data, while the branching fractions of Br$[B \to \bar{D}^{(\ast)}D_{s1}(2460)]$ are smaller than the experimental central values by almost a factor of two to three. We tentatively attribute such a discrepancy to either reaction mechanisms missing in the present work or the likely existence of a relatively larger $c\bar{s}$ component in the $D_{s1}(2460)$ wave function.


title: Online calibration of a linear micro tomosynthesis scanner

abstract: In a linear tomosynthesis scanner designed for imaging histologic samples of several centimeter size at 10 micrometer resolution, the mechanical instability of the scanning stage (+/-10 micrometers) exceeded the resolution of the image system, making it necessary to determine the trajectory of the stage for each scan to avoid blurring and artifacts in the images that would arise from the errors in the geometric information used in 3D reconstruction. We present a method for online calibration by attaching a layer of randomly dispersed micro glass beads or calcium particles to the bottom of the sample stage. The marker layer was easy to produce and proven effective in the calibration procedure.


title: Data Encryption based on 7D Complex Chaotic System with Cubic Memristor for Smart Grid

abstract: The information security has an irreplaceable position in the smart grid (SG). In order to avoid the malicious attack and ensure the information security, the cryptographic techniques are essential. This paper focuses on the encryption techniques to ensure the information security of SG. Firstly, an unusual 7-dimensional complex chaotic system (7D-CCS) combined with the cubic memristor is introduced. Besides its phase portraits, Lyapunov exponent, 0-1 test, complexity, and bifurcation diagram are investigated. Then, with the proposed 7D-CCS, we design a data encryption algorithm to ensure the encryption security. Finally, the data and monitoring images in SG are encrypted by the designed encryption scheme. Besides, the encryption performance is given in detailed. The experimental results show that the proposed encryption scheme has quite good encryption performance. Therefore, it can ensure the information security of SG.


title: A New Aligned Simple German Corpus

abstract: "Leichte Sprache", the German counterpart to Simple English, is a regulated language aiming to facilitate complex written language that would otherwise stay inaccessible to different groups of people. We present a new sentence-aligned monolingual corpus for Simple German -- German. It contains multiple document-aligned sources which we have aligned using automatic sentence-alignment methods. We evaluate our alignments based on a manually labelled subset of aligned documents. The quality of our sentence alignments, as measured by F1-score, surpasses previous work. We publish the dataset under CC BY-SA and the accompanying code under MIT license.


title: Early dark energy by dark Higgs, and axion-induced non-thermal trapping

abstract: We propose a new scenario of early dark energy (EDE) with a dark Higgs trapped at the origin. To keep this dark Higgs trapped until around the matter-radiation equality, we use dark photons produced non-thermally by coherent oscillations of axions, which have a much stronger trapping effect than thermal mass. When the trapping ends, the dark Higgs quickly decays into dark photons, which are then red-shifted as radiation. The dark Higgs EDE scenario works well for an ordinary Mexican-hat potential, and the dark Higgs naturally sits at the origin from the beginning, since it is the symmetry-enhanced point. Thus, unlike the axion EDE, there is no need for elaborate potentials or fine-tuning with respect to the initial condition. Interestingly, the axion not only produces dark photons, but also explains dark matter. We find the viable parameter region of the axion decay constant and the axion mass where dark matter and the $H_0$ tension can be simultaneously explained. We also discuss the detectability of the axion in the presence of axion-photon coupling, and show that the axion can be the QCD axion.