title: Transition from three- to two-dimensional Ising superconductivity in few-layer NbSe2 by proximity effect from van der Waals heterostacking

abstract: We report the experimental observation of Ising superconductivity in 3-dimensional NbSe2 stacked with single-layer MoS2. The angular dependence of the upper critical magnetic field and the temperature dependence of the upper parallel critical field confirm the appearance of two-dimensional Ising superconductivity in the 3-dimensional NbSe2 with single-layer MoS2 overlay. We show that the superconducting phase has strong Ising spin-orbit correlations which make the holes spin non-degenerate. Our observation of Ising superconductivity in heterostructures of few-layer NbSe2 of thickness ~ 15 nm with single-layer MoS2 raises the interesting prospect of observing topological chiral superconductors with nontrivial Chern numbers in a momentum-space spin-split fermionic system.


title: A Bayesian Nash equilibrium-based moving target defense against stealthy sensor attacks

abstract: We present a moving target defense strategy to reduce the impact of stealthy sensor attacks on feedback systems. The defender periodically and randomly switches between thresholds from a discrete set to increase the uncertainty for the attacker and make stealthy attacks detectable. However, the defender does not know the exact goal of the attacker but only the prior of the possible attacker goals. Here, we model one period with a constant threshold as a Bayesian game and use the Bayesian Nash equilibrium concept to find the distribution for the choice of the threshold in that period, which takes the defender's uncertainty about the attacker into account. To obtain the equilibrium distribution, the defender minimizes its cost consisting of the cost for false alarms and the cost induced by the attack. We present a necessary and sufficient condition for the existence of a moving target defense and formulate a linear program to determine the moving target defense. Furthermore, we present a closed-form solution for the special case when the defender knows the attacker's goals. The results are numerically evaluated on a four-tank process.


title: CAHA/PPAK Integral-field Spectroscopic Observations of M81 -- I. Circumnuclear ionized gas

abstract: Galactic circumnuclear environments of nearby galaxies provide unique opportunities for our understanding of the co-evolution between super-massive black holes and their host galaxies. Here we present a detailed study of ionized gas in the central kiloparsec region of M81, which hosts the closest prototype low-luminosity active galactic nucleus, based on optical integral-field spectroscopic observations taken with the CAHA 3.5m telescope. It is found that much of the circumnuclear ionized gas is concentraed within a bright core of $\sim$200 pc in extent and a surrounding spiral-like structure known as the nuclear spiral. The total mass of the ionized gas is estimated to be $\sim2\times10^5\rm~M_\odot$, which corresponds to a few percent of the cold gas mass in this region, as traced by co-spatial dust extinction features. Plausible signature of a bi-conical outflow along the disk plane is suggested by a pair of blueshifted/redshifted low-velocity features, symmetrically located at $\sim$ 120 -- 250 pc from the nucleus. The spatially-resolved line ratios of [N\,{\sc ii}]/H$\alpha$ and [O\,{\sc iii}]/H$\beta$ demonstrate that much of the circumnuclear region can be classified as LINER (low-ionization nuclear emission-line region). However, substantial spatial variations in the line intensities and line ratios strongly suggest that different ionization/excitation mechanisms, rather than just a central dominant source of photoionization, are simultaneously at work to produce the observed line signatures.


title: Effective color charge in high temperaure gluon plasma at A_0 background

abstract: In high temperature SU(2) gluodynamics, in a relativistic background R^{ext.}_xi gauge, the effective color charge (g^2(A_0))_eff. is calculated in the presence of the A_0 condensate which is related to Polyakov's loop and also serves as the order parameter of the deconfinement phase transition at high temperature. The gauge-invariant value of the condensate ((A_0)^cl)_0 is obtained from the two-loop effective potential of order parameter W_L(A_0^cl) which is independent of the gauge-fixing parameter xi and has a nontrivial minimum position. Due to smallness of the expansion parameter ~ g^2/(8 pi^2), this potential is applicable at high temperatures beginning from the deconfinement temperature T_d. The effective charge accounts for a correlation between the one- and the two-loop terms of the W_L(A_0^cl). It results in decreasing of the effective gluon interactions in the plasma, compared to the zero condensate case. Temperature dependence of (g^2(A_0))_eff. is investigated. The importance of the found dependence for different applications is noted.


title: DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents

abstract: Scalability and accuracy are well recognized challenges in deep extreme multi-label learning where the objective is to train architectures for automatically annotating a data point with the most relevant subset of labels from an extremely large label set. This paper develops the DeepXML framework that addresses these challenges by decomposing the deep extreme multi-label task into four simpler sub-tasks each of which can be trained accurately and efficiently. Choosing different components for the four sub-tasks allows DeepXML to generate a family of algorithms with varying trade-offs between accuracy and scalability. In particular, DeepXML yields the Astec algorithm that could be 2-12% more accurate and 5-30x faster to train than leading deep extreme classifiers on publically available short text datasets. Astec could also efficiently train on Bing short text datasets containing up to 62 million labels while making predictions for billions of users and data points per day on commodity hardware. This allowed Astec to be deployed on the Bing search engine for a number of short text applications ranging from matching user queries to advertiser bid phrases to showing personalized ads where it yielded significant gains in click-through-rates, coverage, revenue and other online metrics over state-of-the-art techniques currently in production. DeepXML's code is available at https://github.com/Extreme-classification/deepxml


title: BSC: Block-based Stochastic Computing to Enable Accurate and Efficient TinyML

abstract: Along with the progress of AI democratization, machine learning (ML) has been successfully applied to edge applications, such as smart phones and automated driving. Nowadays, more applications require ML on tiny devices with extremely limited resources, like implantable cardioverter defibrillator (ICD), which is known as TinyML. Unlike ML on the edge, TinyML with a limited energy supply has higher demands on low-power execution. Stochastic computing (SC) using bitstreams for data representation is promising for TinyML since it can perform the fundamental ML operations using simple logical gates, instead of the complicated binary adder and multiplier. However, SC commonly suffers from low accuracy for ML tasks due to low data precision and inaccuracy of arithmetic units. Increasing the length of the bitstream in the existing works can mitigate the precision issue but incur higher latency. In this work, we propose a novel SC architecture, namely Block-based Stochastic Computing (BSC). BSC divides inputs into blocks, such that the latency can be reduced by exploiting high data parallelism. Moreover, optimized arithmetic units and output revision (OUR) scheme are proposed to improve accuracy. On top of it, a global optimization approach is devised to determine the number of blocks, which can make a better latency-power trade-off. Experimental results show that BSC can outperform the existing designs in achieving over 10% higher accuracy on ML tasks and over 6 times power reduction.


title: Interplay of beam polarisation and systematic uncertainties at future $e^+e^-$ colliders

abstract: Future high-energy $e^+e^-$ colliders will provide some of the most precise tests of the Standard Model. Statistical uncertainties on electroweak precision observables and triple gauge couplings are expected to improve by orders of magnitude over current measurements. This provides a new challenge in accurately assessing and minimising the impact of systematic uncertainties. Beam polarisation may hold a unique potential to isolate and determine the size of systematic effects. So far, studies have mainly focused on the statistical improvements from beam polarisation. This study aims to assess, for the first time, its impact on systematic uncertainties. A combined fit of precision observables, such as chiral fermion couplings and anomalous triple gauge couplings, together with experimental systematic effects is performed on generator-level differential distribution of 2-fermion and 4-fermion final-states. Different configurations of available beam polarisations and luminosities are tested with and without systematic effects, and will be discussed in the context of the existing projections on fermion and gauge boson couplings from detailed experimental simulations.


title: Model Predictive Control Tailored to Epidemic Models

abstract: We propose a model predictive control (MPC) approach for minimising the social distancing and quarantine measures during a pandemic while maintaining a hard infection cap. To this end, we study the admissible and the maximal robust positively invariant set (MRPI) of the standard SEIR compartmental model with control inputs. Exploiting the fact that in the MRPI all restrictions can be lifted without violating the infection cap, we choose a suitable subset of the MRPI to define terminal constraints in our MPC routine and show that the number of infected people decays exponentially within this set. Furthermore, under mild assumptions we prove existence of a uniform bound on the time required to reach this terminal region (without violating the infection cap) starting in the admissible set. The findings are substantiated based on a numerical case study.


title: Strategic COVID-19 vaccine distribution can simultaneously elevate social utility and equity

abstract: Balancing social utility and equity in distributing limited vaccines represents a critical policy concern for protecting against the prolonged COVID-19 pandemic. What is the nature of the trade-off between maximizing collective welfare and minimizing disparities between more and less privileged communities? To evaluate vaccination strategies, we propose a novel epidemic model that explicitly accounts for both demographic and mobility differences among communities and their association with heterogeneous COVID-19 risks, then calibrate it with large-scale data. Using this model, we find that social utility and equity can be simultaneously improved when vaccine access is prioritized for the most disadvantaged communities, which holds even when such communities manifest considerable vaccine reluctance. Nevertheless, equity among distinct demographic features are in tension due to their complex correlation in society. We design two behavior-and-demography-aware indices, community risk and societal harm, which capture the risks communities face and those they impose on society from not being vaccinated, to inform the design of comprehensive vaccine distribution strategies. Our study provides a framework for uniting utility and equity-based considerations in vaccine distribution, and sheds light on how to balance multiple ethical values in complex settings for epidemic control.


title: A one-phase space -- fractional Stefan problem with no liquid initial domain

abstract: Taking into account the recent works \cite{RoTaVe:2020} and \cite{Rys:2020}, we consider a phase-change problem for a one dimensional material with a non-local flux, expressed in terms of the Caputo derivative, which derives in a space-fractional Stefan problem. We prove existence of a unique solution to a phase-change problem with the fractional Neumann boundary condition at the fixed face $x=0$, where the domain, at the initial time, consists of liquid and solid. Then we use this result to prove the existence of a limit solution to an analogous problem with solid initial domain, when it is not possible to transform the domain into a cylinder.


