Showing 1–50 of 55 results for author: Martin, W

The Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercubes

Authors: William J. Martin, Paul Terwilliger

Abstract: We describe a relationship between the Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercube graphs. Consider the $\mathbb C$-algebra $P$ of polynomials in four commuting variables. We turn $P$ into an $\mathfrak{sl}_4(\mathbb C)$-module on which each element of $\mathfrak{sl}_4(\mathbb C)$ acts as a derivation. Then $P$ becomes a direct sum of irreducible $\mathfrak{sl}_4(\mathbb C)$-modules… ▽ More We describe a relationship between the Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercube graphs. Consider the $\mathbb C$-algebra $P$ of polynomials in four commuting variables. We turn $P$ into an $\mathfrak{sl}_4(\mathbb C)$-module on which each element of $\mathfrak{sl}_4(\mathbb C)$ acts as a derivation. Then $P$ becomes a direct sum of irreducible $\mathfrak{sl}_4(\mathbb C)$-modules $P = \sum_{N\in \mathbb N} P_N$, where $P_N$ is the $N$th homogeneous component of $P$. For $N\in \mathbb N$ we construct some additional $\mathfrak{sl}_4(\mathbb C)$-modules ${\rm Fix}(G)$ and $T$. For these modules the underlying vector space is described as follows. Let $X$ denote the vertex set of the hypercube $H(N,2)$, and let $V$ denote the $\mathbb C$-vector space with basis $X$. For the automorphism group $G$ of $H(N,2)$, the action of $G$ on $X$ turns $V$ into a $G$-module. The vector space $V^{\otimes 3} = V \otimes V \otimes V$ becomes a $G$-module such that $g(u \otimes v \otimes w)= g(u) \otimes g(v) \otimes g(w)$ for $g\in G$ and $u,v,w \in V$. The subspace ${\rm Fix}(G)$ of $V^{\otimes 3}$ consists of the vectors in $V^{\otimes 3}$ that are fixed by every element in $G$. Pick $\varkappa \in X$. The corresponding subconstituent algebra $T$ of $H(N,2)$ is the subalgebra of ${\rm End}(V)$ generated by the adjacency map $\sf A$ of $H(N,2)$ and the dual adjacency map ${\sf A}^*$ of $H(N,2)$ with respect to $\varkappa$. In our main results, we turn ${\rm Fix}(G)$ and $T$ into $\mathfrak{sl}_4(\mathbb C)$-modules, and display $\mathfrak{sl}_4(\mathbb C)$-module isomorphisms $P_N \to {\rm Fix}(G) \to T$. We describe the $\mathfrak{sl}_4(\mathbb C)$-modules $P_N$, ${\rm Fix}(G)$, $T$ from multiple points of view. △ Less

Submitted 6 May, 2025; originally announced May 2025.

Comments: 85 pages

MSC Class: 05E30

Uniqueness and explicit computation of mates in near-factorizations

Authors: Donald L. Kreher, William J. Martin, Douglas R. Stinson

Abstract: We show that a "mate'' $B$ of a set $A$ in a near-factorization $(A,B)$ of a finite group $G$ is unique. Further, we describe how to compute the mate $B$ very efficiently using an explicit formula for $B$. We use this approach to give an alternate proof of a theorem of Wu, Yang and Feng, which states that a strong circular external difference family cannot have more than two sets. We prove some ne… ▽ More We show that a "mate'' $B$ of a set $A$ in a near-factorization $(A,B)$ of a finite group $G$ is unique. Further, we describe how to compute the mate $B$ very efficiently using an explicit formula for $B$. We use this approach to give an alternate proof of a theorem of Wu, Yang and Feng, which states that a strong circular external difference family cannot have more than two sets. We prove some new structural properties of near-factorizations in certain classes of groups. Then we examine all the noncyclic abelian groups of order less than $200$ in a search for a possible nontrivial near-factorization. All of these possibilities are ruled out, either by theoretical criteria or by exhaustive computer searches. (In contrast, near-factorizations in cyclic or dihedral groups are known to exist by previous results.) We also look briefly at nontrivial near-factorizations of index $λ> 1$ in noncyclic abelian groups. Various examples are found with $λ= 2$ by computer. △ Less

Submitted 24 November, 2024; originally announced November 2024.

MSC Class: 05B10

Rational Delsarte designs and Galois fusions of association schemes

Authors: Jesse Lansdown, William J. Martin

Abstract: Delsarte theory, more specifically the study of codes and designs in association schemes, has proved invaluable in studying an increasing assortment of association schemes in recent years. Tools motivated by the study of error-correcting codes in the Hamming scheme and combinatorial $t$-designs in the Johnson scheme apply equally well in association schemes with irrational eigenvalues. We assume h… ▽ More Delsarte theory, more specifically the study of codes and designs in association schemes, has proved invaluable in studying an increasing assortment of association schemes in recent years. Tools motivated by the study of error-correcting codes in the Hamming scheme and combinatorial $t$-designs in the Johnson scheme apply equally well in association schemes with irrational eigenvalues. We assume here that we have a commutative association scheme with irrational eigenvalues and wish to study its Delsarte $T$-designs. We explore when a $T$-design is also a $T'$-design where $T'\supseteq T$ is controlled by the orbits of a Galois group related to the splitting field of the association scheme. We then study Delsarte designs in the association schemes of finite groups, with a detailed exploration of the dicyclic groups. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 22 pages, 1 figure

MSC Class: 05E30; 05B30; 20C15; 16S50

Operator realizations of non-commutative analytic functions

Authors: Méric L. Augat, Robert T. W. Martin, Eli Shamovich

Abstract: A realization is a triple, $(A,b,c)$, consisting of a $d-$tuple, $A= (A =_1, \cdots, A_d )$, $d\in \mathbb{N}$, of bounded linear operators on a separable, complex Hilbert space, $\mathcal{H}$, and vectors $b,c \in \mathcal{H}$. Any such realization defines a (uniformly) analytic non-commutative (NC) function in an open neighbourhood of the origin, $0:= (0, \cdots , 0)$, of the NC universe of… ▽ More A realization is a triple, $(A,b,c)$, consisting of a $d-$tuple, $A= (A =_1, \cdots, A_d )$, $d\in \mathbb{N}$, of bounded linear operators on a separable, complex Hilbert space, $\mathcal{H}$, and vectors $b,c \in \mathcal{H}$. Any such realization defines a (uniformly) analytic non-commutative (NC) function in an open neighbourhood of the origin, $0:= (0, \cdots , 0)$, of the NC universe of $d-$tuples of square matrices of any fixed size via the formula $h(X) = I \otimes b^* ( I \otimes I =_{\mathcal{H}} - \sum X_j \otimes A_j ) ^{-1} I \otimes c$. It is well-known that an NC function has a finite-dimensional realization if and only if it is a non-commutative rational function that is defined at $0$. Such finite realizations contain valuable information about the NC rational functions they generate. By considering more general, infinite-dimensional realizations we study, construct and characterize more general classes of uniformly analytic NC functions. In particular, we show that an NC function is (uniformly) entire, if and only if it has a jointly compact and quasinilpotent realization. Restricting our results to one variable shows that an analytic Taylor-MacLaurin series extends globally to an entire or meromorphic function if and only if it has a realization whose component operator is compact and quasinilpotent, or compact, respectively. This then motivates our definition of the set of global uniformly meromorphic NC functions as the (universal) skew field (of fractions) generated by NC rational expressions in the (semi-free ideal) ring of NC functions with jointly compact realizations. △ Less

Submitted 9 August, 2024; v1 submitted 25 April, 2024; originally announced April 2024.

A reproducing kernel approach to Lebesgue decomposition

Authors: Jashan Bal, Robert T. W. Martin, Fouad Naderi

Abstract: We show that properties of pairs of finite, positive and regular Borel measures on the complex unit circle such as domination, absolute continuity and singularity can be completely described in terms of containment and intersection of their reproducing kernel Hilbert spaces of `Cauchy transforms' in the complex unit disk. This leads to a new construction of the classical Lebesgue decomposition and… ▽ More We show that properties of pairs of finite, positive and regular Borel measures on the complex unit circle such as domination, absolute continuity and singularity can be completely described in terms of containment and intersection of their reproducing kernel Hilbert spaces of `Cauchy transforms' in the complex unit disk. This leads to a new construction of the classical Lebesgue decomposition and proof of the Radon--Nikodym theorem using reproducing kernel theory and functional analysis. △ Less

Submitted 12 January, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Rational Cuntz states peak on the free disk algebra

Authors: Robert T. W. Martin, Eli Shamovich

Abstract: We apply realization theory of non-commutative rational multipliers of the Fock space, or free Hardy space of square--summable power series in several non-commuting variables to the convex analysis of states on the Cuntz algebra. We show, in particular, that a large class of Cuntz states which arise as the `non-commutative Clark measures' of isometric NC rational multipliers are peak states for Po… ▽ More We apply realization theory of non-commutative rational multipliers of the Fock space, or free Hardy space of square--summable power series in several non-commuting variables to the convex analysis of states on the Cuntz algebra. We show, in particular, that a large class of Cuntz states which arise as the `non-commutative Clark measures' of isometric NC rational multipliers are peak states for Popescu's free disk algebra in the sense of Clouâtre and Thompson. △ Less

