Showing posts with label circulant matrix. Show all posts
Showing posts with label circulant matrix. Show all posts

Friday, 7 August 2026

Sums of Digits

The number associated with my diurnal age today, 28248, has the property that its digits raised to the fourth power are equal to its totient.$$ \begin{align} 2^4 + 8^4 + 2^4 + 4^4 + 8^4 &= 8480 \\ \phi(28248) &= 8480 \end{align}$$This qualifies it for membership in OEIS A269669:


A269669
numbers whose Euler totient function is equal to the sum of some fixed power of their digits.

The numbers in this sequence are few and far between, with 28248 being the last in the range up to 40000. The initial members are 1, 2, 20, 40, 228, 352, 712, 813, 835, 2079, 4020, 28248. Take 20 as another example:$$ \begin{align} 2^3 + 0^3 &= 8 \\ \phi(20) &= 8 \end{align}$$As part of my daily number analysis, I consider:

  • the sum of the digits of a number
  • the sum of the digits squared of a number
  • the sum of the digits cubed of a number
If all three sums are prime, then I make a note of it. I consider higher powers of the digits in the context of narcissistic numbers where a narcissistic number is defined as a \(k\)-digit nonnegative number equal to the sum of the \(k\)-th powers of its digits. An example is of such a number is 9474 where:$$9474=9^4+4^4+7^4+4^4$$D-powerful numbers are similar but are defined as integers that can be expressed as a sum of positive powers of their digits. An example is 994 where:$$994=9^3+9^1+4^4$$OEIS A269669 relates such sums to a number's totient which I hadn't thought of doing before. This idea can be extended to other number properties of a number and I've included a list of such properties as output from my daily number analysis. The example below is for 28248 where the equality between its totient and the sum of its digits raised to the fourth power can be clearly seen.

  Daily Number                      28248
  Sum of Divisors                   77760
  Sum of Proper Divisors            49512
  Totient                           8480
  Sum of DISTINCT prime factors     123
  Sum of Unitary Divisors           46656
  Sum of Digits                     24
  Sum of Digits Squared             152
  Sum of Digits Cubed               1104
  Sum of Digits to Fourth Power     8480
  Sum of Digits to Fifth Power      66624
  Product of Digits                 1024
  Gray Code                         22900
  Binary Complement                 4519
  Arithmetic Derivative             54620
  Determinant of Circulant Matrix   11904

If we search for numbers whose arithmetic derivative is equal to the sum of some fixed power of their digits, we don't find many. In the case of \(n=2\), we only have 581, 8549 and 16999 with sums of digits squared and arithmetic derivatives of 90,186 and 280 respectively in the range up to 40000. For \(n=3\) we only have 142, 6127 and 12643 with sums of digits cubed and arithmetic derivatives of 73, 568 and 316 respectively. For higher powers, nothing in the range up to 40000. Here is the permalink.$$ \begin{align} 581 &\rightarrow 5^2+8^2+1^2 = 90 \text{ = arithmetic derivative of 581} \\ 8549 &\rightarrow 8^2+5^2+4^2+9^2 = 186 \text{ = arithmetic derivative of 8549} \\ 16999 &\rightarrow 1^2+6^2+9^2+9^2+9^2 = 280 \text{ = arithmetic derivative of 16999} \\ 142 &\rightarrow 1^2+4^3+2^3 = 73 \text{ = arithmetic derivative of 142} \\ 6127 &\rightarrow 6^3+1^3+2^3+7^3 = 568 \text{ = arithmetic derivative of 6127} \\ 12643 &\rightarrow 1^3+2^3+6^3+4^3+3^3 =316 \text{ = arithmetic derivative of 12643} \end{align}$$

Thursday, 23 July 2026

Pronic Determinants of Circulant Matrices

Consider the number 28235 that is my diurnal age today. It has a circulant matrix with a determinant 10100 that is a pronic number since 10100 = 100 x 101.$$\begin{bmatrix}

2 & 8 & 2 & 3 & 5 \\

8 & 2 & 3 & 5 & 2 \\

2 & 3 & 5 & 2 & 8 \\

3 & 5 & 2 & 8 & 2 \\

5 & 2 & 8 & 2 & 3

\end{bmatrix}$$What's interesting is that most of the permutations of the digits of 28235 have determinants of their circulant matrices that are also pronic (permalink).

