Showing 1–50 of 57 results for author: Rogers, M

What is a monoid?

Authors: Paul Blain Levy, Morgan Rogers

Abstract: In many situations one encounters a notion that resembles that of a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equations that resemble associativity and left and right unital laws. The question then arises whether this notion in fact that of a monoid in a suitable sense. Category theorists have answered this question by providing… ▽ More In many situations one encounters a notion that resembles that of a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equations that resemble associativity and left and right unital laws. The question then arises whether this notion in fact that of a monoid in a suitable sense. Category theorists have answered this question by providing a notion of monoid in a monoidal category, or more generally in a multicategory. While this encompasses many examples, it is unsuitable in other cases, such as the notion of relative monad, and the modelling of call-by-push-value sequencing. In each of these examples, the leftmost and/or the rightmost factor of a multiplication or associativity law seems to be distinguished. To include such examples, we generalize the multicategorical framework in two stages. Firstly, we move to the framework of a left-skew multicategory (due to Bourke and Lack), which generalizes both multicategory and left-skew monoidal category. The notion of monoid in this framework encompasses examples where only the leftmost factor is distinguished, such as the notion of relative monad. Secondly, we consider monoids in the novel framework of a bi-skew multicategory. This encompasses examples where both the leftmost and the rightmost factor are distinguished, such as the notion of a category on a span, and the modelling of call-by-push-value sequencing. In the bi-skew framework (which is the most general), we give a coherence result saying that a monoid corresponds to an unbiased monoid, i.e. a map from the unit bi-skew multicategory. △ Less

Submitted 16 April, 2025; originally announced April 2025.

Comments: 15 pages

MSC Class: 18M65; 18M50; 20M50 ACM Class: F.3.2

A new combinatorial interpretation of partial sums of $m$-step Fibonacci numbers

Authors: Erik Bates, Blan Morrison, Mason Rogers, Arianna Serafini, Anav Sood

Abstract: The sequence of partial sums of Fibonacci numbers, beginning with $2$, $4$, $7$, $12$, $20$, $33,\dots$, has several combinatorial interpretations (OEIS A000071). For instance, the $n$-th term in this sequence is the number of length-$n$ binary words that avoid $110$. This paper proves a related but new interpretation: given a length-$3$ binary word -- called the keyword -- we say two length-$n$ b… ▽ More The sequence of partial sums of Fibonacci numbers, beginning with $2$, $4$, $7$, $12$, $20$, $33,\dots$, has several combinatorial interpretations (OEIS A000071). For instance, the $n$-th term in this sequence is the number of length-$n$ binary words that avoid $110$. This paper proves a related but new interpretation: given a length-$3$ binary word -- called the keyword -- we say two length-$n$ binary words are equivalent if one can be obtained from the other by some sequence of substitutions: each substitution replaces an instance of the keyword with its negation, or vice versa. We prove that the number of induced equivalence classes is again the $n$-th term in the aforementioned sequence. When the keyword has length $m+1$ (instead of $3$), the same result holds with $m$-step Fibonacci numbers. What makes this result surprising -- and distinct from the previous interpretation -- is that it does not depend on the keyword, despite the fact that the sizes of the equivalence classes do. On this final point, we prove several results on the structure of equivalence classes, and also pose a variety of open problems. △ Less

Submitted 13 March, 2025; originally announced March 2025.

Comments: 20 pages, 1 figure, 3 tables

MSC Class: 05A05; 05A15; 11B39

From free idempotent monoids to free multiplicatively idempotent rigs

Authors: Morgan Rogers

Abstract: A multiplicatively idempotent rig (which we abbreviate to mirig) is a rig satisfying the equation $r^2 = r$. We show that a free mirig on finitely many generators is finite and compute its size. This work was originally motivated by a collaborative effort on the decentralized social network Mastodon to compute the size of the free mirig on two generators. A multiplicatively idempotent rig (which we abbreviate to mirig) is a rig satisfying the equation $r^2 = r$. We show that a free mirig on finitely many generators is finite and compute its size. This work was originally motivated by a collaborative effort on the decentralized social network Mastodon to compute the size of the free mirig on two generators. △ Less

Submitted 5 September, 2024; v1 submitted 30 August, 2024; originally announced August 2024.

Comments: 38 pages, of which 3 are landscape

MSC Class: 20M05; 16Y60; 16U40

Topoi with enough points

Authors: Ivan Di Liberti, Morgan Rogers

Abstract: We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique can be adapted to recover every existing result of this kind, including the most recent results about $κ$-coherent $κ$-topoi. Our presentation allows us to relax the cardinality assumptions typically imposed on the sites… ▽ More We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique can be adapted to recover every existing result of this kind, including the most recent results about $κ$-coherent $κ$-topoi. Our presentation allows us to relax the cardinality assumptions typically imposed on the sites involved. We show that a larger class of locally finitely presentable toposes have enough points and that a closed subtopos of a topos with enough points has enough points. △ Less

Submitted 5 July, 2024; v1 submitted 22 March, 2024; originally announced March 2024.

Comments: 30 pages

MSC Class: 03G30; 03C75; 18B25; 18C50; 18F10; 18F70

Reconstruction for the Calderón problem with Lipschitz conductivities

Authors: Pedro Caro, María Ángeles García-Ferrero, Keith M. Rogers

Abstract: We determine the conductivity of the interior of a body using electrical measurements on its surface. We assume only that the conductivity is bounded below by a positive constant and that the conductivity and surface are Lipschitz continuous. To determine the conductivity we first solve an associated integral equation locally, finding solutions in $H^1(B)$, where $B$ is a ball that properly contai… ▽ More We determine the conductivity of the interior of a body using electrical measurements on its surface. We assume only that the conductivity is bounded below by a positive constant and that the conductivity and surface are Lipschitz continuous. To determine the conductivity we first solve an associated integral equation locally, finding solutions in $H^1(B)$, where $B$ is a ball that properly contains the body. A key ingredient is to equip this Sobolev space with an equivalent norm which depends on two auxiliary parameters that can be chosen to yield a contraction. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Comments: 23 pages

MSC Class: 35R30

Geometric morphisms between toposes of monoid actions: factorization systems

Authors: Jens Hemelaer, Morgan Rogers

