Researcher profile

Florian Frick

Florian Frick contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

8 published item(s)

preprint2023arXiv

Topological methods in zero-sum Ramsey theory

A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinatorial contexts. Our main result (1) is a topological criterion for determining when any $\mathbb{Z}/n$-coloring of an $n$-uniform hypergraph contains a zero-sum hyperedge. In addition to applications for Kneser hypergraphs, for complete hypergraphs our methods recover Olson's generalization of the EGZ theorem for arbitrary finite groups. Furthermore, we (2) give a fractional generalization of the EGZ theorem with applications to balanced set families and (3) provide a constrained EGZ theorem which imposes combinatorial restrictions on zero-sum sequences in the original result.

preprint2022arXiv

The topology of projective codes and the distribution of zeros of odd maps

We show that the size of codes in projective space controls structural results for zeros of odd maps from spheres to Euclidean space. In fact, this relation is given through the topology of the space of probability measures on the sphere whose supports have diameter bounded by some specific parameter. Our main result is a generalization of the Borsuk--Ulam theorem, and we derive four consequences of it: (i) We give a new proof of a result of Simonyi and Tardos on topological lower bounds for the circular chromatic number of a graph; (ii) we study generic embeddings of spheres into Euclidean space and show that projective codes give quantitative bounds for a measure of genericity of sphere embeddings; and we prove generalizations of (iii) the Ham Sandwich theorem and (iv) the Lyusternik--Shnirel'man--Borsuk covering theorem for the case where the number of measures or sets in a covering, respectively, may exceed the ambient dimension.

preprint2020arXiv

What can you draw?

We address the problem of which planar sets can be drawn with a pencil and eraser. The pencil draws any union of black open unit disks in the plane $\mathbb{R}^2$. The eraser produces any union of white open unit disks. You may switch tools as many times as desired. Our main result is that drawability cannot be characterized by local obstructions: A bounded set can be locally drawable, while not being drawable. We also show that if drawable sets are defined using closed unit disks the cardinality of the collection of drawable sets is strictly larger compared with the definition involving open unit disks.

preprint2019arXiv

Barycenters of Polytope Skeleta and Counterexamples to the Topological Tverberg Conjecture, via Constraints

Using the authors' 2014 "constraints method," we give a short proof for a 2015 result of Dobbins on representations of a point in a polytope as the barycenter of points in a skeleton, and show that the "r-fold Whitney trick" of Mabillard and Wagner (2014/2015) implies that the Topological Tverberg Conjecture for r-fold intersections fails dramatically for all r that are not prime powers.

preprint2018arXiv

Fair splittings by independent sets in sparse graphs

Given a partition $V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ of the vertex set of a graph, we are interested in finding multiple disjoint independent sets that contain the correct fraction of vertices of each $V_j$. We give conditions for the existence of $q$ such independent sets in terms of the topology of the independence complex. We relate this question to the existence of $q$-fold points of coincidence for any continuous map from the independence complex to Euclidean space of a certain dimension, and to the existence of equivariant maps from the $q$-fold deleted join of the independence complex to a certain representation sphere of the symmetric group. As a corollary we derive the existence of $q$ pairwise disjoint independent sets accurately representing the $V_j$ in certain sparse graphs for $q$ a power of a prime.

preprint2018arXiv

Metric reconstruction via optimal transport

Given a sample of points $X$ in a metric space $M$ and a scale $r>0$, the Vietoris-Rips simplicial complex $\mathrm{VR}(X;r)$ is a standard construction to attempt to recover $M$ from $X$ up to homotopy type. A deficiency of this approach is that $\mathrm{VR}(X;r)$ is not metrizable if it is not locally finite, and thus does not recover metric information about $M$. We attempt to remedy this shortcoming by defining a metric space thickening of $X$, which we call the \emph{Vietoris-Rips thickening} $\mathrm{VR}^m(X;r)$, via the theory of optimal transport. When $M$ is a complete Riemannian manifold, or alternatively a compact Hadamard space, we show that the the Vietoris-Rips thickening satisfies Hausmann's theorem ($\mathrm{VR}^m(M;r)\simeq M$ for $r$ sufficiently small) with a simpler proof: homotopy equivalence $\mathrm{VR}^m(M;r)\to M$ is canonically defined as a center of mass map, and its homotopy inverse is the (now continuous) inclusion map $M\hookrightarrow\mathrm{VR}^m(M;r)$. Furthermore, we describe the homotopy type of the Vietoris-Rips thickening of the $n$-sphere at the first positive scale parameter $r$ where the homotopy type changes.

preprint2018arXiv

Splitting loops and necklaces: Variants of the square peg problem

Toeplitz conjectured that any simple planar loop inscribes a square. Here we prove variants of Toeplitz' square peg problem. We prove Hadwiger's 1971 conjecture that any simple loop in $3$-space inscribes a parallelogram. We show that any simple planar loop inscribes sufficiently many rectangles that their vertices are dense in the loop (independently due to Schwartz). If the loop is rectifiable, there is a rectangle that cuts the loop into four pieces that can be rearranged to form two loops of equal length. A rectifiable loop in $d$-space can be cut into $(r-1)(d+1)+1$ pieces that can be rearranged by translations to form $r$ loops of equal length. We relate our results to fair divisions of necklaces in the sense of Alon and to Tverberg-type results. This provides a new approach and a common framework to obtain variants of Toeplitz' square peg problem for the class of all continuous curves.

preprint2015arXiv

Counterexamples to the topological Tverberg conjecture

The "topological Tverberg conjecture" by Bárány, Shlosman and Szűcs (1981) states that any continuous map of a simplex of dimension $(r-1)(d+1)$ to $\mathbb{R}^d$ maps points from $r$ disjoint faces of the simplex to the same point in $\mathbb{R}^d$. This was established for affine maps by Tverberg (1966), for the case when $r$ is a prime by Bárány et al., and for prime power $r$ by Özaydin (1987). We combine the generalized van Kampen theorem announced by Mabillard and Wagner (2014) with the constraint method of Blagojević, Ziegler and the author (2014), and thus prove the existence of counterexamples to the topological Tverberg conjecture for any number $r$ of faces that is not a prime power. However, these counterexamples require that the dimension $d$ of the codomain is sufficiently high: the smallest counterexample we obtain is for a map of the $100$-dimensional simplex to $\mathbb{R}^{19}$, for $r=6$.