April 2019 arXiv papers — page 120

S. Benatti, D. Nardiello, L. Malavolta, S. Desidera

The origin of the observed diversity of planetary system architectures is one of the main topic of the exoplanetary research. The detection of a statistically significant sample of planets around young stars allows us to study the early stages of planet formation and evolution, but only a handful of them is known so far. In this regard, a considerable contri

Ryoi Ohashi, Yukio Tanaka, Keiji Yada

We study the tunneling effect in an AIII-class insulator proximity coupled with a spin-singlet $s$-wave superconductor, in which three phases are characterized by the integer topological invariant $\mathcal{N}$. By solving the Bogoliubov-de Gennes equation explicitly, we analytically obtain a normal reflection coefficient $R_{σσ'}$ and an Andreev reflect

Felix M. Haehl, Eric Mintun, Jason Pollack, Antony J. Speranza

We consider CFT states defined by adding nonlocal multi-trace sources to the Euclidean path integral defining the vacuum state. For holographic theories, we argue that these states correspond to states in the gravitational theory with a good semiclassical description but with a more general structure of bulk entanglement than states defined from single-trace

Johannes Hofmann

The plasmon frequency in standard electron gases with a parabolic single-particle dispersion is a purely classical quantity that is not sensitive to electron interactions or the equation of state. We demonstrate that this canonical result no longer holds for plasmons in three-dimensional semimetals, which can thus be used to probe many-body effects in these

E. L. Rickman, D. Ségransan, M. Marmier, S. Udry

Context. Since 1998, a planet-search around main sequence stars within 50~pc in the southern hemisphere has been carried out with the CORALIE spectrograph at La Silla Observatory. Aims. With an observing time span of more than 20 years, the CORALIE survey is able to detect long term trends in data with masses and separations large enough to select ideal targ

Qusai Al Shidi, Ofer Cohen, Paul Song, Jiannan Tu

The sun's chromosphere is a highly dynamic, partially-ionized region where spicules (hot jets of plasma) form. Here we present a two-fluid MHD model to study the chromosphere, which includes ion-neutral interaction and frictional heating. Our simulation recovers a magnetic canopy shape that forms quickly, but is also quickly disrupted by the formation of

Kristen. B. W. McQuinn, Martha Boyer, Evan D. Skillman, Andrew E. Dolphin

The tip of the red giant branch (TRGB) is a well-established standard candle used to measure distances to nearby galaxies. The TRGB luminosity is typically measured in the I-band, where the luminosity has little dependency on stellar age or stellar metallicity. As the TRGB is brighter at wavelengths redder than the I-band, observational gains can be made if

Frank Gurski, Dominique Komander, Carolin Rehs

Coloring is one of the most famous problems in graph theory. The coloring problem on undirected graphs has been well studied, whereas there are very few results for coloring problems on directed graphs. An oriented k-coloring of an oriented graph G=(V,A) is a partition of the vertex set V into k independent sets such that all the arcs linking two of these su

Saining Xie, Alexander Kirillov, Ross Girshick, Kaiming He

Neural networks for image recognition have evolved through extensive manual design from simple chain-like models to structures with multiple wiring paths. The success of ResNets and DenseNets is due in large part to their innovative wiring plans. Now, neural architecture search (NAS) studies are exploring the joint optimization of wiring and operation types,

Vladimir Markov

We present a formulation of the transaction cost analysis (TCA) in the Bayesian framework for the primary purpose of comparing broker algorithms using standardized benchmarks. Our formulation allows effective calculation of the expected value of trading benchmarks with only a finite sample of data relevant to practical applications. We discuss the nature of

Andrej Depperschmidt, Andreas Greven, Peter Pfaffelhuber

For two Polish state spaces $E_X$ and $E_Y$, and an operator $G_X$, we obtain existence and uniqueness of a $G_X$-martingale problem provided there is a bounded continuous duality function $H$ on $E_X \times E_Y$ together with a dual process $Y$ on $E_Y$ which is the unique solution of a $G_Y$-martingale problem. For the corresponding solutions $(X_t)_{t\ge

Spyros Basilakos, Genly Leon, G. Papagiannopoulos, Emmanuel N. Saridakis

We perform for the first time a dynamical system analysis of both the background and perturbation equations, of $Λ$CDM cosmology and quintessence scenario with an exponential potential. In the former case the perturbations do not change the stability of the late-time attractor of the background equations, and the system still results in the dark-energy domin

Kevin Yang, Kyle Swanson, Wengong Jin, Connor Coley

Advancements in neural machinery have led to a wide range of algorithmic solutions for molecular property prediction. Two classes of models in particular have yielded promising results: neural networks applied to computed molecular fingerprints or expert-crafted descriptors, and graph convolutional neural networks that construct a learned molecular represent

Andrei Galiautdinov

We generalize the classic calculations by Rytova and Keldysh of screened Coulomb interaction in semiconductor thin films to systems with anisotropic permittivity tensor. Explicit asymptotic expressions for electrostatic potential energy of interaction in the weakly anisotropic case are found in closed analytical form. The case of strong in-plane anisotropy,

Sebastian Ecker, Frédéric Bouchard, Lukas Bulla, Florian Brandt

Noise can be considered the natural enemy of quantum information. An often implied benefit of high-dimensional entanglement is its increased resilience to noise. However, manifesting this potential in an experimentally meaningful fashion is challenging and has never been done before. In infinite dimensional spaces, discretisation is inevitable and renders th

Jawad Abuhlail, Rangga Ganzar Noegraha

Projective modules play an important role in the study of the category of modules over rings and in the characterization of various classes of rings. Several characterizations of projective objects which are equivalent for modules over rings are not necessarily equivalent for semimodules over an arbitrary semiring. We study several of these notions, in parti

Dhiraj Kumar Hazra, Daniela Paoletti, Fabio Finelli, George F. Smoot

Cosmic Microwave Background temperature and polarization anisotropies from Planck have estimated a lower value of the optical depth to reionization ($τ$) compared to WMAP. A significant period in the reionization history would then fall within $6<z< 10$, where detection of galaxies with Hubble Frontier Fields program and independent estimation of neutral hyd

Christopher Morris, Gaurav Rattan, Petra Mutzel

Graph kernels based on the $1$-dimensional Weisfeiler-Leman algorithm and corresponding neural architectures recently emerged as powerful tools for (supervised) learning with graphs. However, due to the purely local nature of the algorithms, they might miss essential patterns in the given data and can only handle binary relations. The $k$-dimensional Weisfei

Bubacarr Bah, Jannis Kurtz, Oliver Schaudt

In this article we study the problem of signal recovery for group models. More precisely for a given set of groups, each containing a small subset of indices, and for given linear sketches of the true signal vector which is known to be group-sparse in the sense that its support is contained in the union of a small number of these groups, we study algorithms

Tianyu Wang, Xin Yang, Ke Xu, Shaozhe Chen

Removing rain streaks from a single image has been drawing considerable attention as rain streaks can severely degrade the image quality and affect the performance of existing outdoor vision tasks. While recent CNN-based derainers have reported promising performances, deraining remains an open problem for two reasons. First, existing synthesized rain dataset

Benjamin J. Walker, Kenta Ishimoto, Hermes Gadêlha, Eamonn A. Gaffney

We present a generalisation of efficient numerical frameworks for modelling fluid-filament interactions via the discretisation of a recently-developed, non-local integral equation formulation to incorporate regularised Stokeslets with half-space boundary conditions, as motivated by the importance of confining geometries in many applications. We proceed to ut

Samet Taspinar, Manoranjan Mohanty, Nasir Memon

Photo Response Non-Uniformity (PRNU) based source camera attribution is an effective method to determine the origin camera of visual media (an image or a video). However, given that modern devices, especially smartphones, capture images, and videos at different resolutions using the same sensor array, PRNU attribution can become ineffective as the camera fin

Roland Bauerschmidt, Tyler Helmuth, Andrew Swan

The classical random walk isomorphism theorems relate the local times of a continuous-time random walk to the square of a Gaussian free field. A Gaussian free field is a spin system that takes values in Euclidean space, and this article generalises the classical isomorphism theorems to spin systems taking values in hyperbolic and spherical geometries. The co

Benjamin D. Horne, Dorit Nevo, John O&#39;Donovan, Jin-Hee Cho

With the spread of false and misleading information in current news, many algorithmic tools have been introduced with the aim of assessing bias and reliability in written content. However, there has been little work exploring how effective these tools are at changing human perceptions of content. To this end, we conduct a study with 654 participants to under

Morgan W. Mitchell

We describe quantum limits to field sensing that relate noise, geometry and measurement duration to fundamental constants, with no reference to particle number. We cast the Tesche and Clarke (TC) bound on dc-SQUID sensitivity as such a limit, and find analogous limits for volumetric spin-precession magnetometers. We describe how randomly-arrayed spins, coupl

Thomas Eiter, Giovanni P. Galdi

We prove new existence and uniqueness results in full Sobolev spaces for the steady-state Oseen problem in a smooth exterior domain of $\mathbb{R}^n$, $n\ge 2$. These results are then employed, on the one hand, in the study of analogous properties for the corresponding (linear) time-periodic case and, on the other hand and more significantly, to prove analog

Céline Chevalier, Marc Kaplan, Quoc Huy Vu

Motivated by the Quantum Key Distribution (QKD) protocol, introduced in 1984 in the seminal paper of Bennett and Brassard, we investigate in this paper the achievability of unconditionally secure password-authenticated quantum key exchange (quantum PAKE), where the authentication is implemented by the means of human-memorable passwords. We first show a serie

Kevin Layer, Andrew L. Johnson, Robin C. Sickles, Gary D. Ferrier

Researchers rely on the distance function to model multiple product production using multiple inputs. A stochastic directional distance function (SDDF) allows for noise in potentially all input and output variables. Yet, when estimated, the direction selected will affect the functional estimates because deviations from the estimated function are minimized in

Casey Eichstaedt, Yi Zhang, Pontus Laurell, Satoshi Okamoto

We use the constrained random phase approximation (cRPA) to derive from first principles the Ru-$t_{2g}$ Wannier function based model for the Kitaev spin-liquid candidate material $α$-RuCl$_3$. We find the non-local Coulomb repulsion to be sizable compared to the local one. In addition we obtain the contribution to the Hamiltonian from the spin-orbit couplin

Shuntaro Okada, Masayuki Ohzeki, Kazuyuki Tanaka

The Potts model is a generalization of the Ising model with $Q>2$ components. In the fully connected ferromagnetic Potts model, a first-order phase transition is induced by varying thermal fluctuations. Therefore, the computational time required to obtain the ground states by simulated annealing exponentially increases with the system size. This study analyt

Sayak Datta, Sukanta Bose

We study the quasi-normal modes (QNMs) of static, spherically symmetric black holes in $f(R)$ theories. We show how these modes in theories with non-trivial $f(R)$ are fundamentally different from those in General Relativity. In the special case of $f(R) = αR^2$ theories, it has been recently argued that iso-spectrality between scalar and vector modes breaks

Stavros Petridis, Yujiang Wang, Pingchuan Ma, Zuwei Li

Visual speech recognition models traditionally consist of two stages, feature extraction and classification. Several deep learning approaches have been recently presented aiming to replace the feature extraction stage by automatically extracting features from mouth images. However, research on joint learning of features and classification remains limited. In

Simos Gerasimou, Thomas Vogel, Ada Diaconescu

Software systems are increasingly used in application domains characterised by uncertain environments, evolving requirements and unexpected failures; sudden system malfunctioning raises serious issues of security, safety, loss of comfort or revenue. During operation, these systems will likely need to deal with several unpredictable situations including varia

Benjamin Fehrman, Benjamin Gess, Arnulf Jentzen

We prove the local convergence to minima and estimates on the rate of convergence for the stochastic gradient descent method in the case of not necessarily globally convex nor contracting objective functions. In particular, the results are applicable to simple objective functions arising in machine learning.

Kyle Wilkin, Robert Parrish, Jie Yang, Thomas J. A. Wolf

We have investigated the structural dynamics in photoexcited 1,2-diiodotetrafluoroethane molecules (C2F4I2) in the gas phase experimentally using ultrafast electron diffraction and theoretically using FOMO-CASCI excited state dynamics simulations. The molecules are excited by an ultra-violet femtosecond laser pulse to a state characterized by a transition fr

Antonio Laface, Luca Ugaglia

We study the base locus of the higher fundamental forms of a projective toric variety $X$ at a general point. More precisely we consider the closure $X$ of the image of a map $({\mathbb C}^*)^k\to {\mathbb P}^n$, sending $t$ to the vector of Laurent monomials with exponents $p_0,\dots,p_n\in {\mathbb Z}^k$. We prove that the $m$-th fundamental form of such a

Yanfu Yan, Ke Lu, Jian Xue, Pengcheng Gao

Facial expression analysis based on machine learning requires large number of well-annotated data to reflect different changes in facial motion. Publicly available datasets truly help to accelerate research in this area by providing a benchmark resource, but all of these datasets, to the best of our knowledge, are limited to rough annotations for action unit

Mattia Antonino Di Gangi, Giosué Lo Bosco, Giovanni Pilato

Irony and sarcasm are two complex linguistic phenomena that are widely used in everyday language and especially over the social media, but they represent two serious issues for automated text understanding. Many labeled corpora have been extracted from several sources to accomplish this task, and it seems that sarcasm is conveyed in different ways for differ

Ankit Kumar, Rahul Gupta, Sajid Husain, Nilamani Behera

The Heusler ferromagnetic (FM) compound Co2FeAl interfaced with a high-spin orbit coupling non-magnetic (NM) layer is a promising candidate for energy efficient spin logic circuits. The circuit potential depends on the strength of angular momentum transfer across the FM/NM interface; hence, requiring low spin memory loss and high spin-mixing conductance. To

Riccardo de Lutio, Stefano D&#39;Aronco, Jan Dirk Wegner, Konrad Schindler

Guided super-resolution is a unifying framework for several computer vision tasks where the inputs are a low-resolution source image of some target quantity (e.g., perspective depth acquired with a time-of-flight camera) and a high-resolution guide image from a different domain (e.g., a grey-scale image from a conventional camera); and the target output is a

Matthew Fahrbach, Dana Randall

The six-vertex model in statistical physics is a weighted generalization of the ice model on $\mathbb{Z}^2$ (i.e., Eulerian orientations) and the zero-temperature three-state Potts model (i.e., proper three-colorings). The phase diagram of the model depicts its physical properties and suggests where local Markov chains will be efficient. In this paper, we an

Davide Viviano, Jelena Bradic

Understanding the effect of a particular treatment or a policy pertains to many areas of interest, ranging from political economics, marketing to healthcare. In this paper, we develop a non-parametric algorithm for detecting the effects of treatment over time in the context of Synthetic Controls. The method builds on counterfactual predictions from many algo

Alexandros Papageorgiou, Marco Peloso, Caner Unal

We study a variant of the Chromo-Natural Inflation (CNI) mechanism in which the inflaton interacts only gravitationally with the CNI fields. Integrating out all the non-dynamical scalar fields of the model results in a coupling between the perturbations of the inflaton and of the CNI pseudo-scalar which is significantly greater than the one obtained in the a

Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss

Real-world semantic or knowledge-based systems, e.g., in the biomedical domain, can become large and complex. Tool support for the localization and repair of faults within knowledge bases of such systems can therefore be essential for their practical success. Correspondingly, a number of knowledge base debugging approaches, in particular for ontology-based s

Paul Shafer

We investigate the statement &#34;the order topology of every countable complete linear order is compact&#34; in the framework of reverse mathematics, and we find that the statement&#39;s strength depends on the precise formulation of compactness. If we require that open covers must be uniformly expressible as unions of basic open sets, then the compactness

Steven Cunnington, Laura Wolz, Alkistis Pourtsidou, David Bacon

The future of precision cosmology could benefit from cross-correlations between intensity maps of unresolved neutral hydrogen (HI) and more conventional optical galaxy surveys. A major challenge that needs to be overcome is removing the 21cm foreground emission that contaminates the cosmological HI signal. Using N-body simulations we simulate HI intensity ma

Peyman Eslami, Ian Melbourne, Sandro Vaienti

Intermittent maps of Pomeau-Manneville type are well-studied in one-dimension, and also in higher dimensions if the map happens to be Markov. In general, the nonconformality of multidimensional intermittent maps represents a challenge that up to now is only partially addressed. We show how to prove sharp polynomial bounds on decay of correlations for a class

Habib Ammari, Bryn Davies

We present a design for an acoustic metamaterial that mimics the behaviour of the active cochlea. This material is composed of a size-graded array of cylindrical subwavelength resonators, has similar dimensions to the cochlea and is able to reproduce the frequency separation of audible frequencies. Non-linear amplification is introduced to the model in order

Jian-Jia Weng, Fady Alajaji, Tamás Linder

In this report, we generalize Shannon&#39;s push-to-talk two-way channel (PTT-TWC) by allowing reliable full-duplex transmission as well as noisy reception in the half-duplex (PTT) mode. Viewing a PTT-TWC as two state-dependent one-way channels, we introduce a channel symmetry property pertaining to the one-way channels. Shannon&#39;s TWC capacity inner boun

Horst Sebastian Scheid

The ALICE Collaboration measured dielectron production as a function of the invariant mass ($m_{\rm ee}$), the pair transverse momentum ($p_{\rm T,ee}$) and the pair distance of closest approach ($\rm DCA_{ee}$) in pp collisions at $\sqrt{s} = 7$ TeV. Prompt and non-prompt dielectron sources can be separated with the $\rm DCA_{ee}$, which will give the oppor

Eric Benhamou, David Saltiel, Beatrice Guez, Nicolas Paris

This paper revisits the Bayesian CMA-ES and provides updates for normal Wishart. It emphasizes the difference between a normal and normal inverse Wishart prior. After some computation, we prove that the only difference relies surprisingly in the expected covariance. We prove that the expected covariance should be lower in the normal Wishart prior model becau

Peter Bonventre

We construct a generalization of the operadic nerve, providing a translation between the equivariant simplicially enriched operadic world to the parametrized $\infty$-categorical perspective. This naturally factors through genuine equivariant operads, a model for &#34;equivariant operads with norms up to homotopy&#34;. We introduce the notion of an op-fibrat

Toms Bergmanis, Sharon Goldwater

Lemmatization aims to reduce the sparse data problem by relating the inflected forms of a word to its dictionary form. Using context can help, both for unseen and ambiguous words. Yet most context-sensitive approaches require full lemma-annotated sentences for training, which may be scarce or unavailable in low-resource languages. In addition (as shown here)

Hepeng Yao, Alice Khoudli, Léa Bresque, Laurent Sanchez-Palencia

Quasiperiodic systems offer an appealing intermediate between long-range ordered and genuine disordered systems, with unusual critical properties. One-dimensional models that break the so-called self-dual symmetry usually display a mobility edge, similarly as truly disordered systems in dimension strictly higher than two. Here, we determine the critical loca

Giovanni Bazzoni, Lucia Martin-Merchan, Vicente Munoz

We introduce spin-harmonic structures, a class of geometric structures on Riemannian manifolds of low dimension which are defined by a harmonic unitary spinor. Such structures are related to SU(2) (dim=4,5), SU(3) (dim=6) and G_2 (dim=7) structures; in dimension 8, a spin-harmonic structure is equivalent to a balanced Spin(7) structure. As an application, we

Yingkai Ouyang

We must protect inherently fragile quantum data to unlock the potential of quantum technologies. A pertinent concern in schemes for quantum storage is their potential for near-term implementation. Since Heisenberg ferromagnets are readily available, we investigate their potential for robust quantum storage. We propose to use permutation-invariant quantum cod

Qingze Lin

The Carleson measures for weighted Dirichlet spaces had been characterized by Girela and Peláez, who also characterized the boundedness of Volterra type operators between weighted Dirichlet spaces. However, their characterizations for the boundedness are not complete. In this paper, we completely characterize the boundedness and compactness of Volterra type

Upala Mukhopadhyay, Debasish Majumdar

We explore in this work whether Slotheon model of Dark Energy obeys the Swampland criteria of string theory. Since de Sitter vacuum is very difficult to construct in string theory the cosmological constant as an explanation of Dark Energy is almost ruled out in string theory since it involves a scalar potential $V$ with positive local minimum that ends up to

Laura Herold, Dmitry Malyshev

The Fermi bubbles (FBs) are large gamma-ray emitting lobes extending up to $55°$ in latitude above and below the Galactic center (GC). Although the FBs were discovered 8 years ago, their origin and the nature of the gamma-ray emission are still unresolved. Understanding the properties of the FBs near the Galactic plane may provide a clue to their origin. Pre

Marcel Bökstedt, Erica Minuz

We compare the cohomology complex defined by Baranovsky and Sazdanović, that is the $E_{1}$ page of a spectral sequence converging to the homology of the configuration space depending on a graph, with the rational model for the configuration space given by Kriz and Totaro. In particular we generalize the rational model to any graph and to an algebra over any

Emerson Abreu, Leandro G. Fernandes

We consider the monomial weight $x^{A}=\vert x_{1}\vert^{a_{1}}\ldots\vert x_{N}\vert^{a_{N}}$, where $a_{i}$ is a nonnegative real number for each $i\in\{1,\ldots,N\}$, and we establish the existence and nonexistence of isoperimetric inequalities with different monomial weights. We study positive minimizers of $\int_{\partialΩ}x^{A}\mathcal{H}^{N-1}(x)$ amo

Peter Lambert-Cole, Maggie Miller

Gay and Kirby introduced the notion of a trisection of a smooth 4-manifold, which is a decomposition of the 4-manifold into three elementary pieces. Rubinstein and Tillmann later extended this idea to construct multisections of piecewise-linear (PL) manifolds in all dimensions. Given a PL manifold $Y$ of dimension $n$, this is a decomposition of $Y$ into $\l

Neil J. Cornish, Emanuele Berti, Kelly Holley-Bockelmann, Shane Larson

A space-based interferometer operating in the previously unexplored mHz gravitational band has tremendous discovery potential. If history is any guide, the opening of a new spectral band will lead to the discovery of entirely new sources and phenomena. The mHz band is ideally suited to exploring beyond standard model processes in the early universe, and with

Christina K. Gilligan, Brian Chaboyer, Jeffrey D. Cummings, Dougal Mackey

We present a multiple population search in two old Large Magellanic Cloud (LMC) Globular Clusters, Hodge 11 and NGC 2210. This work uses data from the Advanced Camera for Surveys and Wide Field Camera 3 on the Hubble Space Telescope from programme GO-14164 in Cycle 23. Both of these clusters exhibit a broadened main sequence with the second population repres

Jens Behley, Martin Garbade, Andres Milioto, Jan Quenzel

Semantic scene understanding is important for various applications. In particular, self-driving cars need a fine-grained understanding of the surfaces and objects in their vicinity. Light detection and ranging (LiDAR) provides precise geometric information about the environment and is thus a part of the sensor suites of almost all self-driving cars. Despite

Stavros Komineas, Christof Melcher, Stephanos Venakides

Chiral skyrmions are stable particle-like solutions of the Landau-Lifshitz equation for ferromagnets with the Dzyaloshinskii-Moriya (DM) interaction, characterized by a topological number. We study the profile of an axially symmetric skyrmion and give exact formulas for the solution of the corresponding far-field and near-field equations, in the asymptotic l

Denis Bernard, Tony Jin

We introduce and solve a model of fermions hopping between neighbouring sites on a line with random Brownian amplitudes and open boundary conditions driving the system out of equilibrium. The average dynamics reduces to that of the symmetric simple exclusion process. However, the full distribution encodes for a richer behaviour entailing fluctuating quantum

D. De Fazio, D. G. Purdie, A. K. Ott, P. Braeuninger-Weimer

We report high room-temperature mobility in single layer graphene grown by Chemical Vapor Deposition (CVD) after wet transfer on SiO$_2$ and hexagonal boron nitride (hBN) encapsulation. By removing contaminations trapped at the interfaces between single-crystal graphene and hBN, we achieve mobilities up to$\sim70000cm^2 V^{-1} s^{-1}$ at room temperature and

Rajko Nenadov, Benny Sudakov, Adam Zsolt Wagner

Given a partial Steiner triple system (STS) of order $n$, what is the order of the smallest complete STS it can be embedded into? The study of this question goes back more than 40 years. In this paper we answer it for relatively sparse STSs, showing that given a partial STS of order $n$ with at most $r \le \varepsilon n^2$ triples, it can always be embedded

Snir Ben Ovadia

$M$ is a cpt. Riemannian manifold without boundary, $f\in\mathrm{Diff}^{1+β}(M)$. In [Sarig13], for all $χ>0$, for every small enough $ε>0$, Sarig had first constructed a coding $\widehatπ:\widehatΣ\rightarrow M$ which covers the set of all Lyapunov regular $χ$-hyperbolic points when $\mathrm{dim}M=2$, where $\widehatΣ$ is a topological Markov shift over a l

Pierre Ganty, Francesco Ranzato, Pedro Valero

We study the language inclusion problem $L_1 \subseteq L_2$ where $L_1$ is regular or context-free. Our approach relies on abstract interpretation and checks whether an overapproximating abstraction of $L_1$, obtained by overapproximating the Kleene iterates of its least fixpoint characterization, is included in $L_2$. We show that a language inclusion probl

Andrew J. Becker, James P. Bagrow

Missing data are a concern in many real world data sets and imputation methods are often needed to estimate the values of missing data, but data sets with excessive missingness and high dimensionality challenge most approaches to imputation. Here we show that appropriate feature selection can be an effective preprocessing step for imputation, allowing for mo

Aleksejs Naumovs, Maksims Dimitrijevs, Abuzer Yakaryılmaz

It is known that 2-state binary and 3-state unary probabilistic finite automata and 2-state unary quantum finite automata recognize uncountably many languages with cutpoints. These results have been obtained by associating each recognized language with a cutpoint and then by using the fact that there are uncountably many cutpoints. In this note, we prove the

Danijela Marković, Jean-Damien Pillet, Emmanuel Flurin, Nicolas Roch

When a signal is injected in a parametric oscillator close enough to its resonance, the oscillator frequency and phase get locked to those of the injected signal. Here, we demonstrate two frequency locking schemes using a Josephson mixer in the parametric down-conversion regime, pumped beyond the parametric oscillation threshold. The circuit then emits radia

Jindong Wang, Yiqiang Chen, Han Yu, Meiyu Huang

Transfer learning aims at transferring knowledge from a well-labeled domain to a similar but different domain with limited or no labels. Unfortunately, existing learning-based methods often involve intensive model selection and hyperparameter tuning to obtain good results. Moreover, cross-validation is not possible for tuning hyperparameters since there are

Lu Yang, Fan Dang, Peng Wang, Hui Li

Reading irregular scene text of arbitrary shape in natural images is still a challenging problem, despite the progress made recently. Many existing approaches incorporate sophisticated network structures to handle various shapes, use extra annotations for stronger supervision, or employ hard-to-train recurrent neural networks for sequence modeling. In this w

Azqa Nadeem, Christian Hammerschmidt, Carlos H. Gañán, Sicco Verwer

Malware family labels are known to be inconsistent. They are also black-box since they do not represent the capabilities of malware. The current state-of-the-art in malware capability assessment include mostly manual approaches, which are infeasible due to the ever-increasing volume of discovered malware samples. We propose a novel unsupervised machine learn

Karin Erdmann, Sira Gratz, Lisa Lamberti

We study cluster tilting modules in mesh algebras of Dynkin type, providing a new proof for their existence. In all but one case, we show that these are precisely the maximal rigid modules, and that they are equivariant for a certain automorphism. We further study their mutation, providing an example of mutation in an abelian category which is not stably 2-C

Benoît Bonnet, Émilien Flayac

In this paper, we study sufficient conditions for the emergence of asymptotic consensus and flocking in a certain class of non-linear generalised Cucker-Smale systems subject to multiplicative communication failures. Our approach is based on the combination of strict Lyapunov design together with the formulation of a suitable persistence condition for multi-

Maciej Rybczynski, Zbigniew Wlodarczyk

We discuss the recently measured event-by-event multiplicity fluctuations in relativistic heavy-ion collisions. It is shown that the observed non-monotonic behaviour of the scaled variance of multiplicity distribution as a function of collision centrality (such effect is not observed in a widely used string-hadronic models of nuclear collisions) can be fully

Arkady Bolotin

The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental quantum propositions might have various semantics. E.g., it might have either a total semantics, or a partial semantics (

Erfan Khaniki

Our main results are in the following three sections: 1. We prove new relations between proof complexity conjectures that are discussed in \cite{pu18}. 2. We investigate the existence of p-optimal proof systems for $\mathsf{TAUT}$, assuming the collapse of $\cal C$ and $\sf N{\cal C}$ (the nondeterministic version of $\cal C$) for some new classes $\cal C$ a

Friedrich Eisenbrand, Christoph Hunkenschröder, Kim-Manuel Klein, Martin Koutecký

We study the general integer programming problem where the number of variables $n$ is a variable part of the input. We consider two natural parameters of the constraint matrix $A$: its numeric measure $a$ and its sparsity measure $d$. We show that integer programming can be solved in time $g(a,d)\textrm{poly}(n,L)$, where $g$ is some computable function of t

Lukas Drude, Jahn Heymann, Reinhold Haeb-Umbach

We present an unsupervised training approach for a neural network-based mask estimator in an acoustic beamforming application. The network is trained to maximize a likelihood criterion derived from a spatial mixture model of the observations. It is trained from scratch without requiring any parallel data consisting of degraded input and clean training target

Zhi Tian, Chunhua Shen, Hao Chen, Tong He

We propose a fully convolutional one-stage object detector (FCOS) to solve object detection in a per-pixel prediction fashion, analogue to semantic segmentation. Almost all state-of-the-art object detectors such as RetinaNet, SSD, YOLOv3, and Faster R-CNN rely on pre-defined anchor boxes. In contrast, our proposed detector FCOS is anchor box free, as well as

Oleksandra Panasiuk, Omar Holzknecht, Umutcan Şimşek, Elias Kärle

In this paper, we propose a framework to perform verification and validation of semantically annotated data. The annotations, extracted from websites, are verified against the schema.org vocabulary and Domain Specifications to ensure the syntactic correctness and completeness of the annotations. The Domain Specifications allow checking the compliance of anno

Yuyang Zhou, Guang Cheng, Shanqing Jiang, Mian Dai

Intrusion detection system (IDS) is one of extensively used techniques in a network topology to safeguard the integrity and availability of sensitive assets in the protected systems. Although many supervised and unsupervised learning approaches from the field of machine learning have been used to increase the efficacy of IDSs, it is still a problem for exist

N. Fabre, G. Maltese, F. Appas, S. Felicetti

Encoding quantum information in continuous variables is intrinsically faulty. Nevertheless, redundant qubits can be used for error correction, as proposed by Gottesman, Kitaev and Preskill in Phys. Rev. A \textbf{64} 012310, (2001). We show how to experimentally implement this encoding using time-frequency continuous degrees of freedom of photon pairs produc

Shin&#39;ichi Nojiri, Sergei D. Odintsov, Emmanuel N. Saridakis

We apply the holographic principle at the early universe, obtaining an inflation realization of holographic origin. Such a consideration has equal footing with its well-studied late-time application, and moreover the decrease of the horizons at early times naturally increases holographic energy density at inflationary scales. Taking as Infrared cutoff the pa

Gabriele Balletti, Christopher Borger

It has been shown by Soprunov that the normalized mixed volume (minus one) of an $n$-tuple of $n$-dimensional lattice polytopes is a lower bound for the number of interior lattice points in the Minkowski sum of the polytopes. He defined $n$-tuples of mixed degree at most one to be exactly those for which this lower bound is attained with equality, and posed

R. F. L. Holanda, L. R. Colaço, S. H. Pereira, R. Silva

In this paper, we propose a new test to the cosmic distance duality relation (CDDR), $D_L=D_A(1+z)^2$, where $D_L$ and $D_A$ are the luminosity and angular diameter distances, respectively. The data used correspond to 61 Type Ia Supernova luminosity distances and $Y_{SZE}-Y_X$ measurements of 61 galaxy clusters obtained by the {\it Planck} mission and the de

O. Khorunzhiy

We study concentration properties of vertex degrees of $n$-dimensional Erdos-Rényi random graphs with the edge probability $ρ/n$ by means of high moments of these random variables in the limit when $n$ and $ρ$ tend to infinity. These moments are asymptotically close to one-variable Bell polynomials ${\cal B}_k(ρ), k\in {\bf N}$ that represent moments of the

Benjamin D. M. Jones, George O. O&#39;Brien, David R. White, Earl T. Campbell

One of the most promising applications of near-term quantum computing is the simulation of quantum systems, a classically intractable task. Quantum simulation requires computationally expensive matrix exponentiation; Trotter-Suzuki decomposition of this exponentiation enables efficient simulation to a desired accuracy on a quantum computer. We apply the Cova

J. Brian Pitts

The renaissance of General Relativity witnessed considerable progress regarding both understanding and justifying Einstein&#39;s equations. Both general relativists and historians of the subject tend to share a view, General Relativity exceptionalism. But does some of the renaissance progress in understanding and justifying Einstein&#39;s equations owe somet

Yuting Liu, Miaojing Shi, Qijun Zhao, Xiaofang Wang

Modern crowd counting methods usually employ deep neural networks (DNN) to estimate crowd counts via density regression. Despite their significant improvements, the regression-based methods are incapable of providing the detection of individuals in crowds. The detection-based methods, on the other hand, have not been largely explored in recent trends of crow

Jasdeep Kochhar

Given $r \in \mathbf{N},$ let $λ$ be a partition of $r$ with at most two parts. Let $\mathbf{F}$ be a field of characteristic 3. Write $M^λ$ for the $\mathbf{F}S_r$-permutation module corresponding to the action of the symmetric group $S_r$ on the cosets of the maximal Young subgroup $S_λ.$ We construct a full set of central primitive idempotents in $\text{E

Kimmo Kainulainen, Venus Keus, Lauri Niemi, Kari Rummukainen

Making use of a dimensionally-reduced effective theory at high temperature, we perform a nonperturbative study of the electroweak phase transition in the Two Higgs Doublet model. We focus on two phenomenologically allowed points in the parameter space, carrying out dynamical lattice simulations to determine the equilibrium properties of the transition. We di

S A Jafari

We show that the continuum limit of the tilted Dirac cone in materials such as $8Pmmn$-borophene and layered organic conductor $α$-(BEDT-TTF)$_2$I$_3$ deformation of the Minkowski spacetime of Dirac materials. From its Killing vectors we construct an emergent tilted-Lorentz (t-Lorentz) symmetry group for such systems. With t-Lorentz transformations we are ab

Thu Nguyen-Phuoc, Chuan Li, Lucas Theis, Christian Richardt

We propose a novel generative adversarial network (GAN) for the task of unsupervised learning of 3D representations from natural images. Most generative models rely on 2D kernels to generate images and make few assumptions about the 3D world. These models therefore tend to create blurry images or artefacts in tasks that require a strong 3D understanding, suc

Thomas Ranner

We present and analyse a numerical method for understanding the low-inertia dynamics of an open, inextensible viscoelastic rod - a long and thin three dimensional object - representing the body of a long, thin microswimmer. Our model allows for both elastic and viscous, bending and twisting deformations and describes the evolution of the midline curve of the