Showing 1–25 of 25 results for author: Rose, C

Gaussian upper bounds, volume doubling and Sobolev inequalities on graphs

Authors: Matthias Keller, Christian Rose

Abstract: We investigate the equivalence of Sobolev inequalities and the conjunction of Gaussian upper heat kernel bounds and volume doubling on large scales on graphs. For the normalizing measure, we obtain their equivalence up to constants by imposing comparability of small balls and the vertex degree at their centers. If arbitrary measures are considered, we incorporate a new local regularity condition.… ▽ More We investigate the equivalence of Sobolev inequalities and the conjunction of Gaussian upper heat kernel bounds and volume doubling on large scales on graphs. For the normalizing measure, we obtain their equivalence up to constants by imposing comparability of small balls and the vertex degree at their centers. If arbitrary measures are considered, we incorporate a new local regularity condition. Furthermore, new correction functions for the Gaussian, doubling, and Sobolev dimension are introduced. For the Gaussian and doubling, the variable correction functions always tend to one at infinity. Moreover, the variable Sobolev dimension can be related to the doubling dimension and the vertex degree growth. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 36 pages, comments welcome!

Rectilinear Crossing Number of Graphs Excluding Single-Crossing Graphs as Minors

Authors: Vida Dujmović, Camille La Rose

Abstract: The crossing number of a graph $G$ is the minimum number of crossings in a drawing of $G$ in the plane. A rectilinear drawing of a graph $G$ represents vertices of $G$ by a set of points in the plane and represents each edge of $G$ by a straight-line segment connecting its two endpoints. The rectilinear crossing number of $G$ is the minimum number of crossings in a rectilinear drawing of $G$. By… ▽ More The crossing number of a graph $G$ is the minimum number of crossings in a drawing of $G$ in the plane. A rectilinear drawing of a graph $G$ represents vertices of $G$ by a set of points in the plane and represents each edge of $G$ by a straight-line segment connecting its two endpoints. The rectilinear crossing number of $G$ is the minimum number of crossings in a rectilinear drawing of $G$. By the crossing lemma, the crossing number of an $n$-vertex graph $G$ can be $O(n)$ only if $|E(G)|\in O(n)$. Graphs of bounded genus and bounded degree (Böröczky, Pach and Tóth, 2006) and in fact all bounded degree proper minor-closed families (Wood and Telle, 2007) have been shown to admit linear crossing number, with tight $Θ(Δn)$ bound shown by Dujmović, Kawarabayashi, Mohar and Wood, 2008. Much less is known about rectilinear crossing number. It is not bounded by any function of the crossing number. We prove that graphs that exclude a single-crossing graph as a minor have the rectilinear crossing number $O(Δn)$. This dependence on $n$ and $Δ$ is best possible. A single-crossing graph is a graph whose crossing number is at most one. Thus the result applies to $K_5$-minor-free graphs, for example. It also applies to bounded treewidth graphs, since each family of bounded treewidth graphs excludes some fixed planar graph as a minor. Prior to our work, the only bounded degree minor-closed families known to have linear rectilinear crossing number were bounded degree graphs of bounded treewidth (Wood and Telle, 2007), as well as, bounded degree $K_{3,3}$-minor-free graphs (Dujmović, Kawarabayashi, Mohar and Wood, 2008). In the case of bounded treewidth graphs, our $O(Δn)$ result is again tight and improves on the previous best known bound of $O(Δ^2 n)$ by Wood and Telle, 2007 (obtained for convex geometric drawings). △ Less

Submitted 22 February, 2024; originally announced February 2024.

Unique continuation estimates on manifolds with Ricci curvature bounded below

Authors: Christian Rose, Martin Tautenhahn

Abstract: We prove quantitative unique continuation estimates for relatively dense sets and spectral subspaces associated to small energies of Schrödinger operators on Riemannian manifolds with Ricci curvature bounded below. The upper bound for the energy range and the constant appearing in the estimate are given in terms of the lower bound of the Ricci curvature and the parameters of the relatively dense s… ▽ More We prove quantitative unique continuation estimates for relatively dense sets and spectral subspaces associated to small energies of Schrödinger operators on Riemannian manifolds with Ricci curvature bounded below. The upper bound for the energy range and the constant appearing in the estimate are given in terms of the lower bound of the Ricci curvature and the parameters of the relatively dense set. △ Less

