Showing 1–50 of 55 results for author: Kiss, G

Isometric rigidity of the Wasserstein space over the plane with the maximum metric

Authors: Zoltán M. Balogh, Gergely Kiss, Tamás Titkos, Dániel Virosztek

Abstract: We study $p$-Wasserstein spaces over the branching spaces $\mathbb{R}^2$ and $[-1,1]^2$ equipped with the maximum norm metric. We show that these spaces are isometrically rigid for all $p\geq1,$ meaning that all isometries of these spaces are induced by isometries of the underlying space via the push-forward operation. This is in contrast to the case of the Euclidean metric since with that distanc… ▽ More We study $p$-Wasserstein spaces over the branching spaces $\mathbb{R}^2$ and $[-1,1]^2$ equipped with the maximum norm metric. We show that these spaces are isometrically rigid for all $p\geq1,$ meaning that all isometries of these spaces are induced by isometries of the underlying space via the push-forward operation. This is in contrast to the case of the Euclidean metric since with that distance the $2$-Wasserstein space over $\mathbb{R}^2$ is not rigid. Also, we highlight that the $1$-Wasserstein space is not rigid over the closed interval $[-1,1]$, while according to our result, its two-dimensional analog, the closed unit ball $[-1,1]^2$ with the more complicated geodesic structure is rigid. △ Less

Submitted 21 May, 2025; v1 submitted 11 November, 2024; originally announced November 2024.

Comments: 27 pages, 7 figures. v2: a gap in the proof of Proposition 3 (in the first version: Proposition 2) has been filled and some other proofs have been streamlined. v3: accepted manuscript version

MSC Class: Primary: 54E40; 46E27. Secondary: 60B05

Functional tilings and the Coven-Meyerowitz tiling conditions

Authors: Gergely Kiss, Itay Londner, Máté Matolcsi, Gábor Somlai

Abstract: Coven and Meyerowitz formulated two conditions which have since been conjectured to characterize all finite sets that tile the integers by translation. By periodicity, this conjecture is reduced to sets which tile a finite cyclic group $\mathbb{Z}_M$. In this paper we consider a natural relaxation of this problem, where we replace sets with nonnegative functions $f,g$, such that $f(0)=g(0)=1$,… ▽ More Coven and Meyerowitz formulated two conditions which have since been conjectured to characterize all finite sets that tile the integers by translation. By periodicity, this conjecture is reduced to sets which tile a finite cyclic group $\mathbb{Z}_M$. In this paper we consider a natural relaxation of this problem, where we replace sets with nonnegative functions $f,g$, such that $f(0)=g(0)=1$, $f\ast g=\mathbf{1}_{\mathbb{Z}_M}$ is a functional tiling, and $f, g$ satisfy certain further natural properties associated with tilings. We show that the Coven-Meyerowitz tiling conditions do not necessarily hold in such generality. Such examples of functional tilings carry the potential to lead to proper tiling counterexamples to the Coven-Meyerowitz conjecture in the future. △ Less

Submitted 22 April, 2025; v1 submitted 6 November, 2024; originally announced November 2024.

Comments: 18 pages. Several misprints and inaccuracies from the original submission were corrected. More detailed explanation in some proofs are provided

MSC Class: 05B45; 11B75; 20K01 (Primary) 11C08; 43A47; 51D20; 52C22 (Secondary)

A lonely weak tile

Authors: Gergely Kiss, Itay Londner, Máté Matolcsi, Gábor Somlai

Abstract: The notion of weak tiling was a key ingredient in the proof of Fuglede's spectral set conjecture for convex bodies \cite{conv}, due to the fact that every spectral set tiles its complement weakly with a suitable Borel measure. In this paper we review the concept of weak tiling, and answer a question raised in \cite{weak} by giving an example of a set $T$ which tiles its complement weakly, but $T$… ▽ More The notion of weak tiling was a key ingredient in the proof of Fuglede's spectral set conjecture for convex bodies \cite{conv}, due to the fact that every spectral set tiles its complement weakly with a suitable Borel measure. In this paper we review the concept of weak tiling, and answer a question raised in \cite{weak} by giving an example of a set $T$ which tiles its complement weakly, but $T$ is neither spectral, nor a proper tile. △ Less

Submitted 3 December, 2024; v1 submitted 7 October, 2024; originally announced October 2024.

MSC Class: 05B45; 42A75; 20K01

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.

Comments: 17 pages

MSC Class: 30D05; 43A45; 52C99

A note on girth-diameter cages

Authors: Gabriela Araujo-Pardo, Marston Conder, Natalia García-Colín, György Kiss, Dimitri Leemans

Abstract: In this paper, we introduce a problem closely related to the Cage Problem and the Degree Diameter Problem. For integers $k\geq 2$, $g\geq 3$ and $d\geq 1$, we define a $(k;\, g,d)$-graph to be a $k$-regular graph with girth $g$ and diameter $d$. We denote by $n_0(k;\,g,d)$ the smallest possible order of such a graph, and, if such a graph exists, we call it a $(k;g,d)$-cage. In particular, we focus… ▽ More In this paper, we introduce a problem closely related to the Cage Problem and the Degree Diameter Problem. For integers $k\geq 2$, $g\geq 3$ and $d\geq 1$, we define a $(k;\, g,d)$-graph to be a $k$-regular graph with girth $g$ and diameter $d$. We denote by $n_0(k;\,g,d)$ the smallest possible order of such a graph, and, if such a graph exists, we call it a $(k;g,d)$-cage. In particular, we focus on $(k;\,5,4)$-graphs. We show that $n_0(k;\,5,4) \geq k^2+k+2$ for all $k$, and report on the determination of all $(k;\,5,4)$-cages for $k=3, 4$ and $5$ and examples with $k = 6$, and describe some examples of $(k;\,5,4)$-graphs which prove that $n_0(k;\,5,4) \leq 2k^2$ for infinitely many values of $k$. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Comments: 8 pages, 1 figure

MSC Class: 05C35; 51E15

On extremal (almost) edge-girth-regular graphs

Authors: Gabriela Araujo-Pardo, György Kiss, István Porupsánszki

Abstract: A $k$-regular graph of girth $g$ is called edge-girth-regular graph, shortly egr-graph, if each of its edges is contained in exactly $λ$ distinct $g-$cycles. An egr-graph is called extremal for the triple $(k, g, λ)$ if has the smallest possible order. We prove that some graphs arising from incidence graphs of finite planes are extremal egr-graphs. We also prove new lower bounds on the order of eg… ▽ More A $k$-regular graph of girth $g$ is called edge-girth-regular graph, shortly egr-graph, if each of its edges is contained in exactly $λ$ distinct $g-$cycles. An egr-graph is called extremal for the triple $(k, g, λ)$ if has the smallest possible order. We prove that some graphs arising from incidence graphs of finite planes are extremal egr-graphs. We also prove new lower bounds on the order of egr-graphs. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Comments: 24 pages, 5 figures

