Showing 1–16 of 16 results for author: Ponomarenko, V

On numerical semigroup elements and the $\ell_0$- and $\ell_\infty$-norms of their factorizations

Authors: Sogol Cyrusian, Alex Domat, Christopher O'Neill, Vadim Ponomarenko, Eric Ren, Mayla Ward

Abstract: A numerical semigroup $S$ is a cofinite, additively-closed subset of $\mathbb Z_{\ge 0}$ that contains 0, and a factorization of $x \in S$ is a $k$-tuple $z = (z_1, \ldots, z_k)$ where $x = z_1a_1 + \cdots + z_ka_k$ expresses $x$ as a sum of generators of $S = \langle a_1, \ldots, a_k \rangle$. Much~of the study of non-unique factorization centers on factorization length $z_1 + \cdots + z_k$, whic… ▽ More A numerical semigroup $S$ is a cofinite, additively-closed subset of $\mathbb Z_{\ge 0}$ that contains 0, and a factorization of $x \in S$ is a $k$-tuple $z = (z_1, \ldots, z_k)$ where $x = z_1a_1 + \cdots + z_ka_k$ expresses $x$ as a sum of generators of $S = \langle a_1, \ldots, a_k \rangle$. Much~of the study of non-unique factorization centers on factorization length $z_1 + \cdots + z_k$, which coincies with the $\ell_1$-norm of $z$ as the $k$-tuple. In this paper, we study the $\ell_\infty$-norm and $\ell_0$-norm of factorizations, viewed as alternative notions of length, with particular focus on the generalizations $Δ_\infty(x)$ and $Δ_0(x)$ of the delta set $Δ(x)$ from classical factorization length. We prove that the $\infty$-delta set $Δ_\infty(x)$ is eventually periodic as a function of $x \in S$, classify $Δ_\infty(S)$ and the 0-delta set $Δ_0(S)$ for several well-studied families of numerical semigroups, and identify families of numerical semigroups demonstrating $Δ_\infty(S)$ and $Δ_0(S)$ can be arbitrarily long intervals and can avoid arbitrarily long subintervals. △ Less

Submitted 15 March, 2025; originally announced March 2025.

Betti elements and full atomic support in rings and monoids

Authors: Scott T. Chapman, Pedro García-Sánchez, Christopher O'Neill, Vadim Ponomarenko

Abstract: Several papers in the recent literature have studied factorization properties of affine monoids using the monoid's Betti elements. In this paper, we extend this study to more general rings and monoids. We open by demonstrating the issues with computing the complete set of Betti elements of a general commutative cancellative monoid, and as an example compute this set for an algebraic number ring of… ▽ More Several papers in the recent literature have studied factorization properties of affine monoids using the monoid's Betti elements. In this paper, we extend this study to more general rings and monoids. We open by demonstrating the issues with computing the complete set of Betti elements of a general commutative cancellative monoid, and as an example compute this set for an algebraic number ring of class number two. We specialize our study to the case where the monoid has a single Betti element, before examining monoids with full atomic support (that is, when each Betti element is divisible by every atom). For such a monoid, we show that the catenary degree, tame degree, and omega value agree and can be computed using the monoid's set of Betti elements. We close by considering Betti elements in block monoids, giving a "Carlitz-like" characterization of block monoids with full atomic support and proving that these are precisely the block monoids having a unique Betti element. △ Less

Submitted 10 March, 2025; v1 submitted 25 February, 2025; originally announced February 2025.

Some asymptotic results on $p$-lengths of factorizations for numerical semigroups and arithmetical congruence monoids

Authors: Spencer Chapman, Eli B. Dugan, Shadi Gaskari, Emi Lycan, Sarah Mendoza De La Cruz, Christopher O'Neill, Vadim Ponomarenko

