Search results for "Theorem"

showing 10 items of 1250 documents

Consensus in Noncooperative Dynamic Games: a Multi-Retailer Inventory Application

2008

We focus on Nash equilibria and Pareto optimal Nash equilibria for a finite horizon noncooperative dynamic game with a special structure of the stage cost. We study the existence of these solutions by proving that the game is a potential game. For the single-stage version of the game, we characterize the aforementioned solutions and derive a consensus protocol that makes the players converge to the unique Pareto optimal Nash equilibrium. Such an equilibrium guarantees the interests of the players and is also social optimal in the set of Nash equilibria. For the multistage version of the game, we present an algorithm that converges to Nash equilibria, unfortunately, not necessarily Pareto op…

TheoryofComputation_MISCELLANEOUSComputer Science::Computer Science and Game TheoryCorrelated equilibriumSequential gameComputer scienceDynamic programmingSubgame perfect equilibriumsymbols.namesakeCoordination gameElectrical and Electronic EngineeringRisk dominanceFolk theoremPrice of stabilityNon-credible threatGame theoryCentipede gameImplementation theoryNon-cooperative gameInventoryNormal-form gameStochastic gameComputingMilieux_PERSONALCOMPUTINGTheoryofComputation_GENERALComputer Science ApplicationsConsensus protocols; Dynamic programming; Game theory; InventoryConsensus protocolsZero-sum gameControl and Systems EngineeringNash equilibriumEquilibrium selectionBest responsesymbolsRepeated gameEpsilon-equilibriumConsensus protocols; Dynamic programming; Game theory; Inventory;Potential gameSolution conceptMathematical economicsGame theory
researchProduct

Noncooperative dynamic games for inventory applications: A consensus approach

2008

We focus on a finite horizon noncooperative dynamic game where the stage cost of a single player associated to a decision is a monotonically nonincreasing function of the total number of players making the same decision. For the single-stage version of the game, we characterize Nash equilibria and derive a consensus protocol that makes the players converge to the unique Pareto optimal Nash equilibrium. Such an equilibrium guarantees the interests of the players and is also social optimal in the set of Nash equilibria. For the multi-stage version of the game, we present an algorithm that converges to Nash equilibria, unfortunately not necessarily Pareto optimal. The algorithm returns a seque…

TheoryofComputation_MISCELLANEOUSDynamic gamesComputer Science::Computer Science and Game TheoryMathematical optimizationCorrelated equilibriumSequential gameConsensus ProtocolsComputer scienceA-priori; Consensus protocols; Dynamic games; Finite horizons; Inventory; Inventory systems; Joint decisions; Multi stages; Nash equilibrium; Pareto-optimal; Single stages; Unilateral improvementsSymmetric equilibriumOutcome (game theory)Joint decisionsNash equilibriumFinite horizonsMulti stagessymbols.namesakeBayesian gameSettore ING-INF/04 - AutomaticaPareto-optimalA-prioriCoordination gameFolk theoremPrice of stabilityRisk dominanceNon-credible threatConsensus Protocols Dynamic Programming Game Theory InventoryInventory systemsTraveler's dilemmaNormal-form gameStochastic gameInventoryComputingMilieux_PERSONALCOMPUTINGTheoryofComputation_GENERALMinimaxConsensus protocolsEquilibrium selectionNash equilibriumBest responseSingle stagesRepeated gamesymbolsEpsilon-equilibriumSettore MAT/09 - Ricerca OperativaSolution conceptDynamic Programming Game TheoryUnilateral improvementsMathematical economicsGame theoryConsensus Protocols; Dynamic Programming Game Theory; Inventory
researchProduct

Bounded Computational Capacity Equilibrium

2010

We study repeated games played by players with bounded computational power, where, in contrast to Abreu and Rubisntein (1988), the memory is costly. We prove a folk theorem: the limit set of equilibrium payoffs in mixed strategies, as the cost of memory goes to 0, includes the set of feasible and individually rational payoffs. This result stands in sharp contrast to Abreu and Rubisntein (1988), who proved that when memory is free, the set of equilibrium payoffs in repeated games played by players with bounded computational power is a strict subset of the set of feasible and individually rational payoffs. Our result emphasizes the role of memory cost and of mixing when players have bounded c…

