The Coloring Ideal and Coloring Complex of a Graph

Let G be a simple graph on d vertices. We define a monomial ideal K in the Stanley-Reisner ring A of the order complex of the Boolean algebra on d atoms. The monomials in K are in one-to-one correspondence with the proper colorings of G. In particular, the Hilbert polynomial of K equals the chromatic polynomial of G.The ideal K is generated by square-free monomials, so A/K is the Stanley-Reisner ring of a simplicial complex C. The h-vector of C is a certain transformation of the tail T(n) = n ^d – (n) of the chromatic polynomial of G. The combinatorial structure of the complex C is described explicitly and it is shown that the Euler characteristic of C equals the number of acyclic orientations of G.     

Hilbert Functions, Residual Intersections, and Residually S2 Ideals

Let R be a homogeneous ring over an infinite field, IR a homogeneous ideal, and I an ideal generated by s forms of degrees d ₁,...,d _s so that codim( :I)s. We give broad conditions for when the Hilbert function of R/ or of R/( :I) is determined by I and the degrees d ₁,...,d _s . These conditions are expressed in terms of residual intersections of I, culminating in the notion of residually S ₂ ideals. We prove that the residually S ₂ property is implied by the vanishing of certain Ext modules and deduce that generic projections tend to produce ideals with this property.     

Bijectivity of -endomorphisms of ℬ(H) and the unilateral shift

LetH be a separable infinite-dimensional complex Hilbert space. We prove that if : (H)(H) is a^*-preserving ring homomorphism whose range contains a rank-one operator and an operator with dense range, then is an isometric linear or conjugate-linear algebra automorphism of (H). In particular, if the unilateral shift is contained in the range of a^*-endomorphism of (H), then is bijective.Research partially supported by the Hungarian National Research Science Foundation, Operating Grant Number OTKA 1652 and K&H Bank Ltd., Universitas Foundation.     

The four-dimensional Sklyanin algebras

The four-dimensional Sklyanin algebras are certain noncommutative graded algebras having the same Hilbert series as the polynomial ring on four indeterminates. Their structure and representation theory is intimately connected with the geometry of an elliptic curve (and a fixed translation) embedded in ³. This is an account of the work done on these algebras over the past four years.Supported by NSF grant DMS-9100316.     

Combinatorics of Maximal Minors

We continue the study of the Newton polytope _m,n of the product of all maximal minors of an m × n-matrix of indeterminates. The vertices of _m,n are encoded by coherent matching fields = (), where runs over all m-element subsets of columns, and each is a bijection [m]. We show that coherent matching fields satisfy some axioms analogous to the basis exchange axiom in the matroid theory. Their analysis implies that maximal minors form a universal Gröbner basis for the ideal generated by them in the polynomial ring. We study also another way of encoding vertices of _m,n for m n by means of generalized permutations, which are bijections between (n – m + 1)–element subsets of columns and (n – m + 1)–element submultisets of rows.     

A class of formally normal operators

A densely closed operator N given in Hilbert space is called formally normal if D(N) D(N*)and Nf = N*f for allf D(N). In the present work the necessary and sufficient conditions for a formally normal operator, possessing a bounded inverse, to have a normal extension in the original Hilbert space are given. The result obtained is analogous to a result of M. I. Vishik [1], relating to the case of a symmetric operator [7 References].Translated from Matematicheskie Zametki, Vol. 2, No. 6, pp. 605–614, December, 1967.     

The Minimality Properties of Chebyshev Polynomials and Their Lacunary Series

By considering four kinds of Chebyshev polynomials, an extended set of (real) results are given for Chebyshev polynomial minimality in suitably weighted Hölder norms on [–1,1], as well as (L ) minimax properties, and best L ₁ sufficiency requirements based on Chebyshev interpolation. Finally we establish best L _p , L and L ₁ approximation by partial sums of lacunary Chebyshev series of the form _i=0 a ⁱ _b ⁱ(x) where _n (x) is a Chebyshev polynomial and b is an odd integer 3. A complete set of proofs is provided.     

Numerical studies of the Möbius power series

We define the Möbius power series throughf(z)= _n-1 z ⁿ ,g(z)= _n=1 (n)z ⁿ /n where (n) is the usual Möbius function. This paper presents some heuristic estimates describing the behavior off(z) andg(z) when |z| is close to 1 together with representations in terms of elementary functions for real values ofz. Function tables are also given together with zeros and a few other special values.     

Conjectures on the Quotient Ring by Diagonal Invariants

We formulate a series of conjectures (and a few theorems) on the quotient of the polynomial ring in two sets of variables by the ideal generated by all S _n invariant polynomials without constant term. The theory of the corresponding ring in a single set of variables X = {x ₁, ..., x _n} is classical. Introducing the second set of variables leads to a ring about which little is yet understood, but for which there is strong evidence of deep connections with many fundamental results of enumerative combinatorics, as well as with algebraic geometry and Lie theory.     

Triangles in arrangements of lines

Givenn lines in the real projective plane, Grünbaum conjectures that, for n16, the numberp ₃ of triangular regions determined by the lines is at most 1/3n(n–1). We show that ifn7 thenp ₃ 8/21n(n–1)+2/7, we also point out that if no vertex is a point of intersection of exactly three of the lines, thenp ₃1/3n(n–1).Professor Gu died while on a visit to Poland in April 1997     

Computation of generalized real radicals of polynomial ideals

For an ordered field (K,T) and an idealI of the polynomial ring , the construction of the generalized real radical ofI is investigated. When (K,T) satisfies some computational requirements, a method of computing is presented. Project supported by the National Natural Science Foundation of China (Grant No. 19661002) and the Climbing Project.     

On the Hilbert series of ideals generated by generic forms

There is a longstanding conjecture by Fröberg about the Hilbert series of the ring R∕I, where R is a polynomial ring, and I an ideal generated by generic forms. We prove this conjecture true in the case when I is generated by a large number of forms, all of the same degree. We also conjecture that an ideal generated by m’th powers of generic forms of degree d≥2 gives the same Hilbert series as an ideal generated by generic forms of degree md. We verify this in several cases. This also gives a proof of the first conjecture in some new cases.     

On a Conjecture of R.P. Stanley; Part II—Quotients Modulo Monomial Ideals

In 1982 Richard P. Stanley conjectured that any finitely generated ⁿ -graded module M over a finitely generated ⁿ -graded K-algebra R can be decomposed as a direct sum M = _{i = 1} ^t _i S _i of finitely many free modules _i S _i which have to satisfy some additional conditions. Besides homogeneity conditions the most important restriction is that the S _i have to be subalgebras of R of dimension at least depth M.We will study this conjecture for modules M = R/I, where R is a polynomial ring and I a monomial ideal. In particular, we will prove that Stanley's Conjecture holds for the quotient modulo any generic monomial ideal, the quotient modulo any monomial ideal in at most three variables, and for any cogeneric Cohen-Macaulay ring. Finally, we will give an outlook to Stanley decompositions of arbitrary graded polynomial modules. In particular, we obtain a more general result in the 3-variate case.     

Simplices by point-sliding and the Yamnitsky-Levin algorithm

Yamnitsky and Levin proposed a variant of Khachiyan's ellopsoid method for testing feasibility of systems of linear inequalities that also runs in polynomial time but uses simplices instead of ellipsoids. Starting with then-simplexS and the half-space {x¦a ^Tx }, the algorithm finds a simplexS _YL of small volume that enclosesS {x¦a ^Tx }. We interpretS _YL as a simplex obtainable by point-sliding and show that the smallest such simplex can be determined by minimizing a simple strictly convex function. We furthermore discuss some numerical results. The results suggest that the number of iterations used by our method may be considerably less than that of the standard ellipsoid method.     

On the radicals of structural matrix rings

The relationship between the radical of a ringR and a structural matrix ring overR has been determined for some radicals. We continue these investigations, amongst others, determining exactly which radicals have the property (M(,R))=M( _s ,(R))+M( _a ,⁺(R))for any structural matrix ringM(,R) and finding (M(,R)) for any hereditary subidempotent radical .     

The L 2spectral gap of certain positive recurrent Markov chains and jump processes

Summary Let D denote the generator of a continuous time positive recurrent Markov process with state space N (or R ⁺). Sufficient conditions are given to imply the existence of >0 such that if 0 is a point of the spectrum of D considered as an operator on the L ² space of the equilibrium distribution, then Re()–. A related result is given for discrete time Markov chains.     

Construction of librational invariant tori in the spin-orbit problem

We investigate the stability of the synchronous spin-orbit resonance. In particular we construct invariant librational tori trapping periodic orbits in finite regions of phase space. We first introduce a mathematical model describing a simplification of the physical situation. The corresponding Hamiltonian function has the formH(,x,t)=(²/2) + V(x,t), whereV is a trigonometric polynomial inx, t and is the perturbing parameter representing the equatorial oblateness of the satellite.We perform some symplectic changes of variables in order to reduce the initial Hamiltonian to a form which suitably describes librational tori. We then apply Birkhoff normalization procedure in order to reduce the size of the perturbation. Finally the application of KAM theory allows to prove the existence of librational tori around the synchronous periodic orbit. Two concrete applications are considered: the Moon-Earth and the Rhea-Saturn systems. In the first case one gets the existence of trapping orbits for values of the perturbing oblateness parameter far from the real physical value by a factor 5. In the Rhea-Saturn case we construct the trapping tori for values of the parameters consistent with the astronomical measurements.     

Conservative weightings and ear-decompositions of graphs

A subsetJ of edges of a connected undirected graphG=(V, E) is called ajoin if |CJ||C|/2 for every circuitC ofG. Answering a question of P. Solé and Th. Zaslavsky, we derive a min-max formula for the maximum cardinality of a joint ofG. Namely, =(+|V|–1)/2 where denotes the minimum number of edges whose contraction leaves a factor-critical graph.To study these parameters we introduce a new decomposition ofG, interesting for its own sake, whose building blocks are factor-critical graphs and matching-covered bipartite graphs. We prove that the length of such a decomposition is always and show how an optimal join can be constructed as the union of perfect matchings in the building blocks. The proof relies on the Gallai-Edmonds structure theorem and gives rise to a polynomial time algorithm to construct the optima in question.     

On the Behrens radical of matrix rings and polynomial rings

It is shown that the Behrens radical of a polynomial ring, in either commuting or non-commuting indeterminates, has the form of “polynomials over an ideal”. Moreover, in the case of non-commuting indeterminates, for a given coefficient ring, the ideal does not depend on the cardinality of the set of indeterminates. However, in contrast to the Brown-McCoy radical, it can happen that the polynomial ring R[X] in an infinite set X of commuting indeterminates over a ring R is Behrens radical while the polynomial ring R〈X〉 in an infinite set Y of non-commuting indeterminates over R is not Behrens radical. This is connected with the fact that the matrix rings over Behrens radical rings need not be Behrens radical. The class of Behrens radical rings, which is closed under taking matrix rings, is described.