arXiv subjects

Tereza Klimosova

Publications and source records attributed to Tereza Klimosova.

5 recordsLinked to original sources

arXiv2018

Infinite dimensional finitely forcible graphon

Graphons are analytic objects associated with convergent sequences of dense graphs. Finitely forcible graphons, i.e., those determined by finitely many subgraph densities, are of particular interest because of their relation to various problems in extremal combinatorics and theoretical computer science. Lovasz and Szegedy conjectured that the topological space of typical vertices of a finitely forcible graphon always has finite dimension, which would have implications on the minimum number of parts in its weak eps-regular partition. We disprove the conjecture by constructing a finitely forcible graphon with the space of typical vertices that has infinite dimension.

math.CO↗

arXiv2016

Densities in large permutations and parameter testing

A classical theorem of Erdos, Lovasz and Spencer asserts that the densities of connected subgraphs in large graphs are independent. We prove an analogue of this theorem for permutations and we then apply the methods used in the proof to give an example of a finitely approximable permutation parameter that is not finitely forcible. The latter answers a question posed by two of the authors and Moreira and Sampaio.

cs.DM↗

arXiv2016

Finitely forcible graphons and permutons

We investigate when limits of graphs (graphons) and permutations (permutons) are uniquely determined by finitely many densities of their substructures, i.e., when they are finitely forcible. Every permuton can be associated with a graphon through the notion of permutation graphs. We find permutons that are finitely forcible but the associated graphons are not. We also show that all permutons that can be expressed as a finite combination of monotone permutons and quasirandom permutons are finitely forcible, which is the permuton counterpart of the result of Lovasz and Sos for graphons.

math.CO↗

arXiv2013

Strong immersions and maximum degree

A graph H is strongly immersed in G if G is obtained from H by a sequence of vertex splittings (i.e., lifting some pairs of incident edges and removing the vertex) and edge removals. Equivalently, vertices of H are mapped to distinct vertices of G (branch vertices) and edges of H are mapped to pairwise edge-disjoint paths in G, each of them joining the branch vertices corresponding to the ends of the edge and not containing any other branch vertices. We show that there exists a function d:N->N such that for all graphs H and G, if G contains a strong immersion of the star K_{1,d(Delta(H))|V(H)|} whose branch vertices are Delta(H)-edge-connected to one another, then H is strongly immersed in G. This has a number of structural consequences for graphs avoiding a strong immersion of H. In particular, a class C of simple 4-edge-connected graphs contains all graphs of maximum degree 4 as strong immersions if and only if C has either unbounded maximum degree or unbounded tree-width.

math.CO↗

arXiv2012

Hereditary properties of permutations are strongly testable

We show that for every hereditary permutation property P and every eps>0, there exists an integer M such that if a permutation p is eps-far from P in the Kendall's tau distance, then a random subpermutation of p of order M has the property P with probability at most eps. This settles an open problem whether hereditary permutation properties are strongly testable, i.e., testable with respect to the Kendall's tau distance. In addition, our method also yields a proof of a conjecture of Hoppen, Kohayakawa, Moreira and Sampaio on the relation of the rectangular distance and the Kendall's tau distance of a permutation from a hereditary property.

cs.DM↗