A problem of integer partitions and numerical semigroups

2018 ◽  
Vol 149 (04) ◽  
pp. 969-978
Author(s):  
J. C. Rosales ◽  
M. B. Branco

AbstractLet C be a set of positive integers. In this paper, we obtain an algorithm for computing all subsets A of positive integers which are minimals with the condition that if x1 + … + xn is a partition of an element in C, then at least a summand of this partition belongs to A. We use techniques of numerical semigroups to solve this problem because it is equivalent to give an algorithm that allows us to compute all the numerical semigroups which are maximals with the condition that has an empty intersection with the set C.

2021 ◽  
Vol Volume 43 - Special... ◽  
Author(s):  
Ken Ono ◽  
Robert Schneider ◽  
Ian Wagner

International audience In earlier work generalizing a 1977 theorem of Alladi, the authors proved a partition-theoretic formula to compute arithmetic densities of certain subsets of the positive integers N as limiting values of q-series as q → ζ a root of unity (instead of using the usual Dirichlet series to compute densities), replacing multiplicative structures of N by analogous structures in the integer partitions P. In recent work, Wang obtains a wide generalization of Alladi's original theorem, in which arithmetic densities of subsets of prime numbers are computed as values of Dirichlet series arising from Dirichlet convolutions. Here the authors prove that Wang's extension has a partition-theoretic analogue as well, yielding new q-series density formulas for any subset of N. To do so, we outline a theory of q-series density calculations from first principles, based on a statistic we call the "q-density" of a given subset. This theory in turn yields infinite families of further formulas for arithmetic densities.


Mathematics ◽  
2021 ◽  
Vol 9 (12) ◽  
pp. 1370
Author(s):  
E. R. García Barroso ◽  
J. I. García-García ◽  
A. Vigneron-Tenorio

In this work, we present a new class of numerical semigroups called GSI-semigroups. We see the relations between them and other families of semigroups and we explicitly give their set of gaps. Moreover, an algorithm to obtain all the GSI-semigroups up to a given Frobenius number is provided and the realization of positive integers as Frobenius numbers of GSI-semigroups is studied.


2009 ◽  
Vol 52 (4) ◽  
pp. 598-612
Author(s):  
M. A. Moreno ◽  
J. Nicola ◽  
E. Pardo ◽  
H. Thomas

AbstractWe say that a numerical semigroup isd-squashedif it can be written in the formforN,a1, … ,adpositive integers with gcd(a1, … ,ad) = 1. Rosales and Urbano have shown that a numerical semigroup is 2-squashed if and only if it is proportionally modular.Recent works by Rosaleset al.give a concrete example of a numerical semigroup that cannot be written as an intersection of 2-squashed semigroups. We will show the existence of infinitely many numerical semigroups that cannot be written as an intersection of 2-squashed semigroups. We also will prove the same result for 3-squashed semigroups. We conjecture that there are numerical semigroups that cannot be written as the intersection ofd-squashed semigroups for any fixedd, and we prove some partial results towards this conjecture.


2017 ◽  
Vol 13 (05) ◽  
pp. 1335-1347 ◽  
Author(s):  
Ze Gu ◽  
Xilin Tang

Let [Formula: see text] be two positive integers such that [Formula: see text] and [Formula: see text] the numerical semigroup generated by [Formula: see text]. Then [Formula: see text] is the Thabit numerical semigroup introduced by J. C. Rosales, M. B. Branco and D. Torrão. In this paper, we give formulas for computing the Frobenius number, the genus and the embedding dimension of [Formula: see text].


1981 ◽  
Vol 24 (3) ◽  
pp. 321-325 ◽  
Author(s):  
H. Tverberg

A new proof is given of the following result: Let m and d be positive integers, and let a set of md + m − d points be given in d-dimensional space. Then the set can be partitioned into m sets such that the m convex polytopes spanned by the sets have a non-empty intersection.


10.37236/1974 ◽  
2005 ◽  
Vol 12 (1) ◽  
Author(s):  
Yu. Yakubovich

