Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Mutation effects in ordered trees
A mutation will affect an individual and some or all of its descendants. In this paper, we investigate ordered trees with a distinguished vertex called the mutator. We describe various mutations in ordered trees, and find the generating functions for statistics concerning trees with those mutations. The examples give new interpretations to several known sequences and also introduce many new sequences and their combinatorial interpretations.
Generalized Dyck tilings
Published in European Journal of Combinatorics 51 (2016), 458--474
• View Publication
• BIB
Recently, Kenyon and Wilson introduced Dyck tilings, which are certain tilings of the region between two Dyck paths. The enumeration of Dyck tilings is related with hook formulas for forests and the combinatorics of Hermite polynomials. The first goal of this work is to give an alternative point of view on Dyck tilings by making use of the weak order and the Bruhat order on permutations. Then we introduce two natural generalizations: $k$-Dyck tilings and symmetric Dyck tilings. We are led to consider Stirling permutations, and define an analog of the Bruhat order on them. We show that certain families of $k$-Dyck tilings are in bijection with intervals in this order. We also enumerate symmetric Dyck tilings.
On the phase transition in random simplicial complexes
Published
• View Publication
• BIB
It is well-known that the $G(n,p)$ model of random graphs undergoes a dramatic change around $p=\frac 1n$. It is here that the random graph is, almost surely, no longer a forest, and here it first acquires a giant (i.e., order $Ω(n)$) connected component. Several years ago, Linial and Meshulam have introduced the $X_d(n,p)$ model, a probability space of $n$-vertex $d$-dimensional simplicial complexes, where $X_1(n,p)$ coincides with $G(n,p)$. Within this model we prove a natural $d$-dimensional analog of these graph theoretic phenomena. Specifically, we determine the exact threshold for the nonvanishing of the real $d$-th homology of complexes from $X_d(n,p)$. We also compute the real Betti numbers of $X_d(n,p)$ for $p=c/n$. Finally, we establish the emergence of giant shadow at this threshold. (For $d=1$ a giant shadow and a giant component are equivalent). Unlike the case for graphs, for $d\ge 2$ the emergence of the giant shadow is a first order phase transition.
Rank-metric codes and their duality theory
Published
• View Publication
• BIB
We compare the two duality theories of rank-metric codes proposed by Delsarte and Gabidulin, proving that the former generalizes the latter. We also give an elementary proof of MacWilliams identities for the general case of Delsarte rank-metric codes. The identities which we derive are very easy to handle, and allow us to re-establish in a very concise way the main results of the theory of rank-metric codes first proved by Delsarte employing the theory of association schemes and regular semilattices. We also show that our identities imply as a corollary the original MacWilliams identities established by Delsarte. We describe how the minimum and maximum rank of a rank-metric code relate to the minimum and maximum rank of the dual code, giving some bounds and characterizing the codes attaining them. Then we study optimal anticodes in the rank metric, describing them in terms of optimal codes (namely, MRD codes). In particular, we prove that the dual of an optimal anticode is an optimal anticode. Finally, as an application of our results to a classical problem in enumerative combinatorics, we derive both a recursive and an explicit formula for the number of $k \times m$ matrices over a finite field with given rank and $h$-trace.
Compatible Hamilton cycles in Dirac graphs
Published
• View Publication
• BIB
A graph is Hamiltonian if it contains a cycle passing through every vertex exactly once. A celebrated theorem of Dirac from 1952 asserts that every graph on $n\ge 3$ vertices with minimum degree at least $n/2$ is Hamiltonian. We refer to such graphs as Dirac graphs. In this paper we obtain the following strengthening of this result. Given a graph $G=(V,E)$, an {\em incompatibility system} $\mathcal{F}$ over $G$ is a family $\mathcal{F}=\{F_v\}_{v\in V}$ such that for every $v\in V$, the set $F_v$ is a set of unordered pairs $F_v \subseteq \{\{e,e'\}: e\ne e'\in E, e\cap e'=\{v\}\}$. An incompatibility system is {\em $Δ$-bounded} if for every vertex $v$ and an edge $e$ incident to $v$, there are at most $Δ$ pairs in $F_v$ containing $e$. We say that a cycle $C$ in $G$ is {\em compatible} with $\mathcal{F}$ if every pair of incident edges $e,e'$ of $C$ satisfies $\{e,e'\} \notin F_v$, where $v=e\cap e'$. This notion is partly motivated by a concept of transition systems defined by Kotzig in 1968, and can be viewed as a quantitative measure of robustness of graph properties. We prove that there is a constant $μ>0$ such that for every $μn$-bounded incompatibility system $\mathcal{F}$ over a Dirac graph $G$, there exists a Hamilton cycle compatible with $\mathcal{F}$. This settles in a very strong form, a conjecture of Häggkvist from 1988.
Compatible Hamilton cycles in random graphs
Published
• View Publication
• BIB
A graph is Hamiltonian if it contains a cycle passing through every vertex. One of the cornerstone results in the theory of random graphs asserts that for edge probability $p \gg \frac{\log n}{n}$, the random graph $G(n,p)$ is asymptotically almost surely Hamiltonian. We obtain the following strengthening of this result. Given a graph $G=(V,E)$, an {\em incompatibility system} $\mathcal{F}$ over $G$ is a family $\mathcal{F}=\{F_v\}_{v\in V}$ where for every $v\in V$, the set $F_v$ is a set of unordered pairs $F_v \subseteq \{\{e,e'\}: e\ne e'\in E, e\cap e'=\{v\}\}$. An incompatibility system is {\em $Δ$-bounded} if for every vertex $v$ and an edge $e$ incident to $v$, there are at most $Δ$ pairs in $F_v$ containing $e$. We say that a cycle $C$ in $G$ is {\em compatible} with $\mathcal{F}$ if every pair of incident edges $e,e'$ of $C$ satisfies $\{e,e'\} \notin F_v$. This notion is partly motivated by a concept of transition systems defined by Kotzig in 1968, and can be used as a quantitative measure of robustness of graph properties. We prove that there is a constant $μ>0$ such that the random graph $G=G(n,p)$ with $p(n) \gg \frac{\log n}{n}$ is asymptotically almost surely such that for any $μnp$-bounded incompatibility system $\mathcal{F}$ over $G$, there is a Hamilton cycle in $G$ compatible with $\mathcal{F}$. We also prove that for larger edge probabilities $p(n)\gg \frac{\log^8n}{n}$, the parameter $μ$ can be taken to be any constant smaller than $1-\frac{1}{\sqrt 2}$. These results imply in particular that typically in $G(n,p)$ for $p \gg \frac{\log n}{n}$, for any edge-coloring in which each color appears at most $μnp$ times at each vertex, there exists a properly colored Hamilton cycle.
A new and simpler noncommutative central sets theorem
Published
• View Publication
• BIB
Using dynamics, Furstenberg defined the concept of a central subset of positive integers and proved several powerful combinatorial properties of central sets. Later using the algebraic structure of the Stone-Čech compactification, Bergelson and Hindman, with the assistance of B. Weiss, generalized the notion of a central set to any semigroup and extended the most important combinatorial property of central sets to the central sets theorem. Currently the most powerful formulation of the central sets theorem is due to De, Hindman, and Strauss in [3, Corollary 3.10]. However their formulation of the central sets theorem for noncommutative semigroups is, compared to their formulation for commutative semigroups, complicated. In this paper I prove a simpler (but still equally strong) version of the noncommutative central sets theorem in Corollary 3.3.
Counting Carambolas
Published
• View Publication
• BIB
We give upper and lower bounds on the maximum and minimum number of geometric configurations of various kinds present (as subgraphs) in a triangulation of $n$ points in the plane. Configurations of interest include \emph{convex polygons}, \emph{star-shaped polygons} and \emph{monotone paths}. We also consider related problems for \emph{directed} planar straight-line graphs.
Time regularity and long-time behavior of parabolic $p$-Laplace equations on infinite graphs
Published
• View Publication
• BIB
We consider the so-called \emph{discrete $p$-Laplacian}, a nonlinear difference operator that acts on functions defined on the nodes of a possibly infinite graph. We study the associated nonlinear Cauchy problem and identify the generator of the associated nonlinear semigroups. We prove higher order time regularity of the solutions. We investigate the long-time behavior of the solutions and discuss in particular finite extinction time and conservation of mass. Namely, on one hand, for small $p$ if an infinite graph satisfies some isoperimetric inequality, then the solution to the parabolic $p$-Laplace equation vanishes in finite time; on the other hand, for large $p,$ these parabolic $p$-Laplace equations always enjoy conservation of mass.
The Local Action Lemma
The Lovász Local Lemma is a very powerful tool in probabilistic combinatorics, that is often used to prove existence of combinatorial objects satisfying certain constraints. Moser and Tardos have shown that the LLL gives more than just pure existence results: there is an effective randomized algorithm that can be used to find a desired object. In order to analyze this algorithm Moser and Tardos developed the so-called entropy compression method. It turned out that one could obtain better combinatorial results by a direct application of the entropy compression method rather than simply appealing to the LLL. We provide a general statement that implies both these new results and the LLL itself.
Minuscule Schubert varieties: Poset polytopes, PBW-degenerated Demazure modules, and Kogan faces
Published
• View Publication
• BIB
We study a family of posets and the associated chain and order polytopes. We identify the order polytope as a maximal Kogan face in a Gelfand-Tsetlin polytope of a multiple of a fundamental weight. We show that the character of such a Kogan face equals to the character of a Demazure module which occurs in the irreducible representation of $\mathfrak{sl}_n$ having highest weight multiple of fundamental weight and for any such Demazure module there exists a corresponding poset and associated maximal Kogan face. We prove that the chain polytope parametrizes a monomial basis of the associated PBW-graded Demazure module and further, that the Demazure module is a favourable module, e.g. interesting geometric properties are governed by combinatorics of convex polytopes. Thus, we obtain for any minuscule Schubert variety a flat degeneration into a toric projective variety which is projectively normal and arithmetically Cohen-Macaulay. We provide a necessary and sufficient condition on the Weyl group element such that the toric variety associated to the chain polytope and the toric variety associated to the order polytope are isomorphic.
Maxima of the Q-index: forbidden even cycles
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ and let $q\left( G\right) $ be the largest eigenvalue of the signless Laplacian of $G$. Let $S_{n,k}$ be the graph obtained by joining each vertex of a complete graph of order $k$ to each vertex of an independent set of order $n-k;$ and let $S_{n,k}^{+}$ be the graph obtained by adding an edge to $S_{n,k}.$
It is shown that if $k\geq2,$ $n\geq400k^{2},$ and $G$ is a graph of order $n,$ with no cycle of length $2k+2,$ then $q\left( G\right) <q\left( S_{n,k}^{+}\right) ,$ unless $G=S_{n,k}^{+}.$ This result completes the proof of a conjecture of de Freitas, Nikiforov and Patuzzi.
A bound on the multiplicative energy of a sum set and extremal sum-product problems
In recent years some near-optimal estimates have been established for certain sum-product type estimates. This paper gives some first extremal results which provide information about when these bounds may or may not be tight. The main tool is a new result which provides a nontrivial upper bound on the multiplicative energy of a sum set or difference set.
Construction of Directed Strongly Regular Graphs as Generalized Cayley Graphs
Directed strongly regular graphs were introduced by Duval in 1998 as one of the possible generalization of classical strongly regular graphs to the directed case. Duval also provided several construction methods for directed strongly regular graphs. In this paper, an infinite family of directed strongly regular graphs is constructed, as generalized Cayley graphs of cyclic groups.
$10$-vertex graphs with cyclic automorphism group of order $4$
We describe computational results about undirected graphs having $10$ vertices and automorphism group isomorphic to $\mathbb{Z}/4\mathbb{Z}$.
On the $n-$dominating graph of specific graphs
Let $G=(V,E)$ be a graph. A set $S\subseteq V(G)$ is a dominating set, if every vertex in $V(G)\backslash S$ is adjacent to at least one vertex in $S$. The $k$-dominating graph of $G$, $D_k (G)$, is defined to be the graph whose vertices correspond to the dominating sets of $G$ that have cardinality at most $k$. Two vertices in $D_k(G)$ are adjacent if and only if the corresponding dominating sets of $G$ differ by either adding or deleting a single vertex. In this paper we consider and study the $n$-dominating graph of specific graphs.
Electrical Lie Algebra of Classical Types
We investigate the structure of electrical Lie algebras of finite Dynkin type. These Lie algebras were introduced by Lam-Pylyavskyy in the study of \textit{circular planar electrical networks}. The corresponding Lie group acts on such networks via some combinatorial operations studied by Curtis-Ingerman-Morrow and Colin de Verdière-Gitler-Vertigan. Lam-Pylyavskyy studied the electrical Lie algebra of type $A$ of even rank in detail, and gave a conjecture for the dimension of electrical Lie algebras of finite Dynkin types. We prove this conjecture for all classical Dynkin types, that is, $A$, $B$, $C$, and $D$. Furthermore, we are able to explicitly describe the structure of the corresponding electrical Lie algebras as the semisimple product of the symplectic Lie algebra with its finite dimensional irreducible representations.
Curvature from Graph Colorings
Given a finite simple graph G=(V,E) with chromatic number c and chromatic polynomial C(x). Every vertex graph coloring f of G defines an index i_f(x) satisfying the Poincare-Hopf theorem sum_x i_f(x)=chi(G). As a variant to the index expectation result we prove that E[i_f(x)] is equal to curvature K(x) satisfying Gauss-Bonnet sum_x K(x) = χ(G), where the expectation is the average over the finite probability space containing the C(c) possible colorings with c colors, for which each coloring has the same probability.
Brooks Type Results for Conflict-Free Colorings and {a, b}-factors in graphs
Published in Discrete Mathematics 338(12):2295--2301, 2015
• View Publication
• BIB
A vertex-coloring of a hypergraph is conflict-free, if each edge contains a vertex whose color is not repeated on any other vertex of that edge. Let $f(r, Δ)$ be the smallest integer $k$ such that each $r$-uniform hypergraph of maximum vertex degree $Δ$ has a conflict-free coloring with at most $k$ colors. As shown by Tardos and Pach, similarly to a classical Brooks' type theorem for hypergraphs, $f(r, Δ)\leq Δ+1$. Compared to Brooks' theorem, according to which there is only a couple of graphs/hypergraphs that attain the $Δ+1$ bound, we show that there are several infinite classes of uniform hypergraphs for which the upper bound is attained. We provide bounds on $f(r, Δ)$ in terms of~$Δ$ for large~$Δ$ and establish the connection between conflict-free colorings and so-called $\{t, r-t\}$-factors in $r$-regular graphs. Here, a $\{t, r-t\}$-factor is a factor in which each degree is either $t$ or $r-t$. Among others, we disprove a conjecture of Akbari and Kano~[Graphs and Combinatorics 30(4):821--826, 2014] stating that there is a $\{t,r-t\}$-factor in every $r$-regular graph for odd $r$ and any odd $t<\frac{r}{3}$.
Enumeration and classification of self-orthogonal partial Latin rectangles by using the polynomial method
Published in European Journal of Combinatorics 48 (2015), 215-223
• View Publication
• BIB
The current paper deals with the enumeration and classification of the set $\mathcal{SOR}_{r,n}$ of self-orthogonal $r\times r$ partial Latin rectangles based on $n$ symbols. These combinatorial objects are identified with the independent sets of a Hamming graph and with the zeros of a radical zero-dimensional ideal of polynomials, whose reduced Gröbner basis and Hilbert series can be computed to determine explicitly the set $\mathcal{SOR}_{r,n}$. In particular, the cardinality of this set is shown for $r\leq 4$ and $n\leq 9$ and several formulas on the cardinality of $\mathcal{SOR}_{r,n}$ are exposed, for $r\leq 3$. The distribution of $r\times s$ partial Latin rectangles based on $n$ symbols according to their size is also obtained, for all $r,s,n\leq 4$.