:root{--highlight:#8c7a65;--background:#fdfbf7;--cat-highlight:#b8845f;--cat-background:#f8e4e7;--new-highlight:#71cf37;--new-background:#e4f8e7;--note-highlight:#888888;--note-background:#e8e4c9;--toc-color:darkgray;--toc-parent-color:#555;--toc-selected-color:black}body.colorscheme-dark{--highlight:#a89679;--background:#121212;--cat-highlight:#b89070;--cat-background:#1e1e1e;--new-highlight:#81c784;--new-background:#0d330f;--note-highlight:#bdbdbd;--note-background:#2c2c2c;--toc-color:#a0a0a0;--toc-parent-color:#d0d0d0;--toc-selected-color:#ffffff;color:#e0e0e0}body{line-height:1.35em}.content .tag,.content .taxonomy-element,.content .post .post-meta .tags .tag,.content .post .post-meta .tags .taxonomy-element,.taxonomy .tag,.taxonomy .taxonomy-element{padding:0;border-radius:0;border:none;background:0 0!important;line-height:1.8em}.content .tag a,.content .taxonomy-element a,.content .post .post-meta .tags .tag a,.content .post .post-meta .tags .taxonomy-element a,.taxonomy .tag a,.taxonomy .taxonomy-element a{padding:.1rem .4rem;border-radius:.6rem;border:1px solid var(--highlight);background:var(--background);color:inherit}.content .category a,.content .post .post-meta .tags .category a,.taxonomy .category a{background:var(--cat-background);border-color:var(--cat-highlight)}.content .separator,.content .post .post-meta .tags .separator,.taxonomy .separator{display:none}.taxonomy ul{margin:0}.taxonomy ul li{display:inline-block!important;margin:.3rem}.content article header{margin-top:0}p,ul,ol{margin-top:1rem;margin-bottom:1rem}li p{margin-top:0;margin-bottom:0}ul ul,ol ul,ul ol,ol ol{margin-top:.5rem;margin-bottom:.5rem}h1,h2,h3,h4,h5,h6{margin-top:3.5rem;margin-bottom:1rem}dd>ol{margin-top:0;margin-bottom:0}table th,table td{padding:.2rem .4rem;border-width:1px 0;border-color:gray}table tr:last-child td,table th{border-bottom-width:2px;border-bottom-color:initial;border-bottom-style:solid}.ox-hugo-table.equal-width td,.ox-hugo-table.equal-width th{max-width:0}table{min-width:auto;max-width:initial;position:relative;margin-left:auto;margin-right:auto}.ox-hugo-table.small table{min-width:initial}.ox-hugo-table.small table td{padding:2px 6px}.ox-hugo-table{overflow-x:scroll}.ox-hugo-table.full-width{width:100vw;position:relative;left:50%;margin-left:-50vw;background:#fff;padding:2em}div.canvas{width:100vw;left:50%;margin-left:-50vw;position:relative;display:flex;justify-content:center}div.canvas canvas{max-width:100vw;background:#fff;padding:1em}.ox-hugo-table.full-width .table-caption{width:auto;max-width:90rem;padding-left:60px;padding-right:60px;margin-left:auto;margin-right:auto}.content figure{float:right;clear:right;margin:2rem;margin-right:max(-35% - 2rem,-50vw + 50% + 2em);max-width:35%}.content figure.medium{margin-right:max(-45% - 2rem,-50vw + 50% + 2rem);max-width:45%}.content figure.large{margin-right:max(-60% - 2rem,-50vw + 50% + 2rem);max-width:60%}.content figure.inset{float:none;clear:initial;margin:2rem;max-width:80%;margin-left:auto;margin-right:auto}.content figure.inset.small{max-width:50%}.content figure.inset.medium{max-width:75%}.content figure.inset.medium img{width:100%}.content figure.inset.large{width:100%;max-width:100%}.content figure.inset.large img{width:100%}@media only screen and (max-width:920px){.content figure{float:none;margin-left:auto;margin-right:auto;max-width:301px}.content figure.medium{float:none;margin-left:auto;margin-right:auto;max-width:387px}.content figure.large{float:none;margin-left:auto;margin-right:auto;max-width:516px}}.content article p{text-align:left;hyphens:none}.toc{position:sticky;float:left;top:0;margin-left:max(-60% - 2rem,-50vw + 50% + 2rem);max-width:calc(50vw - 45rem);font-size:14px;line-height:20px;padding-top:2em;padding-left:0;padding-right:2em}@media only screen and (max-width:1365px){.toc{display:none}}.toc .heading{font-weight:700}.toc ul{list-style-type:none;padding-left:1em;margin-top:0;margin-bottom:0}.toc>ul{padding-left:0;max-height:90vh;overflow-y:auto}.toc li,.toc a{color:var(--toc-color);transition:none}.toc .parent>a{color:var(--toc-parent-color)}.toc li.selected,.toc li.selected>a{color:var(--toc-selected-color)}a{transition-property:color}mjx-container{overflow-x:auto;overflow-y:clip}.google-scholar{content:url(/images/google-scholar.svg);height:1em;width:auto}.about .google-scholar{filter:grayscale(100%)}.about .google-scholar:hover{filter:initial}.list ul li .title,.centered .about ul li a,.centered .about ul li a,.navigation a{transition:initial}.list ul li .title:hover,.list ul li .title:focus,.centered .about ul li a:hover,.centered .about ul li a:focus,.centered .about ul li a:hover,.centered .about ul li a:focus,.navigation a:hover,.navigation a:focus{color:var(--highlight);text-decoration:none}.footer .links a{padding-left:.5em;padding-right:.5em}.arxiv{filter:invert(100%);height:1em;content:url(https://static.arxiv.org/static/browse/0.3.4/images/arxiv-logo-one-color-white.svg)}.modified-on{font-size:smaller}.fn-tooltip{display:none;position:absolute;bottom:1em;left:-2em;margin:.5rem;background:#fff;border:1px var(--highlight)solid;border-radius:5px;font-size:13.5px;font-weight:initial;line-height:initial}.fn-tooltip .fn-number{display:block;float:left;line-height:initial;padding:.5rem 1rem;font-weight:700}.fn-tooltip .fn-text{display:block;padding:.5rem 1rem;padding-left:3.5rem;text-align:left;hyphens:manual}.fn-tooltip .fn-text p{display:inline;margin:0}.fn-tooltip .fn-text code{overflow-wrap:anywhere}.fn-tooltip .fn-text{width:max-content;max-width:400px}@media only screen and (width > 1365px){.fn-tooltip.fn-side{display:block;position:static;float:right;clear:right;margin-right:calc(-50vw + 45rem);width:calc(50vw - 45rem - 2rem);border:1px #fff solid;border-left-color:var(--highlight);border-left-width:2px;border-radius:0}.fn-tooltip.fn-side .fn-text{width:auto;max-width:none}}@media only screen and (width > 1365px){h1 .fn-tooltip.fn-side{margin-top:2.2rem;margin-right:calc(-50vw + 45rem + 6rem);width:calc(50vw - 45rem - 2rem - 6rem)}}@media only screen and (width > 1365px){.notice .fn-tooltip.fn-side{margin-right:calc(-50vw + 45rem - 3.9rem);width:calc(50vw - 45rem - 2rem)}}a.footnote-ref:hover+span.fn-tooltip{display:inline-block}@media only screen and (width > 1365px){a.footnote-ref:hover+span.fn-tooltip{border-color:var(--highlight);background:var(--background)}}@media(pointer:coarse),(hover:none){a.footnote-ref:focus+span.fn-tooltip{display:inline-block}}a.footnote-ref:has(+span.fn-tooltip:hover){background:var(--highlight)}.content article .footnotes p{text-align:left;hyphens:manual}.list dl{margin:.5em 0;display:grid;grid-template-columns:20% auto;font-size:1.8rem}@media only screen and (max-width:768px){.list dl{grid-template-columns:100%}}.list dl dt{grid-column:1;text-align:right;margin-right:3rem}@media only screen and (max-width:768px){.list dl dt{display:block;text-align:left}}.list dl dd{grid-column:2;font-weight:700;margin-inline-start:0}.list dl dd p:first-child{font-weight:400}.list dl dd p{margin:0}@media only screen and (max-width:768px){.list dl dd{margin:0 0 1.6rem;grid-column:1}}.centered .about h1{margin-top:0}.centered .about ul{margin-top:1rem}h1 .section-num,h2 .section-num,h3 .section-num,h4 .section-num,h5 .section-num,h6 .section-num{color:var(--highlight)}h1 code,h2 code,h3 code,h4 code,h5 code,h6 code{font-size:.8em}h1{font-size:3.4rem;line-height:12rem;margin-top:18rem;margin-bottom:6rem}@media only screen and (max-width:768px){h1{font-size:3.2rem;line-height:5.7rem}}article>div>h1{border-bottom:3px solid var(--highlight);background-color:var(--background);padding-left:min(6rem,50vw - 50%);margin-left:max(-6rem,-50vw + 50%);margin-right:max(-6rem,-50vw + 50%);max-width:100vw}h2{font-size:2.8rem;line-height:3.2rem;border-bottom:3px solid var(--highlight)}@media only screen and (max-width:768px){h2{font-size:2.6rem;line-height:3rem}}.about h2{border-bottom:initial}h3{font-size:2.4rem;line-height:2.8rem;text-decoration:underline;text-decoration-color:var(--highlight);text-decoration-thickness:2px;margin-top:2rem;margin-bottom:.75rem}@media only screen and (max-width:768px){h3{font-size:2.2rem;line-height:2.6rem}}h4{font-size:2rem;line-height:2.4rem;margin-top:1.5rem;margin-bottom:.5rem}@media only screen and (max-width:768px){h4{font-size:1.8rem;line-height:2.2rem}}h5{font-size:1.4rem;line-height:1.8rem;margin-top:1rem;margin-bottom:.25rem}@media only screen and (max-width:768px){h5{font-size:1.2rem;line-height:1.6rem}}h6{font-size:1.2rem;line-height:1.4rem;margin-top:.5rem;margin-bottom:0}@media only screen and (max-width:768px){h6{font-size:1.2rem;line-height:1.2rem}}.highlight>div,.highlight>pre{margin:1rem 0 0;padding:0;border-radius:.9rem;border:1px solid var(--highlight);border-bottom:2px solid var(--highlight);min-width:calc(100% - 4rem);max-width:calc(100vw - 8rem);overflow-x:auto;width:fit-content;left:50%;transform:translateX(-50%);position:relative;box-sizing:border-box}@media only screen and (max-width:768px){.highlight>div,.highlight>pre{width:100%;max-width:100%;left:0;transform:none;margin-left:0;margin-right:0;box-sizing:border-box;border-radius:.6rem}}.highlight>div.scroll,.highlight>pre.scroll{padding:0}@media only screen and (min-width:90rem){.highlight>div.scroll,.highlight>pre.scroll{transform:translateX(-50vw);border-radius:0;border-left:none;border-right:none;max-width:initial;width:100vw;box-sizing:border-box;padding-left:max(2rem,50vw - 45rem);padding-right:max(2rem,50vw - 45rem)}}@media only screen and (max-width:920px){ul>li>.highlight>div,ul>li>.highlight>div.scroll,ol>li>.highlight>div,ol>li>.highlight>div.scroll{transform:translateX(calc(-50vw - 2rem))}}pre{display:block;font-size:1.6rem;font-weight:400;line-height:1.5rem;overflow-x:auto;margin:0;padding:0;tab-size:4}pre code{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,liberation mono,monospace;line-height:2.1rem;font-size:1.4rem;font-weight:400;border-radius:.6rem;padding:0;display:inline-block;background-color:inherit;color:inherit;border:none}code{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,liberation mono,monospace;font-size:.85em;line-height:1em;border-radius:.4rem;padding:.15rem .3rem;background:var(--background)}a code{text-decoration:underline}a:hover code{text-decoration-color:var(--highlight)}blockquote{border-left:2px solid var(--highlight);padding-left:2rem;line-height:2.2rem;font-weight:400;font-style:italic}body.colorscheme-dark .highlight>div,body.colorscheme-dark .highlight>pre{border:1px solid rgba(255,255,255,.15);border-bottom:2px solid rgba(255,255,255,.15)}body.colorscheme-dark blockquote{border-left-color:rgba(255,215,0,.5)}body.colorscheme-dark .fn-tooltip{background:var(--background)}body.colorscheme-dark .fn-tooltip.fn-side{border-color:var(--background);border-left-color:var(--highlight)}body.colorscheme-dark .special-block{background:var(--background);border-color:var(--highlight)}.chroma table{min-width:initial;max-width:none;position:initial}.src-block-caption .src-block-number a,.src-block-caption .figure-number a,.src-block-caption .table-number a,figcaption p .src-block-number a,figcaption p .figure-number a,figcaption p .table-number a,.table-caption .src-block-number a,.table-caption .figure-number a,.table-caption .table-number a{font-weight:inherit;color:inherit}.src-block-caption .src-block-number,.src-block-caption .figure-number,.src-block-caption .table-number,figcaption p .src-block-number,figcaption p .figure-number,figcaption p .table-number,.table-caption .src-block-number,.table-caption .figure-number,.table-caption .table-number{font-weight:700}.src-block-caption,figcaption p,.table-caption{text-align:center;font-style:italic;font-size:1.6rem;margin:0}.org-todo{color:red;font-weight:400}.org-done{color:green;font-weight:400}nav.navigation{border-bottom:2px solid var(--highlight);height:4rem}nav.navigation .container{margin-top:.7rem;margin-bottom:.7rem}nav.navigation .container ul{padding-left:0}nav.navigation #dark-mode-toggle{position:static;margin:0;font-size:inherit;line-height:inherit}.content article header h1{font-size:3.5rem;line-height:4rem}figure>img{background:#fff;padding:.6rem;border-radius:.9rem}.content .container ul li{flex-wrap:wrap}.content .container ul li .tags .fa-tag{display:none}.content .container ul li .tags{flex-basis:100%;padding-left:36%;width:0;font-size:15px}@media only screen and (max-width:768px){.content .container ul li .tags{padding-left:0;flex-basis:100%;width:100%}}article div p:nth-child(2) mjx-container[display=true]{display:none}.category[data-tag=results] a,.category[data-tag=ideas] a,.category[data-tag=paper] a,.category[data-tag=thesis] a,.tag[data-tag=highlight] a{border-color:var(--new-highlight)!important;background-color:var(--new-background)!important}.tag[data-tag=note] a{border-color:var(--note-highlight)!important;background-color:var(--note-background)!important}.tag[data-tag=highlight] a{display:none}.notice{margin-left:2rem;margin-right:2rem}.notice .notice-content{margin:0 1rem;padding:.1rem}.notice{overflow:initial;background-color:rgba(255,202,40,.1019607843)}.notice .notice-title{background-color:rgba(255,193,7,.1019607843)}.notice .notice-title i{color:#ffb300}details{margin:1rem}details summary{background-color:var(--background)}mjx-container[jax=CHTML][display=true]{margin:1.4rem 0!important}mjx-container[jax=CHTML][display=true] mjx-math{padding:1px 0!important}.special-block{border-left:1px solid var(--highlight);padding:0 1rem;margin:1rem 3rem}.special-block.newtheorem,.special-block.newdefinition{border:1px solid var(--highlight);border-radius:.6rem;background:#fff;padding:1rem 2rem;margin:1rem 2rem}.special-block .special-block-title{margin-right:2rem;display:inline-block;font-weight:initial}.special-block .special-block-title .special-block-name{font-weight:bolder}.special-block .special-block-title+p{display:inline}.special-block p:last-child{margin-bottom:0}.proof_sketch::before{content:"Proof (sketch)."}.proof::before{content:"Proof."}.proof::before,.proof_sketch::before{margin-right:1rem;font-weight:700}.proof p:first-child,.proof_sketch p:first-child{display:inline}.proof>:last-child::after,.proof_sketch>:last-child::after{content:"■";float:right;clear:none;font-size:2.3rem;margin-right:.2rem}.proof,.proof_sketch{margin-bottom:2rem}section.container.post{padding-left:10px;padding-right:10px}.copy-btn{position:absolute;top:.5rem;right:.5rem;padding:.2rem .6rem;font-size:1.2rem;border:1px solid var(--highlight);border-radius:.4rem;background:var(--background);color:inherit;cursor:pointer;opacity:0;transition:opacity .15s ease;z-index:1;font-family:inherit}.highlight:hover .copy-btn{opacity:.8}.copy-btn:hover{opacity:1!important}.reading-time-list{font-size:1.4rem;color:var(--toc-color);margin-left:.6rem}.list ul:not(.pagination) li{margin-bottom:1.2rem}@media only screen and (min-width:768.1px){.list ul:not(.pagination) li{display:grid;grid-template-columns:20rem 1fr auto;column-gap:3rem;align-items:baseline}}.list ul:not(.pagination) li .date{grid-column:1;display:block;width:auto;margin:0;text-align:right}.list ul:not(.pagination) li .title{grid-column:2}.list ul:not(.pagination) li .reading-time-list{grid-column:3;margin:0}.list ul:not(.pagination) li .list-tags{display:block;grid-column:2/-1;margin:.2rem 0 0;font-size:1.3rem;line-height:1.5}.list ul:not(.pagination) li .list-tags a{color:var(--toc-color)}.list ul:not(.pagination) li .list-tags a:hover,.list ul:not(.pagination) li .list-tags a:focus{color:var(--link-color)}.list ul:not(.pagination) li .list-tags a+a::before{content:"·";margin:0 .5rem;color:var(--toc-color)}@media only screen and (max-width:768px){.list ul:not(.pagination) li{grid-template-columns:1fr}.list ul:not(.pagination) li .date,.list ul:not(.pagination) li .title,.list ul:not(.pagination) li .reading-time-list,.list ul:not(.pagination) li .list-tags{grid-column:1;text-align:left}}.dtl-fig{--dtl-text:#26282c;--dtl-body:#4c5057;--dtl-faint:#6f747a;--dtl-rule:#c3c7cc;--dtl-node:#9aa0a6;--dtl-page:#fff;--dtl-good:#188038;--dtl-open:#d93025;--dtl-col:10.5rem;--dtl-gap:2.8rem;text-align:left}.dtl{list-style:none;margin:0;padding:0}.dtl-item{position:relative;list-style:none;display:grid;grid-template-columns:var(--dtl-col)1fr;column-gap:var(--dtl-gap);padding-bottom:2.4rem}.dtl-item:last-child{padding-bottom:0}.dtl-item::before{content:"";position:absolute;top:.35rem;left:calc(var(--dtl-col) + var(--dtl-gap)/2 - .55rem);width:1.1rem;height:1.1rem;border-radius:50%;background:var(--dtl-node);box-shadow:0 0 0 .4rem var(--dtl-page)}.dtl-item::after{content:"";position:absolute;top:1.85rem;bottom:-.4rem;width:1px;left:calc(var(--dtl-col) + var(--dtl-gap)/2);background:var(--dtl-rule)}.dtl-item:last-child::after{display:none}.dtl-good::before{background:var(--dtl-good)}.dtl-open::before{background:0 0;border:.2rem solid var(--dtl-open)}.dtl-item:has(+.dtl-sub){padding-bottom:1.1rem}.dtl-sub::before{top:.5rem;width:.7rem;height:.7rem;background:var(--dtl-page);border:.15rem solid var(--dtl-node);left:calc(var(--dtl-col) + var(--dtl-gap)/2 - .35rem)}.dtl-sub .dtl-what{font-size:1.4rem;font-weight:600;color:var(--dtl-body)}.dtl-sub .dtl-when time{color:var(--dtl-body)}.dtl-when{display:flex;flex-direction:column;align-items:flex-end;gap:.2rem;line-height:1.3}.dtl-when time{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.25rem;letter-spacing:.04em;color:var(--dtl-text);white-space:nowrap}.dtl-kind{font-size:1.05rem;letter-spacing:.12em;text-transform:uppercase;color:var(--dtl-faint)}.dtl-what{font-size:1.55rem;font-weight:700;line-height:1.3;color:var(--dtl-text)}.dtl-fig .dtl-body{margin:.4rem 0 0;font-size:1.45rem;line-height:1.55;color:var(--dtl-body);max-width:58ch;text-align:left;hyphens:manual}.dtl-fig .dtl-body p{margin:0 0 .6rem;font:inherit;color:inherit;text-align:left;hyphens:manual}.dtl-fig .dtl-body p:last-child{margin-bottom:0}.dtl-body code{font-size:1.3rem}.dtl-amount{margin:.4rem 0 0;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.5rem;font-weight:700;color:var(--dtl-good)}.dtl-tags{list-style:none;display:flex;flex-wrap:wrap;gap:.5rem;margin:.8rem 0 0;padding:0}.dtl-tags li{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.15rem;line-height:1.4;padding:.2rem .6rem;border:1px solid var(--dtl-rule);border-radius:3px;color:var(--dtl-faint);list-style:none;margin:0}@media only screen and (max-width:640px){.dtl-item{grid-template-columns:1fr;padding-left:2.4rem}.dtl-item::before{left:0}.dtl-sub::before{left:.2rem}.dtl-item::after{left:.55rem}.dtl-when{align-items:flex-start;flex-direction:row;gap:.6rem;margin-bottom:.2rem}.dtl-when:empty{display:none}}body.colorscheme-dark .dtl-fig{--dtl-text:#f2f2f7;--dtl-body:#c7cbd1;--dtl-faint:#9aa0a6;--dtl-rule:#4a4a4f;--dtl-node:#7e838a;--dtl-page:#212121;--dtl-good:#81c995;--dtl-open:#f28b82}@media(prefers-color-scheme:dark){body.colorscheme-auto .dtl-fig{--dtl-text:#f2f2f7;--dtl-body:#c7cbd1;--dtl-faint:#9aa0a6;--dtl-rule:#4a4a4f;--dtl-node:#7e838a;--dtl-page:#212121;--dtl-good:#81c995;--dtl-open:#f28b82}}.prj{--prj-rule:#8c7a65;--prj-hair:#d9d2c6;--prj-surface:#fdfbf7;--prj-text:#26282c;--prj-body:#4c5057;--prj-faint:#6f747a}.prj-list{list-style:none;display:grid;gap:1.2rem;margin:0;padding:0}.prj-card{list-style:none;margin:0;padding:1.2rem 1.6rem 1.3rem;border:1px solid var(--prj-rule);border-radius:.6rem;background:var(--prj-surface);color:var(--prj-body)}.prj-head{display:flex;align-items:baseline;flex-wrap:wrap;gap:.4rem 1rem}.prj .prj-name{font-size:1.9rem;font-weight:700;line-height:1.3;color:var(--prj-text);transition:initial}.prj .prj-name:hover,.prj .prj-name:focus{color:var(--prj-rule)}.prj-status{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.1rem;line-height:1.4;letter-spacing:.12em;text-transform:uppercase;padding:.1rem .5rem;border:1px solid var(--prj-rule);border-radius:.6rem;color:var(--prj-faint)}.prj-tagline{font-size:1.4rem;line-height:1.4;color:var(--prj-faint)}.prj-summary{margin:.7rem 0 0;max-width:82ch;font-size:1.4rem;line-height:1.5;color:var(--prj-body)}.prj-summary p{margin:0 0 .6rem;font:inherit;color:inherit;text-align:left;hyphens:none}.prj-summary p:last-child{margin-bottom:0}.prj-links{display:flex;flex-wrap:wrap;gap:.4rem 1.4rem;margin:.9rem 0 0;padding:.9rem 0 0;border-top:1px solid var(--prj-hair);font-size:1.35rem}.prj-links a::after{content:" →";white-space:pre}.prj-note{margin:.7rem 0 0;font-size:1.1rem;line-height:1.5;color:var(--prj-faint)}@media only screen and (max-width:640px){.prj-card{padding:1.1rem 1.2rem 1.2rem}}body.colorscheme-dark .prj{--prj-rule:#a89679;--prj-hair:#3a3a3f;--prj-surface:#1a1a1a;--prj-text:#f2f2f7;--prj-body:#c7cbd1;--prj-faint:#9aa0a6}@media(prefers-color-scheme:dark){body.colorscheme-auto .prj{--prj-rule:#a89679;--prj-hair:#3a3a3f;--prj-surface:#1a1a1a;--prj-text:#f2f2f7;--prj-body:#c7cbd1;--prj-faint:#9aa0a6}}