Given two positive integers $m\le n$, we consider the set of partitions $\lambda=(\lambda_1,\dots,\lambda_\ell,0,\dots)$, $\lambda_1\ge\lambda_2\ge\dots$, of $n$ such that the sum of its parts over a fixed increasing subsequence $(a_j)$ is $m$: $\lambda_{a_1}+\lambda_{a_2}+\dots=m$. We show that the number of such partitions does not depend on $n$ if $m$ is either constant and small relatively to $n$ or depend on $n$ but is close to its largest possible value: $n-ma_1=k$ for fixed $k$ (in the latter case some additional requirements on the sequence $(a_j)$ are needed). This number is equal to the number of so-called colored partitions of $m$ (respectively $k$). It is proved by constructing bijections between these objects.


2016 ◽  
Vol 146 (5) ◽  
pp. 1081-1090
Author(s):  
Aureliano M. Robles-Pérez ◽  
José Carlos Rosales

We study some questions on numerical semigroups of type 2. On the one hand, we investigate the relation between the genus and the Frobenius number. On the other hand, for two fixed positive integers g1, g2, we give necessary and sufficient conditions in order to have a numerical semigroup S such that {g1, g2} is the set of its pseudo-Frobenius numbers and, moreover, we explicitly build families of such numerical semigroups.


2016 ◽  
Author(s):  
David Barner

Perceptual representations – e.g., of objects or approximate magnitudes –are often invoked as building blocks that children combine with linguisticsymbols when they acquire the positive integers. Systems of numericalperception are either assumed to contain the logical foundations ofarithmetic innately, or to supply the basis for their induction. Here Ipropose an alternative to this general framework, and argue that theintegers are not learned from perceptual systems, but instead arise toexplain perception as part of language acquisition. Drawing oncross-linguistic data and developmental data, I show that small numbers(1-4) and large numbers (~5+) arise both historically and in individualchildren via entirely distinct mechanisms, constituting independentlearning problems, neither of which begins with perceptual building blocks.Specifically, I propose that children begin by learning small numbers(i.e., *one, two, three*) using the same logical resources that supportother linguistic markers of number (e.g., singular, plural). Several yearslater, children discover the logic of counting by inferring the logicalrelations between larger number words from their roles in blind countingprocedures, and only incidentally associate number words with perception ofapproximate magnitudes, in an *ad hoc* and highly malleable fashion.Counting provides a form of explanation for perception but is not causallyderived from perceptual systems.


10.37236/1729 ◽  
2003 ◽  
Vol 10 (1) ◽  
Author(s):  
Graham Denham

Let $a_1,\ldots,a_n$ be distinct, positive integers with $(a_1,\ldots,a_n)=1$, and let k be an arbitrary field. Let $H(a_1,\ldots,a_n;z)$ denote the Hilbert series of the graded algebra k$[t^{a_1},t^{a_2},\ldots,t^{a_n}]$. We show that, when $n=3$, this rational function has a simple expression in terms of $a_1,a_2,a_3$; in particular, the numerator has at most six terms. By way of contrast, it is known that no such expression exists for any $n\geq4$.


10.37236/1735 ◽  
2003 ◽  
Vol 10 (1) ◽  
Author(s):  
Dhruv Mubayi ◽  
Yi Zhao

Given positive integers $n,k,t$, with $2 \le k\le n$, and $t < 2^k$, let $m(n,k,t)$ be the minimum size of a family ${\cal F}$ of nonempty subsets of $[n]$ such that every $k$-set in $[n]$ contains at least $t$ sets from ${\cal F}$, and every $(k-1)$-set in $[n]$ contains at most $t-1$ sets from ${\cal F}$. Sloan et al. determined $m(n, 3, 2)$ and Füredi et al. studied $m(n, 4, t)$ for $t=2, 3$. We consider $m(n, 3, t)$ and $m(n, 4, t)$ for all the remaining values of $t$ and obtain their exact values except for $k=4$ and $t= 6, 7, 11, 12$. For example, we prove that $ m(n, 4, 5) = {n \choose 2}-17$ for $n\ge 160$. The values of $m(n, 4, t)$ for $t=7,11,12$ are determined in terms of well-known (and open) Turán problems for graphs and hypergraphs. We also obtain bounds of $m(n, 4, 6)$ that differ by absolute constants.


Sign in / Sign up

Export Citation Format

Share Document