The Hilbert Series of Measures of Entanglement for 4 Qubits

We determine the Hilbert series of measures of entanglement for 4 qubits. Various techniques of constructive invariant theory are applied to prove the formula.Mathematics Subject Classifications (2000) 81R99, 14L24, 22E46.Nolan R. Wallach: Research partially supported by an NSF and an ARO grant.     

The arithmetical rank of the edge ideals of cactus graphs

We prove that, for the edge ideal of a cactus graph, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes. The bound is sharp, but in many cases, it can be improved. Moreover, we show that the edge ideal of a Cohen–Macaulay graph that contains exactly one cycle or is chordal or has no cycles of length 4 and 5 is a set-theoretic complete intersection.     

Buchsbaum Stanley–Reisner Rings and Cohen–Macaulay Covers

First, we give a new criterion for Buchsbaum Stanley–Reisner rings to have linear resolutions. Next, we prove that every (d ? 1)-dimensional complex Δ of initial degree d is contained in the same dimensional Cohen–Macaulay complex whose (d ? 1)th reduced homology is isomorphic to that of Δ. We call such a simplicial complex a Cohen–Macaulay cover of Δ. And we also show that all the intermediate complexes between Δ and its Cohen–Macaulay cover are Buchsbaum provided that Δ is Buchsbaum. As an application, we determine the h-vectors of the 3-dimensional Buchsbaum Stanley–Reisner rings with initial degree 3.     

Constructible Ideals

Based on the study of simplicial complexes, one may naturally define the constructible monomial ideals. We connect the square-free constructible ideal with the Stanley–Reisner ideal of the Alexander dual associated to a constructible simplicial complex. We give some properties of constructible ideals, and we compute the Betti numbers. We prove that all monomial ideals with linear quotients are constructible ideals. We also show that all constructible ideals have a linear resolution.     

ALMOST COHEN–MACAULAY MODULES

A commutative noetherian ring R is called an almost Cohen–Macaulay ring if depth(P, R) = depth(P R _P , R _P ) for every P ∈ SpecR. [It was called a D-ring by Han (Acta Math. Sinica 1998, 4, 1047–1052).] Several fundamental properties of almost Cohen–Macaulay rings were estabished by Han. In this note, a new characterization is proved: R is an almost Cohen–Macaulay ring if and only if height P ≤ 1 + depth(P, R) for every P ∈ Spec(R). By this characterization, we settle an unsolved problem in Han's paper: R is an almost Cohen–Macaulay ring if and only if so is the power series ring R[[X ₁, …, X _n ]]. The notion of an almost Cohen–Macaulay ring is generalized to that of an almost Cohen–Macaulay module in this note.     

Hilbert Function of Binomial Edge Ideals

In this paper the numerical invariants of the binomial edge ideal of a graph are studied.     

Toric Rings Arising from Cyclic Polytopes

Let d and n be positive integers with n ≥ d + 1 and 𝒫 ? ? ^d an integral cyclic polytope of dimension d with n vertices, and let K[𝒫] = K[?_≥0𝒜_𝒫] denote its associated semigroup K-algebra, where 𝒜_𝒫 = {(1, α) ∈ ? ^d+1: α ∈ 𝒫} ∩ ? ^d+1 and K is a field. In the present paper, we consider the problem when K[𝒫] is Cohen–Macaulay by discussing Serre's condition (R ₁), and we give a complete characterization when K[𝒫] is Gorenstein. Moreover, we study the normality of the other semigroup K-algebra K[Q] arising from an integral cyclic polytope, where Q is a semigroup generated by its vertices only.