Source author record

Michael Tait

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

21works
5topics
4close collaborators

Published work

21 publications

preprint2023arXiv

Spectral Radii of Arithmetical Structures on Cycle Graphs

Let GG be a finite, connected graph. An arithmetical structure on GG is a pair of positive integer-valued vectors (d,r)(\mathbf{d},\mathbf{r}) such that (diag(d)−AG)⋅r=0,(\text{diag}(\mathbf{d})-A_G)\cdot \mathbf{r}=\textbf{0}, where the entries of r\mathbf{r} have gcd⁡\gcd 1 and AGA_G is the adjacency matrix of GG. In this article we find the arithmetical structures that maximize and minimize the spectral radius of (diag(d)−AG)(\text{diag}(\mathbf{d})-A_G) among all arithmetical structures on the cycle graph Cn.\mathcal{C}_n.

preprint2022arXiv

A spectral Erdős-Sós theorem

The famous Erdős-Sós conjecture states that every graph of average degree more than t−1t-1 must contain every tree on t+1t+1 vertices. In this paper, we study a spectral version of this conjecture. For n>kn>k, let Sn,kS_{n,k} be the join of a clique on kk vertices with an independent set of n−kn-k vertices and denote by Sn,k+S_{n,k}^+ the graph obtained from Sn,kS_{n,k} by adding one edge. We show that for fixed k≥2k\geq 2 and sufficiently large nn, if a graph on nn vertices has adjacency spectral radius at least as large as Sn,kS_{n,k} and is not isomorphic to Sn,kS_{n,k}, then it contains all trees on 2k+22k+2 vertices. Similarly, if a sufficiently large graph has spectral radius at least as large as Sn,k+S_{n,k}^+, then it either contains all trees on 2k+32k+3 vertices or is isomorphic to Sn,k+S_{n,k}^+. This answers a two-part conjecture of Nikiforov affirmatively.

preprint2022arXiv

Sparsity of Graphs that Allow Two Distinct Eigenvalues

The parameter q(G)q(G) of a graph GG is the minimum number of distinct eigenvalues over the family of symmetric matrices described by GG. It is shown that the minimum number of edges necessary for a connected graph GG to have q(G)=2q(G)=2 is 2n−42n-4 if nn is even, and 2n−32n-3 if nn is odd. In addition, a characterization of graphs for which equality is achieved in either case is given.

preprint2021arXiv

Minimizing the number of complete bipartite graphs in a KsK_s-saturated graph

A graph GG is FF-saturated if it contains no copy of FF as a subgraph but the addition of any new edge to GG creates a copy of FF. We prove that for s≥3s \geq 3 and t≥2t \geq 2, the minimum number of copies of K1,tK_{1,t} in a KsK_s-saturated graph is Θ(nt/2)Θ( n^{t/2}). More precise results are obtained when t=2t = 2 where the problem is related to Moore graphs with diameter 2 and girth 5. We prove that for s≥4s \geq 4 and t≥3t \geq 3, the minimum number of copies of K2,tK_{2,t} in an nn-vertex KsK_s-saturated graph is at least Ω(nt/5+8/5)Ω( n^{t/5 + 8/5}) and at most O(nt/2+3/2)O(n^{t/2 + 3/2}). These results answer a question of Chakraborti and Loh. General estimates on the number of copies of Ka,bK_{a,b} in a KsK_s-saturated graph are also obtained, but finding an asymptotic formula remains open.

preprint2020arXiv

Large monochromatic components in 3-edge-colored Steiner triple systems

