A Congruence Connecting Latin Rectangles and Partial Orthomorphisms

A partial orthomorphism of ${\mathbb{Z}_{n}}$ is an injective map ${\sigma : S \rightarrow \mathbb{Z}_{n}}$ such that ${S \subseteq \mathbb{Z}_{n}}$ and ??(i)?Ci ? ??(j)? j (mod n) for distinct ${i, j \in S}$ . We say ?? has deficit d if ${|S| = n - d}$ . Let ??(n, d) be the number of partial orthomorphisms of ${\mathbb{Z}_{n}}$ of deficit d. Let ??(n, d) be the number of partial orthomorphisms ?? of ${\mathbb{Z}_n}$ of deficit d such that ??(i) ? {0, i} for all ${i \in S}$ . Then ??(n, d) =???(n, d)n ²/d ² when ${1\,\leqslant\,d < n}$ . Let R _{k, n} be the number of reduced k ×?n Latin rectangles. We show that $$R_{k, n} \equiv \chi (p, n - p)\frac{(n - p)!(n - p - 1)!^{2}}{(n - k)!}R_{k-p,\,n-p}\,\,\,\,(\rm {mod}\,p)$$ when p is a prime and ${n\,\geqslant\,k\,\geqslant\,p + 1}$ . In particular, this enables us to calculate some previously unknown congruences for R _{n, n} . We also develop techniques for computing ??(n, d) exactly. We show that for each a there exists??? _a such that, on each congruence class modulo??? _a , ??(n, n-a) is determined by a polynomial of degree 2a in n. We give these polynomials for ${1\,\leqslant\,a\,\leqslant 6}$ , and find an asymptotic formula for ??(n, n-a) as n ?? ??, for arbitrary fixed a.     

Connectivity of Strong Products of Graphs

The strong product ${G\boxtimes H}$ of graphs G = (V ₁, E ₁) and H = (V ₂, E ₂) is the graph with vertex set ${V(G \boxtimes H)=V_1\times V_2}$ , where two distinct vertices ${(x_1, x_2), (y_1, y_2)\in V_1\times V_2}$ are adjacent in ${G\boxtimes H}$ if and only if x _i  = y _i or ${x_i y_i\in E_i}$ for i = 1, 2. We introduce so called I-sets and L-sets in the strong product ${G\boxtimes H}$ and prove that every minimum separating set in ${G\boxtimes H}$ is either an I-set or an L-set in ${G\boxtimes H}$ . Some bounds and exact results for connectivity of strong products follow from this characterization. The result is then generalized to an arbitrary number of factors in the strong product.     

A local mountain pass type result for a system of nonlinear Schr?dinger equations

We consider a singular perturbation problem for a system of nonlinear Schr?dinger equations: $$ \begin{array}{l} -\varepsilon^2\Delta v_1 +V_1(x)v_1 = \mu_1 v_1^3 + \beta v_1v_2^2 \quad {\rm in}\,\,{\bf R}^N, \\ -\varepsilon^2\Delta v_2 +V_2(x)v_2 = \mu_2 v_2^3 + \beta v_1^2v_2 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x) >0 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x)\in H^1({\bf R}^N), \end{array} \quad\quad\quad\quad\quad (*) $$ where N?=?2, 3, ?? ₁, ?? ₂, ?? > 0 and V ₁(x), V ₂(x): R ^N ?? (0, ??) are positive continuous functions. We consider the case where the interaction ?? > 0 is relatively small and we define for ${P\in{\bf R}^N}$ the least energy level m(P) for non-trivial vector solutions of the rescaled ??limit?? problem: $$ \begin{array}{l} -\Delta v_1 +V_1(P)v_1 = \mu_1 v_1^3 + \beta v_1v_2^2 \quad {\rm in}\,\,{\bf R}^N, \\ -\Delta v_2 +V_2(P)v_2 = \mu_2 v_2^3 + \beta v_1^2v_2 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x) >0 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x)\in H^1({\bf R}^N). \end{array} \quad\quad\quad\quad\quad\quad (**) $$ We assume that there exists an open bounded set ${\Lambda\subset{\bf R}^N}$ satisfying $$ {\mathop {\rm inf} _{P\in\Lambda} m(P)} < {\mathop {\rm inf}_{P\in\partial\Lambda} m(P)}. $$ We show that (*) possesses a family of non-trivial vector positive solutions ${\{(v_{1\varepsilon}(x), v_{2\varepsilon} (x))\}_{\varepsilon\in (0,\varepsilon_0]}}$ which concentrates??after extracting a subsequence ?? _n ?? 0??to a point ${P_0\in\Lambda}$ with ${m(P_0)={\rm inf}_{P\in\Lambda}m(P)}$ . Moreover (v _1?? (x), v _2?? (x)) converges to a least energy non-trivial vector solution of (**) after a suitable rescaling.     

