Improved Bounds for Geometric Permutations

Natan Rubin,Haim Kaplan,Micha Sharir

DOI: https://doi.org/10.48550/arXiv.1007.3244

2010-07-20

Abstract:We show that the number of geometric permutations of an arbitrary collection of $n$ pairwise disjoint convex sets in $\mathbb{R}^d$, for $d\geq 3$, is $O(n^{2d-3}\log n)$, improving Wenger's 20 years old bound of $O(n^{2d-2})$.

Computational Geometry

What problem does this paper attempt to address?

Improved Bounds for Permutation Arrays Under Chebyshev Distance

Sergey Bereg,Mohammadreza Haghpanah,Brian Malouf,I. Hal Sudborough

DOI: https://doi.org/10.48550/arXiv.2302.12855

2023-02-25

Abstract:Permutation arrays under the Chebyshev metric have been considered for error correction in noisy channels. Let $P(n,d)$ denote the maximum size of any array of permutations on $n$ symbols with pairwise Chebyshev distance $d$. We give new techniques and improved upper and lower bounds on $P(n,d)$, including a precise formula for $P(n,2)$.

Combinatorics,Information Theory
New Upper Bounds on Sizes of Permutation Arrays

Lizhen Yang,Kefei Chen,Luo Yuan

DOI: https://doi.org/10.48550/arxiv.0801.3983

2008-01-01

Abstract:A permutation array(or code) of length $n$ and distance $d$, denoted by $(n,d)$ PA, is a set of permutations $C$ from some fixed set of $n$ elements such that the Hamming distance between distinct members $\mathbf{x},\mathbf{y}\in C$ is at least $d$. Let $P(n,d)$ denote the maximum size of an $(n,d)$ PA. This correspondence focuses on the lower bound on $P(n,d)$. First we give three improvements over the Gilbert-Varshamov lower bounds on $P(n,d)$ by applying the graph theorem framework presented by Jiang and Vardy. Next we show another two new improved bounds by considering the covered balls intersections. Finally some new lower bounds for certain values of $n$ and $d$ are given.
Improved Bounds for Szemerédi's Theorem

James Leng,Ashwin Sah,Mehtaab Sawhney

2024-02-28

Abstract:Let $r_k(N)$ denote the size of the largest subset of $[N] = \{1,\ldots,N\}$ with no $k$-term arithmetic progression. We show that for $k\ge 5$, there exists $c_k>0$ such that \[r_k(N)\ll N\exp(-(\log\log N)^{c_k}).\] Our proof is a consequence of recent quasipolynomial bounds on the inverse theorem for the Gowers $U^k$-norm as well as the density increment strategy of Heath-Brown and Szemer\'{e}di as reformulated by Green and Tao.

Combinatorics,Number Theory
Improved bounds on the size of permutation codes under Kendall $τ$-metric

Farzad Parvaresh,Reza Sobhani,Alireza Abdollahi,Javad Bagherian,Fatemeh Jafari,Maryam Khatami

2024-06-10

Abstract:In order to overcome the challenges caused by flash memories and also to protect against errors related to reading information stored in DNA molecules in the shotgun sequencing method, the rank modulation is proposed. In the rank modulation framework, codewords are permutations. In this paper, we study the largest size $P(n, d)$ of permutation codes of length $n$, i.e., subsets of the set $S_n$ of all permutations on $\{1,\ldots, n\}$ with the minimum distance at least $d\in\{1,\ldots ,\binom{n}{2}\}$ under the Kendall $\tau$-metric. By presenting an algorithm and some theorems, we managed to improve the known lower and upper bounds for $P(n,d)$. In particular, we show that $P(n,d)=4$ for all $n\geq 6$ and $\frac{3}{5}\binom{n}{2}< d \leq \frac{2}{3} \binom{n}{2}$. Additionally, we prove that for any prime number $n$ and integer $r\leq \frac{n}{6}$, $ P(n,3)\leq (n-1)!-\dfrac{n-6r}{\sqrt{n^2-8rn+20r^2}}\sqrt{\dfrac{(n-1)!}{n(n-r)!}}. $ This result greatly improves the upper bound of $P(n,3)$ for all primes $n\geq 37$.

