Showing 1–15 of 15 results for author: Bartos, A

Uncountable homogeneous structures

Authors: Adam Bartoš, Wiesław Kubiś

Abstract: We study the existence of uncountable first-order structures that are homogeneous with respect to their finitely generated substructures. In many classical cases this is either well-known or follows from general facts, for example, if the language is finite and relational then ultrapowers provide arbitrarily large such sturctures. On the other hand, there are no general results saying that uncount… ▽ More We study the existence of uncountable first-order structures that are homogeneous with respect to their finitely generated substructures. In many classical cases this is either well-known or follows from general facts, for example, if the language is finite and relational then ultrapowers provide arbitrarily large such sturctures. On the other hand, there are no general results saying that uncountable homogeneous structures with a given age exist. We examine the monoid of self-embeddings of a fixed countable homogeneous structure and, using abstract Fraïssé theory, we present a method of constructing an uncountable homogeneous structure, based on the amalgamation property of this monoid. △ Less

Submitted 1 February, 2025; v1 submitted 26 November, 2024; originally announced November 2024.

Comments: An earlier version of this paper had three authors. Mirna Džamonja withdrew from the collaboration on the article on January 24, 2025. See pg. 23 for the acknowledgment

MSC Class: 08A35; 03C50

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Authors: Adam Bartoš, Tristan Bice, Alessandro Vignati

Abstract: In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset with its spectrum, which is a compact T_1 topological space. In this paper, we focus on the case where such finite sets have a graph structure and the relatio… ▽ More In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset with its spectrum, which is a compact T_1 topological space. In this paper, we focus on the case where such finite sets have a graph structure and the relations belong to a given graph category. We relate topological properties of the spectrum to combinatorial properties of the graph categories involved. We then utilise this to exhibit elementary combinatorial constructions of well-known continua as Fraïssé limits of finite graphs in categories with relational morphisms. △ Less

Submitted 27 August, 2024; originally announced August 2024.

Comments: 63 pages

MSC Class: 05C62; 54D80; 54F15

Towards Effective Human-AI Decision-Making: The Role of Human Learning in Appropriate Reliance on AI Advice

Authors: Max Schemmer, Andrea Bartos, Philipp Spitzer, Patrick Hemmer, Niklas Kühl, Jonas Liebschner, Gerhard Satzger

Abstract: The true potential of human-AI collaboration lies in exploiting the complementary capabilities of humans and AI to achieve a joint performance superior to that of the individual AI or human, i.e., to achieve complementary team performance (CTP). To realize this complementarity potential, humans need to exercise discretion in following AI 's advice, i.e., appropriately relying on the AI's advice. W… ▽ More The true potential of human-AI collaboration lies in exploiting the complementary capabilities of humans and AI to achieve a joint performance superior to that of the individual AI or human, i.e., to achieve complementary team performance (CTP). To realize this complementarity potential, humans need to exercise discretion in following AI 's advice, i.e., appropriately relying on the AI's advice. While previous work has focused on building a mental model of the AI to assess AI recommendations, recent research has shown that the mental model alone cannot explain appropriate reliance. We hypothesize that, in addition to the mental model, human learning is a key mediator of appropriate reliance and, thus, CTP. In this study, we demonstrate the relationship between learning and appropriate reliance in an experiment with 100 participants. This work provides fundamental concepts for analyzing reliance and derives implications for the effective design of human-AI decision-making. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Journal ref: International Conference on Information Systems (ICIS 2023)

Constructing Compacta from Posets

Authors: Adam Bartoš, Tristan Bice, Alessandro Vignati

Abstract: We develop a simple method of constructing topological spaces from countable posets with finite levels, one which applies to all second countable T_1 compacta. This results in a duality amenable to building such spaces from finite building blocks, essentially an abstract analog of classical constructions defining compacta from progressively finer open covers. We develop a simple method of constructing topological spaces from countable posets with finite levels, one which applies to all second countable T_1 compacta. This results in a duality amenable to building such spaces from finite building blocks, essentially an abstract analog of classical constructions defining compacta from progressively finer open covers. △ Less

Submitted 5 December, 2024; v1 submitted 3 July, 2023; originally announced July 2023.

MSC Class: 06A07; 54D70; 54D80; 54E45; 54H10

Homogeneous isosceles-free spaces

Authors: Christian Bargetz, Adam Bartoš, Wiesław Kubiś, Franz Luggin

Abstract: We study homogeneity aspects of metric spaces in which all triples of distinct points admit pairwise different distances; such spaces are called isosceles-free. In particular, we characterize all homogeneous isosceles-free spaces up to isometry as vector spaces over the two-element field, endowed with an injective norm. Using isosceles-free decompositions, we provide bounds on the maximal number o… ▽ More We study homogeneity aspects of metric spaces in which all triples of distinct points admit pairwise different distances; such spaces are called isosceles-free. In particular, we characterize all homogeneous isosceles-free spaces up to isometry as vector spaces over the two-element field, endowed with an injective norm. Using isosceles-free decompositions, we provide bounds on the maximal number of distances in arbitrary homogeneous finite metric spaces. △ Less

