On the subfields of cyclotomic function fields

Let K = F(T) be the rational function field over a finite field of q elements. For any polynomial f(T) ∈ F [T] with positive degree, denote by Λ _f the torsion points of the Carlitz module for the polynomial ring F[T]. In this short paper, we will determine an explicit formula for the analytic class number for the unique subfield M of the cyclotomic function field K(Λ _P ) of degree k over F(T), where P ∈ F[T] is an irreducible polynomial of positive degree and k > 1 is a positive divisor of q ? 1. A formula for the analytic class number for the maximal real subfield M ⁺ of M is also presented. Futhermore, a relative class number formula for ideal class group of M will be given in terms of Artin L-function in this paper.     

Compact quantum metric spaces and ergodic actions of compact quantum groups

We show that for any co-amenable compact quantum group A=C(G) there exists a unique compact Hausdorff topology on the set EA(G) of isomorphism classes of ergodic actions of G such that the following holds: for any continuous field of ergodic actions of G over a locally compact Hausdorff space T the map T→EA(G) sending each t in T to the isomorphism class of the fibre at t is continuous if and only if the function counting the multiplicity of γ in each fibre is continuous over T for every equivalence class γ of irreducible unitary representations of G. Generalizations for arbitrary compact quantum groups are also obtained. In the case G is a compact group, the restriction of this topology on the subset of isomorphism classes of ergodic actions of full multiplicity coincides with the topology coming from the work of Landstad and Wassermann. Podle? spheres are shown to be continuous in the natural parameter as ergodic actions of the quantum SU(2) group. We also introduce a notion of regularity for quantum metrics on G, and show how to construct a quantum metric from any ergodic action of G, starting from a regular quantum metric on G. Furthermore, we introduce a quantum Gromov-Hausdorff distance between ergodic actions of G when G is separable and show that it induces the above topology.     

Numerical ranges of cube roots of the identity

The numerical range of a bounded linear operator T on a Hilbert space H is defined to be the subset W(T)={〈Tv,v〉:v∈H,∥v∥=1} of the complex plane. For operators on a finite-dimensional Hilbert space, it is known that if W(T) is a circular disk then the center of the disk must be a multiple eigenvalue of T. In particular, if T has minimal polynomial z³-1, then W(T) cannot be a circular disk. In this paper we show that this is no longer the case when H is infinite dimensional. The collection of 3×3 matrices with three-fold symmetry about the origin are also classified.     

The prime at infinity and the rank of the class group in global function fields

In this paper we construct, for any integers m and n, and 2?g?m-1, infinitely many function fields K of degree m over F(T) such that the prime at infinity splits into exactly g primes in K and the ideal class group of K contains a subgroup isomorphic to (Z/nZ)^m-g. This extends previous results of the author and Lee for the cases g=1 and g=m.     

Characterizations of Lie derivations of triangular algebras

Let T be a triangular algebra over a commutative ring R. In this paper, under some mild conditions on T, we prove that if δ:T→T is an R-linear map satisfying

δ([x,y])=[δ(x),y]+[x,δ(y)]     

Generalized Poincaré Classes and Cubic Equivalences

Let Y be a smooth projective algebraic surface over ?, and T(Y) the kernel of the Albanese map CH₀(Y)_deg0 → Alb(Y). It was first proven by D. Mumford that if the genus Pg(Y) > 0, then T(Y) is 'infinite dimensional'. One would like to have a better idea about the structure of T(Y). For example, if Y is dominated by a product of curves E₁ × E₂, such as an abelian or a Kummer surface, then one can easily construct an abelian variety B and a surjective 'regular' homomorphism B^?z2 → T(Y). A similar story holds for the case where Y is the Fano surface of lines on a smooth cubic hypersurface in P⁴. This implies a sort of boundedness result for T(Y). It is natural to ask if this is the case for any smooth projective algebraic surface Y ? Partial results have been attained in this direction by the author [Illinois. J. Math. 35 (2), 1991]. In this paper, we show that the answer to this question is in general no. Furthermore, we generalize this question to the case of the Chow group of k—cycles on any projective algebraic manifold X, and arrive at, from a conjectural standpoint, necessary and sufficient cohomological conditions on X for which the question can be answered affirmatively.     

Convergence of the iterated Aluthge transform sequence for diagonalizable matrices

