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

Vesselin Dimitrov

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

ResearcherUnclaimed source record
math.NTmath.DS

Catalog footprint

What is connected

7works
2topics
0close 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

7 published item(s)

preprint2019arXiv

A proof of the Schinzel-Zassenhaus conjecture on polynomials

We prove that if $P(X) \in \mathbb{Z}[X]$ is an integer polynomial of degree $n$ and having $P(0) = 1$, then either $P(X)$ is a product of cyclotomic polynomials, or else at least one of the complex roots of $P$ belongs to the disk $|z| \leq 2^{ - 1 / (4n) }$. We also obtain a relative version of this result over the compositum $\mathbb{Q}^{\mathrm{ab}} \cdot \mathbb{Q}^{\mathrm{t.}p}$ of all abelian and all totally $p$-adic extensions of $\mathbb{Q}$, for any fixed prime~$p$, and apply it to prove a $\mathbb{Q}^{\mathrm{ab}} \cdot \mathbb{Q}^{\mathrm{t.}p}$-relative canonical height lower bound on the multiplicative group. Another extension is given to a uniform positive height lower bound, inverse-proportional to the total number of singular points, on holonomic power series in $\mathbb{Q}[[X]]$ and not of the form $p(X) / (X^k-1)^m$, where $p(X) \in \mathbb{Q}[X]$, with a further application to existence of a small critical value for certain rational functions.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Convergence to the Mahler measure and the distribution of periodic points for algebraic Noetherian $\mathbb{Z}^d$-actions

For every $P \in \mathbb{Z}[x_1^{\pm 1}, \ldots, x_d^{\pm 1}] \setminus \{0\}$, and every $\varepsilon > 0$, we prove that there are a computable function $M = M(d,\varepsilon,°{P},h(P)) < \infty$ and a finite union $Z = Z(d,\varepsilon,°{P},h(P))$ of proper torsion cosets $\boldsymbolμ T \subsetneq \mathbb{G}_m^d$ such that, for every $N \in \mathbb{N}$, $Z$ contains all but at most $M$ of the torsion points $\boldsymbolζ \in μ_N^d$ satisfying $|P(\boldsymbolζ)| < e^{-\varepsilon ϕ(N)}$. This extends a well known structural theorem from torsion points lying exactly on a variety to torsion points lying very near to the subvariety. As a consequence, we prove that the averages of $\log{|P(\mathbf{x})|}$ over $μ_N^d$ converge as $N \to \infty$ to the Mahler measure of $P$. By the work of B. Kitchens, D. Lind, K. Schmidt and T. Ward, the convergence consequence amounts to the following statement in dynamics: For every Noetherian $\mathbb{Z}^d$-action $T : \mathbb{Z}^d \to \mathrm{Aut}(X)$ by automorphisms of a compact abelian group $X$ having a finite topological entropy $h(T)$, the exponential growth rate of the number of connected components of the group $\mathrm{Per}_N(T)$ of $N \cdot \mathbb{Z}^d$-periodic points of $(X,T)$ exists as $N \to \infty$, and equals the topological entropy $h(T)$. Moreover, it follows that all weak-$*$ limit measures of the push-forwards of the Haar measures on $\mathrm{Per}_N(T)$, under any a sequence of positive integers $N$, are measures of maximum entropy $h(T)$. Our main arithmetic result extends to Diophantine approximation by points of sufficiently small canonical height. It is best possible in such a generality, where an exceptional set is an inevitable feature.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Effectivity in Mochizuki's work on the $abc$-conjecture

This note outlines a constructive proof of a proposition in Mochizuki's paper "Arithmetic elliptic curves in general position," making a direct use of computable non-critical Belyi maps to effectively reduce the full $abc$-conjecture to a restricted form. Such a reduction means that an effective $abc$-theorem is implied by Theorem 1.10 of Mochizuki's final IUT paper ("Inter-universal Teichmuller theory IV: log-volume computations and set-theoretic foundations").

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Finiteness of local torsion for abelian t-modules

Let $C/\mathbb{F}_q$ be a regular projective curve, $\infty \in C$ a closed point, $A := Γ(C - \{\infty\}, \mathcal{O}_C)$, and $K := K(C)$ the fraction field of $A$. Consider a finite extension $L/K$, a place $v$ of $L$, and an abelian $A$-module $M$ (in the sense of Anderson) over $L_v$. We prove that the $L_v$-rational torsion submodule $M(L_v)_{\mathrm{tors}}$ of $M$ is a finite $A$-module.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Silverman's conjecture for additive polynomial mappings

Let $F : \mathrm{End}_{\mathbb{F_p}}(\mathbb{G}_{a/K}^d)$ be an additive polynomial mapping over a global function field $K/\mathbb{F}_q$, and let $P \in \mathbb{G}_a^d(K)$. Following Silverman, consider $δ:= \lim_{n \in \mathbb{N}} (°{F^{n}})^{1/n}$ the dynamic degree of $F$ and $α(P) := \limsup_{n \in \mathbb{N}} h_K(F^{n}P)^{1/n}$ the arithmetic degree of $F$ at $P$. We have $α(P) \leq δ$, and extending a conjecture of Silverman from the number field case, it is expected that equality holds if the orbit of $P$ is Zariski-dense. We prove a weaker form of this conjecture: if $δ> 1$ and the orbit of $P$ is Zariski-dense, then also $α(P) > 1$. We obtain furthermore a more precise result concerning the growth along the orbit of $P$ of the heights of the individual coordinates, and formulate a few related open problems motivated by our results, including a generalization "with moving targets" of Faltings's theorem back in the number field case.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A lower bound on the orbit growth of a regular self-map of affine space

We show that if $f : \mathbb{A}_{\bar{\mathbb{Q}}}^r \to \mathbb{A}_{\bar{\mathbb{Q}}}^r$ is a regular self-map and $P \in \mathbb{A}^r(\bar{\mathbb{Q}})$ has $\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} < 1/r$, where $h_{\textrm{aff}}$ is the affine Weil height, then $\mathbb{N}$ partitions into a finite set and finitely many full arithmetic progressions, on each of which the coordinates of $f^nP$ are polynomials in $n$. In particular, if $(f^nP)_{n \in \mathbb{N}}$ is a Zariski-dense orbit, then either $n = 1$ and $f$ is of the shape $t \mapsto ζt + c$, $ζ\in μ_{\infty}$, or else $\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} \geq 1/r$. This inequality is the exponential improvement of the trivial lower bound obtained from counting the points of bounded height in $\mathbb{A}^r(K)$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A note on a generalization of the Hadamard quotient theorem

We consider a generalization of the "Hadamard quotient theorem" of Pourchet and van der Poorten. A particular case of our conjecture states that if $f := \sum_{n \geq 0} a(n)x^n$ and $g := \sum_{n \geq 0} b(n)x^n$ represent, respectively, an algebraic and a rational function over a global field $K$ such that $b(n) \neq 0$ for all $n$ and the coefficients of the power series $h := \sum_{n \geq 0} a(n)/b(n)x^n$ are contained in a finitely generated ring, then $h$ is algebraic. We prove this conjecture if either (i) $g$ has a simple pole of a strictly maximal absolute value at some place; or (ii) or poles of $g$ are simple, there is a positive density $δ> 0$ of places which split completely in the field generated by the poles of g$ and at which all $b(n)$ are units, and with $d := [K(t,f):K(f)]$, the local radii of convergence $R_v$ of $h$ at the places $v$ of $K$ satisfy $\sum_v \log^+{R_v^{-1}} \leq δ/12d^4$.

0 citations0 reviewsNo code linkedOpen access