Submitted 2 July, 2023; originally announced July 2023.

Dispersed graph labellings

Authors: William J. Martin, Douglas R. Stinson

Abstract: A $k$-dispersed labelling of a graph $G$ on $n$ vertices is a labelling of the vertices of $G$ by the integers $1, \dots , n$ such that $d(i,i+1) \geq k$ for $1 \leq i \leq n-1$. $DL(G)$ denotes the maximum value of $k$ such that $G$ has a $k$-dispersed labelling. In this paper, we study upper and lower bounds on $DL(G)$. Computing $DL(G)$ is NP-hard. However, we determine the exact values of… ▽ More A $k$-dispersed labelling of a graph $G$ on $n$ vertices is a labelling of the vertices of $G$ by the integers $1, \dots , n$ such that $d(i,i+1) \geq k$ for $1 \leq i \leq n-1$. $DL(G)$ denotes the maximum value of $k$ such that $G$ has a $k$-dispersed labelling. In this paper, we study upper and lower bounds on $DL(G)$. Computing $DL(G)$ is NP-hard. However, we determine the exact values of $DL(G)$ for cycles, paths, grids, hypercubes and complete binary trees. We also give a product construction and we prove a degree-based bound. △ Less

Submitted 15 October, 2023; v1 submitted 27 January, 2023; originally announced January 2023.

Comments: To be published in Australasian Journal of Combinatorics

MSC Class: 05C15

Quantum isomorphism of graphs from association schemes

Authors: Ada Chan, William J. Martin

Abstract: We show that any two Hadamard graphs on the same number of vertices are quantum isomorphic. This follows from a more general recipe for showing quantum isomorphism of graphs arising from certain association schemes. The main result is built from three tools. A remarkable recent result of Mančinska and Roberson shows that graphs $G$ and $H$ are quantum isomorphic if and only if, for any planar grap… ▽ More We show that any two Hadamard graphs on the same number of vertices are quantum isomorphic. This follows from a more general recipe for showing quantum isomorphism of graphs arising from certain association schemes. The main result is built from three tools. A remarkable recent result of Mančinska and Roberson shows that graphs $G$ and $H$ are quantum isomorphic if and only if, for any planar graph $F$, the number of graph homomorphisms from $F$ to $G$ is equal to the number of graph homomorphisms from $F$ to $H$. A generalization of partition functions called "scaffolds" affords some basic reduction rules such as series-parallel reduction and can be applied to counting homomorphisms. The final tool is the classical theorem of Epifanov showing that any plane graph can be reduced to a single vertex and no edges by extended series-parallel reductions and Delta-Wye transformations. This last sort of transformation is available to us in the case of exactly triply regular association schemes. The paper includes open problems and directions for future research. △ Less

Submitted 26 October, 2022; v1 submitted 9 September, 2022; originally announced September 2022.

Comments: 21 pages

MSC Class: 05E30; 20G42; 15A72; 16S50; 05C83; 05C90

On unitary equivalence to a self-adjoint or doubly-positive Hankel operator

Authors: Robert T. W. Martin

Abstract: Let $A$ be a bounded, injective and self-adjoint linear operator on a complex separable Hilbert space. We prove that there is a pure isometry, $V$, so that $AV>0$ and $A$ is Hankel with respect to $V$, i.e. $V^*A = AV$, if and only if $A$ is not invertible. The isometry $V$ can be chosen to be isomorphic to $N \in \mathbb{N} \cup \{ + \infty \}$ copies of the unilateral shift if $A$ has spectral m… ▽ More Let $A$ be a bounded, injective and self-adjoint linear operator on a complex separable Hilbert space. We prove that there is a pure isometry, $V$, so that $AV>0$ and $A$ is Hankel with respect to $V$, i.e. $V^*A = AV$, if and only if $A$ is not invertible. The isometry $V$ can be chosen to be isomorphic to $N \in \mathbb{N} \cup \{ + \infty \}$ copies of the unilateral shift if $A$ has spectral multiplicity at most $N$. We further show that the set of all isometries, $V$, so that $A$ is Hankel with respect to $V$, are in bijection with the set of all closed, symmetric restrictions of $A^{-1}$. △ Less

Submitted 31 May, 2022; originally announced May 2022.

Sub-Hardy Hilbert spaces in the non-commutative unit row-ball

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: In the classical Hardy space theory of square-summable Taylor series in the complex unit disk there is a circle of ideas connecting Szegö's theorem, factorization of positive semi-definite Toeplitz operators, non-extreme points of the convex set of contractive analytic functions, de Branges--Rovnyak spaces and the Smirnov class of ratios of bounded analytic functions in the disk. We extend these i… ▽ More In the classical Hardy space theory of square-summable Taylor series in the complex unit disk there is a circle of ideas connecting Szegö's theorem, factorization of positive semi-definite Toeplitz operators, non-extreme points of the convex set of contractive analytic functions, de Branges--Rovnyak spaces and the Smirnov class of ratios of bounded analytic functions in the disk. We extend these ideas to the multi-variable and non-commutative setting of the full Fock space, identified as the \emph{free Hardy space} of square-summable power series in several non-commuting variables. As an application, we prove a Fejér-Riesz style theorem for non-commutative rational functions. △ Less

Submitted 27 November, 2023; v1 submitted 11 April, 2022; originally announced April 2022.

Non-commutative rational Clark measures

Authors: Michael T. Jury, Robert T. W. Martin, Eli Shamovich

Abstract: We characterize the non-commutative Aleksandrov--Clark measures and the minimal realization formulas of contractive and, in particular, isometric non-commutative rational multipliers of the Fock space. Here, the full Fock space over $\mathbb{C} ^d$ is defined as the Hilbert space of square--summable power series in several non-commuting formal variables, and we interpret this space as the non-comm… ▽ More We characterize the non-commutative Aleksandrov--Clark measures and the minimal realization formulas of contractive and, in particular, isometric non-commutative rational multipliers of the Fock space. Here, the full Fock space over $\mathbb{C} ^d$ is defined as the Hilbert space of square--summable power series in several non-commuting formal variables, and we interpret this space as the non-commutative and multi-variable analogue of the Hardy space of square--summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov--Clark measure theory for non-commutative and contractive rational multipliers. Non-commutative measures are defined as positive linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz algebra, the unital $C^*-$algebra generated by the left creation operators on the full Fock space. Our results demonstrate that there is a fundamental relationship between NC Hardy space theory, representation theory of the Cuntz--Toeplitz and Cuntz algebras, and the emerging field of non-commutative rational functions. △ Less

Submitted 20 January, 2022; originally announced January 2022.

A non-commutative F&M Riesz Theorem

Authors: Michael T. Jury, Robert T. W. Martin, Edward J. Timko

