Algorithms for Fitting the Constrained Lasso

We compare alternative computing strategies for solving the constrained lasso problem. As its name suggests, the constrained lasso extends the widely used lasso to handle linear constraints, which allow the user to incorporate prior information into the model. In addition to quadratic programming, we employ the alternating direction method of multipliers (ADMM) and also derive an efficient solution path algorithm. Through both simulations and benchmark data examples, we compare the different algorithms and provide practical recommendations in terms of efficiency and accuracy for various sizes of data. We also show that, for an arbitrary penalty matrix, the generalized lasso can be transformed to a constrained lasso, while the converse is not true. Thus, our methods can also be used for estimating a generalized lasso, which has wide-ranging applications. Code for implementing the algorithms is freely available in both the Matlab toolbox SparseReg and the Julia package ConstrainedLasso. Supplementary materials for this article are available online.     

Bayesian Dimensionality Reduction With PCA Using Penalized Semi-Integrated Likelihood

We discuss the problem of estimating the number of principal components in principal components analysis (PCA). Despite the importance of the problem and the multitude of solutions proposed in literature, it comes as a surprise that there does not exist a coherent asymptotic framework, which would justify different approaches depending on the actual size of the dataset. In this article, we address this issue by presenting an approximate Bayesian approach based on Laplace approximation and introducing a general method of developing criteria for model selection, called PEnalized SEmi-integrated Likelihood (PESEL). Our general framework encompasses a variety of existing approaches based on probabilistic models, like the Bayesian Information Criterion for Probabilistic PCA (PPCA), and enables the construction of new criteria, depending on the size of the dataset at hand and additional prior information. Specifically, we apply PESEL to derive two new criteria for datasets where the number of variables substantially exceeds the number of observations, which is out of the scope of currently existing approaches. We also report results of extensive simulation studies and real data analysis, which illustrate the desirable properties of our proposed criteria as compared to state-of-the-art methods and very recent proposals. Specifically, these simulations show that PESEL-based criteria can be quite robust against deviations from the assumptions of a probabilistic model. Selected PESEL-based criteria for the estimation of the number of principal components are implemented in the R package pesel, which is available on github (https://github.com/psobczyk/pesel). Supplementary material for this article, with additional simulation results, is available online. The code to reproduce all simulations is available at https://github.com/psobczyk/pesel_simulations.     

Tensor-on-Tensor Regression

I propose a framework for the linear prediction of a multiway array (i.e., a tensor) from another multiway array of arbitrary dimension, using the contracted tensor product. This framework generalizes several existing approaches, including methods to predict a scalar outcome from a tensor, a matrix from a matrix, or a tensor from a scalar. I describe an approach that exploits the multiway structure of both the predictors and the outcomes by restricting the coefficients to have reduced PARAFAC/CANDECOMP rank. I propose a general and efficient algorithm for penalized least-squares estimation, which allows for a ridge (L₂) penalty on the coefficients. The objective is shown to give the mode of a Bayesian posterior, which motivates a Gibbs sampling algorithm for inference. I illustrate the approach with an application to facial image data. An R package is available at https://github.com/lockEF/MultiwayRegression.     

Garside Structure for Singular Braid Monoid in Birman,Ko, Lee Generators

We consider a Birman, Ko, and Lee (BKL) presentation (defined by Vershinin, 2003 Vershinin , V. V. ( 2003 ). On the singular braid monoid . http://www.arXiv.org.math. GR/6309339 . [CSA]  [Google Scholar]) for the semigroup of singular braids SB _n . We prove the embedding property for the monoid of positive singular braids and give a solution to the word and conjugacy problems in BKL generators.     

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

Self-Dual Hopf Quivers

ABSTRACT

We study self-dual coradically graded pointed Hopf algebras with a help of the dual Gabriel theorem for pointed Hopf algebras (van Oystaeyen and Zhang, 2004 van Oystaeyen , F. , Zhang , P. ( 2004 ). Quiver Hopf algebras . J. Algebra 280 ( 2 ): 577 – 589 . [CSA] [CROSSREF]  [Google Scholar]). The co-Gabriel Quivers of such Hopf algebras are said to be self-dual. An explicit classification of self-dual Hopf quivers is obtained. We also prove that finite dimensional pointed Hopf algebras with self-dual graded versions are generated by group-like and skew-primitive elements as associative algebras. This partially justifies a conjecture of Andruskiewitsch and Schneider (2000 Andruskiewitsch , N. , Schneider , H.-J . ( 2000 ). Finite quantum groups and Cartan matrices . Adv. Math. 154 : 1 – 45 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) and may help to classify finite dimensional self-dual coradically graded pointed Hopf algebras.     

Validity of the One and One-Half Layer Quasi-Geostrophic Model and Effective Topography

ABSTRACT

We rigorously justify the so-called one and one-half layer quasi-geostrophic model from the two layer model as the ratio of the depth of the bottom layer over that of the top layer approaches infinity. The effective dynamics is given by the classical barotropic quasi-geostrophic dynamics for the bottom layer without topography, and the one layer quasi-geostrophic dynamics with the stream function of the bottom layer serving as an effective (possibly time-dependent) topography for the the top layer. Such a one and one-half layer model is utilized in successful quantitative prediction of the Great Red Spot on Jupiter (see Turkington et al., 2001 Turkington , B. , Majda , A. J. , Haven , K. , DiBattista , M. ( 2001 ). Statistical equilibrium predictions of jets and spots on jupiter. Proc. Natl. Acad. Sci. USA 98 ( 22 ): 12346 – 12350 . [PUBMED] [INFOTRIEVE] [CSA] [CROSSREF] [Crossref] , [Google Scholar]).     

On subgroups of residually nilpotent metabelian groups

ABSTRACT

We study conditions on an ideal A of a self-injective R such that the factor ring R/ A is again self-injective, extending certain of our results for PF rings (Faith, 2006 Faith , C. ( 2006 ). Factor rings of pseudo-Frobenius rings . J. Algebra and Its Applications 6 :(to appear). [CSA] [Web of Science ®] , [Google Scholar]). We also consider the same question for p -injective, and for CS -rings. For the CS -rings we consider conditions under which A splits off as a ring direct factor, equivalently, when A is generated by a central idempotent. Definitive results are obtained for an ideal A which is semiprime as a ring, that is, has no nilpotent ideals except zero, and which is a right annihilator ideal. Then A is said to be an r -semiprime right annulet ideal, and is generated by a central idempotent in the following cases: (1) whenever A is generated by an idempotent as a right (or left) ideal (Theorems 3.4, 3.6); (2) in any Baer ring R (Theorem 3.5); (3) in any right and left CS -ring R (Theorem 4.2), and (4) in any right nonsingular right CS -ring R (Theorem 5.5).

These results also generalize results of the author in Faith (1985 Faith , C. ( 1985 ). The maximal regular ideal of self-injective and continuous rings splits off . Arch. Math. 44 : 511 – 521 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), where it is proven that the maximal regular ideal M( R) splits off in any right and left continuous ring.

The results are applied in Section 6 to extend theorems of Faith (1996 Faith , C. ( 1996 ). New characterizations of von Neumann regular rings and a conjecture of Shamsuddin . Publ. Mat. 40 : 383 – 385 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]) characterizing VNR rings, and, as the title of Faith (1996 Faith , C. ( 1996 ). New characterizations of von Neumann regular rings and a conjecture of Shamsuddin . Publ. Mat. 40 : 383 – 385 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]) suggests, extend the conjecture of Shamsuddin.     

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.     

