Related papers: A Wonderful Embedding of the Loop Group
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting. This results in an interleaving…
We describe isomorphisms of groups of several periodic infinite matrices and isomorphisms of groups of invertible elements of unital locally matrix algebras.
Large language models (LLMs) are now used in multi-turn workflows, but we still lack a clear way to measure when iteration helps and when it hurts. We present an evaluation framework for iterative refinement that spans ideation, code, and…
The proof of Lemma 5.1 in the paper Strong $\mathbb A^1$-invariance of $\mathbb A^1$-connected components of reductive algebraic groups (J. Topol. 16 (2023), no. 2, 634--649) is incomplete as it relies on some results of Choudhury-Hagadi,…
In this paper, we reconsider the unfolding-based technique that we have introduced previously for detecting loops in standard term rewriting. We improve it by guiding the unfolding process, using distinguished positions in the rewrite…
A revised version of the compactness criterion for families of quantum operations in the strong convergence topology (obtained previously) is presented, along with a more detailed proof and the examples showing the necessity of this…
These are notes for my talk at ICCM 2010, Beijing. We survey some results, obtained jointly with Pavlo Pylyavskyy, concerning the ring of loop symmetric functions. Motivations from networks on surfaces, total positivity, crystal graphs, and…
A relevant reference ([14]) has been added.
Given an arrangement of subtori of arbitrary codimension in a torus, we compute the cohomology groups of the complement. Then, using the Leray spectral sequence, we describe the multiplicative structure on the graded cohomology. We also…
Incremental computation aims to compute more efficiently on changed input by reusing previously computed results. We give a high-level overview of works on incremental computation, and highlight the essence underlying all of them, which we…
Some problems related to the structure of higher terms of the epsilon-expansion of Feynman diagrams are discussed.
The extension of the knot group $\pi_1(S^3\setminus K)$ to the category of tangles is introduced via a new category-theoretic construction. Through this presentation, a new avenue of proof for results about knot groups is opened.
We introduce a systematic approach for the resummation of perturbative series which involve large logarithms not only due to large invariant mass ratios but large rapidities as well. Series of this form can appear in a variety of gauge…
Text clustering serves as a fundamental technique for organizing and interpreting unstructured textual data, particularly in contexts where manual annotation is prohibitively costly. With the rapid advancement of Large Language Models…
In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and…
We give an extended review of recent work on the extended weak coupling limit. Background material on completely positive semigroups and their unitary dilations is given, as well as a particularly easy construction of `quadratic noises'.
This paper corrects an error in the authors' earlier work, by proving stronger forms of the basic lemmas
This $2^{nd}$-edition article is intended to be an up-to-date archive of the current state of the questions: Which finitely generated groups $G$: have semistable fundamental group at infinity; are simply connected at infinity; are such that…
We study a two-loop contribution to the dark-matter trispectrum and evaluate it numerically using an infrared-safe integrand. The calculation is organized as an expansion around a fixed reference cosmology: the linear matter power spectrum…
Over the past few years considerable progress has been made on the resummation of double-logarithmically enhanced threshold (large-x) and high-energy (small-x) higher-order contributions to the splitting functions for parton and…