16
$\begingroup$

Let $M$ be an $2 \times 2$ matrix, with all entries in $\mathbb{N}$: $$ M= \begin{bmatrix} a & b \\ c & d \end{bmatrix} \;. $$ So $$ \mathrm{det}(M) = a d - b c \; . $$ The Euclidean norm (a.k.a. Frobenius Norm) of $M$ is the square root of the sum of the squares of its entries: $$ |M| = \sqrt{ a^2 + b^2 +c^2 + d^2 } \;. $$ I am trying to understand when $\mathrm{det}(M) = |M| = r$, $r \in \mathbb{N}$. For example, when $$ M= \begin{bmatrix} 15 & 9 \\ 3 & 3 \end{bmatrix} \;, $$ we have $$\mathrm{det}(M) = 15 \cdot 3 - 9 \cdot 3 = 18$$ and $$|M| = \sqrt{225 + 81 + 9 + 9} = \sqrt{324} = 18 \;.$$ Another solution is $$ M= \begin{bmatrix} 5 & 11 \\ 49 & 137 \end{bmatrix}\;, \;\mathrm{det}(M) = |M| = 146 \;. $$

Q. What are the solutions for $M$ a $2 \times 2$ matrix and $\mathrm{det}(M) = |M|$ a natural number $r$?

The positive-orthant point $(a,b,c,d)$ lies on the origin-centered sphere of radius $r$ in $\mathbb{R}^4$, but with the added constraint that $a d - b c = r$.

My goal was to understand when $\mathrm{det}(M) = |M|$ is a natural number $r$ for $M$ an $n \times n$ matrix of entries in $\mathbb{N}$, but already for $n=2$ it seems not entirely straightforward.

$\endgroup$
  • 9
    $\begingroup$ One solution is $(1,F_{6k-1},F_{6k+1},8G_k^2-1)$, $k\geq 1$, where $F_n$ is a Fibonacci number and $G_n$ is defined by $G_1=2$, $G_2=36$, $G_{n+1}=18G_n-G_{n-1}$. $\endgroup$ – Richard Stanley Jun 5 '17 at 2:50
  • 1
    $\begingroup$ @RichardStanley: May I ask how you came upon that solution? $\endgroup$ – Joseph O'Rourke Jun 5 '17 at 10:16
  • 3
    $\begingroup$ Out of curiosity: why do you ask for $\det(M) = |M|$ and not $\det(M) = |M|^2$? The latter equation seems more natural as both are quadratic expressions in the matrix entries $\endgroup$ – Vincent Jun 5 '17 at 14:26
  • 1
    $\begingroup$ @Joseph O'Rourke: I set $a=1$. Then $d=(b^2c^2-b^2-c^2-1)/2bc$. Checking small values of $b,c$ on a computer, I could see that when $d$ was an integer, then $b$ and $c$ were Fibonacci numbers, etc. $\endgroup$ – Richard Stanley Jun 5 '17 at 14:28
  • $\begingroup$ @Vincent: That is an excellent point, and I did think of that. But I was attracted to the simplicity of the posed question and what initially appeared to be the sparseness of the solutions. $\endgroup$ – Joseph O'Rourke Jun 5 '17 at 14:49
5
$\begingroup$

From $$ 2 + 2abcd = (a^2 - 1)(d^2-1) + (b^2-1)(c^2-1) $$ we see that, given some negative values among $a,b,c,d,$ we can negate pairs to force all positive entries, with the exceptions being $abcd = -1$ and $abcd = 0.$

many quadruples per norm/det. The things squared come out to the sum of two squares and $1 \pmod 8,$ namely $9,17, 73, 145, 233..$

