Sound is a fundamental and rich source of information;playing a key role in many areas from humanities and social sciences through to engineering and mathematics. Sound is more than just data ‘signals’. It encapsula...
详细信息
We consider the Schur-positivity of monomial immanants of Jacobi-Trudi matrices, in particular whether a non-negative coefficient of the trivial Schur function implies non-negative coefficients for other Schur functio...
详细信息
We present a theoretical and computational model for the behavior of a porous solid undergoing two interdependent processes, the finite deformation of a solid and species migration through the solid, which are distinc...
详细信息
We consider chiral fermionic conformal field theories constructed from classical error-correcting codes and provide a systematic way of computing their elliptic genera. We exploit the U(1) current of the N = 2 superco...
详细信息
We consider an insurance market consisting of multiple competitive insures with a mean filed interaction via their terminal wealths under the exponential performance. It is assumed that each insurer regulates her risk...
详细信息
The Morava E-theories, En, are complex-oriented 2-periodic ring spectra, with homotopy groups WFpn [[u1, u2, ..., un−1]][u, u−1]. Here W denotes the Witt vector ring. En is a Landweber exact spectrum and hence uniquel...
详细信息
When R is one of the spectra ku, ko, tmf , MTSpinc, MTSpin, or MTString, there is a standard approach to computing twisted R-homology groups of a space X with the Adams spectral sequence, by using a change-of-rings is...
详细信息
We study the distribution of orbits of a lattice Γ ≤ SL(3, R) in the moduli space X2,3 of covolume one rank-two discrete subgroups in R3. Each orbit is dense, and our main result is the limiting distribution of thes...
详细信息
We analyse the CFT-data of planar 4D N = 4 Super-Yang-Mills theory at strong coupling. By combining spectral data extracted from integrability, with recent advances in computing the AdS Virasoro-Shapiro amplitude, we ...
详细信息
Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, inc...
详细信息
Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum programming. We describe one linear and one affine type systems and we formulate abstract categorical models for both of them which are sound and computationally adequate. We also show, under basic assumptions, that interpreting lambda abstractions via a monoidal closed structure (a popular method for linear type systems) necessarily leads to degenerate and inadequate models for call-by-value affine type systems with recursion. In our categorical treatment, a solution to this problem is clearly presented. Our categorical models are more general than linear/non-linear models used to study linear logic and we present a homogeneous categorical account of both linear and affine type systems in a call-by-value setting. We also give examples with many concrete models, including classical and quantum ones.
暂无评论