Number of circles with equal radius around a point
$begingroup$
Let $x_0$ be a point on the plane and $2^K$ be a large number. Given a family $mathcal C$ of circles with equal radius $R$ satisfying the following property:
- The distance $d_c$ of the centre of each circle $c$ to $x_0$ has $2^K R<d_c<2^{K+1}R$.
- The circles have bounded overlap, that is, there is an absoulute constant $M$ such that for all $x$
$$
sum_{cin mathcal C}1_{c}(x)leq M.
$$
Then what can we say about the cardinality of $mathcal C$, in terms of $K$?
Maybe it is easier to think of the case $M=1$ first. I came across this question when I am reading A study guide for the l 2 decoupling theorem by Bourgain and Demeter. It is one step for an inequality which they say it is easy to verify, but I found it looks like much deeper.
geometry euclidean-geometry circles harmonic-analysis
$endgroup$
add a comment |
$begingroup$
Let $x_0$ be a point on the plane and $2^K$ be a large number. Given a family $mathcal C$ of circles with equal radius $R$ satisfying the following property:
- The distance $d_c$ of the centre of each circle $c$ to $x_0$ has $2^K R<d_c<2^{K+1}R$.
- The circles have bounded overlap, that is, there is an absoulute constant $M$ such that for all $x$
$$
sum_{cin mathcal C}1_{c}(x)leq M.
$$
Then what can we say about the cardinality of $mathcal C$, in terms of $K$?
Maybe it is easier to think of the case $M=1$ first. I came across this question when I am reading A study guide for the l 2 decoupling theorem by Bourgain and Demeter. It is one step for an inequality which they say it is easy to verify, but I found it looks like much deeper.
geometry euclidean-geometry circles harmonic-analysis
$endgroup$
1
$begingroup$
By the bounded overlap property, have I understood correctly that you mean that each point is contained in at most $M$ circles?
$endgroup$
– Servaes
Jan 27 at 21:51
$begingroup$
And what exactly do they say is easy to verify? Do you have an explicit upper bound that you are looking to verify?
$endgroup$
– Servaes
Jan 27 at 22:02
add a comment |
$begingroup$
Let $x_0$ be a point on the plane and $2^K$ be a large number. Given a family $mathcal C$ of circles with equal radius $R$ satisfying the following property:
- The distance $d_c$ of the centre of each circle $c$ to $x_0$ has $2^K R<d_c<2^{K+1}R$.
- The circles have bounded overlap, that is, there is an absoulute constant $M$ such that for all $x$
$$
sum_{cin mathcal C}1_{c}(x)leq M.
$$
Then what can we say about the cardinality of $mathcal C$, in terms of $K$?
Maybe it is easier to think of the case $M=1$ first. I came across this question when I am reading A study guide for the l 2 decoupling theorem by Bourgain and Demeter. It is one step for an inequality which they say it is easy to verify, but I found it looks like much deeper.
geometry euclidean-geometry circles harmonic-analysis
$endgroup$
Let $x_0$ be a point on the plane and $2^K$ be a large number. Given a family $mathcal C$ of circles with equal radius $R$ satisfying the following property:
- The distance $d_c$ of the centre of each circle $c$ to $x_0$ has $2^K R<d_c<2^{K+1}R$.
- The circles have bounded overlap, that is, there is an absoulute constant $M$ such that for all $x$
$$
sum_{cin mathcal C}1_{c}(x)leq M.
$$
Then what can we say about the cardinality of $mathcal C$, in terms of $K$?
Maybe it is easier to think of the case $M=1$ first. I came across this question when I am reading A study guide for the l 2 decoupling theorem by Bourgain and Demeter. It is one step for an inequality which they say it is easy to verify, but I found it looks like much deeper.
geometry euclidean-geometry circles harmonic-analysis
geometry euclidean-geometry circles harmonic-analysis
asked Jan 27 at 21:35
Dong LiDong Li
795413
795413
1
$begingroup$
By the bounded overlap property, have I understood correctly that you mean that each point is contained in at most $M$ circles?
$endgroup$
– Servaes
Jan 27 at 21:51
$begingroup$
And what exactly do they say is easy to verify? Do you have an explicit upper bound that you are looking to verify?
$endgroup$
– Servaes
Jan 27 at 22:02
add a comment |
1
$begingroup$
By the bounded overlap property, have I understood correctly that you mean that each point is contained in at most $M$ circles?
$endgroup$
– Servaes
Jan 27 at 21:51
$begingroup$
And what exactly do they say is easy to verify? Do you have an explicit upper bound that you are looking to verify?
$endgroup$
– Servaes
Jan 27 at 22:02
1
1
$begingroup$
By the bounded overlap property, have I understood correctly that you mean that each point is contained in at most $M$ circles?
$endgroup$
– Servaes
Jan 27 at 21:51
$begingroup$
By the bounded overlap property, have I understood correctly that you mean that each point is contained in at most $M$ circles?
$endgroup$
– Servaes
Jan 27 at 21:51
$begingroup$
And what exactly do they say is easy to verify? Do you have an explicit upper bound that you are looking to verify?
$endgroup$
– Servaes
Jan 27 at 22:02
$begingroup$
And what exactly do they say is easy to verify? Do you have an explicit upper bound that you are looking to verify?
$endgroup$
– Servaes
Jan 27 at 22:02
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
A very rough upper bound on the cardinality of $mathcal{C}$ comes from the fact that each circle $cinmathcal{C}$ covers an area of at least $frac{pi}{2}R^2-varepsilon $ of the annulus
$$A:={xinBbb{R}^2: 2^K R<x<2^{K+1}R},$$
that its center must be inside, where $varepsilon>0$ quickly tends to $0$ as $K$ tends to infinity. The area of the annulus equals $2^{2K}R^2pi$ and the circles cover the annulus at most $M$ times, so there are at most
$$frac{M2^{2K}R^2pi}{frac{pi}{2}R^2-varepsilon}approx M2^{2K+1},$$
circles in $mathcal{C}$, where I just waved the $varepsilon$ away.
Covering the annulus by a radial grid of circles of radius $R$ yields a family $mathcal{C}$ of cardinality at least $M2^{2K-2}$, which can even easily be improved a bit, but already shows that the upper bound above has the same order of magnitude as the actual mininum.
$endgroup$
$begingroup$
Thanks! I was not aware of using a measure-theoretic way of proving this as you did.
$endgroup$
– Dong Li
Jan 28 at 1:42
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
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
});
}
});
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%2fmath.stackexchange.com%2fquestions%2f3090147%2fnumber-of-circles-with-equal-radius-around-a-point%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
A very rough upper bound on the cardinality of $mathcal{C}$ comes from the fact that each circle $cinmathcal{C}$ covers an area of at least $frac{pi}{2}R^2-varepsilon $ of the annulus
$$A:={xinBbb{R}^2: 2^K R<x<2^{K+1}R},$$
that its center must be inside, where $varepsilon>0$ quickly tends to $0$ as $K$ tends to infinity. The area of the annulus equals $2^{2K}R^2pi$ and the circles cover the annulus at most $M$ times, so there are at most
$$frac{M2^{2K}R^2pi}{frac{pi}{2}R^2-varepsilon}approx M2^{2K+1},$$
circles in $mathcal{C}$, where I just waved the $varepsilon$ away.
Covering the annulus by a radial grid of circles of radius $R$ yields a family $mathcal{C}$ of cardinality at least $M2^{2K-2}$, which can even easily be improved a bit, but already shows that the upper bound above has the same order of magnitude as the actual mininum.
$endgroup$
$begingroup$
Thanks! I was not aware of using a measure-theoretic way of proving this as you did.
$endgroup$
– Dong Li
Jan 28 at 1:42
add a comment |
$begingroup$
A very rough upper bound on the cardinality of $mathcal{C}$ comes from the fact that each circle $cinmathcal{C}$ covers an area of at least $frac{pi}{2}R^2-varepsilon $ of the annulus
$$A:={xinBbb{R}^2: 2^K R<x<2^{K+1}R},$$
that its center must be inside, where $varepsilon>0$ quickly tends to $0$ as $K$ tends to infinity. The area of the annulus equals $2^{2K}R^2pi$ and the circles cover the annulus at most $M$ times, so there are at most
$$frac{M2^{2K}R^2pi}{frac{pi}{2}R^2-varepsilon}approx M2^{2K+1},$$
circles in $mathcal{C}$, where I just waved the $varepsilon$ away.
Covering the annulus by a radial grid of circles of radius $R$ yields a family $mathcal{C}$ of cardinality at least $M2^{2K-2}$, which can even easily be improved a bit, but already shows that the upper bound above has the same order of magnitude as the actual mininum.
$endgroup$
$begingroup$
Thanks! I was not aware of using a measure-theoretic way of proving this as you did.
$endgroup$
– Dong Li
Jan 28 at 1:42
add a comment |
$begingroup$
A very rough upper bound on the cardinality of $mathcal{C}$ comes from the fact that each circle $cinmathcal{C}$ covers an area of at least $frac{pi}{2}R^2-varepsilon $ of the annulus
$$A:={xinBbb{R}^2: 2^K R<x<2^{K+1}R},$$
that its center must be inside, where $varepsilon>0$ quickly tends to $0$ as $K$ tends to infinity. The area of the annulus equals $2^{2K}R^2pi$ and the circles cover the annulus at most $M$ times, so there are at most
$$frac{M2^{2K}R^2pi}{frac{pi}{2}R^2-varepsilon}approx M2^{2K+1},$$
circles in $mathcal{C}$, where I just waved the $varepsilon$ away.
Covering the annulus by a radial grid of circles of radius $R$ yields a family $mathcal{C}$ of cardinality at least $M2^{2K-2}$, which can even easily be improved a bit, but already shows that the upper bound above has the same order of magnitude as the actual mininum.
$endgroup$
A very rough upper bound on the cardinality of $mathcal{C}$ comes from the fact that each circle $cinmathcal{C}$ covers an area of at least $frac{pi}{2}R^2-varepsilon $ of the annulus
$$A:={xinBbb{R}^2: 2^K R<x<2^{K+1}R},$$
that its center must be inside, where $varepsilon>0$ quickly tends to $0$ as $K$ tends to infinity. The area of the annulus equals $2^{2K}R^2pi$ and the circles cover the annulus at most $M$ times, so there are at most
$$frac{M2^{2K}R^2pi}{frac{pi}{2}R^2-varepsilon}approx M2^{2K+1},$$
circles in $mathcal{C}$, where I just waved the $varepsilon$ away.
Covering the annulus by a radial grid of circles of radius $R$ yields a family $mathcal{C}$ of cardinality at least $M2^{2K-2}$, which can even easily be improved a bit, but already shows that the upper bound above has the same order of magnitude as the actual mininum.
edited Jan 27 at 22:18
answered Jan 27 at 22:01
ServaesServaes
28.5k34099
28.5k34099
$begingroup$
Thanks! I was not aware of using a measure-theoretic way of proving this as you did.
$endgroup$
– Dong Li
Jan 28 at 1:42
add a comment |
$begingroup$
Thanks! I was not aware of using a measure-theoretic way of proving this as you did.
$endgroup$
– Dong Li
Jan 28 at 1:42
$begingroup$
Thanks! I was not aware of using a measure-theoretic way of proving this as you did.
$endgroup$
– Dong Li
Jan 28 at 1:42
$begingroup$
Thanks! I was not aware of using a measure-theoretic way of proving this as you did.
$endgroup$
– Dong Li
Jan 28 at 1:42
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- 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%2fmath.stackexchange.com%2fquestions%2f3090147%2fnumber-of-circles-with-equal-radius-around-a-point%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
1
$begingroup$
By the bounded overlap property, have I understood correctly that you mean that each point is contained in at most $M$ circles?
$endgroup$
– Servaes
Jan 27 at 21:51
$begingroup$
And what exactly do they say is easy to verify? Do you have an explicit upper bound that you are looking to verify?
$endgroup$
– Servaes
Jan 27 at 22:02