It is known that in any rr-coloring of the edges of a complete rr-uniform hypergraph, there exists a spanning monochromatic component. Given a Steiner triple system on nn vertices, what is the largest monochromatic component one can guarantee in an arbitrary 3-coloring of the edges? Gyárfás proved that (2n+3)/3(2n+3)/3 is an absolute lower bound and that this lower bound is best possible for infinitely many nn. On the other hand, we prove that for almost all Steiner triple systems the lower bound is actually (1−o(1))n(1-o(1))n. We obtain this result as a consequence of a more general theorem which shows that the lower bound depends on the size of a largest \emph{3-partite hole} (that is, sets X1,X2,X3X_1, X_2, X_3 with ∣X1∣=∣X2∣=∣X3∣|X_1|=|X_2|=|X_3| such that no edge intersects all of X1,X2,X3X_1, X_2, X_3) in the Steiner triple system (Gyárfás previously observed that the upper bound depends on this parameter). Furthermore, we show that this lower bound is tight unless the coloring has a particular structure. We also suggest a variety of other Ramsey problems in the setting of Steiner triple systems.

preprint2020arXiv

Turán and Ramsey-type results for unavoidable subgraphs

We study Turán and Ramsey-type problems on edge-colored graphs. An edge-colored graph is called {\em ε\varepsilon-balanced} if each color class contains at least an ε\varepsilon-proportion of its edges. Given a family F\mathcal{F} of edge-colored graphs, the Ramsey function R(ε,F)R(\varepsilon, \mathcal{F}) is the smallest nn for which any ε\varepsilon-balanced KnK_n must contain a copy of an F∈FF\in\mathcal{F}, and the Turán function ex(ε,n,F)\mathrm{ex}(\varepsilon, n, \mathcal{F}) is the maximum number of edges in an nn-vertex ε\varepsilon-balanced graph which avoids all of F\mathcal{F}. In this paper, we consider this Turán function for several classes of edge-colored graphs, we show that the Ramsey function is linear for bounded degree graphs, and we prove a theorem that gives a relationship between the two parameters.

preprint2016arXiv

A Szemerédi-Trotter type theorem, sum-product estimates in finite quasifields, and related results

We prove a Szemerédi-Trotter type theorem and a sum-product estimate in the setting of finite quasifields. These estimates generalize results of the fourth author, of Garaev, and of Vu. We generalize results of Gyarmati and Sárközy on the solvability of the equations a+b=cda + b = cd and ab+1=cdab + 1 = cd over a finite field. Other analogous results that are known to hold in finite fields are generalized to finite quasifields.

preprint2016arXiv

Degree Ramsey numbers for even cycles

Let H→sGH\xrightarrow{s} G denote that any ss-coloring of E(H)E(H) contains a monochromatic GG. The degree Ramsey number of a graph GG, denoted by RΔ(G,s)R_Δ(G, s), is min⁡{Δ(H):H→sG}\min \{Δ(H): H \xrightarrow{s} G \}. We consider degree Ramsey numbers where GG is a fixed even cycle. Kinnersley, Milans, and West showed that RΔ(C2k,s)≥2sR_Δ(C_{2k},s) \geq 2s, and Kang and Perarnau showed that RΔ(C4,s)=Θ(s2)R_Δ(C_4, s) = Θ(s^2). Our main result is that RΔ(C6,s)=Θ(s3/2)R_Δ(C_6, s) = Θ(s^{3/2}) and RΔ(C10,s)=Θ(s5/4)R_Δ(C_{10}, s) = Θ(s^{5/4}). Additionally, we substantially improve the lower bound for RΔ(C2k,s)R_Δ(C_{2k}, s) for general kk.

preprint2016arXiv

Independent sets in polarity graphs

Given a projective plane ΣΣ and a polarity θθ of ΣΣ, the corresponding polarity graph is the graph whose vertices are the points of ΣΣ, and two distinct points p1p_1 and p2p_2 are adjacent if p1p_1 is incident to p2θp_2^{ θ} in ΣΣ. A well-known example of a polarity graph is the Erdős-Rényi orthogonal polarity graph ERqER_q, which appears frequently in a variety of extremal problems. Eigenvalue methods provide an upper bound on the independence number of any polarity graph. Mubayi and Williford showed that in the case of ERqER_q, the eigenvalue method gives the correct upper bound in order of magnitude. We prove that this is also true for other families of polarity graphs. This includes a family of polarity graphs for which the polarity is neither orthogonal nor unitary. We conjecture that any polarity graph of a projective plane of order qq has an independent set of size Ω(q3/2)Ω(q^{3/2}). Some related results are also obtained.

