-
Invariants and equidecomposability in rings of polygons with sides of given directions
Authors:
Gergely Kiss,
Miklós Laczkovich
Abstract:
We investigate equidecomposability in the ring of polygons with sides restricted to given directions and using only translations. Extending classical results of Dehn and Hadwiger, we prove that equidecomposability in these rings is equivalent to the equality of some invariants. We also consider the algebraic structure of direction sets. We show that under mild conditions, equidecomposability with…
▽ More
We investigate equidecomposability in the ring of polygons with sides restricted to given directions and using only translations. Extending classical results of Dehn and Hadwiger, we prove that equidecomposability in these rings is equivalent to the equality of some invariants. We also consider the algebraic structure of direction sets. We show that under mild conditions, equidecomposability with respect to a set $S$ of slopes of the given directions is equivalent to equidecomposability with respect to the field generated by $S$. We also provide a complete description of all invariants of these polygon rings.
△ Less
Submitted 11 July, 2025;
originally announced July 2025.
-
Solutions to the discrete Pompeiu problem and to the finite Steinhaus tiling problem
Authors:
Gergely Kiss,
Miklós Laczkovich
Abstract:
Let $K$ be a nonempty finite subset of the Euclidean space $\mathbb{R}^k$ $(k\ge 2)$. We prove that if a function $f\colon \mathbb{R}^k\to \mathbb{C}$ is such that the sum of $f$ on every congruent copy of $K$ is zero, then $f$ vanishes everywhere. In fact, a stronger, weighted version is proved. As a corollary we find that every finite subset $K$ of $\mathbb{R}^k$ having at least two elements is…
▽ More
Let $K$ be a nonempty finite subset of the Euclidean space $\mathbb{R}^k$ $(k\ge 2)$. We prove that if a function $f\colon \mathbb{R}^k\to \mathbb{C}$ is such that the sum of $f$ on every congruent copy of $K$ is zero, then $f$ vanishes everywhere. In fact, a stronger, weighted version is proved. As a corollary we find that every finite subset $K$ of $\mathbb{R}^k$ having at least two elements is a Jackson set; that is, no subset of $\mathbb{R}^k$ intersects every congruent copy of $K$ in exactly one point.
△ Less
Submitted 21 April, 2024; v1 submitted 2 March, 2024;
originally announced March 2024.
-
Quadrilateral reptiles
Authors:
Miklos Laczkovich
Abstract:
A polygon $P$ is called a reptile, if it can be decomposed into $k\ge 2$ nonoverlapping and congruent polygons similar to $P$. We prove that if a cyclic quadrilateral is a reptile, then it is a trapezoid. Comparing with results of U. Betke and I. Osburg we find that every convex reptile is a triangle or a trapezoid.
A polygon $P$ is called a reptile, if it can be decomposed into $k\ge 2$ nonoverlapping and congruent polygons similar to $P$. We prove that if a cyclic quadrilateral is a reptile, then it is a trapezoid. Comparing with results of U. Betke and I. Osburg we find that every convex reptile is a triangle or a trapezoid.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
Tiling of regular polygons with similar right triangles
Authors:
Miklos Laczkovich,
Ivan Vasenov
Abstract:
We prove that for every $N\ne 4$ there is only one right triangle that tiles the regular $N$-gon.
We prove that for every $N\ne 4$ there is only one right triangle that tiles the regular $N$-gon.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Translation invariant linear spaces of polynomials
Authors:
Gergely Kiss,
Miklós Laczkovich
Abstract:
A set of polynomials $M$ is called a {\it submodule} of $\mathbb{C} [x_1, \dots, x_n ]$ if $M$ is a translation invariant linear subspace of $\mathbb{C} [x_1, \dots, x_n ]$. We present a description of the submodules of $\mathbb{C} [x,y]$ in terms of a special type of submodules. We say that the submodule $M$ of $\mathbb{C} [x,y]$ is an {\it L-module of order} $s$ if, whenever…
▽ More
A set of polynomials $M$ is called a {\it submodule} of $\mathbb{C} [x_1, \dots, x_n ]$ if $M$ is a translation invariant linear subspace of $\mathbb{C} [x_1, \dots, x_n ]$. We present a description of the submodules of $\mathbb{C} [x,y]$ in terms of a special type of submodules. We say that the submodule $M$ of $\mathbb{C} [x,y]$ is an {\it L-module of order} $s$ if, whenever $F(x,y)=\sum_{n=0}^N f_n (x) \cdot y^n \in M$ is such that $f_0 =\ldots = f_{s-1}=0$, then $F=0$. We show that the proper submodules of $\mathbb{C} [x,y]$ are the sums $M_d +M$, where $M_d =\{ F\in \mathbb{C} [x,y] \colon \textit{deg}_x F <d\}$, and $M$ is an L-module. We give a construction of L-modules parametrized by sequences of complex numbers.
A submodule $M\subseteq \mathbb{C} [x_1, \dots, x_n ]$ is {\it decomposable} if it is the sum of finitely many proper submodules of $M$. Otherwise $M$ is {\it indecomposable}. It is easy to see that every submodule of $\mathbb{C} [x_1, \dots, x_n]$ is the sum of finitely many indecomposable submodules. In $\mathbb{C} [x,y]$ every indecomposable submodule is either an L-module or equals $M_d$ for some $d$. In the other direction we show that $M_d$ is indecomposable for every $d$, and so is every L-module of order $1$.
Finally, we prove that there exists a submodule of $\mathbb{C} [x,y]$ (in fact, an L-module of order $1$) which is not relatively closed in $\mathbb{C} [x,y]$. This answers a problem posed by L. Székelyhidi in 2011.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
A superposition theorem of Kolmogorov type for bounded continuous functions
Authors:
M. Laczkovich
Abstract:
Let $C({\mathbb R}^n)$ denote the set of real valued continuous functions defined on ${\mathbb R}^n$. We prove that for every $n\ge 2$ there are positive numbers $λ_1 , \ldots , λ_n$ and continuous functions $φ_1 ,\ldots , φ_m \in C({\mathbb R})$ with the following property: for every bounded and continuous $f\in C( {\mathbb R}^n )$ there is a continuous function $g\in C({\mathbb R} )$ such that…
▽ More
Let $C({\mathbb R}^n)$ denote the set of real valued continuous functions defined on ${\mathbb R}^n$. We prove that for every $n\ge 2$ there are positive numbers $λ_1 , \ldots , λ_n$ and continuous functions $φ_1 ,\ldots , φ_m \in C({\mathbb R})$ with the following property: for every bounded and continuous $f\in C( {\mathbb R}^n )$ there is a continuous function $g\in C({\mathbb R} )$ such that $$f(x)=\sum_{q=1}^m g\left( \sum_{p=1}^n λ_p φ_q (x_p ) \right)$$ for every $x=(x_1 ,\ldots , x_n )\in {\mathbb R}^n$. Consequently, every $f\in C({\mathbb R}^n)$ can be obtained from continuous functions of one variable using compositions and additions.
△ Less
Submitted 5 May, 2021; v1 submitted 28 April, 2021;
originally announced April 2021.
-
Separately polynomial functions
Authors:
Gergely Kiss,
Miklós Laczkovich
Abstract:
It is known that if $f\colon {\mathbb R}^2 \to {\mathbb R}$ is a polynomial in each variable, then $f$ is a polynomial. We present generalizations of this fact, when ${\mathbb R}^2$ is replaced by $G\times H$, where $G$ and $H$ are topological Abelian groups. We show, e.g., that the conclusion holds (with generalized polynomials in place of polynomials) if $G$ is a connected Baire space and $H$ ha…
▽ More
It is known that if $f\colon {\mathbb R}^2 \to {\mathbb R}$ is a polynomial in each variable, then $f$ is a polynomial. We present generalizations of this fact, when ${\mathbb R}^2$ is replaced by $G\times H$, where $G$ and $H$ are topological Abelian groups. We show, e.g., that the conclusion holds (with generalized polynomials in place of polynomials) if $G$ is a connected Baire space and $H$ has a dense subgroup of finite rank or, for continuous functions, if $G$ and $H$ are connected Baire spaces. The condition of continuity can be omitted if $G$ and $H$ are locally compact or complete metric spaces. We present several examples showing that the results are not far from being optimal.
△ Less
Submitted 25 May, 2021; v1 submitted 8 January, 2021;
originally announced January 2021.
-
Vector valued polynomials, exponential polynomials and vector valued harmonic analysis
Authors:
Miklos Laczkovich
Abstract:
Let $G$ be a topological Abelian semigroup with unit, let $E$ be a Banach space, and let $C(G,E)$ denote the set of continuous functions $f\colon G\to E$. A function $f\in C(G,E)$ is a generalized polynomial, if there is an $n\ge 0$ such that $Δ_{h_1} \ldots Δ_{h_{n+1}} f=0$ for every $h_1 ,\ldots , h_{n+1} \in G$, where $Δ_h$ is the difference operator. We say that $f\in C(G,E)$ is a polynomial,…
▽ More
Let $G$ be a topological Abelian semigroup with unit, let $E$ be a Banach space, and let $C(G,E)$ denote the set of continuous functions $f\colon G\to E$. A function $f\in C(G,E)$ is a generalized polynomial, if there is an $n\ge 0$ such that $Δ_{h_1} \ldots Δ_{h_{n+1}} f=0$ for every $h_1 ,\ldots , h_{n+1} \in G$, where $Δ_h$ is the difference operator. We say that $f\in C(G,E)$ is a polynomial, if it is a generalized polynomial, and the linear span of its translates is of finite dimension; $f$ is a w-polynomial, if $u\circ f$ is a polynomial for every $u\in E^*$, and $f$ is a local polynomial, if it is a polynomial on every finitely generated subsemigroup. We show that each of the classes of polynomials, w-polynomials, generalized polynomials, local polynomials is contained in the next class. If $G$ is an Abelian group and has a dense subgroup with finite torsion free rank, then these classes coincide. We introduce the classes of exponential polynomials and w-expo\-nential polynomials as well, establish their representations and connection with polynomials and w-polynomials. We also investigate spectral synthesis and analysis in the class $C(G,E)$. It is known that if $G$ is a compact Abelian group and $E$ is a Banach space, then spectral synthesis holds in $C(G,E)$. On the other hand, we show that if $G$ is an infinite and discrete Abelian group and $E$ is a Banach space of infinite dimension, then even spectral analysis fails in $C(G,E)$. If, however, $G$ is discrete, has finite torsion free rank and if $E$ is a Banach space of finite dimension, then spectral synthesis holds in $C(G,E)$.
△ Less
Submitted 19 April, 2020;
originally announced April 2020.
-
Irregular tilings of regular polygons with similar triangles
Authors:
M. Laczkovich
Abstract:
We say that a triangle $T$ tiles a polygon $A$, if $A$ can be dissected into finitely many nonoverlapping triangles similar to $T$. We show that if $N>42$, then there are at most three nonsimilar triangles $T$ such that the angles of $T$ are rational multiples of $π$ and $T$ tiles the regular $N$-gon.
A tiling into similar triangles is called regular, if the pieces have two angles, $\al$ and…
▽ More
We say that a triangle $T$ tiles a polygon $A$, if $A$ can be dissected into finitely many nonoverlapping triangles similar to $T$. We show that if $N>42$, then there are at most three nonsimilar triangles $T$ such that the angles of $T$ are rational multiples of $π$ and $T$ tiles the regular $N$-gon.
A tiling into similar triangles is called regular, if the pieces have two angles, $\al$ and $\be$, such that at each vertex of the tiling the number of angles $\al$ is the same as that of $\be$. Otherwise the tiling is irregular. It is known that for every regular polygon $A$ there are infinitely many triangles that tile $A$ regularly. We show that if $N>10$, then a triangle $T$ tiles the regular $N$-gon irregularly only if the angles of $T$ are rational multiples of $π$. Therefore, the numbers of triangles tiling the regular $N$-gon irregularly is at most three for every $N>42$.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
A characterization of generalized exponential polynomials in terms of decomposable functions
Authors:
Miklos Laczkovich
Abstract:
Let $G$ be a topological commutative semigroup with unit. We prove that a continuous function $f\colon G\to \cc$ is a generalized exponential polynomial if and only if there is an $n\ge 2$ such that $f(x_1 +\ldots +x_n )$ is decomposable; that is, if $f(x_1 +\ldots +x_n )=\sumik u_i \cd v_i$, where the function $u_i$ only depends on the variables belonging to a set…
▽ More
Let $G$ be a topological commutative semigroup with unit. We prove that a continuous function $f\colon G\to \cc$ is a generalized exponential polynomial if and only if there is an $n\ge 2$ such that $f(x_1 +\ldots +x_n )$ is decomposable; that is, if $f(x_1 +\ldots +x_n )=\sumik u_i \cd v_i$, where the function $u_i$ only depends on the variables belonging to a set $\emp \ne E_i \subsetneq \{ x_1 \stb x_n \}$, and $v_i$ only depends on the variables belonging to $\{ x_1 \stb x_n \} \se E_i$ $(i=1\stb k)$.
△ Less
Submitted 16 December, 2018;
originally announced December 2018.
-
Derivations and differential operators on rings and fields
Authors:
Gergely Kiss,
Miklós Laczkovich
Abstract:
Let $R$ be an integral domain of characteristic zero. We prove that a function $D\colon R\to R$ is a derivation of order $n$ if and only if $D$ belongs to the closure of the set of differential operators of degree $n$ in the product topology of $R^R$, where the image space is endowed with the discrete topology. In other words, $f$ is a derivation of order $n$ if and only if, for every finite set…
▽ More
Let $R$ be an integral domain of characteristic zero. We prove that a function $D\colon R\to R$ is a derivation of order $n$ if and only if $D$ belongs to the closure of the set of differential operators of degree $n$ in the product topology of $R^R$, where the image space is endowed with the discrete topology. In other words, $f$ is a derivation of order $n$ if and only if, for every finite set $F\subset R$, there is a differential operator $D$ of degree $n$ such that $f=D$ on $F$. We also prove that if $d_1, \dots, d_n$ are nonzero derivations on $R$, then $d_1 \circ \ldots \circ d_n$ is a derivation of exact order $n$.
△ Less
Submitted 6 April, 2018; v1 submitted 2 March, 2018;
originally announced March 2018.
-
The Kakeya problem for circular arcs
Authors:
Kornélia Héra,
Miklós Laczkovich
Abstract:
We prove that if a circular arc has angle short enough, then it can be continuously moved to any prescribed position within a set of arbitrarily small area.
We prove that if a circular arc has angle short enough, then it can be continuously moved to any prescribed position within a set of arbitrarily small area.
△ Less
Submitted 1 February, 2018;
originally announced February 2018.
-
Closed sets with the Kakeya property
Authors:
Marianna Csörnyei,
Kornélia Héra,
Miklós Laczkovich
Abstract:
We say that a planar set $A$ has the Kakeya property if there exist two different positions of $A$ such that $A$ can be continuously moved from the first position to the second within a set of arbitrarily small area. We prove that if $A$ is closed and has the Kakeya property, then the union of the nontrivial connected components of $A$ can be covered by a null set which is either the union of para…
▽ More
We say that a planar set $A$ has the Kakeya property if there exist two different positions of $A$ such that $A$ can be continuously moved from the first position to the second within a set of arbitrarily small area. We prove that if $A$ is closed and has the Kakeya property, then the union of the nontrivial connected components of $A$ can be covered by a null set which is either the union of parallel lines or the union of concentric circles. In particular, if $A$ is closed, connected and has the Kakeya property, then $A$ can be covered by a line or a circle.
△ Less
Submitted 1 February, 2018;
originally announced February 2018.
-
The discrete Pompeiu problem on the plane
Authors:
Gergely Kiss,
Miklós Laczkovich,
Csaba Vincze
Abstract:
We say that a finite subset $E$ of the Euclidean plane $\mathbb{R}^2$ has the discrete Pompeiu property with respect to isometries (similarities), if, whenever $f:\mathbb{R}^2\to \mathbb{C}$ is such that the sum of the values of $f$ on any congruent (similar) copy of $E$ is zero, then $f$ is identically zero. We show that every parallelogram and every quadrangle with rational coordinates has the d…
▽ More
We say that a finite subset $E$ of the Euclidean plane $\mathbb{R}^2$ has the discrete Pompeiu property with respect to isometries (similarities), if, whenever $f:\mathbb{R}^2\to \mathbb{C}$ is such that the sum of the values of $f$ on any congruent (similar) copy of $E$ is zero, then $f$ is identically zero. We show that every parallelogram and every quadrangle with rational coordinates has the discrete Pompeiu property w.r.t. isometries. We also present a family of quadrangles depending on a continuous parameter having the same property. We investigate the weighted version of the discrete Pompeiu property as well, and show that every finite linear set with commensurable distances has the weighted discrete Pompeiu property w.r.t. isometries, and every finite set has the weighted discrete Pompeiu property w.r.t. similarities.
△ Less
Submitted 1 December, 2016;
originally announced December 2016.
-
Magic mirrors, dense diameters, Baire category
Authors:
Imre Bárány,
Miklós Laczkovich
Abstract:
An old result of Zamfirescu says that for most convex curves $C$ in the plane most points in $R^2$ lie on infinitely many normals to $C$, where most is meant in Baire category sense. We strengthen this result by showing that `infinitely many' can be replaced by `contiunuum many' in the statement. We present further theorems in the same spirit.
An old result of Zamfirescu says that for most convex curves $C$ in the plane most points in $R^2$ lie on infinitely many normals to $C$, where most is meant in Baire category sense. We strengthen this result by showing that `infinitely many' can be replaced by `contiunuum many' in the statement. We present further theorems in the same spirit.
△ Less
Submitted 2 March, 2014;
originally announced March 2014.
-
A cardinal number connected to the solvability of systems of difference equations in a given function class
Authors:
Márton Elekes,
Miklós Laczkovich
Abstract:
Let $\R^\R$ denote the set of real valued functions defined on the real line. A map $D: \R^\R \to \R^\R$ is a {\it difference operator}, if there are real numbers $a_i, b_i \ (i=1,..., n)$ such that $(Df)(x)=\sum_{i=1}^n a_i f(x+b_i)$ for every $f\in \R^\R $ and $x\in \R$. A {\it system of difference equations} is a set of equations $S={D_i f=g_i : i\in I}$, where $I$ is an arbitrary set of indice…
▽ More
Let $\R^\R$ denote the set of real valued functions defined on the real line. A map $D: \R^\R \to \R^\R$ is a {\it difference operator}, if there are real numbers $a_i, b_i \ (i=1,..., n)$ such that $(Df)(x)=\sum_{i=1}^n a_i f(x+b_i)$ for every $f\in \R^\R $ and $x\in \R$. A {\it system of difference equations} is a set of equations $S={D_i f=g_i : i\in I}$, where $I$ is an arbitrary set of indices, $D_i$ is a difference operator and $g_i$ is a given function for every $i\in I$, and $f$ is the unknown function. One can prove that a system $S$ is solvable if and only if every finite subsystem of $S$ is solvable. However, if we look for solutions belonging to a given class of functions, then the analogous statement fails. For example, there exists a system $S$ such that every finite subsystem of $S$ has a solution which is a trigonometric polynomial, but $S$ has no such solution.
This phenomenon motivates the following definition. Let ${\cal F}$ be a class of functions. The {\it solvability cardinal} $\solc (\iF)$ of ${\cal F}$ is the smallest cardinal $κ$ such that whenever $S$ is a system of difference equations and each subsystem of $S$ of cardinality less than $κ$ has a solution in ${\cal F}$, then $S$ itselfhas a solution in ${\cal F}$. In this paper we determine the solvability cardinals of most function classes that occur in analysis. As it turns out, the behaviour of $\solc ({\cal F})$ is rather erratic. For example, $\solc (\text{polynomials})=3$ but $\solc (\text{trigonometric polynomials})=ω_1$, $\solc ({f: f\ \text{is continuous}}) = ω_1$ but $\solc ({f: f\ \text{is Darboux}}) =(2^ω)^+$, and $\solc (\R^\R)=ω$. We consistently determine the solvability cardinals of the classes of Borel, Lebesgue and Baire measurable functions, and give some partial answers for the Baire class 1 and Baire class $α$ functions.
△ Less
Submitted 22 September, 2011;
originally announced September 2011.
-
Measurability of functions with approximately continuous vertical sections and measurable horizontal sections
Authors:
M. Laczkovich,
Arnold W. Miller
Abstract:
A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that approximately continuous functions are Baire 1., i.e., pointwise For any f:R^2 -> R define f_x(y) = f^y(x) = f(x,y). A function f:R^2 -> R is separately continuous i…
▽ More
A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that approximately continuous functions are Baire 1., i.e., pointwise For any f:R^2 -> R define f_x(y) = f^y(x) = f(x,y). A function f:R^2 -> R is separately continuous if f_x and f^y are continuous for every x,y in R. Lebesgue in his first paper proved that any separately continuous function is Baire 1. Sierpinski showed that there exists a nonmeasurable f:R^2 -> R which is separately Baire 1.
In this paper we prove:
Thm 1. Let f:R^2 -> R be such that f_x is approximately continuous and f^y is Baire 1 for every x,y in R. Then f is Baire 2.
Thm 2. Suppose there exists a real-valued measurable cardinal. Then for any function f:R^2 -> R and countable ordinal i, if f_x is approximately continuous and f^y is Baire i for every x,y in R, then f is Baire i+1 as a function of two variables.
Thm 3. (i) Suppose that R can be covered by omega_1 closed null sets. Then there exists a nonmeasurable function f:R^2 -> R such that f_x is approximately continuous and f^y is Baire 2 for every x,y in R. (ii) Suppose that R can be covered by omega_1 null sets. Then there exists a nonmeasurable function f:R^2 -> R such that f_x is approximately continuous and f^y is Baire 3 for every x,y in R.
Thm 4. In the random real model for any function f:R^2 -> R if f_x is approximately continuous and f^y is measurable for every x,y in R, then f is measurable as a function of two variables.
△ Less
Submitted 6 November, 1994;
originally announced November 1994.
