Showing 1–29 of 29 results for author: Adamaszek, M

On Vietoris--Rips complexes of hypercube graphs

Authors: Michał Adamaszek, Henry Adams

Abstract: We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at small scale parameters. In more detail, let $Q_n$ be the vertex set of the hypercube graph with $2^n$ vertices, equipped with the shortest path metric. Equivalently, $Q_n$ is the set of all binary strings of length $n$, equipped with the Hamming distance. The Vietoris-Rips complex of $Q_n$ at scale parameter zero is… ▽ More We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at small scale parameters. In more detail, let $Q_n$ be the vertex set of the hypercube graph with $2^n$ vertices, equipped with the shortest path metric. Equivalently, $Q_n$ is the set of all binary strings of length $n$, equipped with the Hamming distance. The Vietoris-Rips complex of $Q_n$ at scale parameter zero is $2^n$ points, and the Vietoris-Rips complex of $Q_n$ at scale parameter one is the hypercube graph, which is homotopy equivalent to a wedge sum of circles. We show that the Vietoris-Rips complex of $Q_n$ at scale parameter two is homotopy equivalent to a wedge sum of 3-spheres, and furthermore we provide a formula for the number of 3-spheres. Many questions about the Vietoris-Rips complexes of $Q_n$ at larger scale parameters remain open. △ Less

Submitted 19 October, 2021; v1 submitted 1 March, 2021; originally announced March 2021.

MSC Class: 05E45; 55P10; 55U10; 55N31

On Homotopy Types of Vietoris-Rips Complexes of Metric Gluings

Authors: Michal Adamaszek, Henry Adams, Ellen Gasparovic, Maria Gommel, Emilie Purvine, Radmila Sazdanovic, Bei Wang, Yusu Wang, Lori Ziegelmeier

Abstract: We study Vietoris-Rips complexes of metric wedge sums and metric gluings. We show that the Vietoris-Rips complex of a wedge sum, equipped with a natural metric, is homotopy equivalent to the wedge sum of the Vietoris-Rips complexes. We also provide generalizations for when two metric spaces are glued together along a common isometric subset. As our main example, we deduce the homotopy type of the… ▽ More We study Vietoris-Rips complexes of metric wedge sums and metric gluings. We show that the Vietoris-Rips complex of a wedge sum, equipped with a natural metric, is homotopy equivalent to the wedge sum of the Vietoris-Rips complexes. We also provide generalizations for when two metric spaces are glued together along a common isometric subset. As our main example, we deduce the homotopy type of the Vietoris-Rips complex of two metric graphs glued together along a sufficiently short path (compared to lengths of certain loops in the input graphs). As a result, we can describe the persistent homology, in all homological dimensions, of the Vietoris-Rips complexes of a wide class of metric graphs. △ Less

Submitted 12 August, 2019; v1 submitted 17 December, 2017; originally announced December 2017.

MSC Class: 05E45 ACM Class: F.2.2

Metric reconstruction via optimal transport

Authors: Michal Adamaszek, Henry Adams, Florian Frick

Abstract: 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 short… ▽ More 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. △ Less

Submitted 16 August, 2018; v1 submitted 15 June, 2017; originally announced June 2017.

MSC Class: 53C23; 54E35; 55P10; 55U10

Journal ref: SIAM J. Appl. Algebra Geom. 2 (4), 597-619 (2018)

On Vietoris-Rips complexes of ellipses

Authors: Michal Adamaszek, Henry Adams, Samadwara Reddy

