Showing 1–5 of 5 results for author: McInnis, I M J

The Hat Guessing Number of Cactus Graphs and Cycles

Authors: Jeremy Chizewer, I. M. J. McInnis, Mehrdad Sohrabi, Shriya Kaistha

Abstract: We study the hat guessing game on graphs. In this game, a player is placed on each vertex $v$ of a graph $G$ and assigned a colored hat from $h(v)$ possible colors. Each player makes a deterministic guess on their hat color based on the colors assigned to the players on neighboring vertices, and the players win if at least one player correctly guesses his assigned color. If there exists a strategy… ▽ More We study the hat guessing game on graphs. In this game, a player is placed on each vertex $v$ of a graph $G$ and assigned a colored hat from $h(v)$ possible colors. Each player makes a deterministic guess on their hat color based on the colors assigned to the players on neighboring vertices, and the players win if at least one player correctly guesses his assigned color. If there exists a strategy that ensures at least one player guesses correctly for every possible assignment of colors, the game defined by $\langle G,h\rangle$ is called winning. The hat guessing number of $G$ is the largest integer $q$ so that if $h(v)=q$ for all $v\in G$ then $\langle G,h\rangle$ is winning. In this note, we determine whether $\langle G,h\rangle $ is winning for any $h$ whenever $G$ is a cycle, resolving a conjecture of Kokhas and Latyshev in the affirmative and extending it. We then use this result to determine the hat guessing number of every cactus graph, graphs in which every pair of cycles share at most one vertex. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 13 pages, 5 figures

MSC Class: 05C57

Graphical distances & inertia

Authors: Jeffrey Cheng, Ian Malcolm Johnson McInnis, Matthew Yee

Abstract: We study the inertia of distance matrices of weighted graphs. Our novel congruence-based proof of the inertia of weighted trees extends to a proof for the inertia of weighted unicyclic graphs whose cycle is a triangle. Partial results are given on the inertia of other rationally weighted unicylic graphs. We study the inertia of distance matrices of weighted graphs. Our novel congruence-based proof of the inertia of weighted trees extends to a proof for the inertia of weighted unicyclic graphs whose cycle is a triangle. Partial results are given on the inertia of other rationally weighted unicylic graphs. △ Less

Submitted 25 April, 2023; originally announced April 2023.

MSC Class: 05C12; 15B99; 15A18

Isometric embedding and spectral constraints for weighted graph metrics

Authors: Jeffrey Cheng, Ian Malcolm Johnson McInnis, Matthew Yee

Abstract: A weighted graph $φG$ encodes a finite metric space $D_{φG}$. When is $D$ totally decomposable? When does it embed in $\ell_1$ space? When does its representing matrix have $\leq 1$ positive eigenvalue? We give useful lemmata and prove that these questions can be answered without examining $φ$ if and only if $G$ has no $K_{2,3}$ minor. We also prove results toward the following conjecture.… ▽ More A weighted graph $φG$ encodes a finite metric space $D_{φG}$. When is $D$ totally decomposable? When does it embed in $\ell_1$ space? When does its representing matrix have $\leq 1$ positive eigenvalue? We give useful lemmata and prove that these questions can be answered without examining $φ$ if and only if $G$ has no $K_{2,3}$ minor. We also prove results toward the following conjecture. $D_{φG}$ has $\leq n$ positive eigenvalues for all $φ$, if and only if $G$ has no $K_{2,3,...,3}$ minor, with $n$ threes. △ Less

Submitted 25 April, 2023; originally announced April 2023.

MSC Class: 05C12; 15B99; 15A18

Characterizing and generalizing cycle completable graphs

Authors: Maria Chudnovsky, Ian Malcolm Johnson McInnis

Abstract: The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a concise proof, partially by introducing a new characterization. Then we generalize this family to ``$k$-quasichordal'' graphs, with three natural characterizations. The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a concise proof, partially by introducing a new characterization. Then we generalize this family to ``$k$-quasichordal'' graphs, with three natural characterizations. △ Less

Submitted 1 September, 2023; v1 submitted 18 April, 2023; originally announced April 2023.

Comments: 8 pages

MSC Class: 05C75

Bicategories, Biequivalence, and Bi-Interpretability

Authors: Anthony D'Arienzo, Vinny Pagano, Ian M. J. McInnis

Abstract: We make explicit the correspondence between syntax and syntactic categories for coherent first-order logic, providing a categorical characterization of bi-interpretability. This is done by creating a biequivalence between a bicategory of coherent theories and the (strict) bicategory of coherent categories. While the biequivalence concerns the stronger equality-preserving bi-interpretability, we us… ▽ More We make explicit the correspondence between syntax and syntactic categories for coherent first-order logic, providing a categorical characterization of bi-interpretability. This is done by creating a biequivalence between a bicategory of coherent theories and the (strict) bicategory of coherent categories. While the biequivalence concerns the stronger equality-preserving bi-interpretability, we use it to obtain a necessary and sufficient condition for two theories to be bi-interpretable in general, by relating the exact completions of their syntactic categories. These results extend analogously to familiar fragments of first-order logic, thereby clarifying the long-intuited relation between logical syntax and syntactic categories. △ Less

Submitted 9 July, 2023; v1 submitted 27 November, 2020; originally announced November 2020.

Comments: 60 pages, 4 figures; Major rewrite of article reformulating theorems in bicategorical framework, removing nonessential theorems, further contextualizing results, and making more explicit constructions and proofs

MSC Class: 03G30 (Primary); 03A10; 03B20; 18C10; 18C50; 18E08; 18N10