https://arxiv.org/api/5y7ahCWyiw7T18rMUi3uSGtntI4 2026-06-13T12:38:01Z 20897 15 15 http://arxiv.org/abs/2606.11122v1 2026-06-09T17:21:17Z

We propose a model-independent axiomatic framework for the derived skein theory of oriented 3-manifolds with coefficients in a ribbon tensor category, especially focusing on the case where the input category is the category of finite-dimensional representations of a quantum group with quantum parameter not a root of unity. The axioms are designed so that the 0th homology recovers the ordinary skein module and gluing is governed by a bar construction. We establish several relationships between the derived skein theory and the ordinary skein theory. We show that this framework yields computable formulas in terms of ordinary internal skein modules and internal skein algebras. We also prove a Hochschild formula for Sigma x S^1. We give the first computations of derived skein modules and establish finiteness properties for generic parameters using deformation quantization methods.

2026-06-09T17:21:17Z Chun-Yu Bai http://arxiv.org/abs/2604.22381v4 2026-06-09T16:51:55Z

Brzeziński's trusses are ``ring-like'' algebraic structures in which the addition is replaced with an abelian heap operation and the binary product satisfies a natural distributivity rule of the ternary product. The question of how to define ($\mathbb{Z}_2$-graded) super-versions of trusses is addressed in this note. Taking our cue from the theory of algebraic supergroups, we define an affine supertruss as a representable functor from the category of unital associative supercommutative superalgebras to the category of trusses. The representing superalgebras are equipped with a `cotruss' structure--a new concept in itself. We show that from an affine supertruss one can construct an affine superbrace, and so generalise Rump's braces to supermathematics. As an application of these constructions, we propose a generalisation of the set-theoretic Yang--Baxter equation to the setting of affine superschemes.

2026-04-24T09:20:14Z 18 pages. Typos corrected, exposition expanded, a subsection on a version of Adler's map added, and further references included Andrew James Bruce http://arxiv.org/abs/2606.11073v1 2026-06-09T16:33:37Z

We define an infinite family of quiver representation-valued invariants of classical and virtual knots associated to a choice of data vector consisting of a biquandle, abelian group, set of biquandle arrows weights with values in the abelian group, coefficient ring and set of biquandle endomorphisms. As an application we extract four new polynomial invariants as decategorifications. We provide examples to show that these invariants are proper enhancements of the biquandle counting invariant and biquandle coloring quiver.

2026-06-09T16:33:37Z 11 pages Sam Nelson Migiwa Sakurai http://arxiv.org/abs/2409.02881v4 2026-06-09T14:36:05Z

We extend based cluster algebras from the finite rank case to the infinite rank case. By extending (quantum) cluster algebras whose initial seeds are associated with signed words (arising from double Bott-Samelson cells), we recover infinite rank cluster algebras arising from representations of (shifted) quantum affine algebras. As a main application, we show that the fundamental variables of the cluster algebras arising from double Bott-Samelson cells can be computed via a braid group action when the Cartan matrix is of finite type. We also obtain the equality A=U for the associated infinite rank (quantum) cluster algebras. Additionally, several conjectures regarding quantum virtual Grothendieck rings due to Jang-Lee-Oh and Oh-Park follow as consequences. Finally, we show that the cluster algebras arising from representations of shifted quantum affine algebras, discovered by Geiss-Hernandez-Leclerc, admit natural quantizations.

2024-09-04T17:06:55Z 40 pages; references added; remark 1.5 added; replace and expand the last part of a previous version of arXiv:2407.02480 Fan Qin http://arxiv.org/abs/2606.10874v1 2026-06-09T13:50:48Z

