Related papers: A lower bound on Gowers' FIN_k theorem
It is known that the famous Heins Theorem (also known as the de Branges Lemma) about the minimum of two entire functions of minimal type does not extend to functions of finite exponential type. We study in detail pairs of entire functions…
We prove lower bounds for proofs of the bit pigeonhole principle (BPHP) and its generalizations in bounded-depth resolution over parities (Res$(\oplus)$). For weak BPHP$_n^m$ with $m = cn$ pigeons (for any constant $c>1$) and $n$ holes, for…
The main purpose of this note is to prove an upper bound on the number of lattice points of a centrally symmetric convex body in terms of the successive minima of the body. This bound improves on former bounds and narrows the gap towards a…
We study the reverse mathematics of pigeonhole principles for finite powers of the ordinal $\omega$. Four natural formulations are presented and their relative strengths are compared. In the analysis of the pigeonhole principle for…
We prove the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s >= 3; this is new for s > 3, and the cases s<3 have also been previously established. More precisely, we establish that if f : [N] -> [-1,1] is a function with || f…
We show that in the mathematical framework of the quantum theory the classical pigeonhole principle can be violated more directly than previously suggested, i.e., in a setting closer to the traditional statement of the principle. We…
We show that the TFNP problem RAMSEY is not black-box reducible to PIGEON, refuting a conjecture of Goldberg and Papadimitriou in the black-box setting. We prove this by giving reductions to RAMSEY from a new family of TFNP problems that…
By means of fixed point index theory for multi-valued maps, we provide an analogue of the classical Birkhoff--Kellogg Theorem in the context of discontinuous operators acting on affine wedges in Banach spaces. Our theory is fairly general…
Minkowski's 2nd theorem in the Geometry of Numbers provides optimal upper and lower bounds for the volume of a $o$-symmetric convex body in terms of its successive minima. In this paper we study extensions of this theorem from two different…
Finsler geometry is a natural and fundamental generalization of Riemann geometry, and is a tool to research Lorentz invariance violation. We find the connection between the most general modified dispersion relation and a pseudo-Finsler…
The goal of this paper is to show that fundamental concepts in higher-order Fourier analysis can be nauturally extended to the non-commutative setting. We generalize Gowers norms to arbitrary compact non-commutative groups. On the…
The Brouwer fixed-point theorem in topology states that for any continuous mapping $f$ on a compact convex set into itself admits a fixed point, i.e., a point $x_0$ such that $f(x_0)=x_0$. Under certain conditions, this fixed point…
We obtain quantitative versions of the Balog-Szemeredi-Gowers and Freiman theorems in the model case of a finite field geometry F_2^n, improving the previously known bounds in such theorems. For instance, if A is a subset of F_2^n such that…
A method to generalize results from Riemannian Geometry to Finsler geometry is presented. We use the method to generalize several results that involve only metric conditions. Between them we show that the topology induced by the Finsler…
It is well known that S^1_2 cannot prove the injective weak pigeonhole principle for polynomial time functions unless RSA is insecure. In this note we investigate the provability of the surjective (dual) weak pigeonhole principle in S^1_2…
Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inversion and implicit theorems for functions in different settings. Relevant examples are the mappings between…
The generalized second law (GSL) of black hole thermodynamics states that the sum of changes in black hole entropy and the ordinary entropy of matter and fields outside the hole must be non-negative. In the classical limit, the GSL reduces…
Finsler geometry is a natural arena to investigate the physics of spacetimes with local Lorentz violating. The directional dependence of the Finsler metric provides a way to encode the Lorentz violating effects into the geometric structure…
Finsler spacetime geometry is a canonical extension of Riemannian spacetime geometry. It is based on a general length measure for curves (which does not necessarily arise from a spacetime metric) and it is used as an effective description…
A Finsler metric is geodesically reversible if geodesics remain geodesics after a change of orientation. Asymmetric norms on vector spaces and Funk metrics in the interior of convex bodies are examples of geodesically reversible metrics…