TheoryofComputation_MISCELLANEOUSEconomics and EconometricsComputer Science::Computer Science and Game TheoryBounded rationality automata complexity infnitely repeated games equilibrium.EconomiaOutcome (game theory)Set (abstract data type)Lexicographic preferences0502 economics and businessFOS: MathematicsFolk theoremMathematics - Optimization and ControlMathematicsFinite-state machine05 social sciencesProbability (math.PR)ComputingMilieux_PERSONALCOMPUTING050301 educationTheoryofComputation_GENERALBounded rationalityOptimization and Control (math.OC)Bounded functionRepeated game050206 economic theory0503 educationMathematical economicsMathematics - Probability
researchProduct

Aging effects in simple models for glassy relaxation

2006

Aging effects in the two-time correlation function and the response function after a quench from a high temperature to some low temperature are considered for a simple kinetic random energy model exhibiting stretched exponential relaxation. Because the system reaches thermal equilibrium for long times after the quench, all aging effect are of a transient nature. In particular, the violations of the fluctuation-dissipation theorem are considered and it is found that the relation between the response and the two-time correlation function depends on another function, the so-called asymmetry. This asymmetry vanishes in equilibrium but cannot be neglected in the aging regime. It is found that pl…

Thermal equilibriumFluctuation-dissipation theoremChemistryRandom energy modelmedia_common.quotation_subjectFOS: Physical sciencesThermodynamicsCondensed Matter - Soft Condensed MatterCondensed Matter PhysicsAsymmetryElectronic Optical and Magnetic MaterialsExponential functionCorrelation function (statistical mechanics)Materials ChemistryCeramics and CompositesSoft Condensed Matter (cond-mat.soft)Relaxation (physics)Scalingmedia_common
researchProduct

Thermalization and condensation in an incoherently pumped passive optical cavity

2011

International audience; We study theoretically and numerically the condensation and the thermalization of classical optical waves in an incoherently pumped passive Kerr cavity. We show that the dynamics of the cavity exhibits a turbulent behavior that can be described by the wave turbulence theory. A mean-field kinetic equation is derived, which reveals that, in its high finesse regime, the cavity behaves essentially as a conservative Hamiltonian system. In particular, the intracavity turbulent field is shown to relax adiabatically toward a thermodynamic equilibrium state of energy equipartition. As a consequence of this effect of wave thermalization, the incoherent optical field undergoes …

Thermodynamic equilibriumPlane wavePhysics::OpticsOptical fieldFrequency conversionincluding higher-order harmonic generation01 natural sciencesoptical instabilitiesharmonic generationlaw.inventionSchrödinger equation010309 opticssymbols.namesakelawQuantum mechanicsDynamics of nonlinear optical systems0103 physical sciences010306 general physicsEquipartition theoremPhysics[PHYS.PHYS.PHYS-OPTICS]Physics [physics]/Physics [physics]/Optics [physics.optics][ PHYS.PHYS.PHYS-OPTICS ] Physics [physics]/Physics [physics]/Optics [physics.optics]and optical spatio-temporal dynamicsAtomic and Molecular Physics and OpticsOptical cavityQuantum electrodynamicssymbolsDissipative systemoptical chaos and complexityHamiltonian (quantum mechanics)Coherence
researchProduct

Online Sparse Collapsed Hybrid Variational-Gibbs Algorithm for Hierarchical Dirichlet Process Topic Models

2017

Topic models for text analysis are most commonly trained using either Gibbs sampling or variational Bayes. Recently, hybrid variational-Gibbs algorithms have been found to combine the best of both worlds. Variational algorithms are fast to converge and more efficient for inference on new documents. Gibbs sampling enables sparse updates since each token is only associated with one topic instead of a distribution over all topics. Additionally, Gibbs sampling is unbiased. Although Gibbs sampling takes longer to converge, it is guaranteed to arrive at the true posterior after infinitely many iterations. By combining the two methods it is possible to reduce the bias of variational methods while …

