Reactive and Semi-Reactive Bargaining Sets for Games with Restricted Cooperation

2020 ◽  
Vol 22 (03) ◽  
pp. 2050001
Author(s):  
Natalia Naumova
Keyword(s):  
Sufficient Conditions ◽  
Existence Results ◽  
Simple Games ◽  
Bargaining Set ◽  
Tu Games ◽  
Restricted Cooperation ◽  
Generalized Kernel ◽  
Existence Conditions ◽  
Necessary And Sufficient ◽  
Bargaining Sets

Generalizations of reactive and semi-reactive bargaining sets of TU games are defined for the case when objections and counter-objections are permitted not between singletons but between elements of a family of coalitions [Formula: see text] and can use coalitions from [Formula: see text]. Necessary and sufficient conditions on [Formula: see text], [Formula: see text] that ensure existence results for generalizations of the reactive bargaining set and of the semi-reactive barganing set at each TU game [Formula: see text] with nonnegative values are obtained. The existence conditions for the generalized reactive bargaining set do not coincide with existence conditions for the generalized kernel and coincide with conditions for the generalized semi-reactive bargaining set only if [Formula: see text] and [Formula: see text]. The conditions for the generalized semi-reactive bargaining set coincide with conditions for the generalized classical bargaining set that were described in the previous papers of the author. For monotonic [Formula: see text], the condition on [Formula: see text] for existence of the generalized semi-reactive bargaining sets on the class of games with nonnegative values is also necessary and sufficient on the class of simple games, but similar result for the generalized classical bargaining sets is proved only for [Formula: see text].

scholarly journals On dimensions supporting a rational projective plane

2019 ◽  
Vol 11 (03) ◽  
pp. 535-555 ◽  
Author(s):  
Lee Kennard ◽  
Zhixu Su
Keyword(s):  
Projective Plane ◽  
Open Problem ◽  
Sufficient Conditions ◽  
Quadratic Residue ◽  
Bernoulli Numbers ◽  
Existence Results ◽  
Necessary And Sufficient ◽  
Simply Connected ◽  
Existence Question ◽  
Smooth Closed Manifold

A rational projective plane ([Formula: see text]) is a simply connected, smooth, closed manifold [Formula: see text] such that [Formula: see text]. An open problem is to classify the dimensions at which such a manifold exists. The Barge–Sullivan rational surgery realization theorem provides necessary and sufficient conditions that include the Hattori–Stong integrality conditions on the Pontryagin numbers. In this paper, we simplify these conditions and combine them with the signature equation to give a single quadratic residue equation that determines whether a given dimension supports a [Formula: see text]. We then confirm the existence of a [Formula: see text] in two new dimensions and prove several non-existence results using factorization of the numerators of the divided Bernoulli numbers. We also resolve the existence question in the Spin case, and we discuss existence results for the more general class of rational projective spaces.

ON BARGAINING SETS IN SYMMETRIC GAMES

2007 ◽  
Vol 09 (02) ◽  
pp. 199-213 ◽  
Author(s):  
MARC MEERTENS ◽  
J. A. M. POTTERS ◽  
J. H. REIJNIERSE
Keyword(s):  
Bargaining Set ◽  
Tu Games ◽  
The Core ◽  
Symmetric Games ◽  
Bargaining Sets ◽  
Additional Assumptions

The paper investigates under which additional assumptions the bargaining set, the reactive bargaining set or the semireactive bargaining set coincides with the core on the class of symmetric TU-games. Furthermore, we give an example which illustrates that the property 'the bargaining set coincides with the core' is not a prosperity property.

scholarly journals On Disturbance Decoupled Observers for a Class of Bilinear Systems

1998 ◽  
Vol 120 (3) ◽  
pp. 371-377 ◽  
Author(s):  
M. Zasadzinski ◽  
H. Rafaralahy ◽  
C. Mechmeche ◽  
M. Darouach
Keyword(s):  
Fault Detection ◽  
Linear System ◽  
Sufficient Conditions ◽  
Bilinear Systems ◽  
Necessary And Sufficient Conditions ◽  
Observer Design ◽  
Unknown Inputs ◽  
Existence Conditions ◽  
Error Dynamics ◽  
Necessary And Sufficient

