Superstability of the generalized orthogonality equation on restricted domains

Chmielinski has proved in the paper [4] the superstability of the generalized orthogonality equation |〈f(x), f(y)〉| = |〈x,y〉|. In this paper, we will extend the result of Chmielinski by proving a theorem: LetD _n be a suitable subset of ℝⁿ. If a function f:D _n → ℝⁿ satisfies the inequality ∥〈f(x), f(y)〉| |〈x,y〉∥ ≤ φ(x,y) for an appropriate control function φ(x, y) and for allx, y ∈ D _n, thenf satisfies the generalized orthogonality equation for anyx, y ∈ D _n.     

Global existence and time decay of small solutions to the landau-ginzburg type equations

We study the Cauchy problem for the nonlinear dissipative equations (0.1) uo∂u-αδu + Β|u|^2/n u = 0,x ∃ Rⁿ,t } 0,u(0,x) = u0(x),x ∃ Rⁿ, where α,Β ∃ C, ℜα 0. We are interested in the dissipative case ℜα 0, and ℜδ(α,Β)≥ 0, θ = |∫ u0(x)dx| ⊋ 0, where δ(α, Β) = ##|α|^n-1n^n/2 / ((n + 1)|α|² + α^{2 n/2}. Furthermore, we assume that the initial data u₀ ∃ L^p are such that (1 + |x|)^αu0 ∃ L¹, with sufficiently small norm ∃ = (1 + |x|)^α u₀ 1 + u₀ p, wherep 1, α ∃ (0,1). Then there exists a unique solution of the Cauchy problem (0.1)u(t, x) ∃ C ((0, ∞); L^∞) ∩ C ([0, ∞); L¹ ∩ L^p) satisfying the time decay estimates for allt0 u(t)||_∞ Cɛt^-n/2(1 + η log 〈t〉)^-n/2, if hg = θ^2/n 2_π ℜδ(α, Β) 0; u(t)||_∞ Cɛt^-n/2(1 + Μ log 〈t〉)^-n/4, if η = 0 and Μ = θ^4/n 4π)² (ℑδ(α, Β))² ℜ((1 + 1/n) υ1-1 υ2) 0; and u(t)||_∞ Cɛt^-n/2(1 + κ log 〈t〉)^-n/6, if η = 0, Μ = 0, κ 0, where υl,l = 1,2 are defined in (1.2), κ is a positive constant defined in (2.31).     

Applications of operator semigroups to Fourier analysis

Of concern are semigroups of linear norm one operators on Hilbert space of the form (discrete case)T={T ⁿ /n=0,1,2,...} or (continuous case)T={T(t)/t=≥0}. Using ergodic theory and Hilbert-Schmidt operators, the Cesàro limits (asn→∞) of |〈T ⁿ f,f〉|², |〈T (n)f,f〉|² are computed (withn∈ℤ⁺ orn∈ℤ⁺). Specializing the Hilbert space to beL ²(T,μ) (discrete case) orL ²(ℝ,μ) (continuous case) where μ is a Borel probability measure on the circle group or the line, the Cesàro limit of (asn→±∞, with,n∈ℤ orn∈ℝ) is obtained and interpreted. Extensions toT ^M , and ℝ ^M are given. Finally, we discuss recent operator theoretic extensions from a Hilbert to a Banach space context. Partially supported by an NSF grant     

Undirected power graphs of semigroups

The undirected power graph G(S) of a semigroup S is an undirected graph whose vertex set is S and two vertices a,b∈S are adjacent if and only if a≠b and a ^m =b or b ^m =a for some positive integer m. In this paper we characterize the class of semigroups S for which G(S) is connected or complete. As a consequence we prove that G(G) is connected for any finite group G and G(G) is complete if and only if G is a cyclic group of order 1 or p ^m . Particular attention is given to the multiplicative semigroup ℤ _n and its subgroup U _n , where G(U _n ) is a major component of G(ℤ _n ). It is proved that G(U _n ) is complete if and only if n=1,2,4,p or 2p, where p is a Fermat prime. In general, we compute the number of edges of G(G) for a finite group G and apply this result to determine the values of n for which G(U _n ) is planar. Finally we show that for any cyclic group of order greater than or equal to 3, G(G) is Hamiltonian and list some values of n for which G(U _n ) has no Hamiltonian cycle.     

