title: Grading the severity of hypoxic-ischemic encephalopathy in newborn EEG using a convolutional neural network

abstract: Electroencephalography (EEG) is a valuable clinical tool for grading injury caused by lack of blood and oxygen to the brain during birth. This study presents a novel end-to-end architecture, using a deep convolutional neural network, that learns hierarchical representations within raw EEG data. The system classifies 4 grades of hypoxic-ischemic encephalopathy and is evaluated on a multi-channel EEG dataset of 63 hours from 54 newborns. The proposed method achieves a testing accuracy of 79.6% with one-step voting and 81.5% with two-step voting. These results show how a feature-free approach can be used to classify different grades of injury in newborn EEG with comparable accuracy to existing feature-based systems. Automated grading of newborn background EEG could help with the early identification of those infants in need of interventional therapies such as hypothermia.


title: Index Reduction for Second Order Singular Systems of Difference Equations

abstract: This paper is devoted to the analysis of linear second order discrete-time descriptor systems (or singular difference equations (SiDEs) with control). Following the algebraic approach proposed by Kunkel and Mehrmann for pencils of matrix valued functions, first we present a theoretical framework based on a procedure of reduction to analyze solvability of initial value problems for SiDEs, which is followed by the analysis of descriptor systems. We also describe methods to analyze structural properties related to the solvability analysis of these systems. Namely, two numerical algorithms for reduction to the so-called strangenessfree forms are presented. Two associated index notions are also introduced and discussed. This work extends and complements some recent results for high order continuous-time descriptor systems and first order discrete-time descriptor systems.


title: A classification of one dimensional affine rank three graphs

abstract: The rank three subgroups of a one-dimensional affine group over a finite field were classified in 1978 by Foulser and Kallaher. Although one can use their results for a classification of corresponding rank three graphs, the author did not find such a classification in a literature. The goal of this note is to present such a classification. It turned out that graph classification is much simpler than the group one. More precisely, it is shown that the graphs in the title are either the Paley graphs or one of the graphs constructed by Van Lint and Schrijver or by Peisert. Our approach is based on elementary group theory and does not use the classification of rank three affine groups.


title: A note on sum-product estimates over finite valuation rings

abstract: Let $\mathcal R$ be a finite valuation ring of order $q^r$ with $q$ a power of an odd prime number, and $\mathcal A$ be a set in $\mathcal R$. In this paper, we improve a recent result due to Yazici (2018) on a sum-product type problem. More precisely, we will prove that 1. If $|\mathcal A|\gg q^{r-\frac{1}{3}}$, then $$\max\left\lbrace |\mathcal A+\mathcal A|, |\mathcal A^2+\mathcal A^2|\right\rbrace \gg q^{\frac{r}{2}}|\mathcal A|^{\frac{1}{2}}.$$ 2. If $q^{r-\frac{3}{8}}\ll |\mathcal A|\ll q^{r-\frac{1}{3}}$, then $$\max\left\lbrace |\mathcal A+\mathcal A|, |\mathcal A^2+\mathcal A^2|\right\rbrace \gg \frac{|\mathcal A|^2}{q^{\frac{2r-1}{2}}}.$$ 3. If $|\mathcal A+\mathcal A||\mathcal A|^2\gg q^{3r-1}$ and $2q^{r-1}\le |\mathcal A|\ll q^{r-\frac{3}{8}}$, then $$\max\left\lbrace |\mathcal A+\mathcal A|, |\mathcal A^2+\mathcal A^2|\right\rbrace \gg q^{r/3}|\mathcal A|^{2/3}.$$


title: Boundary criticality of $PT$-invariant topology and second-order nodal-line semimetals

abstract: For conventional topological phases, the boundary gapless modes are determined by bulk topological invariants. Based on developing an analytic method to solve higher-order boundary modes, we present $PT$-invariant $2$D topological insulators and $3$D topological semimetals that go beyond this bulk-boundary correspondence framework. With unchanged bulk topological invariant, their first-order boundaries undergo transitions separating different phases with second-order-boundary zero-modes. For the $2$D topological insulator, the helical edge modes appear at the transition point for two second-order topological insulator phases with diagonal and off-diagonal corner zero-modes, respectively. Accordingly, for the $3$D topological semimetal, the criticality corresponds to surface helical Fermi arcs of a Dirac semimetal phase. Interestingly, we find that the $3$D system generically belongs to a novel second-order nodal-line semimetal phase, possessing gapped surfaces but a pair of diagonal or off-diagonal hinge Fermi arcs.


title: Intrinsic sign problem in fermionic and bosonic chiral topological matter

abstract: The infamous sign problem leads to an exponential complexity in Monte Carlo simulations of generic many-body quantum systems. Nevertheless, many phases of matter are known to admit a sign-problem-free representative, allowing efficient simulations on classical computers. Motivated by long standing open problems in many-body physics, as well as fundamental questions in quantum complexity, the possibility of intrinsic sign problems, where a phase of matter admits no sign-problem-free representative, was recently raised but remains largely unexplored. Here, we establish the existence of an intrinsic sign problem in a broad class of gapped, chiral, topological phases of matter. Within this class, we exclude the possibility of stoquastic Hamiltonians for bosons (or 'qudits'), and of sign-problem-free determinantal Monte Carlo algorithms for fermions. The intrinsically sign-problematic class of phases we identify is defined in terms of topological invariants with clear observable signatures: the chiral central charge, and the topological spins of anyons. We obtain analogous results for phases that are spontaneously chiral, and present evidence for an extension of our results that applies to both chiral and non-chiral topological matter.

categories: cond-mat.str-el cond-mat.stat-mech hep-lat quant-ph


title: AMoRE: A search for neutrinoless double-beta decay of 100Mo using low-temperature molybdenum-containing crystal detectors

abstract: The AMoRE is an experiment to search for neutrinoless double-beta decay of 100Mo in molybdate crystal scintillators using a cryogenic detection technique. The crystals are equipped with metallic magnetic calorimeter sensors that detect both phonon and photon signals at temperatures of a few tens of mK. Simultaneous measurements of thermal and scintillation signals produced by particle interactions in the crystals by MMC sensors provide high energy resolution and efficient particle discrimination. AMoRE-Pilot, an R&D phase with six 48deplCa100MoO4 crystals and a total mass of ~1.9 kg in the final configuration, operated at the 700 m deep Yangyang underground laboratory (Y2L). After completion of the AMoRE-Pilot run at the end of 2018, AMoRE-I with a ~6 kg crystal array comprised of thirteen 48deplCa100MoO4 and five Li2100MoO4 crystals is currently being assembled and installed at Y2L. We have secured 110 kg of 100Mo-isotope-enriched MoO3 powder for the production of crystals for the AMoRE-II phase, which will have ~200 kg of molybdate crystals and operate at Yemilab, a new underground laboratory located ~1,100 m deep in the Handeok iron mine that is currently being excavated and with a scheduled completion date of December 2020. AMoRE-II is expected to improve the upper limit on the effective Majorana neutrino mass to cover the entire inverted hierarchy neutrino mass region: 20-50 meV, in the case when no such decays are observed. Results from AMoRE-Pilot and progress of the preparations for AMoRE-I and AMoRE-II are presented.

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: Inflationary cosmology- A new approach using Non-linear electrodynamics

abstract: We explore a new kind of field of nonlinear electrodynamics(NLED) which acts as a source of gravity and can accelerate the universe during the inflationary era. We propose a new type of NLED lagrangian which is charecterized by two paremetrs $\alpha$ and $\beta$. We investigate the classical stability and causality aspects of this model by demanding that the speed ($C_s = \frac{dP}{d\rho}$) of the sound wave $C_s^2 > 0$ and $C_s \le 1$ and find that $0 < C_s^2 < 1$ corresponds to $0.25 \le \alpha \le 0.4$ and $0.6 \le \beta B^2 \le 1$. A study of the deceleration parameter($q = \frac{1}{2}(1 + 3 \omega)$, $\omega = P/\rho$ being the equation of state parameter) suggests that the value $q < 0$ (i.e. $\omega < -1/3$ and $\ddot{a}(t) > 0$ ( the accelerating universe)) requires $\beta B^2 \ge 0.13$. During inflation, the energy density $\rho_B$ is found to be maximum and is given by $\rho_B^{max} = 0.65/\beta$ corresponding to $\alpha = 0.3$. The magnetic field necessary to trigger the inflation, is found to be $B (= B_{max}) \simeq \sqrt{\frac{0.4 \rho_B^{max}}{0.65}} = 4 \times 10^{51}~{\rm Gauss}$, where $\rho_{B}^{max}( =10^{64}~{\rm GeV}^4 $) is the energy density of the universe during inflation. The model also predict the e-fold number $N = 71$, which agrees with the experimental result.


title: Constructing Tree Decompositions of Graphs with Bounded Gonality

abstract: In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most $k$, when an effective divisor of degree $k$ that reaches all vertices is given. We also give a similar result for two related notions: stable divisorial gonality and stable gonality.


title: Simultaneous paraphrasing and translation by fine-tuning Transformer models

abstract: This paper describes the third place submission to the shared task on simultaneous translation and paraphrasing for language education at the 4th workshop on Neural Generation and Translation (WNGT) for ACL 2020. The final system leverages pre-trained translation models and uses a Transformer architecture combined with an oversampling strategy to achieve a competitive performance. This system significantly outperforms the baseline on Hungarian (27% absolute improvement in Weighted Macro F1 score) and Portuguese (33% absolute improvement) languages.


title: Ransomware in Windows and Android Platforms

abstract: Malware proliferation and sophistication have drastically increased and evolved continuously. Recent indiscriminate ransomware victimizations have imposed critical needs of effective detection techniques to prevent damages. Therefore, ransomware has drawn attention among cyberspace researchers. This paper contributes a comprehensive overview of ransomware attacks and summarizes existing detection and prevention techniques in both Windows and Android platforms. Moreover, it highlights the strengths and shortcomings of those techniques and provides a comparison between them. Furthermore, it gives recommendations to users and system administrators.


title: Spike-Triggered Descent

