Related papers: No free lunch for effective potentials: general co…
In this paper I propose a new model for representing the formation energies of multicomponent crystalline alloys as a function of atom types. In the cases when displacements of atoms from their equilibrium positions are not large, the…
In this paper, we consider the simultaneous representation of pairs of sufficiently large integers. We prove that every pair of large positive odd integers can be represented in the form of a pair of one prime, four cubes of primes and 231…
In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure…
Theoretical treatments of strong-field physics have long relied on the numerical solution of the time-dependent Schr\"odinger equation. The most effective such treatments utilize a discrete spatial representation---a grid. Since most…
We study the motion of an overdamped particle connected to a thermal heat bath in the presence of an external periodic potential in one dimension. When we coarse-grain, i.e., bin the particle positions using bin sizes that are larger than…
Functorial semi-norms are semi-normed refinements of functors such as singular (co)homology. We investigate how different types of representability affect the (non-)triviality of finite functorial semi-norms on certain functors or classes.…
The necessity of computing integrals with complex weights over manifolds with a large number of dimensions, e.g., in some field theoretical settings, poses a problem for the use of Monte Carlo techniques. Here it is shown that very general…
Traditional studies of combinatorial auctions often only consider linear constraints. The rise of smart grid presents a new class of auctions, characterized by quadratic constraints. This paper studies the {\em complex-demand knapsack…
Our paper [Phys. Rev. A 93, 052512 (2016)], proposing a novel form of single determinant wave function that admits non-idempotent 1-electron density matrices, has recently received a Comment [Phys. Rev. A ??, 0????? (2017)] suggesting a…
Two-particle Green's functions and the vertex functions play a critical role in theoretical frameworks for describing strongly correlated electron systems. However, numerical calculations at two-particle level often suffer from large…
The study on the expressive power of transformers shows that transformers are permutation equivariant, and they can approximate all permutation-equivariant continuous functions on a compact domain. However, these results are derived under…
Binary relations are an important abstraction arising in many data representation problems. The data structures proposed so far to represent them support just a few basic operations required to fit one particular application. We identify…
The problem of inferring the outcome of a simultaneous measurement of two non-commuting observables is addressed. We show that for certain pairs with dense spectra, precise inferences of the measurement outcomes are possible in pre-and…
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of "expressive power" is. We formalize the intuition that expressive power is a measure…
It is shown that, contrary to widely held beliefs, the potentials of spin-density-functional theory (SDFT) are not unique functionals of the spin densities. Explicit examples of distinct sets of potentials with the same ground-state…
Various topics concerning the entanglement of composite quantum systems are considered with particular emphasis concerning the strict relations of such a problem with the one of attributing objective properties to the constituents. Most of…
One of the most intriguing aspects of Quantum Mechanics is the impossibility of measuring at the same time observables corresponding to non-commuting operators. This impossibility can be partially relaxed when considering joint or…
Marginalization -- summing a function over all assignments to a subset of its inputs -- is a fundamental computational problem with applications from probabilistic inference to formal verification. Despite its computational hardness in…
A potential can have features that do not reflect the dynamics of the system it describes but rather arise from the choice of interpolating fields used to define it. This is illustrated using a toy model of scattering with two coupled…
This article studies two notions of generalized matroid representations motivated by algorithmic information theory and cryptographic secret sharing. The first (entropic representability) involves discrete random variables, while the second…