Artin-Schelter regular algebras and categories

Motivated by constructions in the representation theory of finite dimensional algebras we generalize the notion of Artin-Schelter regular algebras of dimension n to algebras and categories to include Auslander algebras and a graded analogue for infinite representation type. A generalized Artin-Schelter regular algebra or a category of dimension n is shown to have common properties with the classical Artin-Schelter regular algebras. In particular, when they admit a duality, then they satisfy Serre duality formulas and the -category of nice sets of simple objects of maximal projective dimension n is a finite length Frobenius category.     

The maximum dimension of a subspace of nilpotent matrices of index 2

A matrix M is nilpotent of index 2 if M²=0. Let V be a space of nilpotent n×n matrices of index 2 over a field k where and suppose that r is the maximum rank of any matrix in V. The object of this paper is to give an elementary proof of the fact that . We show that the inequality is sharp and construct all such subspaces of maximum dimension. We use the result to find the maximum dimension of spaces of anti-commuting matrices and zero subalgebras of special Jordan Algebras.     

Invariant algebraic curves for the cubic Liénard system with linear damping

We show that the system , with f,g polynomials of degree 1 and 3 respectively cannot have simultaneously an algebraic invariant curve and a limit cycle.     

On the variety parameterizing completely decomposable polynomials

The purpose of this paper is to relate the variety parameterizing completely decomposable homogeneous polynomials of degree d in n+1 variables on an algebraically closed field, called , with the Grassmannian of (n−1)-dimensional projective subspaces of P^n+d−1. We compute the dimension of some secant varieties to . Moreover by using an invariant embedding of the Veronese variety into the Plücker space, we are able to compute the intersection of G(n−1,n+d−1) with , some of its secant varieties, the tangential variety and the second osculating space to the Veronese variety.     

Preservers of spectral radius, numerical radius, or spectral norm of the sum on nonnegative matrices

Let be the set of entrywise nonnegative n×n matrices. Denote by r(A) the spectral radius (Perron root) of . Characterization is obtained for maps such that r(f(A)+f(B))=r(A+B) for all . In particular, it is shown that such a map has the form

     

The Dirichlet Markov Ensemble

We equip the polytope of n×n Markov matrices with the normalized trace of the Lebesgue measure of Rⁿ². This probability space provides random Markov matrices, with i.i.d. rows following the Dirichlet distribution of mean (1/n,…,1/n). We show that if is such a random matrix, then the empirical distribution built from the singular values of tends as n→∞ to a Wigner quarter-circle distribution. Some computer simulations reveal striking asymptotic spectral properties of such random matrices, still waiting for a rigorous mathematical analysis. In particular, we believe that with probability one, the empirical distribution of the complex spectrum of tends as n→∞ to the uniform distribution on the unit disc of the complex plane, and that moreover, the spectral gap of is of order when n is large.     

Lengths of central linear generalized polynomials in matrix algebras

Let D be a division algebra finite-dimensional over its center C and let A=M_m(D), the m×m matrix ring over D. By the length of a linear generalized polynomial (GP) ?(X), we mean the least positive integer n such that ?(X) can be represented in the form for some . We denote by L(?)=n the length of ?. By a central linear GP for A we mean a nonzero linear GP with central values on A. In this paper we characterize all central linear GPs for A and determine the lengths of all central linear GPs for A.     

Spaces of matrices without non-zero eigenvalues in their field of definition, and a question of Szechtman

Let V be a vector space of dimension n over any field F. Extreme values for the possible dimension of a linear subspace of End_F(V) with a particular property are considered in two specific cases. It is shown that if E₁ is a subspace of End_F(V) and there exists an endomorphism g of V, not in E₁, such that for every hyperplane H of V some element of E₁ agrees with g on H, then E₁ has dimension at least . This answers a question that was posed by Szechtman in 2003. It is also shown that a linear subspace of M_n(F) in which no element possesses a non-zero eigenvalue in F may have dimension at most . The connection between these two properties, which arises from duality considerations, is discussed.     

Quartic, octic residues and Lucas sequences

Let be a prime and a,b∈Z with a²+b²≠p. Suppose p=x²+(a²+b²)y² for some integers x and y. In the paper we develop the calculation technique of quartic Jacobi symbols and use it to determine . As applications we obtain the congruences for modulo p and the criteria for (if ), where {Un} is the Lucas sequence given by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1). We also pose many conjectures concerning , or .     

Cubic residues and binary quadratic forms

Let p>3 be a prime, u,v,d∈Z, gcd(u,v)=1, p?u²−dv² and , where is the Legendre symbol. In the paper we mainly determine the value of by expressing p in terms of appropriate binary quadratic forms. As applications, for we obtain a general criterion for and a criterion for εd to be a cubic residue of p, where εd is the fundamental unit of the quadratic field . We also give a general criterion for , where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=PUn−QUn−1 (n?1). Furthermore, we establish a general result to illustrate the connections between cubic congruences and binary quadratic forms.     

Complete solution to a problem on the maximal energy of unicyclic bipartite graphs

