graph
34585 papers tagged with this keyword
Positive Semidefinite Initial Cost Product Throttling
Product throttling answers the question of minimizing the product of the resources needed to accomplish a task, and the time in which it takes to accomplish the task. In product throttling for positive semidefinite zero forcing, task that we wish to accomplish is positive semidefinite zero forcing. Positive semidefinite zero forcing is a game played on a graph $G$ that starts with a coloring of the vertices as white and blue. At each step any vertex colored blue with a unique white neighbor in a component of the graph formed by deleting the blue vertices from $G$ forces the color of the white neighbor to become blue. We give various results and bounds on the initial cost product throttling number, including a lower bound of $1+rad(G)$ and the initial cost product throttling number of a cycle. We also include a table with results on the initial cost and no initial cost product throttling number for various graph families.
Asymptotic Properties of Maximal $p$-Core $p'$-Partitions
Published
• View Publication
• BIB
For primes $p$, we study the maximal possible size of a $p$-core $p'$-partition (a partition with no hook lengths or parts divisible by $p$). McDowell recently proved that the maximum is attained by a unique partition, say $Λ_p$. Using his graph theoretic description of $Λ_p$, we prove for $p > 10^6$ that \[\frac{1}{24}p^6 - p^5\sqrt{p} < |Λ_p| < \frac{1}{24}p^6 - \frac{1}{200}p^5\sqrt{p},\] which shows that $|Λ_p| \sim p^6/24$ as $p \to \infty$.
Extremal graphs for odd-ballooning of bipartite graphs
Given a graph $H$ and an odd integer $t$ ($t\geq 3$), the odd-ballooning of $H$, denoted by $H(t)$, is the graph obtained from replacing each edge of $H$ by an odd cycle of length at least $t$ where the new vertices of the cycles are all distinct. In this paper, we determine the range of Turán numbers for odd-ballooning of bipartite graphs when $t\geq 5$. As applications, we may deduce the Turán numbers for odd-ballooning of stars, paths and even cycles.
Large $p$-core $p'$-partitions and walks on the additive residue graph
Published
• View Publication
• BIB
This paper investigates partitions which have neither parts nor hook lengths divisible by $p$, referred to as $p$-core $p'$-partitions. We show that the largest $p$-core $p'$-partition corresponds to the longest walk on a graph with vertices $\{0, 1, \ldots, p-1\}$ and labelled edges defined via addition modulo $p$. We also exhibit an explicit family of large $p$-core $p'$-partitions, giving a lower bound on the size of the largest such partition which is of the same degree as the upper bound found by McSpirit and Ono.
The Terwilliger algebra of the doubled Odd graph
Let $2.O_{m+1}$ denote the doubled Odd graph with vertex set $X$ on a set of cardinality $2m+1$, where $m\geq 1$. Fix a vertex $x_0\in X$. Let $\mathcal{A}:=\mathcal{A}(x_0)$ denote the centralizer algebra of the stabilizer of $x_0$ in the automorphism group of $2.O_{m+1}$, and $T:=T(x_0)$ the Terwilliger algebra of $2.O_{m+1}$. In this paper, we first give a basis of $\mathcal{A}$ by considering the action of the stabilizer of $x_0$ on $X\times X$ and determine the dimension of $\mathcal{A}$. Furthermore, we give three subalgebras of $\mathcal{A}$ such that their direct sum is $\mathcal{A}$ as vector space. Next, for $m\geq 3$ we find all isomorphism classes of irreducible $T$-modules to display the decomposition of $T$ in a block-diagonalization form. Finally, we show that the two algebras $\mathcal{A}$ and $T$ coincide. This result tells us that the graph $2.O_{m+1}$ may be the first example of bipartite but not $Q$-polynomial distance-transitive graph for which the corresponding centralizer algebra and Terwilliger algebra are equal.
On unigraphic $3$-polytopes of radius one
We ask which degree sequences admit a unique realisation as a $3$-polytopal graph (polyhedron) on $p$ vertices. We give an exhaustive list of these sequences for the case where one degree equals $p-1$ and exactly two or three of them equal $3$. We also find all $3$-polytopes of radius one with $p\leq 17$, and those with $q\leq 41$ edges, by developing a fast algorithm and making use of High Performance Computing.
Small subgraphs with large average degree
Published
• View Publication
• BIB
In this paper we study the fundamental problem of finding small dense subgraphs in a given graph. For a real number $s>2$, we prove that every graph on $n$ vertices with average degree at least $d$ contains a subgraph of average degree at least $s$ on at most $nd^{-\frac{s}{s-2}}(\log d)^{O_s(1)}$ vertices. This is optimal up to the polylogarithmic factor, and resolves a conjecture of Feige and Wagner. In addition, we show that every graph with $n$ vertices and average degree at least $n^{1-\frac{2}{s}+\varepsilon}$ contains a subgraph of average degree at least $s$ on $O_{\varepsilon,s}(1)$ vertices, which is also optimal up to the constant hidden in the $O(.)$ notation, and resolves a conjecture of Verstraëte.
Maximum size of a triangle-free graph with bounded maximum degree and matching number
Published
• View Publication
• BIB
Determining the maximum number of edges under degree and matching number constraints have been solved for general graphs by Chvátal and Hanson (1976), and by Balachandran and Khare (2009). It follows from the structure of those extremal graphs that deciding whether this maximum number decreases or not when restricted to claw-free graphs, to $C_4$-free graphs or to triangle-free graphs are separately interesting research questions. The first two cases being already settled, respectively by Dibek, Ekim and Heggernes (2017), and by Blair, Heggernes, Lima and D.Lokshtanov (2020). In this paper we focus on triangle-free graphs. We show that unlike most cases for claw-free graphs and $C_4$-free graphs, forbidding triangles from extremal graphs causes a strict decrease in the number of edges and adds to the hardness of the problem. We provide a formula giving the maximum number of edges in a triangle-free graph with degree at most $d$ and matching number at most $m$ for all cases where $d\geq m$, and for the cases where $d<m$ with either $d\leq 6$ or $Z(d)\leq m < 2d$ where $Z(d)$ is a function of $d$ which is roughly $5d/4$. We also provide an integer programming formulation for the remaining cases and as a result of further discussion on this formulation, we conjecture that our formula giving the size of triangle-free extremal graphs is also valid for these open cases.
Many cliques in bounded-degree hypergraphs
Published in SIAM Journal on Discrete Mathematics, Volume 37, Issue 3 (2023), pages 1436-1456
• View Publication
• BIB
Recently Chase determined the maximum possible number of cliques of size $t$ in a graph on $n$ vertices with given maximum degree. Soon afterward, Chakraborti and Chen answered the version of this question in which we ask that the graph have $m$ edges and fixed maximum degree (without imposing any constraint on the number of vertices). In this paper we address these problems on hypergraphs. For $s$-graphs with $s\ge 3$ a number of issues arise that do not appear in the graph case. For instance, for general $s$-graphs we can assign degrees to any $i$-subset of the vertex set with $1\le i\le s-1$.
We establish bounds on the number of $t$-cliques in an $s$-graph $\mathcal{H}$ with $i$-degree bounded by $Δ$ in three contexts: $\mathcal{H}$ has $n$ vertices; $\mathcal{H}$ has $m$ (hyper)edges; and (generalizing the previous case) $\mathcal{H}$ has a fixed number $p$ of $u$-cliques for some $u$ with $s\le u \le t$. When $Δ$ is of a special form we characterize the extremal $s$-graphs and prove that the bounds are tight. These extremal examples are the shadows of either Steiner systems or partial Steiner systems. On the way to proving our uniqueness results, we extend results of Füredi and Griggs on uniqueness in Kruskal-Katona from the shadow case to the clique case.
Non-normal edge rings satisfying $(S_2)$-condition
Let $G$ be a finite simple connected graph on the vertex set $V(G)=[d]=\{1,\dots ,d\}$, with edge set $E(G)=\{e_{1},\dots , e_{n}\}$. Let $K[\mathbf{t}]=K[t_{1},\dots , t_{d}]$ be the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ generated by monomials $\mathbf{t}^{e}:=t_{i}t_{j}$, for $e=\{i,j\} \in E(G)$. In this paper, we will prove that, given integers $d$ and $n$, where $d\geq 7$ and $d+1\leq n\leq \frac{d^{2}-7d+24}{2}$, there exists a finite simple connected graph $G$ with $|V(G)|=d$ and $|E(G)|=n$, such that $K[G]$ is non-normal and satisfies $(S_{2})$-condition.
Global information from local observations of the noisy voter model on a graph
Published
• View Publication
• BIB
We observe the outcome of the discrete time noisy voter model at a single vertex of a graph. We show that certain pairs of graphs can be distinguished by the frequency of repetitions in the sequence of observations. We prove that this statistic is asymptotically normal and that it distinguishes between (asymptotically) almost all pairs of finite graphs. We conjecture that the noisy voter model distinguishes between any two graphs other than stars.
Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search
Published
• View Publication
• BIB
We demonstrate how Monte Carlo Search (MCS) algorithms, namely Nested Monte Carlo Search (NMCS) and Nested Rollout Policy Adaptation (NRPA), can be used to build graphs and find counter-examples to spectral graph theory conjectures in minutes.
The Terwilliger algebra of the Odd graph revisited from the viewpoint of group action
Let $O_{m+1}$ denote the Odd graph on a set of cardinality $2m+1$, where $m$ is a positive integer. Denote by $X$ its vertex set and by $T:=T(x_0)$ its Terwilliger algebra with respect to any fixed vertex $x_0\in X$. In this paper, we first prove that $T$ coincides with the centralizer algebra of the stabilizer of $x_0$ in the automorphism group of $O_{m+1}$ by considering the action of this automorphism group on $X\times X\times X$. Then we give the decomposition of $T$ for $m\geq 3$ by using all the homogeneous components of $V:=\mathbb{C}^X$, each of which is a nonzero subspace of $V$ spanned by the irreducible $T$-modules that are isomorphic. Finally, we display an orthogonal basis for every homogeneous component of $V$.
Nodal domain theorem of signed hypergraphs
Published
• View Publication
• BIB
In 2001, Davies, Gladwell, Leydold, and Stadler proved discrete nodal domain theorems for eigenfunctions of generalized Laplacians. In 2019, Jost and Mulas generalized the normalized combinatorial Laplace operator of graphs to signed hypergraphs. In this paper, we establish nodal domain theorems for the normalized combinatorial Laplace operator in signed hypergraphs. We also obtain a lower bound estimates for the number of strong nodal domains.
On the Holroyd-Talbot Conjecture for Sparse Graphs
Published
• View Publication
• BIB
Given a graph $G$, let $μ(G)$ denote the size of the smallest maximal independent set in $G$. A family of subsets is called a star if some element is in every set of the family. A split vertex has degree at least 3. Holroyd and Talbot conjectured the following Erdős-Ko-Rado type statement about intersecting families of independent sets in graphs: if $1\le r\le μ(G)/2$ then there is an intersecting family of independent $r$-sets of maximum size that is a star. In this paper we prove similar statements for sparse graphs on $n$ vertices: roughly, for graphs of bounded average degree with $r\le O(n^{1/3})$, for graphs of bounded degree with $r\le O(n^{1/2})$, and for trees having a bounded number of split vertices with $r\le O(n^{1/2})$.
Hamiltonians of Bipartite Walks
Published
• View Publication
• BIB
In this paper, we introduce a discrete quantum walk model called bipartite walks. Bipartite walks include many known discrete quantum walk models, like arc-reversal walks, vertex-face walks. For the transition matrix of a quantum walk, there is a Hamiltonian associated with it. We will study the Hamiltonians of the bipartite walks. Let $S$ be a skew-symmetric matrix. We are mainly interested in the Hamiltonians of the form $iS$. We show that the Hamiltonian can be written as $iS$ if and only if the adjacency matrix of the bipartite graph is invertible. We show that arc-reversal walks and vertex-face walks are special cases of bipartite walks. Via the Hamiltonians, phenomena of bipartite walks lead to phenomena of continuous walks. We show in detail how we use bipartite walks on paths to construct universal perfect state transfer in continuous walks.
Cycles of length 3 and 4 in edge-colored complete graphs with restrictions in the color transitions
Published
• View Publication
• BIB
Let $G$ be an edge-colored graph, a walk in $G$ is said to be a properly colored walk iff each pair of consecutive edges have different colors, including the first and the last edges in case that the walk be closed. Let $H$ be a graph possible with loops. We will say that a graph $G$ is an $H$-colored graph iff there exists a function $c:E(G)\longrightarrow V(H)$. A path $(v_1,\cdots,v_k)$ in $G$ is an $H$-path whenever $(c(v_1v_2),\cdots,$ $c(v_{k-1}v_k))$ is a walk in $H$, in particular, a cycle $(v_1,\cdots,v_k,v_1)$ is an $H$-cycle iff $(c(v_1 v_2),\cdots,c(v_{k-1}v_k),$ $c(v_kv_1), c(v_1 v_2))$ is a walk in $H$. Hence, $H$ decide which color transitions are allowed in a walk, in order to be an $H$-walk. Whenever $H$ is a complete graph without loops, an $H$-walk is a properly colored walk, so $H$-walk is a more general concept. In this paper, we work with $H$-colored complete graphs, with restrictions given by an auxiliary graph. The main theorems give conditions implying that every vertex in an $H$-colored complete graph, is contained in an $H$-cycle of length 3 and in an $H$-cycle of length 4. As a consequence of the main results, we obtain some well-known theorems in the theory of properly colored walks.
On $\mathbb{Z}_{\ell}^{d}$-towers of graphs
Published
• View Publication
• BIB
Let $\ell$ be a rational prime. We show that an analogue of a conjecture of Greenberg in graph theory holds true. More precisely, we show that when $n$ is sufficiently large, the $\ell$-adic valuation of the number of spanning trees at the $n$th layer of a $\mathbb{Z}_{\ell}^{d}$-tower of graphs is given by a polynomial in $\ell^{n}$ and $n$ with rational coefficients of total degree at most $d$ and of degree in $n$ at most one.
On the achromatic number of the Cartesian product of two complete graphs
A vertex colouring $f:V(G)\to C$ of a graph $G$ is complete if for any $c_1,c_2\in C$ with $c_1\ne c_2$ there are in $G$ adjacent vertices $v_1,v_2$ such that $f(v_1)=c_1$ and $f(v_2)=c_2$. The achromatic number of $G$ is the maximum number $\mathrm{achr}(G)$ of colours in a proper complete vertex colouring of $G$. Let $G_1\square G_2$ denote the Cartesian product of graphs $G_1$ and $G_2$. In the paper $\mathrm{achr}(K_{r^2+r+1}\square K_q)$ is determined for an infinite number of $q$s provided that $r$ is a finite projective plane order.
Generalised Evasive Subspaces
Published
• View Publication
• BIB
We introduce and explore a new concept of evasive subspace with respect to a collection of subspaces sharing a common dimension, most notably partial spreads. We show that this concept generalises known notions of subspace scatteredness and evasiveness. We establish various upper bounds for the dimension of an evasive subspace with respect to arbitrary partial spreads, obtaining improvements for the Desarguesian ones. We also establish existence results for evasive spaces in a non-constructive way, using a graph theory approach. The upper and lower bounds we derive have a precise interpretation as bounds for the critical exponent of certain combinatorial geometries. Finally, we investigate connections between the notion of evasive space we introduce and the theory of rank-metric codes, obtaining new results on the covering radius and on the existence of minimal vector rank-metric codes.