title: No Perfect Outdoors: Towards A Deep Profiling of GNSS-based Location Contexts

abstract: While both outdoor and indoor localization methods are flourishing, how to properly marry them to offer pervasive localizability in urban areas remains open. Recently proposals on indoor-outdoor detection make the first step towards such an integration, yet complicated urban environments render such a binary classification incompetent. In this paper, we intend to fully explore raw GNSS measurements in order to better characterize the diversified urban environments. Essentially, we tackle the challenges introduced by the complex GNSS data and apply a deep learning model to identify representations for respective location contexts. We further develop two preliminary applications of our deep profiling. On one hand, we offer a more fine-grained semantic classification than binary indoor-outdoor detection. On the other hand, we derive a GPS error indicator more meaningful than that provided by Google Maps. These results are all corroborated by our extensive data collection and trace-driven evaluations.


title: The Occurrence of Rocky Habitable Zone Planets Around Solar-Like Stars from Kepler Data

abstract: We present occurrence rates for rocky planets in the habitable zones (HZ) of main-sequence dwarf stars based on the Kepler DR25 planet candidate catalog and Gaia-based stellar properties. We provide the first analysis in terms of star-dependent instellation flux, which allows us to track HZ planets. We define $\eta_\oplus$ as the HZ occurrence of planets with radius between 0.5 and 1.5 $R_\oplus$ orbiting stars with effective temperatures between 4800 K and 6300 K. We find that $\eta_\oplus$ for the conservative HZ is between $0.37^{+0.48}_{-0.21}$ (errors reflect 68\% credible intervals) and $0.60^{+0.90}_{-0.36}$ planets per star, while the optimistic HZ occurrence is between $0.58^{+0.73}_{-0.33}$ and $0.88^{+1.28}_{-0.51}$ planets per star. These bounds reflect two extreme assumptions about the extrapolation of completeness beyond orbital periods where DR25 completeness data are available. The large uncertainties are due to the small number of detected small HZ planets. We find similar occurrence rates using both a Poisson likelihood Bayesian analysis and Approximate Bayesian Computation. Our results are corrected for catalog completeness and reliability. Both completeness and the planet occurrence rate are dependent on stellar effective temperature. We also present occurrence rates for various stellar populations and planet size ranges. We estimate with $95\%$ confidence that, on average, the nearest HZ planet around G and K dwarfs is about 6 pc away, and there are about 4 HZ rocky planets around G and K dwarfs within 10 pc of the Sun.


title: Learning and avoiding disorder in multimode fibers

abstract: Multimode optical fibers (MMFs) have gained renewed interest in the past decade, emerging as a way to boost optical communication data-rates in the context of an expected saturation of current single-mode fiber-based networks. They are also attractive for endoscopic applications, offering the possibility to achieve a similar information content as multicore fibers, but with a much smaller footprint, thus reducing the invasiveness of endoscopic procedures. However, these advances are hindered by the unavoidable presence of disorder that affects the propagation of light in MMFs and limits their practical applications. We introduce here a general framework to study and avoid the effect of disorder. We experimentally find an almost complete set of optical channels that are resilient to disorder induced by strong deformations. These deformation principle modes are obtained by only exploiting measurements for weak perturbations. We explain this effect by demonstrating that, even for a high level of disorder, the propagation of light in MMFs can be characterized by just a few key properties. These results are made possible thanks to a precise and fast estimation of the modal transmission matrix of the fiber which relies on a model-based optimization using deep learning frameworks.


title: Approximate Evaluation of First-Order Counting Queries

abstract: Kuske and Schweikardt introduced the very expressive first-order counting logic FOC(P) to model database queries with counting operations. They showed that there is an efficient model-checking algorithm on graphs with bounded degree, while Grohe and Schweikardt showed that probably no such algorithm exists for trees of bounded depth. We analyze the fragment FO({>0}) of this logic. While we remove for example subtraction and comparison between two non-atomic counting terms, this logic remains quite expressive: We allow nested counting and comparison between counting terms and arbitrarily large numbers. Our main result is an approximation scheme of the model-checking problem for FO({>0}) that runs in linear fpt time on structures with bounded expansion. This scheme either gives the correct answer or says "I do not know." The latter answer may only be given if small perturbations in the number-symbols of the formula could make it both satisfied and unsatisfied. This is complemented by showing that exactly solving the model-checking problem for FO({>0}) is already hard on trees of bounded depth and just slightly increasing the expressiveness of FO({>0}) makes even approximation hard on trees.


title: Random walks on stochastic uniform growth trees: Analytical formula for mean first-passage time

abstract: As known, the commonly-utilized ways to determine mean first-passage time $\overline{\mathcal{F}}$ for random walk on networks are mainly based on Laplacian spectra. However, methods of this type can become prohibitively complicated and even fail to work when the Laplacian matrix of network under consideration is difficult to describe in the first place. In this paper, we propose an effective approach to determining quantity $\overline{\mathcal{F}}$ on some widely-studied tree networks. To this end, we first build up a general formula between Wiener index $\mathcal{W}$ and $\overline{\mathcal{F}}$ on a tree. This enables us to convert issues to answer into calculation of $\mathcal{W}$ on networks in question. As opposed to most of previous work focusing on deterministic growth trees, our goal is to consider stochastic case. Towards this end, we establish a principled framework where randomness is introduced into the process of growing trees. As an immediate consequence, the previously published results upon deterministic cases are thoroughly covered by formulas established in this paper. Additionally, it is also straightforward to obtain Kirchhoff index on our tree networks using the proposed approach. Most importantly, our approach is more manageable than many other methods including spectral technique in situations considered herein.


title: Higher Order Linear Transformer

abstract: Following up on the linear transformer part of the article from Katharopoulos et al., that takes this idea from Shen et al., the trick that produces a linear complexity for the attention mechanism is re-used and extended to a second-order approximation of the softmax normalization.


title: Towards a qualitative hadron-parton correspondence in the nuclear modification factor

abstract: In this work, we propose a method to show the correspondence between hadron and its quark component nuclear modification factors. A parton and hadron cascade model PACIAE based on the PYTHIA6.4 is employed to calculate the hadron and its quark component nuclear modification factors in the 0-5\% most central $Pb+Pb$ collisions at $\sqrt{s_{NN}}$=2.76 TeV. It turns out that the hadron nuclear modification factor is usually smaller than that of its quark component. On the other hand, it is shown in our study that the "dead cone effect" is more likely to be identified with the quarks and mesons but not with the baryon states obviously.


title: Self-sweeping ytterbium-doped fiber laser based on a fiber saturable absorber

abstract: Generally speaking, the self-sweeping effect relies on the dynamical grating formed in a gain fiber. Here, the normal self-sweeping was generated in a pump-free ytterbium-doped fiber which serves as a fiber saturable absorber and is introduced to the laser cavity by a circulator in this experiment. The sweeping rate and the sweeping range alter as usual, both of which can be controlled by the pump power. Further, a new self-pulse signal is observed and discussed in this work, which shows the difference of the self-sweeping effects between active fiber and fiber saturable absorber.


title: Model Rubik's Cube: Twisting Resolution, Depth and Width for TinyNets

abstract: To obtain excellent deep neural architectures, a series of techniques are carefully designed in EfficientNets. The giant formula for simultaneously enlarging the resolution, depth and width provides us a Rubik's cube for neural networks. So that we can find networks with high efficiency and excellent performance by twisting the three dimensions. This paper aims to explore the twisting rules for obtaining deep neural networks with minimum model sizes and computational costs. Different from the network enlarging, we observe that resolution and depth are more important than width for tiny networks. Therefore, the original method, i.e., the compound scaling in EfficientNet is no longer suitable. To this end, we summarize a tiny formula for downsizing neural architectures through a series of smaller models derived from the EfficientNet-B0 with the FLOPs constraint. Experimental results on the ImageNet benchmark illustrate that our TinyNet performs much better than the smaller version of EfficientNets using the inversed giant formula. For instance, our TinyNet-E achieves a 59.9% Top-1 accuracy with only 24M FLOPs, which is about 1.9% higher than that of the previous best MobileNetV3 with similar computational cost. Code will be available at https://github.com/huawei-noah/ghostnet/tree/master/tinynet_pytorch, and https://gitee.com/mindspore/mindspore/tree/master/model_zoo/research/cv/tinynet.


title: Anisotropic layer-by-layer carbon nanotubes/boron nitride/rubber composite and its application in electromagnetic shielding

abstract: Multifunctional polymer composites with anisotropic properties are attracting interests as they fulfil the growing demand of multitasking materials. In this work, anisotropic polymer composites are fabricated by combining the layer-by-layer (LBL) filtration method with the alternative assembling of carbon nanotubes (CNTs) and hexagonal boron nitride flakes (hBN) on natural rubber latex particles (NR). The layered composites exhibit anisotropic thermal and electrical conductivities, which are tailored through the layer formulations. The best composite consists of four layers of NR modified with 8 phr (parts per Hundred Rubber) CNTs (~7.4 wt%) and four alternated layers with 12 phr hBN (~10.7 wt%). The composites exhibit an electromagnetic interference (EMI) shielding effectiveness of 22.41+-0.14 dB mm-1 at 10.3 GHz and a thermal conductivity equal to 0.25 W/(mK). Furthermore, when the layered composite is used as an electrical thermal heater the surface reaches a stable temperature of ~103 C in approx. 2 min, with an input bias of 2.5 V.


title: Simulating noisy variational quantum eigensolver with local noise models

