Showing 1–50 of 50 results for author: Mcdonald, J

A reduction of the "cycles plus $K_4$'s" problem

Authors: Aseem Dalal, Jessica McDonald, Songling Shan

Abstract: Let $H$ be a 2-regular graph and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. The "cycles plus $K_4$'s" problem is to show that $G$ is 4-colourable; this is a special case of the \emph{Strong Colouring Conjecture}. In this paper we reduce the "cycles plus $K_4$'s" problem to a specific 3-colourability problem. In the 3-colourability problem, vertex-disjoint triangles… ▽ More Let $H$ be a 2-regular graph and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. The "cycles plus $K_4$'s" problem is to show that $G$ is 4-colourable; this is a special case of the \emph{Strong Colouring Conjecture}. In this paper we reduce the "cycles plus $K_4$'s" problem to a specific 3-colourability problem. In the 3-colourability problem, vertex-disjoint triangles are glued (in a limited way) onto a disjoint union of triangles and paths of length at most 12, and we ask for 3-colourability of the resulting graph. △ Less

Submitted 25 June, 2024; originally announced June 2024.

MSC Class: 05C15

Monadic ortholattices: completions and duality

Authors: John Harding, Joseph McDonald, Miguel Peinado

Abstract: We show that the variety of monadic ortholattices is closed under MacNeille and canonical completions. In each case, the completion of $L$ is obtained by forming an associated dual space $X$ that is a monadic orthoframe. This is a set with an orthogonality relation and an additional binary relation satisfying certain conditions. For the MacNeille completion, $X$ is formed from the non-zero element… ▽ More We show that the variety of monadic ortholattices is closed under MacNeille and canonical completions. In each case, the completion of $L$ is obtained by forming an associated dual space $X$ that is a monadic orthoframe. This is a set with an orthogonality relation and an additional binary relation satisfying certain conditions. For the MacNeille completion, $X$ is formed from the non-zero elements of $L$, and for the canonical completion, $X$ is formed from the proper filters of $L$. The corresponding completion of $L$ is then obtained as the ortholattice of bi-orthogonally closed subsets of $X$ with an additional operation defined through the binary relation of $X$. With the introduction of a suitable topology on an orthoframe, as was done by Goldblatt and Bimbó, we obtain a dual adjunction between the categories of monadic ortholattices and monadic orthospaces. A restriction of this dual adjunction provides a dual equivalence. △ Less

Submitted 10 June, 2024; originally announced June 2024.

MSC Class: 06C15; 06B23 06E15

On orientations with forbidden out-degrees

Authors: Owen Henderschedt, Jessica McDonald

Abstract: Let $G$ be a $d$-regular graph and let $F\subseteq\{0, 1, 2, \ldots, d\}$ be a list of forbidden out-degrees. Akbari, Dalirrooyfard, Ehsani, Ozeki, and Sherkati conjectured that if $|F|<\tfrac{1}{2}d$, then $G$ should admit an $F$-avoiding orientation, i.e., an orientation where no out-degrees are in the forbidden list $F$. The conjecture is known for $d\leq 4$ due to work of Ma and Lu, and here w… ▽ More Let $G$ be a $d$-regular graph and let $F\subseteq\{0, 1, 2, \ldots, d\}$ be a list of forbidden out-degrees. Akbari, Dalirrooyfard, Ehsani, Ozeki, and Sherkati conjectured that if $|F|<\tfrac{1}{2}d$, then $G$ should admit an $F$-avoiding orientation, i.e., an orientation where no out-degrees are in the forbidden list $F$. The conjecture is known for $d\leq 4$ due to work of Ma and Lu, and here we extend this to $d\leq 6$. The conjecture has also been studied in a generalized version, where $d, F$ are changed from constant values to functions $d(v), F(v)$ that vary over all $v\in V(G)$. We provide support for this generalized version by verifying it for some new cases, including when $G$ is 2-degenerate and when every $F(v)$ has some specific structure. △ Less

Submitted 7 June, 2024; originally announced June 2024.

Comments: 10 pages, 2 figures

Total coloring graphs with large maximum degree

Authors: Aseem Dalal, Jessica McDonald, Songling Shan

Abstract: We prove that for any graph $G$, the total chromatic number of $G$ is at most $Δ(G)+2\left\lceil \frac{|V(G)|}{Δ(G)+1} \right\rceil$. This saves one color in comparison with a result of Hind from 1992. In particular, our result says that if $Δ(G)\ge \frac{1}{2}|V(G)|$, then $G$ has a total coloring using at most $Δ(G)+4$ colors. When $G$ is regular and has a sufficient number of vertices, we can a… ▽ More We prove that for any graph $G$, the total chromatic number of $G$ is at most $Δ(G)+2\left\lceil \frac{|V(G)|}{Δ(G)+1} \right\rceil$. This saves one color in comparison with a result of Hind from 1992. In particular, our result says that if $Δ(G)\ge \frac{1}{2}|V(G)|$, then $G$ has a total coloring using at most $Δ(G)+4$ colors. When $G$ is regular and has a sufficient number of vertices, we can actually save an additional two colors. Specifically, we prove that for any $0<\varepsilon <1$, there exists $n_0\in \mathbb{N}$ such that: if $G$ is an $r$-regular graph on $n \ge n_0$ vertices with $r\ge \frac{1}{2}(1+\varepsilon) n$, then $χ_T(G) \le Δ(G)+2$. This confirms the Total Coloring Conjecture for such graphs $G$. △ Less

Submitted 12 May, 2024; originally announced May 2024.

MSC Class: 05C15

Balanced-chromatic number and Hadwiger-like conjectures

Authors: Andrea Jiménez, Jessica Mcdonald, Reza Naserasr, Kathryn Nurse, Daniel A. Quiroz

Abstract: Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward strengthening some of these results, we consider the \emph{balanced chromatic number}, $χ_b(\hat{G})$, of a signed graph $\hat{G}$. This is the minimum number of parts into which the vertices of a signed graph can be par… ▽ More Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward strengthening some of these results, we consider the \emph{balanced chromatic number}, $χ_b(\hat{G})$, of a signed graph $\hat{G}$. This is the minimum number of parts into which the vertices of a signed graph can be partitioned so that none of the parts induces a negative cycle. This extends the notion of the chromatic number of a graph since $χ(G)=χ_b(\tilde{G})$, where $\tilde{G}$ denotes the signed graph obtained from~$G$ by replacing each edge with a pair of (parallel) positive and negative edges. We introduce a signed version of Hadwiger's conjecture as follows. Conjecture: If a signed graph $\hat{G}$ has no negative loop and no $\tilde{K_t}$-minor, then its balanced chromatic number is at most $t-1$. We prove that this conjecture is, in fact, equivalent to Hadwiger's conjecture and show its relation to the Odd Hadwiger Conjecture. Motivated by these results, we also consider the relation between subdivisions and balanced chromatic number. We prove that if $(G, σ)$ has no negative loop and no $\tilde{K_t}$-subdivision, then it admits a balanced $\frac{79}{2}t^2$-coloring. This qualitatively generalizes a result of Kawarabayashi (2013) on totally odd subdivisions. △ Less

Submitted 2 August, 2023; originally announced August 2023.

Group connectivity of 3-edge-connected signed graphs

Authors: Alejandra Brewer Castano, Jessica McDonald, Kathryn Nurse