Submitted 27 May, 2024; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: 36 pages

MSC Class: 03C50; 20B25; 51F99; 54E35; 05C15; 05E18

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 118(2024), no.3, Paper No. 118

Appropriate Reliance on AI Advice: Conceptualization and the Effect of Explanations

Authors: Max Schemmer, Niklas Kühl, Carina Benz, Andrea Bartos, Gerhard Satzger

Abstract: AI advice is becoming increasingly popular, e.g., in investment and medical treatment decisions. As this advice is typically imperfect, decision-makers have to exert discretion as to whether actually follow that advice: they have to "appropriately" rely on correct and turn down incorrect advice. However, current research on appropriate reliance still lacks a common definition as well as an operati… ▽ More AI advice is becoming increasingly popular, e.g., in investment and medical treatment decisions. As this advice is typically imperfect, decision-makers have to exert discretion as to whether actually follow that advice: they have to "appropriately" rely on correct and turn down incorrect advice. However, current research on appropriate reliance still lacks a common definition as well as an operational measurement concept. Additionally, no in-depth behavioral experiments have been conducted that help understand the factors influencing this behavior. In this paper, we propose Appropriateness of Reliance (AoR) as an underlying, quantifiable two-dimensional measurement concept. We develop a research model that analyzes the effect of providing explanations for AI advice. In an experiment with 200 participants, we demonstrate how these explanations influence the AoR, and, thus, the effectiveness of AI advice. Our work contributes fundamental concepts for the analysis of reliance behavior and the purposeful design of AI advisors. △ Less

Submitted 13 April, 2023; v1 submitted 4 February, 2023; originally announced February 2023.

Comments: arXiv admin note: text overlap with arXiv:2204.06916

Journal ref: ACM 28th International Conference on Intelligent User Interfaces (IUI), 2023

Hereditarily indecomposable continua as generic mathematical structures

Authors: Adam Bartoš, Wiesław Kubiś

Abstract: We characterize the pseudo-arc as well as P-adic pseudo-solenoids (for a set of primes P) as generic structures, arising from a natural game in which two players alternate in building an inverse sequence of surjections. The second player wins if the limit of this sequence is homeomorphic to a concrete (fixed in advance) space, called generic whenever the second player has a winning strategy. For… ▽ More We characterize the pseudo-arc as well as P-adic pseudo-solenoids (for a set of primes P) as generic structures, arising from a natural game in which two players alternate in building an inverse sequence of surjections. The second player wins if the limit of this sequence is homeomorphic to a concrete (fixed in advance) space, called generic whenever the second player has a winning strategy. For this aim, we develop a new approximate Fraïssé theory, in order to realize the above-mentioned objects (the pseudo-arc and the pseudo-solenoids) as Fraïssé limits. Our framework extends the discrete Fraïssé theory, both classical and projective, and is also suitable for working directly with continuous maps on metrizable compacta. We show, in particular, that, when playing with continuous surjections between non-degenerate Peano continua, the pseudo-arc is always generic. The universal pseudo-solenoid appears to be generic over all surjections between circle-like continua. △ Less

Submitted 2 September, 2022; v1 submitted 14 August, 2022; originally announced August 2022.

Comments: 64 pages, 2 figures, comments are welcome

MSC Class: 54F15; 18D20; 18F60

Quasi-Objective Eddy Visualization from Sparse Drifter Data

Authors: Alex P. Encinas Bartos, Nikolas O. Aksamit, George Haller

Abstract: We employ a recently developed single-trajectory Lagrangian diagnostic tool, the trajectory rotation average $ (\mathrm{\overline{TRA}}) $, to visualize oceanic vortices (or eddies) from sparse drifter data. We apply the $ \mathrm{\overline{TRA}} $ to two drifter data sets that cover various oceanographic scales: the Grand Lagrangian Deployment (GLAD) and the Global Drifter Program (GDP). Based on… ▽ More We employ a recently developed single-trajectory Lagrangian diagnostic tool, the trajectory rotation average $ (\mathrm{\overline{TRA}}) $, to visualize oceanic vortices (or eddies) from sparse drifter data. We apply the $ \mathrm{\overline{TRA}} $ to two drifter data sets that cover various oceanographic scales: the Grand Lagrangian Deployment (GLAD) and the Global Drifter Program (GDP). Based on the $ \mathrm{\overline{TRA}} $, we develop a general algorithm that extracts approximate eddy boundaries. We find that the $ \mathrm{\overline{TRA}} $ outperforms other available single-trajectory-based eddy detection methodologies on sparse drifter data and identifies eddies on scales that are unresolved by satellite-altimetry. △ Less

