graph
35436 papers tagged with this keyword
Towards the Kohayakawa--Kreuter conjecture on asymmetric Ramsey properties
Published
• View Publication
• BIB
For fixed graphs $F_1,\dotsc,F_r$, we prove an upper bound on the threshold function for the property that $G(n,p) \to (F_1,\dotsc,F_r)$. This establishes the $1$-statement of a conjecture of Kohayakawa and Kreuter.
7-Connected Graphs are 4-Ordered
Published in J. Combin. Theory Ser. B. 141 (2020), 115-135
• View Publication
• BIB
A graph $G$ is $k$-ordered if for any distinct vertices $v_1, v_2, \ldots, v_k \in V(G)$, it has a cycle through $v_1, v_2, \ldots, v_k$ in order. Let $f(k)$ denote the minimum integer so that every $f(k)$-connected graph is $k$-ordered. The first non-trivial case of determining $f(k)$ is when $k=4$, where the previously best known bounds are $7 \leq f(4) \leq 40$. We prove that in fact $f(4)=7$.
Generating Graphs with Symmetry
Published
• View Publication
• BIB
In the field of complex networks and graph theory, new results are typically tested on graphs generated by a variety of algorithms such as the Erdős-Rényi model or the Barabási-Albert model. Unfortunately, most graph generating algorithms do not typically create graphs with symmetries, which have been shown to have an important role on the network dynamics. Here, we present an algorithm to generate graphs with prescribed symmetries. The algorithm can also be used to generate graphs with a prescribed equitable partition but possibly without any symmetry. We also use our graph generator to examine the recently raised question about the relation between the orbits of the automorphism group and a graph's minimal equitable partition.
Forbidden cycles in metrically homogeneous graphs
Published in European Journal of Combinatorics (132), 2026 European Journal of Combinatorics (132), 2026 European Journal of Combinatorics (132), 2026
• View Publication
• BIB
In a recent paper by a superset of the authors it was proved that for every primitive 3-constrained space $Γ$ of finite diameter $δ$ from Cherlin's catalogue of metrically homogeneous graphs, there exists a finite family $\mathcal F$ of $\{1,\ldots, δ\}$-edge-labelled cycles such that a $\{1,\ldots, δ\}$-edge-labelled graph is a subgraph of $Γ$ if and only if it contains no homomorphic images of cycles from $\mathcal F$. However, the cycles in the families $\mathcal F$ were not described explicitly as it was not necessary for the analysis of Ramsey expansions and the extension property for partial automorphisms.
This paper fills this gap by providing an explicit description of the cycles in the families $\mathcal F$, heavily using the previous result in the process. Additionally, we explore the potential applications of this result, such as interpreting the graphs as semigroup-valued metric spaces or homogenizations of $ω$-categorical $\{1,δ\}$-edge-labelled graphs.
Matrices in the Hosoya triangle
Published
• View Publication
• BIB
In this paper we use well-known results from linear algebra as tools to explore some properties of products of Fibonacci numbers. Specifically, we explore the behavior of the eigenvalues, eigenvectors, characteristic polynomials, determinants, and the norm of non-symmetric matrices embedded in the Hosoya triangle. We discovered that most of these objects either embed again in the Hosoya triangle or they give rise to Fibonacci identities.
We also study the nature of these matrices when their entries are taken $\bmod$ $2$. As a result, we found an infinite family of non-connected graphs. Each graph in this family has a complete graph with loops attached to each of its vertices as a component and the other components are isolated vertices. The Hosoya triangle allowed us to show the beauty of both, the algebra and geometry.
A Ramsey-type theorem for the matching number regarding connected graphs
Published
• View Publication
• BIB
A major line of research is discovering Ramsey-type theorems, which are results of the following form: given a graph parameter $ρ$, every graph $G$ with sufficiently large $ρ(G)$ contains a `well-structured' induced subgraph $H$ with large $ρ(H)$. The classical Ramsey's theorem deals with the case when the graph parameter under consideration is the number of vertices; there is also a Ramsey-type theorem regarding connected graphs.
Given a graph $G$, the matching number and the induced matching number of $G$ is the maximum size of a matching and an induced matching, respectively, of $G$. In this paper, we formulate Ramsey-type theorems for the matching number and the induced matching number regarding connected graphs. Along the way, we obtain a Ramsey-type theorem for the independence number regarding connected graphs as well.
Spectral bounds for non-uniform hypergraphs using weighted clique expansion
Hypergraphs are an invaluable tool to understand many hidden patterns in large data sets. Among many ways to represent hypergraph, one useful representation is that of weighted clique expansion. In this paper, we consider this representation for non-uniform hypergraphs. We generalize the spectral results for uniform hypergraphs to non-uniform hypergraphs and show that they extend in a natural way. We provide a bound on the largest eigenvalue with respect to the average degree of neighbours of a vertex in a graph. We also prove an inequality on the boundary of a vertex set in terms of the largest and second smallest eigenvalue and use it to obtain bounds on some connectivity parameters of the hypergraph.
A topological characterization of Gauss codes
A (smooth) embedding of a closed curve on the plane with finitely many intersections is said to be generic if each point of self-intersection is crossed exactly twice and at non-tangent angles. A finite word $ω$ where each character occurs twice is a Gauss code if it can be obtained as the sequence of traversed self-intersections of a generic plane embedding of a close curved $γ$. Then $γ$ is said to realize $ω$.
We present a characterization of Gauss codes using Seifert cycles. The characterization is given by an algorithm that, given a Gauss code $ω$ as input, it outputs a combinatorial plane embedding of closed curve in linear time with respect to the number of characters of the word. The algorithm allows to find all the (combinatorial) embeddings of a closed curve in the plane that realize $ω$.
The characterization involve two functions between graphs embedded on orientable surfaces, invertible of each other. One produces an embedding of the Seifert graph of the word (or paragraph), and the other is its inverse operation. These operations might be of independent interest.
Addressing Johnson graphs, complete multipartite graphs, odd cycles and other graphs
Published
• View Publication
• BIB
Graham and Pollak showed that the vertices of any graph $G$ can be addressed with $N$-tuples of three symbols, such that the distance between any two vertices may be easily determined from their addresses. An addressing is optimal if its length $N$ is minimum possible.
In this paper, we determine an addressing of length $k(n-k)$ for the Johnson graphs $J(n,k)$ and we show that our addressing is optimal when $k=1$ or when $k=2, n=4,5,6$, but not when $n=6$ and $k=3$. We study the addressing problem as well as a variation of it in which the alphabet used has more than three symbols, for other graphs such as complete multipartite graphs and odd cycles. We also present computations describing the distribution of the minimum length of addressings for connected graphs with up to $10$ vertices. Motivated by these computations we settle a problem of Graham, showing that most graphs on $n$ vertices have an addressing of length at most $n-(2-o(1))\log_2 n$.
Hedetniemi's conjecture and strongly multiplicative graphs
Published
• View Publication
• BIB
A graph K is multiplicative if a homomorphism from any product G x H to K implies a homomorphism from G or from H. Hedetniemi's conjecture states that all cliques are multiplicative. In an attempt to explore the boundaries of current methods, we investigate strongly multiplicative graphs, which we define as K such that for any connected graphs G,H with odd cycles C,C', a homomorphism from $(G \times C') \cup (C \times H) \subseteq G \times H$ to K implies a homomorphism from G or H.
Strong multiplicativity of K also implies the following property, which may be of independent interest: if G is non-bipartite, H is a connected graph with a vertex h, and there is a homomorphism $φ\colon G \times H \to K$ such that $φ(-,h)$ is constant, then H admits a homomorphism to K.
All graphs currently known to be multiplicative are strongly multiplicative. We revisit the proofs in a different view based on covering graphs and replace fragments with more combinatorial arguments. This allows us to find new (strongly) multiplicative graphs: all graphs in which every edge is in at most square, and the third power of any graph of girth >12. Though more graphs are amenable to our methods, they still make no progress for the case of cliques. Instead we hope to understand their limits, perhaps hinting at ways to further extend them.
Control Energy of Lattice Graphs
Published
• View Publication
• BIB
The control of complex networks has generated a lot of interest in a variety of fields from traffic management to neural systems. A commonly used metric to compare two particular control strategies that accomplish the same task is the control energy, the integral of the sum of squares of all control inputs. The minimum control energy problem determines the control input that lower bounds all other control inputs with respect to their control energies. Here, we focus on the infinite lattice graph with linear dynamics and analytically derive the expression for the minimum control energy in terms of the modified Bessel function. We then demonstrate that the control energy of the infinite lattice graph accurately predicts the control energy of finite lattice graphs.
Cycles in the burnt pancake graphs
Published
• View Publication
• BIB
The pancake graph $P_n$ is the Cayley graph of the symmetric group $S_n$ on $n$ elements generated by prefix reversals. $P_n$ has been shown to have properties that makes it a useful network scheme for parallel processors. For example, it is $(n-1)$-regular, vertex-transitive, and one can embed cycles in it of length $\ell$ with $6\leq\ell\leq n!$. The burnt pancake graph $BP_n$, which is the Cayley graph of the group of signed permutations $B_n$ using prefix reversals as generators, has similar properties. Indeed, $BP_n$ is $n$-regular and vertex-transitive. In this paper, we show that $BP_n$ has every cycle of length $\ell$ with $8\leq\ell\leq 2^n n!$. The proof given is a constructive one that utilizes the recursive structure of $BP_n$. We also present a complete characterization of all the $8$-cycles in $BP_n$ for $n \geq 2$, which are the smallest cycles embeddable in $BP_n$, by presenting their canonical forms as products of the prefix reversal generators.
Optimal Input Placement in Lattice Graphs
The control of dynamical, networked systems continues to receive much attention across the engineering and scientific research fields. Of particular interest is the proper way to determine which nodes of the network should receive external control inputs in order to effectively and efficiently control portions of the network. Published methods to accomplish this task either find a minimal set of driver nodes to guarantee controllability or a larger set of driver nodes which optimizes some control metric. Here, we investigate the control of lattice systems which provides analytical insight into the relationship between network structure and controllability. First we derive a closed form expression for the individual elements of the controllability Gramian of infinite lattice systems. Second, we focus on nearest neighbor lattices for which the distance between nodes appears in the expression for the controllability Gramian. We show that common control energy metrics scale exponentially with respect to the maximum distance between a driver node and a target node.
Counting primitive subsets and other statistics of the divisor graph of $\{1,2, \ldots n\}$
Let $Q(n)$ denote the count of the primitive subsets of the integers $\{1,2\ldots n\}$. We give a new proof that $Q(n) = α^{(1+o(1))n}$ which allows us to give a good error term and to improve upon the lower bound for the value of this constant $α$. We also show that the method developed can be applied to many similar problems that can be stated in terms of the divisor graph, including other questions about primitive sets, geometric-progression-free sets, and the divisor graph path-cover problem.
Off-diagonal ordered Ramsey numbers of matchings
Published
• View Publication
• BIB
For ordered graphs $G$ and $H$, the ordered Ramsey number $r_<(G,H)$ is the smallest $n$ such that every red/blue edge coloring of the complete graph on vertices $\{1,\dots,n\}$ contains either a blue copy of $G$ or a red copy of $H$, where the embedding must preserve the relative order of vertices. One number of interest, first studied by Conlon, Fox, Lee, and Sudakov, is the "off-diagonal" ordered Ramsey number $r_<(M, K_3)$, where $M$ is an ordered matching on $n$ vertices. In particular, Conlon et al. asked what asymptotic bounds (in $n$) can be obtained for $\max r_<(M, K_3)$, where the maximum is over all ordered matchings $M$ on $n$ vertices. The best-known upper bound is $O(n^2/\log n)$, whereas the best-known lower bound is $Ω((n/\log n)^{4/3})$, and Conlon et al. hypothesize that $r_<(M, K_3) = O(n^{2-ε})$ for every ordered matching $M$. We resolve two special cases of this conjecture. We show that the off-diagonal ordered Ramsey numbers for matchings in which edges do not cross are nearly linear. We also prove a truly sub-quadratic upper bound for random matchings with interval chromatic number $2$.
Checkerboard colourable twisted duals
In this note we show that any embedded graph has a checkerboard colourable twisted dual and any Eulerian embedded graph has a checkerboard colourable partial Petrial, answering questions posed by Ellis-Monaghan and Moffatt. The proofs are based on orientations of their medial graphs and orientations of boundary components of their corresponding ribbon graphs. The arrow presentations of ribbon graphs are also used. We also obtain two related results.
Constructing Non-isomorphic Signless Laplacian Cospectral Graphs
Published
• View Publication
• BIB
In this article, we generate large families of non-isomorphic and signless Lalacian cospectral graphs using partial transpose on graphs. Our constructions are significantly powerful. More than $70\%$ of non-isomorphic signless-Laplacian cospectral graphs can be generated with partial transpose when number of vertices is $\le 8$. We have also produced numerous examples of non-isomorphic signless Laplacian cospectral graphs.
Long properly coloured cycles in edge-coloured graphs
Published
• View Publication
• BIB
Let $G$ be an edge-coloured graph. The minimum colour degree $δ^c(G)$ of $G$ is the largest integer $k$ such that, for every vertex $v$, there are at least $k$ distinct colours on edges incident to $v$. We say that $G$ is properly coloured if no two adjacent edges have the same colour. In this paper, we show that, for any $\varepsilon >0$ and $n$ large, every edge-coloured graph $G$ with $δ^c(G) \ge (1/2+\varepsilon)n$ contains a properly coloured cycle of length at least $\min\{ n , \lfloor 2 δ^c(G)/3 \rfloor\}$.
On grounded L-graphs and their relatives
Published in Electronic Journal of Combinatorics 26(3) (2019), article P3.17
• Search Publication
We consider the graph class Grounded-L corresponding to graphs that admit an intersection representation by L-shaped curves, where additionally the topmost points of each curve are assumed to belong to a common horizontal line. We prove that Grounded-L graphs admit an equivalent characterisation in terms of vertex ordering with forbidden patterns.
We also compare this class to related intersection classes, such as the grounded segment graphs, the monotone L-graphs (a.k.a. max point-tolerance graphs), or the outer-1-string graphs. We give constructions showing that these classes are all distinct and satisfy only trivial or previously known inclusions.
Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems
Published
• View Publication
• BIB
Resilience to damage, component degradation, and adversarial action is a critical consideration in design of autonomous systems. In addition to designing strategies that seek to prevent such negative events, it is vital that an autonomous system remains able to achieve its control objective even if the system partially loses control authority. While loss of authority limits the system's control capabilities, it may be possible to use the remaining authority in such a way that the system's control objectives remain achievable. In this paper, we consider the problem of optimal design for an autonomous system with discrete-time linear dynamics where the available control actions depend on adversarial input produced as a result of loss of authority. The central question is how to partition the set of control inputs that the system can apply in such a way that the system state remains within a safe set regardless of an adversarial input limiting the available control inputs to a single partition elements. We interpret such a problem first as a variant of a safety game, and then as a problem of existence of an appropriate edge labeling on a graph. We obtain conditions for existence and a computationally efficient algorithm for determining a system design and a control policy that preserve system safety. We illustrate our results on two examples: a damaged autonomous vehicle and a method of communication over a channel that ensures a minimal running digital sum.