February 2019 arXiv papers — page 15

Satoshi Matsuoka

In this paper, we give a new linear time correctness condition for proof nets of Multiplicative Linear Logic without units. Our approach is based on a rewriting system over trees. We have only three rewrite rules. Compared with previous linear time correctness conditions, our system is surprisingly simple and intuitively appealing.

Hassan Ataeian, Shahriar Esmaeili, Saeideh Roshanfekr, Neda Maleki Khas

In the area of data classification, the different classifiers have been developed by their own strengths and weaknesses. Among these classifiers, we propose a method that is based on the maximum margin between two classes. One of the main challenges in this area is dealt with noisy data. In this paper, our aim is to optimize the method of large margin classi

Fei Li, Fu-Zhong Yang

For D-brane system with three D-branes on compact Calabi-Yau threefolds, the dual F-theory fourfolds for parallel/complete coincident/part coincident D-brane system is constructed by the type II/F-theory duality. Complete coincident means that the three D-branes coincide and part coincident represents the coincident of two of the three D branes. The low ener

Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora

Static verification relying on an automated theorem prover can be very slow and brittle: since static verification is undecidable, correct code may not pass a particular static verifier. In this work we use metaprogramming to generate code that is correct by construction. A theorem prover is used only to verify initial "traits": units of code that ca

Miguel Cruz, Samuel Lepe, Gerardo Morales-Navarrete

In this work we present a qualitative description of the evolution of a curved universe when we consider the interacting scheme for the constituents of the dark sector. The resulting dynamics can be modeled by a set of Lotka-Volterra type equations. For this model a future singularity is allowed, therefore the cyclic behavior for the energy interchange betwe

Zihao W. Wang, Weixin Jiang, Kuan He, Boxin Shi

Temporal Video Frame Synthesis (TVFS) aims at synthesizing novel frames at timestamps different from existing frames, which has wide applications in video codec, editing and analysis. In this paper, we propose a high framerate TVFS framework which takes hybrid input data from a low-speed frame-based sensor and a high-speed event-based sensor. Compared to fra

W. Doonan, K. W. Higham, M. Governale, U. Zülicke

We have investigated community structure in the co-inventor network of a given cohort of patents and related this structure to the dynamics of how these patents acquire their first citation. A statistically significant difference in the time lag until first citation is linked to whether or not this citation comes from a patent whose listed inventors share me

Marius Lemm, Bruno Nachtergaele

Product vacua with boundary states (PVBS) are cousins of the Heisenberg XXZ spin model and feature $n$ particle species on $\mathbb Z^d$. The PVBS models were originally introduced as toy models for the classification of ground state phases. A crucial ingredient for this classification is the existence of a spectral gap above the ground state sector. In this

Tigran V. Shahbazyan

We present a model for exciton-plasmon coupling based on an energy exchange mechanism between quantum emitters (QE) and localized surface plasmons in metal-dielectric structures. Plasmonic correlations between QEs give rise to a collective state exchanging its energy cooperatively with a resonant plasmon mode. By defining carefully the plasmon mode volume fo

Bao-Fei Li, Tao Zhu, Anzhong Wang

The WKB approximation plays an essential role in the development of quantum mechanics and various important results have been obtained from it. In this paper, we introduce another method, {\it the so-called uniform asymptotic approximations}, which is an analytical approximation method to calculate the wave functions of the Schrödinger-like equations, and is

Pete Riley, Cooper Downs, Jon A. Linker, Zoran Mikic

NASA's Parker Solar Probe (Parker) spacecraft reached its first perihelion of 35.7 solar radii on November 5th, 2018. To aid in mission planning, and in anticipation of the unprecedented measurements to be returned, in late October, we developed a three-dimensional magnetohydrodynamic (MHD) solution for the solar corona and inner heliosphere, driven by t

Trevor J. David, Ann Marie Cody, Christina L. Hedges, Eric E. Mamajek

We report the detection of V1298 Tau b, a warm Jupiter-sized planet ($R_P$ = 0.91 $\pm$ 0.05~ $R_\mathrm{Jup}$, $P = 24.1$ days) transiting a young solar analog with an estimated age of 23 million years. The star and its planet belong to Group 29, a young association in the foreground of the Taurus-Auriga star-forming region. While hot Jupiters have been pre

Rostislav Grigorchuk, Brian Simanek

