Related papers: A generalization of quantum Lakshmibai-Seshadri pa…
We construct quantum K-invariants in non-archimedean analytic geometry. Contrary to the classical approach in algebraic geometry via perfect obstruction theory, we build on our previous works on the foundations of derived non-archimedean…
We develop a generalized theory of quantum error correction (QEC) that applies to any linear map, in particular maps that are not completely positive (CP). This theory describes entanglement-assisted QEC for invertible noise maps, which we…
Layer-wise mixed-precision quantization (LMPQ) enables effective compression under extreme low-bit settings by allocating higher precision to sensitive layers. However, existing methods typically treat all intra-layer weight modules…
An equivariant map queer Lie superalgebra is the Lie superalgebra of regular maps from an algebraic variety (or scheme) $X$ to a queer Lie superalgebra $\mathfrak{q}$ that are equivariant with respect to the action of a finite group…
The past few years have seen a revived interest in quantum geometrical characterizations of band structures due to the rapid development of topological insulators and semi-metals. Although the metric tensor has been connected to many…
For a certain class of simple integrable modules of level zero over a quantised affine algebra, we establish the existence of a pseudo-crystal basis and show that such a basis admits a combinatorial realisation in the framework of the path…
In this article we consider the iterative schemes to compute the canonical (CP) approximation of quantized data generated by a function discretized on a large uniform grid in an interval on the real line. This paper continues the research…
Complex Logical Query Answering (CLQA) over incomplete knowledge graphs is a challenging task. Recently, Query Embedding (QE) methods are proposed to solve CLQA by performing multi-hop logical reasoning. However, most of them only consider…
Methods based on weight compensation, which iteratively apply quantization and weight compensation to minimize the output error, have recently demonstrated remarkable success in quantizing Large Language Models (LLMs). The representative…
Large Language Models (LLMs) have demonstrated remarkable capabilities but typically require extensive computational resources and memory for inference. Post-training quantization (PTQ) can effectively reduce these demands by storing…
The Algebraic Kirchberg-Phillips Question for Leavitt path algebras asks whether unital $K$-theory is a complete isomorphism invariant for unital, simple, purely infinite Leavitt path algebras over finite graphs. Most work on this problem…
We present two rewriting systems that define labelled explicit substitution lambda-calculi. Our work is motivated by the close correspondence between Levy's labelled lambda-calculus and paths in proof-nets, which played an important role in…
Euclidean quantum-gravity path-integrals are investigated within Regge calculus by computer simulations. The domain of integration is restricted by introducing a lower limit for the fatness of each simplex. We use the standard hypercubic…
In this paper, we consider an arbitrary irreducible unitary representation $(\pi_{\lambda},V_{\lambda})$ of a compact connected, simply connected semisimple Lie group $G$ with highest weight $\lambda$, and apply the idea of…
We present a paradigm for constructing approximate quantum circuits from reversible classical circuits that operate on many possible encodings of an input and send almost all encodings of that input to an encoding of the correct output. We…
This paper presents an equational theory for the QRAM model of quantum computation, formulated as an embedded language inside of homotopy type theory. The embedded language approach is highly expressive, and reflects the style of…
The lackadaisical quantum walk, a quantum analog of the lazy random walk, is obtained by adding a weighted self-loop transition to each state. Impacts of the self-loop weight $l$ on the final success probability in finding a solution make…
I argue that the complete partition function of 3D quantum gravity is given by a path integral over gauge-inequivalent manifolds times the Chern-Simons partition function. In a discrete version, it gives a sum over simplicial complexes…
The simple integrable modules with finite dimensional weight spaces are classified for the quantum affine special linear superalgebra $\U_q(\hat{\mathfrak{sl}}(M|N))$ at generic $q$. Any such module is shown to be a highest weight or lowest…
Transversal gates play a crucial role in suppressing error propagation in fault-tolerant quantum computation, yet they are intrinsically constrained: any nontrivial code encoding a single logical qubit admits only a finite subgroup of…