abstract: The characterization of neural responses to sensory stimuli is a central problem in neuroscience. Spike-triggered average (STA), an influential technique, has been used to extract optimal linear kernels in a variety of animal subjects. However, when the model assumptions are not met, it can lead to misleading and imprecise results. We introduce a technique, called spike-triggered descent (STD), which can be used alone or in conjunction with STA to increase precision and yield success in scenarios where STA fails. STD works by simulating a model neuron that learns to reproduce the observed spike train. Learning is achieved via parameter optimization that relies on a metric induced on the space of spike trains modeled as a novel inner product space. This technique can precisely learn higher order kernels using limited data. Kernels extracted from a Locusta migratoria tympanal nerve dataset demonstrate the strength of this approach.


title: Dynamical model of expansion free dissipative perfect fluids in general relativity

abstract: This paper deals with the spherically symmetric self-gravitating star which is considered to be expansion free dissipative perfect fluids distribution. Some recent research reveals that expansion free dynamical star must be accelerating and dissipating. We adopted some conjectures to obtain the analytical solution for the dynamical model of such stars. Firstly, it has shown that density of dynamical star is homogeneous and \Lamada-dominated under quasi-static diffusion approximation. Secondly, the self-similar solution is also discussed to describe the dynamical model.


title: Overview of KAGRA: Detector design and construction history

abstract: KAGRA is a newly built gravitational-wave telescope, a laser interferometer comprising arms with a length of 3\,km, located in Kamioka, Gifu, Japan. KAGRA was constructed under the ground and it is operated using cryogenic mirrors that help in reducing the seismic and thermal noise. Both technologies are expected to provide directions for the future of gravitational-wave telescopes. In 2019, KAGRA finished all installations with the designed configuration, which we call the baseline KAGRA. In this occasion, we present an overview of the baseline KAGRA from various viewpoints in a series of of articles. In this article, we introduce the design configurations of KAGRA with its historical background.


title: No arbitrage and multiplicative special semimartingales

abstract: Consider a financial market with nonnegative semimartingales which does not need to have a num\'{e}raire. We are interested in the absence of arbitrage in the sense that no self-financing portfolio gives rise to arbitrage opportunities, where we are allowed to add a savings account to the market. We will prove that in this sense the market is free of arbitrage if and only if there exists an equivalent local martingale deflator which is a multiplicative special semimartingale. In this case, the additional savings account relates to the finite variation part of the multiplicative decomposition of the deflator.


title: Multi-Channel Transfer Learning of Chest X-ray Images for Screening of COVID-19

abstract: The 2019 novel coronavirus (COVID-19) has spread rapidly all over the world and it is affecting the whole society. The current gold standard test for screening COVID-19 patients is the polymerase chain reaction test. However, the COVID-19 test kits are not widely available and time-consuming. Thus, as an alternative, chest X-rays are being considered for quick screening. Since the presentation of COVID-19 in chest X-rays is varied in features and specialization in reading COVID-19 chest X-rays are required thus limiting its use for diagnosis. To address this challenge of reading chest X-rays by radiologists quickly, we present a multi-channel transfer learning model based on ResNet architecture to facilitate the diagnosis of COVID-19 chest X-ray. Three ResNet-based models (Models a, b, and c) were retrained using Dataset_A (1579 normal and 4429 diseased), Dataset_B (4245 pneumonia and 1763 non-pneumonia), and Dataset_C (184 COVID-19 and 5824 Non-COVID19), respectively, to classify (a) normal or diseased, (b) pneumonia or non-pneumonia, and (c) COVID-19 or non-COVID19. Finally, these three models were ensembled and fine-tuned using Dataset_D (1579 normal, 4245 pneumonia, and 184 COVID-19) to classify normal, pneumonia, and COVID-19 cases. Our results show that the ensemble model is more accurate than the single ResNet model, which is also re-trained using Dataset_D as it extracts more relevant semantic features for each class. Our approach provides a precision of 94 % and a recall of 100%. Thus, our method could potentially help clinicians in screening patients for COVID-19, thus facilitating immediate triaging and treatment for better outcomes.


title: Dynamics of expansion free self gravitating cylindrically symmetric radiating star

abstract: The present work deals with the dynamics of radiating star which is considered to be expansion free cylindrical symmetric dust dissipative fluids. Several treatments are adopted for the description of geometrical and physical features of such stars. Firstly, it is shown that, the dynamical star does not permit the streaming out limit and diffusion approximation and also proved that acceleration and dissipation are necessary for its dynamical evolution. It has also shown that, a static expansion free cylinder must be non-radiating. Secondly, the existence of cavity model and self-similar solution for the such dynamical star are also investigated.


title: Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations

abstract: The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial structures, such as finite graphs and digital images, with applications in various case studies including medical image analysis. These recent developments required a generalisation step, from topological spaces to closure spaces. In this work we initiate the study of bisimilarity and minimisation algorithms that are consistent with the closure spaces semantics. For this purpose we employ coalgebraic models. We present a coalgebraic definition of bisimilarity for quasi-discrete models, which is adequate with respect to a spatial logic with reachability operators, complemented by a free and open-source minimisation tool for finite models. We also discuss the non-quasi-discrete case, by providing a generalisation of the well-known set-theoretical notion of topo-bisimilarity, and a categorical definition, in the same spirit as the coalgebraic rendition of neighbourhood frames, but employing the covariant power set functor, instead of the contravariant one. We prove its adequacy with respect to infinitary modal logic.


title: Data-driven Algorithm for Scheduling with Total Tardiness

abstract: In this paper, we investigate the use of deep learning for solving a classical NP-Hard single machine scheduling problem where the criterion is to minimize the total tardiness. Instead of designing an end-to-end machine learning model, we utilize well known decomposition of the problem and we enhance it with a data-driven approach. We have designed a regressor containing a deep neural network that learns and predicts the criterion of a given set of jobs. The network acts as a polynomial-time estimator of the criterion that is used in a single-pass scheduling algorithm based on Lawler's decomposition theorem. Essentially, the regressor guides the algorithm to select the best position for each job. The experimental results show that our data-driven approach can efficiently generalize information from the training phase to significantly larger instances (up to 350 jobs) where it achieves an optimality gap of about 0.5%, which is four times less than the gap of the state-of-the-art NBR heuristic.


title: Borophosphene as a promising Dirac anode with large capacity and high-rate capability for sodium-ion batteries

abstract: Sodium-ion batteries (SIBs) have attracted a great deal of attention as potential low-cost energy storage alternatives to Lithium-ion batteries (LIBs) due to the intrinsic safety and great abundance of sodium on Earth. For developing competitive SIBs, highly efficient anode materials with large capacity and rapid ion diffusion are indispensable. In this study, a two-dimensional (2D) Dirac monolayer, that is borophosphene, is proposed to be a promising anode material for high performance SIBs on the basis of density functional theory calculations. The performances of Na adsorption and diffusion, maximum specific capacity, open circuit voltage, cyclical stability and electronic properties combined with Bader charge analysis are explored. It is found that the borophosphene can spontaneously adsorb Na atom with binding energy of -0.838 eV. A low diffusion energy barrier of 0.221 eV suggests rapid ion conductivity. More intriguingly, a maximum specific capacity of 1282 mAh/g can be achieved in borophosphene, which is one of the largest values reported in 2D anode materials for SIBs. A low average voltage of 0.367 V is estimated, implying a suitable voltage of the anode material. Metallic properties, tiny surface expansion, and good kinetic stability of sodiated borophosphene give rise to high electrical conductivity and favorable cyclability. These advantages above suggest the borophosphene can be used as a Dirac anode material for SIBs with excellent performances of large specific capacity, high-rate capability, and favorable cyclability.


title: Cost-optimal single-qubit gate synthesis in the Clifford hierarchy

abstract: For universal quantum computation, a major challenge to overcome for practical implementation is the large amount of resources required for fault-tolerant quantum information processing. An important aspect is implementing arbitrary unitary operators built from logical gates within the quantum error correction code. A synthesis algorithm can be used to approximate any unitary gate up to arbitrary precision by assembling sequences of logical gates chosen from a small set of universal gates that are fault-tolerantly performable while encoded in a quantum error-correction code. However, current procedures do not yet support individual assignment of base gate costs and many do not support extended sets of universal base gates. We analysed cost-optimal sequences using an exhaustive search based on Dijkstra's pathfinding algorithm for the canonical Clifford+$T$ set of base gates and compared them to when additionally including $Z$-rotations from higher orders of the Clifford hierarchy. Two approaches of assigning base gate costs were used. First, costs were reduced to $T$-counts by recursively applying a $Z$-rotation catalyst circuit. Second, costs were assigned as the average numbers of raw (i.e. physical level) magic states required to directly distil and implement the gates fault-tolerantly. We found that the average sequence cost decreases by up to $54\pm 3\%$ when using the $Z$-rotation catalyst circuit approach and by up to $33\pm 2 \%$ when using the magic state distillation approach. In addition, we investigated observed limitations of certain assignments of base gate costs by developing an analytic model to estimate the proportion of sets of $Z$-rotation gates from higher orders of the Clifford hierarchy that are found within sequences approximating random target gates.


title: Deformations of Calabi-Yau manifolds in Fano toric varieties

abstract: In this article, we investigate deformations of a Calabi-Yau manifold $Z$ in a toric variety $F$, possibly not smooth. In particular, we prove that the forgetful morphism from the Hilbert functor $H^F_Z$ of infinitesimal deformations of $Z$ in $F$ to the functor of infinitesimal deformations of $Z$ is smooth. This implies the smoothness of $H^F_Z $ at the corresponding point in the Hilbert scheme. Moreover, we give some examples and include some computations on the Hodge numbers of Calabi-Yau manifolds in Fano toric varieties.


title: Modular affine Hecke category and regular unipotent centralizer, I

abstract: In this paper we provide, under some mild explicit assumptions, a geometric description of the category of representations of the centralizer of a regular unipotent element in a reductive algebraic group in terms of perverse sheaves on the Langlands dual affine flag variety. This equivalence is suggested and motivated by the "geometric Langlands" philosophy.


title: Non-reversible guided Metropolis kernel

abstract: We construct a class of non-reversible Metropolis kernels as a multivariate extension of the guided-walk kernel proposed by Gustafson 1998. The main idea of our method is to introduce a projection that maps a state space to a totally ordered group. By using Haar measure, we construct a novel Markov kernel termed Haar-mixture kernel, which is of interest in its own right. This is achieved by inducing a topological structure to the totally ordered group. Our proposed method, the Delta-guided Metropolis--Haar kernel, is constructed by using the Haar-mixture kernel as a proposal kernel. The proposed non-reversible kernel is at least 10 times better than the random-walk Metropolis kernel and Hamiltonian Monte Carlo kernel for the logistic regression and a discretely observed stochastic process in terms of effective sample size per second.


title: Investigation of the Status of Unit 2 Nuclear Reactor of the Fukushima Daiichi by the Cosmic Muon Radiography

abstract: We have investigated the status of the nuclear debris in the Unit-2 Nuclear Reactor of the Fukushima Daiichi Nuclear Power plant by the method called Cosmic Muon Radiography. In this measurement, the muon detector was placed outside of the reactor building as was the case of the measurement for the Unit-1 Reactor. Compared to the previous measurements, the detector was down-sized, which made us possible to locate it closer to the reactor and to investigate especially the lower part of the fuel loading zone. We identified the inner structures of the reactor such as the containment vessel, pressure vessel and other objects through the thick concrete wall of the reactor building. Furthermore, the observation showed existence of heavy material at the bottom of the pressure vessel, which can be interpreted as the debris of melted nuclear fuel dropped from the loading zone.


title: Existence of structured perfect Bayesian equilibrium in dynamic games of asymmetric information

abstract: In~[1],authors considered a general finite horizon model of dynamic game of asymmetric information, where N players have types evolving as independent Markovian process, where each player observes its own type perfectly and actions of all players. The authors present a sequential decomposition algorithm to find all structured perfect Bayesian equilibria of the game. The algorithm consists of solving a class of fixed-point of equations for each time $t,\pi_t$, whose existence was left as an open question. In this paper, we prove existence of these fixed-point equations for compact metric spaces.


title: Robustness Verification for Classifier Ensembles

abstract: We give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic attacks and a distribution over this set. The robustness-checking problem consists of assessing, given a set of classifiers and a labelled data set, whether there exists a randomized attack that induces a certain expected loss against all classifiers. We show the NP-hardness of the problem and provide an upper bound on the number of attacks that is sufficient to form an optimal randomized attack. These results provide an effective way to reason about the robustness of a classifier ensemble. We provide SMT and MILP encodings to compute optimal randomized attacks or prove that there is no attack inducing a certain expected loss. In the latter case, the classifier ensemble is provably robust. Our prototype implementation verifies multiple neural-network ensembles trained for image-classification tasks. The experimental results using the MILP encoding are promising both in terms of scalability and the general applicability of our verification procedure.


title: Infinitely Repeated Quantum Games and Strategic Efficiency

abstract: Repeated quantum game theory addresses long term relations among players who choose quantum strategies. In the conventional quantum game theory, single round quantum games or at most finitely repeated games have been widely studied, however less is known for infinitely repeated quantum games. Investigating infinitely repeated games is crucial since finitely repeated games do not much differ from single round games. In this work we establish the concept of general repeated quantum games and show the Quantum Folk Theorem, which claims that by iterating a game one can find an equilibrium strategy of the game and receive reward that is not obtained by a Nash equilibrium of the corresponding single round quantum game. A significant difference between repeated quantum prisoner's dilemma and repeated classical prisoner's dilemma is that the classical Pareto optimal solution is not always an equilibrium of the repeated quantum game when entanglement is sufficiently strong. When entanglement is sufficiently strong and reward is small, mutual cooperation cannot be an equilibrium of the repeated quantum game. In addition we present several concrete equilibrium strategies of the repeated quantum prisoner's dilemma.


title: 21cm forest probes on the axion dark matter in the post-inflationary Peccei-Quinn symmetry breaking scenarios

abstract: We study the future prospects of the 21cm forest observations on the axion-like dark matter when the spontaneous breaking of the global Peccei-Quinn (PQ) symmetry occurs after the inflation. The large isocurvature perturbations of order unity sourced from axion-like particles can result in the enhancement of minihalo formation, and the subsequent hierarchical structure formation can affect the minihalo abundance whose masses can exceed ${\cal O}(10^4) M_{\odot}$ relevant for the 21cm forest observations. We show that the 21cm forest observations are capable of probing the axion-like particle mass in the range $10^{-18}\lesssim m_a \lesssim 10^{-12}$ eV for the temperature independent axion mass. For the temperature dependent axion mass, the zero temperature axion mass scale for which the 21cm forest measurements can be affected is extended further to as big as of order $10^{-6}$ eV.


title: Compactness of semigroups generated by symmetric non-local Dirichlet forms with unbounded coefficients

abstract: Let $(\E,\F)$ be a symmetric non-local Dirichlet from with unbounded coefficient on $L^2(\R^d;\d x)$ defined by $$\E(f,g)=\iint_{\R^d\times \R^d} (f(y)-f(x))(g(x)-g(y)){W(x,y)}\, J(x,\d y)\,\d x, \quad f,g\in \F,$$ where $J(x,\d y)$ is regarded as the jumping kernel for a pure-jump symmetric L\'evy-type process with bounded coefficients, and $W(x,y)$ is seen as a weighted (unbounded) function. We establish sharp criteria for compactness and non-compactness of the associated Markovian semigroup $(P_t)_{t\ge0}$ on $L^2(\R^d;\d x)$. In particular, we prove that if $J(x,\d y)=|x-y|^{-d-\alpha}\,\d y$ with $\alpha\in (0,2)$, and $$W(x,y)= \begin{cases} (1+|x|)^p+(1+|y|)^p, \ & |x-y|< 1 \\ (1+|x|)^q+(1+|y|)^q, \ & |x-y|\geq 1 \end{cases}$$ with $p\in [0,\infty)$ and $q\in [0,\alpha)$, then $(P_t)_{t\ge0}$ is compact, if and only if $p>2$. This indicates that the compactness of $(\E,\F)$ heavily depends on the growth of the weighted function $W(x,y)$ only for $|x-y|<1$. Our approach is based on establishing the essential super Poincar\'e inequality for $(\E,\F)$. Our general results work even if the jumping kernel $J(x,\d y)$ is degenerate or is singular with respect to the Lebesgue measure.


title: Transmission Scheduling for Multi-loop Wireless Networked Control Based on LQ Cost Offset

abstract: In this paper, transmission scheduling for multiloop wireless networked control systems sharing the wireless channel is considered. A linear quadratic cost offset has been proposed to evaluate the performance gap induced by the nonideal communication. A functional relationship between linear quadratic offset metric and Age of Information has been built up. Based on the offset metric, we come up with an age-based scheduling policy and numerical simulations show that there is a significant improvement compared to the former work.


title: Discriminative Multi-modality Speech Recognition

abstract: Vision is often used as a complementary modality for audio speech recognition (ASR), especially in the noisy environment where performance of solo audio modality significantly deteriorates. After combining visual modality, ASR is upgraded to the multi-modality speech recognition (MSR). In this paper, we propose a two-stage speech recognition model. In the first stage, the target voice is separated from background noises with help from the corresponding visual information of lip movements, making the model 'listen' clearly. At the second stage, the audio modality combines visual modality again to better understand the speech by a MSR sub-network, further improving the recognition rate. There are some other key contributions: we introduce a pseudo-3D residual convolution (P3D)-based visual front-end to extract more discriminative features; we upgrade the temporal convolution block from 1D ResNet with the temporal convolutional network (TCN), which is more suitable for the temporal tasks; the MSR sub-network is built on the top of Element-wise-Attention Gated Recurrent Unit (EleAtt-GRU), which is more effective than Transformer in long sequences. We conducted extensive experiments on the LRS3-TED and the LRW datasets. Our two-stage model (audio enhanced multi-modality speech recognition, AE-MSR) consistently achieves the state-of-the-art performance by a significant margin, which demonstrates the necessity and effectiveness of AE-MSR.


title: New examples of Stein manifolds with volume density property

abstract: In the present paper we shall provide new examples of Stein manifolds enjoying the (algebraic) volume density property and compute their homology groups.


title: Modeling and Enhancing Low-quality Retinal Fundus Images

abstract: Retinal fundus images are widely used for the clinical screening and diagnosis of eye diseases. However, fundus images captured by operators with various levels of experience have a large variation in quality. Low-quality fundus images increase uncertainty in clinical observation and lead to the risk of misdiagnosis. However, due to the special optical beam of fundus imaging and structure of the retina, natural image enhancement methods cannot be utilized directly to address this. In this paper, we first analyze the ophthalmoscope imaging system and simulate a reliable degradation of major inferior-quality factors, including uneven illumination, image blurring, and artifacts. Then, based on the degradation model, a clinically oriented fundus enhancement network (cofe-Net) is proposed to suppress global degradation factors, while simultaneously preserving anatomical retinal structures and pathological characteristics for clinical observation and analysis. Experiments on both synthetic and real images demonstrate that our algorithm effectively corrects low-quality fundus images without losing retinal details. Moreover, we also show that the fundus correction method can benefit medical image analysis applications, e.g., retinal vessel segmentation and optic disc/cup detection.


title: On nonlinear pest/vector control via the Sterile Insect Technique: impact of residual fertility

abstract: We consider a minimalist model for the Sterile Insect Technique (SIT), assuming that residual fertility can occur in the sterile male population.Taking into account that we are able to get regular measurements from the biological system along the control duration, such as the size of the wild insect population, we study different control strategies that involve either continuous or periodic impulsive releases. We show that a combination of open-loop control with constant large releases and closed-loop nonlinear control, i.e. when releases are adjusted according to the wild population size estimates, leads to the best strategy in terms both of number of releases and total quantity of sterile males to be released.Last but not least, we show that SIT can be successful only if the residual fertility is less than a threshold value that depends on the wild population biological parameters. However, even for small values, the residual fertility induces the use of such large releases that SIT alone is not always reasonable from a practical point of view and thus requires to be combined with other control tools. We provide applications against a mosquito species, \textit{Aedes albopictus}, and a fruit fly, \textit{Bactrocera dorsalis}, and discuss the possibility of using SIT when residual fertility, among the sterile males, can occur.


