Random copy of a segment within a convex domain

Under the assumption that S is a segment of the length l and D is a bounded, convex domain in the Euclidean plane ℝ², the paper considers the randomly moving copy L of S, under the condition that it hits D. Denote by L| the length of L ∩ D. In the paper an elementary expression for the distribution function F _L (x) of the random variable L| is obtained. Note that F _L (x) can have a jump at the point l or can be a continuous function depending on l and the domainD. In particular, a relation between chord length distribution functions of D and F _L (x) is given. Moreover, we derive explicit forms of F _L (x) for the disk and regular n-gons with n = 3÷7.     

Robin Capacity and Lift of Infinitely Thin Airfoils

M.A. Lavrent'ev in 1934 proved that a circle arc provides the maximal aerodynamical lift P in the class of all arcs γ of fixed length l with curvature K(s) ≤ (1/21)(l)^?1, 0 ≤ s ≤ l. We consider the case of a nonconstant majorant for K(s) and show that the Lavrent'ev constant (1/21) can be increased by almost a factor of 3. The proof uses variation of the Robin capacities for the edges of the slit along γ under increase of K(s) on an infinitesimal segment. We also prove that the sum of these Robin capacities equals the transfinite diameter of γ, and the difference coincides with the lift P for γ.     

CM values and central L-values of elliptic modular forms

Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for ${\alpha\in K^{\times}}Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for a ? K^×{\alpha\in K^{\times}}. Let L(f, Ω; s) be the Rankin-Selberg L-function attached to (f, Ω) and P(f, Ω) an “Ω-averaged” sum of CM values of f. In this paper, we give a formula expressing the central L-values L(f, Ω; 1/2) in terms of the square of P(f, Ω).     

Calculation of Geometric Probabilities Using Covariogram of Convex Bodies

In the paper, a formula to calculate the probability that a random segment L(ω, u) in R ⁿ with a fixed direction u and length l lies entirely in the bounded convex body D ? R ⁿ (n ≥ 2) is obtained in terms of covariogram of the body D. For any dimension n ≥ 2, a relationship between the probability P(L(ω, u) ? D) and the orientation-dependent chord length distribution is also obtained. Using this formula, we obtain the explicit form of the probability P(L(ω, u) ? D) in the cases where D is an n-dimensional ball (n ≥ 2), or a regular triangle on the plane.     

Bounds of the Ideal Class Numbers of Real Quadratic Function Fields

The theory of continued fractions of functions is used to give a lower bound for class numbers h(D) of general real quadratic function fields K=k(D)over k=Fq(T)．For five series of real quadratic function fields K,the bounds of h(D)are given more explicitly,e．g.,if D=F^2 C．then h(D)≥degF／degP;if D=(SG)^2 cS．then h(D)≥degS／degP;if D=(A^m a)^2 A,then h(D)≥degA／degP,where P is an irreducible polynomial splitting in K,c∈Fq．In addition,three types of quadratic function fields K are found to have ideal class numbers bigger than one．     

Higher Chern Classes and Steenrod Operations in Motivic Cohomology

In this short paper we investigate the relation between higher Chern classes and reduced power operations in motivic cohomology. More precisely, we translate the well-known arguments [5] into the context of motivic cohomology and define higher Chern classes c_p,q : K _p(X) → H^2q-p (X,Z(q)) → H^2q-p(X, Z/l(q)), where X is a smooth scheme over the base field k, l is a prime number and char(k) ≠ l. The same approach produces the classes for K-theory with coefficients as well. Let further Pⁱ : H^m(X, Z/l(n)) → H^m+2i(l-1) (X, Z/l(n + i(l - 1))) denote the ith reduced power operation in motivic cohomology, constructed in [2]. The main result of the paper looks as follows.     

Hamilton cycles,avoiding prescribed arcs,in close-to-regular tournaments

The local irregularity of a digraph D is defined as i_l(D) = max {|d⁺ (x) − d⁻ (x)| : x ϵ V(D)}. Let T be a tournament, let Γ = {V₁, V₂, …, V_c} be a partition of V(T) such that |V₁| ≥ |V₂| ≥ … ≥ |V_c|, and let D be the multipartite tournament obtained by deleting all the arcs with both end points in the same set in Γ. We prove that, if |V(T)| ≥ max{2i_l(T) + 2|V₁| + 2|V₂| − 2, i_l(T) + 3|V₁| − 1}, then D is Hamiltonian. Furthermore, if T is regular (i.e., i_l(T) = 0), then we state slightly better lower bounds for |V(T)| such that we still can guarantee that D is Hamiltonian. Finally, we show that our results are best possible. © 1999 John Wiley & Sons, Inc. J Graph Theory 32: 123–136, 1999     

