July 2019 arXiv papers — page 128

Giulio Ermanno Pibiri

Representing sorted integer sequences in small space is a central problem for large-scale retrieval systems such as Web search engines. Efficient query resolution, e.g., intersection or random access, is achieved by carefully partitioning the sequences. In this work we describe and compare two different partitioning paradigms: partitioning by cardinality and

Zhicheng Zhu, Yisha Xiang

Condition-based maintenance (CBM) is an effective maintenance strategy to improve system performance while lowering operating and maintenance costs. Real-world systems typically consist of a large number of components with various interactions between components. However, existing studies on CBM focus on single-component systems. Multi-component condition-ba

R. J. Dowdall, C. T. H. Davies, R. R. Horgan, G. P. Lepage

We calculate the bag parameters for neutral $B$-meson mixing in and beyond the Standard Model, in full four-flavour lattice QCD for the first time. We work on gluon field configurations that include the effect of $u$, $d$, $s$ and $c$ sea quarks with the Highly Improved Staggered Quark (HISQ) action at three values of the lattice spacing and with three $u/d$

Nader Asadi, AmirMohammad Sarfi, Mehrdad Hosseinzadeh, Sahba Tahsini

Deep neural networks are highly vulnerable to adversarial examples, which imposes severe security issues for these state-of-the-art models. Many defense methods have been proposed to mitigate this problem. However, a lot of them depend on modification or additional training of the target model. In this work, we analytically investigate each layer's repre

Samuel Epstein

Given a set X of finite strings, one interesting question to ask is whether there exists a member of X which is simple conditional to all other members of X. Conditional simplicity is measured by low conditional Kolmogorov complexity. We prove the affirmative to this question for sets that have low mutual information with the halting sequence. There are two

Aytap Sezer, Tulun Ergin, Ryo Yamazaki, Hidetoshi Sano

We present the results from the Suzaku X-ray Imaging Spectrometer observation of the mixed-morphology supernova remnant (SNR) HB9 (G160.9+2.6). We discovered recombining plasma (RP) in the western Suzaku observation region and the spectra here are well described by a model having collisional ionization equilibrium (CIE) and RP components. On the other hand,

James J. Cusick

This paper traces the history of Maturity Models and their impact on Process Improvement from the early work of Shewhart to their current usage with DevOps. The history of modern process improvement can be traced at least to Shewhart. From his foundational process contributions and those of other innovators a variety of methods and tools to aid in process qu

Nikita A. Olekhno, Egor I. Kretov, Andrei A. Stepanenko, Polina A. Ivanova

Topological physics opens up a plethora of exciting phenomena allowing to engineer disorder-robust unidirectional flows of light. Recent advances in topological protection of electromagnetic waves suggest that even richer functionalities can be achieved by realizing topological states of quantum light. This area, however, remains largely uncharted due to the

Elena Gati, Anna E. Böhmer, Sergey L. Bud'ko, Paul C. Canfield

The iron-based superconductor FeSe offers a unique possibility to study the interplay of superconductivity with purely nematic as well magnetic-nematic order by pressure (p) tuning. By measuring specific heat under p up to 2.36GPa, we study the multiple phases in FeSe using a thermodynamic probe. We conclude that superconductivity is bulk across the entire p

xFitter Developers' team, :, Hamed Abdolmaleki, Valerio Bertone

We study charm production in charged-current deep-inelastic scattering (DIS) using the xFitter framework. Recent results from the LHC have focused renewed attention on the determination of the strange-quark parton distribution function (PDF) and the DIS charm process provides important complementary constraints on this quantity. We examine the current PDF un

D. Yllanes, D. R. Nelson, M. J. Bowick