MSC Class: 05C35; 51E12; 51E15

Geometric constructions of small regular graphs with girth 7

Authors: György Kiss

Abstract: We present simple, geometric constructions for small regular graphs of girth 7 from the incidence graphs of some generalized quadrangles. We obtain infinite families of (q-1)-regular, q-regular and (q + 1)-regular graphs of girth 7, for q a prime power. Some of them have the smallest order known so far. We present simple, geometric constructions for small regular graphs of girth 7 from the incidence graphs of some generalized quadrangles. We obtain infinite families of (q-1)-regular, q-regular and (q + 1)-regular graphs of girth 7, for q a prime power. Some of them have the smallest order known so far. △ Less

Submitted 9 December, 2023; originally announced December 2023.

MSC Class: 05C35; 51E12

On polynomials of small range sum

Authors: Gergely Kiss, Ádám Markó, Zoltán Lóránt Nagy, Gábor Somlai

Abstract: In order to reprove an old result of Rédei's on the number of directions determined by a set of cardinality $p$ in $\mathbb{F}_p^2$, Somlai proved that the non-constant polynomials over the field $\mathbb{F}_p$ whose range sums are equal to $p$ are of degree at least $\frac{p-1}{2}$. Here the summand in the range sum are considered as integers from the interval $[0,p-1]$. In this paper we characte… ▽ More In order to reprove an old result of Rédei's on the number of directions determined by a set of cardinality $p$ in $\mathbb{F}_p^2$, Somlai proved that the non-constant polynomials over the field $\mathbb{F}_p$ whose range sums are equal to $p$ are of degree at least $\frac{p-1}{2}$. Here the summand in the range sum are considered as integers from the interval $[0,p-1]$. In this paper we characterise all of these polynomials having degree exactly $\frac{p-1}{2}$, if $p$ is large enough. As a consequence, for the same set of primes we re-establish the characterisation of sets with few determined directions due to Lovász and Schrijver using discrete Fourier analysis. △ Less

Submitted 10 November, 2024; v1 submitted 10 November, 2023; originally announced November 2023.

Comments: minor mistakes/typos are corrected

MSC Class: 51E15; 11T06

A little more about bipartite biregular cages, block designs, and generalized polygons

Authors: Gabriela Araujo-Pardo, György Kiss, Tamás Szönyi

Abstract: In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$. For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and su… ▽ More In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$. For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and sub-polygons in generalized polygons to obtain $(m,n;2r)$-bipartite biregular graphs. We emphasize that, as we improve the lower bounds on the order of these graphs, we also prove that some of them are $(m,n;2r)$-bipartite biregular cages. In particular, we construct relatively small bipartite biregular graphs from a special class of generalized quadrangles and hexagons. In a special case, we show that the graph obtained is actually a $(3,4;8)$-bipartite biregular cage on $56$ vertices. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Comments: 16 pages

MSC Class: 05C35; 05C38; 51E05; 51E10; 51E12

Spectral Tile Direction in the Group $\mathbb{Z}_{p^2} \times \mathbb{Z}_{q^2} \times \mathbb{Z}_r$

Authors: Thomas Fallon, Gergely Kiss, Azita Mayeli, Gábor Somlai

Abstract: In this paper, we investigate Fuglede's conjecture for $\mathbb{Z}_{p^2q^2r}$ and provide a proof under the condition $p^2q^2 \leq r$. We develop a new technique by analyzing the divisibility of the mask polynomial of a given set by a system of cyclotomic polynomials. Combined with the so-called mod-$p$-method, this technique serves as a powerful tool for studying Fuglede's conjecture in this and… ▽ More In this paper, we investigate Fuglede's conjecture for $\mathbb{Z}_{p^2q^2r}$ and provide a proof under the condition $p^2q^2 \leq r$. We develop a new technique by analyzing the divisibility of the mask polynomial of a given set by a system of cyclotomic polynomials. Combined with the so-called mod-$p$-method, this technique serves as a powerful tool for studying Fuglede's conjecture in this and related cases. △ Less

Submitted 2 December, 2024; v1 submitted 30 August, 2023; originally announced August 2023.

Comments: 17

MSC Class: 43A40; 43A75; 52C22; 05B25

Decompositions of the positive real numbers into disjoint sets closed under addition and multiplication

Authors: Gergely Kiss, Gábor Somlai, Tamás Terpai

Abstract: The main purpose of this paper is to prove that the positive real numbers can be decomposed into finitely many disjoint pieces which are also closed under addition and multiplication. As a byproduct of the argument we determine all the possible decompositions of the transcendental extension of the rational field of rank one into two pieces. Further, we prove that the positive elements of a real… ▽ More The main purpose of this paper is to prove that the positive real numbers can be decomposed into finitely many disjoint pieces which are also closed under addition and multiplication. As a byproduct of the argument we determine all the possible decompositions of the transcendental extension of the rational field of rank one into two pieces. Further, we prove that the positive elements of a real algebraic extensions of the rational numbers are indecomposable into two pieces. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Polynomial equations for additive functions II

Authors: Eszter Gselmann, Gergely Kiss

Abstract: In this sequence of work we investigate polynomial equations of additive functions. We consider the solutions of equation \[ \sum_{i=1}^{n}f_{i}(x^{p_{i}})g_{i}(x)^{q_{i}}= 0 \qquad \left(x\in \mathbb{F}\right), \] where $n$ is a positive integer, $\mathbb{F}\subset \mathbb{C}$ is a field, $f_{i}, g_{i}\colon \mathbb{F}\to \mathbb{C}$ are additive functions and $p_i, q_i$ are positive intege… ▽ More In this sequence of work we investigate polynomial equations of additive functions. We consider the solutions of equation \[ \sum_{i=1}^{n}f_{i}(x^{p_{i}})g_{i}(x)^{q_{i}}= 0 \qquad \left(x\in \mathbb{F}\right), \] where $n$ is a positive integer, $\mathbb{F}\subset \mathbb{C}$ is a field, $f_{i}, g_{i}\colon \mathbb{F}\to \mathbb{C}$ are additive functions and $p_i, q_i$ are positive integers for all $i=1, \ldots, n$. Using the theory of decomposable functions we describe the solutions as compositions of higher order derivations and field homomorphisms. In many cases we also give a tight upper bound for the order of the involved derivations. Moreover, we present the full description of the solutions in some important special cases, too. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: 29 pages. arXiv admin note: text overlap with arXiv:2211.03605

