-
An Introduction to Computational Fluctuating Hydrodynamics
Authors:
Alejandro L. Garcia,
John B. Bell,
Andrew Nonaka,
Ishan Srivastava,
Daniel Ladiges,
Changho Kim
Abstract:
These notes are an introduction to fluctuating hydrodynamics (FHD) and the formulation of numerical schemes for the resulting stochastic partial differential equations (PDEs). Fluctuating hydrodynamics was originally introduced by Landau and Lifshitz as a way to put thermal fluctuations into a continuum framework by including a stochastic forcing to each dissipative transport process (e.g., heat f…
▽ More
These notes are an introduction to fluctuating hydrodynamics (FHD) and the formulation of numerical schemes for the resulting stochastic partial differential equations (PDEs). Fluctuating hydrodynamics was originally introduced by Landau and Lifshitz as a way to put thermal fluctuations into a continuum framework by including a stochastic forcing to each dissipative transport process (e.g., heat flux). While FHD has been useful in modeling transport and fluid dynamics at the mesoscopic scale, theoretical calculations have been feasible only with simplifying assumptions. As such there is great interest in numerical schemes for Computational Fluctuating Hydrodynamics (CFHD). There are a variety of algorithms (e.g., spectral, finite element, lattice Boltzmann) but in this introduction we focus on finite volume schemes. Accompanying these notes is a demonstration program in Python available on GitHub.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
There are no good infinite families of toric codes
Authors:
Jason P. Bell,
Sean Monahan,
Matthew Satriano,
Karen Situ,
Zheng Xie
Abstract:
Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.
Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Consecutive Power Occurrences in Sturmian Words
Authors:
Jason Bell,
Chris Schulz,
Jeffrey Shallit
Abstract:
We show that every Sturmian word has the property that the distance between consecutive ending positions of cubes occurring in the word is always bounded by $10$ and this bound is optimal, extending a result of Rampersad, who proved that the bound $9$ holds for the Fibonacci word. We then give a general result showing that for every $e \in [1,(5+\sqrt{5})/2)$ there is a natural number $N$, dependi…
▽ More
We show that every Sturmian word has the property that the distance between consecutive ending positions of cubes occurring in the word is always bounded by $10$ and this bound is optimal, extending a result of Rampersad, who proved that the bound $9$ holds for the Fibonacci word. We then give a general result showing that for every $e \in [1,(5+\sqrt{5})/2)$ there is a natural number $N$, depending only on $e$, such that every Sturmian word has the property that the distance between consecutive ending positions of $e$-powers occurring in the word is uniformly bounded by $N$.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Noncommutative point spaces of symbolic dynamical systems
Authors:
Jason P. Bell,
Be'eri Greenfeld
Abstract:
We study point modules of monomial algebras associated with symbolic dynamical systems, parametrized by proalgebraic varieties which 'linearize' the underlying dynamical systems. Faithful point modules correspond to transitive sub-systems, equivalently, to monomial algebras associated with infinite words. In particular, we prove that the space of point modules of every prime monomial algebra with…
▽ More
We study point modules of monomial algebras associated with symbolic dynamical systems, parametrized by proalgebraic varieties which 'linearize' the underlying dynamical systems. Faithful point modules correspond to transitive sub-systems, equivalently, to monomial algebras associated with infinite words. In particular, we prove that the space of point modules of every prime monomial algebra with Hilbert series $1/(1-t)^2$ -- which is thus thought of as a 'monomial $\mathbb{P}^1$' -- is isomorphic to a union of a classical projective line with a Cantor set. While there is a continuum of monomial $\mathbb{P}^1$'s with non-equivalent graded module categories, they all share isomorphic parametrizing spaces of point modules. In contrast, free algebras are geometrically rigid, and are characterized up to isomorphism from their spaces of point modules. Furthermore, we derive enumerative and ring-theoretic consequences from our analysis. In particular, we show that the formal power series counting the irreducible components of the moduli schemes of truncated point modules of finitely presented monomial algebras are rational functions, and classify isomorphisms and automorphisms of projectively simple monomial algebras.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Filtered deformations of commutative algebras of Krull dimension two
Authors:
Jason Bell
Abstract:
Let $F$ be an algebraically closed field of positive characteristic and let $R$ be a finitely generated $F$-algebra with a filtration with the property that the associated graded ring of $R$ is an integral domain of Krull dimension two. We show that under these conditions $R$ satisfies a polynomial identity, answering a question of Etingof in the affirmative in a special case.
Let $F$ be an algebraically closed field of positive characteristic and let $R$ be a finitely generated $F$-algebra with a filtration with the property that the associated graded ring of $R$ is an integral domain of Krull dimension two. We show that under these conditions $R$ satisfies a polynomial identity, answering a question of Etingof in the affirmative in a special case.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
Sparse regular subsets of the reals
Authors:
Jason Bell,
Alexi Block Gorman
Abstract:
This paper concerns the expansion of the real ordered additive group by a predicate for a subset of $[0,1]$ whose base-$r$ representations are recognized by a Büchi automaton. In the case that this predicate is closed, a dichotomy is established for when this expansion is interdefinable with the structure $(\mathbb{R},<,+,0,r^{-\mathbb{N}})$ for some $r \in \mathbb{N}_{>1}$. In the case that the c…
▽ More
This paper concerns the expansion of the real ordered additive group by a predicate for a subset of $[0,1]$ whose base-$r$ representations are recognized by a Büchi automaton. In the case that this predicate is closed, a dichotomy is established for when this expansion is interdefinable with the structure $(\mathbb{R},<,+,0,r^{-\mathbb{N}})$ for some $r \in \mathbb{N}_{>1}$. In the case that the closure of the predicate has Hausdorff dimension less than $1$, the dichotomy further characterizes these expansions of $(\mathbb{R},<,+,0,1)$ by when they have NIP and NTP$_2$, which is precisely when the closure of the predicate has Hausdorff dimension $0$.
△ Less
Submitted 18 November, 2023;
originally announced November 2023.
-
Maximal dimensional subalgebras of general Cartan type Lie algebras
Authors:
Jason Bell,
Lucas Buzaglo
Abstract:
Let $\Bbbk$ be a field of characteristic zero and let $\mathbb{W}_n = \operatorname{Der}(\Bbbk[x_1,\cdots,x_n])$ be the $n^{\text{th}}$ general Cartan type Lie algebra. In this paper, we study Lie subalgebras $L$ of $\mathbb{W}_n$ of maximal Gelfand--Kirillov (GK) dimension, that is, with $\operatorname{GKdim}(L) = n$.
For $n = 1$, we completely classify such $L$, proving a conjecture of the sec…
▽ More
Let $\Bbbk$ be a field of characteristic zero and let $\mathbb{W}_n = \operatorname{Der}(\Bbbk[x_1,\cdots,x_n])$ be the $n^{\text{th}}$ general Cartan type Lie algebra. In this paper, we study Lie subalgebras $L$ of $\mathbb{W}_n$ of maximal Gelfand--Kirillov (GK) dimension, that is, with $\operatorname{GKdim}(L) = n$.
For $n = 1$, we completely classify such $L$, proving a conjecture of the second author. As a corollary, we obtain a new proof that $\mathbb{W}_1$ satisfies the Dixmier conjecture, in other words, $\operatorname{End}(\mathbb{W}_1) \setminus \{0\} = \operatorname{Aut}(\mathbb{W}_1)$, a result first shown by Du.
For arbitrary $n$, we show that if $L$ is a GK-dimension $n$ subalgebra of $\mathbb{W}_n$, then $U(L)$ is not (left or right) noetherian.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Lambert series in analytic number theory
Authors:
Jordan Bell
Abstract:
Annotated bibliography of 18th, 19th, and early 20th century works involving Lambert series. A tour of 19th and early 20th century analytic number theory.
Annotated bibliography of 18th, 19th, and early 20th century works involving Lambert series. A tour of 19th and early 20th century analytic number theory.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
A New Re-redistribution Scheme for Weighted State Redistribution with Adaptive Mesh Refinement
Authors:
Isabel Barrio Sanchez,
Ann S. Almgren,
John B. Bell,
Marc T. Henry de Frahan,
Weiqun Zhang
Abstract:
State redistribution (SRD) is a recently developed technique for stabilizing cut cells that result from finite-volume embedded boundary methods. SRD has been successfully applied to a variety of compressible and incompressible flow problems. When used in conjunction with adaptive mesh refinement (AMR), additional steps are needed to preserve the accuracy and conservation properties of the solution…
▽ More
State redistribution (SRD) is a recently developed technique for stabilizing cut cells that result from finite-volume embedded boundary methods. SRD has been successfully applied to a variety of compressible and incompressible flow problems. When used in conjunction with adaptive mesh refinement (AMR), additional steps are needed to preserve the accuracy and conservation properties of the solution if the embedded boundary is not restricted to a single level of the mesh hierarchy. In this work, we extend the weighted state redistribution algorithm to cases where cut cells live at or near a coarse-fine interface within the domain. The resulting algorithm maintains conservation and is demonstrated on several two- and three-dimensional example problems.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Invariant rational functions under rational transformations
Authors:
Jason Bell,
Rahim Moosa,
Matthew Satriano
Abstract:
Let $X$ be an algebraic variety equipped with a dominant rational self-map $φ:X\to X$. A new quantity measuring the interaction of $(X,φ)$ with trivial dynamical systems is introduced; the stabilised algebraic dimension of $(X,φ)$ captures the maximum number of new algebraically independent invariant rational functions on the cartesian product of $(X, φ)$ and $(Y, ψ)$, as $(Y,ψ)$ ranges over all a…
▽ More
Let $X$ be an algebraic variety equipped with a dominant rational self-map $φ:X\to X$. A new quantity measuring the interaction of $(X,φ)$ with trivial dynamical systems is introduced; the stabilised algebraic dimension of $(X,φ)$ captures the maximum number of new algebraically independent invariant rational functions on the cartesian product of $(X, φ)$ and $(Y, ψ)$, as $(Y,ψ)$ ranges over all algebraic dynamical systems. It is shown that this birational invariant agrees with the maximum dimension of a dominant equivariant rational image $(X',φ')$ where $φ'$ is part of an algebraic group action on $X'$. As a consequence, it is deduced that if some cartesian power of $(X,φ)$ admits a nonconstant invariant rational function, then already the second cartesian power does.
△ Less
Submitted 11 March, 2024; v1 submitted 19 June, 2023;
originally announced June 2023.
-
D-finiteness, rationality, and height III: multivariate Pólya-Carlson dichotomy
Authors:
Jason P. Bell,
Shaoshi Chen,
Khoa D. Nguyen,
Umberto Zannier
Abstract:
We prove a result that can be seen as an analogue of the Pólya-Carlson theorem for multivariate D-finite power series with coefficients in $\bar{\mathbb{Q}}$. In the special case that the coefficients are algebraic integers, our main result says that if $$F(x_1,\ldots ,x_m)=\sum f(n_1,\ldots ,n_m)x_1^{n_1}\cdots x_m^{n_m}$$ is a D-finite power series in $m$ variables with algebraic integer coeffic…
▽ More
We prove a result that can be seen as an analogue of the Pólya-Carlson theorem for multivariate D-finite power series with coefficients in $\bar{\mathbb{Q}}$. In the special case that the coefficients are algebraic integers, our main result says that if $$F(x_1,\ldots ,x_m)=\sum f(n_1,\ldots ,n_m)x_1^{n_1}\cdots x_m^{n_m}$$ is a D-finite power series in $m$ variables with algebraic integer coefficients and if the logarithmic Weil height of $f(n_1,\ldots ,n_m)$ is $o(n_1+\cdots +n_m)$, then $F$ is a rational function and, up to scalar multiplication, every irreducible factor of the denominator of $F$ has the form $1-ζx_1^{q_1}\cdots x_m^{q_m}$ where $ζ$ is a root of unity and $q_1,\ldots ,q_m$ are nonnegative integers, not all of which are zero.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Counting points by height in semigroup orbits
Authors:
Jason P. Bell,
Wade Hindes,
Xiao Zhong
Abstract:
We improve known estimates for the number of points of bounded height in semigroup orbits of polarized dynamical systems. In particular, we give exact asymptotics for generic semigroups acting on the projective line. The main new ingredient is the Wiener-Ikehara Tauberian theorem, which we use to count functions in semigroups of bounded degree.
We improve known estimates for the number of points of bounded height in semigroup orbits of polarized dynamical systems. In particular, we give exact asymptotics for generic semigroups acting on the projective line. The main new ingredient is the Wiener-Ikehara Tauberian theorem, which we use to count functions in semigroups of bounded degree.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Quantitative estimates for the size of an intersection of sparse automatic sets
Authors:
Seda Albayrak,
Jason Bell
Abstract:
A theorem of Cobham says that if $k$ and $\ell$ are two multiplicatively independent natural numbers then a subset of the natural numbers that is both $k$- and $\ell$-automatic is eventually periodic. A multidimensional extension was later given by Semenov. In this paper, we give a quantitative version of the Cobham-Semenov theorem for sparse automatic sets, showing that the intersection of a spar…
▽ More
A theorem of Cobham says that if $k$ and $\ell$ are two multiplicatively independent natural numbers then a subset of the natural numbers that is both $k$- and $\ell$-automatic is eventually periodic. A multidimensional extension was later given by Semenov. In this paper, we give a quantitative version of the Cobham-Semenov theorem for sparse automatic sets, showing that the intersection of a sparse $k$-automatic subset of $\mathbb{N}^d$ and a sparse $\ell$-automatic subset of $\mathbb{N}^d$ is finite with size that can be explicitly bounded in terms of data from the automata that accept these sets.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Sums, series, and products in Diophantine approximation
Authors:
Jordan Bell
Abstract:
There is not much that can be said for all $x$ and for all $n$ about the sum \[ \sum_{k=1}^n \frac{1}{|\sin kπx|}. \] However, for this and similar sums, series, and products, we can establish results for almost all $x$ using the tools of continued fractions. We present in detail the appearance of these sums in the singular series for the circle method. One particular interest of the paper is the…
▽ More
There is not much that can be said for all $x$ and for all $n$ about the sum \[ \sum_{k=1}^n \frac{1}{|\sin kπx|}. \] However, for this and similar sums, series, and products, we can establish results for almost all $x$ using the tools of continued fractions. We present in detail the appearance of these sums in the singular series for the circle method. One particular interest of the paper is the detailed proof of a striking result of Hardy and Littlewood, whose compact proof, which delicately uses analytic continuation, has not been written freshly anywhere since its original publication. This story includes various parts of late 19th century and early 20th century mathematics.
△ Less
Submitted 18 June, 2023; v1 submitted 11 February, 2023;
originally announced February 2023.
-
Counterexamples to a Conjecture of Dombi in Additive Number Theory
Authors:
Jason P. Bell,
Jeffrey Shallit
Abstract:
We disprove a 2002 conjecture of Dombi from additive number theory. More precisely, we find examples of sets $A \subset \mathbb{N}$ with the property that $\mathbb{N} \setminus A$ is infinite, but the sequence $n \rightarrow |\{ (a,b,c) \, : \, n=a+b+c \text{ and } a,b,c \in A \}|$, counting the number of $3$-compositions using elements of $A$ only, is strictly increasing.
We disprove a 2002 conjecture of Dombi from additive number theory. More precisely, we find examples of sets $A \subset \mathbb{N}$ with the property that $\mathbb{N} \setminus A$ is infinite, but the sequence $n \rightarrow |\{ (a,b,c) \, : \, n=a+b+c \text{ and } a,b,c \in A \}|$, counting the number of $3$-compositions using elements of $A$ only, is strictly increasing.
△ Less
Submitted 28 December, 2022; v1 submitted 23 December, 2022;
originally announced December 2022.
-
Quantum Grassmannians and their Associated Quantum Schubert Varieties at roots of unity
Authors:
Jason P. Bell,
Stéphane Launois,
Alexandra Rogers
Abstract:
We study the PI degree of various quantum algebras at roots of unity, including quantum Grassmannians, quantum Schubert varieties, partition subalgebras, and their associated quantum affine spaces. By a theorem of De Concini and Procesi, the PI degree of partition subalgebras and their associated quantum affine spaces is controlled by skew-symmetric integral matrices associated to (Cauchon-Le) dia…
▽ More
We study the PI degree of various quantum algebras at roots of unity, including quantum Grassmannians, quantum Schubert varieties, partition subalgebras, and their associated quantum affine spaces. By a theorem of De Concini and Procesi, the PI degree of partition subalgebras and their associated quantum affine spaces is controlled by skew-symmetric integral matrices associated to (Cauchon-Le) diagrams. We prove that the invariant factors of these matrices are always powers of 2. This allows us to compute explicitly the PI degree of partition subalgebras.
Our results also apply to certain completely prime (homogeneous) quotients of partition subalgebras. In particular, our results allow us to extend results of Jakobsen and Jondrup regarding the PI degree of quantum determinantal rings at roots of unity [JJ01] and we present a method to construct an irreducible representation of maximal dimension for quantum determinantal ideals.
Building on these results, we use the strong connection between partition subalgebras and quantum Schubert varieties through noncommutative dehomogenisation [LR08] to obtain expressions for the PI degree of quantum Schubert varieties. In particular, we compute the PI degree of quantum Grassmannians.
△ Less
Submitted 27 November, 2023; v1 submitted 7 December, 2022;
originally announced December 2022.
-
Amenability of monomial algebras, minimal subshifts and free subalgebras
Authors:
Jason P. Bell,
Be'eri Greenfeld
Abstract:
We give a combinatorial characterization of amenability of monomial algebras and prove the existence of monomial Folner sequences, answering a question due to Ceccherini-Silberstein and Samet-Vaillant. We then use our characterization to prove that over projectively simple monomial algebras, every module is exhaustively amenable; we conclude that convolution algebras of minimal subshifts admit the…
▽ More
We give a combinatorial characterization of amenability of monomial algebras and prove the existence of monomial Folner sequences, answering a question due to Ceccherini-Silberstein and Samet-Vaillant. We then use our characterization to prove that over projectively simple monomial algebras, every module is exhaustively amenable; we conclude that convolution algebras of minimal subshifts admit the same property. We deduce that any minimal subshift of positive entropy gives rise to a graded algebra which does not satisfy an extension of Vershik's conjecture on amenable groups, proposed by Bartholdi. Finally, we show that non-amenable monomial algebras must contain noncommutative free subalgebras. Examples are given to emphasize the sharpness and necessity of the assumptions in our results.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
A differential analogue of the wild automorphism conjecture
Authors:
Jason Bell,
Colin Ingalls,
Rahim Moosa,
Matthew Satriano
Abstract:
A differential analogue of the conjecture of Reichstein, Rogalski, and Zhang in algebraic dynamics is here established: if $X$ is a projective variety over an algebraically closed field of characteristic zero which admits a global algebraic vector field $v:X\to TX$ such that $(X,v)$ has no proper invariant subvarieties then $X$ is an abelian variety. Vector fields on abelian varieties with this pr…
▽ More
A differential analogue of the conjecture of Reichstein, Rogalski, and Zhang in algebraic dynamics is here established: if $X$ is a projective variety over an algebraically closed field of characteristic zero which admits a global algebraic vector field $v:X\to TX$ such that $(X,v)$ has no proper invariant subvarieties then $X$ is an abelian variety. Vector fields on abelian varieties with this property are also examined.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
Ore extensions of commutative rings and the Dixmier-Moeglin equivalence
Authors:
Jason P. Bell,
Léon Burkhardt,
Nicholas Priebe
Abstract:
We consider Ore extensions of the form $T:=R[x;σ,δ]$ with $R$ a commutative integral domain that is finitely generated over a field $k$. We show that if $T$ has Gelfand-Kirillov dimension less than four then a prime ideal $P\in {\rm Spec}(T)$ is primitive if and only if $\{P\}$ is locally closed in ${\rm Spec}(T)$, if and only if the Goldie ring of quotients of $T/P$ has centre that is an algebrai…
▽ More
We consider Ore extensions of the form $T:=R[x;σ,δ]$ with $R$ a commutative integral domain that is finitely generated over a field $k$. We show that if $T$ has Gelfand-Kirillov dimension less than four then a prime ideal $P\in {\rm Spec}(T)$ is primitive if and only if $\{P\}$ is locally closed in ${\rm Spec}(T)$, if and only if the Goldie ring of quotients of $T/P$ has centre that is an algebraic extension of $k$. We also show that there are examples for which these equivalences do not all hold for $T$ of integer Gelfand-Kirillov dimension greater than or equal to $4$.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Intersections of orbits of self-maps with subgroups in semiabelian varieties
Authors:
Jason P. Bell,
Dragos Ghioca
Abstract:
Let $G$ be a semiabelian variety defined over an algebraically closed field $K$, endowed with a rational self-map $Φ$. Let $α\in G(K)$ and let $Γ\subseteq G(K)$ be a finitely generated subgroup. We show that the set $\{n\in\mathbb{N}\colon Φ^n(α)\in Γ\}$ is a union of finitely many arithmetic progressions along with a set of Banach density equal to $0$. In addition, assuming $Φ$ is regular, we pro…
▽ More
Let $G$ be a semiabelian variety defined over an algebraically closed field $K$, endowed with a rational self-map $Φ$. Let $α\in G(K)$ and let $Γ\subseteq G(K)$ be a finitely generated subgroup. We show that the set $\{n\in\mathbb{N}\colon Φ^n(α)\in Γ\}$ is a union of finitely many arithmetic progressions along with a set of Banach density equal to $0$. In addition, assuming $Φ$ is regular, we prove that the set $S$ must be finite.
△ Less
Submitted 6 October, 2022;
originally announced October 2022.
-
Cyclotomic valuation of $q$-Pochhammer symbols and $q$-integrality of basic hypergeometric series
Authors:
B. Adamczewski,
J. P. Bell,
É. Delaygue,
F. Jouhet
Abstract:
We give a formula for the cyclotomic valuation of $q$-Pochhammer symbols in terms of (generalized) Dwork maps. We also obtain a criterion for the $q$-integrality of basic hypergeometric series in terms of certain step functions, which generalize Christol step functions. This provides suitable $q$-analogs of two results proved by Christol: a formula for the $p$-adic valuation of Pochhammer symbols…
▽ More
We give a formula for the cyclotomic valuation of $q$-Pochhammer symbols in terms of (generalized) Dwork maps. We also obtain a criterion for the $q$-integrality of basic hypergeometric series in terms of certain step functions, which generalize Christol step functions. This provides suitable $q$-analogs of two results proved by Christol: a formula for the $p$-adic valuation of Pochhammer symbols and a criterion for the $N$-integrality of hypergeometric series.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
Authors:
Jason P. Bell,
Daniel Smertnig
Abstract:
The (left) linear hull of a weighted automaton over a field is a topological invariant. If the automaton is minimal, the linear hull can be used to determine whether or not the automaton is equivalent to a deterministic one. Furthermore, the linear hull can also be used to determine whether the minimal automaton is equivalent to an unambiguous one. We show how to compute the linear hull, and thus…
▽ More
The (left) linear hull of a weighted automaton over a field is a topological invariant. If the automaton is minimal, the linear hull can be used to determine whether or not the automaton is equivalent to a deterministic one. Furthermore, the linear hull can also be used to determine whether the minimal automaton is equivalent to an unambiguous one. We show how to compute the linear hull, and thus prove that it is decidable whether or not a given automaton over a number field is equivalent to a deterministic one. In this case we are also able to compute an equivalent deterministic automaton. We also show the analogous decidability and computability result for the unambiguous case. Our results resolve a problem posed in a 2006 survey by Lombardy and Sakarovitch.
△ Less
Submitted 6 June, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
p-Selmer ranks of CM abelian varieties
Authors:
Jamie Bell
Abstract:
For an elliptic curve with complex multiplication over a number field, the $p^{\infty}$--Selmer rank is even for all $p$. Česnavičius proved this using the fact that $E$ admits a $p$-isogeny whenever $p$ splits in the complex multiplication field, and invoking known cases of the $p$-parity conjecture. We give a direct proof, and generalise the result to abelian varieties.
For an elliptic curve with complex multiplication over a number field, the $p^{\infty}$--Selmer rank is even for all $p$. Česnavičius proved this using the fact that $E$ admits a $p$-isogeny whenever $p$ splits in the complex multiplication field, and invoking known cases of the $p$-parity conjecture. We give a direct proof, and generalise the result to abelian varieties.
△ Less
Submitted 7 February, 2024; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Rational self-maps with a regular iterate on a semiabelian variety
Authors:
Jason Bell,
Dragos Ghioca,
Zinovy Reichstein
Abstract:
Let $G$ be a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$. Let $Φ\colon G\dashrightarrow G$ be a dominant rational self-map. Assume that an iterate $Φ^m \colon G \to G$ is regular for some $m \geqslant 1$ and that there exists no non-constant homomorphism $τ: G\to G_0$ of semiabelian varieties such that $τ\circ Φ^{m k}=τ$ for some $k \geqslant 1$. We sho…
▽ More
Let $G$ be a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$. Let $Φ\colon G\dashrightarrow G$ be a dominant rational self-map. Assume that an iterate $Φ^m \colon G \to G$ is regular for some $m \geqslant 1$ and that there exists no non-constant homomorphism $τ: G\to G_0$ of semiabelian varieties such that $τ\circ Φ^{m k}=τ$ for some $k \geqslant 1$. We show that under these assumptions $Φ$ itself must be a regular. We also prove a variant of this assertion in prime characteristic and present examples showing that our results are sharp.
△ Less
Submitted 14 August, 2022;
originally announced August 2022.
-
A parametrised axiomatization for a large number of restricted second-order logics
Authors:
Guillermo Badia,
John Lane Bell
Abstract:
By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly complete axiomatization for several systems of this kind having the range of the predicate variables as a parameter. The completeness argument uses simple techni…
▽ More
By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly complete axiomatization for several systems of this kind having the range of the predicate variables as a parameter. The completeness argument uses simple techniques from the theory of Boolean algebras.
△ Less
Submitted 9 July, 2023; v1 submitted 6 July, 2022;
originally announced July 2022.
-
On noncommutative bounded factorization domains and prime rings
Authors:
Jason P. Bell,
Ken Brown,
Zahra Nazemian,
Daniel Smertnig
Abstract:
A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $λ(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most basic finiteness properties in the study of non-unique factorizations. Every commutative noetherian domain has bounded factorizations, but it is open whether such a res…
▽ More
A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $λ(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most basic finiteness properties in the study of non-unique factorizations. Every commutative noetherian domain has bounded factorizations, but it is open whether such a result holds in the noncommutative setting. We provide sufficient conditions for a noncommutative noetherian prime ring to have bounded factorizations. Moreover, we construct a (noncommutative) finitely presented semigroup algebra that is an atomic domain but does not satisfy the ascending chain condition on principal right or left ideals (ACCP), whence it does not have bounded factorizations.
△ Less
Submitted 11 January, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
A general criterion for the Pólya-Carlson dichotomy and application
Authors:
Jason P. Bell,
Keira Gunn,
Khoa D. Nguyen,
J. C. Saunders
Abstract:
We prove a general criterion for an irrational power series $f(z)=\displaystyle\sum_{n=0}^{\infty}a_nz^n$ with coefficients in a number field $K$ to admit the unit circle as a natural boundary. As an application, let $F$ be a finite field, let $d$ be a positive integer, let $A\in M_d(F[t])$ be a $d\times d$-matrix with entries in $F[t]$, and let $ζ_A(z)$ be the Artin-Mazur zeta function associated…
▽ More
We prove a general criterion for an irrational power series $f(z)=\displaystyle\sum_{n=0}^{\infty}a_nz^n$ with coefficients in a number field $K$ to admit the unit circle as a natural boundary. As an application, let $F$ be a finite field, let $d$ be a positive integer, let $A\in M_d(F[t])$ be a $d\times d$-matrix with entries in $F[t]$, and let $ζ_A(z)$ be the Artin-Mazur zeta function associated to the multiplication-by-$A$ map on the compact abelian group $F((1/t))^d/F[t]^d$. We provide a complete characterization of when $ζ_A(z)$ is algebraic and prove that it admits the circle of convergence as a natural boundary in the transcendence case. This is in stark contrast to the case of linear endomorphisms on $\mathbb{R}^d/\mathbb{Z}^d$ in which Baake, Lau, and Paskunas prove that the zeta function is always rational. Some connections to earlier work of Bell, Byszewski, Cornelissen, Miles, Royals, and Ward are discussed. Our method uses a similar technique in recent work of Bell, Nguyen, and Zannier together with certain patching arguments involving linear recurrence sequences.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
A fusion variant of the classical and dynamical Mordell-Lang conjectures in positive characteristic
Authors:
Jason Bell,
Dragos Ghioca
Abstract:
We study an open question at the interplay between the classical and the dynamical Mordell-Lang conjectures in positive characteristic. Let $K$ be an algebraically closed field of positive characteristic, let $G$ be a finitely generated subgroup of the multiplicative group of $K$, and let $X$ be a (irreducible) quasiprojective variety defined over $K$. We consider $K$-valued sequences of the form…
▽ More
We study an open question at the interplay between the classical and the dynamical Mordell-Lang conjectures in positive characteristic. Let $K$ be an algebraically closed field of positive characteristic, let $G$ be a finitely generated subgroup of the multiplicative group of $K$, and let $X$ be a (irreducible) quasiprojective variety defined over $K$. We consider $K$-valued sequences of the form $a_n:=f(\varphi^n(x_0))$, where $\varphi\colon X\rightarrow X$ and $f\colon X\rightarrow\mathbb{P}^1$ are rational maps defined over $K$ and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $\varphi$ and $f$. We show that the set of $n$ for which $a_n\in G$ is a finite union of arithmetic progressions along with a set of upper Banach density zero. In addition, we show that if $a_n\in G$ for every $n$ and the $\varphi$ orbit of $x$ is Zariski dense in $X$ then {there is} a multiplicative torus $\mathbb{G}_m^d$ and maps $Ψ:\mathbb{G}_m^d \to \mathbb{G}_m^d$ and $g:\mathbb{G}_m^d \to \mathbb{G}_m$ such that $a_n = g\circ Ψ^n(y)$ for some $y\in \mathbb{G}_m^d$. We then describe various applications of our results.
△ Less
Submitted 5 May, 2022;
originally announced May 2022.
-
D-finiteness, rationality, and height II: lower bounds over a set of positive density
Authors:
Jason P. Bell,
Khoa D. Nguyen,
Umberto Zannier
Abstract:
We consider D-finite power series $f(z)=\sum a_n z^n$ with coefficients in a number field $K$. We show that there is a dichotomy governing the behaviour of $h(a_n)$ as a function of $n$, where $h$ is the absolute logarithmic Weil height. As an immediate consequence of our results, we have that either $f(z)$ is rational or $h(a_n)>[K:\mathbb{Q}]^{-1}\cdot \log(n)+O(1)$ for $n$ in a set of positive…
▽ More
We consider D-finite power series $f(z)=\sum a_n z^n$ with coefficients in a number field $K$. We show that there is a dichotomy governing the behaviour of $h(a_n)$ as a function of $n$, where $h$ is the absolute logarithmic Weil height. As an immediate consequence of our results, we have that either $f(z)$ is rational or $h(a_n)>[K:\mathbb{Q}]^{-1}\cdot \log(n)+O(1)$ for $n$ in a set of positive upper density and this is best possible when $K=\mathbb{Q}$.
△ Less
Submitted 20 November, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
A Jacobian Free Deterministic Method for Solving Inverse Problems
Authors:
M. H. A. Piro,
J. S. Bell,
M. Poschmann,
A. Prudil,
P. Chan
Abstract:
An effective numerical method is presented for optimizing model parameters that can be applied to any type of system of non-linear equations and any number of data-points, which does not require explicit formulation of the objective function or its partial derivatives. The numerics are reduced to solving a non-linear least squares problem, which uses the Levenberg-Marquardt algorithm and the Jacob…
▽ More
An effective numerical method is presented for optimizing model parameters that can be applied to any type of system of non-linear equations and any number of data-points, which does not require explicit formulation of the objective function or its partial derivatives. The numerics are reduced to solving a non-linear least squares problem, which uses the Levenberg-Marquardt algorithm and the Jacobian is approximated by applying rank-one updates using Broyden's method. An advantage of this methodology over conventional approaches is that the partial derivatives of the objective function do not have to be analytically calculated. For instance, there may be situations where one cannot formulate the partial derivatives, such as cases involving an objective function that itself contains a nested optimization problem. Moreover, a line search algorithm is also described that ensures that the Armijo conditions are satisfied and that convergence is assured, which makes the success of the approach insensitive to the initial estimates of the model parameters. The foregoing numerical methods are described with respect to the development of the Optima software to solve inverse problems, which are reduced to non-linear least squares problems. This computational approach has proven to be particularly useful at solving inverse problems of very complex physical models that cannot be optimized directly in a practical way.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
A conjecture strengthening the Zariski dense orbit problem for birational maps of dynamical degree one
Authors:
Jason Bell,
Dragos Ghioca
Abstract:
We formulate a strengthening of the Zariski dense orbit conjecture for birational maps of dynamical degree one. So, given a quasiprojective variety $X$ defined over an algebraically closed field $K$ of characteristic $0$, endowed with a birational self-map $φ$ of dynamical degree $1$, we expect that either there exists a non-constant rational function $f:X\dashrightarrow \mathbb{P}^1$ such that…
▽ More
We formulate a strengthening of the Zariski dense orbit conjecture for birational maps of dynamical degree one. So, given a quasiprojective variety $X$ defined over an algebraically closed field $K$ of characteristic $0$, endowed with a birational self-map $φ$ of dynamical degree $1$, we expect that either there exists a non-constant rational function $f:X\dashrightarrow \mathbb{P}^1$ such that $f\circ φ=f$, or there exists a proper subvariety $Y\subset X$ with the property that for any invariant proper subvariety $Z\subset X$, we have that $Z\subseteq Y$. We prove our conjecture for automorphisms $φ$ of dynamical degree $1$ of semiabelian varieties $X$. Also, we prove a related result for regular dominant self-maps $φ$ of semiabelian varieties $X$: assuming $φ$ does not preserve a non-constant rational function, we have that the dynamical degree of $φ$ is larger than $1$ if and only if the union of all $φ$-invariant proper subvarieties of $X$ is Zariski dense. We give applications of our results to representation theoretic questions about twisted homogeneous coordinate rings associated to abelian varieties.
△ Less
Submitted 13 February, 2022;
originally announced February 2022.
-
$p$-Adic interpolation of orbits under rational maps
Authors:
Jason P. Bell,
Xiao Zhong
Abstract:
Let $L$ be a field of characteristic zero, let $h:\mathbb{P}^1\to \mathbb{P}^1$ be a rational map defined over $L$, and let $c\in \mathbb{P}^1(L)$. We show that there exists a finitely generated subfield $K$ of $L$ over which both $c$ and $h$ are defined along with an infinite set of inequivalent non-archimedean completions $K_{\mathfrak{p}}$ for which there exists a positive integer…
▽ More
Let $L$ be a field of characteristic zero, let $h:\mathbb{P}^1\to \mathbb{P}^1$ be a rational map defined over $L$, and let $c\in \mathbb{P}^1(L)$. We show that there exists a finitely generated subfield $K$ of $L$ over which both $c$ and $h$ are defined along with an infinite set of inequivalent non-archimedean completions $K_{\mathfrak{p}}$ for which there exists a positive integer $a=a(\mathfrak{p})$ with the property that for $i\in \{0,\ldots ,a-1\}$ there exists a power series $g_i(t)\in K_{\mathfrak{p}}[[t]]$ that converges on the closed unit disc of $K_{\mathfrak{p}}$ such that $h^{an+i}(c)=g_i(n)$ for all sufficiently large $n$. As a consequence we show that the dynamical Mordell-Lang conjecture holds for split self-maps $(h,g)$ of $\mathbb{P}^1 \times X$ with $g$ étale.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
$D$-finite multivariate series with arithmetic restrictions on their coefficients
Authors:
Jason Bell,
Daniel Smertnig
Abstract:
A multivariate, formal power series over a field $K$ is a Bézivin series if all of its coefficients can be expressed as a sum of at most $r$ elements from a finitely generated subgroup $G \le K^*$; it is a Pólya series if one can take $r=1$. We give explicit structural descriptions of $D$-finite Bézivin series and $D$-finite Pólya series over fields of characteristic $0$, thus extending classical…
▽ More
A multivariate, formal power series over a field $K$ is a Bézivin series if all of its coefficients can be expressed as a sum of at most $r$ elements from a finitely generated subgroup $G \le K^*$; it is a Pólya series if one can take $r=1$. We give explicit structural descriptions of $D$-finite Bézivin series and $D$-finite Pólya series over fields of characteristic $0$, thus extending classical results of Pólya and Bézivin to the multivariate setting.
△ Less
Submitted 28 September, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
A Weighted State Redistribution Algorithm for Embedded Boundary Grids
Authors:
Andrew Giuliani,
Ann S. Almgren,
John B. Bell,
Marsha J. Berger,
Marc T. Henry de Frahan,
Deepak Rangarajan
Abstract:
State redistribution is an algorithm that stabilizes cut cells for embedded boundary grid methods. This work extends the earlier algorithm in several important ways. First, state redistribution is extended to three spatial dimensions. Second, we discuss several algorithmic changes and improvements motivated by the more complicated cut cell geometries that can occur in higher dimensions. In particu…
▽ More
State redistribution is an algorithm that stabilizes cut cells for embedded boundary grid methods. This work extends the earlier algorithm in several important ways. First, state redistribution is extended to three spatial dimensions. Second, we discuss several algorithmic changes and improvements motivated by the more complicated cut cell geometries that can occur in higher dimensions. In particular, we introduce a weighted version with less dissipation in an easily generalizable framework. Third, we demonstrate that state redistribution can also stabilize a solution update that includes both advective and diffusive contributions. The stabilization algorithm is shown to be effective for incompressible as well as compressible reacting flows. Finally, we discuss the implementation of the algorithm for several exascale-ready simulation codes based on AMReX, demonstrating ease of use in combination with domain decomposition, hybrid parallelism and complex physics.
△ Less
Submitted 11 May, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Cogrowth Series for Free Products of Finite Groups
Authors:
Jason Bell,
Haggai Liu,
Marni Mishna
Abstract:
Given a finitely generated group with generating set $S$, we study the cogrowth sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks the corresponding Cayley graph. Muller and Schupp proved the generating function of the sequence is algebraic when $G$ has a finite-index free subgroup (using a result…
▽ More
Given a finitely generated group with generating set $S$, we study the cogrowth sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks the corresponding Cayley graph. Muller and Schupp proved the generating function of the sequence is algebraic when $G$ has a finite-index free subgroup (using a result of Dunwoody). In this work we make this result effective for free products of finite groups: we determine bounds for the degree and height of the minimal polynomial of the generating function, and determine the minimal polynomial explicitly for some families of free products. Using these results we are able to prove that a gap theorem holds: if $S$ is a finite symmetric generating set for a group $G$ and if $a_n$ denotes the number of words of length $n$ over the alphabet $S$ that are equal to $1$ then $\limsup_n a_n^{1/n}$ exists and is either $1$, $2$, or at least $2\sqrt{2}$.
△ Less
Submitted 30 September, 2021;
originally announced October 2021.
-
Birational maps with transcendental dynamical degree
Authors:
Jason Bell,
Jeffrey Diller,
Mattias Jonsson,
Holly Krieger
Abstract:
We give examples of birational selfmaps of $\mathbb{P}^d, d \geq 3$, whose dynamical degree is a transcendental number. This contradicts a conjecture by Bellon and Viallet. The proof uses a combination of techniques from algebraic dynamics and diophantine approximation.
We give examples of birational selfmaps of $\mathbb{P}^d, d \geq 3$, whose dynamical degree is a transcendental number. This contradicts a conjecture by Bellon and Viallet. The proof uses a combination of techniques from algebraic dynamics and diophantine approximation.
△ Less
Submitted 25 October, 2023; v1 submitted 8 July, 2021;
originally announced July 2021.
-
On Dynamical Cancellation
Authors:
Jason P. Bell,
Yohsuke Matsuzawa,
Matthew Satriano
Abstract:
Let $X$ be a projective variety and let $f$ be a dominant endomorphism of $X$, both of which are defined over a number field $K$. We consider a question of the second author, Meng, Shibata, and Zhang, which asks whether the tower of $K$-points $Y(K)\subseteq (f^{-1}(Y))(K)\subseteq (f^{-2}(Y))(K)\subseteq \cdots$ eventually stabilizes, where $Y\subset X$ is a subvariety invariant under $f$. We sho…
▽ More
Let $X$ be a projective variety and let $f$ be a dominant endomorphism of $X$, both of which are defined over a number field $K$. We consider a question of the second author, Meng, Shibata, and Zhang, which asks whether the tower of $K$-points $Y(K)\subseteq (f^{-1}(Y))(K)\subseteq (f^{-2}(Y))(K)\subseteq \cdots$ eventually stabilizes, where $Y\subset X$ is a subvariety invariant under $f$. We show this question has an affirmative answer when the map $f$ is étale. We also look at a related problem of showing that there is some integer $s_0$, depending only on $X$ and $K$, such that whenever $x, y \in X(K)$ have the property that $f^{s}(x) = f^{s}(y)$ for some $s \geq 0$, we necessarily have $f^{s_{0}}(x) = f^{s_{0}}(y)$. We prove this holds for étale morphisms of projective varieties, as well as self-morphisms of smooth projective curves. We also prove a more general cancellation theorem for polynomial maps on $\mathbb{P}^1$ where we allow for composition by multiple different maps $f_1,\dots,f_r$.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
A coupled discontinuous Galerkin-Finite Volume framework for solving gas dynamics over embedded geometries
Authors:
Vincenzo Gulizzi,
Ann S. Almgren,
John B. Bell
Abstract:
We present a computational framework for solving the equations of inviscid gas dynamics using structured grids with embedded geometries. The novelty of the proposed approach is the use of high-order discontinuous Galerkin (dG) schemes and a shock-capturing Finite Volume (FV) scheme coupled via an $hp$ adaptive mesh refinement ($hp$-AMR) strategy that offers high-order accurate resolution of the em…
▽ More
We present a computational framework for solving the equations of inviscid gas dynamics using structured grids with embedded geometries. The novelty of the proposed approach is the use of high-order discontinuous Galerkin (dG) schemes and a shock-capturing Finite Volume (FV) scheme coupled via an $hp$ adaptive mesh refinement ($hp$-AMR) strategy that offers high-order accurate resolution of the embedded geometries. The $hp$-AMR strategy is based on a multi-level block-structured domain partition in which each level is represented by block-structured Cartesian grids and the embedded geometry is represented implicitly by a level set function. The intersection of the embedded geometry with the grids produces the implicitly-defined mesh that consists of a collection of regular rectangular cells plus a relatively small number of irregular curved elements in the vicinity of the embedded boundaries. High-order quadrature rules for implicitly-defined domains enable high-order accuracy resolution of the curved elements with a cell-merging strategy to address the small-cell problem. The $hp$-AMR algorithm treats the system with a second-order finite volume scheme at the finest level to dynamically track the evolution of solution discontinuities while using dG schemes at coarser levels to provide high-order accuracy in smooth regions of the flow. On the dG levels, the methodology supports different orders of basis functions on different levels. The space-discretized governing equations are then advanced explicitly in time using high-order Runge-Kutta algorithms. Numerical tests are presented for two-dimensional and three-dimensional problems involving an ideal gas. The results are compared with both analytical solutions and experimental observations and demonstrate that the framework provides high-order accuracy for smooth flows and accurately captures solution discontinuities.
△ Less
Submitted 29 May, 2021;
originally announced May 2021.
-
A Tits alternative for rational functions
Authors:
Jason P. Bell,
Ke** Huang,
Wayne Peng,
Thomas J. Tucker
Abstract:
We prove an analog of the Tits alternative for rational functions. In particular, we show that if $S$ is a finitely generated semigroup of rational functions over the complex numbers, then either $S$ has polynomially bounded growth or $S$ contains a nonabelian free semigroup. We also show that if f and g are polarizable maps over any field that do not have the same set of preperiodic points, then…
▽ More
We prove an analog of the Tits alternative for rational functions. In particular, we show that if $S$ is a finitely generated semigroup of rational functions over the complex numbers, then either $S$ has polynomially bounded growth or $S$ contains a nonabelian free semigroup. We also show that if f and g are polarizable maps over any field that do not have the same set of preperiodic points, then the semigroup generated by f and g contains a nonabelian free semigroup.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Lie complexity of words
Authors:
Jason P. Bell,
Jeffrey Shallit
Abstract:
Given a finite alphabet $Σ$ and a right-infinite word $\bf w$ over $Σ$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of length-$n$ factors $x$ of $\bf w$ with the property that every element of the conjugacy class appears in $\bf w$.
We show that the Lie complexity function is uniformly boun…
▽ More
Given a finite alphabet $Σ$ and a right-infinite word $\bf w$ over $Σ$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of length-$n$ factors $x$ of $\bf w$ with the property that every element of the conjugacy class appears in $\bf w$.
We show that the Lie complexity function is uniformly bounded for words with linear factor complexity, and as a result we show that words of linear factor complexity have at most finitely many primitive factors $y$ with the property that $y^n$ is again a factor for every $n$.
We then look at automatic sequences and show that the Lie complexity function of a $k$-automatic sequence is again $k$-automatic.
△ Less
Submitted 7 February, 2021;
originally announced February 2021.
-
Affine representability and decision procedures for commutativity theorems for rings and algebras
Authors:
Jason P. Bell,
Peter V. Danchev
Abstract:
We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial identities, there is an algorithm that terminates after a finite number of steps which decides whether these identities force a ring to be commutative. We then revisi…
▽ More
We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial identities, there is an algorithm that terminates after a finite number of steps which decides whether these identities force a ring to be commutative. We then revisit old commutativity theorems of Jacobson and Herstein in light of this algorithm and obtain general results in this vein. In addition, we completely characterize the homogeneous multilinear identities that imply the commutativity of a ring.
△ Less
Submitted 7 March, 2022; v1 submitted 31 October, 2020;
originally announced November 2020.
-
Effective isotrivial Mordell-Lang in positive characteristic
Authors:
Jason Bell,
Dragos Ghioca,
Rahim Moosa
Abstract:
The isotrivial Mordell-Lang theorem of Moosa and Scanlon describes the set $X\capΓ$ when $X$ is a subvariety of a semiabelian variety $G$ over a finite field $\mathbb{F}_q$ and $Γ$ is a finitely generated subgroup of $G$ that is invariant under the $q$-power Frobenius endomorphism $F$. That description is here made effective, and extended to arbitrary commutative algebraic groups $G$ and arbitrary…
▽ More
The isotrivial Mordell-Lang theorem of Moosa and Scanlon describes the set $X\capΓ$ when $X$ is a subvariety of a semiabelian variety $G$ over a finite field $\mathbb{F}_q$ and $Γ$ is a finitely generated subgroup of $G$ that is invariant under the $q$-power Frobenius endomorphism $F$. That description is here made effective, and extended to arbitrary commutative algebraic groups $G$ and arbitrary finitely generated $\mathbb{Z}[F]$-submodules $Γ$. The approach is to use finite automata to give a concrete description of $X\cap Γ$. These methods and results have new applications even when specialised to the case when $G$ is an abelian variety over a finite field, $X\subseteq G$ a subvariety defined over a function field $K$, and $Γ=G(K)$. As an application of the automata-theoretic approach, a dichotomy theorem is established for the growth of the number of points in $X(K)$ of bounded height. As an application of the effective description of $X\capΓ$, decision procedures are given for the following three diophantine problems: Is $X(K)$ nonempty? Is it infinite? Does it contain an infinite coset?
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
On the importance of being primitive
Authors:
Jason P. Bell
Abstract:
We give a brief survey of primitivity in ring theory and in particular look at characterizations of primitive ideals in the prime spectrum for various classes of rings.
We give a brief survey of primitivity in ring theory and in particular look at characterizations of primitive ideals in the prime spectrum for various classes of rings.
△ Less
Submitted 14 August, 2020;
originally announced August 2020.
-
Mahler's and Koksma's classifications in fields of power series
Authors:
Jason Bell,
Yann Bugeaud
Abstract:
Let $q$ a prime power and ${\mathbb F}_q$ the finite field of $q$ elements. We study the analogues of Mahler's and Koksma's classifications of complex numbers for power series in ${\mathbb F}_q((T^{-1}))$. Among other results, we establish that both classifications coincide, thereby answering a question of Ooto.
Let $q$ a prime power and ${\mathbb F}_q$ the finite field of $q$ elements. We study the analogues of Mahler's and Koksma's classifications of complex numbers for power series in ${\mathbb F}_q((T^{-1}))$. Among other results, we establish that both classifications coincide, thereby answering a question of Ooto.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Rational dynamical systems, $S$-units, and $D$-finite power series
Authors:
Jason P. Bell,
Shaoshi Chen,
Ehsaan Hossain
Abstract:
Let $K$ be an algebraically closed field of characteristic zero and let $G$ be a finitely generated subgroup of the multiplicative group of $K$. We consider $K$-valued sequences of the form $a_n:=f(\varphi^n(x_0))$, where $\varphi\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $K$ and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $\varphi$…
▽ More
Let $K$ be an algebraically closed field of characteristic zero and let $G$ be a finitely generated subgroup of the multiplicative group of $K$. We consider $K$-valued sequences of the form $a_n:=f(\varphi^n(x_0))$, where $\varphi\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $K$ and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $\varphi$ and $f$. Many classical sequences from number theory and algebraic combinatorics fall under this dynamical framework, and we show that the set of $n$ for which $a_n\in G$ is a finite union of arithmetic progressions along with a set of Banach density zero. In addition, we show that if $a_n\in G$ for every $n$ and $X$ is irreducible and the $\varphi$ orbit of $x$ is Zariski dense in $X$ then there are a multiplicative torus $\mathbb{G}_m^d$ and maps $Ψ:\mathbb{G}_m^d \to \mathbb{G}_m^d$ and $g:\mathbb{G}_m^d \to \mathbb{G}_m$ such that $a_n = g\circ Ψ^n(y)$ for some $y\in \mathbb{G}_m^d$. We then obtain results about the coefficients of $D$-finite power series using these facts.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
A height gap theorem for coefficients of Mahler functions
Authors:
Boris Adamczewski,
Jason Bell,
Daniel Smertnig
Abstract:
We study the asymptotic growth of coefficients of Mahler power series with algebraic coefficients, as measured by their logarithmic Weil height. We show that there are five different growth behaviors, all of which being reached. Thus, there are \emph{gaps} in the possible growths. In proving this height gap theorem, we obtain that a $k$-Mahler function is $k$-regular if and only if its coefficient…
▽ More
We study the asymptotic growth of coefficients of Mahler power series with algebraic coefficients, as measured by their logarithmic Weil height. We show that there are five different growth behaviors, all of which being reached. Thus, there are \emph{gaps} in the possible growths. In proving this height gap theorem, we obtain that a $k$-Mahler function is $k$-regular if and only if its coefficients have height in $O(\log n)$. Furthermore, we deduce that, over an arbitrary ground field of characteristic zero, a $k$-Mahler function is $k$-automatic if and only if its coefficients belong to a finite set. As a by-product of our results, we also recover a conjecture of Becker which was recently settled by Bell, Chyzak, Coons, and Dumas.
△ Less
Submitted 11 October, 2021; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Height Gap Conjectures, $D$-Finiteness, and Weak Dynamical Mordell-Lang
Authors:
Jason P. Bell,
Fei Hu,
Matthew Satriano
Abstract:
In previous work, the first author, Ghioca, and the third author introduced a broad dynamical framework giving rise to many classical sequences from number theory and algebraic combinatorics. Specifically, these are sequences of the form $f(Φ^n(x))$, where $Φ\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $\overline{\mathbb{Q}}$ and $x\in X(\overline{\mathbb{Q}})$ is a…
▽ More
In previous work, the first author, Ghioca, and the third author introduced a broad dynamical framework giving rise to many classical sequences from number theory and algebraic combinatorics. Specifically, these are sequences of the form $f(Φ^n(x))$, where $Φ\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $\overline{\mathbb{Q}}$ and $x\in X(\overline{\mathbb{Q}})$ is a point whose forward orbit avoids the indeterminacy loci of $Φ$ and $f$. They conjectured that if the sequence is infinite, then $\limsup \frac{h(f(Φ^n(x)))}{\log n} > 0$. They also made a corresponding conjecture for $\liminf$ and showed that it implies the Dynamical Mordell-Lang Conjecture. In this paper, we prove the $\limsup$ conjecture as well as the $\liminf$ conjecture away from a set of density $0$. As applications, we prove results concerning the growth rate of coefficients of $D$-finite power series as well as the Dynamical Mordell-Lang Conjecture up to a set of density $0$.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
An analogue of Ruzsa's conjecture for polynomials over finite fields
Authors:
Jason P. Bell,
Khoa D. Nguyen
Abstract:
In 1971, Ruzsa conjectured that if $f:\ \mathbb{N}\rightarrow\mathbb{Z}$ with $f(n+k)\equiv f(n)$ mod $k$ for every $n,k\in\mathbb{N}$ and $f(n)=O(θ^n)$ with $θ<e$ then $f$ is a polynomial. In this paper, we investigate the analogous problem for the ring of polynomials over a finite field.
In 1971, Ruzsa conjectured that if $f:\ \mathbb{N}\rightarrow\mathbb{Z}$ with $f(n+k)\equiv f(n)$ mod $k$ for every $n,k\in\mathbb{N}$ and $f(n)=O(θ^n)$ with $θ<e$ then $f$ is a polynomial. In this paper, we investigate the analogous problem for the ring of polynomials over a finite field.
△ Less
Submitted 18 October, 2019;
originally announced October 2019.
-
Noncommutative analogues of a cancellation theorem of Abhyankar, Eakin, and Heinzer
Authors:
Jason P. Bell,
Maryam Hamidizadeh,
Hongdi Huang,
Helbert Venegas
Abstract:
Let $k$ be a field and let $A$ be a finitely generated $k$-algebra. The algebra $A$ is said to be cancellative if whenever $B$ is another $k$-algebra with the property that $A[x]\cong B[x]$ then we necessarily have $A\cong B$. An important result of Abhyankar, Eakin, and Heinzer shows that if $A$ is a finitely generated commutative integral domain of Krull dimension one then it is cancellative. We…
▽ More
Let $k$ be a field and let $A$ be a finitely generated $k$-algebra. The algebra $A$ is said to be cancellative if whenever $B$ is another $k$-algebra with the property that $A[x]\cong B[x]$ then we necessarily have $A\cong B$. An important result of Abhyankar, Eakin, and Heinzer shows that if $A$ is a finitely generated commutative integral domain of Krull dimension one then it is cancellative. We consider the question of cancellation for finitely generated not-necessarily-commutative domains of Gelfand-Kirillov dimension one, and show that such algebras are necessarily cancellative when the characteristic of the base field is zero. In particular, this recovers the cancellation result of Abhyankar, Eakin, and Heinzer in characteristic zero when one restricts to the commutative case. We also provide examples that show affine domains of Gelfand-Kirillov dimension one need not be cancellative when the base field has positive characteristic, giving a counterexample to a conjecture of Tang, the fourth-named author, and Zhang. In addition, we prove a skew analogue of the result of Abhyankar-Eakin-Heinzer, in which one works with skew polynomial extensions as opposed to ordinary polynomial rings.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
A refinement of Christol's theorem for algebraic power series
Authors:
Seda Albayrak,
Jason P. Bell
Abstract:
A famous result of Christol gives that a power series $F(t)=\sum_{n\ge 0} f(n)t^n$ with coefficients in a finite field $\mathbb{F}_q$ of characteristic $p$ is algebraic over the field of rational functions in $t$ if and only if there is a finite-state automaton accepting the base-$p$ digits of $n$ as input and giving $f(n)$ as output for every $n\ge 0$. An extension of Christol's theorem, giving a…
▽ More
A famous result of Christol gives that a power series $F(t)=\sum_{n\ge 0} f(n)t^n$ with coefficients in a finite field $\mathbb{F}_q$ of characteristic $p$ is algebraic over the field of rational functions in $t$ if and only if there is a finite-state automaton accepting the base-$p$ digits of $n$ as input and giving $f(n)$ as output for every $n\ge 0$. An extension of Christol's theorem, giving a complete description of the algebraic closure of $\mathbb{F}_q(t)$, was later given by Kedlaya. When one looks at the support of an algebraic power series, that is the set of $n$ for which $f(n)\neq 0$, a well-known dichotomy for sets generated by finite-state automata shows that the support set is either sparse---with the number of $n\le x$ for which $f(n)\neq 0$ bounded by a polynomial in $\log(x)$---or it is reasonably large in the sense that the number of $n\le x$ with $f(n)\neq 0$ grows faster than $x^α$ for some positive $α$. The collection of algebraic power series with sparse supports forms a ring and we give a purely algebraic characterization of this ring in terms of Artin-Schreier extensions and we extend this to the context of Kedlaya's work on generalized power series.
△ Less
Submitted 31 October, 2019; v1 submitted 6 September, 2019;
originally announced September 2019.