Chern-simons theory in the SO(5)/U(2) harmonic superspace

We consider the superspace of D=3, N=5 supersymmetry using SO(5)/U(2) harmonic coordinates. Three analytic N=5 gauge superfields depend on three vector and six harmonic bosonic coordinates and also on six Grassmann coordinates. Decomposing these superfields in Grassmann and harmonic coordinates yields infinite-dimensional supermultiplets including a three-dimensional gauge Chern-Simons field and auxiliary bosonic and fermionic fields carrying SO(5) vector indices. The superfield action of this theory is invariant with respect to the D=3, N=6 conformal supersymmetry realized on N=5 superfields. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 157, No. 2, pp. 217–234, November, 2008.     

Background harmonic superfields inN=2 supergravity

A modification of the harmonic superfield formalism in D=4, N=2 supergravity is considered using an additional condition of covariance under the background supersymmetry with a central charge (B-covariance). Translated from Teoreticheskaya i Matematicheskaya Fizika. Vol. 116, No. 2, pp. 288–304, August. 1998.     

The holomorphic effective action inN=2D=4 supergauge theories with various gauge groups

We consider the theory of hypermultiplets in arbitrary representations of arbitrary semisimple gauge groups coupled to gauge superfields. Using the N=2 harmonic superspace formulation of these models, we find the general structure of the holomorphic effective action depending on the gauge superfield with values in the Cartan subalgebra of the gauge algebra. We find explicit expressions for the effective actions in the cases where the hypermultiplets are in the fundamental and adjoint representations of SU(n), SO(n), and Sp(2n). Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 122, No. 3, pp. 444–455, April, 2000.     

On the Existence of Specific Stars in Planar Graphs

Given a graph G, a (k;a,b,c)-star in G is a subgraph isomorphic to a star K_1,3 with a central vertex of degree k and three leaves of degrees a, b and c in G. The main result of the paper is: Every planar graph G of minimum degree at least 3 contains a (k;a,b,c)-star with a≤ b≤ c and (i) k = 3, a≤ 10, or (ii) k = 4, a = 4, 4≤ b≤ 10, or (iii) k = 4, a = 5, 5≤ b≤ 9, or (iv) k = 4, 6≤ a≤ 7, 6≤ b≤ 8, or (v) k = 5, 4≤ a≤ 5, 5≤ b≤ 6 and 5≤ c≤ 7, or (vi) k = 5 and a = b = c = 6.     

One-loop effective action in the $$ \mathcal{N} $$=2 supersymmetric massive Yang-Mills field theory

We consider the =2 supersymmetric massive Yang-Mills field theory formulated in the =2 harmonic superspace. We present various gauge-invariant forms of writing the mass term in the action (in particular, using the Stueckelberg superfield), which result in dual formulations of the theory. We develop a gaugeinvariant and explicitly supersymmetric scheme of the loop expansion of the superfield effective action beyond the mass shell. In the framework of this scheme, we calculate gauge-invariant and explicitly =2 supersymmetric one-loop counterterms including new counterterms depending on the Stueckelberg superfield. We analyze the component structure of one of these counterterms. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 157, No. 1, pp. 22–40, October, 2008.     

N=4 Multiplets in N=3 Harmonic Superspace

We show that the N=3 harmonic superfield equations of motion are invariant with respect to the fourth supersymmetry. We also use the SU(3) harmonics to analyze a more flexible form of superfield constraints for the Abelian N=4 vector multiplet and its N=3 decomposition. An unusual alternative representation of the N=4 supersymmetry is realized on infinite multiplets of analytic superfields in the N=3 harmonic superspace. An integer-valued parameter playing the role of a discrete coordinate parameterizes U(1) charges of superfields in these multiplets. Each superfield term of the N=3 Yang–Mills action has an infinite-dimensional N=4 generalization. The gauge group of this model contains an infinite number of superfield parameters.     

Estimates of the number of singular points of a complex hypersurface and related questions

