arXiv Science⌕ Search

arXiv subjects

Paola Bonacini

Publications and source records attributed to Paola Bonacini.

11 recordsLinked to original sources
arXiv2026

A merging procedure for labelings of bipartite graphs

Let $G$ a bipartite graph with vertex bipartition $\{A,B\}$ and let $m=|E(G)|$. An $(A,B)$-uniformly ordered labeling of $G$ is a labeling $f\colon V\rightarrow [0,2m]$ which, among other conditions, requires that there exists $λ\in \mathbb N$ such that $f(a)\le λ$ and $f(b)>λ$ for all $a\in A$ and $b\in B$. The existence of such a labeling for $G$ implies the existence of a cyclic $G$-decomposition of $K_{2mx+1}$ for all positive integers $x$. In this paper, as a starting point, through this type of labeling we prove the existence of a cyclic $G$-decomposition in the case that $G$ is a cycle of even length with either one or two pendant paths of any length. Then, through a merging procedure, we are able to get this type of labeling for a specific class of bipartite graphs, which are obtained by iteratively adding an even cycle and a pendant path.

math.CO↗
arXiv2025

A construction of Steiner Triple Systems of type $v\longrightarrow 2v+7$

A Steiner Triple System ($STS$) of order $v$ is a hypergraph uniform of rank 3, with $v$ vertices and such that every 2-subset of vertices has degree 1. In this paper we give a construction, by difference method, of type $v\longrightarrow 2v+7$ with $v=2^n-7$, which means that, given an $STS$ of order $v=2^n -7$, it is always possible to construct an $STS$ of order $2^{n+1}-7$. Through this construction it is possible to get for any $n\ge 5$ an $STS(2^n-7)$ with a maximal independent set of maximal cardinality and which is $(n-1)$-bicolorable.

math.CO↗
arXiv2014

Equitable block colourings

Let $Σ=(X,\mathcal B)$ a $4$-cycle system of order $v=1+8k$. A $c$-colouring of type $s$ is a map $ϕ\colon \mathcal B\rightarrow \mathcal C$, with $C$ set of colours, such that exactly $c$ colours are used and for every vertex $x$ all the blocks containing $x$ are coloured exactly with $s$ colours. Let $4k=qs+r$, with $q,r\ge 0$. $ϕ$ is \emph{equitable} if for every vertex $x$ the set of the $4k$ blocks containing $x$ is parted in $r$ colour classes of cardinality $q+1$ and $s-r$ colour classes of cardinality $q$. In this paper we study colourings for which $s|k$, giving a description of equitable block colourings for $c\in \{s,s+1,\dots,\lfloor\tfrac{2s^2+s}{3}\rfloor \}$.

math.CO↗
arXiv2012

Homogeneous Edge-Colorings of Graphs

Let G = (V, E) be a multigraph without loops and for any x {\in}V let E(x) be the set of edges of G incident to x. A homogeneous edge-coloring of G is an assignment of an integer m >= 2 and a coloring c:E {\to} S of the edges of Gsuchthat|S| = mandforanyx{\in}V,if|E(x)| = mqx+rx with0 <= rx <m, there exists a partition of E(x) in rx color classes of cardinality qx + 1 and other m-rx color classes of cardinality qx. The homogeneous chromatic index \c{hi}(G) is the least m for which there exists such a coloring. We determine \c{hi}(G) in the case that G is a complete multigraph, a tree or a complete bipartite multigraph.

math.CO↗
arXiv2011

On the lifting problem in $\mathbb P^4$ in characteristic $p$

Given $\mathbb P^4_k$, with $k$ algebraically closed field of characteristic $p>0$, and $X\subset \mathbb P^4_k$ integral surface of degree $d$, let $Y=X\cap H$ be the general hyperplane section of $X$. We suppose that $h^0\mathscr I_Y(s)\ne 0$ and $h^0\mathscr I_X(s)=0$ for some $s>0$. This determines a nonzero element $α\in H^1\mathscr I_X(s)$ such that $α\cdot H=0$ in $H^1\mathscr I_X(s)$. We find different upper bounds of $d$ in terms of $s$, $p$ and the order of $α$ and we show that these bounds are sharp. In particular, we see that $d\le s^2$ for $p<s$ and $d\le s^2-s+2$ for $p\ge s$.

math.AG↗
arXiv2011

Minimal Free Resolutions of 0-Dimensional Schemes in P1 \times P1

Let X be a zero-dimensional scheme in P1 \times P1. Then X has a minimal free resolution of length 2 if and only if X is ACM. In this paper we determine a class of reduced schemes whose resolutions, similarly to the ACM case, can be obtained by their Hilbert functions and depends only on their distributions of points in a grid of lines. Moreover, a minimal set of generators of the ideal of these schemes is given by curves split into the union of lines.

math.AG↗
arXiv2010

Laudal's Lemma in positive characteristic

Laudal's Lemma states that if $C$ is a curve of degree $d > s^2 + 1$ in $\mathbb P^3$ over an algebraically closed field of characteristic 0 such that its plane section is contained in an irreducible curve of degree s, then $C$ lies on a surface of degree $s$. We show that the same result does not hold in positive characteristic and we find different bounds $d > f(s)$ which ensure that $C$ is contained in a surface of degree $s$.

math.AG↗
arXiv2010

On a plane section of an integral curve in positive characteristic

If $C \subset P^3_k$ is an integral curve and $k$ an algebraically closed field of characteristic 0, it is known that the points of the general plane section $C \cap H$ of $C$ are in uniform position. From this it follows easily that the general minimal curve containing $C\cap H$ is irreducible. If $char k = p > 0$, the points of $C\cap H$ may not be in uniform position. However, we prove that the general minimal curve containing $C\cap H$ is still irreducible.

math.AG↗
arXiv2010

On the Hilbert function on $\mathbb P^1\times\mathbb P^1$

Let $Q = \mathbb P^1 x \mathbb P^1$ and let $X\subset Q$ be a 0-dimensional scheme. This paper is a first step towards the characterization of Hilbert functions of 0- dimensional schemes in $Q$. In particular we show how, under some conditions on $X$, its Hilbert function changes when we add points to $X$ lying on a $(1,0)$ or $(0, 1)$-line. As a particular case we show also that if $X$ is ACM this result holds without any additional hypothesis.

math.AG↗
arXiv2008

On a theorem of Faltings on formal functions

In 1980, Faltings proved, by deep local algebra methods, a local result regarding formal functions which has the following global geometric fact as a consequence. Theorem: Let k be an algebraically closed field (of any characteristic). Let Y be a closed subvariety of a projective irreducible variety X defined over k. Assume that X \subseteq P^n, dim(X)=d>2 and Y is the intersection of X with r hyperplanes of P^n, with r \le d-1. Then, every formal rational function on X along Y can be (uniquely) extended to a rational function on X. Due to its importance, the aim of this paper is to provide two elementary global geometric proofs of this theorem.

math.AG↗