BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
S. Gill Williamson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We present the basic concepts of tensor products of vector spaces, emphasizing linear algebraic and combinatorial techniques as needed for applied areas of research. The topics include (1) Introduction; (2) Basic multilinear algebra; (3) Tensor products of vector spaces; (4) Tensor products of matries; (5) Inner products on tensor spaces; (6) Direct sums and tensor products; (7) Background concepts and notation.
We state and prove a classical version of the Laplace expansion theorem where all submatrices in the expansion are restricted to contain a specified common submatrix (CSM). The result states that (accounting for signs) this restricted expansion equals the determinant of the original matrix times the determinant of the CSM.
This material is a rewriting and expansion of notes for beginning graduate students in seminars in combinatorics (Department of Mathematics, University of California San Diego). Solid skills in linear and multilinear algebra were required for these seminars. We focused on a review of linear algebra and a careful development of the general matrix canonical forms as a training ground for the necessary proof and notational skills.
In a 1918 paper Schur proved a remarkable inequality that related group representations, Hermitian forms and determinants. He also gave concise necessary and sufficient conditions for equality. In 1964, Marcus gave a beautiful short proof of Schur's inequality by applying the Cauchy-Schwarz inequality to symmetric tensors, but he did not discuss the case of equality. In 1969, Williamson gave an inductive proof of Schur's equality conditions by contracting Marcus's symmetric tensors onto lower dimensional subspaces where they remained symmetric tensors. Here we unify these results notationally and conceptually, replacing contraction operators with the more geometrically intuitive projection operators.
Will the cosmological multiverse, when described mathematically, have easily stated properties that are impossible to prove or disprove using mathematical physics? We explore this question by constructing lattice multiverses which exhibit such behavior even though they are much simpler mathematically than any likely cosmological multiverse.
In this paper, we provide algorithms to rank and unrank certain degree-restricted classes of Cayley trees (spanning trees of the n-vertex complete graph). Specifically, we consider classes of trees that have a given set of leaves or a fixed number k of leaves. For fixed k, the number of Cayley trees with n vertices and k leaves grows roughly as n! and hence the ranks have O(nlog_2(n)) bits. Our ranking and unranking algorithms require at most O(n^2) comparisons of numbers less than or equal to n plus O(n) operations of multiplication, division, addition, substraction and comparision on numbers of length O(nlog(n)).
In this paper, we provide algorithms to rank, unrank, and randomly generate certain degree-restricted classes of Cayley trees. Specifically, we consider classes of trees that have a given degree sequence or a given multiset of degrees. If the underlying set of trees have n vertices, then the largest ranks involved in each case are of order n! so that it takes O(nlog(n)) bits just to write down the ranks. Our ranking and unranking algorithms for these degree-restricted classes are as efficient as can be expected since we show that they require O(n^2log(n)) bit operations if the underlying trees have n vertices.