Nonvanishing of Kronecker coefficients for rectangular shapes

We prove that for any partition (λ₁,…,λd²) of size ?d there exists k?1 such that the tensor square of the irreducible representation of the symmetric group Sk?d with respect to the rectangular partition (k?,…,k?) contains the irreducible representation corresponding to the stretched partition (kλ₁,…,kλd²). We also prove a related approximate version of this statement in which the stretching factor k is effectively bounded in terms of d. We further discuss the consequences for geometric complexity theory which provided the motivation for this work.     

Multiplication operators on the Bergman space via analytic continuation

In this paper, using the group-like property of local inverses of a finite Blaschke product ?, we will show that the largest C^?-algebra in the commutant of the multiplication operator M? by ? on the Bergman space is finite dimensional, and its dimension equals the number of connected components of the Riemann surface of ?−1°? over the unit disk. If the order of the Blaschke product ? is less than or equal to eight, then every C^?-algebra contained in the commutant of M? is abelian and hence the number of minimal reducing subspaces of M? equals the number of connected components of the Riemann surface of ?−1°? over the unit disk.     

Classification of the centers and their isochronicity for a class of polynomial differential systems of arbitrary degree

In this paper we classify the centers localized at the origin of coordinates, and their isochronicity for the polynomial differential systems in R² of degree d that in complex notation z=x+iy can be written as where j is either 0 or 1. If j=0 then d?5 is an odd integer and n is an even integer satisfying 2?n?(d+1)/2. If j=1 then d?3 is an integer and n is an integer with converse parity with d and satisfying 0<n?[(d+1)/3] where [⋅] denotes the integer part function. Furthermore λ∈R and A,B,C,D∈C. Note that if d=3 and j=0, we are obtaining the generalization of the polynomial differential systems with cubic homogeneous nonlinearities studied in K.E. Malkin (1964) [17], N.I. Vulpe and K.S. Sibirskii (1988) [25], J. Llibre and C. Valls (2009) [15], and if d=2, j=1 and C=0, we are also obtaining as a particular case the quadratic polynomial differential systems studied in N.N. Bautin (1952) [2], H. Zoladek (1994) [26]. So the class of polynomial differential systems here studied is very general having arbitrary degree and containing the two more relevant subclasses in the history of the center problem for polynomial differential equations.     

A holomorphic characterization¶of C*- and JB*-algebras

We characterize C ^*-algebras as those complete normed associative complex algebras having approximate units bounded by one and whose open unit balls are bounded symmetric domains. Such a characterization follows from the more general fact, also proved in the paper, that non-commutative JB ^*-algebras coincide with complete normed (possibly non-associative) complex algebras having approximate units bounded by one and whose open unit balls are bounded symmetric domains. Received: 3 October 2000 / Revised version: 26 January 2001     

Extensions of p-adic vector measures

For R being a separating algebra of subsets of a set X, E a complete Hausdorff non-Archimedean locally convex space and m: R → E a bounded finitely additive measure, it is shown that:

a If m is σ-additive and strongly additive, then m has a unique σ-additive extension m^σ on the σ-algebra R^σ generated by R.

b If m is strongly additive and τ-additive, then m has a unique τ-additive extension m^τ on the α-algebra R^bo of all τ_R-Borel sets, where τ_R is the topology having R as a basis.

Also, some other results concerning such measures are given.     

Integration and approximation in arbitrary dimensions

We study multivariate integration and approximation for various classes of functions of d variables with arbitrary d. We consider algorithms that use function evaluations as the information about the function. We are mainly interested in verifying when integration and approximation are tractable and strongly tractable. Tractability means that the minimal number of function evaluations needed to reduce the initial error by a factor of ɛ is bounded by C(d)ɛ^−p for some exponent p independent of d and some function C(d). Strong tractability means that C(d) can be made independent of d. The ‐exponents of tractability and strong tractability are defined as the smallest powers of ɛ{^-1} in these bounds. We prove that integration is strongly tractable for some weighted Korobov and Sobolev spaces as well as for the Hilbert space whose reproducing kernel corresponds to the covariance function of the isotropic Wiener measure. We obtain bounds on the ‐exponents, and for some cases we find their exact values. For some weighted Korobov and Sobolev spaces, the strong ‐exponent is the same as the ‐exponent for d=1, whereas for the third space it is 2. For approximation we also consider algorithms that use general evaluations given by arbitrary continuous linear functionals as the information about the function. Our main result is that the ‐exponents are the same for general and function evaluations. This holds under the assumption that the orthonormal eigenfunctions of the covariance operator have uniformly bounded L∞ norms. This assumption holds for spaces with shift-invariant kernels. Examples of such spaces include weighted Korobov spaces. For a space with non‐shift‐invariant kernel, we construct the corresponding space with shift-invariant kernel and show that integration and approximation for the non-shift-invariant kernel are no harder than the corresponding problems with the shift-invariant kernel. If we apply this construction to a weighted Sobolev space, whose kernel is non-shift-invariant, then we obtain the corresponding Korobov space. This enables us to derive the results for weighted Sobolev spaces. This revised version was published online in June 2006 with corrections to the Cover Date.     

