A generalized extension theorem for linear codes

We prove that an [n, k, d] _q code \({\mathcal{C}}\) with gcd(d, q) = 1 is extendable if \({\sum_{i \not\equiv 0,d}A_i < (q-1)q^{k-2}}\), where A _i denotes the number of codewords of \({\mathcal{C}}\) with weight i. This is a generalization of extension theorems for linear codes by Hill and Lizak (Proceedings of the IEEE International Symposium on Information Theory, Whistler, Canada, 1995) and by Landjev and Rousseva (Probl. Inform. Transm. 42: 319–329, 2006).     

Uniform in bandwidth exact rates for a class of kernel estimators

Given an i.i.d sample (Y _i , Z _i ), taking values in \({\mathbb{R}^{d'}\times\mathbb{R}^d}\), we consider a collection Nadarya–Watson kernel estimators of the conditional expectations \({\mathbb{E}( <\,c_g(z),g(Y)>+d_g(z)\mid Z=z)}\), where z belongs to a compact set \({H\subset \mathbb{R}^d}\), g a Borel function on \({\mathbb{R}^{d'}}\) and c _g (·), d _g (·) are continuous functions on \({\mathbb{R}^d}\). Given two bandwidth sequences \({h_n<\mathfrak{h}_n}\) fulfilling mild conditions, we obtain an exact and explicit almost sure limit bounds for the deviations of these estimators around their expectations, uniformly in \({g\in\mathcal{G},\;z\in H}\) and \({h_n\le h\le \mathfrak{h}_n}\) under mild conditions on the density f _Z , the class \({\mathcal{G}}\), the kernel K and the functions c _g (·), d _g (·). We apply this result to prove that smoothed empirical likelihood can be used to build confidence intervals for conditional probabilities \({\mathbb{P}( Y\in C\mid Z=z)}\), that hold uniformly in \({z\in H,\; C\in \mathcal{C},\; h\in [h_n,\mathfrak{h}_n]}\). Here \({\mathcal{C}}\) is a Vapnik–Chervonenkis class of sets.     

On countably {\mu}-paracompact spaces

A topological space X is countably paracompact if and only if X satisfies the condition (A): For any decreasing sequence {F_i} of non-empty closed sets with \({\bigcap_{i=1}^{\infty} F_{i} = \emptyset}\) there exists a sequence {G_i} of open sets such that \({\bigcap_{i=1}^{\infty}\overline{G_{i}}=\emptyset}\) and \({F_{i} \subset G_{i}}\) for every i. We will show, by an example, that this is not true in generalized topological spaces. In fact there is a \({\mu}\)-normal generalized topological space satisfying the analogue of A which is not even countably \({\mu}\)-metacompact. Then we study the relationships between countably \({\mu}\)-paracompactness, countably \({\mu}\)-metacompactness and the condition corresponding to condition A in generalized topological spaces.     

Conflict free colorings of nonuniform systems of infinite sets

If \(\mathcal{H}\) is a system of infinite sets, |A∩B|<r for \({A\ne B\in\mathcal{H}}\) (r<ω) then \(\mathcal{H}\) has a conflict free coloring with ω colors, i.e., a function \(F\colon {\bigcup\mathcal{H}\to\omega}\) so that each \(A\in\mathcal{H}\) has a color i<ω with |F ^?1(i)∩A|=1.     

Arithmetic Groups,Base Change,and Representation Growth

Consider an arithmetic group \({\mathbf{G}(O_S)}\), where \({\mathbf{G}}\) is an affine group scheme with connected, simply connected absolutely almost simple generic fiber, defined over the ring of S-integers O _S of a number field K with respect to a finite set of places S. For each \({n \in \mathbb{N}}\), let \({R_n(\mathbf{G}(O_S))}\) denote the number of irreducible complex representations of \({\mathbf{G}(O_S)}\) of dimension at most n. The degree of representation growth \({\alpha(\mathbf{G}(O_S)) = \lim_{n \rightarrow\infty}\log R_n(\mathbf{G}(O_S)) / \log n}\) is finite if and only if \({\mathbf{G}(O_S)}\) has the weak Congruence Subgroup Property. We establish that for every \({\mathbf{G}(O_S)}\) with the weak Congruence Subgroup Property the invariant \({\alpha(\mathbf{G}(O_S))}\) is already determined by the absolute root system of \({\mathbf{G}}\). To show this we demonstrate that the abscissae of convergence of the representation zeta functions of such groups are invariant under base extensions \({K{\subset}L}\). We deduce from our result a variant of a conjecture of Larsen and Lubotzky regarding the representation growth of irreducible lattices in higher rank semi-simple groups. In particular, this reduces Larsen and Lubotzky’s conjecture to Serre’s conjecture on the weak Congruence Subgroup Property, which it refines.     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

