arXiv papers from April 2017

Yu Chen, Chunhua Shen, Xiu-Shen Wei, Lingqiao Liu

For human pose estimation in monocular images, joint occlusions and overlapping upon human bodies often result in deviated pose predictions. Under these circumstances, biologically implausible pose predictions may be produced. In contrast, human vision is able to predict poses by exploiting geometric constraints of joint inter-connectivity. To address the pr

Florian Luca, Min Sha, Igor E. Shparlinski

We investigate two arithmetic functions naturally occurring in the study of the Euler and Carmichael quotients. The functions are related to the frequency of vanishing of the Euler and Carmichael quotients. We obtain several results concerning the relations between these functions as well as their typical and extreme values.

Amirhossein Farahzadia, Pooyan Shams, Javad Rezazadeh, Reza Farahbakhsh

The next wave of communication and applications rely on the new services provided by Internet of Things which is becoming an important aspect in human and machines future. The IoT services are a key solution for providing smart environments in homes, buildings and cities. In the era of a massive number of connected things and objects with a high grow rate, s

Kaethe Minden

I survey an array of topics in set theory in the context of a novel class of forcing notions: subcomplete forcing. Subcompleteness was originally defined by Ronald Jensen. I have attempted to make the subject somewhat more approachable to set theorists, while showing various properties of subcomplete forcing which one might desire of a forcing class, drawing

Giuseppe Sanfilippo, Niki Pfeifer, Angelo Gilio

Modus ponens (\emph{from $A$ and "if $A$ then $C$" infer $C$}, short: MP) is one of the most basic inference rules. The probabilistic MP allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from $P(A)$ and $P(C|A)$ infer $P(C)$). In this paper, we generalize the probabilistic MP by replacing $A$ by

Alexander Dunn, Nicolas Robles

Let $f \in \mathbb{Z}[y]$ be a polynomial such that $f(\mathbb{N}) \subseteq \mathbb{N}$, and let $p_{\mathcal{A}_{f}}(n)$ denote number of partitions of $n$ whose parts lie in the set $\mathcal{A}_f:=\{f(n):n \in \mathbb{N}\}$. Under hypotheses on the roots of $f-f(0)$, we use the Hardy--Littlewood circle method, a polylogarithm identity, and the Matsumoto-

Kevin J. Meagher

The IceCube Neutrino Observatory is a cubic kilometer neutrino telescope located at the geographic South Pole. Cherenkov radiation emitted by charged secondary particles from neutrino interactions is observed by IceCube using an array of 5160 photomultiplier tubes embedded between a depth of 1.5 km to 2.5 km in the Antarctic glacial ice. The detection of ast

Jonathan Stokes, Steven Weber

We examine two greedy heuristics - wiring and rewiring - for constructing maximum assortative graphs over all simple connected graphs with a target degree sequence. Counterexamples show that natural greedy rewiring heuristics do not necessarily return a maximum assortative graph, even though it is known that the meta-graph of all simple connected graphs with

Graeme W. Milton

The problem of determining those multiplets of forces, or sets of force multiplets, acting at a set of points, such that there exists a truss structure, or wire web, that can support these force multiplets with all the elements of the truss or wire web being under tension, is considered. The two-dimensional problem where the points are at the vertices of a c

Gautam Saikia, P. Shalima, Rupjyoti Gogoi, Amit Pathak

Recent availability of high quality infrared (IR) data for diffuse regions in the Galaxy and external galaxies have added to our understanding of interstellar dust. A comparison of ultraviolet (UV) and IR observations may be used to estimate absorption, scattering and thermal emission from interstellar dust. In this paper, we report IR and UV observations fo

Vladimir Georgescu

Let $\mathcal{A}$ be a $C^*$-algebra of bounded uniformly continuous functions on $X=\mathbb{R}^d$ such that $\mathcal{A}$ is stable under translations and contains the continuous functions that have a limit at infinity. Denote $\mathcal{A}^\dagger$ the boundary of $X$ in the character space of $\mathcal{A}$. Then the crossed product $\mathscr{A}=\mathcal{A}

I. Rogachevskii, O. Ruchayskiy, A. Boyarsky, J. Fröhlich

The magnetohydrodynamic (MHD) description of plasmas with relativistic particles necessarily includes an additional new field, the chiral chemical potential associated with the axial charge (i.e., the number difference between right- and left-handed relativistic fermions). This chiral chemical potential gives rise to a contribution to the electric current de

