graph
35411 papers tagged with this keyword
The graphs with a symmetrical Euler cycle
Published
• View Publication
• BIB
The edges surrounding a face of a map $M$ form a cycle $C$, called the boundary cycle of the face, and $C$ is often not a simple cycle. If the map $M$ is arc-transitive, then there is a cyclic subgroup of automorphisms of $M$ which leaves $C$ invariant and is bi-regular on the edges of the induced subgraph $[C]$; that is to say, $C$ is a symmetrical Euler cycle of $[C]$. In this paper we determine the family of graphs (which may have multiple edges) whose edge-sets can be sequenced to form a symmetrical Euler cycle. We first classify all graphs which have a cyclic subgroup of automorphisms acting bi-regularly on edges. We then apply this classification to obtain the graphs possessing a symmetrical Euler cycle, and therefore are the (only) candidates for the induced subgraphs of the boundary cycles of the faces of arc-transitive maps.
Counting Horizontal Visibility Graphs
Horizontal visibility graphs (HVGs, for short) are a common tool used in the analysis and classification of time series with applications in many scientific fields. In this article, extending previous work by Lacasa and Luque, we prove that HVGs associated to data sequences without equal entries are completely determined by their ordered degree sequence. Moreover, we show that HVGs for data sequences without and with equal entries are counted by the Catalan numbers and the large Schröder numbers, respectively.
Spectral radius and clique partitions of graphs
Published in Linear Algebra and its Applications 630 (2021), 84-94
• View Publication
• BIB
We give lower bounds on the size and total size of clique partitions of a graph in terms of its spectral radius and minimum degree, and derive a spectral upper bound for the maximum number of edge-disjoint $t$-cliques. The extremal graphs attaining the bounds are exactly the block graphs of Steiner $2$-designs and the regular graphs with $K_t$-decompositions, respectively.
Compound Logics for Modification Problems
Published
• View Publication
• BIB
We introduce a novel model-theoretic framework inspired from graph modification and based on the interplay between model theory and algorithmic graph minors. The core of our framework is a new compound logic operating with two types of sentences, expressing graph modification: the modulator sentence, defining some property of the modified part of the graph, and the target sentence, defining some property of the resulting graph. In our framework, modulator sentences are in counting monadic second-order logic (CMSOL) and have models of bounded treewidth, while target sentences express first-order logic (FOL) properties along with minor-exclusion. Our logic captures problems that are not definable in first-order logic and, moreover, may have instances of unbounded treewidth. Also, it permits the modeling of wide families of problems involving vertex/edge removals, alternative modulator measures (such as elimination distance or $\mathcal{G}$-treewidth), multistage modifications, and various cut problems. Our main result is that, for this compound logic, model-checking can be done in quadratic time. All derived algorithms are constructive and this, as a byproduct, extends the constructibility horizon of the algorithmic applications of the Graph Minors theorem of Robertson and Seymour. The proposed logic can be seen as a general framework to capitalize on the potential of the irrelevant vertex technique. It gives a way to deal with problem instances of unbounded treewidth, for which Courcelle's theorem does not apply. The proof of our meta-theorem combines novel combinatorial results related to the Flat Wall theorem along with elements of the proof of Courcelle's theorem and Gaifman's theorem. We finally prove extensions where the target property is expressible in FOL+DP, i.e., the enhancement of FOL with disjoint-paths predicates.
Automorphisms of graphs corresponding to conjugacy classes of finite-rank self-adjoint operators
Published
• View Publication
• BIB
We consider the graph whose vertex set is a conjugacy class ${\mathcal C}$ consisting of finite-rank self-adjoint operators on a complex Hilbert space $H$. The dimension of $H$ is assumed to be not less than $3$. In the case when operators from ${\mathcal C}$ have two eigenvalues only, we obtain the Grassmann graph formed by $k$-dimensional subspaces of $H$, where $k$ is the smallest dimension of eigenspaces. Classical Chow's theorem describes automorphisms of this graph for $k>1$. Under the assumption that operators from ${\mathcal C}$ have more than two eigenvalues we show that every automorphism of the graph is induced by a unitary or anti-unitary operator up to a permutation of eigenspaces with the same dimensions. In contrast to this result, Chow's theorem states that there are graph automorphisms induced by semilinear automorphisms not preserving orthogonality if ${\mathcal C}$ is formed by operators with precisely two eigenvalues.
A ribbon graph derivation of the algebra of functional renormalization for random multi-matrices with multi-trace interactions
Published in Lett. Math. Phys. 112, 58 (2022)
• View Publication
• BIB
We focus on functional renormalization for ensembles of several (say $n\geq 1$) random matrices, whose potentials include multi-traces, to wit, the probability measure contains factors of the form $ \exp[-\mathrm{Tr}(V_1)\times\ldots\times \mathrm{Tr}(V_k)]$ for certain noncommutative polynomials $V_1,\ldots,V_k\in \mathbb{C}_{\langle n \rangle}$ in the $n$ matrices. This article shows how the "algebra of functional renormalization" -- that is, the structure that makes the renormalization flow equation computable -- is derived from ribbon graphs, only by requiring the one-loop structure that such equation (due to Wetterich) is expected to have. Whenever it is possible to compute the renormalization flow in terms of $\mathrm U(N)$-invariants, the structure gained is the matrix algebra $M_n( \mathcal{A}_{n,N}, \star ) $ with entries in $\mathcal{A}_{n,N}=(\mathbb{C}_{\langle n \rangle} \otimes \mathbb{C}_{\langle n \rangle} )\oplus( \mathbb{C}_{\langle n \rangle} \boxtimes \mathbb{C}_{\langle n \rangle})$, being $\mathbb{C}_{\langle n \rangle} $ the free algebra generated by the $n$ Hermitian matrices of size $N$ (the flowing random variables) with multiplication of homogeneous elements in $\mathcal{A}_{n,N}$ given, for each $P,Q,U,W\in\mathbb{C}_{\langle n \rangle}$, by \begin{align*}(U \otimes W) \star ( P\otimes Q) &= PU \otimes WQ \,, & (U\boxtimes W) \star ( P\otimes Q) &=U \boxtimes PWQ \,, \\(U \otimes W) \star ( P\boxtimes Q) &= WPU \boxtimes Q \,,\ & (U\boxtimes W) \star ( P\boxtimes Q) &= \mathrm{Tr} (WP) U\boxtimes Q \,,\end{align*} which, together with the condition $(λU) \boxtimes W = U\boxtimes (λW) $ for each complex $λ$, fully define the symbol $\boxtimes$.
A Modification of the Random Cutting Model
Published
• View Publication
• BIB
We propose a modification to the random destruction of graphs: Given a finite network with a distinguished set of sources and targets, remove (cut) vertices at random, discarding components that do not contain a source node. We investigate the number of cuts required until all targets are removed, and the size of the remaining graph. This model interpolates between the random cutting model going back to Meir and Moon and site percolation. We prove several general results, including that the size of the remaining graph is a tight family of random variables for compatible sequences of expander-type graphs, and determine limiting distributions for binary caterpillar trees and complete binary trees.
The Shortest Even Cycle Problem is Tractable
Given a directed graph, we show how to efficiently find a shortest (directed, simple) cycle on an even number of vertices. As far as we know, no polynomial-time algorithm was previously known for this problem. In fact, finding any even cycle in a directed graph in polynomial time was open for more than two decades until Robertson, Seymour, and Thomas (Ann. of Math. (2) 1999) and, independently, McCuaig (Electron. J. Combin. 2004; announced jointly at STOC 1997) gave an efficiently testable structural characterisation of even-cycle-free directed graphs.
Methodologically, our algorithm relies on algebraic fingerprinting and randomized polynomial identity testing over a finite field, and uses a generating polynomial implicit in Vazirani and Yannakakis ( Discrete Appl. Math. 1989) that enumerates weighted cycle covers as a difference of a permanent and a determinant polynomial. The need to work with the permanent is where our main technical contribution occurs. We design a family of finite commutative rings of characteristic 4 that simultaneously (i) give a nondegenerate representation for the generating polynomial identity via the permanent and the determinant, (ii) support efficient permanent computations, and (iii) enable emulation of finite-field arithmetic in characteristic 2. Here our work is foreshadowed by that of Björklund and Husfeldt (SIAM J. Comput. 2019), who used a considerably less efficient ring design to obtain a polynomial-time algorithm for the shortest two disjoint paths problem.
Building on work of Gilbert and Tarjan (Numer. Math. 1978) as well as Alon and Yuster (J. ACM 2013), we also show how ideas from the nested dissection technique for solving linear equation systems leads to faster algorithm designs when we have control on the separator structure of the input graph; for example, this happens when the input has bounded genus.
Computational thresholds for the fixed-magnetization Ising model
Published
• View Publication
• BIB
The ferromagnetic Ising model is a model of a magnetic material and a central topic in statistical physics. It also plays a starring role in the algorithmic study of approximate counting: approximating the partition function of the ferromagnetic Ising model with uniform external field is tractable at all temperatures and on all graphs, due to the randomized algorithm of Jerrum and Sinclair. Here we show that hidden inside the model are hard computational problems. For the class of bounded-degree graphs we find computational thresholds for the approximate counting and sampling problems for the ferromagnetic Ising model at fixed magnetization (that is, fixing the number of $+1$ and $-1$ spins). In particular, letting $β_c(Δ)$ denote the critical inverse temperature of the zero-field Ising model on the infinite $Δ$-regular tree, and $η_{Δ,β,1}^+$ denote the mean magnetization of the zero-field $+$ measure on the infinite $Δ$-regular tree at inverse temperature $β$, we prove, for the class of graphs of maximum degree $Δ$:
1. For $β< β_c(Δ)$ there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for all magnetizations $η$.
2. For $β> β_c(Δ)$, there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for magnetizations $η$ such that $|η| >η_{Δ,β,1}^+ $.
3. For $β> β_c(Δ)$, there is no FPRAS for the fixed-magnetization Ising model for magnetizations $η$ such that $|η| <η_{Δ,β,1}^+ $ unless NP=RP\@.
On resistance matrices of weighted balanced digraphs
Published
• View Publication
• BIB
Let $G$ be a connected graph with $V(G)=\{1,\dotsc,n\}$. Then the resistance distance between any two vertices $i$ and $j$ is given by $r_{ij}:=l_{ii}^† + l_{jj}^†-2 l_{ij}^†$, where $l_{ij}^†$ is the $(i,j)^{\rm th}$ entry of the Moore-Penrose inverse of the Laplacian matrix of $G$.
For the resistance matrix $R:=[r_{ij}]$, there is an elegant formula to compute the inverse of $R$. This says that \[R^{-1}=-\frac{1}{2}L + \frac{1}{τ' R τ} ττ', \] where \[τ:=(τ_1,\dotsc,τ_n)'~~\mbox{and}~~ τ_{i}:=2- \sum_{\{j \in V(G):(i,j) \in E(G)\}} r_{ij}~~~i=1,\dotsc,n. \] A far reaching generalization of this result that gives an inverse formula for a generalized resistance matrix of a strongly connected and matrix weighted balanced directed graph is obtained in this paper. When the weights are scalars, it is shown that the generalized resistance is a non-negative real number. We also obtain a perturbation result involving resistance matrices of connected graphs and Laplacians of digraphs.
On a Conjecture of Erd\H os on Size Ramsey Number of Star Forests
Published
• View Publication
• BIB
Given graphs $ F_1, F_2$ and $G$, we say that $G$ is Ramsey for $(F_1,F_2)$ and we write $G\rightarrow(F_1, F_2)$, if for every edge coloring of $G$ by red and blue, there is either a red copy of $F_1$ or a blue copy of $F_2$ in $G$. The size Ramsey number $\hat{r}(F_1, F_2)$ is defined as the minimum number of edges of a graph $G$ such that $G\rightarrow(F_1, F_2)$. This paper provides the exact value of $\hat{r}(F_1, F_2)$ for many pairs $(F_1, F_2)$ of star forests, giving a partial solution to a conjecture of Burr et al. (Ramsey-minimal graphs for multiple copies, Indagationes Mathematicae, 81(2) (1978), 187-195).
Positivity of Gibbs states on distance-regular graphs
Published
• View Publication
• BIB
We study criteria which ensure that Gibbs states (often also called generalized vacuum states) on distance-regular graphs are positive. Our main criterion assumes that the graph can be embedded into a growing family of distance-regular graphs. For the proof of the positivity we then use polynomial hypergroup theory and translate this positivity into the problem whether for $x\in[-1,1]$ the function $n\mapsto x^n$ has a positive integral representation w.r.t. the orthogonal polynomials associated with the graph. We apply our criteria to several examples. For Hamming graphs and the infinite distance-transitive graphs we obtain a complete description of the positive Gibbs states.
Knödel walks in a Böhm-Hornik environment
Ideas of Knödel and Böhm-Hornik about walks in certain graphs, resembling the classical symmetric random walk on the integers, are combined. All the relevant generating functions (although occasionally quite involved) are made fully explicit.
On $k$-dprime Divisor Function Graph
Let $p$ and $q$ be distinct primes. The \textit{semiprime divisor function graph} denoted by $G_{D(pq)}$, is the graph with vertex set $V(G_{D(pq)})=\{1,p,q,pq\}$ and edge set $E(G_{D(pq)})=\{\{1,p\}, \{1,q\},\{1,pq\},\{p,pq\},\{q,pq\}\}$. The semiprime divisor function graph is a special type of divisor function graph $G_{D(n)}$ in which $n=pq$. Recently, the energy and some indices of semiprime divisor function graph have been determined. In this paper, we introduce a natural extension to the semiprime divisor function graph which we call the \textit{$k$-dprime divisor function graph}. Moreover, we present results on some distance-based and degree-based topological indices of $k$-dprime divisor function graph. We end the paper by giving some open problems.
Inverse algorithm and triple point diagrams
Published
• View Publication
• BIB
Dimer models (also known as brane tilings) are special bipartite graphs on a torus $\mathbb{T}^2$. They encode the structure of the 4d $\mathcal{N} = 1$ worldvolume theories of D3 branes probing toric affine Calabi-Yau singularities. Constructing dimer models from a singularity can in principle be done via the so-called inverse algorithm, however it is hard to implement in practice. We discuss how combinatorial objects called triple point diagrams systematize the inverse algorithm, and show how they can be used to construct dimer models satisfying some symmetry or containing particular substructures. We present the construction of the Octagon dimer model which satisfies both types of constraints. Eventually we present a new criterion concerning possible implementations of symmetries in dimer models, in order to illustrate how the use of triple point diagrams could strengthen such statements.
Totally $2$-closed finite groups with trivial Fitting subgroup
Published
• View Publication
• BIB
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory.
An Improved Bound of Acyclic Vertex-Coloring
The acyclic chromatic number of a graph is the least number of colors needed to properly color its vertices so that none of its cycles has only two colors. We show that for all $α>2^{-1/3}$ there exists an integer $Δ_α$ such that if the maximum degree $Δ$ of a graph is at least $Δ_α$, then the acyclic chromatic number of the graph is at most $\lceilαΔ^{4/3} \rceil +Δ+ 1$. The previous best bound, due to Gonçalves et al (2020), was $(3/2) Δ^{4/3} + O(Δ)$.
Weakly saturated hypergraphs and a conjecture of Tuza
Published
• View Publication
• BIB
Given a fixed hypergraph $H$, let $\mbox{wsat}(n,H)$ denote the smallest number of edges in an $n$-vertex hypergraph $G$, with the property that one can sequentially add the edges missing from $G$, so that whenever an edge is added, a new copy of $H$ is created. The study of $\mbox{wsat}(n,H)$ was introduced by Bollobás in 1968, and turned out to be one of the most influential topics in extremal combinatorics. While for most $H$ very little is known regarding $\mbox{wsat}(n,H)$, Alon proved in 1985 that for every graph $H$ there is a limiting constant $C_H$ so that $\mbox{wsat}(n,H)=(C_H+o(1))n$. Tuza conjectured in 1992 that Alon's theorem can be (appropriately) extended to arbitrary $r$-uniform hypergraphs. In this paper we prove this conjecture.
Generalized Integer Splines on Arbitrary Graphs
Published
• View Publication
• BIB
Generalized integer splines on a graph $G$ with integer edge weights are integer vertex labelings such that if two vertices share an edge in $G$, the vertex labels are congruent modulo the edge weight. We introduce collapsing operations that reduce any simple graph to a single vertex, carrying with it the edge weight information. This corresponds to a sequence of surjective maps between the associated spline modules, leading to an explicit construction of a module basis in terms of the edge weights.
On the clique behavior of graphs of low degree
Published
• View Publication
• BIB
To any simple graph $G$, the clique graph operator $K$ associates the graph $K(G)$ which is the intersection graph of the maximal complete subgraphs of $G$. The iterated clique graphs are defined by $K^{0}(G)=G$ and $K^{n}(G)=K(K^{n-1}(G))$ for $n\geq 1$. If there are $m<n$ such that $K^{m}(G)$ is isomorphic to $K^{n}(G)$ we say that $G$ is convergent, otherwise, $G$ is divergent. The first example of a divergent graph was shown by Neumann-Lara in the 1970s, and is the graph of the octahedron. In this paper, we prove that among the connected graphs with maximum degree 4, the octahedron is the only one that is divergent.