Abstract: We extend results on analytic complex measures on the complex unit circle to a non-commutative multivariate setting. Identifying continuous linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz $C^*-$algebra, the free disk operator system, with non-commutative (NC) analogues of complex measures, we refine a previously developed Lebesgue decomposition for positive NC measures… ▽ More We extend results on analytic complex measures on the complex unit circle to a non-commutative multivariate setting. Identifying continuous linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz $C^*-$algebra, the free disk operator system, with non-commutative (NC) analogues of complex measures, we refine a previously developed Lebesgue decomposition for positive NC measures to establish an NC version of the Frigyes and Marcel Riesz Theorem for `analytic' measures, i.e. complex measures with vanishing positive moments. The proof relies on novel results on the order properties of positive NC measures that we develop and extend from classical measure theory. △ Less

Submitted 18 January, 2022; originally announced January 2022.

Comments: 29 page

MSC Class: 47A13 (Primary); 47L75; 47L80; 47L55; 47L25; 46L52 (Secondary)

Triple intersection numbers for the Paley graphs

Authors: Andries E. Brouwer, William J. Martin

Abstract: We give a tight bound for the triple intersection numbers of Paley graphs. In particular, we show that any three vertices have a common neighbor in Paley graphs of order larger than 25. We give a tight bound for the triple intersection numbers of Paley graphs. In particular, we show that any three vertices have a common neighbor in Paley graphs of order larger than 25. △ Less

Submitted 8 September, 2021; originally announced September 2021.

Comments: 3 pages

MSC Class: 05E30; 11T99

Unbounded multipliers of complete Pick spaces

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: We examine densely defined (but possibly unbounded) multiplication operators in Hilbert function spaces possessing a complete Nevanlinna-Pick (CNP) kernel. For such a densely defined operator $T$, the domains of $T$ and $T^*$ are reproducing kernel Hilbert spaces contractively contained in the ambient space. We study several aspects of these spaces, especially the domain of $T^*$, which can be vie… ▽ More We examine densely defined (but possibly unbounded) multiplication operators in Hilbert function spaces possessing a complete Nevanlinna-Pick (CNP) kernel. For such a densely defined operator $T$, the domains of $T$ and $T^*$ are reproducing kernel Hilbert spaces contractively contained in the ambient space. We study several aspects of these spaces, especially the domain of $T^*$, which can be viewed as analogs of the classical deBranges-Rovnyak spaces in the unit disk. △ Less

Submitted 9 August, 2021; originally announced August 2021.

MSC Class: 46E22; 47B32

Spectral Measures for Derivative Powers via Matrix-Valued Clark Theory

Authors: Michael Bush, Constanze Liaw, Robert T. W. Martin

Abstract: The theory of finite-rank perturbations allows for the determination of spectral information for broad classes of operators using the tools of analytic function theory. In this work, finite-rank perturbations are applied to powers of the derivative operator, providing a full account from self-adjoint boundary conditions to computing aspects of the operators' matrix-valued spectral measures. In par… ▽ More The theory of finite-rank perturbations allows for the determination of spectral information for broad classes of operators using the tools of analytic function theory. In this work, finite-rank perturbations are applied to powers of the derivative operator, providing a full account from self-adjoint boundary conditions to computing aspects of the operators' matrix-valued spectral measures. In particular, the support and weights of the Clark (spectral) measures are computed via the connection between matrix-valued contractive analytic functions and matrix-valued nonnegative measures through the Herglotz Representation Theorem. For operators associated with several powers of the derivative, explicit formulae for these measures are included. While eigenfunctions and eigenvalues for these operators with fixed boundary conditions can often be computed using direct methods from ordinary differential equations, this approach provides a more complete picture of the spectral information. △ Less

Submitted 4 April, 2022; v1 submitted 8 June, 2021; originally announced June 2021.

MSC Class: 34L05; 46N20; 47B25; 46E22; 47B32

Journal ref: J. Math. Anal. Appl. Volume 514, Issue 1, 1 October 2022, 126275

Analytic functionals for the non-commutative disc algebra

Authors: Raphaël Clouâtre, Robert T. W. Martin, Edward J. Timko

Abstract: The main objects of study in this paper are those functionals that are analytic in the sense that they annihilate the non-commutative disc algebra. In the classical univariate case, a theorem of F. and M. Riesz implies that such functionals must be given as integration against an absolutely continuous measure on the circle. We develop generalizations of this result to the multivariate non-commutat… ▽ More The main objects of study in this paper are those functionals that are analytic in the sense that they annihilate the non-commutative disc algebra. In the classical univariate case, a theorem of F. and M. Riesz implies that such functionals must be given as integration against an absolutely continuous measure on the circle. We develop generalizations of this result to the multivariate non-commutative setting, upon reinterpreting the classical result. In one direction, we show that the GNS representation naturally associated to an analytic functional on the Cuntz algebra cannot have any singular summand. Following a different interpretation, we seek weak-$*$ continuous extensions of analytic functionals on the free disc operator system. In contrast with the classical setting, such extensions do not always exist, and we identify the obstruction precisely in terms of the so-called universal structure projection. We also apply our ideas to commutative algebras of multipliers on some complete Nevanlinna--Pick function spaces. △ Less

Submitted 5 April, 2021; originally announced April 2021.

Comments: 25 pages

Continuous Time Quantum Walks on Graphs: Group State Transfer

Authors: Luke C. Brown, William J. Martin, Duncan Wright

Abstract: We introduce the concept of group state transfer on graphs, summarize its relationship to other concepts in the theory of quantum walks, set up a basic theory, and discuss examples. Let $X$ be a graph with adjacency matrix $A$ and consider quantum walks on the vertex set $V(X)$ governed by the continuous time-dependent unitary transition operator $U(t)= \exp(itA)$. For $S,T\subseteq V(X)$, we sa… ▽ More We introduce the concept of group state transfer on graphs, summarize its relationship to other concepts in the theory of quantum walks, set up a basic theory, and discuss examples. Let $X$ be a graph with adjacency matrix $A$ and consider quantum walks on the vertex set $V(X)$ governed by the continuous time-dependent unitary transition operator $U(t)= \exp(itA)$. For $S,T\subseteq V(X)$, we says $X$ admits "group state transfer" from $S$ to $T$ at time $τ$ if the submatrix of $U(τ)$ obtained by restricting to columns in $S$ and rows not in $T$ is the all-zero matrix. As a generalization of perfect state transfer, fractional revival and periodicity, group state transfer satisfies natural monotonicity and transitivity properties. Yet non-trivial group state transfer is still rare; using a compactness argument, we prove that bijective group state transfer (the optimal case where $|S|=|T|$) is absent for almost all $t$. Focusing on this bijective case, we obtain a structure theorem, prove that bijective group state transfer is "monogamous", and study the relationship between the projections of $S$ and $T$ into each eigenspace of the graph. Group state transfer is obviously preserved by graph automorphisms and this gives us information about the relationship between the setwise stabilizer of $S\subseteq V(X)$ and the stabilizers of naturally defined subsets obtained by spreading $S$ out over time and crudely reversing this process. These operations are sufficiently well-behaved to give us a topology on $V(X)$ which is likely to be simply the topology of subsets for which bijective group state transfer occurs at that time. We illustrate non-trivial group state transfer in bipartite graphs with integer eigenvalues, in joins of graphs, and in symmetric double stars. The Cartesian product allows us to build new examples from old ones. △ Less

Submitted 15 March, 2021; originally announced March 2021.

Comments: 15 pages, 2 figures

MSC Class: 05C50

Non-commutative rational functions in the full Fock space

Authors: Michael T. Jury, Robert T. W. Martin, Eli Shamovich

Abstract: A rational function belongs to the Hardy space, $H^2$, of square-summable power series if and only if it is bounded in the complex unit disk. Any such rational function is necessarily analytic in a disk of radius greater than one. The inner-outer factorization of a rational function, $\mathfrak{r} \in H^2$ is particularly simple: The inner factor of $\mathfrak{r}$ is a (finite) Blaschke product an… ▽ More A rational function belongs to the Hardy space, $H^2$, of square-summable power series if and only if it is bounded in the complex unit disk. Any such rational function is necessarily analytic in a disk of radius greater than one. The inner-outer factorization of a rational function, $\mathfrak{r} \in H^2$ is particularly simple: The inner factor of $\mathfrak{r}$ is a (finite) Blaschke product and (hence) both the inner and outer factors are again rational. We extend these and other basic facts on rational functions in $H^2$ to the full Fock space over $\mathbb{C}^d$, identified as the \emph{non-commutative (NC) Hardy space} of square-summable power series in several NC variables. In particular, we characterize when an NC rational function belongs to the Fock space, we prove analogues of classical results for inner-outer factorizations of NC rational functions and NC polynomials, and we obtain spectral results for NC rational multipliers. △ Less

Submitted 13 October, 2020; originally announced October 2020.

A de Branges-Beurling theorem for the full Fock space

Authors: Robert T. W. Martin, Eli Shamovich

Abstract: We extend the de Branges-Beurling theorem characterizing the shift-invariant spaces boundedly contained in the Hardy space of square-summable power series to the full Fock space over $\mathbb{C} ^d$. Here, the full Fock space is identified as the \emph{Non-commutative (NC) Hardy Space} of square-summable Taylor series in several non-commuting variables. We then proceed to study lattice operations… ▽ More We extend the de Branges-Beurling theorem characterizing the shift-invariant spaces boundedly contained in the Hardy space of square-summable power series to the full Fock space over $\mathbb{C} ^d$. Here, the full Fock space is identified as the \emph{Non-commutative (NC) Hardy Space} of square-summable Taylor series in several non-commuting variables. We then proceed to study lattice operations on NC kernels and operator-valued multipliers between vector-valued Fock spaces. In particular, we demonstrate that the operator-valued Fock space multipliers with common coefficient range space form a bounded general lattice modulo a natural equivalence relation. △ Less

Submitted 17 July, 2020; originally announced July 2020.

Matrix-valued Aleksandrov--Clark measures and Carathéodory angular derivatives

Authors: Constanze Liaw, Robert T. W. Martin, Sergei Treil

Abstract: This paper deals with families of matrix-valued Aleksandrov--Clark measures $\{\boldsymbolμ^α\}_{α\in\mathcal{U}(n)}$, corresponding to purely contractive $n\times n$ matrix functions $b$ on the unit disc of the complex plane. We do not make other apriori assumptions on $b$. In particular, $b$ may be non-inner and/or non-extreme. The study of such families is mainly motivated from applications to… ▽ More This paper deals with families of matrix-valued Aleksandrov--Clark measures $\{\boldsymbolμ^α\}_{α\in\mathcal{U}(n)}$, corresponding to purely contractive $n\times n$ matrix functions $b$ on the unit disc of the complex plane. We do not make other apriori assumptions on $b$. In particular, $b$ may be non-inner and/or non-extreme. The study of such families is mainly motivated from applications to unitary finite rank perturbation theory. A description of the absolutely continuous parts of $\boldsymbolμ^α$ is a rather straightforward generalization of the well-known results for the scalar case ($n=1$). The results and proofs for the singular parts of matrix-valued $\boldsymbolμ^α$ are more complicated than in the scalar case, and constitute the main focus of this paper. We discuss matrix-valued Aronszajn--Donoghue theory concerning the singular parts of the Clark measures, as well as Carathéodory angular derivatives of matrix-valued functions and their connections with atoms of $\boldsymbolμ^α$. These results are far from being straightforward extensions from the scalar case: new phenomena specific to the matrix-valued case appear here. New ideas, including the notion of directionality, are required in statements and proofs. △ Less

Submitted 7 May, 2020; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: 28 pages; v2 has updated bibliography

MSC Class: 30H10; 30H05; 47B32; 47B38; 46E22

Journal ref: J. Funct. Anal. 280, iss. 3 (2021), 108830

Blaschke-Singular-Outer factorization of free non-commutative functions

Authors: Michael T. Jury, Robert T. W. Martin, Eli Shamovich

Abstract: By classical results of Herglotz and F. Riesz, any bounded analytic function in the complex unit disk has a unique inner-outer factorization. Here, a bounded analytic function is called \emph{inner} or \emph{outer} if multiplication by this function defines an isometry or has dense range, respectively, as a linear operator on the Hardy Space, $H^2$, of analytic functions in the complex unit disk w… ▽ More By classical results of Herglotz and F. Riesz, any bounded analytic function in the complex unit disk has a unique inner-outer factorization. Here, a bounded analytic function is called \emph{inner} or \emph{outer} if multiplication by this function defines an isometry or has dense range, respectively, as a linear operator on the Hardy Space, $H^2$, of analytic functions in the complex unit disk with square-summable Taylor series. This factorization can be further refined; any inner function $θ$ decomposes uniquely as the product of a \emph{Blaschke inner} function and a \emph{singular inner} function, where the Blaschke inner contains all the vanishing information of $θ$, and the singular inner factor has no zeroes in the unit disk. We prove an exact analog of this factorization in the context of the full Fock space, identified as the \emph{Non-commutative Hardy Space} of analytic functions defined in a certain multi-variable non-commutative open unit disk. △ Less

Submitted 4 February, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: Updated and added references. Submitted version

Scaffolds: a graph-based system for computations in Bose-Mesner algebras

Authors: William J. Martin

Abstract: Let $X$ be a finite set and let $\mathsf{Mat}_X(\mathbb{C})$ denote the algebra of matrices with rows and columns indexed by $X$ and entries from the complex numbers acting on $\mathbb{C}^X$ with standard basis $\{ \hat{x} \mid x\in X\}$. For a digraph $G=(V(G),E(G))$, function $R:[m] \rightarrow V(G)$ with $r_j := R(j)$, and a function $w$ from the arcs of $G$ to $\mathsf{Mat}_X(\mathbb{C})$, we… ▽ More Let $X$ be a finite set and let $\mathsf{Mat}_X(\mathbb{C})$ denote the algebra of matrices with rows and columns indexed by $X$ and entries from the complex numbers acting on $\mathbb{C}^X$ with standard basis $\{ \hat{x} \mid x\in X\}$. For a digraph $G=(V(G),E(G))$, function $R:[m] \rightarrow V(G)$ with $r_j := R(j)$, and a function $w$ from the arcs of $G$ to $\mathsf{Mat}_X(\mathbb{C})$, we define the "scaffold" $\mathsf{S}(G,R;w)$ as the sum over all functions $\varphi$ from $V(G)$ to $X$ of the $m$-fold tensors $\widehat{\varphi(r_1)} \otimes \widehat{\varphi(r_2)} \otimes \cdots \otimes \widehat{\varphi(r_m)}$ scaled by the product of the entries $w(e)_{\varphi(a),\varphi(b)}$ over all arcs $e=(a,b)$ of $G$. Scaffolds can be used to count, among other things, digraph homomorphisms and association scheme parameters such as generalized intersection numbers. They also arise in the the theory of link invariants and spin models. These diagrams were introduced in the late 1980s by Arnold Neumaier and have been used implicitly by various authors working with association schemes. We revisit results of several authors, rephrasing their proofs in terms of these diagrams and certain rules of manipulation (or "moves") on diagrams. Our goal is to collect and present, in a uniform fashion, Neumaier's original idea extended to tensors and its used by various authors. Sometimes the term "star-triangle diagram" appears for what we, in this paper, call "scaffolds". Restricting to the case where edge weights are chosen from a coherent algebra, we explore the vector space $\mathsf{W}((G,R); \mathbb{A})$ spanned by all scaffolds defined on rooted diagram $(G,R)$ and establish a connection to graph minors. We end with a conjecture about planar scaffolds that draws a connection between association scheme duality and the duality of plane graphs. △ Less

Submitted 3 February, 2020; v1 submitted 7 January, 2020; originally announced January 2020.

Comments: 60 pages, 176 auxiliary files of diagrams; revision to correct typographical errors and add a few minor observations

MSC Class: 05E30; 15A69

Lebesgue decomposition of non-commutative measures

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: The Riesz-Markov theorem identifies any positive, finite, and regular Borel measure on the complex unit circle with a positive linear functional on the continuous functions. By the Weierstrass approximation theorem, the continuous functions are obtained as the norm closure of the Disk Algebra and its conjugates. Here, the Disk Algebra can be viewed as the unital norm-closed operator algebra of the… ▽ More The Riesz-Markov theorem identifies any positive, finite, and regular Borel measure on the complex unit circle with a positive linear functional on the continuous functions. By the Weierstrass approximation theorem, the continuous functions are obtained as the norm closure of the Disk Algebra and its conjugates. Here, the Disk Algebra can be viewed as the unital norm-closed operator algebra of the shift operator on the Hardy Space, $H^2$ of the disk. Replacing square-summable Taylor series indexed by the non-negative integers, i.e. $H^2$ of the disk, with square-summable power series indexed by the free (universal) monoid on $d$ generators, we show that the concepts of absolutely continuity and singularity of measures, Lebesgue Decomposition and related results have faithful extensions to the setting of `non-commutative measures' defined as positive linear functionals on a non-commutative multi-variable `Disk Algebra' and its conjugates. △ Less

