• No results found

Is this matrix singular?

N/A
N/A
Protected

Academic year: 2021

Share "Is this matrix singular?"

Copied!
47
0
0

Loading.... (view fulltext now)

Full text

(1)

Is this matrix

singular?

András Recski

Budapest University of Technology and Economics

(2)

Is this matrix

singular?

András Recski

Budapest University of Technology and Economics

(3)
(4)
(5)

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

(6)

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

(7)
(8)

The Anonymus group – the students of Dénes Kőnig, including Pál Erdős, Pál Turán, György

(9)

When is a matrix singular?

Let A be an nXn matrix.

det A can be determined effectively if the entries are from a field.

(10)

When is a matrix singular?

Let A be an n x n matrix.

det A can be determined effectively if the entries are from a field.

But what if they are from a commutative ring?

(11)

A classical case

D. Kőnig, 1915

If the nonzero entries are distinct variables (or real numbers, algebraically independent over the field of the rationals) then we can describe the zero-nonzero pattern of the matrix by a bipartite graph and check

(12)
(13)

If the nonzero entries are different variables (or real numbers, algebraically independent over the field of the rationals)

(14)
(15)

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

(16)

Another classical case

If the matrix was obtained during the

analysis of an electric network consisting of resistors, voltage and current sources,

(17)
(18)
(19)

R

U

U

1 3 5

R

2

R

4

1

3

5

4

2

Fig. 2

Fig. 1

2-terminal devices (like resistors, voltage sources) are represented as edges of a graph

(20)

R

U

U

1 3 5

R

2

R

4

1

3

5

4

2

Fig. 2

Fig. 1

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.

(21)

i

3

= (R

4

u

1

+R

2

u

5

) / (R

2

R

3

+R

2

R

4

+R

3

R

4

)

R

U

U

1 3 5

R

2

R

4

1

3

5

4

2

Fig. 2

Fig. 1

(22)

i

3

= (R

4

u

1

+R

2

u

5

) / (R

2

R

3

+R

2

R

4

+R

3

R

4

)

= (Y

2

Y

3

u

1

+Y

3

Y

4

u

5

) / (Y

2

+Y

3

+Y

4

)

R

U

U

1 3 5

R

2

R

4

1

3

5

4

2

Fig. 2

Fig. 1

(23)

i

3

= (R

4

u

1

+R

2

u

5

) / (R

2

R

3

+R

2

R

4

+R

3

R

4

)

= (Y

2

Y

3

u

1

+Y

3

Y

4

u

5

) / (Y

2

+Y

3

+Y

4

)

W

Y

(G) =

T

jεT

Y

j

(Kirchhoff, 1847; Maxwell, 1892)

R

U

U

1 3 5

R

2

R

4

1

3

5

4

2

Fig. 2

Fig. 1

(24)

If the matrix A was obtained during the

analysis of an electric network consisting of resistors, voltage and current sources, then 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

(25)

…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.

(26)
(27)
(28)

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?

(29)

Example 1 – Ideal transformers

u2 = k·u1, i1 = −k·i2

(30)

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.

(31)

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).

(32)

Example 2 – Gyrators

u2 = −R·i1, u1 = R·i2

(33)

Example 2 – Gyrators

u2 = −R·i1, u1 = R·i2

Either the tree or the tree complement must contain both of the two port edges.

(34)

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).

(35)

How can we generalize

the above observations

(36)
(37)
(38)
(39)

Theoretically there are infinitely many

possible algebraic relations among

these 8 numbers but only these five

(40)

Does the column space matroid of

this 2 X 4 matrix contain every

important qualitative information

about the 2-ports?

(41)

Obviously not. Compare

u

1

=Ri

2

, u

2

=

Ri

1

and

(42)
(43)

Finally, a conjecture:

The sum of two graphic

matroids is either graphic or

nonbinary

(44)

Algebraic representation

R Representable Binary Regular Graphic Planar

(45)

Finally, a conjecture:

The sum of two graphic

matroids is either graphic or

nonbinary

Known to be true if the two

matroids are equal

(46)
(47)

References

Related documents

 Mays,  Chief  Technology

[r]

The positive and signi…cant coe¢ cient on the post shipment dummy in the fourth column implies that prices charged in post shipment term transactions are higher than those charged

Quality: We measure quality (Q in our formal model) by observing the average number of citations received by a scientist for all the papers he or she published in a given

more than four additional runs were required, they were needed for the 2 7-3 design, which is intuitive as this design has one more factor than the 2 6-2 design

Proprietary Schools are referred to as those classified nonpublic, which sell or offer for sale mostly post- secondary instruction which leads to an occupation..

For the feature ranking and selection procedures, it is not surprising that CAD score is the most relevant fea- ture for the combined strategy, as it is a complete screening strategy

• The development of a model named the image based feature space (IBFS) model for linking image regions or segments with text labels, as well as for automatic image