arXiv Science⌕ Search

arXiv subjects

Jie Li

Publications and source records attributed to Jie Li.

At least 19 recordsLinked to original sources
arXiv2026

FunnelAudit: Responsibility Auditing in Multi-Route Recommender Systems

Multi-route recommender systems combine retrieval, allocation, fusion, and ranking, making individual inclusions and exclusions difficult to audit. Route overlap can hide effects from one-at-a-time ablations, while freezing downstream stages produces counterfactuals inconsistent with serving behavior. We introduce FunnelAudit, an executable framework for incident-level responsibility auditing. An accountability contract specifies the disputed Top-K event, controls and owners, permitted reference actions, and replay semantics. FunnelAudit evaluates every permitted control configuration and applies graded actual responsibility to find the smallest outcome-preserving contingency that makes each control pivotal. Its certificate records the contingency and paired serving executions needed to verify the judgment. We instantiate the framework in two-stage, nine-route funnels using fixed union, weighted quota allocation, or weighted reciprocal-rank fusion, followed by SASRec ranking. Across 258,809 user-target incidents from three real interaction datasets, 4.24-16.24% admit a responsible control. Among responsible incident-control pairs, 92.55-99.64% require a nonempty contingency, so single-control ablation recovers only 0.36-7.45%. Policies differing in factual outcomes on only 0.31-2.39% of incidents yield 21.44-54.05% Jaccard distance between responsible-route sets on matched exclusions. Independent replay reproduces all 9,121,792 checked target-world outcomes; exhaustive search and a generic mixed-integer linear program agree with every sampled judgment. These findings demonstrate the importance of explicit serving semantics and checkable witnesses for recommender accountability.

cs.IR↗
arXiv2026

LetOccVote: Learning Weakly Supervised 3D Occupancy through Consensus

Weakly supervised 3D occupancy prediction reduces the reliance on costly 3D annotations by learning from 2D pseudo-labels generated by vision foundation models. However, existing methods typically use these imperfect pseudo-labels directly as supervision, making occupancy learning vulnerable to erroneous geometric and semantic targets. We observe that agreement across repeated observations provides an inexpensive and reliable cue for assessing pseudo-label reliability. Based on this observation, we propose \textbf{LetOccVote}, a weakly supervised Gaussian-based occupancy framework that leverages cross-frame voting to improve both geometric and semantic supervision. For geometry, Depth Vote exploits cross-frame geometric agreement to refine supported pseudo depth and reject contradictory estimates before volumetric lifting and depth supervision. For semantics, Semantic Vote aggregates pseudo-semantic observations in a shared 3D space to identify reliable and contested evidence, strengthening reliable semantic supervision while filtering unreliable pseudo-label segments. The entire framework is trained solely with 2D pseudo-label supervision without requiring 3D occupancy annotations. On Occ3D-nuScenes, LetOccVote achieves 53.27 IoU and 20.39 mIoU, establishing state-of-the-art performance among methods with 2D pseudo-label supervision.

cs.CV↗
arXiv2026

AceSpec: An Asymmetric Edge-Cloud Collaborative Framework for Communication-Efficient LLM Inference

Deploying Large Language Models (LLMs) on edge devices typically relies on model compression or split inference. However, compression degrades reasoning capabilities, while split inference suffers from severe Wide Area Network (WAN) communication bottlenecks. Edge-cloud speculative decoding emerges as a promising alternative, leveraging an edge small model to draft tokens for cloud verification. Yet, over volatile WANs, inevitable prediction rejections trigger catastrophic pipeline stalls and network-wide rollbacks, neutralizing collaborative gains. To overcome this, we propose AceSpec, an asymmetric edge-cloud collaborative framework. AceSpec utilizes un-saturated edge compute to proactively construct a probabilistic state cache, effectively transforming network-wide pipeline flushes into $\mathcal{O}(1)$ local memory lookups. To preserve bandwidth, it employs an asymmetric communication protocol that transmits minimal main-chain indices uplink and compact sparse distributions downlink. Furthermore, we introduce a network-aware, Lagrangian-optimized resource allocation strategy that dynamically maximizes the local cache hit rate. Evaluations demonstrate that AceSpec achieves up to a 3.52$\times$ throughput speedup and exhibits exceptional bandwidth immunity, sustaining near-peak inference performance even under severely constrained 50 Kbps WAN conditions.

