- mathfun@mailman.xmission.com - mailman.xmission.com

Re: [math-fun] Z^2 scale/rotate/translate puzzle
by Dan Asimov 22 Oct '20

22 Oct '20

You are of course absolutely right. Sorry about that. I glommed on to the 12 rotations of the set I defined and forgot that we were discussing only the minimal solutions. —Dan Tom Karzes wrote: ----- No, it is independent of the point set. As long as there are at least two distinct points, there are exactly four minimal solutions. Look at the subject of the sentence you quoted: The minimal solution is unique up to multiplication by a unit (1, i, -1, -i). ... ... -----

2 1

Re: [math-fun] Z^2 scale/rotate/translate puzzle
by Steve Witham 22 Oct '20

22 Oct '20

Not only does reflection not matter to the problem, but translate the problem so that one original point is (0, 0) and let the same point in the solution be (0, 0). Without loss of generality, --Steve > From: Henry Baker <hbaker1(a)pipeline.com> > Date: 10/21/20, 10:27 AM > To: > > I'm guessing factorization of Gaussian integers is involved... > > At 12:51 AM 10/21/2020, Tom Karzes wrote: >> Here's a puzzle some of you might like:

5 4

Re: [math-fun] More than you wanted to know about homology and cohomology
by Dan Asimov 22 Oct '20

22 Oct '20

Brad Klee wrote: ----- I think it would help immensely to get into details and see worked examples. ----- Agreed. I didn't want to make that post too long. ----- For a complexified algebraic curve, what is the algorithm to construct a detailed tiling of the uniform time domain? (You can use triangularization if you want) ----- I'm not aware of any such algorithm. But I'm not sure if I understand exactly what is meant by "complexified algebraic curve". ( There is a very nice class of surfaces known as "complex projective curves", which are smooth surfaces defined by the locus of common zeroes of a finite family of n-1 equations P_j(Z_0, Z_1, ..., Z_n) = 0 on complex projective n-space CP^n, where each P_j is a homogenous polynomial with complex coefficients. For example, the spectacularly beautiful "Klein quartic" is defined as K = {(X : Y : Z) ∊ CP^2 | P(X,Y,Z = 0} where P(X,Y,Z) = X^3 Y + Y^3 Z + Z^3 X. K is topologically a compact orientable surface of genus 3. The group of orientation preserving isometries of K is the simple group of order 168, and it admits a tiling by 24 regular hyperbolic heptagons, 3 per vertex, compatible with these isometries. ) Or what is meant by "the uniform time domain". ----- By detailed I mean that singular points and algebraic cycles should be marked. To step up a dimension, just ask what happens when the curve/surface depends on a shape parameter. If you start with a genus g=0,1, or 2 surface and deform it continuously via the shape parameter, how can the resulting 3-manifold be described in terms of the Thurston Geometries? So yes, it’s more than I want to know, but also less than what I want to know. For me (and many others), more constructive methods = less confusing formalism. ----- How is a continuous deformation of a surface defined? If M_g is your initial surface, will the resulting 3-manifold always be topologically M_g x [0,1] ? My previous post was exclusively about topology, and not at all about geometry. —Dan

1 0

Re: [math-fun] More than you wanted to know about homology and cohomology
by Dan Asimov 22 Oct '20

22 Oct '20

Allan Wechsler wrote: ----- I have been trying to wrap my head around this corner of mathematics for my entire adult life, so I will be re-reading this post carefully in hopes of getting some insight. Unless I missed something, you don't actually define the homology and cohomology groups, do you? You are more saying, "These things exist, but I don't want to get into the details," right? (I think I could reconstruct the definition of the j-th homology group of a simplicial complex, but I'm quite sure I never knew the corresponding definition of the cohomology groups.) ----- I didn't want to get into the details *yet* until later. First I wanted to give a general overview. ----- If I remember correctly, two simplicial complexes that are isomorphic as topological spaces will always have identical homology and cohomology, so for a space X that can be represented as a simplicial complex, it makes sense to talk about the homology and cohomology of the space. But the reverse is not true -- two non-isomorphic spaces might have identical homology or cohomology. So the theory sometimes lets us prove that two spaces are different, but it can only suggest when they might be the same. ----- Yes, topologically equivalent spaces have isomorphic homology, and isomorphic cohomology rings, but having isomorphic homology and/or cohomology doesn't necessarily imply topological equivalence. It's easy to come up with examples of that, because two topological spaces that are merely "homotopy equivalent" always have the same homology and cohomology. Spaces X and Y are called homotopy equivalent when there are maps f : X —> Y and g : Y —> X such that the compositions g o f : X —> X and f o g : Y —> Y are each homotopic to the respective identity maps 1_X and 1_Y. For nice spaces like simplicial complexes, this just amounts to a series of continuous deformations willy nilly: X —> X_1 <— X_2 —> X_3 <— X_4 ... Y that ultimately turn X into Y. (For instance, a disk with a smaller disk removed from its interior is homotopy equivalent to a circle with three hairs sticking out from it.) ----- When you speak of complex surfaces, you mean specifically 2-dimensional spaces, right? Because I recall that the taxonomy for higher-dimensional surfaces is more ... fraught. ----- I don't believe I used the term "complex surfaces". But yes, the higher-dimensional generalization of a surface is an n-manifold: Where a small piece of a surface look like a small piece of the plane, a small piece of an n-manifold looks like a small piece of R^n. So a surface is a 2-dimensional manifold, or 2-manifold for short. —Dan

2 1

[math-fun] Z^2 scale/rotate/translate puzzle
by Tom Karzes 21 Oct '20

21 Oct '20