Submitted 8 February, 2024; v1 submitted 11 May, 2023; originally announced May 2023.

Comments: 25 pages, comments welcome!

Anchored heat kernel upper bounds on graphs with unbounded geometry and anti-trees

Authors: Matthias Keller, Christian Rose

Abstract: We derive Gaussian heat kernel bounds on graphs with respect to a fixed origin for large times under the assumption of a Sobolev inequality and volume doubling on large balls. The upper bound from our previous work [KR22] is affected by a new correction term measuring the distance to the origin. The main result is then applied to anti-trees with unbounded vertex degree, yielding Gaussian upper bou… ▽ More We derive Gaussian heat kernel bounds on graphs with respect to a fixed origin for large times under the assumption of a Sobolev inequality and volume doubling on large balls. The upper bound from our previous work [KR22] is affected by a new correction term measuring the distance to the origin. The main result is then applied to anti-trees with unbounded vertex degree, yielding Gaussian upper bounds for this class of graphs for the first time. In order to prove this, we show that isoperimetric estimates with respect to intrinsic metrics yield Sobolev inequalities. Finally, we prove that anti-trees are Ahlfors regular and that they satisfy an isoperimetric inequality of a larger dimension. △ Less

Submitted 24 December, 2022; v1 submitted 22 December, 2022; originally announced December 2022.

Comments: Comments welcome! 20 pages, 1 figure

Gaussian upper bounds for heat kernels on graphs with unbounded geometry

Authors: Matthias Keller, Christian Rose

Abstract: We prove large-time Gaussian upper bounds for continuous-time heat kernels of Laplacians on graphs with unbounded geometry. Our estimates hold for centers of large balls satisfying a Sobolev inequality and volume doubling. Distances are measured with respect to an intrinsic metric with finite distance balls and finite jump size. The Gaussian decay is given by Davies' function which is natural and… ▽ More We prove large-time Gaussian upper bounds for continuous-time heat kernels of Laplacians on graphs with unbounded geometry. Our estimates hold for centers of large balls satisfying a Sobolev inequality and volume doubling. Distances are measured with respect to an intrinsic metric with finite distance balls and finite jump size. The Gaussian decay is given by Davies' function which is natural and sharp in the graph setting. Furthermore, we find a new polynomial correction term which does not blow up at zero. Although our main focus is unbounded Laplacians, the results are new even for the normalized Laplacian. In the case of unbounded vertex degree or degenerating measure, the estimates are affected by new error terms reflecting the unboundedness of the geometry. △ Less

Submitted 24 December, 2022; v1 submitted 9 June, 2022; originally announced June 2022.

Comments: Comments are welcome! 38 pages

Integral Ricci curvature and the mass gap of Dirichlet Laplacians on domains

Authors: Xavier Ramos Olivé, Christian Rose, Lili Wang, Guofang Wei

Abstract: We obtain a fundamental gap estimate for classes of bounded domains with quantitative control on the boundary in a complete manifold with integral bounds on the negative part of the Ricci curvature. This extends the result of \cite{Oden-Sung-Wang99} to $L^p$-Ricci curvature assumptions, $p>n/2$. To achieve our result, it is shown that the domains under consideration are John domains, what enables… ▽ More We obtain a fundamental gap estimate for classes of bounded domains with quantitative control on the boundary in a complete manifold with integral bounds on the negative part of the Ricci curvature. This extends the result of \cite{Oden-Sung-Wang99} to $L^p$-Ricci curvature assumptions, $p>n/2$. To achieve our result, it is shown that the domains under consideration are John domains, what enables us to obtain an estimate on the first nonzero Neumann eigenvalue, which is of independent interest. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Comments: Comments are welcome! 18 pages

Quantitative unique continuation for spectral subspaces of Schrödinger operators with singular potentials

Authors: Alexander Dicke, Christian Rose, Albrecht Seelmann, Martin Tautenhahn

Abstract: Recent (scale-free) quantitative unique continuation estimates for spectral subspaces of Schrödinger operators are extended to allow singular potentials such as certain $L^p$-functions. The proof is based on accordingly adapted Carleman estimates. Applications include Wegner and initial length scale estimates for random Schrödinger operators and control theory for the controlled heat equation with… ▽ More Recent (scale-free) quantitative unique continuation estimates for spectral subspaces of Schrödinger operators are extended to allow singular potentials such as certain $L^p$-functions. The proof is based on accordingly adapted Carleman estimates. Applications include Wegner and initial length scale estimates for random Schrödinger operators and control theory for the controlled heat equation with singular heat generation term. △ Less

Submitted 11 July, 2023; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: 18 pages; updated references, some typos fixed, minor editorial changes

MSC Class: 35Pxx (Primary) 35J10; 35B60 (Secondary)

Journal ref: J. Differential Equations 369 (2023), 405--423

Quantitative Sobolev extensions and the Neumann heat kernel for integral Ricci curvature conditions

Authors: Olaf Post, Xavier Ramos Olivé, Christian Rose

Abstract: We prove the existence of Sobolev extension operators for certain uniform classes of domains in a Riemannian manifold with an explicit uniform bound on the norm depending only on the geometry near their boundaries. We use this quantitative estimate to obtain uniform Neumann heat kernel upper bounds and gradient estimates for positive solutions of the Neumann heat equation assuming integral Ricci c… ▽ More We prove the existence of Sobolev extension operators for certain uniform classes of domains in a Riemannian manifold with an explicit uniform bound on the norm depending only on the geometry near their boundaries. We use this quantitative estimate to obtain uniform Neumann heat kernel upper bounds and gradient estimates for positive solutions of the Neumann heat equation assuming integral Ricci curvature conditions and geometric conditions on the boundary. Those estimates also imply quantitative lower bounds on the first Neumann eigenvalue of the considered domains. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Comments: 21 pages, 2 figures

Eigenvalue estimates for Kato-type Ricci curvature conditions

Authors: Christian Rose, Guofang Wei

Abstract: We prove that optimal lower eigenvalue estimates of Zhong-Yang type as well as a Cheng-type upper bound for the first eigenvalue hold on closed manifolds assuming only a Kato condition on the negative part of the Ricci curvature. This generalizes all earlier results on $L^p$-curvature assumptions. Moreover, we introduce the Kato condition on compact manifolds with boundary with respect to the Neum… ▽ More We prove that optimal lower eigenvalue estimates of Zhong-Yang type as well as a Cheng-type upper bound for the first eigenvalue hold on closed manifolds assuming only a Kato condition on the negative part of the Ricci curvature. This generalizes all earlier results on $L^p$-curvature assumptions. Moreover, we introduce the Kato condition on compact manifolds with boundary with respect to the Neumann Laplacian, leading to Harnack estimates for the Neumann heat kernel and lower bounds for all Neumann eigenvalues, what provides a first insight in handling variable Ricci curvature assumptions in this case. △ Less

Submitted 22 May, 2020; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: 21 pages. The proof of Theorem 1.3 is replaced by an easier one

Journal ref: Analysis & PDE 15 (2022) 1703-1724

Spectrally positive Bakry-Émery Ricci curvature on graphs

Authors: Florentin Münch, Christian Rose

Abstract: We investigate analytic and geometric implications of non-constant Ricci curvature bounds. We prove a Lichnerowicz eigenvalue estimate and finiteness of the fundamental group assuming that $L+2 Ric$ is a positive operator where $L$ is the graph Laplacian. Assuming that the negative part of the Ricci curvature is small in Kato sense, we prove diameter bounds, elliptic Harnack inequality and Buser i… ▽ More We investigate analytic and geometric implications of non-constant Ricci curvature bounds. We prove a Lichnerowicz eigenvalue estimate and finiteness of the fundamental group assuming that $L+2 Ric$ is a positive operator where $L$ is the graph Laplacian. Assuming that the negative part of the Ricci curvature is small in Kato sense, we prove diameter bounds, elliptic Harnack inequality and Buser inequality. This article seems to be the first one establishing these results while allowing for some negative curvature. △ Less

Submitted 13 December, 2019; originally announced December 2019.

Almost positive Ricci curvature in Kato sense -- an extension of Myers' theorem

Authors: Christian Rose