title: Hide and Seek with the Third Family Hypercharge Model's $Z^\prime$ at the Large Hadron Collider

abstract: The Third Family Hypercharge Model predicts a $Z^\prime$ gauge boson with flavour dependent couplings which has been used to explain anomalies in meson decay processes which involve the $b\rightarrow s\mu^+\mu^-$ transition. The model predicts that a TeV-scale $Z^\prime$ should decay to particle-antiparticle pairs of muons, taus, top quarks and bottom quarks with appreciable branching ratios. We reinterpret various ATLAS and CMS search limits for $Z^\prime$ production followed by such decays at the LHC over a parameter space of the model that results from a successful combined fit to the $b\rightarrow s l^+ l^-$ data and precision electroweak observables. Current exclusions in parameter space and expected sensitivities of the various different channels in the high-luminosity run are compared. We find that the high-luminosity run of the LHC will significantly increase the sensitivity to the model beyond the existing observational limits, which we find to be surprisingly weak.


title: EPTAS for parallel identical machine scheduling with time restrictions

abstract: We consider the non-preemptive scheduling problem on identical machines where there is a parameter B and each machine in every unit length time interval can process up to B different jobs. The goal function we consider is the makespan minimization and we develop an EPTAS for this problem. Prior to our work a PTAS was known only for the case of one machine and constant values of B, and even the case of non-constant values of B on one machine was not known to admit a PTAS.


title: Deep-learning in the bioimaging wild: Handling ambiguous data with deepflash2

abstract: We present deepflash2, a deep learning solution that facilitates the objective and reliable segmentation of ambiguous bioimages through multi-expert annotations and integrated quality assurance. Thereby, deepflash2 addresses typical challenges that arise during training, evaluation, and application of deep learning models in bioimaging. The tool is embedded in an easy-to-use graphical user interface and offers best-in-class predictive performance for semantic and instance segmentation under economical usage of computational resources.


title: Glass transition in monatomic systems: smearing of the same structure vs two structure competition

abstract: In the present paper we discuss the properties of Voronoi polygons in several monatomic glass-forming systems and compare them with those of the Kob-Andersen mixture. We show that two mechanisms of glass formation are possible: smearing of Voronoi polygons or formation of polygons of two different shapes. Both mechanisms lead to disturbance of the crystalline order in the system and glass transition.


