scholarly journals The non-SUSY AdS6 and AdS7 fixed points are brane-jet unstable

2020 ◽  
Vol 2020 (10) ◽  
Author(s):  
Minwoo Suh

Abstract In six- and seven-dimensional gauged supergravity, each scalar potential has one supersymmetric and one non-supersymmetric fixed points. The non-supersymmetric AdS7 fixed point is perturbatively unstable. On the other hand, the non-supersymmetric AdS6 fixed point is known to be perturbatively stable. In this note we examine the newly proposed non-perturbative decay channel, called brane-jet instabilities of the AdS6 and AdS7 vacua. We find that when they are uplifted to massive type IIA and eleven- dimensional supergravity, respectively, the non-supersymmetric AdS6 and AdS7 vacua are both brane-jet unstable, in fond of the weak gravity conjecture.

1979 ◽  
Vol 2 (1) ◽  
pp. 103-127
Author(s):  
Jerzy Tiuryn

This paper introduces a class of algebras (called the class of regular algebras), in which the algebra of regular trees (unfoldments of monadic program schemes) is an initial algebra. This means that we have for the above-mentioned class “semantics” of monadic program schemes. We show how to treat, in a unified way, such concepts as: monadic and recursive monadic program schemes, regular and context-free languages. On the other hand, the investigation of the properties of regular algebras may be of intrinsic interest, in particular this leads to a very nice generalization of the notion of a polynomial in an algebra. These “new” polynomials, in general, are determined by infinitely long expressions, and existence of such polynomials in the class of regular algebras is closely connected with the property that every finite tuple of algebraic mappings has a least fixed-point which is obtainable as a least upper bound of a denumerable chain of “approximations”.


2019 ◽  
Vol 29 (4) ◽  
pp. 419-468
Author(s):  
Henning Basold ◽  
Helle Hvid Hansen

Abstract We define notions of well-definedness and observational equivalence for programs of mixed inductive and coinductive types. These notions are defined by means of tests formulas which combine structural congruence for inductive types and modal logic for coinductive types. Tests also correspond to certain evaluation contexts. We define a program to be well-defined if it is strongly normalizing under all tests, and two programs are observationally equivalent if they satisfy the same tests. We show that observational equivalence is sufficiently coarse to ensure that least and greatest fixed point types are initial algebras and final coalgebras, respectively. This yields inductive and coinductive proof principles for reasoning about program behaviour. On the other hand, we argue that observational equivalence does not identify too many terms, by showing that tests induce a topology that, on streams, coincides with usual topology induced by the prefix metric. As one would expect, observational equivalence is, in general, undecidable, but in order to develop some practically useful heuristics we provide coinductive techniques for establishing observational normalization and observational equivalence, along with up-to techniques for enhancing these methods.


2021 ◽  
Author(s):  
Jandson S. Ribeiro ◽  
Matthias Thimm

Restoring consistency of a knowledge base, known as consolidation, should preserve as much information as possible of the original knowledge base. On the one hand, the field of belief change captures this principle of minimal change via rationality postulates. On the other hand, within the field of inconsistency measurement, culpability measures have been developed to assess how much a formula participates in making a knowledge base inconsistent. We look at culpability measures as a tool to disclose epistemic preference relations and build rational consolidation functions. We introduce tacit culpability measures that consider semantic counterparts between conflicting formulae, and we define a special class of these culpability measures based on a fixed-point characterisation: the stable tacit culpability measures. We show that the stable tacit culpability measures yield rational consolidation functions and that these are also the only culpability measures that yield rational consolidation functions.


Symmetry ◽  
2020 ◽  
Vol 12 (3) ◽  
pp. 411
Author(s):  
Pradip Debnath ◽  
Manuel de La Sen

The symmetry concept is a congenital characteristic of the metric function. In this paper, our primary aim is to study the fixed points of a broad category of set-valued maps which may include discontinuous maps as well. To achieve this objective, we newly extend the notions of orbitally continuous and asymptotically regular mappings in the set-valued context. We introduce two new contractive inequalities one of which is of Geraghty-type and the other is of Boyd and Wong-type. We proved two new existence of fixed point results corresponding to those inequalities.


1986 ◽  
Vol 6 (1) ◽  
pp. 149-161 ◽  
Author(s):  
J. F. Plante

AbstractLetGbe a connected finite-dimensional Lie group andMa compact surface. We investigate whether, for a givenGandM, every continuous action ofGonMmust have a fixed (stationary) point. It is shown that whenGis nilpotent andMhas non-zero Euler characteristic that every action ofGonMmust have a fixed point. On the other hand, it is shown that the non-abelian 2-dimensional Lie group (affine group of the line) acts without fixed points on every compact surface. These results make it possible to complete this investigation for Lie groups of dimension at most 3.


2011 ◽  
Vol Vol. 13 no. 2 (Combinatorics) ◽  
Author(s):  
Li Peng ◽  
Bo Tan

