contain ↗ reference
7694 papers tagged with this keyword
Magic squares with all subsquares of possible orders based on extended Langford sequences
A magic square of order $n$ with all subsquares of possible orders (ASMS$(n)$) is a magic square which contains a general magic square of each order $k\in\{3, 4, \cdots, n-2\}$. Since the conjecture on the existence of an ASMS was proposed in 1994, much attention has been paid but very little is known except for few sporadic examples. A $k$-extended Langford sequence of defect $d$ and length $m$ is equivalent to a partition of $\{1,2,\cdots,2m+1\}\backslash\{k\}$ into differences $\{d,\cdots,d+m-1\}$. In this paper, a construction of ASMS based on extended Langford sequence is established. As a result, it is shown that there exists an ASMS$(n)$ for $n\equiv\pm3\pmod{18}$, which gives a partial answer to Abe's conjecture on ASMS.
Poisson brackets symmetry from the pentagon-wheel cocycle in the graph complex
Published in Physics of Particles and Nuclei (2018) Vol. 49, No. 5, 924--928
• View Publication
• BIB
Kontsevich designed a scheme to generate infinitesimal symmetries $\dot{\mathcal{P}} = \mathcal{Q}(\mathcal{P})$ of Poisson brackets $\mathcal{P}$ on all affine manifolds $M^r$; every such deformation is encoded by oriented graphs on $n+2$ vertices and $2n$ edges. In particular, these symmetries can be obtained by orienting sums of non-oriented graphs $γ$ on $n$ vertices and $2n-2$ edges. The bi-vector flow $\dot{\mathcal{P}} = \text{Or}(γ)(\mathcal{P})$ preserves the space of Poisson structures if $γ$ is a cocycle with respect to the vertex-expanding differential in the graph complex.
A class of such cocycles $\boldsymbolγ_{2\ell+1}$ is known to exist: marked by $\ell \in \mathbb{N}$, each of them contains a $(2\ell+1)$-gon wheel with a nonzero coefficient. At $\ell=1$ the tetrahedron $\boldsymbolγ_3$ itself is a cocycle; at $\ell=2$ the Kontsevich--Willwacher pentagon-wheel cocycle $\boldsymbolγ_5$ consists of two graphs. We reconstruct the symmetry $\mathcal{Q}_5(\mathcal{P}) = \text{Or}(\boldsymbolγ_5)(\mathcal{P})$ and verify that $\mathcal{Q}_5$ is a Poisson cocycle indeed: $[\![\mathcal{P},\mathcal{Q}_5(\mathcal{P})]\!]\doteq 0$ via $[\![\mathcal{P},\mathcal{P}]\!]=0$.
Hypergraphs not containing a tight tree with a bounded trunk
An $r$-uniform hypergraph is a tight $r$-tree if its edges can be ordered so that every edge $e$ contains a vertex $v$ that does not belong to any preceding edge and the set $e-v$ lies in some preceding edge. A conjecture of Kalai [Kalai], generalizing the Erdős-Sós Conjecture for trees, asserts that if $T$ is a tight $r$-tree with $t$ edges and $G$ is an $n$-vertex $r$-uniform hypergraph containing no copy of $T$ then $G$ has at most $\frac{t-1}{r}\binom{n}{r-1}$ edges.
A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree such that every edge of $T-T'$ has $r-1$ vertices in some edge of $T'$ and a vertex outside $T'$. For $r\ge 3$, the only nontrivial family of tight $r$-trees for which this conjecture has been proved is the family of $r$-trees with trunk size one in [FF] from 1987. Our main result is an asymptotic version of Kalai's conjecture for all tight trees $T$ of bounded trunk size. This follows from our upper bound on the size of a $T$-free $r$-uniform hypergraph $G$ in terms of the size of its shadow. We also give a short proof of Kalai's conjecture for tight $r$-trees with at most four edges. In particular, for $3$-uniform hypergraphs, our result on the tight path of length $4$ implies the intersection shadow theorem of Katona [Katona].
Binary Parseval frames from group orbits
Published
• View Publication
• BIB
Binary Parseval frames share many structural properties with real and complex ones. On the other hand, there are subtle differences, for example that the Gramian of a binary Parseval frame is characterized as a symmetric idempotent whose range contains at least one odd vector. Here, we study binary Parseval frames obtained from the orbit of a vector under a group representation, in short, binary Parseval group frames. In this case, the Gramian of the frame is in the algebra generated by the right regular representation. We identify equivalence classes of such Parseval frames with binary functions on the group that satisfy a convolution identity. This allows us to find structural constraints for such frames. We use these constraints to catalogue equivalence classes of binary Parseval frames obtained from group representations. As an application, we study the performance of binary Parseval frames generated with abelian groups for purposes of error correction. We show that $Z_p^q$ is always preferable to $Z_{p^q}$ when searching for best performing codes associated with binary Parseval group frames.
Conflict-Free Coloring of String Graphs
Published
• View Publication
• BIB
Conflict-free coloring (in short, CF-coloring) of a graph $G = (V,E)$ is a coloring of $V$ such that the neighborhood of each vertex contains a vertex whose color differs from the color of any other vertex in that neighborhood. Bounds on CF-chromatic numbers have been studied both for general graphs and for intersection graphs of geometric shapes. In this paper we obtain such bounds for several classes of string graphs, i.e., intersection graphs of curves in the plane:
(i) We provide a general upper bound of $O(χ(G)^2 \log n)$ on the CF-chromatic number of any string graph $G$ with $n$ vertices in terms of the classical chromatic number $χ(G)$. This result stands in contrast to general graphs where the CF-chromatic number can be $Ω(\sqrt{n})$ already for bipartite graphs.
(ii) For some central classes of string graphs, the CF-chromatic number is as large as $Θ(\sqrt{n})$, which is the upper bound for any graph even in the non-geometric context. For several such classes (e.g., intersection graphs of frames) we prove a tight bound of $Θ(\log n)$ with respect to the notion of $k$-CF-coloring (in which the punctured neighborhood of each vertex contains a color that appears at most $k$ times), for a small constant $k$.
(iii) We obtain a general upper bound on the $k$-CF-chromatic number of arbitrary hypergraphs: Any hypergraph with $m$ hyperedges can be $k$-CF colored with $\tilde{O}(m^{\frac{1}{k+1}})$ colors. This bound, which extends a bound of Pach and Tardos (2009), is tight for some string graphs, up to a logarithmic factor.
(iv) Our fourth result concerns circle graphs in which coloring problems are motivated by VLSI designs. We prove a tight bound of $Θ(\log n)$ on the CF-chromatic number of circle graphs, and an upper bound of $O(\log^{3} n)$ for a wider class that contains circle graphs, namely, intersection graphs of grounded L-shapes.
A Generalization of Schur's Theorem
This paper is an excerpt from the author's 1968 PhD dissertation [Yale University, 1968] in which the (now) well-known result, commonly known as the Folkman-Rado-Sanders theorem, is proved. The proof uses (finite) alternating sums of integers and an 'iterated Ramsey theorem' in a way analogous to the proof of Schur's theorem using differences of integers and Ramsey's theorem for the coloring of the edges of a complete graph. The proof predates all others except J. Folkman, who based his proof on van der Waerden's theorem. The paper also contains the first published statement of the countable version of the theorem, which came to be misattributed to Graham and Rothschild, but predated their statement by three years.
Embeddings of weighted graphs in Erdős-type settings
Published in Moscow J. Comb. Number Th. 8 (2019) 117-123
• View Publication
• BIB
Many recent results in combinatorics concern the relationship between the size of a set and the number of distances determined by pairs of points in the set. One extension of this question considers configurations within the set with a specified pattern of distances. In this paper, we use graph-theoretic methods to prove that a sufficiently large set $E$ must contain at least $C_G|E|$ distinct copies of any given weighted tree $G$, where $C_G$ is a constant depending only on the graph $G$.
Operads in algebraic combinatorics
The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial information about the underlying objects. The algebraic structures the most encountered here are magmas, posets, associative algebras, dendriform algebras, Hopf bialgebras, operads, and pros. This work explores the aforementioned research direction and provides many constructions having the particularity to build algebraic structures on combinatorial objects. We develop for instance a functor from nonsymmetric colored operads to nonsymmetric operads, from monoids to operads, from unitary magmas to nonsymmetric operads, from finite posets to nonsymmetric operads, from stiff pros to Hopf bialgebras, and from precompositions to nonsymmetric operads. These constructions bring alternative ways to describe already known structures and provide new ones, as for instance, some of the deformations of the noncommutative Faà di Bruno Hopf bialgebra of Foissy and a generalization of the dendriform operad of Loday. We also use algebraic structures to obtain enumerative results. In particular, nonsymmetric colored operads are promising devices to define formal series generalizing the usual ones. These series come with several products (for instance a pre-Lie product, an associative product, and their Kleene stars) enriching the usual ones on classical power series. This provides a framework and a toolbox to strike combinatorial questions in an original way. The first two chapters pose the elementary notions of combinatorics and algebraic combinatorics used here. The last ten chapters contain our original research.
The minimum forcing number of perfect matchings in the hypercube
Published
• View Publication
• BIB
Let $M$ be a perfect matching in a graph. A subset $S$ of $M$ is said to be a forcing set of $M$, if $M$ is the only perfect matching in the graph that contains $S$. The minimum size of a forcing set of $M$ is called the forcing number of $M$. Pachter and Kim [Discrete Math. 190 (1998) 287--294] conjectured that the forcing number of every perfect matching in the $n$-dimensional hypercube is at least $2^{n-2}$, for all $n \ge 2$. Riddle [Discrete Math. 245 (2002) 283-292] proved this for even $n$. We show that the conjecture holds for all $n \ge 2$. The proof is based on simple linear algebra.
Site percolation on non-regular pseudo-random graphs
We study site percolation on a sequence of graphs $\{G_n\}_{n\geq1}$ on $n$ vertices where degree of each vertex is in the interval $(np -a_n, np+a_n)$ and the co-degree of every pair of vertices is at most ${n}p^2+ b_n$, where $p \in (0,1)$ and $\{a_n\}_{n\geq1}$, $\{b_n\}_{n\geq1}$ are sequences of real numbers. Under suitable conditions on $p \in (0,1)$, $a_n$'s and $b_n$'s we show that site percolation on these sequences of graphs undergo a sharp phase transition at $\frac{1}{np}$. More precisely for $\varepsilon>0$, we form a random set $R(ρ_n)$ by including each vertex of $G_n$ independently with probability $ρ_n$. If $ρ_n = \frac{1-\varepsilon}{np}$, then for every small enough $\varepsilon>0$ and $n$ large enough, all connected components in the subgraph of $G_n$ induced by $R(ρ_n)$ are of size at most poly-logarithmic in $n$ with high probability. If $ρ_n = \frac{1+\varepsilon}{np}$, then for every small enough $\varepsilon>0$ and $n$ large enough, the subgraph of $G_n$ induced by $R(ρ_n)$ contains a 'giant' connected component of size at least $\frac{\varepsilon}{p}$ with high probability. Further, we show that under an additional assumption on $\{b_n\}_{n\geq 1}$ the giant component is unique. This partially resolves a question by Krivelevich \cite{krivelevich2016phase} regrading uniqueness of the giant component of site percolation in a general class of regular pseudo-random graphs. We hope that our method of proving uniqueness of the giant component will be applicable in other contexts as well.
Redundant edges in Ramsey graphs
Published
• View Publication
• BIB
For graphs $G$, $F$ and $H$, let $G\rightarrow (F,H)$ signify that any edge coloring of $G$ in red and blue contains a red $F$ or a blue $H$. The Ramsey number $R(F,H)=\min\{r|\; K_r\rightarrow (F,H)\}$. In this note, we consider redundant edges in Ramsey graphs, which are associate with critical Ramsey numbers. For an integer $k\ge 1$, let ${\mathbb G}=\{G_k,G_{k+1},\dots \}$ be a class of graphs with $δ(G_n)\ge 1$. We define the critical Ramsey number $R_{\mathbb G}(F,H)$ with respect to $\mathbb G$ to be $\max\{n|\; K_r\setminus G_n \rightarrow(F,H),\,G_n\in{\mathbb G}\big\}$, where $r=R(F,H)$. We shall determine some $R_{\mathbb G}(F,H)$, where ${\mathbb G}$ consists of stars, matchings and complete graphs, respectively.
Uniquely $K^{(k)}_r$-saturated Hypergraphs
In this paper we generalize the concept of uniquely $K_r$-saturated graphs to hypergraphs. Let $K_r^{(k)}$ denote the complete $k$-uniform hypergraph on $r$ vertices. For integers $k,r,n$ such that $2\le k <r<n$, a $k$-uniform hypergraph $H$ with $n$ vertices is uniquely $K_r^{(k)}$-saturated if $H$ does not contain $K_r^{(k)}$ but adding to $H$ any $k$-set that is not a hyperedge of $H$ results in exactly one copy of $K_r^{(k)}$. Among uniquely $K_r^{(k)}$-saturated hypergraphs, the interesting ones are the primitive ones that do not have a dominating vertex---a vertex belonging to all possible ${n-1\choose k-1}$ edges. Translating the concept to the complements of these hypergraphs, we obtain a natural restriction of $τ$-critical hypergraphs: a hypergraph $H$ is uniquely $τ$-critical if for every edge $e$, $τ(H-e)=τ(H)-1$ and $H-e$ has a unique transversal of size $τ(H)-1$.
We have two constructions for primitive uniquely $K_r^{(k)}$-saturated hypergraphs. One shows that for $k$ and $r$ where $4\le k<r\le 2k-3$, there exists such a hypergraph for every $n>r$. This is in contrast to the case $k=2$ and $r=3$ where only the Moore graphs of diameter two have this property. Our other construction keeps $n-r$ fixed; in this case we show that for any fixed $k\ge 2$ there can only be finitely many examples. We give a range for $n$ where these hypergraphs exist. For $n-r=1$ the range is completely determined: $k+1\le n \le {(k+2)^2\over 4}$. For larger values of $n-r$ the upper end of our range reaches approximately half of its upper bound. The lower end depends on the chromatic number of certain Johnson graphs.
Covers and partial transversals of Latin squares
Published in Des. Codes Cryptogr. 87 (2019), 1109-1136
• View Publication
• BIB
We define a cover of a Latin square to be a set of entries that includes at least one representative of each row, column and symbol. A cover is minimal if it does not contain any smaller cover. A partial transversal is a set of entries that includes at most one representative of each row, column and symbol. A partial transversal is maximal if it is not contained in any larger partial transversal. We explore the relationship between covers and partial transversals.
We prove the following: (1) The minimum size of a cover in a Latin square of order $n$ is $n+a$ if and only if the maximum size of a partial transversal is either $n-2a$ or $n-2a+1$. (2) A minimal cover in a Latin square of order $n$ has size at most $μ_n=3(n+1/2-\sqrt{n+1/4})$. (3) There are infinitely many orders $n$ for which there exists a Latin square having a minimal cover of every size from $n$ to $μ_n$. (4) Every Latin square of order $n$ has a minimal cover of a size which is asymptotically equal to $μ_n$. (5) If $1\le k\le n/2$ and $n\ge5$ then there is a Latin square of order $n$ with a maximal partial transversal of size $n-k$. (6) For any $ε>0$, asymptotically almost all Latin squares have no maximal partial transversal of size less than $n-n^{2/3+ε}$.
Linear $d$-polychromatic $Q_{d-1}$-colorings of the Hypercube
Published
• View Publication
• BIB
Let $n \ge d \ge \ell \ge 1$ be integers, and denote the $n$-dimensional hypercube by $Q_n$. A coloring of the $\ell$-dimensional subcubes $Q_\ell$ in $Q_n$ is called a $Q_\ell$-coloring. Such a coloring is $d$-polychromatic if every $Q_d$ in the $Q_n$ contains a $Q_\ell$ of every color. In this paper we consider a specific class of $Q_\ell$-colorings that are called linear. Given $\ell$ and $d$, let $p_{lin}^\ell(d)$ be the largest number of colors such that there is a $d$-polychromatic linear $Q_\ell$-coloring of $Q_n$ for all $n \ge d$. We prove that for all $d \ge 3$, $p_{lin}^{d-1}(d) = 2$. In addition, using a computer search, we determine $p_{lin}^\ell(d)$ for some specific values of $\ell$ and $d$, in some cases improving on previously known lower bounds.
The vertex-isoperimetric number of the incidence andnon-incidence graphs of unitals
Published
• View Publication
• BIB
We derive upper and lower bounds for the vertex-isoperimetric number of the incidence graphs of unitals and determine its order of magnitude. In the case when a unital contains sufficiently large arcs, these bounds agree and give rise to the precise value of this parameter. In particular, we obtain the exact value of the vertex-isoperimetric number of the incidence graphs of classical unitals and a certain subfamily of BM-unitals. In the case when the maximum size of arcs in the unital is relatively small, we obtain an upper bound for this parameter in terms of the vertex-isoperimetric number of the incidence graph. We also determine the exact value of the vertex-isoperimetric number of the non-incidence graph of any unital.
Improved lower bound on generalized Erdos-Ginzburg-Ziv constants
If $G$ is a finite Abelian group, define $s_{k}(G)$ to be the minimal $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. Recently Bitz et al. proved that if $n = exp(G)$, then $s_{2n}(C_{n}^{r}) > \frac{n}{2}[\frac{5}{4}-O(n^{-\frac{3}{2}})]^{r}$ and $s_{k n}(C_{n}^{r}) > \frac{k n}{4} [1+\frac{1}{e k}-O(\frac{1}{n})]^{r}$ for $k > 2$. In this note, we sharpen their general bound by showing that $s_{k n}(C_{n}^{r}) > \frac{k n}{4} [1+\frac{(k-1)^{(k-1)}}{k^k}-O(\frac{1}{n})]^{r}$ for $k > 2$.
The oriented size Ramsey number of directed paths
Published
• View Publication
• BIB
An oriented graph is a directed graph with no bi-directed edges, i.e. if $xy$ is an edge then $yx$ is not an edge. The oriented size Ramsey number of an oriented graph $H$, denoted by $r(H)$, is the minimum $m$ for which there exists an oriented graph $G$ with $m$ edges, such that every $2$-colouring of $G$ contains a monochromatic copy of $H$.
In this paper we prove that the oriented size Ramsey number of the directed paths on $n$ vertices satisfies $r(P_n) = Ω(n^2 \log n)$. This improves a lower bound by Ben-Eliezer, Krivelevich and Sudakov. It also matches an upper bound by Bucić and the authors, thus establishing an asymptotically tight bound on $r(P_n)$.
We also discuss how our methods can be used to improve the best known lower bound of the $k$-colour version of $r(P_n)$.
Exponential Lower Bounds on the Generalized Erdős-Ginzburg-Ziv Constant
Published in Discrete Mathematics Vol. 343, 2017
• View Publication
• BIB
For a finite abelian group $G$, the generalized Erdős--Ginzburg--Ziv constant $\mathsf s_{k}(G)$ is the smallest $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. If $n = \exp(G)$ is the exponent of $G$, the previously best known bounds for $\mathsf s_{kn}(C_n^r)$ were linear in $n$ and $r$ when $k\ge 2$. Via a probabilistic argument, we produce the exponential lower bound \[ \mathsf s_{2n}(C_n^r) > \frac{n}{2}[1.25 - O(n^{-3/2})]^r \] for $n > 0$. For the general case, we show \[ \mathsf s_{kn}(C_n^r) > \frac{kn}{4}\Big(1+\frac{1}{ek} + O\Big(\frac{1}{n}\Big)\Big)^r. \]
Gigantic random simplicial complexes
Published
• View Publication
• BIB
We provide a random simplicial complex by applying standard constructions to a Poisson point process in Euclidean space. It is gigantic in the sense that - up to homotopy equivalence - it almost surely contains infinitely many copies of every compact topological manifold, both in isolation and in percolation.
On Edge-Colored Saturation Problems
Published
• View Publication
• BIB
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a $(\mathcal{C},t)$ saturated graph. Let $\mathcal{C}_r(H)$ be the family consisting of every edge-colored copy of $H$ which uses exactly $r$ colors.
In this paper we consider a variety of colored saturation problems. We determine the order of magnitude for $\mathrm{sat}_t(n, \mathcal{C}_r(K_k))$ for all $r$, showing a sharp change in behavior when $r\geq \binom{k-1}{2}+2$. A particular case of this theorem proves a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We determine $\mathrm{sat}_t(n, \mathcal{C}_2(K_3))$ exactly and determine the extremal graphs. Additionally, we document some interesting irregularities in the colored saturation function.