Un Nouveau ℓ (K) Qui Possede la Propriete de Grothendieck

Using the continuum hypothesis, we construct a compact spaceK such that ℓ(K) possesses the Grothendieck property, but such that the unit ball of ℓ(K)′ does not containβ N, and hence, in particular, such thatl ^∞(N) is neither a subspace nor quotient of ℓ(K). In particular,K does not contain a convergent sequence but does not containβ N.      

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

The number of pancyclic arcs in a k‐strong tournament

A tournament is a digraph, where there is precisely one arc between every pair of distinct vertices. An arc is pancyclic in a digraph D, if it belongs to a cycle of length l, for all 3 ≤ l ≤ |V (D) |. Let p(D) denote the number of pancyclic arcs in a digraph D and let h(D) denote the maximum number of pancyclic arcs belonging to the same Hamilton cycle of D. Note that p(D) ≥ h(D). Moon showed that h(T) ≥ 3 for all strong non‐trivial tournaments, T, and Havet showed that h(T) ≥ 5 for all 2‐strong tournaments T. We will show that if T is a k‐strong tournament, with k ≥ 2, then p(T) ≥ 1/2, nk and h(T) ≥ (k + 5)/2. This solves a conjecture by Havet, stating that there exists a constant α_k, such that p(T) ≥ α_k n, for all k‐strong tournaments, T, with k ≥ 2. Furthermore, the second results gives support for the conjecture h(T) ≥ 2k + 1, which was also stated by Havet. The previously best‐known bounds when k ≥ 2 were p(T) ≥ 2k + 3 and h(T) ≥ 5. © 2005 Wiley Periodicals, Inc. J Graph Theory     

The Feynman-Kac Formula with a Lebesgue-Stieltjes Measure and Feynman's Operational Calculus

We investigate what happens if in the Feynman-Kac functional, we perform the time integration with respect to a Borel measure η rather than ordinary Lebesgue measure l. Let u(t) be the operator associated with this functional through path integration. We show that u(t), considered as a function of time t, satisfies a certain Volterra-Stieltjes integral equation. This result establishes a “FeynmanKac formula with Lebesgue-Stieltjes measure η.” One recovers the classical Feynman-Kac formula by letting η = l. We deduce from the integral equation that u(t) satisfies a differential equation associated with the continuous part μ of η when η = μ = l, this differential equation reduces to the heat or the Schrödinger equation in the probabilistic or quantum-mechanical case, respectively. Moreover, we observe a new phenomenon, due to the discrete part v of η: the function u(t) undergoes a discontinuity at every point in the support of v, assumed here to be finite. Further, one obtains an explicit expression for u(t) in terms of operators alternatively associated with μ and v. Our results are new even in the probabilistic or “imaginary time” case and allow us to unify various concepts. The derivation of our integral equation has an interesting combinatorial structure and makes essential use of the “generalized Dyson series”— recently introduced by G. W. Johnson and the author—that “disentangle” the operator u(t). We provide natural physical interpretations of our results in both the diffusion and quantum-mechanical cases. We also suggest further connections with Feynman?s operational calculus for noncommuting operators.     

A Family of Complex Irreducible Characters Possessed by Unitary and Special Unitary Groups Defined over Local Rings

Abstract

Let 𝒪 be a discrete valuation ring whose residue field 𝒪/𝔭 is finite and has odd characteristic. Let l be a positive integer. Set R = 𝒪/𝔭 ^l and let R = R[θ] be the ring obtained by adjoining to R a square root of a non-square unit. Consider the involution σ of R that fixes R elementwise and sends θ to ? θ. Let V be a free R-module of rank n > 0 endowed with a non-degenerate hermitian form ( , ) relative to σ. Let U _n (R) be the subgroup of GL(V) that preserves ( , ). Let SU _n (R) be the subgroup of all g ∈ U _n (R) whose determinant is equal to one. Let Ψ be the Weil character of U _n (R).

All irreducible constituents of Ψ are determined. An explicit character formula is given for each of them. In particular, all character degrees are computed. For n > 2 the corresponding results are also obtained for the restriction of Ψ to SU _n (R).     

Obstructions to lifting automorphisms of free algebras

ABSTRACT

