title: Sr and Ba abundance determinations: comparing machine-learning with star-by-star analyses -- High-resolution re-analysis of suspected LAMOST barium stars

abstract: A new large sample of 895 s-process-rich candidates out of 454180 giant stars surveyed by LAMOST at low spectral resolution (R ~ 1800) has been reported by Norfolk et al. (2019; hereafter N19). We aim at confirming the s-process enrichment at the higher resolution (R ~ 86000) offered by the HERMES-Mercator spectrograph, for the 15 brightest targets of the previous study sample which consists in 13 Sr-only stars and two Ba-only stars. Abundances were derived for elements Li, C, N, O, Na, Mg, Fe, Rb, Sr, Y, Zr, Nb, Ba, La, and Ce. Binarity has been tested by comparing the Gaia DR2 radial velocity with the HERMES velocity obtained 1600 - 1800 days later. Among the 15 programme stars, four show no s-process overabundances ([X/Fe] < 0.2 dex), eight show mild s-process overabundances (at least three heavy elements with 0.2 < [X/Fe] < 0.8), and three have strong overabundances (at least three heavy elements with [X/Fe] > 0.8). Among the 13 stars classified as Sr-only by the previous investigation, four have no s-process overabundances, eight are mild barium stars, and one is a strong barium star. The two Ba-only stars turn out to be both strong barium stars and are actually dwarf barium stars. They also show clear evidence for being binaries. Among the no-s stars, there are two binaries out of four, whereas only one out of the eight mild barium stars show a clear signature of radial-velocity variations. Blending effects and saturated lines have to be considered very carefully when using machine-learning techniques, especially on low-resolution spectra. Among the Sr-only stars from the previous study sample, one may expect about 60% (8/13) of them to be true mild barium stars and about 8% to be strong barium stars, and this fraction is likely close to 100% for the previous study Ba-only stars (2/2).


title: RobustFed: A Truth Inference Approach for Robust Federated Learning

abstract: Federated learning is a prominent framework that enables clients (e.g., mobile devices or organizations) to train a collaboratively global model under a central server's orchestration while keeping local training datasets' privacy. However, the aggregation step in federated learning is vulnerable to adversarial attacks as the central server cannot manage clients' behavior. Therefore, the global model's performance and convergence of the training process will be affected under such attacks.To mitigate this vulnerability issue, we propose a novel robust aggregation algorithm inspired by the truth inference methods in crowdsourcing via incorporating the worker's reliability into aggregation. We evaluate our solution on three real-world datasets with a variety of machine learning models. Experimental results show that our solution ensures robust federated learning and is resilient to various types of attacks, including noisy data attacks, Byzantine attacks, and label flipping attacks.


title: Reasoning about actions with EL ontologies with temporal answer sets

abstract: We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot. We consider a temporal action theory, which allows for non-deterministic actions and causal rules to deal with ramifications, and whose extensions are defined by temporal answer sets. We provide conditions under which action consistency can be guaranteed with respect to an ontology, by a polynomial encoding of an action theory extended with an EL^\bot knowledge base (in normal form) into a temporal action theory.


title: Notes on real interpolation of operator $L_p$-spaces

abstract: Let $\mathcal{M}$ be a semifinite von Neumann algebra. We equip the associated noncommutative $L_p$-spaces with their natural operator space structure introduced by Pisier via complex interpolation. On the other hand, for $1<p<\infty$ let $$L_{p,p}(\mathcal{M})=\big(L_{\infty}(\mathcal{M}),\,L_{1}(\mathcal{M})\big)_{\frac1p,\,p}$$ be equipped with the operator space structure via real interpolation as defined by the second named author ({\em J. Funct. Anal}. 139 (1996), 500--539). We show that $L_{p,p}(\mathcal{M})=L_{p}(\mathcal{M})$ completely isomorphically if and only if $\mathcal{M}$ is finite dimensional. This solves in the negative the three problems left open in the quoted work of the second author. We also show that for $1<p<\infty$ and $1\le q\le\infty$ with $p\neq q$ $$\big(L_{\infty}(\mathcal{M};\ell_q),\,L_{1}(\mathcal{M};\ell_q)\big)_{\frac1p,\,p}=L_p(\mathcal{M}; \ell_q)$$ with equivalent norms, i.e., at the Banach space level if and only if $\mathcal{M}$ is isomorphic, as a Banach space, to a commutative von Neumann algebra. Our third result concerns the following inequality: $$ \big\|\big(\sum_ix_i^q\big)^{\frac1q}\big\|_{L_p(\mathcal{M})}\le\big\|\big(\sum_ix_i^r\big)^{\frac1r}\big\|_{L_p(\mathcal{M})} $$ for any finite sequence $(x_i)\subset L_p^+(\mathcal{M})$, where $0<r<q<\infty$ and $0<p\le\infty$. If $\mathcal{M}$ is not isomorphic, as a Banach space, to a commutative von Meumann algebra, then this inequality holds if and only if $p\ge r$.


title: $B_c \to J/\psi$ helicity form factors and the $B_c^+ \to J/\psi+(P, V, \ell^+ \nu_\ell)$ decays

abstract: In this paper, we calculate the $B_c\to J/\psi$ helicity form factors (HFFs) up to twist-4 accuracy by using the light-cone sum rules (LCSR) approach. After extrapolating those HFFs to the physically allowable $q^2$ region, we investigate the $B^+_c$-meson two-body decays and semi-leptonic decays $B_c^+ \to J/\psi+(P, V, \ell^+ \nu_\ell)$ with $P/V$ stands for light pseudoscalar/vector meson, respectively. The branching fractions can be derived by using the CKM matrix element and the $B_c$ lifetime from the Particle Data Group, and we obtain ${\cal B}(B_c^+ \to J/\psi \pi^+)=(0.136^{+0.002}_{-0.002})\%$, ${\cal B}(B_c^+ \to J/\psi K^+)=(0.010^{+0.000}_{-0.000})\%$, ${\cal B}(B_c^+ \to J/\psi \rho^+) =(0.768^{+0.029}_{-0.033})\%$, ${\cal B}(B_c^+ \to J/\psi K^{\ast +})=(0.043^{+0.001}_{-0.001})\%$, ${\cal B}(B_c^+ \to J/\psi \mu^+\nu_\mu)=(2.802^{+0.526}_{-0.675})\%$ and ${\cal B}(B_c^+ \to J/\psi \tau^+\nu_\tau)=(0.559^{+0.131}_{-0.170})\%$. We then obtain ${\cal R}_{\pi^+/\mu^+\nu_\mu} = 0.048^{+ 0.009}_{-0.012}$ and ${\cal R}_{K^+ / \pi^+} = 0.075^{+0.005}_{-0.005}$, which agree with the LHCb measured value within $1\sigma$-error. We also obtain ${\cal R}_{J/\psi}=0.199^{+ 0.060}_{-0.077}$, which like other theoretical predictions, is consistent with the LHCb measured value within $2\sigma$-error. Those imply that the HFFs under the LCSR approach are also applicable to the $B^+_c$ meson two-body decays and semi-leptonic decays $B_c^+ \to J/\psi+(P, V, \ell^+ \nu_\ell)$, and the HFFs obtained by using LCSR in a new way implies that there may be new physics in the $B_c\to J/\psi \ell^+ \nu_\ell$ semi-leptonic decays.


title: A Miniature Biological Eagle-Eye Vision System for Small Target Detection

abstract: Small target detection is known to be a challenging problem. Inspired by the structural characteristics and physiological mechanism of eagle-eye, a miniature vision system is designed for small target detection in this paper. First, a hardware platform is established, which consists of a pan-tilt, a short-focus camera and a long-focus camera. Then, based on the visual attention mechanism of eagle-eye, the cameras with different focal lengths are controlled cooperatively to achieve small target detection. Experimental results show that the designed biological eagle-eye vision system can accurately detect small targets, which has a strong adaptive ability.


title: Popsynth: A generic astrophysical population synthesis framework

abstract: Simulating a survey of fluxes and redshifts (distances) from an astrophysical population is a routine task. \texttt{popsynth} provides a generic, object-oriented framework to produce synthetic surveys from various distributions and luminosity functions, apply selection functions to the observed variables and store them in a portable (HDF5) format. Population synthesis routines can be constructed either using classes or from a serializable YAML format allowing flexibility and portability. Users can not only sample the luminosity and distance of the populations, but they can create auxiliary distributions for parameters which can have arbitrarily complex dependencies on one another. Thus, users can simulate complex astrophysical populations which can be used to calibrate analysis frameworks or quickly test ideas.


title: Pre-trained Language Models as Prior Knowledge for Playing Text-based Games

abstract: Recently, text world games have been proposed to enable artificial agents to understand and reason about real-world scenarios. These text-based games are challenging for artificial agents, as it requires an understanding of and interaction using natural language in a partially observable environment. Agents observe the environment via textual descriptions designed to be challenging enough for even human players. Past approaches have not paid enough attention to the language understanding capability of the proposed agents. Typically, these approaches train from scratch, an agent that learns both textual representations and the gameplay online during training using a temporal loss function. Given the sample-inefficiency of RL approaches, it is inefficient to learn rich enough textual representations to be able to understand and reason using the textual observation in such a complicated game environment setting. In this paper, we improve the semantic understanding of the agent by proposing a simple RL with LM framework where we use transformer-based language models with Deep RL models. We perform a detailed study of our framework to demonstrate how our model outperforms all existing agents on the popular game, Zork1, to achieve a score of 44.7, which is 1.6 higher than the state-of-the-art model. Overall, our proposed approach outperforms 4 games out of the 14 text-based games, while performing comparable to the state-of-the-art models on the remaining games.


title: AC Simplifications and Closure Redundancies in the Superposition Calculus

abstract: Reasoning in the presence of associativity and commutativity (AC) is well known to be challenging due to prolific nature of these axioms. Specialised treatment of AC axioms is mainly supported by provers for unit equality which are based on Knuth-Bendix completion. The main ingredient for dealing with AC in these provers are ground joinability criteria adapted for AC. In this paper we extend AC joinability from the context of unit equalities and Knuth-Bendix completion to the superposition calculus and full first-order logic. Our approach is based on an extension of the Bachmair-Ganzinger model construction and a new redundancy criterion which covers ground joinability. A by-product of our approach is a new criterion for applicability of demodulation which we call encompassment demodulation. This criterion is useful in any superposition theorem prover, independently of AC theories, and we demonstrate that it enables demodulation in many more cases, compared to the standard criterion.


