Related papers: Answering Two OPAC Problems Involving Banff Quiver…
Classifying all Hopf algebras of a given finite dimension over the complex numbers is a challenging problem which remains open even for many small dimensions, not least because few general approaches to the problem are known. Some useful…
A number of new papers have greatly elucidated the derivation of quiver gauge theories from D-branes at a singularity. A complete story has now been developed for the total space of the canonical line bundle over a smooth Fano 2-fold. In…
Painleve equations belong to the class y'' + a_1 {y'}^3 + 3 a_2 {y'}^2 + 3 a_3 y' + a_4 = 0, where a_i=a_i(x,y). This class of equations is invariant under the general point transformation x=Phi(X,Y), y=Psi(X,Y) and it is therefore very…
We study two long-standing conjectures concerning lower bounds for the Betti numbers of a graded module over a polynomial ring. We prove new cases of these conjectures in codimensions five and six by reframing the conjectures as arithmetic…
We prove that there exists a countable infinite sequence of non-empty special $\Pi^0_1$ classes $\{\mathcal{P}_i\}_{i\in\omega}$ such that no infinite union of elements of any $\mathcal{P}_i$ computes the halting set. We then give a…
We tackle the classification problem of non-degenerate potentials for quivers arising from triangulations of surfaces in the cases left open by Geiss-Labardini-Schr\"oer. Namely, for once-punctured closed surfaces of positive genus, we show…
Several convex relaxations of the optimal power flow (OPF) problem have recently been developed using both bus injection models and branch flow models. In this paper, we prove relations among three convex relaxations: a semidefinite…
This paper addresses the controversy between Mayers, Lo and Chau on one side, and Yuen on the opposite side, on whether there exist or not unconditionally secure protocols. For such purpose, a complete classification of all possible bit…
In this paper, we start with a class of quivers that containing only 2-cycles and loops, referred to as 2-cyclic quivers. We prove that there exists a potential on these quivers that ensures the resulting quiver with potential is…
Given an associative multiplication in matrix algebra compatible with the usual one or, in other words, linear deformation of matrix algebra, we construct a solution to the classical Yang-Baxter equation. We also develop a theory of such…
We revisit the problem of differentially private release of classification queries. In this problem, the goal is to design an algorithm that can accurately answer a sequence of classification queries based on a private training set while…
The relationship between the complexity classes P and NP is a question that has not yet been answered by the Theory of Computation. The existence of a language in NP, proven not to belong to P, is sufficient evidence to establish the…
Automatic structures are first-order structures whose universe and relations can be represented as regular languages. It follows from the standard closure properties of regular languages that the first-order theory of an automatic structure…
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…
We explore the relations between the Boolean Satisfiability Problem with $n$ Boolean variables and the orthogonal group $\mbox{O}(n)$. We show that all $2^n$ possible solutions induce involutions of $\mathbb{R}^n$ that lie in the compact,…
We realize a family of generalized cluster algebras as Caldero-Chapoton algebras of quivers with relations. Each member of this family arises from an unpunctured polygon with one orbifold point of order 3, and is realized as a…
We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is of order two or four. This covers the vast majority of the cases when this group is non-zero. Our approach is…
The standard contact structure on the three-sphere is invariant under the action of the cyclic group of order p yielding the lens space L(p,q). Therefore, every lens space carries a natural quotient contact structure Q. A theorem of…
We show that the classes of separable reflexive Banach spaces and of spaces with separable dual are strongly bounded. This gives a new proof of a recent result of E. Odell and Th. Schlumprecht, asserting that there exists a separable…
The ternary Goldbach conjecture, or three-primes problem, asserts that every odd integer $n$ greater than $5$ is the sum of three primes. The present paper proves this conjecture. Both the ternary Goldbach conjecture and the binary, or…