Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Competition in growth and urns
Published
• View Publication
• BIB
We study survival among two competing types in two settings: a planar growth model related to two-neighbour bootstrap percolation, and a system of urns with graph-based interactions. In the planar growth model, uncoloured sites are given a colour at rate $0$, $1$ or $\infty$, depending on whether they have zero, one, or at least two neighbours of that colour. In the urn scheme, each vertex of a graph $G$ has an associated urn containing some number of either blue or red balls (but not both). At each time step, a ball is chosen uniformly at random from all those currently present in the system, a ball of the same colour is added to each neighbouring urn, and balls in the same urn but of different colours annihilate on a one-for-one basis. We show that, for every connected graph $G$ and every initial configuration, only one colour survives almost surely. As a corollary, we deduce that in the two-type growth model on $\mathbb{Z}^2$, one of the colours only infects a finite number of sites with probability one. We also discuss generalisations to higher dimensions and multi-type processes, and list a number of open problems and conjectures.
Induced Turán numbers
Published
• View Publication
• BIB
The classical Kővári-Sós-Turán theorem states that if $G$ is an $n$-vertex graph with no copy of $K_{s,t}$ as a subgraph, then the number of edges in $G$ is at most $O(n^{2-1/s})$. We prove that if one forbids $K_{s,t}$ as an induced/ subgraph, and also forbids any/ fixed graph $H$ as a (not necessarily induced) subgraph, the same asymptotic upper bound still holds, with different constant factors. This introduces a nontrivial angle from which to generalize Turán theory to induced forbidden subgraphs, which this paper explores. Along the way, we derive a nontrivial upper bound on the number of cliques of fixed order in a $K_r$-free graph with no induced copy of $K_{s,t}$. This result is an induced analog of a recent theorem of Alon and Shikhelman and is of independent interest.
Linear separation of connected dominating sets in graphs
Published
• View Publication
• BIB
A connected dominating set in a graph is a dominating set of vertices that induces a connected subgraph. Following analogous studies in the literature related to independent sets, dominating sets, and total dominating sets, we study in this paper the class of graphs in which the connected dominating sets can be separated from the other vertex subsets by a linear weight function. More precisely, we say that a graph is connected-domishold if it admits non-negative real weights associated to its vertices such that a set of vertices is a connected dominating set if and only if the sum of the corresponding weights exceeds a certain threshold. We characterize the graphs in this non-hereditary class in terms of a property of the set of minimal cutsets of the graph. We give several characterizations for the hereditary case, that is, when each connected induced subgraph is required to be connected-domishold. The characterization by forbidden induced subgraphs implies that the class properly generalizes two well known classes of chordal graphs, the block graphs and the trivially perfect graphs. Finally, we study certain algorithmic aspects of connected-domishold graphs. Building on connections with minimal cutsets and properties of the derived hypergraphs and Boolean functions, we show that our approach leads to new polynomially solvable cases of the weighted connected dominating set problem.
Hamiltonicity of planar graphs with a forbidden minor
Published
• View Publication
• BIB
Tutte showed that $4$-connected planar graphs are Hamiltonian, but it is well known that $3$-connected planar graphs need not be Hamiltonian. We show that $K_{2,5}$-minor-free $3$-connected planar graphs are Hamiltonian. This does not extend to $K_{2,5}$-minor-free $3$-connected graphs in general, as shown by the Petersen graph, and does not extend to $K_{2,6}$-minor-free $3$-connected planar graphs, as we show by an infinite family of examples.
Degree of W-operator and Noncrossing Partition
Published in Bull. Aust. Math. Soc. 101 (2020), no. 2, 186-200
• View Publication
• BIB
Goulden and Jackson first introduced the cut-and-join operator. The cut-and-join is widely used in studying the Hurwitz number and many other topological recursion problems. Mironov, Morosov and Natanzon give a more general construction and call it W-operator W([n]). As a special case, the cut-and-join operator is W([2]). In this paper, we study the structure of W([n]). We prove that W([n]) can be written as the sum of n! terms and each term corresponds uniquely to a permutation in Sn. We also define the degree of each term. We prove that there is a correspondence between the terms of W([n]) with highest degree and the noncrossing partitions.
Cycles with two blocks in $k$-chromatic digraphs
Published
• View Publication
• BIB
Let $k$ and $\ell$ be positive integers. A cycle with two blocks $c(k,\ell)$ is an oriented cycle which consists of two internally (vertex) disjoint directed paths of lengths at least $k$ and $\ell$, respectively, from a vertex to another one. A problem of Addario-Berry, Havet and Thomassé (2007) asked if, given positive integers $k$ and $\ell$ such that $k+\ell\ge 4$, any strongly connected digraph $D$ containing no $c(k,\ell)$ has chromatic number at most $k+\ell-1$. In this paper, we show that such digraph $D$ has chromatic number at most $O((k+\ell)^2)$, improving the previous upper bound $O((k+\ell)^4)$ obtained by Cohen, Havet, Lochet and Nisse (2016). In fact, we are able to find a digraph which shows that the answer to the above problem is no. We also show that if in addition $D$ is Hamiltonian, then its underlying simple graph is $(k+\ell-1)$-degenerate and thus the chromatic number of $D$ is at most $k+\ell$, which is tight.
Hit-and-Run for Sampling and Planning in Non-Convex Spaces
We propose the Hit-and-Run algorithm for planning and sampling problems in non-convex spaces. For sampling, we show the first analysis of the Hit-and-Run algorithm in non-convex spaces and show that it mixes fast as long as certain smoothness conditions are satisfied. In particular, our analysis reveals an intriguing connection between fast mixing and the existence of smooth measure-preserving mappings from a convex space to the non-convex space. For planning, we show advantages of Hit-and-Run compared to state-of-the-art planning methods such as Rapidly-Exploring Random Trees.
The combinatorial Chow ring of products of graphs
We prove results describing the structure of a Chow ring associated to a product of graphs, which arises from the Gross-Schoen desingularization of a product of regular proper semi-stable curves over discrete valuation rings. By the works of Johannes Kolb and Shou-Wu Zhang, this ring controls the behavior of the non-Archimedean height pairing on products of smooth proper curves over non-Archimedean fields. We provide a complete description of the degree map, and prove vanishing results affirming a conjecture of Kolb, which, combined with his work, leads to an analytic formula for the arithmetic intersection number of adelic metrized line bundles on products of curves over complete discretely valued fields.
Exceptional times of the critical dynamical Erdős-Rényi graph
Published
• View Publication
• BIB
In this paper we introduce a network model which evolves in time, and study its largest connected component. We consider a process of graphs $(G_t:t\in [0,1])$, where initially we start with a critical Erdős-Rényi graph ER(n, 1/n), and then evolve forwards in time by resampling each edge independently at rate 1. We show that the size of the largest connected component that appears during the time interval $[0, 1]$ is of order $n^{2/3} log^{1/3} n$ with high probability. This is in contrast to the largest component in the static critical Erdős-Rényi graph, which is of order $n^{2/3}$.
Graphs of kei and their diameters
A kei on $[n]$ can be thought of as a set of maps $(f_x)_{x \in [n]}$, where each $f_x$ is an involution on $[n]$ such that $(x)f_x = x$ for all $x$ and $f_{(x)f_y} = f_yf_xf_y$ for all $x$ and $y$. We can think of kei as loopless, edge-coloured multigraphs on $[n]$ where we have an edge of colour $y$ between $x$ and $z$ if and only if $(x)f_y = z$; in this paper we show that any component of diameter $d$ in such a graph must have at least $2^d$ vertices and contain at least $2^{d-1}$ edges of the same colour. We also show that these bounds are tight for each value of $d$.
Coverings, Matchings and the number of maximal independent sets of graphs
We determine the maximum number of maximal independent sets of arbitrary graphs in terms of their covering numbers and we completely characterize the extremal graphs. As an application, we give a similar result for König-Egerváry graphs in terms of their matching numbers.
Perfect quantum state transfer using Hadamard diagonalizable graphs
Published in Linear Algebra and its Applications, 531:375-398, 2017
• View Publication
• BIB
Quantum state transfer within a quantum computer can be achieved by using a network of qubits, and such a network can be modelled mathematically by a graph. Here, we focus on the corresponding Laplacian matrix, and those graphs for which the Laplacian can be diagonalized by a Hadamard matrix. We give a simple eigenvalue characterization for when such a graph has perfect state transfer at time $π/2$; this characterization allows one to choose the correct eigenvalues to build graphs having perfect state transfer. We characterize the graphs that are diagonalizable by the standard Hadamard matrix, showing a direct relationship to cubelike graphs. We then give a number of constructions producing a wide variety of new graphs that exhibit perfect state transfer, and we consider several corollaries in the settings of both weighted and unweighted graphs, as well as how our results relate to the notion of pretty good state transfer. Finally, we give an optimality result, showing that among regular graphs of degree at most $4$, the hypercube is the sparsest Hadamard diagonalizable connected unweighted graph with perfect state transfer.
Strongly maximal intersection-complete neural codes on grids are convex
Published
• View Publication
• BIB
The brain encodes spacial structure through a combinatorial code of neural activity. Experiments suggest such codes correspond to convex areas of the subject's environment. We present an intrinsic condition that implies a neural code may correspond to a convex space and give a bound on the minimal dimension underlying such a realization.
Explicit linear kernels for packing problems
Published
• View Publication
• BIB
During the last years, several algorithmic meta-theorems have appeared (Bodlaender et al. [FOCS 2009], Fomin et al. [SODA 2010], Kim et al. [ICALP 2013]) guaranteeing the existence of linear kernels on sparse graphs for problems satisfying some generic conditions. The drawback of such general results is that it is usually not clear how to derive from them constructive kernels with reasonably low explicit constants. To fill this gap, we recently presented [STACS 2014] a framework to obtain explicit linear kernels for some families of problems whose solutions can be certified by a subset of vertices. In this article we enhance our framework to deal with packing problems, that is, problems whose solutions can be certified by collections of subgraphs of the input graph satisfying certain properties. ${\mathcal F}$-Packing is a typical example: for a family ${\mathcal F}$ of connected graphs that we assume to contain at least one planar graph, the task is to decide whether a graph $G$ contains $k$ vertex-disjoint subgraphs such that each of them contains a graph in ${\mathcal F}$ as a minor. We provide explicit linear kernels on sparse graphs for the following two orthogonal generalizations of ${\mathcal F}$-Packing: for an integer $\ell \geq 1$, one aims at finding either minor-models that are pairwise at distance at least $\ell$ in $G$ ($\ell$-${\mathcal F}$-Packing), or such that each vertex in $G$ belongs to at most $\ell$ minors-models (${\mathcal F}$-Packing with $\ell$-Membership). Finally, we also provide linear kernels for the versions of these problems where one wants to pack subgraphs instead of minors.
Contagious sets in a degree-proportional bootstrap percolation process
Published
• View Publication
• BIB
We study the following bootstrap percolation process: given a connected graph $G$, a constant $ρ\in [0, 1]$ and an initial set $A \subseteq V(G)$ of \emph{infected} vertices, at each step a vertex~$v$ becomes infected if at least a $ρ$-proportion of its neighbours are already infected (once infected, a vertex remains infected forever). Our focus is on the size $h_ρ(G)$ of a smallest initial set which is \emph{contagious}, meaning that this process results in the infection of every vertex of $G$.
Our main result states that every connected graph $G$ on $n$ vertices has $h_ρ(G) < 2ρn$ or $h_ρ(G) = 1$ (note that allowing the latter possibility is necessary because of the case $ρ\leq\tfrac{1}{2n}$, as every contagious set has size at least one). This is the best-possible bound of this form, and improves on previous results of Chang and Lyuu and of Gentner and Rautenbach. We also provide a stronger bound for graphs of girth at least five and sufficiently small $ρ$, which is asymptotically best-possible.
Sums of products of binomial coefficients mod 2 and run length transforms of sequences
Published in INTEGERS 22 (2022), #A81
• View Publication
• BIB
We study properties of functions of binomial coefficients mod 2 and derive a set of recurrence relations for sums of products of binomial coefficients mod 2. We show that they result in sequences that are the run length transforms of well known basic sequences. In particular, we obtain formulas for the run length transform of the positive integers, Fibonacci numbers, extended Lucas numbers and Narayana's cows sequence.
Generalized K-Shift Forbidden Substrings in Permutations
In this note we continue the analysis of permutations that avoid substrings j(j+k), 1 <= j <= n-k, k < n, as well as substrings j(j+k) (mod n), 1 <= j <= n. In the first case the number of such permutations can be obtained from recursions starting from derangement numbers, while in the (mod n) case the number of permutations depends on whether n is prime, and more generally, on whether n and k are relatively prime.
Arc-transitive digraphs with quasiprimitive local actions
Published
• View Publication
• BIB
Let $Γ$ be a finite $G$-vertex-transitive digraph. The in-local action of $(Γ,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$. The out-local action $L_+$ is defined analogously. Note that $L_-$ and $L_+$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_-,L_+)$ are possible. We prove some general results, but pay special attention to the case when $L_-$ and $L_+$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the way, we prove a structural result about pairs of finite quasiprimitive groups of the same degree, one being (abstractly) isomorphic to a proper quotient of the other.
The Hodge theory of the Hecke category
Published
• View Publication
• BIB
Ideas from Hodge theory have found important applications in representation theory. We give a survey of joint work with Ben Elias which uncovers Hodge theoretic structure in the Hecke category ("Soergel bimodules"). We also outline similarities and differences to other combinatorial Hodge theories.
Conjectures involving a generalization of the sums of powers of integers
Published
• View Publication
• BIB
Some class of sums which naturally include the sums of powers of integers is considered. A number of conjectures concerning a representation of these sums is made.