cs.DC↗
arXiv2026

An Intelligent Decision Support System for Emotion Monitoring using Microscopic Fixational Dynamics

The rising prevalence of psychological disorders necessitates effective emotion monitoring, yet current methods relying on facial or physiological signals often suffer from intrusiveness and privacy issues. This paper proposes an intelligent decision support system and pervasive edge-computing framework that leverages smart glasses and a companion smartphone to infer emotional states from microscopic visual fixation patterns. Moving beyond traditional macroscopic gaze metrics, the proposed system extracts and decomposes three distinct neurophysiological micro-movements: microsaccades, ocular drifts, and ocular microtremors. We introduce an interpretable hybrid artificial intelligence pipeline combining a multi-head attention mechanism, extreme gradient boosting, and a support vector machine to extract deep temporal features, quantify their physiological importance, and perform efficient on-device classification. Through an extensive evaluation involving 60 volunteers, we rigorously validate the framework under a strict leave-one-subject-out cross-validation protocol across both controlled and naturalistic mobile scenarios. Ablation studies unequivocally demonstrate that these fixational micro-movements are substantially more discriminative for emotion inference than traditional macroscopic features. Furthermore, aligned with contemporary affective science, the system incorporates a few-shot personalization mechanism to bridge universal physiological baselines with individual emotional heterogeneity, achieving a highly robust personalized F1-score of 83.6%. This work establishes a physiologically interpretable, unobtrusive, and deployable paradigm for continuous real-time emotion monitoring.

cs.CV↗
arXiv2026

CineForge: Self-Improving Agents for Long-Horizon Video Generation

Long-horizon story-driven video generation requires a production agent to coordinate narrative decomposition, state tracking, shot design, prompt construction, rendering, and revision across interdependent scenes. Existing adaptive video systems primarily refine requests or reusable skills, leaving recurring production failures disconnected from persistent, stage-targeted improvements across stories. We introduce CineForge, a self-evolving video-production agent framework that couples CineForge-Produce for video generation with CineForge-Evolve for cross-story policy evolution. CineForge-Produce organizes each source story into typed narrative, character, spatial, and cinematic states, uses them to coordinate asset and clip generation, and records the process as a canonical production trajectory. CineForge-Evolve applies Case-to-Pattern-to-Policy Evolution (CPPE) to review trajectory evidence, consolidate recurrent findings into bounded stage-local patches, and deploy validated updates through structural replay and confidence-controlled paired evaluation. To measure complete story realization, we introduce CineScope, which combines a 100-script CineScope-Data suite with a human-aligned, multiscale CineScope-Metric spanning causal state, directorial orchestration, pacing and resource allocation, and character arc. Across CineScope-Data and two public benchmarks, the evolved CineForge policy improves CineScope-Metric from 4.024 to 4.380, outperforms three long-video baselines with consistent gains under ScriptAgent, and reduces review LLM calls by 37.0% on new stories. These results establish production trajectories as actionable experience for video agents that improve cumulatively across long-form storytelling tasks.

cs.CV↗
arXiv2026

AI Historian: Helping historians organize and verify person-centred temporal clues from dispersed historical narratives

History is not preserved in complete, continuous form. Accounts of a person's activities, relationships and historical contexts are scattered across texts, chapters and narrative perspectives; historians must retrieve, identify and compare these materials to reconstruct temporal sequences and verify them against sources. Here we present AI Historian (AIH), an AI agent system that helps historians organize person-time evidence from dispersed biographical narratives. It takes source sentences as evidence units, identifies people and temporal cues, verifies candidate cross-text associations and infers comparable temporal ranges while preserving traceable source-text evidence. We evaluated AIH on six Shiji cases concerning Liu Bang, Xiang Yu and Xiao He. AIH Agent achieved a temporal-localization MicroIoU of 86.2%, compared with 81.3% for human-only annotation and 17.1% for direct large-language-model prompting; it required about 14 min, versus 1 h 32 min for human-only annotation. We further applied AIH to the Twenty-Four Histories and other ancient Chinese histories, ancient Japanese and Korean histories, and modern and contemporary historical materials, and released the results through Westlake Historian. These results indicate that AIH can reduce the cost of organizing historical materials at scale while turning connections obscured by chapter-based narration into traceable, revisable research questions for collaborative testing.

