Showing 1–50 of 90 results for author: Lagarias, J C

SIC-POVMs and orders of real quadratic fields

Authors: Gene S. Kopp, Jeffrey C. Lagarias

Abstract: We consider the problem of counting and classifying symmetric informationally complete positive operator-valued measures (SICs or SIC-POVMs), that is, sets of $d^2$ equiangular lines in $\mathbb{C}^d$. For $4 \leq d \leq 90$, we show the number of known equivalence classes of Weyl--Heisenberg covariant SICs in dimension $d$ equals the cardinality of the ideal class monoid of (not necessarily inver… ▽ More We consider the problem of counting and classifying symmetric informationally complete positive operator-valued measures (SICs or SIC-POVMs), that is, sets of $d^2$ equiangular lines in $\mathbb{C}^d$. For $4 \leq d \leq 90$, we show the number of known equivalence classes of Weyl--Heisenberg covariant SICs in dimension $d$ equals the cardinality of the ideal class monoid of (not necessarily invertible) ideal classes in the real quadratic order of discriminant $(d+1)(d-3)$. Equivalently, this is the number of $\mathbf{GL}_2(\mathbb{Z})$ conjugacy classes in $\mathbf{SL}_2(\mathbb{Z})$ of trace $d-1$. We conjecture the equality extends to all $d \geq 4$. We prove that this conjecture implies more that one equivalence class of Weyl--Heisenberg covariant SICs for every $d > 22$. Additionally, we refine the "class field hypothesis" of Appleby, Flammia, McConnell, and Yard (arXiv:1604.06098) to predict the exact class field generated by the ratios of vector entries for the equiangular lines defining a Weyl--Heisenberg covariant SIC. The class fields conjecturally associated to SICs in dimension $d$ come with a natural partial order under inclusion; we show that the natural inclusions of these fields are strict, except in a small family of cases. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 45 pages, 3 tables

MSC Class: 11R37 (Primary); 11R29; 11R65; 81P18; 81P15; 81R05; 42C15 (Secondary)

The family of $a$-floor quotient partial orders

Authors: Jeffrey C. Lagarias, David Harry Richman

Abstract: An approximate divisor order is a partial order on the positive integers $\mathbb{N}^+$ that refines the divisor order and is refined by the additive total order. A previous paper studied such a partial order on $\mathbb{N}^+$, produced using the floor function. A positive integer $d$ is a floor quotient of $n$, denoted $d \,\preccurlyeq_{1}\, n$, if there is a positive integer $k$ such that… ▽ More An approximate divisor order is a partial order on the positive integers $\mathbb{N}^+$ that refines the divisor order and is refined by the additive total order. A previous paper studied such a partial order on $\mathbb{N}^+$, produced using the floor function. A positive integer $d$ is a floor quotient of $n$, denoted $d \,\preccurlyeq_{1}\, n$, if there is a positive integer $k$ such that $d = \lfloor{n / k}\rfloor$. The floor quotient relation defines a partial order on the positive integers. This paper studies a family of partial orders, the $a$-floor quotient relations $\,\preccurlyeq_{a}\,$, for $a \in \mathbb{N}^+$, which interpolate between the floor quotient order and the divisor order on $\mathbb{N}^+$. The paper studies the internal structure of these orders. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 30 pages, 3 figures, comments welcome! arXiv admin note: text overlap with arXiv:2212.11689

MSC Class: 06A06; 11A05 (Primary) 05A16; 15B36; 26D07 (Secondary)

The factorial function and generalizations, extended

Authors: Jeffrey C. Lagarias, Wijit Yangjit

Abstract: This paper presents an extension of Bhargava's theory of factorials associated to any nonempty subset $S$ of $\mathbb{Z}$. Bhargava's factorials $k!_S$ are invariants, constructed using the notion of $p$-orderings of $S$ where $p$ is a prime. This paper defines $b$-orderings of any nonempty subset $S$ of $\mathbb{Z}$ for all integers $b\ge2$, as well as "extreme" cases $b=1$ and $b=0$. It defines… ▽ More This paper presents an extension of Bhargava's theory of factorials associated to any nonempty subset $S$ of $\mathbb{Z}$. Bhargava's factorials $k!_S$ are invariants, constructed using the notion of $p$-orderings of $S$ where $p$ is a prime. This paper defines $b$-orderings of any nonempty subset $S$ of $\mathbb{Z}$ for all integers $b\ge2$, as well as "extreme" cases $b=1$ and $b=0$. It defines generalized factorials $k !_{S,T}$ and generalized binomial coefficients $\binom{k+\ell}{k}_{S,T}$ as nonnegative integers, for all nonempty $S$ and allowing only $b$ in $T\subseteq\mathbb{N}$. It computes $b$-ordering invariants when $S$ is $\mathbb{Z}$ and when $S$ is the set of all primes. △ Less

Submitted 4 March, 2024; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: 30 pages

MSC Class: 11B65; 11N80; 13F25

Journal ref: Journal of Number Theory 259 (2024) 131--170

Asymptotics of Reciprocal Supernorm Partition Statistics

Authors: Jeffrey C. Lagarias, Chenyang Sun

Abstract: We consider two multiplicative statistics on the set of integer partitions: the norm of a partition, which is the product of its parts, and the supernorm of a partition, which is the product of the prime numbers $p_i$ indexed by its parts $i$. We introduce and study new statistics that are sums of reciprocals of supernorms on three statistical ensembles of partitions, labelled by their size… ▽ More We consider two multiplicative statistics on the set of integer partitions: the norm of a partition, which is the product of its parts, and the supernorm of a partition, which is the product of the prime numbers $p_i$ indexed by its parts $i$. We introduce and study new statistics that are sums of reciprocals of supernorms on three statistical ensembles of partitions, labelled by their size $|λ|=n$, their perimeter equaling $n$, and their largest part equaling $n$. We show that the cumulative statistics of the reciprocal supernorm for each of the three ensembles are asymptotic to $e^γ \log n$ as $n \to \infty$. △ Less

Submitted 29 August, 2023; originally announced August 2023.

MSC Class: 11P82 (Primary); 05A17 (Secondary)

The floor quotient partial order

Authors: Jeffery C. Lagarias, David Harry Richman

Abstract: A positive integer $d$ is a floor quotient of $n$ if there is a positive integer $k$ such that $d = \lfloor n/k \rfloor$. The floor quotient relation defines a partial order on the positive integers. This paper studies the internal structure of this partial order and its Möbius function. A positive integer $d$ is a floor quotient of $n$ if there is a positive integer $k$ such that $d = \lfloor n/k \rfloor$. The floor quotient relation defines a partial order on the positive integers. This paper studies the internal structure of this partial order and its Möbius function. △ Less

Submitted 23 October, 2023; v1 submitted 22 December, 2022; originally announced December 2022.

Comments: 38 pages, 7 figures. v2: final version, to appear in Advances in Applied Mathematics

MSC Class: 06A06; 11A05 (primary); 06A07; 05A16; 11N80; 15B36; 39B72; 65G30; 97N20 (secondary)

Class field theory for orders of number fields

Authors: Gene S. Kopp, Jeffrey C. Lagarias

Abstract: This paper defines a generalized notion of "ray class group" associated to an arbitrary order in a number field together with an arbitrary ray class modulus for that order. It shows existence of ray class fields corresponding to these ray class groups. These ray class groups (resp., ray class fields) specialize to classical ray class groups (resp., fields) of a number field in the case of the maxi… ▽ More This paper defines a generalized notion of "ray class group" associated to an arbitrary order in a number field together with an arbitrary ray class modulus for that order. It shows existence of ray class fields corresponding to these ray class groups. These ray class groups (resp., ray class fields) specialize to classical ray class groups (resp., fields) of a number field in the case of the maximal order, and they specialize to ring class groups (resp., fields) of orders in the case of trivial modulus. The paper gives an exact sequence for simultaneous change of order and change of modulus. As a consequence, we identify the ray class field of an order with a given modulus as a specific subfield of a ray class field of the maximal order with a larger modulus. We also uniquely identify each ray class field of an order in terms of the splitting behavior of primes. An appendix extends some structural results of the paper to ray class monoids of the order (which include non-invertible elements). △ Less

Submitted 18 December, 2022; originally announced December 2022.

Comments: 47 pages

MSC Class: 11R37 (primary); 11R54 (secondary)

The 3x+1 Problem: An Overview

Authors: Jeffrey C. Lagarias

Abstract: This paper is an overview and survey of work on the 3x+1 problem, also called the Collatz problem, and generalizations of it. It gives a history of the problem. It addresses two questions: (1) What can mathematics currently say about this problem? (as of 2010). (2) How can this problem be hard, when it is so easy to state? This paper is an overview and survey of work on the 3x+1 problem, also called the Collatz problem, and generalizations of it. It gives a history of the problem. It addresses two questions: (1) What can mathematics currently say about this problem? (as of 2010). (2) How can this problem be hard, when it is so easy to state? △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: 27 pages; page breaks and stylefile differ from published version; some typos corrected, journal references updated

MSC Class: 2020: 11B37 ( 11B83; 68Q25)

Journal ref: The Ultimate Challenge: The 3x+1 Problem, Edited by Jeffrey C. Lagarias. American Mathematical Society, Providence RI 2010, pp. 3--29

Interleaving of path sets

Authors: William C. Abram, Jeffrey C. Lagarias, Daniel Slonim

Abstract: Path sets are spaces of one-sided infinite symbol sequences corresponding to the one-sided infinite walks beginning at a fixed initial vertex in a directed labeled graph. Path sets are a generalization of one-sided sofic shifts. This paper studies decimation operations $ψ_{j, n}(\cdot)$ which extract symbol sequences in infinite arithmetic progressions (mod n). starting with the symbol at position… ▽ More Path sets are spaces of one-sided infinite symbol sequences corresponding to the one-sided infinite walks beginning at a fixed initial vertex in a directed labeled graph. Path sets are a generalization of one-sided sofic shifts. This paper studies decimation operations $ψ_{j, n}(\cdot)$ which extract symbol sequences in infinite arithmetic progressions (mod n). starting with the symbol at position j. It also studies a family of n-ary interleaving operations, one for each arity n, which act on an ordered set $(X_0, X_1, ..., X_{n-1})$ of one-sided symbol sequences on a finite alphabet A, to produce a set $X$ of all output sequences obtained by interleaving the symbols of words $x_i$ in each $X_i$ in arithmetic progressions (mod n). It studies a set of closure operations relating interleaving and decimation. It reviews basic algorithmic results on presentations of path sets and existence of a minimal right-resolving presentation. It gives an algorithm for computing presentations of decimations of path sets from presentations of path sets, showing the minimal right-resolving presentation of $ψ_{j,n}(X)$ has at most one more vertex than a minimal right-resolving presentation of X. It shows that a path set has only finitely many distinct decimations. It shows the class of path sets on a fixed alphabet is closed under all interleaving operations, and gives algorithms for computing presentations of n-fold interleavings of given sets $X_i$. It studies interleaving factorizations and classifies path sets that have infinite interleaving factorizations, and gives an algorithm to recognize them. It shows a finiteness of a process of iterated interleaving factorizations, which "freezes" factors that have infinite interleavings. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 35 pages, 6 figures

MSC Class: 37A45

Decimation and Interleaving Operations in One-Sided Symbolic Dynamics

Authors: William C. Abram, Jeffrey C. Lagarias, Daniel J. Slonim

Abstract: This paper studies subsets of one-sided shift spaces on a finite alphabet. Such subsets arise in symbolic dynamics, in fractal constructions, and in number theory. We study a family of decimation operations, which extract subsequences of symbol sequences in infinite arithmetic progressions, and show they are closed under composition. We also study a family of $n$-ary interleaving operations, one f… ▽ More This paper studies subsets of one-sided shift spaces on a finite alphabet. Such subsets arise in symbolic dynamics, in fractal constructions, and in number theory. We study a family of decimation operations, which extract subsequences of symbol sequences in infinite arithmetic progressions, and show they are closed under composition. We also study a family of $n$-ary interleaving operations, one for each $n \ge 1$. Given subsets $X_0, X_1, ..., X_{n-1}$ of the shift space, the $n$-ary interleaving operator produces a set whose elements combine individual elements ${\bf x}_i$, one from each $X_i$, by interleaving their symbol sequences cyclically in arithmetic progressions $(\bmod\,n)$. We determine algebraic relations between decimation and interleaving operators and the shift operator. We study set-theoretic $n$-fold closure operations $X \mapsto X^{[n]}$, which interleave decimations of $X$ of modulus level $n$. A set is $n$-factorizable if $X=X^{[n]}$. The $n$-fold interleaving operators are closed under composition and are idempotent. To each $X$ we assign the set $\mathcal{N}(X)$ of all values $n \ge 1$ for which $X= X^{[n]}$. We characterize the possible sets $\mathcal{N}(X)$ as nonempty sets of positive integers that form a distributive lattice under the divisibility partial order and are downward closed under divisibility. We show that all sets of this type occur. We introduce a class of weakly shift-stable sets and show that this class is closed under all decimation, interleaving, and shift operations. This class includes all shift-invariant sets. We study two notions of entropy for subsets of the full one-sided shift and show that they coincide for weakly shift-stable $X$, but can be different in general. We give a formula for entropy of interleavings of weakly shift-stable sets in terms of individual entropies. △ Less

Submitted 14 December, 2020; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: 41 pages, 2 figures

MSC Class: 37B10 (Primary) 37B40 (Secondary)

Journal ref: Advances in Applied Mathematics 126 (2021), no 1, 351--376

Partial Factorizations of Products of Binomial Coefficients

Authors: Lara Du, Jeffrey C. Lagarias

Abstract: Let $G_n= \prod_{k=0}^n \binom{n}{k},$ the product of the elements of the $n$-th row of Pascal's triangle. This paper studies the partial factorizations of $G_n$ given by the product $G(n,x)$ of all prime factors $p$ of $G_n$ having $p \le x$, counted with multiplicity. It shows $\log G(n, αn) \sim f_G(α)n^2$ as $n \to \infty$ for a limit function $f_{G}(α)$ defined for $0 \le α\le 1$. The main re… ▽ More Let $G_n= \prod_{k=0}^n \binom{n}{k},$ the product of the elements of the $n$-th row of Pascal's triangle. This paper studies the partial factorizations of $G_n$ given by the product $G(n,x)$ of all prime factors $p$ of $G_n$ having $p \le x$, counted with multiplicity. It shows $\log G(n, αn) \sim f_G(α)n^2$ as $n \to \infty$ for a limit function $f_{G}(α)$ defined for $0 \le α\le 1$. The main results are deduced from study of functions $A(n, x), B(n,x),$ that encode statistics of the base $p$ radix expansions of the integer $n$ (and smaller integers), where the base $p$ ranges over primes $p \le x$. Asymptotics of $A(n,x)$ and $B(n,x)$ are derived using the prime number theorem with remainder term or conditionally on the Riemann hypothesis. △ Less

Submitted 4 October, 2020; v1 submitted 27 June, 2020; originally announced June 2020.

Comments: 27 pages, 4 figures Submitted to International Journal of Number Theory

MSC Class: 11N56; 11A63; 11B65; 11N05

Journal ref: International Journal of Number Theory 18 (2022), No. 3, 691--728

Dilated floor functions having nonnegative commutator II. Negative dilations

Authors: Jeffrey C. Lagarias, D. Harry Richman

Abstract: This paper completes the classification of the set $S$ of all real parameter pairs $(α,β)$ such that the dilated floor functions $f_α(x) = \lfloor{αx}\rfloor$, $f_β(x) = \lfloor{βx}\rfloor$ have a nonnegative commutator, i.e. $ [ f_α, f_β](x) = \lfloor{α\lfloor{βx}\rfloor}\rfloor - \lfloor{β\lfloor{αx}\rfloor}\rfloor \geq 0$ for all real $x$. This paper treats the case where both dilation paramete… ▽ More This paper completes the classification of the set $S$ of all real parameter pairs $(α,β)$ such that the dilated floor functions $f_α(x) = \lfloor{αx}\rfloor$, $f_β(x) = \lfloor{βx}\rfloor$ have a nonnegative commutator, i.e. $ [ f_α, f_β](x) = \lfloor{α\lfloor{βx}\rfloor}\rfloor - \lfloor{β\lfloor{αx}\rfloor}\rfloor \geq 0$ for all real $x$. This paper treats the case where both dilation parameters $α, β$ are negative. This result is equivalent to classifying all positive $α, β$ satisfying $ \lfloor{α\lceil{βx}\rceil}\rfloor - \lfloor{β\lceil{αx}\rceil}\rfloor \geq 0$ for all real $x$. The classification analysis is connected with the theory of Beatty sequences and with the Diophantine Frobenius problem in two generators. △ Less

Submitted 14 February, 2020; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: 18 pages, 8 figures

MSC Class: 11A25 (Primary); 11B83; 11D07; 11Z05; 26D07; 52C05 (Secondary)

Journal ref: Acta Arithmetica 196 (2020), no. 2, 163--186

Band-limited mimicry of point processes by point processes supported on a lattice

Authors: Jeffrey C. Lagarias, Brad Rodgers

Abstract: We say that one point process on the line $\mathbb{R}$ mimics another at a bandwidth $B$ if for each $n \ge 1$ the two point processes have $n$-level correlation functions that agree when integrated against all bandlimited test functions on bandwidth $[-B, B]$. This paper asks the question of for what values $a$ and $B$ can a given point process on the real line be mimicked at bandwidth $B$ by a p… ▽ More We say that one point process on the line $\mathbb{R}$ mimics another at a bandwidth $B$ if for each $n \ge 1$ the two point processes have $n$-level correlation functions that agree when integrated against all bandlimited test functions on bandwidth $[-B, B]$. This paper asks the question of for what values $a$ and $B$ can a given point process on the real line be mimicked at bandwidth $B$ by a point process supported on the lattice $a\mathbb{Z}$. For Poisson point processes we give a complete answer for allowed parameter ranges $(a,B)$, and for the sine process we give existence and nonexistence regions for parameter ranges. The results for the sine process have an application to the Alternative Hypothesis regarding the scaled spacing of zeros of the Riemann zeta function, given in a companion paper. △ Less

Submitted 3 February, 2020; v1 submitted 7 July, 2019; originally announced July 2019.

Comments: 25 pages, 1 figure. Companion paper to arXiv:1905.12123. Incorporates referee suggestions

Journal ref: Annals of Applied Probability 31 (2021), no.1, 351--376

Higher Correlations and the Alternative Hypothesis

Authors: Jeffrey C. Lagarias, Brad Rodgers

Abstract: The Alternative Hypothesis concerns a hypothetical and unlikely picture of how zeros of the Riemann zeta function are spaced which one would like to rule out. In the Alternative Hypothesis, the renormalized distance between nontrivial zeros is supposed to always lie at a half integer. It is known that the Alternative Hypothesis is compatible with what is known about the pair correlation function o… ▽ More The Alternative Hypothesis concerns a hypothetical and unlikely picture of how zeros of the Riemann zeta function are spaced which one would like to rule out. In the Alternative Hypothesis, the renormalized distance between nontrivial zeros is supposed to always lie at a half integer. It is known that the Alternative Hypothesis is compatible with what is known about the pair correlation function of zeta zeros. We ask whether what is currently known about higher correlation functions of the zeros is sufficient to rule out the Alternative Hypothesis and show by construction of an explicit counterexample point process that it is not. A similar result was recently independently obtained by T. Tao, using slightly different methods. We also apply the ergodic theorem to this point process to show there exists a deterministic collection of points lying in $\tfrac{1}{2}\mathbb{Z}$ which satisfy the Alternative Hypothesis spacing but mimic all statistics which are currently known about zeros of the zeta function. △ Less

Submitted 19 August, 2019; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 17 pages, 2 figures. Incorporates referee suggestions

Journal ref: Quarterly J. Math. (Oxford) 71 (2020), Issue 1, 257--280

Dilated floor functions having nonnegative commutator I. Positive and mixed sign dilations

Authors: Jeffrey C. Lagarias, D. Harry Richman

Abstract: In this paper and its sequel we classify the set $S$ of all real parameter pairs $(α,β)$ such that the dilated floor functions $f_α(x) = \lfloor{αx}\rfloor$ and $f_β(x) = \lfloor{βx}\rfloor$ have a nonnegative commutator, i.e. $ [ f_α, f_β](x) = \lfloor{α\lfloor{βx}\rfloor}\rfloor - \lfloor{β\lfloor{αx}\rfloor}\rfloor \geq 0$ for all real $x$. The relation $[f_α,f_β]\geq 0$ induces a preorder on t… ▽ More In this paper and its sequel we classify the set $S$ of all real parameter pairs $(α,β)$ such that the dilated floor functions $f_α(x) = \lfloor{αx}\rfloor$ and $f_β(x) = \lfloor{βx}\rfloor$ have a nonnegative commutator, i.e. $ [ f_α, f_β](x) = \lfloor{α\lfloor{βx}\rfloor}\rfloor - \lfloor{β\lfloor{αx}\rfloor}\rfloor \geq 0$ for all real $x$. The relation $[f_α,f_β]\geq 0$ induces a preorder on the set of non-zero dilation factors $α, β$, which extends the divisibility partial order on positive integers. This paper treats the cases where at least one of the dilation parameters $α$ or $β$ is nonnegative. The analysis of the positive dilations case is related to the theory of Beatty sequences and to the Diophantine Frobenius problem in two generators. △ Less

Submitted 19 June, 2018; v1 submitted 1 June, 2018; originally announced June 2018.

Comments: 22 pages, 8 figures; added funding information

Journal ref: Acta Arithmetica 187 (2019), No. 3, 271--299

Shifted polyharmonic Maass forms for PSL(2,Z)

Authors: Nickolas Andersen, Jeffrey C. Lagarias, Robert C. Rhoades

Abstract: We study the vector space V_k^m(λ) of shifted polyharmonic Maass forms of weight k \in 2Z, depth m \geq 0, and shift λ\in C. This space is composed of real-analytic modular forms of weight k for PSL(2,Z) with moderate growth at the cusp which are annihilated by (Δ_k - λ)^m, where Δ_k is the weight k hyperbolic Laplacian. We treat the case λ\neq 0, complementing work of the second and third authors… ▽ More We study the vector space V_k^m(λ) of shifted polyharmonic Maass forms of weight k \in 2Z, depth m \geq 0, and shift λ\in C. This space is composed of real-analytic modular forms of weight k for PSL(2,Z) with moderate growth at the cusp which are annihilated by (Δ_k - λ)^m, where Δ_k is the weight k hyperbolic Laplacian. We treat the case λ\neq 0, complementing work of the second and third authors on polyharmonic Maass forms (with no shift). We show that V_k^m(λ) is finite-dimensional and bound its dimension. We explain the role of the real-analytic Eisenstein series E_k(z,s) with λ=s(s+k-1) and of the differential operator d/ds in this theory. △ Less

Submitted 3 August, 2017; originally announced August 2017.

Comments: 34 pages

MSC Class: 11F55; 11F37; 11F12

Journal ref: Acta Arithmetica 185 (2018), No. 1, 39--79

Configuration Spaces of Equal Spheres Touching a Given Sphere: The Twelve Spheres Problem

Authors: Rob Kusner, Wöden Kusner, Jeffrey C. Lagarias, Senya Shlosman

Abstract: The problem of twelve spheres is to understand, as a function of $r \in (0,r_{max}(12)]$, the configuration space of $12$ non-overlap** equal spheres of radius $r$ touching a central unit sphere. It considers to what extent, and in what fashion, touching spheres can be varied, subject to the constraint of always touching the central sphere. Such constrained motion problems are of interest in phy… ▽ More The problem of twelve spheres is to understand, as a function of $r \in (0,r_{max}(12)]$, the configuration space of $12$ non-overlap** equal spheres of radius $r$ touching a central unit sphere. It considers to what extent, and in what fashion, touching spheres can be varied, subject to the constraint of always touching the central sphere. Such constrained motion problems are of interest in physics and materials science, and the problem involves topology and geometry. This paper reviews the history of work on this problem, presents some new results, and formulates some conjectures. It also presents general results on configuration spaces of $N$ spheres of radius $r$ touching a central unit sphere, with emphasis on $3 \le N \le 14$. The problem of determining the maximal radius $r_{max}(N)$ is a version of the Tammes problem, to which László Fejes Tóth made significant contributions. △ Less

Submitted 5 March, 2018; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: (v3) 53 pages, 12 figures. In celebration of László Fejes Tóth. (FT100). Minor updates to language in the introduction. Title modified to include an initial clause. Abstract language modified

MSC Class: 11H31; 49K35; 52C17; 52C25; 53C22; 55R80; 57R70; 58E05; 58K05; 70G10; 82B05

Journal ref: pp. 219--277 in: G. Ambrus, I. Barany, K. J. Boroczky, G. Fejes-Toth, J. Pach (Eds.) New Trends in Intuitive Geometry, Bolyai Society Mathematical Studies No. 27, Springer-Verlag GMBH, Germany 2018

Dilated Floor Functions That Commute

Authors: Jeffrey C. Lagarias, Takumi Murayama, D. Harry Richman

Abstract: We determine all pairs of real numbers $(α, β)$ such that the dilated floor functions $\lfloor αx\rfloor$ and $\lfloor βx\rfloor$ commute under composition, i.e., such that $\lfloor α\lfloor βx\rfloor\rfloor = \lfloor β\lfloor αx\rfloor\rfloor$ holds for all real $x$. We determine all pairs of real numbers $(α, β)$ such that the dilated floor functions $\lfloor αx\rfloor$ and $\lfloor βx\rfloor$ commute under composition, i.e., such that $\lfloor α\lfloor βx\rfloor\rfloor = \lfloor β\lfloor αx\rfloor\rfloor$ holds for all real $x$. △ Less

Submitted 16 November, 2016; originally announced November 2016.

Comments: 6 pages, to appear in Amer. Math. Monthly

MSC Class: 39B12 (Primary); 11J54; 68U05 (Secondary)

Journal ref: Amer. Math. Monthly 123, no. 10 (2016) 1033-1038

Polynomial splitting measures and cohomology of the pure braid group

Authors: Trevor Hyde, Jeffrey C. Lagarias

Abstract: We study for each $n$ a one-parameter family of complex-valued measures on the symmetric group $S_n$, which interpolate the probability of a monic, degree $n$, square-free polynomial in $\mathbb{F}_q[x]$ having a given factorization type. For a fixed factorization type, indexed by a partition $λ$ of $n$, the measure is known to be a Laurent polynomial. We express the coefficients of this polynomia… ▽ More We study for each $n$ a one-parameter family of complex-valued measures on the symmetric group $S_n$, which interpolate the probability of a monic, degree $n$, square-free polynomial in $\mathbb{F}_q[x]$ having a given factorization type. For a fixed factorization type, indexed by a partition $λ$ of $n$, the measure is known to be a Laurent polynomial. We express the coefficients of this polynomial in terms of characters associated to $S_n$-subrepresentations of the cohomology of the pure braid group $H^{\bullet}(P_n, \mathbb{Q})$. We deduce that the splitting measures for all parameter values $z= -\frac{1}{m}$ (resp. $z= \frac{1}{m}$), after rescaling, are characters of $S_n$-representations (resp. virtual $S_n$-representations.) △ Less

Submitted 24 February, 2017; v1 submitted 18 April, 2016; originally announced April 2016.

Comments: To appear in the Arnold Mathematical Journal

MSC Class: Primary 11R09; Secondary 11R32; 12E20; 12E25

Journal ref: Arnold Mathematical Journal 3, no. 2, 219--249 (2017)

The Lerch zeta function and the Heisenberg group

Authors: Jeffrey C. Lagarias

Abstract: This paper gives a representation-theoretic interpretation of the Lerch zeta function and related Lerch $L$-functions twisted by Dirichlet characters. These functions are associated to a four-dimensional solvable real Lie group $H^{J}$, called here the sub-Jacobi group, which is a semi-direct product of $GL(1, {\mathbb R})$ with the Heisenberg group $H({\mathbb R})$. The Heisenberg group action on… ▽ More This paper gives a representation-theoretic interpretation of the Lerch zeta function and related Lerch $L$-functions twisted by Dirichlet characters. These functions are associated to a four-dimensional solvable real Lie group $H^{J}$, called here the sub-Jacobi group, which is a semi-direct product of $GL(1, {\mathbb R})$ with the Heisenberg group $H({\mathbb R})$. The Heisenberg group action on L^2-functions on the Heisenberg nilmanifold $H({\mathbb Z}) \backslash H({\mathbb R})$ decomposes as $\bigoplus_{N \in {\mathbb Z}} H_N$, where each space $H_N~ (N \neq 0)$ consists of $|N|$ copies of an irreducible representation of $H({\mathbb R})$ with central character $e^{2 πi Nz}$. The paper shows that show one can further decompose $H_N (N \ne 0)$ into irreducible $H({\mathbb R})$-modules $H_{N,d}(χ)$ indexed by Dirichlet characters $(\bmod~ d)$ for $d \mid N$, each of which carries an irreducible $H^J$-action. On each $H_{N,d}(χ)$ there is an action of certain two-variable Hecke operators $\{T_m: m \ge 1\}$; these Hecke operators have a natural global definition on all of $L^2(H({\mathbb Z})\backslash H({\mathbb R}))$, including the space of one-dimensional representations $H_0$. For $H_{N,d}(χ)$ with $N \neq 0$ suitable Lerch $L$-functions on the critical line $\frac{1}{2} + it$ form a complete family of generalized eigenfunctions (pure continuous spectrum) for a certain linear partial differential operator $Δ_L$. These Lerch $L$-functions are also simultaneous eigenfunctions for all two-variable Hecke operators $T_m$ and their adjoints $T_m^{\ast}$, provided $(m, N/d) = 1$. Lerch $L$-functions are characterized by this Hecke eigenfunction property. △ Less

Submitted 31 December, 2020; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: v3. 63 pages, corrections plus additional material in first two sections v4. 56 pages, corrections

MSC Class: 11M35; 11F55; 22E40

Notes on Cardinal's Matrices

Authors: Jeffrey C. Lagarias, David Montague

Abstract: These notes are motivated by the work of Jean-Paul Cardinal on symmetric matrices related to the Mertens function. He showed that certain norm bounds on his matrices implied the Riemann hypothesis. Using a different matrix norm we show an equivalence of the Riemann hypothesis to suitable norm bounds on his matrices in the new norm. Then we specify a deformed version of his Mertens function matrice… ▽ More These notes are motivated by the work of Jean-Paul Cardinal on symmetric matrices related to the Mertens function. He showed that certain norm bounds on his matrices implied the Riemann hypothesis. Using a different matrix norm we show an equivalence of the Riemann hypothesis to suitable norm bounds on his matrices in the new norm. Then we specify a deformed version of his Mertens function matrices that unconditionally satisfies a norm bound that is of the same strength as his Riemann hypothesis bound. △ Less

Submitted 25 November, 2015; originally announced November 2015.

Comments: 21 pages

MSC Class: 11C20; 11M26; 15A60

The Lerch zeta function IV. Hecke operators

Authors: Jeffrey C. Lagarias, Wen-Ching Winnie Li

Abstract: This paper studies algebraic and analytic structures associated with the Lerch zeta function. It defines a family of two-variable Hecke operators $\{ T_m: \, m \ge 1\}$ given by $T_m(f)(a, c) = \frac{1}{m} \sum_{k=0}^{m-1} f(\frac{a+k}{m}, mc)$ acting on certain spaces of real-analytic functions, including Lerch zeta functions for various parameter values. It determines the action of various relat… ▽ More This paper studies algebraic and analytic structures associated with the Lerch zeta function. It defines a family of two-variable Hecke operators $\{ T_m: \, m \ge 1\}$ given by $T_m(f)(a, c) = \frac{1}{m} \sum_{k=0}^{m-1} f(\frac{a+k}{m}, mc)$ acting on certain spaces of real-analytic functions, including Lerch zeta functions for various parameter values. It determines the action of various related operators on these function spaces. It characterizes Lerch zeta functions (for fixed $s$ in the following way. It shows that there is for each $s \in {\bf C}$ a two-dimensional vector space spanned by linear combinations of Lerch zeta functions is characterized as a maximal space of simultaneous eigenfunctions for this family of Hecke operators. This result is an analogue of a result of Milnor for the Hurwitz zeta function. We also relate these functions to a linear partial differential operator in the $(a, c)$-variables having the Lerch zeta function as an eigenfunction. △ Less

Submitted 16 August, 2016; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: 40 pages, preliminary version; v2 41 pages, preliminary version2, v3 42 pages, revised version for journal

MSC Class: 11M35

Journal ref: Research in the Mathematical Sciences (2016) 3:33

Intersections of multiplicative translates of $3$-adic Cantor sets II: two infinite families

Authors: William C. Abram, Artem Bolshakov, Jeffrey C. Lagarias

Abstract: This paper continues the study of the structure of finite intersections of general multiplicative translates $\mathcal{C}(M_1,\ldots,M_n)=\frac{1}{M_1}Σ_{3,\bar{2}}\cap\cdots\cap\frac{1}{M_n}Σ_{3,\bar{2}}$ for integers $1\leq M_1<\cdots<M_n$, where $Σ_{3,\bar{2}}$ denotes the $3$-adic Cantor set. This study was motivated by questions concerning the discrete dynamical system on the $3$-adic integer… ▽ More This paper continues the study of the structure of finite intersections of general multiplicative translates $\mathcal{C}(M_1,\ldots,M_n)=\frac{1}{M_1}Σ_{3,\bar{2}}\cap\cdots\cap\frac{1}{M_n}Σ_{3,\bar{2}}$ for integers $1\leq M_1<\cdots<M_n$, where $Σ_{3,\bar{2}}$ denotes the $3$-adic Cantor set. This study was motivated by questions concerning the discrete dynamical system on the $3$-adic integers $\mathbb{Z}_3$ given by multiplication by $2$. The exceptional set $\mathcal{E}(\mathbb{Z}_3)$ is defined to be the set of all elements of $\mathbb{Z}_3$ whose forward orbits under this action intersect the $3$-adic Cantor set $Σ_{3,\bar{2}}$ infinitely many times. It is conjectured that it has Hausdorff dimension $0$. Part I showed that upper bounds on the Hausdorff dimension of the exceptional set can be extracted from knowing Hausdorff dimensions of sets of the kind above, in cases where all $M_i$ are powers of $2$. These intersection sets were shown to be fractals whose points have $3$-adic expansions describable by labeled paths in a finite automaton, whose Hausdorff dimension is exactly computable and is of the form $\log_3(β)$ where $β$ is a real algebraic integer. It gave algorithms for determination of the automaton, and computed examples showing that the dependence of the automaton and the value $β$ on the parameters $(M_1,\ldots,M_n)$ is complicated. The present paper studies two new infinite families of examples, illustrating interesting behavior of the automata and of the Hausdorff dimension of the associated fractals. One family has associated automata whose directed graph has a nested sequence of strongly connected components of arbitrarily large depth. The second family leads to an improved upper bound for the Hausdorff dimension of $\mathcal{E}(\mathbb{Z}_3)$ of $\log_3 φ\approx 0.438018$, where $φ$ denotes the Golden ratio. △ Less

Submitted 15 December, 2015; v1 submitted 24 August, 2015; originally announced August 2015.

Comments: v5.8, 33 pages, 3 figures, 5 tables

MSC Class: 11A63; 11K55; 37B10

Journal ref: Experimental Mathematics 26 (2017), no. 4, 468--489

Polyharmonic Maass forms for PSL(2, Z)

Authors: Jeffrey C. Lagarias, Robert C. Rhoades

Abstract: We discuss polyharmonic Maass forms of even integer weight on PSL(2, Z)\H, which are a generalization of classical Maass forms. We explain the role of real-analytic Eisenstein series E_k(z, s) and the differential operator $\partial/\partial s$ in this theory. We discuss polyharmonic Maass forms of even integer weight on PSL(2, Z)\H, which are a generalization of classical Maass forms. We explain the role of real-analytic Eisenstein series E_k(z, s) and the differential operator $\partial/\partial s$ in this theory. △ Less

Submitted 11 August, 2015; originally announced August 2015.

Comments: 36 pages

Journal ref: Ramanujan Journal 41 (2016), 191--232

The Lerch zeta function III. Polylogarithms and special values

Authors: Jeffrey C. Lagarias, W. -C. Winnie Li

Abstract: This paper studies algebraic and analytic structures associated with the Lerch zeta function, extending the complex variables viewpoint taken in part II. The Lerch transcendent $Φ(s, z, c)$ is obtained from the Lerch zeta function $ζ(s, a, c)$ by the change of variable $z=e^{2 πi a}$. We show that it analytically continues to a maximal domain of holomorphy in three complex variables $(s, z, c)$ as… ▽ More This paper studies algebraic and analytic structures associated with the Lerch zeta function, extending the complex variables viewpoint taken in part II. The Lerch transcendent $Φ(s, z, c)$ is obtained from the Lerch zeta function $ζ(s, a, c)$ by the change of variable $z=e^{2 πi a}$. We show that it analytically continues to a maximal domain of holomorphy in three complex variables $(s, z, c)$ as a multivalued function defined over the base manifold ${\bf C} \times P^1({\bf C} \smallsetminus \{0, 1, \infty\}) \times ({\bf C}\smallsetminus {\bf Z})$. and compute the monodromy functions defining the multivaluedness. For positive integer values s=m and c=1 this function is closely related to the classical m-th order polylogarithm $Li_m(z)$ We study its behavior as a function of two variables $(z, c)$ for special values where s=m is an integer. For $m \ge 1$ it gives a one-parameter deformation of the polylogarithm, and satisfies a linear ODE with coefficients depending on c, of order m+1 of Fuchsian type. We determine its (m+1)-dimensional monodromy representation, which is a non-algebraic deformation of the monodromy of $Li_m(z).$ △ Less

Submitted 20 November, 2015; v1 submitted 19 June, 2015; originally announced June 2015.

Comments: 55 pages, 6 figures

MSC Class: 11M35; 33B30

Journal ref: Research in the Mathematical Sciences (2016) 3, 2, 54 pages

A family of measures on symmetric groups and the field with one element

Authors: Jeffrey C. Lagarias

Abstract: For each positive integer n this paper considers a one-parameter family of complex-valued measures on the symmetric group S_n, depending on a complex parameter z. For parameter values z=p^f a prime power, this measure describes splitting probabilities for monic degree n polynomials over the finite field with p^f elements, conditioned on being square-free. It studies these measure in the special ca… ▽ More For each positive integer n this paper considers a one-parameter family of complex-valued measures on the symmetric group S_n, depending on a complex parameter z. For parameter values z=p^f a prime power, this measure describes splitting probabilities for monic degree n polynomials over the finite field with p^f elements, conditioned on being square-free. It studies these measure in the special case z=1, and shows they have an interesting internal structure having a representation theoretic interpretation. These measures may provide data relevant to the hypothetical "field with one element ${\mathbb F_1}$". It additionally studies the case z=-1, which also has a representation-theoretic interpretation △ Less

Submitted 17 January, 2018; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: 30 pages

Journal ref: J. Number Theory 161 (2016), 311-342

Products of binomial coefficients and unreduced Farey fractions

Authors: Jeffrey C. Lagarias, Harsh Mehta

Abstract: This paper studies the product $\bar{G}_n$ of the binomial coefficients in the n-th row of Pascal's triangle, which equals the reciprocal of the product of all the reduced and unreduced Farey fractions of order n. It studies its size as a real number, measured by its logarithm $log(\bar{G}_n)$, and its prime factorization, measured by the order of divisibility by a fixed prime p, each viewed as a… ▽ More This paper studies the product $\bar{G}_n$ of the binomial coefficients in the n-th row of Pascal's triangle, which equals the reciprocal of the product of all the reduced and unreduced Farey fractions of order n. It studies its size as a real number, measured by its logarithm $log(\bar{G}_n)$, and its prime factorization, measured by the order of divisibility by a fixed prime p, each viewed as a function of n. It derives three formulas for its prime power divisibility, $ord_p(\bar{G}_n)$, two of which relate it to base p radix expansions of n, and which display different facets of its behavior. These formulas are used to determine the maximal growth rate of each $ord_p(\bar{G}_n)$ and structure of the fluctuations of these functions. It also defines analogous functions for all integer bases $b$ replacing prime bases. A final topic relates the factorizations of $\bar{G}_n$ to Chebyshev-type prime-counting estimates and the prime number theorem. △ Less

Submitted 15 September, 2015; v1 submitted 14 September, 2014; originally announced September 2014.

Comments: 30 pages, 3 figures, two Appendices. ; v2 is 31 pages, Appendices moved before reference list; v3 is 31 pages,corrections to match journal version

MSC Class: Primary 11B65; Secondary: 05A10; 11B57; 11N05; 11N64

Journal ref: International J. of Number Theory 12 (2016), no.1, 57--91

$3x+1$ inverse orbit generating functions almost always have natural boundaries

Authors: Jason P. Bell, Jeffrey C. Lagarias

Abstract: The $3x+k$ function $T_{k}(n)$ sends $n$ to $(3n+k)/2$ resp. $n/2,$ according as $n$ is odd, resp. even, where $k \equiv \pm 1~(\bmod \, 6)$. The map $T_k(\cdot)$ sends integers to integers, and for $m \ge 1$ let $n \rightarrow m$ mean that $m$ is in the forward orbit of $n$ under iteration of $T_k(\cdot).$ We consider the generating functions $f_{k,m}(z) = \sum_{n>0, n \rightarrow m} z^{n},$ whic… ▽ More The $3x+k$ function $T_{k}(n)$ sends $n$ to $(3n+k)/2$ resp. $n/2,$ according as $n$ is odd, resp. even, where $k \equiv \pm 1~(\bmod \, 6)$. The map $T_k(\cdot)$ sends integers to integers, and for $m \ge 1$ let $n \rightarrow m$ mean that $m$ is in the forward orbit of $n$ under iteration of $T_k(\cdot).$ We consider the generating functions $f_{k,m}(z) = \sum_{n>0, n \rightarrow m} z^{n},$ which are holomorphic in the unit disk. We give sufficient conditions on $(k,m)$ for the functions $f_{k, m}(z)$ have the unit circle $\{|z|=1\}$ as a natural boundary to analytic continuation. For the $3x+1$ function these conditions hold for all $m \ge 1$ to show that $f_{1,m}(z)$ has the unit circle as a natural boundary except possibly for $m= 1, 2, 4$ and $8$. The $3x+1$ Conjecture is equivalent to the assertion that $f_{1, m}(z)$ is a rational function of $z$ for the remaining values $m=1,2, 4, 8$. △ Less

Submitted 28 August, 2014; originally announced August 2014.

Comments: 15 pages

MSC Class: Primary: 30B40; Secondary: 11B83; 11K31; 26A18; 30B10; 37A45

Journal ref: Acta Arithmetica 170 (2015), no. 2, 101--120

Splitting Behavior of $S_n$-Polynomials

Authors: Jeffrey C. Lagarias, Benjamin L. Weiss

Abstract: We analyze the probability that, for a fixed finite set of primes S, a random, monic, degree n polynomial f(x) with integer coefficients in a box of side B around 0 satisfies: (i) f(x) is irreducible over the rationals, with splitting field over the rationals having Galois group $S_n$; (ii) the polynomial discriminant Disc(f) is relatively prime to all primes in S; (iii) f(x) has a prescribed spli… ▽ More We analyze the probability that, for a fixed finite set of primes S, a random, monic, degree n polynomial f(x) with integer coefficients in a box of side B around 0 satisfies: (i) f(x) is irreducible over the rationals, with splitting field over the rationals having Galois group $S_n$; (ii) the polynomial discriminant Disc(f) is relatively prime to all primes in S; (iii) f(x) has a prescribed splitting type at each prime p in S. The limit probabilities as $B \to \infty$ are described in terms of values of a one-parameter family of measures on $S_n$, called splitting measures, with parameter $z$ evaluated at the primes p in S. We study properties of these measures. We deduce that there exist degree n extensions of the rationals with Galois closure having Galois group $S_n$ with a given finite set of primes S having given Artin symbols, with some restrictions on allowed Artin symbols for p<n. We compare the distributions of these measures with distributions formulated by Bhargava for splitting probabilities for a fixed prime $p$ in such degree $n$ extensions ordered by size of discriminant, conditioned to be relatively prime to $p$. △ Less

Submitted 24 March, 2015; v1 submitted 26 August, 2014; originally announced August 2014.

Comments: 33 pages, v2 34 pages, introduction revised

MSC Class: Primary: 11R09; Secondary: 11R32; 12E20; 12E25

Journal ref: Research in Number Theory (2015) 1:7

A Skolem-Mahler-Lech theorem for iterated automorphisms of $K$-algebras

Authors: Jason P. Bell, Jeffrey C. Lagarias

Abstract: This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $σ$ be a $K$-algebra automorphism of $A$. Given ideals $I$ and $J$ of $A$, we show that the set $S$ of integers $m$ such that $σ^m(I) \supseteq J$ is a finite union of complete do… ▽ More This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $σ$ be a $K$-algebra automorphism of $A$. Given ideals $I$ and $J$ of $A$, we show that the set $S$ of integers $m$ such that $σ^m(I) \supseteq J$ is a finite union of complete doubly infinite arithmetic progressions in $m$, up to the addition of a finite set. Alternatively, this result states that for an affine scheme $X$ of finite type over $K$, an automorphism $σ\in {\rm Aut}_K(X)$, and $Y$ and $Z$ any two closed subschemes of $X$, the set of integers $m$ with $σ^m(Z ) \subseteq Y$ is as above. The paper presents examples showing that this result may fail to hold if the affine scheme $X$ is not of finite type, or if $X$ is of finite type but the field $K$ has positive characteristic. △ Less

Submitted 18 December, 2013; originally announced December 2013.

Comments: 29 pages; to appear in the Canadian Journal of Mathematics

MSC Class: Primary: 11D45. Secondary: 14R10. 11Y55; 11D88

Journal ref: Canadian Journal of Mathematics 67 (2015), no. 2, 286--314

Moser's Shadow Problem

Authors: Jeffrey C. Lagarias, Yusheng Luo, Arnau Padrol

Abstract: Moser's shadow problem asks to estimate the shadow function $\mathfrak{s}_b(n)$, which is the largest number such that for each bounded convex polyhedron $P$ with $n$ vertices in $3$-space there is some direction ${\bf v}$ (depending on $P$) such that, when illuminated by parallel light rays from infinity in direction ${\bf v}$, the polyhedron casts a shadow having at least $\mathfrak{s}_b(n)$ ver… ▽ More Moser's shadow problem asks to estimate the shadow function $\mathfrak{s}_b(n)$, which is the largest number such that for each bounded convex polyhedron $P$ with $n$ vertices in $3$-space there is some direction ${\bf v}$ (depending on $P$) such that, when illuminated by parallel light rays from infinity in direction ${\bf v}$, the polyhedron casts a shadow having at least $\mathfrak{s}_b(n)$ vertices. A general version of the problem allows unbounded polyhedra as well, and has associated shadow function $\mathfrak{s}_u(n)$. This paper presents correct order of magnitude asymptotic bounds on these functions. The bounded case has answer $\mathfrak{s}_b(n) = Θ\big( \log (n)/ (\log(\log (n))\big$. The unbounded shadow problem is shown to have the different asymptotic growth rate $\mathfrak{s}_u(n) = Θ\big(1\big)$. Results on the bounded shadow problem follow from 1989 work of Chazelle, Edelsbrunner and Guibas on the (bounded) silhouette span number $\mathfrak{s}_b^{\ast}(n)$, defined analogously but with arbitrary light sources. We complete the picture by showing that the unbounded silhouette span number $\mathfrak{s}_u^{\ast}(n)$ grows as $Θ\big( \log (n)/ (\log(\log (n))\big)$. △ Less

Submitted 17 July, 2018; v1 submitted 16 October, 2013; originally announced October 2013.

Comments: v5, 25 pages, additional result added for unbounded silhouette span

MSC Class: Primary: 52B10; Secondary: 51N15; 65D18; 68U05; 90C05

Journal ref: L'Enseigement Math. 64 (2018), 477-496

Intersections of multiplicative translates of 3-adic Cantor sets

Authors: William Abram, Jeffrey C. Lagarias

Abstract: Motivated by a question of Erdős, this paper considers questions concerning the discrete dynamical system on the 3-adic integers given by multiplication by 2. Let the 3-adic Cantor set consist of all 3-adic integers whose expansions use only the digits 0 and 1. The exception set is the set of 3-adic integers whose forward orbits under this action intersects the 3-adic Cantor set infinitely many ti… ▽ More Motivated by a question of Erdős, this paper considers questions concerning the discrete dynamical system on the 3-adic integers given by multiplication by 2. Let the 3-adic Cantor set consist of all 3-adic integers whose expansions use only the digits 0 and 1. The exception set is the set of 3-adic integers whose forward orbits under this action intersects the 3-adic Cantor set infinitely many times. It has been shown that this set has Hausdorff dimension 0. Approaches to upper bounds on the Hausdorff dimensions of these sets leads to study of intersections of multiplicative translates of Cantor sets by powers of 2. More generally, this paper studies the structure of finite intersections of general multiplicative translates of the 3-adic Cantor set by integers 1 < M_1 < M_2 < ...< M_n. These sets are describable as sets of 3-adic integers whose 3-adic expansions have one-sided symbolic dynamics given by a finite automaton. As a consequence, the Hausdorff dimension of such a set is always of the form log(β) for an algebraic integer β. This paper gives a method to determine the automaton for given data (M_1, ..., M_n). Experimental results indicate that the Hausdorff dimension of such sets depends in a very complicated way on the integers M_1,...,M_n. △ Less

Submitted 14 August, 2013; originally announced August 2013.

Comments: v1, 31 pages, 6 figures

MSC Class: 11A63; 11K55; 37B10

Journal ref: J. Fractal Geometry 1 (2014), no. 4, 349--390

Euler's constant: Euler's work and modern developments

Authors: Jeffrey C. Lagarias

Abstract: This paper has two parts. The first part surveys Euler's work on the constant gamma=0.57721... bearing his name, together with some of his related work on the gamma function, values of the zeta function and divergent series. The second part describes various mathematical developments involving Euler's constant, as well as another constant, the Euler-Gompertz constant. These developments include co… ▽ More This paper has two parts. The first part surveys Euler's work on the constant gamma=0.57721... bearing his name, together with some of his related work on the gamma function, values of the zeta function and divergent series. The second part describes various mathematical developments involving Euler's constant, as well as another constant, the Euler-Gompertz constant. These developments include connections with arithmetic functions and the Riemann hypothesis, and with sieve methods, random permutations and random matrix products. It includes recent results on Diophantine approximation and transcendence related to Euler's constant. △ Less

Submitted 25 October, 2013; v1 submitted 7 March, 2013; originally announced March 2013.

Comments: v4 98 pages (pagewidth decreased), 321 references, text agrees with published version (but with less reference information); v5 post-publication, introduces a mistake, Theorem 3.1.3 is ok as originally stated, v6, like the monkey's paw, changes back, but corrects typo in (3.1.8) and in ζ(1-k) formula two lines following

MSC Class: Primary: 11J02; Secondary: 01A50; 11J72; 11J81; 11M06

Journal ref: Bulletin Amer. Math. Soc. 50 (2013), No. 4, 527--628

Ergodicity of the action of K* on A_K

Authors: Jeffrey C. Lagarias, Sergey Neshveyev

Abstract: Connes gave a spectral interpretation of the critical zeros of zeta- and L-functions for a global field K using a space of square integrable functions on the space A_K/K* of adele classes. It is known that for K=Q the space A_K/K* cannot be understood classically, or in other words, the action of Q* on A_Q is ergodic. We prove that the same is true for any global field K, in both the number field… ▽ More Connes gave a spectral interpretation of the critical zeros of zeta- and L-functions for a global field K using a space of square integrable functions on the space A_K/K* of adele classes. It is known that for K=Q the space A_K/K* cannot be understood classically, or in other words, the action of Q* on A_Q is ergodic. We prove that the same is true for any global field K, in both the number field and function field cases. △ Less

Submitted 8 June, 2013; v1 submitted 14 November, 2012; originally announced November 2012.

Comments: 12 pages; minor changes

Journal ref: IMRN, Vol 2014, No. 18, pp 5165--5186

p-adic path set fractals and arithmetic

Authors: William Abram, Jeffrey C. Lagarias

Abstract: This paper considers a class C(Z_p) of closed sets of the p-adic integers obtained by graph-directed constructions analogous to those of Mauldin and Williams over the real numbers. These sets are characterized as collections of those p-adic integers whose p-adic expansions are describeed by paths in the graph of a finite automaton issuing from a distinguished initial vertex. This paper shows that… ▽ More This paper considers a class C(Z_p) of closed sets of the p-adic integers obtained by graph-directed constructions analogous to those of Mauldin and Williams over the real numbers. These sets are characterized as collections of those p-adic integers whose p-adic expansions are describeed by paths in the graph of a finite automaton issuing from a distinguished initial vertex. This paper shows that this class of sets is closed under the arithmetic operations of addition and multiplication by p-integral rational numbers. In addition the Minkowski sum (under p-adic addition) of two set in the class is shown to also belong to this class. These results represent purely p-adic phenomena in that analogous closure properties do not hold over the real numbers. We also show the existence of computable formulas for the Hausdorff dimensions of such sets. △ Less

Submitted 12 December, 2013; v1 submitted 8 October, 2012; originally announced October 2012.

Comments: v1 24 pages; v2 added to title, 28 pages; v3, 30 pages, added concluding section, v.4, incorporate changes requested by reviewer

MSC Class: 11K55; 11S82; 28A80; 37B10

Journal ref: J. Fract. Geometry 1 (2014), no. 1, 45--81

Path sets in one-sided symbolic dynamics

Authors: William Abram, Jeffrey C. Lagarias

Abstract: Path sets are spaces of one-sided infinite symbol sequences associated to pointed graphs (G_v_0), which are edge-labeled directed graphs G with a distinguished vertex v_0. Such sets arise naturally as address labels in geometric fractal constructions and in other contexts. The resulting set of symbol sequences need not be closed under the one-sided shift. this paper establishes basic properties of… ▽ More Path sets are spaces of one-sided infinite symbol sequences associated to pointed graphs (G_v_0), which are edge-labeled directed graphs G with a distinguished vertex v_0. Such sets arise naturally as address labels in geometric fractal constructions and in other contexts. The resulting set of symbol sequences need not be closed under the one-sided shift. this paper establishes basic properties of the structure and symbolic dynamics of path sets, and shows they are a strict generalization of one-sided sofic shifts. △ Less

Submitted 12 December, 2013; v1 submitted 20 July, 2012; originally announced July 2012.

Comments: 16 pages, 6 figures; v2, 22pages, 6 figures; title change, adds a new Theorem 1.5, and a second Appendix, v3, 21 pages, revisions to exposition; v4 revised introduction; v5, 22 pages, changed title, revised introduction

MSC Class: 37A45

Journal ref: Adv. in Applied Math. 56 (2014), 109--134

On sets of integers which are both sum-free and product-free

Authors: Par Kurlberg, Jeffrey C. Lagarias, Carl Pomerance

Abstract: We consider sets of positive integers containing no sum of two elements in the set and also no product of two elements. We show that the upper density of such a set is strictly smaller than 1/2 and that this is best possible. Further, we also find the maximal order for the density of such sets that are also periodic modulo some positive integer. We consider sets of positive integers containing no sum of two elements in the set and also no product of two elements. We show that the upper density of such a set is strictly smaller than 1/2 and that this is best possible. Further, we also find the maximal order for the density of such sets that are also periodic modulo some positive integer. △ Less

Submitted 5 January, 2012; originally announced January 2012.

Comments: 8 pages

MSC Class: 11B05; 11B75

Journal ref: INTEGERS, 12B (2012/2013): Paper #A4, 9pp

The Takagi Function and Its Properties

Authors: Jeffrey C. Lagarias

Abstract: The Takagi function is a continuous non-differentiable function on [0,1] introduced by Teiji Takagi in 1903. It has since appeared in a surprising number of different mathematical contexts, including mathematical analysis, probability theory and number theory. This paper surveys the known properties of this function as it relates to these fields. The Takagi function is a continuous non-differentiable function on [0,1] introduced by Teiji Takagi in 1903. It has since appeared in a surprising number of different mathematical contexts, including mathematical analysis, probability theory and number theory. This paper surveys the known properties of this function as it relates to these fields. △ Less

Submitted 2 January, 2012; v1 submitted 18 December, 2011; originally announced December 2011.

Comments: 32 pages, 4 figures

MSC Class: 26A27 (Primary) 11A63; 11M26; 26A16; 28A78; 28A80; 60B15 (Secondary)

Journal ref: In: Functions and Number Theory and Their Probabilistic Aspects, (K. Matsumoto, Editor in Chief, S. Akiyama, K. Fukuyama, H. Nakada, H. Sugita, A. Tamagawa, Eds), RIMS Kokyuroku Bessatsu B34, Aug. 2012, pp. 153--189

The maximal density of product-free sets in Z/nZ

Authors: Par Kurlberg, Jeffrey C. Lagarias, Carl Pomerance

Abstract: This paper studies the maximal size of product-free sets in Z/nZ. These are sets of residues for which there is no solution to ab == c (mod n) with a,b,c in the set. In a previous paper we constructed an infinite sequence of integers (n_i)_{i > 0} and product-free sets S_i in Z/n_iZ such that the density |S_i|/n_i tends to 1 as i tends to infinity, where |S_i|$ denotes the cardinality of S_i. Here… ▽ More This paper studies the maximal size of product-free sets in Z/nZ. These are sets of residues for which there is no solution to ab == c (mod n) with a,b,c in the set. In a previous paper we constructed an infinite sequence of integers (n_i)_{i > 0} and product-free sets S_i in Z/n_iZ such that the density |S_i|/n_i tends to 1 as i tends to infinity, where |S_i|$ denotes the cardinality of S_i. Here we obtain matching, up to constants, upper and lower bounds on the maximal attainable density as n tends to infinity. △ Less

Submitted 11 January, 2012; v1 submitted 10 November, 2011; originally announced November 2011.

Comments: Minor typos corrected. To appear in IMRN

MSC Class: 11B05; 11B75

Journal ref: IMRN 2013, Vol 2013, no. 4, 827--845

Product-free sets with high density

Authors: Par Kurlberg, Jeffrey C. Lagarias, Carl Pomerance

Abstract: We show that there are sets of integers with asymptotic density arbitrarily close to 1 in which there is no solution to the equation ab=c, with a,b,c in the set. We also consider some natural generalizations, as well as a specific numerical example of a product-free set of integers with asymptotic density greater than 1/2. We show that there are sets of integers with asymptotic density arbitrarily close to 1 in which there is no solution to the equation ab=c, with a,b,c in the set. We also consider some natural generalizations, as well as a specific numerical example of a product-free set of integers with asymptotic density greater than 1/2. △ Less

Submitted 8 December, 2011; v1 submitted 27 July, 2011; originally announced July 2011.

Comments: 12 pages. Many minor edits, mainly to improve the exposition

MSC Class: 11B05; 11B75

Journal ref: Acta Arithmetica 155 (2012), No. 2, 163-173

The Integral of the Riemann xi-function

Authors: Jeffrey C. Lagarias, David Montague

Abstract: This paper studies the integral of the Riemann xi-function. More generally, it studies a one-parameter family of functions given by Fourier integrals and satisfying a functional equation. Members of this family are shown to have only finitely many zeros on the critical line, with the integral of the Riemann xi-function having exactly one zero on the critical line, at s = 1/2. The zeros of the inte… ▽ More This paper studies the integral of the Riemann xi-function. More generally, it studies a one-parameter family of functions given by Fourier integrals and satisfying a functional equation. Members of this family are shown to have only finitely many zeros on the critical line, with the integral of the Riemann xi-function having exactly one zero on the critical line, at s = 1/2. The zeros of the integral of the xi-function are shown to lie arbitrarily far away from the critical line. An analogue of the de Bruijn-Newman constant is introduced for this family, and shown to be infinite. △ Less

Submitted 18 August, 2011; v1 submitted 21 June, 2011; originally announced June 2011.

Comments: 23 pages, LaTeX; v2 26 pages, substantive changes to details

MSC Class: 11M26; (30D35)

Journal ref: Commentarii Mathematici Universitatis Sancti Pauli 60 (2011), No. 1-2, 143--169

Convergence of the restricted Nelder-Mead algorithm in two dimensions

Authors: Jeffrey C. Lagarias, Bjorn Poonen, Margaret H. Wright

Abstract: The Nelder-Mead algorithm, a longstanding direct search method for unconstrained optimization published in 1965, is designed to minimize a scalar-valued function f of n real variables using only function values, without any derivative information. Each Nelder-Mead iteration is associated with a nondegenerate simplex defined by n+1 vertices and their function values; a typical iteration produces a… ▽ More The Nelder-Mead algorithm, a longstanding direct search method for unconstrained optimization published in 1965, is designed to minimize a scalar-valued function f of n real variables using only function values, without any derivative information. Each Nelder-Mead iteration is associated with a nondegenerate simplex defined by n+1 vertices and their function values; a typical iteration produces a new simplex by replacing the worst vertex by a new point. Despite the method's widespread use, theoretical results have been limited: for strictly convex objective functions of one variable with bounded level sets, the algorithm always converges to the minimizer; for such functions of two variables, the diameter of the simplex converges to zero, but examples constructed by McKinnon show that the algorithm may converge to a nonminimizing point. This paper considers the restricted Nelder-Mead algorithm, a variant that does not allow expansion steps. In two dimensions we show that, for any nondegenerate starting simplex and any twice-continuously differentiable function with positive definite Hessian and bounded level sets, the algorithm always converges to the minimizer. The proof is based on treating the method as a discrete dynamical system, and relies on several techniques that are non-standard in convergence proofs for unconstrained optimization. △ Less

Submitted 3 April, 2011; originally announced April 2011.

Comments: 27 pages

MSC Class: 90C56 (Primary) 37B25 (Secondary)

Journal ref: SIAM J. Optimization 22 (2012), no. 2, 501-532

Counting Smooth Solutions to the Equation A+B=C

Authors: J. C. Lagarias, K. Soundararajan

Abstract: This paper studies integer solutions to the Diophantine equation A+B=C in which none of A, B, C have a large prime factor. We set H(A, B,C) = max(|A|, |B|, |C|), and consider primitive solutions (gcd}(A, B, C)=1) having no prime factor p larger than (log H(A, B,C))^K, for a given finite K. On the assumption that the Generalized Riemann hypothesis (GRH) holds, we show that for any K > 8 there are i… ▽ More This paper studies integer solutions to the Diophantine equation A+B=C in which none of A, B, C have a large prime factor. We set H(A, B,C) = max(|A|, |B|, |C|), and consider primitive solutions (gcd}(A, B, C)=1) having no prime factor p larger than (log H(A, B,C))^K, for a given finite K. On the assumption that the Generalized Riemann hypothesis (GRH) holds, we show that for any K > 8 there are infinitely many such primitive solutions having no prime factor larger than (log H(A, B, C))^K. We obtain in this range an asymptotic formula for the number of such suitably weighted primitive solutions. △ Less

Submitted 7 July, 2011; v1 submitted 24 February, 2011; originally announced February 2011.

Comments: 35 pages latex; v2 corrected misprints

MSC Class: 11D45 (Primary) 11N25; 11P55 (Secondary)

Journal ref: Proc. London Math. Soc. (3) 104 (2012), no. 4, 770--798

Level Sets of the Takagi Function: Generic Level Sets

Authors: Jeffrey C. Lagarias, Zachary Maddock

Abstract: The Takagi function τ : [0, 1] \rightarrow [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. This paper studies the level sets L(y) = {x : τ(x) = y} of the Takagi function τ(x). It shows that for a full Lebesgue measure set of ordinates y, these level sets are finite sets, but whose expected number of points is infinite. Complementing this, it shows that the set of… ▽ More The Takagi function τ : [0, 1] \rightarrow [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. This paper studies the level sets L(y) = {x : τ(x) = y} of the Takagi function τ(x). It shows that for a full Lebesgue measure set of ordinates y, these level sets are finite sets, but whose expected number of points is infinite. Complementing this, it shows that the set of ordinates y whose level set has positive Hausdorff dimension is itself a set of full Hausdorff dimension 1 (but Lebesgue measure zero). Finally it shows that the level sets have a nontrivial Hausdorff dimension spectrum. The results are obtained using a notion of "local level set" introduced in a previous paper, along with a singular measure parameterizing such sets. △ Less

Submitted 26 July, 2011; v1 submitted 13 November, 2010; originally announced November 2010.

Comments: Comments welcome. 23 pages, 2 figures. Latest version is an extensive rewrite of earlier versions

MSC Class: 26A45; 26A27; 26A30; 28A25

Journal ref: Indiana Univ. Math. J. 60 (2011), 1857--1884

Level Sets of the Takagi Function: Local Level Sets

Authors: Jeffrey C. Lagarias, Zachary Maddock

Abstract: The Takagi function τ: [0, 1] \to [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. The level sets L(y) = {x : τ(x) = y} of the Takagi function τ(x) are studied by introducing a notion of local level set into which level sets are partitioned. Local level sets are simple to analyze, reducing questions to understanding the relation of level sets to local level sets, w… ▽ More The Takagi function τ: [0, 1] \to [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. The level sets L(y) = {x : τ(x) = y} of the Takagi function τ(x) are studied by introducing a notion of local level set into which level sets are partitioned. Local level sets are simple to analyze, reducing questions to understanding the relation of level sets to local level sets, which is more complicated. It is known that for a "generic" full Lebesgue measure set of ordinates y, the level sets are finite sets. Here it is shown for a "generic" full Lebesgue measure set of abscissas x, the level set L(τ(x)) is uncountable. An interesting singular monotone function is constructed, associated to local level sets, and is used to show the expected number of local level sets at a random level y is exactly 3/2. △ Less

Submitted 29 March, 2012; v1 submitted 4 September, 2010; originally announced September 2010.

Comments: 32 pages, 2 figures, 1 table. Latest version has updated equation numbering. The final publication will soon be available at springerlink.com

MSC Class: 26A45; 26A27; 26A30; 28A25

Journal ref: Monat. Math. 166 (2012), No. 2, 201--238

The Lerch Zeta Function II. Analytic Continuation

Authors: Jeffrey C. Lagarias, W. -C. Winnie Li

Abstract: This is the second of four papers that study algebraic and analytic structures associated with the Lerch zeta function. In this paper we analytically continue it as a function of three complex variables. We that it is well defined as a multivalued function on the manifold M equal to C^3 with the hyperplanes corresponding to integer values of the two variables a and c removed. We show that it becom… ▽ More This is the second of four papers that study algebraic and analytic structures associated with the Lerch zeta function. In this paper we analytically continue it as a function of three complex variables. We that it is well defined as a multivalued function on the manifold M equal to C^3 with the hyperplanes corresponding to integer values of the two variables a and c removed. We show that it becomes single valued on the maximal abelian cover of M. We compute the monodromy functions describing the multivalued nature of this function on M, and determine various of their properties. △ Less

Submitted 22 June, 2010; v1 submitted 26 May, 2010; originally announced May 2010.

Comments: 29 pages, 3 figures; v2 notation changes, homotopy action on left

MSC Class: 11M35

Journal ref: Forum Math. 24 (2012), no. 1, 49-84

The Lerch Zeta Function I. Zeta Integrals

Authors: Jeffrey C. Lagarias, W. -C. Winnie Li

Abstract: This is the first of four papers that study algebraic and analytic structures associated to the Lerch zeta function. This paper studies "zeta integrals" associated to the Lerch zeta function using test functions, and obtains functional equations for them. Special cases include a pair of symmetrized four-term functional equations for combinations of Lerch zeta functions, found by A. Weil, for real… ▽ More This is the first of four papers that study algebraic and analytic structures associated to the Lerch zeta function. This paper studies "zeta integrals" associated to the Lerch zeta function using test functions, and obtains functional equations for them. Special cases include a pair of symmetrized four-term functional equations for combinations of Lerch zeta functions, found by A. Weil, for real parameters (a,c) with 0< a, c< 1. It extends these functions to real a, and c, and studies limiting cases of these functions where at least one of a and c takes the values 0 or 1. A main feature is that as a function of three variables (s, a, c), with a, c being real variables, the Lerch zeta function has discontinuities at integer values of a and c. For fixed s, the function is discontinuous on part of the boundary of the closed unit square in the (a,c)-variables, and the location and nature of these discontinuities depend on the real part of s. Analysis of this behavior is used to determine membership of these functions in L^p([0,1]^2, da dc) for 1 \le p < \infty, as a function of the real part of s. The paper also defines generalized Lerch zeta functions associated to the oscillator representation, and gives analogous four-term functional equations for them. △ Less

Submitted 22 June, 2010; v1 submitted 25 May, 2010; originally announced May 2010.

Comments: 38 pages, 1 figure; v2 37 pages, minor text changes

MSC Class: 11M35

Journal ref: Forum Math. 24 (2012), no. 1, 1-48

Smooth solutions to the abc equation: the xyz Conjecture

Authors: Jeffrey C. Lagarias, K. Soundararajan

Abstract: This paper studies integer solutions to the ABC equation A+B+C=0 in which none of A, B, C has a large prime factor. Set H(A,B, C)= max(|A|,|B|,|C|) and set the smoothness S(A, B, C) to be the largest prime factor of ABC. We consider primitive solutions (gcd(A, B, C)=1) having smoothness no larger than a fixed power p of log H. Assuming the abc Conjecture we show that there are finitely many soluti… ▽ More This paper studies integer solutions to the ABC equation A+B+C=0 in which none of A, B, C has a large prime factor. Set H(A,B, C)= max(|A|,|B|,|C|) and set the smoothness S(A, B, C) to be the largest prime factor of ABC. We consider primitive solutions (gcd(A, B, C)=1) having smoothness no larger than a fixed power p of log H. Assuming the abc Conjecture we show that there are finitely many solutions if p<1. We discuss a conditional result, showing that the Generalized Riemann Hypothesis (GRH) implies there are infinitely many primitive solutions when p>8. We sketch some details of the proof of the latter result. △ Less

Submitted 7 July, 2011; v1 submitted 20 November, 2009; originally announced November 2009.

Comments: 21 pages, presented at 26th Journees Arithmetiques, 2009; v2 added new examples 1.2, updated references; v3 changed title, more examples added, notation changes, v4 corrects misprints in Conj. 3.1, Thm. 4.3 statement, 25 pages

MSC Class: 11D61; 11P55

Journal ref: J. Theor. Nombres Bordeaux 23 (2011), No. 1, 209--234

Stochastic Models for the 3x+1 and 5x+1 Problems

Authors: Alex V. Kontorovich, Jeffrey C. Lagarias

Abstract: This paper discusses stochastic models for predicting the long-time behavior of the trajectories of orbits of the 3x+1 problem and, for comparison, the 5x+1 problem. The stochastic models are rigorously analyzable, and yield heuristic predictions (conjectures) for the behavior of 3x+1 orbits and 5x+1 orbits. This paper discusses stochastic models for predicting the long-time behavior of the trajectories of orbits of the 3x+1 problem and, for comparison, the 5x+1 problem. The stochastic models are rigorously analyzable, and yield heuristic predictions (conjectures) for the behavior of 3x+1 orbits and 5x+1 orbits. △ Less

Submitted 10 October, 2009; originally announced October 2009.

Comments: 68 pages, 9 figures, 4 tables

MSC Class: 11B83; 11B85; 11B37; 37A45; 60F10; 11K55

Journal ref: in: The Ultimate Challenge: The 3x+1 problem, Amer. Math. Soc.: Providence 2010, pp. 131--188

Cyclic systems of simultaneous congruences

Authors: Jeffrey C. Lagarias

Abstract: This paper considers solutions (x_1, x_2, ..., x_n) to the cyclic system of n simultaneous congruences r (x_1x_2 ...x_n)/x_i = s (mod |x_i|), for fixed nonzero integers r,s with r>0 and gcd(r,s)=1. It shows this system has a finite number of solutions in positive integers x_i >1 having gcd(x_1x_2...x_n, s)=1, obtaining a sharp upper bound on the maximal size of the solutions in many cases. This… ▽ More This paper considers solutions (x_1, x_2, ..., x_n) to the cyclic system of n simultaneous congruences r (x_1x_2 ...x_n)/x_i = s (mod |x_i|), for fixed nonzero integers r,s with r>0 and gcd(r,s)=1. It shows this system has a finite number of solutions in positive integers x_i >1 having gcd(x_1x_2...x_n, s)=1, obtaining a sharp upper bound on the maximal size of the solutions in many cases. This bound grows doubly-exponentially in n. It shows there are infinitely many such solutions when the positivity restriction is dropped, when r=1, and not otherwise. The problem is reduced to the study of integer solutions of a three parameter family of Diophantine equations r(1/x_1 + 1/x_2 + ...+ 1/x_n)- s/(x_1x_2...x_n) = m, with parameters (r,s,m). △ Less

Submitted 2 October, 2008; v1 submitted 23 December, 2007; originally announced December 2007.

Comments: 25 pages; v2 fixes gcd condition in theorem 1.1 statement, v3 small changes

MSC Class: 11D79 (Primary) 11D41; 11D68 (Secondary)

Journal ref: International Journal of Number Theory 6 (2010), No. 2, 219--245

The Schrödinger operator with Morse potential on the right half line

Authors: Jeffrey C Lagarias

Abstract: This paper studies the Schrödinger operator with Morse potential on a right half line [u, \infty) and determines the Weyl asymptotics of eigenvalues for constant boundary conditions. It obtains information on zeros of the Whittaker function $W_{κ, μ}(x)$ for fixed real parameters $κ, x$, with x positive, viewed as an entire function of the complex variable $μ$. In this case all zeros lie on the… ▽ More This paper studies the Schrödinger operator with Morse potential on a right half line [u, \infty) and determines the Weyl asymptotics of eigenvalues for constant boundary conditions. It obtains information on zeros of the Whittaker function $W_{κ, μ}(x)$ for fixed real parameters $κ, x$, with x positive, viewed as an entire function of the complex variable $μ$. In this case all zeros lie on the imaginary axis, with the exception, if $k<0$, of a finite number of real zeros. We obtain an asymptotic formula for the number of zeros of modulus at most T of form $N(T) = (2/π) T \log T + f(u) T + O(1)$. Some parallels are noted with zeros of the Riemann zeta function. △ Less

Submitted 18 August, 2009; v1 submitted 19 December, 2007; originally announced December 2007.

Comments: 33 pages; v2 and v3 introduction revised, Polya and other refs. added, v4,v5 intro revised, typos corrected, v6 corrections to some details

MSC Class: 34L40 (Primary); 11M26; 34B24; 47E05 (Secondary)

Journal ref: Communications in Number Theory and Physics 3 (2009), No.2, 323--361