Related papers: Infinitary Term Rewriting for Weakly Orthogonal Sy…
We introduce the definability strength of combinatorial principles. In terms of definability strength, a combinatorial principle is strong if solving a corresponding combinatorial problem could help in simplifying the definition of a…
A run of all failures, a run of all successes, or complete separation in a logistic regression each tempts the analyst to declare a probability of exactly zero or one. The central message of this paper is that all three phenomena share a…
We investigate linear parabolic equations in divergence form with singular coefficients and non-smooth boundary data. When the diffusion, drift, or potential terms, as well as the initial or boundary conditions, are distributions rather…
In our paper "Essential normality, essential norms and hyperrigidity" we claimed that the restriction of the identity representation of a certain operator system (constructed from a polynomial ideal) has the unique extension property,…
We deal with a robust notion of weak normals for a wide class of irregular curves defined in Euclidean spaces of high dimension. Concerning polygonal curves, the discrete normals are built up through a Gram-Schmidt procedure applied to…
By employing harmonic analysis techniques, we derive weak-type Caffarelli-Kohn-Nirenberg inequalities under natural parameter conditions. A key feature of these weak-type versions is that they remain valid even at critical parameter values…
We first give a relative flexible process to construct torsion cohomology classes for Shimura varieties of Kottwitz-Harris-Taylor type with coefficient in a non too regular local system. We then prove that associated to each torsion…
In this paper, we consider a new weak norm, iterated weak norm in Lebesgue spaces with mixed norms. We study properties of the mixed weak norm and the iterated weak norm and present the relationship between the two weak norms. Even for the…
We show that classical chaining bounds on the suprema of random processes in terms of entropy numbers can be systematically improved when the underlying set is convex: the entropy numbers need not be computed for the entire set, but only…
We reprove the essential self-adjointness of the Dirichlet operators of Dirchlet forms for infinite particle systems with superstable and sub-exponentially decreasing interactions.
The cubic anisotropy model provides a simple example of a system with an arbitrarily weak first-order phase transition. We present an analysis of this model using $\eps$-expansion techniques with results up to next-to-next-to-leading order…
This paper considers quasi-reductivity - essentially, the property that an evaluation cannot get "stuck" due to a missing case in pattern matching - in the context of term rewriting with logical constraints.
Consider a strictly hyperbolic $n\times n$ system of conservation laws, where each characteristic field is either genuinely nonlinear or linearly degenerate. In this standard setting, it is well known that there exists a Lipschitz semigroup…
We study superdevelopments in the weak lambda calculus of Cagman and Hindley, a confluent variant of the standard weak lambda calculus in which reduction below lambdas is forbidden. In contrast to developments, a superdevelopment from a…
Let $\Omega$ be a function of homogeneous of degree zero and vanish on the unit sphere $\mathbb {S}^n$. In this paper, we investigate the limiting weak-type behavior for singular integral operator $T_\Omega$ associated with rough kernel…
We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rational unification by constraints x$\subseteq$ y saying that…
We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past.…
We extend the duality principle for the $\Gamma$-convergence of convex lower semicontinuous functions, which was previously established only in separable reflexive Banach spaces, to the broader class of weakly compactly generated (WCG)…
We continue the study of non-invertible topological dynamical systems with expanding behavior. We introduce the class of {\em finite type} systems which are characterized by the condition that, up to rescaling and uniformly bounded…
We demonstrate that dual entropy expressions of the Tsallis type apply naturally to statistical-mechanical systems that experience an exceptional contraction of their configuration space. The entropic index $\alpha>1$ describes the…