Abstract: A factorization of an element $x$ in a monoid $(M, \cdot)$ is an expression of the form $x = u_1^{z_1} \cdots u_k^{z_k}$ for irreducible elements $u_1, \ldots, u_k \in M$, and the length of such a factorization is $z_1 + \cdots + z_k$. We introduce the notion of $p$-length, a generalized notion of factorization length obtained from the $\ell_p$-norm of the sequence $(z_1, \ldots, z_k)$, and presen… ▽ More A factorization of an element $x$ in a monoid $(M, \cdot)$ is an expression of the form $x = u_1^{z_1} \cdots u_k^{z_k}$ for irreducible elements $u_1, \ldots, u_k \in M$, and the length of such a factorization is $z_1 + \cdots + z_k$. We introduce the notion of $p$-length, a generalized notion of factorization length obtained from the $\ell_p$-norm of the sequence $(z_1, \ldots, z_k)$, and present asymptotic results on extremal $p$-lengths of factorizations for large elements of numerical semigroups (additive submonoids of $\mathbb Z_{\ge 0}$) and arithmetical congruence monoids (certain multiplicative submonoids of $\mathbb Z_{\ge 1}$). Our results, inspired by analogous results for classical factorization length, demonstrate the types of combinatorial statements one may hope to obtain for sufficiently nice monoids, as well as the subtlety such asymptotic questions can have for general monoids. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Perspicacious $l_p$ norm parameters

Authors: Christopher O'Neill, Vadim Ponomarenko, Eric Ren

Abstract: Fix $t\in [1,\infty]$. Let $S$ be an atomic commutative semigroup and, for all $x\in S$, let $\mathscr{L}_t(S):=\{\|f\|_t:f\in Z(x)\}$ be the "$t$-length set" of $x$ (using the standard $l_p$-space definition of $\|\cdot\|_t$). The $t$-Delta set of $x$ (denoted $Δ_t(S)$) is the set of gaps between consecutive elements of $\mathscr{L}_t(S)$; the Delta set of $S$ is then defined by… ▽ More Fix $t\in [1,\infty]$. Let $S$ be an atomic commutative semigroup and, for all $x\in S$, let $\mathscr{L}_t(S):=\{\|f\|_t:f\in Z(x)\}$ be the "$t$-length set" of $x$ (using the standard $l_p$-space definition of $\|\cdot\|_t$). The $t$-Delta set of $x$ (denoted $Δ_t(S)$) is the set of gaps between consecutive elements of $\mathscr{L}_t(S)$; the Delta set of $S$ is then defined by $\bigcup\limits_{x\in S} Δ_t(S)$. Though all existing literature on this topic considers the $1$-Delta set, recent results on the $t$-elasticity of Numerical Semigroups (Behera et. al.) for $t\neq 1$ have brought attention to other invariants, such as the $t$-Delta set for $t\neq 1$, as well. Here we characterize $Δ_t(S)$ for all numerical semigroups $\langle a_1,a_2\rangle$ and all $t\in(1,\infty)$ outside a small family of extremal examples. We also determine the cardinality and describe the distribution of that aberrant family. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Length density and numerical semigroups

Authors: Cole Brower, Scott Chapman, Travis Kulhanek, Joseph McDonough, Christopher O'Neill, Vody Pavlyuk, Vadim Ponomarenko

Abstract: Length density is a recently introduced factorization invariant, assigned to each element $n$ of a cancellative commutative atomic semigroup $S$, that measures how far the set of factorization lengths of $n$ is from being a full interval. We examine length density of elements of numerical semigroups (that is, additive subsemigroups of the non-negative integers). Length density is a recently introduced factorization invariant, assigned to each element $n$ of a cancellative commutative atomic semigroup $S$, that measures how far the set of factorization lengths of $n$ is from being a full interval. We examine length density of elements of numerical semigroups (that is, additive subsemigroups of the non-negative integers). △ Less

Submitted 20 October, 2021; originally announced October 2021.

Complementary Numerical Sets

Authors: Matthew Guhl, Jazmine Juarez, Vadim Ponomarenko, Rebecca Rechkin, Deepesh Singhal