In this paper, the class of bilinear systems subjected to unknown inputs for which there exists a disturbance decoupled observer with linear error dynamics is characterized. It is shown that the design of this kind of observer is equivalent to the design of a disturbance decoupled observer for a linear system. This result simplifies considerably the observer design compared to those proposed in the literature, and the observer existence conditions can be easily deduced. As a corollary of this result, necessary and sufficient conditions for the existence of disturbance decoupled linear observers for bilinear systems subjected to unknown inputs are derived. This approach is extended to the fault detection of bilinear systems.

scholarly journals Existence conditions for a class of modular subgroups of genus zero

2002 ◽  
Vol 66 (3) ◽  
pp. 517-525
Author(s):  
Joachim A. Hempel
Keyword(s):  
Rational Function ◽  
Finite Index ◽  
Modular Group ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Genus Zero ◽  
Existence Conditions ◽  
Necessary And Sufficient

Every subgroup of finite index of the modular groupPSL(2, ℤ) has asignatureconsisting of conjugacy-invariant integer parameters satisfying certain conditions. In the case of genus zero, these parameters also constitute a prescription for the degree and the orders of the poles of a rational functionFwith the property:Functions correspond to subgroups, and we use this to establish necessary and sufficient conditions for existence of subgroups with a certain subclass of allowable signatures.

Existence conditions for two-parameter eigenvalue problems

1981 ◽  
Vol 91 (1-2) ◽  
pp. 15-30 ◽  
Author(s):  
Paul Binding ◽  
Patrick J. Browne ◽  
Lawrence Turyn
Keyword(s):  
Hilbert Spaces ◽  
Eigenvalue Problems ◽  
Sufficient Conditions ◽  
Compact Resolvent ◽  
Existence Conditions ◽  
Image Position ◽  
Necessary And Sufficient ◽  
Adjoint Operators ◽  
Bounded Below ◽  
Two Parameter

SynopsisWe discuss necessary and sufficient conditions for the existence of eigentuples λ=(λl,λ2) and eigenvectors x1≠0, x2≠0 for the problem Wr(λ)xr = 0, Wr(λ)≧0, (*), where Wr(λ)= Tr + λ1Vr2, r=1,2. Here Tr and Vrs are self-adjoint operators on separable Hilbert spaces Hr. We assume the Vrs to be bounded and the Tr bounded below with compact resolvent. Most of our conditions involve the conesWe obtain results under various conditions on the Tr, but the following is typical:THEOREM. If (*) has a solution for all choices ofT1, T2then (a)0∉ V1UV2,(b)V1∩(—V2) =∅ and (c) V1⊂V2∪{0}, V2⊈V1∪{0}. Conversely, if (a) and (b) hold andV1⊈V2∪∩{0}, V2⊈ then (*) has a solution for all choices ofT1, T2.

Stable minimizers of functionals of the gradient

2019 ◽  
Vol 150 (5) ◽  
pp. 2642-2655
Author(s):  
Mikhail A. Sychev ◽  
Giulia Treu ◽  
Giovanni Colombo
Keyword(s):  
Boundary Condition ◽  
Continuous Function ◽  
Lipschitz Domain ◽  
Boundary Data ◽  
Sufficient Conditions ◽  
Variational Problems ◽  
Existence Results ◽  
Superlinear Growth ◽  
Bounded Lipschitz Domain ◽  
Necessary And Sufficient

AbstractLet Ω ⊂ ℝn be a bounded Lipschitz domain. Let $L: {\mathbb R}^n\rightarrow \bar {\mathbb R}= {\mathbb R}\cup \{+\infty \}$ be a continuous function with superlinear growth at infinity, and consider the functional $\mathcal {I}(u)=\int \nolimits _\Omega L(Du)$, u ∈ W1,1(Ω). We provide necessary and sufficient conditions on L under which, for all f ∈ W1,1(Ω) such that $\mathcal {I}(f) < +\infty $, the problem of minimizing $\mathcal {I}(u)$ with the boundary condition u|∂Ω = f has a solution which is stable, or – alternatively – is such that all of its solutions are stable. By stability of $\mathcal {I}$ at u we mean that $u_k\rightharpoonup u$ weakly in W1,1(Ω) together with $\mathcal {I}(u_k)\to \mathcal {I}(u)$ imply uk → u strongly in W1,1(Ω). This extends to general boundary data some results obtained by Cellina and Cellina and Zagatti. Furthermore, with respect to the preceding literature on existence results for scalar variational problems, we drop the assumption that the relaxed functional admits a continuous minimizer.

