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.     

Table algebras with exactly one irreducible character whose degree and multiplicity are not equal

Commutative standard table algebras with exactly one multiplicity not equal to 1 are characterized by the wreath product of some special table algebras in [1 Antonou, A. (2015). Commutative standard table algebras with at most one nontrivial multiplicity. Commun. Algebra 43:2516–2523.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. A natural and much more general question is the characterization of standard table algebras (not necessarily commutative) with exactly one irreducible character whose degree and multiplicity are not equal and the degree is 1. We will give a characterization of such table algebras, including the main result of [1 Antonou, A. (2015). Commutative standard table algebras with at most one nontrivial multiplicity. Commun. Algebra 43:2516–2523.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] as a special case. Applications to association schemes are also discussed.     

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

Supporting Algebraic Reasoning through Personalized Story Scenarios: How Situational Understanding Mediates Performance

Context personalization refers to matching instruction to students' out-of-school interests and experiences. Belief in the benefits of matching instruction to interests is widely held in the culture of schooling; however, little research has empirically examined how interest impacts performance and learning in secondary mathematics. Here we investigate these issues with a series of problem-solving sessions where 24 Algebra I students were presented with story problems on linear functions, some of which were personalized to their interests. Our analyses focus on performance, strategy use, and mistake patterns. Results suggest that personalization supported situational reasoning (Nathan, Kintsch, & Young, 1992 Nathan, M., Kintsch, W. and Young, E. 1992. A theory of algebra-word-problem comprehension and its implications for the design of learning environments. Cognition and Instruction, 9(4): 329–389. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]) about the actions and relationships in the scenario, improving performance for weaker students and on harder problems. However, personalized scenarios seemed to act as a distraction when stronger students in the sample worked on easier problems. Thus context personalization may have the potential to provide assistance and support performance as students learn new concepts.     

Sequences Determining Mixed Multiplicities and Reductions of Ideals

Abstract

Using the notion of (FC)-sequences in Viêt (2000 Viêt, D. Q. 2000. Mixed multiplicities of arbitrary ideals in local rings. Comm. Algebra, 28(8): 3803–3821. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]), this paper presents some results concerning reductions and the vanishing and non-vanishing of mixed multiplicities of finite collection of arbitrary ideals in local rings.     

CONVERGENCE OF THE SCHRÖDINGER–POISSON SYSTEM TO THE INCOMPRESSIBLE EULER EQUATIONS

ABSTRACT

We study here an asymptotic limit of the Schrödinger–Poisson system. We prove that the current converges toward a dissipative solution of the Euler equations when we consider a semi-classical quasi-neutral limit. The proof involves the modulated energy introduced by Brenier in Ref. [2] Brenier, Y. 2000. Convergence of the Vlasov-Poisson System to the Incompressible Euler Equations. Comm. Partial Differential Equations, 25(3–4): 737–754. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar].     

NIVEAU HERMITIEN D'UNE ALGÈBRE DE QUATERNIONS À DIVISION MUNIE D'UNE INVOLUTION DE DEUXIÈME ESPÈCE

ABSTRACT

In this note we show that the hermitian level of a quaternion division algebra with involution of second kind, is always a power of 2, when it is finite. This result holds for a field with trivial or non-trivial involution, and quaternion division algebras with involution of first kind [6] Pfister, A. 1965. Darstellung von -1 als Summe Von Quadraten in Einem Körper. J. London Math. Soc., 40: 159–165. [Crossref], [Web of Science ®] , [Google Scholar], [5] Lewis, D.W. 1988. Sums of Hermitian Squares. Journal of Algebra, 115(2): 446–480.  [Google Scholar], [9] Serhir, A. 1997. Niveau Hermitien de Certaines Algèbres de Quaternions. Communications in Algebra, 25(8): 2531–2538. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar].     

Characterizations of power indices based on null player free winning coalitions

Abstract