A monomial basis and a filtration of subalgebras for the universal enveloping algebra 𝔘(𝔤 _l ) of a complex simple Lie algebra 𝔤 _l of type A _l is given in this note. In particular, a new multiplicity formula for the Weyl module V(λ) of 𝔘(𝔤 _l ) is obtained in this note.     

Gaussian Polynomials and Content Ideal in Pullbacks

This article deals mainly with rings (with zerodivisors) in which regular Gaussian polynomials have locally principal contents. Precisely, we show that if (T,M) is a local ring which is not a field, D is a subring of T/M such that qf(D) = T/M, h: T → T/M is the canonical surjection and R = h ^?1(D), then if T satisfies the property “every regular Gaussian polynomial has locally principal content,” then also R verifies the same property. We also show that if D is a Prüfer domain and T satisfies the property “every Gaussian polynomial has locally principal content”, then R satisfies the same property. The article includes a brief discussion of the scopes and limits of our result.     

A Generalization of Divided Domains and Its Connection to Weak Baer Going-Down Rings

Many results on going-down domains and divided domains are generalized to the context of rings with von Neumann regular total quotient rings. A (commutative unital) ring R is called regular divided if each P ∈ Spec(R)?(Max(R) ∩ Min(R)) is comparable with each principal regular ideal of R. Among rings having von Neumann regular total quotient rings, the regular divided rings are the pullbacks K× _K/P D where K is von Neumann regular, P ∈ Spec(K) and D is a divided domain. Any regular divided ring (for instance, regular comparable ring) with a von Neumann regular total quotient ring is a weak Baer going-down ring. If R is a weak Baer going-down ring and T is an extension ring with a von Neumann regular total quotient ring such that no regular element of R becomes a zero-divisor in T, then R ? T satisfies going-down. If R is a weak Baer ring and P ∈ Spec(R), then R + PR _(P) is a going-down ring if and only if R/P and R _P are going-down rings. The weak Baer going-down rings R such that Spec(R)?Min(R) has a unique maximal element are characterized in terms of the existence of suitable regular divided overrings.     

Intermediate Growth of Solvable Lie Superalgebras

Finitely generated solvable Lie algebras have an intermediate growth between polynomial and exponential. Recently the second author suggested the scale to measure such an intermediate growth of Lie algebras. The growth was specified for solvable Lie algebras F(A ^q , k) with a finite number of generators k, and which are free with respect to a fixed solubility length q. Later, an application of generating functions allowed us to obtain more precise asymptotic. These results were obtained in the generality of polynilpotent Lie algebras. Now we consider the case of Lie superalgebras; we announce that main results and describe the methods. Our goal is to compute the growth for F(A ^q , m, k), the free solvable Lie superalgebra of length q with m even and k odd generators. The proof is based upon a precise formula of the generating function for this algebra obtained earlier. The result is obtained in the generality of free polynilpotent Lie superalgebras. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 14, Algebra, 2004.     

The normalization constant of a certain invariant measure on GL n ( )

The ratio of the Tamagawa measure and a certain invariant measure on the group GL_n() is computed, where is the adèle of a division algebra D over a global field. An explicit formula of the ratio is described in terms of the special values of the zeta function of D. This formula yields (i) an explicit lower bound of the Hermite–Rankin constant _n,m(D) of D and (ii) an explicit asymptotic behavior of the distribution of rational points on Brauer–Severi variety.Mathematics Subject Classification (2000): Primary 11R52, Secondary 11H50     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

On runs of consecutive quadratic residues and quadratic nonresidues

Based on results of Weil and of Burgess, we have obtained a boundK(l) such that all primesp K(l) have a sequence of at leastl consecutive quadratic residues and a sequence of at leastl consecutive nonresidues in the interval [1,p – 1]. The bound forl=9 being 414463, we have computed, for primes less than 420000, the lengths of the longest sequences of consecutive residues and of nonresidues. We present these data and make some observations concerning them. One of the observations is that there is an observed difference in the length of the maximal sequence between primes congruent to 1 (mod 4) and primes congruent to 3 (mod 4).     

Elements of Small Orders in K2F Ⅱ

In "Elements of small orders in K2(F)" (Algebraic K-Theory, Lecture Notes in Math., 966, 1982, 1-6.), the author investigates elements of the form {a, Φn(a)} in the Milnor group K2F of a field F, where Φn(x) is the n-th cyclotomic polynomial. In this paper, these elements are generalized. Applying the explicit formulas of Rosset and Tate for the transfer homomorphism for K2, the author proves some new results on elements of small orders in K2F.