February 2019 arXiv papers — page 110

Mayumi Ikuta, Yumi Sugano, Hiroki Saito

Three coaxial quantized vortex rings in a Bose-Einstein condensate exhibit aperiodic leapfrogging dynamics. It is found that such circular vortex rings are dynamically unstable against deformation breaking axial rotational symmetry. The dynamics of the system are analyzed using the Gross-Pitaevskii and vortex-filament models. The dependence of the instabilit

Kexin Tang, Nuowen Kan, Junni Zou, Xiao Fu

We consider a multi-user video streaming service optimization problem over a time-varying and mutually interfering multi-cell wireless network. The key research challenge is to appropriately adapt each user's video streaming rate according to the radio frequency environment (e.g., channel fading and interference level) and service demands (e.g., play req

Reza Asadi, Amelia Regan

Spatial time series forecasting problems arise in a broad range of applications, such as environmental and transportation problems. These problems are challenging because of the existence of specific spatial, short-term and long-term patterns, and the curse of dimensionality. In this paper, we propose a deep neural network framework for large-scale spatial t

Wei Ji, Keye Zhang, Weiping Zhang, Lu Zhou

We study the Bloch oscillation dynamics of a spin-orbit-coupled cold atomic gas trapped inside a one-dimensioanl optical lattice. The eigenspectra of the system is identified as two interpenetrating Wannier-Stark ladder. Based on that, we carefully analyzed the Bloch oscillation dynamics and found out that intraladder coupling between neighboring rungs of Wa

Nikolaj Tatti

We investigate determining the exact bounds of the frequencies of conjunctions based on frequent sets. Our scenario is an important special case of some general probabilistic logic problems that are known to be intractable. We show that despite the limitations our problems are also intractable, namely, we show that checking whether the maximal consistent fre

Nikolaj Tatti

In many applications, monitoring area under the ROC curve (AUC) in a sliding window over a data stream is a natural way of detecting changes in the system. The drawback is that computing AUC in a sliding window is expensive, especially if the window size is large and the data flow is significant. In this paper we propose a scheme for maintaining an approxima

Ziqiang Shi, Huibin Lin, Liu Liu, Rujie Liu

Short-time Fourier transform (STFT) is used as the front end of many popular successful monaural speech separation methods, such as deep clustering (DPCL), permutation invariant training (PIT) and their various variants. Since the frequency component of STFT is linear, while the frequency distribution of human auditory system is nonlinear. In this work we pr

Marwan Mattar, Michael Ross, Erik Learned-Miller

Congealing is a flexible nonparametric data-driven framework for the joint alignment of data. It has been successfully applied to the joint alignment of binary images of digits, binary images of object silhouettes, grayscale MRI images, color images of cars and faces, and 3D brain volumes. This research enhances congealing to practically and effectively appl

Zhengxuan Wu, Jason Luo, Xiyu Zhang

Understanding patronage networks in Chinese Bureaucracy helps us quantify the promotion mechanism underlying autocratic political systems. Although there are qualitative studies analyzing political promotions, few use quantitative methods to model promotions and make inferences on the fitted mathematical model. Using publicly available datasets, we implement

Wahyudi, Masayu Leylia Khodra, Ary Setijadi Prihatmanto, Carmadi Machbub

A question answering system (QA System) was developed that uses graph-pattern association rules on the YAGO knowledge base. The answer as output of the system is provided based on a user question as input. If the answer is missing or unavailable in the database, then graph-pattern association rules are used to get the answer. The architecture of this questio

Ting Zhang, Jingdong Wang

Cross-modal similarity search is a problem about designing a search system supporting querying across content modalities, e.g., using an image to search for texts or using a text to search for images. This paper presents a compact coding solution for efficient search, with a focus on the quantization approach which has already shown the superior performance

Xinshi Chen, Eric Chung

The thesis is about an application of the shape optimization to the morphological evolution of Golgi stack. Golgi stack consists of multiple layers of cisternae. It is an organelle in the biological cells. Inspired by the Helfrich Model \cite{Helfrich}, which is a model for vesicles typically applied to biological cells, a new model specially designed for Go

Xiaojuan Wang, Ting Zhang, Guo-Jun Q, Jinhui Tang

In this paper, we address the problem of searching for semantically similar images from a large database. We present a compact coding approach, supervised quantization. Our approach simultaneously learns feature selection that linearly transforms the database points into a low-dimensional discriminative subspace, and quantizes the data points in the transfor

Aakif Mairaj, Asif I. Baba, Ahmad Y. Javaid