Irreducible W-Graphs for Type D 4 and D 5

ABSTRACT

The “W-graph” concept was introduced by Kazhdan and Lusztig in their influential article Kazhdan and Lusztig (1979 Kazhdan , D. , Lusztig , G. ( 1979 ). Representations of Coxeter groups and Hecke algebras . Invent. Math. 53 : 165 – 184 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]). If W is a Coxeter group, then a W-graph provides a method for constructing a matrix representation of the Hecke algebra ? associated with W (the degree of the representation being the number of vertices of the W-graph). The aim of this note is to explicitly construct all the irreducible representations of ? when W is of type D ₄ and D ₅.     

Averaging of Backward Stochastic Differential Equations and Homogenization of Partial Differential Equations with Periodic Coefficients

Abstract

We study the limit of the solutions of systems of semi-linear partial differential equations (PDEs) of second order of parabolic type, with rapidly oscillating periodic coefficients, a singular drift, and singular coefficients of the zero and second order terms. Our basic tool is the approach given by Pardoux [14 Pardoux , E. 1999 . Homogenization of linear and semilinear second order parabolic PDEs with periodic coefficients: a probabilistic approach . J. Funct. Anal. 167 : 498 – 520 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]]. In particular, we use the weak convergence of an associated backward stochastic differential equation (BSDE).     