Combinatorics International audience It is known that a Sturmian sequence S can be defined as a coding of the orbit of rho (called the intercept of S) under a rotation of irrational angle alpha (called the slope). On the other hand, a fixed point of an invertible substitution is Sturmian. Naturally, there are two interrelated questions: (1) Given an invertible substitution, we know that its fixed point is Sturmian. What is the slope and intercept? (2) Which kind of Sturmian sequences can be fixed by certain non-trivial invertible substitutions? In this paper we give a unified treatment to the two questions. We remark that though the results are known, our proof is very elementary and concise.


Author(s):  
Ts Enkhbat

The data collected by the LHC experiments at 7 and 8 TeV with ~5 and 20fb-1 respectively is refining the details of the Higgs like resonances found last year [1,2]. Many decay channels have been searched for and the individual channels so far have given us a consistent picture with what one expects from the SM Higgs. On the other hand, the self interaction of the Higgs, which is probed by the Higgs pair production [3-7], is too feeble in the SM to be detected with these early data set. Even at 14 TeV run, the luminosity required for probing this process is very high [7-17]. This fact, namely the smallness of the corresponding Higgs pair production cross-section, makes it sensitive to a presence of a new physics [18-31]. In particular, relatively light colored particles are known to affect the cross-section substantially [18-22]. As a mater of fact there are many models with various motivations including models of GUT remnants [32-39], composite models [40-48] or a radiative neutrino mass models [49-51] which may give such contributions. Among these the scalars are interesting as they may play crucial role in the spontaneous symmetry breaking through additional terms with large portal couplings in the scalar potential. In the present work we study the phenomenological consequences of the Standard Model extension by two or more colored scalar particles. As a case study we take several leptoquarks (LQ) since there is an active experimental program by both ATLAS and CMS [52-57] and the lower bounds on their masses have now reached impressive levels some as high as a TeV value. On the other hand simultaneous presence of several LQs, may open up additional channels and therefore weakens these bounds. Specific models where the LQs are introduced to explain a certain phenomenon usually requires more than one LQs as in the model we study here. I examine a possibility of the existence of LQs with masses as light as ~180 GeV and study their effect for the single and di Higgs productions. As we will see the Higgs pair production is substantially altered in the low mass range below 300 GeV without too much change in the Higss diphoton decay channel if portal couplings are large. These couplings are required to have opposite signs by the latest Higgs data or small in magnitude. The model I consider has two LQs, an SU(2) doublet ω and a singlet χ. As we will see their simultaneous presence still allows them to have relatively light masses and escape the current bounds. In particular, the current bounds do not include LQs decaying to τt the masses below 200 GeV. Such a scenario, for example, has appeared in a model considered by Babu and Julio [49], where the light neutrino masses are induced by two-loop effects from LQs. If their masses are only of order few hundred GeV, as it is required in this case, the scenario can be probed or even excluded with the data from the LHC. Therefore this is one of the easiest model which can be tested and is the subject of the current study. Although I consider a particular model, it should be stressed that other models with colored particles can affect the pair productions in a similar manner.In Section II, I briefly list the current experimental status on the Higgs production and decay rates. Then I introduce the model I examined in the paper. Section III contains main part of this work where the numerical results for the single and pair Higgs productions are presented. The conclusion is given in Section IV.


2011 ◽  
Vol 52-54 ◽  
pp. 127-132
Author(s):  
Ning Chen ◽  
Bao Dan Tian ◽  
Ji Qian Chen

In this paper, some new results are given for the common random solution for a class of random operator equations which generalize several results in [4], [5] and [6] in Banach space. On the other hand, Altman’s inequality is also extending into the type of the determinant form. And comparing some solution for several examples, main results are theorem 2.3, theorem 3.3-3.4, theorem 4.1 and theorem 4.3.


2019 ◽  
Vol 20 (1) ◽  
pp. 52-66
Author(s):  
Dieter Balkenborg ◽  
Christoph Kuzmics ◽  
Josef Hofbauer

Abstract Fixed points of the (most) refined best reply correspondence, introduced in Balkenborg et al. (2013), in the agent normal form of extensive form games with perfect recall have a remarkable property. They induce fixed points of the same correspondence in the agent normal form of every subgame. Furthermore, in a well-defined sense, fixed points of this correspondence refine even trembling hand perfect equilibria, while, on the other hand, reasonable equilibria that are not weak perfect Bayesian equilibria are fixed points of this correspondence.


Erkenntnis ◽  
2021 ◽  
Author(s):  
Luca Castaldo

AbstractThis article compares classical (or -like) and nonclassical (or -like) axiomatisations of the fixed-point semantics developed by Kripke (J Philos 72(19): 690–716, 1975). Following the line of investigation of Halbach and Nicolai (J Philos Logic 47(2): 227–257, 2018), we do not compare and qua theories of truth simpliciter, but rather qua axiomatisations of the Kripkean conception of truth. We strengthen the central results of Halbach and Nicolai (2018) and Nicolai (Stud Log 106(1): 101–130, 2018), showing that, on the one hand, there is a stronger sense in which some variants of and some variants of can be taken to be, truth-theoretically, equivalent. On the other hand, we show that this truth-theoretical equivalence is not preserved by some other variants of and , arguing that the variants are more adequate axiomatisations of the fixed-point semantics than the corresponding variants.


Sign in / Sign up

Export Citation Format

Share Document