Showing 1–35 of 35 results for author: Miller, B

Demystifying Carleson Frames

Authors: Ilya Krishtal, Brendan Miller

Abstract: We study spanning properties of Carleson systems and prove a recent conjecture on frame subsequences of Carleson frames. In particular, we show that if $\{T^k\varphi\}_{k=0}^\infty$ is a Carleson frame, then every subsequence of the form $\{T^{Nk+j_k}\varphi\}_{k=0}^\infty$ where $N\in\mathbb{N}$ and $0 \leq j_k < N$ is also a frame. We study spanning properties of Carleson systems and prove a recent conjecture on frame subsequences of Carleson frames. In particular, we show that if $\{T^k\varphi\}_{k=0}^\infty$ is a Carleson frame, then every subsequence of the form $\{T^{Nk+j_k}\varphi\}_{k=0}^\infty$ where $N\in\mathbb{N}$ and $0 \leq j_k < N$ is also a frame. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Kadec-type theorems for sampled group orbits

Authors: Ilya Krishtal, Brendan Miller

Abstract: We extend the classical Kadec 1/4 theorem for systems of exponential functions on an interval to frames and atomic decompositions formed by sampling an orbit of a vector under an isometric group representation. We extend the classical Kadec 1/4 theorem for systems of exponential functions on an interval to frames and atomic decompositions formed by sampling an orbit of a vector under an isometric group representation. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Reconstruction algorithms for source term recovery from dynamical samples in catalyst models

Authors: Akram Aldroubi, Le Gong, Ilya Krishtal, Brendan Miller, Sumati Thareja

Abstract: This paper investigates the problem of recovering source terms in abstract initial value problems (IVP) commonly used to model various scientific phenomena in physics, chemistry, economics, and other fields. We consider source terms of the form $F=h+η$, where $η$ is a Lipschitz continuous background source. The primary objective is to estimate the unknown parameters of non-instantaneous sources… ▽ More This paper investigates the problem of recovering source terms in abstract initial value problems (IVP) commonly used to model various scientific phenomena in physics, chemistry, economics, and other fields. We consider source terms of the form $F=h+η$, where $η$ is a Lipschitz continuous background source. The primary objective is to estimate the unknown parameters of non-instantaneous sources $h(t)=\sum\limits_{j=0}^M h_je^{-ρ_j(t-t_j)}χ_{[t_j,\infty)}(t)$, such as the decay rates, initial intensities and activation times. We present two novel recovery algorithms that employ distinct sampling methods of the solution of the IVP. Algorithm 1 combines discrete and weighted average measurements, whereas Algorithm 2 uses a different variant of weighted average measurements. We analyze the performance of these algorithms, providing upper bounds on the recovery errors of the model parameters. Our focus is on the structure of the dynamical samples used by the algorithms and on the error guarantees they yield. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Seifert surfaces in the four-ball and composition of binary quadratic forms

Authors: Menny Aka, Peter Feller, Alison Beth Miller, Andreas Wieser

Abstract: We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent intere… ▽ More We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent interest. It establishes a new connection between the Bhargava cube and the geometric approach to Gauss composition via planes in the space of two-by-two matrices. In particular, we obtain a geometric recipe that given any two binary quadratic forms finds a Bhargava cube that gives rise to their composition. △ Less

Submitted 10 March, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 29 pages, 2 figures, comments welcome. v4: minor changes

MSC Class: 57K10; 57K45; 11E16; 15A72

Patterns of primes in joint Sato--Tate distributions

Authors: A. Anas Chentouf, Catherine Cossaboom, Samuel Goldberg, Jack B. Miller

