Let M ∈ Mₙ(ℤ) be expanding such that |det(M)| = p is a prime and pℤⁿ ⊈ M²(ℤⁿ). Let D ⊂ ℤⁿ be a finite set with |D| = |det(M)|. Suppose the attractor T(M,D) of the iterated function system ${{\varphi }_d\left(x\right)=M^{-1}(x+d)}_{d\in D}$ has positive Lebesgue measure. We prove that (i) if D ⊈ M(ℤⁿ), then D is a complete set of coset representatives of ℤⁿ/M(ℤⁿ); (ii) if D ⊆ M(ℤⁿ), then there exists a positive integer γ such that $D=M^{\gamma }D₀$, where D₀ is a complete set of coset representatives of ℤⁿ/M(ℤⁿ). This improves the corresponding results...

Let A be a d × d integral expanding matrix and let $S_j\left(x\right)=A^{-1}(x+d_j)$ for some $d_j\in {\mathbb{Z}}^d$, j = 1,...,m. The iterated function system (IFS) ${S_j}_{j=1}^m$ generates self-affine measures and scale functions. In general this IFS has overlaps, and it is well known that in many special cases the analysis of such measures or functions is facilitated by expressing them in vector-valued forms with respect to another IFS that satisfies the open set condition. In this paper we prove a general theorem on such representation. The proof...

We reduce the problem of describing all $ℳf_m$-natural operators  transforming general affine connections on $m$-manifolds into general affine ones to the known description of all $GL\left({𝐑}^m\right)$-invariant maps ${𝐑}^{m*}\otimes {𝐑}^m\to {\otimes }^k{𝐑}^{m*}\otimes {\otimes }^k{𝐑}^m$ for $k=1,3$.

Let M be a d × d real contracting matrix. We consider the self-affine iterated function system Mv-u, Mv+u, where u is a cyclic vector. Our main result is as follows: if $\left|detM\right|\ge 2^{-1/d}$, then the attractor $A_M$ has non-empty interior. We also consider the set ${}_M$ of points in $A_M$ which have a unique address. We show that unless M belongs to a very special (non-generic) class, the Hausdorff dimension of ${}_M$ is positive. For this special class the full description of ${}_M$ is given as well. This paper continues our...

A subset E of ℝⁿ is called self-affine with respect to a collection ϕ₁,...,ϕₜ of affinities if E is the union of the sets ϕ₁(E),...,ϕₜ(E). For S ⊂ ℝⁿ let $\Phi \left(S\right)={\bigcup }_{1\le j\le t}{\varphi }_j\left(S\right)$. If Φ(S) ⊂ S let $E_{\Phi }\left(S\right)$ denote ${\bigcap }_{k\ge 0}{\Phi }^k\left(S\right)$. For given Φ consisting of contracting “pseudo-dilations” (affinities which preserve the directions of the coordinate axes) and subject to further mild technical restrictions we show that there exist self-affine sets $E_{\Phi }\left(S\right)$ of each Hausdorff dimension between zero and a positive number depending on Φ. We also...

Let $X_i$, i∈ I, and $Y_j$, j∈ J, be compact convex sets whose sets of extreme points are affinely independent and let φ be an affine homeomorphism of ${\prod }_{i\in I}{X}_i$ onto ${\prod }_{j\in J}{Y}_j$. We show that there exists a bijection b: I → J such that φ is the product of affine homeomorphisms of $X_i$ onto $Y_{b\left(i\right)}$, i∈ I.

A measure is called $L^p$-improving if it acts by convolution as a bounded operator from $L^q$ to L² for some q < 2. Interesting examples include Riesz product measures, Cantor measures and certain measures on curves. We show that equicontractive, self-similar measures are $L^p$-improving if and only if they satisfy a suitable linear independence property. Certain self-affine measures are also seen to be $L^p$-improving.

A ring extension $R\subseteq S$ is said to be strongly affine if each $R$-subalgebra of $S$ is a finite-type $R$-algebra. In this paper, several characterizations of strongly affine extensions are given. For instance, we establish that if $R$ is a quasi-local ring of finite dimension, then $R\subseteq S$ is integrally closed and strongly affine if and only if $R\subseteq S$ is a Prüfer extension (i.e. $(R,S)$ is a normal pair). As a consequence, the equivalence of strongly affine extensions, quasi-Prüfer extensions and INC-pairs is shown....

Let d be a positive integer and μ a generalized Cantor measure satisfying $\mu ={\sum }_{j=1}^m{a}_j\mu \circ S_j^{-1}$, where $0<a_j<1$, ${\sum }_{j=1}^m{a}_j=1$, $S_j=\rho R+b_j$ with 0 < ρ < 1 and R an orthogonal transformation of ${ℝ}^d$. Then ⎧1 < p ≤ 2 ⇒ ⎨$su{p}_{r>0}{r}^{d(1/{\alpha }^{\text{'}}-1/p^{\text{'}})}({\int }_{J_x^r}{\left|\mu ̂\left(y\right)\right|}^{p^{\text{'}}}{dy)}^{1/p^{\text{'}}}\le D₁{\rho }^{-d/{\alpha }^{\text{'}}}$, $x\in {ℝ}^d$, ⎩ p = 2 ⇒ infr≥1 rd(1/α’-1/2) (∫J₀r|μ̂(y)|² dy)1/2 ≥ D₂ρd/α’$,$where $J_x^r={\prod }_{i=1}^d(x_i-r/2,x_i+r/2)$, α’ is defined by ${\rho }^{d/{\alpha }^{\text{'}}}={\left({\sum }_{j=1}^m{a}_j^p\right)}^{1/p}$ and the constants D₁ and D₂ depend only on d and p.

We determine the duals of the homogeneous matrix-weighted Besov spaces ${Ḃ}_p^{\alpha q}\left(W\right)$ and ${ḃ}_p^{\alpha q}\left(W\right)$ which were previously defined in [5]. If W is a matrix $A_p$ weight, then the dual of ${Ḃ}_p^{\alpha q}\left(W\right)$ can be identified with ${Ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(W^{-p^{\text{'}}/p}\right)$ and, similarly, $\left[{ḃ}_p^{\alpha q}\left(W\right)\right]*\approx {ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(W^{-p^{\text{'}}/p}\right)$. Moreover, for certain W which may not be in the $A_p$ class, the duals of ${Ḃ}_p^{\alpha q}\left(W\right)$ and ${ḃ}_p^{\alpha q}\left(W\right)$ are determined and expressed in terms of the Besov spaces ${Ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(A_Q^{-1}\right)$ and ${ḃ}_{p^{\text{'}}}^{-\alpha q^{\text{'}}}\left(A_Q^{-1}\right)$, which we define in terms of reducing operators ${A_Q}_Q$ associated with W. We also develop the basic theory of these reducing operator Besov spaces....

Let $S_i:{ℝ}^d\to {ℝ}^d$ for i = 1,..., N be contracting similarities, let $(p₁,...,p_N,p)$ be a probability vector and let ν be a probability measure on ${ℝ}^d$ with compact support. It is well known that there exists a unique inhomogeneous self-similar probability measure μ on ${ℝ}^d$ such that $\mu ={\sum }_{i=1}^N{p}_i\mu \circ S_i^{-1}+p\nu$. We give satisfactory estimates for the lower and upper bounds of the $L^q$ spectra of inhomogeneous self-similar measures. The case in which there are a countable number of contracting similarities and probabilities is considered. In particular,...

We study the minimal prime elements of multiplication lattice module $M$ over a $C$-lattice $L$. Moreover, we topologize the spectrum $\pi \left(M\right)$ of minimal prime elements of $M$ and study several properties of it. The compactness of $\pi \left(M\right)$ is characterized in several ways. Also, we investigate the interplay between the topological properties of $\pi \left(M\right)$ and algebraic properties of $M$.

Let $K_{s,t}$ be the complete bipartite graph with partite sets $\{x_1,...,x_s\}$ and $\{y_1,...,y_t\}$. A split bipartite-graph on $(s+s^{\text{'}})+(t+t^{\text{'}})$ vertices, denoted by ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$, is the graph obtained from $K_{s,t}$ by adding $s^{\text{'}}+t^{\text{'}}$ new vertices $x_{s+1},...,x_{s+s^{\text{'}}}$, $y_{t+1},...,y_{t+t^{\text{'}}}$ such that each of $x_{s+1},...,x_{s+s^{\text{'}}}$ is adjacent to each of $y_1,...,y_t$ and each of $y_{t+1},...,y_{t+t^{\text{'}}}$ is adjacent to each of $x_1,...,x_s$. Let $A$ and $B$ be nonincreasing lists of nonnegative integers, having lengths $m$ and $n$, respectively. The pair $(A;B)$ is potentially ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$-bigraphic if there is a simple bipartite graph containing ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$ (with $s+s^{\text{'}}$ vertices $x_1,...,x_{s+s^{\text{'}}}$ in the part of size $m$...

Given an integral scheme $X$ over a non-archimedean valued field $k$, we construct a universal closed embedding of $X$ into a $k$-scheme equipped with a model over the field with one element ${𝔽}_1$ (a generalization of a toric variety). An embedding into such an ambient space determines a tropicalization of $X$ by previous work of the authors, and we show that the set-theoretic tropicalization of $X$ with respect to this universal embedding is the Berkovich analytification $X^{\mathrm{an}}$. Moreover, using the scheme-theoretic...

Let $r(G_1,G_2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. For $n_1\ge n_2\ge 1$ let $S(n_1,n_2)$ be the double star given by $V\left(S(n_1,n_2)\right)=\{v_0,v_1,...,v_{n_1},w_0$, $w_1,...,w_{n_2}\}$ and $E\left(S(n_1,n_2)\right)=\{v_0{v}_1,...,v_0{v}_{n_1},v_0{w}_0,w_0{w}_1,...,w_0{w}_{n_2}\}$. We determine $r(K_{1,m-1},$ $S(n_1,n_2))$ under certain conditions. For $n\ge 6$ let $T_n^3=S(n-5,3)$, $T_n^{\text{'}\text{'}}=(V,E_2)$ and $T_n^{\text{'}\text{'}\text{'}}=(V,E_3)$, where $V=\{v_0,v_1,...,v_{n-1}\}$, $E_2=\{v_0{v}_1,...,v_0{v}_{n-4},v_1{v}_{n-3}$, $v_1{v}_{n-2},v_2{v}_{n-1}\}$ and $E_3=\{v_0{v}_1,...,v_0{v}_{n-4},v_1{v}_{n-3},$ $v_2{v}_{n-2},v_3{v}_{n-1}\}$. We also obtain explicit formulas for $r(K_{1,m-1},T_n)$, $r(T_m^{\text{'}},T_n)$ $(n\ge m+3)$, $r(T_n,T_n)$, $r(T_n^{\text{'}},T_n)$ and $r(P_n,T_n)$, where $T_n\in \{T_n^{\text{'}\text{'}},T_n^{\text{'}\text{'}\text{'}},T_n^3\}$, $P_n$ is the path on $n$ vertices and $T_n^{\text{'}}$ is the unique tree with $n$ vertices and maximal degree $n-2$.

Let $G:=\mathrm{SO}{(n,1)}^{\circ }$ and $\Gamma (n-1)/2$ for $n=2,3$ and when $\delta >n-2$ for $n\ge 4$, we obtain an effective archimedean counting result for a discrete orbit of $\Gamma$ in a homogeneous space $H\setminus G$ where $H$ is the trivial group, a symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family $\{{ℬ}_T\subset H\setminus G\}$ of compact subsets, there exists $\eta >0$ such that $\#\left[e\right]\Gamma \cap {ℬ}_T=ℳ\left({ℬ}_T\right)+O\left(ℳ{\left({ℬ}_T\right)}^{1-\eta }\right)$ for an explicit measure $ℳ$ on $H\setminus G$ which depends on $\Gamma$. We also apply the affine sieve and describe the distribution of almost primes on orbits of $\Gamma$ in arithmetic...

The aim of this paper is to extend the framework of the spectral method for proving property (T) to the class of reflexive Banach spaces and present a condition implying that every affine isometric action of a given group $G$ on a reflexive Banach space $X$ has a fixed point. This last property is a strong version of Kazhdan’s property (T) and is equivalent to the fact that $H^1(G,\pi )=0$ for every isometric representation $\pi$ of $G$ on $X$. The condition is expressed in terms of $p$-Poincaré constants and we...

We relate centroaffine immersions $f:Mⁿ\to {ℝ}^{n+1}$ to horizontal immersions g of Mⁿ into $S_{n+1}^{2n+1}\left(1\right)$ or $H_n^{2n+1}(-1)$. We also show that f is an equiaffine sphere, i.e. the centroaffine normal is a constant multiple of the Blaschke normal, if and only if g is minimal.

Associated to an Hadamard matrix $H\in M_N\left(ℂ\right)$ is the spectral measure μ ∈ [0,N] of the corresponding Hopf image algebra, A = C(G) with $G\subset S{⁺}_N$. We study a certain family of discrete measures ${\mu }^r\in [0,N]$, coming from the idempotent state theory of G, which converge in Cesàro limit to μ. Our main result is a duality formula of type ${\int }_0^N{(x/N)}^{p}d{\mu }^r\left(x\right)={\int }_0^N{(x/N)}^{r}d{\nu }^p\left(x\right)$, where ${\mu }^r,{\nu }^r$ are the truncations of the spectral measures μ,ν associated to $H,H^t$. We also prove, using these truncations ${\mu }^r,{\nu }^r$, that for any deformed Fourier matrix $H=F_M{\otimes }_Q{F}_N$ we have μ = ν.

We study here several finiteness problems concerning affine Nash manifolds $M$ and Nash subsets $X$. Three main results are: (i) A Nash function on a semialgebraic subset $Z$ of $M$ has a Nash extension to an open semialgebraic neighborhood of $Z$ in $M$, (ii) A Nash set $X$ that has only normal crossings in $M$ can be covered by finitely many open semialgebraic sets $U$ equipped with Nash diffeomorphisms $(u_1,\cdots ,u_m):U\to {ℝ}^m$ such that $U\cap X=\{u_1\cdots u_r=0\}$, (iii) Every affine Nash manifold with corners $N$ is a closed subset of an affine Nash...

In this paper, we study a model for the magnetization in thin ferromagnetic films. It comes as a variational problem for $S^1$-valued maps $m^{\text{'}}$ (the magnetization) of two variables $x^{\text{'}}$: $E_{\epsilon }\left(m^{\text{'}}\right)=\epsilon \int {|{\nabla }^{\text{'}}·m^{\text{'}}|}^{2}d{x}^{\text{'}}+\frac{1}{2}\int {\left||{\nabla }^{\text{'}}{|}^{-1/2}{\nabla }^{\text{'}}·m^{\text{'}}\right|}^{2}d{x}^{\text{'}}$. We are interested in the behavior of minimizers as $\epsilon \to 0$. They are expected to be $S^1$-valued maps $m^{\text{'}}$ of vanishing distributional divergence ${\nabla }^{\text{'}}·m^{\text{'}}=0$, so that appropriate boundary conditions enforce line discontinuities. For finite $\epsilon >0$, these line discontinuities are approximated by smooth transition layers, the so-called Néel...

Let $f,g:U\to {𝔸}^1$ be two regular functions from the smooth affine complex variety $U$ to the affine line. The associated exponential Gauß-Manin systems on the affine line are defined to be the cohomology sheaves of the direct image of the exponential differential system ${𝒪}_U{e}^g$ with respect to $f$. We prove that its holomorphic solutions admit representations in terms of period integrals over topological chains with possibly closed support and with rapid decay condition.

Let $S$ be a fixed symmetric finite subset of $S{L}_d\left({𝒪}_K\right)$ that generates a Zariski dense subgroup of $S{L}_d\left({𝒪}_K\right)$ when we consider it as an algebraic group over $mathbbQ$ by restriction of scalars. We prove that the Cayley graphs of $S{L}_d({𝒪}_K/I)$ with respect to the projections of $S$ is an expander family if $I$ ranges over square-free ideals of ${𝒪}_K$ if $d=2$ and $K$ is an arbitrary numberfield, or if $d=3$ and $K=\mathbb{Q}$.

Let $G$ be a unitary group defined over a non-Archimedean local field of odd residue characteristic and let $H$ be the centralizer of a semisimple rational Lie algebra element of $G.$ We prove that the Bruhat-Tits building ${𝔅}^1\left(H\right)$ of $H$ can be affinely and $G$-equivariantly embedded in the Bruhat-Tits building ${𝔅}^1\left(G\right)$ of $G$ so that the Moy-Prasad filtrations are preserved. The latter property forces uniqueness in the following way. Let $j$ and $j^{\prime }$ be maps from ${𝔅}^1\left(H\right)$ to ${𝔅}^1\left(G\right)$ which preserve the Moy–Prasad filtrations....

Motivated by the fundamental theorem of calculus, and based on the works of W. Feller as well as M. Kac and M. G. Kreĭn, given an atomless Borel probability measure $\eta$ supported on a compact subset of $ℝ$ U. Freiberg and M. Zähle introduced a measure-geometric approach to define a first order differential operator ${\nabla }_{\eta }$ and a second order differential operator ${\Delta }_{\eta }$, with respect to $\eta$. We generalize this approach to measures of the form $\eta :=\nu +\delta$, where $\nu$ is non-atomic and $\delta$ is finitely supported. We determine...

We discuss the validity of the Helmholtz decomposition of the Muckenhoupt $A_p$-weighted $L^p$-space ${\left(L_w^p\left(\Omega \right)\right)}^n$ for any domain $\Omega$ in ${ℝ}^n$, $n\in \mathbb{Z}$, $n\ge 2$, $1<p<\infty$ and Muckenhoupt $A_p$-weight $w\in A_p$. Set $p^{\text{'}}:=p/(p-1)$ and $w^{\text{'}}:=w^{-1/(p-1)}$. Then the Helmholtz decomposition of ${\left(L_w^p\left(\Omega \right)\right)}^n$ and ${\left(L_{w^{\text{'}}}^{p^{\text{'}}}\left(\Omega \right)\right)}^n$ and the variational estimate of $L_{w,\pi }^p\left(\Omega \right)$ and $L_{w^{\text{'}},\pi }^{p^{\text{'}}}\left(\Omega \right)$ are equivalent. Furthermore, we can replace $L_{w,\pi }^p\left(\Omega \right)$ and $L_{w^{\text{'}},\pi }^{p^{\text{'}}}\left(\Omega \right)$ by $L_{w,\sigma }^p\left(\Omega \right)$ and $L_{w^{\text{'}},\sigma }^{p^{\text{'}}}\left(\Omega \right)$, respectively. The proof is based on the reflexivity and orthogonality of $L_{w,\pi }^p\left(\Omega \right)$ and $L_{w,\sigma }^p\left(\Omega \right)$ and the Hahn-Banach theorem. As a corollary of our main result, we obtain the extrapolation...