We show that the lamplighter group L has a system of generators for which the spectrum of the discrete Laplacian on the Cayley graph is a union of an interval and a countable set of isolated points accumulating to a point outside this interval. This is the first example of a group with infinitely many gaps in the spectrum of its Cayley graph. The result is o

Costante Bellettini, Neshan Wickramasekera

In a previous paper we developed a regularity and compactness theory in Euclidean ambient spaces for codimension 1 weakly stable CMC integral varifolds satisfying two (necessary) structural conditions. Here we generalize this theory to the setting where the mean curvature (of the regular part of the varifold) is prescribed by a given $C^{1, α}$ ambient funct

Rosdyana Mangir Irawan Kusuma, Trang-Thi Ho, Wei-Chun Kao, Yu-Yen Ou

Stock market prediction is still a challenging problem because there are many factors effect to the stock market price such as company news and performance, industry performance, investor sentiment, social media sentiment and economic factors. This work explores the predictability in the stock market using Deep Convolutional Network and candlestick charts. T

Ilkay Altintas, Kyle Marcus, Isaac Nealey, Scott L. Sellars

The advances in data, computing and networking over the last two decades led to a shift in many application domains that includes machine learning on big data as a part of the scientific process, requiring new capabilities for integrated and distributed hardware and software infrastructure. This paper contributes a workflow-driven approach for dynamic data-d

Lorenzo Gigoni, Alessandro Betti, Emanuele Crisostomi, Alessandro Franco

The ability to accurately forecast power generation from renewable sources is nowadays recognised as a fundamental skill to improve the operation of power systems. Despite the general interest of the power community in this topic, it is not always simple to compare different forecasting methodologies, and infer the impact of single components in providing ac

Hangyu Mao, Zhibo Gong, Zhengchao Zhang, Zhen Xiao

Communication is an important factor for the big multi-agent world to stay organized and productive. Recently, the AI community has applied the Deep Reinforcement Learning (DRL) to learn the communication strategy and the control policy for multiple agents. However, when implementing the communication for real-world multi-agent applications, there is a more

Moez A. AbdelGawad

Recently we presented a concise survey of the formulation of the induction and coinduction principles, and some concepts related to them, in five different fields mathematical fields, hence shedding some light on the precise relation between these fields. In this article we present few tutorial examples---from set theory, number theory and real analysis---th

Moez A. AbdelGawad

Recently we presented a concise survey of the formulation of the induction and coinduction principles, and some concepts related to them, in programming languages type theory and four other mathematical disciplines. The presentation in type theory involved the separate formulation of these concepts, first, in the theory of types of functional programming lan

J. R. Yusupov, K. K. Sabirov, M. Ehrhardt, D. U. Matrasulov

We consider the reflectionless transport of solitons in networks. The system is modeled in terms of the nonlinear Schrödinger equation on metric graphs, for which transparent boundary conditions at the branching points are imposed. This allows to derive simple constraints, which link equivalent usual Kirchhoff-type vertex conditions to the transparent ones.

Suelen Gasparin, Julien Berger, Denys Dutykh, Nathan Mendes

It is well known that thermal insulation is a leading strategy for reducing energy consumption associated to heating or cooling processes in buildings. Nevertheless, building insulation can generate high expenditures so that the selection of an optimum insulation thickness requires a detailed energy simulation as well as an economic analysis. In this way, th

Jinyu Yang, Bo Zhang

This study provides a systematic review of the recent advances in designing the intelligent tutoring robot (ITR), and summarises the status quo of applying artificial intelligence (AI) techniques. We first analyse the environment of the ITR and propose a relationship model for describing interactions of ITR with the students, the social milieu and the curric

Marek Balcerzak, Szymon Głab

We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $σ$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis.

Qi Guo, Artur Sowa

We discuss a specific model, which we refer to as RandLOE, of a large multi-agent network whose dynamic is prescribed via a combination of deterministic local laws and random exogenous factors. The RandLOE approach lies outside the framework of Stochastic Differential Equations, but lends itself to analytic examination as well as to stable simulation even fo

Mohammad Jobayer Hossain, Geoffrey Gregory, Hardik Patel, Siyu Guo

In this work, novel, high-throughput metrology methods are used to perform a detailed performance loss analysis of approximately 400 industrial crystalline silicon solar cells, all coming from the same production line. The characterization sequence includes a non-destructive transfer length method (TLM) measurement technique featuring circular TLM structures

F. Da Ros, S. Civelli, S. Gaiarin, E. P. da Silva

