The Friedgut–Kalai–Naor (FKN) theorem states that if ƒ is a Boolean function on the Boolean cube which is close to degree one, then ƒ is close to a dictator, a function depending on a single coordinate. The author has extended the theorem to the slice, the subset of the Boolean cube consisting of all vectors with fixed Hamming weight. We extend the theorem further, to the multislice, a multicoloured version of the slice.

As an application, we prove a stability version of the edge-isoperimetric inequality for settings of parameters in which the optimal set is a dictator.

In this paper, we prove some reverse discrete inequalities with weights of Muckenhoupt and Gehring types and use them to prove some higher summability theorems on a higher weighted space $l_{w}^{p}({\open N})$ form summability on the weighted space $l_{w}^{q}({\open N})$ when p>q. The proofs are obtained by employing new discrete weighted Hardy's type inequalities and their converses for non-increasing sequences, which, for completeness, we prove in our special setting. To the best of the authors' knowledge, these higher summability results have not been considered before. Some numerical results will be given for illustration.

Let ρ be a monotone quasinorm defined on ${\rm {\frak M}}^ + $, the set of all non-negative measurable functions on [0, ∞). Let T be a monotone quasilinear operator on ${\rm {\frak M}}^ + $. We show that the following inequality restricted on the cone of λ-quasiconcave functions

$$\rho (Tf) \les C_1\left( {\int_0^\infty {f^p} v} \right)^{1/p},$$

$1\les p\les \infty $

$$\left( {\int_0^\infty {{\left( {\int_0^x f u} \right)}^q} w(x){\rm d}x} \right)^{1/q} \les C_1\left( {\int_0^\infty {f^p} v} \right)^{1/p},$$

The Laub–Ilani inequality [‘A subtle inequality’, Amer. Math. Monthly97 (1990), 65–67] states that $x^{x}+y^{y}\geqslant x^{y}+y^{x}$ for nonnegative real numbers $x,y$ . We introduce and prove new trigonometric and algebraic-trigonometric inequalities of Laub–Ilani type and propose some conjectural algebraic-trigonometric inequalities of similar forms.

Using the paths of steepest descent, we prove precise bounds with numerical implied constants for the modified Bessel function ${K}_{ir} (x)$ of imaginary order and its first two derivatives with respect to the order. We also prove precise asymptotic bounds on more general (mixed) derivatives without working out numerical implied constants. Moreover, we present an absolutely and rapidly convergent series for the computation of ${K}_{ir} (x)$ and its derivatives, as well as a formula based on Fourier interpolation for computing with many values of $r$ . Finally, we have implemented a subset of these features in a software library for fast and rigorous computation of ${K}_{ir} (x)$ .

The function [Γ(x + 1)]1/x(1 + 1/x)x/x is strictly logarithmically completely monotonic in (0, ∞). The function ψ″ (x + 2) + (1 + x2)/x2(1 + x)2 is strictly completely monotonic in (0, ∞).