Related papers: Infinite combinatorial issues raised by lifting pr…
We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are…
Answering a question posed by Adam Epstein, we show that the collection of conjugacy classes of polynomials admitting a parabolic fixed point and at most one infinite critical orbit is a set of bounded height in the relevant moduli space.…
Fix an positive integer $n$. Let $K\subseteq\mathbb{R}^n$ be a compact set such that $K+\mathbb{Z}^n=\mathbb{R}^n$. We prove, via Algebraic Topology, that the integer points of the difference set of $K$, $(K-K)\cap\mathbb{Z}^n$, is not…
We consider the problem of computing critical points of the restriction of a polynomial map to an algebraic variety. This is of first importance since the global minimum of such a map is reached at a critical point. Thus, these points…
We construct new examples of non-nil algebras with any number of generators, which are direct sums of two locally nilpotent subalgebras. As all previously known examples, our examples are contracted semigroup algebras and the underlying…
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…
Motivated by the minimal tower problem, an earlier work studied diagonalizations of covers where the covers are related to linear quasiorders (tau-covers). We deal with two types of combinatorial questions which arise from this study. 1.…
An archetypal problem discussed in computer science is the problem of searching for a given number in a given set of numbers. Other than sequential search, the classic solution is to sort the list of numbers and then apply binary search.…
Computation of polynomial relative invariants is a classical tool in algebra. Relative differential invariants are central for the equivalence problem of geometric structures. We address the fundamental problem of finite generation of their…
Algebraic Combinatorics originated in Algebra and Representation Theory, studying their discrete objects and integral quantities via combinatorial methods which have since developed independent and self-contained lives and brought us some…
Let $K\subseteq\mathbb{R}^2$ be a compact set such that $K+\mathbb{Z}^2=\mathbb{R}^2$. We prove, via Algebraic Topology, that the integer points of the difference set of $K$, $(K-K)\cap\mathbb{Z}^2$, is not contained on the coordinate axes,…
This paper describes problems concerning the range of cardinalities of sumsets and restricted sumsets of finite subsets of the integers and finite subsets of ordered abelian groups.
We prove some abstract multiplicity theorems that can be used to obtain multiple nontrivial solutions of critical growth $p$-Laplacian and $(p,q)$-Laplacian type problems. We show that the problems considered here have arbitrarily many…
We consider critical points of master functions associated with integral dominant weights of Kac-Moody algebras and introduce a generating procedure constructing new critical points starting from a given one. The set of all critical points…
We consider a weighted family of $n$ parallelly transported hyperplanes in a $k$-dimensioinal affine space and describe the characteristic variety of the Gauss-Manin differential equations for associated hypergeometric integrals. The…
We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal role in Weihrauch complexity. For one, they can be used as landmarks that characterize important equivalences classes in the…
We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…
We consider point sets in the affine plane $\mathbb{F}_q^2$ where each Euclidean distance of two points is an element of $\mathbb{F}_q$. These sets are called integral point sets and were originally defined in $m$-dimensional Euclidean…
Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more…
It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg…