Source author record

Bartlomiej Bzdega

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

9works
1topics
2close collaborators

Published work

9 publications

preprint2017arXiv

Cyclotomic polynomials at roots of unity

The nthn^{th} cyclotomic polynomial Φn(x)Φ_n(x) is the minimal polynomial of an nthn^{th} primitive root of unity. Hence Φn(x)Φ_n(x) is trivially zero at primitive nthn^{th} roots of unity. Using finite Fourier analysis we derive a formula for Φn(x)Φ_n(x) at the other roots of unity. This allows one to explicitly evaluate Φn(e2πi/m)Φ_n(e^{2πi/m}) with m∈{3,4,5,6,8,10,12}m\in \{3,4,5,6,8,10,12\}. We use this evaluation with m=5m=5 to give a simple reproof of a result of Vaughan (1975) on the maximum coefficient (in absolute value) of Φn(x)Φ_n(x). We also obtain a formula for Φn′(e2πi/m)/Φn(e2πi/m)Φ_n'(e^{2πi/m}) / Φ_n(e^{2πi/m}) with n≠mn \ne m, which is effectively applied to m∈{3,4,6}m \in \{3,4,6\}. Furthermore, we compute the resultant of two cyclotomic polynomials in a novel very short way.

preprint2014arXiv

On a generalization of Beiter Conjecture

We prove that for every ε>0\varepsilon>0 and a nonnegative integer ωω there exist primes p1,p2,…,pωp_1,p_2,\ldots,p_ω such that for n=p1p2…pωn=p_1p_2\ldots p_ω the height of the cyclotomic polynomial ΦnΦ_n is at least (1−ε)cωMn(1-\varepsilon)c_ωM_n, where Mn=∏i=1ω−2pi2ω−1−i−1M_n=\prod_{i=1}^{ω-2}p_i^{2^{ω-1-i}-1} and cωc_ω is a constant depending only on ωω; furthermore lim⁡ω→∞cω2−ω≈0.71\lim_{ω\to\infty}c_ω^{2^{-ω}}\approx0.71. In our construction we can have pi>h(p1p2…pi−1)p_i>h(p_1p_2\ldots p_{i-1}) for all i=1,2,…,ωi=1,2,\ldots,ω and any function h:R+→R+h:\mathbb{R}_+\to\mathbb{R}_+.

preprint2013arXiv

Jumps of ternary cyclotomic coefficients

It is known that two consecutive coefficients of a ternary cyclotomic polynomial Φpqr(x)=∑kapqr(k)xkΦ_{pqr}(x)=\sum_k a_{pqr}(k)x^k differ by at most one. In this paper we give a criterion on kk to satisfy ∣apqr(k)−apqr(k−1)∣=1|a_{pqr}(k)-a_{pqr}(k-1)|=1. We use this to prove that the number of nonzero coefficients of the nnth ternary cyclotomic polynomial is greater than n1/3n^{1/3}.

preprint2012arXiv

Inclusion-exclusion polynomials with large coefficients

We prove that for every positive integer kk there exist an inclusion-exclusion polynomial Q{q1,q2,...,qk}Q_{\{q_1,q_2,...,q_k\}} with the height at least c2k∏j=1k−2qj2k−j−1−1c^{2^k}\prod_{j=1}^{k-2}q_j^{2^{k-j-1}-1}, where cc is a positive constant and q1<q2<...<qkq_1<q_2<...<q_k are pairwise coprime and arbitrary large.

preprint2010arXiv

On the height of cyclotomic polynomials

Let AnA_n denote the height of cyclotomic polynomial ΦnΦ_n, where nn is a product of kk distinct odd primes. We prove that An≤εkϕ(n)k−12k−1−1A_n \le ε_kϕ(n)^{k^{-1}2^{k-1}-1} with −log⁡εk∼c2k-\logε_k\sim c2^k, c>0c>0. The same statement is true for the height CnC_n of the inverse cyclotomic polynomial ΨnΨ_n. Additionally, we improve on a bound of Kaplan for the maximal height of divisors of xn−1x^n-1, denoted by BnB_n. We show that Bn<ηkn(3k−1)/(2k)−1B_n<η_k n^{(3^k-1)/(2k)-1}, with −log⁡ηk∼c3k-\log η_k \sim c3^k and the same cc.

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.