Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Finding minimum spanning trees via local improvements
We consider a family of local search algorithms for the minimum-weight spanning tree, indexed by a parameter $ρ$. One step of the local search corresponds to replacing a connected induced subgraph of the current candidate graph whose total weight is at most $ρ$ by the minimum spanning tree (MST) on the same vertex set. Fix a non-negative random variable $X$, and consider this local search problem on the complete graph $K_n$ with independent $X$-distributed edge weights. Under rather weak conditions on the distribution of $X$, we determine a threshold value $ρ^*$ such that the following holds. If the starting graph (the "initial candidate MST") is independent of the edge weights, then if $ρ> ρ^*$ local search can construct the MST with high probability (tending to $1$ as $n \to \infty$), whereas if $ρ< ρ^*$ it cannot with high probability.
Bounds on Path Energy of Graphs
Given a graph $M,$ path eigenvalues are eigenvalues of its path matrix. The path energy of a simple graph $M$ is equal to the sum of the absolute values of the path eigenvalues of the graph $M$ (Shikare et. al, 2018). We have discovered new upper constraints on path energy in this study, expressed in terms of a graph's maximum degree. Additionally, a relationship between a graph's energy and path energy is given.
On the intersection density of the Kneser Graph $K(n,3)$
Published
• View Publication
• BIB
A set $\mathcal{F} \subset \operatorname{Sym}(V)$ is \textsl{intersecting} if any two of its elements agree on some element of $V$. Given a finite transitive permutation group $G\leq \operatorname{Sym}(V)$, the \textsl{intersection density} $ρ(G)$ is the maximum ratio $\frac{|\mathcal{F}||V|}{|G|}$ where $\mathcal{F}$ runs through all intersecting sets of $G$. The \textsl{intersection density} $ρ(X)$ of a vertex-transitive graph $X = (V,E)$ is equal to $\max \left\{ ρ(G) : G \leq \operatorname{Aut}(X), \mbox{ $G$ transitive} \right\}$. In this paper, we study the intersection density of the Kneser graph $K(n,3)$, for $n\geq 7$.
The intersection density of $K(n,3)$ is determined whenever its automorphism group contains $\operatorname{PSL}_{2}(q)$, with some exceptional cases depending on the congruence of $q$. We also briefly consider the intersection density of $K(n,2)$ for values of $n$ where $\operatorname{PSL}_{2}(q)$ is a subgroup of its automorphism group.
Magnitude and Topological Entropy of Digraphs
Published in EPTCS 380, 2023, pp. 254-267
• View Publication
• BIB
Magnitude and (co)weightings are quite general constructions in enriched categories, yet they have been developed almost exclusively in the context of Lawvere metric spaces. We construct a meaningful notion of magnitude for flow graphs based on the observation that topological entropy provides a suitable map into the max-plus semiring, and we outline its utility. Subsequently, we identify a separate point of contact between magnitude and topological entropy in digraphs that yields an analogue of volume entropy for geodesic flows. Finally, we sketch the utility of this construction for feature engineering in downstream applications with generic digraphs.
Equivariant K-theory of the space of partial flags
Published
• View Publication
• BIB
We use Drinfeld style generators and relations to define an algebra $\mathfrak{U}_n$ which is a ``$q=0$'' version of the affine quantum group of $\mathfrak{gl}_n.$ We then use the convolution product on the equivariant $K$-theory of varieties of pairs of partial flags in a $d$-dimensional vector space $V$ to define affine $0$-Schur algebras ${\mathbb S}_0^{\operatorname{aff}}(n,d)$ and to prove that for every $d$ there exists a surjective homomorphism from $\mathfrak{U}_n$ to ${\mathbb S}_0^{\operatorname{aff}}(n,d).$
A poset version of Ramanujan results on Eulerian numbers and zeta values
We explore the operad of finite posets and its algebras. We use order polytopes to investigate the combinatorial properties of zeta values. By generalizing a family of zeta value identities, we demonstrate the applicability of this approach. In addition, we offer new proofs of some of Ramanujan's results on the properties of Eulerian numbers, interpreting his work as dealing with series inheriting the algebraic structure of disjoint unions of points. Finally, we establish a connection between our findings and the linear independence of zeta values.
Filtrations on combinatorial intersection cohomology and invariants of subdivisions
Published
• View Publication
• BIB
Motivated by definitions in mixed Hodge theory, we define the weight filtration and the monodromy weight filtration on the combinatorial intersection cohomology of a fan. These filtrations give a natural definition of the multivariable invariants of subdivisions of polytopes, lattice polytopes and fans, namely the mixed $h$-polynomial, the refined limit mixed $h^*$-polynomial, and the mixed $cd$-index, defined by Katz--Stapledon and Dornian--Katz--Tsang. Previously, only the refined limit mixed $h^*$-polynomial had a geometric interpretation, which came from filtrations on the cohomology of a schön hypersurface. Consequently, we generalize a positivity result on the mixed $h$-polynomial by Katz and Stapledon using the relative hard Lefschetz theorem of Karu.
Crossings in Randomly Embedded Graphs
We consider the number of crossings in a graph which is embedded randomly on a convex set of points. We give an estimate to the normal distribution in Kolmogorov distance which implies a convergence rate of order $n^{-1/2}$ for various families of graphs, including random chord diagrams or full cycles.
A colorful Goodman-Pollack-Wenger theorem
Published
• View Publication
• BIB
Hadwiger's transversal theorem gives necessary and sufficient conditions for the existence of a line transversal to a family of pairwise disjoint convex sets in the plane. These conditions were subsequently generalized to hyperplane transversals to general families of convex sets in $\mathbb{R}^d$ by Goodman, Pollack, and Wenger. Here we show a colorful genealization of their theorem which confirms a conjecture of Arocha, Bracho, and Montejano. The proof is topological and uses the Borsuk-Ulam theorem.
On the number of maximal independent sets: From Moon-Moser to Hujter-Tuza
Published
• View Publication
• BIB
We connect two classical results in extremal graph theory concerning the number of maximal independent sets. The maximum number mis$(n)$ of maximal independent sets in an $n$-vertex graph was determined by Moon and Moser. The maximum number mis$_\bigtriangleup(n)$ of maximal independent sets in an $n$-vertex triangle-free graph was determined by Hujter and Tuza. We determine the maximum number mis$_t(n)$ of maximal independent sets in an $n$-vertex graph containing no induced triangle matching of size $t+1$. We also reprove a stability result of Kahn and Park on the maximum number mis$_{\bigtriangleup,t}(n)$ of maximal independent sets in an $n$-vertex triangle-free graphs containing no induced matching of size $t+1$.
New Results on Pairwise Compatibility Graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is called a pairwise compatibility graph (PCG) if there exists an edge-weighted tree $T$ and two non-negative real numbers $d_{min}$ and $d_{max}$ such that each leaf $u$ of $T$ corresponds to a vertex $u \in V$ and there is an edge $(u, v) \in E$ if and only if $d_{min} \leq d_{T}(u, v) \leq d_{max}$, where $d_T(u, v)$ is the sum of the weights of the edges on the unique path from $u$ to $v$ in $T$. The tree $T$ is called the pairwise compatibility tree (PCT) of $G$. It has been proven that not all graphs are PCGs. Thus, it is interesting to know which classes of graphs are PCGs. In this paper, we prove that grid graphs are PCGs. Although there are a necessary condition and a sufficient condition known for a graph being a PCG, there are some classes of graphs that are intermediate to the classes defined by the necessary condition and the sufficient condition. In this paper, we show two examples of graphs that are included in these intermediate classes and prove that they are not PCGs.
A fourth moment phenomenon for asymptotic normality of monochromatic subgraphs
Published
• View Publication
• BIB
Given a graph sequence $\{G_n\}_{n\ge1}$ and a simple connected subgraph $H$, we denote by $T(H,G_n)$ the number of monochromatic copies of $H$ in a uniformly random vertex coloring of $G_n$ with $c \ge 2$ colors. In this article, we prove a central limit theorem for $T(H,G_n)$ with explicit error rates. The error rates arise from graph counts of collections formed by joining copies of $H$ that we call good joins. Counts of good joins are closely related to the fourth moment of a normalized version of $T(H,G_{n})$, and that connection allows us to show a fourth moment phenomenon for the central limit theorem.
Precisely, for $c\ge 30$, we show that $T(H,G_n)$ (appropriately centered and rescaled) converges in distribution to $\mathcal{N}(0,1)$ whenever its fourth moment converges to 3 (the fourth moment of the standard normal distribution). We show the convergence of the fourth moment is necessary to obtain a normal limit when $c\ge 2$. The combination of these results implies that the fourth moment condition characterizes the limiting normal distribution of $T(H,G_n)$ for all subgraphs $H$, whenever $c\ge 30$.
Higman's lemma is stronger for better quasi orders
Published
• View Publication
• BIB
We prove that Higman's lemma is strictly stronger for better quasi orders than for well quasi orders, within the framework of reverse mathematics. In fact, we show a stronger result: the infinite Ramsey theorem (for tuples of all lengths) follows from the statement that any array $[\mathbb N]^{n+1}\to\mathbb N^n\times X$ for a well order $X$ and $n\in\mathbb N$ is good, over the base theory $\mathsf{RCA_0}$.
Odd colouring on the torus
A proper vertex-colouring of a simple graph $G$ is said to be odd if, for every non-isolated vertex $v$ of $G$, some colour appears an odd number of times in the neighbourhood of $v$. We show that if $G$ embeds in the torus, then it admits a proper odd vertex-colouring with at most $9$ colours.
Induced subgraphs and tree decompositions V. One neighbor in a hole
Published in Journal of Graph Theory 105 (2023), 542-561
• View Publication
• BIB
What are the unavoidable induced subgraphs of graphs with large treewidth? It is well-known that the answer must include a complete graph, a complete bipartite graph, all subdivisions of a wall and line graphs of all subdivisions of a wall (we refer to these graphs as the "basic treewidth obstructions"). So it is natural to ask whether graphs excluding the basic treewidth obstructions as induced subgraphs have bounded treewidth. Sintiari and Trotignon answered this question in the negative. Their counterexamples, the so-called "layered wheels," contain wheels, where a wheel consists of a hole (i.e., an induced cycle of length at least four) along with a vertex with at least three neighbors in the hole. This leads one to ask whether graphs excluding wheels and the basic treewidth obstructions as induced subgraphs have bounded treewidth. This also turns out to be false due to Davies' recent example of graphs with large treewidth, no wheels and and no basic treewidth obstructions as induced subgraphs. However, in Davies' example there exist holes and vertices (outside of the hole) with two neighbors in them. Here we prove that a hole with a vertex with at least two neighbors in it is inevitable in graphs with large treewidth and no basic obstruction. Our main result is that graphs in which every vertex has at most one neighbor in every hole (that does not contain it) and with the basic treewidth obstructions excluded as induced subgraphs have bounded treewidth.
Number of partitions of n into parts not divisible by m
In this note, we obtain a formula which leads to a practical and efficient method to calculate the number of partitions of n into parts not divisible by m for given natural numbers n and m.
Repeated Averages on Graphs
Published
• View Publication
• BIB
Sourav Chatterjee, Persi Diaconis, Allan Sly and Lingfu Zhang, prompted by a question of Ramis Movassagh, renewed the study of a process proposed in the early 1980s by Jean Bourgain. A state vector $v \in \mathbb R^n$, labeled with the vertices of a connected graph, $G$, changes in discrete time steps following the simple rule that at each step a random edge $(i,j)$ is picked and $v_i$ and $v_j$ are both replaced by their average $(v_i+v_j)/2$. It is easy to see that the value associated with each vertex converges to $1/n$. The question was how quickly will $v$ be $ε$-close to uniform in the $L^{1}$ norm in the case of the complete graph, $K_{n}$, when $v$ is initialized as a standard basis vector that takes the value 1 on one coordinate, and zeros everywhere else. They have established a sharp cutoff of $\frac{1}{2\log 2}n\log n + O(n\sqrt{\log n})$. Our main result is to prove, that $\frac{(1-ε)}{2\log2}n\log n-O(n)$ is a general lower bound for all connected graphs on $n$ nodes. We also get sharp magnitude of $t_{ε,1}$ for several important families of graphs, including star, expander, dumbbell, and cycle. In order to establish our results we make several observations about the process, such as the worst case initialization is always a standard basis vector. Our results add to the body of work of Aldous, Aldous and Lanoue, Quattropani and Sau, Cao, Olshevsky and Tsitsiklis, and others. The renewed interest is due to an analogy to a question related to the Google's supremacy circuit. For the proof of our main theorem we employ a concept that we call 'augmented entropy function' which may find independent interest in the computer science and probability theory communities.
Cover time of graphs with bounded genus
The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all vertices of the graph. It is known that the cover time of any finite connected $n$-vertex graph is at least $(1 + o(1)) n \log n$ and at most $(1 + o(1)) \frac{4}{27} n^3$. By Jonasson and Schramm, the cover time of any bounded-degree finite connected $n$-vertex planar graph is at least $c n(\log n)^2$ and at most $6n^2$, where $c$ is a positive constant depending only on the maximal degree of the graph. In particular, the lower bound is established via the use of circle packing of planar graphs on the Riemann sphere. In this paper, we show that the cover time of any finite $n$-vertex graph $G$ with maximum degree $Δ$ on the compact Riemann surface $S$ of given genus $g$ is at least $c n(\log n)^2/ Δ(g + 1)$ and at most $(6 + o(1))n^2$, where $c$ is an absolute constant, if $n$ is sufficiently large and three sufficient conditions for $S$ and a circle packing of $G$ filling $S$.
Harmonic Centrality and Centralization of Some Graph Products
Published in Asian Research Journal of Mathematics, 18(5): 42-51, 2022; Article no.ARJOM.86514
• View Publication
• BIB
Harmonic centrality calculates the importance of a node in a network by adding the inverse of the geodesic distances of this node to all the other nodes. Harmonic centralization, on the other hand, is the graph-level centrality score based on the node-level harmonic centrality. In this paper, we present some results on both the harmonic centrality and harmonic centralization of graphs resulting from some graph products such as Cartesian and direct products of the path $P_2$ with any of the path $P_m$, cycle $C_m$, and fan $F_m$ graphs.
Chain enumeration, partition lattices and polynomials with only real roots
Published
• View Publication
• BIB
The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. The chain polynomials of the partition lattices and their standard type $B$ analogues are shown to have only real roots. The real-rootedness of the chain polynomial is conjectured for all geometric lattices and is shown to be preserved by the pyramid and the prism operations on Cohen--Macaulay posets. As a result, new families of convex polytopes whose face lattices have real-rooted chain polynomials are presented. An application to the face enumeration of the second barycentric subdivision of the boundary complex of the simplex is also included.