preprint2015arXiv

Increasing paths in edge-ordered graphs: the hypercube and random graphs

An edge-ordering of a graph G=(V,E)G=(V,E) is a bijection ϕ:E→{1,2,...,∣E∣}ϕ:E\to\{1,2,...,|E|\}. Given an edge-ordering, a sequence of edges P=e1,e2,...,ekP=e_1,e_2,...,e_k is an increasing path if it is a path in GG which satisfies ϕ(ei)<ϕ(ej)ϕ(e_i)<ϕ(e_j) for all i<ji<j. For a graph GG, let f(G)f(G) be the largest integer ℓ\ell such that every edge-ordering of GG contains an increasing path of length ℓ\ell. The parameter f(G)f(G) was first studied for G=KnG=K_n and has subsequently been studied for other families of graphs. This paper gives bounds on ff for the hypercube and the random graph G(n,p)G(n,p).

preprint2015arXiv

On a problem of Neumann

A conjecture widely attributed to Neumann is that all finite non-desarguesian projective planes contain a Fano subplane. In this note, we show that any finite projective plane of even order which admits an orthogonal polarity contains a Fano subplane. The number of planes of order less than nn previously known to contain a Fano subplane was O(log⁡n)O(\log n), whereas the number of planes of order less than nn that our theorem applies to is not bounded above by any polynomial in nn.

preprint2015arXiv

On the distance spectra of graphs

The distance matrix of a graph GG is the matrix containing the pairwise distances between vertices. The distance eigenvalues of GG are the eigenvalues of its distance matrix and they form the distance spectrum of GG. We determine the distance spectra of halved cubes, double odd graphs, and Doob graphs, completing the determination of distance spectra of distance regular graphs having exactly one positive distance eigenvalue. We characterize strongly regular graphs having more positive than negative distance eigenvalues. We give examples of graphs with few distinct distance eigenvalues but lacking regularity properties. We also determine the determinant and inertia of the distance matrices of lollipop and barbell graphs.

preprint2015arXiv

Small dense subgraphs of polarity graphs and the extremal number for the 4-cycle

In this note, we show that for any m∈{1,2,…,q+1}m \in \{1,2, \dots , q +1 \}, if GG is a polarity graph of a projective plane of order qq that has an oval, then GG contains a subgraph on m+(m2)m + \binom{m}{2} vertices with m2+m48q−O(m4q3/2+m)m^2+\frac{m^4}{8q} - O ( \frac{m^4}{q^{3/2} } +m ) edges. As an application, we give the best known lower bounds on the Turán number ex(n,C4)\mathrm{ex}(n, C_4) for certain values of nn. In particular, we disprove a conjecture of Abreu, Balbuena, and Labbate concerning ex(q2−q−2,C4)\mathrm{ex}(q^2-q-2, C_4) where qq is a power of 22.

preprint2014arXiv

On Coupon Colorings of Graphs

Let GG be a graph with no isolated vertices. A {\em kk-coupon coloring} of GG is an assignment of colors from [k]:={1,2,…,k}[k] := \{1,2,\dots,k\} to the vertices of GG such that the neighborhood of every vertex of GG contains vertices of all colors from [k][k]. The maximum kk for which a kk-coupon coloring exists is called the {\em coupon coloring number} of GG, and is denoted χc(G)χ_{c}(G). In this paper, we prove that every dd-regular graph GG has χc(G)≥(1−o(1))d/log⁡dχ_{c}(G) \geq (1 - o(1))d/\log d as d→∞d \rightarrow \infty, and the proportion of dd-regular graphs GG for which χc(G)≤(1+o(1))d/log⁡dχ_c(G) \leq (1 + o(1))d/\log d tends to 11 as ∣V(G)∣→∞|V(G)| \rightarrow \infty.