<Emphasis Type="Italic">k</Emphasis>-Extreme Points in Symmetric Spaces of Measurable Operators

Let \({\mathcal{M}}\) be a semifinite von Neumann algebra with a faithful, normal, semifinite trace \({\tau}\) and E be a strongly symmetric Banach function space on \({[0,\tau({\bf 1}))}\) . We show that an operator x in the unit sphere of \({E(\mathcal{M}, \tau)}\) is k-extreme, \({k \in {\mathbb{N}}}\) , whenever its singular value function \({\mu(x)}\) is k-extreme and one of the following conditions hold (i) \({\mu(\infty, x) = \lim_{t\to\infty}\mu(t, x) = 0}\) or (ii) \({n(x)\mathcal{M}n(x^*) = 0}\) and \({|x| \geq \mu(\infty, x)s(x)}\) , where n(x) and s(x) are null and support projections of x, respectively. The converse is true whenever \({\mathcal{M}}\) is non-atomic. The global k-rotundity property follows, that is if \({\mathcal{M}}\) is non-atomic then E is k-rotund if and only if \(E(\mathcal{M}, \tau)\) is k-rotund. As a consequence of the noncommutative results we obtain that f is a k-extreme point of the unit ball of the strongly symmetric function space E if and only if its decreasing rearrangement \({\mu(f)}\) is k-extreme and \({|f| \geq \mu(\infty,f)}\) . We conclude with the corollary on orbits Ω(g) and Ω′(g). We get that f is a k-extreme point of the orbit \({\Omega(g),\,g \in L_1 + L_{\infty}}\) , or \({\Omega'(g),\,g \in L_1[0, \alpha),\,\alpha < \infty}\) , if and only if \({\mu(f) = \mu(g)}\) and \({|f| \geq \mu(\infty, f)}\) . From this we obtain a characterization of k-extreme points in Marcinkiewicz spaces.     

On commutator of generalized Aluthge transformations and Fuglede–Putnam theorem

Let \(A=U|A|\) be the polar decomposition of A on a complex Hilbert space \({\mathscr {H}}\) and \(0<s,t\). Then \({\widetilde{A}}_{s, t}=|A|^sU|A|^t\) and \({\widetilde{A}}_{s, t}^{(*)}=|A^*|^sU|A^*|^t\) are called the generalized Aluthge transformation and generalized \(*\)-Aluthge transformation of A, respectively. A pair (A, B) of operators is said to have the Fuglede–Putnam property (breifly, the FP-property) if \(AX=XB\) implies \(A^*X=XB^*\) for every operator X. We prove that if (A, B) has the FP-property, then \(({\widetilde{A}}_{s, t},{\widetilde{B}}_{s, t})\) and \((({\widetilde{A}}_{s, t})^{*},({\widetilde{B}}_{s, t})^{*})\) has the FP-property for every \(s,t>0\) with \(s+t=1\). Also, we prove that \(({\widetilde{A}}_{s, t},{\widetilde{B}}_{s, t})\) has the FP-property if and only if \((({\widetilde{A}}_{s, t})^{*},({\widetilde{B}}_{s, t})^{*})\) has the FP-property, where A, B are invertible and \( 0 < s, t \) with \( s + t =1\). Moreover, we prove that if \(0 < s, t\) and \({\widetilde{A}}_{s, t}\) is positive and invertible, then \(\left\| {\widetilde{A}}_{s, t}X-X{\widetilde{A}}_{s, t}\right\| \le \left\| A\right\| ^{2t}\left\| ({\widetilde{A}}_{s, t})^{-1}\right\| \left\| X\right\| \) for every operator X. Also, if \( 0 <s, t\) and X is positive, then \(\left\| |{\widetilde{A}}_{s, t}|^{2r} X-X|{\widetilde{A}}_{s, t}|^{2r}\right\| \le \frac{1}{2}\left\| |A|\right\| ^{2r}\left\| X\right\| \) for every \(r>0\).     

Vertex and Edge Orbits of Fibonacci and Lucas Cubes

The Fibonacci cube \({\Gamma_{n}}\) is obtained from the n-cube Q _n by removing all the vertices that contain two consecutive 1s. If, in addition, the vertices that start and end with 1 are removed, the Lucas cube \({\Lambda_{n}}\) is obtained. The number of vertex and edge orbits, the sets of the sizes of the orbits, and the number of orbits of each size, are determined for the Fibonacci cubes and the Lucas cubes under the action of the automorphism group. In particular, the set of vertex orbit sizes of \({\Lambda_{n}}\) is \({\{k \geq 1; k |n\} \cup \{k \geq 18; k |2n\}}\), the number of vertex orbits of \({\Lambda_{n}}\) of size k, where k is odd and divides n, is equal to \({\sum_{d | k} \mu (\frac{k}{d})F_{\lfloor{\frac{d}{2}}\rfloor+2}}\), and the number of edge orbits of \({\Lambda_{n}}\) is equal to the number of vertex orbits of \({\Gamma_{n-3}}\). Dihedral transformations of strings and primitive strings are essential tools to prove these results.     

On complete sequences

A sequence A of nonnegative integers is called complete if all sufficiently large integers can be represented as the sum of distinct terms taken form A. For a sequence \({S=\{s_{1}, s_{2}, \dots\}}\) of positive integers and a positive real number α, let S _α denote the sequence \({\{\lfloor\alpha s_{1}\rfloor, \lfloor\alpha s_{2}\rfloor, \dots\}}\), where \({\lfloor x \rfloor}\) denotes the greatest integer not greater than x. Let \({{U_S = \{\alpha \mid S_\alpha} \, is complete\}}\). Hegyvári [6] proved that if \({\lim_{n\to\infty} (s_{n+1}-s_{n})=+ \infty}\), \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma < 2}\), and \({U_{S}\ne\emptyset}\), then \({\mu(U_{S}) > 0}\), where \({\mu(U_{S})}\) is the Lebesgue measure of U _S . Yong-Gao Chen and the first author [4] proved that, if \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma \leqq 7/4=1.75}\), then \({\mu(U_{S}) > 0}\). In this paper, we prove that the conclusion holds for \({1 < \gamma \leqq \sqrt[4]{13}=1.898\dots\;}\).     

