Showing 1–49 of 49 results for author: Hegedüs, G

Codes with symmetric distances

Authors: Gábor Hegedüs, Sho Suda, Ziqing Xiang

Abstract: For a code $C$ in a space with maximal distance $n$, we say that $C$ has symmetric distances if its distance set $S(C)$ is symmetric with respect to $n / 2$. In this paper, we prove that if $C$ is a binary code with length $2n$, constant weight $n$ and symmetric distances, then \[ |C| \leq \binom{2 n - 1}{|S(C)|}. \] This result can be interpreted using the language of Johnson association scheme… ▽ More For a code $C$ in a space with maximal distance $n$, we say that $C$ has symmetric distances if its distance set $S(C)$ is symmetric with respect to $n / 2$. In this paper, we prove that if $C$ is a binary code with length $2n$, constant weight $n$ and symmetric distances, then \[ |C| \leq \binom{2 n - 1}{|S(C)|}. \] This result can be interpreted using the language of Johnson association schemes. More generally, we give a framework to study codes with symmetric distances in Q-bipartite Q-polynomial association schemes, and provide upper bounds for such codes. Moreover, we use number theoretic techniques to determine when the equality holds. △ Less

Submitted 22 January, 2025; v1 submitted 20 January, 2025; originally announced January 2025.

New upper bounds for the size of set systems with restricted intersections modulo prime powers

Authors: Gábor Hegedüs

Abstract: Let $q=p^α$ be a fixed prime power, $k\geq 2$ be an integer. We give a new upper bound for the size of $k$-wise $q$-modular $L$-avoiding $L$-intersecting set systems, where $L$ is any proper subset of $\{0, \ldots , q-1\}$. Our proof is based on the linear algebra bound method and basic number theory. Let $q=p^α$ be a fixed prime power, $k\geq 2$ be an integer. We give a new upper bound for the size of $k$-wise $q$-modular $L$-avoiding $L$-intersecting set systems, where $L$ is any proper subset of $\{0, \ldots , q-1\}$. Our proof is based on the linear algebra bound method and basic number theory. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: 12 pages

MSC Class: 05D05; 12D99; 15A03

Upper bounds for the size of ordered $L$-intersecting set systems

Authors: Gábor Hegedüs

Abstract: A family $\mbox{$\cal F$}=\{F_1,\ldots,F_m\}$ of subsets of $[n]$ is said to be ordered, if there exists an $1\leq r\leq m$ index such that $n\in F_i$ for each $1\leq i\leq r$, $n\notin F_i$ for each $i>r$ and $|F_i|\leq |F_j|$ for each $1\leq i<j\leq m$. Our main result is a new upper bound for the size of ordered $L$-intersecting set systems. A family $\mbox{$\cal F$}=\{F_1,\ldots,F_m\}$ of subsets of $[n]$ is said to be ordered, if there exists an $1\leq r\leq m$ index such that $n\in F_i$ for each $1\leq i\leq r$, $n\notin F_i$ for each $i>r$ and $|F_i|\leq |F_j|$ for each $1\leq i<j\leq m$. Our main result is a new upper bound for the size of ordered $L$-intersecting set systems. △ Less

Submitted 7 November, 2024; originally announced November 2024.

MSC Class: 05D05; 12D99; 15A03

A new upper bound for codes with a single Hamming distance

Authors: Gábor Hegedüs

Abstract: In this short note we give a new upper bound for the size of a set family with a single Hamming distance. Our proof is an application of the linear algebra bound method. In this short note we give a new upper bound for the size of a set family with a single Hamming distance. Our proof is an application of the linear algebra bound method. △ Less

Submitted 12 September, 2024; originally announced September 2024.

Comments: comments are welcome

MSC Class: 05D05; 12D99; 15A03

About Füredi's conjecture

Authors: Gábor Hegedüs

Abstract: Let $t$ be a non-negative integer and $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ be a set-pair family satisfying $|A_i \cap B_i|\leq t$ for $1\leq i \leq m$. $\mbox{$\cal P$}$ is called strong Bollobás $t$-system, if $|A_i\cap B_j|>t$ for all $1\leq i\neq j \leq m$. Füredi conjectured the following nice generalization of Bollobás' Theorem: Let $t$ be a non-negative integer. Let $\mbox{$\c… ▽ More Let $t$ be a non-negative integer and $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ be a set-pair family satisfying $|A_i \cap B_i|\leq t$ for $1\leq i \leq m$. $\mbox{$\cal P$}$ is called strong Bollobás $t$-system, if $|A_i\cap B_j|>t$ for all $1\leq i\neq j \leq m$. Füredi conjectured the following nice generalization of Bollobás' Theorem: Let $t$ be a non-negative integer. Let $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ be a strong Bollobás $t$-system. Then $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i|-2t \choose |A_i|-t}\leq 1. $$ We confirmed the following special case of Füredi's conjecture along with some more results of similar flavor. Let $t$ be a non-negative integer. Let $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ denote a strong Bollobás $t$-system. Define $a_i:=|A_i|$ and $b_i:=|B_i|$ for each $i$. Assume that there exists a positive integer $N$ such that $a_i+b_i=N$ for each $i$. Then $$ \sum_{i=1}^m \frac{1}{a_i+b_i-2t \choose a_i-t}\leq 1. $$ △ Less

Submitted 9 June, 2024; originally announced June 2024.

MSC Class: 05D05; 15A75; 15A03

Almost covers of finite sets of points

Authors: Gábor Hegedüs

Abstract: Let $\mbox{$\cal V$} \subseteq {\mathbb F}^n$ be a finite set of points in an affine space. A finite set of affine hyperplanes $\{H_1, \ldots ,H_m\}$ is said to be an almost cover of $\mbox{$\cal V$}$ and $\mathbf{v}$, if their union $\cup_{j=1}^m H_j$ contains $\mbox{$\cal V$}\setminus \{\mathbf{v}\}$ but does not contain $\mathbf{v}$. We give here a lower bound for the size of a minimal almost c… ▽ More Let $\mbox{$\cal V$} \subseteq {\mathbb F}^n$ be a finite set of points in an affine space. A finite set of affine hyperplanes $\{H_1, \ldots ,H_m\}$ is said to be an almost cover of $\mbox{$\cal V$}$ and $\mathbf{v}$, if their union $\cup_{j=1}^m H_j$ contains $\mbox{$\cal V$}\setminus \{\mathbf{v}\}$ but does not contain $\mathbf{v}$. We give here a lower bound for the size of a minimal almost cover of $\mbox{$\cal V$}$ and $\mathbf{v}$ in terms of the size of $\mbox{$\cal V$}$ and the dimension $n$. We prove a generalization of Sziklai and Weiner's Theorem. Our simple proof is based on Gröbner basis theory. △ Less

Submitted 25 May, 2024; originally announced May 2024.

Comments: arXiv admin note: text overlap with arXiv:1803.05308

MSC Class: 52C35; 13P10; 05D40

Variations on the Bollobás set-pair theorem

Authors: Gábor Hegedüs, Péter Frankl

