July 2019 arXiv papers — page 99

H. Wang, P. Gopal, S. Picozzi, S. Curtarolo

Ferroelectric Rashba semiconductors (FERSC) have recently emerged as a promising class of spintronics materials. The peculiar coupling between spin and polar degrees of freedom responsible for several exceptional properties, including ferroelectric switching of Rashba spin texture, suggests that the electron's spin could be controlled by using only elect

Mingyu Derek Ma, Kevin K. Bowden, Jiaqi Wu, Wen Cui

Discourse relation identification has been an active area of research for many years, and the challenge of identifying implicit relations remains largely an unsolved task, especially in the context of an open-domain dialogue system. Previous work primarily relies on a corpora of formal text which is inherently non-dialogic, i.e., news and journals. This data

Nicolás Cianci, Miguel Ottina

We study homology groups of posets with functor coefficients and apply our results to give a novel approach to study Khovanov homology of knots and related homology theories.

Eden Amorim

The odd dimensional projective space $\mathbb{P}^{2n-1}$ admits a contact structure arising from a non integrable distribution of hyperplanes determined by a symplectic form in $\mathbb{C}^{2n}$. Our object of interest is the set of rational curves of degree d which are tangent to that contact distribution in $\mathbb{P}^3$. Such curves are called contact cu

Nicolás Cianci, Miguel Ottina

We study Hurewicz fibrations between finite T$_0$--spaces from a combinatorial viewpoint and give strong conditions that a continuous map between finite T$_0$--spaces must satisfy in order to be a Hurewicz fibration. We also show that there exists a strong relationship between Hurewicz fibrations between finite T$_0$--spaces and Grothendieck bifibrations. Fi

Yevgeny Rakita, Thomas Kirchartz, Gary Hodes, David Cahen

The way atoms attach to each other defines the function(s), e.g., mechanical, optical, electronic, of a given material. The nature of the chemical bond is, therefore, one of the most fundamental issues in materials. Both ionic interactions, i.e., resulting from electrical charges associated with the atoms, and covalent ones, i.e., the sharing of electrons be

Bin Yang, Aihui Zhou

In this paper, we investigate a class of nonlinear eigenvalue problems resulting from quantum physics. We first prove that the eigenfunction cannot be a polynomial on any open set, which may be reviewed as a refinement of the classic unique continuation property. Then we apply the non-polynomial behavior of eigenfunction to show that the adaptive finite elem

Abed Malti

In this paper, we address the problem of exact recovery condition in retrieving 3D human motion from 2D landmark motion. We use a skeletal kinematic model to represent the 3D human motion as a vector of angular articulation motion. We address this problem based on the observation that at high tracking rate, regardless of the global rigid motion, only few ang

Liheng An, Xiangbin Cai, Meizhen Huang, Zefei Wu

Twisted bilayer graphene provides a new two-dimensional platform for studying electron interaction phenomena and flat band properties such as correlated insulator transition, superconductivity and ferromagnetism at certain magic angles. Here, we present strong evidence of correlated insulator states and superconductivity signatures in p-type twisted double-b

Shahira Abousamra, Le Hou, Rajarsi Gupta, Chao Chen

Deep learning classifiers for characterization of whole slide tissue morphology require large volumes of annotated data to learn variations across different tissue and cancer types. As is well known, manual generation of digital pathology training data is time consuming and expensive. In this paper, we propose a semi-automated method for annotating a group o

Biswajit Koley, A. Satyanarayana Reddy

In this article we study the irreducibility of polynomials of the form $x^n+ε_1 x^m+p^kε_2$, $p$ being a prime number. We will show that they are irreducible for $m=1$. We have also provided the cyclotomic factors and reducibility criterion for trinomials of the form $x^n+ε_1x^m+ε_2$, where $ε_i\in \{\, -1,+1\,\}$. This corrects few of the existing results o

Qingbin Shao, Lijun Gong, Kai Ma, Hualuo Liu

Accurate lesion detection in computer tomography (CT) slices benefits pathologic organ analysis in the medical diagnosis process. More recently, it has been tackled as an object detection problem using the Convolutional Neural Networks (CNNs). Despite the achievements from off-the-shelf CNN models, the current detection accuracy is limited by the inability o

Miguel A. Aragon-Calvo