On Serial Noetherian Rings

It is well known that every serial Noetherian ring satisfies the restricted minimum condition. In particular, following Warfield (1975 Warfield , R. B. ( 1975 ). Serial rings and finitely presented modules . J. Algebra 37 : 187 – 222 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), such a ring is a direct sum of an Artinian ring and hereditary prime rings. The aim of this note is to show that every serial ring having the restricted minimum condition is Noetherian.     

Larson–Sweedler Theorem and Some Properties of Discrete Type in (G-Cograded) Multiplier Hopf Algebras

We extend the Larson–Sweedler theorem to group-cograded multiplier Hopf algebras introduced in Abd El-hafez et al. (2004 Abd El-hafez , A. T. , Delvaux , L. , Van Daele , A. ( 2004 ). Group-cograded multiplier Hopf (?-)algebra. Math. QA/0404026 . To appear in Algebras and Representation Theory . [CSA]  [Google Scholar]), by showing that a group-cograded multiplier bialgebra with finite-dimensional unital components is a group-cograded multiplier Hopf algebra if and only if it possesses a nondegenerate left cointegral. We also generalize the theory of multiplier Hopf algebras of discrete type in Van Daele and Zhang (1999 Van Daele , A. , Zhang , Y. ( 1999 ). Multiplier Hopf algebras of discrete type . J. Algebra 214 : 400 – 417 . [CSA] [CROSSREF]  [Google Scholar]) to group-cograded multiplier Hopf algebras. Our results are applicable to Hopf group-coalgebras in the sense of Turaev (2000 Turaev , V. G. ( 2000 ). Homotopy field theory in dimension 3 and crossed group-categories . Preprint GT/0005291. [CSA]  [Google Scholar]). Finally, we study regular multiplier Hopf algebras of η -discrete type.     

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.     

Bayesian Synthetic Likelihood

Having the ability to work with complex models can be highly beneficial. However, complex models often have intractable likelihoods, so methods that involve evaluation of the likelihood function are infeasible. In these situations, the benefits of working with likelihood-free methods become apparent. Likelihood-free methods, such as parametric Bayesian indirect likelihood that uses the likelihood of an alternative parametric auxiliary model, have been explored throughout the literature as a viable alternative when the model of interest is complex. One of these methods is called the synthetic likelihood (SL), which uses a multivariate normal approximation of the distribution of a set of summary statistics. This article explores the accuracy and computational efficiency of the Bayesian version of the synthetic likelihood (BSL) approach in comparison to a competitor known as approximate Bayesian computation (ABC) and its sensitivity to its tuning parameters and assumptions. We relate BSL to pseudo-marginal methods and propose to use an alternative SL that uses an unbiased estimator of the SL, when the summary statistics have a multivariate normal distribution. Several applications of varying complexity are considered to illustrate the findings of this article. Supplemental materials are available online. Computer code for implementing the methods on all examples is available at https://github.com/cdrovandi/Bayesian-Synthetic-Likelihood.     

Propagation of Singularities for Schrödinger Equations on the Euclidean Space with a Scattering Metric

Given a scattering metric on the Euclidean space. We consider the Schrödinger equation corresponding to the metric, and study the propagation of singularities for the solution in terms of the “homogeneous wavefront set”. We also prove that the notion of the homogeneous wavefront set is essentially equivalent to that of the quadratic scattering wavefront set introduced by Wunsch (1999 Wunsch , J. ( 1999 ). Propagation of singularities and growth for Schrödinger operators . Duke Math. J. 98 : 137 – 186 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]). One of the main results in Wunsch (1999 Wunsch , J. ( 1999 ). Propagation of singularities and growth for Schrödinger operators . Duke Math. J. 98 : 137 – 186 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) follows on the Euclidean space with a weaker, almost optimal condition on the potential.     

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.     