Number       | Determinant     | Factorisation  
------------------------------------------------
22358        | 15500           | 124 x 125      
22385        | 10100           | 100 x 101      
22538        | 19100           |                
22583        | 10100           | 100 x 101      
22835        | 19100           |                
22853        | 15500           | 124 x 125      
23258        | 19100           |                
23285        | 19100           |                
23528        | 10100           | 100 x 101      
23582        | 15500           | 124 x 125      
23825        | 15500           | 124 x 125      
23852        | 10100           | 100 x 101      
25238        | 15500           | 124 x 125      
25283        | 15500           | 124 x 125      
25328        | 10100           | 100 x 101      
25382        | 19100           |                
25823        | 19100           |                
25832        | 10100           | 100 x 101      
28235        | 10100           | 100 x 101      
28253        | 10100           | 100 x 101      
28325        | 15500           | 124 x 125      
28352        | 19100           |                
28523        | 19100           |                
28532        | 15500           | 124 x 125      
32258        | 10100           | 100 x 101      
32285        | 15500           | 124 x 125      
32528        | 15500           | 124 x 125      
32582        | 19100           |                
32825        | 10100           | 100 x 101      
32852        | 19100           |                
35228        | 19100           |                
35282        | 10100           | 100 x 101      
35822        | 15500           | 124 x 125      
38225        | 19100           |                
38252        | 15500           | 124 x 125      
38522        | 10100           | 100 x 101      
52238        | 10100           | 100 x 101      
52283        | 19100           |                
52328        | 19100           |                
52382        | 15500           | 124 x 125      
52823        | 10100           | 100 x 101      
52832        | 15500           | 124 x 125      
53228        | 15500           | 124 x 125      
53282        | 10100           | 100 x 101      
53822        | 19100           |                
58223        | 15500           | 124 x 125      
58232        | 19100           |                
58322        | 10100           | 100 x 101      
82235        | 15500           | 124 x 125      
82253        | 19100           |                
82325        | 19100           |                
82352        | 10100           | 100 x 101      
82523        | 15500           | 124 x 125      
82532        | 10100           | 100 x 101      
83225        | 10100           | 100 x 101      
83252        | 15500           | 124 x 125      
83522        | 19100           |                
85223        | 10100           | 100 x 101      
85232        | 19100           |                
85322        | 15500           | 124 x 125  


Note that it is only when the determinant is 19100 that it is not pronic since 19100 = 100 x 191. In my post titled Determinants of Circulant Matrices, I listed all numbers up to 40000 with the property that the determinants of their circulant matrices were pronic. The numbers between 28000 and 40000 are:

28235, 28253, 28325, 28327, 28453, 28479, 28532, 28543, 28574, 28619, 28732, 28776, 29054, 29168, 29245, 29254, 29555, 29700, 29748, 30171, 30179, 30566, 30575, 30665, 30900, 31100, 31107, 31134, 31233, 31323, 31332, 31355, 31358, 31385, 31400, 31413, 31422, 31440, 31510, 31637, 31646, 31684, 31763, 31907, 32124, 32133, 32223, 32232, 32241, 32258, 32285, 32287, 32313, 32322, 32331, 32528, 32728, 32825, 32845, 32854, 32960, 33123, 33132, 33141, 33176, 33213, 33222, 33231, 33312, 33321, 33335, 33353, 33515, 33518, 33533, 33569, 33671, 33789, 33815, 33965, 33987, 34100, 34166, 34212, 34258, 34311, 34410, 34582, 34599, 34700, 34861, 35153, 35183, 35248, 35282, 35333, 35482, 35507, 35531, 35606, 35693, 35822, 35831, 35936, 35949, 35996, 35999, 36056, 36065, 36137, 36359, 36395, 36418, 36461, 36506, 36614, 36713, 36920, 36995, 37011, 37055, 37091, 37316, 37361, 37400, 37700, 37799, 37822, 37893, 37938, 37979, 38146, 38153, 38252, 38272, 38379, 38397, 38425, 38522, 38524, 38531, 39495, 39536, 39569, 39599, 39653, 39659, 39738, 39797, 39873, 39900, 39954, 39959, 39977, 39995

Note that with 28235 and its digit permutations there are TWO determinants that satisfy. These are:
  • \(10100 = 100 \times 101\)
  • \(15500 = 124 \times 125\)
This is generally not the case. Consider 28327 and its digit permutations where only the determinant 14762 = 121 x 122 satisfies (permalink).