MSC Class: 43A45; 13N15; 16W20; 39B32; 39B72

Tiling and weak tiling in $(\mathbb{Z}_p)^d$

Authors: Gergely Kiss, Dávid Matolcsi, Máté Matolcsi, Gábor Somlai

Abstract: We discuss the relation of tiling, weak tiling and spectral sets in finite abelian groups. In particular, in elementary $p$-groups $(\mathbb{Z}_p)^d$, we introduce an averaging procedure that leads to a natural object of study: a 4-tuple of functions which can be regarded as a common generalization of tiles and spectral sets. We characterize such 4-tuples for $d=1, 2$, and prove some partial resul… ▽ More We discuss the relation of tiling, weak tiling and spectral sets in finite abelian groups. In particular, in elementary $p$-groups $(\mathbb{Z}_p)^d$, we introduce an averaging procedure that leads to a natural object of study: a 4-tuple of functions which can be regarded as a common generalization of tiles and spectral sets. We characterize such 4-tuples for $d=1, 2$, and prove some partial results for $d=3$. △ Less

Submitted 11 December, 2022; originally announced December 2022.

Polynomial equations for additive functions I. The inner case

Authors: Eszter Gselmann, Gergely Kiss

Abstract: The aim of this sequence of work is to investigate polynomial equations satisfied by additive functions. As a result of this, new characterization theorems for homomorphisms and derivations can be given. More exactly, in this paper the following type of equation is considered $$\sum_{i=1}^{n}f_{i}(x^{p_{i}})g_{i}(x^{q_{i}})= 0 \qquad \left(x\in \mathbb{F}\right),$$ where $n$ is a positive integer,… ▽ More The aim of this sequence of work is to investigate polynomial equations satisfied by additive functions. As a result of this, new characterization theorems for homomorphisms and derivations can be given. More exactly, in this paper the following type of equation is considered $$\sum_{i=1}^{n}f_{i}(x^{p_{i}})g_{i}(x^{q_{i}})= 0 \qquad \left(x\in \mathbb{F}\right),$$ where $n$ is a positive integer, $\mathbb{F}\subset \mathbb{C}$ is a field, $f_{i}, g_{i}\colon \mathbb{F}\to \mathbb{C}$ are additive functions and $p_i, q_i$ are positive integers for all $i=1, \ldots, n$. △ Less

Submitted 30 August, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: 28 pages

MSC Class: 13N1; 16W20; 39B32; 43A45

Sincov's and other functional equations and negative interest rates

Authors: Gergely Kiss, Jens Schwaiger

Abstract: Investigating the future value $F(K,s,t)$ of a capital $K$ invested at date $S$ at date $t$ the "natural" condition $F(K,s,t)\geq K$ has lost its naturality because of the strange fact of negative interest rates. This leads to the task of describing the possible solutions of the multiplicative Sincov equation $f(s,u)=f(s,t)f(t,u)$ for $s\leq t\leq u$, where $f(s,t)=0$ may happen. In this paper we… ▽ More Investigating the future value $F(K,s,t)$ of a capital $K$ invested at date $S$ at date $t$ the "natural" condition $F(K,s,t)\geq K$ has lost its naturality because of the strange fact of negative interest rates. This leads to the task of describing the possible solutions of the multiplicative Sincov equation $f(s,u)=f(s,t)f(t,u)$ for $s\leq t\leq u$, where $f(s,t)=0$ may happen. In this paper we solve this task and discuss connections to the theory of investments. △ Less

Submitted 9 November, 2022; v1 submitted 5 October, 2022; originally announced October 2022.

Comments: 9 pages

MSC Class: 01A55; 39-03; 39B12

A dichotomy result for strictly increasing bisymmetric maps

Authors: Pál Burai, Gergely Kiss, Patricia Szokol

Abstract: In this paper we show some remarkable consequences of the method which proves that every bisymmetric, symmetric, reflexive, strictly monotonic binary map on a proper interval is continuous, in particular it is a quasi-arithmetic mean. Now we demonstrate that this result can be refined in the way that the symmetry condition can be weakened by assuming symmetry only for a pair of distinct points of… ▽ More In this paper we show some remarkable consequences of the method which proves that every bisymmetric, symmetric, reflexive, strictly monotonic binary map on a proper interval is continuous, in particular it is a quasi-arithmetic mean. Now we demonstrate that this result can be refined in the way that the symmetry condition can be weakened by assuming symmetry only for a pair of distinct points of an interval. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 12 pages

MSC Class: 26E60; 39B05; 39B22; 26B99

Optimal embedded and enclosing isosceles triangles

Authors: Aron Ambrus, Monika Csikos, Gergely Kiss, Janos Pach, Gabor Somlai

Abstract: Given a triangle $Δ$, we study the problem of determining the smallest enclosing and largest embedded isosceles triangles of $Δ$ with respect to area and perimeter. This problem was initially posed by Nandakumar and was first studied by Kiss, Pach, and Somlai, who showed that if $Δ'$ is the smallest area isosceles triangle containing $Δ$, then $Δ'$ and $Δ$ share a side and an angle. In the prese… ▽ More Given a triangle $Δ$, we study the problem of determining the smallest enclosing and largest embedded isosceles triangles of $Δ$ with respect to area and perimeter. This problem was initially posed by Nandakumar and was first studied by Kiss, Pach, and Somlai, who showed that if $Δ'$ is the smallest area isosceles triangle containing $Δ$, then $Δ'$ and $Δ$ share a side and an angle. In the present paper, we prove that for any triangle $Δ$, every maximum area isosceles triangle embedded in $Δ$ and every maximum perimeter isosceles triangle embedded in $Δ$ shares a side and an angle with $Δ$. Somewhat surprisingly, the case of minimum perimeter enclosing triangles is different: there are infinite families of triangles $Δ$ whose minimum perimeter isosceles containers do not share a side and an angle with $Δ$. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Isometric rigidity of Wasserstein spaces: the graph metric case

Authors: Gergely Kiss, Tamás Titkos

Abstract: The aim of this paper is to prove that the $p$-Wasserstein space $\mathcal{W}_p(X)$ is isometrically rigid for all $p\geq 1$ whenever $X$ is a countable graph metric space. As a consequence, we obtain that for every countable group $H$ and any $p\geq 1$ there exists a $p$-Wasserstein space whose isometry group is isomorphic to $H$. The aim of this paper is to prove that the $p$-Wasserstein space $\mathcal{W}_p(X)$ is isometrically rigid for all $p\geq 1$ whenever $X$ is a countable graph metric space. As a consequence, we obtain that for every countable group $H$ and any $p\geq 1$ there exists a $p$-Wasserstein space whose isometry group is isomorphic to $H$. △ Less