Abstract: It is shown that if the Kato constant of the negative part of the Ricci curvature below a positive level is small, then the volume of the corresponding manifold can be bounded above in terms of the Kato constant and the total Ricci curvature. Together with the results from [5] and [6], this yields a generalization of the famous Bonnet-Myers theorem. Connections to some earlier generalizations are… ▽ More It is shown that if the Kato constant of the negative part of the Ricci curvature below a positive level is small, then the volume of the corresponding manifold can be bounded above in terms of the Kato constant and the total Ricci curvature. Together with the results from [5] and [6], this yields a generalization of the famous Bonnet-Myers theorem. Connections to some earlier generalizations are discussed. △ Less

Submitted 14 July, 2021; v1 submitted 17 July, 2019; originally announced July 2019.

Comments: Comments are welcome! 7 pages. To appear in Mathematical Research Letters

Liouville property and non-negative Ollivier curvature on graphs

Authors: Jürgen Jost, Florentin Münch, Christian Rose

Abstract: For graphs with non-negative Ollivier curvature, we prove the Liouville property, i.e., every bounded harmonic function is constant. Moreover, we improve Ollivier's results on concentration of the measure under positive Ollivier curvature. For graphs with non-negative Ollivier curvature, we prove the Liouville property, i.e., every bounded harmonic function is constant. Moreover, we improve Ollivier's results on concentration of the measure under positive Ollivier curvature. △ Less

Submitted 26 March, 2019; originally announced March 2019.

Bounds on the first Betti number - an approach via Schatten norm estimates on semigroup differences

Authors: Marcel Hansmann, Christian Rose, Peter Stollmann

Abstract: We derive new estimates for the first Betti number of compact Riemannian manifolds. Our approach relies on the Birman-Schwinger principle and Schatten norm estimates for semigroup differences. In contrast to previous works we do not require any a priori ultracontractivity estimates and we provide bounds which explicitly depend on suitable integral norms of the Ricci tensor. We derive new estimates for the first Betti number of compact Riemannian manifolds. Our approach relies on the Birman-Schwinger principle and Schatten norm estimates for semigroup differences. In contrast to previous works we do not require any a priori ultracontractivity estimates and we provide bounds which explicitly depend on suitable integral norms of the Ricci tensor. △ Less

Submitted 29 October, 2018; originally announced October 2018.

Geometric and spectral estimates based on spectral Ricci curvature assumptions

Authors: Gilles Carron, Christian Rose

Abstract: We obtain a Bonnet-Myers theorem under a spectral condition: a closed Riemannian manifold $(M^n,g)$ for which the lowest eigenvalue of the Ricci tensor $ρ$ is such that the Schrödinger operator $(n-2)Δ+ ρ$ is positive has finite fundamental group. As a continuation of our earlier results, we obtain isoperimetric inequalities from a Kato condition on the Ricci curvature. Furthermore, we obtain the… ▽ More We obtain a Bonnet-Myers theorem under a spectral condition: a closed Riemannian manifold $(M^n,g)$ for which the lowest eigenvalue of the Ricci tensor $ρ$ is such that the Schrödinger operator $(n-2)Δ+ ρ$ is positive has finite fundamental group. As a continuation of our earlier results, we obtain isoperimetric inequalities from a Kato condition on the Ricci curvature. Furthermore, we obtain the Kato condition for the Ricci curvature under purely geometric assumptions. △ Less

Submitted 21 August, 2018; originally announced August 2018.

Comments: 26 pages

Manifolds with Ricci curvature in the Kato class: heat kernel bounds and applications

Authors: Christian Rose, Peter Stollmann

Abstract: We review recent results about heat kernel estimates based on Kato conditions on the negative part of the Ricci curvature. We review recent results about heat kernel estimates based on Kato conditions on the negative part of the Ricci curvature. △ Less

Submitted 11 April, 2018; originally announced April 2018.

Distance bounds for graphs with some negative Bakry-Émery curvature

Authors: Shi** Liu, Florentin Münch, Norbert Peyerimhoff, Christian Rose

Abstract: We prove distance bounds for graphs possessing positive Bakry-Émery curvature apart from an exceptional set, where the curvature is allowed to be non-positive. If the set of non-positively curved vertices is finite, then the graph admits an explicit upper bound for the diameter. Otherwise, the graph is a subset of the tubular neighborhood with an explicit radius around the non-positively curved ve… ▽ More We prove distance bounds for graphs possessing positive Bakry-Émery curvature apart from an exceptional set, where the curvature is allowed to be non-positive. If the set of non-positively curved vertices is finite, then the graph admits an explicit upper bound for the diameter. Otherwise, the graph is a subset of the tubular neighborhood with an explicit radius around the non-positively curved vertices. Those results seem to be the first assuming non-constant Bakry-Émery curvature assumptions on graphs. △ Less

