https://arxiv.org/api/1Q4Fw+sW6HRd86loSnrkSLnlVe4 2026-06-22T01:16:53Z 15689 780 15 http://arxiv.org/abs/2601.18057v2 2026-01-27T13:12:13Z

In this note, we study Laplacians on graphs for which connectivity within certain subgraphs tends to infinity. Our main focus are graphs sharing a common node set on which edge weights within certain clusters grow to infinity. As intra-cluster connectivity increases, we show that the corresponding graph Laplacians converge -- in the resolvent sense -- to an effective graph Laplacian. This effective limit Laplacian is defined on a coarsened graph, where each highly connected cluster is collapsed into a single node. In the undirected setting, the effective Laplacian arises naturally from aggregating over tightly connected clusters. In the directed case, the limiting graph structure depends on the precise manner in which connectivity increases; with the corresponding effects mediated by the left and right kernel structure of the Laplacian restricted to high-connectivity clusters. Our results shed light on the emergence of coarse-grained dynamics in large-scale networks and contribute to spectral graph theory of directed graphs.

2026-01-26T01:02:41Z Christian Koke http://arxiv.org/abs/2512.01912v2 2026-01-27T09:35:30Z

We prove that the lonely runner conjecture holds for nine runners. Our proof is based on a couple of improvements of the method we used to prove the conjecture for eight runners.

2025-12-01T17:30:31Z Matthieu Rosenfeld http://arxiv.org/abs/2601.19043v1 2026-01-26T23:56:14Z

We establish that the minimum number of arcs required to partition the Galois projective plane $\text{PG}(2,q)$ is $q+1$. Furthermore, we determine the exact value for a fractional variant of this problem. We extend our analysis to affine planes $\text{AG}(2,q)$, proving that they can be partitioned into $q$ arcs. In particular, we show that this partition is tight when $q$ is an odd prime power, and that a $(q-1)$-partition is attainable for $q=2^k$ with $k \in \{1,2,3\}$. For $q=2^k$ with $k \geq 4$, we provide bounds between two possible values. Finally, we apply these results to Euclidean grids, demonstrating that a partition into $(1+ε)n$ sets in general position exists for any $ε> 0$ and sufficiently large $n$. We also present exact minimal partitions for small Euclidean grids.

2026-01-26T23:56:14Z 17 pages, 3 figures Gabriela Araujo-Pardo Leonardo Martínez-Sandoval http://arxiv.org/abs/2601.18951v1 2026-01-26T20:41:55Z

In this paper, we consider the problem of counting almost empty monochromatic triangles in colored planar point sets, that is, triangles whose vertices are all assigned the same color and that contain only a few interior points. Specifically, we show that any $c$-coloring of a set of $n$ points in the plane in general position (that is, no three on a line) contains $Ω(n^2)$ monochromatic triangles with at most $c-1$ interior points and $Ω(n^{\frac{4}{3}})$ monochromatic triangles with at most $c-2$ interior points, for any fixed $c \geq 2$. The latter, in particular, generalizes the result of Pach and Tóth (2013) on the number of monochromatic empty triangles in 2-colored point sets, to the setting of multiple colors and monochromatic triangles with a few interior points. We also derive the limiting value of the expected number of triangles with $s$ interior points in random point sets, for any integer $s \geq 0$. As a result, we obtain the expected number of monochromatic triangles with at most $s$ interior points in random colorings of random point sets.