Abstract: Let $X$ be an $n$-element set. A set-pair system $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ is a collection of pairs of disjoint subsets of $X$. It is called skew Bollobás system if $A_i\cap B_j\neq \emptyset$ for all $1\leq i<j \leq m$. The best possible inequality $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i| \choose |A_i|}\leq n+1. $$ is established along with some more results of similar flavor. Let $X$ be an $n$-element set. A set-pair system $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ is a collection of pairs of disjoint subsets of $X$. It is called skew Bollobás system if $A_i\cap B_j\neq \emptyset$ for all $1\leq i<j \leq m$. The best possible inequality $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i| \choose |A_i|}\leq n+1. $$ is established along with some more results of similar flavor. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: 12 pages

MSC Class: 05D05; 15A75; 15A03

Non-uniform skew versions of Bollobás' Theorem

Authors: Gábor Hegedüs

Abstract: Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be subsets of $[n]$ and let $t$ be a non-negative integer with the following property: $|A_i \cap B_i|\leq t$ for each $i$ and $|A_i\cap B_j|>t$ whenever $i< j$. Then $m\leq 2^{n-t}$. Our proof uses Lovász' tensor product method. We prove the following skew version of Bollobás' Theorem. Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be finite sets of… ▽ More Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be subsets of $[n]$ and let $t$ be a non-negative integer with the following property: $|A_i \cap B_i|\leq t$ for each $i$ and $|A_i\cap B_j|>t$ whenever $i< j$. Then $m\leq 2^{n-t}$. Our proof uses Lovász' tensor product method. We prove the following skew version of Bollobás' Theorem. Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be finite sets of $[n]$ satisfying the conditions $A_i \cap B_i =\emptyset$ for each $i$ and $A_i\cap B_j\ne \emptyset$ for each $i< j$. Then $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i| \choose |A_i|}\leq n+1. $$ Both upper bounds are sharp. △ Less

Submitted 23 May, 2023; originally announced May 2023.

MSC Class: 05D05; 15A75; 15A03

Covering the Permutohedron by Affine Hyperplanes

Authors: Gábor Hegedüs, Gyula Károlyi

Abstract: An almost cover of a finite set in the affine space is a collection of hyperplanes that together cover all points of the set except one. Using the polynomial method, we determine the minimum size of an almost cover of the vertex set of the permutohedron and address a few related questions. An almost cover of a finite set in the affine space is a collection of hyperplanes that together cover all points of the set except one. Using the polynomial method, we determine the minimum size of an almost cover of the vertex set of the permutohedron and address a few related questions. △ Less

Submitted 31 May, 2024; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: Conjecture 9 was refuted by Gábor Damásdi

Upper bounds for the size of set systems with a symmetric set of Hamming distances

Authors: Gábor Hegedüs

Abstract: Let $\mbox{$\cal F$}\subseteq 2^{[n]}$ be a fixed family of subsets. Let $D(\mbox{$\cal F$})$ stand for the following set of Hamming distances: $$ D(\mbox{$\cal F$}):=\{d_H(F,G):~ F, G\in \mbox{$\cal F$},\ F\neq G\}. $$ $\mbox{$\cal F$}$ is said to be a Hamming symmetric family, if $d\in D(\mbox{$\cal F$})$ implies $n-d\in D(\mbox{$\cal F$})$ for each $d\in D(\mbox{$\cal F$})$. We give sharp upp… ▽ More Let $\mbox{$\cal F$}\subseteq 2^{[n]}$ be a fixed family of subsets. Let $D(\mbox{$\cal F$})$ stand for the following set of Hamming distances: $$ D(\mbox{$\cal F$}):=\{d_H(F,G):~ F, G\in \mbox{$\cal F$},\ F\neq G\}. $$ $\mbox{$\cal F$}$ is said to be a Hamming symmetric family, if $d\in D(\mbox{$\cal F$})$ implies $n-d\in D(\mbox{$\cal F$})$ for each $d\in D(\mbox{$\cal F$})$. We give sharp upper bounds for the size of Hamming symmetric families. Our proof is based on the linear algebra bound method. △ Less

Submitted 30 April, 2023; originally announced May 2023.

Comments: 8 pages

MSC Class: 05D05; 12D99; 15A03

Gröbner Bases for Increasing Sequences

Authors: Gábor Hegedüs, Lajos Rónyai

Abstract: Let $q,n \geq 1$ be integers, $[q]=\{1,\ldots, q\}$, and $\mathbb F$ be a field with $|\mathbb F|\geq q$. The set of increasing sequences $$ I(n,q)=\{(f_1,f_2, \dots, f_n) \in [q]^n:~ f_1\leq f_2\leq\cdots \leq f_n \} $$ can be mapped via an injective map $i: [q]\rightarrow \mathbb F $ into a subset $J(n,q)$ of the affine space ${\mathbb F}^n$. We describe reduced Gröbner bases, standard monomials… ▽ More Let $q,n \geq 1$ be integers, $[q]=\{1,\ldots, q\}$, and $\mathbb F$ be a field with $|\mathbb F|\geq q$. The set of increasing sequences $$ I(n,q)=\{(f_1,f_2, \dots, f_n) \in [q]^n:~ f_1\leq f_2\leq\cdots \leq f_n \} $$ can be mapped via an injective map $i: [q]\rightarrow \mathbb F $ into a subset $J(n,q)$ of the affine space ${\mathbb F}^n$. We describe reduced Gröbner bases, standard monomials and Hilbert function of the ideal of polynomials vanishing on $J(n,q)$. As applications we give an interpolation basis for $J(n,q)$, and lower bounds for the size of increasing Kakeya sets, increasing Nikodym sets, and for the size of affine hyperplane covers of $J(n,q)$. △ Less

Submitted 31 July, 2022; originally announced August 2022.

Comments: 18 pages

Depth Profile of the Phase Transition of the FeRh Alloy in FeRh/BaTiO3

Authors: Attila Lengyel, Gábor Bazsó, Aleksandr I. Chumakov, Dénes L. Nagy, Gergő Hegedűs, Dimitrios Bessas, Zsolt E. Horváth, Norbert M. Nemes, Maria A. Gracheva, Edit Szilágyi, Szilárd Sajti, Dániel G. Merkel

Abstract: We report on the depth dependence and technological limits of the phase transition of the iron rhodium alloy as function of temperature, external magnetic and electric fields in the FeRh/BaTiO3 multiferroic, determined by grazing-incidence nuclear resonant scattering measurements. The change of temperature induces a continuous and homogenous antiferromagnetic / ferromagnetic phase transition throu… ▽ More We report on the depth dependence and technological limits of the phase transition of the iron rhodium alloy as function of temperature, external magnetic and electric fields in the FeRh/BaTiO3 multiferroic, determined by grazing-incidence nuclear resonant scattering measurements. The change of temperature induces a continuous and homogenous antiferromagnetic / ferromagnetic phase transition through the entire FeRh layer, except in the near substrate region. External magnetic field does not affect this mechanism, but the application of electric field changes it fundamentally (via piezoelectric strain): the phase transition of the alloy suddenly propagates from the substrate up to a height, defined by the combination of temperature and external magnetic field, as soon as the applied electric field reaches ~ 20 kV/m. △ Less

Submitted 18 November, 2021; v1 submitted 18 October, 2021; originally announced October 2021.

Comments: 22 pages, 12 figures

An uniform version of Dvir and Moran's theorem

Authors: Gábor Hegedüs