The mechanical properties of thermally excited two-dimensional crystalline membranes can depend dramatically on their geometry and topology. A particularly relevant example is the effect on the crumpling transition of holes in the membrane. Here we use molecular dynamics simulations to study the case of elastic frames (sheets with a single large hole in the

Siddhartha Devapujula, Sagar Arora, Sumit Borar

Search is a prominent channel for discovering products on an e-commerce platform. Ranking products retrieved from search becomes crucial to address customer's need and optimize for business metrics. While learning to Rank (LETOR) models have been extensively studied and have demonstrated efficacy in the context of web search; it is a relatively new resea

Jacob Campbell, Zhi Yin

We consider the three finite free convolutions for polynomials studied in a recent paper by Marcus, Spielman, and Srivastava. Each can be described either by direct explicit formulae or in terms of operations on randomly rotated matrices. We present an alternate approach to the equivalence between these descriptions, based on combinatorial Weingarten methods

Felice De Luca, Md Iqbal Hossain, Stephen Kobourov

Symmetry is a key feature observed in nature (from flowers and leaves, to butterflies and birds) and in human-made objects (from paintings and sculptures, to manufactured objects and architectural design). Rotational, translational, and especially reflectional symmetries, are also important in drawings of graphs. Detecting and classifying symmetries can be v

Wieland Brendel, Jonas Rauber, Matthias Kümmerer, Ivan Ustyuzhaninov

Throughout the past five years, the susceptibility of neural networks to minimal adversarial perturbations has moved from a peculiar phenomenon to a core issue in Deep Learning. Despite much attention, however, progress towards more robust models is significantly impaired by the difficulty of evaluating the robustness of neural network models. Today's me

Hirokazu Sasaki, Tomoya Takiwaki, Shio Kawagoe, Shunsaku Horiuchi

In order to investigate the impact of collective neutrino oscillations (CNO) on the neutrino signal from a nearby supernova, we perform 3-flavor neutrino oscillation simulations employing the multiangle effect. The background hydrodynamic model is based on the neutrino hydrodynamic simulation of a 8.8 \Msun progenitor star. We find that CNO commences after s

Nikolay Gromov, Amit Sever

In our previous paper we derived the holographic dual of the planar fishnet CFT in four dimensions. The dual model becomes classical in the strongly coupled regime of the CFT and takes the form of an integrable chain of particles in five dimensions. Here we study the theory at the quantum level. By applying the canonical quantization procedure with constrain

Stuart Samuel

In quantum mechanics, it is often thought that the spin of an object points in a fixed direction at any point in time. For example, after selecting the z-direction as the axis of quantization, a spin-1/2 object (such as an electron) may either point up or down. The spin can also be a linear combination of these two states, in which case, there is an axis in

Radja Boughezal, Chien-Yi Chen, Frank Petriello, Daniel Wiegand

We consider top quark decay in the Standard Model Effective Field Theory (SMEFT). We present a calculation of the total decay width and the $W$-boson helicity fractions at next-to-leading order (NLO) in SMEFT. Our result includes the complete set of contributing four-fermion operators in addition to QCD dipole operators and bottom-mass suppressed effects. We

A. J. Goodwin, D. K. Galloway, A. Heger, A. Cumming

We present a new method of matching observations of Type I (thermonuclear) X-ray bursts with models, comparing the predictions of a semi-analytic ignition model with X-ray observations of the accretion-powered millisecond pulsar SAX J1808.4--3658 in outburst. We used a Bayesian analysis approach to marginalise over the parameters of interest and determine pa

Chris Hamilton, Roman R. Rafikov

The detections of gravitational waves produced in mergers of binary black holes (BH) and neutron stars (NS) by LIGO/Virgo have stimulated interest in the origin of the progenitor binaries. Dense stellar systems - globular and nuclear star clusters - are natural sites of compact object binary formation and evolution towards merger. Here we explore a new chann

Yohei Ema

We point out that a light scalaron dynamically emerges if scalar fields have a sizable non-minimal coupling to the Ricci scalar as in the Higgs inflation model. We support this claim in two ways. One is based on the renormalization group equation; the non-minimal coupling inevitably induces a Ricci scalar quadratic term due to the renormalization group runni

J. M. Drummond, D. Nandan, H. Paul, K. S. Rigatos

We consider $α'$ corrections to four-point correlators of half-BPS operators in $\mathcal{N}=4$ super Yang-Mills theory in the supergravity limit. By demanding the correct behaviour in the flat space limit, we find that the leading $(α')^3$ correction to the Mellin amplitude is fixed for arbitrary charges of the external operators. By considering the

P. S. Bhupal Dev, K. S. Babu, Peter B. Denton, Pedro A. N. Machado

This report summarizes the present status of neutrino non-standard interactions (NSI). After a brief overview, several aspects of NSIs are discussed, including connection to neutrino mass models, model-building and phenomenology of large NSI with both light and heavy mediators, NSI phenomenology in both short- and long-baseline neutrino oscillation experimen

Uri Kol, Massimo Porrati

We study several properties of some new charges of asymptotically flat spacetimes. These dual supertranslation charges are akin to the magnetic large $U(1)$ charges in QED. In this paper we find the symmetries associated with these charges and show that the global dual supertranslation charge is topological because it is invariant under globally defined, smo

