July 2019 arXiv papers — page 85

Abulfazl Zakeri, Nader Mokari, Halim Yanikomeroglu

Massive connections and high data rate services are key players in 5G ecosystem and beyond. To satisfy the requirements of these types of services, non orthogonal multiple Access (NOMA) and 3-dimensional beam-forming (3DBF) can be exploited. In this paper, we devise a novel joint radio resource allocation and 3D multiple input single output (MISO) BF algorit

Stefan Tappe, Stefan Weber

Demographic projections of future mortality rates involve a high level of uncertainty and require stochastic mortality models. The current paper investigates forward mortality models driven by a (possibly infinite dimensional) Wiener process and a compensated Poisson random measure. A major innovation of the paper is the introduction of a family of processes

Eloïse Berthier, Sai Praneeth Karimireddy

Differential privacy is a useful tool to build machine learning models which do not release too much information about the training data. We study the Rényi differential privacy of stochastic gradient descent when each training example is sampled without replacement (also known as cyclic SGD). Cyclic SGD is typically faster than traditional SGD and is the al

Francesca Anceschi, Sergio Polidoro

We present a survey on the regularity theory for classic solutions to subelliptic degenerate Kolmogorov equations. In the last part of this note we present a detailed proof of a Harnack inequality and a strong maximum principle.

Sevdzhan Hakkaev, Atanas G. Stefanov

We consider the focusing fractional periodic Korteweg-deVries (fKdV) and fractional periodic nonlinear Schr\"odinger equations (fNLS) equations, with $L^2$ sub-critical dispersion. In particular, this covers the case of the periodic KdV and Benjamin-Ono models. We construct two parameter family of bell-shaped traveling waves for KdV (standing waves for NLS),

Shai M. Chester

These lectures were given at the Weizmann Institute in the spring of 2019. They are intended to familiarize students with the nuts and bolts of the numerical bootstrap as efficiently as possible. After a brief review of the basics of conformal field theory in $d>2$ spacetime dimensions, we discuss how to compute conformal blocks, formulate the crossing equat

Mathias Kraus, Stefan Feuerriegel

Predicting the remaining useful life of machinery, infrastructure, or other equipment can facilitate preemptive maintenance decisions, whereby a failure is prevented through timely repair or replacement. This allows for a better decision support by considering the anticipated time-to-failure and thus promises to reduce costs. Here a common baseline may be de

Andreas Maurischat

Pink has given a qualitative answer to the Mumford-Tate conjecture for Drinfeld modules in the 90s. He showed that the image of the v-adic Galois representation is v-adically open in the motivic Galois group for any prime v. In contrast to this result, we provide a family of uniformizable Anderson t-modules for which the Galois representations of their t-adi

Uwe Küchler, Stefan Tappe

We investigate exponential stock models driven by tempered stable processes, which constitute a rich family of purely discontinuous L\'{e}vy processes. With a view of option pricing, we provide a systematic analysis of the existence of equivalent martingale measures, under which the model remains analytically tractable. This includes the existence of Esscher

Uwe Küchler, Stefan Tappe

We investigate the class of tempered stable distributions and their associated processes. Our analysis of tempered stable distributions includes limit distributions, parameter estimation and the study of their densities. Regarding tempered stable processes, we deal with density transformations and compute their $p$-variation indices. Exponential stock models

Lóránt Farkas, Tamás Kói

Exponential error bounds achievable by universal coding and decoding are derived for frame-asynchronous discrete memoryless %asynchronous multiple access channels with two senders, via the method of subtypes, a refinement of the method of types. Maximum empirical multi-information decoding is employed. A key tool is an improved packing lemma, that overcomes

Barbara Rüdiger, Stefan Tappe

Our goal of this note is to give an easy proof that spaces of predictable processes with values in a Banach space are isomorphic to spaces of progressive resp. adapted, measurable processes. This provides a straightforward extension of the It\^{o} integral in infinite dimensions. We also outline an application to stochastic partial differential equations.

Zhihao Gavin Tang, Xiaowei Wu, Yuhao Zhang

There has been a long history for studying randomized greedy matching algorithms since the work by Dyer and Frieze~(RSA 1991). We follow this trend and consider the problem formulated in the oblivious setting, in which the algorithm makes (random) decisions that are essentially oblivious to the input graph. We revisit the \textsf{Modified Randomized Greedy (

Ammar Mohammadi, Mansour Nakhkash

This paper presents a histogram based reversible data hiding (RDH) scheme, which divides image pixels into different cell frequency bands to sort them for data embedding. Data hiding is more efficient in lower cell frequency bands because it provides more accurate prediction. Using pixel existence probability in some pixels of ultra-low cell frequency band,

Stéphane Le Roux

Two-player win/lose games of infinite duration are involved in several disciplines including computer science and logic. If such a game has deterministic winning strategies, one may ask how simple such strategies can get. The answer may help with actual implementation, or to win despite imperfect information, or to conceal sensitive information especially if

Weiming Zhi, Lionel Ott, Fabio Ramos

Understanding the dynamics of an environment, such as the movement of humans and vehicles, is crucial for agents to achieve long-term autonomy in urban environments. This requires the development of methods to capture the multi-modal and probabilistic nature of motion patterns. We present Kernel Trajectory Maps (KTM) to capture the trajectories of movement i

A. Yavorsky, L. A. Markovich, E. A. Polyakov, A. N. Rubtsov

Finding an energy minimum in the Ising model is an exemplar objective, associated with many combinatorial optimization problems, that is computationally hard in general, but occurs in all areas of modern science. There are several numerical methods, providing solution for the medium size Ising spin systems. However, they are either computationally slow and b

Ammar Mohammadi, Mansor Nakhkash

This paper presents a reversible data hiding in encrypted image (RDHEI), which divides image into non-overlapping blocks. In each block, central pixel of the block is considered as leader pixel and others as follower ones. The prediction errors between the intensity of follower pixels and leader ones are calculated and analyzed to determine a feature for blo

Arjun Pankajakshan, Helen L. Bear, Emmanouil Benetos

Polyphonic Sound Event Detection (SED) in real-world recordings is a challenging task because of the dynamic polyphony level, intensity, and duration of sound events. Current polyphonic SED systems fail to model the temporal structure of sound events explicitly and instead attempt to look at which sound events are present at each audio frame. Consequently, t

Michele Boreale, Daniele Gorla

The problem of counting the number of models of a given Boolean formula has numerous applications, including computing the leakage of deterministic programs in Quantitative Information Flow. Model counting is a hard, #P-complete problem. For this reason, many approximate counters have been developed in the last decade, offering formal guarantees of confidenc

ATLAS Collaboration

The algorithms used by the ATLAS Collaboration during Run 2 of the Large Hadron Collider to identify jets containing $b$-hadrons are presented. The performance of the algorithms is evaluated in the simulation and the efficiency with which these algorithms identify jets containing $b$-hadrons is measured in collision data. The measurement uses a likelihood-ba

Bin Li, Guangwei Deng, Ruiming Zhang, Zhonghua Ou

Single photon detector (SPD) has a maximum count rate due to its dead time, which results in that the dynamic range of photon counting optical time-domain reflectometry (PC-OTDR) de-creases with the length of monitored fiber. To further improve the dynamic range of PC-OTDR, we propose and demonstrate an externally time-gated scheme. The externally time-gated

Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee

The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features rend

Ivan Marsa-Maestre, Jose Manuel Gimenez-Guzman, David Orden, Enrique de la Hoz

Nowadays society is more and more dependent on critical infrastructures. Critical network infrastructures (CNI) are communication networks whose disruption can create a severe impact. In this paper we propose REACT, a distributed framework for reactive network resilience, which allows networks to reconfigure themselves in the event of a security incidents so

Haibo Jin

Silting and Calabi-Yau reductions are important process in representation theory to construct new triangulated categories from given one, which are similar to Verdier quotient. In this paper, first we introduce a new reduction process of triangulated category, which is analogous to the silting (Calabi-Yau) reduction. For a triangulated category $\cal T$ with

Ion Simaciu, Gheorghe Dumitrescu, Zoltan Borsos

The aim of this paper is to investigate the coupled oscillations of multiple bubbles within a cluster. The interaction between a bubble and the other bubbles in a cluster produces an additional mass. For a fixed number of bubbles ( ) and uniformly distributed, in case of a certain value of the bubble density, we deduce the relations analogous to the Eddingto

S. D. Baranovskii, A. V. Nenashev, J. O. Oelerich, S. H. M. Greiner

Charge transport in amorphous oxide semiconductors is often described as the band transport affected by disorder in the form of random potential barriers (RB). Theoretical studies in the framework of this approach neglected so far the percolation nature of the phenomenon. In this article, a recipe for theoretical description of charge transport in the RB mod

Max Frei, Frank Einar Kruis

There is a high demand for fully automated methods for the analysis of primary particle size distributions of agglomerated, sintered or occluded primary particles, due to their impact on material properties. Therefore, a novel, deep learning-based, method for the detection of such primary particles was proposed and tested, which renders a manual tuning of an

J. I. González Hernández, P. Bonifacio, E. Caffau, H. G. Ludwig

We present high-resolution and high-quality UVES spectroscopic data of the metal-poor double-lined spectroscopic binary CS 22876--032 ([Fe/H] $\sim -3.7$ dex), with the goal to derive the $^6$Li/$^7$Li isotopic ratio by analysing the \ion{Li}{i} $λ$~670.8~nm doublet. We coadd all 28 useful spectra normalised and corrected for radial velocity to the rest fram

V. Iudelevich

Let $ \mathbb{F}_q[T]$\, be the ring of polynomials over a finite field $ \mathbb{F}_q $. Let $ g: \mathbb{F}_q[T] \rightarrow \mathbb{R} $ be a multiplicative function such that for any irreducible polynomial $ P $ over $ \mathbb{F}_q $ and any $ k \ge 1 $, the equality $ d_k = g (P ^ k) $ holds for some arbitrary sequence of reals $\{d_k\}_{k=1}^{\infty}$.

Peter F. Faul, Graham R. Manuell

Artin glueings provide a way to reconstruct a frame from a closed sublocale and its open complement. We show that Artin glueings can be described as the weakly Schreier split extensions in the category of frames with finite-meet preserving maps. These extensions correspond to meet-semilattice homomorphisms between frames, yielding an extension bifunctor. Fin

Arthur Jacot, Franck Gabriel, François Ged, Clément Hongler

We analyze architectural features of Deep Neural Networks (DNNs) using the so-called Neural Tangent Kernel (NTK), which describes the training and generalization of DNNs in the infinite-width setting. In this setting, we show that for fully-connected DNNs, as the depth grows, two regimes appear: "order", where the (scaled) NTK converges to a constant

Johannes Borregaard, Hannes Pichler, Tim Schöder, Mikhail D. Lukin

We propose a novel one-way quantum repeater architecture based on photonic tree-cluster states. Encoding a qubit in a photonic tree-cluster protects the information from transmission loss and enables long-range quantum communication through a chain of repeater stations. As opposed to conventional approaches that are limited by the two-way communication time,

Xiangyang Li, Luis Herranz, Shuqiang Jiang

In recent years, convolutional neural networks (CNNs) have achieved impressive performance for various visual recognition scenarios. CNNs trained on large labeled datasets can not only obtain significant performance on most challenging benchmarks but also provide powerful representations, which can be used to a wide range of other tasks. However, the require

Wenxiao Xu, Yidong Xu, Bin Yue, Ilian T Iliev

The neutral hydrogen (HI) and its 21 cm line are promising probes to the reionization process of the intergalactic medium (IGM). To use this probe effectively, it is imperative to have a good understanding on how the neutral hydrogen traces the underlying matter distribution. Here we study this problem using semi-numerical modeling by combining the HI in the

Yong-Jiang Xu, Chun-Yu Cui, Yong-Lu Liu, Ming-Qiu Huang

In the present work, the partial decay widths of $P_{c}(4312)$ to $η_{c} p$ and $J/ψp$ are investigated with the QCD sum rule method under the assumption that $P_{c}(4312)$ is a $\bar{D}Σ_{c}$ molecular state with $J^{P}=\frac{1}{2}^{-}$. In the analysis, the pole residue of $P_{c}(4312)$, one of the input parameters for the calculations of the strong decay

Vlad Crăciun, Pascal Felber, Andrei Mogage, Emanuel Onica

Malware attacks are a significant part of the new software security threats detected each year. Intel Software Guard Extensions (SGX) are a set of hardware instructions introduced by Intel in their recent lines of processors that are intended to provide a secure execution environment for user-developed applications. To our knowledge, there was no serious att

A. M. Gavrilik, A. V. Nazarenko

We consider the grand canonical ensemble of the static and extremal black holes, when the equivalence of the electric charge and mass of individual black hole is postulated. Assuming uniform distribution of black holes in space, we are finding the effective mass of test particle and mean time dilation at the admissible points of space, taking into account th

Jonathan Viquerat, Elie Hachem

Despite the significant breakthrough of neural networks in the last few years, their spreading in the field of computational fluid dynamics is very recent, and many applications remain to explore. In this paper, we explore the drag prediction capabilities of convolutional neural networks for laminar, low-Reynolds number flows past arbitrary 2D shapes. A set

Jiaqing Jiang, Xiaoming Sun, Shang-Hua Teng, Bujiao Wu

Decoherence -- in the current physical implementations of quantum computers -- makes depth reduction a vital task in quantum-circuit design. Moore and Nilsson (SIAM Journal of Computing, 2001) demonstrated that additional qubits -- known as ancillae -- can be used to provide an extended space to parallelize quantum circuits. Specifically, they proved that, w

Balachandra Suri, Ravi Kumar Pallantla, Michael F. Schatz, Roman O. Grigoriev

Recent studies suggest that unstable recurrent solutions of the Navier-Stokes equation provide new insights into dynamics of turbulent flows. In this study, we compute an extensive network of dynamical connections between such solutions in a weakly turbulent quasi-two-dimensional Kolmogorov flow that lies in the inversion-symmetric subspace. In particular, w

Aleksei Y. Kondratev, Egor Ianovski, Alexander S. Nesterov

Scoring rules are widely used to rank athletes in sports and candidates in elections. Each position in each individual ranking is worth a certain number of points; the total sum of points determines the aggregate ranking. The question is how to choose a scoring rule for a specific application. First, we derive a one-parameter family with geometric scores whi

Gian Luca Giorgi, Stefano Longhi, Albert Cabot, Roberta Zambrini

Understanding the physical significance and probing the global invariants characterizing quantum topological phases in extended systems is a main challenge in modern physics with major impact in different areas of science. Here, a quantum-information-inspired probing method is proposed where topological phase transitions are revealed by a non-Markovianity qu

Nick Koning

For a high-dimensional parameter of interest, tests based on quadratic statistics are known to have low power against subsets of the parameter space (henceforth, parameter subspaces). In addition, they typically involve an inverse covariance matrix which is difficult to estimate in high-dimensional settings. I simultaneously address these two issues by propo

B Jenichen, Z Cheng, M Hanke, J Herfort

We investigate the formation of lattice matched single-crystalline Fe$_3$Si/GaAs(001) ferromagnet/semiconductor hybrid structures by Volmer-Weber island growth, starting from the epitaxial growth of isolated Fe$_3$Si islands up to the formation of continuous films as a result of island coalescence. We find coherent defect-free layers exhibiting compositional

Thomy Phan, Thomas Gabor, Robert Müller, Christoph Roch

We propose Stable Yet Memory Bounded Open-Loop (SYMBOL) planning, a general memory bounded approach to partially observable open-loop planning. SYMBOL maintains an adaptive stack of Thompson Sampling bandits, whose size is bounded by the planning horizon and can be automatically adapted according to the underlying domain without any prior domain knowledge be

Tobias Rapp, Christoph Peters, Carsten Dachsbacher

We propose a data reduction technique for scattered data based on statistical sampling. Our void-and-cluster sampling technique finds a representative subset that is optimally distributed in the spatial domain with respect to the blue noise property. In addition, it can adapt to a given density function, which we use to sample regions of high complexity in t

Eckhard Platen, Stefan Tappe

We investigate the existence of affine realizations for L\'{e}vy driven interest rate term structure models under the real-world probability measure, which so far has only been studied under an assumed risk-neutral probability measure. For models driven by Wiener processes, all results obtained under the risk-neutral approach concerning the existence of affi

Corto Mascle, Martin Zimmermann

HyperLTL, the extension of Linear Temporal Logic by trace quantifiers, is a uniform framework for expressing information flow policies by relating multiple traces of a security-critical system. HyperLTL has been successfully applied to express fundamental security policies like noninterference and observational determinism, but has also found applications be

Giovanni Conti, Gualtiero Badin

In this work we investigate the statistical mechanics of a family of two dimensional (2D) fluid flows, described by the generalized Euler equations, or $α$-models. These models describe both nonlocal and local dynamics, with one example of the latter given by the Surface Quasi Geostrophy (SQG) model for which the existence of singularities is still under dis

Ming Ling, Jiancong Ge, Guangmin Wang

To mitigate the performance gap between CPU and the main memory, multi-level cache architectures are widely used in modern processors. Therefore, modeling the behaviors of the downstream caches becomes a critical part of the processor performance evaluation in the early stage of Design Space Exploration (DSE). In this paper, we propose a fast and accurate L2

Francesco Iafrate, Claudio Macci

We consider the last zero crossing time $T_{μ,t}$ of a Brownian motion, with drift $μ\neq 0$ in the time interval $[0, t]$. We prove the large deviation principle of $\{T_{μ\sqrt r t} : r > 0 \}$ as $r$ tends to infinity. Moreover, motivated by the results on moderate deviations in the literature, we also prove a class of large deviation principles for the s

Marco Dusel, Simon Betzold, Oleg A. Egorov, Sebastian Klembt

Interacting Bosons, loaded in artificial lattices, have emerged as a modern platform to explore collective manybody phenomena, quantum phase transitions and exotic phases of matter as well as to enable advanced on chip simulators. Such experiments strongly rely on well-defined shaping the potential landscape of the Bosons, respectively Bosonic quasi-particle

Tomás M. Coronado, Mareike Fischer, Lina Herbst, Francesc Rosselló

Measures of tree balance play an important role in the analysis of phylogenetic trees. One of the oldest and most popular indices in this regard is the Colless index for rooted bifurcating trees, introduced by Colless (1982). While many of its statistical properties under different probabilistic models for phylogenetic trees have already been established, li

Ged Corob Cook, Matteo Vannacci

We introduce various probablistic finiteness conditions for profinite groups related to positive finite generation (PFG). We investigate completed group rings which are PFG as modules, and use this to answer a question of Kionke and the second author on positively finitely related groups. Using the theory of projective covers, we define and characterise a pr

Chengjia Wang, Giorgos Papanastasiou, Agisilaos Chartsias, Grzegorz Jacenkow

Inter-modality image registration is an critical preprocessing step for many applications within the routine clinical pathway. This paper presents an unsupervised deep inter-modality registration network that can learn the optimal affine and non-rigid transformations simultaneously. Inverse-consistency is an important property commonly ignored in recent deep

Mohamed H. Abdullah, Gillian Wilson, Anatoly Klypin, Lyndsay Old

Utilizing the SDSS-DR13 spectroscopic dataset, we create a new publicly-available catalog of 1,800 galaxy clusters (GalWeight cluster catalog, $\mathtt{GalWCat19}$) and a corresponding catalog of 34,471 identified member galaxies. The clusters are identified from overdensities in redshift-phase space. The GalWeight technique introduced in Abdullah, Wilson an

Tao Chen, Nan-jing Huang, Yi-bin Xiao

In this paper, we consider a dynamic viscoelastic contact problem with friction and wear, and describe it as a system of nonlinear partial differential equations. We formulate the previous problem as a hyperbolic quasi-variational inequality by employing the variational method. We adopt the Rothe method to show the existence and uniqueness of weak solution f

Ximing Fu, Shenghao Yang, Zhiqing Xiao

Decoding and repair schemes are proposed for shift-exclusive-or (shift-XOR) product-matrix (PM) regenerating codes, which outperform the existing schemes in terms of both communication and computation costs. In particular, for the shift-XOR minimum bandwidth regenerating (MBR) codes, our decoding and repair schemes have the optimal transmission bandwidth and

Vojtěch Kaluža, Martin Tancer

Van der Holst and Pendavingh introduced a graph parameter $\sigma$, which coincides with the more famous Colin de Verdi\`{e}re graph parameter $\mu$ for small values. However, the definition of $\sigma$ is much more geometric/topological directly reflecting embeddability properties of the graph. They proved $\mu(G) \leq \sigma(G) + 2$ and conjectured $\mu(G)

Martin Li

In this survey, we discuss some recent results on free boundary minimal surfaces in the Euclidean unit-ball. The subject has been a very active field of research in the past few years due to the seminal work of Fraser and Schoen on the extremal Steklov eigenvalue problem. We review several different techniques of constructing examples of embedded free bounda

Noa Kaplan, Noam Soker

We build a toy model where the central object, i.e., a newly born neutron star or a black hole, launches jets at late times and show that these jets might account for peaks in the light curve of some peculiar (i.e., having unusual light curves) core collapse supernovae (CCSNe) when the jets interact with the CCSN ejecta. We assume that the central object acc

Michelangelo Bin, Pauline Bernard, Lorenzo Marconi

This paper concerns the problem of adaptive output regulation for multivariable nonlinear systems in normal form. We present a regulator employing an adaptive internal model of the exogenous signals based on the theory of nonlinear Luenberger observers. Adaptation is performed by means of discrete-time system identification schemes, in which every algorithm

Peng-Fei Dai, Xiong Xiong, Wei-Xing Zhou

This paper constructs a global economic policy uncertainty index through the principal component analysis of the economic policy uncertainty indices for twenty primary economies around the world. We find that the PCA-based global economic policy uncertainty index is a good proxy for the economic policy uncertainty on a global scale, which is quite consistent

Valentin Bazarevsky, Yury Kartynnik, Andrey Vakunov, Karthik Raveendran

We present BlazeFace, a lightweight and well-performing face detector tailored for mobile GPU inference. It runs at a speed of 200-1000+ FPS on flagship devices. This super-realtime performance enables it to be applied to any augmented reality pipeline that requires an accurate facial region of interest as an input for task-specific models, such as 2D/3D fac

Andrey Dymov, Sergei Kuksin

In this note we present the main results of the papers \cite{DK, DK2}, dedicated to rigorous study of the limiting properties of the stochastic model for wave turbulence due to Zakharov-L'vov. Proofs of the assertions, stated below without reference, may be found in those works.

Chengjie Fu, Puxun Wu, Hongwei Yu

We propose a novel enhancement mechanism of the curvature perturbations in the nonminimal derivative coupling inflation model with a coupling parameter related to the inflaton field. By considering a special form of the coupling parameter as a function of the inflaton, a period of ultra-slow-roll inflation can be realized due to the gravitationally enhanced

Yves Benoist

We present the classification of positive harmonic functions on the Heisenberg group in the case of the southwest measure.

Mariia Sidorova, Alexej Semenov, Heinz-Wilhelm Hübers, Konstantin Ilin

We report on the inelastic-scattering rate of electrons on phonons and relaxation of electron energy studied by means of magnetoconductance, and photoresponse, respectively, in a series of strongly disordered superconducting NbN films. The studied films with thicknesses in the range from 3 to 33 nm are characterized by different Ioffe-Regel parameters but an

Dmitry Zakharov, Vladimir Zakharov

In our previous work, we introduced a new class of bounded potentials of the one-dimensional Schrödinger operator on the real axis, and a corresponding family of solutions of the KdV hierarchy. These potentials, which we call primitive, are obtained as limits of rapidly decreasing reflectionless potentials, or multisoliton solutions of KdV. In this note, we

Simina Brânzei, Nikhil R. Devanur, Yuval Rabani

We study the Proportional Response dynamic in exchange economies, where each player starts with some amount of money and a good. Every day, the players bring one unit of their good and submit bids on goods they like, each good gets allocated in proportion to the bid amounts, and each seller collects the bids received. Then every player updates the bids propo

Luca Fabbri

In the most general geometric background, we study Dirac spinor fields with particular emphasis given to the explicit form of their gauge momentum and the way in which this can be inverted so to give the expression of the corresponding velocity; we study how zitterbewegung affects the motion of particles, focusing on the internal dynamics involving the chira

Filip Rindler, Sebastian Schwarzacher, Juan J. L. Velazquez

We consider evolutionary PDE inclusions of the form \[ -λ\dot{u}_λ+ Δu - \mathrm{D} W_0(u) + f \ni \partial \mathcal{R}_1(\dot{u}) \qquad\text{in $(0,T) \times Ω$,} \] where $\mathcal{R}_1$ is a positively $1$-homogeneous rate-independent dissipation potential and $W_0$ is a (generally) non-convex energy density. This work constructs solutions to the above s

Idriss Mazari, Grégoire Nadin, Yannick Privat

In this article, we consider a species whose population density solves the steady diffusive logistic equation in a heterogeneous environment modeled with the help of a spatially non constant coefficient standing for a resources distribution. We address the issue of maximizing the total population size with respect to the resources distribution, considering s

Sujay K. Ashok, P. N. Bala Subramanian, Aditya Bawane, Dharmesh Jain

We study holomorphic blocks in the three dimensional ${\mathcal N}=2$ gauge theory that describes the $\mathbb{CP}^1$ model. We apply exact WKB methods to analyze the line operator identities associated to the holomorphic blocks and derive the analytic continuation formulae of the blocks as the twisted mass and FI parameter are varied. The main technical res

Ioana Leuştean, Natalia Moangă, Traian Florin Şerbănuţă

Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification. This provides a rigorous way to transfer results between the two approaches, which should benefit both systems.

David Benjamin Lim

We prove Grothendieck's existence theorem for relatively perfect complexes on an algebraic stack that is proper and flat over an $I$-adically complete Noetherian ring $A$. This generalizes an earlier result of Lieblich in the setting of algebraic spaces.

Yante Li, Xiaohua Huang, Guoying Zhao

Action Unit (AU) detection plays an important role for facial expression recognition. To the best of our knowledge, there is little research about AU analysis for micro-expressions. In this paper, we focus on AU detection in micro-expressions. Microexpression AU detection is challenging due to the small quantity of micro-expression databases, low intensity,

Yujiao Shi, Xin Yu, Liu Liu, Tong Zhang

This paper addresses the problem of cross-view image geo-localization, where the geographic location of a ground-level street-view query image is estimated by matching it against a large scale aerial map (e.g., a high-resolution satellite image). State-of-the-art deep-learning based methods tackle this problem as deep metric learning which aims to learn glob

Nitsan Bar, Kfir Blum, Guido D'Amico

We present a critical assessment of the SN1987A supernova cooling bound on axions and other light particles. Core-collapse simulations used in the literature to substantiate the bound omitted from the calculation the envelope exterior to the proto-neutron star (PNS). As a result, the only source of neutrinos in these simulations was, by construction, a cooli

S. A. Choudum, T. Karthick, Manoj M. Belavadi

We show that every connected induced subgraph of a graph $G$ is dominated by an induced connected split graph if and only if $G$ is $\cal{C}$-free, where $\cal{C}$ is a set of six graphs which includes $P_7$ and $C_7$, and each containing an induced $P_5$. A similar characterisation is shown for the class of graphs which are dominated by induced complete spl

Jing Li, Dongning Guo

Bitcoin is a peer-to-peer payment system proposed by Nakamoto in 2008. Properties of the bitcoin backbone protocol have been investigated in some depth: the blockchain growth property quantifies the number of blocks added to the blockchain during any time intervals; the blockchain quality property ensures the honest miners always contribute at least a certai

Igor F. Herbut, Igor Boettcher, Subrata Mandal

We determine the mean-field ground state of the three-dimensional rotationally symmetric d-wave ($\ell=2$) superconductor at weak coupling. It is a non-inert state, invariant under the symmetry $C_{2}$ only, which breaks time reversal symmetry almost maximally, and features a high, but again less than maximal average magnetization. The state obtained by mini

Antonio Ginart, Melody Y. Guan, Gregory Valiant, James Zou

Intense recent discussions have focused on how to provide individuals with control over when their data can and cannot be used --- the EU's Right To Be Forgotten regulation is an example of this effort. In this paper we initiate a framework studying what to do when it is no longer permissible to deploy models derivative from specific user data. In partic

G. A. Grigorian

Some global existence criteria for quaternionic Riccati equations are established. Two of them are used to prove a completely non conjugation theorem for solutions of linear systems of ordinary differential equations.

Nima Dehmamy, Albert-László Barabási, Rose Yu

To deepen our understanding of graph neural networks, we investigate the representation power of Graph Convolutional Networks (GCN) through the looking glass of graph moments, a key property of graph topology encoding path of various lengths. We find that GCNs are rather restrictive in learning graph moments. Without careful design, GCNs can fail miserably e

Yuan Liu, Melanie Matchett Wood, David Zureick-Brown

We consider the distribution of the Galois groups $\operatorname{Gal}(K^{\operatorname{un}}/K)$ of maximal unramified extensions as $K$ ranges over $\Gamma$-extensions of $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We prove two properties of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ coming from number theory, which we use as motivation to build a probability dist

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

We present an algorithm to compute exact literal-weighted model counts of Boolean formulas in Conjunctive Normal Form. Our algorithm employs dynamic programming and uses Algebraic Decision Diagrams as the primary data structure. We implement this technique in ADDMC, a new model counter. We empirically evaluate various heuristics that can be used with ADDMC.

Licheng Jiao, Fan Zhang, Fang Liu, Shuyuan Yang

Object detection is one of the most important and challenging branches of computer vision, which has been widely applied in peoples life, such as monitoring security, autonomous driving and so on, with the purpose of locating instances of semantic objects of a certain class. With the rapid development of deep learning networks for detection tasks, the perfor

Haya S. Aldosari, Catherine Greenhill

An $r$-uniform hypergraph $H$ consists of a set of vertices $V$ and a set of edges whose elements are $r$-subsets of $V$. We define a hypertree to be a connected hypergraph which contains no cycles. A hypertree spans a hypergraph $H$ if it is a subhypergraph of $H$ which contains all vertices of $H$. Greenhill, Isaev, Kwan and McKay (2017) gave an asymptotic

Yeojun Kim, Samuel Tay, Jacopo Guanetti, Francesco Borrelli

We present a predictive cruise controller which iteratively improves the fuel economy of a vehicle traveling along the same route every day. Our approach uses historical data from previous trip iterations to improve vehicle performance while guaranteeing a desired arrival time. The proposed predictive cruise controller is based on the recently developed Lear

Curtis Bright, Dragomir Ž. Đoković, Ilias Kotsireas, Vijay Ganesh

In this paper, we provide an overview of the SAT+CAS method that combines satisfiability checkers (SAT solvers) and computer algebra systems (CAS) to resolve combinatorial conjectures, and present new results vis-à-vis best matrices. The SAT+CAS method is a variant of the Davis$\unicode{8211}$Putnam$\unicode{8211}$Logemann$\unicode{8211}$Loveland $\operatorn

Xin Jin, Le Wu, Geng Zhao, Xiaodong Li

Image aesthetic quality assessment has been a relatively hot topic during the last decade. Most recently, comments type assessment (aesthetic captions) has been proposed to describe the general aesthetic impression of an image using text. In this paper, we propose Aesthetic Attributes Assessment of Images, which means the aesthetic attributes captioning. Thi

Jeong-Pyong Hong, Motoo Suzuki, Masaki Yamada

We construct charged soliton solutions around spherical charged black holes with no angular momentum in asymptotically flat spacetime. These solutions are non-linear generalizations of charged scalar clouds, dubbed Q-ball hair or Q-clouds, and they do not contradict the non-existence theorem for free (linear) scalar clouds around charged black holes. These s

Chris Bourne, Alan L. Carey, Matthias Lesch, Adam Rennie

In this article we give a comprehensive treatment of a `Clifford module flow' along paths in the skew-adjoint Fredholm operators on a real Hilbert space that takes values in KO${}_{*}(\mathbb{R})$ via the Clifford index of Atiyah-Bott-Shapiro. We develop its properties for both bounded and unbounded skew-adjoint operators including an axiomatic character

Chieh-Fang Teng, Han-Mo Ou, An-Yeu Wu

Recently, deep learning has been exploited in many fields with revolutionary breakthroughs. In the light of this, deep learning-assisted communication systems have also attracted much attention in recent years and have potential to break down the conventional design rule for communication systems. In this work, we propose two kinds of neural network-based eq

Andreana M. Rosnik, Phillip L. Geissler

Proteins in photosynthetic membranes can organize into patterned arrays that span the membrane's lateral size. Attractions between proteins in different layers of a membrane stack can play a key role in this ordering, as was suggested by microscopy and fluorescence spectroscopy and demonstrated by computer simulations of a coarse-grained model. The archi

Pavel Kovtun, Ashish Shukla

Einstein's equations in matter are gravitational analogues of Maxwell's equations in matter, providing an effective classical description of gravitational fields. We derive Einstein's equations in matter for relativistic fluids, and use them to illustrate how the Tolman-Oppenheimer-Volkoff equations are modified by the matter's response to cu

Sota Yoshida

We propose a non-parametric extrapolation method based on constrained Gaussian processes for configuration interaction methods. Our method has many advantages: (i) applicability to small data sets such as results of {\it ab initio} methods, (ii) flexibility to incorporate constraints, which are guided by physics, into the extrapolation model, (iii) providing

Silvana Bazzoni, Leonid Positselski

Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the abelian categories of $u$-comodules and $u$-contramodules and construct the recollement of unbounded derived categories of $