TILens turns technical updates into a focused daily brief: official releases,
trusted reporting, and practitioner analysis, deduplicated and organized by topic.
arXiv:2610.03392v1 Announce Type: new Abstract: We model an academic curriculum as a generator of a language of feasible study plans: prerequisites are monotone Boolean formulas in conjunctive normal form, degree…
arXiv:2610.03277v1 Announce Type: new Abstract: We study single-item lot sizing with piecewise-concave production and holding--backlog costs over $T$ periods. Production has $m$ common positive finite breakpoints, and…
arXiv:2610.03581v1 Announce Type: cross Abstract: A quantum orthogonal polynomial transform (QOPT) is an algorithmic primitive that maps a superposition of standard basis states $\sum_k \alpha_{k} \ket{k}$ coherently to…
arXiv:2609.36778v2 Announce Type: replace Abstract: The Reduced Ordered Binary Decision Diagram (ROBDD) is a canonical representation of Boolean functions and is widely used in tasks such as equivalence checking and…
arXiv:2610.03205v1 Announce Type: cross Abstract: We establish lower bounds for Hamiltonian property testing with access to the time-evolution operator but not its inverse. Each experiment may query the time-evolution…
arXiv:2609.32824v2 Announce Type: replace-cross Abstract: \textit{Gromov-Wasserstein Distances} (GWDs) provide quantitative ways of comparing probabilistic distributions defined on different metric spaces by applying…
arXiv:2610.03559v1 Announce Type: cross Abstract: Why are some dynamic lot-sizing problems polynomial? We address this question by introducing Grid Theory, a structural framework based on cumulative production and the…
arXiv:2610.03030v1 Announce Type: new Abstract: The matroid parity problem serves as a fundamental framework that generalizes both graph matching and matroid intersection. Although the general version is intractable,…
arXiv:2506.08261v3 Announce Type: replace Abstract: We use a robust measure of presortedness, based on the notion of $\alpha$-sorted sub-sequences, to show that Quicksort, in general, Partition sort, is optimal for a…
arXiv:2607.07691v2 Announce Type: replace-cross Abstract: The spectral condition number is a widely adopted measure of worst-case cost for quantum linear system solvers. Yet it can significantly overestimate the actual…
arXiv:2609.28781v3 Announce Type: replace-cross Abstract: We initiate the study of approximating the top eigenvalue and eigenvector of a random symmetric matrix $ A \in \mathbb{R}^{n\times n} $ using $ q(A)b $ where $q$…
arXiv:2603.24880v3 Announce Type: replace-cross Abstract: We give a near-linear time 4-coloring algorithm for planar graphs, improving on the previous quadratic time algorithm by Robertson et al. from 1996. Such an…
arXiv:2610.03588v1 Announce Type: new Abstract: We give a sublinear-time algorithm for estimating the size of a maximal independent set in a graph using adjacency-query access with expected running time…
arXiv:2610.00920v2 Announce Type: replace Abstract: We consider the weighted matroid intersection problem in the independence-oracle model. A sequence of works by Huang--Kakimura--Kamiyama [SODA'16 \& Math. Program'19],…
arXiv:2606.30358v2 Announce Type: replace-cross Abstract: We design an algorithm for learning the coefficients of an $n$-qubit constant-local Lindbladian to $\varepsilon$ error with $O(g d^2 \log(n) / \varepsilon^2)$…
arXiv:2609.37913v2 Announce Type: replace-cross Abstract: Asynchronous Byzantine Reliable Broadcast (BRB) is a fundamental primitive that guarantees agreement and validity in distributed systems subject to Byzantine…
arXiv:2610.03621v1 Announce Type: cross Abstract: There has been a surge of recent work on correlated equilibrium concepts in Markov games. However, existing results focus on concepts weaker than normal-form correlated…
arXiv:2510.08427v2 Announce Type: replace-cross Abstract: We give a convergent hierarchy of SDP certificates for lower bounds on the spectral gap of a local qubit Hamiltonian $H$. Our approach is based on the NPA…
arXiv:2610.02447v1 Announce Type: new Abstract: A battery-powered device, such as a delivery drone that works from a depot, must stop to recharge between jobs, and the time spent recharging delays every job that…
arXiv:2610.02145v2 Announce Type: replace-cross Abstract: Decoded quantum interferometry (DQI) is a novel paradigm for tackling approximate optimization problems on quantum computers. This framework comes with strong…