Showing 1–12 of 12 results for author: King, O

Decomposition matrices and blocks for the symplectic blob algebra over the complex field

Authors: Oliver H. King, Paul P. Martin, Alison E. Parker

Abstract: The symplectic blob algebra is a physically motivated quotient of the Hecke algebra $H(\tilde{C}_n)$ with a diagram calculus. We find the blocks for the symplectic blob algebra for all specialisations of its parameters over the complex numbers. We determine Gram determinants for the cell modules with respect to a canonical contravariant form. We show in particular that the algebra is semisimple ov… ▽ More The symplectic blob algebra is a physically motivated quotient of the Hecke algebra $H(\tilde{C}_n)$ with a diagram calculus. We find the blocks for the symplectic blob algebra for all specialisations of its parameters over the complex numbers. We determine Gram determinants for the cell modules with respect to a canonical contravariant form. We show in particular that the algebra is semisimple over the complex numbers unless at least one of the "quantisation" parameters, or the sum or difference of two of these parameters is integral, or the bulk parameter $q$ is a root of unity. We find decomposition numbers in many of the $q$-generic cases. △ Less

Submitted 10 July, 2024; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: 41 pages

MSC Class: 05E15; 16G99; 20G05 and 20G08

On central idempotents in the Brauer algebra

Authors: Oliver King, Paul Martin, Alison Parker

Abstract: We provide a method for constructing central idempotents in the Brauer algebra relating to the splitting of certain short exact sequences. We also determine some of the primitive central idempotents, and relate properties of the idempotents to known facts about the representation theory of the algebra. We provide a method for constructing central idempotents in the Brauer algebra relating to the splitting of certain short exact sequences. We also determine some of the primitive central idempotents, and relate properties of the idempotents to known facts about the representation theory of the algebra. △ Less

Submitted 5 September, 2016; originally announced September 2016.

Comments: 19 pages

Using Katsurada's Determination of the Eisenstein Series to Compute Siegel Eigenforms

Authors: Oliver D. King, Cris Poor, Jerry Shurman, David S. Yuen

Abstract: We compute Hecke eigenform bases of spaces of level one, degree~three Siegel modular forms and 2-Euler factors of the eigenforms through weight 22. Our method uses the Fourier coefficients of Siegel Eisenstein series, which are fully known and computationally tractable by the work of H. Katsurada; we also use P. Garrett's decomposition of the pullback of the Eisenstein series through the Witt map.… ▽ More We compute Hecke eigenform bases of spaces of level one, degree~three Siegel modular forms and 2-Euler factors of the eigenforms through weight 22. Our method uses the Fourier coefficients of Siegel Eisenstein series, which are fully known and computationally tractable by the work of H. Katsurada; we also use P. Garrett's decomposition of the pullback of the Eisenstein series through the Witt map. Our results support I. Miyawaki's conjectural lift, and they give examples of eigenforms that are congruence neighbors. △ Less

Submitted 25 April, 2016; originally announced April 2016.

MSC Class: 11F46; 11F30

On the decomposition matrix of the partition algebra in positive characteristic

Authors: Oliver King

Abstract: We examine the structure of the partition algebra $P_n(δ)$ over a field $k$ of characteristic $p>0$. In particular, we describe the decomposition matrix of $P_n(δ)$ when $n<p$ and when $n=p$ and $δ=p-1$. We examine the structure of the partition algebra $P_n(δ)$ over a field $k$ of characteristic $p>0$. In particular, we describe the decomposition matrix of $P_n(δ)$ when $n<p$ and when $n=p$ and $δ=p-1$. △ Less

Submitted 26 March, 2014; originally announced March 2014.

Comments: 23 pages. arXiv admin note: text overlap with arXiv:1402.5157

The block structure of the partition algebras in characteristic $p\geq 0$

Authors: C. Bowman, M. De Visscher, O. King

Abstract: In this paper we describe the blocks of the partition algebra over a field of positive characteristic. In this paper we describe the blocks of the partition algebra over a field of positive characteristic. △ Less

Submitted 21 January, 2015; v1 submitted 20 February, 2014; originally announced February 2014.

Comments: 22 pages

The blocks of the Brauer algebra in characteristic p

Authors: Oliver King