2026-01-26T20:41:55Z 17 pages, 1 figure Bhaswar B. Bhattacharya Sandip Das Sk Samim Islam Aashirwad Mohapatra Ishan Paul Saumya Sen http://arxiv.org/abs/2601.18602v1 2026-01-26T15:44:22Z

Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$. Subsequently, a substantial line of work studied homomorphism indistinguishability over restricted graph classes. For example, homomorphism indistinguishability over minor-closed graph classes $\mathcal{F}$ such as the class of planar graphs, the class of graphs of treewidth $\leq k$, pathwidth $\leq k$, or treedepth $\leq k$, was shown to be equivalent to quantum isomorphism and equivalences with respect to counting logic fragments, respectively. Via such characterisations, the distinguishing power of e.g. logical or quantum graph isomorphism relaxations can be studied with graph-theoretic means. In this vein, Roberson (2022) conjectured that homomorphism indistinguishability over every graph class excluding some minor is not the same as isomorphism. We prove this conjecture for all vortex-free graph classes. In particular, homomorphism indistinguishability over graphs of bounded Euler genus is not the same as isomorphism. As a negative result, we show that Roberson's conjecture fails when generalised to graph classes excluding a topological minor. Furthermore, we show homomorphism distinguishing closedness for several graph classes including all topological-minor-closed and union-closed classes of forests, and show that homomorphism indistinguishability over graphs of genus $\leq g$ (and other parameters) forms a strict hierarchy.

2026-01-26T15:44:22Z Daniel Neuen Tim Seppelt http://arxiv.org/abs/2503.12789v2 2026-01-26T15:16:25Z

We study MaxCut on 3-regular graphs of minimum girth $g$ for various $g$'s. We obtain new lower bounds on the maximum cut achievable in such graphs by analyzing the Quantum Approximate Optimization Algorithm (QAOA). For $g \geq 16$, at depth $p \geq 7$, the QAOA improves on previously known lower bounds. Our bounds are established through classical numerical analysis of the QAOA's expected performance. This analysis does not produce the actual cuts but establishes their existence. When implemented on a quantum computer, the QAOA provides an efficient algorithm for finding such cuts, using a constant-depth quantum circuit. To our knowledge, this gives an exponential speedup over the best known classical algorithm guaranteed to achieve cuts of this size on graphs of this girth. We also apply the QAOA to the Maximum Independent Set problem on the same class of graphs.

2025-03-17T03:58:43Z 14 pages, 7 figures Edward Farhi Sam Gutmann Daniel Ranard Benjamin Villalonga http://arxiv.org/abs/2601.18450v1 2026-01-26T12:57:13Z

We investigate the existence of heavy columns in binary matrices with distinct rows. A column of an m x n binary matrix is called heavy if the number of ones in it is at least m/2. We introduce two recursive algorithms, A1 and A2, that examine properties of subma trices obtained by row filtering and column deletion. We prove that if algorithm A1 returns True for a binary matrix with distinct rows, then the matrix contains at least one heavy column (Theorem 1). Further more, we prove that if algorithm A2 returns True for a binary matrix with distinct rows, distinct columns, and no all-zero columns, then the matrix also contains at least one heavy column (Theorem 2). The key innovation in A2 is an early termination condition: if exactly one row has a zero in some column, that column is immediately identified as heavy. The proofs employ a novel argument based on the existence of unpaired rows with respect to specific columns, combined with careful analysis of the recursive structure of the algorithms.

2026-01-26T12:57:13Z Jamolidin K. Abdurakhmanov http://arxiv.org/abs/2407.10635v3 2026-01-26T11:47:34Z

Mančinska and Roberson [FOCS'20] showed that two graphs are quantum isomorphic if and only if they admit the same number of homomorphisms from any planar graph. Atserias et al. [JCTB'19] proved that quantum isomorphism is undecidable in general, which motivates the study of its relaxations. In the classical setting, Roberson and Seppelt [ICALP'23] characterized the feasibility of each level of the Lasserre hierarchy of semidefinite programming relaxations of graph isomorphism in terms of equality of homomorphism counts from an appropriate graph class. The NPA hierarchy, a noncommutative generalization of the Lasserre hierarchy, provides a sequence of semidefinite programming relaxations for quantum isomorphism. In the quantum setting, we show that the feasibility of each level of the NPA hierarchy for quantum isomorphism is equivalent to equality of homomorphism counts from an appropriate class of planar graphs. Combining this characterization with the convergence of the NPA hierarchy, and noting that the union of these classes is the set of all planar graphs, we obtain a new proof of the result of Mančinska and Roberson [FOCS'20] that avoids the use of quantum groups. Moreover, this homomorphism indistinguishability characterization also yields a randomized polynomial-time algorithm deciding exact feasibility of each fixed level of the NPA hierarchy of SDP relaxations for quantum isomorphism.