title: Optimal responsiveness and collective oscillations emerging from the heterogeneity of inhibitory neurons

abstract: The brain is characterized by a strong heterogeneity of inhibitory neurons. We report that spiking neural networks display a resonance to the heterogeneity of inhibitory neurons, with optimal input/output responsiveness occurring for levels of heterogeneity similar to that found experimentally in cerebral cortex. A heterogeneous mean-field model predicts such optimal responsiveness. Moreover, we show that new dynamical regimes emerge from heterogeneity that were not present in the equivalent homogeneous system, such as sparsely synchronous collective oscillations.


title: Widths of functional classes defined by majorants of generalized moduli of smoothness in the spaces ${\mathcal S}^p$

abstract: Exact Jackson-type inequalities are obtained in terms of best approximations and averaged values of generalized moduli of smoothness in the spaces ${\mathcal S}^p$. The values of Kolmogorov, Bernstein, linear, and projective widths in the spaces ${\mathcal S}^p$ are found for classes of periodic functions defined by certain conditions on the averaged values of the generalized moduli of smoothness.


title: Femtosecond X-ray emission study of the spin cross-over dynamics in haem proteins

abstract: In haemoglobin (consisting of four globular myoglobin-like subunits), the change from the low-spin (LS) hexacoordinated haem to the high spin (HS) pentacoordinated domed form upon ligand detachment and the reverse process upon ligand binding, represent the transition states that ultimately drive the respiratory function. Visible-ultraviolet light has long been used to mimic the ligand release from the haem by photodissociation, while its recombination was monitored using time-resolved infrared to ultraviolet spectroscopic tools. However, these are neither element- nor spin-sensitive. Here we investigate the transition state in the case of Myoglobin-NO (MbNO) using femtosecond Fe Kalpha and Kbeta non-resonant X-ray emission spectroscopy (XES) at an X-ray free-electron laser upon photolysis of the Fe-NO bond. We find that the photoinduced change from the LS (S = 1/2) MbNO to the HS (S = 2) deoxy-myoglobin (deoxyMb) haem occurs in ca. 800 fs, and that it proceeds via an intermediate (S = 1) spin state. The XES observables also show that upon NO recombination to deoxyMb, the return to the planar MbNO ground state is an electronic relaxation from HS to LS taking place in ca. 30 ps. Thus, the entire ligand dissociation-recombination cycle in MbNO is a spin cross-over followed by a reverse spin cross-over process.


title: A new RCM mechanism for an ear and facial surgical application

abstract: Since the insertion area in the middle ear or in the sinus cavity is very narrow, the mobility of the endoscope is reduced to a rotation around a virtual point and a translation for the insertion of the camera. This article first presents the anatomy of these regions obtained from 3D scanning and then a mechanism based on the architecture of the agile eye coupled to a double parallelogram to create an RCM. This mechanism coupled with a positioning mechanism is used to handle an endoscope. This tool is used in parallel to the surgeon to allow him to have better rendering of the medium ear than the use of Binocular scope. The mechanism offers a wide working space without singularity whose borders are fixed by joint limits. This feature allows ergonomic positioning of the patient's head on the bed as well as for the surgeon and allows other applications such as sinus surgery.


title: A novel CMB polarization likelihood package for large angular scales built from combined WMAP and Planck LFI legacy maps

abstract: We present a CMB large-scale polarization dataset obtained by combining WMAP Ka, Q and V with Planck 70 GHz maps. We employ the legacy frequency maps released by the WMAP and Planck collaborations and perform our own Galactic foreground mitigation technique, which relies on Planck 353 GHz for polarized dust and on Planck 30 GHz and WMAP K for polarized synchrotron. We derive a single, optimally-noise-weighted, low-residual-foreground map and the accompanying noise covariance matrix. These are shown, through $\chi^2$ analysis, to be robust over an ample collection of Galactic masks. We use this dataset, along with the Planck legacy Commander temperature solution, to build a pixel-based low-resolution CMB likelihood package, whose robustness we test extensively with the aid of simulations, finding excellent consistency. Using this likelihood package alone, we constrain the optical depth to reionazation $\tau=0.069^{+0.011}_{-0.012}$ at $68\%$ C.L., on 54\% of the sky. Adding the Planck high-$\ell$ temperature and polarization legacy likelihood, the Planck lensing likelihood and BAO observations we find $\tau=0.0714_{-0.0096}^{+0.0087}$ in a full $\Lambda$CDM exploration. The latter bounds are slightly less constraining than those obtained employing \Planck\ HFI CMB data for large angle polarization, that only include EE correlations. Our bounds are based on a largely independent dataset that does include also TE correlations. They are generally well compatible with Planck HFI preferring slightly higher values of $\tau$. We make the low-resolution Planck and WMAP joint dataset publicly available along with the accompanying likelihood code.


title: Guarding a Polygon Without Losing Touch

abstract: We study the classical Art Gallery Problem first proposed by Klee in 1973 from a mobile multi-agents perspective. Specifically, we require an optimally small number of agents (also called guards) to navigate and position themselves in the interior of an unknown simple polygon with $n$ vertices such that the collective view of all the agents covers the polygon. We consider the visibly connected setting wherein agents must remain connected through line of sight links -- a requirement particularly relevant to multi-agent systems. We first provide a centralized algorithm for the visibly connected setting that runs in time $O(n)$, which is of course optimal. We then provide algorithms for two different distributed settings. In the first setting, agents can only perceive relative proximity (i.e., can tell which of a pair of objects is closer) whereas they can perceive exact distances in the second setting. Our distributed algorithms work despite agents having no prior knowledge of the polygon. Furthermore, we provide lower bounds to show that our distributed algorithms are near-optimal. Our visibly connected guarding ensures that (i) the guards form a connected network and (ii) the polygon is fully guarded. Consequently, this guarding provides the distributed infrastructure to execute any geometric algorithm for this polygon.


title: Synthetic topological insulator with periodically modulated effective gauge fields

abstract: We study both theoretically and numerically the topological edge states in synthetic photonic lattice with finitely periodic gauge potentials. The effective gauge fields are implemented by tailoring the phase alternatively and periodically, which finally results in symmetric total reflection at two boundaries of the one-dimensional synthetic lattice. Further tuning the nearest-neighbor coupling anisotropically, topological edge states occur at the two boundaries. Our work provides a new way to study the topological physics of one-dimensional coupled waveguide arrays with synthetic photonic lattice.


title: Lorentz spaces in action on pressureless systems arising from models of collective behavior

abstract: We are concerned with global-in-time existence and uniqueness results for models of pressureless gases that come up in the description of phenomena in astrophysics or collective behavior. The initial data are rough: in particular, the density is only bounded. Our results are based on interpolation and parabolic maximal regularity, where Lorentz spaces play a key role. We establish a novel maximal regularity estimate for parabolic systems in $L_{q,r}(0,T;L_p(\Omega))$ spaces.


title: Multi-criteria Analysis for Evaluation of Adaptive Radar Resource Management algorithms on a Naval setting with and without clutter

abstract: Multifunction radars (MFR) are met with complex capability requirements, involving various kinds of targets and saturating scenarios. In order to achieve these goals, radar systems use Active Electronically Scanned Array (AESA) to switch between their functions. This complexity makes it difficult to assess their performance both taking into account their functional requirements and the induces cost. In this paper, we first introduce Figures of Merit for phased array radar operation and performance. We compute these metrics on a set of test scenarios of varying complexity, involving different kinds of targets, and we aggregate them into a global notation of MFR radar performances. To achieve our purpose, we rely on the domain of Multi Criteria Decision Analysis (MCDA), and more precisely 2-additive Choquet integral.


title: Systematic study on the role of various higher-order processes in the breakup of weakly-bound projectiles

abstract: The virtual photon theory (VPT), which is based on first-order Coulomb dissociation restricted to the electric dipole ($E1$), has been successfully used to explain the breakup data for several cases. Our aim is to study the role of various higher-order processes that are ignored in the VPT, such as the nuclear breakup, interference between nuclear and Coulomb amplitudes, and multistep breakup processes mainly due to strong continuum-continuum couplings in the breakup of two-body projectiles on a heavy target at both intermediate and higher incident energies. For the purpose of numerical calculations, we employed eikonal version of three-body continuum-discretized coupled-channels (CDCC) reaction model. Our results for the breakup of $^{11}$Be and $^{17}$F on $^{208}$Pb target at 100, 250, and 520 MeV/A, show the importance of nuclear breakup contribution, and its significant role in the multistep processes. The multistep effect on Coulomb breakup for core-neutron projectile was found to be negligible, whereas it was important for core-proton projectile. Coulomb-nuclear interference (CNI) effect was also found to be non-negligible. Quantitatively, the multistep effects due to the nuclear breakup was found to depend on the incident energy through the energy dependence of the core-target and nucleon-target nuclear potentials. The nuclear breakup component, the CNI effect, and the multistep breakup processes are all found to be non-negligible; hence, the assumptions adopted in the VPT for the accurate description of breakup cross sections are not valid.


title: SkeleDock: A Web Application for Scaffold Docking in PlayMolecule

abstract: SkeleDock is a scaffold docking algorithm which uses the structure of a protein-ligand complex as a template to model the binding mode of a chemically similar system. This algorithm was evaluated in the D3R Grand Challenge 4 pose prediction challenge, where it achieved competitive performance. Furthermore, we show that, if crystallized fragments of the target ligand are available, SkeleDock can outperform rDock docking software at predicting the binding mode. This article also addresses the capacity of this algorithm to model macrocycles and deal with scaffold hopping. SkeleDock can be accessed at https://playmolecule.org/SkeleDock/.


title: Neighborhood Matching Network for Entity Alignment

abstract: Structural heterogeneity between knowledge graphs is an outstanding challenge for entity alignment. This paper presents Neighborhood Matching Network (NMN), a novel entity alignment framework for tackling the structural heterogeneity challenge. NMN estimates the similarities between entities to capture both the topological structure and the neighborhood difference. It provides two innovative components for better learning representations for entity alignment. It first uses a novel graph sampling method to distill a discriminative neighborhood for each entity. It then adopts a cross-graph neighborhood matching module to jointly encode the neighborhood difference for a given entity pair. Such strategies allow NMN to effectively construct matching-oriented entity representations while ignoring noisy neighbors that have a negative impact on the alignment task. Extensive experiments performed on three entity alignment datasets show that NMN can well estimate the neighborhood similarity in more tough cases and significantly outperforms 12 previous state-of-the-art methods.