Rectifiability of harmonic measure

In the present paper we prove that for any open connected set \({\Omega\subset\mathbb{R}^{n+1}}\), \({n\geq 1}\), and any \({E\subset \partial \Omega}\) with \({\mathcal{H}^n(E)<\infty}\), absolute continuity of the harmonic measure \({\omega}\) with respect to the Hausdorff measure on E implies that \({\omega|_E}\) is rectifiable. This solves an open problem on harmonic measure which turns out to be an old conjecture even in the planar case \({n=1}\).     

Schatten-Herz Operators,Berezin Transform and Mixed Norm Spaces

For p, q > 0 we study operators T on the Bergman space \({A_{2}(\mathbb{D)}}\) in the disk such that \({\left(\sum_{j}\Vert T\Delta_{j}\Vert_{p}^{q}\right)^{1/q}<\infty,}\) where the norms \({\Vert\cdot\Vert_{p}}\) are in the Schatten class S _p (A ₂), the projection \({\Delta_{j}f=\sum_{n\in I_{j}}a_{n}z^{n}}\) for \({f(z)=\sum_{n=0}^{\infty}a_{n}z^{n}}\) and \({I_{j}=[2^{j}-1,2^{j+1} )\cap(\mathbb{N}\cup\{0\})}\) for \({j\in\mathbb{N}\cup\{0\}.}\) We consider the relation of this property with mixed norms of the Berezin transform of T and of the related function \({f_{T}(z)={\Vert}T(k_{z})\Vert}\) where k _z is the normalized Bergman kernel. These classes of operators denoted by S(p, q) are closely related when assumed to be positive with other sets of operators, like the class of positive operators on A ₂ for which \({\left(\sum_{j\geq0}(\sum_{n\in I_{j}}|\left\langle T^pe_{n},e_{n}\right\rangle |)^{q/p}\right)^{1/q}<\infty}\) , where \({\{e_{n}\}_{n\geq0}}\) is the canonical basis of A ₂; also we study the relation of Toeplitz operators in S(p, q) with the Schatten-Herz classes, where the decomposition is through dyadic annuli of the domain \({\mathbb{D}}\) .     

