arXiv subjects
Publications and source records attributed to Zachary McGuirk.
We prove that any digraph Brown functor -- i.e. a contravariant functor from the homotopy category of finite directed graphs to the category of abelian groups, satisfying the triviality axiom, the additivity axiom, and the Mayer-Vietoris axiom -- is representable. Furthermore, we show that the first path cohomology functor is a digraph Brown functor.
We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.
Let $h$ be a harmonic function defined on a spherical disk. It is shown that $Δ^k |h|^2$ is nonnegative for all $k\in \mathbb{N}$ where $Δ$ is the Laplace-Beltrami operator. This fact is generalized to harmonic functions defined on a disk in a normal homogeneous compact Riemannian manifold, and in particular in a symmetric space of the compact type. This complements a similar property for harmonic functions on $\mathbb{R}^n$ discovered by the first two authors and is related to strong convexity of the $L^2$-growth function of harmonic functions.
We introduce and study the conical curvature-dimension condition, $CCD(K,N)$, for graphs. We show that $CCD(K,N)$ provides necessary and sufficient conditions for the underlying graph to satisfy a sharp global Poincaré inequality which in turn translates to a sharp lower bound for the first eigenvalues of these graphs. Another application of the conical curvature-dimension analysis is finding a sharp estimate on the curvature of complete graphs.