|
|||||
 |
|
|
|
|
|
Generalized
exponential sums and the power of computers
Francis N. Castro, Oscar E. González and Luis A. Medina
Vol. 11 (2018), No. 1, 127–142
DOI: 10.2140/involve.2018.11.127
|
Abstract |
|
Today’s era can be characterized by the rise of computer technology. Computers have been, to some extent, responsible for the explosion of the scientific knowledge that we have today. In mathematics, for instance, we have the four color theorem, which is regarded as the first celebrated result to be proved with the assistance of computers. In this article we generalize some fascinating binomial sums that arise in the study of Boolean functions. We study these generalizations from the point of view of integer sequences and bring them to the current computer age of mathematics. The asymptotic behavior of these generalizations is calculated. In particular, we show that a previously known constant that appears in the study of exponential sums of symmetric Boolean functions is universal in the sense that it also emerges in the asymptotic behavior of all of the sequences considered in this work. Finally, in the last section, we use the power of computers and some remarkable algorithms to show that these generalizations are holonomic; i.e., they satisfy homogeneous linear recurrences with polynomial coefficients. |
Keywords
Boolean functions, binomial sums, holonomic sequences
|
Mathematical Subject Classification 2010
Primary: 11B37, 11T23, 06E30
|
Supplementary material |
Milestones
Received: 26 August 2016
Revised: 12 January 2017
Accepted: 4 February 2017
Published: 17 July 2017
Communicated by Kenneth S. Berenhaut
|
Authors |
| Francis N. Castro | |
| Department of Mathematics University of Puerto Rico San Juan % 00931 Puerto Rico |
|
| Oscar E. González | |
| Department of Mathematics University of Puerto Rico San Juan % 00931 Puerto Rico |
|
| Luis A. Medina | |
| Department of Mathematics University of Puerto Rico San Juan % 00931 Puerto Rico |
|
|