Over the past two decades, Unmanned Aerial Vehicles (UAVs), more commonly known as drones, have gained a lot of attention, and are rapidly becoming ubiquitous because of their diverse applications such as surveillance, disaster management, pollution monitoring, film-making, and military reconnaissance. However, incidents such as fatal system failures, malici

Abraham Frandsen, Rong Ge

Word embedding is a powerful tool in natural language processing. In this paper we consider the problem of word embedding composition \--- given vector representations of two words, compute a vector for the entire phrase. We give a generative model that can capture specific syntactic relations between words. Under our model, we prove that the correlations be

Xihe Li, Pierre Besse, Colton Magnant, Ligong Wang

Given graphs $G$ and $H$ and a positive integer $k$, the \emph{Gallai-Ramsey number}, denoted by $gr_{k}(G : H)$ is defined to be the minimum integer $n$ such that every coloring of $K_{n}$ using at most $k$ colors will contain either a rainbow copy of $G$ or a monochromatic copy of $H$. We consider this question in the cases where $G \in \{P_{4}, P_{5}\}$.

Nitin R. Kapania, J. Christian Gerdes

Iterative learning control has been successfully used for several decades to improve the performance of control systems that perform a single repeated task. Using information from prior control executions, learning controllers gradually determine open-loop control inputs whose reference tracking performance can exceed that of traditional feedback-feedforward

Ningnan Zhou, Xuan Zhou, Kian-lee Tan, Shan Wang

For performance reasons, conventional DBMSes adopt monolithic architectures. A monolithic design cripples the adaptability of a DBMS, making it difficult to customize, to meet particular requirements of different applications. In this paper, we propose to completely separate the code of concurrency control (CC) from a monolithic DBMS. This allows us to add /

Aaron Defazio, Mark Tygert

One representation of possible errors in a grayscale image reconstruction is as another grayscale image estimating potentially worrisome differences between the reconstruction and the actual "ground-truth" reality. Visualizations and summary statistics can aid in the interpretation of such a representation of error estimates. Visualizations include s

Eunji Chong, Katha Chanda, Zhefan Ye, Audrey Southerland

Eye contact is a crucial element of non-verbal communication that signifies interest, attention, and participation in social interactions. As a result, measures of eye contact arise in a variety of applications such as the assessment of the social communication skills of children at risk for developmental disorders such as autism, or the analysis of turn-tak

Nitin R. Kapania, John Subosits, J Christian Gerdes

The problem of maneuvering a vehicle through a race course in minimum time requires computation of both longitudinal (brake and throttle) and lateral (steering wheel) control inputs. Unfortunately, solving the resulting nonlinear optimal control problem is typically computationally expensive and infeasible for real-time trajectory planning. This paper presen

Yu Zhang, Mehrdad Zakershahrak

Generating explanation to explain its behavior is an essential capability for a robotic teammate. Explanations help human partners better understand the situation and maintain trust of their teammates. Prior work on robot generating explanations focuses on providing the reasoning behind its decision making. These approaches, however, fail to heed the cogniti

Aniket Shivam, Neftali Watkinson, Alexandru Nicolau, David Padua

Numerous code optimization techniques, including loop nest optimizations, have been developed over the last four decades. Loop optimization techniques transform loop nests to improve the performance of the code on a target architecture, including exposing parallelism. Finding and evaluating an optimal, semantic-preserving sequence of transformations is a com

Edoardo Ballico, Sukmoon Huh

We investigate the arrangement of hypersurfaces on a nonsingular varieties whose associated logarithmic vector bundle is arithmetically Cohen-Macaulay (for short, aCM), and prove that the projective space is the only smooth complete intersection with Picard rank one that admits an aCM logarithmic vector bundle. We also obtain a number of results on aCM logar

Nitin R. Kapania, Vijay Govindarajan, Francesco Borrelli, J. Christian Gerdes

As autonomous vehicles (AVs) inch closer to reality, a central requirement for acceptance will be earning the trust of humans in everyday driving situations. In particular, the interaction between AVs and pedestrians is of high importance, as every human is a pedestrian at some point of the day. This paper considers the interaction of a pedestrian and an aut

Martin Schreiber, Nathanaël Schaeffer, Richard Loft

High-performance computing trends towards many-core systems are expected to continue over the next decade. As a result, parallel-in-time methods, mathematical formulations which exploit additional degrees of parallelism in the time dimension, have gained increasing interest in recent years. In this work we study a massively parallel rational approximation of

