July 2019 arXiv papers — page 42

Geoffrey Z. Thompson, Ranjan Maitra, William Q. Meeker, Ashraf Bastawros

Matrix-variate distributions can intuitively model the dependence structure of matrix-valued observations that arise in applications with multivariate time series, spatio-temporal or repeated measures. This paper develops an Expectation-Maximization algorithm for discriminant analysis and classification with matrix-variate $t$-distributions. The methodology

Olivier Gauwin, Anca Muscholl, Michael Raskin

We show that the minimization of visibly pushdown automata is NP-complete. This result is obtained by introducing immersions, that recognize multiple languages (over a usual, non-visible alphabet) using a common deterministic transition graph, such that each language is associated with an initial state and a set of final states. We show that minimizing immer

Giovanni Amendola, Carmine Dodaro, Francesco Ricca

Answer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutions. Albeit the non-existence of answer sets for some ASP programs can be considered as a modeling feature, it turns out to be a weakness in many other cases, and especially for que

Giovanni Amendola, Francesco Ricca, Mirek Truszczynski

Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems in NP in a compact and elegant way. However, modeling problems beyond NP with ASP is known to be complicated, on the one hand, and limited to problems in {\Sigma}^P_2 on the other.

Xiahan Shi, Leonard Salewski, Martin Schiegg, Zeynep Akata

Transferring learned models to novel tasks is a challenging problem, particularly if only very few labeled examples are available. Although this few-shot learning setup has received a lot of attention recently, most proposed methods focus on discriminating novel classes only. Instead, we consider the extended setup of generalized few-shot learning (GFSL), wh

Carl Ehrett, D. Andrew Brown, Evan Chodora, Christopher Kitchens

Computer model calibration typically operates by choosing parameter values in a computer model so that the model output faithfully predicts reality. By using performance targets in place of observed data, we show that calibration techniques can be repurposed to wed engineering and material design, two processes that are traditionally carried out separately.

Guenter Last, Sergei Zuyev

The binomial, the negative binomial, the Poisson, the compound Poisson and the Erlang distribution do all admit integral representations with respect to its (continuous) parameter. We use the Margulis-Russo type formulas for Bernoulli and Poisson processes to derive these representations in a unified way and to provide a probabilistic interpretation for the

Stuart A. Newman

I revisit two theories of cell differentiation in multicellular organisms published a half-century ago, Stuart Kauffman's global gene regulatory dynamics (GGRD) model and Roy Britten's and Eric Davidson's modular gene regulatory network (MGRN) model, in light of newer knowledge of mechanisms of gene regulation in the metazoans (animals). The two

Nicolás A. Capitelli

We present a Morse-theoretic characterization of collapsibility for 2-dimensional acyclic simplicial complexes by means of the values of normalized optimal combinatorial Morse functions.

Anu Jagannath, Jithin Jagannath, Andrew Drozd

The upcoming 5G networks demand high-speed and high spectral-efficiency communications to keep up with the proliferating traffic demands. To this end, Massive multiple-input multiple-output (MIMO) techniques have gained significant traction owing to its ability to achieve these without increasing bandwidth or density of base stations. The preexisting space-t

Roy Schwartz, Jesse Dodge, Noah A. Smith, Oren Etzioni

The computations required for deep learning research have been doubling every few months, resulting in an estimated 300,000x increase from 2012 to 2018 [2]. These computations have a surprisingly large carbon footprint [38]. Ironically, deep learning was inspired by the human brain, which is remarkably energy efficient. Moreover, the financial cost of the co

Luca Buoninfante, Gaetano Lambiase, Antonio Stabile

We propose a high precision satellite experiment to further test Einstein's General Relativity and constrain extended theories of gravity. We consider the frequency shift of a photon radially exchanged between two observers located on Earth and on a satellite in circular orbit in the equatorial plane. In General Relativity there exists a peculiar satellite-d

Marcus Carlsson, Daniele Gerosa

Given underdetermined measurements of a Positive Semi-Definite (PSD) matrix $X$ of known low rank $K$, we present a new algorithm to estimate $X$ based on recent advances in non-convex optimization schemes. We apply this in particular to the phase retrieval problem for Fourier data, which can be formulated as a rank 1 PSD matrix recovery problem. Moreover, w

Anthony Gruber, Eugenio Aulisa

The unsigned p-Willmore functional introduced in \cite{mondino2011} generalizes important geometric functionals which measure the area and Willmore energy of immersed surfaces. Presently, techniques from \cite{dziuk2008} are adapted to compute the first variation of this functional as a weak-form system of equations, which are subsequently used to develop a

