How many cones with angle theta can I pack into the unit sphere?
$begingroup$
Given a unit sphere (radius 1), I would like to know how many cones I can pack into this unit sphere. Restrictions: The top of the cone needs to be in the center of origin. The bottom of the cone needs to form a circle on the unit sphere.
I have found a related question, but with a cube: Packing space by cones: Translates best?
I have also tried to find an upper bound myself by performing the following calculation:
Surface of the projection of the base of the cone on the unit sphere:
$$2 pi r^2(1 + sin(theta) pm cos(theta))$$
Surface of the unit sphere: $4 pi r^2$
Now, a (very high) upper bound would be:
$$frac{2 pi r^2(1 + sin(theta) pm cos(theta))}{4 pi r^2}$$
This however does not take into account the restrictions of the shapes, so the actual number will likely be much lower.
Question 1: What would be a closer upper bound
Question 2: If an example value is easier, what would be a realistic number of cones given $theta = 5^{circ}$
sphere-packing cones
New contributor
$endgroup$
add a comment |
$begingroup$
Given a unit sphere (radius 1), I would like to know how many cones I can pack into this unit sphere. Restrictions: The top of the cone needs to be in the center of origin. The bottom of the cone needs to form a circle on the unit sphere.
I have found a related question, but with a cube: Packing space by cones: Translates best?
I have also tried to find an upper bound myself by performing the following calculation:
Surface of the projection of the base of the cone on the unit sphere:
$$2 pi r^2(1 + sin(theta) pm cos(theta))$$
Surface of the unit sphere: $4 pi r^2$
Now, a (very high) upper bound would be:
$$frac{2 pi r^2(1 + sin(theta) pm cos(theta))}{4 pi r^2}$$
This however does not take into account the restrictions of the shapes, so the actual number will likely be much lower.
Question 1: What would be a closer upper bound
Question 2: If an example value is easier, what would be a realistic number of cones given $theta = 5^{circ}$
sphere-packing cones
New contributor
$endgroup$
$begingroup$
If $theta$ becomes small, the curvature of the sphere becomes less important. So asymptotically for $thetarightarrow 0$ you get your upper bound multiplied by the sphere packing constant. However, I don't understand your formula for the area of the base, neither typographically nor mathematically. It does not seem to scale with $theta^2$ for small $theta$ as it should.
$endgroup$
– Jan-Christoph Schlage-Puchta
Apr 12 at 8:51
$begingroup$
Seems to me that $theta$ should be listed in the restrictions. You shouldn't rely on the title of the question for relaying crucial parts of the questions.
$endgroup$
– Acccumulation
Apr 12 at 17:44
add a comment |
$begingroup$
Given a unit sphere (radius 1), I would like to know how many cones I can pack into this unit sphere. Restrictions: The top of the cone needs to be in the center of origin. The bottom of the cone needs to form a circle on the unit sphere.
I have found a related question, but with a cube: Packing space by cones: Translates best?
I have also tried to find an upper bound myself by performing the following calculation:
Surface of the projection of the base of the cone on the unit sphere:
$$2 pi r^2(1 + sin(theta) pm cos(theta))$$
Surface of the unit sphere: $4 pi r^2$
Now, a (very high) upper bound would be:
$$frac{2 pi r^2(1 + sin(theta) pm cos(theta))}{4 pi r^2}$$
This however does not take into account the restrictions of the shapes, so the actual number will likely be much lower.
Question 1: What would be a closer upper bound
Question 2: If an example value is easier, what would be a realistic number of cones given $theta = 5^{circ}$
sphere-packing cones
New contributor
$endgroup$
Given a unit sphere (radius 1), I would like to know how many cones I can pack into this unit sphere. Restrictions: The top of the cone needs to be in the center of origin. The bottom of the cone needs to form a circle on the unit sphere.
I have found a related question, but with a cube: Packing space by cones: Translates best?
I have also tried to find an upper bound myself by performing the following calculation:
Surface of the projection of the base of the cone on the unit sphere:
$$2 pi r^2(1 + sin(theta) pm cos(theta))$$
Surface of the unit sphere: $4 pi r^2$
Now, a (very high) upper bound would be:
$$frac{2 pi r^2(1 + sin(theta) pm cos(theta))}{4 pi r^2}$$
This however does not take into account the restrictions of the shapes, so the actual number will likely be much lower.
Question 1: What would be a closer upper bound
Question 2: If an example value is easier, what would be a realistic number of cones given $theta = 5^{circ}$
sphere-packing cones
sphere-packing cones
New contributor
New contributor
edited Apr 12 at 8:51
J.J. Green
1,54211219
1,54211219
New contributor
asked Apr 12 at 8:29
Thomas HubregtsenThomas Hubregtsen
412
412
New contributor
New contributor
$begingroup$
If $theta$ becomes small, the curvature of the sphere becomes less important. So asymptotically for $thetarightarrow 0$ you get your upper bound multiplied by the sphere packing constant. However, I don't understand your formula for the area of the base, neither typographically nor mathematically. It does not seem to scale with $theta^2$ for small $theta$ as it should.
$endgroup$
– Jan-Christoph Schlage-Puchta
Apr 12 at 8:51
$begingroup$
Seems to me that $theta$ should be listed in the restrictions. You shouldn't rely on the title of the question for relaying crucial parts of the questions.
$endgroup$
– Acccumulation
Apr 12 at 17:44
add a comment |
$begingroup$
If $theta$ becomes small, the curvature of the sphere becomes less important. So asymptotically for $thetarightarrow 0$ you get your upper bound multiplied by the sphere packing constant. However, I don't understand your formula for the area of the base, neither typographically nor mathematically. It does not seem to scale with $theta^2$ for small $theta$ as it should.
$endgroup$
– Jan-Christoph Schlage-Puchta
Apr 12 at 8:51
$begingroup$
Seems to me that $theta$ should be listed in the restrictions. You shouldn't rely on the title of the question for relaying crucial parts of the questions.
$endgroup$
– Acccumulation
Apr 12 at 17:44
$begingroup$
If $theta$ becomes small, the curvature of the sphere becomes less important. So asymptotically for $thetarightarrow 0$ you get your upper bound multiplied by the sphere packing constant. However, I don't understand your formula for the area of the base, neither typographically nor mathematically. It does not seem to scale with $theta^2$ for small $theta$ as it should.
$endgroup$
– Jan-Christoph Schlage-Puchta
Apr 12 at 8:51
$begingroup$
If $theta$ becomes small, the curvature of the sphere becomes less important. So asymptotically for $thetarightarrow 0$ you get your upper bound multiplied by the sphere packing constant. However, I don't understand your formula for the area of the base, neither typographically nor mathematically. It does not seem to scale with $theta^2$ for small $theta$ as it should.
$endgroup$
– Jan-Christoph Schlage-Puchta
Apr 12 at 8:51
$begingroup$
Seems to me that $theta$ should be listed in the restrictions. You shouldn't rely on the title of the question for relaying crucial parts of the questions.
$endgroup$
– Acccumulation
Apr 12 at 17:44
$begingroup$
Seems to me that $theta$ should be listed in the restrictions. You shouldn't rely on the title of the question for relaying crucial parts of the questions.
$endgroup$
– Acccumulation
Apr 12 at 17:44
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
This is the problem of finding spherical codes. Putatively optimal solutions can be found at Neil Sloane's website.
For an upper bound, there's $dleqsqrt{4-csc^2[frac{πn}{6(n-2)}]}$, where $d$ is the 3d distance between some two points.
$endgroup$
add a comment |
$begingroup$
A good reference for volumetric arguments for the maximum number of 'cones' or spherical 'caps' that one can fit, is a series of papers by Jon Hamkins. The density of a packing of these caps can be at most $frac{pi}{2sqrt{3}}$, (this being known as the Fejes Tóth bound) and in the minimal distance between centers of a packing, $d$, the density is bounded above by $frac{pi}{2sqrt{3}}-O(d^2)$.
This follows from a bound on the maximum size of a code on the sphere with pairwise distances at least $d$,
$$M(3,d)leq 2left(1-frac{pi}{6cot^{-1}sqrt{3-d^2}}right)^{-1}$$
taken from chapter three of Hamkin's thesis here (being another form of Tóth's bound).
For specific parameters, the problem can be pretty intricate. One of the best references has already been mentioned in Bullet's answer and is Sloane's webpage. Codes on Euclidean Spheres, by Ericson and Zinoviev is worth checking out as well as a reference on these specific packings (and is slightly outdated), along with Sphere Packings, Lattices and Groups by Conway and Sloane.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Thomas Hubregtsen is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f327852%2fhow-many-cones-with-angle-theta-can-i-pack-into-the-unit-sphere%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
This is the problem of finding spherical codes. Putatively optimal solutions can be found at Neil Sloane's website.
For an upper bound, there's $dleqsqrt{4-csc^2[frac{πn}{6(n-2)}]}$, where $d$ is the 3d distance between some two points.
$endgroup$
add a comment |
$begingroup$
This is the problem of finding spherical codes. Putatively optimal solutions can be found at Neil Sloane's website.
For an upper bound, there's $dleqsqrt{4-csc^2[frac{πn}{6(n-2)}]}$, where $d$ is the 3d distance between some two points.
$endgroup$
add a comment |
$begingroup$
This is the problem of finding spherical codes. Putatively optimal solutions can be found at Neil Sloane's website.
For an upper bound, there's $dleqsqrt{4-csc^2[frac{πn}{6(n-2)}]}$, where $d$ is the 3d distance between some two points.
$endgroup$
This is the problem of finding spherical codes. Putatively optimal solutions can be found at Neil Sloane's website.
For an upper bound, there's $dleqsqrt{4-csc^2[frac{πn}{6(n-2)}]}$, where $d$ is the 3d distance between some two points.
answered Apr 12 at 8:54
Bullet51Bullet51
1,548317
1,548317
add a comment |
add a comment |
$begingroup$
A good reference for volumetric arguments for the maximum number of 'cones' or spherical 'caps' that one can fit, is a series of papers by Jon Hamkins. The density of a packing of these caps can be at most $frac{pi}{2sqrt{3}}$, (this being known as the Fejes Tóth bound) and in the minimal distance between centers of a packing, $d$, the density is bounded above by $frac{pi}{2sqrt{3}}-O(d^2)$.
This follows from a bound on the maximum size of a code on the sphere with pairwise distances at least $d$,
$$M(3,d)leq 2left(1-frac{pi}{6cot^{-1}sqrt{3-d^2}}right)^{-1}$$
taken from chapter three of Hamkin's thesis here (being another form of Tóth's bound).
For specific parameters, the problem can be pretty intricate. One of the best references has already been mentioned in Bullet's answer and is Sloane's webpage. Codes on Euclidean Spheres, by Ericson and Zinoviev is worth checking out as well as a reference on these specific packings (and is slightly outdated), along with Sphere Packings, Lattices and Groups by Conway and Sloane.
$endgroup$
add a comment |
$begingroup$
A good reference for volumetric arguments for the maximum number of 'cones' or spherical 'caps' that one can fit, is a series of papers by Jon Hamkins. The density of a packing of these caps can be at most $frac{pi}{2sqrt{3}}$, (this being known as the Fejes Tóth bound) and in the minimal distance between centers of a packing, $d$, the density is bounded above by $frac{pi}{2sqrt{3}}-O(d^2)$.
This follows from a bound on the maximum size of a code on the sphere with pairwise distances at least $d$,
$$M(3,d)leq 2left(1-frac{pi}{6cot^{-1}sqrt{3-d^2}}right)^{-1}$$
taken from chapter three of Hamkin's thesis here (being another form of Tóth's bound).
For specific parameters, the problem can be pretty intricate. One of the best references has already been mentioned in Bullet's answer and is Sloane's webpage. Codes on Euclidean Spheres, by Ericson and Zinoviev is worth checking out as well as a reference on these specific packings (and is slightly outdated), along with Sphere Packings, Lattices and Groups by Conway and Sloane.
$endgroup$
add a comment |
$begingroup$
A good reference for volumetric arguments for the maximum number of 'cones' or spherical 'caps' that one can fit, is a series of papers by Jon Hamkins. The density of a packing of these caps can be at most $frac{pi}{2sqrt{3}}$, (this being known as the Fejes Tóth bound) and in the minimal distance between centers of a packing, $d$, the density is bounded above by $frac{pi}{2sqrt{3}}-O(d^2)$.
This follows from a bound on the maximum size of a code on the sphere with pairwise distances at least $d$,
$$M(3,d)leq 2left(1-frac{pi}{6cot^{-1}sqrt{3-d^2}}right)^{-1}$$
taken from chapter three of Hamkin's thesis here (being another form of Tóth's bound).
For specific parameters, the problem can be pretty intricate. One of the best references has already been mentioned in Bullet's answer and is Sloane's webpage. Codes on Euclidean Spheres, by Ericson and Zinoviev is worth checking out as well as a reference on these specific packings (and is slightly outdated), along with Sphere Packings, Lattices and Groups by Conway and Sloane.
$endgroup$
A good reference for volumetric arguments for the maximum number of 'cones' or spherical 'caps' that one can fit, is a series of papers by Jon Hamkins. The density of a packing of these caps can be at most $frac{pi}{2sqrt{3}}$, (this being known as the Fejes Tóth bound) and in the minimal distance between centers of a packing, $d$, the density is bounded above by $frac{pi}{2sqrt{3}}-O(d^2)$.
This follows from a bound on the maximum size of a code on the sphere with pairwise distances at least $d$,
$$M(3,d)leq 2left(1-frac{pi}{6cot^{-1}sqrt{3-d^2}}right)^{-1}$$
taken from chapter three of Hamkin's thesis here (being another form of Tóth's bound).
For specific parameters, the problem can be pretty intricate. One of the best references has already been mentioned in Bullet's answer and is Sloane's webpage. Codes on Euclidean Spheres, by Ericson and Zinoviev is worth checking out as well as a reference on these specific packings (and is slightly outdated), along with Sphere Packings, Lattices and Groups by Conway and Sloane.
edited Apr 12 at 10:04
answered Apr 12 at 9:34
Josiah ParkJosiah Park
1,536523
1,536523
add a comment |
add a comment |
Thomas Hubregtsen is a new contributor. Be nice, and check out our Code of Conduct.
Thomas Hubregtsen is a new contributor. Be nice, and check out our Code of Conduct.
Thomas Hubregtsen is a new contributor. Be nice, and check out our Code of Conduct.
Thomas Hubregtsen is a new contributor. Be nice, and check out our Code of Conduct.
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f327852%2fhow-many-cones-with-angle-theta-can-i-pack-into-the-unit-sphere%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
If $theta$ becomes small, the curvature of the sphere becomes less important. So asymptotically for $thetarightarrow 0$ you get your upper bound multiplied by the sphere packing constant. However, I don't understand your formula for the area of the base, neither typographically nor mathematically. It does not seem to scale with $theta^2$ for small $theta$ as it should.
$endgroup$
– Jan-Christoph Schlage-Puchta
Apr 12 at 8:51
$begingroup$
Seems to me that $theta$ should be listed in the restrictions. You shouldn't rely on the title of the question for relaying crucial parts of the questions.
$endgroup$
– Acccumulation
Apr 12 at 17:44