Frédéric de Gournay, Jonas Kahn, Léo Lebrat, Pierre Weiss

We propose a fast and scalable algorithm to project a given density on a set of structured measures defined over a compact 2D domain. The measures can be discrete or supported on curves for instance. The proposed principle and algorithm are a natural generalization of previous results revolving around the generation of blue-noise point distributions, such as

Jay Gopalakrishnan, Luka Grubišić, Jeffrey Ovall

We consider filtered subspace iteration for approximating a cluster of eigenvalues (and its associated eigenspace) of a (possibly unbounded) selfadjoint operator in a Hilbert space. The algorithm is motivated by a quadrature approximation of an operator-valued contour integral of the resolvent. Resolvents on infinite dimensional spaces are discretized in com

Werner Bauer, François Gay-Balmaz

The anelastic and pseudo-incompressible equations are two well-known soundproof approximations of compressible flows useful for both theoretical and numerical analysis in meteorology, atmospheric science, and ocean studies. In this paper, we derive and test structure-preserving numerical schemes for these two systems. The derivations are based on a discrete

Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu

The use of deceptive strategies is important for an agent that attempts not to reveal his intentions in an adversarial environment. We consider a setting in which a supervisor provides a reference policy and expects an agent to follow the reference policy and perform a task. The agent may instead follow a different, deceptive policy to achieve a different ta

Dariusz Graczyk, Grzegorz Pietrzynski, Wolfgang Gieren, Jesper Storm

Using a sample of 81 galactic, detached eclipsing binary stars we investigated the global zero-point shift of their parallaxes with the Gaia Data Release 2 (DR2) parallaxes. The stars in the sample lay in a distance range of 0.04-2 kpc from the Sun. The photometric parallaxes π_Phot of the eclipsing binaries were determined by applying a number of empirical

Thomas Berger, Marc Puche, Felix Schwenninger

We study tracking control for a nonlinear moving water tank system modelled by the linearized Saint-Venant equations, where the output is given by the position of the tank and the control input is the force acting on it. For a given reference signal, the objective is that the tracking error evolves within a pre-specified performance funnel. Exploiting recent

Elliot Pachniak, Svetlana A. Malinovskaya

Entangled states are crucial for modern quantum enabled technology which makes their creation key for future developments. In this paper, a robust quantum control methodology is presented to create entangled states of two typical classes, the W and the Greenberger-Horne-Zeilinger (GHZ). It was developed from the analysis of a chain of alkali atoms $^{87}Rb $

C. Walsh, P. Sémon, G. Sordi, A. -M. S. Tremblay

Phase transitions and their associated crossovers are imprinted in the behavior of fluctuations. Motivated by recent experiments on ultracold atoms in optical lattices, we compute the thermodynamic density fluctuations $δN^2$ of the two-dimensional fermionic Hubbard model with plaquette cellular dynamical mean-field theory. To understand the length scale of

John Duchi, Ryan Rogers

We develop lower bounds for estimation under local privacy constraints---including differential privacy and its relaxations to approximate or Rényi differential privacy---by showing an equivalence between private estimation and communication-restricted estimation problems. Our results apply to arbitrarily interactive privacy mechanisms, and they also give sh

Douglas Comer, Adib Rastegarnia

Current SDN controllers have been designed based on a monolithic approach that integrates all of services and applications into one single, huge program. The monolithic design of SDN controllers restricts programmers who build management applications to the specific programming interfaces and services that a given SDN controller provides, making application

Gabriel Schamberg, Todd P. Coleman

When estimating the directed information between two jointly stationary Markov processes, it is typically assumed that the recipient of the directed information is itself Markov of the same order as the joint process. While this assumption is often made explicit in the presentation of such estimators, a characterization of when we can expect the assumption t

Zhe Gan, Yu Cheng, Ahmed El Kholy, Linjie Li

This paper presents a new model for visual dialog, Recurrent Dual Attention Network (ReDAN), using multi-step reasoning to answer a series of questions about an image. In each question-answering turn of a dialog, ReDAN infers the answer progressively through multiple reasoning steps. In each step of the reasoning process, the semantic representation of the q

Sascha Saralajew, Lars Holdijk, Maike Rees, Thomas Villmann

Adversarial attacks and the development of (deep) neural networks robust against them are currently two widely researched topics. The robustness of Learning Vector Quantization (LVQ) models against adversarial attacks has however not yet been studied to the same extent. We therefore present an extensive evaluation of three LVQ models: Generalized LVQ, Genera

Barbara Jasiulis-Gołdyn, Edward Omey, Mateusz Staniak

