arXiv ScienceSearch

arXiv subjects

Lucas Colucci

Publications and source records attributed to Lucas Colucci.

14 recordsLinked to original sources

Marshall Quotients of the Rings $\mathbb Z/n\mathbb Z$

We study the Marshall quotient \[ M(n)=M(\mathbb Z/n\mathbb Z) \] obtained from the ring of integers modulo $n$ by quotienting by the square classes of non-zero-divisors. Using elementary arithmetic of square classes modulo prime powers and the Chinese Remainder Theorem, we give an explicit description of these quotients and classify several of their structural properties. We determine when the quotient relation is arithmetically elementary, when $M(n)$ is hyperbolic, when it can be real reduced, and when it can be formally real. We also analyze the subset of invertible classes together with zero, proving exactly when it is a submultiring, when it is a hyperfield, and when it is hyperbolic. The results provide a finite family of test examples for questions connecting multirings, special hyperfields, real semigroups, and abstract quadratic-form theory.

math.RA

On converse invariant trees of diameter four

Let $D$ be an oriented graph, and let $f_T(D)$ denote the number of copies of $D$ in a tournament $T$. We say that $D$ is \emph{converse invariant} if $f_T(D)=f_T(\overline D)$ for every tournament $T$, where $\overline D$ is obtained from $D$ by reversing all arcs. Ai, Gutin, Lei, Yeo, and Zhou introduced a digraph polynomial for studying this property and conjectured that an orientation of a tree of maximum degree at least $3$ is converse invariant if and only if it is self-converse or can be obtained recursively by bridge-mirroring from an orientation of a path. We disprove this conjecture. More precisely, we characterize converse-invariant orientations of trees of diameter four and exhibit non-self-converse examples that do not arise from the recursive bridge-mirroring construction. To prove the classification, we introduce a multilinear polynomial $P_D$ encoding the difference $f_T(D)-f_T(\overline D)$ over all tournaments $T$, and we give a coefficient formula for $P_D$ as a signed sum over copies of subgraphs of the underlying graph of $D$. This polynomial method yields parity obstructions, gives new proofs that oriented paths and cycles are converse invariant, and provides the main tool for the diameter-four classification.

math.CO

A linear upper bound on the zero-sum Ramsey number of forests in $\mathbb{Z}_p$

Let $m$ be a positive integer and let $G$ be a graph. The zero-sum Ramsey number $R(G,\mathbb{Z}_m)$ is the least integer $N$ (if it exists) such that for every edge-coloring $\chi \, : \, E(K_N) \, \rightarrow \, \mathbb{Z}_m$ one can find a copy of $G$ in $K_N$ such that $\sum_{e \, \in \, E(G)}{\chi(e)} \, = \, 0$. In this paper, we show that, for every prime $p$, $$R(F,\mathbb{Z}_p)\leq n+9p-12$$ for every forest $F$ in $n\geq 3p^2-12p+11$ vertices with $p\mid e(F)$ without isolated vertices.

math.CO

On Modular Edge Colourings of Graphs

Given a graph $G$ and an integer $k\geq 2$, let $\chi'_k(G)$ denote the minimum number of colours required to colour the edges of $G$ such that, in each colour class, the subgraph induced by the edges of that colour has all non-zero degrees congruent to $1$ modulo $k$. In 1992, Pyber proved that $\chi'_2(G) \leq 4$ for every graph $G$, and posed the question of whether $\chi'_k(G)$ can be bounded solely in terms of $k$ for every $k\geq 3$. This question was answered in 1997 by Scott, who showed that $\chi'_k(G)\leq5k^2\log k$, and further asked whether $\chi'_k(G) = O(k)$. Recently, Botler, Colucci, and Kohayakawa (2023) answered Scott's question affirmatively proving that $\chi'_k(G) \leq 198k - 101$, and conjectured that the multiplicative constant could be reduced to $1$. A step towards this latter conjecture was made in 2024 by Nweit and Yang, who improved the bound to $\chi'_k(G) \leq 177k - 93$. In this paper, we further improve the multiplicative constant to $9$. More specifically, we prove that there is a function $f\in o(k)$ for which $\chi'_k(G) \leq 7k + f(k)$ if $k$ is odd, and $\chi'_k(G) \leq 9k + f(k)$ if $k$ is even. In doing so, we prove that $\chi'_k(G) \leq k + O(d)$ for every $d$-degenerate graph $G$, which plays a central role in our proof.

math.CO

On a problem of Caro on $\mathbb{Z}_3$-Ramsey number of forests