Abstract: Jaeger, Linial, Payan, and Tarsi introduced the notion of $A$-connectivity for graphs in 1992, and proved a decomposition for cubic graphs from which $A$-connectivity follows for all 3-edge-connected graphs when $|A|\geq 6$. The concept of $A$-connectivity was generalized to signed graphs by Li, Luo, Ma, and Zhang in 2018 and they proved that all 4-edge-connected flow-admissible signed graphs are… ▽ More Jaeger, Linial, Payan, and Tarsi introduced the notion of $A$-connectivity for graphs in 1992, and proved a decomposition for cubic graphs from which $A$-connectivity follows for all 3-edge-connected graphs when $|A|\geq 6$. The concept of $A$-connectivity was generalized to signed graphs by Li, Luo, Ma, and Zhang in 2018 and they proved that all 4-edge-connected flow-admissible signed graphs are $A$-connected when $|A|\geq 4$ and $|A|\neq 5$. We prove that all 3-edge-connected flow-admissible signed graphs are $A$-connected when $|A|\geq 6$ and $|A|\neq 7$. Our proof is based on a decomposition that is a signed-graph analogue of the decomposition found by Jaeger et. al, and which may be of independent interest. △ Less

Submitted 7 June, 2023; originally announced June 2023.

Direct and ordinal products realized by triangular norm operators with no zero divisors

Authors: Joseph McDonald

Abstract: IIn this note we continue the work of Chon, as well as Mezzomo, Bedregal, and Santiago, by studying algebraic operations on fuzzy posets and bounded fuzzy lattices. We first prove that fuzzy posets are closed under finite direct products whenever the triangular norm realizing the product construction has no zero divisors. This result is then extended to the case of bounded fuzzy lattices. Some imm… ▽ More IIn this note we continue the work of Chon, as well as Mezzomo, Bedregal, and Santiago, by studying algebraic operations on fuzzy posets and bounded fuzzy lattices. We first prove that fuzzy posets are closed under finite direct products whenever the triangular norm realizing the product construction has no zero divisors. This result is then extended to the case of bounded fuzzy lattices. Some immediate consequences are then obtained within the setting of direct products realized by triangular norms with no nilpotent elements as well as strictly monotone and cancellative triangular norms. We then introduce a triangular norm based construction of ordinal products and similarly show that fuzzy posets are closed under ordinal products whenever the triangular norm realizing the product construction has no zero divisors. △ Less

Submitted 15 June, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

MSC Class: 06D72; 08A72; 03E72

Another proof of Seymour's 6-flow theorem

Authors: Matt DeVos, Jessica McDonald, Kathryn Nurse

Abstract: In 1981 Seymour proved his famous 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero flow in the group ${\mathbb Z}_2 \times {\mathbb Z}_3$ (in fact, he offers two proofs of this result). In this note we give a new short proof of a generalization of this theorem where ${\mathbb Z}_2 \times {\mathbb Z}_3$-valued functions are found subject to certain boundary constraints. In 1981 Seymour proved his famous 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero flow in the group ${\mathbb Z}_2 \times {\mathbb Z}_3$ (in fact, he offers two proofs of this result). In this note we give a new short proof of a generalization of this theorem where ${\mathbb Z}_2 \times {\mathbb Z}_3$-valued functions are found subject to certain boundary constraints. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Comments: 3 pages

Exponential Family Trend Filtering on Lattices

Authors: Veeranjaneyulu Sadhanala, Robert Bassett, James Sharpnack, Daniel J. McDonald

Abstract: Trend filtering is a modern approach to nonparametric regression that is more adaptive to local smoothness than splines or similar basis procedures. Existing analyses of trend filtering focus on estimating a function corrupted by homoskedastic Gaussian noise, but our work extends this technique to general exponential family distributions. This extension is motivated by the need to study massive, g… ▽ More Trend filtering is a modern approach to nonparametric regression that is more adaptive to local smoothness than splines or similar basis procedures. Existing analyses of trend filtering focus on estimating a function corrupted by homoskedastic Gaussian noise, but our work extends this technique to general exponential family distributions. This extension is motivated by the need to study massive, gridded climate data derived from polar-orbiting satellites. We present algorithms tailored to large problems, theoretical results for general exponential family likelihoods, and principled methods for tuning parameter selection without excess computation. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 53 pages; 6 figures; 3 tables

Topological duality for orthomodular lattices

Authors: Joseph McDonald, Katalin Bimbó

Abstract: A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimbó's topologization of the class of orthoframes employed by Goldblatt in his representation of ortholattices. We then prove that the category of orthomodular la… ▽ More A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimbó's topologization of the class of orthoframes employed by Goldblatt in his representation of ortholattices. We then prove that the category of orthomodular lattices and homomorphisms is dually equivalent to the category of orthomodular spaces and certain continuous frame morphisms, which we call continuous weak p-morphisms. It is well-known that orthomodular lattices provide an algebraic semantics for the quantum logic Q. Hence, as an application of our duality, we develop a topological semantics for Q using orthomodular spaces and prove soundness and completeness. △ Less

Submitted 25 April, 2023; v1 submitted 15 August, 2022; originally announced August 2022.

MSC Class: 06E15; 06C15 (Primary); 03G12 (Secondary)

A short and elementary proof of Brauer's theorem

Authors: Judith J. McDonald, Pietro Paparella

Abstract: A short and elementary proof is given of a celebrated eigenvalue-perturbation result due to Alfred Brauer. A short and elementary proof is given of a celebrated eigenvalue-perturbation result due to Alfred Brauer. △ Less

Submitted 27 September, 2021; originally announced October 2021.

MSC Class: 97H60; 15A18

A Note on the Immersion Number of Generalized Mycielski Graphs

Authors: Karen L. Collins, Megan E. Heenehan, Jessica McDonald

Abstract: The immersion number of a graph $G$, denoted im$(G)$, is the largest $t$ such that $G$ has a $K_t$-immersion. In this note we are interested in determining the immersion number of the $m$-Mycielskian of $G$, denoted $μ_m(G)$. Given the immersion number of $G$ we provide a lower bound for im$(μ_m(G))$. To do this we introduce the "distinct neighbor property" of immersions. We also include examples… ▽ More The immersion number of a graph $G$, denoted im$(G)$, is the largest $t$ such that $G$ has a $K_t$-immersion. In this note we are interested in determining the immersion number of the $m$-Mycielskian of $G$, denoted $μ_m(G)$. Given the immersion number of $G$ we provide a lower bound for im$(μ_m(G))$. To do this we introduce the "distinct neighbor property" of immersions. We also include examples of classes of graphs where im$(μ_m(G))$ exceeds the lower bound. We conclude with a conjecture about im$(μ_m(K_t))$. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: 9 pages, 2 figures, submitted to Proceedings of the Southeastern Conference on Combinatorics, Graph Theory, and Computing

MSC Class: 05C75 (primary); 05C76; 05C69 (secondary)

Choice-free duality for orthocomplemented lattices by means of spectral spaces

Authors: Joseph McDonald, Kentaro Yamamoto

