Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Ramanujan graphs with diameter at most three
For a simple graph $G$, the complement and the line graph of $G$ are denoted by $G^c$ and $L(G)$, respectively. In this paper, we show that for every simple connected regular graph $G$ with at least $5$ vertices, the graph $\mathcal{R}(G):=L(L(G)^c)^c$ is a Ramanujan graph with diameter at most three.
Discrete (P)-closed Groups Acting On Trees
Reid-Smith recently parametrised groups acting on trees with Tits' independence property (P) using graph-based combinatorial structures known as local action diagrams. Properties of the acting (topological) group, such as being locally compact, compactly generated or simple, are reflected in its local action diagram. In this article we provide necessary and sufficient conditions on the local action diagram for the associated group to be discrete.
Proper Minor-Closed Classes in Blowups of Fans
Dujmović et al. [arXiv:2407.05936] showed that any $n$-vertex planar graph is contained in a $O(\sqrt{n}\log^2(n))$-blowup of a fan, and asked if the same holds for any $n$-vertex $K_t$-minor-free graph. We answer this in the positive, showing that such a graph is contained in a $O_t(\sqrt{n}\log^2(n))$-blowup of a fan.
Two-level D- and A-optimal main-effects designs with run sizes one and two more than a multiple of four
Published
• View Publication
• BIB
For run sizes that are a multiple of four, the literature offers many two-level designs that are D- and A-optimal for the main-effects model and minimize the aliasing between main effects and interaction effects and among interaction effects. For run sizes that are not a multiple of four, no conclusive results are known. In this paper, we propose two algorithms that generate all non-isomorphic D- and A-optimal main-effects designs for run sizes that are one and two more than a multiple of four. We enumerate all such designs for run sizes up to 18, report the numbers of designs we obtained, and identify those that minimize the aliasing between main effects and interaction effects and among interaction effects. Finally, we compare the minimally aliased designs we found with benchmark designs from the literature.
A virtually nilpotent group with non D-finite Green series
Published
• View Publication
• BIB
We provide an example of a virtually $2$-step nilpotent group, and a specific generating set, for which the Green series (sometimes called cogrowth series) is not D-finite. The proof relies on an arithmetical miracle, and the study of the subword complexity of a multiplicative sequence coming out of it.
Cyclic Subgroup Graph of a Group
A cyclic subgroup graph of a group $G$ is a graph whose vertices are cyclic subgroups of $G$ and two distinct vertices $H_1$ and $H_2$ are adjacent if $H_1\leq H_2$, and there is no subgroup $K$ such that $H_1<K<H_2$. M.Tărnăuceanu gave the formula to count the number of edges of these graphs. In this paper, we explore various properties of these graphs.
Expectation and Variance of the Degree of a Node in Random Spanning Trees
We consider a Gibbs distribution over all spanning trees of an undirected, edge weighted finite graph, where, up to normalization, the probability of each tree is given by the product of its edge weights. Defining the weighted degree of a node as the sum of the weights of its incident edges, we present analytical expressions for the expectation, variance and covariance of the weighted degree of a node across the Gibbs distribution. To generalize our approach, we distinguish between two types of weight: probability weights, which regulate the distribution of spanning trees, and degree weights, which define the weighted degree of nodes. This distinction allows us to define the weighted degree of nodes independently of the probability weights. By leveraging the Matrix Tree Theorem, we show that these degree moments ultimately depend on the inverse of a submatrix of the graph Laplacian. While our focus is on undirected graphs, we demonstrate that our results can be extended to the directed setting by considering incoming directed trees instead.
Closures and heavy pairs for hamiltonicity
Published
• View Publication
• BIB
We say that a graph $G$ on $n$ vertices is $\{H,F\}$-$o$-heavy if every induced subgraph of $G$ isomorphic to $H$ or $F$ contains two nonadjacent vertices with degree sum at least $n$. Generalizing earlier sufficient forbidden subgraph conditions for hamiltonicity, in 2012, Li, Ryjáček, Wang and Zhang determined all connected graphs $R$ and $S$ of order at least 3 other than $P_3$ such that every 2-connected $\{R,S\}$-$o$-heavy graph is hamiltonian. In particular, they showed that, up to symmetry, $R$ must be a claw and $S\in\{P_4,P_5,C_3,Z_1,Z_2,B,N,W\}$. In 2008, Čada extended Ryjáček's closure concept for claw-free graphs by introducing what we call the $c$-closure for claw-$o$-heavy graphs. We apply it here to characterize the structure of the $c$-closure of 2-connected $\{R,S\}$-$o$-heavy graphs, where $R$ and $S$ are as above. Our main results extend or generalize several earlier results on hamiltonicity involving forbidden or $o$-heavy subgraphs.
On graphs isomorphic with their conduction graph
Published
• View Publication
• BIB
Conduction graphs are defined here in order to elucidate at a glance the often complicated conduction behaviour of molecular graphs as ballistic molecular conductors. The graph $G^{\mathrm C}$ describes all possible conducting devices associated with a given base graph $G$ within the context of the Source-and-Sink-Potential model of ballistic conduction. The graphs $G^{\mathrm C}$ and $G$ have the same vertex set, and each edge $xy$ in $G^{\mathrm C}$ represents a conducting device with graph $G$ and connections $x$ and $y$ that conducts at the Fermi level. If $G^{\mathrm C}$ is isomorphic with the simple graph $G$ (in which case we call $G$ conduction-isomorphic), then $G$ has nullity $η(G)=0$ and is an ipso omni-insulator. Motivated by this, examples are provided of ipso omni-insulators of odd order, thereby answering a recent question. For $η(G)=0$, $G^{\mathrm C}$ is obtained by 'booleanising' the inverse adjacency matrix $A^{-1}(G)$, to form $A(G^{\mathrm C})$, i.e. by replacing all non-zero entries $(A(G)^{-1})_{xy}$ in the inverse by $1+δ_{xy}$ where $δ_{xy}$ is the Kronecker delta function. Constructions of conduction-isomorphic graphs are given for the cases of $G$ with minimum degree equal to two or any odd integer. Moreover, it is shown that given any connected non-bipartite conduction-isomorphic graph $G$, a larger conduction-isomorphic graph $G'$ with twice as many vertices and edges can be constructed. It is also shown that there are no 3-regular conduction-isomorphic graphs. A census of small (order $\leq 11$) connected conduction-isomorphic graphs and small (order $\leq 22$) connected conduction-isomorphic graphs with maximum degree at most three is given. For $η(G)=1$, it is shown that $G^{\mathrm C}$ is connected if and only if $G$ is a nut graph (a singular graph of nullity one that has a full kernel vector).
Jordan Type stratification of spaces of commuting nilpotent matrices
Published
• View Publication
• BIB
An $n\times n$ nilpotent matrix $B$ is determined up to conjugacy by a partition $P_B$ of $n$, its Jordan type given by the sizes of its Jordan blocks. The Jordan type $\mathfrak D(P)$ of a nilpotent matrix in the dense orbit of the nilpotent commutator of a given nilpotent matrix of Jordan type $P$ is stable - has parts differing pairwise by at least two - and was determined by R. Basili. The second two authors, with B. Van Steirteghem and R. Zhao determined a rectangular table of partitions $\mathfrak D^{-1}(Q)$ having a given stable partition $Q$ as the Jordan type of its maximum nilpotent commutator. They proposed a box conjecture, that would generalize the answer to stable partitions $Q$ having $\ell$ parts: it was proven recently by J.~Irving, T. Košir and M. Mastnak.
Using this result and also some tropical calculations, the authors here determine equations defining the loci of each partition in $\mathfrak D^{-1}(Q)$, when $Q$ is stable with two parts. The equations for each locus form a complete intersection. The authors propose a conjecture generalizing their result to arbitrary stable $Q$.
Parameterised Holant Problems
We investigate the complexity of parameterised holant problems p-$\mathrm{Holant}(\mathcal{S})$ for families of signatures $\mathcal{S}$. The parameterised holant framework was introduced by Curticapean in 2015 as a counter-part to the classical theory of holographic reductions and algorithms and it constitutes an extensive family of coloured and weighted counting constraint satisfaction problems on graph-like structures, encoding as special cases various well-studied counting problems in parameterised and fine-grained complexity theory such as counting edge-colourful $k$-matchings, graph-factors, Eulerian orientations or, subgraphs with weighted degree constraints. We establish an exhaustive complexity trichotomy along the set of signatures $\mathcal{S}$: Depending on $\mathcal{S}$, p-$\mathrm{Holant}(\mathcal{S})$ is: (1) solvable in FPT-near-linear time (i.e. $f(k)\cdot \tilde{\mathcal{O}}(|x|)$); (2) solvable in "FPT-matrix-multiplication time" (i.e. $f(k)\cdot {\mathcal{O}}(n^ω)$) but not solvable in FPT-near-linear time unless the Triangle Conjecture fails; or (3) #W[1]-complete and no significant improvement over brute force is possible unless ETH fails. This classification reveals a significant and surprising gap in the complexity landscape of parameterised Holants: Not only is every instance either fixed-parameter tractable or #W[1]-complete, but additionally, every FPT instance is solvable in time $f(k)\cdot {\mathcal{O}}(n^ω)$.
We also establish a complete classification for a natural uncoloured version of parameterised holant problem p-$\mathrm{UnColHolant}(\mathcal{S})$, which encodes as special cases the non-coloured analogues of the aforementioned examples. We show that the complexity of p-$\mathrm{UnColHolant}(\mathcal{S})$ is different: Depending on $\mathcal{S}$ all instances are either solvable in FPT-near-linear time, or #W[1]-complete.
On the size of outerplanar graphs with positive Lin-Lu-Yau Ricci curvature
In this paper, extending a result of Brooks et.al. [arXiv:2403.04110], we show that if an outerplanar graph $G$ with minimum degree at least $2$ has positive Lin-Lu-Yau curvature on every vertex pair, then $G$ has at most $10$ vertices, and this upper bound is sharp.
The First Zagreb Index, the Forgotten Topological Index, the Inverse Degree and Some Hamiltonian Properties of Graphs
Let $G = (V, E)$ be a graph. The first Zagreb index and the forgotten topological index of a graph $G$ are defined respectively as $\sum_{u \in V} d^2(u)$ and $\sum_{u \in V} d^3(u)$, where $d(u)$ is the degree of vertex $u$ in $G$. If the minimum degree of $G$ is at least one, the inverse degree of $G$ is defined as $\sum_{u \in V} \frac{1}{d(u)}$. In this paper, we, for a graph with minimum degree at least one, present an upper bound for the first Zagreb index of the graph and lower bounds for the forgotten topological index and the inverse degree of the graph. We also present sufficient conditions involving the first Zagreb index, the forgotten topological index, or the inverse degree for some Hamiltonian properties of a graph.
Cuts, Cats, and Complete Graphs
Published
• View Publication
• BIB
We introduce the game of Cat Herding, where an omnipresent herder slowly cuts down a graph until an evasive cat player has nowhere to go. The number of cuts made is the score of a game, and we study the score under optimal play. In this paper, we begin by deriving some general results, and then we determine the precise cat number for paths, cycles, stars, and wheels. Finally, we identify an optimal Cat and Herder strategy on complete graphs, while providing both a recurrence and closed form for $cat(K_n)$.
Detachable pairs in $3$-connected matroids and simple $3$-connected graphs
Published
• View Publication
• BIB
Let $M$ be a $3$-connected matroid. A pair $\{e,f\}$ in $M$ is detachable if $M \backslash e \backslash f$ or $M / e / f$ is $3$-connected. Williams (2015) proved that if $M$ has at least 13 elements, then at least one of the following holds: $M$ has a detachable pair, $M$ has a $3$-element circuit or cocircuit, or $M$ is a spike. We address the case where $M$ has a $3$-element circuit or cocircuit, to obtain a characterisation of when a matroid with at least 13 elements has a detachable pair. As a consequence, we characterise when a simple $3$-connected graph $G$ with $|E(G)| \ge 13$ has a pair of edges $\{e,f\}$ such that $G/e/f$ or $G \backslash e\backslash f$ is simple and $3$-connected.
Higher level $q$-multiple zeta values with applications to quasimodular forms and partitions
Published
• View Publication
• BIB
In recent years, the generalized sum-of-divisor functions of MacMahon have been unified into the algebraic framework of $q$-multiple zeta values. In particular, these results link partition theory, quasimodular forms, $q$-multiple zeta values, and quasi-shuffle algebras. In this paper, we complete this idea of unification for higher levels, demonstrating that any quasimodular form of weight $k \geq 2$ and level $N$ may be expressed in terms of the $q$-multiple zeta values of level $N$ studied algebraically by Yuan and Zhao. We also give results restricted to $q$-multiple zeta values with integer coefficients, and we construct completely additive generating sets for spaces of quasimodular forms and for quasimodular forms with integer coefficients. We also provide a variety of computational examples from number-theoretic perspectives that suggest many new applications of the algebraic structure of $q$-multiple zeta values to quasimodular forms and partitions.
On the zero-free region for the chromatic polynomial of graphs with maximum degree $Δ$ and girth $g$
Published
• View Publication
• BIB
The purpose of the present paper is to provide, for all pairs of integers $(Δ,g)$ with $\D\ge 3$ and $g\ge 3$, a positive number $C(Δ, g)$ such that chromatic polynomial $P_G(q)$ of a graph $G$ with maximum degree $Δ$ and finite girth $g$ is free of zero if $|q|\ge C(Δ, g)$. Our bounds enlarge the zero-free region in the complex plane of $P_G(q)$ in comparison to previous bounds. In particular, for small values of $\D$ our estimates yield a sensible improvement on the bounds recently obtained by Jenssen, Patel and Regts in \cite{JPR}, while they coincide with those of \cite{JPR} when $Δ\to \infty$.
Maximal chains in lattices from graph associahedra: Tamari to the weak order
In this paper, we study the maximal chains of lattices which generalizes both the weak order and the Tamari lattice: certain lattices of maximal tubings. A maximal tubing poset $\mathfrak{L}(G)$ is defined for any graph $G$, but for the graphs we consider in this paper, the poset is a lattice. Just as the weak order is an orientation of the $1$-skeleton of the permutahedron and the Tamari of the associahedron, each tubing lattice is an orientation of the $1$-skeleton of a graph associahedron. The partial order on $\mathfrak{L}(G)$ is given by a projection from $\mathfrak{S}_n$ to $\mathfrak{L}(G)$. In particular, when the graph is the complete graph, the graph associahedron is the the permutahedron, and when it is the path graph, it is the Stasheff associahedron.
Our main results are for lollipop graphs, graphs that ``interpolate'' between the path and the complete graphs. For lollipop graphs, the lattices consist of permutations which satisfy a generalization of $312$-avoiding. The maximum length chains correspond to partially shiftable tableaux under the Edelman-Greene's Coxeter-Knuth bijection. We also consider functions defined analogously to Stanley's symmetric function for the maximum length chains and find their expansion in terms of Young quasisymmetric Schur functions.
Hikita conjecture for classical Lie algebras
Let $G$ be $Sp_{2n}$, $SO_{2n}$ or $SO_{2n+1}$ and let $G^\vee$ be its Langlands dual group. Barbasch and Vogan based on earlier work of Lusztig and Spaltenstein, define a duality map $D$ that sends nilpotent orbits $\mathbb{O}_{e^\vee} \subset \mathfrak{g}^\vee$ to special nilpotent orbits $\mathbb{O}_e\subset \mathfrak{g}$. In a work by Losev, Mason-Brown and Matvieievskyi, an upgraded version $\tilde{D}$ of this duality is considered, called the refined BVLS duality. $\tilde{D}(\mathbb{O}_{e^\vee})$ is a $G$-equivariant cover $\tilde{\mathbb{O}}_e$ of $\mathbb{O}_e$. Let $S_{e^\vee}$ be the nilpotent Slodowy slice of the orbit $\mathbb{O}_{e^\vee}$. The two varieties $X^\vee= S_{e^\vee}$ and $X=$ Spec$(\mathbb{C}[\tilde{\mathbb{O}}_e])$ are expected to be symplectic dual to each other. In this context, a version of the Hikita conjecture predicts an isomorphism between the cohomology ring of the Springer fiber $\mathcal{B}_{e^\vee}$ and the ring of regular functions on the scheme-theoretic fixed point $X^T$ for some torus $T$. This paper verifies the isomorphism for certain pairs $e$ and $e^\vee$. These cases are expected to cover almost all instances in which the Hikita conjecture holds when $e^\vee$ regular in a Levi $\mathfrak{l}^\vee\subset \mathfrak{g}^\vee$. Our results in these cases follow from the relations of three different types of objects: generalized coinvariant algebras, equivariant cohomology rings, and functions on scheme-theoretic intersections. We also give evidence for the Hikita conjecture when $e^\vee$ is distinguished.
Linear independence over naturally-ordered semirings with applications to dimension arguments in extremal combinatorics
Published
• View Publication
• BIB
A family of subsets $\mathcal{F} \subseteq \mathcal{P}(\{1, 2, \ldots, n\})$ has the disparate union property if any two disjoint subfamilies $\mathcal{F}_1, \mathcal{F}_2 \subseteq \mathcal{F}$ have distinct unions $\bigcup \mathcal{F}_1 \neq \bigcup \mathcal{F}_2$; what is the maximal size of a family with the disparate union property? Is there a simple and efficiently computable characterization of size-maximal families? This paper highlights a class of partially-ordered semirings -- difference ordered semirings with a multiplicatively absorbing element -- and shows it is common and easily constructed. We prove that a suitably modified definition of linear independence for semimodules over such semirings enjoys the same maximality property as for vector spaces, and can furthermore be efficiently detected by the bideterminant. These properties allow us to extend dimension argument in extremal combinatorics and provide simple and direct solutions to the puzzles above.