Abstract: Dvir and Moran proved the following upper bound for the size of a family $\mbox{$\cal F$}$ of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} Δ\mbox{$\cal F$})\leq d$. Let $d\leq n$ be integers. Let $\mbox{$\cal F$}$ be a family of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} Δ\mbox{$\cal F$})\leq d$. Then \[ \left|\mbox{$\cal F$}\right|\le 2\sum_{k=0}^{\lfloor d/2 \rfloor}\binom nk. \]… ▽ More Dvir and Moran proved the following upper bound for the size of a family $\mbox{$\cal F$}$ of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} Δ\mbox{$\cal F$})\leq d$. Let $d\leq n$ be integers. Let $\mbox{$\cal F$}$ be a family of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} Δ\mbox{$\cal F$})\leq d$. Then \[ \left|\mbox{$\cal F$}\right|\le 2\sum_{k=0}^{\lfloor d/2 \rfloor}\binom nk. \] Our main result is the following uniform version of Dvir and Moran's result. Let $d\leq n$ be integers. Let $\mbox{$\cal F$}$ be an uniform family of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} Δ\mbox{$\cal F$})\leq d$. Then \[ \left|\mbox{$\cal F$}\right|\le 2 {n \choose \lfloor d/2 \rfloor}. \] Denote by $\mathbf{v_F}\in \{0,1\}^n$ the characteristic vector of a set $F \subseteq [n]$. Our proof is based on the following uniform version of Croot-Lev-Pach Lemma: Let $0\leq d\leq n$ be integers. Let $\mbox{$\cal H$}$ be a $k$-uniform family of subsets of $[n]$. Let $\mathbb F$ be a field. Suppose that there exists a polynomial $P(x_1, \ldots ,x_n,y_1, \ldots ,y_n)\in \mathbb F[x_1, \ldots ,x_n,y_1, \ldots ,y_n]$ with $\mbox{deg}(P)\leq d$ such that $P(\mathbf{v_F},\mathbf{v_F})\ne 0$ for each $F\in \mbox{$\cal H$}$ and $P(\mathbf{v_F},\mathbf{v_G})= 0$ for each $F\ne G\in \mbox{$\cal H$}$. Then \[ \left|\mbox{$\cal H$}\right|\le 2 {n \choose \lfloor d/2 \rfloor}. \] △ Less

Submitted 10 May, 2021; originally announced May 2021.

Comments: 10 pages

$L$-balancing families

Authors: Gábor Hegedüs

Abstract: P. Hrube\v s, S. Natarajan Ramamoorthy, A. Rao and A. Yehudayoff proved the following result: Let $p$ be a prime and let $f\in \mathbb F _p[x_1,\ldots,x_{2p}]$ be a polynomial. Suppose that $f(\mathbf{v_F})=0$ for each $F\subseteq [2p]$, where $|F|=p$ and that $f(\mathbf{0})\neq 0$. Then $\mbox{deg}(f)\geq p$. We prove here the following generalization of their result. Let $p$ be a prime and… ▽ More P. Hrube\v s, S. Natarajan Ramamoorthy, A. Rao and A. Yehudayoff proved the following result: Let $p$ be a prime and let $f\in \mathbb F _p[x_1,\ldots,x_{2p}]$ be a polynomial. Suppose that $f(\mathbf{v_F})=0$ for each $F\subseteq [2p]$, where $|F|=p$ and that $f(\mathbf{0})\neq 0$. Then $\mbox{deg}(f)\geq p$. We prove here the following generalization of their result. Let $p$ be a prime and $q=p^α>1$, $α\geq 1$. Let $n>0$ be a positive integer and $q-1\leq d\leq n-q+1$ be an integer. Let $\mathbb F$ be a field of characteristic $p$. Suppose that $f(\mathbf{v_F})=0$ for each $F\subseteq [n]$, where $|F|=d$ and $\mbox{deg}(f)\leq q-1$. Then $f(\mathbf{v_F})=0$ for each $F\subseteq [n]$, where $|F|\equiv d \mbox{ (mod }q)$. Let $t=2d$ be an even number and $L\subseteq [d-1]$ be a given subset. We say that $\mbox{$\cal F$}\subseteq 2^{[t]}$ is an {\em $L$-balancing family} if for each $F\subseteq [t]$, where $|F|=d$ there exists a $G\subseteq [n]$ such that $|F\cap G|\in L$. We give a general upper bound for the size of an $L$-balancing family. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Sets avoiding $p$-term arithmetic progressions in ${\mathbb Z}_{q}^n$ are exponentially small

Authors: Gábor Hegedüs

Abstract: Pach and Palincza proved the following generalization of Ellenberg and Gijswijt's bound for the size of $k$-term arithmetic progression-free subsets, where $k\in \{4,5,6\}$: Let $m>0$ be an integer such that $6$ divides $m$ and let $k\in \{4,5,6\}$. Then $$ r_k({\mathbb Z}_{m}^n)\leq (0.948m)^n $$ if $n$ is sufficiently large. Building on the proof technique of Pach and Palincza's upper bound… ▽ More Pach and Palincza proved the following generalization of Ellenberg and Gijswijt's bound for the size of $k$-term arithmetic progression-free subsets, where $k\in \{4,5,6\}$: Let $m>0$ be an integer such that $6$ divides $m$ and let $k\in \{4,5,6\}$. Then $$ r_k({\mathbb Z}_{m}^n)\leq (0.948m)^n $$ if $n$ is sufficiently large. Building on the proof technique of Pach and Palincza's upper bound we generalize the Ellenberg and Gijswijt's bound in the following way: Let $p>2$ be any integer and let $q>2$ be a prime. Suppose that $p\leq q$. Then the there exists an $n_0\in \mathbb N$ integer and a $0<δ(p,q)<1$ real number such that $$ r_p({\mathbb Z}_{q}^n)\leq (δ(p,q)q)^n $$ for each $n>n_0$. △ Less

Submitted 17 December, 2020; v1 submitted 15 December, 2020; originally announced December 2020.

Comments: there is a fatal error in the proof of Lemma 1.9

An upper bound for the size of $s$-distance sets in real algebraic sets

Authors: Gábor Hegedüs, Lajos Rónyai

Abstract: In a recent paper Petrov and Pohoata developed a new algebraic method which combines the Croot-Lev-Pach Lemma from additive combinatorics and Sylvester's Law of Inertia for real quadratic forms. As an application, they gave a simple proof of the Bannai-Bannai-Stanton bound on the size of $s$-distance sets (subsets $\mbox{$\cal A$}\subseteq {\mathbb R}^n$ which determine at most $s$ different dista… ▽ More In a recent paper Petrov and Pohoata developed a new algebraic method which combines the Croot-Lev-Pach Lemma from additive combinatorics and Sylvester's Law of Inertia for real quadratic forms. As an application, they gave a simple proof of the Bannai-Bannai-Stanton bound on the size of $s$-distance sets (subsets $\mbox{$\cal A$}\subseteq {\mathbb R}^n$ which determine at most $s$ different distances). In this paper we extend their work and prove upper bounds for the size of $s$-distance sets in various real algebraic sets. This way we obtain a novel and short proof for the bound of Delsarte-Goethals-Seidel on spherical $s$-distance sets and a generalization of a bound by Bannai-Kawasaki-Nitamizu-Sato on $s$-distance sets on unions of spheres. In our arguments we use the method of Petrov and Pohoata together with some Gröbner basis techniques. △ Less

