Arxiv:1705.07444V2 [Math.NT] 30 Aug 2017 ADDITIVE COMBINATORICS

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1705.07444V2 [Math.NT] 30 Aug 2017 ADDITIVE COMBINATORICS ADDITIVE COMBINATORICS A MENU OF RESEARCH PROBLEMS AUGUST, 2017 BELA´ BAJNOK arXiv:1705.07444v2 [math.NT] 30 Aug 2017 Department of Mathematics Gettysburg College Gettysburg, PA 17325-1486 USA [email protected] c 2000-17 B´ela Bajnok Contents Preface xiii Notations xvii I Ingredients 1 1 Number theory 5 1.1 Divisibility of integers . 6 1.2 Congruences..................................... 7 1.3 TheFundamentalTheoremofNumberTheory . ... 8 1.4 Multiplicative number theory . 10 1.5 Additivenumbertheory .............................. 13 2 Combinatorics 17 2.1 Basic enumeration principles . 17 2.2 Counting lists, sequences, sets, and multisets . ..... 19 2.3 Binomial coefficients and Pascal’s Triangle . 24 2.4 Somerecurrencerelations . .. .. .. .. .. .. .. .. .. .. .. 26 2.5 The integer lattice and its layers . 30 3 Group theory 35 3.1 Finite abelian groups . 36 iii iv CONTENTS 3.2 Groupisomorphisms ................................ 38 3.3 The Fundamental Theorem of Finite Abelian Groups . ... 39 3.4 Subgroupsandcosets............................... 41 3.5 Subgroupsgeneratedbysubsets. .... 44 3.6 Sumsets ....................................... 46 II Appetizers 53 Sphericaldesigns ..................................... 56 Caps,centroids,andthegameSET. ... 62 Howmanyelementsdoesittaketospanagroup? . ... 69 Inpursuitofperfection ................................ 72 Thedeclarationofindependence . .. 76 III Sides 81 The function vg(n,h)................................... 84 The function v (n,h) .................................. 90 ± The function u(n,m,h) ................................. 93 The function uˆ(n,m,h)................................. 96 IV Entrees 103 A Maximum sumset size 107 A.1 Unrestrictedsumsets............................... 108 A.1.1 Fixednumberofterms. .108 A.1.2 Limitednumberofterms . .110 A.1.3 Arbitrarynumberofterms . .111 A.2 Unrestrictedsignedsumsets . 112 A.2.1 Fixednumberofterms. .112 CONTENTS v A.2.2 Limitednumberofterms . .114 A.2.3 Arbitrarynumberofterms . .115 A.3 Restrictedsumsets ................................. 116 A.3.1 Fixednumberofterms. .116 A.3.2 Limitednumberofterms . .117 A.3.3 Arbitrarynumberofterms . .118 A.4 Restrictedsignedsumsets . 120 A.4.1 Fixednumberofterms. .120 A.4.2 Limitednumberofterms . .121 A.4.3 Arbitrarynumberofterms . .122 B Spanning sets 125 B.1 Unrestrictedsumsets............................... 126 B.1.1 Fixednumberofterms. .126 B.1.2 Limitednumberofterms . .127 B.1.3 Arbitrarynumberofterms . .134 B.2 Unrestrictedsignedsumsets . 134 B.2.1 Fixednumberofterms. .135 B.2.2 Limitednumberofterms . .138 B.2.3 Arbitrarynumberofterms . .145 B.3 Restrictedsumsets ................................. 145 B.3.1 Fixednumberofterms. .145 B.3.2 Limitednumberofterms . .145 B.3.3 Arbitrarynumberofterms . .148 B.4 Restrictedsignedsumsets . 148 B.4.1 Fixednumberofterms. .148 B.4.2 Limitednumberofterms . .148 B.4.3 Arbitrarynumberofterms . .148 vi CONTENTS C Sidon sets 149 C.1 Unrestrictedsumsets............................... 150 C.1.1 Fixednumberofterms. .150 C.1.2 Limitednumberofterms . .159 C.1.3 Arbitrarynumberofterms . .159 C.2 Unrestrictedsignedsumsets . 160 C.2.1 Fixednumberofterms. .160 C.2.2 Limitednumberofterms . .164 C.2.3 Arbitrarynumberofterms . .164 C.3 Restrictedsumsets ................................. 164 C.3.1 Fixednumberofterms. .164 C.3.2 Limitednumberofterms . .168 C.3.3 Arbitrarynumberofterms . .170 C.4 Restrictedsignedsumsets . 170 C.4.1 Fixednumberofterms. .170 C.4.2 Limitednumberofterms . .170 C.4.3 Arbitrarynumberofterms . .170 D Minimum sumset size 173 D.1 Unrestrictedsumsets............................... 173 D.1.1 Fixednumberofterms. .173 D.1.2 Limitednumberofterms . .180 D.1.3 Arbitrarynumberofterms . .181 D.2 Unrestrictedsignedsumsets . 181 D.2.1 Fixednumberofterms. .182 D.2.2 Limitednumberofterms . .188 D.2.3 Arbitrarynumberofterms . .190 D.3 Restrictedsumsets ................................. 190 D.3.1 Fixednumberofterms. .190 CONTENTS vii D.3.2 Limitednumberofterms . .214 D.3.3 Arbitrarynumberofterms . .216 D.4 Restrictedsignedsumsets . 226 D.4.1 Fixednumberofterms. .226 D.4.2 Limitednumberofterms . .226 D.4.3 Arbitrarynumberofterms . .226 E The critical number 227 E.1 Unrestrictedsumsets............................... 227 E.1.1 Fixednumberofterms. .228 E.1.2 Limitednumberofterms . .231 E.1.3 Arbitrarynumberofterms . .238 E.2 Unrestrictedsignedsumsets . 238 E.2.1 Fixednumberofterms. .238 E.2.2 Limitednumberofterms . .239 E.2.3 Arbitrarynumberofterms . .244 E.3 Restrictedsumsets ................................. 244 E.3.1 Fixednumberofterms. .245 E.3.2 Limitednumberofterms . .250 E.3.3 Arbitrarynumberofterms . .253 E.4 Restrictedsignedsumsets . 264 E.4.1 Fixednumberofterms. .264 E.4.2 Limitednumberofterms . .264 E.4.3 Arbitrarynumberofterms . .264 F Zero-sum-free sets 265 F.1 Unrestrictedsumsets............................... 266 F.1.1 Fixednumberofterms. .266 F.1.2 Limitednumberofterms . .271 viii CONTENTS F.1.3 Arbitrarynumberofterms . .272 F.2 Unrestrictedsignedsumsets . 272 F.2.1 Fixednumberofterms. .273 F.2.2 Limitednumberofterms . .277 F.2.3 Arbitrarynumberofterms . .290 F.3 Restrictedsumsets ................................. 290 F.3.1 Fixednumberofterms. .290 F.3.2 Limitednumberofterms . .305 F.3.3 Arbitrarynumberofterms . .307 F.4 Restrictedsignedsumsets . 314 F.4.1 Fixednumberofterms. .315 F.4.2 Limitednumberofterms . .318 F.4.3 Arbitrarynumberofterms . .321 G Sum-free sets 327 G.1 Unrestrictedsumsets............................... 328 G.1.1 Fixednumberofterms. .329 G.1.2 Limitednumberofterms . .345 G.1.3 Arbitrarynumberofterms . .349 G.2 Unrestrictedsignedsumsets . 349 G.2.1 Fixednumberofterms. .349 G.2.2 Limitednumberofterms . .349 G.2.3 Arbitrarynumberofterms . .349 G.3 Restrictedsumsets ................................. 350 G.3.1 Fixednumberofterms. .350 G.3.2 Limitednumberofterms . .361 G.3.3 Arbitrarynumberofterms . .361 G.4 Restrictedsignedsumsets . 361 G.4.1 Fixednumberofterms. .361 CONTENTS ix G.4.2 Limitednumberofterms . .361 G.4.3 Arbitrarynumberofterms . .361 V Pudding 363 ProofofProposition2.2 ................................. 366 ProofofProposition3.1 ................................. 367 ProofofProposition3.4 ................................. 368 ProofofProposition3.5 ................................. 370 ProofofProposition4.2 ................................. 371 ProofofProposition4.3 ................................. 372 ProofofTheorem4.4................................... 373 ProofofProposition4.9 ................................. 376 ProofofProposition4.10 ................................ 377 ProofofTheorem4.17.................................. 378 ProofofProposition4.22 ................................ 379 ProofofProposition4.23 ................................ 380 ProofofProposition4.26 ................................ 381 ProofofProposition4.29 ................................ 382 ProofofPropositionA.42 ................................ 384 ProofofTheoremB.8 ..................................385 ProofofPropositionB.28 ................................ 387 ProofofPropositionB.46 ................................ 388 ProofofPropositionB.54 ................................ 389 ProofofPropositionB.57 ................................ 390 ProofofPropositionC.36 ................................ 392 ProofofPropositionC.50 ................................ 393 ProofofPropositionC.51 ................................ 394 ProofofPropositionD.6................................. 396 x CONTENTS ProofofTheoremD.8 ..................................397 ProofofTheoremD.9 ..................................398 ProofofTheoremD.10.................................. 399 ProofofTheoremD.40.................................. 399 ProofofPropositionD.42 ................................ 400 ProofofTheoremD.47.................................. 402 ProofofPropositionD.59 ................................ 410 ProofofTheoremD.72.................................. 412 ProofofPropositionD.128 ............................... 415 ProofofTheoremE.15.................................. 416 ProofofPropositionE.76 ................................ 417 ProofofLemmaE.87 ..................................418 ProofofTheoremE.100 ................................. 419 ProofofTheoremE.108 ................................. 419 ProofofTheoremE.109 ................................. 421 ProofofTheoremF.6 ..................................423 ProofofPropositionF.27 ................................ 424 ProofofPropositionF.28 ................................ 425 ProofofPropositionF.32 ................................ 425 ProofofPropositionF.35 ................................ 426 ProofofPropositionF.46 ................................ 427 ProofofPropositionF.80 ................................ 430 ProofofPropositionF.83 ................................ 431 ProofofTheoremF.88.................................. 432 ProofofPropositionF.116............................... 433 ProofofPropositionF.156............................... 434 ProofofPropositionF.179............................... 436 ProofofPropositionG.22 ................................ 437 CONTENTS xi ProofofTheoremG.27.................................. 439 ProofofPropositionG.64 ................................ 440 ProofofCorollaryG.65 .................................442 ProofofTheoremG.67.................................. 444 ProofofPropositionG.73 ................................ 445 ProofofPropositionG.74 ................................ 446 ProofofPropositionG.82 ................................ 447 Bibliography 449 Author Index 462
Recommended publications
  • Total Positivity of Narayana Matrices Can Also Be Obtained by a Similar Combinatorial Approach?
    Total positivity of Narayana matrices Yi Wanga, Arthur L.B. Yangb aSchool of Mathematical Sciences, Dalian University of Technology, Dalian 116024, P.R. China bCenter for Combinatorics, LPMC, Nankai University, Tianjin 300071, P.R. China Abstract We prove the total positivity of the Narayana triangles of type A and type B, and thus affirmatively confirm a conjecture of Chen, Liang and Wang and a conjecture of Pan and Zeng. We also prove the strict total positivity of the Narayana squares of type A and type B. Keywords: Totally positive matrices, the Narayana triangle of type A, the Narayana triangle of type B, the Narayana square of type A, the Narayana square of type B AMS Classification 2010: 05A10, 05A20 1. Introduction Let M be a (finite or infinite) matrix of real numbers. We say that M is totally positive (TP) if all its minors are nonnegative, and we say that it is strictly totally positive (STP) if all its minors are positive. Total positivity is an important and powerful concept and arises often in analysis, algebra, statistics and probability, as well as in combinatorics. See [1, 6, 7, 9, 10, 13, 14, 18] for instance. n Let C(n, k)= k . It is well known [14, P. 137] that the Pascal triangle arXiv:1702.07822v1 [math.CO] 25 Feb 2017 1 1 1 1 2 1 P = [C(n, k)]n,k≥0 = 13 31 14641 . . .. Email addresses: [email protected] (Yi Wang), [email protected] (Arthur L.B. Yang) Preprint submitted to Elsevier April 12, 2018 is totally positive.
    [Show full text]
  • Motzkin Paths, Motzkin Polynomials and Recurrence Relations
    Motzkin paths, Motzkin polynomials and recurrence relations Roy Oste and Joris Van der Jeugt Department of Applied Mathematics, Computer Science and Statistics Ghent University B-9000 Gent, Belgium [email protected], [email protected] Submitted: Oct 24, 2014; Accepted: Apr 4, 2015; Published: Apr 21, 2015 Mathematics Subject Classifications: 05A10, 05A15 Abstract We consider the Motzkin paths which are simple combinatorial objects appear- ing in many contexts. They are counted by the Motzkin numbers, related to the well known Catalan numbers. Associated with the Motzkin paths, we introduce the Motzkin polynomial, which is a multi-variable polynomial “counting” all Motzkin paths of a certain type. Motzkin polynomials (also called Jacobi-Rogers polyno- mials) have been studied before, but here we deduce some properties based on recurrence relations. The recurrence relations proved here also allow an efficient computation of the Motzkin polynomials. Finally, we show that the matrix en- tries of powers of an arbitrary tridiagonal matrix are essentially given by Motzkin polynomials, a property commonly known but usually stated without proof. 1 Introduction Catalan numbers and Motzkin numbers have a long history in combinatorics [19, 20]. 1 2n A lot of enumeration problems are counted by the Catalan numbers Cn = n+1 n , see e.g. [20]. Closely related to Catalan numbers are Motzkin numbers M , n ⌊n/2⌋ n M = C n 2k k Xk=0 similarly associated to many counting problems, see e.g. [9, 1, 18]. For example, the number of different ways of drawing non-intersecting chords between n points on a circle is counted by the Motzkin numbers.
    [Show full text]
  • The Circle Method Applied to Goldbach's Weak Conjecture
    CARLETON UNIVERSITY SCHOOL OF MATHEMATICS AND STATISTICS HONOURS PROJECT TITLE: The Circle Method Applied to Goldbach’s Weak Conjecture AUTHOR: Michael Cayanan SUPERVISOR: Brandon Fodden DATE: August 27, 2019 Acknowledgements First and foremost, I would like to thank my supervisor Brandon Fodden not only for all of his advice and guidance throughout the writing of this paper, but also for being such a welcoming and understanding instructor during my first year of undergraduate study. I would also like to thank the second reader Kenneth Williams for graciously providing his time and personal insight into this paper. Of course, I am also very grateful for the countless professors and instructors who have offered me outlets to explore my curiosity and to cultivate my appreciation of mathematical abstraction through the courses that they have organized. I am eternally indebted to the love and continual support provided by my family and my dearest friends throughout my undergraduate journey. They were always able to provide assurance and uplift me during my worst and darkest moments, and words cannot describe how grateful I am to be surrounded with so much compassion and inspiration. This work is as much yours as it is mine, and I love you all 3000. THE CIRCLE METHOD APPLIED TO GOLDBACH'S WEAK CONJECTURE Michael Cayanan August 27, 2019 Abstract. Additive number theory is the branch of number theory that is devoted to the study of repre- sentations of integers subject to various arithmetic constraints. One of, if not, the most popular question that additive number theory asks arose in a letter written by Christian Goldbach to Leonhard Euler, fa- mously dubbed the Goldbach conjecture.
    [Show full text]
  • A86 INTEGERS 21 (2021) on SOME P -ADIC PROPERTIES AND
    #A86 INTEGERS 21 (2021) ON SOME p -ADIC PROPERTIES AND SUPERCONGRUENCES OF DELANNOY AND SCHRODER¨ NUMBERS Tam´asLengyel Department of Mathematics, Occidental College, USA [email protected] Received: 2/27/21, Revised: 6/7/21, Accepted: 8/13/21, Published: 8/27/21 Abstract The Delannoy number d(n) is defined as the number of paths from (0; 0) to (n; n) with steps (1,0), (1,1), and (0,1), which is equal to the number of paths from (0; 0) to (2n; 0) using only steps (1; 1), (2; 0) and (1; −1). The Schr¨odernumber s(n) counts only those paths that never go below the x-axis. We discuss some p-adic properties n n of the sequences fd(p )gn!1, and fd(ap + b)gn!1 with a 2 N,(a; p) = 1, b 2 Z, and prime p. We also present similar p-adic properties of the Schr¨odernumbers. We provide several supercongruences for these numbers and their differences. Some conjectures are also proposed. 1. Introduction The central Delannoy number d(n) is defined as the number of paths from (0; 0) to (n; n) in an n × n grid using only steps north, northeast and east (i.e., steps (1,0), (1,1), and (0,1)). With n ≥ 0 the first few values are: 1, 3, 13, 63, 321, 1683, 8989, cf. A001850,[8]. It is also the number of paths from (0; 0) to (2n; 0) using only steps (1; 1), (2; 0) and (1; −1). The corresponding paths are called Delannoy paths.
    [Show full text]
  • The Circle Method
    The Circle Method Steven J. Miller and Ramin Takloo-Bighash July 14, 2004 Contents 1 Introduction to the Circle Method 3 1.1 Origins . 3 1.1.1 Partitions . 4 1.1.2 Waring’s Problem . 6 1.1.3 Goldbach’s conjecture . 9 1.2 The Circle Method . 9 1.2.1 Problems . 10 1.2.2 Setup . 11 1.2.3 Convergence Issues . 12 1.2.4 Major and Minor arcs . 13 1.2.5 Historical Remark . 14 1.2.6 Needed Number Theory Results . 15 1.3 Goldbach’s conjecture revisited . 16 1.3.1 Setup . 16 2 1.3.2 Average Value of |FN (x)| ............................. 17 1.3.3 Large Values of FN (x) ............................... 19 1.3.4 Definition of the Major and Minor Arcs . 20 1.3.5 The Major Arcs and the Singular Series . 22 1.3.6 Contribution from the Minor Arcs . 25 1.3.7 Why Goldbach’s Conjecture is Hard . 26 2 Circle Method: Heuristics for Germain Primes 29 2.1 Germain Primes . 29 2.2 Preliminaries . 31 2.2.1 Germain Integral . 32 2.2.2 The Major and Minor Arcs . 33 2.3 FN (x) and u(x) ....................................... 34 2.4 Approximating FN (x) on the Major arcs . 35 1 2.4.1 Boundary Term . 38 2.4.2 Integral Term . 40 2.5 Integrals over the Major Arcs . 42 2.5.1 Integrals of u(x) .................................. 42 2.5.2 Integrals of FN (x) ................................. 45 2.6 Major Arcs and the Singular Series . 46 2.6.1 Properties of Arithmetic Functions .
    [Show full text]
  • BASIC DISCRETE MATHEMATICS Contents 1. Introduction 2 2. Graphs
    BASIC DISCRETE MATHEMATICS DAVID GALVIN, DEPARTMENT OF MATHEMATICS, UNIVERSITY OF NOTRE DAME Abstract. This document includes lecture notes, homework and exams from the Spring 2017 incarnation of Math 60610 | Basic Discrete Mathematics, a graduate course offered by the Department of Mathematics at the University of Notre Dame. The notes have been written in a single pass, and as such may well contain typographical (and sometimes more substantial) errors. Comments and corrections will be happily received at [email protected]. Contents 1. Introduction 2 2. Graphs and trees | basic definitions and questions 3 3. The extremal question for trees, and some basic properties 5 4. The enumerative question for trees | Cayley's formula 6 5. Proof of Cayley's formula 7 6. Pr¨ufer's proof of Cayley 12 7. Otter's formula 15 8. Some problems 15 9. Some basic counting problems 18 10. Subsets of a set 19 11. Binomial coefficient identities 20 12. Some problems 25 13. Multisets, weak compositions, compositions 30 14. Set partitions 32 15. Some problems 37 16. Inclusion-exclusion 39 17. Some problems 45 18. Partitions of an integer 47 19. Some problems 49 20. The Twelvefold way 49 21. Generating functions 51 22. Some problems 59 23. Operations on power series 61 24. The Catalan numbers 62 25. Some problems 69 26. Some examples of two-variable generating functions 70 27. Binomial coefficients 71 28. Delannoy numbers 71 29. Some problems 74 30. Stirling numbers of the second kind 76 Date: Spring 2017; version of December 13, 2017. 1 2 DAVID GALVIN, DEPARTMENT OF MATHEMATICS, UNIVERSITY OF NOTRE DAME 31.
    [Show full text]
  • Divisors and Specializations of Lucas Polynomials Tewodros Amdeberhan, Mahir Bilen Can, and Melanie Jensen
    Journal of Combinatorics Volume 6, Number 1–2, 69–89, 2015 Divisors and specializations of Lucas polynomials Tewodros Amdeberhan, Mahir Bilen Can, and Melanie Jensen Three-term recurrences have infused a stupendous amount of re- search in a broad spectrum of the sciences, such as orthogonal polynomials (in special functions) and lattice paths (in enumera- tive combinatorics). Among these are the Lucas polynomials, which have seen a recent true revival. In this paper one of the themes of investigation is the specialization to the Pell and Delannoy num- bers. The underpinning motivation comprises primarily of divis- ibility and symmetry. One of the most remarkable findings is a structural decomposition of the Lucas polynomials into what we term as flat and sharp analogs. AMS 2010 subject classifications: 05A10, 11B39. Keywords and phrases: Lucas polynomials, flat and sharp lucanomi- als, divisors, Iwahori-Hecke algebra. 1. Introduction In this paper, we focus on two themes in Lucas polynomials, the first of which has a rather ancient flavor. In mathematics, often, the simplest ideas carry most importance, and hence they live longest. Among all combina- torial sequences, the (misattributed) Pell sequence seem to be particularly resilient. Defined by the simple recurrence (1.1) Pn =2Pn−1 + Pn−2 for n ≥ 2, with respect to initial conditions P0 =0,P1 = 1, Pell numbers appear in ancient texts (for example, in Shulba Sutra, approximately 800 BC). The first eight values of Pn are given by (0, 1, 2, 5, 12, 29, 70, 169), and the remainders modulo 3 are (1.2) (P0,P1,P2,P3,P4,P5,P6,P7) ≡3 (0, 1, 2, 2, 0, 2, 1, 1).
    [Show full text]
  • Shifted Jacobi Polynomials and Delannoy Numbers
    SHIFTED JACOBI POLYNOMIALS AND DELANNOY NUMBERS GABOR´ HETYEI A` la m´emoire de Pierre Leroux Abstract. We express a weigthed generalization of the Delannoy numbers in terms of shifted Jacobi polynomials. A specialization of our formulas extends a relation between the central Delannoy numbers and Legendre polynomials, observed over 50 years ago [8], [13], [14], to all Delannoy numbers and certain Jacobi polynomials. Another specializa- tion provides a weighted lattice path enumeration model for shifted Jacobi polynomials and allows the presentation of a combinatorial, non-inductive proof of the orthogonality of Jacobi polynomials with natural number parameters. The proof relates the orthogo- nality of these polynomials to the orthogonality of (generalized) Laguerre polynomials, as they arise in the theory of rook polynomials. We also find finite orthogonal polynomial sequences of Jacobi polynomials with negative integer parameters and expressions for a weighted generalization of the Schr¨odernumbers in terms of the Jacobi polynomials. Introduction It has been noted more than fifty years ago [8], [13], [14] that the diagonal entries of the Delannoy array (dm,n), introduced by Henri Delannoy [5], and the Legendre polynomials Pn(x) satisfy the equality (1) dn,n = Pn(3), but this relation was mostly considered a “coincidence”. An important observation of our present work is that (1) can be extended to (α,0) (2) dn+α,n = Pn (3) for all α ∈ Z such that α ≥ −n, (α,0) where Pn (x) is the Jacobi polynomial with parameters (α, 0). This observation in itself is a strong indication that the interaction between Jacobi polynomials (generalizing Le- gendre polynomials) and the Delannoy numbers is more than a mere coincidence.
    [Show full text]
  • Determinantal Forms and Recursive Relations of the Delannoy Two-Functional Sequence
    Advances in the Theory of Nonlinear Analysis and its Applications 4 (2020) No. 3, 184–193. https://doi.org/10.31197/atnaa.772734 Available online at www.atnaa.org Research Article Determinantal forms and recursive relations of the Delannoy two-functional sequence Feng Qia, Muhammet Cihat Dağlıb, Wei-Shih Duc aCollege of Mathematics and Physics, Inner Mongolia University for Nationalities, Tongliao 028043, Inner Mongolia, China; School of Mathematical Sciences, Tianjin Polytechnic University, Tianjin 300387, China; Institute of Mathematics, Henan Polytechnic University, Jiaozuo 454010, Henan, China. bDepartment of Mathematics, Akdeniz University, 07058-Antalya, Turkey. cDepartment of Mathematics, National Kaohsiung Normal University, Kaohsiung 82444, Taiwan. Abstract In the paper, the authors establish closed forms for the Delannoy two-functional sequence and its difference in terms of the Hessenberg determinants, derive recursive relations for the Delannoy two-functional sequence and its difference, and deduce closed forms in terms of the Hessenberg determinants and recursive relations for the Delannoy one-functional sequence, the Delannoy numbers, and central Delannoy numbers. Keywords: closed form; recursive relation; difference; Hessenberg determinant; Delannoy two-functional sequence; Delannoy one-functional sequence; Delannoy number; central Delannoy number. 2010 MSC: 05A10, 11B83, 11C20, 11Y55, 26C05. 1. Introduction A tridiagonal determinant is a determinant whose nonzero elements locate only on the diagonal and slots horizontally or vertically adjacent the diagonal. Technically speaking, a determinant H = jhijjn×n is called a tridiagonal determinant if hij = 0 for all pairs (i; j) such that ji − jj > 1. For more information, please refer to the paper [11]. A determinant H = jhijjn×n is called a lower (or an upper, respectively) Hessenberg determinant if hij = 0 for all pairs (i; j) such that i+1 < j (or j +1 < i, respectively).
    [Show full text]
  • Additive Combinatorics with a View Towards Computer Science And
    Additive Combinatorics with a view towards Computer Science and Cryptography An Exposition Khodakhast Bibak Department of Combinatorics and Optimization University of Waterloo Waterloo, Ontario, Canada N2L 3G1 [email protected] October 25, 2012 Abstract Recently, additive combinatorics has blossomed into a vibrant area in mathematical sciences. But it seems to be a difficult area to define – perhaps because of a blend of ideas and techniques from several seemingly unrelated contexts which are used there. One might say that additive combinatorics is a branch of mathematics concerning the study of combinatorial properties of algebraic objects, for instance, Abelian groups, rings, or fields. This emerging field has seen tremendous advances over the last few years, and has recently become a focus of attention among both mathematicians and computer scientists. This fascinating area has been enriched by its formidable links to combinatorics, number theory, harmonic analysis, ergodic theory, and some other arXiv:1108.3790v9 [math.CO] 25 Oct 2012 branches; all deeply cross-fertilize each other, holding great promise for all of them! In this exposition, we attempt to provide an overview of some breakthroughs in this field, together with a number of seminal applications to sundry parts of mathematics and some other disciplines, with emphasis on computer science and cryptography. 1 Introduction Additive combinatorics is a compelling and fast growing area of research in mathematical sciences, and the goal of this paper is to survey some of the recent developments and notable accomplishments of the field, focusing on both pure results and applications with a view towards computer science and cryptography. See [321] for a book on additive combinatorics, [237, 238] for two books on additive number theory, and [330, 339] for two surveys on additive 1 combinatorics.
    [Show full text]
  • On Some Conjectures in Additive Number Theory Huixi Li Clemson University, [email protected]
    Clemson University TigerPrints All Dissertations Dissertations 8-2018 On Some Conjectures in Additive Number Theory Huixi Li Clemson University, [email protected] Follow this and additional works at: https://tigerprints.clemson.edu/all_dissertations Recommended Citation Li, Huixi, "On Some Conjectures in Additive Number Theory" (2018). All Dissertations. 2209. https://tigerprints.clemson.edu/all_dissertations/2209 This Dissertation is brought to you for free and open access by the Dissertations at TigerPrints. It has been accepted for inclusion in All Dissertations by an authorized administrator of TigerPrints. For more information, please contact [email protected]. On Some Conjectures in Additive Number Theory A Dissertation Presented to the Graduate School of Clemson University In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy Mathematics by Huixi Li August 2018 Accepted by: Dr. Jim Brown, Committee Chair Dr. Michael Burr Dr. Kevin James Dr. Hui Xue Abstract In the first part of the thesis we prove that every sufficiently large odd integer can be written as a sum of a prime and 2 times a product of at most two distinct odd primes. Together with Chen's theorem and Ross's observation, we know every sufficiently large integer can be written as a sum of a prime and a square-free number with at most three prime divisors, which improves a theorem by Estermann that every sufficiently large integer can be written as a sum of a prime and a square-free number. In the second part of the thesis we prove some results that specialize to confirm some conjec- tures of Sun, which are related to Fermat's theorem on sums of two squares and other representations of primes in arithmetic progressions that can be represented by quadratic forms.
    [Show full text]
  • On the Inverse Erd˝Os-Heilbronn Problem For
    ON THE INVERSE ERDOS-HEILBRONN} PROBLEM FOR RESTRICTED SET ADDITION IN FINITE GROUPS Suren M. Jayasuriyay Department of Electrical and Computer Engineering, Cornell University, Ithaca, New York 14853, USA [email protected] Steven D. Reichy Department of Mathematics, The University of Pittsburgh, Pittsburgh, Pennsylvania, 15260, USA [email protected] Jeffrey P. Wheeler Department of Mathematics, The University of Pittsburgh, Pittsburgh, Pennsylvania, 15260, USA [email protected] Abstract We provide a survey of results concerning both the direct and inverse problems to the Cauchy-Davenport theorem and Erd}os-Heilbronnproblem in Additive Combina- torics. We formulate a conjecture concerning the inverse Erd}os-Heilbronn problem in nonabelian groups. We prove an inverse to the Dias da Silva-Hamidoune The- orem to Z=nZ where n is composite, and we generalize this result for nonabelian groups. 1. Introduction A basic object in additive combinatorics/additive number theory is the sumset of sets A and B: yThis work was started while S.M. Jayasuriya and S.D. Reich were undergraduates at the University of Pittsburgh in a directed study course supervised by Dr. Jeffrey P. Wheeler. 2010 Mathematics Subject Classification: Primary 11P99; Secondary 05E15, 20D60. Key words and phrases: Cauchy-Davenport Theorem, Erd}os-Heilbronn Problem, additive number theory, sumsets, restricted set addition, finite groups, inverse sumset results, critical pair. 1 Definition 1.1. [Sumset] A + B := fa + b j a 2 A; b 2 Bg: A simple example of a problem in Additive Number Theory is given two subsets A and B of a set of integers, what facts can we determine about sumset A + B? One such classic problem was a conjecture of Paul Erd}osand Hans Heilbronn [12], an open problem for over 30 years until proved in 1994.
    [Show full text]