On the sum of the L1 influences of bounded functions

Let f: {-1, 1}ⁿ → [-1, 1] have degree d as a multilinear polynomial. It is well-known that the total influence of f is at most d. Aaronson and Ambainis asked whether the total L₁ influence of f can also be bounded as a function of d. Ba?kurs and Bavarian answered this question in the affirmative, providing a bound of O(d³) for general functions and O(d²) for homogeneous functions. We improve on their results by providing a bound of d² for general functions and O(d log d) for homogeneous functions. In addition, we prove a bound of d/(2p) + o(d) for monotone functions, and provide a matching example.     

Higher cohomology of parabolic actions on certain homogeneous spaces

We show that for a parabolic R ^d -action on PSL(2,R) ^d /Γ, the cohomologies in degrees 1 through d ? 1 trivialize, and we give the obstructions to solving the degree-d coboundary equation, along with bounds on Sobolev norms of primitives. In previous papers, we have established these results for certain Anosov systems. This work extends the methods of those papers to systems that are not Anosov. The main new idea is defining special elements of representation spaces that allow us to modify the arguments from the previous papers. We discuss how to generalize this strategy to R ^d -systems coming from a product of Lie groups, as in the systems analyzed here.     

Optimal configurations of lines and a statistical application

Motivated by the construction of confidence intervals in statistics, we study optimal configurations of 2 ^d ? 1 lines in real projective space ?? ^d?1. For small d, we determine line sets that numerically minimize a wide variety of potential functions among all configurations of 2 ^d ? 1 lines through the origin. Numerical experiments verify that our findings enable to assess efficiently the tightness of a bound arising from the statistical literature.     

Kirchberger-type theorems for separation by convex domains

We say that a convex set K in ? ^d strictly separates the set A from the set B if A ? int(K) and B ? cl K = ø. The well-known Theorem of Kirchberger states the following. If A and B are finite sets in ? ^d with the property that for every T ? A?B of cardinality at most d + 2, there is a half space strictly separating T ? A and T ? B, then there is a half space strictly separating A and B. In short, we say that the strict separation number of the family of half spaces in ? ^d is d + 2.In this note we investigate the problem of strict separation of two finite sets by the family of positive homothetic (resp., similar) copies of a closed, convex set. We prove Kirchberger-type theorems for the family of positive homothets of planar convex sets and for the family of homothets of certain polyhedral sets. Moreover, we provide examples that show that, for certain convex sets, the family of positive homothets (resp., the family of similar copies) has a large strict separation number, in some cases, infinity. Finally, we examine how our results translate to the setting of non-strict separation.     

Homoclinic points and isomorphism rigidity of algebraic ℤ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>-actions on zero-dimensional compact abelian groups

Letd>1, and letα andβ be mixing ? ^d -actions by automorphisms of zero-dimensional compact abelian groupsX andY, respectively. By analyzing the homoclinic groups of certain sub-actions ofα andβ we prove that, if the restriction ofα to some subgroup Γ ? ? ^d of infinite index is expansive and has completely positive entropy, then every measurable factor mapφ: (X, α)→(Y, β) is almost everywhere equal to an affine map. The hypotheses of this result are automatically satisfied if the actionα contains an expansive automorphismα ⁿ ,n ∈ ? ^d , or ifα arises from a nonzero prime ideal in the ring of Laurent polynomials ind variables with coefficients in a finite prime field. Both these corollaries generalize the main theorem in [9]. In several examples we show that this kind of isomorphism rigidity breaks down if our hypotheses are weakened.     

On the Hausdorff Dimension of Continuous Functions Belonging to Hölder and Besov Spaces on Fractal <Emphasis Type="Italic">d</Emphasis>-Sets

The Hausdorff dimension of the graphs of the functions in Hölder and Besov spaces (in this case with integrability p≥1) on fractal d-sets is studied. Denoting by s∈(0,1] the smoothness parameter, the sharp upper bound min{d+1?s,d/s} is obtained. In particular, when passing from d≥s to d<s there is a change of behaviour from d+1?s to d/s which implies that even highly nonsmooth functions defined on cubes in ? ⁿ have not so rough graphs when restricted to, say, rarefied fractals.     

BMO and exponential Orlicz space estimates of the discrepancy function in arbitrary dimension