It is well known that the number of isolated singular points of a hypersurface of degree d in ℂP^m does not exceed the Arnol’d number A_m(d), which is defined in combinatorial terms. In the paper it is proved that if b _m−1 ^± (d) are the inertia indices of the intersection form of a nonsingular hypersurface of degree d in ℂP^m, then the inequality A_m(d)<min{b _m−1 ⁺ (d), b _m−1 ⁻ (d)} holds if and only if (m−5)(d−2)≥18 and (m,d)≠(7,12). The table of the Arnol’d numbers for 3≤m≤14, 3≤d≤17 and for 3≤m≤14, d=18, 19 is given. Bibliography: 6 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 180–190. Translated by O. A. Ivanov and N. Yu. Netsvetev.     

Geometry of Solutions of the N=2 SYM Theory in Harmonic Superspace

The classical equations of motion of the D=4, N=2 supersymmetric Yang–Mills (SYM) theory for Minkowski and Euclidean spaces are analyzed in harmonic superspace. We study dual superfield representations of equations and subsidiary conditions corresponding to classical SYM solutions with different symmetries. In particular, alternative superfield constructions of self-dual and static solutions are described in the framework of the harmonic approach.     

Extremal configurations of certain problems on the capacity and harmonic measure

We study certain extremal problems concerning the capacity of a condenser and the harmonic measure of a compact set. In particular, we answer in the negative Tamrazov's question on the minimum of the capacity of a condenser. We find the solution to Dubinin's problem on the maximum of the harmonic measure of a boundary set in the family of domains containing no “long” segments of given inclination. It is also shown that the segment [1-L, 1] has the maximal harmonic measure at the point z=0 among all curves γ={z=z(t), 0≤t≤1}, z(0)=1, that lie in the unit disk and have given length L, 0<L<1. The proofs are based on Baernstein's method of *-functions, Dubinin's dissymmetrization method, and the method of extremal metrics. Bibliography: 21 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 226, 1996, pp. 170–195.     

Convergence of weighted sums of independent random variables

Let {X_k} be a sequence of i.i.d. random variables with d.f. F(x). In the first part of the paper the weak convergence of the d.f.'s F_n(x) of sums is studied, where 0<α≤2, a_nk>0, 1≤k≤m_n, and, as n→∞, bothmax _1≤k≤mn_{a nk}→0 and . It is shown that such convergence, with suitably chosen A_n's and necessarily stable limit laws, holds for all such arrays {α_nk} provided it holds for the special case α_nk=1/n, 1≤k≤n. Necessary and sufficient conditions for such convergence are classical. Conditions are given for the convergence of the moments of the sequence {F_n(x)}, as well as for its convergence in mean. The second part of the paper deals with the almost sure convergence of sums , where a_n≠0, b_n>0, andmax _1≤k≤n a_k/b_n→0. The strong law is said to hold if there are constants A_n for which S_n→0 almost surely. Let N(0)=0 and N(x) equal the number of n≥1 for which b_n/|a_n|<x if x>0. The main result is as follows. If the strong law holds,EN (|X₁|)<∞. If for some 0<p≤2, then the strong law holds with if 1≤p≤2 and A_n=0 if 0<p<1. This extends the results of Heyde and of Jamison, Orey, and Pruitt. The strong law is shown to hold under various conditions imposed on F(x), the coefficients a_n and b_n, and the function N(x). Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, 1993.     

Some approximation theorems

The general theme of this note is illustrated by the following theorem:Theorem 1. Suppose K is a compact set in the complex plane and 0belongs to the boundary ∂K. Let A(K) denote the space of all functions f on K such that f is holo morphic in a neighborhood of K and f(0) = 0.Also for any givenpositive integer m, let A(m, K) denote the space of all f such that f is holomorphic in a neighborhood of K and f(0) =f′(0) = ... =f ^(m)(0) = 0.Then A(m, K) is dense in A(K) under the supre mum norm on K provided that there exists a sector W = re ^iθ; 0≤r≤ δ,α≤ θ≤ β such that W ∩ K = 0. (This is the well- known Poincare’s external cone condition). We present various generalizations of this result in the context of higher dimensions replacing holomorphic with harmonic. Dedicated to Prof. Ashoke Roy on his 62nd birthday     

Diverse <Emphasis Type="Italic">N</Emphasis>=(4,4) Twisted Multiplets in the <Emphasis Type="Italic">N</Emphasis>=(2,2) Superspace

