Accurate delay models are important for static and dynamic timing analysis of digital circuits, and mandatory for formal verification. However, Függer et al. [IEEE TC 2016] proved that pure and inertial delays, which are employed for dynamic timing analysis in state-of-the-art tools like ModelSim, NC-Sim and VCS, do not yield faithful digital circuit models. Involution delays, which are based o...

We develop a new approach for the computation of Mullineux involution symmetric group and its Hecke algebra using notion crystal isomorphism Iwahori-Matsumoto affine type \(A\). As consequence, we obtain several elementary combinatorial algorithms computation, one which is equivalent to Xu algorithm (and thus original algorithm). simple interpretation these proof that they indeed compute involu...

Definitions and notation: Let A be a central simple algebra of degree n over a field k of characteristic different from 2. An involution on A is a ring antiautomorphism of order at most 2. An involution σ is of the first kind if σ|k = Idk, and of the second kind if σ|k is a non trivial involution on k, denoted by .̄ In the last case, k is a quadratic extension of the subfield k0 fixed by .̄ So we...

We give the avoidance indices for all unary patterns with involution.

We show that most of the theory of Hermitian Banach algebras can be proved for normed ∗-algebras without the assumption of completeness. The condition r(x) ≤ p(x) for all x (where p(x) = r(x∗x)1/2 is the Pták function), which is essential in the theory of Hermitian Banach algebras, is replaced for normed ∗-algebras by the condition r(x + y) ≤ p(x) + p(y) for all x, y. In case of Banach ∗-algebr...

We give a necessary and su¢ cient condition for a bounded involution lattice to be isomorphic to the direct square of its invariant part. This result is applied to show relations between related lattices of an algebra: For instance, generalizing some earlier results of G. Czédli and L. Szabó it is proved that any algebra admits a connected compatible partial order whenever its quasiorder lattic...

Article history: Received 5 March 2013 Received in revised form 4 April 2014 Accepted 15 July 2014 Available online 23 July 2014 Communicated by J. Karhumäki

It is often inevitable to introduce an indefinite-metric space in quantum field theory, for example, which is explained for the sake of the manifestly covariant quantization of the electromagnetic field. We show two more evident mathematical reasons why such indefinite metric appears. The first idea is the replacement of involution on an algebra. For an algebra A with an involution † such that ...

Increased levels of pro-inflammatory markers and decreased levels of anti-inflammatory markers in the breast tissue can result in local inflammation. We aimed to investigate whether local inflammation in the breast tissue is associated with age-related lobular involution, a process inversely related to breast cancer risk. Levels of eleven pro- and anti-inflammatory markers were assessed by immu...