Phase Flows in the Complete Model of Cosmological Evolution of the Asymmetric Scalar Higgs Doublet*

2021 ◽  
Vol 27 (4) ◽  
pp. 350-357
Author(s):  
Yu. G. Ignat’ev ◽  
I. A. Kokh
Keyword(s):  
Higgs Doublet ◽  
Cosmological Evolution ◽  
Complete Model

Research on a complete model of cosmological evolution a classical scalar field with a Higgs potential. II. Numerical simulation

2021 ◽  
pp. 147-151
Author(s):  
Yu.G. Ignat’ev ◽  
◽  
A.R. Samigullina ◽  
Keyword(s):  
Numerical Simulation ◽  
Computer Simulation ◽  
Scalar Field ◽  
Initial Conditions ◽  
Higgs Field ◽  
Hubble Constant ◽  
Cosmological Evolution ◽  
Higgs Potential ◽  
Complete Model ◽  
Expansion Stage

A study and computer simulation of a complete model of the cosmological evolution of a classical scalar field with a Higgs potential is carried out without the assumption that the Hubble constant is nonnegative. It is shown that in most cases of initial conditions the cosmological model passes from the expansion stage to the compression stage. Thus, cosmological models based on the classical Higgs field are unstable with respect to finite perturbations.

Research on a complete model of cosmological evolution a classical scalar field with a Higgs Potential. I. Model analysis

2021 ◽  
pp. 136-143
Author(s):  
Yu.G. Ignat’ev ◽  
◽  
A.R. Samigullina ◽  
Keyword(s):  
Dynamical System ◽  
Computer Simulation ◽  
Scalar Field ◽  
Cosmological Model ◽  
Hubble Constant ◽  
Cosmological Evolution ◽  
Higgs Potential ◽  
Complete Model ◽  
Global Properties

A study and computer simulation of a complete model of the cosmological evolution of a classical scalar field with a Higgs potential is carried out without the assumption that the Hubble constant is nonnegative. A qualitative analysis of the corresponding dynamical system and a classification of the Einstein - Higgs hmpersurfaces, the topology of which determines the global properties of the phase trajectories of the cosmological model, are carried out.

scholarly journals Verification and Strategy Synthesis for Coalition Announcement Logic

2021 ◽  
Author(s):  
Natasha Alechina ◽  
Hans van Ditmarsch ◽  
Rustam Galimullin ◽  
Tuo Wang
Keyword(s):  
Model Checking ◽  
Proof Of Concept ◽  
Model Checker ◽  
Complete Model ◽  
Concept Model ◽  
The Family ◽  
Winning Strategies ◽  
Epistemic Goals

AbstractCoalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

Sign in / Sign up

Export Citation Format

Share Document