Deprecated; please use a more specific tag.

**1**

vote

**1**answer

165 views

### Orbits of Product Lie Groups Action

Hi to all,
Let $G$ be a Lie group of linear isometries of $\mathbb{R}^n_{\nu}$ ($\mathbb{R}^n_{\nu}$ is the semi-Euclidean space) and $G_1$ ,$G_2$ two Lie subgroups of $G$. Let $G_1 \times G_2$ as ...

**11**

votes

**1**answer

293 views

### Polyominoes with double contact

Here is a problem which arose from an earlier question. I'll change the terminology but not the question: A polyomino is a region with a connected interior made by joining one or more unit squares ...

**1**

vote

**1**answer

290 views

### Frustrating the number of possible common edges between two connected components composed of square Penrose tiles

Imagine I have two bags of square and planar unit square tiles, with Penrose-like "nodules" on their edges s.t. two tiles can only be placed together if their edges are flush (i.e. if the two vertices ...

**23**

votes

**2**answers

781 views

### The kissing number of a square, cube, hypercube?

How many nonoverlapping unit squares can (nonoverlappingly) touch one unit square?
By "nonoverlapping" I mean: not sharing an interior point.
By "touch" I mean: sharing a boundary point.
...

**4**

votes

**1**answer

202 views

### Extreme rays in the cone of (semi)metrics

How many extreme rays are there on the polytopal cone formed by all semimetrics on a set with $n$ elements?
Some background. Given a set $X$ with $n$ elements, the set of all semimetrics
$d:X \times ...

**2**

votes

**1**answer

188 views

### What is the Sequence that Maximizes this Distance?

I have posted this question here without answer. Maybe I can get some light here.
Suppose we are given $n$ segments $l_1,...,l_n$ in $\mathbb{R}^2$ such that $|l_i|=i,\ \forall\ i=1,...,n$, where ...

**14**

votes

**3**answers

619 views

### Smallest square to wrap a cylinder

Suppose you need to gift-wrap a cylinder (e.g., a can of tennis balls, or a large candle)
of height $h$ and radius $r$.
Here wrap is the natural sense of covering the surface area of the cylinder ...

**7**

votes

**0**answers

202 views

### From convex geometry to contact topology

Here is a problem in contact topology that was suggested by Petya's answer to this mathoverflow question of mine.
Let $S^* \mathbb{R}^n$ be the space of cooriented contact elements of $\mathbb{R}^n$. ...

**0**

votes

**1**answer

217 views

### Smooth maps transverse to a foliation

Let $M$ and $N$ be smooth manifolds and let $S$ be a submanifold of $N$ ($\dim S < \dim N$). Let $\mathfrak S$ be a foliation of $S$. We say that a map between $M$ and $N$ is transverse to ...

**2**

votes

**2**answers

227 views

### What is the smallest number of subsets in such a subdivision?

Given any $30$ points in the plane, what is the smallest number of
subsets in a subdivision of the set of $30$ points into subsets such
that all the points in each subset are on the boundary of the ...

**11**

votes

**2**answers

415 views

### A problem on convex geometry

Consider a convex body $K \subset \mathbb{R}^n$ containing the origin in its interior. Although the body is not necessarily symmetric, let us say that two points in its boundary $\partial K$ are ...

**29**

votes

**3**answers

1k views

### “Softness” vs “rigidity” in Geometry

According to common wisdom, there are structures in Geometry that have a more "topological" flavor, others that are more "geometrical", and others that are halfway between. Usually, geometries${}^*$ ...

**8**

votes

**1**answer

389 views

### Polyhedra that combinatorially shadow a sequence

Let $P$ be a polyhedron in $\mathbb{R}^3$.
Say that $P$ combinatorially shadows a sequence of natural numbers $S$ if
there is a continuous rotation of $P$ such that its orthogonal-projection
shadows ...

**1**

vote

**1**answer

263 views

### Why $O(4n,\mathbb{C})$ (orthogonal group) acts transitively on the space of maximal isotropics of $V\bigotimes \mathbb{C}$ ?

We say $L< (V\oplus V^{*})\bigotimes \mathbb{C}$ is isotropic when $< X,Y>=0$ for all $X,Y\in L$
Why $O(4n,\mathbb{C})$ (orthogonal group) acts transitively on the space of maximal ...

**0**

votes

**1**answer

215 views

### Is this bounded?

May be better to ask for help here. Let $v_{1}$, $v_{2}$, $\ldots$, $v_{m}$ be the vertices of a
convex polygon in the plane and $v_{m+1}$ be a vertex in the interior
of the convex polygon. Connect ...

**2**

votes

**2**answers

367 views

### Convex upper bound on a linear-fractional function

I have a function of the form $f(x,y) = \frac{x}{c+y}$ where $c$ is a positive constant, $c \ge x \ge 0$, and $y \ge 0$. I would like to find a convex upper-bound for this function. Is there a ...

**2**

votes

**1**answer

294 views

### Manhattan distance vs. absorption time on an unbounded integer lattice

Imagine I have unbounded $d$-dimensional integer lattice where I take two vertices, $v_a$ and $v_b$, separated by a fixed Manhattan distance $L$, and I release a random walker at $v_a$ and allow for ...

**9**

votes

**3**answers

360 views

### Mutually tangent ellipsoids in 3 space

I recently heard a claim that for any n, it is possible to arrange n ellipsoids in 3 space such that each pair of ellipsoids is kissing. Is this true, and if so, how?
Edit: By kissing, I mean that I ...

**5**

votes

**2**answers

127 views

### Abstract characterization of polygonizations

Consider a polygonization of the plane by convex polygons of a given minimal size that meet edge-to-edge and vertex-to-vertex.
What's the “official” name of such a polygonization?
Such ...

**4**

votes

**3**answers

265 views

### lines through A_n reflection arrangement and permutations

(updated; apologies for way too much room left for interpretation in the original post)
Let $\mathcal{A} =A_{n-1}$ be the $A_{n-1}$ arrangement in $\mathbb{R}^{n}$, i.e. the set of hyperplanes ...

**11**

votes

**2**answers

970 views

### There are two points on the Earth's surface that … ?

At every moment in time, there are two points on the Earth's surface that have the same $\lbrace x, y, z, ... \rbrace$...?
What is the strongest, most impressive statement one can make here? The ...

**2**

votes

**2**answers

559 views

### Has the notion of “space” been reconsidered in 20th century?

The original title, "has the bases of geometry been reconsidered in 20th century" of this question refers to Riemann's paper "On the Hypotheses which lie at the Bases of Geometry"， an English version ...

**1**

vote

**1**answer

312 views

### Leray Spectral Sequence

Let $f:X\to Y$ be a smooth map between paracompact differential manifolds $X$ and $Y$.
Let $U$ be an open and dense subset of $Y$. For any $y\in U$, let $f^{-1}(y)=F$
be a generic fiber that is a ...

**13**

votes

**1**answer

326 views

### The sparsest planar net that captures every unit segment

Let $\cal C = \lbrace C_i \rbrace$ be a collection
of rectifiable curves in the plane with the property that
every unit-length segment meets at least one curve
in at least one point.
Call such a ...

**3**

votes

**1**answer

1k views

### Subtract Rectangle from Polygon

I'm looking for an algorithm that will subtract a rectangle from a simple, concave polygon and return a remainder of polygons. If the rectangle encloses the polygon, the remainder is null. In most ...

**8**

votes

**11**answers

2k views

### Textbook for undergraduate course in geometry

I've been assigned to teach our undergraduate course in geometry next semester. This course originally was intended for future high-school teachers and focused on axiomatic, Euclid-style geometry ...

**8**

votes

**2**answers

1k views

### About MF Atiyah and R Bott's 1983 paper

I am a theoretical physics major student working on string theory. I want to understand the work of MF Atiyah and R Bott, "The Yang-Mills equations over riemann surfaces" . What kinds of mathematical ...

**1**

vote

**1**answer

325 views

### Properties of the minimum circumscribing circle for points sequentially placed within a circle of radius $r$ of previously placed points on a 2D plane

Imagine I perform the following procedure:
[1] At time point $t_1$, I place a single point on a two-dimensional plane at the coordinate $(x, y) = (0, 0)$.
[2] At time point $t_2$, I center a ...

**3**

votes

**1**answer

510 views

### Maximizing the number of lattice points in a circle of radius $r$ placed on a lattice

I have a circle of radius $r$, and I wish to place this circle of a $Z^2$ integer lattice or an $A_2$ hexagonal lattice s.t. I maximize the number of lattice points within or along the contour of the ...

**2**

votes

**2**answers

940 views

### An exact counting solution for the number of points within a circle of radius $r$ centered on a lattice point in a $A_2$ hexagonal lattice

In a previous question: (The Gauss circle problem on a hexagonal lattice) I asked for an analytic approximation for the number of lattice points in or along the contour of a circle centered on a ...

**2**

votes

**2**answers

322 views

### Self-Intersection of closed curves

Supoose I have a closed curve $\gamma$ in the plane such that for any isometry $g$ of $\mathbb{E}^2,$ such that $g(\gamma)\neq \gamma,$ $\gamma$ intersects $g(\gamma)$ in at most two points. It ...

**3**

votes

**1**answer

530 views

### How to efficiently compute the generalized cross product?

It's possible to extend the well known cross product between two vectors in $\mathbb{R}^3$ to $n-1$ vectors in $\mathbb{R}^n$.
Let $\vec{v_1}, \vec{v_2}, \dots, \vec{v}_{n-1} \in \mathbb{R}^n$ and ...

**6**

votes

**1**answer

712 views

### The Gauss circle problem on a hexagonal lattice

Take an infinite hexagonal lattice (or equivalently, an equilateral triangular lattice), with unit spacing between the closest lattice point pairs, and draw a disc of radius $r$ centered on a lattice ...

**4**

votes

**4**answers

1k views

### Proofs for doubly ruled surfaces

Hello,
I am interested in proofs for why the only irreducible doubly ruled surfaces in ${\mathbb R}^3$ are the one sheeted hyperboloid and the hyperbolic paraboloid. While many books and papers state ...

**1**

vote

**1**answer

164 views

### Overlaying two domino-like constructions such that all individual pairs of domino-like cells in the overlay have matching symbols

Imagine I have two $n$ x $m$ assemblies of $P = (n*m)$ unit square cells on the plane, $(c_{(a,1)}, ..., c_{(a,P)}) \in A$ and $(c_{(b,1)}, ..., c_{(b,P)}) \in B$, where every cell, $c_k$, in a ...

**2**

votes

**0**answers

149 views

### Honeycomb-type properties of the Delaunay triangulation and Voronoi diagram

Suppose I'd like to distribute a set of points $P=\lbrace p_1 ,\dots, p_n \rbrace$ in the unit square $S=[0,1]\times[0,1]$ to minimize a weighted sum of two things:
1) The average distance between a ...

