If matrix $A$ is totally unimodular, then matrix $beginbmatrix A &pm Aendbmatrix$ is also totally unimodular

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite













Given a totally unimodular matrix $A in-1,0,1^mtimes n$, show that the matrix $$beginbmatrix A &pm Aendbmatrix$$ is also totally unimodular.




I want to prove that exchanging any two columns in $A$ will still be unimodular at first but it seems that the idea is wrong. Thanks in advance!







share|cite|improve this question





















  • Sorry at last this is not a hard problem, it's because I was not clearly understood the definition of square submatrix.
    – wst
    Jul 27 at 7:09















up vote
0
down vote

favorite













Given a totally unimodular matrix $A in-1,0,1^mtimes n$, show that the matrix $$beginbmatrix A &pm Aendbmatrix$$ is also totally unimodular.




I want to prove that exchanging any two columns in $A$ will still be unimodular at first but it seems that the idea is wrong. Thanks in advance!







share|cite|improve this question





















  • Sorry at last this is not a hard problem, it's because I was not clearly understood the definition of square submatrix.
    – wst
    Jul 27 at 7:09













up vote
0
down vote

favorite









up vote
0
down vote

favorite












Given a totally unimodular matrix $A in-1,0,1^mtimes n$, show that the matrix $$beginbmatrix A &pm Aendbmatrix$$ is also totally unimodular.




I want to prove that exchanging any two columns in $A$ will still be unimodular at first but it seems that the idea is wrong. Thanks in advance!







share|cite|improve this question














Given a totally unimodular matrix $A in-1,0,1^mtimes n$, show that the matrix $$beginbmatrix A &pm Aendbmatrix$$ is also totally unimodular.




I want to prove that exchanging any two columns in $A$ will still be unimodular at first but it seems that the idea is wrong. Thanks in advance!









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 27 at 6:02









Rodrigo de Azevedo

12.5k41751




12.5k41751









asked Jul 27 at 5:40









wst

114




114











  • Sorry at last this is not a hard problem, it's because I was not clearly understood the definition of square submatrix.
    – wst
    Jul 27 at 7:09

















  • Sorry at last this is not a hard problem, it's because I was not clearly understood the definition of square submatrix.
    – wst
    Jul 27 at 7:09
















Sorry at last this is not a hard problem, it's because I was not clearly understood the definition of square submatrix.
– wst
Jul 27 at 7:09





Sorry at last this is not a hard problem, it's because I was not clearly understood the definition of square submatrix.
– wst
Jul 27 at 7:09











1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










The goal is to show that if a square submatrix of $[A,pm A]$ is nonsingular then it has determinant $pm 1$. Observe that any nonsingular square submatrix of $[A,pm A]$ is (up to permutation and sign of the columns) a nonsingular square submatrix of $A$ (justified later). Hence since permutation changes determinants by the sign of the permutation, which is $pm 1$, and changing the sign of a columns also multiplies the determinant by $-1$ for each such column, we observe that this implies that the determinant of every nonsingular square submatrix of $[A,pm A]$ is $pm 1$.



Now to justify the claim. Well, if we choose a square submatrix of $[A,pm A]$, we are choosing a subset of the rows and columns of $[A,pm A]$. Let's label the columns of $[A,pm A]$ as $C_1,ldots,C_n,C_n+1,C_2n$.
By definition $C_i=pm C_i+n$ for $1le ile n$, so if the subset of the columns that we choose contains index $i$ and $i+n$ for some $1le ile n$, the resulting matrix must have determinant 0 because $C_i$ and $C_i+n$ will be linearly dependent no matter what subset of the rows we choose. Thus there is a map identifying the subset of the columns of $[A,pm A]$ with a subset of the columns of $A$ given by
$$ imapsto begincases i & textrmif $1le i le n$ \ i-n & textrmotherwise.endcases. $$






share|cite|improve this answer





















  • Thank you very much...
    – wst
    Jul 27 at 7:08










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2864087%2fif-matrix-a-is-totally-unimodular-then-matrix-beginbmatrix-a-pm-a-endb%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
1
down vote



accepted










The goal is to show that if a square submatrix of $[A,pm A]$ is nonsingular then it has determinant $pm 1$. Observe that any nonsingular square submatrix of $[A,pm A]$ is (up to permutation and sign of the columns) a nonsingular square submatrix of $A$ (justified later). Hence since permutation changes determinants by the sign of the permutation, which is $pm 1$, and changing the sign of a columns also multiplies the determinant by $-1$ for each such column, we observe that this implies that the determinant of every nonsingular square submatrix of $[A,pm A]$ is $pm 1$.



Now to justify the claim. Well, if we choose a square submatrix of $[A,pm A]$, we are choosing a subset of the rows and columns of $[A,pm A]$. Let's label the columns of $[A,pm A]$ as $C_1,ldots,C_n,C_n+1,C_2n$.
By definition $C_i=pm C_i+n$ for $1le ile n$, so if the subset of the columns that we choose contains index $i$ and $i+n$ for some $1le ile n$, the resulting matrix must have determinant 0 because $C_i$ and $C_i+n$ will be linearly dependent no matter what subset of the rows we choose. Thus there is a map identifying the subset of the columns of $[A,pm A]$ with a subset of the columns of $A$ given by
$$ imapsto begincases i & textrmif $1le i le n$ \ i-n & textrmotherwise.endcases. $$