Cristiano Spotti, Song Sun

We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of K\"ahler-Einstein Fano manifolds in all complex dimensions bigger than two (Fano K-moduli spaces). We also discuss potential applications to explicit study of moduli spaces of K-stable Fano manifolds with large anti-canonical volume. Our arguments are

P. L. Robinson

We present a manifestly geometrically self-dual version of the Fano harmonicity axiom for the projective plane.

Natali Ruchansky, Mark Crovella, Evimaria Terzi

Matrix completion is a problem that arises in many data-analysis settings where the input consists of a partially-observed matrix (e.g., recommender systems, traffic matrix analysis etc.). Classical approaches to matrix completion assume that the input partially-observed matrix is low rank. The success of these methods depends on the number of observed entri

Vasco Furtado, Carlos Caminha, Elizabeth Furtado, André Lopes

The maintenance of big cities public transport service quality requires constant monitoring, which may become an expensive and time-consuming practice. The perception of quality, from the users point of view is an important aspect of quality monitoring. In this sense, we proposed a methodology for data analysis and visualization, supported by software, which

Cristiano Spotti

We survey recent results on the existence of K\"ahler-Einstein metrics on certain smoothable Fano varieties, focusing on the importance of such metrics in the construction of compact algebraic moduli spaces of K-polystable Fano varieties. Moreover, we give some applications and we discuss some natural problems which deserve future investigations.

Steven S. Gubser

In this summary of my talk at Strings 2016, I explain how classical dynamics on an infinite tree graph can be dual to a conformal field theory defined over the $p$-adic numbers. An informal introduction to $p$-adic numbers is followed by a presentation of results on holographic three- and four-point functions. The simplicity of $p$-adic field theories and th

Domagoj Vlah, Darko Zubrinic, Vesna Zupanovic

We study polynomial planar systems with singularity of focus type without characteristic directions. Simple and natural transformation of weak focus has been used to obtain such degenerate focus. We compute the box dimension of a spiral trajectory, and show connection to cyclicity of the system under a perturbation.

Feng Xu, Oliver E. Jensen

A liquid film wetting the interior of a long circular cylinder redistributes under the action of surface tension to form annular collars or occlusive plugs. These equilibrium structures are invariant under axial translation within a perfectly smooth uniform tube and therefore can be displaced axially by very weak external forcing. We consider how this degene

N. Agafonova, A. Aleksandrov, A. Anokhina, T. Asada

Direct Dark Matter searches are nowadays one of the most fervid research topics with many experimental efforts devoted to the search for nuclear recoils induced by the scattering of Weakly Interactive Massive Particles (WIMPs). Detectors able to reconstruct the direction of the nucleus recoiling against the scattering WIMP are opening a new frontier to possi

Kashyap Thimmaraju, Liron Schiff, Stefan Schmid

Today's routing protocols critically rely on the assumption that the underlying hardware is trusted. Given the increasing number of attacks on network devices, and recent reports on hardware backdoors this assumption has become questionable. Indeed, with the critical role computer networks play today, the contrast between our security assumptions and reality

Erik Ekström, Juozas Vaicenavicius

The problem of stopping a Brownian bridge with an unknown pinning point to maximise the expected value at the stopping time is studied. A few general properties, such as continuity and various bounds of the value function, are established. However, structural properties of the optimal stopping region are shown to crucially depend on the prior, and we provide

Miqing Li, Liangli Zhen, Xin Yao

Rapid development of evolutionary algorithms in handling many-objective optimization problems requires viable methods of visualizing a high-dimensional solution set. Parallel coordinates which scale well to high-dimensional data are such a method, and have been frequently used in evolutionary many-objective optimization. However, the parallel coordinates plo

Ruiying Li, Bernd R. Noack, Laurent Cordier, Jacques Borée

We advance Machine Learning Control (MLC), a recently proposed model-free control framework which explores and exploits strongly nonlinear dynamics in an unsupervised manner. The assumed plant has multiple actuators and sensors and its performance is measured by a cost functional. The control problem is to find a control logic which optimizes the given cost

Danna Gurari, Kun He, Bo Xiong, Jianming Zhang

We propose the ambiguity problem for the foreground object segmentation task and motivate the importance of estimating and accounting for this ambiguity when designing vision systems. Specifically, we distinguish between images which lead multiple annotators to segment different foreground objects (ambiguous) versus minor inter-annotator differences of the s