Given an r×r complex matrix T, if T=U|T| is the polar decomposition of T, then, the Aluthge transform is defined by

Δ(T)=|T|^1/2U|T|^1/2.     

Maximum Distance Between Slater Orders and Copeland Orders of Tournaments

Given a tournament T?=?(X, A), we consider two tournament solutions applied to T: Slater’s solution and Copeland’s solution. Slater’s solution consists in determining the linear orders obtained by reversing a minimum number of directed edges of T in order to make T transitive. Copeland’s solution applied to T ranks the vertices of T according to their decreasing out-degrees. The aim of this paper is to compare the results provided by these two methods: to which extent can they lead to different orders? We consider three cases: T is any tournament, T is strongly connected, T has only one Slater order. For each one of these three cases, we specify the maximum of the symmetric difference distance between Slater orders and Copeland orders. More precisely, thanks to a result dealing with arc-disjoint circuits in circular tournaments, we show that this maximum is equal to n(n???1)/2 if T is any tournament on an odd number n of vertices, to (n ²???3n?+?2)/2 if T is any tournament on an even number n of vertices, to n(n???1)/2 if T is strongly connected with an odd number n of vertices, to (n ²???3n???2)/2 if T is strongly connected with an even number n of vertices greater than or equal to 8, to (n ²???5n?+?6)/2 if T has an odd number n of vertices and only one Slater order, to (n ²???5n?+?8)/2 if T has an even number n of vertices and only one Slater order.     

Schubert classes in the equivariant cohomology of the Lagrangian Grassmannian

Let LGn denote the Lagrangian Grassmannian parametrizing maximal isotropic (Lagrangian) subspaces of a fixed symplectic vector space of dimension 2n. For each strict partition λ=(λ₁,…,λk) with λ₁?n there is a Schubert variety X(λ). Let T denote a maximal torus of the symplectic group acting on LGn. Consider the T-equivariant cohomology of LGn and the T-equivariant fundamental class σ(λ) of X(λ). The main result of the present paper is an explicit formula for the restriction of the class σ(λ) to any torus fixed point. The formula is written in terms of factorial analogue of the Schur Q-function, introduced by Ivanov. As a corollary to the restriction formula, we obtain an equivariant version of the Giambelli-type formula for LGn. As another consequence of the main result, we obtained a presentation of the ring .     

Class number factors and distribution of residues

LetG _m/H be a factor group of the prime residue groupG _m = (?/m?)^x. We introduce theb-division vectorT ^(b), which contains important data on the distribution of the integersk, 1 ≤k ≤m, (k, m) = 1, amongst the classesC ε G _m/H. Of particuar interest are the euclideanlength ofT ^(b) and thesigns of its components. First we express certain class number factors of abelian subfields of them-th cyclotomic field in terms ofT(b). These expressions can be used as class number formulas, but we are more interested in the converse question: What is the influence of the said class number factors onT ^(b), in particular, on ‖T ^(b)‖? Much information about this influence is contained in thenorm manifold ?. This manifold is a family of euclidean tori, which we study in detail. In some cases ?. is compact, which means that class number factors determine the length ofT ^(b) completely. In the remaining cases ?. supplies a lower bound for ‖T ^(b)‖ only. We obtain some insight into the quality of this lower bound by means of the Generalized Riemann Hypothesis. Moreover, we show that the connection ofT ^(b) with class number factors yields interesting facts about the signs of the components ofT ^(b) and is helpful in actual computations.     

A class of compact group extensions of β-transformations

We investigate the dynamical properties of a skew product transformation Tφ on [0,1)×G defined by Tφ(x,g)=(Tx,g⋅φ(x)) where T is the β-transformation for β?2 and φ(x) is a compact group G-valued step function with a finite number of discontinuities. We give several sufficient conditions for ergodicity and strong mixing of Tφ. As an application, we describe a class of step functions which satisfy the Central Limit Theorem for the β-transformations. As another application, we also consider a class of skew product transformations Tβ,a,w on [0,1)×[0,1) which maps where a,w∈R and give necessary and sufficient conditions for ergodicity and strong mixing.     

Hilbert genus fields of biquadratic fields