abstract: Variational quantum eigensolver (VQE) is promising to show quantum advantage on near-term noisy-intermediate-scale quantum (NISQ) computers. One central problem of VQE is the effect of noise, especially the physical noise on realistic quantum computers. We study systematically the effect of noise for the VQE algorithm, by performing numerical simulations with various local noise models, including the amplitude damping, dephasing, and depolarizing noise. We show that the ground state energy will deviate from the exact value as the noise probability increase and normally noise will accumulate as the circuit depth increase. We build a noise model to capture the noise in a real quantum computer. Our numerical simulation is consistent with the quantum experiment results on IBM Quantum computers through Cloud. Our work sheds new light on the practical research of noisy VQE. The deep understanding of the noise effect of VQE may help to develop quantum error mitigation techniques on near team quantum computers.


title: Wilson loops for triangular contours with circular edges

abstract: We calculate Wilson loops in lowest order of perturbation theory for triangular contours whose edges are circular arcs. Based on a suitable disentanglement of the relations between metrical and conformal parameters of the contours, the result fits perfectly in the structure predicted by the anomalous conformal Ward identity. The conformal remainder function depends in the generic 4D case on three cusp and on three torsion angles. The restrictions on these angles imposed by the closing of the contour are discussed in detail and also for cases in 3D and 2D.


title: Porting the microphysics model CASIM to GPU and KNL Cray machines

abstract: CASIM is a microphysics scheme which calculates the interaction between moisture droplets in the atmosphere and forms a critical part of weather and climate modelling codes. However the calculations involved are computationally intensive and so investigating whether CASIM can take advantage of novel hardware architectures and the likely increase in performance this might afford makes sense. In this paper we present work done in porting CASIM to GPUs via the directive driven OpenACC and also modifying CASIM to take advantage of the Knights Landing (KNL) processor using OpenMP. Due to the design, models extracting out specific computational kernels for offload to the GPU proved suboptimal and instead the entire scheme was ported over to the GPU. We consider the suitability and maturity of OpenACC for this approach as well as important optimisations that were identified. Enabling CASIM to take advantage of the KNL was significantly easier, but still required careful experimentation to understand the best design and configuration. The performance of both versions of CASIM, in comparison to the latest generation of CPUs is discussed, before identifying lessons learnt about the suitability of CASIM and other similar models for these architectures. The result of this work are versions of CASIM which show promising performance benefits when utilising both GPUs and KNLs and enable the communities to take advantage of these technologies, in addition to general techniques that can be applied to other similar weather and climate models.


title: Explainable Artificial Intelligence for Manufacturing Cost Estimation and Machining Feature Visualization

abstract: Studies on manufacturing cost prediction based on deep learning have begun in recent years, but the cost prediction rationale cannot be explained because the models are still used as a black box. This study aims to propose a manufacturing cost prediction process for 3D computer-aided design (CAD) models using explainable artificial intelligence. The proposed process can visualize the machining features of the 3D CAD model that are influencing the increase in manufacturing costs. The proposed process consists of (1) data collection and pre-processing, (2) 3D deep learning architecture exploration, and (3) visualization to explain the prediction results. The proposed deep learning model shows high predictability of manufacturing cost for the computer numerical control (CNC) machined parts. In particular, using 3D gradient-weighted class activation mapping proves that the proposed model not only can detect the CNC machining features but also can differentiate the machining difficulty for the same feature. Using the proposed process, we can provide a design guidance to engineering designers in reducing manufacturing costs during the conceptual design phase. We can also provide real-time quotations and redesign proposals to online manufacturing platform customers.


title: RIS-aided Joint Localization and Synchronization with a Single-Antenna MmWave Receiver

abstract: MmWave multiple-input single-output (MISO) systems using a single-antenna receiver are regarded as promising solution for the near future, before the full-fledged 5G MIMO will be widespread. However, for MISO systems synchronization cannot be performed jointly with user localization unless two-way transmissions are used. In this paper we show that thanks to the use of a reconfigurable intelligent surface (RIS), joint localization and synchronization is possible with only downlink MISO transmissions. The direct maximum likelihood (ML) estimator for the position and clock offset is derived. To obtain a good initialization for the ML optimization, a decoupled, relaxed estimator of position and delays is also devised, which does not require knowledge of the clock offset. Results show that the proposed approach attains the Cram\'er-Rao lower bound even for moderate values of the system parameters.


title: Bend it like dark matter!

abstract: Dark matter is one of the most intriguing scientific mysteries of our time and offers exciting instructional opportunities for physics education in high schools. The topic is likely to engage and motivate students in the classroom and allows addressing open questions of the Standard Model of particle physics. Although the empirical evidence of dark matter links nicely to many standard topics of physics curricula, teachers may find it challenging to introduce the topic in their classrooms. In this article, we present a fun new approach to teach about dark matter using jelly lenses as an instructional analogy of gravitational lenses. We provide a brief overview of the history of dark matter to contextualise our presentation and discuss the instructional potential as well as limitations of the jelly lens analogy.


title: ePython: An implementation of Python for the many-core Epiphany coprocessor

abstract: The Epiphany is a many-core, low power, low on-chip memory architecture and one can very cheaply gain access to a number of parallel cores which is beneficial for HPC education and prototyping. The very low power nature of these architectures also means that there is potential for their use in future HPC machines, however there is a high barrier to entry in programming them due to the associated complexities and immaturity of supporting tools. In this paper we present our work on ePython, a subset of Python for the Epiphany and similar many-core co-processors. Due to the limited on-chip memory per core we have developed a new Python interpreter and this, combined with additional support for parallelism, has meant that novices can take advantage of Python to very quickly write parallel codes on the Epiphany and explore concepts of HPC using a smaller scale parallel machine. The high level nature of Python opens up new possibilities on the Epiphany, we examine a computationally intensive Gauss-Seidel code from the programmability and performance perspective, discuss running Python hybrid on both the host CPU and Epiphany, and interoperability between a full Python interpreter on the CPU and ePython on the Epiphany. The result of this work is support for developing Python on the Epiphany, which can be applied to other similar architectures, that the community have already started to adopt and use to explore concepts of parallelism and HPC.


title: Receptor Saturation Modeling for Synaptic DMC

abstract: Synaptic communication is a natural Molecular Communication (MC) system which may serve as a blueprint for the design of synthetic MC systems. In particular, it features highly specialized mechanisms to enable inter-symbol interference (ISI)-free and energy efficient communication. The understanding of synaptic MC is furthermore critical for disruptive innovations in the context of brain-machine interfaces. However, the physical modeling of synaptic MC is complicated by the possible saturation of the molecular receiver arising from the competition of postsynaptic receptors for neurotransmitters. Saturation renders the system behavior nonlinear and is commonly neglected in existing analytical models. In this work, we propose a novel model for receptor saturation in terms of a nonlinear, state-dependent boundary condition for Fick's diffusion equation. We solve the resulting boundary-value problem using an eigenfunction expansion of the Laplace operator and the incorporation of the receiver memory as feedback system into the corresponding state-space description. The presented solution is numerically stable and computationally efficient. Furthermore, the proposed model is validated with particle-based stochastic computer simulations.


title: Variational principle for time-periodic quantum systems

abstract: A variational principle enabling one to compute individual Floquet states of a periodically time-dependent quantum system is formulated, and successfully tested against the benchmark system provided by the analytically solvable model of a linearly driven harmonic oscillator. The principle is particularly well suited for tracing individual Floquet states through parameter space, and may allow one to obtain Floquet states even for very high-dimensional systems which cannot be treated by the known standard numerical methods.


title: Additive C*-categories and K-theory

abstract: We review the notions of a multiplier category and the $W^{*}$-envelope of a $C^{*}$-category. We then consider the notion of an orthogonal sum of a (possibly infinite) family of objects in a $C^{*}$-category. Furthermore, we construct reduced crossed products of $C^{*}$-categories with groups. We axiomatize the basic properties of the $K$-theory for $C^{*}$-categories in the notion of a homological functor. We then study various rigidity properties of homological functors in general, and special additional features of the $K$-theory of $C^{*}$-categories. As an application we construct and study interesting functors on the orbit category of a group from $C^{*}$-categorical data.


title: Deep Manifold Transformation for Nonlinear Dimensionality Reduction

abstract: Manifold learning-based encoders have been playing important roles in nonlinear dimensionality reduction (NLDR) for data exploration. However, existing methods can often fail to preserve geometric, topological and/or distributional structures of data. In this paper, we propose a deep manifold learning framework, called deep manifold transformation (DMT) for unsupervised NLDR and embedding learning. DMT enhances deep neural networks by using cross-layer local geometry-preserving (LGP) constraints. The LGP constraints constitute the loss for deep manifold learning and serve as geometric regularizers for NLDR network training. Extensive experiments on synthetic and real-world data demonstrate that DMT networks outperform existing leading manifold-based NLDR methods in terms of preserving the structures of data.


title: Multi hole bands and quasi 2-dimensionality in Cr2Ge2Te6 studied by angle-resolved photoemission spectroscopy

abstract: In the present work, we investigate the electronic structure of the two-dimensional (2D) ferromagnet Cr2Ge2Te6 by photoemission spectroscopy and ab initio calculations. Our results demonstrate the presence of multiple hole-type bands in the vicinity of the Fermi level indicating that the material can support high electrical conductivity by manipulating the chemical potential. Also, our photon energy dependent angle resolved photoemission experiment revealed that several of the hole bands exhibit weak dispersion with varied incident photon energy providing experimental signature for its two dimensionality. These findings can pave the way for further studies towards the application of Cr2Ge2Te6 in electronic devices.


title: Magnetic deformation of neutron stars in scalar-tensor theories