title: Fisher-Rao geometry of Dirichlet distributions

abstract: In this paper, we study the geometry induced by the Fisher-Rao metric on the parameter space of Dirichlet distributions. We show that this space is geodesically complete and has everywhere negative sectional curvature. An important consequence of this negative curvature for applications is that the Fr{\'e}chet mean of a set of Dirichlet distributions is uniquely defined in this geometry.


title: Legendre's necessary condition for fractional Bolza functionals with mixed initial/final constraints

abstract: The present work was primarily motivated by our findings in the literature of some flaws within the proof of the second-order Legendre necessary optimality condition for fractional calculus of variations problems. Therefore we were eager to elaborate a correct proof and it turns out that this goal is highly nontrivial, especially when considering final constraints. This paper is the result of our reflections on this subject. Precisely we consider here a constrained minimization problem of a general Bolza functional that depends on a Caputo fractional derivative of order 0 < $\alpha$ $\le$ 1 and on a Riemann-Liouville fractional integral of order $\beta$ > 0, the constraint set describing general mixed initial/final constraints. The main contribution of our work is to derive corresponding first-and second-order necessary optimality conditions, namely the Euler-Lagrange equation, the transversality conditions and, of course, the Legendre condition. A detailed discussion is provided on the obstructions encountered with the classical strategy, while the new proof that we propose here is based on the Ekeland variational principle. Furthermore we underline that some subsidiary contributions are provided all along the paper. In particular we prove an independent and intrinsic result of fractional calculus stating that it does not exist a nontrivial function which is, together with its Caputo fractional derivative of order 0 < $\alpha$ < 1, compactly supported. Moreover we also discuss some evidences claiming that Riemann-Liouville fractional integrals should be considered in the formulation of fractional calculus of variations problems in order to preserve the existence of solutions.


title: Age-Energy Tradeoff in Fading Channels with Packet-Based Transmissions

abstract: The optimal transmission strategy to minimize the weighted combination of age of information (AoI) and total energy consumption is studied in this paper. It is assumed that the status update information is obtained and transmitted at fixed rate over a Rayleigh fading channel in a packet-based wireless communication system. A maximum transmission round on each packet is enforced to guarantee certain reliability of the update packets. Given fixed average transmission power, the age-energy tradeoff can be formulated as a constrained Markov decision process (CMDP) problem considering the sensing power consumption as well. Employing the Lagrangian relaxation, the CMDP problem is transformed into a Markov decision process (MDP) problem. An algorithm is proposed to obtain the optimal power allocation policy. Through simulation results, it is shown that both age and energy efficiency can be improved by the proposed optimal policy compared with two benchmark schemes. Also, age can be effectively reduced at the expense of higher energy cost, and more emphasis on energy consumption leads to higher average age at the same energy efficiency. Overall, the tradeoff between average age and energy efficiency is identified.


title: Soft landing of metal clusters on graphite: a molecular dynamics study

abstract: Structure and stability of 3 nm size Ag$_{887}$, Au$_{887}$ and Ti$_{787}$ clusters deposited on graphite under soft-landing conditions ($\sim 10^{-3}- 10^0$ eV per atom) are studied by means of molecular dynamics simulations. Parameters for the cluster-surface interaction are derived from complementary ab initio calculations. We found that the shape of clusters on the surface is governed by their elemental composition and depends also on the initial cluster structure and landing conditions. At deposition energies below 0.1 eV/atom, the Ag$_{887}$ cluster acquires an ellipsoidal shape, while Au$_{887}$ and Ti$_{787}$ clusters transform into oblate and prolate truncated spheroids, respectively, due to stronger adhesion to graphite. The clusters flatten over the surface and eventually disintegrate as the deposition energy increases. Simulation results reveal that Ag$_{887}$ and Au$_{887}$ fragment at about $0.75 - 1.0$ eV/atom whereas higher energy of about 3 eV/atom is required for the fragmentation of Ti$_{787}$. The contact angle, contact radius and height of the clusters as functions of deposition energy are determined from fitting the positions of cluster surface atoms with a surface equation. The dependence of these parameters on the internal energy of the clusters is also analyzed.


title: A Novel Algorithm for Nested Summation and Hypergeometric Expansions

abstract: We consider a class of sums over products of Z-sums whose arguments differ by a symbolic integer. Such sums appear, for instance, in the expansion of Gauss hypergeometric functions around integer indices that depend on a symbolic parameter. We present a telescopic algorithm for efficiently converting these sums into generalized polylogarithms, Z-sums, and cyclotomic harmonic sums for generic values of this parameter. This algorithm is illustrated by computing the double pentaladder integrals through ten loops, and a family of massive self-energy diagrams through $O(\epsilon^6)$ in dimensional regularization. We also outline the general telescopic strategy of this algorithm, which we anticipate can be applied to other classes of sums.


title: Unified Framework for the Adaptive Operator Selection of Discrete Parameters

abstract: We conduct an exhaustive survey of adaptive selection of operators (AOS) in Evolutionary Algorithms (EAs). We simplified the AOS structure by adding more components to the framework to built upon the existing categorisation of AOS methods. In addition to simplifying, we looked at the commonality among AOS methods from literature to generalise them. Each component is presented with a number of alternative choices, each represented with a formula. We make three sets of comparisons. First, the methods from literature are tested on the BBOB test bed with their default hyper parameters. Second, the hyper parameters of these methods are tuned using an offline configurator known as IRACE. Third, for a given set of problems, we use IRACE to select the best combination of components and tune their hyper parameters.


title: Dense pedestrian crowds versus granular packings: An analogy of sorts

abstract: Analogies between the dynamics of pedestrian crowds and granular media have long been hinted at.They seem all the more promising as the crowd is (very) dense, in which case the mechanical constraints prohibiting overlapsmight prevail over the decisional component of pedestrian dynamics. These analogies and their origins are probed in two distinct settings, (i) a flow through a narrow bottleneck and (ii) crossing of a static assembly by an intruder. Several quantitative similarities have been reported for the former setting and are discussed here, while setting (ii) reveals discrepancies in the response pattern, which areascribed to the pedestrians' ability to perceive, anticipate and self-propel.


title: Repr\'esentations cuspidales de GL(r,D) distingu\'ees par une involution int\'erieure

abstract: Let n be a positive integer, F be a non-Archimedean locally compact field of odd residue characteristic p and G be an inner form of GL(2n,F). This is a group of the form GL(r,D) for a positive integer r and division F-algebra D of reduced degree d such that rd=2n. Let K be a quadratic extension of F in the algebra of matrices of size r with coefficients in D, and H be its centralizer in G. We study selfdual cuspidal representations of G and their distinction by H from the point of view of type theory. Given such a representation pi of G, we compute the value at 1/2 of the epsilon factor of the restriction of the Langlands parameter phi of pi to the Weil group of K, denoted e(K,phi). When F has characteristic 0, we deduce that pi is H-distinguished if and only if phi is symplectic and e(K,phi)=(-1)^r. This proves in this case a conjecture by Prasad and Takloo-Bighash.


title: Conformal Einstein soliton within the framework of para-K$\"{a}$hler manifold

abstract: The object of the present paper is to study some properties of para-K$\"{a}$hler manifold whose metric is conformal Einstein soliton. We have studied some certain curvature properties of para-K$\"{a}$hler manifold admitting conformal Einstein soliton.


title: Emergence of a thermal equilibrium in a subsystem of a pure ground state by quantum entanglement

abstract: By numerically exact calculations of spin-1/2 antiferromagnetic Heisenberg models on small clusters, we demonstrate that quantum entanglement between subsystems $A$ and $B$ in a pure ground state of a whole system $A+B$ can induce thermal equilibrium in subsystem $A$. Here, the whole system is bipartitoned with the entanglement cut that covers the entire volume of subsystem $A$. Temperature ${\cal T}_{A}$ of subsystem $A$ is not a parameter but can be determined from the entanglement von Neumann entropy ${\cal S}_{A}$ and the total energy ${\cal E}_{A}$ of subsystem $A$ calculated for the ground state of the whole system. We show that temperature ${\cal T}_{A}$ can be derived by minimizing the relative entropy for the reduced density matrix operator of subsystem $A$ and the Gibbs state (i.e., thermodynamic density matrix operator) of subsystem $A$ with respect to the coupling strength between subsystems $A$ and $B$. Temperature ${\cal T}_{A}$ is essentially identical to the thermodynamic temperature, for which the entropy and the internal energy evaluated using the canonical ensemble in statistical mechanics for the isolated subsystem $A$ agree numerically with the entanglement entropy ${\cal S}_{A}$ and the total energy ${\cal E}_{A}$ of subsystem $A$.Fidelity calculations ascertain that the reduced density matrix operator of subsystem $A$ for the pure but entangled ground state of the whole system $A+B$ matches, within a maximally $1.5\%$ error in the finite size clusters studied, the thermodynamic density matrix operator of subsystem $A$ at temperature ${\cal T}_{A}$. We argue that quantum fluctuation in an entangled pure state can mimic thermal fluctuation in a subsystem. We also provide two simple but nontrivial analytical examples of free bosons and free fermions for which these statements are exact. We furthermore discuss implications and possible applications of our finding.


title: Machine Learning Guided Discovery of Gigantic Magnetocaloric Effect in HoB$_{2}$ Near Hydrogen Liquefaction Temperature

abstract: Magnetic refrigeration exploits the magnetocaloric effect which is the entropy change upon application and removal of magnetic fields in materials, providing an alternate path for refrigeration other than the conventional gas cycles. While intensive research has uncovered a vast number of magnetic materials which exhibits large magnetocaloric effect, these properties for a large number of compounds still remain unknown. To explore new functional materials in this unknown space, machine learning is used as a guide for selecting materials which could exhibit large magnetocaloric effect. By this approach, HoB$_{2}$ is singled out, synthesized and its magnetocaloric properties are evaluated, leading to the experimental discovery of gigantic magnetic entropy change 40.1 J kg$^{-1}$ K$^{-1}$ (0.35 J cm$^{-3}$ K$^{-1}$) for a field change of 5 T in the vicinity of a ferromagnetic second-order phase transition with a Curie temperature of 15 K. This is the highest value reported so far, to our knowledge, near the hydrogen liquefaction temperature thus it is a highly suitable material for hydrogen liquefaction and low temperature magnetic cooling applications.


title: Interplay between geometric and dynamic phases in a single spin system

abstract: We use a combination of microwave fields and free precession to drive the spin of a nitrogen-vacancy (NV) center in diamond on different trajectories on the Bloch sphere, and investigate the physical significance of the frame-dependent decomposition of the total phase into geometric and dynamic parts. The experiments are performed on a two-level subspace of the spin-1 ground state of the NV, where the Aharonov-Anandan geometric phase manifests itself as a global phase, and we use the third level of the NV ground state triplet to detect it. We show that while the geometric Aharonov-Anandan phase retains its connection to the solid angle swept out by the evolving spin, it is generally accompanied by a dynamic phase that suppresses the geometric dependence of the system dynamics. These results offer insights into the physical significance of frame-dependent geometric phases.


title: $E_\infty$-cells and general linear groups of infinite fields

abstract: We study the general linear groups of infinite fields (or more generally connected semi-local rings with infinite residue fields) from the perspective of $E_\infty$-algebras. We prove that there is a vanishing line of slope 2 for their $E_\infty$-homology, and analyse the groups on this line by determining all invariant bilinear forms on Steinberg modules. We deduce from this a number of consequences regarding the unstable homology of general linear groups, in particular answering questions of Rognes, Suslin, Mirzaii, and others.


title: Kibble-Zurek mechanism in a Dissipative Transverse Ising Chain

abstract: We study the Kibble-Zurek mechanism in the transverse Ising chain coupled to a dissipative boson bath, making use of a new numerical method with the infinite time evolving block decimation combined with the discrete-time path integral. We first show the ground-state phase diagram and confirm that a quantum phase transition takes place in the presence of the system-bath coupling. Then we present the time dependence of the energy expectation value of the spin Hamiltonian and the scaling of the kink density with respect to the time period over which the spin Hamiltonian crosses a quantum phase transition. The energy of spins starts to grow from the energy at the ground state of the full system near a quantum phase transition. The kink density decays as a power law with respect to the time period. These results confirm that the Kibble-Zurek mechanism happens. We discuss the exponent for the decay of the kink density in comparison with a theoretical result with the quantum Monte-Carlo simulation. A comparison to an experimental study is also briefly mentioned.


title: Non-equilibrium transport of inhomogeneous shale gas under ultra-tight confinement

abstract: The non-equilibrium transport of inhomogeneous and dense gases highly confined by surface is encountered in many engineering applications. For example, in the shale gas production process, methane is extracted from ultra-tight pores under high pressure so the gas is inhomogeneous and dense. Currently, the complex non-equilibrium transport of inhomogeneous and dense gases where gas surface interactions play a key role is commonly investigated by molecular dynamics or on a continuum-assumption basis. Here, a tractable kinetic model based on the generalized Enskog equation and the mean-field theory is employed to couple the effects of the volume exclusion and the long-range intermolecular attraction forces. The interactions between gas molecules and confined surface are modelled by a 10-4-3 Lennard-Jones potential, which can capture gas surface adsorption. The cross-sectional density profiles of methane under different confinements are in good agreement with the molecular dynamics results reported in the literature, and the transport behaviors are validated by the non-equilibrium molecular dynamics. The velocity of methane flow in shale matrix is plug-like due to its dense characteristics in nanopores. The influence of pressure, temperature, pore size and shale composition on density and velocity profiles is analyzed quantitatively. Our results show that the Klinkenberg correction is not applicable to model shale gas flow in the production process; the Navier-Stokes model using the second-order slip boundary condition cannot produce the proper velocity profiles, and consequently fails to predict the accurate flow rate in nanopores. This study sheds new light on understanding the physics of non-equilibrium dense gas flows in shale strata.


title: Unsupervised Multi-label Dataset Generation from Web Data

abstract: This paper presents a system towards the generation of multi-label datasets from web data in an unsupervised manner. To achieve this objective, this work comprises two main contributions, namely: a) the generation of a low-noise unsupervised single-label dataset from web-data, and b) the augmentation of labels in such dataset (from single label to multi label). The generation of a single-label dataset uses an unsupervised noise reduction phase (clustering and selection of clusters using anchors) obtaining a 85% of correctly labeled images. An unsupervised label augmentation process is then performed to assign new labels to the images in the dataset using the class activation maps and the uncertainty associated with each class. This process is applied to the dataset generated in this paper and a public dataset (Places365) achieving a 9.5% and 27% of extra labels in each dataset respectively, therefore demonstrating that the presented system can robustly enrich the initial dataset.


