June 2019 arXiv papers — page 18

D. Rosenberg, S. Weber, D. Conway, D. Yost

Developing a packaging scheme that meets all of the requirements for operation of solid-state qubits in a cryogenic environment can be a formidable challenge. In this article, we discuss work being done in our group as well as in the broader community, focusing on the role of 3D integration and packaging in quantum processing with solid-state qubits.

Pavel Mozolyako, Georgios Psaromiligkos, Alexander Volberg

We build here several counterexamples for two weight bi-parameter Carleson embedding theorem.

Sebastian De Haro

Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical equivalence. I argue that duality suggests a construal of theoretical equivalence in the physical sciences. The construal is

Shujun Wang, Lequan Yu, Kang Li, Xin Yang

Accurate segmentation of the optic disc (OD) and cup (OC)in fundus images from different datasets is critical for glaucoma disease screening. The cross-domain discrepancy (domain shift) hinders the generalization of deep neural networks to work on different domain datasets.In this work, we present an unsupervised domain adaptation framework,called Boundary a

Fabrizio Cossu, Krisztián Palotás, Sagar Sarkar, Igor Di Marco

Charge density waves are ubiquitous phenomena in metallic transition metal dichalcogenides. In NbSe$_2$, a triangular $3\times3$ structural modulation is coupled to a charge modulation. Recent experiments reported evidence for a triangular-stripe transition at the surface, due to strain or accidental doping and associated to a $4\times4$ modulation. We emplo

Anastasia V. Vikulova

In this paper we show how the method of parallel coordinates can be extended to three dimensions. As an application, we prove the conjecture of Antunes, Freitas and Krej\v{c}i\v{r}\'ik \cite{AFK} that "the ball maximises the first Robin eigenvalue with negative boundary parameter among all convex domains of equal surface area" under the weaker restriction th

M. Labat, S. Bielawski, A. Loulergue, S. Corde

The spectacular development of Laser-Plasma Accelerators (LPA) appears very promising for a free electron laser application. The handling of the inherent properties of those LPA beams already allowed controlled production of LPA-based spontaneous undulator radiation. Stepping further, we here unveil that the forthcoming LPA-based seeded FELs will present sin

Kyungyun Lee, Juhan Nam

Previous approaches in singer identification have used one of monophonic vocal tracks or mixed tracks containing multiple instruments, leaving a semantic gap between these two domains of audio. In this paper, we present a system to learn a joint embedding space of monophonic and mixed tracks for singing voice. We use a metric learning method, which ensures t

Jim Coykendall, Felix Gotti

Let $M$ be a commutative cancellative monoid, and let $R$ be an integral domain. The question of whether the monoid ring $R[x;M]$ is atomic provided that both $M$ and $R$ are atomic dates back to the 1980s. In 1993, Roitman gave a negative answer to the question for $M = \mathbb{N}_0$: he constructed an atomic integral domain $R$ such that the polynomial rin

Tianwen Jiang, Tong Zhao, Bing Qin, Ting Liu

Conditions are essential in the statements of biological literature. Without the conditions (e.g., environment, equipment) that were precisely specified, the facts (e.g., observations) in the statements may no longer be valid. One biological statement has one or multiple fact(s) and/or condition(s). Their subject and object can be either a concept or a conce

Ritajit Majumdar, Susmita Sur-Kolay

Multi-valued quantum systems can store more information than binary ones for a given number of quantum states. For reliable operation of multi-valued quantum systems, error correction is mandated. In this paper, we propose a 5-qutrit quantum error-correcting code and provide its stabilizer formulation. Since 5 qutrits are necessary to correct a single error,

Wenmeng Geng, Kai Tao

In this paper, we first study the strong Birkhoff Ergodic Theorem for subharmonic functions with the Brjuno-R\"ussmann shift on the Torus. Then, we apply it to prove the large deviation theorems for the finite scale Dirichlet determinants of quasi-periodic analytic Jacobi operators with this frequency. It shows that the Brjuno-R\"ussmann function, which refl

Fahad Qasmi, Mohammad Shehab, Hirley Alves, Matti Latva-aho

In this paper, we study the trade-off between reliability and latency in machine type communication (MTC), which consists of single transmitter and receiver in the presence of Rayleigh fading channel. We assume that the transmitter does not know the channel conditions, therefore it would be transmitting information over a fixed rate. The fixed rate transmiss

Takeru Nakayama, Shunji Tsuchiya

