BZPEERPapers, people, evidence and research paths
Menu

Discover

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

Research tools

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

Network

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

Opportunities

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

Account

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

Source author record

Thomas Scanlon

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

ResearcherUnclaimed source record
math.AGmath.LOmath.NTmath.DSmath.CAmath.ACComputational ComplexityData Structures and Algorithmsgr-qcmath.RA

Catalog footprint

What is connected

19works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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

Published work

19 published item(s)

preprint2023arXiv

Likely intersections

We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient spaces definable in some fixed o-minimal expansion of the ordered field of real numbers. For an instance of our general result, consider the case of subvarieties of Shimura varieties. Let $S$ be a Shimura variety. Let $π:D \to Γ\backslash D = S$ realize $S$ as a quotient of $D$, a homogeneous space for the action of a real algebraic group $G$, by the action of $Γ< G$, an arithmetic subgroup. Let $S' \subseteq S$ be a special subvariety of $S$ realized as $π(D')$ for $D' \subseteq D$ a homogeneous space for an algebraic subgroup of $G$. Let $X \subseteq S$ be an irreducible subvariety of $S$ not contained in any proper weakly special subvariety of $S$. Assume that the intersection of $X$ with $S'$ is persistently likely meaning that whenever $ζ:S_1 \to S$ and $ξ:S_1 \to S_2$ are maps of Shimura varieties (meaning regular maps of varieties induced by maps of the corresponding Shimura data) with $ζ$ finite, $\dim ξζ^{-1} X + \dim ξζ^{-1} S' \geq \dim ξS_1$. Then $X \cap \bigcup_{g \in G, π(g D') \text{ is special }} π(g D')$ is dense in $X$ for the Euclidean topology.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Skew-invariant curves and the algebraic independence of Mahler functions

For $p \in \mathbb{Q}_+ \smallsetminus \{ 1 \}$ a positive rational number different from one, we say that the Puisseux series $f \in \mathbb{C}((t))^\text{alg}$ is $p$-Mahler of non-exceptional polynomial type if there is a polynomial $P \in \mathbb{C}(t)^\text{alg}[X]$ of degree at least two which is not conjugate to either a monomial or to plus or minus a Chebyshev polynomial for which the equation $f(t^p) = P(f(t))$ holds. We show that if $p$ and $q$ are multiplicatively independent and $f$ and $g$ are $p$-Mahler and $q$-Mahler, respectively, of non-exceptional polynomial type, then $f$ and $g$ are algebraically independent over $\mathbb{C}(t)$. This theorem is proven as a consequence of a more general theorem that if $f$ is $p$-Mahler of non-exceptional polynomial type, and $g_1, \ldots, g_n$ each satisfy some difference equation with respect to the substitution $t \mapsto t^q$, then $f$ is algebraically independent from $g_1, \ldots, g_n$. These theorems are themselves consequences of a refined classification of skew-invariant curves for split polynomial dynamical systems on $\mathbb{A}^2$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Solving difference equations in sequences: Universality and Undecidability

$ $We study solutions of difference equations in the rings of sequences and, more generally, solutions of equations with a monoid action in the ring of sequences indexed by the monoid. This framework includes, for example, difference equations on grids (e.g., standard difference schemes) and difference equations in functions on words. On the universality side, we prove a version of strong Nullstellensatz for such difference equations under the assuption that the cardinality of the ground field is greater than the cardinality of the monoid and construct an example showing that this assumption cannot be omitted. On the undecidability side, we show that the following problems are undecidable: $\bullet$ testing radical difference ideal membership or, equivalently, determining whether a given difference polynomial vanishes on the solution set of a given system of difference polynomials; $\bullet$ determining consistency of a system of difference equations in the ring of real-valued sequences; $\bullet$ determining consistency of a system of equations with action of $\mathbb{Z}^2$, $\mathbb{N}^2$, or the free monoid with two generators in the corresponding ring of sequences over any field of characteristic zero.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

A use of geometric calculus to reduce Berezin integral to the limit of a Riemann sum

Berezin integration of functions of anticommuting Grassmann variables is usually seen as a formal operation, sometimes even defined via differentiation. Using the formalism of geometric algebra and geometric calculus in which the Grassmann numbers are endowed with a second associative product coming from a Clifford algebra structure, we show how Berezin integrals can be realized in the high dimensional limit as integrals in the sense of geometric calculus. We then show how the concepts of spinors and superspace transform into this framework.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

A variant of the Mordell-Lang conjecture

The Mordell-Lang conjecture (proven by Faltings, Vojta and McQuillan) states that the intersection of a subvariety $V$ of a semiabelian variety $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$ with a finite rank subgroup $Γ\le G(\mathbb{k})$ is a finite union of cosets of subgroups of $Γ$. We explore a variant of this conjecture when $G$ is a product of an abelian variety $A$ defined over $\mathbb{k}$ with the additive group $\mathbb{G}_a$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The logical complexity of finitely generated commutative rings

We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring $A$ is bi-interpretable with $(\mathbb N,{+},{\times})$ if and only if the space of non-maximal prime ideals of $A$ is nonempty and connected in the Zariski topology and the nilradical of $A$ has a nontrivial annihilator in $\mathbb Z$. Notably, by constructing a nontrivial derivation on a nonstandard model of arithmetic we show that the ring of dual numbers over $\mathbb Z$ is not bi-interpretable with $\mathbb N$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On Holder-Brascamp-Lieb inequalities for torsion-free discrete Abelian groups

Hölder-Brascamp-Lieb inequalities provide upper bounds for a class of multilinear expressions, in terms of $L^p$ norms of the functions involved. They have been extensively studied for functions defined on Euclidean spaces. Bennett-Carbery-Christ-Tao have initiated the study of these inequalities for discrete Abelian groups and, in terms of suitable data, have characterized the set of all tuples of exponents for which such an inequality holds for specified data, as the convex polyhedron defined by a particular finite set of affine inequalities. In this paper we advance the theory of such inequalities for torsion-free discrete Abelian groups in three respects. The optimal constant in any such inequality is shown to equal $1$ whenever it is finite. An algorithm that computes the admissible polyhedron of exponents is developed. It is shown that nonetheless, existence of an algorithm that computes the full list of inequalities in the Bennett-Carbery-Christ-Tao description of the admissible polyhedron for all data, is equivalent to an affirmative solution of Hilbert's Tenth Problem over the rationals. That problem remains open. Applications to computer science will be explored in a forthcoming companion paper.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Algebraic differential equations from covering maps

Let $Y$ be a complex algebraic variety, $G \curvearrowright Y$ an action of an algebraic group on $Y$, $U \subseteq Y({\mathbb C})$ a complex submanifold, $Γ< G({\mathbb C})$ a discrete, Zariski dense subgroup of $G({\mathbb C})$ which preserves $U$, and $π:U \to X({\mathbb C})$ an analytic covering map of the complex algebraic variety $X$ expressing $X({\mathbb C})$ as $Γ\backslash U$. We note that the theory of elimination of imaginaries in differentially closed fields produces a generalized Schwarzian derivative $\widetildeχ:Y \to Z$ (where $Z$ is some algebraic variety) expressing the quotient of $Y$ by the action of the constant points of $G$. Under the additional hypothesis that the restriction of $π$ to some set containing a fundamental domain is definable in an o-minimal expansion of the real field, we show as a consequence of the Peterzil-Starchenko o-minimal GAGA theorem that the \emph{prima facie} differentially analytic relation $χ:= \widetildeχ \circ π^{-1}$ is a well-defined, differential constructible function. The function $χ$ nearly inverts $π$ in the sense that for any differential field $K$ of meromorphic functions, if $a, b \in X(K)$ then $χ(a) = χ(b)$ if and only if after suitable restriction there is some $γ\in G({\mathbb C})$ with $π(γ\cdot π^{-1}(a)) = b$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Density of orbits of endomorphisms of abelian varieties

Let $A$ be an abelian variety defined over $\bar{\mathbb{Q}}$, and let $φ$ be a dominant endomorphism of $A$ as an algebraic variety. We prove that either there exists a non-constant rational fibration preserved by $φ$, or there exists a point $x\in A(\bar{\mathbb{Q}})$ whose $φ$-orbit is Zariski dense in $A$. This provides a positive answer for abelian varieties of a question raised by Medvedev and the second author ("nvariant varieties for polynomial dynamical systems", Ann. of Math. (2) 179 (2014), no. 1, 81-177). We prove also a stronger statement of this result in which $φ$ is replaced by any commutative finitely generated monoid of dominant endomorphisms of $A$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Strong minimality and the j-function

We show that the order three algebraic differential equation over ${\mathbb Q}$ satisfied by the analytic $j$-function defines a non-$\aleph_0$-categorical strongly minimal set with trivial forking geometry relative to the theory of differentially closed fields of characteristic zero answering a long-standing open problem about the existence of such sets. The theorem follows from Pila's modular Ax-Lindemann-Weierstrass with derivatives theorem using Seidenberg's embedding theorem and a theorem of Nishioka on the differential equations satisfied by automorphic functions. As a by product of this analysis, we obtain a more general version of the modular Ax-Lindemann-Weierstrass theorem, which, in particular, applies to automorphic functions for arbitrary arithmetic subgroups of $SL_2 ({\mathbb Z})$. We then apply the results to prove effective finiteness results for intersections of subvarieties of products of modular curves with isogeny classes. For example, we show that if $ψ:{\mathbb P}^1 \to {\mathbb P}^1$ is any non-identity automorphism of the projective line and $t \in {\mathbb A}^1({\mathbb C}) \smallsetminus {\mathbb A}^1({\mathbb Q}^\text{alg})$, then the set of $s \in {\mathbb A}^1({\mathbb C})$ for which the elliptic curve with $j$-invariant $s$ is isogenous to the elliptic curve with $j$-invariant $t$ and the elliptic curve with $j$-invariant $ψ(s)$ is isogenous to the elliptic curve with $j$-invariant $ψ(t)$ has size at most $36^7$. In general, we prove that if $V$ is a Kolchin-closed subset of ${\mathbb A}^n$, then the Zariski closure of the intersection of $V$ with the isogeny class of a tuple of transcendental elements is a finite union of weakly special subvarieties. We bound the sum of the degrees of the irreducible components of this union by a function of the degree and order of $V$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Communication lower bounds and optimal algorithms for programs that reference arrays -- Part 1

The movement of data (communication) between levels of a memory hierarchy, or between parallel processors on a network, can greatly dominate the cost of computation, so algorithms that minimize communication are of interest. Motivated by this, attainable lower bounds for the amount of communication required by algorithms were established by several groups for a variety of algorithms, including matrix computations. Prior work of Ballard-Demmel-Holtz-Schwartz relied on a geometric inequality of Loomis and Whitney for this purpose. In this paper the general theory of discrete multilinear Holder-Brascamp-Lieb (HBL) inequalities is used to establish communication lower bounds for a much wider class of algorithms. In some cases, algorithms are presented which attain these lower bounds. Several contributions are made to the theory of HBL inequalities proper. The optimal constant in such an inequality for torsion-free Abelian groups is shown to equal one whenever it is finite. Bennett-Carbery-Christ-Tao had characterized the tuples of exponents for which such an inequality is valid as the convex polyhedron defined by a certain finite list of inequalities. The problem of constructing an algorithm to decide whether a given inequality is on this list, is shown to be equivalent to Hilbert's Tenth Problem over the rationals, which remains open. Nonetheless, an algorithm which computes the polyhedron itself is constructed.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Exponential-polynomial equations and dynamical return sets

We show that for each finite sequence of algebraic integers $α_1,...,α_n$ and polynomials $P_1(x_1,...,x_n;y_1,...,y_n),..., P_r(x_1,...,x_n;y_1,...,y_n)$ with algebraic integer coefficients, there are a natural number $N$, $n$ commuting endomorphisms $Φ_i:\Gm^N \to \Gm^N$ of the $N^\text{th}$ Cartesian power of the multiplicative group, a point $P \in \Gm^N(\QQ)$, and an algebraic subgroup $G \leq \Gm^N$ so that the return set $\{(\ell_1,...,\ell_n) \in \NN^n : Φ_1^{\circ \ell_1} \circ... \circ Φ_n^{\circ \ell_n}(P) \in G(\QQ) \}$ is identical to the set of solutions to the given exponential-polynomial equation: $\{(\ell_1,...,\ell_n) \in \NN^n : P_1(\ell_1,...,\ell_n;α_1^{\ell_1},...,α_n^{\ell_n}) = ... = P_r(\ell_1,...,\ell_n;α_1^{\ell_1},...,α_n^{\ell_n}) = 0 \}$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Invariant varieties for polynomial dynamical systems

We study algebraic dynamical systems (and, more generally, $σ$-varieties) $Φ:{\mathbb A}^n_{\mathbb C} \to {\mathbb A}^n_{\mathbb C}$ given by coordinatewise univariate polynomials by refining a theorem of Ritt. More precisely, we find a nearly canonical way to write a polynomial as a composition of "clusters". Our main result is an explicit description of the (weakly) skew-invariant varieties. As a special case, we show that if $f(x) \in {\mathbb C}[x]$ is a polynomial of degree at least two which is not conjugate to a monomial, Chebyshev polynomial or a negative Chebyshev polynomial, and $X \subseteq {\mathbb A}^2_{\mathbb C}$ is an irreducible curve which is invariant under the action of $(x,y) \mapsto (f(x),f(y))$ and projects dominantly in both directions, then $X$ must be the graph of a polynomial which commutes with $f$ under composition. As consequences, we deduce a variant of a conjecture of Zhang on the existence of rational points with Zariski dense forward orbits and a strong form of the dynamical Manin-Mumford conjecture for liftings of the Frobenius. We also show that in models of ACFA$_0$, a disintegrated set defined by $σ(x) = f(x)$ for a polynomial $f$ has Morley rank one and is usually strongly minimal, that model theoretic algebraic closure is a locally finite closure operator on the nonalgebraic points of this set unless the skew-conjugacy class of $f$ is defined over a fixed field of a power of $σ$, and that nonorthogonality between two such sets is definable in families if the skew-conjugacy class of $f$ is defined over a fixed field of a power of $σ$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Periods of rational maps modulo primes

Let $K$ be a number field, let $ϕ\in K(t)$ be a rational map of degree at least 2, and let $α, β\in K$. We show that if $α$ is not in the forward orbit of $β$, then there is a positive proportion of primes ${\mathfrak p}$ of $K$ such that $α\mod {\mathfrak p}$ is not in the forward orbit of $β\mod {\mathfrak p}$. Moreover, we show that a similar result holds for several maps and several points. We also present heuristic and numerical evidence that a higher dimensional analog of this result is unlikely to be true if we replace $α$ by a hypersurface, such as the ramification locus of a morphism $ϕ: {\mathbb P}^{n} \to {\mathbb P}^{n}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Euclidean Skolem-Mahler-Lech-Chabauty method

Using the theory of o-minimality we show that the $p$-adic method of Skolem-Mahler-Lech-Chabauty may be adapted to prove instances of the dynamical Mordell-Lang conjecture for some real analytic dynamical systems. For example, we show that if $f_1,...,f_n$ is a finite sequence of real analytic functions $f_i:(-1,1) \to (-1,1)$ for which $f_i(0) = 0$ and $|f_i'(0)| \leq 1$ (possibly zero), $a = (a_1,...,a_n)$ is an $n$-tuple of real numbers close enough to the origin and $H(x_1,...,x_n)$ is a real analytic function of $n$ variables, then the set $\{m \in {\mathbb N} : H (f_1^{\circ m} (a_1),...,f_n^{\circ m}(a_n)) = 0 \}$ is either all of ${\mathbb N}$, all of the odd numbers, all of the even numbers, or is finite.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Algebraic equations on the adelic closure of a Drinfeld module

Let $k$ be a field of positive characteristic and $K = k(V)$ a function field of a variety $V$ over $k$ and let ${\mathbf A}_K$ be a ring of adéles of $K$ with respect to a cofinite set of the places on $K$ corresponding to the divisors on $V$. Given a Drinfeld module $Φ:{\mathbb F}[t] \to \operatorname{End}_K({\mathbb G}_a)$ over $K$ and a positive integer $g$ we regard both $K^g$ and ${\mathbf A}_K^g$ as $Φ({\mathbb F}_p[t])$-modules under the diagonal action induced by $Φ$. For $Γ\subseteq K^g$ a finitely generated $Φ(\F_p[t])$-submodule and an affine subvariety $X \subseteq \bG_a^g$ defined over $K$, we study the intersection of $X({\mathbf A}_K)$, the adèlic points of $X$, with $barΓ$, the closure of $Γ$ with respect to the adèlic topology, showing under various hypotheses that this intersection is no more than $X(K) \cap Γ$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Generalised Hasse-Schmidt varieties and their jet spaces

This work provides a unified formalism for studying difference and (Hasse-) differential algebraic geometry, by introducing a theory of "iterative Hasse rings and schemes". As an application, Hasse jet spaces are constructed generally, allowing the development of the theory for arbitrary systems of algebraic partial difference/differential equations, where constructions by earlier authors applied only to the finite dimensional case. In particular, it is shown that under appropriate separability assumptions a Hasse variety is determined by its jet spaces at a point.

0 citations0 reviewsNo code linkedOpen access