BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Stephan Baier

Stephan Baier contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTInformation RetrievalSoftware Engineering

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

14 published item(s)

preprint2026arXiv

A lower bound for classical Kloosterman sums and an application

We present a lower bound for the classical Kloosterman sum $S(a,b;c)$ where $(ab,c)=1$ and $c$ is an odd integer. We apply this lower bound for Kloosterman sums to derive an explicit lower bound in Petersson's trace formula, subject to a given condition. Consequently, we achieve a modified version of a theorem by Jung and Sardari, where weight $k$ and level $N$ are permitted to vary independently. Using this modified version, we get a lower bound for a weighted trace of the Hecke operator $T_n$ acting on the space $S_k(N)$, of cusp forms of weight $k$ and level $N$ with $(n,N)=1$.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

A Bombieri-Vinogradov-type theorem for moduli with small radical

In this article, we extend our recent work on a Bombieri-Vinogradov-type theorem for sparse sets of prime powers $p^N\le x^{1/4-\varepsilon}$ with $p\le (\log x)^C$ to sparse sets of moduli $s\le x^{1/3-\varepsilon}$ with radical rad$(s)\le x^{9/40}$. To derive our result, we combine our previous method with a Bombieri-Vinogradov-type theorem for general moduli $s\le x^{9/40}$ obtained by Roger Baker.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Variance of primes in short residue classes for function fields

Keating and Rudnick derived asymptotic formulas for the variances of primes in arithmetic progressions and short intervals in the function field setting. Here we consider the hybrid problem of calculating the variance of primes in intersections of arithmetic progressions and short intervals. Keating and Rudnick used an involution to translate short intervals into arithmetic progressions. We follow their approach but apply this involution, in addition, to the arithmetic progressions. This creates dual arithmetic progressions in the case when the modulus $Q$ is a polynomial in $\mathbb{F}_q[T]$ such that $Q(0)\not=0$. The latter is a restriction which we keep throughout our paper. At the end, we discuss what is needed to relax this condition.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A Bombieri-Vinogradov-type theorem with prime power moduli

In 2020, Roger Baker \cite{Bak} proved a result on the exceptional set of moduli in the prime number theorem for arithmetic progressions of the following kind. Let $\mathcal{S}$ be a set of pairwise coprime moduli $q\le x^{9/40}$. Then the primes $l\le x$ distribute as expected in arithmetic progressions mod $q$, except for a subset of $\mathcal{S}$ whose cardinality is bounded by a power of $\log x$. We use a $p$-adic variant Harman's sieve to extend Baker's range to $q\le x^{1/4-\varepsilon}$ if $\mathcal{S}$ is restricted to prime powers $p^N$, where $p\le (\log x)^C$ for some fixed but arbitrary $C>0$. For large enough $C$, we thus get an almost all result. Previously, an asymptotic estimate for $π(x;p^N,a)$ of the expected kind, with $p$ being an odd prime, was established in the wider range $p^N\le x^{3/8-\varepsilon}$ by Barban, Linnik and Chudakov \cite{BLC}. Gallagher \cite{Gal} extended this range to $p^N\le x^{2/5-\varepsilon}$ and Huxley \cite{Hux2} improved Gallagher's exponent to $5/12$. A lower bound of the correct order of magnitude was recently established by Banks and Shparlinski \cite{BaS} for the even wider range $p^N\le x^{0.4736}$. However, all these results hold for {\it fixed} primes $p$, and the $O$-constants in the relevant estimates depend on $p$. Therefore, they do not contain our result. In a part of our article, we describe how our method relates to these results.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Asymptotic behavior of small solutions of quadratic congruences in three variables modulo prime powers

Let $p>5$ be a fixed prime and assume that $α_1,α_2,α_3$ are coprime to $p$. We study the asymptotic behavior of small solutions of congruences of the form $α_1x_1^2+α_2x_2^2+α_3x_3^2\equiv 0\bmod{q}$ with $q=p^n$, where $\max\{|x_1|,|x_2|,|x_3|\}\le N$ and $(x_1x_2x_3,p)=1$. (In fact, we consider a smoothed version of this problem.) If $α_1,α_2,α_3$ are fixed and $n\rightarrow \infty$, we establish an asymptotic formula (and thereby the existence of such solutions) under the condition $N\gg q^{1/2+\varepsilon}$. If these coefficients are allowed to vary with $n$, we show that this formula holds if $N\gg q^{11/18+\varepsilon}$. The latter should be compared with a result by Heath-Brown who established the existence of non-zero solutions under the condition $N \gg q^{5/8+\varepsilon}$ for odd square-free moduli $q$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Diophantine approximation with prime restriction in function fields