title: Second-order generalized Monge--Amp\`ere equations on a plane and its geometric singular solutions

abstract: In the present paper, we study some generalized Monge--Amp\`ere equations in terms of special exterior differential systems on a jet space. Moreover, we construct geometric singular solutions of the generalized Monge--Amp\`ere equations by using the method of Cauchy characteristics. Furthermore, we give criteria for geometric singular solutions to be right-left equivalent to the cuspidal edge, swallowtail and butterfly.


title: Non-thermally trapped inflation by tachyonic dark photon production

abstract: We show that a dark Higgs field charged under U(1)$_{\rm H}$ gauge symmetry is trapped at the origin for a long time, if dark photons are produced by an axion condensate via tachyonic preheating. The trapped dark Higgs can drive late-time inflation, producing a large amount of entropy. Unlike thermal inflation, the dark Higgs potential does not have to be very flat, because the effective mass for the dark Higgs is enhanced by large field values of dark photons with extremely low momentum. After inflation, the dark Higgs decays into massive dark photons, which further decay into the SM particles through a kinetic mixing. We show that a large portion of the viable parameter space is within the future experimental searches for the dark photon, because the kinetic mixing is bounded below for successful reheating. We also comment on the Schwinger effect which can hamper the tachyonic production of dark photons, when the mass of dark photon is not the St\"{u}ckelberg mass, but is generated by the Higgs mechanism. Such non-thermal trapped inflation could be applied to other cosmological scenarios such as the early dark energy, known as one of the solutions to the Hubble tension.


title: The Bertini irreducibility theorem for higher codimensional slices

abstract: Poonen and Slavov recently developed a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing. In this paper, we extend their work by proving an analogous bound for the dimension of the exceptional locus in the setting of linear subspaces of higher codimensions.


title: Time-linear scaling NEGF methods for real-time simulations of interacting electrons and bosons. I. Formalism

abstract: Simulations of interacting electrons and bosons out of equilibrium, starting from first principles and aiming at realistic multiscale scenarios, is a grand theoretical challenge. Here, using the formalism of nonequilibrium Green's functions and relying in a crucial way on the recently discovered time-linear formulation of the Kadanoff-Baym equations, we present a versatile toolbox for the simulation of correlated electron-boson dynamics. A large class of methods are available, from the Ehrenfest to the dressed $GD$ for the treatment of electron-boson interactions in combination with perturbative, i.e., Hartree-Fock and second-Born, or nonperturbative, i.e., $GW$ and $T$-matrices either without or with exchange effects, for the treatment of the Coulomb interaction. In all cases the numerical scaling is linear in time and the equations of motion satisfy all fundamental conservation laws.


title: Time-linear scaling NEGF methods for real-time simulations of interacting electrons and bosons. II. Dynamics of polarons and doublons

abstract: Nonequilibrium dynamics of the open chain Holstein-Hubbard model is studied using the linear time-scaling GKBA+ODE scheme developed in the preceeding paper. We focus on the set of parameters relevant for photovoltaic materials, i.\,e., a pair of electrons interacting with phonons at the cross-over between the adiabatic and anti-adiabatic regimes and at moderately large electron-electron interaction. By comparing with exact solutions for two corner cases, we demonstrate the accuracy of the $T$-matrix (in the $pp$ channel) and the second-order Fan ($GD$) approximations for the treatment of electronic ($e$-$e$) and electron-phonon ($e$-ph) correlations, respectively. The feedback of electron on phonons is consistently included and is shown to be mandatory for the total energy conservation. When two interactions are simultaneously present, our simulations offer a glimpse into the dynamics of doublons and polarons unveiling the formation, propagation and decay of these quasiparticles, energy redistribution between them and self-trapping of electrons.


title: Masses, bulk densities, and macroporosities of asteroids (15) Eunomia, (29) Amphitrite, (52) Europa, and (445) Edna based on Gaia astrometry

abstract: Gaia Data Release 2 (DR2) includes milliarcsecond-accuracy astrometry for 14,099 asteroids. We explore the practical impact of this data for the purpose of asteroid mass and orbit estimation by estimating the masses individually for four large asteroids. We use various combinations of Gaia astrometry and/or Earth-based astrometry so as to determine the impact of Gaia on the estimated masses. By utilizing published information about estimated volumes and meteorite analogs, we also derive estimates for bulk densities and macroporosities. We apply a Markov chain Monte Carlo (MCMC) algorithm for asteroid mass and orbit estimation by modeling asteroid-asteroid close encounters to four separate large asteroids in an attempt to estimate their masses based on multiple simultaneously studied close encounters with multiple test asteroids. In order to validate our algorithm and data treatment, we apply the MCMC algorithm to pure orbit determination for the main-belt asteroid (367) Amicitia and compare the residuals to previously published ones. In addition, we attempt to estimate a mass for (445) Edna with Gaia astrometry alone based on its close encounter with (1764) Cogshall. In the case of the orbit of (367) Amicitia, we find a solution that improves on the previously published solution. The study of (445) Edna reveals that mass estimation with DR2 astrometry alone is unfeasible and that it must be combined with astrometry from other sources to achieve meaningful results. We find that a combination of DR2 and Earth-based astrometry results in dramatically reduced uncertainties and, by extension, significantly improved results in comparison to those computed based on less accurate Earth-based astrometry alone.


title: Combined effects in mixed local-nonlocal stationary problems

abstract: In this work, we study an elliptic problem involving an operator of mixed order with both local and nonlocal aspects, and in either the presence or the absence of a singular nonlinearity. We investigate existence or non-existence properties, power and exponential type Sobolev regularity results, and the boundary behavior of the weak solution, in the light of the interplay between the summability of the datum and the power exponent in singular nonlinearities.


title: A flow method to the Orlicz-Aleksandrov problem

abstract: In this paper, we obtain the existence result of smooth solutions to the Orlicz-Aleksandrov problem from the perspective of geometric flow. Furthermore, a special uniqueness result of solutions to this problem shall be discussed.


title: Introduction to Majorana Zero Modes in a Kitaev Chain

abstract: Majorana zero modes (MZMs) realize a representation of non-abelian braid groups that enable topological quantum computation, wherein the storage and manipulation of information occur in decoherence-free degrees of freedom. This paper is intended to build off existing texts in the topic [1, 2] to serve as an introduction to MZMs at the undergraduate level, providing an overview of many important concepts in condensed matter physics, such as the Bogoliubov-de Gennes formalism and topological phases. We provide an overview of the motivation behind finding MZMs and discuss how the nature of these modes can provide an elegant solution to various challenges in quantum computing. We then show how MZMs can appear in a toy model known as a Kitaev wire by solving its spectrum, and conclude with a discussion on the conditions under which they arise in a one-dimensional chain.


title: A Simple and Efficient Lattice Summation Method for Metallic Electrodes in Constant Potential Molecular Dynamics Simulation

abstract: The constant potential molecular dynamics simulation method proposed by Siepmann and Sprik and reformulated later by Reed (SR-CPM) has been widely employed to investigate the metallic electrolyte/electrode interfaces, especially for conducting nanochannels with complex connectivity, *e.g.*, carbide-derived carbon or graphene-assembled membrane. This work makes substantial extensions of this seminal SR-CPM approach. First, we introduce two numerical techniques to determine electrode atom charges with an order of magnitude improvement in computational efficiency compared with those widely employed methods. The first numerical technique dramatically accelerates the to calculation of the Ewald interaction matrix $\mathbf{E}$, which takes advantage of the existing highly optimised electrostatic codes. The second technique introduces a new preconditioning technique in the conjugate gradient method to considerably increase the computational efficiency of a linear equation system that determines electrode atomic charges. Our improved SR-CPM implemented in the LAMMPS package can handle extra-large systems, *e.g.*, over 8.1 million electrode atoms. Second, after demonstrating the importance of the electroneutrality constraint, we propose a two-step method to enforce electroneutrality in the following post-treatment step, applicable for matrix and iterative techniques. Third, we propose a solid theoretical analysis for the adjustable parameter $\alpha_i$ (namely the atomic Hubbard-U $U_i^0$), which is arbitrarily selected in many SR-CPM simulation practices. We proposed that the optimised $\alpha_i$ or $U_i^0$ should compensate for the electrical potential/energy discrepancy between the discrete atomistic model and the continuum limit. The analytical and optimal ${\alpha}_i^0$ values are derived for a series of 2D materials.


title: A compact butterfly-style silicon photonic-electronic neural chip for hardware-efficient deep learning

abstract: The optical neural network (ONN) is a promising hardware platform for next-generation neurocomputing due to its high parallelism, low latency, and low energy consumption. Previous ONN architectures are mainly designed for general matrix multiplication (GEMM), leading to unnecessarily large area cost and high control complexity. Here, we move beyond classical GEMM-based ONNs and propose an optical subspace neural network (OSNN) architecture, which trades the universality of weight representation for lower optical component usage, area cost, and energy consumption. We devise a butterfly-style photonic-electronic neural chip to implement our OSNN with up to 7x fewer trainable optical components compared to GEMM-based ONNs. Additionally, a hardware-aware training framework is provided to minimize the required device programming precision, lessen the chip area, and boost the noise robustness. We experimentally demonstrate the utility of our neural chip in practical image recognition tasks, showing that a measured accuracy of 94.16% can be achieved in hand-written digit recognition tasks with 3-bit weight programming precision.

categories: cs.ET cs.LG physics.app-ph physics.optics


title: The global distribution of natural tritium in precipitation simulated with an Atmospheric General Circulation Model and comparison with observations

abstract: The description of the hydrological cycle in Atmospheric General Circulation Models (GCMs) can be validated using water isotopes as tracers. Many GCMs now simulate the movement of the stable isotopes of water, but here we present the first GCM simulations modelling the content of natural tritium in water. These simulations were obtained using a version of the LMDZ General Circulation Model enhanced by water isotopes diagnostics, LMDZ-iso. To avoid tritium generated by nuclear bomb testing, the simulations have been evaluated against a compilation of published tritium datasets dating from before 1950, or measured recently. LMDZ-iso correctly captures the observed tritium enrichment in precipitation as oceanic air moves inland (the so-called continental effect) and the observed north-south variations due to the latitudinal dependency of the cosmogenic tritium production rate. The seasonal variability, linked to the stratospheric intrusions of air masses with higher tritium content into the troposphere, is correctly reproduced for Antarctica with a maximum in winter. LMDZ-iso reproduces the spring maximum of tritium over Europe, but underestimates it and produces a peak in winter that is not apparent in the data. This implementation of tritium in a GCM promises to provide a better constraint on: (1) the intrusions and transport of air masses from the stratosphere and (2) the dynamics of the modelled water cycle. The method complements the existing approach of using stable water isotopes.


title: Transformer-based Image Compression

abstract: A Transformer-based Image Compression (TIC) approach is developed which reuses the canonical variational autoencoder (VAE) architecture with paired main and hyper encoder-decoders. Both main and hyper encoders are comprised of a sequence of neural transformation units (NTUs) to analyse and aggregate important information for more compact representation of input image, while the decoders mirror the encoder-side operations to generate pixel-domain image reconstruction from the compressed bitstream. Each NTU is consist of a Swin Transformer Block (STB) and a convolutional layer (Conv) to best embed both long-range and short-range information; In the meantime, a casual attention module (CAM) is devised for adaptive context modeling of latent features to utilize both hyper and autoregressive priors. The TIC rivals with state-of-the-art approaches including deep convolutional neural networks (CNNs) based learnt image coding (LIC) methods and handcrafted rules-based intra profile of recently-approved Versatile Video Coding (VVC) standard, and requires much less model parameters, e.g., up to 45% reduction to leading-performance LIC.


title: Finite Element Analysis of Time Fractional Integro-differential Equations of Kirchhoff type for Non-homogeneous Materials

abstract: In this paper, we study a time-fractional initial-boundary value problem of Kirchhoff type involving memory term for non-homogeneous materials. The energy argument is applied to derive the a priori bounds on the solution of the considered problem. Consequently, we prove the existence and uniqueness of the weak solution to the problem under consideration. We keep the time variable continuous and discretize the space domain using a conforming FEM to obtain the semi discrete formulation of the problem. The semi discrete error analysis is carried out by modifying the standard Ritz-Volterra projection operator. To obtain the numerical solution to the problem efficiently, we develop a new linearized L1 Galerkin FEM. This numerical scheme is shown to have a convergence rate of $O(h+k^{2-\alpha})$, where $\alpha~ (0<\alpha<1)$ is the fractional derivative exponent, $h$ and $k$ are the discretization parameters in the space and time directions respectively. Further, this convergence rate is improved in the time direction by proposing a novel linearized L2-1$_{\sigma}$ Galerkin FEM. We prove that this numerical scheme has an accuracy rate of $O(h+k^{2})$. Finally, a numerical experiment is conducted to validate our theoretical claims.


title: Path Connectivity of Spheres in the Gromov-Hausdorff Class

abstract: The paper is devoted to geometrical investigation of the Gromov-Hausdorff distance on the classes of all metric spaces and of all bounded metric spaces. The main attention is paid to pass connectivity questions. The pass connected components of the Gromov-Hausdorff class of all metric spaces are described, and the pass connectivity of spheres is proved in several particular cases.


title: P\'osa-type results for Berge-hypergraphs

abstract: A Berge cycle of length $k$ in a hypergraph $\mathcal H$ is a sequence of distinct vertices and hyperedges $v_1,h_1,v_2,h_2,\dots,v_{k},h_k$ such that $v_{i},v_{i+1}\in h_i$ for all $i\in[k]$, indices taken modulo $k$. F\"uredi, Kostochka and Luo recently gave sharp Dirac-type minimum degree conditions that force non-uniform hypergraphs to have Hamiltonian Berge cycles. We give a sharp P\'osa-type lower bound for $r$-uniform and non-uniform hypergraphs that force Hamiltonian Berge cycles.


title: An Axiomatic Approach to Formalized Responsibility Ascription

abstract: A formalized and quantifiable responsibility score is a crucial component in many aspects of the development and application of multi-agent systems and autonomous agents. We can employ it to inform decision making processes based on ethical considerations, as a measure to ensure redundancy that helps us in avoiding system failure, as well as for verifying that autonomous systems remain trustworthy by testing for unwanted responsibility voids in advance. We follow recent proposals to use probabilities as the basis for responsibility ascription in uncertain environments rather than the deterministic causal views employed in much of the previous formal philosophical literature. Using an axiomatic approach we formally evaluate the qualities of (classes of) proposed responsibility functions. To this end, we decompose the computation of the responsibility a group carries for an outcome into the computation of values that we assign to its members for individual decisions leading to that outcome, paired with an appropriate aggregation function. Next, we discuss a number of intuitively desirable properties for each of these contributing functions. We find an incompatibility between axioms determining upper and lower bounds for the values assigned at the member level. Regarding the aggregation from member-level values to group-level responsibility we are able to axiomatically characterize one promising aggregation function. Finally, we present two maximally axiom compliant group-level responsibility measures -- one respecting the lower bound axioms at the member level and one respecting the corresponding upper bound axioms.


title: Measurement of Higgs boson decay into $b$-quarks in associated production with a top-quark pair in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: The associated production of a Higgs boson and a top-quark pair is measured in events characterised by the presence of one or two electrons or muons. The Higgs boson decay into a $b$-quark pair is used. The analysed data, corresponding to an integrated luminosity of 139 fb$^{-1}$, were collected in proton-proton collisions at the Large Hadron Collider between 2015 and 2018 at a centre-of-mass energy of $\sqrt{s}=13$ TeV. The measured signal strength, defined as the ratio of the measured signal yield to that predicted by the Standard Model, is $0.35^{+0.36}_{-0.34}$. This result is compatible with the Standard Model prediction and corresponds to an observed (expected) significance of 1.0 (2.7) standard deviations. The signal strength is also measured differentially in bins of the Higgs boson transverse momentum in the simplified template cross-section framework, including a bin for specially selected boosted Higgs bosons with transverse momentum above 300 GeV.


title: Adaptive output error feedback for a class of nonlinear infinite-dimensional systems

abstract: An adaptive funnel control method is considered for the regulation of the output for a class of nonlinear infinite-dimensional systems on real Hilbert spaces. After a decomposition of the state space and some change of variables related to the Byrnes-Isidori form, it is shown that the funnel controller presented in (Berger et al., 2020) achieves the control objective under some assumptions on the nonlinear system dynamics, like well-posedness and Bounded-Input-State Bounded-Output (BISBO) stability. The theory is applied to the regulation of the temperature in a chemical plug-flow tubular reactor whose reaction kinetics are modeled by the Arrhenius nonlinearity. Furthermore a damped sine-Gordon model is shown to fit the required assumptions as well. The theoretical results are illustrated by means of numerical simulations.


title: A Review on Communication Protocols for Autonomous Unmanned Aerial Vehicles for Inspection Application

abstract: The communication system is a critical part of the system design for the autonomous UAV. It has to address different considerations, including efficiency, reliability and mobility of the UAV. In addition, a multi-UAV system requires a communication system to assist information sharing, task allocation and collaboration in a team of UAVs. In this paper, we review communication solutions for supporting a team of UAVs while considering an application in the power line inspection industry. We provide a review of candidate wireless communication technologies {for supporting communication in UAV applications. Performance measurements and UAV-related channel modeling of those candidate technologies are reviewed. A discussion of current technologies for building UAV mesh networks is presented. We then analyze the structure, interface and performance of robotic communication middleware, ROS and ROS2. Based on our review, the features and dependencies of candidate solutions in each layer of the communication system are presented.


title: Matryoshka and Disjoint Cluster Synchronization of Networks

abstract: The main motivation for this paper is to present a definition of network synchronizability for the case of cluster synchronization (CS), in an analogous fashion to Barahona and Pecora for the case of complete synchronization. We find this problem to be substantially more complex than the original one. We distinguish between the two cases of networks with intertwined clusters and no intertwined clusters and between {the two cases that the master stability function is negative either in a bounded range or in an unbounded range of its argument. We first obtain a definition of synchronizability that applies to each individual cluster within a network and then attempt to generalize this definition to the entire network. For CS, the synchronous solution of each cluster may be stable independent of the stability of the other clusters, which results in possibly different ranges in which each cluster synchronizes (isolated CS.) For each pair of clusters, we distinguish between three different cases: Matryoshka Cluster Synchronization (when the range of the stability of the synchronous solution for one cluster is included in that of the other cluster), Partially Disjoint Cluster Synchronization (when the ranges of stability of the synchronous solutions partially overlap), and Complete Disjoint Cluster Synchronization (when the ranges of stability of the synchronous solutions do not overlap.)


title: The Influence of $s$-$d$ Exchange Interaction on the Gap Anisotropy and Anisotropy of the Lifetime of Normal State Charge Carriers of Layered Cuprates

abstract: The anisotropy of the electron scattering rate and lifetime $\Gamma_\mathbf{p}=1/\tau_\mathbf{p}$ observed by Angle Resolved Photoemission Spectroscopy (ARPES) is evaluated using $s$-$d$ Kondo-Zener exchange Hamiltonian used previously to describe superconducting properties of high-$T_c$ cuprates; for correlation between critical temperature $T_c$ and BCS coupling constant, for example. The performed qualitative analysis reveals that "cold spots" correspond to nodal regions of the superconducting phase where the superconducting gap is zero, because the exchange interaction is annulled. Vice versa, "hot spots" and intensive scattering in the normal state correspond to the regions with maximal gap in the superconducting phase. We have obtained that separable kernel postulated in the Fermi liquid approach to the normal phase is the same kernel which is exactly calculated in the framework of the $s$-$d$ approach in the Linear Combination of Atomic Orbital (LCAO) approximation for CuO$_2$ plane. In this sense, at least on the qualitative level, the superconducting cuprates are described by one and the same Hamiltonian applied to their superconducting and normal properties. For the overdopedcuprates having conventional Fermi liquid behavior we derived the corresponding Stoss-integral for the $s$-$d$ interaction in the framework of LCAO approximation which is the central result of the present study. Repeating the thermodynamics we observed that for optimally doped cuprates $2\Delta_\mathrm{max}/T_c$ is in good agreement with Pokrovsky theory for anisotropic gap superconductors.


title: Device-Independent-Quantum-Randomness-Enhanced Zero-Knowledge Proof

abstract: Zero-knowledge proof (ZKP) is a fundamental cryptographic primitive that allows a prover to convince a verifier of the validity of a statement without leaking any further information. As an efficient variant of ZKP, non-interactive zero-knowledge proof (NIZKP) adopting the Fiat-Shamir heuristic is essential to a wide spectrum of applications, such as federated learning, blockchain and social networks. However, the heuristic is typically built upon the random oracle model making ideal assumptions about hash functions, which does not hold in reality and thus undermines the security of the protocol. Here, we present a quantum resolution to the problem. Instead of resorting to a random oracle model, we implement a quantum randomness service. This service generates random numbers certified by the loophole-free Bell test and delivers them with postquantum cryptography (PQC) authentication. Employing this service, we conceive and implement a NIZKP of the three-colouring problem. By bridging together three prominent research themes, quantum non-locality, PQC and ZKP, we anticipate this work to open a new paradigm of quantum information science.


title: SimpleTensor -- a user-friendly Mathematica package for elementary tensor and differential-geometric calculations

abstract: In this paper we present a short overview of the new Wolfram Mathematica package intended for elementary "in-basis" tensor and differential-geometric calculations. In contrast to alternatives our package is designed to be easy-to-use, short, all-purpose, and hackable. It supports tensor contractions using Einstein notation, transformations between different bases, tensor derivative operator, expansion in basis vectors and forms, exterior derivative, and interior product.

categories: nucl-th cs.MS cs.SC hep-th physics.comp-ph


title: On Transferability of Prompt Tuning for Natural Language Processing

abstract: Prompt tuning (PT) is a promising parameter-efficient method to utilize extremely large pre-trained language models (PLMs), which can achieve comparable performance to full-parameter fine-tuning by only tuning a few soft prompts. However, PT requires much more training time than fine-tuning. Intuitively, knowledge transfer can help to improve the efficiency. To explore whether we can improve PT via prompt transfer, we empirically investigate the transferability of soft prompts across different downstream tasks and PLMs in this work. We find that (1) in zero-shot setting, trained soft prompts can effectively transfer to similar tasks on the same PLM and also to other PLMs with a cross-model projector trained on similar tasks; (2) when used as initialization, trained soft prompts of similar tasks and projected prompts of other PLMs can significantly accelerate training and also improve the performance of PT. Moreover, to explore what decides prompt transferability, we investigate various transferability indicators and find that the overlapping rate of activated neurons strongly reflects the transferability, which suggests how the prompts stimulate PLMs is essential. Our findings show that prompt transfer is promising for improving PT, and further research shall focus more on prompts' stimulation to PLMs. The source code can be obtained from https://github.com/thunlp/Prompt-Transferability.


title: Importance of the advection scheme for the simulation of water isotopes over Antarctica by atmospheric general circulation models: A case study for present-day and Last Glacial Maximum with LMDZ-iso

abstract: Atmospheric general circulation models (AGCMs) are known to have a warm and isotopically enriched bias over Antarctica. We test here the hypothesis that these biases are partly consequences of a too diffusive advection. Exploiting the LMDZ-iso model, we show that a less diffusive representation of the advection, especially on the horizontal, is very important to reduce the bias in the isotopic contents of precipitation above this area. The choice of an appropriate representation of the advection is thus essential when using GCMs for paleoclimate applications based on polar water isotopes. Too much diffusive mixing along the poleward transport leads to overestimated isotopic contents in water vapor because dehydration by mixing follows a more enriched path than dehydration by Rayleigh distillation. The near-air surface temperature is also influenced, to a lesser extent, by the diffusive properties of the advection scheme directly via the advection of the air and indirectly via the radiative effects of changes in high cloud fraction and water vapor. A too diffusive horizontal advection increases the temperature and so also contributes to enrich the isotopic contents of water vapor over Antarctica through a reduction of the distillation. The temporal relationship, from Last Glacial Maximum (LGM) to present-day conditions, between the mean annual near-air surface temperature and the water isotopic contents of precipitation for a specific location can also be impacted, with significant consequences on the paleo-temperature reconstruction from observed changes in water isotopes.


title: Causal Multi-Agent Reinforcement Learning: Review and Open Problems

abstract: This paper serves to introduce the reader to the field of multi-agent reinforcement learning (MARL) and its intersection with methods from the study of causality. We highlight key challenges in MARL and discuss these in the context of how causal methods may assist in tackling them. We promote moving toward a 'causality first' perspective on MARL. Specifically, we argue that causality can offer improved safety, interpretability, and robustness, while also providing strong theoretical guarantees for emergent behaviour. We discuss potential solutions for common challenges, and use this context to motivate future research directions.


title: Improving the statistical analysis of anti-hydrogen free fall by using near edge events

abstract: An accurate evaluation of the gravity acceleration from the timing of free fall of anti-hydrogen atoms in the GBAR experiment requires to account for obstacles surrounding the anti-matter source. These obstacles reduce the number of useful events but may improve accuracy since the edges of the shadow of obstacles on the detection chamber depends on gravity, bringing additional information on the value of $g$. We perform Monte Carlo simulations to obtain the dispersion and give a qualitative understanding of the results by analysing the statistics of events close to an edge. We also study the effect of specular quantum reflections of anti-hydrogen on surfaces and show that they do not degrade the accuracy that much.


title: Mobility prediction Based on Machine Learning Algorithms

abstract: Nowadays mobile communication is growing fast in the 5G communication industry. With the increasing capacity requirements and requirements for quality of experience, mobility prediction has been widely applied to mobile communication and has becoming one of the key enablers that utilizes historical traffic information to predict future locations of traffic users, Since accurate mobility prediction can help enable efficient radio resource management, assist route planning, guide vehicle dispatching, or mitigate traffic congestion. However, mobility prediction is a challenging problem due to the complicated traffic network. In the past few years, plenty of researches have been done in this area, including Non-Machine-Learning (Non-ML)- based and Machine-Learning (ML)-based mobility prediction. In this paper, firstly we introduce the state of the art technologies for mobility prediction. Then, we selected Support Vector Machine (SVM) algorithm, the ML algorithm for practical traffic date training. Lastly, we analyse the simulation results for mobility prediction and introduce a future work plan where mobility prediction will be applied for improving mobile communication.


title: Generic H\"older level sets and fractal conductivity

abstract: Hausdorff dimensions of level sets of generic continuous functions defined on fractals can give information about the "thickness/narrow cross-sections'' of a "network" corresponding to a fractal set, $F$. This lead to the definition of the topological Hausdorff dimension of fractals. In this paper we continue our study of the level sets of generic $1$-H\"older-$\alpha$ functions. While in a previous paper we gave the initial definitions and established some properties of these generic level sets, in this paper we provide numerical estimates in the case of the Sierpi\'nski triangle. These calculations give better insight and illustrate why can one think of these generic $1$-H\"older-$\alpha$ level sets as something measuring "thickness/narrow cross-sections/conductivity'' of a fractal "network". We also give an example for the phenomenon which we call phase transition for $D_{*}(\alpha, F)$. This roughly means that for a certain lower range { of $\alpha$s } only the geometry of $F$ determines $D_{*}(\alpha, F)$ while for larger values the H\"older exponent, $\alpha$ also matters.


title: Hydrodynamic interactions between a point force and a slender filament

abstract: The Green's function of the incompressible Stokes equations, the stokeslet, represents the singular flow due to a point force. Its classical value in an unbounded fluid has been extended near surfaces of various shapes, including flat walls and spheres, and in most cases the presence of a surface leads to an advection flow induced at the location of the point force. In this paper, motivated by the biological transport of cargo along polymeric filaments inside eukaryotic cells, we investigate the reaction flow at the location of the point force due to a rigid slender filament located at a separation distance intermediate between the filament radius and its length (i.e. we compute the advection of the point force induced by the presence of the filament). An asymptotic analysis of the problem reveals that the leading-order approximation for the force distribution along the axis of the filament takes a form analogous to resistive-force theory but with drag coefficients that depend logarithmically on the distance between the point force and the filament. A comparison of our theoretical prediction with boundary element computations show good agreement. We finally briefly extend the model to the case of curved filaments.


title: One model Packs Thousands of Items with Recurrent Conditional Query Learning

abstract: Recent studies have revealed that neural combinatorial optimization (NCO) has advantages over conventional algorithms in many combinatorial optimization problems such as routing, but it is less efficient for more complicated optimization tasks such as packing which involves mutually conditioned action spaces. In this paper, we propose a Recurrent Conditional Query Learning (RCQL) method to solve both 2D and 3D packing problems. We first embed states by a recurrent encoder, and then adopt attention with conditional queries from previous actions. The conditional query mechanism fills the information gap between learning steps, which shapes the problem as a Markov decision process. Benefiting from the recurrence, a single RCQL model is capable of handling different sizes of packing problems. Experiment results show that RCQL can effectively learn strong heuristics for offline and online strip packing problems (SPPs), outperforming a wide range of baselines in space utilization ratio. RCQL reduces the average bin gap ratio by 1.83% in offline 2D 40-box cases and 7.84% in 3D cases compared with state-of-the-art methods. Meanwhile, our method also achieves 5.64% higher space utilization ratio for SPPs with 1000 items than the state of the art.


title: Correlations between quark mass and flavor mixing hierarchies

abstract: We calculate the quark flavor mixing matrix $V$ based on the Hermitian quark mass matrices $M^{}_{\rm u}$ and $M^{}_{\rm d}$ with vanishing $(1,1)$, $(1,3)$ and $(3,1)$ entries. The popular leading-order prediction $|V^{}_{ub}/V^{}_{cb}| \simeq \sqrt{m^{}_u/m^{}_c}$ is significantly modified, and the result agrees with the current experimental value. We find that behind the strong {\it mass} hierarchy of up- or down-type quarks is the weak {\it texture} hierarchy of $M^{}_{\rm u}$ or $M^{}_{\rm d}$ characterized by an approximate seesaw-like relation among its $(2,2)$, $(2,3)$ and $(3,3)$ elements.


title: Fermionic quantum field theories as probabilistic cellular automata

abstract: A class of fermionic quantum field theories with interactions is shown to be equivalent to probabilistic cellular automata, namely cellular automata with a probability distribution for the initial states. Probabilistic cellular automata on a one-dimensional lattice are equivalent to two - dimensional quantum field theories for fermions. They can be viewed as generalized Ising models on a square lattice and therefore as classical statistical systems. As quantum field theories they are quantum systems. Thus quantum mechanics emerges from classical statistics. As an explicit example for an interacting fermionic quantum field theory we describe a type of discretized Thirring model as a cellular automaton. The updating rule of the automaton is encoded in the step evolution operator that can be expressed in terms of fermionic annihilation and creation operators. The complex structure of quantum mechanics is associated to particle -- hole transformations. The naive continuum limit exhibits Lorentz symmetry. We exploit the equivalence to quantum field theory in order to show how quantum concepts as wave functions, density matrix, non-commuting operators for observables and similarity transformations are convenient and useful concepts for the description of probabilistic cellular automata.


title: Ultrafast modulation of vibrational polaritons for controlling the quantum field statistics at mid-infrared frequencies

abstract: Controlling the quantum field statistics of confined light is a long-standing goal in integrated photonics. We show that by coupling molecular vibrations with a confined mid-infrared cavity vacuum, the photocount and quadrature field statistics of the cavity field can be reversibly manipulated over sub-picosecond timescales. The mechanism involves changing the cavity resonance frequency through a modulation of the dielectric response of the cavity materials using femtosecond UV pulses. For a single anharmonic molecular vibration in an infrared cavity under ultrastrong coupling conditions, the pulsed modulation of the cavity frequency can adiabatically produce mid-infrared light that is simultaneously sub-Poissonian and quadrature squeezed, depending on the dipolar behavior of the vibrational mode. For a vibration-cavity system in strong coupling, non-adiabatic polariton excitations can be produced after the frequency modulation pulse is over, when the system is initially prepared in the lower polariton state. We propose design principles for the generation of mid-infrared quantum light by analyzing the dependence of the cavity field statistics on the shape of the electric dipole function of the molecule, the cavity detuning at the modulation peak and the anharmonicity of the Morse potential. Feasible experimental implementations of the modulation scheme are suggested. This work paves the way for the development of molecule-based mid-infrared quantum optical devices at room temperature.


title: Topological Quantification of the "Anemone" (Branching) Solar Flares

abstract: The so-called "anemone" solar flares are an interesting type of the space plasma phenomena, where multiple null points of the magnetic field are connected with each other and with the magnetic sources by the separators, thereby producing the complex branching configurations. Here, using the methods of dynamical systems and Morse-Smale theory, we derive a few universal topological relations between the numbers of the null points and sources of various kinds with arbitrary arrangement in the above-mentioned structures. Such relations can be a valuable tool both for a quantification of the already-observed anemone flares and for a prediction of the new ones in complex magnetic configurations.

categories: astro-ph.SR math-ph math.MP physics.plasm-ph


title: Comprehensive technology study of radiation hard LGADs

abstract: Towards radiation tolerant sensors for pico-second timing, several dopants are explored. Using a common mask, CNM produced LGADs with boron, boron + carbon and gallium implanted gain layers are studied under neutron and proton irradiation. With fluences ranging from $10^{14}$ to $6\times 10^{15} n_{eq}/cm^{2}$ on both particle species, reported results focus on acceptor removal and gain reduction via electrical characterization. Timing performance, charge collection, gain and relative efficiency are treated through charged particle measurements, including signal analysis and noise characterization. An accent is placed on stability, via dark rate and operating voltage studies while, radiation related gain reduction mechanisms are examined comparing gain estimations through different approaches.


title: Dissecting axion and dark photon with a network of vector sensors

abstract: We develop formalisms for a network of vector sensors, sensitive to certain spatial components of the signals, to identify the properties of a light axion or a dark photon background. These bosonic fields contribute to vector-like signals in the detectors, including effective magnetic fields triggering the spin precession, effective electric currents in a shielded room, and forces on the matter. The interplay between a pair of vector sensors and a baseline that separates them can potentially uncover rich information of the bosons, including angular distribution, polarization modes, source localization, and macroscopic circular polarization. Using such a network, one can identify the microscopic nature of a potential signal, such as distinguishing between the axion-fermion coupling and the dipole couplings with the dark photon.


title: A Constant-Factor Approximation for Generalized Malleable Scheduling under $M^\natural$-Concave Processing Speeds

abstract: In generalized malleable scheduling, jobs can be allocated and processed simultaneously on multiple machines so as to reduce the overall makespan of the schedule. The required processing time for each job is determined by the joint processing speed of the allocated machines. We study the case that processing speeds are job-dependent $M^\natural$-concave functions and provide a constant-factor approximation for this setting, significantly expanding the realm of functions for which such an approximation is possible. Further, we explore the connection between malleable scheduling and the problem of fairly allocating items to a set of agents with distinct utility functions, devising a black-box reduction that allows to obtain resource-augmented approximation algorithms for the latter.


title: Directional transport along an atomic chain

abstract: Motivated by a recent prediction to engineer the dispersion relation of a waveguide constructed from atomic components [arXiv:2104.08121], we explore the possibility to create directional transport in an open, collective quantum system. The optical response of the atomic waveguide is characterized through a scattering-matrix formalism built upon theories of photoelectric detection that allows us to find the required conditions for directional mode-to-mode transmission to occur and be measured in an experimental setting. We find that directional waveguides allow for an efficient outcoupling of light by reducing backscattering channels at the edges. This reduced backscattering is seen to play a major role on the dynamics when disorder is included numerically. A directional waveguide is shown to be more robust to localization, but at the cost of increased radiative losses.


title: Determination of the refractive index of water and glass using smartphone cameras by estimating the apparent depth of an object

abstract: A smartphone camera can be used for measuring the width and distance of an object by taking its photograph. The focal length of the camera lens can be determined very accurately by finding the image width of an object on the camera sensor to micron level accuracy. The level of accuracy achieved with the help of camera sensors, allows us to determine the refractive index of water upto four significant digits by finding the apparent depth of an object immersed in it. We have also measured the refractive index of glass by the same method, using three glass slides of different thicknesses, the smallest being 1.2 mm.


title: The Science of Rejection: A Research Area for Human Computation

abstract: We motivate why the science of learning to reject model predictions is central to ML, and why human computation has a lead role in this effort.


title: All-optical scalable spatial coherent Ising machine

abstract: Networks of optical oscillators simulating coupled Ising spins have been recently proposed as a heuristic platform to solve hard optimization problems. These networks, called coherent Ising machines (CIMs), exploit the fact that the collective nonlinear dynamics of coupled oscillators can drive the system close to the global minimum of the classical Ising Hamiltonian, encoded in the coupling matrix of the network. To date, realizations of large-scale CIMs have been demonstrated using hybrid optical-electronic setups, where optical oscillators simulating different spins are subject to electronic feedback mechanisms emulating their mutual interaction. While the optical evolution ensures an ultrafast computation, the electronic coupling represents a bottleneck that causes the computational time to severely depend on the system size. Here, we propose an all-optical scalable CIM with fully-programmable coupling. Our setup consists of an optical parametric amplifier with a spatial light modulator (SLM) within the parametric cavity. The spin variables are encoded in the binary phases of the optical wavefront of the signal beam at different spatial points, defined by the pixels of the SLM. We first discuss how different coupling topologies can be achieved by different configurations of the SLM, and then benchmark our setup with a numerical simulation that mimics the dynamics of the proposed machine. In our proposal, both the spin dynamics and the coupling are fully performed in parallel, paving the way towards the realization of size-independent ultrafast optical hardware for large-scale computation purposes.


title: Improving Structured Text Recognition with Regular Expression Biasing

abstract: We study the problem of recognizing structured text, i.e. text that follows certain formats, and propose to improve the recognition accuracy of structured text by specifying regular expressions (regexes) for biasing. A biased recognizer recognizes text that matches the specified regexes with significantly improved accuracy, at the cost of a generally small degradation on other text. The biasing is realized by modeling regexes as a Weighted Finite-State Transducer (WFST) and injecting it into the decoder via dynamic replacement. A single hyperparameter controls the biasing strength. The method is useful for recognizing text lines with known formats or containing words from a domain vocabulary. Examples include driver license numbers, drug names in prescriptions, etc. We demonstrate the efficacy of regex biasing on datasets of printed and handwritten structured text and measures its side effects.


title: Neural Motion Planning for Autonomous Parking

abstract: This paper presents a hybrid motion planning strategy that combines a deep generative network with a conventional motion planning method. Existing planning methods such as A* and Hybrid A* are widely used in path planning tasks because of their ability to determine feasible paths even in complex environments; however, they have limitations in terms of efficiency. To overcome these limitations, a path planning algorithm based on a neural network, namely the neural Hybrid A*, is introduced. This paper proposes using a conditional variational autoencoder (CVAE) to guide the search algorithm by exploiting the ability of CVAE to learn information about the planning space given the information of the parking environment. A non-uniform expansion strategy is utilized based on a distribution of feasible trajectories learned in the demonstrations. The proposed method effectively learns the representations of a given state, and shows improvement in terms of algorithm performance.


title: Review of Pedestrian Trajectory Prediction Methods: Comparing Deep Learning and Knowledge-based Approaches

abstract: In crowd scenarios, predicting trajectories of pedestrians is a complex and challenging task depending on many external factors. The topology of the scene and the interactions between the pedestrians are just some of them. Due to advancements in data-science and data collection technologies deep learning methods have recently become a research hotspot in numerous domains. Therefore, it is not surprising that more and more researchers apply these methods to predict trajectories of pedestrians. This paper compares these relatively new deep learning algorithms with classical knowledge-based models that are widely used to simulate pedestrian dynamics. It provides a comprehensive literature review of both approaches, explores technical and application oriented differences, and addresses open questions as well as future development directions. Our investigations point out that the pertinence of knowledge-based models to predict local trajectories is nowadays questionable because of the high accuracy of the deep learning algorithms. Nevertheless, the ability of deep-learning algorithms for large-scale simulation and the description of collective dynamics remains to be demonstrated. Furthermore, the comparison shows that the combination of both approaches (the hybrid approach) seems to be promising to overcome disadvantages like the missing explainability of the deep learning approach.


title: A Quantum Natural Language Processing Approach to Musical Intelligence

abstract: There has been tremendous progress in Artificial Intelligence (AI) for music, in particular for musical composition and access to large databases for commercialisation through the Internet. We are interested in further advancing this field, focusing on composition. In contrast to current black-box AI methods, we are championing an interpretable compositional outlook on generative music systems. In particular, we are importing methods from the Distributional Compositional Categorical (DisCoCat) modelling framework for Natural Language Processing (NLP), motivated by musical grammars. Quantum computing is a nascent technology, which is very likely to impact the music industry in time to come. Thus, we are pioneering a Quantum Natural Language Processing (QNLP) approach to develop a new generation of intelligent musical systems. This work follows from previous experimental implementations of DisCoCat linguistic models on quantum hardware. In this chapter, we present Quanthoven, the first proof-of-concept ever built, which (a) demonstrates that it is possible to program a quantum computer to learn to classify music that conveys different meanings and (b) illustrates how such a capability might be leveraged to develop a system to compose meaningful pieces of music. After a discussion about our current understanding of music as a communication medium and its relationship to natural language, the chapter focuses on the techniques developed to (a) encode musical compositions as quantum circuits, and (b) design a quantum classifier. The chapter ends with demonstrations of compositions created with the system.


title: Self-Reflective Terrain-Aware Robot Adaptation for Consistent Off-Road Ground Navigation

abstract: Ground robots require the crucial capability of traversing unstructured and unprepared terrains and avoiding obstacles to complete tasks in real-world robotics applications such as disaster response. When a robot operates in off-road field environments such as forests, the robot's actual behaviors often do not match its expected or planned behaviors, due to changes in the characteristics of terrains and the robot itself. Therefore, the capability of robot adaptation for consistent behavior generation is essential for maneuverability on unstructured off-road terrains. In order to address the challenge, we propose a novel method of self-reflective terrain-aware adaptation for ground robots to generate consistent controls to navigate over unstructured off-road terrains, which enables robots to more accurately execute the expected behaviors through robot self-reflection while adapting to varying unstructured terrains. To evaluate our method's performance, we conduct extensive experiments using real ground robots with various functionality changes over diverse unstructured off-road terrains. The comprehensive experimental results have shown that our self-reflective terrain-aware adaptation method enables ground robots to generate consistent navigational behaviors and outperforms the compared previous and baseline techniques.


title: Self-energy recycling for low-power reliable networks: Half-duplex or Full-duplex?

abstract: Self-energy recycling (sER), which allows transmit energy re-utilization, has emerged as a viable option for improving the energy efficiency (EE) in low-power Internet of Things networks. In this work, we investigate its benefits also in terms of reliability improvements and compare the performance of full-duplex (FD) and half-duplex (HD) schemes when using multi-antenna techniques in a communication system. We analyze the trade-offs when considering not only the energy spent on transmission but also the circuitry power consumption, thus making the analysis of much more practical interest. In addition to the well known spectral efficiency improvements, results show that FD also outperforms HD in terms of reliability. We show that sER introduces not only benefits in EE matters but also some modifications on how to achieve maximum reliability fairness between uplink and downlink transmissions, which is the main goal in this work. In order to achieve this objective, we propose the use of a dynamic FD scheme where the small base station (SBS) determines the optimal allocation of antennas for transmission and reception. We show the significant improvement gains of this strategy for the system outage probability when compared to the simple HD and FD schemes.


title: Upper heat kernel estimates for nonlocal operators via Aronson's method

abstract: In his celebrated article, Aronson established Gaussian bounds for the fundamental solution to the Cauchy problem governed by a second order divergence form operator with uniformly elliptic coefficients. We extend Aronson's proof of upper heat kernel estimates to nonlocal operators whose jumping kernel satisfies a pointwise upper bound and whose energy form is coercive. A detailed proof is given in the Euclidean space and extensions to doubling metric measure spaces are discussed.


title: Ricochet Progress and Status

abstract: We present an overview of recent progress towards the Ricochet coherent elastic neutrino nucleus scattering CE$\nu$NS experiment. The ILL research reactor in Grenoble, France has been selected as the experiment site, after in situ studies of vibration and particle backgrounds. We present background rate estimates specific to that site, along with descriptions of the planned CryoCube and Q-Array detector payloads.


title: Fast determination of thickness through scanning moir\'e fringe in scanning transmission electron microscopy

abstract: Sample thickness is an important parameter in transmission electron microscopy (TEM) imaging, for interpreting image contrast and understanding the relationship between properties and microstructure. In this study, we introduce a method for determining thickness in scanning transmission electron microscopy (STEM) mode based on scanning moir\'e fringe (SMF). Sample thickness can be determined in situ in the medium magnification using focal-series SMF imaging, with beam damage and contamination avoided to a large extent. This method provides a fast and convenient way for determining thickness in TEM imaging, which is particularly useful for beam-sensitive materials such as Metal-Organic Frameworks.


title: Analysis of satellite-to-ground quantum key distribution with adaptive optics

abstract: Future quantum communication infrastructures will rely on both terrestrial and space-based links integrating high-performance optical systems engineered for this purpose. In space-based downlinks in particular, the loss budget and the variations in the signal propagation due to atmospheric turbulence effects impose a careful optimization of the coupling of light in single-mode fibers required for interfacing with the receiving stations and the ground networks. In this work, we perform a comprehensive study of the role of adaptive optics (AO) in this optimization, focusing on realistic baseline configurations of prepare-and-measure quantum key distribution (QKD), with both discrete and continuous-variable encoding, and including finite-size effects. Our analysis uses existing experimental turbulence datasets at both day and night time to model the coupled signal statistics following a wavefront distortion correction with AO, and allows us to estimate the secret key rate for a range of critical parameters, such as turbulence strength, satellite altitude and ground telescope diameter. The results we derive illustrate the interest of adopting advanced AO techniques in several practical configurations.


title: Simplifying approach to Node Classification in Graph Neural Networks

abstract: Graph Neural Networks have become one of the indispensable tools to learn from graph-structured data, and their usefulness has been shown in wide variety of tasks. In recent years, there have been tremendous improvements in architecture design, resulting in better performance on various prediction tasks. In general, these neural architectures combine node feature aggregation and feature transformation using learnable weight matrix in the same layer. This makes it challenging to analyze the importance of node features aggregated from various hops and the expressiveness of the neural network layers. As different graph datasets show varying levels of homophily and heterophily in features and class label distribution, it becomes essential to understand which features are important for the prediction tasks without any prior information. In this work, we decouple the node feature aggregation step and depth of graph neural network, and empirically analyze how different aggregated features play a role in prediction performance. We show that not all features generated via aggregation steps are useful, and often using these less informative features can be detrimental to the performance of the GNN model. Through our experiments, we show that learning certain subsets of these features can lead to better performance on wide variety of datasets. We propose to use softmax as a regularizer and "soft-selector" of features aggregated from neighbors at different hop distances; and L2-Normalization over GNN layers. Combining these techniques, we present a simple and shallow model, Feature Selection Graph Neural Network (FSGNN), and show empirically that the proposed model achieves comparable or even higher accuracy than state-of-the-art GNN models in nine benchmark datasets for the node classification task, with remarkable improvements up to 51.1%.


title: Full and Reduced Order Model Consistency of the Nonlinearity Discretization in Incompressible Flows

abstract: We investigate both theoretically and numerically the consistency between the nonlinear discretization in full order models (FOMs) and reduced order models (ROMs) for incompressible flows. To this end, we consider two cases: (i) FOM-ROM consistency, i.e., when we use the same nonlinearity discretization in the FOM and ROM; and (ii) FOM-ROM inconsistency, i.e., when we use different nonlinearity discretizations in the FOM and ROM. Analytically, we prove that while the FOM-ROM consistency yields optimal error bounds, FOM-ROM inconsistency yields additional terms dependent on the FOM divergence error, which prevent the ROM from recovering the FOM as the number of modes increases. Computationally, we consider channel flow around a cylinder and Kelvin-Helmholtz instability, and show that FOM-ROM consistency yields significantly more accurate results than FOM-ROM inconsistency.


title: STFL: A Temporal-Spatial Federated Learning Framework for Graph Neural Networks

abstract: We present a spatial-temporal federated learning framework for graph neural networks, namely STFL. The framework explores the underlying correlation of the input spatial-temporal data and transform it to both node features and adjacency matrix. The federated learning setting in the framework ensures data privacy while achieving a good model generalization. Experiments results on the sleep stage dataset, ISRUC_S3, illustrate the effectiveness of STFL on graph prediction tasks.


title: Rayleigh-B\'enard convection with stochastic forcing localised near the bottom

abstract: We prove stochastic stability of the three-dimensional Rayleigh-B\'enard convection in the infinite Prandtl number regime for any pair of temperatures maintained on the top and the bottom. Assuming that the non-degenerate random perturbation acts in a thin layer adjacent to the bottom of the domain, we prove that the random flow periodic in the two infinite directions stabilises to a unique stationary measure, provided that there is at least one point accessible from any initial state. We also prove that the latter property is satisfied if the amplitude of the noise is sufficiently large.


title: Expansion in supercritical random subgraphs of the hypercube and its consequences

abstract: It is well-known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, undergoes a phase transition when $p$ is around $\frac{1}{d}$. More precisely, standard arguments show that just below this value of $p$ all components of this graph have order $O(d)$ with probability tending to one as $d \to \infty$ (whp for short), whereas Ajtai, Koml\'{o}s and Szemer\'{e}di [Largest random component of a $k$-cube, Combinatorica 2 (1982), no. 1, 1--7; MR0671140] showed that just above this value, in the supercritical regime, whp there is a unique `giant' component of order $\Theta\left(2^d\right)$. We show that whp the vertex-expansion of the giant component is inverse polynomial in $d$. As a consequence we obtain polynomial in $d$ bounds on the diameter of the giant component and the mixing time of the lazy random walk on the giant component, answering questions of Bollob\'{a}s, Kohayakawa and {\L}uczak [On the diameter and radius of random subgraphs of the cube, Random Structures and Algorithms 5 (1994), no. 5, 627--648; MR1300592] and of Pete [A note on percolation on $\mathbb{Z}^d$: isoperimetric profile via exponential cluster repulsion, Electron. Commun. Probab. 13 (2008), 377--392; MR2415145]. Furthermore, our results imply lower bounds on the circumference and Hadwiger number of a random subgraph of the hypercube in this regime of $p$ which are tight up to polynomial factors in $d$.


