title: Path Transitions Tell More:Optimizing Fuzzing Schedules via Runtime Program States

abstract: Coverage-guided Greybox Fuzzing (CGF) is one of the most successful and widely-used techniques for bug hunting. Two major approaches are adopted to optimize CGF: (i) to reduce search space of inputs by inferring relationships between input bytes and path constraints; (ii) to formulate fuzzing processes (e.g., path transitions) and build up probability distributions to optimize power schedules, i.e., the number of inputs generated per seed. However, the former is subjective to the inference results which may include extra bytes for a path constraint, thereby limiting the efficiency of path constraints resolution, code coverage discovery, and bugs exposure; the latter formalization, concentrating on power schedules for seeds alone, is inattentive to the schedule for bytes in a seed. In this paper, we propose a lightweight fuzzing approach, Truzz, to optimize existing Coverage-guided Greybox Fuzzers (CGFs). To address two aforementioned challenges, Truzz identifies the bytes related to the validation checks (i.e., the checks guarding error-handling code), and protects those bytes from being frequently mutated, making most generated inputs examine the functionalities of programs, in lieu of being rejected by validation checks. The byte-wise relationship determination mitigates the problem of loading extra bytes when fuzzers infer the byte-constraint relation. Furthermore, the proposed path transition within Truzz can efficiently prioritize the seed as the new path, harvesting many new edges, and the new path likely belongs to a code region with many undiscovered code lines. The experimental results show that on average, Truzz can generate 16.14% more inputs flowing into functional code, in addition to 24.75% more new edges than the vanilla fuzzers. Finally, our approach exposes 13 bugs in 8 target programs, and 6 of them have not been identified by the vanilla fuzzers.


title: Testing alternative theories of gravity by fitting the hot-spot data of Sgr A*

abstract: We are fitting dynamics of electrically neutral hot-spot orbiting around Sgr A* source in Galactic center, represented by various modifications of the standard Kerr black hole (BH), to the three flares observed by the GRAVITY instrument on May 27, July 22, July 28, 2018. We consider stationary, axisymmetric and asymptotically flat spacetimes describing charged BHs in general relativity (GR) combined with non-linear electrodynamics, or reflecting influence of dark matter (DM), or in so called parameterized dirty Kerr spacetimes. We distinguish the spacetimes having different orbital frequencies from the standard Kerr BH, and test various BH spacetimes using the hot-spot data. We show that the orbital frequencies and positions of the hot-spots orbiting the considered BHs, fit the observed positions and periods of the flare orbits and give relevant constrains on the parameters of the considered BH spacetimes and the gravity or other theories behind such modified spacetimes.


title: On Hadamard powers of positive semi-definite matrices

abstract: Consider the set of scalars $\alpha$ for which the $\alpha$th Hadamard power of any $n\times n$ positive semi-definite (p.s.d.) matrix with non-negative entries is p.s.d. It is known that this set is of the form $\{0, 1, \dots, n-3\}\cup [n-2, \infty)$. A natural question is "what is the possible form of the set of such $\alpha$ for a fixed p.s.d. matrix with non-negative entries?". In all examples appearing in the literature, the set turns out to be union of a finite set and a semi-infinite interval. In this article, examples of matrices are given for which the set consists of a finite set and more than one disjoint interval of positive length. In fact, it is proved that for some matrices, the number of such disjoint intervals can be made arbitrarily large by taking $n$ large. The case when the entries of the matrices are not necessarily non-negative is also considered.


title: Particle ratios with in Hadron Resonance Gas (HRG) and Artificial Neural Network (ANN) models

abstract: Comparison between various particle ratios such as $K^-/K^+$, $\pi^-/\pi^+$, $\bar{p}/p$, $\bar{\Lambda}/\Lambda$, $\bar{\Sigma}/\Sigma$, $ \bar{\Omega}/\Omega$, $K^+/\pi^+$, $K^-/\pi^-$, $\bar{p}/\pi^-$, $p/\pi^-$, $\Lambda/\pi^-$, and $\Omega/\pi^-$ calculated using the HRG model with the results estimated from simulation and training of the ANN model in the presence of different experiments measurements such as AGS, SPS, RHIC and LHC energies is done. The success of ANN simulation model to describe the results from both phonological (HRG) model and experimental data will encourage to use it in various predictions for other particle ratios in regions where is no experiments.


title: Exact Solutions for Solitary Waves in a Bose-Einstein Condensate under the Action of a Four-Color Optical Lattice

abstract: We address dynamics of Bose-Einstein condensates (BECs) loaded into a one-dimensional four-color optical lattice (FOL) potential with commensurate wavelengths and tunable intensities. This configuration lends system-specific symmetry properties. The analysis identifies specific multi-parameter forms of the FOL potential which admits exact solitary-wave solutions. This newly found class of potentials includes more particular species, such as frustrated double-well superlattices, and bi-chromatic and three-color lattices, which are subject to respective symmetry constraints. Our exact solutions provide options for controllable positioning of density maxima of the localized patterns, and tunable Anderson-like localization in the frustrated potential. A numerical analysis is performed to establish dynamical stability and structural stability of the obtained solutions, which makes them relevant for experimental realization. The newly found solutions offer applications to the design of schemes for quantum simulations and processing quantum information.


title: On the interaction of the Coxeter transformation and the rowmotion bijection

abstract: Let $P$ be a finite poset and $L$ the associated distributive lattice of order ideals of $P$. Let $\rho$ denote the rowmotion bijection of the order ideals of $P$ viewed as a permutation matrix and $C$ the Coxeter matrix for the incidence algebra $kL$ of $L$. Then we show the identity $(\rho^{-1} C)^2=id$, as was originally conjectured by Sam Hopkins. Recently it was noted that the rowmotion bijection is a special case of the much more general grade bijection $R$ that exists for any Auslander regular algebra. This motivates to study the interaction of the grade bijection and the Coxeter matrix for general Auslander regular algebras. For the class of higher Auslander algebras coming from $n$-representation finite algebras we show that $(R^{-1} C)^2=id$ if $n$ is even and $(R^{-1}C+id)^2=0$ when $n$ is odd.


title: Floquet multipliers and the stability of periodic linear differential equations: a unified algorithm and its computer realization

abstract: Floquet multipliers (characteristic multipliers) play significant role in the stability of the periodic equations. Based on the iterative method, we provide a unified algorithm to compute the Floquet multipliers (characteristic multipliers) and determine the stability of the periodic linear differential equations on time scales unifying discrete, continuous, and hybrid dynamics. Our approach is based on calculating the value of A and B (see Theorem 3.1), which are the sum and product of all Floquet multipliers (characteristic multipliers) of the system, respectively. We obtain an explicit expression of A (see Theorem 4.1) by the method of variation and approximation theory and an explicit expression of B by Liouville's formula. Furthermore, a computer program is designed to realize our algorithm. Specifically, you can determine the stability of a second order periodic linear system, whether they are discrete, continuous or hybrid, as long as you enter the program codes associated with the parameters of the equation. In fact, few literatures have dealt with the algorithm to compute the Floquet multipliers, not mention to design the program for its computer realization. Our algorithm gives the explicit expressions of all Floquet multipliers and our computer program is based on the approximations of these explicit expressions. In particular, on an arbitrary discrete periodic time scale, we can do a finite number of calculations to get the explicit value of Floquet multipliers (see Theorem 4.2). Therefore, for any discrete periodic system, we can accurately determine the stability of the system even without computer! Finally, in Section 6, several examples are presented to illustrate the effectiveness of our algorithm.


title: One-particle irreducible Wilson action in the gradient flow exact renormalization group formalism

abstract: We define a one-particle irreducible (1PI) Wilson action in the gradient flow exact renormalization group (GFERG) formalism as the Legendre transform of a Wilson action. We consider quantum electrodynamics in particular, and show that the GFERG flow equation preserves the invariance of the 1PI Wilson action (excluding the gauge-fixing term) under the \emph{conventional\/} $U(1)$ gauge transformation. This is in contrast to the invariance of the original Wilson action under a modified $U(1)$ gauge transformation. The global chiral transformation also takes the \emph{conventional\/} form for the 1PI Wilson action. Despite the complexity of the GFERG flow equation, the conventional form of the gauge and global chiral transformations may allow us to introduce a non-perturbative Ansatz for gauge and chiral invariant 1PI Wilson actions.


title: Intra-domain and cross-domain transfer learning for time series data -- How transferable are the features?

abstract: In practice, it is very demanding and sometimes impossible to collect datasets of tagged data large enough to successfully train a machine learning model, and one possible solution to this problem is transfer learning. This study aims to assess how transferable are the features between different domains of time series data and under which conditions. The effects of transfer learning are observed in terms of predictive performance of the models and their convergence rate during training. In our experiment, we use reduced data sets of 1,500 and 9,000 data instances to mimic real world conditions. Using the same scaled-down datasets, we trained two sets of machine learning models: those that were trained with transfer learning and those that were trained from scratch. Four machine learning models were used for the experiment. Transfer of knowledge was performed within the same domain of application (seismology), as well as between mutually different domains of application (seismology, speech, medicine, finance). We observe the predictive performance of the models and the convergence rate during the training. In order to confirm the validity of the obtained results, we repeated the experiments seven times and applied statistical tests to confirm the significance of the results. The general conclusion of our study is that transfer learning is very likely to either increase or not negatively affect the predictive performance of the model or its convergence rate. The collected data is analysed in more details to determine which source and target domains are compatible for transfer of knowledge. We also analyse the effect of target dataset size and the selection of model and its hyperparameters on the effects of transfer learning.


title: Biaffine Discourse Dependency Parsing

abstract: We provide a study of using the biaffine model for neural discourse dependency parsing and achieve significant performance improvement compared with the baseline parsers. We compare the Eisner algorithm and the Chu-Liu-Edmonds algorithm in the task and find that using the Chu-Liu-Edmonds algorithm generates deeper trees and achieves better performance. We also evaluate the structure of the output of the parser with average maximum path length and average proportion of leaf nodes and find that the dependency trees generated by the parser are close to the gold trees. As the corpus allows non-projective structures, we analyze the complexity of non-projectivity of the corpus and find that the dependency structures in this corpus have gap degree at most one and edge degree at most one.


