Skip to main content

tensors - Reduce the output from tuples by including symmetry?


I need all the possible 3x3 binary tensors, but I'd like to have this account for symmetries. I've started by using the Tuples command.


Tuples[{1, 0}, {3, 3}]

This tuples command produces 512 binary tensors. If I consider tensors that are symmetric by any permutation to be redundant, how can I remove the extraneous ones from the output? Here are a few examples of tensors that I'd like to consider as the same:



{{0, 1, 0}, {0, 1, 0}, {1, 1, 0}} // MatrixForm
{{1, 1, 0}, {0, 1, 0}, {0, 1, 0}} // MatrixForm
{{0, 1, 0}, {0, 1, 0}, {0, 1, 1}} // MatrixForm
{{0, 0, 1}, {1, 1, 1}, {0, 0, 0}} // MatrixForm

Additionally, I'd like to remove tensors that are equal if you replace the 1's with 0's, and vice versa, such that these two tensors are equivalent:


{{1, 0, 1}, {1, 0, 1}, {0, 1, 0}} // MatrixForm
{{0, 1, 0}, {0, 1, 0}, {1, 0, 1}} // MatrixForm

By my estimation, this should reduce the output from 512 to ~50 tensors.



Any help would be greatly appreciated.


Clarification of "permutations" for the original question:


I'm not sure the most accurate way to describe it. Imagine taking a 3x3 array of 1's and iteratively changing each 1 to a 0 until you have an array of 0's. I consider a duplicate being an array that is identical under any rotation or mirror around any row or diagonal.


For example, if you start with:


{{1, 1, 1}, {1, 1, 1}, {1, 1, 1}} 

There are only three distinct 1's that can be removed:


{{0, 1, 1}, {1, 1, 1}, {1, 1, 1}}
{{1, 0, 1}, {1, 1, 1}, {1, 1, 1}}
{{1, 1, 1}, {1, 0, 1}, {1, 1, 1}}


Answer



First, get set t2 by removing those tensors that are permutations. Second, get set t3 by removing the tensors that are equivalent when the 0-1 substitutions are considered.