We study tunneling properties of Higgs modes in superfluid Bose gases in optical lattices in the presence of a potential barrier introduced by local modulation of hopping amplitude. Solving the time-dependent Ginzburg-Landau equation, Higgs modes are found to exhibit perfect transmission through a potential barrier if the barrier strength is weak. There exis

Francesco Graffitti, Alexander Pickston, Peter Barrow, Massimiliano Proietti

The capability to reliably transmit and store quantum information is an essential building block for future quantum networks and processors. Gauging the ability of a communication link or quantum memory to preserve quantum correlations is therefore vital for their technological application. Here, we experimentally demonstrate a measurement-device-independent

Tsz Ho Chan

Suppose $a^2 (a^2 + 1)$ divides $b^2 (b^2 + 1)$ with $b > a$. In this paper, we improve a previous result and prove a gap principle, without any additional assumptions, namely $b \gg a (\log a)^{1/8} / (\log \log a)^{12}$. We also obtain $b \gg_\epsilon a^{15/14 - \epsilon}$ under the abc conjecture.

Sandip Mahish, Shrohan Mohapatra, Karunava Sil, Chandrasekhar Bhamidipati

The aim of this note is to explore Susskind's proposal [arXiv:1802.01198] on the connection between operator size in chaotic theories and the bulk momentum of a particle falling into black holes (see also [arXiv:1804.04156, 1806.05574, 1904.12819, 1912.05996, 2006.03019] for more recent generalizations), in a broad class of models involving Gauss-Bonnet(GB)

Manijeh Bashar, Kanapathippillai Cumanan, Alister G. Burr, Hien Quoc Ngo

We investigate the energy efficiency performance of cell-free Massive multiple-input multiple-output (MIMO), where the access points (APs) are connected to a central processing unit (CPU) via limited-capacity links. Thanks to the distributed maximum ratio combining (MRC) weighting at the APs, we propose that only the quantized version of the weighted signals

Iknoor Singh, Deepak P, Anoop K

The generation and spread of fake news within new and online media sources is emerging as a phenomenon of high societal significance. Combating them using data-driven analytics has been attracting much recent scholarly interest. In this study, we analyze the textual coherence of fake news articles vis-a-vis legitimate ones. We develop three computational for

P. D. Grigoriev, A. A. Sinchenko, P. A. Vorobyev, A. Hadj-Azzem

Our measurements of the Hall coefficient in rare-earth tritelluride compounds reveal a strong hysteresis between cooling and warming in the low temperature range where a second unidirectional charge density wave (CDW) occurs. We show that this effect results from the interplay between two instabilities: band crossing of the Te $p_{x}$ and $p_{y}$ orbitals at

Xingang Zhao, Koroush Shirvan, Robert K. Salko, Fengdi Guo

The critical heat flux (CHF) corresponding to the departure from nucleate boiling (DNB) crisis is essential to the design and safety of a two-phase flow boiling system. Despite the abundance of predictive tools available to the thermal engineering community, the path for an accurate, robust CHF model remains elusive due to lack of consensus on the DNB trigge

Ge Wang, Jun Zhao, Nigel Shadbolt

Digital devices are widely used by children, and children nowadays are spending more time online than with other media sources, such as watching television or playing offline video games. In the UK, 44% of children aged five to ten have been provided with their own tablets, with this percentage increasing annually, while in the US, ownership of tablets by ch

Inés Armendáriz, Pablo A. Ferrari, Sergio Yuhjtman

We construct an infinite volume spatial random permutation $(\mathsf X,\sigma)$, where $\mathsf X\subset\mathbb R^d$ is locally finite and $\sigma:\mathsf X\to \mathsf X$ is a permutation, associated to the formal Hamiltonian $$ H(\mathsf X,\sigma) = \sum_{x\in \mathsf X} \|x-\sigma(x)\|^2. $$ The measures are parametrized by the point density $\rho$ and the

Daniela De Canditiis

We consider the problem of learning the link parameters as well as the structure of a binary-valued pairwise Markov model. Under sparsity assumption, we propose a method based on $l_1$- regularized logistic regression, which estimate globally the whole set of edges and link parameters. Unlike the more recent methods discussed in literature that learn the edg

W. Cosyn, C. Weiss

Polarized electron-deuteron deep-inelastic scattering (DIS) with detection of the spectator proton ("tagged DIS") enables measurements of neutron spin structure with maximal control of nuclear effects. We calculate the longitudinal spin asymmetries in polarized tagged DIS using methods of light-front nuclear structure and study their dependence on the measur