Abstract: Let M, N be monoids, and PSh(M), PSh(N) their respective categories of right actions on sets. In this paper, we systematically investigate correspondences between properties of geometric morphisms PSh(M) $\rightarrow$ PSh(N) and properties of the semigroup homomorphisms M $\rightarrow$ N or flat-left-N-right-M-sets inducing them. More specifically, we consider properties of geometric morphisms fea… ▽ More Let M, N be monoids, and PSh(M), PSh(N) their respective categories of right actions on sets. In this paper, we systematically investigate correspondences between properties of geometric morphisms PSh(M) $\rightarrow$ PSh(N) and properties of the semigroup homomorphisms M $\rightarrow$ N or flat-left-N-right-M-sets inducing them. More specifically, we consider properties of geometric morphisms featuring in factorization systems, namely: surjections, inclusions, localic morphisms, hyperconnected morphisms, terminal-connected morphisms, {é}tale morphisms, pure morphisms and complete spreads. We end with an application to topos-theoretic Galois theory to the special case of toposes of the form PSh(M). △ Less

Submitted 17 March, 2022; originally announced March 2022.

Toposes of Monoid Actions

Authors: Morgan Rogers

Abstract: We study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly generated toposes (a class strictly larger than presheaf toposes). This enables us to efficiently study and characterize toposes of continuous actions of topologic… ▽ More We study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly generated toposes (a class strictly larger than presheaf toposes). This enables us to efficiently study and characterize toposes of continuous actions of topological monoids on sets, where the latter are viewed as discrete spaces. Finally, we refine this characterization into necessary and sufficient conditions for a supercompactly generated topos to be equivalent to a topos of this form. △ Less

Submitted 19 December, 2021; originally announced December 2021.

Comments: PhD thesis presented for the degree of Doctor of Philosophy in Computer Science and Mathematics of Computation; supervised by Olivia Caramello. Supported by INdAM and the Marie Sklodowska-Curie Actions as a part of the INdAM Doctoral Programme in Mathematics and/or Applications Cofunded by Marie Sklodowska-Curie Actions (INdAM-DP-COFUND-2015, grant number 713485). 238 pages

MSC Class: 20M30; 22A25; 18F10

Toposes of Topological Monoid Actions

Authors: Morgan Rogers

Abstract: We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We characterize these toposes in terms of their canonical points. We identify natural classes of representatives with good topological properties, `powder monoids' and then… ▽ More We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We characterize these toposes in terms of their canonical points. We identify natural classes of representatives with good topological properties, `powder monoids' and then `complete monoids', for the Morita-equivalence classes of topological monoids. Finally, we show that the construction of these toposes can be made (2-)functorial by considering geometric morphisms induced by continuous semigroup homomorphisms. △ Less

Submitted 9 January, 2023; v1 submitted 3 May, 2021; originally announced May 2021.

Comments: 58 pages. Final version appearing in Compositionality. Project under the INdAM Doctoral Programme in Mathematics and/or Applications Cofunded by Marie Sklodowska-Curie Actions, INdAM-DP-COFUND-2015, grant number 713485

MSC Class: 20M30; 22A25; 18F10

Journal ref: Compositionality, Volume 5 (2023) (January 10, 2023) compositionality:13520

On Supercompactly and Compactly Generated Toposes

Authors: Morgan Rogers

Abstract: We present and characterize the classes of Grothendieck toposes having enough supercompact objects or enough compact objects. In the process, we examine the subcategories of supercompact objects and compact objects within such toposes and classes of geometric morphism which interact well with these objects. We also present canonical classes of sites generating such toposes. We present and characterize the classes of Grothendieck toposes having enough supercompact objects or enough compact objects. In the process, we examine the subcategories of supercompact objects and compact objects within such toposes and classes of geometric morphism which interact well with these objects. We also present canonical classes of sites generating such toposes. △ Less

Submitted 11 January, 2021; originally announced January 2021.

Comments: 61 pages. Project under the INdAM Doctoral Programme in Mathematics and/or Applications Cofunded by Marie Sklodowska-Curie Actions, INdAM-DP-COFUND-2015, grant number 713485

MSC Class: 18F10; 18B25

Solution to a problem by FitzGerald

Authors: Jens Hemelaer, Morgan Rogers

Abstract: FitzGerald identified four conditions (RI), (UR), (RI*) and (UR*) that are necessarily satisfied by an algebra, if its monoid of endomorphisms has commuting idempotents. We show that these conditions are not sufficient, by giving an example of an algebra satisfying the four properties, such that its monoid of endomorphisms does not have commuting idempotents. This settles a problem presented by Fi… ▽ More FitzGerald identified four conditions (RI), (UR), (RI*) and (UR*) that are necessarily satisfied by an algebra, if its monoid of endomorphisms has commuting idempotents. We show that these conditions are not sufficient, by giving an example of an algebra satisfying the four properties, such that its monoid of endomorphisms does not have commuting idempotents. This settles a problem presented by Fitzgerald at the Conference and Workshop on General Algebra and Its Applications in 2013 and more recently at the workshop NCS 2018. After giving the counterexample, we show that the properties (UR), (RI*) and (UR*) depend only on the monoid of endomorphisms of the algebra, and that the counterexample we gave is in some sense the easiest possible. Finally, we list some categories in which FitzGerald's question has an affirmative answer. △ Less

Submitted 24 November, 2020; originally announced November 2020.

Comments: 12 pages

An essential, hyperconnected, local geometric morphism that is not locally connected

Authors: Jens Hemelaer, Morgan Rogers

Abstract: We give an example of an essential, hyperconnected, local geometric morphism that is not locally connected, arising from our work-in-progress on geometric morphisms $\mathbf{PSh}(M) \to \mathbf{PSh}(N)$, where $M$ and $N$ are monoids. We give an example of an essential, hyperconnected, local geometric morphism that is not locally connected, arising from our work-in-progress on geometric morphisms $\mathbf{PSh}(M) \to \mathbf{PSh}(N)$, where $M$ and $N$ are monoids. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 3 pages

Monoid Properties as Invariants of Toposes of Monoid Actions

Authors: Jens Hemelaer, Morgan Rogers

Abstract: We systematically investigate, for a monoid $M$, how topos-theoretic properties of $\mathbf{PSh}(M)$, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic properties of $M$. We systematically investigate, for a monoid $M$, how topos-theoretic properties of $\mathbf{PSh}(M)$, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic properties of $M$. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Comments: 41 pages

MSC Class: 18B25; 20M30

Improved bounds for the Kakeya maximal conjecture in higher dimensions

Authors: Jonathan Hickman, Keith M. Rogers, Ruixiang Zhang

