graph
34726 papers tagged with this keyword
On the support of a non-autocorrelated function on a hyperbolic surface
Let $f$ be a non-negative square-integrable function on a finite volume hyperbolic surface $Γ\backslash\mathbb{H}$, and assume that $f$ is non-autocorrelated, that is, perpendicular to its image under the operator of averaging over the circle of a fixed radius $r$. We show that in this case the support of $f$ is small, namely, it satisfies $μ(supp{f}) \leq (r+1)e^{-\frac{r}{2}} μ(Γ\backslash\mathbb{H})$.
As a corollary, we prove a lower bound for the measurable chromatic number of the graph, whose vertices are the points of $Γ\backslash\mathbb{H}$, and two points are connected by an edge if there is a geodesic of length $r$ between them. We show that for any finite covolume $Γ$ the measurable chromatic number is at least $e^{\frac{r}{2}}(r+1)^{-1}$.
On the Mixed Connectivity Conjecture of Beineke and Harary
Published
• View Publication
• BIB
The conjecture of Beineke and Harary states that for any two vertices which can be separated by $k$ vertices and $l$ edges for $l\geq 1$ but neither by $k$ vertices and $l-1$ edges nor $k-1$ vertices and $l$ edges there are $k+l$ edge-disjoint paths connecting these two vertices of which $k+1$ are internally disjoint. In this paper we consider this conjecture for $l=2$ and any $k\in \mathbb{N}$. Afterwards, we utilize this result to prove that the conjecture holds for all graphs of treewidth at most $3$ and all $k$ and $l$. We also show that it is NP-complete to decide whether two vertices can be separated by $k$ vertices and $l$ edges.
Generation of Local Symmetry-Preserving Operations
Published
• View Publication
• BIB
We introduce a new practical and more general definition of local symmetry-preserving operations on polyhedra. These can be applied to arbitrary plane graphs and result in plane graphs with the same symmetry. With some additional properties we can restrict the connectivity, e.g. when we only want to consider polyhedra. Using some base structures and a list of 10 extensions, we can generate all possible local symmetry-preserving operations isomorph-free.
Existence of regular nut graphs for degree at most 11
Published
• View Publication
• BIB
A nut graph is a singular graph with one-dimensional kernel and corresponding eigenverctor with no zero elements. The problem of determining the orders $n$ for which $d$-regular nut graphs exist was recently posed by Gauci, Pisanski and Sciriha. These orders are known for $d \leq 4$. Here we solve the problem for all remaining cases $d\leq 11$ and determine the complete lists of all $d$-regular nut graphs of order $n$ for small values of $d$ and $n$. The existence or non-existence of small regular nut graphs is determined by a computer search. The main tool is a construction that produces, for any $d$-regular nut graph of order $n$, another $d$-regular nut graph of order $n + 2d$. If we are given a sufficient number of $d$-regular nut graphs of consecutive orders, called seed graphs, this construction may be applied in such a way that the existence of all $d$-regular nut graphs of higher orders is established. For even $d$ the orders $n$ are indeed consecutive, while for odd $d$ the orders $n$ are consecutive even numbers. Furthermore, necessary conditions for combinations of order and degree for vertex-transitive nut graphs are derived.
Homothetic triangle representations of planar graphs
We prove that every planar graph is the intersection graph of homothetic triangles in the plane.
The normality and sum of normalities of trees
Published in Discrete Matehmatics 2019
• View Publication
• BIB
The eccentricity of a vertex $v$ in a graph $G$ is the maximum distance from $v$ to any other vertex. The vertices whose eccentricity are equal to the diameter (the maximum eccentricity) of $G$ are called peripheral vertices. In trees the eccentricity at $v$ can always be achieved by the distance from $v$ to a peripheral vertex. From this observation we are motivated to introduce normality of a vertex $v$ as the minimum distance from $v$ to any peripheral vertex. We consider the properties of the normality as well as the middle part of a tree with respect to this concept. Various related observations are discussed and compared with those related to the eccentricity. Then, analogous to the sum of eccentricities we consider the sum of normalities. After briefly discussing the extremal problems in general graphs we focus on trees and trees under various constraints. As opposed to the path and star in numerous extremal problems, we present several interesting and unexpected extremal structures. Lastly we consider the difference between eccentricity and normality, and the sum of these differences. We also introduce some unsolved problems in the context.
Enumeration and Extensions of Word-representants
Published in Discrete Applied Mathematics, Volume 284, 2020, p. 423-433
• View Publication
• BIB
Given a finite word $w$ over a finite alphabet $V$, consider the graph with vertex set $V$ and with an edge between two elements of $V$ if and only if the two elements alternate in the word $w$. Such a graph is said to be word-representable or 11-representable by the word $w$; this latter terminology arises from the phenomenon that the condition of two elements $x$ and $y$ alternating in a word $w$ is the same as the condition of the subword of $w$ induced by $x$ and $y$ avoiding the pattern 11. In this paper, we first study minimal length words which word-represent graphs, giving an explicit formula for both the length and the number of such words in the case of trees and cycles. We then extend the notion of word-representability (or 11-representability) of graphs to $t$-representability of graphs, for any pattern $t$ on two letters. We prove that every graph is $t$-representable for any pattern $t$ on two letters (except for possibly one class of $t$). Finally, we pose a few open problems for future consideration.
Ramsey Goodness of Paths in Random Graphs
Published
• View Publication
• BIB
We say that a graph $G$ is Ramsey for $H_1$ versus $H_2$, and write $G \to (H_1,H_2)$, if every red-blue colouring of the edges of $G$ contains either a red copy of $H_1$ or a blue copy of $H_2$. In this paper we study the threshold for the event that the Erdős--Rényi random graph $G(N,p)$ is Ramsey for a clique versus a path. We show that $$G\big( (1 + \varepsilon) rn,p \big) \to (K_{r+1},P_n)$$ with high probability if $p \gg n^{-2 / (r + 1)}$, and $$G\big( rn + t, p \big) \to (K_{r+1},P_n)$$ with high probability if $p \gg n^{-2 / (r + 2)}$ and $t \gg 1/p$. Both of these results are sharp (in different ways), since with high probability $G(Cn,p) \not\to (K_{r+1}, P_n)$ for any constant $C > 0$ if $p \ll n^{-2/(r + 1)}$, and $G(rn + t, p) \not\to (K_{r+1}, P_n)$ if $t \ll 1/p$, for any $0 < p \le 1$.
Flows on signed graphs without long barbells
Published
• View Publication
• BIB
Many basic properties in Tutte's flow theory for unsigned graphs do not have their counterparts for signed graphs. However, signed graphs without long barbells in many ways behave like unsigned graphs from the point view of flows. In this paper, we study whether some basic properties in Tutte's flow theory remain valid for this family of signed graphs. Specifically let $(G,σ)$ be a flow-admissible signed graph without long barbells. We show that it admits a nowhere-zero $6$-flow and that it admits a nowhere-zero modulo $k$-flow if and only if it admits a nowhere-zero integer $k$-flow for each integer $k\geq 3$ and $k \not = 4$. We also show that each nowhere-zero positive integer $k$-flow of $(G,σ)$ can be expressed as the sum of some $2$-flows. For general graphs, we show that every nowhere-zero $\frac{p}{q}$-flow can be normalized in such a way, that each flow value is a multiple of $\frac{1}{2q}$. As a consequence we prove the equality of the integer flow number and the ceiling of the circular flow number for flow-admissible signed graphs without long barbells.
On the minimum degree required for a triangle decomposition
Published
• View Publication
• BIB
We prove that, for sufficiently large $n$, every graph of order $n$ with minimum degree at least $0.852n$ has a fractional edge-decomposition into triangles. We do this by refining a method used by Dross to establish a bound of $0.9n$. By a result of Barber, Kühn, Lo and Osthus, our result implies that, for each $ε>0$, every graph of sufficiently large order $n$ with minimum degree at least $(0.852+ε)n$ has a triangle decomposition if and only if it has all even degrees and number of edges a multiple of three.
Partial linear spaces with a rank 3 affine primitive group of automorphisms
Published in J. London Math. Soc. 104 (2021), 1011-1084
• View Publication
• BIB
A partial linear space is a pair $(\mathcal{P},\mathcal{L})$ where $\mathcal{P}$ is a non-empty set of points and $\mathcal{L}$ is a collection of subsets of $\mathcal{P}$ called lines such that any two distinct points are contained in at most one line, and every line contains at least two points. A partial linear space is proper when it is not a linear space or a graph. A group of automorphisms $G$ of a proper partial linear space acts transitively on ordered pairs of distinct collinear points and ordered pairs of distinct non-collinear points precisely when $G$ is transitive of rank 3 on points. In this paper, we classify the finite proper partial linear spaces that admit rank 3 affine primitive automorphism groups, except for certain families of small groups, including subgroups of $AΓL_1(q)$. Up to these exceptions, this completes the classification of the finite proper partial linear spaces admitting rank 3 primitive automorphism groups. We also provide a more detailed version of the classification of the rank 3 affine primitive permutation groups, which may be of independent interest.
Compacted binary trees admit a stretched exponential
Published in J. Combin. Theory Ser. A 177 (2021), 105306
• View Publication
• BIB
A compacted binary tree is a directed acyclic graph encoding a binary tree in which common subtrees are factored and shared, such that they are represented only once. We show that the number of compacted binary trees of size $n$ grows asymptotically like $$Θ\left( n! \, 4^n e^{3a_1n^{1/3}} n^{3/4} \right),$$ where $a_1\approx-2.338$ is the largest root of the Airy function. Our method involves a new two parameter recurrence which yields an algorithm of quadratic arithmetic complexity. We use empirical methods to estimate the values of all terms defined by the recurrence, then we prove by induction that these estimates are sufficiently accurate for large $n$ to determine the asymptotic form. Our results also lead to new bounds on the number of minimal finite automata recognizing a finite language on a binary alphabet. As a consequence, these also exhibit a stretched exponential.
Independence Polynomials and Hypergeometric Series
Published
• View Publication
• BIB
Let $Γ$ be a simple graph and $I_Γ(x)$ its multivariate independence polynomial. The main result of this paper is the characterization of chordal graphs as the only $Γ$ for which the power series expansion of $I_Γ^{-1}(x)$ is Horn hypergeometric.
On graceful difference labelings of disjoint unions of circuits
Published
• View Publication
• BIB
A graceful difference labeling (gdl for short) of a directed graph G with vertex set V is a bijection f between V and {1,...,|V|} such that, when each arc uv is assigned the difference label f(v)-f(u), the resulting arc labels are distinct. We conjecture that all disjoint unions of circuits have a gdl, except in two particular cases. We prove partial results which support this conjecture.
Structural Robustness to Noise in Consensus Networks: Impact of Degrees and Distances, Fundamental Limits, and Extremal Graphs
Published
• View Publication
• BIB
We investigate how the graph topology influences the robustness to noise in undirected linear consensus networks. We measure the structural robustness by using the smallest possible value of steady state population variance of states under the noisy consensus dynamics with edge weights from the unit interval. We derive tight upper and lower bounds on the structural robustness of networks based on the average distance between nodes and the average node degree. Using the proposed bounds, we characterize the networks with different types of robustness scaling under increasing size. Furthermore, we present a fundamental trade-off between the structural robustness and the average degree of networks. While this trade-off implies that a desired level of structural robustness can only be achieved by graphs with a sufficiently large average degree, we also show that there exist dense graphs with poor structural robustness. We then show that, random k-regular graphs (the degree of each node is k) with n nodes typically have near-optimal structural robustness among all the graphs with size n and average degree k for sufficiently large n and k. We also show that when k increases properly with n, random k-regular graphs maintain a structural robustness within a constant factor of the complete graph's while also having the minimum average degree required for such robustness.
The Cop Number of Graphs with Forbidden Induced Subgraphs
In the game of Cops and Robber, a team of cops attempts to capture a robber on a graph $G$. Initially, all cops occupy some vertices in $G$ and the robber occupies another vertex. In each round, a cop can move to one of its neighbors or stay idle, after which the robber does the same. The robber is caught by a cop if the cop lands on the same vertex which is currently occupied by the robber. The minimum number of cops needed to guarantee capture of a robber on $G$ is called the {\em cop number} of $G$, denoted by $c(G)$. We say a family $\cal F$ of graphs is {\em cop-bounded} if there is a constant $M$ so that $c(G)\leq M$ for every graph $G\in \cal F$. Joret, Kaminński, and Theis [Contrib. Discrete Math. 2010] proved that the class of all graphs not containing a graph $H$ as an induced subgraph is cop-bounded if and only if $H$ is a linear forest; morerover, $C(G)\leq k-2$ if if $G$ is induced-$P_k$-free for $k\geq 3$. In this paper, we consider the cop number of a family of graphs forbidding certain two graphs and generalized some previous results.
Spectral properties of graphs associated to the Basilica group
Published
• View Publication
• BIB
We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $z^2-1$. This group is an important example in the class of self-similar amenable but not elementary amenable finite automata groups studied by Grigorchuk, Żuk, \v Sunić, Bartholdi, Virág, Nekrashevych, Kaimanovich, Nagnibeda et al. We prove that the spectrum of the Laplacian has infinitely many gaps and that the support of the KNS Spectral Measure is a Cantor set. Moreover, on a generic blowup, the spectrum coincides with this Cantor set, and is pure point with localized eigenfunctions and eigenvalues located at the endpoints of the gaps.
On the Prevalence of Bridge Graphs Among Non-3-Connected Cubic Non-Hamiltonian Graphs
There is empirical evidence supporting the claim that almost all cubic non-Hamiltonian graphs are bridge graphs. In this paper, we pose a related conjecture and prove that the original claim holds for non-3-connected graphs if the conjecture is true.
Refinement of Metrics: Erdős Number, a Case Study
Published in The PUMP Journal of Undergraduate Research Vol2 (2019) p.118--130
• View Publication
• BIB
We introduce a concept called refinement and develop two different ways of refining metrics. By applying these methods we produce several refinements of the shortest-path distance on the collaboration graph and hence a couple new versions of the Erdős number.
Bounds for the regularity of product of edge ideals
Published
• View Publication
• BIB
Let $I$ and $J$ be edge ideals in a polynomial ring $R = \mathbb{K}[x_1,\ldots,x_n]$ with $I \subseteq J$. In this paper, we obtain a general upper and lower bound for the Castelnuovo-Mumford regularity of $IJ$ in terms of certain invariants associated with $I$ and $J$. Using these results, we explicitly compute the regularity of $IJ$ for several classes of edge ideals. Let $J_1,\ldots,J_d$ be edge ideals in a polynomial ring $R$ with $J_1 \subseteq \cdots \subseteq J_d$. Finally, we compute the precise expression for the regularity of $J_1 J_2\cdots J_d$ when $d \in \{3,4\}$ and $J_d$ is the edge ideal of complete graph.