Deprecated; please do NOT use this tag, use a more specific tag.

learn more… | top users | synonyms

6
votes
1answer
136 views

Minimum separation among $m$ random points on an $n$-dimensional unit sphere

Consider $m$ points $v_1, \ldots, v_m \in R^{n}$, which are uniformly distributed on the $n$-dimensional unit sphere $S^{n-1} = \{v:\|v\|_2 = 1\}$. Let the minimum separation be $$ \rho = \min_{i,j\in{...
5
votes
0answers
134 views

An inequality in cyclic polygon and tangential polygon

I proposed my conjecture, it is strengthened version of the Erdős–Mordell inequality as following: Let $A_1A_2.....A_n$ be a cyclic polygon and $B_1B_2....B_n$ be the its tangential polygon. Let P be ...
4
votes
1answer
227 views

A generalization of Erdős–Mordell inequality [on hold]

I proposed my conjecture generalization of Erdős–Mordell inequality as following: Let $A_1A_2....A_n$ be a polygon in a plane, $P$ be the point in $A_1A_2....A_n$. Let $d_i$ be the distances from $P$ ...
1
vote
1answer
71 views

A generalization of the Tucker circle theorem and the Thomsen theorem associated with a conic

I gave a generalization of the Tucker circle theorem and the Thomsen theorem at here. Now, I give a more generalization of these theorems as following: Problem: Let $A_1A_2A_3A_4A_5A_6$ be a hexagon, ...
1
vote
0answers
72 views

Three homothetic centers are collinear

I am looking a proof for the problem as follows: Let a hexagon, such that its principal diagonals are concurrent. For each side of the hexagon, extend the adjacent sides to their intersection, ...
0
votes
1answer
73 views

Parametrization of polygons and polyhedra [closed]

So, I've got a pretty interesting problem: I was wondering how one would go about trying to generate every n-gon, or at least parametrize the space of a specific n-gon (say a hexagon) so it's easily ...
2
votes
0answers
90 views

An elementary question about metrics on the real plane [closed]

Given the metric $d_p$ on the real plane, i.e. $$ d_p(x,y) = d_p((x_1, y_1), (x_2, y_2)) = [|x_1 - x_2|^p+ |y_1 - y_2|^p]^{1/p} $$ for which values of $p$ ($\geq 1$) is it true that the following ...
1
vote
2answers
84 views

Descartes' theorem and Circle Packing [closed]

There's something I am missing comparing Descartes' theorem for three isometric circles here and this wiki post on circle packing of 3 circles here. From my calculation: $$ r_{ext} = \frac{r_{int}}{{...
5
votes
1answer
216 views

How many convex shapes can be made with the pieces of the Stomachion?

Tangrams are a well-known dissection of the square into seven convex polygons. One fun mathematical question is: how many convex rearrangements of the seven pieces are there? Answer: there are 12 ...
-1
votes
1answer
54 views

When is the orbit space of a manifold still a manifold of the same dimension?

$\mathbf{Question}$. Let us assume that $M^n$ is a topological manifold of dimension n, with a group action $\Gamma$, which acts discontinuously and freely on $M^n$. Is the orbit space $M^n / \Gamma$ ...
1
vote
0answers
166 views

A chain of six circles associated with six points on a circle (in Mobius plane) [closed]

I found a conjecture: A chain of six circles associated with six points on a circle (in Mobius plane). This is a generalization of the last my previous question in Three chains of six circles. (...
3
votes
0answers
176 views

A conjecture on six planes [closed]

When I read Cox's Theorem, and Clifford's Circle Theorem and Miquel six circles theorem, I found the conjecture as folowing. And I checked the conjecture by the Geogebra sofware, the conjecture is ...
3
votes
0answers
142 views

Conjecture generalization of Feuerbach theorem and somes another theorems

My question: I am looking for a solution of a conjecture generalization of the Feuerbach theorem in the end of the topic. But I think, I should let you know why I found this conjecture. I thank to You ...
2
votes
1answer
208 views

Relation of some Euclidean geometry theorems and more conjecture generalizations

In this topic I want to share relation of the Pythagorean theorem, the Stewart theorem and the British Flag theorem, the Apollonius' theorem and the Feuerbach-Luchterhand. Since that I posed two ...
10
votes
0answers
788 views

Dao's theorem on six circumcenters associated with a cyclic hexagon

This questions from Ngo Quang Duong's paper In 2013, O. T. Dao published without proof a theorem with title Another seven circles theorem in Cut the Knot, a free site for popular expositionsof many ...
4
votes
1answer
265 views

Sixteen points circle - A conjecture on Möbius plane

The conjecture refer the reader about the Bundle's theorem configuration. (This conjecture from a note) Consider the Bundle theorem configuration : Points $A_1, A_2, A_3, A_4$ lie on a circle, ...
3
votes
0answers
90 views

Isometric embedding for manifolds with conical singularities?

Motivation: In the 2+1 dimensional gravity theory, solutions of Einstein equation are locally with constant curvature except at the locus of sources. In this paper the authors investigate solutions ...
3
votes
1answer
95 views

The volume of a region arising from planar linkages

Let $x_0,\dots,x_n$ be a collection of variable points in $\mathbb{R}^2$ and let $c>0$ be a fixed constant. Is there any way I could compute an upper bound of the volume of the region in $\mathbb{...
10
votes
1answer
231 views

Optimization of points on a plane

Suppose we have $n$ points on a plane. Let $D$ be the sum of the squares of all the pairwise distances between the points. Let $A$ be the area of the convex hull. What is the minimum possible value of ...
3
votes
0answers
63 views

Equidistribution of Brillouin zones

Answering the question about Limiting shape for Brillouin zones Victor Kleptsyn proved that $N$th Brillouin zone is very close to a circle of radius $c\sqrt N$ (you can find all necessary definitions ...
12
votes
1answer
363 views

Limiting shape for Brillouin zones

Is it true that the limiting shape for Brillouin zones (for any lattice) is a circle? You can find the definition and the step by step construction of Brillouin zones here. This picture is taken from ...
1
vote
0answers
71 views

Existence of polytope

Does there exist a polytope in dimensional d consisting of $k>d+1$ faces satisfying that every d faces intersect? I tried 3 dimensional cases, and it seems negative. But is it all negative for any ...
2
votes
0answers
75 views

good choice of extension of equivariant map

Let $K$ be a compact Lie group. Let $C_K$ denote the category whose objects are the compact lie groups containing $K$ and whose morphisms are inclusion of the groups. Let $Y$ be a $K-$space such that $...
-2
votes
2answers
143 views

Maximal-Orthogonal Convex Hull (or Maximal-Rectilinear Convex Hull) [closed]

Edit : Consider giving a reason for down vote. In my research, I have come across a this paper from the Computational Geometry field and I am not able to understand the concept of Maximal-...
6
votes
1answer
270 views

Lattice points on the boundary of an ellipse

How many points of the integer lattice ${\mathbb Z}^2$ can an axis-parallel ellipse of radius $r$ contain on its boundary? (that is, we consider ${\mathbb Z}^2$ as lying in ${\mathbb R}^2$). ...
4
votes
1answer
166 views

A conjecture for a curve cuts a curve - variant Cayley-Bacharach's theorem

I propose a conjecture variant of Cayley-Bacharach's theorem. I'm an electrical engineer, I am not a mathematician. I don't know how to prove this result. Could you give a solution or let me know ...
1
vote
0answers
41 views

Thomsen Blaschke condition

I am reading a paper (Paper 1: https://ideas.repec.org/p/cwl/cwldpp/76.html, that cites another paper ( Paper 2) for its proof. Paper 1, page 1, line 10 says : Consider the topological image G of a 2-...
4
votes
1answer
395 views

Holomorphic coordinates on a Kähler manifold

Let $(X,J,\omega)$ be a Kähler manifold. Let $\dim_{\mathbb{R}}(X)=2n$ and we also know that $X$ splits as $X=M\times \mathbb{R}$, where $\dim_{\mathbb{M}}=2n-1$. My question is now: does there exists ...
4
votes
0answers
296 views

Averaging lengths and distances

A natural way in which Finsler metrics appear in Riemannian geometry is as averages of Riemannian metrics (e.g., the average of the arc-length elements $\sqrt{dx^2 + dy^2}$ and $\sqrt{2dx^2 + 3dy^2}$ ...
3
votes
1answer
253 views

cover and hide with squares

I am studying two numbers, related to squares, that can characterize a polygon P: MinCoverNumber = the minimum number of axis-aligned squares required to exactly cover P (the covering squares may ...
2
votes
0answers
115 views

Reachability in dynamic random graphs

There has been some advice on how to ask questions. So I reask my question.I have a problem related to graph theory, random graphs or random geometric graphs in special that really confuses me. ...
5
votes
1answer
200 views

Matching on sphere to create cycle with chords

Imagine a number of chords of a sphere $S$ which nearly, but not quite, pass through the center of $S$, in such a way that no pair of chords intersect:       I would like ...
0
votes
0answers
128 views

Area on the unit sphere swept out by big circles corresponding to a curve

For a point on the unit sphere, we know the plane perpendicular to the line through the origin and the point cuts the sphere with a big circle. When the point moves along a sphere curve, the ...
3
votes
1answer
139 views

Existence of Simple Closed Straightest Geodesics

There are at least three distinct simple closed quasigeodesics on convex polyhedra [Mat. Sb. (N.S.), 1949, 25(67) :2, 275–306 Quasi-geodesic lines on a convex surface Pogorelov]. Is the same true ...
1
vote
1answer
157 views

Helly's number from biconvex functions

Helly's Theorem states the following. Suppose $X_1,X_2,...,X_N$ are convex sets in $\mathbb{R}^d$, such that for any index-set $I$ with $|I| \leq h(d) := d+1$, we have $\bigcap_{i \in I} X_i \neq \...
4
votes
1answer
196 views

Zoll Flat Finsler tori and convex bodies on a starry night

The starry night. The "celestial sphere" is given by set of non-zero vectors in $\mathbb{R}^n$ modulo positive dilations (i.e., $v \equiv w$ if $v = \lambda w$ for some $ \lambda > 0$) and the "...
7
votes
0answers
366 views

Rectangology and squareology

I thought that rectangles were simple, and squares even simpler. Until my research has led me to several questions about rectangles and squares, which I can't solve. I started by posting this ...
2
votes
1answer
148 views

Helly's Theorem for Biconvex Sets

Helly's Theorem states the following. Suppose that $X_1,X_2,...,X_N$ are convex sets in $\mathbb{R}^d$, such that for any index-set $I$ with $|I| \leq h(d) := d+1$, we have $\bigcap_{i \in I} X_i \neq ...
4
votes
1answer
351 views

Biggest ball included in an intersection of balls

I would like to prove that for any family of balls $\{B(c_i,r_i)\}_i \subset \mathbb{R}^d$ such that $\{c_1, \dots, c_n\} \subset \bigcap_i B(c_i,r_i) $ and $\forall i, r_i \geq 1$, there exists a ...
10
votes
1answer
328 views

Needle probing for a convex body

Suppose there is an unknown closed convex body $K$ of volume vol$(K) = V$ inside the unit cube $[-\frac{1}{2}, \frac{1}{2}]^d$ in $\mathbb{R}^d$. You are permitted to probe with a (one-dimensional) ...
2
votes
2answers
144 views

A notion of a 'coarse', parametrized dimension of an object, where the parameter determines how finely we can distinguish (say) a very thin rod from a line

I apologize for the clumsy wording of the title-- what I'm looking for is a notion of an integer-valued dimension $d_{\epsilon}$, which we parametrize by a real positive number $\epsilon$, of, say, a ...
15
votes
2answers
519 views

Integer lattice points on a hypersphere

Is the following statement true? For every integer $n\ge2$ and every integer $k\ge0$ there exists a hypersphere in $\mathbb{R}^n$ (circle, sphere etc) containing exactly $k$ integer lattice ...
5
votes
1answer
268 views

Reference request: affine transforms + circle inversion?

This problem cropped up in the context of scale-insensitive methods for generating random variables. Let $X=R^n \cup \{\infty\}$. Suppose we consider a set of transforms $\cal{T}$ from $X\rightarrow ...
1
vote
1answer
116 views

General and translational Birkhoff lattices. Equational classes.

By  lattice  I'll mean  Birkhoff lattice. The two classical equational classes of lattices are modular lattices and distributive lattices. The old problem used to be: Is there an ...
3
votes
1answer
242 views

Sums of uniformly random vectors from the $n$-dimensional unit ball

I'm interested in some instances of the following problem. Let $n \geq 2$, and suppose we draw $k \geq 2$ vectors $v_1, \dots, v_k$ uniformly at random from the $n$-dimensional ball of radius $1$, ...
4
votes
0answers
388 views

The probability distribution for the number of pairwise distances $\leq$ some threshold for points uniformly placed in a sphere

If I place place $N$ particles in a sphere of radius $R$, selecting positions across the sphere's volume with uniform probability, what is the exact probability distribution for the number of pairwise ...
1
vote
1answer
80 views

Inferring the properties of a visibility blocker tangential to a point-like light source

Imagine there's a point-like particle undergoing radioactive decay at some position $(0,0,0)$ in Euclidean $3$-space. We encapsulate this particle with a spherical detector for the decay products it ...
1
vote
0answers
108 views

Boundary surfaces in a 3d Voronoi tessellation with obstacles

Let $x_1,\dots,x_n$ be a set of points in $\mathbb{R}^3$ and let $\mathcal{O}_1 ,\dots, \mathcal{O}_m$ denote a set of polyhedral obstacles. What is the name for the surfaces that describe the ...
0
votes
0answers
173 views

Optimal paintbrush geodesics

Let $S$ be a smooth, closed surface in $\mathbb{R}^3$, and $\gamma$ a geodesic segment on $S$, i.e., a finite-length piece of a geodesic. Define $\gamma(w)$ as all the points of $S$ within a distance $...
3
votes
2answers
277 views

Constructing a special infinite-dimensional vector bundle

Let $M$ and $N$ be finite dimensional smooth manifolds and $p: E \rightarrow N$ a finite rank vector bundle. $M$ can be assumed to be compact if necessary but I would prefer to work without this ...