In quantum image processing, a fundamental step is encoding classical image data into quantum states. This can be achieved using methods such as Flexible Representation of Quantum Images (FRQI), Quantum Probability Image Encoding (QPIE), and Novel Enhanced Quantum Representation (NEQR). However, on real quantum hardware, these encodings can quickly lead to circuits with many gates, large circuit depth, and high qubit usage, which is a problem for Noisy Intermediate-Scale Quantum (NISQ) devices. In this work, we investigate whether low-rank state approximation, formulated via Schmidt decomposition, can help reduce this complexity. The method keeps only the most significant parts of a quantum state's entanglement structure, making state preparation more efficient while preserving most of the image information. We compare the three encoding techniques in their original form and with low-rank approximation, evaluating metrics such as circuit depth, CNOT count, MSE, and visual quality of reconstructed images. The results reveal meaningful trade-offs between accuracy and resource efficiency, with the FRQI model achieving a 97 percent reduction in circuit depth while maintaining a near-perfect reconstruction (MSE of about 0.27). This demonstrates the potential of low-rank techniques for advancing practical quantum image processing on near-term hardware.

2026-06-09T13:50:48Z Ana-Maria Pangeva Yassine Ferhi Alexander Geng Andreas Weinmann Desislava Ivanova Ali Moghiseh http://arxiv.org/abs/2112.12434v3 2026-06-09T13:00:03Z

We construct a weak categorification of the quantum toroidal algebra action on the Grothendieck group of moduli space of stable (or framed) sheaves over an algebraic surface, which is constructed by Schiffmann-Vasserot and Neguţ. The new ingredient is two intersection-theoretic descriptions of the quadruple moduli space of stable sheaves.

2021-12-23T09:54:29Z The exposition is significantly improved, and many details are added Yu Zhao http://arxiv.org/abs/2606.10367v1 2026-06-09T03:25:47Z

We study a categorical approach to the concept of varieties of chiral algebras. We prove that the class of chiral algebras in the variety defined by a binary quadratic operad Var, whose conformal structure is abelian, coincides with the class of differential algebras in the variety defined by the Manin black product of the operads Var and Com, where Com is the operad of associative commutative algebras.

2026-06-09T03:25:47Z I. V. Dudin P. S. Kolesnikov http://arxiv.org/abs/2601.18636v3 2026-06-08T17:55:26Z

A. Bondal's symplectic groupoid of triangular bilinear forms induces a Poisson structure on the space $\mathcal{A}_n$ of $n \times n$ unipotent upper-triangular matrices. It is governed by the classical $\mathfrak{so}(n)$ reflection equation. L. Chekhov and M. Shapiro described log-canonical coordinates on this groupoid via the $\mathcal{A}_n$-quiver. We introduce a birational Weyl group action on this symplectic groupoid, generated by cluster transformations associated with certain cycles of the quiver. We prove that the Poisson subalgebra of Weyl group invariants is a finite central extension of the algebra generated by the matrix entries of $\mathcal{A}_n$. J. Song embedded the $\imath$-quantum group of type $\mathrm{AI}_n$ into the quantum cluster algebra of the $Σ_n$-quiver (obtained by adding frozen vertices to the $\mathcal{A}_{n+1}$-quiver). Utilizing our Weyl group action, we determine the exact image of this embedding in the classical case, proving it is Poisson isomorphic to a quotient algebra of Weyl group invariants. V. Fock and L. Chekhov defined a Poisson map $φ_n$ from the Teichmüller space $\mathcal{T}_{g,s}$ into $\mathcal{A}_n$. To describe the cluster structure of $\operatorname{Im}(φ_n)$, we apply a cluster Poisson reduction to $\mathcal{A}_n$ based on the rank condition $\operatorname{rank}(A+A^T) \le 4$, which is satisfied by all $A \in \operatorname{Im}(φ_n)$. Although the solution set of this condition has multiple irreducible components, the Weyl group acts transitively on them, making the corresponding reductions conjugate. Thus, it suffices to determine the reduction on a single component. Finally, we show that the longest element of the Weyl group corresponds to a cluster DT-transformation on the $\mathcal{A}_{2k}$-quiver, providing a canonical basis for the cluster algebra, whereas no reddening sequence exists for odd $n$.