The paper deals with fluctuations of Kendall random walks, which are extremal Markov chains and iterated integral transforms with the Williamson kernel $\Psi(t) = \left(1-|t|^{\alpha}\right)_+$, $\alpha>0$. We obtain the joint distribution of the first ascending ladder epoch and height over any level $a \geq 0$ and distribution of maximum and minimum for the

Xiaofan Zhou, Xi-Wang Luo, Gang Chen, Suotang Jia

The characterization of quantum magnetism in a large spin ($\geq 1$) system naturally involves both spin-vectors and -tensors. While certain types of spin-vector (e.g., ferromagnetic, spiral) and spin-tensor (e.g., nematic in frustrated lattices) orders have been investigated separately, the coexistence and correlation between them have not been well explore

Timothy F. N. Chan, Andrzej Grzesik, Daniel Kral, Jonathan A. Noel

Linial and Morgenstern conjectured that, among all $n$-vertex tournaments with $d\binom{n}{3}$ cycles of length three, the number of cycles of length four is asymptotically minimized by a random blow-up of a transitive tournament with all but one part of equal size and one smaller part. We prove the conjecture for $d\ge 1/36$ by analyzing the possible spectr

CMS Collaboration

Signals consistent with the B$^+_\mathrm{c}$(2S) and B$^{*+}_\mathrm{c}$(2S) states are observed in proton-proton collisions at $\sqrt{s} =$ 13 TeV, in an event sample corresponding to an integrated luminosity of 143 fb$^{-1}$, collected by the CMS experiment during the 2015-2018 LHC running periods. These excited $\bar{\mathrm{b}}$c states are observed in t

Ranajoy Banerji, Guillaume Patanchon, Jacques Delabrouille, Masashi Hazumi

Future Cosmic Microwave Background (CMB) satellite missions aim at using the B-mode polarisation signal to measure the tensor-to-scalar ratio $r$ with a sensitivity $σ(r)$ of the order of $\leq 10^{-3}$. Small uncertainties in the characterisation of instrument properties such as the spectral filters can lead to a leakage of the intensity signal to polarisat

Daniel Méndez Fernández, Xavier Franch, Norbert Seyff, Michael Felderer

Nowadays, there exist a plethora of different educational syllabi for Requirements Engineering (RE), all aiming at incorporating practically relevant educational units (EUs). Many of these syllabi are based, in one way or the other, on the syllabi provided by the International Requirements Engineering Board (IREB), a non-profit organisation devoted to standa

M. A. Acero, P. Adamson, L. Aliaga, T. Alion

The cross section of neutrino-induced neutral-current coherent $π^0$ production on a carbon-dominated target is measured in the NOvA near detector. This measurement uses a narrow-band neutrino beam with an average neutrino energy of 2.7\,GeV, which is of interest to ongoing and future long-baseline neutrino oscillation experiments. The measured, flux-average

M. Chabab, H. El Moumni, S. Iraoui, K. Masmar

The phase structure of charged Anti-de Sitter black hole in massive gravity is investigated using the unstable circular photon orbits formalism, concretely we establish a direct link between the null geodesics and the critical behavior thermodynamic of such black hole solution. Our analysis reveals that the radius and the impact parameter corresponding to th

Adam Burrows, David Radice, David Vartanyan

Using the new state-of-the-art core-collapse supernova (CCSN) code F{\sc{ornax}}, we have simulated the three-dimensional dynamical evolution of the cores of 9-, 10-, 11-, 12-, and 13-M$_{\odot}$ stars from the onset of collapse. Stars from 8-M$_{\odot}$ to 13-M$_{\odot}$ constitute roughly 50% of all massive stars, so the explosive potential for this mass r

Philipp Seifer, Martin Leinberger, Ralf Lämmel, Steffen Staab

Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific domains. The flexibility of such approaches, however, makes programming with semantic data tedious and error-prone. In parti

Cory Cornelius, Nilaksh Das, Shang-Tse Chen, Li Chen

In this appraisal paper, we evaluate the efficacy of SHIELD, a compression-based defense framework for countering adversarial attacks on image classification models, which was published at KDD 2018. Here, we consider alternative threat models not studied in the original work, where we assume that an adaptive adversary is aware of the ensemble defense approac

Ariel Guerreiro, José Tito Mendonça, Robert Bingham

Dust is ubiquitous in the Universe and its influence on the observed Electromagnetic (EM) radiation needs to be correctly addressed. In recent years it became clear that scattering of EM radiation from interstellar dust grains could change the local properties of the observed Cosmic Microwave Background (CMB) radiation. Here we consider the relevant processe

