[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-84515-en":3,"doc-seo-84515-105":30,"detail-sidebar-cat-0-en-105":92},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":21,"is_downloadable":21,"audit_status":21,"page_count":22,"language":23,"language_code":24,"site_id":25,"html_lang":24,"table_of_contents":26,"faqs":27,"seo_title":13,"seo_description":14,"update_tm":28,"read_time":29},84515,962075006959,"Anda","https://ap-avatar.wpscdn.com/avatar/e0002397efbe92a78e?_k=1776741047341049297",8,"Research & Report","Spectral Gap for the Binary Fixed-Margin Swap Chain","Explicit spectral-gap lower bounds are established for the lazy swap Markov chain on m×n binary matrices with prescribed row and column sums. The chain serves as a standard sampler for fixed-margin null models in ecology, statistics, and network analysis, addressing a Kannan–Tetali–Vempala conjecture on rapid mixing for all feasible margins. For every feasible margin set, the spectral gap is at least (m^2−1)−(n^2−1), and the bound is shown tight in the worst case, confirming the conjecture in a stronger quantitative form.","arXiv :2606 .22636v2 [math .PR] 13 Jul 2026  \nSpectral Gap for the Binary Fixed-Margin Swap Chain  \nWeibo Fu ∗ Qian Qin † Guanyang Wang ‡  \nJuly 14, 2026  \nAbstract  \nWe prove an explicit spectral-gap lower bound for the lazy swap chain on binary matrices with prescribed row and column sums. This chain is a standard sampler for fixed-margin null models in ecology, statistics, and network analysis. Kannan, Tetali, and Vempala (KTV) conjectured that it mixes rapidly for all feasible margins (Kannan et al. , 1997) . We show that for every feasible set of margins on an m × n binary matrix, the lazy swap chain has spectral gap at least  \n􀀒m2􀀓 −1 􀀒n2􀀓 −1 .  \nThe bound is tight in the worst case. Thus, our result proves this KTV conjecture in a stronger quantitative form. The same spectral-gap bound also verifies the Mihail–Vazirani conjecture (Mihail, 1992; Kaibel, 2004) for fixed-margin 0/1-matrix polytopes.  \nThe proof gives a new route to fixed-margin sampling that avoids stability assumptions and canonical-path constructions. We compare the swap chain with a two-row heat-bath chain and use a local-to-global spectral reduction to reduce the analysis from arbitrary m × n matrices toa three-row problem. The remaining three-row inequality is then proved by separating the scalar column-count sector from the non-scalar Johnson harmonic sectors.  \nThe proof itself was generated by ChatGPT 5.5 Pro. ChatGPT proposed the whole proof strategy, including the comparison with the two-row heat-bath chain, the reduction to the three-row case, and the decomposition of the three-row function space into the count sector and the Johnson harmonic sectors. It also generated all the technical lemmas and initial proofs. The author’s role was to pose the problem, guide the search direction, evaluate the AI-generated arguments, rewrite the proof, and take responsibility for the final form and validity of the result. The full proof of the main theorem has been formalized in Lean, and the accompanying formalization is available at the anonymous repository [https://github.com/guanyangwang/](https://github.com/guanyangwang/)[ ](https://github.com/guanyangwang/)[ktv-swap-lean](ktv-swap-lean.)[.](ktv-swap-lean.)  \nContents  \n1 Introduction 2  \n2 Main Result 5  \n3 Comparison to a Two-row Heat-bath Chain 6  \n3.1 The two-row heat-bath chain ............................... 6  \n3.2 Spectral gap comparison .................................. 7  \n∗[wfu@math.princeton.edu](wfu@math.princeton.edu)[ ](wfu@math.princeton.edu)†[qqin@umn.edu](qqin@umn.edu)[ ](qqin@umn.edu)‡[guanyang.wang@rutgers.edu](guanyang.wang@rutgers.edu)  \n4 Reduction to Three Rows 9  \n5 Analysis of the Three-row Model 12  \n5.1 Overview .......................................... 12  \n5.2 The scalar count sector ................................... 12  \n5.3 Johnson harmonics and non-scalar sectors ........................ 15  \n5.3.1 Johnson harmonic preliminaries .......................... 15  \n5.3.2 Generated sectors and the coefficient matrices .................. 17  \n5.4 Proof of the three-row inequality ............................. 20  \n6 Proofs of the Main Theorem and Corollary 2.4 21  \n1 Introduction  \nBinary matrices are a natural way to encode binary relations between two sets of objects. For example, in ecology, one may record which bird species are observed on which islands by an m × n binary matrix A, where Aij = 1 if species i is present on island j, and Aij = 0 otherwise.  \nA basic task is to generate uniformly random binary matrices with prescribed row and column sums. This problem arises naturally in ecological null models. Given an observed species–island matrix, ecologists ask whether its pattern reflects real ecological structure, such as competition between species, or can be explained by random chance after controlling for species prevalence and island richness. This leads to the fixed-margin null model, in which one samples uniformly from all binary matrices with the same row and c","cbCaic1Kb5eSUpjz","https://ap.wps.com/l/cbCaic1Kb5eSUpjz","pdf",405334,6,1,26,"English","en",105,"# Introduction\n# Main Result\n# Comparison to a Two-row Heat-bath Chain\n## The two-row heat-bath chain\n## Spectral gap comparison\n# Reduction to Three Rows\n# Analysis of the Three-row Model\n## Overview\n## The scalar count sector\n## Johnson harmonics and non-scalar sectors\n## Proof of the three-row inequality\n# Proofs of the Main Theorem and Corollary","[{\"question\":\"What problem does the document address?\",\"answer\":\"It analyzes the mixing behavior of the lazy swap Markov chain used to sample uniformly random binary matrices with fixed row and column sums (fixed margins).\"},{\"question\":\"What is the main spectral-gap result?\",\"answer\":\"For every feasible set of margins on an m×n binary matrix, the lazy swap chain has a spectral gap bounded below by an explicit expression in m and n, and the worst-case bound is tight.\"},{\"question\":\"How does the proof approach avoid traditional methods?\",\"answer\":\"It compares the swap chain to a two-row heat-bath chain and applies a local-to-global spectral reduction to reduce the analysis from general m×n matrices to a three-row model, then proves a remaining three-row inequality by decomposing into scalar count and Johnson harmonic sectors.\"}]",1784196245,66,{"code":4,"msg":31,"data":32},"ok",{"site_id":25,"language":24,"slug":33,"title":13,"keywords":34,"description":14,"schema_data":35,"social_meta":87,"head_meta":89,"extra_data":91,"updated_unix":28},"spectral-gap-for-the-binary-fixed-margin-swap-chain","",{"@graph":36,"@context":86},[37,54,69],{"@type":38,"itemListElement":39},"BreadcrumbList",[40,44,48,51],{"item":41,"name":42,"@type":43,"position":21},"https://docshare.wps.com","Home","ListItem",{"item":45,"name":46,"@type":43,"position":47},"https://docshare.wps.com/document/","Document",2,{"item":49,"name":12,"@type":43,"position":50},"https://docshare.wps.com/document/research-report/",3,{"item":52,"name":13,"@type":43,"position":53},"https://docshare.wps.com/document/spectral-gap-for-the-binary-fixed-margin-swap-chain/84515/",4,{"url":52,"name":13,"@type":55,"author":56,"headline":13,"publisher":58,"fileFormat":61,"inLanguage":24,"description":14,"dateModified":62,"datePublished":63,"encodingFormat":61,"isAccessibleForFree":64,"interactionStatistic":65},"DigitalDocument",{"name":9,"@type":57},"Person",{"url":41,"name":59,"@type":60},"DocShare","Organization","application/pdf","2026-07-22","2026-07-16",true,{"@type":66,"interactionType":67,"userInteractionCount":20},"InteractionCounter",{"@type":68},"ViewAction",{"@type":70,"mainEntity":71},"FAQPage",[72,78,82],{"name":73,"@type":74,"acceptedAnswer":75},"What problem does the document address?","Question",{"text":76,"@type":77},"It analyzes the mixing behavior of the lazy swap Markov chain used to sample uniformly random binary matrices with fixed row and column sums (fixed margins).","Answer",{"name":79,"@type":74,"acceptedAnswer":80},"What is the main spectral-gap result?",{"text":81,"@type":77},"For every feasible set of margins on an m×n binary matrix, the lazy swap chain has a spectral gap bounded below by an explicit expression in m and n, and the worst-case bound is tight.",{"name":83,"@type":74,"acceptedAnswer":84},"How does the proof approach avoid traditional methods?",{"text":85,"@type":77},"It compares the swap chain to a two-row heat-bath chain and applies a local-to-global spectral reduction to reduce the analysis from general m×n matrices to a three-row model, then proves a remaining three-row inequality by decomposing into scalar count and Johnson harmonic sectors.","https://schema.org",{"og:url":52,"og:type":88,"og:title":13,"og:site_name":59,"og:description":14},"article",{"robots":90,"canonical":52},"index,follow",{"doc_id":7,"site_id":25},{"code":4,"msg":5,"data":93},[94,98,102,106,111,115,120,123,128,131,135],{"id":21,"doc_module":4,"doc_module_name":46,"category_name":95,"show_sort_weight":96,"slug":97},"Story & Novel",90,"story-novel",{"id":47,"doc_module":4,"doc_module_name":46,"category_name":99,"show_sort_weight":100,"slug":101},"Literature",80,"literature",{"id":53,"doc_module":4,"doc_module_name":46,"category_name":103,"show_sort_weight":104,"slug":105},"Exam",70,"exam",{"id":107,"doc_module":4,"doc_module_name":46,"category_name":108,"show_sort_weight":109,"slug":110},5,"Comic",60,"comic",{"id":20,"doc_module":4,"doc_module_name":46,"category_name":112,"show_sort_weight":113,"slug":114},"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":46,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":46,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":124,"doc_module":4,"doc_module_name":46,"category_name":125,"show_sort_weight":126,"slug":127},9,"Religion & Spirituality",20,"religion-spirituality",{"id":126,"doc_module":4,"doc_module_name":46,"category_name":129,"show_sort_weight":126,"slug":130},"World Cup","world-cup",{"id":132,"doc_module":4,"doc_module_name":46,"category_name":133,"show_sort_weight":132,"slug":134},10,"Lifestyle","lifestyle",{"id":136,"doc_module":4,"doc_module_name":46,"category_name":137,"show_sort_weight":107,"slug":138},19,"General","general"]