In the current paper, we obtain discrepancy estimates in exponential Orlicz and BMO spaces in arbitrary dimension d ≥ 3. In particular, we use dyadic harmonic analysis to prove that the dyadic product BMO and exp(L^2/(d?1)) norms of the discrepancy function of so-called digital nets of order two are bounded above by (logN)^(d?1)/2. The latter bound has been recently conjectured in several papers and is consistent with the best known low-discrepancy constructions. Such estimates play an important role as an intermediate step between the well-understood L_p bounds and the notorious open problem of finding the precise L_∞ asymptotics of the discrepancy function in higher dimensions, which is still elusive.     

On sets of directions determined by subsets of ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Given E ? ? ^d , d ≥ 2, define

$D(E) \equiv \left\{ {{{x - y} \over {\left| {x - y} \right|}}:x,y \in E} \right\} \subset {S^{d - 1}}$

to be the set of directions determined by E. We prove that if the Hausdorff dimension of E is greater than d ? 1, then σ(D(E)) > 0, where σ denotes the surface measure on S ^d?1. In the process, we prove some tight upper and lower bounds for the maximal function associated with the Radon-Nikodym derivative of the natural measure on D. This result is sharp, since the conclusion fails to hold if E is a (d ? 1)-dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir ([22, 23]) on directions determined by finite subsets of ? ^d . We also discuss the case when the Hausdorff dimension of E is precisely d ? 1, where some interesting counter-examples have been obtained by Simon and Solomyak ([25]) in the planar case. In response to the conjecture stated in this paper, T. Orponen and T. Sahlsten ([20]) have recently proved that if the Hausdorff dimension of E equals d ? 1 and E is rectifiable and is not contained in a hyper-pane, the Lebesgue measure of the set of directions is still positive. Finally, we show that our continuous results can be used to recover and, in some cases, improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set P ? ? ^d , d ≥ 3, satisfying a certain discrete energy condition (Definition 3.1) determines ? #P distinct directions.

     

Classes of uniform convergence of spectral expansions for the one-dimensional Schrödinger operator with a distribution potential

For the self-adjoint Schrödinger operator ? defined on ? by the differential operation ?(d/dx)² + q(x) with a distribution potential q(x) uniformly locally belonging to the space W ₂ ^?1, we describe classes of functions whose spectral expansions corresponding to the operator ? absolutely and uniformly converge on the entire line ?. We characterize the sharp convergence rate of the spectral expansion of a function using a two-sided estimate obtained in the paper for its generalized Fourier transforms.     

Riesz transform characterization of Hardy spaces associated with Schrödinger operators with compactly supported potentials

Let L=?Δ+V be a Schrödinger operator on ? ^d , d≥3. We assume that V is a nonnegative, compactly supported potential that belongs to L ^p (? ^d ), for some p>d /2. Let K _t be the semigroup generated by ?L. We say that an L ¹(? ^d )-function f belongs to the Hardy space \(H^{1}_{L}\) associated with L if sup?_t>0|K _t f| belongs to L ¹(? ^d ). We prove that \(f\in H^{1}_{L}\) if and only if R _j f∈L ¹(? ^d ) for j=1,…,d, where R _j =(?/? x _j )L ^?1/2 are the Riesz transforms associated with L.     

Bent functions with stronger nonlinear properties: K-bent functions

We introduce the notion of k-bent function, i.e., a Boolean functionwith evennumber m of variables υ ₁, …, υ _m which can be approximated with all functions of the form 〈u, v〉 _j ⊕ a in the equally poor manner, where u ∈ ? ₂ ^m , a ∈ ?₂, and 1 ? j ? k. Here 〈·, ·〉 _j is an analog of the inner product of vectors; k changes from 1 to m/2. The operations 〈·, ·〉 _k , 1 ? k ? m/2, are defined by using the special series of binary Hadamard-like codes A _m ^k of length 2 ^m . Namely, the vectors of values for the functions 〈u, v〉 _k ⊕ a are codewords of the code A _m ^k . The codes A _m ^k are constructed using subcodes of the ?₄-linear Hadamard-like codes of length 2 ^m+1, which were classified by D. S. Krotov (2001). At that the code A _m ¹ is linear and A _m ¹ , …, A _m ^m/2 are pairwise nonequivalent. On the codewords of a code A _m ^k , we define a group operation ? coordinated with the Hamming metric. That is why we can consider k-bent functions as functions that are maximal nonlinear in k distinct senses of linearity at the same time. Bent functions in usual sense coincide with 1-bent functions. For k > ? ? 1, the class of k-bent functions is a proper subclass of the class of ?-bent functions. In the paper, we give methods for constructing k-bent functions and study their properties. It is shown that there exist k-bent functions with an arbitrary algebraic degree d, where 2 ? d ? max {2, m/2 ? k + 1}. Given an arbitrary k, we define the subset \(\mathfrak{F}_m^k \mathcal{F}_m^k \) of the set \(\mathfrak{F}_m^k \mathcal{F}_m^k \) \(\mathcal{A}_m^k \mathcal{B}_m^k \) of all Boolean functions in m variables with the following property: on this subset k-bent functions and 1-bent functions coincide.     