In the thirties of the last century, I. M. Vinogradov established uniform distribution modulo 1 of the sequence $pα$ when $α$ is a fixed irrational real number and $p$ runs over the primes. In particular, he showed that the inequality $||pα||\le p^{-1/5+\varepsilon}$ has infinitely prime solutions $p$, where $||.||$ denotes the distance to the nearest integer. This result has subsequently been improved by many authors. The current record is due to Matomäki (2009) who showed the infinitude of prime solutions of the inequality $||pα||\le p^{-1/3+\varepsilon}$. This exponent $1/3$ is considered the limit of the current technology. We prove function field analogues of this result for the fields $k=\mathbb{F}_q(T)$ and imaginary quadratic extensions $K$ of $k$. Essential in our method is the Dirichlet approximation theorem for function fields which is established in general form in the appendix authored by Arijit Ganguly.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Diophantine Approximation with Prime Restriction in Real Quadratic Number Fields

The distribution of $αp$ modulo one, where $p$ runs over the rational primes and $α$ is a fixed irrational real, has received a lot of attention. It is natural to ask for which exponents $ν>0$ one can establish the infinitude of primes $p$ satisfying $||αp||\le p^{-ν}$. The latest record in this regard is Kaisa Matomäki's landmark result $ν=1/3-\varepsilon$ which presents the limit of currently known technology. Recently, Glyn Harman, and, jointly, Marc Technau and the first-named author, investigated the same problem in the context of imaginary quadratic fields. Glyn Harman obtained an analog for $\mathbb{Q}(i)$ of his result in the context of $\mathbb{Q}$, which yields an exponent of $ν=7/22$. Marc Technau and the first-named author produced an analogue of Bob Vaughan's result $ν=1/4-\varepsilon$ for all imaginary quadratic number fields of class number 1. In the present article, we establish an analog of the last-mentioned result for real quadratic fields of class number 1 under a certain Diophantine restriction. This setting involves the additional complication of an infinite group of units in the ring of integers. Moreover, although the basic sieve approach remains the same (we use an ideal version of Harman's sieve), the problem takes a different flavor since it becomes truly 2-dimensional. We reduce it eventually to a counting problem which is, interestingly, related to roots of quadratic congruences. To approximate them, we use an approach by Christopher Hooley based on the theory of binary quadratic forms.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Conformance checking: A state-of-the-art literature review

Conformance checking is a set of process mining functions that compare process instances with a given process model. It identifies deviations between the process instances' actual behaviour ("as-is") and its modelled behaviour ("to-be"). Especially in the context of analyzing compliance in organizations, it is currently gaining momentum -- e.g. for auditors. Researchers have proposed a variety of conformance checking techniques that are geared towards certain process model notations or specific applications such as process model evaluation. This article reviews a set of conformance checking techniques described in 37 scholarly publications. It classifies the techniques along the dimensions "modelling language", "algorithm type", "quality metric", and "perspective" using a concept matrix so that the techniques can be better accessed by practitioners and researchers. The matrix highlights the dimensions where extant research concentrates and where blind spots exist. For instance, process miners use declarative process modelling languages often, but applications in conformance checking are rare. Likewise, process mining can investigate process roles or process metrics such as duration, but conformance checking techniques narrow on analyzing control-flow. Future research may construct techniques that support these neglected approaches to conformance checking.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Large sieve with sparse sets of moduli for $\mathbb{Z}[i]$

We establish a general large sieve inequality with sparse sets $\mathcal{S}$ of moduli in the Gaussian integers which are in a sense well-distributed in arithmetic progressions. This extends earlier work of S. Baier on the large sieve with sparse sets of moduli. We then use this result to obtain large sieve bounds for the cases when $\mathcal{S}$ consists of squares of Gaussian integers and of Gaussian primes. Our bound for the case of square moduli improves a recent result by the authors.

0 citations0 reviewsNo code linkedOpen access