graph
34516 papers tagged with this keyword
Non-isomorphic graphs with common degree sequences
For all positive even integers $n$, graphs of order $n$ with degree sequence \begin{equation*} S_{n}:1,2,\dots,n/2,n/2,n/2+1,n/2+2,\dots,n-1 \end{equation*} naturally arose in the study of a labeling problem in \cite{IMO}. This fact motivated the authors of the aforementioned paper to study these sequences and as a result of this study they proved that there is a unique graph of order $n$ realizing $S_{n}$ for every even integer $n$. The main goal of this paper is to generalize this result.
Finite $s$-geodesic-transitive digraphs
This paper initiates the investigation of the family of $(G,s)$-geodesic-transitive digraphs with $s\geq 2$. We first give a global analysis by providing a reduction result. Let $Γ$ be such a digraph and let $N$ be a normal subgroup of $G$ maximal with respect to having at least $3$ orbits. Then the quotient digraph $Γ_N$ is $(G/N,s')$-geodesic-transitive where $s'=\min\{s,\diam(Γ_N)\}$, $G/N$ is either quasiprimitive or bi-quasiprimitive on $V(Γ_N)$, and $Γ_N$ is either directed or an undirected complete graph. Moreover, it is further shown that if $Γ$ is not $(G,2)$-arc-transitive, then $G/N$ is quasiprimitive on $V(Γ_N)$.
On the other hand, we also consider the case that the normal subgroup $N$ of $G$ has one orbit on the vertex set. We show that if $N$ is regular on $V(Γ)$, then $Γ$ is a circuit, and particularly each $(G,s)$-geodesic-transitive normal Cayley digraph with $s\geq 2$, is a circuit.
Finally, we investigate $(G,2)$-geodesic-transitive digraphs with either valency at most 5 or diameter at most 2. Let $Γ$ be a $(G,2)$-geodesic-transitive digraph. It is proved that: if $Γ$ has valency at most $5$, then $Γ$ is $(G,2)$-arc-transitive; if $Γ$ has diameter $2$, then $Γ$ is a balanced incomplete block design with the Hadamard parameters.
Tropical Weierstrass points and Weierstrass weights
In this paper, we study tropical Weierstrass points. These are the analogues for tropical curves of ramification points of line bundles on algebraic curves.
For a divisor on a tropical curve, we associate intrinsic weights to the connected components of the locus of tropical Weierstrass points. This is obtained by analyzing the slopes of rational functions in the complete linear series of the divisor. We prove that for a divisor $D$ of degree $d$ and rank $r$ on a genus $g$ tropical curve, the sum of weights is equal to $d - r + rg$. We establish analogous statements for tropical linear series.
In the case $D$ comes from the tropicalization of a divisor, these weights control the number of Weierstrass points which are tropicalized to each component.
Our results provide answers to open questions originating from the work of Baker on specialization of divisors from curves to graphs.
We conclude with multiple examples which illustrate interesting features appearing in the study of tropical Weierstrass points, and raise several open questions.
VC-dimension and pseudo-random graphs
Let $G$ be a graph and $U\subset V(G)$ be a set of vertices. For each $v\in U$, let $h_v\colon U\to \{0, 1\}$ be the function defined by \[h_v(u)=\begin{cases} &1 ~\mbox{if}~u\sim v, u\in U\\&0 ~\mbox{if}~u\not\sim v, u\in U\end{cases},\] and set $\mathcal{H}(U):=\{h_v\colon v\in U\}$. The first purpose of this paper is to study the following question: What families of graphs $G$ and what conditions on $U$ do we need so that the VC-dimension of $\mathcal{H}(U)$ can be determined? We show that if $G$ is a pseudo-random graph, then under some mild conditions, the VC dimension of $\mathcal{H}(U)$ can be bounded from below. Specific cases of this theorem recover and improve previous results on VC-dimension of functions defined by the well-studied distance and dot-product graphs over a finite field.
Weak degeneracy of planar graphs and locally planar graphs
Weak degeneracy is a variation of degeneracy which shares many nice properties of degeneracy. In particular, if a graph $G$ is weakly $d$-degenerate, then for any $(d + 1)$-list assignment $L$ of $G$, one can construct an $L$-coloring of $G$ by a modified greedy coloring algorithm. It is known that planar graphs of girth 5 are 3-choosable and locally planar graphs are 5-choosable. This paper strengthens these results and proves that planar graphs of girth 5 are weakly 2-degenerate and locally planar graphs are weakly 4-degenerate.
Bordering of Symmetric Matrices and an Application to the Minimum Number of Distinct Eigenvalues for the Join of Graphs
An important facet of the inverse eigenvalue problem for graphs is to determine the minimum number of distinct eigenvalues of a particular graph. We resolve this question for the join of a connected graph with a path. We then focus on bordering a matrix and attempt to control the change in the number of distinct eigenvalues induced by this operation. By applying bordering techniques to the join of graphs, we obtain numerous results on the nature of the minimum number of distinct eigenvalues as vertices are joined to a fixed graph.
Logarithmic Weisfeiler--Leman and Treewidth
In this paper, we show that the $(3k+4)$-dimensional Weisfeiler--Leman algorithm can identify graphs of treewidth $k$ in $O(\log n)$ rounds. This improves the result of Grohe & Verbitsky (ICALP 2006), who previously established the analogous result for $(4k+3)$-dimensional Weisfeiler--Leman. In light of the equivalence between Weisfeiler--Leman and the logic $\textsf{FO} + \textsf{C}$ (Cai, Fürer, & Immerman, Combinatorica 1992), we obtain an improvement in the descriptive complexity for graphs of treewidth $k$. Precisely, if $G$ is a graph of treewidth $k$, then there exists a $(3k+5)$-variable formula $\varphi$ in $\textsf{FO} + \textsf{C}$ with quantifier depth $O(\log n)$ that identifies $G$ up to isomorphism.
The $i$-Graphs of Paths and Cycles
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$, denoted $\mathscr{I}(G)$, is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. Although not all graphs are $i$-graph realizable, that is, given a target graph $H$, there does not necessarily exist a source graph $G$ such that $H \cong \mathscr{I}(G)$, all graphs have $i$-graphs. We determine the $i$-graphs of paths and cycles and, in the case of cycles, discuss the Hamiltonicity of these $i$-graphs.
Orthogonal Colourings of Random Geometric Graphs
In this paper, we study orthogonal colourings of random geometric graphs. Two colourings of a graph are orthogonal if they have the property that when two vertices receive the same colour in one colouring, then those vertices receive distinct colours in the other colouring. A random geometric graph $RG(n,r)$ is a graph constructed by randomly placing $n$ vertices in the unit square and connecting two vertices with an edge if and only if their distance is less than the threshold $r$. We show first that random geometric graphs with $r>n^{-α}$, where $0\leq α\leq\frac{1}{4}$, have an orthogonal colouring using $n^{1-2α}(1+o(1))$ colours with high probability. Then, we show for an infinite number of values of $n$, random geometric graphs with threshold $r<cn^{-\frac{1}{4}}$, $c<1$, have an optimal orthogonal colouring with high probability. We obtain both of these results by constructing orthogonal colourings of the clique grid graph.
$p$-Laplacian Operators on Hypergraphs
This thesis generalizes the differential operators on standard oriented graphs and oriented hypergraphs introduced in 10.1137/15M1022793 and arXiv:2007.00325. The extended concepts of gradients, adjoints and $p$-Laplacians for vertices and (hyper)arcs include novel parametrization possibilities, while simultaneously fulfilling expected properties of the continuum setting, which are not granted by current definitions.
A 5-chromatic same-distance graph in the hyperbolic plane
The chromatic number of the plane problem asks for the minimum number of colors so that each point of the plane can be assigned a single color with the property that no two points unit-distance apart are identically colored. It is now known that the answer is 5, 6, or 7.
Here we consider the problem in the context of the hyperbolic plane. We prove that there exists a distance $d\approx 1.375033509$ so that every 4-coloring of the hyperbolic plane contains two points distance $d$ apart, which are identically colored.
Two Source Extractors for Asymptotically Optimal Entropy, and (Many) More
A long line of work in the past two decades or so established close connections between several different pseudorandom objects and applications. These connections essentially show that an asymptotically optimal construction of one central object will lead to asymptotically optimal solutions to all the others. However, despite considerable effort, previous works can get close but still lack one final step to achieve truly asymptotically optimal constructions.
In this paper we provide the last missing link, thus simultaneously achieving explicit, asymptotically optimal constructions and solutions for various well studied extractors and applications, that have been the subjects of long lines of research. Our results include:
Asymptotically optimal seeded non-malleable extractors, which in turn give two source extractors for asymptotically optimal min-entropy of $O(\log n)$, explicit constructions of $K$-Ramsey graphs on $N$ vertices with $K=\log^{O(1)} N$, and truly optimal privacy amplification protocols with an active adversary.
Two source non-malleable extractors and affine non-malleable extractors for some linear min-entropy with exponentially small error, which in turn give the first explicit construction of non-malleable codes against $2$-split state tampering and affine tampering with constant rate and \emph{exponentially} small error.
Explicit extractors for affine sources, sumset sources, interleaved sources, and small space sources that achieve asymptotically optimal min-entropy of $O(\log n)$ or $2s+O(\log n)$ (for space $s$ sources).
An explicit function that requires strongly linear read once branching programs of size $2^{n-O(\log n)}$, which is optimal up to the constant in $O(\cdot)$. Previously, even for standard read once branching programs, the best known size lower bound for an explicit function is $2^{n-O(\log^2 n)}$.
Brooks' theorem with forbidden colors
We consider extensions of Brooks' classic theorem on vertex coloring where some colors cannot be used on certain vertices. In particular we prove that if $G$ is a connected graph with maximum degree $Δ(G) \geq 4$ that is not a complete graph and $P \subseteq V(G)$ is a set of vertices where either
(i) at most $Δ(G)-2$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $4$, or
(ii) at most $Δ(G)-3$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $3$,
then there is a proper $Δ(G)$-coloring of $G$ respecting these constraints. In fact, we shall prove that these results hold in the more general setting of list colorings. These results are sharp.
Complexity and equivalency of multiset dimension and ID-colorings
Published in Fundamenta Informaticae, Volume 191, Issues 3-4: Iiro Honkala's 60 Birthday (November 10, 2024) fi:11068
• View Publication
• BIB
This investigation is firstly focused into showing that two metric parameters represent the same object in graph theory. That is, we prove that the multiset resolving sets and the ID-colorings of graphs are the same thing. We also consider some computational and combinatorial problems of the multiset dimension, or equivalently, the ID-number of graphs. We prove that the decision problem concerning finding the multiset dimension of graphs is NP-complete. We consider the multiset dimension of king grids and prove that it is bounded above by 4. We also give a characterization of the strong product graphs with one factor being a complete graph, and whose multiset dimension is not infinite.
Discrete Morse theory and the topology of matching complexes of complete graphs
We denote the matching complex of the complete graph with $n$ vertices by $M_n$. Bouc first studied the topological properties of $M_n$ in connection with the Quillen complex. Later Björner, Lovász, Vrećica, and Živaljević showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, but in general the topology of $M_n$ is not very well-understood even for smaller natural numbers.
Forman developed discrete Morse theory, which has various applications in diverse fields of studies. In this article, we develop a discrete Morse theoretic technique to capture deeper structural topological properties of $M_n$. We show that $M_n$ is \emph{geometrically} $(ν_n-1)$-connected, where the notion of geometrical $k$-connectedness as defined in this article, is stronger than that of homotopical $k$-connectedness.
Previously, Björner et al. showed that $M_8$ is simply connected, but not 2-connected. The technique developed here helped us determine that $M_8$ is in fact homotopy equivalent to a wedge of 132 spheres of dimension 2.
Computing the hull and interval numbers in the weakly toll convexity
A walk $u_0u_1 \ldots u_{k-1}u_k$ of a graph $G$ is a \textit{weakly toll walk} if $u_0u_k \not\in E(G)$, $u_0u_i \in E(G)$ implies $u_i = u_1$, and $u_ju_k\in E(G)$ implies $u_j=u_{k-1}$. The {\em weakly toll interval} of a set $S \subseteq V(G)$, denoted by $I(S)$, is formed by $S$ and the vertices belonging to some weakly toll walk between two vertices of $S$. Set $S$ is {\it weakly toll convex} if $I(S) = S$. The {\em weakly toll convex hull} of $S$, denote by $H(S)$, is the minimum weakly toll convex set containing $S$. The {\em weakly toll interval number} of $G$ is the minimum cardinality of a set $S \subseteq V(G)$ such that $I(S) = V(G)$; and the {\em weakly toll hull number} of $G$ is the minimum cardinality of a set $S \subseteq V(G)$ such that $H(S) = V(G)$. In this work, we show how to compute the weakly toll interval and the weakly toll hull numbers of a graph in polynomial time. In contrast, we show that determining the weakly toll convexity number of a graph $G$ (the size of a maximum weakly toll convex set distinct from $V(G)$) is \NP-hard.
Polynomial-Time Approximation Schemes for Independent Packing Problems on Fractionally Tree-Independence-Number-Fragile Graphs
Published
• View Publication
• BIB
We investigate a relaxation of the notion of treewidth-fragility, namely tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for independent packing problems on fractionally tree-independence-number-fragile graph classes. Our approach unifies and extends several known polynomial-time approximation schemes on seemingly unrelated graph classes, such as classes of intersection graphs of fat objects in a fixed dimension or proper minor-closed classes. We also study the related notion of layered tree-independence number, a relaxation of layered treewidth.
Reconstructing Graphs from Connected Triples
We introduce a new model of indeterminacy in graphs: instead of specifying all the edges of the graph, the input contains all triples of vertices that form a connected subgraph. In general, different (labelled) graphs may have the same set of connected triples, making unique reconstruction of the original graph from the triples impossible. We identify some families of graphs (including triangle-free graphs) for which all graphs have a different set of connected triples. We also give algorithms that reconstruct a graph from a set of triples, and for testing if this reconstruction is unique. Finally, we study a possible extension of the model in which the subsets of size $k$ that induce a connected graph are given for larger (fixed) values of $k$.
The set-theoretic Yang-Baxter equation, Kimura semigroups and functional graphs
Published in Research in the Mathematical Sciences, volume 12, article number 34, (2025)
• Search Publication
We prove that the category of solutions of the set-theoretic Yang-Baxter equation of Frobenius-Separability (FS) type is equivalent to the category of pointed Kimura semigroups. As applications, all involutive, idempotent, nondegenerate, surjective, finite order, unitary or indecomposable solutions of FS type are classified. For instance, if $|X| = n$, then the number of isomorphism classes of all such solutions on $X$ that are (a) left non-degenerate, (b) bijective, (c) unitary or (d) indecomposable and left-nondegenerate is: (a) the Davis number $d(n)$, (b) $\sum_{m|n} \, p(m)$, where $p(m)$ is the Euler partition number, (c) $τ(n) + \sum_{d|n}\left\lfloor \frac d2\right\rfloor$, where $τ(n)$ is the number of divisors of $n$, or (d) the Harary number $\mathfrak{c} (n)$. The automorphism groups of such solutions can also be recovered as automorphism groups $\mathrm{Aut}(f)$ of sets $X$ equipped with a single endo-function $f:X\to X$. We describe all groups of the form $\mathrm{Aut}(f)$ as iterations of direct and (possibly infinite) wreath products of cyclic or full symmetric groups, characterize the abelian ones as products of cyclic groups, and produce examples of symmetry groups of FS solutions not of the form $\mathrm{Aut}(f)$.
Chromatic numbers of Cayley graphs of abelian groups: A matrix method
Published in Linear Algebra and its Applications, Volume 676, 1 November 2023, Pages 277-295
• View Publication
• BIB
In this paper, we take a modest first step towards a systematic study of chromatic numbers of Cayley graphs on abelian groups. We lose little when we consider these graphs only when they are connected and of finite degree. As in the work of Heuberger and others, in such cases the graph can be represented by an $m\times r$ integer matrix, where we call $m$ the dimension and $r$ the rank. Adding or subtracting rows produces a graph homomorphism to a graph with a matrix of smaller dimension, thereby giving an upper bound on the chromatic number of the original graph. In this article we develop the foundations of this method. In a series of follow-up articles using this method, we completely determine the chromatic number in cases with small dimension and rank; prove a generalization of Zhu's theorem on the chromatic number of $6$-valent integer distance graphs; and provide an alternate proof of Payan's theorem that a cube-like graph cannot have chromatic number 3.