2024-07-15T11:48:09Z Quantum 10, 1989 (2026) Prem Nigam Kar David E. Roberson Tim Seppelt Peter Zeman 10.22331/q-2026-01-28-1989 http://arxiv.org/abs/2502.19923v3 2026-01-26T10:10:05Z

We study the following reachability problem for piecewise affine maps: Given two vectors $\mathbf{s}, \mathbf{t} \in \mathbb{Q}^d$ and a piecewise affine map $f \colon \mathbb{Q}^d\rightarrow \mathbb{Q}^d$, does there exist $n\in \mathbb{N}$ such that $f^{n}(\mathbf{s}) = \mathbf{t}$? In this work, we focus on this reachability problem for a subclass of piecewise affine maps -- Bellman operators arising from Markov decision processes. We prove that the reachability problem for $\max$- and $\min$-Bellman operators is decidable in any dimension under either of the following conditions: (i) the target vector $\mathbf{t}$ is not the fixed point of the operator $f$; or (ii) the initial and target vectors $\mathbf{s}$ and $\mathbf{t}$ are comparable with respect to the componentwise order. Furthermore, we show that in the two-dimensional case, the reachability problem for Bellman operators is decidable for arbitrary $\mathbf{s}, \mathbf{t} \in \mathbb{Q}^2$. This stands in sharp contrast to the known undecidability of reachability for general piecewise affine maps in dimension $d = 2$.

2025-02-27T09:45:06Z includes a study of Bellman operators under the minimisation objective and a refined proof of the decidability for the two-dimensional case, now for both min and max objectives Anton Varonka Kazuki Watanabe http://arxiv.org/abs/2504.12598v2 2026-01-26T06:27:33Z

The combinatorial discrepancy of arithmetic progressions inside $[N] := \{1, \ldots, N\}$ is the smallest integer $D$ for which $[N]$ can be colored with two colors so that any arithmetic progression in $[N]$ contains at most $D$ more elements from one color class than the other. Bounding the discrepancy of such set systems is a classical problem in discrepancy theory. More recently, this problem was generalized to arithmetic progressions in grids like $[N]^d$ (Valk{ó}) and $[N_1]\times \ldots \times [N_d]$ (Fox, Xu, and Zhou). In the latter setting, Fox, Xu, and Zhou gave upper and lower bounds on the discrepancy that match within a $\frac{\log |Ω|}{\log \log |Ω|}$ factor, where $Ω:= [N_1]\times \ldots \times [N_d]$ is the ground set. In this work, we use the connection between factorization norms and discrepancy to improve their upper bound to be within a $\sqrt{\log|Ω|}$ factor from the lower bound. We also generalize Fox, Xu, and Zhou's lower bound, and our upper bounds to arithmetic progressions in arbitrary convex bodies.

2025-04-17T02:47:49Z Lily Li Aleksandar Nikolov http://arxiv.org/abs/2601.18071v1 2026-01-26T02:04:01Z

The connection Laplacian L and the Dirac matrix D are both n x n matrices defined from a given finite simplicial complex G with n sets. In both cases, there is interlacing of the eigenvalues for subcomplexes. This gives general upper bounds of the eigenvalues both for L and D in terms of inclusion or intersection degrees. We conjecture that L always dominates both D and the inverse of L in a weak Loewner sense. In a second part we look at dynamical systems (G,T), where T is a simplicial map on G. Both L and D generalize to dynamical versions of L and D. The modified L is still unimodular with an explicit Green function inverse and modified Dirac part still comes from an exterior derivative d. We also review the Lefschetz fixed point theorem for a simplicial map T on a simplicial complex G which implies the Brouwer fixed point theorem: any simplicial map on a contractible finite abstract simplicial complex G has a fixed simplex.

