Non-spectral problem for a class of planar self-affine measures

The self-affine measure μM,D corresponding to an expanding matrix M∈Mn(R) and a finite subset D⊂Rn is supported on the attractor (or invariant set) of the iterated function system {?d(x)=M⁻¹(x+d)}_d∈D. The spectral and non-spectral problems on μM,D, including the spectrum-tiling problem implied in them, have received much attention in recent years. One of the non-spectral problem on μM,D is to estimate the number of orthogonal exponentials in L²(μM,D) and to find them. In the present paper we show that if a,b,c∈Z, |a|>1, |c|>1 and ac∈Z?(3Z),

     

η-series and a Boolean Bercovici-Pata bijection for bounded k-tuples

Let Dc(k) be the space of (non-commutative) distributions of k-tuples of selfadjoint elements in a C^∗-probability space. On Dc(k) one has an operation ? of free additive convolution, and one can consider the subspace of distributions which are infinitely divisible with respect to this operation. The linearizing transform for ? is the R-transform (one has Rμ?ν=Rμ+Rν, ∀μ,ν∈Dc(k)). We prove that the set of R-transforms can also be described as {ημ|μ∈Dc(k)}, where for μ∈Dc(k) we denote ημ=Mμ/(1+Mμ), with Mμ the moment series of μ. (The series ημ is the counterpart of Rμ in the theory of Boolean convolution.) As a consequence, one can define a bijection via the formula

(I)     

Harmonic measures for a point may form a square

Let X be a Green domain in Rd, d?2, x∈X, and let Mx(P(X)) denote the compact convex set of all representing measures for x. Recently it has been proven that the set of harmonic measures , U open in X, x∈U, which is contained in the set of extreme points of Mx(P(X)), is dense in Mx(P(X)). In this paper, it is shown that Mx(P(X)) is not a simplex (and hence not a Poulsen simplex). This is achieved by constructing open neighborhoods U₀, U₁, U₂, U₃ of x such that the harmonic measures are pairwise different and . In fact, these measures form a square with respect to a natural L²-structure. Since the construction is mainly based on having certain symmetries, it can be carried out just as well for Riesz potentials, the Heisenberg group (or any stratified Lie algebra), and the heat equation (or more general parabolic situations).     

Orthogonal exponentials on the generalized three-dimensional Sierpinski gasket

The self-affine measure μM,D corresponding to the expanding integer matrix

     

Non-spectral self-affine measure problem on the plane domain

The self-affine measure μM,D corresponding to an expanding integer matrix

     

Strong subtournaments containing a given vertex in regular multipartite tournaments

If x is a vertex of a digraph D, then we denote by d⁺(x) and d⁻(x) the outdegree and the indegree of x, respectively. The global irregularity of a digraph D is defined by

     

Carleson embeddings for Sobolev spaces via heat equation

Let u(t,x) be the solution of the heat equation (∂_t-Δ_x)u(t,x)=0 on subject to u(0,x)=f(x) on Rⁿ. The main goal of this paper is to characterize such a nonnegative measure μ on that f(x)?u(t²,x) induces a bounded embedding from the Sobolev space , p∈[1,n) into the Lebesgue space , q∈(0,∞).     

Brown measures of sets of commuting operators in a type II1 factor

Using the spectral subspaces obtained in [U. Haagerup, H. Schultz, Invariant subspaces of operators in a general II₁-factor, preprint, 2005], Brown's results (cf. [L.G. Brown, Lidskii's theorem in the type II case, in: H. Araki, E. Effros (Eds.), Geometric Methods in Operator Algebras, Kyoto, 1983, in: Pitman Res. Notes Math. Ser., vol. 123, Longman Sci. Tech., 1986, pp. 1-35]) on the Brown measure of an operator in a type II₁ factor (M,τ) are generalized to finite sets of commuting operators in M. It is shown that whenever T₁,…,Tn∈M are mutually commuting operators, there exists one and only one compactly supported Borel probability measure μT₁,…,Tn on B(Cn) such that for all α₁,…,αn∈C,

     

The Mahler measure of parametrizable polynomials

Our aim is to explain instances in which the value of the logarithmic Mahler measure m(P) of a polynomial P∈Z[x,y] can be written in an unexpectedly neat manner. To this end we examine polynomials defining rational curves, which allows their zero-locus to be parametrized via x=f(t), y=g(t) for f,g∈C(t). As an illustration of this phenomenon, we prove the equality

     

A new proof of Poltoratskii's theorem