Information Theory
Improved bounds for the Furstenberg-Sárközy theorem

Ben Green,Mehtaab Sawhney

2024-11-26

Abstract:Suppose that $A \subset \{1,\dots, N\}$ has no two elements differing by a square. Then $|A| \ll N e^{-(\log N)^c}$ for any $c < \frac{1}{4}$.

Number Theory
Permutations with arithmetic constraints

Carl Pomerance

DOI: https://doi.org/10.48550/arXiv.2206.01699

2022-06-06

Abstract:Let $S_{\rm lcm}(n)$ denote the set of permutations $\pi$ of $[n]=\{1,2,\dots,n\}$ such that ${\rm lcm}[j,\pi(j)]\le n$ for each $j\in[n]$. Further, let $S_{\rm div}(n)$ denote the number of permutations $\pi$ of $[n]$ such that $j\mid\pi(j)$ or $\pi(j)\mid j$ for each $j\in[n]$. Clearly $S_{\rm div}(n)\subset S_{\rm lcm}(n)$. We get upper and lower bounds for the counts of these sets, showing they grow geometrically. We also prove a conjecture from a recent paper on the number of "anti-coprime" permutations of $[n]$, meaning that each $\gcd(j,\pi(j))>1$ except when $j=1$.

Number Theory,Combinatorics
Improved bounds on the extremal function of hypergraphs

William Zhang

DOI: https://doi.org/10.48550/arXiv.1807.02411

2018-07-05

Abstract:A fundamental problem in pattern avoidance is describing the asymptotic behavior of the extremal function and its generalizations. We prove an equivalence between the asymptotics of the graph extremal function for a class of bipartite graphs and the asymptotics of the matrix extremal function. We use the equivalence to prove several new bounds on the extremal functions of graphs. We develop a new method to bound the extremal function of hypergraphs in terms of the extremal function of their associated multidimensional matrices, improving the bound of the extremal function of $d$-permutation hypergraphs of length $k$ from $O(n^{d-1})$ to $2^{O(k)}n^{d-1}$.

Combinatorics
An Improved Bound on the Number of Unit Area Triangles

Roel Apfelbaum,Micha Sharir

DOI: https://doi.org/10.48550/arXiv.1001.4764

2010-01-27

Abstract:We show that the number of unit-area triangles determined by a set of $n$ points in the plane is $O(n^{9/4+\epsilon})$, for any $\epsilon>0$, improving the recent bound $O(n^{44/19})$ of Dumitrescu et al.

Computational Geometry
Improving the Gilbert-Varshamov bound for permutation Codes in the Cayley metric and Kendall $τ$-Metric

Nguyen

2024-09-06

Abstract:The Cayley distance between two permutations $\pi, \sigma \in S_n$ is the minimum number of \textit{transpositions} required to obtain the permutation $\sigma$ from $\pi$. When we only allow adjacent transpositions, the minimum number of such transpositions to obtain $\sigma$ from $\pi$ is referred to the Kendall $\tau$-distance. A set $C$ of permutation words of length $n$ is called a $d$-Cayley permutation code if every pair of distinct permutations in $C$ has Cayley distance at least $d$. A $d$-Kendall permutation code is defined similarly. Let $C(n,d)$ and $K(n,d)$ be the maximum size of a $d$-Cayley and a $d$-Kendall permutation code of length $n$, respectively. In this paper, we improve the Gilbert-Varshamov bound asymptotically by a factor $\log(n)$, namely \[ C(n,d+1) \geq \Omega_d\left(\frac{n!\log n}{n^{2d}}\right) \text{ and } K(n,d+1) \geq \Omega_d\left(\frac{n! \log n}{n^d}\right).\] Our proof is based on graph theory techniques.

Combinatorics,Discrete Mathematics,Information Theory
Improved Bounds for Point Selections and Halving Hyperplanes in Higher Dimensions

Natan Rubin

2024-03-01

