On deep holes of standard Reed-Solomon codes

Determining deep holes is an important open problem in decoding Reed-Solomon codes. It is well known that the received word is trivially a deep hole if the degree of its Lagrange interpolation polynomial equals the dimension of the Reed-Solomon code. For the standard Reed-Solomon codes [p-1, k]p with p a prime, Cheng and Murray conjectured in 2007 that there is no other deep holes except the trivial ones. In this paper, we show that this conjecture is not true. In fact, we find a new class of deep holes for standard Reed-Solomon codes [q-1, k]q with q a power of the prime p. Let q≥4 and 2≤k≤q-2. We show that the received word u is a deep hole if its Lagrange interpolation polynomial is the sum of monomial of degree q-2 and a polynomial of degree at most k-1. So there are at least 2(q-1)qk deep holes if k q-3.     

Homoclinic orbits for a class of singular second order Hamiltonian systems in ?3

We consider a conservative second order Hamiltonian system $\ddot q + \nabla V(q) = 0$ in ?³ with a potential V having a global maximum at the origin and a line l ?? {0} = ? as a set of singular points. Under a certain compactness condition on V at infinity and a strong force condition at singular points we study, by the use of variational methods and geometrical arguments, the existence of homoclinic solutions of the system.     

Sharp bounds for the number of 3‐independent partitions and the chromaticity of bipartite graphs

Given a graph G and an integer k ≥ 1, let α(G, k) denote the number of k‐independent partitions of G. Let ??^?s(p,q) (resp., ??₂^?s(p,q)) denote the family of connected (resp., 2‐connected) graphs which are obtained from the complete bipartite graph K_p,q by deleting a set of s edges, where p ≥ q ≥ 2. This paper first gives a sharp upper bound for α(G,3), where G ∈ ?? ^?s(p,q) and 0 ≤ s ≤ (p ? 1)(q ? 1) (resp., G ∈ ?? ₂^?s(p,q) and 0 ≤ s ≤ p + q ? 4). These bounds are then used to show that if G ∈ ?? ^?s(p,q) (resp., G ∈ ?? ₂^?s (p,q)), then the chromatic equivalence class of G is a subset of the union of the sets ??^?s_i(p+i,q?i) where max and s_i = s ? i(p?q+i) (resp., a subset of ??₂^?s(p,q), where either 0 ≤ s ≤ q ? 1, or s ≤ 2q ? 3 and p ≥ q + 4). By applying these results, we show finally that any 2‐connected graph obtained from K_p,q by deleting a set of edges that forms a matching of size at most q ? 1 or that induces a star is chromatically unique. © 2001 John Wiley & Sons, Inc. J Graph Theory 37: 48–77, 2001     

Heteroclinic orbits and heteroclinic chains for a discrete Hamiltonian system

In the present work we prove some existence results of heteroclinic orbits and heteroclinic chains for a second order discrete Hamiltonian system of the form Δ2q(t-1)+V(q(t))=0,t∈Z.The methods we use are variational in nature.Our results show that under general conditions,for each maximum point β of V,the above system possesses multiple heteroclinic orbits joining β and some other maximum points of V.We also prove that for any pair of distinct maximum points η and ξ of V,there exists at least one heteroclinic chain from η to ξ.     

The Marchenko-Ostrovski mapping and the trace formula for the Camassa-Holm equation

We consider the periodic weighted operator in where ρ is a 1-periodic positive function satisfying q=ρ′/ρ∈L²(0,1). The spectrum of T consists of intervals separated by gaps. In the first part of the paper we construct the Marchenko-Ostrovski mapping q→h(q) and solve the corresponding inverse problem. For our approach it is essential that the mapping h has the factorization h(q)=h⁰(V(q)), where q→V(q) is a certain nonlinear mapping and V→h⁰(V) is the Marchenko-Ostrovski mapping for the Hill operator. Moreover, we solve the inverse problem for the gap length mapping. In the second part of this paper we derive the trace formula for T.     

Estimates for wave and Klein-Gordon equations on modulation spaces

We prove that the fundamental semi-group eit(m 2I+|Δ|)1/2(m = 0) of the Klein-Gordon equation is bounded on the modulation space M ps,q(Rn) for all 0 < p,q ∞ and s ∈ R.Similarly,we prove that the wave semi-group eit|Δ|1/2 is bounded on the Hardy type modulation spaces μsp,q(Rn) for all 0 < p,q ∞,and s ∈ R.All the bounds have an asymptotic factor tn|1/p 1/2| as t goes to the infinity.These results extend some known results for the case of p 1.Also,some applications for the Cauchy problems related to the semi-group eit(m2I+|Δ|)1/2 are obtained.Finally we discuss the optimum of the factor tn|1/p 1/2| and raise some unsolved problems.     

Economical tight examples for the biased Erd?s-Selfridge theorem

