Source author record

Lior Bary-Soroker

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

24works
5topics
4close collaborators

Published work

24 publications

preprint2024arXiv

Irreducibility of Littlewood polynomials of special degrees

Let ff be sampled uniformly at random from the set of degree nn polynomials whose coefficients lie in {±1}\{ \pm 1\}. A folklore conjecture, known to hold under GRH, states that the probability that ff is irreducible tends to 11 as nn goes to infinity. We prove unconditionally that lim sup⁡n→∞P(f is irreducible)=1.\limsup_{n \to \infty} \mathbb{P}(f \text{ is irreducible}) = 1.

preprint2022arXiv

Hilbert's irreducibility theorem via random walks

Let GG be a connected linear algebraic group over a number field KK, let ΓΓ be a finitely generated Zariski dense subgroup of G(K)G(K) and let Z⊆G(K)Z\subseteq G(K) be a thin set, in the sense of Serre. We prove that, if G/Ru(G)G/\mathrm{R}_u(G) is semisimple and ZZ satisfies certain necessary conditions, then a long random walk on a Cayley graph of ΓΓ hits elements of ZZ with negligible probability. We deduce corollaries to Galois covers, characteristic polynomials, and fixed points in group actions. We also prove analogous results in the case where KK is a global function field.

preprint2020arXiv

On the Galois Theory of Generalized Laguerre Polynomials and Trimmed Exponential

Inspired by the work of Schur on the Taylor series of the exponential and Laguerre polynomials, we study the Galois theory of trimmed exponentials fn,n+k=∑i=0kxi(n+i)!f_{n,n+k}=\sum_{i=0}^{k} \frac{x^{i}}{(n+i)!} and of the generalized Laguerre polynomials Lk(n)L^{(n)}_k of degree kk. We show that if nn is chosen uniformly from {1,…,x}\{1,\ldots, x\}, then, asymptotically almost surely, for all k≤xo(1)k\leq x^{o(1)} the Galois groups of fn,n+kf_{n,n+k} and of Lk(n)L_{k}^{(n)} are the full symmetric group SkS_k.

preprint2016arXiv

On the Function Field Analogue of Landau's Theorem on Sums of Squares

This paper deals with function field analogues of the famous theorem of Landau which gives the asymptotic density of sums of two squares in Z\mathbb{Z}. We define the analogue of a sum of two squares in Fq[T]\mathbb{F}_q[T] and estimate the number Bq(n)B_q(n) of such polynomials of degree nn in two cases. The first case is when qq is large and nn fixed and the second case is when nn is large and qq is fixed. Although the methods used and main terms computed in each of the two cases differ, the two iterated limits of (a normalization of) Bq(n)B_q(n) turn out to be exactly the same.

preprint2016arXiv

Sieves and the Minimal Ramification Problem

The minimal ramification problem may be considered as a quantitative version of the inverse Galois problem. For a nontrivial finite group GG, let m(G)m(G) be the minimal integer mm for which there exists a Galois extension N/QN/\mathbb{Q} that is ramified at exactly mm primes (including the infinite one). So, the problem is to compute or to bound m(G)m(G). In this paper, we bound the ramification of extensions N/QN/\mathbb{Q} obtained as a specialization of a branched covering ϕ ⁣:C→PQ1ϕ\colon C\to \mathbb{P}^1_{\mathbb{Q}}. This leads to novel upper bounds on m(G)m(G), for finite groups GG that are realizable as the Galois group of a branched covering. Some instances of our general results are: $$ 1\leq m(S_m)\leq 4 \quad \mbox{and} \quad n\leq m(S_m^n) \leq n+4, $$ for all n,m>0n,m>0. Here SmS_m denotes the symmetric group on mm letters, and SmnS_m^n is the direct product of nn copies of SmS_m. We also get the correct asymptotic of m(Gn)m(G^n), as n→∞n \to \infty for a certain class of groups GG. Our methods are based on sieve theory results, in particular on the Green-Tao-Ziegler theorem on prime values of linear forms in two variables, on the theory of specialization in arithmetic geometry, and on finite group theory.

preprint2015arXiv

Sums of two squares in short intervals in polynomial rings over finite fields