We describe four different types of N=(4, 4) twisted supermultiplets in the two-dimensional N=(2, 2) superspace ℝ^(1,1|2,2). All these multiplets are represented by a pair of chiral and twisted chiral superfields and differ in the transformation properties under an extra hidden N=(2, 2) supersymmetry. The sigma-model N=(2, 2) superfield Lagrangians for each type of the N=(4, 4) twisted supermultiplet are real functions subjected to some differential constraints implied by the hidden supersymmetry. We prove that the general sigma-model action including all types of N=(4, 4) twisted multiplets and invariant under the N=(4, 4) supersymmetry reduces to a sum of sigma-model actions for separate types. An interaction between the multiplets of different sorts is possible only through the appropriate mass terms and only for those multiplets that belong to the same “self-dual” pair. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 145, No. 1, pp. 66–86, October, 2005.     

Deformations of Euclidean supersymmetries

We consider quantum supergroups that arise in nonanticommutative deformations of the N=(1/2, 1/2) and N=(1, 1) four-dimensional Euclidean supersymmetric theories. Twist operators in the corresponding superspaces and deformed superfield algebras contain left spinor generators. We show that nonanticommutative *-products of superfields transform covariantly under the deformed supersymmetries. This covariance guarantees the invariance of the deformed superfield actions of models involving *-products of superfields. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 147, No. 2, pp. 270–289, May, 2006.     

A nodal basis of Cμ-rational spline functions on triangulations

Let ρ be a triangulation of a polygonal domain D⊂R² with vertices V={v_i:l≤i≤N_v} and RS^k(D, ρ)={u∈C^k(D): ≠ T∈ρ, u/_T is a rational function}. The purpose of this paper is to study the existence and construction of C^μ-rational spline functions on any triangulation ρ for CAGD. The Hermite problem H^μ(V,U)={find u∈U: D^αu(v_i)=D^αf(v_i),|α|≤μ} is solved by the generalized wedge function method in rational spline function family, i.e. U=RS^μ. this solution needs only the knowledge of partial derivatives of order≤μ at v_i. The explicit repesentations of all C^μ-GWF(generalized wedge functions)and the interpolating operator with degree of precision at least 2μ+1 for any triangulation are given.     

Zur Theorie der Stetigen Teilbarkeitshalbgruppen

O. CallS:=(S,·,∩) a d-semigroup ifS satisfies the axioms (A1) (S,·) is a semigroup, (A2) (S,∩) is a semilattice (A3), (S,·,∩) is a semiring, (A4) a ≤b⇒bε aS ∩ Sa. Call tεS positive if ÅaεS: ta ≥a≤at. Let S⁺ denote the set {t‖t positive}. Every d-semigroup is closed under sup and (s,·,∪) is a semiring, (S, ∩, ∪) is a distributive lattice. Denote by D□X the implication s=Xa_i⇒x□s□y=X(x□a_i□y) where □ε{·,∩,∪} and Xε{∪,∩}. CallS continuous ifS satisfies all D□X. The theory of d-semigroups (divisibility-semigroups) was established in [3], [4], [5], and is continued here by some contributions to the theory of continuous d-semigroups the main results of which are the two propositions: (1) LetS be a d-semigroup with 1. ThenS satisfies D□X iffS ⁺ satisfies this axiom. (2) LetS be continuous. Then (S,·) is commutative. Obviously Proposition (2) is an improvement of Iwasawa's theorem concerning conditionally complete lattice ordered groups.

---

Zur Theorie der Stetigen Teilbarkeitshalbgruppen

---

Klaus Wagner zum 70. Geburtstag gewidmet     

Bounds and inequalities for the Perron root of a nonnegative matrix. III. Bounds dependent on simple paths and circuits

The paper presents new upper and lower bounds for the Perron root of a nonnegative matrix in terms of the simple circuits of length not exceeding k and the simple paths of length k, 1 ≤ k ≤ n, in the directed graph of the matrix. For each k, 1 ≤ k ≤ n, these bounds are intermediate between the circuit bounds and the path-dependent bounds suggested previously, and for k = 1 and k = n they reduce to the corresponding path-dependent bounds and the circuit bounds, respectively. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 323, 2005, pp. 69–93.     