A positional game is essentially a generalization of tic-tac-toe played on a hypergraph (V,F). A pivotal result in the study of positional games is the Erd?s-Selfridge theorem, which gives simple criteria for the existence of a Breaker's winning strategy on a hypergraph F. It has been shown that the Erd?s-Selfridge theorem can be tight and that numerous extremal systems exist for that theorem. We focus on a generalization of the Erd?s-Selfridge theorem proven by Beck for biased (p:q) games, which we call the (p:q)-Erd?s-Selfridge theorem. We show that for pn-uniform hypergraphs there is a unique extremal system for the (p:q)-Erd?s-Selfridge theorem (q?2) when Maker must win in exactly n turns (i.e., as quickly as possible).     

KKM-Fan’s lemma for solving nonlinear vector evolution equations with nonmonotonic perturbations

In this paper we are interested in the existence of solutions of the following initial value problem: on (0,T) with u(0)=u₀ where A:V→V^′ is a monotone operator, G:V→V^′ is a nonlinear nonmonotone operator and f:(0,T)→V^′ is a measurable function, by means of a recent generalization of the famous KKM-Fan’s lemma.     

On complexity of three-dimensional hyperbolic manifolds with geodesic boundary

The nonintersecting classes ? _p,q are defined, with p, q ?? ? and p ?? q ?? 1, of orientable hyperbolic 3-manifolds with geodesic boundary. If M ?? ? _p,q , then the complexity c(M) and the Euler characteristic ??(M) of M are related by the formula c(M) = p???(M). The classes ? _q,q , q ?? 1, and ?_2,1 are known to contain infinite series of manifolds for each of which the exact values of complexity were found. There is given an infinite series of manifolds from ?_3,1 and obtained exact values of complexity for these manifolds. The method of proof is based on calculating the ?-invariants of manifolds.     

Critical exponents for the evolution p-Laplacian equation with a localized reaction

This paper deals with the large time behavior of nonnegative solutions to the equation $$u_t = div\left( {\left| {\nabla u} \right|^{p - 2} \nabla u} \right) + a\left( x \right)u^q ,\left( {x,t} \right) \in R^N \times (0,T),$$ where p > 2, q > 0, and the function a(x) ?? 0 has a compact support. We obtain the critical exponent for global existence q ₀ and the Fujita exponent q _c . In one-dimensional case N = 1, we have $q_0 = \frac{{2(p - 1)}} {p}$ and q _c = 2(p ? 1). Particularly, all solutions are global in time if 0 < q ?? q _o, but blow up if q ₀ < q ?? q _c ; while if q > q _c both blowing up solutions and global solutions exist. However, for the case N ?? p > 2, these two critical exponents are exactly the same. Namely, q ₀ = p ? 1 = q _c .     

Riesz Transforms Associated with Higher-Order Schrödinger Type Operators

Let L = L ₀ + V be a Schrödinger type operator, where L ₀ is a higher order elliptic operator with bounded complex coefficients in divergence form and V is a signed measurable function. Under the strongly subcritical assumption on V, we study the L ^q boundedness of Riesz transform ? ^m L ^?1/2 for q ≤ 2 based on the off-diagonal estimates of semigroup e ^{?t L} . Furthermore, the authors impose extra regularity assumptions on V to obtain the L ^q boundedness of Riesz transform ? ^m L ^?1/2 for some q > 2. In particular, these results are applied to the more interesting Schrödinger operators L = P(D) + V, where P(D) is any homogeneous positive elliptic operator with constant coefficients.     

Приближение всплесками и поперечники Фурье классов периодических функций многих переменных. II

Estimates sharp in order for Fourier widths of the classes $ B_{pq}^{sm} (\mathbb{T}^k ) $ and $ L_{pq}^{sm} (\mathbb{T}^k ) $ of Nikol??skii-Besov and Lizorkin-Triebel types, respectively, in the space $ L_r (\mathbb{T}^k ) $ are established for a certain range of the parameters s, p, q, r (here s ?? (0,??) ⁿ , 1 ??p, r, q ???, 1 ?? n ?? k, m = (m ₁, ??,m _n ) ?? ? ⁿ : m ₁ + ?? + m _n = k).     

On the Behaviour of the spectral characteristic of Feigenbaum’s map

Let T _g : [?1, 1] ?? [?1, 1] be the Feigenbaum map. It is well known that T _g has a Cantor-type attractor F and a unique invariant measure ??₀ supported on F. The corresponding unitary operator (U _g ??)(x) = ??(g(x)) has pure point spectrum consisting of eigenvalues ?? _n,r , n ?? 1, 0 ?? r ?? 2 ^n?1 ? 1 with eigenfunctions e _r ⁽ⁿ⁾ (x). Suppose that f ?? C ¹([?1, 1]), f?? is absolutely continuous on [?1, 1] and f?? ?? L ^p ([?1, 1], d??₀), p > 1. Consider the sum of the amplitudes of the spectral measure of f: $$ Sn(f): = \sum\limits_{r = 0}^{2^n - 1} {|\rho _r^{(n)} |^2 ,\rho _r^{(n)} = \int\limits_{ - 1}^1 {f(x)\overline {e_r^{(n)} (x)} d\mu _o } } (x). $$ Using the thermodynamic formalism for T _g we prove that S _n (f) ?? 2^?n q ⁿ , as n ?? ??, where the constant q ?? (0, 1) does not depend on f.     

