April 2017 arXiv papers

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

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-

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

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

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

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

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

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

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

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

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{μ^3He^+}$. This ion is the bound state of a single negative muon $μ^-$ and a bar

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

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

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

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

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

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

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

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

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

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 $μ(f)$ is equal to the Newton number $ν(Γ_{+}(f))$ of a combinatorial object associated to $f$, the Newton polyhedron $Γ_+ (f)$. We give a simple condition characterising, in terms of $Γ_+ (f)$ and $Γ_+ (g)$, th

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 $$ (-Δ)^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+\inft

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

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,

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)+ γTr(H(x))$, where G(X) is neither a permutation nor a linearized polynomial. This is an answer to the open probl

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^ν_{\rm CP}$ symmetries in the charged lepton and neutrino sectors, respectively, $H^ν_{\rm CP}$ being a remnant CP symmetry of the neutrino Majorana mass term. In this set-up the neu

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

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 $ξ$ and its value was then conjectured using some additional assumptions. A different value for $ξ$ was re

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,μ)$ be a standard probability space. An automorphism $T$ of $(X,μ)$ 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. This

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

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é 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é invariant. Actually, the energy-momentum conservation is violated there. On the other ha

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

Farida Veliev, Dipankar Kalita, Antoine Bourrier, Tiphaine Belloir

Graphene, the atomically-thin honeycomb carbon lattice, is a highly conducting 2D material whose exposed electronic structure offers an ideal platform for sensing. Its biocompatible, flexible, and chemically inert nature associated to the lack of dangling bonds, offers novel perspectives for direct interfacing with bioelements. When combined with its excepti

Mike Winkler, Peter Dinkelacker, Stefan Vogel

A matchstick graph is a planar unit-distance graph. We call it \emph{4-regular} if every vertex has degree 4. While examples of 4-regular matchstick graphs with fewer than 63 vertices are known only for $n \in \{52, 54, 57, 60\}$, we prove the existence of such graphs for every integer $n \geq 63$.

Nikolay Bobev, Pablo Bueno, Yannick Vreys

We study the partition function of odd-dimensional conformal field theories placed on spheres with a squashed metric. We establish that the round sphere provides a local extremum for the free energy which, in general, is not a global extremum. In addition, we show that the leading quadratic correction to the free energy around this extremum is proportional t

A. S. Kapoyannis, A. D. Panagiotou

We determine the degeneracy factor and the average particle mass of particles that produce the Lattice QCD pressure and specific entropy at zero baryon chemical potential. The number of states of the gluons and the quarks are found to converge above $T=$230 MeV to almost constant values, close to the number of states of an ideal Quark-Gluon Phase, while thei

A. Baskar, A. V. Sreejith, R. S. Thinniyam

We show that first order logic (FO) and first order logic extended with modulo counting quantifiers (FOMOD) over purely functional vocabularies which extend addition, satisfy the Crane beach property (CBP) if the logic satisfies a normal form (called positional normal form). This not only shows why logics over the addition vocabulary have the CBP but also gi

Deog Ki Hong, Jong-Wan Lee, Biagio Lucini, Maurizio Piai

We conjecture that in Yang-Mills theories the ratio between the ground-state glueball mass squared and the string tension is proportional to the ratio of the eigenvalues of quadratic Casimir operators in the adjoint and the fundamental representations. The proportionality constant depends on the dimension of the space-time only, and is henceforth universal.

Songwen Xiao, Suet Tao Tang, Z. Yang

We report the experimental demonstration of tunable asymmetric acoustic metasurfaces with extreme contrast, made by two decorated membrane resonators (DMRs) coupled via a sealed air column. The front side of the metasurface is impedance matched to air and perfectly absorbing, while the backside is hard and totally reflecting. When a suitable DC voltage is ap

Daniel Hernández-Hernández, Harold A. Moreno-Franco, José Luis Pérez

In this work we study the optimal execution problem with multiplicative price impact in algorithm trading, when an agent holds an initial position of shares of a financial asset. The inter-selling-decision times are modelled by the arrival times of a Poisson process. The criterion to be optimised consists in maximising the expected net present value of gains

E. Sobacchi, J. Granot, O. Bromberg, M. C. Sormani

Long-duration, spectrally-soft Gamma-Ray Bursts (GRBs) are associated with Type Ic Core Collapse (CC) Supernovae (SNe), and thus arise from the death of massive stars. In the collapsar model, the jet launched by the central engine must bore its way out of the progenitor star before it can produce a GRB. Most of these jets do not break out, and are instead &#

Yu Liu

In this article, we study localizations of hearts of cotorsion pairs (U,V) where U is rigid on an extriangulated category B. The hearts of such cotorsion pairs are equivalent to the functor categories over the stable category of U. Inspired by Marsh and Palu, we consider the mutation of U that induces a cotorsion pair (U',V'). Generally speaking, the

Asli Genctav, Yusuf Sahillioglu, Sibel Tari

Despite being vastly ignored in the literature, coping with topological noise is an issue of increasing importance, especially as a consequence of the increasing number and diversity of 3D polygonal models that are captured by devices of different qualities or synthesized by algorithms of different stabilities. One approach for matching 3D shapes under topol

Hiroo Azuma

We investigate how to attack Shor's quantum algorithm for factorization with an entangling probe. We show that an attacker can steal an exact solution of Shor's algorithm outside an institute where the quantum computer is installed if he replaces its initialized quantum register with entangled qubits, namely the entangling probe. He can apply arbitra

Yingchao Huang, Kai Wu, Dong Li

Resilience is a major design goal for HPC. Checkpoint is the most common method to enable resilient HPC. Checkpoint periodically saves critical data objects to non-volatile storage to enable data persistence. However, using checkpoint, we face dilemmas between resilience, recomputation and checkpoint cost. The reason that accounts for the dilemmas is the cos

Joaquín Moraga

We prove the existence of a bound on the number of steps of the minimal model program for singular surfaces in terms of discrepancies and top Chern numbers. As an application, we prove that given $R\in\mathbb{R}$ and $ε\in (0,1)$, the class $\mathcal{F}(R,ε)$ of $2$-dimensional pairs $(X,D)$ of general type with $ε$-klt singularities, $D$ with standard coeff

Ilgar Jabbarov

In the paper it is considered the question on Convergence Exponent of the special integral of multidimensional Terry's problem. The question considered in the article consisted in investigation of singularities influence to the value of convergence exponent of the special integral

Mohamed Kamal Ahmed Ali, Mohamed A. A. Abdelkareem, Ahmed Elagouz, F. A. Essa

This article briefly reviews the significance nano-lubricants and assesses their effectiveness to provide the most promising approaches to reduce the friction and anti-wear/scuffing over the boundary regime. The main purpose of this review is to summarize the present knowledge about major advantages of the nanomaterials as nanolubricant additives in boundary

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

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,

D. Zakharov

A set of points in $\mathbb{R}^d$ is acute, if any three points from this set form an acute angle. In this note we construct an acute set in $\mathbb{R}^d$ of size at least $2^{d/2}$.

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

Shinji Tanimoto

A dual control problem is presented for the optimal stochastic control of a system governed by partial differential equations. Relationships between the optimal values of the original and the dual problems are investigated and two duality theorems are proved. The dual problem serves to provide upper bounds for the optimal and maximum value of the original on

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 replacin

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

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

Cristiano Spotti, Song Sun

We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of Kähler-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 b

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

Cristiano Spotti

We survey recent results on the existence of Kähler-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.

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 rea

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

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

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

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

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 $ν_e$ and $\overlineν_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 $ν_h$ wou

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$_

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

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

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

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.

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