相关论文: Product of Invariant Types Modulo Domination-Equiv…

In this paper, we consider a new kind of evolution multivalued quasi-variational inequalities with feedback effect and a nonlinear bifunction which contain several (evolution) quasi-variational/hemivariational inequalities as special cases.…

We define a new invariant of finitely generated representations of a finite group, with coefficients in a commutative noetherian ring. This invariant uses group cohomology and takes values in the singularity category of the coefficient…

We consider the action of a subtorus of the big torus on a toric variety. The aim of the paper is to define a natural notion of a quotient for this setting and to give an explicit algorithm for the construction of this quotient from the…

A product state of a composite quantum system AB is customarily interpreted physically to mean subsystem A has property A1 and subsystem B has property B1. But this interpretation contradicts both the theory and observed outcomes of…

Classically, congruence subgroups of the modular group, which can be described by congruence relations, play important roles in group theory and modular forms. In reality, the majority of finite index subgroups of the modular group are…

This is the second part of the paper (the first part is published in Jour. of AMS, vol.9, 1135--1170, q-alg/9508017). In the first part, we defined for every modular tensor category (MTC) inner products on the spaces of morphisms and proved…

We investigate commutator operations on compatible uniformities of an algebra. We present a commutator operation for compatible uniformities of an algebra in a congruence-modular variety which extends the commutator on congruences, and…

We discuss the general properties of the theory of joint invariants of a smooth Lie group action in a manifold. Many of the known results about differential invariants, including Lie's finiteness theorem, have simpler versions in the…

Confluence of a nondeterministic program ensures a functional input-output relation, freeing the programmer from considering the actual scheduling strategy, and allowing optimized and perhaps parallel implementations. The more general…

For two causal structures with the same set of visible variables, one is said to observationally dominate the other if the set of distributions over the visible variables realizable by the first contains the set of distributions over the…

A technique is presented for treating strongly nonstationary and transient processes in optics, permitting one to take into account both types of competing with each other effects, quantum as well as coherent. The main equations for…

The title refers to the area of research which studies infinite groups using measure-theoretic tools, and studies the restrictions that group structure imposes on ergodic theory of their actions. The paper is a survey of recent developments…

The choice of a star product realization for noncommutative field theory can be regarded as a gauge choice in the space of all equivalent star products. With the goal of having a gauge invariant treatment, we develop tools, such as…

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We…

This paper studies two topics concerning on the orthogonal complement of one dimensional subspace with respect to a given quadratic form on a vector space over a number field. One is to determine the invariants for the isomorphism class of…

We consider a differential quasivariational inequality for which we state and prove the continuous dependence of the solution with respect to the data. This convergence result allows us to prove the existence of at least one optimal pair…

We study the quantum connection of product varieties in the framework of quantum cohomology. Our first main result shows that, near the origin of the Novikov variables, the quantum spectrum of \(X \times Y\) converges to the set of pairwise…

We study the existence of the product of two weighted modulation spaces. For this purpose we discuss two different strategies. The more simple one allows transparent proofs in various situations. However, our second method allows a closer…

We give two results concerning the construction of modular invariant partition functions for conformal field theories constructed by tensoring together other conformal field theories. First we show how the possible modular invariants for…

One may formulate the dependent product types of Martin-L\"of type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the…