**2**

votes

**2**answers

467 views

### Dilogarithm, tetrahedrons, and hyperbolic space

The Bloch-Wigner function $D(z)$, gives the volume of a ideal tetrahedron in hyperbolic space $\mathbb H3$, where z is the cross-ratio (z1,z2,z3,z4) parametrizing the tetrahedron in $\mathbb CP1$.
...

**2**

votes

**2**answers

274 views

### Surface of a Ideal Tetrahedron in Hyperbolic Space H3

The hyperbolic space $\mathbb{H}^3$, has a boundary $\mathbb{CP}^1$.
A ideal tetrahedron in $\mathbb{H}^3$, is a tetrahedron, where the four vertices are on the boundary $\mathbb{CP}^1$.
The four ...

**1**

vote

**1**answer

500 views

### H-representation versus V-representation

The $H$-representation of a convex polytope $S$, is just a set of linear inequalities corresponding to the intersection of halfspaces:
$S = ( x | Ax\leq b )$.
One could also represent a convex ...

**1**

vote

**1**answer

123 views

### Planar eucliean bipartite matching with squared distances

This is probably a really stupid question, but suppose I have two sets of points in the plane $X$ and $Y$ each with cardinality $|X| = |Y| = n$. For any bipartite matching $M$ between $X$ and $Y$, ...