Estimating the parameters of a model describing a set of observations using a neural network is in general solved in a supervised way. In cases when we do not have access to the model's true parameters this approach can not be applied. Standard unsupervised learning techniques on the other hand, do not produce meaningful or semantic representations that

Changjoo Nam, Jinhwi Lee, Younggil Cho, Jeongho Lee

This paper presents planning algorithms for a robotic manipulator with a fixed base in order to grasp a target object in cluttered environments. We consider a configuration of objects in a confined space with a high density so no collision-free path to the target exists. The robot must relocate some objects to retrieve the target while avoiding collisions. F

Xiaomei Yang, Zhiliang Deng

We consider an acoustic obstacle reconstruction problem with Poisson data. Due to the stochastic nature of the data, we tackle this problem in the framework of Bayesian inversion. The unknown obstacle is parameterized in its angular form. The prior for the parameterized unknown plays key role in the Bayes reconstruction algorithm. The most popular used prior

Jiahui Li, Shuang Yang, Xiaodi Huang, Qian Da

Signet ring cell carcinoma is a type of rare adenocarcinoma with poor prognosis. Early detection leads to huge improvement of patients' survival rate. However, pathologists can only visually detect signet ring cells under the microscope. This procedure is not only laborious but also prone to omission. An automatic and accurate signet ring cell detection

Tae Min Lee, Young Jin Oh, In-Kwon Lee

Cloth simulation requires a fast and stable method for interactively and realistically visualizing fabric materials using computer graphics. We propose an efficient cloth simulation method using miniature cloth simulation and upscaling Deep Neural Networks (DNN). The upscaling DNNs generate the target cloth simulation from the results of physically-based sim

Y. G. Kwon, M. Ishiguro, J. Kwon, D. Kuroda

Aims. We aim to constrain the size and porosity of ejected dust particles from comet 252P/LINEAR and their evolution near the perihelion via near-infrared multiband polarimetry. A close approach of the comet to the Earth in March 2016 (~0.036 au) provided a rare opportunity for the sampling of the comet with a high spatial resolution. Methods. We made NIR JH

Shijie Shang, Tusheng Zhang

In this paper, we establish the existence and uniqueness of solutions to stochastic heat equations with logarithmic nonlinearity driven by Brownian motion on a bounded domain $D$ in the setting of $L^2(D)$ space. The result is valid for all initial values in $L^2(D)$. The logarithmic Sobolev inequality plays an important role.

Anna Guitart, Ana Fernández del Río, África Periáñez

As video games attract more and more players, the major challenge for game studios is to retain them. We present a deep behavioral analysis of churn (game abandonment) and what we called "purchase churn" (the transition from paying to non-paying user). A series of churning behavior profiles are identified, which allows a classification of churners in

Boran Ma, Trung Dac Nguyen, Monica Olvera de la Cruz

Solid polymer electrolytes are considered a promising alternative to traditional liquid electrolytes in energy storage applications because of their good mechanical properties, and excellent thermal and chemical stability. A gap, however, still exists in understanding ion transport mechanisms and improving ion transport in solid polymer electrolytes. Therefo

Terun Chen, Kosuke Shibata, Yujiro Eto, Takuya Hirano

The interaction between atoms in a two-component Bose-Einstein condensate (BEC) is effectively modulated by the Rabi oscillation. This periodic modulation of the effective interaction is shown to generate Faraday patterns through parametric resonance. We show that there are multiple resonances arising from the density and spin waves in a two-component BEC, a

Hamid Reza moradi, Mohammad Sababheh

In a recent work of the authors, we showed some general inequalities governing numerical radius inequalities using convex functions. In this article, we present results that complement the aforementioned inequalities. In particular, the new versions can be looked at as refined and generalized forms of some well known numerical radius inequalities. Among many

William Banks, Igor Shparlinski

Given a prime $p$, an integer $H\in[1,p)$, and an arbitrary set $\cal M\subseteq \mathbb F_p^*$, where $\mathbb F_p$ is the finite field with $p$ elements, let $J(H,\cal M)$ denote the number of solutions to the congruence $$ xm\equiv yn\bmod p $$ for which $x,y\in[1,H]$ and $m,n\in\cal M$. In this paper, we bound $J(H,\cal M)$ in terms of $p$, $H$ and the c

Zhen Mei, Kui Cai, Xuan He