Dániel Gerbner

We consider problems that can be solved by asking certain queries. The deterministic query complexity $D(P,n)$ of a problem $P$ is the smallest number of queries needed to ask in order to find the solution with an input of size $n$ (in the worst case), while the non-deterministic query complexity $D_0(P,n)$ is the smallest number of queries needed to ask, in

Jorge L. Rosa-Raíces, Bin Zhang, Thomas F. Miller

Massively parallel computer architectures create new opportunities for the performance of long-timescale molecular dynamics (MD) simulations. Here, we introduce the path-accelerated molecular dynamics (PAMD) method that takes advantage of distributed computing to reduce the wall-clock time of MD simulation via parallelization with respect to MD timesteps. Th

Christopher Chamberland, Guanyu Zhu, Theodore J. Yoder, Jared B. Hertzberg

In this work we introduce two code families, which we call the heavy hexagon code and heavy square code. Both code families are implemented by assigning physical data and ancilla qubits to both vertices and edges of low degree graphs. Such a layout is particularly suitable for superconducting qubit architectures to minimize frequency collisions and crosstalk

Jan Gerit Brandenburg, Andrea Zen, Dario Alfè, Angelos Michaelides

Due to their current and future technological applications, including realisation of water filters and desalination membranes, water adsorption on graphitic sp$^{2}$-bonded carbon is of overwhelming interest. However, these systems are notoriously challenging to model, even for electronic structure methods such as density functional theory (DFT), because of

Thomas Johnson

In this short note we shall demonstrate that given a smooth solution $\gamma$ to the linearised Einstein equations on Schwarzschild which is supported on the $l\geq 2$ spherical harmonics and expressed relative to a transverse and traceless gauge then one can construct from it a smooth solution to the sourced Maxwell equations expressed relative to a general

F. Delduc, E. Ivanov

We construct manifestly ${\cal N}=4$ supersymmetric off-shell superfield actions for the HKT $d=1$ sigma models on the group manifolds U(2) and SU(3), using the harmonic $d=1$ approach. The underlying $({\bf 4, 4, 0})$ and $({\bf 4, 4, 0})\oplus({\bf 4, 4, 0})$ multiplets are described, respectively, by one and two harmonic analytic superfields $q^+$ satisfy

Keli Fabiana Seidel

In this work it is reported a vertical electrolyte transistor (VET) whose structure is based on stacked layers as described below: bottom contact (source or drain) - channel - permeable intermediate electrode (drain or source) - ion gel (electrolyte gate dielectric) - gate top contact. This VET depicts versatility to work as Electrolyte-Gated Vertical Organi

Maciej Bieniek, Ludmila Szulakowska, Pawel Hawrylak

We present here results of atomistic theory of electrons confined by metallic gates in a single layer of transition metal dichalcogenides. The electronic states are described by the tight-binding model and computed using a computational box including up to million atoms with periodic boundary conditions and parabolic confining potential due to external gates

Zhengyi Zhou

We consider exact fillings with vanishing first Chern class of asymptotically dynamically convex (ADC) manifolds. We construct two structure maps on the positive symplectic cohomology and prove that they are independent of the filling for ADC manifolds. The invariance of the structure maps implies that the vanishing of symplectic cohomology and the existence

Radouane Gannouji, Yolbeiker Rodríguez Baez, Naresh Dadhich

In this paper we show that pure Lovelock static Schwarzschild&#39;s analogue black hole in dimensions $d>3N+1$, where $N$ is the degree of Lovelock polynomial action, is stable even though pure Gauss-Bonnet $N=2$ black hole is unstable in dimension $d<7$. We also discuss and compare quasinormal modes for pure Lovelock and the corresponding Einstein black hol

André Belotto da Silva, Edward Bierstone

We prove a monomialization theorem for mappings in general classes of infinitely differentiable functions that are called quasianalytic. Examples include Denjoy-Carleman classes, the class of $\cC^\infty$ functions definable in a polynomially bounded $o$-minimal structure, as well as the classes of real- or complex analytic functions, and algebraic functions

Damian Pascual, Amir Aminifar, David Atienza, Philippe Ryvlin

Epilepsy is a chronic neurological disorder affecting more than 65 million people worldwide and manifested by recurrent unprovoked seizures. The unpredictability of seizures not only degrades the quality of life of the patients, but it can also be life-threatening. Modern systems monitoring electroencephalography (EEG) signals are being currently developed w

André Coimbra

