Related papers: Extended Abstract: Partial-encapsulate and Its Sup…
We investigate the use of half-precision floating-point numbers (FP16) in mixed-precision linear solvers for lattice QCD simulations. Since the emergence of GPUs for general-purpose, mixed-precision algorithms that combine single-precision…
We consider a fractionally damped oscillator, where the damping term is expressed by the Caputo fractional derivative of order $\beta\in (0,1).$ The impulse response of this oscillator can be expressed in terms of the bivariate…
Designing hardware is a time-consuming and complex process. Realization of both, embedded and high-performance applications can benefit from a design process on a higher level of abstraction. This helps to reduce development time and allows…
The ability of entangled states to act as resource for teleportation is linked to a property of the fully entangled fraction. We show that the set of states with their fully entangled fraction bounded by a threshold value required for…
Computational power can be measured by assigning an algebraic structure to a computational device. Here, we convert a small patch of Conway's Game of Life into a transformation semigroup. The conversion captures not only time evolution but…
We study the capacity of entanglement as an alternative to entanglement entropies in estimating the degree of entanglement of quantum bipartite systems over fermionic Gaussian states. In particular, we derive the exact and asymptotic…
The goal of this note is to show that continuous functions may be approximated using scattered translates of the Poisson kernel.
We describe the implementation of the frozen-orbital and downfolding approximations in the auxiliary-field quantum Monte Carlo (AFQMC) method. These approaches can provide significant computational savings compared to fully correlating all…
We investigate the generation of entanglement (spin squeezing) in an optical-transition atomic clock through the coupling to a vacuum electromagnetic field that is enhanced by an optical cavity. We show that if each atom is prepared in a…
We formulate a notion of modular form on the double half-plane for half-integral weights and explain its relationship to the usual notion of modular form. The construction we provide is compatible with certain physical considerations due to…
We study two-dimensional conformal field theories (CFTs) with boundaries via the conformal bootstrap. We derive a positive semi-definite program from crossing symmetry of three observables: the annulus partition function, the two-point…
Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory. We…
We use the spin-polarized excitons in a single quantum dot to design optical controls for basic operations in quantum computing. We examine the ultrafast nonlinear optical processes required and use the coherent nonlinear optical responses…
There are several approaches for encoding source code in the input vectors of neural models. These approaches attempt to include various syntactic and semantic features of input programs in their encoding. In this paper, we investigate…
Spingarn's method of partial inverses has found many applications in nonlinear analysis and in optimization. We show that it can be employed to solve composite monotone inclusions in duality, thus opening a new range of applications for the…
Communication fabrics play a key role in the correctness and performance of modern multi-core processors and systems-on-chip. To enable formal verification, a recent trend is to use high-level micro-architectural models to capture…
We consider nonlinear effective actions for a spin-2 field, whose `decoupling' limit gives Fierz-Pauli action in D dimensional maximally symmetric spacetime. We find, especially, the effective action for a partially massless field can take…
We study the effective forces acting between colloidal particles trapped at a fluid interface which itself is exposed to a pressure field. To this end we apply what we call the ``force approach'', which relies solely on the condition of…
In this paper, we completely characterize when two dual truncated Toeplitz operators are essentially commuting and when the semicommutator of two dual truncated Toeplitz operators is compact. Our main idea is to study dual truncated…
Centered weighted composition operators on $L^2$-spaces are characterized. The characterization is obtained without the assumption that the operator is a product of a multiplication and a composition operator. The concept of spectrally…