NON-COMMUTATIVE GRÖBNER BASES FOR COMMUTATIVE ALGEBRAS
|
|
- Lawrence Evans
- 6 years ago
- Views:
Transcription
1 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volue 126, Nuber 3, March 1998, Pages S (98) NON-COMMUTATIVE GRÖBNER BASES FOR COMMUTATIVE ALGEBRAS DAVID EISENBUD, IRENA PEEVA, AND BERND STURMFELS (Counicated by Woler V. Vasconcelos) Abstract. An ideal I in the free associative algebra k X 1,...,X n over a field k is shown to have a finite Gröbner basis if the algebra defined by I is coutative; in characteristic 0 and generic coordinates the Gröbner basis ay even be constructed by lifting a coutative Gröbner basis and adding coutators. 1. Introduction Let k be a field and let k[x] =k[x 1,...,x n ] be the polynoial ring in n variables and k X = k X 1,...,X n the free associative algebra in n variables. Consider the natural ap γ : k X k[x] taking X i to x i. It is soeties useful to regard a coutative algebra k[x]/i through its non-coutative presentation k[x]/i = k X /J, wherej=γ 1 (I). This is especially true in the construction of free resolutions as in [An]. Non-coutative presentations have been exploited in [AR] and [PRS] to study hoology of coordinate rings of Grassannians and toric varieties. These applications all ake use of Gröbner bases for J (see [Mo] for non-coutative Gröbner bases). In this note we give an explicit description (Theore 2.1) of the inial Gröbner bases for J with respect to onoial orders on k X that are lexicographic extensions of onoial orders on k[x]. Non-coutative Gröbner bases are usually infinite; for exaple, if n = 3and I=(x 1 x 2 x 3 ) then γ 1 (I) does not have a finite Gröbner basis for any onoial order on k X. (There are only two ways of choosing leading ters for the three coutators, and both cases are easy to analyze by hand.) However, after a linear change of variables the ideal becoes I = (X 1 (X 1 + X 2 )(X 1 + X 3 )), and we shall see in Theore 2.1 that X 1 (X 1 + X 2 )(X 1 + X 3 ) and the three coutators X i X j X j X i are a Gröbner basis for γ 1 (I ) with respect to a suitable order. This situation is rather general: Theores 2.1 and 3.1 iply the following result: Corollary 1.1. Let k be an infinite field and I k[x] be an ideal. After a general linear change of variables, the ideal γ 1 (I) in k X has a finite Gröbner basis. In characteristic 0, if I is hoogeneous, such a basis can be found with degree at ost ax{2, regularity(i)}. Received by the editors Septeber 6, Matheatics Subject Classification. Priary 13P10, 16S15. The first and third authors are grateful to the NSF and the second and third authors are grateful to the David and Lucille Packard Foundation for partial support in preparing this paper. 687 c 1998 Aerican Matheatical Society
2 688 DAVID EISENBUD, IRENA PEEVA, AND BERND STURMFELS In characteristic 0 the Gröbner basis of γ 1 (I) in Corollary 1.1 ay be obtained by lifting the Gröbner basis of I, but this is not so in characteristic p; seeexaple 4.2. Furtherore, γ 1 (I) ight have no finite Gröbner basis at all if the field is finite; see Exaple 4.1. The behavior of γ 1 (I) is in sharp contrast to what happens for arbitrary ideals in k X. For exaple, the defining ideal in k X of the group algebra of a group with undecidable word proble has no finite Gröbner basis. Another exaple is Shearer s algebra k a, b /(ac ca, aba bc, b 2 a), which has irrational Hilbert series [Sh]. As any finitely generated onoial ideal defines an algebra with rational Hilbert series, the ideal (ac ca, aba bc, b 2 a) can have no finite Gröbner basis. (Other consequences of having a finite Gröbner basis are deducible fro [An] and [Ba]; these are well-known in the case of coutative algebras!) In the next section we present the basic coputation of the initial ideal and Gröbner basis for J = γ 1 (I). In 3 we give the application to finiteness and liftability of Gröbner bases. 2. The Gröbner basis of γ 1 (I) Throughout this paper we fix an ideal I k[x] andj:= γ 1 (I) k X. We shall ake use of the lexicographic splitting of γ, which is defined as the k-linear ap δ : k[x] k X, x i2 X i1 X i2 X ir if i 1 i 2 i r. Fix a onoial order on k[x]. The lexicographic extension of to k X is defined for onoials M,N k X by { γ(m) γ(n) or M N if γ(m)=γ(n) and M is lexicographically saller than N. Thus, for exaple, X i X j X j X i if i<j. To describe the -initial ideal of J we use the following construction: Let L be any onoial ideal in k[x]. If = L and i 1 i r,denoteby U L () the set of all onoials u k[+1,..., 1] such that neither u nor lies in L. For instance, if L =(x 1 x 2 x 3,x d 2)thenU L (x 1 x 2 x 3 )={x j 2 j<d}. u Theore 2.1. The non-coutative initial ideal in (J) is inially generated by the set { X i X j j<i}together with the set {δ(u ) is a generator of in (I) and u U in (I)()}. In particular, a inial -Gröbner basis for J consists of {X i X j X j X i : j<i} together with the eleents δ(u f) for each polynoial f in a inial -Gröbner basis for I and each onoial u U in (I)(in (f)). Proof. We first argue that a non-coutative onoial M = X i1 X i2 X ir lies in in (J) if and only if its coutative iage γ(m) isin in (I) or i j >i j+1 for soe j. Indeed, if i j >i j+1 then M in (J) because X s X t X t X s J has initial ter X s X t with s>t. If on the contrary i 1 i r but γ(m) in (I), then there exists f I with in (f) =γ(m). The non-coutative polynoial F = δ(f) satisfies in (F ) = M. The opposite iplication follows because γ induces an isoorphis k[x]/i = k X /γ 1 (I).
3 NON-COMMUTATIVE GRÖBNER BASES FOR COMMUTATIVE ALGEBRAS 689 Now let = u, where = is a inial generator of in (I) with i 1 i r. We ust show that δ(u ) is a inial generator of in (J) if and only if u U in (I)(). For the only if direction, suppose that δ(u ) is a inial generator of in (J). Suppose that u contains the variable x j.weusthavej>i 1, since else, taking j inial, we would have δ(u ) =X j δ( u x j ). Siilarly j<i r.thus u k[+1,..., 1]. This iplies δ(u ) =X i1 δ(u ) = δ(u ) X ir. Therefore neither δ(u )norδ(u ) lies in in (J), and hence neither u nor u lies in in (I). For the if direction we reverse the last few iplications. If u U in (I)() then neither δ(u )norδ(u ) lies in in (J), and therefore δ(u ) is a inial generator of in (J). 3. Finiteness and lifting of non-coutative Gröbner bases We aintain the notation described above. Recall that for a prie nuber p the Gauss order on the natural nubers is described by ( ) t s p t if 0(odp). s We write 0 = for the usual order on the natural nubers. A onoial ideal L is called p-borel-fixed if it satisfies the following condition: For each onoial generator of L, ifis divisible by x t j but no higher power of x j,then(x i /x j ) s L for all i<jand s p t. Theore 3.1. With notation as in Section 2: (a) If in (I) is 0-Borel fixed, then a inial -Gröbner basis of J is obtained by applying δ to a inial -Gröbner basis of I and adding coutators. (b) If in (I) is p-borel-fixed for any p, thenjhas a finite -Gröbner basis. Proof. Suppose that the onoial ideal L := in (I) isp-borel-fixed for soe p. Let = be any generator of L, wherei 1 i r, and let x t i r be the highest power of dividing. Sincet p twe have x t l /xt i r L for each l<i r. This iplies x t l /x i r L for l<i r, and hence every onoial u U L () satisfies deg xl (u) <tfor i 1 <l<i r. We conclude that U L () is a finite set. If p =0then U L () consists of 1 alone, since x l / L for all l<i r. Theore 3.1 now follows fro Theore 2.1. Proof of Corollary 1.1. We apply Theore 3.1 together with the following results, due to Galligo, Bayer-Stillan and Pardue, which can be found in [Ei, Section 15.9]: if the field k is infinite, then after a generic change of variables, the initial ideal of I with respect to any order on k[x] is fixed under the Borel group of upper triangular atrices. This iplies that in (I) isp-borel-fixed in characteristic p 0 in the sense above. If the characteristic of k is 0 and I is hoogeneous then, taking the reverse lexicographic order in generic coordinates, we get a Gröbner basis whose axial degree equals the regularity of I. We call the onoial ideal L squeezed if U L () = {1} for all generators of L or if, equivalently, = L and i 1 i r iply x l L or x l L for every index l with i 1 <l<i r. Thus Theore 2.1 iplies that a inial -Gröbner basis of I lifts to a Gröbner basis of J if and only if the
4 690 DAVID EISENBUD, IRENA PEEVA, AND BERND STURMFELS initial ideal in (I) is squeezed. Monoial ideals that are 0-Borel-fixed, and ore generally stable ideals (in the sense of [EK]), are squeezed. Squeezed ideals appear naturally in algebraic cobinatorics: Proposition 3.2. A square-free onoial ideal L is squeezed if and only if the siplicial coplex associated with L is the coplex of chains in a poset. Proof. This follows fro Lea 3.1 in [PRS]. 4. Exaples in characteristic p Over a finite field Corollary 1.1 fails even for very siple ideals: Exaple 4.1. Let k be a finite field and n =3. IfIis the principal ideal generated by the product of all linear fors in k[x 1,x 2,x 3 ], then γ 1 (I) has no finite Gröbner basis, even after a linear change of variables. Proof. The ideal I is invariant under all linear changes of variables. The -Gröbner basis for J is coputed by Theore 2.1, and is infinite. That no other onoial order on k X yields a finite Gröbner basis can be shown by direct coputation as in the exaple in the second paragraph of the introduction. Soeties in characteristic p>0nogröbner basis for a coutative algebra can be lifted to a non-coutative Gröbner basis, even after a change of variables: Exaple 4.2. Let k be an infinite field of characteristic p>0, and consider the Frobenius power L := ( (x 1,x 2, x 3 ) 3) [p] k[x 1,x 2,x 3 ] of the cube of the axial ideal in 3 variables. No inial Gröbner basis of L lifts to a Gröbner basis of γ 1 (L), and this is true even after any linear change of variables. Proof. The ideal L is invariant under linear changes of variable, so it suffices to consider L itself. Since L is a onoial ideal, it is its own initial ideal, so by Corollary 3.2 it suffices to show that L is not squeezed, that is, that neither x p 1 1 x p+1 2 x p 3 nor x p 1 xp+1 2 x p 1 3 is in L. This is obvious, since the power of each variable occurring in a generator of L is divisible by p and has total degree 3p. References [An] D. Anick, On the hoology of associative algebras, Transactions Aer. Math. Soc. 296 (1986), MR 87i:16046 [AR] D. Anick, G.-C. Rota, Higher-order syzygies for the bracket algebra and for the ring of coordinates of the Grassannian, Proc. Nat. Acad. Sci. U.S.A. 88 (1991), MR 92k:15058 [Ba] J. Backelin, On the rates of growth of the hoologies of Veronese subrings., Algebra, algebraic topology and their interactions (Stockhol, 1983), Lecture Notes in Math. 1183, Springer-Verlag, NY, 1986, p MR 87k:13042 [Ei] D. Eisenbud, Coutative Algebra With a View Toward Algebraic Geoetry, Springer- Verlag, NY, MR 97a:13001 [EK] S. Eliahou, M. Kervaire, Minial resolutions of soe onoial ideals, Journal of Algebra 129 (1990) MR 91b:13019 [Mo] T. Mora, An introduction to coutative and non-coutative Gröbner bases, Theoretical Coputer Science 134 (1994), MR 95i:13027
5 NON-COMMUTATIVE GRÖBNER BASES FOR COMMUTATIVE ALGEBRAS 691 [PRS] I. Peeva, V. Reiner and B. Sturfels, How to shell a onoid, preprint, [Sh] J. B. Shearer, A graded algebra with a nonrational Hilbert series, J. Alg. 62 (1980), MR 81b:16002 MSRI, 1000 Centennial Dr., Berkeley, California E-ail address: de@sri.org Departent of Matheatics, Massachusetts Institute of Technology, Cabridge, Massachusetts E-ail address: irena@ath.it.edu Departent of Matheatics, University of California, Berkeley, California E-ail address: bernd@ath.berkeley.edu
THE POLYNOMIAL REPRESENTATION OF THE TYPE A n 1 RATIONAL CHEREDNIK ALGEBRA IN CHARACTERISTIC p n
THE POLYNOMIAL REPRESENTATION OF THE TYPE A n RATIONAL CHEREDNIK ALGEBRA IN CHARACTERISTIC p n SHEELA DEVADAS AND YI SUN Abstract. We study the polynoial representation of the rational Cherednik algebra
More informationTHE AVERAGE NORM OF POLYNOMIALS OF FIXED HEIGHT
THE AVERAGE NORM OF POLYNOMIALS OF FIXED HEIGHT PETER BORWEIN AND KWOK-KWONG STEPHEN CHOI Abstract. Let n be any integer and ( n ) X F n : a i z i : a i, ± i be the set of all polynoials of height and
More informationAlgebraic Montgomery-Yang problem: the log del Pezzo surface case
c 2014 The Matheatical Society of Japan J. Math. Soc. Japan Vol. 66, No. 4 (2014) pp. 1073 1089 doi: 10.2969/jsj/06641073 Algebraic Montgoery-Yang proble: the log del Pezzo surface case By DongSeon Hwang
More informationA Bernstein-Markov Theorem for Normed Spaces
A Bernstein-Markov Theore for Nored Spaces Lawrence A. Harris Departent of Matheatics, University of Kentucky Lexington, Kentucky 40506-0027 Abstract Let X and Y be real nored linear spaces and let φ :
More informationThe Hilbert Schmidt version of the commutator theorem for zero trace matrices
The Hilbert Schidt version of the coutator theore for zero trace atrices Oer Angel Gideon Schechtan March 205 Abstract Let A be a coplex atrix with zero trace. Then there are atrices B and C such that
More information1 Bounding the Margin
COS 511: Theoretical Machine Learning Lecturer: Rob Schapire Lecture #12 Scribe: Jian Min Si March 14, 2013 1 Bounding the Margin We are continuing the proof of a bound on the generalization error of AdaBoost
More informationChicago, Chicago, Illinois, USA b Department of Mathematics NDSU, Fargo, North Dakota, USA
This article was downloaded by: [Sean Sather-Wagstaff] On: 25 August 2013, At: 09:06 Publisher: Taylor & Francis Infora Ltd Registered in England and Wales Registered Nuber: 1072954 Registered office:
More informationA new type of lower bound for the largest eigenvalue of a symmetric matrix
Linear Algebra and its Applications 47 7 9 9 www.elsevier.co/locate/laa A new type of lower bound for the largest eigenvalue of a syetric atrix Piet Van Mieghe Delft University of Technology, P.O. Box
More informationarxiv: v2 [math.nt] 5 Sep 2012
ON STRONGER CONJECTURES THAT IMPLY THE ERDŐS-MOSER CONJECTURE BERND C. KELLNER arxiv:1003.1646v2 [ath.nt] 5 Sep 2012 Abstract. The Erdős-Moser conjecture states that the Diophantine equation S k () = k,
More informationarxiv: v1 [math.co] 19 Apr 2017
PROOF OF CHAPOTON S CONJECTURE ON NEWTON POLYTOPES OF q-ehrhart POLYNOMIALS arxiv:1704.0561v1 [ath.co] 19 Apr 017 JANG SOO KIM AND U-KEUN SONG Abstract. Recently, Chapoton found a q-analog of Ehrhart polynoials,
More informationA RECURRENCE RELATION FOR BERNOULLI NUMBERS. Mümün Can, Mehmet Cenkci, and Veli Kurt
Bull Korean Math Soc 42 2005, No 3, pp 67 622 A RECURRENCE RELATION FOR BERNOULLI NUMBERS Müün Can, Mehet Cenci, and Veli Kurt Abstract In this paper, using Gauss ultiplication forula, a recurrence relation
More informationREES ALGEBRAS OF SQUARE-FREE MONOMIAL IDEALS 1. INTRODUCTION
REES ALGEBRAS OF SQUARE-FREE MONOMIAL IDEALS LOUIZA FOULI AND KUEI-NUAN LIN ABSTRAT. We study the defining equations of the Rees algebras of square-free onoial ideals in a polynoial ring over a field.
More informationEXPLICIT CONGRUENCES FOR EULER POLYNOMIALS
EXPLICIT CONGRUENCES FOR EULER POLYNOMIALS Zhi-Wei Sun Departent of Matheatics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn Abstract In this paper we establish soe explicit
More informationG G G G G. Spec k G. G Spec k G G. G G m G. G Spec k. Spec k
12 VICTORIA HOSKINS 3. Algebraic group actions and quotients In this section we consider group actions on algebraic varieties and also describe what type of quotients we would like to have for such group
More informationPROPER HOLOMORPHIC MAPPINGS THAT MUST BE RATIONAL
transactions of the aerican atheatical society Volue 2X4. Nuber I, lulv 1984 PROPER HOLOMORPHIC MAPPINGS THAT MUST BE RATIONAL BY STEVEN BELL Abstract. Suppose/: Dx -» D2 is a proper holoorphic apping
More information1. INTRODUCTION AND RESULTS
SOME IDENTITIES INVOLVING THE FIBONACCI NUMBERS AND LUCAS NUMBERS Wenpeng Zhang Research Center for Basic Science, Xi an Jiaotong University Xi an Shaanxi, People s Republic of China (Subitted August 00
More informationChapter 6 1-D Continuous Groups
Chapter 6 1-D Continuous Groups Continuous groups consist of group eleents labelled by one or ore continuous variables, say a 1, a 2,, a r, where each variable has a well- defined range. This chapter explores:
More informationORIGAMI CONSTRUCTIONS OF RINGS OF INTEGERS OF IMAGINARY QUADRATIC FIELDS
#A34 INTEGERS 17 (017) ORIGAMI CONSTRUCTIONS OF RINGS OF INTEGERS OF IMAGINARY QUADRATIC FIELDS Jürgen Kritschgau Departent of Matheatics, Iowa State University, Aes, Iowa jkritsch@iastateedu Adriana Salerno
More information. The univariate situation. It is well-known for a long tie that denoinators of Pade approxiants can be considered as orthogonal polynoials with respe
PROPERTIES OF MULTIVARIATE HOMOGENEOUS ORTHOGONAL POLYNOMIALS Brahi Benouahane y Annie Cuyt? Keywords Abstract It is well-known that the denoinators of Pade approxiants can be considered as orthogonal
More informationThe Fundamental Basis Theorem of Geometry from an algebraic point of view
Journal of Physics: Conference Series PAPER OPEN ACCESS The Fundaental Basis Theore of Geoetry fro an algebraic point of view To cite this article: U Bekbaev 2017 J Phys: Conf Ser 819 012013 View the article
More informationMath Reviews classifications (2000): Primary 54F05; Secondary 54D20, 54D65
The Monotone Lindelöf Property and Separability in Ordered Spaces by H. Bennett, Texas Tech University, Lubbock, TX 79409 D. Lutzer, College of Willia and Mary, Williasburg, VA 23187-8795 M. Matveev, Irvine,
More informationAn EGZ generalization for 5 colors
An EGZ generalization for 5 colors David Grynkiewicz and Andrew Schultz July 6, 00 Abstract Let g zs(, k) (g zs(, k + 1)) be the inial integer such that any coloring of the integers fro U U k 1,..., g
More informationarxiv:math/ v1 [math.nt] 15 Jul 2003
arxiv:ath/0307203v [ath.nt] 5 Jul 2003 A quantitative version of the Roth-Ridout theore Toohiro Yaada, 606-8502, Faculty of Science, Kyoto University, Kitashirakawaoiwakecho, Sakyoku, Kyoto-City, Kyoto,
More informationCurious Bounds for Floor Function Sums
1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.1.8 Curious Bounds for Floor Function Sus Thotsaporn Thanatipanonda and Elaine Wong 1 Science Division Mahidol University International
More informationBernoulli Numbers. Junior Number Theory Seminar University of Texas at Austin September 6th, 2005 Matilde N. Lalín. m 1 ( ) m + 1 k. B m.
Bernoulli Nubers Junior Nuber Theory Seinar University of Texas at Austin Septeber 6th, 5 Matilde N. Lalín I will ostly follow []. Definition and soe identities Definition 1 Bernoulli nubers are defined
More informationA Note on Scheduling Tall/Small Multiprocessor Tasks with Unit Processing Time to Minimize Maximum Tardiness
A Note on Scheduling Tall/Sall Multiprocessor Tasks with Unit Processing Tie to Miniize Maxiu Tardiness Philippe Baptiste and Baruch Schieber IBM T.J. Watson Research Center P.O. Box 218, Yorktown Heights,
More informationA note on the realignment criterion
A note on the realignent criterion Chi-Kwong Li 1, Yiu-Tung Poon and Nung-Sing Sze 3 1 Departent of Matheatics, College of Willia & Mary, Williasburg, VA 3185, USA Departent of Matheatics, Iowa State University,
More informationMODULAR HYPERBOLAS AND THE CONGRUENCE ax 1 x 2 x k + bx k+1 x k+2 x 2k c (mod m)
#A37 INTEGERS 8 (208) MODULAR HYPERBOLAS AND THE CONGRUENCE ax x 2 x k + bx k+ x k+2 x 2k c (od ) Anwar Ayyad Departent of Matheatics, Al Azhar University, Gaza Strip, Palestine anwarayyad@yahoo.co Todd
More informationHolomorphic curves into algebraic varieties
Annals of Matheatics, 69 29, 255 267 Holoorphic curves into algebraic varieties By Min Ru* Abstract This paper establishes a defect relation for algebraically nondegenerate holoorphic appings into an arbitrary
More informationResearch Article Some Formulae of Products of the Apostol-Bernoulli and Apostol-Euler Polynomials
Discrete Dynaics in Nature and Society Volue 202, Article ID 927953, pages doi:055/202/927953 Research Article Soe Forulae of Products of the Apostol-Bernoulli and Apostol-Euler Polynoials Yuan He and
More informationThe Simplex Method is Strongly Polynomial for the Markov Decision Problem with a Fixed Discount Rate
The Siplex Method is Strongly Polynoial for the Markov Decision Proble with a Fixed Discount Rate Yinyu Ye April 20, 2010 Abstract In this note we prove that the classic siplex ethod with the ost-negativereduced-cost
More informationTHE SUPER CATALAN NUMBERS S(m, m + s) FOR s 3 AND SOME INTEGER FACTORIAL RATIOS. 1. Introduction. = (2n)!
THE SUPER CATALAN NUMBERS S(, + s FOR s 3 AND SOME INTEGER FACTORIAL RATIOS XIN CHEN AND JANE WANG Abstract. We give a cobinatorial interpretation for the super Catalan nuber S(, + s for s 3 using lattice
More informationFast Montgomery-like Square Root Computation over GF(2 m ) for All Trinomials
Fast Montgoery-like Square Root Coputation over GF( ) for All Trinoials Yin Li a, Yu Zhang a, a Departent of Coputer Science and Technology, Xinyang Noral University, Henan, P.R.China Abstract This letter
More informationIMPLICIT FUNCTION THEOREM FOR FORMAL POWER SERIES
#A9 INTEGERS 8A (208) IMPLICIT FUNCTION THEOREM FOR FORMAL POWER SERIES ining Hu School of Matheatics and Statistics, Huazhong University of Science and Technology, Wuhan, PR China huyining@protonail.co
More informationAPPROXIMATION BY GENERALIZED FABER SERIES IN BERGMAN SPACES ON INFINITE DOMAINS WITH A QUASICONFORMAL BOUNDARY
NEW ZEALAND JOURNAL OF MATHEMATICS Volue 36 007, 11 APPROXIMATION BY GENERALIZED FABER SERIES IN BERGMAN SPACES ON INFINITE DOMAINS WITH A QUASICONFORMAL BOUNDARY Daniyal M. Israfilov and Yunus E. Yildirir
More informationOn Certain C-Test Words for Free Groups
Journal of Algebra 247, 509 540 2002 doi:10.1006 jabr.2001.9001, available online at http: www.idealibrary.co on On Certain C-Test Words for Free Groups Donghi Lee Departent of Matheatics, Uni ersity of
More informationPerturbation on Polynomials
Perturbation on Polynoials Isaila Diouf 1, Babacar Diakhaté 1 & Abdoul O Watt 2 1 Départeent Maths-Infos, Université Cheikh Anta Diop, Dakar, Senegal Journal of Matheatics Research; Vol 5, No 3; 2013 ISSN
More informationarxiv:math/ v1 [math.nt] 6 Apr 2005
SOME PROPERTIES OF THE PSEUDO-SMARANDACHE FUNCTION arxiv:ath/05048v [ath.nt] 6 Apr 005 RICHARD PINCH Abstract. Charles Ashbacher [] has posed a nuber of questions relating to the pseudo-sarandache function
More informationClosed-form evaluations of Fibonacci Lucas reciprocal sums with three factors
Notes on Nuber Theory Discrete Matheatics Print ISSN 30-32 Online ISSN 2367-827 Vol. 23 207 No. 2 04 6 Closed-for evaluations of Fibonacci Lucas reciprocal sus with three factors Robert Frontczak Lesbank
More informationA Quantum Observable for the Graph Isomorphism Problem
A Quantu Observable for the Graph Isoorphis Proble Mark Ettinger Los Alaos National Laboratory Peter Høyer BRICS Abstract Suppose we are given two graphs on n vertices. We define an observable in the Hilbert
More informationCombinatorial Primality Test
Cobinatorial Priality Test Maheswara Rao Valluri School of Matheatical and Coputing Sciences Fiji National University, Derrick Capus, Suva, Fiji E-ail: aheswara.valluri@fnu.ac.fj Abstract This paper provides
More informationA note on the multiplication of sparse matrices
Cent. Eur. J. Cop. Sci. 41) 2014 1-11 DOI: 10.2478/s13537-014-0201-x Central European Journal of Coputer Science A note on the ultiplication of sparse atrices Research Article Keivan Borna 12, Sohrab Aboozarkhani
More informationAlireza Kamel Mirmostafaee
Bull. Korean Math. Soc. 47 (2010), No. 4, pp. 777 785 DOI 10.4134/BKMS.2010.47.4.777 STABILITY OF THE MONOMIAL FUNCTIONAL EQUATION IN QUASI NORMED SPACES Alireza Kael Mirostafaee Abstract. Let X be a linear
More informationINITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F
INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal
More informationM ath. Res. Lett. 15 (2008), no. 2, c International Press 2008 SUM-PRODUCT ESTIMATES VIA DIRECTED EXPANDERS. Van H. Vu. 1.
M ath. Res. Lett. 15 (2008), no. 2, 375 388 c International Press 2008 SUM-PRODUCT ESTIMATES VIA DIRECTED EXPANDERS Van H. Vu Abstract. Let F q be a finite field of order q and P be a polynoial in F q[x
More informationResearch Article A Converse of Minkowski s Type Inequalities
Hindawi Publishing Corporation Journal of Inequalities and Applications Volue 2010, Article ID 461215, 9 pages doi:10.1155/2010/461215 Research Article A Converse of Minkowski s Type Inequalities Roeo
More informationThe concavity and convexity of the Boros Moll sequences
The concavity and convexity of the Boros Moll sequences Ernest X.W. Xia Departent of Matheatics Jiangsu University Zhenjiang, Jiangsu 1013, P.R. China ernestxwxia@163.co Subitted: Oct 1, 013; Accepted:
More informationGeneralized AOR Method for Solving System of Linear Equations. Davod Khojasteh Salkuyeh. Department of Mathematics, University of Mohaghegh Ardabili,
Australian Journal of Basic and Applied Sciences, 5(3): 35-358, 20 ISSN 99-878 Generalized AOR Method for Solving Syste of Linear Equations Davod Khojasteh Salkuyeh Departent of Matheatics, University
More information3.8 Three Types of Convergence
3.8 Three Types of Convergence 3.8 Three Types of Convergence 93 Suppose that we are given a sequence functions {f k } k N on a set X and another function f on X. What does it ean for f k to converge to
More informationPoly-Bernoulli Numbers and Eulerian Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018, Article 18.6.1 Poly-Bernoulli Nubers and Eulerian Nubers Beáta Bényi Faculty of Water Sciences National University of Public Service H-1441
More informationMonochromatic images
CHAPTER 8 Monochroatic iages 1 The Central Sets Theore Lea 11 Let S,+) be a seigroup, e be an idepotent of βs and A e There is a set B A in e such that, for each v B, there is a set C A in e with v+c A
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
More informationLEXIFYING IDEALS. Abstract: This paper is on monomial quotients of polynomial rings over which Hilbert functions are attained by lexicographic ideals.
LEXIFYING IDEALS Jeffrey Mermin Irena Peeva Department of Mathematics, Cornell University, Ithaca, NY 14853, USA. Abstract: This paper is on monomial quotients of polynomial rings over which Hilbert functions
More informationarxiv: v1 [math.pr] 17 May 2009
A strong law of large nubers for artingale arrays Yves F. Atchadé arxiv:0905.2761v1 [ath.pr] 17 May 2009 March 2009 Abstract: We prove a artingale triangular array generalization of the Chow-Birnbau- Marshall
More informationDERIVING PROPER UNIFORM PRIORS FOR REGRESSION COEFFICIENTS
DERIVING PROPER UNIFORM PRIORS FOR REGRESSION COEFFICIENTS N. van Erp and P. van Gelder Structural Hydraulic and Probabilistic Design, TU Delft Delft, The Netherlands Abstract. In probles of odel coparison
More informationON SEQUENCES OF NUMBERS IN GENERALIZED ARITHMETIC AND GEOMETRIC PROGRESSIONS
Palestine Journal of Matheatics Vol 4) 05), 70 76 Palestine Polytechnic University-PPU 05 ON SEQUENCES OF NUMBERS IN GENERALIZED ARITHMETIC AND GEOMETRIC PROGRESSIONS Julius Fergy T Rabago Counicated by
More informationAPPROXIMATION BY MODIFIED SZÁSZ-MIRAKYAN OPERATORS
APPROXIMATION BY MODIFIED SZÁSZ-MIRAKYAN OPERATORS Received: 23 Deceber, 2008 Accepted: 28 May, 2009 Counicated by: L. REMPULSKA AND S. GRACZYK Institute of Matheatics Poznan University of Technology ul.
More informationExponential sums and the distribution of inversive congruential pseudorandom numbers with prime-power modulus
ACTA ARITHMETICA XCII1 (2000) Exponential sus and the distribution of inversive congruential pseudorando nubers with prie-power odulus by Harald Niederreiter (Vienna) and Igor E Shparlinski (Sydney) 1
More informationlecture 36: Linear Multistep Mehods: Zero Stability
95 lecture 36: Linear Multistep Mehods: Zero Stability 5.6 Linear ultistep ethods: zero stability Does consistency iply convergence for linear ultistep ethods? This is always the case for one-step ethods,
More informationarxiv: v1 [math.co] 22 Oct 2018
The Hessenberg atrices and Catalan and its generalized nubers arxiv:80.0970v [ath.co] 22 Oct 208 Jishe Feng Departent of Matheatics, Longdong University, Qingyang, Gansu, 745000, China E-ail: gsfjs6567@26.co.
More informationa a a a a a a m a b a b
Algebra / Trig Final Exa Study Guide (Fall Seester) Moncada/Dunphy Inforation About the Final Exa The final exa is cuulative, covering Appendix A (A.1-A.5) and Chapter 1. All probles will be ultiple choice
More informationAN ESTIMATE FOR BOUNDED SOLUTIONS OF THE HERMITE HEAT EQUATION
Counications on Stochastic Analysis Vol. 6, No. 3 (1) 43-47 Serials Publications www.serialspublications.co AN ESTIMATE FOR BOUNDED SOLUTIONS OF THE HERMITE HEAT EQUATION BISHNU PRASAD DHUNGANA Abstract.
More informationON REGULARITY, TRANSITIVITY, AND ERGODIC PRINCIPLE FOR QUADRATIC STOCHASTIC VOLTERRA OPERATORS MANSOOR SABUROV
ON REGULARITY TRANSITIVITY AND ERGODIC PRINCIPLE FOR QUADRATIC STOCHASTIC VOLTERRA OPERATORS MANSOOR SABUROV Departent of Coputational & Theoretical Sciences Faculty of Science International Islaic University
More informationi ij j ( ) sin cos x y z x x x interchangeably.)
Tensor Operators Michael Fowler,2/3/12 Introduction: Cartesian Vectors and Tensors Physics is full of vectors: x, L, S and so on Classically, a (three-diensional) vector is defined by its properties under
More information}, (n 0) be a finite irreducible, discrete time MC. Let S = {1, 2,, m} be its state space. Let P = [p ij. ] be the transition matrix of the MC.
Abstract Questions are posed regarding the influence that the colun sus of the transition probabilities of a stochastic atrix (with row sus all one) have on the stationary distribution, the ean first passage
More informationA := A i : {A i } S. is an algebra. The same object is obtained when the union in required to be disjoint.
59 6. ABSTRACT MEASURE THEORY Having developed the Lebesgue integral with respect to the general easures, we now have a general concept with few specific exaples to actually test it on. Indeed, so far
More informationCongruences involving Bernoulli and Euler numbers Zhi-Hong Sun
The aer will aear in Journal of Nuber Theory. Congruences involving Bernoulli Euler nubers Zhi-Hong Sun Deartent of Matheatics, Huaiyin Teachers College, Huaian, Jiangsu 300, PR China Received January
More informationCertain Subalgebras of Lipschitz Algebras of Infinitely Differentiable Functions and Their Maximal Ideal Spaces
Int. J. Nonlinear Anal. Appl. 5 204 No., 9-22 ISSN: 2008-6822 electronic http://www.ijnaa.senan.ac.ir Certain Subalgebras of Lipschitz Algebras of Infinitely Differentiable Functions and Their Maxial Ideal
More informationVARIABLES. Contents 1. Preliminaries 1 2. One variable Special cases 8 3. Two variables Special cases 14 References 16
q-generating FUNCTIONS FOR ONE AND TWO VARIABLES. THOMAS ERNST Contents 1. Preliinaries 1. One variable 6.1. Special cases 8 3. Two variables 10 3.1. Special cases 14 References 16 Abstract. We use a ultidiensional
More informationON THE SLOPE OF THE SCHUR FUNCTOR OF A VECTOR BUNDLE
International Journal of Pure and Applied Matheatics Volue 86 No. 3 2013, 521-525 ISSN: 1311-8080 (printed version; ISSN: 1314-3395 (on-line version url: http://www.ijpa.eu doi: http://dx.doi.org/10.12732/ijpa.v86i3.6
More informationRESULTANTS OF CYCLOTOMIC POLYNOMIALS TOM M. APOSTOL
RESULTANTS OF CYCLOTOMIC POLYNOMIALS TOM M. APOSTOL 1. Introduction. The cyclotoic polynoial Fn(x) of order ras: 1 is the priary polynoial whose roots are the priitive rath roots of unity, (1.1) Fn(x)
More information13.2 Fully Polynomial Randomized Approximation Scheme for Permanent of Random 0-1 Matrices
CS71 Randoness & Coputation Spring 018 Instructor: Alistair Sinclair Lecture 13: February 7 Disclaier: These notes have not been subjected to the usual scrutiny accorded to foral publications. They ay
More informationALGEBRA REVIEW. MULTINOMIAL An algebraic expression consisting of more than one term.
Page 1 of 6 ALGEBRAIC EXPRESSION A cobination of ordinary nubers, letter sybols, variables, grouping sybols and operation sybols. Nubers reain fixed in value and are referred to as constants. Letter sybols
More informationLecture 21 Principle of Inclusion and Exclusion
Lecture 21 Principle of Inclusion and Exclusion Holden Lee and Yoni Miller 5/6/11 1 Introduction and first exaples We start off with an exaple Exaple 11: At Sunnydale High School there are 28 students
More informationDIFFERENTIAL EQUATIONS AND RECURSION RELATIONS FOR LAGUERRE FUNCTIONS ON SYMMETRIC CONES
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volue 359, Nuber 7, July 2007, Pages 3239 3250 S 0002-9947(07)04062-7 Article electronically published on February 8, 2007 DIFFERENTIAL EQUATIONS AND RECURSION
More informationLinear Algebra (I) Yijia Chen. linear transformations and their algebraic properties. 1. A Starting Point. y := 3x.
Linear Algebra I) Yijia Chen Linear algebra studies Exaple.. Consider the function This is a linear function f : R R. linear transforations and their algebraic properties.. A Starting Point y := 3x. Geoetrically
More informationInfinitely Many Trees Have Non-Sperner Subtree Poset
Order (2007 24:133 138 DOI 10.1007/s11083-007-9064-2 Infinitely Many Trees Have Non-Sperner Subtree Poset Andrew Vince Hua Wang Received: 3 April 2007 / Accepted: 25 August 2007 / Published online: 2 October
More informationPrerequisites. We recall: Theorem 2 A subset of a countably innite set is countable.
Prerequisites 1 Set Theory We recall the basic facts about countable and uncountable sets, union and intersection of sets and iages and preiages of functions. 1.1 Countable and uncountable sets We can
More informationWEIGHTED PERSISTENT HOMOLOGY SUMS OF RANDOM ČECH COMPLEXES
WEIGHTED PERSISTENT HOMOLOGY SUMS OF RANDOM ČECH COMPLEXES BENJAMIN SCHWEINHART Abstract. We study the asyptotic behavior of rando variables of the for Eα i x,..., x n = d b α b,d PH ix,...,x n where {
More informationOrder Ideals in Weak Subposets of Young s Lattice and Associated Unimodality Conjectures
Annals of Cobinatorics 8 (2004) 1-0218-0006/04/020001-10 DOI ********************** c Birkhäuser Verlag, Basel, 2004 Annals of Cobinatorics Order Ideals in Weak Subposets of Young s Lattice and Associated
More informationON SOME PROBLEMS OF GYARMATI AND SÁRKÖZY. Le Anh Vinh Mathematics Department, Harvard University, Cambridge, Massachusetts
#A42 INTEGERS 12 (2012) ON SOME PROLEMS OF GYARMATI AND SÁRKÖZY Le Anh Vinh Matheatics Departent, Harvard University, Cabridge, Massachusetts vinh@ath.harvard.edu Received: 12/3/08, Revised: 5/22/11, Accepted:
More informationNORMAL MATRIX POLYNOMIALS WITH NONSINGULAR LEADING COEFFICIENTS
NORMAL MATRIX POLYNOMIALS WITH NONSINGULAR LEADING COEFFICIENTS NIKOLAOS PAPATHANASIOU AND PANAYIOTIS PSARRAKOS Abstract. In this paper, we introduce the notions of weakly noral and noral atrix polynoials,
More informationThe simplest method for constructing APN polynomials EA-inequivalent to power functions
The siplest ethod for constructing APN polynoials EA-inequivalent to power functions Lilya Budaghyan Abstract The first APN polynoials EA-inequivalent to power functions have been constructed in [7, 8]
More informationA1. Find all ordered pairs (a, b) of positive integers for which 1 a + 1 b = 3
A. Find all ordered pairs a, b) of positive integers for which a + b = 3 08. Answer. The six ordered pairs are 009, 08), 08, 009), 009 337, 674) = 35043, 674), 009 346, 673) = 3584, 673), 674, 009 337)
More informationarxiv: v1 [math.nt] 14 Sep 2014
ROTATION REMAINDERS P. JAMESON GRABER, WASHINGTON AND LEE UNIVERSITY 08 arxiv:1409.411v1 [ath.nt] 14 Sep 014 Abstract. We study properties of an array of nubers, called the triangle, in which each row
More informationMonomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra
Monomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra Susan M. Hermiller Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE
More informationarxiv: v1 [math.gr] 18 Dec 2017
Probabilistic aspects of ZM-groups arxiv:7206692v [athgr] 8 Dec 207 Mihai-Silviu Lazorec Deceber 7, 207 Abstract In this paper we study probabilistic aspects such as (cyclic) subgroup coutativity degree
More information4 = (0.02) 3 13, = 0.25 because = 25. Simi-
Theore. Let b and be integers greater than. If = (. a a 2 a i ) b,then for any t N, in base (b + t), the fraction has the digital representation = (. a a 2 a i ) b+t, where a i = a i + tk i with k i =
More informationON SOME MATRIX INEQUALITIES. Hyun Deok Lee. 1. Introduction Matrix inequalities play an important role in statistical mechanics([1,3,6,7]).
Korean J. Math. 6 (2008), No. 4, pp. 565 57 ON SOME MATRIX INEQUALITIES Hyun Deok Lee Abstract. In this paper we present soe trace inequalities for positive definite atrices in statistical echanics. In
More informationDIANE MACLAGAN. Abstract. The main result of this paper is that all antichains are. One natural generalization to more abstract posets is shown to be
ANTICHAINS OF MONOMIAL IDEALS ARE FINITE DIANE MACLAGAN Abstract. The main result of this paper is that all antichains are finite in the poset of monomial ideals in a polynomial ring, ordered by inclusion.
More informationGRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases
GRÖBNER BASES AND POLYNOMIAL EQUATIONS J. K. VERMA 1. Introduction and preliminaries on Gróbner bases Let S = k[x 1, x 2,..., x n ] denote a polynomial ring over a field k where x 1, x 2,..., x n are indeterminates.
More informationE0 370 Statistical Learning Theory Lecture 6 (Aug 30, 2011) Margin Analysis
E0 370 tatistical Learning Theory Lecture 6 (Aug 30, 20) Margin Analysis Lecturer: hivani Agarwal cribe: Narasihan R Introduction In the last few lectures we have seen how to obtain high confidence bounds
More informationExplicit solution of the polynomial least-squares approximation problem on Chebyshev extrema nodes
Explicit solution of the polynoial least-squares approxiation proble on Chebyshev extrea nodes Alfredo Eisinberg, Giuseppe Fedele Dipartiento di Elettronica Inforatica e Sisteistica, Università degli Studi
More informationCOMMUTATIVE FPF RINGS ARISING AS SPLIT-NULL EXTENSIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volue 90. Nuber 2. February 1984 COMMUTATIVE FPF RINGS ARISING AS SPLIT-NULL EXTENSIONS CARL FAITH Abstract. Let R = (B,E) be the split-null or trivial
More informationChapter II TRIANGULAR NUMBERS
Chapter II TRIANGULAR NUMBERS Part of this work contained in this chapter has resulted in the following publications: Gopalan, M.A. and Jayakuar, P. "Note on triangular nubers in arithetic progression",
More informationFinite fields. and we ve used it in various examples and homework problems. In these notes I will introduce more finite fields
Finite fields I talked in class about the field with two eleents F 2 = {, } and we ve used it in various eaples and hoework probles. In these notes I will introduce ore finite fields F p = {,,...,p } for
More informationCharacterization of the Line Complexity of Cellular Automata Generated by Polynomial Transition Rules. Bertrand Stone
Characterization of the Line Coplexity of Cellular Autoata Generated by Polynoial Transition Rules Bertrand Stone Abstract Cellular autoata are discrete dynaical systes which consist of changing patterns
More informationarxiv: v1 [math.cv] 31 Mar 2013
Proper holoorphic appings, Bell s forula and the Lu Qi-Keng proble on tetrablock Maria Trybuła Institute of Matheatics, Faculty of Matheatics and Coputer Science, Jagiellonian University, Łojasiewicza
More informationDescent polynomials. Mohamed Omar Department of Mathematics, Harvey Mudd College, 301 Platt Boulevard, Claremont, CA , USA,
Descent polynoials arxiv:1710.11033v2 [ath.co] 13 Nov 2017 Alexander Diaz-Lopez Departent of Matheatics and Statistics, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA, alexander.diaz-lopez@villanova.edu
More informationFPTAS for optimizing polynomials over the mixed-integer points of polytopes in fixed dimension
Matheatical Prograing anuscript No. (will be inserted by the editor) Jesús A. De Loera Rayond Heecke Matthias Köppe Robert Weisantel FPTAS for optiizing polynoials over the ixed-integer points of polytopes
More information