Stochastic Hamiltonian flows with singular coefficients

In this paper, we study the following stochastic Hamiltonian system in ?^2d (a second order stochastic differential equation):

$$d{\dot X_t} = b({X_t},{\dot X_t})dt + \sigma ({X_t},{\dot X_t})d{W_t},({X_0},{\dot X_0}) = (x,v) \in \mathbb{R}^{2d},$$

where b(x; v) : ?^2d → ?^d and σ(x; v): ?^2d → ?^d ? ?^d are two Borel measurable functions. We show that if σ is bounded and uniformly non-degenerate, and b ∈ H _p ^2/3,0 and ?σ ∈ L^p for some p > 2(2d+1), where H _p ^{α, β} is the Bessel potential space with differentiability indices α in x and β in v, then the above stochastic equation admits a unique strong solution so that (x, v) ? Z_t(x, v) := (X_t, ?_t)(x, v) forms a stochastic homeomorphism flow, and (x, v) ? Z_t(x, v) is weakly differentiable with ess.sup_{x, v} E(sup_{t∈[0, T]} |?Z_t(x, v)|^q) < ∞ for all q ? 1 and T ? 0. Moreover, we also show the uniqueness of probability measure-valued solutions for kinetic Fokker-Planck equations with rough coefficients by showing the well-posedness of the associated martingale problem and using the superposition principle established by Figalli (2008) and Trevisan (2016).

     

A discrete version of Koldobsky’s slicing inequality

Let #K be a number of integer lattice points contained in a set K. In this paper we prove that for each d ∈ N there exists a constant C(d) depending on d only, such that for any origin-symmetric convex body K ? R ^d containing d linearly independent lattice points

$$\# K \leqslant C\left( d \right)\max \left( {\# \left( {K \cap H} \right)} \right)vo{l_d}{\left( K \right)^{\frac{{d - m}}{d}}},$$

where the maximum is taken over all m-dimensional subspaces of R ^d . We also prove that C(d) can be chosen asymptotically of order O(1) ^d d ^d?m . In particular, we have order O(1) ^d for hyperplane slices. Additionally, we show that if K is an unconditional convex body then C(d) can be chosen asymptotically of order O(d) ^d?m .

     

On homogenization for non-self-adjoint locally periodic elliptic operators

In this note we consider the homogenization problem for a matrix locally periodic elliptic operator on R ^d of the form A ^ε = ?divA(x, x/ε)?. The function A is assumed to be Hölder continuous with exponent s ∈ [0, 1] in the “slow” variable and bounded in the “fast” variable. We construct approximations for (A ^ε ? μ)^?1, including one with a corrector, and for (?Δ) ^s/2(A ^ε ? μ)^?1 in the operator norm on L ₂(R ^d ) ⁿ . For s ≠ 0, we also give estimates of the rates of approximation.     

Optimal Bounds on the Modulus of Continuity of the Uncentered Hardy–Littlewood Maximal Function

We obtain sharp bounds for the modulus of continuity of the uncentered maximal function in terms of the modulus of continuity of the given function, via integral formulas. Some of the results deduced from these formulas are the following: The best constants for Lipschitz and Hölder functions on proper subintervals of ? are Lip? _α (Mf)≤(1+α)^?1Lip? _α (f), α∈(0,1]. On ?, the best bound for Lipschitz functions is \(\operatorname{Lip} ( Mf) \le (\sqrt{2} -1)\operatorname{Lip}( f)\). In higher dimensions, we determine the asymptotic behavior, as d→∞, of the norm of the maximal operator associated with cross-polytopes, Euclidean balls, and cubes, that is, ? _p balls for p=1,2,∞. We do this for arbitrary moduli of continuity. In the specific case of Lipschitz and Hölder functions, the operator norm of the maximal operator is uniformly bounded by 2^?α/q , where q is the conjugate exponent of p=1,2, and as d→∞ the norms approach this bound. When p=∞, best constants are the same as when p=1.     

