Local and Global Existence for an Aggregation Equation

The purpose of this work is to develop a satisfactory existence theory for a general class of aggregation equations. An aggregation equation is a non-linear, non-local partial differential equation that is a regularization of a backward diffusion process. The non-locality arises via convolution with a potential. Depending on how regular the potential is, we prove either local or global existence for the solutions. Aggregation equations have been used recently to model the dynamics of populations in which the individuals attract each other (Bodnar and Velazquez, 2005 Bodnar , M. , Velazquez , J. J. L. ( 2005 ). Derivation of macroscopic equations for individual cell-based models: a formal approach . Math. Methods Appl. Sci. 28 ( 15 ): 1757 – 1779 .[Crossref], [Web of Science ®] , [Google Scholar]; Holm and Putkaradze, 2005 Holm , D. D. , Putkaradze , V. ( 2005 ). Aggregation of finite size particles with variable mobility . Phys. Rev. Lett. 95 : 226106 . [Google Scholar]; Mogilner and Edelstein-Keshet, 1999 Mogilner , A. , Edelstein-Keshet , L. ( 1999 ). A non-local model for a swarm . J. Math. Biol. 38 ( 6 ): 534 – 570 .[Crossref], [Web of Science ®] , [Google Scholar]; Morale et al., 2005 Morale , D. , Capasso , V. , Oelschläger , K. ( 2005 ). An interacting particle system modelling aggregation behavior: from individuals to populations . J. Math. Biol. 50 ( 1 ): 49 – 66 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]; Topaz and Bertozzi, 2004 Topaz , C. M. , Bertozzi , A. L. ( 2004 ). Swarming patterns in a two-dimensional kinematic model for biological groups . SIAM J. Appl. Math. 65 ( 1 ): 152 – 174 (electronic) .[Crossref], [Web of Science ®] , [Google Scholar]; Topaz et al., 2006 Topaz , C. M. , Bertozzi , A. L. , Lewis , M. A. ( 2006 ). A nonlocal continuum model for biological aggregation . Bull. Math. Biol. 68 ( 7 ): 1601 – 1623 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

Semiclassical L p Estimates of Quasimodes on Submanifolds