Abstract: A numerical set $S$ is a cofinite subset of $\mathbb{N}$ which contains $0$. We use the natural bijection between numerical sets and Young diagrams to define a numerical set $\widetilde{S}$, such that their Young diagrams are complements. We determine various properties of $\widetilde{S}$, particularly with an eye to closure under addition (for both $S$ and $\widetilde{S}$), which promotes a numer… ▽ More A numerical set $S$ is a cofinite subset of $\mathbb{N}$ which contains $0$. We use the natural bijection between numerical sets and Young diagrams to define a numerical set $\widetilde{S}$, such that their Young diagrams are complements. We determine various properties of $\widetilde{S}$, particularly with an eye to closure under addition (for both $S$ and $\widetilde{S}$), which promotes a numerical set to become a numerical semigroup. △ Less

Submitted 11 September, 2020; originally announced September 2020.

Comments: 12 pages

On length densities

Authors: Scott T. Chapman, Christopher O'Neill, Vadim Ponomarenko

Abstract: For a commutative cancellative monoid $M$, we introduce the notion of the length density of both a nonunit $x\in M$, denoted $\mathrm{LD}(x)$, and the entire monoid $M$, denoted $\mathrm{LD}(M)$. This invariant is related to three widely studied invariants in the theory of non-unit factorizations, $L(x)$, $\ell(x)$, and $ρ(x)$. We consider some general properties of $\mathrm{LD}(x)$ and… ▽ More For a commutative cancellative monoid $M$, we introduce the notion of the length density of both a nonunit $x\in M$, denoted $\mathrm{LD}(x)$, and the entire monoid $M$, denoted $\mathrm{LD}(M)$. This invariant is related to three widely studied invariants in the theory of non-unit factorizations, $L(x)$, $\ell(x)$, and $ρ(x)$. We consider some general properties of $\mathrm{LD}(x)$ and $\mathrm{LD}(M)$ and give a wide variety of examples using numerical semigroups, Puiseux monoids, and Krull monoids. While we give an example of a monoid $M$ with irrational length density, we show that if $M$ is finitely generated, then $\mathrm{LD}(M)$ is rational and there is a nonunit element $x\in M$ with $\mathrm{LD}(M)=\mathrm{LD}(x)$ (such a monoid is said to have accepted length density). While it is well-known that the much studied asymptotic versions of $L(x)$, $\ell (x)$ and $ρ(x)$ (denoted $\overline{L}(x)$, $\overline{\ell}(x)$, and $\overlineρ (x)$) always exist, we show the somewhat surprising result that $\overline{\mathrm{LD}}(x) = \lim_{n\rightarrow \infty} \mathrm{LD}(x^n)$ may not exist. We also give some finiteness conditions on $M$ that force the existence of $\overline{\mathrm{LD}}(x)$. △ Less

Submitted 15 August, 2020; originally announced August 2020.

Elasticity in Apery sets

Authors: Jackson Autry, Tara Gomes, Christopher O'Neill, Vadim Ponomarenko

Abstract: A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers, containing zero, with finite complement. Its multiplicity $m$ is its smallest nonzero element. The Apery set of $S$ is the set $\text{Ap}(S) = \{n \in S : n-m \notin S\}$. Fixing a numerical semigroup, we ask how many elements of its Apery set have nonunique factorization, and define several new invariants. A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers, containing zero, with finite complement. Its multiplicity $m$ is its smallest nonzero element. The Apery set of $S$ is the set $\text{Ap}(S) = \{n \in S : n-m \notin S\}$. Fixing a numerical semigroup, we ask how many elements of its Apery set have nonunique factorization, and define several new invariants. △ Less

Submitted 18 August, 2019; originally announced August 2019.

Membership and elasticity in certain affine monoids

Authors: Jackson Autry, Vadim Ponomarenko