title: Free energy barriers in the Sherrington-Kirkpatrick model

abstract: The free energy landscape of the Sherrington-Kirkpatrik (SK) Ising spin glass is simple in the framework of the Thouless-Anderson-Palmer (TAP) equations as each solution (which are minima of the free energy) has associated with it a nearby index-one saddle point. The free energy barrier to escape the minimum is just the difference between the saddle point free energy and that at its associated minimum. This difference is calculated for the states with free energies $f > f_c$. It is very small for these states, decreasing as $1/N^2$, where $N$ is the number of spins in the system. These states are not marginally stable. We argue that such small barriers are why numerical studies never find these states when $N$ is large. Instead the states which are found are those which have marginal stability. For them the barriers are at least of $O(1)$. $f_c$ is the free energy per spin below which the states develop broken replica-symmetry like overlaps with each other. In the regime $f < f_c$ we can only offer some possibilities based around scaling arguments. One of these suggest that the barriers might become as large as $N^{1/3}$. That might be consistent with recent numerical studies on the Viana-Bray model, which were at variance with the expectations of Cugliandolo and Kurchan for the SK model.


title: Monte Carlo dropout increases model repeatability

abstract: The integration of artificial intelligence into clinical workflows requires reliable and robust models. Among the main features of robustness is repeatability. Much attention is given to classification performance without assessing the model repeatability, leading to the development of models that turn out to be unusable in practice. In this work, we evaluate the repeatability of four model types on images from the same patient that were acquired during the same visit. We study the performance of binary, multi-class, ordinal, and regression models on three medical image analysis tasks: cervical cancer screening, breast density estimation, and retinopathy of prematurity classification. Moreover, we assess the impact of sampling Monte Carlo dropout predictions at test time on classification performance and repeatability. Leveraging Monte Carlo predictions significantly increased repeatability for all tasks on the binary, multi-class, and ordinal models leading to an average reduction of the 95% limits of agreement by 17% points.


