It is a classical result of Sobolev spaces that any $H^1$ function has a well-defined $H^{1/2}$ trace on the boundary of a sufficient regular domain. We discuss its recent extensions given in \cite{TiDu16} in some heterogeneously localized nonlocal function spaces. The new trace theorems are stronger and more general than the classical result. They can be established essentially for all functions having only square integrability away from the boundary or in any compact subset of interior domain. Yet, the heterogeneous localization offers the necessary regularity precisely at the boundary to have well-defined traces. A consequence is that we may study associated Dirichlet type boundary value problems, as well as the coupling of local and nonlocal equations through co-dimension-1 interfaces. %Their derivations not only involve various extensions of classical inequalities but also %require new techniques absent from traditional approaches.

No abstract uploaded!

Graph theory is important in information theory. We introduce a quantization process on graphs and apply the quantized graphs in quantum information. The quon language provides a mathematical theory to study such quantized graphs in a general framework. We give a new method to construct graphical quantum error correcting codes on quantized graphs and characterize all optimal ones. We establish a further connection to geometric group theory and construct quantum low-density parity-check stabilizer codes on the Cayley graphs of groups. Their logical qubits can be encoded by the ground states of newly constructed exactly solvable models with translation-invariant local Hamiltonians. Moreover, the Hamiltonian is gapped in the large limit when the underlying group is infinite.

In this paper we analyze the Kahrobaei-Lam-Shpilrain (KLS) key exchange protocols that use extensions by endomorpisms of matrices over a Galois field proposed in \cite{Kahrobaei-Lam-Shpilrain:2014}. We show that both protocols are vulnerable to a simple linear algebra attack.

In this paper, we present a staggered discontinuous Galerkin immersed boundary method (SDGIBM) for the numerical approximation of fluid-structure interaction. The immersed boundary method is used to model the fluid-structure interaction, while the fluid flow is governed by incompressible Navier-Stokes equations. One advantage of using Galerkin method over the finite difference method with immersed boundary method is that we can avoid approximations of the Dirac Delta function. Another key ingredient of our method is that our solver for incompressible Navier-Stokes equations combines the advantages of discontinuous Galerkin methods and staggered meshes, and results in many good properties, namely local and global conservations and pointwise divergence-free velocity field by a local postprocessing technique. Furthermore, energy stability is improved by a skew-symmetric discretization of the convection term. We will present numerical results to show the performance of the method.