The conductor of a cyclic quartic field using Gauss sums

Let Q denote the field of rational numbers. Let K be a cyclic quartic extension of Q. It is known that there are unique integers A, B, C, D such that where A is squarefree and odd, D=B ²+C ² is squarefree, B $$ " align="middle" border="0"> 0 , C $$ " align="middle" border="0"> 0, GCD(A,D)=1. The conductor f(K) of K is f(K) = 2 ^l |A|D, where A simple proof of this formula for f(K) is given, which uses the basic properties of quartic Gauss sums.     

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

K0 of multiplier algebras of C*-algebras with real rank zero

For a large class of -unital C ^*-algebras A with real rank zero and stable rank one, the structure of the Grothendieck group k ₀ of the multiplier algebra (A) is investigated. The ordered group K ₀( (A)) is shown to be an unperforated Riesz group, and its additive structure is completely determined, as is — in important cases — its order structure. These structures, and the attendant consequences for the ideal structure of (A), are richer than previously anticipated. In particular, it is shown that the corona algebra (A)/A can have very large stably finite quotient algebras. For example, there exist simple, separable, approximately finite-dimensional C ^*-algebras A such that the maximal stably finite quotient algebra of (A)/A has uncountably many maximal ideals modulo which a W ^*-factor of Type II₁ results. The analysis of the additive structure of K ₀( (A)) yields as a byproduct that if A is a -unital approximately finite-dimensional C ^*-algebra without nonzero unital quotient algebras, then all quasitraces on (A) are traces.This research was partially supported by a grant from the National Science Foundation.     

The Structure of Modules over Hereditary Rings

Let A be a bounded hereditary Noetherian prime ring. For an A-module M _A , we prove that M is a finitely generated projective ${A \mathord{\left/ {\vphantom {A {r\left( M \right)}}} \right. \kern-0em} {r\left( M \right)}}$ -module if and only if M is a ${\pi }$ -projective finite-dimensional module, and either M is a reduced module or A is a simple Artinian ring. The structure of torsion or mixed ${\pi }$ -projective A-modules is completely described.     

Combinatorial S >n-Modules as Codes

Certain -modules related to the kernels ofincidence maps between types in the poset defined by the natural productorder on the set of n-tuples with entries from {1, ,m} are studied as linear codes (whencoefficients are extended to an arbitrary field K). Theirdimensions and minimal weights are computed. The Specht modules areextremal among these submodules. The minimum weight codewords of theSpecht module are shown to be scalar multiples of polytabloids. Ageneralization of t-design arising from the natural permutationS _n-modules labelled by partitions with mparts is introduced. A connection with Reed-Muller codes is noted and acharacteristic free formulation is presented.     

Higher order asymptotic theory for normalizing transformations of maximum likelihood estimators

Suppose thatX _n =(X ₁,...X _n) is a collection ofm-dimensional random vectorsX _i forming a stochastic process with a parameter . Let be the MLE of . We assume that a transformationA( ) of has thek-thorder Edgeworth expansion (k=2,3). IfA extinguishes the terms in the Edgeworth expansion up tok-th-order (k2), then we say thatA is thek-th-order normalizing transformation. In this paper, we elucidate thek-th-order asymptotics of the normalizing transformations. Some conditions forA to be thek-th-order normalizing transformation will be given. Our results are very general, and can be applied to the i.i.d. case, multivariate analysis and time series analysis. Finally, we also study thek-th-order asymptotics of a modified signed log likelihood ratio in terms of the Edgeworth approximation.Research supported by the Office of Naval Research Contract N00014-91-J-1020.     

Divisibility of Certain Partition Functions by Powers of Primes

Let be the prime factorization of a positive integer k and let b _k (n) denote the number of partitions of a non-negative integer n into parts none of which are multiples of k. If M is a positive integer, let S _k (N; M) be the number of positive integers N for which b _k(n ) 0(mod M). If we prove that, for every positive integer j In other words for every positive integer j, b _k(n) is a multiple of for almost every non-negative integer n. In the special case when k=p is prime, then in representation-theoretic terms this means that the number ofp -modular irreducible representations of almost every symmetric groupS _n is a multiple of p ^j. We also examine the behavior of b _k(n) (mod ) where the non-negative integers n belong to an arithmetic progression. Although almost every non-negative integer n (mod t) satisfies b _k(n) 0 (mod ), we show that there are infinitely many non-negative integers n r (mod t) for which b _k(n) 0 (mod ) provided that there is at least one such n. Moreover the smallest such n (if there are any) is less than 2 .     

On Non-Congruence Subgroups of the Analogue of the Modular Group in Characteristic p

Let k[t] be the polynomial ring over a finite field k. The group SL ₂(k[t]) is often referred to as the analogue, in characteristic p, of the classical modular group SL ₂( ), where is the ring of rational integers. It is well-known that the smallest index of a non-congruence subgroup of SL ₂( ) is 7. Here we compute this index for SL ₂(k[t]). (In all but 6 cases it turns out to be 1 + q, where q is the order of k.)     

Determinantal Inequalities for Accretive-Dissipative Matrices

A matrix is said to be accretive-dissipative if, in its Hermitian decomposition , both matrices B and C are positive definite. Further, if B= I _n, then A is called a Buckley matrix. The following extension of the classical Fischer inequality for Hermitian positive-definite matrices is proved. Let be an accretive-dissipative matrix, k and l be the orders of A ₁₁ and A ₂₂, respectively, and let m = min{k,l}. Then For Buckley matrices, the stronger bound is obtained. Bibliography: 5 titles.     

A Sharp Bound for the Number of Sets that Pairwise Intersect at <Emphasis Type="Italic">k</Emphasis> Positive Values

In this paper we prove that if is a set of k positive integers and {A ₁, ..., A _m } is a family of subsets of an n-element set satisfying , for all 1 i < j m, then . The case k = 1 was proven 50 years ago by Majumdar.     

Proof of a conjecture on the Sperner property of the subgroup lattice of an abelianp-group

Let (p) denote the subgroup lattice of the abelianp-group

On <Emphasis Type="Italic">k</Emphasis>-th Power of Upper Bound Graphs

We consider k-th power of upper bound graphs. According to the characterization of upper bound graphs, we obtain a characterization of k-th power of upper bound graphs. That is, for a connected upper bound graph G, G^k is an upper bound graph if and only if for any pair of A^k -simplicial vertices s₁, s₂ such that , there exists a G^k -simplicial vertex s satisfying the conditions: and . Furthermore we also get some properties on squares of upper bound graphs.AMS Subject Classification: 05C62.     

Geometry of \mathbb{Z}^d and the Central Limit Theorem for Weakly Dependent Random Fields

We study the asymptotic distribution of where A is a subset of , A _N = A[–N, N] ^d , v(A) = lim _N card(A _N) (2N+1) ^–d (0, 1) and X is a stationary weakly dependent random field. We show that the geometry of A has a relevant influence on the problem. More specifically, S _N(A, X) is asymptotically normal for each X that satisfies certain mixting hypotheses if and only if has a limit F(n; A) as N for each . We also study the class of sets A that satisfy this condition.     

The dimension of the kernel in finite and infinite intersections of starshaped sets

Summary. We establish the following Helly-type result for infinite families of starshaped sets in Define the function f on {1, 2} by f(1) = 4, f(2) = 3. Let be a fixed positive number, and let be a uniformly bounded family of compact sets in the plane. For k = 1, 2, if every f(k) (not necessarily distinct) members of intersect in a starshaped set whose kernel contains a k-dimensional neighborhood of radius , then is a starshaped set whose kernel is at least k-dimensional. The number f(k) is best in each case. In addition, we present a few results concerning the dimension of the kernel in an intersection of starshaped sets in Some of these involve finite families of sets, while others involve infinite families and make use of the Hausdorff metric.     

Convex independent sets and 7-holes in restricted planar point sets

For a finite setA of points in the plane, letq(A) denote the ratio of the maximum distance of any pair of points ofA to the minimum distance of any pair of points ofA. Fork>0 letc (k) denote the largest integerc such that any setA ofk points in general position in the plane, satisfying for fixed , contains at leastc convex independent points. We determine the exact asymptotic behavior ofc (k), proving that there are two positive constants=(), such thatk ^1/3c (k)k ^1/3. To establish the upper bound ofc (k) we construct a set, which also solves (affirmatively) the problem of Alonet al. [1] about the existence of a setA ofk points in general position without a 7-hole (i.e., vertices of a convex 7-gon containing no other points fromA), satisfying . The construction uses Horton sets, which generalize sets without 7-holes constructed by Horton and which have some interesting properties.     

Der numerische Wert gewisser Reihen

In this paper we compute the values of series of the form if k N is add. This was done by Glaisher [4] if k1 (mod 4), but if k 3 (mod 4) the result seems to be new.     

Extensions of distance preserving mappings in euclidean and hyperbolic geometry

Suppose that X is a real inner product space of (finite or infinite) dimension at least 2. A distance preserving mapping , where is a (finite or infinite) subset of a finite-dimensional subspace of X, can be extended to an isometry of X. This holds true for euclidean as well as for hyperbolic geometry. To both geometries there exist examples of non-extentable distance preserving , where S is not contained in a finite-dimensional subspace of X.     

An Elementary Proof of Pólya-Vinogradov's Inequality, II

Let be a primitive character mod k, k > 2. In [1], the following elementary estimate

Localizations of Transfors

Let be n-dimensional teisi, i.e., higher-dimensional Gray-categorical structures. The following questions can be asked. Does a left q-transfor , i.e., a functor 2 _q , induce a right q-transfor , i.e., a functor More generally, does a functor induce a functor For k-arrows c and whose (k – 1)-sources and targets agree, does a q-transfor induce a q-transfor , for appropriate k-arrows For k-arrows c and whose (k – 1)-sources and targets agree, does a q-transfor induce a (q + k + 1)-transfor , for appropriate k-arrows I give answers to these questions in the cases where n-dimensional teisi and their tensor product have been defined, i.e., for n 3, and for n up to 5 in some cases that do not need all data and axioms of n-dimensional teisi.I apply the above to compositions in teisi, in particular to braidings and syllepses. One of the results is that a braiding on a monoidal 2-category induces a pseudo-natural transformation , where is the reverse of ? –, which is almost, but not quite, equal to – ?. However, in higher dimensions need not be reversible, so a braiding on a higher-dimensional tas can not be seen as a transfor A B B A.     

An Example of a Fast-Decreasing (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">A</Emphasis>)-Lacunary Function

A function analytic in the unit disk is called (p, A)-lacunary if the inequalities n _k Ak ^p hold for all k 0 with some 1 < p < and A > 0. In this paper, for 1 < p < 2 and A > 0, we construct a (p, A)-lacunary function f _1,p,A (z) decreasing as x 1 – 0 at a rate close to the optimal rate for (p, A)-lacunary functions. Bibliography: 6 titles.