Submitted 1 July, 2020; originally announced July 2020.

Comments: 15 pages

MSC Class: 52C45; 13P10; 05D99

A new proof of a generalization of Gerzon's bound

Authors: Gábor Hegedüs

Abstract: In this paper we give a short, new proof of a natural generalization of Gerzon's bound. This bound improves the Delsarte, Goethals and Seidel's upper bound in a special case. Our proof is a simple application of the linear algebra bound method. In this paper we give a short, new proof of a natural generalization of Gerzon's bound. This bound improves the Delsarte, Goethals and Seidel's upper bound in a special case. Our proof is a simple application of the linear algebra bound method. △ Less

Submitted 11 April, 2020; v1 submitted 5 April, 2020; originally announced April 2020.

Comments: The main result is known

MSC Class: 52C45

A new upper bound for the size of $s$-distance sets in boxes

Authors: Gábor Hegedüs

Abstract: Let $q,d\geq 2$ be integers. Define $$ J(q,d):=\frac 1q \Big( \min_{0<x<1} \frac{1-x^q}{1-x} x^{-\frac{q-1}{d}}\Big). $$ Let $\mbox{$\cal G$}\subseteq {\mathbb R}^n$ be an arbitrary subset. We denote by $d(\mbox{$\cal G$})$ the set of (non-zero) distances among points of $\mbox{$\cal G$}$: $$ d(\mbox{$\cal G$}):=\{d( p_1, p_2):~ p_1, p_2\in \mbox{$\cal G$}, p_1\ne p_2\}. $… ▽ More Let $q,d\geq 2$ be integers. Define $$ J(q,d):=\frac 1q \Big( \min_{0<x<1} \frac{1-x^q}{1-x} x^{-\frac{q-1}{d}}\Big). $$ Let $\mbox{$\cal G$}\subseteq {\mathbb R}^n$ be an arbitrary subset. We denote by $d(\mbox{$\cal G$})$ the set of (non-zero) distances among points of $\mbox{$\cal G$}$: $$ d(\mbox{$\cal G$}):=\{d( p_1, p_2):~ p_1, p_2\in \mbox{$\cal G$}, p_1\ne p_2\}. $$ Our main result is a new upper bound for the size of $s$-distance sets in boxes. More concretely, let $A_i\subseteq \mathbb R$, $|A_i|=q\geq 2$ be subsets for each $1\leq i\leq n$. Consider the box $\mbox{$\cal B$}:=\prod_{i=1}^n A_i\subseteq {\mathbb R}^n$. Suppose that $\mbox{$\cal G$}\subseteq \mbox{$\cal B$}$ is a set such that $|d(\mbox{$\cal G$})|\leq s$. Let $d:=\frac{n(q-1)}{s}$. Then $$|\mbox{$\cal G$}|\leq 2(qJ(q,d))^n.$$ We use Tao's slice rank bounding method in our proof. △ Less

Submitted 27 December, 2018; originally announced December 2018.

Comments: 7 pages

About sunflowers

Authors: Gábor Hegedűs

Abstract: Alon, Shpilka and Umans considered the following version of usual sunflower-free subset: a subset $\mbox{$\cal F$}\subseteq \{1,\ldots ,D\}^n$ for $D>2$ is sunflower-free if for every distinct triple $x,y,z\in \mbox{$\cal F$}$ there exists a coordinate $i$ where exactly two of $x_i,y_i,z_i$ are equal. Combining the polynomial method with character theory Naslund and Sawin proved that any sunflower… ▽ More Alon, Shpilka and Umans considered the following version of usual sunflower-free subset: a subset $\mbox{$\cal F$}\subseteq \{1,\ldots ,D\}^n$ for $D>2$ is sunflower-free if for every distinct triple $x,y,z\in \mbox{$\cal F$}$ there exists a coordinate $i$ where exactly two of $x_i,y_i,z_i$ are equal. Combining the polynomial method with character theory Naslund and Sawin proved that any sunflower-free set $\mbox{$\cal F$}\subseteq \{1,\ldots ,D\}^n$ has size $$ |\mbox{$\cal F$}|\leq c_D^n, $$ where $c_D=\frac{3}{2^{2/3}}(D-1)^{2/3}$. In this short note we give a new upper bound for the size of sunflower-free subsets of $\{1,\ldots ,D\}^n$. Our main result is a new upper bound for the size of sunflower-free $k$-uniform subsets. More precisely, let $k$ be an arbitrary integer. Let $\mbox{$\cal F$}$ be a sunflower-free $k$-uniform set system. Consider $M:=|\bigcup\limits_{F\in \mbox{$\cal F$}} F|. $ Then $$ |\mbox{$\cal F$}|\leq 3(\lceil\frac{2k}{3}\rceil+1)(2^{1/3}\cdot 3e)^k(\lceil\frac Mk\rceil -1)^{\lceil\frac{2k}{3}\rceil}. $$ In the proof we use Naslund and Sawin's result about sunflower-free subsets in $\{1,\ldots ,D\}^n$. △ Less

Submitted 11 May, 2018; v1 submitted 26 April, 2018; originally announced April 2018.

Comments: 11 pages

MSC Class: 05D05; 05B40; 03E05

A generalization of Croot-Lev-Pach's Lemma and a new upper bound for the size of difference sets in polynomial rings

Authors: Gábor Hegedüs

Abstract: Croot, Lev and Pach used a new polynomial technique to give a new exponential upper bound for the size of three-term progression-free subsets in the groups $(\mathbb Z _4)^n$. The main tool in proving their striking result is a simple lemma about polynomials, which gives interesting new bounds for the size of subsets of the vector space $({\mathbb Z _p})^n$. Our main result is a generalization… ▽ More Croot, Lev and Pach used a new polynomial technique to give a new exponential upper bound for the size of three-term progression-free subsets in the groups $(\mathbb Z _4)^n$. The main tool in proving their striking result is a simple lemma about polynomials, which gives interesting new bounds for the size of subsets of the vector space $({\mathbb Z _p})^n$. Our main result is a generalization of this lemma. In the proof we combined Tao's slice rank bounding method with Gröbner basis technique. As an application, we improve Green's results and present new upper bounds for the size of difference sets in polynomial rings. We give a new, more concrete upper bound for the size of arithmetic progression-free subsets in $({\mathbb Z _p})^n$. △ Less

Submitted 22 May, 2024; v1 submitted 14 March, 2018; originally announced March 2018.

Comments: Sauermann published a better version of our reaults

MSC Class: 05B10; 13P10; 15A69

Difference sets and power residues

Authors: Gábor Hegedűs

Abstract: Let $p\geq 3$ be a prime and $n\geq 1$ be an integer. Let $K\subseteq {\mathbb{F}_p}$ denote a fixed subset with $0\in K$. Let $A\subseteq ({\mathbb{F}_p})^n$ be an arbitrary subset such that $$\{ \mathbf{a}-\mathbf{b}:~\mathbf{a},\mathbf{b}\in A,\mathbf{a}\neq \mathbf{b}\}\cap K^n=\emptyset. $$ Then we prove the exponential upper bound $$ |A|\leq ( p-|K|+ 1 )^n. $$ We use in our proof the linea… ▽ More Let $p\geq 3$ be a prime and $n\geq 1$ be an integer. Let $K\subseteq {\mathbb{F}_p}$ denote a fixed subset with $0\in K$. Let $A\subseteq ({\mathbb{F}_p})^n$ be an arbitrary subset such that $$\{ \mathbf{a}-\mathbf{b}:~\mathbf{a},\mathbf{b}\in A,\mathbf{a}\neq \mathbf{b}\}\cap K^n=\emptyset. $$ Then we prove the exponential upper bound $$ |A|\leq ( p-|K|+ 1 )^n. $$ We use in our proof the linear algebra bound method. △ Less