t = Tuples[{1, 0}, {3, 3}];
t2 = DeleteDuplicates[t, Sort@#1 == Sort@#2 &];
t3 = DeleteDuplicates[t2, Sort@(#1 /. {0 -> 1, 1 -> 0}) == Sort@#2 &];
Length@t3

This gives a list with 60 tensors.


Edit:


Given the enhanced explanation about the permitted transformations, I think the following approach may give some idea on how to remove the redundant tensors. Here, I consider the rules that check the mirroring. In its present form, this solution gives 212 matrices (in t2), the number of which can be further reduced by including additional conditions for equivalent tensors (like the 0-1 substitutions). If you also consider tensors being equivalent after multiple mirroring operations, etc., those have to be also implemented. Although this approach seems quite tedious, I hope it may still be satisfactory.



t = Tuples[{1, 0}, {3, 3}];
t2 = DeleteDuplicates[t,
#1 == Reverse@#2(*mirror with respect to the 2nd row*)||
#1 == Reverse[#2, 2](*mirror with respect to the 2nd column*)||
#1 == Transpose@#2(*diagonal*)||
#1 == Reverse@Transpose@Reverse@#2(*the other diagonal*)
&];

Edit 2:


Ok, so let me try to complete this answer. The solution by @dpholmes provides the answer to the first part of the question. Here, I will continue from that (list t2) and show how to take into account also the 0-1 substitutions. This results in 51 distinct arrays (t3).



t = Tuples[{1, 0}, {3, 3}];
t2 = DeleteDuplicates[t,
#1 == Reverse@#2(*mirror with respect to the 2nd row*)||
#1 == Reverse[#2, 2](*mirror with respect to the 2nd column*)||
#1 == Transpose@#2(*diagonal*)||
#1 == Reverse@Transpose@Reverse@#2(*the other diagonal*)||
#1 == Reverse@Transpose@Reverse@Reverse[#2, 1]
(*mirror with respect to the 2nd row and first diagonal*)||
#1 == Reverse@Transpose@Reverse@Reverse[#2, 2]
(*mirror with respect to the 2nd row and other diagonal*)||

#1 == Reverse[Reverse[#2], 2]
(*mirror with respect to the 2nd row and the 2nd column*)
&];
t3 = DeleteDuplicates[t2,
(#1 /. {1 -> 0, 0 -> 1}) == Reverse@#2(*mirror with respect to the 2nd row*)||
(#1 /. {1 -> 0, 0 -> 1}) == Reverse[#2, 2](*mirror with respect to the 2nd column*)||
(#1 /. {1 -> 0, 0 -> 1}) == Transpose@#2(*diagonal*)||
(#1 /. {1 -> 0, 0 -> 1}) == Reverse@Transpose@Reverse@#2(*the other diagonal*)||
(#1 /. {1 -> 0, 0 -> 1}) == Reverse@Transpose@Reverse@Reverse[#2, 1]
(*mirror with respect to the 2nd row and first diagonal*)||

(#1 /. {1 -> 0, 0 -> 1}) == Reverse@Transpose@Reverse@Reverse[#2, 2]
(*mirror with respect to the 2nd row and other diagonal*)||
(#1 /. {1 -> 0, 0 -> 1}) == Reverse[Reverse[#2], 2]
(*mirror with respect to the 2nd row and the 2nd column*)
&];

Comments

Popular posts from this blog

plotting - How to draw lines between specified dots on ListPlot?

I would like to create a plot where I have unconnected dots and some connected. So far, I have figured out how to draw the dots. My code is the following: ListPlot[{{1, 1}, {2, 2}, {3, 3}, {4, 4}, {1, 4}, {2, 5}, {3, 6}, {4, 7}, {1, 7}, {2, 8}, {3, 9}, {4, 10}, {1, 10}, {2, 11}, {3, 12}, {4,13}, {2.5, 7}}, Ticks -> {{1, 2, 3, 4}, None}, AxesStyle -> Thin, TicksStyle -> Directive[Black, Bold, 12], Mesh -> Full] I have thought using ListLinePlot command, but I don't know how to specify to the command to draw only selected lines between the dots. Do have any suggestions/hints on how to do that? Thank you. Answer One possibility would be to use Epilog with Line : ListPlot[ {{1, 1}, {2, 2}, {3, 3}, {4, 4}, {1, 4}, {2, 5}, {3, 6}, {4, 7}, {1, 7}, {2, 8}, {3, 9}, {4, 10}, {1, 10}, {2, 11}, {3, 12}, {4, 13}, {2.5, 7}}, Ticks -> {{1, 2, 3, 4}, None}, AxesStyle -> Thin, TicksStyle -> Directive[Black, Bold, 12], Mesh -> Full, Epilog -> { Line[ ...

equation solving - Invert and fit implicitly defined curve

I need to fit an implicitly defined curve. I thought I could get some data out of Solve , and then using FindFit . Therefore, I would like to find the relation the parametric curve defined by $F(x,y)=0$: Solve[-(1/2) + 1/2 (0.41202 BesselK[0, 0.1 Sqrt[x^2 + y^2]] + (0.101483 x BesselK[1, 0.1 Sqrt[x^2 + y^2]])/Sqrt[x^2 + y^2]) == 0, y] But I can't get an output: Solve was unable to solve the system with inexact coefficients or the system obtained by direct rationalization of inexact numbers present in the system. Since many of the methods used by Solve require exact input, providing Solve with an exact version of the system may help. >> Edit: In particular, I would like to fit the data coming from the curve with the expression of another curve, and not with a function $f(x)$. In particular, since this clearly looks like a cardioid , I would like it to fit to something like it. What other strategies could I try?

dynamic - How can I make a clickable ArrayPlot that returns input?

I would like to create a dynamic ArrayPlot so that the rectangles, when clicked, provide the input. Can I use ArrayPlot for this? Or is there something else I should have to use? Answer ArrayPlot is much more than just a simple array like Grid : it represents a ranged 2D dataset, and its visualization can be finetuned by options like DataReversed and DataRange . These features make it quite complicated to reproduce the same layout and order with Grid . Here I offer AnnotatedArrayPlot which comes in handy when your dataset is more than just a flat 2D array. The dynamic interface allows highlighting individual cells and possibly interacting with them. AnnotatedArrayPlot works the same way as ArrayPlot and accepts the same options plus Enabled , HighlightCoordinates , HighlightStyle and HighlightElementFunction . data = {{Missing["HasSomeMoreData"], GrayLevel[ 1], {RGBColor[0, 1, 1], RGBColor[0, 0, 1], GrayLevel[1]}, RGBColor[0, 1, 0]}, {GrayLevel[0], GrayLevel...