Let P = P(h) be a semiclassical pseudodifferential operator on a Riemannian manifold M. Suppose that u(h) is a localized, L ² normalized family of functions such that P(h)u(h) is O(h) in L ², as h → 0. Then, for any submanifold Y ? M, we obtain estimates on the L ^p norm of u(h) restricted to Y, with exponents that are sharp for h → 0. These results generalize those of Burq et al. [4 Burq , N. , Gérard , P. , Tzvetkov , N. ( 2007 ). Restrictions of the Laplace–Beltrami eigenfunctions to submanifolds . Duke Math. J. 138 : 445 – 486 .[Crossref], [Web of Science ®] , [Google Scholar]] on L ^p norms for restriction of Laplacian eigenfunctions. As part of the technical development we prove some extensions of the abstract Strichartz estimates of Keel and Tao [8 Keel , M. , Tao , T. ( 1998 ). Endpoint Strichartz estimates . Amer. J. Math. 120 : 955 – 980 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Determining an Unbounded Potential from Cauchy Data in Admissible Geometries

In [4 Dos Santos Ferreira , D. , Kenig , C.E. , Salo , M. , Uhlmann , G. ( 2009 ). Limiting Carleman weights and anisotropic inverse problems . Invent. Math. 178 : 119 – 171 .[Crossref], [Web of Science ®] , [Google Scholar]] anisotropic inverse problems were considered in certain admissible geometries, that is, on compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. In particular, it was proved that a bounded smooth potential in a Schrödinger equation was uniquely determined by the Dirichlet-to-Neumann map in dimensions n ≥ 3. In this article we extend this result to the case of unbounded potentials, namely those in L ^n/2. In the process, we derive L ^p Carleman estimates with limiting Carleman weights similar to the Euclidean estimates of Jerison and Kenig [8 Jerison , D. , Kenig , C.E. ( 1985 ). Unique continuation and absence of positive eigenvalues for Schrödinger operators . Ann. Math. 121 : 463 – 494 .[Crossref], [Web of Science ®] , [Google Scholar]] and Kenig et al. [9 Kenig , C.E. , Ruiz , A. , Sogge , C.D. ( 1987 ). Uniform Sobolev inequalities and unique continuation for second order constant coefficient differential operators . Duke Math. J. 55 : 329 – 347 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Density Estimates for Compact Surfaces with Total Boundary Curvature Less Than 4π

In this paper we obtain density estimates for compact surfaces immersed in ? ⁿ with total boundary curvature less than 4π and with sufficiently small L ^p norm of the mean curvature, p ≥ 2. In fact we show that these estimates hold for compact branched immersions. Our results generalize the main results in [2 Ekholm , T. , White , B. , Wienholtz , D. ( 2002 ). Embeddedness of minimal surfaces with total curvature at most 4π . Ann. Math. 155 : 209 – 234 .[Crossref], [Web of Science ®] , [Google Scholar]]. We then apply our estimates to discuss the geometry and topology of such surfaces.     

Eigenfunctions for Partially Rectangular Billiards

In this note, we further develop the methods of Burq and Zworski (2005 Burq , N. , Zworski , M. ( 2005 ). Bouncing ball modes and quantum chaos . SIAM Review 47 ( 5 ): 43 – 49 [CROSSREF] [CSA] [Crossref] , [Google Scholar]) to study eigenfunctions for billiards which have rectangular components: these include the Bunimovich billiard, the Sinai billiard, and the recently popular pseudointegrable billiards (Bogomolny et al., 1999 Bogomolny , E. , Gerland , U. , Schmit , C. ( 1999 ). Models of intermediate spectral statistics . Phys. Rev. E 59 : 1315 – 1318 [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]). The results are an application of a “black-box” point of view as presented in Burq and Zworski (2004 Burq , N. , Zworski , M. ( 2004 ). Geometric control in the presence of a black box . JAMS 17 : 443 – 471 [CROSSREF] [CSA] [Web of Science ®] , [Google Scholar]).     

Calderón problem for connections

In this paper, we consider the problem of identifying a connection ? on a vector bundle up to gauge equivalence from the Dirichlet-to-Neumann map of the connection Laplacian ?*? over conformally transversally anisotropic (CTA) manifolds. This was proved in [9 Dos Santos Ferreira, D., Kenig, C., Salo, M., Uhlmann, G. (2009). Limiting Carleman weights and anisotropic inverse problems. Invent. Math. 178:119–171.[Crossref], [Web of Science ®] , [Google Scholar]] for line bundles in the case of the transversal manifold being simple—we generalize this result to the case where the transversal manifold only has an injective ray transform. Moreover, the construction of suitable Gaussian beam solutions on vector bundles is given for the case of the connection Laplacian and a potential, following the works of [11 Dos Santos Ferreira, D., Kurylev, Y., Lassas, M., Salo, M. (2016). The Calderón problem in transversally anisotropic geometries. J. Eur. Math. Soc., 18:2579–2626.[Crossref], [Web of Science ®] , [Google Scholar]]. This in turn enables us to construct the Complex Geometrical Optics (CGO) solutions and prove our main uniqueness result. We also reduce the problem to a new non-abelian X-ray transform for the case of simple transversal manifolds and higher rank vector bundles. Finally, we prove the recovery of a flat connection in general from the DN map, up to gauge equivalence, using an argument relating the Cauchy data of the connection Laplacian and the holonomy.     

Breadth and characteristic sequence of nilpotent Lie algebras

The notion of breadth of a nilpotent Lie algebra was introduced and used to approach problems of classification up to isomorphism in [5 Khuhirun, B., Misra, K. C., Stitzinger, E. (2015). On nilpotent Lie algebras of small breadth. J. Algebra 444:328–338.[Crossref], [Web of Science ®] , [Google Scholar]]. In the present paper, we study this invariant in terms of characteristic sequence, another invariant, introduced by Goze and Ancochea in [1 Ancochea-Bermúdez, J. M., Goze, M. (1986). Sur la classification des algèbres de Lie nilpotentes de dimension 7. C. R. Acad. Sci. Paris 302:611–613. [Google Scholar]]. This permits to complete the determination of Lie algebras of breadth 2 studied in [5 Khuhirun, B., Misra, K. C., Stitzinger, E. (2015). On nilpotent Lie algebras of small breadth. J. Algebra 444:328–338.[Crossref], [Web of Science ®] , [Google Scholar]] and to begin the work for Lie algebras with breadth greater than 2.     

Poisson deleting derivations algorithm and Poisson spectrum

Cauchon [5 Cauchon, G. (2003). Effacement des dérivations et spectres premiers des algèbres quantiques. J. Algebra 260(2):476–518.[Crossref], [Web of Science ®] , [Google Scholar]] introduced the so-called deleting derivations algorithm. This algorithm was first used in noncommutative algebra to prove catenarity in generic quantum matrices, and then to show that torus-invariant primes in these algebras are generated by quantum minors. Since then this algorithm has been used in various contexts. In particular, the matrix version makes a bridge between torus-invariant primes in generic quantum matrices, torus orbits of symplectic leaves in matrix Poisson varieties and totally non-negative cells in totally non-negative matrix varieties [12 Goodearl, K. R., Launois, S., Lenagan, T. (2011). Torus invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves. Math. Z. 269(1):29–45.[Crossref], [Web of Science ®] , [Google Scholar]]. This led to recent progress in the study of totally non-negative matrices such as new recognition tests [18 Launois, S., Lenagan, T. (2014). E?cient recognition of totally non-negative matrix cells. Found. Comput. Math. 14:371–387.[Crossref], [Web of Science ®] , [Google Scholar]]. The aim of this article is to develop a Poisson version of the deleting derivations algorithm to study the Poisson spectra of the members of a class 𝒫 of polynomial Poisson algebras. It has recently been shown that the Poisson Dixmier–Moeglin equivalence does not hold for all polynomial Poisson algebras [2 Bell, J., Launois, S., Sanchez, O. L., Moosa, R. Poisson algebras via model theory and differential-algebraic geometry. J. Eur. Math. Soc. (to appear). [Google Scholar]]. Our algorithm allows us to prove this equivalence for a significant class of Poisson algebras, when the base field is of characteristic zero. Finally, using our deleting derivations algorithm, we compare topologically spectra of quantum matrices with Poisson spectra of matrix Poisson varieties.     

Global Stability and Bounds for Coarsening Rates Within the Mean-Field Theory for Domain Coarsening

We investigate the long-time behavior of solutions to the classical mean-field model for coarsening by Lifshitz–Slyozov and Wagner (LSW). In the original work (Lifshitz and Slyozov, 1961 Lifshitz , I. M. , Slyozov , V. V. ( 1961 ). The kinetics of precipitation from supersaturated solid solutions . J. Phys. Chem. Solids 19 : 35 – 50 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]; Wagner 1961 Wagner , C. ( 1961 ). Theorie der Alterung von Niederschlägen durch Umlösen . Z. Elektrochemie 65 : 581 – 594 . [CSA]  [Google Scholar]) convergence of solutions to a uniquely determined self-similar solution was predicted. However, it is by now well known (Giron et al., 1998 Giron , B. , Meerson , B. , Sasorov , V. P. ( 1998 ). Weak selection and stability of localized distributions in Ostwald ripening . Phys. Rev. E 58 : 4213 – 4216 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]; Niethammer and Pego 1999 Niethammer , B. , Pego , R. L. ( 1999 ). Non-self-similar behavior in the LSW theory of Ostwald ripening . J. Stat. Phys. 95 ( 5/6 ): 867 – 902 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar] 2001 Niethammer , B. , Pego , R. L. ( 2001 ). The LSW model for domain coarsening: Asymptotic behavior for total conserved mass . J. Stat. Phys. 104 ( 5/6 ): 1113 – 1144 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) that the long-time behavior of solutions depends sensitively on the initial data. In Niethammer and Pego (1999 Niethammer , B. , Pego , R. L. ( 1999 ). Non-self-similar behavior in the LSW theory of Ostwald ripening . J. Stat. Phys. 95 ( 5/6 ): 867 – 902 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar] 2001 Niethammer , B. , Pego , R. L. ( 2001 ). The LSW model for domain coarsening: Asymptotic behavior for total conserved mass . J. Stat. Phys. 104 ( 5/6 ): 1113 – 1144 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) a necessary criterion for convergence to any self-similar solution which behaves like a finite power at the end of its (compact) support is given. It says that the data have to be regularly varying at the end of their support with the same power. This criterion is also shown to be sufficient if the power is sufficiently small and for data which are close to self-similar.

