{"id":"https://openalex.org/W7165847143","doi":"https://doi.org/10.48550/arxiv.2606.24899","title":"From Meta Idea to Advanced Mathematical Discovery -- Human-AI Co-Discovery of Sign-Embedding Quantum Algorithms","display_name":"From Meta Idea to Advanced Mathematical Discovery -- Human-AI Co-Discovery of Sign-Embedding Quantum Algorithms","publication_year":2026,"publication_date":"2026-06-12","ids":{"openalex":"https://openalex.org/W7165847143","doi":"https://doi.org/10.48550/arxiv.2606.24899"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.24899","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.24899","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134834421","display_name":"Yanqiao Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Yanqiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139373882","display_name":"Jin-Peng Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Jin-Peng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139345422","display_name":"Peng Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Peng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139379005","display_name":"Yang Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.08540000021457672,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.08540000021457672,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T14222","display_name":"Knowledge Management and Technology","score":0.05310000106692314,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.05000000074505806,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/intuition","display_name":"Intuition","score":0.5625},{"id":"https://openalex.org/keywords/skepticism","display_name":"Skepticism","score":0.4691999852657318},{"id":"https://openalex.org/keywords/linear-algebra","display_name":"Linear algebra","score":0.45210000872612},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42669999599456787},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.38449999690055847},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.3774000108242035},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.364300012588501},{"id":"https://openalex.org/keywords/scientific-discovery","display_name":"Scientific discovery","score":0.32910001277923584}],"concepts":[{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.5625},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5534999966621399},{"id":"https://openalex.org/C18296254","wikidata":"https://www.wikidata.org/wiki/Q1395219","display_name":"Skepticism","level":2,"score":0.4691999852657318},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.45210000872612},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44040000438690186},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42669999599456787},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.38449999690055847},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3774000108242035},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.375900000333786},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.364300012588501},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35929998755455017},{"id":"https://openalex.org/C2984917352","wikidata":"https://www.wikidata.org/wiki/Q12772819","display_name":"Scientific discovery","level":2,"score":0.32910001277923584},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.32260000705718994},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3156000077724457},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.31220000982284546},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.2912999987602234},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.2822999954223633},{"id":"https://openalex.org/C2988995629","wikidata":"https://www.wikidata.org/wiki/Q2915729","display_name":"Matrix algebra","level":3,"score":0.2653999924659729},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.26249998807907104}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.24899","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.24899","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"AI-assisted":[0,109],"mathematics":[1],"is":[2,22,78],"often":[3],"evaluated":[4],"on":[5],"solving":[6],"predefined":[7],"problems.":[8],"In":[9],"practice,":[10],"however,":[11],"many":[12],"important":[13,223],"advances":[14],"begin":[15],"earlier,":[16],"when":[17,185],"a":[18,25,28,32,43,72,94,122,130,149,182,189,198,247],"vague":[19],"research":[20,235,249],"intuition":[21,74,128],"transformed":[23],"into":[24,115,129],"concrete":[26],"problem,":[27],"promising":[29],"route,":[30],"and":[31,55,64,89,136,159,162,165,192,207,243],"theorem":[33,231],"family":[34],"worth":[35,179],"proving.":[36],"This":[37],"report":[38,211],"studies":[39],"that":[40,46,75,213],"stage":[41],"through":[42],"case":[44],"study":[45],"led":[47],"to":[48,153,203],"sign-embedding":[49],"quantum":[50,61,66,98],"algorithms":[51],"for":[52,81,97,237],"matrix":[53,56,157,160],"equations":[54,158],"functions,":[57,161],"foundational":[58],"primitives":[59],"in":[60,125],"linear":[62],"algebra":[63],"operator-output":[65],"algorithms.":[67,99],"The":[68,168,210],"project":[69],"began":[70],"with":[71,217],"human-originated":[73],"rational":[76],"approximation":[77,184],"especially":[79],"effective":[80],"jump-type":[82],"functions":[83],"such":[84,219],"as":[85,93,141,220,222,229,234],"the":[86,105,116,142,194,204],"sign":[87,139],"function,":[88],"might":[90],"therefore":[91],"serve":[92],"design":[95],"principle":[96],"Rather":[100],"than":[101],"merely":[102],"assisting":[103],"after":[104],"problem":[106,238],"was":[107],"fixed,":[108],"exploration,":[110],"including":[111],"workflows":[112],"later":[113],"integrated":[114],"agentic":[117],"AI-mathematician":[118],"system":[119],"AIM,":[120],"played":[121],"key":[123],"role":[124],"expanding":[126],"this":[127],"route":[131,202],"map,":[132],"comparing":[133],"candidate":[134],"formulations,":[135],"converging":[137],"toward":[138],"embedding":[140],"central":[143],"framework.":[144],"AIM":[145,221],"then":[146],"helped":[147],"connect":[148],"known":[150],"matrix-sign":[151],"identity":[152],"wider":[154],"classes":[155],"of":[156],"drafted":[163],"proof":[164],"complexity":[166],"calculations.":[167],"decisive":[169],"scientific":[170],"judgments":[171],"remained":[172],"human:":[173],"selecting":[174],"which":[175],"human-AI-expanded":[176],"routes":[177],"were":[178],"pursuing,":[180],"rejecting":[181],"Cayley-trapezoidal":[183],"its":[186],"validity":[187],"required":[188],"hidden":[190],"condition,":[191],"refining":[193],"Sylvester":[195],"implementation":[196],"from":[197],"coarse":[199],"quadratic-gap":[200],"query":[201],"final":[205],"factorized":[206],"scaled":[208],"analysis.":[209],"argues":[212],"human-AI":[214],"co-discovery":[215],"workflows,":[216],"systems":[218],"components,":[224],"are":[225],"most":[226],"valuable":[227],"not":[228],"standalone":[230],"provers,":[232],"but":[233],"partners":[236],"formation,":[239],"connection":[240],"discovery,":[241],"derivation,":[242],"skeptical":[244],"review":[245],"inside":[246],"human-gated":[248],"loop.":[250]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-26T00:00:00"}