Related papers: Cancellativization of dimer models
We show how permutability of transforms of smooth surfaces with particular characteristics leads to discrete surfaces with discrete analogues of the same characteristics.
This work presents a geometric formulation for transforming nonconservative mechanical Hamiltonian systems and introduces a new method for regularizing and linearizing central force dynamics -- in particular, Kepler and Manev dynamics --…
We prove that for every planar differential system with a period annulus there exists an involution $\sigma$ such that the system is $\sigma$-symmetric. We also prove that for for every planar differential system with a period annulus there…
We present a theory for the cloaking of arbitrarily-shaped objects and demonstrate electromagnetic scattering-cancellation through designed homogeneous coatings. First, in the small-particle limit, we expand the dipole moment of a coated…
We discuss the generalization to global gauge anomalies of the familiar procedure for the cancellation of local gauge anomalies in effective theories of spontaneously broken symmetries. We illustrate this mechanism in a recently proposed…
We classify simply-connected, complete Willmore surfaces with vanishing Gaussian curvature. We also study the Willmore cones and give a classification. As an application, we give a Bernstein-type theorem.
Case-based explanations are an intuitive method to gain insight into the decision-making process of deep learning models in clinical contexts. However, medical images cannot be shared as explanations due to privacy concerns. To address this…
Dimer models (also known as brane tilings) are special bipartite graphs on a torus $\mathbb{T}^2$. They encode the structure of the 4d $\mathcal{N} = 1$ worldvolume theories of D3 branes probing toric affine Calabi-Yau singularities.…
In this paper we give a direct geometric proof of the fact that tensoring with the Tate motive in the triangulated category of effective motives DM is a full embedding. The main part of the proof is given in the context of schemes of finite…
We present concisely the method "Model Elimination" of D.W.Loveland. Especially, we explain and prove the correctness of the lemmas generated by this method.
We study the classical hard-core dimer model on the triangular lattice. Following Kasteleyn's fundamental theorem on planar graphs, this problem is soluble by Pfaffians. This model is particularly interesting for, unlike the dimer problems…
A class of three-dimensional models which satisfy supersymmetric intertwining relations with the simplest - oscillator-like - variant of shape invariance is constructed. It is proved that the models are not amenable to conventional…
We present the multiplier method of constructing conservative finite difference schemes for ordinary and partial differential equations. Given a system of differential equations possessing conservation laws, our approach is based on…
Some results in random matrices are generalized to supermatrices, in particular supermatrix integration is reduced to an integration over the eigenvalues and the resulting volume element is shown to be equivalent to a one dimensional…
In this paper we extend a result of Dubouloz on the Cancellation Problem in higher dimensions ($\geqslant 2$) over the field of complex numbers to fields of arbitrary characteristic. We then apply the generalised result to describe the…
Dimer models provide a method of constructing noncommutative crepant resolutions of affine toric Gorenstein threefolds. In homological mirror symmetry, they can also be used to describe noncommutative Landau--Ginzburg models dual to…
We show the existence of a renormalizable local supersymmetry for the gauge fixed action of the four dimensional antisymmetric tensor field model in a curved background quantized in a generalized axial gauge. By using the technique of the…
We prove that the Cayley-Menger determinant of an $n$-dimensional simplex is an absolutely irreducible polynomial for $n\geq3.$ We also study the irreducibility of polynomials associated to related geometric constructions.
The celebrated Zariski Cancellation Problem asks as to when the existence of an isomorphism $X\times\mathbb{A}^n\cong X'\times\mathbb{A}^n$ for (affine) algebraic varieties $X$ and $X'$ implies that $X\cong X'$. In this paper we provide a…
We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy…