arXiv research

Computes fundamental groups of restricted configuration spaces.

Study shows configuration spaces' homological dimension increases monotonically.

We prove homological stability for sequences of "oriented configuration spaces" as the number of points in the configuration goes to infinity. These are spaces of configurations of n points in a connected manifold M of dimension at least 2 which 'admits a boundary', with labels in a path-connected space X, and with an …

In this paper we determine the topological complexity of configuration spaces of graphs which are not necessarily trees, which is a crucial assumption in previous results. We do this for two very different classes of graphs: fully articulated graphs and banana graphs. We also complete the computation in the case of tre…

All rational homology groups of unordered configuration spaces of the Moebius strip and the projective plane are calculated

We construct a spectral sequence converging to the Morava $E$-theory of unordered configuration spaces and identify its E$^2$-page as the homology of a Chevalley-Eilenberg-like complex for Hecke Lie algebras. Based on this, we compute the $E$-theory of the weight $p$ summands of iterated loop spaces of spheres (paramet…

Researchers analyze geodesic complexity in robot paths on tree graphs.

We compute the Betti numbers and describe the cohomology algebras of the ordered and unordered configuration spaces of three points in complex projective spaces, including the infinite dimensional case. We also compute these invariants for the configuration spaces of three collinear and non-collinear points.

The paper constructs a Poisson algebra bundle for multilocal observables.

Sharp upper bound for quasi polynomial degree of manifold configuration spaces.

We describe the fundamental groups of ordered and unordered k point sets in complex projective space of dimension n generating a projective subspace of dimension i. We apply these to study connectivity of more complicated configurations of points.

We determine explicit formulas for geodesics (in the Euclidean metric) in the configuration space of ordered pairs (x,x') of points in R^n which satisfy d(x,x')>=epsilon. We interpret this as two or three (depending on the parity of n) geodesic motion-planning rules for this configuration space. In the associated unord…

We consider two families of algebraic varieties $Y_n$ indexed by natural numbers $n$: the configuration space of unordered $n$-tuples of distinct points on $\mathbb{C}$, and the space of unordered $n$-tuples of linearly independent lines in $\mathbb{C}^n$. Let $W_n$ be any sequence of virtual $S_n$-representations give…

The study finds a subgroup of graph braid groups that is a direct product of non-abelian free groups.

Surveying topological complexity of graph configurations, unifying traditional and modern approaches.

Homological stability for unordered configuration spaces of connected manifolds was discovered by Th. Church and extended by O. Randal-Williams and B. Knudsen: $H_i(C_k(M);\mathbb{Q})$ is constant for $k\geq f(i)$. We characterize the manifolds satisfying strong stability: $H^*(C_k(M);\mathbb{Q})$ is constant for $k\gg…

This paper extends homological stability results for configuration spaces of manifolds.

Graph braid groups' complexity stabilizes for most graphs.

We construct a one-dimensional deformation retract of the unordered k-point configuration space of a star S. This retract suggests an explicit set of free generators Beta_k for the corresponding braid group of the star B_k and shows that the natural map from B_k-1 to B_k sends Beta_k-1 to Beta_k injectively.

The paper is concerned with defining a topology on the set of ideals of codimension d of the algebra C^\infty(M,R) with M being a compact smooth manifold. Its main property is that it is compact Hausdorff and it contains as a subspace the configuration space of d distinct unordered points in M and therefore provides a …

The purpose of this article is to \begin{enumerate} \item define $M(t,k)$ the $t$-fold center of mass arrangement for $k$ points in the plane, \item give elementary properties of $M(t,k)$ and \item give consequences concerning the space $M(2,k)$ of $k$ distinct points in the plane, no four of which are the vertices of …

Researchers calculate cohomological dimensions of manifold configuration spaces, proving arithmeticity and providing bounds.

The paper classifies holomorphic maps between Riemann surface configuration spaces.

Elliptic curves and braid groups linked through configuration spaces.

The paper addresses how to add points to existing configurations on surfaces without disrupting continuity.

Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for the graded pieces of the module with respect to constant and abelian coefficien…

The paper proves asphericity of configuration spaces and covers them with entire functions.

We introduce a differential refinement of Cohomotopy cohomology theory, defined on Penrose diagram spacetimes, whose cocycle spaces are unordered configuration spaces of points. First we prove that brane charge quantization in this differential 4-Cohomotopy theory implies intersecting p/(p+2)-brane moduli given by orde…

The paper classifies when certain graph braid groups are 3-manifold groups.

Let C_n(M) be the configuration space of n distinct ordered points in M. We prove that if M is any connected orientable manifold (closed or open), the homology groups H_i(C_n(M); Q) are representation stable in the sense of [Church-Farb]. Applying this to the trivial representation, we obtain as a corollary that the un…

New framework for quantum invariants of 3-manifolds using homology.

The mapping class group $Γ^k(N_g)$ of a non-orientable surface with punctures is studied via classical homotopy theory of configuration spaces. In particular, we obtain a non-orientable version of the Birman exact sequence. In the case of $\mathbb R {\rm P}^2$, we analize the Serre spectral sequence of a fiber bundle $…

We answer the question of when a new point can be added in a continuous way to configurations of $n$ distinct points in a closed ball of arbitrary dimension. We show that this is possible given an ordered configuration of $n$ points if and only if $n \neq 1$. On the other hand, when the points are not ordered and the d…

Study Heisenberg homology on surface configurations, revealing new representations of mapping class groups.

Holomorphic maps between configuration spaces are classified, resolving quartic and elliptic curve problems.

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 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…

We present a deep generative model that learns disentangled static and dynamic representations of data from unordered input. Our approach exploits regularities in sequential data that exist regardless of the order in which the data is viewed. The result of our factorized graphical model is a well-organized and coherent…

We describe the fundamental groups of ordered and unordered $k-$point sets in the n-dimensional complex space $C^n$ generating an affine subspace of fixed dimension.

Two triples of triangles having pairwise disjoint outlines in 3-space are called combinatorially isotopic if one triple can be obtained from the other by a continuous motion during which the outlines of the triangles remain pairwise disjoint. We conjecture that it can be algorithmically checked if an (ordered or unorde…

This thesis consists of two parts which share only a slight overlap. The first part is concerned with the study of ideals in the ring $C^\infty(M,R)$ of smooth functions on a compact smooth manifold M or more generally submodules of a finitely generated $C^\infty(M,R)$-module V. We define a topology on the space of all…

An FI-module $V$ over a commutative ring $\bf{k}$ encodes a sequence $(V_n)_{n \geq 0}$ of representations of the symmetric groups $(\mathfrak{S}_n)_{n \geq 0}$ over $\bf{k}$. In this paper, we show that for a "finitely generated" FI-module $V$ over a field of characteristic $p$, the cohomology groups $H^t(\mathfrak{S}…

Item response theory (IRT) models for categorical response data are widely used in the analysis of educational data, computerized adaptive testing, and psychological surveys. However, most IRT models rely on both the assumption that categories are strictly ordered and the assumption that this ordering is known a priori…

Unordered feature sets are a nonstandard data structure that traditional neural networks are incapable of addressing in a principled manner. Providing a concatenation of features in an arbitrary order may lead to the learning of spurious patterns or biases that do not actually exist. Another complication is introduced …

Given a topological space X denote by exp_k(X) the space of non-empty subsets of X of size at most k, topologised as a quotient of X^k. This space may be regarded as a union over 0 < l < k+1 of configuration spaces of l distinct unordered points in X. In the special case X=S^1 we show that: (1) exp_k(S^1) has the homot…

The kernel method is a potential approach to analyzing structured data such as sequences, trees, and graphs; however, unordered trees have not been investigated extensively. Kimura et al. (2011) proposed a kernel function for unordered trees on the basis of their subpaths, which are vertical substructures of trees resp…

The paper connects sectional category and parametrized Borsuk-Ulam property for fibrations.

Develops deep neural network techniques for sets as input and output.