Abstract: The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander's Subbase Theorem, which asserts that a topological space $X$ is compact if every subbasic open cover of $X$ admits of a finite subcover. This is an easy consequence of the Ultrafilter Theorem - whose proof depends upon Zorn's Lemma, which is well know… ▽ More The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander's Subbase Theorem, which asserts that a topological space $X$ is compact if every subbasic open cover of $X$ admits of a finite subcover. This is an easy consequence of the Ultrafilter Theorem - whose proof depends upon Zorn's Lemma, which is well known to be equivalent to the Axiom of Choice. Within this work, we give a choice-free topological representation of orthocomplemented lattices by means of a special subclass of spectral spaces; choice-free in the sense that our representation avoids use of Alexander's Subbase Theorem, along with its associated nonconstructive choice principles. We then introduce a new subclass of spectral spaces which we call \emph{upper Vietoris orthospaces} in order to characterize (up to homeomorphism and isomorphism) the spectral space of proper lattice filters used in our representation. It is then shown how our constructions give rise to a choice-free dual equivalence of categories between the category of orthocomplemented lattices and the dual category of upper Vietoris orthospaces. Our duality combines Bezhanishvili and Holliday's choice-free spectral space approach to Stone duality for Boolean algebras with Goldblatt and Bimbó's choice-dependent orthospace approach to Stone duality for orthocomplemented lattices. △ Less

Submitted 27 February, 2022; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: The definitions of morphisms in the category UVO has been amended

MSC Class: 06C15; 06E15; 03E25

A Sampling Theorem for Deconvolution in Two Dimensions

Authors: Joseph McDonald, Brett Bernstein, Carlos Fernandez-Granda

Abstract: This work studies the problem of estimating a two-dimensional superposition of point sources or spikes from samples of their convolution with a Gaussian kernel. Our results show that minimizing a continuous counterpart of the $\ell_1$ norm exactly recovers the true spikes if they are sufficiently separated, and the samples are sufficiently dense. In addition, we provide numerical evidence that our… ▽ More This work studies the problem of estimating a two-dimensional superposition of point sources or spikes from samples of their convolution with a Gaussian kernel. Our results show that minimizing a continuous counterpart of the $\ell_1$ norm exactly recovers the true spikes if they are sufficiently separated, and the samples are sufficiently dense. In addition, we provide numerical evidence that our results extend to non-Gaussian kernels relevant to microscopy and telescopy. △ Less

Submitted 4 August, 2020; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 41 pages, 18 figures; added references and additional comments and description throughout for clarity

Strong coloring 2-regular graphs: Cycle restrictions and partial colorings

Authors: Jessica McDonald, Gregory J. Puleo

Abstract: Let $H$ be a graph with $Δ(H) \leq 2$, and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. We prove that if $H$ contains at most one odd cycle of length exceeding $3$, or if $H$ contains at most $3$ triangles, then $χ(G) \leq 4$. This proves the Strong Coloring Conjecture for such graphs $H$. For graphs $H$ with $Δ=2$ that are not covered by our theorem, we prove an appr… ▽ More Let $H$ be a graph with $Δ(H) \leq 2$, and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. We prove that if $H$ contains at most one odd cycle of length exceeding $3$, or if $H$ contains at most $3$ triangles, then $χ(G) \leq 4$. This proves the Strong Coloring Conjecture for such graphs $H$. For graphs $H$ with $Δ=2$ that are not covered by our theorem, we prove an approximation result towards the conjecture. △ Less

Submitted 6 July, 2021; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: 17 pages, 2 figures

MSC Class: 05C15

On clique immersions in line graphs

Authors: Michael Guyer, Jessica McDonald

Abstract: We prove that if $L(G)$ immerses $K_t$ then $L(mG)$ immerses $K_{mt}$, where $mG$ is the graph obtained from $G$ by replacing each edge in $G$ with a parallel edge of multiplicity $m$. This implies that when $G$ is a simple graph, $L(mG)$ satisfies a conjecture of Abu-Khzam and Langston. We also show that when $G$ is a line graph, $G$ has a $K_t$-immersion iff $G$ has a $K_t$-minor whenever… ▽ More We prove that if $L(G)$ immerses $K_t$ then $L(mG)$ immerses $K_{mt}$, where $mG$ is the graph obtained from $G$ by replacing each edge in $G$ with a parallel edge of multiplicity $m$. This implies that when $G$ is a simple graph, $L(mG)$ satisfies a conjecture of Abu-Khzam and Langston. We also show that when $G$ is a line graph, $G$ has a $K_t$-immersion iff $G$ has a $K_t$-minor whenever $t\leq 4$, but this equivalence fails in both directions when $t \geq 5$. △ Less

Submitted 15 May, 2020; v1 submitted 17 September, 2019; originally announced September 2019.

Comments: 11 pages, 5 figures

List-Edge-Coloring Triangulations with Maximum Degree at most 5

Authors: Joshua Harrelson, Jessica McDonald

Abstract: We prove that triangulations with maximum degree at most 5 satisfy the List-Edge-Coloring Conjecture. We prove that triangulations with maximum degree at most 5 satisfy the List-Edge-Coloring Conjecture. △ Less

Submitted 14 December, 2023; v1 submitted 3 September, 2019; originally announced September 2019.

Clique immersion in graph products

Authors: Karen L. Collins, Megan E. Heenehan, Jessica McDonald

Abstract: Let $G,H$ be graphs and $G*H$ represent a particular graph product of $G$ and $H$. We define $im(G)$ to be the largest $t$ such that $G$ has a $K_t$-immersion and ask: given $im(G)=t$ and $im(H)=r$, how large is $im(G*H)$? Best possible lower bounds are provided when $*$ is the Cartesian or lexicographic product, and a conjecture is offered for each of the direct and strong products, along with so… ▽ More Let $G,H$ be graphs and $G*H$ represent a particular graph product of $G$ and $H$. We define $im(G)$ to be the largest $t$ such that $G$ has a $K_t$-immersion and ask: given $im(G)=t$ and $im(H)=r$, how large is $im(G*H)$? Best possible lower bounds are provided when $*$ is the Cartesian or lexicographic product, and a conjecture is offered for each of the direct and strong products, along with some partial results. △ Less

Submitted 27 August, 2019; originally announced August 2019.

Comments: 23 pages, 7 figures

MSC Class: 05c

Upper bounds for inverse domination in graphs

Authors: Elliot Krop, Jessica McDonald, Gregory J. Puleo

Abstract: In any graph $G$, the domination number $γ(G)$ is at most the independence number $α(G)$. The Inverse Domination Conjecture says that, in any isolate-free $G$, there exists pair of vertex-disjoint dominating sets $D, D'$ with $|D|=γ(G)$ and $|D'| \leq α(G)$. Here we prove that this statement is true if the upper bound $α(G)$ is replaced by $\frac{3}{2}α(G) - 1$ (and $G$ is not a clique). We also p… ▽ More In any graph $G$, the domination number $γ(G)$ is at most the independence number $α(G)$. The Inverse Domination Conjecture says that, in any isolate-free $G$, there exists pair of vertex-disjoint dominating sets $D, D'$ with $|D|=γ(G)$ and $|D'| \leq α(G)$. Here we prove that this statement is true if the upper bound $α(G)$ is replaced by $\frac{3}{2}α(G) - 1$ (and $G$ is not a clique). We also prove that the conjecture holds whenever $γ(G)\leq 5$ or $|V(G)|\leq 16$. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: 9 pages

MSC Class: 05C69

Journal ref: Theory and Applications of Graphs, 8(2): Article 5, (2021)

Non-monochromatic Triangles in a 2-Edge-Coloured Graph

Authors: Matt DeVos, Jessica McDonald, Amanda Montejano

Abstract: Let $G = (V,E)$ be a simple graph and let $\{R,B\}$ be a partition of $E$. We prove that whenever $|E| + \min\{ |R|, |B| \} > { |V| \choose 2 }$, there exists a subgraph of $G$ isomorphic to $K_3$ which contains edges from both $R$ and $B$. We conjecture a natural generalization to partitions with more blocks. Let $G = (V,E)$ be a simple graph and let $\{R,B\}$ be a partition of $E$. We prove that whenever $|E| + \min\{ |R|, |B| \} > { |V| \choose 2 }$, there exists a subgraph of $G$ isomorphic to $K_3$ which contains edges from both $R$ and $B$. We conjecture a natural generalization to partitions with more blocks. △ Less

