Basis-Eksponen Invariant
Jumlah pangkat disebut invarian pangkat-pangkat jika nilainya tidak berubah jika setiap basis dan eksponen ditukar. Contoh paling sederhana adalah$2^4$, yang tentu saja sama dengan $4^2$. Invarian eksponen dasar lainnya adalah
$$2^{5} + 2^{7} + 2^{9} + 5^{3} + 5^{4}=5^{2} + 7^{2} + 9^{2} + 3^{5} + 4^{5}$$
Ada banyak contoh lain dengan $5$ringkasan dikenal. (https://erich-friedman.github.io/mathmagic/0608.html.)
Kami tertarik pada invarian eksponen basis di mana semua basis dan eksponen setidaknya adalah bilangan bulat $2$, dan di mana tidak ada daya yang muncul lebih dari sekali, bahkan setelah basis dan eksponennya diganti. Apakah ada jumlah$2$, $3$, atau $4$ kekuatan yang merupakan invarian eksponen dasar?
Saya juga tertarik pada jumlah umum ekspresi pangkat yang melibatkan variabel yang masih tetap benar jika basis dan eksponennya diganti, yang mengarah ke banyak contoh tak terhingga dari panjang tertentu. Dean Hickerson menemukan ekspresi ini melibatkan sejumlah$20$ kekuatan yang bekerja:
$$ 2^{2n} + 2^{2n+8}+ 2^{2n+16} + 2^{2n+32} + 2^{2n+34} + 4^{n+1} + 4^{n+2} + 4^{n+10} + 4^{n+14} + 4^{n+18} + n^{4} + (n+4)^{4} + (n+8)^{4} + (n+16)^{4} + (n+17)^{4} + (2n+2)^{2} + (2n+4)^{2} + (2n+20)^{2} + (2n+28)^{2} + (2n+36)^{2} $$
Apakah ada ekspresi seperti itu yang melibatkan kurang dari $20$ kekuatan?
Jawaban
Ini adalah jawaban parsial :
Saya mengusulkan definisi dan menyajikan dugaan berdasarkan perhitungan ekstensif.
Saya ingin mengajukan definisi berikut:
$n\in\mathbb N$adalah Jumlah Invarian Basis-Eksponen = Strongly Power Invariant Number (SPIN) , jika itu adalah jumlah invarian eksponen dari pangkat sempurna non-invarian unik:
$$ n=\sum_{i=1}^{k} a_{i}^{b_{i}}=\sum_{i=1}^{k} b_{i}^{a_{i}}, \quad a_{i}>1, b_{i}>1, \quad a_{i}^{b_{i}} \neq b_{i}^{a_{i}}, \quad\left(i \neq j \Longrightarrow\left\{a_{i}, b_{i}\right\} \neq\left\{a_{j}, b_{j}\right\}\right) $$
Misalnya, SPIN terkecil yang dimiliki $k=6$ istilah dalam jumlah dan sama dengan:
$$\begin{align} 432 &= 3^{2}+5^{2}+2^{6}+3^{4}+5^{3}+2^{7} \\&= 2^{3}+2^{5}+6^{2}+4^{3}+3^{5}+7^{2}. \end{align}$$
Beberapa angka $n$sesuai dengan lebih dari satu jumlah. Sebagai contoh:
$$ \begin{align} 1554&=3^{2}+7^{2}+6^{3}+2^{8}+4^{5} \\ &=2^{3}+2^{7}+3^{6}+8^{2}+5^{4}, \\ 1554&=3^{2}+5^{2}+2^{6}+10^{2}+2^{7}+3^{5}+2^{8}+3^{6}\\ &=2^{3}+2^{5}+6^{2}+2^{10}+7^{2}+5^{3}+8^{2}+6^{3}. \end{align} $$
$1554$ sama dengan satu $5$-jumlah jangka waktu dan ke satu $8$jumlah jangka waktu.
Hingga $n\le 10^4$, Ada $887$ SPIN (menghitung duplikat), https://pastebin.com/5ArkFif4.
Tapi, kami tertarik dengan contoh di mana $k$ - jumlah suku (jumlah), kecil.
$(k\le 5)$ istilah SPIN
Hingga $n\le 10^{20}$, hanya ada $14$ SPIN dengan $5$ atau kurang istilah, dan mereka semua memiliki $5$ istilah:
$$\begin{array}{} 1422 &= 5^{2} + 7^{2} + 9^{2} + 3^{5} + 4^{5} &= 2^{5} + 2^{7} + 2^{9} + 5^{3} + 5^{4} \\ 1464 &= 5^{2} + 6^{2} + 7^{2} + 5^{4} + 3^{6} &= 2^{5} + 2^{6} + 2^{7} + 4^{5} + 6^{3} \\ 1554 &= 2^{3} + 8^{2} + 2^{7} + 5^{4} + 3^{6} &= 3^{2} + 2^{8} + 7^{2} + 4^{5} + 6^{3} \\ 2612 &= 5^{2} + 6^{2} + 11^{2} + 3^{5} + 3^{7} &= 2^{5} + 2^{6} + 2^{11} + 5^{3} + 7^{3} \\ 3127 &= 2^{3} + 6^{3} + 7^{3} + 2^{9} + 2^{11} &= 3^{2} + 3^{6} + 3^{7} + 9^{2} + 11^{2} \\ 4481 &= 6^{2} + 10^{2} + 11^{2} + 2^{7} + 4^{6} &= 2^{6} + 2^{10} + 2^{11} + 7^{2} + 6^{4} \\ 5644 &= 9^{2} + 10^{2} + 7^{3} + 4^{5} + 4^{6} &= 2^{9} + 2^{10} + 3^{7} + 5^{4} + 6^{4} \\ 16122 &= 2^{3} + 4^{3} + 13^{2} + 2^{8} + 5^{6} &= 3^{2} + 3^{4} + 2^{13} + 8^{2} + 6^{5} \\ 68521 &= 8^{2} + 5^{4} + 10^{3} + 6^{4} + 4^{8} &= 2^{8} + 4^{5} + 3^{10} + 4^{6} + 8^{4} \\ 77129 &= 12^{2} + 16^{2} + 6^{4} + 4^{7} + 3^{10} &= 2^{12} + 2^{16} + 4^{6} + 7^{4} + 10^{3} \\ 82583 &= 5^{2} + 3^{4} + 16^{2} + 2^{12} + 5^{7} &= 2^{5} + 4^{3} + 2^{16} + 12^{2} + 7^{5} \\ 1065585 &= 9^{2} + 12^{2} + 20^{2} + 4^{7} + 4^{10} &= 2^{9} + 2^{12} + 2^{20} + 7^{4} + 10^{4} \\ 4227140 &= 13^{2} + 7^{4} + 11^{4} + 5^{6} + 2^{22} &= 2^{13} + 4^{7} + 4^{11} + 6^{5} + 22^{2} \\ 6164560 &= 18^{2} + 7^{5} + 5^{9} + 2^{21} + 8^{7} &= 2^{18} + 5^{7} + 9^{5} + 21^{2} + 7^{8} \end{array}$$
di mana yang terbesar lebih kecil dari $10^7 \ll 10^{20}$.
Dugaan: Tidak ada SPIN dengan kurang dari$5$ istilah.
Dugaan: Tepatnya ada$14$ SPIN dengan persis $5$ istilah.
Ini mungkin sulit dibuktikan.
Misalnya masalah yang mirip dengan $k=2$ ditautkan oleh https://math.stackexchange.com/q/3795656/318073#comment7868924_3795656; yang masih buka:https://math.stackexchange.com/q/3286093/318073. Itu adalah,$k=2$ setara dengan masalah terkait tetapi untuk $a^b-b^a$ sebagai gantinya:
$$ a^b+c^d=b^a+d^c \iff a^b-b^a = d^c - c^d. $$
$(k\ge 6)$ istilah SPIN
Dugaan: Untuk tetap apa pun$k\ge 6$, ada banyak sekali $k$-term SPIN.
Yaitu, yang diketahui $20$keluarga jangka waktu:
$$ n(t) = 2^{2t} + 2^{2t+8}+ 2^{2t+16} + 2^{2t+32} + 2^{2t+34} + 4^{t+1} + 4^{t+2} + 4^{t+10} + 4^{t+14} + 4^{t+18} + t^{4} + (t+4)^{4} + (t+8)^{4} + (t+16)^{4} + (t+17)^{4} + (2t+2)^{2} + (2t+4)^{2} + (2t+20)^{2} + (2t+28)^{2} + (2t+36)^{2} $$
memberikan a $20$-term SPIN untuk setiap $t\gt 4$, tapi saya mengklaim bahwa a $6$keluarga -term $n(t_1,t_2,\dots)$ ada.
Tapi, ini mungkin juga sulit untuk ditunjukkan.
Dalam upaya saya menemukan keluarga seperti itu, saya menemukan "jenis khusus" $k=6$ contoh.
$(k = 6)$ istilah SPIN, dari jenis khusus
Hingga $n\le 10^{10}$, Ada $101$ SPIN dengan $6$ istilah; https://htmlpreview.github.io/?https://github.com/virv/SPIN/blob/master/SPINs.html.
Sebenarnya mungkin untuk menemukan contoh yang sangat besar $k=6$. Sebagai contoh,
$$ n^* = 2^5 + 11^2 + 2^{28} + 52^2 + 8192^4 + 2^{16384} = 5^2 + 2^{11} + 28^2 + 2^{52} + 4^{8192} + 16384^2 $$
memiliki $4933$ angka desimal (lebih besar dari $n^*\gt 10^{4932}$).
Ini dapat ditemukan dengan menelusuri "jenis khusus" dari $6$-term SPINs:
$$ n^{*}=\sum_{i=1}^4a_i^{b_i} + x^4 + 2^{2x} =\sum_{i=1}^4b_i^{a_i} + 4^x + (2x)^2 $$
yang banyak karena $|(4^x-x^4) - ((2x)^2-2^{2x})|$adalah "cukup kecil" . Itu adalah,
ketika saya mencari file $k=2$ Misalnya, saya mencoba meminimalkan "kesalahan":
$$|(a_1^{b_1}-b_1^{a_1})-(a_2^{b_2}-b_2^{a_2})|$$
untuk masa jabatan pertama yang tetap $i=1$ dan menemukan suku kedua terdekat yang lebih kecil $i=2$.
Dalam plot logaritmik "kesalahan" untuk yang pertama $1000$ istilah $(a_i^{b_i}-b_i^{a_i})$ kami menemukan:
bahwa $\{a_1,b_1\}=\{4,x\}$ dan $\{a_2,b_2\}=\{2x,2\}$ memiliki "kesalahan" terkecil. Artinya, amati busur titik ("kesalahan") yang paling dekat dengan sumbu x, yang saya warnai dengan warna hijau.
Kesalahan ini terkadang dapat dikurangi menjadi $0$ dengan menambahkan $4$ istilah tambahan, yang memberikan a $6$contoh jangka waktu "jenis khusus" ini $n^{*}$.
Hingga $n^{*}\le 10^{20}$, Ada $41$ dari "jenis khusus" ini $6$-term SPINs:
$$\begin{align} 3^{2} + 5^{2} + 2^{7} + 5^{3} + 3^{4} + 2^{6} &=& 2^{3} + 2^{5} + 7^{2} + 3^{5} + 4^{3} + 6^{2} \\ 2^{5} + 3^{4} + 5^{3} + 9^{2} + 5^{4} + 2^{10} &=& 5^{2} + 4^{3} + 3^{5} + 2^{9} + 4^{5} + 10^{2} \\ 2^{3} + 3^{4} + 6^{2} + 6^{3} + 5^{4} + 2^{10} &=& 3^{2} + 4^{3} + 2^{6} + 3^{6} + 4^{5} + 10^{2} \\ 2^{3} + 7^{3} + 8^{3} + 5^{6} + 3^{4} + 2^{6} &=& 3^{2} + 3^{7} + 3^{8} + 6^{5} + 4^{3} + 6^{2} \\ 5^{2} + 7^{2} + 8^{2} + 11^{2} + 7^{4} + 2^{14} &=& 2^{5} + 2^{7} + 2^{8} + 2^{11} + 4^{7} + 14^{2} \\ 7^{2} + 4^{6} + 2^{14} + 9^{3} + 3^{4} + 2^{6} &=& 2^{7} + 6^{4} + 14^{2} + 3^{9} + 4^{3} + 6^{2} \\ 6^{2} + 2^{8} + 2^{9} + 6^{4} + 7^{4} + 2^{14} &=& 2^{6} + 8^{2} + 9^{2} + 4^{6} + 4^{7} + 14^{2} \\ 3^{7} + 6^{5} + 13^{2} + 4^{7} + 3^{4} + 2^{6} &=& 7^{3} + 5^{6} + 2^{13} + 7^{4} + 4^{3} + 6^{2} \\ 2^{3} + 7^{2} + 2^{8} + 12^{2} + 8^{4} + 2^{16} &=& 3^{2} + 2^{7} + 8^{2} + 2^{12} + 4^{8} + 16^{2} \\ 3^{2} + 5^{2} + 3^{5} + 12^{2} + 8^{4} + 2^{16} &=& 2^{3} + 2^{5} + 5^{3} + 2^{12} + 4^{8} + 16^{2} \\ 8^{2} + 5^{4} + 4^{6} + 8^{3} + 8^{4} + 2^{16} &=& 2^{8} + 4^{5} + 6^{4} + 3^{8} + 4^{8} + 16^{2} \\ 2^{6} + 9^{2} + 5^{7} + 8^{4} + 5^{4} + 2^{10} &=& 6^{2} + 2^{9} + 7^{5} + 4^{8} + 4^{5} + 10^{2} \\ 5^{3} + 8^{3} + 7^{5} + 2^{16} + 7^{4} + 2^{14} &=& 3^{5} + 3^{8} + 5^{7} + 16^{2} + 4^{7} + 14^{2} \\ 3^{2} + 2^{11} + 2^{13} + 14^{2} + 9^{4} + 2^{18} &=& 2^{3} + 11^{2} + 13^{2} + 2^{14} + 4^{9} + 18^{2} \\ 9^{2} + 7^{3} + 5^{7} + 16^{2} + 9^{4} + 2^{18} &=& 2^{9} + 3^{7} + 7^{5} + 2^{16} + 4^{9} + 18^{2} \\ 6^{3} + 3^{7} + 2^{13} + 9^{3} + 10^{4} + 2^{20} &=& 3^{6} + 7^{3} + 13^{2} + 3^{9} + 4^{10} + 20^{2} \\ 2^{9} + 6^{4} + 3^{10} + 16^{2} + 10^{4} + 2^{20} &=& 9^{2} + 4^{6} + 10^{3} + 2^{16} + 4^{10} + 20^{2} \\ 3^{2} + 3^{4} + 8^{2} + 7^{4} + 11^{4} + 2^{22} &=& 2^{3} + 4^{3} + 2^{8} + 4^{7} + 4^{11} + 22^{2} \\ 7^{2} + 2^{10} + 2^{12} + 9^{3} + 11^{4} + 2^{22} &=& 2^{7} + 10^{2} + 12^{2} + 3^{9} + 4^{11} + 22^{2} \\ 11^{2} + 12^{2} + 13^{2} + 7^{4} + 13^{4} + 2^{26} &=& 2^{11} + 2^{12} + 2^{13} + 4^{7} + 4^{13} + 26^{2} \\ 5^{2} + 4^{7} + 2^{14} + 10^{3} + 13^{4} + 2^{26} &=& 2^{5} + 7^{4} + 14^{2} + 3^{10} + 4^{13} + 26^{2} \\ 5^{3} + 4^{7} + 9^{3} + 15^{2} + 14^{4} + 2^{28} &=& 3^{5} + 7^{4} + 3^{9} + 2^{15} + 4^{14} + 28^{2} \\ 7^{2} + 8^{3} + 2^{17} + 7^{6} + 14^{4} + 2^{28} &=& 2^{7} + 3^{8} + 17^{2} + 6^{7} + 4^{14} + 28^{2} \\ 2^{9} + 3^{7} + 3^{8} + 10^{3} + 15^{4} + 2^{30} &=& 9^{2} + 7^{3} + 8^{3} + 3^{10} + 4^{15} + 30^{2} \\ 5^{4} + 6^{4} + 7^{4} + 15^{2} + 15^{4} + 2^{30} &=& 4^{5} + 4^{6} + 4^{7} + 2^{15} + 4^{15} + 30^{2} \\ 3^{4} + 9^{2} + 8^{3} + 10^{3} + 16^{4} + 2^{32} &=& 4^{3} + 2^{9} + 3^{8} + 3^{10} + 4^{16} + 32^{2} \\ 13^{2} + 3^{9} + 6^{7} + 9^{4} + 17^{4} + 2^{34} &=& 2^{13} + 9^{3} + 7^{6} + 4^{9} + 4^{17} + 34^{2} \\ 2^{8} + 8^{3} + 15^{2} + 16^{2} + 18^{4} + 2^{36} &=& 8^{2} + 3^{8} + 2^{15} + 2^{16} + 4^{18} + 36^{2} \\ 2^{5} + 6^{2} + 2^{11} + 17^{2} + 19^{4} + 2^{38} &=& 5^{2} + 2^{6} + 11^{2} + 2^{17} + 4^{19} + 38^{2} \\ 4^{3} + 2^{7} + 3^{7} + 17^{2} + 19^{4} + 2^{38} &=& 3^{4} + 7^{2} + 7^{3} + 2^{17} + 4^{19} + 38^{2} \\ 5^{6} + 5^{7} + 16^{2} + 7^{6} + 20^{4} + 2^{40} &=& 6^{5} + 7^{5} + 2^{16} + 6^{7} + 4^{20} + 40^{2} \\ 5^{3} + 6^{4} + 7^{4} + 11^{3} + 21^{4} + 2^{42} &=& 3^{5} + 4^{6} + 4^{7} + 3^{11} + 4^{21} + 42^{2} \\ 2^{9} + 3^{7} + 15^{2} + 8^{5} + 25^{4} + 2^{50} &=& 9^{2} + 7^{3} + 2^{15} + 5^{8} + 4^{25} + 50^{2} \\ 2^{8} + 2^{13} + 4^{8} + 19^{2} + 26^{4} + 2^{52} &=& 8^{2} + 13^{2} + 8^{4} + 2^{19} + 4^{26} + 52^{2} \\ 2^{17} + 9^{4} + 4^{24} + 48^{2} + 26^{4} + 2^{52} &=& 17^{2} + 4^{9} + 24^{4} + 2^{48} + 4^{26} + 52^{2} \\ 17^{2} + 4^{9} + 4^{26} + 52^{2} + 24^{4} + 2^{48} &=& 2^{17} + 9^{4} + 26^{4} + 2^{52} + 4^{24} + 48^{2} \\ 5^{2} + 2^{11} + 9^{4} + 8^{5} + 28^{4} + 2^{56} &=& 2^{5} + 11^{2} + 4^{9} + 5^{8} + 4^{28} + 56^{2} \\ 2^{7} + 10^{3} + 4^{10} + 13^{3} + 28^{4} + 2^{56} &=& 7^{2} + 3^{10} + 10^{4} + 3^{13} + 4^{28} + 56^{2} \\ 2^{8} + 2^{11} + 13^{2} + 10^{4} + 32^{4} + 2^{64} &=& 8^{2} + 11^{2} + 2^{13} + 4^{10} + 4^{32} + 64^{2} \\ 6^{2} + 2^{10} + 4^{6} + 20^{2} + 32^{4} + 2^{64} &=& 2^{6} + 10^{2} + 6^{4} + 2^{20} + 4^{32} + 64^{2} \\ 5^{3} + 2^{19} + 12^{3} + 10^{4} + 32^{4} + 2^{64} &=& 3^{5} + 19^{2} + 3^{12} + 4^{10} + 4^{32} + 64^{2} \\ \end{align}$$
Tampaknya ada banyak sekali contoh "jenis khusus" ini.
Tampaknya juga ada lebih banyak lagi yang tak terhingga $6$-term SPIN (yang bukan "jenis khusus").
Tapi sekali lagi, ini mungkin sulit dibuktikan.
Kita mungkin juga dapat menghasilkan banyak contoh dengan mempertimbangkan "busur terbaik kedua" di atas busur hijau, dan seterusnya. Selanjutnya, kami dapat mencoba mengamati kesalahan terkecil untuk yang lebih besar$k\gt 2$, dan mencoba memperluasnya ke lebih banyak contoh dan contoh $k\gt 6$.
Tapi untuk $k\le 5$, kesalahan tampaknya terlalu besar untuk ada contoh besar.