Normal subgroups of nonstandard symmetric and alternating groups

Let be a nonstandard model of Peano Arithmetic with domain M and let be nonstandard. We study the symmetric and alternating groups S _n and A _n of permutations of the set internal to , and classify all their normal subgroups, identifying many externally defined such normal subgroups in the process. We provide evidence that A _n and S _n are not split extensions by these normal subgroups, by showing that any such complement if it exists, cannot be a limit of definable sets. We conclude by identifying an -valued metric on and (where B _S , B _A are the maximal normal subgroups of S _n and A _n identified earlier) making these groups into topological groups, and by showing that if is -saturated then and are complete with respect to this metric.      

Pointwise estimates for relative fundamental solutions of heat equations in $${\mathbb{R} \times \mathbb{C}}$$

Let be a subharmonic, nonharmonic polynomial and a parameter. Define , a closed, densely defined operator on . If and , we solve the heat equations , u(0,z) = f(z) and , . We write the solutions via heat semigroups and show that the solutions can be written as integrals against distributional kernels. We prove that the kernels are C ^∞ off of the diagonal {(s, z, w) : s = 0 and z = w} and find pointwise bounds for the kernels and their derivatives.      

Nonoccurrence of the Lavrentiev phenomenon for many nonconvex constrained variational problems

In this paper we study nonoccurrence of the Lavrentiev phenomenon for a large class of nonconvex nonautonomous constrained variational problems. A state variable belongs to a convex subset of a Banach space with nonempty interior. Integrands belong to a complete metric space of functions which satisfy a growth condition common in the literature and are Lipschitzian on bounded sets. In our previous work Zaslavski (Ann. Inst. H. Poincare, Anal. non lineare, 2006) we considered a class of nonconstrained variational problems with integrands belonging to a subset and showed that for any such integrand the infimum on the full admissible class is equal to the infimum on a subclass of Lipschitzian functions with the same Lipschitzian constant. In the present paper we show that if an integrand f belongs to , then this property also holds for any integrand which is contained in a certain neighborhood of f in . Using this result we establish nonoccurrence of the Lavrentiev phenomenon for most elements of in the sense of Baire category.      

Poincaré inequality and Palais–Smale condition for the <Emphasis Type="Italic">p</Emphasis>-Laplacian

An improved Poincaré inequality and validity of the Palais-Smale condition are investigated for the energy functional on , 1 < p < ∞, where Ω is a bounded domain in , is a spectral (control) parameter, and is a given function, in Ω. Analysis is focused on the case λ = λ₁, where −λ₁ is the first eigenvalue of the Dirichlet p-Laplacian Δ _p on , λ₁ > 0, and on the “quadratization” of within an arbitrarily small cone in around the axis spanned by , where stands for the first eigenfunction of Δ _p associated with −λ₁.     

Uniform Comparison of Tails of (Non-Symmetric) Probability Measures and Their Symmetrized Counterparts with Applications

Let (, ) be a separable Banach space and let be a class of probability measures on , and let denote the symmetrization of . We provide two sufficient conditions (one in terms of certain quantiles and the other in terms of certain moments of relative to μ and , ) for the “uniform comparison” of the μ and measure of the complements of the closed balls of centered at zero, for every . As a corollary to these “tail comparison inequalities,” we show that three classical results (the Lévy-type Inequalities, the Kwapień-Contraction Inequality, and a part of the It?–Nisio Theorem) that are valid for the symmetric (but not for the general non-symmetric) independent -valued random vectors do indeed hold for the independent random vectors whose laws belong to any which satisfies one of the two noted conditions and which is closed under convolution. We further point out that these three results (respectively, the tail comparison inequalities) are valid for the centered log-concave, as well as, for the strictly α-stable (or the more general strictly (r, α) -semistable) α ≠ 1 random vectors (respectively, probability measures). We also present several examples which we believe form a valuable part of the paper.      

The Monge Problem in Banach Spaces

In this paper, we generalize the Kantorovich functional to K?the-spaces for a cost or a profit function. We examine the convergence of probabilities with respect to this functional for some K?the-spaces. We study the Monge problem: Let be a K?the-space, P and Q two Borel probabilities defined on a Polish space M and a cost function . A K?the functional is defined by (P, Q) = inf where is the law of X. If c is a profit function, we note . (P, Q) = sup Under some conditions, we show the existence of a Monge function, φ, such that , or .      

Unstable extremal surfaces of the “Shiffman functional” spanning rectifiable boundary curves

In this paper we derive a sufficient condition for the existence of extremal surfaces of a parametric functional with a dominant area term, which do not furnish global minima of within the class of H ^1,2-surfaces spanning an arbitrary closed rectifiable Jordan curve that merely has to satisfy a chord-arc condition. The proof is based on the “mountain pass result” of (Jakob in Calc Var 21:401–427, 2004) which yields an unstable -extremal surface bounded by an arbitrary simple closed polygon and Heinz’ ”approximation method” in (Arch Rat Mech Anal 38:257–267, 1970). Hence, we give a precise proof of a partial result of the mountain pass theorem claimed by Shiffman in (Ann Math 45:543–576, 1944) who only outlined a very sketchy and partially incorrect proof.     

A numerical method for computing the Hamiltonian Schur form

We derive a new numerical method for computing the Hamiltonian Schur form of a Hamiltonian matrix that has no purely imaginary eigenvalues. We demonstrate the properties of the new method by showing its performance for the benchmark collection of continuous-time algebraic Riccati equations. Despite the fact that no complete error analysis for the method is yet available, the numerical results indicate that if no eigenvalues of are close to the imaginary axis then the method computes the exact Hamiltonian Schur form of a nearby Hamiltonian matrix and thus is numerically strongly backward stable. The new method is of complexity and hence it solves a long-standing open problem in numerical analysis. Volker Mehrmann was supported by Deutsche Forschungsgemeinschaft, Research Grant Me 790/11-3.     

Regularity of Solution Maps of Differential Inclusions Under State Constraints

Consider a differential inclusion under state constraints

\Pi^0_1-Presentations of Algebras

In this paper we study the question as to which computable algebras are isomorphic to non-computable -algebras. We show that many known algebras such as the standard model of arithmetic, term algebras, fields, vector spaces and torsion-free abelian groups have non-computable-presentations. On the other hand, many of this structures fail to have non-computable -presentation.This research was partially supported by the Marsden Fund of New Zealand. The third author’s research was partially supported by RFFR grant No. 02-01-00593 and Council for Grants under RF President, project NSh-2112.2003.1.     

On minimum delta set values in block monoids over cyclic groups

The difference in length between two distinct factorizations of an element in a Dedekind domain or in the corresponding block monoid is an object of study in the theory of non-unique factorizations. It provides an alternate way, distinct from what the elasticity provides, of measuring the degree of non-uniqueness of factorizations. In this paper, we discuss the difference in consecutive lengths of irreducible factorizations in block monoids of the form where . We will show that the greatest integer r, denoted by , which divides every difference in lengths of factorizations in can be immediately determined by considering the continued fraction of . We then consider the set including necessary and sufficient conditions (which depend on p) for a value to be an element of . 2000 Mathematics Subject Classification Primary—20M14, 11A55, 20D60, 11A51 Parts of this work are contained in the first author’s Doctoral Dissertation written at the University of North Carolina at Chapel Hill under the direction of the third author.     

Euler homology

We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring of a topological space X. This homology theory Eh _* has coefficients in every nonnegative dimension. There exists a natural transformation that for X = pt assigns to each smooth manifold its Euler characteristic mod 2. The homology theory is constructed using cobordism of stratifolds, which are singular objects defined below. An isomorphism of graded -modules is shown for any CW-complex X. For discrete groups G, we also define an equivariant version of the homology theory Eh _*, generalizing the equivariant Euler characteristic.     

Finite elements approximation of second order linear elliptic equations in divergence form with right-hand side in L 1

In this paper we consider, in dimension d≥ 2, the standard finite elements approximation of the second order linear elliptic equation in divergence form with coefficients in L ^∞(Ω) which generalizes Laplace’s equation. We assume that the family of triangulations is regular and that it satisfies an hypothesis close to the classical hypothesis which implies the discrete maximum principle. When the right-hand side belongs to L ¹(Ω), we prove that the unique solution of the discrete problem converges in (for every q with ) to the unique renormalized solution of the problem. We obtain a weaker result when the right-hand side is a bounded Radon measure. In the case where the dimension is d = 2 or d = 3 and where the coefficients are smooth, we give an error estimate in when the right-hand side belongs to L ^r (Ω) for some r > 1.     

