Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The stochastic sandpile model on complete graphs
Published in The Electronic Journal of Combinatorics, 31(3), P3.26, 29pp. (2024)
• View Publication
• BIB
The stochastic sandpile model (SSM) is a generalisation of the standard Abelian sandpile model (ASM), in which topplings of unstable vertices are made random. When unstable, a vertex sends one grain to each of its neighbours independently with probability $p \in (0,1)$. We study the SSM on complete graphs. Our main result is a description of the recurrent states of the model. We show that these are given by convex sums of recurrent states for the ASM. This allows us to recover a well-known result: that the number of integer lattice points in the $n$-dimensional permutation polytope is equal to the number of labeled spanning forests on $n$ vertices. We also provide a stochastic version of Dhar's burning algorithm to check if a given (stable) state is recurrent or not, which runs in linear time. Finally, we study a family of so-called "partial" SSMs, in which some vertices topple randomly, while others topple deterministically (as in the ASM, sending one grain to all neighbours). We show that this distinction is meaningful, yielding sets of recurrent states that are in general different from those of both the ASM and SSM. We also show that to get all recurrent states of the SSM, we can allow up to two vertices to topple deterministically.
Some Difference Graphs
In this paper, we discuss difference labeling of some standard families of graphs. We prove that Star, Butterfly, Bistar, umbrella and Olive tree are difference graphs. We also introduce difference labelings for some snakes (double triangular snake, irregular triangular snake, alternate $C_n$ snake). Furthermore we introduce a corollary helps us to find a unique difference labeling for the complete graph $K_3$ and all forms of difference labeling for the Star graph. Also this corollary can be used to prove that the complete bipartite graph $K_{2,4}$ is not a difference graph but the proof is very lengthy.
Decomposition horizons and a characterization of stable hereditary classes of graphs
Published
• View Publication
• BIB
The notions of bounded-size and quasibounded-size decompositions with bounded treedepth base classes are central to the structural theory of graph sparsity introduced by two of the authors years ago, and provide a characterization of both classes with bounded expansions and nowhere dense classes. Strong connections of this theory with model theory led to considering first-order transductions, which are logically defined graph transformations, and to initiate a comparative study of combinatorial and model theoretical properties of graph classes, with an emphasis on the model theoretical notions of dependence (or NIP) and stability. In this paper, we first prove that every hereditary class with quasibounded-size decompositions with dependent (resp.\ stable) base classes is itself dependent (resp.\ stable). This result is obtained in a more general study of ``decomposition horizons'', which are class properties compatible with quasibounded-size decompositions. We deduce that hereditary classes with quasibounded-size decompositions with bounded shrubdepth base classes are stable. In the second part of the paper, we prove the converse. Thus, we characterize stable hereditary classes of graphs as those hereditary classes that admit quasibounded-size decompositions with bounded shrubdepth base classes. This result is obtained by proving that every hereditary stable class of graphs admits almost nowhere dense quasi-bush representations, thus answering positively a conjecture of Dreier et al. These results have several consequences. For example, we show that every graph $G$ in a stable, hereditary class of graphs $\mathscr C$ has a clique or a stable set of size $Ω_{\mathscr C,ε}(|G|^{1/2-ε})$, for every $ε>0$, which is tight in the sense that it cannot be improved to $Ω_{\mathscr C}(|G|^{1/2})$.
New bounds on the number of Edges of the maximal Permutation Graphs
In this paper, we bound the number of edges of a maximal permutation graph with n vertices. We propose a new method to compute the lower bound by splitting the set of labellings of the edges into six parts, considering one separate problem for each part, explicitly determining the cardinality of four parts and summing up the corresponding values. We finish with an upper bound of the number of edges of a maximal permutation graph.
On (Random-order) Online Contention Resolution Schemes for the Matching Polytope of (Bipartite) Graphs
Published in SODA 2023
• View Publication
• BIB
Online Contention Resolution Schemes (OCRS's) represent a modern tool for selecting a subset of elements, subject to resource constraints, when the elements are presented to the algorithm sequentially. OCRS's have led to some of the best-known competitive ratio guarantees for online resource allocation problems, with the added benefit of treating different online decisions -- accept/reject, probing, pricing -- in a unified manner. This paper analyzes OCRS's for resource constraints defined by matchings in graphs, a fundamental structure in combinatorial optimization. We consider two dimensions of variants: the elements being presented in adversarial or random order; and the graph being bipartite or general. We improve the state of the art for all combinations of variants, both in terms of algorithmic guarantees and impossibility results. Some of our algorithmic guarantees are best-known even compared to Contention Resolution Schemes that can choose the order of arrival or are offline. All in all, our results for OCRS directly improve the best-known competitive ratios for online accept/reject, probing, and pricing problems on graphs in a unified manner.
On the Edges of Characteristic Imset Polytopes
Published
• View Publication
• BIB
The edges of the characteristic imset polytope, $\operatorname{CIM}_p$, were recently shown to have strong connections to causal discovery as many algorithms could be interpreted as greedy restricted edge-walks, even though only a strict subset of the edges are known. To better understand the general edge structure of the polytope we describe the edge structure of faces with a clear combinatorial interpretation: for any undirected graph $G$ we have the face $\operatorname{CIM}_G$, the convex hull of the characteristic imsets of DAGs with skeleton $G$. We give a full edge-description of $\operatorname{CIM}_G$ when $G$ is a tree, leading to interesting connections to other polytopes. In particular the well-studied stable set polytope can be recovered as a face of $\operatorname{CIM}_G$ when $G$ is a tree. Building on this connection we are also able to give a description of all edges of $\operatorname{CIM}_G$ when $G$ is a cycle, suggesting possible inroads for generalization. We then introduce an algorithm for learning directed trees from data, utilizing our newly discovered edges, that outperforms classical methods on simulated Gaussian data.
Extremal Bounds for Three-Neighbour Bootstrap Percolation in Dimensions Two and Three
Published
• View Publication
• BIB
For $r\geq1$, the $r$-neighbour bootstrap process in a graph $G$ starts with a set of infected vertices and, in each time step, every vertex with at least $r$ infected neighbours becomes infected. The initial infection percolates if every vertex of $G$ is eventually infected. We exactly determine the minimum cardinality of a set that percolates for the $3$-neighbour bootstrap process when $G$ is a $3$-dimensional grid with minimum side-length at least $11$. We also characterize the integers $a$ and $b$ for which there is a set of cardinality $\frac{ab+a+b}{3}$ that percolates for the $3$-neighbour bootstrap process in the $a\times b$ grid; this solves a problem raised by Benevides, Bermond, Lesfari and Nisse [HAL Research Report 03161419v4, 2021].
Extremal combinatorics, iterated pigeonhole arguments, and generalizations of PPP
We study the complexity of computational problems arising from existence theorems in extremal combinatorics. For some of these problems, a solution is guaranteed to exist based on an iterated application of the Pigeonhole Principle. This results in the definition of a new complexity class within TFNP, which we call PLC (for "polynomial long choice"). PLC includes all of PPP, as well as numerous previously unclassified total problems, including search problems related to Ramsey's theorem, the Sunflower theorem, the Erdős-Ko-Rado lemma, and König's lemma. Whether the first two of these four problems are PLC-complete is an important open question which we pursue; in contrast, we show that the latter two are PPP-complete. Finally, we reframe PPP as an optimization problem, and define a hierarchy of such problems related to Turán's theorem.
From weighted to unweighted graphs in Synchronizing Graph Theory
A way to associate unweighted graphs from weighted ones is presented, such that linear stable equilibria of the Kuramoto homogeneous model associated to both graphs coincide, i.e., equilibria of the system $\dotθ_i = \sum_{j \sim i} \sin(θ_{j}-θ_j)$, where $i\sim j$ means vertices $i$ and $j$ are adjacent in the corresponding graph. As a consequence, the existence of linearly stable equilibrium is proved to be NP-Hard as conjectured by R. Taylor in 2015 and a new lower bound for the minimum degree that ensures synchronization is found.
Colourings of aperiodic tilings
Published
• View Publication
• BIB
We find explicit optimal vertex, edge and face coulourings for the chair tiling, the Ammann--Beenker tiling, the rational pinwheel tiling and the pinwheel tiling.
Some criteria for integer sequences pair being realizable by a graph
Let $A=(a_1,\ldots,a_n)$ and $B=(b_1,\ldots,b_n)$ be two sequences of nonnegative integers with $a_i \le b_i$ for $1\le i\le n$. The pair $(A;B)$ is said to be realizable by a graph if there exists a simple graph $G$ with vertices $v_1,\ldots, v_n$ such that $a_i\le d_G(v_i)\le b_i$ for $1\le i\le n$. Let $\preceq$ denote the lexicographic ordering on $Z\times Z:$ $(a_{i+1},b_{i+1})\preceq (a_i,b_i)\Longleftrightarrow [(a_{i+1}<a_i)\vee ((a_{i+1}=a_i)\&(b_{i+1}\le b_i))]$. We say that the sequences $A$ and $B$ are in good order if $(a_{i+1},b_{i+1})\preceq (a_i,b_i)$. In this paper, we consider the generalizations of six classical characterizations on sequences pair due to Berge, Ryser et al. and present related results.
Ryser's Theorem for Symmetric $ρ$-latin Squares
Published
• View Publication
• BIB
Let $L$ be an $n\times n$ array whose top left $r\times r$ subarray is filled with $k$ different symbols, each occurring at most once in each row and at most once in each column. We establish necessary and sufficient conditions that ensure the remaining cells of $L$ can be filled such that each symbol occurs at most once in each row and at most once in each column, $L$ is symmetric with respect to the main diagonal, and each symbol occurs a prescribed number of times in $L$. The case where the prescribed number of times each symbol occurs is $n$ was solved by Cruse (J. Combin. Theory Ser. A 16 (1974), 18--22), and the case where the top left subarray is $r\times n$ and the symmetry is not required, was settled by Goldwasser et al. (J. Combin. Theory Ser. A 130 (2015), 26--41). Our result allows the entries of the main diagonal to be specified as well, which leads to an extension of the Andersen-Hoffman Theorem (Annals of Disc. Math. 15 (1982) 9--26, European J. Combin. 4 (1983) 33--35).
Embedding Irregular Colorings into Connected Factorizations
For $r:=(r_1,\dots,r_k)$, an $r$-factorization of the complete $λ$-fold $h$-uniform $n$-vertex hypergraph $λK_n^h$ is a partition of (the edges of) $λK_n^h$ into $F_1,\dots, F_k$ such that for $i=1,\dots,k$, $F_i$ is $r_i$-regular and spanning. Suppose that $n \geq (h-1)(2m-1)$. Given a partial $r$-factorization of $λK_m^h$, that is, a coloring (i.e. partition) $P$ of the edges of $λK_m^h$ into $F_1,\dots, F_k$ such that for $i=1,\dots,k$, $F_i$ is spanning and the degree of each vertex in $F_i$ is at most $r_i$, we find necessary and sufficient conditions that ensure $P$ can be extended to a connected $r$-factorization of $λK_n^h$ (i.e. an $r$-factorization in which each factor is connected). Moreover, we prove a general result that implies the following. Given a partial $s$-factorization $P$ of any sub-hypergraph of $λK_m^h$, where $s:=(s_1,\dots,s_q)$ and $q$ is not too big, we find necessary and sufficient conditions under which $P$ can be embedded into a connected $r$-factorization of $λK_n^h$. These results can be seen as unified generalizations of various classical combinatorial results such as Cruse's theorem on embedding partial symmetric latin squares, Baranyai's theorem on factorization of hypergraphs, Hilton's theorem on extending path decompositions into Hamiltonian decompositions, Häggkvist and Hellgren's theorem on extending 1-factorizations, and Hilton, Johnson, Rodger, and Wantland's theorem on embedding connected factorizations.
Construction, Extension and Paths of Near-Homogeneous Tournaments
Published
• View Publication
• BIB
A homogeneous tournament is a tournament with $4t+3$ vertices such that every arc is contained in exactly $t+1$ cycles of length $3$. Homogeneous tournaments are the first class of tournaments that are proved to be path extendable, which means that every nonhamiltonian path $P$ in such a tournament $T$ can be extended to a path $P'$ with the same initial and terminal vertex and $V(P')=V(P)\cup \{u\}$ for a certain vertex $u\in V(T)\backslash V(P)$. In order to find more path extendable tournaments we study the generalization of homogeneous tournaments called near-homogeneous tournaments, in which every arc is contained in $t$ or $t+1$ cycles of length $3$. Near-homogeneity has been defined in tournaments with $4t+1$ vertices. In this paper, we raise a new method to construct near-homogeneous tournaments with $4t+1$ vertices. We then show that the definition of near-homogeneous tournament can be extended to tournaments with an even number of vertices. Finally we verify path extendability of near-homogeneous tournaments, thus expand the class of path extendable tournaments.
Barrett-Johnson inequalities for totally nonnegative matrices
Published
• View Publication
• BIB
Given a matrix $A$, let $A_{I,J}$ denote the submatrix of $A$ determined by rows $I$ and columns $J$. Fischer's Inequalities state that for each $n \times n$ Hermitian positive semidefinite matrix $A$, and each subset $I$ of $\{1,\dotsc,n\}$ and its complement $I^c$, we have $\det(A) \leq \det(A_{I,I})\det(A_{I^c,I^c})$. Barrett and Johnson (Linear Multilinear Algebra 34, 1993) extended these to state inequalities for sums of products of principal minors whose orders are given by nonincreasing integer sequences $(λ_1,\dotsc,λ_r)$, $(μ_1,\dotsc,μ_s)$ summing to $n$. Specifically, if $λ_1+\cdots+λ_i\leq μ_1+\cdots+μ_i$ for all $i$, then $$ λ_1!\cdotsλ_r! \sum_{(I_1,\dotsc,I_r)} \det(A_{I_1,I_1}) \cdots \det(A_{I_r,I_r}) ~\geq~
μ_1!\cdotsμ_s!
\sum_{(J_1,\dotsc,J_s)}
\det(A_{J_1,J_1}) \cdots \det(A_{J_s,J_s}), $$ where sums are over sequences of disjoint subsets of $\{1,\dotsc,n\}$ satisfying $|I_k| = λ_k$, $|J_k| = μ_k$. We show that these inequalities hold for totally nonnegative matrices as well.
Complementary choice functions
Published
• View Publication
• BIB
The paper studies complementary choice functions, i.e. monotonic and consistent choice functions. Such choice functions were introduced and used in the work \cite{RY} for investigation of matchings with complementary contracts. Three (universal) ways of constructing such functions are given: through pre-topologies, as direct images of completely complementary (or pre-ordered) choice functions, and with the help of supermodular set-functions.
Hausdorff moment problem for combinatorial numbers of Brown and Tutte: exact solution
Published in Enumerative Combinatorics and Applications, ECA 3:2 (2023) Article #S2R15, 10 pages
• View Publication
• BIB
We investigate the combinatorial sequences $A(M, n)$ introduced by W. G. Brown (1964) and W. T. Tutte (1980) appearing in enumeration of convex polyhedra. Their formula is $$A(M, n) = \frac{2 (2M+3)!}{(M+2)! M!}\,\frac{(4n+2M+1)!}{n! (3n + 2M + 3)!} $$ with $n, M =0, 1, 2, \ldots$, and we conceive it as Hausdorff moments, where $M$ is a parameter and $n$ enumerates the moments. We solve exactly the corresponding Hausdorff moment problem: $A(M, n) = \int_{0}^{R} x^{n} W_{M}(x) d x$ on the natural support $(0, R)$, $R = 4^{4}/3^{3}$, using the method of inverse Mellin transform. We provide explicitly the weight functions $W_{M}(x)$ in terms of the Meijer G-functions $G_{4, 4}^{4, 0}$, or equivalently, the generalized hypergeometric functions ${_{3}F_{2}}$ (for $M=0, 1$) and ${_{4}F_{3}}$ (for $M \geq 2$). For $M = 0, 1$, we prove that $W_{M}(x)$ are non-negative and normalizable, thus they are probability distributions. For $M \geq 2$, $W_{M}(x)$ are signed functions vanishing on the extremities of the support. By rephrasing this problem entirely in terms of Meijer G representations we reveal an integral relation which directly furnishes $W_M(x)$ based on ordinary generating function of $A(M, n)$ as an input. All the results are studied analytically as well as graphically.
Sequences of Trees and Higher-Order Renormalization Group Equations
Published
• View Publication
• BIB
We define a notion of higher order renormalization group equation and investigate when a sequence of trees satisfies such an equation. In the strongest sense, the sequence of trees satisfies a $k$th order renormalization group equation when applying any choice of Feynman rules results in a Green function satisfying a $k$th order renormalization group equation, and we characterize all such sequences of trees. We also make some comments on sequences of trees which require special choices of Feynman rules in order to satisfy a higher order renormalization group equation.
Oriented cobicircular matroids are $GSP$
Published in Discrete Mathematics Volume 347, Issue 1, January 2024
• View Publication
• BIB
Colourings and flows are well-known dual notions in Graph Theory. In turn, the definition of flows in graphs naturally extends to flows in oriented matroids. So, the colour-flow duality gives a generalization of Hadwiger's conjecture about graph colourings, to a conjecture about coflows of oriented matroids. The first non-trivial case of Hadwiger's conjecture for oriented matroids reads as follows. If $\mathcal{O}$ is an $M(K_4)$-minor free oriented matroid, then $\mathcal{O}$ has a now-where $3$-coflow, i.e., it is $3$-colourable in the sense of Hochstättler-Nešetřil. The class of generalized series parallel ($GSP$) oriented matroids is a class of $3$-colourable oriented matroids with no $M(K_4)$-minor. So far, the only technique towards proving that all orientations of a class $\mathcal{C}$ of $M(K_4)$-minor free matroids are $GSP$ (and thus $3$-colourable), has been to show that every matroid in $\mathcal{C}$ has a positive coline. Towards proving Hadwiger's conjecture for the class of gammoids, Goddyn, Hochstättler, and Neudauer conjectured that every gammoid has a positive coline. In this work we disprove this conjecture by exhibiting an infinite class of strict gammoids that do not have positive colines. We conclude by proposing a simpler technique for showing that certain oriented matroids are $GSP$. In particular, we recover that oriented lattice path matroids are $GSP$, and we show that oriented cobicircular matroids are $GSP$.
Analytic aspects of $q,r$-analogue of poly-Stirling numbers of both kinds
Published
• View Publication
• BIB
The Stirling numbers of type $B$ of the second kind count signed set partitions. In this paper we provide new combinatorial and analytical identities regarding these numbers as well as Broder's $r$-version of these numbers. Among these identities one can find recursions, explicit formulas based on the inclusion-exclusion principle, and also exponential generating functions.
These Stirling numbers can be considered as members of a wider family of triangles of numbers that are characterized using results of Comtet and Lancaster.
We generalize these theorems, which present equivalent conditions for a triangle of numbers to be a triangle of generalized Stirling numbers, to the case of the $q,r$-poly Stirling numbers, which are $q$-analogues of the restricted Stirling numbers defined by Broder and having a polynomial value appearing in their defining recursion. There are two ways to do this and these ways are related by a nice identity.