cs.CL↗
arXiv2026

Generalization over Memorization: Generalization-Aware Diffusion Adaptation for Single-Image Multi-View Synthesis

We present the winning solution to the ACM Multimedia 2026 Grand Challenge on Single-Image Guided Multi-Angle Image Synthesis. It ranks first among 293 registered teams; 56 teams obtained at least one scored submission on the public Phase-A leaderboard. With only 40 training scenes, the challenge requires 26 target views from one RGB model and one forward pass per view; it prohibits explicit geometry, external rendering, chained generation, candidate selection, and post-processing. We identify a critical model-selection failure: shared training and validation scenes make memorization appear as transferable view control. We therefore introduce GoM. Short for Generalization over Memorization, the framework combines scene-disjoint validation, exposure-matched selection, and targeted diffusion adaptation. Its synthesis model adapts a 4B rectified-flow DiT using rank-32 LoRA, optimizer restarts, late-checkpoint averaging, and VAE decoder tuning. More than 300 offline experiments and 24 online submissions show that validation design and training-trajectory control can matter as much as architecture scale in small-data generative modeling.

cs.CV↗
arXiv2026

THA-Flow Generative Model: Prosthesis Geometry Prediction from Preoperative CT

Preoperative planning for total hip arthroplasty (THA) is commonly framed as selecting a single prosthesis configuration and placement for a patient's osseous anatomy. In practice, however, the same anatomy may admit several clinically reasonable solutions, making planning inherently a one-to-many problem that is better represented by a conditional probability distribution. We present THA-Flow, a conditional flow-matching model that generates three-dimensional prosthesis geometry directly from preoperative CT. Separate AutoencoderKL models compress preoperative bone anatomy and prosthesis geometry, while a three-dimensional UNet learns a rectified flow from Gaussian noise to the prosthesis latent space under spatial bone conditioning and optional structured prosthesis parameters. The retrospective cohort comprised 1,355 hips from 1,149 patients undergoing primary THA. Following rigid registration of postoperative CT to preoperative CT, the actual postoperative prostheses were transformed independently according to the pelvic and femoral registrations and represented as a dual-channel truncated signed distance field. The prosthesis autoencoder achieved a peak signal-to-noise ratio of 47.11 dB and a structural similarity index of 0.9964 on the validation set. Complete acetabular and femoral geometries were generated across seven major stem models representing 93.4% of the cohort. Repeated bone-conditioned sampling preserved component position, alignment, and the principal bone-prosthesis interfaces while allowing limited local geometric variation. To our knowledge, THA-Flow represents the first application of generative AI to three-dimensional surgical planning for THA.

cs.CV↗
arXiv2026

SCExAO/CHARIS High-Contrast Pre-Launch Vetting of Roman Coronagraph Technology Demonstration PSF Reference Stars

We present deep, SCExAO/CHARIS high-contrast integral field spectroscopy and archival imaging of four candidate Roman Coronagraph PSF reference stars within/near the Roman Continuous Viewing Zone and potentially suitable for the Coronagraph's key technology demonstration targets HIP 71618 and HIP 54515. For CHARIS data, we achieve 5-$\sigma$ contrasts down to $\sim$1.4$\times$10$^{-5}$, $\sim$6$\times$10$^{-6}$, and 10$^{-6}$ to 4$\times$10$^{-7}$ at 0\farcs{}16, 0\farcs{}25, and 0\farcs{}5 to 1\arcsec{}. Companion mass limits rule out brown dwarfs at $\rho$ $\sim$ 0\farcs{}15--0\farcs{}25 and massive planets at wider separations around all targets. More critically, for three of the four references our analysis disfavors companions with $V$ band contrasts brighter than 10$^{-8}$, 10$^{-9}$, and $10^{-10}$ at 0\farcs{}15, 0\farcs{}3, and 1$\arcsec{}$. Unless these targets have faint substellar companions within $\rho$ $\sim$ 0\farcs{}15, they likely lack background stars or companions that could corrupt the Roman Coronagraph's dark hole digging to preclude detecting reflected-light planets. For $\alpha$ Cep, our limits are a factor of $\sim$10 worse but still meet the TTR5 limit of 10$^{-7}$ beyond $\rho$ $\sim$ 0\farcs{}25: beyond 0\farcs{}4, they exclude a Jupiter-twin reflected-light companion (10$^{-9}$). Archival Keck/NIRC2 data likewise find no substellar companions with $\Delta$V $>$ 10$^{-8}$ at wider separations. Finally, we assess the observability of HIP 71618 and HIP 54515 -- updated for Roman's launch date of August 30, 2026. Adding $\gamma$ Boo -- not currently in the Roman CPP team reference-star list -- would improve schedulability for the tech demo's key targets.

