Tootfinder

arxiv_collab: Scientific collaborations in physics (1995-2005)
Collaboration graphs for scientists, extracted from the Los Alamos e-Print arXiv (physics), for 1995-1999 for three categories, and additionally for 1995-2003 and 1995-2005 for one category. For copyright reasons, the MEDLINE (biomedical research) and NCSTRL (computer science) collaboration graphs from this paper are not publicly available.
This network has 8361 nodes and 15751 edges.
Tags: Social, Collaboration…

Active Inference AI Systems for Scientific Discovery
Karthik Duraisamy
https://arxiv.org/abs/2506.21329 https://arxiv.org/pdf/2506.21…

Active Inference AI Systems for Scientific Discovery
The rapid evolution of artificial intelligence has led to expectations of transformative scientific discovery, yet current systems remain fundamentally limited by their operational architectures, brittle reasoning mechanisms, and their separation from experimental reality. Building on earlier work, we contend that progress in AI-driven science now depends on closing three fundamental gaps -- the abstraction gap, the reasoning gap, and the reality gap -- rather than on model size/data/test time …

Pebble Games and Algebraic Proof Systems
Lisa-Marie Jaser, Jacobo Toran
https://arxiv.org/abs/2506.21149 https://arxiv.org/pdf/2506.2…

Pebble Games and Algebraic Proof Systems
Analyzing refutations of the well known 0pebbling formulas Peb$(G)$ we prove some new strong connections between pebble games and algebraic proof system, showing that there is a parallelism between the reversible, black and black-white pebbling games on one side, and the three algebraic proof systems Nullstellensatz, Monomial Calculus and Polynomial Calculus on the other side. In particular we prove that for any DAG $G$ with a single sink, if there is a Monomial Calculus refutation for Peb$(G)$…

This https://arxiv.org/abs/2406.14346 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Atomic Toposes with Co-Well-Founded Categories of Atoms
The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves on that site can be described in a similar fashion. We deduce that these toposes are locally finitely presentable. By applying this to the Malitz-Gregory atomic topos, we obtain a counter-example to the conjecture that every locally finitely presentable topos…

Knowledge-Aware Diverse Reranking for Cross-Source Question Answering
Tong Zhou
https://arxiv.org/abs/2506.20476 https://arxiv.org/pd…

Knowledge-Aware Diverse Reranking for Cross-Source Question Answering
This paper presents Team Marikarp's solution for the SIGIR 2025 LiveRAG competition. The competition's evaluation set, automatically generated by DataMorgana from internet corpora, encompassed a wide range of target topics, question types, question formulations, audience types, and knowledge organization methods. It offered a fair evaluation of retrieving question-relevant supporting documents from a 15M documents subset of the FineWeb corpus. Our proposed knowledge-aware diverse reranking RAG …

Deadlock-free Context-free Session Types
Andreia Mordido, Jorge A. P\'erez
https://arxiv.org/abs/2506.20356 https://arxiv.org/pdf…

Deadlock-free Context-free Session Types
We consider the problem of statically ensuring that message-passing programs never run into deadlocks. We focus on concurrent functional programs governed by context-free session types, which can express rich tree-like structures not expressible in standard session types. Existing techniques based on context-free session types enforce protocol conformance but not deadlock freedom. We propose a type system that enhances context-free session types with a priority-based approach to deadlock freedo…

An adversary bound for quantum signal processing
Lorenzo Laneve
https://arxiv.org/abs/2506.20484 https://arxiv.org/pdf/2506.20484

An adversary bound for quantum signal processing
Quantum signal processing (QSP) and quantum singular value transformation (QSVT), have emerged as unifying frameworks in the context of quantum algorithm design. These techniques allow to carry out efficient polynomial transformations of matrices block-encoded in unitaries, involving a single ancilla qubit. Recent efforts try to extend QSP to the multivariate setting (M-QSP), where multiple matrices are transformed simultaneously. However, this generalization faces problems not encountered in t…

This https://arxiv.org/abs/2401.06584 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and linear contractions in terms of simple category-theoretic structures and properties that do not refer to norms, continuity, or real numbers. This builds on Heunen, Kornell, and Van der Schaaf's easier characterisation of the category of all Hilbert spaces and lin…

Enhancing Large Language Models through Structured Reasoning
Yubo Dong, Hehe Fan
https://arxiv.org/abs/2506.20241 https://arxiv.org/p…

Enhancing Large Language Models through Structured Reasoning
Recent Large Language Models (LLMs) have significantly advanced natural language processing and automated decision-making. However, these models still encounter difficulties when performing complex reasoning tasks involving logical deduction and systematic planning, primarily due to their reliance on implicit statistical relationships without structured knowledge representation.Inspired by cognitive science and neurosymbolic AI, we introduce a novel approach to enhance LLMs through explicit str…

Cyclicity of interaction frame transformations
Michael C D Tayler, Mohamed Sabba
https://arxiv.org/abs/2506.20594 https://arxiv.org/p…

Cyclicity of interaction frame transformations
We identify a cyclic property of rotation sequences involving piecewise displacements $β$ about arbitrary axes in three dimensions. Specifically, when transformation to the toggling frame is applied successively $m$ times, for $β=2π/m$ the original sequence returns. This main result unites several families of rotation sequences used for error-tuned control across quantum technologies, from NMR and MRI to atomic clocks and atom-scale computing. For the widest class of cycle, $m=2$, we highlig…