Explanation of a regular pattern only occuring for prime numbersVisualized group tables for $mathbb{Z}$ and...
Definition of "atomic object"
Does diversity provide anything that meritocracy does not?
How does one write from a minority culture? A question on cultural references
Most demanding German Newspapers
Building an exterior wall within an exterior wall for insulation
Which communication protocol is used in AdLib sound card?
After checking in online, how do I know whether I need to go show my passport at airport check-in?
Why zero tolerance on nudity in space?
Non-Cancer terminal illness that can affect young (age 10-13) girls?
What is a good reason for every spaceship to carry a weapon on board?
Eww, those bytes are gross
Can you tell from a blurry photo if focus was too close or too far?
Premature ending of generator in list comprehension
A starship is travelling at 0.9c and collides with a small rock. Will it leave a clean hole through, or will more happen?
How to make ice magic work from a scientific point of view?
Early credit roll before the end of the film
Why do neural networks need so many training examples to perform?
Is a new boolean field better than null reference when a value can be meaningfully absent?
Changing the laptop's CPU. Should I reinstall Linux?
Why didn't Tom Riddle take the presence of Fawkes and the Sorting Hat as more of a threat?
How can I play a serial killer in a party of good PCs?
Has any human ever had the choice to leave Earth permanently?
Explanation of a regular pattern only occuring for prime numbers
What game did these black and yellow dice come from?
Explanation of a regular pattern only occuring for prime numbers
Visualized group tables for $mathbb{Z}$ and $mathbb{Z}/nmathbb{Z}$Why do some Fibonacci numbers appear in an approximation for $e^{pisqrt{163}}$?Prove that these two integer groups have equivalent Cayley tables.Proof of Fermat's little theorem using groupsA curious phenomenon for the cubic diophantine $x^3+y^3+z^3 = 1$?Visual Group Theory's Intuitive Proof - Cayley's Theorem - Nathan Carter pp. 85, Theorem 5.1Finding Divisibility of Sequence of Numbers Generated RecursivelyCayley table wiki notationPalindromic Numbers - Pattern “inside” Prime Numbers?Another color scheme for 3D visualizations of complex functionsVisualized group tables for $mathbb{Z}$ and $mathbb{Z}/nmathbb{Z}$
$begingroup$
Consider multiplication group tables modulo $n$ with entries $k_{ij} = (icdot j) % n$ visualized according to these principles:
Colors are assigned to numbers $0 leq k leq n$ from
$color{black}{textsf{black}}$ for $k=0$ over
$color{red}{textsf{red}}$ for $k=lfloor n/4rfloor$ and
$color{silver}{textsf{white}}$ for $k=lfloor n/2rfloor$ and
$color{blue}{textsf{blue}}$ for $k=lfloor 3n/4rfloor$ back to
$color{black}{textsf{black}}$ for $k = n$
Sizes are assigned to numbers $0 leq k leq n$ by
$textsf{1.5}$ if $k=lfloor n/4rfloor$ or $lfloor 3n/4rfloor$
$textsf{1.0}$ otherwise
Positions are shifted by $(n/2,n/2)$ modulo $n$ to bring $(0,0)$ to the center of the table.
Visualized this way, you will occasionally find (for some $n$) highly regular multiplication group tables like these (with $n=12,20,28,44,52,68$):

My question is:
Why do these patterns occur exactly when $n = 4p$ with a prime number $p$?
Find here some examples for $n neq 4p$, e.g. $n=61, 62, 63, 64$:

Here for some other prime numbers: $n = 4cdot 31 = 124$ and $n = 4cdot 37 = 148$:

One may observe that for $n = 4m$ and $x,y = m$ or $x,y = 3m$ the "size 1.5" dots are systematically separated by $0$ (= black) and $n/2$ (= white) dots:

For the sake of completeness: the multiplication group table modulo $8 = 4cdot 2$ (which also qualifies, but not so obviously):