abstract: Scalar-tensor theories are among the most promising alternatives to general relativity that have been developed to account for some long standing issues in our understanding of gravity. Some of these theories predict the existence of a non-linear phenomenon, spontaneous scalarisation, which can lead to the appearance of sizeable modifications to general relativity in the presence of compact matter distributions, namely neutron stars. On the one hand, one of the effects of the scalar field is to modify the emission of gravitational waves, both due to variations in the quadrupolar deformation of the star and to the presence of additional modes of emission. On the other hand, neutron stars are known to harbour extremely powerful magnetic fields which can affect their structure and shape, leading in turn to the emission of gravitational waves, this time due to a magnetic quadrupolar deformation. We investigate here how the presence of spontaneous scalarisation can affect the magnetic deformation of neutron stars and their emission of quadrupolar gravitational waves, both of tensor and scalar nature. We will show that it is possible to provide simple parameterisations of the magnetic deformation and gravitational wave power of neutron stars in terms of their baryonic mass, circumferential radius and scalar charge, and that a universal scaling exists independently of the magnetic field geometry and of the parameters of the scalar-tensor theory. Finally, we comment on the observability of the deviations of the gravitational waves strain from general relativity by current and future observatories.


title: DeepQ Stepper: A framework for reactive dynamic walking on uneven terrain

abstract: Reactive stepping and push recovery for biped robots is often restricted to flat terrains because of the difficulty in computing capture regions for nonlinear dynamic models. In this paper, we address this limitation by using reinforcement learning to approximately learn the 3D capture region for such systems. We propose a novel 3D reactive stepper, The DeepQ stepper, that computes optimal step locations for walking at different velocities using the 3D capture regions approximated by the action-value function. We demonstrate the ability of the approach to learn stepping with a simplified 3D pendulum model and a full robot dynamics. Further, the stepper achieves a higher performance when it learns approximate capture regions while taking into account the entire dynamics of the robot that are often ignored in existing reactive steppers based on simplified models. The DeepQ stepper can handle non convex terrain with obstacles, walk on restricted surfaces like stepping stones and recover from external disturbances for a constant computational cost.


title: The exact WKB for cosmological particle production

abstract: The Bogoliubov transformation in cosmological particle production can be explained by the Stokes phenomena of the corresponding ordinary differential equation. The calculation becomes very simple as far as the solution is described by a special function. Otherwise, the calculation requires more tactics, where the Exact WKB (EWKB) may be a powerful tool. Using the EWKB, we discuss cosmological particle production focusing on the effect of more general interaction and classical scattering. The classical scattering appears when the corresponding scattering problem of the Schr\"odinger equation develops classical turning points on the trajectory. The higher process of fermionic preheating is also discussed using the Landau-Zener model.


title: Correlated Dirac Eigenvalues and Axial Anomaly in Chiral Symmetric QCD

abstract: We introduce novel relations between the derivatives [$\partial^{n}\rho(\lambda, m_{l})/\partial m_{l}^n$] of the Dirac eigenvalue spectrum [$\rho(\lambda, m_{l})$] with respect to the light sea quark mass ($m_{l}$) and the $(n+1)$-point correlations among the eigenvalues ($\lambda$) of the massless Dirac operator. Using these relations we present lattice QCD results for $\partial^{n}\rho(\lambda, m_{l})/\partial m_{l}^n$ ($n=1, 2, 3$) for $m_{l}$ corresponding to pion masses $m_\pi=160-55$ MeV, and at a temperature of about 1.6 times the chiral phase transition temperature. Calculations were carried out using (2+1) flavors of highly improved staggered quarks with the physical value of strange quark mass, three lattice spacings $a=0.12, 0.08, 0.06$ fm, and lattices having aspect ratios $4-9$. We find that $\rho(\lambda\to0, m_{l})$ develops a peaked structure. This peaked structure arises due to non-Poisson correlations within the infrared part of the Dirac eigenvalue spectrum, becomes sharper as $a\to0$, and its amplitude is proportional to $m_{l}^2$. We demonstrate that this $\rho(\lambda\to0,m_l)$ is responsible for the manifestations of axial anomaly in two-point correlation functions of light scalar and pseudoscalar mesons. After continuum and chiral extrapolations we find that axial anomaly remains manifested in two-point correlation functions of scalar and pseudoscalar mesons in the chiral limit.


title: On the inductive McKay--Navarro condition for finite groups of Lie type in their defining characteristic

abstract: The McKay--Navarro conjecture is a refinement of the McKay conjecture that additionally takes the action of some Galois automorphisms into account. We verify the inductive McKay--Navarro condition in the defining characteristic for the finite groups of Lie type with exceptional graph automorphisms, the Suzuki and Ree groups, $\mathsf{B}_n(2)$ ($n \geq 2$), and the groups of Lie type with non-generic Schur multiplier. This completes the verification of the inductive McKay--Navarro condition for the finite groups of Lie type in their defining characteristic.


title: Dynamically Feasible Deep Reinforcement Learning Policy for Robot Navigation in Dense Mobile Crowds

abstract: We present a novel Deep Reinforcement Learning (DRL) based policy to compute dynamically feasible and spatially aware velocities for a robot navigating among mobile obstacles. Our approach combines the benefits of the Dynamic Window Approach (DWA) in terms of satisfying the robot's dynamics constraints with state-of-the-art DRL-based navigation methods that can handle moving obstacles and pedestrians well. Our formulation achieves these goals by embedding the environmental obstacles' motions in a novel low-dimensional observation space. It also uses a novel reward function to positively reinforce velocities that move the robot away from the obstacle's heading direction leading to significantly lower number of collisions. We evaluate our method in realistic 3-D simulated environments and on a real differential drive robot in challenging dense indoor scenarios with several walking pedestrians. We compare our method with state-of-the-art collision avoidance methods and observe significant improvements in terms of success rate (up to 33\% increase), number of dynamics constraint violations (up to 61\% decrease), and smoothness. We also conduct ablation studies to highlight the advantages of our observation space formulation, and reward structure.


title: New high-confinement regime with fast ions in the core of fusion plasmas

abstract: The key result of the present work is the theoretical prediction and observation of the formation of a new type of transport barrier in fusion plasmas, called F-ATB (fast ion-induced anomalous transport barrier). As demonstrated through state-of-the-art global electrostatic and electromagnetic simulations, the F-ATB is characterized by a full suppression of the turbulent transport - caused by strongly sheared, axisymmetric $E \times B$ flows - and an increase of the neoclassical counterpart, albeit keeping the overall fluxes at significantly reduced levels. The trigger mechanism is shown to be a mainly electrostatic resonant interaction between supra-thermal particles, generated via ion-cyclotron-resonance heating, and plasma micro-turbulence. These findings are obtained by realistic simulations of the ASDEX Upgrade discharge $\#36637$ - properly designed to maximized the beneficial role of the wave-particle resonance interaction - which exhibits the expected properties of improved confinement produced by energetic particles.


title: Ground-to-excited derivative couplings for the density functional based tight-binding method: Semi-local and long-range corrected formulations

abstract: A derivation of non-adiabatic coupling vectors for the density functional based tight binding method (DFTB) between ground and excited states is presented. The analytical result is valid both for semi-local and long-range corrected DFTB and includes all required Pulay terms. Electron-translation factors lead to a conceptual simplification of the Slater-Koster scheme for precomputed integrals. Compared to scalar couplings obtained from numerical derivatives, the present approach is computationally more efficient and can be applied to systems with hundreds of atoms. The accuracy of DFTB derivative couplings is assessed by comparison to full density functional theory (DFT) calculations using semi-local and hybrid exchange-correlation functionals with promising results. As exemplified by a case study of furan, DFTB provides non-adiabatic coupling vectors that are close to DFT counterparts in size and direction also in the vicinity of conical intersections.


title: INT8 Winograd Acceleration for Conv1D Equipped ASR Models Deployed on Mobile Devices

abstract: The intensive computation of Automatic Speech Recognition (ASR) models obstructs them from being deployed on mobile devices. In this paper, we present a novel quantized Winograd optimization pipeline, which combines the quantization and fast convolution to achieve efficient inference acceleration on mobile devices for ASR models. To avoid the information loss due to the combination of quantization and Winograd convolution, a Range-Scaled Quantization (RSQ) training method is proposed to expand the quantized numerical range and to distill knowledge from high-precision values. Moreover, an improved Conv1D equipped DFSMN (ConvDFSMN) model is designed for mobile deployment. We conduct extensive experiments on both ConvDFSMN and Wav2letter models. Results demonstrate the models can be effectively optimized with the proposed pipeline. Especially, Wav2letter achieves 1.48* speedup with an approximate 0.07% WER decrease on ARMv7-based mobile devices.


title: Parametrized protocol achieving the Heisenberg limit in the optical domain via dispersive atom-light interactions

abstract: The strong and collective atom-light interactions in cavity-QED systems perform manifold benefits in quantum-enhanced measurements. Here, we study the time-reversal protocol that has been proposed to sense small displacements of the light field, and report the sensitivity of the scheme that could be speeded up to attain the Heisenberg limit (HL).We show the holonomic unitary parametrization process of the scheme and one only need to choose appropriate initial states to pursue the ultimate sensitivity. The scheme may pave an experimentally feasible way to achieve Heisenberg-limited metrology with nonclassical states.


title: Variation of the Swan conductor of an $\mathbb{F}_{\ell}$-sheaf on a rigid disc

abstract: This article studies the variation of the Swan conductor of a lisse \'etale sheaf of $\mathbb{F}_{\ell}$-modules $\mathcal{F}$ on the rigid unit disc $D$ over a complete discrete valuation field $K$ with algebraically closed residue field of characteristic $p\neq \ell$. We associate to $\mathcal{F}$ a function ${\rm sw}_{\rm AS}(\mathcal{F}, \cdot): \mathbb{Q}_{\geq 0}\to \mathbb{Q}$, defined with the Abbes-Saito logarithmic ramification filtration, which measures, at each $t\in \mathbb{Q}_{\geq 0}$, the ramification of the restriction of $\mathcal{F}$ to the subdisc of radius $t$ along the special fiber of the normalized integral model. We prove that this function is continuous and piecewise linear, with finitely many slopes which are all integers. We compute the slope at $t\in \mathbb{Q}_{\geq 0}$ in terms of a characteristic cycle associated to $\mathcal{F}$, a (power of a) logarithmic differential form defined by ramification theory.


