pith. sign in

arxiv: 2602.19650 · v2 · submitted 2026-02-23 · 🧮 math.AP · math.PR

Gradual smoothing: strong hypercontractivity and logarithmic Sobolev inequalities

Pith reviewed 2026-05-15 20:28 UTC · model grok-4.3

classification 🧮 math.AP math.PR
keywords Lévy-type operatorsstrong hypercontractivitylogarithmic Sobolev inequalitiessmoothing effectsnonlocal parabolic equationskernel comparabilityultracontractivitygradual regularization
0
0 comments X

The pith

Purely nonlocal Lévy-type operators with kernels comparable to log(I-Δ) are strongly hypercontractive but fail supercontractivity and ultracontractivity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that certain Lévy-type operators produce gradual regularization in parabolic equations, with solutions improving in integrability over time rather than instantly. It introduces strong hypercontractivity through an equivalence between smoothing effects and logarithmic Sobolev inequalities, showing this property holds precisely when the kernel is comparable to that of log(I-Δ). These operators reach every finite L^p space after finite time but never become bounded or ultracontractive. The distinction arises from kernel singularity: |x-y|^{-N} behavior for small distances yields the gradual effect, while more singular kernels smooth instantly and less singular ones produce none. The results apply to non-translation-invariant operators as well.

Core claim

Any purely nonlocal Lévy-type operator whose kernel is comparable to that of log(I-Δ) is strongly hypercontractive, meaning solutions belong to every L^p space with p finite after some positive time. Such operators fail to be supercontractive and therefore also fail to be ultracontractive. In the translation-invariant case solutions become bounded after finite time and then improve in differentiability. This gradual smoothing occurs only for kernels that behave as |x-y|^{-N} near the diagonal; more singular kernels produce instantaneous smoothing and less singular kernels produce none.

What carries the argument

Equivalence between general smoothing effects and a family of logarithmic Sobolev inequalities, used to characterize strong hypercontractivity under kernel comparability to log(I-Δ).

If this is right

  • Solutions to the parabolic problems exhibit gradual rather than instantaneous integrability improvement.
  • In translation-invariant cases, boundedness occurs after finite time and is followed by differentiability gains.
  • Kernels more singular than |x-y|^{-N} produce instantaneous smoothing while less singular kernels produce none.
  • Logarithmic Sobolev inequalities become available in new settings for non-translation-invariant operators.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The kernel-singularity criterion may help select operators when models require controlled rather than immediate regularization rates.
  • Strong hypercontractivity could link to other functional inequalities in nonlocal analysis beyond the cases treated here.
  • Similar gradual effects might appear for time-dependent or variable-coefficient kernels satisfying the same comparability condition.

Load-bearing premise

Kernel comparability to log(I-Δ) produces the stated smoothing effects and logarithmic Sobolev inequalities even for non-translation-invariant operators.

What would settle it

An explicit kernel comparable to log(I-Δ) for which some solution fails to enter all L^p spaces with p finite after any finite time.

read the original abstract

We study the possibility of a gradual improvement as time progresses of the regularity of solutions to evolution problems of parabolic type driven by L\'evy-type operators, not necessarily translation invariant. In the course of our analysis we study the equivalence between general smoothing effects and a family of logarithmic Sobolev inequalities. This equivalence allows us to identify a new type of regularization, strong hypercontractivity, characterized by the existence of a time at which solutions belong to every $L^p$ space with $p$ finite. It can also be used to prove logarithmic Sobolev inequalities in a context not previously seen in the literature. We then show that any purely nonlocal L\'evy-type operator whose kernel is comparable to that of $\log(I-\Delta)$ is strongly hypercontractive, but fails to be supercontractive and, consequently, also fails to be ultracontractive. Furthermore, in the translation-invariant case, we also prove that solutions get bounded eventually and start improving in differentiability right after doing so. Finally, we show that this behaviour only appears if the kernel defining the operator behaves as $|x-y|^{-N}$ for small interactions ($0^+$-order operators): more singular kernels yield instantaneous smoothing, while less singular ones do not produce any regularization.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies gradual smoothing for parabolic equations driven by Lévy-type operators (not necessarily translation-invariant). It establishes an equivalence between general smoothing effects and a family of logarithmic Sobolev inequalities, uses this to define and characterize 'strong hypercontractivity' (eventual membership in all L^p for finite p), and shows that purely nonlocal operators with kernels comparable to that of log(I-Δ) are strongly hypercontractive but neither supercontractive nor ultracontractive. Additional results include eventual boundedness and subsequent differentiability improvement in the translation-invariant case, together with a classification showing that this gradual behavior occurs precisely for kernels behaving as |x-y|^{-N} at small distances (0^+-order operators), while more singular kernels yield instantaneous smoothing and less singular ones yield none.