group-theory number-theory visualization
$endgroup$
add a comment |
$begingroup$
Consider multiplication group tables modulo $n$ with entries $k_{ij} = (icdot j) % n$ visualized according to these principles:
Colors are assigned to numbers $0 leq k leq n$ from
$color{black}{textsf{black}}$ for $k=0$ over
$color{red}{textsf{red}}$ for $k=lfloor n/4rfloor$ and
$color{silver}{textsf{white}}$ for $k=lfloor n/2rfloor$ and
$color{blue}{textsf{blue}}$ for $k=lfloor 3n/4rfloor$ back to
$color{black}{textsf{black}}$ for $k = n$
Sizes are assigned to numbers $0 leq k leq n$ by
$textsf{1.5}$ if $k=lfloor n/4rfloor$ or $lfloor 3n/4rfloor$
$textsf{1.0}$ otherwise
Positions are shifted by $(n/2,n/2)$ modulo $n$ to bring $(0,0)$ to the center of the table.
Visualized this way, you will occasionally find (for some $n$) highly regular multiplication group tables like these (with $n=12,20,28,44,52,68$):

My question is:
Why do these patterns occur exactly when $n = 4p$ with a prime number $p$?
Find here some examples for $n neq 4p$, e.g. $n=61, 62, 63, 64$:

Here for some other prime numbers: $n = 4cdot 31 = 124$ and $n = 4cdot 37 = 148$:

One may observe that for $n = 4m$ and $x,y = m$ or $x,y = 3m$ the "size 1.5" dots are systematically separated by $0$ (= black) and $n/2$ (= white) dots:

For the sake of completeness: the multiplication group table modulo $8 = 4cdot 2$ (which also qualifies, but not so obviously):

group-theory number-theory visualization
$endgroup$
3
$begingroup$
What do they look like when $n$ is not $4$ times a prime?
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
Could you include an example of a not so regular table?
$endgroup$
– Servaes
2 hours ago
$begingroup$
To me the $nne 4p$ examples look just about as regular as the $n=4p$ ones, with the exception of the locations of the "size $1.5$" dots.
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
@RobertIsrael: To me, too. My question is just about the "size 1.5" dots.
$endgroup$
– Hans Stricker
1 hour ago
add a comment |
$begingroup$
Consider multiplication group tables modulo $n$ with entries $k_{ij} = (icdot j) % n$ visualized according to these principles:
Colors are assigned to numbers $0 leq k leq n$ from
$color{black}{textsf{black}}$ for $k=0$ over
$color{red}{textsf{red}}$ for $k=lfloor n/4rfloor$ and
$color{silver}{textsf{white}}$ for $k=lfloor n/2rfloor$ and
$color{blue}{textsf{blue}}$ for $k=lfloor 3n/4rfloor$ back to
$color{black}{textsf{black}}$ for $k = n$
Sizes are assigned to numbers $0 leq k leq n$ by
$textsf{1.5}$ if $k=lfloor n/4rfloor$ or $lfloor 3n/4rfloor$
$textsf{1.0}$ otherwise
Positions are shifted by $(n/2,n/2)$ modulo $n$ to bring $(0,0)$ to the center of the table.
Visualized this way, you will occasionally find (for some $n$) highly regular multiplication group tables like these (with $n=12,20,28,44,52,68$):

My question is:
Why do these patterns occur exactly when $n = 4p$ with a prime number $p$?
Find here some examples for $n neq 4p$, e.g. $n=61, 62, 63, 64$:

Here for some other prime numbers: $n = 4cdot 31 = 124$ and $n = 4cdot 37 = 148$:

One may observe that for $n = 4m$ and $x,y = m$ or $x,y = 3m$ the "size 1.5" dots are systematically separated by $0$ (= black) and $n/2$ (= white) dots:

For the sake of completeness: the multiplication group table modulo $8 = 4cdot 2$ (which also qualifies, but not so obviously):

group-theory number-theory visualization
$endgroup$
Consider multiplication group tables modulo $n$ with entries $k_{ij} = (icdot j) % n$ visualized according to these principles:
Colors are assigned to numbers $0 leq k leq n$ from
$color{black}{textsf{black}}$ for $k=0$ over
$color{red}{textsf{red}}$ for $k=lfloor n/4rfloor$ and
$color{silver}{textsf{white}}$ for $k=lfloor n/2rfloor$ and
$color{blue}{textsf{blue}}$ for $k=lfloor 3n/4rfloor$ back to
$color{black}{textsf{black}}$ for $k = n$
Sizes are assigned to numbers $0 leq k leq n$ by
$textsf{1.5}$ if $k=lfloor n/4rfloor$ or $lfloor 3n/4rfloor$
$textsf{1.0}$ otherwise
Positions are shifted by $(n/2,n/2)$ modulo $n$ to bring $(0,0)$ to the center of the table.
Visualized this way, you will occasionally find (for some $n$) highly regular multiplication group tables like these (with $n=12,20,28,44,52,68$):

