Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Codes over Trees
Published
• View Publication
• BIB
In graph theory, a tree is one of the more popular families of graphs with a wide range of applications in computer science as well as many other related fields. While there are several distance measures over the set of all trees, we consider here the one which defines the so-called tree distance, defined by the minimum number of edit operations, of removing and adding edges, in order to change one tree into another. From a coding theoretic perspective, codes over the tree distance are used for the correction of edge erasures and errors. However, studying this distance measure is important for many other applications that use trees and properties on their locality and the number of neighbor trees. Under this paradigm, the largest size of code over trees with a prescribed minimum tree distance is investigated. Upper bounds on these codes as well as code constructions are presented. A significant part of our study is dedicated to the problem of calculating the size of the ball of trees of a given radius. These balls are not regular and thus we show that while the star tree has asymptotically the smallest size of the ball, the maximum is achieved for the path tree.
New results on simplex-clusters in set systems
Published
• View Publication
• BIB
A $d$-simplex is defined to be a collection $A_1,\dots,A_{d+1}$ of subsets of size $k$ of $[n]$ such that the intersection of all of them is empty, but the intersection of any $d$ of them is non-empty. Furthermore, a $d$-cluster is a collection of $d+1$ such sets with empty intersection and union of size $\le 2k$, and a $d$-simplex-cluster is such a collection that is both a $d$-simplex and a $d$-cluster. The Erdős-Chvátal $d$-simplex Conjecture from 1974 states that any family of $k$-subsets of $[n]$ containing no $d$-simplex must be of size no greater than $ {n -1 \choose k-1}$. In 2011, Keevash and Mubayi extended this conjecture by hypothesizing that the same bound would hold for families containing no $d$-simplex-cluster. In this paper, we resolve Keevash and Mubayi's conjecture for all $4 \le d+1 \le k$ and $n \ge 2k-d+2$, which in turn resolves all remaining cases of the Erdős-Chvátal Conjecture except when $n$ is very small (i.e. $n < 2k-d+2$).
The probability of selecting $k$ edge-disjoint Hamilton cycles in the complete graph
Let $H_1,\dots,H_k$ be Hamilton cycles in $K_n$, chosen independently and uniformly at random. We show, for $k = o(n^{1/100})$, that the probability of $H_1,\dots,H_k$ being edge-disjoint is $(1+o(1))e^{-2\binom{k}{2}}$. This extends a corresponding estimate obtained by Robbins in the case $k=2$.
A note on maximum size of Berge-$C_4$-free hypergraphs
Published
• View Publication
• BIB
In this paper, we consider maximum possible value for the sum of cardinalities of hyperedges of a hypergraph without a Berge $4$-cycle. We significantly improve the previous upper bound provided by Gerbner and Palmer. Furthermore, we provide a construction that slightly improves the previous lower bound.
A note on tight cuts in matching-covered graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (June 14, 2021) dmtcs:6013
• View Publication
• BIB
Edmonds, Lovász, and Pulleyblank showed that if a matching covered graph has a nontrivial tight cut, then it also has a nontrivial ELP-cut. Carvalho et al. gave a stronger conjecture: if a matching covered graph has a nontrivial tight cut $C$, then it also has a nontrivial ELP-cut that does not cross $C$. Chen, et al gave a proof of the conjecture. This note is inspired by the paper of Carvalho et al. We give a simplified proof of the conjecture, and prove the following result which is slightly stronger than the conjecture: if a nontrivial tight cut $C$ of a matching covered graph $G$ is not an ELP-cut, then there is a sequence $G_1=G, G_2,\ldots,G_r, r\geq2$ of matching covered graphs, such that for $i=1, 2,\ldots, r-1$, $G_i$ has an ELP-cut $C_i$, and $G_{i+1}$ is a $C_i$-contraction of $G_i$, and $C$ is a $2$-separation cut of $G_r$.
On Kostant's weight $q$-multiplicity formula for $\mathfrak{sl}_{4}(\mathbb{C})$
Published
• View Publication
• BIB
The $q$-analog of Kostant's weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. This formula, when evaluated at $q=1$, gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra $\mathfrak{sl}_4(\mathbb{C})$ and give closed formulas for the $q$-analog of Kostant's weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the $q$-analog of Kostant's partition function by counting restricted colored integer partitions. These formulas, when evaluated at $q=1$, recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostant's weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of $\mathfrak{sl}_4(\mathbb{C})$, which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.
Compressão de Entropia e Colorações Legítimas em Planos Projetivos
We prove that the entropy compression method systematized by L. Esperet and A. Parreau can be applied to any problem formulated in the variable version of the Lovasz Local Lemma. As an application, we prove the existence of legitimate colorings for projective planes with small orders, which extends results of N. Alon and Z. Fured. In fact, we allow different numbers of colors, proving that projective planes of any order can be legitimate colored with 42 colors.
Orienting Borel Graphs
Published
• View Publication
• BIB
We investigate when a Borel graph admits a (Borel or measurable) orientation with outdegree bounded by $k$ for various cardinals $k$. We show that for a p.m.p. graph $G$, a measurable orientation can be found when $k$ is larger than the normalized cost of the restriction of $G$ to any positive measure subset. Using an idea of Conley and Tamuz, we can also find Borel orientations of graphs with subexponential growth; however, for every $k$ we also find graphs which admit measurable orientations with outdegree bounded by $k$ but no such Borel orientations. Finally, for special values of $k$ we bound the projective complexity of Borel $k$-orientability for graphs and graphings of equivalence relations. It follows from these bounds that the set of equivalence relations admitting a Borel selector is $\mathbfΣ^1_2$ in the codes, in stark contrast to the case of smooth relations.
Connectedness of Lakshmibai-Seshadri path crystals for hyperbolic Kac-Moody algebras of rank 2
Published
• View Publication
• BIB
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a necessary and sufficient condition for the crystal graph of the Lakshmibai-Seshadri path crystal $\mathbb{B}(λ)$ to be connected for an arbitrary integral weight $λ$.
Normal crossing immersions, cobordisms and flips
We study various analogues of theorems from PL topology for cubical complexes. In particular, we characterize when two PL homeomorphic cubulations are equivalent by Pachner moves by showing the question to be equivalent to the existence of cobordisms between generic immersions of hypersurfaces. This solves a question and conjecture of Habegger and Funar.
Some results on the subadditivity condition of syzygies
Published
• View Publication
• BIB
Among other results, we prove that if $I$ is a monomial ideal of $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $a\geq b-1\geq0$ are integers such that $a+b\leq\mathrm{proj~dim}(S/I)$, then $$t_{a+b}\leq t_a+t_1+t_2+\cdots+t_b-\frac{b(b-1)}{2},$$ where $t_1,t_2,\dots$ are the maximal shifts in the minimal graded free $S$-resolution of $S/I$.
Induced subgraphs of product graphs and a generalization of Huang's theorem
Published
• View Publication
• BIB
Recently, Huang showed that every $(2^{n-1}+1)$-vertex induced subgraph of the $n$-dimensional hypercube has maximum degree at least $\sqrt{n}$ in [Annals of Mathematics, 190 (2019), 949--955]. In this paper, we discuss the induced subgraphs of Cartesian product graphs and semi-strong product graphs to generalize Huang's result. Let $Γ_1$ be a connected signed bipartite graph of order $n$ and $Γ_2$ be a connected signed graph of order $m$. By defining two kinds of signed product of $Γ_1$ and $Γ_2$, denoted by $Γ_1\widetilde{\Box}Γ_2$ and $Γ_1\widetilde{\bowtie} Γ_2$, we show that if $Γ_1$ and $Γ_2$ have exactly two distinct adjacency eigenvalues $\pmθ_1$ and $\pmθ_2$ respectively, then every $(\frac{1}{2}mn+1)$-vertex induced subgraph of $Γ_1\widetilde{\Box}Γ_2$ (resp. $Γ_1\widetilde{\bowtie} Γ_2$) has maximum degree at least $\sqrt{θ_1^2+θ_2^2}$ (resp. $\sqrt{(θ_1^2+1)θ_2^2}$). Moreover, we discuss the eigenvalues of $Γ_1\widetilde{\Box} Γ_2$ and $Γ_1\widetilde{\bowtie} Γ_2$ and obtain a sufficient and necessary condition such that the spectrum of $Γ_1\widetilde{\Box}Γ_2$ and $Γ_1\widetilde{\bowtie}Γ_2$ are symmetric, from which we obtain more general results on maximum degree of the induced subgraphs.
Connectivity and eigenvalues of graphs with given girth or clique number
Published
• View Publication
• BIB
Let $κ'(G)$, $κ(G)$, $μ_{n-1}(G)$ and $μ_1(G)$ denote the edge-connectivity, vertex-connectivity, the algebraic connectivity and the Laplacian spectral radius of $G$, respectively. In this paper, we prove that for integers $k\geq 2$ and $r\geq 2$, and any simple graph $G$ of order $n$ with minimum degree $δ\geq k$, girth $g\geq 3$ and clique number $ω(G)\leq r$, the edge-connectivity $κ'(G)\geq k$ if $μ_{n-1}(G) \geq \frac{(k-1)n}{N(δ,g)(n-N(δ,g))}$ or if $μ_{n-1}(G) \geq \frac{(k-1)n}{\varphi(δ,r)(n-\varphi(δ,r))}$, where $N(δ,g)$ is the Moore bound on the smallest possible number of vertices such that there exists a $δ$-regular simple graph with girth $g$, and $\varphi(δ,r) = \max\{δ+1,\lfloor\frac{rδ}{r-1}\rfloor\}$. Analogue results involving $μ_{n-1}(G)$ and $\frac{μ_1(G)}{μ_{n-1}(G)}$ to characterize vertex-connectivity of graphs with fixed girth and clique number are also presented. Former results in [Linear Algebra Appl. 439 (2013) 3777--3784], [Linear Algebra Appl. 578 (2019) 411--424], [Linear Algebra Appl. 579 (2019) 72--88], [Appl. Math. Comput. 344-345 (2019) 141--149] and [Electronic J. Linear Algebra 34 (2018) 428--443] are improved or extended.
Restriction of Global Bases and Rhoades's Theorem
Published in Adv. Math. 384 (2021), 107725
• View Publication
• BIB
It is shown that if $λ$ is a multiple of a fundamental weight of $\mathfrak{sl}_k$, the lower global basis of the irreducible $U_q(\mathfrak{sl}_k)$-representation $V^λ$ with highest weight $λ$ comprises the disjoint union of the lower global bases of the irreducible $U_q(\mathfrak{sl}_{k-1})$-representations appearing in the decomposition of the restriction of $V^λ$ to $U_q(\mathfrak{sl}_{k-1})$. Rhoades's description of the action of the long cycle on the dual canonical basis of $V^λ$ is then deduced from Berenstein--Zelevinsky's description of the action of the long element. This yields a short proof of Rhoades's result on tableaux fixed under promotion which directly relates it to Stembridge's result on tableaux fixed under evacuation.
The study of odd graceful and odd strongly harmonious for bipartite graph
In this paper, we investigate odd graceful graph, odd strongly harmonious graph, bipartite graph and their relationship. We proved following results: (1) if G is odd strongly harmonious graph, then G is odd graceful graph ;(2) if G is bipartite odd graceful graph, then G is odd strongly harmonious graph.
Many disjoint triangles in co-triangle-free graphs
Published in Combinator. Probab. Comp. 30 (2021) 153-162
• View Publication
• BIB
We prove that any $n$-vertex graph whose complement is triangle-free contains $n^2/12-o(n^2)$ edge-disjoint triangles. This is tight for the disjoint union of two cliques of order $n/2$. We also prove a corresponding stability theorem, that all large graphs attaining the above bound are close to being bipartite. Our results answer a question of Alon and Linial, and make progress on a conjecture of Erdős.
Efficiency Axioms for simplicial complexes
We study the notion of efficiency for cooperative games on simplicial complexes. In such games, the grand coalition $[n]$ may be forbidden, and, thus, it is a non-trivial problem to study the total number of payoff $v_Δ$ of a cooperative game $(Δ, v)$.
We address this question in the more general setting, by characterizing the individual values that satisfy the general efficient requirement $v_Δ^{gen}$ for a generic efficiency assignment. The traditional and the probabilistic efficiency are treated as a special case of this general efficiency.
Finally, we introduce a new notion of efficiency arising from the combinatorial and topological property of the simplicial complex $Δ$. The efficiency in this scenario is called simplicial and we characterize the individual values fulfilling this constraint.
Three Schur functors related to pre-Lie algebras
Published
• View Publication
• BIB
We give explicit combinatorial descriptions of three Schur functors arising in the theory of pre-Lie algebras. The first of them leads to a functorial description of the underlying vector space of the universal enveloping pre-Lie algebra of a given Lie algebra, strengthening the PBW theorem of Segal. The two other Schur functors provide functorial descriptions of the underlying vector spaces of the universal multiplicative enveloping algebra and of the module of Kähler differentials of a given pre-Lie algebra. An important consequence of such descriptions is an interpretation of the cohomology of a pre-Lie algebra with coefficients in a module as a derived functor for the category of modules over the universal multiplicative enveloping algebra.
Upper bounds for stabbing simplices by a line
Published
• View Publication
• BIB
It is known that for every dimension $d\ge 2$ and every $k<d$ there exists a constant $c_{d,k}>0$ such that for every $n$-point set $X\subset \mathbb R^d$ there exists a $k$-flat that intersects at least $c_{d,k} n^{d+1-k} - o(n^{d+1-k})$ of the $(d-k)$-dimensional simplices spanned by $X$. However, the optimal values of the constants $c_{d,k}$ are mostly unknown. The case $k=0$ (stabbing by a point) has received a great deal of attention.
In this paper we focus on the case $k=1$ (stabbing by a line). Specifically, we try to determine the upper bounds yielded by two point sets, known as the "stretched grid" and the "stretched diagonal". Even though the calculations are independent of $n$, they are still very complicated, so we resort to analytical and numerical software methods. We provide strong evidence that, surprisingly, for $d=4,5,6$ the stretched grid yields better bounds than the stretched diagonal (unlike for all cases $k=0$ and for the case $(d,k)=(3,1)$, in which both point sets yield the same bound). Our experiments indicate that the stretched grid yields $c_{4,1}\leq 0.00457936$, $c_{5,1}\leq 0.000405335$, and $c_{6,1}\leq 0.0000291323$.
Representing graphs as the intersection of cographs and threshold graphs
Published
• View Publication
• BIB
A graph $G$ is said to be the intersection of graphs $G_1,G_2,\ldots,G_k$ if $V(G)=V(G_1)=V(G_2)=\cdots=V(G_k)$ and $E(G)=E(G_1)\cap E(G_2)\cap\cdots\cap E(G_k)$. For a graph $G$, $\mathrm{dim}_{COG}(G)$ (resp. $\mathrm{dim}_{TH}(G)$) denotes the minimum number of cographs (resp. threshold graphs) whose intersection gives $G$. We present several new bounds on these parameters for general graphs as well as some special classes of graphs. It is shown that for any graph $G$: (a) $\mathrm{dim}_{COG}(G)\leq\mathrm{tw}(G)+2$, (b) $\mathrm{dim}_{TH}(G)\leq\mathrm{pw}(G)+1$, and (c) $\mathrm{dim}_{TH}(G)\leqχ(G)\cdot\mathrm{box}(G)$, where $\mathrm{tw}(G)$, $\mathrm{pw}(G)$, $χ(G)$ and $\mathrm{box}(G)$ denote respectively the treewidth, pathwidth, chromatic number and boxicity of the graph $G$. We also derive the exact values for these parameters for cycles and show that every forest is the intersection of two cographs. These results allow us to derive improved bounds on $\mathrm{dim}_{COG}(G)$ and $\mathrm{dim}_{TH}(G)$ when $G$ belongs to some special graph classes.