The practical NAND flash memory suffers from various non-stationary noises that are difficult to be predicted. Furthermore, the data retention noise induced channel offset is unknown during the readback process. This severely affects the data recovery from the memory cell. In this paper, we first propose a novel recurrent neural network (RNN)-based detector

Hirokazu Chiba, Ryota Yamanaka, Shota Matsumoto

Recently, a variety of database implementations adopting the property graph model have emerged. However, interoperable management of graph data on these implementations is challenging due to the differences in data models and formats. Here, we redefine the property graph model incorporating the differences in the existing models and propose interoperable ser

Terrence S. Tricco

We perform simulations of the Kelvin-Helmholtz instability using smoothed particle hydrodynamics (SPH). The instability is studied both in the linear and strongly non-linear regimes. The smooth, well-posed initial conditions of Lecoanet et al. (2016) are used, along with an explicit Navier-Stokes viscosity and thermal conductivity to enforce the evolution in

Jorge Mello

We study intersections of orbits in polynomial semigroup dynamics with lines on the affine plane over a number field, extending previous work of D. Ghioca, T. Tucker, M. Zieve (2008)

Theodora Bourni, Mat Langford, Giuseppe Tinaglia

X.-J. Wang proved a series of remarkable results on the structure of convex ancient solutions to mean curvature flow. Some of his results do not appear to be widely known, however, possibly due to the technical nature of his arguments and his exploitation of methods which are not widely used in mean curvature flow. In this expository article, we present Wang

Venkatesan Guruswami, Haotian Jiang

Minimum storage regenerating (MSR) codes are MDS codes which allow for recovery of any single erased symbol with optimal repair bandwidth, based on the smallest possible fraction of the contents downloaded from each of the other symbols. Recently, certain Reed-Solomon codes were constructed which are MSR. However, the sub-packetization of these codes is expo

Chenyi Zhang, Jun Pang

Probabilistic game structures combine both nondeterminism and stochasticity, where players repeatedly take actions simultaneously to move to the next state of the concurrent game. Probabilistic alternating simulation is an important tool to compare the behaviour of different probabilistic game structures. In this paper, we present a sound and complete modal

Soichiro Murakami, Makoto Morishita, Tsutomu Hirao, Masaaki Nagata

This paper describes NTT's submission to the WMT19 robustness task. This task mainly focuses on translating noisy text (e.g., posts on Twitter), which presents different difficulties from typical translation tasks such as news. Our submission combined techniques including utilization of a synthetic corpus, domain adaptation, and a placeholder mechanism,

Andrii Nagai, Nicoleta Dinu-Jaeger, Adam Para

This paper proposes an automatic procedure, based on ROOT data Analysis Framework, for the analysis of Silicon Photomultipliers (SiPM) characteristics. In particular, it can be used to analyze experimental waveforms, from oscilloscope, containing SiPM pulses acquired at different temperatures and bias voltages. Important SiPMs characteristics such as: charge

Jiangteng Li, Fei Wang

In order to keep track of the operational state of power grid, the world's largest sensor systems, smart grid, was built by deploying hundreds of millions of smart meters. Such system makes it possible to discover and make quick response to any hidden threat to the entire power grid. Non-technical losses (NTLs) have always been a major concern for its co

Michael M. Norton, Nathan Tompkins, Baptiste Blanc, Matthew C. Cambria

We experimentally and theoretically investigate the dynamics of inhibitory coupled self-driven oscillators on a star network in which a single central hub node is connected to $k$ peripheral arm nodes. The system consists of water-in-oil Belousov-Zhabotinsky $\sim$100$μ$m emulsion drops contained in storage wells etched in silicon wafers. We observed three d

Daniel Heiss

We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of motivic coarse spectra in this new setting and show that the inclusion functor from the category of bornological coarse spa

Carl T. Coker, Stuart B. Shaklan, A J E. Riggs, Garreth Ruane

Directly imaging and characterizing Earth-like exoplanets is a tremendously difficult instrumental challenge. Present coronagraphic systems have yet to achieve the required $10^{-10}$ broadband contrast in a laboratory environment, but promising progress towards this goal continues. A new approach to starlight suppression is the use of a single-mode fiber be

Tyler J. Gray, Christopher M. Danforth, Peter Sheridan Dodds