==========================

   18   a :    15   b :     9   c :     3   d :     3   f^2 : 324 = 2^2 * 3^4

   34   a :    25   b :    19   c :    11   d :     7   f^2 : 1156 = 2^2 * 17^2
   34   a :    31   b :    13   c :     5   d :     1   f^2 : 1156 = 2^2 * 17^2

  146   a :   101   b :    85   c :    47   d :    41   f^2 : 21316 = 2^2 * 73^2
  146   a :   107   b :    91   c :    31   d :    25   f^2 : 21316 = 2^2 * 73^2
  146   a :   127   b :    71   c :    11   d :     5   f^2 : 21316 = 2^2 * 73^2
  146   a :   137   b :    49   c :    11   d :     5   f^2 : 21316 = 2^2 * 73^2

  162   a :   117   b :    81   c :    63   d :    45   f^2 : 26244 = 2^2 * 3^8
  162   a :   153   b :    45   c :    27   d :     9   f^2 : 26244 = 2^2 * 3^8

  290   a :   187   b :   151   c :   127   d :   101   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   193   b :   149   c :   125   d :    95   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   203   b :   145   c :   121   d :    85   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   215   b :   139   c :   115   d :    73   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   223   b :   179   c :    37   d :    31   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   229   b :   167   c :    49   d :    37   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   233   b :   157   c :    59   d :    41   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   235   b :   151   c :    65   d :    43   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   235   b :   167   c :    25   d :    19   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   241   b :   155   c :    37   d :    25   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   245   b :   145   c :    47   d :    29   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   247   b :   139   c :    53   d :    31   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   271   b :    83   c :    59   d :    17   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   277   b :    71   c :    47   d :    11   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   281   b :    61   c :    37   d :     7   f^2 : 84100 = 2^2 * 5^2 * 29^2
  290   a :   283   b :    55   c :    31   d :     5   f^2 : 84100 = 2^2 * 5^2 * 29^2

  466   a :   311   b :   253   c :   185   d :   149   f^2 : 217156 = 2^2 * 233^2
  466   a :   349   b :   305   c :    37   d :    31   f^2 : 217156 = 2^2 * 233^2
  466   a :   353   b :   271   c :   109   d :    85   f^2 : 217156 = 2^2 * 233^2
  466   a :   361   b :   293   c :    25   d :    19   f^2 : 217156 = 2^2 * 233^2
  466   a :   389   b :   205   c :   137   d :    71   f^2 : 217156 = 2^2 * 233^2
  466   a :   401   b :   193   c :   125   d :    59   f^2 : 217156 = 2^2 * 233^2
  466   a :   409   b :   215   c :    53   d :    29   f^2 : 217156 = 2^2 * 233^2
  466   a :   449   b :   115   c :    47   d :    11   f^2 : 217156 = 2^2 * 233^2

  578   a :   367   b :   337   c :   215   d :   199   f^2 : 334084 = 2^2 * 17^4
  578   a :   373   b :   293   c :   259   d :   205   f^2 : 334084 = 2^2 * 17^4
  578   a :   383   b :   353   c :   185   d :   169   f^2 : 334084 = 2^2 * 17^4
  578   a :   397   b :   347   c :   179   d :   155   f^2 : 334084 = 2^2 * 17^4
  578   a :   425   b :   391   c :    17   d :    17   f^2 : 334084 = 2^2 * 17^4
  578   a :   427   b :   331   c :   163   d :   125   f^2 : 334084 = 2^2 * 17^4
  578   a :   451   b :   355   c :    53   d :    43   f^2 : 334084 = 2^2 * 17^4
  578   a :   463   b :   305   c :   137   d :    89   f^2 : 334084 = 2^2 * 17^4
  578   a :   467   b :   325   c :    83   d :    59   f^2 : 334084 = 2^2 * 17^4
  578   a :   473   b :   311   c :    97   d :    65   f^2 : 334084 = 2^2 * 17^4
  578   a :   487   b :   265   c :   143   d :    79   f^2 : 334084 = 2^2 * 17^4
  578   a :   493   b :   221   c :   187   d :    85   f^2 : 334084 = 2^2 * 17^4
  578   a :   497   b :   271   c :   103   d :    55   f^2 : 334084 = 2^2 * 17^4
  578   a :   523   b :   235   c :    67   d :    29   f^2 : 334084 = 2^2 * 17^4
  578   a :   539   b :   205   c :    37   d :    13   f^2 : 334084 = 2^2 * 17^4
  578   a :   545   b :   191   c :    23   d :     7   f^2 : 334084 = 2^2 * 17^4
  578   a :   559   b :   145   c :    23   d :     7   f^2 : 334084 = 2^2 * 17^4
  578   a :   565   b :   101   c :    67   d :    13   f^2 : 334084 = 2^2 * 17^4

  722   a :   475   b :   361   c :   323   d :   247   f^2 : 521284 = 2^2 * 19^4
  722   a :   703   b :   133   c :    95   d :    19   f^2 : 521284 = 2^2 * 19^4

 1042   a :  1025   b :   173   c :    71   d :    13   f^2 : 1085764 = 2^2 * 521^2
 1042   a :  1033   b :   133   c :    31   d :     5   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   601   b :   565   c :   463   d :   437   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   641   b :   557   c :   455   d :   397   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   725   b :   529   c :   427   d :   313   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   773   b :   695   c :    53   d :    49   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   785   b :   683   c :    41   d :    37   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   799   b :   617   c :   205   d :   157   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   827   b :   533   c :   289   d :   185   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   835   b :   493   c :   329   d :   193   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   881   b :   425   c :   323   d :   157   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   889   b :   527   c :   115   d :    67   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   893   b :   413   c :   311   d :   145   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   917   b :   443   c :   199   d :    95   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   925   b :   403   c :   239   d :   103   f^2 : 1085764 = 2^2 * 521^2
 1042   a :   997   b :   257   c :   155   d :    41   f^2 : 1085764 = 2^2 * 521^2

 1154   a :  1001   b :   415   c :   367   d :   151   f^2 : 1331716 = 2^2 * 577^2
 1154   a :  1121   b :   215   c :   167   d :    31   f^2 : 1331716 = 2^2 * 577^2
 1154   a :  1135   b :   169   c :   121   d :    17   f^2 : 1331716 = 2^2 * 577^2
 1154   a :   721   b :   583   c :   535   d :   431   f^2 : 1331716 = 2^2 * 577^2
 1154   a :   767   b :   569   c :   521   d :   385   f^2 : 1331716 = 2^2 * 577^2
 1154   a :   967   b :   449   c :   401   d :   185   f^2 : 1331716 = 2^2 * 577^2

 1170   a :  1017   b :   561   c :   123   d :    69   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1041   b :   525   c :    87   d :    45   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1053   b :   429   c :   255   d :   105   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1059   b :   477   c :   129   d :    57   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1077   b :   393   c :   219   d :    81   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1083   b :   357   c :   249   d :    81   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1101   b :   393   c :    45   d :    15   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1125   b :   273   c :   165   d :    39   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1137   b :   261   c :    87   d :    21   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :  1161   b :   141   c :    33   d :     3   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   669   b :   633   c :   525   d :   495   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   753   b :   645   c :   471   d :   405   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   777   b :   717   c :   369   d :   339   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   801   b :   597   c :   489   d :   363   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   807   b :   801   c :   195   d :   195   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   843   b :   777   c :   171   d :   159   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   849   b :   717   c :   279   d :   237   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   861   b :   675   c :   327   d :   255   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   885   b :   555   c :   447   d :   279   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   885   b :   585   c :   411   d :   273   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   885   b :   693   c :   255   d :   201   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   885   b :   759   c :    75   d :    63   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   891   b :   753   c :    69   d :    57   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   909   b :   723   c :   111   d :    87   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   915   b :   717   c :   105   d :    81   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   921   b :   561   c :   387   d :   237   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   969   b :   591   c :   243   d :   147   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   975   b :   585   c :   237   d :   141   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   975   b :   645   c :    39   d :    27   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   993   b :   471   c :   363   d :   171   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   999   b :   465   c :   357   d :   165   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2
 1170   a :   999   b :   609   c :     3   d :     3   f^2 : 1368900 = 2^2 * 3^4 * 5^2 * 13^2

 1602   a :  1095   b :   951   c :   513   d :   447   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1113   b :   873   c :   591   d :   465   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1287   b :   831   c :   393   d :   255   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1305   b :   753   c :   471   d :   273   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1383   b :   735   c :   297   d :   159   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1401   b :   657   c :   375   d :   177   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1503   b :   543   c :   105   d :    39   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1521   b :   465   c :   183   d :    57   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1551   b :   399   c :    39   d :     9   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :  1569   b :   321   c :    39   d :     9   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :   969   b :   921   c :   639   d :   609   f^2 : 2566404 = 2^2 * 3^4 * 89^2
 1602   a :   999   b :   951   c :   591   d :   561   f^2 : 2566404 = 2^2 * 3^4 * 89^2

 1618   a :  1105   b :  1093   c :   319   d :   317   f^2 : 2617924 = 2^2 * 809^2
 1618   a :  1195   b :   823   c :   589   d :   407   f^2 : 2617924 = 2^2 * 809^2
 1618   a :  1237   b :  1001   c :   227   d :   185   f^2 : 2617924 = 2^2 * 809^2
 1618   a :  1325   b :   913   c :   139   d :    97   f^2 : 2617924 = 2^2 * 809^2
 1618   a :  1327   b :   731   c :   497   d :   275   f^2 : 2617924 = 2^2 * 809^2
 1618   a :  1415   b :   643   c :   409   d :   187   f^2 : 2617924 = 2^2 * 809^2
 1618   a :  1417   b :   781   c :     7   d :     5   f^2 : 2617924 = 2^2 * 809^2
 1618   a :  1507   b :   511   c :   277   d :    95   f^2 : 2617924 = 2^2 * 809^2

 2178   a :  1353   b :  1089   c :  1023   d :   825   f^2 : 4743684 = 2^2 * 3^4 * 11^4
 2178   a :  1683   b :  1155   c :   627   d :   429   f^2 : 4743684 = 2^2 * 3^4 * 11^4

 2194   a :  1535   b :  1079   c :   931   d :   653   f^2 : 4813636 = 2^2 * 1097^2
 2194   a :  1555   b :  1501   c :   271   d :   263   f^2 : 4813636 = 2^2 * 1097^2
 2194   a :  1651   b :  1327   c :   445   d :   359   f^2 : 4813636 = 2^2 * 1097^2
 2194   a :  1709   b :   983   c :   835   d :   479   f^2 : 4813636 = 2^2 * 1097^2
 2194   a :  1795   b :  1261   c :    31   d :    23   f^2 : 4813636 = 2^2 * 1097^2

 2306   a :  1609   b :  1543   c :   425   d :   409   f^2 : 5317636 = 2^2 * 1153^2
 2306   a :  1625   b :  1559   c :   359   d :   343   f^2 : 5317636 = 2^2 * 1153^2

 2450   a :  1351   b :  1253   c :  1183   d :  1099   f^2 : 6002500 = 2^2 * 5^4 * 7^4
 2450   a :  1687   b :  1169   c :  1099   d :   763   f^2 : 6002500 = 2^2 * 5^4 * 7^4
 2450   a :  1757   b :  1631   c :   371   d :   343   f^2 : 6002500 = 2^2 * 5^4 * 7^4
 2450   a :  1813   b :  1589   c :   329   d :   287   f^2 : 6002500 = 2^2 * 5^4 * 7^4
 2450   a :  1841   b :  1463   c :   539   d :   427   f^2 : 6002500 = 2^2 * 5^4 * 7^4
 2450   a :  1855   b :  1085   c :  1015   d :   595   f^2 : 6002500 = 2^2 * 5^4 * 7^4

 2626   a :  1753   b :  1559   c :   881   d :   785   f^2 : 6895876 = 2^2 * 13^2 * 101^2
 2626   a :  1795   b :  1301   c :  1139   d :   827   f^2 : 6895876 = 2^2 * 13^2 * 101^2
 2626   a :  1799   b :  1663   c :   695   d :   641   f^2 : 6895876 = 2^2 * 13^2 * 101^2

 3330   a :  1827   b :  1803   c :  1509   d :  1491   f^2 : 11088900 = 2^2 * 3^4 * 5^2 * 37^2