Abstract: For $j=1,2$, let $f_j(z) = \sum_{n=1}^{\infty} a_{j}(n) e^{2πi nz}$ be a holomorphic, non-CM cuspidal newform of even weight $k_j \ge 2$ with trivial nebentypus. For each prime $p$, let $θ_{j}(p)\in[0,π]$ be the angle such that $a_j(p) = 2p^{(k-1)/2} \cos θ_{j}(p)$. The now-proven Sato--Tate conjecture states that the angles $(θ_j(p))$ equidistribute with respect to the measure… ▽ More For $j=1,2$, let $f_j(z) = \sum_{n=1}^{\infty} a_{j}(n) e^{2πi nz}$ be a holomorphic, non-CM cuspidal newform of even weight $k_j \ge 2$ with trivial nebentypus. For each prime $p$, let $θ_{j}(p)\in[0,π]$ be the angle such that $a_j(p) = 2p^{(k-1)/2} \cos θ_{j}(p)$. The now-proven Sato--Tate conjecture states that the angles $(θ_j(p))$ equidistribute with respect to the measure $dμ_{\mathrm ST} = \frac{2}π\sin^2θ\,dθ$. We show that, if $f_1$ is not a character twist of $f_2$, then for subintervals $I_1,I_2 \subset [0,π]$, there exist infinitely many bounded gaps between the primes $p$ such that $θ_1(p) \in I_1$ and $θ_2(p) \in I_2$. We also prove a common generalization of the bounded gaps with the Green--Tao theorem. △ Less

Submitted 12 August, 2023; originally announced August 2023.

Comments: 28 pages

Extending the support of $1$- and $2$-level densities for cusp form $L$-functions under square-root cancellation hypotheses

Authors: Annika Mauro, Jack B. Miller, Steven J. Miller

Abstract: The Katz-Sarnak philosophy predicts that the behavior of zeros near the central point in families of $L$-functions agrees with that of eigenvalues near 1 of random matrix ensembles. Under GRH, Iwaniec, Luo and Sarnak showed agreement in the one-level densities for cuspidal newforms with the support of the Fourier transform of the test function in $(-2, 2)$. They increased the support further under… ▽ More The Katz-Sarnak philosophy predicts that the behavior of zeros near the central point in families of $L$-functions agrees with that of eigenvalues near 1 of random matrix ensembles. Under GRH, Iwaniec, Luo and Sarnak showed agreement in the one-level densities for cuspidal newforms with the support of the Fourier transform of the test function in $(-2, 2)$. They increased the support further under a square-root cancellation conjecture, showing that a ${\rm GL}(1)$ estimate led to additional agreement between number theory and random matrix theory. We formulate a two-dimensional analog and show it leads to improvements in the two-level density. Specifically, we show that a square-root cancellation of certain classical exponential sums over primes increases the support of the test functions such that the main terms in the $1$- and $2$-level densities of cuspidal newforms averaged over bounded weight $k$ (and fixed level $1$) converge to their random matrix theory predictions. We also conjecture a broad class of such exponential sums where we expect improvement in the case of arbitrary $n$-level densities, and note that the arguments in [ILS] yield larger support than claimed. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Comments: 14 pages, to be submitted to Acta Arithmetica

MSC Class: 11M26 (primary); 11M41; 15A52 (secondary)

Benfordness of Measurements Resulting from Box Fragmentation

Authors: Livia Betti, Irfan Durmić, Zoe McDonald, Jack B. Miller, Steven J. Miller

Abstract: We make progress on a conjecture made by [DM], which states that the $d$-dimensional frames of $m$-dimensional boxes resulting from a fragmentation process satisfy Benford's law for all $1 \leq d \leq m$. We provide a sufficient condition for Benford's law to be satisfied, namely that the maximum product of $d$ sides is itself a Benford random variable. Motivated to produce an example of such a fr… ▽ More We make progress on a conjecture made by [DM], which states that the $d$-dimensional frames of $m$-dimensional boxes resulting from a fragmentation process satisfy Benford's law for all $1 \leq d \leq m$. We provide a sufficient condition for Benford's law to be satisfied, namely that the maximum product of $d$ sides is itself a Benford random variable. Motivated to produce an example of such a fragmentation process, we show that processes constructed from log-uniform proportion cuts satisfy the maximum criterion for $d=1$. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: 13 pages, 3 figures, to be submitted to the Journal of Statistical Theory and Practice

MSC Class: 60A10; 11K06 (primary); 60E10 (secondary)

On Low-Rank Convex-Convex Quadratic Fractional Programming

Authors: Ilya Krishtal, Brendan Miller

Abstract: We present an efficient algorithm for solving fractional programming problems whose objective functions are the ratio of a low-rank quadratic to a positive definite quadratic with convex constraints. The proposed algorithm for these convex-convex problems is based on the Shen-Yu Quadratic Transform which finds stationary points of concave-convex sum-of-ratios problems. We further use elements of t… ▽ More We present an efficient algorithm for solving fractional programming problems whose objective functions are the ratio of a low-rank quadratic to a positive definite quadratic with convex constraints. The proposed algorithm for these convex-convex problems is based on the Shen-Yu Quadratic Transform which finds stationary points of concave-convex sum-of-ratios problems. We further use elements of the algorithm proposed in [arXiv:1802.10192] and the classic Dinkelbach approach to ensure convergence. We show that our algorithm performs better than previous algorithms for low-rank problems. △ Less