Submitted 22 March, 2019; v1 submitted 23 May, 2017; originally announced May 2017.

Comments: 19 pages

Journal ref: Anal. Geom. Metr. Spaces 2019; 7:1-14

Li-Yau gradient estimate for compact manifolds with negative part of Ricci curvature in the Kato class

Authors: Christian Rose

Abstract: This article shows that if the negative part of Ricci curvature lies in the Kato class, the heat kernel satisfies a Li-Yau type estimate. Additionally, using the resulting heat kernel bound, we show that the obtained heat kernel estimate leads to bounds on the first Betti number only depending on the Kato constant. This article shows that if the negative part of Ricci curvature lies in the Kato class, the heat kernel satisfies a Li-Yau type estimate. Additionally, using the resulting heat kernel bound, we show that the obtained heat kernel estimate leads to bounds on the first Betti number only depending on the Kato constant. △ Less

Submitted 5 October, 2016; v1 submitted 15 August, 2016; originally announced August 2016.

The Kato class on compact manifolds with integral bounds on the negative part of Ricci curvature

Authors: Christian Rose, Peter Stollmann

Abstract: We show that under Ricci curvature integral assumptions the dimension of the first cohomology group can be estimated in terms of the Kato constant of the negative part of the Ricci curvature. Moreover, this provides quantitative statements about the cohomology group, contrary to results by Elworthy and Rosenberg. We show that under Ricci curvature integral assumptions the dimension of the first cohomology group can be estimated in terms of the Kato constant of the negative part of the Ricci curvature. Moreover, this provides quantitative statements about the cohomology group, contrary to results by Elworthy and Rosenberg. △ Less

Submitted 3 June, 2016; v1 submitted 27 January, 2016; originally announced January 2016.

Comments: 13 pages

Heat kernel upper bound on Riemannian manifolds with locally uniform Ricci curvature integral bounds

Authors: Christian Rose

Abstract: This article shows that under locally uniformly integral bounds of the negative part of Ricci curvature the heat kernel admits a Gaussian upper bound for small times. This provides general assumptions on the geometry of a manifold such that certain function spaces are in the Kato class. Additionally, the results imply bounds on the first Betti number. This article shows that under locally uniformly integral bounds of the negative part of Ricci curvature the heat kernel admits a Gaussian upper bound for small times. This provides general assumptions on the geometry of a manifold such that certain function spaces are in the Kato class. Additionally, the results imply bounds on the first Betti number. △ Less

Submitted 22 June, 2016; v1 submitted 27 January, 2016; originally announced January 2016.

Comments: 13 pages

A quantitative Carleman estimate for second order elliptic operators

Authors: Ivica Nakić, Christian Rose, Martin Tautenhahn

Abstract: We prove a Carleman estimate for elliptic second order partial differential operators with Lipschitz continuous coefficients. The Carleman estimate is valid for any complex-valued function $u\in W^{2,2}$ with support in a punctured ball of arbitrary radius. The novelty of this Carleman estimate is that we establish an explicit dependence on the Lipschitz and ellipticity constants, the dimension of… ▽ More We prove a Carleman estimate for elliptic second order partial differential operators with Lipschitz continuous coefficients. The Carleman estimate is valid for any complex-valued function $u\in W^{2,2}$ with support in a punctured ball of arbitrary radius. The novelty of this Carleman estimate is that we establish an explicit dependence on the Lipschitz and ellipticity constants, the dimension of the space and the radius of the ball. In particular we provide a uniform and quantitative bound on the weight function for a class of elliptic operators given explicitly in terms of ellipticity and Lipschitz constant. △ Less

Submitted 15 May, 2019; v1 submitted 26 February, 2015; originally announced February 2015.

Comments: 23 pages

MSC Class: 35J15; 35B60; 35B45

Multiscale unique continuation properties of eigenfunctions

Authors: Denis Borisov, Ivica Nakić, Christian Rose, Martin Tautenhahn, Ivan Veselić