Keren Li, Muxin Han, Dongxue Qu, Zichang Huang

Quantum simulation promises to have wide applications in many fields where problems are hard to model with classical computers. Various quantum devices of different platforms have been built to tackle the problems in, say, quantum chemistry, condensed matter physics, and high-energy physics. Here, we report an experiment towards the simulation of quantum gra

John Wieting, Kevin Gimpel

We consider the problem of learning general-purpose, paraphrastic sentence embeddings, revisiting the setting of Wieting et al. (2016b). While they found LSTM recurrent networks to underperform word averaging, we present several developments that together produce the opposite conclusion. These include training on sentence pairs rather than phrase pairs, aver

Valerij A. Shklovskij, Anastasiia P. Nazipova, Oleksandr V. Dobrovolskiy

The effect of pinning on self-heating triggering the Larkin-Ovchinnikov (LO) flux-flow instability (FFI) in superconducting thin films is theoretically investigated. The problem is considered relying upon the Bezuglyj-Shklovskij (BS) generalization of the LO theory, accounting for a finite heat removal from the quasiparticles at temperature $T^\ast$ to the b

Erhan Gülmez

CMS-HF Calorimeters have been undergoing a major upgrade for the last couple of years to alleviate the problems encountered during Run I, especially in the PMT and the readout systems. In this poster, the problems caused by the old PMTs installed in the detectors and their solutions will be explained. Initially, regular PMTs with thicker windows, causing lar

Cristina Flaut, Diana Savin

In this paper we define and study properties and applications of a, b, x0, x1 elements in some special cases.

Xuebin Qin, Shida He, Camilo Perez Quintero, Abhineet Singh

This paper presents a novel real-time method for tracking salient closed boundaries from video image sequences. This method operates on a set of straight line segments that are produced by line detection. The tracking scheme is coherently integrated into a perceptual grouping framework in which the visual tracking problem is tackled by identifying a subset o

Ruizhi Zhang, Jian Wang, Yajun Mei

Evergreens in science are papers that display a continual rise in annual citations without decline, at least within a sufficiently long time period. Aiming to better understand evergreens in particular and patterns of citation trajectory in general, this paper develops a functional data analysis method to cluster citation trajectories of a sample of 1699 res

Bernard Deconinck, Qi Guo, Eli Shlizerman, Vishal Vasan

We demonstrate the use of the Unified Transform Method or Method of Fokas for boundary value problems for systems of constant-coefficient linear partial differential equations. We discuss how the apparent branch singularities typically appearing in the global relation are removable, allowing the method to proceed, in essence, as for scalar problems. We illus

Mehdi Rashidi-Kouchi, Asghar Rahimi

In this paper, we introduce controlled frames in Hilbert $C^*$-modules and we show that they share many useful properties with their corresponding notions in Hilbert space. Next, we give a characterization of controlled frames in Hilbert $C^*$-module. Also multiplier operators for controlled frames in Hilbert $C^*$-modules will be defined and some of its pro

D. W. Allender, M. Schick

We address questions posed by experiments which show that most small-chain alcohols reduce the miscibility transition temperature when added to giant plasma membrane vesicles, but increase that temperature when added to giant unilamellar vesicles. In both systems the change in temperature depends non-monotonically on the length of the alcohol chain. To empha

Matthew Hague, Roland Meyer, Sebastian Muskalla

We study two-player inclusion games played over word-generating higher-order recursion schemes. While inclusion checks are known to capture verification problems, two-player games generalize this relationship to program synthesis. In such games, non-terminals of the grammar are controlled by opposing players. The goal of the existential player is to avoid pr

E. Falk, J. Lidgard, M. I. Stringer, E. Turner

SNO+ is a neutrinoless double beta decay and low energy neutrino experiment located in Sudbury, Canada. To improve our understanding of the detector energy resolution and systematics, calibration systems have been developed to continuously monitor the optical properties of the detector, such as: absorption, re-emission, scattering and timing. A part of this

Luis Alvarez-Ruso, Eduardo Saul-Sala

The MiniBooNE experiment reported results from the analysis of $\nu_e$ and $\overline{\nu}_e$ appearance searches, which showed an excess of signal-like events at low reconstructed neutrino energies with respect to the expected background. A proposed explanation for this anomaly is based on the existence of a heavy ($\sim 50$~MeV) sterile neutrino. These $\n