Abstract: We adapt Guth's polynomial partitioning argument for the Fourier restriction problem to the context of the Kakeya problem. By writing out the induction argument as a recursive algorithm, additional multiscale geometric information is made available. To take advantage of this, we prove that direction-separated tubes satisfy a multiscale version of the polynomial Wolff axioms. Altogether, this yield… ▽ More We adapt Guth's polynomial partitioning argument for the Fourier restriction problem to the context of the Kakeya problem. By writing out the induction argument as a recursive algorithm, additional multiscale geometric information is made available. To take advantage of this, we prove that direction-separated tubes satisfy a multiscale version of the polynomial Wolff axioms. Altogether, this yields improved bounds for the Kakeya maximal conjecture in $\mathbb{R}^n$ with $n=5$ or $n\ge 7$ and improved bounds for the Kakeya set conjecture for an infinite sequence of dimensions. △ Less

Submitted 14 August, 2019; originally announced August 2019.

Comments: 43 pages, 6 figures. This article supersedes arXiv:1901.01802

MSC Class: 28A78; 42B99

Toposes of Discrete Monoid Actions

Authors: Morgan Rogers

Abstract: Properties of toposes of right $M$-sets are studied, and these toposes are characterised up to equivalence by their canonical points. The solution to the corresponding Morita equivalence problem is presented in the form of an equivalence between a 2-category of monoids and the corresponding 2-category of toposes. Properties of toposes of right $M$-sets are studied, and these toposes are characterised up to equivalence by their canonical points. The solution to the corresponding Morita equivalence problem is presented in the form of an equivalence between a 2-category of monoids and the corresponding 2-category of toposes. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Comments: 14 pages. Project under the INdAM Doctoral Programme in Mathematics and/or Applications Cofunded by Marie Sklodowska-Curie Actions, INdAM-DP-COFUND-2015, grant number 713485. Uploaded 24/05/2019

MSC Class: 20M30; 18A25

On a higher dimensional version of the Benjamin--Ono equation

Authors: Felipe Linares, Oscar G. Riaño, Keith M. Rogers, James Wright, Jonathan Hickman

Abstract: We consider a higher dimensional version of the Benjamin--Ono equation, $\partial_t u -\mathcal{R}_1Δu+u\partial_{x_1} u=0$, where $\mathcal{R}_1$ denotes the Riesz transform with respect to the first coordinate. We first establish sharp space--time estimates for the associated linear equation. These estimates enable us to show that the initial value problem for the nonlinear equation is locally w… ▽ More We consider a higher dimensional version of the Benjamin--Ono equation, $\partial_t u -\mathcal{R}_1Δu+u\partial_{x_1} u=0$, where $\mathcal{R}_1$ denotes the Riesz transform with respect to the first coordinate. We first establish sharp space--time estimates for the associated linear equation. These estimates enable us to show that the initial value problem for the nonlinear equation is locally well-posed in $L^2$-Sobolev spaces $H^{s}(\mathbb{R}^d)$, with $s>5/3$ if $d=2$ and $s>d/2+1/2$ if $d\ge 3$. We also provide ill-posedness results. △ Less

Submitted 7 September, 2019; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: We also show that in dimension 2 our results are sharp

MSC Class: 35Q35; 35B65

Unique determination of the electric potential in the presence of a fixed magnetic potential in the plane

Authors: Pedro Caro, Keith M. Rogers

Abstract: For potentials $V\in L^\infty(\mathbb{R}^2,\mathbb{R})$ and $A\in W^{1,\infty}(\mathbb{R}^2,\mathbb{R}^2)$ with compact support, we consider the Schrödinger equation $-(\nabla +iA)^2 u+Vu=k^2u$ with fixed positive energy $k^2$. Under a mild additional regularity hypothesis, and with fixed magnetic potential $A$, we show that the scattering solutions uniquely determine the electric potential $V$. F… ▽ More For potentials $V\in L^\infty(\mathbb{R}^2,\mathbb{R})$ and $A\in W^{1,\infty}(\mathbb{R}^2,\mathbb{R}^2)$ with compact support, we consider the Schrödinger equation $-(\nabla +iA)^2 u+Vu=k^2u$ with fixed positive energy $k^2$. Under a mild additional regularity hypothesis, and with fixed magnetic potential $A$, we show that the scattering solutions uniquely determine the electric potential $V$. For this we develop the method of Bukhgeim for the purely electric Schrödinger equation. △ Less

Submitted 5 February, 2019; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: 9 pages; Proceedings of Journées Équations aux Dérivées Partielles; references added

New Kakeya estimates using the polynomial Wolff axioms

Authors: Jonathan Hickman, Keith M Rogers

Abstract: We obtain new bounds for the Kakeya maximal conjecture in most dimensions $n<100$, as well as improved bounds for the Kakeya set conjecture when $n=7$ or $9$. For this we consider Guth and Zahl's strengthened formulation of the maximal conjecture, concerning families of tubes that satisfy the polynomial Wolff axioms. Our results give improved estimates for this strengthened formulation when… ▽ More We obtain new bounds for the Kakeya maximal conjecture in most dimensions $n<100$, as well as improved bounds for the Kakeya set conjecture when $n=7$ or $9$. For this we consider Guth and Zahl's strengthened formulation of the maximal conjecture, concerning families of tubes that satisfy the polynomial Wolff axioms. Our results give improved estimates for this strengthened formulation when $n =5$ or $n \geq 7$. △ Less

Submitted 7 January, 2019; originally announced January 2019.

Comments: 27 pages

MSC Class: 28A78; 42B99

Improved Fourier restriction estimates in higher dimensions

Authors: Jonathan Hickman, Keith M. Rogers

Abstract: We consider Guth's approach to the Fourier restriction problem via polynomial partitioning. By writing out his induction argument as a recursive algorithm and introducing new geometric information, known as the polynomial Wolff axioms, we obtain improved bounds for the restriction conjecture, particularly in high dimensions. Consequences for the Kakeya conjecture are also considered. We consider Guth's approach to the Fourier restriction problem via polynomial partitioning. By writing out his induction argument as a recursive algorithm and introducing new geometric information, known as the polynomial Wolff axioms, we obtain improved bounds for the restriction conjecture, particularly in high dimensions. Consequences for the Kakeya conjecture are also considered. △ Less

Submitted 25 September, 2019; v1 submitted 28 July, 2018; originally announced July 2018.

Comments: 43 pages, 5 figures. A number of typos have been corrected and additional points of clarification added. To appear in Cambridge Journal of Mathematics

MSC Class: 42B20

Journal ref: Camb. J. Math., vol. 7, no. 3, pp. 219-282, (2019)

On the polynomial Wolff axioms

Authors: Nets Hawk Katz, Keith M. Rogers