title: Ghost dynamics from Schwinger-Dyson equations

abstract: We discuss the coupled dynamics of the ghost dressing function and the ghost-gluon vertex through the Schwinger-Dyson equations that they satisfy. In order to close the system of equations, we combine recent lattice data for the gluon propagator and an approximate STI-derived Ansatz for the general kinematics three-gluon vertex. The numerical solution of the resulting coupled system exhibits excellent agreement to lattice data, for both the ghost dressing function and the ghost-gluon vertex, and allows the determination of the coupling constant. Next, in the soft gluon limit the full three-gluon vertex appearing in the ghost-gluon equation reduces to a special projection that is tightly constrained by lattice simulations. Specializing the ghost-gluon Schwinger-Dyson equation to this limit provides a nontrivial consistency check on the approximations employed for the three-gluon interaction and shows that the latter has an important quantitative effect on the ghost-gluon vertex. Finally, our results stress the importance of eliminating artifacts when confronting lattice data with continuum predictions.


title: Machine-learning-aided Massive Hybrid Analog and Digital MIMO DOA Estimation for Future Wireless Networks

abstract: Due to a high spatial angle resolution and low circuit cost of massive hybrid analog and digital (HAD) multiple-input multiple-output (MIMO), it is viewed as a valuable green communication technology for future wireless networks. Combining a massive HAD-MIMO with direction of arrival (DOA) will provide a high-precision even ultra-high-precision DOA measurement performance approaching the fully-digital (FD) MIMO. However, phase ambiguity is a challenge issue for a massive HAD-MIMO DOA estimation. In this paper, we review three aspects: detection, estimation, and Cramer-Rao lower bound (CRLB) with low-resolution ADCs at receiver. First, a multi-layer-neural-network (MLNN) detector is proposed to infer the existence of passive emitters. Then, a two-layer HAD (TLHAD) MIMO structure is proposed to eliminate phase ambiguity using only one-snapshot. Simulation results show that the proposed MLNN detector is much better than both the existing generalized likelihood ratio test (GRLT) and the ratio of maximum eigen-value (Max-EV) to minimum eigen-value (R-MaxEV-MinEV) in terms of detection probability. Additionally, the proposed TLHAD structure can achieve the corresponding CRLB using single snapshot.


title: Obstacle avoidance for blind people using a 3D camera and a haptic feedback sleeve

abstract: Navigation and obstacle avoidance are some of the hardest tasks for the visually impaired. Recent research projects have proposed technological solutions to tackle this problem. So far most systems fail to provide multidimensional feedback while working under various lighting conditions. We present a novel obstacle avoidance system by combining a 3D camera with a haptic feedback sleeve. Our system uses the distance information of the camera and maps it onto a 2D vibration array on the forearm. In our functionality tests of the haptic feedback sleeve, users were able to correctly identify and localize 98,6% of single motor vibration patterns and 70% of multidirectional and multi-motor vibration patterns. The combined obstacle avoidance system was evaluated on a testing route in the dark, simulating a navigation task. All users were able to complete the task and showed performance improvement over multiple runs. The system is independent of lighting conditions and can be used indoors and outdoors. Therefore, the obstacle avoidance system demonstrates a promising approach towards using technology to enable more independence for the visually impaired.


title: Fourier expansions of vector-valued automorphic functions with non-unitary twists

abstract: We provide Fourier expansions of vector-valued eigenfunctions of the hyperbolic Laplacian that are twist-periodic in a horocycle direction. The twist may be given by any endomorphism of a finite-dimensional vector space; no assumptions on invertibility or unitarity are made. Examples of such eigenfunctions include vector-valued twisted automorphic forms of Fuchsian groups. We further provide a detailed description of the Fourier coefficients and explicitly identify each of their constituents, which intimately depend on the eigenvalues of the twisting endomorphism and the size of its Jordan blocks. In addition, we determine the growth properties of the Fourier coefficients.


title: SLISEMAP: Supervised dimensionality reduction through local explanations

abstract: Existing methods for explaining black box learning models often focus on building local explanations of model behaviour for a particular data item. It is possible to create global explanations for all data items, but these explanations generally have low fidelity for complex black box models. We propose a new supervised manifold visualisation method, SLISEMAP, that simultaneously finds local explanations for all data items and builds a (typically) two-dimensional global visualisation of the black box model such that data items with similar local explanations are projected nearby. We provide a mathematical derivation of our problem and an open source implementation implemented using the GPU-optimised PyTorch library. We compare SLISEMAP to multiple popular dimensionality reduction methods and find that SLISEMAP is able to utilise labelled data to create embeddings with consistent local white box models. We also compare SLISEMAP to other model-agnostic local explanation methods and show that SLISEMAP provides comparable explanations and that the visualisations can give a broader understanding of black box regression and classification models.


title: A collision model for DNS with ellipsoidal particles in viscous fluid

abstract: The article proposes an algorithm to model the collision between arbitrary ellipsoids in viscous fluid. It is composed of several steps, each improving upon the standard procedure employed in the current literature. First, an efficient contact detection algorithm is presented. Then, the semi-implicit Immersed Boundary Method of Tschisgale et al. (2018) is enhanced by the collision forces using the hard-sphere approach, so that the resulting model accounts for fluid forces throughout the entire collision process. Additionally, a new lubrication model is proposed that applies a constant lubrication force in the region where hydrodynamic forces are not resolved by the spatial grid. The new collision model is validated against benchmark test cases of particle wall collisions with excellent agreement. Furthermore, the collision of an ellipsoidal particle with a wall is investigated. The normal restitution coefficient in the case of ellipsoidal particles does not solely depend upon the Stokes number as in the case of spherical particles but is also a function of its shape, and the orientation before the collision. Using the new model, the effect of these parameters on the rebound trajectory is studied. It is found that the maximum normal restitution coefficient decreases significantly as the flatness of the particle increases. Also, the coefficient of restitution depends on the particle orientation, a tendency increasing with particle flatness. >>>>>>>>>>>>>>> Note, that the distance algorithm described in the paper is subject of a Corrigendum: https://www.sciencedirect.com/science/article/pii/S0301932222000313/pdfft?md5=1c1b8e790efdc6785c47297d89906fe6&pid=1-s2.0-S0301932222000313-main.pdf <<<<<<<<<<<<<<<


title: Half-Trek Criterion for Identifiability of Latent Variable Models

abstract: We consider linear structural equation models with latent variables and develop a criterion to certify whether the direct causal effects between the observable variables are identifiable based on the observed covariance matrix. Linear structural equation models assume that both observed and latent variables solve a linear equation system featuring stochastic noise terms. Each model corresponds to a directed graph whose edges represent the direct effects that appear as coefficients in the equation system. Prior research has developed a variety of methods to decide identifiability of direct effects in a latent projection framework, in which the confounding effects of the latent variables are represented by correlation among noise terms. This approach is effective when the confounding is sparse and effects only small subsets of the observed variables. In contrast, the new latent-factor half-trek criterion (LF-HTC) we develop in this paper operates on the original unprojected latent variable model and is able to certify identifiability in settings, where some latent variables may also have dense effects on many or even all of the observables. Our LF-HTC is an effective sufficient criterion for rational identifiability, under which the direct effects can be uniquely recovered as rational functions of the joint covariance matrix of the observed random variables. When restricting the search steps in LF-HTC to consider subsets of latent variables of bounded size, the criterion can be verified in time that is polynomial in the size of the graph.


title: Diagnosing BERT with Retrieval Heuristics

abstract: Word embeddings, made widely popular in 2013 with the release of word2vec, have become a mainstay of NLP engineering pipelines. Recently, with the release of BERT, word embeddings have moved from the term-based embedding space to the contextual embedding space -- each term is no longer represented by a single low-dimensional vector but instead each term and \emph{its context} determine the vector weights. BERT's setup and architecture have been shown to be general enough to be applicable to many natural language tasks. Importantly for Information Retrieval (IR), in contrast to prior deep learning solutions to IR problems which required significant tuning of neural net architectures and training regimes, "vanilla BERT" has been shown to outperform existing retrieval algorithms by a wide margin, including on tasks and corpora that have long resisted retrieval effectiveness gains over traditional IR baselines (such as Robust04). In this paper, we employ the recently proposed axiomatic dataset analysis technique -- that is, we create diagnostic datasets that each fulfil a retrieval heuristic (both term matching and semantic-based) -- to explore what BERT is able to learn. In contrast to our expectations, we find BERT, when applied to a recently released large-scale web corpus with ad-hoc topics, to \emph{not} adhere to any of the explored axioms. At the same time, BERT outperforms the traditional query likelihood retrieval model by 40\%. This means that the axiomatic approach to IR (and its extension of diagnostic datasets created for retrieval heuristics) may in its current form not be applicable to large-scale corpora. Additional -- different -- axioms are needed.


title: Synchronization of Small-scale Magnetic Features, Blinkers, and Coronal Bright Points

abstract: We investigate the relationship between different transients such as blinkers detected in images taken at 304~{\AA}, extreme ultraviolet coronal bright points (ECBPs) at 193~{\AA}, X-ray coronal bright points (XCBPs) at 94~{\AA} on AIA, and magnetic features observed by HMI during ten years of solar cycle 24. An automatic identification method is applied to detect transients, and the YAFTA algorithm is used to extract the magnetic features. Using ten years of data, we detect in total 7,483,827 blinkers, 2,082,162 ECBPs, and 1,188,839 XCBPs, respectively, with their birthrate of about $1.1\times10^{-18}$ ${\rm m}^{-2}{\rm s}^{-1}$, $3.8\times10^{-19}$ ${\rm m}^{-2}{\rm s}^{-1}$, and $1.5\times10^{-19}$ ${\rm m}^{-2}{\rm s}^{-1}$. We find that about 80\% of blinkers are observed at the boundaries of supergranules, and 57\% (34\%) are associated with ECBPs (XCBPs). We further find that about 61{--}80\% of transients are associated with the isolated magnetic poles in the quiet Sun and that \textbf{the normalized maximum intensities of the transients are correlated with photospheric magnetic flux of poles} via a power law. These results conspicuously show that these transients have a magnetic origin and their synchronized behavior provides further clues towards the understanding of the coupling among the different layers of the solar atmosphere. Our study further reveals that the appearance of these transients is strongly anti-correlated with the sunspots cycle. This finding can be relevant for a better understanding of solar dynamo and magnetic structures at different scales during the solar cycle.