Abstract: For affine monoids of dimension 2 with embedding dimension 2 and 3, we study the problem of determining when a vector is an element of the monoid, and the problem of determining the elasticity of a monoid element. For affine monoids of dimension 2 with embedding dimension 2 and 3, we study the problem of determining when a vector is an element of the monoid, and the problem of determining the elasticity of a monoid element. △ Less

Submitted 6 December, 2018; originally announced December 2018.

Augmented Hilbert series of numerical semigroups

Authors: Jeske Glenn, Christopher O'Neill, Vadim Ponomarenko, Benjamin Sepanski

Abstract: A numerical semigroup $S$ is a subset of the non-negative integers containing $0$ that is closed under addition. The Hilbert series of $S$ (a formal power series equal to the sum of terms $t^n$ over all $n \in S$) can be expressed as a rational function in $t$ whose numerator is characterized in terms of the topology of a simplicial complex determined by membership in $S$. In this paper, we obtain… ▽ More A numerical semigroup $S$ is a subset of the non-negative integers containing $0$ that is closed under addition. The Hilbert series of $S$ (a formal power series equal to the sum of terms $t^n$ over all $n \in S$) can be expressed as a rational function in $t$ whose numerator is characterized in terms of the topology of a simplicial complex determined by membership in $S$. In this paper, we obtain analogous rational expressions for the related power series whose coefficient of $t^n$ equals $f(n)$ for one of several semigroup-theoretic invariants $f:S \to \mathbb R$ known to be eventually quasipolynomial. △ Less

Submitted 22 March, 2019; v1 submitted 28 June, 2018; originally announced June 2018.

Squarefree divisor complexes of certain numerical semigroup elements

Authors: Jackson Autry, Paige Graves, Jessie Loucks, Christopher O'Neill, Vadim Ponomarenko, Samuel Yih

Abstract: A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers with finite complement, and the squarefree divisor complex of an element $m \in S$ is a simplicial complex $Δ_m$ that arises in the study of multigraded Betti numbers. We compute squarefree divisor complexes for certain classes numerical semigroups, and exhibit a new family of simplicial complexes that are occur as… ▽ More A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers with finite complement, and the squarefree divisor complex of an element $m \in S$ is a simplicial complex $Δ_m$ that arises in the study of multigraded Betti numbers. We compute squarefree divisor complexes for certain classes numerical semigroups, and exhibit a new family of simplicial complexes that are occur as the squarefree divisor complex of some numerical semigroup element. △ Less

Submitted 18 April, 2018; originally announced April 2018.

Journal ref: Involve 14 (2021) 1-9

On the set of catenary degrees of finitely generated cancellative commutative monoids

Authors: Christopher O'Neill, Vadim Ponomarenko, Reuben Tate, Gautam Webb

Abstract: The catenary degree of an element $n$ of a cancellative commutative monoid $S$ is a nonnegative integer measuring the distance between the irreducible factorizations of $n$. The catenary degree of the monoid $S$, defined as the supremum over all catenary degrees occurring in $S$, has been heavily studied as an invariant of nonunique factorization. In this paper, we investigate the set… ▽ More The catenary degree of an element $n$ of a cancellative commutative monoid $S$ is a nonnegative integer measuring the distance between the irreducible factorizations of $n$. The catenary degree of the monoid $S$, defined as the supremum over all catenary degrees occurring in $S$, has been heavily studied as an invariant of nonunique factorization. In this paper, we investigate the set $\mathsf C(S)$ of catenary degrees achieved by elements of $S$ as a factorization invariant, focusing on the case where $S$ in finitely generated (where $\mathsf C(S)$ is known to be finite). Answering an open question posed by García-Sánchez, we provide a method to compute the smallest nonzero element of $\mathsf C(S)$ that parallels a well-known method of computing the maximum value. We also give several examples demonstrating certain extremal behavior for $\mathsf C(S)$, and present some open questions for further study. △ Less