Stretched words like `heellllp' or `heyyyyy' are a regular feature of spoken language, often used to emphasize or exaggerate the underlying meaning of the root word. While stretched words are rarely found in formal written language and dictionaries, they are prevalent within social media. In this paper, we examine the frequency distributions of `stre

Finn Box, Chris Thorogood, Jian Hui Guan

We show how anisotropic, grooved features facilitate the trapping and directed transport of droplets on lubricated, liquid-shedding surfaces. Capillary action pins droplets to topographic surface features, enabling transport along the feature while inhibiting motion across (or detachment from) the feature. We demonstrate the robustness of this capillary-base

Wee Teck Gan, Atsushi Ichino

We prove the multiplicity formula for the automorphic discrete spectrum of the metaplectic group $\mathrm{Mp}_4$ of rank $2$.

John Engbers, Lauren Keough, Taylor Short

We study the problem of maximizing the number of independent sets in $n$-vertex $k$-chromatic $\ell$-connected graphs. First we consider maximizing the total number of independent sets in such graphs with $n$ sufficiently large, and for this problem we use a stability argument to find the unique extremal graph. We show that our result holds within the larger

Attila A. Yavuz, Muslum Ozgur Ozmen

Digital signatures are basic cryptographic tools to provide authentication and integrity in the emerging ubiquitous systems in which resource-constrained devices are expected to operate securely and efficiently. However, existing digital signatures might not be fully practical for such resource-constrained devices (e.g., medical implants) that have energy li

Ana Fernández del Río, Pei Pei Chen, África Periáñez

The possibility of using player engagement predictions to profile high spending video game users is explored. In particular, individual-player survival curves in terms of days after first login, game level reached and accumulated playtime are used to classify players into different groups. Lifetime value predictions for each player---generated using a deep l

David T. Frazier, Tatsushi Oka, Dan Zhu

Indirect inference requires simulating realisations of endogenous variables from the model under study. When the endogenous variables are discontinuous functions of the model parameters, the resulting indirect inference criterion function is discontinuous and does not permit the use of derivative-based optimisation routines. Using a change of variables techn

David T. Frazier, Christian P. Robert, Judith Rousseau

We analyze the behavior of approximate Bayesian computation (ABC) when the model generating the simulated data differs from the actual data generating process; i.e., when the data simulator in ABC is misspecified. We demonstrate both theoretically and in simple, but practically relevant, examples that when the model is misspecified different versions of ABC

Xiaoming An, Lipeng Duan, Yanfang Peng

We study the following fractional Schrödinger equation \begin{equation*}\label{eq0.1} ε^{2s}(-Δ)^s u + V(x)u = |u|^{p - 2}u, \,\,x\in\,\,\mathbb{R}^N, \end{equation*} where $s\in (0,\,1)$, $N>2s$, $p>1$ is subcritical and $V(x)$ is a nonnegative continuous potential. We use penalized technique to show that the problem has a family of solutions concentrating

Ignacio Rozada, Maliheh Aramon, Jonathan Machta, Helmut G. Katzgraber

Parallel tempering Monte Carlo has proven to be an efficient method in optimization and sampling applications. Having an optimized temperature set enhances the efficiency of the algorithm through more-frequent replica visits to the temperature limits. The approaches for finding an optimal temperature set can be divided into two main categories. The methods o

Nelia Mann

We analyze a generalization of the hard sphere dipole system in two dimensions in which the interaction range of the interaction can be varied. We focus on the system in the limit the interaction becomes increasingly short-ranged, while the temperature becomes low. By using a cluster expansion and taking advantage of low temperatures to perform saddle-point

Brennan Klein, Erik Hoel

The connectivity of a network contains information about the relationships between nodes, which can denote interactions, associations, or dependencies. We show that this information can be analyzed by measuring the uncertainty (and certainty) contained in paths along nodes and links in a network. Specifically, we derive from first principles a measure known

Dmytro Gavinsky, Pavel Pudlák

The notion of semi-random sources, also known as Santha-Vazirani (SV) sources, stands for a sequence of n bits, where the dependence of the i'th bit on the previous i-1 bits is limited for every $i\in[n]$. If the dependence of the i'th bit on the remaining n-1 bits is limited, then this is a strong SV-source. Even the strong SV-sources are known not

Igor Nikolaev

We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian extensions. We recover the Rokhlin and Donaldson's Theorems from the Galois theory of the non-commutative fields.

