Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On cubic rainbow domination regular graphs
Published
• View Publication
• BIB
A $d$-regular graph $X$ is called $d$-rainbow domination regular or $d$-RDR, if its $d$-rainbow domination number $γ_{rd}(X)$ attains the lower bound $n/2$ for $d$-regular graphs, where $n$ is the number of vertices. In the paper, two combinatorial constructions to construct new $d$-RDR graphs from existing ones are described and two general criteria for a vertex-transitive $d$-regular graph to be $d$-RDR are proven. A list of vertex-transitive 3-RDR graphs of small orders is produced and their partial classification into families of generalized Petersen graphs, honeycomb-toroidal graphs and a specific family of Cayley graphs is given by investigating the girth and local cycle structure of these graphs.
K5 and K3,3 are Toroidal Penny Graphs
In this article we emphasize on the connection between two fields of study that are Penny Graphs, and the Optimal Packing of Spheres on the Flat Torus. We give a brief litterature overview on related results in the fields of planar graphs, penny graphs, toroidal penny graphs and spherical codes.We also show that $K5$ and $K_{3,3}$ are penny graphs on the flat square torus.
Finding an Isomorphism between the Riordan Group and a Subgroup of the Double Riordan Group
Published
• View Publication
• BIB
The Riordan group is a set of infinite lower-triangular matrices defined by two generating functions, $g$ and $f$. The elements of the group are called Riordan arrays, denoted by $(g,f)$, and the $k$th column of a Riordan array is given by the function $gf^k$. The Double Riordan group is defined similarly using three generating functions $g$, $f_1$, and $f_2$, where $g$ is an even function and $f_1$ and $f_2$ are odd functions. This group generalizes the Checkerboard subgroup of the Riordan group, where $g$ is even and $f$ is odd. An open question posed by Davenport, Shapiro, and Woodson was if there exists an isomorphism between the Riordan group and a subgroup of the Double Riordan group. This question is answered in this article.
Clique factors in randomly perturbed graphs: the transition points
A randomly perturbed graph $G^p = G_α\cup G(n,p)$ is obtained by taking a deterministic $n$-vertex graph $G_α= (V, E)$ with minimum degree $δ(G)\geq αn$ and adding the edges of the binomial random graph $G(n,p)$ defined on the same vertex set $V$. For which value $p$ (depending on $α$) does the graph $G^p$ contain a $K_r$-factor (a spanning collection of vertex-disjoint $K_r$-copies) with high probability? The order of magnitude of the minimal value of $p$ has been determined whenever $α\neq 1- \frac{s}{r}$ for an integer $s$ (see Han, Morris, and Treglown [RSA, 2021] and Balogh, Treglown, and Wagner [CPC, 2019]).
We establish the minimal probability $p_s$ (up to a constant factor) for all values of $α= 1-\frac{s}{r} \leq \frac 12$, and show that the threshold exhibits a polynomial jump at $α= 1-\frac{s}{r}$ compared to the surrounding intervals. An extremal example $G_α$ which shows that $p_s$ is optimal up to a constant factor differs from the previous (usually multipartite) examples in containing a pseudorandom induced subgraph.
Abelian groups with 3-chromatic Cayley graphs
Published
• View Publication
• BIB
Let $G$ be an abelian group. The main theorem of this paper asserts that there exists a Cayley graph on $G$ with chromatic number 3 if and only if $G$ is not of exponent 1, 2, or 4. Although motivated by ideas from algebraic topology, our proof may be expressed purely combinatorially. As a by-product, we derive a topological result which is of independent interest. Suppose $X$ is a connected non-bipartite graph, and let $\mathcal N(X)$ denote its neighborhood complex. We show that if the fundamental group $π_1(\mathcal N(X))$ or first homology group $H_1(\mathcal N(X))$ is torsion, then the chromatic number of $X$ is at least 4. This strengthens a classical result of Lovász, which derives the same conclusion if $π_1(\mathcal N(X))$ is trivial.
The five-color hypercube Adinkra and the Jacobian of a generalized Fermat curve
Published
• View Publication
• BIB
Adinkras are highly structured graphs developed to study 1-dimensional supersymmetry algebras. A cyclic ordering of the edge colors of an Adinkra, or rainbow, determines a Riemann surface and a height function on the vertices of the Adinkra determines a divisor on this surface. We study the induced map from height functions to divisors on the Jacobian of the Riemann surface. In the first nontrivial case, a 5-dimensional hypercube corresponding to a Jacobian given by a product of 5 elliptic curves each with $j$-invariant 2048, we develop and characterize a purely combinatorial algorithm to compute height function images. We show that when restricted to a single elliptic curve, every height function is a multiple of a specified generating divisor, and raising and lowering vertices corresponds to adding or subtracting this generator. We also give strict bounds on the coefficients of this generator that appear in the collection of all divisors of height functions.
Inverse Fiedler vector problem of a graph
Published
• View Publication
• BIB
Given a graph and one of its weighted Laplacian matrix, a Fiedler vector is an eigenvector with respect to the second smallest eigenvalue. The Fiedler vectors have been used widely for graph partitioning, graph drawing, spectral clustering, and finding the characteristic set. This paper studies how the graph structure can control the possible Fiedler vectors for different weighted Laplacian matrices. For a given tree, we characterize all possible Fiedler vectors among its weighted Laplacian matrix. As an application, the characteristic set can be anywhere on a tree, except for the set containing a single leaf. For a given cycle, we characterize all possible eigenvectors corresponding to the second or the third smallest eigenvalue.
A short proof of the Four Colour Theorem
We make an attempt at proving the Four Colour Theorem in six pages.
Sequences of odd length in strict partitions I: the combinatorics of double sum Rogers-Ramanujan type identities
Published
• View Publication
• BIB
Strict partitions are enumerated with respect to the weight, the number of parts, and the number of sequences of odd length. We write this trivariate generating function as a double sum $q$-series. Equipped with such a combinatorial set-up, we investigate a handful of double sum identities appeared in recent works of Cao-Wang, Wang-Wang, Wei-Yu-Ruan, Andrews-Uncu, Chern, and Wang, finding partition theoretical interpretations to all of these identities, and in most cases supplying Franklin-type involutive proofs. This approach dates back more than a century to P. A. MacMahon's interpretations of the celebrated Rogers-Ramanujan identities, and has been further developed by Kurşungöz in the last decade.
A new criterion for oriented graphs to be determined by their generalized skew spectrum
Published
• View Publication
• BIB
Spectral characterizations of graphs is an important topic in spectral graph theory which has been studied extensively by researchers in recent years. The study of oriented graphs, however, has received less attention so far. In Qiu et al.~\cite{QWW} (Linear Algebra Appl. 622 (2021) 316-332), the authors gave an arithmetic criterion for an oriented graph to be determined by its \emph{generalized skew spectrum} (DGSS for short). More precisely, let $Σ$ be an $n$-vertex oriented graph with skew adjacency matrix $S$ and $W(Σ)=[e,Se,\ldots,S^{n-1}e]$ be the \emph{walk-matrix} of $Σ$, where $e$ is the all-one vector. A theorem of Qiu et al.~\cite{QWW} shows that a self-converse oriented graph $Σ$ is DGSS, provided that the Smith normal form of $W(Σ)$ is ${\rm diag}(1,\ldots,1,2,\ldots,2,2d)$, where $d$ is an odd and square-free integer and the number of $1$'s appeared in the diagonal is precisely $\lceil \frac{n}{2}\rceil$. In this paper, we show that the above square-freeness assumptions on $d$ can actually be removed, which significantly improves upon the above theorem. Our new ingredient is a key intermediate result, which is of independent interest: for a self-converse oriented graphs $Σ$ and an odd prime $p$, if the rank of $W(Σ)$ is $n-1$ over $\mathbb{F}_p$, then the kernel of $W(Σ)^{\rm T}$ over $\mathbb{F}_p$ is \emph{anisotropic}, i.e., $v^{\rm T}v\neq 0$ for any $0\ne v\in{{\rm ker}\,W(Σ)^{\rm T}}$ over $\mathbb{F}_p$.
On the Positive and Negative $p$-Energies of Graphs under Edge Addition
Published
• View Publication
• BIB
In this paper, we introduce the concepts of positive and negative $p$-energies of graphs and investigate their behavior under edge addition. Specifically, we generalize the classical notions of positive and negative square energies to the $p$-energy setting, denoted by $\mathcal{E}_p^{+}(G)$ and $\mathcal{E}_p^{-}(G)$, respectively. We establish improved lower bounds for these quantities under edge addition, which sharpen existing results by Abiad et al.\ in the case $p=2$. Furthermore, we address the monotonicity problem for $\mathcal{E}_p^{+}(G)$ under edge addition, and construct a family of counterexamples showing that monotonicity fails for $1 \leq p < 3$. Finally, we conclude with several open problems for further investigation.
Annihilating polynomial, Jordan canonical from, and generalized spectral characterizations of Eulerian graphs
Published
• View Publication
• BIB
Let $G$ be an Eulerian graph on $n$ vertices with adjacency matrix $A$ and characteristic polynomial $φ(x)$. We show that when $n$ is even (resp. odd), the square-root of $φ(x)$ (resp. $xφ(x)$) is an annihilating polynomial of $A$, over $\mathbb{F}_2$. The result was achieved by applying the Jordan canonical form of $A$ over the algebraic closure $\bar{\mathbb{F}}_2$. Based on this, we show a family of Eulerian graphs are determined by their generalized spectrum among all Eulerian graphs, which significantly simplifies and strengthens the previous result.
Invariants of almost embeddings of graphs in the plane
In this survey we motivate studies of the invariants from the title. A graph drawing in the plane is called an almost embedding if the images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. We introduce integer invariants of almost embeddings: winding number, cyclic and triodic Wu numbers. We prove some relations between the invariants. We demonstrate connection of these relations to homology of the deleted product of a graph. We construct almost embeddings realizing some values of these invariants.
This paper is accessible to mathematicians not specialized in the area (and to students). All the necessary definitions are recalled. We present some ideas of algebraic and geometric topology in a language accessible to non-topologists. However elementary, this paper is motivated by frontline of research; there are some conjectures and an open problem.
Some open problems on Coxeter groups and unimodality
Published in in "Open Problems in Algebraic Combinatorics", (C. Berkesch, B. Brubaker, G. Musiker, P. Pylyavskyy, and V. Reiner, editors) Proceedings of Symposia in Pure Math., American Mathematical Society, Vol. 110 (2024), 23-37
• View Publication
• BIB
In this paper I present some open problems on Coxeter groups and unimodality, together with the main partial results, and computational evidence, that are known about them.
The quadric flat torus theorem
We prove a flat torus theorem for quadric complexes. In particular, we show that if a non-cyclic free abelian group $G$ acts metrically properly on a quadric complex $X$, then $G \cong \mathbb{Z}^2$ and $X$ contains a $G$-invariant isometric copy of the regular square tiling of the plane. Along the way, we also give a complete proof of the fact that any closed surface subgroup in the fundamental group of a combinatorial 2-complex is represented by a combinatorial map from a cellulation of the surface that is locally injective away from vertices.
Separable Drawings: Extendability and Crossing-Free Hamiltonian Cycles
Published
• View Publication
• BIB
Generalizing pseudospherical drawings, we introduce a new class of simple drawings, which we call separable drawings. In a separable drawing, every edge can be closed to a simple curve that intersects each other edge at most once. Curves of different edges might interact arbitrarily. Most notably, we show that (1) every separable drawing of any graph on $n$ vertices in the plane can be extended to a simple drawing of the complete graph $K_{n}$, (2) every separable drawing of $K_{n}$ contains a crossing-free Hamiltonian cycle and is plane Hamiltonian connected, and (3) every generalized convex drawing and every 2-page book drawing is separable. Further, the class of separable drawings is a proper superclass of the union of generalized convex and 2-page book drawings. Hence, our results on plane Hamiltonicity extend recent work on generalized convex drawings by Bergold et al. (SoCG 2024).
Efficient computations of discrete cubical homology
We present a fast algorithm for computing discrete cubical homology of graphs over finite fields with an appropriate characteristic. This algorithm improves on several computational steps compared to constructions in the existing literature, with the key insights including: a faster way to generate all singular cubes, reducing the dimensions of vector spaces in the chain complex by taking a quotient over automorphisms of the cube, and preprocessing graphs using the axiomatic treatment of discrete cubical homology.
Phase transition in preferential attachment-detachment through embedding
Published
• View Publication
• BIB
We study a random graph model with preferential edge attachment and detachment through the embedding into a generalized Yule model. We show that the in-degree distribution of a vertex chosen uniformly at random follows a power law in the supercritical regime but has an exponential decay in the subcritical. We provide the corresponding asymptotics. In the critical regime we observe an intermediate decay. The regimes are clearly defined in terms of parameter ranges.
An extension formula for right Bol loops arising from Bol reflections
Published
• View Publication
• BIB
We study a new extension formula for right Bol loops. We prove the necessary or sufficient conditions for the extension to be right Bol. We describe the most important invariants: right multiplication group, nuclei, and center. We show that the core is an involutory quandle which is the disjoint union of two isomorphic involutory quandles. We also derive further results on the structure group of the core of the extension.
Combinatorial optimization of the coefficient of determination
Robust correlation analysis is among the most critical challenges in statistics. Herein, we develop an efficient algorithm for selecting the $k$- subset of $n$ points in the plane with the highest coefficient of determination $\left( R^2 \right)$. Drawing from combinatorial geometry, we propose a method called the \textit{quadratic sweep} that consists of two steps: (i) projectively lifting the data points into $\mathbb R^5$ and then (ii) iterating over each linearly separable $k$-subset. Its basis is that the optimal set of outliers is separable from its complement in $\mathbb R^2$ by a conic section, which, in $\mathbb R^5$, can be found by a topological sweep in $Θ\left( n^5 \log n \right)$ time. Although key proofs of quadratic separability remain underway, we develop strong mathematical intuitions for our conjectures, then experimentally demonstrate our method's optimality over several million trials up to $n=30$ without error. Implementations in Julia and fully seeded, reproducible experiments are available at https://github.com/marc-harary/QuadraticSweep.