Showing 20 papers (Total: 83502 papers, 48219 authors in database)
The $1$-nearly vertex independence number of a graph
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. A set $I_0(G) \subseteq V(G)$ is a vertex independent set if no two vertices in $I_0(G)$ are adjacent in $G$. We study $α_1(G)$, which is the maximum cardinality of a set $I_1(G) \subseteq V(G)$ that contains exactly one pair of adjacent vertices of $G$. We call $I_1(G)$ a $1$-nearly vertex independent set of $G$ and $α_1(G)$ a $1$-nearly vertex independence number of $G$. We provide some cases of explicit formulas for $α_1$. Furthermore, we prove a tight lower (resp. upper) bound on $α_1$ for graphs of order $n$. The extremal graphs that achieve equality on each bound are fully characterised.
The filter of interpretability types of Hobby-McKenzie varieties is prime
Published
• View Publication
• BIB
We study the Hobby-McKenzie varieties that constitute a major class investigated thoroughly in the monograph The shape of congruence lattices by Kearnes and Kiss. We obtain new characterizations of the Hobby-McKenzie varieties via compatible reflexive ternary structures. Based on our findings, we prove that in the lattice of interpretability types of varieties, the filter of the interpretability types of Hobby-McKenzie varieties is prime.
The diameter of random Schreier graphs
Published
• View Publication
• BIB
We give a combinatorial proof of the following theorem. Let $G$ be any finite group acting transitively on a set of cardinality $n$. If $S \subseteq G$ is a random set of size $k$, with $k \geq (\log n)^{1+\varepsilon}$ for some $\varepsilon >0$, then the diameter of the corresponding Schreier graph is $O(\log_k n)$ with high probability. Except for the implicit constant, this result is the best possible.
Beyond uniform cyclotomy
Published
• View Publication
• BIB
Cyclotomy, the study of cyclotomic classes and cyclotomic numbers, is an area of number theory first studied by Gauss. It has natural applications in discrete mathematics and information theory. Despite this long history, there are significant limitations to what is known explicitly about cyclotomic numbers, which limits the use of cyclotomy in applications. The main explicit tool available is that of uniform cyclotomy, introduced by Baumert, Mills and Ward in 1982. In this paper, we present an extension of uniform cyclotomy which gives a direct method for evaluating all cyclotomic numbers over $GF(q^n)$ of order dividing $(q^n-1)/(q-1)$, for any prime power $q$ and $n \geq 2$, which does not use character theory nor direct calculation in the field. This allows the straightforward evaluation of many cyclotomic numbers for which other methods are unknown or impractical. Our methods exploit connections between cyclotomy, Singer difference sets and finite geometry.
Spectral conditions of pancyclicity for t-tough graphs
Published
• View Publication
• BIB
More than 40 years ago Chvátal introduced a new graph invariant, which he called graph toughness. From then on a lot of research has been conducted, mainly related to the relationship between toughness conditions and the existence of cyclic structures, in particular, determining whether the graph is Hamiltonian and pancyclic. A pancyclic graph is certainly Hamiltonian, but not conversely. Bondy in 1976, however, suggested the "metaconjecture" that almost any nontrivial condition on a graph which implies that the graph is Hamiltonian also implies that the graph is pancyclic. We confirm the Bondy conjecture for t-tough graphs in the case when $t\in \{ 1;2;3\}$ in terms of the edge number, the spectral radius and the signless Laplacian spectral radius of the graph.
In How Ways Can You Play Stanley Solitaire?
We introduce a very simple solitaire game, named Stanley Solitaire, in honor of Richard Stanley, and prove an explicit closed-form formula for the number of ways of playing it. Alas, the only proof that we know is via a deep theorem of Richard Stanley from 1984. We challenge the readers to find a more elementary proof.
Duality for pairs of upward bipolar plane graphs and submodule lattices
Let $G$ and $H$ be acyclic, upward bipolarly oriented plane graphs with the same number $n$ of edges. While $G$ can symbolize a flow network, $H$ has only a controlling role. Let $φ$ and $ψ$ be bijections from $\{1, \dots, n\}$ to the edge set of $G$ and that of $H$, respectively; their role is to define, for each edge of $H$, the corresponding edge of $G$. Let $b$ be an element of an Abelian group $\mathbb A$. An $n$-tuple $(a_1$, $\dots$, $a_n)$ of elements of $\mathbb A$ is a solution of the paired-bipolar-graphs problem $P:=(G,H$, $φ,ψ$, $\mathbb A, b)$ if whenever $a_i$ is the ``all-or-nothing-flow'' capacity of the edge $φ(i)$ for $i=1, \dots, n$ and $\vec e$ is a maximal directed path of $H$, then by fully exploiting the capacities of the edges corresponding to the edges of $\vec e$ and neglecting the rest of the edges of $G$, we have a flow process transporting $b$ from the source (vertex) of $G$ to the sink of $G$. Let $P':=(H',G'$, $ψ',φ'$, $\mathbb A, b)$, where $H'$ and $G'$ are the ``two-outer-facet'' duals of $H$ and $G$, respectively, and $ψ'$ and $φ'$ are defined naturally. We prove that $P$ and $P'$ have the same solutions. This result implies George Hutchinson's self-duality theorem on submodule lattices.
Formula Size-Depth Tradeoffs for Iterated Sub-Permutation Matrix Multiplication
Published
• View Publication
• BIB
We study the formula complexity of Iterated Sub-Permutation Matrix Multiplication, the logspace-complete problem of computing the product of $k$ $n$-by-$n$ Boolean matrices with at most a single $1$ in each row and column. For all $d \le \log k$, this problem is solvable by $n^{O(dk^{1/d})}$ size monotone formulas of two distinct types: (unbounded fan-in) $AC^0$ formulas of depth $d+1$ and (semi-unbounded fan-in) $SAC^0$ formulas of $\bigwedge$-depth $d$ and $\bigwedge$-fan-in $k^{1/d}$. The results of this paper give matching $n^{Ω(dk^{1/d})}$ lower bounds for monotone $AC^0$ and $SAC^0$ formulas for all $k \le \log\log n$, as well as slightly weaker $n^{Ω(dk^{1/2d})}$ lower bounds for non-monotone $AC^0$ and $SAC^0$ formulas. These size-depth tradeoffs converge at $d = \log k$ to tight $n^{Ω(\log k)}$ lower bounds for both unbounded-depth monotone formulas [Ros15] and bounded-depth non-monotone formulas [Ros18]. Our non-monotone lower bounds extend to the more restricted Iterated Permutation Matrix Multiplication problem, improving the previous $n^{k^{1/\exp(O(d))}}$ tradeoff for this problem [BIP98].
Spectral properties of Cayley graphs over finite commutative rings
Published
• View Publication
• BIB
Let $R$ be a finite commutative ring with unity and $x$ be a non-zero element of $R$. In this paper, we calculate the spectrum and energy of the Cayley graph ${\rm Cay}(R,xR^{*})$, and also compute the energy of their compliment graph. Further, we give necessary and sufficient condition for Cayley graph ${\rm Cay}(R,xR^{*})$ to be Ramanujan.
Extremal digraphs containing at most $t$ paths of length 2 with the same endpoints
Published
• View Publication
• BIB
Given a positive integer $t$, let $P_{t,2}$ be the digraph consisting of $t$ directed paths of length 2 with the same initial and terminal vertices. In this paper, we study the maximum size of $P_{t+1,2}$-free digraphs of order $n$, which is denoted by $ex(n, P_{t+1,2})$. For sufficiently large $n$, we prove that $ex(n, P_{t+1})=g(n,t)$ when $\lfloor(n-t)/{2} \rfloor$ is odd and $ex(n, P_{t+1,2})\in \{g(n,t)-1, g(n,t)\}$ when $\lfloor(n-t)/{2} \rfloor$ is even, where $g(n,t)=\left\lceil(n+t)/{2}\right\rceil \left\lfloor(n-t)/{2}\right\rfloor+tn+1$.
Combinatorial Curve Neighborhood of the Affine Flag Manifold of Type $A_{n-1}^1$
Let $\mathscr{X}$ be the affine flag manifold of Lie type $A_{n-1}^{(1)}$ where $n \geq 3$ and let $W_{\text{aff}}$ be the associated affine Weyl group. The moment graph for $\mathscr{X}$ encodes the torus fixed points (corresponding to elements of the affine Weyl group $W_{\text{aff}}$) and the torus stable curves in $\mathscr{X}$. Given a fixed point $u\in W_{\text{aff}}$ and a degree $\mathbf{d}=(d_0,d_1,...,d_{n-1})\in \mathbb{Z}_{\geq 0}^{n}$, the combinatorial curve neighborhood is the set of maximal elements in the moment graph of $\mathscr{X}$ which can be reached from $u'\leq u$ by a chain of curves of total degree $\leq \mathbf{d}$. In this paper we give combinatorial formulas and algorithms for calculating these elements in $\mathscr{X}$.
Recursions Satisfied by Families of Determinants with Applications to Resistance Distance
The main contribution of this paper is a six-step semi-automatic algorithm that obtains a recursion satisfied by a family of determinants by systematically and iteratively applying Laplace expansion to the underlying matrix family. The recursion allows explicit computation of the Binet form providing a closed formula for resistance distance between two specified nodes in a family of graphs. This approach is particularly suited for graph families with complex structures; the method is used to prove the 1 over 14 conjectured asymptotic formula for linear 3--trees. Additionally, although the literature on recursive formulas for resistance distances is quite large, the Fibonacci Quarterly and the Proceedings have almost no such results despite the fact that many recursions related to resistance distances involve the Fibonacci numbers. Therefore, a secondary purpose of the paper is to provide a brief introductory survey of graph families, accompanied by figures, Laplacian matrices, and typical recursive results, supported by a modest bibliography of current papers on many relevant graph families, in the hope to involve Fibonaccians in this active and beautiful field.
Robustness of Erdős--Ko--Rado theorems on permutations and perfect matchings
Published
• View Publication
• BIB
The Erdős--Ko--Rado (EKR) theorem and its generalizations can be viewed as classifications of maximum independent sets in appropriately defined families of graphs, such as the Kneser graph $K(n,k)$. In this paper, we investigate the independence number of random spanning subraphs of two other families of graphs whose maximum independent sets satisfy an EKR-type characterization: the derangement graph on the set of permutations in $\mathrm{Sym}(n)$ and the derangement graph on the set $\mathcal{M}_{n}$ of perfect matchings in the complete graph $\mathcal{K}_{2n}$. In both cases, we show there is a sharp threshold probability for the event that the independence number of a random spanning subgraph is equal to that of the original graph. As a useful tool to aid our computations, we obtain a Friedgut--Kalai--Naor (FKN) type theorem on sparse boolean functions whose domain is the vertex set of $\mathcal{M}_{n}$. In particular, we show that boolean functions whose Fourier transforms are highly concentrated on the first two irreducible modules in the $\mathrm{Sym}(2n)$ module $\mathbb{C}[\mathcal{M}_{n}]$, is close to being the characteristic function of a union of maximum independent sets in the derangement graph on perfect matchings.
Graph polynomials: some questions on the edge
Published
• View Publication
• BIB
We raise some questions about graph polynomials, highlighting concepts and phenomena that may merit consideration in the development of a general theory. Our questions are mainly of three types: When do graph polynomials have reduction relations (simple linear recursions based on local operations), perhaps in a wider class of combinatorial objects? How many levels of reduction relations does a graph polynomial need in order to express it in terms of trivial base cases? For a graph polynomial, how are properties such as equivalence and factorisation reflected in the structure of a graph? We illustrate our discussion with a variety of graph polynomials and other invariants. This leads us to reflect on the historical origins of graph polynomials. We also introduce some new polynomials based on partial colourings of graphs and establish some of their basic properties.
Root polytopes, flow polytopes, and order polytopes
Published
• View Publication
• BIB
In this paper we study the class of polytopes which can be obtained by taking the convex hull of some subset of the points $\{e_i-e_j \ \vert \ i \neq j\} \cup \{\pm e_i\}$ in $\mathbb{R}^n$, where $e_1,\dots,e_n$ is the standard basis of $\mathbb{R}^n$. Such a polytope can be encoded by a quiver $Q$ with vertices $V \subseteq \{v_1,\dots,v_n\} \cup \{\star\}$, where each edge $v_j\to v_i$ or $\star \to v_i$ or $v_i\to \star$ gives rise to the point $e_i-e_j$ or $e_i$ or $-e_i$, respectively; we denote the corresponding polytope as $\operatorname{Root}(Q)$. These polytopes have been studied extensively under names such as edge polytope and root polytope. We show that if the quiver $Q$ is strongly-connected then the root polytope $\operatorname{Root}(Q)$ is reflexive and terminal; we moreover give a combinatorial description of the facets of $\operatorname{Root}(Q)$. We also show that if $Q$ is planar, then $\operatorname{Root}(Q)$ is (integrally equivalent to the) polar dual of the flow polytope of the dual quiver. Finally we consider the case that $Q$ comes from a ranked poset $P$, and show that $\operatorname{Root}(Q)$ is polar dual to (a translation of) a marked poset polytope. We then study the toric variety $Y(\mathcal{F}_Q)$ associated to the face fan $\mathcal{F}_Q$ of $\operatorname{Root}(Q)$. If $Q$ comes from a ranked poset $P$ we give a combinatorial description of the Picard group of $Y(\mathcal{F}_Q)$, and we show that $Y(\mathcal{F}_Q)$ is a small partial desingularisation of the Hibi toric variety $Y_{\mathcal{O}(P)}$ of the order polytope $\mathcal{O}(P)$. We show that $Y(\mathcal{F}_Q)$ has a small crepant toric resolution of singularities $Y(\widehat{\mathcal{F}}_Q)$, and as a consequence that the Hibi toric variety $Y_{\mathcal{O}(P)}$ has a small resolution of singularities for any ranked poset $P$. These results have applications to mirror symmetry.
On the Weisfeiler-Leman dimension of circulant graphs
A circulant graph is a Cayley graph of a finite cyclic group. The Weisfeiler-Leman-dimension of a circulant graph $X$ with respect to the class of all circulant graphs is the smallest positive integer~$m$ such that the $m$-dimensional Weisfeiler-Leman algorithm correctly tests the isomorphism between $X$ and any other circulant graph. It is proved that for a circulant graph of order $n$ this dimension is less than or equal to $Ω(n)+3$, where $Ω(n)$ is the number of prime divisors of~$n$.
A new condition on dominated pair degree sum for a digraph to be supereulerian
Published
• View Publication
• BIB
A digraph $D$ is supereulerian if $D$ contains a spanning eulerian subdigraph.
For any two vertices $u,v$ in a digraph $D$, if $(u,w),(v,w)\in A(D)$ for some $w\in V(D)$, then we call the pair $\{u, v\}$ dominating; if $(w,u),(w,v)\in A(D)$ for some $w\in V(D)$, then we call the pair $\{u, v\}$ dominated. In 2015, Bang-Jensen and Maddaloni [Journal of graph theory, 79(1) (2015) 8-20]
proved that if a strong digraph $D$ with $n$ vertices satisfies
$d(u) + d(v)\geq 2n -3$ for any pair of nonadjacent vertices $\{u,v\}$ of $D$, then $D$ is supereulerian. In this paper, we study the above degree sum condition for any pair of dominated or dominating nonadjacent vertices of supereulerian digraphs.
Antidirected hamiltonian paths in $k$-hypertournaments
Published
• View Publication
• BIB
A $k$-hypertournament $H$ on $n$ vertices is a pair $(V(H),A(H))$, where $V(H)$ is a set of vertices and $A(H)$ is a set of $k$-tuples of vertices, called arcs, such that for any $k$-subset $S$ of $V(H)$, $A(H)$ contains exactly one of the $k!$ $k$-tuples whose entries belong to $S$. Clearly, a 2-hypertournament is a tournament.
An antidirected path in $H$ is a sequence $x_1 a_1 x_2 a_2 x_3 \ldots x_{t-1} a_{t-1} x_t$ of distinct vertices $x_1, x_2, \ldots, x_t$ and distinct arcs $a_1, a_{2},\ldots, a_{t-1}$ such that for any $i\in \{2,3,\ldots, t-1\}$, either $x_{i-1}$ precedes $x_{i}$ in $a_{i-1}$ and $x_{i+1}$ precedes $x_{i}$ in $a_{i}$, or $x_{i}$ precedes $x_{i-1}$ in $a_{i-1}$ and $x_{i}$ precedes $x_{i+1}$ in $a_{i}$. An antidirected path that includes all vertices of $H$ is known as an antidirected hamiltonian path. In this paper, we prove that except for four hypertournaments, $T_3^{c}, T_5^{c}, T_7^{c}$ and $H_{4}$, every $k$-hypertournament with $n$ vetices, where $2\leq k\leq n-1$, has an antidirected hamiltonian path, which extends Grünbaum's theorem on tournaments (except for three tournaments, $T_3^{c}, T_5^{c}$ and $T_7^{c}$, every tournament has an antidirected hamiltonian path).
Elliptic Deformation of the Gaiotto-Rapčák Corner VOA and the Associated Partially Symmetric Polynomials
Published
• View Publication
• BIB
We construct the elliptic Miura transformation and use it to obtain the expression of the currents of elliptic corner VOA. We subsequently prove a novel combinatorial formula that is essential for deriving the quadratic relations of the currents. In addition, we give a conjecture that relates the correlation function of the currents of elliptic corner VOA to a certain family of partially symmetric polynomials. The elliptic Macdonald polynomials, constructed recently by Awata-Kanno-Mironov-Morozov-Zenkevich, and Fukuda-Ohkubo-Shiraishi, can be obtained as a particular case of this family.
On the Elliptic Sombor and Euler Sombor indices of Corona product of certain graphs
Published
• View Publication
• BIB
Elliptic Sombor and Euler Sombor indices are recently defined topological indices using Sombor index. Elliptic sombor index is defined as $ESO(G)=\sum_{uv\in E(G)}(d_u+ d_v)\sqrt{d^2_u+ d^2_v}$ and Euler Sombor index is defined as $EU(G)= \sum_{uv\in E(G)}\sqrt{{d_{u}^2+d_{v}^2}+d_ud_v}$, where $d_u$ and $d_v$ are degrees of vertices $u$ and $v$ in graph $G$. In this article, we compute the elliptic Sombor and Euler Sombor indices of some resultant graphs. Using the operations join and Corona product on standard graphs like path, cycle and complete graphs.