Abstract: We confirm a conjecture of Guth concerning the maximal number of $δ$-tubes, with $δ$-separated directions, contained in the $δ$-neighborhood of a real algebraic variety. Modulo a factor of $δ^{-\varepsilon}$, we also prove Guth and Zahl's generalized version for semialgebraic sets. Although the applications are to be found in harmonic analysis, the proof will employ deep results from algebraic and… ▽ More We confirm a conjecture of Guth concerning the maximal number of $δ$-tubes, with $δ$-separated directions, contained in the $δ$-neighborhood of a real algebraic variety. Modulo a factor of $δ^{-\varepsilon}$, we also prove Guth and Zahl's generalized version for semialgebraic sets. Although the applications are to be found in harmonic analysis, the proof will employ deep results from algebraic and differential geometry, including Tarski's projection theorem and Gromov's algebraic lemma. △ Less

Submitted 22 July, 2018; v1 submitted 25 February, 2018; originally announced February 2018.

Comments: 8 pages; final version, to appear in GAFA

An Exposition of White's Characterization of Empty Lattice Tetrahedra

Authors: Mizan R. Khan, Karen M. Rogers

Abstract: We give an exposition of White's characterization of empty lattice tetrahedra. In particular, we describe the second author's proof of White's theorem that appeared in her doctoral thesis. We give an exposition of White's characterization of empty lattice tetrahedra. In particular, we describe the second author's proof of White's theorem that appeared in her doctoral thesis. △ Less

Submitted 6 October, 2016; originally announced October 2016.

MSC Class: Primary 11H06; Secondary 11P21; 52C07

Polynomials Inducing the Zero Function on Local Rings

Authors: Mark W. Rogers, Cameron Wickham

Abstract: For a Noetherian local ring (R, m) having a finite residue field of cardinality q, we study the connections between the ideal Z(R) of R[x], which is the set of polynomials that vanish on R, and the ideal Z(m), the polynomials that vanish on m, using what we call pi-polynomials: polynomials of the form p(x) = \prod_{i = 1}^{q} (x - c_i), where c1, ..., cq is a set of representatives of the residue… ▽ More For a Noetherian local ring (R, m) having a finite residue field of cardinality q, we study the connections between the ideal Z(R) of R[x], which is the set of polynomials that vanish on R, and the ideal Z(m), the polynomials that vanish on m, using what we call pi-polynomials: polynomials of the form p(x) = \prod_{i = 1}^{q} (x - c_i), where c1, ..., cq is a set of representatives of the residue classes of m. When R is Henselian we prove that p(R) = m and show that a generating set for Z(R) may be obtained from a generating set for Z(m) by composing with p(x). When m is principal and has index of nilpotency e, we prove that if e \leq q then Z(m) = (x, m)^e, and if e = q + 1 then Z(m) = (x, m)^e + (x^q - m^{q - 1} x). When R is finite, we prove that Z(R) = \cap_{i = 1}^{q} Z(c_i + m) is a minimal primary decomposition. We determine when Z(R) is nonzero, regular, or principal, respectively, and do the same for Z(m). We prove that when R is complete, repeated application of p(x) + x to elements of R will produce a sequence converging to the roots of p(x). We show that Z(R) is the intersection of the principal ideals generated by the pi-polynomials. △ Less

Submitted 8 July, 2016; originally announced July 2016.

MSC Class: 13M10; 13B25 (Primary) 11C08; 13J15; 13E10; 13F20 (Secondary)

Sets of Lengths of Powers of a Variable

Authors: Richard Belshoff, Daniel Kline, Mark W. Rogers

Abstract: A positive integer k is a length of a polynomial if that polynomial factors into a product of k irreducible polynomials. We find the set of lengths of polynomials of the form x^n in R[x], where (R, m) is an Artinian local ring with m^2 = 0. A positive integer k is a length of a polynomial if that polynomial factors into a product of k irreducible polynomials. We find the set of lengths of polynomials of the form x^n in R[x], where (R, m) is an Artinian local ring with m^2 = 0. △ Less

Submitted 8 July, 2016; originally announced July 2016.

Comments: To appear in the Rocky Mountain Journal of Mathematics

MSC Class: 13A05 (Primary) 13E10 (Secondary)

Self-intersections of Two-Dimensional Equilateral Random Walks and Polygons

Authors: Max B. Kutler, Margaret Rogers, Nicholas Pippenger

Abstract: We study the mean and variance of the number of self-intersections of the equilateral isotropic random walk in the plane, as well as the corresponding quantities for isotropic equilateral random polygons (random walks conditioned to return to their starting point after a given number of steps). The expected number of self-intersections is $(2/π^2)n\log n + O(n)$ for both walks and polygons with… ▽ More We study the mean and variance of the number of self-intersections of the equilateral isotropic random walk in the plane, as well as the corresponding quantities for isotropic equilateral random polygons (random walks conditioned to return to their starting point after a given number of steps). The expected number of self-intersections is $(2/π^2)n\log n + O(n)$ for both walks and polygons with $n$ steps. The variance is $O(n^2 \log n)$ for both walks and polygons, which shows that the number of self-intersections exhibits concentration around the mean. △ Less

Submitted 24 August, 2015; originally announced August 2015.

Comments: i+23 pp

MSC Class: 60G50

The Mahler measure of a Calabi-Yau threefold and special L-values

Authors: Matthew A. Papanikolas, Mathew D. Rogers, Detchat Samart

Abstract: The aim of this paper is to prove a Mahler measure formula of a four-variable Laurent polynomial whose zero locus defines a Calabi-Yau threefold. We show that its Mahler measure is a rational linear combination of a special L-value of the normalized newform in S_4(Gamma_0(8)) and a Riemann zeta value. This is equivalent to a new formula for a 6F5-hypergeometric series evaluated at 1. The aim of this paper is to prove a Mahler measure formula of a four-variable Laurent polynomial whose zero locus defines a Calabi-Yau threefold. We show that its Mahler measure is a rational linear combination of a special L-value of the normalized newform in S_4(Gamma_0(8)) and a Riemann zeta value. This is equivalent to a new formula for a 6F5-hypergeometric series evaluated at 1. △ Less

Submitted 9 May, 2013; originally announced May 2013.

Comments: 11 pages

MSC Class: 11F67 (Primary) 11R06; 33C20; 33C75 (Secondary)

Journal ref: Math. Z. 276 (2014), no. 3-4, 1151-1163

Secant Zeta Functions

Authors: Matilde Lalín, Francis Rodrigue, Mathew Rogers