Significance. If the claimed equivalence holds in the stated generality, the work supplies a new analytic tool for identifying intermediate regularization regimes in nonlocal parabolic problems and a clean classification by kernel singularity. The introduction of strong hypercontractivity as a distinct notion between hypercontractivity and supercontractivity is a useful conceptual contribution, and the eventual boundedness result in the translation-invariant setting adds concrete information about long-time regularity.

major comments (2)
  1. [Section establishing the equivalence between smoothing effects and logarithmic Sobolev inequalities] The equivalence between smoothing effects and the family of logarithmic Sobolev inequalities is the load-bearing step for all subsequent claims, including the identification of strong hypercontractivity for kernels comparable to log(I-Δ). The manuscript must supply an explicit verification that this equivalence does not rely on translation invariance or Fourier-multiplier arguments when the operator is non-translation-invariant; without such a verification the passage from kernel comparability to the entropy-production inequalities remains unconfirmed.
  2. [Theorem classifying kernels comparable to log(I-Δ)] The statement that kernels comparable to log(I-Δ) fail to be supercontractive (and hence ultracontractive) rests on the same equivalence. A concrete counter-example or explicit computation showing that the associated logarithmic Sobolev constant does not improve sufficiently to reach the supercontractive regime should be added, or the argument should be localized to a specific theorem number.
minor comments (2)
  1. [Introduction] The term '0^+-order operators' is introduced in the abstract and used in the classification without an immediate definition; a short clarifying sentence in the introduction would improve readability.
  2. [Preliminaries] Notation for the Lévy-type operator and its kernel should be fixed once at the beginning of the analysis section to avoid repeated re-definition when passing between translation-invariant and non-invariant cases.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and valuable suggestions. We address the major comments below and will incorporate the necessary clarifications and additions in the revised manuscript.

read point-by-point responses
  1. Referee: [Section establishing the equivalence between smoothing effects and logarithmic Sobolev inequalities] The equivalence between smoothing effects and the family of logarithmic Sobolev inequalities is the load-bearing step for all subsequent claims, including the identification of strong hypercontractivity for kernels comparable to log(I-Δ). The manuscript must supply an explicit verification that this equivalence does not rely on translation invariance or Fourier-multiplier arguments when the operator is non-translation-invariant; without such a verification the passage from kernel comparability to the entropy-production inequalities remains unconfirmed.

    Authors: The proof of the equivalence in Section 3 is carried out in a general setting for Lévy-type operators defined by arbitrary measurable kernels satisfying the given integrability and positivity conditions. It relies on the pointwise definition of the operator L u(x) = ∫ (u(x) - u(y)) K(x,y) dy and the associated entropy production ∫ u log u L u dx, using only Jensen's inequality and the kernel comparability, without any appeal to translation invariance or Fourier transforms. We will add a dedicated paragraph at the beginning of Section 3 explicitly stating the assumptions used and confirming the absence of translation invariance in the argument. revision: yes

  2. Referee: [Theorem classifying kernels comparable to log(I-Δ)] The statement that kernels comparable to log(I-Δ) fail to be supercontractive (and hence ultracontractive) rests on the same equivalence. A concrete counter-example or explicit computation showing that the associated logarithmic Sobolev constant does not improve sufficiently to reach the supercontractive regime should be added, or the argument should be localized to a specific theorem number.

    Authors: The failure of supercontractivity for kernels comparable to that of log(I-Δ) is established in Theorem 4.2, where we show that the logarithmic Sobolev inequality holds with a constant independent of p. This prevents the p-dependent improvement required for supercontractivity. To address the request for explicitness, we will include in the revised version a direct computation for the translation-invariant case using the symbol of the operator, demonstrating that the entropy dissipation rate does not grow with p. Additionally, we will provide a specific counterexample kernel in the non-translation-invariant setting that satisfies the comparability but yields a bounded LSI constant. revision: yes

Circularity Check

0 steps flagged

No circularity: equivalence proven independently then applied to kernel class

full rationale

The paper derives the equivalence between smoothing effects and the family of logarithmic Sobolev inequalities as an independent step for general Lévy-type operators (including non-translation-invariant). This equivalence is then applied to identify strong hypercontractivity for kernels comparable to log(I-Δ). The central claims do not reduce by construction to inputs, fitted parameters, or self-citation chains; the comparability assumption is external and the smoothing conclusions follow from the proven equivalence without tautological renaming or load-bearing self-reference. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard functional-analytic background for Lévy operators and parabolic equations plus the stated kernel comparability; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • standard math Standard properties of Lévy-type operators and parabolic evolution equations hold in the non-translation-invariant setting.
    Invoked throughout the abstract when discussing solutions and smoothing effects.
  • domain assumption Kernel comparability to log(I-Δ) is sufficient to trigger the equivalence with logarithmic Sobolev inequalities.
    This is the key hypothesis used to conclude strong hypercontractivity.

pith-pipeline@v0.9.0 · 5527 in / 1343 out tokens · 30304 ms · 2026-05-15T20:28:35.172096+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages

  1. [1]

    T.Theory of Bessel potentials

    Adams, R., Aronszajn, N., and Smith, K. T.Theory of Bessel potentials. II.Ann. Inst. Fourier (Grenoble) 17(1967), 1–135

  2. [2]

    A.Sobolev spaces, vol

    Adams, R. A.Sobolev spaces, vol. Vol. 65 ofPure and Applied Mathematics. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975

  3. [3]

    A., and Fournier, J

    Adams, R. A., and Fournier, J. J. F.Sobolev spaces, second ed., vol. 140 ofPure and Applied Mathematics (Amsterdam). Elsevier/Academic Press, Amsterdam, 2003

  4. [4]

    T.Theory of Bessel potentials

    Aronszajn, N., and Smith, K. T.Theory of Bessel potentials. I.Ann. Inst. Fourier (Grenoble) 11(1961), 385–475

  5. [5]

    348 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    Bakry, D., Gentil, I., and Ledoux, M.Analysis and geometry of Markov diffusion operators, vol. 348 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Cham, 2014

  6. [6]

    [7]Bochner, S.Diffusion equation and stochastic processes.Proc

    Bendikov, A., Coulhon, T., and Saloff-Coste, L.Ultracontractivity and embedding into L∞.Mathematische Annalen 337, 4 (2007), 817–853. [7]Bochner, S.Diffusion equation and stochastic processes.Proc. Nat. Acad. Sci. U.S.A. 35(1949), 368–370

  7. [7]

    1980 ofLecture Notes in Mathematics

    Bogdan, K., Byczkowski, T., Kulczycki, T., Ryznar, M., Song, R., and Vondraˇ cek, Z.Potential analysis of stable processes and its extensions, vol. 1980 ofLecture Notes in Mathematics. Springer-Verlag, Berlin, 2009

  8. [8]

    r.Nonlocal nonlinear diffusion equations

    Bonforte, M., and Endal, J. r.Nonlocal nonlinear diffusion equations. Smoothing effects, Green functions, and functional inequalities.J. Funct. Anal. 284, 6 (2023), Paper No. 109831, 104

  9. [9]

    Boudaoud, M.-E.-M., de Pablo, A., and Quir ´os, F.Sharp conditions for the existence of smoothing effects for fractional very fast diffusion equations.Preprint(2026)

  10. [10]

    Pure Appl

    Br¨andle, C., and de Pablo, A.Nonlocal heat equations: regularizing effect, decay estimates and Nash inequalities.Commun. Pure Appl. Anal. 17, 3 (2018), 1161–1178

  11. [11]

    Universitext

    Brezis, H.Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011

  12. [12]

    A., Kusuoka, S., and Stroock, D

    Carlen, E. A., Kusuoka, S., and Stroock, D. W.Upper bounds for symmetric Markov transition functions. Ann. Inst. H. Poincar´ e Probab. Statist. 23, 2 (1987), 245–287

  13. [13]

    D.Asymptotic behavior for nonlocal diffusion equations.J

    Chasseigne, E., Chaves, M., and Rossi, J. D.Asymptotic behavior for nonlocal diffusion equations.J. Math. Pures Appl. (9) 86, 3 (2006), 271–291

  14. [14]

    Chatzakou, M., and Ruzhansky, M.Revised logarithmic Sobolev inequalities of fractional order.Bull. Sci. Math. 197(2024), Paper No. 103530, 9

  15. [15]

    Chen, H., and V ´eron, L.Bounds for eigenvalues of the Dirichlet problem for the logarithmic Laplacian.Adv. Calc. Var. 16, 3 (2023), 541–558

  16. [16]

    Chen, H., and V ´eron, L.The Cauchy problem associated to the logarithmic Laplacian with an application to the fundamental solution.J. Funct. Anal. 287, 3 (2024), Paper No. 110470, 72

  17. [17]

    Partial Differential Equations 44, 11 (2019), 1100–1139

    Chen, H., and Weth, T.The Dirichlet problem for the logarithmic Laplacian.Comm. Partial Differential Equations 44, 11 (2019), 1100–1139

  18. [18]

    Correa, E., and de Pablo, A.Nonlocal operators of order near zero.J. Math. Anal. Appl. 461, 1 (2018), 837–867. [20]Coulhon, T.Ultracontractivity and Nash type inequalities.J. Funct. Anal. 141, 2 (1996), 510–539

  19. [19]

    B.Heat kernels and spectral theory, vol

    Davies, E. B.Heat kernels and spectral theory, vol. 92 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1989. 42 A. DE PABLO, D. LEE, F. QUIR ´OS AND J. RUIZ-CASES

  20. [20]

    B., and Simon, B.Ultracontractivity and the heat kernel for Schr¨ odinger operators and Dirichlet Laplacians.J

    Davies, E. B., and Simon, B.Ultracontractivity and the heat kernel for Schr¨ odinger operators and Dirichlet Laplacians.J. Funct. Anal. 59, 2 (1984), 335–395

  21. [21]

    L.A general fractional porous medium equation

    de Pablo, A., Quir´os, F., Rodr´ıguez, A., and V ´azquez, J. L.A general fractional porous medium equation. Comm. Pure Appl. Math. 65, 9 (2012), 1242–1284

  22. [22]

    Del Pino, M., and Dolbeault, J.Best constants for Gagliardo-Nirenberg inequalities and applications to nonlinear diffusions.J. Math. Pures Appl. (9) 81, 9 (2002), 847–875

  23. [23]

    Del Pino, M., and Dolbeault, J.The optimal Euclidean Lp-Sobolev logarithmic inequality.J. Funct. Anal. 197, 1 (2003), 151–161

  24. [24]

    M., and Felli, V.Sharp essential self-adjointness of relativistic Schr¨ odinger operators with a singular potential.Journal of Functional Analysis 267, 6 (Sept

    Fall, M. M., and Felli, V.Sharp essential self-adjointness of relativistic Schr¨ odinger operators with a singular potential.Journal of Functional Analysis 267, 6 (Sept. 2014), 1851–1877

  25. [25]

    Fall, M. M., and Felli, V.Unique continuation properties for relativistic Schr¨ odinger operators with a singular potential.Discrete and Continuous Dynamical Systems 35, 12 (May 2015), 5827–5867

  26. [26]

    Journal of the American Mathematical Society 21, 4 (Oct

    Frank, R., Lieb, E., and Seiringer, R.Hardy-Lieb-Thirring inequalities for fractional Schr¨ odinger operators. Journal of the American Mathematical Society 21, 4 (Oct. 2007), 925–950

  27. [27]

    Gentil, I., and Maheux, P.Super-Poincar´ e and Nash-type inequalities for subordinated semigroups.Semigroup Forum 90, 3 (2015), 660–693

  28. [28]

    249 ofGraduate Texts in Mathematics

    Grafakos, L.Classical Fourier analysis, second ed., vol. 249 ofGraduate Texts in Mathematics. Springer, New York, 2008

  29. [29]

    250 ofGraduate Texts in Mathematics

    Grafakos, L.Modern Fourier analysis, second ed., vol. 250 ofGraduate Texts in Mathematics. Springer, New York, 2009

  30. [30]

    Grigor’yan, A.Heat kernel upper bounds on a complete non-compact manifold.Rev. Mat. Iberoamericana 10, 2 (1994), 395–452. [33]Gross, L.Logarithmic Sobolev inequalities.Amer. J. Math. 97, 4 (1975), 1061–1083

  31. [31]

    W.Spectral theory of the operator ( p2 + m2)1/2 −Ze 2/r.Communications in Mathematical Physics 53, 3 (Feb

    Herbst, I. W.Spectral theory of the operator ( p2 + m2)1/2 −Ze 2/r.Communications in Mathematical Physics 53, 3 (Feb. 1977), 285–294

  32. [32]

    Jarohs, S., Kassmann, M., and Weth, T.Continuity of solutions to equations with weakly singular nonlocal operators, 2025

  33. [33]

    Jarohs, S., Salda˜na, A., and Weth, T.A new look at the fractional Poisson problem via the logarithmic Laplacian.J. Funct. Anal. 279, 11 (2020), 108732, 50

  34. [34]

    Kassmann, M., and Mimica, A.Intrinsic scaling properties for nonlocal operators.J. Eur. Math. Soc. (JEMS) 19, 4 (2017), 983–1011

  35. [35]

    L.A note on the existence of transition probability densities of L´ evy processes

    Knopova, V., and Schilling, R. L.A note on the existence of transition probability densities of L´ evy processes. Forum Mathematicum 25, 1 (2013), 125–149

  36. [36]

    H.Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities.Ann

    Lieb, E. H.Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities.Ann. of Math. (2) 118, 2 (1983), 349–374

  37. [37]

    H., and Loss, M.Analysis, second ed., vol

    Lieb, E. H., and Loss, M.Analysis, second ed., vol. 14 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2001. [41]Nelson, E.The free Markoff field.J. Functional Analysis 12(1973), 211–227

  38. [38]

    M.Approximation of functions of several variables and imbedding theorems, vol

    Nikol’skii, S. M.Approximation of functions of several variables and imbedding theorems, vol. Band 205 ofDie Grundlehren der mathematischen Wissenschaften. Springer-Verlag, New York-Heidelberg, 1975. Translated from the Russian by John M. Danskin, Jr

  39. [39]

    Olver, F. W. J.Asymptotics and special functions. Computer Science and Applied Mathematics. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1974

  40. [40]

    2023), 301–332

    Roncal, L., Stan, D., and Vega, L.Carleman type inequalities for fractional relativistic operators.Revista Matem´ atica Complutense 36, 1 (Jan. 2023), 301–332. [45]Sahu, V.Fractional sobolev logarithmic inequalities, 2025

  41. [41]

    68 ofCambridge Studies in Advanced Mathematics

    Sato, K.-i.L´ evy processes and infinitely divisible distributions, vol. 68 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999. Translated from the 1990 Japanese original, Revised by the author

  42. [42]

    L.Subordination in the sense of Bochner and a related functional calculus.J

    Schilling, R. L.Subordination in the sense of Bochner and a related functional calculus.J. Austral. Math. Soc. Ser. A 64, 3 (1998), 368–396

  43. [43]

    L., Song, R., and Vondra ˇcek, Z.Bernstein functions, second ed., vol

    Schilling, R. L., Song, R., and Vondra ˇcek, Z.Bernstein functions, second ed., vol. 37 ofDe Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 2012. Theory and applications

  44. [44]

    L., and Wang, J.Functional inequalities and subordination: stability of Nash and Poincar´ e inequalities.Math

    Schilling, R. L., and Wang, J.Functional inequalities and subordination: stability of Nash and Poincar´ e inequalities.Math. Z. 272, 3-4 (2012), 921–936

  45. [45]

    M.Singular integrals and differentiability properties of functions, vol

    Stein, E. M.Singular integrals and differentiability properties of functions, vol. No. 30 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1970. GRADUAL SMOOTHING 43

  46. [46]

    W.An introduction to the theory of large deviations

    Stroock, D. W.An introduction to the theory of large deviations. Universitext. Springer-Verlag, New York, 1984

  47. [47]

    C.Introduction to the theory of Fourier integrals, third ed

    Titchmarsh, E. C.Introduction to the theory of Fourier integrals, third ed. Chelsea Publishing Co., New York, 1986

  48. [48]

    2, 3 (1990), 277–295

    Tomisaki, M.Comparison theorems on Dirichlet norms and their applications.Forum Math. 2, 3 (1990), 277–295. [54]Varopoulos, N. T.Hardy-Littlewood theory for semigroups.J. Funct. Anal. 63, 2 (1985), 240–260

  49. [49]

    Theory Related Fields 135, 4 (2006), 547–575

    ˇSiki´c, H., Song, R., and Vondraˇcek, Z.Potential theory of geometric stable processes.Probab. Theory Related Fields 135, 4 (2006), 547–575

  50. [50]

    Wang, F.-Y., and Wang, J.Functional inequalities for stable-like Dirichlet forms.J. Theoret. Probab. 28, 2 (2015), 423–448

  51. [51]

    1983), 487–499

    Watanabe, T.The isoperimetric inequality for isotropic unimodal L´ evy processes.Zeitschrift f¨ ur Wahrschein- lichkeitstheorie und Verwandte Gebiete 63, 4 (Dec. 1983), 487–499

  52. [52]

    N.A Treatise on the Theory of Bessel Functions

    Watson, G. N.A Treatise on the Theory of Bessel Functions. Cambridge University Press, Cambridge; The Macmillan Company, New York, 1944

  53. [53]

    B.Logarithmic Sobolev inequalities for the heat-diffusion semigroup.Trans

    Weissler, F. B.Logarithmic Sobolev inequalities for the heat-diffusion semigroup.Trans. Amer. Math. Soc. 237(1978), 255–269

  54. [54]

    Xiao, J.A sharp Sobolev trace inequality for the fractional-order derivatives.Bull. Sci. Math. 130, 1 (2006), 87–96. A. de Pablo. Departamento de Matem´aticas, Universidad Carlos III de Madrid, 28911-Legan ´es, Spain & Instituto de Ciencias Matem ´aticas ICMAT (CSIC-UAM-UC3M-UCM), 28049-Madrid, Spain. Email address:arturop@math.uc3m.es D. Lee. School of M...