Showing 20 papers (Total: 82661 papers, 47773 authors in database)
A Study on Linear Jaco Graphs
We introduce the concept of a family of finite directed graphs (\emph{positive integer order,} $f(x) = mx + c; x,m \in \Bbb N$ and $c \in \Bbb N_0)$ which are directed graphs derived from an infinite directed graph called the $f(x)$-root digraph. The $f(x)$-root digraph has four fundamental properties which are; $V(J_\infty(f(x))) = \{v_i: i \in \Bbb N\}$ and, if $v_j$ is the head of an arc then the tail is always a vertex $v_i, i < j$ and, if $v_k$ for smallest $k \in \Bbb N$ is a tail vertex then all vertices $v_\ell, k < \ell < j$ are tails of arcs to $v_j$ and finally, the degree of a vertex $v_k$ is $d(v_k) = mk + c$. The family of finite directed graphs are those limited to $n \in \Bbb N$ vertices by lobbing off all vertices (and corresponding arcs) $v_t, t > n.$ Hence, trivially we have $d(v_i) \leq mi + c$ for $i \in \Bbb N.$ It is meant to be an \emph{introductory paper} to encourage further research.
Filling the Complexity Gaps for Colouring Planar and Bounded Degree Graphs
Published
• View Publication
• BIB
A colouring of a graph $G=(V,E)$ is a function $c: V\rightarrow\{1,2,\ldots \}$ such that $c(u)\neq c(v)$ for every $uv\in E$. A $k$-regular list assignment of $G$ is a function $L$ with domain $V$ such that for every $u\in V$, $L(u)$ is a subset of $\{1, 2, \dots\}$ of size $k$. A colouring $c$ of $G$ respects a $k$-regular list assignment $L$ of $G$ if $c(u)\in L(u)$ for every $u\in V$. A graph $G$ is $k$-choosable if for every $k$-regular list assignment $L$ of $G$, there exists a colouring of $G$ that respects $L$. We may also ask if for a given $k$-regular list assignment $L$ of a given graph $G$, there exists a colouring of $G$ that respects $L$. This yields the $k$-Regular List Colouring problem. For $k\in \{3,4\}$ we determine a family of classes ${\cal G}$ of planar graphs, such that either $k$-Regular List Colouring is NP-complete for instances $(G,L)$ with $G\in {\cal G}$, or every $G\in {\cal G}$ is $k$-choosable. By using known examples of non-$3$-choosable and non-$4$-choosable graphs, this enables us to classify the complexity of $k$-Regular List Colouring restricted to planar graphs, planar bipartite graphs, planar triangle-free graphs and to planar graphs with no $4$-cycles and no $5$-cycles. We also classify the complexity of $k$-Regular List Colouring and a number of related colouring problems for graphs with bounded maximum degree.
A summation formula for Macdonald polynomials
Published in Letters in Mathematical Physics 106 (2016), 381--394
• View Publication
• BIB
We derive an explicit sum formula for symmetric Macdonald polynomials. Our expression contains multiple sums over the symmetric group and uses the action of Hecke generators on the ring of polynomials. In the special cases $t=1$ and $q=0$, we recover known expressions for the monomial symmetric and Hall-Littlewood polynomials, respectively. Other specializations of our formula give new expressions for the Jack and $q$-Whittaker polynomials.
Uniformly resolvable $(C_4, K_{1,3})$-designs of order $v$ and index $2$
Published
• View Publication
• BIB
In this paper we consider the uniformly resolvable decompositions of the complete graph $2K_v$ into subgraphs where each resolution class contains only blocks isomorphic to the same graph. We completely determine the spectrum for the cases in which all the resolution classes are either $C_4$ or $K_{1,3}$.
Permutation patterns: basic definitions and notation
A brief presentation of basic definitions and notation used in permutation patterns research.
On the growth of permutation classes
We study aspects of the enumeration of permutation classes, sets of permutations closed downwards under the subpermutation order.
First, we consider monotone grid classes of permutations. We present procedures for calculating the generating function of any class whose matrix has dimensions $m \times 1$ for some $m$, and of acyclic and unicyclic classes of gridded permutations. We show that almost all large permutations in a grid class have the same shape, and determine this limit shape.
We prove that the growth rate of a grid class is given by the square of the spectral radius of an associated graph and deduce some facts relating to the set of grid class growth rates. In the process, we establish a new result concerning tours on graphs. We also prove a similar result relating the growth rate of a geometric grid class to the matching polynomial of a graph, and determine the effect of edge subdivision on the matching polynomial. We characterise the growth rates of geometric grid classes in terms of the spectral radii of trees.
We then investigate the set of growth rates of permutation classes and establish a new upper bound on the value above which every real number is the growth rate of some permutation class. In the process, we prove new results concerning expansions of real numbers in non-integer bases in which the digits are drawn from sets of allowed values.
Finally, we introduce a new enumeration technique, based on associating a graph with each permutation, and determine the generating functions for some previously unenumerated classes. We conclude by using this approach to provide an improved lower bound on the growth rate of the class of permutations avoiding the pattern $1324$. In the process, we prove that, asymptotically, patterns in Łukasiewicz paths exhibit a concentrated Gaussian distribution.
Extremal Positive Semidefinite Matrices for Graphs without $K_5$ Minors
Published
• View Publication
• BIB
For a graph $G$ with $p$ vertices the closed convex cone $\mathbb{S}^p_{\succeq0}(G)$ consists of all real positive semidefinite $p\times p$ matrices with zeros in the off-diagonal entries corresponding to nonedges of $G$. The extremal rays of this cone and their associated ranks have applications to matrix completion problems, maximum likelihood estimation in Gaussian graphical models in statistics, and Gauss elimination for sparse matrices. For a graph $G$ without $K_5$ minors, we show that the normal vectors to the facets of the $(\pm1)$-cut polytope of $G$ specify the off-diagonal entries of extremal matrices in $\mathbb{S}^p_{\succeq0}(G)$. We also prove that the constant term of the linear equation of each facet-supporting hyperplane is the rank of its corresponding extremal matrix in $\mathbb{S}^p_{\succeq0}(G)$. Furthermore, we show that if $G$ is series-parallel then this gives a complete characterization of all possible extremal ranks of $\mathbb{S}^p_{\succeq0}(G)$, consequently solving the sparsity order problem for series-parallel graphs.
Graphs on 21 edges that are not 2--apex
Published in Involve 9 (2016) 591-621
• View Publication
• BIB
We show that the 20 graph Heawood family, obtained by a combination of triangle-Y and Y-triangle moves on $K_7$, is precisely the set of graphs of at most 21 edges that are minor minimal for the property not $2$--apex. As a corollary, this gives a new proof that the 14 graphs obtained by triangle-Y moves on $K_7$ are the minor minimal intrinsically knotted graphs of 21 or fewer edges. Similarly, we argue that the seven graph Petersen family, obtained from $K_6$, is the set of graphs of at most 17 edges that are minor minimal for the property not apex.
Bounds for the Clique Cover Width of Factors of the Apex Graph of the Planar Grid
Published in Congressus Numerantium 224 (2015), 213-220
• Search Publication
The {\it clique cover width} of $G$, denoted by $ccw(G)$, is the minimum value of the bandwidth of all graphs that are obtained by contracting the cliques in a clique cover of $G$ into a single vertex. For $i=1,2,...,d,$ let $G_i$ be a graph with $V(G_i)=V$, and let $G$ be a graph with $V(G)=V$ and $E(G)=\cap_{i=1}^d(G_i)$, then we write $G=\cap_{i=1}^dG_i$ and call each $G_i,i=1,2,...,d$ a factor of $G$. We are interested in the case where $G_1$ is chordal, and $ccw(G_i),i=2,3...,d$ for each factor $G_i$ is "small". Here we show a negative result. Specifically, let ${\hat G}(k,n)$ be the graph obtained by joining a set of $k$ apex vertices of degree $n^2$ to all vertices of an $n\times n$ grid, and then adding some possible edges among these $k$ vertices. We prove that if ${\hat G}(k,n)=\cap_{i=1}^dG_i$, with $G_1$ being chordal, then, $max_{2\le i\le d}\{ccw(G_i)\}\ge {n^{1\over d-1}\over 2.{(2c)}^{1\over {d-1}}}$, where $c$ is a constant. Furthermore, for $d=2$, we construct a chordal graph $G_1$ and a graph $G_2$ with $ccw(G_2)\le {n\over 2}+k$ so that ${\hat G}(k,n)=G_1\cap G_2$. Finally, let ${\hat G}$ be the clique sum graph of ${\hat G}(k_i, n_i), i=1,2,...t$, where the underlying grid is $n_i\times n_i$ and the sum is taken at apex vertices. Then, we show ${\hat G}=G_1\cap G_2$, where, $G_1$ is chordal and $ccw(G_2)\le \sum_{i=1}^t(n_i+k_i)$. The implications and applications of the results are discussed, including addressing a recent question of David Wood.
Simplicial and Cellular Trees
Published
• View Publication
• BIB
Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed first by Bolker, Kalai and Adin, and more recently by numerous authors, the fundamental topological properties of a tree --- namely acyclicity and connectedness --- can be generalized to arbitrary dimension as the vanishing of certain cellular homology groups. This point of view is consistent with the matroid-theoretic approach to graphs, and yields higher-dimensional analogues of classical enumerative results including Cayley's formula and the matrix-tree theorem. A subtlety of the higher-dimensional case is that enumeration must account for the possibility of torsion homology in trees, which is always trivial for graphs. Cellular trees are the starting point for further high-dimensional extensions of concepts from algebraic graph theory including the critical group, cut and flow spaces, and discrete dynamical systems such as the abelian sandpile model.
Solution of the string equations for asymmetric potentials
Published
• View Publication
• BIB
We consider the large $N$ expansion of the partition function for the Hermitian one-matrix model. It is well known that the coefficients of this expansion are generating functions $F^{(g)}$ for a certain kind of graph embedded in a Riemann surface. Other authors have made a simplifying assumption that the potential $V$ is an even function. We present a method for computing $F^{(g)}$ in the case that $V$ is not an even function. Our method is based on the string equations, and yields "valence independent" formulas which do not depend explicitly on the potential. We introduce a family of differential operators, the "string polynomials", which make clear the valence independent nature of the string equations.
On the Converse of Talagrand's Influence Inequality
In 1994, Talagrand showed a generalization of the celebrated KKL theorem. In this work, we prove that the converse of this generalization also holds. Namely, for any sequence of numbers $0<a_1,a_2,\ldots,a_n\le 1$ such that $\sum_{j=1}^n a_j/(1-\log a_j)\ge C$ for some constant $C>0$, it is possible to find a roughly balanced Boolean function $f$ such that $\textrm{Inf}_j[f] < a_j$ for every $1 \le j \le n$.
Asymptotics of Jack characters
Published in Journal of Combinatorial Theory, Series A 166 (2019) 91-143
• View Publication
• BIB
Jack characters are a one-parameter deformation of the characters of the symmetric groups; a deformation given by the coefficients in the expansion of Jack symmetric functions in the basis of power-sum symmetric functions. We study Jack characters from the viewpoint of the asymptotic representation theory. In particular, we give explicit formulas for their asymptotically top-degree part, in terms of bicolored oriented maps with an arbitrary face structure. We also study their multiplicative structure and their structure constants and we prove that they fulfill approximate factorization property, a convenient tool for proving Gaussianity of fluctuations of random Young diagrams.
Bias and dessins
Grothendieck's theory of dessins provides a bridge between algebraic numbers and combinatorics. This paper adds a new concept, called 'bias', to the bridge. This produces: (i) from a biased plane tree the construction of a sequence of algebraic numbers, and (ii) a Galois invariant lattice structure on the set of biased dessins. Bias brings these benefits by (i) using individual polynomials instead of equivalence classes of polynomials, and (ii) applying properties of covering spaces and the fundamental group. The new features give new opportunities.
At the 2014 SIGMAP conference the author spoke [1] on 'The decorated lattice of biased dessins'. This decorated lattice $\mathcal{L}$ is combinatorially defined, and its automorphism group contains the absolute Galois group $Γ$, perhaps as an index 6 subgroup.
This paper defines new families of invariants of dessins, although they require further work to be understood and useful. For this, $\mathcal{L}$ is vital. This paper relies on the the existing, unbiased, theory. Also, it only sketches the construction of $\mathcal{L}$. In [2], [3] the author will remove this dependency, develop the biased theory further, with a focus on $Γ$, and make the theory more accessible.
Towards an Algebra for Cascade Effects
Published in Logical Methods in Computer Science, Volume 13, Issue 3 (July 6, 2017) lmcs:3770
• View Publication
• BIB
We introduce a new class of (dynamical) systems that inherently capture cascading effects (viewed as consequential effects) and are naturally amenable to combinations. We develop an axiomatic general theory around those systems, and guide the endeavor towards an understanding of cascading failure. The theory evolves as an interplay of lattices and fixed points, and its results may be instantiated to commonly studied models of cascade effects.
We characterize the systems through their fixed points, and equip them with two operators. We uncover properties of the operators, and express global systems through combinations of local systems. We enhance the theory with a notion of failure, and understand the class of shocks inducing a system to failure. We develop a notion of mu-rank to capture the energy of a system, and understand the minimal amount of effort required to fail a system, termed resilience. We deduce a dual notion of fragility and show that the combination of systems sets a limit on the amount of fragility inherited.
Rational exponents in extremal graph theory
Published
• View Publication
• BIB
Given a family of graphs $\mathcal{H}$, the extremal number $\textrm{ex}(n, \mathcal{H})$ is the largest $m$ for which there exists a graph with $n$ vertices and $m$ edges containing no graph from the family $\mathcal{H}$ as a subgraph. We show that for every rational number $r$ between $1$ and $2$, there is a family of graphs $\mathcal{H}_r$ such that $\textrm{ex}(n, \mathcal{H}_r) = Θ(n^r)$. This solves a longstanding problem in the area of extremal graph theory.
A combinatorial proof of a relationship between maximal $(2k-1,2k+1)$ and $(2k-1,2k,2k+1)$-cores
Published in Electronic Journal of Combinatorics 23, no. 1 (2016), Article P1.13
• View Publication
• BIB
Integer partitions which are simultaneously $t$--cores for distinct values of $t$ have attracted significant interest in recent years. When $s$ and $t$ are relatively prime, Olsson and Stanton have determined the size of the maximal $(s,t)$-core $κ_{s,t}$. When $k\geq 2$, a conjecture of Amdeberhan on the maximal $(2k-1,2k,2k+1)$-core $κ_{2k-1,2k,2k+1}$ has also recently been verified by numerous authors.
In this work, we analyze the relationship between maximal $(2k-1,2k+1)$-cores and maximal $(2k-1,2k,2k+1)$-cores. In previous work, the first author noted that, for all $k\geq 1,$ $$ \vert \, κ_{2k-1,2k+1}\, \vert = 4\vert \, κ_{2k-1,2k,2k+1}\, \vert $$ and requested a combinatorial interpretation of this unexpected identity. Here, using the theory of abaci, partition dissection, and elementary results relating triangular numbers and squares, we provide such a combinatorial proof.
Regulating Hartshorne's connectedness theorem
Published
• View Publication
• BIB
A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X \subset \mathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $\le r'$, we show that the dual graph of $X$ is $\lfloor{\frac{r+r'-1}{r'}}\rfloor$-connected. The bound is sharp.
We also provide a strong converse to Hartshorne's result: Every connected graph is the dual graph of a suitable arithmetically Cohen-Macaulay projective curve of regularity $\le 3$, whose components are all rational normal curves. The regularity bound is smallest possible in general.
Further consequences of our work are:
(1) Any graph is the Hochster-Huneke graph of a complete equidimensional local ring. (This answers a question by Sather-Wagstaff and Spiroff.)
(2) The regularity of a curve is not larger than the sum of the regularities of its primary components.
Fattening up Warning's Second Theorem
We present a generalization of Warning's Second Theorem to polynomial systems over a finite local principal ring with suitably restricted input and output variables. This generalizes a recent result with Forrow and Schmitt (and gives a new proof of that result). Applications to additive group theory, graph theory and polynomial interpolation are pursued in detail.
The dominating colour of an infinite Pólya urn model
Published in J. Appl. Probab. Volume 53, Number 3 (2016), 914-924
• View Publication
• BIB
We study a Pólya-type urn model defined as follows. Start at time 0 with a single ball of some colour. Then, at each time n>0, choose a ball from the urn uniformly at random. With probability 1/2<p<1, return the ball to the urn along with another ball of the same colour. With probability 1-p, recolour the ball to a new colour and then return it to the urn. This is equivalent to the supercritical case of a random graph model studied by Backhausz and Móri, and Thörnblad. We prove that, with probability 1, there is a dominating colour, in the sense that, after some random but finite time, there is a colour that always has the most number of balls. A crucial part of the proof is the analysis of an urn model with two colours, in which the observed ball is returned to the urn along with another ball of the same colour with probability p, and removed with probability 1-p. Our results here generalise a classical result about the Pólya urn model (which corresponds to p=1).