Related papers: On the problem of basis for hyperquasivarieties
We prove a conjecture of Rudnick and Sarnak on the mass equidistribution of Hecke eigenforms. This builds upon independent work of the authors see arxiv.org:math/0809.1640 and arxiv.org:math/0809.1635.
We point out that some questions in quantum field theory are undecidable in a precise mathematical sense. More concretely, it will be demonstrated that there is no algorithm answering whether a given 2d supersymmetric Lagrangian theory…
By using unramified cohomology groups, we construct a full sequence of cohomological invariants for hermitian forms of any type (orthogonal, symplectic or unitary) that can be used to detect hyperbolicity. The base central simple algebras…
This work examines a field theory for RNA-like molecules in a good solvent. The field theory is based on a lattice model for single- and double-strand RNA with a periodic base sequence, and otherwise contains all known relevant details…
We show that the minimal number of skewed hyperplanes that cover the hypercube $\{0,1\}^{n}$ is at least $\frac{n}{2}+1$, and there are infinitely many $n$'s when the hypercube can be covered with $n-\log_{2}(n)+1$ skewed hyperplanes. The…
The content of this preprint together with additional material appears now in 0706.2154.
We prove that the abundance conjecture holds on a variety $X$ with mild singularities if $X$ has many reflexive differential forms with coefficients in pluricanonical bundles, assuming the Minimal Model Program in lower dimensions. This…
The present status of the problems in my book "Cardinal Invariants on Boolean algebras" (Birkhauser 1996) is described, with a description of solutions or partial solutions, and references.
We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random…
We address the problem of determining the hypersurfaces $f\colon M^{n} \to \mathbb{Q}_s^{n+1}(c)$ with dimension $n\geq 3$ of a pseudo-Riemannian space form of dimension $n+1$, constant curvature $c$ and index $s\in \{0, 1\}$ for which…
In this paper, the author introduces the concept and basic properties of finite (commutative) hyperfields. Also, the author shows that, up to isomorphism, there are exactly 2 hyperfields of order 2; 5 hyperfields of order 3; 7 hyperfields…
Conditions, related to the so-called bending problem are considered for hypersurfaces of a pseudo-Euclidean space. Corresponding theorems are proved.
The quotient hyperfield is a landmark on the borderline of fields and hyperfields. In this paper, which is the second part of our previously published paper, all the hyperfields of order 7 are constructed, enumerated and presented, in the…
Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…
We show that the amoeba of a complex algebraic variety defined as the solutions to a generic system of $n$ polynomials in $n$ variables has a finite basis. In other words, it is the intersection of finitely many hypersurface amoebas.…
Q-groupoids and Q-algebroids are, respectively, supergroupoids and superalgebroids that are equipped with compatible homological vector fields. These new objects are closely related to the double structures of Mackenzie; in particular, we…
Lie-theoretic structures of type $E_8$ (e.g., Lie groups and algebras, Hecke algebras and Kazhdan-Lusztig cells, ...) are considered to serve as a `gold standard' when it comes to judging the effectiveness of a general algorithm for solving…
We introduce two variants of $q$-hypergeometric equation. We obtain several explicit solutions of variants of $q$-hypergeometric equation. We show that a variant of $q$-hypergeometric equation can be obtained by a restriction of $q$-Appell…
These are notes prepared for ICRA workshop at Torun, Poland, August 2007. In the first part, we explain results on canonical basic sets by Geck and Jacon and propose a categorification framework which is suitable for our example of Hecke…
Kronecker's 1856 paper contains a solvability theorem that is useful to construct unsolvable algebraic equations. We show how Kronecker's solvability theorem can be derived naturally via a polynomial complete decomposition method. This…