Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Planar #CSP Equality Corresponds to Quantum Isomorphism -- A Holant Viewpoint
Published
• View Publication
• BIB
Recently, Mančinska and Roberson proved that two graphs $G$ and $G'$ are quantum isomorphic if and only if they admit the same number of homomorphisms from all planar graphs. We extend this result to planar #CSP with any pair of sets $\mathcal{F}$ and $\mathcal{F}'$ of real-valued, arbitrary-arity constraint functions. Graph homomorphism is the special case where each of $\mathcal{F}$ and $\mathcal{F}'$ contains a single symmetric 0-1-valued binary constraint function. Our treatment uses the framework of planar Holant problems. To prove that quantum isomorphic constraint function sets give the same value on any planar #CSP instance, we apply a novel form of holographic transformation of Valiant, using the quantum permutation matrix $\mathcal{U}$ defining the quantum isomorphism. Due to the noncommutativity of $\mathcal{U}$'s entries, it turns out that this form of holographic transformation is only applicable to planar Holant. To prove the converse, we introduce the quantum automorphism group Qut$(\mathcal{F})$ of a set of constraint functions $\mathcal{F}$, and characterize the intertwiners of Qut$(\mathcal{F})$ as the signature matrices of planar Holant$(\mathcal{F}\,|\,\mathcal{EQ})$ quantum gadgets. Then we define a new notion of (projective) connectivity for constraint functions and reduce arity while preserving the quantum automorphism group. Finally, to address the challenges posed by generalizing from 0-1 valued to real-valued constraint functions, we adapt a technique of Lovász in the classical setting for isomorphisms of real-weighted graphs to the setting of quantum isomorphisms.
Analysis of the Lifting Graph
The `lifting` or `splitting-off` operation on graphs is performed by deleting two edges sv and sw having a common end s and adding a new edge between v and w. Such a lift is considered good if it preserves a certain local edge-connectivity between the pairs of vertices different from the vertex s at which lifting takes place. The operation is important for inductive proofs concerning edge-connectivity, and can be seen widely applied in the literature on connectivity augmentation, network design, orientation (of finite and infinite graphs), and edge-disjoint linkage. It was studied by Lovasz, who used the term splitting-off, and Mader, who used the term lifting. They proved the first two significant results on it, in 1976 and 1978 respectively, showing the existence of a good lift under certain conditions. Then it was used and studied by other researchers, through the 1980s, both for undirected and directed graphs. In particular, it was investigated further by Frank who proved in 1992 that there are floor of deg(s)/2 disjoint good lifts. Motivated by the applications, a new method for studying the operation was introduced by Jordan in the late 1990s. He defined and studied the structure of the `non-admissibility` graph, which is the complement of the lifting graph; the subject of this paper. He proved a number of significant structural results on it, which he applied to connectivity augmentation. Independently, in 2016, Thomassen defined the `lifting graph`, and called its complement the `bad graph`, to apply it in finding orientations of infinite graphs. Later in the same year, Thomassen with Ok and Richter extended the study, and applied their results to linkages in infinite graphs.
Here we give a more comprehensive analysis of the structure of the lifting graph.
Exact Phase Transitions for Stochastic Block Models and Reconstruction on Trees
Published
• View Publication
• BIB
In this paper we continue to rigorously establish the predictions in ground breaking work in statistical physics by Decelle, Krzakala, Moore, Zdeborová (2011) regarding the block model, in particular in the case of $q=3$ and $q=4$ communities.
We prove that for $q=3$ and $q=4$ there is no computational-statistical gap if the average degree is above some constant by showing it is information theoretically impossible to detect below the Kesten-Stigum bound. The proof is based on showing that for the broadcast process on Galton-Watson trees, reconstruction is impossible for $q=3$ and $q=4$ if the average degree is sufficiently large. This improves on the result of Sly (2009), who proved similar results for regular trees for $q=3$. Our analysis of the critical case $q=4$ provides a detailed picture showing that the tightness of the Kesten-Stigum bound in the antiferromagnetic case depends on the average degree of the tree. We also prove that for $q\geq 5$, the Kestin-Stigum bound is not sharp.
Our results prove conjectures of Decelle, Krzakala, Moore, Zdeborová (2011), Moore (2017), Abbe and Sandon (2018) and Ricci-Tersenghi, Semerjian, and Zdeborová (2019). Our proofs are based on a new general coupling of the tree and graph processes and on a refined analysis of the broadcast process on the tree.
Fractal dimensions for Iterated Graph Systems
Building upon [1], this study aims to introduce fractal geometry into graph theory, and to establish a potential theoretical foundation for complex networks. Specifically, we employ the method of substitution to create and explore fractal-like graphs, termed deterministic or random iterated graph systems. While the concept of substitution is commonplace in fractal geometry and dynamical systems, its analysis in the context of graph theory remains a nascent field.
By delving into the properties of these systems, including diameter and distal, we derive two primary outcomes. Firstly, within the deterministic iterated graph systems, we establish that the Minkowski dimension and Hausdorff dimension align analytically through explicit formulae. Secondly, in the case of random iterated graph systems, we demonstrate that almost every graph limit exhibits identical Minkowski and Hausdorff dimensions numerically by their Lyapunov exponents.
The exploration of iterated graph systems holds the potential to unveil novel directions. These findings not only, mathematically, contribute to our understanding of the interplay between fractals and graphs, but also, physically, suggest promising avenues for applications for complex networks.
The maximum number of cliques in graphs with bounded odd circumference
Published
• View Publication
• BIB
In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Turán-type result is an extension of the celebrated Erdős and Gallai theorem and a strengthening of Luo's recent result. The same bound for graphs with bounded even circumferences is a trivial application of the theorem of Li and Ning.
A note on the random triadic process
Published
• View Publication
• BIB
For a fixed integer $r\geqslant 3$, let $\mathbb{H}_r(n,p)$ be a random $r$-uniform hypergraph on the vertex set $[n]$, where each $r$-set is an edge randomly and independently with probability $p$. The random $r$-generalized triadic process starts with a complete bipartite graph $K_{r-2,n-r+2}$ on the same vertex set, chooses two distinct vertices $x$ and $y$ uniformly at random and iteratively adds $\{x,y\}$ as an edge if there is a subset $Z$ with size $r-2$, denoted as $Z=\{z_1,\cdots,z_{r-2}\}$, such that $\{x,z_i\}$ and $\{y,z_i\}$ for $1\leqslant i\leqslant r-2$ are already edges in the graph and $\{x,y, z_1,\cdots,z_{r-2}\}$ is an edge in $\mathbb{H}_r(n,p)$. The random triadic process is an abbreviation for the random $3$-generalized triadic process. Korándi et al. proved a sharp threshold probability for the propagation of the random triadic process, that is, if $p= cn^{ - \frac 12}$ for some positive constant $c$, with high probability, the triadic process reaches the complete graph when $c> \frac 12$ and stops at $O(n^{\frac 32})$ edges when $c< \frac 12$. In this note, we consider the final size of the random $r$-generalized triadic process when $p=o( n^{- \frac 12}\log^{ α(3-r)} n)$ with a constant $α> \frac 12$. We show that the generated graph of the process essentially behaves like $\mathbb{G}(n,p)$. The final number of added edges in the process, with high probability, equals $ \frac {1}{2}n^{2}p(1\pm o(1))$ provided that $p=ω(n^{-2})$. The results partially complement the ones on the case of $r=3$.
On the Paley graph of a quadratic character
Paley graphs form a nice link between the distribution of quadratic residues and graph theory. These graphs possess remarkable properties which make them useful in several branches of mathematics. Classically, for each prime number $p$ we can construct the corresponding Paley graph using quadratic and non-quadratic residues modulo $p$. Therefore, Paley graphs are naturally associated with the Legendre symbol at $p$ which is a quadratic Dirichlet character of conductor $p$. In this article, we introduce the generalized Paley graphs. These are graphs that are associated with a general quadratic Dirichlet character. We will then provide some of their basic properties. In particular, we describe their spectrum explicitly. We then use those generalized Paley graphs to construct some new families of Ramanujan graphs. Finally, using special values of $L$-functions, we provide an effective upper bound for their Cheeger number.
A generalization of the Murnaghan-Nakayama rule for $K$-$k$-Schur and $k$-Schur functions
Published in International Mathematics Research Notices, volume 2024, issue 6 (2024), 4738-4766
• View Publication
• BIB
The $K$-$k$-Schur functions and $k$-Schur functions appeared in the study of $K$-theoretic and affine Schubert Calculus as polynomial representatives of Schubert classes. In this paper, we introduce a new family of symmetric functions $\mathcal{F}_λ^{(k)}$, that generalizes the constructions via the Pieri rule of $K$-$k$-Schur functions and $ k$-Schur functions. Then we obtain the Murnaghan-Nakayama rule for the generalized functions. The rule is described explicitly in the cases of $K$-$k$-Schur functions and $k$-Schur functions, with concrete descriptions and algorithms for coefficients. Our work recovers the result of Bandlow, Schilling, and Zabrocki for $k$-Schur functions, and explains it as a degeneration of the rule for $K$-$k$-Schur functions. In particular, many other special cases and connections promise to be detailed in the future.
Comparing list-color functions of uniform hypergraphs with their chromatic polynomials (III)
For a hypergraph ${\cal H}$, let $P({\cal H},k)$ and $P_l({\cal H},k)$ be its chromatic polynomial and list-color function respectively, and let $τ'({\cal H})$ be the least non-negative integer $q$ such that $P({\cal H},k)=P_l({\cal H},k)$ holds for all integers $k\ge q$. In this article, we show that for any $r$-uniform hypergraph ${\cal H}$ of order $n$ and size $m$ and any $k$-assignment $L$ of ${\cal H}$, where $r\ge 3$, $P({\cal H},L)-P({\cal H},k)\ge \min \{0.02k, k-(m-1)\} k^{n-r-1}\sum_{e\in E({\cal H})} \left ( k-\left |\bigcap_{v\in e}L(v)\right | \right )$ holds for $k\ge m-1\ge 4$. It follows that $τ'({\cal H})\le m-1$, improving the current best result on $τ'({\cal H})$.
Restriction on minimum degree in the contractible sets problem
Published in Zap. Nauchn. Sem. POMI, 518, 114-123, 2022
• View Publication
• BIB
Let $G$ be a $3$-connected graph. A set $W \subset V(G)$ is contractible if $G(W)$ is connected and $G - W$ is a $2$-connected graph. In 1994, McCuaig and Ota formulated the conjecture that, for any $k \in \mathbb{N}$, there exists $m \in \mathbb{N}$ such that any 3-connected graph $G$ with $v(G) \geqslant m$ has a $k$-vertex contractible set. In this paper we prove that, for any $k \geqslant 5$, the assertion of the conjecture holds if $δ(G) \geqslant \left[ \frac{2k + 1}{3} \right] + 2$.
A Study of Hypergraph Using Null Spaces of the Incidence Matrix and its Transpose
In this study, we explore the substructures of a hypergraph that lead us to linearly dependent rows (or columns) in the incidence matrix of the hypergraph.
These substructures are closely related to the spectra of various hypergraph matrices, including the signless Laplacian, adjacency, Laplacian, and adjacency matrices of the hypergraph's incidence graph. Specific eigenvectors of these hypergraph matrices serve to characterize these substructures. We show that vectors belonging to the nullspace of the adjacency matrix of the hypergraph's incidence graph provide a distinctive description of these substructures. Additionally, we illustrate that these substructures exhibit inherent similarities and redundancies, which manifest in analogous behaviours during random walks and similar values of hypergraph centralities.
Recurrences for certain sequences of binomial sums in terms of (generalized) Fibonacci and Lucas polynomials
We give a simplified presentation of some results about recurrences of certain sequences of binomial sums in terms of (generalized) Fibonacci and Lucas polynomials.
The Uncountable Hadwiger Conjecture and Characterizations of Trees Using Graphs
Published
• View Publication
• BIB
We prove that the existence of a non-special tree of size $λ$ is equivalent to the existence of an uncountably chromatic graph with no $K_{ω_1}$ minor of size $λ$, establishing a connection between the special tree number and the uncountable Hadwiger conjecture. Also characterizations of Aronszajn, Kurepa and Suslin trees using graphs are deduced. A new generalized notion of connectedness for graphs is introduced using which we are able to characterize weakly compact cardinals.
Relative Timing Information and Orthology in Evolutionary Scenarios
Published
• View Publication
• BIB
Evolutionary scenarios describing the evolution of a family of genes within a collection of species comprise the mapping of the vertices of a gene tree $T$ to vertices and edges of a species tree $S$. The relative timing of the last common ancestors of two extant genes (leaves of $T$) and the last common ancestors of the two species (leaves of $S$) in which they reside is indicative of horizontal gene transfers (HGT) and ancient duplications. Orthologous gene pairs, on the other hand, require that their last common ancestors coincides with a corresponding speciation event. The relative timing information of gene and species divergences is captured by three colored graphs that have the extant genes as vertices and the species in which the genes are found as vertex colors: the equal-divergence-time (EDT) graph, the later-divergence-time (LDT) graph and the prior-divergence-time (PDT) graph, which together form an edge partition of the complete graph.
Here we give a complete characterization in terms of informative and forbidden triples that can be read off the three graphs and provide a polynomial time algorithm for constructing an evolutionary scenario that explains the graphs, provided such a scenario exists. We show that every EDT graph is perfect. While the information about LDT and PDT graphs is necessary to recognize EDT graphs in polynomial-time for general scenarios, this extra information can be dropped in the HGT-free case. However, recognition of EDT graphs without knowledge of putative LDT and PDT graphs is NP-complete for general scenarios. In contrast, PDT graphs can be recognized in polynomial-time. We finally connect the EDT graph to the alternative definitions of orthology that have been proposed for scenarios with horizontal gene transfer. With one exception, the corresponding graphs are shown to be colored cographs.
Extremal trees with respect to spectral radius of restrictedly weighted adjacency matrices
Published
• View Publication
• BIB
For a graph $G=(V,E)$ and $v_{i}\in V$, denote by $d_{i}$ the degree of vertex $v_{i}$. Let $f(x, y)>0$ be a real symmetric function in $x$ and $y$. The weighted adjacency matrix $A_{f}(G)$ of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle f(d_{i}, d_{j})$ if the vertices $v_{i}$ and $v_{j}$ are adjacent and 0 otherwise. Li and Wang \cite{U9} tried to unify methods to study spectral radius of weighted adjacency matrices of graphs weighted by various topological indices. If $\displaystyle f'_{x}(x, y)\geq0$ and $\displaystyle f''_{x}(x, y)\geq0$, then $\displaystyle f(x, y)$ is said to be increasing and convex in variable $x$, respectively. They obtained the tree with the largest spectral radius of $A_{f}(G)$ is a star or a double star when $f(x, y)$ is increasing and convex in variable $x$. In this paper, we add the following restriction: $f(x_{1},y_{1})\geq f(x_{2},y_{2})$ if $x_{1}+y_{1}=x_{2}+y_{2}$ and $\mid x_{1}-y_{1}\mid>\mid x_{2}-y_{2}\mid$
and call $A_f(G)$ the restrictedly weighted adjacency matrix of $G$. The restrictedly weighted adjacency matrix contains weighted adjacency matrices weighted by first Zagreb index, first hyper-Zagreb index, general sum-connectivity index, forgotten index, Somber index, $p$-Sombor index and so on. We obtain the extremal trees with the smallest and the largest spectral radius of $A_{f}(G)$. Our results push ahead Li and Wang's research on unified approaches.
(P6, triangle)-free digraphs have bounded dichromatic number
Published
• View Publication
• BIB
The dichromatic number of an oriented graph is the minimum size of a partition of its vertices into acyclic induced subdigraphs. We prove that oriented graphs with no induced directed path on six vertices and no triangle have bounded dichromatic number. This is one (small) step towards the general conjecture asserting that for every oriented tree T and every integer k, any oriented graph that does not contain an induced copy of T nor a clique of size k has dichromatic number at most some function of k and T.
A New (But Very Nearly Old) Proof of the Rogers-Ramanujan Identities
Published in SIGMA 20 (2024), 059, 10 pages
• View Publication
• BIB
We present a new proof of the Rogers-Ramanujan identities. Surprisingly, all its ingredients are available already in Rogers seminal paper from 1894, where he gave a considerably more complicated proof.
Generating New Partition Identities via a Generalized Continued Fraction Algorithm
Published
• View Publication
• BIB
Using the slow triangle map (a type of multi-dimensional continued fraction algorithm), we exhibit a method for generating any number of new identities for subsets of integer partitions.
Bounded-Degree Planar Graphs Do Not Have Bounded-Degree Product Structure
Published in Electronic Journal of Combinatorics, 31/2:P2.51, 2024
• View Publication
• BIB
Product structure theorems are a collection of recent results that have been used to resolve a number of longstanding open problems on planar graphs and related graph classes. One particularly useful version states that every planar graph $G$ is contained in the strong product of a $3$-tree $H$, a path $P$, and a $3$-cycle $K_3$; written as $G\subseteq H\boxtimes P\boxtimes K_3$. A number of researchers have asked if this theorem can be strengthened so that the maximum degree in $H$ can be bounded by a function of the maximum degree in $G$. We show that no such strengthening is possible. Specifically, we describe an infinite family $\mathcal{G}$ of planar graphs of maximum degree $5$ such that, if an $n$-vertex member $G$ of $\mathcal{G}$ is isomorphic to a subgraph of $H\boxtimes P\boxtimes K_c$ where $P$ is a path and $H$ is a graph of maximum degree $Δ$ and treewidth $t$, then $tΔc \ge 2^{Ω(\sqrt{\log\log n})}$.
Recovering affine-linearity of functions from their restrictions to affine lines
Published in Journal of Algebraic Combinatorics 58 (2023), no. 3, 761-773
• View Publication
• BIB
Motivated by recent results of Tao-Ziegler [Discrete Anal. 2016] and Greenfeld-Tao (2022 preprint) on concatenating affine-linear functions along subgroups of an abelian group, we show three results on recovering affine-linearity of functions $f : V \to W$ from their restrictions to affine lines, where $V,W$ are $\mathbb{F}$-vector spaces and $\dim V \geqslant 2$. First, if $\dim V < |\mathbb{F}|$ and $f : V \to \mathbb{F}$ is affine-linear when restricted to affine lines parallel to a basis and to certain "generic" lines through $0$, then $f$ is affine-linear on $V$. (This extends to all modules $M$ over unital commutative rings $R$ with large enough characteristic.) Second, we explain how a classical result attributed to von Staudt (1850s) extends beyond bijections: if $f : V \to W$ preserves affine lines $\ell$, and if $f(v) \not\in f(\ell)$ whenever $v \not\in \ell$, then this also suffices to recover affine-linearity on $V$, but up to a field automorphism. In particular, if $\mathbb{F}$ is a prime field $\mathbb{Z}/p\mathbb{Z}$ ($p>2$) or $\mathbb{Q}$, or a completion $\mathbb{Q}_p$ or $\mathbb{R}$, then $f$ is affine-linear on $V$.
We then quantitatively refine our first result above, via a weak multiplicative variant of the additive $B_h$-sets initially explored by Singer [Trans. Amer. Math. Soc. 1938], Erdos-Turan [J. London Math. Soc. 1941], and Bose-Chowla [Comment. Math. Helv. 1962]. Weak multiplicative $B_h$-sets occur inside all rings with large enough characteristic, and in all infinite or large enough finite integral domains/fields. We show that if $R$ is among any of these classes of rings, and $M = R^n$ for some $n \geqslant 3$, then one requires affine-linearity on at least $\binom{n}{\lceil n/2 \rceil}$-many generic lines to deduce the global affine-linearity of $f$ on $R^n$. Moreover, this bound is sharp.