The {k}-domatic number of a graph

For a positive integer k, a {k}-dominating function of a graph G is a function f from the vertex set V(G) to the set {0, 1, 2, . . . , k} such that for any vertex ${v\in V(G)}$ , the condition ${\sum_{u\in N[v]}f(u)\ge k}$ is fulfilled, where N[v] is the closed neighborhood of v. A {1}-dominating function is the same as ordinary domination. A set {f ₁, f ₂, . . . , f _d } of {k}-dominating functions on G with the property that ${\sum_{i=1}^df_i(v)\le k}$ for each ${v\in V(G)}$ , is called a {k}-dominating family (of functions) on G. The maximum number of functions in a {k}-dominating family on G is the {k}-domatic number of G, denoted by d _{k}(G). Note that d _{1}(G) is the classical domatic number d(G). In this paper we initiate the study of the {k}-domatic number in graphs and we present some bounds for d _{k}(G). Many of the known bounds of d(G) are immediate consequences of our results.     

Foliations on the tangent bundle of Finsler manifolds

Let M be a smooth manifold with Finsler metric F,and let T M be the slit tangent bundle of M with a generalized Riemannian metric G,which is induced by F.In this paper,we prove that (i) (M,F) is a Landsberg manifold if and only if the vertical foliation F V is totally geodesic in (T M,G);(ii) letting a:= a(τ) be a positive function of τ=F 2 and k,c be two positive numbers such that c=2 k(1+a),then (M,F) is of constant curvature k if and only if the restriction of G on the c-indicatrix bundle IM (c) is bundle-like for the horizontal Liouville foliation on IM (c),if and only if the horizontal Liouville vector field is a Killing vector field on (IM (c),G),if and only if the curvature-angular form Λ of (M,F) satisfies Λ=1-a 2/R on IM (c).     

On the length of chains of proper subgroups covering a topological group

We prove that if an ultrafilter ${\mathcal{L}}$ is not coherent to a Q-point, then each analytic non-??-bounded topological group G admits an increasing chain ${\langle G_\alpha:\alpha < \mathfrak b(\mathcal L)\rangle}$ of its proper subgroups such that: (i) ${\bigcup_{\alpha}G_\alpha=G}$ ; and (ii) For every ??-bounded subgroup H of G there exists ?? such that ${H\subset G_\alpha}$ . In case of the group Sym(??) of all permutations of ?? with the topology inherited from ?? ^?? this improves upon earlier results of S. Thomas.     

Convergence of Gaussian Quadrature Formulas for Power Orthogonal Polynomials

In classical theorems on the convergence of Gaussian quadrature formulas for power orthogonal polynomials with respect to a weight w on I =（a,b）,a function G ∈ S（w）:= { f:∫_I | f（x）| w（x）d x < ∞} satisfying the conditions G ^2j（x） ≥ 0,x ∈（a,b）,j = 0,1,...,and growing as fast as possible as x → a + and x → b,plays an important role.But to find such a function G is often difficult and complicated.This implies that to prove convergence of Gaussian quadrature formulas,it is enough to find a function G ∈ S（w） with G ≥ 0 satisfying sup n ∑λ0knG（xkn） k=1 n<∞ instead,where the xkn ’s are the zeros of the n th power orthogonal polynomial with respect to the weight w and λ0kn ’s are the corresponding Cotes numbers.Furthermore,some results of the convergence for Gaussian quadrature formulas involving the above condition are given.     