Submitted 26 September, 2018; originally announced September 2018.

Packing and covering directed triangles

Authors: Jessica McDonald, Gregory J. Puleo, Craig Tennenhouse

Abstract: We prove that if a directed multigraph $D$ has at most $t$ pairwise arc-disjoint directed triangles, then there exists a set of less than $2t$ arcs in $D$ which meets all directed triangles in $D$, except in the trivial case $t=0$. This answers affirmatively a question of Tuza from 1990. We prove that if a directed multigraph $D$ has at most $t$ pairwise arc-disjoint directed triangles, then there exists a set of less than $2t$ arcs in $D$ which meets all directed triangles in $D$, except in the trivial case $t=0$. This answers affirmatively a question of Tuza from 1990. △ Less

Submitted 7 March, 2019; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: 4 pages, 1 figure. The previous version had an error in the argument for the strict inequality in the case where digons are permitted; this version fixes the error

MSC Class: 05C70; 05C20

$t$-cores for $(Δ+t)$-edge-colouring

Authors: Jessica McDonald, Gregory J. Puleo

Abstract: We extend the edge-coloring notion of core (subgraph induced by the vertices of maximum degree) to $t$-core (subgraph induced by the vertices $v$ with $d(v)+μ(v)> Δ+t$), and find a sufficient condition for $(Δ+t)$-edge-coloring. In particular, we show that for any $t\geq 0$, if the $t$-core of $G$ has multiplicity at most $t+1$, with its edges of multiplicity $t+1$ inducing a multiforest, then… ▽ More We extend the edge-coloring notion of core (subgraph induced by the vertices of maximum degree) to $t$-core (subgraph induced by the vertices $v$ with $d(v)+μ(v)> Δ+t$), and find a sufficient condition for $(Δ+t)$-edge-coloring. In particular, we show that for any $t\geq 0$, if the $t$-core of $G$ has multiplicity at most $t+1$, with its edges of multiplicity $t+1$ inducing a multiforest, then $χ'(G) \leq Δ+t$. This extends previous work of Ore, Fournier, and Berge and Fournier. A stronger version of our result (which replaces the multiforest condition with a vertex-ordering condition) generalizes a theorem of Hoffman and Rodger about cores of $Δ$-edge-colourable simple graphs. In fact, our bounds hold not only for chromatic index, but for the \emph{fan number} of a graph, a parameter introduced by Scheide and Stiebitz as an upper bound on chromatic index. We are able to give an exact characterization of the graphs $H$ such that $\mathrm{Fan}(G) \leq Δ(G)+t$ whenever $G$ has $H$ as its $t$-core. △ Less

Submitted 31 July, 2018; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: 15 pages, 2 figures. This version fixes an issue with the definition of the fan number, and makes several smaller improvements

MSC Class: 05C15

List-edge-colouring planar graphs with precoloured edges

Authors: Joshua Harrelson, Jessica McDonald, Gregory J. Puleo

Abstract: Let $G$ be a simple planar graph of maximum degree $Δ$, let $t$ be a positive integer, and let $L$ be an edge list assignment on $G$ with $|L(e)| \geq Δ+t$ for all $e \in E(G)$. We prove that if $H$ is a subgraph of $G$ that has been $L$-edge-coloured, then the edge-precolouring can be extended to an $L$-edge-colouring of $G$, provided that $H$ has maximum degree $d\leq t$ and either $d \leq t-4$… ▽ More Let $G$ be a simple planar graph of maximum degree $Δ$, let $t$ be a positive integer, and let $L$ be an edge list assignment on $G$ with $|L(e)| \geq Δ+t$ for all $e \in E(G)$. We prove that if $H$ is a subgraph of $G$ that has been $L$-edge-coloured, then the edge-precolouring can be extended to an $L$-edge-colouring of $G$, provided that $H$ has maximum degree $d\leq t$ and either $d \leq t-4$ or $Δ$ is large enough ($Δ\geq 16+d$ suffices). If $d>t$, there are examples for any choice of $Δ$ where the extension is impossible. △ Less

Submitted 9 July, 2018; v1 submitted 12 September, 2017; originally announced September 2017.

Comments: 14 pages, 3 figures, 1 table

Minimax density estimation for growing dimension

Authors: Daniel J. McDonald

Abstract: This paper presents minimax rates for density estimation when the data dimension $d$ is allowed to grow with the number of observations $n$ rather than remaining fixed as in previous analyses. We prove a non-asymptotic lower bound which gives the worst-case rate over standard classes of smooth densities, and we show that kernel density estimators achieve this rate. We also give oracle choices for… ▽ More This paper presents minimax rates for density estimation when the data dimension $d$ is allowed to grow with the number of observations $n$ rather than remaining fixed as in previous analyses. We prove a non-asymptotic lower bound which gives the worst-case rate over standard classes of smooth densities, and we show that kernel density estimators achieve this rate. We also give oracle choices for the bandwidth and derive the fastest rate $d$ can grow with $n$ to maintain estimation consistency. △ Less

Submitted 28 February, 2017; originally announced February 2017.

Comments: 10 pages; accepted at The 20th International Conference on Artificial Intelligence and Statistics (AISTATS)

Journal ref: Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, PMLR 54:194-203, 2017

3-Flows with Large Support

Authors: Matt DeVos, Jessica McDonald, Irene Pivotto, Edita Rollová, Robert Šámal

Abstract: We prove that every 3-edge-connected graph $G$ has a 3-flow $φ$ with the property that $|\mathop{supp}(φ)| \ge \frac{5}{6} |E(G)|$. The graph $K_4$ demonstrates that this $\frac{5}{6}$ ratio is best possible; there is an infinite family where $\frac 56$ is tight. We prove that every 3-edge-connected graph $G$ has a 3-flow $φ$ with the property that $|\mathop{supp}(φ)| \ge \frac{5}{6} |E(G)|$. The graph $K_4$ demonstrates that this $\frac{5}{6}$ ratio is best possible; there is an infinite family where $\frac 56$ is tight. △ Less

Submitted 18 February, 2021; v1 submitted 25 January, 2017; originally announced January 2017.

Comments: 55 pages, 38 figures

MSC Class: 05C21; 05C15

Journal ref: Matt DeVos, Jessica McDonald, Irene Pivotto, Edita Rollová, Robert Šámal: 3-Flows with large support Journal of Combinatorial Theory, Series B Volume 144, September 2020, Pages 32-80

On a limit of the method of Tashkinov trees for edge-colouring

Authors: John Asplund, Jessica McDonald

Abstract: The main technique used to edge-colour graphs requiring $Δ+2$ or more colours is the method of Tashkinov trees. We present a specific limit to this method, in terms of Kempe changes. We also provide a new Tashkinov tree extension. The main technique used to edge-colour graphs requiring $Δ+2$ or more colours is the method of Tashkinov trees. We present a specific limit to this method, in terms of Kempe changes. We also provide a new Tashkinov tree extension. △ Less

Submitted 25 April, 2016; originally announced April 2016.

On Galvin orientations of line graphs and list-edge-colouring

Authors: Jessica McDonald

Abstract: The notion of a Galvin orientation of a line graph is introduced, generalizing the idea used by Galvin in his landmark proof of the list-edge-colouring conjecture for bipartite graphs. If L(G) has a proper Galvin orientation with respect to k, then it immediately implies that G is k-list-edge-colourable, but the converse is not true. The stronger property is studied in graphs of the form `bipartit… ▽ More The notion of a Galvin orientation of a line graph is introduced, generalizing the idea used by Galvin in his landmark proof of the list-edge-colouring conjecture for bipartite graphs. If L(G) has a proper Galvin orientation with respect to k, then it immediately implies that G is k-list-edge-colourable, but the converse is not true. The stronger property is studied in graphs of the form `bipartite plus an edge', the Petersen graph, cliques, and simple graphs without odd cycles of length 5 or longer. △ Less

Submitted 7 August, 2015; originally announced August 2015.

Comments: arXiv admin note: text overlap with arXiv:1407.0626

The list chromatic index of simple graphs whose odd cycles intersect in at most one edge

Authors: Jessica McDonald, Gregory J. Puleo

Abstract: We study the class of simple graphs $\mathcal{G}^*$ for which every pair of distinct odd cycles intersect in at most one edge. We give a structural characterization of the graphs in $\mathcal{G}^*$ and prove that every $G \in \mathcal{G}^*$ satisfies the list-edge-coloring conjecture. When $Δ(G) \geq 4$, we in fact prove a stronger result about kernel-perfect orientations in $L(G)$ which implies t… ▽ More We study the class of simple graphs $\mathcal{G}^*$ for which every pair of distinct odd cycles intersect in at most one edge. We give a structural characterization of the graphs in $\mathcal{G}^*$ and prove that every $G \in \mathcal{G}^*$ satisfies the list-edge-coloring conjecture. When $Δ(G) \geq 4$, we in fact prove a stronger result about kernel-perfect orientations in $L(G)$ which implies that $G$ is $(mΔ(G):m)$-edge-choosable and $Δ(G)$-edge-paintable for every $m \geq 1$. △ Less

Submitted 18 November, 2017; v1 submitted 21 July, 2015; originally announced July 2015.

Comments: 15 pages, 8 figures. Minor fixes throughout the paper

MSC Class: 05C15 (primary); 05C20 (secondary)

Matrix roots of imprimitive irreducible nonnegative matrices

Authors: Judith J. McDonald, Pietro Paparella

Abstract: Using matrix function theory, Perron-Frobenius theory, combinatorial matrix theory, and elementary number theory, we characterize, classify, and describe in terms of the Jordan canonical form the matrix pth-roots of imprimitive irreducible nonnegative matrices. Preliminary results concerning the matrix roots of reducible matrices are provided as well. Using matrix function theory, Perron-Frobenius theory, combinatorial matrix theory, and elementary number theory, we characterize, classify, and describe in terms of the Jordan canonical form the matrix pth-roots of imprimitive irreducible nonnegative matrices. Preliminary results concerning the matrix roots of reducible matrices are provided as well. △ Less

Submitted 3 June, 2015; v1 submitted 16 July, 2014; originally announced July 2014.

Comments: To appear in Linear Algebra and its Applications

MSC Class: 15A16; 15B48; 15A21

Jordan chains of $h$-cyclic matrices

Authors: Judith J. McDonald, Pietro Paparella

Abstract: Arising from the classification of the matrix-roots of a nonnegative imprimitive irreducible matrix, we present results concerning the Jordan chains of an $h$-cyclic matrix. We also present ancillary results applicable to nonnegative imprimitive irreducible matrices and demonstrate these results via examples. Arising from the classification of the matrix-roots of a nonnegative imprimitive irreducible matrix, we present results concerning the Jordan chains of an $h$-cyclic matrix. We also present ancillary results applicable to nonnegative imprimitive irreducible matrices and demonstrate these results via examples. △ Less

Submitted 24 February, 2015; v1 submitted 16 July, 2014; originally announced July 2014.

Comments: To appear in the special issue "The Legacy of Hans Schneider" in Linear Algebra and its Applications

MSC Class: 15A18; 15B99; 15B48

A list analog of Vizing's Theorem for simple graphs with triangles but no other odd cycles

Authors: Jessica McDonald

Abstract: This paper has been withdrawn by the author. Peterson and Woodall previously proved that the list-edge-colouring conjecture holds for graphs without odd cycles of length 5 or longer. D. Peterson and D. R. Woodall, Edge-choosability in line-perfect multigraphs, Discrete Mathematics 202 (1999), 191-199. D. Peterson and D. R. Woodall, Erratum to "Edge-choosability in line-perfect multigraphs", Disc… ▽ More This paper has been withdrawn by the author. Peterson and Woodall previously proved that the list-edge-colouring conjecture holds for graphs without odd cycles of length 5 or longer. D. Peterson and D. R. Woodall, Edge-choosability in line-perfect multigraphs, Discrete Mathematics 202 (1999), 191-199. D. Peterson and D. R. Woodall, Erratum to "Edge-choosability in line-perfect multigraphs", Discrete Mathematics 260 (2003), 323-326. △ Less

Submitted 7 August, 2015; v1 submitted 2 July, 2014; originally announced July 2014.

Comments: This paper has been withdrawn by the author

Matrix Roots of Eventually Positive Matrices

Authors: Judith J. McDonald, Pietro Paparella, Michael J. Tsatsomeros

Abstract: Eventually positive matrices are real matrices whose powers become and remain strictly positive. As such, eventually positive matrices are a fortiori matrix roots of positive matrices, which motivates us to study the matrix roots of primitive matrices. Using classical matrix function theory and Perron-Frobenius theory, we characterize, classify, and describe in terms of the real Jordan canonical f… ▽ More Eventually positive matrices are real matrices whose powers become and remain strictly positive. As such, eventually positive matrices are a fortiori matrix roots of positive matrices, which motivates us to study the matrix roots of primitive matrices. Using classical matrix function theory and Perron-Frobenius theory, we characterize, classify, and describe in terms of the real Jordan canonical form the $p$th-roots of eventually positive matrices. △ Less

Submitted 22 October, 2013; originally announced October 2013.

Comments: Accepted for publication in Linear Algebra and its Applications

MSC Class: 15B48; 15A21

Journal ref: Linear Algebra Appl. 456 (2014), 122-137

Risk-consistency of cross-validation with lasso-type procedures

Authors: Darren Homrighausen, Daniel J. McDonald

Abstract: The lasso and related sparsity inducing algorithms have been the target of substantial theoretical and applied research. Correspondingly, many results are known about their behavior for a fixed or optimally chosen tuning parameter specified up to unknown constants. In practice, however, this oracle tuning parameter is inaccessible so one must use the data to select one. Common statistical practice… ▽ More The lasso and related sparsity inducing algorithms have been the target of substantial theoretical and applied research. Correspondingly, many results are known about their behavior for a fixed or optimally chosen tuning parameter specified up to unknown constants. In practice, however, this oracle tuning parameter is inaccessible so one must use the data to select one. Common statistical practice is to use a variant of cross-validation for this task. However, little is known about the theoretical properties of the resulting predictions with such data-dependent methods. We consider the high-dimensional setting with random design wherein the number of predictors $p$ grows with the number of observations $n$. Under typical assumptions on the data generating process, similar to those in the literature, we recover oracle rates up to a log factor when choosing the tuning parameter with cross-validation. Under weaker conditions, when the true model is not necessarily linear, we show that the lasso remains risk consistent relative to its linear oracle. We also generalize these results to the group lasso and square-root lasso and investigate the predictive and model selection performance of cross-validation via simulation. △ Less

Submitted 21 June, 2016; v1 submitted 4 August, 2013; originally announced August 2013.

Comments: 25 pages, 3 figures

Packing Steiner Trees

Authors: Matt DeVos, Jessica McDonald, Irene Pivotto

Abstract: Let $T$ be a distinguished subset of vertices in a graph $G$. A $T$-\emph{Steiner tree} is a subgraph of $G$ that is a tree and that spans $T$. Kriesell conjectured that $G$ contains $k$ pairwise edge-disjoint $T$-Steiner trees provided that every edge-cut of $G$ that separates $T$ has size $\ge 2k$. When $T=V(G)$ a $T$-Steiner tree is a spanning tree and the conjecture is a consequence of a class… ▽ More Let $T$ be a distinguished subset of vertices in a graph $G$. A $T$-\emph{Steiner tree} is a subgraph of $G$ that is a tree and that spans $T$. Kriesell conjectured that $G$ contains $k$ pairwise edge-disjoint $T$-Steiner trees provided that every edge-cut of $G$ that separates $T$ has size $\ge 2k$. When $T=V(G)$ a $T$-Steiner tree is a spanning tree and the conjecture is a consequence of a classic theorem due to Nash-Williams and Tutte. Lau proved that Kriesell's conjecture holds when $2k$ is replaced by $24k$, and recently West and Wu have lowered this value to $6.5k$. Our main result makes a further improvement to $5k+4$. △ Less

Submitted 7 August, 2015; v1 submitted 29 July, 2013; originally announced July 2013.

Comments: 38 pages, 4 figures

MSC Class: 05C70

Simplicial Ricci Flow

Authors: Warner A. Miller, Jonathan R. McDonald, Paul M. Alsing, David Gu, Shing-Tung Yau

Abstract: We construct a discrete form of Hamilton's Ricci flow (RF) equations for a d-dimensional piecewise flat simplicial geometry, S. These new algebraic equations are derived using the discrete formulation of Einstein's theory of general relativity known as Regge calculus. A Regge-Ricci flow (RRF) equation is naturally associated to each edge, L, of a simplicial lattice. In defining this equation, we f… ▽ More We construct a discrete form of Hamilton's Ricci flow (RF) equations for a d-dimensional piecewise flat simplicial geometry, S. These new algebraic equations are derived using the discrete formulation of Einstein's theory of general relativity known as Regge calculus. A Regge-Ricci flow (RRF) equation is naturally associated to each edge, L, of a simplicial lattice. In defining this equation, we find it convenient to utilize both the simplicial lattice, S, and its circumcentric dual lattice, S*. In particular, the RRF equation associated to L is naturally defined on a d-dimensional hybrid block connecting $\ell$ with its (d-1)-dimensional circumcentric dual cell, L*. We show that this equation is expressed as the proportionality between (1) the simplicial Ricci tensor, Rc_L, associated with the edge L in S, and (2) a certain volume weighted average of the fractional rate of change of the edges, lambda in L*, of the circumcentric dual lattice, S*, that are in the dual of L. The inherent orthogonality between elements of S and their duals in S* provide a simple geometric representation of Hamilton's RF equations. In this paper we utilize the well established theories of Regge calculus, or equivalently discrete exterior calculus, to construct these equations. We solve these equations for a few illustrative examples. △ Less

Submitted 28 April, 2014; v1 submitted 4 February, 2013; originally announced February 2013.

Comments: 34 pages, 10 figures, minor revisions, DOI included: Commun. Math. Phys

Journal ref: Communications in Mathematical Physics, July 2014, Volume 329, Issue 2, pp. 579-608

On exterior calculus and curvature in piecewise-flat manifolds

Authors: Jonathan R. McDonald, Warner A. Miller, Paul M. Alsing, Xianfeng D. Gu, Xu** Wang, Shing-Tung Yau

Abstract: Simplicial, piecewise-flat discretizations of manifolds provide a clear path towards curvature analysis on discrete geometries and for solutions of PDE's on manifolds of complex topologies. In this manuscript we review and expand on discrete exterior calculus methods using hybrid domains. We then analyze the geometric structure of curvature operators in a piecewise-flat lattice. Simplicial, piecewise-flat discretizations of manifolds provide a clear path towards curvature analysis on discrete geometries and for solutions of PDE's on manifolds of complex topologies. In this manuscript we review and expand on discrete exterior calculus methods using hybrid domains. We then analyze the geometric structure of curvature operators in a piecewise-flat lattice. △ Less

Submitted 4 December, 2012; originally announced December 2012.

Comments: 27 pages, 5 figures

MSC Class: 83C27; 52C07; 57-XX ACM Class: I.3.5

Nonparametric risk bounds for time-series forecasting

Authors: Daniel J. McDonald, Cosma Rohilla Shalizi, Mark Schervish

Abstract: We derive generalization error bounds for traditional time-series forecasting models. Our results hold for many standard forecasting tools including autoregressive models, moving average models, and, more generally, linear state-space models. These non-asymptotic bounds need only weak assumptions on the data-generating process, yet allow forecasters to select among competing models and to guarante… ▽ More We derive generalization error bounds for traditional time-series forecasting models. Our results hold for many standard forecasting tools including autoregressive models, moving average models, and, more generally, linear state-space models. These non-asymptotic bounds need only weak assumptions on the data-generating process, yet allow forecasters to select among competing models and to guarantee, with high probability, that their chosen model will perform well. We motivate our techniques with and apply them to standard economic and financial forecasting tools---a GARCH model for predicting equity volatility and a dynamic stochastic general equilibrium model (DSGE), the standard tool in macroeconomic forecasting. We demonstrate in particular how our techniques can aid forecasters and policy makers in choosing models which behave well under uncertainty and mis-specification. △ Less

Submitted 10 September, 2016; v1 submitted 3 December, 2012; originally announced December 2012.

Comments: 34 pages, 3 figures

MSC Class: 62M20 (Primary) 91B84; 62G99 (Secondary)

Journal ref: Journal of Machine Learning Research. (2017). Vol 18. p. 1-40

A note on forbidding clique immersions

Authors: Matt DeVos, Jessica McDonald, Bojan Mohar, Diego Scheide

Abstract: Robertson and Seymour proved that the relation of graph immersion is well-quasi-ordered for finite graphs. Their proof uses the results of graph minors theory. Surprisingly, there is a very short proof of the corresponding rough structure theorem for graphs without $K_t$-immersions; it is based on the Gomory-Hu theorem. The same proof also works to establish a rough structure theorem for Eulerian… ▽ More Robertson and Seymour proved that the relation of graph immersion is well-quasi-ordered for finite graphs. Their proof uses the results of graph minors theory. Surprisingly, there is a very short proof of the corresponding rough structure theorem for graphs without $K_t$-immersions; it is based on the Gomory-Hu theorem. The same proof also works to establish a rough structure theorem for Eulerian digraphs without $\vec{K}_t$-immersions, where $\vec{K}_t$ denotes the bidirected complete digraph of order $t$. △ Less

Submitted 9 July, 2012; originally announced July 2012.

Leave-one-out cross-validation is risk consistent for lasso

Authors: Darren Homrighausen, Daniel J. McDonald

Abstract: The lasso procedure is ubiquitous in the statistical and signal processing literature, and as such, is the target of substantial theoretical and applied research. While much of this research focuses on the desirable properties that lasso possesses---predictive risk consistency, sign consistency, correct model selection---all of it has assumes that the tuning parameter is chosen in an oracle fashio… ▽ More The lasso procedure is ubiquitous in the statistical and signal processing literature, and as such, is the target of substantial theoretical and applied research. While much of this research focuses on the desirable properties that lasso possesses---predictive risk consistency, sign consistency, correct model selection---all of it has assumes that the tuning parameter is chosen in an oracle fashion. Yet, this is impossible in practice. Instead, data analysts must use the data twice, once to choose the tuning parameter and again to estimate the model. But only heuristics have ever justified such a procedure. To this end, we give the first definitive answer about the risk consistency of lasso when the smoothing parameter is chosen via cross-validation. We show that under some restrictions on the design matrix, the lasso estimator is still risk consistent with an empirically chosen tuning parameter. △ Less

Submitted 4 August, 2013; v1 submitted 26 June, 2012; originally announced June 2012.

Comments: 15 pages, 0 figures

Estimating beta-mixing coefficients via histograms

Authors: Daniel J. McDonald, Cosma Rohilla Shalizi, Mark Schervish

Abstract: The literature on statistical learning for time series often assumes asymptotic independence or "mixing" of the data-generating process. These mixing assumptions are never tested, nor are there methods for estimating mixing coefficients from data. Additionally, for many common classes of processes (Markov processes, ARMA processes, etc.) general functional forms for various mixing rates are known,… ▽ More The literature on statistical learning for time series often assumes asymptotic independence or "mixing" of the data-generating process. These mixing assumptions are never tested, nor are there methods for estimating mixing coefficients from data. Additionally, for many common classes of processes (Markov processes, ARMA processes, etc.) general functional forms for various mixing rates are known, but not specific coefficients. We present the first estimator for beta-mixing coefficients based on a single stationary sample path and show that it is risk consistent. Since mixing rates depend on infinite-dimensional dependence, we use a Markov approximation based on only a finite memory length $d$. We present convergence rates for the Markov approximation and show that as $d\rightarrow\infty$, the Markov approximation converges to the true mixing coefficient. Our estimator is constructed using $d$-dimensional histogram density estimates. Allowing asymptotics in the bandwidth as well as the dimension, we prove $L^1$ concentration for the histogram as an intermediate step. Simulations wherein the mixing rates are calculable and a real-data example demonstrate our methodology. △ Less

Submitted 8 February, 2016; v1 submitted 27 September, 2011; originally announced September 2011.

Comments: 30 pages, 8 figures. Longer version of arXiv:1103.0941 [stat.ML]

Journal ref: Electron. J. Statist. 9 (2015), no. 2, 2855--2883

Immersing complete digraphs

Authors: Matt DeVos, Jessica McDonald, Bojan Mohar, Diego Scheide

Abstract: We consider the problem of immersing the complete digraph on t vertices in a simple digraph. For Eulerian digraphs, we show that such an immersion always exists whenever minimum degree is at least t(t-1), and for t at most 4 minimum degree at least t-1 suffices. On the other hand, we show that there exist non-Eulerian digraphs with all vertices of arbitrarily high in- and outdegree which do not co… ▽ More We consider the problem of immersing the complete digraph on t vertices in a simple digraph. For Eulerian digraphs, we show that such an immersion always exists whenever minimum degree is at least t(t-1), and for t at most 4 minimum degree at least t-1 suffices. On the other hand, we show that there exist non-Eulerian digraphs with all vertices of arbitrarily high in- and outdegree which do not contain an immersion of the complete digraph on 3 vertices. As a side result, we obtain a construction of digraphs with large outdegree in which all cycles have odd length, simplifying a former construction of such graphs by Thomassen. △ Less

Submitted 16 September, 2011; originally announced September 2011.

The Simplicial Ricci Tensor

Authors: Paul M. Alsing, Jonathan R. McDonald, Warner A. Miller

Abstract: The Ricci tensor (Ric) is fundamental to Einstein's geometric theory of gravitation. The 3-dimensional Ric of a spacelike surface vanishes at the moment of time symmetry for vacuum spacetimes. The 4-dimensional Ric is the Einstein tensor for such spacetimes. More recently the Ric was used by Hamilton to define a non-linear, diffusive Ricci flow (RF) that was fundamental to Perelman's proof of the… ▽ More The Ricci tensor (Ric) is fundamental to Einstein's geometric theory of gravitation. The 3-dimensional Ric of a spacelike surface vanishes at the moment of time symmetry for vacuum spacetimes. The 4-dimensional Ric is the Einstein tensor for such spacetimes. More recently the Ric was used by Hamilton to define a non-linear, diffusive Ricci flow (RF) that was fundamental to Perelman's proof of the Poincare conjecture. Analytic applications of RF can be found in many fields including general relativity and mathematics. Numerically it has been applied broadly to communication networks, medical physics, computer design and more. In this paper, we use Regge calculus (RC) to provide the first geometric discretization of the Ric. This result is fundamental for higher-dimensional generalizations of discrete RF. We construct this tensor on both the simplicial lattice and its dual and prove their equivalence. We show that the Ric is an edge-based weighted average of deficit divided by an edge-based weighted average of dual area -- an expression similar to the vertex-based weighted average of the scalar curvature reported recently. We use this Ric in a third and independent geometric derivation of the RC Einstein tensor in arbitrary dimension. △ Less

Submitted 12 July, 2011; originally announced July 2011.

Comments: 19 pages, 2 figures

Journal ref: Class.Quant.Grav.28:155007,2011

Estimating $β$-mixing coefficients

Authors: Daniel J. McDonald, Cosma Rohilla Shalizi, Mark Schervish

Abstract: The literature on statistical learning for time series assumes the asymptotic independence or ``mixing' of the data-generating process. These mixing assumptions are never tested, nor are there methods for estimating mixing rates from data. We give an estimator for the $β$-mixing rate based on a single stationary sample path and show it is $L_1$-risk consistent. The literature on statistical learning for time series assumes the asymptotic independence or ``mixing' of the data-generating process. These mixing assumptions are never tested, nor are there methods for estimating mixing rates from data. We give an estimator for the $β$-mixing rate based on a single stationary sample path and show it is $L_1$-risk consistent. △ Less

Submitted 4 March, 2011; originally announced March 2011.

Comments: 9 pages, accepted by AIStats. CMU Statistics Technical Report

Journal ref: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics (AISTATS 2011), pp. 516--524

Minimum degree condition forcing complete graph immersion

Authors: Matt DeVos, Zdeněk Dvořák, Jacob Fox, Jessica McDonald, Bojan Mohar, Diego Scheide

Abstract: An immersion of a graph $H$ into a graph $G$ is a one-to-one map** $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple gr… ▽ More An immersion of a graph $H$ into a graph $G$ is a one-to-one map** $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$. For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$, where $c>0$ is an absolute constant. For small values of $t$, $1\le t\le 7$, every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large. △ Less

Submitted 13 January, 2011; originally announced January 2011.

MSC Class: 05C35; 05C83

Average Degree in Graph Powers

Authors: Matt DeVos, Jessica McDonald, Diego Scheide

