Related papers: Combinatorics of hexagonal fully packed loop confi…
We perform computational studies of static packings of a variety of nonspherical particles including circulo-lines, circulo-polygons, ellipses, asymmetric dimers, and dumbbells to determine which shapes form hypostatic versus isostatic…
A code of length $n$ is said to be (combinatorially) $(\rho,L)$-list decodable if the Hamming ball of radius $\rho n$ around any vector in the ambient space does not contain more than $L$ codewords. We study a recently introduced class of…
For an integer $m\geq 1$, a combinatorial manifold $\widetilde{M}$ is defined to be a geometrical object $\widetilde{M}$ such that for $\forall p\in\widetilde{M}$, there is a local chart $(U_p,\phi_p)$ enable $\phi_p:U_p\to…
We investigate in the paper general (not necessarily definite) canonical systems of differential equation in the framework of extension theory of symmetric linear relations. For this aim we first introduce the new notion of a boundary…
We propose that a system of colloidal particles interacting with a honeycomb array of optical traps that each contain three wells can be used to realize a fully packed loop model. One of the phases in this system can be mapped to Baxter's…
In this study, we discuss a new type of bulk-boundary correspondence which holds for topological insulators and superconductors when the parity-time ($PT$) and/or parity-particle-hole ($PC$) symmetry are present. In these systems, even when…
We present in this talk a series of new results on the nature of a bound state or resonance based on the calculation of the expectation values of the number operators of the free particles in the state of interest. In this way, a new…
The desirable properties when constructing collections of subspaces often include the algebraic constraint that the projections onto the subspaces yield a resolution of the identity like the projections onto lines spanned by vectors of an…
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed \lambda-calculus and the modal \lambda-calculus. This makes it a highly expressive temporal logic that is capable of expressing various interesting correctness properties of…
The quantum metrological performance of spin coherent states superposition is considered, and conditions for measurements with the Heisenberg-limit (HL) precision are identified. It is demonstrated that the choice of the…
In this paper we introduce a new operation for Linear Programming (LP), called LP complementation, which resembles many properties of LP duality. Given a maximisation (resp.~minimisation) LP $P$, we define its complement $Q$ as a specific…
We consider (symmetric, non-degenerate) bilinear spaces over a finite field and investigate the properties of their $\ell$-complementary subspaces, i.e., the subspaces that intersect their dual in dimension $\ell$. This concept generalizes…
We consider the initial-boundary value problem for systems of quasilinear wave equations on domains of the form $[0,T] \times \Sigma$, where $\Sigma$ is a compact manifold with smooth boundaries $\partial\Sigma$. By using an appropriate…
This paper obtains a completeness result for inequational reasoning with applicative terms without variables in a setting where the intended semantic models are the full structures, the full type hierarchies over preorders for the base…
A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…
It is shown that any separable state on Hilbert space ${\cal H}={\cal H}_1\otimes{\cal H}_2$, can be written as a convex combination of N pure product states with $N\leq (dim{\cal H})^2$. Then a new separability criterion for mixed states…
This paper concerns frames and equiangular lines over finite fields. We find a necessary and sufficient condition for systems of equiangular lines over finite fields to be equiangular tight frames (ETFs). As is the case over subfields of…
Coherent states for power-law potentials are constructed using generalized Heisenberg algabras. Klauder's minimal set of conditions required to obtain coherent states are satisfied. The statistical properties of these states are…
In computational models of particle packings with periodic boundary conditions, it is assumed that the packing is attached to exact copies of itself in all possible directions. The periodicity of the boundary then requires that all of the…
We present a new formulation of the multipolar expansion of an exact boundary condition for the wave equation, which is truncated at the quadrupolar order. Using an auxiliary function, that is the solution of a wave equation on the sphere…