Number       | Determinant     | Factorisation  
------------------------------------------------
22378        | 14762           | 121 x 122      
22387        | 11462           |                
22738        | 27962           |                
22783        | 11462           |                
22837        | 27962           |                
22873        | 14762           | 121 x 122      
23278        | 27962           |                
23287        | 27962           |                
23728        | 11462           |                
23782        | 14762           | 121 x 122      
23827        | 14762           | 121 x 122      
23872        | 11462           |                
27238        | 14762           | 121 x 122      
27283        | 14762           | 121 x 122      
27328        | 11462           |                
27382        | 27962           |                
27823        | 27962           |                
27832        | 11462           |                
28237        | 11462           |                
28273        | 11462           |                
28327        | 14762           | 121 x 122      
28372        | 27962           |                
28723        | 27962           |                
28732        | 14762           | 121 x 122      
32278        | 11462           |                
32287        | 14762           | 121 x 122      
32728        | 14762           | 121 x 122      
32782        | 27962           |                
32827        | 11462           |                
32872        | 27962           |                
37228        | 27962           |                
37282        | 11462           |                
37822        | 14762           | 121 x 122      
38227        | 27962           |                
38272        | 14762           | 121 x 122      
38722        | 11462           |                
72238        | 11462           |                
72283        | 27962           |                
72328        | 27962           |                
72382        | 14762           | 121 x 122      
72823        | 11462           |                
72832        | 14762           | 121 x 122      
73228        | 14762           | 121 x 122      
73282        | 11462           |                
73822        | 27962           |                
78223        | 14762           | 121 x 122      
78232        | 27962           |                
78322        | 11462           |                
82237        | 14762           | 121 x 122      
82273        | 27962           |                
82327        | 27962           |                
82372        | 11462           |                
82723        | 14762           | 121 x 122      
82732        | 11462           |                
83227        | 11462           |                
83272        | 14762           | 121 x 122      
83722        | 27962           |                
87223        | 11462           |                
87232        | 27962           |                
87322        | 14762           | 121 x 122   

Thursday, 26 September 2024

Digit Permutations of Numbers


I've written about permutations of the digits of a number in many posts. For example, in my recent post titled
Determinants of Circulant Matrices (11th of August 2024) I looked at circulant matrices that have determinants with digits that are permutations of the number's digits. In this current post, I'll be looking at some new types, specifically where the digits of the number are equal to:

  • a permutation of the digits of the aliquot sum of the divisors of the number
  • a permutation of the digits of the sum of the divisors of the number
  • a permutation of the digits of the totient of the number

SUM OF PROPER DIVISORS

There are 37 numbers in the range up to 40,000 that have the same digits as the sum of their proper divisors. These numbers are listed below together with the permutation. Notice that perfect numbers remain unchanged. Permalink.

(6, 6), (28, 28), (411, 141), (496, 496), (604, 460), (1305, 1035), (3664, 3466), (4086, 4806), (4672, 4726), (4896, 9846), (5046, 5406), (7785, 5787), (8128, 8128), (8739, 3897), (9331, 1933), (14535, 13545), (16012, 12016), (18342, 21438), (18585, 18855), (19648, 19468), (20634, 23046), (21534, 23154), (21628, 16228), (22365, 22563), (25911, 11529), (27568, 25876), (28108, 21088), (29160, 69210), (29188, 21898), (31185, 38511), (32091, 13029), (32271, 12273), (34956, 53496), (35898, 38598), (35925, 23595), (36172, 27136), (37698, 39678)

These numbers constitute OEIS A085844 and they are:

6, 28, 411, 496, 604, 1305, 3664, 4086, 4672, 4896, 5046, 7785, 8128, 8739, 9331, 14535, 16012, 18342, 18585, 19648, 20634, 21534, 21628, 22365, 25911, 27568, 28108, 29160, 29188, 31185, 32091, 32271, 34956, 35898, 35925, 36172, 37698

SUM OF DIVISORS

There are 45 numbers in the range up to 40,000 that have the same digits as the sum of their divisors including the number itself this time. These numbers are listed below together with the permutations. Permalink.

(1, 1), (69, 96), (258, 528), (270, 720), (276, 672), (609, 960), (639, 936), (2391, 3192), (2556, 6552), (2931, 3912), (3409, 3904), (3678, 7368), (3679, 3976), (4291, 4912), (5092, 9520), (6937, 7936), (8251, 8512), (10231, 11032), (12087, 18720), (12931, 13192), (15480, 51480), (16387, 18736), (20850, 52080), (22644, 62244), (22893, 32928), (24369, 32496), (26145, 52416), (26442, 62244), (27846, 78624), (28764, 78624), (29880, 98280), (29958, 59928), (30823, 33208), (31812, 81312), (32658, 65328), (34207, 34720), (34758, 75348), (34909, 39904), (36045, 65340), (36249, 49632), (36729, 67392), (36978, 73968), (36990, 99360), (38491, 39184), (38538, 83538)