Krishna Naidoo, Lorne Whiteway, Elena Massara, Davide Gualdi

Cosmological studies of large-scale structure have relied on two-point statistics, not fully exploiting the rich structure of the cosmic web. In this paper we show how to capture some of this cosmic web information by using the minimum spanning tree (MST), for the first time using it to estimate cosmological parameters in simulations. Discrete tracers of dar

T. J. Hobbs, Bo-Ting Wang, Pavel M. Nadolsky, Fredrick I. Olness

Particle and nuclear physics are moving toward a new generation of experiments to stress-test the Standard Model (SM), search for novel degrees of freedom, and comprehensively map the internal structure of hadrons. Due to the complex nature of QCD and wide array of past, present, and possible future experiments, measurements taken at these next-generation fa

Samuele Campitiello, Annalisa Celotti, Gabriele Ghisellini, Tullia Sbarrato

We selected a sample of 28 Type 1 AGNs for which a black hole mass has been inferred using the reverberation mapping technique and single epoch scaling relations. All 28 sources show clear evidence of the "Big Blue Bump" in the optical-UV band whose emission is produced by an accretion disk (AD) around a supermassive black hole. We fitted the spectru

Takeshi Kobayashi, Lorenzo Ubaldi

A new mechanism for producing axion dark matter is proposed. By invoking low-scale inflation and a kinetic mixing between the axion and the inflaton, it is shown that the axion is driven to a field point slightly displaced from the potential minimum, which can give rise to the observed dark matter abundance. In this framework, different combinations of the a

Alberto Salvio

Extensions of the Standard Model and general relativity featuring a UV fixed point can leave observable implications at accessible energies. Although mass parameters such as the Planck scale can appear through dimensional transmutation, all fundamental dimension-4 operators can (at least approximately) respect Weyl invariance at finite energy. An example is

G. Anamiati, V. De Romeri, M. Hirsch, C. A. Ternes

Quasi-Dirac neutrinos are obtained when the Lagrangian density of a neutrino mass model contains both Dirac and Majorana mass terms, and the Majorana terms are sufficiently small. This type of neutrinos introduces new mixing angles and mass splittings into the Hamiltonian, which will modify the standard neutrino oscillation probabilities. In this paper, we f

Javier Román, Ignacio Trujillo, Mireia Montes

The ubiquitous presence of Galactic cirri in deep optical images represents a major obstacle to study the low surface brightness features of extragalactic sources. To address this issue, we have explored the optical properties of cirri using g, r, i and z bands in the Sloan Digital Sky Survey (SDSS) Stripe82 region. Using state-of-the-art, custom made, image

Douglas Rennehan, Arif Babul, Christopher C. Hayward, Connor Bottrell

The current consensus on the formation and evolution of the brightest cluster galaxies is that their stellar mass forms early ($z \gtrsim 4$) in separate galaxies that then eventually assemble the main structure at late times ($z \lesssim 1$). However, advances in observational techniques have led to the discovery of protoclusters out to $z \sim 7$, suggesti

A. Botteon, G. Brunetti, D. Ryu, S. Roh

Radio relics in galaxy clusters are giant diffuse synchrotron sources powered in cluster outskirts by merger shocks. Although the relic-shock connection has been consolidated in recent years by a number of observations, the details of the mechanisms leading to the formation of relativistic particles in this environment are still not well understood. The diff

Felix Keidel, Sun-Yong Hwang, Björn Trauzettel, Björn Sothmann

Superconducting spintronics is based on the creation of spin-triplet Cooper pairs in ferromagnet-superconductor (F-S) hybrid junctions. Previous proposals to manipulate spin-polarized supercurrents on-demand typically require the ability to carefully control magnetic materials. We, instead, propose a quantum heat engine that generates equal-spin Cooper pairs

Balázs Mikóczi, Zoltán Keresztes

The dynamics of spinning test bodies, moving in rotating black hole (Kerr, Bardeen-like and Hayward-like) spacetimes, are investigated. In Kerr spacetime, all the spherical, zoom-whirl and unbound orbits are considered numerically. Along spherical orbits and for high spin, an amplitude modulation is found in the harmonic evolution of the spin precessional an

Ivan Ezhov, Jana Lipkova, Suprosanna Shit, Florian Kofler

Understanding the dynamics of brain tumor progression is essential for optimal treatment planning. Cast in a mathematical formulation, it is typically viewed as evaluation of a system of partial differential equations, wherein the physiological processes that govern the growth of the tumor are considered. To personalize the model, i.e. find a relevant set of