Submitted 26 January, 2023; originally announced January 2023.

A ratio ergodic theorem via tiling and uniformly syndetic markers

Authors: Benjamin D. Miller, Anush Tserunyan

Abstract: We prove a purely Borel/measureless version of Dowker's ratio ergodic theorem, from which we derive a strengthening of Dowker's original theorem with a precise identification of the limit of local ergodic ratios. This is done by implementing the pointwise tiling idea of [Tse18] in the more complex setting of continuum-to-one Borel transformations. Along the way, we establish a vanishing markers le… ▽ More We prove a purely Borel/measureless version of Dowker's ratio ergodic theorem, from which we derive a strengthening of Dowker's original theorem with a precise identification of the limit of local ergodic ratios. This is done by implementing the pointwise tiling idea of [Tse18] in the more complex setting of continuum-to-one Borel transformations. Along the way, we establish a vanishing markers lemma for these transformations, which generalizes its well-known counterpart for invertible transformations. △ Less

Submitted 19 December, 2023; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: Major revision containing new results and strengthenings of previous results

MSC Class: 03E15; 28A05; 37B05

Dynamical Mahler Measure: A survey and some recent results

Authors: Annie Carter, Matilde Lalín, Michelle Manes, Alison Beth Miller

Abstract: We study the dynamical Mahler measure of multivariate polynomials and present dynamical analogues of various results from the classical Mahler measure as well as examples of formulas allowing the computation of the dynamical Mahler measure in certain cases. We discuss multivariate analogues of dynamical Kronecker's Lemma and present some improvements on the result for two variables due to Carter,… ▽ More We study the dynamical Mahler measure of multivariate polynomials and present dynamical analogues of various results from the classical Mahler measure as well as examples of formulas allowing the computation of the dynamical Mahler measure in certain cases. We discuss multivariate analogues of dynamical Kronecker's Lemma and present some improvements on the result for two variables due to Carter, Lalín, Manes, Miller, and Mocz. △ Less

Submitted 8 April, 2022; originally announced April 2022.

Comments: 22 pages, 5 figures

MSC Class: 11R06 (Primary); 11G50; 37P15; 37P30 (Secondary)

Two-variable polynomials with dynamical Mahler measure zero

Authors: Annie Carter, Matilde Lalín, Michelle Manes, Alison Beth Miller, Lucia Mocz

