Related papers: Normal functions and maximal order types

This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability path ordering (CPO), a recursive relation on terms obtained by…

Normalizing flows are a powerful class of generative models demonstrating strong performance in several speech and vision problems. In contrast to other generative models, normalizing flows are latent variable models with tractable…

Erickson defined the fusible numbers as a set $\mathcal F$ of reals generated by repeated application of the function $\frac{x+y+1}{2}$. Erickson, Nivasch, and Xu showed that $\mathcal F$ is well ordered, with order type $\varepsilon_0$.…

We analyze combinatorial optimization problems with ordinal, i.e., non-additive, objective functions that assign categories (like good, medium and bad) rather than cost coefficients to the elements of feasible solutions. We review different…

A natural consequence of the fractional calculus is its extension to a matrix order of differentiation and integration. A matrix-order derivative definition and a matrix-order integration arise from the generalization of the gamma function…

We study the collective dynamics of repulsive self-propelled particles. The particles are governed by coupled equations of motion that include polar self-propulsion, damping of velocity and of polarity, repulsive particle-particle…

Fluctuation-dominated phase ordering refers to a steady state in which the magnitude of long-range order varies strongly owing to fluctuations, and to the associated coarsening phenomena during the approach to steady state. Strong…

We prove a simple criterion for essential normality of composition operators on the Hardy space induced by maps in a reasonably large class of analytic self-maps of the unit disk. By combining this criterion with boundary…

In this paper the interpolating rational functions introduced by Floater and Hormann are generalized leading to a whole new family of rational functions depending on $\gamma$, an additional positive integer parameter. For $\gamma = 1$, the…

Fueled by the expressive power of deep neural networks, normalizing flows have achieved spectacular success in generative modeling, or learning to draw new samples from a distribution given a finite dataset of training samples. Normalizing…

It is proved recently by Benamara-Nikolski that a contraction having finite defects and spectrum not filling in the closed unit disc, is similar to a normal operator if and only if it has the so-called linear resolvent growth property. We…

Let $n=p_1^{\nu_1}... p_r^{\nu_r} >1$ be an integer. An integer $a$ is called regular (mod $n$) if there is an integer $x$ such that $a^2x\equiv a$ (mod $n$). Let $\varrho(n)$ denote the number of regular integers $a$ (mod $n$) such that…

We extend the classical theorem of Uchiyama about constructive Fefferman-Stein decompositions of ${\rm BMO}$ functions by systems of singular integrals to the rational Dunkl setting. On $\mathbb{R}^N$ equipped with a root system $R$ and a…

We examine the influence of quenched disorder on the flocking transition of dense polar active matter. We consider incompressible systems of active particles with aligning interactions under the effect of either quenched random forces or…

Walsh [MR4525964, Zbl 1569.03151] has shown that comparing proof-theoretic ordinals is equivalent to comparing $\Pi^1_1$-consequence comparison and $\Pi^1_1$-reflection comparison, all modulo true $\Sigma^1_1$-sentences. In this paper, we…

For a family of weight functions, $h_\kappa$, invariant under a finite reflection group on $\RR^d$, analysis related to the Dunkl transform is carried out for the weighted $L^p$ spaces. Making use of the generalized translation operator and…

In this paper, we investigate a rather general system of two operator equations that has the structure of a viscous or nonviscous Cahn--Hilliard system in which nonlinearities of double-well type occur. Standard cases like regular or…

In [GW09a] we conjectured that uniformity of degree $k-1$ is sufficient to control an average over a family of linear forms if and only if the $k$th powers of these linear forms are linearly independent. In this paper we prove this…

Recently, new classes of positive and measurable functions, $\mathcal{M}(\rho)$ and $\mathcal{M}(\pm \infty)$, have been defined in terms of their asymptotic behaviour at infinity, when normalized by a logarithm (Cadena et al., 2015, 2016,…

The objective of this paper is to study wandering subspaces for commuting tuples of bounded operators on Hilbert spaces. It is shown that, for a large class of analytic functional Hilbert spaces $\mathcal{H}_K$ on the unit ball in $\mathbb…