{"id":"https://openalex.org/W7211998703","doi":"https://doi.org/10.48550/arxiv.2609.06275","title":"Riccati Stability Without Auxiliary Matrices","display_name":"Riccati Stability Without Auxiliary Matrices","publication_year":2026,"publication_date":"2026-09-05","ids":{"openalex":"https://openalex.org/W7211998703","doi":"https://doi.org/10.48550/arxiv.2609.06275"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.06275","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.06275","pdf_url":"https://arxiv.org/pdf/2609.06275","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":null,"license_id":null,"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.06275","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5144825878","display_name":"Jeffrey Humpherys","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Humpherys, Jeffrey","raw_affiliation_strings":["Department of Mathematics and Statistics Missouri University of Science and Technology Rolla , Missouri"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics Missouri University of Science and Technology Rolla , Missouri","institution_ids":["https://openalex.org/I20382870"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5144825878"],"corresponding_institution_ids":["https://openalex.org/I20382870"],"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.6553000211715698,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.6553000211715698,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11110","display_name":"Stability and Controllability of Differential Equations","score":0.17550000548362732,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10884","display_name":"Holomorphic and Operator Theory","score":0.03880000114440918,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/resolvent-families","display_name":"resolvent families","score":0.878000020980835},{"id":"https://openalex.org/keywords/spectral-radius","display_name":"spectral radius","score":0.6019999980926514},{"id":"https://openalex.org/keywords/bounded-real-lemma","display_name":"bounded real lemma","score":0.7350000143051147},{"id":"https://openalex.org/keywords/small-gain-theorem","display_name":"small gain theorem","score":0.628000020980835},{"id":"https://openalex.org/keywords/hurwitz-stability","display_name":"Hurwitz stability","score":0.8109999895095825},{"id":"https://openalex.org/keywords/lean-formal-verification","display_name":"Lean formal verification","score":0.5899999737739563}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8539999723434448},{"id":"https://openalex.org/C196267783","wikidata":"https://www.wikidata.org/wiki/Q4392490","display_name":"Resolvent","level":2,"score":0.8084999918937683},{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.603600025177002},{"id":"https://openalex.org/C45473103","wikidata":"https://www.wikidata.org/wiki/Q851503","display_name":"Riccati equation","level":3,"score":0.54339998960495},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5360999703407288},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4934000074863434},{"id":"https://openalex.org/C178650346","wikidata":"https://www.wikidata.org/wiki/Q201984","display_name":"Covariance","level":2,"score":0.48399999737739563},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.45579999685287476},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.45019999146461487},{"id":"https://openalex.org/C140532419","wikidata":"https://www.wikidata.org/wiki/Q249748","display_name":"Spectral radius","level":3,"score":0.44020000100135803},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4253000020980835},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.4074000120162964},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.3659000098705292},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36250001192092896},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.36010000109672546},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C198931094","wikidata":"https://www.wikidata.org/wiki/Q2610096","display_name":"Hurwitz matrix","level":3,"score":0.3278000056743622},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C13847129","wikidata":"https://www.wikidata.org/wiki/Q4723989","display_name":"Algebraic Riccati equation","level":4,"score":0.3086000084877014},{"id":"https://openalex.org/C30072841","wikidata":"https://www.wikidata.org/wiki/Q1767080","display_name":"Diagonalizable matrix","level":4,"score":0.28999999165534973},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C88030215","wikidata":"https://www.wikidata.org/wiki/Q907306","display_name":"WKB approximation","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C4263655","wikidata":"https://www.wikidata.org/wiki/Q2699958","display_name":"Matrix function","level":4,"score":0.2800999879837036},{"id":"https://openalex.org/C81571819","wikidata":"https://www.wikidata.org/wiki/Q1426722","display_name":"Resolvent formalism","level":4,"score":0.2750999927520752},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.2727000117301941}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.06275","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.06275","pdf_url":"https://arxiv.org/pdf/2609.06275","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.06275","doi":"https://doi.org/10.48550/arxiv.2609.06275","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.06275","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.06275","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.06275","pdf_url":"https://arxiv.org/pdf/2609.06275","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7211998703.pdf","grobid_xml":"https://content.openalex.org/works/W7211998703.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7203923706","https://openalex.org/W7162935917","https://openalex.org/W3047000696","https://openalex.org/W2104463047","https://openalex.org/W7001896117","https://openalex.org/W60753274","https://openalex.org/W2541221497","https://openalex.org/W2074592338","https://openalex.org/W2028871489","https://openalex.org/W7203960242"],"abstract_inverted_index":{"In":[0],"the":[1,15,35,61,67,72,89,93,105,114,122,128,137,150],"2004":[2],"collection":[3],"\\emph{Unsolved":[4],"Problems":[5],"in":[6,149],"Mathematical":[7],"Systems":[8],"and":[9,81,96,117,125,134],"Control":[10],"Theory},":[11],"Erik":[12],"Verriest":[13],"posed":[14],"problem":[16],"of":[17,34,66,92,121,132],"characterizing":[18],"Riccati":[19,85],"stability":[20,86],"``without":[21],"invoking":[22],"additional":[23],"matrices.''":[24],"We":[25],"give":[26],"such":[27],"a":[28,31,79,97],"characterization":[29],"through":[30],"scalar":[32,99],"invariant":[33,39,102],"resolvent":[36,68,123,139],"family.":[37,69],"The":[38,101,142],"is":[40],"defined":[41],"by":[42],"covariance":[43,58],"balances":[44],"using":[45],"at":[46],"most":[47],"$n^2+1$":[48],"frequency--direction":[49],"pairs.":[50],"A":[51],"finite-dimensional":[52],"separation":[53],"argument":[54],"shows":[55],"that":[56],"this":[57,77],"radius":[59,108,131],"equals":[60],"optimal":[62],"common":[63],"ellipsoidal":[64],"norm":[65],"Combined":[70],"with":[71,127],"strict":[73],"bounded":[74],"real":[75],"lemma,":[76],"yields":[78],"necessary":[80],"sufficient":[82],"condition":[83],"for":[84,109,136],"involving":[87],"only":[88],"Hurwitz":[90],"property":[91],"first":[94],"matrix":[95],"single":[98],"inequality.":[100],"reduces":[103],"to":[104],"ordinary":[106],"spectral":[107,130],"one":[110],"matrix,":[111],"lies":[112],"between":[113],"pointwise":[115],"spectral-radius":[116],"unscaled":[118],"small-gain":[119],"levels":[120],"family,":[124],"coincides":[126],"operator-space":[129],"Shalit":[133],"Shamovich":[135],"natural":[138],"function":[140],"space.":[141],"main":[143],"results":[144],"have":[145],"been":[146],"formally":[147],"verified":[148],"Lean":[151],"proof":[152],"assistant.":[153]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-09-10T00:00:00"}