graph
34585 papers tagged with this keyword
Hamilton Cycles In Primitive Graphs of Order $2rs$
Published
• View Publication
• BIB
After long term efforts, it was recently proved in \cite{DKM2} that except for the Peterson graph, every connected vertex-transitive graph of order $rs$ has a Hamilton cycle, where $r$ and $s$ are primes. A natural topic is to solve the hamiltonian problem for connected vertex-transitive graphs of $2rs$. This topic is quite trivial, as the problem is still unsolved even for that of $r=3$. In this paper, it is shown that except for the Coxeter graph, every connected vertex-transitive graph of order $2rs$ contains a Hamilton cycle, provided the automorphism group acts primitively on vertices.
Improved Lower Bounds for Multicolour Ramsey Numbers using SAT-Solvers
This paper sets out the results of a range of searches for linear and cyclic graph colourings with specific Ramsey properties. The new graphs comprise mainly 'template graphs' which can be used in a construction described by the current author in 2021 to build linear or cyclic compound graphs with inherited Ramsey properties. These graphs result in improved lower bounds for a wide range of multicolour Ramsey numbers.
Searches were carried out using relatively simple programs (written in the language `C') to generate clauses for input to the PeneLoPe and Plingeling parallel SAT-solvers. When solutions were found, the output from the solvers specified the desired graph colourings.
The majority of the graphs produced by this work are `template graphs' with parameters in the form $(k,k,3)$ or $(k,l,3)$ with $k \ne l$. Using these template graphs in familiar constructions, it has been possible to demonstrate significant improvements for lower bounds for most $R_r(k)$ for $5 \le k \le 9$ and $r \ge 4$. These improvements provide correspondingly increased lower bounds on $Γ(k) = \lim_{\substack{r \rightarrow \infty}} R{_r}(k)^{1/r}$.
We also show that $R_3(8) \ge 7174$ and $R_3(9) \ge 15041$. Other new lower bounds include $R(3,6,6) \ge 338$ and $R(3,8,8) \ge 941$, based on non-template cyclic graphs, and the interesting particular cases $R(3,4,5,5) \ge 729$ and $R(3,5,5,5) \ge 1429$.
A spreadsheet containing specimens of many of the graphs mentioned here will be attached as an ArXiv ancillary file.
An existence criterion for a cycle such that the vertex set beyond this cycle is independent
Published in Zap. Nauchn. Sem. POMI, 497, pp. 53-79, 2020 (in Russian)
• View Publication
• BIB
We prove that if $G$ is a 2-connected graph with $δ(G) \geqslant \frac{v(G) + 2}{3}$ then $G$ has a cycle $W$ such that $V(G - W)$ is independent. This result is best possible in the sense that it becomes false if $\frac{v(G) + 2}{3}$ is replaced by any smaller number.
Nowhere-zero 3-flows in nilpotently vertex-transitive graphs
Published
• View Publication
• BIB
We prove that every regular graph of valency at least four whose automorphism group contains a nilpotent subgroup acting transitively on the vertex set admits a nowhere-zero 3-flow.
Rainbow Turán Methods for Trees
The rainbow Turán number, a natural extension of the well studied traditional Turán number, was introduced in 2007 by Keevash, Mubayi, Sudakov and Verstraëte. The rainbow Turán number of a graph $H$, $ex^{*}(n,H)$, is the largest number of edges for an $n$ vertex graph $G$ which can be properly edge colored with no rainbow $H$ subgraph.
We explore the reduction method for finding upper bounds on rainbow Turán numbers, and use this to inform results for the rainbow Turán numbers of double stars, caterpillars, and perfect binary trees. In addition, we define $k$-unique colorings and the related $k$-unique Turán numbers. We provide preliminary results on this new variant on the classic problem.
When removing an independent set is optimal for reducing the chromatic number
Published in European Journal of Combinatorics Volume 115, January 2024, 103781
• View Publication
• BIB
How large must the chromatic number of a graph be, in terms of the graph's maximum degree, to ensure that the most efficient way to reduce the chromatic number by removing vertices is to remove an independent set? By a reduction to a powerful, known stability form of Brooks' theorem, we answer this question precisely, determining the threshold to within two values (and indeed sometimes a unique value) for graphs of sufficiently large maximum degree.
Cluster Algebras: Network Science and Machine Learning
Published in J.Comput.Algebra 8 (2023) 100008
• View Publication
• BIB
Cluster algebras have recently become an important player in mathematics and physics. In this work, we investigate them through the lens of modern data science, specifically with techniques from network science and machine learning. Network analysis methods are applied to the exchange graphs for cluster algebras of varying mutation types. The analysis indicates that when the graphs are represented without identifying by permutation equivalence between clusters an elegant symmetry emerges in the quiver exchange graph embedding. The ratio between number of seeds and number of quivers associated to this symmetry is computed for finite Dynkin type algebras up to rank 5, and conjectured for higher ranks. Simple machine learning techniques successfully learn to classify cluster algebras using the data of seeds. The learning performance exceeds 0.9 accuracies between algebras of the same mutation type and between types, as well as relative to artificially generated data.
Balanced Allocations in Batches: Simplified and Generalized
Published in Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2022), Pages 389--399
• View Publication
• BIB
We consider the allocation of $m$ balls (jobs) into $n$ bins (servers). In the Two-Choice process, for each of $m$ sequentially arriving balls, two randomly chosen bins are sampled and the ball is placed in the least loaded bin. It is well-known that the maximum load is $m/n+\log_2 \log n + O(1)$ w.h.p.
Berenbrink, Czumaj, Englert, Friedetzky and Nagel (2012) introduced a parallel version of this process, where $m$ balls arrive in consecutive batches of size $b=n$ each. Balls within the same batch are allocated in parallel, using the load information of the bins at the beginning of the batch. They proved that the gap of this process is $O(\log n)$ with high probability.
In this work, we present a new analysis of this setting, which is based on exponential potential functions. This allows us to both simplify and generalize the analysis of [BCE12] in different ways:
$\quad 1.$ Our analysis covers a broad class of processes. This includes not only Two-Choice, but also processes with fewer bin samples like $(1+β)$, processes which can only receive one bit of information from each bin sample and graphical allocation, where bins correspond to vertices in a graph.
$\quad 2.$ Balls may be of different weights, as long as their weights are independent samples from a distribution satisfying a technical condition on its moment generating function.
$\quad 3.$ For arbitrary batch sizes $b \geq n$, we prove a gap of $O(b/n \cdot \log n)$. For any $b \in [n , n^3]$, we improve this to $O(b/n + \log n)$ and show that it is tight for a family of processes. This implies the unexpected result that for e.g. $(1+β)$ with constant $β\in (0, 1]$, the gap is $Θ(\log n)$ for all $b \in [n,n \log n]$.
We also conduct experiments which support our theoretical results, and even hint at a superiority of less powerful processes like $(1+β)$ for large batch sizes.
Moduli of hybrid curves II: Tropical and hybrid Laplacians
The present paper is a sequel to our work on hybrid geometry of curves and their moduli spaces. We introduce a notion of hybrid Laplacian, formulate a hybrid Poisson equation, and give a mathematical meaning to the convergence both of the Laplace operator and the solutions to the Poisson equation on Riemann surfaces. As the main theorem of this paper, we then obtain a layered description of the asymptotics of Arakelov Green functions on Riemann surfaces close to the boundary of their moduli spaces. This is done in terms of a suitable notion of hybrid Green functions.
As a byproduct of our approach, we obtain other results of independent interest. In particular, we introduce higher rank canonical compactifications of fans and polyhedral spaces and use them to define the moduli space of higher rank tropical curves. Moreover, we develop the first steps of a function theory in higher rank non-Archimedean, hybrid, and tame analysis. Furthermore, we establish the convergence of the Laplace operator on metric graphs toward the tropical Laplace operator on limit tropical curves in the corresponding moduli spaces, leading to new perspectives in operator theory on metric graphs.
Our result on the Arakelov Green function is inspired by the works of several authors, in particular those of Faltings, de Jong, Wentworth and Wolpert, and solves a long-standing open problem arising from the Arakelov geometry of Riemann surfaces. The hybrid layered behavior close to the boundary of moduli spaces is expected to be a broad phenomenon and will be explored in our forthcoming work.
A novel view: edge isoperimetric methods and reliability evaluation of several kinds of conditional edge-connectivity of interconnection networks
Published
• View Publication
• BIB
Reliability evaluation and fault tolerance of an interconnection network of some parallel and distributed systems are discussed separately under various link-faulty hypotheses in terms of different $\mathcal{P}$-conditional edge-connectivity. With the help of edge isoperimetric problem's method in combinatorics, this paper mainly offers a novel and unified view to investigate the $\mathcal{P}$-conditional edge-connectivities of hamming graph $K_{L}^{n}$ with satisfying the property that each minimum $\mathcal{P}$-conditional edge-cut separates the $K_{L}^{n}$ just into two components, such as $L^{t}$-extra edge-connectivity, $t$-embedded edge-connectivity, cyclic edge-connectivity, $(L-1)t$-super edge-connectivity, $(L-1)t$-average edge-connectivity and $L^{t}$-th isoperimetric edge-connectivity. They share the same values in form of $(L-1)(n-t)L^{t}$ (except for cyclic edge-connectivity), which equals to the minimum number of links-faulty resulting in an $L$-ary-$n$-dimensional sub-layer from $K_{L}^{n}$. Besides, we also obtain the exact values of $h$-extra edge-connectivity and $h$-th isoperimetric edge-connectivity of hamming graph $K_{L}^{n}$ for each $h\leq L^{\lfloor {\frac{n}{2}} \rfloor}$. For the case $L=2$, $K_2^n=Q_n$ is $n$-dimensional hypercube. Our results can be applied to more generalized class of networks, called $n$-dim-ensional bijective connection networks, which contains hypercubes, twisted cubes, crossed cubes, Möbius cubes, locally twisted cubes and so on. Our results improve several previous results on this topic.
On the Binary and Boolean Rank of Regular Matrices
Published
• View Publication
• BIB
A $0,1$ matrix is said to be regular if all of its rows and columns have the same number of ones. We prove that for infinitely many integers $k$, there exists a square regular $0,1$ matrix with binary rank $k$, such that the Boolean rank of its complement is $k^{\widetildeΩ(\log k)}$. Equivalently, the ones in the matrix can be partitioned into $k$ combinatorial rectangles, whereas the number of rectangles needed for any cover of its zeros is $k^{\widetildeΩ(\log k)}$. This settles, in a strong form, a question of Pullman (Linear Algebra Appl., 1988) and a conjecture of Hefner, Henson, Lundgren, and Maybee (Congr. Numer., 1990). The result can be viewed as a regular analogue of a recent result of Balodis, Ben-David, Göös, Jain, and Kothari (FOCS, 2021), motivated by the clique vs. independent set problem in communication complexity and by the (disproved) Alon-Saks-Seymour conjecture in graph theory. As an application of the produced regular matrices, we obtain regular counterexamples to the Alon-Saks-Seymour conjecture and prove that for infinitely many integers $k$, there exists a regular graph with biclique partition number $k$ and chromatic number $k^{\widetildeΩ(\log k)}$.
Grid Induced Minor Theorem for Graphs of Small Degree
Published in Journal of Combinatorial Theory, Series B 160 (2023) 206-214
• View Publication
• BIB
A graph $H$ is an induced minor of a graph $G$ if $H$ can be obtained from $G$ by vertex deletions and edge contractions. We show that there is a function $f(k, d) = O(k^{10} + 2^{d^5})$ so that if a graph has treewidth at least $f(k, d)$ and maximum degree at most $d$, then it contains a $k \times k$-grid as an induced minor. This proves the conjecture of Aboulker, Adler, Kim, Sintiari, and Trotignon [Eur. J. Comb., 98, 2021] that any graph with large treewidth and bounded maximum degree contains a large wall or the line graph of a large wall as an induced subgraph. It also implies that for any fixed planar graph $H$, there is a subexponential time algorithm for maximum weight independent set on $H$-induced-minor-free graphs.
On the choosability with separation of planar graphs and its correspondence colouring analogue
A list assignment $L$ for a graph $G$ is an $(\ell,k)$-list assignment if $|L(v)|\geq \ell$ for each $v \in V(G)$ and $|L(u) \cap L(v)| \leq k$ for each $uv \in E(G)$. We say $G$ is $(\ell,k)$-choosable if it admits an $L$-colouring for every $(\ell, k)$-list assignment $L$. We prove that if $G$ is a planar graph with $(4,2)$-list assignment $L$ and for every triangle $T \subseteq G$ we have that $|\bigcap_{v \in V(T)} L(v)| \neq 2$, then $G$ is $L$-colourable. In fact, we prove a slightly stronger result: if $G$ contains a clique $H$ such that $V(H) \cap V(T) \neq \emptyset$ for every triangle $T \subseteq G$ with $|\bigcap_{v \in V(T)} L(v)| = 2$, then $G$ is $L$-colourable. Additionally, we give a counterexample to the correspondence colouring analogue of $(4,2)$-choosability for planar graphs.
Domination and independence number of large $2$-crossing-critical graphs
After $2$-crossing-critical graphs were characterized in 2016, their most general subfamily, large $3$-connected $2$-crossing-critical graphs, has attracted separate attention. This paper presents sharp upper and lower bounds for their domination and independence number.
Proper conflict-free list-coloring, odd minors, subdivisions, and layered treewidth
Published in Discrete Math. 347 (2024), 113668
• View Publication
• BIB
Proper conflict-free coloring is an intermediate notion between proper coloring of a graph and proper coloring of its square. It is a proper coloring such that for every non-isolated vertex, there exists a color appearing exactly once in its (open) neighborhood. Typical examples of graphs with large proper conflict-free chromatic number include graphs with large chromatic number and bipartite graphs isomorphic to the $1$-subdivision of graphs with large chromatic number. In this paper, we prove two rough converse statements that hold even in the list-coloring setting. The first is for sparse graphs: for every graph $H$, there exists an integer $c_H$ such that every graph with no subdivision of $H$ is (properly) conflict-free $c_H$-choosable. The second applies to dense graphs: every graph with large conflict-free choice number either contains a large complete graph as an odd minor or contains a bipartite induced subgraph that has large conflict-free choice number. These give two incomparable (partial) answers of a question of Caro, Petruševski and Škrekovski. We also prove quantitatively better bounds for minor-closed families, implying some known results about proper conflict-free coloring and odd coloring in the literature. Moreover, we prove that every graph with layered treewidth at most $w$ is (properly) conflict-free $(8w-1)$-choosable. This result applies to $(g,k)$-planar graphs, which are graphs whose coloring problems have attracted attention recently.
A characteristic polynomial of the Seidel matrix over $\mathbb{F}_3$
In this paper, we consider the condition when the characteristic polynomials of the Seidel matrix of the graphs are decomposed into products of linear polynomials over $\mathbb{F}_3$. We also show the equality over $\mathbb{F}_3$ between the characteristic polynomial of the Seidel matrix of a graph and the characteristic polynomial of the adjacency matrix of that graph.
On independent domination in direct products
Published
• View Publication
• BIB
In \cite{nr-1996} Nowakowski and Rall listed a series of conjectures involving several different graph products. In particular, they conjectured that $i(G\times H) \ge i(G)i(H)$ where $i(G)$ is the independent domination number of $G$ and $G\times H$ is the direct product of graphs $G$ and $H$. We show this conjecture is false, and, in fact, construct pairs of graphs for which $\min\{i(G), i(H)\} - i(G\times H)$ is arbitrarily large. We also give the exact value of $i(G\times K_n)$ when $G$ is either a path or a cycle.
On Factors with Prescribed Degrees in Bipartite Graphs
Published
• View Publication
• BIB
We establish a new criterion for a bigraph to have a subgraph with prescribed degree conditions. We show that the bigraph $G[X,Y]$ has a spanning subgraph $F$ such that $g(x)\leq deg_F(x) \leq f(x)$ for $x\in X$ and $deg_F(y) \leq f(y)$ for $y\in Y$ if and only if $\sum\nolimits_{b\in B} f(b)\geq \sum\nolimits_{a\in A} \max \big\{0, g(a) - deg_{G-B}(a)\big\}$ for $A\subseteq X, B\subseteq Y$. Using Folkman-Fulkerson's Theorem, Cymer and Kano found a different criterion for the existence of such a subgraph (Graphs Combin. 32 (2016), 2315--2322). Our proof is self-contained and relies on alternating path technique. As an application, we prove the following extension of Hall's theorem. A bigraph $G[X,Y]$ in which each edge has multiplcity at least $m$ has a subgraph $F$ with $g(x)\leq deg_F(x)\leq f(x)\leq deg(x)$ for $x\in X$, $deg_F(y)\leq m$ for $y\in Y$ if and only if $\sum_{y\in N_G(S)}f(y)\geq \sum_{x\in S}g(x)$ for $S\subseteq X$.
The Turán number of the Cartesian product of graphs
Recently, Domagoj Bradač, Oliver Janzer, Benny Sudakov and István Tomon have proved that the Turán number of $2$-dimensional grids is $Θ(n^{3/2})$, or more general, $\mathrm{ex}\left(n,T\square{P}\right)=Θ(n^{3/2})$, where $T$ is a non-trivial tree, $P$ is a non-trivial path, and $T\square{P}$ denotes the Cartesian product. In their proof, they exhibited a novel way of using the tensor power trick, which has lots of potential in Turán type problems. By the end of their proof, they conjectured that $\mathrm{ex}\left(n,T\square{R}\right)=Θ(n^{3/2})$ for non-trivial trees $T$ and $R$. This paper is an extension based on their work, we successfully prove the above conjecture by adapting their approach.
A note on the number of triangles in graphs without the suspension of a path on four vertices
The suspension of the path $P_4$ consists of a $P_4$ and an additional vertex connected to each of the four vertices, and is denoted by $\hat{P_4}$. The largest number of triangles in a $\hat{P_4}$-free $n$-vertex graph is denoted by $ex(n,K_3,\hat{P_4})$. Mubayi and Mukherjee in 2020 showed that $ ex(n,K_3,\hat{P_4})= n^2/8+O(n)$. We show that for sufficiently large $n$, $ex(n,K_3,\hat{P_4})=\lfloor n^2/8\rfloor$.