Search results for "CONGRUENCE"

Coordinates and frames from the causal point of view

2006

Lorentzian frames may belong to one of the 199 causal classes. Of these numerous causal classes, people are essentially aware only of two of them. Nevertheless, other causal classes are present in some well-known solutions, or present a strong interest in the physical construction of coordinate systems. Here we show the unusual causal classes to which belong so familiar coordinate systems as those of Lema{\^{\i}}tre, those of Eddington-Finkelstein, or those of Bondi-Sachs. Also the causal classes associated to the Coll light coordinates (four congruences of real geodetic null lines) and to the Coll positioning systems (light signals broadcasted by four clocks) are analyzed. The role that th…

2017

It has been shown in previous papers that classes of (minimal asymmetric) informationally-complete positive operator valued measures (IC-POVMs) in dimension d can be built using the multiparticle Pauli group acting on appropriate fiducial states. The latter states may also be derived starting from the Poincare upper half-plane model H . To do this, one translates the congruence (or non-congruence) subgroups of index d of the modular group into groups of permutation gates, some of the eigenstates of which are the sought fiducials. The structure of some IC-POVMs is found to be intimately related to the Kochen-Specker theorem.

All congruences below stability-preserving fair testing or CFFD

2020

AbstractIn process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or …

Additivity of the Equationally-Defined Commutator and Relatively Congruence-Distributive Subquasivarieties

2015

Formations of Monoids, Congruences, and Formal Languages

2015

The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4]. Our principal results confirm the existence of a bijective correspondence between three concepts; formations of monoids, formations of languages and formations of congruences. The result does not require finiteness on monoids, nor regularity on languages nor finite index conditions on congruences. We relate our work to other results in the field and we include applications to non-r-disjunctive languages, Reiterman s equational description of pseudovarieties and varieties of monoids.

Congruence-based proofs of the recognizability theorems for free many-sorted algebras

2020

Abstract We generalize several recognizability theorems for free single-sorted algebras to free many-sorted algebras and provide, in a uniform way and without using either regular tree grammars or tree automata, purely algebraic proofs of them based on congruences.

On the representation of integers by indefinite binary Hermitian forms

2011

Given an integral indefinite binary Hermitian form f over an imaginary quadratic number field, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational integers with absolute value at most s by f, as s tends to infinity.

Vote choices of left-authoritarians: Misperceived congruence and issue salience

2021

Abstract Often lacking parties with a corresponding profile, citizens with economically left and culturally authoritarian, or nationalist, policy orientations face a trade-off between congruence on economic and on cultural issues. How such left-authoritarian voters resolve this trade-off depends on which issues are more salient to them, previous research argues. We extend this line of research by considering the role of (mis-)perceived party positions. Using a survey in the context of the 2017 German election, we show how perceived congruence and issue importance interactively shape the left-authoritarian vote. Our findings indicate that many left-authoritarians vote for a party simply beca…

Triangular irreducibility of congruences in quasivarieties

2014

Certain forms of irreducibility as well as of equational definability of relative congruences in quasivarieties are investigated. For any integer \({m \geqslant 3}\) and a quasivariety Q, the notion of an m-triangularily meet-irreducible Q-congruence in the algebras of Q is defined. In Section 2, some characterizations of finitely generated quasivarieties involving this notion are provided. Section 3 deals with quasivarieties with equationally definable m-triangular meets of relatively principal congruences. References to finitely based quasivarieties and varieties are discussed.

Sine cura. Verso il ri-ciclo dell'architettura del secondo Novecento

2019

Gli argomenti discussi nel saggio interrogano il destino che il Codice dei Beni Culturali (2004- 2011) determina per le opere del secondo Novecento. Nella costruzione del futuro di questi manufatti, che per funzione, tecnologia e cicli d’uso sono spesso segnati dall’obsolescenza e dall’abbandono, le ambiguità e le incongruenze delle attuali procedure legislative sollecitano profondamente il ruolo culturale delle esperienze di ricerca che usano metodologie meta progettuali. Il confronto fra alcuni casi italiani ed altri europei rimarca il ruolo del progetto nella costruzione di una prospettiva di tutela trasformativa per il costruito del secondo Novecento. Nel quadro di azione marcato dall’o…