Submitted 4 January, 2022; originally announced January 2022.

Comments: 14 pages with 3 figures

MSC Class: 54E40; 46E27 (Primary); 54E70; 05C12 (Secondary)

Nonstandard $n$-distances based on certain geometric constructions

Authors: Gergely Kiss, Jean-Luc Marichal

Abstract: The concept of $n$-distance was recently introduced to generalize the classical definition of distance to functions of $n$ arguments. In this paper we investigate this concept through a number of examples based on certain geometrical constructions. In particular, our study shows to which extent the computation of the best constant associated with an $n$-distance may sometimes be difficult and tric… ▽ More The concept of $n$-distance was recently introduced to generalize the classical definition of distance to functions of $n$ arguments. In this paper we investigate this concept through a number of examples based on certain geometrical constructions. In particular, our study shows to which extent the computation of the best constant associated with an $n$-distance may sometimes be difficult and tricky. It also reveals that two important graph theoretical concepts, namely the total length of the Euclidean Steiner tree and the total length of the minimal spanning tree constructed on $n$ points, are instances of $n$-distances. △ Less

Submitted 21 February, 2023; v1 submitted 13 October, 2021; originally announced October 2021.

MSC Class: Primary 39B72; Secondary 26D99

Journal ref: Contributions to Algebra and Geometry 64 (1) (2023) 107-126

Special directions on the finite affine plane

Authors: Gergely Kiss, Gábor Somlai

Abstract: In this paper we study the number of special directions of sets of cardinality divisible by $p$ on a finite plane of characteristic $p$, where $p$ is a prime. We show that there is no such a set with exactly two special directions. We characterise sets with exactly 3 special directions which answers a question of Ghidelli in negative. Further we introduce methods to construct sets of minimal cardi… ▽ More In this paper we study the number of special directions of sets of cardinality divisible by $p$ on a finite plane of characteristic $p$, where $p$ is a prime. We show that there is no such a set with exactly two special directions. We characterise sets with exactly 3 special directions which answers a question of Ghidelli in negative. Further we introduce methods to construct sets of minimal cardinality that has exactly 4 special directions for small values of $p$. △ Less

Submitted 27 February, 2023; v1 submitted 28 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.

Comments: 22 pages

MSC Class: 32A08; 13C05

Characterization of quasi-arithmetic means without regularity condition

Authors: Pál Burai, Gergely Kiss, Patricia Szokol

Abstract: In this paper we show that bisymmetry, which is an algebraic property, has a regularity improving feature. More precisely, we prove that every bisymmetric, partially strictly monotonic, reflexive and symmetric function $F:I^2\to I$ is continuous. As a consequence, we obtain a finer characterization of quasi-arithmetic means than the classical results of Aczél, Kolmogoroff, Nagumo and de Finetti. In this paper we show that bisymmetry, which is an algebraic property, has a regularity improving feature. More precisely, we prove that every bisymmetric, partially strictly monotonic, reflexive and symmetric function $F:I^2\to I$ is continuous. As a consequence, we obtain a finer characterization of quasi-arithmetic means than the classical results of Aczél, Kolmogoroff, Nagumo and de Finetti. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: 12 pages

MSC Class: 26E60; 39B05; 39B22; 26B99

Spectral sets and tiles in $\mathbb{Z}_p^2 \times \mathbb{Z}_q^2$

Authors: Thomas Fallon, Gergely Kiss, Gábor Somlai

Abstract: In this paper we study Fuglede's conjecture on the direct product of two cyclic groups. After collecting the known results we prove that Fuglede's conjecture holds on $\mathbb{Z}_{pq} \times \mathbb{Z}_{pq} \cong \mathbb{Z}_p^2 \times \mathbb{Z}_q^2$. In this paper we study Fuglede's conjecture on the direct product of two cyclic groups. After collecting the known results we prove that Fuglede's conjecture holds on $\mathbb{Z}_{pq} \times \mathbb{Z}_{pq} \cong \mathbb{Z}_p^2 \times \mathbb{Z}_q^2$. △ Less

Submitted 21 May, 2021; originally announced May 2021.

Comments: 15 pages

MSC Class: 43A65 (Primary); 20K01; 05B25; 52C20 (Secondary)

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.

Comments: 15 pages

MSC Class: 22A20; 54E45; 54E52

Fuglede's conjecture holds for cyclic groups of order $pqrs$

Authors: Gergely Kiss, Romanos Diogenes Malikiosis, Gábor Somlai, Máté Vizer

Abstract: The tile-spectral direction of the discrete Fuglede-conjecture is well-known for cyclic groups of square-free order, initiated by Laba and Meyerowitz, but the spectral-tile direction is far from being well-understood. The product of at most three primes as the order of the cyclic group was studied intensely in the last couple of years. In this paper we study the case when the order of the cyclic g… ▽ More The tile-spectral direction of the discrete Fuglede-conjecture is well-known for cyclic groups of square-free order, initiated by Laba and Meyerowitz, but the spectral-tile direction is far from being well-understood. The product of at most three primes as the order of the cyclic group was studied intensely in the last couple of years. In this paper we study the case when the order of the cyclic group is the product of four different primes and prove that Fuglede's conjecture holds in this case. △ Less

Submitted 18 November, 2020; originally announced November 2020.

Comments: 20 pages, 1 figures

MSC Class: 43A65; 20F70; 20K01; 13F20; 52C22

Journal ref: Journal of Fourier Analysis and Applications, Vol. 28, Issue 5, article no. 79, pp. 23 (2022)

Minimum area isosceles containers

Authors: Gergely Kiss, János Pach, Gábor Somlai

Abstract: We show that every minimum area isosceles triangle containing a given triangle $T$ shares a side and an angle with $T$. This proves a conjecture of Nandakumar motivated by a computational problem. We use our result to deduce that for every triangle $T$, (1) there are at most $3$ minimum area isosceles triangles that contain $T$, and (2) there exists an isosceles triangle containing $T$ whose area… ▽ More We show that every minimum area isosceles triangle containing a given triangle $T$ shares a side and an angle with $T$. This proves a conjecture of Nandakumar motivated by a computational problem. We use our result to deduce that for every triangle $T$, (1) there are at most $3$ minimum area isosceles triangles that contain $T$, and (2) there exists an isosceles triangle containing $T$ whose area is smaller than $\sqrt2$ times the area of $T$. Both bounds are best possible. △ Less

Submitted 3 September, 2020; v1 submitted 26 January, 2020; originally announced January 2020.