Nonlinear distortion experienced by signals during their propagation through optical fibers strongly limits the throughput of optical communication systems. Recently, a strong research focus has been dedicated to nonlinearity mitigation and compensation techniques. At the same time, a more disruptive approach, the nonlinear Fourier transform (NFT), aims at d

Xuhui Meng, George Em Karniadakis

We propose a new composite neural network (NN) that can be trained based on multi-fidelity data. It is comprised of three NNs, with the first NN trained using the low-fidelity data and coupled to two high-fidelity NNs, one with activation functions and another one without, in order to discover and exploit nonlinear and linear correlations, respectively, betw

Xiaorui Wu, Hong Xu, Honglin Zhang, Huaming Chen

Production recommendation systems rely on embedding methods to represent various features. An impeding challenge in practice is that the large embedding matrix incurs substantial memory footprint in serving as the number of features grows over time. We propose a similarity-aware embedding matrix compression method called Saec to address this challenge. Saec

Ibrahim Ayed, Emmanuel de Bézenac, Arthur Pajot, Julien Brajard

We consider the problem of forecasting complex, nonlinear space-time processes when observations provide only partial information of on the system's state. We propose a natural data-driven framework, where the system's dynamics are modelled by an unknown time-varying differential equation, and the evolution term is estimated from the data, using a ne

Benoît Pairet

General relativity and quantum mechanics are perhaps the two most successful theories of the XXth century. Despite their impressive accurate predictions, they are both valid at their own scales and do not seem to be expressible using the same framework. It is commonly accepted that in order to create a consistent theory of both quantum mechanics and gravity,

Swetalina Bhowmik, Ritabrata Biswas

While modelling our late time cosmically accelerated universe, it is popular to involve different dark energy models, the equation of state of which can be taken as a function of the redshift and some unknown parameters. Barboza and Alcaniz have proposed one of a such kind of dark energy's EoS model. We use some new parametrizations like Feng, Shen, Li,

Sirisha Rambhatla, Xingguo Li, Jarvis Haupt

Localizing targets of interest in a given hyperspectral (HS) image has applications ranging from remote sensing to surveillance. This task of target detection leverages the fact that each material/object possesses its own characteristic spectral response, depending upon its composition. As $\textit{signatures}$ of different materials are often correlated, ma

Kadri İlker Berktav

This note, in a rather expository manner, serves as a conceptional introduction to the certain underlying mathematical structures encoding the geometric quantization formalism and the construction of Witten's quantum invariants, which is in fact organized in the language topological quantum field theory.

Amanda Folsom, Min-Joo Jang, Sam Kimport, Holly Swisher

In 2007, G.E. Andrews introduced the $(n+1)$-variable combinatorial generating function $R_n(x_1,x_2,\cdots,x_n;q)$ for ranks of $n$-marked Durfee symbols, an $(n+1)$-dimensional multisum, as a vast generalization to the ordinary two-variable partition rank generating function. Since then, it has been a problem of interest to understand the automorphic prope

Renee Obringer, Rohini Kumar, Roshanak Nateghi

Considering the interdependencies between water and electricity use is critical for ensuring conservation measures are successful in lowering the net water and electricity use in a city. This water-electricity demand nexus will become even more important as cities continue to grow, causing water and electricity utilities additional stress, especially given t

Michael Farber, John Oprea

In this article we study the higher topological complexity ${\sf TC}_r(X)$ in the case when $X$ is an aspherical space, $X=K(π, 1)$ and $r\ge 2$. We give a characterisation of ${\sf TC}_r(K(π, 1))$ in terms of classifying spaces for equivariant Bredon cohomology. Our recent paper \cite{FGLO}, joint with M. Grant and G. Lupton, treats the special case $r=2$.

Yucai Su, R. B. Zhang

We investigate a new cohomology of Lie superalgebras, which may be compared to a de Rham cohomology of Lie supergroups involving both differential and integral forms. It is defined by a BRST complex of Lie superalgebra modules, which is formulated in terms of a Weyl superalgebra and incorporates inequivalent representations of the bosonic Weyl subalgebra. Th

Daniel R. Ladiges, Andrew J. Nonaka, John B. Bell, Alejandro L. Garcia

A fluid in a non-equilibrium state exhibits long-ranged correlations of its hydrodynamic fluctuations. In this article, we examine the effect of a transpiration interface on these correlations -- specifically, we consider a dilute gas in a domain bisected by the interface. The system is held in a non-equilibrium steady state by using isothermal walls to impo

Zhou Shangnan

