REPRESENTATION OF THE SPECTRAL SHIFT FUNCTION AND SPECTRAL ASYMPTOTICS FOR TRAPPING PERTURBATIONS

We obtain in the semi-classical setup of “black-box” long-range perturbations a representation for the derivative of spectral shift function ξ(λ) related to two self-adjoint operators L _j (h), j = 1,2. We show that the derivative ξ′(λ) is estimated by the norms of the cut-off resolvents of the operators L _j (h). Finally, we establish a Weyl type formula for the spectral shift function ξ(λ) generalizing the results of Robert [19] Robert, D. 1994. Relative time-delay for perturbations of elliptic operators and semiclassical asymptotics. J. Funct. Anal., 126: 36–82. [Crossref], [Web of Science ®] , [Google Scholar] and Christiansen [5] Christiansen, T. 1998. Spectral asymptotics for general compactly supported perturbations of the Laplacian on Rⁿ. Comm. P.D.E., 23: 933–947. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar].     

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.     

ON FREE PRODUCTS OF ABSOLUTE GALOIS GROUPS. II

In [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar], the author gave a positive solution to the problem in the survey of Jarden [2] Jarden, M. 1996. “Infinite Galois Theory”. In Handbook of Algebra I Amsterdam: Elsevier Sci.. [Crossref] , [Google Scholar] on the closedness of the class of profinite groups that are isomorphic to absolute Galois groups of fields with respect to finite free products. In [3] Mel'nikov, O. V. 1999. On Free Products of Absolute Galois Groups. Sib. Mat. J., 40(1): 95–99. [Crossref], [Web of Science ®] , [Google Scholar], O. V. Mel'nikov solved this problem for separable profinite groups ([3] Mel'nikov, O. V. 1999. On Free Products of Absolute Galois Groups. Sib. Mat. J., 40(1): 95–99. [Crossref], [Web of Science ®] , [Google Scholar] was done earlier than [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar]). In the same case, a more exact result on the absolute Galois groups of fields of fixed characteristic was obtained there. The proof proposed in 4-5 Koenigsmann, J. in press. Relatively Projective Groups as Absolute Galois Groups. Haran, D., Jarden, M. and Koenigsmann, J. in press. Free Products of Absolute Galois Groups.   is simpler than that in [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar] and, in addition, provides the results of Mel'nikov.

On February, 2000, the author (knowing nothing about 4-5 Koenigsmann, J. in press. Relatively Projective Groups as Absolute Galois Groups. Haran, D., Jarden, M. and Koenigsmann, J. in press. Free Products of Absolute Galois Groups.  ) found one more proof of these results. In the author opinion, this proof is the simplest and the construction used in the proof, as well as its properties (cf. Propositio n 1) can have other applications.     

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.     

Asymptotic results for finite superpositions of Ornstein–Uhlenbeck processes

A model of intermittency based on superposition of Lévy driven Ornstein–Uhlenbeck processes is studied in [6 Grahovac, D., Leonenko, N., Sikorskii, A., and Te?niak, I. 2016. Intermittency of superpositions of Ornstein–Uhlenbeck type processes. J. Stat. Phys. 165:390–408.[Crossref], [Web of Science ®] , [Google Scholar]]. In particular, as shown in Theorem 5.1 in that paper, finite superpositions obey a (sample path) central limit theorem under suitable hypotheses. In this paper we prove large (and moderate) deviation results associated with this central limit theorem.     

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.     

Evaluating a model of forest succession using fuzzy analysis

In this paper we discuss how to select the optimal policy from a set of possible policies for a model of forest succession, which can be characterized by a set of trees and the corresponding average life-span with each possible tree transition. The transition probabilities are estimated by counting the numbers of sapling trees of each species under a canopy tree. [1] Horn, Henry S. 1975. Forest Succession. Sci. Amer., : 90–98.  [Google Scholar]. In our setting the transition matrix is defined by using the linguistic terms and as a consequence, the expected longevity of each tree is fuzzy. We use the Dempster–Shafer theory [8] Shafer, G. 1976. A Mathematical Theory of Evidence Princeton University Press.  [Google Scholar] ('76) together with techniques of Norton [7] Norton, J. 1988. Limit Theorems for Dempster's Rule of Combination. Theory and Decision, 25(3): 287–313. [Crossref], [Web of Science ®] , [Google Scholar] ('88) and Smetz [9] Smetz, P. 1990. Belief Functions versus Probability Functions. Uncertainty in Artificial Intelligence, 5: 1–8.  [Google Scholar] ('76) to approximate the transition probabilities.     

Grouped Functional Time Series Forecasting: An Application to Age-Specific Mortality Rates

Age-specific mortality rates are often disaggregated by different attributes, such as sex, state, and ethnicity. Forecasting age-specific mortality rates at the national and sub-national levels plays an important role in developing social policy. However, independent forecasts at the sub-national levels may not add up to the forecasts at the national level. To address this issue, we consider reconciling forecasts of age-specific mortality rates, extending the methods of Hyndman et al. in 2011 Hyndman, R. J., Ahmed, R. A., Athanasopoulos, G., and Shang, H. L. (2011), “Optimal Combination Forecasts for Hierarchical Time Series,” Computational Statistics and Data Analysis, 55, 2579–2589.[Crossref], [Web of Science ®] , [Google Scholar] to functional time series, where age is considered as a continuum. The grouped functional time series methods are used to produce point forecasts of mortality rates that are aggregated appropriately across different disaggregation factors. For evaluating forecast uncertainty, we propose a bootstrap method for reconciling interval forecasts. Using the regional age-specific mortality rates in Japan, obtained from the Japanese Mortality Database, we investigate the one- to ten-step-ahead point and interval forecast accuracies between the independent and grouped functional time series forecasting methods. The proposed methods are shown to be useful for reconciling forecasts of age-specific mortality rates at the national and sub-national levels. They also enjoy improved forecast accuracy averaged over different disaggregation factors. Supplementary materials for the article are available online.     

Almost Exponential Decay Near Maxwellian

ABSTRACT

By direct interpolation of a family of smooth energy estimates for solutions near Maxwellian equilibrium and in a periodic box to several Boltzmann type equations in Guo (2002 Guo , Y. ( 2002 ). The Landau equation in a periodic box . Comm. Math. Phys. 231 ( 3 ): 391 – 434 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar] 2003a Guo , Y. ( 2003a ). Classical solutions to the Boltzmann equation for molecules with an angular cutoff . Arch. Ration. Mech. Anal. 169 ( 4 ): 305 – 353 . [CSA] [CROSSREF]  [Google Scholar] b Guo , Y. ( 2003b ). The Vlasov-Maxwell-Boltzmann system near maxwellians . Invent. Math. 153 ( 3 ): 593 – 630 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) and Strain and Guo (2004 Strain , R. M. , Guo , Y. ( 2004 ). Stability of the relativistic Maxwellian in a collisional plasma . Comm. Math. Phys. 251 ( 2 ): 263 – 320 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), we show convergence to Maxwellian with any polynomial rate in time. Our results not only resolve the important open problem for both the Vlasov-Maxwell-Boltzmann system and the relativistic Landau-Maxwell system for charged particles, but also lead to a simpler alternative proof of recent decay results (Desvillettes and Villani, 2005 Desvillettes , L. , Villani , C. ( 2005 ). On the trend to global equilibrium for spatially inhomogeneous kinetic systems: the Boltzmann equation . Invent. Math. 159 ( 2 ): 245 – 316 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) for soft potentials as well as the Coulombic interaction, with precise decay rate depending on the initial conditions.     

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.     

Efficient Implementations of the Generalized Lasso Dual Path Algorithm

We consider efficient implementations of the generalized lasso dual path algorithm given by Tibshirani and Taylor in 2011 Tibshirani, R.J., Taylor, J. (2011), The Solution Path of the Generalized Lasso, Annals of Statistics, 39, 1335–1371.[Crossref], [Web of Science ®] , [Google Scholar]. We first describe a generic approach that covers any penalty matrix D and any (full column rank) matrix X of predictor variables. We then describe fast implementations for the special cases of trend filtering problems, fused lasso problems, and sparse fused lasso problems, both with X = I and a general matrix X. These specialized implementations offer a considerable improvement over the generic implementation, both in terms of numerical stability and efficiency of the solution path computation. These algorithms are all available for use in the genlasso R package, which can be found in the CRAN repository.     

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

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

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.     

ON THE NORM OF THE FOURIER-JACOBI PROJECTION

We extend the results of Pollard [7] Pollard, H. 1949. The mean convergence of orthogonal series. III. Duke Math. J., 16: 189–191. [Crossref], [Web of Science ®] , [Google Scholar] and give asymptotic estimates for the norm of the Fourier-Jacobi projection operator in the appropriate weighted L_p space.     

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.     

GORENSTEIN TILED ORDERS

Let Λ = {O, E(Λ)} be a reduced tiled Gorenstein order with Jacobson radical R and J a two-sided ideal of Λ such that Λ ? R ² ? J ? Rⁿ (n ≥ 2). The quotient ring Λ/J is quasi-Frobenius (QF) if and only if there exists p ∈ R ² such that J = pΛ = Λp. We prove that an adjacency matrix of a quiver of a cyclic Gorenstein tiled order is a multiple of a double stochastic matrix. A requirement for a Gorenstein tiled order to be a cyclic order cannot be omitted. It is proved that a Cayley table of a finite group G is an exponent matrix of a reduced Gorenstein tiled order if and only if G = G_k = (2) × ? × (2).

Commutative Gorenstein rings appeared at first in the paper [3] Gorenstein, D. 1952. An Arithmetic Theory of Adjoint Plane Curves. Trans. AMS., 72: 414–436. [Crossref], [Web of Science ®] , [Google Scholar]. Torsion-free modules over commutative Gorenstein domains were investigated in [1] Bass, H. 1963. On the Ubiquity of Gorenstein Rings. Math. Z., 82(1): 8–27. [Crossref] , [Google Scholar]. Noncommutative Gorenstein orders were considered in [2] Drozd, Yu. A., Kirichenko, V. V. and Roiter, A. V. 1967. On Hereditary and Bass Orders. Izv. Akad. Nauk SSSR Ser. Mat., 31: 1415–1436. Math. USSR – Izvestija, 1967, 1, 1357–1375 [Google Scholar] and [10] Roggenkamp, K. W. 1970. Lattices Over Orders II Berlin, Heidelberg, New York: Springer-Verlag. [Crossref] , [Google Scholar]. Relations between Gorenstein orders and quasi-Frobenius rings were studied in [5] Kirichenko, V. V. 1978. On Quasi-Frobenius Rings and Gorenstein Orders. Trudy Math. Steklov Inst., 148: 168–174. (in Russian) [Google Scholar]. Arbitrary tiled orders were considered in [4] Jategaonkar, V. A. 1974. Global Dimension of Tiled Orders Over a Discrete Valuation Ring. Trans. AMS., 196: 313–330. [Crossref], [Web of Science ®] , [Google Scholar], 11-14 Simson, D. 1992. Linear Representations of Partially Ordered Sets and Vector Space Categories, Algebra, Logic and Appl. Vol. 4, Gordon and Breach Science Publishers. Zavadskij, A. G. 1973. The Structure of Orders with Completely Decomposable Representations. Mat. Zametki, 13: 325–335. (in Russian) Zavadskij, A. G. and Kirichenko, V. V. 1976. Torsion-free Modules over Prime Rinqs. Zap. Nauch. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 57: 100–116. J. Soviet. Math. 1979, 11, 598–612 Zavadskij, A. G. and Kirichenko, V. V. 1977. Semimaximal Rings of Finite Type. Mat. Sbornik, 103(No. 3): 323–345. Math. USSR Sbornik, 1977, 32 (3), 273–291 .     

A NONCLASSICAL LAW OF THE ITERATED LOGARITHM FOR I.I.D. SQUARE INTEGRABLE RANDOM VARIABLES. II

Let {X _n , n≥1} be a sequence of i.i.d. random variable with EX ₁=0 and E X ₁ ²=1 and let {b _n , n≥1} be a sequence of positive constants monotonically approaching infinity such that lim inf _n→∞ b _n /log log n=1. It is proved that lim sup _n→∞ ∑ _i=1 ⁿ X _i /√2nb _n =1 almost certainly thereby extending the work of Klesov and Rosalsky[4] Klesov, O. and Rosalsky, A. 2001. A Nonclassical Law of the Iterated Logarithm for I.I.D. Square Integrable Random Variables. Stoch. Anal. Appl., 19: 627–641. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar] to a much larger class of sequences {b _n , n≥1}. The tools employed in the argument are results of Bulinskii[1] Bulinskii, A.V. 1977. On Normalization in the Law of the Iterated Logarithm. Teor. Veroyatnost. i Primen., 22: 407–409. In Russian, English translation in Theory Probab. Appl., 22 (1977), 398–399 [Google Scholar] and Feller[2] Feller, W. 1943. The General Form of the So-Called Law of the Iterated Logarithm. Trans. Am. Math. Soc., 54: 373–402.  [Google Scholar] and the Strassen[5] Strassen, V. 1964. An Invariance Principle for the Law of the Iterated Logarithm. Z. Wahrsch. Verw. Gebiete, 3: 211–226. [Crossref] , [Google Scholar] strong invariance principle.     

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