On mappings preserving orthogonality of non-singular vectors

Letq be a regular quadratic form on a vector space (V,F) and letf be the bilinear form associated withq. Then, \(\dot V: = \{ z \in V|q(z) \ne 0\} \) is the set of non-singular vectors ofV, and forx, y ∈ \(\dot V\) , ?(x, y) ?f(x, y) ²/(q(x) · q(y)) is theq-measure of (x, y), where ?(x,y)=0 means thatx, y are orthogonal. For an arbitrary mapping \(\sigma :\dot V \to \dot V\) we consider the functional equations $$\begin{gathered} (I)\sphericalangle (x,y) = 0 \Leftrightarrow \sphericalangle (x^\sigma ,y^\sigma ) = 0\forall x,y \in \dot V, \hfill \\ (II)\sphericalangle (x,y) = \sphericalangle (x^\sigma ,y^\sigma )\forall x,y \in \dot V, \hfill \\ (III)f(x,y)^2 = f(x^\sigma ,y^\sigma )^2 \forall x,y \in \dot V, \hfill \\ \end{gathered} $$ and we state conditions on (V,F,q) such thatσ is induced by a mapping of a well-known type. In case of dimV ∈N?{0, 1, 2} ∧ ∣F∣ > 3, each of the assumptions (I), (II), (III) implies that there exist aρ-linear injectionξ :V →V and a fixed λ ∈F?{0} such thatF x ^σ =F x ^ξ ?x ∈ \(\dot V\) andf(x ^ξ,y ^ξ)=λ · (f(x, y))^ρ ?x, y ∈V. Moreover, (II) implies ρ =id _F ∧q(x ^ξ) = λ ·q(x) ?x ∈ \(\dot V\) , and (III) implies ρ=id _F ∧ λ ∈ {1,?1} ∧x ^σ ∈ {x ^ξ, ?x ^ξ} ?x ∈ \(\dot V\) . Other results obtained in this paper include the cases dimV = 2 resp. dimV ?N resp. ∣F∣ = 3.     

Adjoints and pluricanonical adjoints to an algebraic hypersurface

. We develop the theory of canonical and pluricanonical adjoints, of global canonical and pluricanonical adjoints, and of adjoints and global adjoints to an irreducible, algebraic hypersurface V?? ⁿ , under certain hypotheses on the singularities of V. We subsequently apply the results of the theory to construct a non-singular threefold of general type X, desingularization of a hypersurface V of degree six in ?⁴, having the birational invariants q ₁=q ₂=p _g =0, P ₂=P ₃=5. We demonstrate that the bicanonical map ? _|2KX| is birational and finally, as a consequence of the Riemann–Roch theorem and vanishing theorems, we prove that any non-singular model Y, birationally equivalent to X, has the canonical divisors K _Y that do not (simultaneously) satisfy the two properties: (K _Y ³)>0 and K _Y numerically effective.     

Global Hölder estimates for optimal transportation

We generalize the well-known result due to Caffarelli concerning Lipschitz estimates for the optimal transportation T of logarithmically concave probability measures. Suppose that T: ? ^d → ? ^d is the optimal transportation mapping µ = e ^?V dx to ν = e ^?W dx. Suppose that the second difference-differential V is estimated from above by a power function and that the modulus of convexity W is estimated from below by the function A _q |x|^1+q , q ≥ 1. We prove that, under these assumptions, the mapping T is globally Hölder with the Hölder constant independent of the dimension. In addition, we study the optimal mapping T of a measure µ to Lebesgue measure on a convex bounded set K ? ? ^d . We obtain estimates of the Lipschitz constant of the mapping T in terms of d, diam(K), and DV, D ² V.     

Extended resolvent of the heat operator with a multisoliton potential

We consider the heat operator with a general multisoliton potential and derive its extended resolvent depending on a parameter q ?? ?². We show that it is bounded in all variables and find its singularities in q. We introduce the Green??s functions and study their properties in detail.     

Sum formulas for reductive algebraic groups

Let V be a Weyl module either for a reductive algebraic group G or for the corresponding quantum group Uq. If G is defined over a field of positive characteristic p, respectively if q is a primitive lth root of unity (in an arbitrary field) then V has a Jantzen filtration V=V⁰⊃V¹⊃?⊃Vr=0. The sum of the positive terms in this filtration satisfies a well-known sum formula.If T denotes a tilting module either for G or Uq then we can similarly filter the space HomG(V,T), respectively HomUq(V,T) and there is a sum formula for the positive terms here as well.We give an easy and unified proof of these two (equivalent) sum formulas. Our approach is based on an Euler type identity which we show holds without any restrictions on p or l. In particular, we get rid of previous such restrictions in the tilting module case.     

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 ??.