We develop a theory of classical complexity. We study the relations between classical complexity and entropy, and conjecture that in an isolated system, classical absolute complexity always tends to grow, until it reaches its maximum. We calculate some exact closed-form expressions of the growth of average classical complexity over time in some concrete mode

Maiia Popel

The special issue contains a monograph by M. Popel, in which the methodical foundations of the formation of professional competences of mathematics teachers in institutions of higher education of Ukraine are considered; the place of cloud service CoCalc in the system of teaching mathematical disciplines is specified; the features of CoCalc use in teaching ma

Roja Eini, Lauren Linkous, Nasibeh Zohrabi, Sherif Abdelwahed

This paper addresses the design and implementation of a smart building prototype. The implementation utilizes Internet of Things (IoT) solutions to collect, analyze, and manage data from building systems in a smart city environment. The developed smart building prototype is capable of real-time interactions with the residents. The main objective is to adapt

Matthew D. Watson, Pavel Dudin, Luke C. Rhodes, Daniil V. Evtushinsky

We revisit the electronic structure of BaFe$_2$As$_2$, the archetypal parent compound of the Fe-based superconductors, using angle-resolved photoemission spectroscopy (ARPES). Our high-resolution measurements of samples detwinned by the application of a mechanical strain reveal a highly anisotropic 3D Fermi surface in the low temperature magnetic phase. By c

Eric S. Perlman, Mark Birkinshaw, Matthias Kadler, Serguei Komissarov

Jets are a ubiquitous part of the accretion process, seen in a wide variety of objects ranging from active galaxies (AGN) to X-ray binary stars and even newly formed stars. AGN jets are accelerated by the supermassive black hole of their host galaxy by a coupling between the magnetic field and inflowing material. They are the source for many exciting phenome

W. Pan, W. Kang, M. P. Lilly, J. L. Reno

We report on detailed experimental studies of a high-quality heterojunction insulated-gate field-effect transistor (HIGFET) to probe the particle-hole symmetry (PHS) of the FQHE states about half-filling in the lowest Landau level. The HIGFET was specially designed to vary the density of a two-dimensional electronic system under constant magnetic fields. We

Gergana Todorova, Anastasios Noulas

Ambulance services worldwide are of vital importance to population health. Timely responding to incidents by dispatching an ambulance vehicle to the location a call came from can offer significant benefits to patient care across a number of medical conditions. Moreover, identifying the reasons that drive ambulance activity at an area not only can improve the

Roja Eini, Sherif Abdelwahed

In this paper, a distributed Model Predictive Control strategy is developed for a multi zone building plant with disturbances. The control objective is to maintain each zones temperature at a specified level with the minimum cost of the underlying HVAC system. The distributed predictive framework is introduced with stability proofs and disturbances predictio

Beka Ergemlidze, Tao Jiang, Abhishek Methuku

Let $t$ be an integer such that $t\geq 2$. Let $K_{2,t}^{(3)}$ denote the triple system consisting of the $2t$ triples $\{a,x_i,y_i\}$, $\{b,x_i,y_i\}$ for $1 \le i \le t$, where the elements $a, b, x_1, x_2, \ldots, x_t,$ $y_1, y_2, \ldots, y_t$ are all distinct. Let $ex(n,K_{2,t}^{(3)})$ denote the maximum size of a triple system on $n$ elements that does

Stephen Ugwuanyi, James Irvine

Internet of Things (IoT) is the new industrial slogan for connecting intelligent and unintelligent devices to the web. The problem of security of data transfer, interoperability of different proposed methodologies, the ubiquity of Wi-Fi and the development of low power consuming MCUs has broadened the search for the best alternative technology for IoT in the

Pushpalatha C. Bhat, Geoffrey N. Taylor

The International Committee for Future Accelerators (ICFA) has been in existence for well over four decades. Its mission is to facilitate international collaboration in the construction and use of accelerators for high energy physics. This report presents, after a brief introduction, some recent activities of ICFA and its panels. The International Linear Col

Marko J. Rančić, Silas Hoffman, Constantin Schrade, Jelena Klinovaja

We study the coupling between a singlet-triplet qubit realized in a double quantum dot to a topological qubit realized by spatially well-separated Majorana bound states. We demonstrate that the singlet-triplet qubit can be leveraged for readout of the topological qubit and for supplementing the gate operations that cannot be performed by braiding of Majorana

Justin Fu, Aviral Kumar, Matthew Soh, Sergey Levine

