An allocation rule is called Bayes-Nash incentive compatible, if there exists a payment rule, such that truthful reports of agents’ types form a Bayes-Nash equilibrium in the direct revelation mechanism consisting of the allocation rule and the payment rule. This paper provides a characterization of Bayes-Nash incentive compatible allocation rules in social choice settings where agents have mul...

This is a paper in a series to study vertex algebra-like structures arising from various algebras including quantum affine algebras and Yangians. In this paper, we study notions of ~-adic nonlocal vertex algebra and ~-adic (weak) quantum vertex algebra, slightly generalizing Etingof-Kazhdan’s notion of quantum vertex operator algebra. For any topologically free C[[~]]-module W , we study ~-adic...

The concept of a 2-metric space is a natural generalization of a metric space. It has been investigated initially by Gähler [4]. Iseki [5] studied the fixed point theorems in 2-metric spaces. Sessa [17] defined weak commutativity and proved common fixed point theorem for weakly commuting maps. In [7] Jungck introduced more generalized commuting mappings, called compatible mappings, which are mo...

Reduction orderings that are compatible with an equational theory E and total on (the E-equivalence classes of) ground terms play an important r^ ole in automated deduction. We present a general approach for combining such orderings. To be more precise, we show how E 1-compatible reduction orderings total on 1-ground terms and E 2-compatible reduction orderings total on 2-ground terms can be us...

This paper introduces a notion of equivalence for higher-dimensional automata, called weak equivalence. Weak focuses mainly on traditional trace language and new homology language, which captures the overall independence structure an HDA. It is shown that compatible with both tensor product coproduct HDAs that, under certain conditions, may be reduced to weakly equivalent smaller ones by mergin...

In this paper we prove common fixed point Theorem for six mappings in probabilistic metric space. Our result extends and generalizes some known results in metric space and probabilistic metric spaces. Mathematical Subject Classification: 47H10, 54H25.

We study the magnetic field effects on quantum critical point (QCP) in holographic Weyl semimetal model. show that it increases quadratically with for weak and linearly strong field. Our findings are compatible previous results literature from other approaches.

The Brauer-Manin obstruction is conjectured to be the only weak approximation for zero-cycles on proper smooth varieties defined over number fields. We prove that conjecture compatible products of rationally connected varieties, K3 surfaces, Kummer and one curve.