title: Fast spin-valley-based quantum gates in Si with micromagnets

abstract: An electron spin qubit in silicon quantum dots holds promise for quantum information processing due to the scalability and long coherence. An essential ingredient to recent progress is the employment of micromagnets. They generate a synthetic spin-orbit coupling (SOC), which allows high-fidelity spin manipulation and strong interaction between an electron spin and cavity photons. To scaled-up quantum computing, multiple technical challenges remain to be overcome, including controlling the valley degree of freedom, which is usually considered detrimental to a spin qubit. Here, we show that it is possible to significantly enhance the electrical manipulation of a spin qubit through the effect of constructive interference and the large spin-valley mixing. To characterize the quality of spin control, we also studied spin dephasing due to charge noise through spin-valley mixing. The competition between the increased control strength and spin dephasing produces two sweet-spots, where the quality factor of the spin qubit can be high. Finally, we reveal that the synthetic SOC leads to distinctive spin relaxation in silicon, which explains recent experiments.


title: On the Deployability of Augmented Reality Using Embedded Edge Devices

abstract: Edge Computing exploits computational capabilities deployed at the very edge of the network to support applications with low latency requirements. Such capabilities can reside in small embedded devices that integrate dedicated hardware -- e.g., a GPU -- in a low cost package. But these devices have limited computing capabilities compared to standard server grade equipment. When deploying an Edge Computing based application, understanding whether the available hardware can meet target requirements is key in meeting the expected performance. In this paper, we study the feasibility of deploying Augmented Reality applications using Embedded Edge Devices (EEDs). We compare such deployment approach to one exploiting a standard dedicated server grade machine. Starting from an empirical evaluation of the capabilities of these devices, we propose a simple theoretical model to compare the performance of the two approaches. We then validate such model with NS-3 simulations and study their feasibility. Our results show that there is no one-fits-all solution. If we need to deploy high responsiveness applications, we need a centralized server grade architecture and we can in any case only support very few users. The centralized architecture fails to serve a larger number of users, even when low to mid responsiveness is required. In this case, we need to resort instead to a distributed deployment based on EEDs.


title: On the constancy theorem for anisotropic energies through differential inclusions

abstract: In this paper we study stationary graphs for functionals of geometric nature defined on currents or varifolds. The point of view we adopt is the one of differential inclusions, introduced in this context in the recent paper [De Lellis, De Philippis, Kirchheim, Tione, 2019]. In particular, given a polyconvex integrand $f$, we define a set of matrices $C_f$ that allows us to rewrite the stationarity condition for a graph with multiplicity as a differential inclusion. Then we prove that if $f$ is assumed to be non-negative, then in $C_f$ there is no $T'_N$ configuration, thus recovering the main result of [De Lellis, De Philippis, Kirchheim, Tione, 2019] as a corollary. Finally, we show that if the hypothesis of non-negativity is dropped, one can not only find $T'_N$ configurations in $C_f$, but it is also possible to construct via convex integration a very degenerate stationary point with multiplicity.


title: Discussion on a Class of Model-Free Adaptive Control for Multivariable Systems

abstract: The model-free adaptive control (MFAC) law is a promising method in applications. We analyzed model-free adaptive control (MFAC) law through closed-loop function to widen its application range.


title: Flexible retrieval with NMSLIB and FlexNeuART

abstract: Our objective is to introduce to the NLP community an existing k-NN search library NMSLIB, a new retrieval toolkit FlexNeuART, as well as their integration capabilities. NMSLIB, while being one the fastest k-NN search libraries, is quite generic and supports a variety of distance/similarity functions. Because the library relies on the distance-based structure-agnostic algorithms, it can be further extended by adding new distances. FlexNeuART is a modular, extendible and flexible toolkit for candidate generation in IR and QA applications, which supports mixing of classic and neural ranking signals. FlexNeuART can efficiently retrieve mixed dense and sparse representations (with weights learned from training data), which is achieved by extending NMSLIB. In that, other retrieval systems work with purely sparse representations (e.g., Lucene), purely dense representations (e.g., FAISS and Annoy), or only perform mixing at the re-ranking stage.


title: The unitarity of a spontaneously broken SU(2) theory using unitary-gauge diagrams

abstract: A spontaneously broken SU(2) theory is the simplest generalization of the Abelian Higgs model, containing three equally massive vector bosons and a single Higgs scalar. A strictly diagrammatic proof is presented of the tree-level unitarity of this model in the unitary gauge, i.e. employing only physical fields. A new Ward-like identity is used to show that the high-energy behaviour of all amplitudes cannot be more than quadratic; the use of generating functions for all off-shell amplitudes then leads to the unitarity proof.


title: Micro Stripes Analyses for Iris Presentation Attack Detection

abstract: Iris recognition systems are vulnerable to the presentation attacks, such as textured contact lenses or printed images. In this paper, we propose a lightweight framework to detect iris presentation attacks by extracting multiple micro-stripes of expanded normalized iris textures. In this procedure, a standard iris segmentation is modified. For our presentation attack detection network to better model the classification problem, the segmented area is processed to provide lower dimensional input segments and a higher number of learning samples. Our proposed Micro Stripes Analyses (MSA) solution samples the segmented areas as individual stripes. Then, the majority vote makes the final classification decision of those micro-stripes. Experiments are demonstrated on five databases, where two databases (IIITD-WVU and Notre Dame) are from the LivDet-2017 Iris competition. An in-depth experimental evaluation of this framework reveals a superior performance compared with state-of-the-art algorithms. Moreover, our solution minimizes the confusion between textured (attack) and soft (bona fide) contact lens presentations.


title: Displacement-Invariant Matching Cost Learning for Accurate Optical Flow Estimation

abstract: Learning matching costs has been shown to be critical to the success of the state-of-the-art deep stereo matching methods, in which 3D convolutions are applied on a 4D feature volume to learn a 3D cost volume. However, this mechanism has never been employed for the optical flow task. This is mainly due to the significantly increased search dimension in the case of optical flow computation, ie, a straightforward extension would require dense 4D convolutions in order to process a 5D feature volume, which is computationally prohibitive. This paper proposes a novel solution that is able to bypass the requirement of building a 5D feature volume while still allowing the network to learn suitable matching costs from data. Our key innovation is to decouple the connection between 2D displacements and learn the matching costs at each 2D displacement hypothesis independently, ie, displacement-invariant cost learning. Specifically, we apply the same 2D convolution-based matching net independently on each 2D displacement hypothesis to learn a 4D cost volume. Moreover, we propose a displacement-aware projection layer to scale the learned cost volume, which reconsiders the correlation between different displacement candidates and mitigates the multi-modal problem in the learned cost volume. The cost volume is then projected to optical flow estimation through a 2D soft-argmin layer. Extensive experiments show that our approach achieves state-of-the-art accuracy on various datasets, and outperforms all published optical flow methods on the Sintel benchmark.


title: Mapping Class Group Representations From Non-Semisimple TQFTs

abstract: In [arXiv:1912.02063], we constructed 3-dimensional Topological Quantum Field Theories (TQFTs) using not necessarily semisimple modular categories. Here, we study projective representations of mapping class groups of surfaces defined by these TQFTs, and we express the action of a set of generators through the algebraic data of the underlying modular category $\mathcal{C}$. This allows us to prove that the projective representations induced from the non-semisimple TQFTs of [arXiv:1912.02063] are equivalent to those obtained by Lyubashenko via generators and relations in [arXiv:hep-th/9405167]. Finally, we show that, when $\mathcal{C}$ is the category of finite-dimensional representations of the small quantum group of $\mathfrak{sl}_2$, the action of all Dehn twists for surfaces without marked points has infinite order.


title: A convex relaxation approach for the optimized pulse pattern problem

abstract: Optimized Pulse Patterns (OPPs) are gaining increasing popularity in the power electronics community over the well-studied pulse width modulation due to their inherent ability to provide the switching instances that optimize current harmonic distortions. In particular, the OPP problem minimizes current harmonic distortions under a cardinality constraint on the number of switching instances per fundamental wave period. The OPP problem is, however, non-convex involving both polynomials and trigonometric functions. In the existing literature, the OPP problem is solved using off-the-shelf solvers with local convergence guarantees. To obtain guarantees of global optimality, we employ and extend techniques from polynomial optimization literature and provide a solution with a global convergence guarantee. Specifically, we propose a polynomial approximation to the OPP problem to then utilize well-studied globally convergent convex relaxation hierarchies, namely, semi-definite programming and relative entropy relaxations. The resulting hierarchy is proven to converge to the global optimal solution. Our method exhibits a strong performance for OPP problems up to 50 switching instances per quarter wave.


title: Toric Kato manifolds

abstract: We introduce and study a special class of Kato manifolds, which we call toric Kato manifolds. Their construction stems from toric geometry, as their universal covers are open subsets of toric algebraic varieties of non-finite type. This generalizes previous constructions of Tsuchihashi and Oda, and in complex dimension 2, retrieves the properly blown-up Inoue surfaces. We study the topological and analytical properties of toric Kato manifolds and link certain invariants to natural combinatorial data coming from the toric construction. Moreover, we produce families of flat degenerations of any toric Kato manifold, which serve as an essential tool in computing their Hodge numbers. In the last part, we study the Hermitian geometry of Kato manifolds. We give a characterization result for the existence of locally conformally K\"ahler metrics on any Kato manifold. Finally, we prove that no Kato manifold carries balanced metrics and that a large class of toric Kato manifolds of complex dimension $\geq 3$ do not support pluriclosed metrics.


title: Stabilized RANS simulation of surf zone kinematics and boundary layer processes beneath large-scale plunging waves over a breaker bar

abstract: This paper presents numerical simulations of a bichromatic wave group propagating and breaking over a fixed breaker bar. The simulations are performed using a newly stabilized Reynolds-averaged Navier Stokes (RANS) two-equation turbulence closure, which solves the longstanding problem of over-production of turbulence beneath surface waves in the nearly potential flow region prior to breaking. This model has previously been tested on small-scale spilling breaking regular waves, whereas in this work focus is on full (rather than model) scale application, wave groups (rather than regular waves) and plunging (rather than spilling) breakers. Additionally this paper has novel emphasis on bottom boundary layer dynamics which are very important for cross-shore sediment transport predictions. The model is validated by comparing with results from a previous experimental campaign. The model is shown to predict the surface elevations, velocities and turbulence well in the shoaling and outer surf-zone, avoiding turbulence over-production and incorrect undertow structure typical of standard turbulence closures. Comparison with detailed boundary layer measurements in the shoaling position reveals that the model is able to accurately capture the temporal dynamics of the entire wave boundary layer, including evolution of the boundary layer thickness, velocity overshoot and phase-shifts. Comparison in the surf zone additionally reveals that the model is able to accurately capture the transport of breaking-induced turbulence into the wave boundary layer. The performance of the model indicates that it can be used directly in the simulation of cross-shore sediment transport and morphology and also be used to study important hydrodynamic processes, which can help improve the predictive skill of morphodynamic profile models applied in coastal engineering.


title: Modeling European regional FDI flows using a Bayesian spatial Poisson interaction model

abstract: This paper presents an empirical study of spatial origin and destination effects of European regional FDI dyads. Recent regional studies primarily focus on locational determinants, but ignore bilateral origin- and intervening factors, as well as associated spatial dependence. This paper fills this gap by using observations on interregional FDI flows within a spatially augmented Poisson interaction model. We explicitly distinguish FDI activities between three different stages of the value chain. Our results provide important insights on drivers of regional FDI activities, both from origin and destination perspectives. We moreover show that spatial dependence plays a key role in both dimensions.


title: On the first eigenvalue of the laplacian on compact surfaces of genus three

abstract: For any compact riemannian surface of genus three $(\Sigma,ds^2)$ Yang and Yau proved that the product of the first eigenvalue of the Laplacian $\lambda_1(ds^2)$ and the area $Area(ds^2)$ is bounded above by $24\pi$. In this paper we improve the result and we show that $\lambda_1(ds^2)Area(ds^2)\leq16(4-\sqrt{7})\pi \approx 21.668\,\pi$. About the sharpness of the bound, for the hyperbolic Klein quartic surface numerical computations give the value $\approx 21.414\,\pi$.


title: Non-Asymptotic Capacity Upper Bounds for the Discrete-Time Poisson Channel with Positive Dark Current

abstract: We derive improved and easily computable upper bounds on the capacity of the discrete-time Poisson channel under an average-power constraint and an arbitrary constant dark current term. This is accomplished by combining a general convex duality framework with a modified version of the digamma distribution considered in previous work of the authors (Cheraghchi, J. ACM 2019; Cheraghchi, Ribeiro, IEEE Trans. Inf. Theory 2019). For most choices of parameters, our upper bounds improve upon previous results even when an additional peak-power constraint is imposed on the input.


title: Manifestation of the Berry phase in the atomic nucleus $^{213}$Pb

abstract: The neutron-rich $^{213}$Pb isotope was produced in the fragmentation of a primary 1 GeV $A$ $^{238}$U beam, separated in FRS in mass and atomic number, and then implanted for isomer decay $\gamma$-ray spectroscopy with the RISING setup at GSI. A newly observed isomer and its measured decay properties indicate that states in $^{213}$Pb are characterized by the seniority quantum number that counts the nucleons not in pairs coupled to angular momentum $J=0$. The conservation of seniority is a consequence of the Berry phase associated with particle-hole conjugation, which becomes gauge invariant and therefore observable in semi-magic nuclei where nucleons half-fill the valence shell. The $\gamma$-ray spectroscopic observables in $^{213}$Pb are thus found to be driven by two mechanisms, particle-hole conjugation and seniority conservation, which are intertwined through the Berry phase.


title: The ELBO of Variational Autoencoders Converges to a Sum of Three Entropies

abstract: The central objective function of a variational autoencoder (VAE) is its variational lower bound (the ELBO). Here we show that for standard (i.e., Gaussian) VAEs the ELBO converges to a value given by the sum of three entropies: the (negative) entropy of the prior distribution, the expected (negative) entropy of the observable distribution, and the average entropy of the variational distributions (the latter is already part of the ELBO). Our derived analytical results are exact and apply for small as well as for intricate deep networks for encoder and decoder. Furthermore, they apply for finitely and infinitely many data points and at any stationary point (including local maxima and saddle points). The result implies that the ELBO can for standard VAEs often be computed in closed-form at stationary points while the original ELBO requires numerical approximations of integrals. As a main contribution, we provide the proof that the ELBO for VAEs is at stationary points equal to entropy sums. Numerical experiments then show that the obtained analytical results are sufficiently precise also in those vicinities of stationary points that are reached in practice. Furthermore, we discuss how the novel entropy form of the ELBO can be used to analyze and understand learning behavior. More generally, we believe that our contributions can be useful for future theoretical and practical studies on VAE learning as they provide novel information on those points in parameters space that optimization of VAEs converges to.


title: ORBBuf: A Robust Buffering Method for Remote Visual SLAM

abstract: The data loss caused by unreliable network seriously impacts the results of remote visual SLAM systems. From our experiment, a loss of less than 1 second of data can cause a visual SLAM algorithm to lose tracking. We present a novel buffering method, ORBBuf, to reduce the impact of data loss on remote visual SLAM systems. We model the buffering problem as an optimization problem by introducing a similarity metric between frames. To solve the buffering problem, we present an efficient greedy-like algorithm to discard the frames that have the least impact on the quality of SLAM results. We implement our ORBBuf method on ROS, a widely used middleware framework. Through an extensive evaluation on real-world scenarios and tens of gigabytes of datasets, we demonstrate that our ORBBuf method can be applied to different state-estimation algorithms (DSO and VINS-Fusion), different sensor data (both monocular images and stereo images), different scenes (both indoor and outdoor), and different network environments (both WiFi networks and 4G networks). Our experimental results indicate that the network losses indeed affect the SLAM results, and our ORBBuf method can reduce the RMSE up to 50 times comparing with the Drop-Oldest and Random buffering methods.


title: Point-gap topology with complete bulk-boundary correspondence in dissipative quantum systems

abstract: The spectral and dynamical properties of dissipative quantum systems, as modeled by a damped oscillator in the Fock space, are investigated from a topological point of view. Unlike a physical lattice system that is naturally under the open boundary condition, the bounded-from-below nature of the Fock space offers a unique setting for understanding and verifying non-Hermitian skin modes under semi-infinity boundary conditions that are elusive in actual physical lattices. A topological characterization based on the complex spectra of the Liouvillian superoperator is proposed and the associated complete set of topologically protected skin modes can be identified, thus reflecting the complete bulk-boundary correspondence of point-gap topology generally absent in realistic materials. Moreover, we discover anomalous skin modes with exponential amplification even though the quantum system is purely dissipative. Our results indicate that current studies of non-Hermitian topological matter can greatly benefit research on quantum open systems and vice versa.


title: High-dimensional inference: a statistical mechanics perspective

abstract: Statistical inference is the science of drawing conclusions about some system from data. In modern signal processing and machine learning, inference is done in very high dimension: very many unknown characteristics about the system have to be deduced from a lot of high-dimensional noisy data. This "high-dimensional regime" is reminiscent of statistical mechanics, which aims at describing the macroscopic behavior of a complex system based on the knowledge of its microscopic interactions. It is by now clear that there are many connections between inference and statistical physics. This article aims at emphasizing some of the deep links connecting these apparently separated disciplines through the description of paradigmatic models of high-dimensional inference in the language of statistical mechanics. This article has been published in the issue on artificial intelligence of Ithaca, an Italian popularization-of-science journal. The selected topics and references are highly biased and not intended to be exhaustive in any ways. Its purpose is to serve as introduction to statistical mechanics of inference through a very specific angle that corresponds to my own tastes and limited knowledge.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.IT cs.LG math.IT


title: Sample-Optimal and Efficient Learning of Tree Ising models

abstract: We show that $n$-variable tree-structured Ising models can be learned computationally-efficiently to within total variation distance $\epsilon$ from an optimal $O(n \ln n/\epsilon^2)$ samples, where $O(\cdot)$ hides an absolute constant which, importantly, does not depend on the model being learned - neither its tree nor the magnitude of its edge strengths, on which we place no assumptions. Our guarantees hold, in fact, for the celebrated Chow-Liu [1968] algorithm, using the plug-in estimator for estimating mutual information. While this (or any other) algorithm may fail to identify the structure of the underlying model correctly from a finite sample, we show that it will still learn a tree-structured model that is $\epsilon$-close to the true one in total variation distance, a guarantee called "proper learning." Our guarantees do not follow from known results for the Chow-Liu algorithm and the ensuing literature on learning graphical models, including a recent renaissance of algorithms on this learning challenge, which only yield asymptotic consistency results, or sample-inefficient and/or time-inefficient algorithms, unless further assumptions are placed on the graphical model, such as bounds on the "strengths" of the model's edges/hyperedges. While we establish guarantees for a widely known and simple algorithm, the analysis that this algorithm succeeds and is sample-optimal is quite complex, requiring a hierarchical classification of the edges into layers with different reconstruction guarantees, depending on their strength, combined with delicate uses of the subadditivity of the squared Hellinger distance over graphical models to control the error accumulation.


title: Creating it from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-enabled Software Development Environment

abstract: DevOps describes a method to reorganize the way different disciplines in software engineering work together to speed up software delivery. However, the introduction of DevOps-methods to organisations is a complex task. A successful introduction results in a set of structured process descriptions. Despite the structure, this process leaves margin for error: Especially security issues are addressed in individual stages, without consideration of the interdependence. Furthermore, applying DevOps-methods to distributed entities, such as the Internet of Things (IoT) is difficult as the architecture is tailormade for desktop and cloud resources. In this work, an overview of tooling employed in the stages of DevOps processes is introduced. Gaps in terms of security or applicability to the IoT are derived. Based on these gaps, solutions that are being developed in the course of the research project SCRATCh are presented and discussed in terms of benefit to DevOps-environments.


title: Deterministic and probabilistic deep learning models for inverse design of broadband acoustic cloak

abstract: Concealing an object from incoming waves (light and/or sound) remained science fiction for a long time due to the absence of wave-shielding materials in nature. Yet, the invention of artificial materials and new physical principles for optical and sound wave manipulation translated this abstract concept into reality by making an object acoustically invisible. Here, we present the notion of a machine learning-driven acoustic cloak and demonstrate an example of such a cloak with a multilayered core-shell configuration. Importantly, we develop deterministic and probabilistic deep learning models based on autoencoder-like neural network structure to retrieve the structural and material properties of the cloaking shell surrounding the object that suppresses scattering of sound in a broad spectral range, as if it was not there. The probabilistic model enhances the generalization ability of design procedure and uncovers the sensitivity of the cloak parameters on the spectral response for practical implementation. This proposal opens up new avenues to expedite the design of intelligent cloaking devices for tailored spectral response and offers a feasible solution for inverse scattering problems.


title: HADES RV Programme with HARPS-N at TNG XII. The abundance signature of M dwarf stars with planets

abstract: Most of our current knowledge on planet formation is still based on the analysis of main-sequence, solar-type stars. Conversely, detailed chemical studies of large samples of M-dwarf planet hosts are still missing. We develop for the first time a methodology to determine stellar abundances of elements others than iron for M dwarf stars from high-resolution, optical spectra. Our methodology is based on the use of principal component analysis and sparse Bayesian's methods. We made use of a set of M dwarfs orbiting around an FGK primary with known abundances to train our methods. We applied our methods to derive stellar metalliticies and abundances of a large sample of M dwarfs observed within the framework of current radial velocity surveys. We then used a sample of nearby FGK stars to cross-validate our technique by comparing the derived abundance trends in the M dwarf sample with those found on the FGK stars. The metallicity distribution of the different subsamples shows that M dwarfs hosting giant planets show a planet-metallicity correlation as well as a correlation with the stellar mass. M dwarfs hosting low-mass planets do not seem to follow the planet-metallicity correlation. We also found that the frequency of low-mass planets does not depend on the mass of the stellar host. These results seem in agreement with previous works. However, we note that for giant planet hosts our metallicities predict a weaker planet metallicity correlation but a stronger mass-dependency than photometric values. We show, for the first time, that there seems to be no differences in the abundance distribution of elements different from iron between M dwarfs with and without known planets. Our data shows that low-mass stars with planets follow the same metallicity, mass, and abundance trends than their FGK counterparts.


title: Bipartite quantum measurements with optimal single-sided distinguishability

abstract: We analyse orthogonal bases in a composite $N\times N$ Hilbert space describing a bipartite quantum system and look for a basis with optimal single-sided mutual state distinguishability. This condition implies that in each subsystem the $N^2$ reduced states form a regular simplex of a maximal edge length, defined with respect to the trace distance. In the case $N=2$ of a two-qubit system our solution coincides with the elegant joint measurement introduced by Gisin. We derive explicit expressions of an analogous constellation for $N=3$ and provide a general construction of $N^2$ states forming such an optimal basis in ${\cal H}_N \otimes {\cal H}_N$. Our construction is valid for all dimensions for which a symmetric informationally complete (SIC) generalized measurement is known. Furthermore, we show that the one-party measurement that distinguishes the states of an optimal basis of the composite system leads to a local quantum state tomography with a linear reconstruction formula. Finally, we test the introduced tomographical scheme on a complete set of three mutually unbiased bases for a single qubit using two different IBM machines.


title: $\tau$-tilting theory in abelian categories

abstract: Let $\mathcal A$ be a Hom-finite abelian category with enough projectives. In this note, we show that any covariantly finite $\tau$-rigid subcategory is contained in a support $\tau$-tilting subcategory. We also show that support $\tau$-tilting subcategories are in bijection with certain finitely generated torsion classes. Some applications of our main results are also given.


title: A catalogue of 74 new open clusters found in Gaia Data-Release 2