title: Measuring post-quench entanglement entropy through density correlations

abstract: Following a sudden change of interactions in an integrable system of one-dimensional fermions, we analyze the dependence of the static structure factor on the observation time after the quantum quench. At small waiting times after the quench, we map the system to non-interacting bosons such that we are able to extract their occupation numbers from the Fourier transform of the density-density correlation function, and use these to compute a bosonic entropy from a diagonal ensemble. By comparing this bosonic entropy with the asymptotic steady state entanglement entropy per fermion computed with exact diagonalization we find excellent agreement.


title: Structure formation in an anisotropic universe: Eulerian perturbation theory

abstract: We present an effective Eulerian description, in the non-relativistic regime, of the growth of cosmological perturbations around a homogeneous but anisotropic Bianchi I spacetime background. We assume a small deviation from isotropy, sourced at late times for example by dark energy anisotropic stress. We thus derive an analytic solution for the linear dark matter density contrast, and use it in a formal perturbative approach which allows us to derive a second order (non-linear) solution. As an application of the procedure followed here we derive analytic expressions for the power spectrum and the bispectrum of the dark matter density contrast. The power spectrum receives a quadrupolar correction as expected, and the bispectrum receives several angle-dependent corrections. Quite generally, we find that the contribution of a late-time phase of anisotropic expansion to the growth of structure peaks at a finite redshift between CMB decoupling and today, tough the exact redshift value is model-dependent.