title: Short Term Reliability and Robustness of ultra-thin barrier, 110 nm-gate AlN/GaN HEMTs

abstract: Short-term reliability and robustness of 110 nm AlN/GaN HEMTs has been evaluated by means of off-state, semi-on state and on-state step stress tests on devices having different gate-drain distance, LGD. While breakdown voltages and critical voltages scale almost linearly with LGD, failure mode remains almost unchanged in all tested devices, and consists in an increase of gate leakage, accompanied by a positive shift of threshold voltage. In off-state, electroluminescence images detect the presence of localized leakage paths which may act as preferential paths for electron trapping. Degradation does not depend on dissipated power and is preliminary attributed to hot-electron trapping, enhanced by electric fields.


title: Deformation-Aware Robotic 3D Ultrasound

abstract: Tissue deformation in ultrasound (US) imaging leads to geometrical errors when measuring tissues due to the pressure exerted by probes. Such deformation has an even larger effect on 3D US volumes as the correct compounding is limited by the inconsistent location and geometry. This work proposes a patient-specified stiffness-based method to correct the tissue deformations in robotic 3D US acquisitions. To obtain the patient-specified model, robotic palpation is performed at sampling positions on the tissue. The contact force, US images and the probe poses of the palpation procedure are recorded. The contact force and the probe poses are used to estimate the nonlinear tissue stiffness. The images are fed to an optical flow algorithm to compute the pixel displacement. Then the pixel-wise tissue deformation under different forces is characterized by a coupled quadratic regression. To correct the deformation at unseen positions on the trajectory for building 3D volumes, an interpolation is performed based on the stiffness values computed at the sampling positions. With the stiffness and recorded force, the tissue displacement could be corrected. The method was validated on two blood vessel phantoms with different stiffness. The results demonstrate that the method can effectively correct the force-induced deformation and finally generate 3D tissue geometries


title: Reliability comparison of AlGaN/GaN HEMTs with different carbon doping concentration

abstract: The reliability of AlGaN/GaN HEMTs adopting Fe and C co-doping, with high and low carbon doping concentration was investigated by means of different stress tests. Firstly, DC and pulsed I-V characterization at room temperature are discussed, then drain step stress tests at different gate voltages are compared, afterwards, the constant stress at different bias points are discussed. Results show that the high C HEMTs showed reduced DIBL, smaller leakage current, as well as decreased electric field, leading to an improved robustness during on-state stress testing, with respect to the reference ones. Failure modes during constant voltage stress consists in a decrease of drain current and transconductance, accelerated by temperature and electric field.


title: Degradation mechanism of 0.15 um AlGaN/GaN HEMTs: effects of hot electrons

abstract: The degradation mechanisms of AlGaN/GaN HEMTs adopting Fe and C co-doping, with high and low carbon doping concentration were investigated by means of hot-electron step stress and 24 hours stress tests. Firstly, DC and EL characterization at room temperature are summarized, then the parametric evolution during hot-electron step stress tests at the semi-on state was compared, the assumption for the degradation mechanism is that hot-electrons activated the pre-existing traps in the buffer, attenuate the electric field in the gate drain access region and damaging the gate contact, the parametric evolution during constant stresses is discussed.


title: Charming synergies: the role of charm-threshold studies in the search for physics beyond the Standard Model

abstract: Measurements performed with pairs of charm mesons produced at threshold from the decay of the $\psi(3770)$ resonance are of great value in flavour physics. The quantum correlation that exists between the two mesons allows unique access to strong-phase information, which is essential input to flavour-physics studies conducted in other environments. An excellent example from the BESIII collaboration is a recent determination of the strong-phase difference between $D^0$ and $\bar{D}^0$ mesons in the decay $D^0 \to K^0_S\pi^+\pi^-$, which has enabled recent measurements to be performed of the $C\!P$-violating phase $\gamma$ and $D^0-\bar{D}^0$ oscillations by the LHCb experiment at CERN. These $\psi(3770)$ data, and also those collected just above the thresholds for $D_s^+$ and $\Lambda_c^+$ production, can also be exploited in many other ways that are of benefit to flavour-physics studies. These synergies are reviewed, and the need for larger threshold data samples in the near future is emphasised.


title: The Schur--Weyl graph and Thoma's theorem

abstract: We define a graded graph, called the Schur--Weyl graph, which arises naturally when one considers simultaneously the RSK algorithm and the classical duality between representations of the symmetric and general linear groups. As one of the first applications of this graph, we give a new proof of the completeness of the list of discrete indecomposable characters of the infinite symmetric group.


title: Optimal ball and horoball packings generated by $3$-dimensional simply truncated Coxeter orthoschemes with parallel faces

abstract: In this paper we consider the ball and horoball packings belonging to $3$-dimensional Coxeter tilings that are derived by simply truncated orthoschemes with parallel faces. The goal of this paper to determine the optimal ball and horoball packing arrangements and their densities for all above Coxeter tilings in hyperbolic 3-space $\mathbb{H}^3$. The centers of horoballs are required to lie at ideal vertices of the polyhedral cells constituting the tiling, and we allow horoballs of different types at the various vertices. We prove that the densest packing of the above cases is realized by horoballs related to $\{\infty;3;6;\infty \}$ and $\{\infty;6;3;\infty \}$ tilings with density $\approx 0.8413392$.


title: Shortcuts to Adiabaticity for Open Systems in Circuit Quantum Electrodynamics

abstract: Shortcuts to adiabaticity (STA) are powerful quantum control methods, allowing quick evolution into target states of otherwise slow adiabatic dynamics. Such methods have widespread applications in quantum technologies, and various STA protocols have been demonstrated in closed systems. However, realizing STA for open quantum systems has presented a greater challenge, due to complex controls required in existing proposals. Here we present the first experimental demonstration of STA for open quantum systems, using a superconducting circuit QED system consisting of two coupled bosonic oscillators and a transmon qubit. By applying a counterdiabatic driving pulse, we reduce the adiabatic evolution time of a single lossy mode from 800 ns to 100 ns. In addition, we propose and implement an optimal control protocol to achieve fast and qubit-unconditional equilibrium of multiple lossy modes. Our results pave the way for accelerating dynamics of open quantum systems and have potential applications in designing fast open-system protocols of physical and interdisciplinary interest, such as accelerating bioengineering and chemical reaction dynamics.


title: On global defensive k-alliances in zero-divisor graph of finite commutative rings

abstract: The global defensive $k$-alliance is a very well studied notion in graph theory, it provides a method of classification of graphs based on relations between members of a particular set of vertices. In this paper we explore this notion in zero-divisor graph of commutative rings. The established results generalize and improve recent work by Muthana and Mamouni who treated a particular case for $k=-1$ known by the global defensive alliance. Various examples are also provided which illustrate and delimit the scope of the established results.


title: Vlasov equations on digraph measures

abstract: Many science phenomena are described as interacting particle systems (IPS). The mean field limit (MFL) of large all-to-all coupled deterministic IPS is given by the solution of a PDE, the Vlasov Equation (VE). Yet, many applications demand IPS coupled on networks/graphs. It is interesting to know, how the limit of a sequence of digraphs associated with the IPS influences the macroscopic MFL. This paper studies VEs on a generalized digraph, regarded as limit of a sequence of digraphs, which we refer to as a digraph measure (DGM) to emphasize that we work with its limit via measures. We provide well-posedness and discretization of the solution of the VE by empirical distributions supported on solutions of an IPS via ODEs coupled on a sequence of digraphs converging to the given DGM. Our result extends existing results on one-dimensional Kuramoto-type networks coupled on dense graphs. Here we allow the underlying digraphs to be not necessarily dense which include many interesting graphical structures such that stars, trees and rings, which have been frequently used in many sparse network models in finance, telecommunications, physics, genetics, neuroscience, and social sciences. A key contribution of this paper is a nontrivial generalization of Neunzert's in-cell-particle approach for all-to-all coupled indistinguishable IPS with global Lipschitz continuity in Euclidean spaces to distinguishable IPS on heterogeneous digraphs with local Lipschitz continuity, via a measure-theoretic viewpoint. The approach together with the metrics is different from the known techniques in $L^p$-functions using graphons and their generalization via harmonic analysis of locally compact Abelian groups. Finally, to demonstrate the wide applicability, we apply our results to various models in higher-dimensional Euclidean spaces in epidemiology, ecology, and social sciences.


title: Testing families of analytic discs in the unit ball

abstract: Let $a,b,c\in \mathbb{C}^2$ be three non collinear points such that their mutual joining complex lines do not intersect the unit ball $\mathbb{B}^2$ and such that the line through $a$ and $b$ is tangent to $\mathbb{B}^2$. Then the set of lines concurrent to $a,b$ and $c$ is a testing family for continuous functions on $\mathbb{S}^3$. This improves a result by the authors and solves a case left open in the literature as described by Globevnik.


title: Feature Mining: A Novel Training Strategy for Convolutional Neural Network

abstract: In this paper, we propose a novel training strategy for convolutional neural network(CNN) named Feature Mining, that aims to strengthen the network's learning of the local feature. Through experiments, we find that semantic contained in different parts of the feature is different, while the network will inevitably lose the local information during feedforward propagation. In order to enhance the learning of local feature, Feature Mining divides the complete feature into two complementary parts and reuse these divided feature to make the network learn more local information, we call the two steps as feature segmentation and feature reusing. Feature Mining is a parameter-free method and has plug-and-play nature, and can be applied to any CNN models. Extensive experiments demonstrate the wide applicability, versatility, and compatibility of our method.


title: IceCube Search for High-Energy Neutrinos from Ultra-Luminous Infrared Galaxies

