Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Mixing time and eigenvalues of the abelian sandpile Markov chain
Published
• View Publication
• BIB
The abelian sandpile model defines a Markov chain whose states are integer-valued functions on the vertices of a simple connected graph $G$. By viewing this chain as a (nonreversible) random walk on an abelian group, we give a formula for its eigenvalues and eigenvectors in terms of `multiplicative harmonic functions' on the vertices of $G$. We show that the spectral gap of the sandpile chain is within a constant factor of the length of the shortest non-integer vector in the dual Laplacian lattice, while the mixing time is at most a constant times the smoothing parameter of the Laplacian lattice. We find a surprising inverse relationship between the spectral gap of the sandpile chain and that of simple random walk on $G$: If the latter has a sufficiently large spectral gap, then the former has a small gap! In the case where $G$ is the complete graph on $n$ vertices, we show that the sandpile chain exhibits cutoff at time $\frac{1}{4π^{2}}n^{3}\log n$.
GL_n(F_q)-analogues of factorization problems in the symmetric group
Published in European Journal of Combinatorics 58 (2016), pp. 75--95
• View Publication
• BIB
We consider GL_n(F_q)-analogues of certain factorization problems in the symmetric group S_n: rather than counting factorizations of the long cycle (1, 2, ..., n) given the number of cycles of each factor, we count factorizations of a regular elliptic element given the fixed space dimension of each factor. We show that, as in S_n, the generating function counting these factorizations has attractive coefficients after an appropriate change of basis. Our work generalizes several recent results on factorizations in GL_n(F_q) and also uses a character-based approach.
As an application of our results, we compute the asymptotic growth rate of the number of factorizations of fixed genus of a regular elliptic element in GL_n(F_q) into two factors as n goes to infinity. We end with a number of open questions.
Irreducible triangulations of the once-punctured torus
Published in Siberian Electronic Mathematical Reports 15 (2018), 277-304
• View Publication
• BIB
A triangulation of a surface with fixed topological type is called irreducible if no edge can be contracted to a vertex while remaining in the category of simplicial complexes and preserving the topology of the surface. A complete list of combinatorial structures of irreducible triangulations is made by hand for the once-punctured torus, consisting of exactly 297 non-isomorphic triangulations.
Pattern avoidance for set partitions à la Klazar
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (September 7, 2016) dmtcs:1327
• View Publication
• BIB
In 2000 Klazar introduced a new notion of pattern avoidance in the context of set partitions of $[n]=\{1,\ldots, n\}$. The purpose of the present paper is to undertake a study of the concept of Wilf-equivalence based on Klazar's notion. We determine all Wilf-equivalences for partitions with exactly two blocks, one of which is a singleton block, and we conjecture that, for $n\geq 4$, these are all the Wilf-equivalences except for those arising from complementation. If $τ$ is a partition of $[k]$ and $Π_n(τ)$ denotes the set of all partitions of $[n]$ that avoid $τ$, we establish inequalities between $|Π_n(τ_1)|$ and $|Π_n(τ_2)|$ for several choices of $τ_1$ and $τ_2$, and we prove that if $τ_2$ is the partition of $[k]$ with only one block, then $|Π_n(τ_1)| <|Π_n(τ_2)|$ for all $n>k$ and all partitions $τ_1$ of $[k]$ with exactly two blocks. We conjecture that this result holds for all partitions $τ_1$ of $[k]$. Finally, we enumerate $Π_n(τ)$ for all partitions $τ$ of $[4]$.
Unmixed r-partite graphs
Unmixed bipartite graphs have been characterized by Ravadra and Villarreal independently. Our aim in this paper is to characterize unmixed r-partite graphs under a certain condition, witch is a generalization of villarreal's theorem on bipartite graphs. Also we give some examples and counterexamples in relevance this subject.
New congruences for 2-color partitions
Published in J. Number Theory 163 (2016), 474--481
• View Publication
• BIB
Let $p_k(n)$ denote the number of $2$-color partitions of $n$ where one of the colors appears only in parts that are multiples of $k$. We will prove a conjecture of Ahmed, Baruah, and Dastidar on congruences modulo $5$ for $p_k(n)$. Moreover, we will present some new congruences modulo $7$ for $p_4(n)$.
A New Approach to Euler Calculus for Continuous Integrands
Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This requires a metric but is nevertheless defined within any O-minimal theory. It satisfies a Fubini theorem and extends to a functor. Euler calculus is the "adiabatic limit" of this "curvature calculus". All this suggests new applications of differential geometry to data analysis.
Problem collection from the IML programme: Graphs, Hypergraphs, and Computing
This collection of problems and conjectures is based on a subset of the open problems from the seminar series and the problem sessions of the Institut Mitag-Leffler programme Graphs, Hypergraphs, and Computing. Each problem contributor has provided a write up of their proposed problem and the collection has been edited by Klas Markström.
The Smith group of the hypercube
Published in Designs, Codes and Cryptography Volume 84, (2017) Issue 1-2, pp 283-294
• View Publication
• BIB
The $n$-cube graph is the graph on the vertex set of $n$-tuples of $0$s and $1$s, with two vertices joined by an edge if and only if the $n$-tuples differ in exactly one component. We compute the Smith group of this graph, or, equivalently, the elementary divisors of an adjacency matrix of the graph.
Sparse Neural Codes and Convexity
Published in Involve 12 (2019) 737-754
• View Publication
• BIB
Determining how the brain stores information is one of the most pressing problems in neuroscience. In many instances, the collection of stimuli for a given neuron can be modeled by a convex set in $\mathbb{R}^d$. Combinatorial objects known as \emph{neural codes} can then be used to extract features of the space covered by these convex regions. We apply results from convex geometry to determine which neural codes can be realized by arrangements of open convex sets. We restrict our attention primarily to sparse codes in low dimensions. We find that intersection-completeness characterizes realizable $2$-sparse codes, and show that any realizable $2$-sparse code has embedding dimension at most $3$. Furthermore, we prove that in $\mathbb{R}^2$ and $\mathbb{R}^3$, realizations of $2$-sparse codes using closed sets are equivalent to those with open sets, and this allows us to provide some preliminary results on distinguishing which $2$-sparse codes have embedding dimension at most $2$.
Primary Facets Of Order Polytopes
Published
• View Publication
• BIB
Mixture models on order relations play a central role in recent investigations of transitivity in binary choice data. In such a model, the vectors of choice probabilities are the convex combinations of the characteristic vectors of all order relations of a chosen type. The five prominent types of order relations are linear orders, weak orders, semiorders, interval orders and partial orders. For each of them, the problem of finding a complete, workable characterization of the vectors of probabilities is crucial---but it is reputably inaccessible. Under a geometric reformulation, the problem asks for a linear description of a convex polytope whose vertices are known. As for any convex polytope, a shortest linear description comprises one linear inequality per facet. Getting all of the facet-defining inequalities of any of the five order polytopes seems presently out of reach. Here we search for the facet-defining inequalities which we call primary because their coefficients take only the values -1, 0 or 1. We provide a classification of all primary, facet-defining inequalities of three of the five order polytopes. Moreover, we elaborate on the intricacy of the primary facet-defining inequalities of the linear order and the weak order polytopes.
Pattern Avoidance in Task-Precedence Posets
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (June 24, 2016) dmtcs:1324
• View Publication
• BIB
We have extended classical pattern avoidance to a new structure: multiple task-precedence posets whose Hasse diagrams have three levels, which we will call diamonds. The vertices of each diamond are assigned labels which are compatible with the poset. A corresponding permutation is formed by reading these labels by increasing levels, and then from left to right. We used Sage to form enumerative conjectures for the associated permutations avoiding collections of patterns of length three, which we then proved. We have discovered a bijection between diamonds avoiding 132 and certain generalized Dyck paths. We have also found the generating function for descents, and therefore the number of avoiders, in these permutations for the majority of collections of patterns of length three. An interesting application of this work (and the motivating example) can be found when task-precedence posets represent warehouse package fulfillment by robots, in which case avoidance of both 231 and 321 ensures we never stack two heavier packages on top of a lighter package.
Adjacency matrices of random digraphs: singularity and anti-concentration
Published in J. of Math. Analysis and Appl., 445 (2017), 1447--1491
• View Publication
• BIB
Let ${\mathcal D}_{n,d}$ be the set of all $d$-regular directed graphs on $n$ vertices. Let $G$ be a graph chosen uniformly at random from ${\mathcal D}_{n,d}$ and $M$ be its adjacency matrix. We show that $M$ is invertible with probability at least $1-C\ln^{3} d/\sqrt{d}$ for $C\leq d\leq cn/\ln^2 n$, where $c, C$ are positive absolute constants. To this end, we establish a few properties of $d$-regular directed graphs. One of them, a Littlewood-Offord type anti-concentration property, is of independent interest. Let $J$ be a subset of vertices of $G$ with $|J|\approx n/d$. Let $δ_i$ be the indicator of the event that the vertex $i$ is connected to $J$ and define $δ= (δ_1, δ_2, ..., δ_n)\in \{0, 1\}^n$. Then for every $v\in\{0,1\}^n$ the probability that $δ=v$ is exponentially small. This property holds even if a part of the graph is "frozen".
On $\mathcal{D}$-equivalence classes of some graphs
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=1}^n d(G,i) x^i$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. The $n$-barbell graph $Bar_n$ with $2n$ vertices, is formed by joining two copies of a complete graph $K_n$ by a single edge. We prove that for every $n\geq 2$, $Bar_n$ is not $\mathcal{D}$-unique, that is, there is another non-isomorphic graph with the same domination polynomial. More precisely, we show that for every $n$, the $\mathcal{D}$-equivalence class of barbell graph, $[Bar_n]$, contains many graphs, which one of them is the complement of book graph of order $n-1$, $B_{n-1}^c$. Also we present many families of graphs in $\mathcal{D}$-equivalence class of $K_{n_1}\cup K_{n_2}\cup \cdots\cup K_{n_k}$.
Union-Free Families of Subsets
This paper discusses the question of how many non-empty subsets of the set $[n] = \{ 1, 2, ..., n\}$ we can choose so that no chosen subset is the union of some other chosen subsets. Let $M(n)$ be the maximum number of subsets we can choose. We construct a series of such families, which leads to lower bounds on $M(n)$. We also give upper bounds on $M(n)$. Finally, we propose several conjectures on the tightness of our lower bound for $M(n)$.
A Bijection on Classes Enumerated by the Schröder Numbers
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (July 19, 2017) dmtcs:1326
• View Publication
• BIB
We consider a sorting machine consisting of two stacks in series where the first stack has the added restriction that entries in the stack must be in decreasing order from top to bottom. The class of permutations sortable by this machine are known to be enumerated by the Schröder numbers. In this paper, we give a bijection between these sortable permutations of length $n$ and Schröder paths -- the lattice paths from $(0,0)$ to $(n-1,n-1)$ composed of East steps $(1,0)$, North steps $(0,1)$, and Diagonal steps $(1,1)$ that travel weakly below the line $y=x$.
Shifted Hecke insertion and the K-theory of OG(n,2n+1)
Published
• View Publication
• BIB
Patrias and Pylyavskyy introduced shifted Hecke insertion as an application of their theory of dual filtered graphs. We use shifted Hecke insertion to construct symmetric function representatives for the K-theory of the orthogonal Grassmannian. These representatives are closely related to the shifted Grothendieck polynomials of Ikeda and Naruse. We then recover the K-theory structure coefficients of Clifford-Thomas-Yong/Buch-Samuel by introducing a shifted K-theoretic Poirier-Reutenauer algebra. Our proofs depend on the theory of shifted K-theoretic jeu de taquin and the weak K-Knuth relations.
C-groups of high rank for the symmetric groups
Published
• View Publication
• BIB
We classify C-groups of ranks $n-1$ and $n-2$ for the symmetric group $S_n$. We also show that all these C-groups correspond to hypertopes, that is, thin, residually connected flag-transitive geometries. Therefore we generalise some similar results obtained in the framework of string C-groups that are in one-to-one correspondence with abstract regular polytopes.
Finitely Dependent Insertion Processes
Published in Electron. J. Probab. 22 1 - 19, 2017
• View Publication
• BIB
A $q$-coloring of $\mathbb Z$ is a random process assigning one of $q$ colors to each integer in such a way that consecutive integers receive distinct colors. A process is $k$-dependent if any two sets of integers separated by a distance greater than $k$ receive independent colorings. Holroyd and Liggett constructed the first stationary $k$-dependent $q$-colorings by introducing an insertion algorithm on the complete graph $K_q$. We extend their construction from complete graphs to weighted directed graphs. We show that complete multipartite analogues of $K_3$ and $K_4$ are the only graphs whose insertion process is finitely dependent and whose insertion algorithm is consistent. In particular, there are no other such graphs among all unweighted graphs and among all loopless complete weighted directed graphs. Similar results hold if the consistency condition is weakened to eventual consistency. Finally we show that the directed de Bruijn graphs of shifts of finite type do not yield $k$-dependent insertion processes, assuming eventual consistency.
Fractional triangle decompositions of dense 3-partite graphs
Published
• View Publication
• BIB
We compute a minimum degree threshold sufficient for 3-partite graphs to admit a fractional triangle decomposition. Together with recent work of Barber, Kühn, Lo, Osthus and Taylor, this leads to bounds for exact decompositions and in particular the completion problem for sparse partial latin squares. Some extensions are considered as well.