Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Lovász Meets Weisfeiler and Leman
In this paper, we relate a beautiful theory by Lovász with a popular heuristic algorithm for the graph isomorphism problem, namely the color refinement algorithm and its k-dimensional generalization known as the Weisfeiler-Leman algorithm. We prove that two graphs G and H are indistinguishable by the color refinement algorithm if and only if, for all trees T, the number Hom(T,G) of homomorphisms from T to G equals the corresponding number Hom(T,H) for H.
There is a natural system of linear equations whose nonnegative integer solutions correspond to the isomorphisms between two graphs. The nonnegative real solutions to this system are called fractional isomorphisms, and two graphs are fractionally isomorphic if and only if the color refinement algorithm cannot distinguish them (Tinhofer 1986, 1991). We show that, if we drop the nonnegativity constraints, that is, if we look for arbitrary real solutions, then a solution to the linear system exists if and only if, for all t, the two graphs have the same number of length-t walks.
We lift the results for trees to an equivalence between numbers of homomorphisms from graphs of tree width k, the k-dimensional Weisfeiler-Leman algorithm, and the level-k Sherali-Adams relaxation of our linear program. We also obtain a partial result for graphs of bounded path width and solutions to our system where we drop the nonnegativity constraints. A consequence of our results is a quasi-linear time algorithm to decide whether, for two given graphs G and H, there is a tree T with Hom(T,G) = Hom(T,H).
Powers of tight Hamilton cycles in randomly perturbed hypergraphs
Published
• View Publication
• BIB
For $k\ge 2$ and $r\ge 1$ such that $k+r\ge 4$, we prove that, for any $α>0$, there exists $ε>0$ such that the union of an $n$-vertex $k$-graph with minimum codegree $\left(1-\binom{k+r-2}{k-1}^{-1}+α\right)n$ and a binomial random $k$-graph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-\binom{k+r-2}{k-1}^{-1}-ε}$ on the same vertex set contains the $r^{\text{th}}$ power of a tight Hamilton cycle with high probability. This result for $r=1$ was first proved by McDowell and Mycroft.
Anti-Ramsey number of edge-disjoint rainbow spanning trees
Published
• View Publication
• BIB
An edge-colored graph $G$ is called rainbow if every edge of $G$ receives a different color. The anti-Ramsey number of $t$ edge-disjoint rainbow spanning trees, denoted by $r(n,t)$, is defined as the maximum number of colors in an edge-coloring of $K_n$ containing no $t$ edge-disjoint rainbow spanning trees. Jahanbekam and West [J. Graph Theory, 2014] conjectured that for any fixed $t$, $r(n,t)=\binom{n-2}{2}+t$ whenever $n\geq 2t+2 \geq 6$. In this paper, we prove this conjecture. We also determine $r(n,t)$ when $n = 2t+1$. Together with previous results, this gives the anti-Ramsey number of $t$ edge-disjoint rainbow spanning trees for all values of $n$ and $t$.
The Edge-Isoperimetric Problem on Sierpinski Graphs: Final Resolution
This paper completes the project started in [10]; to solve the edge-isoperimetric problem on the (generalized and extended) Sierpinski graph, S(n,m). We prove that initial segments of lexicographic order are solutions of the EIP for all n,m.
Another Identity for Complete Bell Polynomials based on Ramanujan's Congruences
Published in J. Integer Seq., Vol.21 (2018), Article 18.6.4
• Search Publication
Let $p(n)$ be the number of partition of a positive integer $n$. We derive a new identity for complete Bell polynomials based on a generating function of $p(7n+5)$ given by Ramanujan.
River Crossing Problems: Algebraic Approach
Published
• View Publication
• BIB
We consider two river crossing problems, about jealous husbands and about missionaries and cannibals. The missionaries and cannibals problem arose a thousand years after the jealous husbands problem, although its solution had actually appeared several hundred years before its formulation. We apply an algebraic approach to study these problems, using a symmetry group action on the state set of the jealous husband problem; then category theory is used to describe the relationship between the two problems. Some historical issues are also touched, related to the fact that the missionaries and cannibals problem arose precisely when the group approach began to be widely spread and popularized. This is the approach that naturally connects both problems.
Random triangles in random graphs
Published
• View Publication
• BIB
In a recent paper, Oliver Riordan shows that for $r \ge 4$ and $p$ up to and slightly larger than the threshold for a $K_r$-factor, the hypergraph formed by the copies of $K_r$ in $G(n,p)$ contains a copy of the binomial random hypergraph $H=H_r(n,π)$ with $π\sim p^{r \choose 2}$. For $r=3$, he gives a slightly weaker result where the density in the random hypergraph is reduced by a constant factor. Recently, Jeff Kahn announced an asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem for all $r \ge 3$. With Riordan's result, this immediately implies an asymptotically sharp bound for the threshold of a $K_r$-factor in $G(n,p)$ for $r \ge 4$. In this note, we resolve the missing case $r=3$ by modifying Riordan's argument. This means that Kahn's result also implies a sharp bound for triangle factors in $G(n,p)$.
Graph polynomials and symmetries
Published
• View Publication
• BIB
In a recent paper, we studied the interaction between the automorphism group of a graph and its Tutte polynomial. More precisely, we proved that certain symmetries of graphs are clearly reflected by their Tutte polynomials. The purpose of this paper is to extend this study to other graph polynomials. In particular, we prove that if a graph $G$ has a symmetry of prime order $p$, then its characteristic polynomial, with coefficients in the finite filed $\mathbb{F}_p$, is determined by the characteristic polynomial of its quotient graph $\overline G$. Similar results are also proved for some generalization of the Tutte polynomial.
The Laplacian spectrum of power graphs of some finite abelian p-groups
The power graph $\mathcal{G}(G)$ of a group $G$ is a simple graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if one is a power of other. In this paper, we investigate the Laplacian spectrum of the power graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$ of finite abelian $p$-group $\mathbb{Z}_{p^m}^n$. In particular, we prove that the spectrum of group $\mathbb{Z}_{p^m}^n$ is contained in the Laplacian spectrum of graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$. For a finite abelian group $G$ whose power graph $\mathcal{G}(G)$ is planar, we also prove that the spectrum of group $G$ is contained in the Laplacian spectrum of graph $\mathcal{G}(G)$.
On a new conjecture about super-monochromatic factorisations and ultimate periodicity
We study a conjecture linking ultimate periodicity of infnite words to the existence of colorings on finite words avoiding monochromatic factorisation of suffixes, with the extra condition that the ordered concatenation of elements of this factorisation remains monochromatic. This type of results shows the limits of Ramsey theory in the context of combinatorics on words. We show some reductions of the problem and the example of the Zimin word. Using the new notion of consecutive length, we show that words avoiding large squares fulfill the conjecture.
The Poset of Mesh Patterns
Published
• View Publication
• BIB
We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and non-shellable intervals by generalising the direct product operation from permutations to mesh patterns.
The Sprague-Grundy function for some selective compound games
We analyze the Sprague-Grundy functions for a class of almost disjoint selective compound games played on Nim heaps. Surprisingly, we find that these functions behave chaotically for smaller Sprague-Grundy values of each component game yet predictably when any one heap is sufficiently large.
Quantum walks and the size of the graph
Published
• View Publication
• BIB
A continuous-time quantum walk is modelled using a graph. In this short paper, we provide lower bounds on the size of a graph that would allow for some quantum phenomena to occur. Among other things, we show that, in the adjacency matrix quantum walk model, the number of edges is bounded below by a cubic function on the eccentricity of a periodic vertex. This gives some idea on the shape of a graph that would admit periodicity or perfect state transfer. We also raise some extremal type of questions in the end that could lead to future research.
Udo Pachner (1947-2002) - A "Hidden Champion" in Mathematics
Udo Pachner proved that all simplicial manifolds which are homeomorphic can be transformed into each other by a sequence of simple transformations now commonly called "Pachner moves". For a fixed dimension there are only finitely many types of Pachner moves. This makes it possible to identify invariants by proving the invariance only for a finite number of transformations. This fact has proved useful for various applications in p.l. topology and in loop quantum gravity theory. The paper is meant to honor the importance of Pachner's results and to make them known to a wider community.
Cambrian acyclic domains: counting $c$-singletons
We study the size of certain acyclic domains that arise from geometric and combinatorial constructions. These acyclic domains consist of all permutations visited by commuting equivalence classes of maximal reduced decompositions if we consider the symmetric group and, more generally, of all c-singletons of a Cambrian lattice associated to the weak order of a finite Coxeter group. For this reason, we call these sets Cambrian acyclic domains. Extending a closed formula of Galambos--Reiner for a particular acyclic domain called Fishburn's alternating scheme, we provide explicit formulae for the size of any Cambrian acyclic domain and characterize the Cambrian acyclic domains of minimum or maximum size.
Decomposition of a graph into two disjoint odd subgraphs
Published in Discussiones Mathematicae Graph Theory 2020
• View Publication
• BIB
An odd (resp. even) subgraph in a multigraph is its subgraph in which every vertex has odd (resp. even) degree. We say that a multigraph can be decomposed into two odd subgraphs if its edge set can be partitioned into two sets so that both form odd subgraphs. In this paper we give a necessary and sufficient condition for the decomposability of a multigraph into two odd subgraphs. We also present a polynomial time algorithm for finding such a decomposition or showing its non-existence. We also deal with the case of the decomposability into an even subgraph and an odd subgraph.
On the permanent of Sylvester-Hadamard matrices
We prove a conjecture due to Wanless about the permanent of Hadamard matrices in the particular case of Sylvester-Hadamard matrices. Namely we show that for all n greater or equal to 2, the dyadic valuation of the permanent of the Sylvester-Hadamard matrix of order n is equal to the dyadic valuation of n!. As a consequence, the permanent of the Sylvester-Hadamard matrix of order n doesn't vanish for n greater or equal to 2.
Spanned lines and Langer's inequality
We collect some results in combinatorial geometry that follow from an inequality of Langer in algebraic geometry. Langer's inequality gives a lower bound on the number of incidences between a point set and its spanned lines, and was recently used by Han to improve the constant in the weak Dirac conjecture. Here we observe that this inequality also leads to improved constants in Beck's theorem, which states that a finite point set in the real or complex plane has many points on a line or spans many lines. Most of the proofs that we use are not original, and the goal of this note is mainly to carefully record the quantitative results in one place. We also include some discussion of possible further improvements to these statements.
Structure and Supersaturation for Intersecting Families
Published in Electronic Journal of Combinatorics 26(2) (2019), P2.34
• View Publication
• BIB
The extremal problems regarding the maximum possible size of intersecting families of various combinatorial objects have been extensively studied. In this paper, we investigate supersaturation extensions, which in this context ask for the minimum number of disjoint pairs that must appear in families larger than the extremal threshold. We study the minimum number of disjoint pairs in families of permutations and in $k$-uniform set families, and determine the structure of the optimal families. Our main tool is a removal lemma for disjoint pairs. We also determine the typical structure of $k$-uniform set families without matchings of size $s$ when $n \ge 2sk + 38s^4$, and show that almost all $k$-uniform intersecting families on vertex set $[n]$ are trivial when $n\ge (2+o(1))k$.
A note on friezes of type $Λ_p$
Published
• View Publication
• BIB
A frieze is an array of numbers obeying the unimodular rule. Coxeter showed that a frieze with integer entries corresponds to a triangulation. Recently, Holm and Jørgenson introduced friezes of type $Λ_p$ which correspond to $p$-angulations of a polygon. In this paper we explore the connection between these two types of friezes; in particular we show that the friezes of type $Λ_p$ for $p=4$ and $p=6$ contain integral friezes within them. We also consider the relationships with Farey graphs.