The Bianchi identities for bosonic fluxes in supergravity can receive higher derivative quantum and string corrections, the most well known being that of Heterotic theory $d H = \tfrac{1}{4}α&#39;(\text{tr } F^2 - \text{tr } R^2)$. Less studied are the modifications at order $R^4$ that may arise, for example, in the Bianchi identity for the seven-form flux o

Keming Zhang, Joshua S. Bloom

Cosmic ray (CR) identification and replacement are critical components of imaging and spectroscopic reduction pipelines involving solid-state detectors. We present deepCR, a deep learning based framework for CR identification and subsequent image inpainting based on the predicted CR mask. To demonstrate the effectiveness of this framework, we train and evalu

K. S. Babu, P. S. Bhupal Dev, Sudip Jana, Anil Thapa

Models of radiative Majorana neutrino masses require new scalars and/or fermions to induce lepton number violating interactions. We show that these new particles also generate observable neutrino nonstandard interactions (NSI) with matter. We classify radiative models as type-I or II, with type-I models containing at least one Standard Model (SM) particle in

Sam G. Stafford, Ian G. McCarthy, Robert A. Crain, Jaime Salcido

Recent analyses of the cosmic microwave background (CMB) and the Lyman-alpha forest indicate a mild preference for a deviation from a power law primordial matter power spectrum (a so-called negative `running'). We use an extension to the BAHAMAS suite of cosmological hydrodynamic simulations to explore the effects that a running scalar spectral index has on

Lin Meng, Jiawei Zhang

Deep learning models have achieved huge success in numerous fields, such as computer vision and natural language processing. However, unlike such fields, it is hard to apply traditional deep learning models on the graph data due to the &#39;node-orderless&#39; property. Normally, adjacency matrices will cast an artificial and random node-order on the graphs,

Bora Basa, Gabriele La Nave, Philip W. Phillips

From the partition function for two classes of classically non-local actions containing the fractional Laplacian, we show that as long as there exists a suitable (non-local) Hilbert-space transform the underlying action can be mapped onto a purely local theory. In all such cases the partition function is equivalent to that of a local theory and an area law f

Bo Yang, Ajit C. Balram

Classical constraints on the reduced density matrix of quantum fluids in a single Landau level, termed as local exclusion conditions (LECs) [B. Yang, arXiv:1901.00047], have recently been shown to characterize the ground state of many FQH phases. In this work, we extend the LEC construction to build the elementary excitations, namely quasiholes and quasielec

Dominik Kiese, Finn Lasse Buessen, Ciarán Hickey, Simon Trebst

Twisting moir\'e heterostructures to the flatband regime allows for the formation of strongly correlated quantum states, since the dramatic reduction of the bandwidth can cause the residual electronic interactions to set the principal energy scale. An effective description for such correlated moir\'e heterostructures, derived in the strong-coupling limit at

Raimond Abt, Johanna Erdmenger, Nick Evans, Konstantinos S. Rigatos

Motivated by Beyond the Standard Model theories of composite fermions or top partners, we propose a holographic mechanism that generates light baryonic states in a strongly coupled gauge theory. The starting point are the fermionic fluctuations of massive probe branes embedded into AdS$_5 \times S^5$. We first consider the D3/probe D7-brane system. We derive

Pauli Pihajoki, Matias Mannerkoski, Peter H. Johansson

Interpolation of data represented in curvilinear coordinates and possibly having some non-trivial, typically Riemannian or semi-Riemannian geometry is an ubiquitous task in all of physics. In this work we present a covariant generalization of the barycentric coordinates and the barycentric interpolation method for Riemannian and semi-Riemannian spaces of arb

Vasanth Balakrishna Subramani, Pavel Kroupa, Hossein Shenavar, Vyoma Muralidhara

Our knowledge about galaxy evolution comes from transforming observed galaxy properties at different redshifts to co-moving physical scales. This transformation depends on using a cosmological model. Here the effects of unintentional mixing of two different cosmological models on the size evolution of galaxies is studied. As a gedanken experiment, a galaxy o

Henrik S. Røising, Thomas Scaffidi, Felix Flicker, Gunnar F. Lange

We compute and compare even- and odd-parity superconducting order parameters of strontium ruthenate ($\mathrm{Sr}_2\mathrm{RuO}_4$) in the limit of weak interactions, resulting from a fully microscopic three-dimensional model including spin-orbit coupling. We find that odd-parity helical and even-parity $d$-wave order are favored for smaller and larger value

Denis Erkal, Vasily A. Belokurov

We study the orbits of ultra-faint dwarf galaxies in the combined presence of the Milky Way and LMC and we find 6 dwarfs which were likely accreted with the LMC (Car 2, Car 3, Hor 1, Hyi 1, Phe 2, Ret 2), in addition to the SMC, representing strong evidence of dwarf galaxy group infall. This procedure depends on the gravitational pull of the LMC, thus allowi

Yu-Chien Huang, Washington Taylor

We find through a systematic analysis that all but 29,223 of the 473.8 million 4D reflexive polytopes found by Kreuzer and Skarke have a 2D reflexive subpolytope. Such a subpolytope is generally associated with the presence of an elliptic or genus one fibration in the corresponding birational equivalence class of Calabi-Yau threefolds. This extends the growi

T. S. Li, S. E. Koposov, D. B. Zucker, G. F. Lewis

We introduce the Southern Stellar Stream Spectroscopy Survey (${S}^5$), an on-going program to map the kinematics and chemistry of stellar streams in the Southern Hemisphere. The initial focus of ${S}^5$ has been spectroscopic observations of recently identified streams within the footprint of the Dark Energy Survey (DES), with the eventual goal of surveying

Michał Jarema, Marta Gładysiewicz, Łukasz Janicki, Ewelina Zdanowicz

In this work the broadening of interband transitions in InGaN/GaN quantum wells (QWs) resulting from structural inhomogeneities is analyzed. The role of polarization-induced electric field in the mechanism behind the inhomogeneous broadening observed in photoluminescence (PL) and electromodulated reflectance (ER) spectra of InGaN QWs dedicated to green/blue

Pedro Cañate, Joseph Sultana, Demosthenes Kazanas

In this paper, we present an exact solution for $(3+1)$-dimensional Einstein-scalar-Gauss-Bonnet theory (EsGB) in electrovacuum. The solution is characterized by only one parameter, $Q$, which in general can be associated with the electromagnetic field and the scalar field. We show that the solution corresponds to a charged wormhole with throat at the region

Amanda Burcroff, Colin Defant

Recently, B\'ona and Smith defined strong pattern avoidance, saying that a permutation $\pi$ strongly avoids a pattern $\tau$ if $\pi$ and $\pi^2$ both avoid $\tau$. They conjectured that for every positive integer $k$, there is a permutation in $S_{k^3}$ that strongly avoids $123\cdots (k+1)$. We use the Robinson--Schensted--Knuth correspondence to settle t

Gwenolé Quellec, Mathieu Lamard, Pierre-Henri Conze, Pascale Massin

In the last decades, large datasets of fundus photographs have been collected in diabetic retinopathy (DR) screening networks. Through deep learning, these datasets were used to train automatic detectors for DR and a few other frequent pathologies, with the goal to automate screening. One challenge limits the adoption of such systems so far: automatic detect

S. Brendle

We prove a Sobolev inequality which holds on submanifolds in Euclidean space of arbitrary dimension and codimension. This inequality is sharp if the codimension is at most 2. As a special case, we obtain a sharp isoperimetric inequality for minimal submanifolds in Euclidean space of codimension at most 2.

Celso Viana

We classify the volume preserving stable hypersurfaces in the real projective space $\mathbb{RP}^n$. As a consequence, the solutions of the isoperimetric problem are tubular neighborhoods of projective subspaces $\mathbb{RP}^k\subset \mathbb{RP}^n$ (starting with points). This confirms a conjecture of Burago and Zalgaller from 1988 and extends to higher dime

Pei-Hong Gu

In the inverse seesaw scenario, several fermion singlets have a small Majorana mass term. We show such Majorana masses can be suppressed by some heavy fermion and/or Higgs singlets after a global symmetry is spontaneously broken. These interactions can also accommodate a leptogenesis mechanism to explain the cosmic baryon asymmetry.

Pei-Hong Gu

A TeV-scale Higgs doublet can acquire a tiny vacuum expectation value via its small mixing with the standard model Higgs doublet. Ones then can realize a testable Dirac neutrino mass generation through the sizable Yukawa couplings among this new Higgs doublet, several right-handed neutrinos and the standard model lepton doublets. We show the small mixing bet

Janin Heuer, Frederic Matter, Marc E. Pfetsch, Thorsten Theobald

This article considers the recovery of low-rank matrices via a convex nuclear-norm minimization problem and presents two null space properties (NSP) which characterize uniform recovery for the case of block-diagonal matrices and block-diagonal positive semidefinite matrices. These null-space conditions turn out to be special cases of a new general setup, whi

Armaan Kaur, Jaspal Kaur Saini, Divya Bansal

Social Media has influenced the way people socially connect, interact and opinionize. The growth in technology has enhanced communication and dissemination of information. Unfortunately,many terror groups like jihadist communities have started consolidating a virtual community online for various purposes such as recruitment, online donations, targeting youth

Raghavendra Pradyumna Pothukuchi, Sweta Yamini Pothukuchi, Petros Voulgaris, Alexander Schwing

The security of computers is at risk because of information leaking through physical outputs such as power, temperature, or electromagnetic (EM) emissions. Attackers can use advanced signal measurement and analysis to recover sensitive data from these sidechannels. To address this problem, this paper presents Maya, a simple and effective solution against pow

Hengtao He, Chao-Kai Wen, Shi Jin, Geoffrey Ye Li

In this paper, we investigate the model-driven deep learning (DL) for MIMO detection. In particular, the MIMO detector is specially designed by unfolding an iterative algorithm and adding some trainable parameters. Since the number of trainable parameters is much fewer than the data-driven DL based signal detector, the model-driven DL based MIMO detector can

Michał Przykucki, Alexander Roberts, Alex Scott

Models of parking in which cars are placed randomly and then move according to a deterministic rule have been studied since the work of Konheim and Weiss in the 1960s. Recently, Damron, Gravner, Junge, Lyu, and Sivakoff introduced a model in which cars are both placed and move at random. Independently at each point of a Cayley graph $G$, we place a car with

László Németh, Zuzana Hübnerová, András Zempléni

In recent environmental studies extreme events have a great impact. The yearly and monthly maxima of environment related indices can be analysed by the tools of extreme value theory. For instance, the monthly maxima of the fire weather index in British Columbian forests might be modelled by GEV distribution, but the stationarity of the time series is questio

L. Biasco, L. Chierchia

We show that, in general, averaging at simple resonances a real--analytic, nearly--integrable Hamiltonian, one obtains a one--dimensional system with a cosine--like potential; ``in general'' means for a generic class of holomorphic perturbations and apart from a finite number of simple resonances with small Fourier modes; ``cosine--like'' means that the pote

Oscar Defrain, Lhouari Nourine, Simon Vilmin

It is well known that every closure system can be represented by an implicational base, or by the set of its meet-irreducible elements. In Horn logic, these are respectively known as the Horn expressions and the characteristic models. In this paper, we consider the problem of translating between the two representations in acyclic convex geometries. Quite sur

Gino Biondini, Sitai Li, Dionyssios Mantzavinos

The long-time asymptotic behavior of solutions to the focusing nonlinear Schr\"odinger (NLS) equation on the line with symmetric, nonzero boundary conditions at infinity is studied in the case of initial conditions that allow for the presence of discrete spectrum. The results of the analysis provide the first rigorous characterization of the nonlinear intera

Ulrich Derenthal, Marta Pieropan

We introduce the split torsor method to count rational points of bounded height on Fano varieties. As an application, we prove Manin's conjecture for all nonsplit quartic del Pezzo surfaces of type $\mathbf A_3+\mathbf A_1$ over arbitrary number fields. The counting problem on the split torsor is solved in the framework of o-minimal structures.

María Rosa Preciado-Rivas, Duncan John Mowbray, Keenan Lyon, Ask Hjorth Larsen

A necessary first step in the development of technologies such as artificial photosynthesis is understanding the photoexcitation process within the basic building blocks of naturally-occurring light harvesting complexes (LHCs). The most important of these building blocks in biological LHCs such as LHC II from green plants are the chlorophyll $a$ (Chl $a$) an

S. Schaal, I. Ahmed, J. A. Haigh, L. Hutin

Spins in silicon quantum devices are promising candidates for large-scale quantum computing. Gate-based sensing of spin qubits offers compact and scalable readout with high fidelity, however further improvements in sensitivity are required to meet the fidelity thresholds and measurement timescales needed for the implementation of fast-feedback in error corre

Lóránt Szegedy

We classify invertible 2-dimensional framed and $r$-spin topological field theories by computing the homotopy groups and the $k$-invariant of the corresponding bordism categories. The zeroth homotopy group of a bordism category is the usual Thom bordism group, the first homotopy group can be identified with a Reinhart vector field bordism group, or the so ca

Giovanni Amendola, Francesco Ricca

In the last years, abstract argumentation has met with great success in AI, since it has served to capture several non-monotonic logics for AI. Relations between argumentation framework (AF) semantics and logic programming ones are investigating more and more. In particular, great attention has been given to the well-known stable extensions of an AF, that ar

Isadora Antoniano-Villalobos, Emanuele Borgonovo, Xuefei Lu

Computer experiments are becoming increasingly important in scientific investigations. In the presence of uncertainty, analysts employ probabilistic sensitivity methods to identify the key-drivers of change in the quantities of interest. Simulation complexity, large dimensionality and long running times may force analysts to make statistical inference at sma

Eleonora Bernasconi, Francesco Pugliese, Diego Zardetto, Monica Scannapieco

In this paper we address the challenge of land cover classification for satellite images via Deep Learning (DL). Land Cover aims to detect the physical characteristics of the territory and estimate the percentage of land occupied by a certain category of entities: vegetation, residential buildings, industrial areas, forest areas, rivers, lakes, etc. DL is a

Adel Betina, Mladen Dimitrov

The primary goal of this paper is to investigate the geometry of the $p$-adic eigencurve at a point $f$ corresponding to a weight one cuspidal theta series irregular at the prime number $p$. We show that $f$ belongs to exactly three or four irreducible components and study their intersection multiplicities. In particular, we show that the congruence ideal of

Alessandro Geraldini, Felix I Parra, Fulvio Militello

The magnetic presheath is a boundary layer occurring when magnetized plasma is in contact with a wall and the angle $\alpha$ between the wall and the magnetic field $\vec{B}$ is oblique. Here, we consider the fusion-relevant case of a shallow-angle, $\alpha \ll 1$, electron-repelling sheath, with the electron density given by a Boltzmann distribution, valid

Alexander Engel, Graeme Smith, Scott E. Parker

The Vlasov-Maxwell system of equations, which describes classical plasma physics, is extremely challenging to solve, even by numerical simulation on powerful computers. By linearizing and assuming a Maxwellian background distribution function, we convert the Vlasov-Maxwell system into a Hamiltonian simulation problem. Then for the limiting case of electrosta

Alan Frieze

We are given a bipartite graph that contains at least one perfect matching and where each edge is colored from a set $Q=\{c_1,c_2,\ldots,c_q}\$. Let $Q_i=\set{e\in E(G):c(e)=c_i}$, where $c(e)$ denotes the color of $e$. The perfect matching color profile $mcp(G)$ is defined to be the set of vectors $(m_1,m_2,\ldots,m_q)\in [n]^q$ such that there exists a per

Xavier Cabre, Alessio Figalli, Xavier Ros-Oton, Joaquim Serra

In this paper we prove the following long-standing conjecture: stable solutions to semilinear elliptic equations are bounded (and thus smooth) in dimension $n \leq 9$. This result, that was only known to be true for $n\leq4$, is optimal: $\log(1/|x|^2)$ is a $W^{1,2}$ singular stable solution for $n\geq10$. The proof of this conjecture is a consequence of a

Giovanni Amendola, Carmine Dodaro, Marco Maratea

Abstract solvers are a method to formally analyze algorithms that have been profitably used for describing, comparing and composing solving techniques in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set Programming (ASP), and Constraint ASP. In this paper, we design, implement and test nove

Chi Li

Let $X$ be any $\mathbb{Q}$-Fano variety and $\mathrm{Aut}(X)_0$ be the identity component of the automorphism group of $X$. Let $\mathbb{G}$ be a connected reductive subgroup of $\mathrm{Aut}(X)_0$ that contains a maximal torus of $\mathrm{Aut}(X)_0$. We prove that $X$ admits a K\"{a}hler-Einstein metric if and only if $X$ is $\mathbb{G}$-uniformly K-stable

Gregory J. Galloway, Hyun Chul Jang

We present several rigidity results for Riemannian manifolds $(M^n,g)$ with scalar curvature $S \ge -n(n-1)$ (or $S\ge 0$), and having compact boundary $N$ satisfying a related mean curvature inequality. The proofs make use of results on marginally outer trapped surfaces applied to appropriate initial data sets. One of the results involves an analysis of Oba

Nazim Choudhury, Fahim Faisal, Matloob Khushi

Literature-based knowledge discovery process identifies the important but implicit relations among information embedded in published literature. Existing techniques from Information Retrieval and Natural Language Processing attempt to identify the hidden or unpublished connections between information concepts within published literature, however, these techn

JPAC Collaboration, Daniel Winney, Cristiano Fanelli, Alessandro Pilloni

We investigate the properties of the hidden charm pentaquark-like resonances first observed by LHCb in 2015, by measuring the polarization transfer KLL between the incident photon and the outgoing proton in the exclusive photoproduction of J/psi near threshold. We present a first estimate of the sensitivity of this observable to the pentaquark photocouplings

Guenter Hesse, Werner Sinzig, Christoph Matthies, Matthias Uflacker

Industry 4.0 is becoming more and more important for manufacturers as the developments in the area of Internet of Things advance. Another technology gaining more attention is data stream processing systems. Although such streaming frameworks seem to be a natural fit for Industry 4.0 scenarios, their application in this context is still low. The contributions

Tzu-Ching Yen, Vladyslav Verteletskyi, Artur F. Izmaylov

The Variational Quantum Eigensolver approach to the electronic structure problem on a quantum computer involves measurement of the Hamiltonian expectation value. Formally, quantum mechanics allows one to measure all mutually commuting or compatible operators simultaneously. Unfortunately, the current hardware permits measuring only a much more limited subset

The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott

When formed through dynamical interactions, stellar-mass binary black holes may retain eccentric orbits ($e>0.1$ at 10 Hz) detectable by ground-based gravitational-wave detectors. Eccentricity can therefore be used to differentiate dynamically-formed binaries from isolated binary black hole mergers. Current template-based gravitational-wave searches do not u

Renzun Lian

Electromagnetic (EM) scattering systems widely exist in EM engineering domain. For a certain objective scattering system, all of its working modes constitute a linear space, i.e. modal space. Characteristic mode theory (CMT) can effectively construct a basis of the space, i.e. characteristic modes (CMs), and the CMs only depend on the inherent physical prope

Karl-Hermann Neeb, Gestur Olafsson

In this article we specialize a construction of a reflection positive Hilbert space due to Dimock and Jaffe--Ritter to the sphere $\mathbb{S}^n$. We determine the resulting Osterwalder--Schrader Hilbert space, a construction that can be viewed as the step from euclidean to relativistic quantum field theory. We show that this process gives rise to an irreduci

Huseyin Coskun, Zeeshan Zia, Bugra Tekin, Federica Bogo

The lack of large-scale real datasets with annotations makes transfer learning a necessity for video activity understanding. We aim to develop an effective method for few-shot transfer learning for first-person action classification. We leverage independently trained local visual cues to learn representations that can be transferred from a source domain, whi

A. A. Yurova, A. V. Yurov, V. A. Yurov

An anthropic explanation for evident smallness of the value of the dark energy implies the existence of a time-dependent component of the scalar field, serving, together with a negative-valued cosmological constant, as one of two components to the overall density of the dark energy. The observers (i.e. us) might then only evolve in those regions of the unive

Abasalt Bodaghi, Behrouz Shojaee

In this paper, we introduce $n$-variables mappings which are cubic in each variable. We show that such mappings satisfy a functional equation. The main purpose is to extend the applications of a fixed point method to establish the Hyers-Ulam stability for the multi-cubic mappings. As a consequence, we prove that a multi-cubic functional equation can be hyper

Ricardo Bances, Christian Valqui

We use a representation of a graded twisted tensor product of $K[x]$ with $K[y]$ in $L(K^{\Bbb{N}_0})$ in order to obtain a nearly complete classification of these graded twisted tensor products via infinite matrices. There is one particular example and three main cases: quadratic algebras classified by Conner and Goetz, a family called $A(n,d,a)$ with the $

Jose J. Blanco-Pillado, Ken D. Olum, Jeremy M. Wachter

A network of cosmic strings would lead to gravitational waves which may be detected by pulsar timing or future interferometers. The details of the gravitational wave signal depend on the distribution of cosmic string loops, which are produced by intercommutations from the scaling network of long strings. We analyze the limits imposed by energy conservation,

Haryanto M. Siahaan

We investigate the charged scalar pair production near the horizon of a near-extremal Kerr-Sen black holes. The condition for pair production to occur has relation to the violation of Breitenlohner-Freedman bound in an AdS$_2$ space. The method employed in this work has been used to show the pair production in the near-horizon of a near-extremal Kerr-Newman

Michal R. Przybylek, Pawel Siedlecki

In this paper we revisit the classical problem of polynomial interpolation, with a slight twist; namely, polynomial evaluations are available up to a group action of the unit circle on the complex plane. It turns out that this new setting allows for a phaseless recovery of a polynomial in a polynomial time.

Thomas Gregory, Paul-Antoine Moreau, Ermes Toninelli, Miles J. Padgett

The contrast of an image can be degraded by the presence of background light and sensor noise. To overcome this degradation, quantum illumination protocols have been theorised (Science 321 (2008), Physics Review Letters 101 (2008)) that exploit the spatial correlations between photon-pairs. Here we demonstrate the first full-field imaging system using quantu

B Jenichen, U Jahn, A Nikulin, R Hey

We analyze fluctuation of the layer thicknesses and its influence on the strain state of (In,Ga)As/(Al,Ga)As micro-tubes containing quantum well structures. In those structures a curved high-mobility two-dimensional electron gas (HM2DEG) is established. The layer thickness fluctuation studied by atomic force microscopy, x-ray scattering, and spatially resolv

Mauro D'Onofrio, Cesare Chiosi, Mauro Sciarratta, Paola Marziani

Context. This is the second work dedicated to the observed parallelism between galaxy clusters and early-type galaxies. The focus is on the distribution of these systems in the scaling relations (SRs) observed when effective radii, effective surface brightness, total luminosities and velocity dispersions are mutually correlated. Aims. Using the data of the I

Luca Egoriti, Marla Cervantes, Thomas Day Goodacre, Alexander Gottberg

A series of irradiation tests have been performed at TRIUMF to investigate different material pairings to act as high-power electron-to-gamma converter for the ARIEL Electron Target East (AETE). The bulk of the converter body will be made out of an aluminum alloy with a sub-millimeter high-Z metal layer bonded to the surface facing the incoming electron beam

G. Bevilacqua, H. B. Hartanto, M. Kraus, T. Weber

Triggered by ongoing dark matter searches in the top quark sector at the Large Hadron Collider we report on the calculation of the next-to-leading order QCD corrections to the Standard Model process $pp\to t\bar{t}+ Z(\to ν_\ell \barν_\ell)$. This calculation is based on matrix elements for $e^+ν_e \, μ^- \barν_μ\, b\bar{b} \, ν_τ\barν_τ$ production and incl

M. Alessandrini, A. Micarelli, A. Viziano, I. Pavone

Due to the fact that no study to date has shown the experimental validity of ACC-based measures of body sway with respect to posturography for subjects with vestibular deficits, the aim of the present study was: i) to develop and validate a practical tool that can allow clinicians to measure postural sway derangements in an otoneurological setting by ACC, an

Aditya Mogadala, Marimuthu Kalimuthu, Dietrich Klakow

Interest in Artificial Intelligence (AI) and its applications has seen unprecedented growth in the last few years. This success can be partly attributed to the advancements made in the sub-fields of AI such as machine learning, computer vision, and natural language processing. Much of the growth in these fields has been made possible with deep learning, a su

Anastasia Koloskova, Tao Lin, Sebastian U. Stich, Martin Jaggi

Decentralized training of deep learning models is a key element for enabling data privacy and on-device learning over networks, as well as for efficient scaling to large compute clusters. As current approaches suffer from limited bandwidth of the network, we propose the use of communication compression in the decentralized training context. We show that Choc

Ken Shiozaki

We present the exhaustive classification of surface states of topological insulators and superconductors protected by crystallographic magnetic point group symmetry in three spatial dimensions. Recently, Cornfeld and Chapman [Phys. Rev. B {\bf 99}, 075105 (2019)] pointed out that the topological classification of mass terms of the Dirac Hamiltonian with poin

Mark Hunnell

Symmetric $k$-varieties are a natural generalization of symmetric spaces to general fields $k$. We study the action of minimal parabolic $k$-subgroups on symmetric $k$-varieties and define a map that embeds these orbits within the orbits corresponding to algebraically closed fields. We develop a condition for the surjectivity of this map in the case of $k$-s

Tiancheng Yu, Suvrit Sra

A Markov Decision Process (MDP) is a popular model for reinforcement learning. However, its commonly used assumption of stationary dynamics and rewards is too stringent and fails to hold in adversarial, nonstationary, or multi-agent problems. We study an episodic setting where the parameters of an MDP can differ across episodes. We learn a reliable policy of

Bernd Fernengel, Barbara Drossel

The Lindblad equation describes the dissipative time evolution of a density matrix that characterizes an open quantum system in contact with its environment. The widespread ensemble interpretation of a density matrix requires its time evolution to be linear. However, when the density matrix is obtained from a mean field theory of interacting quantum systems

Natália Bebiano, João da Providência, Seiya Nishiyama, João P. da Providência

This paper deals with the mathematical spectral analysis and physical interpretation of a fermionic system described by a non-Hermitian Hamiltonian possessing real eigenvalues. A statistical thermodynamical description of such a system is considered. Approximate expressions for the energy expectation value and the number operator expectation value, in terms