Convergence rates in the complete moment of moving-average processes

In this paper, we discuss precise asymptotics for a new kind of moment convergence of the moving-average process $X_k = \sum\limits_{i = - \infty }^\infty {a_{i + k} \varepsilon _i }$ , k ??1, where {?? _i : ??? < i < ??} is a doubly infinite sequence of independent identically distributed random variables with mean zero and the finiteness of variance, {?? _i : ??? < i < ??} is an absolutely summable sequence of real numbers, i.e., $\sum\limits_{i = - \infty }^\infty {\left| {a_i } \right| < \infty }$ .     

On the Rabinowitz Floer homology of twisted cotangent bundles

Let (M, g) be a closed connected orientable Riemannian manifold of dimension n????2. Let ??:?=??? ₀?+??? ^* ?? denote a twisted symplectic form on T ^* M, where ${\sigma\in\Omega^{2}(M)}$ is a closed 2-form and ?? ₀ is the canonical symplectic structure ${dp\wedge dq}$ on T ^* M. Suppose that ?? is weakly exact and its pullback to the universal cover ${\widetilde{M}}$ admits a bounded primitive. Let ${H:T^{*}M\rightarrow\mathbb{R}}$ be a Hamiltonian of the form ${(q,p)\mapsto\frac{1}{2}\left|p\right|^{2}+U(q)}$ for ${U\in C^{\infty}(M,\mathbb{R})}$ . Let ?? _k :?=?H ^?1(k), and suppose that k?>?c(g, ??, U), where c(g, ??, U) denotes the Ma?é critical value. In this paper we compute the Rabinowitz Floer homology of such hypersurfaces. Under the stronger condition that k?>?c ₀(g, ??, U), where c ₀(g, ??, U) denotes the strict Ma?é critical value, Abbondandolo and Schwarz (J Topol Anal 1:307?C405, 2009) recently computed the Rabinowitz Floer homology of such hypersurfaces, by means of a short exact sequence of chain complexes involving the Rabinowitz Floer chain complex and the Morse (co)chain complex associated to the free time action functional. We extend their results to the weaker case k?>?c(g, ??, U), thus covering cases where ?? is not exact. As a consequence, we deduce that the hypersurface ?? _k is never (stably) displaceable for any k?>?c(g, ??, U). This removes the hypothesis of negative curvature in Cieliebak et?al. (Geom Topol 14:1765?C1870, 2010, Theorem 1.3) and thus answers a conjecture of Cieliebak, Frauenfelder and Paternain raised in Cieliebak et?al. (2010). Moreover, following Albers and Frauenfelder (2009; J Topol Anal 2:77?C98, 2010) we prove that for k?>?c(g, ??, U), any ${\psi\in\mbox{Ham}_{c}(T^{*}M,\omega)}$ has a leaf-wise intersection point in ?? _k , and that if in addition ${\dim\, H_{*}(\Lambda M;\mathbb{Z}_{2})=\infty}$ , dim M????2, and the metric g is chosen generically, then for a generic ${\psi\in\mbox{Ham}_{c}(T^{*}M,\omega)}$ there exist infinitely many such leaf-wise intersection points.     

Some estimates of the normal approximation for ��-mixing random variables

Let ?? _n be a ??-mixing sequence of real random variables such that $ \mathbb{E}{\xi_n} = 0 $ , and let Y be a standard normal random variable. Write S _n = ?? ₁ + · · · + ?? _n and consider the normalized sums Z _n = S _n /B _n , where $ B_n^2 = \mathbb{E}S_n^2 $ . Assume that a thrice differentiable function $ h:\mathbb{R} \to \mathbb{R} $ satisfies $ {\sup_{x \in \mathbb{R}}}\left| {{h^s}(x)} \right| < \infty $ . We obtain upper bounds for $ {\Delta_n} = \left| {\mathbb{E}h\left( {{Z_n}} \right) - \mathbb{E}h(Y)} \right| $ in terms of Lyapunov fractions with explicit constants (see Theorem 1). In a particular case, the obtained upper bound of ?? _n is of order O(n ^?1/2). We note that the ??-mixing coefficients ??(r) are defined between the ??past?? and ??future.?? To prove the results, we apply the Bentkus approach.     