Abstract:Let $(P,E)$ be a $(d+1)$-uniform geometric hypergraph, where $P$ is an $n$-point set in general position in $\mathbb{R}^d$ and $E\subseteq {P\choose d+1}$ is a collection of $\epsilon{n\choose d+1}$ $d$-dimensional simplices with vertices in $P$, for $0<\epsilon\leq 1$. We show that there is a point $x\in {\mathbb R}^d$ that pierces $\displaystyle \Omega\left(\epsilon^{(d^4+d)(d+1)+\delta}{n\choose d+1}\right)$ simplices in $E$, for any fixed $\delta>0$. This is a dramatic improvement in all dimensions $d\geq 3$, over the previous lower bounds of the general form $\displaystyle \epsilon^{(cd)^{d+1}}n^{d+1}$, which date back to the seminal 1991 work of Alon, Bárány, Füredi and Kleitman.

Combinatorics,Computational Geometry
Improving bounds on the diameter of a polyhedron in high dimensions

Noriyoshi Sukegawa

DOI: https://doi.org/10.1016/j.disc.2017.04.005

IF: 0.961

2017-09-01

Discrete Mathematics

Abstract:In 1992, Kalai and Kleitman proved that the diameter of a d-dimensional polyhedron with n facets is at most n2+log2d. In 2014, Todd improved the Kalai–Kleitman bound to (n−d)log2d. We improve the Todd bound to (n−d)−1+log2d for n≥d≥7, (n−d)−2+log2d for n≥d≥37, and (n−d)−3+log2d+O1∕d for n≥d≥1.

mathematics
New Upper Bounds on the Size of Permutation Codes under Kendall $τ$-Metric

Alireza Abdollahi,Javad Bagherian,Fatemeh Jafari,Maryam Khatami,Farzad Parvaresh,Reza Sobhani

2023-03-04

Abstract:We first give two methods based on the representation theory of symmetric groups to study the largest size $P(n,d)$ of permutation codes of length $n$ i.e. subsets of the set $S_n$ all permutations on $\{1,\dots,n\}$ with the minimum distance (at least) $d$ under the Kendall $\tau$-metric. The first method is an integer programming problem obtained from the transitive actions of $S_n$. The second method can be applied to refute the existence of perfect codes in $S_n$.\\ Here we reduce the known upper bound $(n-1)!-1$ for $P(n,3)$ to $(n-1)!-\lceil\frac{n}{3}\rceil+2\leq (n-1)!-2$, whenever $n\geq 11$ is any prime number. If $n=6$, $7$, $11$, $13$, $14$, $15$, $17$, the known upper bound for $P(n,3)$ is decreased by $3,3,9,11,1,1,4$, respectively.

Combinatorics,Group Theory
A new lower bound on Hadwiger-Debrunner numbers in the plane

Chaya Keller,Shakhar Smorodinsky

DOI: https://doi.org/10.48550/arXiv.1809.06451

2018-11-05

