Source author record

Ádám Kunos

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.LO

Catalog footprint

Research overview

2works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Definability in the substructure ordering of finite directed graphs

We deal with first-order definability in the substructure ordering $(\mathcal{D}; \sqsubseteq)$ of finite directed graphs. In two papers, the author has already investigated the first-order language of the embeddability ordering $( \mathcal{D}; \leq)$ . The latter has turned out to be quite strong, e.g., it has been shown that, modulo edge-reversing (on the whole graphs), it can express the full second-order language of directed graphs. Now we show that, with finitely many directed graphs added as constants, the first order language of $( \mathcal{D}; \sqsubseteq)$ can express that of $( \mathcal{D}; \leq)$ . The limits of the expressive power of such languages are intimately related to the automorphism groups of the orderings. Previously, analogue investigations have found the concerning automorphism groups to be quite trivial, e.g., the automorphism group of $( \mathcal{D}; \leq)$ is isomorphic to $\mathbb{Z}_2$ . Here, unprecedentedly, this is not the case. Even though we conjecture that the automorphism group is isomorphic to $(\mathbb{Z}_2^4 \times S_4)\rtimes_α \mathbb{Z}_2$ , with a particular $α$ in the semidirect product, we only prove it is finite.

preprint2015arXiv

Geometric constructibility of cyclic polygons and a limit theorem

We study convex cyclic polygons, that is, inscribed $n$ -gons. Starting from P. Schreiber's idea, published in 1993, we prove that these polygons are not constructible from their side lengths with straightedge and compass, provided $n$ is at least five. They are non-constructible even in the particular case where they only have two different integer side lengths, provided that $n\neq 6$ . To achieve this goal, we develop two tools of separate interest. First, we prove a limit theorem stating that, under reasonable conditions, geometric constructibility is preserved under taking limits. To do so, we tailor a particular case of Puiseux's classical theorem on some generalized power series, called Puiseux series, over algebraically closed fields to an analogous theorem on these series over real square root closed fields. Second, based on Hilbert's irreducibility theorem, we give a \emph{rational parameter theorem} that, under reasonable conditions again, turns a non-constructibility result with a transcendental parameter into a non-constructibility result with a rational parameter. For $n$ even and at least six, we give an elementary proof for the non-constructibility of the cyclic $n$ -gon from its side lengths and, also, from the \emph{distances} of its sides from the center of the circumscribed circle. The fact that the cyclic $n$ -gon is constructible from these distances for $n=4$ but non-constructible for $n=3$ exemplifies that some conditions of the limit theorem cannot be omitted.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.