MSC Class: 51M04; 97G40; 52C15

Remarks on the notion of homo-derivations

Authors: Eszter Gselmann, Gergely Kiss

Abstract: The purpose of this paper is to study the (different) notions of homo-derivations. These are additive mappings $f$ of a ring $R$ that also fulfill the identity \[ f(xy)=f(x)y+xf(y)+f(x)f(y) \qquad \left(x, y\in R\right), \] or (in case of the other notion) the system of equations \[ f(xy)=f(x)f(y)\] \[f(xy)=f(x)y+xf(y) \qquad \left(x, y\in R\right).\] Our primary aim is to investigate the above… ▽ More The purpose of this paper is to study the (different) notions of homo-derivations. These are additive mappings $f$ of a ring $R$ that also fulfill the identity \[ f(xy)=f(x)y+xf(y)+f(x)f(y) \qquad \left(x, y\in R\right), \] or (in case of the other notion) the system of equations \[ f(xy)=f(x)f(y)\] \[f(xy)=f(x)y+xf(y) \qquad \left(x, y\in R\right).\] Our primary aim is to investigate the above equations without additivity as well as the following Pexiderized equation \[ f(xy)=h(x)h(y)+xk(y)+k(x)y. \] The obtained results show that under rather mild assumptions homo-derivations can be fully characterized, even without the additivity assumption. △ Less

Submitted 5 February, 2020; v1 submitted 7 January, 2020; originally announced January 2020.

Comments: Dedicated to the 70th birthday of Professor Antal Járai

MSC Class: 39B50; 13N15; 16W20

Fuglede's conjecture holds on $\mathbb{Z}_p^2 \times \mathbb{Z}_q$

Authors: Gergely Kiss, Gábor Somlai

Abstract: The study of Fuglede's conjecture on the direct product of elementary abelian groups was initiated by Iosevich et al. For the product of two elementary abelian groups the conjecture holds. For $\mathbb{Z}_p^3$ the problem is still open if $p\ge 11$. In connection we prove that Fuglede's conjecture holds on $\mathbb{Z}_{p}^2\times \mathbb{Z}_q$ by developing a method based on ideas from discrete ge… ▽ More The study of Fuglede's conjecture on the direct product of elementary abelian groups was initiated by Iosevich et al. For the product of two elementary abelian groups the conjecture holds. For $\mathbb{Z}_p^3$ the problem is still open if $p\ge 11$. In connection we prove that Fuglede's conjecture holds on $\mathbb{Z}_{p}^2\times \mathbb{Z}_q$ by developing a method based on ideas from discrete geometry. △ Less

Submitted 21 October, 2020; v1 submitted 15 December, 2019; originally announced December 2019.

Comments: 8 pages

On the best constants associated with $n$-distances

Authors: Gergely Kiss, Jean-Luc Marichal

Abstract: We pursue the investigation of the concept of $n$-distance, an $n$-variable version of the classical concept of distance recently introduced and investigated by Kiss, Marichal, and Teheux. We especially focus on the challenging problem of computing the best constant associated with a given $n$-distance. In particular, we define and investigate the best constants related to partial simplex inequali… ▽ More We pursue the investigation of the concept of $n$-distance, an $n$-variable version of the classical concept of distance recently introduced and investigated by Kiss, Marichal, and Teheux. We especially focus on the challenging problem of computing the best constant associated with a given $n$-distance. In particular, we define and investigate the best constants related to partial simplex inequalities. We also introduce and discuss some subclasses of $n$-distances defined by considering some properties. Finally, we discuss an interesting link between the concepts of $n$-distance and multidistance. △ Less

Submitted 14 June, 2020; v1 submitted 1 July, 2019; originally announced July 2019.

MSC Class: Primary 39B72; Secondary 26D99

Journal ref: Acta Mathematica Hungarica, 161(1):341-365, 2020

On a class of linear functional equations without range condition

Authors: Eszter Gselmann, Gergely Kiss, Csaba Vincze

Abstract: The main purpose of this work is to provide the general solutions of a class of linear functional equations. Let $n\geq 2$ be an arbitrarily fixed integer, let further $X$ and $Y$ be linear spaces over the field $\mathbb{K}$ and let $α_{i}, β_{i}\in \mathbb{K}$, $i=1, \ldots, n$ be arbitrarily fixed constants. We will describe all those functions $f, f_{i, j}\colon X\times Y\to \mathbb{K}$,… ▽ More The main purpose of this work is to provide the general solutions of a class of linear functional equations. Let $n\geq 2$ be an arbitrarily fixed integer, let further $X$ and $Y$ be linear spaces over the field $\mathbb{K}$ and let $α_{i}, β_{i}\in \mathbb{K}$, $i=1, \ldots, n$ be arbitrarily fixed constants. We will describe all those functions $f, f_{i, j}\colon X\times Y\to \mathbb{K}$, $i, j=1, \ldots, n$ that fulfill functional equation \[ f\left(\sum_{i=1}^n α_i x_i, \sum_{i=1}^n β_i y_i\right)= \sum_{i, j=1}^{n}f_{i, j}(x_i, y_j) \qquad \left(x_i \in X, y_i \in Y, i=1, \ldots, n\right). \] Additionally, necessary and sufficient conditions will also be given that guarantee the solutions to be non-trivial. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: 27 pages, 1 figure

MSC Class: Primary 39B52; Secondary 39B22

Characterization of field homomorphisms through Pexiderized functional equations

Authors: Eszter Gselmann, Gergely Kiss, Csaba Vincze

Abstract: The aim of this paper is to prove characterization theorems for field homomorphisms. More precisely, the main result investigates the following problem. Let $n\in \mathbb{N}$ be arbitrary, $\mathbb{K}$ a field and $f_{1}, \ldots, f_{n}\colon \mathbb{K}\to \mathbb{C}$ additive functions. Suppose further that equation \[ \sum_{i=1}^{n}f^{q_{i}}_{i}\left(x^{p_{i}}\right)=0 \qquad \left(x\in \ma… ▽ More The aim of this paper is to prove characterization theorems for field homomorphisms. More precisely, the main result investigates the following problem. Let $n\in \mathbb{N}$ be arbitrary, $\mathbb{K}$ a field and $f_{1}, \ldots, f_{n}\colon \mathbb{K}\to \mathbb{C}$ additive functions. Suppose further that equation \[ \sum_{i=1}^{n}f^{q_{i}}_{i}\left(x^{p_{i}}\right)=0 \qquad \left(x\in \mathbb{K}\right) \] is also satisfied. Then the functions $f_{1}, \ldots, f_{n}$ are linear combinations of field homomorphisms from $\mathbb{K}$ to $\mathbb{C}$. △ Less

Submitted 29 October, 2018; originally announced October 2018.

MSC Class: 43A45; 13F20; 43A70; 39B62; 39B22; 39B72

On the discrete Fuglede and Pompeiu problems

Authors: Gergely Kiss, Romanos Diogenes Malikiosis, Gábor Somlai, Máté Vizer

Abstract: We investigate the discrete Fuglede's conjecture and Pompeiu problem on finite abelian groups and develop a strong connection between the two problems. We give a geometric condition under which a multiset of a finite abelian group has the discrete Pompeiu property. Using this description and the revealed connection we prove that Fuglede's conjecture holds for $\mathbb{Z}_{p^n q^2}$, where $p$ and… ▽ More We investigate the discrete Fuglede's conjecture and Pompeiu problem on finite abelian groups and develop a strong connection between the two problems. We give a geometric condition under which a multiset of a finite abelian group has the discrete Pompeiu property. Using this description and the revealed connection we prove that Fuglede's conjecture holds for $\mathbb{Z}_{p^n q^2}$, where $p$ and $q$ are different primes. In particular, we show that every spectral subset of $\mathbb{Z}_{p^n q^2}$ tiles the group. Further, using our combinatorial methods we give a simple proof for the statement that Fuglede's conjecture holds for $\mathbb{Z}_p^2$. △ Less

Submitted 11 April, 2019; v1 submitted 8 July, 2018; originally announced July 2018.

Comments: 24 pages. Incorporated referees' and editor's remarks. Corrected typos

MSC Class: 43A46; 39B32; 13F20; 20K01

Journal ref: Analysis & PDE 13 (2020) 765-788

Characterizations of biselective operations

Authors: Jimmy Devillet, Gergely Kiss

Abstract: Let $X$ be a nonempty set and let $i,j \in \{1,2,3,4\}$. We say that a binary operation $F:X^2\to X$ is $(i,j)$-selective if $$ F(F(x_1,x_2),F(x_3,x_4))~=~F(x_i,x_j), $$ for all $x_1,x_2,x_3,x_4\in X$. In this paper we provide characterizations of the class of $(i,j)$-selective operations. We also investigate some subclasses by adding algebraic properties such as associativity or bisymmetry. Let $X$ be a nonempty set and let $i,j \in \{1,2,3,4\}$. We say that a binary operation $F:X^2\to X$ is $(i,j)$-selective if $$ F(F(x_1,x_2),F(x_3,x_4))~=~F(x_i,x_j), $$ for all $x_1,x_2,x_3,x_4\in X$. In this paper we provide characterizations of the class of $(i,j)$-selective operations. We also investigate some subclasses by adding algebraic properties such as associativity or bisymmetry. △ Less

Submitted 18 June, 2018; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: 18 pages, 6 figures

MSC Class: 39B52

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.

Comments: 12 pages

MSC Class: 39B52; 13N15

On chromatic indices of finite affine spaces

Authors: Gabriela Araujo-Pardo, György Kiss, Christian Rubio-Montiel, Adrián Vázquez-Ávila

Abstract: The pseudoachromatic index of the finite affine space $\mathrm{AG}(n,q),$ denoted by $ψ'(\mathrm{AG}(n,q)),$ is the the maximum number of colors in any complete line-coloring of $\mathrm{AG}(n,q).$ When the coloring is also proper, the maximum number of colors is called the achromatic index of $\mathrm{AG}(n,q).$ We prove that if $n$ is even then $ψ'(\mathrm{AG}(n,q))\sim q^{1.5n-1}$; while when… ▽ More The pseudoachromatic index of the finite affine space $\mathrm{AG}(n,q),$ denoted by $ψ'(\mathrm{AG}(n,q)),$ is the the maximum number of colors in any complete line-coloring of $\mathrm{AG}(n,q).$ When the coloring is also proper, the maximum number of colors is called the achromatic index of $\mathrm{AG}(n,q).$ We prove that if $n$ is even then $ψ'(\mathrm{AG}(n,q))\sim q^{1.5n-1}$; while when $n$ is odd the value is bounded by $q^{1.5(n-1)}<ψ'(\mathrm{AG}(n,q))<q^{1.5n-1}$. Moreover, we prove that the achromatic index of $\mathrm{AG}(n,q)$ is $q^{1.5n-1}$ for even $n,$ and we provides the exact values of both indices in the planar case. △ Less

Submitted 24 November, 2017; originally announced November 2017.

Comments: 21 pages

Journal ref: Ars Mathematica Contemporanea-2019

Visual characterization of associative quasitrivial nondecreasing operations on finite chains

Authors: Gergely Kiss

Abstract: In this paper we provide visual characterization of associative quasitrivial nondecreasing operations on finite chains. We also provide a characterization of bisymmetric quasitrivial nondecreasing binary operations on finite chains. Finally, we estimate the number of functions belonging to the previous classes. In this paper we provide visual characterization of associative quasitrivial nondecreasing operations on finite chains. We also provide a characterization of bisymmetric quasitrivial nondecreasing binary operations on finite chains. Finally, we estimate the number of functions belonging to the previous classes. △ Less

Submitted 26 October, 2018; v1 submitted 21 September, 2017; originally announced September 2017.

Comments: 25 pages, 18 Figures

MSC Class: Primary 20N15; 39B72; Secondary 20M14

On functional equations characterizing derivations: methods and examples

Authors: Eszter Gselmann, Gergely Kiss, Csaba Vincze

Abstract: Functional equations satisfied by additive functions have a special interest not only in the theory of functional equations, but also in the theory of (commutative) algebra because the fundamental notions such as derivations and automorphisms are additive functions satisfying some further functional equations as well. It is an important question that how these morphisms can be characterized among… ▽ More Functional equations satisfied by additive functions have a special interest not only in the theory of functional equations, but also in the theory of (commutative) algebra because the fundamental notions such as derivations and automorphisms are additive functions satisfying some further functional equations as well. It is an important question that how these morphisms can be characterized among additive mappings in general. The paper contains some multivariate characterizations of higher order derivations. The univariate characterizations are given as consequences by the diagonalization of the multivariate formulas. The method allows us to refine the process of computing the solutions of univariate functional equations of the form \[ \sum_{k=1}^{n}x^{p_{k}}f_{k}(x^{q_{k}})=0, \] where $p_k$ and $q_k$ ($k=1, \ldots, n$) are given nonnegative integers and the unknown functions $f_{1}, \ldots, f_{n}\colon R\to R$ are supposed to be additive on the ring $R$. It is illustrated by some explicit examples too. As another application of the multivariate setting we use spectral analysis and spectral synthesis in the space of the additive solutions to prove that such a functional equation characterizes derivations of higher order. The results are uniformly based on the investigation of the multivariate version of the functional equations. △ Less

Submitted 21 February, 2018; v1 submitted 25 August, 2017; originally announced September 2017.

Comments: This paper is dedicated to the 65th birthday of Professor László Székelyhidi

MSC Class: 39B50; 13N15; 43A45

Controlling Mackey--Glass chaos

Authors: Gábor Kiss, Gergely Röst

Abstract: The Mackey--Glass equation, which was proposed to illustrate nonlinear phenomena in physiological control systems, is a classical example of a simple looking time delay system with very complicated behavior. Here we use a novel approach for chaos control: we prove that with well chosen control parameters, all solutions of the system can be forced into a domain where the feedback is monotone, and b… ▽ More The Mackey--Glass equation, which was proposed to illustrate nonlinear phenomena in physiological control systems, is a classical example of a simple looking time delay system with very complicated behavior. Here we use a novel approach for chaos control: we prove that with well chosen control parameters, all solutions of the system can be forced into a domain where the feedback is monotone, and by the powerful theory of delay differential equations with monotone feedback we can guarantee that the system is not chaotic any more. We show that this domain decomposition method is applicable with the most common control terms. Furthermore, we propose an other chaos control scheme based on state dependent delays. △ Less

Submitted 18 August, 2017; originally announced August 2017.

Comments: accepted in Chaos: An Interdisciplinary Journal of Nonlinear Science

MSC Class: 34K23; 93C23

Associative idempotent nondecreasing functions are reducible

Authors: Gergely Kiss, Gábor Somlai

Abstract: An $n$-ary associative function is called reducible if it can be written as a composition of a binary associative function. We summarize known results when the function is defined on a chain and is nondecreasing. Our main result shows that associative idempotent and nondecreasing functions are uniquely reducible. An $n$-ary associative function is called reducible if it can be written as a composition of a binary associative function. We summarize known results when the function is defined on a chain and is nondecreasing. Our main result shows that associative idempotent and nondecreasing functions are uniquely reducible. △ Less

Submitted 4 September, 2018; v1 submitted 13 July, 2017; originally announced July 2017.

Comments: 12 pages

MSC Class: 20N15; 39B72

On the metric dimension of affine planes, biaffine planes and generalized quadrangles

Authors: Daniele Bartoli, Tamás Héger, György Kiss, Marcella Takáts

Abstract: In this paper the metric dimension of (the incidence graphs of) particular partial linear spaces is considered. We prove that the metric dimension of an affine plane of order $q\geq13$ is $3q-4$ and describe all resolving sets of that size if $q\geq 23$. The metric dimension of a biaffine plane (also called a flag-type elliptic semiplane) of order $q\geq 4$ is shown to fall between $2q-2$ and… ▽ More In this paper the metric dimension of (the incidence graphs of) particular partial linear spaces is considered. We prove that the metric dimension of an affine plane of order $q\geq13$ is $3q-4$ and describe all resolving sets of that size if $q\geq 23$. The metric dimension of a biaffine plane (also called a flag-type elliptic semiplane) of order $q\geq 4$ is shown to fall between $2q-2$ and $3q-6$, while for Desarguesian biaffine planes the lower bound is improved to $8q/3-7$ under $q\geq 7$, and to $3q-9\sqrt{q}$ under certain stronger restrictions on $q$. We determine the metric dimension of generalized quadrangles of order $(s,1)$, $s$ arbitrary. We derive that the metric dimension of generalized quadrangles of order $(q,q)$, $q\geq2$, is at least $\max\{6q-27,4q-7\}$, while for the classical generalized quadrangles $W(q)$ and $Q(4,q)$ it is at most $8q$. △ Less

Submitted 20 June, 2017; originally announced June 2017.

MSC Class: 05C12; 05B25

Characterizations of quasitrivial symmetric nondecreasing associative operations

Authors: Jimmy Devillet, Gergely Kiss, Jean-Luc Marichal

Abstract: We provide a description of the class of n-ary operations on an arbitrary chain that are quasitrivial, symmetric, nondecreasing, and associative. We also prove that associativity can be replaced with bisymmetry in the definition of this class. Finally we investigate the special situation where the chain is finite. We provide a description of the class of n-ary operations on an arbitrary chain that are quasitrivial, symmetric, nondecreasing, and associative. We also prove that associativity can be replaced with bisymmetry in the definition of this class. Finally we investigate the special situation where the chain is finite. △ Less

Submitted 27 February, 2019; v1 submitted 1 May, 2017; originally announced May 2017.

MSC Class: 20N15; 39B72 (Primary); 20M14 (Secondary)

Journal ref: Semigroup Forum 98 (1) (2019) 154-171

On spectral synthesis in varieties containing the solutions of inhomogeneous linear functional equations

Authors: Gergely Kiss, Csaba Vincze

Abstract: As a continuation of our previous work \cite{KV2} the aim of the recent paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral synthesis in translation invariant closed linear subspaces of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The idea is based on the fundamental work of M. L… ▽ More As a continuation of our previous work \cite{KV2} the aim of the recent paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral synthesis in translation invariant closed linear subspaces of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The idea is based on the fundamental work of M. Laczkovich and G. Kiss \cite{KL}. Using spectral analysis in some related varieties we can prove the existence of special solutions (automorphisms) of the functional equation but the spectral synthesis allows us to describe the entire space of solutions on a large class of finitely generated fields. It is spanned by the so-called exponential monomials which can be given in terms of automorphisms of $\cc$ and differential operators. We apply the general theory to some inhomogeneous problems motivated by quadrature rules of approximate integration \cite{KKSZ08}, see also \cite{KKSZ} and \cite{KKSZW}. △ Less

Submitted 16 April, 2017; originally announced April 2017.

On spectral analysis in varieties containing the solutions of inhomogeneous linear functional equations

Authors: Gergely Kiss, Csaba Vincze

Abstract: The aim of the paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral analysis in a translation invariant closed linear subspace of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The application of spectral analysis in some related varieties is a new and important trend in the theory… ▽ More The aim of the paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral analysis in a translation invariant closed linear subspace of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The application of spectral analysis in some related varieties is a new and important trend in the theory of functional equations; especially they have successful applications in case of homogeneous linear functional equations. The foundation of the theory can be found in M. Laczkovich and G. Kiss \cite{KL}, see also G. Kiss and A. Varga \cite{KV}. We are going to adopt the main theoretical tools to solve some inhomogeneous problems due to T. Szostok \cite{KKSZ08}, see also \cite{KKSZ} and \cite{KKSZW}. They are motivated by quadrature rules of approximate integration. △ Less

Submitted 16 April, 2017; originally announced April 2017.

On line colorings of finite projective spaces

Authors: Gabriela Araujo-Pardo, György Kiss, Christian Rubio-Montiel, Adrián Vázquez-Ávila

Abstract: In this paper, we prove lower and upper bounds on the achromatic and the pseudoachromatic indices of the $n$-dimensional finite projective space of order $q$. In this paper, we prove lower and upper bounds on the achromatic and the pseudoachromatic indices of the $n$-dimensional finite projective space of order $q$. △ Less

Submitted 28 January, 2021; v1 submitted 22 February, 2017; originally announced February 2017.

Comments: 20 pages, 1 figure

MSC Class: 05C15; 05B25

Journal ref: Graphs and Combinatorics-2021

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.

Comments: 17 pages, 2 pictures

MSC Class: 39B32; 30D05 (primary); 43A45 (secondary)

A generalization of the concept of distance based on the simplex inequality

Authors: Gergely Kiss, Jean-Luc Marichal, Bruno Teheux

Abstract: We introduce and discuss the concept of \emph{$n$-distance}, a generalization to $n$ elements of the classical notion of distance obtained by replacing the triangle inequality with the so-called simplex inequality $$ d(x_1, \ldots, x_n)~\leq~K\, \sum_{i=1}^n d(x_1, \ldots, x_n)_i^z{\,}, \qquad x_1, \ldots, x_n, z \in X, $$ where $K=1$. Here $d(x_1,\ldots,x_n)_i^z$ is obtained from the function… ▽ More We introduce and discuss the concept of \emph{$n$-distance}, a generalization to $n$ elements of the classical notion of distance obtained by replacing the triangle inequality with the so-called simplex inequality $$ d(x_1, \ldots, x_n)~\leq~K\, \sum_{i=1}^n d(x_1, \ldots, x_n)_i^z{\,}, \qquad x_1, \ldots, x_n, z \in X, $$ where $K=1$. Here $d(x_1,\ldots,x_n)_i^z$ is obtained from the function $d(x_1,\ldots,x_n)$ by setting its $i$th variable to $z$. We provide several examples of $n$-distances, and for each of them we investigate the infimum of the set of real numbers $K\in\left]0,1\right]$ for which the inequality above holds. We also introduce a generalization of the concept of $n$-distance obtained by replacing in the simplex inequality the sum function with an arbitrary symmetric function. △ Less