Submitted 5 December, 2018; v1 submitted 19 January, 2018; originally announced January 2018.

Comments: 5 pages

A new exponential upper bound for the Erdős-Ginzburg-Ziv constant

Authors: Gábor Hegedüs

Abstract: Naslund used Tao's slice rank bounding method to give new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of finite Abelian groups of high rank. In our short manuscript we improve slightly Naslund's upper bounds. We extend Naslund's results and prove new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of arbitrary finite Abelian groups. Our main results depend on a conj… ▽ More Naslund used Tao's slice rank bounding method to give new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of finite Abelian groups of high rank. In our short manuscript we improve slightly Naslund's upper bounds. We extend Naslund's results and prove new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of arbitrary finite Abelian groups. Our main results depend on a conjecture about Property D. △ Less

Submitted 1 December, 2017; originally announced December 2017.

A new upper bound for the size of a sunflower-free family

Authors: Gábor Hegedüs

Abstract: We combine here Tao's slice-rank bounding method and Gröbner basis techniques and apply here to the Erdős-Rado Sunflower Conjecture. Let $\frac{3k}{2}\leq n\leq 3k$ be integers. We prove that if $\mbox{$\cal F$}$ be a $k$-uniform family of subsets of $[n]$ without a sunflower with 3 petals, then $$ |\mbox{$\cal F$}|\leq 3{n \choose n/3}. $… ▽ More We combine here Tao's slice-rank bounding method and Gröbner basis techniques and apply here to the Erdős-Rado Sunflower Conjecture. Let $\frac{3k}{2}\leq n\leq 3k$ be integers. We prove that if $\mbox{$\cal F$}$ be a $k$-uniform family of subsets of $[n]$ without a sunflower with 3 petals, then $$ |\mbox{$\cal F$}|\leq 3{n \choose n/3}. $$ We give also some new upper bounds for the size of a sunflower-free family in $2^{[n]}$. △ Less

Submitted 15 March, 2017; v1 submitted 9 February, 2017; originally announced February 2017.

Comments: 11 pages

A note on linear Sperner families

Authors: Gábor Hegedüs, Lajos Rónyai

Abstract: In an earlier work we described Gröbner bases of the ideal of polynomials over a field, which vanish on the set of characteristic vectors $\mathbf{v} \in \{0,1\}^n$ of the complete $d$ unifom set family over the ground set $[n]$. In particular, it turns out that the standard monomials of the above ideal are {\em ballot monomials}. We give here a partial extension of the latter fact. We prove that… ▽ More In an earlier work we described Gröbner bases of the ideal of polynomials over a field, which vanish on the set of characteristic vectors $\mathbf{v} \in \{0,1\}^n$ of the complete $d$ unifom set family over the ground set $[n]$. In particular, it turns out that the standard monomials of the above ideal are {\em ballot monomials}. We give here a partial extension of the latter fact. We prove that the lexicographic standard monomials for linear Sperner systems are also ballot monomials. A set family is a linear Sperner system if the characteristic vectors satisfy a linear equation $a_1v_1+\cdots +a_nv_n=k$, where $0<a_q\leq a_2\leq \cdots \leq a_n$ and $k$ are integers. As an application, we confirm a conjecture of Frankl for linear Sperner systems. △ Less

Submitted 2 February, 2017; originally announced February 2017.

Comments: 12 pages

The Erdős-Ginzburg-Ziv constant and progression-free subsets

Authors: Gábor Hegedűs

Abstract: Ellenberg and Gijswijt gave recently a new exponential upper bound for the size of three-term arithmetic progression free sets in $({\mathbb Z_p})^n$, where $p$ is a prime. Petrov summarized their method and generalized their result to linear forms. In this short note we use Petrov's result to give new exponential upper bounds for the Erdős-Ginzburg-Ziv constant of finite Abelian groups of high… ▽ More Ellenberg and Gijswijt gave recently a new exponential upper bound for the size of three-term arithmetic progression free sets in $({\mathbb Z_p})^n$, where $p$ is a prime. Petrov summarized their method and generalized their result to linear forms. In this short note we use Petrov's result to give new exponential upper bounds for the Erdős-Ginzburg-Ziv constant of finite Abelian groups of high rank. Our main results depend on a conjecture about Property D. △ Less

Submitted 6 January, 2017; v1 submitted 4 January, 2017; originally announced January 2017.

Comments: 10 pages

Inequalities for two systems of subspaces with prescribed intersections

Authors: Gábor Hegedüs

Abstract: Let $W$ denote a linear space over a fixed field ${\mathbb F}$. We define the notions of weak $ISP$-system and weak $(u,v)$-system $\cal S=\{(U_i,V_i):~ 1\leq i\leq m\}$ of subspaces of $W$. We give upper bounds for the size of weak $ISP$-systems and weak $(u,v)$-systems. Let $W$ denote a linear space over a fixed field ${\mathbb F}$. We define the notions of weak $ISP$-system and weak $(u,v)$-system $\cal S=\{(U_i,V_i):~ 1\leq i\leq m\}$ of subspaces of $W$. We give upper bounds for the size of weak $ISP$-systems and weak $(u,v)$-systems. △ Less

Submitted 10 October, 2016; originally announced October 2016.

Comments: 9 pages

Sunflowers and $L$-intersecting families

Authors: Gábor Hegedűs

Abstract: Let $f(k,r,s)$ stand for the least number so that if $\cal F$ is an arbitrary $k$-uniform, $L$-intersecting set system, where $|L|=s$, and $\cal F$ has more than $f(k,r,s)$ elements, then $\cal F$ contains a sunflower with $r$ petals. We give an upper bound for $f(k,3,s)$. Let $g(k,r,\ell)$ be the least number so that any $k$-uniform, $\ell$-intersecting set system of more than $g(k,r,\ell)$ sets… ▽ More Let $f(k,r,s)$ stand for the least number so that if $\cal F$ is an arbitrary $k$-uniform, $L$-intersecting set system, where $|L|=s$, and $\cal F$ has more than $f(k,r,s)$ elements, then $\cal F$ contains a sunflower with $r$ petals. We give an upper bound for $f(k,3,s)$. Let $g(k,r,\ell)$ be the least number so that any $k$-uniform, $\ell$-intersecting set system of more than $g(k,r,\ell)$ sets contains a sunflower with $r$ petals. We give also an upper bound for $g(k,r,\ell)$. △ Less

Submitted 19 January, 2016; originally announced January 2016.

Comments: 10 pages

MSC Class: 05D05; 03E05; 11B37

A generalization of the Erdős-Ko-Rado Theorem

Authors: Gábor Hegedüs