These numbers constitute OEIS A115920 and they are:

1, 69, 258, 270, 276, 609, 639, 2391, 2556, 2931, 3409, 3678, 3679, 4291, 5092, 6937, 8251, 10231, 12087, 12931, 15480, 16387, 20850, 22644, 22893, 24369, 26145, 26442, 27846, 28764, 29880, 29958, 30823, 31812, 32658, 34207, 34758, 34909, 36045, 36249, 36729, 36978, 36990, 38491, 38538

TOTIENT

There are 36 numbers in the range up to 40,000 that have the same digits as their totients. These numbers are listed below together with the permutations. Permalink.

(1, 1), (21, 12), (63, 36), (291, 192), (502, 250), (2518, 1258), (2817, 1872), (2991, 1992), (4435, 3544), (5229, 2952), (5367, 3576), (5637, 3756), (6102, 2016), (6174, 1764), (6543, 4356), (6822, 2268), (7236, 2376), (7422, 2472), (8022, 2280), (8541, 5184), (8982, 2988), (17631, 11736), (18231, 11832), (18261, 12168), (20301, 13200), (20518, 10258), (20617, 20176), (21058, 10528), (22471, 21472), (22851, 15228), (25196, 12596), (25918, 12958), (27615, 12576), (29817, 19872), (34816, 16384), (35683, 33568)

These numbers constitute OEIS A115921 and all except 1 are deficient. They are:

1, 21, 63, 291, 502, 2518, 2817, 2991, 4435, 5229, 5367, 5637, 6102, 6174, 6543, 6822, 7236, 7422, 8022, 8541, 8982, 17631, 18231, 18261, 20301, 20518, 20617, 21058, 22471, 22851, 25196, 25918, 27615, 29817, 34816, 35683

Monday, 23 September 2024

More Numbers Within Numbers


In 
December of 2022, I made a post titled Numbers Within Numbers and so for this post I've made the title More Numbers Within Numbers but the types of numbers considered in the former post are quite different to the ones I'll be considering in this post. The idea for this post came from a peculiarity in the number associated with my diurnal age today: 27567.

What I mean by a number within a number in this present context is simply a substring of the number viewed as a string. Here the substring being considered is "27" that is contained within the larger string "27567". Thus we see that:$$ {\Large \textbf{27} 567}$$Now let's consider the sum of digits of the number:$${\Large \textbf{27} 567 \rightarrow  2 + 7 + 5 + 6+7= \textbf{27}}$$Let's move on to the factorisation where we have:$${\Large \textbf{27} 567= \textbf{27} \times 1021}$$Now what about the totient? We find that 27567 has a totient of 18360 and$$ {\Large 18360 = 5 \times 8 \times 17 \times \textbf{27}} $$Lastly, let's find the absolute value of the determinant of the circulant matrix of 27567. It turns out to be 6777 and$$  {\Large 6777  = \textbf{27} \times 251}  $$Thus in the case of 27567, the number within a number (27) turns up:

  • in the digits of the number
  • as the sum of the digits of the number
  • in the factors of the number
  • in the factors of the totient
  • in the factors of the determinant of the circulant matrix
It can be noted that 27567 is a Harshad number since it is a multiple of its sum of digits (27), and also a Moran number because the ratio is a prime number: 1021 = 27567 / (2 + 7 + 5 + 6 + 7).

The natural question to ask then is how many numbers in the range up to 40000 have this property? It turns out that there are only 18 such numbers with details as shown in Table 1.


Table 1: permalink

So what about other numbers? Let's start with a substring "1". There are five numbers satisfying the previous criteria in the range up to 40000. See Table 2.


Table 2: permalink

For substring "2", there are four numbers satisfying the criteria. See Table 3.


Table 3: permalink

For the substring "3", there are no numbers that meet the criteria. For the substring "4", there are appropriately four numbers that satisfy. See Table 4.


Table 4: permalink

For the substring "5", there are three numbers that meet the criteria. See Table 5.


Table 5: permalink

For substrings "6" and "7", no numbers qualify but for the substring "8" there are three numbers that do. See Table 6.


Table 6: permalink

There are no numbers that satisfy for "9" but there are 23 numbers that satisfy for "10". See Table 7.


Table 7: permalink

For "11", no numbers that satisfy but for "12" there are 39 numbers that satisfy. See Table 8.


Table 8: permalink

For "13", there are two numbers that satisfy. See Table 9.


Table 9: permalink

For "14", there are three numbers that satisfy. See Table 10.


Table 10: permalink