Ansh Kapil, Tobias Wiestler, Simon Lanzmich, Abraham Silva

The analysis of the tumor environment on digital histopathology slides is becoming key for the understanding of the immune response against cancer, supporting the development of novel immuno-therapies. We introduce here a novel deep learning solution to the related problem of tumor epithelium segmentation. While most existing deep learning segmentation appro

Nikolay Matyunin, Yujue Wang, Tolga Arul, Kristian Kullmann

Recent studies have shown that aggregate CPU usage and power consumption traces on smartphones can leak information about applications running on the system or websites visited. In response, access to such data has been blocked for mobile applications starting from Android 8. In this work, we explore a new source of side-channel leakage for this class of att

Hailong Wang, James Kally, Cuneyt Sahin, Tao Liu

Topological spintronics aims to exploit the spin-momentum locking in the helical surface states of topological insulators for spin-orbit torque devices. We address a fundamental question that still remains unresolved in this context: does the topological surface state alone produce the largest values of spin-charge conversion efficiency or can the strongly s

Purabi Ghosh, Jajati K. Nayak, Sushant K. Singh, Santosh K. Agarwalla

Production of multi strange hadrons like cascade ($\Xi$) and omega($\Omega$) baryons are studied microscopically using rate equation at $\sqrt{s_{NN}}$=2.76 TeV, Large Hadron Collider(LHC) energy. The rate equations for $\Xi$, $\Omega$ are solved simultaneously with other strange hadrons in an expanding medium. The results for $\Xi$ and $\Omega$ are compared

Madhura Thosar, Christian A. Mueller, Georg Jaeger, Johannes Schleiss

Tool-use applications in robotics require conceptual knowledge about objects for informed decision making and object interactions. State-of-the-art methods employ hand-crafted symbolic knowledge which is defined from a human perspective and grounded into sensory data afterwards. However, due to different sensing and acting capabilities of robots, their conce

Filip Elvander, Johan Swärd, Andreas Jakobsson

In this work, we consider the problem of estimating the parameters of polynomially damped sinusoidal signals, commonly encountered in, for instance, spectroscopy. Generally, finding the parameter values of such signals constitutes a high-dimensional problem, often further complicated by not knowing the number of signal components or their specific signal str

Nina Zubrilina

In a recent breakthrough, Viazovska and Cohn, Kumar, Miller, Radchenko, Viazovska solved the sphere packing problem in $\mathbb{R}^8$ and $\mathbb{R}^{24}$, respectively, by exhibiting explicit optimal functions, arising from the theory of weakly modular forms, for the Cohn-Elkies linear program in those dimensions. These functions have roots exactly at the

Felipe Carraro, Rafael Holdorf Lopez, Leandro Fleck Fadel Miguel, André Jacomel Torii

In this paper, the minimization of computational cost on evaluating multi-dimensional integrals is explored. More specifically, a method based on an adaptive scheme for error variance selection in Monte Carlo integration (MCI) is presented. It uses a stochastic Efficient Global Optimization (sEGO) framework to guide the optimization search. The MCI is employ

Vojtěch Kovařík, Martin Schmid, Neil Burch, Michael Bowling

Multiagent decision-making in partially observable environments is usually modelled as either an extensive-form game (EFG) in game theory or a partially observable stochastic game (POSG) in multiagent reinforcement learning (MARL). One issue with the current situation is that while most practical problems can be modelled in both formalisms, the relationship

Davy Neven, Bert De Brabandere, Marc Proesmans, Luc Van Gool

Current state-of-the-art instance segmentation methods are not suited for real-time applications like autonomous driving, which require fast execution times at high accuracy. Although the currently dominant proposal-based methods have high accuracy, they are slow and generate masks at a fixed and low resolution. Proposal-free methods, by contrast, can genera

S. K. Adhikari

In a harmonically-trapped rotating Bose-Einstein condensate (BEC), a vortex of large angular momentum decays to multiple vortices of unit angular momentum from an energetic consideration. We demonstrate the formation of a robust and dynamically stable giant vortex of large angular momentum in a harmonically trapped rotating BEC with a potential hill at the c

Gábor Székelyhidi

We consider the Calabi-Yau metrics on $\mathbf{C}^n$ constructed recently by Yang Li, Conlon-Rochon, and the author, that have tangent cone $\mathbf{C}\times A_1$ at infinity for the $(n-1)$-dimensional Stenzel cone $A_1$. We show that up to scaling and isometry this Calabi-Yau metric on $\mathbf{C}^n$ is unique. We also discuss possible generalizations to o