In this paper, we characterize two power indices introduced in [1 Alonso-Meijide JM, Ferreira F, Álvarez-Mozos M, Pinto AA. Two new power indices based on winning coalitions. J. Differ. Equ. Appl. 2011;17:1095–1100.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] using two different modifications of the monotonicity property first stated by [2 Young HP. Monotonic solutions of cooperative games. Internat. J. Game Theory. 1985;14:62–72.[Crossref] , [Google Scholar]]. The sets of properties are easily comparable among them and with previous characterizations of other power indices.     

DECOMPOSITION OF A HIGHER DEGREE FORM

ABSTRACT

We give another proof of Harrison's decomposition result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 2.3 for higher degree forms over a noetherian ring, exploiting an earlier introduction of the centre. We generalise to higher degree forms over a noetherian scheme: we extend the notion of centre; we prove a decomposition result; we extend Harrison's result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 4.3 on the behaviour of the centre under a flat base extension; and we improve his result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 4.2, giving conditions on the base scheme under which the centre of the tensor product of two higher degree forms is isomorphic to the tensor product of their centres.     

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.     

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.     

Polynomial extensions of SCN rings need not be SCN

In this article, we show that there exists an SCN ring R such that the polynomial ring R[x] is not SCN. This answers a question posed by T. K. Kwak et al. in [2 Kwak, T. K., Lee, M. J., Lee, Y. (2014). On sums of coe?cients of products of polynomials. Comm. Algebra 42(9):4033–4046.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]].     

On weakly clean rings

A ring is called clean if every element is a sum of a unit and an idempotent, while a ring is said to be weakly clean if every element is either a sum or a difference of a unit and an idempotent. Commutative weakly clean rings were first discussed by Anderson and Camillo [2 Anderson, D. D., Camillo, V. P. (2002). Commutative rings whose elements are a sum of a unit and idempotent. Commun. Algebra 30(7):3327–3336.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] and were extensively investigated by Ahn and Anderson [1 Ahn, M.-S., Anderson, D. D. (2006). Weakly clean rings and almost clean rings. Rocky Mountain J. Math. 36:783–798.[Crossref], [Web of Science ®] , [Google Scholar]], motivated by the work on clean rings. In this paper, weakly clean rings are further discussed with an emphasis on their relations with clean rings. This work shows new interesting connections between weakly clean rings and clean rings.     

Asymptotic Solutions of Viscous Hamilton–Jacobi Equations with Ornstein–Uhlenbeck Operator

We study the long time behavior of solutions of the Cauchy problem for semilinear parabolic equations with the Ornstein–Uhlenbeck operator in ? ^N . The long time behavior in the main results is stated with help of the corresponding to ergodic problem, which complements, in the case of unbounded domains, the recent developments on long time behaviors of solutions of (viscous) Hamilton–Jacobi equations due to Namah (1996 Namah , G. ( 1996 ). Asymptotic solution of a Hamilton–Jacobi equation . Asymptotic Anal. 12 ( 4 ): 355 – 370 . [CSA] [Web of Science ®] , [Google Scholar]), Namah and Roquejoffre (1999 Namah , G. , Roquejoffre , J.-M . ( 1999 ). Remarks on the long-time behavior of the solutions of Hamilton–Jacobi equations . Comm. PDE 24 ( 5–6 ): 883 – 893 . [CSA] [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]), Roquejoffre (1998 Roquejoffre , J.-M . ( 1998 ). Comportement asymptotique des solutions d’équations de Hamilton–Jacobi monodimensionnelles . C. R. Acad. Sci. Paris Sér. I Math. 326 ( 2 ): 185 – 189 . [CSA] [Crossref] , [Google Scholar]), Fathi (1998 Fathi , A. ( 1998 ). Sur la convergence du semi-groupe de Lax–Oleinik semigroup . C. R. Acad. Sci. Paris Sér. I Math. 327 ( 3 ): 267 – 270 . [CSA] [Crossref] , [Google Scholar]), Barles and Souganidis (2000 Barles , G. , Souganidis , P. E. ( 2000 ). On the large time behavior of solutions of Hamilton–Jacobi equaitons . SIAM J. Math. Anal. 31 ( 4 ): 925 – 939 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar] 2001 Barles , G. , Souganidis , P. E. ( 2001 ). Space-time periodic solutions and long-time behavior of solutions to quasi-periodic parabolic equations . SIAM J. Math. Anal. 32 ( 6 ): 1311 – 1323 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]). We also establish existence and uniqueness results for solutions of the Cauchy problem and ergodic problem for semilinear parabolic equations with the Ornstein–Uhlenbeck operator.     

