1,300 research outputs found

    Cohen-Macaulayness of monomial ideals and symbolic powers of Stanley-Reisner ideals

    Get PDF
    We present criteria for the Cohen-Macaulayness of a monomial ideal in terms of its primary decomposition. These criteria allow us to use tools of graph theory and of linear programming to study the Cohen-Macaulayness of monomial ideals which are intersections of prime ideal powers. We can characterize the Cohen-Macaulayness of the second symbolic power or of all symbolic powers of a Stanley-Reisner ideal in terms of the simplicial complex. These characterizations show that the simplicial complex must be very compact if some symbolic power is Cohen-Macaulay. In particular, all symbolic powers are Cohen-Macaulay if and only if the simplicial complex is a matroid complex. We also prove that the Cohen-Macaulayness can pass from a symbolic power to another symbolic powers in different ways.Comment: The published version of this paper contains a gap in the proofs of Theorem 2.5 and Theorem 3.5. This version corrects the proofs with almost the same arguments. Moreover, we have to modify the definition of tight complexes in Theorem 2.5. These changes don't affect other things in the published version. A corrigendum has been sent to the journa

    The linear span of projections in AH algebras and for inclusions of C*-algebras

    Full text link
    A CC^*-algebra is said to have the LP property if the linear span of projections is dense in a given algebra. In the first part of this paper, we show that an AH algebra A=lim(Ai,ϕi)A = \underrightarrow{\lim}(A_i,\phi_i) has the LP property if and only if every real-valued continuous function on the spectrum of AiA_i (as an element of AiA_i via the non-unital embedding) belongs to the closure of the linear span of projections in AA. As a consequence, a diagonal AH-algebra has the LP property if it has small eigenvalue variation. The second contribution of this paper is that for an inclusion of unital CC^*-algebras PAP \subset A with a finite Watatani Index, if a faithful conditional expectation E ⁣:APE\colon A \rightarrow P has the Rokhlin property in the sense of Osaka and Teruya, then PP has the LP property under the condition AA has the LP property. As an application, let AA be a simple unital CC^*-algebra with the LP property, GG a finite group and α\alpha an action of GG onto Aut(A)\mathrm{Aut}(A). If α\alpha has the Rokhlin property in the sense of Izumi, then the fixed point algebra AGA^G and the crossed product algebra AαGA \rtimes_\alpha G have the LP property. We also point out that there is a symmetry on CAR algebra, which is constructed by Elliott, such that its fixed point algebra does not have the LP property.Comment: 24 page

    On three soft rectangle packing problems with guillotine constraints

    Full text link
    We investigate how to partition a rectangular region of length L1L_1 and height L2L_2 into nn rectangles of given areas (a1,,an)(a_1, \dots, a_n) using two-stage guillotine cuts, so as to minimize either (i) the sum of the perimeters, (ii) the largest perimeter, or (iii) the maximum aspect ratio of the rectangles. These problems play an important role in the ongoing Vietnamese land-allocation reform, as well as in the optimization of matrix multiplication algorithms. We show that the first problem can be solved to optimality in O(nlogn)\mathcal{O}(n \log n), while the two others are NP-hard. We propose mixed integer programming (MIP) formulations and a binary search-based approach for solving the NP-hard problems. Experimental analyses are conducted to compare the solution approaches in terms of computational efficiency and solution quality, for different objectives
    corecore