title: A Law of Large Numbers for interacting diffusions via a mild formulation

abstract: Consider a system of $n$ weakly interacting particles driven by independent Brownian motions. In many instances, it is well known that the empirical measure converges to the solution of a partial differential equation, usually called McKean-Vlasov or Fokker-Planck equation, as $n$ tends to infinity. We propose a relatively new approach to show this convergence by directly studying the stochastic partial differential equation that the empirical measure satisfies for each fixed $n$. Under a suitable control on the noise term, which appears due to the finiteness of the system, we are able to prove that the stochastic perturbation goes to zero, showing that the limiting measure is a solution to the classical McKean-Vlasov equation. In contrast with known results, we do not require any independence or finite moment assumption on the initial condition, but the only weak convergence. The evolution of the empirical measure is studied in a suitable class of Hilbert spaces where the noise term is controlled using two distinct but complementary techniques: rough paths theory and maximal inequalities for self-normalized processes.


title: How Reliable is Smartphone-based Electronic Contact Tracing for COVID-19?

abstract: Smartphone-based electronic contact tracing is currently considered an essential tool towards easing lockdowns, curfews, and shelter-in-place orders issued by most governments around the world in response to the 2020 novel coronavirus (SARS-CoV-2) crisis. While the focus on developing smartphone-based contact tracing applications or apps has been on privacy concerns stemming from the use of such apps, an important question that has not received sufficient attention is: How reliable will such smartphone-based electronic contact tracing be? This is a technical question related to how two smartphones reliably register their mutual proximity. Here, we examine in detail the technical prerequisites required for effective smartphone-based contact tracing. The underlying mechanism that any contact tracing app relies on is called Neighbor Discovery (ND), which involves smartphones transmitting and scanning for Bluetooth signals to record their mutual presence whenever they are in close proximity. The hardware support and the software protocols used for ND in smartphones, however, were not designed for reliable contact tracing. In this paper, we quantitatively evaluate how reliably can smartphones do contact tracing. Our results point towards the design of a wearable solution for contact tracing that can overcome the shortcomings of a smartphone-based solution to provide more reliable and accurate contact tracing. To the best of our knowledge, this is the first study that quantifies, both, the suitability and also the drawbacks of smartphone-based contact tracing. Further, our results can be used to parameterize a ND protocol to maximize the reliability of any contact tracing app that uses it.


title: Fractional advection-diffusion-asymmetry equation