Submitted 19 January, 2016; v1 submitted 24 June, 2015; originally announced June 2015.

Journal ref: International Journal of Algebra and Computation 26 (2016), no. 3, 565-576

Numerical semigroups on compound sequences

Authors: Claire Kiers, Christopher O'Neill, Vadim Ponomarenko

Abstract: We generalize the geometric sequence $\{a^p, a^{p-1}b, a^{p-2}b^2,...,b^p\}$ to allow the $p$ copies of $a$ (resp. $b$) to all be different. We call the sequence $\{a_1a_2a_3\cdots a_p, b_1a_2a_3\cdots a_p, b_1b_2a_3\cdots a_p,\ldots, b_1b_2b_3\cdots b_p\}$ a \emph{compound sequence}. We consider numerical semigroups whose minimal set of generators form a compound sequence, and compute various sem… ▽ More We generalize the geometric sequence $\{a^p, a^{p-1}b, a^{p-2}b^2,...,b^p\}$ to allow the $p$ copies of $a$ (resp. $b$) to all be different. We call the sequence $\{a_1a_2a_3\cdots a_p, b_1a_2a_3\cdots a_p, b_1b_2a_3\cdots a_p,\ldots, b_1b_2b_3\cdots b_p\}$ a \emph{compound sequence}. We consider numerical semigroups whose minimal set of generators form a compound sequence, and compute various semigroup and arithmetical invariants, including the Frobenius number, Apéry sets, Betti elements, and catenary degree. We compute bounds on the delta set and the tame degree. △ Less

Submitted 25 June, 2015; v1 submitted 20 March, 2015; originally announced March 2015.

Journal ref: Communications in Algebra 44 (2016), no. 9, 3842-3852

Arithmetic-Progression-Weighted Subsequence Sums

Authors: David J. Grynkiewicz, Andreas Philipp, Vadim Ponomarenko

Abstract: Let $G$ be an abelian group, let $S$ be a sequence of terms $s_1,s_2,...,s_{n}\in G$ not all contained in a coset of a proper subgroup of $G$, and let $W$ be a sequence of $n$ consecutive integers. Let $$W\odot S=\{w_1s_1+...+w_ns_n:\;w_i {a term of} W,\, w_i\neq w_j{for} i\neq j\},$$ which is a particular kind of weighted restricted sumset. We show that $|W\odot S|\geq \min\{|G|-1,\,n\}$, that… ▽ More Let $G$ be an abelian group, let $S$ be a sequence of terms $s_1,s_2,...,s_{n}\in G$ not all contained in a coset of a proper subgroup of $G$, and let $W$ be a sequence of $n$ consecutive integers. Let $$W\odot S=\{w_1s_1+...+w_ns_n:\;w_i {a term of} W,\, w_i\neq w_j{for} i\neq j\},$$ which is a particular kind of weighted restricted sumset. We show that $|W\odot S|\geq \min\{|G|-1,\,n\}$, that $W\odot S=G$ if $n\geq |G|+1$, and also characterize all sequences $S$ of length $|G|$ with $W\odot S\neq G$. This result then allows us to characterize when a linear equation $$a_1x_1+...+a_rx_r\equiv α\mod n,$$ where $α,a_1,..., a_r\in \Z$ are given, has a solution $(x_1,...,x_r)\in \Z^r$ modulo $n$ with all $x_i$ distinct modulo $n$. As a second simple corollary, we also show that there are maximal length minimal zero-sum sequences over a rank 2 finite abelian group $G\cong C_{n_1}\oplus C_{n_2}$ (where $n_1\mid n_2$ and $n_2\geq 3$) having $k$ distinct terms, for any $k\in [3,\min\{n_1+1,\,\exp(G)\}]$. Indeed, apart from a few simple restrictions, any pattern of multiplicities is realizable for such a maximal length minimal zero-sum sequence. △ Less

Submitted 28 June, 2011; v1 submitted 25 February, 2011; originally announced February 2011.