Abstract:A family of sets $F$ is said to satisfy the $(p,q)$ property if among any $p$ sets in $F$, some $q$ have a non-empty intersection. Hadwiger and Debrunner (1957) conjectured that for any $p \geq q \geq d+1$ there exists $c=c_d(p,q)$, such that any family of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$ property, can be pierced by at most $c$ points. In a celebrated result from 1992, Alon and Kleitman proved the conjecture. However, obtaining sharp bounds on $c_d(p,q)$, called `the Hadwiger-Debrunner numbers', is still a major open problem in discrete and computational geometry. The best currently known lower bound on the Hadwiger-Debrunner numbers in the plane is $c_2(p,q) = \Omega( \frac{p}{q}\log(\frac{p}{q}))$ while the best known upper bound is $O(p^{(1.5+\delta)(1+\frac{1}{q-2})})$. In this paper we improve the lower bound significantly by showing that $c_2(p,q) \geq p^{1+\Omega(1/q)}$. Furthermore, the bound is obtained by a family of lines, and is tight for all families that have a bounded VC-dimension. Unlike previous bounds on the Hadwiger-Debrunner numbers which mainly used the weak epsilon-net theorem, our bound stems from a surprising connection of the $(p,q)$ problem to an old problem of Erdős on points in general position in the plane. We use a novel construction for the Erdős' problem, obtained recently by Balogh and Solymosi using the hypergraph container method, to get the lower bound on $c_2(p,3)$. We then generalize the bound to $c_2(p,q)$ for any $q \geq 3$.

Combinatorics,Computational Geometry
Two New Bounds on the Random-Edge Simplex Algorithm

Bernd Gärtner,Volker Kaibel

DOI: https://doi.org/10.1137/05062370X

2008-07-15

Abstract:We prove that the Random-Edge simplex algorithm requires an expected number of at most 13n/sqrt(d) pivot steps on any simple d-polytope with n vertices. This is the first nontrivial upper bound for general polytopes. We also describe a refined analysis that potentially yields much better bounds for specific classes of polytopes. As one application, we show that for combinatorial d-cubes, the trivial upper bound of 2^d on the performance of Random-Edge can asymptotically be improved by any desired polynomial factor in d.

Combinatorics,Optimization and Control
Improved bounds for the bracketing number of orthants or revisiting an algorithm of Thiémard to compute bounds for the star discrepancy

Michael Gnewuch

2024-04-13

Abstract:We improve the best known upper bound for the bracketing number of $d$-dimensional axis-parallel boxes anchored in $0$ (or, put differently, of lower left orthants intersected with the $d$-dimensional unit cube $[0,1]^d$). More precisely, we provide a better upper bound for the cardinality of an algorithmic bracketing cover construction due to Eric Thiémard, which forms the core of his algorithm to approximate the star discrepancy of arbitrary point sets from [E. Thiémard, An algorithm to compute bounds for the star discrepancy, J.~Complexity 17 (2001), 850 -- 880].

Combinatorics,Computational Geometry,Discrete Mathematics
New Constructions of Permutation Arrays

Lizhen Yang,Kefei Chen,Luo Yuan

DOI: https://doi.org/10.48550/arXiv.0801.3987

2008-01-26

Abstract:A permutation array(permutation code, PA) of length $n$ and distance $d$, denoted by $(n,d)$ PA, is a set of permutations $C$ from some fixed set of $n$ elements such that the Hamming distance between distinct members $\mathbf{x},\mathbf{y}\in C$ is at least $d$. In this correspondence, we present two constructions of PA from fractional polynomials over finite field, and a construction of $(n,d)$ PA from permutation group with degree $n$ and minimal degree $d$. All these new constructions produces some new lower bounds for PA.

Information Theory
A geometric approach to conjugation-invariant random permutations

Victor Dubach

2024-04-16

Abstract:We propose a new approach to conjugation-invariant random permutations. Namely, we explain how to construct uniform permutations in given conjugacy classes from certain point processes in the plane. This enables the use of geometric tools to study various statistics of such permutations. For their longest decreasing subsequences, we prove universality of the $2\sqrt n$ asymptotic. For Robinson--Schensted shapes, we prove universality of the Vershik--Kerov--Logan--Shepp limit curve, thus solving a conjecture of Kammoun. For the number of records, we establish a phase transition phenomenon as the number of fixed points grows. For pattern counts, we obtain an asymptotic normality result, partially answering a conjecture of Hamaker and Rhoades.

Probability,Combinatorics
Reasonable Bounds for Combinatorial Lines of Length Three

Amey Bhangale,Subhash Khot,Yang P. Liu,Dor Minzer

2024-11-23

Abstract:We prove that any subset $A \subseteq [3]^n$ with $3^{-n}|A| \ge (\log\log\log\log n)^{-c}$ contains a combinatorial line of length $3$, i.e., $x, y, z \in A$, not all equal, with $x_i=y_i=z_i$ or $(x_i,y_i,z_i)=(0,1,2)$ for all $i = 1, 2, \dots, n$. This improves on the previous best bound of $3^{-n}|A| \ge \Omega((\log^* n)^{-1/2})$ of [D.H.J. Polymath, Ann. of Math. 2012].

Combinatorics,Computational Complexity
Improved bounds on the Hadwiger-Debrunner numbers

Chaya Keller,Shakhar Smorodinsky,Gabor Tardos

DOI: https://doi.org/10.48550/arXiv.1512.04026

2016-12-02

Abstract:Let $HD_d(p,q)$ denote the minimal size of a transversal that can always be guaranteed for a family of compact convex sets in $\mathbb{R}^d$ which satisfy the $(p,q)$-property ($p \geq q \geq d+1$). In a celebrated proof of the Hadwiger-Debrunner conjecture, Alon and Kleitman proved that $HD_d(p,q)$ exists for all $p \geq q \geq d+1$. Specifically, they prove that $HD_d(p,d+1)$ is $\tilde{O}(p^{d^2+d})$. We present several improved bounds: (i) For any $q \geq d+1$, $HD_d(p,q) = \tilde{O}(p^{d \left(\frac{q-1}{q-d}\right)})$. (ii) For $q \geq \log p$, $HD_d(p,q) = \tilde{O}(p+(p/q)^d)$. (iii) For every $\epsilon > 0$ there exists a $p_0 = p_0(\epsilon)$ such that for every $p \geq p_0$ and for every $q \geq p^{\frac{d-1}{d}+\epsilon}$ we have: $p-q+1 \leq HD_d(p,q) \leq p-q+2$. The latter is the first near tight estimate of $HD_d(p,q)$ for an extended range of values of $(p,q)$ since the 1957 Hadwiger-Debrunner theorem. We also prove a $(p,2)$-theorem for families in $\mathbb{R}^2$ with union complexity below a specific quadratic bound. Based on this, we introduce a polynomial time constant factor approximation algorithm for MAX-CLIQUE of intersection graphs of convex sets satisfying this property.

Combinatorics
Forbidden arithmetic progressions in permutations of subsets of the integers

Jesse Geneson

DOI: https://doi.org/10.1016/j.disc.2019.02.004

IF: 0.961

2019-05-01

Discrete Mathematics

Abstract:<h2>Abstract</h2><p>Permutations of the positive integers avoiding arithmetic progressions of length 5 were constructed in Davis et al. (1977), implying the existence of permutations of the integers avoiding arithmetic progressions of length 7. We construct a permutation of the integers avoiding arithmetic progressions of length 6. We also prove a lower bound of <span><math>12</math></span> on the lower density of subsets of positive integers that can be permuted to avoid arithmetic progressions of length 4, sharpening the lower bound of <span><math>13</math></span> from LeSaulnier and Vijay (2011).</p>

mathematics

Improved Bounds for Geometric Permutations

Improved Bounds for Permutation Arrays Under Chebyshev Distance

New Upper Bounds on Sizes of Permutation Arrays

Improved Bounds for Szemerédi's Theorem

Improved bounds on the size of permutation codes under Kendall $τ$-metric

Improved bounds for the Furstenberg-Sárközy theorem

Permutations with arithmetic constraints

Improved bounds on the extremal function of hypergraphs

An Improved Bound on the Number of Unit Area Triangles

Improving the Gilbert-Varshamov bound for permutation Codes in the Cayley metric and Kendall $τ$-Metric

Improved Bounds for Point Selections and Halving Hyperplanes in Higher Dimensions

Improving bounds on the diameter of a polyhedron in high dimensions

New Upper Bounds on the Size of Permutation Codes under Kendall $τ$-Metric

A new lower bound on Hadwiger-Debrunner numbers in the plane

Two New Bounds on the Random-Edge Simplex Algorithm

Improved bounds for the bracketing number of orthants or revisiting an algorithm of Thiémard to compute bounds for the star discrepancy

New Constructions of Permutation Arrays

A geometric approach to conjugation-invariant random permutations

Reasonable Bounds for Combinatorial Lines of Length Three

Improved bounds on the Hadwiger-Debrunner numbers

Forbidden arithmetic progressions in permutations of subsets of the integers