abstract: Fractional kinetic equations employ non-integer calculus to model anomalous relaxation and diffusion in many systems. While this approach is well explored, it so far failed to describe an important class of transport in disordered systems. Motivated by work on contaminant spreading in geological formations we propose and investigate a fractional advection-diffusion equation describing the biased spreading packet. While usual transport is described by diffusion and drift, we find a third term describing symmetry breaking which is omnipresent for transport in disordered systems. Our work is based on continuous time random walks with a finite mean waiting time and a diverging variance, a case that on the one hand is very common and on the other was missing in the kaleidoscope literature of fractional equations. The fractional space derivatives stem from long trapping times while previously they were interpreted as a consequence of spatial L{\'e}vy flights.


title: Specifying and Model Checking Workflows of Single Page Applications with TLA+

abstract: Single Page Applications (SPAs) are different than hypertext-based web applications in that their workflow is not defined by explicit links, but rather implicitly by changes of their widgets' states. The workflow may hence be hard to track. We present an approach to specifying and model checking SPAs with TLA+. Our approach makes it easier to document and to track the workflow of SPAs and to find potential design flaws.


title: Robust Lasso-Zero for sparse corruption and model selection with missing covariates

abstract: We propose Robust Lasso-Zero, an extension of the Lasso-Zero methodology, initially introduced for sparse linear models, to the sparse corruptions problem. We give theoretical guarantees on the sign recovery of the parameters for a slightly simplified version of the estimator, called Thresholded Justice Pursuit. The use of Robust Lasso-Zero is showcased for variable selection with missing values in the covariates. In addition to not requiring the specification of a model for the covariates, nor estimating their covariance matrix or the noise variance, the method has the great advantage of handling missing not-at random values without specifying a parametric model. Numerical experiments and a medical application underline the relevance of Robust Lasso-Zero in such a context with few available competitors. The method is easy to use and implemented in the R library lass0.


title: Max-Consensus Over Fading Wireless Channels

abstract: The topic of this paper is achieving finite-time max-consensus in a multi-agent system that communicates over a fading wireless channel and exploits its interference property. This phenomenon corrupts the desired information when data is transmitted synchronously. In fact, each transmitted signal is attenuated by an unknown and time-varying factor (fading coefficient), then, by interference, all such attenuated signals are summed up at a receiver. Rather than combatting interference, we design a communication system that exploits it. Our strategy yields a more efficient usage of wireless resources compared to other algorithms. By simultaneously accessing this communication system, each agent obtains a weighted average of the neighbouring agents' information states. With this piece of information at hand and with a switching consensus protocol employing broadcast authorisations for agents, max-consensus can be achieved within a finite number of iterations.


title: Pioneering the Exascale era with Astronomy

abstract: SURF is the collaborative ICT organisation for Dutch education & research and coordinates the national e-infrastructure (surf.nl). To accelerate scientific discovery, SURF invests in, operates and explores high-end IT solutions for and with researchers in the Netherlands. In this ADASS 2019 contribution we present our latest developments in high performance and high throughput cloud computing. These developments are particularly relevant for Astronomy, as this science domain: (i) generates large (Petabyte sized) data collections, (ii) uses rapid release and deployment schemes for their software, (iii) requires flexible and interactive test and staging environments and (iv) needs to execute complex workflows on diverse data structures. We highlight our new OpenStack-based, cloud infrastructure layer and focus on Spider, our new addition to SURF's high throughput data processing platforms.


title: Defining a well-ordered Floquet basis by the average energy

abstract: At the moment, the most efficient method to compute the state of a periodically driven quantum system is using Floquet theory and the Floquet eigenbasis. The wide application of this basis set method is limited by: a lack of unique ordering of the Floquet eigenfunctions, an ambiguity in their definition at resonance, and an instability against infinitesimal perturbation at resonance. We address these problems by redefining the eigenbasis using a revised definition of the average energy as a quantum number. As a result of this redefinition, we also obtain a Floquet-Ritz variational principle, and justify the truncation of the Hilbert space.


title: Detecting CNN-Generated Facial Images in Real-World Scenarios

abstract: Artificial, CNN-generated images are now of such high quality that humans have trouble distinguishing them from real images. Several algorithmic detection methods have been proposed, but these appear to generalize poorly to data from unknown sources, making them infeasible for real-world scenarios. In this work, we present a framework for evaluating detection methods under real-world conditions, consisting of cross-model, cross-data, and post-processing evaluation, and we evaluate state-of-the-art detection methods using the proposed framework. Furthermore, we examine the usefulness of commonly used image pre-processing methods. Lastly, we evaluate human performance on detecting CNN-generated images, along with factors that influence this performance, by conducting an online survey. Our results suggest that CNN-based detection methods are not yet robust enough to be used in real-world scenarios.


title: Two-layer Thermally Driven Turbulence: Mechanisms for Interface Breakup

abstract: It is commonly accepted that the breakup criteria of drops or bubbles in turbulence is governed by surface tension and inertia. However, also {\it{buoyancy}} can play an important role at breakup. In order to better understand this role, here we numerically study Rayleigh-B\'enard convection for two immiscible fluid layers, in order to identify the effects of buoyancy on interface breakup. We explore the parameter space spanned by the Weber number $5\leq We \leq 5000$ (the ratio of inertia to surface tension) and the density ratio between the two fluids $0.001 \leq \Lambda \leq 1$, at fixed Rayleigh number $Ra=10^8$ and Prandtl number $Pr=1$. At low $We$, the interface undulates due to plumes. When $We$ is larger than a critical value, the interface eventually breaks up. Depending on $\Lambda$, two breakup types are observed: The first type occurs at small $\Lambda \ll 1$ (e.g. air-water systems) when local filament thicknesses exceed the Hinze length scale. The second, strikingly different, type occurs at large $\Lambda$ with roughly $0.5 < \Lambda \le 1$ (e.g. oil-water systems): The layers undergo a periodic overturning caused by buoyancy overwhelming surface tension. For both types the breakup criteria can be derived from force balance arguments and show good agreement with the numerical results.


title: Inertial torque on a small spheroid in a stationary uniform flow

abstract: How anisotropic particles rotate and orient in a flow depends on the hydrodynamic torque they experience. Here we compute the torque acting on a small spheroid in a uniform flow by numerically solving the Navier-Stokes equations. Particle shape is varied from oblate (aspect ratio $\lambda = 1/6$) to prolate ($\lambda = 6$), and we consider low and moderate particle Reynolds numbers (${\rm Re} \le 50$). We demonstrate that the angular dependence of the torque, predicted theoretically for small particle Reynolds numbers remains qualitatively correct for Reynolds numbers up to ${\rm Re} \sim 10$. The amplitude of the torque, however, is smaller than the theoretical prediction, the more so as ${\rm Re}$ increases. For Re larger than $10$, the flow past oblate spheroids acquires a more complicated structure, resulting in systematic deviations from the theoretical predictions. Overall, our numerical results provide a justification of recent theories for the orientation statistics of ice-crystals settling in a turbulent flow.


title: SKEP: Sentiment Knowledge Enhanced Pre-training for Sentiment Analysis

abstract: Recently, sentiment analysis has seen remarkable advance with the help of pre-training approaches. However, sentiment knowledge, such as sentiment words and aspect-sentiment pairs, is ignored in the process of pre-training, despite the fact that they are widely used in traditional sentiment analysis approaches. In this paper, we introduce Sentiment Knowledge Enhanced Pre-training (SKEP) in order to learn a unified sentiment representation for multiple sentiment analysis tasks. With the help of automatically-mined knowledge, SKEP conducts sentiment masking and constructs three sentiment knowledge prediction objectives, so as to embed sentiment information at the word, polarity and aspect level into pre-trained sentiment representation. In particular, the prediction of aspect-sentiment pairs is converted into multi-label classification, aiming to capture the dependency between words in a pair. Experiments on three kinds of sentiment tasks show that SKEP significantly outperforms strong pre-training baseline, and achieves new state-of-the-art results on most of the test datasets. We release our code at https://github.com/baidu/Senta.


title: Universal size ratios of Gaussian polymers with complex architecture: Radius of gyration vs hydrodynamic radius

abstract: The present research is dedicated to provide deeper understanding of the impact of complex architecture of branched polymers on their behaviour in solvents. The folding dynamics of macromolecules and hydrodynamics of polymer fluids are strongly dependent on size and shape measures of single macromolecules, which in turn are determined by their topology. For this aim, we use combination of analytical theory, based on path integration method, and molecular dynamics simulations to study structural properties of complex Gaussian polymers containing $f^c$ linear branches and $f^r$ closed loops grafted to the central core. Using theory we determine the size measures such as gyration radius $R_g$ and the hydrodynamic radii $R_H$, and obtain the estimates for the size ratio $R_g /R_H$ with its dependence on the functionality $f=f^c+f^r$ of grafted polymers. In particular, we obtain the quantitative estimate of compactification (decrease of size measure) of such complex polymer architectures with increasing number of closed loops $f^r$ as compared with linear or star-shape molecules of the same total molecular weight. Numerical simulations corroborate theoretical prediction that $R_g /R_H$ decreases towards unity with increasing $f$. These findings provide qualitative description of complex polymers with different arm architecture in $\theta$ solutions.


title: Universal structures in $\mathbb C$-linear enumerative invariant theories

abstract: An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some geometric problem, using a virtual class $[{\cal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ in some homology theory for the moduli spaces ${\cal M}_\alpha^{\rm st}(\tau)\subseteq{\cal M}_\alpha^{\rm ss}(\tau)$ of $\tau$-(semi)stable objects. Examples include Mochizuki's invariants counting coherent sheaves on surfaces, Donaldson-Thomas type invariants counting coherent sheaves on Calabi-Yau 3- and 4-folds and Fano 3-folds, and Donaldson invariants of 4-manifolds. We make conjectures on new universal structures common to many enumerative invariant theories. Such theories have two moduli spaces ${\cal M},{\cal M}^{\rm pl}$, where the second author gives $H_*({\cal M})$ the structure of a graded vertex algebra, and $H_*({\cal M}^{\rm pl})$ a graded Lie algebra, closely related to $H_*({\cal M})$. The virtual classes $[{\cal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ take values in $H_*({\cal M}^{\rm pl})$. Defining $[{\cal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ when ${\cal M}_\alpha^{\rm st}(\tau)\ne{\cal M}_\alpha^{\rm ss}(\tau)$ (in gauge theory, when the moduli space contains reducibles) is a difficult problem. We conjecture that there is a natural way to define $[{\cal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ in homology over $\mathbb Q$, and that the resulting classes satisfy a universal wall-crossing formula under change of stability condition $\tau$, written using the Lie bracket on $H_*({\cal M}^{\rm pl})$. We prove our conjectures for moduli spaces of representations of quivers without oriented cycles. Our conjectures in Algebraic Geometry using Behrend-Fantechi virtual classes are proved in the sequel arXiv:2111.04694.


title: High-Scalability CMOS Quantum Magnetometer with Spin-State Excitation and Detection of Diamond Color Centers

abstract: Magnetometers based on quantum mechanical processes enable high sensitivity and long-term stability without the need for re-calibration, but their integration into fieldable devices remains challenging. This paper presents a CMOS quantum vector-field magnetometer that miniaturizes the conventional quantum sensing platforms using nitrogen-vacancy (NV) centers in diamond. By integrating key components for spin control and readout, the chip performs magnetometry through optically detected magnetic resonance (ODMR) through a diamond slab attached to a custom CMOS chip. The ODMR control is highly uniform across the NV centers in the diamond, which is enabled by a CMOS-generated $\sim$2.87 GHz magnetic field with <5% inhomogeneity across a large-area current-driven wire array. The magnetometer chip is 1.5 mm$^2$ in size, prototyped in 65-nm bulk CMOS technology, and attached to a 300$\times$80 $\mu$m2 diamond slab. NV fluorescence is measured by CMOS-integrated photodetectors. This on-chip measurement is enabled by efficient rejection of the green pump light from the red fluorescence through a CMOS-integrated spectral filter based on a combination of spectrally dependent plasmonic losses and diffractive filtering in the CMOS back-end-of-line (BEOL). This filter achieves $\sim$25 dB of green light rejection. We measure a sensitivity of 245 nT/Hz$^{1/2}$, marking a 130$\times$ improvement over a previous CMOS-NV sensor prototype, largely thanks to the better spectral filtering and homogeneous microwave generation over larger area.


title: A Frobenius Algebraic Analysis for Parasitic Gaps

abstract: The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combinatory traditions, rely on explicit forms of syntactic copying. We identify two types of parasitic gapping where the duplication of semantic content can be confined to the lexicon. Parasitic gaps in adjuncts are analysed as forms of generalized coordination with a polymorphic type schema for the head of the adjunct phrase. For parasitic gaps affecting arguments of the same predicate, the polymorphism is associated with the lexical item that introduces the primary gap. Our analysis is formulated in terms of Lambek calculus extended with structural control modalities. A compositional translation relates syntactic types and derivations to the interpreting compact closed category of finite dimensional vector spaces and linear maps with Frobenius algebras over it. When interpreted over the necessary semantic spaces, the Frobenius algebras provide the tools to model the proposed instances of lexical polymorphism.


title: Superradiant Cherenkov-Wakefield radiation as THz source for FEL facilities

abstract: An electron beam passing through a tube which is lined on the inside with a dielectric layer will radiate energy in the THz range due to the interaction with the boundary. The resonant enhancement of certain frequencies is conditioned by structure parameters as tube radius and permittivity of the dielectric layer. In low loss structures narrow-band radiation is generated which can be coupled out by suitable antennas. For higher frequencies the coupling to the resistive outer metal layer becomes increasingly important. The losses in the outer layer prohibit to reach high frequencies with narrow-band conditions. Instead short broad-band pulses can be generated with still attractive power levels. In the first section of the paper a general theory of the impedance of a two-layer structure is presented and the coupling to the outer resistive layer is discussed. Approximate relations for the radiated energy, power and pulse length for a set of structure parameters are derived and compared to numerical results in the following section. Finally first numerical result of the out-coupling of the radiation by means of a Vlasov antenna and estimates of the achieved beam quality are presented.


title: Primordial Black Holes Confront LIGO/Virgo data: Current situation

abstract: The LIGO and Virgo Interferometers have so far provided 11 gravitational-wave (GW) observations of black-hole binaries. Similar detections are bound to become very frequent in the near future. With the current and upcoming wealth of data, it is possible to confront specific formation models with observations. We investigate here whether current data are compatible with the hypothesis that LIGO/Virgo black holes are of primordial origin. We compute in detail the mass and spin distributions of primordial black holes (PBHs), their merger rates, the stochastic background of unresolved coalescences, and confront them with current data from the first two observational runs, also including the recently discovered GW190412. We compute the best-fit values for the parameters of the PBH mass distribution at formation that are compatible with current GW data. In all cases, the maximum fraction of PBHs in dark matter is constrained by these observations to be $f_{\text{PBH}}\approx {\rm few}\times 10^{-3}$. We discuss the predictions of the PBH scenario that can be directly tested as new data become available. In the most likely formation scenarios where PBHs are born with negligible spin, the fact that at least one of the components of GW190412 is moderately spinning is incompatible with a primordial origin for this event, unless accretion or hierarchical mergers are significant. In the absence of accretion, current non-GW constraints already exclude that LIGO/Virgo events are all of primordial origin, whereas in the presence of accretion the GW bounds on the PBH abundance are the most stringent ones in the relevant mass range. A strong phase of accretion during the cosmic history would favour mass ratios close to unity, and a redshift-dependent correlation between high masses, high spins and nearly-equal mass binaries, with the secondary component spinning faster than the primary.


title: AdaDurIAN: Few-shot Adaptation for Neural Text-to-Speech with DurIAN

abstract: This paper investigates how to leverage a DurIAN-based average model to enable a new speaker to have both accurate pronunciation and fluent cross-lingual speaking with very limited monolingual data. A weakness of the recently proposed end-to-end text-to-speech (TTS) systems is that robust alignment is hard to achieve, which hinders it to scale well with very limited data. To cope with this issue, we introduce AdaDurIAN by training an improved DurIAN-based average model and leverage it to few-shot learning with the shared speaker-independent content encoder across different speakers. Several few-shot learning tasks in our experiments show AdaDurIAN can outperform the baseline end-to-end system by a large margin. Subjective evaluations also show that AdaDurIAN yields higher mean opinion score (MOS) of naturalness and more preferences of speaker similarity. In addition, we also apply AdaDurIAN to emotion transfer tasks and demonstrate its promising performance.


title: Single pulse modeling and the bi-drifting subpulses of radio pulsar B1839-04

abstract: We study the bi-drifting pulsar B1839-04, where the observed subpulse drift direction in the two leading pulse components is opposite from that in the two trailing components. Such diametrically opposed apparent motions challenge our understanding of an underlying structure. We find that for the geometry spanned by the observer and the pulsar magnetic and rotation axes, the observed bi-drifting in B1839-04 can be reproduced assuming a non-dipolar configuration of the surface magnetic field. Acceptable solutions are found to either have relatively weak $(\sim 10^{12} \,{\rm G})$ or strong $(\sim 10^{14} \,{\rm G})$ surface magnetic fields. Our single pulse modeling shows that a global electric potential variation at the polar cap that leads to a solid-body-like rotation of spark forming regions is favorable in reproducing the observed drift characteristics. This variation of the potential additionally ensures that the variability is identical in all pulse components resulting in the observed phase locking of subpulses. Thorough and more general studies of pulsar geometry show that a low ratio of impact factor to opening angle $(\beta / \rho)$ increases the likelihood of bi-drifting to be observed. We thus conclude that bi-drifting is visible when our line of sight crosses close to the magnetic pole.


title: Class of discriminant for $\mathrm{Sp}(2n)$ Hitchin spectral covers

abstract: We define the universal Hitchin discriminants in the case of $\mathrm{Sp}(2n)$ Hitchin spectral covers, describe their components, and express their divisor classes in terms of standard generators of the rational Picard group of the moduli spaces of such spectral covers with variable base curve.


title: Convergence of Online Adaptive and Recurrent Optimization Algorithms

abstract: We prove local convergence of several notable gradient descent algorithms used in machine learning, for which standard stochastic gradient descent theory does not apply directly. This includes, first, online algorithms for recurrent models and dynamical systems, such as \emph{Real-time recurrent learning} (RTRL) and its computationally lighter approximations NoBackTrack and UORO; second, several adaptive algorithms such as RMSProp, online natural gradient, and Adam with $\beta^2\to 1$.Despite local convergence being a relatively weak requirement for a new optimization algorithm, no local analysis was available for these algorithms, as far as we knew. Analysis of these algorithms does not immediately follow from standard stochastic gradient (SGD) theory. In fact, Adam has been proved to lack local convergence in some simple situations \citep{j.2018on}. For recurrent models, online algorithms modify the parameter while the model is running, which further complicates the analysis with respect to simple SGD.Local convergence for these various algorithms results from a single, more general set of assumptions, in the setup of learning dynamical systems online. Thus, these results can cover other variants of the algorithms considered.We adopt an "ergodic" rather than probabilistic viewpoint, working with empirical time averages instead of probability distributions. This is more data-agnostic and creates differences with respect to standard SGD theory, especially for the range of possible learning rates. For instance, with cycling or per-epoch reshuffling over a finite dataset instead of pure i.i.d.\ sampling with replacement, empirical averages of gradients converge at rate $1/T$ instead of $1/\sqrt{T}$ (cycling acts as a variance reduction method), theoretically allowing for larger learning rates than in SGD.


title: Tangent spaces of the Teichm{\"u}ller space of the torus with Thurston's weak metric

abstract: In this paper, we show that the analogue of Thurston's asymmetric metric on the Teichm{\"u}ller space of flat structures on the torus is weak Finsler and we give a geometric description of its unit sphere at each point in the tangent space to Teichm{\"u}ller space. We then introduce a family of weak Finsler metrics which interpolate between Thurston's asymmetric metric and the Teichm{\"u}ller metric of the torus (which coincides with the the hyperbolic metric). We describe the infinitesimal unit spheres of the metrics in this family.The final version of this paper will appear in Annales Academi\ae \ Scientiarum Fennic\ae \ Mathematica.


title: On the numerical range of second order elliptic operators with mixed boundary conditions in $L^p$

abstract: We consider second order elliptic operators with real, nonsymmetric coefficient functions which are subject to mixed boundary conditions. The aim of this paper is to provide uniform resolvent estimates for the realizations of these operators on $L^p$ in a most direct way and under minimal regularity assumptions on the domain. This is analogous to the main result in [Chill et al. 2006]. Ultracontractivity of the associated semigroups is also considered. All results are for two different form domains realizing mixed boundary conditions. We further consider the case of Robin -- instead of classical Neumann -- boundary conditions and also allow for operators inducing dynamic boundary conditions. The results are complemented by an intrinsic characterization of elements of the form domains inducing mixed boundary conditions.


title: Anisometric mesoscale nuclear and magnetic texture in sintered Nd-Fe-B magnets

abstract: By means of temperature and wavelength-dependent small-angle neutron scattering (SANS) experiments on sintered isotropic and textured Nd-Fe-B magnets we provide evidence for the existence of an anisometric structure in the microstructure of the textured magnets. This conclusion is reached by observing a characteristic cross-shaped angular anisotropy in the total unpolarized SANS cross section at temperatures well above the Curie temperature. Comparison of the experimental SANS data to a microstructural model based on the superquadrics form factor allows us to estimate the shape and lower bounds for the size of the structure. Subtraction of the scattering cross section in the paramagnetic regime from data taken at room temperature provides the magnetic SANS cross section. Surprisingly, the anisotropy of the magnetic scattering is very similar to the nuclear SANS signal, suggesting that the nuclear structure is decorated by the magnetic moments via spin-orbit coupling. Based on the computation of the two-dimensional correlation function we estimate lower bounds for the longitudinal and transversal magnetic correlation lengths.


title: The fraction of light nuclei in the mass composition of primary cosmic radiation at E0=1-100 PeV

abstract: The characteristics of extensive air showers that are sensitive to the mass composition of primary cosmic radiation are recorded in the EAS core. These characteristics include the parameters of the phenomenon of "halo". Studies have shown that the bulk of the events recorded in XRECs are produced by protons and He nuclei, which allows the estimation of the fraction of light nuclei in PCR. The events under analysis were obtained in the XREC PAMIR experiment, and the properties of these events were studied at distances extending up to about 10 cm from the EAS axis with a resolution of approximately 30 micro m. The investigation of the parameters of events in EAS cores by the halo method permitted analyzing the mass composition of PCR at E0=10 PeV and assessing the fraction of light nuclei in PCR, which depend only slightly on the model of EAS propagation through the atmosphere. From an analysis of gamma-ray families featuring a halo and multicenter halos obtained in the PAMIR XREC, it was found that the fraction of the p+He component of PCR was about 40%.