M. Cavallius, G. Cataldi, A. Brandeker, G. Olofsson

The debris disk surrounding $\beta$~Pictoris has been observed with ALMA to contain a belt of CO gas with a distinct peak at $\sim$85 au. This CO clump is thought to be the result of a region of enhanced density of solids that collide and release CO through vaporisation. The parent bodies are thought to be comparable to solar system comets, in which CO is tr

Savely G. Karshenboim, Akira Ozawa, Valery A. Shelyuto, Robert Szafron

We consider the $1s$ Lamb shift in hydrogen and helium ions, a quantity, required for an accurate determination of the Rydberg constant and the proton charge radius by means of hydrogen spectroscopy, as well as for precision tests of the bound-state QED. The dominant QED contribution to the uncertainty originates from $\alpha^8m$ external-field contributions

Jakub Michaliszyn, Jan Otop

Limit-average automata are weighted automata on infinite words that use average to aggregate the weights seen in infinite runs. We study approximate learning problems for limit-average automata in two settings: passive and active. In the passive learning case, we show that limit-average automata are not PAC-learnable as samples must be of exponential-size to

Ahmad Asadi, Reza Safabakhsh

Generating textual descriptions for images has been an attractive problem for the computer vision and natural language processing researchers in recent years. Dozens of models based on deep learning have been proposed to solve this problem. The existing approaches are based on neural encoder-decoder structures equipped with the attention mechanism. These met

R. Sekhar Chivukula, Dennis Foren, Kirtimaan A Mohan, Dipan Sengupta

We present the results of the first complete calculation of the tree-level $2\to 2$ high-energy scattering amplitudes of the longitudinal modes of massive spin-2 Kaluza-Klein states, both in the case where the internal space is a torus and in the Randall-Sundrum model where the internal space has constant negative curvature. While individual contributions to

Marc Eder, True Price, Thanh Vu, Akash Bapat

We present a versatile formulation of the convolution operation that we term a "mapped convolution." The standard convolution operation implicitly samples the pixel grid and computes a weighted sum. Our mapped convolution decouples these two components, freeing the operation from the confines of the image grid and allowing the kernel to process any type of s

Ahmed Abdeljawad, Sandro Coriasco, Nenad Teofanov

We consider bilinear pseudo-differential operators whose symbols posses Gevrey type regularity and may have a sub-exponential growth at infinity, together with all their derivatives. It is proved that those symbol classes can be described by the means of the short-time Fourier transform and modulation spaces. Our first main result is the invariance property

Philipp Morgner, Christoph Mai, Nicole Koschate-Fischer, Felix Freiling

With the expansion of the Internet of Things (IoT), the number of security incidents due to insecure and misconfigured IoT devices is increasing. Especially on the consumer market, manufacturers focus on new features and early releases at the expense of a comprehensive security strategy. Hence, experts have started calling for regulation of the IoT consumer

Włodzimierz Jelonek, Ewelina Mulawa

In this paper we give classification of K\"ahler surfaces of generalized Calabi type.

Hemar Godinho, José Plínio O. Santos

In this paper we present a new formula for the number of unrestricted partitions of $n$. We do this by introducing a correspondence between the number of unrestrited partitions of $n$ and the number of non-negative solutions of systems of two equations, involving natural numbers in the interval (1 $,n^{2}$).

Washington Taylor, Andrew P. Turner

We describe general classes of 6D and 4D F-theory models with gauge group $(\operatorname{SU}(3) \times \operatorname{SU}(2) \times \operatorname{U}(1)) / \mathbb{Z}_6$. We prove that this set of constructions gives all possible consistent 6D supergravity theories with no tensor multiplets having this gauge group and the corresponding generic matter represen

R. N. Shakhmuratov

The spectrum of a CW field whose phase experiences a periodic sawtooth modulation is analyzed. Two types of the sawtooth phase modulation are considered. One is created by combining many harmonics of the fundamental frequency. The second is produced by electro-optic modulator fed by the relaxation oscillator, which generates a voltage slowly rising during ch

Qiang Zheng, Miaofang Chi, Maxim Ziatdinov, 2 Li Li

Using a local real-space microscopy probe, we discover evidence of nanoscale interlayer defects along the c-crystallographic direction in BaFe2As2 (122) based iron-arsenide superconductors. We find ordered 122 atomic arrangements within the ab-plane, and within regions of ~10 to 20 nm size perpendicular to this plane. While the FeAs substructure is very rigi