Artem Lutov, Mourad Khayati, Philippe Cudré-Mauroux

Performance of clustering algorithms is evaluated with the help of accuracy metrics. There is a great diversity of clustering algorithms, which are key components of many data analysis and exploration systems. However, there exist only few metrics for the accuracy measurement of overlapping and multi-resolution clustering algorithms on large datasets. In thi

Luis Inzunza, Mikhail S. Plyushchay

We study the Klein four-group $(K_4)$ symmetry of the time-dependent Schrödinger equation for the conformal mechanics model of de Alfaro-Fubini-Furlan (AFF) with confining harmonic potential and coupling constant $g=ν(ν+1)\geq -1/4$. We show that it undergoes a complete or partial (at half-integer $ν$) breaking on eigenstates of the system, and is the automo

Peter Klages, Ilyes Benslimane, Sadegh Riyahi, Jue Jiang

A total of twenty paired CT and MR images were used in this study to investigate two conditional generative adversarial networks, Pix2Pix, and Cycle GAN, for generating synthetic CT images for Headand Neck cancer cases. Ten of the patient cases were used for training and included such common artifacts as dental implants; the remaining ten testing cases were

Kun Zhou, Ker-Chau Li, Qing Zhou

The issue of honesty in constructing confidence sets arises in nonparametric regression. While optimal rate in nonparametric estimation can be achieved and utilized to construct sharp confidence sets, severe degradation of confidence level often happens after estimating the degree of smoothness. Similarly, for high-dimensional regression, oracle inequalities

Christina D. Kreisch, Francis-Yan Cyr-Racine, Olivier Doré

New physics in the neutrino sector might be necessary to address anomalies between different neutrino oscillation experiments. Intriguingly, it also offers a possible solution to the discrepant cosmological measurements of $H_0$ and $σ_8$. We show here that delaying the onset of neutrino free-streaming until close to the epoch of matter-radiation equality ca

Xueming Hui

We prove three formulas for computing topological pressure of $C^1$-generic conservative diffeomorphism and show the continuity of topological pressure with respect to these diffeomorphisms. We prove for these generic diffeomorphisms that there is no equilibrium states with positive measure theoretic entropy. In particular, for hyperbolic potentials, there i

David Nesbitt, Gunnar Pruessner, Chiu Fan Lee

The dynamics of dry active matter have implications for a diverse collection of biological phenomena spanning a range of length and time scales, such as animal flocking, cell tissue dynamics, and swarming of inserts and bacteria. Uniting these systems are a common set of symmetries and conservation laws, defining dry active fluids as a class of physical syst

D. Pelc, M. J. Veit, C. J. Dorow, Y. Ge

The phase diagram of the cuprate superconductors has posed a formidable scientific challenge for more than three decades. This challenge is perhaps best exemplified by the need to understand the normal-state charge transport as the system evolves from Mott insulator to Fermi-liquid metal with doping. Here we report a detailed analysis of the temperature (T)

Hao Liu, Alexander Trott, Richard Socher, Caiming Xiong

Deep learning has achieved remarkable successes in solving challenging reinforcement learning (RL) problems when dense reward function is provided. However, in sparse reward environment it still often suffers from the need to carefully shape reward function to guide policy optimization. This limits the applicability of RL in the real world since both reinfor

Paolo Creminelli, Leonardo Senatore, András Vasy

We study, using Mean Curvature Flow methods, 2+1 dimensional cosmologies with a positive cosmological constant and matter satisfying the dominant and the strong energy conditions. If the spatial slices are compact with non-positive Euler characteristic and are initially expanding everywhere, then we prove that the spatial slices reach infinite volume, asympt

Kearn Grisdale, Oscar Agertz, Florent Renaud, Alessandro B. Romeo

Observations find a median star formation efficiency per free-fall time in Milky Way Giant Molecular Clouds (GMCs) on the order of $ε_{\rm ff}\sim 1\%$ with dispersions of $\sim0.5\,{\rm dex}$. The origin of this scatter in $ε_{\rm ff}$ is still debated and difficult to reproduce with analytical models. We track the formation, evolution and destruction of GM

Chandan Setty

With substantial evidence of glassy behavior in the phase diagram of high $T_c$ superconductors and its co-existence with superconductivity, we attempt to answer the question: what are the properties of a superconducting state where the force driving cooper pairing becomes dissipative? We find that when the bosonic mediator is local, dissipation acts to redu

