Related papers: Cancellativization of dimer models
We proved that for any matrix dilation and for any positive integer $n$, there exists a compactly supported tight wavelet frame with approximation order $n$. Explicit methods for construction of dual and tight wavelet frames with a given…
We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is complete with respect to polynomial interpretations. The proof…
An abelian group $A$ is said to be cancellable if whenever $A \oplus G$ is isomorphic to $A \oplus H$, $G$ is isomorphic to $H$. We show that the index set of cancellable rank 1 torsion-free abelian groups is $\Pi^0_4$ $m$-complete, showing…
The Cancellation Problem for Affine Spaces is settled affirmatively, that is, it is proved that : Let $ k $ be an algebraically closed field of characteristic zero and let $n, m \in \mathbb{N}$. If $R[Y_1,..., Y_m] \cong_k k[X_1,...,…
We show that there are no symmetric non-zero biderivations on perfect Lie algebras of finite dimension over a field of characteristic zero. We show that this is equivalent to show that every symmetric biderivation on a finite-dimensional…
We extend a result proved in \cite{Col} for mirror symmetries of planar systems to measure-preserving non-linear reversibilities of $n$-dimensional systems, dropping the analyticity and nondegeneracy conditions.
We study the properties of a completely integrable deformation of the CGHS dilaton gravity model in two dimensions. The solution is shown to represent a singularity free black hole that at large distances asymptoticaly joins to the CGHS…
We generalize the theorems in {\it Mirror Principle I} and {\it II} to the case of general projective manifolds without the convexity assumption. We also apply the results to balloon manifolds, and generalize to higher genus.
We investigate cancellation of spatial aberrations induced by an object placed in a quantum coincidence interferometer with type-II parametric down conversion as a light source. We analyze in detail the physical mechanism by which the…
A class of models is presented, in the form of continuation monads polymorphic for first-order individuals, that is sound and complete for minimal intuitionistic predicate logic. The proofs of soundness and completeness are constructive and…
A noncommutative analogue of the Zariski cancellation problem asks whether $A[x]\cong B[x]$ implies $A\cong B$ when $A$ and $B$ are noncommutative algebras. We resolve this affirmatively in the case when $A$ is a noncommutative finitely…
We prove that the bihamiltonian cohomology of a semisimple pencil of Poisson brackets of hydrodynamic type vanishes for almost all degrees. This implies the existence of a full dispersive deformation of a semisimple bihamiltonian structure…
We discuss an integrable discretization of the principal chiral field models equations and its involutive reduction. We present a Darboux transformation and general construction of solution solutions for these discrete equations.
We study the dimer and Ising models on a finite planar weighted graph with periodic-antiperiodic boundary conditions, i.e. a graph $\Gamma$ in the Klein bottle $K$. Let $\Gamma_{mn}$ denote the graph obtained by pasting $m$ rows and $n$…
In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…
Using Galois Theory, we construct explicitly absolutely simple (principally polarized) Prym varieties that are not isomorphic to jacobians of curves even if we ignore the polarizations. Our approach is based on the previous papers…
We prove that certain quiver varieties are irreducible and therefore are isomorphic to Hilbert schemes of points of the total spaces of the bundles $\mathcal O_{\mathbb P^1}(-n)$ for $n \ge 1$.
We determine the complete structure of the symmetry algebras associated with the N-body Calogero-Moser system and its maximally superintegrable discretization. We prove that the discretization naturally leads to a nontrivial deformation of…
We prove that stably isomorphic vector bundles of rank d-1 on a smooth affine d-fold X over an algebraically closed field k are indeed isomorphic, provided d! is invertible in k. This answers an old conjecture of Suslin.
We prove that every isometry of between (not-necessarily orthogonal) summands of a unimodular quadratic space over a semiperfect ring can be extended an isometry of the whole quadratic space. The same result was proved by Reiter for the…