-
Folded symplectic forms in contact topology
Authors:
Joseph Breen
Abstract:
We establish the relationship between folded symplectic forms and convex hypersurface theory in contact topology. As an application, we use convex hypersurface theory to reprove and strengthen the existence result for folded symplectic forms due to Cannas da Silva, and we generalize to all even dimensions Baykur's $4$-dimensional existence result of folded Weinstein structures and folded Lefschetz…
▽ More
We establish the relationship between folded symplectic forms and convex hypersurface theory in contact topology. As an application, we use convex hypersurface theory to reprove and strengthen the existence result for folded symplectic forms due to Cannas da Silva, and we generalize to all even dimensions Baykur's $4$-dimensional existence result of folded Weinstein structures and folded Lefschetz fibrations.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Threshold graphs, Kemeny's constant, and related random walk parameters
Authors:
Jane Breen,
Sooyeong Kim,
Alexander Low Fung,
Amy Mann,
Andrei A. Parfeni,
Giovanni Tedesco
Abstract:
Kemeny's constant measures how fast a random walker moves around in a graph. Expressions for Kemeny's constant can be quite involved, and for this reason, many lines of research focus on graphs with structure that makes them amenable to more in-depth study (for example, regular graphs, acyclic graphs, and 1-connected graphs). In this article, we study Kemeny's constant for random walks on threshol…
▽ More
Kemeny's constant measures how fast a random walker moves around in a graph. Expressions for Kemeny's constant can be quite involved, and for this reason, many lines of research focus on graphs with structure that makes them amenable to more in-depth study (for example, regular graphs, acyclic graphs, and 1-connected graphs). In this article, we study Kemeny's constant for random walks on threshold graphs, which are an interesting family of graphs with properties that make examining Kemeny's constant difficult; that is, they are usually not regular, not acyclic, and not 1-connected. This article is a showcase of various techniques for calculating Kemeny's constant and related random walk parameters for graphs. We establish explicit formulae for $\mathcal{K}(G)$ in terms of the construction code of a threshold graph, and completely determine the ordering of the accessibility indices of vertices in threshold graphs.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
The Giroux correspondence in arbitrary dimensions
Authors:
Joseph Breen,
Ko Honda,
Yang Huang
Abstract:
We establish the Giroux correspondence in arbitrary dimensions. As corollaries we (i) give an alternate proof of a result of Giroux-Pardon that states that any Weinstein domain is Weinstein homotopic to one which admits a Weinstein Lefschetz fibration and (ii) prove that any two Weinstein Lefschetz fibrations whose Weinstein domain structures are Weinstein homotopic are related by the Weinstein Le…
▽ More
We establish the Giroux correspondence in arbitrary dimensions. As corollaries we (i) give an alternate proof of a result of Giroux-Pardon that states that any Weinstein domain is Weinstein homotopic to one which admits a Weinstein Lefschetz fibration and (ii) prove that any two Weinstein Lefschetz fibrations whose Weinstein domain structures are Weinstein homotopic are related by the Weinstein Lefschetz fibration moves, affirming a conjecture of Giroux-Pardon.
△ Less
Submitted 27 June, 2024; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Kemeny's constant for a graph with bridges
Authors:
Jane Breen,
Emanuele Crisostomi,
Sooyeong Kim
Abstract:
In this paper, we determine a formula for Kemeny's constant for a graph with multiple bridges, in terms of quantities that are inherent to the subgraphs obtained upon removal of all bridges and that can be computed independently. With the formula, we consider several optimization problems for Kemeny's constant for graphs with bridges, and we remark on the computational benefit of this formula for…
▽ More
In this paper, we determine a formula for Kemeny's constant for a graph with multiple bridges, in terms of quantities that are inherent to the subgraphs obtained upon removal of all bridges and that can be computed independently. With the formula, we consider several optimization problems for Kemeny's constant for graphs with bridges, and we remark on the computational benefit of this formula for the computation of Kemeny's constant. Finally, we discuss some potential applications.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Kemeny's constant for non-backtracking random walks
Authors:
Jane Breen,
Nolan Faught,
Cory Glover,
Mark Kempton,
Adam Knudson,
Alice Oveson
Abstract:
Kemeny's constant for a connected graph $G$ is the expected time for a random walk to reach a randomly-chosen vertex $u$, regardless of the choice of the initial vertex. We extend the definition of Kemeny's constant to non-backtracking random walks and compare it to Kemeny's constant for simple random walks. We explore the relationship between these two parameters for several families of graphs an…
▽ More
Kemeny's constant for a connected graph $G$ is the expected time for a random walk to reach a randomly-chosen vertex $u$, regardless of the choice of the initial vertex. We extend the definition of Kemeny's constant to non-backtracking random walks and compare it to Kemeny's constant for simple random walks. We explore the relationship between these two parameters for several families of graphs and provide closed-form expressions for regular and biregular graphs. In nearly all cases, the non-backtracking variant yields the smaller Kemeny's constant.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Constructions of cospectral graphs with different zero forcing numbers
Authors:
Aida Abiad,
Boris Brimkov,
Jane Breen,
Thomas R. Cameron,
Himanshu Gupta,
Ralihe R. Villagrán
Abstract:
Several researchers have recently explored various graph parameters that can or cannot be characterized by the spectrum of a matrix associated with a graph. In this paper we show that several NP-hard zero forcing numbers are not characterized by the spectra of several types of associated matrices with a graph. In particular, we consider standard zero forcing, positive semidefinite zero forcing, an…
▽ More
Several researchers have recently explored various graph parameters that can or cannot be characterized by the spectrum of a matrix associated with a graph. In this paper we show that several NP-hard zero forcing numbers are not characterized by the spectra of several types of associated matrices with a graph. In particular, we consider standard zero forcing, positive semidefinite zero forcing, and skew zero forcing, and provide constructions of infinite families of pairs of cospectral graphs which have different values for these numbers. We explore several methods for obtaining these cospectral graphs including using graph products, graph joins, and graph switching. Among these, we provide a construction involving regular adjacency cospectral graphs; the regularity of this construction also implies cospectrality with respect to several other matrices including the Laplacian, signless Laplacian, and normalized Laplacian. We also provide a construction where pairs of cospectral graphs can have an arbitrarily large difference between their zero forcing numbers.
△ Less
Submitted 22 April, 2022; v1 submitted 24 November, 2021;
originally announced November 2021.
-
Mitsumatsu's Liouville domains are stably Weinstein
Authors:
Joseph Breen,
Austin Christian
Abstract:
We develop explicit local operations that may be applied to Liouville domains, with the goal of simplifying the dynamics of the Liouville vector field. These local operations, which are Liouville homotopies, are inspired by the techniques used by Honda and Huang in [HH19] to show that convex hypersurfaces are $C^0$-generic in contact manifolds. As an application, we use our operations to show that…
▽ More
We develop explicit local operations that may be applied to Liouville domains, with the goal of simplifying the dynamics of the Liouville vector field. These local operations, which are Liouville homotopies, are inspired by the techniques used by Honda and Huang in [HH19] to show that convex hypersurfaces are $C^0$-generic in contact manifolds. As an application, we use our operations to show that Mitsumatsu's well-known Liouville-but-not-Weinstein domains are stably Weinstein, answering a question asked by Huang in [Hua20].
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Maximum spread of graphs and bipartite graphs
Authors:
Jane Breen,
Alex W. N. Riasanovsky,
Michael Tait,
John Urschel
Abstract:
Given any graph $G$, the (adjacency) spread of $G$ is the maximum absolute difference between any two eigenvalues of the adjacency matrix of $G$. In this paper, we resolve a pair of 20-year-old conjectures of Gregory, Hershkowitz, and Kirkland regarding the spread of graphs. The first states that for all positive integers $n$, the $n$-vertex graph $G$ that maximizes spread is the join of a clique…
▽ More
Given any graph $G$, the (adjacency) spread of $G$ is the maximum absolute difference between any two eigenvalues of the adjacency matrix of $G$. In this paper, we resolve a pair of 20-year-old conjectures of Gregory, Hershkowitz, and Kirkland regarding the spread of graphs. The first states that for all positive integers $n$, the $n$-vertex graph $G$ that maximizes spread is the join of a clique and an independent set, with $\lfloor 2n/3 \rfloor$ and $\lceil n/3 \rceil$ vertices, respectively. Using techniques from the theory of graph limits and numerical analysis, we prove this claim for all $n$ sufficiently large. As an intermediate step, we prove an analogous result for a family of operators in the Hilbert space over $\mathscr{L}^2[0,1]$. The second conjecture claims that for any fixed $e\leq n^2/4$, if $G$ maximizes spread over all $n$-vertex graphs with $e$ edges, then $G$ is bipartite. We prove an asymptotic version of this conjecture. Furthermore, we exhibit an infinite family of counterexamples, which shows that our asymptotic solution is tight up to lower order error terms.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Hadamard diagonalizable graphs of order at most 36
Authors:
Jane Breen,
Steve Butler,
Melissa Fuentes,
Bernard Lidický,
Michael Phillips,
Alexander W. N. Riasanovksy,
Sung-Yell Song,
Ralihe R. Villagrán,
Cedar Wiseman,
Xiaohong Zhang
Abstract:
If the Laplacian matrix of a graph has a full set of orthogonal eigenvectors with entries $\pm1$, then the matrix formed by taking the columns as the eigenvectors is a Hadamard matrix and the graph is said to be Hadamard diagonalizable.
In this article, we prove that if $n=8k+4$ the only possible Hadamard diagonalizable graphs are $K_n$, $K_{n/2,n/2}$, $2K_{n/2}$, and $nK_1$, and we develop an e…
▽ More
If the Laplacian matrix of a graph has a full set of orthogonal eigenvectors with entries $\pm1$, then the matrix formed by taking the columns as the eigenvectors is a Hadamard matrix and the graph is said to be Hadamard diagonalizable.
In this article, we prove that if $n=8k+4$ the only possible Hadamard diagonalizable graphs are $K_n$, $K_{n/2,n/2}$, $2K_{n/2}$, and $nK_1$, and we develop an efficient computation for determining all graphs diagonalized by a given Hadamard matrix of any order. Using these two tools, we determine and present all Hadamard diagonalizable graphs up to order 36. Note that it is not even known how many Hadamard matrices there are of order 36.
△ Less
Submitted 15 August, 2020; v1 submitted 17 July, 2020;
originally announced July 2020.
-
Morse-Smale characteristic foliations and convexity in contact manifolds
Authors:
Joseph Breen
Abstract:
We generalize a result of Giroux which says that a closed surface in a contact $3$-manifold with Morse-Smale characteristic foliation is convex. Specifically, we show that the result holds in contact manifolds of arbitrary dimension. As an application, we show that a particular closed hypersurface introduced by A. Mori is $C^{\infty}$-close to a convex hypersurface.
We generalize a result of Giroux which says that a closed surface in a contact $3$-manifold with Morse-Smale characteristic foliation is convex. Specifically, we show that the result holds in contact manifolds of arbitrary dimension. As an application, we show that a particular closed hypersurface introduced by A. Mori is $C^{\infty}$-close to a convex hypersurface.
△ Less
Submitted 1 July, 2020; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Optimizing the trade-off between number of cops and capture time in Cops and Robbers
Authors:
Anthony Bonato,
Jane Breen,
Boris Brimkov,
Joshua Carlson,
Sean English,
Jesse Geneson,
Leslie Hogben,
K. E. Perry,
Carolyn Reinhart
Abstract:
The cop throttling number $th_c(G)$ of a graph $G$ for the game of Cops and Robbers is the minimum of $k + capt_k(G)$, where $k$ is the number of cops and $capt_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games in which both players play optimally. In this paper, we construct a family of graphs having $th_c(G)= Ω(n^{2/3})$, establish a s…
▽ More
The cop throttling number $th_c(G)$ of a graph $G$ for the game of Cops and Robbers is the minimum of $k + capt_k(G)$, where $k$ is the number of cops and $capt_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games in which both players play optimally. In this paper, we construct a family of graphs having $th_c(G)= Ω(n^{2/3})$, establish a sublinear upper bound on the cop throttling number, and show that the cop throttling number of chordal graphs is $O(\sqrt{n})$. We also introduce the product cop throttling number $th_c^{\times}(G)$ as a parameter that minimizes the person-hours used by the cops. This parameter extends the notion of speed-up that has been studied in the context of parallel processing and network decontamination. We establish bounds on the product cop throttling number in terms of the cop throttling number, characterize graphs with low product cop throttling number, and show that for a chordal graph $G$, $th_c^{\times}=1+rad(G)$.
△ Less
Submitted 13 September, 2019; v1 submitted 24 March, 2019;
originally announced March 2019.
-
Throttling for the game of Cops and Robbers on graphs
Authors:
Jane Breen,
Boris Brimkov,
Joshua Carlson,
Leslie Hogben,
K. E. Perry,
Carolyn Reinhart
Abstract:
We consider the cop-throttling number of a graph $G$ for the game of Cops and Robbers, which is defined to be the minimum of $(k + \text{capt}_k(G))$, where $k$ is the number of cops and $\text{capt}_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games. We provide some tools for bounding the cop-throttling number, including showing that the…
▽ More
We consider the cop-throttling number of a graph $G$ for the game of Cops and Robbers, which is defined to be the minimum of $(k + \text{capt}_k(G))$, where $k$ is the number of cops and $\text{capt}_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games. We provide some tools for bounding the cop-throttling number, including showing that the positive semidefinite (PSD) throttling number, a variant of zero forcing throttling, is an upper bound for the cop-throttling number. We also characterize graphs having low cop-throttling number and investigate how large the cop-throttling number can be for a given graph. We consider trees, unicyclic graphs, incidence graphs of finite projective planes (a Meyniel extremal family of graphs), a family of cop-win graphs with maximum capture time, grids, and hypercubes. All the upper bounds on the cop-throttling number we obtain for families of graphs are $ O(\sqrt n)$.
△ Less
Submitted 25 February, 2018; v1 submitted 20 December, 2017;
originally announced December 2017.