Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The Kazhdan-Lusztig polynomials of uniform matroids
Published
• View Publication
• BIB
The Kazhdan-Lusztig polynomial of a matroid was introduced by Elias, Proudfoot, and Wakefield [{\it Adv. Math. 2016}]. Let $U_{m,d}$ denote the uniform matroid of rank $d$ on a set of $m+d$ elements. Gedeon, Proudfoot, and Young [{\it J. Combin. Theory Ser. A, 2017}] pointed out that they can derive an explicit formula of the Kazhdan-Lusztig polynomials of $U_{m,d}$ using equivariant Kazhdan-Lusztig polynomials. In this paper we give two alternative explicit formulas, which allow us to prove the real-rootedness of the Kazhdan-Lusztig polynomials of $U_{m,d}$ for $2\leq m\leq 15$ and all $d$'s. The case $m=1$ was previously proved by Gedeon, Proudfoot, and Young [{\it Sém. Lothar. Combin. 2017}]. We further determine the $Z$-polynomials of all $U_{m,d}$'s and prove the real-rootedness of the $Z$-polynomials of $U_{m,d}$ for $2\leq m\leq 15$ and all $d$'s. Our formula also enables us to give an alternative proof of Gedeon, Proudfoot, and Young's formula for the Kazhdan-Lusztig polynomials of $U_{m,d}$'s without using the equivariant Kazhdan-Lusztig polynomials.
Product matrix processes as limits of random plane partitions
Published in Int. Math. Res. Notices (2019)
• View Publication
• BIB
We consider a random process with discrete time formed by singular values of products of truncations of Haar distributed unitary matrices. We show that this process can be understood as a scaling limit of the Schur process, which gives determinantal formulas for (dynamical) correlation functions and a contour integral representation for the correlation kernel. The relation with the Schur processes implies that the continuous limit of marginals for q-distributed plane partitions coincides with the joint law of singular values for products of truncations of Haar-distributed random unitary matrices. We provide structural reasons for this coincidence that may also extend to other classes of random matrices.
A supercongruence involving cubes of Catalan numbers
We mainly show a supercongruence for a truncated series with cubes of Catalan numbers which extends a result by Zhi-Wei Sun.
Condensation in preferential attachment models with location-based choice
Published in Random Structures and Algorithms 56 no. 3 (2020)
• View Publication
• BIB
We introduce a model of a preferential attachment based random graph which extends the family of models in which condensation phenomena can occur. Each vertex has an associated uniform random variable which we call its location. Our model evolves in discrete time by selecting $r$ vertices from the graph with replacement, with probabilities proportional to their degrees plus a constant $α$. A new vertex joins the network and attaches to one of these vertices according to a given probability associated to the ranking of their locations. We give conditions for the occurrence of condensation, showing the existence of phase transitions in $α$ below which condensation occurs. The condensation in our model differs from that in preferential attachment models with fitness in that the condensation can occur at a random location, that it can be due to a persistent hub, and that there can be more than one point of condensation.
A variant of the Erdos-Renyi random graph process
Published
• View Publication
• BIB
We consider a natural variant of the Erdős-Rényi random graph process in which $k$ vertices are special and are never put into the same connected component. The model is natural and interesting on its own, but is actually inspired by the combinatorial data fusion problem that itself is connected to a number of important problems in graph theory. We will show that a phase transition occurs when the number of special vertices is roughly $n^{1/3}$, where $n$ is the number of vertices.
Decomposing Claw-free Subcubic Graphs and $4$-Chordal Subcubic Graphs
Published
• View Publication
• BIB
Hoffmann-Ostenhof's Conjecture states that the edge set of every connected cubic graph can be decomposed into a spanning tree, a matching and a $2$-regular subgraph. In this paper, we show that the conjecture holds for claw-free subcubic graphs and $4$-chordal subcubic graphs.
Semigroup identities of tropical matrices through matrix ranks
We prove the conjecture that, for any $n$, the monoid of all $n \times n$ tropical matrices satisfies nontrivial semigroup identities. To this end, we prove that the factor rank of a large enough power of a tropical matrix does not exceed the tropical rank of the original matrix.
Uniqueness in Harper's vertex-isoperimetric theorem
Published
• View Publication
• BIB
For a set $A\subseteq Q_{n}=\left\{ 0,1\right\} ^{n}$ the $t$-neighbourhood of $A$ is $N^{t}\left(A\right)=\left\{ x\,:\,d\left(x,A\right)\leq t\right\}$, where $d$ denotes the usual graph distance on $Q_{n}$. Harper's vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_{n}$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_{n}$ is a subset of given size for which the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order?
Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e.\ a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_{n}$. We go further to classify all the sets $A\subseteq Q_{n}$ for which the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are minimal for all $t>0$ among the subsets of $Q_{n}$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_{n}$ for which the sizes of $N\left(A\right)$ and $N\left(A^{c}\right)$ are minimal among the subsets of $Q_{n}$ of given size, then the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are also minimal for all $t>0$ among the subsets of $Q_{n}$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^{c}\right)$ to have minimal size among the subsets $A\subseteq Q_{n}$ of given size.
Decomposable twofold triple systems with non-Hamiltonian 2-block intersection graphs
Published
• View Publication
• BIB
The 2-block intersection graph (2-BIG) of a twofold triple system (TTS) is the graph whose vertex set is composed of the blocks of the TTS and two vertices are joined by an edge if the corresponding blocks intersect in exactly two elements. The 2-BIGs are themselves interesting graphs: each component is cubic and 3-connected, and a 2-BIG is bipartite exactly when the TTS is decomposable to two Steiner triple systems. Any connected bipartite 2-BIG with no Hamilton cycle is a counter-example to a conjecture posed by Tutte in 1971. Our main result is that there exists an integer $N$ such that for all $v\geq N$, if $v\equiv 1$ or $3\mod{6}$ then there exists a TTS($v$) whose 2-BIG is bipartite and connected but not Hamiltonian. Furthermore, $13<N\leq 663$. Our approach is to construct a TTS($u$) whose 2-BIG is connected bipartite and non-Hamiltonian and embed it within a TTS($v$) where $v>2u$ in such a way that, after a single trade, the 2-BIG of the resulting TTS($v$) is bipartite connected and non-Hamiltonian.
Augmented Hilbert series of numerical semigroups
A numerical semigroup $S$ is a subset of the non-negative integers containing $0$ that is closed under addition. The Hilbert series of $S$ (a formal power series equal to the sum of terms $t^n$ over all $n \in S$) can be expressed as a rational function in $t$ whose numerator is characterized in terms of the topology of a simplicial complex determined by membership in $S$. In this paper, we obtain analogous rational expressions for the related power series whose coefficient of $t^n$ equals $f(n)$ for one of several semigroup-theoretic invariants $f:S \to \mathbb R$ known to be eventually quasipolynomial.
List-three-coloring graphs with no induced $P_6+rP_3$
Published
• View Publication
• BIB
For an integer $r$, the graph $P_6+rP_3$ has $r+1$ components, one of which is a path on $6$ vertices, and each of the others is a path on $3$ vertices. In this paper we provide a polynomial-time algorithm to test if a graph with no induced subgraph isomorphic to $P_6+rP_3$ is three-colorable. We also solve the list version of this problem, where each vertex is assigned a list of possible colors, which is a subset of $\{1,2,3\}$.
Stanley symmetric functions for signed involutions
Published in J. Combin. Theory Ser. A 168 (2019), 288-317
• View Publication
• BIB
An involution in a Coxeter group has an associated set of involution words, a variation on reduced words. These words are saturated chains in a partial order first considered by Richardson and Springer in their study of symmetric varieties. In the symmetric group, involution words can be enumerated in terms of tableaux using appropriate analogues of the symmetric functions introduced by Stanley to accomplish the same task for reduced words. We adapt this approach to the group of signed permutations. We show that involution words for the longest element in the Coxeter group $C_n$ are in bijection with reduced words for the longest element in $A_n = S_{n+1}$, which are known to be in bijection with standard tableaux of shape $(n, n-1, \ldots, 2, 1)$.
Well-quasi-ordering in lattice path matroids
Lattice path matroids form a subclass of transversal matroids and were introduced by Bonin, de Mier and Noy. Transversal matroids are not well-quasi-ordered, even when the branch-width is restricted. Though lattice path matroids are not well-quasi-ordered, we prove that lattice path matroids of bounded branch-width are well-quasi-ordered.
Weight distributions of all irreducible $μ$-constacyclic codes of length $\ell^n$
Let $\mathbb{F}_q$ be a finite field of order $q$ and integer $n\ge 1$. Let $\ell$ be a prime such that $\ell^k|(q-1)$ for some integer $k\ge 1$ and $μ$ be an element of order $\ell^k$ in $\mathbb{F}_q$. In this paper, we determine the weight distributions of all irreducible $μ$-constacyclic codes of length $\ell^n$ over $\mathbb{F}_q$. Explicit expressions for the generator polynomials and codewords of these codes are also obtained.
Determinants containing powers of polynomial sequences
Published
• View Publication
• BIB
We derive identities for the determinants of matrices whose entries are (rising) powers of (products of) polynomials that satisfy a recurrence relation. In particular, these results cover the cases for Fibonacci polynomials, Lucas polynomials and certain orthogonal polynomials. These identities naturally generalize the determinant identities obtained by Alfred, Carlitz, Prodinger, Tangboonduangjit and Thanatipanonda.
A combinatorial-topological shape category for polygraphs
Published
• View Publication
• BIB
We introduce constructible directed complexes, a combinatorial presentation of higher categories inspired by constructible complexes in poset topology. Constructible directed complexes with a greatest element, called atoms, encompass common classes of higher-categorical cell shapes, including globes, cubes, oriented simplices, and a large sub-class of opetopes, and are closed under lax Gray products and joins. We define constructible polygraphs to be presheaves on a category of atoms and inclusions, and extend the monoidal structures.
We show that constructible directed complexes are a well-behaved subclass of Steiner's directed complexes, which we use to define a realisation functor from constructible polygraphs to omega-categories. We prove that the realisation of a constructible polygraph is a polygraph in restricted cases, and in all cases conditionally to a conjecture. Finally, we define the geometric realisation of a constructible polygraph, and prove that it is a CW complex with one cell for each of its elements.
Intervals of permutations and the principal Möbius function
We show that the proportion of permutations of length $n$ with principal Möbius function equal to zero, $Z(n)$, is asymptotically bounded below by 0.3995. If a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then we show that the value of the principal Möbius function $μ[1, π]$ is zero, and we use this result to find the lower bound for $Z(n)$. We also show that if a permutation $φ$ has certain properties, then any permutation $π$ which contains an interval order-isomorphic to $φ$ has $μ[1, π] = 0$.
Computing the metric dimension by decomposing graphs into extended biconnected components
Published
• View Publication
• BIB
A vertex set $U \subseteq V$ of an undirected graph $G=(V,E)$ is a $\textit{resolving set}$ for $G$, if for every two distinct vertices $u,v \in V$ there is a vertex $w \in U$ such that the distances between $u$ and $w$ and the distance between $v$ and $w$ are different. The $\textit{Metric Dimension}$ of $G$ is the size of a smallest resolving set for $G$. Deciding whether a given graph $G$ has Metric Dimension at most $k$ for some integer $k$ is well-known to be NP-complete. Many research has been done to understand the complexity of this problem on restricted graph classes. In this paper, we decompose a graph into its so called $\textit{extended biconnected components}$ and present an efficient algorithm for computing the metric dimension for a class of graphs having a minimum resolving set with a bounded number of vertices in every extended biconnected component. Further we show that the decision problem METRIC DIMENSION remains NP-complete when the above limitation is extended to usual biconnected components.
On the maximum number of maximum independent sets in connected graphs
Published
• View Publication
• BIB
We characterize the connected graphs of given order $n$ and given independence number $α$ that maximize the number of maximum independent sets. For $3\leq α\leq n/2$, there is a unique such graph that arises from the disjoint union of $α$ cliques of orders $\left\lceil\frac{n}α\right\rceil$ and $\left\lfloor\frac{n}α\right\rfloor$, by selecting a vertex $x$ in a largest clique and adding an edge between $x$ and a vertex in each of the remaining $α-1$ cliques. Our result confirms a conjecture of Derikvand and Oboudi [On the number of maximum independent sets of graphs, Transactions on Combinatorics 3 (2014) 29-36].
On $K_{2,t}$-bootstrap percolation
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, it is said that $G$ percolates in $H$-bootstrap process if one could join all the nonadjacent pairs of vertices of $G$ in some order such that a new copy of $H$ is created at each step. Balogh, Bollobás and Morris in 2012 investigated the threshold of $H$-bootstrap percolation in the Erdős-Rényi model for the complete graph $H$ and proposed the similar problem for $H=K_{s,t}$, the complete bipartite graph. In this paper, we provide lower and upper bounds on the threshold of $K_{2, t}$-bootstrap percolation. In addition, a threshold function is derived for $K_{2, 4}$-bootstrap percolation.