TILens turns technical updates into a focused daily brief: official releases,
trusted reporting, and practitioner analysis, deduplicated and organized by topic.
arXiv:2605.20215v2 Announce Type: replace Abstract: The theoretical existence of Busy Beaver numbers provides a new notion for decidability and corresponding heuristic for conjectures. The minimum number of states in…
arXiv:2608.11385v1 Announce Type: cross Abstract: Evaluating expectation values is a critical task for variational quantum eigensolvers, and for parameterized quantum circuits and other quantum algorithms more…
arXiv:2603.16156v2 Announce Type: replace Abstract: We prove that there exists a deterministic configuration of Conflict Driven Clause Learning (CDCL) SAT solvers using a variant of the VSIDS branching heuristic that…
arXiv:2608.11320v1 Announce Type: new Abstract: A classical theorem due to Friedgut, Kalai and Naor asserts that if a function $f\colon \{0,1\}^n\to\{-1,1\}$ close to a degree $1$ function, then either $f$ or $-f$ is…
arXiv:2608.11362v1 Announce Type: new Abstract: The computability of real numbers and functions using Turing Machines has been a central area of theoretical computer science since the mid-20th century. In the late 20th…
arXiv:2608.12134v1 Announce Type: cross Abstract: We study nonnegative submodular maximization subject to a general matroid when the offline algorithm is given an arbitrary controlled value oracle. Our main result is an…
arXiv:2608.11289v1 Announce Type: new Abstract: A graph $G$ is called $CIS$ if each maximal clique intersects each maximal stable set of $G$, with maximality taken with respect to set inclusion. CIS graphs resemble…
arXiv:2606.15606v2 Announce Type: replace Abstract: This paper presents several lemmas on the structure of temporal connectivity in temporal graphs. Some of these lemmas are adapted from the literature on gossip from…
arXiv:2608.12039v1 Announce Type: new Abstract: We study a planar variant of the search and rescue problem whereby an agent starting at an arbitrary position $P_{\theta,r} = (r\cos\theta, r\sin\theta)$ in the plane must…
arXiv:2301.00434v5 Announce Type: replace-cross Abstract: Here we merge the two fields of Cops and Robbers and Graph Pebbling to introduce the new topic of Cops and Robbers Pebbling. Both paradigms can be described by…
arXiv:2601.19043v2 Announce Type: replace-cross Abstract: In 1986, Csima and F\"uredi determined the minimum number of arcs required to partition the points of Galois projective planes $PG(2,q)$ and affine planes…
arXiv:2608.12053v1 Announce Type: new Abstract: The Gold Grabbing Game is a combinatorial game on vertex-weighted graphs in which two players alternately remove vertices while maintaining graph connectivity, aiming to…
arXiv:2608.11230v1 Announce Type: cross Abstract: This paper introduces the edge-based contiguous p-median (ECpM) problem to partition the roads in a network into a given number of compact and contiguous territories.…
arXiv:2608.10874v2 Announce Type: replace Abstract: A proper conflict-free (PCF) $k$-coloring of a graph $G$ is a proper $k$-coloring such that there exists a color that appears exactly once in the neighborhood of every…
arXiv:2608.11930v1 Announce Type: cross Abstract: For a graph $G$, its vertex deck is the multiset of graphs obtained by deleting one vertex. Bowler, Brown, and Fenner (BBF) proposed $2\lfloor(n-1)/3\rfloor$ as the…
arXiv:2503.00798v3 Announce Type: replace-cross Abstract: A graph $H$ is an \emph{induced minor} of a graph $G$ if $H$ can be obtained from $G$ by a sequence of edge contractions and vertex deletions. Otherwise, $G$ is…
arXiv:2608.12224v1 Announce Type: new Abstract: Minimizing the weighted completion times ($P \mid \mid \Sigma w_j C_j$) and weighted number of tardy jobs ($P \mid \mid \Sigma w_j U_j$) on multiple identical machines are…
arXiv:2608.07352v2 Announce Type: replace Abstract: We study the problem of learning nearest-neighbor maps from adaptive queries, which is equivalent to the following problem of reconstructing a hidden set $H$ via a…
arXiv:2512.25033v3 Announce Type: replace Abstract: The concept of fair orientations in graphs was introduced by Christodoulou, Fiat, Koutsoupias, and Sgouritsa in 2023, naturally modeling fair division scenarios in…
arXiv:2604.16030v5 Announce Type: replace Abstract: The k-Visits problem is a recently introduced finite version of Pinwheel Scheduling [Kanellopoulos et al., SODA 2026]. Given the deadlines of n tasks, the problem asks…