My question is:
Why do these patterns occur exactly when $n = 4p$ with a prime number $p$?
Find here some examples for $n neq 4p$, e.g. $n=61, 62, 63, 64$:

Here for some other prime numbers: $n = 4cdot 31 = 124$ and $n = 4cdot 37 = 148$:

One may observe that for $n = 4m$ and $x,y = m$ or $x,y = 3m$ the "size 1.5" dots are systematically separated by $0$ (= black) and $n/2$ (= white) dots:

For the sake of completeness: the multiplication group table modulo $8 = 4cdot 2$ (which also qualifies, but not so obviously):

group-theory number-theory visualization
group-theory number-theory visualization
edited 22 mins ago
Hans Stricker
asked 2 hours ago
Hans StrickerHans Stricker
6,34443991
6,34443991
3
$begingroup$
What do they look like when $n$ is not $4$ times a prime?
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
Could you include an example of a not so regular table?
$endgroup$
– Servaes
2 hours ago
$begingroup$
To me the $nne 4p$ examples look just about as regular as the $n=4p$ ones, with the exception of the locations of the "size $1.5$" dots.
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
@RobertIsrael: To me, too. My question is just about the "size 1.5" dots.
$endgroup$
– Hans Stricker
1 hour ago
add a comment |
3
$begingroup$
What do they look like when $n$ is not $4$ times a prime?
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
Could you include an example of a not so regular table?
$endgroup$
– Servaes
2 hours ago
$begingroup$
To me the $nne 4p$ examples look just about as regular as the $n=4p$ ones, with the exception of the locations of the "size $1.5$" dots.
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
@RobertIsrael: To me, too. My question is just about the "size 1.5" dots.
$endgroup$
– Hans Stricker
1 hour ago
3
3
$begingroup$
What do they look like when $n$ is not $4$ times a prime?
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
What do they look like when $n$ is not $4$ times a prime?
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
Could you include an example of a not so regular table?
$endgroup$
– Servaes
2 hours ago
$begingroup$
Could you include an example of a not so regular table?
$endgroup$
– Servaes
2 hours ago
$begingroup$
To me the $nne 4p$ examples look just about as regular as the $n=4p$ ones, with the exception of the locations of the "size $1.5$" dots.
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
To me the $nne 4p$ examples look just about as regular as the $n=4p$ ones, with the exception of the locations of the "size $1.5$" dots.
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
@RobertIsrael: To me, too. My question is just about the "size 1.5" dots.
$endgroup$
– Hans Stricker
1 hour ago
$begingroup$
@RobertIsrael: To me, too. My question is just about the "size 1.5" dots.
$endgroup$
– Hans Stricker
1 hour ago
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
If $n=4p$, then for $xy equiv p$ or $3p$ mod $n$ you need $p$ to divide $x$ or $y$ but $2$ to divide neither: thus the "size $1.5$" dots are all on the lines $x = p$, $x = 3p$, $y = p$ and $y = 3p$.
$endgroup$
$begingroup$
Where and how does the primeness of $p$ come into play?
$endgroup$
– Hans Stricker
1 hour ago
add a comment |
$begingroup$
To elaborate a bit on Robert Israels fine answer, first note that:
$$
begin{align}
xy&equiv n/4\
xy&equiv 3n/4
end{align}
$$
implies that $n$ must be divisible by $4$. Hence we only have such situations when $n=4q$ for some $q$. This is true whether $q$ is prime or not. So let us consider $n=4q$ a bit further. Then we look at:
$$
begin{align}
xy&equiv q\
xy&equiv 3q
end{align}
$$
which can be summarized as:
$$
xy=q(2m+1)
$$
for some $m$. This actually reveals why $n=64=4cdot 16$ also appears to somewhat work. Here $q=16$ so any solutions to $xy=16(2m+1)$ will work.
When $q$ is prime, the picture becomes simpler since all solutions to $xy=q(2m+1)$ have to lie on one of the four lines $x=pm q,y=pm q$.
I am still a bit unsure of what happens for numbers that are not of the form $n=4q$. One thing is that $xyequivlfloor n/4rfloor$ implies $(n-x)y,x(n-y)equivlceil 3n/4rceil$ so this breaks the symmetry from the cases $n=4q$ to some extend. This breaks parts of the patterns constituting the horizontal and vertical lines.
$endgroup$
$begingroup$
Thanks for this answer! May I help with specific visualizations? Where and why are you "still a bit unsure"?
$endgroup$
– Hans Stricker
18 mins ago
$begingroup$
@HansStricker: Thank you. Well, it is just that the "patternless" cases, ie. no horizontal or vertical lines, behave in a more chaotic-seeming manner regarding the 1.5 dots.
$endgroup$
– String
15 mins ago
$begingroup$
@HansStricker: If you are able to draw more clear conclusions for those "chaotic" cases where $nneq 4q$ or to visualize them in order to see different principles at play, please let me know. I think the floor function is what throws in the "chaos" in the first place :o)
$endgroup$
– String
12 mins ago
$begingroup$
Ah! I didn't suspect the floor function. How would you suggest to get rid of it? Any other suggestions to "draw more clear conclusions" in order to "see different principles at play"? (Thanks anyway for your suggestions.)
$endgroup$
– Hans Stricker
6 mins ago
$begingroup$
@HansStricker: I would put my money on Robert Israel or the like for deeper insights. I merely took his work and explained some helpful details, I guess :o) I regret my comment about the floor function. The main players are the factorizations themselves. The floor function merely compensates for the unsuccesful division of $n$. Any rounding technique would be equally chaotic, I think.
$endgroup$
– String
1 min ago
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%2f3128053%2fexplanation-of-a-regular-pattern-only-occuring-for-prime-numbers%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$
If $n=4p$, then for $xy equiv p$ or $3p$ mod $n$ you need $p$ to divide $x$ or $y$ but $2$ to divide neither: thus the "size $1.5$" dots are all on the lines $x = p$, $x = 3p$, $y = p$ and $y = 3p$.
$endgroup$
$begingroup$
Where and how does the primeness of $p$ come into play?
$endgroup$
– Hans Stricker
1 hour ago
add a comment |
$begingroup$
If $n=4p$, then for $xy equiv p$ or $3p$ mod $n$ you need $p$ to divide $x$ or $y$ but $2$ to divide neither: thus the "size $1.5$" dots are all on the lines $x = p$, $x = 3p$, $y = p$ and $y = 3p$.
$endgroup$
$begingroup$
Where and how does the primeness of $p$ come into play?
$endgroup$
– Hans Stricker
1 hour ago
add a comment |
$begingroup$
If $n=4p$, then for $xy equiv p$ or $3p$ mod $n$ you need $p$ to divide $x$ or $y$ but $2$ to divide neither: thus the "size $1.5$" dots are all on the lines $x = p$, $x = 3p$, $y = p$ and $y = 3p$.
$endgroup$
If $n=4p$, then for $xy equiv p$ or $3p$ mod $n$ you need $p$ to divide $x$ or $y$ but $2$ to divide neither: thus the "size $1.5$" dots are all on the lines $x = p$, $x = 3p$, $y = p$ and $y = 3p$.
answered 1 hour ago
Robert IsraelRobert Israel
325k23214468
325k23214468
$begingroup$
Where and how does the primeness of $p$ come into play?
$endgroup$
– Hans Stricker
1 hour ago
add a comment |
$begingroup$
Where and how does the primeness of $p$ come into play?
$endgroup$
– Hans Stricker
1 hour ago
$begingroup$
Where and how does the primeness of $p$ come into play?
$endgroup$
– Hans Stricker
1 hour ago
$begingroup$
Where and how does the primeness of $p$ come into play?
$endgroup$
– Hans Stricker
1 hour ago
add a comment |
$begingroup$
To elaborate a bit on Robert Israels fine answer, first note that:
$$
begin{align}
xy&equiv n/4\
xy&equiv 3n/4
end{align}
$$
implies that $n$ must be divisible by $4$. Hence we only have such situations when $n=4q$ for some $q$. This is true whether $q$ is prime or not. So let us consider $n=4q$ a bit further. Then we look at:
$$
begin{align}
xy&equiv q\
xy&equiv 3q
end{align}
$$
which can be summarized as:
$$
xy=q(2m+1)
$$
for some $m$. This actually reveals why $n=64=4cdot 16$ also appears to somewhat work. Here $q=16$ so any solutions to $xy=16(2m+1)$ will work.
When $q$ is prime, the picture becomes simpler since all solutions to $xy=q(2m+1)$ have to lie on one of the four lines $x=pm q,y=pm q$.
I am still a bit unsure of what happens for numbers that are not of the form $n=4q$. One thing is that $xyequivlfloor n/4rfloor$ implies $(n-x)y,x(n-y)equivlceil 3n/4rceil$ so this breaks the symmetry from the cases $n=4q$ to some extend. This breaks parts of the patterns constituting the horizontal and vertical lines.
$endgroup$
$begingroup$
Thanks for this answer! May I help with specific visualizations? Where and why are you "still a bit unsure"?
$endgroup$
– Hans Stricker
18 mins ago
$begingroup$
@HansStricker: Thank you. Well, it is just that the "patternless" cases, ie. no horizontal or vertical lines, behave in a more chaotic-seeming manner regarding the 1.5 dots.
$endgroup$
– String
15 mins ago
$begingroup$
@HansStricker: If you are able to draw more clear conclusions for those "chaotic" cases where $nneq 4q$ or to visualize them in order to see different principles at play, please let me know. I think the floor function is what throws in the "chaos" in the first place :o)
$endgroup$
– String
12 mins ago
$begingroup$
Ah! I didn't suspect the floor function. How would you suggest to get rid of it? Any other suggestions to "draw more clear conclusions" in order to "see different principles at play"? (Thanks anyway for your suggestions.)
$endgroup$
– Hans Stricker
6 mins ago
$begingroup$
@HansStricker: I would put my money on Robert Israel or the like for deeper insights. I merely took his work and explained some helpful details, I guess :o) I regret my comment about the floor function. The main players are the factorizations themselves. The floor function merely compensates for the unsuccesful division of $n$. Any rounding technique would be equally chaotic, I think.
$endgroup$
– String
1 min ago
add a comment |
$begingroup$
To elaborate a bit on Robert Israels fine answer, first note that:
$$
begin{align}
xy&equiv n/4\
xy&equiv 3n/4
end{align}
$$
implies that $n$ must be divisible by $4$. Hence we only have such situations when $n=4q$ for some $q$. This is true whether $q$ is prime or not. So let us consider $n=4q$ a bit further. Then we look at:
$$
begin{align}
xy&equiv q\
xy&equiv 3q
end{align}
$$
which can be summarized as:
$$
xy=q(2m+1)
$$
for some $m$. This actually reveals why $n=64=4cdot 16$ also appears to somewhat work. Here $q=16$ so any solutions to $xy=16(2m+1)$ will work.
When $q$ is prime, the picture becomes simpler since all solutions to $xy=q(2m+1)$ have to lie on one of the four lines $x=pm q,y=pm q$.
I am still a bit unsure of what happens for numbers that are not of the form $n=4q$. One thing is that $xyequivlfloor n/4rfloor$ implies $(n-x)y,x(n-y)equivlceil 3n/4rceil$ so this breaks the symmetry from the cases $n=4q$ to some extend. This breaks parts of the patterns constituting the horizontal and vertical lines.
$endgroup$
$begingroup$
Thanks for this answer! May I help with specific visualizations? Where and why are you "still a bit unsure"?
$endgroup$
– Hans Stricker
18 mins ago
$begingroup$
@HansStricker: Thank you. Well, it is just that the "patternless" cases, ie. no horizontal or vertical lines, behave in a more chaotic-seeming manner regarding the 1.5 dots.
$endgroup$
– String
15 mins ago
$begingroup$
@HansStricker: If you are able to draw more clear conclusions for those "chaotic" cases where $nneq 4q$ or to visualize them in order to see different principles at play, please let me know. I think the floor function is what throws in the "chaos" in the first place :o)
$endgroup$
– String
12 mins ago
$begingroup$
Ah! I didn't suspect the floor function. How would you suggest to get rid of it? Any other suggestions to "draw more clear conclusions" in order to "see different principles at play"? (Thanks anyway for your suggestions.)
$endgroup$
– Hans Stricker
6 mins ago
$begingroup$
@HansStricker: I would put my money on Robert Israel or the like for deeper insights. I merely took his work and explained some helpful details, I guess :o) I regret my comment about the floor function. The main players are the factorizations themselves. The floor function merely compensates for the unsuccesful division of $n$. Any rounding technique would be equally chaotic, I think.
$endgroup$
– String
1 min ago
add a comment |
$begingroup$
To elaborate a bit on Robert Israels fine answer, first note that:
$$
begin{align}
xy&equiv n/4\
xy&equiv 3n/4
end{align}
$$
implies that $n$ must be divisible by $4$. Hence we only have such situations when $n=4q$ for some $q$. This is true whether $q$ is prime or not. So let us consider $n=4q$ a bit further. Then we look at:
$$
begin{align}
xy&equiv q\
xy&equiv 3q
end{align}
$$
which can be summarized as:
$$
xy=q(2m+1)
$$
for some $m$. This actually reveals why $n=64=4cdot 16$ also appears to somewhat work. Here $q=16$ so any solutions to $xy=16(2m+1)$ will work.
When $q$ is prime, the picture becomes simpler since all solutions to $xy=q(2m+1)$ have to lie on one of the four lines $x=pm q,y=pm q$.
I am still a bit unsure of what happens for numbers that are not of the form $n=4q$. One thing is that $xyequivlfloor n/4rfloor$ implies $(n-x)y,x(n-y)equivlceil 3n/4rceil$ so this breaks the symmetry from the cases $n=4q$ to some extend. This breaks parts of the patterns constituting the horizontal and vertical lines.
$endgroup$
To elaborate a bit on Robert Israels fine answer, first note that:
$$
begin{align}
xy&equiv n/4\
xy&equiv 3n/4
end{align}
$$
implies that $n$ must be divisible by $4$. Hence we only have such situations when $n=4q$ for some $q$. This is true whether $q$ is prime or not. So let us consider $n=4q$ a bit further. Then we look at:
$$
begin{align}
xy&equiv q\
xy&equiv 3q
end{align}
$$
which can be summarized as:
$$
xy=q(2m+1)
$$
for some $m$. This actually reveals why $n=64=4cdot 16$ also appears to somewhat work. Here $q=16$ so any solutions to $xy=16(2m+1)$ will work.
When $q$ is prime, the picture becomes simpler since all solutions to $xy=q(2m+1)$ have to lie on one of the four lines $x=pm q,y=pm q$.
I am still a bit unsure of what happens for numbers that are not of the form $n=4q$. One thing is that $xyequivlfloor n/4rfloor$ implies $(n-x)y,x(n-y)equivlceil 3n/4rceil$ so this breaks the symmetry from the cases $n=4q$ to some extend. This breaks parts of the patterns constituting the horizontal and vertical lines.
edited 9 mins ago
answered 25 mins ago
StringString
13.8k32756
13.8k32756
$begingroup$
Thanks for this answer! May I help with specific visualizations? Where and why are you "still a bit unsure"?
$endgroup$
– Hans Stricker
18 mins ago
$begingroup$
@HansStricker: Thank you. Well, it is just that the "patternless" cases, ie. no horizontal or vertical lines, behave in a more chaotic-seeming manner regarding the 1.5 dots.
$endgroup$
– String
15 mins ago
$begingroup$
@HansStricker: If you are able to draw more clear conclusions for those "chaotic" cases where $nneq 4q$ or to visualize them in order to see different principles at play, please let me know. I think the floor function is what throws in the "chaos" in the first place :o)
$endgroup$
– String
12 mins ago
$begingroup$
Ah! I didn't suspect the floor function. How would you suggest to get rid of it? Any other suggestions to "draw more clear conclusions" in order to "see different principles at play"? (Thanks anyway for your suggestions.)
$endgroup$
– Hans Stricker
6 mins ago
$begingroup$
@HansStricker: I would put my money on Robert Israel or the like for deeper insights. I merely took his work and explained some helpful details, I guess :o) I regret my comment about the floor function. The main players are the factorizations themselves. The floor function merely compensates for the unsuccesful division of $n$. Any rounding technique would be equally chaotic, I think.
$endgroup$
– String
1 min ago
add a comment |
$begingroup$
Thanks for this answer! May I help with specific visualizations? Where and why are you "still a bit unsure"?
$endgroup$
– Hans Stricker
18 mins ago
$begingroup$
@HansStricker: Thank you. Well, it is just that the "patternless" cases, ie. no horizontal or vertical lines, behave in a more chaotic-seeming manner regarding the 1.5 dots.
$endgroup$
– String
15 mins ago
$begingroup$
@HansStricker: If you are able to draw more clear conclusions for those "chaotic" cases where $nneq 4q$ or to visualize them in order to see different principles at play, please let me know. I think the floor function is what throws in the "chaos" in the first place :o)
$endgroup$
– String
12 mins ago
$begingroup$
Ah! I didn't suspect the floor function. How would you suggest to get rid of it? Any other suggestions to "draw more clear conclusions" in order to "see different principles at play"? (Thanks anyway for your suggestions.)
$endgroup$
– Hans Stricker
6 mins ago
$begingroup$
@HansStricker: I would put my money on Robert Israel or the like for deeper insights. I merely took his work and explained some helpful details, I guess :o) I regret my comment about the floor function. The main players are the factorizations themselves. The floor function merely compensates for the unsuccesful division of $n$. Any rounding technique would be equally chaotic, I think.
$endgroup$
– String
1 min ago
$begingroup$
Thanks for this answer! May I help with specific visualizations? Where and why are you "still a bit unsure"?
$endgroup$
– Hans Stricker
18 mins ago
$begingroup$
Thanks for this answer! May I help with specific visualizations? Where and why are you "still a bit unsure"?
$endgroup$
– Hans Stricker
18 mins ago
$begingroup$
@HansStricker: Thank you. Well, it is just that the "patternless" cases, ie. no horizontal or vertical lines, behave in a more chaotic-seeming manner regarding the 1.5 dots.
$endgroup$
– String
15 mins ago
$begingroup$
@HansStricker: Thank you. Well, it is just that the "patternless" cases, ie. no horizontal or vertical lines, behave in a more chaotic-seeming manner regarding the 1.5 dots.
$endgroup$
– String
15 mins ago
$begingroup$
@HansStricker: If you are able to draw more clear conclusions for those "chaotic" cases where $nneq 4q$ or to visualize them in order to see different principles at play, please let me know. I think the floor function is what throws in the "chaos" in the first place :o)
$endgroup$
– String
12 mins ago
$begingroup$
@HansStricker: If you are able to draw more clear conclusions for those "chaotic" cases where $nneq 4q$ or to visualize them in order to see different principles at play, please let me know. I think the floor function is what throws in the "chaos" in the first place :o)
$endgroup$
– String
12 mins ago
$begingroup$
Ah! I didn't suspect the floor function. How would you suggest to get rid of it? Any other suggestions to "draw more clear conclusions" in order to "see different principles at play"? (Thanks anyway for your suggestions.)
$endgroup$
– Hans Stricker
6 mins ago
$begingroup$
Ah! I didn't suspect the floor function. How would you suggest to get rid of it? Any other suggestions to "draw more clear conclusions" in order to "see different principles at play"? (Thanks anyway for your suggestions.)
$endgroup$
– Hans Stricker
6 mins ago
$begingroup$
@HansStricker: I would put my money on Robert Israel or the like for deeper insights. I merely took his work and explained some helpful details, I guess :o) I regret my comment about the floor function. The main players are the factorizations themselves. The floor function merely compensates for the unsuccesful division of $n$. Any rounding technique would be equally chaotic, I think.
$endgroup$
– String
1 min ago
$begingroup$
@HansStricker: I would put my money on Robert Israel or the like for deeper insights. I merely took his work and explained some helpful details, I guess :o) I regret my comment about the floor function. The main players are the factorizations themselves. The floor function merely compensates for the unsuccesful division of $n$. Any rounding technique would be equally chaotic, I think.
$endgroup$
– String
1 min ago
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%2f3128053%2fexplanation-of-a-regular-pattern-only-occuring-for-prime-numbers%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
3
$begingroup$
What do they look like when $n$ is not $4$ times a prime?
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
Could you include an example of a not so regular table?
$endgroup$
– Servaes
2 hours ago
$begingroup$
To me the $nne 4p$ examples look just about as regular as the $n=4p$ ones, with the exception of the locations of the "size $1.5$" dots.
$endgroup$
– Robert Israel
2 hours ago
$begingroup$
@RobertIsrael: To me, too. My question is just about the "size 1.5" dots.
$endgroup$
– Hans Stricker
1 hour ago