Abstract: We discuss several aspects of the dynamical Mahler measure for multivariate polynomials. We prove a weak dynamical version of Boyd--Lawton formula and we characterize the polynomials with integer coefficients having dynamical Mahler measure zero both for the case of one variable (Kronecker's lemma) and for the case of two variables, under the assumption that the dynamical version of Lehmer's quest… ▽ More We discuss several aspects of the dynamical Mahler measure for multivariate polynomials. We prove a weak dynamical version of Boyd--Lawton formula and we characterize the polynomials with integer coefficients having dynamical Mahler measure zero both for the case of one variable (Kronecker's lemma) and for the case of two variables, under the assumption that the dynamical version of Lehmer's question is true. △ Less

Submitted 17 April, 2022; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: Corrections and updates based on referee report. One section (former section 2) removed

MSC Class: Primary 11R06; Secondary 11G50; 37P15; 37P30

The Feldman-Moore, Glimm-Effros, and Lusin-Novikov theorems over quotients

Authors: N. de Rancourt, B. D. Miller

Abstract: We establish generalizations of the Feldman-Moore theorem, the Glimm-Effros dichotomy, and the Lusin-Novikov uniformization theorem from Polish spaces to their quotients by Borel orbit equivalence relations. We establish generalizations of the Feldman-Moore theorem, the Glimm-Effros dichotomy, and the Lusin-Novikov uniformization theorem from Polish spaces to their quotients by Borel orbit equivalence relations. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 25 pages

MSC Class: Primary 03E15; 28A05

A dichotomy for countable unions of smooth Borel equivalence relations

Authors: N. de Rancourt, B. D. Miller

Abstract: We show that if an equivalence relation $E$ on a Polish space is a countable union of smooth Borel subequivalence relations, then there is either a Borel reduction of $E$ to a countable Borel equivalence relation on a Polish space or a continuous embedding of $\mathbb{E}_1$ into $E$. We also establish related results concerning countable unions of more general Borel equivalence relations. We show that if an equivalence relation $E$ on a Polish space is a countable union of smooth Borel subequivalence relations, then there is either a Borel reduction of $E$ to a countable Borel equivalence relation on a Polish space or a continuous embedding of $\mathbb{E}_1$ into $E$. We also establish related results concerning countable unions of more general Borel equivalence relations. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 33 pages

MSC Class: Primary 03E15; 28A05

On the number of binary quadratic forms having discriminant $1-4p$, $p$ prime

Authors: Alison Beth Miller, Stanley Yao Xiao

Abstract: In this paper we obtain an asymptotic formula for the number of $\operatorname{SL}_2(\mathbb{Z})$-equivalence classes of positive definite binary quadratic forms over $\mathbb{Z}$ having bounded discriminant $Δ= 1-4p$, with $p$ a prime. This extends work of the first named author and has an application in counting simple $(4a+1)$-knots of genus one. In this paper we obtain an asymptotic formula for the number of $\operatorname{SL}_2(\mathbb{Z})$-equivalence classes of positive definite binary quadratic forms over $\mathbb{Z}$ having bounded discriminant $Δ= 1-4p$, with $p$ a prime. This extends work of the first named author and has an application in counting simple $(4a+1)$-knots of genus one. △ Less

Submitted 27 March, 2025; v1 submitted 12 November, 2020; originally announced November 2020.

Comments: Version 2 is significantly revised, with a new and slimmed down proof of our main theorem

Scrambled Cantor sets

Authors: Stefan Geschke, Jan Grebík, Benjamin D. Miller

Abstract: We show that Li-Yorke chaos ensures the existence of a scrambled Cantor set. We show that Li-Yorke chaos ensures the existence of a scrambled Cantor set. △ Less

Submitted 11 September, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: We have added several references in an attempt to better motivate our main result and clarify its relationship to previous work, and shifted the focus of the paper to the special case of what was previously our main result that should be of greatest interest to those working in dynamical systems

MSC Class: 03E15; 28A05; 37B05

Bases for functions beyond the first Baire class

Authors: Raphaël Carroy, Benjamin D. Miller

Abstract: We provide a finite basis for the class of Borel functions that are not in the first Baire class, as well as the class of Borel functions that are not $σ$-continuous with closed witnesses. We provide a finite basis for the class of Borel functions that are not in the first Baire class, as well as the class of Borel functions that are not $σ$-continuous with closed witnesses. △ Less

Submitted 23 February, 2020; originally announced February 2020.

MSC Class: 03E15; 26A21; 28A05; 54H05 (Primary)

Lacunary sets for actions of tsi groups

Authors: Benjamin D. Miller

Abstract: Under a mild definability assumption, we characterize the family of Borel actions $Γ\curvearrowright X$ of tsi Polish groups on Polish spaces that can be decomposed into countably-many actions admitting complete Borel sets that are lacunary with respect to an open neighborhood of $1_Γ$. In the special case that $Γ$ is non-archimedean, it follows that there is such a decomposition if and only if th… ▽ More Under a mild definability assumption, we characterize the family of Borel actions $Γ\curvearrowright X$ of tsi Polish groups on Polish spaces that can be decomposed into countably-many actions admitting complete Borel sets that are lacunary with respect to an open neighborhood of $1_Γ$. In the special case that $Γ$ is non-archimedean, it follows that there is such a decomposition if and only if there is no continuous embedding of $\mathbb{E}_0^{\mathbb{N}}$ into $E_Γ^X$. △ Less

Submitted 23 February, 2020; originally announced February 2020.

MSC Class: 03E15; 28A05 (Primary)

Sigma-continuity with closed witnesses

Authors: Raphaël Carroy, Benjamin D. Miller

Abstract: We use variants of the $\mathbb{G}_0$ dichotomy to establish a refinement of Solecki's basis theorem for the family of Baire-class one functions which are not $σ$-continuous with closed witnesses. We use variants of the $\mathbb{G}_0$ dichotomy to establish a refinement of Solecki's basis theorem for the family of Baire-class one functions which are not $σ$-continuous with closed witnesses. △ Less

Submitted 23 February, 2020; originally announced February 2020.

MSC Class: 03E15; 26A21; 28A05; 54H05 (Primary)

Journal ref: Fundamenta Mathematicae 239 (2017) 29 - 42

Measure reducibility of countable Borel equivalence relations

Authors: Clinton T. Conley, Benjamin D. Miller

Abstract: We show that every basis for the countable Borel equivalence relations strictly above $\mathbb{E}_0$ under measure reducibility is uncountable, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push many known results concerning the abstract structure of the measure reducibility hierarchy to its base, using arguments substantially simpler than those previously emplo… ▽ More We show that every basis for the countable Borel equivalence relations strictly above $\mathbb{E}_0$ under measure reducibility is uncountable, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push many known results concerning the abstract structure of the measure reducibility hierarchy to its base, using arguments substantially simpler than those previously employed. △ Less

Submitted 22 February, 2020; originally announced February 2020.

MSC Class: 03E15; 28A05 (Primary); 22F10; 37A20 (Secondary)

Journal ref: Annals of Mathematics 185 (2) (2017) 347-402

Measurable perfect matchings for acyclic locally countable Borel graphs

Authors: Clinton T. Conley, Benjamin D. Miller

Abstract: We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields the existence of Borel matchings for such graphs of degree at least three. As a corollary, it follows that acyclic locally countable Borel graphs of degree at l… ▽ More We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields the existence of Borel matchings for such graphs of degree at least three. As a corollary, it follows that acyclic locally countable Borel graphs of degree at least three generating $μ$-hyperfinite equivalence relations admit $μ$-measurable matchings. We establish the analogous result for Baire measurable matchings in the locally finite case, and provide a counterexample in the locally countable case. △ Less

Submitted 22 February, 2020; originally announced February 2020.

MSC Class: 03E15; 28A05 (Primary); 05C15 (Secondary)

Journal ref: Journal of Symbolic Logic 82 (1) (2017) 258-271

Incomparable actions of free groups

Authors: Clinton T. Conley, Benjamin D. Miller

Abstract: Suppose that $X$ is a Polish space, $E$ is a countable Borel equivalence relation on $X$, and $μ$ is an $E$-invariant Borel probability measure on $X$. We consider the circumstances under which for every countable non-abelian free group $Γ$, there is a Borel sequence $(\cdot_r)_{r \in \mathbb{R}}$ of free actions of $Γ$ on $X$, generating subequivalence relations $E_r$ of $E$ with respect to which… ▽ More Suppose that $X$ is a Polish space, $E$ is a countable Borel equivalence relation on $X$, and $μ$ is an $E$-invariant Borel probability measure on $X$. We consider the circumstances under which for every countable non-abelian free group $Γ$, there is a Borel sequence $(\cdot_r)_{r \in \mathbb{R}}$ of free actions of $Γ$ on $X$, generating subequivalence relations $E_r$ of $E$ with respect to which $μ$ is ergodic, with the further property that $(E_r)_{r \in \mathbb{R}}$ is an increasing sequence of relations which are pairwise incomparable under $μ$-reducibility. In particular, we show that if $E$ satisfies a natural separability condition, then this is the case as long as there exists a free Borel action of a countable non-abelian free group on $X$, generating a subequivalence relation of $E$ with respect to which $μ$ is ergodic. △ Less

Submitted 22 February, 2020; originally announced February 2020.

MSC Class: 03E15; 28A05 (Primary); 22F10; 37A20 (Secondary)

Journal ref: Ergodic theory and dynamical systems 37 (7) (2017) 2084-2098

Recurrence and the existence of invariant measures

Authors: Manuel J. Inselmann, Benjamin D. Miller

Abstract: We show that recurrence conditions do not yield invariant Borel probability measures in the descriptive set-theoretic milieu, in the strong sense that if a Borel action of a locally compact Polish group on a standard Borel space satisfies such a condition but does not have an orbit supporting an invariant Borel probability measure, then there is an invariant Borel set on which the action satisfies… ▽ More We show that recurrence conditions do not yield invariant Borel probability measures in the descriptive set-theoretic milieu, in the strong sense that if a Borel action of a locally compact Polish group on a standard Borel space satisfies such a condition but does not have an orbit supporting an invariant Borel probability measure, then there is an invariant Borel set on which the action satisfies the condition but does not have an invariant Borel probability measure. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: To appear in the Journal of Symbolic Logic

MSC Class: 03E15; 28A05 (Primary)

Journal ref: J. symb. log. 86 (2021) 60-76

On the existence of cocycle-invariant Borel probability measures

Authors: Benjamin D. Miller

Abstract: We show that a natural generalization of compressibility is the sole obstruction to the existence of a cocycle-invariant Borel probability measure. We show that a natural generalization of compressibility is the sole obstruction to the existence of a cocycle-invariant Borel probability measure. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: To appear in Ergodic Theory in Dynamical Systems

MSC Class: 03E15; 28A05 (Primary)

Journal ref: Ergod. Th. Dynam. Sys. 40 (2020) 3150-3168

On the existence of small antichains for definable quasi-orders

Authors: Raphaël Carroy, Benjamin D. Miller, Zoltán Vidnyánszky

Abstract: We generalize Kada's definable strengthening of Dilworth's characterization of the class of quasi-orders admitting an antichain of a given finite cardinality. We generalize Kada's definable strengthening of Dilworth's characterization of the class of quasi-orders admitting an antichain of a given finite cardinality. △ Less

Submitted 15 February, 2020; originally announced February 2020.

MSC Class: Primary 03E15; 28A05

Minimal definable graphs of definable chromatic number at least three

Authors: Raphael Carroy, Benjamin D. Miller, David Schrittesser, Zoltan Vidnyanszky

Abstract: We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property, and show that the analogous result for digraphs fails. We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property, and show that the analogous result for digraphs fails. △ Less

Submitted 23 November, 2019; v1 submitted 19 June, 2019; originally announced June 2019.

Journal ref: Forum of Mathematics, Sigma (2021), Vol. 9:e7 1--16

Asymptotics for the number of Simple $(4a+1)$-Knots of Genus 1

Authors: Alison Beth Miller

Abstract: We investigate the asymptotics of the total number of simple $4a+1$-knots with Alexander polynomial of the form $mt^2 +(1-2m) t + m$ for some $m \in [-X, X]$. Using Kearton and Levine's classification of simple knots, we give equivalent algebraic and arithmetic formulations of this counting question. In particular, this count is the same as the total number of $\mathbb{Z}[1/m]$-equivalence classes… ▽ More We investigate the asymptotics of the total number of simple $4a+1$-knots with Alexander polynomial of the form $mt^2 +(1-2m) t + m$ for some $m \in [-X, X]$. Using Kearton and Levine's classification of simple knots, we give equivalent algebraic and arithmetic formulations of this counting question. In particular, this count is the same as the total number of $\mathbb{Z}[1/m]$-equivalence classes of binary quadratic forms of discriminant $1-4m$, for $m$ running through the same range. Our heuristics, based on the Cohen-Lenstra heuristics, suggest that this total is asymptotic to $X^{3/2}/\log X$, and the largest contribution comes from the values of $m$ that are positive primes. Using sieve methods, we prove that the contribution to the total coming from $m$ prime is bounded above by $O(X^{3/2}/\log X)$, and that the total itself is $o(X^{3/2})$. △ Less

Submitted 30 September, 2020; v1 submitted 10 May, 2019; originally announced May 2019.

Comments: 16 pages. Changes in v2: added an expanded discussion and justification of the heuristics, and proof of Theorem 1.3 has been completely rewritten

MSC Class: 11N45; 11R29; 11R65; 11R11; 11H55; 11N36; 57Q45

Penney's Game Odds From No-Arbitrage

Authors: Joshua B. Miller

Abstract: Penney's game is a two player zero-sum game in which each player chooses a three-flip pattern of heads and tails and the winner is the player whose pattern occurs first in repeated tosses of a fair coin. Because the players choose sequentially, the second mover has the advantage. In fact, for any three-flip pattern, there is another three-flip pattern that is strictly more likely to occur first. T… ▽ More Penney's game is a two player zero-sum game in which each player chooses a three-flip pattern of heads and tails and the winner is the player whose pattern occurs first in repeated tosses of a fair coin. Because the players choose sequentially, the second mover has the advantage. In fact, for any three-flip pattern, there is another three-flip pattern that is strictly more likely to occur first. This paper provides a novel no-arbitrage argument that generates the winning odds corresponding to any pair of distinct patterns. The resulting odds formula is equivalent to that generated by Conway's "leading number" algorithm. The accompanying betting odds intuition adds insight into why Conway's algorithm works. The proof is simple and easy to generalize to games involving more than two outcomes, unequal probabilities, and competing patterns of various length. Additional results on the expected duration of Penney's game are presented. Code implementing and cross-validating the algorithms is included. △ Less

Submitted 23 April, 2019; v1 submitted 28 March, 2019; originally announced April 2019.

Comments: 8 page body (23 including appendix)

An introduction to functional analysis for science and engineering

Authors: David A. B. Miller

Abstract: This is a tutorial introduction to the functional analysis mathematics needed in many physical problems, such as in waves in continuous media. Functional analysis takes us beyond finite matrices, allowing us to work with infinite sets of continuous functions. It resolves important issues, such as whether, why and how we can practically reduce such problems to finite matrix approximations. It is, h… ▽ More This is a tutorial introduction to the functional analysis mathematics needed in many physical problems, such as in waves in continuous media. Functional analysis takes us beyond finite matrices, allowing us to work with infinite sets of continuous functions. It resolves important issues, such as whether, why and how we can practically reduce such problems to finite matrix approximations. It is, however, difficult to find a readable introduction that is efficient and comprehensible for scientists and engineers. Here, I have selected only the topics necessary for the most important results, but the argument is mathematically complete and self-contained. The article starts from sets and sequences of real numbers. It then develops spaces of vectors or functions, introducing the concepts of norms and metrics that allow us to consider how these can converge. Adding the inner product, it introduces Hilbert spaces, and the key forms of operators that map within or between such spaces. This leads to the concept of compact operators, which allows us to resolve many difficulties of working with infinite sets of vectors or functions. We then introduce Hilbert-Schmidt operators, which are compact operators encountered extensively in physical problems, such as those involving waves. Finally, it introduces the eigenfunctions for major classes of operators, and their powerful properties, and ends with singular-value decomposition of operators. This article is written in a style that is complementary to that of standard mathematical treatments; by relegating longer proofs to a separate section, I have attempted to retain a clear narrative flow and motivation in developing the mathematical structure. Hopefully, the result is useful to a broader readership who need to understand this mathematics, especially in physical science and engineering. △ Less

Submitted 12 April, 2019; v1 submitted 2 April, 2019; originally announced April 2019.

MSC Class: 15-01

On the existence of large antichains for definable quasi-orders

Authors: Benjamin D. Miller, Zoltán Vidnyánszky

Abstract: We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider generalizations beyond the first level of the projective hierarchy. We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider generalizations beyond the first level of the projective hierarchy. △ Less

Submitted 27 August, 2018; originally announced August 2018.

MSC Class: 03E15; 28A05

The open dihypergraph dichotomy and the second level of the Borel hierarchy

Authors: Raphaël Carroy, Benjamin D. Miller, Dániel T. Soukup

Abstract: We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the perfect set theorem. Under the axiom of determinacy, we obtain the generalizations of these results from analytic metric spaces to separable metric spaces. We also c… ▽ More We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the perfect set theorem. Under the axiom of determinacy, we obtain the generalizations of these results from analytic metric spaces to separable metric spaces. We also consider connections between cardinal invariants and the chromatic numbers of the corresponding dihypergraphs. △ Less

Submitted 8 March, 2018; originally announced March 2018.

MSC Class: 03E15; 26A21; 28A05; 54H05

Edge sliding and ergodic hyperfinite decomposition

Authors: Benjamin D. Miller, Anush Tserunyan

Abstract: We use edge slidings and saturated disjoint Borel families to give a conceptually simple proof of Hjorth's theorem on cost attained: if a countable p.m.p. ergodic equivalence relation $E$ is treeable and has cost $n \in \mathbb{N} \cup \{\infty\}$ then it is induced by an a.e. free p.m.p. action of the free group $\mathbb{F}_n$ on $n$ generators. More importantly, our techniques give a significant… ▽ More We use edge slidings and saturated disjoint Borel families to give a conceptually simple proof of Hjorth's theorem on cost attained: if a countable p.m.p. ergodic equivalence relation $E$ is treeable and has cost $n \in \mathbb{N} \cup \{\infty\}$ then it is induced by an a.e. free p.m.p. action of the free group $\mathbb{F}_n$ on $n$ generators. More importantly, our techniques give a significant strengthening of this theorem: the action of $\mathbb{F}_n$ can be arranged so that each of the $n$ generators alone acts ergodically. The existence of an ergodic action for the first generator immediately follows from a powerful theorem of Tucker-Drob, whose proof however uses a recent substantial result in probability theory as a black box. We give a constructive and purely descriptive set theoretic proof of a weaker version of Tucker-Drob's theorem, which is enough for many of its applications, including our strengthening of Hjorth's theorem. Our proof uses new tools, such as asymptotic means on graphs, packed disjoint Borel families, and a cost threshold for finitizing the connected components of nonhyperfinite graphs. △ Less

Submitted 29 July, 2018; v1 submitted 20 April, 2017; originally announced April 2017.

Comments: Corrected some typos and a minor error in the proof of Claim 6.20

MSC Class: 37A20; 37A05; 03E15; 28D05; 05C63

Dichotomy Theorems for Families of Non-Cofinal Essential Complexity

Authors: John D. Clemens, Dominique Lecomte, Benjamin D. Miller

Abstract: We prove that for every Borel equivalence relation $E$, either $E$ is Borel reducible to $\mathbb{E}\_0$, or the family of Borel equivalence relations incompatible with $E$ has cofinal essential complexity. It follows that if $F$ is a Borel equivalence relation and $\cal F$ is a family of Borel equivalence relations of non-cofinal essential complexity which together satisfy the dichotomy that for… ▽ More We prove that for every Borel equivalence relation $E$, either $E$ is Borel reducible to $\mathbb{E}\_0$, or the family of Borel equivalence relations incompatible with $E$ has cofinal essential complexity. It follows that if $F$ is a Borel equivalence relation and $\cal F$ is a family of Borel equivalence relations of non-cofinal essential complexity which together satisfy the dichotomy that for every Borel equivalence relation $E$, either $E\in {\cal F}$ or $F$ is Borel reducible to $E$, then $\cal F$ consists solely of smooth equivalence relations, thus the dichotomy is equivalent to a known theorem. △ Less

Submitted 30 December, 2014; originally announced December 2014.

Essential countability of treeable equivalence relations

Authors: Dominique Lecomte, John D. Clemens, Benjamin D. Miller

Abstract: We establish a dichotomy theorem characterizing the circumstances under which a treeable Borel equivalence relation E is essentially countable. Under additional topological assumptions on the treeing, we in fact show that E is essentially countable if and only if there is no continuous embedding of E1 into E. Our techniques also yield the first classical proof of the analogous result for hypersmoo… ▽ More We establish a dichotomy theorem characterizing the circumstances under which a treeable Borel equivalence relation E is essentially countable. Under additional topological assumptions on the treeing, we in fact show that E is essentially countable if and only if there is no continuous embedding of E1 into E. Our techniques also yield the first classical proof of the analogous result for hypersmooth equivalence relations, and allow us to show that up to continuous Kakutani embeddability, there is a minimum Borel function which is not essentially countable-to-one. △ Less

Submitted 17 August, 2014; originally announced August 2014.

An embedding theorem of $\mathbb{E}_{0}$ with model theoretic applications

Authors: Itay Kaplan, Benjamin D. Miller

Abstract: We provide a new criterion for embedding $\mathbb{E}_{0}$, and apply it to equivalence relations in model theory. This generalize the results of the authors and Pierre Simon on the Borel cardinality of Lascar strong types equality, and Newelski's results about pseudo $F_σ$ groups. We provide a new criterion for embedding $\mathbb{E}_{0}$, and apply it to equivalence relations in model theory. This generalize the results of the authors and Pierre Simon on the Borel cardinality of Lascar strong types equality, and Newelski's results about pseudo $F_σ$ groups. △ Less

Submitted 26 August, 2013; originally announced August 2013.

MSC Class: 03C45; 03E15

The Borel cardinality of Lascar strong types

Authors: Itay Kaplan, Benjamin Miller, Pierre Simon

Abstract: We show that if the restriction of the Lascar equivalence relation to a KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel equivalence relation on an appropriate space of types). We show that if the restriction of the Lascar equivalence relation to a KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel equivalence relation on an appropriate space of types). △ Less

Submitted 7 January, 2013; originally announced January 2013.