Abstract: For $X$ a metric space and $r>0$ a scale parameter, the Vietoris-Rips complex $VR_<(X;r)$ (resp. $VR_\leq(X;r)$) has $X$ as its vertex set, and a finite subset $σ\subseteq X$ as a simplex whenever the diameter of $σ$ is less than $r$ (resp. at most $r$). Though Vietoris-Rips complexes have been studied at small choices of scale by Hausmann and Latschev, they are not well-understood at larger scale… ▽ More For $X$ a metric space and $r>0$ a scale parameter, the Vietoris-Rips complex $VR_<(X;r)$ (resp. $VR_\leq(X;r)$) has $X$ as its vertex set, and a finite subset $σ\subseteq X$ as a simplex whenever the diameter of $σ$ is less than $r$ (resp. at most $r$). Though Vietoris-Rips complexes have been studied at small choices of scale by Hausmann and Latschev, they are not well-understood at larger scale parameters. In this paper we investigate the homotopy types of Vietoris-Rips complexes of ellipses $Y=\{(x,y)\in \mathbb{R}^2~|~(x/a)^2+y^2=1\}$ of small eccentricity, meaning $1<a\le\sqrt{2}$. Indeed, we show there are constants $r_1 < r_2$ such that for all $r_1 < r< r_2$, we have $VR_<(X;r)\simeq S^2$ and $VR_\leq(X;r)\simeq \bigvee^5 S^2$, though only one of the two-spheres in $VR_\leq(X;r)$ is persistent. Furthermore, we show that for any scale parameter $r_1 < r < r_2$, there are arbitrarily dense subsets of the ellipse such that the Vietoris-Rips complex of the subset is not homotopy equivalent to the Vietoris-Rips complex of the entire ellipse. As our main tool we link these homotopy types to the structure of infinite cyclic graphs. △ Less

Submitted 22 December, 2017; v1 submitted 17 April, 2017; originally announced April 2017.

MSC Class: 05E45; 55U10; 68R05

Journal ref: Journal of Topology and Analysis 11 (2019), 661-690

On homotopy types of Euclidean Rips complexes

Authors: Michal Adamaszek, Florian Frick, Adrien Vakili

Abstract: The Rips complex at scale r of a set of points X in a metric space is the abstract simplicial complex whose faces are determined by finite subsets of X of diameter less than r. We prove that for X in the Euclidean 3-space R^3 the natural projection map from the Rips complex of X to its shadow in R^3 induces a surjection on fundamental groups. This partially answers a question of Chambers, de Silva… ▽ More The Rips complex at scale r of a set of points X in a metric space is the abstract simplicial complex whose faces are determined by finite subsets of X of diameter less than r. We prove that for X in the Euclidean 3-space R^3 the natural projection map from the Rips complex of X to its shadow in R^3 induces a surjection on fundamental groups. This partially answers a question of Chambers, de Silva, Erickson and Ghrist who studied this projection for subsets of R^2. We further show that Rips complexes of finite subsets of R^n are universal, in that they model all homotopy types of simplicial complexes PL-embeddable in R^n. As an application we get that any finitely presented group appears as the fundamental group of a Rips complex of a finite subset of R^4. We furthermore show that if the Rips complex of a finite point set in R^2 is a normal pseudomanifold of dimension at least two then it must be the boundary of a crosspolytope. △ Less

Submitted 12 February, 2016; originally announced February 2016.

Report number: CPH-SYM-DNRF92

Journal ref: Discrete & Computational Geometry 58(3):526-542 (2017)

Random cyclic dynamical systems

Authors: Michał Adamaszek, Henry Adams, Francis Motta

Abstract: For X a finite subset of the circle and for 0 < r <= 1 fixed, consider the function f_r : X -> X which maps each point to the clockwise furthest element of X within angular distance less than 2 pi r. We study the discrete dynamical system on X generated by f_r, and especially its expected behavior when X is a large random set. We show that, as |X| -> infinity, the expected fraction of periodic poi… ▽ More For X a finite subset of the circle and for 0 < r <= 1 fixed, consider the function f_r : X -> X which maps each point to the clockwise furthest element of X within angular distance less than 2 pi r. We study the discrete dynamical system on X generated by f_r, and especially its expected behavior when X is a large random set. We show that, as |X| -> infinity, the expected fraction of periodic points of f_r tends to 0 if r is irrational and to 1/q if r = p/q is rational with p and q coprime. These results are obtained via more refined statistics of f_r which we compute explicitly in terms of (generalized) Catalan numbers. The motivation for studying f_r comes from Vietoris-Rips complexes, a geometric construction used in computational topology. Our results determine how much one can expect to simplify the Vietoris-Rips complex of a random sample of the circle by removing dominated vertices. △ Less

Submitted 16 September, 2016; v1 submitted 24 November, 2015; originally announced November 2015.

Comments: Advances in Applied Mathematics, 2015

MSC Class: 60C05; 37H99; 05E45

Journal ref: Advances in Applied Mathematics 83 (2017), 1-23

A note on independence complexes of chordal graphs and dismantling