Beatrice Franke, Julian J. Krauth, Aldo Antognini, Marc Diepold

The present knowledge of Lamb shift, fine-, and hyperfine structure of the 2S and 2P states in muonic helium-3 ions is reviewed in anticipation of the results of a first measurement of several $\mathrm{2S\rightarrow2P}$ transition frequencies in the muonic helium-3 ion, $\mathrm{\mu^3He^+}$. This ion is the bound state of a single negative muon $\mu^-$ and a

F. Lombard, Douglas M. Hawkins, Cornelis Potgieter

This paper develops non-parametric rotation invariant CUSUMs suited to the detection of changes in the mean direction as well as changes in the concentration parameter of angular data. The properties of the CUSUMs are illustrated by theoretical calculations, Monte Carlo simulation and application to sequentially observed angular data from health science and

M. N. Mazlee, J. B. Shamsul, H. Kamarudin

The influence of superheat treatment on the microstructure and dynamic mechanical properties of A357 alloys has been investigated. The study of microstructure was performed by the optical microscope. Dynamic mechanical properties (storage modulus, loss modulus, and damping capacity) were measured by the dynamic mechanical analyzer (DMA). Microstructure showe

Jakob Wierzbowski, Julian Klein, Florian Sigger, Christian Straubinger

We demonstrate the reduction of the inhomogeneous linewidth of the free excitons in atomically thin transition metal dichalcogenides (TMDCs) MoSe$_{2}$, WSe$_{2}$ and MoS$_{2}$ by encapsulation within few nanometer thick hBN. Encapsulation is shown to result in a significant reduction of the 10K excitonic linewidths down to $\sim3.5 \text{ meV}$ for n-MoSe$_

Jayadeva, Himanshu Pant, Sumit Soman, Mayank Sharma

Twin Support Vector Machines (TWSVMs) have emerged an efficient alternative to Support Vector Machines (SVM) for learning from imbalanced datasets. The TWSVM learns two non-parallel classifying hyperplanes by solving a couple of smaller sized problems. However, it is unsuitable for large datasets, as it involves matrix operations. In this paper, we discuss a

Andre Luckow, Matthew Cook, Nathan Ashcraft, Edwin Weill

Deep Learning refers to a set of machine learning techniques that utilize neural networks with many hidden layers for tasks, such as image classification, speech recognition, language understanding. Deep learning has been proven to be very effective in these domains and is pervasively used by many Internet services. In this paper, we describe different autom

Andrea Rocchetto

The exponential scaling of the wave function is a fundamental property of quantum systems with far reaching implications in our ability to process quantum information. A problem where these are particularly relevant is quantum state tomography. State tomography, whose objective is to obtain a full description of a quantum system, can be analysed in the frame

John Antoniadis, Dae-Sik Moon, Yuan Qi Ni, Dong-Jin Kim

We present the discovery of a rapidly evolving transient by the Korean Microlensing Telescope Network Supernova Program (KSP). KSP is a novel high-cadence supernova survey that offers deep ($\sim21.5$ mag in $BVI$ bands) nearly continuous wide-field monitoring for the discovery of early and/or fast optical transients. KSP-OT-201509a, reported here, was disco

Radja Boughezal, Alberto Guffanti, Frank Petriello, Maria Ubiali

The LHC has recently released precise measurements of the transverse momentum distribution of the Z-boson that provide a unique constraint on the structure of the proton. Theoretical developments now allow the prediction of these observables through next-to-next-to-leading order (NNLO) in perturbative QCD. In this work we study the impact of incorporating th

Cecilie S. Granerød, Wei Zhan, Øystein Prytz

Band gap variations in thin film structures, across grain boundaries, and in embedded nanoparticles are of increasing interest in the materials science community. As many common experimental techniques for measuring band gaps do not have the spatial resolution needed to observe these variations directly, probe-corrected Scanning Transmission Electron Microsc

Ryan Alexander, Chris Martens

Open world games present players with more freedom than games with linear progression structures. However, without clearly-defined objectives, they often leave players without a sense of purpose. Most of the time, quests and objectives are hand-authored and overlaid atop an open world's mechanics. But what if they could be generated organically from the game

Jie Sun, Xinmin Yang, Qiang Yao, Min Zhang

