-
On the isomorphism problem for power semigroups
Authors:
Salvatore Tringali
Abstract:
Let $\mathcal P(S)$ be the semigroup obtained by equipping the family of all non-empty subsets of a (multiplicatively written) semigroup $S$ with the operation of setwise multiplication induced by $S$ itself. We call a subsemigroup $P$ of $\mathcal P(S)$ downward complete if any element of $S$ lies in at least one set $X \in P$ and any non-empty subset of a set in $P$ is still in $P$.
We obtain,…
▽ More
Let $\mathcal P(S)$ be the semigroup obtained by equipping the family of all non-empty subsets of a (multiplicatively written) semigroup $S$ with the operation of setwise multiplication induced by $S$ itself. We call a subsemigroup $P$ of $\mathcal P(S)$ downward complete if any element of $S$ lies in at least one set $X \in P$ and any non-empty subset of a set in $P$ is still in $P$.
We obtain, for a commutative semigroup $S$, a characterization of the cancellative elements of a downward complete subsemigroup of $\mathcal P(S)$ in terms of the cancellative elements of $S$. Consequently, we show that, if $H$ and $K$ are cancellative semigroups and either of them is commutative, then every isomorphism from a downward complete subsemigroup of $\mathcal P(H)$ to a downward complete subsemigroup of $\mathcal P(K)$ restricts to an isomorphism from $H$ to $K$. This solves a special case of a problem of Tamura and Shafer from the late 1960s and generalizes a recent result by Bienvenu and Geroldinger, where it is assumed, among other conditions, that $H$ and $K$ are numerical monoids.
△ Less
Submitted 16 August, 2024; v1 submitted 18 February, 2024;
originally announced February 2024.
-
On power monoids and their automorphisms
Authors:
Salvatore Tringali,
Weihao Yan
Abstract:
Endowed with the binary operation of set addition, the family $\mathcal P_{{\rm fin},0}(\mathbb N)$ of all finite subsets of $\mathbb N$ containing $0$ forms a monoid, with the singleton $\{0\}$ as its neutral element.
We show that the only non-trivial automorphism of $\mathcal P_{{\rm fin},0}(\mathbb N)$ is the involution $X \mapsto \max X - X$. The proof leverages ideas from additive number th…
▽ More
Endowed with the binary operation of set addition, the family $\mathcal P_{{\rm fin},0}(\mathbb N)$ of all finite subsets of $\mathbb N$ containing $0$ forms a monoid, with the singleton $\{0\}$ as its neutral element.
We show that the only non-trivial automorphism of $\mathcal P_{{\rm fin},0}(\mathbb N)$ is the involution $X \mapsto \max X - X$. The proof leverages ideas from additive number theory and proceeds through an unconventional induction on what we call the boxing dimension of a finite set of integers, that is, the smallest number of (discrete) intervals whose union is the set itself.
△ Less
Submitted 16 August, 2024; v1 submitted 7 December, 2023;
originally announced December 2023.
-
A conjecture by Bienvenu and Geroldinger on power monoids
Authors:
Salvatore Tringali,
Weihao Yan
Abstract:
Let $S$ be a numerical monoid, i.e., a submonoid of the additive monoid $(\mathbb N, +)$ of non-negative integers such that $\mathbb N \setminus S$ is finite. Endowed with the operation of set addition, the family of all finite subsets of $S$ containing $0$ is itself a monoid, which we denote by $\mathcal P_{{\rm fin}, 0}(S)$.
We show that, if $S_1$ and $S_2$ are numerical monoids and…
▽ More
Let $S$ be a numerical monoid, i.e., a submonoid of the additive monoid $(\mathbb N, +)$ of non-negative integers such that $\mathbb N \setminus S$ is finite. Endowed with the operation of set addition, the family of all finite subsets of $S$ containing $0$ is itself a monoid, which we denote by $\mathcal P_{{\rm fin}, 0}(S)$.
We show that, if $S_1$ and $S_2$ are numerical monoids and $\mathcal P_{{\rm fin}, 0}(S_1)$ is isomorphic to $\mathcal P_{{\rm fin}, 0}(S_2)$, then $S_1 = S_2$. (In fact, we establish a more general result, in which $S_1$ and $S_2$ are allowed to be subsets of the non-negative rational numbers that contain zero and are closed under addition.) This proves a conjecture of Bienvenu and Geroldinger.
△ Less
Submitted 1 November, 2023; v1 submitted 26 October, 2023;
originally announced October 2023.
-
Subcommutativity of integrals and quasi-arithmetic means
Authors:
Dorota Glazowska,
Paolo Leonetti,
Janusz Matkowski,
Salvatore Tringali
Abstract:
Let $(X, \mathscr{L}, λ)$ and $(Y, \mathscr{M}, μ)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with either $0 < λ(A) < 1 < λ(X)$ and $0 < μ(B) < μ(Y)$, or the other way around. In addition, let $I \subseteq \mathbb{R}$ be a non-empty open interval, and suppose that $f,g\colon I \to \mathbb{R}_{+}$ are homeo\-morphisms with $g$ increasing. We prove th…
▽ More
Let $(X, \mathscr{L}, λ)$ and $(Y, \mathscr{M}, μ)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with either $0 < λ(A) < 1 < λ(X)$ and $0 < μ(B) < μ(Y)$, or the other way around. In addition, let $I \subseteq \mathbb{R}$ be a non-empty open interval, and suppose that $f,g\colon I \to \mathbb{R}_{+}$ are homeo\-morphisms with $g$ increasing. We prove that the functional inequality $$ f^{-1}\!\left(\int_X f\!\left(g^{-1}\!\left(\int_Y g \circ h\;dμ\right)\right)d λ\right)\! \le g^{-1}\!\left(\int_Y g\!\left(f^{-1}\!\left(\int_X f \circ h\;dλ\right)\right)d μ\right) $$ is satisfied by every $\mathscr{L} \otimes \mathscr{M}$-measurable simple function $h: X \times Y \to I$ if and only if $f=a g^b$ for some $a,b \in \mathbb{R}_{+}$ with $b\ge 1$. An analogous characterization is given for probability spaces.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
On the finiteness of certain factorization invariants
Authors:
Laura Cossu,
Salvatore Tringali
Abstract:
Let $H$ be a monoid, $\mathscr F(X)$ be the free monoid on a set $X$, and $π_H$ be the unique extension of the identity map on $H$ to a monoid homomorphism $\mathscr F(H) \to H$. Given $A \subseteq H$, an $A$-word $\mathfrak z$ (i.e., an element of $\mathscr F(A)$) is minimal if $π_H(\mathfrak z) \ne π_H(\mathfrak z')$ for every permutation $\mathfrak z'$ of a proper subword of $\mathfrak z$. The…
▽ More
Let $H$ be a monoid, $\mathscr F(X)$ be the free monoid on a set $X$, and $π_H$ be the unique extension of the identity map on $H$ to a monoid homomorphism $\mathscr F(H) \to H$. Given $A \subseteq H$, an $A$-word $\mathfrak z$ (i.e., an element of $\mathscr F(A)$) is minimal if $π_H(\mathfrak z) \ne π_H(\mathfrak z')$ for every permutation $\mathfrak z'$ of a proper subword of $\mathfrak z$. The minimal $A$-elasticity of $H$ is then the supremum of all rational numbers $m/n$ with $m, n \in \mathbb N^+$ such that there exist minimal $A$-words $\mathfrak a$ and $\mathfrak b$ of length $m$ and $n$, resp., with $π_H(\mathfrak a) = π_H(\mathfrak b)$.
Among other things, we show that if $H$ is commutative and $A$ is finite, then the minimal $A$-elasticity of $H$ is finite. This yields a non-trivial generalization of the finiteness part of a classical theorem of Anderson et al. from the case where $H$ is cancellative, commutative, and finitely generated (f.g.) modulo units and $A$ is the set $\mathscr A(H)$ of its atoms. We also check that commutativity is somewhat essential here, by proving the existence of an atomic, cancellative, f.g. monoid with trivial group of units whose minimal $\mathscr A(H)$-elasticity is infinite.
△ Less
Submitted 16 October, 2023; v1 submitted 24 January, 2023;
originally announced January 2023.
-
On the density of sumsets, II
Authors:
Paolo Leonetti,
Salvatore Tringali
Abstract:
Arithmetic quasi-densities are a large family of real-valued set functions partially defined on the power set of $\mathbb{N}$, including the asymptotic density, the Banach density, the analytic density, etc.
Let $B \subseteq \mathbb{N}$ be a non-empty set covering $o(n!)$ residue classes modulo $n!$ as $n\to \infty$ (e.g., the primes or the perfect powers). We show that, for each $α\in [0,1]$, t…
▽ More
Arithmetic quasi-densities are a large family of real-valued set functions partially defined on the power set of $\mathbb{N}$, including the asymptotic density, the Banach density, the analytic density, etc.
Let $B \subseteq \mathbb{N}$ be a non-empty set covering $o(n!)$ residue classes modulo $n!$ as $n\to \infty$ (e.g., the primes or the perfect powers). We show that, for each $α\in [0,1]$, there is a set $A\subseteq \mathbb{N}$ such that, for every arithmetic quasi-density $μ$, both $A$ and the sumset $A+B$ are in the domain of $μ$ and, in addition, $μ(A + B) = α$. The proof relies on the properties of a little known density first considered by Buck in 1946.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
A characterization of atomicity
Authors:
Salvatore Tringali
Abstract:
In [Math. Proc. Cambridge Philos. Soc. 64 (1968), 251-264], P.M. Cohn famously claimed that a commutative domain is atomic if and only if it satisfies the ascending chain condition on principal ideals (ACCP). Some years later, a counterexample was provided by A. Grams in [Math. Proc. Cambridge Philos. Soc. 75 (1974), 321-329]: Every commutative domain with the ACCP is atomic, but not vice versa. T…
▽ More
In [Math. Proc. Cambridge Philos. Soc. 64 (1968), 251-264], P.M. Cohn famously claimed that a commutative domain is atomic if and only if it satisfies the ascending chain condition on principal ideals (ACCP). Some years later, a counterexample was provided by A. Grams in [Math. Proc. Cambridge Philos. Soc. 75 (1974), 321-329]: Every commutative domain with the ACCP is atomic, but not vice versa. This has led to the question of finding a sensible (ideal-theoretic) characterization of atomicity.
The question (explicitly stated on p. 3 of A. Geroldinger and F. Halter-Koch's 2006 monograph on factorization) is still open. We settle it using the language of monoids and preorders.
△ Less
Submitted 22 March, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
Factorization under Local Finiteness Conditions
Authors:
Laura Cossu,
Salvatore Tringali
Abstract:
It has been recently observed that fundamental aspects of the classical theory of factorization can be greatly generalized by combining the languages of monoids and preorders. This has led to various theorems on the existence of certain factorizations, herein called $\preceq$-factorizations, for the $\preceq$-non-units of a (multiplicatively written) monoid $H$ endowed with a preorder $\preceq$, w…
▽ More
It has been recently observed that fundamental aspects of the classical theory of factorization can be greatly generalized by combining the languages of monoids and preorders. This has led to various theorems on the existence of certain factorizations, herein called $\preceq$-factorizations, for the $\preceq$-non-units of a (multiplicatively written) monoid $H$ endowed with a preorder $\preceq$, where an element $u \in H$ is a $\preceq$-unit if $u \preceq 1_H \preceq u$ and a $\preceq$-non-unit otherwise. The ``building blocks'' of these factorizations are the $\preceq$-irreducibles of $H$ (i.e., the $\preceq$-non-units $a \in H$ that cannot be written as a product of two $\preceq$-non-units each of which is strictly $\preceq$-smaller than $a$); and it is interesting to look for sufficient conditions for the $\preceq$-factorizations of a $\preceq$-non-unit to be bounded in length or finite in number (if measured or counted in a suitable way). This is precisely the kind of questions addressed in the present work, whose main novelty is the study of the interaction between minimal $\preceq$-factorizations (i.e., a refinement of $\preceq$-factorizations used to counter the ``blow-up phenomena'' that are inherent to factorization in non-commutative or non-cancellative monoids) and some finiteness conditions describing the ``local behaviour'' of the pair $(H, \preceq)$. Besides a number of examples and remarks, the paper includes many arithmetic results, a part of which are new already in the basic case where $\preceq$ is the divisibility preorder on $H$ (and hence in the setup of the classical theory).
△ Less
Submitted 16 March, 2023; v1 submitted 11 August, 2022;
originally announced August 2022.
-
Abstract Factorization Theorems with Applications to Idempotent Factorizations
Authors:
Laura Cossu,
Salvatore Tringali
Abstract:
Let $\preceq$ be a preorder on a monoid $H$ and $s$ be an integer $\ge 2$. The $\preceq$-height of an $x \in H$ is the sup of the integers $k \ge 1$ for which there is a (strictly) $\preceq$-decreasing sequence $x_1,\ldots,x_k$ of $\preceq$-non-units of $H$ with $x_1 = x$ (with $\sup\emptyset:=0$), where $u\in H$ is a $\preceq$-unit if $u\preceq 1_H\preceq u$ and a $\preceq$-non-unit otherwise. We…
▽ More
Let $\preceq$ be a preorder on a monoid $H$ and $s$ be an integer $\ge 2$. The $\preceq$-height of an $x \in H$ is the sup of the integers $k \ge 1$ for which there is a (strictly) $\preceq$-decreasing sequence $x_1,\ldots,x_k$ of $\preceq$-non-units of $H$ with $x_1 = x$ (with $\sup\emptyset:=0$), where $u\in H$ is a $\preceq$-unit if $u\preceq 1_H\preceq u$ and a $\preceq$-non-unit otherwise. We say $H$ is $\preceq$-artinian if there exists no $\preceq$-decreasing sequence $x_1,x_2,\ldots$ of elements of $H$; and strongly $\preceq$-artinian if the $\preceq$-height of each element is finite.
We establish that, if $H$ is $\preceq$-artinian, then each $\preceq$-non-unit $x\in H$ factors through the $\preceq$-irreducibles of degree $s$, where a $\preceq$-irreducible of degree $s$ is a $\preceq$-non-unit $a\in H$ that cannot be written as a product of $s$ or fewer $\preceq$-non-units each of which is (strictly) smaller than $a$ with respect to $\preceq$. In addition, we show that, if $H$ is strongly $\preceq$-artinian, then $x$ factors through the $\preceq$-quarks of $H$, where a $\preceq$-quark is a $\preceq$-min $\preceq$-non-unit. In the process, we also obtain upper bounds for the length of a shortest factorization of $x$ (into either $\preceq$-irreducible of degree $s$ or $\preceq$-quarks) in terms of its $\preceq$-height.
Next, we specialize these abstract results to the case in which $H$ is the multiplicative submonoid of a ring $R$ formed by the zero divisors and the identity $1_R$, and $\preceq$ is the preorder on $H$ defined by $a\preceq b$ iff $r_R(1_R-b)\subseteq r_R(1_R-a)$, where $r_R(\cdot)$ denotes a right annihilator. We can thus recover and improve on classical theorems of J.A. Erdos (1967), R.J.H. Dawlings (1981), and J. Fountain (1991) on idempotent factorizations in the endomorphism ring of a free module of finite rank over a skew field or a commutative DVD.
△ Less
Submitted 19 October, 2022; v1 submitted 27 August, 2021;
originally announced August 2021.
-
An Abstract Factorization Theorem and Some Applications
Authors:
Salvatore Tringali
Abstract:
We combine the language of monoids with the language of preorders so as to refine some fundamental aspects of the classical theory of factorization and prove an abstract factorization theorem with a variety of applications. In particular, we obtain a generalization, from cancellative to Dedekind-finite (commutative or non-commutative) monoids, of a classical theorem on "atomic factorizations" that…
▽ More
We combine the language of monoids with the language of preorders so as to refine some fundamental aspects of the classical theory of factorization and prove an abstract factorization theorem with a variety of applications. In particular, we obtain a generalization, from cancellative to Dedekind-finite (commutative or non-commutative) monoids, of a classical theorem on "atomic factorizations" that traces back to the work of P.M. Cohn in the 1960s; recover a theorem of D.D. Anderson and S. Valdes-Leon on "irreducible factorizations" in commutative rings; improve on a theorem of A.A. Antoniou and the author that characterizes atomicity in certain "monoids of sets" naturally arising from additive number theory and arithmetic combinatorics; and give a monoid-theoretic proof that every module of finite uniform dimension over a (commutative or non-commutative) ring $R$ is a direct sum of finitely many indecomposable modules (this is in fact a special case of a more general decomposition theorem for the objects of certain categories with finite products, where the indecomposable $R$-modules are characterized as the atoms of a suitable "monoid of modules").
△ Less
Submitted 25 February, 2022; v1 submitted 2 February, 2021;
originally announced February 2021.
-
Factorization in monoids and rings
Authors:
Salvatore Tringali
Abstract:
Let $H^\times$ be the group of units of a multiplicatively written monoid $H$. We say $H$ is acyclic if $xyz \ne y$ for all $x, y, z \in H$ with $x \notin H^\times$ or $z \notin H^\times$; unit-cancellative if $yx \ne x \ne xy$ for all $x, y \in H$ with $y \notin H^\times$; f.g.u. if there is a finite set $A \subseteq H$ such that every non-unit of $H$ is a finite product of elements of the form…
▽ More
Let $H^\times$ be the group of units of a multiplicatively written monoid $H$. We say $H$ is acyclic if $xyz \ne y$ for all $x, y, z \in H$ with $x \notin H^\times$ or $z \notin H^\times$; unit-cancellative if $yx \ne x \ne xy$ for all $x, y \in H$ with $y \notin H^\times$; f.g.u. if there is a finite set $A \subseteq H$ such that every non-unit of $H$ is a finite product of elements of the form $uav$ with $u, v \in H^\times$ and $a \in A$; l.f.g.u. if, for each $x \in H$, the smallest divisor-closed submonoid of $H$ containing $x$ is f.g.u; and atomic if every non-unit can be written as a finite product of atoms, where an atom is a non-unit that does not factor into a product of two non-units.
We generalize to l.f.g.u. or acyclic l.f.g.u. monoids a few results so far only known for unit-cancellative l.f.g.u. commutative monoids (cancellative monoids are unit-cancellative, and a commutative monoid is unit-cancellative if and only if it is acyclic). In particular, we prove the following:
$\bullet$ If $H$ is an atomic l.f.g.u. monoid, then every non-unit has only finitely many factorizations (into atoms) that are "minimal" and "pairwise non-equivalent" (with respect to some naturally defined relations on the free monoid over the "alphabet" of atoms).
$\bullet$ If $H$ is an acyclic l.f.g.u. monoid, then it is atomic; and moreover, each element has only finitely many "pairwise non-equivalent" factorizations if we additionally assume $H$ to be commutative.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
On the density of sumsets
Authors:
Paolo Leonetti,
Salvatore Tringali
Abstract:
Recently introduced by the authors in [Proc. Edinb. Math. Soc. 60 (2020), 139-167], quasi-densities form a large family of real-valued functions partially defined on the power set of the integers that serve as a unifying framework for the study of many known densities (including the asymptotic density, the Banach density, the logarithmic density, the analytic density, and the Pólya density).
We…
▽ More
Recently introduced by the authors in [Proc. Edinb. Math. Soc. 60 (2020), 139-167], quasi-densities form a large family of real-valued functions partially defined on the power set of the integers that serve as a unifying framework for the study of many known densities (including the asymptotic density, the Banach density, the logarithmic density, the analytic density, and the Pólya density).
We further contribute to this line of research by proving that (i) for each $n \in \mathbf N^+$ and $α\in [0,1]$, there is $A \subseteq \mathbf{N}$ with $kA \in \text{dom}(μ)$ and $μ(kA) = αk/n$ for every quasi-density $μ$ and every $k=1,\ldots, n$, where $kA:=A+\cdots+A$ is the $k$-fold sumset of $A$ and $\text{dom}(μ)$ denotes the domain of definition of $μ$; (ii) for each $α\in [0,1]$ and every non-empty finite $B\subseteq \mathbf{N}$, there is $A \subseteq \mathbf{N}$ with $A+B \in \mathrm{dom}(μ)$ and $μ(A+B)=α$ for every quasi-density $μ$; (iii) for each $α\in [0,1]$, there exists $A\subseteq \mathbf{N}$ with $2A = \mathbf{N}$ such that $A \in \text{dom}(μ)$ and $μ(A) = α$ for every quasi-density $μ$.
Proofs rely on the properties of a little known density first considered by R.C. Buck and the "structure" of the set of all quasi-densities; in particular, they are rather different than previously known proofs of special cases of the same results.
△ Less
Submitted 16 February, 2022; v1 submitted 28 January, 2020;
originally announced January 2020.
-
On half-factoriality of transfer Krull monoids
Authors:
Weidong Gao,
Chao Liu,
Salvatore Tringali,
Qinghai Zhong
Abstract:
Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. Then every non-unit $a\in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L(a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$, and $H$ is said to be half-factorial if $|\mathsf L(a)|=1$ for all $a\in H$. We show th…
▽ More
Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. Then every non-unit $a\in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L(a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$, and $H$ is said to be half-factorial if $|\mathsf L(a)|=1$ for all $a\in H$. We show that, if $a \in H$ and $|\mathsf L(a^{\lfloor (3\exp(G) - 3)/2 \rfloor})| = 1$, then the smallest divisor-closed submonoid of $H$ containing $a$ is half-factorial. In addition, we prove that, if $G_0$ is finite and $|\mathsf L(\prod_{g\in G_0}g^{2\mathsf{ord}(g)})|=1$, then $H$ is half-factorial.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
A generalization to number fields of Euler's theorem on the series of reciprocals of primes
Authors:
Salvatore Tringali
Abstract:
Let $X$ be a set of positive integers, and let $\mathbb Z_K$ be the ring of integers of a number field $K$ of degree $n$. Denote by $N(I)$ the absolute norm of an ideal $I$ of $\mathbb Z_K$, and by $\mathcal A$ the set of principal ideals $a\mathbb Z_K$ such that $a$ is an atom of $\mathbb Z_K$ and $a$ divides $m$ for some $m \in X$.
Building upon the ideas of Clarkson from [Proc. Amer. Math. So…
▽ More
Let $X$ be a set of positive integers, and let $\mathbb Z_K$ be the ring of integers of a number field $K$ of degree $n$. Denote by $N(I)$ the absolute norm of an ideal $I$ of $\mathbb Z_K$, and by $\mathcal A$ the set of principal ideals $a\mathbb Z_K$ such that $a$ is an atom of $\mathbb Z_K$ and $a$ divides $m$ for some $m \in X$.
Building upon the ideas of Clarkson from [Proc. Amer. Math. Soc. 17 (1966), 541], we show that, if the series $\sum_{m \in X} 1/m$ diverges, then so does the series $\sum_{\mathfrak a \in \mathcal A} |N(\mathfrak a)|^{-1/n}$. Most notably, this generalizes a classical theorem of Euler on the series of reciprocals of positive rational primes.
△ Less
Submitted 18 November, 2019; v1 submitted 9 November, 2019;
originally announced November 2019.
-
On strongly primary monoids, with a focus on Puiseux monoids
Authors:
Alfred Geroldinger,
Felix Gotti,
Salvatore Tringali
Abstract:
Primary and strongly primary monoids and domains play a central role in the ideal and factorization theory of commutative monoids and domains. It is well-known that primary monoids satisfying the ascending chain condition on divisorial ideals (e.g., numerical monoids) are strongly primary; and the multiplicative monoid of non-zero elements of a one-dimensional local domain is primary and it is str…
▽ More
Primary and strongly primary monoids and domains play a central role in the ideal and factorization theory of commutative monoids and domains. It is well-known that primary monoids satisfying the ascending chain condition on divisorial ideals (e.g., numerical monoids) are strongly primary; and the multiplicative monoid of non-zero elements of a one-dimensional local domain is primary and it is strongly primary if the domain is Noetherian. In the present paper, we focus on the study of additive submonoids of the non-negative rationals, called Puiseux monoids. It is easy to see that Puiseux monoids are primary monoids, and we provide conditions ensuring that they are strongly primary. Then we study local and global tameness of strongly primary Puiseux monoids; most notably, we establish an algebraic characterization of when a Puiseux monoid is globally tame. Moreover, we obtain a result on the structure of sets of lengths of all locally tame strongly primary monoids.
△ Less
Submitted 25 September, 2020; v1 submitted 22 October, 2019;
originally announced October 2019.
-
On Small Sets of Integers
Authors:
Paolo Leonetti,
Salvatore Tringali
Abstract:
An upper quasi-density on $\bf H$ (the integers or the non-negative integers) is a real-valued subadditive function $μ^\ast$ defined on the whole power set of $\mathbf H$ such that $μ^\ast(X) \le μ^\ast({\bf H}) = 1$ and $μ^\ast(k \cdot X + h) = \frac{1}{k}\, μ^\ast(X)$ for all $X \subseteq \bf H$, $k \in {\bf N}^+$, and $h \in \bf N$, where $k \cdot X := \{kx: x \in X\}$; and an upper density on…
▽ More
An upper quasi-density on $\bf H$ (the integers or the non-negative integers) is a real-valued subadditive function $μ^\ast$ defined on the whole power set of $\mathbf H$ such that $μ^\ast(X) \le μ^\ast({\bf H}) = 1$ and $μ^\ast(k \cdot X + h) = \frac{1}{k}\, μ^\ast(X)$ for all $X \subseteq \bf H$, $k \in {\bf N}^+$, and $h \in \bf N$, where $k \cdot X := \{kx: x \in X\}$; and an upper density on $\bf H$ is an upper quasi-density on $\bf H$ that is non-decreasing with respect to inclusion. We say that a set $X \subseteq \bf H$ is small if $μ^\ast(X) = 0$ for every upper quasi-density $μ^\ast$ on $\bf H$.
Main examples of upper densities are given by the upper analytic, upper Banach, upper Buck, and upper Pólya densities, along with the uncountable family of upper $α$-densities, where $α$ is a real parameter $\ge -1$ (most notably, $α= -1$ corresponds to the upper logarithmic density, and $α= 0$ to the upper asymptotic density).
It turns out that a subset of $\bf H$ is small if and only if it belongs to the zero set of the upper Buck density on $\bf Z$. This allows us to show that many interesting sets are small, including the integers with less than a fixed number of prime factors, counted with multiplicity; the numbers represented by a binary quadratic form with integer coefficients whose discriminant is not a perfect square; and the image of $\bf Z$ through a non-linear integral polynomial in one variable.
△ Less
Submitted 29 October, 2020; v1 submitted 20 May, 2019;
originally announced May 2019.
-
On the Arithmetic of Power Monoids and Sumsets in Cyclic Groups
Authors:
Austin A. Antoniou,
Salvatore Tringali
Abstract:
Let $H$ be a multiplicatively written monoid with identity $1_H$ (in particular, a group). We denote by $\mathcal P_{\rm fin,\times}(H)$ the monoid obtained by endowing the collection of all finite subsets of $H$ containing a unit with the operation of setwise multiplication $(X,Y) \mapsto \{xy: x \in X, y \in Y\}$; and study fundamental features of the arithmetic of this and related structures, w…
▽ More
Let $H$ be a multiplicatively written monoid with identity $1_H$ (in particular, a group). We denote by $\mathcal P_{\rm fin,\times}(H)$ the monoid obtained by endowing the collection of all finite subsets of $H$ containing a unit with the operation of setwise multiplication $(X,Y) \mapsto \{xy: x \in X, y \in Y\}$; and study fundamental features of the arithmetic of this and related structures, with a focus on the submonoid, $\mathcal P_{\text{fin},1}(H)$, of $\mathcal P_{\text{fin},\times}(H)$ consisting of all finite subsets $X$ of $H$ with $1_H \in X$.
Among others, we prove that $\mathcal{P}_{\text{fin},1}(H)$ is atomic (i.e., each non-unit is a product of irreducibles) iff $1_H \ne x^2 \ne x$ for every $x \in H \setminus \{1_H\}$. Then we obtain that $\mathcal{P}_{\text{fin},1}(H)$ is BF (i.e., it is atomic and every element has factorizations of bounded length) iff $H$ is torsion-free; and show how to transfer these conclusions to $\mathcal P_{\text{fin},\times}(H)$.
Next, we introduce "minimal factorizations" to account for the fact that monoids may have non-trivial idempotents, in which case standard definitions from Factorization Theory degenerate. Accordingly, we obtain conditions for $\mathcal P_{\text{fin},\times}(H)$ to be BmF (meaning that each non-unit has minimal factorizations of bounded length); and for $\mathcal{P}_{\text{fin},1}(H)$ to be BmF, HmF (i.e., a BmF-monoid where all the minimal factorizations of a given element have the same length), or minimally factorial (i.e., a BmF-monoid where each element has an essentially unique minimal factorization). Finally, we prove how to realize certain intervals as sets of minimal lengths in $\mathcal P_{\text{fin},1}(H)$.
Many proofs come down to considering sumset decompositions in cyclic groups, so giving rise to an intriguing interplay with Arithmetic Combinatorics.
△ Less
Submitted 1 December, 2020; v1 submitted 29 April, 2018;
originally announced April 2018.
-
Structural properties of subadditive families with applications to factorization theory
Authors:
Salvatore Tringali
Abstract:
Let $H$ be a multiplicatively written monoid. Given $k\in{\bf N}^+$, we denote by $\mathscr U_k$ the set of all $\ell\in{\bf N}^+$ such that $a_1\cdots a_k=b_1\cdots b_\ell$ for some atoms $a_1,\ldots,a_k,b_1,\ldots,b_\ell\in H$. The sets $\mathscr U_k$ are one of the most fundamental invariants studied in the theory of non-unique factorization, and understanding their structure is a basic problem…
▽ More
Let $H$ be a multiplicatively written monoid. Given $k\in{\bf N}^+$, we denote by $\mathscr U_k$ the set of all $\ell\in{\bf N}^+$ such that $a_1\cdots a_k=b_1\cdots b_\ell$ for some atoms $a_1,\ldots,a_k,b_1,\ldots,b_\ell\in H$. The sets $\mathscr U_k$ are one of the most fundamental invariants studied in the theory of non-unique factorization, and understanding their structure is a basic problem in the field: In particular, it is known that, in many cases of interest, these sets are almost arithmetic progressions with the same difference and bound for all large $k$, namely, $H$ satisfies the Structure Theorem for Unions. The present paper improves the current state of the art on this problem.
More precisely, we show that, under mild assumptions on $H$, not only does the Structure Theorem for Unions hold, but there also exists $μ\in{\bf N}^+$ such that, for every $M\in{\bf N}$, the sequences $$ \bigl((\mathscr U_k-\inf\mathscr U_k)\cap[\![0,M]\!]\bigr)_{k\ge 1} \quad\text{and}\quad \bigl((\sup\mathscr U_k-\mathscr U_k)\cap[\![0,M]\!]\bigr)_{k\ge 1} $$ are $μ$-periodic from some point on. The result applies, e.g., to (the multiplicative monoid of) all commutative Krull domains (e.g., Dedekind domains) with finite class group; a variety of weakly Krull commutative domains (including all orders in number fields with finite elasticity); some maximal orders in central simple algebras over global fields; and all numerical monoids.
Large parts of the proofs are worked out in a "purely additive model", by inquiring into the properties of what we call a subadditive family, i.e., a collection $\mathscr L$ of subsets of $\bf N$ such that, for all $L_1,L_2\in\mathscr L$, there is $L\in\mathscr L$ with $L_1+L_2\subseteq L$.
△ Less
Submitted 11 November, 2018; v1 submitted 12 June, 2017;
originally announced June 2017.
-
Commutativity of integral quasi-arithmetic means on measure spaces
Authors:
Dorota Głazowska,
Paolo Leonetti,
Janusz Matkowski,
Salvatore Tringali
Abstract:
Let $(X, \mathscr{L}, λ)$ and $(Y, \mathscr{M}, μ)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with $0 < λ(A) < λ(X)$ and $0 < μ(B) < μ(Y)$, and let $I\subseteq \mathbf{R}$ be a non-empty interval. We prove that, if $f$ and $g$ are continuous bijections $I \to \mathbf{R}^+$, then the equation…
▽ More
Let $(X, \mathscr{L}, λ)$ and $(Y, \mathscr{M}, μ)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with $0 < λ(A) < λ(X)$ and $0 < μ(B) < μ(Y)$, and let $I\subseteq \mathbf{R}$ be a non-empty interval. We prove that, if $f$ and $g$ are continuous bijections $I \to \mathbf{R}^+$, then the equation $$ f^{-1}\!\left(\int_X f\!\left(g^{-1}\!\left(\int_Y g \circ h\;dμ\right)\right)d λ\right)\! = g^{-1}\!\left(\int_Y g\!\left(f^{-1}\!\left(\int_X f \circ h\;dλ\right)\right)d μ\right)$$ is satisfied by every $\mathscr{L} \otimes \mathscr{M}$-measurable simple function $h: X \times Y \to I$ if and only if $f=c g$ for some $c \in \mathbf{R}^+$ (it is easy to see that the equation is well posed). An analogous, but essentially different, result, with $f$ and $g$ replaced by continuous injections $I \to \mathbf R$ and $λ(X)=μ(Y)=1$, was recently obtained in [Indag. Math. 27 (2016), 945-953].
△ Less
Submitted 12 April, 2017; v1 submitted 11 March, 2017;
originally announced March 2017.
-
Power monoids: A bridge between Factorization Theory and Arithmetic Combinatorics
Authors:
Yushuang Fan,
Salvatore Tringali
Abstract:
We extend a few fundamental aspects of the classical theory of non-unique factorization, as presented in Geroldinger and Halter-Koch's 2006 monograph on the subject, to a non-commutative and non-cancellative setting, in the same spirit of Baeth and Smertnig's work on the factorization theory of non-commutative, but cancellative monoids [J. Algebra 441 (2015), 475-551]. Then, we bring in power mono…
▽ More
We extend a few fundamental aspects of the classical theory of non-unique factorization, as presented in Geroldinger and Halter-Koch's 2006 monograph on the subject, to a non-commutative and non-cancellative setting, in the same spirit of Baeth and Smertnig's work on the factorization theory of non-commutative, but cancellative monoids [J. Algebra 441 (2015), 475-551]. Then, we bring in power monoids and, applying the abstract machinery developed in the first part, we undertake the study of their arithmetic.
More in particular, let $H$ be a multiplicatively written monoid. The set $\mathcal P_{\rm fin}(H)$ of all non-empty finite subsets of $H$ is naturally made into a monoid, which we call the power monoid of $H$ and is non-cancellative unless $H$ is trivial, by endowing it with the operation $(X,Y) \mapsto \{xy: (x,y) \in X \times Y\}$. Power monoids are, in disguise, one of the primary objects of interest in arithmetic combinatorics, and here for the first time we tackle them from the perspective of factorization theory. Proofs lead to consider various properties of finite subsets of $\mathbf N$ that can or cannot be split into a sumset in a non-trivial way, which gives rise to a rich interplay with additive number theory.
△ Less
Submitted 2 July, 2018; v1 submitted 31 January, 2017;
originally announced January 2017.
-
Arithmetic of commutative semigroups with a focus on semigroups of ideals and modules
Authors:
Yushuang Fan,
Alfred Geroldinger,
Florian Kainrath,
Salvatore Tringali
Abstract:
Let $H$ be a commutative semigroup with unit element such that every non-unit can be written as a finite product of irreducible elements (atoms). For every $k \in \mathbb N$, let $\mathscr U_k (H)$ denote the set of all $\ell \in \mathbb N$ with the property that there are atoms $u_1, \ldots, u_k, v_1, \ldots, v_{\ell}$ such that $u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{\ell}$ (thus…
▽ More
Let $H$ be a commutative semigroup with unit element such that every non-unit can be written as a finite product of irreducible elements (atoms). For every $k \in \mathbb N$, let $\mathscr U_k (H)$ denote the set of all $\ell \in \mathbb N$ with the property that there are atoms $u_1, \ldots, u_k, v_1, \ldots, v_{\ell}$ such that $u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{\ell}$ (thus, $\mathscr U_k (H)$ is the union of all sets of lengths containing $k$).
The Structure Theorem for Unions states that, for all sufficiently large $k$, the sets $\mathscr U_k (H)$ are almost arithmetical progressions with the same difference and global bound. We present a new approach to this result in the framework of arithmetic combinatorics, by deriving, for suitably defined families of subsets of the non-negative integers, a characterization of when the Structure Theorem holds.
This abstract approach allows us to verify, for the first time, the Structure Theorem for a variety of possibly non-cancellative semigroups, including semigroups of (not necessarily invertible) ideals and semigroups of modules. Furthermore, we provide the very first example of a semigroup (actually, a locally tame Krull monoid) that does not satisfy the Structure Theorem.
△ Less
Submitted 4 March, 2017; v1 submitted 9 December, 2016;
originally announced December 2016.
-
Multivariate Delta Goncarov and Abel Polynomials
Authors:
Rudolph Lorentz,
Salvatore Tringali,
Catherine H. Yan
Abstract:
Classical Gončarov polynomials are polynomials which interpolate derivatives. Delta Gončarov polynomials are polynomials which interpolate delta operators, e.g., forward and backward difference operators. We extend fundamental aspects of the theory of classical bivariate Gončarov polynomials and univariate delta Gončarov polynomials to the multivariate setting using umbral calculus. After introduc…
▽ More
Classical Gončarov polynomials are polynomials which interpolate derivatives. Delta Gončarov polynomials are polynomials which interpolate delta operators, e.g., forward and backward difference operators. We extend fundamental aspects of the theory of classical bivariate Gončarov polynomials and univariate delta Gončarov polynomials to the multivariate setting using umbral calculus. After introducing systems of delta operators, we define multivariate delta Gončarov polynomials, show that the associated interpolation problem is always solvable, and derive a generating function (an Appell relation) for them. We show that systems of delta Gončarov polynomials on an interpolation grid $Z \subseteq \mathbb{R}^d$ are of binomial type if and only if $Z = A\mathbb{N}^d$ for some $d\times d$ matrix $A$. This motivates our definition of delta Abel polynomials to be exactly those delta Gončarov polynomials which are based on such a grid. Finally, compact formulas for delta Abel polynomials in all dimensions are given for separable systems of delta operators. This recovers a former result for classical bivariate Abel polynomials and extends previous partial results for classical trivariate Abel polynomials to all dimensions.
△ Less
Submitted 20 August, 2016;
originally announced August 2016.
-
Cauchy-Davenport type inequalities, I
Authors:
Salvatore Tringali
Abstract:
Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$γ(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm ord}(y - y_0)$$ if $|Y| \ge 2$ and $γ(Y) := |Y|$ otherwise. We prove that if $\langle Y \rangle$ is commutative, $Y$ is non-empty, and $X+2Y \neq X + Y + y$ for som…
▽ More
Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$γ(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm ord}(y - y_0)$$ if $|Y| \ge 2$ and $γ(Y) := |Y|$ otherwise. We prove that if $\langle Y \rangle$ is commutative, $Y$ is non-empty, and $X+2Y \neq X + Y + y$ for some $y \in Y$, then $$ |X+Y| \ge |X|+\min(γ(Y), |Y| - 1). $$ Actually, this is obtained from a more general result, which improves on previous work of the author on sumsets in cancellative semigroups, and yields a comprehensive generalization, and in some cases a considerable strengthening, of various additive theorems, notably including the Chowla-Pillai theorem (on sumsets in finite cyclic groups) and the specialization to abelian groups of the Hamidoune-Shatrowsky theorem.
△ Less
Submitted 4 May, 2016; v1 submitted 7 April, 2016;
originally announced April 2016.
-
On the number of distinct prime factors of a sum of super-powers
Authors:
Paolo Leonetti,
Salvatore Tringali
Abstract:
Given $k, \ell \in {\bf N}^+$, let $x_{i,j}$ be, for $1 \le i \le k$ and $0 \le j \le \ell$, some fixed integers, and define, for every $n \in {\bf N}^+$, $s_n := \sum_{i=1}^k \prod_{j=0}^\ell x_{i,j}^{n^j}$. We prove that the following are equivalent:
(a) There are a real $θ> 1$ and infinitely many indices $n$ for which the number of distinct prime factors of $s_n$ is greater than the super-log…
▽ More
Given $k, \ell \in {\bf N}^+$, let $x_{i,j}$ be, for $1 \le i \le k$ and $0 \le j \le \ell$, some fixed integers, and define, for every $n \in {\bf N}^+$, $s_n := \sum_{i=1}^k \prod_{j=0}^\ell x_{i,j}^{n^j}$. We prove that the following are equivalent:
(a) There are a real $θ> 1$ and infinitely many indices $n$ for which the number of distinct prime factors of $s_n$ is greater than the super-logarithm of $n$ to base $θ$.
(b) There do not exist non-zero integers $a_0,b_0,\ldots,a_\ell,b_\ell $ such that $s_{2n}=\prod_{i=0}^\ell a_i^{(2n)^i}$ and $s_{2n-1}=\prod_{i=0}^\ell b_i^{(2n-1)^i}$ for all $n$.
We will give two different proofs of this result, one based on a theorem of Evertse (yielding, for a fixed finite set of primes $\mathcal S$, an effective bound on the number of non-degenerate solutions of an $\mathcal S$-unit equation in $k$ variables over the rationals) and the other using only elementary methods.
As a corollary, we find that, for fixed $c_1, x_1, \ldots,c_k, x_k \in \mathbf N^+$, the number of distinct prime factors of $c_1 x_1^n+\cdots+c_k x_k^n$ is bounded, as $n$ ranges over $\mathbf N^+$, if and only if $x_1=\cdots=x_k$.
△ Less
Submitted 18 November, 2017; v1 submitted 27 November, 2015;
originally announced November 2015.
-
Generalized Goncarov polynomials
Authors:
Rudolph Lorentz,
Salvatore Tringali,
Catherine H. Yan
Abstract:
We introduce the sequence of generalized Gončarov polynomials, which is a basis for the solutions to the Gončarov interpolation problem with respect to a delta operator. Explicitly, a generalized Gončarov basis is a sequence $(t_n(x))_{n \ge 0}$ of polynomials defined by the biorthogonality relation $\varepsilon_{z_i}(\mathfrak d^{i}(t_n(x))) = n! \;\! δ_{i,n}$ for all $i,n \in \mathbf N$, where…
▽ More
We introduce the sequence of generalized Gončarov polynomials, which is a basis for the solutions to the Gončarov interpolation problem with respect to a delta operator. Explicitly, a generalized Gončarov basis is a sequence $(t_n(x))_{n \ge 0}$ of polynomials defined by the biorthogonality relation $\varepsilon_{z_i}(\mathfrak d^{i}(t_n(x))) = n! \;\! δ_{i,n}$ for all $i,n \in \mathbf N$, where $\mathfrak d$ is a delta operator, $\mathcal Z = (z_i)_{i \ge 0}$ a sequence of scalars, and $\varepsilon_{z_i}$ the evaluation at $z_i$. We present algebraic and analytic properties of generalized Gončarov polynomials and show that such polynomial sequences provide a natural algebraic tool for enumerating combinatorial structures with a linear constraint on their order statistics.
△ Less
Submitted 12 November, 2015;
originally announced November 2015.
-
Upper and lower densities have the strong Darboux property
Authors:
Paolo Leonetti,
Salvatore Tringali
Abstract:
Let $\mathcal{P}({\bf N})$ be the power set of $\bf N$. An upper density (on $\bf N$) is a non\-decreasing and subadditive function $μ^\ast: \mathcal{P}({\bf N})\to\bf R$ such that $μ^\ast({\bf N}) = 1$ and $μ^\ast(k \cdot X + h) = \frac{1}{k} μ^\ast(X)$ for all $X \subseteq \bf N$ and $h,k \in {\bf N}^+$, where $k \cdot X + h := \{kx + h: x \in X\}$.
The upper asymptotic, upper Banach, upper lo…
▽ More
Let $\mathcal{P}({\bf N})$ be the power set of $\bf N$. An upper density (on $\bf N$) is a non\-decreasing and subadditive function $μ^\ast: \mathcal{P}({\bf N})\to\bf R$ such that $μ^\ast({\bf N}) = 1$ and $μ^\ast(k \cdot X + h) = \frac{1}{k} μ^\ast(X)$ for all $X \subseteq \bf N$ and $h,k \in {\bf N}^+$, where $k \cdot X + h := \{kx + h: x \in X\}$.
The upper asymptotic, upper Banach, upper logarithmic, upper Buck, upper Pólya, and upper analytic densities are examples of upper densities.
We show that every upper density $μ^\ast$ has the strong Darboux property, and so does the associated lower density, where a function $f: \mathcal P({\bf N}) \to \bf R$ is said to have the strong Darboux property if, whenever $X \subseteq Y \subseteq \bf N$ and $a \in [f(X),f(Y)]$, there is a set $A$ such that $X\subseteq A\subseteq Y$ and $f(A)=a$. In fact, we prove the above under the assumption that the monotonicity of $μ^\ast$ is relaxed to the weaker condition that $μ^\ast(X) \le 1$ for every $X \subseteq \bf N$.
△ Less
Submitted 29 December, 2016; v1 submitted 26 October, 2015;
originally announced October 2015.
-
On the notions of upper and lower density
Authors:
Paolo Leonetti,
Salvatore Tringali
Abstract:
Let $\mathcal{P}({\bf N})$ be the power set of ${\bf N}$. We say that a function $μ^\ast: \mathcal{P}({\bf N}) \to \bf R$ is an upper density if, for all $X,Y\subseteq{\bf N}$ and $h, k\in{\bf N}^+$, the following hold: (F1) $μ^\ast({\bf N}) = 1$; (F2) $μ^\ast(X) \le μ^\ast(Y)$ if $X \subseteq Y$; (F3) $μ^\ast(X \cup Y) \le μ^\ast(X) + μ^\ast(Y)$; (F4) $μ^\ast(k\cdot X) = \frac{1}{k} μ^\ast(X)$, w…
▽ More
Let $\mathcal{P}({\bf N})$ be the power set of ${\bf N}$. We say that a function $μ^\ast: \mathcal{P}({\bf N}) \to \bf R$ is an upper density if, for all $X,Y\subseteq{\bf N}$ and $h, k\in{\bf N}^+$, the following hold: (F1) $μ^\ast({\bf N}) = 1$; (F2) $μ^\ast(X) \le μ^\ast(Y)$ if $X \subseteq Y$; (F3) $μ^\ast(X \cup Y) \le μ^\ast(X) + μ^\ast(Y)$; (F4) $μ^\ast(k\cdot X) = \frac{1}{k} μ^\ast(X)$, where $k \cdot X:=\{kx: x \in X\}$; (F5) $μ^\ast(X + h) = μ^\ast(X)$.
We show that the upper asymptotic, upper logarithmic, upper Banach, upper Buck, upper Polya, and upper analytic densities, together with all upper $α$-densities (with $α$ a real parameter $\ge -1$), are upper densities in the sense of our definition. Moreover, we establish the mutual independence of axioms (F1)-(F5), and we investigate various properties of upper densities (and related functions) under the assumption that (F2) is replaced by the weaker condition that $μ^\ast(X)\le 1$ for every $X\subseteq{\bf N}$.
Overall, this allows us to extend and generalize results so far independently derived for some of the classical upper densities mentioned above, thus introducing a certain amount of unification into the theory.
△ Less
Submitted 9 August, 2019; v1 submitted 15 June, 2015;
originally announced June 2015.
-
On the commutation of generalized means on probability spaces
Authors:
Paolo Leonetti,
Janusz Matkowski,
Salvatore Tringali
Abstract:
Let $f$ and $g$ be real-valued continuous injections defined on a non-empty real interval $I$, and let $(X, \mathscr{L}, λ)$ and $(Y, \mathscr{M}, μ)$ be probability spaces in each of which there is at least one measurable set whose measure is strictly between $0$ and $1$.
We say that $(f,g)$ is a $(λ, μ)$-switch if, for every $\mathscr{L} \otimes \mathscr{M}$-measurable function…
▽ More
Let $f$ and $g$ be real-valued continuous injections defined on a non-empty real interval $I$, and let $(X, \mathscr{L}, λ)$ and $(Y, \mathscr{M}, μ)$ be probability spaces in each of which there is at least one measurable set whose measure is strictly between $0$ and $1$.
We say that $(f,g)$ is a $(λ, μ)$-switch if, for every $\mathscr{L} \otimes \mathscr{M}$-measurable function $h: X \times Y \to \mathbf{R}$ for which $h[X\times Y]$ is contained in a compact subset of $I$, it holds $$ f^{-1}\!\left(\int_X f\!\left(g^{-1}\!\left(\int_Y g \circ h\;dμ\right)\right)d λ\right)\! = g^{-1}\!\left(\int_Y g\!\left(f^{-1}\!\left(\int_X f \circ h\;dλ\right)\right)d μ\right)\!, $$ where $f^{-1}$ is the inverse of the corestriction of $f$ to $f[I]$, and similarly for $g^{-1}$.
We prove that this notion is well-defined, by establishing that the above functional equation is well-posed (the equation can be interpreted as a permutation of generalized means and raised as a problem in the theory of decision making under uncertainty), and show that $(f,g)$ is a $(λ, μ)$-switch if and only if $f = ag + b$ for some $a,b \in \mathbf R$, $a \ne 0$.
△ Less
Submitted 29 June, 2016; v1 submitted 3 March, 2015;
originally announced March 2015.
-
The Davenport constant of a box
Authors:
Alain Plagne,
Salvatore Tringali
Abstract:
Given an additively written abelian group $G$ and a set $X\subseteq G$, we let $\mathscr{B}(X)$ denote the monoid of zero-sum sequences over $X$ and $\mathsf{D}(X)$ the Davenport constant of $\mathscr{B}(X)$, namely the supremum of the positive integers $n$ for which there exists a sequence $x_1 \cdots x_n$ of $\mathscr{B}(X)$ such that $\sum_{i \in I} x_i \ne 0$ for each non-empty proper subset…
▽ More
Given an additively written abelian group $G$ and a set $X\subseteq G$, we let $\mathscr{B}(X)$ denote the monoid of zero-sum sequences over $X$ and $\mathsf{D}(X)$ the Davenport constant of $\mathscr{B}(X)$, namely the supremum of the positive integers $n$ for which there exists a sequence $x_1 \cdots x_n$ of $\mathscr{B}(X)$ such that $\sum_{i \in I} x_i \ne 0$ for each non-empty proper subset $I$ of $\{1, \ldots, n\}$. In this paper, we mainly investigate the case when $G$ is a power of $\mathbb{Z}$ and $X$ is a box (i.e., a product of intervals of $G$). Some mixed sets (e.g., the product of a group by a box) are studied too, and some inverse results are obtained.
△ Less
Submitted 15 February, 2015; v1 submitted 17 May, 2014;
originally announced May 2014.
-
Sums of dilates in ordered groups
Authors:
Alain Plagne,
Salvatore Tringali
Abstract:
We address the "sums of dilates problem" by looking for non-trivial lower bounds on sumsets of the form $k \cdot X + l \cdot X$, where $k$ and $l$ are non-zero integers and $X$ is a subset of a possibly non-abelian group $G$ (written additively). In particular, we investigate the extension of some results so far known only for the integers to the context of torsion-free or linearly orderable group…
▽ More
We address the "sums of dilates problem" by looking for non-trivial lower bounds on sumsets of the form $k \cdot X + l \cdot X$, where $k$ and $l$ are non-zero integers and $X$ is a subset of a possibly non-abelian group $G$ (written additively). In particular, we investigate the extension of some results so far known only for the integers to the context of torsion-free or linearly orderable groups, either abelian or not.
△ Less
Submitted 15 February, 2015; v1 submitted 4 March, 2014;
originally announced March 2014.
-
Plots and Their Applications - Part I: Foundations
Authors:
Salvatore Tringali
Abstract:
The primary goal of this paper is to abstract notions, results and constructions from the theory of categories to the broader setting of plots. Loosely speaking, a plot can be thought of as a non-associative non-unital category with a "relaxed" composition law: Besides categories, this includes as a special case graphs and neocategories in the sense of Ehresmann, Gabriel's quivers, Mitchell's semi…
▽ More
The primary goal of this paper is to abstract notions, results and constructions from the theory of categories to the broader setting of plots. Loosely speaking, a plot can be thought of as a non-associative non-unital category with a "relaxed" composition law: Besides categories, this includes as a special case graphs and neocategories in the sense of Ehresmann, Gabriel's quivers, Mitchell's semicategories, and composition graphs, precategories and semicategories in the sense of Schröder. Among other things, we formulate an "identity-free" definition of isomorphisms, equivalences, and limits, for which we introduce regular representations, punctors, $\mathcal M$-connections, and $\mathcal M$-factorizations. Part of the material will be used in subsequent work to lay the foundation for an abstract theory of "normed structures" serving as a unifying framework for the development of fundamental aspects of the theory of normed spaces, normed groups, etc., on the one hand, and measure spaces, perhaps surprisingly, on the other.
△ Less
Submitted 4 April, 2016; v1 submitted 14 November, 2013;
originally announced November 2013.
-
Cauchy-Davenport type theorems for semigroups
Authors:
Salvatore Tringali
Abstract:
Let $\mathbb{A} = (A, +)$ be a (possibly non-commutative) semigroup. For $Z \subseteq A$ we define $Z^\times := Z \cap \mathbb A^\times$, where $\mathbb A^\times$ is the set of the units of $\mathbb{A}$, and $$γ(Z) := \sup_{z_0 \in Z^\times} \inf_{z_0 \ne z \in Z} {\rm ord}(z - z_0).$$ The paper investigates some properties of $γ(\cdot)$ and shows the following extension of the Cauchy-Davenport th…
▽ More
Let $\mathbb{A} = (A, +)$ be a (possibly non-commutative) semigroup. For $Z \subseteq A$ we define $Z^\times := Z \cap \mathbb A^\times$, where $\mathbb A^\times$ is the set of the units of $\mathbb{A}$, and $$γ(Z) := \sup_{z_0 \in Z^\times} \inf_{z_0 \ne z \in Z} {\rm ord}(z - z_0).$$ The paper investigates some properties of $γ(\cdot)$ and shows the following extension of the Cauchy-Davenport theorem: If $\mathbb A$ is cancellative and $X, Y \subseteq A$, then $$|X+Y| \ge \min(γ(X+Y),|X| + |Y| - 1).$$ This implies a generalization of Kemperman's inequality for torsion-free groups and strengthens another extension of the Cauchy-Davenport theorem, where $\mathbb{A}$ is a group and $γ(X+Y)$ in the above is replaced by the infimum of $|S|$ as $S$ ranges over the non-trivial subgroups of $\mathbb{A}$ (Hamidoune-Károlyi theorem).
△ Less
Submitted 30 January, 2015; v1 submitted 31 July, 2013;
originally announced July 2013.
-
On the divisibility of $a^n \pm b^n$ by powers of $n$
Authors:
Salvatore Tringali
Abstract:
We determine all triples $(a,b,n)$ of positive integers such that $a$ and $b$ are relatively prime and $n^k$ divides $a^n + b^n$ (respectively, $a^n - b^n$), when $k$ is the maximum of $a$ and $b$ (in fact, we answer a slightly more general question). As a by-product, it is found that, for $m, n \in \mathbb N^+$ with $n \ge 2$, $n^m$ divides $ m^n + 1$ if and only if $(m,n)=(2,3)$ or $(1,2)$, whic…
▽ More
We determine all triples $(a,b,n)$ of positive integers such that $a$ and $b$ are relatively prime and $n^k$ divides $a^n + b^n$ (respectively, $a^n - b^n$), when $k$ is the maximum of $a$ and $b$ (in fact, we answer a slightly more general question). As a by-product, it is found that, for $m, n \in \mathbb N^+$ with $n \ge 2$, $n^m$ divides $ m^n + 1$ if and only if $(m,n)=(2,3)$ or $(1,2)$, which generalizes problems from the 1990 and 1999 editions of the International Mathematical Olympiad. The results are related to a conjecture by K. Győry and C. Smyth on the finiteness of the sets $R_k^\pm(a,b) := \{n \in \mathbb N^+: n^k \mid a^n \pm b^n\}$, when $a,b,k$ are fixed integers with $k \ge 3$, $\gcd(a,b) = 1$ and $|ab| \ge 2$.
△ Less
Submitted 3 September, 2013; v1 submitted 1 January, 2013;
originally announced January 2013.
-
On a system of equations with primes
Authors:
Paolo Leonetti,
Salvatore Tringali
Abstract:
Given an integer $n \ge 3$, let $u_1, \ldots, u_n$ be pairwise coprime integers $\ge 2$, $\mathcal D$ a family of nonempty proper subsets of $\{1, \ldots, n\}$ with "enough" elements, and $\varepsilon$ a function $ \mathcal D \to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides $\prod_{i \in I} u_i - \varepsilon(I)$ for some $I \in \mathcal D$, but it does not divide…
▽ More
Given an integer $n \ge 3$, let $u_1, \ldots, u_n$ be pairwise coprime integers $\ge 2$, $\mathcal D$ a family of nonempty proper subsets of $\{1, \ldots, n\}$ with "enough" elements, and $\varepsilon$ a function $ \mathcal D \to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides $\prod_{i \in I} u_i - \varepsilon(I)$ for some $I \in \mathcal D$, but it does not divide $u_1 \cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\varepsilon$ and $\mathcal D$ are subjected to certain restrictions. We use the result to prove that, if $\varepsilon_0 \in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any number of the form $\prod_{p \in B} p - \varepsilon_0$ for which $B$ is a finite nonempty proper subset of $A$, then $A$ contains all the primes.
△ Less
Submitted 13 May, 2014; v1 submitted 4 December, 2012;
originally announced December 2012.
-
A Cauchy-Davenport theorem for semigroups
Authors:
Salvatore Tringali
Abstract:
We generalize the Davenport transform and use it to prove that, for a (possibly non-commutative) cancellative semigroup $\mathbb A = (A, +)$ and non-empty subsets $X,Y$ of $A$ such that the subsemigroup generated by $Y$ is commutative, we have $|X + Y| \ge \min(ω(Y), |X| + |Y| - 1)$, where $ω(Y) := \sup_{y_0 \in Y \cap \mathbb A^{\times}} \inf_{y \in Y \setminus \{y_0\}} |<y - y_0>|$. This carries…
▽ More
We generalize the Davenport transform and use it to prove that, for a (possibly non-commutative) cancellative semigroup $\mathbb A = (A, +)$ and non-empty subsets $X,Y$ of $A$ such that the subsemigroup generated by $Y$ is commutative, we have $|X + Y| \ge \min(ω(Y), |X| + |Y| - 1)$, where $ω(Y) := \sup_{y_0 \in Y \cap \mathbb A^{\times}} \inf_{y \in Y \setminus \{y_0\}} |<y - y_0>|$. This carries over the Cauchy-Davenport theorem to the broader setting of semigroups, and it implies, in particular, an extension of I. Chowla's and S.S. Pillai's theorems for cyclic groups and a notable strengthening of another generalization of the same Cauchy-Davenport theorem to commutative groups, where $ω(Y)$ in the above is replaced by the minimal order of the non-trivial subgroups of $\mathbb A$.
△ Less
Submitted 19 September, 2013; v1 submitted 15 October, 2012;
originally announced October 2012.
-
Small doubling in ordered semigroups
Authors:
Salvatore Tringali
Abstract:
Let $\mathbb{A} = (A, \cdot)$ be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable semigroups, where we say that $\mathbb{A}$ is linearly orderable if there exists a total order $\le$ on $A$ such that $xz < yz$ and $zx < zy$ for all $x,y,z \in A$ with…
▽ More
Let $\mathbb{A} = (A, \cdot)$ be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable semigroups, where we say that $\mathbb{A}$ is linearly orderable if there exists a total order $\le$ on $A$ such that $xz < yz$ and $zx < zy$ for all $x,y,z \in A$ with $x < y$. In particular, we find that if $S$ is a finite subset of $A$ generating a non-abelian subsemigroup of $\mathbb{A}$, then $|S^2| \ge 3|S|-2$. On the road to this goal, we also prove a number of subsidiary results, and most notably that for $S$ a finite subset of $A$ the commutator and the normalizer of $S$ are equal to each other.
△ Less
Submitted 10 April, 2014; v1 submitted 15 August, 2012;
originally announced August 2012.
-
A unified approach to the theory of normed structures - Part I: The single-sorted case
Authors:
Salvatore Tringali
Abstract:
We introduce the concept of a prenormed model of a particular kind of finitary single-sorted first-order theories, interpreted over a category with finite products. These are referred to as prealgebraic theories, for the fact that their signature comprises, together with arbitrary function symbols (of finite ariety), only relation symbols whose interpretation, in any possible model, is a reflexive…
▽ More
We introduce the concept of a prenormed model of a particular kind of finitary single-sorted first-order theories, interpreted over a category with finite products. These are referred to as prealgebraic theories, for the fact that their signature comprises, together with arbitrary function symbols (of finite ariety), only relation symbols whose interpretation, in any possible model, is a reflexive and transitive binary relation, namely a preorder. The result is an abstract approach to the very concept of norm and, consequently, to the theory of normed structures.
△ Less
Submitted 4 April, 2016; v1 submitted 14 May, 2012;
originally announced May 2012.