Tutte uniqueness of line graphs

We prove that if a graph H has the same Tutte polynomial as the line graph of a d-regular, d-edge-connected graph, then H is the line graph of a d-regular graph. Using this result, we prove that the line graph of a regular complete t-partite graph is uniquely determined by its Tutte polynomial. We prove the same result for the line graph of any complete bipartite graph.     

Optimal control for linear discrete-time systems with Markov perturbations in Hilbert spaces

Email: vio{at}utgjiu.ro Received on September 12, 2007; Accepted on December 26, 2008 In this article, we discuss a quadratic control problem forlinear discrete-time systems with Markov perturbations in Hilbertspaces, which is linked to a discrete-time Riccati equationdefined on certain infinite-dimensional ordered Banach space.We prove that under stabilizability and stochastic uniform observabilityconditions, the Riccati equation has a unique, uniformly positive,bounded on N and stabilizing solution. Based on this result,we solve the proposed optimal control problem. An example illustratesthe theory.     

A stabilization strategy for a reaction–diffusion system modelling a class of spatially structured epidemic systems (think globally,act locally)

A two-component reaction–diffusion system modelling a class of spatially structured epidemic systems is considered. The system describes the spatial spread of infectious diseases mediated by environmental pollution. The internal zero stabilization is investigated. We provide necessary conditions of stabilizability and sufficient conditions of stabilizability. In the affirmative case a simple feedback stabilizing control is indicated. It shows that it is possible to diminish exponentially the epidemic process, just by reducing the concentration of the pollutant in a nonempty and sufficiently large subset of the spatial domain (think globally, act locally).     

Lyapunov Stabilizability of Controlled Diffusions via a Superoptimality Principle for Viscosity Solutions

We prove optimality principles for semicontinuous bounded viscosity solutions of Hamilton-Jacobi-Bellman equations. In particular, we provide a representation formula for viscosity supersolutions as value functions of suitable obstacle control problems. This result is applied to extend the Lyapunov direct method for stability to controlled Ito stochastic differential equations. We define the appropriate concept of the Lyapunov function to study stochastic open loop stabilizability in probability and local and global asymptotic stabilizability (or asymptotic controllability). Finally, we illustrate the theory with some examples.     

Necessary and sufficient conditions for quadratic stabilizability of an uncertain system

Consider an uncertain system (Σ) described by the equationx(t)=A(r(t))x(t)+B(s(t))u(t), wherex(t) ∈R ⁿ is the state,u(t) ∈R ^m is the control,r(t) ∈ ? ?R ^p represents the model parameter uncertainty, ands(t) ∈L ?R ^l represents the input connection parameter uncertainty. The matrix functionsA(·),B(·) are assumed to be continuous and the restraint sets ?,L are assumed to be compact. Within this framework, a notion of quadratic stabilizability is defined. It is important to note that this type of stabilization is robust in the following sense: The Lyapunov function and the control are constructed using only the bounds ?,L. Much of the previous literature has concentrated on a fundamental question: Under what conditions onA(·),B(·), ?,L can quadratic stabilizability be assured? In dealing with this question, previous authors have shown that, if (Σ) satisfies certain matching conditions, then quadratic stabilizability is indeed assured (e.g., Refs. 1–2). Given the fact that matching is only a sufficient condition for quadratic stabilizability, the objective here is to characterize the class of systems for which quadratic stabilizability can be guaranteed.     

Multiplicity one of regular Serre weights

We consider a potentially Barsotti-Tate deformation problem of a modular Galois representation. By constructing a Diamond-Taylor-Wiles system, we prove an R = T theorem and a multiplicity one result in characteristic 0. Applying this result, we then prove a multiplicity one result in characteristic p, which provides certain evidence for a conjecture of Breuil.     

Stable weakly shadowable volume-preserving systems are volume-hyperbolic

We prove that any C1-stable weakly shadowable volume-preserving diffeomorphism defined on a compact manifold displays a dominated splitting E ⊕ F. Moreover, both E and F are volume-hyperbolic. Finally, we prove the version of this result for divergence-free vector fields. As a consequence, in low dimensions, we obtain global hyperbolicity.     

Siegel cusp forms of degree 2 are determined by their fundamental Fourier coefficients

We prove that a Siegel cusp form of degree 2 for the full modular group is determined by its set of Fourier coefficients a(S) with 4 det(S) ranging over odd squarefree integers. As a key step to our result, we also prove that a classical cusp form of half-integral weight and level 4N, with N odd and squarefree, is determined by its set of Fourier coefficients a(d) with d ranging over odd squarefree integers, a result that was previously known only for Hecke eigenforms.     

Strong annihilating pairs for the Fourier-Bessel transform

The aim of this paper is to prove two new uncertainty principles for the Fourier-Bessel transform (or Hankel transform). The first of these results is an extension of a result of Amrein, Berthier and Benedicks, it states that a non-zero function f and its Fourier-Bessel transform Fα(f) cannot both have support of finite measure. The second result states that the supports of f and Fα(f) cannot both be (ε,α)-thin, this extending a result of Shubin, Vakilian and Wolff. As a side result we prove that the dilation of a C₀-function are linearly independent. We also extend Faris's local uncertainty principle to the Fourier-Bessel transform.     

Stabilization of irregular systems

We consider the stabilization problem for the zero equilibrium of bilinear and affine systems in canonical form. We obtain necessary and sufficient conditions for the stabilizability of second-order bilinear and affine systems in canonical form and generalize these conditions to the case of simultaneous stabilization of a family of bilinear systems and to nth-order bilinear systems.     

Locally G-homogeneous Busemann G-spaces

We present short proofs of all known topological properties of general Busemann G-spaces (at present no other property is known for dimensions more than four). We prove that all small metric spheres in locally G-homogeneous Busemann G-spaces are homeomorphic and strongly topologically homogeneous. This is a key result in the context of the classical Busemann conjecture concerning the characterization of topological manifolds, which asserts that every n-dimensional Busemann G-space is a topological n-manifold. We also prove that every Busemann G-space which is uniformly locally G-homogeneous on an orbal subset must be finite-dimensional.     

Nearly optimal convergence result for multigrid with aggressive coarsening and polynomial smoothing

We analyze a general multigrid method with aggressive coarsening and polynomial smoothing. We use a special polynomial smoother that originates in the context of the smoothed aggregation method. Assuming the degree of the smoothing polynomial is, on each level k, at least Ch _k+1/h _k , we prove a convergence result independent of h _k+1/h _k . The suggested smoother is cheaper than the overlapping Schwarz method that allows to prove the same result. Moreover, unlike in the case of the overlapping Schwarz method, analysis of our smoother is completely algebraic and independent of geometry of the problem and prolongators (the geometry of coarse spaces).     

A canonical factorization for meromorphic Herglotz functions on the unit disk and sum rules for Jacobi matrices

We prove a general canonical factorization for meromorphic Herglotz functions on the unit disk whose notable elements are that there is no restriction (other than interlacing) on the zeros and poles for their Blaschke product to converge and there is no singular inner function. We use this result to provide a significant simplification in the proof of Killip-Simon (Ann. Math. 158 (2003) 253) of their result characterizing the spectral measures of Jacobi matrices, J, with J−J₀ Hilbert-Schmidt. We prove a nonlocal version of Case and step-by-step sum rules.     

Weighted integral inequalities for conjugate A-harmonic tensors

We first prove a local weighted integral inequality for conjugate A-harmonic tensors. Then, as an application of our local result, we prove a global weighted integral inequality for conjugate A-harmonic tensors in L^s(μ)-averaging domains, which can be considered as a generalization of the classical result. Finally, we give applications of the above results to quasiregular mappings.     

Un théorème de représentation des solutions de viscosité d'une équation d'Hamilton–Jacobi–Bellman ergodique dégénérée sur le tore

We consider an ergodic Hamilton–Jacobi–Bellman equation coming from a stochastic control problem in which there are exactly k points where the dynamics vanishes and the Lagrangian is minimal. Under a stabilizability assumption, we state that the solutions of the ergodic equation are uniquely determined by their value on these k points, and that the set of solutions is sup-norm isometric to a non-empty closed convex set whose dimension is less or equal to k. To cite this article: M. Akian et al., C. R. Acad. Sci. Paris, Ser. I 346 (2008).     

A Boolean algebra and a Banach space obtained by push-out iteration

Under the assumption that c is a regular cardinal, we prove the existence and uniqueness of a Boolean algebra B of size c defined by sharing the main structural properties that P(ω)/fin has under CH and in the ℵ₂-Cohen model. We prove a similar result in the category of Banach spaces.     

Degenerate and star colorings of graphs on surfaces

We study the degenerate, the star and the degenerate star chromatic numbers and their relation to the genus of graphs. As a tool we prove the following strengthening of a result of Fertin et al. (2004) [8]: If G is a graph of maximum degree Δ, then G admits a degenerate star coloring using O(Δ^3/2) colors. We use this result to prove that every graph of genus g admits a degenerate star coloring with O(g^3/5) colors. It is also shown that these results are sharp up to a logarithmic factor.     

Well-posedness and weak rotation limit for the Ostrovsky equation

We consider the Cauchy problem of the Ostrovsky equation. We first prove the time local well-posedness in the anisotropic Sobolev space Hs,a with s>−a/2−3/4 and 0?a?−1 by the Fourier restriction norm method. This result include the time local well-posedness in Hs with s>−3/4 for both positive and negative dissipation, namely for both βγ>0 and βγ<0. We next consider the weak rotation limit. We prove that the solution of the Ostrovsky equation converges to the solution of the KdV equation when the rotation parameter γ goes to 0 and the initial data of the KdV equation is in L². To show this result, we prove a bilinear estimate which is uniform with respect to γ.     

Stability of Riccati's Equation with Random Stationary Coefficients

The purpose of this paper is to study under weak conditions of stabilizability and detectability, the asymptotic behavior of the matrix Riccati equation which arises in stochastic control and filtering with random stationary coefficients. We prove the existence of a stationary solution of this Riccati equation. This solution is attracting, in the sense that if P _t is another solution, then onverges to 0 exponentially fast as t tends to +∞ , at a rate given by the smallest positive Lyapunov exponent of the associated Hamiltonian matrices. Accepted 13 January 1998     

Parametrized spaces model locally constant homotopy sheaves

We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a homotopy-theoretic version of the classical identification of covering spaces with locally constant sheaves. We also prove a new version of the classical result that spaces parametrized over X are equivalent to spaces with an action of ΩX. This gives a homotopy-theoretic version of the correspondence between covering spaces and π₁-sets. We then use these two equivalences to study base change functors for parametrized spaces.