On numbers with small $varphi(n)/n$












7












$begingroup$


Let $Phi(n) = varphi(n)/n = prod_{p|n}(p-1)/p$ be the "normalized totient" of $n$.



Some facts:




  • $Phi(p) = (p-1)/p < 1$ for prime numbers with $lim_{prightarrow infty}Phi(p) = 1$


  • $Phi(n) = 1/2$ iff $n$ is a power of $2$


  • $Phi(n) < 1/2$ for all even $n$ that are not powers of $2$ and some odd $n$


  • if $Phi(n) > 1/2$ then $n$ is odd



I have some questions concerning numbers with $Phi(n) < 1/2$:





  • Are there numbers with arbitrary small $Phi(n)$? Or is there a lower bound $Phi_{text{min}} > 0$?


  • Are there odd numbers with arbitrary small $Phi(n)$?


  • How can this astonishing regularity been explained when displaying in a square spiral only those numbers with $Phi(n) < 1/3$ – a regular pattern of triples pointing right, down, left, up clockwise (with some irregularily distributed defects of course):





enter image description here



Note that the regular background pattern vanishes when choosing values other than 1/3, e.g. 0.3 (left) or 0.4 (right):



enter image description hereenter image description here



Since the cases $Phi(n) < 1/2$ and $Phi(n) < 1/3$ display regular patterns, one might suspect that also $Phi(n) < 1/5$ gives rise to some regularity. But the numbers envolved in creating that pattern are too big, so I cannot visualize it.





  • Supposed one would visualize $Phi(n) < 1/5$ which regular pattern would emerge (if any)?











share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Perhaps you should change the symbol for that normalization, as it is easy, I think, to confuse with Euler's function. Perhaps something like $;Phi(n);$ or perhaps even $;Psi(n);$ .
    $endgroup$
    – DonAntonio
    Jan 11 at 12:04






  • 1




    $begingroup$
    Done, thanks for the hint.
    $endgroup$
    – Hans Stricker
    Jan 11 at 12:10










  • $begingroup$
    Even for odd $n$, the value can get arbitary small since the product $$prod_{p prime} frac{p-1}{p}$$ diverges to $0$
    $endgroup$
    – Peter
    Jan 11 at 12:14










  • $begingroup$
    What might help for a deeper analyze is that we can replace $n$ by its radical (the product of the primes dividing $n$)
    $endgroup$
    – Peter
    Jan 11 at 12:18






  • 1




    $begingroup$
    Sorry, you are right. We have $$prod_{p prime, ple x} frac{p-1}{p}approx frac{e^{-gamma}}{ln(x)}$$ where $gamma$ is the Euler-Mascheroni-constant.
    $endgroup$
    – Peter
    Jan 11 at 12:52


















7












$begingroup$


Let $Phi(n) = varphi(n)/n = prod_{p|n}(p-1)/p$ be the "normalized totient" of $n$.



Some facts:




  • $Phi(p) = (p-1)/p < 1$ for prime numbers with $lim_{prightarrow infty}Phi(p) = 1$


  • $Phi(n) = 1/2$ iff $n$ is a power of $2$


  • $Phi(n) < 1/2$ for all even $n$ that are not powers of $2$ and some odd $n$


  • if $Phi(n) > 1/2$ then $n$ is odd



I have some questions concerning numbers with $Phi(n) < 1/2$:





  • Are there numbers with arbitrary small $Phi(n)$? Or is there a lower bound $Phi_{text{min}} > 0$?


  • Are there odd numbers with arbitrary small $Phi(n)$?


  • How can this astonishing regularity been explained when displaying in a square spiral only those numbers with $Phi(n) < 1/3$ – a regular pattern of triples pointing right, down, left, up clockwise (with some irregularily distributed defects of course):





enter image description here



Note that the regular background pattern vanishes when choosing values other than 1/3, e.g. 0.3 (left) or 0.4 (right):



enter image description hereenter image description here



Since the cases $Phi(n) < 1/2$ and $Phi(n) < 1/3$ display regular patterns, one might suspect that also $Phi(n) < 1/5$ gives rise to some regularity. But the numbers envolved in creating that pattern are too big, so I cannot visualize it.





  • Supposed one would visualize $Phi(n) < 1/5$ which regular pattern would emerge (if any)?