Submitted 22 May, 2018; v1 submitted 23 November, 2016; originally announced November 2016.

MSC Class: 26D99; 39B72

Journal ref: Beitraege zur Algebra und Geometrie / Contributions to Algebra and Geometry 59 (2) (2018) 247-266

A characterization of $n$-associative, monotone, idempotent functions on an interval that have neutral elements

Authors: Gergely Kiss, Gábor Somlai

Abstract: We investigate monotone idempotent $n$-ary semigroups. One of the main result of this article is the generalisation of Czogala-Drewniak Theorem, which describes the idempotent monotone associative functions having neutral element. Furthermore we present the full characterisation of idempotent, monotone, $n$-associative functions on an interval which have neutral elements. %{\bl defined}. Our descr… ▽ More We investigate monotone idempotent $n$-ary semigroups. One of the main result of this article is the generalisation of Czogala-Drewniak Theorem, which describes the idempotent monotone associative functions having neutral element. Furthermore we present the full characterisation of idempotent, monotone, $n$-associative functions on an interval which have neutral elements. %{\bl defined}. Our description provides that monotone, idempotent, $n$-ary semigroups are quasitrivial. △ Less

Submitted 16 October, 2017; v1 submitted 1 September, 2016; originally announced September 2016.

MSC Class: 06F05; 20M99