This paper begins with a study on the dual representations of risk and regret measures and their impact on modeling multistage decision making under uncertainty. A relationship between risk envelopes and regret envelopes is established by using the Lagrangian duality theory. Such a relationship opens a door to a decomposition scheme, called progressive hedgi

Rongchuan Xiong

Let $\mathds{k}$ be an algebraically closed field of characteristic $p$. We give the complete classification of pointed Hopf algebras over $\mathds{k}$ of dimension $p^2q$ for a prime number $q$. The result shows that there are finitely many isomorphism classes, including 10 classes that are not generated by group-like elements and skew-primitive elements. I

O. Koshchii, A. Afanasev

The charge asymmetry due to higher-order QED corrections in elastic lepton-proton scattering is estimated without employing the ultrarelativistic approximation. Our calculation is performed by generalizing the soft-photon approximation approach suggested by Tsai. Corresponding loop integrals that take a form of Passarino-Veltman scalar three-point functions

Michele Berra, Maarten V. de Hoop, José Luis Romero

We present a construction of a multi-scale Gaussian beam parametrix for the Dirichlet boundary value problem associated with the wave equation, and study its convergence rate to the true solution in the highly oscillatory regime. The construction elaborates on the wave-atom parametrix of Bao, Qian, Ying, and Zhang and extends to a multi-scale setting the tec

Robert Fernholz

Suppose that $X_1, \ldots , X_n$ are continuous semimartingales that are reversible and have nondegenerate crossings. Then the corresponding rank processes can be represented by generalized Stratonovich integrals, and this representation can be used to decompose the relative log-return of portfolios generated by functions of ranked market weights.

Silvio Amir, Glen Coppersmith, Paula Carvalho, Mário J. Silva

Mental illnesses adversely affect a significant proportion of the population worldwide. However, the methods traditionally used for estimating and characterizing the prevalence of mental health conditions are time-consuming and expensive. Consequently, best-available estimates concerning the prevalence of mental health conditions are often years out of date.

Shahrdad G. Sajjadi

The work described here shows that the known variational principle for the Navier-Stokes equations and the adjoint system can be modified to produce a set of Euler-Lagrange variational equations which have the same order and same solution as the Navier-Stokes equations provided the adjoint system has a unique solution, and provided in the steady state case,

Sibi Venkatesan, James K. Miller, Jeff Schneider, Artur Dubrawski

Active Search has become an increasingly useful tool in information retrieval problems where the goal is to discover as many target elements as possible using only limited label queries. With the advent of big data, there is a growing emphasis on the scalability of such techniques to handle very large and very complex datasets. In this paper, we consider the

Konstantin V. Grigorishin

We investigate the stability of the solutions of the BCS model with the external pair potential formulated in a work K.V. Grigorishin arXiv:1605.07080. It has been shown that the cause of superconductivity in this model is the electron-electron interaction only and the potential cannot impose superconductivity since the superconducting ordering will be destr

Bo Yang, Jianke Yang

Recently, a number of nonlocal integrable equations, such as the PT-symmetric nonlinear Schrodinger (NLS) equation and PT-symmetric Davey-Stewartson equations, were proposed and studied. Here we show that many of such nonlocal integrable equations can be converted to local integrable equations through simple variable transformations. Examples include these n

Denis Serre