scholarly journals EXISTENCE AND NON-EXISTENCE RESULTS FOR WAVE OPERATORS FOR PERTURBATIONS OF THE LAPLACIAN

1993 ◽  
Vol 05 (03) ◽  
pp. 601-629 ◽  
Author(s):  
ARNE JENSEN ◽  
TOHRU OZAWA
Keyword(s):  
Sufficient Conditions ◽  
Existence Results ◽  
Necessary And Sufficient Conditions ◽  
Time Dependent ◽  
Quantum Scattering ◽  
Wave Operators ◽  
Leading Term ◽  
Dimension One ◽  
Necessary And Sufficient ◽  
Perturbations Of The Laplacian

Schrödinger operators with time-dependent potentials are studied. Necessary and sufficient conditions for existence of ordinary and Dollard-type modified wave operators are obtained. Sharp results for potentials with a specified leading term are obtained. Applications are given to the surfboard Schrödinger equation and to Stark Hamiltonians. In the latter case the discrepancy between classical and quantum scattering in dimension one is resolved.

scholarly journals State-Burst Feedback Control for Fault Recovery of Input/State Asynchronous Sequential Machines

2021 ◽  
Vol 11 (21) ◽  
pp. 9790
Author(s):  
Jung-Min Yang ◽  
Seong-Jin Park ◽  
Seong Woo Kwak
Keyword(s):  
Fault Tolerant ◽  
Sufficient Conditions ◽  
Controller Synthesis ◽  
Input State ◽  
Transient Faults ◽  
Design Flexibility ◽  
Sequential Machines ◽  
Control Scheme ◽  
Existence Conditions ◽  
Necessary And Sufficient

Static corrective controllers are more efficient than dynamic ones since they consist of only logic elements, whereas their existence conditions are more restrictive. In this paper, we present a static corrective control scheme for fault diagnosis and fault tolerant control of input/state asynchronous sequential machines (ASMs) vulnerable to transient faults. The design flexibility of static controllers is enlarged by virtue of using a diagnoser and state bursts. Necessary and sufficient conditions for the existence of a diagnoser and static fault tolerant controller are presented, and the process of controller synthesis is addressed based on the derived condition. Illustrative examples on practical ASMs are provided to show the applicability of the proposed scheme.

scholarly journals Quantum stochastic operator cocycles via associated semigroups

2007 ◽  
Vol 142 (3) ◽  
pp. 535-556 ◽  
Author(s):  
J. MARTIN LINDSAY ◽  
STEPHEN J. WILLS
Keyword(s):  
Hilbert Space ◽  
Differential Equations ◽  
Stochastic Differential Equations ◽  
General Principle ◽  
Sufficient Conditions ◽  
Existence Results ◽  
Necessary And Sufficient Conditions ◽  
Contraction Operator ◽  
Stochastic Operator ◽  
Necessary And Sufficient

AbstractA recent characterisation of Fock-adapted contraction operator stochastic cocycles on a Hilbert space, in terms of their associated semigroups, yields a general principle for the construction of such cocycles by approximation of their stochastic generators. This leads to new existence results for quantum stochastic differential equations. We also give necessary and sufficient conditions for a cocycle to satisfy such an equation.

The extinction time of a general birth and death process with catastrophes

1986 ◽  
Vol 23 (04) ◽  
pp. 851-858 ◽  
Author(s):  
P. J. Brockwell
Keyword(s):  
Laplace Transform ◽  
Size Distribution ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Death Process ◽  
Extinction Time ◽  
Birth And Death Process ◽  
Different Types ◽  
The Laplace Transform ◽  
Necessary And Sufficient

The Laplace transform of the extinction time is determined for a general birth and death process with arbitrary catastrophe rate and catastrophe size distribution. It is assumed only that the birth rates satisfyλ0= 0,λj&gt; 0 for eachj&gt; 0, and. Necessary and sufficient conditions for certain extinction of the population are derived. The results are applied to the linear birth and death process (λj=jλ, µj=jμ) with catastrophes of several different types.

Sign in / Sign up

Export Citation Format

Share Document