January 2017 arXiv papers — page 15
Showing 1,401–1,500 of 8,992 papers
Marcus Reindl, Klaus D. Joens, Daniel Huber, Christian Schimpf
Photonic quantum technologies are on the verge of finding applications in everyday life with quantum cryptography and the quantum internet on the horizon. Extensive research has been carried out to determine suitable quantum emitters and single epitaxial quantum dots are emerging as near-optimal sources of bright, on-demand, highly indistinguishable single p
Randy Davila
Let $G$ be a simple and finite graph without isolated vertices. In this paper we introduce and study a new degree sequence derived invariant called the \emph{sub-total domination number}, denoted $\sub_t(G)$. In particular, we show that $\sub_t(G)$ serves as a lower bound on $γ_t(G)$, where $γ_t(G)$ denotes the heavily studied \emph{total domination number}
Intelligent Topic Selection for Low-Cost Information Retrieval Evaluation: A New Perspective on Deep vs. Shallow Judging
cs.IRMucahid Kutlu, Tamer Elsayed, Matthew Lease
While test collections provide the cornerstone for Cranfield-based evaluation of information retrieval (IR) systems, it has become practically infeasible to rely on traditional pooling techniques to construct test collections at the scale of today's massive document collections. In this paper, we propose a new intelligent topic selection method which red
Chao Qu, Huan Xu
In this paper, we consider stochastic dual coordinate (SDCA) {\em without} strongly convex assumption or convex assumption. We show that SDCA converges linearly under mild conditions termed restricted strong convexity. This covers a wide array of popular statistical models including Lasso, group Lasso, and logistic regression with $\ell_1$ regularization, co
Private Information Retrieval from MDS Coded Data with Colluding Servers: Settling a Conjecture by Freij-Hollanti et al.
cs.ITHua Sun, Syed A. Jafar
A $(K, N, T, K_c)$ instance of the MDS-TPIR problem is comprised of $K$ messages and $N$ distributed servers. Each message is separately encoded through a $(K_c, N)$ MDS storage code. A user wishes to retrieve one message, as efficiently as possible, while revealing no information about the desired message index to any colluding set of up to $T$ servers. The
Almost partitioning 2-coloured complete 3-uniform hypergraphs into two monochromatic tight or loose cycles
math.COSebastian Bustamante, Hiep Han, Maya Stein
We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles.
Johannes Rauh, Pradeep Kr. Banerjee, Eckehard Olbrich, Jürgen Jost
We consider the problem of quantifying the information shared by a pair of random variables $X_{1},X_{2}$ about another variable $S$. We propose a new measure of shared information, called extractable shared information, that is left monotonic; that is, the information shared about $S$ is bounded from below by the information shared about $f(S)$ for any func
Higher order perturbations of Anti-de Sitter space and time-periodic solutions of vacuum Einstein equations
gr-qcAndrzej Rostworowski
Motivated by the problem of stability of Anti-de Sitter (AdS) spacetime, we discuss nonlinear gravitational perturbations of maximally symmetric solutions of vacuum Einstein equations in general and the case of AdS in particular. We present the evidence that, similarly to the self-gravitating scalar field at spherical symmetry, the negative cosmological cons
Manuel Kauers, Gleb Pogudin
It is well known that the composition of a D-finite function with an algebraic function is again D-finite. We give the first estimates for the orders and the degrees of annihilating operators for the compositions. We find that the analysis of removable singularities leads to an order-degree curve which is much more accurate than the order-degree curve obtain
A multilinear reverse Hölder inequality with applications to multilinear weighted norm inequalities
math.CADavid Cruz-Uribe, Kabe Moen
In this note we prove a multilinear version of the reverse Hölder inequality in the theory of Muckenhoupt $A_p$ weights. We give two applications of this inequality to the study of multilinear weighted norm inequalities. First, we prove a structure theorem for multilinear $A_{\vec{p}}$ weights; second, we give a new sufficient condition for multilinear, two-
Production of $Σ(1385)^{\pm}$ and $Ξ(1530)^{0}$ in p-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV
nucl-exALICE Collaboration
The transverse momentum distributions of the strange and double-strange hyperon resonances ($Σ(1385)^{\pm}$, $Ξ(1530)^{0}$) produced in p-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV were measured in the rapidity range $-0.5< y_{\rm{CMS}}<0$ for event classes corresponding to different charged-particle multiplicity densities, $\langle{\rm d}N_{\rm{ch}}/{\rm
Marco de Cesare, R. Oliveri, J. W. van Holten
The aim of these notes is to give an accessible and self-contained introduction to the theory of gravitational waves as the theory of a relativistic symmetric tensor field in a Minkowski background spacetime. This is the approach of a particle physicist: the graviton is identified with a particular irreducible representation of the Poincaré group, correspond
Uri Andrews, Gabriel Conant, Isaac Goldbring
We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the "productset property"). We first show that the productset property holds for any definable subset $A$ of an expansion of a discrete amenable group such that $A$ has positive Banach density and the formu
Stefanos Nikolaidis, Swaprava Nath, Ariel D. Procaccia, Siddhartha Srinivasa
In human-robot teams, humans often start with an inaccurate model of the robot capabilities. As they interact with the robot, they infer the robot's capabilities and partially adapt to the robot, i.e., they might change their actions based on the observed outcomes and the robot's actions, without replicating the robot's policy. We present a game-
Ludmil Katzarkov, Pranav Pandit, Theodore Spaide
A categorical formalism is introduced for studying various features of the symplectic geometry of Lefschetz fibrations and the algebraic geometry of Tyurin degenerations. This approach is informed by homological mirror symmetry, derived noncommutative geometry, and the theory of Fukaya categories with coefficients in a perverse Schober. The main technical re
Douglas Schultz
We consider symplectic fibrations as in Guillemin-Lerman-Sternberg, and derive a spectral sequence to compute the Floer cohomology of certain fibered Lagrangians sitting inside a compact symplectic fibration with small monotone fibers and a rational base. We show if the Floer cohomology with field coefficients of the fiber Lagrangian vanishes, then the Floer
Jere Koskela
We introduce a low dimensional function of the site frequency spectrum that is tailor-made for distinguishing coalescent models with multiple mergers from Kingman coalescent models with population growth, and use this function to construct a hypothesis test between these model classes. The null and alternative sampling distributions of the statistic are intr
Spyridon J. Hatjispyros, Christos Merkatas, Theodoros Nicoleris, Stephen G. Walker
A new approach on the joint estimation of partially exchangeable observations is presented by constructing pairwise dependence between $m$ random density functions, each of which is modeled as a mixture of geometric stick breaking processes. This approach is based on a new random central masses version of the Pairwise Dependent Dirichlet Process prior mixtur
Ying Dong, Yuqing Zhang
Web request query strings (queries), which pass parameters to the referenced resource, are always manipulated by attackers to retrieve sensitive data and even take full control of victim web servers and web applications. However, existing malicious query detection approaches in the current literature cannot cope with changing web attacks with constant detect
S. Shajidul Haque, Bret Underwood
The Raychaudhuri equation for null rays is a powerful tool for finding consistent embeddings of cosmological bubbles into a background spacetime in a way that is largely independent of the matter content. We find that spatially flat or positively curved thin wall bubbles surrounded by a cosmological background must have a Hubble expansion that is either cont
Jason DeBlois
For any given natural number $k$, this paper gives upper bounds on the radius of a packing of a complete hyperbolic surface of finite area by $k$ equal-radius disks in terms of the surface's topology. We show that the bounds given here are sharp in some cases and not sharp in others.
F. J. Himpsel
This work is motivated by the long-standing question about the internal stability of the electron. While one cannot investigate internal properties of a point-like particle, it is fair to analyze the response of the Dirac sea to an electron. For this purpose the concept of an exchange hole is generalized from the Fermi sea of condensed matter physics to the
Alexander I. Suciu, He Wang
We generalize basic results relating the associated graded Lie algebra and the holonomy Lie algebra from finitely presented, commutator-relators groups to arbitrary finitely presented groups. In the process, we give an explicit formula for the cup-product in the cohomology of a finite 2-complex, and an algorithm for computing the corresponding holonomy Lie a
Boundedness of Fractional Integral operators and their commutators in vanishing generalized weighted Morrey spaces
math.FABilal Çekiç, Ayşegül Çelik Alabalık
In this article, we establish some conditions for the boundedness of fractional integral operators on the vanishing generalized weighted Morrey spaces. We also investigate corresponding commutators generated by BMO functions.
Francisco Macedo, M. Rosário Oliveira, António Pacheco, Rui Valadas
Feature selection problems arise in a variety of applications, such as microarray analysis, clinical prediction, text categorization, image classification and face recognition, multi-label learning, and classification of internet traffic. Among the various classes of methods, forward feature selection methods based on mutual information have become very popu
Nguyen-Bac Dang
Let X be a normal projective variety defined over an algebraically closed field of arbitrary characteristic. We study the sequence of intermediate degrees of the iterates of a dominant rational selfmap of X, recovering former results by Dinh, Sibony [DS05b], and by Truong [Tru16].Precisely, we give a new proof of the submultiplicativity properties of these d
Serena Cenatiempo
We consider the derivation of effective equations approximating the many-body quantum dynamics of a large system of $N$ bosons in three dimensions, interacting through a two-body potential $N^{3β-1}V(N^βx)$. For any $0 \leq β\leq 1$ well known results establish the trace norm convergence of the k-particle reduced density matrices associated with the solution
Personalized instructor responses to guided student reflections: Analysis of two instructors' perspectives and practices
physics.ed-phDaniel L. Reinholz, Dimitri R. Dounas-Frazer
One way to foster a supportive culture in physics departments is for instructors to provide students with personal attention regarding their academic difficulties. To this end, we have developed the Guided Reflection Form (GRF), an online tool that facilitates student reflections and personalized instructor responses. In the present work, we report on the ex
Janos Korner, Emanuela Fachini
We determine the asymptotics of the largest cardinality of a set of Hamilton paths in the complete graph with vertex set [n] under the condition that for any two of the paths in the family there is a subpath of length k entirely contained in only one of them and edge{disjoint from the other one.
Daniele Pinna, Flavio Abreu Araujo, Joo-Von Kim, Vincent Cros
The topologically protected magnetic spin configurations known as skyrmions offer promising applications due to their stability, mobility and localization. In this work, we emphasize how to leverage the thermally driven dynamics of an ensemble of such particles to perform computing tasks. We propose a device employing a skyrmion gas to reshuffle a random sig
Diego Nicodemos, Matěj Stehlík
We show that any $3$-connected cubic plane graph on $n$ vertices, with all faces of size at most $6$, can be made bipartite by deleting no more than $\sqrt{(p+3t)n/5}$ edges, where $p$ and $t$ are the numbers of pentagonal and triangular faces, respectively. In particular, any such graph can be made bipartite by deleting at most $\sqrt{12n/5}$ edges. This bo
Mark Goresky, Yung-sheng Tai
The authors define an "anti-holomorphic" involution (or "real structure") on an ordinary Abelian variety (defined over a finite field k) to be an involution of the associated Deligne module (T,F,V) that exchanges F (the Frobenius) with V (the Verschiebung). The definition extends to include principal polarizations and certain level structures
Barkhausen Noise Probe of the Ferroelectric Transition in the Relaxor PbMg1/3Nb2/3O3-12% PbTiO3
cond-mat.mtrl-sciXinyang Zhang, Corbyn Mellinger, Eugene V. Colla, M. B. Weissman
Barkhausen current noise is used to probe the slow field-driven conversion of the glassy relaxor ferroelectric state to an ordered ferroelectric (FE) state. The frequent presence of distinct micron-scale Barkhausen events well before the polarization current starts to speed up shows that the process is not a conventional nucleation-limited one. The prevalenc
Bogeun Gwak, Daeho Ro
We investigate the upper limit of the gravitational radiation released upon the collision of two dilatonic black holes by analyzing the Gauss-Bonnet term. Dilatonic black holes have a dilaton hair coupled with this term. Using the laws of thermodynamics, the upper limit of the radiation is obtained, which reflected the effects of the dilaton hair. The amount
Alan McKenzie
Anthony Aguirre and Max Tegmark have famously speculated that the Level I Multiverse is the same as the Level III Multiverse. By this, they mean that the parallel universes of the Level III Multiverse can be regarded as similar or identical copies of our own Hubble volume distributed throughout the whole of our (possibly infinite) bubble universe. However, w
Information-geometrical characterization of statistical models which are statistically equivalent to probability simplexes
cs.ITHiroshi Nagaoka
The probability simplex is the set of all probability distributions on a finite set and is the most fundamental object in the finite probability theory. In this paper we give a characterization of statistical models on finite sets which are statistically equivalent to probability simplexes in terms of $α$-families including exponential families and mixture f
Abolfazl Tarizadeh
In this paper, the projectivity of a finitely generated flat module of a commutative ring is studied through its exterior powers and invariant factors and then various new results are obtained. Specially, the related results of Endo, Vasconcelos, Wiegand, Cox-Rush and Puninski-Rothmaler on the projectivity of finitely generated flat modules are generalized.
Fei-Lei Xiong, Yi-Zheng Zhen, Wen-Fei Cao, Kai Chen
Hypergraph states, a generalization of graph states, constitute a large class of quantum states with intriguing non-local properties and have promising applications in quantum information science and technology. In this paper, we generalize hypergraph states to qudit hypergraph states, i.e., each vertex in the generalized hypergraph (multi-hypergraph) repres
Jonathan Detchart, Jérôme Lacan
The complexity of software implementations of MDS erasure codes mainly depends on the efficiency of the finite field operations implementation. In this paper, we propose a method to reduce the complexity of the finite field multiplication by using fast transforms between a field and a ring to perform the multiplication in a ring. We show that moving to a rin
Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi
Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result whic
Yanlong Hao, Qianwen Sun, Stephen Theriault
Moore's Conjecture is shown to hold for generalized moment-angle complexes and a criterion is proved that determines when a polyhedral product is elliptic or hyperbolic.
J. de Jong, R. Wulkenhaar
The asymptotic volume of the polytope of symmetric stochastic matrices can be determined by asymptotic enumeration techniques as in the case of the Birkhoff polytope. These methods can be extended to polytopes of symmetric stochastic matrices with given diagonal, if this diagonal varies not too wildly. To this end, the asymptotic number of symmetric matrices
Influence of Fock exchange in combined many-body perturbation and dynamical mean field theory
cond-mat.str-elThomas Ayral, Silke Biermann, Philipp Werner, Lewin Boehnke
In electronic systems with long-range Coulomb interaction, the nonlocal Fock exchange term has a band-widening effect. While this effect is included in combined many-body perturbation theory and dynamical mean field theory schemes, it is not taken into account in standard extended DMFT (EDMFT) calculations. Here, we include this instantaneous term in both ap
Zhedong Zheng, Liang Zheng, Yi Yang
The main contribution of this paper is a simple semi-supervised pipeline that only uses the original training set without collecting extra data. It is challenging in 1) how to obtain more training data only from the training set and 2) how to use the newly generated data. In this work, the generative adversarial network (GAN) is used to generate unlabeled sa
Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi
Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the technique of way-out functors, we show that if $\cd(\mathfrak{a},R)\leq 1$, or $\dim(R/\mathfrak{a}) \leq 1$, or $\dim(R) \leq
Alessia Annibale, Louise A Dziobek-Garrett, Haider Tari
Recent experimental studies have suggested the ratio between T-helper and T-suppressor lymphocytes as an index of immunosuppression in HIV, cancer, immunosenescence and inflammatory and auto-immune diseases. However, a quantitative understanding of the impact of this ratio on the immune response has lagged behind data and its validity as a tool for prognosti
The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott
We present the result of searches for gravitational waves from 200 pulsars using data from the first observing run of the Advanced LIGO detectors. We find no significant evidence for a gravitational-wave signal from any of these pulsars, but we are able to set the most constraining upper limits yet on their gravitational-wave amplitudes and ellipticities. Fo
Sergey Tridenski, Ram Zamir
Here we write in a unified fashion (using "R(P, Q, D)") the random coding exponents in channel coding and lossy source coding. We derive their explicit forms and show, that, for a given random codebook distribution Q, the channel decoding error exponent can be viewed as an encoding success exponent in lossy source coding, and the channel correct-deco
Simona Nistor, Cezar Oniciuc
We survey some recent results on biconservative surfaces in $3$-dimensional space forms $N^3(c)$ with a special emphasis on the $c=0$ and $c=1$ cases. We study the local and global properties of such surfaces, from extrinsic and intrinsic point of view. We obtain all non-$CMC$ complete biconservative surfaces in $\mathbb{R}^3$ and $\mathbb{S}^3$.
Mohammad Reza Jangrouei, S. Javad Hashemifar
In this research, we employ accurate time-dependent density functional calculations for ultrashort laser spectroscopy of nitrogen molecule. Laser pulses with different frequencies, intensities, and durations are applied to the molecule and the resulting photoelectron spectra are analyzed. It is argued that relative orientation of the molecule in the laser pu
T. Mirzaei Rezaei, Alireza Amani
In this paper, the model of interaction is studied between $f(T,\mathcal{T})$ gravity and modified Chaplygin gas in FRW-flat metric. We obtain the Friedmann equations in the framework of teleparallel gravity by vierbein field. We consider that Universe dominates by components of cold matter, dark energy and modified Chaplygin gas. In what follows we separate
Post-Newtonian parameter $γ$ and the deflection of light in ghost-free massive bimetric gravity
gr-qcManuel Hohmann
We consider the parametrized post-Newtonian (PPN) limit of ghost-free massive bimetric gravity with two mutually non-interacting matter sectors coupled to the two metrics. Making use of a gauge-invariant differential decomposition of the metric perturbations, we solve the field equations up to the linear PPN order for a static, point-like mass source. From t
Ganapati Sahoo, Alexandros Alexakis, Luca Biferale
Inviscid invariants of flow equations are crucial in determining the direction of the turbulent energy cascade. In this work we investigate a variant of the three dimensional Navier-Stokes equations that shares exactly the same ideal invariants (energy and helicity) and the same symmetries (under rotations, reflexions and scale transforms) as the original eq
Jean-Jil Duchamps, Amaury Lambert
Consider a random real tree whose leaf set, or boundary, is endowed with a finite mass measure. Each element of the tree is further given a type, or allele, inherited from the most recent atom of a random point measure (infinitely-many-allele model) on the skeleton of the tree. The partition of the boundary into distinct alleles is the so-called allelic part
Yentl Van Tendeloo, Hans Vangheluwe
DEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence ofpertinent "events" input to a system (or internal, in the case of timeouts) cause instantaneous changes to the state of the system. Between events, the state does not change, resulting in a a piecewise co
Identifying Consistent Statements about Numerical Data with Dispersion-Corrected Subgroup Discovery
cs.AIMario Boley, Bryan R. Goldsmith, Luca M. Ghiringhelli, Jilles Vreeken
Existing algorithms for subgroup discovery with numerical targets do not optimize the error or target variable dispersion of the groups they find. This often leads to unreliable or inconsistent statements about the data, rendering practical applications, especially in scientific domains, futile. Therefore, we here extend the optimistic estimator framework fo
Joachim Toft, Elmira Nabizadeh
We characterize periodic elements in Gevrey classes, Gelfand-Shilov distribution spaces and modulation spaces, in terms of estimates of involved Fourier coefficients, and by estimates of their short-time Fourier transforms. If $q\in [1,\infty )$, $ω$ is a suitable weight and $(\maclE _0^E)'$ is the set of all $E$-periodic elements, then we prove that the
Marc Hellmuth
The history of gene families - which are equivalent to \emph{event-labeled} gene trees - can be reconstructed from empirically estimated evolutionary event-relations containing pairs of orthologous, paralogous or xenologous genes. The question then arises as whether inferred event-labeled gene trees are \emph{biologically feasible}, that is, if there is a po
Ranjith Nair
We revisit the notion of nonclassical distance of states of bosonic quantum systems introduced in [M. Hillery, Phys. Rev. A 35, 725 (1987)] in a general multimode setting. After reviewing its definition, we establish some of its general properties. We obtain new upper and lower bounds on the nonclassical distance in terms of the supremum of the Husimi functi
Guang-Hui Zheng
In this article, we study the plasmonic resonance of infinite photonic crystal mounted by the double negative nanoparticles in two dimensions. The corresponding physical model is described by the Helmholz equation with so called Bloch wave condition in a periodic domain. By using the quasi-periodic layer potential techniques and the spectral theorem of quasi
J. G. H. Franssen, T. L. I. Frankort, E. J. D. Vredenbregt, O. J. Luiten
We present measurements of the pulse length of ultracold electron bunches generated by near-threshold two-photon photoionization of a laser-cooled gas. The pulse length has been measured using a resonant $3$ GHz deflecting cavity in TM$_{110}$ mode. We have measured the pulse length in three ionization regimes. The first is direct two-photon photoionization
The detection of variable radio emission from the fast rotating magnetic hot B-star HR7355 and evidence for its X-ray aurorae
astro-ph.SRP. Leto, C. Trigilio, L. Oskinova, R. Ignace
In this paper we investigate the multiwavelengths properties of the magnetic early B-type star HR7355. We present its radio light curves at several frequencies, taken with the Jansky Very Large Array, and X-ray spectra, taken with the XMM X-ray telescope. Modeling of the radio light curves for the Stokes I and V provides a quantitative analysis of the HR7355
Markov Chain Monte Carlo technics applied to Parton Distribution Functions determination: proof of concept
hep-phYémalin Gabin Gbedo, Mariane Mangin-Brinet
We present a new procedure to determine Parton Distribution Functions (PDFs), based on Markov Chain Monte Carlo (MCMC) methods. The aim of this paper is to show that we can replace the standard $χ^2$ minimization by procedures grounded on Statistical Methods, and on Bayesian inference in particular, thus offering additional insight into the rich field of PDF
Sohrab Ferdowsi, Slava Voloshynovskiy, Dimche Kostadinov, Taras Holotyak
This paper addresses the problem of Approximate Nearest Neighbor (ANN) search in pattern recognition where feature vectors in a database are encoded as compact codes in order to speed-up the similarity search in large-scale databases. Considering the ANN problem from an information-theoretic perspective, we interpret it as an encoding, which maps the origina
Gal Mazor, Lior Weizman, Assaf Tal, Yonina C. Eldar
Purpose: Magnetic Resonance Fingerprinting (MRF) is a relatively new approach that provides quantitative MRI measures using randomized acquisition. Extraction of physical quantitative tissue parameters is performed off-line, without the need of patient presence, based on acquisition with varying parameters and a dictionary generated according to the Bloch eq
Yohei Ema
We discuss the inflationary dynamics of a system with a non-minimal coupling between the Higgs and the Ricci scalar as well as a Ricci scalar squared term. There are two scalar modes in this system, i.e. the Higgs and the spin-zero mode of the graviton, or the scalaron. We study the two-field dynamics of the Higgs and the scalaron during inflation, and clari
Marko Tadic
C. Jantzen has defined a correspondence which attaches to an irreducible representation of a classical $p$-adic group, a finite set of irreducible representations of classical $p$-adic groups supported in a single or in two cuspidal lines (the case of the single cuspidal lines is interesting for the unitarizability). It would be important to know if this cor
Marko Tadic
In the case of p-adic general linear groups, each irreducible representation is parabolically induced by a tensor product of irreducible representations supported by cuspidal lines. One gets in this way a parameterization of the irreducible representations of p-adic general linear groups by irreducible representations supported by cuspidal lines. It is obvio
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)
cs.AIGiovanni Sileno
Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain. The paper reports on an experiment conducted with a propositional version of Logic Programming Petri Nets (LPPNs), a notation extending Petri Nets with logic programming constructs. Two semantics are
Artur O. Lopes
We present a general form of Renormalization operator $\mathcal{R}$ acting on potentials $V:\{0,1\}^\mathbb{N} \to \mathbb{R}$. We exhibit the analytical expression of the fixed point potential $V$ for such operator $\mathcal{R}$. This potential can be expressed in a naturally way in terms of a certain integral over the Hausdorff probability on a Cantor type
Marino Gran, Diana Rodelo, Idriss Tchoffo Nguefeu
We prove that connectors are stable under quotients in any (regular) Goursat category. As a consequence, the category $\mathsf{Conn}(\mathbb{C})$ of connectors in $\mathbb{C}$ is a Goursat category whenever $\mathbb C$ is. This implies that Goursat categories can be characterised in terms of a simple property of internal groupoids.
Thomas Dobbelaere
This paper describes the design of a low-cost USB-controlled potentiostat/galvanostat which can measure or apply potentials in the range of +/-8V, and measure or apply currents ranging from nanoamps to max. +/-25 mA. Precision is excellent thanks to the on-board 20-bit D/A-convertor and 22-bit A/D-convertors. The dual control modes and its wide potential ran
Mikael Twengström, Laura Bovo, Michel J. P. Gingras, Steven. T. Bramwell
The demagnetizing factor N is of both conceptual interest and practical importance. Considering localized magnetic moments on a lattice, we show that for non-ellipsoidal samples, N depends on the spin dimensionality (Ising, XY, or Heisenberg) and orientation, as well as the sample shape and susceptibility. The generality of this result is demonstrated by mea
Yuni Iwamasa, Kazuo Murota, Stanislav Zivny
In this paper, we reveal a relation between joint winner property (JWP) in the field of valued constraint satisfaction problems (VCSPs) and M${}^\natural$-convexity in the field of discrete convex analysis (DCA). We introduce the M${}^\natural$-convex completion problem, and show that a function $f$ satisfying the JWP is Z-free if and only if a certain funct
M. S. Akshaya, Jayant Murthy, S. Ravichandran, R. C. Henry
We have used GALEX observations of the North and South Galactic poles to study the diffuse ultraviolet background at locations where the Galactic light is expected to be at a minimum. We find offsets of 230 -- 290 photon units in the FUV (1531 Å) and 480 -- 580 photon units in the NUV (2361 Å). Of this, approximately 120 photon units can be ascribed to dust
Angular momentum, mass and charge inequalities for black holes in Einstein-Maxwell gravity with dark matter sector
hep-thMarek Rogatko
Angular momentum and mass-charge inequalities for axisymmetric maximal time-symmetric initial data in Einstein-Maxwell gravity with dark matter sector were derived. The dark matter sector is mimicked by another U(1)-gauge field coupled to the ordinary Maxwell one. We assume that data set with two asymptotically flat regions is given on smooth simply connecte
J. Sperling, A. Eckstein, W. R. Clements, M. Moore
In a recent contribution, we introduced and applied a detector-independent method to uncover nonclassicality. Here, we extend those techniques and give more details on the performed analysis. We derive a general theory of the positive-operator-valued measure that describes multiplexing layouts with arbitrary detectors. From the resulting quantum version of a
J. Sperling, W. R. Clements, A. Eckstein, M. Moore
We introduce a method for the verification of nonclassical light which is independent of the complex interaction between the generated light and the material of the detectors. This is accomplished by means of a multiplexing arrangement. Its theoretical description yields that the coincidence statistics of this measurement layout is a mixture of multinomial d
The impact of stochastic lead times on the bullwhip effect under correlated demand and moving average forecasts
stat.APZbigniew Michna, Stephen M. Disney, Peter Nielsen
We quantify the bullwhip effect (which measures how the variance in replenishment orders is amplified as the orders move up the supply chain) when random demands and random lead times are estimated using the industrially popular moving average forecasting method. We assume that the lead times constitute a sequence of independent identically distributed rando
Razane Tajeddine, Oliver W. Gnilke, David Karpuk, Ragnar Freij-Hollanti
In Private Information Retrieval (PIR), one wants to download a file from a database without revealing to the database which file is being downloaded. Much attention has been paid to the case of the database being encoded across several servers, subsets of which can collude to attempt to deduce the requested file. With the goal of studying the achievable PIR
Matthieu Jonckheere, Santiago Saglietti
We study supercritical branching processes in which all particles evolve according to some general Markovian motion (which may possess absorbing states) and branch independently at a fixed constant rate. Under fairly natural assumptions on the asymptotic distribution of the underlying motion, we first show using only probablistic tools that there is converge
Mikolaj J. Kasprzak
We extend the ideas of (Barbour 1990) and use Stein's method to obtain a bound on the distance between a scaled time-changed random walk and a time-changed Brownian Motion. We then apply this result to bound the distance between a time-changed compensated scaled Poisson process and a time-changed Brownian Motion. This allows us to bound the distance betw
Li-Hang Ren, Heng Fan
We design a heat engine with multi-heat-reservoir, ancillary system and quantum memory. We then derive an inequality related with the second law of thermodynamics, and give a new limitation about the work gain from the engine by analyzing the entropy change and quantum mutual information change during the process. In addition and remarkably, by combination o
Pan Li, Wei Lin, Konstantinos Efstathiou
We consider a network of identical pulse-coupled oscillators with delay and all-to-all coupling. We demonstrate that the discontinuous nature of the dynamics induces the appearance of isochronous regions---subsets of the phase space filled with periodic orbits having the same period. For fixed values of the network parameters each such isochronous region cor
Yongxin Chen, Tryphon T. Georgiou, Michele Pavon, Allen Tannenbaum
We study single commodity network flows with suitable robustness and efficiency specs. An original use of a maximum entropy problem for distributions on the paths of the graph turns this problem into a steering problem for Markov chains with prescribed initial and final marginals. From a computational standpoint, viewing scheduling this way is especially att
Takaaki Anzai, Yusuke Nishida
We study a two-dimensional Fermi gas with an attractive interaction subjected to synthetic magnetic fields assumed to be mutually antiparallel for two different spin components. By employing the mean-field approximation, we find that its phase diagram at zero temperature consists of pair superfluid and quantum spin Hall insulator phases and closely resembles
Tunable spider-web inspired hybrid labyrinthine acoustic metamaterials for low-frequency sound control
cond-mat.mtrl-sciA. O. Krushynska, F. Bosia, M. Miniaci, N. M. Pugno
Attenuating low-frequency sound remains a challenge, despite many advances in this direction. Recently developed acoustic metamaterials enable efficient subwavelength wave manipulation and attenuation due to exotic effects such as unusually high reflectivity, negative refraction or cloaking. In particular, labyrinthine acoustic metamaterials can provide broa
Valerio Bioglio, Frederic Gabry, Ingmar Land, Jean-Claude Belfiore
In this paper, we propose a construction for multi-kernel polar codes based on the maximization of the minimum distance. Compared to the original construction based on density evolution, our new design shows particular advantages for short code lengths, where the polarization effect has less impact on the performance than the distances of the code. We introd
Christopher S. Meiklejohn
Programming large-scale distributed applications requires new abstractions and models to be done well. We demonstrate that these models are possible. Following from both the FLP result and CAP theorem, we show that concurrent programming models are necessary, but not sufficient, in the construction of large-scale distributed systems because of the problem of
Charge States and FIP Bias of the Solar Wind from Coronal Holes, Active Regions, and Quiet Sun
astro-ph.SRHui Fu, Maria S. Madjarska, Lidong Xia, Bo Li
Connecting in-situ measured solar-wind plasma properties with typical regions on the Sun can provide an effective constraint and test to various solar wind models. We examine the statistical characteristics of the solar wind with an origin in different types of source regions. We find that the speed distribution of coronal hole (CH) wind is bimodal with the
Juan D. Jaramillo, Jiawen Deng, Jiangbin Gong
A result of great theoretical and experimental interest, Jarzynski equality predicts a free energy change $ΔF$ of a system at inverse temperature $β$ from an ensemble average of non-equilibrium exponential work, i.e., $\langle e^{-βW}\rangle =e^{-βΔF}$. The number of experimental work values needed to reach a given accuracy of $ΔF$ is determined by the varia
Johannes Rauh, Pradeep Kr. Banerjee, Eckehard Olbrich, Jürgen Jost
Suppose we have a pair of information channels, $κ_{1},κ_{2}$, with a common input. The Blackwell order is a partial order over channels that compares $κ_{1}$ and $κ_{2}$ by the maximal expected utility an agent can obtain when decisions are based on the channel outputs. Equivalently, $κ_{1}$ is said to be Blackwell-inferior to $κ_{2}$ if and only if $κ_{1}$
Dusko Pavlovic, Peter-Michael Seidel
In monadic programming, datatypes are presented as free algebras, generated by data values, and by the algebraic operations and equations capturing some computational effects. These algebras are free in the sense that they satisfy just the equations imposed by their algebraic theory, and remain free of any additional equations. The consequence is that they d
Yingshun Zhu, Wen Kang, Fusan Chen, Wan Chen
The standard design method for conventional straight dipole magnets is improved in this paper. The good field region is not symmetric with respect to the magnet mechanical center, and its width is not enlarged to include the beam sagitta. The integrated field quality is obtained by integrating the field along nominal beam paths. 2D and 3D design procedures o
Imran Ahmed, Shahid Muhmood
We recall first Gallai-simplicial complex $Δ_Γ(G)$ associated to Gallai graph $Γ(G)$ of a planar graph $G$. The Euler characteristic is a very useful topological and homotopic invariant to classify surfaces. In Theorems 3.2 and 3.4, we compute Euler characteristics of Gallai-simplicial complexes associated to triangular ladder and prism graphs, respectively.
Sourav Nandy, Arnab Sen, Diptiman Sen
Does a closed quantum many-body system that is continually driven with a time-dependent Hamiltonian finally reach a steady state? This question has only recently been answered for driving protocols that are periodic in time, where the long time behavior of the local properties synchronize with the drive and can be described by an appropriate periodic ensembl
Temperature Dependence of the Yield Strength of Aluminum Thin Films: Multiscale Modeling Approach
cond-mat.mtrl-sciKamyar Davoudi
Modeling deformation at elevated temperatures using discrete dislocation dynamics (DDD) is a recent area of high interest. However, the literature dedicated to this subject fails to address the variations of DDD parameters with temperature. This study aims to investigate the effect of temperature on the yield strength of aluminum thin films in two-dimensiona
Ramesh Kasilingam
We classify up to diffeomorphism all smooth manifolds homeomorphic to the complex projective m-space $\mathbb{C}P^{m}$ for $m = 5, 6, 7$ and $8$. As an application, for $m = 7$ and $8$, we compute the smooth tangential structure set of $\mathbb{C}P^{m}$ and obtain a bound on the number of smooth homotopy complex projective m-spaces with given Pontryagin clas
Is BaCr$_2$As$_2$ symmetrical to BaFe$_2$As$_2$ with respect to half $3d$ shell filling?
cond-mat.supr-conP. Richard, A. van Roekeghem, B. Q. Lv, T. Qian
We have performed an angle-resolved photoemission spectroscopy study of BaCr$_2$As$_2$, which has the same crystal structure as BaFe$_2$As$_2$, a parent compound of Fe-based superconductors. We determine the Fermi surface of this material and its band dispersion over 5 eV of binding energy. Very moderate band renormalization (1.35) is observed for only two b
Wanchun Liu, Kaibin Huang, Xiangyun Zhou, Salman Durrani
The rapid growth of IoT driven by recent advancements in consumer electronics, 5G communication technologies, and cloud-computing enabled big-data analytics, has recently attracted tremendous attention from both the industry and academia. One of the major open challenges for IoT is the limited network lifetime due to massive IoT devices being powered by batt