title: Comparison of the Symmetric Hyperbolic Thermodynamically Compatible framework with Hamiltonian mechanics of binary mixtures

abstract: How to properly describe continuum thermodynamics of binary mixtures where each constituent has its own momentum? The Symmetric Hyperbolic Thermodynamically Consistent (SHTC) framework and Hamiltonian mechanics in the form of the General Equation for Non-Equilibrium Reversible-Irreversible Coupling (GENERIC) provide two answers, which are similar but not identical, and are compared in this article. They are compared both analytically and numerically on several levels of description, varying in the amount of detail. The GENERIC equations, stemming from the Liouville equation, contain terms expressing self-advection of the relative velocity by itself, which lead to a vorticity-dependent diffusion matrix after a reduction. The SHTC equations, on the other hand, do not contain such terms. We also show how to formulate a theory of mixtures with two momenta and only one temperature that is compatible with the Liouville equation and possesses the Hamiltonian structure, including Jacobi identity.


title: Blackbox Post-Processing for Multiclass Fairness

abstract: Applying standard machine learning approaches for classification can produce unequal results across different demographic groups. When then used in real-world settings, these inequities can have negative societal impacts. This has motivated the development of various approaches to fair classification with machine learning models in recent years. In this paper, we consider the problem of modifying the predictions of a blackbox machine learning classifier in order to achieve fairness in a multiclass setting. To accomplish this, we extend the 'post-processing' approach in Hardt et al. 2016, which focuses on fairness for binary classification, to the setting of fair multiclass classification. We explore when our approach produces both fair and accurate predictions through systematic synthetic experiments and also evaluate discrimination-fairness tradeoffs on several publicly available real-world application datasets. We find that overall, our approach produces minor drops in accuracy and enforces fairness when the number of individuals in the dataset is high relative to the number of classes and protected groups.


title: Chaos and order in event-triggered control

abstract: Event-triggered control (ETC) is claimed to provide enormous reductions in sampling frequency when compared to periodic sampling, but little is formally known about its generated traffic. This work shows that ETC can exhibit very complex, even chaotic traffic, especially when the triggering condition is aggressive in reducing communications. First, we characterize limit traffic patterns by observing invariant lines and planes through the origin, as well as their attractivity. Then, we present abstraction-based methods to compute limit metrics, such as limit average and limit inferior inter-sample time (IST) of periodic ETC (PETC), with considerations to the robustness of such metrics, as well as measuring the emergence of chaos. The methodology and tools allow us to find ETC examples that provably outperform periodic sampling in terms of average IST. In particular for PETC, we prove that this requires aperiodic or chaotic traffic.


title: Rigid Differentially Closed Fields

abstract: Using ideas from geometric stability theory we construct differentially closed fields with no non-trivial automorphisms.


title: Microscopic probe of magnetic polarons in antiferromagnetic Eu$_{5}$In$_{2}$Sb$_{6}$

abstract: Colossal magnetoresistance (CMR) emerges from intertwined spin and charge degrees of freedom in the form of ferromagnetic clusters also known as trapped magnetic polarons. As a result, CMR is rarely observed in antiferromagnetic materials. Here we use electron spin resonance (ESR) to reveal microscopic evidence for the formation of magnetic polarons in antiferromagnetic Eu$_{5}$In$_{2}$Sb$_{6}$. First, we observe a reduction of the Eu$^{2+}$ ESR linewidth as a function of the applied magnetic field consistent with ferromagnetic clusters that are antiferromagnetically coupled. Additionally, the Eu$^{2+}$ lineshape changes markedly below T' ~ 200 K, a temperature scale that coincides with the onset of CMR. The combination of these two effects provide strong evidence that magnetic polarons grow in size below T' and start influencing the macroscopic properties of the system.


title: Homotopy ribbon discs with a fixed group

abstract: In the topological category, the classification of homotopy ribbon discs is known when the fundamental group $G$ of the exterior is $\mathbb{Z}$ and the Baumslag-Solitar group $BS(1,2)$. We prove that if a group $G$ is geometrically $2$-dimensional and satisfies the Farrell-Jones conjecture, then a condition involving the fundamental group ensures that exteriors of aspherical homotopy ribbon discs with fundamental group $G$ are s-cobordant rel.\ boundary. When $G$ is good, this leads to the classification of such discs. As an application, for any knot $J \subset S^3$ whose knot group $G(J)$ is good, we classify the homotopy ribbon discs for $J \# -J$ whose complement has group $G(J)$. A similar application is obtained for $BS(m,n)$ when $|m-n|=1$.


title: Random Schr\"odinger operators with complex decaying potentials

abstract: We prove that the eigenvalues of a continuum random Schr\"odinger operator $-\Delta+ V_{\omega}$ of Anderson type, with complex decaying potential, can be bounded (with high probability) in terms of an $L^q$ norm of the potential for all $q\leq d+1$. This shows that in the random setting, the exponent $q$ can be essentially doubled compared to the deterministic bounds of Frank (Bull. Lond. Math. Soc., 2011). This improvement is based on ideas of Bourgain (Discrete Contin. Dyn. Syst., 2002) related to almost sure scattering for lattice Schr\"odinger operators.


title: How Does Data Corruption Affect Natural Language Understanding Models? A Study on GLUE datasets

abstract: A central question in natural language understanding (NLU) research is whether high performance demonstrates the models' strong reasoning capabilities. We present an extensive series of controlled experiments where pre-trained language models are exposed to data that have undergone specific corruption transformations. These involve removing instances of specific word classes and often lead to non-sensical sentences. Our results show that performance remains high on most GLUE tasks when the models are fine-tuned or tested on corrupted data, suggesting that they leverage other cues for prediction even in non-sensical contexts. Our proposed data transformations can be used to assess the extent to which a specific dataset constitutes a proper testbed for evaluating models' language understanding capabilities.


title: An XMM-Newton catalogue of BL Lacs

abstract: We present an XMM-Newton catalogue of BL Lac X-ray, optical, and UV properties based on cross-correlation with the 1151 BL Lacs listed in the fifth edition of the Roma-BZCAT. We searched for the X-ray counterparts to these objects in the field of view of all pointed observations in the XMM-Newton archive over nearly 20 years of mission. The cross-correlation yields a total of 310 XMM-Newton fields which correspond to 103 different BL Lacs. We homogeneously analysed data from the three EPIC cameras (X-ray) and OM(optical/UV) using the XMM-Newton SAS software, and produced images, light curves, and spectral products for BL Lacs detected in any of the three EPIC cameras. We tested two different phenomenological models, log parabola and power law, with different variations of the absorbing column density and extracted their parameters. We derived time-variability information from the light curves following well-established statistical methods and quantified variability through statistical indicators. OM magnitudes and fluxes were computed wherever possible. We see that the log parabola model is preferred over the power law model for sources showing higher fluxes, which might indicate that curvature is intrinsic to BL Lacs and is only seen when the flux is high. We present the results of our analysis as a catalogue of X-ray spectral properties of the sample in the 0.2-10 keV energy band as well as in the optical/UV band. We complete the catalogue with multi-wavelength information at radio and gamma-ray energies.


title: Optimal Best Arm Identification in Two-Armed Bandits with a Fixed Budget under a Small Gap

abstract: We consider fixed-budget best-arm identification in two-armed Gaussian bandit problems. One of the longstanding open questions is the existence of an optimal strategy under which the probability of misidentification matches a lower bound. We show that a strategy following the Neyman allocation rule (Neyman, 1934) is asymptotically optimal when the gap between the expected rewards is small. First, we review a lower bound derived by Kaufmann et al. (2016). Then, we propose the "Neyman Allocation (NA)-Augmented Inverse Probability weighting (AIPW)" strategy, which consists of the sampling rule using the Neyman allocation with an estimated standard deviation and the recommendation rule using an AIPW estimator. Our proposed strategy is optimal because the upper bound matches the lower bound when the budget goes to infinity and the gap goes to zero.


title: Spectroastrometry and Reverberation Mapping: the Mass and Geometric Distance of the Supermassive Black Hole in the Quasar 3C 273

abstract: The quasar 3C 273 has been observed with infrared spectroastrometry (SA) on broad Pa$\alpha$ line and optical reverberation mapping (RM) on broad H$\beta$ line. SA delivers information about the angular size and structure of the Pa$\alpha$ broad-line region (BLR), while RM delivers information about the physical size and structure of the H$\beta$ BLR. Based on the fact that the two BLRs share the mass of the supermassive black hole (SMBH) and viewing inclination, a combination of SA and velocity-resolved RM (SARM) thereby allows us to simultaneously determine the SMBH mass and geometric distance through dynamically modeling the two BLRs. We construct a suite of dynamical models with different geometric configurations and apply a Bayesian approach to obtain the parameter inferences. Overall the obtained masses and distances are insensitive to specific BLR configurations but more or less depend on parameterizations of the vertical distributions. The most probable model, chosen in light of the Bayes factor, yields an angular-size distance of $\log\,(D_{\rm A}/{\rm Mpc}) = 2.83_{-0.28}^{+0.32}$ and SMBH mass of $\log\,(M_\bullet/M_\odot)=9.06_{-0.27}^{+0.21}$, which agrees with the relationships between SMBH masses and bulge properties. The BLRs have an inclination of $5_{-1}^{+1}$ degrees, consistent with that of the large-scale jet in 3C 273. Our approach reinforces the capability of SARM analysis to measure SMBH mass and distance of AGNs even though SA and RM observations are undertaken with different emission lines and/or in different periods.


