Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Disjoint Total Dominating Sets in Near-Triangulations
Published
• View Publication
• BIB
We show that every simple planar near-triangulation with minimum degree at least three contains two disjoint total dominating sets. The class includes all simple planar triangulations other than the triangle. This affirms a conjecture of Goddard and Henning [Thoroughly dispersed colorings, J. Graph Theory, 88 (2018) 174-191].
Asymptotics for connected graphs and irreducible tournaments
Published
• View Publication
• BIB
We compute the whole asymptotic expansion of the probability that a large uniform labeled graph is connected, and of the probability that a large uniform labeled tournament is irreducible. In both cases, we provide a combinatorial interpretation of the involved coefficients.
When all Permutations are Combinatorial Similarities
Let $(X, d)$ be a semimetric space. A permutation $Φ$ of the set $X$ is a combinatorial self similarity of $(X, d)$ if there is a bijective function $f \colon d(X^2) \to d(X^2)$ such that $$ d(x, y) = f(d(Φ(x), Φ(y))) $$ for all $x$, $y \in X$. We describe the set of all semimetrics $ρ$ on an arbitrary nonempty set $Y$ for which every permutation of $Y$ is a combinatorial self similarity of $(Y, ρ)$.
Simplex Closing Probabilities in Directed Graphs
Published
• View Publication
• BIB
Recent work in mathematical neuroscience has calculated the directed graph homology of the directed simplicial complex given by the brains sparse adjacency graph, the so called connectome.
These biological connectomes show an abundance of both high-dimensional directed simplices and Betti-numbers in all viable dimensions - in contrast to Erdős-Rényi-graphs of comparable size and density. An analysis of synthetically trained connectomes reveals similar findings, raising questions about the graphs comparability and the nature of origin of the simplices.
We present a new method capable of delivering insight into the emergence of simplices and thus simplicial abundance. Our approach allows to easily distinguish simplex-rich connectomes of different origin. The method relies on the novel concept of an almost-d-simplex, that is, a simplex missing exactly one edge, and consequently the almost-d-simplex closing probability by dimension. We also describe a fast algorithm to identify almost-d-simplices in a given graph. Applying this method to biological and artificial data allows us to identify a mechanism responsible for simplex emergence, and suggests this mechanism is responsible for the simplex signature of the excitatory subnetwork of a statistical reconstruction of the mouse primary visual cortex. Our highly optimised code for this new method is publicly available.
Random cluster model on regular graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$ with $v(G)$ vertices the partition function of the random cluster model is defined by $$Z_G(q,w)=\sum_{A\subseteq E(G)}q^{k(A)}w^{|A|},$$ where $k(A)$ denotes the number of connected components of the graph $(V,A)$. Furthermore, let $g(G)$ denote the girth of the graph $G$, that is, the length of the shortest cycle.
In this paper we show that if $(G_n)_n$ is a sequence of $d$-regular graphs such that the girth $g(G_n)\to \infty$, then the limit $$\lim_{n\to \infty} \frac{1}{v(G_n)}\ln Z_{G_n}(q,w)=\ln Φ_{d,q,w}$$ exists if $q\geq 2$ and $w\geq 0$. The quantity $Φ_{d,q,w}$ can be computed as follows. Let $$Φ_{d,q,w}(t):=\left(\sqrt{1+\frac{w}{q}}\cos(t)+\sqrt{\frac{(q-1)w}{q}}\sin(t)\right)^{d}+(q-1)\left(\sqrt{1+\frac{w}{q}}\cos(t)-\sqrt{\frac{w}{q(q-1)}}\sin(t)\right)^{d},$$ then $$Φ_{d,q,w}:=\max_{t\in [-π,π]}Φ_{d,q,w}(t),$$ The same conclusion holds true for a sequence of random $d$-regular graphs with probability one.
Our result extends the work of Dembo, Montanari, Sly and Sun for the Potts model (integer $q$), and we prove a conjecture of Helmuth, Jenssen and Perkins about the phase transition of the random cluster model with fixed $q$.
Discrete density comonads and graph parameters
Published
• View Publication
• BIB
Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in terms of their Eilenberg-Moore coalgebras. As a result, a number of results from finite model theory, such as preservation theorems and homomorphism counting theorems, have been formalised and parameterised by comonads, giving rise to new results simply by varying the comonad.
In this paper we study the limits of the comonadic approach in the combinatorial and homomorphism-counting aspect of the theory, regardless of whether any model comparison games are involved. We show that any standard graph parameter has a corresponding comonad, classifying the same class. This comonad is constructed via a simple Kan extension formula, making it the initial solution to this problem and, furthermore, automatically admitting a homomorphism-counting theorem.
The probability of random trees being isomorphic
We study the fundamental question of how likely it is that two randomly chosen trees are isomorphic to each other for different models of random trees. We show that the probability decays exponentially for rooted labeled trees as well as for Galton--Watson trees with bounded degrees but that this is not true for plane trees, thus providing a counterexample in the general case of Galton--Watson trees without degree restrictions. We also derive limiting distributions for some related parameters: the number of vertices of given degrees in pairs of labeled trees conditioned on being isomorphic, thus showing that they have a different shape than usual labeled trees, as well as the number of labelings and plane representations of Pólya trees. The results rely on both probabilistic and analytic tools.
Scattered linear sets in a finite projective line and translation planes
Published
• View Publication
• BIB
Lunardon and Polverino construct a translation plane starting from a scattered linear set of pseudoregulus type in $\mathrm{PG}(1,q^t)$. In this paper a similar construction of a translation plane $\mathcal A_f$ obtained from any scattered linearized polynomial $f(x)$ in $\mathbb F_{q^t}[x]$ is described and investigated. A class of quasifields giving rise to such planes is defined. Denote by $U_f$ the $\mathbb F_q$-subspace of $\mathbb F_{q^t}^2$ associated with $f(x)$. If $f(x)$ and $f'(x)$ are scattered, then $\mathcal A_f$ and $\mathcal A_{f'}$ are isomorphic if and only if $U_f$ and $U_{f'}$ belong to the same orbit under the action of $Γ\mathrm L(2,q^t)$. This gives rise to as many distinct translation planes as there are inequivalent scattered linearized polynomials. In particular, for any scattered linear set $L$ of maximum rank in $\mathrm{PG}(1,q^t)$ there are $c_Γ(L)$ pairwise non-isomorphic translation planes, where $c_Γ(L)$ denotes the $Γ\mathrm L$-class of $L$, as defined by Csajbók, Marino and Polverino. A result by Jha and Johnson allows to describe the automorphism groups of the planes obtained from the linear sets not of pseudoregulus type defined by Lunardon and Polverino.
Improved Upper Bound on Independent Domination Number for Hypercubes
We revisit the problem of determining the independent domination number in hypercubes for which the known upper bound is still not tight for general dimensions. We present here a constructive method to build an independent dominating set $S_n$ for the $n$-dimensional hypercube $Q_n$, where $n=2p+1$, $p$ being a positive integer $\ge 1$, provided an independent dominating set $S_p$ for the $p$-dimensional hypercube $Q_p$, is known. The procedure also computes the minimum independent dominating set for all $n=2^k-1$, $k>1$. Finally, we establish that the independent domination number $α_n\leq 3 \times 2^{n-k-2}$ for $7\times 2^{k-2}-1\leq n<2^{k+1}-1$, $k>1$. This is an improved upper bound for this range as compared to earlier work.
Pebble trees
Published
• View Publication
• BIB
A pebble tree is an ordered tree where each node receives some colored pebbles, in such a way that each unary node receives at least one pebble, and each subtree has either one more or as many leaves as pebbles of each color. We show that the contraction poset on pebble trees is isomorphic to the face poset of a convex polytope called pebble tree polytope. Beside providing intriguing generalizations of the classical permutahedra and associahedra, our motivation is that the faces of the pebble tree polytopes provide realizations as convex polytopes of all assocoipahedra constructed by K. Poirier and T. Tradler only as polytopal complexes.
The existence of $m$-tree-connected $(g,f+f'-m)$-factors using $(g,f)$-factors and $m$-tree-connected $(m,f')$-factors
Let $G$ be a graph and let $g$, $f$, and $f'$ be three positive integer-valued functions on $V(G)$ with $g\le f$. Tokuda, Xu, and Wang (2003) showed that if $G$ contains a $(g,f)$-factor and a spanning $f'$-tree, then $G$ also contains a connected $(g,f+f'-1)$-factor. In this note, we develop their result to a tree-connected version by proving that if $G$ contains a $(g,f)$-factor and an $m$-tree-connected $(m,f')$-factor, then $G$ also contains an $m$-tree-connected $(g,f+f'-m)$-factor, provided that $f\ge m$. In addition, we show that $g$ allows to be nonnegative.
Metric dimension of growing infinite graphs
We investigate how the metric dimension of infinite graphs change when we add edges to the graph. Our two main results: (1) there exists a growing sequence of graphs (under the subgraph relation, but without adding vertices) for which the metric dimension changes between finite and infinite infinitely many times; (2) finite changes in the edge set can not change the metric dimension from finite to infinite or vice versa.
A random walk on the Rado graph
Published
• View Publication
• BIB
The Rado graph, also known as the random graph $G(\infty, p)$, is a classical limit object for finite graphs. We study natural ball walks as a way of understanding the geometry of this graph. For the walk started at $i$, we show that order $\log_2^*i$ steps are sufficient, and for infinitely many $i$, necessary for convergence to stationarity. The proof involves an application of Hardy's inequality for trees.
The maximum number of triangles in a graph and its applications to special $p$-groups
Published
• View Publication
• BIB
We give a sharp bound on the number of triangles in a graph with fixed number of edges. We also characterize graphs that achieve the maximum number of triangles. Using the upper bound on number of triangles, we prove that if $G$ is a special $p$-group of rank $2 \leq k \leq \binom{d}{2}$, then $|\mathcal{M}(G)| \leq p^{\frac{d(d+2k-1)}{2} - k- \binom{d}{3}+ \binom{r}{3} + \mybinom[.55]{ \binom{d}{2} - k - \binom{r}{2} }{2} }$, where $r$ is such that $\binom{r}{2} \leq \binom{d}{2} -k < \binom{r+1}{2} $. We also prove that, if $G$ is a $p$-group $(p \neq 2,3)$ of class $c \geq 3$, then $|\mathcal{M}(G)| \leq p^{\frac{d(m-e)}{2}+(δ-1)(n-m)-\max(0,δ-2)-\max(1,δ-3)}$ and if $G$ is of coclass $r$ with class $c \geq 3$, then $|\mathcal{M}(G)| \leq p^{\frac{r^2-r}{2}+kr}$
Techniques in equivariant Ehrhart theory
Published
• View Publication
• BIB
Equivariant Ehrhart theory generalizes the study of lattice point enumeration to also account for the symmetries of a polytope under a linear group action. We present a catalogue of techniques with applications in this field, including zonotopal decompositions, symmetric triangulations, combinatorial interpretation of the $h^\ast$-polynomial, and certificates for the (non)existence of invariant non-degenerate hypersurfaces. We apply these methods to several families of examples including hypersimplices, orbit polytopes, and graphic zonotopes, expanding the library of polytopes for which their equivariant Ehrhart theory is known.
Generalizations and variants of Knuth's old sum
We extend the Reed Dawson identity for Knuth's old sum with a complex parameter, and we offer two separate hypergeometric series-based proofs of this generalization, and we apply this generalization to introduce binomial-harmonic sum identities. We also provide another ${}_{2}F_{1}(2)$-generalization of the Reed Dawson identity involving a free parameter. We then apply Fourier-Legendre theory to obtain an identity involving odd harmonic numbers that resembles the formula for Knuth's old sum, and the modified Abel lemma on summation by parts is also applied.
Hankel edge ideals of trees and (semi-)Hamiltonian graphs
Published
• View Publication
• BIB
In this paper, we study the Hankel edge ideals of graphs. We determine the minimal prime ideals of the Hankel edge ideal of labeled Hamiltonian and semi-Hamiltonian graphs, and we investigate radicality, being a complete intersection, almost complete intersection and set theoretic complete intersection for such graphs. We also consider the Hankel edge ideal of trees with a natural labeling, called rooted labeling. We characterize such trees whose Hankel edge ideal is a complete intersection, and moreover, we determine those whose initial ideal with respect to the reverse lexicographic order satisfies this property.
Interval colorings of graphs -- coordinated and unstable no-wait schedules
Published
• View Publication
• BIB
A proper edge-coloring of a graph is an interval coloring if the labels on the edges incident to any vertex form an interval of consecutive integers. Interval thickness s(G) of a graph G is the smallest number of interval colorable graphs edge-decomposing G. We prove that s(G)=o(n) for any graph G on n vertices. This improves the previously known bound of 2n/5 by Asratian, Casselgren, and Petrosyan. While we do not have a single example of a graph with interval thickness strictly greater than 2, we construct bipartite graphs whose interval spectrum has arbitrarily many arbitrarily large gaps. Here, an interval spectrum of a graph is the set of all integers t such that the graph has an interval coloring using t colors.
Interval colorings of bipartite graphs naturally correspond to no-wait schedules, say for parent-teacher conferences, where a conversation between any teacher and any parent lasts the same amount of time. Our results imply that any such conference with $n$ participants can be coordinated in o(n) no-wait periods. In addition, we show that for any integers t and T, t<T, there is a set of pairs of parents and teachers wanting to talk to each other, such that any no-wait schedules are unstable -- they could last t hours and could last T hours, but there is no possible no-wait schedule lasting x hours if t<x<T.
Paths through equally spaced points on a circle
Consider $n$ points evenly spaced on a circle, and a path of $n-1$ chords that uses each point once. There are $m=\lfloor n/2\rfloor$ possible chord lengths, so the path defines a multiset of $n-1$ elements drawn from $\{1,2,\ldots,m\}$. The first problem we consider is to characterize the multisets which are realized by some path. Buratti conjectured that all multisets can be realized when $n$ is prime, and a generalized conjecture for all $n$ was proposed by Horak and Rosa. Previously the conjecture was proved for $n \leq 19$ and $n=23$; we extend this to $n\leq 37$ (OEIS sequence A352568). The second problem is to determine the number of distinct (euclidean) path lengths that can be realized. For this there is no conjecture; we extend current knowledge from $n\leq 16$ to $n\leq 37$ (OEIS sequence A030077). When $n$ is prime, twice a prime, or a power of 2, we prove that two paths have the same length only if they have the same multiset of chord lengths.
Berkovich-Uncu type Partition Inequalities Concerning Impermissible Sets and Perfect Power Frequencies
Published
• View Publication
• BIB
Recently, Rattan and the first author (Ann. Comb. 25 (2021) 697-728) proved a conjectured inequality of Berkovich and Uncu (Ann. Comb. 23 (2019) 263-284) concerning partitions with an impermissible part. In this article, we generalize this inequality upon considering t impermissible parts. We compare these with partitions whose certain parts appear with a frequency which is a perfect t^{th} power. Our inequalities hold after a certain bound, which for given t is a polynomial in s, a major improvement over the previously known bound in the case t=1. To prove these inequalities, our methods involve constructing injective maps between the relevant sets of partitions. The construction of these maps crucially involves concepts from analysis and calculus, such as explicit maps used to prove countability of N^t, and Jensen's inequality for convex functions, and then merge them with techniques from number theory such as Frobenius numbers, congruence classes, binary numbers and quadratic residues. We also show a connection of our results to colored partitions. Finally, we pose an open problem which seems to be related to power residues and the almost universality of diagonal ternary quadratic forms.