For "15", there are 26 numbers that satisfy. See Table 11.


Table 11: permalink

For "16", there are 14 numbers that satisfy. See Table 12.


Table 12: permalink

For "17", there is only one number. See Table 13.


Table 13: permalink

For "18", there is a grand total of 69 numbers that qualify. See Table 14.


Table 14: permalink

For "19", there are no numbers that qualify but for "20" there are four. See Table 15.


Table 15: permalink

For "21", there are three numbers that qualify. See Table 16.


Table 16: permalink

For "22", there are two numbers that satisfy. See Table 17.


Table 17: permalink

For "23", there is only one number that satisfies. See Table 18.


Table 18: permalink

For "24", there are nine numbers that satisfy. See Table 19.


Table 19: permalink

For "25", there are four numbers that satisfy. See Table 20.


Table 20: permalink

For "26", there are no numbers that qualify and we've already dealt with "27". For "28", there is only one number that satisfies. See Table 21.


Table 21: permalink

That's it for particles in the range up to 40,000 as the SOD criterion makes it difficult  for the digit sum to reach these higher particles. Just to illustrate with an example. Take the particle "29". If we extend the range to one million, then instead of the zero for the range up to 40,000, we have nine numbers that satisfy the criteria. See Table 21.


Table 21: permalink

So, an interesting exercise but purely confined to the realm of recreational Mathematics. There no real reason to conflate the digit sum of a number with its factors as well as its totient and the determinant of its circulant matrix. 

Sunday, 11 August 2024

Determinants of Circulant Matrices

I noticed that the number associated with my diurnal age today has a circulant matrix with a determinant that is a pronic number. The number in question is 27514. This is its circulant matrix. Forgive the formatting as I just copied it from the SageMathCell output.

[2 7 5 2 4]
[4 2 7 5 2]
[2 4 2 7 5]
[5 2 4 2 7]
[7 5 2 4 2]

This matrix has a determinant of 10100 = 100 x 101 and thus pronic. Naturally I wondered how many other numbers between 1 and 40000 share this property and it turns out that 502 do so that's about 1.25% of the range. Here are the numbers (permalink):