title: Implementation of FGPA based Channel Sounder for Large scale antenna systems using RFNoC on USRP Platform

abstract: This paper concentrates on building a multi-antenna FPGA based Channel Sounder with single transmitter and multiple receivers to realize wireless propagation characteristics of an indoor environment. A DSSS signal (spread with a real maximum length PN sequence) is transmitted, which is correlated with the same PN sequence at each receiver to obtain the power delay profile . Multiple power delay profiles are averaged and the result is then sent to host. To utilize high bandwidth, the computationally expensive tasks related to generation and parallel correlation of PN sequences are moved to the FPGA present in each USRP (Universal Software Radio Peripheral). Channel sounder blocks were built using Vivado HLS and integrated with RFNoC (RF Network on Chip) framework, which were then used on USRP X310 devices.


title: Numerical and Experimental Characterization of LoRa-Based Helmet-to-Unmanned Aerial Vehicle Links on Flat Lands: A Numerical-Statistical Approach to Link Modeling

abstract: The use of the LoRa communication protocol in a new generation of transceivers is attractive for search and rescue(SaR) procedures because they can operate in harsh environmentscovering vast areas while maintaining a low power consumption.The possibility of wearing helmets equipped with LoRa-radiosand installing LoRa transceivers in unmanned aerial vehicles (UAVs) will accelerate the localization of the targets, probably unconscious. In this paper, the achievable communication ranges of such links are theoretically and experimentally evaluated by considering the possible positions of the helmet wearer (standing or lying) on a flat field, representing a simple SaR scenario.Simulations and experimental tests demonstrated that, for the standing position, the ground-bounce multi-path produces strong fluctuations of the received power versus the Tx-Rx distances. Such fluctuations can be kept confined within 100 m from the target by lowering the UAV altitude. Instead, for a more critical lying position, the received power profile is monotonic and nearly insensitive to the posture. For all the considered cases, the signal emitted by the body-worn transceiver can be exploited to localize the helmet wearer based on its strength, and it is theoretically detectable by the UAV radio up to 5 km on flat terrain.


title: Globally Optimal Multi-Scale Monocular Hand-Eye Calibration Using Dual Quaternions

abstract: In this work, we present an approach for monocular hand-eye calibration from per-sensor ego-motion based on dual quaternions. Due to non-metrically scaled translations of monocular odometry, a scaling factor has to be estimated in addition to the rotation and translation calibration. For this, we derive a quadratically constrained quadratic program that allows a combined estimation of all extrinsic calibration parameters. Using dual quaternions leads to low run-times due to their compact representation. Our problem formulation further allows to estimate multiple scalings simultaneously for different sequences of the same sensor setup. Based on our problem formulation, we derive both, a fast local and a globally optimal solving approach. Finally, our algorithms are evaluated and compared to state-of-the-art approaches on simulated and real-world data, e.g., the EuRoC MAV dataset.


title: Finite Size Effects from General Covariance and Weyl Anomaly

abstract: By exploiting the diffeomorphism invariance we relate the finite size effects of massless theories to their Weyl anomaly. We show that the universal contributions to the finite size effects are determined by certain coefficient functions in the heat kernel expansion of the related wave operators. For massless scalars confined in a $4$-dimensional curved spacetime with boundary the relevant coefficients are given -- confirming the results of Moss and Dowker and also of Branson and Gilkey. We apply the general results to theories on bounded regions in two- and four-dimensional flat space-times and determine the change of the effective action under arbitrary conformal deformations of the regions.


title: Spinors and mass on weighted manifolds

abstract: This paper generalizes classical spin geometry to the setting of weighted manifolds (manifolds with density) and provides applications to the Ricci flow. Spectral properties of the naturally associated weighted Dirac operator, introduced by Perelman, and its relationship with the weighted scalar curvature are investigated. Further, a generalization of the ADM mass for weighted asymptotically Euclidean (AE) manifolds is defined; on manifolds with nonnegative weighted scalar curvature, it satisfies a weighted Witten formula and thereby a positive weighted mass theorem. Finally, on such manifolds, Ricci flow is the gradient flow of said weighted ADM mass, for a natural choice of weight function. This yields a monotonicity formula for the weighted spinorial Dirichlet energy of a weighted Witten spinor along Ricci flow.


title: A Unified Framework for Calculating First Arrival Position Density in Molecular Communication

abstract: This paper introduces a novel unified framework for calculating the first arrival position (FAP) density in diffusion-based molecular communication (MC) systems with fully-absorbing receivers, applicable to any spatial dimension or receiver shape. We validate the effectiveness of our proposed method by presenting two concrete examples from the MC literature: the 2D line receiver and 3D spherical receiver. Our approach successfully reproduces existing results on FAP density and further enhances the original formula for the 2D line receiver by accommodating arbitrary drift directions. The proposed framework offers a comprehensive and versatile solution for determining FAP density in diffusive MC channels with fully-absorbing receivers, paving the way for more robust and efficient system designs.


title: DPCL: a Language Template for Normative Specifications

abstract: Several solutions for specifying normative artefacts (norms, contracts, policies) in a computational processable way have been presented in the literature. Legal core ontologies have been proposed to systematize concepts and relationships relevant to normative reasoning. However, no solution amongst those has achieved general acceptance, and no common ground (representational, computational) has been identified enabling us to easily compare them. Yet, all these efforts share the same motivation of representing normative directives, therefore it is plausible that there may be a representational model encompassing all of them. This presentation will introduce DPCL, a domain-specific language (DSL) for specifying higher-level policies (including norms, contracts, etc.), centred on Hohfeld's framework of fundamental legal concepts. DPCL has to be seen primarily as a "template", i.e. as an informational model for architectural reference, rather than a fully-fledged formal language; it aims to make explicit the general requirements that should be expected in a language for norm specification. In this respect, it goes rather in the direction of legal core ontologies, but differently from those, our proposal aims to keep the character of a DSL, rather than a set of axioms in a logical framework: it is meant to be cross-compiled to underlying languages/tools adequate to the type of target application. We provide here an overview of some of the language features.


title: Naturally Self-Tuned Low Mass Composite Scalars

abstract: Scalar bosons composed of a pair of chiral fermions in a non-confining potential have an effective Yukawa coupling, $g$, to free external chiral fermions. At large distance a Feynman loop of external fermions generates a scale invariant potential, $V_{loop}\propto -g^2/{r^{2}}$, which acts on valence fermions for separation $\rho=2r$. This generally forces the $s$-wave ground state to deform to a static, zero mass, configuration, and for slowly running, perturbative $g$, a large external "shroud" wave-function forms. This is related to old results of Landau and Lifshitz in quantum mechanics. The massless composite scalar boson ground state is then an extended object. Infra-red effects can generate a small mass for the system. This points to a perturbative BEH-boson composed of top and anti-top quarks and a novel dynamical mechanism for spontaneous electroweak symmetry breaking.


title: Golod-Shafarevich-Vinberg type theorems and finiteness conditions for potential algebras

abstract: We obtain a lower estimate for the Hilbert series of Jacobi algebras and their completions by providing analogue of the Golog-Shafarevich-Vinberg theorem for potential case. We especially treat non-homogeneous situation. This estimate allows to answer number of questions arising in the work of Wemyss-Donovan-Brown on noncommutative singularities and deformation theory. In particular, we prove that the only case when a potential algebra or its completion could be finite dimensional or of linear growth, is the case of two variables and potential having terms of degree three.


title: Learning to Identify Top Elo Ratings: A Dueling Bandits Approach

abstract: The Elo rating system is widely adopted to evaluate the skills of (chess) game and sports players. Recently it has been also integrated into machine learning algorithms in evaluating the performance of computerised AI agents. However, an accurate estimation of the Elo rating (for the top players) often requires many rounds of competitions, which can be expensive to carry out. In this paper, to improve the sample efficiency of the Elo evaluation (for top players), we propose an efficient online match scheduling algorithm. Specifically, we identify and match the top players through a dueling bandits framework and tailor the bandit algorithm to the gradient-based update of Elo. We show that it reduces the per-step memory and time complexity to constant, compared to the traditional likelihood maximization approaches requiring $O(t)$ time. Our algorithm has a regret guarantee of $\tilde{O}(\sqrt{T})$, sublinear in the number of competition rounds and has been extended to the multidimensional Elo ratings for handling intransitive games. We empirically demonstrate that our method achieves superior convergence speed and time efficiency on a variety of gaming tasks.


title: A finite element method to a periodic steady-state problem for an electromagnetic field system using the space-time finite element exterior calculus

abstract: This paper proposes a finite element method for solving the periodic steady-state problem for the scalar-valued and vector-valued Poisson equations, a simple reduction model of the Maxwell equations under the Coulomb gauge. Introducing a new potential variable, we reformulate two systems composed of the scalar-valued and vector-valued Poisson problems to a single Hodge-Laplace problem for the 1-form in $\mathbb{R}^4$ using the standard de Rham complex. Consequently, we can directly apply the Finite Element Exterior Calculus (FEEC) theory in $\mathbb{R}^4$ to deduce the well-posedness, stability, and convergence. Numerical examples using the cubical element are reported to validate the theoretical results.


title: On the construction of fuzzy spaces and modules over shift algebras

abstract: We introduce shift algebras as certain crossed product algebras based on general function spaces and study properties, as well as the classification, of a particular class of modules depending on a set of matrix parameters. It turns out that the structure of these modules depends in a crucial way on the properties of the function spaces. Moreover, for a class of subalgebras related to compact manifolds, we provide a construction procedure for the corresponding fuzzy spaces, i.e. sequences of finite dimensional modules of increasing dimension as the deformation parameter tends to zero, as well as infinite dimensional modules related to fuzzy non-compact spaces.


title: Scalable production of single 2D van der Waals layers through atomic layer deposition: Bilayer silica on metal foils and films

