Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we are not interested in the set of all answers to a goal, but only require an aggregation of those answers. Several works have studied efficient techniques, such as lattice-based answer subsumption and mode-directed tabli...

We compute one-point function of the glueball loop operator in the maximally confining phase of supersymmetric gauge theory using instanton calculus. In the maximally confining phase the residual symmetry is the diagonal U(1) subgroup and the localization formula implies that the chiral correlation functions are the sum of the contributions from each fixed point labeled by the Young diagram. Th...

It is shown, for a given graph group G, that the fixed point subgroup Fix' is finitely generated for every endomorphism ' of G if and only if G is a free product of free abelian groups. The same conditions hold for the subgroup of periodic points. Similar results are obtained for automorphisms if the dependence graph of G is a transitive forest.

1. Introduction. In this paper, we study the fixed point sets and stable subgroups of automorphisms of a connected algebraic linear group over an algebraically closed field of arbitrary characteristic. [7] contains a description of most of the results of this paper, and some material in [7] is essential for the present paper. Many of the results discussed in the present paper were proved at cha...

Let G be a connected reductive algebraic group defined over Fq, where q is a power of a prime p that is good for G. Let F be the Frobenius morphism associated with the Fq-structure on G and set G = G , the fixed point subgroup of F . Let P be an F -stable parabolic subgroup of G and let U be the unipotent radical of P; set P = P and U = U . Let Guni be the set of unipotent elements in G. In thi...

Let M be a Lorentzian space-time manifold. If p G 31, let TV(M) denote the tangent space to M at p and let I e Tp (M ) be a null vector. Because of the identification of radiation in General Relativity with null geodesic congruences of curves in M, one is led to study the geometrical properties of the wave surfaces of I. These are the two dimensional subspaces of TP(M), each member of which is ...

Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allows for conjunction and value restrictions only, deciding subsumption in the presence of terminological cycles is a PSPACE-complete problem. This paper investigates subsumption in the presence of terminological cycles fo...

The term integrable asymptotically conformal at a point for a quasiconformal map defined on a domain is defined. Furthermore, we prove that there is a normal form for this kind attracting or repelling or superattracting fixed point with the control condition under a quasiconformal change of coordinate which is also asymptotically conformal at this fixed point. The change of coordinate is essent...

1 July 11, 2016 We use the notation x = g−1xg. Theorem 1.1. Let G be a finite group, and p be a prime. Suppose further that P is a p-group that acts by automorphisms on G, and p |G|. Consider the P -invariant classes of G: clP (G) = {K : K is a conjugacy class of G and K = K for all x ∈ P} Let C = CG(P ) be the fixed point subgroup of G under the action of P . Then the map clP (G) −→ cl(C) : K ...

We show that an automorphism of an arbitrary CAT (0) cube complex either has a fixed point or preserves some combinatorial axis. It follows that when a group contains a distorted cyclic subgroup, it admits no proper action on a discrete space with walls.