share|cite|improve this answer





















  • Thank you very much...
    – wst
    Jul 27 at 7:08














up vote
1
down vote



accepted










The goal is to show that if a square submatrix of $[A,pm A]$ is nonsingular then it has determinant $pm 1$. Observe that any nonsingular square submatrix of $[A,pm A]$ is (up to permutation and sign of the columns) a nonsingular square submatrix of $A$ (justified later). Hence since permutation changes determinants by the sign of the permutation, which is $pm 1$, and changing the sign of a columns also multiplies the determinant by $-1$ for each such column, we observe that this implies that the determinant of every nonsingular square submatrix of $[A,pm A]$ is $pm 1$.



Now to justify the claim. Well, if we choose a square submatrix of $[A,pm A]$, we are choosing a subset of the rows and columns of $[A,pm A]$. Let's label the columns of $[A,pm A]$ as $C_1,ldots,C_n,C_n+1,C_2n$.
By definition $C_i=pm C_i+n$ for $1le ile n$, so if the subset of the columns that we choose contains index $i$ and $i+n$ for some $1le ile n$, the resulting matrix must have determinant 0 because $C_i$ and $C_i+n$ will be linearly dependent no matter what subset of the rows we choose. Thus there is a map identifying the subset of the columns of $[A,pm A]$ with a subset of the columns of $A$ given by
$$ imapsto begincases i & textrmif $1le i le n$ \ i-n & textrmotherwise.endcases. $$






share|cite|improve this answer





















  • Thank you very much...
    – wst
    Jul 27 at 7:08












up vote
1
down vote



accepted







up vote
1
down vote



accepted






The goal is to show that if a square submatrix of $[A,pm A]$ is nonsingular then it has determinant $pm 1$. Observe that any nonsingular square submatrix of $[A,pm A]$ is (up to permutation and sign of the columns) a nonsingular square submatrix of $A$ (justified later). Hence since permutation changes determinants by the sign of the permutation, which is $pm 1$, and changing the sign of a columns also multiplies the determinant by $-1$ for each such column, we observe that this implies that the determinant of every nonsingular square submatrix of $[A,pm A]$ is $pm 1$.



Now to justify the claim. Well, if we choose a square submatrix of $[A,pm A]$, we are choosing a subset of the rows and columns of $[A,pm A]$. Let's label the columns of $[A,pm A]$ as $C_1,ldots,C_n,C_n+1,C_2n$.
By definition $C_i=pm C_i+n$ for $1le ile n$, so if the subset of the columns that we choose contains index $i$ and $i+n$ for some $1le ile n$, the resulting matrix must have determinant 0 because $C_i$ and $C_i+n$ will be linearly dependent no matter what subset of the rows we choose. Thus there is a map identifying the subset of the columns of $[A,pm A]$ with a subset of the columns of $A$ given by
$$ imapsto begincases i & textrmif $1le i le n$ \ i-n & textrmotherwise.endcases. $$






share|cite|improve this answer













The goal is to show that if a square submatrix of $[A,pm A]$ is nonsingular then it has determinant $pm 1$. Observe that any nonsingular square submatrix of $[A,pm A]$ is (up to permutation and sign of the columns) a nonsingular square submatrix of $A$ (justified later). Hence since permutation changes determinants by the sign of the permutation, which is $pm 1$, and changing the sign of a columns also multiplies the determinant by $-1$ for each such column, we observe that this implies that the determinant of every nonsingular square submatrix of $[A,pm A]$ is $pm 1$.



Now to justify the claim. Well, if we choose a square submatrix of $[A,pm A]$, we are choosing a subset of the rows and columns of $[A,pm A]$. Let's label the columns of $[A,pm A]$ as $C_1,ldots,C_n,C_n+1,C_2n$.
By definition $C_i=pm C_i+n$ for $1le ile n$, so if the subset of the columns that we choose contains index $i$ and $i+n$ for some $1le ile n$, the resulting matrix must have determinant 0 because $C_i$ and $C_i+n$ will be linearly dependent no matter what subset of the rows we choose. Thus there is a map identifying the subset of the columns of $[A,pm A]$ with a subset of the columns of $A$ given by
$$ imapsto begincases i & textrmif $1le i le n$ \ i-n & textrmotherwise.endcases. $$







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Jul 27 at 6:01









jgon

8,54611335




8,54611335











  • Thank you very much...
    – wst
    Jul 27 at 7:08
















  • Thank you very much...
    – wst
    Jul 27 at 7:08















Thank you very much...
– wst
Jul 27 at 7:08




Thank you very much...
– wst
Jul 27 at 7:08












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2864087%2fif-matrix-a-is-totally-unimodular-then-matrix-beginbmatrix-a-pm-a-endb%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?