Singular Bohr-Sommerfeld rules for 2D integrable systems

This article gives Bohr-Sommerfeld rules for semiclassical completely integrable systems with two degrees of freedom with non-degenerate singularities (Morse-Bott singularities) under the assumption that the energy level of the first Hamiltonian is non-singular. The more singular case of focus-focus singularities was treated in previous works by San V? Ngc. The case of one degree of freedom has been studied by Colin de Verdière and Parisse.The results are applied to some famous examples: the geodesics of the ellipsoid, the 1:2-resonance, and Schrödinger operators on the sphere S². A numerical test shows that the semiclassical Bohr-Sommerfeld rules match very accurately the “purely quantum” computations.     

Refinements of Milnor's fibration theorem for complex singularities

Let X be an analytic subset of an open neighbourhood U of the origin in Cn. Let be holomorphic and set V=f−1(0). Let Bε be a ball in U of sufficiently small radius ε>0, centred at . We show that f has an associated canonical pencil of real analytic hypersurfaces Xθ, with axis V, which leads to a fibration Φ of the whole space (X∩Bε)?V over S¹. Its restriction to (X∩Sε)?V is the usual Milnor fibration , while its restriction to the Milnor tube f−1(∂Dη)∩Bε is the Milnor-Lê fibration of f. Each element of the pencil Xθ meets transversally the boundary sphere Sε=∂Bε, and the intersection is the union of the link of f and two homeomorphic fibres of ? over antipodal points in the circle. Furthermore, the space obtained by the real blow up of the ideal (Re(f),Im(f)) is a fibre bundle over RP¹ with the Xθ as fibres. These constructions work also, to some extent, for real analytic map-germs, and give us a clear picture of the differences, concerning Milnor fibrations, between real and complex analytic singularities.     

Absolutely summing operators and integration of vector-valued functions

Let (Ω,Σ,μ) be a complete probability space and an absolutely summing operator between Banach spaces. We prove that for each Dunford integrable (i.e., scalarly integrable) function the composition u○f is scalarly equivalent to a Bochner integrable function. Such a composition is shown to be Bochner integrable in several cases, for instance, when f is properly measurable, Birkhoff integrable or McShane integrable, as well as when X is a subspace of an Asplund generated space or a subspace of a weakly Lindelöf space of the form C(K). We also study the continuity of the composition operator f?u○f. Some other applications are given.     

Reduced Gutzwiller formula with symmetry: Case of a Lie group

We consider a classical Hamiltonian H on R2d, invariant by a Lie group of symmetry G, whose Weyl quantization is a selfadjoint operator on L²(Rd). If χ is an irreducible character of G, we investigate the spectrum of its restriction to the symmetry subspace of L²(Rd) coming from the decomposition of Peter-Weyl. We give semi-classical Weyl asymptotics for the eigenvalues counting function of in an interval of R, and interpret it geometrically in terms of dynamics in the reduced space R2d/G. Besides, oscillations of the spectral density of are described by a Gutzwiller trace formula involving periodic orbits of the reduced space, corresponding to quasi-periodic orbits of R2d.     

Total destruction of Lagrangian tori

For an integrable Tonelli Hamiltonian with d   (d?2$d?2$) degrees of freedom, we show that all of the Lagrangian tori can be destroyed by analytic perturbations which are arbitrarily small in the C^d−δ$C^{d-\delta }$ topology.     

Analytic-non-integrability of an integrable analytic Hamiltonian system

We introduce the polynomial Hamiltonian and we prove that the associated Hamiltonian system is Liouville-C^∞-integrable, but fails to be real-analytically integrable in any neighbourhood of an equilibrium point. The proof only uses power series expansions, and is elementary.     

On the equivalence of McShane and Pettis integrability in non-separable Banach spaces

We show that McShane and Pettis integrability coincide for functions , where μ is any finite measure. On the other hand, assuming the Continuum Hypothesis, we prove that there exist a weakly Lindelöf determined Banach space X, a scalarly null (hence Pettis integrable) function and an absolutely summing operator u from X to another Banach space Y such that the composition is not Bochner integrable; in particular, h is not McShane integrable.     

On the variety parameterizing completely decomposable polynomials

The purpose of this paper is to relate the variety parameterizing completely decomposable homogeneous polynomials of degree d in n+1 variables on an algebraically closed field, called , with the Grassmannian of (n−1)-dimensional projective subspaces of P^n+d−1. We compute the dimension of some secant varieties to . Moreover by using an invariant embedding of the Veronese variety into the Plücker space, we are able to compute the intersection of G(n−1,n+d−1) with , some of its secant varieties, the tangential variety and the second osculating space to the Veronese variety.     

Homogeneous multiplication operators on bounded symmetric domains

Let D=G/K be an irreducible bounded symmetric domain of dimension d and let be the analytic continuation of the weighted Bergman spaces of holomorphic functions on D. We consider the d-tuple M=(M₁,…,M_d) of multiplication operators by coordinate functions and consider its spectral properties. We find those parameters ν for which the tuple M is subnormal and we answer some open questions of Bagchi and Misra. In particular, we prove that when D=B^d is the unit ball in , then B^d is a k-spectral set of M if and only if is the Hardy space or a weighted Bergman space.     

