-
About Some Relatives of Palindromes
Authors:
Viorel Nitica,
Andrei Török
Abstract:
We introduce two new classes of integers. The first class consists of numbers $N$ for which there exists at least one nonnegative integer $A$, such that the sum of $A$ and the sum of digits of $N$, added to the reversal of the sum, gives $N$. The second class consists of numbers $N$ for which there exists at least one nonnegative integer $A$, such that the sum of $A$ and the sum of the digits of…
▽ More
We introduce two new classes of integers. The first class consists of numbers $N$ for which there exists at least one nonnegative integer $A$, such that the sum of $A$ and the sum of digits of $N$, added to the reversal of the sum, gives $N$. The second class consists of numbers $N$ for which there exists at least one nonnegative integer $A$, such that the sum of $A$ and the sum of the digits of $N$, multiplied by the reversal of the sum, gives $N$. All palindromes that either have an even number of digits or an odd number of digits and the middle digit even belong to the first class, and all squares of palindromes with at least two digits belong to the second class. These classes contain and are strictly larger than the classes of $b$-ARH numbers, respectively $b$-MRH numbers introduced in Ni\c tic\u a \cite{N1}.
△ Less
Submitted 2 August, 2019;
originally announced August 2019.
-
Infinite sets of $b$-additive and $b$-multiplicative Ramanujan-Hardy numbers
Authors:
Viorel Nitica
Abstract:
Let $b$ be a numeration base. A $b$-additive Ramanujan-Hardy number $N$ is an integer for which there exists at least an integer $M$, called additive multiplier, such that the product of $M$ and the sum of base $b$ digits of $N$, added to the reversal of the product, gives $N$. We show that for any $b$ there exists an infinity of $b$-additive Ramanujan-Hardy numbers and an infinity of additive mul…
▽ More
Let $b$ be a numeration base. A $b$-additive Ramanujan-Hardy number $N$ is an integer for which there exists at least an integer $M$, called additive multiplier, such that the product of $M$ and the sum of base $b$ digits of $N$, added to the reversal of the product, gives $N$. We show that for any $b$ there exists an infinity of $b$-additive Ramanujan-Hardy numbers and an infinity of additive multipliers. A $b$-multiplicative Ramanujan-Hardy number $N$ is an integer for which there exists at least an integer $M$, called multiplicative multiplier, such that the product of $M$ and the sum of base $b$ digits of $N$, multiplied by the reversal of the product, gives $N$. We show that for an even $b$, $b\equiv 1 \pmod {3}$, and for $b=2$, there exists an infinity of $b$-multiplicative Ramanujan-Hardy numbers and an infinity of multiplicative multipliers.
These results completely answer two questions and partially answer two other questions among those asked in V. Niţică, \emph{About some relatives of the taxicab number}, arXiv:1805.10739v4.
△ Less
Submitted 25 November, 2018;
originally announced November 2018.
-
High degree $b$-Niven numbers
Authors:
Viorel Nitica
Abstract:
Let $b$ be a numeration base. A $b$-Niven number is one that is divisible by the sum of its base $b$ digits. We introduce high degree $b$-Niven numbers. These are $b$-Niven numbers that have a power greater than $1$ that is $b$-Niven number. Our main result shows that for each degree there exists an infinite set of bases $b$ for which $b$-Niven numbers of that degree exist. The high degree $b$-Niv…
▽ More
Let $b$ be a numeration base. A $b$-Niven number is one that is divisible by the sum of its base $b$ digits. We introduce high degree $b$-Niven numbers. These are $b$-Niven numbers that have a power greater than $1$ that is $b$-Niven number. Our main result shows that for each degree there exists an infinite set of bases $b$ for which $b$-Niven numbers of that degree exist. The high degree $b$-Niven numbers are given by explicit formulas and have all digits different from zero.
△ Less
Submitted 6 July, 2018;
originally announced July 2018.
-
About Some Relatives of the Taxicab Number
Authors:
Viorel Nitica
Abstract:
The taxicab number, $1729$, has the following property. If we add its digits we obtain $19$. The number obtained from $19$ by reversing the order of its digits is $91$. If we multiply $19$ by $91$ we obtain again $1729$. In the paper we study various generalizations of this property.
The taxicab number, $1729$, has the following property. If we add its digits we obtain $19$. The number obtained from $19$ by reversing the order of its digits is $91$. If we multiply $19$ by $91$ we obtain again $1729$. In the paper we study various generalizations of this property.
△ Less
Submitted 3 November, 2018; v1 submitted 27 May, 2018;
originally announced May 2018.
-
The tilings of deficient squares by ribbon L-tetrominoes are diagonally cracked
Authors:
Viorel Nitica
Abstract:
We consider tilings of deficient rectangles by the set $\mathcal{T}_4$ of ribbon $L$-tetrominoes. A tiling exists iff the rectangle is a square of odd side. The missing cell is on the main NW--SE diagonal, in an odd position if the square is $(4m+1)\times (4m+1)$ and in an even position for $(4m+3)\times (4m+3)$. The majority of the tiles in a tiling are paired and each pair tiles a $2\times 4$ re…
▽ More
We consider tilings of deficient rectangles by the set $\mathcal{T}_4$ of ribbon $L$-tetrominoes. A tiling exists iff the rectangle is a square of odd side. The missing cell is on the main NW--SE diagonal, in an odd position if the square is $(4m+1)\times (4m+1)$ and in an even position for $(4m+3)\times (4m+3)$. The majority of the tiles in a tiling are paired and each pair tiles a $2\times 4$ rectangle. The tiles in an irregular position and the missing cell form a NW--SE diagonal crack, located in a thin region symmetric about the diagonal, made out of $3\times 3$ squares that overlap over one of the corner cells. The crack divides the square in two equal area parts. The number of tilings of a $(4m+1)\times (4m+1)$ deficient square is equal to the number of tilings by dominoes of a $2m\times 2m$ square. The number of tilings of a $(4m+3)\times (4m+3)$ deficient square is twice the number of tilings by dominoes of a $(2m+1)\times (2m+1)$ deficient square, with missing cell placed on the main diagonal. If an extra $2\times 2$ tile is added to $\mathcal{T}_4$, we call the new tile set $\mathcal{T}_4^+$. A tiling of a deficient rectangle by $\mathcal{T}_4^+$ exists iff the rectangle is a square of odd side. The missing cell is on the main NW--SE diagonal, in an odd position if the square is $(4m+1)\times (4m+1)$ and in an even position for $(4m+3)\times (4m+3)$. The majority of the tiles in a tiling are either paired tetrominoes and each pair tiles a $2\times 4$ rectangle, or are $2\times 2$ squares. The tiles in an irregular position and the missing cell form a NW--SE diagonal crack, located in a thin region symmetric about the diagonal, made out of $3\times 3$ squares that overlap over one of the corner cells.
△ Less
Submitted 9 February, 2017; v1 submitted 2 January, 2017;
originally announced January 2017.
-
Signed tilings by ribbon L n-ominoes, n even, via Groebner bases
Authors:
Kenneth Gill,
Viorel Nitica
Abstract:
Let $\mathcal{T}_n$ be the set of ribbon $L$-shaped $n$-ominoes for some $n\ge 4$ even, and let $\mathcal{T}_n^+$ be $\mathcal{T}_n$ with an extra $2\times 2$ square. We investigate signed tilings of rectangles by $\mathcal{T}_n$ and $\mathcal{T}_n^+$. We show that a rectangle has a signed tiling by $\mathcal{T}_n$ if and only if both sides of the rectangle are even and one of them is divisible by…
▽ More
Let $\mathcal{T}_n$ be the set of ribbon $L$-shaped $n$-ominoes for some $n\ge 4$ even, and let $\mathcal{T}_n^+$ be $\mathcal{T}_n$ with an extra $2\times 2$ square. We investigate signed tilings of rectangles by $\mathcal{T}_n$ and $\mathcal{T}_n^+$. We show that a rectangle has a signed tiling by $\mathcal{T}_n$ if and only if both sides of the rectangle are even and one of them is divisible by $n$, or if one of the sides is odd and the other side is divisible by $n\left (\frac{n}{2}-2\right ).$ We also show that a rectangle has a signed tiling by $\mathcal{T}_n^+, n\ge 6$ even, if and only if both sides of the rectangle are even, or if one of the sides is odd and the other side is divisible by $n\left (\frac{n}{2}-2\right ).$ Our proofs are based on the exhibition of explicit Gröbner bases for the ideals generated by polynomials associated to the tiling sets. In particular, we show that some of the regular tiling results in \emph{ V.~Nitica, Every tiling of the first quadrant by ribbon $L$ $n$-ominoes follows the rectangular pattern. Open Journal of Discrete Mathematics, {\em 5}, (2015) 11--25,} cannot be obtained from coloring invariants.
△ Less
Submitted 29 February, 2016; v1 submitted 4 January, 2016;
originally announced January 2016.
-
Signed tilings by ribbon L n-ominoes, n odd, via Groebner bases
Authors:
Viorel Nitica
Abstract:
We show that a rectangle can be signed tiled by ribbon L n-ominoes, n odd, if and only if it has a side divisible by n. A consequence of our technique, based on the exhibition of an explicit Groebner basis, is that any k-inflated copy of the skewed L n-omino has a signed tiling by skewed L n-ominoes. We also discuss regular tilings by ribbon L n-ominoes, n odd, for rectangles and more general regi…
▽ More
We show that a rectangle can be signed tiled by ribbon L n-ominoes, n odd, if and only if it has a side divisible by n. A consequence of our technique, based on the exhibition of an explicit Groebner basis, is that any k-inflated copy of the skewed L n-omino has a signed tiling by skewed L n-ominoes. We also discuss regular tilings by ribbon L n-ominoes, n odd, for rectangles and more general regions. We show that in this case obstructions appear that are not detected by signed tilings.
△ Less
Submitted 6 March, 2016; v1 submitted 4 January, 2016;
originally announced January 2016.
-
A rigidity property of ribbon L-shaped n-ominoes and generalizations
Authors:
Viorel Nitica
Abstract:
Let n integer greater or equal to 4 and even and let T_n be the set of ribbon L-shaped n-ominoes. We study tiling problems for regions in a square lattice by T_n. Our main result shows a remarkable rigidity property: a tiling of the first quadrant by T_n is possible if and only if it reduces to a tiling by 2 x n and n x 2 rectangles. An application is the classification of all rectangles that can…
▽ More
Let n integer greater or equal to 4 and even and let T_n be the set of ribbon L-shaped n-ominoes. We study tiling problems for regions in a square lattice by T_n. Our main result shows a remarkable rigidity property: a tiling of the first quadrant by T_n is possible if and only if it reduces to a tiling by 2 x n and n x 2 rectangles. An application is the classification of all rectangles that can be tiled by T_n: a rectangle can be tiled by T_n if and only if both of its sides are even and at least one side is divisible by n. Another application is the existence of the local move property for an infinite family of sets of tiles: T_n has the local move property for the class of rectangular regions with respect to the local moves that interchange a tiling of an n x n square by n/2 vertical rectangles, with a tiling by n/2 horizontal rectangles, each vertical/horizontal rectangle being covered by two ribbon L-shaped n-ominoes. We show that these results are not valid for any n odd. The rectangular pattern of a tiling persists if we add an extra 2 x 2 square to T_n. A rectangle can be tiled by the larger set of tiles if and only if it has both sides even. In contrast, the addition of an extra even x odd or odd x odd rectangle to one of the above sets of tiles allows for a tiling of the first quadrant that does not respect the rectangular pattern.
△ Less
Submitted 3 June, 2014;
originally announced June 2014.
-
The Geometric Structure of Max-Plus Hemispaces
Authors:
Daniel Ehrmann,
Zach Higgins,
Viorel Nitica
Abstract:
Given a set S endowed with a convexity structure, a hemispace is a convex subset of S which has convex complement. We recall that R^n_{max} is a semimodule over the max-plus semifield. A convexity structure of current interest is provided by R^n_{max} naturally endowed with the max-plus (or tropical) convexity. In this paper we provide a geometric description of a max-plus hemispace. We show that…
▽ More
Given a set S endowed with a convexity structure, a hemispace is a convex subset of S which has convex complement. We recall that R^n_{max} is a semimodule over the max-plus semifield. A convexity structure of current interest is provided by R^n_{max} naturally endowed with the max-plus (or tropical) convexity. In this paper we provide a geometric description of a max-plus hemispace. We show that a max-plus hemispace has a conical decomposition as a finite union of disjoint max-plus cones. These cones can be interpreted as faces of several max-plus hyperplanes. Briec-Horvath proved that the closure of a max-plus hemispace is bounded by a max-plus hyperplane. Given a hyperplane, we give a simple condition for the assignment of the faces between a pair of complementary max-plus hemispaces. Our result allows for counting and enumeration of the associated max-plus hemispaces. We recall that an n-dimensional max-plus hyperplane is called strictly affine and nondegenerate if it has a linear equation that contains all variables x_1,x_2,...,x_n and a free term. We prove that the number of max-plus hemispaces in R^n_max, supported by strictly affine nondegenerate hyperplanes centered in the origin, is twice the n-th ordered Bell number. Our work can be viewed as a complement to the recent results of Katz-Nitica-Sergeev, who described generating sets for max-plus hemispaces, and the results of Briec-Horvath, who proved that closed/open max-plus hemispaces are max-plus closed/open halfspaces.
△ Less
Submitted 12 February, 2014;
originally announced February 2014.
-
Semigroup Conjectures for Central Semidirect Product of R^n with R^m
Authors:
Kevin Lui,
Viorel Nitica,
Siddharth Venkatesh
Abstract:
In this paper we prove two new results about closed semigroups in the family of solvable groups H_{mn} that are semidirect products of R^m and R^n, and for which the structure homomorphism maps nontrivially into the center of Aut(R^n). The first result states that the closure of a semigroup generated by a set in H_{mn} that is not included in a maximal semigroup with nonempty interior is actually…
▽ More
In this paper we prove two new results about closed semigroups in the family of solvable groups H_{mn} that are semidirect products of R^m and R^n, and for which the structure homomorphism maps nontrivially into the center of Aut(R^n). The first result states that the closure of a semigroup generated by a set in H_{mn} that is not included in a maximal semigroup with nonempty interior is actually a group. The second result states that among the subsets of H_{mn} that are not included in a maximal proper semigroup, those that generate H_{mn} as a closed semigroup are dense. Results of this nature were obtained before only for extensions of nilpotent groups. Results of this nature were obtained before only for abelian and nilpotent Lie groups and their compact extensions. As an application of the technique developed in the paper, we find the minimal number of generators as a closed group and as a closed semigroup of H_{mn}.
△ Less
Submitted 29 December, 2013; v1 submitted 30 September, 2013;
originally announced September 2013.
-
On the dimension of max-min convex sets
Authors:
Viorel Nitica,
Sergei Sergeev
Abstract:
We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope. We describe the relation between this rank and the notion of strong regularity in max-min algebra, which is traditionally defined in terms of unique solvabilit…
▽ More
We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope. We describe the relation between this rank and the notion of strong regularity in max-min algebra, which is traditionally defined in terms of unique solvability of linear systems and trapezoidal property.
△ Less
Submitted 17 January, 2014; v1 submitted 10 July, 2013;
originally announced July 2013.
-
Tropical convexity over max-min semiring
Authors:
Viorel Nitica,
Sergei Sergeev
Abstract:
This is a survey on an analogue of tropical convexity developed over the max-min semiring, starting with the descriptions of max-min segments, semispaces, hyperplanes and an account of separation and non-separation results based on semispaces. There are some new results. In particular, we give new "colorful" extensions of the max-min Caratheodory theorem. In the end of the paper, we list some cons…
▽ More
This is a survey on an analogue of tropical convexity developed over the max-min semiring, starting with the descriptions of max-min segments, semispaces, hyperplanes and an account of separation and non-separation results based on semispaces. There are some new results. In particular, we give new "colorful" extensions of the max-min Caratheodory theorem. In the end of the paper, we list some consequences of the topological Radon and Tverberg theorems (like Helly and Centerpoint theorems), valid over a more general class of max-T semirings, where multiplication is a triangular norm.
△ Less
Submitted 8 December, 2016; v1 submitted 29 March, 2013;
originally announced March 2013.
-
Extended-valued topical and anti-topical functions on semimodules
Authors:
Ivan Singer,
Viorel Nitica
Abstract:
In previous papers we have studied topical functions f:X-> K and related classes of functions, where X is a b-complete semimodule over an idempotent b-complete semifield K. Without essential restriction of the generality, we assume that K has no greatest element sup K, and hence for x in X and y=inf X the residuation x/y is not defined. Now we adjoin to K an outside "greatest element" top =sup K,…
▽ More
In previous papers we have studied topical functions f:X-> K and related classes of functions, where X is a b-complete semimodule over an idempotent b-complete semifield K. Without essential restriction of the generality, we assume that K has no greatest element sup K, and hence for x in X and y=inf X the residuation x/y is not defined. Now we adjoin to K an outside "greatest element" top =sup K, and extending in a suitable way the operations of multiplication and addition from K to bar K, which is the union of K and top, we study "extended functions" f:X-> bar K. Actually, we give two different extensions of the product from K to bar K, so as to obtain a meaning also for the residuation x/inf X, with any x in X, and in particular for inf X/inf X, and use them to give characterizations of topical (i.e. increasing homogeneous, defined with the aid of the first product) and anti-topical (i.e. decreasing anti-homogeneous, defined with the aid of the second product) functions f:X-> bar K, by some inequalities. Next we study for functions f:X -> bar K their conjugates and biconjugates of Fenchel-Moreau type with respect to the coupling functions phi(x,y)=x/y x,y in X and psi(x,(y,d)):=inf {x/y,d}; x,y in X,d in bar K, and obtain characterizations of topical and anti-topical functions. In the subsequent sections we consider the polars of a subset G in X for the coupling functions phi and psi, and the support set of a function f:X->K with respect to the set tilde T of all "elementary topical functions" tilde t_{y}(x):=x/y, x in X, y in X-{inf X} and two concepts of support set of f:X-> bar K at a point x_0 in X.
△ Less
Submitted 20 December, 2013; v1 submitted 28 December, 2012;
originally announced December 2012.
-
Characterization of tropical hemispaces by (P,R)-decompositions
Authors:
Ricardo D. Katz,
Viorel Nitica,
Sergei Sergeev
Abstract:
We consider tropical hemispaces, defined as tropically convex sets whose complements are also tropically convex, and tropical semispaces, defined as maximal tropically convex sets not containing a given point. We introduce the concept of $(P,R)$-decomposition. This yields (to our knowledge) a new kind of representation of tropically convex sets extending the classical idea of representing convex s…
▽ More
We consider tropical hemispaces, defined as tropically convex sets whose complements are also tropically convex, and tropical semispaces, defined as maximal tropically convex sets not containing a given point. We introduce the concept of $(P,R)$-decomposition. This yields (to our knowledge) a new kind of representation of tropically convex sets extending the classical idea of representing convex sets by means of extreme points and rays. We characterize tropical hemispaces as tropically convex sets that admit a (P,R)-decomposition of certain kind. In this characterization, with each tropical hemispace we associate a matrix with coefficients in the completed tropical semifield, satisfying an extended rank-one condition. Our proof techniques are based on homogenization (lifting a convex set to a cone), and the relation between tropical hemispaces and semispaces.
△ Less
Submitted 26 October, 2013; v1 submitted 29 September, 2012;
originally announced October 2012.
-
Best approximation in max-plus semimodules
Authors:
Marianne Akian,
Stephane Gaubert,
Viorel Nitica,
Ivan Singer
Abstract:
We establish new results concerning projectors on max-plus spaces, as well as separating half-spaces, and derive an explicit formula for the distance in Hilbert's projective metric between a point and a half-space over the max-plus semiring, as well as explicit descriptions of the set of minimizers. As a consequence, we obtain a cyclic projection type algorithm to solve systems of max-plus linear…
▽ More
We establish new results concerning projectors on max-plus spaces, as well as separating half-spaces, and derive an explicit formula for the distance in Hilbert's projective metric between a point and a half-space over the max-plus semiring, as well as explicit descriptions of the set of minimizers. As a consequence, we obtain a cyclic projection type algorithm to solve systems of max-plus linear inequalities.
△ Less
Submitted 25 December, 2010;
originally announced December 2010.
-
An interval version of separation by semispaces in max-min convexity
Authors:
Viorel Nitica,
Sergei Sergeev
Abstract:
We study separation of a closed box from a max-min convex set by max-min semispace. This can be regarded as an interval extension of known separation results. We give a constructive proof of the separation in the case when the box and the max-min convex set satisfy certain condition, and we show that separation is never possible if this condition does not hold. We also study separation of max-mi…
▽ More
We study separation of a closed box from a max-min convex set by max-min semispace. This can be regarded as an interval extension of known separation results. We give a constructive proof of the separation in the case when the box and the max-min convex set satisfy certain condition, and we show that separation is never possible if this condition does not hold. We also study separation of max-min convex sets by boxes and by box and semispace.
△ Less
Submitted 3 October, 2009;
originally announced October 2009.
-
On hyperplanes and semispaces in max-min convex geometry
Authors:
Viorel Nitica,
Sergei Sergeev
Abstract:
The concept of separation by hyperplanes is fundamental for convex geometry and its tropical (max-plus) analogue. However, analogous separation results in max-min convex geometry are based on semispaces. This paper answers the question which semispaces are hyperplanes and when it is possible to classically separate by hyperplanes in max-min convex geometry.
The concept of separation by hyperplanes is fundamental for convex geometry and its tropical (max-plus) analogue. However, analogous separation results in max-min convex geometry are based on semispaces. This paper answers the question which semispaces are hyperplanes and when it is possible to classically separate by hyperplanes in max-min convex geometry.
△ Less
Submitted 3 October, 2009;
originally announced October 2009.