Topic modelHierarchical Dirichlet processSpeedupGibbs algorithmComputer scienceNonparametric statistics02 engineering and technology010501 environmental sciences01 natural sciencesLatent Dirichlet allocationBayes' theoremsymbols.namesakeComputingMethodologies_PATTERNRECOGNITION020204 information systems0202 electrical engineering electronic engineering information engineeringsymbolsAlgorithm0105 earth and related environmental sciencesGibbs sampling
researchProduct

On Słowikowski, Raíkov and De Wilde Closed Graph Theorems

1986

Publisher Summary This chapter focuses on the Slowikowski, Raikov and De Wilde closed graph theorems. The vector spaces used in the chapter, are defined over the field Ղ of real or complex numbers. The term, “space” means separated topological vector space, unless the contrary is specifically stated. If Ω is a non-empty open subset of the n -dimensional euclidean space, then the Schwartz space ҟ′(Ω) endowed with the strong topology belongs to this class. The chapter also studies the classes of spaces related with this conjecture. The class of Slowikowski spaces contains the F-spaces and it is stable with respect to the operations that include: countable topological direct sums, closed subsp…

Topological manifoldDiscrete mathematicsPure mathematicsConnected spaceClosed setDense setLocally convex topological vector spaceClosed graph theoremTopological spaceTopological vector spaceMathematics
researchProduct

Extension theory and the calculus of butterflies

2016

Abstract This paper provides a unified treatment of two distinct viewpoints concerning the classification of group extensions: the first uses weak monoidal functors, the second classifies extensions by means of suitable H 2 -actions. We develop our theory formally, by making explicit a connection between (non-abelian) G-torsors and fibrations. Then we apply our general framework to the classification of extensions in a semi-abelian context, by means of butterflies [1] between internal crossed modules. As a main result, we get an internal version of Dedecker's theorem on the classification of extensions of a group by a crossed module. In the semi-abelian context, Bourn's intrinsic Schreier–M…

TorsorCrossed moduleContext (language use)01 natural sciencesCohomologyCohomology; Extension; Fibrations; Obstruction theory; Schreier-mac lane theorem; TorsorsExtensionMathematics::Category Theory0103 physical sciences0101 mathematicsConnection (algebraic framework)MathematicsAlgebra and Number TheoryFunctorGroup (mathematics)010102 general mathematicsTorsorsExtension (predicate logic)Obstruction theorySchreier-mac lane theoremCohomologyFibrationsAlgebraSettore MAT/02 - AlgebraSchreier–Mac Lane theoremSettore MAT/03 - Geometria010307 mathematical physicsObstruction theory
researchProduct

Ultimate Order Statistics-Based Prototype Reduction Schemes

2013

Published version of a chapter in the book: AI 2013: Advances in Artificial Intelligence. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-319-03680-9_42 The objective of Prototype Reduction Schemes (PRSs) and Border Identification (BI) algorithms is to reduce the number of training vectors, while simultaneously attempting to guarantee that the classifier built on the reduced design set performs as well, or nearly as well, as the classifier built on the original design set. In this paper, we shall push the limit on the field of PRSs to see if we can obtain a classification accuracy comparable to the optimal, by condensing the information in the data set into a single tr…

Training setComputer scienceVDP::Mathematics and natural science: 400::Information and communication science: 420::Algorithms and computability theory: 422Order statisticcomputer.software_genreSupport vector machineData setBayes' theoremclassification using Order Statistics (OS)CMOSPrototype Reduction SchemesData miningmoments of OSClassifier (UML)computerParametric statistics
researchProduct

Highly transitive actions of free products

2013

We characterize free products admitting a faithful and highly transitive action. In particular, we show that the group $\PSL_2(\Z)\simeq (\Z/2\Z)*(\Z/3\Z)$ admits a faithful and highly transitive action on a countable set.

Transitive actionHighly transitive actionsMSC: Primary: 20B22 20E06Group Theory (math.GR)01 natural sciencesBaire category Theorem[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]CombinatoricsFree products0103 physical sciencesFOS: MathematicsCountable set0101 mathematics20B22MathematicsTransitive relation20E06Group (mathematics)Mathematics::Operator Algebras010102 general mathematics20E06 20B2216. Peace & justiceFree productBaire category theorem010307 mathematical physicsGeometry and TopologyMathematics - Group Theory
researchProduct