Abstract: The kth power of a simple graph G, denoted G^k, is the graph with vertex set V(G) where two vertices are adjacent if they are within distance k in G. We are interested in finding lower bounds on the average degree of G^k. Here we prove that if G is connected with minimum degree d > 2 and |V(G)| > (8/3)d, then G^4 has average degree at least (7/3)d. We also prove that if G is a connected d-regular… ▽ More The kth power of a simple graph G, denoted G^k, is the graph with vertex set V(G) where two vertices are adjacent if they are within distance k in G. We are interested in finding lower bounds on the average degree of G^k. Here we prove that if G is connected with minimum degree d > 2 and |V(G)| > (8/3)d, then G^4 has average degree at least (7/3)d. We also prove that if G is a connected d-regular graph on n vertices with diameter at least 3k+3, then the average degree of G^{3k+2} is at least (2k+1)(d+1) - k(k+1) (d+1)^2/n - 1. Both of these results are shown to be essentially best possible; the second is best possible even when n/d is arbitrarily large. △ Less

Submitted 14 December, 2010; originally announced December 2010.

Comments: 14 pages, 3 figures

MSC Class: 05C07; 05C12

Packing triangles in weighted graphs

Authors: Guillaume Chapuy, Matt DeVos, Jessica McDonald, Bojan Mohar, Diego Scheide

Abstract: Tuza conjectured that for every graph $G$, the maximum size $ν$ of a set of edge-disjoint triangles and minimum size $τ$ of a set of edges meeting all triangles satisfy $τ\leq 2ν$. We consider an edge-weighted version of this conjecture, which amounts to packing and covering triangles in multigraphs. Several known results about the original problem are shown to be true in this context, and some ar… ▽ More Tuza conjectured that for every graph $G$, the maximum size $ν$ of a set of edge-disjoint triangles and minimum size $τ$ of a set of edges meeting all triangles satisfy $τ\leq 2ν$. We consider an edge-weighted version of this conjecture, which amounts to packing and covering triangles in multigraphs. Several known results about the original problem are shown to be true in this context, and some are improved. In particular, we answer a question of Krivelevich who proved that $τ\leq 2ν^*$ (where $ν^*$ is the fractional version of $ν$), and asked if this is tight. We prove that $τ\leq 2ν^*-\frac{1}{\sqrt{6}}\sqrt{ν^*}$ and show that this bound is essentially best possible. △ Less

Submitted 25 May, 2015; v1 submitted 1 December, 2010; originally announced December 2010.

Comments: v2: 20 pages, corrected version (from 2013) following referee reports

Journal ref: SIAM J. Discrete Math. 28 (2014), no. 1, 226--239

Kempe equivalence of edge-colourings in subcubic and subquartic graphs

Authors: Jessica McDonald, Bojan Mohar, Diego Scheide

Abstract: It is proved that all 4-edge-colourings of a (sub)cubic graph are Kempe equivalent. This resolves a conjecture of the second author. In fact, it is found that the maximum degree Delta=3 is a threshold for Kempe equivalence of (Delta+1)-edge-colourings, as such an equivalence does not hold in general when Delta=4. One extra colour allows a similar result in this latter case however, namely, when De… ▽ More It is proved that all 4-edge-colourings of a (sub)cubic graph are Kempe equivalent. This resolves a conjecture of the second author. In fact, it is found that the maximum degree Delta=3 is a threshold for Kempe equivalence of (Delta+1)-edge-colourings, as such an equivalence does not hold in general when Delta=4. One extra colour allows a similar result in this latter case however, namely, when Delta<=4 it is shown that all (Delta+2)-edge-colourings are Kempe equivalent. △ Less

Submitted 18 May, 2010; v1 submitted 12 May, 2010; originally announced May 2010.

Comments: 15 pages, 7 figures

MSC Class: 05C15 ACM Class: G.2.2

Z-Pencils

Authors: J. J. McDonald, D. D. Olesky, H. Schneider, M. J. Tsatsomeros, P. van den Driessche

Abstract: The matrix pencil (A,B) = {tB-A | t \in C} is considered under the assumptions that A is entrywise nonnegative and B-A is a nonsingular M-matrix. As t varies in [0,1], the Z-matrices tB-A are partitioned into the sets L_s introduced by Fiedler and Markham. As no combinatorial structure of B is assumed here, this partition generalizes some of their work where B=I. Based on the union of the direct… ▽ More The matrix pencil (A,B) = {tB-A | t \in C} is considered under the assumptions that A is entrywise nonnegative and B-A is a nonsingular M-matrix. As t varies in [0,1], the Z-matrices tB-A are partitioned into the sets L_s introduced by Fiedler and Markham. As no combinatorial structure of B is assumed here, this partition generalizes some of their work where B=I. Based on the union of the directed graphs of A and B, the combinatorial structure of nonnegative eigenvectors associated with the largest eigenvalue of (A,B) in [0,1) is considered. △ Less

Submitted 6 July, 1998; originally announced July 1998.

Comments: 8 pages, LaTex

Report number: formerly math.LA/9807026 MSC Class: 15A22 (Primary) 15A48; 05C50 (Secondary)

Journal ref: Electronic Linear Algebra, 4 : 32-38, 1998

Inverse tridiagonal Z-matrices

Authors: J. J. McDonald, R. Nabben, M. Neumann, H. Schneider, M. Tsatsomeros

Abstract: In this paper, we consider matrices whose inverses are tridiagonal Z--matrices. Based on a characterization of symmetric tridiagonal matrices by Gantmacher and Krein, we show that a matrix is the inverse of a tridiagonal Z--matrix if and only if, up to a positive scaling of the rows, it is the Hadamard product of a so called weak type $\D$ matrix and a flipped weak type $\D$ matrix whose paramet… ▽ More In this paper, we consider matrices whose inverses are tridiagonal Z--matrices. Based on a characterization of symmetric tridiagonal matrices by Gantmacher and Krein, we show that a matrix is the inverse of a tridiagonal Z--matrix if and only if, up to a positive scaling of the rows, it is the Hadamard product of a so called weak type $\D$ matrix and a flipped weak type $\D$ matrix whose parameters satisfy certain quadratic conditions. We predict from these parameters to which class of Z--matrices the inverse belongs to. In particular, we give a characterization of inverse tridiagonal M--matrices. Moreover, we characterize inverses of tridiagonal M--matrices that satisfy certain row sum criteria. This leads to the cyclopses that are matrices constructed from type $\D$ and flipped type $\D$ matrices. We establish some properties of the cyclopses and provide explicit formulae for the entries of the inverse of a nonsingular cyclops. We also show that the cyclopses are the only generalized ultrametric matrices whose inverses are tridiagonal. △ Less

Submitted 25 March, 1998; originally announced March 1998.

Report number: formerly math.LA/9803125 MSC Class: 15A48; 05-XX

Block LU factorization of M-matrices

Authors: Judith J. McDonald, Hans Schneider

Abstract: It is well known that any nonsingular M-matrix admits an LU factorization into M-matrices (with L and U lower and upper triangular respectively) and any singular M-matrix is permutation similar to an M-matrix which admits an LU factorization into M-matrices. Varga and Cai establish necessary and sufficient conditions for a singular M-matrix (without permutation) to allow an LU factorization with… ▽ More It is well known that any nonsingular M-matrix admits an LU factorization into M-matrices (with L and U lower and upper triangular respectively) and any singular M-matrix is permutation similar to an M-matrix which admits an LU factorization into M-matrices. Varga and Cai establish necessary and sufficient conditions for a singular M-matrix (without permutation) to allow an LU factorization with L nonsingular. We generalize these results in two directions. First, we find necessary and sufficient conditions for the existence of an LU factorization of a singular M-matrix where L and U are both permitted to be singular. Second, we establish the minimal block structure that a block LU factorization of a singular M-matrix can have when L and U are M-matrices. △ Less

Submitted 21 March, 1998; originally announced March 1998.

Report number: formerly math.LA/9803098