======================

| cite | improve this answer | |
$\endgroup$
4
$\begingroup$

I am not sure if this helps, but I think that the condition is equivalent to requiring that in the Gaussian integers, we have the factorization $[(ac+bd)+i][(ac+bd)-i] = (a^{2}+b^{2}-1)(c^{2}+d^{2}-1).$

We have $(ad-bc)^{2}+(ac+bd)^{2} = (a^{2}+b^{2})(c^{2}+d^{2}),$ so we have $(ad-bc)^{2} = (a^{2}+b^{2}+c^{2}+d^{2})$ if and only if $(ac+bd)^{2}+1 = (a^{2}+b^{2}-1)(c^{2}+d^{2}-1) (\ast).$

Later edit: Note that this gives the restriction that neither $(a^{2}+b^{2}-1)$ nor $(c^{2}+d^{2}-1)$ is divisible by any prime congruent to $3$ (mod $4$). In particular, at least one of $a,b$ is odd, and at least one of $c,d$ is odd ( since, for example, we certainly can't have $a^{2}+b^{2} -1 \equiv 3$ (mod $4$)).

Hence we now see that $a,b,c,d$ must all be odd, since otherwise the RHS of $(\ast)$ is divisible by $4$, forcing $(ac+bd)^{2} \equiv 3$ (mod $4$), a contradiction. Now congruences (mod $8$) tell us that $ac+bd \equiv 0$ (mod $4$), since the RHS of $(\ast)$ is congruent to $1$ (mod $8$), forcing $(ac+bd)^{2} \equiv 0$ (mod $8$).

So we conclude that both $a^{2}+b^{2}-1$ and $c^{2}+d^{2}-1$ are products of primes congruent to $1$ (mod $4$).

| cite | improve this answer | |
$\endgroup$
  • 1
    $\begingroup$ also $a^2 + c^2 - 1$ and $b^2 + d^2 - 1$ $\endgroup$ – Will Jagy Jun 6 '17 at 0:30
  • $\begingroup$ @WillJagy : Yes, thanks, I had not exploited the fact that the transpose of $A$ has that property if $A$ does. $\endgroup$ – Geoff Robinson Jun 6 '17 at 10:08
1
$\begingroup$

I'm thinking of multiplying the matrix by an element of $\text{SL}_2(\mathbb{Z})$ and seeing if the norm of the resulting matrix is equal to the determinant squared. But it gets messy because there's Jacobi's sum of 4 squares theorem. Here's an example:

Let $A = \pmatrix{ 1 & 2 \\ 3 & 4}$. Then $\text{det}(A)^2 = 4$ so we want to find a matrix $B \in \text{GL}_2(\mathbb{Z})$ such that

$$N(AB) = N\pmatrix{a + 2c & b + 2d \\ 3a + 4c & 3b + 4d} = 4$$

so

$$(a + 2c)^2 + (b + 2d)^2 + (3a + 4c)^2 + (3b + 4d)^2 = 4$$

The system:

$$a + 2c = -1$$ $$b + 2d = -1$$ $$3a + 4c = -1$$ $$3b + 4d = 1$$ gives $a = 1$, $b = 3$, $c = -1$, $d = -2$. We can see that

$$\text{det}\pmatrix{1 & 3 \\ -1 & -2} = 1$$

so we can let $B$ equal to the implied matrix discussed above to find a matrix that satisfies the properties that the OP discussed.

I don't know if using $R$, $S$, or $T$ as generators of $\text{SL}_2(\mathbb{Z})$ would help or if the strange homomorphism between $\text{SL}_2(\mathbb{Z})$ and $\mathbb{Z}/12\mathbb{Z}$ would help, but I'm just throwing out ideas.

| cite | improve this answer | |
$\endgroup$
  • 1
    $\begingroup$ Note that OP has asked for matrices with entires in the positive integers. $\endgroup$ – Gerry Myerson Jun 5 '17 at 3:08
  • $\begingroup$ @GerryMyerson, I don't think it matters; I ran this unrestricted, each quadruple had many orderings and sign patterns, including al positive and in order. $\endgroup$ – Will Jagy Jun 5 '17 at 3:09
  • $\begingroup$ @Will, the example given here has norm and determinant 4. Can you achieve that, with positive entries? $\endgroup$ – Gerry Myerson Jun 5 '17 at 3:11
  • $\begingroup$ @Gerry good point, I can only get that with $1,1,1,-1$ $\endgroup$ – Will Jagy Jun 5 '17 at 3:24
1
$\begingroup$

One can try to find the solutions of the equation $(ad-bc)^2=a^2+b^2+c^2+d^2$ which is equivalent to

$a^2+b^2+c^2+d^2-a^2d^2-b^2c^2+2abcd=0$. Now the question is to find the integral points of this affine variety.

It maybe interesting to solve this equation in $\mathbb{Z}/p$ which will gives necessary conditions to be satisfied by $a,b,c,d$. The first case here is if $p=2$, we obtain the equation $a^2+b^2+c^2+d^2+a^2d^2+b^2c^2=0$ and we can discuss the cases:

For example if $a,b,c$ are even and $d$ is odd $(a,b,c,d)$ cannot be a solution.

Another way to study this problem is to fix the values for example of $a,b$ and to study the rational and integral points of the resulting quadratic curve.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.