Parabolic Schemes for Quasi-Linear Parabolic and Hyperbolic PDEs via Stochastic Calculus

We consider two quasi-linear initial-value Cauchy problems on ? ^d : a parabolic system and an hyperbolic one. They both have a first order non-linearity of the form φ(t, x, u)·?u, a forcing term h(t, x, u) and an initial condition u ₀ ∈ L ^∞(? ^d ) ∩ C ^∞(? ^d ), where φ (resp. h) is smooth and locally (resp. globally) Lipschitz in u uniformly in (t, x). We prove the existence of a unique global strong solution for the parabolic system. We show the existence of a unique local strong solution for the hyperbolic one and we give a lower bound regarding its blow up time. In both cases, we do not use weak solution theory but a direct construction based on parabolic schemes studied via a stochastic approach and a regularity result for sequences of parabolic operators. The result on the hyperbolic problem is performed by means of a non-classical vanishing viscosity method.     

The Weyl-type asymptotic formula for biharmonic Steklov eigenvalues on Riemannian manifolds

Let Ω be a bounded domain with C²-smooth boundary in an n-dimensional oriented Riemannian manifold. It is well known that for the biharmonic equation Δ²u=0 in Ω with the condition u=0 on ∂Ω, there exists an infinite set {uk} of biharmonic functions in Ω with positive eigenvalues {λk} satisfying on ∂Ω. In this paper, by a new method we establish the Weyl-type asymptotic formula for the counting function of the biharmonic Steklov eigenvalues λk.     

The Nehari problem for infinite-dimensional linear systems of parabolic type

A complete solution is obtained to the suboptimal Nehari extension problem for transfer functions of parabolic systems with Dirichlet boundary control and smooth observations. The solutions are given in terms of the realization (–A, B, C), whereA is a uniformly strongly elliptic operator of order two with smooth coefficients defined on a bounded open domain ofR _d ,B=AB _D andB _D is the Dirichlet map associated with Dirichlet boundary conditions andC is a bounded observation map fromL ₂() to the output spaceY. The approach is to solve an equivalentJ-spectral factorization problem for this particular realization.     

The unit ball is an attractor of the intersection body operator

The intersection body of a ball is again a ball. So, the unit ball Bd⊂Rd is a fixed point of the intersection body operator acting on the space of all star-shaped origin symmetric bodies endowed with the Banach–Mazur distance. E. Lutwak asked if there is any other star-shaped body that satisfies this property. We show that this fixed point is a local attractor, i.e., that the iterations of the intersection body operator applied to any star-shaped origin symmetric body sufficiently close to Bd in Banach–Mazur distance converge to Bd in Banach–Mazur distance. In particular, it follows that the intersection body operator has no other fixed or periodic points in a small neighborhood of Bd. We will also discuss a harmonic analysis version of this question, which studies the Radon transforms of powers of a given function.     

On holomorphic domination, I

Let X be a separable Banach space and u:X→R locally upper bounded. We show that there are a Banach space Z and a holomorphic function h:X→Z with u(x)<‖h(x)‖ for x∈X. As a consequence we find that the sheaf cohomology group Hq(X,O) vanishes if X has the bounded approximation property (i.e., X is a direct summand of a Banach space with a Schauder basis), O is the sheaf of germs of holomorphic functions on X, and q?1. As another consequence we prove that if f is a C¹-smooth -closed (0,1)-form on the space X=L₁[0,1] of summable functions, then there is a C¹-smooth function u on X with on X.     

The Julia-Wolff-Carathéodory theorem in polydisks

The classical Julia-Wolff-Carathéodory theorem gives a condition ensuring the existence of the non-tangential limit of both a bounded holomorphic function and its derivative at a given boundary point of the unit disk in the complex plane. This theorem has been generalized by Rudin to holomorphic maps between unit balls inC ⁿ and by the author to holomorphic maps between strongly (pseudo)convex domains. Here we describe Julia-Wolff-Carathéodory theorems for holomorphic maps defined in a polydisk and with image either in the unit disk, or in another polydisk, or in a strongly convex domain. One of the main tools for the proof is a general version of the Lindelöf principle valid for not necessarily bounded holomorphic functions.     

Persistence of bounded solutions of parabolic equations under domain perturbation

The aim of this paper is to study the behavior of bounded solutions of parabolic equations on the whole real line under perturbation of the underlying domain. We give the convergence of bounded solutions of linear parabolic equations in the L ² and the L ^p -settings. For the L ^p -theory, we also prove the H?lder regularity of bounded solutions with respect to time. In addition, we study the persistence of a class of bounded solutions which decay to zero at t → ±∞ of semilinear parabolic equations under domain perturbation.     