Generalized Bicyclic Semigroups and Jones Semigroups

In this paper, we consider the generalized bicyclic semigroups B_n = a, b | aⁿb = 1 and the Jones semigroups A_n = a, b | aⁿ⁺¹b = a. They are the generalizations of the bicyclic semigroup B = a, b | ab = 1 and its analogous semigroup A = a, b | a²b = a discovered by P.R., Jones in 1987. The word problem for these kinds of semigroups is solved. It is proved that, for n 2, B_n are bisimple right inverse but not inverse semigroups and that the semigroup C = a, b | a²b = a, ab² = b is the smallest idempotent-free homomorphic image of A_n. Moreover, we also prove that A_n and A_m are mutually embeddable but not isomorphic with each other if n m. As a consequence, different kind of -nontrivial [0-]simple semigroups without idempotents are discussed.AMS 1991 Subject Classification: primary 20M10 secondary 20M05.Supported by NNSF of China (19671063) and KSRF of Sichuan Education Committee ([1999]127).     

Precise charm- and bottom-quark masses: Theoretical and experimental uncertainties

We consider recent theoretical and experimental improvements in determining charm- and bottom-quark masses. We present a new, improved evaluation of the contribution of the gluon condensate 〈α _s G ² /π〉 to the charm mass determination and a detailed study of potential uncertainties in the continuum cross section for b[`(b)]b\bar b production, together with a study of the parametric uncertainty from the α _s -dependence of our results. The final results, m_c(3 GeV) = 986(13) MeV and m_b(m_b) = 4163(16) MeV, together with the closely related lattice determination m_c(3 GeV) = 986(6) MeV, currently represent the most precise determinations of these two fundamental standard-model parameters. We critically analyze the theoretical and experimental uncertainties.     

Minimal rotational hypersurfaces in Minkowski (<Emphasis Type="Italic">α</Emphasis>, <Emphasis Type="Italic">β</Emphasis>)-space

In Finsler geometry, minimal surfaces with respect to the Busemann-Hausdorff measure and the Holmes-Thompson measure are called BH-minimal and HT-minimal surfaces, respectively. In this paper, we give the explicit expressions of BH-minimal and HT-minimal rotational hypersurfaces generated by plane curves rotating around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski (α, β)-space (\mathbbVⁿ⁺¹,[(F_b)\tilde]){(\mathbb{V}^{n+1},\tilde{F_b})} , where \mathbbVⁿ⁺¹{\mathbb{V}^{n+1}} is an (n+1)-dimensional real vector space, [(F_b)\tilde]=[(a)\tilde]f([(b)\tilde]/[(a)\tilde]), [(a)\tilde]{\tilde{F_b}=\tilde{\alpha}\phi(\tilde{\beta}/\tilde{\alpha}), \tilde{\alpha}} is the Euclidean metric, [(b)\tilde]{\tilde{\beta}} is a one form of constant length b:=||[(b)\tilde]||_[(a)\tilde], [(b)\tilde]^\sharp{b:=\|\tilde{\beta}\|_{\tilde{\alpha}}, \tilde{\beta}^{\sharp}} is the dual vector of [(b)\tilde]{\tilde{\beta}} with respect to [(a)\tilde]{\tilde{\alpha}} . As an application, we first give the explicit expressions of the forward complete BH-minimal rotational surfaces generated around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski Randers 3-space (\mathbbV³,[(a)\tilde]+[(b)\tilde]){(\mathbb{V}^{3},\tilde{\alpha}+\tilde{\beta})} .     

Gauss Sum of Index 4： （1） Cyclic Case

Let p be a prime, m ≥ 2, and （m,p（p - 1）） = 1. In this paper, we will calculate explicitly the Gauss sum G（X） = ∑x∈F＊qX（x）ζ^Tp^（x） in the case of [（Z/mZ）＊ ： （p）] = 4, and -1 （不属于） （p）, where q P^f, f =φ（m）/4, X is a multiplicative character of Fq with order m, and T is the trace map for Fq/Fp. Under the assumptions [（Z/mZ）＊ ： （p）] = 4 and 1（不属于） （p）, the decomposition field of p in the cyclotomic field Q（ζm） is an imaginary quartic （abelian） field. And G（X） is an integer in K. We deal with the case where K is cyclic in this oaDer and leave the non-cvclic case to the next paper.     

Semilinear elliptic equations with uniform blow-up on the boundary

We prove the existence and the uniqueness of a solutionu of−Lu+h|u| ^α-1u=f in some open domain ℝ^d, whereL is a strongly elliptic operator,f a nonnegative function, and α>1, under the assumption that ∂G is aC ² compact hypersurface, lim _x→∂G (dist(x, ∂G))^2α/(α-1) f(x)=0, and lim _x→∂G u(x)=∞.     

Normal subgroup generated by a plane polynomial automorphism

We study the normal subgroup 〈f〉 _N generated by an element f ≠ id in the group G of complex plane polynomial automorphisms having Jacobian determinant 1. On the one hand, if f has length at most 8 relative to the classical amalgamated product structure of G, we prove that 〈f〉 _N = G. On the other hand, if f is a sufficiently generic element of even length at least 14, we prove that 〈f〉 _N ≠ G.     

On a cardinal group invariant related to decompositions of Abelian groups

For each Abelian groupG, a cardinal invariant χ(G) is introduced and its properties are studied. In the special caseG = ℤ ⁿ , the cardinalχ(ℤ ⁿ ) is equal to the minimal cardinality of an essential subset of ℤ ⁿ , i.e., a of a subsetA ⊂ ℤ ⁿ such that, for any coloring of the group ℤ ⁿ inn colors, there exists an infinite one-color subset that is symmetric with respect to some pointα ofA. The estimaten( ^{n +} l)/2 ≤χ(ℤ ⁿ ) < 2n is proved for alln and the relationχ(ℤ ⁿ ) =n(n + 1)/2 forn ≤ 3. The structure of essential subsets of cardinalityχ(ℤ ⁿ ) in ℤ ⁿ is completely described forn ≤ 3. Translated fromMatematicheskie Zametki, Vol. 64, No. 3, pp. 341–350, September, 1998.     

The fitting length of solvableH pn-groups

For a (finite) groupG and some prime powerp ⁿ, theH _p ⁿ -subgroupH _pn (G) is defined byH _p ⁿ (G)=〈xεG|x ^pn≠1〉. A groupH≠1 is called aH _p ⁿ -group, if there is a finite groupG such thatH is isomorphic toH _p ⁿ (G) andH _p ⁿ (G)≠G. It is known that the Fitting length of a solvableH _p ⁿ -group cannot be arbitrarily large: Hartley and Rae proved in 1973 that it is bounded by some quadratic function ofn. In the following paper, we show that it is even bounded by some linear function ofn. In view of known examples of solvableH _p ⁿ -groups having Fitting lengthn, this result is “almost” best possible.     

Free products of cyclic subgroups in the groupPSL 2(ℂ)

In the paper, families of faithful representations of the free product ofn (n ≥ 2) cyclic groups into the groupPSL ₂(ℂ) are indicated. They are used to generalize a result of Ree and Mendelsohn. We also obtain a series of sufficient conditions under which a 2-generated subgroup 〈A, B〉 of the groupPSL ₂(ℂ) is isomorphic to the free product of its cyclic subgroups 〈A〉 and 〈B〉. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 922–930, June, 2000.     

A pure quantum mechanical theory of parity effect in tunneling and evolution of spins

In recent years, the spin parity effect in magnetic macroscopic quantum tunneling has attracted extensive attention. Using the spin coherent-state path-integral method it is shown that if the HamiltonianH of a single-spin system hasM - fold rotational symmetry around z-axis, the tunneling amplitude 〈−S|e ^Ht |S〉 vanishes when S, the quantum number of spin, is not an integer multiple ofM/2, where |m〉 (m=-S, -S +1, ⋯, S) are the eigenstates of S^z. Not only is a pure quantum mechanical approach adopted to the above result, but also is extended to more general cases where the quantum system consists ofN spins, the quantum numbers of which can take any values, including the single-spin system, ferromagnetic particle and antiferromagnetic particle as particular instances, and where the states involved are not limited to the extreme ones. The extended spin parity effect is that if the Hamiltonian ℋ of the system ofN spins also has the above symmetry, then 〈m′_N⋯m′₂ m′₁|e^{−H t} |m ₁ m ₂⋯m _N vanishes when ∑ _i=1 ^N (m _i−m′₁) not an integer multiple ofM, where |m ₁ m ₂⋯m _N〉=∏ _α=1 ^N |m _a 〉 are the eigenstates of S _a ^z . In addition, it is argued that for large spin the above result, the so-called spin parity effect, does not mean the quenching of spin tunneling from the direction of ⊕-z to that of ±z. Project supported by the National Natural Science Foundation of China (Grant Nos. 19674002, 19677101).     

Gauss Sum of Index 4： （2） Non-cyclic Case

Assume that m ≥ 2, p is a prime number, （m,p（p - 1）） = 1,-1 not belong to 〈p〉 belong to （Z/mZ）^＊ and [（Z/mZ）^＊：〈p〉]=4.In this paper, we calculate the value of Gauss sum G（X）=∑x∈F^＊x（x）ζp^T（x） over Fq,where q=p^f,f=φ（m）/4,x is a multiplicative character of Fq and T is the trace map from Fq to Fp.Under our assumptions,G（x） belongs to the decomposition field K of p in Q（ζm） and K is an imaginary quartic abelian unmber field.When the Galois group Gal（K/Q） is cyclic,we have studied this cyclic case in anotyer paper：＂Gauss sums of index four：（1）cyclic case＂（accepted by Acta Mathematica Sinica,2003）.In this paper we deal with the non-cyclic case.     

Neighborhood Complexes and Generating Functions for Affine Semigroups

Given a₁,a₂,...,a_n ∈ ℤ^d$, we examine the set, G, of all non-negative integer combinations of these a_i. In particular, we examine the generating function f(z) = ∑_{b ∈ G}z_b. We prove that one can write this generating function as a rational function using the neighborhood complex (sometimes called the complex of maximal lattice-free bodies or the Scarf complex) on a particular lattice in ℤ_n. In the generic case, this follows from algebraic results of Bayer and Sturmfels. Here we prove it geometrically in all cases, and we examine a generalization involving the neighborhood complex on an arbitrary lattice.     

Groups of typeF a,b,−c

For integersa, b andc, the groupF ^a,b,−c is defined to be the group 〈R, S : R ²=RS ^aRS^bRS^−c=1〉. In this paper we identify certain subgroups of the group of affine linear transformations of finite fields of orderp ⁿ (for certainp andn) as groups of typeF ^a,b,−c for certain (not unique) choices ofa, b andc.     

Metacyclic groups and modular forms

In the paper we find the metacyclic groups of the form 〈a, b:a ^m=e, b ^s=e, b ⁻¹ ab=a ^r〉, wherem=3, 4, 5, 7, 11, 23, such that the modular forms associated with all elements of these groups by some faithful representation are multiplicative η-products. Translated fromMatematicheskie Zametki, Vol. 67, No. 2, pp. 163–173, February, 2000.     

Properties of certain semigroups and their potential as platforms for cryptosystems

In this paper, we study some properties of semigroups with presentation 〈a,b ; a ^p =b ^r ,a ^q =b ^s 〉. We will also study their potential as platforms for the Diffie-Hellman key exchange protocol.