Submitted 18 October, 2019; originally announced October 2019.

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

Fatou's Theorem for Non-commutative Measures

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: A classical theorem of Fatou asserts that the Radon-Nikodym derivative of any finite positive Borel measure, $μ$, with respect to Lebesgue measure on the complex unit circle, is recovered as the non-tangential limits of its Poisson transform in the complex unit disk. This positive harmonic Poisson transform is the real part of an analytic function whose Taylor coefficients are in fixed proportion… ▽ More A classical theorem of Fatou asserts that the Radon-Nikodym derivative of any finite positive Borel measure, $μ$, with respect to Lebesgue measure on the complex unit circle, is recovered as the non-tangential limits of its Poisson transform in the complex unit disk. This positive harmonic Poisson transform is the real part of an analytic function whose Taylor coefficients are in fixed proportion to the conjugate moments of $μ$. Replacing Taylor series in one variable by power series in several non-commuting variables, we show that Fatou's Theorem and related results have natural extensions to the setting of positive harmonic functions in an open unit ball of several non-commuting matrix-variables, and a corresponding class of positive \emph{non-commutative (NC) measures}. Here, an NC measure is any positive linear functional on a certain self-adjoint unital subspace of the Cuntz-Toeplitz algebra, the $C^*-$algebra generated by the left creation operators on the full Fock space. △ Less

Submitted 19 June, 2021; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: Introduction and several proofs expanded. Sections 4 and 5 reorganized

Matrix N-dilations of quantum channels

Authors: Jeremy Levick, Robert T. W. Martin

Abstract: We study unital quantum channels which are obtained via partial trace of a $*$-automorphism of a finite unital matrix $*$-algebra. We prove that any such channel, $q$, on a unital matrix $*$-algebra, $\mathcal{A}$, admits a finite matrix $N-$dilation, $α_N$, for any natural number N. Namely, $α_N$ is a $*$-automorphism of a larger bi-partite matrix algebra $\mathcal{A} \otimes \mathcal{B}$ so that… ▽ More We study unital quantum channels which are obtained via partial trace of a $*$-automorphism of a finite unital matrix $*$-algebra. We prove that any such channel, $q$, on a unital matrix $*$-algebra, $\mathcal{A}$, admits a finite matrix $N-$dilation, $α_N$, for any natural number N. Namely, $α_N$ is a $*$-automorphism of a larger bi-partite matrix algebra $\mathcal{A} \otimes \mathcal{B}$ so that partial trace of $M$-fold self-compositions of $α_N$ yield the $M$-fold self-compositions of the original quantum channel, for any $1\leq M \leq N$. This demonstrates that repeated applications of the channel can be viewed as $*$-automorphic time evolution of a larger finite quantum system. △ Less