share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Perhaps you should change the symbol for that normalization, as it is easy, I think, to confuse with Euler's function. Perhaps something like $;Phi(n);$ or perhaps even $;Psi(n);$ .
    $endgroup$
    – DonAntonio
    Jan 11 at 12:04






  • 1




    $begingroup$
    Done, thanks for the hint.
    $endgroup$
    – Hans Stricker
    Jan 11 at 12:10










  • $begingroup$
    Even for odd $n$, the value can get arbitary small since the product $$prod_{p prime} frac{p-1}{p}$$ diverges to $0$
    $endgroup$
    – Peter
    Jan 11 at 12:14










  • $begingroup$
    What might help for a deeper analyze is that we can replace $n$ by its radical (the product of the primes dividing $n$)
    $endgroup$
    – Peter
    Jan 11 at 12:18






  • 1




    $begingroup$
    Sorry, you are right. We have $$prod_{p prime, ple x} frac{p-1}{p}approx frac{e^{-gamma}}{ln(x)}$$ where $gamma$ is the Euler-Mascheroni-constant.
    $endgroup$
    – Peter
    Jan 11 at 12:52
















7












7








7





$begingroup$


Let $Phi(n) = varphi(n)/n = prod_{p|n}(p-1)/p$ be the "normalized totient" of $n$.



Some facts:




  • $Phi(p) = (p-1)/p < 1$ for prime numbers with $lim_{prightarrow infty}Phi(p) = 1$


  • $Phi(n) = 1/2$ iff $n$ is a power of $2$


  • $Phi(n) < 1/2$ for all even $n$ that are not powers of $2$ and some odd $n$


  • if $Phi(n) > 1/2$ then $n$ is odd



I have some questions concerning numbers with $Phi(n) < 1/2$:





  • Are there numbers with arbitrary small $Phi(n)$? Or is there a lower bound $Phi_{text{min}} > 0$?


  • Are there odd numbers with arbitrary small $Phi(n)$?


  • How can this astonishing regularity been explained when displaying in a square spiral only those numbers with $Phi(n) < 1/3$ – a regular pattern of triples pointing right, down, left, up clockwise (with some irregularily distributed defects of course):





enter image description here



Note that the regular background pattern vanishes when choosing values other than 1/3, e.g. 0.3 (left) or 0.4 (right):



enter image description hereenter image description here



Since the cases $Phi(n) < 1/2$ and $Phi(n) < 1/3$ display regular patterns, one might suspect that also $Phi(n) < 1/5$ gives rise to some regularity. But the numbers envolved in creating that pattern are too big, so I cannot visualize it.





  • Supposed one would visualize $Phi(n) < 1/5$ which regular pattern would emerge (if any)?











share|cite|improve this question











$endgroup$




Let $Phi(n) = varphi(n)/n = prod_{p|n}(p-1)/p$ be the "normalized totient" of $n$.



Some facts:




  • $Phi(p) = (p-1)/p < 1$ for prime numbers with $lim_{prightarrow infty}Phi(p) = 1$


  • $Phi(n) = 1/2$ iff $n$ is a power of $2$


  • $Phi(n) < 1/2$ for all even $n$ that are not powers of $2$ and some odd $n$


  • if $Phi(n) > 1/2$ then $n$ is odd



I have some questions concerning numbers with $Phi(n) < 1/2$:





  • Are there numbers with arbitrary small $Phi(n)$? Or is there a lower bound $Phi_{text{min}} > 0$?


  • Are there odd numbers with arbitrary small $Phi(n)$?


  • How can this astonishing regularity been explained when displaying in a square spiral only those numbers with $Phi(n) < 1/3$ – a regular pattern of triples pointing right, down, left, up clockwise (with some irregularily distributed defects of course):





enter image description here



Note that the regular background pattern vanishes when choosing values other than 1/3, e.g. 0.3 (left) or 0.4 (right):



enter image description hereenter image description here



Since the cases $Phi(n) < 1/2$ and $Phi(n) < 1/3$ display regular patterns, one might suspect that also $Phi(n) < 1/5$ gives rise to some regularity. But the numbers envolved in creating that pattern are too big, so I cannot visualize it.





  • Supposed one would visualize $Phi(n) < 1/5$ which regular pattern would emerge (if any)?








elementary-number-theory prime-numbers prime-factorization totient-function






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 11 at 15:32







Hans Stricker

















asked Jan 11 at 11:57









Hans StrickerHans Stricker

6,24343988