Authors: Michal Adamaszek

Abstract: We show that the independence complex of a chordal graph is contractible if and only if this complex is dismantlable (strong collapsible) and it is homotopy equivalent to a sphere if and only if its core is a cross-polytopal sphere. The proof uses the properties of tree models of chordal graphs. We show that the independence complex of a chordal graph is contractible if and only if this complex is dismantlable (strong collapsible) and it is homotopy equivalent to a sphere if and only if its core is a cross-polytopal sphere. The proof uses the properties of tree models of chordal graphs. △ Less

Submitted 10 August, 2015; originally announced August 2015.

Comments: 8 pages

Report number: CPH-SYM-DNRF92

Upper bound theorem for odd-dimensional flag triangulations of manifolds

Authors: Michal Adamaszek, Jan Hladký

Abstract: We prove that among all flag triangulations of manifolds of odd dimension 2r-1 with sufficiently many vertices the unique maximizer of the entries of the f-, h-, g- and gamma-vector is the balanced join of r cycles. Our proof uses methods from extremal graph theory. We prove that among all flag triangulations of manifolds of odd dimension 2r-1 with sufficiently many vertices the unique maximizer of the entries of the f-, h-, g- and gamma-vector is the balanced join of r cycles. Our proof uses methods from extremal graph theory. △ Less

Submitted 23 March, 2016; v1 submitted 19 March, 2015; originally announced March 2015.

Comments: Clarifications and new references, title has changed

Report number: CPH-SYM-DNRF92

Journal ref: Mathematika 62 (2016) 909-928

The Vietoris-Rips complexes of a circle

Authors: Michal Adamaszek, Henry Adams

Abstract: Given a metric space X and a distance threshold r>0, the Vietoris-Rips simplicial complex has as its simplices the finite subsets of X of diameter less than r. A theorem of Jean-Claude Hausmann states that if X is a Riemannian manifold and r is sufficiently small, then the Vietoris-Rips complex is homotopy equivalent to the original manifold. Little is known about the behavior of Vietoris-Rips com… ▽ More Given a metric space X and a distance threshold r>0, the Vietoris-Rips simplicial complex has as its simplices the finite subsets of X of diameter less than r. A theorem of Jean-Claude Hausmann states that if X is a Riemannian manifold and r is sufficiently small, then the Vietoris-Rips complex is homotopy equivalent to the original manifold. Little is known about the behavior of Vietoris-Rips complexes for larger values of r, even though these complexes arise naturally in applications using persistent homology. We show that as r increases, the Vietoris-Rips complex of the circle obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible. As our main tool we introduce a directed graph invariant, the winding fraction, which in some sense is dual to the circular chromatic number. Using the winding fraction we classify the homotopy types of the Vietoris-Rips complex of an arbitrary (possibly infinite) subset of the circle, and we study the expected homotopy type of the Vietoris-Rips complex of a uniformly random sample from the circle. Moreover, we show that as the distance parameter increases, the ambient Cech complex of the circle also obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible. △ Less

Submitted 5 February, 2017; v1 submitted 12 March, 2015; originally announced March 2015.

Comments: Final version

Report number: CPH-SYM-DNRF92

Journal ref: Pacific Journal of Mathematics 290-1 (2017), 1-40

Nerve complexes of circular arcs

Authors: Michal Adamaszek, Henry Adams, Florian Frick, Chris Peterson, Corrine Previte-Johnson

Abstract: We show that the nerve complex of n arcs in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension. Moreover this homotopy type can be computed in time O(n log n). For the particular case of the nerve complex of evenly-spaced arcs of the same length, we determine the dihedral group action on homology, and we relate the c… ▽ More We show that the nerve complex of n arcs in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension. Moreover this homotopy type can be computed in time O(n log n). For the particular case of the nerve complex of evenly-spaced arcs of the same length, we determine the dihedral group action on homology, and we relate the complex to a cyclic polytope with n vertices. We give three applications of our knowledge of the homotopy types of nerve complexes of circular arcs. First, we use the connection to cyclic polytopes to give a novel topological proof of a known upper bound on the distance between successive roots of a homogeneous trigonometric polynomial. Second, we show that the Lovasz bound on the chromatic number of a circular complete graph is either sharp or off by one. Third, we show that the Vietoris--Rips simplicial complex of n points in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension, and furthermore this homotopy type can be computed in time O(n log n). △ Less

