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.     

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]].     

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.     

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.     

A note on semicentral idempotents

In this note we answer the question raised by Han et al. in [3 Han, J., Lee, Y., Park, S. (2014). Semicentral idempotents in a ring. J. Korean Math. Soc. 51(3):463–472, MR3206399.[Crossref], [Web of Science ®] , [Google Scholar]] whether an idempotent isomorphic to a semicentral idempotent is itself semicentral. We show that rings with this property are precisely the Dedekind-finite rings. An application to module theory is given.     

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]).     

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.     

Sharp estimates for solutions of mean field equations with collapsing singularity

The pioneering work of Brezis-Merle [7 Brezis, H., Merle, F. (1991). Uniform estimates and blow-up behavior for solutions of ?Δu = V(x)e^u in two dimensions. Commun. Partial Differential Equation 16:1223–1254.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], Li-Shafrir [27 Li, Y.Y., Shafrir, I. (1994). Blow-up analysis for solutions of ?Δu = V(x)e^u in dimension two. Indiana Univ. Math. J. 43:1255–1270.[Crossref], [Web of Science ®] , [Google Scholar]], Li [26 Li, Y.Y. (1999). Harnack inequality: the method of moving planes. Commun. Math. Phys. 200:421–444.[Crossref], [Web of Science ®] , [Google Scholar]], and Bartolucci-Tarantello [3 Bartolucci, D., Tarantello, G. (2002). Liouville type equations with singular data and their applications to periodic multivortices for the electroweak theory. Commun. Math. Phys. 229:3–47.[Crossref], [Web of Science ®] , [Google Scholar]] showed that any sequence of blow-up solutions for (singular) mean field equations of Liouville type must exhibit a “mass concentration” property. A typical situation of blowup occurs when we let the singular (vortex) points involved in the equation (see (1.1) below) collapse together. However in this case, Lin-Tarantello in [30 Lin, C.S., Tarantello, G. (2016). When “blow-up” does not imply “concentration”: A detour from Brezis-Merle’s result. C. R. Math. Acad. Sci. Paris 354:493–498.[Crossref], [Web of Science ®] , [Google Scholar]] pointed out that the phenomenon: “bubbling implies mass concentration” might not occur and new scenarios open for investigation. In this paper, we present two explicit examples which illustrate (with mathematical rigor) how a “nonconcentration” situation does happen and its new features. Among other facts, we show that in certain situations, the collapsing rate of the singularities can be used as blow-up parameter to describe the bubbling properties of the solution-sequence. In this way, we are able to establish accurate estimates around the blow-up points which we hope to use toward a degree counting formula for the shadow system (1.34) below.     

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]].     

On mutation of τ-tilting modules

Mutation of τ-tilting modules is a basic operation to construct a new support τ-tilting module from a given one by replacing a direct summand. The aim of this paper is to give a positive answer to the question posed in [2 Adachi, T., Iyama, O., Reiten, I. (2014). τ-tilting theory. Compos. Math. 150(3):415–452.[Crossref], [Web of Science ®] , [Google Scholar], Question 2.31] about mutation of τ-tilting modules.     

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.     

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]).     

Discrete Morse theory and a reformulation of the K(π,1)-conjecture

A recent theorem of Dobrinskaya [20 Dobrinskaya, N.È. (2006). Configuration spaces of labeled particles and finite Eilenberg-MacLane complexes. Proc. Steklov Inst. Math. 252(1):30–46.[Crossref] , [Google Scholar]] states that the K(π,1)-conjecture holds for an Artin group G if and only if the canonical map BM→BG is a homotopy equivalence, where M denotes the Artin monoid associated to G. The aim of this paper is to give an alternative proof by means of discrete Morse theory and abstract homotopy theory. Moreover, we exhibit a new model for the classifying space of an Artin monoid, in the spirit of [13 Charney, R., Meier, J., Whittlesey, K. (2004). Bestvina’s normal form complex and the homology of Garside groups. Geom. Dedicata 105:171–188.[Crossref], [Web of Science ®] , [Google Scholar]], and a small chain complex for computing its monoid homology, similar to the one of [44 Squier, C. C. (1994). The homological algebra of Artin groups. Math. Scand. 75(1):5–43.[Crossref], [Web of Science ®] , [Google Scholar]].     

