Energy conservation for the weak solutions to the ideal inhomogeneous magnetohydrodynamic equations in a bounded domain

In this paper, we prove the energy conservation for the weak solutions of the three-dimensional ideal inhomogeneous magnetohydrodynamic (MHD) equations in a bounded domain. Two types of sufficient conditions on the regularity of the weak solutions are provided to ensure the energy conservation. Due to the presence of the boundary, we need to impose the boundedness in $L^p$ and the continuity in $L^{\frac{p}{p-2}}$ for the velocity and magnetic fields near the boundary.     

Vanishing viscosity solutions for conservation laws with regulated flux

In this paper we introduce a concept of “regulated function” $v(t,x)$ of two variables, which reduces to the classical definition when v is independent of t. We then consider a scalar conservation law of the form $u_t+F{(v(t,x),u)}_x=0$, where F is smooth and v is a regulated function, possibly discontinuous w.r.t. both t and x. By adding a small viscosity, one obtains a well posed parabolic equation. As the viscous term goes to zero, the uniqueness of the vanishing viscosity limit is proved, relying on comparison estimates for solutions to the corresponding Hamilton–Jacobi equation.As an application, we obtain the existence and uniqueness of solutions for a class of $2\times 2$ triangular systems of conservation laws with hyperbolic degeneracy.     

A local–global principle for surjective polynomial maps

Let R be an affine domain of characteristic zero with finite quotients. We prove that a polynomial map over R is surjective if and only if it is surjective over $\stackrel{?}{R_{\mathfrak{m}}}$, the completion of R with respect to $\mathfrak{m}$, for every maximal ideal $\mathfrak{m}?R$. In fact, the completions $\stackrel{?}{R_{\mathfrak{m}}}$ may be replaced by arbitrary subrings containing R. We use this result to yield a characterization of surjective polynomial maps, and remark that there does not exist a similar principle for injective polynomial maps.     

Elementary proofs of infinitely many congruences for k-elongated partition diamonds

In 2007, Andrews and Paule published the eleventh paper in their series on MacMahon's partition analysis, with a particular focus on broken k-diamond partitions. On the way to broken k-diamond partitions, Andrews and Paule introduced the idea of k-elongated partition diamonds. Recently, Andrews and Paule revisited the topic of k-elongated partition diamonds. Using partition analysis and the Omega operator, they proved that the generating function for the partition numbers $d_k(n)$ produced by summing the links of k-elongated plane partition diamonds of length n is given by $\frac{{(q^2;q^2)}_{\infty }^k}{{(q;q)}_{\infty }^{3k+1}}$ for each $k\ge 1$. A significant portion of their recent paper involves proving several congruence properties satisfied by $d_1,d_2$ and $d_3$, using modular forms as their primary proof tool. In this work, our goal is to extend some of the results proven by Andrews and Paule in their recent paper by proving infinitely many congruence properties satisfied by the functions $d_k$ for an infinite set of values of k. The proof techniques employed are all elementary, relying on generating function manipulations and classical q-series results.     

Fq-linear codes over Fq-algebras

Huffman (2013) [12] studied ${\mathbb{F}}_q$-linear codes over ${\mathbb{F}}_{q^m}$ and he proved the MacWilliams identity for these codes with respect to ordinary and Hermitian trace inner products. Let S be a finite commutative ${\mathbb{F}}_q$-algebra. An ${\mathbb{F}}_q$-linear code over S of length n is an ${\mathbb{F}}_q$-submodule of $S^n$. In this paper, we study ${\mathbb{F}}_q$-linear codes over S. We obtain some bounds on minimum distance of these codes, and some large classes of MDR codes are introduced. We generalize the ordinary and Hermitian trace products over ${\mathbb{F}}_q$-algebras and we prove the MacWilliams identity with respect to the generalized form. In particular, we obtain Huffman's results on the MacWilliams identity. Among other results, we give a theory to construct a class of quantum codes and the structure of ${\mathbb{F}}_q$-linear codes over finite commutative graded ${\mathbb{F}}_q$-algebras.     

Simply connected open 3-manifolds with slow decay of positive scalar curvature

The goal of this paper is to investigate the topological structure of open simply connected 3-manifolds whose scalar curvature has a slow decay at infinity. In particular, we show that the Whitehead manifold does not admit a complete metric whose scalar curvature decays slowly, and in fact that any contractible complete 3-manifolds with such a metric is diffeomorphic to ${\mathbb{R}}^3$. Furthermore, using this result, we prove that any open simply connected 3-manifold M with ${\pi }_2(M)=\mathbb{Z}$ and a complete metric as above is diffeomorphic to ${\mathbb{S}}^2\times \mathbb{R}$.     

Group-invariant solutions for the Ricci curvature equation and the Einstein equation