Submitted 5 November, 2022; v1 submitted 28 November, 2021; originally announced November 2021.

The weak Ramsey property and extreme amenability

Authors: Adam Bartoš, Tristan Bice, Keegan Dasilva Barbosa, Wiesław Kubiś

Abstract: We extend the Kechris--Pestov--Todorčević correspondence to weak Fraïssé categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We demonstrate the theory on several examples including monoid categories, the category of almost linear orders, and categories of strong embeddings of trees. We extend the Kechris--Pestov--Todorčević correspondence to weak Fraïssé categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We demonstrate the theory on several examples including monoid categories, the category of almost linear orders, and categories of strong embeddings of trees. △ Less

Submitted 26 August, 2024; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: 57 pages, 12 figures

MSC Class: 22F50; 05D10; 18A30; 54H11

Journal ref: Forum of Mathematics, Sigma 12 (2024) e96

Quasi-Objective Coherent Structure Diagnostics from Single Trajectories

Authors: George Haller, Nikolas Aksamit, Alex P. Encinas Bartos

Abstract: We derive measures of local material stretching and rotation that are computable from individual trajectories without reliance on other trajectories or on an underlying velocity field. Both measures are quasi-objective: they approximate objective (i.e., observer-independent) coherence diagnostics in frames satisfying a certain condition. This condition requires the trajectory accelerations to domi… ▽ More We derive measures of local material stretching and rotation that are computable from individual trajectories without reliance on other trajectories or on an underlying velocity field. Both measures are quasi-objective: they approximate objective (i.e., observer-independent) coherence diagnostics in frames satisfying a certain condition. This condition requires the trajectory accelerations to dominate the angular acceleration induced by the spatial mean vorticity. We illustrate in examples how quasi-objective coherence diagnostics highlight elliptic and hyperbolic Lagrangian coherent structures even from very sparse trajectory data. △ Less

Submitted 21 March, 2022; v1 submitted 14 January, 2021; originally announced January 2021.

Borel complexity up to the equivalence

Authors: Adam Bartoš

Abstract: We say that two classes of topological spaces are equivalent if each member of one class has a homeomorphic copy in the other class and vice versa. Usually when the Borel complexity of a class of metrizable compacta is considered, the class is realized as the subset of the hyperspace $\mathcal{K}([0, 1]^ω)$ containing all homeomorphic copies of members of the given class. We are rather interested… ▽ More We say that two classes of topological spaces are equivalent if each member of one class has a homeomorphic copy in the other class and vice versa. Usually when the Borel complexity of a class of metrizable compacta is considered, the class is realized as the subset of the hyperspace $\mathcal{K}([0, 1]^ω)$ containing all homeomorphic copies of members of the given class. We are rather interested in the lowest possible complexity among all equivalent realizations of the given class in the hyperspace. We recall that to every analytic subset of $\mathcal{K}([0, 1]^ω)$ there exist an equivalent $G_δ$ subset. Then we show that up to the equivalence open subsets of the hyperspace $\mathcal{K}([0, 1]^ω)$ correspond to countably many classes of metrizable compacta. Finally we use the structure of open subsets up to equivalence to prove that to every $F_σ$ subset of $\mathcal{K}([0, 1]^ω)$ there exists an equivalent closed subset. △ Less

Submitted 18 February, 2020; v1 submitted 2 December, 2018; originally announced December 2018.

Comments: 17 pages, 1 figure

MSC Class: 54H05; 54B20; 54E45; 54F15

Journal ref: Topology Appl. 270 (2020) 107042

Constant slope, entropy and horseshoes for a map on a tame graph

Authors: Adam Bartoš, Jozef Bobok, Pavel Pyrih, Samuel Roth, Benjamin Vejnar

Abstract: We study continuous countably (strictly) monotone maps defined on a tame graph, i.e., a special Peano continuum for which the set containing branchpoints and endpoints has a countable closure. In our investigation we confine ourselves to the countable Markov case. We show a necessary and sufficient condition under which a locally eventually onto, countably Markov map $f$ of a tame graph $G$ is con… ▽ More We study continuous countably (strictly) monotone maps defined on a tame graph, i.e., a special Peano continuum for which the set containing branchpoints and endpoints has a countable closure. In our investigation we confine ourselves to the countable Markov case. We show a necessary and sufficient condition under which a locally eventually onto, countably Markov map $f$ of a tame graph $G$ is conjugate to a constant slope map $g$ of a countably affine tame graph. In particular, we show that in the case of a Markov map $f$ that corresponds to recurrent transition matrix, the condition is satisfied for constant slope $e^{h_{\operatorname{top}}(f)}$, where $h_{\operatorname{top}}(f)$ is the topological entropy of $f$. Moreover, we show that in our class the topological entropy $h_{\operatorname{top}}(f)$ is achievable through horseshoes of the map $f$. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Comments: 24 pages, 2 figures