preprint2014arXiv

On sets of integers with restrictions on their products

A {\em product-injective labeling} of a graph GG is an injection χ:V(G)→Zχ: V(G) \to \mathbb{Z} such that χ(u)χ(v)≠χ(x)χ(y)χ(u)χ(v) \not= χ(x)χ(y) for any distinct edges uv,xy∈E(G)uv, xy\in E(G). Let P(G)P(G) be the smallest N≥1N \geq 1 such that there exists a product-injective labeling χ:V(G)→[N]χ: V(G) \rightarrow [N]. Let P(n,d)P(n,d) be the maximum possible value of P(G)P(G) over nn-vertex graphs GG of maximum degree at most dd. In this paper, we determine the asymptotic value of P(n,d)P(n,d) for all but a small range of values of dd relative to nn. Specifically, we show that there exist constants a,b>0a,b > 0 such that P(n,d)∼nP(n,d) \sim n if d≤n(log⁡n)−ad \leq \sqrt{n}(\log n)^{-a} and P(n,d)∼nlog⁡nP(n,d) \sim n\log n if d≥n(log⁡n)bd \geq \sqrt{n}(\log n)^{b}.

preprint2014arXiv

Orthogonal polarity graphs and Sidon sets

Determining the maximum number of edges in an nn-vertex C4C_4-free graph is a well-studied problem that dates back to a paper of Erdős from 1938. One of the most important families of C4C_4-free graphs are the Erdős-Rényi orthogonal polarity graphs. We show that the Cayley sum graph constructed using a Bose-Chowla Sidon set is isomorphic to a large induced subgraph of the Erdős-Rényi orthogonal polarity graph. Using this isomorphism we prove that the Petersen graph is a subgraph of every sufficiently large Erdős-Rényi orthogonal polarity graph.

preprint2014arXiv

Sidon Sets and graphs without 4-cycles

The problem of determining the maximum number of edges in an nn-vertex graph that does not contain a 4-cycle has a rich history in extremal graph theory. Using Sidon sets constructed by Bose and Chowla, for each odd prime power qq we construct a graph with q2−q−2q^2 - q - 2 vertices that does not contain a 4-cycle and has at least 12q3−q2−O(q3/4)\frac{1}{2}q^3 - q^2 - O(q^{3/4}) edges. This disproves a conjecture of Abreu, Balbuena, and Labbate concerning the Turán number ex(q2−q−2,C4)\mathrm{ex}(q^2 - q - 2, C_4).

preprint2013arXiv

Asymptotic Improvement of the Gilbert-Varshamov Bound on the Size of Permutation Codes

Given positive integers nn and dd, let M(n,d)M(n,d) denote the maximum size of a permutation code of length nn and minimum Hamming distance dd. The Gilbert-Varshamov bound asserts that M(n,d)≥n!/V(n,d−1)M(n,d) \geq n!/V(n,d-1) where V(n,d)V(n,d) is the volume of a Hamming sphere of radius dd in §n§_n. Recently, Gao, Yang, and Ge showed that this bound can be improved by a factor Ω(log⁡n)Ω(\log n), when dd is fixed and n→∞n \to \infty. Herein, we consider the situation where the ratio d/nd/n is fixed and improve the Gilbert-Varshamov bound by a factor that is \emph{linear in nn}. That is, we show that if d/n<0.5d/n < 0.5, then M(n,d)≥cn n!V(n,d−1) M(n,d)\geq cn\,\frac{n!}{V(n,d-1)} where cc is a positive constant that depends only on d/nd/n. To establish this result, we follow the method of Jiang and Vardy. Namely, we recast the problem of bounding M(n,d)M(n,d) into a graph-theoretic framework and prove that the resulting graph is locally sparse.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.