We consider the pseudo-Euclidean space $({\mathbb{R}}^n,g)$, $n\ge 3$, with coordinates $x=(x_1,\dots ,x_n)$ and metric $g_{ij}={\delta }_{ij}{?}_i$, ${?}_i=\pm 1$, where at least one ${?}_i$ is positive, and also tensors of the form $A={\sum }_{i,j}{A}_{ij}d{x}_{i}d{x}_j$, such that $A_{ij}$ are differentiable functions of x. For such tensors, we use Lie point symmetries to find metrics $\stackrel{￣}{g}=\frac{1}{u^2}g$ that solve the Ricci curvature and the Einstein equations. We provide a large class of group-invariant solutions and examples of complete metrics $\stackrel{￣}{g}$ defined globally in ${\mathbb{R}}^n$. As consequences, for certain functions $\stackrel{￣}{K}$, we show complete metrics $\stackrel{￣}{g}$, conformal to the pseudo-Euclidean metric g, whose scalar curvature is $\stackrel{￣}{K}$.     

Symmetrizers for Schur superalgebras

For the Schur superalgebra $S=S(m|n,r)$ over a ground field K of characteristic zero, we define the symmetrizer $T^{\lambda }[i:j]$ of the ordered pairs of tableaux $(T_i,T_j)$ of the shape λ. We show that the K-span $A_{\lambda ,K}$ of all symmetrizers $T^{\lambda }[i:j]$ has a basis consisting of $T^{\lambda }[i:j]$ for $T_i$ and $T_j$ semistandard. In particular, $A_{\lambda ,K}\ne 0$ if and only if λ is an $(m|n)$-hook partition. In this case, the S-superbimodule $A_{\lambda ,K}$ is identified as $D_{\lambda }{?}_K{D}_{\lambda }^o$, where $D_{\lambda }$ and $D_{\lambda }^o$ are left and right irreducible S-supermodules of the highest weight λ.We define modified symmetrizers $T^{\lambda }\{i:j\}$ and show that their $\mathbb{Z}$-span forms a $\mathbb{Z}$-form $A_{\lambda ,\mathbb{Z}}$ of $A_{\lambda ,\mathbb{Q}}$. We show that every modified symmetrizer $T^{\lambda }\{i:j\}$ is a $\mathbb{Z}$-linear combination of modified symmetrizers $T^{\lambda }\{i:j\}$ for $T_i,T_j$ semistandard. Using modular reduction to a field K of characteristic $p>2$, we obtain that $A_{\lambda ,K}$ has a basis consisting of modified symmetrizers $T^{\lambda }\{i:j\}$ for $T_i$ and $T_j$ semistandard.     

Optimal lower eigenvalue estimates for Hodge-Laplacian and applications

We consider the eigenvalue problem for Hodge-Laplacian on a Riemannian manifold M isometrically immersed into another Riemannian manifold $\overline{M}$. We first assume the pull back Weitzenböck operator of $\overline{M}$ bounded from below, and obtain an extrinsic lower bound for the first eigenvalue of Hodge-Laplacian. As applications, we obtain some rigidity results. Second, when the pull back Weitzenböck operator of $\overline{M}$ bounded from both sides, we give a lower bound of the first eigenvalue by the Ricci curvature of M and some extrinsic geometry. As a consequence, we prove a weak Ejiri type theorem, that is, if the Ricci curvature bounded from below pointwisely by a function of the norm square of the mean curvature vector, then M is a homology sphere. In the end, we give an example to show that all the eigenvalue estimates are optimal when $\overline{M}$ is the space form.     

Additive G-codes over Fq and their dualities

We define additive G-codes over finite fields. We prove that if C is an additive G-code over ${\mathbb{F}}_q$ with duality M then its dual with respect to this duality $C^M$ is an additive G-code. We prove that if M and $M^{\prime }$ are two dualities, then $C^M$ and $C^{M^{\prime }}$ are equivalent codes. Finally, we study the existence of self-dual codes for a variety of dualities and relate them to formally self-dual and linear self-dual codes.     

A note on Hadwiger’s conjecture for W5-free graphs with independence number two

The Hadwiger number of a graph $G$, denoted $h\left(G\right)$, is the largest integer $t$ such that $G$ contains $K_t$ as a minor. A famous conjecture due to Hadwiger in 1943 states that for every graph $G$, $h\left(G\right)\ge \chi \left(G\right)$, where $\chi \left(G\right)$ denotes the chromatic number of $G$. Let $\alpha \left(G\right)$ denote the independence number of $G$. A graph is $H$-free if it does not contain the graph $H$ as an induced subgraph. In 2003, Plummer, Stiebitz and Toft proved that $h\left(G\right)\ge \chi \left(G\right)$ for all $H$-free graphs $G$ with $\alpha \left(G\right)\le 2$, where $H$ is any graph on four vertices with $\alpha \left(H\right)\le 2$, $H=C_5$, or $H$ is a particular graph on seven vertices. In 2010, Kriesell subsequently generalized the statement to include all forbidden subgraphs $H$ on five vertices with $\alpha \left(H\right)\le 2$. In this note, we prove that $h\left(G\right)\ge \chi \left(G\right)$ for all $W_5$-free graphs $G$ with $\alpha \left(G\right)\le 2$, where $W_5$ denotes the wheel on six vertices.