Showing 20 papers (Total: 83133 papers, 48023 authors in database)
How to generate all possible rational Wilf-Zeilberger pairs?
Published
• View Publication
• BIB
A Wilf--Zeilberger pair $(F, G)$ in the discrete case satisfies the equation $ F(n+1, k) - F(n, k) = G(n, k+1) - G(n, k)$. We present a structural description of all possible rational Wilf--Zeilberger pairs and their continuous and mixed analogues.
Atoms for signed permutations
Published in European J. Combin. 94 (2021), 103288
• View Publication
• BIB
There is a natural analogue of weak Bruhat order on the involutions in any Coxeter group. The saturated chains of intervals in this order correspond to reduced words for a certain set of group elements called atoms. Brion gives a general formula for the cohomology class of a $K$-orbit closure in an arbitrary flag variety, where $K$ is a symmetric subgroup of a complex algebraic group. In type A, the terms in this formula are indexed by atoms for permutations. We study the combinatorics of atoms for involutions in the group of signed permutations. In particular, we give a compact description of the atom set for any signed involution and endow it with the structure of a graded poset. Our main result, as an application, is to identify explicitly the terms in Brion's cohomology formula in types B and C. These descriptions apply to all $K$-orbits in these types and are the first of their kind outside of type A.
Isomorphism classification of infinite Sierpinski carpet graphs
For each infinite word over a given finite alphabet, we define an increasing sequence of rooted finite graphs, that can be thought as approximations of the famous Sierpinski carpet. These sequences naturally converge to an infinite rooted limit graph. We show that there are uncountably many classes of isomorphism of such limit graphs, regarded as unrooted graphs.
Computing the Wiener index in Sierpinski carpet graphs
We describe an algorithm to compute the Wiener index of a sequence of finite graphs approximating the Sierpinski carpet.
Constructing graphs with limited resources
We discuss the amount of physical resources required to construct a given graph, where vertices are added sequentially. We naturally identify information -- distinct into instructions and memory -- and randomness as resources. Not surprisingly, we show that, in this framework, threshold graphs are the simplest possible graphs, since the construction of threshold graphs requires a single bit of instructions for each vertex and no use of memory. Large instructions without memory do not bring any advantage. With one bit of instructions and one bit of memory for each vertex, we can construct a family of perfect graphs that strictly includes threshold graphs. We consider the case in which memory lasts for a single time step, and show that as well as the standard threshold graphs, linear forests are also producible. We show further that the number of random bits (with no memory or instructions) needed to construct any graph is asymptotically the same as required for the Erdős-Rényi random graph. We also briefly consider constructing trees in this scheme. The problem of defining a hierarchy of graphs in the proposed framework is fully open.
On (shape-)Wilf-equivalence for words
Published in Adv. Appl. Math. 100 (2018), 87-100
• View Publication
• BIB
Stankova and West showed that for any non-negative integer $s$ and any permutation $γ$ of $\{4,5,\dots,s+3\}$ there are as many permutations that avoid $231γ$ as there are that avoid $312γ$. We extend this result to the setting of words.
The Tutte polynomial via lattice point counting
Published
• View Publication
• BIB
We recover the Tutte polynomial of a matroid, up to change of coordinates, from an Ehrhart-style polynomial counting lattice points in the Minkowski sum of its base polytope and scalings of simplices. Our polynomial has coefficients of alternating sign with a combinatorial interpretation closely tied to the Dawson partition. Our definition extends in a straightforward way to polymatroids, and in this setting our polynomial has Kálmán's internal and external activity polynomials as its univariate specialisations.
On the random version of the Erdős matching conjecture
Published
• View Publication
• BIB
The Kneser hypergraph ${\rm KG}^r_{n,k}$ is an $r$-uniform hypergraph with vertex set consisting of all $k$-subsets of $\{1,\ldots,n\}$ and any collection of $r$ vertices forms an edge if their corresponding $k$-sets are pairwise disjoint. The random Kneser hypergraph ${\rm KG}^r_{n,k}(p)$ is a spanning subhypergraph of ${\rm KG}^r_{n,k}$ in which each edge of ${\rm KG}^r_{n,k}$ is retained independently of each other with probability $p$. The independence number of random subgraphs of ${\rm KG}^2_{n,k}$ was recently addressed in a series of works by Bollob{á}s, Narayanan, and Raigorodskii (2016), Balogh, Bollob{á}s, and Narayanan (2015), Das and Tran (2016), and Devlin and Kahn (2016). It was proved that the random counterpart of the Erdős-Ko-Rado theorem continues to be valid even for very small values of $p$. In this paper, generalizing this result, we will investigate the independence number of random Kneser hypergraphs ${\rm KG}^r_{n,k}(p)$. Broadly speaking, when $k$ is much smaller that $n$, we will prove that the random analogue of the Erdős matching conjecture is true even for extremely small values of $p$.
Realization of shift graphs as disjointness graphs of 1-intersecting curves in the plane
It is shown that shift graphs can be realized as disjointness graphs of 1-intersecting curves in the plane. This implies that the latter class of graphs is not $χ$-bounded.
Spanning trees in a Claw-free graph whose stems have at most $k$ branch vertices
Let $T$ be a tree, a vertex of degree one and a vertex of degree at least three is called a leaf and a branch vertex, respectively. The set of leaves of $T$ is denoted by $Leaf(T)$. The subtree $T-Leaf(T)$ of $T$ is called the stem of $T$ and denoted by $Stem(T).$ In this paper, we give two sufficient conditions for a connected claw-free graph to have a spanning tree whose stem has a bounded number of branch vertices, and those conditions are best possible. As corollaries of main results we also give some conditions to show that a connected claw-free graph has a spanning tree whose stem is a spider.
A combinatorial characterization of Hurewicz cofibrations between finite topological spaces
Published
• View Publication
• BIB
We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In particular, we show that cofibrations between connected non-empty finite topological spaces are homotopy equivalences. As a consequence of our characterization, we obtain a simple algorithm capable of determining whether a given continuous function between finite topological spaces is a cofibration.
Symmetric functions and the principal case of the Frankl-Füredi conjecture
Let $r\geq3$ and $G$ be an $r$-uniform hypergraph with vertex set $\left\{ 1,\ldots,n\right\} $ and edge set $E$. Let \[ μ\left( G\right) :=\max {\textstyle\sum\limits_{\left\{ i_{1},\ldots,i_{r}\right\} \in E}} x_{i_{1}}\cdots x_{i_{r}}, \] where the maximum is taken over all nonnegative $x_{1},\ldots,x_{n}$ with $x_{1}+\cdots+x_{n}=1.$
Let $t\geq r-1$ be the unique real number such that $\left\vert E\right\vert =\binom{t}{r}$. It is shown that if $r\leq5$ or $t\geq4\left( r-1\right) \left( r-2\right) $, then \[ μ\left( G\right) \leq t^{-r}\binom{t}{r}% \] with equality holding if and only if $t$ is an integer.
The proof is based on some new bounds on elementary symmetric functions.
Dominance phenomena: mutation, scattering and cluster algebras
Published
• View Publication
• BIB
An exchange matrix $B$ dominates an exchange matrix $B'$ if the signs of corresponding entries weakly agree, with the entry of $B$ always having weakly greater absolute value. When $B$ dominates $B'$, interesting things happen in many cases (but not always): the identity map between the associated mutation-linear structures is often mutation-linear; the mutation fan for $B$ often refines the mutation fan for $B'$; the scattering (diagram) fan for $B$ often refines the scattering fan for $B'$; and there is often an injective homomorphism from the principal-coefficients cluster algebra for $B'$ to the principal-coefficients cluster algebra for $B$, preserving $\mathbf{g}$-vectors and sending the set of cluster variables for $B'$ (or an analogous larger set) into the set of cluster variables for $B$ (or an analogous larger set). The scope of the description "often" is not the same in all four contexts and is not settled in any of them. In this paper, we prove theorems that provide examples of these dominance phenomena.
On the structure of the fundamental subspaces of acyclic matrices with $0$ in the diagonal
Published
• View Publication
• BIB
A matrix is called acyclic if replacing the diagonal entries with $0$, and the nonzero diagonal entries with $1$, yields the adjacency matrix of a forest. In this paper we show that null space and the rank of a acyclic matrix with $0$ in the diagonal is obtained from the null space and the rank of the adjacency matrix of the forest by multipliying by non-singular diagonal matrices. We combine these methods with an algorithm for finding a sparsest basis of the null space of a forest to provide an optimal time algorithm for finding a sparsest basis of the null space of acyclic matrices with $0$ in the diagonal.
Role colouring graphs in hereditary classes
Published
• View Publication
• BIB
We study the computational complexity of computing role colourings of graphs in hereditary classes. We are interested in describing the family of hereditary classes on which a role colouring with k colours can be computed in polynomial time. In particular, we wish to describe the boundary between the "hard" and "easy" classes. The notion of a boundary class has been introduced by Alekseev in order to study such boundaries. Our main results are a boundary class for the k-role colouring problem and the related k-coupon colouring problem which has recently received a lot of attention in the literature. The latter result makes use of a technique for generating regular graphs of arbitrary girth which may be of independent interest.
Pappus's Theorem in Grassmannian Gr(3,C^n)
Published
• View Publication
• BIB
In this paper we study intersections of quadrics, components of the hypersurface in Grassmannian $Gr(3, \CC^n)$ introduced in \cite{SoSuSi}. This lead to an alternative statement and proof of Pappus's Theorem retrieving Pappus's and Hesse configurations of lines as special points in complex projective Grassmannian. This new connection is obtained through a third purely combinatorial object, the intersection lattice of Discriminantal arrangement.
An Asymptotic Series for an Integral
Published
• View Publication
• BIB
We obtain an asymptotic series $\sum_{j=0}^\infty\frac{I_j}{n^j}$ for the integral $\int_0^1[x^n+(1-x)^n]^{\frac1{n}}dx$ as $n\to\infty$, and compute $I_j$ in terms of alternating (or "colored") multiple zeta value. We also show that $I_j$ is a rational polynomial the ordinary zeta values, and give explicit formulas for $j\le 12$. As a byproduct, we obtain precise results about the convergence of norms of random variables and their moments. We study $\Vert(U,1-U)\Vert_n$ as $n$ tends to infinity and we also discuss $\Vert(U_1,U_2,\dots,U_r)\Vert_n$ for standard uniformly distributed random variables.
The linkedness of cubical polytopes
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is $k$-linked if, for every set of $2k$ distinct vertices organised in arbitrary $k$ pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs.
Larman and Mani in 1970 proved that simplicial $d$-polytopes, polytopes with all their facets being combinatorially equivalent to simplices, are $\floor{(d+1)/2}$-linked; this is the maximum possible linkedness given the facts that a $\floor{(d+1)/2}$-linked graph is at least $(2\floor{(d+1)/2}-1)$-connected and that some of these graphs are $d$-connected but not $(d+1)$-connected.
Here we establish that cubical $d$-polytopes are also $\floor{(d+1)/2}$-linked for every $d\ne 3$; this is again the maximum possible linkedness for such a class of polytopes.
The minimum number of Hamilton cycles in a hamiltonian threshold graph of a prescribed order
Published
• View Publication
• BIB
We prove that the minimum number of Hamilton cycles in a hamiltonian threshold graph of order $n$ is $2^{\lfloor (n-3)/2\rfloor}$ and this minimum number is attained uniquely by the graph with degree sequence $n-1,n-1,n-2,\ldots,\lceil n/2\rceil,\lceil n/2\rceil,\ldots,3,2$ of $n-2$ distinct degrees. This graph is also the unique graph of minimum size among all hamiltonian threshold graphs of order $n.$
Categorical relations between Langlands dual quantum affine algebras: Exceptional cases
Published in Comm. Math. Phys., 368(1) (2019), pp. 295-367
• View Publication
• BIB
We first compute the denominator formulas for quantum affine algebras of all exceptional types. Then we prove the isomorphisms among Grothendieck rings of categories $C_Q^{(t)}$ $(t=1,2,3)$, $\mathscr{C}_{\mathscr{Q}}^{(1)}$ and $\mathscr{C}_{\mathfrak{Q}}^{(1)}$. These results give Dorey's rule for all exceptional affine types, prove the conjectures of Kashiwara-Kang-Kim and Kashiwara-Oh, and provides the partial answers of Frenkel-Hernandez on Langlands duality for finite dimensional representations of quantum affine algebras of exceptional types.