Yuri Kondratiev, Yuliya Mishura, Georgiy Shevchenko

For a continuous-time random walk $X=\{X_t,t\ge 0\}$ (in general non-Markov), we study the asymptotic behavior, as $t\rightarrow \infty$, of the normalized additive functional $c_t\int_0^{t} f(X_s)ds$, $t\ge 0$. Similarly to the Markov situation, assuming that the distribution of jumps of $X$ belongs to the domain of attraction to $α$-stable law with $α>1$,

Titipat Achakulvisut, Chandra Bhagavatula, Daniel Acuna, Konrad Kording

Claims are a fundamental unit of scientific discourse. The exponential growth in the number of scientific publications makes automatic claim extraction an important problem for researchers who are overwhelmed by this information overload. Such an automated claim extraction system is useful for both manual and programmatic exploration of scientific knowledge.

Alex Bihlo, James Jackaman, Francis Valiquette

In this paper we introduce a procedure, based on the method of equivariant moving frames, for formulating continuous Galerkin finite element schemes that preserve the Lie point symmetries of initial value problems for ordinary differential equations. Our methodology applies to projectable and non-projectable symmetry group actions, to ordinary differential e

André LeClair

It has been recently proposed that the interior of a black hole is vacuum energy, and this offers a possible explanation for the dark energy of the current observable universe. In this article we explore the idea that black holes are a source of vacuum energy in the early universe as well, and could possibly explain early inflation. Our scenario pre-supposes

Eric-Tuan Le, Iasonas Kokkinos, Niloy J. Mitra

In this work we introduce Lean Point Networks (LPNs) to train deeper and more accurate point processing networks by relying on three novel point processing blocks that improve memory consumption, inference time, and accuracy: a convolution-type block for point sets that blends neighborhood information in a memory-efficient manner; a crosslink block that effi

Yong-Liang Ma, Maciej A. Nowak, Mannque Rho, Ismail Zahed

We show that the recent proposal to describe the $N_f=1$ baryon in the large number of color limit as a quantum Hall droplet, can be understood as a chiral bag in a 1+2 dimensional strip using the Cheshire cat principle. For a small bag radius, the bag reduces to a vortex line which is the smile of the cat with flowing gapless quarks all spinning in the same

Kyung Mee Song, Jae-Seung Jeong, Biao Pan, Xichao Zhang

Since the experimental discovery of magnetic skyrmions achieved one decade ago, there have been significant efforts to bring the virtual particles into all-electrical fully functional devices, inspired by their fascinating physical and topological properties suitable for future low-power electronics. Here, we experimentally demonstrate such a device: electri

Michael Amir, Alfred M. Bruckstein

We consider the problem of completely covering an unknown discrete environment with a swarm of asynchronous, frequently-crashing autonomous mobile robots. We represent the environment by a discrete graph, and task the robots with occupying every vertex and with constructing an implicit distributed spanning tree of the graph. The robotic agents activate indep

Maciej Kolanowski, Jerzy Lewandowski, Adam Szereszewski

We consider non-expanding shear free (NE-SF) null surface geometries embeddable as extremal Killing horizons to the second order in Einstein vacuum spacetimes. A NE-SF null surface geometry consists of a degenerate metric tensor and a consistent torsion free covariant derivative. We derive the constraints implied by the existence of an embedding. The first c

LHCb collaboration, R. Aaij, C. Abellán Beteta, T. Ackernley

Using proton-proton collision data, collected with the LHCb detector and corresponding to 1.0, 2.0 and 1.9fb$^{-1}$ of integrated luminosity at the centre-of-mass energies of 7, 8, and 13 TeV, respectively, the decay $Λ_b^0\to χ_{c1}(3872)pK^-$ with $χ_{c1}\to J/ψπ^+π^-$ is observed for the first time. The significance of the observed signal is in excess of

Jwala Dhamala, Sandesh Ghimire, John L. Sapp, B. Milan Horacek

Personalization of cardiac models involves the optimization of organ tissue properties that vary spatially over the non-Euclidean geometry model of the heart. To represent the high-dimensional (HD) unknown of tissue properties, most existing works rely on a low-dimensional (LD) partitioning of the geometrical model. While this exploits the geometry of the he

Alex X. Lee, Anusha Nagabandi, Pieter Abbeel, Sergey Levine

Deep reinforcement learning (RL) algorithms can use high-capacity deep networks to learn directly from image observations. However, these high-dimensional observation spaces present a number of challenges in practice, since the policy must now solve two problems: representation learning and task learning. In this work, we tackle these two problems separately

Linquan Ma, Pham Hung Quy, Ilya Smirnov

In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then $R$ is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.

Ke Ye, Ken Sze-Wai Wong, Lek-Heng Lim

A flag is a sequence of nested subspaces. Flags are ubiquitous in numerical analysis, arising in finite elements, multigrid, spectral, and pseudospectral methods for numerical PDE; they arise in the form of Krylov subspaces in matrix computations, and as multiresolution analysis in wavelets constructions. They are common in statistics too --- principal compo

Victor Markov, Askar Tuganbaev

It is proved that a ring $R$ is a right uniserial, right Noetherian centrally essential ring if and only if $R$ is a commutative discrete valuation domain or a left and right Artinian, left and right uniserial ring. It is also proved that there exist non-commutative uniserial Artinian centrally essential rings. Victor Markov is supported by the Russian Found

Yi Liu, Hao Yuan, Zhengyang Wang, Shuiwang Ji

Visualizing the details of different cellular structures is of great importance to elucidate cellular functions. However, it is challenging to obtain high quality images of different structures directly due to complex cellular environments. Fluorescence staining is a popular technique to label different structures but has several drawbacks. In particular, la

Marc Eder, Pierre Moulon, Li Guan

In this work we present a method to train a plane-aware convolutional neural network for dense depth and surface normal estimation as well as plane boundaries from a single indoor $360^\circ$ image. Using our proposed loss function, our network outperforms existing methods for single-view, indoor, omnidirectional depth estimation and provides an initial benc

M. A. P. Torres, J. Casares, F. Jiménez-Ibarra, T. Muñoz-Darias

We present time-resolved 10.4-m GTC and 4.2-m WHT intermediate resolution spectroscopy of the X-ray transient MAXI J1820+070 (=ASASSN-18ey) obtained during its decline to the quiescent state. Cross-correlation of the 21 individual spectra against late-type templates reveals a sinusoidal velocity modulation with a period of 0.68549 +/- 0.00001 d and semi-ampl

Angelika Adensamer, Lukas Daniel Klausner

Predictive policing is a data-based, predictive analytical technique used in law enforcement. In this paper, we give an overview of the current situation in Austria and discuss technical, sociopolitical and legal questions raised by the use of PP, such as the lack of awareness of discriminatory structures in society, the biases in data underlying PP and the

Kayleigh Bangs, Skye Binegar, Young Kim, Kyle Ormsby

For a finite group G, we introduce the complete suboperad $Q_G$ of the categorical G-Barratt-Eccles operad $P_G$. We prove that $P_G$ is not finitely generated, but $Q_G$ is finitely generated and is a genuine $E_\infty$ G-operad (i.e., it is $N_\infty$ and includes all norms). For G cyclic of order 2 or 3, we determine presentations of the object operad of

Marijn J. H. Heule

We present a method to gradually compute a smaller and smaller unsatisfiable core of a propositional formula by minimizing proofs of unsatisfiability. The goal is to compute a minimal unsatisfiable core that is relatively small compared to other minimal unsatisfiable cores of the same formula. We try to achieve this goal by postponing deletion of arbitrary c

Lorenzo Iorio

The modified gravitational theory by Hajdukovic [arXiv:1210.7421], based on the idea that quantum vacuum contains virtual gravitational dipoles, predicts, among other things, anomalous secular precessions of the planets of the Solar System as large as $\simeq 700-6,000$ milliarceconds per century. We demonstrate that they are ruled out by several orders of m

P. V. Dovbush

The aim of this paper is to give some applications of Zalcman's Rescalling Lemma.

Yacin Ameur

We examine a Coulomb gas consisting of $n$ identical repelling point charges at an arbitrary inverse temperature $β$, subjected to a suitable external field. We prove that the gas is effectively localized to a small neighbourhood of the "droplet" -- the support of the equilibrium measure determined by the external field. More precisely, we prove that

Lorenzo Iorio

Recently, a discussion about the effects of the anisotropy in the spatial density of Dark Matter in the Solar neighbourhood due to the motion of the Sun through the Galactic halo on the orbital motion of the solar system's planets and their ability to be effectively constrained by the radiotechnical observations collected by the Cassini spacecraft appear

Emily Norton

We compare crystal combinatorics of the level $2$ Fock space with the classification of unitary representations of type $B$ rational Cherednik algebras to show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the othe

Mathieu Remazeilles, Jens Chluba

With increasing sensitivity, angular resolution, and frequency coverage, future cosmic microwave background (CMB) experiments like PICO will allow us to access new information about galaxy clusters through the relativistic thermal Sunyaev-Zeldovich (SZ) effect. We will be able to map the temperature of relativistic electrons across the entire sky, going well

Emil Ringh, Elias Jarlebring

We investigate a technique to transform a linear two-parameter eigenvalue problem, into a nonlinear eigenvalue problem (NEP). The transformation stems from an elimination of one of the equations in the two-parameter eigenvalue problem, by considering it as a (standard) generalized eigenvalue problem. We characterize the equivalence between the original and t

Edward Anderson

A local resolution of the Problem of Time has recently been given, alongside reformulation as a local theory of Background Independence. The classical part of this requires just Lie's Mathematics, much of which is basic: i) Lie derivatives to encode Relationalism. ii) Lie brackets for Closure giving Lie algebraic structures. iii) Observables defined by a

G. Boca, P. W. Cattaneo, M. De Gerone, M. Francesconi

We have developed a new laser-based time calibration system for highly segmented scintillator counters like the MEG II pixelated Timing Counter (pTC), consisting of 512-centimeter scale scintillator counters read out by silicon photomultipliers (SiPMs). It is difficult to apply previous laser-based calibration methods for conventional meter-scale Time-Of-Fli

Andrei Agrachev, Andrey Sarychev

We study the controlled dynamics of the {\it ensembles of points} of a Riemannian manifold $M$. Parameterized ensemble of points of $M$ is the image of a continuous map $γ:Θ\to M$, where $Θ$ is a compact set of parameters. The dynamics of ensembles is defined by the action $γ(θ) \mapsto P_t(γ(θ))$ of the semigroup of diffeomorphisms $P_t:M \to M, \ t \in \ma

Zhicheng Zhu, Yisha Xiang, Bo Zeng

Maintenance optimization has been extensively studied in the past decades. However, most of the existing maintenance models focus on single-component systems and are not applicable for complex systems consisting of multiple components, due to various interactions between the components. Multi-component maintenance optimization problem, which joins the stocha

Antonio Toral

Post-editing (PE) machine translation (MT) is widely used for dissemination because it leads to higher productivity than human translation from scratch (HT). In addition, PE translations are found to be of equal or better quality than HTs. However, most such studies measure quality solely as the number of errors. We conduct a set of computational analyses in

Xiang-Bo Xiao, Bang-Gui Liu

It is highly desirable to search for promising two-dimensional (2D) monolayer materials for deep insight of 2D materials and applications. We use first-principles method to investigate tetragonal perovskite oxide monolayers as 2D materials. We find four stable 2D monolayer materials from SrTiO$_3$, LaAlO$_3$, KTaO$_3$, and BaFeO$_3$, denoting them as STO-ML,

Gordon Heier, Aaron Levin

As a consequence of our recently established generalized Schmidt's subspace theorem for closed subschemes in general position, we prove a degeneracy theorem for integral points on the complement of a union of nef effective divisors. A novel aspect of our result is the attainment of a strong degeneracy conclusion (arithmetic quasi-hyperbolicity) under wea

Nicolò Scapin, Pedro Costa, Luca Brandt

We present a numerical method for interface-resolved simulations of evaporating two-fluid flows based on the volume-of-fluid (VoF) method. The method has been implemented in an efficient FFT-based two-fluid Navier-Stokes solver, using an algebraic VoF method for the interface representation, and extended with the transport equations of thermal energy and vap

Shengkun Wu, Dechao Zheng

The Fock space consists of all entire functions which are square integrable with respect to Gauss measure. The Toeplitz algebra is the C*-algebra generated by the Toeplitz operator with bounded symbol on the Fock space. In this paper, we study the Toeplitz algebra on the Fock space.

Wenyu Li, Arun Hegde, James Oreluk, Andrew Packard

We extended the existing methodology in Bound-to-Bound Data Collaboration (B2BDC), an optimization-based deterministic uncertainty quantification (UQ) framework, to explicitly take into account model discrepancy. The discrepancy was represented as a linear combination of finite basis functions and the feasible set was constructed according to a collection of

Gil Kalai, Zuzana Patáková

Let $\mathcal A=\{A_1,\ldots,A_n\}$ be a family of sets in the plane. For $0 \leq i < n$, denote by $f_i$ the number of subsets $σ$ of $\{1,\ldots,n\}$ of cardinality $i+1$ that satisfy $\bigcap_{i \in σ} A_i \neq \emptyset$. Let $k \geq 2$ be an integer. We prove that if each $k$-wise and $(k+1)$-wise intersection of sets from $\mathcal A$ is empty, or a si

Lei Yang, Xiaojun Chen, Shuhuang Xiang

In this paper, we consider a well-known sparse optimization problem that aims to find a sparse solution of a possibly noisy underdetermined system of linear equations. Mathematically, it can be modeled in a unified manner by minimizing $\|\bf{x}\|_p^p$ subject to $\|A\bf{x}-\bf{b}\|_q\leqσ$ for given $A \in \mathbb{R}^{m \times n}$, $\bf{b}\in\mathbb{R}^m$,

Ítalo A. S. Assis, Antônio D. S. Oliveira, Tiago Barros, Idalmis M. Sardina

Reverse time migration (RTM) is a prominent technique in seismic imaging. Its resulting subsurface images are used in the industry to investigate with higher confidence the existence and the conditions of oil and gas reservoirs. Because of its high computational cost, RTM must make use of parallel computers. Balancing the workload distribution of an RTM is a

Fedor Pakhomov

In the paper we introduce a weak set theory $\mathsf{H}_{<ω}$ . A formalization of arithmetic on finite von Neumann ordinals gives an embedding of arithmetical language into this theory. We show that $\mathsf{H}_{<ω}$ proves a natural arithmetization of its own Hilbert-style consistency. Unlike some previous examples of theories proving their own consistency

Marcin Wrochna, Stanislav Živný