Abstract: Brauer algebras form a tower of cellular algebras. There is a well-defined notion of limiting blocks for these algebras. In this paper we give a complete description of these limiting blocks over any field of positive characteristic. We also prove the existence of a class of homomorphisms between cell modules. Brauer algebras form a tower of cellular algebras. There is a well-defined notion of limiting blocks for these algebras. In this paper we give a complete description of these limiting blocks over any field of positive characteristic. We also prove the existence of a class of homomorphisms between cell modules. △ Less

Submitted 23 December, 2012; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: 21 pages, 15 figures; corrected references and typos in Section 5

Hyperovals of $H(3,q^2)$ when $q$ is even

Authors: Antonio Cossidente, Oliver H. King, Giuseppe Marino

Abstract: For even $q$, a group $G$ isomorphic to $PSL(2,q)$ stabilizes a Baer conic inside a symplectic subquadrangle ${\cal W}(3,q)$ of ${\cal H}(3,q^2)$. In this paper the action of $G$ on points and lines of ${\cal H}(3,q^2)$ is investigated. A construction is given of an infinite family of hyperovals of size $2(q^3-q)$ of ${\cal H}(3,q^2)$, with each hyperoval having the property that its automorphism… ▽ More For even $q$, a group $G$ isomorphic to $PSL(2,q)$ stabilizes a Baer conic inside a symplectic subquadrangle ${\cal W}(3,q)$ of ${\cal H}(3,q^2)$. In this paper the action of $G$ on points and lines of ${\cal H}(3,q^2)$ is investigated. A construction is given of an infinite family of hyperovals of size $2(q^3-q)$ of ${\cal H}(3,q^2)$, with each hyperoval having the property that its automorphism group contains $G$. Finally it is shown that the hyperovals constructed are not isomorphic to known hyperovals. △ Less

Submitted 15 November, 2012; originally announced November 2012.

Comments: Submitted

Measurable Time-Restricted Sensitivity

Authors: Domenico Aiello, Hansheng Diao, Zhou Fan, Daniel O. King, Jessica Lin, Cesar E. Silva

Abstract: We develop two notions of time-restricted sensitivity to initial conditions for measurable dynamical systems, where the time before divergence of a pair of paths is at most an asymptotically logarithmic function of a measure of their initial distance. In the context of finite measure-preserving transformations on a compact space, we relate these notions to the metric entropy of the system. We exam… ▽ More We develop two notions of time-restricted sensitivity to initial conditions for measurable dynamical systems, where the time before divergence of a pair of paths is at most an asymptotically logarithmic function of a measure of their initial distance. In the context of finite measure-preserving transformations on a compact space, we relate these notions to the metric entropy of the system. We examine one of these notions for classes of non-measure-preserving, nonsingular transformations. △ Less

Submitted 8 May, 2011; originally announced May 2011.

MSC Class: Primary 37A05; Secondary 37F10

Journal ref: Nonlinearity 25 (2012), no. 12, 3313-3325

On the K-theory of boundary $C^*$-algebras of $\widetilde A_2$ groups

Authors: Oliver King, Guyan Robertson

Abstract: Let $Γ$ be an $\widetilde A_2$ subgroup of $\PGL_3(\mathbb K)$, where $\mathbb K$ is a local field with residue field of order $q$. The module of coinvariants $C(\mathbb P^2_{\mathbb K},\mathbb Z)_Γ$ is shown to be finite, where $\mathbb P^2_{\mathbb K}$ is the projective plane over $\mathbb K$. If the group $Γ$ is of Tits type and if $q \not\equiv 1 \pmod {3}$ then the exact value of the order of… ▽ More Let $Γ$ be an $\widetilde A_2$ subgroup of $\PGL_3(\mathbb K)$, where $\mathbb K$ is a local field with residue field of order $q$. The module of coinvariants $C(\mathbb P^2_{\mathbb K},\mathbb Z)_Γ$ is shown to be finite, where $\mathbb P^2_{\mathbb K}$ is the projective plane over $\mathbb K$. If the group $Γ$ is of Tits type and if $q \not\equiv 1 \pmod {3}$ then the exact value of the order of the class $[I]_{K_0}$ in the K-theory of the (full) crossed product $C^*$-algebra $C(Ω)\rtimesΓ$ is determined, where $Ω$ is the Furstenberg boundary of $\PGL_3(\mathbb K)$. For groups of Tits type, this verifies a conjecture of G. Robertson and T. Steger. △ Less

Submitted 22 April, 2011; originally announced April 2011.

MSC Class: Primary 46L80; secondary 58B34; 51E24; 20G25

Journal ref: J. K-theory, 9 (2012), 521-536

Bounds for DNA codes with constant GC-content

Authors: Oliver D. King

Abstract: We derive theoretical upper and lower bounds on the maximum size of DNA codes of length n with constant GC-content w and minimum Hamming distance d, both with and without the additional constraint that the minimum Hamming distance between any codeword and the reverse-complement of any codeword be at least d. We also explicitly construct codes that are larger than the best previously-published co… ▽ More We derive theoretical upper and lower bounds on the maximum size of DNA codes of length n with constant GC-content w and minimum Hamming distance d, both with and without the additional constraint that the minimum Hamming distance between any codeword and the reverse-complement of any codeword be at least d. We also explicitly construct codes that are larger than the best previously-published codes for many choices of the parameters n, d and w. △ Less

Submitted 26 February, 2004; v1 submitted 11 June, 2003; originally announced June 2003.

Comments: 13 pages, no figures; a few references added and typos corrected

MSC Class: 05B40

Journal ref: Electronic Journal of Combinatorics, vol. 10 (2003), R33, 13pp

A mass formula for unimodular lattices with no roots

Authors: Oliver King

Abstract: We derive a mass formula for n-dimensional unimodular lattices having any prescribed root system. We use Katsurada's formula for the Fourier coefficients of Siegel Eisenstein series to compute these masses for all root systems of even unimodular 32-dimensional lattices and odd unimodular lattices of dimension n < 31. In particular, we find the mass of even unimodular 32-dimensional lattices with… ▽ More We derive a mass formula for n-dimensional unimodular lattices having any prescribed root system. We use Katsurada's formula for the Fourier coefficients of Siegel Eisenstein series to compute these masses for all root systems of even unimodular 32-dimensional lattices and odd unimodular lattices of dimension n < 31. In particular, we find the mass of even unimodular 32-dimensional lattices with no roots, and the mass of odd unimodular lattices with no roots in dimension n < 31, verifying Bacher and Venkov's enumerations in dimensions 27 and 28. We also compute better lower bounds on the number of inequivalent unimodular lattices in dimensions 26 to 30 than those afforded by the Minkowski-Siegel mass constants. The ASCII text file table.txt (1.3 MB) at arXiv:math.NT/0012231 includes the complete table of masses of 32-dimensional even unimodular lattices with any given root system, and may be dowloaded using the source link. △ Less

Submitted 17 October, 2001; v1 submitted 22 December, 2000; originally announced December 2000.

Comments: Expanded, and some typos fixed. LaTex (27 pages) with separate ASCII table

Journal ref: Mathematics of Computation, vol. 72, no. 242 (2003), 839-863.

Transitive and Co-Transitive Caps

Authors: A. Cossidente, O. H. King

Abstract: A cap in PG(r,q) is a set of points, no three of which are collinear. A cap is said to be transitive if its automorphism group in PGammaL(r+1,q) acts transtively on the cap, and co-transitive if the automorphism group acts transtively on the cap's complement in PG(r,q). Transitive, co-transitive caps are characterized as being one of: an elliptic quadric in PG(3,q); a Suzuki-Tits ovoid in PG(3,q… ▽ More A cap in PG(r,q) is a set of points, no three of which are collinear. A cap is said to be transitive if its automorphism group in PGammaL(r+1,q) acts transtively on the cap, and co-transitive if the automorphism group acts transtively on the cap's complement in PG(r,q). Transitive, co-transitive caps are characterized as being one of: an elliptic quadric in PG(3,q); a Suzuki-Tits ovoid in PG(3,q); a hyperoval in PG(2,4); a cap of size 11 in PG(4,3); the complement of a hyperplane in PG(r,2); or a union of Singer orbits in PG(r,q) whose automorphism group comes from a subgroup of GammaL(1,q^{r+1}). △ Less

Submitted 28 July, 2000; originally announced July 2000.

Comments: To appear in The Bulletin of the Belgian Mathematical Society - Simon Stevin

MSC Class: 51E22 (Primary) 20B15; 20B25 (Secondary)