abstract: With infrared luminosities $L_{\mathrm{IR}} \geq 10^{12} L_{\odot}$, Ultra-Luminous Infrared Galaxies (ULIRGs) are the most luminous objects in the infrared sky. They are predominantly powered by starburst regions with star-formation rates $\gtrsim 100~ M_{\odot}~ \mathrm{yr^{-1}}$. ULIRGs can also host an active galactic nucleus (AGN). Both the starburst and AGN environments contain plausible hadronic accelerators, making ULIRGs candidate neutrino sources. We present the results of an IceCube stacking analysis searching for high-energy neutrinos from a representative sample of 75 ULIRGs with redshift $z \leq 0.13$. While no significant excess of ULIRG neutrinos is found in 7.5 years of IceCube data, upper limits are reported on the neutrino flux from these 75 ULIRGs as well as an extrapolation for the full ULIRG source population. In addition, constraints are provided on models predicting neutrino emission from ULIRGs.


title: Sampling dynamics and stable mixing in hawk-dove games

abstract: The hawk-dove game admits two types of equilibria: an asymmetric pure equilibrium in which players in one population play hawk and players in the other population play dove, and an inefficient symmetric mixed equilibrium, in which hawks are frequently matched against each other. The existing literature shows that populations will converge to playing one of the pure equilibria from almost any initial state. By contrast, we show that plausible sampling dynamics, in which agents occasionally revise their actions by observing either opponents' behavior or payoffs in a few past interactions, can induce the opposite result: global convergence to one of the inefficient mixed stationary states.


title: Approximations of the Image and Integral Funnel of the $L_p$ Ball under Urysohn Type Integral Operator

abstract: Approximations of the image and integral funnel of the closed ball of the space $L_p,$ $p>1,$ under Urysohn type integral operator are considered. The closed ball of the space $L_p,$ $p>1,$ is replaced by the set consisting of a finite number of piecewise-constant functions and it is proved that in the appropriate specifying of the discretization parameters, the images of defined piecewise-constant functions form an internal approximation of the image of the closed ball. Applying this result, the integral funnel of the closed ball of the space $L_p,$ $p>1,$ under Urysohn type integral operator is approximated by the set consisting of a finite number of points.


title: Residual Attention Based Network for Automatic Classification of Phonation Modes

abstract: Phonation mode is an essential characteristic of singing style as well as an important expression of performance. It can be classified into four categories, called neutral, breathy, pressed and flow. Previous studies used voice quality features and feature engineering for classification. While deep learning has achieved significant progress in other fields of music information retrieval (MIR), there are few attempts in the classification of phonation modes. In this study, a Residual Attention based network is proposed for automatic classification of phonation modes. The network consists of a convolutional network performing feature processing and a soft mask branch enabling the network focus on a specific area. In comparison experiments, the models with proposed network achieve better results in three of the four datasets than previous works, among which the highest classification accuracy is 94.58%, 2.29% higher than the baseline.


title: A New Representation of Successor Features for Transfer across Dissimilar Environments

abstract: Transfer in reinforcement learning is usually achieved through generalisation across tasks. Whilst many studies have investigated transferring knowledge when the reward function changes, they have assumed that the dynamics of the environments remain consistent. Many real-world RL problems require transfer among environments with different dynamics. To address this problem, we propose an approach based on successor features in which we model successor feature functions with Gaussian Processes permitting the source successor features to be treated as noisy measurements of the target successor feature function. Our theoretical analysis proves the convergence of this approach as well as the bounded error on modelling successor feature functions with Gaussian Processes in environments with both different dynamics and rewards. We demonstrate our method on benchmark datasets and show that it outperforms current baselines.


title: Breathing dynamics of the Bose polaron in a species-selective harmonic trap

abstract: We perform an extensive numerical study on the breathing dynamics of a few-body Bose polaron setup in a one-dimensional species-selective harmonic trap. The dynamics is triggered by a quench of the impurity trap. The excitation of the background majority atoms is mediated via the majority-impurity interaction. The breathing spectrum is obtained for different numbers of majority particles, several values of the majority-component interaction strengths and trap ratios. It is further compared to the breathing spectrum of a particle-balanced few-body Bose-Bose mixture. In particular, for equal post-quench traps the employed protocol allows to couple states of different center-of-mass parity in contrast to species-symmetric trap quenches. Among the participating eigenstates we identify one having odd center-of-mass parity and even global parity. The breathing frequency induced by this state is a monotonically decreasing function of the coupling parameter. Importantly, in order to be observable it requires the entanglement between the species to be taken into account. We demonstrate this by comparing the numerically exact results obtained by means of the Multi-Layer Multi-Configuration Time-Dependent Hartree Method for Mixtures to the ones of a species mean-field ansatz. The entanglement-sensitive breathing frequency persists also for unequal post-quench traps where the center-of-mass cannot be decoupled. Finally, we analyze the impact of parity symmetry on the breathing dynamics by initializing a state of odd global parity. We evidence a striking resemblance to the ground state breathing dynamics.


title: Extended Sprague-Grundy theory for locally finite games, and applications to random game-trees

abstract: For a collection of papers in memory of Elwyn Berlekamp (1940-2019), John Conway (1937-2020), and Richard Guy (1916-2020). The Sprague-Grundy theory for finite games without cycles was extended to general finite games by Cedric Smith and by Aviezri Fraenkel and coauthors. We observe that the same framework used to classify finite games also covers the case of locally finite games (that is, games where any position has only finitely many options). In particular, any locally finite game is equivalent to some finite game. We then study cases where the directed graph of a game is chosen randomly, and is given by the tree of a Galton-Watson branching process. Natural families of offspring distributions display a surprisingly wide range of behaviour. The setting shows a nice interplay between ideas from combinatorial game theory and ideas from probability.


title: Support vector machines for learning reactive islands

abstract: We develop a machine learning framework that can be applied to data sets derived from the trajectories of Hamilton's equations. The goal is to learn the phase space structures that play the governing role for phase space transport relevant to particular applications. Our focus is on learning reactive islands in two degrees-of-freedom Hamiltonian systems. Reactive islands are constructed from the stable and unstable manifolds of unstable periodic orbits and play the role of quantifying transition dynamics. We show that support vector machines (SVM) is an appropriate machine learning framework for this purpose as it provides an approach for finding the boundaries between qualitatively distinct dynamical behaviors, which is in the spirit of the phase space transport framework. We show how our method allows us to find reactive islands directly in the sense that we do not have to first compute unstable periodic orbits and their stable and unstable manifolds. We apply our approach to the H\'enon-Heiles Hamiltonian system, which is a benchmark system in the dynamical systems community. We discuss different sampling and learning approaches and their advantages and disadvantages.


title: YOLOX: Exceeding YOLO Series in 2021

abstract: In this report, we present some experienced improvements to YOLO series, forming a new high-performance detector -- YOLOX. We switch the YOLO detector to an anchor-free manner and conduct other advanced detection techniques, i.e., a decoupled head and the leading label assignment strategy SimOTA to achieve state-of-the-art results across a large scale range of models: For YOLO-Nano with only 0.91M parameters and 1.08G FLOPs, we get 25.3% AP on COCO, surpassing NanoDet by 1.8% AP; for YOLOv3, one of the most widely used detectors in industry, we boost it to 47.3% AP on COCO, outperforming the current best practice by 3.0% AP; for YOLOX-L with roughly the same amount of parameters as YOLOv4-CSP, YOLOv5-L, we achieve 50.0% AP on COCO at a speed of 68.9 FPS on Tesla V100, exceeding YOLOv5-L by 1.8% AP. Further, we won the 1st Place on Streaming Perception Challenge (Workshop on Autonomous Driving at CVPR 2021) using a single YOLOX-L model. We hope this report can provide useful experience for developers and researchers in practical scenes, and we also provide deploy versions with ONNX, TensorRT, NCNN, and Openvino supported. Source code is at https://github.com/Megvii-BaseDetection/YOLOX.


title: Widening, Transition and Coalescence of Local Resonance Band Gaps in Multi-resonator Acoustic Metamaterials: From Unit Cells to Finite Chains

abstract: Local resonance band gaps in acoustic metamaterials are widely known for their strong attenuation yet narrow frequency span. The latter limits the practical ability to implement subwavelength band gaps for broadband attenuation and has motivated novel metamaterial designs in recent years. In this paper, we investigate the behavior of acoustic metamaterials where unit cells house multiple resonating elements stacked in different configurations, aimed at instigating a wide array of wave propagation profiles that are otherwise unattainable. The dispersion mechanics of the multi-resonator metamaterials are developed using purely analytical expressions which depict and explain the underlying dynamics of such systems both at the unit cell level as well as the frequency response of their finite realizations. The framework reveals the mechanism behind the transition of the lower and upper band gap bounds in metamaterials with parallel resonators resulting in a significant band gap widening. The analysis also illustrates the ability of metamaterials with dual-periodic super cells to exhibit a range of dispersion transitions culminating in collapsing solutions of acoustic and optic bands, enabling a coalescence of local resonance band gaps, vanishing resonances, and a number of intriguing scenarios in between.


title: Evaluating Performance and Gameplay of Virtual Reality Sickness Techniques in a First-Person Shooter Game

abstract: In virtual reality (VR) games, playability and immersion levels are important because they affect gameplay, enjoyment, and performance. However, they can be adversely affected by VR sickness (VRS) symptoms. VRS can be minimized by manipulating users' perception of the virtual environment via the head-mounted display (HMD). One extreme example is the Teleport mitigation technique, which lets users navigate discretely, skipping sections of the virtual space. Other techniques are less extreme but still rely on controlling what and how much users see via the HMD. This research examines the effect on players' performance and gameplay of these mitigation techniques in fast-paced VR games. Our focus is on two types of visual reduction techniques. This study aims to identify specifically the trade-offs these techniques have in a first-person shooter game regarding immersion, performance, and VRS. The main contributions in this paper are (1) a deeper understanding of one of the most popular techniques (Teleport) when it comes to gameplay; (2) the replication and validation of a novel VRS mitigation technique based on visual reduction; and (3) a comparison of their effect on players' performance and gameplay.


title: Cryogenic Penning-Trap Apparatus for Precision Experiments with Sympathetically Cooled (anti)protons

