An almost linear time algorithm testing whether the Markoff graph modulo $p$ is connected

Colby Austin Brown

2024-01-26

Abstract:The Markoff graph modulo $p$ is known to be connected for all but finitely many primes $p$ (see Eddy, Fuchs, Litman, Martin, Tripeny, and Vanyo [

Number Theory

What problem does this paper attempt to address?

Connectivity of Markoff mod-p graphs and maximal divisors

Jillian Eddy,Elena Fuchs,Matthew Litman,Daniel Martin,Nico Tripeny

2023-08-15

Abstract:Markoff mod-$p$ graphs are conjectured to be connected for all primes $p$. In this paper, we use results of Chen and Bourgain, Gamburd, and Sarnak to confirm the conjecture for all $p > 3.448\cdot10^{392}$. We also provide a method that quickly verifies connectivity for many primes below this bound. In our study of Markoff mod-$p$ graphs we introduce the notion of \emph{maximal divisors} of a number. We prove sharp asymptotic and explicit upper bounds on the number of maximal divisors, which ultimately improves the Markoff graph $p$-bound by roughly 140 orders of magnitude as compared with an approach using all divisors.

Number Theory
A Planarity Test via Construction Sequences

Jens M. Schmidt

DOI: https://doi.org/10.48550/arXiv.1202.5003

2012-02-23

Abstract:Optimal linear-time algorithms for testing the planarity of a graph are well-known for over 35 years. However, these algorithms are quite involved and recent publications still try to give simpler linear-time tests. We give a simple reduction from planarity testing to the problem of computing a certain construction of a 3-connected graph. The approach is different from previous planarity tests; as key concept, we maintain a planar embedding that is 3-connected at each point in time. The algorithm runs in linear time and computes a planar embedding if the input graph is planar and a Kuratowski-subdivision otherwise.

Data Structures and Algorithms,Discrete Mathematics
Conditions for a graph to have a connected even [2, 2s]-factor

Jun Yin,Liming Xiong

2015-01-01

Utilitas mathematica

Abstract:A graph is locally connected if every vertex neighborhood induces a connected subgraph. We show that if G is a connected, locally connected K-1,K-s+2-free graph of order p >= 3, then G has a connected even [2, 2s]-factor.
Recognizing and testing isomorphism of Cayley graphs over an abelian group of order $4p$ in polynomial time

Roman Nedela,Ilia Ponomarenko

DOI: https://doi.org/10.1007/978-3-030-32808-5

2017-06-20

Abstract:We construct a polynomial-time algorithm that given a graph $X$ with $4p$ vertices ($p$ is prime), finds (if any) a Cayley representation of $X$ over the group $C_2\times C_2\times C_p$. This result, together with the known similar result for circulant graphs, shows that recognising and testing isomorphism of Cayley graphs over an abelian group of order $4p$ can be done in polynomial time.

Combinatorics,Discrete Mathematics
Polynomial Time Symmetry and Isomorphism Testing for Connected Graphs

Matthew Delacorte

DOI: https://doi.org/10.48550/arXiv.cs/0612001

IF: 0.961

2006-12-01

Discrete Mathematics

Abstract:We use the concept of a Kirchhoff resistor network (alternatively random walk on a network) to probe connected graphs and produce symmetry revealing canonical labelings of the graph(s) nodes and edges.
Parallel Connectivity in Edge-Colored Complete Graphs: Complexity Results

Rachid Saad

DOI: https://doi.org/10.1007/s00373-023-02747-4

2024-02-11

Graphs and Combinatorics

Abstract:Given an edge-colored graph , a set of p pairs of vertices together with p numbers associated with the pairs, can we find a set of alternating paths linking the pairs , , in their respective numbers ? Such is the question addressed in this paper. The problem being highly intractable, we consider a restricted version of it to edge-colored complete graphs. Even so restricted, the problem remains intractable if the paths/trails must be edge-disjoint, but it ceases to be so if the paths/trails are to be vertex-disjoint, as is proved in this paper. An approximation algorithm is presented in the end, with a performance ratio asymptotically close to 3/4 for a restricted version of the problem.

mathematics
The complexity of counting homomorphisms to cactus graphs modulo 2

Andreas Göbel,Leslie Ann Goldberg,David Richerby

DOI: https://doi.org/10.1145/2635825

2014-08-01

ACM Transactions on Computation Theory

Abstract:A homomorphism from a graph G to a graph H is a function from V ( G ) to V ( H ) that preserves edges. Many combinatorial structures that arise in mathematics and in computer science can be represented naturally as graph homomorphisms and as weighted sums of graph homomorphisms. In this article, we study the complexity of counting homomorphisms modulo 2. The complexity of modular counting was introduced by Papadimitriou and Zachos and it has been pioneered by Valiant who famously introduced a problem for which counting modulo 7 is easy but counting modulo 2 is intractable. Modular counting provides a rich setting in which to study the structure of homomorphism problems. In this case, the structure of the graph H has a big influence on the complexity of the problem. Thus, our approach is graph-theoretic. We give a complete solution for the class of cactus graphs, which are connected graphs in which every edge belongs to at most one cycle. Cactus graphs arise in many applications such as the modelling of wireless sensor networks and the comparison of genomes. We show that, for some cactus graphs H , counting homomorphisms to H modulo 2 can be done in polynomial time. For every other fixed cactus graph H , the problem is complete in the complexity class ⊕ P , which is a wide complexity class to which every problem in the polynomial hierarchy can be reduced (using randomised reductions). Determining which H lead to tractable problems can be done in polynomial time. Our result builds upon the work of Faben and Jerrum, who gave a dichotomy for the case in which H is a tree.
Counting connected partitions of graphs

Yair Caro,Balázs Patkós,Zsolt Tuza,Máté Vizer

DOI: https://doi.org/10.1002/jgt.23127

2024-06-03

Journal of Graph Theory

Abstract:Motivated by the theorem of Győri and Lovász, we consider the following problem. For a connected graph G on n vertices and m edges determine the number P(G,k) of unordered solutions of positive integers ∑i=1kmi=m such that every mi is realized by a connected subgraph Hi of G with mi edges. We also consider the vertex‐partition analogue. We prove various lower bounds on P(G,k) as a function of the number n of vertices in G , as a function of the average degree d of G , and also as the size CMCr(G) of r ‐partite connected maximum cuts of G . Those three lower bounds are tight up to a multiplicative constant. We also prove that the number π(G,k) of unordered k ‐tuples with ∑i=1kni=n , that are realizable by vertex partitions into k connected parts, is at least Ω(dk−1) .

mathematics
Planar Graphs: Random Walks and Bipartiteness Testing

Artur Czumaj,Morteza Monemizadeh,Krzysztof Onak,Christian Sohler

DOI: https://doi.org/10.48550/arXiv.1407.2109

2018-12-22

Abstract:We initiate the study of property testing in arbitrary planar graphs. We prove that bipartiteness can be tested in constant time, improving on the previous bound of $\tilde{O}(\sqrt{n})$ for graphs on $n$ vertices. The constant-time testability was only known for planar graphs with bounded degree. Our algorithm is based on random walks. Since planar graphs have good separators, i.e., bad expansion, our analysis diverges from standard techniques that involve the fast convergence of random walks on expanders. We reduce the problem to the task of detecting an odd-parity cycle in a multigraph induced by constant-length cycles. We iteratively reduce the length of cycles while preserving the detection probability, until the multigraph collapses to a collection of easily discoverable self-loops. Our approach extends to arbitrary minor-free graphs. We also believe that our techniques will find applications to testing other properties in arbitrary minor-free graphs.

Data Structures and Algorithms
Canonical labelling of sparse random graphs

Oleg Verbitsky,Maksim Zhukovskii

2024-10-02

Abstract:We show that if $p=O(1/n)$, then the Erdős-Rényi random graph $G(n,p)$ with high probability admits a canonical labeling computable in time $O(n\log n)$. Combined with the previous results on the canonization of random graphs, this implies that $G(n,p)$ with high probability admits a polynomial-time canonical labeling whatever the edge probability function $p$. Our algorithm combines the standard color refinement routine with simple post-processing based on the classical linear-time tree canonization. Noteworthy, our analysis of how well color refinement performs in this setting allows us to complete the description of the automorphism group of the 2-core of $G(n,p)$.

Discrete Mathematics,Combinatorics
Almost Cohen–Macaulay bipartite graphs and connected in codimension two

Amir Mafi,Dler Naderi

DOI: https://doi.org/10.1142/s0219498825501865

2024-02-16

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. In this paper, we study almost Cohen–Macaulay bipartite graphs. In particular, we prove that if [math] is an almost Cohen–Macaulay bipartite graph with at least one vertex of positive degree, then there is a vertex of [math]. In particular, if [math] is an almost Cohen–Macaulay bipartite graph and [math] is a vertex of degree one of [math] and [math] its adjacent vertex, then [math] is almost Cohen–Macaulay. Also, we show that an unmixed Ferrers graph is almost Cohen–Macaulay if and only if it is connected in codimension two. Moreover, we give some examples.

mathematics, applied
Testing Simultaneous Planarity when the Common Graph is 2-Connected

Bernhard Haeupler,Krishnam Raju Jampani,Anna Lubiw

DOI: https://doi.org/10.48550/arXiv.1009.4517

2011-12-09

Abstract:Two planar graphs G1 and G2 sharing some vertices and edges are `simultaneously planar' if they have planar drawings such that a shared vertex [edge] is represented by the same point [curve] in both drawings. It is an open problem whether simultaneous planarity can be tested efficiently. We give a linear-time algorithm to test simultaneous planarity when the two graphs share a 2-connected subgraph. Our algorithm extends to the case of k planar graphs where each vertex [edge] is either common to all graphs or belongs to exactly one of them.

Data Structures and Algorithms
Highly Connected Graphs Have Highly Connected Spanning Bipartite Subgraphs

Raphael Yuster

DOI: https://doi.org/10.37236/12084

2024-03-22

The Electronic Journal of Combinatorics

Abstract:For integers $k,n$ with $1 \le k \le n/2$, let $f(k,n)$ be the smallest integer $t$ such that every $t$-connected $n$-vertex graph has a spanning bipartite $k$-connected subgraph. A conjecture of Thomassen asserts that $f(k,n)$ is upper bounded by some function of $k$. The best upper bound for $f(k,n)$ is by Delcourt and Ferber who proved that $f(k,n) \le 10^{10}k^3 \log n$. Here it is proved that $f(k,n) \le 22k^2 \log n$. For larger $k$, stronger bounds hold. In the linear regime, it is proved that for any $0 < c < \frac{1}{2}$ and all sufficiently large $n$, $f(\lfloor cn \rfloor, n) \le 30\sqrt{c}n$. In the polynomial regime, it is proved that for any $\frac{1}{3} \le \alpha < 1$ and all sufficiently large $n$, $f(\lfloor n^\alpha \rfloor ,n) \le 9n^{(1+\alpha)/2}$.

mathematics, applied
On Hamilton paths in vertex-transitive graphs of order $10p$

Shaofei Du,Wenjuan Luo,Hao Yu

2024-11-26

Abstract:It was shown by Kutnar, Maru\v si\v c and Zhang in 2012 that every connected vertex-transitive graph of order $10p$, where $p$ is a prime and $p\ne 7$, contains a Hamilton path, except for graphs $X$ arising from the action of PSL$(2, s^m)$ on cosets of $\mathbb{Z}_s^m\rtimes \mathbb{Z}_{\frac{s^m-1}{10}}$, where $s$ is a prime. In this paper, Hamilton cycles of these exceptions $X$ will be found.

Combinatorics
Clique factors in randomly perturbed graphs: the transition points

Sylwia Antoniuk,Nina Kamčev,Christian Reiher

2024-10-15

Abstract:A randomly perturbed graph $G^p = G_\alpha \cup G(n,p)$ is obtained by taking a deterministic $n$-vertex graph $G_\alpha = (V, E)$ with minimum degree $\delta(G)\geq \alpha n$ and adding the edges of the binomial random graph $G(n,p)$ defined on the same vertex set $V$. For which value $p$ (depending on $\alpha$) does the graph $G^p$ contain a $K_r$-factor (a spanning collection of vertex-disjoint $K_r$-copies) with high probability? The order of magnitude of the minimal value of $p$ has been determined whenever $\alpha \neq 1- \frac{s}{r}$ for an integer $s$ (see Han, Morris, and Treglown [RSA, 2021] and Balogh, Treglown, and Wagner [CPC, 2019]). We establish the minimal probability $p_s$ (up to a constant factor) for all values of $\alpha = 1-\frac{s}{r} \leq \frac 12$, and show that the threshold exhibits a polynomial jump at $\alpha = 1-\frac{s}{r}$ compared to the surrounding intervals. An extremal example $G_{\alpha}$ which shows that $p_s$ is optimal up to a constant factor differs from the previous (usually multipartite) examples in containing a pseudorandom induced subgraph.

Combinatorics
A proof of the linearity conjecture for k-blocking sets in PG(n, p3), p prime

Michel Lavrauw,Leo Storme,Geertrui Van de Voorde

DOI: https://doi.org/10.48550/arXiv.1201.3296

2012-01-16

Abstract:In this paper, we show that a small minimal k-blocking set in PG(n, q3), q = p^h, h >= 1, p prime, p >=7, intersecting every (n-k)-space in 1 (mod q) points, is linear. As a corollary, this result shows that all small minimal k-blocking sets in PG(n, p^3), p prime, p >=7, are Fp-linear, proving the linearity conjecture (see [7]) in the case PG(n, p3), p prime, p >= 7.

Combinatorics
Graphs with Large Steiner Number

Raj, M. S. Malchijah

DOI: https://doi.org/10.1007/s11253-024-02354-3

2024-10-26

Ukrainian Mathematical Journal

Abstract:In 2002, G. Chartrand and P. Zhang [ Discrete Math. , 242 , 4 (2002)] characterized the connected graphs G of order p ≥ 3 with Steiner number p, p − 1 , or 2 We characterize all connected graphs G of order p ≥ 4 with Steiner number s ( G ) = p − 2. In addition, we obtain some sharp Nordhaus–Gaddum bounds for the Steiner number of connected graphs whose complement is also connected.

mathematics, applied
Smoothed analysis for graph isomorphism

Michael Anastos,Matthew Kwan,Benjamin Moore

2024-10-10

Abstract:There is no known polynomial-time algorithm for graph isomorphism testing, but elementary combinatorial "refinement" algorithms seem to be very efficient in practice. Some philosophical justification is provided by a classical theorem of Babai, Erdős and Selkow: an extremely simple polynomial-time combinatorial algorithm (variously known as "naïve refinement", "naïve vertex classification", "colour refinement" or the "1-dimensional Weisfeiler-Leman algorithm") yields a so-called canonical labelling scheme for "almost all graphs". More precisely, for a typical outcome of a random graph $G(n,1/2)$, this simple combinatorial algorithm assigns labels to vertices in a way that easily permits isomorphism-testing against any other graph. We improve the Babai-Erdős-Selkow theorem in two directions. First, we consider randomly perturbed graphs, in accordance with the smoothed analysis philosophy of Spielman and Teng: for any graph $G$, naïve refinement becomes effective after a tiny random perturbation to $G$ (specifically, the addition and removal of $O(n\log n)$ random edges). Actually, with a twist on naïve refinement, we show that $O(n)$ random additions and removals suffice. These results significantly improve on previous work of Gaudio-Rácz-Sridhar, and are in certain senses best-possible. Second, we complete a long line of research on canonical labelling of random graphs: for any $p$ (possibly depending on $n$), we prove that a random graph $G(n,p)$ can typically be canonically labelled in polynomial time. This is most interesting in the extremely sparse regime where $p$ has order of magnitude $c/n$; denser regimes were previously handled by Bollobás, Czajka-Pandurangan, and Linial-Mosheiff. Our proof also provides a description of the automorphism group of a typical outcome of $G(n,p_n)$ (slightly correcting a prediction of Linial-Mosheiff).

Combinatorics,Computational Complexity,Data Structures and Algorithms
Algorithm for connectivity queries on real algebraic curves

Md Nazrul Islam,Adrien Poteaux,Rémi Prébet

DOI: https://doi.org/10.1145/3597066.3597081

2023-07-11

Abstract:We consider the problem of answering connectivity queries on a real algebraic curve. The curve is given as the real trace of an algebraic curve, assumed to be in generic position, and being defined by some rational parametrizations. The query points are given by a zero-dimensional parametrization. We design an algorithm which counts the number of connected components of the real curve under study, and decides which query point lie in which connected component, in time log-linear in $N^6$, where $N$ is the maximum of the degrees and coefficient bit-sizes of the polynomials given as input. This matches the currently best-known bound for computing the topology of real plane curves. The main novelty of this algorithm is the avoidance of the computation of the complete topology of the curve.

Symbolic Computation,Algebraic Geometry
Constant-time connectivity tests

Philipp Klaus Krause

DOI: https://doi.org/10.48550/arXiv.2010.04527

2022-09-23

Abstract:We present implementations of constant-time algorithms for connectivity tests and related problems. Some are implementations of slightly improved variants of previously known algorithms; for other problems we present new algorithms that have substantially better runtime than previously known algorithms (estimates of the distance to and tolerant testers for connectivity, 2-edge-connectivity, 3-edge-connectivity, eulerianity).

Data Structures and Algorithms,Computational Complexity,Discrete Mathematics

An almost linear time algorithm testing whether the Markoff graph modulo $p$ is connected

Connectivity of Markoff mod-p graphs and maximal divisors

A Planarity Test via Construction Sequences

Conditions for a graph to have a connected even [2, 2s]-factor

Recognizing and testing isomorphism of Cayley graphs over an abelian group of order $4p$ in polynomial time

Polynomial Time Symmetry and Isomorphism Testing for Connected Graphs

Parallel Connectivity in Edge-Colored Complete Graphs: Complexity Results

The complexity of counting homomorphisms to cactus graphs modulo 2

Counting connected partitions of graphs

Planar Graphs: Random Walks and Bipartiteness Testing

Canonical labelling of sparse random graphs

Almost Cohen–Macaulay bipartite graphs and connected in codimension two

Testing Simultaneous Planarity when the Common Graph is 2-Connected

Highly Connected Graphs Have Highly Connected Spanning Bipartite Subgraphs

On Hamilton paths in vertex-transitive graphs of order $10p$

Clique factors in randomly perturbed graphs: the transition points

A proof of the linearity conjecture for k-blocking sets in PG(n, p3), p prime

Graphs with Large Steiner Number

Smoothed analysis for graph isomorphism

Algorithm for connectivity queries on real algebraic curves

Constant-time connectivity tests