In this article we extend the local stability result to the whole range of self-similar solutions with compact support. Our first main result establishes global stability of self-similar solutions with not too large power. The proof relies on a global contraction argument for the spreading of characteristics. In addition, we also establish upper and lower bounds for the coarsening rates of the system for a suitable class of initial data whose variation is bounded at the end of the support but not necessarily regular.     

A ring with FT-rank two

We construct a ring which admits a 2-generated, faithful torsion module but lacks a cyclic faithful torsion module. This answers a question by Oman and Schwiebert [1 Oman, G., Schwiebert, R. (2012). Rings which admit faithful torsion modules. Commun. Algebra 40(6):2184–2198.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar], 2 Oman, G., Schwiebert, R. (2012). Rings which admit faithful torsion modules II. J. Algebra Appl. 11(3):1250054 (12 p.).[Crossref], [Web of Science ®] , [Google Scholar]].     

Parabolic NTA domains in ℝ2

We show that each connected component of the boundary of a parabolic NTA domain in ?² is given by a graph. We then apply this observation to classify blowup solutions in ?² to a free boundary problem for caloric measure first considered by Hofmann, Lewis and Nyström [16 Hofmann, S., Lewis, J.L., Nyström, K. (2004). Caloric measure in parabolic flat domains. Duke Math. J. 122(2):281–346. MR 2053754 (2005e:35092)[Crossref], [Web of Science ®] , [Google Scholar]].     

