On the number of Waring decompositions for a generic polynomial vector

We prove that a general polynomial vector $(f_1,f_2,f_3)$ in three homogeneous variables of degrees $(3,3,4)$ has a unique Waring decomposition of rank 7. This is the first new case we are aware of, and likely the last one, after five examples known since the 19th century and the binary case. We prove that there are no identifiable cases among pairs $(f_1,f_2)$ in three homogeneous variables of degree $(a,a+1)$, unless $a=2$, and we give a lower bound on the number of decompositions. The new example was discovered with Numerical Algebraic Geometry, while its proof needs Nonabelian Apolarity.     

Proof of a conjecture on monomial graphs

Let e be a positive integer, p be an odd prime, $q=p^e$, and ${\mathbb{F}}_q$ be the finite field of q elements. Let $f,g\in {\mathbb{F}}_q[X,Y]$. The graph $G_q(f,g)$ is a bipartite graph with vertex partitions $P={\mathbb{F}}_q^3$ and $L={\mathbb{F}}_q^3$, and edges defined as follows: a vertex $(p)=(p_1,p_2,p_3)\in P$ is adjacent to a vertex $[l]=[l_1,l_2,l_3]\in L$ if and only if $p_2+l_2=f(p_1,l_1)$ and $p_3+l_3=g(p_1,l_1)$. If $f=XY$ and $g=X{Y}^2$, the graph $G_q(XY,X{Y}^2)$ contains no cycles of length less than eight and is edge-transitive. Motivated by certain questions in extremal graph theory and finite geometry, people search for examples of graphs $G_q(f,g)$ containing no cycles of length less than eight and not isomorphic to the graph $G_q(XY,X{Y}^2)$, even without requiring them to be edge-transitive. So far, no such graphs $G_q(f,g)$ have been found. It was conjectured that if both f and g are monomials, then no such graphs exist. In this paper we prove the conjecture.     

Bivariate identities related to Chebyshev and Dickson polynomials over Fq

Let ${\mathbb{F}}_q$ be a field of q elements, where q is a power of an odd prime p. The polynomial $f(y)\in {\mathbb{F}}_q[y]$ defined by$f(y):={(1+\sqrt{y})}^{(q+1)/2}+{(1-\sqrt{y})}^{(q+1)/2}$ has the property that$f(1-y)=\rho (2)f(y),$ where ρ is the quadratic character on ${\mathbb{F}}_q$. This univariate identity was applied to prove a recent theorem of N. Katz. We formulate and prove a bivariate extension, and give an application to quadratic residuacity.     

Minimal homogeneous Steiner 2-(v,3) trades

A Steiner 2-$(v,3)$ trade is a pair $(T_1,T_2)$ of disjoint partial Steiner triple systems, each on the same set of $v$ points, such that each pair of points occurs in $T_1$ if and only if it occurs in $T_2$. A Steiner 2-$(v,3)$ trade is called d-homogeneous if each point occurs in exactly d blocks of $T_1$ (or $T_2$). In this paper we construct minimal d-homogeneous Steiner 2-$(v,3)$ trades of foundation $v$ and volume $\mathit{dv}/3$ for sufficiently large values of $v$. (Specifically, $v>3(1.75d^2+3)$ if $v$ is divisible by 3 and $v>d(4^{d/3+1}+1)$ otherwise.)     

On parabolic Kazhdan–Lusztig R-polynomials for the symmetric group

Parabolic R-polynomials were introduced by Deodhar as parabolic analogues of ordinary R-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic R-polynomials for the symmetric group. Let $S_n$ be the symmetric group on $\{1,2,\dots ,n\}$, and let $S=\{s_i|1\le i\le n?1\}$ be the generating set of $S_n$, where for $1\le i\le n?1$, $s_i$ is the adjacent transposition. For a subset $J?S$, let ${(S_n)}_J$ be the parabolic subgroup generated by J, and let ${(S_n)}^J$ be the set of minimal coset representatives for $S_n/{(S_n)}_J$. For $u\le v\in {(S_n)}^J$ in the Bruhat order and $x\in \{q,?1\}$, let $R_{u,v}^{J,x}(q)$ denote the parabolic R-polynomial indexed by u and v. Brenti found a formula for $R_{u,v}^{J,x}(q)$ when $J=S?\{s_i\}$, and obtained an expression for $R_{u,v}^{J,x}(q)$ when $J=S?\{s_{i?1},s_i\}$. In this paper, we provide a formula for $R_{u,v}^{J,x}(q)$, where $J=S?\{s_{i?2},s_{i?1},s_i\}$ and i appears after $i?1$ in v. It should be noted that the condition that i appears after $i?1$ in v is equivalent to that v is a permutation in ${(S_n)}^{S?\{s_{i?2},s_i\}}$. We also pose a conjecture for $R_{u,v}^{J,x}(q)$, where $J=S?\{s_k,s_{k+1},\dots ,s_i\}$ with $1\le k\le i\le n?1$ and v is a permutation in ${(S_n)}^{S?\{s_k,s_i\}}$.     

