Related papers: Coloring ordinals by reals
We find that certain higher-order mappings arise as reductions of the integrable discrete A-type KP (AKP) and B-type KP (BKP) equations. We find conservation laws for the AKP and BKP equations, then we use these conservation laws to derive…
Some affirmative answers are given to Huneke's problems. The calculation of local cohomology modules with respect to an arbitrary pair of ideals $I,J$ can be reduced to calculation of local cohomology modules with respect to a pair of…
We motivate and study an infinite sequence of binary operations on the ordinal numbers, extending the standard arithmetic on the ordinals to higher degrees of iteration. Connections to the hyperoperations on the natural numbers are…
A common theme of enumerative combinatorics is formed by counting functions that are polynomials evaluated at positive integers. In this expository paper, we focus on four families of such counting functions connected to hyperplane…
In this paper, we study the estimates of resolvents $ R(\lambda,\mathcal{L}_{\varepsilon})=(\mathcal{L}_{\varepsilon}-\lambda I)^{-1} $, where $$ \mathcal{L}_{\varepsilon}=-\operatorname{div}(A(x/\varepsilon)\nabla) $$ is a family of second…
During the last two decades, great efforts have been devoted to the calculation of the local theta correspondence for reductive dual pairs. However, uniform formulas remain elusive for real dual pairs of type I. The purpose of this paper is…
Recent work on loglinear models in probabilistic constraint logic programming is applied to first-order probabilistic reasoning. Probabilities are defined directly on the proofs of atomic formulae, and by marginalisation on the atomic…
We extend the subrepresentation formula $$ |f(x)|\le c_n\,I_1(|\nabla f|)(x) $$ in several ways. First, we consider more general $A_1$-potential operators on the right-hand side and prove local and global pointwise inequalities for these…
Given two combinatorial notions $\mathsf{P}_0$ and $\mathsf{P}_1$, can we encode $\mathsf{P}_0$ via $\mathsf{P}_1$. In this talk we address the question where $\mathsf{P}_0$ is 3-coloring of integers and $\mathsf{P}_1$ is product of…
In this paper, we investigate some topics around the closed image $S$ of a rational map $\lambda$ given by some homogeneous elements $f_1,...,f_n$ of the same degree in a graded algebra $A$. We first compute the degree of this closed image…
System F, the polymorphic lambda calculus, features the principle of impredicativity: polymorphic types may be (explicitly) instantiated at other types, enabling many powerful idioms such as Church encoding and data abstraction.…
We investigate regularity properties derived from tree-like forcing notions in the setting of "generalized descriptive set theory", i.e., descriptive set theory on $\kappa^\kappa$ and $2^\kappa$, for regular uncountable cardinals $\kappa$.
We give a rigorous formulation of the intuitive idea that a differentiable map should be thesame thing as a locally, or infinitesimally, linear map: just as a linear map respects the operations of addition and multiplication by scalars ina…
We prove an arithmetic analog of the induced graph removal lemma for complexity 1 patterns over finite fields. Informally speaking, we show that given a fixed collection of $r$-colored complexity 1 arithmetic patterns over $\mathbb F_q$,…
Heap's Law states that in a large enough text corpus, the number of types as a function of tokens grows as $N=KM^\beta$ for some free parameters $K,\beta$. Much has been written about how this result and various generalizations can be…
In this paper we study a very general finite Ramsey theorem, where both the sets being colored and the homogeneous set must satisfy some largeness notion. For the homogeneous set this has already been done using the notion of…
In \cite{J}, Theorem 4.2, Jockusch proves that for any computable k-coloring of pairs of integers, there is an infinite $\Pi^0_2$ homogeneous set. The proof uses a countable collection of $\Pi^0_2$ sets as potential infinite homogeneous…
We prove #P-completeness results for counting edge colorings on simple graphs. These strengthen the corresponding results on multigraphs from [4]. We prove that for any $\kappa \ge r \ge 3$ counting $\kappa$-edge colorings on $r$-regular…
We introduce and study in a general setting the concept of homogeneity of an operator and, in particular, the notion of homogeneity of an integral operator. In the latter case, homogeneous kernels of such operators are also studied. The…
This paper concerns Hopf's boundary point lemma, in certain $C^{1,Dini}$-type domains, for a class of singular/degenerate PDE-s, including $p$-Laplacian. Using geometric properties of levels sets for harmonic functions in convex rings, we…