When is a Markovian Semigroup Induced by a Semiflow?

t , for t ≥ 0, be a strongly continuous Markovian semigroup acting on C(X), where X is a compact Hausdorf space, and let D denote the domain of its infinitesimal generator Z. Suppose D contains a (perhaps finite) family of functions f separating the points of X and satisfying Zf² = 2fZf. If either (1) there exists δ > 0 such that (T^t f)²∈ D if 0 ≤ t ≤δ for each f in this family; or (1′) for some core D′ of Z, g ∈ D′ implies g²∈ D, then the underlying Markoff process on X is deterministic. That is, there exists a semiflow — a semigroup (under composition) of continuous functions φ_t from X into X — such that T^tf(x) = f(φ_t (x)). If the domain D should be an algebra then conditions (1) and (1′) hold trivially. Conversely, if we have a separating family satisfying Zf² = 2fZf then each of these conditions implies that D is an algebra. It is an open question as to whether these conditions are redundant. If the functions φ_t are homeomorphisms from X onto X, then of course we have a Markovian group induced by a flow. This result is obtained by first providing general results about the null-space N of the (function-valued) positive semidefinite quadratic form defined by < f, g > = Z(fg) - fZg - gZf. The set N can be defined for any generator Z of a strongly continuous Markovian semigroup and is equivalently given by N = {f ∈ D| f²∈ D and Zf² = 2fZf} = {f ∈ D| T^t(f²)-(T^tf)² is o(t²) in C(X)}. In the general case N is an algebra closed under composition with any C¹-function φ from the reals to the reals, and Z(φ[f]) = (Zf)φ′[f] if f ∈ N. This "chain rule" on N (on which Z must act as a derivation) is a special case of a theorem for C²-functions φ which holds more generally for all f in d, viz., Z(φ[f] = (Zf) φ′[f] + ? <f, f> φ″[f], Provided Z is a local operator and D is an algebra. In this case the form < f, g > itself enjoys the relation < φ[f], ψ[g] > = φ′ [f] ψ′[g] < f, g >, for C²functions φ and ψ. Some of the results and their proofs continue to hold when the setting is switched from the commutative C*-algebra C(X) to a general (noncommutative) C*-algebra A. In the norm continuous case we obtain a sharp characterization of Markovian semigroups that are groups: Let T^t = e^tz , defined for t ≥ 0, be a Markovian semigroup acting on a C*-algebra A that is norm continuous, i.e., ||T^t - I|| ⇒ 0 as t ⇒ 0 +. Assume Z(a²) = a(Za) + (Za) a for some (perhaps finite) set of self-adjoint elements a that generate a Jordan algebra dense among the self-adjoint elements of A. The e^tz , -∞ < t < ∞, is a group of Markovian operators.     

On critical exponents for semilinear heat equations with nonlinear boundary conditions

§１ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｔｈｉｓｐａｐｅｒ,ｗｅｃｏｎｓｉｄｅｒｔｈｅｌａｒｇｅｔｉｍｅｂｅｈａｖｉｏｒｏｆａｐｒｏｂｌｅｍ,ｕｔ＝Δｕ＋ｕｐ,ｘ∈ＲＮ＋,ｔ＞０,－ｕｘ１＝ｕｑ,ｘ１＝０,ｔ＞０,ｕ（ｘ,０）＝ｕ０（ｘ）,ｘ∈ＲＮ＋,（...     

The subgroups of the special linear group over a skew field that contain the group of diagonal matrices

For any (noncommutative) skew field T, the lattice of subgroups of the special linear group Λ=SL(n,T) that contain the subgroup Δ=SD(n,T) of diagonal matrices (with Dieudonné determinants equal to 1) is studied. It is established that for any subgroup H, Δ≤H≤Λ, there exists a uniquely determined unital net σ such that Λ(σ)≤H≤N(σ), where Λ(σ) is the net subgroup associated with the net σ and N(σ) is its normalizer in Λ. Bibliography: 11 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 211, 1994, pp. 91–103. Translated by Bui Xuan Hai.