Non-level semi-standard graded Cohen–Macaulay domain with h-vector (h0,h1,h2)

Let $\mathbb{k}$ be an algebraically closed field of characteristic 0, and $A={?}_{i\in \mathbb{N}}{A}_i$ a Cohen–Macaulay graded domain with $A_0=\mathbb{k}$. If A is semi-standard graded (i.e., A is finitely generated as a $\mathbb{k}[A_1]$-module), it has the h-vector$(h_0,h_1,\dots ,h_s)$, which encodes the Hilbert function of A. From now on, assume that $s=2$. It is known that if A is standard graded (i.e., $A=\mathbb{k}[A_1]$), then A is level. We will show that, in the semi-standard case, if A is not level, then $h_1+1$ divides $h_2$. Conversely, for any positive integers h and n, there is a non-level A with the h-vector $(1,h,(h+1)n)$. Moreover, such examples can be constructed as Ehrhart rings (equivalently, normal toric rings).     

Gagliardo–Nirenberg inequalities and non-inequalities: The full story

We investigate the validity of the Gagliardo–Nirenberg type inequality

(1)${6f6}_{W^{s,p}(\mathrm{\Omega })}?{6f6}_{W^{s_1,p_1}(\mathrm{\Omega })}^{\theta }{6f6}_{W^{s_2,p_2}(\mathrm{\Omega })}^{1?\theta },$

with $\mathrm{\Omega }?{\mathbb{R}}^N$. Here, $0\le s_1\le s\le s_2$ are non negative numbers (not necessarily integers), $1\le p_1,p,p_2\le \infty$, and we assume the standard relations

$s=\theta s_1+(1?\theta )s_2,1/p=\theta /p_1+(1?\theta )/p_2\text{ for some }\theta \in (0,1).$

By the seminal contributions of E. Gagliardo and L. Nirenberg, (1) holds when $s_1,s_2,s$ are integers. It turns out that (1) holds for “most” of values of $s_1,\dots ,p_2$, but not for all of them. We present an explicit condition on $s_1,s_2,p_1,p_2$ which allows to decide whether (1) holds or fails.     

The E-normal structure of odd dimensional unitary groups

In this paper we define odd dimensional unitary groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$. These groups contain as special cases the odd dimensional general linear groups ${\mathrm{GL}}_{2n+1}(R)$ where R is any ring, the odd dimensional orthogonal and symplectic groups ${\mathrm{O}}_{2n+1}(R)$ and ${\mathrm{Sp}}_{2n+1}(R)$ where R is any commutative ring and further the first author's even dimensional unitary groups ${\mathrm{U}}_{2n}(R,\mathrm{\Lambda })$ where $(R,\mathrm{\Lambda })$ is any form ring. We classify the E-normal subgroups of the groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ (i.e. the subgroups which are normalized by the elementary subgroup ${\mathrm{EU}}_{2n+1}(R,\mathrm{\Delta })$), under the condition that R is either a semilocal or quasifinite ring with involution and $n\ge 3$. Further we investigate the action of ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ by conjugation on the set of all E-normal subgroups.     

Pairs of quadratic forms over a quadratic field extension

Let F be a field of characteristic distinct from 2, $L=F(\sqrt{d})$ a quadratic field extension. Let further f and g be quadratic forms over L considered as polynomials in n variables, $M_f$, $M_g$ their matrices. We say that the pair $(f,g)$ is a k-pair if there exist $S\in G{L}_n(L)$ such that all the entries of the $k\times k$ upper-left corner of the matrices $S{M}_f{S}^t$ and $S{M}_g{S}^t$ are in F. We give certain criteria to determine whether a given pair $(f,g)$ is a k-pair. We consider the transfer ${\mathrm{cor}}_{L(t)/F(t)}$ determined by the $F(t)$-linear map $s:L(t)\to F(t)$ with $s(1)=0$, $s(\sqrt{d})=1$, and prove that if $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a $[\frac{k+1}{2}]$-pair. If, additionally, the form $f+tg$ does not have a totally isotropic subspace of dimension $p+1$ over $L(t)$, we show that $(f,g)$ is a $(k?2p)$-pair. In particular, if the form $f+tg$ is anisotropic, and $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a k-pair.     

L'inégalité de Bohr pour les séries de Dirichlet

We extend to the setting of Dirichlet series previous results of Bohr for Taylor series in one variable, themselves generalized by Paulsen, Popescu and Singh or extended to several variables by Aizenberg, Boas and Khavinson. We show in particular that, if $f(s)={\sum }_{n=1}^{\infty }{a}_n{n}^{?s}$, with $6f{6}_{\infty }:={\sup }_{\mathfrak{R}s>0}|f(s)|<\infty$, then ${\sum }_{n=1}^{\infty }|a_n|n^{\mathrm{?2}}?6f{6}_{\infty }$ and even slightly better, and ${\sum }_{n=1}^{\infty }|a_n|n^{?1/2}?C6f{6}_{\infty }$, C being an absolute constant. To cite this article: R. Balasubramanian et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).