DIRECT SUM DECOMPOSITION OF THE PRODUCT OF PREINJECTIVE MODULES OVER RIGHT PURE SEMISIMPLE HEREDITARY RINGS

ABSTRACT

In his recent work, [1] Simson, D. 2000. An Artin Problem for Division Ring Extensions and the Pure Semisimplicity Conjecture, II. J. Algebra, 227: 670–705. [Crossref], [Web of Science ®] , [Google Scholar] and [2] Simson, D. 2001. On Small Right Pure Semisimple Rings and the Structure of their Auslander-Reiten Quiver. Communic. in Algebra, 29 in press[Web of Science ®] , [Google Scholar], on the pure semisimplicity conjecture Simson raised two problems about the structure of the direct sum decomposition of the direct product modulo the direct sum of indecomposable preinjective modules over right pure semisimple hereditary rings. The main goal of this paper is the proof of a theorem that resolves one of these problems and provides a partial answer to the other.     

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.     

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

Gorenstein coresolving categories

Let 𝒜 be an abelian category. A subcategory 𝒳 of 𝒜 is called coresolving if 𝒳 is closed under extensions and cokernels of monomorphisms and contains all injective objects of 𝒜. In this paper, we introduce and study Gorenstein coresolving categories, which unify the following notions: Gorenstein injective modules [8 Enochs, E. E., Jenda, O. M. G. (1995). Gorenstein injective and projective modules. Math. Z. 220:611–633.[Crossref], [Web of Science ®] , [Google Scholar]], Gorenstein FP-injective modules [20 Mao, L. X., Ding, N. Q. (2008). Gorenstein FP-injective and Gorenstein flat modules. J. Algebra Appl. 7:491–506.[Crossref], [Web of Science ®] , [Google Scholar]], Gorenstein AC-injective modules [3 Bravo, D., Gillespie, J. (2016). Absolutely clean, level, and Gorenstein AC-injective complexes. Commun. Algebra 44:2213–2233.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], and so on. Then we define a resolution dimension relative to the Gorenstein coresolving category 𝒢?_𝒳(𝒜). We investigate the properties of the homological dimension and unify some important properties possessed by some known homological dimensions. In addition, we study stability of the Gorenstein coresolving category 𝒢?_𝒳(𝒜) and apply the obtained properties to special subcategories and in particular to module categories.     

Weak Solution to Pressureless Type System

ABSTRACT

In this paper, we study the Cauchy problem for a pressureless type system. The Riemann solutions only include two elementary waves, delta waves and contact discontinuity. The existence of an entropy solution is established by studying the interaction of the elementary waves and the generalized characteristics introduced in Dafermos (1977 Dafermos , C. M. (1977). Generalized characteristics and the structure of solutions of hyperbolic conservation laws. Indiana Univ. Math. J. 26(6):1097–1119. [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]).     

Sharp Bounds on the Number of Resonances for Conformally Compact Manifolds with Constant Negative Curvature Near Infinity

Abstract

The purpose of this article is to prove a sharp bound on the number of resonances for the Laplacian on conformally compact manifolds with constant negative curvature near infinity, thus improving the polynomial bound of Guillopé and Zworki (Guillopé, L., Zworski, M. ([1995b] Guillopé, L. and Zworski, M. 1995b. Upper bounds on the number of resonances for noncompact Riemann surfaces. J. Funct. Anal., 129: 364–389. [Crossref], [Web of Science ®] , [Google Scholar]). Polynomial bound on the number of resonances for some complete spaces of constant negative curvature near infinity. Asympt. Anal. 11:1–22).