Abstract: Our main result is a new upper bound for the size of k-uniform, L-intersecting families of sets, where L contains only positive integers. We characterize extremal families in this setting. Our proof is based on the Ray-Chaudhuri--Wilson Theorem. As an application, we give a new proof for the Erdős-Ko-Rado Theorem, improve Fisher's inequality in the uniform case and give an uniform version of the F… ▽ More Our main result is a new upper bound for the size of k-uniform, L-intersecting families of sets, where L contains only positive integers. We characterize extremal families in this setting. Our proof is based on the Ray-Chaudhuri--Wilson Theorem. As an application, we give a new proof for the Erdős-Ko-Rado Theorem, improve Fisher's inequality in the uniform case and give an uniform version of the Frankl-Füredi conjecture . △ Less

Submitted 18 December, 2015; v1 submitted 17 December, 2015; originally announced December 2015.

Comments: 11 pages

MSC Class: 05D05

A Bollobás-type theorem for affine subspaces

Authors: Gábor Hegedüs

Abstract: Let $W$ denote the $n$-dimensional affine space over the finite field $\mathbb F_q$. We prove here a Bollobás-type upper bound in the case of the set of affine subspaces. We give a construction of a pair of families of affine subspaces, which shows that our result is almost sharp. Let $W$ denote the $n$-dimensional affine space over the finite field $\mathbb F_q$. We prove here a Bollobás-type upper bound in the case of the set of affine subspaces. We give a construction of a pair of families of affine subspaces, which shows that our result is almost sharp. △ Less

Submitted 3 December, 2015; originally announced December 2015.

Comments: 7 pages

Journal ref: Australasian Journal of Combinatorics, 63(2), 262-267

Shattering bounds for tuple systems

Authors: Gábor Hegedüs

Abstract: Let $\mbox{ V}(n,d,q)$ stand for the $q$--ary Hamming spheres. Let $\mbox{ C}\subseteq (q)^n$ denote a tuple system such that $\mbox{ C}\subseteq \cup_{i=0}^s \mbox{ V}(n,d_i,q)$, where $d_1<\ldots <d_s$. We give here a general upper bound on the size of a shattered sets of the tuple system $\mbox{ C}$. Let $\mbox{ V}(n,d,q)$ stand for the $q$--ary Hamming spheres. Let $\mbox{ C}\subseteq (q)^n$ denote a tuple system such that $\mbox{ C}\subseteq \cup_{i=0}^s \mbox{ V}(n,d_i,q)$, where $d_1<\ldots <d_s$. We give here a general upper bound on the size of a shattered sets of the tuple system $\mbox{ C}$. △ Less

Submitted 3 December, 2015; originally announced December 2015.

Comments: 4 pages

From the Fundamental Theorem of Algebra to Kempe's Universality Theorem

Authors: Gábor Hegedüs, Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: This article provides a gentle introduction for a general mathematical audience to the factorization theory of motion polynomials and its application in mechanism science. This theory connects in a rather unexpected way a seemingly abstract mathematical topic, the non-unique factorization of certain polynomials over the ring of dual quaternions, with engineering applications. Four years after its… ▽ More This article provides a gentle introduction for a general mathematical audience to the factorization theory of motion polynomials and its application in mechanism science. This theory connects in a rather unexpected way a seemingly abstract mathematical topic, the non-unique factorization of certain polynomials over the ring of dual quaternions, with engineering applications. Four years after its introduction, it is already clear how beneficial it has been to both fields. △ Less

Submitted 19 July, 2015; originally announced July 2015.

Journal ref: Internat. Math. Nachrichten, Nr. 229 (2015), 13-26

Ehrhart polynomial roots of reflexive polytopes

Authors: Gábor Hegedüs, Akihiro Higashitani, Alexander Kasprzyk

Abstract: Recent work has focused on the roots z of the Ehrhart polynomial of a lattice polytope P. The case when Re(z) = -1/2 is of particular interest: these polytopes satisfy Golyshev's "canonical line hypothesis". We characterise such polytopes when dim(P) <= 7. We also consider the "half-strip condition", where all roots z satisfy -dim(P)/2 <= Re(z) <= dim(P)/2-1, and show that this holds for any refle… ▽ More Recent work has focused on the roots z of the Ehrhart polynomial of a lattice polytope P. The case when Re(z) = -1/2 is of particular interest: these polytopes satisfy Golyshev's "canonical line hypothesis". We characterise such polytopes when dim(P) <= 7. We also consider the "half-strip condition", where all roots z satisfy -dim(P)/2 <= Re(z) <= dim(P)/2-1, and show that this holds for any reflexive polytope with dim(P) <= 5. We give an example of a 10-dimensional reflexive polytope which violates the half-strip condition, thus improving on an example by Ohsugi--Shibata in dimension 34. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: 20 pages, 1 figure

MSC Class: 52B20 (Primary); 05A15; 14M25 (Secondary)

Journal ref: Electronic Journal of Combinatorics, 26 (2019), no. 1, P1.38

Balancing Sets of Vectors

Authors: Gábor Hegedüs

Abstract: Let $n$ be an arbitrary integer, let $p$ be a prime factor of $n$. Denote by $ω_1$ the $p^{th}$ primitive unity root, $ω_1:=e^{\frac{2πi}{p}}$. Define $ω_i:=ω_1^i$ for $0\leq i\leq p-1$ and $B:=\{1,ω_1,...,ω_{p-1}\}^n$. Denote by $K(n,p)$ the minimum $k$ for which there exist vectors $v_1,...,v_k\in B$ such that for any vector $w\in B$, there is an $i$, $1\leq i\leq k$, such that $v_i\cdot w=0$, w… ▽ More Let $n$ be an arbitrary integer, let $p$ be a prime factor of $n$. Denote by $ω_1$ the $p^{th}$ primitive unity root, $ω_1:=e^{\frac{2πi}{p}}$. Define $ω_i:=ω_1^i$ for $0\leq i\leq p-1$ and $B:=\{1,ω_1,...,ω_{p-1}\}^n$. Denote by $K(n,p)$ the minimum $k$ for which there exist vectors $v_1,...,v_k\in B$ such that for any vector $w\in B$, there is an $i$, $1\leq i\leq k$, such that $v_i\cdot w=0$, where $v\cdot w$ is the usual scalar product of $v$ and $w$. Gröbner basis methods and linear algebra proof gives the lower bound $K(n,p)\geq n(p-1)$. Galvin posed the following problem: Let $m=m(n)$ denote the minimal integer such that there exists subsets $A_1,...,A_m$ of $\{1,...,4n\}$ with $|A_i|=2n$ for each $1\leq i\leq n$, such that for any subset $B\subseteq [4n]$ with $2n$ elements there is at least one $i$, $1\leq i\leq m$, with $A_i\cap B$ having $n$ elements. We obtain here the result $m(p)\geq p$ in the case of $p>3$ primes. △ Less

Submitted 17 December, 2014; originally announced December 2014.

Comments: appeared in Studia Sci. Math. Hung

MSC Class: 13P10; 13F20; 05D05; 05D99

An explicit Ramsey graph

Authors: Gábor Hegedüs