title: Multiway Storage Modification Machines

abstract: We present a parallel version of Sch\"onhage's Storage Modification Machine, the Multiway Storage Modification Machine (MWSMM). Like the alternative Association Storage Modification Machine of Tromp and van Emde Boas, MWSMMs recognize in polynomial time what Turing Machines recognize in polynomial space. Falling thus into the Second Machine Class, the MWSMM is a parallel machine model conforming to the Parallel Computation Thesis. We illustrate MWSMMs by a simple implementation of Wolfram's String Substitution System.


title: Majorizing Norms on Majorized Spaces

abstract: We introduce a new type of norm for ordered vector spaces majorized by a proper (convex) cone that generalizes the notions of order unit norm and base norm. Then we give sufficient conditions to ensure its completeness. In the case of normed Riesz spaces, we also present necessary completeness conditions and describe the completed norm. Finally, we define a particular family of well-behaving sets. Spaces majorized by the cone generated by these sets display surprisingly interesting structural properties. In particular, we generalize two famous standard results in Banach lattice theory. Namely, every principal ideal in a Banach lattice is an AM-space and every Banach lattice having a generating cone with a compact base admits an equivalent L-norm.


title: The Time-Freezing Reformulation for Numerical Optimal Control of Complementarity Lagrangian Systems with State Jumps