Xiao-Hui Chen, Qi-Nan Wang, Wei Chen, Hua-Xing Chen

We investigate the exotic $\Omega\Omega$ dibaryon states with $J^P=0^+$ and $2^+$ in a molecular picture. We construct the scalar and tensor $\Omega$$\Omega$ molecular interpolating currents and calculate their masses within the method of QCD sum rules. Our results indicate that the mass of the scalar dibaryon state is $m_{\Omega\Omega, \, 0^+}=(3.33\pm0.22)

Arrate Antuñano, Leigh N. Fletcher, Glenn S. Orton, Henrik Melin

Jupiter's banded structure undergoes strong temporal variations, changing the visible and infrared appearance of the belts and zones in a complex and turbulent way due to physical processes that are not yet understood. In this study we use ground-based 5-$\mu$m infrared data captured between 1984 and 2018 by 8 different instruments mounted on the Infrared Te

Daniel Brodeski, Igal Bilik, Raja Giryes

While camera and LiDAR processing have been revolutionized since the introduction of deep learning, radar processing still relies on classical tools. In this paper, we introduce a deep learning approach for radar processing, working directly with the radar complex data. To overcome the lack of radar labeled data, we rely in training only on the radar calibra

Sofia Perticarari, Tom Doizy, Patrick Soudan, Chris Ewels

Aqueous batteries, particularly those integrating organic active materials functioning in a neutral pH environment, stand out as highly promising contenders in the stationary electrochemical storage domain, owing to their unparalleled safety, sustainability and low-cost materials. Herein, a novel di-block oligomer (DNVBr), serving as the negative electrode o

Jianjin Wang, Sergey V. Dmitriev, Daxing Xiong

Studies of thermal transport in long-range (LR)interacting systems are currently particularly challenging. The main difficulties lie in the choice of boundary conditions and the definition of heat current when driving systems in an out-of-equilibrium state by the usual thermal reservoirs. Here, by employing a reverse type of thermal baths that can overcome s

Ling Huang, Mao-Wu Nie, Guo-Liang Ma