Abstract: Explicit construction of Ramsey graphs has remained a challenging open problem for a long time. Frankl--Wilson \cite{FW}, Alon \cite{A} and Grolmusz \cite{G2} gave the best explicit constructions of graphs on $m$ vertices with no clique or independent set of size $m^{(1+o(1))\frac{1}{4}\frac{\log m}{\log \log m}}$. We describe here an explicit construction which produces for every integer $m>1$… ▽ More Explicit construction of Ramsey graphs has remained a challenging open problem for a long time. Frankl--Wilson \cite{FW}, Alon \cite{A} and Grolmusz \cite{G2} gave the best explicit constructions of graphs on $m$ vertices with no clique or independent set of size $m^{(1+o(1))\frac{1}{4}\frac{\log m}{\log \log m}}$. We describe here an explicit construction which produces for every integer $m>1$ a graph on at least $m^{(1+o(1))\frac{1}{3}\frac{\log m}{\log \log m}}$ vertices containing neither a clique of size $m$ nor an independent set of size $m$. In the proof we use the polynomial subspace method and some character theory of the complete symmmetric group. △ Less

Submitted 5 January, 2015; v1 submitted 8 December, 2014; originally announced December 2014.

Comments: This paper has been withdrawn by the author due to a crucial error in the paper

The Theory of Bonds II: Closed 6R Linkages with Maximal Genus

Authors: Gábor Hegedüs, Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: In this paper, we introduce a method that allows to produce necessary conditions on the Denavit--Hartenberg parameters for the mobility of a closed linkage with six rotational joints. We use it to prove that the genus of the configuration curve of a such a linkage is at most five, and to give a complete classification of the linkages with a configuration curve of degree four or five. The classific… ▽ More In this paper, we introduce a method that allows to produce necessary conditions on the Denavit--Hartenberg parameters for the mobility of a closed linkage with six rotational joints. We use it to prove that the genus of the configuration curve of a such a linkage is at most five, and to give a complete classification of the linkages with a configuration curve of degree four or five. The classification contains new families. △ Less

Submitted 25 September, 2013; originally announced September 2013.

Comments: 20 pages, 2 figures

MSC Class: 14N10

Journal ref: J. Symbolic Comput., 68(2):167-180, 2015

Four-Pose Synthesis of Angle-Symmetric 6R Linkages

Authors: Gábor Hegedüs, Josef Schicho, Hans-Peter Schröcker

Abstract: We use the recently introduced factorization theory of motion polynomials over the dual quaternions for the synthesis of closed kinematic loops with six revolute joints that visit four prescribed poses. Our approach admits either no or a one-parametric family of solutions. We suggest strategies for picking good solutions from this family. We use the recently introduced factorization theory of motion polynomials over the dual quaternions for the synthesis of closed kinematic loops with six revolute joints that visit four prescribed poses. Our approach admits either no or a one-parametric family of solutions. We suggest strategies for picking good solutions from this family. △ Less

Submitted 19 September, 2013; originally announced September 2013.

MSC Class: 70B15

Journal ref: J. Mech. Robot., 7(4), 2015

The Theory of Bonds: A New Method for the Analysis of Linkages

Authors: Gábor Hegedüs, Josef Schicho, Hans-Peter Schröcker

Abstract: In this paper we introduce a new technique, based on dual quaternions, for the analysis of closed linkages with revolute joints: the theory of bonds. The bond structure comprises a lot of information on closed revolute chains with a one-parametric mobility. We demonstrate the usefulness of bond theory by giving a new and transparent proof for the well-known classification of overconstrained 5R lin… ▽ More In this paper we introduce a new technique, based on dual quaternions, for the analysis of closed linkages with revolute joints: the theory of bonds. The bond structure comprises a lot of information on closed revolute chains with a one-parametric mobility. We demonstrate the usefulness of bond theory by giving a new and transparent proof for the well-known classification of overconstrained 5R linkages. △ Less

Submitted 19 July, 2013; v1 submitted 18 June, 2012; originally announced June 2012.

Comments: more detailed explanations and additional references

MSC Class: 70B15; 51J15; 14H50

Journal ref: Mech. Machine Theory, 70, 407-424 (2013)

Factorization of Rational Curves in the Study Quadric and Revolute Linkages

Authors: Gábor Hegedüs, Josef Schicho, Hans-Peter Schröcker

Abstract: Given a generic rational curve $C$ in the group of Euclidean displacements we construct a linkage such that the constrained motion of one of the links is exactly $C$. Our construction is based on the factorization of polynomials over dual quaternions. Low degree examples include the Bennett mechanisms and contain new types of overconstrained 6R-chains as sub-mechanisms. Given a generic rational curve $C$ in the group of Euclidean displacements we construct a linkage such that the constrained motion of one of the links is exactly $C$. Our construction is based on the factorization of polynomials over dual quaternions. Low degree examples include the Bennett mechanisms and contain new types of overconstrained 6R-chains as sub-mechanisms. △ Less

Submitted 9 May, 2012; v1 submitted 1 February, 2012; originally announced February 2012.

Comments: Changed arxiv abstract, corrected some types

MSC Class: 12D05; 51J15; 68T40

Journal ref: Mech. Machine Theory, Vol. 69, No. 1, pp. 142-152, 2013

An Upper Bound Theorem concerning lattice polytopes

Authors: Gabor Hegedüs

Abstract: R. P. Stanley proved the Upper Bound Conjecture in 1975. We imitate his proof for the Ehrhart rings. We give some upper bounds for the volume of integrally closed lattice polytopes. We derive some inequalities for the delta-vector of integrally closed lattice polytopes. Finally we apply our results for reflexive integrally closed and order polytopes. R. P. Stanley proved the Upper Bound Conjecture in 1975. We imitate his proof for the Ehrhart rings. We give some upper bounds for the volume of integrally closed lattice polytopes. We derive some inequalities for the delta-vector of integrally closed lattice polytopes. Finally we apply our results for reflexive integrally closed and order polytopes. △ Less

Submitted 24 May, 2011; v1 submitted 30 March, 2011; originally announced March 2011.

Comments: 17 pages, corrected typos

MSC Class: 52B20 (Primary); 13A02; 05E40 (Secondary)

Betti numbers of Stanley--Reisner rings with pure resolutions

Authors: Gabor Hegedüs

Abstract: Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system for the components of the $h$--vector of the clique complex of an arbitrary chor… ▽ More Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system for the components of the $h$--vector of the clique complex of an arbitrary chordal graph. △ Less

Submitted 31 January, 2011; v1 submitted 28 January, 2011; originally announced January 2011.

Comments: 10 pages, new formulas for the components of the clique complex of chordal graphs

MSC Class: 05E40; 13D02; 13D40

The $f$--vector of the clique complex of chordal graphs and Betti numbers of edge ideals of uniform hypergraphs

Authors: Gabor Hegedüs

Abstract: We describe the Betti numbers of the edge ideals $I(G)$ of uniform hypergraphs $G$ such that $I(G)$ has linear graded free resolution. We give an algebraic equation system and some inequalities for the components of the $f$--vector of the clique complex of an arbitrary chordal graph. Finally we present an explicit formula for the multiplicity of the Stanley-Reisner ring of the edge ideals of any c… ▽ More We describe the Betti numbers of the edge ideals $I(G)$ of uniform hypergraphs $G$ such that $I(G)$ has linear graded free resolution. We give an algebraic equation system and some inequalities for the components of the $f$--vector of the clique complex of an arbitrary chordal graph. Finally we present an explicit formula for the multiplicity of the Stanley-Reisner ring of the edge ideals of any chordal graph. △ Less

Submitted 25 January, 2011; originally announced January 2011.