MSC Class: 37E25 (primary) 37B40; 37B45 (secondary)

Journal ref: Ergodic Theory Dynam. Systems 40 (2020), no. 11, 2970--2994

Compactifiable classes of compacta

Authors: A. Bartoš, J. Bobok, J. van Mill, P. Pyrih, B. Vejnar

Abstract: We introduce the notion of compactifiable classes -- these are classes of metrizable compact spaces that can be up to homeomorphic copies ``disjointly combined'' into one metrizable compact space. This is witnessed by so-called compact composition of the class. Analogously, we consider Polishable classes and Polish compositions. The question of compactifiability or Polishability of a class is rela… ▽ More We introduce the notion of compactifiable classes -- these are classes of metrizable compact spaces that can be up to homeomorphic copies ``disjointly combined'' into one metrizable compact space. This is witnessed by so-called compact composition of the class. Analogously, we consider Polishable classes and Polish compositions. The question of compactifiability or Polishability of a class is related to hyperspaces. Strongly compactifiable and strongly Polishable classes may be characterized by the existence of a corresponding family in the hyperspace of all metrizable compacta. We systematically study the introduced notions -- we give several characterizations, consider preservation under various constructions, and raise several questions. △ Less

Submitted 13 May, 2019; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: 32 pages, 1 figure, revised version

MSC Class: 54D80; 54H05; 54B20; 54E45; 54F15

Journal ref: Topology Appl. 266 (2019) 106836

Tree sums of maximal connected spaces

Authors: Adam Bartoš

Abstract: A topology $τ$ on a set $X$ is called maximal connected if it is connected, but no strictly finer topology $τ^* > τ$ is connected. We consider a construction of so-called tree sums of topological spaces, and we show how this construction preserves maximal connectedness and also related properties of strong connectedness and essential connectedness. We also recall the characterization of finitely… ▽ More A topology $τ$ on a set $X$ is called maximal connected if it is connected, but no strictly finer topology $τ^* > τ$ is connected. We consider a construction of so-called tree sums of topological spaces, and we show how this construction preserves maximal connectedness and also related properties of strong connectedness and essential connectedness. We also recall the characterization of finitely generated maximal connected spaces and reformulate it in the language of specialization preorder and graphs, from which it is clear that finitely generated maximal connected spaces are precisely $T_\frac{1}{2}$ tree sums of copies of the Sierpiński space. △ Less

Submitted 2 December, 2018; v1 submitted 13 June, 2017; originally announced June 2017.

Comments: 29 pages, 3 figures, final version

MSC Class: 54A10; 54D05; 54B17; 54D10; 54G15

Journal ref: Topology Appl. 252 (2019) 50--71

Lower separation axioms via Borel and Baire algebras

Authors: Taras Banakh, Adam Bartoš

Abstract: Let $κ$ be an infinite regular cardinal. We define a topological space $X$ to be $T_{κ-Borel}$-space (resp. a $T_{κ-BP}$-space) if for every $x\in X$ the singleton $\{x\}$ belongs to the smallest $κ$-additive algebra of subsets of $X$ that contains all open sets (and all nowhere dense sets) in $X$. Each $T_1$-space is a $T_{κ-Borel}$-space and each $T_{κ-Borel}$-space is a $T_0$-space. On the othe… ▽ More Let $κ$ be an infinite regular cardinal. We define a topological space $X$ to be $T_{κ-Borel}$-space (resp. a $T_{κ-BP}$-space) if for every $x\in X$ the singleton $\{x\}$ belongs to the smallest $κ$-additive algebra of subsets of $X$ that contains all open sets (and all nowhere dense sets) in $X$. Each $T_1$-space is a $T_{κ-Borel}$-space and each $T_{κ-Borel}$-space is a $T_0$-space. On the other hand, $T_{κ-BP}$-spaces need not be $T_0$-spaces. We prove that a topological space $X$ is a $T_{κ-Borel}$-space (resp. a $T_{κ-BP}$-space) if and only if for each point $x\in X$ the singleton $\{x\}$ is the intersection of a closed set and a $G_{<κ}$-set in $X$ (resp. $\{x\}$ is either nowhere dense or a $G_{<κ}$-set in $X$). Also we present simple examples distinguishing the separation axioms $T_{κ-Borel}$ and $T_{κ-BP}$ for various infinite cardinals $κ$, and we relate the axioms to several known notions, which results in a quite regular two-dimensional diagram of lower separation axioms. △ Less

Submitted 14 March, 2018; v1 submitted 21 May, 2017; originally announced May 2017.

Comments: 12 pages

MSC Class: 54D10

Journal ref: Serdica Math. J. 44 (2018) 155--176