Search results for "transitivity"
showing 10 items of 20 documents
Female mate choice in convict cichlids is transitive and consistent with a self-referent directional preference
2013
10 pages; International audience; INTRODUCTION: One of the most important decisions that an animal has to make in its life is choosing a mate. Although most studies in sexual selection assume that mate choice is rational, this assumption has not been tested seriously. A crucial component of rationality is that animals exhibit transitive choices: if an individual prefers option A over B, and B over C, then it also prefers A over C. RESULTS: We assessed transitivity in mate choice: 40 female convict cichlids had to make a series of binary choices between males of varying size. Ninety percent of females showed transitive choices. The mean preference index was significantly higher when a female…
Transitivity and Evaluation in American and Spanish Parliamentary discourse: the 2015 State of the Union Address in the US vs. the 2015 State of the …
2022
The present study explores the interplay of evaluation and transitivity in an American and Spanish parliamentary debate by President Obama and PM Rajoy aiming at legitimizing their actions and at convincing candidates to vote for them in the upcoming elections. A further objective is to investigate whether the transitivity and appraisal analyses illustrate the politicians’ ideological positions. Within the general framework of Systemic Functional Linguistics (SFL), we use the results obtained for Appraisal following Martin and White’s appraisal scheme [Cabrejas-Peñuelas, A. B. (2020). Metaphor, metonymy and evaluation as political devices in American and Spanish parliamentary political disc…
Chaotic dynamics and partial hyperbolicity
2017
The dynamics of hyperbolic systems is considered well understood from topological point of view as well as from stochastic point of view. S. Smale and R. Abraham gave an example showing that, in general, the hyperbolic systems are not dense among all differentiable systems. In 1970s, M. Brin and Y. Pesin proposed a new notion: partial hyperbolicity to release the notion of hyperbolicity. One aim of this thesis is to understand the dynamics of certain partially hyperbolic systems from stochastic point of view as well as from topological point of view. From stochastic point of view, we prove the following results: — There exists an open and dense subset U of robustly transitive nonhyperbolic …
Analyzing the Correlation of Classical and Community-aware Centrality Measures in Complex Networks
2021
International audience; Identifying influential nodes in social networks is a fundamental issue. Indeed, it has many applications, such as inhibiting epidemic spreading, accelerating information diffusion, preventing terrorist attacks, and much more. Classically, centrality measures quantify the node's importance based on various topological properties of the network, such as Degree and Betweenness. Nonetheless, these measures are agnostic of the community structure, although it is a ubiquitous characteristic encountered in many real-world networks. To overcome this drawback, there is a growing trend to design so-called community-aware centrality measures. Although several works investigate…
Transitive Reasoning with Imprecise Probabilities
2015
We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent \(\text{ p-consistent }\) sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.
The fluted fragment with transitive relations
2022
Abstract The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, we show that the satisfiability and finite satisfiability problems for this extension remain decidable. We also show that the corresponding problems in the…
The Fluted Fragment with Transitivity
2019
We study the satisfiability problem for the fluted fragment extended with transitive relations. We show that the logic enjoys the finite model property when only one transitive relation is available. On the other hand we show that the satisfiability problem is undecidable already for the two-variable fragment of the logic in the presence of three transitive relations.
An Empirical Study of the Relation Between Community Structure and Transitivity
2012
One of the most prominent properties in real-world networks is the presence of a community structure, i.e. dense and loosely interconnected groups of nodes called communities. In an attempt to better understand this concept, we study the relationship between the strength of the community structure and the network transitivity (or clustering coefficient). Although intuitively appealing, this analysis was not performed before. We adopt an approach based on random models to empirically study how one property varies depending on the other. It turns out the transitivity increases with the community structure strength, and is also affected by the distribution of the community sizes. Furthermore, …
Decidability Frontier for Fragments of First-Order Logic with Transitivity
2018
Several decidable fragments of first-order logic have been identified in the past as a generalisation of the standard translation of modal logic. These include: the fluted fragment, the two-variable frag- ment, the guarded fragment and the unary negation fragment; some of them have been recently generalised or combined to yield even more expressive decidable logics (guarded negation fragment or uniform one- dimensional fragment). None of the fragments allows one to express tran- sitivity of a binary relation or related properties like being an equivalence, a linear or a partial order, that naturally appear in specifications or in verification. The question therefore arises what is the impac…
Linear dynamics induced by odometers
2022
Weighted shifts are an important concrete class of operators in linear dynamics. In particular, they are an essential tool in distinguishing variety dynamical properties. Recently, a systematic study of dynamical properties of composition operators on $L^p$ spaces has been initiated. This class of operators includes weighted shifts and also allows flexibility in construction of other concrete examples. In this article, we study one such concrete class of operators, namely composition operators induced by measures on odometers. In particular, we study measures on odometers which induce mixing and transitive linear operators on $L^p$ spaces.