Resolution of veronese embedding of plane curves

Let C be a smooth (irreducible) curve of degree d in ?². Let ?² ? ?⁵ be the Veronese embedding and let I _C denote the homogeneous ideal of C on ?⁵. In this note we explicitly write down the minimal free resolution of I _C for d ≥ 2.     

Bounds for the number of points on curves over finite fields

Let U be a bounded open subset of ?^d, d ≥ 2 and f ∈ C(?U). The Dirichlet solution f^CU of the Dirichlet problem associated with the Laplace equation with a boundary condition f is not continuous on the closure ū of U in general if U is not regular but it is always Baire-one.Let H(U) be the space of all functions continuous on the closure ū and harmonic on U and F(H(U)) be the space of uniformly bounded absolutely convergent series of functions in H(U). We prove that f^CU can be obtained as a uniform limit of a sequence of functions in F(H(U)). Thus f^CU belongs to the subclass B_1/2 of Baire-one functions studied for example in [8]. This is not only an improvement of the result obtained in [10] but it also shows that the Dirichlet solution on the closure ū can share better properties than to be only a Baire-one function. Moreover, our proof is more elementary than that in [10].A generalization to the abstract context of simplicial function space on a metrizable compact space is provided.We conclude the paper with a brief discussion on the solvability of the abstract Dirichlet problem with a boundary condition belonging to the space of differences of bounded semicontinuous functions complementing the results obtained in [17].     

Distance domination of generalized de Bruijn and Kautz digraphs

Let G = (V,A) be a digraph and k ≥ 1 an integer. For u, v ∈ V, we say that the vertex u distance k-dominate v if the distance from u to v at most k. A set D of vertices in G is a distance k-dominating set if each vertex of V D is distance k-dominated by some vertex of D. The distance k-domination number of G, denoted by γ _k (G), is the minimum cardinality of a distance k-dominating set of G. Generalized de Bruijn digraphs G _B (n, d) and generalized Kautz digraphs G _K (n, d) are good candidates for interconnection networks. Denote Δ _k := (∑ _j=0 ^k d ^j )^?1. F. Tian and J. Xu showed that ?nΔ _k ? γ _k (G _B (n, d)) ≤?n/d ^k? and ?nΔ _k ? ≤ γ _k (G _K (n, d)) ≤ ?n/d ^k ?. In this paper, we prove that every generalized de Bruijn digraph G _B (n, d) has the distance k-domination number ?nΔ _k ? or ?nΔ _k ?+1, and the distance k-domination number of every generalized Kautz digraph G _K (n, d) bounded above by ?n/(d ^k?1+d ^k )?. Additionally, we present various sufficient conditions for γ _k (G _B (n, d)) = ?nΔ _k ? and γ _k (G _K (n, d)) = ?nΔ _k ?.     

Martin Kernels for Markov Processes with Jumps

We prove the existence of boundary limits of ratios of positive harmonic functions for a wide class of Markov processes with jumps and irregular (possibly disconnected) domains of harmonicity, in the context of general metric measure spaces. As a corollary, we prove the uniqueness of the Martin kernel at each boundary point, that is, we identify the Martin boundary with the topological boundary. We also prove a Martin representation theorem for harmonic functions. Examples covered by our results include: strictly stable Lévy processes in R ^d with positive continuous density of the Lévy measure; stable-like processes in R ^d and in domains; and stable-like subordinate diffusions in metric measure spaces.     

Spectral properties of the complex airy operator on the half-line

We prove a theorem on the completeness of the system of root functions of the Schrödinger operator L = ?d ²/dx ² + p(x) on the half-line R₊ with a potential p for which L appears to be maximal sectorial. An application of this theorem to the complex Airy operator L _c = ?d ²/dx ² + cx, c = const, implies the completeness of the system of eigenfunctions of L _c for the case in which |arg c| < 2π/3.We use subtler methods to prove a theorem stating that the system of eigenfunctions of this special operator remains complete under the condition that |arg c| < 5π/6.