Q-learning methods represent a commonly used class of algorithms in reinforcement learning: they are generally efficient and simple, and can be combined readily with function approximators for deep reinforcement learning (RL). However, the behavior of Q-learning methods with function approximation is poorly understood, both theoretically and empirically. In

Eurika Kaiser, J. Nathan Kutz, Steven L. Brunton

The Koopman and Perron Frobenius transport operators are fundamentally changing how we approach dynamical systems, providing linear representations for even strongly nonlinear dynamics. Although there is tremendous potential benefit of such a linear representation for estimation and control, transport operators are infinite-dimensional, making them difficult

Sirisha Rambhatla, Xingguo Li, Jineng Ren, Jarvis Haupt

We consider the task of localizing targets of interest in a hyperspectral (HS) image based on their spectral signature(s), by posing the problem as two distinct convex demixing task(s). With applications ranging from remote sensing to surveillance, this task of target detection leverages the fact that each material/object possesses its own characteristic spe

Jinho Choi

In this paper, we propose a compressive random access (CRA) scheme using multiple resource blocks (RBs) to support massive connections for machine type communications (MTC). The proposed CRA scheme is scalable. As a result, if the number of devices increases, more RBs can be added to support them. Thanks to multiple RBs, we can employ fast retrial between RB

Isaac Oscar Gariano, Marco Servetto, Alex Potanin

In this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound runtime verification of invariants. Our system guarantees that class invariants hold for all objects involved in execution. Invariants are specified simply as methods whose execution is statically guaranteed to be deterministic and not a

ATLAS, CMS Collaborations

Manuscript of volume 2 of the Yellow Report on the "Workshop on the Physics of HL-LHC and perspectives at HE-LHC" containing the notes produced by the ATLAS and CMS collaborations as input to the Yellow Report volume 1.

Rohit J. Kate, Noah Pearce, Debesh Mazumdar, Vani Nilakantan

Acute kidney injury (AKI) commonly occurs in hospitalized patients and can lead to serious medical complications. In order to optimally predict AKI before it develops at any time during a hospital stay, we present a novel framework in which AKI is continually predicted automatically from EHR data over the entire hospital stay instead of at only one particula

Sirisha Rambhatla, Nikos D. Sidiropoulos, Jarvis Haupt

We propose a technique to develop (and localize in) topological maps from light detection and ranging (Lidar) data. Localizing an autonomous vehicle with respect to a reference map in real-time is crucial for its safe operation. Owing to the rich information provided by Lidar sensors, these are emerging as a promising choice for this task. However, since a L

Jacob Fox, Ray Li

The hedgehog $H_t$ is a 3-uniform hypergraph on vertices $1,\dots,t+\binom{t}{2}$ such that, for any pair $(i,j)$ with $1\le i<j\le t$, there exists a unique vertex $k>t$ such that $\{i,j,k\}$ is an edge. Conlon, Fox, and Rödl proved that the two-color Ramsey number of the hedgehog grows polynomially in the number of its vertices, while the four-color Ramsey

Robert J. De Rosa, Paul Kalas

We present an investigation into the kinematics of HD 106906 using the newly released Gaia DR2 catalog to search for close encounters with other members of the Scorpius-Centaurus (Sco-Cen) association. HD 106906 is an eccentric spectroscopic binary that hosts both a large asymmetric debris disk extending out to at least 500 au and a directly imaged planetary

Xue-Ning Bai, Eve C. Ostriker, Illya Plotnikov, James M. Stone