Abstract: Quantitative unique continuation principles for multiscale structures are an important ingredient in a number applications, e.g. random Schrödinger operators and control theory. We review recent results and announce new ones regarding quantitative unique continuation principles for partial differential equations with an underlying multiscale structure. They concern Schrödinger and second order e… ▽ More Quantitative unique continuation principles for multiscale structures are an important ingredient in a number applications, e.g. random Schrödinger operators and control theory. We review recent results and announce new ones regarding quantitative unique continuation principles for partial differential equations with an underlying multiscale structure. They concern Schrödinger and second order elliptic operators. An important feature is that the estimates are scale free and with quantitative dependence on parameters. These unique continuation principles apply to functions satisfying certain `rigidity' conditions, namely that they are solutions of the corresponding elliptic equations, or projections on spectral subspaces. Carleman estimates play an important role in the proofs of these results. We also present an explicit Carleman estimate for second order elliptic operators. △ Less

Submitted 2 July, 2015; v1 submitted 4 October, 2014; originally announced October 2014.

Journal ref: Operator Theory: Advances and Applications, Vol. 250, 107-118, 2015

High-dimensional instrumental variables regression and confidence sets

Authors: Eric Gautier, Christiern Rose

Abstract: This article considers inference in linear instrumental variables models with many regressors, all of which could be endogenous. We propose the STIV estimator. Identification robust confidence sets are derived by solving linear programs. We present results on rates of convergence, variable selection, confidence sets which adapt to the sparsity, and analyze confidence bands for vectors of linear fu… ▽ More This article considers inference in linear instrumental variables models with many regressors, all of which could be endogenous. We propose the STIV estimator. Identification robust confidence sets are derived by solving linear programs. We present results on rates of convergence, variable selection, confidence sets which adapt to the sparsity, and analyze confidence bands for vectors of linear functions using bias correction. We also provide solutions to some instruments being endogenous. The application is to the EASI demand system. △ Less

Submitted 6 August, 2021; v1 submitted 12 May, 2011; originally announced May 2011.

MacMahon's sum-of-divisors functions, Chebyshev polynomials, and Quasi-modular forms

Authors: George E. Andrews, Simon CF Rose

Abstract: We investigate a relationship between MacMahon's generalized sum-of-divisors functions and Chebyshev polynomials of the first kind. This determines a recurrence relation to compute these functions, as well as proving a conjecture of MacMahon about their general form by relating them to quasi-modular forms. These functions arise as solutions to a curve-counting problem on Abelian surfaces. We investigate a relationship between MacMahon's generalized sum-of-divisors functions and Chebyshev polynomials of the first kind. This determines a recurrence relation to compute these functions, as well as proving a conjecture of MacMahon about their general form by relating them to quasi-modular forms. These functions arise as solutions to a curve-counting problem on Abelian surfaces. △ Less

Submitted 27 October, 2010; originally announced October 2010.

Comments: 6 Pages

MSC Class: 11P84; 14N35; 14N10

On the calculation of the cohomology of the third finite subset space of spheres

Authors: Simon C. F. Rose

Abstract: 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. 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. △ Less

Submitted 5 November, 2011; v1 submitted 1 May, 2008; originally announced May 2008.

Comments: 4 pages

MSC Class: 14M15; 55S10

A hyperbolic approach to exp_3(S^1)

Authors: S. C. F. Rose

Abstract: In this paper we investigate a new geometric method of studying exp_k(S^1), the set of all non-empty subsets of the circle of cardinality at most k. By considering the circle as the boundary of the hyperbolic plane we are able to use its group of isometries to determine explicitely the structure of its first few configuration spaces. We then study how these configuration spaces fit together in t… ▽ More In this paper we investigate a new geometric method of studying exp_k(S^1), the set of all non-empty subsets of the circle of cardinality at most k. By considering the circle as the boundary of the hyperbolic plane we are able to use its group of isometries to determine explicitely the structure of its first few configuration spaces. We then study how these configuration spaces fit together in their union, exp_3(S^1), to reprove an old theorem of Bott as well as to offer a new proof (following that of E. Shchepin) of the fact that the embedding exp_1(S^1) into exp_3(S^1) is the trefoil knot. △ Less

Submitted 15 August, 2007; originally announced August 2007.

MSC Class: 54B20; 55Q52; 57M25