Submitted 16 October, 2014; originally announced October 2014.

MSC Class: 05E45; 52B15; 68R05

Journal ref: Discrete & Computational Geometry, 56(2):251-273, 2017

Transitivity is not a (big) restriction on homotopy types

Authors: Michal Adamaszek

Abstract: For every simplicial complex K there exists a vertex-transitive simplicial complex homotopy equivalent to a wedge of copies of K with some copies of the circle. It follows that every simplicial complex can occur as a homotopy wedge summand in some vertex-transitive complex. One can even demand that the vertex-transitive complex is the clique complex of a Cayley graph or that it is facet-transitive… ▽ More For every simplicial complex K there exists a vertex-transitive simplicial complex homotopy equivalent to a wedge of copies of K with some copies of the circle. It follows that every simplicial complex can occur as a homotopy wedge summand in some vertex-transitive complex. One can even demand that the vertex-transitive complex is the clique complex of a Cayley graph or that it is facet-transitive. △ Less

Submitted 17 September, 2014; originally announced September 2014.

Face numbers of down-sets

Authors: Michal Adamaszek

Abstract: We compare various viewpoints on down-sets (simplicial complexes), illustrating how the combinatorial inclusion-exclusion principle may serve as an alternative to more advanced methods of studying their face numbers. We compare various viewpoints on down-sets (simplicial complexes), illustrating how the combinatorial inclusion-exclusion principle may serve as an alternative to more advanced methods of studying their face numbers. △ Less

Submitted 12 March, 2015; v1 submitted 20 November, 2013; originally announced November 2013.

Comments: 3 pages, accepted to Amer. Math. Monthly, v2: typos fixed

An upper bound theorem for a class of flag weak pseudomanifolds

Authors: Michal Adamaszek

Abstract: If K is an odd-dimensional flag closed manifold, flag generalized homology sphere or a more general flag weak pseudomanifold with sufficiently many vertices, then the maximal number of edges in K is achieved by the balanced join of cycles. The proof relies on stability results from extremal graph theory. In the case of manifolds we also offer an alternative (very) short proof utilizing the non-e… ▽ More If K is an odd-dimensional flag closed manifold, flag generalized homology sphere or a more general flag weak pseudomanifold with sufficiently many vertices, then the maximal number of edges in K is achieved by the balanced join of cycles. The proof relies on stability results from extremal graph theory. In the case of manifolds we also offer an alternative (very) short proof utilizing the non-embeddability theorem of Flores. The main theorem can also be interpreted without the topological contents as a graph-theoretic extremal result about a class of graphs such that 1) every maximal clique in the graph has size d+1 and 2) every clique of size d belongs to exactly two maximal cliques. △ Less

Submitted 22 March, 2013; originally announced March 2013.

The smallest nonevasive graph property

Authors: Michal Adamaszek

Abstract: A property of n-vertex graphs is called evasive if every algorithm testing this property by asking questions of the form "is there an edge between vertices u and v" requires, in the worst case, to ask about all pairs of vertices. Most "natural" graph properties are either evasive or conjectured to be such, and of the few examples of nontrivial nonevasive properties scattered in the literature the… ▽ More A property of n-vertex graphs is called evasive if every algorithm testing this property by asking questions of the form "is there an edge between vertices u and v" requires, in the worst case, to ask about all pairs of vertices. Most "natural" graph properties are either evasive or conjectured to be such, and of the few examples of nontrivial nonevasive properties scattered in the literature the smallest one has n=6. We exhibit a nontrivial, nonevasive property of 5-vertex graphs and show that it is essentially the unique such with n at most 5. △ Less

Submitted 22 March, 2013; originally announced March 2013.

Small flag complexes with torsion

Authors: Michal Adamaszek

Abstract: We classify flag complexes on at most 12 vertices with torsion in the first homology group. The result is moderately computer-aided. As a consequence we confirm a folklore conjecture that the smallest poset whose order complex is homotopy equivalent to the real projective plane (and also the smallest poset with torsion in the first homology group) has exactly 13 elements. We classify flag complexes on at most 12 vertices with torsion in the first homology group. The result is moderately computer-aided. As a consequence we confirm a folklore conjecture that the smallest poset whose order complex is homotopy equivalent to the real projective plane (and also the smallest poset with torsion in the first homology group) has exactly 13 elements. △ Less