2026-01-26T16:09:21Z 67 pages, 33 figures. v3 revises the exposition and corrects minor errors Woojin Choi http://arxiv.org/abs/2512.11477v2 2026-06-08T17:15:59Z

We study the generalized free wreath product of classical groups introduced by the first author and Arthur Troupel. We give an explicit computation of the Haar state and deduce important properties of their associated operator algebra: in many cases, the von Neumann algebra is a full type ${\rm II}_1$-factor and the reduced C*-algebra is simple with unique trace.

2025-12-12T11:22:01Z 15 pages, comments welcome ! Pierre Fima Yigang Qiu http://arxiv.org/abs/2606.09687v1 2026-06-08T16:05:03Z

We develop the theory of first- and higher-order codifferential calculi over coalgebras $C$ over fields $k$ with characteristic $\mathrm{char}(k)\neq 2$. For a given first-order codifferential calculus, we introduce its maximal prolongation by means of an explicit construction that associates to it a differential graded coalgebra, satisfying a universal property. For module coalgebras over a Hopf algebra $U$, we introduce the notion of an equivariant codifferential calculus. If $C$ is of the form $U\otimes_H k$ for a Hopf algebra $U$ and a right coideal subalgebra $H$ such that $U$ is faithfully flat as a left- and right $H$-module, we show that equivariant first-order codifferential calculi correspond to certain right coideals $T\subseteq \ker(\varepsilon\colon C\rightarrow k)$ called quantum tangent spaces. If $H$ is a sub bialgebra and the right $C$-coaction on $T$ is trivial, then the maximal prolongation is described in terms of a quadratic coalgebra. We further relate codifferential calculi to differential calculi and Cartan pairs over the dual algebra $C^\ast$, or more generally subalgebras thereof. We explicitly compute codifferential calculi on the coalgebra pre duals of the Podleś sphere and the quantized projective spaces. As an application, we give a new proof that the antiholomorphic Heckenberger--Kolb calculi on quantized projective spaces have classical dimension.

2026-06-08T16:05:03Z 58 pages, comments welcome! Julius Benner http://arxiv.org/abs/2606.09618v1 2026-06-08T15:24:06Z

Modulated circulant matrices form a special class of N-parametric circulant matrices, recently introduced in the literature, with a structured spectral decomposition based on a Vandermonde type basis. Motivated by this definition, in this work we define the Modulated Quantum Fourier Transform (MQFT), a quantum primitive tailored to this matrix family.

2026-06-08T15:24:06Z 25 páginas Kimy Agudelo Aldo Quelopana Cristina Manzaneda http://arxiv.org/abs/2509.20983v3 2026-06-08T15:00:10Z

We present a new solution to the formality problem for the framed Goldman--Turaev Lie bialgebra, constructing Goldman-Turaev homomorphic expansions (formality isomorphisms) from the Kontsevich integral. Our proof uses a three dimensional derivation of the Goldman-Turaev Lie biaglebra arising from a low-degree Vassiliev quotient -- the {\em emergent} quotient -- of tangles in a thickened punctured disk, modulo a Conway skein relation. This is in contrast to Massuyeau's 2018 proof using braids. A feature of our approach is a general conceptual framework which is applied to prove the compatibility of the homomorphic expansion with both the Goldman bracket and the technically challenging Turaev cobracket.

2025-09-25T10:27:21Z Dror Bar-Natan Zsuzsanna Dancso Tamara Hogan Jessica Liu Nancy Scherich http://arxiv.org/abs/2606.09467v1 2026-06-08T13:23:27Z