abstract: The self-limiting nature of atomic layer deposition (ALD) makes it an appealing option for growing single layers of two-dimensional van der Waals (2D-VDW) materials. In this paper it is demonstrated that a single layer of a 2D-VDW form of SiO2 can be grown by ALD on Au and Pd polycrystalline foils and epitaxial films. The silica was deposited by two cycles of bis (diethylamino) silane and oxygen plasma exposure at 525 K. Initial deposition produced a three-dimensionally disordered silica layer; however, subsequent annealing above 950 K drove a structural rearrangement resulting in 2D-VDW; this annealing could be performed at ambient pressure. Surface spectra recorded after annealing indicated that the two ALD cycles yielded close to the silica coverage obtained for 2D-VDW silica prepared by precision SiO deposition in ultra-high vacuum. Analysis of ALD-grown 2D-VDW silica on a Pd(111) film revealed the co-existence of amorphous and incommensurate crystalline 2D phases. In contrast, ALD growth on Au(111) films produced predominantly the amorphous phase while SiO deposition in UHV led to only the crystalline phase, suggesting that the choice of Si source can enable phase control.


title: Over a century of $\delta$ Ceti variability investigation

abstract: We present results of a 2014-2018 campaign of radial velocity measurements of $\delta$ Ceti. Combining our determination of pulsation period with historical data we conclude that the most likely explanation of observed changes is the presence of a secondary component with a minimum mass of $1.10 \pm 0.05 M_{\odot}$ on an orbit with a period of $169 \pm 6$ years. Consequently, we revised the intrinsic, evolutionary period change rate to not larger than $0.018 \pm 0.004$ s/century, which is significantly lower than previous estimations and is consistent with evolutionary models of Neilson & Ignace (2015). We did not find any significant multiperiodic frequencies in radial velocity periodograms such as those reported by Aerts et al. (2006) in photometric data from MOST satellite. Using interferometric angular size of $\delta$ Ceti from JMMC Stellar Diameters Catalogue we determined several physical parameters of the star with bolometric flux method. They turned out to be consistent with most previous deteminations, confirming lower mass and slower evolution of $\delta$ Ceti than obtained using different methods by Aerts et al. (2006) and Neilson & Ignace (2015).


title: Depth Estimation from Single-shot Monocular Endoscope Image Using Image Domain Adaptation And Edge-Aware Depth Estimation

abstract: We propose a depth estimation method from a single-shot monocular endoscopic image using Lambertian surface translation by domain adaptation and depth estimation using multi-scale edge loss. We employ a two-step estimation process including Lambertian surface translation from unpaired data and depth estimation. The texture and specular reflection on the surface of an organ reduce the accuracy of depth estimations. We apply Lambertian surface translation to an endoscopic image to remove these texture and reflections. Then, we estimate the depth by using a fully convolutional network (FCN). During the training of the FCN, improvement of the object edge similarity between an estimated image and a ground truth depth image is important for getting better results. We introduced a muti-scale edge loss function to improve the accuracy of depth estimation. We quantitatively evaluated the proposed method using real colonoscopic images. The estimated depth values were proportional to the real depth values. Furthermore, we applied the estimated depth images to automated anatomical location identification of colonoscopic images using a convolutional neural network. The identification accuracy of the network improved from 69.2% to 74.1% by using the estimated depth images.


title: Gauge embedding procedure: classical and quantum equivalence between dual models

abstract: In this paper the gauge embedding procedure of dualization is reassessed through a deeper analysis of the mutual equivalence of vector field models of more generic forms, explicitly, a general modified massive gauge-breaking extension of electrodynamics and its dual gauge-invariant model we derive in the paper. General relations between the vector field propagators and interaction terms of these models are obtained. Further, these models are shown to be equivalent at tree-level and one-loop physical calculations. Finally, we discuss extension of this equivalence to all loop orders.


title: Smoothness and continuity of cost functionals for ECG mismatch computation

abstract: The field of cardiac electrophysiology tries to abstract, describe and finally model the electrical characteristics of a heartbeat. With recent advances in cardiac electrophysiology, models have become more powerful and descriptive as ever. However, to advance to the field of inverse electrophysiological modeling, i.e. creating models from electrical measurements such as the ECG, the less investigated field of smoothness of the simulated ECGs w.r.t. model parameters need to be further explored. The present paper discusses smoothness in terms of the whole pipeline which describes how from physiological parameters, we arrive at the simulated ECG. Employing such a pipeline, we create a test-bench of a simplified idealized left ventricle model and demonstrate the most important factors for efficient inverse modeling through smooth cost functionals. Such knowledge will be important for designing and creating inverse models in future optimization and machine learning methods.


title: ECAS-ML: Edge Computing Assisted Adaptation Scheme with Machine Learning for HTTP Adaptive Streaming

abstract: As the video streaming traffic in mobile networks is increasing, improving the content delivery process becomes crucial, e.g., by utilizing edge computing support. At an edge node, we can deploy adaptive bitrate (ABR) algorithms with a better understanding of network behavior and access to radio and player metrics. In this work, we present ECAS-ML, Edge Assisted Adaptation Scheme for HTTP Adaptive Streaming with Machine Learning. ECAS-ML focuses on managing the tradeoff among bitrate, segment switches, and stalls to achieve a higher quality of experience (QoE). For that purpose, we use machine learning techniques to analyze radio throughput traces and predict the best parameters of our algorithm to achieve better performance. The results show that ECAS-ML outperforms other client-based and edge-based ABR algorithms.


title: Power-to-Gas in a gas and electricity distribution network: a sensitivity analysis of modeling approaches

abstract: Power-to-Gas (P2G) has been one of the most frequently discussed technologies in the last few years. This technology allows producing CO2 free fuels. Thanks to its high flexibility, it may offer services to the power system, fostering Variable Renewable Energy Sources (VRES) and the electricity demand match, mitigating the issues related to VRES overproduction. The role of P2G plants connected to the transmission system as flexibility asset has been extensively analyzed in the literature. Conversely, the analysis of these systems used at distribution level has only been dealt with in a few studies: however, in this case critical operation conditions can easily arise, both on electrical and gas infrastructure. This article presents a methodological analysis on the impact of different simulation approaches when P2G is installed at distribution system level. The choice of the most appropriate modeling approaches for electricity and distribution grids is required in order to avoid overestimating or underestimating the potential flexibility that P2G plants connected to distribution networks can offer. The aim of this paper is to understand the impact of different modeling approaches in order to determine whether, and under which conditions, this is acceptable. An illustrative case study has been developed to perform this kind of analysis. The results demonstrated that it is important to take into account the electric distribution network topology, as the performance of P2G plants could be affected by their placement in the network. Neglecting the dynamics of a gas network or the interactions between P2G plant components under a low gas demand condition can lead to an underestimation of the flexibility of the entire system. If the demand for gas is high enough, the use of simplified assumptions that do not consider the dynamics of the gas network and P2G systems may be acceptable.


title: Hydrogen trapping and embrittlement in high-strength Al-alloys

abstract: Ever more stringent regulations on greenhouse gas emissions from transportation motivate efforts to revisit materials used for vehicles. High-strength Al-alloys often used in aircrafts could help reduce the weight of automobiles, but are susceptible to environmental degradation. Hydrogen (H) "embrittlement" is often pointed as the main culprit, however, the mechanisms underpinning failure are elusive: atomic-scale analysis of H inside an alloy remains a challenge, and this prevents deploying alloy design strategies to enhance the materials' durability. Here we successfully performed near-atomic scale analysis of H trapped in second-phase particles and at grain boundaries in a high-strength 7xxx Al-alloy. We used these observations to guide atomistic ab-initio calculations which show that the co-segregation of alloying elements and H favours grain boundary decohesion, while the strong partitioning of H into the second-phases removes solute H from the matrix, hence preventing H-embrittlement. Our insights further advance the mechanistic understanding of H-assisted embrittlement in Al-alloys, emphasizing the role of H-traps in retarding cracking and guiding new alloy design.


title: Irregular Liouville correlators and connection formulae for Heun functions

abstract: We perform a detailed study of a class of irregular correlators in Liouville Conformal Field Theory, of the related Virasoro conformal blocks with irregular singularities and of their connection formulae. Upon considering their semi-classical limit, we provide explicit expressions of the connection matrices for the Heun function and a class of its confluences. Their calculation is reduced to concrete combinatorial formulae from conformal block expansions.


title: Color-octet contributions for $J/\psi$ inclusive production at B factories in soft gluon factorization

abstract: We have studied color-octet contributions for $J/\psi$ inclusive production at B factories, i.e., $e^+e^-\to J/\psi(^3P_J^{[8]},^1S_0^{[8]}) + X_{\mathrm{non}-c\bar c}$, using the soft gluon factorization (SGF) approach, in which the $J/\psi$ energy spectrum is expressed in a form of perturbatively calculable short-distance hard parts convoluted with one-dimensional soft gluon distributions (SGDs). The series of velocity corrections originated from kinematic effect can be naturally resummed in this approach. Short-distance hard parts have been calculated analytically to next-to-leading order in $\alpha_s$. Renormalization group equations for SGDs have been derived and solved, which resums Sudakov logarithms originated from soft gluon emissions. Our final result gives a upper bound for color-octet matrix elements consistent with that extracted from hadron colliders. This may relieve the well-known universality problem in the NRQCD factorization. As a comparison, we also analytically calculated short-distance hard parts in the NRQCD factorization, with Sudakov logarithms resummed by using soft collinear effective theory. The comparison shows that velocity corrections from kinematic effect, which have been resummed in SGF, are significant for phenomenological study. Furthermore, it is found that Sudakov logarithms originated from soft gluon emissions are very important, while it is not the case for Sudakov logarithms originated from jet function. Therefore, the partial Sudakov resummation in SGF has already captured the main physics.


title: Interpretable learning of voltage for electrode design of multivalent metal-ion batteries