Submitted 14 August, 2018; originally announced August 2018.

Jumping champions and prime gaps using information-theoretic tools

Authors: Nicholas Pun, Robert T. W. Martin, Achim Kempf

Abstract: We study the spacing of the primes using methods from information theory. In information theory, the equivalence of continuous and discrete representations of information is established by Shannon sampling theory. Here, we use Shannon sampling methods to construct continuous functions whose varying bandwidth follows the distribution of the prime numbers. The Fourier transforms of these signals spi… ▽ More We study the spacing of the primes using methods from information theory. In information theory, the equivalence of continuous and discrete representations of information is established by Shannon sampling theory. Here, we use Shannon sampling methods to construct continuous functions whose varying bandwidth follows the distribution of the prime numbers. The Fourier transforms of these signals spike at frequently occurring spacings between the primes. We find prominent spikes, in particular, at the primorials. Previously, the primorials have been conjectured to be the most frequent gaps between subsequent primes, the so-called "jumping champions". Here, we find a foreshadowing of the primorial's role as jumping champions in the sense that Fourier spikes for the primorials arise much earlier on the number axis than where the primorials in question are expected to reign as jumping champions. △ Less

Submitted 1 August, 2018; originally announced August 2018.

Operators affiliated to the free shift on the free Hardy space

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: The Smirnov class for the classical Hardy space is the set of ratios of bounded analytic functions on the open complex unit disk with outer denominators. This definition extends naturally to the commutative and non-commutative multi-variable settings of the Drury-Arveson space and the full Fock space over $\mathbb C ^d$. Identifying the Fock space with the free multi-variable Hardy space of non-co… ▽ More The Smirnov class for the classical Hardy space is the set of ratios of bounded analytic functions on the open complex unit disk with outer denominators. This definition extends naturally to the commutative and non-commutative multi-variable settings of the Drury-Arveson space and the full Fock space over $\mathbb C ^d$. Identifying the Fock space with the free multi-variable Hardy space of non-commutative or free holomorphic functions on the non-commutative open unit ball, we prove that any closed, densely-defined operator affiliated to the right free multiplier algebra of the full Fock space acts as right rmultiplication by a function in the right free Smirnov class (and analogously, replacing "right" with "left"). △ Less

Submitted 22 July, 2018; originally announced July 2018.

Column extreme multipliers of the Free Hardy space

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: The full Fock space over $\mathbb C ^d$ can be identified with the free Hardy space, $H^2 (\mathbb B ^d _\mathbb N)$ - the unique non-commutative reproducing kernel Hilbert space corresponding to a non-commutative Szegö kernel on the non-commutative, multi-variable open unit ball $\mathbb B ^d _\mathbb N := \bigsqcup _{n=1} ^\infty \left( \mathbb C^{n\times n} \otimes \mathbb C ^d \right) _1$. E… ▽ More The full Fock space over $\mathbb C ^d$ can be identified with the free Hardy space, $H^2 (\mathbb B ^d _\mathbb N)$ - the unique non-commutative reproducing kernel Hilbert space corresponding to a non-commutative Szegö kernel on the non-commutative, multi-variable open unit ball $\mathbb B ^d _\mathbb N := \bigsqcup _{n=1} ^\infty \left( \mathbb C^{n\times n} \otimes \mathbb C ^d \right) _1$. Elements of this space are free or non-commutative functions on $\mathbb B ^d _\mathbb N$. Under this identification, the full Fock space is the canonical non-commutative and several-variable analogue of the classical Hardy space of the disk, and many classical function theory results have faithful extensions to this setting. In particular to each contractive (free) multiplier $B$ of the free Hardy space, we associate a Hilbert space $\mathcal H(B)$ analogous to the deBranges-Rovnyak spaces in the unit disk, and consider the ways in which various properties of the free function $B$ are reflected in the Hilbert space $\mathcal H(B)$ and the operators which act on it. In the classical setting, the $\mathcal H(b)$ spaces of analytic functions on the disk display strikingly different behavior depending on whether or not the function $b$ is an extreme point in the unit ball of $H^\infty(\mathbb D)$. We show that such a dichotomy persists in the free case, where the split depends on whtether or not $B$ is what we call {\it column extreme}. △ Less

Submitted 22 July, 2018; originally announced July 2018.

The Smirnov classes for the Fock space and complete Pick spaces

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: For a Hilbert function space $\mathcal H$ the Smirnov class $\mathcal N^+(\mathcal H)$ is defined to be the set of functions expressible as a ratio of bounded multipliers of $\mathcal H$, whose denominator is cyclic for the action of $Mult(\mathcal H)$. It is known that for spaces $\mathcal H$ with complete Nevanlinna-Pick (CNP) kernel, the inclusion $\mathcal H\subset \mathcal N^+(\mathcal H)$ ho… ▽ More For a Hilbert function space $\mathcal H$ the Smirnov class $\mathcal N^+(\mathcal H)$ is defined to be the set of functions expressible as a ratio of bounded multipliers of $\mathcal H$, whose denominator is cyclic for the action of $Mult(\mathcal H)$. It is known that for spaces $\mathcal H$ with complete Nevanlinna-Pick (CNP) kernel, the inclusion $\mathcal H\subset \mathcal N^+(\mathcal H)$ holds. We give a new proof of this fact, which includes the new conclusion that every $h\in\mathcal H$ can be expressed as a ratio $b/a\in\mathcal N^+(\mathcal H)$ with $1/a$ already belonging to $\mathcal H$. The proof for CNP kernels is based on another Smirnov-type result of independent interest. We consider the Fock space $\mathfrak F^2_d$ of free (non-commutative) holomorphic functions and its algebra of bounded (left) multipliers $\mathfrak F^\infty_d$. We introduce the (left) {\em free Smirnov class} $\mathcal N^+_{left}$ and show that every $H \in \mathfrak F^2_d$ belongs to it. The proof of the Smirnov theorem for CNP kernels is then obtained by lifting holomorphic functions on the ball to free holomorphic functions, and applying the free Smirnov theorem. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Factorization in weak products of complete Pick spaces

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: Let $\mathcal H$ be a reproducing kernel Hilbert space with a normalized complete Nevanlinna-Pick (CNP) kernel. We prove that if $(f_n)$ is a sequence of functions in $\mathcal H$ with $\sum\|f_n\|^2<\infty$, then there exists a contractive column multiplier $(\varphi_n)$ of $\mathcal H$ and a cyclic vector $F\in \mathcal H$ so that $\varphi_ n F=f_n$ for all $n$. The space of weak products… ▽ More Let $\mathcal H$ be a reproducing kernel Hilbert space with a normalized complete Nevanlinna-Pick (CNP) kernel. We prove that if $(f_n)$ is a sequence of functions in $\mathcal H$ with $\sum\|f_n\|^2<\infty$, then there exists a contractive column multiplier $(\varphi_n)$ of $\mathcal H$ and a cyclic vector $F\in \mathcal H$ so that $\varphi_ n F=f_n$ for all $n$. The space of weak products $\mathcal H\odot\mathcal H$ is the set of functions of the form $h=\sum_{i=1}^\infty f_ig_i$ with $f_i, g_i\in\mathcal H$ and $\sum_{i=1}^\infty \|f_i\|\|g_i\|<\infty$. Using the above result, in combination with a recent result of Aleman, Hartz, McCarthy, and Richter, we show that for a large class of CNP spaces (including the Drury-Arveson spaces $H^2_d$ and the Dirichlet space in the unit disk) every $h\in\mathcal H\odot\mathcal H$ can be factored as a single product $h=fg$ with $f,g\in\mathcal H$. △ Less

Submitted 13 June, 2018; originally announced June 2018.

A polynomial ideal associated to any $t$-$(v,k,λ)$ design

Authors: William J. Martin, Douglas R. Stinson

Abstract: We consider ordered pairs $(X,\mathcal{B})$ where $X$ is a finite set of size $v$ and $\mathcal{B}$ is some collection of $k$-element subsets of $X$ such that every $t$-element subset of $X$ is contained in exactly $λ$ "blocks" $B\in \mathcal{B}$ for some fixed $λ$. We represent each block $B$ by a zero-one vector $\mathbf{c}_B$ of length $v$ and explore the ideal $\mathcal{I}(\mathcal{B})$ of pol… ▽ More We consider ordered pairs $(X,\mathcal{B})$ where $X$ is a finite set of size $v$ and $\mathcal{B}$ is some collection of $k$-element subsets of $X$ such that every $t$-element subset of $X$ is contained in exactly $λ$ "blocks" $B\in \mathcal{B}$ for some fixed $λ$. We represent each block $B$ by a zero-one vector $\mathbf{c}_B$ of length $v$ and explore the ideal $\mathcal{I}(\mathcal{B})$ of polynomials in $v$ variables with complex coefficients which vanish on the set $\{ \mathbf{c}_B \mid B \in \mathcal{B}\}$. After setting up the basic theory, we investigate two parameters related to this ideal: $γ_1(\mathcal{B})$ is the smallest degree of a non-trivial polynomial in the ideal $\mathcal{I}(\mathcal{B})$ and $γ_2(\mathcal{B})$ is the smallest integer $s$ such that $\mathcal{I}(\mathcal{B})$ is generated by a set of polynomials of degree at most $s$. We first prove the general bounds $t/2 < γ_1(\mathcal{B}) \le γ_2(\mathcal{B}) \le k$. Examining important families of examples, we find that, for symmetric 2-designs and Steiner systems, we have $γ_2(\mathcal{B}) \le t$. But we expect $γ_2(\mathcal{B})$ to be closer to $k$ for less structured designs and we indicate this by constructing infinitely many triple systems satisfying $γ_2(\mathcal{B})=k$. △ Less

Submitted 13 March, 2018; originally announced March 2018.

Comments: 26 pages, 1 figure

MSC Class: 05B05; 05E30

Function spaces obeying a time-varying bandlimit

Authors: R. T. W. Martin, A. Kempf

Abstract: Motivated by applications to signal processing and mathematical physics, recent work on the concept of time-varying bandwidth has produced a class of function spaces which generalize the Paley-Wiener spaces of bandlimited functions: any regular simple symmetric linear transformation with deficiency indices $(1,1)$ is naturally represented as multiplication by the independent variable in one of the… ▽ More Motivated by applications to signal processing and mathematical physics, recent work on the concept of time-varying bandwidth has produced a class of function spaces which generalize the Paley-Wiener spaces of bandlimited functions: any regular simple symmetric linear transformation with deficiency indices $(1,1)$ is naturally represented as multiplication by the independent variable in one of these spaces. We explicitly demonstrate the equivalence of this model for such linear transformations to several other functional models based on the theories of meromorphic model spaces of Hardy space and purely atomic Herglotz measures on the real line, respectively. This theory provides a precise notion of a time-varying or local bandwidth, and we describe how it may be applied to construct signal processing techniques that are adapted to signals obeying a time-varying bandlimit. △ Less

Submitted 13 October, 2017; originally announced October 2017.

On an early paper of Maryam Mirzakhani

Authors: William J. Martin

Abstract: Maryam Mirzakhani, the first female (and first Iranian) Fields Medalist, passed away on July 14, 2017 at the age of 40. This short note remembers her 1996 article in the Bulletin of the Institute of Combinatorics and its Applications and her early years as a mathematician. Maryam Mirzakhani, the first female (and first Iranian) Fields Medalist, passed away on July 14, 2017 at the age of 40. This short note remembers her 1996 article in the Bulletin of the Institute of Combinatorics and its Applications and her early years as a mathematician. △ Less

Submitted 17 October, 2017; v1 submitted 21 September, 2017; originally announced September 2017.

Comments: 8 pages, 2 diagrams, 1 photograph

MSC Class: 05C15; 01A70

Non-commutative Clark measures for the free and abelian Toeplitz algebras

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: We construct a non-commutative Aleksandrov-Clark measure for any element in the operator-valued free Schur class, the closed unit ball of the free Toeplitz algebra of vector-valued full Fock space over $\mathbb{C} ^d$. Here, the free (analytic) Toeplitz algebra is the unital weak operator topology (WOT)-closed algebra generated by the component operators of the free shift, the row isometry of left… ▽ More We construct a non-commutative Aleksandrov-Clark measure for any element in the operator-valued free Schur class, the closed unit ball of the free Toeplitz algebra of vector-valued full Fock space over $\mathbb{C} ^d$. Here, the free (analytic) Toeplitz algebra is the unital weak operator topology (WOT)-closed algebra generated by the component operators of the free shift, the row isometry of left creation operators. This defines a bijection between the free operator-valued Schur class and completely positive maps (non-commutative AC measures) on the operator system of the free disk algebra, the norm-closed algebra generated by the free shift. Identifying Drury-Arveson space with symmetric Fock space, we determine the relationship between the non-commutative AC measures for elements of the operator-valued commutative Schur class (the closed unit ball of the WOT-closed Toeplitz algebra generated by the Arveson shift) and the AC measures of their free liftings to the free Schur class. △ Less

Submitted 6 March, 2017; originally announced March 2017.

On the connectivity of graphs in association schemes

Authors: Brian G. Kodalen, William J. Martin

Abstract: Let $(X,\mathcal{R})$ be a commutative association scheme and let $Γ=(X,R\cup R^\top)$ be a connected undirected graph where $R\in \mathcal{R}$. Godsil (resp., Brouwer) conjectured that the edge connectivity (resp., vertex connectivity) of $Γ$ is equal to its valency. In this paper, we prove that the deletion of the neighborhood of any vertex leaves behind at most one non-singleton component. Two… ▽ More Let $(X,\mathcal{R})$ be a commutative association scheme and let $Γ=(X,R\cup R^\top)$ be a connected undirected graph where $R\in \mathcal{R}$. Godsil (resp., Brouwer) conjectured that the edge connectivity (resp., vertex connectivity) of $Γ$ is equal to its valency. In this paper, we prove that the deletion of the neighborhood of any vertex leaves behind at most one non-singleton component. Two vertices $a,b\in X$ are called "twins" in $Γ$ if they have identical neighborhoods: $Γ(a)=Γ(b)$. We characterize twins in polynomial association schemes and show that, in the absence of twins, the deletion of any vertex and its neighbors in $Γ$ results in a connected graph. Using this and other tools, we find lower bounds on the connectivity of $Γ$, especially in the case where $Γ$ has diameter two. Among the applications of these results, we find that the only connected relations in symmetric association schemes which admit a disconnecting set of size two are those which are ordinary polygons. △ Less

Submitted 21 September, 2017; v1 submitted 13 February, 2017; originally announced February 2017.

Comments: 17 pages, three figures

MSC Class: 03E30

A Gleason solution model for row contractions

Authors: R. T. W. Martin, A. Ramanantoanina

Abstract: In the deBranges-Rovnyak functional model for contractions on Hilbert space, any completely non-coisometric (CNC) contraction is represented as the adjoint of the restriction of the backward shift to a deBranges-Rovnyak space, $\mathscr{H} (b)$, associated to a contractive analytic operator-valued function, $b$, on the open unit disk. We extend this model to a large class of CNC row contractions… ▽ More In the deBranges-Rovnyak functional model for contractions on Hilbert space, any completely non-coisometric (CNC) contraction is represented as the adjoint of the restriction of the backward shift to a deBranges-Rovnyak space, $\mathscr{H} (b)$, associated to a contractive analytic operator-valued function, $b$, on the open unit disk. We extend this model to a large class of CNC row contractions of several copies of a Hilbert space into itself (including all CNC row contractions with commuting component operators). Namely, we completely characterize the set of all CNC row contractions, $T$, which are unitarily equivalent to an extremal Gleason solution for a deBranges-Rovnyak space, $\mathscr{H} (b_T)$, contractively contained in a vector-valued Drury-Arveson space of analytic functions on the open unit ball in several complex dimensions. Here, a Gleason solution is the appropriate several-variable analogue of the adjoint of the restricted backward shift and the characteristic function, $b_T$, belongs to the several-variable Schur class of contractive multipliers between vector-valued Drury-Arveson spaces. The characteristic function, $b_T$, is a unitary invariant, and we further characterize a natural sub-class of CNC row contractions for which it is a complete unitary invariant. △ Less

Submitted 22 January, 2019; v1 submitted 23 December, 2016; originally announced December 2016.

Comments: Final version to appear in OTAA 272

Some Nonexistence Results for Strong External Difference Families Using Character Theory

Authors: William J. Martin, Douglas R. Stinson

Abstract: In this paper, we study the existence of $(v,m,k,λ)$-strong external difference families (SEDFs). We use character-theoretic techniques to show that no SEDF exists when $v$ is prime, $k > 1$ and $m > 2$. In the case where $v$ is the product of two distinct odd primes, some necessary conditions are derived, which can be used to rule out certain parameter sets. Further, we show that, when $m=3$ or… ▽ More In this paper, we study the existence of $(v,m,k,λ)$-strong external difference families (SEDFs). We use character-theoretic techniques to show that no SEDF exists when $v$ is prime, $k > 1$ and $m > 2$. In the case where $v$ is the product of two distinct odd primes, some necessary conditions are derived, which can be used to rule out certain parameter sets. Further, we show that, when $m=3$ or $4$ and $v > m$, a $(v,m,k,λ)$-SEDF does not exist. △ Less

Submitted 23 April, 2017; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: Revision notes: Result on abelian 2-groups has been retracted. Other minor errors corrected; notational consistency is improved

MSC Class: 05B10

Quasi-positive curvature on a biquotient of $Sp(3)$

Authors: Jason DeVito, Wesley Martin

Abstract: Suppose $φ_3:Sp(1)\rightarrow Sp(2)$ denotes the unique irreducible $4$-dimensional representation of $Sp(1) = SU(2)$ and consider the two subgroups $H_1, H_2\subseteq Sp(3)$ with $H_1 = \{\operatorname{diag}(φ_3(q_1), q_1): q_1 \in Sp(1)\}$ and $H_2 = \{\operatorname{diag}(φ_3(q_2),1):q_2\in Sp(1)\}$. We show that the biquotient $H_1\backslash Sp(3)/H_2$ admits a quasi-positively curved Riemannia… ▽ More Suppose $φ_3:Sp(1)\rightarrow Sp(2)$ denotes the unique irreducible $4$-dimensional representation of $Sp(1) = SU(2)$ and consider the two subgroups $H_1, H_2\subseteq Sp(3)$ with $H_1 = \{\operatorname{diag}(φ_3(q_1), q_1): q_1 \in Sp(1)\}$ and $H_2 = \{\operatorname{diag}(φ_3(q_2),1):q_2\in Sp(1)\}$. We show that the biquotient $H_1\backslash Sp(3)/H_2$ admits a quasi-positively curved Riemannian metric. △ Less

Submitted 22 September, 2016; originally announced September 2016.

MSC Class: 53C30; 53C20; 57S25

Journal ref: Involve 11 (2018) 787-801

Extremal multipliers of the Drury-Arveson space

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: We give a new characterization of the so-called quasi-extreme multipliers of the Drury-Arveson space $H^2_d$, and show that every quasi-extreme multiplier is an extreme point of the unit ball of the multiplier algebra of $H^2_d$. We give a new characterization of the so-called quasi-extreme multipliers of the Drury-Arveson space $H^2_d$, and show that every quasi-extreme multiplier is an extreme point of the unit ball of the multiplier algebra of $H^2_d$. △ Less

Submitted 15 August, 2016; originally announced August 2016.

Aleksandrov-Clark theory for the Drury-Arveson space

Authors: Michael T. Jury, Robert T. W. Martin

Abstract: Recent work has demonstrated that Clark's theory of unitary perturbations of the backward shift restricted to a deBranges-Rovnyak subspace of Hardy space on the disk has a natural extension to the several variable setting. In the several variable case, the appropriate generalization of the Schur class of contractive analytic functions is the closed unit ball of the Drury-Arveson multiplier algebra… ▽ More Recent work has demonstrated that Clark's theory of unitary perturbations of the backward shift restricted to a deBranges-Rovnyak subspace of Hardy space on the disk has a natural extension to the several variable setting. In the several variable case, the appropriate generalization of the Schur class of contractive analytic functions is the closed unit ball of the Drury-Arveson multiplier algebra and the Aleksandrov-Clark measures are necessarily promoted to positive linear functionals on a symmetrized subsystem of the Cuntz-Toeplitz operator system A + A*, where A is the non-commutative disk algebra. We continue this program for vector-valued Drury-Arveson space by establishing the existence of a canonical `tight' extension of any Aleksandrov-Clark map to the full Cuntz-Toeplitz operator system. We apply this tight extension to generalize several earlier results and we characterize all extensions of the Aleksandrov-Clark maps. △ Less

Submitted 15 August, 2016; originally announced August 2016.

MSC Class: 47B32; 46E22; 47L80; 46J15

Wave equation on one-dimensional fractals with spectral decimation and the complex dynamics of polynomials

Authors: Ulysses Andrews, Grigory Bonik, Joe P. Chen, Richard W. Martin, Alexander Teplyaev

Abstract: We study the wave equation on one-dimensional self-similar fractal structures that can be analyzed by the spectral decimation method. We develop efficient numerical approximation techniques and also provide uniform estimates obtained by analytical methods. We study the wave equation on one-dimensional self-similar fractal structures that can be analyzed by the spectral decimation method. We develop efficient numerical approximation techniques and also provide uniform estimates obtained by analytical methods. △ Less

Submitted 12 July, 2016; v1 submitted 21 May, 2015; originally announced May 2015.

MSC Class: 81Q35; 81Q10; 58J45; 60J25; 60J35; 60J45; 28A80; 30D30; 31E05; 35L05; 35P10; 35P15; 35P20; 42C15; 47A75

Journal ref: J. Fourier Anal. Appl. 23 (2017) 994-1027

Partial orders on partial isometries

Authors: Stephan Ramon Garcia, Robert T. W. Martin, William T. Ross

Abstract: This paper studies three natural pre-orders of increasing generality on the set of all completely non-unitary partial isometries with equal defect indices. We show that the problem of determining when one partial isometry is less than another with respect to these pre-orders is equivalent to the existence of a bounded (or isometric) multiplier between two natural reproducing kernel Hilbert spaces… ▽ More This paper studies three natural pre-orders of increasing generality on the set of all completely non-unitary partial isometries with equal defect indices. We show that the problem of determining when one partial isometry is less than another with respect to these pre-orders is equivalent to the existence of a bounded (or isometric) multiplier between two natural reproducing kernel Hilbert spaces of analytic functions. For large classes of partial isometries these spaces can be realized as the well-known model subspaces and deBranges-Rovnyak spaces. This characterization is applied to investigate properties of these pre-orders and the equivalence classes they generate. △ Less

Submitted 25 May, 2015; v1 submitted 18 January, 2015; originally announced January 2015.

Comments: 30 pages. To appear in Journal of Operator Theory

MSC Class: 06A06; 47A20; 47A45; 47B25; 47B32; 47E32

Journal ref: J. Operator Theory, 75 (2016), no. 2, 101-134

Extensions of symmetric operators I: The inner characteristic function case

Authors: R. T. W. Martin

Abstract: Given a symmetric linear transformation on a Hilbert space, a natural problem to consider is the characterization of its set of symmetric extensions. This problem is equivalent to the study of the partial isometric extensions of a fixed partial isometry. We provide a new function theoretic characterization of the set of all self-adjoint extensions of any symmetric linear transformation $B$ with eq… ▽ More Given a symmetric linear transformation on a Hilbert space, a natural problem to consider is the characterization of its set of symmetric extensions. This problem is equivalent to the study of the partial isometric extensions of a fixed partial isometry. We provide a new function theoretic characterization of the set of all self-adjoint extensions of any symmetric linear transformation $B$ with equal indices and inner Livsic characteristic function $Θ_B$ by constructing a natural bijection between the set of self-adjoint extensions and the set of all contractive analytic functions $Φ$ which are greater or equal to $Θ_B$. In addition we characterize the set of all symmetric extensions $B'$ of $B$ which have equal indices in the case where $Θ_B$ is inner. △ Less

Submitted 19 March, 2014; v1 submitted 18 March, 2014; originally announced March 2014.

On the ideal of the shortest vectors in the Leech lattice and other lattices

Authors: William J. Martin, Corre L. Steele

Abstract: Let $X \subset {\mathbb R}^m$ be a spherical code (i.e., a finite subset of the unit sphere) and consider the ideal of all polynomials in $m$ variables which vanish on $X$. Motivated by a study of cometric ($Q$-polynomial) association schemes and spherical designs, we wish to determine certain properties of this ideal. After presenting some background material and preliminary results, we consider… ▽ More Let $X \subset {\mathbb R}^m$ be a spherical code (i.e., a finite subset of the unit sphere) and consider the ideal of all polynomials in $m$ variables which vanish on $X$. Motivated by a study of cometric ($Q$-polynomial) association schemes and spherical designs, we wish to determine certain properties of this ideal. After presenting some background material and preliminary results, we consider the case where $X$ is the set of shortest vectors of one of the exceptional lattices $E_6$, $E_7$, $E_8$, $Λ_{24}$ (the Leech lattice) and determine for each: (i) the smallest degree of a non-trivial polynomial in the ideal, and (ii) the smallest $k$ for which the ideal admits a generating set of polynomials all of degree $k$ or less. As it turns out, in all four cases mentioned above, these two values coincide, as they also do for the icosahedron, our introductory example. The paper concludes with a discussion of these two parameters, two open problems regarding their equality, and a few remarks concerning connections to cometric association schemes. △ Less

Submitted 11 August, 2014; v1 submitted 24 October, 2013; originally announced October 2013.

Comments: 21 pages

MSC Class: 05E30

On a theorem of Livsic

Authors: A. Aleman, R. T. W. Martin, W. T. Ross

Abstract: The theory of symmetric, non-selfadjoint operators has several deep applications to the complex function theory of certain reproducing kernel Hilbert spaces of analytic functions, as well as to the study of ordinary differential operators such as Schrodinger operators in mathematical physics. Examples of simple symmetric operators include multiplication operators on various spaces of analytic func… ▽ More The theory of symmetric, non-selfadjoint operators has several deep applications to the complex function theory of certain reproducing kernel Hilbert spaces of analytic functions, as well as to the study of ordinary differential operators such as Schrodinger operators in mathematical physics. Examples of simple symmetric operators include multiplication operators on various spaces of analytic functions such as model subspaces of Hardy spaces, deBranges-Rovnyak spaces and Herglotz spaces, ordinary differential operators (including Schrodinger operators from quantum mechanics), Toeplitz operators, and infinite Jacobi matrices. In this paper we develop a general representation theory of simple symmetric operators with equal deficiency indices, and obtain a collection of results which refine and extend classical works of Krein and Livsic. In particular we provide an alternative proof of a theorem of Livsic which characterizes when two simple symmetric operators with equal deficiency indices are unitarily equivalent, and we provide a new, more easily computable formula for the Livsic characteristic function of a simple symmetric operator with equal deficiency indices. △ Less

Submitted 20 September, 2012; originally announced September 2012.

Near invariance and symmetric operators

Authors: R. T. W. Martin

Abstract: Let $S$ be a subspace of $L^2 (\bm{R})$. We show that the operator $M$ of multiplication by the independent variable has a simple symmetric regular restriction to $S$ with deficiency indices $(1,1)$ if and only if $S = u h K^{2}_θ$ is a nearly invariant subspace, with $θ$ a meromorphic inner function vanishing at $i$. Here $u$ is unimodular, $h$ is an isometric multiplier of $K^{2}_θ$ into $H^2$ a… ▽ More Let $S$ be a subspace of $L^2 (\bm{R})$. We show that the operator $M$ of multiplication by the independent variable has a simple symmetric regular restriction to $S$ with deficiency indices $(1,1)$ if and only if $S = u h K^{2}_θ$ is a nearly invariant subspace, with $θ$ a meromorphic inner function vanishing at $i$. Here $u$ is unimodular, $h$ is an isometric multiplier of $K^{2}_θ$ into $H^2$ and $H^2$ is the Hardy space of the upper half plane. Our proof uses the dilation theory of completely positive maps. △ Less

Submitted 12 July, 2012; originally announced July 2012.

Unitary perturbations of compressed N-dimensional shifts

Authors: R. T. W. Martin

Abstract: Given a purely contractive matrix-valued analytic function $Θ$ on the unit disc $\bm{D}$, we study the $\mc{U} (n)$-parameter family of unitary perturbations of the operator $Z_Θ$ of multiplication by $z$ in the Hilbert space $L^2_Θ$ of $n-$component vector-valued functions on the unit circle $\bm{T}$ which are square integrable with respect to the matrix-valued measure $\Om_Θ$ determined uniquely… ▽ More Given a purely contractive matrix-valued analytic function $Θ$ on the unit disc $\bm{D}$, we study the $\mc{U} (n)$-parameter family of unitary perturbations of the operator $Z_Θ$ of multiplication by $z$ in the Hilbert space $L^2_Θ$ of $n-$component vector-valued functions on the unit circle $\bm{T}$ which are square integrable with respect to the matrix-valued measure $\Om_Θ$ determined uniquely by $Θ$ and the matrix-valued Herglotz representation theorem. In the case where $Θ$ is an extreme point of the unit ball of bounded $\bm{M}_n$-valued functions we verify that the $\mc{U} (n)$-parameter family of unitary perturbations of $Z_Θ^*$ is unitarily equivalent to a $\mc{U} (n)$-parameter family of unitary perturbations of $X_Θ$, the restriction of the backwards shift in $H^2_n (\bm{D})$, the Hardy space of $\bm{C} ^n$ valued functions on the unit disc, to $K^2_Θ$, the de Branges-Rovnyak space constructed using $Θ$. These perturbations are higher dimensional analogues of the unitary perturbations introduced by D.N. Clark in the case where $Θ$ is a scalar-valued ($n=1$) inner function, and studied by E. Fricain in the case where $Θ$ is scalar-valued and an extreme point of the unit ball of $H^\infty (\bm{D})$... A matrix-valued disintegration theorem for the Aleksandrov-Clark measures associated with matrix-valued contractive analytic functions $Θ$ is obtained as a consequence of the Weyl integration formula for $\mc{U}(n)$ applied to the family of unitary perturbations of $Z_Θ$... △ Less

Submitted 18 July, 2011; originally announced July 2011.

Comments: Submitted to Compl. Anal. Oper. Theory

Uniformity in association schemes and coherent configurations: cometric Q-antipodal schemes and linked systems

Authors: Edwin R. van Dam, William J. Martin, Mikhail E. Muzychuk

Abstract: Inspired by some intriguing examples, we study uniform association schemes and uniform coherent configurations, including cometric Q-antipodal association schemes. After a review of imprimitivity, we show that an imprimitive association scheme is uniform if and only if it is dismantlable, and we cast these schemes in the broader context of certain --- uniform --- coherent configurations. We also g… ▽ More Inspired by some intriguing examples, we study uniform association schemes and uniform coherent configurations, including cometric Q-antipodal association schemes. After a review of imprimitivity, we show that an imprimitive association scheme is uniform if and only if it is dismantlable, and we cast these schemes in the broader context of certain --- uniform --- coherent configurations. We also give a third characterization of uniform schemes in terms of the Krein parameters, and derive information on the primitive idempotents of such a scheme. In the second half of the paper, we apply these results to cometric association schemes. We show that each such scheme is uniform if and only if it is Q-antipodal, and derive results on the parameters of the subschemes and dismantled schemes of cometric Q-antipodal schemes. We revisit the correspondence between uniform indecomposable three-class schemes and linked systems of symmetric designs, and show that these are cometric Q-antipodal. We obtain a characterization of cometric Q-antipodal four-class schemes in terms of only a few parameters, and show that any strongly regular graph with a ("non-exceptional") strongly regular decomposition gives rise to such a scheme. Hemisystems in generalized quadrangles provide interesting examples of such decompositions. We finish with a short discussion of five-class schemes as well as a list of all feasible parameter sets for cometric Q-antipodal four-class schemes with at most six fibres and fibre size at most 2000, and describe the known examples. Most of these examples are related to groups, codes, and geometries. △ Less

Submitted 21 August, 2013; v1 submitted 27 January, 2010; originally announced January 2010.

Comments: 42 pages, 1 figure, 1 table. Published version, minor revisions, April 2013

MSC Class: 05E30 (Primary) 05B25; 05C50; 51E12 (Secondary)

Journal ref: Journal of Combinatorial Theory, Series A 120 (2013), 1401--1439

Characterizing completely regular codes from an algebraic viewpoint

Authors: J. H. Koolen, W. S. Lee, W. J. Martin

Abstract: We first summarize the basic structure of the outer distribution module of a completely regular code. Then, employing a simple lemma concerning eigenvectors in association schemes, we propose to study the tightest case, where the indices of the eigenspace that appear in the outer distribution module are equally spaced. In addition to the arithmetic codes of the companion paper, this highly struc… ▽ More We first summarize the basic structure of the outer distribution module of a completely regular code. Then, employing a simple lemma concerning eigenvectors in association schemes, we propose to study the tightest case, where the indices of the eigenspace that appear in the outer distribution module are equally spaced. In addition to the arithmetic codes of the companion paper, this highly structured class includes other beautiful examples and we propose the classification of $Q$-polynomial completely regular codes in the Hamming graphs. A key result is Theorem 3.10 which finds that the $Q$-polynomial condition is equivalent to the presence of a certain Leonard pair. This connection has impact in two directions. First, the Leonard pairs are classified and we gain quite a bit of information about the algebraic structure of any code in our class. But also this gives a new setting for the study of Leonard pairs, one closely related to the classical one where a Leonard pair arises from each thin/dual-thin irreducible module of a Terwilliger algebra of some $P$- and $Q$-polynomial association scheme, yet not previously studied. It is particularly interesting that the Leonard pair associated to some code $C$ may belong to one family in the Askey scheme while the distance-regular graph in which the code is found may belong to another. △ Less

Submitted 9 November, 2009; originally announced November 2009.

Comments: 23 pages

MSC Class: 05E30

Arithmetic completely regular codes

Authors: J. H. Koolen, W. S. Lee, W. J. Martin, H. Tanaka

Abstract: In this paper, we explore completely regular codes in the Hamming graphs and related graphs. Experimental evidence suggests that many completely regular codes have the property that the eigenvalues of the code are in arithmetic progression. In order to better understand these "arithmetic completely regular codes", we focus on cartesian products of completely regular codes and products of their cor… ▽ More In this paper, we explore completely regular codes in the Hamming graphs and related graphs. Experimental evidence suggests that many completely regular codes have the property that the eigenvalues of the code are in arithmetic progression. In order to better understand these "arithmetic completely regular codes", we focus on cartesian products of completely regular codes and products of their corresponding coset graphs in the additive case. Employing earlier results, we are then able to prove a theorem which nearly classifies these codes in the case where the graph admits a completely regular partition into such codes (e.g, the cosets of some additive completely regular code). Connections to the theory of distance-regular graphs are explored and several open questions are posed. △ Less

Submitted 10 February, 2016; v1 submitted 9 November, 2009; originally announced November 2009.

Comments: 26 pages, 1 figure

MSC Class: 05E30

Journal ref: Discrete Math. Theor. Comput. Sci. 17 (2016) 59-76