arXiv research

The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of configuration spaces of distinct unordered points in X. We show that the finite subset …

The kth finite subset space of a topological space X is the space exp_k X of non-empty subsets of X of size at most k, topologised as a quotient of X^k. Using results from our earlier paper (math.GT/0210315) on the finite subset spaces of connected graphs we show that the kth finite subset space of a connected cell com…

Finite graphs with specific curvature have limited harmonic functions and ends.

New rectifiability criteria for finite-perimeter sets in Carnot groups.

Let $S_{0,n}$ be an $n$-punctured sphere. For $n\geq 4$, we construct a sequence $(\mathcal{X}_i)_{i\in\mathbb{N}}$ of finite rigid sets in the pants graph $\mathcal{P}(S_{0,n})$ such that $\mathcal{X}_1 \subset \mathcal{X}_2 \subset ...\subset\mathcal{P}(S_{0,n})$ and $\bigcup_{i\geq1}\mathcal{X}_i=\mathcal{P}(S_{0,n}…

In this paper we provide a computation of the mod 2 cohomology groups of the third finite subset space of the sphere $S^n$ using known results about the cohomology of the symmetric product of spheres.

Quantum states associated with subsets of product manifolds are separable.

The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of configuration spaces of distinct unordered points in X. We calculate the homology of th…

New findings on metric spaces with finite Nagata dimension.

In each manifold $M$ modeled on a finite or infinite dimensional cube $[0,1]^n$ we construct a meager $F_σ$-subset $X\subset M$ which is universal meager in the sense that for each meager subset $A\subset M$ there is a homeomorphism $h:M\to M$ such that $h(A)\subset X$. We also prove that any two universal meager $F_σ$…

We show that for an m-connected cell complex X the space exp_k X of non-empty subsets of X of cardinality at most k is (m + k - 2)-connected

We introduce and study the space of \emph{subset currents} on the free group $F_N$. A subset current on $F_N$ is a positive $F_N$-invariant locally finite Borel measure on the space $\mathfrak C_N$ of all closed subsets of $\partial F_N$ consisting of at least two points. While ordinary geodesic currents generalize con…

In this paper, we obtain several results on the commensurability of two Kleinian groups and their limit sets. We prove that two finitely generated subgroups $G_1$ and $G_2$ of an infinite co-volume Kleinian group $G \subset \Isom(\mathbf{H}^3)$ having $Λ(G_1) = Λ(G_2)$ are commensurable. In particular, it is proved tha…

In this paper, we prove a geometrization conjecture, every orientable smooth closed 3-manifold with finite fundamental group is homeomorphic to $S^3/G$ for some finite cyclic subgroup $G\subset {Isom}^+(S^3)$.

We give a brief literature review of the isoperimetric problem and discuss its relationship with the Cheeger constant of Riemannian $n$-manifolds. For some non-compact, finite area 2-manifolds, we prove the existence and regularity of subsets whose isoperimetric ratio is equal to the Cheeger constant. To do this, we us…

New findings on group actions and stabilizers of infinite sets.

Improved defense against data poisoning attacks by aggregating smaller subsets.

New findings show mapping degree sets can be realized as sums of arithmetic progressions.

We consider the notion of multiple gap as a finite set of ideals that cannot be separated. We study the different types of such objects that can be found in the Boolean algebra of subsets of the natural numbers modulo finite sets.

To find efficient screening methods for high dimensional linear regression models, this paper studies the relationship between model fitting and screening performance. Under a sparsity assumption, we show that a subset that includes the true submodel always yields smaller residual sum of squares (i.e., has better model…

Geometric proof shows regularity of anisotropic minimal surfaces in 2D.

In each manifold $M$ modeled on a finite or infinite dimensional cube $[0,1]^n$ we construct a closed nowhere dense subset $S\subset M$ (called a spongy set) which is a universal nowhere dense set in $M$ in the sense that for each nowhere dense subset $A\subset M$ there is a homeomorphism $h:M\to M$ such that $h(A)\sub…

The study examines connections between Coxeter groups and their alternating quotients.

Clarifies when solutions to stochastic PDEs stay near given subsets.

Normal closures of certain finite subgroups in automorphism and outer automorphism groups of free groups are determined.

We prove that for any affine variety S defined over Q there exist Shephard and Artin groups G such that a Zariski open subset U of S is biregular isomorphic to a Zariski open subset of the character variety Hom(G, PO(3))//PO(3). The subset U contains all real points of S . As an application we construct new examples of…

We introduce the Hofer-Zehnder $G$-semicapacity $c_{HZ}^G(M,\om)$ of a symplectic manifold $(M,\om)$ with respect to a subgroup $G \subset π_1(M)$ ($c_{HZ}(M,\om) \leq c^G_{HZ}(M,\om)$) and prove that if $(M,\om)$ is tame and there exists an open subset $U \subset M$ admitting a Hamiltonian free circle action with orde…

The paper studies cylinder curves in flat metrics with q > 2.

We construct examples of finite covers of punctured surfaces where the first rational homology is not spanned by lifts of simple closed curves. More generally, for any set $\mathcal{O} \subset F_n$ which is contained in the union of finitely many $Aut(F_n)$-orbits, we construct finite-index normal subgroups of $F_n$ wh…

The paper generalizes a theorem about rectifiability of sets.

We prove that if $N\ge 2$ and $α: F_N\to π_1(Γ)$ is a marking on $F_N$, then for any integer $r\ge 2$ and any $F_N$-invariant collection of non-negative integral "weights" associated to all subtrees $K$ of $\widetilde Γ$ of radius $\le r$ satisfying some natural "switch" conditions, there exists a finite cyclically red…

An elementary geometric construction is used to relate the space of lattices in a plane to the space exp_3(S^1) of the subsets of a circle of cardinality at most 3. As a consequence we obtain new proofs of a theorem of Bott which says that exp_3(S^1) is homeomorphic to a 3-sphere and a theorem of Shchepin which says th…

Study geodesics on Grassmann manifold for functions vanishing on subsets of a set X.

We prove that for any open Riemann surface $N$ and finite subset $Z\subset \mathbb{S}^1=\{z\in\mathbb{C}\,|\;|z|=1\},$ there exist an infinite closed set $Z_N \subset \mathbb{S}^1$ containing $Z$ and a null holomorphic curve $F=(F_j)_{j=1,2,3}:N\to\mathbb{C}^3$ such that the map $Y:Z_N\times N\to \mathbb{R}^2,$ $Y(v,P)…

We prove that finite perimeter subsets of $\mathbb{R}^{n+1}$ with small isoperimetric deficit have boundary Hausdorff-close to a sphere up to a subset of small measure. We also refine this closeness under some additional a priori integral curvature bounds. As an application, we answer a question raised by B. Colbois co…

The study classifies normal subgroups of mapping class groups of surfaces with Cantor subsets.

Let $S$ be an oriented surface of finite type, $\mathcal{MCG}(S)$ its mapping class group, and $\mathcal{T}(S)$ its Teichmüller space with the Teichmüller metric. Let $H \leq \mathcal{MCG}(S)$ be a finite subgroup and consider the subset of $\mathcal{T}(S)$ fixed by $H$, $\mathrm{Fix}(H) \subset \mathcal{T}(S)$. For an…

For a positive Hopf plumbed arborescent Seifert surface $S$, we study the set of Hopf bands $H\subset S$, up to homology and up to the action of the monodromy. The classification of Seifert surfaces for which this set is finite is closely related to the classification of finite Coxeter groups.

Given a closed complex hypersurface $Z\subset \mathbb{C}^{N+1}$ $(N\in\mathbb{N})$ and a compact subset $K\subset Z$, we prove the existence of a pseudoconvex Runge domain $D$ in $Z$ such that $K\subset D$ and there is a complete proper holomorphic embedding from $D$ into the unit ball of $\mathbb{C}^{N+1}$. For $N=1$,…

A new invariant captures geometric features of circle embeddings.

Let H denote the standard one-point completion of a real Hilbert space. Given any non-trivial proper sub-set U of H one may define the so-called `Apollonian' metric d_U on U. When U \subset V \subset H are nested proper subsets we show that their associated Apollonian metrics satisfy the following uniform contraction p…

Study bounds the volume of moduli space for convex RP² structures.

There is a canonical way to associate two simplicial complexes K, L to any relation $R\subset X\times Y$. Moreover, the geometric realizations of K and L are homotopy equivalent. This was studied in the fifties by C.H. Dowker. In this article we prove a Galois-type correspondence for relations $R\subset X\times Y$ when…

We introduce the natural and fairly general notion of a subanalytic bundle (with a finite dimensional vector space $P$ of sections) on a subanalytic subset $X$ of a real analytic manifold $M$, and prove that when $M$ is compact, there is a Baire subset $U$ of sections in $P$ whose zero-loci in $X$ have tubular neighbou…

We show that given a 3-manifold $Y$ there is only a finite number of alternating knots $K \subset S^3$ such that $Y$ can be obtained by surgery on $K$. A very similar but somewhat not complete statement has been obtained in a recent preprint of Lackenby and Purcell.

New theorem removes uniform finite upper bound for shrinkability of null decompositions.

Distance function to a finite set is a topological Morse function.

Efficiently simulates Langevin dynamics on manifold using diffusion maps and finite volume schemes.