Ivana Barišić, Arjen van der Wel, Josha van Houdt, Michael V. Maseda

Maintenance-mode feedback from low-accretion rate AGN, manifesting itself observationally through radio-loudness, is invoked in all cosmological galaxy formation models as a mechanism that prevents excessive star-formation in massive galaxies (M$_*$ $\gtrsim$ 3$\times$10$^{10}$ M$_{\odot}$). We demonstrate that at a fixed mass the incidence of radio-loud AGN

P. Nigge, A. C. Qu, É. Lantagne-Hurtubise, E. Mårsell

Graphene is a powerful playground for studying a plethora of quantum phenomena. One of the remarkable properties of graphene arises when it is strained in particular geometries and the electrons behave as if they were under the influence of a magnetic field. Previously, these strain-induced pseudomagnetic fields have been explored on the nano- and micrometer

Letizia Angeli, Stefan Grosskinsky, Adam M. Johansen

Large deviations for additive path functionals of stochastic processes have attracted significant research interest, in particular in the context of stochastic particle systems and statistical physics. Efficient numerical `cloning' algorithms have been developed to estimate the scaled cumulant generating function, based on importance sampling via cloning

Adhip Agarwala, Vladimir Juricic, Bitan Roy

We identify the possibility of realizing higher order topological (HOT) phases in noncrystalline or amorphous materials. Starting from two and three dimensional crystalline HOT insulators, accommodating topological corner states, we gradually enhance structural randomness in the system. Within a parameter regime, as long as amorphousness is confined by outer

Nolan Bard, Jakob N. Foerster, Sarath Chandar, Neil Burch

From the early days of computing, games have been important testbeds for studying how well machines can do sophisticated decision making. In recent years, machine learning has made dramatic advances with artificial agents reaching superhuman performance in challenge domains like Go, Atari, and some variants of poker. As with their predecessors of chess, chec

Anca Tureanu

A standing problem in neutrino physics is the consistent and universal definition of oscillating neutrino states as coherent superpositions of massive neutrino states. This problem is solved in a quantum field theoretical framework of neutrino mixing developed in analogy with the Nambu--Jona-Lasinio model for the dynamical generation of nucleon masses. The m

AJ Piergiovanni, Anelia Angelova, Michael S. Ryoo

This paper proposes a novel algorithm which learns a formal regular grammar from real-world continuous data, such as videos. Learning latent terminals, non-terminals, and production rules directly from continuous data allows the construction of a generative model capturing sequential structures with multiple possibilities. Our model is fully differentiable,

Dori Bejleri, Giovanni Inchiostro

We propose an alternative definition for families of stable pairs $(X,D)$ over a possibly non-reduced base when $D$ is reduced, by replacing $(X,D)$ with an appropriate orbifold pair $(\mathcal X,\mathcal D)$. This definition of a stable family ends up being equivalent to previous ones, but has the advantage of being more amenable to the tools of deformation

Aseem Raj Baranwal, Jeffrey Shallit

In a recent paper of Rampersad et al., the authors conjectured that the smallest possible critical exponent of an infinite balanced word over a 5-letter alphabet is $3/2$. We prove this result, using a formulation of first-order logic, the Pell number system, and a machine computation based on finite-state automata.

Marcus Khuri, Benjamin Sokolowsky, Gilbert Weinstein

A lower bound for the ADM mass is established in terms of angular momentum, charge, and horizon area in the context of maximal, axisymmetric initial data for the Einstein-Maxwell equations which satisfy the weak energy condition. If, on the horizon, the given data agree to a certain extent with the associated model Kerr-Newman data, then the inequality reduc

Thomas Budzinski, Baptiste Louf

We prove a conjecture of Benjamini and Curien stating that the local limits of uniform random triangulations whose genus is proportional to the number of faces are the Planar Stochastic Hyperbolic Triangulations (PSHT) defined in arXiv:1401.3297. The proof relies on a combinatorial argument and the Goulden--Jackson recurrence relation to obtain tightness, an

Vaibhav B Sinha, Sneha Kudugunta, Adepu Ravi Sankar, Surya Teja Chavali

We present DANTE, a novel method for training neural networks using the alternating minimization principle. DANTE provides an alternate perspective to traditional gradient-based backpropagation techniques commonly used to train deep networks. It utilizes an adaptation of quasi-convexity to cast training a neural network as a bi-quasi-convex optimization prob

Artem Lutov, Soheil Roshankish, Mourad Khayati, Philippe Cudré-Mauroux

Large knowledge bases typically contain data adhering to various schemas with incomplete and/or noisy type information. This seriously complicates further integration and post-processing efforts, as type information is crucial in correctly handling the data. In this paper, we introduce a novel statistical type inference method, called StaTIX, to effectively

Rahul Jain, Raghunath Tewari

The reachability problem asks to decide if there exists a path from one vertex to another in a digraph. In a grid digraph, the vertices are the points of a two-dimensional square grid, and an edge can occur between a vertex and its immediate horizontal and vertical neighbors only. Asano and Doerr (CCCG'11) presented the first simultaneous time-space bound fo

Dongfang Yang, Linhui Li, Keith Redmill, Ümit Özgüner

Predicting the collective motion of a group of pedestrians (a crowd) under the vehicle influence is essential for the development of autonomous vehicles to deal with mixed urban scenarios where interpersonal interaction and vehicle-crowd interaction (VCI) are significant. This usually requires a model that can describe individual pedestrian motion under the

Victoria Pokhiko, Qiong Zhang, Lulu Kang, D'arcy P. Mays

A/B testing refers to the statistical procedure of conducting an experiment to compare two treatments, A and B, applied to different testing subjects. It is widely used by technology companies such as Facebook, LinkedIn, and Netflix, to compare different algorithms, web-designs, and other online products and services. The subjects participating these online

S. Tsigaridas, M. v. Beuzekom, H. v. d. Graaf, F. Hartjes

In this work we have developed a prototype gaseous pixel detector by combining a micromegas grid with a Timepix3 chip for the readout. The micromegas foil supported by a matrix of pillars about 50 $\mathrm{μm}$ high was manually placed on top the chip. By placing a cathode foil above the chip an ionization detector was created with a drift gap of 13.5 mm. Th

Massimo Cavallaro, Rosemary J. Harris

We demonstrate the application of recent advances in statistical mechanics to a problem in telecommunication engineering: the assessment of the quality of a communication channel in terms of rare and extreme events. In particular, we discuss non-Markovian models for telecommunication traffic in continuous time and deploy the "cloning" procedure of no

Sen Chen, Lingling Fan, Chunyang Chen, Ting Su

Mobile apps are now ubiquitous. Before developing a new app, the development team usually endeavors painstaking efforts to review many existing apps with similar purposes. The review process is crucial in the sense that it reduces market risks and provides inspiration for app development. However, manual exploration of hundreds of existing apps by different

Anirban Dey, Devendra Singh Bhakuni, Bijay Kumar Agarwalla, Auditya Sharma

We study quantum entanglement and its relation to transport in a non-equilibrium interacting double dot system connected to electronic baths. The dynamical properties in the non-interacting regime are studied using an exact numerical approach whereas the steady state properties are obtained following the well-known non-equilibrium Green's function (NEGF)

André Mateus, Omar Tahri, Pedro Miraldo

Straight lines are common features in human made environments, which makes them a frequently explored feature for control applications. Many control schemes, like Visual Servoing, require the 3D parameters of the features to be estimated. In order to obtain the 3D structure of lines, a nonlinear observer is proposed. However, to guarantee convergence, the dy

Ryan L. Stillwell, Xiangfeng Wang, Limin Wang, Daniel J. Campbell

We report the observation of the pressure-induced, fully-collapsed tetragonal phase of CaRbFe4As4 for P~ 22 GPa via high-pressure x-ray diffraction and magnetotransport measurements. The x-ray measurements, along with resistivity measurements, show that there is an initial half-collapsed tetragonal phase for 6 < P < 22 GPa, in which superconductivity is cont

Elena Blanco, Daniel J. M. Hodgson, Michiel Hermes, Rut Besseling

The mixing of a powder of 10-50μm primary particles into a liquid to form a dispersion with the highest possible solid content is a common industrial operation. Building on recent advances in the rheology of such &#39;granular dispersions&#39;, we study a paradigmatic example of such powder incorporation: the conching of chocolate, in which a homogeneous, fl

Tor Lattimore, Csaba Szepesvari

We prove a new minimax theorem connecting the worst-case Bayesian regret and minimax regret under partial monitoring with no assumptions on the space of signals or decisions of the adversary. We then generalise the information-theoretic tools of Russo and Van Roy (2016) for proving Bayesian regret bounds and combine them with the minimax theorem to derive mi

Masahiro Fujisawa, Issei Sato

We propose a variance reduction framework for variational inference using the Multilevel Monte Carlo (MLMC) method. Our framework is built on reparameterized gradient estimators and &#34;recycles&#34; parameters obtained from past update history in optimization. In addition, our framework provides a new optimization algorithm based on stochastic gradient des

Simon R. Pocock, Paloma A. Huidobro, Vincenzo Giannini

The existence of topologically protected edge modes is often cited as a highly desirable trait of topological insulators. However, these edge states are not always present. A realistic physical treatment of long range hopping in a one-dimensional dipolar system can break the symmetry that protects the edge modes without affecting the bulk topological number,

Theresa Abl, Paul Heslop, Arthur E. Lipstein

We derive recursion relations for the anomalous dimensions of double-trace operators occurring in the conformal block expansion of four-point stress tensor correlators in the 6d $(2,0)$ theory, which encode higher-derivative corrections to supergravity in $AdS_7 \times S^4$ arising from M-theory. As a warm-up, we derive analogous recursion relations for four

Pedro Carrilho, Karim A. Malik

The generation of magnetic fields is a natural consequence of the existence of vortical currents in the pre-recombination era. This has been confirmed in detail for the case of adiabatic initial conditions, using second-order Boltzmann solvers, but has not been fully explored in the presence of isocurvatures. In this work, we use a modified version of the se

Ashwin Saxena, Kishore Thapliyal, Anirban Pathak

A continuous variable controlled quantum dialogue scheme is proposed. The scheme is further modified to obtain two other protocols of continuous variable secure multiparty computation. The first one of these protocols provides a solution of two party socialist millionaire problem, while the second protocol provides a solution for a special type of multi-part

Enrico M. Malatesta

This PhD thesis is organized as follows. In the first two chapters I will review some basic notions of statistical physics of disordered systems, such as random graph theory, the mean-field approximation, spin glasses and combinatorial optimization. The replica method will also be introduced and applied to the Sherrington-Kirkpatrick model, one of the simple

Chulkwang Kwak, Claudio Muñoz

Consider the Hamiltonian $abcd$ system in one dimension, with data posed in the energy space $H^1\times H^1$. This model, introduced by Bona, Chen and Saut, is a well-known physical generalization of the classical Boussinesq equations. The Hamiltonian case corresponds to the regime where $a,c<0$ and $b=d>0$. Under this regime, small solutions in the energy s

R. Bijker, F. Iachello

We derive the rotation-vibration spectrum of a 3alpha+1 neutron (proton) configuration with triangular D(3h) symmetry by exploiting the properties of the double group D&#39;(3h), and show evidence for this symmetry to occur in the rotation-vibration spectra of 13C. Our results, based on purely symmetry considerations, provide benchmarks for microscopic calcu

Ioana Bica, Ahmed M. Alaa, Mihaela van der Schaar

The estimation of treatment effects is a pervasive problem in medicine. Existing methods for estimating treatment effects from longitudinal observational data assume that there are no hidden confounders, an assumption that is not testable in practice and, if it does not hold, leads to biased estimates. In this paper, we develop the Time Series Deconfounder,

Changyong Oh, Jakub M. Tomczak, Efstratios Gavves, Max Welling

This paper focuses on Bayesian Optimization (BO) for objectives on combinatorial search spaces, including ordinal and categorical variables. Despite the abundance of potential applications of Combinatorial BO, including chipset configuration search and neural architecture search, only a handful of methods have been proposed. We introduce COMBO, a new Gaussia

Andrés Eduardo Caicedo, Thomas A. C. Chartier, Péter Pál Pach

For which values of $n$ can we color the positive integers with precisely $n$ colors in such a way that for any $a$, the numbers $a,2a,\dots,na$ all get different colors? Pach posed the question around 2008-9. Particular cases appeared in KöMaL in April 2010, and the general version appeared in May 2010 on MathOverflow, posted by Pálvölgyi. The question rema

Hayder Abbas Janabi, Thomas Breuer, Erzsebet Horvath

We show that for each positive integer $n$, there are a group $G$ and a subgroup $H$ such that the ordinary depth is $d(H, G) = 2n$. This solves the open problem posed by Lars Kadison whether even ordinary depth larger than $6$ can occur.

Demetre Kazaras, Daniel Ruberman, Nikolai Saveliev

We show that the periodic $η$-invariants introduced by Mrowka--Ruberman--Saveliev~\cite{MRS3} provide obstructions to the existence of cobordisms with positive scalar curvature metrics between manifolds of dimensions $4$ and $6$. The proof combines a relative version of the Schoen--Yau minimal surface technique with an end-periodic index theorem for the Dira