**6**

votes

**3**answers

343 views

### Herringbone partitions of regions and surfaces

Let $R \subset \mathbb{R}^2$ be a region of the plane bounded
by a Jordan curve. The boundary $\partial R$ could be a polygon,
or a smooth curve—there are variations depending upon boundary ...

**8**

votes

**1**answer

622 views

### Approximating a convex function by a piecewise linear function

Suppose I have a Lipschitz-continuous convex function $f:\mathbb{R}^n\rightarrow \mathbb{R}$. I wish to approximate it on the unit ball by a piecewise-linear function $g:\mathbb{R}^n\rightarrow ...

**8**

votes

**2**answers

475 views

### Three half circles on the plane may not meet nicely

Let $H$ denote the union of the northen hemisphere of the unit circle $S^{1}$ with the interval $[-1,1]$ on the $x$-axis. That is, $H=\{(x,\sqrt{1-x^{2}}):-1\le x\le 1\}\cup\{(x,0):-1\le x\le 1\}$
...

**1**

vote

**1**answer

143 views

### Covering a $d$-dimensional integer lattice by repeating a minimal set of deterministic moves

Imagine I place a turtle on some desired vertex, $v_i$, of a bounded $d$-dimensional integer lattice, $Z^d$, with dimensions $(l_1, ..., l_d)$. The turtle is able to travel from vertex to vertex ...

