Large dimension homomorphism spaces between Specht modules for symmetric groups

Let F be a field of characteristic p. We show that Hom_FΣn(S^λ,S^μ) can have arbitrarily large dimension as n and p grow, where S^λ and S^μ are Specht modules for the symmetric group Σ_n. Similar results hold for the Weyl modules of the general linear group. Every previously computed example has been at most one-dimensional, with the exception of Specht modules over a field of characteristic two. The proof uses the work of Chuang and Tan, providing detailed information about the radical series of Weyl modules in Rouquier blocks.     

A simplified proof for the limit of a tower over a cubic finite field

Recently Bezerra, Garcia and Stichtenoth constructed an explicit tower F=(Fn)_n?0 of function fields over a finite field Fq³, whose limit λ(F)=limn→∞N(Fn)/g(Fn) attains the Zink bound λ(F)?2(q²−1)/(q+2). Their proof is rather long and very technical. In this paper we replace the complex calculations in their work by structural arguments, thus giving a much simpler and shorter proof for the limit of the Bezerra, Garcia and Stichtenoth tower.     

On the Evaluation of Weil Sums of Dembowski-Ostrom Polynomials

Let F_q denote the finite field of q elements, q=p^e odd, let χ₁ denote the canonical additive character of F_q where χ₁(c)=e^2πiTr(c)/p for all c∈F_q, and let Tr represent the trace function from F_q to F_p. We are interested in evaluating Weil sums of the form S=S(a₁, …, a_n)=∑_x∈Fq χ₁(D(x)) where D(x)=∑ⁿ_i=1 a_ix^pα_i+pβ_i, α_i?β_i for each i, is known as a Dembowski-Ostrom polynomial (or as a D-O polynomial). Coulter has determined the value of S when D(x)=ax^pα+1; in this note we show how Coulter's methods can be generalized to determine the absolute value of S for any D-O polynomial. When e is even, we give a subclass of D-O polynomials whose Weil sums are real-valued, and in certain cases we are able to resolve the sign of S. We conclude by showing how Coulter's work for the monomial case can be used to determine a lower bound on the number of F^l_q-solutions to the diagonal-type equation ∑^l_i=1 x^pγ+1_i+(x_i+λ)^pγ+1=0, where l is even, e/gcd(γ, e) is odd, and h (X)=λ^pe−γX^pe−γ+λ^pγX is a permutation polynomial over F_q.     

The Rotation Number Approach to the Periodic Fuc caron ik Spectrum

In this paper, we study the Fu?ik spectrum of the problem: (^*) ?+(λ₊+q₊(t))x₊+(λ₋+q₋(t))x₋=0 with the 2π-periodic boundary condition, where q_±(t) are 2π-periodic. After introducing a rotation number function ρ(λ₊, λ₋) for (^*), we prove using the Hamiltonian structure and the positive homogeneity of (^*) that for any positive integer n, the two boundary curves of the domain ρ⁻¹(n/2) in the (λ₊, λ₋)-plane are Fu?ik curves of (^*). The result obtained in this paper shows that such a spectrum problem is much like that of the higher dimensional Fu?ik spectrum with the Dirichlet condition. In particular, it remains open if the Fu?ik spectrum of (^*) is composed of only these curves.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ?_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ? ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ?_q,1(B _n )- module D^λ remains irreducible on restriction to ?_q(D _n ).     

Newton Polygons of L Functions Associated with Exponential Sums of Polynomials of Degree Four over Finite Fields

Let F_q be the finite field of q elements with characteristic p and F_q^m its extension of degree m. Fix a nontrivial additive character Ψ of F_p. If f(x₁,…, x_n)∈F_q[x₁,…, x_n] is a polynomial, then one forms the exponential sum S_m(f)=∑_{(x1,…,xn)∈(Fq^m)ⁿ}Ψ(Tr_Fq^m/Fp(f(x₁,…,x_n))). The corresponding L functions are defined by L(f, t)=exp(∑^∞_m=0S_m(f)t^m/m). In this paper, we apply Dwork's method to determine the Newton polygon for the L function L(f(x), t) associated with one variable polynomial f(x) when deg f(x)=4. As an application, we also give an affirmative answer to Wan's conjecture for the case deg f(x)=4.     