2, 6, 20, 42, 60, 64, 93, 95, 101, 113, 131, 134, 143, 200, 204, 279, 297, 309, 311, 314, 341, 347, 374, 377, 399, 402, 413, 420, 431, 437, 446, 464, 473, 479, 497, 600, 640, 644, 677, 729, 734, 737, 743, 749, 767, 773, 776, 789, 792, 794, 798, 879, 897, 903, 927, 930, 939, 947, 950, 972, 974, 978, 987, 993, 1010, 1041, 1130, 1310, 1340, 1430, 2000, 2040, 2253, 2352, 2790, 2970, 3090, 3110, 3140, 3144, 3151, 3296, 3410, 3441, 3470, 3692, 3740, 3770, 3990, 4002, 4011, 4020, 4042, 4130, 4134, 4187, 4192, 4200, 4291, 4310, 4370, 4431, 4460, 4640, 4730, 4781, 4790, 4970, 5061, 5131, 5223, 5322, 6000, 6051, 6374, 6385, 6400, 6440, 6473, 6583, 6770, 7290, 7340, 7364, 7370, 7430, 7463, 7490, 7670, 7730, 7760, 7797, 7890, 7920, 7940, 7980, 8147, 8365, 8389, 8563, 8688, 8697, 8741, 8790, 8796, 8886, 8970, 8983, 9003, 9007, 9030, 9142, 9236, 9241, 9270, 9296, 9300, 9390, 9399, 9470, 9500, 9632, 9687, 9692, 9720, 9740, 9777, 9780, 9786, 9799, 9870, 9930, 9993, 9997, 10001, 10100, 10122, 10227, 10254, 10317, 10397, 10410, 10694, 10731, 10795, 11073, 11112, 11121, 11202, 11211, 11300, 11343, 12021, 12072, 12111, 12333, 12342, 12405, 12432, 12557, 12698, 12702, 13017, 13100, 13224, 13233, 13314, 13323, 13332, 13367, 13400, 13431, 13486, 13553, 13583, 13646, 13701, 13709, 13736, 13853, 14133, 14223, 14300, 14366, 14638, 15006, 15042, 15275, 15335, 15338, 15725, 16005, 16373, 16409, 16463, 16634, 16667, 16676, 16766, 16829, 16843, 17103, 17509, 17552, 17633, 17666, 18335, 18364, 18962, 19046, 19057, 19073, 19286, 20000, 20004, 20145, 20172, 20211, 20400, 20495, 20721, 21012, 21111, 21207, 21234, 21243, 21333, 21504, 21755, 21896, 22017, 22101, 22233, 22314, 22323, 22332, 22358, 22378, 22385, 22413, 22495, 22530, 22547, 22583, 22594, 22745, 22853, 22873, 23133, 23142, 23223, 23232, 23313, 23322, 23331, 23421, 23458, 23520, 23528, 23548, 23582, 23782, 23825, 23827, 23852, 24051, 24132, 24257, 24275, 24321, 24385, 24509, 24529, 24758, 24835, 24952, 24987, 25157, 25238, 25283, 25328, 25384, 25429, 25472, 25487, 25559, 25571, 25595, 25724, 25832, 25834, 25942, 25955, 26778, 26981, 27021, 27102, 27238, 27283, 27452, 27515, 27524, 27687, 27845, 27867, 27894, 27900, 28235, 28253, 28325, 28327, 28453, 28479, 28532, 28543, 28574, 28619, 28732, 28776, 29054, 29168, 29245, 29254, 29555, 29700, 29748, 30171, 30179, 30566, 30575, 30665, 30900, 31100, 31107, 31134, 31233, 31323, 31332, 31355, 31358, 31385, 31400, 31413, 31422, 31440, 31510, 31637, 31646, 31684, 31763, 31907, 32124, 32133, 32223, 32232, 32241, 32258, 32285, 32287, 32313, 32322, 32331, 32528, 32728, 32825, 32845, 32854, 32960, 33123, 33132, 33141, 33176, 33213, 33222, 33231, 33312, 33321, 33335, 33353, 33515, 33518, 33533, 33569, 33671, 33789, 33815, 33965, 33987, 34100, 34166, 34212, 34258, 34311, 34410, 34582, 34599, 34700, 34861, 35153, 35183, 35248, 35282, 35333, 35482, 35507, 35531, 35606, 35693, 35822, 35831, 35936, 35949, 35996, 35999, 36056, 36065, 36137, 36359, 36395, 36418, 36461, 36506, 36614, 36713, 36920, 36995, 37011, 37055, 37091, 37316, 37361, 37400, 37700, 37799, 37822, 37893, 37938, 37979, 38146, 38153, 38252, 38272, 38379, 38397, 38425, 38522, 38524, 38531, 39495, 39536, 39569, 39599, 39653, 39659, 39738, 39797, 39873, 39900, 39954, 39959, 39977, 39995

The determinants can be equal to anything we please, for example prime numbers. Up to 40000, there are 196 numbers with circulant matrices having determinants that are prime numbers. All these primes lie between 2 and 29. The numbers are (permalink):

2, 3, 5, 7, 20, 21, 30, 32, 43, 50, 65, 70, 76, 98, 101, 122, 200, 210, 212, 221, 223, 232, 300, 320, 322, 344, 430, 434, 443, 445, 454, 500, 544, 566, 650, 656, 665, 667, 676, 700, 760, 766, 788, 878, 887, 980, 1010, 1011, 1121, 1220, 2000, 2100, 2111, 2120, 2122, 2210, 2221, 2230, 2320, 3000, 3200, 3220, 3233, 3332, 3343, 3440, 4300, 4333, 4340, 4430, 4450, 4454, 4540, 5000, 5440, 5444, 5455, 5554, 5660, 6500, 6560, 6566, 6650, 6665, 6670, 6760, 7000, 7600, 7660, 7787, 7880, 8777, 8780, 8788, 8870, 8887, 9800, 10001, 10011, 10100, 10101, 10110, 11001, 11122, 11210, 11212, 11221, 11696, 12112, 12121, 12200, 12211, 12332, 12442, 13223, 13663, 14224, 16336, 16619, 16961, 19166, 20000, 20023, 20302, 21000, 21110, 21112, 21121, 21200, 21211, 21220, 21233, 21244, 22100, 22111, 22210, 22223, 22232, 22300, 22313, 22322, 22333, 22414, 22454, 23132, 23200, 23222, 23233, 23321, 23323, 23332, 24142, 24421, 24425, 24542, 25244, 30000, 30035, 30503, 31322, 31366, 32000, 32002, 32123, 32200, 32222, 32231, 32233, 32323, 32330, 32332, 33212, 33223, 33232, 33320, 33322, 33344, 33430, 33434, 33443, 33454, 33616, 34334, 34343, 34400, 34433, 34435, 34444, 34543, 34664, 35344, 35885, 36163, 36446, 36631, 38558

An example is 25244 with the following circulant matrix having a determinant of 17:

