SearcharxivSearch

arXiv subjects

Michael Goff

Publications and source records attributed to Michael Goff.

9 recordsLinked to original sources

Distinguishing partitions of complete multipartite graphs

A \textit{distinguishing partition} of a group $X$ with automorphism group ${aut}(X)$ is a partition of $X$ that is fixed by no nontrivial element of ${aut}(X)$. In the event that $X$ is a complete multipartite graph with its automorphism group, the existence of a distinguishing partition is equivalent to the existence of an asymmetric hypergraph with prescribed edge sizes. An asymptotic result is proven on the existence of a distinguishing partition when $X$ is a complete multipartite graph with $m_1$ parts of size $n_1$ and $m_2$ parts of size $n_2$ for small $n_1$, $m_2$ and large $m_1$, $n_2$. A key tool in making the estimate is counting the number of trees of particular classes.

math.CO

Edge growth in graph squares

We resolve a conjecture of Hegarty regarding the number of edges in the square of a regular graph. If $G$ is a connected $d$-regular graph with $n$ vertices, the graph square of $G$ is not complete, and $G$ is not a member of two narrow families of graphs, then the square of $G$ has at least $(2-o_d(1))n$ more edges than $G$.

math.CO

Balanced complexes and complexes without large missing faces

The face numbers of simplicial complexes without missing faces of dimension larger than $i$ are studied. It is shown that among all such $(d-1)$-dimensional complexes with non-vanishing top homology, a certain polytopal sphere has the componentwise minimal $f$-vector; and moreover, among all such 2-Cohen--Macaulay (2-CM) complexes, the same sphere has the componentwise minimal $h$-vector. It is also verified that the $l$-skeleton of a flag $(d-1)$-dimensional 2-CM complex is $2(d-l)$-CM while the $l$-skeleton of a flag PL $(d-1)$-sphere is $2(d-l)$-homotopy CM. In addition, tight lower bounds on the face numbers of 2-CM balanced complexes in terms of their dimension and the number of vertices are established.

math.CO

Higher dimensional Moore bounds

We prove upper bounds on the face numbers of simplicial complexes in terms on their girths, in analogy with the Moore bound from graph theory. Our definition of girth generalizes the usual definition for graphs.

math.CO

Optimal Betti numbers of forest ideals

We prove a tight lower bound on the Betti numbers of tree and forest ideals and a tight upper bound on certain graded Betti numbers of squarefree monomial ideals.

math.AC

On the multiplicity conjecture for non-Cohen-Macaulay simplicial complexes

We prove a reformulation of the multiplicity upper bound conjecture and use that reformulation to prove it for three-dimensional simplicial complexes and homology manifolds with many vertices. We provide necessary conditions for a Cohen-Macaulay complex with many vertices to have a pure minimal free resolution and a characterization of flag complexes whose minimal free resolution is pure.

math.AC

Bounding Multiplicity by Shifts in the Taylor Resolution

A weaker form of the multiplicity conjecture of Herzog, Huneke, and Srinivasan is proven for two classes of monomial ideals: quadratic monomial ideals and squarefree monomial ideals with sufficiently many variables relative to the Krull dimension. It is also shown that tensor products, as well as Stanley-Reisner ideals of certain unions, satisfy the multiplicity conjecture if all the components do. Conditions under which the bounds are achieved are also studied.

math.AC