**0**

votes

**0**answers

146 views

### How do Hodge classes for Calabi-Yau 4-folds compare with the classes for tori?

Let $X$ be a Calabi-Yau 4-fold, i.e., a connected 4-dimensional compact Kahler manifold with $K_{X} \cong \mathscr{O}_{X}$ and $h^{i} (X,O_{X} )= 0$ for $0 \lt i \lt 4$.
Given a general ...

**3**

votes

**1**answer

264 views

### Can an ellipsoid be moved freely inside another ellipsoid?

An origin centric ellipsoid is defined by any positive semi-definite $n$ by $n$ matrix $X$, by taking all vectors $v$ such that $v^tXv\leq1$. Call two origin centric ellipsoid equivalent if one can be ...

**7**

votes

**4**answers

608 views

### Surfaces that can be rolled by a ball

Let $S$ be a smooth solid body in $\mathbb{R}^3$,
and $B$ a ball of radius $r$.
Say that $B$ is in contact with $S$ if
(1) they share a point $x$
that is on the surface of each,
$x \in \partial S$ ...

**2**

votes

**2**answers

99 views

### Worst-case nearest-neighbor distances between regions

Suppose that $S_1,\dots,S_n$ is a collection of disjoint shapes in the plane, and let $\mathcal{X}$ denote the set of all $n$-tuples of points $\lbrace x_1,\dots,x_n\rbrace$ such that $x_i\in S_i$ for ...

**6**

votes

**3**answers

517 views

### Cylinders dividing $\mathbb{R}^{3}$

Consider $n$ affine copies of a compact cylinder, say $S^{1}\times [-3,3]$ with top and botom, sitting inside $\mathbb{R}^{3}$.
For each $n$ we may ask ourselves how to arrange the $n$ cylinders so ...

**5**

votes

**0**answers

107 views

### Simultaneous Strong Law of Large Number classes?

Say that $C$ is a SSLLN class of subsets of some topological space $V$ provided that for every sequence of i.i.d.r.v.s $X_1,X_2,...$ with values in $V$, we almost surely have: For every $A$ in $C$, ...