[2 5 2 4 4]
[4 2 5 2 4]
[4 4 2 5 2]
[2 4 4 2 5]
[5 2 4 4 2]

What about numbers with circulant matrices that have determinants with digits that are permutations of the number's digits? There are 130 numbers that satisfy this criterion. They are (permalink):

1, 2, 3, 4, 5, 6, 7, 8, 9, 84, 148, 158, 184, 185, 247, 259, 269, 274, 295, 296, 307, 378, 387, 407, 418, 427, 472, 481, 518, 529, 581, 592, 629, 692, 703, 704, 724, 738, 742, 783, 814, 815, 837, 841, 851, 873, 925, 926, 952, 962, 1063, 3075, 5174, 5471, 6013, 7035, 7154, 7451, 10548, 12348, 13824, 14085, 14283, 14669, 15804, 16496, 16946, 16978, 17689, 18432, 18796, 19664, 19867, 20627, 20749, 20762, 21843, 22076, 22639, 22936, 23269, 23296, 23396, 23481, 23639, 23778, 23987, 24097, 24138, 26027, 26392, 26702, 26923, 26933, 27206, 27387, 27837, 27893, 27904, 28314, 28379, 28773, 29362, 29363, 29623, 29738, 31428, 32184, 32692, 32693, 32789, 32877, 32936, 32962, 33269, 33962, 34812, 36229, 36329, 36392, 37278, 37782, 37928, 38241, 38297, 38727, 39226, 39236, 39623, 39872

An example is 27837 with a determinant of 23787. Here is a full list of the numbers and their determinants. Determinants that are equal to their associated numbers are highlighted (omitting the trivial single digit numbers - permalink):

1 --> 1
2 --> 2
3 --> 3
4 --> 4
5 --> 5
6 --> 6
7 --> 7
8 --> 8
9 --> 9
84 --> 48
148 --> 481
158 --> 518
184 --> 481
185 --> 518
247 --> 247
259 --> 592
269 --> 629
274 --> 247
295 --> 592
296 --> 629
307 --> 370
378 --> 378
387 --> 378
407 --> 407
418 --> 481
427 --> 247
472 --> 247
481 --> 481
518 --> 518
529 --> 592
581 --> 518
592 --> 592
629 --> 629
692 --> 629
703 --> 370
704 --> 407
724 --> 247
738 --> 378
742 --> 247
783 --> 378
814 --> 481
815 --> 518
837 --> 378
841 --> 481
851 --> 518
873 --> 378
925 --> 592
926 --> 629
952 --> 592
962 --> 629
1063 --> 1360
3075 --> 3075
5174 --> 1547
5471 --> 1547
6013 --> 1360
7035 --> 3075
7154 --> 1547
7451 --> 1547
10548 --> 45018
12348 --> 23418
13824 --> 23418
14085 --> 45018
14283 --> 23418
14669 --> 49166
15804 --> 45018
16496 --> 49166
16946 --> 49166
16978 --> 69781
17689 --> 69781
18432 --> 23418
18796 --> 69781
19664 --> 49166
19867 --> 69781
20627 --> 26027
20749 --> 97042
20762 --> 26027
21843 --> 23418
22076 --> 26027
22639 --> 39622
22936 --> 39622
23269 --> 39622
23296 --> 39622
23396 --> 26933
23481 --> 23418
23639 --> 26933
23778 --> 23787
23987 --> 28739
24097 --> 97042
24138 --> 23418
26027 --> 26027
26392 --> 39622
26702 --> 26027
26923 --> 39622
26933 --> 26933
27206 --> 26027
27387 --> 23787
27837 --> 23787
27893 --> 28739
27904 --> 97042
28314 --> 23418
28379 --> 28739
28773 --> 23787
29362 --> 39622
29363 --> 26933
29623 --> 39622
29738 --> 28739
31428 --> 23418
32184 --> 23418
32692 --> 39622
32693 --> 26933
32789 --> 28739
32877 --> 23787
32936 --> 26933
32962 --> 39622
33269 --> 26933
33962 --> 26933
34812 --> 23418
36229 --> 39622
36329 --> 26933
36392 --> 26933
37278 --> 23787
37782 --> 23787
37928 --> 28739
38241 --> 23418
38297 --> 28739
38727 --> 23787
39226 --> 39622
39236 --> 26933
39623 --> 26933
39872 --> 28739

In summary then there are 19 numbers with determinants equal to the number itself, with 10 being non-trivial. These are (permalink):

1, 2, 3, 4, 5, 6, 7, 8, 9, 247, 378, 407, 481, 518, 592, 629, 3075, 26027, 26933