Landau's theorem asserts that the asymptotic density of sums of two squares in the interval 1≤n≤x1\leq n\leq x is K/log⁡xK/{\sqrt{\log x}}, where KK is the Landau-Ramanujan constant. It is an old problem in number theory whether the asymptotic density remains the same in intervals ∣n−x∣≤xε|n-x|\leq x^ε for a fixed εε and x→∞x\to \infty. This work resolves a function field analogue of this problem, in the limit of a large finite field. More precisely, consider monic f0∈Fq[T]f_0\in \mathbb{F}_q[T] of degree nn and take εε with 1>ε≥2n1>ε\geq \frac2n. Then the asymptotic density of polynomials ff in the `interval' deg(f−f0)≤εn{\rm deg}(f-f_0)\leq εn that are of the form f=A2+TB2f=A^2+TB^2, A,B∈Fq[T]A,B\in \mathbb{F}_q[T] is 14n(2nn)\frac{1}{4^n}\binom{2n}{n} as q→∞q\to \infty. This density agrees with the asymptotic density of such monic ff's of degree nn as q→∞q\to \infty, as was shown by the second author, Smilanski, and Wolf. A key point in the proof is the calculation of the Galois group of f(−T2)f(-T^2), where ff is a polynomial of degree nn with a few variable coefficients: The Galois group is the hyperoctahedral group of order 2nn!2^nn!.

preprint2014arXiv

Prime polynomial values of linear functions in short intervals

In this paper we establish a function field analogue of a conjecture in number theory which is a combination of several famous conjectures, including the Hardy-Littlewood prime tuple conjecture, conjectures on the number of primes in arithmetic progressions and in short intervals, and the Goldbach conjecture. We prove an asymptotic formula for the number of simultaneous prime values of nn linear functions, in the limit of a large finite field.

preprint2014arXiv

Prime polynomials in short intervals and in arithmetic progressions

In this paper we establish function field versions of two classical conjectures on prime numbers. The first says that the number of primes in intervals (x,x+x^epsilon] is about x^epsilon/log x and the second says that the number of primes p<x that are congruent to a modulo d, for d^(1+delta)<x, is about pi(x)/phi(d). More precisely, we prove: Let 1\leq m<k be integers, let q be a prime power, and let f be a monic polynomial of degree k with coefficients in the finite field with q elements. Then there is a constant c(k) such that the number N of prime polynomials g=f+h with deg h \leq m satisfies |N-q^(m+1)/k|\leq c(k)q^(m+1/2). Here we assume m\geq 2 if \gcd(q,k(k-1))>1 and m\geq 3 if q is even and deg f' \leq 1. We show that this estimation fails in the neglected cases. Let π_q(k) be the number of monic prime polynomials of degree k with coefficients in the finite field with q elements \FF_q. For relatively prime polynomials f,D\in \FF_q[t] we prove that the number N' of monic prime polynomials g that are congruent to f modulo D and of degree k satisfies |N'-π_q(k)/ϕ(D)|\leq c(k)π_q(k)q^{-1/2}/ϕ(D), as long as 1\leq °D\leq k-3 (or \leq k-4 if p=2 and (f/D)' is constant). We also generalize these results to other factorization types.

preprint2012arXiv

Hardy-Littlewood tuple conjecture over large finite field

We prove the following function field analog of the Hardy-Littlewood conjecture (which generalizes the twin prime conjecture) over large finite fields. Let n,r be positive integers and q an odd prime power. For distinct polynomials a_1, ..., a_r over F_q of degree <n let π(q,n;a) be the number of monic polynomials f over F_q of degree n such that f+a_1, ..., f+a_r are simultaneously irreducible. We prove that π(q,n;a) asymptotically equals q^n/n^r as q tends to infinity on odd prime powers and n,r are fixed (the tuple a1,...,a_r need not be fixed).

preprint2011arXiv

Subgroup structure of fundamental groups in positive characteristic

Let ΠΠ be the étale fundamental group of a smooth affine curve over an algebraically closed field of characteristic p>0p>0. We establish a criterion for profinite freeness of closed subgroups of ΠΠ. Roughly speaking, if a closed subgroup of ΠΠ is "captured" between two normal subgroups, then it is free, provided it contains most of the open subgroups of index pp. In the proof we establish a strong version of "almost ωω-freeness" of ΠΠ and then apply the Haran-Shapiro induction.

preprint2010arXiv

Permanence criteria for semi-free profinite groups

We introduce the condition of a profinite group being semi-free, which is more general than being free and more restrictive than being quasi-free. In particular, every projective semi-free profinite group is free. We prove that the usual permanence properties of free groups carry over to semi-free groups. Using this, we conclude that if k is a separably closed field, then many field extensions of k((x,y)) have free absolute Galois groups.

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.