Because the traditional observable of charge-dependent azimuthal correlator $\gamma$ contains both contributions from the chiral magnetic effect (CME) and its background, a new observable of $R_{\Psi_{m}}$ has been recently proposed which is expected to be able to distinguish the CME from the background. In this study, we apply two methods to calculate $R_{\

Hichem Mezaoui, Aleksandr Gontcharov, Isuru Gunasekara

In this paper, we investigate a new approach to Population, Intervention and Outcome (PIO) element detection, a common task in Evidence Based Medicine (EBM). The purpose of this study is two-fold: to build a training dataset for PIO element detection with minimum redundancy and ambiguity and to investigate possible options in utilizing state of the art embed

Stanisław Janeczko, Takashi Nishimura

Let $f: N^n\to \mathbb{R}^{n+1}$ be a frontal with its Gauss mapping $\nu: N\to S^n$ and let $P\in \mathbb{R}^{n+1}$ be a point such that $(f(x)-P)\cdot \nu(x) \ne 0$ for any $x\in N$. In this paper, for the mapping $\widetilde{f}: N\to \mathbb{R}^{n+1}$ defined by $$ \widetilde{f}(x)=f(x)-\frac{||f(x)-P||^2}{2(f(x)-P) \cdot \nu(x)}\nu(x), $$ the following f

Adrian Weisskopf

This paper provides a detailed introduction into the differential algebra (DA) based normal form algorithm using the example of the symplectic one dimensional system of the centrifugal governor. The intention of this paper is to make the single steps of the algorithm as transparent as possible in the hope that the understanding and use of DA normal form meth

W. Steven Gray, G. S. Venkatesh, Luis A. Duffaut Espinosa

A learning control system is presented suitable for control affine nonlinear plants based on discrete-time Chen-Fliess series and capable of incorporating knowledge of a given physical model. The underlying noncommutative algebraic and combinatorial structures needed to realize the multivariable case are also described. The method is demonstrated using a two

Dylan Yaga, Peter Mell, Nik Roby, Karen Scarfone

Blockchains are tamper evident and tamper resistant digital ledgers implemented in a distributed fashion (i.e., without a central repository) and usually without a central authority (i.e., a bank, company, or government). At their basic level, they enable a community of users to record transactions in a shared ledger within that community, such that under no

David Rojas

An oscillator is called isochronous if all motions have a common period. When the system is forced by a time-dependent perturbation with the same period the phenomenon of resonance may appear. We give a sufficient condition on the perturbation in order that resonance occurs when the period annulus of the isochronous oscillator is bounded. In this context, re

Björn de Rijk, Guido Schneider

We develop techniques to capture the effect of transport on the long-term dynamics of small, localized initial data in nonlinearly coupled reaction-diffusion-advection equations on the real line. It is well-known that quadratic or cubic nonlinearities in such systems can lead to growth of small, localized initial data and even finite time blow-up. We show th

Fabian Fagerholm, Christoph Becker, Alexander Chatzigeorgiou, Stefanie Betz

Background: Many decisions made in Software Engineering practices are intertemporal choices: trade-offs in time between closer options with potential short-term benefit and future options with potential long-term benefit. However, how software professionals make intertemporal decisions is not well understood. Aim: This paper investigates how shifting time fr

Donatella Bongiorno, Emma D'Aniello, Udayan B. Darji, Luisa Di Piazza

Weighted shifts are an important concrete class of operators in linear dynamics. In particular, they are an essential tool in distinguishing variety dynamical properties. Recently, a systematic study of dynamical properties of composition operators on $L^p$ spaces has been initiated. This class of operators includes weighted shifts and also allows flexibilit

Li Bai, Dimitri Thomopulos, Emanuele Crisostomi

Peer-to-peer energy trading is emerging as a new paradigm that in the near future may disrupt conventional electricity markets and heavily affect energy exchanges in networks of microgrids. In this paper, a preference mechanism is considered to compute optimal energy exchanges in a network of microgrids with or without the supervision of the distribution sys

Clotilde Fermanian Kammerer, Alain Joye

This paper is devoted to a generalisation of the quantum adiabatic theorem to a nonlinear setting. We consider a Hamiltonian operator which depends on the time variable and on a finite number of parameters and acts on a separable Hilbert space of which we select a fixed basis. We study an evolution equation in which this Hamiltonian acts on the unknown vecto

Aladdin Ayesh

This paper aims to question the suitability of the Turing Test, for testing machine intelligence, in the light of advances made in the last 60 years in science, medicine, and philosophy of mind. While the main concept of the test may seem sound and valid, a detailed analysis of what is required to pass the test highlights a significant flow. Once the analysi

Thierry Cazenave, Zheng Han

We study the time-asymptotic behavior of solutions of the Schr\"odinger equation with nonlinear dissipation \begin{equation*} \partial _t u = i \Delta u + \lambda |u|^\alpha u \end{equation*} in ${\mathbb R}^N $, $N\geq1$, where $\lambda\in {\mathbb C}$, $\Re \lambda <0$ and $0<\alpha<\frac2N$. We give a precise description of the behavior of the solutions (

Fuchun Lin, San Ling, Reihaneh Safavi-Naini, Huaxiong Wang

Non-malleable codes protect against an adversary who can tamper with the coded message by using a tampering function in a specified function family, guaranteeing that the tampering result will only depend on the chosen function and not the coded message. The codes have been motivated for providing protection against tampering with hardware that stores the se

Stefano V. Albrecht, Peter Stone

Agents can achieve effective interaction with previously unknown other agents by maintaining beliefs over a set of hypothetical behaviours, or types, that these agents may have. A current limitation in this method is that it does not recognise parameters within type specifications, because types are viewed as blackbox mappings from interaction histories to p

Peter Mell, Assane Gueye, Christopher Schanzle

Data sent over the Internet can be monitored and manipulated by intermediate entities in the data path from the source to the destination. For unencrypted communications (and some encrypted communications with known weaknesses), eavesdropping and man-in-the-middle attacks are possible. For encrypted communication, the identification of the communicating endp

Andreas Berg, Daniel Forsberg

DNS is a distributed, fault tolerant system that avoids a single point of failure. As such it is an integral part of the internet as we use it today and hence deemed a safe protocol which is let through firewalls and proxies with no or little checks. This can be exploited by malicious agents. Network forensics is effective but struggles due to size of data a

Peter Mell, Jim Dray, James Shook

Federated identity management enables users to access multiple systems using a single login credential. However, to achieve this a complex privacy compromising authentication has to occur between the user, relying party (RP) (e.g., a business), and a credential service provider (CSP) that performs the authentication. In this work, we use a smart contract on

Shreshth Tuli, Nipam Basumatary, Rajkumar Buyya

Data-intensive applications are growing at an increasing rate and there is a growing need to solve scalability and high-performance issues in them. By the advent of Cloud computing paradigm, it became possible to harness remote resources to build and deploy these applications. In recent years, new set of applications and services based on Internet of Things

Xian Chen, Zhe-Feng Shen

Gravitational waves (GWs) encode important information about the mass of the source. For binary black holes (BBHs), the templates that are used to retrieve the masses normally are developed under the assumption of a vacuum environment. However, theories suggest that some BBHs form in gas-rich environments. Here we study the effect of hydrodynamic drag on the

Tommaso Cornelis Rosati

This note extends the results in [8] to construct the rough super-Brownian motion on finite volume with Dirichlet boundary conditions. The backbone of this study is the convergence of discrete approximations of the parabolic Anderson model (PAM) on a box.

S. Kundu, V. Tripathi

We study electronic phase competition in a system of three coupled spinless Luttinger liquids using abelian bosonization, together with a perturbative renormalization group (RG) analysis. The scaling procedure generates off-diagonal contributions to the phase stiffness matrix, which require both rescaling as well as large rotations of the fields. These rotat

Alex Hernández-García, Peter König

Data augmentation is a popular technique largely used to enhance the training of convolutional neural networks. Although many of its benefits are well known by deep learning researchers and practitioners, its implicit regularization effects, as compared to popular explicit regularization techniques, such as weight decay and dropout, remain largely unstudied.

Stefan G. Fischer, Jinhong Park, Yigal Meir, Yuval Gefen

A novel mesoscopic electron spectrometer allows for the probing of relaxation processes in quantum Hall edge channels. The device is composed of an emitter quantum dot that injects energy-resolved electrons into the channel closest to the sample edge, to be subsequently probed downstream by a detector quantum dot of the same type. In addition to inelastic pr

Holger Drees, Anne Sabourin

The first order behavior of multivariate heavy-tailed random vectors above large radial thresholds is ruled by a limit measure in a regular variation framework. For a high dimensional vector, a reasonable assumption is that the support of this measure is concentrated on a lower dimensional subspace, meaning that certain linear combinations of the components

Peter Mell

Blockchain based cryptocurrencies are usually unmanaged, distributed, consensus-based systems in which no single entity has control. Managed cryptocurrencies can be implemented using private blockchains but are fundamentally different as the owners have complete control to do arbitrary activity without transparency (since they control the mining). In this wo

E. C. Cryer-Jenkins, P. D. Stevenson

The visualisation of objects moving at relativistic speeds has been a popular topic of study since Special Relativity's inception. While the standard exposition of the theory describes certain shape-changing effects, such as the Lorentz-contraction, it makes no mention of how an extended object would appear in a snapshot or how apparent distortions could be

Matteo Carlesso, Mauro Paternostro

The gap between the predictions of collapse models and those of standard quantum mechanics widens with the complexity of the involved systems. Addressing the way such gap scales with the mass or size of the system being investigated paves the way to testing the validity of the collapse theory and identify the values of the parameters that characterize it. He

Francesco Bellando, Ali Saeidi, Adrian M. Ionescu

Ion-Sensitive Field-Effect Transistors (ISFETs) form a wide-spread technology for sensing, thanks to their label-free detection and intrinsic CMOS compatibility. Their current sensitivity, {\Delta}ID/ID, for a given {\Delta}pH, however, is limited by the thermionic limit for the Subthreshold Slope (SS) of Metal-Oxide-Semiconductor Field-Effect Transistors(MO

Pedro Gabriel Fernández-Dalgo, Pierre Gilles Lemarié-Rieusset

We show the existence of global weak solutions of the 3D Navier-Stokes equations with initial velocity in the weighted spaces L 2 w$\gamma$ , where w $\gamma$ (x) = (1 + |x|) --$\gamma$ and 0 < $\gamma$ $\le$ 2, using new energy controls. As application we give a new proof of the existence of global weak discretely self-similar solutions of the 3D Navier-Sto

Luke Lippstreu, Jorge Mago, Marcus Spradlin, Anastasia Volovich

We classify all positive n-particle N^kMHV Yangian invariants in N=4 Yang-Mills theory with n=5k, which we call extremal because none exist for n>5k. We show that this problem is equivalent to that of enumerating plane cactus graphs with k pentagons. We use the known solution of that problem to provide an exact expression for the number of cyclic classes of

Mnacho Echenim, Nicolas Peltier, Yanis Sellami

We describe a system to prove properties of programs. The key feature of this approach is a method to automatically synthesize inductive invariants of the loops contained in the program. The method is generic, i.e., it applies to a large set of programming languages and application domains; and lazy, in the sense that it only generates invariants that allow

Aladdin Ayesh

In our connected world, services are expected to be delivered at speed through multiple means with seamless communication. To put it in day to day conversational terms, 'there is an app for it' attitude prevails. Several technologies are needed to meet this growing demand and indeed these technologies are being developed. The first noteworthy is Internet of

Reuben R Shamir, Yuval Duchin, Jinyoung Kim, Guillermo Sapiro

Objective: Overlapping measures are often utilized to quantify the similarity between two binary regions. However, modern segmentation algorithms output a probability or confidence map with continuous values in the zero-to-one interval. Moreover, these binary overlapping measures are biased to structure size. Addressing these challenges is the objective of t

Giulia Bernardini, Huiping Chen, Alessio Conte, Roberto Grossi

String data are often disseminated to support applications such as location-based service provision or DNA sequence analysis. This dissemination, however, may expose sensitive patterns that model confidential knowledge. In this paper, we consider the problem of sanitizing a string by concealing the occurrences of sensitive patterns, while maintaining data ut

Jay Gopalakrishnan, Matthias Hochsteger, Joachim Schöberl, Christoph Wintersteiger

We present a new numerical method for solving time dependent Maxwell equations, which is also suitable for general linear hyperbolic equations. It is based on an unstructured partitioning of the spacetime domain into tent-shaped regions that respect causality. Provided that an approximate solution is available at the tent bottom, the equation can be locally

Xin Wang

In this paper, we prove quasi-modularity property for the twisted Gromov-Witten theory of $\mathcal{O}(3)$ over $\mathbb{P}^2$. Meanwhile, we derive its holomorphic anomaly equation.

Tiziano De Angelis, Maximilien Germain, Elena Issoglio

In this paper we present a scheme for the numerical solution of one-dimensional stochastic differential equations (SDEs) whose drift belongs to a fractional Sobolev space of negative regularity (a subspace of Schwartz distributions). We obtain a rate of convergence in a suitable $L^1$-norm and we implement the scheme numerically. To the best of our knowledge

V. N. Strocov, L. L. Lev, M. Kobayashi, C. Cancellieri

Angle-resolved photoelectron spectroscopy (ARPES) is the main experimental tool to explore electronic structure of solids resolved in the electron momentum k . Soft-X-ray ARPES (SX-ARPES), operating in a photon energy range around 1 keV, benefits from enhanced probing depth compared to the conventional VUV-range ARPES, and elemental/chemical state specificit

Tong Xiao, Yinqiao Li, Jingbo Zhu, Zhengtao Yu

Recently, the Transformer machine translation system has shown strong results by stacking attention layers on both the source and target-language sides. But the inference of this model is slow due to the heavy use of dot-product attention in auto-regressive decoding. In this paper we speed up Transformer via a fast and lightweight attention model. More speci

Stefano Ugolini

Recent developments in the literature on financial architecture suggest that banks and markets not only coexist, but also coevolve in ways that are non-neutral from the viewpoint of optimality. This article aims to analyse the concrete mechanisms of this coevolution by focusing on a very relevant case study: Belgium (the first Continental country to industri

Juan Olives

The thermodynamics and mechanics of the surface of a deformable body are studied here, following and refining the general approach of Gibbs. It is first shown that the 'local' thermodynamic variables of the state of the surface are only the temperature, the chemical potentials and the surface strain tensor (true thermodynamic variables, for a viscoelastic so

Maxime Bouton, Alireza Nakhaei, Kikuo Fujimura, Mykel J. Kochenderfer

Decision making in dense traffic can be challenging for autonomous vehicles. An autonomous system only relying on predefined road priorities and considering other drivers as moving objects will cause the vehicle to freeze and fail the maneuver. Human drivers leverage the cooperation of other drivers to avoid such deadlock situations and convince others to ch

Bardia Panahbehagh, Rainer Bruggemann, Mohammad M. Salehi

This paper is going to introduce a new method for ranked set sampling with multiple criteria. The method is based on a version of ranked set sampling, introduced by Panahbehagh et al. (2017), which relaxes the restriction of selecting just one individual variable from each ranked set. Under the new method for ranking, elements are ranked in sets based on lin