Local Well-Posedness of the Anisotropic Lagrangian Averaged Navier–Stokes Equations with Stokes Projector Viscosity

The anisotropic Lagrangian averaged Navier–Stokes (LANS-α) equations are a coupled system of nonlinear partial differential equations designed to capture both the large scale motion of an incompressible fluid and the covariance tensor. There are two choices for the divergence-free projection of the viscosity term. One choice is the classical L ²-orthogonal Leray projector. In this case, Marsden and Shkoller (2003 Marsden , J. , Shkoller , S. ( 2003 ). The anisotropic Lagrangian averaged Euler and Navier–Stokes equations . Arch. Ration. Mech. Anal. 166 : 27 – 46 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) show that strong solutions exist and are unique in the three-dimensional periodic box for a finite time interval. We extend this result by considering the second choice of projector, the generalized Stokes projector.     

Note on Conic Bundles over Henselian Discrete Valued Fields with Real Closed Residue Field

ABSTRACT

Let ? be a complete set of Sylow subgroups of a finite group G, that is, ? contains exactly one and only one Sylow p-subgroup of G for each prime p. A subgroup H of a finite group G is said to be ?-permutable if H permutes with every member of ?. The purpose of this article is to study the influence of ?-permutability of all maximal subgroups of the Sylow subgroups of the generalized Fitting subgroup of some normal subgroup of a finite group G on the structure of G. Our results improve and extend the main results of Asaad (1998 Asaad , M. ( 1998 ). On maximal subgroups of Sylow subgroups of finite groups . Comm. Algebra 26 ( 11 ): 3647 – 3652 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]), Asaad and Heliel (2003 Asaad , M. , Heliel , A. A. ( 2003 ). On permutable subgroups of finite groups . Arch. Math. 80 : 113 – 118 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Asaad et al. (1991 Asaad , M. , Ramadan , M. , Shaalan , A. ( 1991 ). Influence of π-quasinormality on maximal subgroups of Sylow subgroups of Fitting subgroup of a finite group . Arch. Math. 56 : 521 – 527 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Li et al. (2003 Li , Y. , Wang , Y. , Wei , H. ( 2003 ). The influence of π-quasinormality of maximal subgroups of Sylow subgroups of a finite group . Arch. Math. 81 ( 3 ): 245 – 252 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Ramadan (1992 Ramadan , M. ( 1992 ). Influence of normality on maximal subgroups of Sylow subgroups of a finite group . Acta Math. Hungar. 59 ( 1–2 ): 107 – 110 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), and Srinivasan (1980 Srinivasan , S. ( 1980 ). Two sufficient conditions for supersolvability of finite groups . Israel J. Math. 35 : 210 – 214 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]).     

Canonical Basis for Type A 4 (II)-Polynomial Elements in One Variable

ABSTRACT

All the 62 monomial elements in the canonical basis B of the quantized enveloping algebra for type A ₄ have been determined in Hu et al. (2003 Hu , Y. , Ye , J. , Yue , X. ( 2003 ). Canonical basis for type A ₄ (I)–Monomial elements . J. Algebra 263 : 228 – 245 . [CSA] [CROSSREF]  [Google Scholar]). According to Lusztig's idea (Lusztig, 1992 Lusztig , G. ( 1992 ). Introduction to quantized enveloping algebras . In: Tirao , J. , Wallach , N. , eds. New Developments in Lie Theory and Their Applications . Progress in Mathematics . Vol. 105 . Boston/Basel/Berlin : Birkhauser , pp. 49 – 65 . [Google Scholar]), the elements in the canonical basis B consist of monomials and linear combinations of monomials (for convenience, we call them polynomials). In this note, we compute all the 144 polynomial elements in one variable in the canonical basis B of the quantized enveloping algebra for type A ₄ based on our joint note Hu et al. (2003 Hu , Y. , Ye , J. , Yue , X. ( 2003 ). Canonical basis for type A ₄ (I)–Monomial elements . J. Algebra 263 : 228 – 245 . [CSA] [CROSSREF]  [Google Scholar]). We conjecture that there are other polynomial elements in two or three variables in the canonical basis B, which include independent variables and dependent variables. Moreover, it is conjectured that there are no polynomial elements in the canonical basis B with four or more variables.