Abstract: We study the series $ψ_s(z):=\sum_{n=1}^{\infty} \sec(nπz)n^{-s}$, and prove that it converges under mild restrictions on $z$ and $s$. The function possesses a modular transformation property, which allows us to evaluate $ψ_{s}(z)$ explicitly at certain quadratic irrational values of $z$. This supports our conjecture that $π^{-k} ψ_{k}(\sqrt{j})\in\mathbb{Q}$ whenever $k$ and $j$ are positive inte… ▽ More We study the series $ψ_s(z):=\sum_{n=1}^{\infty} \sec(nπz)n^{-s}$, and prove that it converges under mild restrictions on $z$ and $s$. The function possesses a modular transformation property, which allows us to evaluate $ψ_{s}(z)$ explicitly at certain quadratic irrational values of $z$. This supports our conjecture that $π^{-k} ψ_{k}(\sqrt{j})\in\mathbb{Q}$ whenever $k$ and $j$ are positive integers with $k$ even. We conclude with some speculations on Bernoulli numbers. △ Less

Submitted 2 July, 2013; v1 submitted 14 April, 2013; originally announced April 2013.

Comments: 10 pages

MSC Class: Primary 33E20; Secondary 33B30; 11L03

On Conic Fourier Multipliers

Authors: Antonio Córdoba, Keith M. Rogers

Abstract: We prove a weighted inequality which controls conic Fourier multiplier operators in terms of lacunary directional maximal operators. By bounding the maximal operators, this enables us to conclude that the multiplier operators are bounded on $L^p(\mathbb{R}^3)$ with $1<p<\infty$. We prove a weighted inequality which controls conic Fourier multiplier operators in terms of lacunary directional maximal operators. By bounding the maximal operators, this enables us to conclude that the multiplier operators are bounded on $L^p(\mathbb{R}^3)$ with $1<p<\infty$. △ Less

Submitted 5 June, 2013; v1 submitted 4 April, 2013; originally announced April 2013.

Comments: 11 pages, estimates made more precise and references added

MSC Class: 42B25

Rough Potential Recovery in the Plane

Authors: Kari Astala, Daniel Faraco, Keith M. Rogers

Abstract: We reconstruct compactly supported potentials with only half a derivative in $L^2$ from the scattering amplitude at a fixed energy. For this we draw a connection between the recently introduced method of Bukhgeim, which uniquely determined the potential from the Dirichlet-to-Neumann map, and a question of Carleson regarding the convergence to initial data of solutions to time-dependent Schrödinger… ▽ More We reconstruct compactly supported potentials with only half a derivative in $L^2$ from the scattering amplitude at a fixed energy. For this we draw a connection between the recently introduced method of Bukhgeim, which uniquely determined the potential from the Dirichlet-to-Neumann map, and a question of Carleson regarding the convergence to initial data of solutions to time-dependent Schrödinger equations. We also provide examples of compactly supported potentials, with $s$ derivatives in $L^2$ for any $s<1/2$, which cannot be recovered by these means. Thus the recovery method has a different threshold in terms of regularity than the corresponding uniqueness result. △ Less

Submitted 8 June, 2015; v1 submitted 4 April, 2013; originally announced April 2013.

Comments: 24 pages

MSC Class: 35P25; 45Q05

Journal ref: Ann. Sci. Éc. Norm. Supér. (4) 49 (2016), no. 5, 1027-1051

Moments of elliptic integrals and critical $L$-values

Authors: M. Rogers, J. G. Wan, I. J. Zucker

Abstract: We compute the critical $L$-values of some weight 3, 4, or 5 modular forms, by transforming them into integrals of the complete elliptic integral $K$. In doing so, we prove closed form formulas for some moments of $K'^3$. Many of our $L$-values can be expressed in terms of Gamma functions, and this also gives new lattice sum evaluations. We compute the critical $L$-values of some weight 3, 4, or 5 modular forms, by transforming them into integrals of the complete elliptic integral $K$. In doing so, we prove closed form formulas for some moments of $K'^3$. Many of our $L$-values can be expressed in terms of Gamma functions, and this also gives new lattice sum evaluations. △ Less

Submitted 15 April, 2013; v1 submitted 9 March, 2013; originally announced March 2013.

A solution of Sun's $520 challenge concerning 520/pi

Authors: Mathew Rogers, Armin Straub

Abstract: We prove a Ramanujan-type formula for $520/π$ conjectured by Sun. Our proof begins with a hypergeometric representation of the relevant double series, which relies on a recent generating function for Legendre polynomials by Wan and Zudilin. After showing that appropriate modular parameters can be introduced, we then apply standard techniques, going back to Ramanujan, for establishing series for… ▽ More We prove a Ramanujan-type formula for $520/π$ conjectured by Sun. Our proof begins with a hypergeometric representation of the relevant double series, which relies on a recent generating function for Legendre polynomials by Wan and Zudilin. After showing that appropriate modular parameters can be introduced, we then apply standard techniques, going back to Ramanujan, for establishing series for $1/π$. △ Less

Submitted 8 October, 2012; originally announced October 2012.

Comments: 17 pages

Identities for the Ramanujan zeta function

Authors: Mathew Rogers

Abstract: We prove formulas for special values of the Ramanujan tau zeta function. Our formulas show that $L(Δ, k)$ is a period in the sense of Kontsevich and Zagier when $k\ge12$. As an illustration, we reduce $L(Δ, k)$ to explicit integrals of hypergeometric and algebraic functions when $k\in\{12,13,14,15\}$. We prove formulas for special values of the Ramanujan tau zeta function. Our formulas show that $L(Δ, k)$ is a period in the sense of Kontsevich and Zagier when $k\ge12$. As an illustration, we reduce $L(Δ, k)$ to explicit integrals of hypergeometric and algebraic functions when $k\in\{12,13,14,15\}$. △ Less

Submitted 16 April, 2013; v1 submitted 6 October, 2012; originally announced October 2012.

Comments: 10 pages

MSC Class: Primary 33C20; Secondary 11F11; 11F03; 11Y60; 33C75; 33E05

An integral arising from the chiral sl(n) Potts model

Authors: Anthony J. Guttmann, Mathew D. Rogers

Abstract: We show that the integral $J(t) = (1/π^3) \int_0^π\int_0^π\int_0^πdx dy dz \log(t - \cos{x} - \cos{y} - \cos{z} + \cos{x}\cos{y}\cos{z})$, can be expressed in terms of ${_5F_4}$ hypergeometric functions. The integral arises in the solution by Baxter and Bazhanov of the free-energy of the $sl(n)$ Potts model, which includes the term $J(2)$. Our result immediately gives the logarithmic Mahler measur… ▽ More We show that the integral $J(t) = (1/π^3) \int_0^π\int_0^π\int_0^πdx dy dz \log(t - \cos{x} - \cos{y} - \cos{z} + \cos{x}\cos{y}\cos{z})$, can be expressed in terms of ${_5F_4}$ hypergeometric functions. The integral arises in the solution by Baxter and Bazhanov of the free-energy of the $sl(n)$ Potts model, which includes the term $J(2)$. Our result immediately gives the logarithmic Mahler measure of the Laurent polynomial $k - (x+1/x) - (y+1/y) - (z+1/z) + 1/4(x+1/x) (y+1/y) (z+1/z)$ in terms of the same hypergeometric functions. △ Less