abstract: Current precision experiments with single (anti)protons to test CPT symmetry progress at a rapid pace, but are complicated by the need to cool particles to sub-thermal energies. We describe a cryogenic Penning-trap setup for $^9$Be$^+$ ions designed to allow coupling of single (anti)protons to laser-cooled atomic ions for sympathetic cooling and quantum logic spectroscopy. We report on trapping and laser cooling of clouds and single $^9$Be$^+$ ions. We discuss prospects for a microfabricated trap to allow coupling of single (anti)protons to laser-cooled $^9$Be$^+$ ions for sympathetic laser cooling to sub-mK temperatures on ms time scales.


title: "I Packed My Bag and in It I Put...": A Taxonomy of Inventory Systems for Virtual Reality Games

abstract: On a journey, a backpack is a perfect place to store and organize the necessary provisions and tools. Similarly, carrying and managing items is a central part of most digital games, providing significant prospects for the player experience. Even though VR games are gradually becoming more mature, most of them still avoid this essential feature. Some of the reasons for this deficit are the additional requirements and challenges that VR imposes on developers to achieve a compelling user experience. We structure the ample design space of VR inventories by analyzing popular VR games and developing a structural taxonomy. We combine our insights with feedback from game developers to identify the essential building blocks and design choices. Finally, we propose meaningful design implications and demonstrate the practical use of our work in action.


title: Towards Sympathetic Laser Cooling and Detection of Single (Anti-)Proton

abstract: Current experimental efforts to test the fundamental CPT symmetry with single (anti-)protons are progressing at a rapid pace but are hurt by the nonzero temperature of particles and the difficulty of spin state detection. We describe a laser-based and quantum logic inspired approach to single (anti-)proton cooling and state detection.


title: Yet another criterion for the total positivity of Riordan arrays

abstract: Let $R=\mathcal{R}(d(t),h(t))$ be a Riordan array, where $d(t)=\sum_{n\ge 0}d_nt^n$ and $h(t)=\sum_{n\ge 0}h_nt^n$. We show that if the matrix \begin{equation*} \left[\begin{array}{ccccc} d_0 & h_0 & 0 & 0 &\cdots\\ d_1 & h_1 & h_0 & 0 &\\ d_2 & h_2 & h_1 & h_0 &\\ \vdots&\vdots&&&\ddots \end{array}\right] \end{equation*} is totally positive, then so is the Riordan array $R$.


title: Effect of Input-output Randomness on Gameplay Satisfaction in Collectable Card Games

abstract: Randomness is an important factor in games, so much so that some games rely almost purely on it for its outcomes and increase players' engagement with them. However, randomness can affect the game experience depending on when it occurs in a game, altering the chances of planning for a player. In this paper, we refer to it as "input-output randomness". Input-output randomness is a cornerstone of collectable card games like Hearthstone, in which cards are drawn randomly (input randomness) and have random effects when played (output randomness). While the topic might have been commonly discussed by game designers and be present in many games, few empirical studies have been performed to evaluate the effects of these different kinds of randomness on the players' satisfaction. This research investigates the effects of input-output randomness on collectable card games across four input-output randomness conditions. We have developed our own collectable card game and experimented with the different kinds of randomness with the game. Our results suggest that input randomness can significantly impact game satisfaction negatively. Overall, our results present helpful considerations on how and when to apply randomness in game design when aiming for players' satisfaction.


title: CPT test with (anti-)proton magnetic moments based on quantum logic cooling and readout

abstract: Dehmelt and VanDyck's famous 1987 measurement of the electron and positron g-factor is still the most precise g-factor comparison in the lepton sector, and a sensitive test of possible CPT violation. A complementary g-factor comparison between the proton and the antiproton is highly desirable to test CPT symmetry in the baryon sector. Current experiments, based on Dehmelt's continuous Stern-Gerlach effect and the double Penning-trap technique, are making rapid progress. They are, however, extremely difficult to carry out because ground state cooling using cryogenic techniques is virtually impossible for heavy baryons, and because the continous Stern-Gerlach effect scales as $\mu$/m, where m is the mass of the particle and $\mu$ its magnetic moment. Both difficulties will ultimately limit the accuracy. We discuss experimental prospects of realizing an alternative approach to a g-factor comparison with single (anti)protons, based on quantum logic techniques proposed by Heinzen and Wineland and by Wineland et al. The basic idea is to cool, control and measure single (anti-)protons through interaction with a well-controlled atomic ion.


title: Effects of Task Type and Wall Appearance on Collision Behavior in Virtual Environments

abstract: Driven by the games community, virtual reality setups have lately evolved into affordable and consumer-ready mobile headsets. However, despite these promising improvements, it remains challenging to convey immersive and engaging VR games as players are usually limited to experience the virtual world by vision and hearing only. One prominent example of such open challenges is the disparity between the real surroundings and the virtual environment. As virtual obstacles usually do not have a physical counterpart, players might walk through walls enclosing the level. Thus, past research mainly focussed on multisensory collision feedback to deter players from ignoring obstacles. However, the underlying causative reasons for such unwanted behavior have mostly remained unclear. Our work investigates how task types and wall appearances influence the players' incentives to walk through virtual walls. Therefore, we conducted a user study, confronting the participants with different task motivations and walls of varying opacity and realism. Our evaluation reveals that players generally adhere to realistic behavior, as long as the experience feels interesting and diverse. Furthermore, we found that opaque walls excel in deterring subjects from cutting short, whereas different degrees of realism had no significant influence on walking trajectories. Finally, we use collected player feedback to discuss individual reasons for the observed behavior.


title: Fully Automated Machine Learning Pipeline for Echocardiogram Segmentation

abstract: Nowadays, cardiac diagnosis largely depends on left ventricular function assessment. With the help of the segmentation deep learning model, the assessment of the left ventricle becomes more accessible and accurate. However, deep learning technique still faces two main obstacles: the difficulty in acquiring sufficient training data and time-consuming in developing quality models. In the ordinary data acquisition process, the dataset was selected randomly from a large pool of unlabeled images for labeling, leading to massive labor time to annotate those images. Besides that, hand-designed model development is strenuous and also costly. This paper introduces a pipeline that relies on Active Learning to ease the labeling work and utilizes Neural Architecture Search's idea to design the adequate deep learning model automatically. We called this Fully automated machine learning pipeline for echocardiogram segmentation. The experiment results show that our method obtained the same IOU accuracy with only two-fifths of the original training dataset, and the searched model got the same accuracy as the hand-designed model given the same training dataset.


title: Quantum-Logic Detection of Chemical Reactions

abstract: Studies of chemical reactions by a single pair of atoms in a well defined quantum state constitute a corner stone in quantum chemistry. Yet, the number of demonstrated techniques which enable observation and control of a single chemical reaction is handful. Here we propose and demonstrate a new technique to study chemical reactions between an ultracold neutral atom and a cold ion using quantum logic. We experimentally study the release of hyperfine energy in a reaction between an ultracold rubidium atom and isotopes of singly ionized strontium for which we do not have experimental control. We detect the reaction outcome and measure the reaction rate of the chemistry ion by reading the motional state of a logic ion via quantum logic, in a single shot. Our work opens new avenues and extends the toolbox of studying chemical reactions, with existing experimental tools, for all atomic and molecular ions in which direct laser cooling and state detection are unavailable.


title: Sleep Staging Based on Multi Scale Dual Attention Network

abstract: Sleep staging plays an important role on the diagnosis of sleep disorders. In general, experts classify sleep stages manually based on polysomnography (PSG), which is quite time-consuming. Meanwhile, the acquisition process of multiple signals is much complex, which can affect the subject's sleep. Therefore, the use of single-channel electroencephalogram (EEG) for automatic sleep staging has become a popular research topic. In the literature, a large number of sleep staging methods based on single-channel EEG have been proposed with promising results and achieve the preliminary automation of sleep staging. However, the performance for most of these methods in the N1 stage do not satisfy the needs of the diagnosis. In this paper, we propose a deep learning model multi scale dual attention network(MSDAN) based on raw EEG, which utilizes multi-scale convolution to extract features in different waveforms contained in the EEG signal, connects channel attention and spatial attention mechanisms in series to filter and highlight key information, and uses soft thresholding to remove redundant information. Experiments were conducted using two datasets with 5-fold cross-validation and hold-out validation method. The final average accuracy, overall accuracy, macro F1 score and Cohen's Kappa coefficient of the model reach 96.70%, 91.74%, 0.8231 and 0.8723 on the Sleep-EDF dataset, 96.14%, 90.35%, 0.7945 and 0.8284 on the Sleep-EDFx dataset. Significantly, our model performed superiorly in the N1 stage, with F1 scores of 54.41% and 52.79% on the two datasets respectively. The results show the superiority of our network over the existing methods, reaching a new state-of-the-art. In particular, the proposed method achieves excellent results in the N1 sleep stage compared to other methods.


title: Fermi Level Fluctuations, Reduced Effective Masses and Zeeman Effect during Quantum Oscillations in Nodal Line Semimetals

abstract: We probe quantum oscillations in nodal line semimetals (NLSM) by considering a NLSM continuum model under strong magnetic field and report the characteristics of the Landau level spectra and the fluctuations in the Fermi level as the field in a direction perpendicular to the nodal plane is varied through. Based on the results on parallel magnetization, we demonstrate the growth of quantum oscillation with field strength as well as its constancy in period when plotted against 1/B. We find that the density of states which show series of peaks in succession, witness bifurcation of those peaks due to Zeeman effect. For field normal to nodal plane, such bifurcations are discernible only if the electron effective mass is considerably smaller than its free value, which usually happens in these systems. Though a reduced effective mass $m^*$ causes the Zeeman splitting to become small compared to Landau level spacing, experimental results indicate a manyfold increase in the Lande $g$ factor which again amplifies the Zeeman contribution. We also consider magnetic field in the nodal plane for which the density of state peaks do not repeat periodically with energy anymore. The spectra become more spread out and the Zeeman splittings become less prominent. We find the low energy topological regime, that appears with such in-plane field set up, to shrink further with reduced $m^*$ values. However, such topological regime can be stretched out in case there are smaller Fermi velocities for electrons in the direction normal to the nodal plane.


title: A Theory of PAC Learnability of Partial Concept Classes