The centre comonad model provided the first concrete cohesive linear $\infty$-topos, settling an open problem of Schreiber. However, the model is degenerate: the quantum modality annihilates all non-commutative algebras, and the associated linear logic collapses to classical cartesian logic. In this paper we give a complete mathematical diagnosis of this degeneracy. We prove that the centre comonad sends the representable sheaf of a simple non-commutative algebra to the empty presheaf, and that the state space of any such algebra is empty. We then prove that the Day convolution on the classical core is cartesian, forcing the Seely isomorphism to hold trivially and collapsing the linear logic. We isolate the structural reason behind this collapse: whenever the opposite of the classical core is monoidally equivalent to a cartesian monoidal category, any coreflective precomposition comonad will exhibit the same degeneracy. We conclude that a non-degenerate quantum modality must be constructed without precomposition, and we briefly discuss possible directions.

2026-06-08T13:23:27Z 9 pages Joey Woo http://arxiv.org/abs/2605.30558v2 2026-06-08T10:49:20Z

Given a BV theory on a space of fields split into two subspaces ("infrared" and "ultraviolet"), one has the BV pushforward map $P_*$, sending observables to observables of the effective theory on the infrared space. This note proves that $P_*$ is a quasi-isomorphism of BV complexes, by realizing it as a part of a strong deformation retraction constructed using the homological perturbation lemma. Two proofs are given: (i) comparing Feynman diagrams for $P_*$ with "cable diagrams" arising from homological perturbation theory and (ii) using topological quantum mechanics. This construction gives a formula for the quasi-inverse $i_\mathrm{int}$ of $P_*$ - the map lifting observables of the effective theory to the full theory. The topological quantum mechanics perspective - and its realization as an AKSZ theory - allows one to write $i_\mathrm{int}$ as a path integral (realizing cable diagrams for $i_\mathrm{int}$ as Feynman diagrams) and to study its classical limit.

2026-05-28T20:45:15Z 62 pages, 15 figures. v.2: references added Alberto S. Cattaneo Pavel Mnev http://arxiv.org/abs/2603.03386v2 2026-06-08T09:44:56Z

This paper provides the first algebraic characterization of an algebra of cohomological Hecke operators associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), establishing a direct connection with Yangians. It is based on the theory of equivariant nilpotent cohomological Hall algebras $\mathbf{HA}^T_{X,Z}$, developed by the same authors. More precisely, let $X$ be a resolution of a Kleinian singularity (for example, $X = T^\ast\mathbb{P}^1$) and let $Z$ be the exceptional divisor. One of the main results of this paper is an explicit isomorphism $\mathbf{HA}^T_{X,Z} \simeq \mathbb{Y}^+_\infty$, where $\mathbb{Y}^+_\infty$ is a completed, nonstandard, positive half of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE Lie algebra $\mathfrak{g}$. Furthermore, the generators of $\mathbf{HA}^T_{X,Z}$--given by fundamental classes of substacks of zero-dimensional sheaves and of pushforwards of line bundles on $Z$--are expressed explicitly in terms of Yangian generators. Our main tools, which may be of independent interest, are: (i) a `continuity' theorem describing the behavior of cohomological Hall algebras of objects in the heart of $t$-structures $τ_n$ when the sequence $(τ_n)_n$ converges, in an appropriate sense, to a fixed $t$-structure $τ_\infty$; (ii) the definition of a multi-parameter Yangian $\mathbb{Y}_Q$ for an arbitrary quiver $Q$, given by generators and relations; (iii) a theorem relating the algebraic action of the braid group $B_Q$ on the Yangian $\mathbb{Y}_Q$ to the action of $B_Q$ on the equivariant 2-dimensional cohomological Hall algebra $\mathbf{HA}^T_Q$ of $Q$, where the latter can be described in terms of derived reflection functors of the bounded derived category of modules over the preprojective algebra of $Q$.

2026-03-03T07:26:48Z v2: references updated, 152 pages. v1: 150 pages. This paper is a revised version of Parts II, III, and IV of arXiv:2502.19445v2 Duiliu-Emanuel Diaconescu Mauro Porta Francesco Sala Olivier Schiffmann Eric Vasserot