{"id":"https://openalex.org/W4416063949","doi":"https://doi.org/10.4230/lipics.itcs.2026.3","title":"Linear Matroid Intersection Is in Catalytic Logspace","display_name":"Linear Matroid Intersection Is in Catalytic Logspace","publication_year":2025,"publication_date":"2025-09-08","ids":{"openalex":"https://openalex.org/W4416063949","doi":"https://doi.org/10.4230/lipics.itcs.2026.3"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2509.06435","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.06435","pdf_url":"https://arxiv.org/pdf/2509.06435","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,"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"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2509.06435","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5115705834","display_name":"Aryan Agarwala","orcid":null},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Agarwala, Aryan","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7047-2650","affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060900447","display_name":"Yaroslav Alekseev","orcid":"https://orcid.org/0000-0003-3196-6919"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Alekseev, Yaroslav","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel"],"raw_orcid":"https://orcid.org/0000-0003-3196-6919","affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5120046765","display_name":"Antoine Vinciguerra","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Vinciguerra, Antoine","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel"],"raw_orcid":"https://orcid.org/0000-0001-8593-7158","affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":2,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.623199999332428,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.623199999332428,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.19609999656677246,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.057500001043081284,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/matroid","display_name":"Matroid","score":0.9574000239372253},{"id":"https://openalex.org/keywords/bipartite-graph","display_name":"Bipartite graph","score":0.7498999834060669},{"id":"https://openalex.org/keywords/matroid-partitioning","display_name":"Matroid partitioning","score":0.6873000264167786},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.6782000064849854},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.6158000230789185},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5460000038146973},{"id":"https://openalex.org/keywords/graphic-matroid","display_name":"Graphic matroid","score":0.5389000177383423},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5218999981880188}],"concepts":[{"id":"https://openalex.org/C106286213","wikidata":"https://www.wikidata.org/wiki/Q898572","display_name":"Matroid","level":2,"score":0.9574000239372253},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.791100025177002},{"id":"https://openalex.org/C197657726","wikidata":"https://www.wikidata.org/wiki/Q174733","display_name":"Bipartite graph","level":3,"score":0.7498999834060669},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7330999970436096},{"id":"https://openalex.org/C22425182","wikidata":"https://www.wikidata.org/wiki/Q6787906","display_name":"Matroid partitioning","level":4,"score":0.6873000264167786},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6782000064849854},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.6158000230789185},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5460000038146973},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5411999821662903},{"id":"https://openalex.org/C111034964","wikidata":"https://www.wikidata.org/wiki/Q5597156","display_name":"Graphic matroid","level":3,"score":0.5389000177383423},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5218999981880188},{"id":"https://openalex.org/C124344645","wikidata":"https://www.wikidata.org/wiki/Q7979897","display_name":"Weighted matroid","level":5,"score":0.47049999237060547},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.44679999351501465},{"id":"https://openalex.org/C178621168","wikidata":"https://www.wikidata.org/wiki/Q16155113","display_name":"Oriented matroid","level":4,"score":0.40799999237060547},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.3310000002384186},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C2776194381","wikidata":"https://www.wikidata.org/wiki/Q3965271","display_name":"Subclass","level":3,"score":0.28870001435279846},{"id":"https://openalex.org/C122818955","wikidata":"https://www.wikidata.org/wiki/Q1060343","display_name":"Independent set","level":3,"score":0.2874999940395355},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C119050217","wikidata":"https://www.wikidata.org/wiki/Q17101806","display_name":"Intersection theorem","level":5,"score":0.25769999623298645},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.2535000145435333}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:arXiv.org:2509.06435","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.06435","pdf_url":"https://arxiv.org/pdf/2509.06435","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,"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":"pmh:oai:pure.mpg.de:item_3712261","is_oa":true,"landing_page_url":"https://hdl.handle.net/21.11116/0000-0013-1F9A-C","pdf_url":"https://hdl.handle.net/21.11116/0000-0013-1F9C-A","source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"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":"Leibniz International Proceedings in Informatics","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:drops-oai.dagstuhl.de:25290","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.3","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"InProceedings"},{"id":"doi:10.48550/arxiv.2509.06435","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2509.06435","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,"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"},{"id":"doi:10.4230/lipics.itcs.2026.3","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.itcs.2026.3","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2509.06435","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.06435","pdf_url":"https://arxiv.org/pdf/2509.06435","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,"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":[],"awards":[{"id":"https://openalex.org/G2478753545","display_name":null,"funder_award_id":"507/24","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Linear":[0],"matroid":[1,21,40,112,134,216],"intersection":[2,22,41,113,135,217],"is":[3,42,90,95],"an":[4,126],"important":[5,127],"problem":[6,23,74,129,147,194],"in":[7,38,53,75,173,201,221],"combinatorial":[8],"optimization.":[9],"Given":[10],"two":[11],"linear":[12,20,39,111,133,215],"matroids":[13],"over":[14,121],"the":[15,19,45,76,105,149,174,180,192,206],"same":[16],"ground":[17],"set,":[18],"asks":[24],"you":[25],"to":[26,44,86,130,137,186,198],"find":[27],"a":[28,116,155],"common":[29],"independent":[30],"set":[31],"of":[32,78,107,142,183,208],"maximum":[33,168],"size.":[34],"The":[35],"deep":[36],"interest":[37],"due":[43],"fact":[46],"that":[47,94,100,132,166,214],"it":[48,124],"generalises":[49],"many":[50,69],"classical":[51],"problems":[52],"theoretical":[54],"computer":[55],"science,":[56],"such":[57],"as":[58],"bipartite":[59,167,188],"matching,":[60,189],"edge":[61],"disjoint":[62],"spanning":[63,66],"trees,":[64],"rainbow":[65],"tree,":[67],"and":[68,162,190,210],"more.":[70],"We":[71,144,203],"study":[72],"this":[73,146],"model":[77],"catalytic":[79,151],"computation:":[80],"space-bounded":[81],"machines":[82],"are":[83],"granted":[84],"access":[85],"\\textit{catalytic":[87],"space},":[88],"which":[89],"additional":[91],"working":[92],"memory":[93],"full":[96],"with":[97,154],"arbitrary":[98],"data":[99],"must":[101],"be":[102,171,199,219],"preserved":[103],"at":[104],"end":[106],"its":[108],"computation.":[109],"Although":[110],"has":[114],"had":[115],"polynomial":[117,156],"time":[118,157],"algorithm":[119],"for":[120,148],"50":[122],"years,":[123],"remains":[125],"open":[128],"show":[131],"belongs":[136],"any":[138],"well":[139],"studied":[140],"subclass":[141,182],"$\\mathsf{P}$.":[143],"address":[145],"class":[150,175],"logspace":[152],"($\\mathsf{CL}$)":[153],"bound":[158],"($\\mathsf{CLP}$).":[159],"Recently,":[160],"Agarwala":[161,209],"Mertz":[163,211],"(2025)":[164],"showed":[165],"matching":[169],"can":[170,218],"computed":[172,220],"$\\mathsf{CLP}\\subseteq":[176],"\\mathsf{P}$.":[177],"This":[178],"was":[179],"first":[181,193],"$\\mathsf{P}$":[184],"shown":[185,197],"contain":[187],"additionally":[191],"outside":[195],"$\\mathsf{TC}^1$":[196],"contained":[200],"$\\mathsf{CL}$.":[202],"significantly":[204],"improve":[205],"result":[207],"by":[212],"showing":[213],"$\\mathsf{CLP}$.":[222]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}