x^y > y^x and x^y - y^x
Overview
Consider the following simple function:
It produces some very strange results when trying to graph it. Although the first quadrant looks like a fairly simple pattern defined by functions y = 1/(ax^2) and y = x, it's actually incredibly more complicated and shown in the conclusion. All other quadrants produce even stranger patterns due to having results in complex space.
Also the related function x^y - y^x has it's own set of interesting properties, pictured below.
Pictures
Graphing x^y > y^x normally:
Setting complex comparisons for x^y > y^x purple, since they are essentially undefined:

Doing vector normalizations for complex numbers when comparing x^y > y^x:
Blue) x^y = y^x
Red) Real) x^y < y^x
Orange) Real) x^y > y^x
Yellow) Complex) x^y < y^x
Green) Complex) x^y > y^x

Polar coordinate graph of x^y - y^x:

Dotted polar coordinate graph of x^y - y^x, note that it is always perfectly symmetrical around x = 0 at any zoom level:

Zoomed in x^y - y^x:

Dotted zoomed in x^y - y^x:

3D plot of x^y - y^x:

Domain colored x^y - y^x (Click for bigger picture):

Octave and Complex Numbers
Another weird thing is complex numbers in octave. Consider:
c2 = 1 - i
c3 = -1 + i
c4 = -1 - i
c1 > c3
ans = 1
c4 < c2
ans = 1
c1 > c2
ans = 0
c1 < c2
ans = 0
c1 == c2
ans = 0
c1 != c2
ans = 0
It looks like Octave is comparing only the real portions of complex numbers for less-than and greater-than, and then using both terms of testing equality. Vector normalization doesn't really work either since should we consider -1 - i equivalent to 1 + i? Although normalization actually makes more sense if you think of it in terms of polar coordinates, as opposed to the default octave handling.
Downloads
- Matrix Generation for x^y > y^x (Yes I could have used meshgrid for faster results)
- Complex number list for x^y - y^x
Conclusions
Mapping values into complex space always gives interesting results, although often difficult to interpret. This function is no different, but we can get a general idea how it behaves from some of the graphs. It seems to be defined via bisection of some strange function that looks like exponential decay in the 1st and 3rd quadrants. I have not yet fully explored quadrants 2 and 4 and will update this when I do. This symmetry is clearly visible when plotting the points of the difference in polar coordinates. Also note that anything but the first quadrant is somewhat debatable since it is doing comparisons in complex space, which is technically undefined.
Quadrant 1,4 Curve
Comments(0)
2009-04-01 03:09:45
Add your comment:
Hardware
Software
- Self Modifying 2D Turing Automata
- Competing Conway Life Automata
- X11 Timelapse Desktop Video
- Colored Wolfram Automata With Sound Input
- Pseudo Video Feedback in Processing
- Haskell Cipher Saber
- Illegal FIlenames -- Windows and *nix
- Simple Perl SDL Music Keyboard (Updated)
- Image to Spectrogram
- Pastebin Hell
- OMGWTFRNG (OWR)
- OTP Enhancement : Failure Report
- Java Network File Transfer Tool
- AES Encrypted Filesystem Speeds
- Dual Message Encryption
- PHP Website
- Mp3 Splitting Script
- Random Obfuscation Tool
- Filesystem Speed Comparisons
- Java Based Web Server GUI