Der topologische Zyklenraum
|
|
- Amy Bridges
- 5 years ago
- Views:
Transcription
1 Der topologische Zyklenraum
2 Der topologische Zyklenraum Zur Verallgemeinerung auf unendliche G von (z.b.) Satz (MacLane 1937) Ein Graph ist genau dann plättbar, wenn sein Zyklenraum eine schlichte Basis besitzt. Interesting thm: captures the geometric sparseness of planar graphs algebracically, and so well that it becomes a defining/equivalent criterion for planarity.
3 Der topologische Zyklenraum Zur Verallgemeinerung auf unendliche G von (z.b.) Satz (MacLane 1937) Ein Graph ist genau dann plättbar, wenn sein Zyklenraum eine schlichte Basis besitzt.... brauchen wir unendliche Kreise, und unendliche Summen: e We need 1 cycles and for the trivial forward implication, to generate C from face bdries: e lies on a finite cycle (which has to be generated) but on no finite face bdry, and once we use the infinite face bdry we need an infinite sum to get rid of the unwanted fat edges. Also, there s no other thin generating set for the finitary cycle space than the finite face bdries: since G is 3-connected, any thin generating set would be the face bdries in any drawing. (See remark in book after MacLane s thm.) I don t know whether a graph whose finitary cycle space has a sparse basis of finite cycles must be planar. I could imagine that the topologcial ML proof yields a surface that s just a punctured sphere.
4 Der topologische Zyklenraum Zur Verallgemeinerung auf unendliche G von (z.b.) Satz (MacLane 1937) Ein Graph ist genau dann plättbar, wenn sein Zyklenraum eine schlichte Basis besitzt.... brauchen wir unendliche Kreise, und unendliche Summen: e Problem: Abstrahiere unendliche Kreise aus der Ebene ) Enden, top. Kreise If ends and topological circles in G hadn t been invented, this would motivate their invention: we want a topology-free description of the face bdries in the above example: without an abstract notion of infinite cycle we cannot even state the 1 MacLane Thm. The abstract notion of ends (rather than limit points in R 2 ) and of G achieves this.
5 Der topologische Zyklenraum C = C(G) E(G): Durch dünne Summen aus topologischen Kreisen erzeugbare Kantenmengen We d like to take the just circuits as generators and generally allow infinite thin sums. However, in order to get a vector space (or a group) we have to build 1 sums in to single elements, so that for those it s enough to take finite sums (to generate all edge sets we want to generate).
6 Der topologische Zyklenraum C = C(G) E(G): Durch dünne Summen aus topologischen Kreisen erzeugbare Kantenmengen + - abgeschlossen: vereinige zwei dünne Summen zu einer so the (edges sets built from) thin sums do indeed form a vector space Note that we can t prove 1 closure (under infinite thin sums) in the same way: combining those thin families may give a non-thin family. Example: let every summand in a thin family contain some fixed edge e twice
7 Der topologische Zyklenraum C = C(G) E(G): Durch dünne Summen aus topologischen Kreisen erzeugbare Kantenmengen + - abgeschlossen: vereinige zwei dünne Summen zu einer Beispiele: Quadrate der Leiter endl. Gebietsränder beim wilden Kreis. These are examples for sparse generating sets, as for MacLane.
8 Der topologische Zyklenraum C = C(G) E(G): Durch dünne Summen aus topologischen Kreisen erzeugbare Kantenmengen + - abgeschlossen: vereinige zwei dünne Summen zu einer C fin (G): the finite sets in C (clearly a subspace of C(G)) C fin is the set of finite edge sets D that are sums, maybe infinite sums, of circuits (maybe infinite circuits). However, we ll show later that D is also a disjoint union of circuits, which must be finite if D if finite. Hence C fin is also the finitary cycle space of G, the space of finite sums of finite circuits.
9 Der topologische Zyklenraum C = C(G) E(G): Durch dünne Summen aus topologischen Kreisen erzeugbare Kantenmengen + - abgeschlossen: vereinige zwei dünne Summen zu einer C fin (G): the finite sets in C (clearly a subspace of C(G)) The cut space B(G) E(G): B(G): subspace consisting of all cuts (finite or infinite) B fin (G): the finite sets in B (clearly a subspace of B(G)) Closed under finite sums (proof as for finite G: diagonal pairs of corners) We know neither of C nor of B (yet) that they re closed under 1 thin sums.
10 Theorem 2.1. [Proof in survey Locally finite graphs with ends ] (i) Given an ordinary spanning tree of G, its fundamental cuts generate B(G). Its fundamental circuits generate C fin (G) but not necessarily C(G). Move on without proof: both statements are analogous/dual to (ii) proved below. generate C fin : because, as we ll show later, C fin = finitary cycle space (which we know is generated by the fund.cycles of ordinary sp.trees). C e! finite cycles C! C fin So far, we don t know yet that C fin is generated by the finite circuits (which are in turn generated by the fundamental circuits of any ordinary sp.tree, with the same proof as for finite graphs). We ll be able to mimic the proof that the finite cycles generate every D 2 C fin once we know that these D meet every finite cut evenly: then they decompose greedily into (finite) by applying this to the cuts E(v). not nec : if T contains an infinite circle, then this cannot be a sum of C e s (since those e s would still be in the sum).
11 Theorem 2.1. [Proof in survey Locally finite graphs with ends ] (i) Given an ordinary spanning tree of G, its fundamental cuts generate B(G). Its fundamental circuits generate C fin (G) but not necessarily C(G). (ii) Given a top. spanning tree T of G, its fundamental circuits generate C(G). Its fundamental cuts generate B fin (G) but not necessarily B(G). Proof given below don t do now. generate B fin : proof as for finite (unlike for (i)), by jumping arc. Done later.
12 Theorem 2.1. [Proof in survey Locally finite graphs with ends ] (i) Given an ordinary spanning tree of G, its fundamental cuts generate B(G). Its fundamental circuits generate C fin (G) but not necessarily C(G). (ii) Given a top. spanning tree T of G, its fundamental circuits generate C(G). Its fundamental cuts generate B fin (G) but not necessarily B(G). (iii) Given a normal spanning tree of G, its fundamental circuits generate C(G), and its fundamental cuts generate B(G). Immediate from (i) and (ii).
13 Theorem 2.1. (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), first statement:
14 Theorem 2.1. (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), first statement: We show that the following are equivalent for edge sets D: (1) D 2 C(G); (the equivalence (1)$(2) will be (2) D meets every finite cut F of G evenly; needed all the time) (3) D is a thin sum of fundamental circuits. The reason why (1)$(2) is so important is that (2) provides a finitary characterization of C, as for connectedness; see below for an example of why that s good to have.
15 Theorem 2.1. (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), first statement: We show that the following are equivalent for edge sets D: (1) D 2 C(G); (the equivalence (1)$(2) will be (2) D meets every finite cut F of G evenly; needed all the time) (3) D is a thin sum of fundamental circuits. NB: (2), D meets every finite bond evenly (since cuts are disjoint unions of bonds)
16 Theorem 2.1. (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), first statement: We show that the following are equivalent for edge sets D: (1) D 2 C(G); (the equivalence (1)$(2) will be (2) D meets every finite cut F of G evenly; needed all the time) (3) D is a thin sum of fundamental circuits. (3)!(1): definition of C.
17 Theorem 2.1. (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), first statement: We show that the following are equivalent for edge sets D: (1) D 2 C(G); (the equivalence (1)$(2) will be (2) D meets every finite cut F of G evenly; needed all the time) (3) D is a thin sum of fundamental circuits. (1)!(2): jumping arc ) F meets each C i in D = P i C i evenly
18 Theorem 2.1. (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), first statement: We show that the following are equivalent for edge sets D: (1) D 2 C(G); (the equivalence (1)$(2) will be (2) D meets every finite cut F of G evenly; needed all the time) (3) D is a thin sum of fundamental circuits. (1)!(2): jumping arc ) F meets each C i in D = P i C i evenly ) F finite F meets D evenly. F meets only finitely many of the C i in D = P i C i, since this is a thin sum. Since F meets each C i evenly, it also meets P i C i evenly, because addition and multiplication in the ring E(G)! F 2 are distributive: if F \ C i and F \ C j are even then so is their symmetric di erence (F \ C i ) (F \ C j ). But this equals F \ (C i C j ), which we wanted to be even. (Ring E(G)! F 2 : addition = of sets; multiplication = \ of sets.)
19 Theorem 2.1. (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), first statement: We show that the following are equivalent for edge sets D: (1) D 2 C(G); (the equivalence (1)$(2) will be (2) D meets every finite cut F of G evenly; needed all the time) (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) This choice of which C e to use is not a clever idea but the only chance, for any set D: any sum P C e = D must include all C e with e 2 D (can t get those e 2 D from any other C e 0), and must not include any C e with e /2 D (we couldn t get rid of those e again by adding other C e 0).
20 (2) D meets every finite cut F of G evenly; (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) P C e is thin, i.e. well defined:
21 (2) D meets every finite cut F of G evenly; (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) P C e is thin, i.e. well defined: Edges e 0 /2 T lie in C e only for e 0 = e.
22 (2) D meets every finite cut F of G evenly; (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) P C e is thin, i.e. well defined: Edges e 0 /2 T lie in C e only for e 0 = e. Edges f 2 T lie in C e only for e 2 D f, and D f is finite (TST). So every edge of G lies in only finitely many C e, so P C e is well-defined.
23 (2) D meets every finite cut F of G evenly; (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) P C e is thin. We want to prove that D + P e2dre(t ) C e = ; :
24 (2) D meets every finite cut F of G evenly; (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) P C e is thin. We want to prove that D + P e2dre(t ) C e = ; : As seen earlier, D + P C e E(T ). Edges e 0 /2 T only lie in C e for e 0 = e, but then they re also in D and hence not in the sum D + P C e (= D + P e2dre(t ) C e). For finite G 9 trick: E(T ) implies D + P C e = ;: by (2), D + P C e induces even degrees and hence lies in C, but every nontrivial subgraph of a finite tree has a vertex of degree 1, so D + P C e 2 C = ;. We still know that that D + P C e induces even degrees D does by (2), and the C i do but an infinite TST can contain edge sets with all degrees even. Moreover, inducing even degrees doesn t mean 2 C now (double rays needn t lie in C). For infinite G, it s conceivable that T, which we know contains no circuit, might however contain a thin sum of circuits.
25 (2) D meets every finite cut F of G evenly; (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) P C e is thin. We want to prove that D + P e2dre(t ) C e = ; : As seen earlier, D + P C e E(T ). So for every f 2 E(T ), D + P C e meets the finite cut D f in an even subset of D f \ E(T ) = {f}, D + P e2dre(t ) C e meets every finite cut evenly, because D and all the C e do.
26 (2) D meets every finite cut F of G evenly; (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) P C e is thin. We want to prove that D + P e2dre(t ) C e = ; : As seen earlier, D + P C e E(T ). So for every f 2 E(T ), D + P C e meets the finite cut D f in an even subset of D f \ E(T ) = {f}, i.e. in ;. Hence D + P C e contains no f 2 T, and hence no edge at all, sinc it s E(T ).
27 (2) D meets every finite cut F of G evenly; (3) D is a thin sum of fundamental circuits. (2)!(3): show that D = X C e. e2dre(t ) P C e is thin. We want to prove that D + P e2dre(t ) C e = ; : As seen earlier, D + P C e E(T ). So for every f 2 E(T ), D + P C e meets the finite cut D f in an even subset of D f \ E(T ) = {f}, i.e. in ;. We have thus shown the first statement of Theorem 2.1 (ii):
28 Theorem 2.1. [Proof in survey Locally finite graphs with ends ] (i) Given an ordinary spanning tree of G, its fundamental cuts generate B(G). Its fundamental circuits generate C fin (G) but not necessarily C(G). (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), second statement:
29 Theorem 2.1. [Proof in survey Locally finite graphs with ends ] (i) Given an ordinary spanning tree of G, its fundamental cuts generate B(G). Its fundamental circuits generate C fin (G) but not necessarily C(G). (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), second statement: The D f generate B fin (G), since every finite cut F is F = P f 2F \E(T ) D f. As before, this is the only chance to generate F from D f s. It happens to work when F is finite: a given edge e /2 T lies in D f for precisely the f 2 C e, and although C e can now be infinite, it meets the (finite!) cut F evenly by jumping arc; so the number of f 2 F for which e 2 D f is even if e /2 F, and odd if e 2 F, as needed. But when F is infinite and has no edge in T it does not work, see!
30 Theorem 2.1. [Proof in survey Locally finite graphs with ends ] (i) Given an ordinary spanning tree of G, its fundamental cuts generate B(G). Its fundamental circuits generate C fin (G) but not necessarily C(G). (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (ii), second statement: The D f generate B fin (G), since every finite cut F is F = P f 2F \E(T ) D f. The D f will not generate B if E(T ) misses an infinite cut F. Such an F cannot be a P D f : those f 2 T would lie in the sum but not in F.
31 Theorem 2.1. [Proof in survey Locally finite graphs with ends ] (i) Given an ordinary spanning tree of G, its fundamental cuts generate B(G). Its fundamental circuits generate C fin (G) but not necessarily C(G). (ii) Given a TST of G, say T, its fundamental circuits C e generate C(G). Its fundamental cuts D f generate B fin (G) but not necessarily B(G). Proof of (i): almost analogous/dual to (ii). First assertion of (i): one now has to show that the D f do not generate more than B, ie that a thin sum of cuts is another cut. (In (ii) this was automatic, by def of C. But B is not defined as the thin sums of cuts but simply as all cuts.) We ll prove this below. Second assertion of (i): Every D 2 C, as we saw, meets every finite cut evenly. Every such D is a disjoint union of circuits: this was an exercise, and will be proved again soon. For such D 2 C fin we can even decompose D greedily: can t get stuck because it meets every E(v) evenly. And finite circuits are known to be generated by C e s of ordinary sp.trees. not necesarily C(G) : An infinite circuit contained in T will never be a sum of fundamental circuits C e, whose e /2 T we wouldn t be able to shed.
32 Theorem 2.1. (iii) Given a normal spanning tree of G, its fundamental circuits generate C(G), and its fundamental cuts generate B(G). Corollary. [Thm 2.2 in survey Locally finite graphs with ends ] (i) C(G) is generated by finite circuits and is closed under infinite thin sums. (ii) B(G) is generated by finite bonds and is closed under infinite thin sums. Proof. The generation part of both (i),(ii) follows from Thm 2.1 (iii).
33 Theorem 2.1. (iii) Given a normal spanning tree of G, its fundamental circuits generate C(G), and its fundamental cuts generate B(G). Corollary. [Thm 2.2 in survey Locally finite graphs with ends ] (i) C(G) is generated by finite circuits and is closed under infinite thin sums. (ii) B(G) is generated by finite bonds and is closed under infinite thin sums. Proof. The generation part of both (i),(ii) follows from Thm 2.1 (iii). The closure part follows from these characterizations: Lemma 2.2. (i) C(G) = edge sets meeting every finite bond evenly (see earlier) (ii) B(G) = edge sets meeting every finite circuit evenly (dual of ") (These latter types of edge sets are clearly closed under thin sums.) Finitary characterizations of C and B implying at once they re closed under thin sums! It s clear that bonds meet finite circuits evenly. But the converse, that every edge set meeting all finite circuits evenly is a cut needs proof. The proof is analogous to, or the dual of, our earlier proof of the analogous characterization of C(G). There, we showed that if D meets every finite cut evenly (2) then it s a thin sum of fundamental circuits (3) which by definition implied that D 2 C. The analogous reasoning now is that if F meets every finite circuit evenly (2 0 ) then it s a thin sum of fundamental cuts (3 0 ), but we now have to show that that s again in B. Let s prove the non-trivial -part of Lemma 2.2 (ii):!
34 Lemma 2.2 (ii). If F E(G) meets every finite circuit in G evenly, then F is a cut. Proof. ASK: how would you prove this? Ideas? If true, we ll have F splitting G into two halves each containing lots of stu we don t want to know about ) contract that stu!
35 Lemma 2.2 (ii). If F E(G) meets every finite circuit in G evenly, then F is a cut. Proof. Contract the edges not in F, keeping loops and multiple edges: H := G (E r F ). (Branch sets: the components of the graph (V, E r F ).) Branch sets are the maximal edge sets spanning connected subgraphs (connected as subgraphs, not just defining connected standard subspaces). Although we keep loops, there aren t any: they d make a finite cycle in G with 1 edge in F.
36 Lemma 2.2 (ii). If F E(G) meets every finite circuit in G evenly, then F is a cut. Proof. Contract the edges not in F, keeping loops and multiple edges: H := G (E r F ). (Branch sets: the components of the graph (V, E r F ).) Every finite circuit C in H is even, since it extends to a finite circuit in G meeting F precisely in C (so C \ F is even by assumption).
37 Lemma 2.2 (ii). If F E(G) meets every finite circuit in G evenly, then F is a cut. Proof. Contract the edges not in F, keeping loops and multiple edges: H := G (E r F ). (Branch sets: the components of the graph (V, E r F ).) Every finite circuit C in H is even, since it extends to a finite circuit in G meeting F precisely in C (so C \ F is even by assumption). Hence H is bipartite.
38 Lemma 2.2 (ii). If F E(G) meets every finite circuit in G evenly, then F is a cut. Proof. Contract the edges not in F, keeping loops and multiple edges: H := G (E r F ). (Branch sets: the components of the graph (V, E r F ).) Every finite circuit C in H is even, since it extends to a finite circuit in G meeting F precisely in C (so C \ F is even by assumption). Hence H is bipartite. Its bipartition defines a bipartition of G with cut F. The edges of H are precisely those in F
39 Lemma 2.2 (ii). If F E(G) meets every finite circuit in G evenly, then F is a cut. Proof. Contract the edges not in F, keeping loops and multiple edges: H := G (E r F ). (Branch sets: the components of the graph (V, E r F ).) Every finite circuit C in H is even, since it extends to a finite circuit in G meeting F precisely in C (so C \ F is even by assumption). Hence H is bipartite. Its bipartition defines a bipartition of G with cut F. Corollary. B(G) is closed under thin sums. We still needed to show this, for our proof that the fundamental cuts of an ordinary sp.tree generate B (not more than B).
40 Atomic bond of G: one contained in E(v) for some v 2 V (G) If v is a cutvertex, then E(v) partitions into more than one atomic bond.
41 Atomic bond of G: one contained in E(v) for some v 2 V (G) Theorem 2.3. [From survey Locally finite graphs with ends ] (iii) Every element of B(G) is a disjoint union of bonds. (iv) The atomic bonds of G generate B(G). Proof. (iii), (iv) as for finite graphs. (iii): Each component C of the LHS of a cut F against each of the components of G can meet both sides of F ). C (which (iv) Sum (clearly thin) of all atomic bonds contained in cuts E(v) with v on the LHS of a given cut F.
42 Atomic bond of G: one contained in E(v) for some v 2 V (G) Peripheral circuit: Edge set of chordless circle whose vertices do not separate G Theorem 2.3. [From survey Locally finite graphs with ends ] (i) Every element of C(G) is a disjoint union of circuits. (ii) If G is 3-connected, its peripheral circuits generate C(G). (iii) Every element of B(G) is a disjoint union of bonds. (iv) The atomic bonds of G generate B(G). (ii) is dual to (iv): For plane duals G, G, the peripheral circuits of G are the face boundaries, which are the atomic bonds of G. Open problem: Can we dualise the very simple proofs of (iii),(iv) to get simple proofs of (i),(ii)? The main task seems to be to translate the use of vertices. See Problem 128, and the Hint of the exercise setting this open problem. Assign seminar presentation of Henning s proof of (ii) if this is to be covered!
On the intersection of infinite matroids
On the intersection of infinite matroids Elad Aigner-Horev Johannes Carmesin Jan-Oliver Fröhlich University of Hamburg 9 July 2012 Abstract We show that the infinite matroid intersection conjecture of
More informationInfinite circuits in infinite graphs
Infinite circuits in infinite graphs Henning Bruhn Universität Hamburg R. Diestel, A. Georgakopoulos, D. Kühn, P. Sprüssel, M. Stein Henning Bruhn (U Hamburg) Infinite circuits Haifa 08 1 / 25 Locally
More informationThe Reduction of Graph Families Closed under Contraction
The Reduction of Graph Families Closed under Contraction Paul A. Catlin, Department of Mathematics Wayne State University, Detroit MI 48202 November 24, 2004 Abstract Let S be a family of graphs. Suppose
More informationPlanar Graphs (1) Planar Graphs (3) Planar Graphs (2) Planar Graphs (4)
S-72.2420/T-79.5203 Planarity; Edges and Cycles 1 Planar Graphs (1) Topological graph theory, broadly conceived, is the study of graph layouts. Contemporary applications include circuit layouts on silicon
More informationThe fundamental group of a locally finite graph with ends
1 The fundamental group of a locally finite graph with ends Reinhard Diestel and Philipp Sprüssel Abstract We characterize the fundamental group of a locally finite graph G with ends combinatorially, as
More informationDef. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =
CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and
More informationTree sets. Reinhard Diestel
1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked
More informationMatroid intersection, base packing and base covering for infinite matroids
Matroid intersection, base packing and base covering for infinite matroids Nathan Bowler Johannes Carmesin June 25, 2014 Abstract As part of the recent developments in infinite matroid theory, there have
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationVector Spaces. Addition : R n R n R n Scalar multiplication : R R n R n.
Vector Spaces Definition: The usual addition and scalar multiplication of n-tuples x = (x 1,..., x n ) R n (also called vectors) are the addition and scalar multiplication operations defined component-wise:
More informationBlocks and 2-blocks of graph-like spaces
Blocks and 2-blocks of graph-like spaces von Hendrik Heine Masterarbeit vorgelegt der Fakultät für Mathematik, Informatik und Naturwissenschaften der Universität Hamburg im Dezember 2017 Gutachter: Prof.
More informationk-blocks: a connectivity invariant for graphs
1 k-blocks: a connectivity invariant for graphs J. Carmesin R. Diestel M. Hamann F. Hundertmark June 17, 2014 Abstract A k-block in a graph G is a maximal set of at least k vertices no two of which can
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationRoot systems and optimal block designs
Root systems and optimal block designs Peter J. Cameron School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS, UK p.j.cameron@qmul.ac.uk Abstract Motivated by a question
More informationPreliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}
Preliminaries Graphs G = (V, E), V : set of vertices E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) 1 2 3 5 4 V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} 1 Directed Graph (Digraph)
More informationGenerating p-extremal graphs
Generating p-extremal graphs Derrick Stolee Department of Mathematics Department of Computer Science University of Nebraska Lincoln s-dstolee1@math.unl.edu August 2, 2011 Abstract Let f(n, p be the maximum
More informationMATH 2200 Final Review
MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics
More informationList of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,
List of Theorems Mat 416, Introduction to Graph Theory 1. Ramsey s Theorem for graphs 8.3.11. Theorem 1 The numbers R(p, q) exist and for p, q 2, R(p, q) R(p 1, q) + R(p, q 1). If both summands on the
More informationProperties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationON QUADRATIC ORBITAL NETWORKS
ON QUADRATIC ORBITAL NETWORKS OLIVER KNILL Abstract. These are some informal remarks on quadratic orbital networks over finite fields Z p. We discuss connectivity, Euler characteristic, number of cliques,
More informationNotes on Graph Theory
Notes on Graph Theory Maris Ozols June 8, 2010 Contents 0.1 Berge s Lemma............................................ 2 0.2 König s Theorem........................................... 3 0.3 Hall s Theorem............................................
More informationLattice Theory Lecture 4. Non-distributive lattices
Lattice Theory Lecture 4 Non-distributive lattices John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Introduction Here we mostly consider
More informationChapter 3. Betweenness (ordering) A system satisfying the incidence and betweenness axioms is an ordered incidence plane (p. 118).
Chapter 3 Betweenness (ordering) Point B is between point A and point C is a fundamental, undefined concept. It is abbreviated A B C. A system satisfying the incidence and betweenness axioms is an ordered
More informationV (v i + W i ) (v i + W i ) is path-connected and hence is connected.
Math 396. Connectedness of hyperplane complements Note that the complement of a point in R is disconnected and the complement of a (translated) line in R 2 is disconnected. Quite generally, we claim that
More informationParity Versions of 2-Connectedness
Parity Versions of 2-Connectedness C. Little Institute of Fundamental Sciences Massey University Palmerston North, New Zealand c.little@massey.ac.nz A. Vince Department of Mathematics University of Florida
More informationSection 8.4 Closures of Relations
Section 8.4 Closures of Relations Definition: The closure of a relation R with respect to property P is the relation obtained by adding the minimum number of ordered pairs to R to obtain property P. In
More informationRing Sums, Bridges and Fundamental Sets
1 Ring Sums Definition 1 Given two graphs G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) we define the ring sum G 1 G 2 = (V 1 V 2, (E 1 E 2 ) (E 1 E 2 )) with isolated points dropped. So an edge is in G 1 G
More informationCodes on graphs. Chapter Elementary realizations of linear block codes
Chapter 11 Codes on graphs In this chapter we will introduce the subject of codes on graphs. This subject forms an intellectual foundation for all known classes of capacity-approaching codes, including
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationCycles with consecutive odd lengths
Cycles with consecutive odd lengths arxiv:1410.0430v1 [math.co] 2 Oct 2014 Jie Ma Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213. Abstract It is proved that there
More informationBichain graphs: geometric model and universal graphs
Bichain graphs: geometric model and universal graphs Robert Brignall a,1, Vadim V. Lozin b,, Juraj Stacho b, a Department of Mathematics and Statistics, The Open University, Milton Keynes MK7 6AA, United
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationMath 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008
Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008 Closed sets We have been operating at a fundamental level at which a topological space is a set together
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationAdvanced Topics in Discrete Math: Graph Theory Fall 2010
21-801 Advanced Topics in Discrete Math: Graph Theory Fall 2010 Prof. Andrzej Dudek notes by Brendan Sullivan October 18, 2010 Contents 0 Introduction 1 1 Matchings 1 1.1 Matchings in Bipartite Graphs...................................
More informationEven Cycles in Hypergraphs.
Even Cycles in Hypergraphs. Alexandr Kostochka Jacques Verstraëte Abstract A cycle in a hypergraph A is an alternating cyclic sequence A 0, v 0, A 1, v 1,..., A k 1, v k 1, A 0 of distinct edges A i and
More informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H 1, H 2 ) so that H 1 H 2 = G E(H 1 ) E(H 2 ) = V (H 1 ) V (H 2 ) = k Such a separation is proper if V (H
More informationChapter 9: Relations Relations
Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair
More informationSergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada. and
NON-PLANAR EXTENSIONS OF SUBDIVISIONS OF PLANAR GRAPHS Sergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada and Robin Thomas 1 School of Mathematics
More informationTHE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS
THE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS BRIAN OSSERMAN Abstract. The study of branched covers of the Riemann sphere has connections to many fields. We recall the classical
More informationMINIMALLY NON-PFAFFIAN GRAPHS
MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect
More information6.4 BASIS AND DIMENSION (Review) DEF 1 Vectors v 1, v 2,, v k in a vector space V are said to form a basis for V if. (a) v 1,, v k span V and
6.4 BASIS AND DIMENSION (Review) DEF 1 Vectors v 1, v 2,, v k in a vector space V are said to form a basis for V if (a) v 1,, v k span V and (b) v 1,, v k are linearly independent. HMHsueh 1 Natural Basis
More informationFinite affine planes in projective spaces
Finite affine planes in projective spaces J. A.Thas H. Van Maldeghem Ghent University, Belgium {jat,hvm}@cage.ugent.be Abstract We classify all representations of an arbitrary affine plane A of order q
More informationOn alternating products of graph relations
On alternating products of graph relations. Bodendiek Institut f. Mathematik und ihre Didaktik Christian-Albrechts-Universität Kiel.Lang Fachbereich Informatik Universität Hamburg Abstract It is well-known
More informationConnectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).
Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.
More informationThe Classification of Nonsimple Algebraic Tangles
The Classification of Nonsimple Algebraic Tangles Ying-Qing Wu 1 A tangle is a pair (B, T ), where B is a 3-ball, T is a pair of properly embedded arcs. When there is no ambiguity we will simply say that
More informationUNIQUENESS OF HIGHLY REPRESENTATIVE SURFACE EMBEDDINGS
UNIQUENESS OF HIGHLY REPRESENTATIVE SURFACE EMBEDDINGS P. D. Seymour Bellcore 445 South St. Morristown, New Jersey 07960, USA and Robin Thomas 1 School of Mathematics Georgia Institute of Technology Atlanta,
More informationTutte Polynomials with Applications
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 6 (26), pp. 4781 4797 Research India Publications http://www.ripublication.com/gjpam.htm Tutte Polynomials with Applications
More informationCographs; chordal graphs and tree decompositions
Cographs; chordal graphs and tree decompositions Zdeněk Dvořák September 14, 2015 Let us now proceed with some more interesting graph classes closed on induced subgraphs. 1 Cographs The class of cographs
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationAxioms for infinite matroids
1 Axioms for infinite matroids Henning Bruhn Reinhard Diestel Matthias Kriesell Rudi Pendavingh Paul Wollan Abstract We give axiomatic foundations for infinite matroids with duality, in terms of independent
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationKai Sun. University of Michigan, Ann Arbor. Collaborators: Krishna Kumar and Eduardo Fradkin (UIUC)
Kai Sun University of Michigan, Ann Arbor Collaborators: Krishna Kumar and Eduardo Fradkin (UIUC) Outline How to construct a discretized Chern-Simons gauge theory A necessary and sufficient condition for
More informationarxiv: v2 [math.co] 24 May 2018
An approximate version of a conjecture of Aharoni and Berger arxiv:1609.06346v2 [math.co] 24 May 2018 Alexey Pokrovskiy ETH Zürich. May 28, 2018 Abstract Aharoni and Berger conjectured that in every proper
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More information1 Hamiltonian properties
1 Hamiltonian properties 1.1 Hamiltonian Cycles Last time we saw this generalization of Dirac s result, which we shall prove now. Proposition 1 (Ore 60). For a graph G with nonadjacent vertices u and v
More informationON THE NUMBERS OF CUT-VERTICES AND END-BLOCKS IN 4-REGULAR GRAPHS
Discussiones Mathematicae Graph Theory 34 (2014) 127 136 doi:10.7151/dmgt.1724 ON THE NUMBERS OF CUT-VERTICES AND END-BLOCKS IN 4-REGULAR GRAPHS Dingguo Wang 2,3 and Erfang Shan 1,2 1 School of Management,
More informationNetwork Augmentation and the Multigraph Conjecture
Network Augmentation and the Multigraph Conjecture Nathan Kahl Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 e-mail: nkahl@stevens-tech.edu Abstract Let Γ(n, m)
More informationEconomics 204 Summer/Fall 2017 Lecture 7 Tuesday July 25, 2017
Economics 204 Summer/Fall 2017 Lecture 7 Tuesday July 25, 2017 Section 2.9. Connected Sets Definition 1 Two sets A, B in a metric space are separated if Ā B = A B = A set in a metric space is connected
More informationStrongly chordal and chordal bipartite graphs are sandwich monotone
Strongly chordal and chordal bipartite graphs are sandwich monotone Pinar Heggernes Federico Mancini Charis Papadopoulos R. Sritharan Abstract A graph class is sandwich monotone if, for every pair of its
More informationExtremal Graphs Having No Stable Cutsets
Extremal Graphs Having No Stable Cutsets Van Bang Le Institut für Informatik Universität Rostock Rostock, Germany le@informatik.uni-rostock.de Florian Pfender Department of Mathematics and Statistics University
More informationA short course on matching theory, ECNU Shanghai, July 2011.
A short course on matching theory, ECNU Shanghai, July 2011. Sergey Norin LECTURE 3 Tight cuts, bricks and braces. 3.1. Outline of Lecture Ear decomposition of bipartite graphs. Tight cut decomposition.
More informationWe simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) =
Math 395. Quadratic spaces over R 1. Algebraic preliminaries Let V be a vector space over a field F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v) for all v V and c F, and
More information1.8 Dual Spaces (non-examinable)
2 Theorem 1715 is just a restatement in terms of linear morphisms of a fact that you might have come across before: every m n matrix can be row-reduced to reduced echelon form using row operations Moreover,
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H, K) with H K = G and E(H K) = and V (H) V (K) = k. Such a separation is proper if V (H) \ V (K) and V (K)
More informationA Generalized Algorithm for Computing Matching Polynomials using Determinants. Asa Scherer
A Generalized Algorithm for Computing Matching Polynomials using Determinants Asa Scherer April 17, 2007 Abstract We discuss the connection between determinants of modified matching matrices and the matching
More informationThe Interlace Polynomial of Graphs at 1
The Interlace Polynomial of Graphs at 1 PN Balister B Bollobás J Cutler L Pebody July 3, 2002 Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152 USA Abstract In this paper we
More informationBranchwidth of graphic matroids.
Branchwidth of graphic matroids. Frédéric Mazoit and Stéphan Thomassé Abstract Answering a question of Geelen, Gerards, Robertson and Whittle [2], we prove that the branchwidth of a bridgeless graph is
More informationQUIVERS AND LATTICES.
QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given
More informationEXAM 2 REVIEW DAVID SEAL
EXAM 2 REVIEW DAVID SEAL 3. Linear Systems and Matrices 3.2. Matrices and Gaussian Elimination. At this point in the course, you all have had plenty of practice with Gaussian Elimination. Be able to row
More informationarxiv: v3 [math.co] 6 Jul 2017
Duality theorems for blocks and tangles in graphs Reinhard Diestel, Philipp Eberenz and Joshua Erde July 7, 2017 arxiv:1605.09139v3 [math.co] 6 Jul 2017 Abstract We prove a duality theorem applicable to
More informationHow to fail Hyperbolic Geometry
Hyperbolic Geometry 1 Introduction These notes describe some of the most common misunderstandings and mistakes that occur almost every year. The section headings contain the most common mistakes students
More informationToughness and prism-hamiltonicity of P 4 -free graphs
Toughness and prism-hamiltonicity of P 4 -free graphs M. N. Ellingham Pouria Salehi Nowbandegani Songling Shan Department of Mathematics, 1326 Stevenson Center, Vanderbilt University, Nashville, TN 37240
More information15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu)
15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu) First show l = c by proving l c and c l. For a maximum matching M in G, let V be the set of vertices covered by M. Since any vertex in
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More information19. Basis and Dimension
9. Basis and Dimension In the last Section we established the notion of a linearly independent set of vectors in a vector space V and of a set of vectors that span V. We saw that any set of vectors that
More informationTopic: Balanced Cut, Sparsest Cut, and Metric Embeddings Date: 3/21/2007
CS880: Approximations Algorithms Scribe: Tom Watson Lecturer: Shuchi Chawla Topic: Balanced Cut, Sparsest Cut, and Metric Embeddings Date: 3/21/2007 In the last lecture, we described an O(log k log D)-approximation
More informationGraph Transformations T1 and T2
Graph Transformations T1 and T2 We now introduce two graph transformations T1 and T2. Reducibility by successive application of these two transformations is equivalent to reducibility by intervals. The
More informationSequence convergence, the weak T-axioms, and first countability
Sequence convergence, the weak T-axioms, and first countability 1 Motivation Up to now we have been mentioning the notion of sequence convergence without actually defining it. So in this section we will
More informationProbe interval graphs and probe unit interval graphs on superclasses of cographs
Author manuscript, published in "" Discrete Mathematics and Theoretical Computer Science DMTCS vol. 15:2, 2013, 177 194 Probe interval graphs and probe unit interval graphs on superclasses of cographs
More informationarxiv: v1 [math.gt] 10 Mar 2009
BARRIERS TO TOPOLOGICALLY MINIMAL SURFACES arxiv:0903.1692v1 [math.gt] 10 Mar 2009 DAVID BACHMAN Abstract. In earlier work we introduced topologically minimal surfaces as the analogue of geometrically
More informationMath 300: Final Exam Practice Solutions
Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a
More informationA Do It Yourself Guide to Linear Algebra
A Do It Yourself Guide to Linear Algebra Lecture Notes based on REUs, 2001-2010 Instructor: László Babai Notes compiled by Howard Liu 6-30-2010 1 Vector Spaces 1.1 Basics Definition 1.1.1. A vector space
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationGUOLI DING AND STAN DZIOBIAK. 1. Introduction
-CONNECTED GRAPHS OF PATH-WIDTH AT MOST THREE GUOLI DING AND STAN DZIOBIAK Abstract. It is known that the list of excluded minors for the minor-closed class of graphs of path-width numbers in the millions.
More informationMATH730 NOTES WEEK 8
MATH730 NOTES WEEK 8 1. Van Kampen s Theorem The main idea of this section is to compute fundamental groups by decomposing a space X into smaller pieces X = U V where the fundamental groups of U, V, and
More informationExtension of continuous functions in digital spaces with the Khalimsky topology
Extension of continuous functions in digital spaces with the Khalimsky topology Erik Melin Uppsala University, Department of Mathematics Box 480, SE-751 06 Uppsala, Sweden melin@math.uu.se http://www.math.uu.se/~melin
More informationDecompositions of graphs into cycles with chords
Decompositions of graphs into cycles with chords Paul Balister Hao Li Richard Schelp May 22, 2017 In memory of Dick Schelp, who passed away shortly after the submission of this paper Abstract We show that
More informationAn Intuitive Introduction to Motivic Homotopy Theory Vladimir Voevodsky
What follows is Vladimir Voevodsky s snapshot of his Fields Medal work on motivic homotopy, plus a little philosophy and from my point of view the main fun of doing mathematics Voevodsky (2002). Voevodsky
More informationContents. Introduction
Introduction Contents Chapter 1. Network Flows 1 1.1. Graphs 1 1.2. Shortest Paths 8 1.3. Maximum Flow 17 1.4. Min Cost Flows 22 List of frequently used Symbols 31 Bibliography 33 Index 37 iii i Introduction
More information1.3 Vertex Degrees. Vertex Degree for Undirected Graphs: Let G be an undirected. Vertex Degree for Digraphs: Let D be a digraph and y V (D).
1.3. VERTEX DEGREES 11 1.3 Vertex Degrees Vertex Degree for Undirected Graphs: Let G be an undirected graph and x V (G). The degree d G (x) of x in G: the number of edges incident with x, each loop counting
More informationquantum statistics on graphs
n-particle 1, J.P. Keating 2, J.M. Robbins 2 and A. Sawicki 1 Baylor University, 2 University of Bristol, M.I.T. TexAMP 11/14 Quantum statistics Single particle space configuration space X. Two particle
More informationHamilton cycles and closed trails in iterated line graphs
Hamilton cycles and closed trails in iterated line graphs Paul A. Catlin, Department of Mathematics Wayne State University, Detroit MI 48202 USA Iqbalunnisa, Ramanujan Institute University of Madras, Madras
More informationVector Spaces. Chapter Two
Chapter Two Vector Spaces The first chapter began by introducing Gauss method and finished with a fair understanding, keyed on the Linear Combination Lemma, of how it finds the solution set of a linear
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationTwo-ended regular median graphs
Two-ended regular median graphs Wilfried Imrich Montanuniversität Leoben, A-8700 Leoben, Austria wilfried.imrich@uni-leoben.at Sandi Klavžar Faculty of Mathematics and Physics, University of Ljubljana
More information