6,24343988








  • 1




    $begingroup$
    Perhaps you should change the symbol for that normalization, as it is easy, I think, to confuse with Euler's function. Perhaps something like $;Phi(n);$ or perhaps even $;Psi(n);$ .
    $endgroup$
    – DonAntonio
    Jan 11 at 12:04






  • 1




    $begingroup$
    Done, thanks for the hint.
    $endgroup$
    – Hans Stricker
    Jan 11 at 12:10










  • $begingroup$
    Even for odd $n$, the value can get arbitary small since the product $$prod_{p prime} frac{p-1}{p}$$ diverges to $0$
    $endgroup$
    – Peter
    Jan 11 at 12:14










  • $begingroup$
    What might help for a deeper analyze is that we can replace $n$ by its radical (the product of the primes dividing $n$)
    $endgroup$
    – Peter
    Jan 11 at 12:18






  • 1




    $begingroup$
    Sorry, you are right. We have $$prod_{p prime, ple x} frac{p-1}{p}approx frac{e^{-gamma}}{ln(x)}$$ where $gamma$ is the Euler-Mascheroni-constant.
    $endgroup$
    – Peter
    Jan 11 at 12:52
















  • 1




    $begingroup$
    Perhaps you should change the symbol for that normalization, as it is easy, I think, to confuse with Euler's function. Perhaps something like $;Phi(n);$ or perhaps even $;Psi(n);$ .
    $endgroup$
    – DonAntonio
    Jan 11 at 12:04






  • 1




    $begingroup$
    Done, thanks for the hint.
    $endgroup$
    – Hans Stricker
    Jan 11 at 12:10










  • $begingroup$
    Even for odd $n$, the value can get arbitary small since the product $$prod_{p prime} frac{p-1}{p}$$ diverges to $0$
    $endgroup$
    – Peter
    Jan 11 at 12:14










  • $begingroup$
    What might help for a deeper analyze is that we can replace $n$ by its radical (the product of the primes dividing $n$)
    $endgroup$
    – Peter
    Jan 11 at 12:18






  • 1




    $begingroup$
    Sorry, you are right. We have $$prod_{p prime, ple x} frac{p-1}{p}approx frac{e^{-gamma}}{ln(x)}$$ where $gamma$ is the Euler-Mascheroni-constant.
    $endgroup$
    – Peter
    Jan 11 at 12:52










1




1




$begingroup$
Perhaps you should change the symbol for that normalization, as it is easy, I think, to confuse with Euler's function. Perhaps something like $;Phi(n);$ or perhaps even $;Psi(n);$ .
$endgroup$
– DonAntonio
Jan 11 at 12:04




$begingroup$
Perhaps you should change the symbol for that normalization, as it is easy, I think, to confuse with Euler's function. Perhaps something like $;Phi(n);$ or perhaps even $;Psi(n);$ .
$endgroup$
– DonAntonio
Jan 11 at 12:04




1




1




$begingroup$
Done, thanks for the hint.
$endgroup$
– Hans Stricker
Jan 11 at 12:10




$begingroup$
Done, thanks for the hint.
$endgroup$
– Hans Stricker
Jan 11 at 12:10












$begingroup$
Even for odd $n$, the value can get arbitary small since the product $$prod_{p prime} frac{p-1}{p}$$ diverges to $0$
$endgroup$
– Peter
Jan 11 at 12:14




$begingroup$
Even for odd $n$, the value can get arbitary small since the product $$prod_{p prime} frac{p-1}{p}$$ diverges to $0$
$endgroup$
– Peter
Jan 11 at 12:14












$begingroup$
What might help for a deeper analyze is that we can replace $n$ by its radical (the product of the primes dividing $n$)
$endgroup$
– Peter
Jan 11 at 12:18




$begingroup$
What might help for a deeper analyze is that we can replace $n$ by its radical (the product of the primes dividing $n$)
$endgroup$
– Peter
Jan 11 at 12:18




1




1




$begingroup$
Sorry, you are right. We have $$prod_{p prime, ple x} frac{p-1}{p}approx frac{e^{-gamma}}{ln(x)}$$ where $gamma$ is the Euler-Mascheroni-constant.
$endgroup$
– Peter
Jan 11 at 12:52






$begingroup$
Sorry, you are right. We have $$prod_{p prime, ple x} frac{p-1}{p}approx frac{e^{-gamma}}{ln(x)}$$ where $gamma$ is the Euler-Mascheroni-constant.
$endgroup$
– Peter
Jan 11 at 12:52












1 Answer
1






active

oldest

votes


















1












$begingroup$

The answer seems simple: Having a closer look at the numbers in the spiral reveals that most of them are - not surprisingly - multiples of $6 = 2cdot 3$:



enter image description here



And the spiral forces the multiples of $6$ to arrange in triples (except along the lower right diagonal):



enter image description here



