English
Related papers

Related papers: A generalization of Kung's theorem

200 papers

Using proof-theoretic methods in the style of proof mining, we give novel computationally effective limit theorems for the convergence of the Cesaro-means of certain sequences of random variables. These results are intimately related to…

Probability · Mathematics 2024-06-28 Morenikeji Neri

We give constructions of some special cases of $[n,k]$ Reed-Solomon codes over finite fields of size at least $n$ and $n+1$ whose generator matrices have constrained support. Furthermore, we consider a generalisation of the GM-MDS…

Combinatorics · Mathematics 2019-01-30 Gary Greaves , Jeven Syatriadi

A notion of generalized quantifier in computational complexity theory is explored and used to give a unified treatment of leaf language definability, oracle separations, type 2 operators, and circuits with monoidal gates. Relations to…

Computational Complexity · Computer Science 2007-05-23 Heribert Vollmer

In the paper we obtain some new applications of well--known W. Rudin's theorem concerning lacunary series to problems of combinatorial number theory. We generalize a result of M.-C. Chang on L_2 (L)-norm of Fourier coefficients of a set…

Number Theory · Mathematics 2010-02-10 I. D. Shkredov

Let $\mathbb{I}$ denote an imaginary quadratic field or the field $\mathbb{Q}$ of rational numbers and $\mathbb{Z}_{\mathbb{I}}$ its ring of intergers. We shall prove an explicit Baker type lower bound for $\mathbb{Z}_{\mathbb{I}}$-linear…

Number Theory · Mathematics 2013-09-25 Anne-Maria Ernvall-Hytönen , Kalle Leppälä , Tapani Matala-aho

We show that the well-known Konig's Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, can be proven in the first order theory $\LA$ with induction restricted to $\Sigma_1^B$ formulas. This is an improvement over…

Logic in Computer Science · Computer Science 2013-03-27 Ariel Fernández , Michael Soltys

We generalize two results about subgroups of multiplicative group of finite field of prime order. In particular, the lower bound on the cardinality of the set of values of polynomial $P(x,y)$ is obtained under the certain conditions, if…

Combinatorics · Mathematics 2020-08-21 Sofia Aleshina , Ilya Vyugin

Under certain conditions, we give an estimate from above on the number of differential equations of order $r+1$ with prescribed regular singular points, prescribed exponents at singular points, and having a quasi-polynomial flag of…

Classical Analysis and ODEs · Mathematics 2007-05-23 E. Mukhin , V. Tarasov , A. Varchenko

We use elementary arguments to prove results on the order of magnitude of certain sums concerning the gcd's and lcm's of $k$ positive integers, where $k\ge 2$ is fixed. We refine and generalize an asymptotic formula of Bordell\`{e}s (2007),…

Number Theory · Mathematics 2020-02-06 Titus Hilberdink , Florian Luca , László Tóth

We present a new form and a short full proof of explicit two-sided estimates for the distribution function F_{n,p}(x) of the binomial law from the paper published by D.Alfers and H.Dinges in 1984. These inequalities are universal (valid for…

Probability · Mathematics 2012-09-03 Andrey M. Zubkov , Alexander A. Serov

We show how the knowledge of the Fourier coefficients of the Cherednik kernel leads to combinatorial formulas for generalized exponents. We recover known formulas for generalized exponents of irreducible representations parameterized by…

Representation Theory · Mathematics 2007-05-23 Bogdan Ion

Based on a result of Makeev, in 2012 Blagojevi\'c and Karasev proposed the following problem: given any positive integers $m$ and $1\leq \ell\leq k$, find the minimum dimension $d=\Delta(m;\ell/k)$ such that for any $m$ mass distributions…

Combinatorics · Mathematics 2024-03-12 Andres Mejia , Steven Simon , Jialin Zhang

For all simple and finite extension of a valued field, we prove that its defect is the product of the effective degrees of the complete set of key polynomials associated. As a consequence, we obtain a local uniformization theorem for…

Algebraic Geometry · Mathematics 2014-12-25 Jean-Christophe San Saturnino

We use bounds of mixed character sum to study the distribution of solutions to certain polynomial systems of congruences modulo a prime $p$. In particular, we obtain nontrivial results about the number of solution in boxes with the side…

Number Theory · Mathematics 2019-02-20 Igor E. Shparlinski

New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following…

Commutative Algebra · Mathematics 2009-08-22 Ivan V. Arzhantsev , Anatoliy P. Petravchuk

We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type…

Combinatorics · Mathematics 2024-11-05 Kui-Yo Chen , Zhong-Tang Wu

We study a new extension of the weak MSO logic, talking about boundedness. Instead of a previously considered quantifier U, expressing the fact that there exist arbitrarily large finite sets satisfying a given property, we consider a…

Logic in Computer Science · Computer Science 2023-11-29 Anita Badyl , Paweł Parys

Let $n_q(M,d)$ be the minimum length of a $q$-ary code of size $M$ and minimum distance $d$. Bounding $n_q(M,d)$ is a fundamental problem that lies at the heart of coding theory. This work considers a generalization $n^\bx_q(M,d)$ of…

Information Theory · Computer Science 2025-01-13 Michael Langberg , Moshe Schwartz , Itzhak Tamo

We apply the Thom-Milnor theorem to obtain the upper bounds on the amount of isolated (1) critical points of a potential generated by several fixed point charges(Maxwell's problem on point charges), (2) critical points of SINR, (3) critical…

Mathematical Physics · Physics 2023-07-18 Vladimir Zolotov

In this note we generalize the definition of partial permutations of Ivanov and Kerov and we build a universal algebra which projects onto the m-centraliser algebra defined by Creedon. We use it to present a new proof for the polynomiality…

Combinatorics · Mathematics 2023-10-12 Omar Tout