Kazumasa Nomura, Paul Terwilliger

A Leonard pair is an ordered pair of diagonalizable linear maps on a finite-dimensional vector space, that each act on an eigenbasis for the other one in an irreducible tridiagonal fashion. In the present paper we consider a type of Leonard pair, said to have spin. The notion of a spin model was introduced by V.F.R. Jones to construct link invariants. A spin

Zack Carson, Brian C. Seymour, Kent Yagi

The extreme-gravity collisions of binaries with one black hole and one neutron star provide for excellent tests of general relativity. We here study how well one can constrain theories beyond general relativity with additional scalar fields that allow for spontaneous scalarization of neutron stars, and those motivated from string theory. We find that existin

Tinghua Chen, Terrance M. Figy, Walter T. Giele

In this paper we use our previously developed projective phase space generator for the calculation of the hadronic production of a vector boson with one additional jet at Next-to-Leading Order. The projective phase space generator allows us to make physical predictions in novel ways, speeding up both evaluation time and attainable accuracy. For the numerical

Bao Xin Chen, John K. Tsotsos

In this paper, we demonstrate a novel algorithm that uses ellipse fitting to estimate the bounding box rotation angle and size with the segmentation(mask) on the target for online and real-time visual object tracking. Our method, SiamMask_E, improves the bounding box fitting procedure of the state-of-the-art object tracking algorithm SiamMask and still retai

Grégoire Altan-Bonnet, Thierry Mora, Aleksandra M. Walczak

The adaptive immune system is a dynamical, self-organized multiscale system that protects vertebrates from both pathogens and internal irregularities, such as tumours. For these reason it fascinates physicists, yet the multitude of different cells, molecules and sub-systems is often also petrifying. Despite this complexity, as experiments on different scales

Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce

An effective way to maximize code coverage in software tests is through dynamic symbolic execution$-$a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible arc

Junxiong Jia, Qian Zhao, Zongben Xu, Deyu Meng

Bayesian approach, as a useful tool for quantifying uncertainties, has been widely used for solving inverse problems of partial differential equations (PDEs). One of the key difficulties for employing Bayesian approach for the issue is how to extract information from the posterior probability measure. Variational Bayes' method (VBM) is firstly and broadly st

Barnaby Rowe

We describe an approach to improving model fitting and model generalization that considers the entropy of distributions of modelling residuals. We use simple simulations to demonstrate the observational signatures of overfitting on ordered sequences of modelling residuals, via the autocorrelation and power spectral density. These results motivate the conclus

Kunal L. Tiwari, J. Lavoie, T. Pereg-Barnea, W. A. Coish

We show that skyrmions on the surface of a magnetic topological insulator may experience an attractive interaction that leads to the formation of a skyrmion-skyrmion bound state. This is in contrast to the case of skyrmions in a conventional chiral ferromagnet, for which the intrinsic interaction is repulsive. The origin of skyrmion binding in our model is t

Erfan Yazdandoost Hamedani, Afrooz Jalilzadeh, Necdet Serhat Aybat

We consider (stochastic) convex-concave saddle point (SP) problems with high-dimensional decision variables, arising in various applications including machine learning problems. To contend with the challenges in computing full gradients, we employ a randomized block-coordinate primal-dual scheme in which randomly selected primal and dual blocks of variables

Hamid Hezari, Steve Zelditch

We show that if the eccentricity of an ellipse is sufficiently small then up to isometries it is spectrally unique among all smooth domains. We do not assume any symmetry, convexity, or closeness to the ellipse, on the class of domains. In the course of the proof we also show that for nearly circular domains, the lengths of periodic orbits that are shorter t

Arjun Krishnan, Scott Neville

A classical bijection relates certain Kostka numbers, the Catalan numbers, and permutations of length $n$ with longest increasing subsequence (LIS) of length at most $2.$ We generalize this bijection and find Kostka numbers which count the number of permutations of $n$ with LIS length at most $w,$ the number of permutations with $(1, \cdots, w)$ as a LIS, an

Moumanti Podder, Maksim Zhukovskii

For any fixed positive integer $k$, let $α_{k}$ denote the smallest $α\in (0,1)$ such that the random graph sequence $\left\{G\left(n, n^{-α}\right)\right\}$ does not satisfy the zero-one law for the set $\mathcal{E}_{k}$ of all existential first order sentences that are of quantifier depth at most $k$. This paper finds upper and lower bounds on $α_{k}$, sho