Ahlfors-régularité des quasi-minima de Mumford–Shah

Let be an open set. We consider on Ω the competitors (U,K) for the reduced Mumford–Shah functional, that is to say the Mumford–Shah functional in which the -norm of U term is removed, where K is a closed subset of Ω and U is a function on ΩK with gradient in  . The main result of this paper is the following: there exists a constant c for which, whenever (U,K) is a quasi-minimizer for the reduced Mumford–Shah functional and B(x,r) is a ball centered on K and contained in Ω with bounded radius, the -measure of is bounded above by cr^N−1 and bounded below by c⁻¹r^N−1.     

Sharp estimates for finite element approximations to parabolic problems with Neumann boundary data of low regularity

Consider a homogeneous parabolic problem on a smooth bounded domain in ℝ ^N but with initial data and Neumann boundary data of low regularity. Sharp interior maximum norm error estimates are given for a semidiscrete C ⁰ finite element approximation to this problem. These estimates are obtained by first establishing a new localized L ^∞ estimate for semidiscrete finite element approximations on interior subdomains. Numerical examples illustrate the findings. AMS subject classification (2000) 65N30     

Comparison of the Bergman and Szegö kernels

The quotient of the Szegö and Bergman kernels for a smooth bounded pseudoconvex domains in Cn is bounded from above by a constant multiple of for any p>n, where δ is the distance to the boundary. For a class of domains that includes those of D?Angelo finite type and those with plurisubharmonic defining functions, the quotient is also bounded from below by a constant multiple of for any p<−1. Moreover, for convex domains, the quotient is bounded from above and below by constant multiples of δ.     

A Finitary Version of Gromov’s Polynomial Growth Theorem

We show that for some absolute (explicit) constant C, the following holds for every finitely generated group G, and all d > 0: If there is some R ₀ > exp(exp(Cd ^C )) for which the number of elements in a ball of radius R ₀ in a Cayley graph of G is bounded by R₀^d{R_0^d} , then G has a finite-index subgroup which is nilpotent (of step < C ^d ). An effective bound on the finite index is provided if “nilpotent” is replaced by “polycyclic”, thus yielding a non-trivial result for finite groups as well.     

Periodization strategy may fail in high dimensions

We discuss periodization of smooth functions f of d variables for approximation of multivariate integrals. The benefit of periodization is that we may use lattice rules, which have recently seen significant progress. In particular, we know how to construct effectively a generator of the rank-1 lattice rule with n points whose worst case error enjoys a nearly optimal bound C _d,p n ^−p . Here C _d,p is independent of d or depends at most polynomially on d, and p can be arbitrarily close to the smoothness of functions belonging to a weighted Sobolev space with an appropriate condition on the weights. If F denotes the periodization for f then the error of the lattice rule for a periodized function F is bounded by C _d,p n ^−p ∣∣F∣∣ with the norm of F given in the same Sobolev space. For small or moderate d, the norm of F is not much larger than the norm of f. This means that for small or moderate d, periodization is successful and allows us to use optimal properties of lattice rules also for non-periodic functions. The situation is quite different if d is large since the norm of F can be exponentially larger than the norm of f. This can already be seen for f = 1. Hence, the upper bound of the worst case error of the lattice rule for periodized functions is quite bad for large d. We conjecture not only that this upper bound is bad, but also that all lattice rules fail for large d. That is, if we fix the number of points n and let d go to infinity then the worst case error of any lattice rule is bounded from below by a positive constant independent of n. We present a number of cases suggesting that this conjecture is indeed true, but the most interesting case, when the sum of the weights of the corresponding Sobolev space is bounded in d, remains open.      

Complexes of Gorenstein Flat Modules and Gorenstein Cotorsion Modules

A complex (C, δ) is called strongly Gorenstein flat if C is exact and Ker δ ⁿ is Gorenstein flat in R-Mod for all n ∈ ?. Let 𝒮𝒢 stand for the class of strongly Gorenstein flat complexes. We show that a complex C of left R-modules over a right coherent ring R is in the right orthogonal class of 𝒮𝒢 if and only if C ⁿ is Gorenstein cotorsion in R-Mod for all n ∈ ? and Hom^.(G, C) is exact for any strongly Gorenstein flat complex G. Furthermore, a bounded below complex C over a right coherent ring R is in the right orthogonal class of 𝒮𝒢 if and only if C ⁿ is Gorenstein cotorsion in R-Mod for all n ∈ ?. Finally, strongly Gorenstein flat covers and 𝒮𝒢^⊥-envelopes of complexes are considered. For a right coherent ring R, we show that every bounded below complex has a 𝒮𝒢^⊥-envelope.