Local Inverse Scattering at a Fixed Energy for Radial Schrödinger Operators and Localization of the Regge Poles

We study inverse scattering problems at a fixed energy for radial Schrödinger operators on \({\mathbb{R}^n}\), \({n \geq 2}\). First, we consider the class \({\mathcal{A}}\) of potentials q(r) which can be extended analytically in \({\Re z \geq 0}\) such that \({\mid q(z)\mid \leq C \ (1+ \mid z \mid )^{-\rho}}\), \({\rho > \frac{3}{2}}\). If q and \({\tilde{q}}\) are two such potentials and if the corresponding phase shifts \({\delta_l}\) and \({\tilde{\delta}_l}\) are super-exponentially close, then \({q=\tilde{q}}\). Second, we study the class of potentials q(r) which can be split into q(r) = q ₁(r) + q ₂(r) such that q ₁(r) has compact support and \({q_2 (r) \in \mathcal{A}}\). If q and \({\tilde{q}}\) are two such potentials, we show that for any fixed \({a>0, {\delta_l - \tilde{\delta}_l \ = \ o \left(\frac{1}{l^{n-3}}\ \left({\frac{ae}{2l}}\right)^{2l}\right)}}\) when \({l \rightarrow +\infty}\) if and only if \({q(r)=\tilde{q}(r)}\) for almost all \({r \geq a}\). The proofs are close in spirit with the celebrated Borg–Marchenko uniqueness theorem, and rely heavily on the localization of the Regge poles that could be defined as the resonances in the complexified angular momentum plane. We show that for a non-zero super-exponentially decreasing potential, the number of Regge poles is always infinite and moreover, the Regge poles are not contained in any vertical strip in the right-half plane. For potentials with compact support, we are able to give explicitly their asymptotics. At last, for potentials which can be extended analytically in \({\Re z \geq 0}\) with \({\mid q(z)\mid \leq C (1+ \mid z \mid)^{-\rho}}\), \({\rho >1}\), we show that the Regge poles are confined in a vertical strip in the complex plane.     

The heat semigroup on sectorial domains,highly singular initial values and applications

We show that the heat semigroup is well defined on the Banach space \({\mathcal{X}_{m,\gamma} = \{ \psi:\Omega_m \to \mathbb{R} ;\; |x|^{\gamma +2m}(\prod_{i=1}^m x_i)^{-1}\psi(x) \in L^\infty(\Omega_m)\},}\) \({0 < \gamma < N}\), where \({\Omega_m=\{(x_1,\, x_2,\, \ldots,\, x_N) \in \mathbb{R}^{N};\; x_i > 0,\, 1\leq i\leq m\},}\) \({1\leq m\leq N}\). We then investigate the large time behavior of solutions of the heat equation \({u_{t}-\Delta u=0}\) for t > 0 and \({x \in \Omega_m.}\) Using certain notions from dynamical systems, we show that the large time behavior is related to the spatial asymptotic behavior of its initial value. Since the space \({\mathcal{X}_{m, \gamma}}\) contains highly singular initial data, which can be extended to all of \({\mathbb{R}^{N}}\) by antisymmetry, we also obtain new results on the complexity in the asymptotic behavior of solutions for the heat equation on the whole space.     

Bounded Sequences,Orbits and Invariant Subspaces

