相关论文: Product of Invariant Types Modulo Domination-Equiv…
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
We show that if a numerical method is posed as a sequence of operators acting on data and depending on a parameter, typically a measure of the size of discretization, then consistency, convergence and stability can be related by a…
A matrix modeling formulation for translation-invariant noncommutative gauge theories is given in the setting of differential graded algebras and quantum groups. Translation-invariant products are discussed in the setting of…
We consider inhomogeneous matrix products over max-plus algebra, where the matrices in the product satisfy certain assumptions under which the matrix products of sufficient length be rank-one, as it was shown in [6][L. Shue, B.D.O.…
The f-invariant is a higher version of the e-invariant that takes values in the divided congruences between modular forms; it can be formulated as an elliptic genus of manifolds with corners of codimension two. In this thesis, we develop a…
We suggest a new approach to creation of general market equilibrium models involving economic agents with local and partial knowledge about the system and under different restrictions. The market equilibrium problem is then formulated as a…
Let G be a finite group. We study the group of G-equivariant self-homotopy equivalences of product of G-spaces. For a product of n-spaces, we represent it as product of n-subgroups under the assumption of equivariant reducibility. Further…
Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be…
In this short note, we find an equivalent combinatorial condition only involving finite sums under which a centered Gaussian random vector with multinomial covariance matrix satisfies the Gaussian product inequality (GPI) conjecture. These…
We study quantum moment maps of $G$-invariant star products, which are a quantum analogue of the moment map for classical Hamiltonian systems. Introducing an integral representation, we show that any quantum moment map for a $G$-invariant…
In modular invariant models of flavor, observables must be modular invariant. The observables discussed so far in the literature are functions of the modulus $\tau$ and its conjugate, $\bar\tau$. We point out that certain combinations of…
We develop a rigorous connection between statistical properties of an interference pattern and the coherence properties of the underlying quantum state. With explicit examples, we demonstrate that even for inaccurate reconstructions of…
In this paper we develop a general theory of modules which are invariant under automorphisms of their covers and envelopes. When applied to specific cases like injective envelopes, pure-injective envelopes, cotorsion envelopes, projective…
Motivated by quantum resource theories, we introduce a notion of incompatibility for quantum measurements relative to a reference basis. The notion arises by considering states diagonal in that basis and investigating whether probability…
We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group…
We study the isoperimetric problem in product spaces equipped with the uniform distance. Our main result is a characterization of isoperimetric inequalities which, when satisfied on a space, are still valid for the product spaces, up a to a…
Invariant theory is concerned with functions that do not change under the action of a given group. Here we communicate an approach based on tensor networks to represent polynomial local unitary invariants of quantum states. This graphical…
We study a model of opinion formation where the opinions in conflict are not equivalent. This is the case when the subject of the decision is to respect a norm or a law. In such scenarios, one of the possible behaviors is to abide by the…
Inverse semigroups are a class of semigroups whose structure induces a compatible partial order. This partial order is examined so as to establish mirror properties between an inverse semigroup and the semilattice of its idempotent…
We give a precise, computable formula for comparing $\lambda$-invariants between modular forms in the anticyclotomic indefinite setting where the Selmer groups have positive rank. This is an improvement of Hatley-Lei \cite{HL19, HL21} where…