Modal Horn Logics Have Interpolation
|
|
- Meryl Hudson
- 5 years ago
- Views:
Transcription
1 Modal Horn Logis Have Interpolation Marus Kraht Department of Linguistis, UCLA PO Box Hilgard Avenue Los Angeles, CA USA Abstrat We shall show that the polymodal Sahlqvist logis orresponding to a set of Horn formulae have interpolation. 1 Introdution This paper has been sparked off by a reent result by Rajeev Goré and Stéphane Demri that all grammar logis have interpolation. A grammar logi is a modal logi axiomatized by axioms of the form σ p i p, where σ is a string of modal operators. In this paper I show that this holds of a wider lass of logis, those whih are determined by a set of Sahlqvist formulae that are also Horn formulae. 2 Definitions Notation and terminology is as in [1]. Our language is that of polymodal logi i with any set B of basi modalities. We write x y in plae of x R( i ) y, and extend this to ompound modalities. Compound modalities are here simply sequenes σ = i 0 ; i 1 ; ; i p 1 where i j B for all i < p. Thus, x R( σ y is synonymous x σ y. Sahlqvist logis determine first-order onditions on frames. We 1
2 shall be interested in a very speifi lass. Reall that first-order Sahlqvist formulae have the following form. They are formed from atomi or onstant formulae using, and restrited existential and universal quantifiers suh that at least one variable in every matrix ondition is quantified by a universal quantifier that is not in the sope of an existential. In this paper we are interested in logis whose lass of frames is haraterised by sets of formulae that are both Sahlqvist and Horn formulae. It is not hard to see the following. We first do a first-order haraterisation and then proeed to a modal version. Call a formula a tree formula if it is formed from using and restrited existentials. Model theoretially suh a formula χ is satisfiable in a frame iff T(χ) is embeddable where T is defined from the formula by indution as follows. (a) T(χ) is a one-point tree (the relation is empty), (b) T( χ) is obtained by adding a node at the bottom of the tree to be the new root, () T(χ χ ) is obtained by fusing the two roots of T(χ) and T(χ ). Lemma 1 A Sahlqvist formula is a Horn formula iff it is formed from any number of tree formulae and a single matrix x R( i ) y using and restrited universal quantifiers. For a proof notie the following. A Horn formula has the form (1) ξ = ( x)( α i β) i<n where α i, i < n, and β are atomi. In order to onvert this Sahlqvist form, the α i must be restritors of the variables, sine they are negative. Hene they have the form w R( i ) w, where w does not our to the right of R( j ) in any of the α i (but it may our to the left). Hene, say that w immediately depends on w if there is an i suh that α i = w R( j ) w for some w, w and j B; let dependeny be the transitive losure of immediate dependeny. Then dependeny is a tree order with root x 0. Now, let β = x R( i ) y. Let x = x 0 x p 1. Let X be the set of variables on whih x depends, Y the set of variables on whih y depends, D := X Y. Let the variables be numbered suh that X Y = x 0 x q 1. Then (2) ξ ( x 0 x q 1 )(( x q x p 1 α i ) x R( i ) y) Now pik i < n. α = w R( j ) w. Two hoies arise: Case 1. w X Y. Then also w X Y. In this ase, α i an be moved outside the sope of the existentials. Moreover, w is bound by a universal quantifier, and α i is its restritor. Case 2. w X Y. Then w is bound by an existential, and α i is its restritor. This shows the laim. 2 i<n
3 We all a Sahlqvist Horn formula pure if it does not use any tree formula; equivalently, X Y = x 0 x p 1. Definition 2 Call L a Horn logi if it is Sahlqvist and determines a ondition on its frames that is haraterised by a set of Horn sentenes. This lass inludes the following axioms: reflexivity, transitivity, symmetry, tense axioms, and grammar logis. All these formulae are also pure. The theorem below therefore generalises a theorem given in [1]. Using ompound modalities, pure Sahlqvist Horn formulae an be defined as follows. They have the form (3) ( xyzw)((x ρ y y σ z y τ w) w i z) with ρ, σ and τ are sequenes. The orresponding Sahlqvist formula is as follows. (4) ρ ( σ p τ i p) We use an alternate of this formula, obtained by replaing p by and eliminating negations: (5) ρ ( τ i p σ p) We shall also all suh modal formulae Horn formulae. The general ase of a Sahlqvist Horn formula is as follows. Say that a onstant formula χ is a tree formula if it is onstant and uses only and i, i B. Now, in addition to ordinary boxes allow also the use of χ j, whih are defined as follows: χ j ϕ := j(χ ϕ) and all these tree restrited basi modalities. Extend the notion of ompound modality to inlude tree restrited basi modalities. Then (4) and (5) an be used verbatim. 3 The Main Theorem Theorem 3 Modal Sahlqvist Horn logis have interpolation. We use the method of onstrutive redution. Let L be Sahlqvist Horn. Reall that there is a funtion X L ( ) suh that (6) ; X L ( ; ϕ) K ϕ L ϕ 3
4 and for all : var(x L ( )) var( ). Also, the sets an be hosen finite if, but we do not assume that X L ( ) is finite. Moreover, if X L has the property (7) X L (ϕ; δ) = X L (ϕ) X L (δ) then L has interpolation. We shall show that a funtion X L satisfying (7) an be found. The proof is simple. Suppose ϕ L ψ. Then ϕ; X L (ϕ; ψ) L ψ, and so ϕ; X L (ϕ); X L (ψ) K ψ. Now, either X L (ϕ) and X L (ψ) are already finite or else we may at this point hoose finite subsets of them and ontinue with those in plae of the original sets. From this we get ϕ; X L (ϕ) K XL (ψ) ψ. Now, var(ϕ; X L (ϕ)) = var(ϕ) and var( X L (ψ) ψ). K has interpolation, and so there exists a χ suh that var(χ) var(ϕ) var(ψ) and ϕ; X L (ϕ) K χ and χ K XL (ψ) ψ. From this we get ϕ; X L (ϕ) L χ and χ L XL (ψ) ψ. Sine X L ( ) is a set of theorems of L, ϕ L χ as well as χ L ψ. Let be given. We know that has a model based on a frame whih is a tree of depth bounded by the modal depth of. Let this tree be T = T, R with root w 0. Lemma 4 Let L be a Sahlqvist Horn logi. For every Kripke frame W, R there is a least R R suh that W, R is an L frame. Proof. Clearly, the elementary axioms do not ask for the addition of new points; rather, they ask for the introdution of new relations between points. It is easy to define a funtion on the set of all funtions B W 2 suh that if R does not yet satisfy the axioms, then f (R) onsists in the addition of a single transition that is fored by the axioms. Then R is defined either as the limit of f n (R), or as the intersetion of all f losed sets. So, the proess of adding relations is iterative. Notie that the Horn formulae say something like this: there is a tree T suh that if this tree is embeddable into the frame then one additional relation obtains. Suppose that we start with a tree T 0. Then the first set of onsequenes are derived from embedding T into T 0 and then adding the new relations. This gives T 1, whih may embed T in more ways, yielding additional patterns. This an be flattened into a single operation by losing the Horn formulae under derivability. This will mean that there is no easy way to hoose a finite redution set, but this is atually of no relevane for interpolation. At this point it is perhaps instrutive to see why pure Sahlqvist Horn formulae are not suitable for the proof (and why we have to move to the more omplex Sahlqvist Horn formulae). Let δ 1 = ( xyz)((x a;b y x 4 b z) (y z)),
5 δ 2 = ( xy)(x ; y x y) and δ 3 = ( xy)(x y y x). Let the a b b following tree be given: w 0 w 1 w 2, w 0 w 3. Then, using δ 1 we get w 0 w 3, using δ 3 we get w 3 w 0, and finally through δ 2 we get w 2 w 2. Now, if the node w 2 had not been there, we would not have to add the transition w 2 w 2. Whether or not w 2 w 2 depends not only on the path between them b but also on the existene of some additional path, here w 0 w 3. Now we enter the definition of X L. First, let H be the set of all Sahlqvist Horn formulae valid in L. We assume χ H to be of the form (5). Now set (8) X L ( ) := { ρ ( τ i δ σ δ) : i δ Sf( ), ρ ( τ i p σ p) H} This set has the property (7). (For i δ Sf(ϕ; δ) iff i δ Sf(ϕ) or i δ Sf(δ).) We have to show that it also satisfies (6). The diretion from left to right is lear. Therefore, assume (9) ; X L ( ; ϕ) K ϕ Then there is a frame W, R suh that (10) W, R, w 0, β ; X L ( ; ϕ); ϕ Let R be defined as follows. R is the set of all transitions w following is satisfied: (11) w 0 ρ y; y σ z; y τ w i z suh that the Clearly, these transitions must be added in order to satisfy the first order ondition. Also, it is enough to add those, sine these are all the transitions that an be dedued to exist. We show by indution on χ Sf( ; ϕ) that (12) W, R, β, z χ W, R, β, z χ There is only one problemati ase, namely χ = i δ. ( ) is lear. ( ). So assume that we have (13) W, R, β, z i δ Pik w suh that z R ( i ) w. Two ases arise: z R( i ) w and so already W, R, β, w. i The seond ase is when the transition z w has been added. By assumption this is the ase beause W, R satisfies (14) w 0 ρ y; y σ z; y τ w 5
6 where ρ, σ and τ are sequenes of tree restrited basi modalities. This means that (15) W, R, β, w 0 ρ ( τ i δ σ δ) From this we get (16) W, R, β, y τ i δ σ δ By assumption, sine y τ z and W, R, β, z i δ we now have (17) W, R, β, y σ δ Now, sine y σ w, we must have (18) W, R, β, w δ as required. It follows that for all w suh that z R ( i ) w we have W, R, β, w δ. By indution hypothesis W, R, β, w δ, for all w suh that x R( i ) w, from whih W, R, β, z i δ. This onludes the proof. Referenes [1] Marus Kraht, Tools and Tehniques in Modal Logi, Studies in Logi, no. 142, Elsevier, Amsterdam,
Ordered fields and the ultrafilter theorem
F U N D A M E N T A MATHEMATICAE 59 (999) Ordered fields and the ultrafilter theorem by R. B e r r (Dortmund), F. D e l o n (Paris) and J. S h m i d (Dortmund) Abstrat. We prove that on the basis of ZF
More informationA Characterization of Wavelet Convergence in Sobolev Spaces
A Charaterization of Wavelet Convergene in Sobolev Spaes Mark A. Kon 1 oston University Louise Arakelian Raphael Howard University Dediated to Prof. Robert Carroll on the oasion of his 70th birthday. Abstrat
More informationLECTURE NOTES FOR , FALL 2004
LECTURE NOTES FOR 18.155, FALL 2004 83 12. Cone support and wavefront set In disussing the singular support of a tempered distibution above, notie that singsupp(u) = only implies that u C (R n ), not as
More informationOn Component Order Edge Reliability and the Existence of Uniformly Most Reliable Unicycles
Daniel Gross, Lakshmi Iswara, L. William Kazmierzak, Kristi Luttrell, John T. Saoman, Charles Suffel On Component Order Edge Reliability and the Existene of Uniformly Most Reliable Uniyles DANIEL GROSS
More informationComplexity of Regularization RBF Networks
Complexity of Regularization RBF Networks Mark A Kon Department of Mathematis and Statistis Boston University Boston, MA 02215 mkon@buedu Leszek Plaskota Institute of Applied Mathematis University of Warsaw
More informationPacking Plane Spanning Trees into a Point Set
Paking Plane Spanning Trees into a Point Set Ahmad Biniaz Alfredo Garía Abstrat Let P be a set of n points in the plane in general position. We show that at least n/3 plane spanning trees an be paked into
More informationChapter 8 Hypothesis Testing
Leture 5 for BST 63: Statistial Theory II Kui Zhang, Spring Chapter 8 Hypothesis Testing Setion 8 Introdution Definition 8 A hypothesis is a statement about a population parameter Definition 8 The two
More information22.54 Neutron Interactions and Applications (Spring 2004) Chapter 6 (2/24/04) Energy Transfer Kernel F(E E')
22.54 Neutron Interations and Appliations (Spring 2004) Chapter 6 (2/24/04) Energy Transfer Kernel F(E E') Referenes -- J. R. Lamarsh, Introdution to Nulear Reator Theory (Addison-Wesley, Reading, 1966),
More informationComputer Science 786S - Statistical Methods in Natural Language Processing and Data Analysis Page 1
Computer Siene 786S - Statistial Methods in Natural Language Proessing and Data Analysis Page 1 Hypothesis Testing A statistial hypothesis is a statement about the nature of the distribution of a random
More information(q) -convergence. Comenius University, Bratislava, Slovakia
Annales Mathematiae et Informatiae 38 (2011) pp. 27 36 http://ami.ektf.hu On I (q) -onvergene J. Gogola a, M. Mačaj b, T. Visnyai b a University of Eonomis, Bratislava, Slovakia e-mail: gogola@euba.sk
More informationThe Hanging Chain. John McCuan. January 19, 2006
The Hanging Chain John MCuan January 19, 2006 1 Introdution We onsider a hain of length L attahed to two points (a, u a and (b, u b in the plane. It is assumed that the hain hangs in the plane under a
More informationOn the density of languages representing finite set partitions
On the density of languages representing finite set partitions Nelma Moreira Rogério Reis Tehnial Report Series: DCC-04-07 Departamento de Ciênia de Computadores Fauldade de Ciênias & Laboratório de Inteligênia
More informationCounting Idempotent Relations
Counting Idempotent Relations Beriht-Nr. 2008-15 Florian Kammüller ISSN 1436-9915 2 Abstrat This artile introdues and motivates idempotent relations. It summarizes haraterizations of idempotents and their
More informationNext: Pushdown automata. Pushdown Automata. Informal Description PDA (1) Informal Description PDA (2) Formal Description PDA
CE 2001: Introdution to Theor of Computation ummer 2007 uprakash Datta datta@s.orku.a Net: Pushdown automata dd stak to definition of Finite utomata Can serve as tpe of memor or ounter More powerful than
More informationEstimating the probability law of the codelength as a function of the approximation error in image compression
Estimating the probability law of the odelength as a funtion of the approximation error in image ompression François Malgouyres Marh 7, 2007 Abstrat After some reolletions on ompression of images using
More informationMaximum Entropy and Exponential Families
Maximum Entropy and Exponential Families April 9, 209 Abstrat The goal of this note is to derive the exponential form of probability distribution from more basi onsiderations, in partiular Entropy. It
More informationmax min z i i=1 x j k s.t. j=1 x j j:i T j
AM 221: Advaned Optimization Spring 2016 Prof. Yaron Singer Leture 22 April 18th 1 Overview In this leture, we will study the pipage rounding tehnique whih is a deterministi rounding proedure that an be
More informationON THE LEAST PRIMITIVE ROOT EXPRESSIBLE AS A SUM OF TWO SQUARES
#A55 INTEGERS 3 (203) ON THE LEAST PRIMITIVE ROOT EPRESSIBLE AS A SUM OF TWO SQUARES Christopher Ambrose Mathematishes Institut, Georg-August Universität Göttingen, Göttingen, Deutshland ambrose@uni-math.gwdg.de
More informationRemark 4.1 Unlike Lyapunov theorems, LaSalle s theorem does not require the function V ( x ) to be positive definite.
Leture Remark 4.1 Unlike Lyapunov theorems, LaSalle s theorem does not require the funtion V ( x ) to be positive definite. ost often, our interest will be to show that x( t) as t. For that we will need
More informationDiscrete Bessel functions and partial difference equations
Disrete Bessel funtions and partial differene equations Antonín Slavík Charles University, Faulty of Mathematis and Physis, Sokolovská 83, 186 75 Praha 8, Czeh Republi E-mail: slavik@karlin.mff.uni.z Abstrat
More informationMillennium Relativity Acceleration Composition. The Relativistic Relationship between Acceleration and Uniform Motion
Millennium Relativity Aeleration Composition he Relativisti Relationship between Aeleration and niform Motion Copyright 003 Joseph A. Rybzyk Abstrat he relativisti priniples developed throughout the six
More informationThe perverse t-structure
The perverse t-struture Milan Lopuhaä Marh 15, 2017 1 The perverse t-struture The goal of today is to define the perverse t-struture and perverse sheaves, and to show some properties of both. In his talk
More informationHenkin and Hybrid Logic
Henkin and Hybrid Logi Patrik Blakburn Roskilde Universitet María Manzano Universidad de Salamana Antonia Huertas Universitat Oberta de Catalunya July 10, 2014 Klaus Frovin Jørgensen Roskilde Universitet
More informationParallel disrete-event simulation is an attempt to speed-up the simulation proess through the use of multiple proessors. In some sense parallel disret
Exploiting intra-objet dependenies in parallel simulation Franeso Quaglia a;1 Roberto Baldoni a;2 a Dipartimento di Informatia e Sistemistia Universita \La Sapienza" Via Salaria 113, 198 Roma, Italy Abstrat
More informationA Functional Representation of Fuzzy Preferences
Theoretial Eonomis Letters, 017, 7, 13- http://wwwsirporg/journal/tel ISSN Online: 16-086 ISSN Print: 16-078 A Funtional Representation of Fuzzy Preferenes Susheng Wang Department of Eonomis, Hong Kong
More informationSensitivity analysis for linear optimization problem with fuzzy data in the objective function
Sensitivity analysis for linear optimization problem with fuzzy data in the objetive funtion Stephan Dempe, Tatiana Starostina May 5, 2004 Abstrat Linear programming problems with fuzzy oeffiients in the
More informationHankel Optimal Model Order Reduction 1
Massahusetts Institute of Tehnology Department of Eletrial Engineering and Computer Siene 6.245: MULTIVARIABLE CONTROL SYSTEMS by A. Megretski Hankel Optimal Model Order Redution 1 This leture overs both
More informationThe Effectiveness of the Linear Hull Effect
The Effetiveness of the Linear Hull Effet S. Murphy Tehnial Report RHUL MA 009 9 6 Otober 009 Department of Mathematis Royal Holloway, University of London Egham, Surrey TW0 0EX, England http://www.rhul.a.uk/mathematis/tehreports
More informationSQUARE ROOTS AND AND DIRECTIONS
SQUARE ROOS AND AND DIRECIONS We onstrut a lattie-like point set in the Eulidean plane that eluidates the relationship between the loal statistis of the frational parts of n and diretions in a shifted
More informationarxiv: v2 [cs.dm] 4 May 2018
Disrete Morse theory for the ollapsibility of supremum setions Balthazar Bauer INRIA, DIENS, PSL researh, CNRS, Paris, Frane Luas Isenmann LIRMM, Université de Montpellier, CNRS, Montpellier, Frane arxiv:1803.09577v2
More informationNonreversibility of Multiple Unicast Networks
Nonreversibility of Multiple Uniast Networks Randall Dougherty and Kenneth Zeger September 27, 2005 Abstrat We prove that for any finite direted ayli network, there exists a orresponding multiple uniast
More informationA Logic of Local Graph Shapes
CTIT Tehnial Report TR CTIT 03 35, University of Twente, 2003 A Logi of Loal Graph Shapes Arend Rensink Department of Computer Siene, University of Twente P.O.Box 27, 7500 AE, The Netherlands rensink@s.utwente.nl
More informationCoefficients of the Inverse of Strongly Starlike Functions
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Bull. Malaysian Math. S. So. (Seond Series) 6 (00) 6 7 Coeffiients of the Inverse of Strongly Starlie Funtions ROSIHAN M. ALI Shool of Mathematial
More informationSearching All Approximate Covers and Their Distance using Finite Automata
Searhing All Approximate Covers and Their Distane using Finite Automata Ondřej Guth, Bořivoj Melihar, and Miroslav Balík České vysoké učení tehniké v Praze, Praha, CZ, {gutho1,melihar,alikm}@fel.vut.z
More informationLECTURE 22: MAPPING DEGREE, POINCARE DUALITY
LECTURE 22: APPING DEGREE, POINCARE DUALITY 1. The mapping degree and its appliations Let, N be n-dimensional onneted oriented manifolds, and f : N a proper map. (If is ompat, then any smooth map f : N
More informationVolume 29, Issue 3. On the definition of nonessentiality. Udo Ebert University of Oldenburg
Volume 9, Issue 3 On the definition of nonessentiality Udo Ebert University of Oldenburg Abstrat Nonessentiality of a good is often used in welfare eonomis, ost-benefit analysis and applied work. Various
More informationOn the Licensing of Innovations under Strategic Delegation
On the Liensing of Innovations under Strategi Delegation Judy Hsu Institute of Finanial Management Nanhua University Taiwan and X. Henry Wang Department of Eonomis University of Missouri USA Abstrat This
More informationThe Laws of Acceleration
The Laws of Aeleration The Relationships between Time, Veloity, and Rate of Aeleration Copyright 2001 Joseph A. Rybzyk Abstrat Presented is a theory in fundamental theoretial physis that establishes the
More informationELECTROMAGNETIC WAVES WITH NONLINEAR DISPERSION LAW. P. М. Меdnis
ELECTROMAGNETIC WAVES WITH NONLINEAR DISPERSION LAW P. М. Меdnis Novosibirs State Pedagogial University, Chair of the General and Theoretial Physis, Russia, 636, Novosibirs,Viljujsy, 8 e-mail: pmednis@inbox.ru
More informationJAST 2015 M.U.C. Women s College, Burdwan ISSN a peer reviewed multidisciplinary research journal Vol.-01, Issue- 01
JAST 05 M.U.C. Women s College, Burdwan ISSN 395-353 -a peer reviewed multidisiplinary researh journal Vol.-0, Issue- 0 On Type II Fuzzy Parameterized Soft Sets Pinaki Majumdar Department of Mathematis,
More informationSome GIS Topological Concepts via Neutrosophic Crisp Set Theory
New Trends in Neutrosophi Theory and Appliations A.A.SALAMA, I.M.HANAFY, HEWAYDA ELGHAWALBY 3, M.S.DABASH 4,2,4 Department of Mathematis and Computer Siene, Faulty of Sienes, Port Said University, Egypt.
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematis A NEW ARRANGEMENT INEQUALITY MOHAMMAD JAVAHERI University of Oregon Department of Mathematis Fenton Hall, Eugene, OR 97403. EMail: javaheri@uoregon.edu
More informationNOTES ON GROUPOIDS, IMAGINARIES AND INTERNAL COVERS
NOTES ON GROUPOIDS, IMAGINARIES AND INTERNAL COVERS OLEG CHTERENTAL April 30, 2009 These notes are an exposition of the beginning of Ehud Hrushovski s paper Groupoids, Imaginaries and Internal Covers.
More informationStructural Reconfiguration of Systems under Behavioral Adaptation
Strutural Reonfiguration of Systems under Behavioral Adaptation Carlos Canal a, Javier Cámara b, Gwen Salaün a Department of Computer Siene, University of Málaga, Spain b Department of Informatis Engineering,
More informationarxiv:gr-qc/ v2 6 Feb 2004
Hubble Red Shift and the Anomalous Aeleration of Pioneer 0 and arxiv:gr-q/0402024v2 6 Feb 2004 Kostadin Trenčevski Faulty of Natural Sienes and Mathematis, P.O.Box 62, 000 Skopje, Maedonia Abstrat It this
More informationSensitivity Analysis in Markov Networks
Sensitivity Analysis in Markov Networks Hei Chan and Adnan Darwihe Computer Siene Department University of California, Los Angeles Los Angeles, CA 90095 {hei,darwihe}@s.ula.edu Abstrat This paper explores
More informationMOLECULAR ORBITAL THEORY- PART I
5.6 Physial Chemistry Leture #24-25 MOLECULAR ORBITAL THEORY- PART I At this point, we have nearly ompleted our rash-ourse introdution to quantum mehanis and we re finally ready to deal with moleules.
More informationMost results in this section are stated without proof.
Leture 8 Level 4 v2 he Expliit formula. Most results in this setion are stated without proof. Reall that we have shown that ζ (s has only one pole, a simple one at s =. It has trivial zeros at the negative
More informationA Queueing Model for Call Blending in Call Centers
A Queueing Model for Call Blending in Call Centers Sandjai Bhulai and Ger Koole Vrije Universiteit Amsterdam Faulty of Sienes De Boelelaan 1081a 1081 HV Amsterdam The Netherlands E-mail: {sbhulai, koole}@s.vu.nl
More informationChapter 2: Solution of First order ODE
0 Chapter : Solution of irst order ODE Se. Separable Equations The differential equation of the form that is is alled separable if f = h g; In order to solve it perform the following steps: Rewrite the
More informationSubject: Introduction to Component Matching and Off-Design Operation % % ( (1) R T % (
16.50 Leture 0 Subjet: Introdution to Component Mathing and Off-Design Operation At this point it is well to reflet on whih of the many parameters we have introdued (like M, τ, τ t, ϑ t, f, et.) are free
More informationarxiv: v2 [math.pr] 9 Dec 2016
Omnithermal Perfet Simulation for Multi-server Queues Stephen B. Connor 3th Deember 206 arxiv:60.0602v2 [math.pr] 9 De 206 Abstrat A number of perfet simulation algorithms for multi-server First Come First
More informationCOMPARISON OF GEOMETRIC FIGURES
COMPARISON OF GEOMETRIC FIGURES Spyros Glenis M.Ed University of Athens, Department of Mathematis, e-mail spyros_glenis@sh.gr Introdution the figures: In Eulid, the geometri equality is based on the apability
More informationNormative and descriptive approaches to multiattribute decision making
De. 009, Volume 8, No. (Serial No.78) China-USA Business Review, ISSN 57-54, USA Normative and desriptive approahes to multiattribute deision making Milan Terek (Department of Statistis, University of
More informationTutorial 4 (week 4) Solutions
THE UNIVERSITY OF SYDNEY PURE MATHEMATICS Summer Shool Math26 28 Tutorial week s You are given the following data points: x 2 y 2 Construt a Lagrange basis {p p p 2 p 3 } of P 3 using the x values from
More informationLecture Notes 4 MORE DYNAMICS OF NEWTONIAN COSMOLOGY
MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physis Department Physis 8.286: The Early Universe Otober 1, 218 Prof. Alan Guth Leture Notes 4 MORE DYNAMICS OF NEWTONIAN COSMOLOGY THE AGE OF A FLAT UNIVERSE: We
More informationTime Domain Method of Moments
Time Domain Method of Moments Massahusetts Institute of Tehnology 6.635 leture notes 1 Introdution The Method of Moments (MoM) introdued in the previous leture is widely used for solving integral equations
More informationMethods of evaluating tests
Methods of evaluating tests Let X,, 1 Xn be i.i.d. Bernoulli( p ). Then 5 j= 1 j ( 5, ) T = X Binomial p. We test 1 H : p vs. 1 1 H : p>. We saw that a LRT is 1 if t k* φ ( x ) =. otherwise (t is the observed
More informationEDGE-DISJOINT CLIQUES IN GRAPHS WITH HIGH MINIMUM DEGREE
EDGE-DISJOINT CLIQUES IN GRAPHS WITH HIGH MINIMUM DEGREE RAPHAEL YUSTER Abstrat For a graph G and a fixed integer k 3, let ν k G) denote the maximum number of pairwise edge-disjoint opies of K k in G For
More informationNotes on the Space Requirements for Checking Satisfiability in Modal Logics
1 Notes on the Space Requirements for Checking Satisfiability in Modal Logics Marcus Kracht abstract. Recently, there has been growing attention to the space requirements of tableau methods (see for example
More informationProduct Policy in Markets with Word-of-Mouth Communication. Technical Appendix
rodut oliy in Markets with Word-of-Mouth Communiation Tehnial Appendix August 05 Miro-Model for Inreasing Awareness In the paper, we make the assumption that awareness is inreasing in ustomer type. I.e.,
More informationRelativity in Classical Physics
Relativity in Classial Physis Main Points Introdution Galilean (Newtonian) Relativity Relativity & Eletromagnetism Mihelson-Morley Experiment Introdution The theory of relativity deals with the study of
More informationSome facts you should know that would be convenient when evaluating a limit:
Some fats you should know that would be onvenient when evaluating a it: When evaluating a it of fration of two funtions, f(x) x a g(x) If f and g are both ontinuous inside an open interval that ontains
More informationCMSC 451: Lecture 9 Greedy Approximation: Set Cover Thursday, Sep 28, 2017
CMSC 451: Leture 9 Greedy Approximation: Set Cover Thursday, Sep 28, 2017 Reading: Chapt 11 of KT and Set 54 of DPV Set Cover: An important lass of optimization problems involves overing a ertain domain,
More informationHOW TO FACTOR. Next you reason that if it factors, then the factorization will look something like,
HOW TO FACTOR ax bx I now want to talk a bit about how to fator ax bx where all the oeffiients a, b, and are integers. The method that most people are taught these days in high shool (assuming you go to
More information15.12 Applications of Suffix Trees
248 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, 2007 15.12 Appliations of Suffix Trees 1. Searhing for exat patterns 2. Minimal unique substrings 3. Maximum unique mathes 4. Maximum
More informationGeneral solution to a higher-order linear difference equation and existence of bounded solutions
Stević Advanes in Differene Equations 2017 2017:377 DOI 101186/s13662-017-1432-7 R E S E A R C H Open Aess General solution to a higher-order linear differene equation and existene of bounded solutions
More informationLecture 3 - Lorentz Transformations
Leture - Lorentz Transformations A Puzzle... Example A ruler is positioned perpendiular to a wall. A stik of length L flies by at speed v. It travels in front of the ruler, so that it obsures part of the
More informationArray Design for Superresolution Direction-Finding Algorithms
Array Design for Superresolution Diretion-Finding Algorithms Naushad Hussein Dowlut BEng, ACGI, AMIEE Athanassios Manikas PhD, DIC, AMIEE, MIEEE Department of Eletrial Eletroni Engineering Imperial College
More informationOn maximal inequalities via comparison principle
Makasu Journal of Inequalities and Appliations (2015 2015:348 DOI 10.1186/s13660-015-0873-3 R E S E A R C H Open Aess On maximal inequalities via omparison priniple Cloud Makasu * * Correspondene: makasu@uw.a.za
More informationHILLE-KNESER TYPE CRITERIA FOR SECOND-ORDER DYNAMIC EQUATIONS ON TIME SCALES
HILLE-KNESER TYPE CRITERIA FOR SECOND-ORDER DYNAMIC EQUATIONS ON TIME SCALES L ERBE, A PETERSON AND S H SAKER Abstrat In this paper, we onsider the pair of seond-order dynami equations rt)x ) ) + pt)x
More informationarxiv:physics/ v1 [physics.class-ph] 8 Aug 2003
arxiv:physis/0308036v1 [physis.lass-ph] 8 Aug 003 On the meaning of Lorentz ovariane Lszl E. Szab Theoretial Physis Researh Group of the Hungarian Aademy of Sienes Department of History and Philosophy
More informationMaxmin expected utility through statewise combinations
Eonomis Letters 66 (2000) 49 54 www.elsevier.om/ loate/ eonbase Maxmin expeted utility through statewise ombinations Ramon Casadesus-Masanell, Peter Klibanoff, Emre Ozdenoren* Department of Managerial
More informationEffective Resistances for Ladder Like Chains
Effetive Resistanes for Ladder Like Chains Carmona, A., Eninas, A.M., Mitjana, M. May 9, 04 Abstrat Here we onsider a lass of generalized linear hains; that is, the ladder like hains as a perturbation
More informationarxiv:math/ v4 [math.ca] 29 Jul 2006
arxiv:math/0109v4 [math.ca] 9 Jul 006 Contiguous relations of hypergeometri series Raimundas Vidūnas University of Amsterdam Abstrat The 15 Gauss ontiguous relations for F 1 hypergeometri series imply
More informationPhysics 523, General Relativity Homework 4 Due Wednesday, 25 th October 2006
Physis 523, General Relativity Homework 4 Due Wednesday, 25 th Otober 2006 Jaob Lewis Bourjaily Problem Reall that the worldline of a ontinuously aelerated observer in flat spae relative to some inertial
More informationAdvanced Computational Fluid Dynamics AA215A Lecture 4
Advaned Computational Fluid Dynamis AA5A Leture 4 Antony Jameson Winter Quarter,, Stanford, CA Abstrat Leture 4 overs analysis of the equations of gas dynamis Contents Analysis of the equations of gas
More informationA RUIN MODEL WITH DEPENDENCE BETWEEN CLAIM SIZES AND CLAIM INTERVALS
A RUIN MODEL WITH DEPENDENCE BETWEEN CLAIM SIZES AND CLAIM INTERVALS Hansjörg Albreher a, Onno J. Boxma b a Graz University of Tehnology, Steyrergasse 3, A-8 Graz, Austria b Eindhoven University of Tehnology
More informationEvaluation of effect of blade internal modes on sensitivity of Advanced LIGO
Evaluation of effet of blade internal modes on sensitivity of Advaned LIGO T0074-00-R Norna A Robertson 5 th Otober 00. Introdution The urrent model used to estimate the isolation ahieved by the quadruple
More informationWhere as discussed previously we interpret solutions to this partial differential equation in the weak sense: b
Consider the pure initial value problem for a homogeneous system of onservation laws with no soure terms in one spae dimension: Where as disussed previously we interpret solutions to this partial differential
More informationThe Electromagnetic Radiation and Gravity
International Journal of Theoretial and Mathematial Physis 016, 6(3): 93-98 DOI: 10.593/j.ijtmp.0160603.01 The Eletromagneti Radiation and Gravity Bratianu Daniel Str. Teiului Nr. 16, Ploiesti, Romania
More informationSoft BCL-Algebras of the Power Sets
International Journal of lgebra, Vol. 11, 017, no. 7, 39-341 HIKRI Ltd, www.m-hikari.om https://doi.org/10.1988/ija.017.7735 Soft BCL-lgebras of the Power Sets Shuker Mahmood Khalil 1 and bu Firas Muhamad
More informationThe law of the iterated logarithm for c k f(n k x)
The law of the iterated logarithm for k fn k x) Christoph Aistleitner Abstrat By a lassial heuristis, systems of the form osπn k x) k 1 and fn k x)) k 1, where n k ) k 1 is a rapidly growing sequene of
More informationController Design Based on Transient Response Criteria. Chapter 12 1
Controller Design Based on Transient Response Criteria Chapter 12 1 Desirable Controller Features 0. Stable 1. Quik responding 2. Adequate disturbane rejetion 3. Insensitive to model, measurement errors
More informationPseudo Spheres. A Sample of Electronic Lecture Notes in Mathematics. Eberhard Malkowsky.
Pseudo Spheres A Sample of Eletroni Leture Notes in Mathematis Eberhard Malkowsky Mathematishes Institut Justus Liebig Universität Gießen Arndtstraße D-3539 Gießen Germany /o Shool of Informatis Computing
More informationSURFACE WAVES OF NON-RAYLEIGH TYPE
SURFACE WAVES OF NON-RAYLEIGH TYPE by SERGEY V. KUZNETSOV Institute for Problems in Mehanis Prosp. Vernadskogo, 0, Mosow, 75 Russia e-mail: sv@kuznetsov.msk.ru Abstrat. Existene of surfae waves of non-rayleigh
More informationOptimization of Statistical Decisions for Age Replacement Problems via a New Pivotal Quantity Averaging Approach
Amerian Journal of heoretial and Applied tatistis 6; 5(-): -8 Published online January 7, 6 (http://www.sienepublishinggroup.om/j/ajtas) doi:.648/j.ajtas.s.65.4 IN: 36-8999 (Print); IN: 36-96 (Online)
More informationWe will show that: that sends the element in π 1 (P {z 1, z 2, z 3, z 4 }) represented by l j to g j G.
1. Introdution Square-tiled translation surfaes are lattie surfaes beause they are branhed overs of the flat torus with a single branhed point. Many non-square-tiled examples of lattie surfaes arise from
More informationarxiv:math/ v1 [math.ca] 27 Nov 2003
arxiv:math/011510v1 [math.ca] 27 Nov 200 Counting Integral Lamé Equations by Means of Dessins d Enfants Sander Dahmen November 27, 200 Abstrat We obtain an expliit formula for the number of Lamé equations
More informationSolutions Manual. Selected odd-numbered problems in. Chapter 2. for. Proof: Introduction to Higher Mathematics. Seventh Edition
Solutions Manual Seleted odd-numbered problems in Chapter for Proof: Introdution to Higher Mathematis Seventh Edition Warren W. Esty and Norah C. Esty 5 4 3 1 Setion.1. Sentenes with One Variable Chapter
More informationBäcklund Transformations: Some Old and New Perspectives
Bäklund Transformations: Some Old and New Perspetives C. J. Papahristou *, A. N. Magoulas ** * Department of Physial Sienes, Helleni Naval Aademy, Piraeus 18539, Greee E-mail: papahristou@snd.edu.gr **
More informationExistence theorems for weakly symmetric operations
Algebra univers 59 (2008) 463 489 0002-5240/08/030463 27, published online November 22, 2008 DOI 101007/s00012-008-2122-9 Birkhäuser Verlag, Basel, 2008 AlgebraUniversalis Existene theorems for weakly
More informationControl Theory association of mathematics and engineering
Control Theory assoiation of mathematis and engineering Wojieh Mitkowski Krzysztof Oprzedkiewiz Department of Automatis AGH Univ. of Siene & Tehnology, Craow, Poland, Abstrat In this paper a methodology
More informationTypes ouverts de fermetures, et une application au typage des flots de données
Types ouverts de fermetures, et une appliation au typage des flots de données Gabriel Sherer, Jan Hoffmann RESEARCH REPORT N 8345 August 2013 Projet-Team Gallium ISSN 0249-6399 ISRN INRIA/RR--8345--FR+ENG
More informationRelativistic Dynamics
Chapter 7 Relativisti Dynamis 7.1 General Priniples of Dynamis 7.2 Relativisti Ation As stated in Setion A.2, all of dynamis is derived from the priniple of least ation. Thus it is our hore to find a suitable
More informationFig Review of Granta-gravel
0 Conlusion 0. Sope We have introdued the new ritial state onept among older onepts of lassial soil mehanis, but it would be wrong to leave any impression at the end of this book that the new onept merely
More informationCHARACTERIZATIONS OF THE LOGARITHM AS AN ADDITIVE FUNCTION
Annales Univ. Si. Budapest., Set. Comp. 6 (2004) 45-67 CHARACTERIZATIONS OF THE LOGARITHM AS AN ADDITIVE FUNCTION Bui Minh Phong (Budapest, Hungary) Dediated to Professor János Balázs on the oasion of
More informationCS235 Languages and Automata Fall 2012
C235 Languages and Automata Fall 2012 MIDERM 2 REVIEW ANWER Revised 12/03/12 to fix solns to Problem 1b(iv); revised 12/13/12 to hange a p/2-1 to a p-1 in Prob. 1b(v) (thanks to Irene Kwok); revised 12/14/12
More informationDifferential Equations 8/24/2010
Differential Equations A Differential i Equation (DE) is an equation ontaining one or more derivatives of an unknown dependant d variable with respet to (wrt) one or more independent variables. Solution
More informationError Bounds for Context Reduction and Feature Omission
Error Bounds for Context Redution and Feature Omission Eugen Bek, Ralf Shlüter, Hermann Ney,2 Human Language Tehnology and Pattern Reognition, Computer Siene Department RWTH Aahen University, Ahornstr.
More information