is this matrix singular? andrás recski budapest university of technology and economics paris, 2009
TRANSCRIPT
![Page 1: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/1.jpg)
Is this matrixsingular?
András Recski
Budapest University of Technology and Economics
Paris, 2009
![Page 2: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/2.jpg)
Is this matrixsingular?
András Recski
Budapest University of Technology and Economics
Paris, 2009
![Page 3: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/3.jpg)
![Page 4: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/4.jpg)
![Page 5: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/5.jpg)
Sponsored links during my next session:
• Air-Hyd-Mechanical Jacks• See us for high pressure cylinders, mechanical &
inflatable jacks!• www.movingriggingsupplies.com• Jack & Jones• Make space in your wardrobe! Delivery only 2€, for all
orders jackjones.com• Gaither's Equipment• Tire-changing, inflation & lifting products for the trucking
industry.• www.gaithertool.com• Chain Jacks• Mooring of SPARS, TLP's and FPSO's Quality
engineering since 1965• www.venturahydraulics.com• Qual-Craft Pump Jack• www.MagnumTools.com
![Page 6: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/6.jpg)
Sponsored links during my next session:
• Air-Hyd-Mechanical Jacks• See us for high pressure cylinders, mechanical &
inflatable jacks!• www.movingriggingsupplies.com• Jack & Jones• Make space in your wardrobe! Delivery only 2€, for all
orders jackjones.com• Gaither's Equipment• Tire-changing, inflation & lifting products for the trucking
industry.• www.gaithertool.com• Chain Jacks• Mooring of SPARS, TLP's and FPSO's Quality
engineering since 1965• www.venturahydraulics.com• Qual-Craft Pump Jack• www.MagnumTools.com
![Page 7: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/7.jpg)
Jack in Budapest in 1994
![Page 8: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/8.jpg)
The Anonymus group – the students of Dénes Kőnig, including Pál Erdős, Pál Turán, György
Szekeres, Tibor Gallai and many others
![Page 9: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/9.jpg)
When is a matrix singular?
Let A be an nXn matrix.
det A can be determined effectively if the
entries are from a field.
![Page 10: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/10.jpg)
When is a matrix singular?
Let A be an n x n matrix.
det A can be determined effectively if theentries are from a field.
But what if they are from a commutativering?
![Page 11: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/11.jpg)
A classical case
D. Kőnig, 1915
If the nonzero entries are distinct variables(or real numbers, algebraically independentover the field of the rationals) then we candescribe the zero-nonzero pattern of thematrix by a bipartite graph and checkwhether the graph has a perfect matching.
![Page 12: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/12.jpg)
![Page 13: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/13.jpg)
If the nonzero entries are different variables
(or real numbers, algebraically independent
over the field of the rationals)
then rank equals term rank.
![Page 14: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/14.jpg)
![Page 15: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/15.jpg)
Edmonds, 1967
Theorem 1. The term rank of a 0,1 matrix A
is the same as the linear algebra rank of the
matrix obtained by replacing the 1’s in A by
distinct indeterminates over any integral
domain.
![Page 16: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/16.jpg)
Another classical case
If the matrix was obtained during the
analysis of an electric network consisting of
resistors, voltage and current sources,
then…
![Page 17: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/17.jpg)
Kirchhoff, 1847
![Page 18: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/18.jpg)
![Page 19: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/19.jpg)
2-terminal devices (like resistors, voltage
sources) are represented as edges of a
graph
![Page 20: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/20.jpg)
2-terminal devices (like resistors, voltage
sources) are represented as edges of a
graph, relations among voltages (or among
currents) are described with the help of the
circuits (cut sets, respectively) of the graph.
![Page 21: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/21.jpg)
i3 = (R4u1+R2u5) / (R2R3+R2R4+R3R4)
![Page 22: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/22.jpg)
i3 = (R4u1+R2u5) / (R2R3+R2R4+R3R4)
= (Y2Y3u1+Y3Y4u5) / (Y2+Y3+Y4)
![Page 23: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/23.jpg)
i3 = (R4u1+R2u5) / (R2R3+R2R4+R3R4)
= (Y2Y3u1+Y3Y4u5) / (Y2+Y3+Y4)
WY(G) =∑T ∏jεT Yj
(Kirchhoff, 1847; Maxwell, 1892)
![Page 24: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/24.jpg)
If the matrix A was obtained during theanalysis of an electric network consisting ofresistors, voltage and current sources, thenthe nonzero expansion members of det Aare in one-one correspondence with thosetrees of the network graph which containevery voltage source and none of thecurrent sources.
![Page 25: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/25.jpg)
…the nonzero expansion members of det A are in one-one correspondence with those trees of the network graph which contain every voltage source and none of the current sources. Hence if the physical parameters are distinct indeterminants then nonsingularity the existence of such a tree.
![Page 26: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/26.jpg)
Maxwell
![Page 27: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/27.jpg)
Maxwell
![Page 28: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/28.jpg)
Generalization of this classical case
If the matrix was obtained during the
analysis of an electric network consisting of
resistors, voltage and current sources and
more complex devices like ideal
transformers, gyrators, operational
amplifiers etc. then what?
![Page 29: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/29.jpg)
Example 1 – Ideal transformers
u2 = k·u1, i1 = −k·i2
![Page 30: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/30.jpg)
Example 1 – Ideal transformers
u2 = k·u1, i1 = −k·i2
Both the tree and the tree complement must contain exactly one of the two port edges.
![Page 31: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/31.jpg)
Example 1 – Ideal transformers
u2 = k·u1, i1 = −k·i2
Both the tree and the tree complement must contain exactly one of the two port edges.
If the number of the ideal transformers is part of the input, one needs the matroid partition algorithm (Edmonds, 1968).
![Page 32: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/32.jpg)
Example 2 – Gyrators
u2 = −R·i1, u1 = R·i2
![Page 33: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/33.jpg)
Example 2 – Gyrators
u2 = −R·i1, u1 = R·i2
Either the tree or the tree complement must contain both of the two port edges.
![Page 34: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/34.jpg)
Example 2 – Gyrators
u2 = −R·i1, u1 = R·i2
Either the tree or the tree complement must contain both of the two port edges.
If the number of the ideal transformers is part of the input, one needs the matroid matching algorithm (Lovász, 1980).
![Page 35: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/35.jpg)
How can we generalize the above observations
to arbitrary 2-ports?
![Page 36: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/36.jpg)
![Page 37: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/37.jpg)
![Page 38: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/38.jpg)
![Page 39: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/39.jpg)
Theoretically there are infinitely many possible algebraic relations among these 8 numbers but only these five can lead to singularities (R., 1980).
![Page 40: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/40.jpg)
Does the column space matroid of this 2 X 4 matrix contain every
important qualitative information about the 2-ports?
![Page 41: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/41.jpg)
Obviously not. Compare
u1=Ri2 , u2= − Ri1
and
u1=Ri2 , u2= − 2Ri1
![Page 42: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/42.jpg)
![Page 43: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/43.jpg)
Finally, a conjecture:
The sum of two graphic matroids is either graphic or
nonbinary
![Page 44: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/44.jpg)
Algebraic representation
R
Representable
Binary
Regular
Graphic
Planar
![Page 45: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/45.jpg)
Finally, a conjecture:
The sum of two graphic matroids is either graphic or
nonbinary
Known to be true if the two matroids are equal
(Lovász-R., 1973)
![Page 46: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/46.jpg)
![Page 47: Is this matrix singular? András Recski Budapest University of Technology and Economics Paris, 2009](https://reader036.vdocuments.site/reader036/viewer/2022070410/56649ee95503460f94bfaaf8/html5/thumbnails/47.jpg)
Happy birthday, Jack!