Padé approximants of special functions

Let $ {f_{\gamma }}(x) = \sum\nolimits_{{k = 0}}^{\infty } {{{{T_k (x)}} \left/ {{{{\left( \gamma \right)}_k}}} \right.}} $ , where (??) _k =??(??+1) ? (??+k?1) and T _k (x)=cos (k arccos x) are Padé?CChebyshev polynomials. For such functions and their Padé?CChebyshev approximations $ \pi_{n,m}^{ch}\left( {x;{f_{\gamma }}} \right) $ , we find the asymptotics of decreasing the difference $ {f_{\gamma }}(x) - \pi_{n,m}^{ch}\left( {x;{f_{\gamma }}} \right) $ in the case where 0 ? m ? m(n), m(n) = o (n), as n???? for all x ?? [?1, 1]. Particularly, we determine that, under the same assumption, the Padé?CChebyshev approximations converge to f _?? uniformly on the segment [?1, 1] with the asymptotically best rate.     

The Dual Group of a Dense Subgroup

Throughout this abstract, G is a topological Abelian group and $\hat G$ is the space of continuous homomorphisms from G into the circle group ${\mathbb{T}}$ in the compact-open topology. A dense subgroup D of G is said to determine G if the (necessarily continuous) surjective isomorphism $\hat G \to \hat D$ given by $h \mapsto h\left| D \right.$ is a homeomorphism, and G is determined if each dense subgroup of G determines G. The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is determined. The authors offer several related results, including these. 1. There are (many) nonmetrizable, noncompact, determined groups. 2. If the dense subgroup D _i determines G _i with G _i compact, then $ \oplus _i D_i $ determines Π_i G _i. In particular, if each G _i is compact then $ \oplus _i G_i $ determines Π_i G _i. 3. Let G be a locally bounded group and let G ⁺ denote G with its Bohr topology. Then G is determined if and only if G ⁺ is determined. 4. Let non $\left( {\mathcal{N}} \right)$ be the least cardinal κ such that some $X \subseteq {\mathbb{T}}$ of cardinality κ has positive outer measure. No compact G with $w\left( G \right) \geqslant non\left( {\mathcal{N}} \right)$ is determined; thus if $\left( {\mathcal{N}} \right) = {\mathfrak{N}}_1 $ (in particular if CH holds), an infinite compact group G is determined if and only if w(G) = ω. Question. Is there in ZFC a cardinal κ such that a compact group G is determined if and only if w(G) < κ? Is $\kappa = non\left( {\mathcal{N}} \right)?\kappa = {\mathfrak{N}}_1 ?$      

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let ${\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)}$ with the non-negative potential V belonging to reverse H?lder class with respect to the measure ??(x)dx, where ??(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying ${\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. }$ We obtain some estimates for ${V^{\alpha}\mathcal{L}^{-\alpha}}$ on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator ${[b, V^{\alpha} \mathcal{L}^{-\alpha}]}$ when ${b\in BMO_\omega}$ and 0?<??? ?? 1.     

On Bipartite Distance-Regular Graphs with Intersection Numbers c i = (q i ? 1)/(q ? 1)

Let q denote an integer at least two. Let ?? denote a bipartite distance-regular graph with diameter D ?? 3 and intersection numbers c _i = (q ⁱ ? 1)/(q ? 1), 1 ?? i ?? D. Let X denote the vertex set of ?? and let ${V = \mathbb{C}^X}$ denote the vector space over ${\mathbb{C}}$ consisting of column vectors whose coordinates are indexed by X and whose entries are in ${\mathbb{C}}$ . For ${z \in X}$ , let ${{\hat z}}$ denote the vector in V with a 1 in the z-coordinate and 0 in all other coordinates. Fix ${x, y \in X}$ such that ?(x, y) = 2, where ? denotes the path-length distance function. For 0 ?? i, j ?? D define ${w_{ij} = \sum {\hat z}}$ , where the sum is over all ${z \in X}$ such that ?(x, z) = i and ?(y, z) = j. We define W?=?span{w _ij | 0 ?? i, j ?? D}. In this paper we consider the space ${MW={\rm span} \{mw \mid m \in M, w \in W\}}$ , where M is the Bose?CMesner algebra of ??. We observe that MW is the minimal A-invariant subspace of V which contains W, where A is the adjacency matrix of ??. We give a basis for MW that is orthogonal with respect to the Hermitean dot product. We compute the square-norm of each basis vector. We compute the action of A on the basis. For the case in which ?? is the dual polar graph D _D (q) we show that the basis consists of the characteristic vectors of the orbits of the stabilizer of x and y in the automorphism group of ??.     

Acyclic edge coloring of graphs with large girths

A proper edge coloring of a graph G is called acyclic if there is no 2-colored cycle in G. The acyclic chromatic index of G, denoted by χ’a(G), is the least number of colors such that G has an acyclic edge k-coloring. Let G be a graph with maximum degree Δ and girth g(G), and let 1≤r≤2Δ be an integer. In this paper, it is shown that there exists a constant c > 0 such that if g(G)≥cΔ r log(Δ2/r) then χa(G)≤Δ + r + 1, which generalizes the result of Alon et al. in 2001. When G is restricted to series-parallel graphs, it is proved that χ’a(G) = Δ if Δ≥4 and g(G)≥4; or Δ≥3 and g(G)≥5.     

Exterior algebra structure on relative invariants of reflection groups

Let G be a reflection group acting on a vector space V (over a field with zero characteristic). We denote by S(V ^*) the coordinate ring of V, by M a finite dimensional G-module and by ?? a one-dimensional character of G. In this article, we define an algebra structure on the isotypic component associated to ?? of the algebra ${S(V^*) \otimes \Lambda(M^*)}$ . This structure is then used to obtain various generalizations of usual criterions on regularity of integers.     

Quantitative Poincaré recurrence in continued fraction dynamical system

Let T:X → X be a transformation.For any x ∈[0,1) and r > 0,the recurrence time τr(x) of x under T in its r-neighborhood is defined as τr(x)=inf k 1:d (Tk(x),x) < r.For 0 αβ∞,let E(α,β) be the set of points with prescribed recurrence time as follows E (α,β)=x ∈ X:lim r→0 inf[log τr(x)/-log r]=α,lim r→0 sup[log τr(x)/-log r]=β.In this note,we consider the Gauss transformation T on [0,1),and determine the size of E (α,β) by showing that dim H E (α,β)=1 no matter what α and β are.This can be compared with Feng and Wu’s result [Nonlinearity,14 (2001),81-85] on the symbolic space.     

Exponent of a finite group with a four-group of automorphisms

Let A be a group isomorphic with either S ₄, the symmetric group on four symbols, or D ₈, the dihedral group of order 8. Let V be a normal four-subgroup of A and ?? an involution in ${A\setminus V}$ . Suppose that A acts on a finite group G in such a manner that C _G (V)?=?1 and C _G (??) has exponent e. We show that if ${A\cong S_4}$ then the exponent of G is e-bounded and if ${A\cong D_8}$ then the exponent of the derived group G?? is e-bounded. This work was motivated by recent results on the exponent of a finite group admitting an action by a Frobenius group of automorphisms.     

A property of Pisot numbers and Fourier transforms of self-similar measures

For any Pisot number β it is known that the set F (β)={t:lim n→∞‖tβ n‖= 0} is countable,where a is the distance between a real number a and the set of integers.In this paper it is proved that every member in this set is of the form cβ n,where ‖n‖ is a nonnegative integer and c is determined by a linear system of equations.Furthermore,for some self-similar measures μ associated with β,the limit at infinity of the Fourier transforms lim n→∞μ(tβ n)≠0 if and only if t is in a certain subset of F (β).This generalizes a similar result of Huang and Strichartz.