We consider $d\times d$ tensors $A(x)$ that are symmetric, positive semi-definite, and whose row-divergence vanishes identically. We establish sharp inequalities for the integral of $(\det A)^{\frac1{d-1}}$. We apply them to models of compressible inviscid fluids: Euler equations, Euler--Fourier, relativistic Euler, Boltzman, BGK, etc... We deduce an {\em a

Thierry Huillet

We first revisit the multi-allelic mutation-fitness balance problem, especially when mutations obey a house of cards condition, where the discrete-time deterministic evolutionary dynamics of the allelic frequencies derives from a Shahshahani potential. We then consider multi-allelic Wright-Fisher stochastic models whose deviation to neutrality is from the Sh

Shibaji Roy

AdS/CFT is a conjectured equivalence between a field theory without gravity (conformal field theory) and a string theory in a special curved background (anti de-Sitter space), where theories on both sides of the equivalence is supersymmetric. Since the nature as we observe at low energy is non-supersymmetric, it will be very useful if we can have this conjec

Klaus Glashoff, Claus Peter Ortlieb

We derive properties and a characterization of discrete composition matrices which are useful in the field of numerical computation of shape correspondences.

H. Moradpour, N. Sadeghnezhad, S. Ghaffari, A. Jahan

Considering the Einstein field equations in Lyra manifold, and applying the unified first law of thermodynamics as well as the Clausius relation to the apparent horizon of FRW universe, we find the entropy of apparent horizon in Lyra manifold. In addition, the validity of second law of thermodynamics and its generalized form are also studied. Finally, we use

Shang-En Huang, Seth Pettie

A $(\beta,\epsilon)$-$\textit{hopset}$ is, informally, a weighted edge set that, when added to a graph, allows one to get from point $a$ to point $b$ using a path with at most $\beta$ edges ("hops") and length $(1+\epsilon)\mathrm{dist}(a,b)$. In this paper we observe that Thorup and Zwick's $\textit{sublinear additive}$ emulators are also actually $(O(k/\ep

Serena Dipierro, Enrico Valdinoci

We discuss some recent developments in the theory of free boundary problems, as obtained in a series of papers in collaboration with L. Caffarelli, A. Karakhanyan and O. Savin. The main feature of these new free boundary problems is that they deeply take into account nonlinear energy superpositions and possibly nonlocal functionals. The nonlocal parameter in

Klaus Glashoff, Claus Peter Ortlieb

This paper intends to lay the theoretical foundation for the method of functional maps, first presented in 2012 by Ovsjanikov, Ben-Chen, Solomon, Butscher and Guibas in the field of the theory and numerics of maps between shapes. We show how to analyze this method by looking at it as an application of the theories of composition operators, of matrix represen

Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta

The Meeting problem for $k\geq 2$ searchers in a polygon $P$ (possibly with holes) consists in making the searchers move within $P$, according to a distributed algorithm, in such a way that at least two of them eventually come to see each other, regardless of their initial positions. The polygon is initially unknown to the searchers, and its edges obstruct b

Joana Estevens, Paulo Rocha, Joao Boto, Pedro Lind

We model non-stationary volume-price distributions with a log-normal distribution and collect the time series of its two parameters. The time series of the two parameters are shown to be stationary and Markov-like and consequently can be modelled with Langevin equations, which are derived directly from their series of values. Having the evolution equations o

Luca Nanni

This paper investigates the problem of a relativistic Dirac half integer spin free particle tunneling through a rectangular quantum-mechanical barrier. If the energy difference between the barrier and the particle is positive, and the barrier width is large enough, there is proof that the tunneling may be superluminal. For first spinor components of particle

Szymon Brzostowski, Tadeusz Krasiński, Justyna Walewska

According to the Kouchnirenko theorem, for a generic (precisely non-degenerate in the Kouchnirenko sense) isolated singularity $f$ its Milnor number $\mu (f)$ is equal to the Newton number $\nu (\Gamma_{+}(f))$ of a combinatorial object associated to $f$, the Newton polyhedron $\Gamma_+ (f)$. We give a simple condition characterising, in terms of $\Gamma_+ (

Zaidao Wen, Biao Hou, Licheng Jiao

Linear synthesis model based dictionary learning framework has achieved remarkable performances in image classification in the last decade. Behaved as a generative feature model, it however suffers from some intrinsic deficiencies. In this paper, we propose a novel parametric nonlinear analysis cosparse model (NACM) with which a unique feature vector will be

Ganbin Zhou, Ping Luo, Rongyu Cao, Yijun Xiao

Different from other sequential data, sentences in natural language are structured by linguistic grammars. Previous generative conversational models with chain-structured decoder ignore this structure in human language and might generate plausible responses with less satisfactory relevance and fluency. In this study, we aim to incorporate the results from li

Serena Dipierro, Alberto Farina, Enrico Valdinoci

We consider bounded solutions of the nonlocal Allen-Cahn equation $$ (-\Delta)^s u=u-u^3\qquad{\mbox{ in }}{\mathbb{R}}^3,$$ under the monotonicity condition $\partial_{x_3}u>0$ and in the genuinely nonlocal regime in which~$s\in\left(0,\frac12\right)$. Under the limit assumptions $$ \lim_{x_n\to-\infty} u(x',x_n)=-1\quad{\mbox{ and }}\quad \lim_{x_n\to+\inf

Arpad Hegedus

In this paper we demonstrate, that the light-cone lattice approach for the Massive-Thirring (sine-Gordon) model, through the quantum inverse scattering method, admits an appropriate framework for computing the finite volume form-factors of local operators of the model. In this work we compute the finite volume diagonal matrix elements of the $U(1)$ conserved

David Chalupa

Dominating set is a set of vertices of a graph such that all other vertices have a neighbour in the dominating set. We propose a new order-based randomised local search (RLS$_o$) algorithm to solve minimum dominating set problem in large graphs. Experimental evaluation is presented for multiple types of problem instances. These instances include unit disk gr

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a

Xiaoyu Shen, Hui Su, Yanran Li, Wenjie Li

Deep latent variable models have been shown to facilitate the response generation for open-domain dialog systems. However, these latent variables are highly randomized, leading to uncontrollable generated responses. In this paper, we propose a framework allowing conditional response generation based on specific attributes. These attributes can be either manu

Dana Cohen-Azarzar, Maria Baskin, Lior Kornblum

2D electron gases (2DEGs) formed at oxide interfaces provide a rich testbed for fundamental physics and device applications. While the discussion of the physical origins of this phenomenon continues, the recent discovery of oxide 2DEGs at non-epitaxial interfaces between amorphous and crystalline oxides provides useful insight onto this debate. Furthermore,

Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar

We consider the problem of developing automated techniques for solving recurrence relations to aid the expected-runtime analysis of programs. Several classical textbook algorithms have quite efficient expected-runtime complexity, whereas the corresponding worst-case bounds are either inefficient (e.g., QUICK-SORT), or completely ineffective (e.g., COUPON-COL

Daguang Chen, Haizhong Li, Zhizhang Wang

Given a compact Riemannian manifold $M$, we consider a warped product $\bar M = I \times_h M$ where $I$ is an open interval in $\Bbb R$. For a positive function $\psi$ defined on $\bar M$, we generalized the arguments in \cite{GRW2015} and \cite{RW16}, to obtain the curvature estimates for Hessian equations $\sigma_k(\kappa)=\psi(V,\nu(V))$. We also obtain s

Y. T. Chen, J. C. Lin, J. T. Chen, K. N. Chu

Beam commissioning of the SuperKEKB collider began in 2016. The Beam Exorcism for A STable experiment II (BEAST II) project is particularly designed to measure the beam backgrounds around the interaction point of the SuperKEKB collider for the Belle II experiment. We develop a system using bismuth germanium oxide (BGO) crystals with optical fibers connecting

Balázs Csikós, Márton Horváth

The authors showed in a preceding paper that in a connected locally harmonic manifold, the volume of a tube of small radius about a regularly parameterized simple arc depends only on the length of the arc and the radius. In this paper, we show that this property characterizes harmonic manifolds even if it is assumed only for tubes about geodesic segments. As

Nouara Zoubir, Kenza Guenda

In this paper, we construct a new class of complete permutation monomials and several classes of permutation polynomials. Further, by giving another characterization of o-polynomials, we obtain a class of permutation polynomials of the form $G(x)+ \gamma Tr(H(x))$, where G(X) is neither a permutation nor a linearized polynomial. This is an answer to the open

M. G. Garcia, A. S. de Castro, P. Alberto, L. B. Castro

New exact analytical bound-state solutions of the radial Dirac equation in 3+1 dimensions for two sets of couplings and radial potential functions are obtained via mapping onto the nonrelativistic bound-state solutions of the one-dimensional generalized Morse potential. The eigenfunctions are expressed in terms of generalized Laguerre polynomials, and the ei

J. T. Penedo, S. T. Petcov, A. V. Titov

We consider a class of models of neutrino mixing with $S_4$ lepton flavour symmetry combined with a generalised CP symmetry, which are broken to residual $Z_2$ and $Z_2 \times H^\nu_{\rm CP}$ symmetries in the charged lepton and neutrino sectors, respectively, $H^\nu_{\rm CP}$ being a remnant CP symmetry of the neutrino Majorana mass term. In this set-up the

Yasutsugu Fujita, Tadahisa Nara

Let $E_{m,n}$ be an elliptic curve over $\mathbb{Q}$ of the form $y^2=x^3-m^2x+n^2$, where $m$ and $n$ are positive integers. Brown and Myers showed that the curve $E_{1,n}$ has rank at least two for all $n$. In the present paper, we specify the two points which can be extended to a basis for $E_{1,n}(\mathbb{Q})$ under certain conditions described explicitl

Jaeyong Rho, Takuya Azumi, Mayo Nakagawa, Kenya Sato

In this paper, to analyze end-to-end timing behavior in heterogeneous processor and network environments accurately, we adopt a heterogeneous selection value on communication contention (HSV_CC) algorithm, which can synchronize tasks and messages simultaneously, for stream processing distribution. In order to adapt HSV_CC to automotive data stream management

Masashi Yokoyama

Hyper-Kamiokande (HK) is a next generation large water Cherenkov detector to be built in Japan, based on the highly successful Super-Kamiokande detector. HK will offer a broad science program such as neutrino oscillation studies, proton decay searches, and neutrino astrophysics with unprecedented sensitivities. This paper describes the overview and physics p

M. Beccaria, A. A. Tseytlin

In arXiv:1510.02685 we proposed linear relations between the Weyl anomaly $c_1, c_2, c_3$ coefficients and the 4 coefficients in the chiral anomaly polynomial for (1,0) superconformal 6d theories. These relations were determined up to one free parameter $\xi$ and its value was then conjectured using some additional assumptions. A different value for $\xi$ wa

X. Z. Xing, C. Q. Xu, N. Zhou, B. Li

Materials exhibiting large magnetoresistance may not only be of fundamental research interest, but also can lead to wide-ranging applications in magnetic sensors and switches. Here we demonstrate a large linear-in-field magnetoresistance, $\Delta \rho/\rho$ reaching as high as $\sim$600$\%$ at 2 K under a 9 Tesla field, in the tetragonal phase of a transiton

Beishui Liao, Leendert van der Torre

In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and defense graphs, we propose a defense semantics together with a new notion of defense equivalence of argument graphs, and compare defense equivalence with standard equivalence and s

Tim Austin

Let $(X,\mu)$ be a standard probability space. An automorphism $T$ of $(X,\mu)$ has the weak Pinsker property if for every $\varepsilon > 0$ it has a splitting into a direct product of a Bernoulli shift and an automorphism of entropy less than $\varepsilon$. This property was introduced by Thouvenot, who asked whether it holds for all ergodic automorphisms.

Marei Algarni, Ganesh Sundaramoorthi

We present SurfCut, an algorithm for extracting a smooth, simple surface with an unknown 3D curve boundary from a noisy 3D image and a seed point. Our method is built on the novel observation that certain ridge curves of a function defined on a front propagated using the Fast Marching algorithm lie on the surface. Our method extracts and cuts these ridges to

Vladimir Al. Osipov, Tonu Pullerits

Application of the phase modulated pulsed light for advance spectroscopic measurements is the area of growing interest. The phase modulation of the light causes modulation of the signal. Separation of the spectral components of the modulations allows to distinguish the contributions of various interaction pathways. The lasers with high repetition rate used i

Shakti N. Menon, Cameron L. Hall, Scott W. McCue, D. L. Sean McElwain

The mechanical behaviour of solid biological tissues has long been described using models based on classical continuum mechanics. However, the classical continuum theories of elasticity and viscoelasticity cannot easily capture the continual remodelling and associated structural changes of biological tissues. Furthermore, models drawn from plasticity theory

Giorgio Gubbiotti, Christian Scimiterna

In this paper we construct a non-autonomous version of the Hietarinta equation [Hietarinta J., J. Phys. A: Math. Gen. 37 (2004), L67-L73] and study its integrability properties. We show that this equation possess linear growth of the degrees of iterates, generalized symmetries depending on arbitrary functions, and that it is Darboux integrable. We use the fi

Jia-An Lu

The Poincar\'e invariance of GR is usually interpreted as Lorentz invariance plus diffeomorphism invariance. In this paper, by introducing the local inertial coordinates (LIC), it is shown that a theory with Lorentz and diffeomorphism invariance is not necessarily Poincar\'e invariant. Actually, the energy-momentum conservation is violated there. On the othe

Eduardo García-Portugués, Michael Sørensen, Kanti V. Mardia, Thomas Hamelryck

We introduce stochastic models for continuous-time evolution of angles and develop their estimation. We focus on studying Langevin diffusions with stationary distributions equal to well-known distributions from directional statistics, since such diffusions can be regarded as toroidal analogues of the Ornstein-Uhlenbeck process. Their likelihood function is a