Comments: 17 pages, substitutes Betti numbers of edge ideals of uniform hypergraphs

MSC Class: 05E40; 13D02; 13D40

The Minkowskian planar 4R mechanism

Authors: Gabor Hegedüs, Brian Moore

Abstract: We characterize and classify completely the planar 4R closed chain working on the Minkowskian plane. Our work would open a new research direction in the theory of geometric designs: the classification and characterization of the geometric design of linkages working in non--Euclidean spaces. We characterize and classify completely the planar 4R closed chain working on the Minkowskian plane. Our work would open a new research direction in the theory of geometric designs: the classification and characterization of the geometric design of linkages working in non--Euclidean spaces. △ Less

Submitted 27 October, 2010; originally announced October 2010.

Comments: 45 pages, 24 figures

MSC Class: 51P05; 53A17; 70B15

Betti numbers of Stanley--Reisner rings with pure resolutions

Authors: Gabor Hegedüs

Abstract: Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system and some inequalities for the components of the $h$--vector of the clique comple… ▽ More Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system and some inequalities for the components of the $h$--vector of the clique complex of an arbitrary chordal graph. As an other application, we derive a linear equation system and some inequalities for the components of the $h$--vector of Cohen--Macaulay simplicial complexes. △ Less

Submitted 7 February, 2011; v1 submitted 2 September, 2010; originally announced September 2010.

Comments: 18 pages, better introduction, ask for feedback before submission

MSC Class: 05E40; 13D02; 13D40

Multivalued generalizations of the Frankl--Pach Theorem

Authors: Gabor Hegedüs, Lajos Ronyai

Abstract: P. Frankl and J. Pach proved the following uniform version of Sauer's Lemma. Let $n,d,s$ be natural numbers such that $d\leq n$, $s+1\leq n/2$. Let $\cF \subseteq {[n] \choose d}$ be an arbitrary $d$-uniform set system such that $\cF$ does not shatter an $s+1$-element set, then $$ |\cF|\leq {n \choose s}.$$ We prove here two generalizations of the above theorem to $n$-tuple systems. To obtain thes… ▽ More P. Frankl and J. Pach proved the following uniform version of Sauer's Lemma. Let $n,d,s$ be natural numbers such that $d\leq n$, $s+1\leq n/2$. Let $\cF \subseteq {[n] \choose d}$ be an arbitrary $d$-uniform set system such that $\cF$ does not shatter an $s+1$-element set, then $$ |\cF|\leq {n \choose s}.$$ We prove here two generalizations of the above theorem to $n$-tuple systems. To obtain these results, we use Gröbner basis methods, and describe the standard monomials of Hamming spheres. △ Less

Submitted 15 February, 2011; v1 submitted 27 August, 2010; originally announced August 2010.

Comments: 21 pages, accepted by J. of Algebra and its Applications

MSC Class: 05E40; 13P10

Roots of Ehrhart Polynomials of Smooth Fano Polytopes

Authors: Gábor Hegedüs, Alexander M. Kasprzyk

Abstract: V. Golyshev conjectured that for any smooth polytope P of dimension at most five, the roots $z\in\C$ of the Ehrhart polynomial for P have real part equal to -1/2. An elementary proof is given, and in each dimension the roots are described explicitly. We also present examples which demonstrate that this result cannot be extended to dimension six. V. Golyshev conjectured that for any smooth polytope P of dimension at most five, the roots $z\in\C$ of the Ehrhart polynomial for P have real part equal to -1/2. An elementary proof is given, and in each dimension the roots are described explicitly. We also present examples which demonstrate that this result cannot be extended to dimension six. △ Less

Submitted 21 April, 2010; originally announced April 2010.

Comments: 10 pages

MSC Class: 52B20 (Primary); 52C07; 11H06 (Secondary)

Journal ref: Discrete and Computational Geometry, 46 (2011), no. 3, 488-499

The boundary volume of a lattice polytope

Authors: Gábor Hegedüs, Alexander M. Kasprzyk

Abstract: For a d-dimensional convex lattice polytope P, a formula for the boundary volume is derived in terms of the number of boundary lattice points on the first $\floor{d/2}$ dilations of P. As an application we give a necessary and sufficient condition for a polytope to be reflexive, and derive formulae for the f-vector of a smooth polytope in dimensions 3, 4, and 5. We also give applications to reflex… ▽ More For a d-dimensional convex lattice polytope P, a formula for the boundary volume is derived in terms of the number of boundary lattice points on the first $\floor{d/2}$ dilations of P. As an application we give a necessary and sufficient condition for a polytope to be reflexive, and derive formulae for the f-vector of a smooth polytope in dimensions 3, 4, and 5. We also give applications to reflexive order polytopes, and to the Birkhoff polytope. △ Less

Submitted 30 May, 2011; v1 submitted 15 February, 2010; originally announced February 2010.

Comments: 21 pages; subsumes arXiv:1002.1908 [math.CO]; to appear in the Bulletin of the Australian Mathematical Society

MSC Class: 52B20; 52C07; 52B12

Journal ref: Bulletin of the Australian Mathematical Society, 85 (2012), 84-104

The number of permutations with k inversions

Authors: Gábor Hegedüs

Abstract: Let $n\geq 1$, $0\leq t\leq {n \choose 2}$ be arbitrary integers. Define the numbers $I_n(t)$ as the number of permutations of $[n]$ with $t$ inversions. Let $n,d\geq 1$ and $0\leq t\leq (d-1)n$ be arbitrary integers. Define {\em the polynomial coefficients} $H(n,d,t)$ as the numbers of compositions of $t$ with at most $n$ parts, no one of which is greater than $d-1$. In our article we give expl… ▽ More Let $n\geq 1$, $0\leq t\leq {n \choose 2}$ be arbitrary integers. Define the numbers $I_n(t)$ as the number of permutations of $[n]$ with $t$ inversions. Let $n,d\geq 1$ and $0\leq t\leq (d-1)n$ be arbitrary integers. Define {\em the polynomial coefficients} $H(n,d,t)$ as the numbers of compositions of $t$ with at most $n$ parts, no one of which is greater than $d-1$. In our article we give explicit formulas for the numbers $I_n(t)$ and $H(n,d,t)$ using the theory of Gröbner bases and free resolutions. △ Less

Submitted 10 February, 2010; originally announced February 2010.

Comments: 20 pages, submitted to J. of Int. Sequences

MSC Class: 05A15; 13P10; 16E05

Linear equations for the number of intervals which are isomorphic with Boolean lattices and the Dehn--Sommerville equations

Authors: Gábor Hegedüs

Abstract: Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove… ▽ More Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings. △ Less

Submitted 10 February, 2010; originally announced February 2010.

Comments: 18 pages, submitted to the Comm. in Alg

MSC Class: 06A07; 13D40; 13F55

The surface of a lattice polytope

Authors: Gábor Hegedüs

Abstract: My main results are simple formulas for the surface area of d-dimensional lattice polytopes using Ehrhart theory. My main results are simple formulas for the surface area of d-dimensional lattice polytopes using Ehrhart theory. △ Less

Submitted 26 February, 2010; v1 submitted 9 February, 2010; originally announced February 2010.

Comments: 8 pages, superseded by arXiv:1002.2815v2

MSC Class: 52B20; 52C07; 11H06