astro-ph.EP↗
arXiv2026

TEMPO: Makespan-Aware Expert-Parallel Load Balancing Across Memory- and Compute-Bound Regimes

In expert-parallel (EP) MoE serving, every layer synchronizes at the slowest GPU. Dispatchers balance token counts (EPLB, LPLB, UltraEP) or activated-expert counts (METRO), assuming expert time is linear in one. Measurements on two datacenter GPU generations show it is neither: below $n^* \approx 156$--$168$ tokens, HBM weight streaming dominates---cost attaches to $activated replicas$, not tokens; above it, grouped GEMM rounds tokens to 128-tile $M$-tiles, so $splitting$ an expert adds padded compute. A max-affine profile $t=\max(a+bG,\,c+\beta N)$ captures both regimes. Realistic decode batches hold hot experts in the linear regime and cold in the flat $simultaneously$; recorded batches show proxy dispatches differ by $1.4$--$1.6\times$ in modeled block time (p95 up to $1.7\times$), and $which$ proxy wins flips with the regime. We formalize per-batch dispatch as a fixed-charge makespan problem---NP-hard on two fully replicated GPUs, polynomial in degenerate limits---and present TEMPO, a makespan-aware dispatcher solving it in milliseconds off the critical path; its SGLang integration runs out-of-process and fuses dispatch with count collection into one in-graph kernel. Anchored by an 8-GPU Testbed A microbenchmark, TEMPO stays within $1\%$ of the best fixed baseline everywhere and wins by up to $15.5\%$ where regimes mix. End-to-end on Testbed B, Qwen3-235B (inside the win region) gains $4$--$6\%$ throughput and cuts p99 latency by $\sim 15.6\%$; DeepSeek-V3 (outside, communication-dominated) shows only mechanism cost. A phase diagram, not a universal win, is the claim: it predicts both outcomes before deployment.

cs.DC↗
arXiv2026

Altermagnetism-Induced Spin-resolved electronic structure in Janus FeX0.5Y0.5 Monolayers (X, Y = S, Se, Te)

Realizing the spin-resolved electronic properties in superconducting materials stands as a critical frontier, offering both novel fundamental physics and potential for dissipationless spin-based devices. Here, we predict a series of Janus FeX0.5Y0.5 monolayers derived from iron-based superconductors (e.g., FeSe, FeTe, and FeS) by using Kondo-type model and first-principles calculations. These Janus structures exhibit significant spin-splittingelectronic states, large topological band gaps (51.4 meV) and high N\'eel temperatures (415 K). We further reveal that valley polarization can be effectively tuned via applied in-plane strain and the resulting valley-polarized anomalous Hall conductivity can be manipulated by shifting the Fermi level. Our work suggests a new strategy based on altermagnetism for engineering spin-splitting states in superconducting systems and inspires further exploration of superconducting spintronics.

cond-mat.mtrl-sci↗
arXiv2026

Power growth of mean-L-stable operators on Banach spaces