We provide a new simple proof to the celebrated theorem of Poltoratskii concerning ratios of Borel transforms of measures. That is, we show that for any complex Borel measure μ on and any a.e. w.r.t. μ_sing, where μ_sing is the part of μ which is singular with respect to Lebesgue measure and F denotes a Borel transform, namely, and F_μ(z)=∫(x−z)⁻¹dμ(x).     

Multi-dimensional explosion due to a concentrated nonlinear source

Let D be a bounded n-dimensional domain, ∂D be its boundary, be its closure, T be a positive real number, B be an n-dimensional ball {x∈D:|x−b|<R} centered at b∈D with a radius R, be its closure, ∂B be its boundary, ν denote the unit inward normal at x∈∂B, and χ_B(x) be the characteristic function. This article studies the following multi-dimensional parabolic first initial-boundary value problem with a concentrated nonlinear source occupying :

     

On pairs of commuting derivations of the polynomial ring in one or two variables

It is well known that each pair of commuting linear operators on a finite dimensional vector space over an algebraically closed field has a common eigenvector. We prove an analogous statement for derivations of k[x] and k[x,y] over any field k of zero characteristic. In particular, if D₁ and D₂ are commuting derivations of k[x,y] and they are linearly independent over k, then either (i) they have a common polynomial eigenfunction; i.e., a nonconstant polynomial f∈k[x,y] such that D₁(f)=λf and D₂(f)=μf for some λ,μ∈k[x,y], or (ii) they are Jacobian derivations

     

Strong continuity of generalized Feynman-Kac semigroups: Necessary and sufficient conditions

Let (E,D(E)) be a strongly local, quasi-regular symmetric Dirichlet form on L²(E;m) and ((Xt)_t?0,(Px)_x∈E) the diffusion process associated with (E,D(E)). For u∈De(E), u has a quasi-continuous version and has Fukushima's decomposition: , where is the martingale part and is the zero energy part. In this paper, we study the strong continuity of the generalized Feynman-Kac semigroup defined by , t?0. Two necessary and sufficient conditions for to be strongly continuous are obtained by considering the quadratic form (Qu,Db(E)), where Qu(f,f):=E(f,f)+E(u,f²) for f∈Db(E), and the energy measure μ〈u〉 of u, respectively. An example is also given to show that is strongly continuous when μ〈u〉 is not a measure of the Kato class but of the Hardy class with the constant (cf. Definition 4.5).     

Beta-expansion and continued fraction expansion

For any real number β>1, let ε(1,β)=(ε₁(1),ε₂(1),…,εn(1),…) be the infinite β-expansion of 1. Define . Let x∈[0,1) be an irrational number. We denote by kn(x) the exact number of partial quotients in the continued fraction expansion of x given by the first n digits in the β-expansion of x. If is bounded, we obtain that for all x∈[0,1)?Q,

     

A bilinear version of Orlicz-Pettis theorem

Given three Banach spaces X, Y and Z and a bounded bilinear map , a sequence x=n(xn)⊆X is called B-absolutely summable if is finite for any y∈Y. Connections of this space with are presented. A sequence x=n(xn)⊆X is called B-unconditionally summable if is finite for any y∈Y and z^∗∈Z^∗ and for any M⊆N there exists xM∈X for which _∑n∈M〈B(xn,y),z^∗〉=〈B(xM,y),z^∗〉 for all y∈Y and z^∗∈Z^∗. A bilinear version of Orlicz-Pettis theorem is given in this setting and some applications are presented.     

Fixed points of asymptotic contractions

Let be a contractive gauge function in the sense that φ is continuous, φ(s)<s for s>0, and if f:M→M satisfies d(f(x),f(y))?φ(d(x,y)) for all x,y in a complete metric space (M,d), then f always has a unique fixed point. It is proved that if T:M→M satisfies

     

Accretive operators and Cassels inequality

Let a,b>0 and let Z∈M_n(R) such that Z lies into the operator ball of diameter [aI,bI]. Then for all positive definite A∈M_n(R),

     

Realization of prescribed patterns in the competition model

We demonstrate that for any prescribed set of finitely many disjoint closed subdomains D₁,…,D_m of a given spatial domain Ω in R^N, if d₁,d₂,a₁,a₂,c,d,e are positive continuous functions on Ω and b(x) is identically zero on D?D₁∪?∪D_m and positive in the rest of Ω, then for suitable choices of the parameters λ, μ and all small ε>0, the competition model