Approximate extension of partial ε-characters of abelian groups to characters with application to integral point lattices

Let G be an abelian group, S ⊆ G be a finite set, and T denote the multiplicative group of complex unitswith the invariant arc metric | arg(a/b)|. We will show that for a mapping ? : S → T to be ε-close on S to a character φ : G → T it is enough that ? be extendable to a mapping ¯f : (S U {1} US⁻¹)ⁿ → T, where n is big enough and ¯f violates the homomorphy condition at most up to an arbitrary σ < min(ε, π/2). Moreover, n can be chosen uniformly, independently of G and both ? and ¯f, depending just on σ, ε and the number of elements of S. The proof is non-constructive, using the ultraproduct construction and Pontryagin duality, hence yielding no estimate on the actual size of n. As one of the applications we show that, for a vector u ∈ R ^q to be ε-close to some vector from the dual lattice H^★ of a full rank integral point lattice H ⊆ ?^q, it is enough for the scalar product ux to be δ-close (with δ < 1/3) to an integer for all vectors xH satisfying Σ_i|x_i | < n, where n depends on δ, ε and q only.     

Foliations and global injectivity in ℝ n

Let F: ? ⁿ → ? ⁿ be a polynomial local diffeomorphism and let S _F denote the set of not proper points of F. The Jelonek’s real Jacobian Conjecture states that if codim(S _F ) ≥ 2, then F is bijective. We prove a weak version of such conjecture establishing the sufficiency of a necessary condition for the bijectivity of F.     

An umbral calculus for polynomials characterizing U(n) tensor operators

After the change of variables Δ_i = γ_i ? δ_i and x_{i,i + 1} = δ_i ? δ_{i + 1} we show that the invariant polynomials _μG⁽ⁿ⁾_q(, Δ_i, ; , x_i,i+1,) characterizing U(n) tensor operators 〈p, q,…, q, 0,…, 0〉 become an integral linear combination of Schur functions S_λ(γ ? δ) in the symbol γ ? δ, where γ ? δ denotes the difference of the two sets of variables {γ₁ ,…, γ_n} and {δ₁ ,…, δ_n}. We obtain a similar result for the yet more general bisymmetric polynomials ^m_μG⁽ⁿ⁾_q(γ₁ ,…, γ_n; δ₁ ,…, δ_m). Making use of properties of skew Schur functions $\text{S}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\rho </mtext>}}$ and S_λ(γ ? δ) we put together an umbral calculus for ^m_μG⁽ⁿ⁾_q(γ; δ). That is, working entirely with polynomials, we uniquely determine ^m_μG⁽ⁿ⁾_q(γ; δ) from ^m_μG⁽ⁿ⁾_{q ? 1}(γ; δ) and combinatorial rules involving Ferrers diagrams (i.e., partitions), provided that n ≥ (μ + 1)q. (This restriction does not interfere with writing the general case of ^m_μG⁽ⁿ⁾_q(γ; δ) as a linear combination of S_λ(γ ? δ).) As an application we deduce “conjugation” symmetry for ⁿ_μG⁽ⁿ⁾_q(γ; δ) from “transposition” symmetry by showing that these two symmetries are equivalent.     

Kronecker multiplicities in the (k, ℓ) hook are polynomially bounded

The problem of decomposing the Kronecker product of S _n characters is one of the last major open problems in the ordinary representation theory of the symmetric group S _n . In this note λ and µ are partitions of n, n goes to infinity, and we prove upper and lower polynomial bounds for the multiplicities of the Kronecker product χ^λ ? χ^µ, where for some fixed k and ? both partitions λ and µ are in the (k, ?) hook.     

On the minimal positive homothetic image of a simplex containing a convex body

Let C be a convex body, and let S be a nondegenerate simplex in ? ⁿ . It is proved that the minimal coefficientσ > 0 for which the translate of σS contains C is $$\sum\limits_{j = 1}^{n + 1} {\mathop {\max \left( { - \lambda _j \left( x \right)} \right) + 1,}\limits_{x \in C} }$$ where λ ₁(x), ..., λ _n +1(x) are the barycentric coordinates of the point x ∈ ? ⁿ with respect to S. In the case C = [0, 1] ⁿ , this quantity is reduced to the form Σ _i=1 ⁿ 1/d _i (S), where d _i (S) is the ith axial diameter of S, i.e., the maximal length of the segment from S parallel to the ith coordinate axis.     

Embedding of a pseudo-residual design into a Möbius plane

Let $\text{U}$ be a class of subsets of a finite set X. Elements of $\text{U}$ are called blocks. Let v, t and λ₁, 0 ? i ? t, be nonnegative integers, and K be a subset of nonnegative integers such that every member of K is at most v. A pair (X, U) is called a (λ₀, λ₁,…, λ_t; K, υ)t-design if (1) |X| = υ, (2) every i-subset of X is contained in exactly λ_t blocks, 0 ? i ? t, and (3) for every block A in $\text{U}$, |A| ?K. It is well-known that if K consists of a singleton k, then λ₀,…, λ_{t ? 1} can be determined from υ, t, k and λ_t. Hence, we shall denote a (λ₀,…, λ_t; {k}, υ)t-design by S_λ(t, k, υ), where λ = λ_t. A Möbius plane M is an S₁(3, q + 1, q² + 1), where q is a positive integer. Let A be a fixed block in M. If A is deleted from M together with the points contained in A, then we obtain a residual design M′ with parameters λ₀ = q³ + q ? 1, λ₁ = q² + q, λ₂ = q + 1, λ₃ = 1, K = {q + 1, q, q ? 1}, and υ = q² ? 1. We define a design to be a pseudo-block-residual design of order q (abbreviated by PBRD(q)) if it has these parameters. We consider the reconstruction problem of a Möbius plane from a given PBRD(q). Let B and B′ be two blocks in a residual design M′. If B and B′ are tangent to each other at a point x, and there exists a block C of size q + 1 such that C is tangent to B at x and is secant to B′, then we say B is r-tangent to B′ at x. A PBRD(q) is said to satisfy the r-tangency condition if for every block B of size q, and any two points x and y not in B, there exists at most one block which is r-tangent to B and contains x and y. We show that any PBRD(q)D can be uniquely embedded into a Möbius plane if and only if D satisfies the r-tangency condition.     

Primitive Elements with Zero Traces

Let F_q denote the finite field of order q, a power of a prime p, and n be a positive integer. We resolve completely the question of whether there exists a primitive element of F_qⁿ which is such that it and its reciprocal both have zero trace over F_q. Trivially, there is no such element when n<5: we establish existence for all pairs (q, n) (n≥5) except (4, 5), (2, 6), and (3, 6). Equivalently, with the same exceptions, there is always a primitive polynomial P(x) of degree n over F_q whose coefficients of x and of x^n-1 are both zero. The method employs Kloosterman sums and a sieving technique.     

Free monotone transport

By solving a free analog of the Monge-Ampère equation, we prove a non-commutative analog of Brenier’s monotone transport theorem: if an n-tuple of self-adjoint non-commutative random variables Z ₁,…,Z _n satisfies a regularity condition (its conjugate variables ξ ₁,…,ξ _n should be analytic in Z ₁,…,Z _n and ξ _j should be close to Z _j in a certain analytic norm), then there exist invertible non-commutative functions F _j of an n-tuple of semicircular variables S ₁,…,S _n , so that Z _j =F _j (S ₁,…,S _n ). Moreover, F _j can be chosen to be monotone, in the sense that and g is a non-commutative function with a positive definite Hessian. In particular, we can deduce that C ^?(Z ₁,…,Z _n )?C ^?(S ₁,…,S _n ) and \(W^{*}(Z_{1},\dots,Z_{n})\cong L(\mathbb{F}(n))\) . Thus our condition is a useful way to recognize when an n-tuple of operators generate a free group factor. We obtain as a consequence that the q-deformed free group factors \(\varGamma_{q}(\mathbb{R}^{n})\) are isomorphic (for sufficiently small q, with bound depending on n) to free group factors. We also partially prove a conjecture of Voiculescu by showing that free Gibbs states which are small perturbations of a semicircle law generate free group factors. Lastly, we show that entrywise monotone transport maps for certain Gibbs measure on matrices are well-approximated by the matricial transport maps given by free monotone transport.     

Enumeration of inequivalent irreducible Goppa codes

We consider irreducible Goppa codes over F_q of length qⁿ defined by polynomials of degree r, where q is a prime power and n,r are arbitrary positive integers. We obtain an upper bound on the number of such codes.     

On additive polynomials and certain maximal curves

We show that a maximal curve over F_q² given by an equation A(X)=F(Y), where A(X)∈F_q²[X] is additive and separable and where F(Y)∈F_q²[Y] has degree m prime to the characteristic p, is such that all roots of A(X) belong to F_q². In the particular case where F(Y)=Y^m, we show that the degree m is a divisor of q+1.     

Codeterminants and <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We study codeterminants in the q-Schur algebra S _q (n,r) and prove that the standard ones form a basis of S _q (n,r), using a quantized version of the Désarménien matrix. We find elements of the form F _S 1_λ E _T in Lusztig’s modified enveloping algebra of gl(n), which, up to powers of q, map to the basis of standard codeterminants, where F _S ∈U ^– and E _T ∈U ⁺ are explicitly given products of root vectors, depending on Young tableaux S and T.     

Spectral upper bounds for the order of a k-regular induced subgraph

Let G be a simple graph with least eigenvalue λ and let S be a set of vertices in G which induce a subgraph with mean degree k. We use a quadratic programming technique in conjunction with the main angles of G to establish an upper bound of the form |S|?inf{(k+t)q_G(t):t>-λ} where q_G is a rational function determined by the spectra of G and its complement. In the case k=0 we obtain improved bounds for the independence number of various benchmark graphs.     

Frobenius nonclassicality of Fermat curves with respect to cubics

For Fermat curves F: aX ⁿ + bY ⁿ = Z ⁿ defined over F _q , we establish necessary and sufficient conditions for F to be F _q -Frobenius nonclassical with respect to the linear system of plane cubics. In the new F _q -Frobenius nonclassical cases, we determine explicit formulas for the number N _q (F) of F _q -rational points on F. For the remaining Fermat curves, nice upper bounds for N _q (F) are immediately given by the Stöhr–Voloch Theory.     

Asymptotic expansions in the integral and local limit theorems in banach spaces with applications to ω-statistics

LetB be a real separable Banach space and letX,X ₁,X ₂,...∈B denote a sequence of independent identically distributed random variables taking values inB. DenoteS _n =n ^?1/2(X ₁+...X _n ). Let π:B→R be a polynomial. We consider (truncated) Edgeworth expansions and other asymptotic expansions for the distribution function of the r.v. π(S _n ) with uniform and nonuniform bounds for the remainder terms. Expansions for the density of π(S _n ) and its higher order derivatives are derived as well. As an application of the general results we get expansions in the integral and local limit theorems for ω-statistics $$\omega _n^p (q)\mathop { = n^{{p \mathord{\left/ {\vphantom {p 2}} \right. \kern-\nulldelimiterspace} 2}} }\limits^\Delta \smallint _{(0,1)} \{ F_n (x) - x\} ^p q(x)dx$$ and investigate smoothness properties of their distribution functions. Herep≥2 is an even number,q: [0, 1]→[0, ∞] is a measurable weight function, andF _n denotes the empirical distribution function. Roughly speaking, we show that in order to get an asymptotic expansion with remainder termO(n ^?α), α<p/2, for the distribution function of the ω-statistic, it is sufficient thatq is nontrivial, i.e., mes{t∈(0, 1):q(t)≠0}>0. Expansions of arbitrary length are available provided the weight functionq is absolutely continuous and positive on an nonempty subinterval of (0, 1). Similar results hold for the density of the distribution function and its derivatives providedq satisfies certain very mild smoothness condition and is bounded away from zero. The last condition is essential since the distribution function of the ω-statistic has no density whenq is vanishing on an nonempty subinterval of (0, 1).