abstract: We extend the theory of PAC learning in a way which allows to model a rich variety of learning tasks where the data satisfy special properties that ease the learning process. For example, tasks where the distance of the data from the decision boundary is bounded away from zero. The basic and simple idea is to consider partial concepts: these are functions that can be undefined on certain parts of the space. When learning a partial concept, we assume that the source distribution is supported only on points where the partial concept is defined. This way, one can naturally express assumptions on the data such as lying on a lower dimensional surface or margin conditions. In contrast, it is not at all clear that such assumptions can be expressed by the traditional PAC theory. In fact we exhibit easy-to-learn partial concept classes which provably cannot be captured by the traditional PAC theory. This also resolves a question posed by Attias, Kontorovich, and Mansour 2019. We characterize PAC learnability of partial concept classes and reveal an algorithmic landscape which is fundamentally different than the classical one. For example, in the classical PAC model, learning boils down to Empirical Risk Minimization (ERM). In stark contrast, we show that the ERM principle fails in explaining learnability of partial concept classes. In fact, we demonstrate classes that are incredibly easy to learn, but such that any algorithm that learns them must use an hypothesis space with unbounded VC dimension. We also find that the sample compression conjecture fails in this setting. Thus, this theory features problems that cannot be represented nor solved in the traditional way. We view this as evidence that it might provide insights on the nature of learnability in realistic scenarios which the classical theory fails to explain.


title: Non-normal Hamiltonian dynamics in quantum systems and its realization on quantum computers

abstract: The eigenspectrum of a non-normal matrix, which does not commute with its Hermitian conjugate, is a central issue of non-Hermitian physics that has been extensively studied in the past few years. There is, however, another characteristic of a non-normal matrix that has often been overlooked: the pseudospectrum, or the set of spectra under small perturbations. In this paper, we study the dynamics driven by the non-normal matrix (Hamiltonian) realized as a continuous quantum trajectory of the Lindblad master equation in open quantum systems and point out that the dynamics can reveal the nature of unconventional pseudospectrum of the non-normal Hamiltonian. In particular, we focus on the transient dynamics of the norm of an unnormalized quantum state evolved with the non-normal Hamiltonian, which is related to the probability for observing the trajectory with no quantum jump. We formulate the transient suppression of the decay rate of the norm due to the pseudospectral behavior and derive a non-Hermitian/non-normal analog of the time-energy uncertainty relation. We also consider two methods to experimentally realize the non-normal dynamics and observe our theoretical findings on quantum computers: one uses a technique to realize non-unitary operations on quantum circuits and the other leverages a quantum-classical hybrid algorithm called variational quantum simulation. Our demonstrations using cloud-based quantum computers provided by IBM Quantum exhibit the frozen dynamics of the norm in transient time, which can be regarded as a non-normal analog of the quantum Zeno effect.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: Frobenius statistical manifolds & geometric invariants

abstract: In this paper, we explicitly prove that statistical manifolds, related to exponential families and with flat structure connection have a Frobenius manifold structure. This latter object, at the interplay of beautiful interactions between topology and quantum field theory, raises natural questions, concerning the existence of Gromov--Witten invariants for those statistical manifolds. We prove that an analog of Gromov--Witten invariants for those statistical manifolds (GWS) exists. Similarly to its original version, these new invariants have a geometric interpretation concerning intersection points of para-holomorphic curves. However, it also plays an important role in the learning process, since it determines whether a system has succeeded in learning or failed.


title: Demonstration of quantum correlations that are incompatible with absoluteness of measurement

abstract: Exploiting the tension between the two dynamics of quantum theory (QT) in the Wigner's Friend thought experiment, we point out that the standard QT leads to inconsistency in observed probabilities of measurement outcomes between two super-observers - Wigner and his Student. To avoid such inconsistent predictions of QT, we hypothesize two distinct perspectives. The first one is "Absoluteness of measurement (AoM)," that is, any measurement process is an absolute event irrespective of other observers and yields a single outcome. The other is "Non-absoluteness of measurement (NoM)" as the negation of AoM. We introduce an operational approach, first with one friend and then with two spatially separated friends, to test the validity of these two perceptions in quantum theory without assuming the details of the experiment. First, we show that the set of probabilities obtainable for NoM is strictly larger than the set obtainable for AoM. We provide the simplest scenario so far, involving a single quantum preparation and one unitary operation by a super-observer that can demonstrate correlations incompatible with AoM. Remarkably, in the scenario with spatially separated observers, we present a strict hierarchy among the sets of probabilities observed in the following three theories: classical or local realist, quantum theory with AoM, and quantum theory with NoM.


title: Scaling effects on the periodic homogenization of a reaction-diffusion-convection problem posed in homogeneous domains connected by a thin composite layer

abstract: We study the question of periodic homogenization of a variably scaled reaction-diffusion problem with non-linear drift posed for a domain crossed by a flat composite thin layer. The structure of the non-linearity in the drift was obtained in earlier works as hydrodynamic limit of a totally asymmetric simple exclusion process (TASEP) process for a population of interacting particles crossing a domain with obstacle. Using energy-type estimates as well as concepts like thin-layer convergence and two-scale convergence, we derive the homogenized evolution equation and the corresponding effective model parameters for a regularized problem. Special attention is paid to the derivation of the effective transmission conditions across the separating limit interface in essentially two different situations: (i) finitely thin layer and (ii) infinitely thin layer. This study should be seen as a preliminary step needed for the investigation of averaging fast non-linear drifts across material interfaces -- a topic with direct applications in the design of thin composite materials meant to be impenetrable to high-velocity impacts.


title: Towards Sympathetic Cooling of Single (Anti-)Protons

abstract: We present methods to manipulate and detect the motional state and the spin state of a single antiproton or proton which are currently under development within the BASE (Baryon Antibaryon Symmetry Experiment) collaboration. These methods include sympathetic laser cooling of a single (anti-)proton using a co-trapped atomic ion as well as quantum logic spectroscopy with the two particles and could be implemented within the collaboration for state preparation and state readout in the antiproton $g$-factor measurement experiment at CERN. In our project, these techniques shall be applied using a single $^9\text{Be}^+$ ion as the atomic ion in a Penning trap system at a magnetic field of 5 T. As an intermediate step, a controlled interaction of two beryllium ions in a double-well potential as well as sympathetic cooling of one ion by the other shall be demonstrated.


title: Robust Composition of Drone Delivery Services under Uncertainty

abstract: We propose a novel robust composition framework for drone delivery services considering changes in the wind patterns in urban areas. The proposed framework incorporates the dynamic arrival of drone services at the recharging stations. We propose a Probabilistic Forward Search (PFS) algorithm to select and compose the best drone delivery services under uncertainty. A set of experiments with a real drone dataset is conducted to illustrate the effectiveness and efficiency of the proposed approach.


title: Symmetries, partners and thresholds: the case of the $X_b$

abstract: The discovery of the $X(3872)$ meant the revival of the heavy meson spectroscopy beyond naive $q\bar q$ structures. Once that the $SU(3)$ scheme, which was very useful in the dawn of the quark models, does not work for these states, one has to use new symmetries, like Heavy Quark Spin Symmetry (HQSS) and Heavy Flavor Symmetry (HFS), to look for new states. However, at the energy regions where these new states appear, new factors are involved and it is not straightforward to relate the predictions of the symmetries with the data. In this work, we present a critical analysis of this problem and show, in a coupled-channels model, how the relative position of the bare $Q\bar Q$ states with respect to meson-meson thresholds and the coupling with other channels modulate the strength of the interaction and, hence, modify the structure of the predicted states. We found a possible candidate to the $X(3872)$ partner at $10599$ MeV$/c^2$.


title: On Minimum Spanning Trees for Random Euclidean Bipartite Graphs

abstract: We consider the minimum spanning tree problem on a weighted complete bipartite graph $K_{n_R, n_B}$ whose $n=n_R+n_B$ vertices are random, i.i.d. uniformly distributed points in the unit cube in $d$ dimensions and edge weights are the $p$-th power of their Euclidean distance, with $p>0$. In the large $n$ limit with $n_R/n \to \alpha_R$ and $0<\alpha_R<1$, we show that the maximum vertex degree of the tree grows logarithmically, in contrast with the classical, non-bipartite, case, where a uniform bound holds depending on $d$ only. Despite this difference, for $p<d$, we are able to prove that the total edge costs normalized by the rate $n^{1-p/d}$ converge to a limiting constant that can be represented as a series of integrals, thus extending a classical result of Avram and Bertsimas to the bipartite case and confirming a conjecture of Riva, Caracciolo and Malatesta.


title: Probabilistic Process Algebra for True Concurrency

abstract: The well-known process algebras, such as CCS, ACP and $\pi$-calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent process algebras, such as CTC, APTC and $\pi_{tc}$ , capture the true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity. Truly concurrent process algebras are generalizations of the corresponding traditional process algebras. In this book, we introduce probabilism into truly concurrent process algebras, based on the work on probabilistic process algebra.


title: Multi-objective Test Case Selection Through Linkage Learning-based Crossover

abstract: Test Case Selection (TCS) aims to select a subset of the test suite to run for regression testing. The selection is typically based on past coverage and execution cost data. Researchers have successfully used multi-objective evolutionary algorithms (MOEAs), such as NSGA-II and its variants, to solve this problem. These MOEAs use traditional crossover operators to create new candidate solutions through genetic recombination. Recent studies in numerical optimization have shown that better recombinations can be made using machine learning, in particular link-age learning. Inspired by these recent advances in this field, we propose a new variant of NSGA-II, called L2-NSGA, that uses linkage learning to optimize test case selection. In particular, we use an unsupervised clustering algorithm to infer promising patterns among the solutions (subset of test suites). Then, these patterns are used in the next iterations of L2-NSGA to create solutions that preserve these inferred patterns. Our results show that our customizations make NSGA-II more effective for test case selection. The test suite sub-sets generated by L2-NSGA are less expensive and detect more faults than those generated by MOEAs used in the literature for regression testing.


title: Moon in a puddle and the four-vertex theorem

abstract: We present a proof of the Moon in a puddle theorem, and use its key lemma to prove a generalization of the four-vertex theorem.


title: Congruence permutability is prime

abstract: We give a combinatorial proof that congruence permutability is prime in the lattice of interpretability types of varieties. Thereby, we settle a 1984 conjecture of Garcia and Taylor.


title: Reference Governor-Based Fault-Tolerant Constrained Control

abstract: This paper presents a fault-tolerant control scheme for constrained linear systems. First, a new variant of the Reference Governor (RG) called At Once Reference Governor (AORG) is introduced. The AORG is distinguished from the conventional RG by computing the Auxiliary Reference (AR) sequence so that to optimize performance over a prescribed time interval instead of only at the current time instant; this enables the integration of the AORG with fault detection schemes. In particular, it is shown that, when the AORG is combined with a Multi-Model Adaptive Estimator (MMAE), the AR sequence can be determined such that the tracking properties are guaranteed and constraints are satisfied at all times, while the detection performance is optimized, i.e., faults can be detected with a high probability of correctness. In addition a reconfiguration scheme is presented that ensures system viability despite the presence of faults based on recoverable sets. Simulations on a Boeing 747-100 aircraft model are carried out to evaluate the effectiveness of the AORG scheme in enforcing constraints and tracking the desired roll and side-slip angles. The effectiveness of the presented fault-tolerant control scheme in maintaining the airplane viability in the presence of damaged vertical stabilizer is also demonstrated.


title: A highly magnetised and rapidly rotating white dwarf as small as the Moon

abstract: White dwarfs represent the last stage of evolution of stars with mass less than about eight times that of the Sun and, like other stars, are often found in binaries. If the orbital period of the binary is short enough, energy losses from gravitational-wave radiation can shrink the orbit until the two white dwarfs come into contact and merge. Depending on the component masses, the merger can lead to a supernova of type Ia or result in a massive white dwarf. In the latter case, the white dwarf remnant is expected to be highly magnetised because of the strong magnetic dynamo that should arise during the merger, and be rapidly spinning from the conservation of the orbital angular momentum. Here we report observations of a white dwarf, ZTF J190132.9+145808.7, that exhibits these properties, but to an extreme: a rotation period of 6.94 minutes, a magnetic field ranging between 600 megagauss and 900 megagauss over its surface, and a stellar radius of about 2,100 km, slightly larger than the radius of the Moon. Such a small radius implies that the star's mass is close to the maximum white-dwarf mass, or Chandrasekhar mass. ZTF J190132.9+145808.7 is likely to be cooling through the Urca processes (neutrino emission from electron capture on sodium) because of the high densities reached in its core.


title: Compressed Monte Carlo with application in particle filtering

abstract: Bayesian models have become very popular over the last years in several fields such as signal processing, statistics, and machine learning. Bayesian inference requires the approximation of complicated integrals involving posterior distributions. For this purpose, Monte Carlo (MC) methods, such as Markov Chain Monte Carlo and importance sampling algorithms, are often employed. In this work, we introduce the theory and practice of a Compressed MC (C-MC) scheme to compress the statistical information contained in a set of random samples. In its basic version, C-MC is strictly related to the stratification technique, a well-known method used for variance reduction purposes. Deterministic C-MC schemes are also presented, which provide very good performance. The compression problem is strictly related to the moment matching approach applied in different filtering techniques, usually called as Gaussian quadrature rules or sigma-point methods. C-MC can be employed in a distributed Bayesian inference framework when cheap and fast communications with a central processor are required. Furthermore, C-MC is useful within particle filtering and adaptive IS algorithms, as shown by three novel schemes introduced in this work. Six numerical results confirm the benefits of the introduced schemes, outperforming the corresponding benchmark methods. A related code is also provided.


title: An improved Liouville type theorem for Beltrami flows

abstract: In this note, we improved the Liouville type theorem for the Beltrami flows. Two different methods are used to prove it. One is the monotonicity method, and the other is proof by contradiction. The conditions that we proposed on Beltrami flows are significantly weaker than previously known conditions.


title: Differentially Private Bayesian Neural Networks on Accuracy, Privacy and Reliability

abstract: Bayesian neural network (BNN) allows for uncertainty quantification in prediction, offering an advantage over regular neural networks that has not been explored in the differential privacy (DP) framework. We fill this important gap by leveraging recent development in Bayesian deep learning and privacy accounting to offer a more precise analysis of the trade-off between privacy and accuracy in BNN. We propose three DP-BNNs that characterize the weight uncertainty for the same network architecture in distinct ways, namely DP-SGLD (via the noisy gradient method), DP-BBP (via changing the parameters of interest) and DP-MC Dropout (via the model architecture). Interestingly, we show a new equivalence between DP-SGD and DP-SGLD, implying that some non-Bayesian DP training naturally allows for uncertainty quantification. However, the hyperparameters such as learning rate and batch size, can have different or even opposite effects in DP-SGD and DP-SGLD. Extensive experiments are conducted to compare DP-BNNs, in terms of privacy guarantee, prediction accuracy, uncertainty quantification, calibration, computation speed, and generalizability to network architecture. As a result, we observe a new tradeoff between the privacy and the reliability. When compared to non-DP and non-Bayesian approaches, DP-SGLD is remarkably accurate under strong privacy guarantee, demonstrating the great potential of DP-BNN in real-world tasks.


title: Cohomology of configuration spaces of surfaces as mapping class group representations

abstract: We express the rational cohomology of the unordered configuration space of a compact oriented manifold as a representation of its mapping class group in terms of a weight-decomposition of the rational cohomology of the mapping space from the manifold to a sphere. We apply this to the case of a compact oriented surface with one boundary component and explicitly compute the rational cohomology of its unordered configuration space as a representation of its mapping class group. In particular, this representation is not symplectic, but has trivial action of the second Johnson filtration subgroup of the mapping class group.


title: Sub-second periodicity in a fast radio burst

abstract: Fast radio bursts (FRBs) are millisecond-duration flashes of radio waves that are visible at distances of billions of light-years. The nature of their progenitors and their emission mechanism remain open astrophysical questions. Here we report the detection of the multi-component FRB 20191221A and the identification of a periodic separation of 216.8(1) ms between its components with a significance of 6.5 sigmas. The long (~3 s) duration and nine or more components forming the pulse profile make this source an outlier in the FRB population. Such short periodicity provides strong evidence for a neutron-star origin of the event. Moreover, our detection favours emission arising from the neutron-star magnetosphere, as opposed to emission regions located further away from the star, as predicted by some models.


title: Nonlinear optical effects on the atom-field interaction based on the nonlinear coherent states approach

abstract: In this paper, to study the effects of a nonlinear medium on the atom-field interaction, we use the nonlinear coherent states approach. For this purpose, we choose the two-mode cross-Kerr as the our nonlinear optical phenomena and with the use of it's algebra, we show that it can be described equivalently by a deformed oscillator algebra and also, by a deformed (su(2)) algebra. Then, we construct the associated coherent states and investigate their statistical properties. After that, as an example of applicability of the constructed two-mode nonlinear coherent states, we investigate the nonlinear effects of the medium on the dynamics of atom-field interaction within the framework of the coherent states. By using the time-dependent Schr\"odinger equation, we first obtain the atom-field state and then study the effect of the nonlinear medium on the occupation probabilities of the atomic levels. In the following, we consider the relation between the revival time of the atomic occupation probabilities and the nonlinear parameter of the medium. Then, to study the nonlinear effects on the dynamical properties of the cavity field, we consider photon distribution, correlation function, Mandel parameters of the field, the von Neumann entropy and the squeezing. Particularly, the nonlinearity of the media on the nonclassical properties of two modes is clarified.


title: Compressed particle methods for expensive models with application in Astronomy and Remote Sensing

abstract: In many inference problems, the evaluation of complex and costly models is often required. In this context, Bayesian methods have become very popular in several fields over the last years, in order to obtain parameter inversion, model selection or uncertainty quantification. Bayesian inference requires the approximation of complicated integrals involving (often costly) posterior distributions. Generally, this approximation is obtained by means of Monte Carlo (MC) methods. In order to reduce the computational cost of the corresponding technique, surrogate models (also called emulators) are often employed. Another alternative approach is the so-called Approximate Bayesian Computation (ABC) scheme. ABC does not require the evaluation of the costly model but the ability to simulate artificial data according to that model. Moreover, in ABC, the choice of a suitable distance between real and artificial data is also required. In this work, we introduce a novel approach where the expensive model is evaluated only in some well-chosen samples. The selection of these nodes is based on the so-called compressed Monte Carlo (CMC) scheme. We provide theoretical results supporting the novel algorithms and give empirical evidence of the performance of the proposed method in several numerical experiments. Two of them are real-world applications in astronomy and satellite remote sensing.


title: Supercurrent parity-meter in a nanowire Cooper-pair transistor

abstract: We study a Cooper-pair transistor realized by two Josephson weak links that enclose a superconducting island in an InSb-Al hybrid nanowire. When the nanowire is subject to a magnetic field, isolated subgap levels arise in the superconducting island and, due to the Coulomb blockade,mediate a supercurrent by coherent co-tunneling of Cooper pairs. We show that the supercurrent resulting from such co-tunneling events exhibits, for low to moderate magnetic fields, a phase offset that discriminates even and odd charge ground states on the superconducting island. Notably,this phase offset persists when a subgap state approaches zero energy and, based on theoretical considerations, permits parity measurements of subgap states by supercurrent interferometry. Such supercurrent parity measurements could, in a new series of experiments, provide an alternative approach for manipulating and protecting quantum information stored in the isolated subgap levels of superconducting islands.

categories: cond-mat.mes-hall cond-mat.supr-con physics.app-ph quant-ph


title: GoTube: Scalable Stochastic Verification of Continuous-Depth Models

abstract: We introduce a new stochastic verification algorithm that formally quantifies the behavioral robustness of any time-continuous process formulated as a continuous-depth model. Our algorithm solves a set of global optimization (Go) problems over a given time horizon to construct a tight enclosure (Tube) of the set of all process executions starting from a ball of initial states. We call our algorithm GoTube. Through its construction, GoTube ensures that the bounding tube is conservative up to a desired probability and up to a desired tightness. GoTube is implemented in JAX and optimized to scale to complex continuous-depth neural network models. Compared to advanced reachability analysis tools for time-continuous neural networks, GoTube does not accumulate overapproximation errors between time steps and avoids the infamous wrapping effect inherent in symbolic techniques. We show that GoTube substantially outperforms state-of-the-art verification tools in terms of the size of the initial ball, speed, time-horizon, task completion, and scalability on a large set of experiments. GoTube is stable and sets the state-of-the-art in terms of its ability to scale to time horizons well beyond what has been previously possible.


title: On the facet pivot simplex method for linear programming I: algorithms and numerical test

abstract: The Hirsch Conjecture stated that any d-dimensional polytope with n facets has a diameter at most equal to n - d. This conjecture was disproven by Santos (A counterexample to the Hirsch Conjecture, Annals of Mathematics, 172(1) 383-412, 2012). The implication of Santos' work is that all vertex pivot algorithms cannot solve the linear programming problem in the worst case in n - d vertex pivot iterations. In this paper, the first part in this series of papers, we propose a facet pivot method and perform some numerical tests to demonstrate its superiority to the existing vertex pivot method. In the second part of this series, we show that the proposed facet pivot method can solve the canonical linear programming problem in the worst case in at most n - d facet pivot iterations. This series of the papers was inspired by Smale's Problem 9 (Mathematical problems for the next century, In Arnold, V. I.; Atiyah, M.; Lax, P.; Mazur, B. Mathematics: frontiers and perspectives, American Mathematical Society, 271-294, 1999).


title: Quantitative Marcinkiewicz's theorem and central limit theorems: applications to spin systems and point processes

abstract: The classical Marcinkiewicz theorem states that if an entire characteristic function $\Psi$ of a non-degenerate real-valued random variable $X$ is of the form $\exp(P(u))$ for some polynomial $P$, then $X$ has to be a Gaussian. In this work, we obtain a broad, quantitative extension of this framework in several directions, establish central limit theorems (CLTs) with explicit rates of convergence, and demonstrate Gaussian fluctuations in continuous spin systems and general classes of point processes. In particular, we obtain quantitative decay estimates on the Kolmogorov-Smirnov distance between $X$ and a Gaussian under the condition that $\Psi$ does not vanish only on a bounded disk. This leads to quantitative CLTs applicable to very general and possibly strongly dependent random systems. In spite of the general applicability, our rates for the CLT match the classic Berry-Esseen bounds for independent sums up to a log factor. We implement this programme for two important classes of models in probability and statistical physics. First, we extend to the setting of continuous spins a popular paradigm for obtaining CLTs for discrete spin systems that is based on the theory of Lee-Yang zeros, focussing in particular on the XY model, Heisenberg ferromagnets and generalised Ising models. Secondly, we establish Gaussian fluctuations for linear statistics of so-called $\alpha$-determinantal processes for $\alpha \in \mathbb{R}$ (including the usual determinantal, Poisson and permanental processes) under very general conditions, including in particular higher dimensional settings where structural alternatives such as random matrix techniques are not available. Our applications demonstrate the significance of having to control the characteristic function only on a (small) disk, and lead to CLTs which, to the best of our knowledge, are not known in generality.

categories: math.PR cond-mat.stat-mech math-ph math.CA math.MP


title: ANFIC: Image Compression Using Augmented Normalizing Flows

abstract: This paper introduces an end-to-end learned image compression system, termed ANFIC, based on Augmented Normalizing Flows (ANF). ANF is a new type of flow model, which stacks multiple variational autoencoders (VAE) for greater model expressiveness. The VAE-based image compression has gone mainstream, showing promising compression performance. Our work presents the first attempt to leverage VAE-based compression in a flow-based framework. ANFIC advances further compression efficiency by stacking and extending hierarchically multiple VAE's. The invertibility of ANF, together with our training strategies, enables ANFIC to support a wide range of quality levels without changing the encoding and decoding networks. Extensive experimental results show that in terms of PSNR-RGB, ANFIC performs comparably to or better than the state-of-the-art learned image compression. Moreover, it performs close to VVC intra coding, from low-rate compression up to nearly-lossless compression. In particular, ANFIC achieves the state-of-the-art performance, when extended with conditional convolution for variable rate compression with a single model.


title: A stepped sampling method for video detection using LSTM

abstract: Artificial neural networks that simulate human achieves great successes. From the perspective of simulating human memory method, we propose a stepped sampler based on the "repeated input". We repeatedly inputted data to the LSTM model stepwise in a batch. The stepped sampler is used to strengthen the ability of fusing the temporal information in LSTM. We tested the stepped sampler on the LSTM built-in in PyTorch. Compared with the traditional sampler of PyTorch, such as sequential sampler, batch sampler, the training loss of the proposed stepped sampler converges faster in the training of the model, and the training loss after convergence is more stable. Meanwhile, it can maintain a higher test accuracy. We quantified the algorithm of the stepped sampler. We assume that, the artificial neural networks have human-like characteristics, and human learning method could be used for machine learning.


title: A locally calculable $P^3$-pressure in a decoupled method for incompressible Stokes equations

abstract: This paper will suggest a new finite element method to find a $P^4$-velocity and a $P^3$-pressure solving incompressible Stokes equations at low cost. The method solves first the decoupled equation for a $P^4$-velocity. Then, using the calculated velocity, a locally calculable $P^3$-pressure will be defined component-wisely. The resulting $P^3$-pressure is analyzed to have the optimal order of convergence. Since the pressure is calculated by local computation only, the chief time cost of the new method is on solving the decoupled equation for the $P^4$-velocity. Besides, the method overcomes the problem of singular vertices or corners.


title: Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Fast Polynomial Algorithms over all Finite Fields

abstract: For smooth finite fields $F_q$ (i.e., when $q-1$ factors into small primes) the Fast Fourier Transform (FFT) leads to the fastest known algebraic algorithms for many basic polynomial operations, such as multiplication, division, interpolation and multi-point evaluation. However, the same operations over fields with no smooth order root of unity suffer from an asymptotic slowdown. The classical algorithm of Schonhage and Strassen incurred a multiplicative slowdown factor of $\log \log n$ on top of the smooth case. Recent remarkable results of Harvey, van der Hoeven and Lecerf dramatically reduced this multiplicative overhead to $\exp(\log^* (n))$. We introduce a new approach to fast algorithms for polynomial operations over all large finite fields. The key idea is to replace the group of roots of unity with a set of points $L \subset F$ suitably related to a well-chosen elliptic curve group (the set $L$ itself is not a group). The key advantage of this approach is that elliptic curve groups can be of any size in the Hasse-Weil interval $[q+1 \pm 2\sqrt{q}]$ and thus can have subgroups of large, smooth order, which an FFT-like divide and conquer algorithm can exploit. Compare this with multiplicative subgroups over whose order must divide $q-1$. For polynomials represented by their evaluation over subsets of $L$, we show that multiplication, division, degree-computation, interpolation, evaluation and Reed-Solomon encoding (also known as low-degree extension) with fixed evaluation points can all be computed with arithmetic circuits of size similar to what is achievable with the classical FFTs when the field size is special. For several problems, this yields the asymptotically smallest known arithmetic circuits even in the standard monomial representation of polynomials.


title: Topological Defects, Inherent Structures, and Hyperuniformity

abstract: Disordered hyperuniform systems are exotic states of matter that completely suppress large-scale density fluctuations like crystals, and yet possess no Bragg peaks similar to liquids or glasses. Such systems have been discovered in a variety of equilibrium and non-equilibrium physical and biological systems, and are often endowed with novel physical properties. The mechanisms associated with the emergence of disordered hyperuniformity in nonequilibrium systems, in particular inherent structures are often not well understood, which we will address from a topological perspective in this work. Specifically, we consider a representative class of disordered inherent structures which are constructed by continuously introducing randomly distributed topological defects (dislocations and disclinations) often seen in colloidal systems and atomic-scale two-dimensional materials. We demonstrate that these inherent structures can be viewed as topological variants of ordered hyperuniform states (such as crystals) linked through continuous topological transformation pathways, which remarkably preserve hyperuniformity. Moreover, we develop a continuum theory to demonstrate that the large-scale density fluctuations in these inherent structures are mainly dominated by the elastic displacement fields resulted from the topological defects, which at low defect concentrations can be approximated as superposition of the displacement fields associated with each individual defect (strain source). We rigorously demonstrate that hyperuniformity is preserved as long as certain conditions associated with the displacement fields are met. Our results also highlight the importance of decoupling the positional degrees of freedom from the vibrational degrees of freedom when looking for disordered hyperuniformity, since the hyperuniformity property is often cloaked by thermal fluctuations.


title: Large time probability of failure in diffusive search with resetting in arbitrary dimension--a functional analytic approach

abstract: We consider a stochastic search model with resetting for an unknown stationary target $a\in\mathbb{R}^d,\ d\ge1$, with known distribution $\mu$. The searcher begins at the origin and performs Brownian motion with diffusion coefficient $D$. The searcher is also armed with an exponential clock with rate $r>0$, so that if it has failed to locate the target by the time the clock rings, then its position is reset to the origin and it continues its search anew from there. In dimension one, the target is considered located when the process hits the point $a$, while in dimensions two and higher, one chooses an $\epsilon_0>0$ and the target is considered located when the process hits the $\epsilon_0$-ball centered at $a$. Denote the position of the searcher at time $t$ by $X(t)$, let $\tau_a$ denote the time that a target at $a$ is located, and let $P^{d;(r,0)}_0$ denote probabilities for the process starting from 0. Taking a functional analytic point of view, and using the generator of the Markovian search process and its adjoint, we obtain precise estimates, uniformly in $a$, on the asymptotic behavior of $P^{d;(r,0)}_0(\tau_a>t)$ for large time, and then use this to obtain large time estimates on $\int_{\mathbb{R}^d}P^{d;(r,0)}_0(\tau_a>t)d\mu(a)$, the probability that the searcher has failed up to time $t$ to locate the random target, distributed according to $\mu$.


title: Hamiltonian cycles in 7-tough $(P_3\cup 2P_1)$-free graphs

abstract: The toughness of a noncomplete graph $G$ is the maximum real number $t$ such that the ratio of $|S|$ to the number of components of $G-S$ is at least $t$ for every cutset $S$ of $G$, and the toughness of a complete graph is defined to be $\infty$. Determining the toughness for a given graph is NP-hard. Chv\'{a}tal's toughness conjecture, stating that there exists a constant $t_0$ such that every graph with toughness at least $t_0$ is hamiltonian, is still open for general graphs. A graph is called $(P_3\cup 2P_1)$-free if it does not contain any induced subgraph isomorphic to $P_3\cup 2P_1$, the disjoint union of $P_3$ and two isolated vertices. In this paper, we confirm Chv\'{a}tal's toughness conjecture for $(P_3\cup 2P_1)$-free graphs by showing that every 7-tough $(P_3\cup 2P_1)$-free graph on at least three vertices is hamiltonian.


title: Crystalline quality in aluminium single crystals, characterized by X-Ray diffraction and Rocking-Curve analysis

abstract: Aluminum single crystals are tested using X-Ray Bragg diffraction, which may have applications in microscopy and electronics fabrication industry. Yet, their efficiency for x- ray beam diffraction depends on the accurate crystal orientation, the microstructure and imperfections. Moreover, the final sample that is formed from the as-grown crystal by cutting, grinding, polishing and chemical etching, introduces various surface defects that penetrate deep into the crystal affecting its natural structure. Defect penetration is attributed to the fact that ultra-pure aluminum single crystals are soft and ductile with a hardness in the range of 2~2.5 mho. This leads to lattice deformation, resulting in a deviation from the crystallographic orientation of the final device, affecting the diffraction intensity and an apparent shift in the Bragg angle. In this work we investigate the influence of processing aluminum single crystals by mechanical and chemical means using XRD and Rocking-Curve broadening as a quantitative indication concerning the depth of the damage. This is a preliminary step in supporting future work on the study of electrical conduction in aluminum single crystals. Supplementing electrical conductivity measurements of aluminum, quality assessment of defects in front cell aluminum conductors can assist in designing novel low resistance aluminum conductors replacing the currently widely used and relatively rare silver.


title: Orbitronics: Orbital Currents in Solids

abstract: In solids, electronic Bloch states are formed by atomic orbitals. While it is natural to expect that orbital composition and information about Bloch states can be manipulated and transported, in analogy to the spin degree of freedom extensively studied in past decades, it has been assumed that orbital quenching by the crystal field prevents significant dynamics of orbital degrees of freedom. However, recent studies reveal that an orbital current, given by the flow of electrons with a finite orbital angular momentum, can be electrically generated and transported in wide classes of materials despite the effect of orbital quenching in the ground state. Orbital currents also play a fundamental role in the mechanisms of other transport phenomena such as spin Hall effect and valley Hall effect. Most importantly, it has been proposed that orbital currents can be used to induce magnetization dynamics, which is one of the most pivotal and explored aspects of magnetism. Here, we give an overview of recent progress and the current status of research on orbital currents. We review proposed physical mechanisms for generating orbital currents and discuss candidate materials where orbital currents are manifest. We review recent experiments on orbital current generation and transport and discuss various experimental methods to quantify this elusive object at the heart of $orbitronics$ $-$ an area which exploits the orbital degree of freedom as an information carrier in solid-state devices.


title: A singular perturbation problem for mean field games of acceleration: application to mean field games of control

abstract: We study the singular perturbation problem for mean field game systems with control of acceleration. For such a problem we analyze the behavior of solutions as the acceleration costs vanishes. In this setting the Hamiltonian fails to be strictly convex and coercive w.r.t. the momentum variable and this creates new issues in the analysis of the problem. We show that the limit system is of MFG type: we first study the convergence to the classical MFG system and, then, by a finer analysis of the Euler-Lagrange flow associated with the control of acceleration we show the convergence to a class of, so-called, MFG of control problems.


title: Efficient algorithms for maximum induced matching problem in permutation and trapezoid graphs

abstract: We first design an $\mathcal{O}(n^2)$ solution for finding a maximum induced matching in permutation graphs given their permutation models, based on a dynamic programming algorithm with the aid of the sweep line technique. With the support of the disjoint-set data structure, we improve the complexity to $\mathcal{O}(m + n)$. Consequently, we extend this result to give an $\mathcal{O}(m + n)$ algorithm for the same problem in trapezoid graphs. By combining our algorithms with the current best graph identification algorithms, we can solve the MIM problem in permutation and trapezoid graphs in linear and $\mathcal{O}(n^2)$ time, respectively. Our results are far better than the best known $\mathcal{O}(mn)$ algorithm for the maximum induced matching problem in both graph classes, which was proposed by Habib et al.


title: Accessing United States Bulk Patent Data with patentpy and patentr

abstract: The United States Patent and Trademark Office (USPTO) provides publicly accessible bulk data files containing information for all patents from 1976 onward. However, the format of these files changes over time and is memory-inefficient, which can pose issues for individual researchers. Here, we introduce the patentpy and patentr packages for the Python and R programming languages. They allow users to programmatically fetch bulk data from the USPTO website and access it locally in a cleaned, rectangular format. Research depending on United States patent data would benefit from the use of patentpy and patentr. We describe package implementation, quality control mechanisms, and present use cases highlighting simple, yet effective, applications of this software.


title: On Global Maximization of Bounded Hessian Functions over Strongly Convex Domains

abstract: In this paper we present two frameworks in which global maximization of a bounded hessian function over a strongly convex set can be reduced to convex optimization. The first presented framework is a continuation of one of our previous papers [11]. We improve the results and give an explicit algorithm for the computation in polynomial time of the farthest point in a finite intersection of n-disks to $C \in \mathbb{R}^{n \times 1}$ under the requirement that $C$ does not belong to the convex hull of the centers of the n-disks. Finally, in order to overcome this limitation we present a second framework which characterizes the furthest in the finite intersection of n-disks with $C$ in the convex hull. Unfortunately this second framework requires the ability to decide if a polytope that we define is included in the intersection, which is hard in general. However, as a particular application of our second framework we are able solve in P time some instances of the subset sum problem with real entries: given a set of real numbers decide if there is a subset which adds up to zero.


title: Statistical correlation between quantum entanglement and spin-orbit coupling in crossed beam molecular dynamics

abstract: Non-classical features like interference is already being harnessed to control the output of chemical reactions. However quantum entanglement which is an equally enigmatic many-body quantum correlation can also be used as a powerful resource yet have eluded explicit attention. In this report, we propose an experimental scheme under the crossed beam molecular dynamical setup, with the F+HD reaction, aiming to study the possible influence of entanglement within reactant pairs on the angular features of the product distribution. The aforesaid reaction has garnered interest recently as an unusual horseshoe shape pattern in the product (HF) distribution was observed, which has been attributed to the coupling of spin and orbital degrees of freedom. We propose an experimental scheme aiming to study the possible influence of entanglement on the necessity for the inclusion of such spin-orbit characteristics, under circumstances wherein the existence of entanglement and spin-orbit interaction is simultaneously detectable. We further numerically simulate the attainable results highlighting specific patterns corresponding to various possibilities. Such studies if extended can provide unforeseen mechanistic insight in analogous reactions too from the lens of quantum information.


title: A Novel Evolutionary Algorithm for Hierarchical Neural Architecture Search

abstract: In this work, we propose a novel evolutionary algorithm for neural architecture search, applicable to global search spaces. The algorithm's architectural representation organizes the topology in multiple hierarchical modules, while the design process exploits this representation, in order to explore the search space. We also employ a curation system, which promotes the utilization of well performing sub-structures to subsequent generations. We apply our method to Fashion-MNIST and NAS-Bench101, achieving accuracies of $93.2\%$ and $94.8\%$ respectively in a relatively small number of generations.


title: One-loop corrections to the spectral action

abstract: We analyze the perturbative quantization of the spectral action in noncommutative geometry and establish its one-loop renormalizability in a generalized sense, while staying within the spectral framework of noncommutative geometry. Our result is based on the perturbative expansion of the spectral action in terms of higher Yang-Mills and Chern-Simons forms. In the spirit of random noncommutative geometries, we consider the path integral over matrix fluctuations around a fixed noncommutative gauge background and show that the corresponding one-loop counterterms are of the same form so that they can be safely subtracted from the spectral action. A crucial role will be played by the appropriate Ward identities, allowing for a fully spectral formulation of the quantum theory at one loop.


title: Theory of correlated insulators and superconductivity in twisted bilayer graphene

abstract: We introduce and analyze a model that sheds light on the interplay between correlated insulating states, superconductivity, and flavor-symmetry breaking in magic angle twisted bilayer graphene. Using a variational mean-field theory, we determine the normal-state phase diagram of our model as a function of the band filling. The model features robust insulators at even integer fillings, occasional weaker insulators at odd integer fillings, and a pattern of flavor-symmetry breaking at non-integer fillings. Adding a phonon-mediated inter-valley retarded attractive interaction, we obtain strong-coupling superconducting domes, whose structure is in qualitative agreement with experiments. Our model elucidates how the intricate form of the interactions and the particle-hole asymmetry of the electronic structure determine the phase diagram. It also explains how subtle differences between devices may lead to the different behaviors observed experimentally. A similar model can be applied with minor modifications to other moir\'{e} systems, such as twisted trilayer graphene.


title: Coherent states for dispersive pseudo-Landau-levels in strained honeycomb lattices

abstract: Dirac fermions in graphene may experiment dispersive pseudo-Landau levels due to a homogeneous pseudomagnetic field and a position-dependent Fermi velocity induced by strain. In this paper, we study the (semi-classical) dynamics of these particles under such a physical context from an approach of coherent states. For this purpose we use a Landau-like gauge to built Perelomov coherent states by the action of a non-unitary displacement operator $D(\alpha)$ on the fundamental state of the system. We analyze the time evolution of the probability density and the generalized uncertainty principle as well as the Wigner function for the coherent states. Our results show how $x$-momentum dependency affects the motion periodicity and the Wigner function shape in phase space.


title: A note on the article "On Exploiting Spectral Properties for Solving MDP with Large State Space"

abstract: We improve a theoretical result of the article "On Exploiting Spectral Properties for Solving MDP with Large State Space" showing that their algorithm, which was proved to converge under some unrealistic assumptions, is actually guaranteed to converge always.