Submitted 16 August, 2012; originally announced August 2012.

MSC Class: 11R06

Square functions and maximal operators associated with radial Fourier multipliers

Authors: Sanghyuk Lee, Keith M. Rogers, Andreas Seeger

Abstract: We begin with an overview on square functions for spherical and Bochner-Riesz means which were introduced by Eli Stein, and discuss their implications for radial multipliers and associated maximal functions. We then prove new endpoint estimates for these square functions, for the maximal Bochner-Riesz operator, and for more general classes of radial Fourier multipliers. We begin with an overview on square functions for spherical and Bochner-Riesz means which were introduced by Eli Stein, and discuss their implications for radial multipliers and associated maximal functions. We then prove new endpoint estimates for these square functions, for the maximal Bochner-Riesz operator, and for more general classes of radial Fourier multipliers. △ Less

Submitted 27 July, 2012; originally announced July 2012.

Journal ref: Chapter 12 in "Advances in Analysis: The Legacy of Elias M. Stein" Princeton University Press, 2014

Twisted Hilbert transforms vs Kakeya sets of directions

Authors: Javier Parcet, Keith M. Rogers

Abstract: Given a discrete group $\G$ and an orthogonal action $γ: \G \to O(n)$ we study $L_p$ convergence of Fourier integrals which are frequency supported on the semidirect product $\R^n \rtimes_γ\G$. Given a unit $u \in \R^n$ and $1 < p \neq 2 < \infty$, our main result shows that the twisted (directional) Hilbert transform $H_u \rtimes_γid_\G$ is $L_p$-bounded iff the orbit $\mathcal{O}_γ(u)$ is finite… ▽ More Given a discrete group $\G$ and an orthogonal action $γ: \G \to O(n)$ we study $L_p$ convergence of Fourier integrals which are frequency supported on the semidirect product $\R^n \rtimes_γ\G$. Given a unit $u \in \R^n$ and $1 < p \neq 2 < \infty$, our main result shows that the twisted (directional) Hilbert transform $H_u \rtimes_γid_\G$ is $L_p$-bounded iff the orbit $\mathcal{O}_γ(u)$ is finite. This is in sharp contrast with twisted Riesz transforms $R_u \rtimes_γid_\G$, which are always bounded. Our result characterizes Fourier summability in $L_p$ for this class of groups. We also extend de Leeuw's compactification theorem to this setting and obtain stronger estimates for functions with "lacunary" frequency support. △ Less

Submitted 7 December, 2012; v1 submitted 9 July, 2012; originally announced July 2012.

Comments: New introduction, references updated

Ramanujan series upside-down

Authors: Jesús Guillera, Mathew Rogers

Abstract: We prove that there is a correspondence between Ramanujan-type formulas for 1/π, and formulas for Dirichlet L-values. The same method also allows us to resolve certain values of the Epstein zeta function in terms of rapidly converging hypergeometric functions. The Epstein zeta functions were previously studied by Glasser and Zucker. We prove that there is a correspondence between Ramanujan-type formulas for 1/π, and formulas for Dirichlet L-values. The same method also allows us to resolve certain values of the Epstein zeta function in terms of rapidly converging hypergeometric functions. The Epstein zeta functions were previously studied by Glasser and Zucker. △ Less

Submitted 18 June, 2012; originally announced June 2012.

Comments: 28 pages

Journal ref: J. Aust. Math. Soc. 97 (2014) 78-106

On directional maximal operators in higher dimensions

Authors: Javier Parcet, Keith M. Rogers

Abstract: We introduce a notion of (finite order) lacunarity in higher dimensions for which we can bound the associated directional maximal operators in $L^p(\mathbb{R}^n)$, with $p>1$. In particular, we are able to treat the classes previously considered by Nagel--Stein--Wainger, Sjögren--Sjölin and Carbery. Closely related to this, we find a characterisation of the sets of directions which give rise to bo… ▽ More We introduce a notion of (finite order) lacunarity in higher dimensions for which we can bound the associated directional maximal operators in $L^p(\mathbb{R}^n)$, with $p>1$. In particular, we are able to treat the classes previously considered by Nagel--Stein--Wainger, Sjögren--Sjölin and Carbery. Closely related to this, we find a characterisation of the sets of directions which give rise to bounded maximal operators. The bounds enable Lebesgue type differentiation of integrals in $L_{\text{loc}}^p(\mathbb{R}^n)$, replacing balls by tubes which point in these directions. △ Less

Submitted 8 June, 2015; v1 submitted 16 May, 2012; originally announced May 2012.

Comments: 23 pages; final version to appear in Amer. J. Math

MSC Class: 42B25; 26B05

Two-dimensional series evaluations via the elliptic functions of Ramanujan and Jacobi

Authors: Bruce C. Berndt, George Lamb, Mathew Rogers

Abstract: We evaluate in closed form, for the first time, certain classes of double series, which are remindful of lattice sums. Elliptic functions, singular moduli, class invariants, and the Rogers--Ramanujan continued fraction play central roles in our evaluations We evaluate in closed form, for the first time, certain classes of double series, which are remindful of lattice sums. Elliptic functions, singular moduli, class invariants, and the Rogers--Ramanujan continued fraction play central roles in our evaluations △ Less

Submitted 26 August, 2011; v1 submitted 24 August, 2011; originally announced August 2011.

Comments: 12 pages

On space-time estimates for the Schroedinger operator

Authors: Sanghyuk Lee, Keith M. Rogers, Andreas Seeger

Abstract: We prove mixed norm space-time estimates for solutions of the Schroedinger equation, with initial data in $L^p$ Sobolev or Besov spaces, and clarify the relation with adjoint restriction. We prove mixed norm space-time estimates for solutions of the Schroedinger equation, with initial data in $L^p$ Sobolev or Besov spaces, and clarify the relation with adjoint restriction. △ Less

Submitted 19 March, 2012; v1 submitted 6 August, 2011; originally announced August 2011.

Comments: Slight improvements. Introduction rewritten

MSC Class: 42B15; 35B65

Journal ref: Journal de Mathématiques Pures et Appliquées, 99, no.1 (2013), 62-85

Variations of the Ramanujan polynomials and remarks on $ζ(2j+1)/π^{2j+1}$

Authors: Matilde Lalin, Mathew Rogers

Abstract: We observe that five polynomial families have all of their zeros on the unit circle. We prove the statements explicitly for four of the polynomial families. The polynomials have coefficients which involve Bernoulli numbers, Euler numbers, and the odd values of the Riemann zeta function. These polynomials are closely related to the Ramanujan polynomials, which were recently introduced by Murty, Smy… ▽ More We observe that five polynomial families have all of their zeros on the unit circle. We prove the statements explicitly for four of the polynomial families. The polynomials have coefficients which involve Bernoulli numbers, Euler numbers, and the odd values of the Riemann zeta function. These polynomials are closely related to the Ramanujan polynomials, which were recently introduced by Murty, Smyth and Wang. Our proofs rely upon theorems of Schinzel, and Lakatos and Losonczi and some generalizations. △ Less

Submitted 6 June, 2011; originally announced June 2011.

Comments: 20 pages

MSC Class: 26C10 (Primary) 11B68 (Secondary)

Information Theory and Statistical Mechanics Revisited

Authors: David M. Rogers, Thomas L. Beck, Susan B. Rempe

Abstract: The statistical mechanics of Gibbs is a juxtaposition of subjective, probabilistic ideas on the one hand and objective, mechanical ideas on the other. In this paper, we follow the path set out by Jaynes, including elements added subsequently to that original work, to explore the consequences of the purely statistical point of view. We show how standard methods in the equilibrium theory could have… ▽ More The statistical mechanics of Gibbs is a juxtaposition of subjective, probabilistic ideas on the one hand and objective, mechanical ideas on the other. In this paper, we follow the path set out by Jaynes, including elements added subsequently to that original work, to explore the consequences of the purely statistical point of view. We show how standard methods in the equilibrium theory could have been derived simply from a description of the available problem information. In addition, our presentation leads to novel insights into questions associated with symmetry and non-equilibrium statistical mechanics. Two surprising consequences to be explored in further work are that (in)distinguishability factors are automatically predicted from the problem formulation and that a quantity related to the thermodynamic entropy production is found by considering information loss in non-equilibrium processes. Using the problem of ion channel thermodynamics as an example, we illustrate the idea of building up complexity by successively adding information to create progressively more complex descriptions of a physical system. Our result is that such statistical mechanical descriptions can be used to create transparent, computable, experimentally-relevant models that may be informed by more detailed atomistic simulations. We also derive a theory for the kinetic behavior of this system, identifying the nonequilibrium `process' free energy functional. The Gibbs relation for this functional is a fluctuation-dissipation theorem applicable arbitrarily far from equilibrium, that captures the effect of non-local and time-dependent behavior from transient driving forces. Based on this work, it is clear that statistical mechanics is a general tool for constructing the relationships between constraints on system information. △ Less

Submitted 27 May, 2011; originally announced May 2011.

Comments: 27 pages, 5 figures

MSC Class: 82C05

Journal ref: J. Stat. Phys. 145(2): 385-409, 2011

On the Mahler measure of $1+X+1/X+Y+1/Y$

Authors: Mathew Rogers, Wadim Zudilin

Abstract: We prove a conjectured formula relating the Mahler measure of the Laurent polynomial $1+X+X^{-1}+Y+Y^{-1}$, to the $L$-series of a conductor 15 elliptic curve. We prove a conjectured formula relating the Mahler measure of the Laurent polynomial $1+X+X^{-1}+Y+Y^{-1}$, to the $L$-series of a conductor 15 elliptic curve. △ Less

Submitted 3 May, 2011; v1 submitted 6 February, 2011; originally announced February 2011.

Comments: 18 pages, Fixed typos in Lemmas 3 and 4

MSC Class: Primary 33C20; Secondary 11F03; 14H52; 19F27; 33C75; 33E05

Journal ref: Intern. Math. Research Notices 2014:9 (2014) 2305--2326

A sharp Strichartz estimate for the wave equation with data in the energy space

Authors: Neal Bez, Keith M. Rogers

Abstract: We prove a sharp bilinear estimate for the wave equation from which we obtain the sharp constant in the Strichartz estimate which controls the $L^4_{t,x}(\R^{5+1})$ norm of the solution in terms of the energy. We also characterise the maximisers. We prove a sharp bilinear estimate for the wave equation from which we obtain the sharp constant in the Strichartz estimate which controls the $L^4_{t,x}(\R^{5+1})$ norm of the solution in terms of the energy. We also characterise the maximisers. △ Less

Submitted 7 January, 2011; originally announced January 2011.

Comments: 19 pages

MSC Class: 35B45; 35L05

From $L$-series of elliptic curves to Mahler measures

Authors: Mathew Rogers, Wadim Zudilin

Abstract: We prove the conjectural relations between Mahler measures and $L$-values of elliptic curves of conductors 20 and 24. We also present new hypergeometric expressions for $L$-values of CM elliptic curves of conductors 27 and 36. Furthermore, we prove a new functional equation for the Mahler measure of the polynomial family $(1+X)(1+Y)(X+Y)-αXY$, $α\in\mathbb R$. We prove the conjectural relations between Mahler measures and $L$-values of elliptic curves of conductors 20 and 24. We also present new hypergeometric expressions for $L$-values of CM elliptic curves of conductors 27 and 36. Furthermore, we prove a new functional equation for the Mahler measure of the polynomial family $(1+X)(1+Y)(X+Y)-αXY$, $α\in\mathbb R$. △ Less

Submitted 29 September, 2011; v1 submitted 14 December, 2010; originally announced December 2010.

Comments: 33 pages

MSC Class: Primary 11R06; 33C20; Secondary 11F03; 14H52; 19F27; 33C75; 33E05

Journal ref: Compositio Math. 148 (2012) 385-414

Improved bounds for Stein's square functions

Authors: Sanghyuk Lee, Keith M. Rogers, Andreas Seeger

Abstract: We prove a weighted norm inequality for the maximal Bochner--Riesz operator and the associated square-function. This yields new $L^p(R^d)$ bounds on classes of radial Fourier multipliers for $p\ge 2+4/d$ with $d\ge 2$, as well as space-time regularity results for the wave and Schrödinger equations. We prove a weighted norm inequality for the maximal Bochner--Riesz operator and the associated square-function. This yields new $L^p(R^d)$ bounds on classes of radial Fourier multipliers for $p\ge 2+4/d$ with $d\ge 2$, as well as space-time regularity results for the wave and Schrödinger equations. △ Less

Submitted 15 May, 2011; v1 submitted 9 December, 2010; originally announced December 2010.

Journal ref: Proceedings of the London Mathematical Society, 104 (2012), 1198-1234

Mahler measure and the WZ algorithm

Authors: Jesús Guillera, Mathew Rogers

Abstract: We use the Wilf-Zeilberger method to prove identities between Mahler measures of polynomials. In particular, we offer a new proof of a formula due to Lalín, and we show how to translate the identity into a formula involving elliptic dilogarithms. This work settles a challenge problem proposed by Kontsevich and Zagier in their paper "Periods". We use the Wilf-Zeilberger method to prove identities between Mahler measures of polynomials. In particular, we offer a new proof of a formula due to Lalín, and we show how to translate the identity into a formula involving elliptic dilogarithms. This work settles a challenge problem proposed by Kontsevich and Zagier in their paper "Periods". △ Less

Submitted 8 May, 2013; v1 submitted 8 June, 2010; originally announced June 2010.

Comments: 15 pages

MSC Class: 33C20; 33F10; 19F27

A Calderón-Zygmund estimate with applications to generalized Radon transforms and Fourier integral operators

Authors: Malabika Pramanik, Keith M. Rogers, Andreas Seeger

Abstract: We prove a Calderón-Zygmund type estimate which can be applied to sharpen known regularity results on spherical means, Fourier integral operators and generalized Radon transforms. We prove a Calderón-Zygmund type estimate which can be applied to sharpen known regularity results on spherical means, Fourier integral operators and generalized Radon transforms. △ Less

Submitted 5 May, 2010; originally announced May 2010.

MSC Class: 42B20; 42B35; 35S30

Journal ref: Studia Mathematica, 202 (2011), 1-15

Modular equations and lattice sums

Authors: Mathew Rogers, Boonrod Yuttanan

Abstract: We highlight modular equations discovered by Somos and Ramanujan, and use them to prove new relations between lattice sums and hypergeometric functions. We also discuss progress towards solving Boyd's Mahler measure conjectures, and we conjecture a new formula for $L(E,2)$ of conductor 17 elliptic curves. We highlight modular equations discovered by Somos and Ramanujan, and use them to prove new relations between lattice sums and hypergeometric functions. We also discuss progress towards solving Boyd's Mahler measure conjectures, and we conjecture a new formula for $L(E,2)$ of conductor 17 elliptic curves. △ Less

Submitted 31 July, 2011; v1 submitted 25 January, 2010; originally announced January 2010.

Comments: 12 pages, Rewritten and updated

MSC Class: 33C20; 11F11; 65B10

Endpoint maximal and smoothing estimates for Schroedinger equations

Authors: Keith M. Rogers, Andreas Seeger

Abstract: For $α>1$ we consider the initial value problem for the dispersive equation $i\partial_t u +(-Δ)^{α/2} u= 0$. We prove an endpoint $L^p$ inequality for the maximal function $\sup_{t\in[0,1]}|u(\cdot,t)|$ with initial values in $L^p$-Sobolev spaces, for $p\in(2+4/(d+1),\infty)$. This strengthens the fixed time estimates due to Fefferman and Stein, and Miyachi. As an essential tool we establish sh… ▽ More For $α>1$ we consider the initial value problem for the dispersive equation $i\partial_t u +(-Δ)^{α/2} u= 0$. We prove an endpoint $L^p$ inequality for the maximal function $\sup_{t\in[0,1]}|u(\cdot,t)|$ with initial values in $L^p$-Sobolev spaces, for $p\in(2+4/(d+1),\infty)$. This strengthens the fixed time estimates due to Fefferman and Stein, and Miyachi. As an essential tool we establish sharp $L^p$ space-time estimates (local in time) for the same range of $p$. △ Less

Submitted 21 May, 2009; v1 submitted 25 October, 2008; originally announced October 2008.

MSC Class: 42B15; 35B65

Journal ref: Journal für die reine und angewandte Mathematik, 640 (2010), 47-66

Hypergeometric formulas for lattice sums and Mahler measures

Authors: Mathew D. Rogers

Abstract: We prove a variety of explicit formulas relating special values of generalized hypergeometric functions to lattice sums with four indices of summation. These results are related to Boyd's conjectured identities between Mahler measures and special values of $L$-series of elliptic curves. We prove a variety of explicit formulas relating special values of generalized hypergeometric functions to lattice sums with four indices of summation. These results are related to Boyd's conjectured identities between Mahler measures and special values of $L$-series of elliptic curves. △ Less

Submitted 28 December, 2010; v1 submitted 22 June, 2008; originally announced June 2008.

Comments: 27 pages, typos fixed

MSC Class: 33C20; 33C05; 11M41

A note on a curious formula for Euler's constant

Authors: Mathew D. Rogers

Abstract: In this short note we will use the residue theorem to establish a formula for Euler's constant. In particular, we offer a slightly generalized version of an interesting infinite series due to Flajolet, Gourdon, and Dumas. In this short note we will use the residue theorem to establish a formula for Euler's constant. In particular, we offer a slightly generalized version of an interesting infinite series due to Flajolet, Gourdon, and Dumas. △ Less

Submitted 8 June, 2010; v1 submitted 21 October, 2007; originally announced October 2007.

Comments: 4 pages

An extension of Boyd's $p$-adic algorithm for the harmonic series

Authors: Mathew D. Rogers

Abstract: In this paper we will extend a $p$-adic algorithm of Boyd in order to study the size of the set: \[J_p(y)=\left\{n :\sum_{j=1}^{n}\frac{y^j}{j}\equiv 0(\mod p)\right\}.\] Suppose that $p$ is one of the first 100 odd primes and $y\in\{1,2,...,p-1\}$, then our calculations prove that $|J_p(y)|<\infty$ in 24240 out of 24578 possible cases. Among other results we show that $|J_{13}(9)|=18763$. The p… ▽ More In this paper we will extend a $p$-adic algorithm of Boyd in order to study the size of the set: \[J_p(y)=\left\{n :\sum_{j=1}^{n}\frac{y^j}{j}\equiv 0(\mod p)\right\}.\] Suppose that $p$ is one of the first 100 odd primes and $y\in\{1,2,...,p-1\}$, then our calculations prove that $|J_p(y)|<\infty$ in 24240 out of 24578 possible cases. Among other results we show that $|J_{13}(9)|=18763$. The paper concludes by discussing some possible applications of our method to sums involving Fibonacci numbers. △ Less

Submitted 17 August, 2007; originally announced August 2007.

Comments: 17 pages, 2 tables

MSC Class: 11Y99