A note on curvature of α-connections of a statistical manifold

The family of α-connections ∇^(α) on a statistical manifold equipped with a pair of conjugate connections and is given as . Here, we develop an expression of curvature R ^(α) for ∇^(α) in relation to those for . Immediately evident from it is that ∇^(α) is equiaffine for any when are dually flat, as previously observed in Takeuchi and Amari (IEEE Transactions on Information Theory 51:1011–1023, 2005). Other related formulae are also developed. The work was conducted when the author was on sabbatical leave as a visiting research scientist at the Mathematical Neuroscience Unit, RIKEN Brain Science Institute, Wako-shi, Saitama 351-0198, Japan.     

Potential theory of truncated stable processes

For any , a truncated symmetric α-stable process is a symmetric Lévy process in with a Lévy density given by for some constant c. In this paper we study the potential theory of truncated symmetric stable processes in detail. We prove a Harnack inequality for nonnegative harmonic functions of these processes. We also establish a boundary Harnack principle for nonnegative functions which are harmonic with respect to these processes in bounded convex domains. We give an example of a non-convex domain for which the boundary Harnack principle fails. The research of Panki Kim is supported by Research Settlement Fund for the new faculty of Seoul National University. The research of Renming Song is supported in part by a joint US-Croatia grant INT 0302167.     

Logarithmic Sobolev Inequalities of Diffusions for the L^2 Metric

Under the Bakry–Emery's -minoration condition, we establish the logarithmic Sobolev inequality for the Brownian motion with drift in the metric instead of the usual Cameron–Martin metric. The involved constant is sharp and does not explode for large time. This inequality with respect to the -metric provides us the gaussian concentration inequalities for the large time behavior of the diffusion. An erratum to this article can be found at     

The modal logic of continuous functions on cantor space

Let be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language by interpreting in dynamic topological systems, i.e. ordered pairs , where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown that S4C is sound and complete for this semantics. Zhang and Mints have shown that S4C is complete relative to a particular topological space, Cantor space. The current paper produces an alternate proof of the Zhang-Mints result.     

Inertial Iterative Process for Fixed Points of Certain Quasi-nonexpansive Mappings

This paper deals with a general formalism which consists in approximating a point in a nonempty set , in a real Hilbert space , by a sequence such that , where , are in and is a sequence included in a certain class of self-mappings on , such that every fixed point set of contains . This iteration method is inspired by an implicit discretization of the second order ‘heavy ball with friction’ dynamical system. Under suitable conditions on the parameters and the operators , we prove that this scheme generates a sequence which converges weakly to an element of . In particular, by appropriate choices of , this algorithm works for approximating common fixed points of infinite countable families of a wide class of operators which includes -averaged quasi-nonexpansive mappings for .      

Sharp estimates for intrinsic ultracontractivity on C 1,α-domains

Let be the first Dirichlet eigenfunction on a connected bounded C ^1,α-domain in and the corresponding Dirichlet heat kernel. It is proved that where λ₂ > λ₁ are the first two Dirichlet eigenvalues. This estimate is sharp for both short and long times. Bounded Lipschitz domains, elliptic operators on manifolds, and a general framework are also discussed. Supported in part by Creative Research Group Fund of the National Foundation of China (no. 10121101), the 973-Project in China and RFDP(20040027009).     

On the number of moduli of plane sextics with six cusps

Let be the variety of irreducible sextics with six cusps as singularities. Let be one of irreducible components of . Denoting by the space of moduli of smooth curves of genus 4, we consider the rational map sending the general point [Γ] of Σ, corresponding to a plane curve , to the point of parametrizing the normalization curve of Γ. The number of moduli of Σ is, by definition the dimension of Π(Σ). We know that , where ρ(2, 4, 6) is the Brill–Noether number of linear series of dimension 2 and degree 6 on a curve of genus 4. We prove that both irreducible components of have number of moduli equal to seven.