The gyro-resonant cosmic-ray (CR) streaming instability is believed to play a crucial role in CR transport, leading to growth of Alfvén waves at small scales that scatter CRs, and impacts the interaction of CRs with the ISM on large scales. However, extreme scale separation ($λ\ll \rm pc$), low cosmic ray number density ($n_{\rm CR}/n_{\rm ISM} \sim 10^{-9}$

Stefan Küchemann, Pascal Klein, Henning Fouckhardt, Sebastian Gröber

The concepts of the Coriolis and the centrifugal force are essential in various scientific fields and they are standard components of introductory physics lectures. In this paper we explore how students understand and apply concepts of rotating frames of reference in the context of an exemplary lecture demonstration experiment. We found in a $Predict-Observe

Chun-Liang Li, Wei-Cheng Chang, Youssef Mroueh, Yiming Yang

Kernels are powerful and versatile tools in machine learning and statistics. Although the notion of universal kernels and characteristic kernels has been studied, kernel selection still greatly influences the empirical performance. While learning the kernel in a data driven way has been investigated, in this paper we explore learning the spectral distributio

Qian Hu, Huzefa Rangwala

Currently, college-going students are taking longer to graduate than their parental generations. Further, in the United States, the six-year graduation rate has been 59% for decades. Improving the educational quality by training better-prepared students who can successfully graduate in a timely manner is critical. Accurately predicting students&#39; grades i

Nathalie Vonrüti, Ulrich Aschauer

Polar heterogeneous photocatalysts were shown to lead to enhanced charge-carrier separation that results in superior activity for example for photocatalytic water splitting. Promising photocatalyst materials such as oxynitrides can be rendered polar by epitaxial strain, which however also increases their band gap, making them unsuitable for visible light abs

X. Zhong, J. Hu, M. Curty, L. Qian

The twin-field (TF) quantum key distribution (QKD) protocol and its variants are highly attractive because they can beat the well-known rate-loss limit (i.e., the PLOB bound) for QKD protocols without quantum repeaters. In this paper, we perform a proof-of-principle experimental demonstration of TF-QKD based on the protocol proposed by Curty et al. which rem

Xiangcheng Zheng, V. J. Ervin, Hong Wang

In this article we study the numerical approximation of a variable coefficient fractional diffusion equation. Using a change of variable, the variable coefficient fractional diffusion equation is transformed into a constant coefficient fractional diffusion equation of the same order. The transformed equation retains the desirable stability property of being

Yago Antolín, Luis Paris

Let $G$ be a Garside group endowed with the generating set $\mathcal{S}$ of non-trivial simple elements, and let $H$ be a parabolic subgroup of $G$. We determine a transversal $T$ of $H$ in $G$ such that each $θ\in T$ is of minimal length in its right-coset, $H θ$, for the word length with respect to $\mathcal{S}$. We show that there exists a regular languag

Mohammad Golbabaee, Carolin M. Pirkl, Marion I. Menzel, Guido Buonincontri

Deep learning (DL) has recently emerged to address the heavy storage and computation requirements of the baseline dictionary-matching (DM) for Magnetic Resonance Fingerprinting (MRF) reconstruction. Fed with non-iterated back-projected images, the network is unable to fully resolve spatially-correlated corruptions caused from the undersampling artefacts. We

Diogo Souto, C. Allende Prieto, Katia Cunha, Marc Pinsonneault

Chemical abundances for 15 elements (C, N, O, Na, Mg, Al, Si, K, Ca, Ti, V, Cr, Mn, Fe, and Ni) are presented for 83 stellar members of the 4 Gyr old solar-metallicity open cluster M67. The sample contains stars spanning a wide range of evolutionary phases, from G dwarfs to red clump stars. The abundances were derived from near-IR ($λ$1.5 -- 1.7$μ$m) high-re

Arnob Ghosh, Randall Berry

The Citizens Broadband Radio Service (CBRS) recently adopted in the U.S. enables two tiers of commercial users to share spectrum with a third tier of incumbent users. This sharing can be further assisted by Environmental Sensing Capability operators (ESCs), that monitor the spectrum occupancy to determine when use of the spectrum will not harm incumbents. Tw

Zhiqing Sun, Zhi-Hong Deng, Jian-Yun Nie, Jian Tang

We study the problem of learning representations of entities and relations in knowledge graphs for predicting missing links. The success of such a task heavily relies on the ability of modeling and inferring the patterns of (or between) the relations. In this paper, we present a new approach for knowledge graph embedding called RotatE, which is able to model

Han Zhang, Jun Yang

Acoustic communication is currently considered as the best way to transmit information over long distances under water, since acoustic waves have lower attenuation in water than the other information transmission media. However, current information transmission rates of the underwater acoustic communication is usually limited by low-frequency bandwidth due t

Georg Zimmermann, Markus Pauly, Arne C. Bathke

In applied research, it is often sensible to account for one or several covariates when testing for differences between multivariate means of several groups. However, the &#34;classical&#34; parametric multivariate analysis of covariance (MANCOVA) tests (e.g., Wilks&#39; Lambda) are based on quite restrictive assumptions (homoscedasticity and normality of th

Georgi Tinchev, Adrian Penate-Sanchez, Maurice Fallon

Localization in challenging, natural environments such as forests or woodlands is an important capability for many applications from guiding a robot navigating along a forest trail to monitoring vegetation growth with handheld sensors. In this work we explore laser-based localization in both urban and natural environments, which is suitable for online applic

Wei Feng, Jingjin Wu, Chen Yuan, Guangyi Liu

This paper proposes a graph computation based sequential power flow calculation method for Line Commutated Converter (LCC) based large-scale AC/DC systems to achieve a high computing performance. Based on the graph theory, the complex AC/DC system is first converted to a graph model and stored in a graph database. Then, the hybrid system is divided into seve

Miles Caddick, Endre Süli

This paper is concerned with the proof of existence and numerical approximation of large-data global-in-time Young measure solutions to initial-boundary-value problems for multidimensional nonlinear parabolic systems of forward-backward type of the form $\partial_t u - \mbox{div}(a(Du)) + Bu = F$, where $B \in \mathbb{R}^{m \times m}$, $Bv \cdot v \geq 0$ fo

Taras Banakh, Bogdan Bokalo

We introduce and study some generalizations of regular spaces, which were motivated by studying continuity properties of functions between (regular) topological spaces. In particular, we prove that a first-countable Hausdorff topological space is regular if and only if it does not contain a topological copy of the Gutik hedgehog.

Jessica A. Arnold, Alycia J. Weinberger, Gorden Videen, Evgenij S. Zubko

The light scattered from dust grains in debris disks is typically modeled as compact spheres using Lorenz-Mie theory or as porous spheres by incorporating an effective medium theory. In this work we examine the effect of incorporating a more realistic particle morphology on estimated radiation-pressure blowout sizes. To calculate the scattering and absorptio

Ajith Anil Meera, Marija Popovic, Alexander Millane, Roland Siegwart

Target search with unmanned aerial vehicles (UAVs) is relevant problem to many scenarios, e.g., search and rescue (SaR). However, a key challenge is planning paths for maximal search efficiency given flight time constraints. To address this, we propose the Obstacle-aware Adaptive Informative Path Planning (OA-IPP) algorithm for target search in cluttered env

Nelson Almeida, Thiago Werlang, Daniel Valente

A one-dimensional waveguide enables a single two-level emitter to route the propagation of a single photon, as to provide a quantum mirror or a quantum beamsplitter. Here we present a fully-quantum Mach-Zehnder interferometer (QMZ) for single-photon pulses comprised of two quantum beamsplitters. We theoretically show how nonlinearities of the QMZ due to phot

D. J. Eden, Tie Liu, Kee-Tae Kim, S. -Y. Liu

We present the first release of the data and compact-source catalogue for the JCMT Large Program SCUBA-2 Continuum Observations of Pre-protostellar Evolution (SCOPE). SCOPE consists of 850-um continuum observations of 1235 Planck Galactic Cold Clumps (PGCCs) made with the Submillimetre Common-User Bolometer Array 2 on the James Clerk Maxwell Telescope. These

Sebastian Lapuschkin, Stephan Wäldchen, Alexander Binder, Grégoire Montavon

Current learning machines have successfully solved hard application problems, reaching high accuracy and displaying seemingly &#34;intelligent&#34; behavior. Here we apply recent techniques for explaining decisions of state-of-the-art learning machines and analyze various tasks from computer vision and arcade games. This showcases a spectrum of problem-solvi

Dustin G. Mixon, Hans Parshall

How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that they conjectured to be within numerical precision of optimal in this sense, but until now only the cases $n \leq 7$ have be

Rishabh Iyer, Jeff Bilmes

We are motivated by large scale submodular optimization problems, where standard algorithms that treat the submodular functions in the \emph{value oracle model} do not scale. In this paper, we present a model called the \emph{precomputational complexity model}, along with a unifying memoization based framework, which looks at the specific form of the given s

Rishabh Iyer, Jeff Bilmes

In this paper, we investigate a class of submodular problems which in general are very hard. These include minimizing a submodular cost function under combinatorial constraints, which include cuts, matchings, paths, etc., optimizing a submodular function under submodular cover and submodular knapsack constraints, and minimizing a ratio of submodular function

Birte Assmann, Theresa Kaese, Anke Neumeister, Catherine Disselhorst-Klug

Movement experience and the coordination of perception and action are the basis of developing body awareness, emotion, motivation and cognition and the sense of self. The four limbs play a key role in the developing sense of body ownership, agency and peripersonal space. Neonatal limb movements were investigated respective processes of self-organization and

Leonardo Pellegrina, Cinzia Pizzi, Fabio Vandin

Estimating the abundances of all $k$-mers in a set of biological sequences is a fundamental and challenging problem with many applications in biological analysis. While several methods have been designed for the exact or approximate solution of this problem, they all require to process the entire dataset, that can be extremely expensive for high-throughput s

Valentin Hirschi, Simone Lionetti, Armin Schweitzer

We compute mixed QCD-weak corrections to inclusive Higgs production at the LHC from the partonic process $g g \rightarrow H q \bar{q}$. We start from the UV- and IR-finite one-loop weak amplitude and consider its interference with the corresponding one-loop QCD amplitude. This contribution is a $\mathcal{O}(α_sα)$ correction to the leading-order gluon-fusion

Alfons J. Buchmann

We calculate the charge quadrupole and magnetic octupole moments of baryons using a group theoretical approach based on broken SU(6) spin-flavor symmetry. The latter is an approximate symmetry of the QCD Lagrangian which becomes exact in the large color N_c limit. Spin-flavor symmetry breaking is induced by one-, two-, and three-quark terms in the electromag

Vitor Cardoso, Valentino F. Foit, Matthew Kleban

Gravitational-wave astronomy has the potential to substantially advance our knowledge of the cosmos, from the most powerful astrophysical engines to the initial stages of our universe. Gravitational waves also carry information about the nature of black holes. Here we investigate the potential of gravitational-wave detectors to test a proposal by Bekenstein

Ning Bao, Geoffrey Penington, Jonathan Sorce, Aron C. Wall

We present a general procedure for constructing tensor networks for geometric states in the Anti-de Sitter/Conformal Field Theory (AdS/CFT) correspondence. Given a state in a large-$N$ CFT with a static, semiclassical gravitational dual, our procedure produces a tensor network for the boundary state whose internal geometry matches (a discretization of) the b

Mikael Chala, Ulrik Egede, Michael Spannowsky

New heavy vector bosons and light scalars are predicted in a plethora of models of new physics. In particular, in new strongly interacting sectors they play the role of the $ρ$ and $π$ mesons in QCD. We show that some of their interactions, for example those required for the explanation of the $B$ anomalies and the $g-2$ of the muon, can be only probed in $B

Xiao-Chuan Wu, Chao-Ming Jian, Cenke Xu

A variety of exotic non-fermi liquid (NFL) states have been observed in many condensed matter systems, with different scaling relations between transport coefficients and temperature. The &#34;standard&#34; approach to studying these NFLs is by coupling a Fermi liquid to quantum critical fluctuations, which potentially can drive the system into a NFL. In thi

Malwin Niehus, Martin Hoferichter, Bastian Kubis

Usually the simulation of scattering processes in lattice QCD is carried out at unphysically high values of the quark masses. Hence, a method to extrapolate data obtained in lattice calculations to physical masses is needed to allow for comparison between theory and experiment. To obtain a sound extrapolation, dispersion relations and chiral perturbation the

Javier Rubio, Eemeli S. Tomberg

We study the details of preheating in Palatini Higgs inflation. We show, that contrary to what happens in the metric formulation of the model, the Universe does not reheat through the creation of gauge bosons only, but also through the tachyonic production of Higgs excitations. The latest entropy production channel turns out to be very efficient and leads to

Zhen Bi, Noah F. Q. Yuan, Liang Fu

We study the effects of heterostrain on moiré bands in twisted bilayer graphene and bilayer transition metal dichalcogenide (TMD) systems. For bilayer graphene with twist angle near $1^\circ$, we show that heterostrain significantly increases the energy separation between conduction and valence bands as well as the Dirac velocity at charge neutrality, which

Avani Gowardhan, Dominik Riechers, Riccardo Pavesi, Emanuele Daddi

We report NOrthern Extended Millimetre Array (NOEMA) observations of warm molecular gas traced by CO($5-4$) in a $z \sim 3.2$ gas-rich main-sequence galaxy (MS), initially serendipitously detected in CO($3-2$) emission in `blind&#39; deep NOEMA observations. Our target shows a gas excitation consistent with that seen in $z \sim 1.5$ MS galaxies ($L&#39;_{\rm

Feras A. Saad, Cameron E. Freer, Nathanael L. Ackerman, Vikash K. Mansinghka

The objective of goodness-of-fit testing is to assess whether a dataset of observations is likely to have been drawn from a candidate probability distribution. This paper presents a rank-based family of goodness-of-fit tests that is specialized to discrete distributions on high-dimensional domains. The test is readily implemented using a simulation-based, li