UNFAIR SICKNESS

Where are you?

And I'm so sorry.

I cannot sleep, I cannot dream tonight.

I need somebody and always

This sick strange darkness

Comes creeping on so haunting every time.

I need to stop.

???

 

Y-M | U-I

 

Say you are talking with someone and you want to tell her something important but not directly. You encrypt it.

How? Well we have to reject simple "shifted" ciphers, that is the ones in which you just shift the letters: $A = C$, $B = D$, and generally $\alpha = \alpha + 2$, which is a "wrong" way to write it but programmer use this way all the time (also it's the correct form to use when you write a program), but it defines that the $\alpha$-th variable is equal to itself plus two. 

Here the variables are the letters, so the shift is clear. In general we might have $\alpha = \alpha + n$ provided that $n$ is such that $\alpha - (\text{mod n}) \alpha \neq 0$ otherwise you just get the original alphabet and... well not smart!

Considering that I do love cryptography and number theory too, I of course thought about a personal encryption: a "dynamical shift over the integers" (obviously, since we cannot deal with any other set of numbers, or... can we :D ). I fabricated a very interesting key (because yes, I sleep little and and I really want to think about a way to encrypt my feelings) which associated to a single modified letters, its true letter in a way that is dynamical within the word itself and within the words. For the sake of my future brain: 

$$\text{ERAERAT YU KEMAN}$$

I am perhaps going nuts.

But as far as I know, to dream is not forbidden yet.

Log (0+) : EXPERIMENTO

Greetings humans, 

This is an experiment for me as much as it is an experiment for you, who are reading this. 

The ones of you who already knows me (or "knows" me), are already familiar with the fact that I create and put challenges of physics and mathematics on my instagram account (@theartoffugue [my username changes sometimes]). 

Travellers who randomly stepped into this blog, well... Just read the rows above to quickly get on the road. 

The aim of this blog, which I started as a sort of conversation with myself which ended up in silence, and hoping it will have a future, is now clear: to write here the challenges I put on IG with the solutions too, in order to create a record of funny useful interesting problems and, above all, to have them written down in a clear and more suitable way (through the help of HTML code instead of my hands with pen and paper). 

All the past challenges were once highlighted on IG, but I have recently removed them all so this is also a way to make a jump in the past in order to restore all them. I will indeed start with the oldest ones, and then back to the future! 

So, what else to say... Let's go! 

THE ROOTS OF UNITY

 Back to basics, I want to talk about polynomials and roots.

When studying polynomials, mathematicians are especially interested in their roots, the values of a variable that make the polynomial equal zero. A polynomial has as many roots as its degree (the value of the largest exponent), so that $x^3 + 3 = 0$ has three roots, whilst $x^9 - 3x^2 + 4 = 0$ has nine roots.

An important amusing field of study is the one in which we try to find a relation between a root of a polynomials and each others. For example: when graphed, the roots of some polynomials fall exactly on the vertices of regular polygons  (they stand apart by an exact geometric length). But there could be more sublet geometric relationships…

What kind of pattern can you get? Can you get ANY pattern? 

Let’s focus, for the moment, only onto an important class of polynomials: the cyclotomic polynomials (CP). Those are the ones that cannot be factored into smaller ones, but you can use them to build polynomials. The first two ones, and the simplest ones, are $(x+1)$ and $(x-1)$. You cannot factor them into smaller polynomials, but you can use them (for example by multiplying them) to get ($x^2 - 1$).

The tenth cyclotomic polynomials is $x^4 - x^3 + x^2 - x + 1$ (want to have fun? Prove it!).

The roots of CP follow a very special geometric pattern. To see it, we need to start with the complex plane in which the $x$-axis plots real numbers, and the $y$-axis plots imaginary ones. Then inscribe a circle of radius $R = 1$ (no matter if cm, metres or whatever) around the origin and you get the famous Unit Circle: the roots of CP ALL lie on this circle.

They bear an elegant name: the Roots of Unity. 

Seeking the Roots of Unity.

Polynomials consist of coefficients and variables raised to powers (see examples above). 

Roots are the values of x that make the polynomial equal zero. The roots of a CP all lie on a circle with radius 1 unit, centred around the origin of the complex plane. These are the “Roots of Unity”. 

You can admire the meaning of this just above. 

The problem is that the most of polynomials are non cyclotomic, and their roots are not the roots of unity. This is the case with almost any combination of coefficients, variables and exponents you could come up with. 

In $1965$, A. Schinzel and H. Zassenhaus predicted that the geometry of the roots of CP and non-CP differ in a very specific way: take ANY non CP whose first coefficient is $1$. Find his roots and graph them. Some may fall inside the unit circle, some right on it and others may fall outside it. 

Schinzel and Zassenhaus predicted hence that EVERY non CP MUST have at least ONE root that falls outside the Unit Circle and at least some minimum distance away. 

Another fascinating way to see this is in terms of repulsions: “the smallest roots of any non CP, which might fall within the Unit Circle, effectively push other roots outside the Unit Circle, like magnets pushing each other away 

It’s like to think about the roots as negative electric charged particles that repel each other with a force that decays when the distance increases. 

(Continues after the D.s. [Durante Scriptum])

D.s. I DARE thou to say that mathematics (and physics) is boring. "Shut up and calculate”. (R. Feynman).

Repulsive Roots.

So, according to Schinzel-Zassenhaus conjecture, every non CP must have at least one root that is at least some minimum distance outside the Unit Circle. That distance varies depending on the values of the largest power in the polynomial.

In the above example, the black dots are the roots of

$$x^{7} + 2x^{5} - 12x^{4} - 12x^{3} + 2x^{2} + 1 = 0$$

The conjecture’s main prediction has the feel of a physics equation. It says every non CP should have at least one root that is outside the Unit Circle by a distance equal to a constant number divided by the degree of the polynomial. 

If we had a non CP of degree $23$, the conjecture predicts that is should have a root at least $\dfrac{1}{23}$ of unit outside the circle.

It’s a powerful statement, but for decades only weaker forms of this conjecture has been managed to be proven. Indeed, Schinzel and Zassenhausem themselves managed only to prove that every non CP has a root at least $\left(\dfrac{1}{4}\right)^d$ [where $d$ = degree of the polynomial] outside the Unit Circle, a much smaller distance than the conjectured one.

Many improvements have been made, yet the conjecture still remains unsolved. Often, when a prominent math problem remains open for a long time, it’s because mathematicians simply lack the technique to solve it. Dream as you might of flying to the moon, you’re not getting there until someone invents a rocket. 

And then it comes V. Dimitrov: he transformed a question about the size of roots of polynomials into a question about the size of the values associated to a related but different type of mathematical object called power series (it’s like a polynomial, only with infinitely many terms).

Want to know more and really go deep? Have fun at ArXiv.org “A proof of the Schinzel-Zassenhausen conjecture on polynomials”. It’s really elegant and well understandable! 

Click here for the article

https://arxiv.org/pdf/1912.12545.pdf

VAULT

 Pages I need to store.

https://en.wikipedia.org/wiki/List_of_HTTP_status_codes

https://en.wikipedia.org/wiki/Separation_axiom

https://shop.arts-crafts.ca/products/jean-michel-blais-dans-ma-mains-sheet-music-book?variant=15074741026916

https://en.wikipedia.org/wiki/Pietro_Annigoni%27s_portraits_of_Elizabeth_II

https://it.wikipedia.org/wiki/Esistenzialismo

https://en.wikipedia.org/wiki/List_of_tests

https://it.wikipedia.org/wiki/Categoria:Figure_retoriche

https://it.wikipedia.org/wiki/Prima_lettera_ai_Corinzi

https://en.wikipedia.org/wiki/Norbert_Wiener

https://www.youtube.com/watch?v=9KnUGMHKec4

https://en.wikipedia.org/wiki/Jacques_de_Vaucanson

https://en.wikipedia.org/wiki/Machine_code

https://en.wikipedia.org/wiki/Synesthesia

https://edge.pokerlistings.it/assets/photos/cani-poker-Cassius-Coolidge.jpg?t=1407762730

https://www.arteworld.it/wp-content/uploads/2014/10/autoritratto-van-gogh-1887.png

https://it.wikipedia.org/wiki/Fenomenologia_dello_spirito

https://en.wikipedia.org/wiki/Symphony_No._7_(Beethoven)

https://en.wikipedia.org/wiki/EPA_list_of_extremely_hazardous_substances

AESTHETICALLY PLEASING INTEGRALS

I have decided to start a subsection (subset) of this blog by talking, and solving, the most beautiful (yes, aesthetically pleasant) integrals I have come across to during my "having fun time" periods, or generally during my studying periods. There are some of the which are really amazing, and they are amazing also because me myself and I have solved them. Sure, I don't claim to be the first one who solved them, since they are nothing special. But they are "hard enough" to make me compliment to myself for my courage and my will to attack them :)

THE ZEROTH API (Aesthetically Pleasing Integral)

$$J = \int_0^{+\infty} \dfrac{\sin(\pi x^2)}{\sinh^2(\pi x)}\ \text{d}x$$

Whose numerical result is $\dfrac{2 - \sqrt{2}}{4}$

PROOF

First of all we notice the integrand is even, hence we can write

$$\dfrac{1}{2}\int_{-\infty}^{+\infty}\dfrac{\sin(\pi x^2)}{\sinh^2(\pi x)}\ \text{d}x$$

Let's now define

$$f(z) = \dfrac{\cos(\pi z^2)}{\sinh(2\pi z) \sinh^2(\pi x)}$$

And not that because 

$$f(x\pm i) = \dfrac{-\cos(\pi x^2)\cosh(2\pi x) \pm i\sin(\pi x^2)\sinh(2\pi x)}{\sinh(2\pi x)\sinh^2(\pi x)}$$

we have

$$\int_{\gamma} f(z)\ \text{d}z = \int_{-\infty}^{+\infty} \left(f(x-i) + f(x+i)\right)\ \text{d}x$$

That is $2\pi i \times \text{Sum of the residues}$, which becomes $-\dfrac{\pi}{2} \times$ Sum of residues.

The poles are at $0$ and $\pm \dfrac{i}{2}$ and $\pm i$ hence we have: 

RESIDUES

If you are able enough to calculate the residues, which are rather easy, you'll find that the residue near zero is $-\dfrac{1}{2\pi}$

Instead we have $\dfrac{\sqrt{2}}{4\pi}$ near $\pm \dfrac{i}{2}$, whereas the residues around $\pm i$ are $-\dfrac{1}{2\pi}$.

Hence

$$\int_0^{+\infty} \dfrac{\sin(\pi x^2)}{\sinh^2(\pi x)}\ \text{d}x = \dfrac{\pi}{2}\left(-\dfrac{1}{2\pi} - \dfrac{1}{2\pi} + \dfrac{\sqrt{2}}{4\pi} + \dfrac{\sqrt{2}}{4\pi}\right) = \dfrac{2 - \sqrt{2}}{4}$$

As wanted.