Let {x _n } be a sequence of complex numbers and let \({\Delta^nx_j = \sum\nolimits_{k=0}^{n} (-1)^k\break\left(\begin{array}{l}n\\ k\\\end{array} \right)x_{n-k+j}}\) . In this paper, we will show that if \({ |x_n| = O(n^k)}\) , as n → ∞ for some positive integer k, and \({n|\Delta^n x_j|^{\frac{1}{n}} \to 0}\) as n→ ∞, then \({\Delta^{k+1} x_j = 0}\) . More importantly, applications to the orbits of operators and invariant subspace problem are also given; this helps to improve former results obtained by Gelfand–Hille, Mbekhta–Zemánek and others.     

Number fields in fibers: the geometrically abelian case with rational critical values

Let X be an algebraic curve over \({\mathbb {Q}}\) and \({t\in {\mathbb {Q}}(X)}\) a non-constant rational function such that \({{\mathbb {Q}}(X)\ne {\mathbb {Q}}(t)}\). For every \({ n \in {\mathbb {Z}}}\) pick \({P_ n \in X(\bar{{\mathbb {Q}}})}\) such that \({t(P_n)=n}\). We conjecture that, for large N, among the number fields \({\mathbb {Q}}(P_1), \ldots , {\mathbb {Q}}(P_N)\) there are at least cN distinct. We prove this conjecture in the special case when \(\bar{{\mathbb {Q}}}(X)/\bar{{\mathbb {Q}}}(t)\) is an abelian field extension and the critical values of t are all rational. This implies, in particular, that our conjecture follows from a more famous conjecture of Schinzel.     

Codes with the identifiable parent property for multimedia fingerprinting

Let \({\mathcal {C}}\) be a q-ary code of length n and size M, and \({\mathcal {C}}(i) = \{\mathbf{c}(i) \ | \ \mathbf{c}=(\mathbf{c}(1), \mathbf{c}(2), \ldots , \mathbf{c}(n))^{T} \in {\mathcal {C}}\}\) be the set of ith coordinates of \({\mathcal {C}}\). The descendant code of a sub-code \({\mathcal {C}}^{'} \subseteq {\mathcal {C}}\) is defined to be \({\mathcal {C}}^{'}(1) \times {\mathcal {C}}^{'}(2) \times \cdots \times {\mathcal {C}}^{'}(n)\). In this paper, we introduce a multimedia analogue of codes with the identifiable parent property (IPP), called multimedia IPP codes or t-MIPPC(n, M, q), so that given the descendant code of any sub-code \({\mathcal {C}}^{'}\) of a multimedia t-IPP code \({\mathcal {C}}\), one can always identify, as IPP codes do in the generic digital scenario, at least one codeword in \({\mathcal {C}}^{'}\). We first derive a general upper bound on the size M of a multimedia t-IPP code, and then investigate multimedia 3-IPP codes in more detail. We characterize a multimedia 3-IPP code of length 2 in terms of a bipartite graph and a generalized packing, respectively. By means of these combinatorial characterizations, we further derive a tight upper bound on the size of a multimedia 3-IPP code of length 2, and construct several infinite families of (asymptotically) optimal multimedia 3-IPP codes of length 2.     

<Emphasis Type="Italic">G</Emphasis>-algebras,Twistings, and Equivalences of Graded Categories

Given \({\mathbb Z}\)-graded rings A and B, we ask when the graded module categories gr-A and gr-B are equivalent. Using \({\mathbb Z}\)-algebras, we relate the Morita-type results of Áhn-Márki and del Río to the twisting systems introduced by Zhang, and prove, for example: Theorem If A and B are \({\mathbb Z}\) -graded rings, then: (1) A is isomorphic to a Zhang twist of B if and only if the \({\mathbb Z}\) -algebras \(\overline{A} = \bigoplus_{i,j \in {\mathbb Z}} A_{j-i}\) and \(\overline{B} = \bigoplus_{i,j \in {\mathbb Z}} B_{j-i}\) are isomorphic. (2) If A and B are connected graded with A ₁?≠?0, then gr-A???gr-?B if and only if \(\overline{A}\) and \( \overline{B}\) are isomorphic. This simplifies and extends Zhang’s results.     

Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).