{"id":"https://openalex.org/W7208746507","doi":"https://doi.org/10.48550/arxiv.2609.04050","title":"Conditioning of solutions to the Sylvester equation","display_name":"Conditioning of solutions to the Sylvester equation","publication_year":2026,"publication_date":"2026-09-03","ids":{"openalex":"https://openalex.org/W7208746507","doi":"https://doi.org/10.48550/arxiv.2609.04050"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.04050","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.04050","pdf_url":"https://arxiv.org/pdf/2609.04050","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.04050","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024408748","display_name":"Massimiliano Fasi","orcid":"https://orcid.org/0000-0002-6015-391X","observed_orcids":["https://orcid.org/0000-0002-6015-391X"]},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Fasi, Massimiliano","raw_affiliation_strings":["School of Computer Science , University of Leeds , Woodhouse Lane , Leeds LS2 9JT , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science , University of Leeds , Woodhouse Lane , Leeds LS2 9JT , UK","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029089965","display_name":"Behnam Hashemi","orcid":"https://orcid.org/0000-0002-8847-2058","observed_orcids":["https://orcid.org/0000-0002-8847-2058"]},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hashemi, Behnam","raw_affiliation_strings":["School of Computing and Mathematical Sciences , University of Leicester , University Road , Leicester LE1 7RH , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematical Sciences , University of Leicester , University Road , Leicester LE1 7RH , UK","institution_ids":["https://openalex.org/I153648349"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10792","display_name":"Matrix Theory and Algorithms","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10792","display_name":"Matrix Theory and Algorithms","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11416","display_name":"Numerical Solvers for Ordinary Differential Equations","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sylvester-equation","display_name":"Sylvester equation","score":0.9980000257492065},{"id":"https://openalex.org/keywords/lyapunov-equation","display_name":"Lyapunov equation","score":1.0},{"id":"https://openalex.org/keywords/condition-number-bounds","display_name":"condition number bounds","score":0.8650000095367432},{"id":"https://openalex.org/keywords/kronecker-sum","display_name":"Kronecker sum","score":0.9390000104904175},{"id":"https://openalex.org/keywords/backward-stability","display_name":"backward stability","score":0.8320000171661377},{"id":"https://openalex.org/keywords/diagonalizable-matrices","display_name":"diagonalizable matrices","score":0.6949999928474426},{"id":"https://openalex.org/keywords/matrix-exponential","display_name":"matrix exponential","score":0.9399999976158142},{"id":"https://openalex.org/keywords/symmetric-positive-definite-matrices","display_name":"symmetric positive definite matrices","score":0.6520000100135803}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8066999912261963},{"id":"https://openalex.org/C100468782","wikidata":"https://www.wikidata.org/wiki/Q3730848","display_name":"Sylvester equation","level":3,"score":0.8044999837875366},{"id":"https://openalex.org/C39482219","wikidata":"https://www.wikidata.org/wiki/Q192826","display_name":"Kronecker delta","level":2,"score":0.6722999811172485},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.5967000126838684},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5228000283241272},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.5157999992370605},{"id":"https://openalex.org/C56828936","wikidata":"https://www.wikidata.org/wiki/Q1752621","display_name":"Sylvester's law of inertia","level":4,"score":0.504800021648407},{"id":"https://openalex.org/C99692599","wikidata":"https://www.wikidata.org/wiki/Q596577","display_name":"Dissipative system","level":2,"score":0.4997999966144562},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4787999987602234},{"id":"https://openalex.org/C46030957","wikidata":"https://www.wikidata.org/wiki/Q1238125","display_name":"Kronecker product","level":3,"score":0.47859999537467957},{"id":"https://openalex.org/C20160815","wikidata":"https://www.wikidata.org/wiki/Q1482452","display_name":"Sylvester matrix","level":5,"score":0.47620001435279846},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.46230000257492065},{"id":"https://openalex.org/C49712288","wikidata":"https://www.wikidata.org/wiki/Q77601250","display_name":"Positive-definite matrix","level":3,"score":0.4496999979019165},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.4311999976634979},{"id":"https://openalex.org/C54848796","wikidata":"https://www.wikidata.org/wiki/Q339011","display_name":"Symmetric matrix","level":3,"score":0.3695000112056732},{"id":"https://openalex.org/C195906000","wikidata":"https://www.wikidata.org/wiki/Q1191722","display_name":"Matrix exponential","level":3,"score":0.36579999327659607},{"id":"https://openalex.org/C167964875","wikidata":"https://www.wikidata.org/wiki/Q17011487","display_name":"Exponential stability","level":3,"score":0.3635999858379364},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.35589998960494995},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3422999978065491},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.32120001316070557},{"id":"https://openalex.org/C198931094","wikidata":"https://www.wikidata.org/wiki/Q2610096","display_name":"Hurwitz matrix","level":3,"score":0.3192000091075897},{"id":"https://openalex.org/C45473103","wikidata":"https://www.wikidata.org/wiki/Q851503","display_name":"Riccati equation","level":3,"score":0.2906999886035919},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.2865999937057495},{"id":"https://openalex.org/C45262634","wikidata":"https://www.wikidata.org/wiki/Q5159291","display_name":"Conditioning","level":2,"score":0.28600001335144043},{"id":"https://openalex.org/C2779844894","wikidata":"https://www.wikidata.org/wiki/Q5421516","display_name":"Exponential dichotomy","level":3,"score":0.2768999934196472},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.2623000144958496},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.04050","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.04050","pdf_url":"https://arxiv.org/pdf/2609.04050","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.04050","doi":"https://doi.org/10.48550/arxiv.2609.04050","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.04050","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.04050","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.04050","pdf_url":"https://arxiv.org/pdf/2609.04050","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G5445620528","display_name":"MPiK: Mixed Precision in Krylov Subspace Methods","funder_award_id":"UKRI2774","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7208746507.pdf","grobid_xml":"https://content.openalex.org/works/W7208746507.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2015104712","https://openalex.org/W2020280435","https://openalex.org/W1972652206","https://openalex.org/W2361894356","https://openalex.org/W2020004434","https://openalex.org/W2150271909","https://openalex.org/W2025570567","https://openalex.org/W110669209","https://openalex.org/W7096741458","https://openalex.org/W1974684679"],"abstract_inverted_index":{"We":[0,34,71,99],"partially":[1],"answer":[2],"an":[3],"open":[4],"problem,":[5],"posed":[6],"by":[7],"Nick":[8],"Higham,":[9],"concerning":[10],"the":[11,24,38,41,57,79,83,90,111],"conditioning":[12],"of":[13,28,82],"solutions":[14],"to":[15,40],"Sylvester":[16,42,91],"and":[17,56,95,107,137,144],"Lyapunov":[18,112],"equations.":[19,33],"The":[20],"question":[21],"arises":[22],"in":[23,121],"backward":[25],"stability":[26],"analysis":[27],"numerical":[29],"algorithms":[30],"for":[31,89],"these":[32],"first":[35],"show":[36],"that":[37],"solution":[39],"equation":[43,92,113],"$AX-XB":[44],"=":[45,115],"C$":[46,55],"can":[47],"be":[48],"arbitrarily":[49],"ill-conditioned":[50],"even":[51],"if":[52],"$A,":[53],"B,":[54],"Kronecker":[58],"sum":[59],"$I":[60],"\\otimes":[61,65],"A":[62],"-":[63],"B^T":[64],"I$":[66],"are":[67,97],"all":[68],"perfectly":[69],"conditioned.":[70],"then":[72],"derive":[73],"general":[74],"a":[75],"priori":[76],"bounds":[77,88,103,120],"on":[78],"condition":[80],"number":[81],"solution,":[84],"as":[85,87],"well":[86],"when":[93,125,139],"$A$":[94,126,140],"$B$":[96],"diagonalizable.":[98],"also":[100],"provide":[101],"lower":[102],"involving":[104],"matrix":[105],"exponentials":[106],"Zolotarev":[108],"numbers.":[109],"For":[110],"$AX+XA^T":[114],"-C$,":[116],"we":[117],"obtain":[118],"upper":[119],"two":[122],"settings:":[123],"(i)":[124],"is":[127,133,141,146],"symmetric":[128,134,147],"positive":[129,148],"definite":[130],"while":[131],"$C$":[132,145],"negative":[135],"definite,":[136],"(ii)":[138],"strictly":[142],"dissipative":[143],"definite.":[149]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-09-05T00:00:00"}