BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jeffrey C. Lagarias

Jeffrey C. Lagarias appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.DSmath.MGmath.CAmath.CVmath.AGmath.COComputational Geometrymath.ACmath.APmath.OAmath.PRmath.RA

Catalog footprint

What is connected

34works
13topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

34 published item(s)

preprint2021arXiv

Interleaving of path sets

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Lerch zeta function and the Heisenberg group

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Higher Correlations and the Alternative Hypothesis

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.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Moser's Shadow Problem

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)$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Notes on Cardinal's Matrices

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Products of binomial coefficients and unreduced Farey fractions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Splitting Behavior of $S_n$-Polynomials

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Lerch zeta function III. Polylogarithms and special values

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).$

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Ergodicity of the action of K* on A_K

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Intersections of multiplicative translates of 3-adic Cantor sets

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

p-adic path set fractals and arithmetic

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Path sets in one-sided symbolic dynamics

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Level Sets of the Takagi Function: Local Level Sets

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The 3x+1 Problem: An Annotated Bibliography, II (2000-2009)

The 3x+1 problem concerns iteration of the map T(n) =(3n+1)/2 if n odd; n/2 if n even. The 3x +1 Conjecture asserts that for every positive integer n>1 the forward orbit of n includes the integer 1. This paper is an annotated bibliography of work done on the 3x+1 problem published from 2000 through 2009, plus some later papers that were preprints by 2009. This is a sequel to an annotated bibliography on the 3x+1 problem covering 1963-1999. At present the 3x+1 Conjecture remains unsolved.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Level Sets of the Takagi Function: Generic Level Sets

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Smooth solutions to the abc equation: the xyz Conjecture

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The 3x+1 problem: An annotated bibliography (1963--1999) (sorted by author)

The 3x+ 1 problem concerns iteration of the map on the integers given by T(n) = (3n+1)/2 if n is odd; T(n) = n/2 if n is even. The 3x+1 Conjecture asserts that for every positive integer n > 1 the forward orbit of n under iteration by T includes the integer 1. This paper is an annotated bibliography of work done on the 3x+1 problem and related problems from 1963 through 1999. At present the 3x+1 Conjecture remains unsolved.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Integral of the Riemann xi-function

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Lerch Zeta Function I. Zeta Integrals

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Lerch Zeta Function II. Analytic Continuation

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.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Cyclic systems of simultaneous congruences

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).

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Ternary expansions of powers of 2

Paul Erdos asked how frequently the ternary expansion of 2^n omits the digit 2. He conjectured this happens only for finitely many values of n. We generalize this question to consider iterates of two discrete dynamical systems. The first is over the real numbers, and considers the integer part of lambda 2^n for a real input lambda. The second is over the 3-adic integers, and considers the sequence lambda 2^n for a 3-adic integer input lambda. We show that the number of input values that have infinitely many iterates omitting the digit 2 in their ternary expansion is small in a suitable sense. For each nonzero input we give an asymptotic upper bound on the number of the first k iterates that omit the digit 2, as k goes to infinity. We also study auxiliary problems concerning the Hausdorff dimension of intersections of multiplicative translates of 3-adic Cantor sets.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Bounds for the 3x+1 Problem using Difference Inequalities

We study difference inequality systems for the 3x+1 problem introduced by the first author in 1989. These systemes can be used to give lower bounds for the number of integers below x that contain 1 in their forward orbit under the 3x+1 map. Previous methods gave away some information in these inequalities. We give an improvement which apparantly extracts full information from the inequalities. By computer aided proof we show that at least x^{0.84} of the integers below x contain 1 in their forward orbit under the 3x+1 map.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

On a two-variable zeta function for number fields

This paper studies a zeta function of two complex variables (w, s) attached to an algebraic number field K, introduced by van der Geer and Schoof, which is based on an analogue of the Riemann-Roch theorem for number fields using Arakelov divisors. We mainly consider the case of the rational field Q, where for w = 1 one recovers the Riemann zeta function with the factors at infinity added. The analogue of the Riemann xi-function analytically continues to an entire function of two complex variables, and satisfies a functional equation holding w fixed and sending s to w-s. For real w the "critical line" is therefore Re(s) = w/2. For fixed nonnegative real w the zeros are confined to a vertical strip in s and have the same asymptotics as zeta zeros. For negative real w the function is positive real on the critical line, so has no zeros there. This phenomonon is associated to a positive convolution semigroup of infinitely divisible probability distributions, and the Khintchine canonical measure of this family is explicitly determined.

0 citations0 reviewsNo code linkedOpen access