Poisson Hopf algebra related to a twisted quantum group

A Poisson algebra ?[G] considered as a Poisson version of the twisted quantized coordinate ring ?_q,p[G], constructed by Hodges et al. [11 Hodges, T. J., Levasseur, T., Toro, M. (1997). Algebraic structure of multi-parameter quantum groups. Adv. Math. 126:52–92.[Crossref], [Web of Science ®] , [Google Scholar]], is obtained and its Poisson structure is investigated. This establishes that all Poisson prime and primitive ideals of ?[G] are characterized. Further it is shown that ?[G] satisfies the Poisson Dixmier-Moeglin equivalence and that Zariski topology on the space of Poisson primitive ideals of ?[G] agrees with the quotient topology induced by the natural surjection from the maximal ideal space of ?[G] onto the Poisson primitive ideal space.     

Necessary optimality conditions of a D.C. set-valued bilevel optimization problem

In this article, we consider a bilevel vector optimization problem where objective and constraints are set valued maps. Our approach consists of using a support function [1–3,14,15,32] together with the convex separation principle for the study of necessary optimality conditions for D.C. bilevel set-valued optimization problems. We give optimality conditions in terms of the strong subdifferential of a cone-convex set-valued mapping introduced by Baier and Jahn 6 Baier, J and Jahn, J. 1999. On subdifferentials of set-valued maps. J. Optim. Theory Appl., 100: 233–240. [Crossref], [Web of Science ®] , [Google Scholar] and the weak subdifferential of a cone-convex set-valued mapping of Sawaragi and Tanino 28 Sawaragi, Y and Tanino, T. 1980. Conjugate maps and duality in multiobjective optimization. J. Optim. Theory Appl., 31: 473–499.  [Google Scholar]. The bilevel set-valued problem is transformed into a one level set-valued optimization problem using a transformation originated by Ye and Zhu 34 Ye, JJ and Zhu, DL. 1995. Optimality conditions for bilevel programming problems. Optimization, 33: 9–27. [Taylor & Francis Online] , [Google Scholar]. An example illustrating the usefulness of our result is also given.     

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.     

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.     

A Generalized Renewal Equation for Perturbed Compound Poisson Processes with Two-Sided Jumps

Abstract

In this article, we study the discounted penalty at ruin in a perturbed compound Poisson model with two-sided jumps. We show that it satisfies a renewal equation under suitable conditions and consider an application of this renewal equation to study some perpetual American options. In particular, our renewal equation gives a generalization of the renewal equation in Gerber and Landry [2 Gerber , H.U. , and Landry , B. 1998 . On the discounted penalty at ruin in a jump-diffusion and the perpetual put option . Insurance: Mathematics and Economics 22 : 263 – 276 .[Crossref], [Web of Science ®] , [Google Scholar]] where only downward jumps are allowed.     

End-regularity of zero-divisor graphs of group rings

A graph Γ is said to be End-regular if its endomorphism monoid End(Γ) is regular. D. Lu and T. Wu [25 Lu, D., Wu, T. (2008). On endomorphism-regularity of zero-divisor graphs. Discrete Math. 308:4811–4815.[Crossref], [Web of Science ®] , [Google Scholar]] posed an open problem: Given a ring R, when does the zero-divisor graph Γ(R) have a regular endomorphism monoid? and they solved the problem for R a commutative ring with at least one nontrivial idempotent. In this paper, we solve this problem for zero-divisor graphs of group rings.     

Koszulity for graded skew PBW extensions

Pre-Koszul and Koszul algebras were defined by Priddy [15 Priddy, S. (1970). Koszul resolutions. Trans. Am. Math. Soc. 152:39–60.[Crossref] , [Google Scholar]]. There exist some relations between these algebras and the skew PBW extensions defined in [8 Gallego, C., Lezama, O. (2011). Gröbner bases for ideals of σ-PBW extensions. Comm. Algebra 39(1):50–75.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. In [24 Suárez, H., Reyes, A. (submitted for publications). Koszulity for skew PBW extensions over fields. [Google Scholar]] we gave conditions to guarantee that skew PBW extensions over fields it turns out homogeneous pre-Koszul or Koszul algebra. In this paper we complement these results defining graded skew PBW extensions and showing that if R is a finite presented Koszul 𝕂-algebra then every graded skew PBW extension of R is Koszul.