Pointwise regularity of parameterized affine zipper fractal curves

Authors: Balázs Bárány, Gergely Kiss, István Kolossváry

Abstract: We study the pointwise regularity of zipper fractal curves generated by affine mappings. Under the assumption of dominated splitting of index-1, we calculate the Hausdorff dimension of the level sets of the pointwise Hölder exponent for a subinterval of the spectrum. We give an equivalent characterization for the existence of regular pointwise Hölder exponent for Lebesgue almost every point. In th… ▽ More We study the pointwise regularity of zipper fractal curves generated by affine mappings. Under the assumption of dominated splitting of index-1, we calculate the Hausdorff dimension of the level sets of the pointwise Hölder exponent for a subinterval of the spectrum. We give an equivalent characterization for the existence of regular pointwise Hölder exponent for Lebesgue almost every point. In this case, we extend the multifractal analysis to the full spectrum. In particular, our results apply for de Rham's curve. △ Less

Submitted 12 July, 2017; v1 submitted 16 August, 2016; originally announced August 2016.

MSC Class: 28A80; 26A27; 26A30

On the spectrum of sizes of semiovals contained in the Hermitian curve

Authors: Daniele Bartoli, Gyorgy Kiss, Stefano Marcugini, Fernanda Pambianco

Abstract: Some constructions and bounds on the sizes of semiovals contained in the Hermitian curve are given. A construction of an infinite family of 2-blocking sets of the Hermitian curve is also presented. Some constructions and bounds on the sizes of semiovals contained in the Hermitian curve are given. A construction of an infinite family of 2-blocking sets of the Hermitian curve is also presented. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 16 pages

MSC Class: 05-XX

2-semiarcs in $\mathrm{PG}(2,q)$, $q\leq 13$

Authors: Daniele Bartoli, Giorgio Faina, György Kiss, Stefano Marcugini, Fernanda Pambianco

Abstract: A $2$-semiarc is a pointset ${\mathcal S}_k$ with the property that the number of tangent lines to ${\mathcal S}_k$ at each of its points is two. Using some theoretical results and computer aided search, the complete classification of $2$-semiarcs in PG$(2,q)$ is given for $q\leq 7,$ the spectrum of their sizes is determined for $q\leq 9$, and some results about the existence are proven for… ▽ More A $2$-semiarc is a pointset ${\mathcal S}_k$ with the property that the number of tangent lines to ${\mathcal S}_k$ at each of its points is two. Using some theoretical results and computer aided search, the complete classification of $2$-semiarcs in PG$(2,q)$ is given for $q\leq 7,$ the spectrum of their sizes is determined for $q\leq 9$, and some results about the existence are proven for $q=11$ and $q=13.$ For several sizes of $2$-semiarcs in $\mathrm{PG}(2,q)$, $q\leq 7$, classification results have been obtained by theoretical proofs. △ Less

Submitted 22 July, 2014; originally announced July 2014.

MSC Class: 51E21