We present new results on approximate colourings of graphs and, more generally, approximate H-colourings and promise constraint satisfaction problems. First, we show NP-hardness of colouring $k$-colourable graphs with $\binom{k}{\lfloor k/2\rfloor}-1$ colours for every $k\geq 4$. This improves the result of Bulín, Krokhin, and Opršal [STOC&#39;19], who gave

Qayum Khan

For $G$ a topological group, existence theorems by Milnor (1956), Gelfand-Fuks (1968), and Segal (1975) of classifying spaces for principal $G$-bundles are generalized to $G$-spaces with torsion. Namely, any $G$-space approximately covered by tubes (a generalization of local trivialization) is the pullback of a universal space indexed by the orbit types of t

Manuela Kulaxizi, Gim Seng Ng, Andrei Parnachev

The eikonal phase which determines the Regge limit of the gravitational scattering amplitude of a light particle off a heavy one in Minkowski spacetimes admits an expansion in the ratio of the Schwarzschild radius of the heavy particle to the impact parameter. Such an eikonal phase in AdS spacetimes of any dimensionality has been computed to all orders and r

Sushant Kumar Behera, Mayuri Bora, Sapta Sindhu Paul Chowdhury, Pritam Deb

We report on first-principle calculations on magnetic proximity effect in a van der Waals heterostructure formed by a graphene monolayer induced by its interaction with a two-dimensional (2D) ferromagnet (chromium tribromide, CrBr3). We observe that the magnetic proximity effect arising from the spin-dependent interlayer coupling depends sensitively on the i

Sebastian Farquhar, Michael Osborne, Yarin Gal

We propose Radial Bayesian Neural Networks (BNNs): a variational approximate posterior for BNNs which scales well to large models while maintaining a distribution over weight-space with full support. Other scalable Bayesian deep learning methods, like MC dropout or deep ensembles, have discrete support-they assign zero probability to almost all of the weight

Thomas Viehmann

In this report, we review the calculation of entropy-regularised Wasserstein loss introduced by Cuturi and document a practical implementation in PyTorch. Code is available at https://github.com/t-vi/pytorch-tvmisc/blob/master/wasserstein-distance/Pytorch_Wasserstein.ipynb

Matthew Jenssen, Will Perkins

We revisit Sapozhenko&#39;s classic proof on the asymptotics of the number of independent sets in the discrete hypercube $\{0,1\}^d$ and Galvin&#39;s follow-up work on weighted independent sets. We combine Sapozhenko&#39;s graph container methods with the cluster expansion and abstract polymer models, two tools from statistical physics, to obtain considerabl

Volker Dohm

We prove the validity of multiparameter universality for the exact critical bulk correlation functions of the anisotropic square-lattice and triangular-lattice Ising models on the basis of the exact scaling structure of the correlation function of the two-dimensional anisotropic scalar $φ^4$ model with four nonuniversal parameters. The correlation functions

CMS Collaboration

A combination of four searches for new physics involving signatures with at least one photon and large missing transverse momentum, motivated by generalized models of gauge-mediated supersymmetry (SUSY) breaking, is presented. All searches make use of proton-proton collision data at $\sqrt{s} =$ 13 TeV, which were recorded with the CMS detector at the LHC in

Md. Mostafa Kamal Sarker, Hatem A. Rashwan, Farhan Akram, Vivek Kumar Singh

The determination of precise skin lesion boundaries in dermoscopic images using automated methods faces many challenges, most importantly, the presence of hair, inconspicuous lesion edges and low contrast in dermoscopic images, and variability in the color, texture and shapes of skin lesions. Existing deep learning-based skin lesion segmentation algorithms a

Shirish Hirekodi, Seban Sunny, Leonard Topno, Alwin Daniel

We introduce a modular system that can be deployed on any Kubernetes cluster for question answering via REST API. This system, called Katecheo, includes three configurable modules that collectively enable identification of questions, classification of those questions into topics, document search, and reading comprehension. We demonstrate the system using pub

Eugene Kharitonov, Rahma Chaabouni, Diane Bouchacourt, Marco Baroni

There is renewed interest in simulating language emergence among deep neural agents that communicate to jointly solve a task, spurred by the practical aim to develop language-enabled interactive AIs, as well as by theoretical questions about the evolution of human language. However, optimizing deep architectures connected by a discrete communication channel

R. Juhász, I. A. Kovács

Population boundary is a classic indicator of climatic response in ecology. In addition to known challenges, the spatial and dynamical characteristics of the boundary are not only affected by the spatial gradient in the environmental factors, but also by local heterogeneities in the regional characteristics. Here, we capture the effects of quenched heterogen

Hao Huang

In this paper, we show that every $(2^{n-1}+1)$-vertex induced subgraph of the $n$-dimensional cube graph has maximum degree at least $\sqrt{n}$. This result is best possible, and improves a logarithmic lower bound shown by Chung, Füredi, Graham and Seymour in 1988. As a direct consequence, we prove that the sensitivity and degree of a boolean function are p

Liudmila Prokhorenkova, Aleksandr Shekhovtsov

Graph-based approaches are empirically shown to be very successful for the nearest neighbor search (NNS). However, there has been very little research on their theoretical guarantees. We fill this gap and rigorously analyze the performance of graph-based NNS algorithms, specifically focusing on the low-dimensional (d << \log n) regime. In addition to the bas

Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers

Elaboration-based type class resolution, as found in languages like Haskell, Mercury and PureScript, is generally nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints. Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs s

Dushyant Mehta, Oleksandr Sotnychenko, Franziska Mueller, Weipeng Xu

We present a real-time approach for multi-person 3D motion capture at over 30 fps using a single RGB camera. It operates successfully in generic scenes which may contain occlusions by objects and by other people. Our method operates in subsequent stages. The first stage is a convolutional neural network (CNN) that estimates 2D and 3D pose features along with

Adbhut Gupta, Jean J. Heremans, Gitansh Kataria, Mani Chandra

Electron-electron (e-e) interactions assume a cardinal role in solid-state physics. Quantifying the e-e scattering length is hence critical. In this paper we show that the mesoscopic phenomenon of transverse magnetic focusing (TMF) in two-dimensional electron systems forms a precise and sensitive technique to measure this length scale. Conversely we quantita

Bernhard Lamel, Duong Ngoc Son

We study a CR analogue of the Ahlfors derivative for conformal immersions of Stowe [23] that generalizes the CR Schwarzian derivative studied earlier by the second-named author [21]. This notion possesses several important properties similar to those of the conformal counterpart and provides a new invariant for spherically equivalent CR maps from strictly ps

Xing Gao, Hongkai Xiong, Pascal Frossard

With the advent of data science, the analysis of network or graph data has become a very timely research problem. A variety of recent works have been proposed to generalize neural networks to graphs, either from a spectral graph theory or a spatial perspective. The majority of these works however focus on adapting the convolution operator to graph representa

Young-Chul Yoon, Du Yong Kim, Young-min Song, Kwangjin Yoon

In online multi-target tracking, modeling of appearance and geometric similarities between pedestrians visual scenes is of great importance. The higher dimension of inherent information in the appearance model compared to the geometric model is problematic in many ways. However, due to the recent success of deep-learning-based methods, handling of high-dimen