But not all multiples of $6$ have $Phi(n) < 1/3$, e.g. $n = 2^kcdot 3$, and not all $n$ with $Phi(n) < 1/3$ are multiples of $6$, the smallest one being $770 = 2cdot 5cdot 7 cdot 11$.



To answer partly the last of my questions: This is how the integers divisible by 8 and 10 are distributed (the second picture giving the blueprint for the case $Phi(n) < 1/5$):



enter image description hereenter image description here



Note that in the right picture the "arrows" (5-tuples) go counter-clockwise.






share|cite|improve this answer











$endgroup$













    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
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3069760%2fon-numbers-with-small-varphin-n%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









    1












    $begingroup$

    The answer seems simple: Having a closer look at the numbers in the spiral reveals that most of them are - not surprisingly - multiples of $6 = 2cdot 3$:



    enter image description here



    And the spiral forces the multiples of $6$ to arrange in triples (except along the lower right diagonal):



    enter image description here



    But not all multiples of $6$ have $Phi(n) < 1/3$, e.g. $n = 2^kcdot 3$, and not all $n$ with $Phi(n) < 1/3$ are multiples of $6$, the smallest one being $770 = 2cdot 5cdot 7 cdot 11$.



    To answer partly the last of my questions: This is how the integers divisible by 8 and 10 are distributed (the second picture giving the blueprint for the case $Phi(n) < 1/5$):



    enter image description hereenter image description here



    Note that in the right picture the "arrows" (5-tuples) go counter-clockwise.






    share|cite|improve this answer











    $endgroup$


















      1












      $begingroup$

      The answer seems simple: Having a closer look at the numbers in the spiral reveals that most of them are - not surprisingly - multiples of $6 = 2cdot 3$:



      enter image description here



      And the spiral forces the multiples of $6$ to arrange in triples (except along the lower right diagonal):



      enter image description here



      But not all multiples of $6$ have $Phi(n) < 1/3$, e.g. $n = 2^kcdot 3$, and not all $n$ with $Phi(n) < 1/3$ are multiples of $6$, the smallest one being $770 = 2cdot 5cdot 7 cdot 11$.



      To answer partly the last of my questions: This is how the integers divisible by 8 and 10 are distributed (the second picture giving the blueprint for the case $Phi(n) < 1/5$):



      enter image description hereenter image description here



      Note that in the right picture the "arrows" (5-tuples) go counter-clockwise.






      share|cite|improve this answer











      $endgroup$
















        1












        1








        1





        $begingroup$

        The answer seems simple: Having a closer look at the numbers in the spiral reveals that most of them are - not surprisingly - multiples of $6 = 2cdot 3$:



        enter image description here



        And the spiral forces the multiples of $6$ to arrange in triples (except along the lower right diagonal):



        enter image description here



        But not all multiples of $6$ have $Phi(n) < 1/3$, e.g. $n = 2^kcdot 3$, and not all $n$ with $Phi(n) < 1/3$ are multiples of $6$, the smallest one being $770 = 2cdot 5cdot 7 cdot 11$.



        To answer partly the last of my questions: This is how the integers divisible by 8 and 10 are distributed (the second picture giving the blueprint for the case $Phi(n) < 1/5$):



        enter image description hereenter image description here



        Note that in the right picture the "arrows" (5-tuples) go counter-clockwise.






        share|cite|improve this answer











        $endgroup$



        The answer seems simple: Having a closer look at the numbers in the spiral reveals that most of them are - not surprisingly - multiples of $6 = 2cdot 3$:



        enter image description here



        And the spiral forces the multiples of $6$ to arrange in triples (except along the lower right diagonal):



        enter image description here



        But not all multiples of $6$ have $Phi(n) < 1/3$, e.g. $n = 2^kcdot 3$, and not all $n$ with $Phi(n) < 1/3$ are multiples of $6$, the smallest one being $770 = 2cdot 5cdot 7 cdot 11$.



        To answer partly the last of my questions: This is how the integers divisible by 8 and 10 are distributed (the second picture giving the blueprint for the case $Phi(n) < 1/5$):



        enter image description hereenter image description here



        Note that in the right picture the "arrows" (5-tuples) go counter-clockwise.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jan 11 at 15:24

























        answered Jan 11 at 14:27









        Hans StrickerHans Stricker

        6,24343988




        6,24343988






























            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3069760%2fon-numbers-with-small-varphin-n%23new-answer', 'question_page');
            }
            );

            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







            Popular posts from this blog

            MongoDB - Not Authorized To Execute Command

            How to fix TextFormField cause rebuild widget in Flutter

            in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith