The height of minimal Hilbert bases
|
|
- Rosemary Wilcox
- 6 years ago
- Views:
Transcription
1 1 The height of minimal Hilbet bases Matin Henk and Robet Weismantel Abstact Fo an integal polyhedal cone C = pos{a 1,..., a m, a i Z d, a subset BC) C Z d is called a minimal Hilbet basis of C iff i) each element of C Z d can be witten as a non-negative integal combination of elements of BC) and ii) BC) has minimal cadinality with espect to all subsets of C Z d fo which i) holds. We give a tight bound fo the so-called height of an element of the basis which impoves on fome esults. 1 Intoduction Thoughout the pape R d denotes the d-dimensional Euclidean space, and pos S the positive hull of a subset S R d. The cadinality of a finite) subset S R d is denoted by #S and the i-th unit vecto is epesented by e i. A cone C R d is a set with the popeties that x + y C if x, y C and λx C if x C, λ 0. A cone C is called pointed if the set C\{0 is stictly contained in an open halfspace, i.e., thee exists c R d such that c T x < 0 fo all x C\{0. If C = pos{a 1,..., a m with vectos a i R d, 1 i m, then C is called a polyhedal cone o a finitely geneated cone. Hee we ae studying integal polyhedal cones C R d, i.e, thee exist vectos a i Z d \{0 fo 1 i m such that C = pos{a 1,..., a m, o equivalently, C = {x R d : Ax 0 fo an appopiate matix A Z n d. Fom Godan s lemma cf. [1], [2]) we know that fo evey integal polyhedal cone C thee exists a set BC) C Z d such that 1. each z C Z d can be expessed as a non-negative integal combination of elements in BC), i.e., z = b BC) z b b, z b N. 2. BC) has minimal cadinality with espect to all subsets of C Z d fo which 1) holds. BC) is called a minimal Hilbet basis of C. Fo shot we just say basis of C. If C is a pointed cone then BC) is uniquely detemined cf. [3], [2]), { BC) = b C Z d \{0 : b is not the sum of two othe 1.1) vectos in C Z d \{ Mathematics Subject Classification. Pimay 52B20, 90C21; Seconday 11P21. Key wods and Phases. Hilbet bases, ational polyhedal cones, intege pogamming.
2 2 This implies that the basis BC) is contained in the zonotope geneated by a 1,..., a m. pecisely, we have Moe BC) {a 1,..., a m { a C Z d \{0 : a = m λ i a i, 0 λ i < 1, 1 i m. 1.2) We want to emak that minimal) Hilbet bases occu unde many diffeent names in vaious fields of mathematics such as intege pogamming cf. [2], [4], [5], [6]) o in the context of special desingulaizations of toic vaieties cf. [7], [8], [9],[10]). Howeve, vey little is known about the geometical stuctue of the basis elements. Hee we focus on the height of the Hilbet basis. Definition 1. Let C = pos{a 1,..., a m, a i Z d, be a pointed cone. Fo b BC) the numbe { m m h C b) := min λ i : b = λ i a i, λ i 0, 1 i m is called the height of the basis element b. It is staightfowad to see that fo dimension 2 the height is not geate than 1 and fom Caatheodoy s theoem and 1.2) one easily deives the bound h C b) < d, b BC), C R d. Indeed, it was poven by Ewald & Wessels [11] that h C b) < d 1, b BC), d 3, is an asymptotically tight uppe bound fo the height see also [12]). Hee we shapen the bound in the following way. Theoem 1. Let C = pos{a 1,..., a m, a i Z d, be a d-dimensional pointed cone. Fo b BC) one has h C b) d 1) deta i, 1,..., a i d) whee {a i 1,..., a i d {a 1,..., a m is a subset of d linealy independent integal points such that b pos{a i 1,..., a i d. This bound is tight fo vaious families of cones. Fo example, let N\{0 and let cf. [11]) { d 1 C d = pos e 1,..., e d 1, e d + e i. The point b = 1,..., 1) T is an element of the basis with h C b) = d 1) 1 2 Poof of Theoem 1 The poof is pepaed by the next two simple lemmas. + 1 = d 1 dete 1,..., e d 1, e d + d 1 ei ).
3 3 Lemma 1. Let p, N such that 1 p 1. We define Mp, ) = {j {0,..., 1 : j p) mod p. Then #Mp, ) = p + gcdp, ). Poof. Obviously, if gcdp, ) = 1 then {j p) mod : 0 j 1 = {0,..., 1 and the statement is tue. Hence #Mp/q, /q) = p/q + 1 whee q = gcdp, ). Since j + i ) p mod = q j p q q mod ), 0 j 1, 0 i q 1, q q we get #Mp, ) = q #Mp/q, /q) = p + gcdp, ). The next lemma is quite obvious and can easily be poved by induction on the numbe n. Lemma 2. Let m, n be positive integes and let N i {1,..., n fo 1 i m. If m #N i m 1) n + k, k {1,..., n, then # m N i) k. We ae now eady fo the poof of Theoem 1. Poof of Theoem 1. Let b BC) and w.l.o.g. let {a 1,..., a d be a subset of the geneatos a 1,..., a m of the cone C such that a 1,..., a d ae linealy independent and b pos{a 1,..., a d. Let Λ Z d be the lattice geneated by {a 1,..., a d, b, detλ) its deteminant and = deta 1,..., a d ) / detλ) N be the index of the sublattice geneated by a 1,..., a d w..t. Λ cf. [13]). In the following we show detλ) h C b) d 1) ) deta 1,..., a d ) = d 1), 2.1) which is a slightly stonge inequality as posed in Theoem 1. To this end let b / {a 1,..., a d. Futhemoe, since b is also contained in the minimal Hilbet basis of the cone pos{a 1,..., a d we may assume by 1.2) that b = d λ ia i with 0 λ i < 1. It is quite easy to see that the coefficients λ i have a epesentation as λ i = p i, p i {0,..., 1, 1 i d, with gcdp 1,..., p d, ) = 1 and that { ) j pi ) mod a i : 1 j 1 C Z d \{0. 2.2) Now, by definition we have h C b) d p i/) and thus it suffices to show d )/ cf. 2.1)). Assume the contay, i.e., p i d 1) p i d 1) 1) ) Then 3 and we show that b can be witten as the sum of two elements contained in the set on the left hand side of 2.2). This contadicts 1.1). Fo 1 i d let Mp i, ) = {j {0,..., 1 : jp i mod p i.
4 4 Lemma 1 yields the bound #Mp i, ) p i + 1 and by 2.3) we get #Mp i, ) d 1) + 3. Lemma 2 says that the intesection d Mp i, ) contains an element k {2,..., 1, say. By the definition of the sets Mp i, ) we have ) ) p i = k p i ) mod + 1 k) p i ) mod, 1 i d, and we get the desied contadiction b = ) k pi ) mod a i + 1 k) pi ) mod ) a i. 3 Some consequences of Theoem 1 Theoem 1 may be used to deive the following lowe bound. Coollay 1. Let C = pos{a 1,..., a d be a pointed cone such that a 1,..., a d Z d ae linealy independent. If BC) = {a 1,..., a d {z Z d : z = d λ ia i, 0 λ i < 1 then fo b BC) contained in the inteio of C one has h C b) 1 + deta 1,..., a d ). Poof. Since b is contained in the inteio of C the lattice point b = d ai b is contained in the half open paallelepiped geneated by a 1,..., a d. Hence, by assumption b BC) and Theoem 1 yields h C b) = d h C b) 1 + )/ deta 1,..., a d ). The next coollay shows an application of Theoem 1 in intege pogamming. Coollay 2. Let A Z m d with all subdeteminants at most α in absolute value and let b Z m, c Z d be given vectos. If z is a feasible, non-optimal solution of the pogam max{c T z : Az b, z Z d, then thee exists a feasible solution ẑ such that c T ẑ > c T z and whee denotes the maximum nom. ẑ z d 1)α d d/2 α d 2, Poof. Let z be a feasible solution with c T z > c T z. We split the system Ax b into subsystems A 1 x b 1, A 2 x b 2 such that A 1 z A 1 z and A 2 z A 2 z. Let C be the cone C = {x R d : A 1 x 0, A 2 x 0
5 5 and w 1,..., w n Z d such that C = pos{w 1,..., w n. Using Came s ule we obtain that w j α, 1 j n. Since z z C thee exist l d linealy independent vectos w i 1,..., w i l such that z z C = pos{w i 1,..., w i l. It follows that z z = k n i b i, n i N\{0 fo some b 1,..., b k BC). It is easy to see that z + b i, i {1,..., k, is a feasible solution. On account of the condition c T z > c T z we may assume that c T z + b 1 ) > c T z. We define ẑ := z + b 1 and wite b 1 as l b 1 = λ j w i j j=1 with λ 1,..., λ l 0. Applying Theoem 1 to the l-dimensional cone C togethe with the Hadamad inequality gives l ) ẑ z α λ j l 2 α l 1) w i. 1 w i l ) As w i j d 1/2 α, we obtain j=1 ẑ z l 1)α l 2 d l/2 d 1)α αl 1 d d/2 α d 1, whee the last inequality can be veified with elementay algeba. We emak that the bound of Coollay 2 stengthens the bound of dα given in [14]. We ae gateful to Les Totte j. and Günte M. Ziegle fo helpful discussions and comments. Refeences [1] P. Godan, Übe die Auflösung lineae Gleichungen mit eellen Coefficienten, Math. Ann ), [2] A. Schijve, Theoy of linea and intege pogamming, John Wiley and Sons, Chicheste, [3] J.G. van de Coput, Übe Systeme von linea-homogenen Gleichungen und Ungleichungen, Poceedings Koninklijke Akademie van Wetenschappen te Amstedam ), [4] A. Sebö, Hilbet bases, Caatheodoy s Theoem and combinatoial optimization, Poc. of the IPCO confeence, Wateloo, Canada, 1990, [5] R. Ubaniak, R. Weismantel, and G.M. Ziegle, A vaiant of Buchbege s algoithm fo intege pogamming, SIAM J. Discete Math., to appea. [6] R. Weismantel, Hilbet bases and the facets of special knapsack polytopes, Math. Ope. Res. 214) 1996), [7] C. Bouvie and G. Gonzalez-Spingbeg, G-désingulaisations de vaiétés toiques, C. R. Acad.Sci. Pais, t.315, Séie I, 1992),
6 6 [8] D. Dais, M. Henk, and G.M. Ziegle, On the existence of cepant esolutions of Goenstein abelian quotient singulaities in dimensions 4, in pepaation 1996). [9] G. Ewald, Combinatoial Convexity and Algebaic Geomety, Gaduate Texts in Mathematics Vol. 168, Spinge, Belin, [10] T. Oda, Convex bodies and algebaic geomety, Spinge, New-Yok, [11] G. Ewald and U. Wessels, On the ampleness of invetible sheaves in complete pojective toic vaieties, Result. Math ), [12] J. Liu, L.E. Totte, J., and G.M. Ziegle, On the Height of the minimal Hilbet basis, Result. Math ), [13] P.M. Gube and C.G. Lekkekeke, Geomety of numbes, 2nd ed., Noth-Holland, Amstedam, [14] W. Cook, A.M.H. Geads, A. Schijve, and É. Tados, Sensitivity theoems in intege pogamming poblems, Math. Pogamming ), Matin Henk, Robet Weismantel Konad-Zuse-Zentum fü Infomationstechnik ZIB) Belin Takustaße 7 D Belin-Dahlem, Gemany henk@zib.de, weismantel@zib.de Eingegangen am 30. Apil 1997.
New problems in universal algebraic geometry illustrated by boolean equations
New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic
More informationON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},
ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability
More informationA solution to a problem of Grünbaum and Motzkin and of Erdős and Purdy about bichromatic configurations of points in the plane
A solution to a poblem of Günbaum and Motzkin and of Edős and Pudy about bichomatic configuations of points in the plane Rom Pinchasi July 29, 2012 Abstact Let P be a set of n blue points in the plane,
More informationQuasi-Randomness and the Distribution of Copies of a Fixed Graph
Quasi-Randomness and the Distibution of Copies of a Fixed Gaph Asaf Shapia Abstact We show that if a gaph G has the popety that all subsets of vetices of size n/4 contain the coect numbe of tiangles one
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J. Math. Anal. 4 200), no., 87 9 Banach Jounal of Mathematical Analysis ISSN: 75-8787 electonic) www.emis.de/jounals/bjma/ ON A REVERSE OF ANDO HIAI INEQUALITY YUKI SEO This pape is dedicated to
More informationCOLLAPSING WALLS THEOREM
COLLAPSING WALLS THEOREM IGOR PAK AND ROM PINCHASI Abstact. Let P R 3 be a pyamid with the base a convex polygon Q. We show that when othe faces ae collapsed (otated aound the edges onto the plane spanned
More informationSOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES
italian jounal of pue and applied mathematics n. 35 015 (433 44) 433 SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF OPERATOR MATRICES Watheq Bani-Domi Depatment of Mathematics
More informationf h = u, h g = v, we have u + v = f g. So, we wish
Answes to Homewok 4, Math 4111 (1) Pove that the following examples fom class ae indeed metic spaces. You only need to veify the tiangle inequality. (a) Let C be the set of continuous functions fom [0,
More informationCOHOMOLOGY OF THE G-HILBERT SCHEME FOR 1 (1, 1, r 1) Oskar Kȩdzierski
Sedica Math J 30 (2004), 293 302 COHOMOLOGY OF THE G-HILBERT SCHEME FOR 1 (1, 1, 1) Oska Kȩdzieski Communicated by P Pagacz Abstact In this note we attempt to genealize a few statements dawn fom the 3-dimensional
More informationarxiv: v2 [math.ag] 4 Jul 2012
SOME EXAMPLES OF VECTOR BUNDLES IN THE BASE LOCUS OF THE GENERALIZED THETA DIVISOR axiv:0707.2326v2 [math.ag] 4 Jul 2012 SEBASTIAN CASALAINA-MARTIN, TAWANDA GWENA, AND MONTSERRAT TEIXIDOR I BIGAS Abstact.
More informationKOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS
Jounal of Applied Analysis Vol. 14, No. 1 2008), pp. 43 52 KOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS L. KOCZAN and P. ZAPRAWA Received Mach 12, 2007 and, in evised fom,
More informationComplements of plane curves with logarithmic Kodaira dimension zero
J. Math. Soc. Japan Vol. 52, No. 4, 2000 Complements of plane cuves with logaithmic Kodaia dimension zeo By Hideo Kojima (Received Ap. 14, 1999) Abstact. We pove that logaithmic geometic genus of a complement
More informationSOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS
Fixed Point Theoy, Volume 5, No. 1, 2004, 71-80 http://www.math.ubbcluj.o/ nodeacj/sfptcj.htm SOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS G. ISAC 1 AND C. AVRAMESCU 2 1 Depatment of Mathematics Royal
More informationIntroduction Common Divisors. Discrete Mathematics Andrei Bulatov
Intoduction Common Divisos Discete Mathematics Andei Bulatov Discete Mathematics Common Divisos 3- Pevious Lectue Integes Division, popeties of divisibility The division algoithm Repesentation of numbes
More information18.06 Problem Set 4 Solution
8.6 Poblem Set 4 Solution Total: points Section 3.5. Poblem 2: (Recommended) Find the lagest possible numbe of independent vectos among ) ) ) v = v 4 = v 5 = v 6 = v 2 = v 3 =. Solution (4 points): Since
More informationBounds for Codimensions of Fitting Ideals
Ž. JOUNAL OF ALGEBA 194, 378 382 1997 ATICLE NO. JA966999 Bounds fo Coensions of Fitting Ideals Michał Kwiecinski* Uniwesytet Jagiellonski, Instytut Matematyki, ul. eymonta 4, 30-059, Kakow, Poland Communicated
More informationJournal of Inequalities in Pure and Applied Mathematics
Jounal of Inequalities in Pue and Applied Mathematics COEFFICIENT INEQUALITY FOR A FUNCTION WHOSE DERIVATIVE HAS A POSITIVE REAL PART S. ABRAMOVICH, M. KLARIČIĆ BAKULA AND S. BANIĆ Depatment of Mathematics
More informationTHE MAXIMUM SIZE OF A PARTIAL SPREAD II: UPPER BOUNDS
THE MAXIMUM SIZE OF A PARTIAL SPREAD II: UPPER BOUNDS ESMERALDA NĂSTASE MATHEMATICS DEPARTMENT XAVIER UNIVERSITY CINCINNATI, OHIO 4507, USA PAPA SISSOKHO MATHEMATICS DEPARTMENT ILLINOIS STATE UNIVERSITY
More informationBrief summary of functional analysis APPM 5440 Fall 2014 Applied Analysis
Bief summay of functional analysis APPM 5440 Fall 014 Applied Analysis Stephen Becke, stephen.becke@coloado.edu Standad theoems. When necessay, I used Royden s and Keyzsig s books as a efeence. Vesion
More informationGalois points on quartic surfaces
J. Math. Soc. Japan Vol. 53, No. 3, 2001 Galois points on quatic sufaces By Hisao Yoshihaa (Received Nov. 29, 1999) (Revised Ma. 30, 2000) Abstact. Let S be a smooth hypesuface in the pojective thee space
More informationONE-POINT CODES USING PLACES OF HIGHER DEGREE
ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU
More informationTHE CONE THEOREM JOEL A. TROPP. Abstract. We prove a fixed point theorem for functions which are positive with respect to a cone in a Banach space.
THE ONE THEOEM JOEL A. TOPP Abstact. We pove a fixed point theoem fo functions which ae positive with espect to a cone in a Banach space. 1. Definitions Definition 1. Let X be a eal Banach space. A subset
More informationHE DI ELMONSER. 1. Introduction In 1964 H. Mink and L. Sathre [15] proved the following inequality. n, n N. ((n + 1)!) n+1
-ANALOGUE OF THE ALZER S INEQUALITY HE DI ELMONSER Abstact In this aticle, we ae inteested in giving a -analogue of the Alze s ineuality Mathematics Subject Classification (200): 26D5 Keywods: Alze s ineuality;
More informationMethod for Approximating Irrational Numbers
Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations
More informationWe give improved upper bounds for the number of primitive solutions of the Thue inequality
NUMBER OF SOLUTIONS OF CUBIC THUE INEQUALITIES WITH POSITIVE DISCRIMINANT N SARADHA AND DIVYUM SHARMA Abstact Let F(X, Y) be an ieducible binay cubic fom with intege coefficients and positive disciminant
More informationLecture 16 Root Systems and Root Lattices
1.745 Intoduction to Lie Algebas Novembe 1, 010 Lectue 16 Root Systems and Root Lattices Pof. Victo Kac Scibe: Michael Cossley Recall that a oot system is a pai (V, ), whee V is a finite dimensional Euclidean
More informationConstruction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity
Constuction and Analysis of Boolean Functions of 2t + 1 Vaiables with Maximum Algebaic Immunity Na Li and Wen-Feng Qi Depatment of Applied Mathematics, Zhengzhou Infomation Engineeing Univesity, Zhengzhou,
More informationVanishing lines in generalized Adams spectral sequences are generic
ISSN 364-0380 (on line) 465-3060 (pinted) 55 Geomety & Topology Volume 3 (999) 55 65 Published: 2 July 999 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Vanishing lines in genealized Adams spectal
More informationSemicanonical basis generators of the cluster algebra of type A (1)
Semicanonical basis geneatos of the cluste algeba of type A (1 1 Andei Zelevinsky Depatment of Mathematics Notheasten Univesity, Boston, USA andei@neu.edu Submitted: Jul 7, 006; Accepted: Dec 3, 006; Published:
More information9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.
Chapte 9 Pimitive Roots 9.1 The multiplicative goup of a finite fld Theoem 9.1. The multiplicative goup F of a finite fld is cyclic. Remak: In paticula, if p is a pime then (Z/p) is cyclic. In fact, this
More informationFall 2014 Randomized Algorithms Oct 8, Lecture 3
Fall 204 Randomized Algoithms Oct 8, 204 Lectue 3 Pof. Fiedich Eisenband Scibes: Floian Tamè In this lectue we will be concened with linea pogamming, in paticula Clakson s Las Vegas algoithm []. The main
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Septembe 5, 011 Abstact To study how balanced o unbalanced a maximal intesecting
More informationarxiv: v1 [math.co] 4 May 2017
On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has
More informationSolution to HW 3, Ma 1a Fall 2016
Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.
More informationarxiv: v1 [math.co] 1 Apr 2011
Weight enumeation of codes fom finite spaces Relinde Juius Octobe 23, 2018 axiv:1104.0172v1 [math.co] 1 Ap 2011 Abstact We study the genealized and extended weight enumeato of the - ay Simplex code and
More informationSUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER
Discussiones Mathematicae Gaph Theoy 39 (019) 567 573 doi:10.7151/dmgt.096 SUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER Lutz Volkmann
More informationNumerical approximation to ζ(2n+1)
Illinois Wesleyan Univesity Fom the SelectedWoks of Tian-Xiao He 6 Numeical appoximation to ζ(n+1) Tian-Xiao He, Illinois Wesleyan Univesity Michael J. Dancs Available at: https://woks.bepess.com/tian_xiao_he/6/
More informationNOTE. Some New Bounds for Cover-Free Families
Jounal of Combinatoial Theoy, Seies A 90, 224234 (2000) doi:10.1006jcta.1999.3036, available online at http:.idealibay.com on NOTE Some Ne Bounds fo Cove-Fee Families D. R. Stinson 1 and R. Wei Depatment
More informationA Converse to Low-Rank Matrix Completion
A Convese to Low-Rank Matix Completion Daniel L. Pimentel-Alacón, Robet D. Nowak Univesity of Wisconsin-Madison Abstact In many pactical applications, one is given a subset Ω of the enties in a d N data
More informationSPECTRAL SEQUENCES. im(er
SPECTRAL SEQUENCES MATTHEW GREENBERG. Intoduction Definition. Let a. An a-th stage spectal (cohomological) sequence consists of the following data: bigaded objects E = p,q Z Ep,q, a diffeentials d : E
More informationChapter 5 Linear Equations: Basic Theory and Practice
Chapte 5 inea Equations: Basic Theoy and actice In this chapte and the next, we ae inteested in the linea algebaic equation AX = b, (5-1) whee A is an m n matix, X is an n 1 vecto to be solved fo, and
More informationON LACUNARY INVARIANT SEQUENCE SPACES DEFINED BY A SEQUENCE OF MODULUS FUNCTIONS
STUDIA UNIV BABEŞ BOLYAI, MATHEMATICA, Volume XLVIII, Numbe 4, Decembe 2003 ON LACUNARY INVARIANT SEQUENCE SPACES DEFINED BY A SEQUENCE OF MODULUS FUNCTIONS VATAN KARAKAYA AND NECIP SIMSEK Abstact The
More informationA THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM
A THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM DIEGO AVERNA AND GABRIELE BONANNO Abstact. The aim of this pape is twofold. On one hand we establish a thee citical
More informationJANOWSKI STARLIKE LOG-HARMONIC UNIVALENT FUNCTIONS
Hacettepe Jounal of Mathematics and Statistics Volume 38 009, 45 49 JANOWSKI STARLIKE LOG-HARMONIC UNIVALENT FUNCTIONS Yaşa Polatoğlu and Ehan Deniz Received :0 :008 : Accepted 0 : :008 Abstact Let and
More informationWeighted least-squares estimators of parametric functions of the regression coefficients under a general linear model
Ann Inst Stat Math (2010) 62:929 941 DOI 10.1007/s10463-008-0199-8 Weighted least-squaes estimatos of paametic functions of the egession coefficients unde a geneal linea model Yongge Tian Received: 9 Januay
More informationarxiv: v1 [math.co] 6 Mar 2008
An uppe bound fo the numbe of pefect matchings in gaphs Shmuel Fiedland axiv:0803.0864v [math.co] 6 Ma 2008 Depatment of Mathematics, Statistics, and Compute Science, Univesity of Illinois at Chicago Chicago,
More informationarxiv: v1 [math.nt] 28 Oct 2017
ON th COEFFICIENT OF DIVISORS OF x n axiv:70049v [mathnt] 28 Oct 207 SAI TEJA SOMU Abstact Let,n be two natual numbes and let H(,n denote the maximal absolute value of th coefficient of divisos of x n
More informationON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi
Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated
More informationFixed Argument Pairing Inversion on Elliptic Curves
Fixed Agument Paiing Invesion on Elliptic Cuves Sungwook Kim and Jung Hee Cheon ISaC & Dept. of Mathematical Sciences Seoul National Univesity Seoul, Koea {avell7,jhcheon}@snu.ac.k Abstact. Let E be an
More informationThe Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez y L.H. Harper z M. Rottger U.-P. Schroeder Abstract We consider the pr
The Congestion of n-cube Layout on a Rectangula Gid S.L. Bezukov J.D. Chavez y L.H. Hape z M. Rottge U.-P. Schoede Abstact We conside the poblem of embedding the n-dimensional cube into a ectangula gid
More informationOn the Quasi-inverse of a Non-square Matrix: An Infinite Solution
Applied Mathematical Sciences, Vol 11, 2017, no 27, 1337-1351 HIKARI Ltd, wwwm-hikaicom https://doiog/1012988/ams20177273 On the Quasi-invese of a Non-squae Matix: An Infinite Solution Ruben D Codeo J
More informationMAGNETIC FIELD AROUND TWO SEPARATED MAGNETIZING COILS
The 8 th Intenational Confeence of the Slovenian Society fo Non-Destuctive Testing»pplication of Contempoay Non-Destuctive Testing in Engineeing«Septembe 1-3, 5, Potoož, Slovenia, pp. 17-1 MGNETIC FIELD
More informationA STUDY OF HAMMING CODES AS ERROR CORRECTING CODES
AGU Intenational Jounal of Science and Technology A STUDY OF HAMMING CODES AS ERROR CORRECTING CODES Ritu Ahuja Depatment of Mathematics Khalsa College fo Women, Civil Lines, Ludhiana-141001, Punjab, (India)
More informationLifting Gomory Cuts With Bounded Variables
Liting Gomoy Cuts With Bounded Vaiables Géad Conuéjols Teppe School o Business, Canegie Mellon Univesity, PA Email: gc0v@andew.cmu.edu Tamás Kis Compute and Automation Reseach Institute, Hungaian Academy
More informationThe VC-dimension of Unions: Learning, Geometry and Combinatorics
The VC-dimension of Unions: Leaning, Geomety and Combinatoics Mónika Csikós Andey Kupavskii Nabil H. Mustafa Abstact The VC-dimension of a set system is a way to captue its complexity, and has been a key
More informationTHE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN
TH NUMBR OF TWO CONSCUTIV SUCCSSS IN A HOPP-PÓLYA URN LARS HOLST Depatment of Mathematics, Royal Institute of Technology S 100 44 Stocholm, Sweden -mail: lholst@math.th.se Novembe 27, 2007 Abstact In a
More information10/04/18. P [P(x)] 1 negl(n).
Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the
More informationSyntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)
Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,
More informationHua Xu 3 and Hiroaki Mukaidani 33. The University of Tsukuba, Otsuka. Hiroshima City University, 3-4-1, Ozuka-Higashi
he inea Quadatic Dynamic Game fo Discete-ime Descipto Systems Hua Xu 3 and Hioai Muaidani 33 3 Gaduate School of Systems Management he Univesity of suuba, 3-9- Otsua Bunyo-u, oyo -0, Japan xuhua@gssm.otsua.tsuuba.ac.jp
More informationA NOTE ON ROTATIONS AND INTERVAL EXCHANGE TRANSFORMATIONS ON 3-INTERVALS KARMA DAJANI
A NOTE ON ROTATIONS AND INTERVAL EXCHANGE TRANSFORMATIONS ON 3-INTERVALS KARMA DAJANI Abstact. Wepove the conjectue that an inteval exchange tansfomation on 3-intevals with coesponding pemutation (1; 2;
More informationQUANTUM ALGORITHMS IN ALGEBRAIC NUMBER THEORY
QUANTU ALGORITHS IN ALGEBRAIC NUBER THEORY SION RUBINSTEIN-SALZEDO Abstact. In this aticle, we discuss some quantum algoithms fo detemining the goup of units and the ideal class goup of a numbe field.
More informationOn the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University
Zapiski Nauchn. Seminaov POMI, to appea On the Numbe of Rim Hook Tableaux Segey Fomin* Depatment of Mathematics, Massachusetts Institute of Technology Cambidge, MA 0239 Theoy of Algoithms Laboatoy SPIIRAN,
More informationOn the Structure of Linear Programs with Overlapping Cardinality Constraints
On the Stuctue of Linea Pogams with Ovelapping Cadinality Constaints Tobias Fische and Mac E. Pfetsch Depatment of Mathematics, TU Damstadt, Gemany tfische,pfetsch}@mathematik.tu-damstadt.de Januay 25,
More informationSeveral new identities involving Euler and Bernoulli polynomials
Bull. Math. Soc. Sci. Math. Roumanie Tome 9107 No. 1, 016, 101 108 Seveal new identitie involving Eule and Benoulli polynomial by Wang Xiaoying and Zhang Wenpeng Abtact The main pupoe of thi pape i uing
More informationAnalytical time-optimal trajectories for an omni-directional vehicle
Analytical time-optimal tajectoies fo an omni-diectional vehicle Weifu Wang and Devin J. Balkcom Abstact We pesent the fist analytical solution method fo finding a time-optimal tajectoy between any given
More informationAs is natural, our Aerospace Structures will be described in a Euclidean three-dimensional space R 3.
Appendix A Vecto Algeba As is natual, ou Aeospace Stuctues will be descibed in a Euclidean thee-dimensional space R 3. A.1 Vectos A vecto is used to epesent quantities that have both magnitude and diection.
More informationTemporal-Difference Learning
.997 Decision-Making in Lage-Scale Systems Mach 17 MIT, Sping 004 Handout #17 Lectue Note 13 1 Tempoal-Diffeence Leaning We now conside the poblem of computing an appopiate paamete, so that, given an appoximation
More informationH.W.GOULD West Virginia University, Morgan town, West Virginia 26506
A F I B O N A C C I F O R M U L A OF LUCAS A N D ITS SUBSEQUENT M A N I F E S T A T I O N S A N D R E D I S C O V E R I E S H.W.GOULD West Viginia Univesity, Mogan town, West Viginia 26506 Almost eveyone
More informationSuborbital graphs for the group Γ 2
Hacettepe Jounal of Mathematics and Statistics Volume 44 5 2015, 1033 1044 Subobital gaphs fo the goup Γ 2 Bahadı Özgü Güle, Muat Beşenk, Yavuz Kesicioğlu, Ali Hikmet Değe Keywods: Abstact In this pape,
More informationA Multivariate Normal Law for Turing s Formulae
A Multivaiate Nomal Law fo Tuing s Fomulae Zhiyi Zhang Depatment of Mathematics and Statistics Univesity of Noth Caolina at Chalotte Chalotte, NC 28223 Abstact This pape establishes a sufficient condition
More informationLocalization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matrix
Jounal of Sciences, Islamic Republic of Ian (): - () Univesity of Tehan, ISSN - http://sciencesutaci Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matix H Ahsani
More informationResearch Article Schur-Convexity for a Class of Symmetric Functions and Its Applications
Hindawi Publishing Copoation Jounal of Inequalities and Applications Volume 009, Aticle ID 493759, 5 pages doi:0.55/009/493759 Reseach Aticle Schu-Convexity fo a Class of Symmetic Functions and Its Applications
More informationTOPOLOGICAL DIVISOR OF ZERO PERTURBATION FUNCTIONS
Jounal of Pue and Applied Mathematics: Advances and Applications Volume 4, Numbe, 200, Pages 97-4 TOPOLOGICAL DIVISOR OF ZERO PERTURBATION FUNCTIONS Dépatement de Mathématiques Faculté des Sciences de
More informationDerived Categories of Toric Varieties
Michigan Math. J. 54 2006 Deived Categoies of Toic Vaieties Yujio Kawamata 1. Intoduction The pupose of this papes to investigate the stuctue of the deived categoy of a toic vaiety. We shall pove the following
More informationEnumerating permutation polynomials
Enumeating pemutation polynomials Theodoulos Gaefalakis a,1, Giogos Kapetanakis a,, a Depatment of Mathematics and Applied Mathematics, Univesity of Cete, 70013 Heaklion, Geece Abstact We conside thoblem
More informationRelating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany
Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de
More informationA Bijective Approach to the Permutational Power of a Priority Queue
A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation
More information(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2.
Paabola Volume 5, Issue (017) Solutions 151 1540 Q151 Take any fou consecutive whole numbes, multiply them togethe and add 1. Make a conjectue and pove it! The esulting numbe can, fo instance, be expessed
More informationMeasure Estimates of Nodal Sets of Polyharmonic Functions
Chin. Ann. Math. Se. B 39(5), 08, 97 93 DOI: 0.007/s40-08-004-6 Chinese Annals of Mathematics, Seies B c The Editoial Office of CAM and Spinge-Velag Belin Heidelbeg 08 Measue Estimates of Nodal Sets of
More informationOn minimal solutions of linear Diophantine equations
On minimal solutions of linear Diophantine equations Martin Henk Robert Weismantel Abstract This paper investigates the region in which all the minimal solutions of a linear diophantine equation ly. We
More informationConnectedness of Ordered Rings of Fractions of C(X) with the m-topology
Filomat 31:18 (2017), 5685 5693 https://doi.og/10.2298/fil1718685s Published by Faculty o Sciences and Mathematics, Univesity o Niš, Sebia Available at: http://www.pm.ni.ac.s/ilomat Connectedness o Odeed
More informationResearch Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function
Abstact and Applied Analysis Volume 011, Aticle ID 697547, 7 pages doi:10.1155/011/697547 Reseach Aticle On Alze and Qiu s Conjectue fo Complete Elliptic Integal and Invese Hypebolic Tangent Function Yu-Ming
More informationGeneral blowups of ruled surfaces. and higher order embeddings. T. Szemberg, H. Tutaj-Gasinska. Abstract
Geneal blowups of uled sufaces and highe ode embeddings T. Szembeg, H. Tutaj-Gasinska PREPRINT 1999/16 Abstact In this note we study blowups of algebaic sufaces of Kodaia dimension =?1 at geneal points
More informationq i i=1 p i ln p i Another measure, which proves a useful benchmark in our analysis, is the chi squared divergence of p, q, which is defined by
CSISZÁR f DIVERGENCE, OSTROWSKI S INEQUALITY AND MUTUAL INFORMATION S. S. DRAGOMIR, V. GLUŠČEVIĆ, AND C. E. M. PEARCE Abstact. The Ostowski integal inequality fo an absolutely continuous function is used
More informationVOLUMES OF CONVEX POLYTOPES
VOLUMES OF CONVEX POLYTOPES Richad P. Stanley Depatment of Mathematics M.I.T. 2-375 Cambidge, MA 02139 stan@math.mit.edu http://www-math.mit.edu/~stan Tanspaencies available at: http://www-math.mit.edu/~stan/tans.html
More informationKANTOROVICH TYPE INEQUALITIES FOR THE DIFFERENCE WITH TWO NEGATIVE PARAMETERS. Received April 13, 2010; revised August 18, 2010
Scientiae Matheaticae Japonicae Online, e-200, 427 439 427 KANTOROVICH TYPE INEQUALITIES FOR THE DIFFERENCE WITH TWO NEGATIVE PARAMETERS Young Ok Ki, Jun Ichi Fujii, Masatoshi Fujii + and Yuki Seo ++ Received
More informationarxiv: v1 [math.na] 8 Feb 2013
A mixed method fo Diichlet poblems with adial basis functions axiv:1302.2079v1 [math.na] 8 Feb 2013 Nobet Heue Thanh Tan Abstact We pesent a simple discetization by adial basis functions fo the Poisson
More informationDivisibility. c = bf = (ae)f = a(ef) EXAMPLE: Since 7 56 and , the Theorem above tells us that
Divisibility DEFINITION: If a and b ae integes with a 0, we say that a divides b if thee is an intege c such that b = ac. If a divides b, we also say that a is a diviso o facto of b. NOTATION: d n means
More informationChapter 3: Theory of Modular Arithmetic 38
Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences
More informationAsymptotically Lacunary Statistical Equivalent Sequence Spaces Defined by Ideal Convergence and an Orlicz Function
"Science Stays Tue Hee" Jounal of Mathematics and Statistical Science, 335-35 Science Signpost Publishing Asymptotically Lacunay Statistical Equivalent Sequence Spaces Defined by Ideal Convegence and an
More informationA Power Method for Computing Square Roots of Complex Matrices
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 13, 39345 1997 ARTICLE NO. AY975517 A Powe Method fo Computing Squae Roots of Complex Matices Mohammed A. Hasan Depatment of Electical Engineeing, Coloado
More informationA Short Combinatorial Proof of Derangement Identity arxiv: v1 [math.co] 13 Nov Introduction
A Shot Combinatoial Poof of Deangement Identity axiv:1711.04537v1 [math.co] 13 Nov 2017 Ivica Matinjak Faculty of Science, Univesity of Zageb Bijenička cesta 32, HR-10000 Zageb, Coatia and Dajana Stanić
More informationEQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS
EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in
More informationModified Linear Programming and Class 0 Bounds for Graph Pebbling
Modified Linea Pogamming and Class 0 Bounds fo Gaph Pebbling Daniel W. Canston Luke Postle Chenxiao Xue Cal Yege August 8, 05 Abstact Given a configuation of pebbles on the vetices of a connected gaph
More informationInformation Retrieval Advanced IR models. Luca Bondi
Advanced IR models Luca Bondi Advanced IR models 2 (LSI) Pobabilistic Latent Semantic Analysis (plsa) Vecto Space Model 3 Stating point: Vecto Space Model Documents and queies epesented as vectos in the
More informationSTUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS HAVING THE SAME LOGARITHMIC ORDER
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA doi: 104467/20843828AM170027078 542017, 15 32 STUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Mach 6, 013 Abstact To study how balanced o unbalanced a maximal intesecting
More informationPROBLEM SET #1 SOLUTIONS by Robert A. DiStasio Jr.
POBLM S # SOLUIONS by obet A. DiStasio J. Q. he Bon-Oppenheime appoximation is the standad way of appoximating the gound state of a molecula system. Wite down the conditions that detemine the tonic and
More informationON VON NEUMANN-JORDAN TYPE CONSTANT AND SUFFICIENT CONDITIONS FOR FIXED POINTS OF MULTIVALUED NONEXPANSIVE MAPPINGS
Gulf Jounal of Mathematics Vol 4, Issue 06) - ON VON NEUMANN-JORDAN TYPE CONSTANT AND SUFFICIENT CONDITIONS FOR FIXED POINTS OF MULTIVALUED NONEXPANSIVE MAPPINGS MINA DINARVAND Abstact In the pesent pape,
More informationBerkeley Math Circle AIME Preparation March 5, 2013
Algeba Toolkit Rules of Thumb. Make sue that you can pove all fomulas you use. This is even bette than memoizing the fomulas. Although it is best to memoize, as well. Stive fo elegant, economical methods.
More information