MSC Class: 11B50; 11B75; 11D79; 11P70

The Problem of Modelling of Economic Dynamics in Differential Form

Authors: S. I. Chernyshov, V. S. Ponomarenko, A. V. Voronin

Abstract: Traditional models of macroeconomic dynamics are fundamentally incorrect. The reason lies in a misunderstanding of peculiarities of the analysis of infinitesimal quantities. However, even those types of solutions that are envisaged by the above-mentioned models are nonrepresentative in the sense of the reflection of realities. It became obvious that the techniques of the theory of linear differe… ▽ More Traditional models of macroeconomic dynamics are fundamentally incorrect. The reason lies in a misunderstanding of peculiarities of the analysis of infinitesimal quantities. However, even those types of solutions that are envisaged by the above-mentioned models are nonrepresentative in the sense of the reflection of realities. It became obvious that the techniques of the theory of linear differential equations were insufficient here. Accordingly, the scientists' attention switched to the theory of nonlinear differential equations. At the same time, balance and, accordingly, the model with matrix properties are objectively inherent in the economic system. For the reduction of this model to a differential form, there exist rather elementary means that proved to be unclaimed. Macroeconomic rhetoric - the power of the accelerator, a lag on the part of demand, etc. - accompanied by the use of a lot of abstract coefficients prevailed. However, there is no organic interrelation between matrix and nonlinear differential equations. On the contrary, it can be said that linear theory of integral equations originated in matrix analysis. The Fredholm linear integral equation of the second kind with a parameter-dependent kernel proves to be rather representative with regard to the class of possible solutions. It seems that it can be used for the description of any zigzags of the economy. The price one has to pay for this is the nontriviality of existing theory. △ Less

Submitted 24 July, 2008; v1 submitted 23 April, 2008; originally announced April 2008.

Comments: 36 pages; made minor textual corrections

MSC Class: 37N40; 34L99

The Renyi-Ulam pathological liar game with a fixed number of lies

Authors: Robert B. Ellis, Vadim Ponomarenko, Catherine H. Yan

Abstract: The $q$-round Renyi-Ulam pathological liar game with $k$ lies on the set $[n]:=\{1,...,n\}$ is a 2-player perfect information zero sum game. In each round Paul chooses a subset $A\subseteq [n]$ and Carole either assigns 1 lie to each element of $A$ or to each element of $[n]\setminus A$. Paul wins if after $q$ rounds there is at least one element with $k$ or fewer lies. The game is dual to the ori… ▽ More The $q$-round Renyi-Ulam pathological liar game with $k$ lies on the set $[n]:=\{1,...,n\}$ is a 2-player perfect information zero sum game. In each round Paul chooses a subset $A\subseteq [n]$ and Carole either assigns 1 lie to each element of $A$ or to each element of $[n]\setminus A$. Paul wins if after $q$ rounds there is at least one element with $k$ or fewer lies. The game is dual to the original Renyi-Ulam liar game for which the winning condition is that at most one element has $k$ or fewer lies. We prove the existence of a winning strategy for Paul to the existence of a covering of the discrete hypercube with certain relaxed Hamming balls. Defining $F^*_k(q)$ to be the minimum $n$ such that Paul can win the $q$-round pathological liar game with $k$ lies and initial set $[n]$, we find $F^*_1(q)$ and $F^*_2(q)$ exactly. For fixed $k$ we prove that $F_k^*(q)$ is within an absolute constant (depending only on $k$) of the sphere bound, $2^q/\binom{q}{\leq k}$; this is already known to hold for the original Renyi-Ulam liar game due to a result of J. Spencer. △ Less

Submitted 10 November, 2010; v1 submitted 28 July, 2004; originally announced July 2004.

Comments: 18 pages, 1 figure * Typo corrected in Definition 17. * Reference information completed for reference [4]

MSC Class: 91A46 (Primary) 05A99; 05B40 (Secondary)