Equal Quasi-Partition of p-Groups

Let S be a subgroup of a group G. A set ${\Pi= \{H_1, \ldots , H_n\}}$ of subgroups ${H_i (i = 1, \ldots ,n)}$ with ${G=\cup_{H_i\in\Pi}H_i}$ is said to be an equal quasi-partition of G if ${H_i\cap H_j\cong S}$ and ${|H_i|=|H_j|}$ for all ${H_i, H_j\in\Pi}$ with ${i\ne j}$ . In this paper we investigate finite p-groups such that a subset of their maximal subgroups form an equal quasi-partition.     

On the Linear Dependence of a Finite Set of Additive Functions

In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .     

A Note on Classical and p-adic Fréchet Functional Equations with Restrictions

Given X,Y two ${\mathbb{Q}}$ -vector spaces, and f : X → Y, we study under which conditions on the sets ${B_{k} \subseteq X, k=1,\ldots,s}$ , if ${\Delta_{h_1h_2 \cdots h_s}f(x) = 0}$ for all ${x \in X}$ and ${h_k \in B_k, k = 1,2,\ldots,s}$ , then ${\Delta_{h_1h_2\cdots h_{s}}f(x) = 0}$ for all ${(x,h_{1},\ldots,h_{s}) \in X^{s+1}}$ .     

Tiling Convex Polygons with Congruent Equilateral Triangles

We study the sets $\mathcal{T}_{v}=\{m \in\{1,2,\ldots\}: \mbox{there is a convex polygon in }\mathbb{R}^{2}\mbox{ that has }v\mbox{ vertices and can be tiled with $m$ congruent equilateral triangles}\}$ , v=3,4,5,6. $\mathcal{T}_{3}$ , $\mathcal{T}_{4}$ , and $\mathcal{T}_{6}$ can be quoted completely. The complement $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ of $\mathcal{T}_{5}$ turns out to be a subset of Euler’s numeri idonei. As a consequence, $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ can be characterized with up to two exceptions, and a complete characterization is given under the assumption of the Generalized Riemann Hypothesis.     

Improved bounds for separating hash families

An ${(N;n,m,\{w_1,\ldots, w_t\})}$ -separating hash family is a set ${\mathcal{H}}$ of N functions ${h: \; X \longrightarrow Y}$ with ${|X|=n, |Y|=m, t \geq 2}$ having the following property. For any pairwise disjoint subsets ${C_1, \ldots, C_t \subseteq X}$ with ${|C_i|=w_i, i=1, \ldots, t}$ , there exists at least one function ${h \in \mathcal{H}}$ such that ${h(C_1), h(C_2), \ldots, h(C_t)}$ are pairwise disjoint. Separating hash families generalize many known combinatorial structures such as perfect hash families, frameproof codes, secure frameproof codes, identifiable parent property codes. In this paper we present new upper bounds on n which improve many previously known bounds. Further we include constructions showing that some of these bounds are tight.     

Value-sets of polynomials at p-adic integers

In this paper we are concerned with the classification of the subsets A of ${\mathbb{Z}_p}$ which occur as images ${f(\mathbb{Z}_p^r)}$ of polynomial functions ${f:\mathbb{Z}_p^r\to \mathbb{Z}_p}$ , limiting ourselves to compact-open subsets (i.e. finite unions of open balls). We shall prove three main results: (i) Every compact-open ${A\subset \mathbb{Z}_p}$ is of the shape ${A=f(\mathbb{Z}_p^r)}$ for suitable r and ${f\in\mathbb{Z}_p[X_1,\ldots ,X_r]}$ . (ii) For each r ₀ there is a compact-open A such that in (i) we cannot take r < r ₀. (iii) For any compact-open set ${A\subset \mathbb{Z}_p}$ there exists a polynomial ${f\in\mathbb{Q}_p[X]}$ such that ${f(\mathbb{Z}_p)=A}$ . We shall also discuss in more detail which sets A can be represented as ${f(\mathbb{Z}_p)}$ for a polynomial ${f\in\mathbb{Z}_p[X]}$ in a single variable.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

Transcendence Criterion for Values of Certain Functions of Several Variables

Let ${\Phi_0(\boldmath{z})}$ be the function defined by $$\Phi_0({\boldmath z}) = \Phi _{0}(z_1,\ldots, z_m)=\sum_{k\geq 0}\frac{E_k(z_1^{r^k},\ldots,z_m^{r^k})}{F_k(z_1^{r^k},\ldots,z_m^{r^k})},$$ where ${E_k(\boldmath{z})}$ and ${F_k(\boldmath{z})}$ are polynomials in m variables ${\boldmath{z} = (z_1,\ldots, z_m)}$ with coefficients satisfying a weak growth condition and r ≥ 2 a fixed integer. For an algebraic point ${\boldmath{\alpha}}$ satisfying some conditions, we prove that ${\Phi_{0}(\boldmath{\alpha})}$ is algebraic if and only if ${\Phi_{0}(\boldmath{z})}$ is a rational function. This is a generalization of the transcendence criterion of Duverney and Nishioka in one variable case. As applications, we give some examples of transcendental numbers.     

Palindromes in linear recurrence sequences

We prove that for any base $b\ge 2$ and for any linear homogeneous recurrence sequence $\{a_n\}_{n\ge 1}$ satisfying certain conditions, there exits a positive constant $c>0$ such that $\# \{n\le x:\ a_n \;\text{ is} \text{ palindromic} \text{ in} \text{ base}\; b\} \ll x^{1-c}$ .     

Atomic intersection of σ-fields and some of its consequences

Let ${(\Omega, \mathcal{F}, P)}$ be a probability space. For each ${\mathcal{G}\subset\mathcal{F}}$ , define ${\overline{\mathcal{G}}}$ as the σ-field generated by ${\mathcal{G}}$ and those sets ${F\in \mathcal{F}}$ satisfying ${P(F)\in\{0,1\}}$ . Conditions for P to be atomic on ${\cap_{i=1}^k\overline{\mathcal{A}_i}}$ , with ${\mathcal{A }_1,\ldots,\mathcal{A}_k\subset\mathcal{F}}$ sub-σ-fields, are given. Conditions for P to be 0-1-valued on ${\cap_{i=1}^k \overline{\mathcal{A}_i}}$ are given as well. These conditions are useful in various fields, including Gibbs sampling, iterated conditional expectations and the intersection property.     

A Uniqueness Theorem for Bounded Analytic Functions on the Polydisc

Given n, N ≥ 1 we construct a set of points ${\lambda_1,{\ldots},\lambda_{N^n}\in{\mathbb D}^n}$ such that for each rational inner function f on ${{\mathbb D}^n}$ of degree less than N the Pick problem on ${{\mathbb D}^n}$ with data ${\lambda_1,{\ldots},\lambda_{N^n}}$ and ${f(\lambda_1),{\ldots},f(\lambda_{N^n})}$ has a unique solution. In particular, we construct a 1-dimensional inner variety V and show that the points ${\lambda_1,{\ldots},\lambda_{N^n}}$ may be chosen almost arbitrarily in ${V\cap{\mathbb D}^n}$ . Our results state that f is uniquely determined in the Schur class of ${{\mathbb D}^n}$ by its values on ${\lambda_1,{\ldots},\lambda_{N^n}}$ .     

Harmonic mappings and conformal minimal immersions of Riemann surfaces into {\mathbb {R}^{\rm N}}

We prove that for any open Riemann surface ${\mathcal{N}}$ , natural number N ≥ 3, non-constant harmonic map ${h:\mathcal{N} \to \mathbb{R}}$ ^N?2 and holomorphic 2-form ${\mathfrak{H}}$ on ${\mathcal{N}}$ , there exists a weakly complete harmonic map ${X=(X_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ with Hopf differential ${\mathfrak{H}}$ and ${(X_j)_{j=3,\ldots,{\sc N}}=h.}$ In particular, there exists a complete conformal minimal immersion ${Y=(Y_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ such that ${(Y_j)_{j=3,\ldots,{\sc N}}=h}$ . As some consequences of these results (1) there exist complete full non-decomposable minimal surfaces with arbitrary conformal structure and whose generalized Gauss map is non-degenerate and fails to intersect N hyperplanes of ${\mathbb{CP}^{{\sc N}-1}}$ in general position. (2) There exist complete non-proper embedded minimal surfaces in ${\mathbb{R}^{\sc N},}$ ${\forall\,{\sc N} >3 .}$      

The Algebra of Polynomial Integro-Differential Operators is a Holonomic Bimodule over the Subalgebra of Polynomial Differential Operators

In contrast to its subalgebra $A_n:=K\langle x_1, \ldots , x_n, \frac{\partial}{\partial x_1}, \ldots ,\frac{\partial}{\partial x_n}\rangle $ of polynomial differential operators (i.e. the n’th Weyl algebra), the algebra ${\mathbb{I}}_n:=K\langle x_1, \ldots ,$ $ x_n, \frac{\partial}{\partial x_1}, \ldots ,\frac{\partial}{\partial x_n}, \int_1, \ldots , \int_n\rangle $ of polynomial integro-differential operators is neither left nor right Noetherian algebra; moreover it contains infinite direct sums of nonzero left and right ideals. It is proved that ${\mathbb{I}}_n$ is a left (right) coherent algebra iff n?=?1; the algebra ${\mathbb{I}}_n$ is a holonomic A _n -bimodule of length 3 ⁿ and has multiplicity 3 ⁿ with respect to the filtration of Bernstein, and all 3 ⁿ simple factors of ${\mathbb{I}}_n$ are pairwise non-isomorphic A _n -bimodules. The socle length of the A _n -bimodule ${\mathbb{I}}_n$ is n?+?1, the socle filtration is found, and the m’th term of the socle filtration has length ${n\choose m}2^{n-m}$ . This fact gives a new canonical form for each polynomial integro-differential operator. It is proved that the algebra ${\mathbb{I}}_n$ is the maximal left (resp. right) order in the largest left (resp. right) quotient ring of the algebra ${\mathbb{I}}_n$ .     

On the fast Khintchine spectrum in continued fractions

For $x\in [0,1)$ x ∈ [ 0 , 1 ) , let $x=[a_1(x), a_2(x),\ldots ]$ x = [ a 1 ( x ) , a 2 ( x ) , ... ] be its continued fraction expansion with partial quotients $\{a_n(x), n\ge 1\}$ { a n ( x ) , n ≥ 1 } . Let $\psi : \mathbb{N } \rightarrow \mathbb{N }$ ψ : N → N be a function with $\psi (n)/n\rightarrow \infty $ ψ ( n ) / n → ∞ as $n\rightarrow \infty $ n → ∞ . In this note, the fast Khintchine spectrum, i.e., the Hausdorff dimension of the set $$\begin{aligned} E(\psi ):=\left\{ x\in [0,1): \lim _{n\rightarrow \infty }\frac{1}{\psi (n)}\sum _{j=1}^n\log a_j(x)=1\right\} \end{aligned}$$ E ( ψ ) : = x ∈ [ 0 , 1 ) : lim n → ∞ 1 ψ ( n ) ∑ j = 1 n log a j ( x ) = 1 is completely determined without any extra condition on $\psi $ ψ . This fills a gap of the former work in Fan et al. (Ergod Theor Dyn Syst 29:73–109, 2009).     

On summability of nonlinear mappings: a new approach

The main goal of this paper is to characterize arbitrary nonlinear (non-multilinear) mappings ${f:X_{1}\times\cdots\times X_{n}\rightarrow Y}$ between Banach spaces that satisfy a quite natural Pietsch Domination-type theorem around a given point ${(a_{1},\ldots,a_{n})\in X_{1}\times\cdots\times X_{n}}$ . As a consequence of our approach a notion of weighted summability arises naturally, which may be an interesting topic for further investigation.     

Cubic symmetric polynomials yielding variations of the Erdős–Ginzburg–Ziv theorem

Let p be a prime and let $\varphi\in\mathbb{Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ be a symmetric polynomial, where  $\mathbb {Z}_{p}$ is the field of p elements. A sequence T in  $\mathbb {Z}_{p}$ of length p is called a φ-zero sequence if φ(T)=0; a sequence in $\mathbb {Z}_{p}$ is called a φ-zero free sequence if it does not contain any φ-zero subsequence. Motivated by the EGZ theorem for the prime p, we consider symmetric polynomials $\varphi\in \mathbb {Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ , which satisfy the following two conditions: (i) every sequence in  $\mathbb {Z}_{p}$ of length 2p?1 contains a φ-zero subsequence, and (ii) the φ-zero free sequences in  $\mathbb {Z}_{p}$ of maximal length are all those containing exactly two distinct elements, where each element appears p?1 times. In this paper, we determine all symmetric polynomials in $\mathbb {Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ of degree not exceeding 3 satisfying the conditions above.     

The Gröbner ring conjecture in the lexicographic order case

We prove that a valuation domain $\mathbf{V}$ has Krull dimension $\le $ 1 if and only if, for any $n$ , fixing the lexicographic order as monomial order in $\mathbf{V}[X_1,\ldots ,X_n]$ , for every finitely generated ideal $I$ of $\mathbf{V}[X_1,\ldots ,X_n]$ , the ideal generated by the leading terms of the elements of $I$ is also finitely generated. This proves the Gröbner ring conjecture in the lexicographic order case. The proof we give is both simple and constructive. The same result is valid for Prüfer domains. As a “scoop”, contrary to the common idea that Gröbner bases can be computed exclusively on Noetherian ground, we prove that computing Gröbner bases over $\mathbf{R}[X_1,\ldots , X_n]$ , where $\mathbf{R}$ is a Prüfer domain, has nothing to do with Noetherianity, it is only related to the fact that the Krull dimension of $\mathbf{R}$ is $\le $ 1.     

Infinite-dimensional quasigroups of finite orders

Let Σ be a finite set of cardinality k > 0, let $\mathbb{A}$ be a finite or infinite set of indices, and let $\mathcal{F} \subseteq \Sigma ^\mathbb{A}$ be a subset consisting of finitely supported families. A function $f:\Sigma ^\mathbb{A} \to \Sigma$ is referred to as an $\mathbb{A}$ -quasigroup (if $\left| \mathbb{A} \right| = n$ , then an n-ary quasigroup) of order k if $f\left( {\bar y} \right) \ne f\left( {\bar z} \right)$ for any ordered families $\bar y$ and $\bar z$ that differ at exactly one position. It is proved that an $\mathbb{A}$ -quasigroup f of order 4 is reducible (representable as a superposition) or semilinear on every coset of $\mathcal{F}$ . It is shown that the quasigroups defined on Σ^?, where ? are positive integers, generate Lebesgue nonmeasurable subsets of the interval [0, 1].