abstract: Deep learning (DL) has indeed emerged as a powerful tool for rapidly and accurately predicting materials properties from big data, such as the design of current commercial Li-ion batteries. However, its practical utility for multivalent metal-ion batteries (MIBs), the most promising future solution of large-scale energy storage, is limited due to the scarce MIB data availability and poor DL model interpretability. Here, we develop an interpretable DL model as an effective and accurate method for learning electrode voltages of multivalent MIBs (divalent magnesium, calcium, zinc, and trivalent aluminum) at small dataset limits (150~500). Using the experimental results as validation, our model is much more accurate than machine-learning models which usually are better than DL in the small dataset regime. Besides the high accuracy, our feature-engineering-free DL model is explainable, which automatically extracts the atom covalent radius as the most important feature for the voltage learning by visualizing vectors from the layers of the neural network. The presented model potentially accelerates the design and optimization of multivalent MIB materials with fewer data and less domain-knowledge restriction, and is implemented into a publicly available online tool kit in http://batteries.2dmatpedia.org/ for the battery community.


title: SensatUrban: Learning Semantics from Urban-Scale Photogrammetric Point Clouds

abstract: With the recent availability and affordability of commercial depth sensors and 3D scanners, an increasing number of 3D (i.e., RGBD, point cloud) datasets have been publicized to facilitate research in 3D computer vision. However, existing datasets either cover relatively small areas or have limited semantic annotations. Fine-grained understanding of urban-scale 3D scenes is still in its infancy. In this paper, we introduce SensatUrban, an urban-scale UAV photogrammetry point cloud dataset consisting of nearly three billion points collected from three UK cities, covering 7.6 km^2. Each point in the dataset has been labelled with fine-grained semantic annotations, resulting in a dataset that is three times the size of the previous existing largest photogrammetric point cloud dataset. In addition to the more commonly encountered categories such as road and vegetation, urban-level categories including rail, bridge, and river are also included in our dataset. Based on this dataset, we further build a benchmark to evaluate the performance of state-of-the-art segmentation algorithms. In particular, we provide a comprehensive analysis and identify several key challenges limiting urban-scale point cloud understanding. The dataset is available at http://point-cloud-analysis.cs.ox.ac.uk.


title: Diabatic Hamiltonian matrix elements made simple

abstract: With a view to applying the Generator Coordinate Method to large configuration spaces, we propose a simple approximate formula to compute diabatic many-body matrix elements without having to evaluate two-body interaction matrix elements. The method is illustrated with two analytically solvable Hamiltonians based on the harmonic oscillator.


title: Emergence of energy-avoiding and energy-seeking behaviours in nonequilibrium dissipative quantum systems

abstract: A longstanding challenge in nonequilibrium thermodynamics is to predict the emergence of self-organized behaviours and functionalities typical of living matter. Despite the progress with classical complex systems, it remains far from obvious how to extrapolate these results down to the quantum scale. Here, we employ the paradigmatic master equation framework to establish that some lifelike behaviours and functionalities can indeed emerge in elementary dissipative quantum systems driven out of equilibrium. Specifically, we find both energy-avoiding (low steady dissipation) and energy-seeking behaviours (high steady dissipation), as well as self-adaptive shifts between these modes, in generic few-level systems. We also find emergent functionalities, namely, a self-organized thermal gradient in the system's environment (in the energy-seeking mode) and an active equilibration against thermal gradients (in the energy-avoiding mode). Finally, we discuss the possibility that our results could be related to the concept of dissipative adaptation.


title: Impact of FBG feedback phase on laser dynamics

abstract: Fiber Bragg Gratings have been advantageously used to improve the chaotic properties of semiconductor lasers. Though these components are known to be highly sensitive to environmental conditions, feedback phase fluctuations are often neglected. In this work, we experimentally demonstrate that the small variations of the propagation time induced by a simple thermal tuning of the FBG is sufficient to induce significant changes of the laser behavior. We report periodic stability enhancements linked with phase variations and highlight that both phase variation and phase offsets play an important role. Last, we show a good qualitative agreement with simulations based on an expanded version of the Lang-Kobayashi model.


title: Towards Integrated Sensing and Communications for 6G

abstract: For the next generation of mobile communications systems, the integration of sensing and communications promises benefits in terms of spectrum utilization, cost, latency, area and weight. In this paper, we categorize and summarize the key features and technical considerations for different integration approaches and discuss related waveform design issues for a future 6G system. We provide results on new candidate waveforms for monostatic sensing and finally highlight important open issues and directions that deserve future in-depth research.


title: Coloring distance graphs on the plane

abstract: We consider the coloring of certain distance graphs on the Euclidean plane. Namely, we ask for the minimal number of colors needed to color all points of the plane in such a way that pairs of points at distance in the interval $[1,b]$ get different colors. The classic Hadwiger-Nelson problem is a special case of this question -- obtained by taking $b=1$. The main results of the paper are improved lower and upper bounds on the number of colors for some values of $b$. In particular, we determine the minimal number of colors for two ranges of values of $b$ - one of which is enlarging an interval presented by Exoo and the second is completely new. Up to our knowledge, these are the only known families of distance graphs on the plane with a determined nontrivial chromatic number. Moreover, we present the first $8$-coloring for $b$ larger than values of $b$ for the known $7$-colorings. As a byproduct, we give some bounds and exact values for bounded parts of the plane, specifically by coloring certain annuli.


title: On mass - critical NLS with local and non-local nonlinearities

abstract: We consider the following nonlinear Schr\"{o}dinger equation with the double $L^2$-critical nonlinearities \begin{align*} iu_t+\Delta u+|u|^\frac{4}{3}u+\mu\left(|x|^{-2}*|u|^2\right)u=0\ \ \ \text{in $\mathbb{R}^3$,} \end{align*} where $\mu>0$ is small enough. Our first goal is to prove the existence and the non-degeneracy of the ground state $Q_{\mu}$. In particular, we develop an appropriate perturbation approach to prove the radial non-degeneracy property and then obtain the general non-degeneracy of the ground state $Q_{\mu}$. We then show the existence of finite time blowup solution with minimal mass $\|u_0\|_{L^2}=\|Q_{\mu}\|_{L^2}$. More precisely, we construct the minimal mass blowup solutions that are parametrized by the energy $E_{\mu}(u_0)>0$ and the momentum $P_{\mu}(u_0)$. In addition, the non-degeneracy property plays crucial role in this construction.


title: Automatic Labeling to Generate Training Data for Online LiDAR-based Moving Object Segmentation

abstract: Understanding the scene is key for autonomously navigating vehicles and the ability to segment the surroundings online into moving and non-moving objects is a central ingredient for this task. Often, deep learning-based methods are used to perform moving object segmentation (MOS). The performance of these networks, however, strongly depends on the diversity and amount of labeled training data, information that may be costly to obtain. In this paper, we propose an automatic data labeling pipeline for 3D LiDAR data to save the extensive manual labeling effort and to improve the performance of existing learning-based MOS systems by automatically generating labeled training data. Our proposed approach achieves this by processing the data offline in batches. It first exploits an occupancy-based dynamic object removal to detect possible dynamic objects coarsely. Second, it extracts segments among the proposals and tracks them using a Kalman filter. Based on the tracked trajectories, it labels the actually moving objects such as driving cars and pedestrians as moving. In contrast, the non-moving objects, e.g., parked cars, lamps, roads, or buildings, are labeled as static. We show that this approach allows us to label LiDAR data highly effectively and compare our results to those of other label generation methods. We also train a deep neural network with our auto-generated labels and achieve similar performance compared to the one trained with manual labels on the same data, and an even better performance when using additional datasets with labels generated by our approach. Furthermore, we evaluate our method on multiple datasets using different sensors and our experiments indicate that our method can generate labels in diverse environments.


title: Dyna-T: Dyna-Q and Upper Confidence Bounds Applied to Trees

abstract: In this work we present a preliminary investigation of a novel algorithm called Dyna-T. In reinforcement learning (RL) a planning agent has its own representation of the environment as a model. To discover an optimal policy to interact with the environment, the agent collects experience in a trial and error fashion. Experience can be used for learning a better model or improve directly the value function and policy. Typically separated, Dyna-Q is an hybrid approach which, at each iteration, exploits the real experience to update the model as well as the value function, while planning its action using simulated data from its model. However, the planning process is computationally expensive and strongly depends on the dimensionality of the state-action space. We propose to build a Upper Confidence Tree (UCT) on the simulated experience and search for the best action to be selected during the on-line learning process. We prove the effectiveness of our proposed method on a set of preliminary tests on three testbed environments from Open AI. In contrast to Dyna-Q, Dyna-T outperforms state-of-the-art RL agents in the stochastic environments by choosing a more robust action selection strategy.


title: Assessing the persistence of chalcogen bonds in solution with neural network potentials

abstract: Non-covalent bonding patterns are commonly harvested as a design principle in the field of catalysis, supramolecular chemistry and functional materials to name a few. Yet, their computational description generally neglects finite temperature and environment effects, which promote competing interactions and alter their static gas-phase properties. Recently, neural network potentials (NNPs) trained on Density Functional Theory (DFT) data have become increasingly popular to simulate molecular phenomena in condensed phase with an accuracy comparable to ab initio methods. To date, most applications have centered on solid-state materials or fairly simple molecules made of a limited number of elements. Herein, we focus on the persistence and strength of chalcogen bonds involving a benzotelluradiazole in condensed phase. While the tellurium-containing heteroaromatic molecules are known to exhibit pronounced interactions with anions and lone pairs of different atoms, the relevance of competing intermolecular interactions, notably with the solvent, is complicated to monitor experimentally but also challenging to model at an accurate electronic structure level. Here, we train direct and baselined NNPs to reproduce hybrid DFT energies and forces in order to identify what are the most prevalent non-covalent interactions occurring in a solute-Cl$^-$-THF mixture. The simulations in explicit solvent highlight the clear competition with chalcogen bonds formed with the solvent and the short-range directionality of the interaction with direct consequences for the molecular properties in the solution. The comparison with other potentials (e.g., AMOEBA, direct NNP and continuum solvent model) also demonstrates that baselined NNPs offer a reliable picture of the non-covalent interaction interplay occurring in solution.


title: Spatial dissipative solitons in graphene-based active random metamaterials

abstract: We investigate dissipative nonlinear dynamics in graphene-based active metamaterials composed of randomly dispersed graphene nano-flakes embedded within an externally pumped gain medium. We observe that graphene saturable nonlinearity produces a sub-critical bifurcation of nonlinear modes, enabling self-organization of the emitted radiation into several dissipative soliton structures with distinct topological charges. We systematically investigate the existence domains of such nonlinear waves and their spatio-temporal dynamics, finding that soliton vortices are unstable, thus enabling self-organization into single dissipative structures with vanishing topological charge, independently of the shape of the graphene nano-flakes. Our results shed light on self-organization of coherent radiation structures in disordered systems and are relevant for future cavity-free lasers and amplifier designs.


title: 4D modular flavor symmetric models inspired by higher dimensional theory

abstract: We study a scenario to derive four-dimensional modular flavor symmetric models from higher dimensional theory by assuming the compactification consistent with the modular symmetry. In our scenario, wavefunctions in extra dimensional compact space are modular forms. That leads to constraints on combinations between modular weights and $\Gamma_N$ ($\Gamma_N')$ representations of matter fields. We also present illustrating examples.


title: Exact learning and test theory

abstract: In this paper, based on results of exact learning and test theory, we study arbitrary infinite binary information systems each of which consists of an infinite set of elements and an infinite set of two-valued functions (attributes) defined on the set of elements. We consider the notion of a problem over information system, which is described by a finite number of attributes: for a given element, we should recognize values of these attributes. As algorithms for problem solving, we consider decision trees of two types: (i) using only proper hypotheses (an analog of proper equivalence queries from exact learning), and (ii) using both attributes and proper hypotheses. As time complexity, we study the depth of decision trees. In the worst case, with the growth of the number of attributes in the problem description, the minimum depth of decision trees of both types either is bounded from above by a constant or grows as a logarithm, or linearly. Based on these results and results obtained earlier for attributes and arbitrary hypotheses, we divide the set of all infinite binary information systems into seven complexity classes.


title: The Simons Observatory 220 and 280 GHz Focal-Plane Module: Design and Initial Characterization

abstract: The Simons Observatory (SO) will detect and map the temperature and polarization of the millimeter-wavelength sky from Cerro Toco, Chile across a range of angular scales, providing rich data sets for cosmological and astrophysical analysis. The SO focal planes will be tiled with compact hexagonal packages, called Universal Focal-plane Modules (UFMs), in which the transition-edge sensor (TES) detectors are coupled to 100 mK microwave-multiplexing electronics. Three different types of dichroic TES detector arrays with bands centered at 30/40, 90/150, and 220/280 GHz will be implemented across the 49 planned UFMs. The 90/150GHz and 220/280 GHz arrays each contain 1,764 TESes, which are read out with two 910x multiplexer circuits. The modules contain a series of densely routed silicon chips, which are packaged together in a controlled electromagnetic environment with robust heat-sinking to 100 mK. Following an overview of the module design, we report on early results from the first 220/280GHz UFM, including detector yield, as well as readout and detector noise levels.


title: Identifying interesting planetary systems for future X-ray observations

abstract: X-ray observations of star-planet systems are important to grow our understanding of exoplanets; these observation allow for studies of photoevaporation of the exoplanetary atmosphere, and in some cases even estimations of the size of the outer planetary atmosphere. The German-Russian eROSITA instrument onboard the SRG (Spectrum Roentgen Gamma) mission is performing the first all-sky X-ray survey since the 1990s, and provides X-ray fluxes and spectra of exoplanet host stars over a much larger volume than was accessible before. Using new eROSITA data as well as archival data from XMM-Newton, Chandra and ROSAT we estimate mass loss rates of exoplanets under an energy-limited escape scenario, and identify several exoplanets with strong X-ray irradiation and expected mass-loss that are amenable to follow-up observations at other wavelengths. We model sample spectra using a toy model of an exoplanetary atmosphere to predict what exoplanet transit observations with future X-ray missions such as Athena will look like, and estimate the observable X-ray transmission spectrum for a typical Hot Jupiter-type exoplanet.


title: Isomorphisms of spectral lattices

abstract: The paper deals with spectral order isomorphisms between certain spectral sublattices of direct sums of AW*-factors. We prove that these maps consist of spectral order isomorphisms between spectral sublattices of individual direct summands. Consequently, we obtain a complete description of spectral order isomorphisms in the case of atomic AW*-algebras. This includes the setting of matrix algebras. Moreover, we also exhibit the general form of spectral order orthoisomorphisms between various spectral sublattices of direct sums of AW*-factors.


title: Four-dimensional Zero-Hopf Bifurcation for a Lorenz-Haken System

abstract: In this work we study the periodic orbits which bifurcate from a zero-Hopf bifurcations that a Lorenz-Haken system in R 4 can exhibit. The main tool used is the averaging theory.


title: On spectra of convolution operators with potentials

abstract: This paper focuses on the spectral properties of a bounded self-adjoint operator in $L_2(\mathds R^d)$ being the sum of a convolution operator with an integrable convolution kernel and an operator of multiplication by a continuous potential converging to zero at infinity. We study both the essential and the discrete spectra of this operator. It is shown that the essential spectrum of the sum is the union of the essential spectrum of the convolution operator and the image of the potential. We then provide a number of sufficient conditions for the existence of discrete spectrum and obtain lower and upper bounds for the number of discrete eigenvalues. Special attention is paid to the case of operators possessing countably many points of the discrete spectrum. We also compare the spectral properties of the operators considered in this work with those of classical Schr\"odinger operators.


title: Non-Local Gravity Cosmology: an Overview

abstract: We discuss some main aspects of theories of gravity containing non-local terms in view of cosmological applications. In particular, we consider various extensions of General Relativity based on geometrical invariants as $f(R, \Box^{-1} R)$, $f({\cal G}, \Box^{-1} {\cal G})$ and $f(T, \Box^{-1} T)$ gravity where $R$ is the Ricci curvature scalar, $\cal G$ is the Gauss-Bonnet topological invariant, $T$ the torsion scalar and the operator $\Box^{-1}$ gives rise to non-locality. After selecting their functional form by using Noether Symmetries, we find out exact solutions in a cosmological background. It is possible to reduce the dynamics of selected models and to find analytic solutions for the equations of motion. As a general feature of the approach, it is possible to address the accelerated expansion of the Hubble flow at various epochs, in particular the dark energy issues, by taking into account non-locality corrections to the gravitational Lagrangian. On the other hand, it is possible to search for gravitational non-local effects also at astrophysical scales. In this perspective, we search for symmetries of $f(R, \Box^{-1} R)$ gravity also in a spherically symmetric background and constrain the free parameters, Specifically, by taking into account the S2 star orbiting around the Galactic Centre SgrA$^*$, it is possible to study how non-locality affects stellar orbits around such a massive self-gravitating object.


title: Implementation of a digitally encoded multigrid algorithm on a quantum computer

abstract: Multigrid has become a popular method for solving some of the most challenging real-world computational problems, such as computational fluid dynamics (CFD). The reason for this is the very good scaling properties of multigrid, which is often linear, or close to linear, with respect to problem size. In this paper a method is presented, which can be used to implement a quantum version of the multigrid algorithm. The method relies upon a quantum state that is maintained in a equal superposition throughout the calculation, and where information is encoded digitally in the qubits in a way more similar to a classical computer. This differs from many existing quantum algorithms where information is encoded in the amplitudes of the quantum states in the superposition. At the core of the method is an algorithm for sharing information between the states in the superposition. An exponential speedup is provided for classes of problems where the solution vector can be compressed efficiently, and where a quantum compiler can reduce the quantum circuit depth efficiently.


title: Long-time derivation at equilibrium of the fluctuating Boltzmann equation

abstract: We study a hard sphere gas at equilibrium, and prove that in the low density limit, the fluctuations converge to a Gaussian process governed by the fluctuating Boltzmann equation. This result holds for arbitrarily long times. The method of proof builds upon the weak convergence method introduced in the companion paper [8] which is improved by considering clusters of pseudo-trajectories as in [7].


title: Representing catalytic mechanisms with rule composition

abstract: Reaction mechanisms are often presented as sequences of elementary steps, such as codified by arrow pushing. We propose an approach for representing such mechanisms using graph transformation. In this framework, each elementary step is a rule for modifying a molecular graph and a mechanism is a sequence of such rules. To generate a compact representation of a multi-step reaction, we compose the rules of individual steps into a composite rule, providing a rigorous and fully automated approach to coarse-graining. While the composite rule retains the graphical conditions necessary for the execution of a mechanism, it also records information about transient changes not visible by comparing educts and products. By projecting the rule onto a single "overlay graph", we generalize Fujita's idea of an Imaginary Transition Structure from elementary reactions to composite reactions. The utility of the overlay graph construct is exemplified in the context of enzyme-catalyzed reactions. In a first application, we exploit mechanistic information in the Mechanism and Catalytic Site Atlas to construct overlay graphs of hydrolase reactions listed in the database. These graphs point at a spectrum of catalytic entanglement of enzyme and substrate, de-emphasizing the notion of a singular catalyst in favor of a collection of catalytic sites that can be distributed across enzyme and substrate. In a second application, we deploy composite rules to search the Rhea database for reactions of known or unknown mechanism that are, in principle, compatible with the mechanisms implied by the composite rules. We believe this work adds to the utility of graph-transformation formalisms in representing and reasoning about chemistry in an automated yet insightful fashion.


title: Hazy blue worlds: A holistic aerosol model for Uranus and Neptune, including Dark Spots

abstract: We present a reanalysis (using the Minnaert limb-darkening approximation) of visible/near-infrared (0.3 - 2.5 micron) observations of Uranus and Neptune made by several instruments. We find a common model of the vertical aerosol distribution that is consistent with the observed reflectivity spectra of both planets, consisting of: 1) a deep aerosol layer with a base pressure > 5-7 bar, assumed to be composed of a mixture of H2S ice and photochemical haze; 2) a layer of photochemical haze/ice, coincident with a layer of high static stability at the methane condensation level at 1-2 bar; and 3) an extended layer of photochemical haze, likely mostly of the same composition as the 1-2-bar layer, extending from this level up through to the stratosphere, where the photochemical haze particles are thought to be produced. For Neptune, we find that we also need to add a thin layer of micron-sized methane ice particles at ~0.2 bar to explain the enhanced reflection at longer methane-absorbing wavelengths. We suggest that methane condensing onto the haze particles at the base of the 1-2-bar aerosol layer forms ice/haze particles that grow very quickly to large size and immediately 'snow out' (as predicted by Carlson et al. 1988), re-evaporating at deeper levels to release their core haze particles to act as condensation nuclei for H2S ice formation. In addition, we find that the spectral characteristics of 'dark spots', such as the Voyager-2/ISS Great Dark Spot and the HST/WFC3 NDS-2018, are well modelled by a darkening or possibly clearing of the deep aerosol layer only.