Thursday, 9 February 2023

A Property of the Determinant of a Circulant Matrix

 I've written about the circulant matrix only twice before in the following posts:

Today, with my diurnal age being 26975, I was struggling to find some interesting properties for this number and my thoughts fell to testing whether the sum of its digits divided the determinant of its circulant matrix. It did. I tested for other numbers and to my surprise this was always the case. What is going on?

Well, it all becomes clear when we consider generalised 2 x 2 circulant matrix (ignoring the trivial case of one digit numbers). Let's start with a generalised two digit number. Let's call it \(ab\). This number produces the circulant matrix shown in Figure 1.

Figure 1

This matrix has a determinant of \(a^2-b^2=(a+b)(a-b) \) and thus \(a+b\) will always divide it. Let's now consider a three digit number \(abc\) with sum of digits \(a+b+c\). It's circulant matrix is shown in Figure 2.

Figure 2

The determinant of this matrix is:$$a^3 - 3 a b c + b^3 + c^3\\ = (a + b + c) (a^2 - a b - a c + b^2 - b c + c^2)$$Once again, \(a+b+c\) will always divide this determinant. Let's look at a four digit number \(abcd\) with sum of digits \(a+b+c+d\). The circulant matrix is shown in Figure 3.

Figure 3

The determinant of this matrix is:$$ \begin{align} a^4 - 4 a^2 b d - 2 a^2 c^2 + 4 a b^2 c + 4 a c d^2 - b^4 + 2 b^2 d^2 - 4 b c^2 d + c^4 - d^4\\=(a - b + c - d) (a + b + c + d) (a^2 - 2 a c + b^2 - 2 b d + c^2 + d^2) \end{align} $$Once again, \(a+b+c+d\) will always divide this determinant. I won't go any further nor attempt a completely generalised proof but it seems apparent that the sum of the digits of any number will always divide the determinant of the number's circulant matrix. A surprising and interesting result.


Figure 4

I give credit to Wolfram Alpha for quickly calculating the determinants and factorising them.


Figure 5

In fact, I felt guilty after using Wolfram Alpha, because I knew SageMath could do the job just as well. So here is the latter's handling of the generalised five digit number \(abcde\). Figure 6 shows the number' circulant matrix:


Figure 6: permalink

Here is the determinant of this matrix:$$ \begin{align} a^5 + b^5 - 5ab^3c + 5a^2bc^2 + c^5\\ + 5a^2b^2d - 5a^3cd - 5bc^3d + 5b^2cd^2 + 5ac^2d^2\\ - 5abd^3 + d^5 - 5a^3be + 5b^2c^2e - 5ac^3e\\ - 5b^3de - 5abcde + 5a^2d^2e - 5cd^3e + 5ab^2e^2\\ + 5a^2ce^2 + 5c^2de^2 + 5bd^2e^2 - 5bce^3 - 5ade^3 + e^5 \end{align}$$This factorises to:$$ \begin{align} (a^4 - a^3b + a^2b^2 - ab^3\\ + b^4 - a^3c + 2a^2bc - 3ab^2c - b^3c\\ + a^2c^2 + 2abc^2 + b^2c^2 - ac^3 - bc^3\\ + c^4 - a^3d + 2a^2bd + 2ab^2d - b^3d\\ - 3a^2cd - abcd + 2b^2cd + 2ac^2d - 3bc^2d\\- c^3d + a^2d^2 - 3abd^2 + b^2d^2 + 2acd^2\\ + 2bcd^2 + c^2d^2 - ad^3 - bd^3 - cd^3 + d^4 \\- a^3e - 3a^2be + 2ab^2e - b^3e + 2a^2ce\\ - abce + 2b^2ce - 3ac^2e + 2bc^2e - c^3e\\ + 2a^2de - abde - 3b^2de - acde - bcde\\ + 2c^2de + 2ad^2e + 2bd^2e - 3cd^2e - d^3e\\ + a^2e^2 + 2abe^2 + b^2e^2 + 2ace^2 - 3bce^2\\ + c^2e^2 - 3ade^2 + 2bde^2 + 2cde^2 + d^2e^2\\ - ae^3 - be^3 - ce^3 - de^3 + e^4)\\(a + b + c + d + e) \end{align} $$Clearly, once again, the sum of the digits \(a+b+c+d+e\) divides the determinant.

If we consider the permanent of the circulant matrix and not the determinant, then out of the first one million numbers there are 106343 numbers, roughly 10%, whose sum of digits divides the permanent (permalink).