abstract: This paper introduces a novel time-freezing reformulation and numerical methods for optimal control of complementarity Lagrangian systems (CLS) with state jumps. We cover the difficult case when the system evolves on the boundary of the dynamic's feasible set after the state jump. In nonsmooth mechanics, this corresponds to inelastic impacts. The main idea of the time-freezing reformulation is to introduce a clock state and an auxiliary dynamical system whose trajectory endpoints satisfy the state jump law. When the auxiliary system is active, the clock state is not evolving, hence by taking only the parts of the trajectory when the clock state was active, we can recover the original solution. The resulting time-freezing system is a Filippov system that has jump discontinuities only in the first time derivative instead of the trajectory itself. This enables one to use the recently proposed Finite Elements with Switch Detection [Nurkanovic et al., 2022], which makes high accuracy numerical optimal control of CLS with impacts and friction possible. We detail how to recover the solution of the original system and show how to select appropriate auxiliary dynamics. The theoretical findings are illustrated on a nontrivial numerical optimal control example of a hopping one-legged robot.


title: Kinetic Event-Chain Algorithm for Active Matter

abstract: We present a cluster kinetic Monte-Carlo algorithm for active matter systems of self-propelled hard particles. The kinetic event-chain algorithm is based on the event-chain Monte-Carlo method and is applied to active hard disks in two dimensions. The algorithm assigns Monte-Carlo moves of active disks a mean time based on their mean move length in force direction. This time is used to perform diffusional rotation of their propulsion force. We show that the algorithm reproduces the motility induced phase separated region in the phase diagram of hard disks correctly and efficiently. We extend the algorithm to mixtures of active and passive particles and uncover the microscopic mechanism behind the enhanced diffusion of a completely symmetric passive tracer disk in a bath of active hard disks.