abstract: Based on astrometric data from Gaia DR2, we employ an unsupervised machine learning method to blindly search for open star clusters in the Milky Way within the Galactic latitude range of |b| < 20 degrees. In addition to 2,080 known clusters, 74 new open cluster candidates are found. In this work, we present the positions, apparent radii, parallaxes, proper motions and member stars of these candidates (https://cdsarc.u-strasbg.fr/ftp/vizier.submit//new_OC/). Meanwhile, to obtain the physical parameters of each candidate cluster, stellar isochrones are fit to the photometric data. The results show that the apparent radii and the observed proper motion dispersions of these new candidates are consistent with those of open clusters previously identified in Gaia DR2.


title: Gravitational Constraints on a Lightlike boundary

abstract: We analyse the boundary structure of General Relativity in the coframe formalism in the case of a lightlike boundary, i.e., when the restriction of the induced Lorentzian metric to the boundary is degenerate. We describe the associated reduced phase space in terms of constraints on the symplectic space of boundary fields. We explicitly compute the Poisson brackets of the constraints and identify the first- and second-class ones. In particular, in the 3+1 dimensional case, we show that the reduced phase space has two local degrees of freedom, instead of the usual four in the non-degenerate case.


title: Bayesian Methods for Semi-supervised Text Annotation

abstract: Human annotations are an important source of information in the development of natural language understanding approaches. As under the pressure of productivity annotators can assign different labels to a given text, the quality of produced annotations frequently varies. This is especially the case if decisions are difficult, with high cognitive load, requires awareness of broader context, or careful consideration of background knowledge. To alleviate the problem, we propose two semi-supervised methods to guide the annotation process: a Bayesian deep learning model and a Bayesian ensemble method. Using a Bayesian deep learning method, we can discover annotations that cannot be trusted and might require reannotation. A recently proposed Bayesian ensemble method helps us to combine the annotators' labels with predictions of trained models. According to the results obtained from three hate speech detection experiments, the proposed Bayesian methods can improve the annotations and prediction performance of BERT models.


title: Direct Measurement of Unsteady Microscale Stokes Flow Using Optically Driven Microspheres

abstract: A growing body of work on the dynamics of eukaryotic flagella has noted that their oscillation frequencies are sufficiently high that the viscous penetration depth of unsteady Stokes flow is comparable to the scales over which flagella synchronize. Incorporating these effects into theories of synchronization requires an understanding of the global unsteady flows around oscillating bodies. Yet, there has been no precise experimental test on the microscale of the most basic aspects of such unsteady Stokes flow: the orbits of passive tracers and the position-dependent phase lag between the oscillating response of the fluid at a distant point and that of the driving particle. Here, we report the first such direct Lagrangian measurement of this unsteady flow. The method uses an array of $30$ submicron tracer particles positioned by a time-shared optical trap at a range of distances and angular positions with respect to a larger, central particle, which is then driven by an oscillating optical trap at frequencies up to $400$ Hz. In this microscale regime, the tracer dynamics is considerably simplified by the smallness of both inertial effects on particle motion and finite-frequency corrections to the Stokes drag law. The tracers are found to display elliptical Lissajous figures whose orientation and geometry are in agreement with a low-frequency expansion of the underlying dynamics, and the experimental phase shift between motion parallel and orthogonal to the oscillation axis exhibits a predicted scaling form in distance and angle. Possible implications of these results for synchronization dynamics are discussed.


title: Kiloparsec-scale ALMA Imaging of [CII] and Dust Continuum Emission of 27 Quasar Host Galaxies at z~6

abstract: We present a study of the [CII] 158micron line and underlying far-infrared (FIR) continuum emission of 27 quasar host galaxies at z~6, traced by the Atacama Large Millimeter/submillimeter Array at a spatial resolution of ~1 physical kpc. The [CII] emission in the bright, central regions of the quasars have sizes of 1.0-4.8kpc. The dust continuum emission is typically more compact than [CII]. We find that 13/27 quasars (approximately one-half) have companion galaxies in the field, at projected separations of 3-90kpc. The position of dust emission and the Gaia-corrected positions of the central accreting black holes are cospatial (typical offsets <0.1"). This suggests that the central black holes are located at the bottom of the gravitational wells of the dark matter halos in which the z>6 quasar hosts reside. Some outliers with offsets of ~500pc can be linked to disturbed morphologies, most likely due to ongoing or recent mergers. We find no correlation between the central brightness of the FIR emission and the bolometric luminosity of the accreting black hole. The FIR-derived star-formation rate densities (SFRDs) in the host galaxies peak at the galaxies' centers, at typical values between 100 and 1000 M_sun/yr/kpc^2. These values are below the Eddington limit for star formation, but similar to those found in local ultraluminous infrared galaxies. The SFRDs drop toward larger radii by an order of magnitude. Likewise, the [CII]/FIR luminosity ratios of the quasar hosts are lowest in their centers (few x10^-4) and increase by a factor of a few toward the galaxies' outskirts, consistent with resolved studies of lower-redshift sources.


title: No evidence for [CII] halos or high-velocity outflows in z>6 quasar host galaxies

abstract: We study the interstellar medium in a sample of 27 high-redshift quasar host galaxies at z>6, using the [CII] 158um emission line and the underlying dust continuum observed at ~1kpc resolution with ALMA. By performing uv-plane spectral stacking of both the high and low spatial resolution data, we investigate the spatial and velocity extent of gas, and the size of the dust-emitting regions. We find that the average surface brightness profile of both the [CII] and the dust continuum emission can be described by a steep component within a radius of 2kpc, and a shallower component with a scale length of 2kpc, detected up to ~10kpc. The surface brightness of the extended emission drops below ~1% of the peak at radius of ~5kpc, beyond which it constitutes 10-20% of the total measured flux density. Although the central component of the dust continuum emission is more compact than that of the [CII] emission, the extended components have equivalent profiles. The observed extended components are consistent with those predicted by hydrodynamical simulations of galaxies with similar infrared luminosities, where the dust emission is powered by star formation. The [CII] spectrum measured in the mean uv-plane stacked data can be described by a single Gaussian, with no observable [CII] broad-line emission (velocities in excess of >500km/s), that would be indicative of outflows. Our findings suggest that we are probing the interstellar medium and associated star formation in the quasar host galaxies up to radii of 10kpc, whereas we find no evidence for halos or outflows.


title: Fighting Copycat Agents in Behavioral Cloning from Observation Histories

abstract: Imitation learning trains policies to map from input observations to the actions that an expert would choose. In this setting, distribution shift frequently exacerbates the effect of misattributing expert actions to nuisance correlates among the observed variables. We observe that a common instance of this causal confusion occurs in partially observed settings when expert actions are strongly correlated over time: the imitator learns to cheat by predicting the expert's previous action, rather than the next action. To combat this "copycat problem", we propose an adversarial approach to learn a feature representation that removes excess information about the previous expert action nuisance correlate, while retaining the information necessary to predict the next action. In our experiments, our approach improves performance significantly across a variety of partially observed imitation learning tasks.


title: Hierarchical Gaussian Processes with Wasserstein-2 Kernels

abstract: Stacking Gaussian Processes severely diminishes the model's ability to detect outliers, which when combined with non-zero mean functions, further extrapolates low non-parametric variance to low training data density regions. We propose a hybrid kernel inspired from Varifold theory, operating in both Euclidean and Wasserstein space. We posit that directly taking into account the variance in the computation of Wasserstein-2 distances is of key importance towards maintaining outlier status throughout the hierarchy. We show improved performance on medium and large scale datasets and enhanced out-of-distribution detection on both toy and real data.


title: An Optimal Control Approach to Learning in SIDARTHE Epidemic model

abstract: The COVID-19 outbreak has stimulated the interest in the proposal of novel epidemiological models to predict the course of the epidemic so as to help planning effective control strategies. In particular, in order to properly interpret the available data, it has become clear that one must go beyond most classic epidemiological models and consider models that, like the recently proposed SIDARTHE, offer a richer description of the stages of infection. The problem of learning the parameters of these models is of crucial importance especially when assuming that they are time-variant, which further enriches their effectiveness. In this paper we propose a general approach for learning time-variant parameters of dynamic compartmental models from epidemic data. We formulate the problem in terms of a functional risk that depends on the learning variables through the solutions of a dynamic system. The resulting variational problem is then solved by using a gradient flow on a suitable, regularized functional. We forecast the epidemic evolution in Italy and France. Results indicate that the model provides reliable and challenging predictions over all available data as well as the fundamental role of the chosen strategy on the time-variant parameters.


title: Single-Layer Di-titanium oxide Ti2O MOene: Multifunctional Promises for Electride, Anode Materials, and Superconductor

abstract: Using the first-principles calculations, we report the existence of the single-layer (SL) di-titanium oxide Ti$_2$O (labeled as MOene) that constructs a novel family of MXene based on transition metal oxides. This MOene material strongly contrasts the conventional ones consisting of transition metal carbides and/or nitrides. SL Ti$_2$O has high thermal and dynamical stabilities due to the strong Ti$-$O ionic bonding interactions. Moreover, this material is an intrinsic electride and exhibits extremely low diffusion barriers of $\sim$12.0 and 6.3 meV for Li- and Na diffusion, respectively. When applied as anode materials in lithium-ion batteries and sodium-ion batteries, it possesses a high energy storage capacity (960.23 mAhg$^{-1}$), surpassing the traditional MXenes-based anodes. The superb electrochemical performance stems from the existed anionic electron on Ti$_2$O surface. Astonishingly, SL Ti$_{2}$O is also determined to be a superconductor with a superconducting transition temperature (\textit{T$_{c}$}) of $\sim$9.8 K, which originates from the soft-mode of the first acoustic phonon branch and enhanced electron-phonon coupling in the low-frequency region. Our finding broadens the family of MXenes and would facilitate more experimental efforts toward future nanodevices.


title: Identified particle spectra in Pb-Pb, Xe-Xe and p-Pb collisions with Tsallis blast-wave model

abstract: We investigate the identified hadrons transverse momentum ($p_{\rm T}$) spectra in Pb-Pb (Pb-Pb, Xe-Xe, p-Pb) collisions at $\sqrt{s_{\rm NN}}=$ 2.76 (5.02, 5.44, 5.02) TeV in the framework of Tsallis-blast wave (TBW) model with a linear transverse velocity profile and with a constant velocity profile. In this model, the Tsallis temperature ($T$), the average radial flow velocity ($\langle \beta \rangle$) and the degree of non-equilibrium ($q$) of the system are common for all hadrons when a combined fit is performed to the $p_{\rm T}$ spectra of different particles at a given centrality. It is found that the model can describe the particle spectra well up to 3 GeV/c. For both profiles, the transverse flow velocity decreases from central to peripheral collisions while the non-extensive parameter $q$ exhibits the opposite behavior, indicating a more rapid expansion and less off-equilibrium of the system in more central collisions. Moreover, we observe that in central collisions $\langle \beta \rangle$ and $q$ ($T$) from the fit with the linear profile are smaller (is slightly larger) than those (that) with the constant profile, while in peripheral collisions $\langle \beta \rangle$, $T$ and $q$ from the former are compatible with those from the latter. We also derived and discussed the relation between the Tsallis temperature and the thermal temperature. In addition, to check whether a scenario of an early freeze-out of strange particles at the LHC exists, the particle spectra are investigated by grouping them into strange and non-strange hadrons. The combined fit gives an insight on the degree of non-equilibrium, the radial flow and the Tsallis temperature of the system at the kinetic decoupling. It provides a comparison between the results at different energies in the same collision system and the results in different collision systems at the same or similar energy.


title: Medical Deep Learning -- A systematic Meta-Review

abstract: Deep learning (DL) has remarkably impacted several different scientific disciplines over the last few years. E.g., in image processing and analysis, DL algorithms were able to outperform other cutting-edge methods. Additionally, DL has delivered state-of-the-art results in tasks like autonomous driving, outclassing previous attempts. There are even instances where DL outperformed humans, for example with object recognition and gaming. DL is also showing vast potential in the medical domain. With the collection of large quantities of patient records and data, and a trend towards personalized treatments, there is a great need for automated and reliable processing and analysis of health information. Patient data is not only collected in clinical centers, like hospitals and private practices, but also by mobile healthcare apps or online websites. The abundance of collected patient data and the recent growth in the DL field has resulted in a large increase in research efforts. In Q2/2020, the search engine PubMed returned already over 11,000 results for the search term 'deep learning', and around 90% of these publications are from the last three years. However, even though PubMed represents the largest search engine in the medical field, it does not cover all medical-related publications. Hence, a complete overview of the field of 'medical deep learning' is almost impossible to obtain and acquiring a full overview of medical sub-fields is becoming increasingly more difficult. Nevertheless, several review and survey articles about medical DL have been published within the last few years. They focus, in general, on specific medical scenarios, like the analysis of medical images containing specific pathologies. With these surveys as a foundation, the aim of this article is to provide the first high-level, systematic meta-review of medical DL surveys.


title: Regularity of Lipschitz boundaries with prescribed sub-Finsler mean curvature in the Heisenberg group $\mathbb{H}^1$

abstract: For a strictly convex set $K\subset \mathbb{R}^2$ of class $C^2$ we consider its associated sub-Finsler $K$-perimeter $|\partial E|_K$ in $\mathbb{H}^1$ and the prescribed mean curvature functional $|\partial E|_K-\int_E f$ associated to a function $f$. Given a critical set for this functional with Euclidean Lipschitz and intrinsic regular boundary, we prove that their characteristic curves are of class $C^2$ and that this regularity is optimal. The result holds in particular when the boundary of $E$ is of class $C^1$.


title: Maximum approximate likelihood estimation of general continuous-time state-space models

abstract: Continuous-time state-space models (SSMs) are flexible tools for analysing irregularly sampled sequential observations that are driven by an underlying state process. Corresponding applications typically involve restrictive assumptions concerning linearity and Gaussianity to facilitate inference on the model parameters via the Kalman filter. In this contribution, we provide a general continuous-time SSM framework, allowing both the observation and the state process to be non-linear and non-Gaussian. Statistical inference is carried out by maximum approximate likelihood estimation, where multiple numerical integration within the likelihood evaluation is performed via a fine discretisation of the state process. The corresponding reframing of the SSM as a continuous-time hidden Markov model, with structured state transitions, enables us to apply the associated efficient algorithms for parameter estimation and state decoding. We illustrate the modelling approach in a case study using data from a longitudinal study on delinquent behaviour of adolescents in Germany, revealing temporal persistence in the deviation of an individual's delinquency level from the population mean.


title: New software based readout driver for the ATLAS experiment

abstract: In order to maintain sensitivity to new physics in the coming years of LHC operations, the ATLAS experiment has been working on upgrading a portion of the front-end electronics and replacing some parts of the detector with new devices that can operate under the much harsher background conditions of the future LHC. The legacy front-end of the ATLAS detector sent data to the DAQ system via so called Read Out Drivers (ROD) - custom made VMEbus boards devoted to data processing, configuration and control. The data were then received by the Read Out System (ROS), which was responsible for buffering them during High-Level Trigger (HLT) processing. From Run 3 onward, all new trigger and detector systems will be read out using new components, replacing the combination of the ROD and the ROS. This new path will feature an application called the Software Read Out Driver (SW ROD), which will run on a commodity server receiving front-end data via the Front-End Link eXchange (FELIX) system. The SW ROD will perform event fragment building and buffering as well as serving the data on request to the HLT. The SW ROD application has been designed as a highly customizable high-performance framework providing support for detector specific event building and data processing algorithms. The implementation that will be used for the Run 3 is capable of building event fragments at a rate of 100 kHz from an input stream consisting of up to 120 MHz of individual data packets. This document will cover the design and the implementation of the SW ROD application and will present the results of performance measurements performed on the server models selected to host SW ROD applications in Run 3.


title: The Geometric Potential of the Exact Electron Factorization: Meaning, significance and application

abstract: The theoretical and computational description of materials properties is a task of utmost scientific and technological importance. A first-principles description of electron-electron interactions poses an immense challenge that is usually approached by converting the many-electron problem to an effective one-electron problem. There are different ways to obtain an exact one-electron theory for a many-electron system. An emergent method is the exact electron factorization (EEF) -- one of the branches of the Exact Factorization approach to many-body systems. In the EEF, the Schr\"odinger equation for one electron, in the environment of all other electrons, is formulated. The influence of the environment is reflected in the potential $v^{\rm H}$, which represents the energy of the environment, and in a potential $v^{\rm G}$, which has a geometrical meaning. In this paper, we focus on $v^{\rm G}$ and study its properties in detail. We investigate the geometric origin of $v^{\rm G}$ as a metric measuring the change of the environment, exemplify how translation and scaling of the state of the environment are reflected in $v^{\rm G}$, and explain its shape for homo- and heteronuclear diatomic model systems. Based on the close connection between the EEF and density functional theory, we also use $v^{\rm G}$ to provide an alternative interpretation to the Pauli potential in orbital-free density functional theory.


title: Extending the dynamic range of SiPMs by understanding their non-linear behavior

abstract: This publication focuses on the study of silicon photomultipliers (SiPMs) in view of a reconstruction of the incident photon flux in the regime of highly non-linear response. SiPMs are semiconductor based light detectors compiled of avalanche photodiodes operated in Geiger mode. They are both mechanically and optically very robust and have a high gain and photon detection efficiency. These features make them ideal photonsensors in a wide range of applications and they are nowadays replacing conventional photomultiplier tubes in many experiments. The cellular structure of SiPMs where each cell can only detect one photon at a time results in a non-linear dynamic range limiting the possible applications. We studied a commonly used SiPM model based on an equivalent electronic circuit that allows the simulation of the SiPM response in many situations. Dedicated measurements with two consecutive light pulses prove its applicability. By adapting the model to the measurements, intrinsic parameters of the SiPM such as quenching resistance or diode capacitance can be determined. With the obtained intrinsic parameters, the model correctly describes the recharge behavior of the SiPM cells. Based on the model, an algorithm was developed to correct the non-linearity of the dynamic range of SiPMs. As the model contains full information on the recharge of the SiPM cells, the effects leading to the non-linearity can be corrected for. The algorithm exploits the time information in the measured voltage signal and reconstructs the number of incident photons. It has shown an excellent performance and allows to increase the dynamic range with only 10% deviation from linearity by at least two orders of magnitude.


title: Poisson brackets of hydrodynamic type and their generalizations

abstract: In this paper, we consider Hamiltonian structures of hydrodynamic type and some of their generalizations. In particular, we discuss the questions concerning the structure and special forms of the corresponding Poisson brackets and the connection of such structures with the theory of integration of systems of hydrodynamic type.


title: Electron attachment to Cytosine: The Role of Water

abstract: We present an EOM-CCSD based QM/MM study on the electron attachment process to cytosine, solvated in water. The microhydration studies cannot capture the effect of bulk water environment on the electron attachment process and one need to include large number of water molecules in the calculation to get converged results. The electron attachment in the bulk solvated cytosine happened through a doorway mechanism, where the initial electron is localized on water. The electron subsequently gets transferred to cytosine by mixing of electronic and nuclear degrees of freedom which happens at an ultrafast time scale. The bulk water environment stabilizes the cytosine bound anion by an extensive hydrogen-bonding network and enhances the electron transfer rate by manifold from that observed in the gas phase. The predicted adiabatic electron affinity and electron transfer rate obtained from our QM/MM calculations are consistent with the available experimental results.


title: Object shape error modelling and simulation during early design stage by morphing Gaussian Random Fields

abstract: Geometric and dimensional variations in objects are caused by inevitable uncertainties in manufacturing processes and often lead to product quality issues. Failing to model the effect object shape errors, i.e., geometric and dimensional errors of parts, early during design phase inhibits the ability to predict such quality issues; consequently leading to expensive design changes after freezing of design. State-of-Art methodologies for modelling and simulating object shape error have limited defect fidelity, data versatility, and designer centricity that prevent their effective application during early design phase. Overcoming these limitations a novel Morphing Gaussian Random Field (MGRF) methodology for object shape error modelling and simulation is presented in this paper. The MGRF methodology has (i) high defect fidelity and is capable of simulating various part defects including local and global deformations, and technological patterns; (ii) high data versatility and can effectively simulate non-ideal parts under the constraint of limited data availability and can utilise historical non-ideal part data; (iii) designer centric capabilities such as performing `what if?' analysis of practically relevant defects; and (iv) capability to generate non-ideal parts conforming to statistical form tolerance specification. The aforementioned capabilities enable MGRF methodology to accurately model and simulate the effect of object shape variations on product quality during the early design phase. This is achieved by first, modelling the spatial correlation in the deviations of the part from its design nominal using Gaussian Random Field and then, utilising the modelled spatial correlations to generate non-ideal parts by conditional simulations. Practical applications of developed MGRF methodology and its advantages are demonstrated using sport-utility-vehicle door parts.


title: Spatial dynamics of complex urban systems within an evolutionary theory frame

abstract: This chapter is about Complexity and Spatial Dynamics in Urban Systems. Strong inequalities in the size of cities and the apparent difficulty of limiting their growth raise practical issues for spatial planning. At a time when new constraints in terms of limited energy and raw material resources or possible catastrophic events such as pandemics are challenging further urban expansion, it is important to consolidate the theories from various scientific disciplines to estimate to what extent the urban dynamics can be modified. While briefly reviewing the contributions to urban theories provided by the new developments in complexity sciences, we first advocate for the soundness of urban theories. Second, we develop our original approach considering spatial interaction and evolutionary path dependence as major features in the general behavior of urban entities. Third, we test these principles grounded in an evolutionary theory of urban systems by experimenting four dynamic models of urban growth calibrated on harmonized empirical data sets with comparisons across the whole world.


title: A Cyclic Proof System for HFLN

abstract: A cyclic proof system allows us to perform inductive reasoning without explicit inductions. We propose a cyclic proof system for HFLN, which is a higher-order predicate logic with natural numbers and alternating fixed-points. Ours is the first cyclic proof system for a higher-order logic, to our knowledge. Due to the presence of higher-order predicates and alternating fixed-points, our cyclic proof system requires a more delicate global condition on cyclic proofs than the original system of Brotherston and Simpson. We prove the decidability of checking the global condition and soundness of this system, and also prove a restricted form of standard completeness for an infinitary variant of our cyclic proof system. A potential application of our cyclic proof system is semi-automated verification of higher-order programs, based on Kobayashi et al.'s recent work on reductions from program verification to HFLN validity checking.


title: Phase resonance nonlinear modes of mechanical systems

abstract: The resonances of forced dynamical systems occur when either the amplitude of the frequency response undergoes a local maximum (amplitude resonance) or phase lag quadrature takes places (phase resonance). This study focuses on the phase resonance of nonlinear mechanical systems subjected to single-point, single-harmonic excitation. In this context, the main contribution of this paper is to develop a computational framework which can predict the mode shapes and oscillation frequencies at phase resonance. The resulting nonlinear modes are termed phase resonance nonlinear modes (PRNMs). A key property of PRNMs is that, besides primary resonances, they can accurately characterize superharmonic, subharmonic and ultra-subharmonic resonances for which, as shall be shown in this paper, phase lags at resonance may be different from pi/2. The proposed developments are demonstrated using one- and two-degree-of-freedom systems featuring a cubic nonlinearity.


title: Argon bubble formation in tantalum oxide-based films for gravitational wave interferometer mirrors

abstract: The argon content of titanium dioxide doped tantalum pentoxide thin films was quantified in a spatially resolved way using HAADF images and DualEELS. Films annealed at 300$^{\circ}$C, 400$^{\circ}$C and 600$^{\circ}$C were investigated to see if there was a relationship between annealing temperature and bubble formation. It was shown using HAADF imaging that argon is present in most of these films and that bubbles of argon start to form after annealing at 400$^{\circ}$C and coarsen after annealing at 600$^{\circ}$C. A semi-empirical standard was created for the quantification using argon data from the EELS atlas and experimental data scaled using a Hartree Slater cross section. The density and pressure of argon within the bubbles was calculated for 35 bubbles in the 600$^{\circ}$C sample. The bubbles had a mean diameter, density and pressure of 22\r{A}, 870kg/m$^3$ and 400MPa, respectively. The pressure was calculated using the Van der Waals equation. The bubbles may affect the properties of the films, which are used as optical coatings for mirrors in gravitational wave detectors. This spatially resolved quantification technique can be readily applied to other small noble gas bubbles in a range of materials.