Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Abelian networks IV. Dynamics of nonhalting networks
Published in Mem. Amer. Math. Soc. 276 (2022), no. 1358, vii+89 pp
• View Publication
• BIB
An abelian network is a collection of communicating automata whose state transitions and message passing each satisfy a local commutativity condition. This paper is a continuation of the abelian networks series of Bond and Levine (2016), for which we extend the theory of abelian networks that halt on all inputs to networks that can run forever. A nonhalting abelian network can be realized as a discrete dynamical system in many different ways, depending on the update order. We show that certain features of the dynamics, such as minimal period length, have intrinsic definitions that do not require specifying an update order.
We give an intrinsic definition of the \emph{torsion group} of a finite irreducible (halting or nonhalting) abelian network, and show that it coincides with the critical group of Bond and Levine (2016) if the network is halting. We show that the torsion group acts freely on the set of invertible recurrent components of the trajectory digraph, and identify when this action is transitive.
This perspective leads to new results even in the classical case of sinkless rotor networks (deterministic analogues of random walks). In Holroyd et. al (2008) it was shown that the recurrent configurations of a sinkless rotor network with just one chip are precisely the unicycles (spanning subgraphs with a unique oriented cycle, with the chip on the cycle). We generalize this result to abelian mobile agent networks with any number of chips. We give formulas for generating series such as \[ \sum_{n \geq 1} r_n z^n = \det (\frac{1}{1-z}D - A ) \] where $r_n$ is the number of recurrent chip-and-rotor configurations with $n$ chips; $D$ is the diagonal matrix of outdegrees, and $A$ is the adjacency matrix. A consequence is that the sequence $(r_n)_{n \geq 1}$ completely determines the spectrum of the simple random walk on the network.
The Erdos-Moser sum-free set problem
Published in Canad. J. Math. 2019
• View Publication
• BIB
We show that if A is a finite set of integers then it has a subset S of size \log^{1+c} |A| (c>0 absolute) such that s+s' is never in A when s and s' are distinct elements of S.
Dimer model, bead model and standard Young tableaux: finite cases and limit shapes
The bead model is a random point field on $\mathbb{Z}\times\mathbb{R}$ which can be viewed as a scaling limit of dimer model. We prove that, in the scaling limit, the normalized height function of a uniformly chosen random bead configuration lies in an arbitrarily small neighborhood of a surface $h_0$ that maximizes some functional which we call as entropy. We also prove that the limit shape $h_0$ is a scaling limit of the limit shapes of a properly chosen sequence of dimer models. There is a map from bead configurations to standard tableaux of a (skew) Young diagram, and the map preserves uniform measures, and our results of the bead model yield the existence of the limit shape of a random standard Young tableau.
A Tight Extremal Bound on the Lovász Cactus Number in Planar Graphs
Published
• View Publication
• BIB
A cactus graph is a graph in which any two cycles are edge-disjoint. We present a constructive proof of the fact that any plane graph $G$ contains a cactus subgraph $C$ where $C$ contains at least a $\frac{1}{6}$ fraction of the triangular faces of $G$. We also show that this ratio cannot be improved by showing a tight lower bound. Together with an algorithm for linear matroid parity, our bound implies two approximation algorithms for computing "dense planar structures" inside any graph: (i) A $\frac{1}{6}$ approximation algorithm for, given any graph $G$, finding a planar subgraph with a maximum number of triangular faces; this improves upon the previous $\frac{1}{11}$-approximation; (ii) An alternate (and arguably more illustrative) proof of the $\frac{4}{9}$ approximation algorithm for finding a planar subgraph with a maximum number of edges.
Our bound is obtained by analyzing a natural local search strategy and heavily exploiting the exchange arguments. Therefore, this suggests the power of local search in handling problems of this kind.
The orbit algebra of a permutation group with polynomial profile is Cohen-Macaulay
Let $G$ be a group of permutations of a denumerable set $E$. The profile of $G$ is the function $φ_G$ which counts, for each $n$, the (possibly infinite) number $φ_G(n)$ of orbits of $G$ acting on the $n$-subsets of $E$. Counting functions arising this way, and their associated generating series, form a rich yet apparently strongly constrained class. In particular, Cameron conjectured in the late seventies that, whenever $φ_G(n)$ is bounded by a polynomial, it is asymptotically equivalent to a polynomial. In 1985, Macpherson further asked if the orbit algebra of $G$ - a graded commutative algebra invented by Cameron and whose Hilbert function is $φ_G$ - is finitely generated. In this paper, we announce a proof of a stronger statement: the orbit algebra is Cohen-Macaulay. The generating series of the profile is a rational fraction whose numerator has positive coefficients and denominator admits a combinatorial description. The proof uses classical techniques from group actions, commutative algebra, and invariant theory; it steps towards a classification of ages of permutation groups with profile bounded by a polynomial.
Uniqueness for the 3-State Antiferromagnetic Potts Model on the Tree
Published
• View Publication
• BIB
The antiferromagnetic $q$-state Potts model is perhaps the most canonical model for which the uniqueness threshold on the tree is not yet understood, largely because of the absence of monotonicities. Jonasson established the uniqueness threshold in the zero-temperature case, which corresponds to the $q$-colourings model. In the permissive case (where the temperature is positive), the Potts model has an extra parameter $β\in(0,1)$, which makes the task of analysing the uniqueness threshold even harder and much less is known.
In this paper, we focus on the case $q=3$ and give a detailed analysis of the Potts model on the tree by refining Jonasson's approach. In particular, we establish the uniqueness threshold on the $d$-ary tree for all values of $d\geq 2$. When $d\geq3$, we show that the 3-state antiferromagnetic Potts model has uniqueness for all $β\geq 1-3/(d+1)$. The case $d=2$ is critical since it relates to the 3-colourings model on the binary tree ($β=0$), which has non-uniqueness. Nevertheless, we show that the Potts model has uniqueness for all $β\in (0,1)$ on the binary tree. Both of these results are tight since it is known that uniqueness does not hold in the complementary regime.
Our proof technique gives for general $q>3$ an analytical condition for proving uniqueness based on the two-step recursion on the tree, which we conjecture to be sufficient to establish the uniqueness threshold for all non-critical cases ($q\neq d+1$).
Characterization of the Pareto social choice correspondence
Published
• View Publication
• BIB
Necessary and sufficient conditions are derived for a social choice correspondence to be the one that selects the Pareto optimal alternatives.
Perfect colourings of regular graphs
Published
• View Publication
• BIB
A vertex colouring of some graph is called perfect if each vertex of colour $i$ has exactly $a_{ij}$ neighbours of colour $j$. Being perfect imposes several restrictions on the colour incidence matrix $(a_{ij})$. We list several (old and new) necessary conditions for a matrix to be the colour incidence matrix of a perfect colouring. Moreover we show that a certain combination of these conditions is also sufficient. Using this we determine a list of all colour incidence matrices corresponding to perfect colourings of 3-regular, 4-regular and 5-regular graphs with two, three and four colours, respectively. As an application we determine all perfect colourings of the edge graphs of the Platonic solids with two, three and four colours, respectively.
New inequalities for families without k pairwise disjoint members
Published
• View Publication
• BIB
Some best possible inequalities are established for k-partition-free families (cf. Definition 1) and they are applied to prove a sharpening of a classical result of Kleitman concerning families without k pairwise disjoint members.
Symmetries on plabic graphs and associated polytopes
Published in Comptes Rendus Mathématique, Volume 356, Issue 6, Pages 581-585, June 2018
• View Publication
• BIB
For Grassmann varieties, we explain how the duality between the Gelfand-Tsetlin polytopes and the Feigin-Fourier-Littelmann-Vinberg polytopes arises from different positive structures.
Enumeration of alternating sign triangles using a constant term approach
Published
• View Publication
• BIB
Alternating sign triangles (ASTs) have recently been introduced by Ayyer, Behrend and the author, and it was proven that there is the same number of ASTs with n rows as there is of nxn alternating sign matrices (ASMs). We prove a conjecture by Behrend on a refined enumeration of ASTs with respect to a statistic that is shown to have the same distribution as the column of the unique 1 in the top row of an ASM. The proof of the conjecture is based on a certain multivariate generating function of ASTs that takes the positions of the columns with sum 1 (1-columns) into account. We also prove a curious identity on the cyclic rotation of the 1-columns of ASTs. Furthermore, we discuss a relation of our multivariate generating function to a formula of Di Francesco and Zinn-Justin for the number of fully packed loop configurations associated with a given link pattern. The proofs of our results employ the author's operator formula for the number of monotone triangles with prescribed bottom row. This is opposed to the six-vertex model approach that was used by Ayyer, Behrend and the author to enumerate ASTs, and since the refined enumeration implies the unrefined enumeration, the present paper also provides an alternative proof of the enumeration of ASTs.
Short proof of two cases of Chvátal's conjecture
Published in Discrete Mathematics 342 (2019) 2192-2194
• View Publication
• BIB
In 1974 Chvátal conjectured that no intersecting family $\mathcal{F}$ in a downset can be larger than the largest star. In the same year Kleitman and Magnanti proved the conjecture when $\mathcal{F}$ is contained in the union of two stars, and Sterboul when $\operatorname{rank}(\mathcal{F})\le 3$. We give short self-contained proofs of these two statements.
Counterexamples for Cohen-Macaulayness of Lattice Ideals
Published
• View Publication
• BIB
Let $\mathscr{L}\subset \mathbb{Z}^n$ be a lattice, $I$ its corresponding lattice ideal, and $J$ the toric ideal arising from the saturation of $\mathscr{L}$. We produce infinitely many examples, in every codimension, of pairs $I,J$ where one of these ideals is Cohen--Macaulay but the other is not.
Counting graded lattices of rank three that have few coatoms
Published
• View Publication
• BIB
We consider the problem of computing $R(c,a)$, the number of unlabeled graded lattices of rank $3$ that contain $c$ coatoms and $a$ atoms. More specifically we do this when $c$ is fairly small, but $a$ may be large. For this task, we describe a computational method that combines constructive listing of basic cases and tools from enumerative combinatorics. With this method we compute the exact values of $R(c,a)$ for $c\le 9$ and $a\le 1000$.
We also show that, for any fixed $c$, there exists a quasipolynomial in $a$ that matches with $R(c,a)$ for all $a$ above a small value. We explicitly determine these quasipolynomials for $c \le 7$, thus finding closed form expressions of $R(c,a)$ for $c \le 7$.
On the centrosymmetric permutations in a class
Published in Australas. J. Combin. 74 (2019), 423-442
• Search Publication
A permutation is centrosymmetric if it is fixed by a half-turn rotation of its diagram. Initially motivated by a question by Alexander Woo, we investigate the question of whether the growth rate of a permutation class equals the growth rate of its even-size centrosymmetric elements. We present various examples where the latter growth rate is strictly less, but we conjecture that the reverse inequality cannot occur. We conjecture that equality holds if the class is sum closed, and we prove this conjecture in the special case where the growth rate is at most $ξ\approx 2.30522$, using results from Pantone and Vatter on growth rates less than $ξ$. We prove one direction of inequality for sum closed classes and for some geometric grid classes. We end with preliminary findings on new kinds of growth-rate thresholds that are a little bit larger than $ξ$.
Catalan functions and $k$-Schur positivity
Published
• View Publication
• BIB
We prove that graded $k$-Schur functions are $G$-equivariant Euler characteristics of vector bundles on the flag variety, settling a conjecture of Chen-Haiman. We expose a new miraculous shift invariance property of the graded $k$-Schur functions and resolve the Schur positivity and $k$-branching conjectures in the strongest possible terms by providing direct combinatorial formulas using strong marked tableaux.
Optimal pebbling number of graphs with given minimum degree
Published
• View Publication
• BIB
Consider a distribution of pebbles on a connected graph $G$. A pebbling move removes two pebbles from a vertex and places one to an adjacent vertex. A vertex is reachable under a pebbling distribution if it has a pebble after the application of a sequence of pebbling moves. The optimal pebbling number $π^*(G)$ is the smallest number of pebbles which we can distribute in such a way that each vertex is reachable. It was known that the optimal pebbling number of any connected graph is at most $\frac{4n}{δ+1}$, where $δ$ is the minimum degree of the graph. We strengthen this bound by showing that equality cannot be attained and that the bound is sharp. If $\operatorname{diam}(G)\geq 3$ then we further improve the bound to $π^*(G)\leq\frac{3.75n}{δ+1}$. On the other hand, we show that for arbitrary large diameter and any $ε>0$ there are infinitely many graphs whose optimal pebbling number is bigger than $\left(\frac{8}{3}-ε\right)\frac{n}{(δ+1)}$.
Conjectured lower bound for the clique number of a graph
It is well known that $n/(n - μ)$, where $μ$ is the spectral radius of a graph with $n$ vertices, is a lower bound for the clique number. We conjecture that $μ$ can be replaced in this bound with $\sqrt{s^+}$, where $s^+$ is the sum of the squares of the positive eigenvalues. We prove this conjecture for various classes of graphs, including triangle-free graphs, and for almost all graphs.
Distribution of the Number of Corners in Tree--like Tableaux
In this paper, we study tree--like tableaux and some of their probabilistic properties. Tree--like tableaux are in bijection with other combinatorial structures, including permutation tableaux, and have a connection to the partially asymmetric simple exclusion process (PASEP), an important model of an interacting particles system. In particular, in the context of tree-like tableaux, a corner corresponds to a node occupied by a particle that could jump to the right while inner corners indicate a particle with an empty node to its left. Thus, the total number of corners represents the number of nodes at which PASEP can move, i. e. the total current activity of the system. As the number of inner corners and regular corners is connected, we limit our discussion to just regular corners and show that asymptotically, the number of corners in a tableau of length $n$ is normally distributed.
A note on 1-guardable graphs in the cops and robber game
Published
• View Publication
• BIB
In the cops and robber games played on a simple graph $G$, Aigner and Fromme's lemma states that one cop can guard a shortest path in the sense that the robber cannot enter this path without getting caught after finitely many steps. In this paper, we extend Aigner and Fromme's lemma to cover a larger family of graphs and give metric characterizations of these graphs. In particular, we show that a generalization of block graphs, namely vertebrate graphs, are 1-guardable. We use this result to give the cop number of some special class of multi-layer generalized Peterson graphs.