Standard Koszul standardly stratified algebras

In this paper, we prove that every standard Koszul (not necessarily graded) standardly stratified algebra is also Koszul. This generalizes a similar result of [3 Ágoston, I., Dlab, V., Lukács, E. (2003). Quasi-hereditary extension algebras. Algebras Represent. Theory 6:97–117.[Crossref], [Web of Science ®] , [Google Scholar]] on quasi-hereditary algebras.     

Extension of Goulden–Jackson cluster method on pattern occurrences in random sequences and comparison with Régnier–Szpankowski method

The Goulden–Jackson cluster method is a powerful method to find generating functions of pattern occurrences in random sequences [1 Goulden, I.P. and Jackson, D.M. 1979. An inversion theorem for cluster decompositions of sequences with distinguished subsequences. Journal of London Mathematical Society, Second Series, 20: 567–576. [Crossref], [Web of Science ®] , [Google Scholar]]. The method is clearly explained, extended and implemented by Noonan and Zeilberger [2 Noonan, J. and Zeilberger, D. 1999. The Goulden-Jackson cluster method: extensions, applications, and implementations. Journal of Difference Equations and Applications, 5: 355–377. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. In this paper, we elaborate on one of the several extensions in [2 Noonan, J. and Zeilberger, D. 1999. The Goulden-Jackson cluster method: extensions, applications, and implementations. Journal of Difference Equations and Applications, 5: 355–377. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], namely the extension from symmetrical Bernoulli sequences where the occurrences of each symbol have equal probability, to asymmetrical Bernoulli sequences with different probabilities of symbol generations. An explicit formula is derived for the extension, which is implicitly embedded in the treatment of [2 Noonan, J. and Zeilberger, D. 1999. The Goulden-Jackson cluster method: extensions, applications, and implementations. Journal of Difference Equations and Applications, 5: 355–377. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. The extended result is then compared with the method of Régnier–Szpankowski [3 Régnier, M. and Szpankowski, W. 1997. On the approximate pattern occurrences in a text. Proceedings of the compression and complexity of sequences 1997, : 253–264.  [Google Scholar]], a method which was developed independently to tackle the same problem. By manipulating some matrix inversions, we show that the Régnier–Szpankowski method can be simplified to the extended Goulden–Jackson method.     

2 × 2 Permanental Ideals of Hypermatrices

We analyze the structure of ideals generated by some classes of 2 × 2 permanents of hypermatrices, generalizing [9 Laubenbacher , R. C. , Swanson , I. ( 2000 ). Permanental ideals . J. Symbolic Comput. 30 : 195 – 205 .[Crossref], [Web of Science ®] , [Google Scholar]] on 2 × 2 permanental ideals of generic matrices. We compare the obtained structure to that of the corresponding determinantal ideals in [11 Swanson , I. , Taylor , A. ( 2013 ). Minimal primes of ideals arising from conditional independence statements . J. Algebra 392 : 299 – 314 .[Crossref], [Web of Science ®] , [Google Scholar]]: as expected, the permanental ideals have many more (minimal) components. In the last two sections, we examine a few related classes of permanental ideals.     

Stratifying Systems via Relative Projective Modules

ABSTRACT

In this paper we point out that the “Process of standardization”, given in Dlab and Ringel (1992 Dlab , V. , Ringel , C. M. ( 1992 ). The module theoretical approach to quasi-hereditary algebras . Repr. Theory and Related Topics, London Math. Soc. LNS 168 : 200 – 224 . [Google Scholar]), and also the “Comparison method” given in Platzeck and Reiten (2001 Platzeck , M. I. , Reiten , I. ( 2001 ). Modules of finite projective dimension for standardly stratified algebras . Comm. in Algebra 29 : 973 – 986 . [CROSSREF] [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]) can be generalized. To do so, we introduce the concept of relative projective stratifying system and prove a result from which the Theorem 2 in Dlab and Ringel (1992 Dlab , V. , Ringel , C. M. ( 1992 ). The module theoretical approach to quasi-hereditary algebras . Repr. Theory and Related Topics, London Math. Soc. LNS 168 : 200 – 224 . [Google Scholar]) and Proposition 2.1 in Ringel (1991 Ringel , C. M. ( 1991 ). The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences . Math. Z. 208 : 209 – 223 .[Crossref], [Web of Science ®] , [Google Scholar]) follows.

     

Splitting of operations for alternative and Malcev structures

In this paper, we define pre-Malcev algebras and alternative quadri-algebras and prove that they generalize pre-Lie algebras and quadri-algebras, respectively, to the alternative setting. We use the results and techniques from [4 Bai, C., Bellier, O., Guo, L., Ni, X. (2013). Splitting of operations, Manin products, and Rota-Baxter operators. Int. Math. Res. Not. 2013(3):485–524. [Google Scholar], 14 Gubarev, V. Y., Kolesnikov, P. S. (2013). Embedding of dendriform algebras into Rota-Baxter algebras. Cent. Eur. J. Math. 11(2):226–245.[Crossref], [Web of Science ®] , [Google Scholar]] to discuss and give explicit computations of different constructions in terms of bimodules, splitting of operations, and Rota–Baxter operators.