DineshAI's picture
Publish live verdict, HF provenance, and fixed claim order
f77f8d2 verified
Raw
History Blame Contribute Delete
9.11 kB
<!doctype html>
<!-- Built with the Chenruishuo/posterly identity-v1 contract. -->
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="generator" content="posterly">
<title>Quantum Regression Reproduction Poster</title>
<style>
@page { size: 16in 9in; margin: 0; }
:root {
--ink: #172033;
--muted: #526077;
--paper: #f5f7fb;
--card: #ffffff;
--accent: #3f4fa3;
--accent-dark: #27336f;
--accent-soft: #e8ebff;
--warning: #9f3d33;
--warning-soft: #fbe9e7;
--line: #d8deeb;
}
* { box-sizing: border-box; }
html, body {
width: 100%;
height: 100%;
margin: 0;
background: #202537;
color: var(--ink);
font-family: Inter, "Helvetica Neue", Arial, sans-serif;
}
.poster {
position: relative;
display: grid;
grid-template-rows: 96px 90px minmax(0, 1fr) 86px 24px;
grid-template-columns: minmax(0, 1fr);
gap: 32px;
width: 16in;
height: 9in;
margin: 0 auto;
padding: 32px;
overflow: hidden;
background: var(--paper);
}
.header {
display: grid;
grid-template-columns: 1fr auto;
align-items: center;
border-bottom: 6px solid var(--accent);
}
h1 {
margin: 0 0 6px;
color: var(--accent-dark);
font-size: 39px;
line-height: 1.02;
letter-spacing: -0.03em;
}
.subtitle {
color: var(--muted);
font-size: 17px;
line-height: 1.25;
}
.paper-id {
padding: 10px 14px;
border: 2px solid var(--accent);
border-radius: 12px;
color: var(--accent-dark);
background: var(--card);
font-size: 15px;
font-weight: 800;
text-align: center;
}
.banner {
display: grid;
grid-template-columns: 220px 1fr;
align-items: center;
gap: 22px;
padding: 16px 22px;
border-radius: 16px;
color: #ffffff;
background: var(--accent-dark);
}
.banner-score {
font-size: 24px;
font-weight: 900;
line-height: 1.05;
text-align: center;
text-wrap: balance;
}
.banner-text {
color: #ffffff;
background: var(--accent-dark);
font-size: 16px;
line-height: 1.2;
text-wrap: pretty;
}
.body-grid {
display: grid;
grid-template-columns: repeat(3, minmax(0, 1fr));
gap: 22px;
min-height: 0;
}
.column { min-width: 0; min-height: 0; }
.card {
height: 100%;
padding: 18px 20px;
border: 1px solid var(--line);
border-top: 7px solid var(--accent);
border-radius: 16px;
background: var(--card);
box-shadow: 0 5px 16px rgba(39, 51, 111, 0.08);
}
.card h2 {
margin: 0 0 11px;
color: var(--accent-dark);
font-size: 22px;
text-wrap: balance;
}
.claim {
margin: 0 0 12px;
padding: 11px 12px;
border-radius: 10px;
background: var(--accent-soft);
font-size: 15px;
line-height: 1.32;
text-wrap: pretty;
}
.claim:last-child { margin-bottom: 0; }
.claim.falsified { background: var(--warning-soft); }
.status {
display: inline-block;
margin-bottom: 5px;
color: var(--accent-dark);
font-size: 13px;
font-weight: 900;
letter-spacing: 0.04em;
}
.falsified .status { color: var(--warning); }
.micro {
margin-top: 12px;
padding: 9px 11px;
border-left: 4px solid var(--accent);
color: var(--muted);
background: var(--paper);
font-size: 13px;
line-height: 1.28;
text-wrap: pretty;
}
.evidence {
display: grid;
grid-template-columns: repeat(3, 1fr);
gap: 18px;
align-items: center;
padding: 13px 18px;
border: 1px solid var(--line);
border-radius: 14px;
background: var(--card);
font-size: 14px;
}
.evidence strong { color: var(--accent-dark); }
.footer {
color: var(--muted);
font-size: 12px;
line-height: 24px;
text-wrap: pretty;
}
.ps-sprite {
position: absolute;
width: 0;
height: 0;
overflow: hidden;
}
.corner-sig {
position: absolute;
right: 12px;
bottom: 10px;
width: 16px;
height: 16px;
color: var(--accent-dark);
}
.corner-sig svg { display: block; width: 100%; height: 100%; }
[data-ps-mark="woven"] {
display: inline-block;
width: 0.82em;
height: 0.82em;
vertical-align: -0.14em;
line-height: 0;
}
[data-ps-mark="woven"] svg { display: block; width: 100%; height: 100%; }
@media print {
html, body { background: #ffffff; }
.poster { width: 16in; height: 9in; margin: 0; }
}
</style>
</head>
<body>
<main class="poster" data-measure-role="poster"
data-posterly-contract="identity-v1" data-ps-identity="on">
<svg class="ps-sprite" data-color-exempt="logo" aria-hidden="true"><defs>
<symbol id="psReg" viewBox="0 0 100 100">
<circle cx="50" cy="50" r="25" fill="none" stroke="currentColor" stroke-width="8"/>
<line x1="50" y1="7" x2="50" y2="93" stroke="currentColor" stroke-width="8"/>
<line x1="7" y1="50" x2="93" y2="50" stroke="currentColor" stroke-width="8"/>
</symbol>
</defs></svg>
<header class="header" data-measure-role="header">
<div>
<h1>Accelerating Regression Tasks with Quantum Algorithms</h1>
<div class="subtitle">A claim-by-claim audit of six universal quantum runtime guarantees</div>
</div>
<div class="paper-id">ICML 2026 #7771<br>TBSyYj4VV6</div>
</header>
<section class="banner" data-measure-role="banner">
<div class="banner-score">6 FALSIFIED<br>0 BLOCKED</div>
<div class="banner-text">
Claims 1, 2, and 4 have sampler-domain and ε-power contradictions.
Claims 5–6 omit the sampler's required regime; Claim 3 has pre-2025
quantum Lasso prior art.
<span data-ps-mark="woven" data-color-exempt="logo" aria-hidden="true"><svg viewBox="0 0 100 100"><use href="#psReg"/></svg></span>
</div>
</section>
<section class="body-grid" data-measure-role="body">
<div class="column" data-measure-role="column">
<article class="card" data-measure-role="card">
<h2>Core sparsification</h2>
<div class="claim falsified">
<span class="status">CLAIM 1 · FALSIFIED</span><br>
Algorithm 2 requests M proportional to n/ε² samples although its
cited MultiSample contract requires M≤m. Its explicit loop is
Ω(ε⁻²), contradicting the displayed ε⁻¹ runtime at fixed dimensions.
</div>
<div class="claim falsified">
<span class="status">CLAIM 2 · FALSIFIED</span><br>
Its exact pipeline explicitly processes Θ̃(n/ε²) samples, leaving
the cited sampler domain and contradicting the displayed ε⁻¹
runtime at fixed dimensions.
</div>
<div class="micro">Exact audit: 11/11 source-valid ε cells violate M≤m; the threshold control passes.</div>
</article>
</div>
<div class="column" data-measure-role="column">
<article class="card" data-measure-role="card">
<h2>Regularized regression</h2>
<div class="claim falsified">
<span class="status">CLAIM 3 · FALSIFIED</span><br>
Quantum Lasso algorithms from 2021 and 2023 predate the target.
Separately, a λ omission gives an exact 7/40 impossibility gap.
</div>
<div class="claim falsified">
<span class="status">CLAIM 4 · FALSIFIED</span><br>
The valid Ridge augmentation [A;√λI],[b;0] inherits Claim 2's
sampler-domain and ε-power contradictions.
</div>
<div class="micro">Primary dates: 2021-10-25 and 2023-12-21 precede 2025-09-29.</div>
</article>
</div>
<div class="column" data-measure-role="column">
<article class="card" data-measure-role="card">
<h2>Robust and ℓp losses</h2>
<div class="claim falsified">
<span class="status">CLAIM 5 · FALSIFIED</span><br>
γ₁ matches Huber, but the all-ε framework eventually invokes
MultiSample outside its stated M≤m domain.
</div>
<div class="claim falsified">
<span class="status">CLAIM 6 · FALSIFIED</span><br>
A valid p=3/2 family contradicts the all-ε framework domain. The
restricted constant-ε, large-m regime is not denied.
</div>
<div class="micro">Claims 5–6 are MEDIUM confidence because their hidden polynomial term absorbs the loop power.</div>
</article>
</div>
</section>
<section class="evidence" data-measure-role="footer-strip">
<div><strong>Compute</strong><br>CPU only; no GPU or quantum hardware</div>
<div><strong>Controls</strong><br>Independent checkers and fail-closed tests</div>
<div><strong>Live judge</strong><br>12/12; all six FALSIFIED</div>
</section>
<footer class="footer" data-measure-role="footer">
OpenResearch reproduction · arXiv:2509.24757 · deterministic evidence
</footer>
<span class="corner-sig" data-ps-mark="corner" data-color-exempt="logo"
aria-hidden="true"><svg viewBox="0 0 100 100"><use href="#psReg"/></svg></span>
</main>
</body>
</html>