Let $k$ be a positive integer and let $G$ be a graph. The zero-sum Ramsey number $R(G,\mathbb{Z}_k)$ is the least integer $N$ (if it exists) such that for every edge-coloring $\chi \, : \, E(K_N) \, \rightarrow \, \mathbb{Z}_k$ one can find a copy of $G$ in $K_N$ such that $\sum_{e \, \in \, E(G)}{\chi(e)} \, = \, 0$. In 2019, Caro made a conjecture about the $\mathbb{Z}_3$-Ramsey number of trees. In this paper, we settle this conjecture, fixing an incorrect case, and extend the result to forests. Namely, we show that \begin{equation*} R(F,\mathbb{Z}_3) = \left\{ \begin{array}{ll} n+2, & \text{if $F$ is $1 (\mathrm{mod}\, 3)$ regular or a star;}\\ n+1, & \text{if $3 \nmid d(v)$ for every $v \in V(F)$ or $F$ has exactly one} \\ \phantom{placeholder} & \text{vertex of degree $0 (\mathrm{mod}\, 3)$ and all others are $1 (\mathrm{mod}\, 3)$,} \\ \phantom{placeholder} & \text{and $F$ is not $1 (\mathrm{mod}\, 3)$ regular or a star;}\\ n, & \text{otherwise.} \end{array} \right. \end{equation*} where $F$ is any forest on $n$ vertices with $3\mid e(F)$ and no isolated vertices.

math.CO

The $\!{}\bmod k$ chromatic index of random graphs

The $\!{}\bmod k$ chromatic index of a graph $G$ is the minimum number of colors needed to color the edges of $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1\!\!\pmod k$. Recently, the authors proved that the $\!{}\bmod k$ chromatic index of every graph is at most $198k-101$, improving, for large $k$, a result of Scott [Discrete Math. 175, 1-3 (1997), 289-291]. Here we study the $\!{}\bmod k$ chromatic index of random graphs. We prove that for every integer $k\geq2$, there is $C_k>0$ such that if $p\geq C_kn^{-1}\log{n}$ and $n(1-p) \rightarrow\infty$ as $n\to\infty$, then the following holds: if $k$ is odd, then the $\!{}\bmod k$ chromatic index of $G(n,p)$ is asymptotically almost surely equal to $k$, while if $k$ is even, then the $\!{}\bmod k$ chromatic index of $G(2n,p)$ (respectively $G(2n+1,p)$) is asymptotically almost surely equal to $k$ (respectively $k+1$).

math.CO

On the Erd\H{o}s-Sloane and Shifted Sloane Persistence Problems

In this paper, we investigate two variations on the so-called persistence problem of Sloane: the shifted version, which was introduced by Wagstaff; and the nonzero version, proposed by Erd\H{o}s. We explore connections between these problems and a recent conjecture of de Faria and Tresser regarding equidistribution of the digits of some integer sequences and some of its natural generalizations.

math.NT

The mod $k$ chromatic index of graphs is $O(k)$

Let $\chi'_k(G)$ denote the minimum number of colors needed to color the edges of a graph $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1 \pmod k$. Scott [{\em Discrete Math. 175}, 1-3 (1997), 289--291] proved that $\chi'_k(G)\leq5k^2\log k$, and thus settled a question of Pyber [{\em Sets, graphs and numbers} (1992), pp. 583--610], who had asked whether $\chi_k'(G)$ can be bounded solely as a function of $k$. We prove that $\chi'_k(G)=O(k)$, answering affirmatively a question of Scott.

math.CO

On L(2,1)-labelings of some products of oriented cycles

We refine two results of Jiang, Shao and Vesel on the $L(2,1)$-labeling number $\lambda$ of the Cartesian and the strong product of two oriented cycles. For the Cartesian product, we compute the exact value of $\lambda(\overrightarrow{C_m} \square \overrightarrow{C_n})$ for $m$, $n \geq 40$; in the case of strong product, we either compute the exact value or establish a gap of size one for $\lambda(\overrightarrow{C_m} \boxtimes \overrightarrow{C_n})$ for $m$, $n \geq 48$.

math.CO

Edge colorings of graphs without monochromatic stars

In this note, we improve on results of Hoppen, Kohayakawa and Lefmann about the maximum number of edge colorings without monochromatic copies of a star of a fixed size that a graph on $n$ vertices may admit. Our results rely on an improved application of an entropy inequality of Shearer.

math.CO

On L(2,1)-labelings of oriented graphs

We extend a result of Griggs and Yeh about the maximum possible value of the L(2,1)-labeling number of a graph in terms of its maximum degree to oriented graphs. We consider the problem both in the usual definition of the oriented L(2,1)-labeling number and in some variants we introduce.

math.CO

Terminal-Pairability in Complete Bipartite Graphs with Non-Bipartite Demands

We investigate the terminal-pairability problem in the case when the base graph is a complete bipartite graph, and the demand graph is a (not necessarily bipartite) multigraph on the same vertex set. In computer science, this problem is known as the edge-disjoint paths problem. We improve the lower bound on the maximum value of $\Delta(D)$ which still guarantees that the demand graph $D$ has a realization in $K_{n,n}$. We also solve the extremal problem on the number of edges, i.e., we determine the maximum number of edges which guarantees that a demand graph is realizable in $K_{n,n}$.

math.CO

Terminal-Pairability in Complete Bipartite Graphs

We investigate the terminal-pairibility problem in the case when the base graph is a complete bipartite graph, and the demand graph is also bipartite with the same color classes. We improve the lower bound on maximum value of $\Delta(D)$ which still guarantees that the demand graph $D$ is terminal-pairable in this setting. We also prove a sharp theorem on the maximum number of edges such a demand graph can have.

math.CO

Coloring 2-intersecting hypergraphs

A hypergraph is 2-intersecting if any two edges intersect in at least two vertices. Blais, Weinstein and Yoshida asked (as a first step to a more general problem) whether every 2-intersecting hypergraph has a vertex coloring with a constant number of colors so that each hyperedge e has at least min{|e|,3} colors. We show that there is such a coloring with at most 5 colors (which is best possible).

math.CO