Related papers: Reduktionssysteme zur Berechnung einer Aufl\"osung…
We introduce tautological system defined by prehomogenous actions of reductive algebraic groups. If the complement of the open orbit is a linear free divisor satisfying a certain finiteness condition, we show that these systems underly…
We compute the Hochschild homology of the free orthogonal quantum group $A_o(n)$. We show that it satisfies Poincar\'e duality and should be considered to be a 3-dimensional object. We then use recent results of R. Vergnioux to derive…
We provide an effective algorithm for determining whether an element of the outer automorphism group of a free group is fully irreducible. Our method produces a finite list which can be checked for periodic proper free factors.
In this paper we present the formal, computer-supported verification of a functional implementation of Buchberger's critical-pair/completion algorithm for computing Gr\"obner bases in reduction rings. We describe how the algorithm can be…
Quantum hamiltonian reduction is a fundamental tool of conformal field theory and vertex algebra representation theory. It has traditionally been applied to study highest-weight modules. On the other hand, inverse quantum hamiltonian…
We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_\Sigma),\mathcal{O})_{\mathfrak{m}_\Sigma}$ of arithmetic manifolds are free over certain deformation rings $R_\Sigma$, when there are…
We calculate the homology of automorphism groups of free groups in various cases. The author would like to thank his thesis advisor Karen Vogtmann.
We prove an analogue of the Baum-Connes conjecture for free orthogonal quantum groups. More precisely, we show that these quantum groups have a $ \gamma $-element and that $ \gamma = 1 $. It follows that free orthogonal quantum groups are $…
Let $F$ be a finitely generated free group. We present an algorithm such that, given a subgroup $H\leqslant F$, decides whether $H$ is the fixed subgroup of some family of automorphisms, or family of endomorphisms of $F$ and, in the…
We propose a method for reduction of quantum systems with arbitrary first class constraints. An appropriate mathematical setting for the problem is homology of associative algebras. For every such an algebra $A$ and its subalgebra B with an…
Can a large system be fully characterized using its subsystems via inductive reasoning? Is it possible to completely reduce the behavior of a complex system to the behavior of its simplest "atoms"? In the following paper we answer these…
This note describes an algorithm for enumerating all the elements in a finite set based on uniformly random sampling from the set. This algorithm can be used for enumeration by fair sampling with quantum annealing. Our algorithm is based on…
Building on work of Brandt and Terao in their study of $k$-formality, we introduce a co-chain complex associated to a multi-arrangement and prove that its cohomologies determine freeness of the associated module of multi-derivations. This…
It was proved by Sela and by the authors that every formula in the theory of a free group $F$ is equivalent to a boolean combination of $\exists\forall$-formulas. We also proved that the elementary theory of a free group is decidable (there…
Free coherent states for a system with two degrees of freedom is defined. Existence of the homeomorphism of the ring of integer 2-adic numbers to the set of coherent states corresponding to an eigenvalue of the operator of annihilation is…
Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded $K[x,y]$-module $M$, where $K$ is a field. The algorithm takes as input a short chain complex of…
Reduction of a state of a quantum system to a subsystem gives partial quantum information about the true state of the total system. Two subalgebras A1 and A2 of B(H) are called complementary if the traceless subspaces of A1 and A2 are…
We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a…
We find an algorithm of numerical renormalization group for spin chain models. The essence of this algorithm is orthogonal transformation of basis states, which is useful for reducing the number of relevant basis states to create effective…
We characterize sequences of numbers $(a_n)$ such that $\sum_{n\geq 1} a_n\Phi_n$ converges a.e. for any orthonormal system $(\Phi_n)$ in any $L_2$-space. In our criterion, we use the set $B =\{\sum_{m\geq n} |a_m|^2; n\geq 1\}$ and its…