Related papers: A Valuation-Theoretic Approach to Translative-Equi…
We prove some results which give sufficient conditions so that pointwise approximation of negative plurisubharmonic functions on complex varieties by continuous plurisubharmonic ones is possible.
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…
Exchangeability is a central notion in statistics and probability theory. The assumption that an infinite sequence of data points is exchangeable is at the core of Bayesian statistics. However, finite exchangeability as a statistical…
We prove a complexity dichotomy theorem for the eight-vertex model. For every setting of the parameters of the model, we prove that computing the partition function is either solvable in polynomial time or \#P-hard. The dichotomy criterion…
This paper investigates the use of automatic continuity techniques in the context of valuations on convex bodies. We first provide an automatic continuity theorem for valuations restricted to parallelotopes with respect to a fixed basis.…
In this article, we use a class of harmonic functions (maybe multi-valued) to study the equality part in a weighted version of Suita conjecture for higher derivatives and finite points case, and we obtain some sufficient and necessary…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
We use the generization of Weyl's equidistribution theorem to characterize several necessary conditions of hypercyclic weighted translation operators with periodic element.
We classify, up to isomorphism and up to equivalence, involutions on graded-division finite-dimensional simple real (associative) algebras, when the grading group is abelian.
A complete classification of all continuous, epi-translation and rotation invariant valuations on the space of super-coercive convex functions on ${\mathbb R}^n$ is established. The valuations obtained are functional versions of the…
Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and logical relations are common patterns of such inductive…
An examination of the translation invariance of $V_0$ under dyadic rationals is presented, generating a new equivalence relation on the collection of wavelets. The equivalence classes under this relation are completely characterized in…
For $T$ a compact torus and $E_T^*$ a generalized $T$-equivariant cohomology theory, we provide a systematic framework for computing $E_T^*$ in the context of equivariantly stratified smooth complex projective varieties. This allows us to…
We prove the converse of Yano's extrapolation theorem for translation invariant operators.
Very recently J. Kotrbaty has proven general inequalities for translation invariant smooth valuations formally analogous to the Hodge- Riemann bilinear relations in the Kahler geometry. The goal of this note is to apply Kotrbaty's theorem…
This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.
We improve upon the upper bounds for the cardinality of the value set of a multivariable polynomial map over a finite field using the polytope of the polynomial. This generalizes earlier bounds only dependent on the degree of a polynomial.
Supervised distributional methods are applied successfully in lexical entailment, but recent work questioned whether these methods actually learn a relation between two words. Specifically, Levy et al. (2015) claimed that linear classifiers…
We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…