Source author record

Giancarlo Rinaldo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
4topics
4close collaborators

Published work

13 publications

preprint2020arXiv

Primality of polyomino ideals by quadratic Gröbner basis

In this work, we provide a necessary and sufficient condition on a polyomino ideal for having the set of inner 2-minors as degree reverse lexicographic Gröbner basis, due to combinatorial properties of the polyomino itself. Moreover, we prove that when the latter holds the ideal coincides with the lattice ideal associated to the polyomino, that is the ideal is prime. As an application, we describe two new infinite families of prime polyominoes.

preprint2016arXiv

On the security of the Blockchain Bix Protocol and Certificates

The BIX protocol is a blockchain-based protocol that allows distribution of certificates linking a subject with his public key, hence providing a service similar to that of a PKI but without the need of a CA. In this paper we analyze the security of the BIX protocol in a formal way, in four steps. First, we identify formal security assumptions which are well-suited to this protocol. Second, we present some attack scenarios against the BIX protocol. Third, we provide a formal security proof that some of these attacks are not feasible under our previously established assumptions. Finally, we show how another attack may be carried on.

preprint2012arXiv

Cohen--Macaulaynees for symbolic power ideals of edge ideals

Let S=K[x1,...,xn]S = K[x_1,..., x_n] be a polynomial ring over a field KK. Let I(G)⊆SI(G) \subseteq S denote the edge ideal of a graph GG. We show that the ℓ\ellth symbolic power I(G)(ℓ)I(G)^{(\ell)} is a Cohen-Macaulay ideal (i.e., S/I(G)(ℓ)S/I(G)^{(\ell)} is Cohen-Macaulay) for some integer ℓ≥3\ell \ge 3 if and only if GG is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers I(G)(ℓ)I(G)^{(\ell)} are Cohen-Macaulay ideals. Similarly, we characterize graphs GG for which S/I(G)(ℓ)S/I(G)^{(\ell)} has (FLC). As an application, we show that an edge ideal I(G)I(G) is complete intersection provided that S/I(G)ℓS/I(G)^{\ell} is Cohen-Macaulay for some integer ℓ≥3\ell \ge 3. This strengthens the main theorem in [Effective Cowsik-Nori theorem for edge ideals by M.Crupi, G.Rinaldo, N.Terai, and K.Yoshida, Comm. Alg. 38 (2010), 3347-3357].

preprint2012arXiv

On the second powers of Stanley-Reisner ideals

In this paper, we study several properties of the second power IΔ2I_Δ^2 of a Stanley-Reisner ideal IΔI_Δ of any dimension. As the main result, we prove that S/IΔS/I_Δ is Gorenstein whenever S/IΔ2S/I_Δ^2 is Cohen-Macaulay over any field KK. Moreover, we give a criterion for the second symbolic power of IΔI_Δ to satisfy (S2)(S_2) and to coincide with the ordinary power, respectively. Finally, we provide new examples of Stanley-Reisner ideals whose second powers are Cohen-Macaulay.

preprint2011arXiv

Koszulness of binomial edge ideals

Let GG be a simple graph on the vertex set V(G)=[n]={1,...,n}V(G) = [n] = \{1,...,n\} and edge ideal E(G)E(G). We consider the class of closed graphs. A closed graph is a simple graph satisfying the following property: for all edges {i,j}\{i, j\} and {k,ℓ}\{k, \ell\} with i<ji < j and k<ℓk < \ell one has {j,ℓ}∈E(G)\{j, \ell\}\in E(G) if i=ki = k, and {i,k}∈E(G)\{i, k\}\in E(G) if j=ℓj = \ell. We state some criteria for the closedness of a graph GG that do not depend necessarily from the labelling of its vertex set. Consequently, if S=K[x1,...,xn,y1,...,yn]S = K[x_1,..., x_n, y_1,..., y_n] is a polynomial ring in 2n2n variables with coefficients in a field KK, we obtain some criteria for the Koszulness of the quotient algebra S/JGS /J_G, where JGJ_G is the binomial edge ideal of SS i.e. the ideal generated by the binomials fij=xiyj−xjyif_{ij} = x_iy_j - x_jy_i such that i<ji<j and {i,j}\{i,j\} is an edge of GG (\cite{HH}).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.