The energy of a simple graph G, denoted by E(G), is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix. Denote by C_n the cycle, and the unicyclic graph obtained by connecting a vertex of C₆ with a leaf of P_n-6. Caporossi et al. conjectured that the unicyclic graph with maximal energy is for n=8,12,14 and n≥16. In Hou et al. (2002) [Y. Hou, I. Gutman, C. Woo, Unicyclic graphs with maximal energy, Linear Algebra Appl. 356 (2002) 27-36], the authors proved that is maximal within the class of the unicyclic bipartite n-vertex graphs differing from C_n. And they also claimed that the energies of C_n and is quasi-order incomparable and left this as an open problem. In this paper, by utilizing the Coulson integral formula and some knowledge of real analysis, especially by employing certain combinatorial techniques, we show that the energy of is greater than that of C_n for n=8,12,14 and n≥16, which completely solves this open problem and partially solves the above conjecture.     

The Laplacian spectral radius of some bipartite graphs

In this paper, we study the largest Laplacian spectral radius of the bipartite graphs with n vertices and k cut edges and the bicyclic bipartite graphs, respectively. Identifying the center of a star K_1,k and one vertex of degree n of K_m,n, we denote by the resulting graph. We show that the graph (1?k?n-4) is the unique graph with the largest Laplacian spectral radius among the bipartite graphs with n vertices and k cut edges, and (n?7) is the unique graph with the largest Laplacian spectral radius among all the bicyclic bipartite graphs.     

Small amplitude limit cycles for the polynomial Liénard system

We estimate for the maximal number of limit cycles bifurcating from a focus for the Liénard equation , where f and g are polynomials of degree m and n respectively. These estimates are quadratic in m and n and improve the existing bounds. In the proof we use methods of complex algebraic geometry to bound the number of double points of a rational affine curve.     

On the max version of the generalized spectral radius theorem

Let Ψ be a bounded set of n×n non-negative matrices. Recently, the max algebra version μ(Ψ) of the generalized spectral radius of Ψ was introduced. We show that

     

Dynamics of kaleidoscopic maps

First, we introduce a certain class of piecewise affine elliptic rotation maps on , called the kaleidoscopic maps, and describe its importance.And then, we concentrate our efforts on a special case, when the rotation angle θ of a kaleidoscopic map is , . For the special case, we answer the conjectures regarding the periodicity and the singularity structure of such (kaleidoscopic) dynamics. In the process, we prove the partial riddling of the regular orbits that gives rise to the classification of periodic sets, and estimate the Hausdorff dimension of the singular set.Finally, we study the dynamics of such kaleidoscopic maps restricted within the singular set, and answer conjectures concerning the chaos, the local chaos, and the ergodicity with respect to the normalized Hausdorff measure of the singular set.     

Locally strongly convex hypersurfaces with constant affine mean curvature

Let be a locally strongly convex hypersurface, given by a strictly convex function xn+1=f(x₁,…,xn) defined in a convex domain Ω⊂An. We consider the Riemannian metric G# on M, defined by . In this paper we prove that if M is a locally strongly convex surface with constant affine mean curvature and if M is complete with respect to the metric G#, then M must be an elliptic paraboloid.     

Mesh geometries of root orbits of integral quadratic forms

Integral quadratic forms q:Zⁿ→Z, with n≥1, and the sets R_q(d)={v∈Zⁿ;q(v)=d}, with d∈Z, of their integral roots are studied by means of mesh translation quivers defined by Z-bilinear morsifications b_A:Zⁿ×Zⁿ→Z of q, with Z-regular matrices A∈M_n(Z). Mesh geometries of roots of positive definite quadratic forms q:Zⁿ→Z are studied in connection with root mesh quivers of forms associated to Dynkin diagrams A_n,D_n,E₆,E₇,E₈ and the Auslander-Reiten quivers of the derived category D^b(R) of path algebras R=KQ of Dynkin quivers Q. We introduce the concepts of a Z-morsification b_A of a quadratic form q, a weighted Φ_A-mesh of vectors in Zⁿ, and a weighted Φ_A-mesh orbit translation quiver Γ(R_q,Φ_A) of vectors in Zⁿ, where R_q?R_q(1) and Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. The existence of mesh geometries on R_q is discussed. It is shown that, under some assumptions on the morsification b_A:Zⁿ×Zⁿ→Z, the set admit a Φ_A-orbit mesh quiver , where Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. Moreover, splits into three infinite connected components , , and , where are isomorphic to a translation quiver Z⋅Δ, with Δ an extended Dynkin quiver, and has the shape of a sand-glass tube.     

On the continuity of the generalized spectral radius in max algebra

Given a bounded set Ψ of n×n non-negative matrices, let ρ(Ψ) and μ(Ψ) denote the generalized spectral radius of Ψ and its max version, respectively. We show that

     

Approximating classes of sequences: The Hermitian case

Given a sequence {A_n} of matrices A_n of increasing dimension d_n with d_k>d_q for k>q, k,q∈N, we recently introduced the concept of approximating class of sequences (a.c.s.) in order to define a basic approximation theory for matrix sequences. We have shown that such a notion is stable under inversion, linear combinations, and product, whenever natural and mild conditions are satisfied. In this note we focus our attention on the Hermitian case and we show that is an a.c.s. for {f(A_n)}, if is an a.c.s. for {A_n}, {A_n} is sparsely unbounded, and f is a suitable continuous function defined on R. We also discuss the potential impact and future developments of such a result.     

Numerical ranges of weighted shift matrices

We show that if A is an n-by-n (n?3) matrix of the form