2026-01-26T02:04:01Z 16 pages, 2 figures Oliver Knill http://arxiv.org/abs/2601.09508v2 2026-01-25T14:22:56Z

We show that powersets over structures with a bounded counting sequence can be sampled efficiently without evaluating the generating function. An algorithm is provided, implemented, and tested. Runtimes are comparable to existing Boltzmann samplers reported in the literature.

2026-01-14T14:20:19Z Jean Peyen http://arxiv.org/abs/2601.17832v1 2026-01-25T13:25:23Z

We propose an efficient computational method for finding all solutions $n\leq U$ to the Diophantine equation $aσ(n) = bn + c$, where integer coefficient $a,b,c$ and an upper bound $U$ are given. Our method is implemented in SageMath computer algebra system within the framework of recursively enumerated sets and natively benefits from MapReduce parallelization. We used it to discover new solutions to many published equations and close gaps in between the known large solutions, including but not limited to hyperperfect and $f$-perfect numbers, as well as to significantly lift the existence bounds in open questions about quasiperfect and almost-perfect numbers.

2026-01-25T13:25:23Z Max A. Alekseyev http://arxiv.org/abs/2601.17169v1 2026-01-23T21:05:43Z

In this paper, we consider the complexity of the minimum feedback vertex set problem (MFBVS) for tournaments with forbidden subtournaments. The MFBVS problem in general tournaments is known to be NP-complete. We prove that the MFBVS problem for $W_5$-free and $U_5$-free tournaments is in P, and for $T_5$-free tournaments it remains NP-complete. Moreover, we prove a necessary condition for all $H$ such that the MFBVS problem for $H$-free tournaments is in P. We also show that the necessary condition is not sufficient.

2026-01-23T21:05:43Z Sophie Spirkl Yun Xing http://arxiv.org/abs/2601.16039v2 2026-01-23T12:22:04Z

A class of structures is monadically dependent if one cannot interpret all graphs in colored expansions from the class using a fixed first-order formula. A tree-ordered $σ$-structure is the expansion of a $σ$-structure with a tree-order. A tree-ordered $σ$-structure is weakly sparse if the Gaifman graph of its $σ$-reduct excludes some biclique (of a given fixed size) as a subgraph. Tree-ordered weakly sparse graphs are commonly used as tree-models (for example for classes with bounded shrubdepth, structurally bounded expansion, bounded cliquewidth, or bounded twin-width), motivating their study on their own. In this paper, we consider several constructions on tree-ordered structures, such as tree-ordered variants of the Gaifman graph and of the incidence graph, induced and non-induced tree-ordered minors, and generalized fundamental graphs. We provide characterizations of monadically dependent classes of tree-ordered weakly sparse $σ$-structures based on each of these constructions, some of them establishing unexpected bridges with sparsity theory. As an application, we prove that a class of tree-ordered weakly sparse structures is monadically dependent if and only if its sparsification is nowhere-dense. Moreover, the sparsification transduction translates boundedness of clique-width and linear clique-width into boundedness of tree-width and path-width. We also prove that first-order model checking is not fixed parameter tractable on independent hereditary classes of tree-ordered weakly sparse graphs (assuming $\mathsf{AW}[*]\neq \mathsf{FPT}$) and give what we believe is the first model-theoretical characterization of classes of graphs excluding a minor, thus opening a new perspective of structural graph theory.

2026-01-22T15:12:24Z Added missing index Hector Buffière Yuquan Lin Jaroslav Nešetřil Patrice Ossona de Mendez Sebastian Siebertz