Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A corollary of Stanley's Hook Content Formula
We use the hook lengths of a partition to define two rectangular tableaux. We prove these tableaux have equal multisets of entries, first by elementary combinatorial arguments, and then using Stanley's Hook Content Formula and symmetric polynomials.
Classifications of $\ell$-Zero-Sumfree Sets
Published
• View Publication
• BIB
The set of all $\ell$-zero-sumfree subsets of $\mathbb{Z}/n\mathbb{Z}$ is a simplicial complex denoted by $Δ_{n,\ell}$ We create an algorithm via defining a set of integer partitions we call $(n,\ell)$-congruent partitions in order to compute this complex for moderately-sized parameters $n$ and $\ell$. We also theoretically determine $Δ_{n,\ell}$ for several infinite families of parameters, and compute the intersection lattices and the characteristic polynomials of the corresponding coordinate subspace arrangements.
Determining Finite Connected Graphs Along the Quadratic Embedding Constants of Paths
Published in Electronic Journal of Graph Theory and Applications (EJGTA) Vol. 9 No. 2 (2021), 539 - 560
• View Publication
• BIB
The QE constant of a finite connected graph $G$, denoted by $\mathrm{QEC}(G)$, is by definition the maximum of the quadratic function associated to the distance matrix on a certain sphere of codimension two. We prove that the QE constants of paths $P_n$ form a strictly increasing sequence converging to $-1/2$. Then we formulate the problem of determining all the graphs $G$ satisfying $\mathrm{QEC}(P_n)\le\mathrm{QEC}(G)<\mathrm{QEC}(P_{n+1})$. The answer is given for $n=2$ and $n=3$ by exploiting forbidden subgraphs for $\mathrm{QEC}(G)<-1/2$ and the explicit QE constants of star products of the complete graphs.
The LexCycle on $\overline{P_{2}\cup P_{3}}$-free Cocomparability Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (December 28, 2020) dmtcs:5385
• View Publication
• BIB
A graph $G$ is a cocomparability graph if there exists an acyclic transitive orientation of the edges of its complement graph $\overline{G}$. LBFS$^{+}$ is a variant of the generic Lexicographic Breadth First Search (LBFS), which uses a specific tie-breaking mechanism. Starting with some ordering $σ_{0}$ of $G$, let $\{σ_{i}\}_{i\geq 1}$ be the sequence of orderings such that $σ_{i}=$LBFS$^{+}(G, σ_{i-1})$. The LexCycle($G$) is defined as the maximum length of a cycle of vertex orderings of $G$ obtained via such a sequence of LBFS$^{+}$ sweeps. Dusart and Habib conjectured in 2017 that LexCycle($G$)=2 if $G$ is a cocomparability graph and proved it holds for interval graphs. In this paper, we show that LexCycle($G$)=2 if $G$ is a $\overline{P_{2}\cup P_{3}}$-free cocomparability graph, where a $\overline{P_{2}\cup P_{3}}$ is the graph whose complement is the disjoint union of $P_{2}$ and $P_{3}$. As corollaries, it's applicable for diamond-free cocomparability graphs, cocomparability graphs with girth at least 4, as well as interval graphs.
A Lower Bound for Relaxed Locally Decodable Codes
A locally decodable code (LDC) C:{0,1}^k -> {0,1}^n is an error correcting code wherein individual bits of the message can be recovered by only querying a few bits of a noisy codeword. LDCs found a myriad of applications both in theory and in practice, ranging from probabilistically checkable proofs to distributed storage. However, despite nearly two decades of extensive study, the best known constructions of O(1)-query LDCs have super-polynomial blocklength.
The notion of relaxed LDCs is a natural relaxation of LDCs, which aims to bypass the foregoing barrier by requiring local decoding of nearly all individual message bits, yet allowing decoding failure (but not error) on the rest. State of the art constructions of O(1)-query relaxed LDCs achieve blocklength n = O(k^{1+ γ}) for an arbitrarily small constant γ.
We prove a lower bound which shows that O(1)-query relaxed LDCs cannot achieve blocklength n = k^{1+ o(1)}. This resolves an open problem raised by Goldreich in 2004.
A unified proof of conjectures on cycle lengths in graphs
Published
• View Publication
• BIB
In this paper, we prove a tight minimum degree condition in general graphs for the existence of paths between two given endpoints, whose lengths form a long arithmetic progression with common difference one or two. This allows us to obtain a number of exact and optimal results on cycle lengths in graphs of given minimum degree, connectivity or chromatic number.
More precisely, we prove the following statements by a unified approach. (1) Every graph $G$ with minimum degree at least $k+1$ contains cycles of all even lengths modulo $k$; in addition, if $G$ is 2-connected and non-bipartite, then it contains cycles of all lengths modulo $k$. (2) For all $k\geq 3$, every $k$-connected graph contains a cycle of length zero modulo $k$. (3) Every 3-connected non-bipartite graph with minimum degree at least $k+1$ contains $k$ cycles of consecutive lengths. (4) Every graph with chromatic number at least $k+2$ contains $k$ cycles of consecutive lengths. The first statement is a conjecture of Thomassen, the second is a conjecture of Dean, the third is a tight answer to a question of Bondy and Vince, and the fourth is a conjecture of Sudakov and Verstraëte. All of the above results are best possible.
The intersection of two vertex coloring problems
Published
• View Publication
• BIB
A hole is an induced cycle with at least four vertices. A hole is even if its number of vertices is even. Given a set L of graphs, a graph G is L-free if G does not contain any graph in L as an induced subgraph. Currently, the following two problems are unresolved: the complexity of coloring even hole-free graphs, and the complexity of coloring {4K1, C4}-free graphs. The intersection of these two problems is the problem of coloring {4K1, C4, C6}-free graphs. In this paper we present partial results on this problem.
Circularly squarefree words and unbordered conjugates: a new approach
Published
• View Publication
• BIB
Using a new approach based on automatic sequences, logic, and a decision procedure, we reprove some old theorems about circularly squarefree words and unbordered conjugates in a new and simpler way. Furthermore, we prove three new results about unbordered conjugates: we complete the classification, due to Harju and Nowotka, of binary words with the maximum number of unbordered conjugates; we prove that for every possible number, up to the maximum, there exists a word having that number of unbordered conjugates, and finally, we determine the expected number of unbordered conjugates in a random word.
Upper tails via high moments and entropic stability
Published
• View Publication
• BIB
Suppose that $X$ is a bounded-degree polynomial with nonnegative coefficients on the $p$-biased discrete hypercube. Our main result gives sharp estimates on the logarithmic upper tail probability of $X$ whenever an associated extremal problem satisfies a certain entropic stability property. We apply this result to solve two long-standing open problems in probabilistic combinatorics: the upper tail problem for the number of arithmetic progressions of a fixed length in the $p$-random subset of the integers and the upper tail problem for the number of cliques of a fixed size in the random graph $G_{n,p}$. We also make significant progress on the upper tail problem for the number of copies of a fixed regular graph $H$ in $G_{n,p}$. To accommodate readers who are interested in learning the basic method, we include a short, self-contained solution to the upper tail problem for the number of triangles in $G_{n,p}$ for all $p=p(n)$ satisfying $n^{-1}\log n\ll p \ll 1$.
On the neighborhood complex of $\vec{s}$-stable Kneser graphs
Published
• View Publication
• BIB
In 2002, A. Björner and M. de Longueville showed the neighborhood complex of the $2$-stable Kneser graph ${KG(n, k)}_{2-\textit{stab}}$ has the same homotopy type as the $(n-2k)$-sphere. A short time ago, an analogous result about the homotopy type of the neighborhood complex of almost $s$-stable Kneser graph has been announced by J. Osztényi. Combining this result with the famous Lovász's topological lower bound on the chromatic number of graphs has been yielded a new way for determining the chromatic number of these graphs which was determined a bit earlier by P. Chen.
In this paper we present a common generalization of the mentioned results. We will define the $\vec{s}$-stable Kneser graph ${KG(n, k)}_{\vec{s}-\textit{stab}}$ as the induced subgraph of the Kneser graph $KG(n, k)$ on $\vec{s}$-stable vertices. And we prove, for given an integer vector $\vec{s}=(s_1,\ldots, s_k)$ and $n\geq\sum_{i=1}^{k-1}s_i+2$ where $s_i\geq2$ for $i\neq k$ and $s_k\in\{1,2\}$, the neighborhood complex of ${KG(n, k)}_{\vec{s}-\textit{stab}}$ is homotopy equivalent to the $\left(n-\sum_{i=1}^{k-1}s_i-2\right)$-sphere. In particular, this implies that $χ\left({KG(n, k)}_{\vec{s}-\textit{stab}}\right)= n-\sum_{i=1}^{k-1}s_i$ for the mentioned parameters. Moreover, as a simple corollary of the previous result, we will determine the chromatic number of 3-stable kneser graphs with at most one error.
Higher dimensional connectivity and minimal degree of random graphs with an eye towards minimal free resolutions
In this note we define and study graph invariants generalizing to higher dimension the maximum degree of a vertex and the vertex-connectivity (our $0$-dimensional cases). These are known to coincide almost surely in any regime for Erdoes-Renyi random graphs. We show the same in the one dimensional case for a middle density regime and show the easier inequality for all dimensions in the same regime. Our original motivation comes from the study of minimal free resolutions of Stanley-Reisner rings of clique complexes of graphs in commutative algebra, In that setting the higher dimensional vertex connectivities determine the lengths of the strands. Through our results we aim to replace (asymptotically) vertex connectivity by a simpler invariant.
A modification of Wythoff's Nim
We modify Wythoff's game by allowing an additional move, which we call a "split", and show how the $P$-positions are coded by the Tribonacci word. We analyze the table of letter positions of arbitrary $k$-bonacci words and find a $\mathrm{mex}$-rule that generates the Quadribonacci table.
Type $\tilde{C}$ Temperley-Lieb algebra quotients and Catalan combinatorics
Published
• View Publication
• BIB
We study some algebraic and combinatorial features of two algebras that arise as quotients of Temperley-Lieb algebras of type $\tilde{C}$, namely, the two-boundary Temperley-Lieb algebra and the symplectic blob algebra. We provide a monomial basis for both algebras. The elements of these bases are parameterized by certain subsets of fully commutative elements. We enumerate these elements according to their affine length.
Hook-length formula and applications to alternating permutations
In this paper, we take interest in finding applications for a hook-length formula recently proved in (Morales Pak Panova 2016). This formula can be applied to give a non trivial relation between alternating permutations and weighted Dyck paths. First, we give an alternative proof for this result using continued fractions, and then we apply a similar reasoning to the more general case of $k$-alternating permutations.
Re-pairing brackets
Published
• View Publication
• BIB
Consider the following one-player game. Take a well-formed sequence of opening and closing brackets. As a move, the player can pair any opening bracket with any closing bracket to its right, erasing them. The goal is to re-pair (erase) the entire sequence, and the complexity of a strategy is measured by its width: the maximum number of nonempty segments of symbols (separated by blank space) seen during the play.
For various initial sequences, we prove upper and lower bounds on the minimum width sufficient for re-pairing. (In particular, the sequence associated with the complete binary tree of height $n$ admits a strategy of width sub-exponential in $\log n$.) Our two key contributions are (1) lower bounds on the width and (2) their application in automata theory: quasi-polynomial lower bounds on the translation from one-counter automata to Parikh-equivalent nondeterministic finite automata. The latter result answers a question by Atig et al. (2016).
The Hopf Monoid of Orbit Polytopes
Published in Journal of Combinatorics 11 (2020) 575-601
• View Publication
• BIB
Many families of combinatorial objects have a Hopf monoid structure. Aguiar and Ardila introduced the Hopf monoid of generalized permutahedra and showed that it contains various other notable combinatorial families as Hopf submonoids, including graphs, posets, and matroids. We introduce the Hopf monoid of orbit polytopes, which is generated by the generalized permutahedra that are invariant under the action of the symmetric group. We show that modulo normal equivalence, these polytopes are in bijection with integer compositions. We interpret the Hopf structure through this lens, and we show that applying the first Fock functor to this Hopf monoid gives a Hopf algebra of compositions. We describe the character group of the Hopf monoid of orbit polytopes in terms of noncommutative symmetric functions, and we give a combinatorial interpretation of the basic character and its polynomial invariant.
The phylogeny number in the aspect of triangles and diamonds of a graph
Given an acyclic digraph $D$, the competition graph of $D$, denoted by $C(D)$, is the simple graph having vertex set $V(D)$ and edge set $\{uv \mid (u, w), (v, w) \in A(D) \text{ for some } w \in V(D) \}$. The phylogeny graph of an acyclic digraph $D$, denoted by $P(D)$, is the graph with the vertex set $V(D)$ and the edge set $E(U(D)) \cup E(C(D))$ where $U(D)$ denotes the underlying graph of $D$. The notion of phylogeny graphs was introduced by Roberts and Sheng~\cite{roberts1997phylogeny} as a variant of competition graph. Moral graphs having arisen from studying Bayesian networks are the same as phylogeny graphs. In this paper, we integrate the existing theorems computing phylogeny numbers of connected graph with a small number of triangles into one proposition: for a graph $G$ containing at most two triangle, $ |E(G)|-|V(G)|-2t(G)+d(G)+1 \le p(G) \le |E(G)|-|V(G)|-t(G)+1 $ where $t(G)$ and $d(G)$ denote the number of triangles and the number of diamond in $G$, respectively. Then we show that these inequalities hold for graphs with many triangles. In the process of showing it, we derive a useful theorem which plays a key role in deducing various meaningful results including a theorem that answers a question given by Wu~{\it et al.}~\cite{Wu2019}.
A Turán-type theorem for large-distance graphs in Euclidean spaces, and related isodiametric problems
Published in Discrete & Computational Geometry, 66(1), 281-300 (2021)
• View Publication
• BIB
Given a measurable set $A\subset \mathbb R^d$ we consider the "large-distance graph" $\mathcal{G}_A$, on the ground set $A$, in which each pair of points from $A$ whose distance is bigger than 2 forms an edge. We consider the problems of maximizing the $2d$-dimensional Lebesgue measure of the edge set as well as the $d$-dimensional Lebesgue measure of the vertex set of a large-distance graph in the $d$-dimensional Euclidean space that contains no copies of a complete graph on $k$ vertices. The former problem may be seen as a continuous analogue of Turán's classical graph theorem, and the latter as a graph-theoretic analogue of the classical isodiametric problem. Our main result yields an analogue of Mantel's theorem for large-distance graphs. Our approach employs an isodiametric inequality in an annulus, which might be of independent interest.
Quaternary Hermitian linear complementary dual codes
Published in IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 66, 2020 2751-2759
• View Publication
• BIB
The largest minimum weights among quaternary Hermitian linear complementary dual codes are known for dimension $2$. In this paper, we give some conditions for the nonexistence of quaternary Hermitian linear complementary dual codes with large minimum weights. As an application, we completely determine the largest minimum weights for dimension $3$, by using a classification of some quaternary codes. In addition, for a positive integer $s$, a maximal entanglement entanglement-assisted quantum $[[21s+5,3,16s+3;21s+2]]$ codes is constructed for the first time from a quaternary Hermitian linear complementary dual $[26,3,19]$ code.
One-adhesive polymatroids
Published
• View Publication
• BIB
Adhesive polymatroids were defined by F. Matúš motivated by entropy functions. Two polymatroids are adhesive if they can be glued together along their joint part in a modular way; and are one-adhesive, if one of them has a single point outside their intersection. It is shown that two polymatroids are one-adhesive if and only if two closely related polymatroids have any extension. Using this result, adhesive polymatroid pairs on a five-element set are characterized.