Here's a puzzle some of you might like: You have a finite set of points in Z^2, so they all have integer coordinates. Taken together, the set of points defines an object. The problem is to find a scale/rotation/translation (with no reflection) that maps those points into Z^2, minimizing the size of the object (i.e. minimizing the distances between pairs of points). Example: Suppose you have the following five points: (-3, 6) (-4, -7) (6, 3) (1, 8) (2, 1) These can be scaled/rotated/translated to: (0, 1) (-4, 0) (0, -2) (1, 0) (-1, -1) This scales the original object by 1/sqrt(10), leaving it in its smallest possible form while preserving its shape. Ignoring translation, any optimal solution may be rotated by multiples of 90 degrees to obtain three additional optimal solutions, for a total of four. This may be a well-known problem, but it was unknown to me. My first thought was to do some sort of exhaustive search, but I ended up finding a much better solution. Any thoughts? Tom

2 3

[math-fun] More than you wanted to know about homology and cohomology
by Dan Asimov 21 Oct '20

21 Oct '20

An "n-simplex" for a nonnegative integer n is a generalized triangle: A 0-simplex is a point, a 1-simplex is a closed interval, a 2-simplex is a (filled) triangle, and in general an n-simplex is the convex hull of the n+1 standard basis vectors of (n+1)-dimensional Euclidean space R^(n+1). These n+1 standard basis vectors are the "vertices" of the n-simplex. A k-dimensional face F of an n-simplex S is the k-simplex defined as the convex hull of any k+1 vertices of S. Using any finite collection of n-simplices for various n, most reasonably nice topological spaces can be constructed. A finite "simplicial complex" is just the finite union any collection of n-simplices for various n, under the condition that any two of them intersect in a common k-dimensional face of both of them. Suppose X is a topological space constructed as a finite simplicial complex. Basic invariants of X are its homology groups, one group H_j(X) for each nonnegative integer j up through the dimension of the highest dimensional simplex of X. Each of these groups will turn out to be a finitely generated abelian group. That is, H_j(X) = Z^n + Z_n_1 + ... + Z_n_r where the nonnegative integers n, n_1, ..., n_r (and r) depend on X and j (and we can assume n_1 | n_2 | ... n_r). These groups H_j(X) document the number and type of "holes" that the topological space X has in dimension h. The jth *cohomology* groups H^j(X) have an added feature: if x ∊ H^j(X) and y ∊ H^k(X), these cohomology classes *multiply together* to give a (j+k)-dimensional cohomology class xy ∊ H^(j+k)(X) and this multiplication distributes over the addition in the individual groups. So the cohomology groups all together form a graded ring. Any two very different simplicial complexes may happen to be topologically equivalent, and when they are, their cohomology rings will be isomorphic as graded rings. Particularly interesting topological spaces are the compact surfaces: The orientable ones are the sphere, the torus, and the surface of genus g for any g ≥ 2 (the surface of a button with g holes in it). The non-orientable ones are the projective plane, the Klein bottle, and the "non-orientable surface of genus g", which is the connected sum of g projective planes. Each surface has its own distinct cohomology ring. Any surface could also have a finite number h of holes punched in it, so it ends up with a boundary consisting of h simple closed curves. These surfaces with boundary will also each have their own cohomology rings. It would be interesting to have a table somewhere of all the cohomology rings of all such surfaces. ... And then one can take cartesian products of various of these surfaces and compute their cohomology rings as well ... —Dan

2 1

Re: [math-fun] Z^2 scale/rotate/translate puzzle
by Dan Asimov 21 Oct '20

21 Oct '20

Tom Karzes wrote: ----- I really just want a single shrunken version of the object. Adding reflection is trivial (just negate x or y), so there's no need to throw reflected solutions into the mix. Once a reference solution is found, the solution set can be quadrupled by rotating by multiples of 90 degrees, and doubled by adding reflection if desired, so there's no reason to use a reflected solution as the reference solution. ----- The solution set can indeed be multiplied by four via 90º rotations ... or multiplied by infinity via adding an arbitrary integer vector. By the way, this is a very interesting problem (which I haven't tried to solve yet)! Tom's question also suggests the corresponding problem for the triangular lattice Z[w] = {P(w) | P(x) is an integer polynomial}. where w = exp(2πi/3). —Dan

1 0

Re: [math-fun] Torus tiling puzzle
by Dan Asimov 20 Oct '20

20 Oct '20

I asked this question about a month ago. I found this interesting because the connection graph of such a tiling (since any two tiles share an edge) is the complete graph K(N). I'll post the answer in a couple of days. —Dan ----- It's known that a certain torus T^2 (namely, the hexagonal torus obtained by identifying opposite edges of a regular hexagon) can be tiled by regular hexagons so that each hexagon shares an edge with each other one. Puzzle: For which N ≥ 1 does there exist a tiling of some torus (either the square or hexagonal one) by N regular polygons, any two of which share an edge? -----

1 0

[math-fun] Tom Lehrer puts lyrics and music into public domain
by ed pegg 20 Oct '20

20 Oct '20

https://tomlehrersongs.com/ Meanwhile, Epsilon is getting very large.

1 0

Re: [math-fun] 247 zeptosecond time interval measured
by Dan Asimov 20 Oct '20

20 Oct '20

----- Zepto = 10^-21. A single photon ejected the two electrons from a hydrogen molecule. The time interval between the ejections was 247 zs, more or less depending on the orientation of the molecule. https://news.yahoo.com/zeptosecond-femtosecond-163929049.html ----- I may be impressed when I know an upper bound for the maximum possible error. (It took me 246 zeptoseconds plus around a minute to write this post.) —Dan

5 5