Submitted 19 August, 2012; originally announced August 2012.

Dense flag triangulations of 3-manifolds via extremal graph theory

Authors: Michal Adamaszek, Jan Hladky

Abstract: We characterize f-vectors of sufficiently large three-dimensional flag Gorenstein* complexes, essentially confirming a conjecture of Gal [Discrete Comput. Geom., 34 (2), 269--284, 2005]. In particular, this characterizes f-vectors of large flag triangulations of the 3-sphere. Actually, our main result is more general and describes the structure of closed flag 3-manifolds which have many edges. L… ▽ More We characterize f-vectors of sufficiently large three-dimensional flag Gorenstein* complexes, essentially confirming a conjecture of Gal [Discrete Comput. Geom., 34 (2), 269--284, 2005]. In particular, this characterizes f-vectors of large flag triangulations of the 3-sphere. Actually, our main result is more general and describes the structure of closed flag 3-manifolds which have many edges. Looking at the 1-skeleta of these manifolds we reduce the problem to a certain question in extremal graph theory. We then resolve this question by employing the Supersaturation Theorem of Erdos and Simonovits. △ Less

Submitted 22 April, 2013; v1 submitted 17 May, 2012; originally announced May 2012.

Comments: Trans. AMS, to appear

Journal ref: Trans. Amer. Math. Soc. 367 (2015), no. 4, 2743-2764

Hard squares on cylinders revisited

Authors: Michal Adamaszek

Abstract: We consider the independence complexes of square grids with cylindrical boundary conditions. When one of the dimensions is small we use simple reductions induced by edge removals to show explicit natural homotopy equivalences between those spaces. In the second part we expand the results of Jonsson, who calculated the Euler characteristic of cylinders with odd circumference. We describe a series o… ▽ More We consider the independence complexes of square grids with cylindrical boundary conditions. When one of the dimensions is small we use simple reductions induced by edge removals to show explicit natural homotopy equivalences between those spaces. In the second part we expand the results of Jonsson, who calculated the Euler characteristic of cylinders with odd circumference. We describe a series of results for cylinders of even circumference. Finally we define a completely independent combinatorial model (necklaces) which calculates the generating functions of the Euler characteristic of cylindrical grids. We conjecture that this model has some particularly simple structure. △ Less

Submitted 16 April, 2012; v1 submitted 8 February, 2012; originally announced February 2012.

Comments: V2: added references

The Symmetric Join Operad

Authors: Michal Adamaszek, John D. S. Jones

Abstract: The join operad arises from the combinatorial study of the iterated join of simplices. We study a suitable simplicial version of this operad which includes the symmetries given by permutations of the factors of the join. From this combinatorics we construct an E-infinity operad which coacts naturally on the chains of a simplicial set. The join operad arises from the combinatorial study of the iterated join of simplices. We study a suitable simplicial version of this operad which includes the symmetries given by permutations of the factors of the join. From this combinatorics we construct an E-infinity operad which coacts naturally on the chains of a simplicial set. △ Less

Submitted 13 October, 2011; originally announced October 2011.

MSC Class: 18D50; 55U10; 55U15

Special cycles in independence complexes and superfrustration in some lattices

Authors: Michal Adamaszek

Abstract: We prove that the independence complexes of some grids have exponential Betti numbers. This corresponds to the number of ground states in the hard-core model in statistical physics with fermions in the vertices of the grid. We prove that the independence complexes of some grids have exponential Betti numbers. This corresponds to the number of ground states in the hard-core model in statistical physics with fermions in the vertices of the grid. △ Less

Submitted 2 January, 2012; v1 submitted 22 September, 2011; originally announced September 2011.

Comments: V2: upgraded homotopical statement; minor improvements

Extremal problems related to Betti numbers of flag complexes

Authors: Michal Adamaszek

Abstract: We study the problem of maximizing Betti numbers of simplicial complexes. We prove an upper bound of 1.32^n for the sum of Betti numbers of any n-vertex flag complex and 1.25^n for the independence complex of a triangle-free graph. These findings imply upper bounds for the Betti numbers of various related classes of spaces, including the neighbourhood complex of a graph. We also make some related… ▽ More We study the problem of maximizing Betti numbers of simplicial complexes. We prove an upper bound of 1.32^n for the sum of Betti numbers of any n-vertex flag complex and 1.25^n for the independence complex of a triangle-free graph. These findings imply upper bounds for the Betti numbers of various related classes of spaces, including the neighbourhood complex of a graph. We also make some related observations. △ Less

Submitted 17 April, 2013; v1 submitted 22 September, 2011; originally announced September 2011.

Comments: V4: rewritten, no new results

MSC Class: 05E45; 55U10

Splittings of independence complexes and the powers of cycles

Authors: Michal Adamaszek

Abstract: We use two cofibre sequences to identify some combinatorial situations when the independence complex of a graph splits into a wedge sum of smaller independence complexes. Our main application is to give a recursive relation for the homotopy types of the independence complexes of powers of cycles, which answers an open question of D. Kozlov. We use two cofibre sequences to identify some combinatorial situations when the independence complex of a graph splits into a wedge sum of smaller independence complexes. Our main application is to give a recursive relation for the homotopy types of the independence complexes of powers of cycles, which answers an open question of D. Kozlov. △ Less

Submitted 5 March, 2012; v1 submitted 30 June, 2011; originally announced June 2011.

Comments: V4: final version

MSC Class: 05C69; 55U10

Clique complexes and graph powers

Authors: Michal Adamaszek

Abstract: We study the behaviour of clique complexes of graphs under the operation of taking graph powers. As an example we compute the clique complexes of powers of cycles, or, in other words, the independence complexes of circular complete graphs. We study the behaviour of clique complexes of graphs under the operation of taking graph powers. As an example we compute the clique complexes of powers of cycles, or, in other words, the independence complexes of circular complete graphs. △ Less

Submitted 5 March, 2012; v1 submitted 3 April, 2011; originally announced April 2011.

Comments: V3: final version

Topology and subsets - the story of a theorem

Authors: Michał Adamaszek

Abstract: In this exposition the space of at most 3-element subsets of the circle, first identified by Borsuk and Bott, is used as a motivation to introduce the readers to a variety of methods in (algebraic) topology. In this exposition the space of at most 3-element subsets of the circle, first identified by Borsuk and Bott, is used as a motivation to introduce the readers to a variety of methods in (algebraic) topology. △ Less

Submitted 4 November, 2010; originally announced November 2010.

Comments: This article is a translation of the original (in Polish), written for Matematyka, Spoleczenstwo, Nauczanie, Vol.46. It is an extended version of the talk by the author at the XLV Szkola Matematyki Pogladowej, Jachranka, Poland, 27-31 August 2010, see http://www.msn.ap.siedlce.pl

Vertex decompositions of two-dimensional complexes and graphs

Authors: Michal Adamaszek

Abstract: We investigate families of two-dimensional simplicial complexes defined in terms of vertex decompositions. They include nonevasive complexes, strongly collapsible complexes of Barmak and Miniam and analogues of 2-trees of Harary and Palmer. We investigate the complexity of recognition problems for those families and some of their combinatorial properties. Certain results follow from analogous deco… ▽ More We investigate families of two-dimensional simplicial complexes defined in terms of vertex decompositions. They include nonevasive complexes, strongly collapsible complexes of Barmak and Miniam and analogues of 2-trees of Harary and Palmer. We investigate the complexity of recognition problems for those families and some of their combinatorial properties. Certain results follow from analogous decomposition techniques for graphs. For example, we prove that it is NP-complete to decide if a graph can be reduced to a discrete graph by a sequence of removals of vertices of degree 3. △ Less

Submitted 21 February, 2011; v1 submitted 22 July, 2010; originally announced July 2010.

Comments: Improved presentation and fixed some bugs

MSC Class: 05E45; 52C45; 68R10

Uniqueness of graph square roots of girth six

Authors: Anna Adamaszek, Michal Adamaszek

