Sum of positive semi-difinite matrix inequality

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











up vote
0
down vote

favorite












Can the following conclusion hold?




There exist matrices $H^iinmathbbR^mtimes n, (mleq n, iinmathcalN)$, and non-zero real numbers $underlineh^i$, and $overlineh^i$.
If the following inequality holds
beginalign
underlineh^i^2 I_mleq H^i (H^i)^T leq overlineh^i^2 I_m
endalign
and
beginalign
sum_iinmathcalN(H^i)^T H^i >0,
endalign
then
beginalign
sum_iinmathcalN(H^i)^T H^i geq min_iinmathcalNunderlineh^i^2 I_n
endalign




Note: The expression matrix $M>0$ means matrix $M$ is positive definite. Similarly, the expression $Ageq B$ means $A-B$ is positive semi-definite.







share|cite|improve this question





















  • What does it mean for one matrix to be less than or equal to another matrix? Is $h$ a real number? Also, in the last line, what is the minimum being taken over?
    – Chandler Watson
    Jul 21 at 6:16










  • Thanks for your questions. The descriptions have been updated such that all your concerns have been addressed.
    – wayne
    Jul 21 at 12:00














up vote
0
down vote

favorite












Can the following conclusion hold?




There exist matrices $H^iinmathbbR^mtimes n, (mleq n, iinmathcalN)$, and non-zero real numbers $underlineh^i$, and $overlineh^i$.
If the following inequality holds
beginalign
underlineh^i^2 I_mleq H^i (H^i)^T leq overlineh^i^2 I_m
endalign
and
beginalign
sum_iinmathcalN(H^i)^T H^i >0,
endalign
then
beginalign
sum_iinmathcalN(H^i)^T H^i geq min_iinmathcalNunderlineh^i^2 I_n
endalign




Note: The expression matrix $M>0$ means matrix $M$ is positive definite. Similarly, the expression $Ageq B$ means $A-B$ is positive semi-definite.







share|cite|improve this question





















  • What does it mean for one matrix to be less than or equal to another matrix? Is $h$ a real number? Also, in the last line, what is the minimum being taken over?
    – Chandler Watson
    Jul 21 at 6:16










  • Thanks for your questions. The descriptions have been updated such that all your concerns have been addressed.
    – wayne
    Jul 21 at 12:00












up vote
0
down vote

favorite









up vote
0
down vote

favorite











Can the following conclusion hold?




There exist matrices $H^iinmathbbR^mtimes n, (mleq n, iinmathcalN)$, and non-zero real numbers $underlineh^i$, and $overlineh^i$.
If the following inequality holds
beginalign
underlineh^i^2 I_mleq H^i (H^i)^T leq overlineh^i^2 I_m
endalign
and
beginalign
sum_iinmathcalN(H^i)^T H^i >0,
endalign
then
beginalign
sum_iinmathcalN(H^i)^T H^i geq min_iinmathcalNunderlineh^i^2 I_n
endalign




Note: The expression matrix $M>0$ means matrix $M$ is positive definite. Similarly, the expression $Ageq B$ means $A-B$ is positive semi-definite.







share|cite|improve this question













Can the following conclusion hold?




There exist matrices $H^iinmathbbR^mtimes n, (mleq n, iinmathcalN)$, and non-zero real numbers $underlineh^i$, and $overlineh^i$.
If the following inequality holds
beginalign
underlineh^i^2 I_mleq H^i (H^i)^T leq overlineh^i^2 I_m
endalign
and
beginalign
sum_iinmathcalN(H^i)^T H^i >0,
endalign
then
beginalign
sum_iinmathcalN(H^i)^T H^i geq min_iinmathcalNunderlineh^i^2 I_n
endalign




Note: The expression matrix $M>0$ means matrix $M$ is positive definite. Similarly, the expression $Ageq B$ means $A-B$ is positive semi-definite.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 21 at 11:58
























asked Jul 20 at 12:11









wayne

359313




359313











  • What does it mean for one matrix to be less than or equal to another matrix? Is $h$ a real number? Also, in the last line, what is the minimum being taken over?
    – Chandler Watson
    Jul 21 at 6:16










  • Thanks for your questions. The descriptions have been updated such that all your concerns have been addressed.
    – wayne
    Jul 21 at 12:00
















  • What does it mean for one matrix to be less than or equal to another matrix? Is $h$ a real number? Also, in the last line, what is the minimum being taken over?
    – Chandler Watson
    Jul 21 at 6:16










  • Thanks for your questions. The descriptions have been updated such that all your concerns have been addressed.
    – wayne
    Jul 21 at 12:00















What does it mean for one matrix to be less than or equal to another matrix? Is $h$ a real number? Also, in the last line, what is the minimum being taken over?
– Chandler Watson
Jul 21 at 6:16




What does it mean for one matrix to be less than or equal to another matrix? Is $h$ a real number? Also, in the last line, what is the minimum being taken over?
– Chandler Watson
Jul 21 at 6:16












Thanks for your questions. The descriptions have been updated such that all your concerns have been addressed.
– wayne
Jul 21 at 12:00




Thanks for your questions. The descriptions have been updated such that all your concerns have been addressed.
– wayne
Jul 21 at 12:00















active

oldest

votes











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%2f2857574%2fsum-of-positive-semi-difinite-matrix-inequality%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2857574%2fsum-of-positive-semi-difinite-matrix-inequality%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?