Enrico Cecini, Ernesto De Vito, Lorenzo Rosasco

We propose and study a multi-scale approach to vector quantization. We develop an algorithm, dubbed reconstruction trees, inspired by decision trees. Here the objective is parsimonious reconstruction of unsupervised data, rather than classification. Contrasted to more standard vector quantization methods, such as K-means, the proposed approach leverages a fa

Dongdong She, Yizheng Chen, Abhishek Shah, Baishakhi Ray

Dynamic taint analysis (DTA) is widely used by various applications to track information flow during runtime execution. Existing DTA techniques use rule-based taint-propagation, which is neither accurate (i.e., high false positive) nor efficient (i.e., large runtime overhead). It is hard to specify taint rules for each operation while covering all corner cas

G. A. Kriss, G. De Rosa, J. Ely, B. M. Peterson

We model the ultraviolet spectra of the Seyfert 1 galaxy NGC~5548 obtained with the Hubble Space Telescope during the 6-month reverberation-mapping campaign in 2014. Our model of the emission from NGC 5548 corrects for overlying absorption and deblends the individual emission lines. Using the modeled spectra, we measure the response to continuum variations f

Zydrunas Gimbutas, Nicholas F. Marshall, Vladimir Rokhlin

We present a fast method for evaluating expressions of the form $$ u_j = \sum_{i = 1,i \not = j}^n \frac{α_i}{x_i - x_j}, \quad \text{for} \quad j = 1,\ldots,n, $$ where $α_i$ are real numbers, and $x_i$ are points in a compact interval of $\mathbb{R}$. This expression can be viewed as representing the electrostatic potential generated by charges on a line i

Italo Cipriano, Natalia Jurga

We study fast approximation of integrals with respect to stationary probability measures associated to iterated functions systems on the unit interval. We provide an algorithm for approximating the integrals under certain conditions on the iterated function system and on the function that is being integrated. We apply this technique to estimate Hausdorff mom

G. M. Tino, A. Bassi, G. Bianco, K. Bongs

The proposed mission "Space Atomic Gravity Explorer" (SAGE) has the scientific objective to investigate gravitational waves, dark matter, and other fundamental aspects of gravity as well as the connection between gravitational physics and quantum physics using new quantum sensors, namely, optical atomic clocks and atom interferometers based on ultrac

S. M. Alkhimova, A. P. Krenevych

The fully automated and relatively accurate method of brain tissues segmentation on T2-weighted magnetic resonance perfusion images is proposed. Segmentation with this method provides a possibility to obtain perfusion region of interest on images with abnormal brain anatomy that is very important for perfusion analysis. In the proposed method the result is p

Swarnadeep Majumder, Leonardo Andreta de Castro, Kenneth R. Brown

Accurate control of quantum systems requires precise measurement of the parameters that govern the dynamics, including control fields and interactions with the environment. Parameters will drift in time and experiments interleave protocols that perform parameter estimation with protocols that measure the dynamics of interest. Here we specialize to a system m

J. Aichelin, E. Bratkovskaya, A. Le Fevre, V. Kireyeu

Cluster and hypernuclei production in heavy-ion collisions is presently under active experimental and theoretical investigation. Since clusters are weekly bound objects, their production is very sensitive to the dynamical evolution of the system and its interactions. The theoretical description of cluster formation is related to the n-body problem. Here we p

Lev Gordeev

We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)

Cihan Bayindir

In this paper, we propose a numerical framework to study the shapes, dynamics and the stabilities of the self-localized solutions of the nonlinear wave blocking problem. With this motivation, we use the nonlinear Schrödinger equation (NLSE) derived by Smith as a model for the nonlinear wave blocking. We propose a spectral renormalization method (SRM) to find

Joseph Knight, Ashvin Swaminathan, Dennis Tseng

More than four decades ago, Eisenbud, Khimšiašvili, and Levine introduced an analogue in the algebro-geometric setting of the notion of local degree from differential topology. Their notion of degree, which we call the EKL-degree, can be thought of as a refinement of the usual notion of local degree in algebraic geometry that works over non-algebraically clo

Chao Li

We prove the following comparison theorem for metrics with nonnegative scalar curvature, also known as the dihedral rigidity conjecture by Gromov: for $n\le 7$, if an $n$-dimensional prism has nonnegative scalar curvature and weakly mean convex faces, then its dihedral angle cannot be everywhere not larger than its Euclidean model, unless it is isometric to

Yuwen Li

For a generalized Hodge Laplace equation, we prove the quasi-optimal convergence rate of an adaptive mixed finite element method. This adaptive method can control the error in the natural mixed variational norm when the space of harmonic forms is trivial. In particular, we obtain new quasi-optimal adaptive mixed methods for the Hodge Laplace, Poisson, and St

Robin J. Deeley, Ian F. Putnam, Karen R. Strung

We study the existence of minimal dynamical systems, their orbit and minimal orbit-breaking equivalence relations, and their applications to C*-algebras and K-theory. We show that given any finite CW-complex there exists a space with the same K-theory and cohomology that admits a minimal homeomorphism. The proof relies on the existence of homeomorphisms on p

Marc Roth, Philip Wellnitz

Counting homomorphisms from a graph $H$ into another graph $G$ is a fundamental problem of (parameterized) counting complexity theory. In this work, we study the case where \emph{both} graphs $H$ and $G$ stem from given classes of graphs: $H\in \mathcal{H}$ and $G\in \mathcal{G}$. By this, we combine the structurally restricted version of this problem, with

C. F. Manara, M. Tazzari, F. Long, G. J. Herczeg

The impact of stellar multiplicity on the evolution of planet-forming disks is still the subject of debate. Here we present and analyze disk structures around ten multiple stellar systems that were included in an unbiased, high spatial resolution survey performed with ALMA of 32 protoplanetary disks in the Taurus star-forming region. At the unprecedented spa

Anastasia Zvezdakova, Dmitriy Kulikov, Denis Kondranin, Dmitriy Vatolin

This paper analyses the application of no-reference metric NIQE to the task of video-codec comparison. A number of issues in the metric behaviour on videos was detected and described. The metric has outlying scores on black and solid-coloured frames. The proposed averaging technique for metric quality scores helped to improve the results in some cases. Also,

Nathan Haouzi, Can Kozçaz

Let $\mathfrak{g}$ be a simple Lie algebra. We study 1/2-BPS Wilson loops of supersymmetric 5d $\mathfrak{g}$-type quiver gauge theories on a circle, in a non-trivial instanton background. The Wilson loops are codimension 4 defects of the gauge theory, and their interaction with self-dual instantons is captured by a modified 1d ADHM quantum mechanics. We com

Harshavardhan Kamarthi, Priyesh Vijayan, Bryan Wilder, Balaraman Ravindran

A serious challenge when finding influential actors in real-world social networks is the lack of knowledge about the structure of the underlying network. Current state-of-the-art methods rely on hand-crafted sampling algorithms; these methods sample nodes and their neighbours in a carefully constructed order and choose opinion leaders from this discovered ne

Konark Bisht, Yiwei Wang, Apala Majumdar, Varsha Banerjee

We focus on a dilute uniform suspension of magnetic nanoparticles in a nematic-filled micron-sized shallow well with tangent boundary conditions, as a paradigm system with two coupled order parameters. This system exhibits spontaneous magnetization without magnetic fields. We numerically obtain the stable nematic and associated magnetization morphologies, in

Alexander Dunaykin, Vyacheslav Zhukov

To a singular knot K with n double points, one can associate a chord diagram with n chords. A chord diagram can also be understood as a 4-regular graph endowed with an oriented Euler circuit. L. Traldi introduced a polynomial invariant for such graphs, called a transition polynomial. We specialize this polynomial to a multiplicative weight system, that is, a

Thomas M. Michelitsch, Alejandro P. Riascos