We study the growth of powers of mean-L-stable operators on Banach spaces. We show that, for linear operators, mean-L-stability is equivalent to uniform boundedness in density; this yields $\|T^n\|=O(n)$ on every Banach space. On Hilbert spaces we prove that mean-L-stability is equivalent to absolute Ces\`aro boundedness and obtain $\|T^n\|=O(n^{1/2-c_T})$ for some $c_T>0$. For positive mean-L-stable operators on abstract $L^p$-spaces, $1\le p<\infty$, we similarly obtain $\|T^n\|=O(n^{1/p-c_T})$, where in both cases the positive constant $c_T$ cannot be chosen uniformly over all such operators. For positive mean-L-stable operators on $p$-convex Banach lattices, we prove the bound $O(n^{1/p})$ and construct positive topologically mixing operators $T_p$ for which $\|T_p^n\|\asymp n^{1/p}$, where $1\leq p<\infty$. These operators satisfy a uniform weak $(p,p)$ orbit estimate, while the averages of $\|T_p^nx\|^s$ are bounded for $s p$. The operator $T_1$ is uniformly Kreiss bounded and has linear power growth, answering a question of Montes-Rodr\'iguez, S\'anchez-\'Alvarez and Zem\'anek (2005). Moreover, $T_1$ is mean-L-stable and mean Li--Yorke chaotic, while it is not distributionally chaotic. This answers a question of Bernardes, Bonilla and Peris (2020).

math.FA↗
arXiv2026

Technology and Science Advancing Observations with Roman Coronagraph Informed by Ground-Based High-Contrast Imaging

The Roman Coronagraph technology demonstration focuses on achieving $<$ 10$^{-7}$ contrasts within the instrument's dark hole and our ability to detect and characterize properties of faint companions around bright stars. Here, we describe results from a study of potential Roman Coronagraph technology demonstration phase observations focused on these goals, informed by the ongoing OASIS survey at the Subaru Telescope and precursor survey work. OASIS provides at least three compelling targets for the technology demonstration phase with imaged companions - the HIP 71618 B brown dwarf and superjovian planets HIP 54515 b and HIP 99770 b. HIP 71618 is well suited for demonstrating the Coronagraph's core performance requirement while all three targets are well suited for spectroscopic mode observations. Each target can be paired with a PSF reference star vetted for companions. While HIP 71618 and HIP 54515 are already planned for Technology Demonstration phase observations, we describe the programmatic and scientific value of adding spectroscopic mode observations of HIP 99770 as well.

astro-ph.EP↗
arXiv2026

Spin-group theory on Edelstein effect and spin-orbit torque in Collinear Ferromagnets

Current-induced spin-orbit torques (SOTs) are central to the electrical manipulation of magnetic order in spintronic devices. In transition-metal/collinear ferromagnet bilayers, field-like and damping-like torques have been described only phenomenologically via the spin or orbital Hall effect, lacking a rigorous symmetry-based foundation. The precise role of spin-orbit coupling (SOC) in both the Edelstein effect and SOTs has remained unresolved. Here we develop a spin-group symmetry theory for the Edelstein effect and SOTs in collinear ferromagnets, treating SOC as a symmetry-breaking perturbation. For 4mm (C4v) point group symmetry, we derive the full forms of field-like and damping-like torques, which arise predominantly from first- and second-order SOC. We further show that SOTs in both orbital-Hall-dominated Ti/Ni and spin-Hall-dominated Pt/CoFe bilayers originate at first-order SOC. Taking the 3m (C3v) torque as a paradigmatic example, we elucidate the role of second- and higher-order SOC torques in field-free switching of perpendicular magnetic anisotropy. Remarkably, in PtMnSb, we demonstrate that SOTs under certain point group symmetries deviate from the conventional form: zeroth- and first-order SOC contributions vanish identically, with the leading SOT emerging at second order. All symmetry-based predictions from spin-group theory are in excellent quantitative agreement with first-principles calculations. Our work establishes a unified symmetry framework for the microscopic understanding of the Edelstein effect and current-induced spin torques in ferromagnetic systems.

cond-mat.mtrl-sci↗
arXiv2026

Maximal pattern complexity and structure of null systems

A compact metrizable system is null if its topological sequence entropy vanishes along every sequence of times. We prove that nullness is equivalent to polynomial maximal pattern complexity for every finite open cover, while equicontinuity is equivalent to sublinear maximal pattern complexity. The first characterization is obtained from finite fat-shattering at every positive scale and polynomial empirical covering of orbit-distance classes. We also construct transitive nonminimal null systems with properties excluded in the minimal setting: one is uniformly rigid and has two fixed points, and another is two-scattering. These results settle several long-standing open problems from the literature on polynomial maximal pattern growth and on the structure of transitive nonminimal null systems.

math.DS↗
arXiv2026

The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals

Frontier coding models now match or exceed strong human reference points on programming benchmarks, yet benchmark success does not imply maintainable software. Prompt-driven "vibe coding" is additive: new branches, guards, and fallbacks accumulate faster than obsolete logic is removed. We study the inverse problem-how an Al system should remove code when execution-verification capacity is finite. We formulate redundant-code reduction as proposal scheduling: a ranker orders single-statement deletion candidates, an execution suite accepts the first candidate that passes, and a budget bounds how many candidates may be tested. Our central observation is that candidate order, not model confidence, is the control surface a deployment can reason about. DELSCOUT instantiates two schedules. Given representative target-domain validation, a five-slot budget spends three slots on deterministic shortest-first candidates and two on complementary learned candidates; across nine MBPP replications with 0.5B, 0.6B, and 8B rankers this raises verified-deletion coverage by 9.5% relative (+6.7 accepted tasks) while consuming slightly fewer verifier calls than the matched static baseline. Without such validation the same rankers can lose coverage under shift, so we instead evaluate the complete static prefix first and append learned candidates only afterwards; for a deterministic verifier this makes coverage and character reduction non-decreasing by construction, at a measured 4.8-62.5% increase in verifier calls. MBPP+ then erases the in-domain advantage, showing that scheduling governs search while the test suite alone governs what "preserving behavior" means. The result is an auditable division of labor: models widen the search for removable code, order bounds the damage a mis-ranked proposal can do, and execution retains authority over every committed deletion.

cs.SE↗
arXiv2026

Agreement Before Diversity: Verification-First Complementarity for Heterogeneous Language-Model Coordination

Heterogeneous language-model ensembles expand the space of candidate responses, yet they lack a principled criterion for when a newly generated answer should supersede an already supported one. We decouple candidate headroom from replacement authority, rendering the latter as an explicit, auditable object. Our proposed method, Agreement-Before-Diversity (ABD), is a frozen, label-free decision rule: an anchor answer is retained if two additional trusted samples corroborate it under a fixed equivalence relation; otherwise, it is replaced by a heterogeneous synthesis. For this gating mechanism, we prove two exact identities. The first shows that the accuracy gap relative to unconditional synthesis is determined jointly by the agreement coverage and the anchor's advantage on the protected subset. The second shows that the gap relative to never synthesizing reflects a contrast between authorized recovery and authorized destruction. Neither identity assumes independence or calibrated confidence, and the expected inference cost is approximately eight minus five times the coverage in number of calls. Under blind, exact-ID evaluation, ABD achieves 59.43% on the complete LiveCodeBench-v6 (vs. 52.57% for Single9 and 52.00% for HAC; n = 175) and 75.00% on an untouched GPQA-Diamond split (both controls at 72.78%; n = 180). Furthermore, these identities localize every aggregate difference to an enumerable protected stratum: no discordant items occur among the 3 protected cases on LiveCodeBench, where coverage bounds the gate's contribution to 1.71 points a priori; 13 versus 8 discordant cases among 132 on GPQA-Diamond; and 12 versus 0 among 71 under a frozen anchor perturbation. Diversity supplies potential; verification structure supplies authority.

cs.AI↗
arXiv2026

Sharp Orlicz Endpoints for Spatial-Temporal Ergodic Averaging

We study the composition of temporal ergodic averaging with spatial averaging over shrinking metric balls, and determine sharp Orlicz endpoints for the corresponding unrestricted joint limit. For consecutive Birkhoff averages normalized by $N\Lambda_q(N)$ ($q\ge 0$), the sharp Orlicz endpoint is $L\log_{q+1}L$. In particular, the ordinary case $q=0$ yields an $L\log L$ local joint convergence theorem under the Lebesgue differentiation property alone, while $L^1$ fails even on the Euclidean interval, answering two questions of Young. The same $L\log_{q+1}L$ endpoint holds for prime averages for every $q\ge 1$. For arbitrary time sequences, $L\log_qL$ always suffices at the same normalization $N\Lambda_q(N)$ ($q\ge 1$), and this endpoint is sharp in the Orlicz sense for fixed-base exponential sequences $k^n$ ($k\ge 2$) and for sequences with polynomial ratio separation, including $n!$. The positive results rest on a local stability principle: under the ball Lebesgue differentiation property, pointwise temporal convergence lifts to the local joint limit whenever the associated temporal maximal function admits an $L^1$ majorant. The additional logarithm in the regular-time case comes from lifting restricted logarithmic maximal estimates from sets to general functions. The arbitrary-sequence theorem uses a dyadic decomposition instead. The lower bounds are local $\infty$-sweeping out constructions, obtained by weighted local sweeping out for polynomial-growth regular times, by residue constructions for polynomially ratio-separated sequences, and by digit constructions for fixed-base exponentials.

math.DS↗