The Hilbert genus field of the real biquadratic field K=Q(δ~(1/2),d~(1/2)is described by Yue(2010)and Bae and Yue(2011)explicitly in the case=2 or p with p=1 mod 4 a prime and d a squarefree positive integer.In this article,we describe explicitly the Hilbert genus field of the imaginary biquadratic field K=Q(δ~(1/2),d~(1/2)),whereδ=-1,-2 or-p with p=3 mod 4 a prime and d any squarefree integer.This completes the explicit construction of the Hilbert genus field of any biquadratic field which contains an imaginary quadratic subfield of odd class number.     

On Balder’s Existence Theorem for Infinite-Horizon Optimal Control Problems

Balder’s well-known existence theorem (1983) for infinite-horizon optimal control problems is extended to the case in which the integral functional is understood as an improper integral. Simultaneously, the condition of strong uniform integrability (over all admissible controls and trajectories) of the positive part max{f₀, 0} of the utility function (integrand) f₀ is relaxed to the requirement that the integrals of f₀ over intervals [T, T′] be uniformly bounded above by a function ω(T, T′) such that ω(T, T′) → 0 as T, T′→∞. This requirement was proposed by A.V. Dmitruk and N.V. Kuz’kina (2005); however, the proof in the present paper does not follow their scheme, but is instead derived in a rather simple way from the auxiliary results of Balder himself. An illustrative example is also given.     

Analytic operator Lipschitz functions in the disk and a trace formula for functions of contractions

In this paper we prove that for an arbitrary pair {T ₁, T ₀} of contractions on Hilbert space with trace class difference, there exists a function ξ in L ¹(T) (called a spectral shift function for the pair {T ₁, T ₀}) such that the trace formula trace(f(T ₁) ? f(T ₀)) = ∫_T f′(ζ)ξ(ζ)dζ holds for an arbitrary operator Lipschitz function f analytic in the unit disk.     

Distortion coefficients for cryptocontractions

For complex Hilbert space H of d dimensions and for any number K ? 1, we may define m(K, d) as the least number with the following property: if 6p(T)6 ? K for all polynomials p mapping the complex unit disk into itself, then the operator T may be made a contraction by changing to a new norm |·|, derived from an inner product, such that

$\text{6h6 ? |h| ?m(K,d)6h6 (h∈H).}$

It is a long-standing open question whether m(K, d) has a finite bound independent of d. The present paper studies this and related questions and provides, in particular, an explicit estimate for m(K,d)—which, however, grows with d.     

Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini

In order to modelize the reasoning of an intelligent agent represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems a set of constants constitutes a fundamental tool. In this papers, we consider logic systems called L′_T without this kind of constants but limited to the case where T is a finite poset. We prove a weak deduction theorem. We introduce also an algebraic semantics using Hey ting algebra with operators. To prove the completeness theorem of the L′_T system with respect to the algebraic semantics, we use the method of H. Rasiowa and R. Sikorski for first order logic. In the propositional case, a corollary allows us to assert that it is decidable to know “if a propositional formula is valid”. We study also certain relations between the L′_T logic and the intuitionistic and classical logics.     

Scale invariant operators and combinatorial expansions

Scale invariance is a property shared by the operational operators xD, Dx and a whole class of linear operators. We give a complete characterization of this class and derive some of the common properties of its members. As an application, we show that a number of classical combinatorial results, such as Boole's additive formula or the Akiyama–Tanigawa transformation, can be derived in this setting.     

Penalized least squares estimation with weakly dependent data

In statistics and machine learning communities, the last fifteen years have witnessed a surge of high-dimensional models backed by penalized methods and other state-of-the-art variable selection techniques. The high-dimensional models we refer to differ from conventional models in that the number of all parameters p and number of significant parameters s are both allowed to grow with the sample size T. When the field-specific knowledge is preliminary and in view of recent and potential affluence of data from genetics, finance and on-line social networks, etc., such (s, T, p)-triply diverging models enjoy ultimate flexibility in terms of modeling, and they can be used as a data-guided first step of investigation. However, model selection consistency and other theoretical properties were addressed only for independent data, leaving time series largely uncovered. On a simple linear regression model endowed with a weakly dependent sequence, this paper applies a penalized least squares (PLS) approach. Under regularity conditions, we show sign consistency, derive finite sample bound with high probability for estimation error, and prove that PLS estimate is consistent in L ₂ norm with rate \(\sqrt {s\log s/T}\).