A non-Markovian counting process, the `generalized fractional Poisson process&#39; (GFPP) introduced by Cahoy and Polito in 2013 is analyzed. The GFPP contains two index parameters $0<β\leq 1$, $α>0$ and a time scale parameter. Generalizations to Laskin&#39;s fractional Poisson distribution and to the fractional Kolmogorov-Feller equation are derived. We dev

Alberto Cassella, Claudio Quadrelli

Let F be a finite field. We prove that the cohomology algebra with coefficients in F of a right-angled Artin group is a strongly Koszul algebra for every finite graph $Γ$. Moreover, the same algebra is a universally Koszul algebra if, and only if, the graph $Γ$ associated to the right-angled Artin group has the diagonal property. From this we obtain several

Arbaaz Khan, Ekaterina Tolstaya, Alejandro Ribeiro, Vijay Kumar

In this paper, we consider the problem of learning policies to control a large number of homogeneous robots. To this end, we propose a new algorithm we call Graph Policy Gradients (GPG) that exploits the underlying graph symmetry among the robots. The curse of dimensionality one encounters when working with a large number of robots is mitigated by employing

Abhimanyu Dubey, Alex Pentland

Thompson Sampling provides an efficient technique to introduce prior knowledge in the multi-armed bandit problem, along with providing remarkable empirical performance. In this paper, we revisit the Thompson Sampling algorithm under rewards drawn from symmetric $α$-stable distributions, which are a class of heavy-tailed probability distributions utilized in

Ilya Afanasyev, Manuel Mazzara, Subham Chakraborty, Nikita Zhuchkov

Internet of Things (IoT) and robotics cannot be considered two separate domains these days. Internet of Robotics Things (IoRT) is a concept that has been recently introduced to describe the integration of robotics technologies in IoT scenarios. As a consequence, these two research fields have started interacting, and thus linking research communities. In thi

Max Hopkins, Daniel M. Kane, Shachar Lovett

In the world of big data, large but costly to label datasets dominate many fields. Active learning, a semi-supervised alternative to the standard PAC-learning model, was introduced to explore whether adaptive labeling could learn concepts with exponentially fewer labeled samples. While previous results show that active learning performs no better than its su

Vladimir Khachatryan, Michal Praszalowicz

A recent analysis from the PHENIX collaboration of available direct photon measurement results in collisions of various systems such as Au+Au, Cu+Cu, and Pb+Pb, at different beam energies ranging from 39 to 2760 GeV, has shown a universal, within experimental uncertainties, $multiplicity$ scaling, in which direct photon $p_{T}$-spectra for transverse momenta

Tom Y. Zhao, Neelesh A. Patankar

Above a critical temperature known as the Leidenfrost point (LFP), a heated surface can suspend a liquid droplet above a film of its own vapor. The insulating vapor film can be highly detrimental in metallurgical quenching and thermal control of electronic devices, but may also be harnessed to reduce drag and generate power. Manipulation of the LFP has occur

Jose Luis Montiel Olea, Pietro Ortoleva, Mallesh M Pai, Andrea Prat

Different agents need to make a prediction. They observe identical data, but have different models: they predict using different explanatory variables. We study which agent believes they have the best predictive ability -- as measured by the smallest subjective posterior mean squared prediction error -- and show how it depends on the sample size. With small

Lu Yu, Tobias Kaufmann, Johannes Lederer

The increasing availability of data has generated unprecedented prospects for network analyses in many biological fields, such as neuroscience (e.g., brain networks), genomics (e.g., gene-gene interaction networks), and ecology (e.g., species interaction networks). A powerful statistical framework for estimating such networks is Gaussian graphical models, bu

Fang Xie, Johannes Lederer

Recent discoveries suggest that our gut microbiome plays an important role in our health and wellbeing. However, the gut microbiome data are intricate; for example, the microbial diversity in the gut makes the data high-dimensional. While there are dedicated high-dimensional methods, such as the lasso estimator, they always come with the risk of false discov

Blake C. Stacey

I correct two misapprehensions, one historical and one conceptual, in the recent literature on extensions of the Wigner&#39;s Friend thought-experiment. Perhaps fittingly, both concern the accurate description of some quantum physicists&#39; beliefs by others.

Fernando Abadie, Alcides Buss, Damián Ferraro

Building on previous papers by Anantharaman-Delaroche (AD) we introduce and study the notion of AD-amenability for partial actions and Fell bundles over discrete groups. We prove that the cross-sectional C*-algebra of a Fell bundle is nuclear if and only if the underlying unit fibre is nuclear and the Fell bundle is AD-amenable. If a partial action is global

Carlos Rodríguez-Pardo, Hakan Bilen

The use of computational methods to evaluate aesthetics in photography has gained interest in recent years due to the popularization of convolutional neural networks and the availability of new annotated datasets. Most studies in this area have focused on designing models that do not take into account individual preferences for the prediction of the aestheti