Degenerate lower-dimensional tori in Hamiltonian systems

We study the persistence of lower-dimensional tori in Hamiltonian systems of the form , where (x,y,z)∈Tn×Rn×R2m, ε is a small parameter, and M(ω) can be singular. We show under a weak Melnikov nonresonant condition and certain singularity-removing conditions on the perturbation that the majority of unperturbed n-tori can still survive from the small perturbation. As an application, we will consider the persistence of invariant tori on certain resonant surfaces of a nearly integrable, properly degenerate Hamiltonian system for which neither the Kolmogorov nor the g-nondegenerate condition is satisfied.     

Minimal triangulations of sphere bundles over the circle

For integers d?2 and ε=0 or 1, let S1,d−1(ε) denote the sphere product S¹×Sd−1 if ε=0 and the twisted sphere product if ε=1. The main results of this paper are: (a) if then S1,d−1(ε) has a unique minimal triangulation using 2d+3 vertices, and (b) if then S1,d−1(ε) has minimal triangulations (not unique) using 2d+4 vertices. In this context, a minimal triangulation of a manifold is a triangulation using the least possible number of vertices. The second result confirms a recent conjecture of Lutz. The first result provides the first known infinite family of closed manifolds (other than spheres) for which the minimal triangulation is unique. Actually, we show that while S1,d−1(ε) has at most one (2d+3)-vertex triangulation (one if , zero otherwise), in sharp contrast, the number of non-isomorphic (2d+4)-vertex triangulations of these d-manifolds grows exponentially with d for either choice of ε. The result in (a), as well as the minimality part in (b), is a consequence of the following result: (c) for d?3, there is a unique (2d+3)-vertex simplicial complex which triangulates a non-simply connected closed manifold of dimension d. This amazing simplicial complex was first constructed by Kühnel in 1986. Generalizing a 1987 result of Brehm and Kühnel, we prove that (d) any triangulation of a non-simply connected closed d-manifold requires at least 2d+3 vertices. The result (c) completely describes the case of equality in (d). The proofs rest on the Lower Bound Theorem for normal pseudomanifolds and on a combinatorial version of Alexander duality.     

Differentiation of sets in measure

Suppose F(ε), for each ε∈[0,1], is a bounded Borel subset of Rd and F(ε)→F(0) as ε→0. Let A(ε)=F(ε)?F(0) be symmetric difference and P be an absolutely continuous measure on Rd. We introduce the notion of derivative of F(ε) with respect to ε, dF(ε)/dε=dA(ε)/dε, such that

     

The structure of d-dimensional sets with small sumset

We describe the structure of d-dimensional sets of lattice points, having a small doubling property. Let K be a finite subset of Zd such that dimK=d?2. If and |K|>3⋅d⁴, then K lies on d parallel lines. Moreover, for every d-dimensional finite set K⊆Zd that lies on d?1 parallel lines, if , then K is contained in d parallel arithmetic progressions with the same common difference, having together no more than terms. These best possible results answer a recent question posed by Freiman and cannot be sharpened by reducing the quantity v or by increasing the upper bounds for |K+K|.     

On the positivity of symmetric polynomial functions.: Part I: General results

We prove that a real symmetric polynomial inequality of degree d?2 holds on if and only if it holds for elements with at most ⌊d/2⌋ distinct non-zero components, which may have multiplicities. We establish this result by solving a Cauchy problem for ordinary differential equations involving the symmetric power sums; this implies the existence of a special kind of paths in the minimizer of some restriction of the considered polynomial function. In the final section, extensions of our results to the whole space are outlined. The main results are Theorems 5.1 and 5.2 with Corollaries 2.1 and 5.2, and the corresponding results for from the last subsection. Part II will contain a discussion on the ordered vector space in general, as well as on the particular cases of degrees d=4 and d=5 (finite test sets for positivity in the homogeneous case and other sufficient criteria).     

Bounded Toeplitz products on the Bergman space of the polydisk

We consider the question for which square integrable analytic functions f and g on the polydisk the densely defined products are bounded on the Bergman space. We prove results analogous to those we obtained in the setting of the unit disk [K. Stroethoff, D. Zheng, J. Funct. Anal. 169 (1999) 289-313].     

The cubicity of hypercube graphs

For a graph G, its cubicity is the minimum dimension k such that G is representable as the intersection graph of (axis-parallel) cubes in k-dimensional space. (A k-dimensional cube is a Cartesian product R₁×R₂×?×R_k, where R_i is a closed interval of the form [a_i,a_i+1] on the real line.) Chandran et al. [L.S. Chandran, C. Mannino, G. Oriolo, On the cubicity of certain graphs, Information Processing Letters 94 (2005) 113-118] showed that for a d-dimensional hypercube H_d, . In this paper, we use the probabilistic method to show that . The parameter boxicity generalizes cubicity: the boxicity of a graph G is defined as the minimum dimension k such that G is representable as the intersection graph of axis-parallel boxes in k-dimensional space. Since for any graph G, our result implies that . The problem of determining a non-trivial lower bound for is left open.