title: Four-dimensional $\mathcal{N}=1$ SCFTs on S-folds with T-branes and AdS/CFT correspondence

abstract: We study AdS duals of four-dimensional (4D) $\mathcal{N}=1$ superconformal field theories (SCFTs) on $\mathbb{Z}_k$ S-folds with T-branes that flow to 4D $\mathcal{N}=3$ theories. In a previous study, it was discussed how considering T-brane structure breaks the $\mathcal{N}=2$ supersymmetry in 4D SCFTs on $\mathbb{Z}_k$ S-folds down to $\mathcal{N}=1$. In this study, we analyze this effect from the AdS perspective. We also discuss the constructions of 4D $\mathcal{N}=1$ SCFTs on S-folds with T-branes starting from global K3 hypersurfaces whose fibers involve complex multiplications. We choose an approach to directly analyze the global K3 geometry without relying on the standard Weierstrass technique.


title: Diversity-Promoting Human Motion Interpolation via Conditional Variational Auto-Encoder

abstract: In this paper, we present a deep generative model based method to generate diverse human motion interpolation results. We resort to the Conditional Variational Auto-Encoder (CVAE) to learn human motion conditioned on a pair of given start and end motions, by leveraging the Recurrent Neural Network (RNN) structure for both the encoder and the decoder. Additionally, we introduce a regularization loss to further promote sample diversity. Once trained, our method is able to generate multiple plausible coherent motions by repetitively sampling from the learned latent space. Experiments on the publicly available dataset demonstrate the effectiveness of our method, in terms of sample plausibility and diversity.


title: A New Class of Composite Objective Multi-step Estimating-sequence Techniques (COMET)

abstract: We devise a new accelerated gradient-based estimating sequence technique for solving large-scale optimization problems with composite structure. More specifically, we introduce a new class of estimating functions, which are obtained by utilizing a tight lower bound on the objective function. Then, by exploiting the coupling between the proposed estimating functions and the gradient mapping technique, we construct a class of composite objective multi-step estimating-sequence techniques (COMET). We propose an efficient line search strategy for COMET, and prove that it enjoys an accelerated convergence rate. The established convergence results allow for step size adaptation. Our theoretical findings are supported by extensive computational experiments on various problem types and datasets. Moreover, our numerical results show evidence of the robustness of the proposed method to the imperfect knowledge of the smoothness and strong convexity parameters of the objective function.


title: Excite atom-photon bound state inside the coupled-resonator waveguide coupled with a giant atom

abstract: It is of fundamental interest in controlling the light-matter interaction for a long time in the field of quantum information processing. However, usual excitation with the propagating photon can hardly excite a localized state of light while keeping the atom under a subradiant decay in an atom-waveguide system. Here, we propose a model of coupling between a giant atom and the dynamically-modulated coupled-resonator waveguide and find that a bound state, where the light shows the localization effect and atom exhibits a subradiant decay time, can be excited by a propagating photon. An analytical treatment based on the separation of the propagating states and localized states of light has been used and provides inspiring explanation of our finding, i.e., a propagating photon can be efficiently converted to the localized light through the light-atom interactions in three resonators at frequency difference precisely equivalent to external modulation frequency. Our work therefore provides an alternative method for actively localizing the photon in a modulated coupled-resonator waveguide system interacting with giant atom, and also points out a way to study the light-atom interaction in a synthetic frequency dimension that holds the similar Hamiltonian.


title: Simple microscopic model for magneto-electric coupling in type-II antiferromagnetic multiferroics

abstract: We present a simple two-dimensional model in which the lattice degrees of freedom mediate the interactions between magnetic moments and electric dipoles. This model reproduces basic features, such as a sudden electric polarization switch-off when a magnetic field is applied and the ubiquitous dimerized distortion patterns and magnetic $\uparrow \uparrow \downarrow \downarrow$ ordering, observed in several multiferroic materials of different composition. The list includes E-type manganites, RMnO$_3$, nickelates such as in YNiO$_3$ and other materials under strain, such as TbMnO$_3$. In spite of its simplicity, the model presented here captures the essence of the origin of multiferroicity in a large class of type II multiferroics.


title: Densified pupil spectrograph as high-precision radial velocimetry: From direct measurement of the Universe's expansion history to characterization of nearby habitable planet candidates

abstract: The direct measurement of the Universe's expansion history and the search for terrestrial planets in habitable zones around solar-type stars require extremely high-precision radial velocity measures over a decade. This study proposes an approach for enabling high-precision radial velocity measurements from space. The concept presents a combination of a high-dispersion densified pupil spectrograph and a novel telescope line-of-sight monitor. The precision of the radial velocity measurements is determined by combining the spectrophotometric accuracy and the quality of the absorption lines in the recorded spectrum. Therefore, a highly dispersive densified pupil spectrograph proposed to perform stable spectroscopy can be utilized for high-precision radial velocity measures. A concept involving the telescope line-of-sight monitor is developed to minimize the change of the telescope line-of-sight over a decade. This monitor allows the precise measurement of a long-term telescope drift without any significant impact on the Airy disk when the densified pupil spectra are recorded. We analytically derive the uncertainty of the radial velocity measurements, which is caused by the residual offset of the line-of-sights at two epochs. We find that the error could be reduced down to approximately 1 $cm/s$, and the precision will be limited by another factor (e.g., wavelength calibration uncertainty). A combination of the high precision spectrophotometry and the high spectral resolving power could open a new path toward the characterization of nearby non-transiting habitable planet candidates orbiting late-type stars. We present two simple and compact high-dispersed densified pupil spectrograph designs for the cosmology and exoplanet sciences.


title: A scalable elliptic solver with task-based parallelism for the SpECTRE numerical relativity code

abstract: Elliptic partial differential equations must be solved numerically for many problems in numerical relativity, such as initial data for every simulation of merging black holes and neutron stars. Existing elliptic solvers can take multiple days to solve these problems at high resolution and when matter is involved, because they are either hard to parallelize or require a large amount of computational resources. Here we present a new solver for linear and nonlinear elliptic problems that is designed to scale with resolution and to parallelize on computing clusters. To achieve this we employ a discontinuous Galerkin discretization, an iterative multigrid-Schwarz preconditioned Newton-Krylov algorithm, and a task-based parallelism paradigm. To accelerate convergence of the elliptic solver we have developed novel subdomain-preconditioning techniques. We find that our multigrid-Schwarz preconditioned elliptic solves achieve iteration counts that are independent of resolution, and our task-based parallel programs scale over 200 million degrees of freedom to at least a few thousand cores. Our new code solves a classic initial data problem for binary black holes faster than the spectral code SpEC when distributed to only eight cores, and in a fraction of the time on more cores. It is publicly accessible in the next-generation SpECTRE numerical relativity code. Our results pave the way for highly parallel elliptic solves in numerical relativity and beyond.


title: A Spiking Neuron Synaptic Plasticity Model Optimized for Unsupervised Learning

abstract: Spiking neural networks (SNN) are considered as a perspective basis for performing all kinds of learning tasks - unsupervised, supervised and reinforcement learning. Learning in SNN is implemented through synaptic plasticity - the rules which determine dynamics of synaptic weights depending usually on activity of the pre- and post-synaptic neurons. Diversity of various learning regimes assumes that different forms of synaptic plasticity may be most efficient for, for example, unsupervised and supervised learning, as it is observed in living neurons demonstrating many kinds of deviations from the basic spike timing dependent plasticity (STDP) model. In the present paper, we formulate specific requirements to plasticity rules imposed by unsupervised learning problems and construct a novel plasticity model generalizing STDP and satisfying these requirements. This plasticity model serves as main logical component of the novel supervised learning algorithm called SCoBUL (Spike Correlation Based Unsupervised Learning) proposed in this work. We also present the results of computer simulation experiments confirming efficiency of these synaptic plasticity rules and the algorithm SCoBUL.


title: Studying dark matter with MadDM: lines and loops

abstract: Automated tools for the computation of amplitudes and cross sections have become the backbone of phenomenological studies beyond the standard model. We present the latest developments in MadDM, a calculator of dark-matter observables based on MadGraph5_aMC@NLO. The new version enables the fully automated computation of loop-induced annihilation processes, relevant for indirect detection of dark matter. Of particular interest is the direct annihilation into photons, $\gamma \gamma,\, \gamma X$. These processes lead to monochromatic gamma-ray lines that are smoking-gun signatures for dark-matter annihilation in our Galaxy. MadDM computes the predictions for the expected photon fluxes near Earth and derives constraints from the gamma-ray line searches by Fermi-LAT and HESS. As an application, we present the implications for the parameter space of the Inert Doublet Model.