title: Majorization-type cluster robust bounds for block filters and eigensolvers

abstract: Convergence analysis of block iterative solvers for Hermitian eigenvalue problems and the closely related research on properties of matrix-based signal filters are challenging, and attract increasing attention due to their recent applications in spectral data clustering and graph-based signal processing. We combine majorization-based techniques pioneered for investigating the Rayleigh-Ritz method in [SIAM J. Matrix Anal. Appl., 31 (2010), pp. 1521-1537] with tools of classical analysis of the block power method by Rutishauser [Numer. Math., 13 (1969), pp. 4-13] to derive convergence rate bounds of an abstract block iteration, wherein tuples of tangents of principal angles or relative errors of Ritz values are bounded using majorization in terms of arranged partial sums and tuples of convergence factors. Our novel bounds are robust in presence of clusters of eigenvalues, improve some previous results, and are applicable to most known block iterative solvers and matrix-based filters, e.g., to block power, Chebyshev, and Lanczos methods combined with shift-and-invert approaches and polynomial filtering.


title: The atmosphere and architecture of WASP-189 b probed by its CHEOPS phase curve

abstract: Gas giants orbiting close to hot and massive early-type stars can reach dayside temperatures that are comparable to those of the coldest stars. These "ultra-hot Jupiters" have atmospheres made of ions and atomic species from molecular dissociation and feature strong day-to-night temperature gradients. Photometric observations at different orbital phases provide insights on the planet atmospheric properties. We analyse the photometric observations of WASP-189 acquired with the instrument CHEOPS to derive constraints on the system architecture and the planetary atmosphere. We implement a light curve model suited for asymmetric transit shape caused by the gravity-darkened photosphere of the fast-rotating host star. We also model the reflective and thermal components of the planetary flux, the effect of stellar oblateness and light-travel time on transit-eclipse timings, the stellar activity and CHEOPS systematics. From the asymmetric transit, we measure the size of the ultra-hot Jupiter WASP-189 b, $R_p=1.600^{+0.017}_{-0.016}\,R_J$, with a precision of 1%, and the true orbital obliquity of the planetary system $\Psi_p=89.6\pm1.2\deg$ (polar orbit). We detect no significant hotspot offset from the phase curve and obtain an eclipse depth $\delta_\text{ecl}=96.5^{+4.5}_{-5.0}\,\text{ppm}$, from which we derive an upper limit on the geometric albedo: $A_g<0.48$. We also find that the eclipse depth can only be explained by thermal emission alone in the case of extremely inefficient energy redistribution. Finally, we attribute the photometric variability to the stellar rotation, either through superficial inhomogeneities or resonance couplings between the convective core and the radiative envelope.


title: On the Seshadri constants of equivariant bundles over Bott-Samelson varieties and wonderful compactifications

abstract: We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.


title: Aging in the transport on the corrugated ratchet potential

abstract: Under rapid undercooling, glass forming liquids freeze in an amorphous state that can equilibrate only on enormously long time-scales, This is the characteristic sign of aging, which has been observed in a wide range of systems. Brownian ratchet is a widely studied system that exhibits many types of anomalous dynamical behavior. We have investigated the possibility of aging in the collective motion of Brownian particles in a periodic ratchet potential with quenched disorder. We find that when a slowly growing fraction of particles are trapped for long time, the collective movement tends to become super-diffusive. The super-diffusive transport weakly breaks the ergodicity and the time to cover the whole phase space become enormously long and reminiscent of aging behavior.


title: Optimal Driving Under Traffic Signal Uncertainty

abstract: We study driver's optimal trajectory planning under uncertainty in the duration of a traffic light's green phase. We interpret this as an optimal control problem with an objective of minimizing the expected cost based on the fuel use, discomfort from rapid velocity changes, and time to destination. Treating this in the framework of dynamic programming, we show that the probability distribution on green phase durations gives rise to a sequence of Hamilton-Jacobi-Bellman PDEs, which are then solved numerically to obtain optimal acceleration/braking policy in feedback form. Our numerical examples illustrate the approach and highlight the role of conflicting goals and uncertainty in shaping drivers' behavior.


title: Entanglement entropies of an interval in the free Schr\"odinger field theory at finite density

abstract: We study the entanglement entropies of an interval on the infinite line in the free fermionic spinless Schr\"odinger field theory at finite density and zero temperature, which is a non-relativistic model with Lifshitz exponent $z=2$. We prove that the entanglement entropies are finite functions of one dimensionless parameter proportional to the area of a rectangular region in the phase space determined by the Fermi momentum and the length of the interval. The entanglement entropy is a monotonically increasing function. By employing the properties of the prolate spheroidal wave functions of order zero or the asymptotic expansions of the tau function of the sine kernel, we find analytic expressions for the expansions of the entanglement entropies in the asymptotic regimes of small and large area of the rectangular region in the phase space. These expansions lead to prove that the analogue of the relativistic entropic $C$ function is not monotonous. Extending our analyses to a class of free fermionic Lifshitz models labelled by their integer dynamical exponent $z$, we find that the parity of this exponent determines the properties of the bipartite entanglement for an interval on the line.


title: Fast and precise model calculation for KATRIN using a neural network

abstract: We present a fast and precise method to approximate the physics model of the Karlsruhe Tritium Neutrino (KATRIN) experiment using a neural network. KATRIN is designed to measure the effective electron anti-neutrino mass using the kinematics of beta-decay with a sensitivity of 200 meV at 90% confidence level. To achieve this goal, a highly accurate model prediction with relative errors below the 1e-4-level is required. Using the regular numerical model for the analysis of the final KATRIN dataset is computationally extremely costly or requires approximations to decrease the computation time. Our solution to reduce the computational requirements is to train a neural network to learn the predicted beta-spectrum and its dependence on all relevant input parameters. This results in a speed-up of the calculation by about three orders of magnitude, while meeting the stringent accuracy requirements of KATRIN.


title: Locking of magnetization and Josephson oscillations at ferromagnetic resonance in $\varphi_0$ junction under external radiation

abstract: We demonstrate the locking by external electromagnetic radiation of magnetic precession in the $ \varphi_0 $ Josephson junction through Josephson oscillations in the region of ferromagnetic resonance. This leads to a step in the dependence of the magnetization on the bias current, the position of which is determined by the radiation frequency and the shape of the resonance curve. In junctions with a strong spin-orbit coupling, states with negative differential resistance appear on the IV-characteristic, resulting in an additional locking step. A detailed study of the time dependence of voltage and magnetization and their Fourier transforms shows that the corresponding oscillations have the same frequency as the oscillations at the first step, but they have a different amplitude and different dependence on the radiation frequency. This makes it possible to control not only the frequency, but also the amplitude of the magnetic precession in the locking region. It opens up unique perspectives for the control and manipulation of magnetic moment in hybrid systems such as anomalous Josephson junctions.


title: Groups of small period growth

abstract: We construct finitely generated groups of small period growth, i.e. groups where the maximum order of an element of word length $n$ grows very slowly in $n$. This answers a question of Bradford related to the lawlessness growth of groups and is connected to an approximative version of the restricted Burnside problem.


title: Exact Perturbative Existence and Uniqueness Theorem

abstract: We prove a general existence and uniqueness theorem for holomorphic perturbative solutions of singularly perturbed nonlinear complex differential systems of the form $\hbar \partial_x f = F (x, \hbar, f)$ where $\hbar$ is a small complex perturbation parameter. Specifically, we give conditions that allow us to promote, in a unique and precise sense, a formal perturbative solution $\hat{f} (x, \hbar)$ to a holomorphic solution $f (x, \hbar)$ whose perturbative expansion is $\hat{f}$. Furthermore, we prove that $f$ is the uniform Borel resummation of $\hat{f}$. As sample applications, we analyse the Painlev\'e I equation as well as derive exact WKB solutions for a generalised 3\textsuperscript{rd}-order Airy equation.


title: Global $\Lambda$ polarization in heavy-ion collisions at energies 2.4--7.7 GeV: Effect of Meson-Field Interaction

abstract: Based on the three-fluid model, the global $\Lambda$ polarization in Au+Au collisions at 2.4 $\leq\sqrt{s_{NN}}\leq$ 7.7 GeV is calculated, including its rapidity and centrality dependence. Contributions from the thermal vorticity and meson-field term (proposed by Csernai, Kapusta and Welle) to the global polarization are considered. The results are compared with data from recent and ongoing STAR and HADES experiments. It is predicted that the polarization maximum is reached at $\sqrt{s_{NN}}\approx$ 3 GeV, if the measurements are performed with the same acceptance. The value of the polarization is very sensitive to interplay of the aforementioned contributions. In particular, the thermal vorticity results in quite strong increase of the polarization from the midrapidity to forward/backward rapidities, while the meson-field contribution considerably flattens the rapidity dependence. The polarization turns out to be very sensitive to details of the equation of state. While collision dynamics become less equilibrium with decreasing collision energy, the present approach to polarization is based on the assumption of thermal equilibrium. It is found that equilibrium is achieved at the freeze-out stage, but this equilibration takes longer at moderately relativistic energies.