Abstract: We prove that if two graphs of girth at least 6 have isomorphic squares, then the graphs themselves are isomorphic. This is the best possible extension of the results of Ross and Harary on trees and the results of Farzad et al. on graphs of girth at least 7. We also make a remark on reconstruction of graphs from their higher powers. We prove that if two graphs of girth at least 6 have isomorphic squares, then the graphs themselves are isomorphic. This is the best possible extension of the results of Ross and Harary on trees and the results of Farzad et al. on graphs of girth at least 7. We also make a remark on reconstruction of graphs from their higher powers. △ Less

Submitted 11 December, 2009; originally announced December 2009.

Comments: A note, 4 pages

Large-girth roots of graphs

Authors: Anna Adamaszek, Michal Adamaszek

Abstract: We study the problem of recognizing graph powers and computing roots of graphs. We provide a polynomial time recognition algorithm for r-th powers of graphs of girth at least 2r+3, thus improving a bound conjectured by Farzad et al. (STACS 2009). Our algorithm also finds all r-th roots of a given graph that have girth at least 2r+3 and no degree one vertices, which is a step towards a recent con… ▽ More We study the problem of recognizing graph powers and computing roots of graphs. We provide a polynomial time recognition algorithm for r-th powers of graphs of girth at least 2r+3, thus improving a bound conjectured by Farzad et al. (STACS 2009). Our algorithm also finds all r-th roots of a given graph that have girth at least 2r+3 and no degree one vertices, which is a step towards a recent conjecture of Levenshtein that such root should be unique. On the negative side, we prove that recognition becomes an NP-complete problem when the bound on girth is about twice smaller. Similar results have so far only been attempted for r=2,3. △ Less

Submitted 22 September, 2009; originally announced September 2009.

Comments: 14 pages, 4 figures

Spaces of algebraic and continuous maps between real algebraic varieties

Authors: Michal Adamaszek, Andrzej Kozlowski, Kohhei Yamaguchi

Abstract: We consider the inclusion of the space of algebraic (regular) maps between real algebraic varieties in the space of all continuous maps. For a certain class of real algebraic varieties, which include real projective spaces, it is well known that the space of real algebraic maps is a dense subset of the space of all continuous maps. Our first result shows that, for this class of varieties, the incl… ▽ More We consider the inclusion of the space of algebraic (regular) maps between real algebraic varieties in the space of all continuous maps. For a certain class of real algebraic varieties, which include real projective spaces, it is well known that the space of real algebraic maps is a dense subset of the space of all continuous maps. Our first result shows that, for this class of varieties, the inclusion is also a homotopy equivalence. After proving this, we restrict the class of varieties to real projective spaces. In this case, the space of algebraic maps has a ` minimum degree\rq filtration by finite dimensional subspaces and it is natural to expect that the homotopy types of the terms of the filtration approximate closer and closer the homotopy type of the space of continuous map**s as the degree increases. We prove this and compute the lower bounds of this approximation for ` even\rq components of these spaces (more precisely, we prove a very similar and closely related result, and state this one as a conjecture). △ Less

Submitted 12 July, 2010; v1 submitted 29 September, 2008; originally announced September 2008.

MSC Class: 55P99

Combinatorics of the change-making problem

Authors: Michal Adamaszek, Anna Niewiarowska

Abstract: We investigate the structure of the currencies (systems of coins) for which the greedy change-making algorithm always finds an optimal solution (that is, a one with minimum number of coins). We present a series of necessary conditions that must be satisfied by the values of coins in such systems. We also uncover some relations between such currencies and their sub-currencies. We investigate the structure of the currencies (systems of coins) for which the greedy change-making algorithm always finds an optimal solution (that is, a one with minimum number of coins). We present a series of necessary conditions that must be satisfied by the values of coins in such systems. We also uncover some relations between such currencies and their sub-currencies. △ Less

Submitted 20 August, 2008; v1 submitted 30 December, 2007; originally announced January 2008.

Comments: 18 pages, 4 figures Added a partial proof of conjecture 7.6 + some minor changes

MSC Class: 05D99; 68R05

Efficient enumeration of graceful permutations

Authors: Michal Adamaszek

Abstract: A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective algorithm that enumerates graceful n-permutations. Our algorithm is also presented in detail. A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective algorithm that enumerates graceful n-permutations. Our algorithm is also presented in detail. △ Less

Submitted 21 August, 2006; originally announced August 2006.

Comments: 5 pages, 1 figure

MSC Class: 05C78 (Primary); 11Y55 (Secondary)