In this paper, we present a conjecture on the degree of unipotent characters in the cohomology of particular Deligne–Lusztig varieties for groups of Lie type, and derive consequences of it. These degrees are a crucial piece of data in the geometric version of Broué’s abelian defect group conjecture, and can be used to verify this geometric conjecture in new cases. The geometric version of Broué...

Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those based on bisimulations and logical relations only target at contextual equivalence in the usual (non-linear) functional languages, and fail in capturing non-trivial equivalent programs in linear contexts, particularly w...

However, this problem can be fixed by requiring active substitutions be defined on the base sort only (see, for instance, [3]). The purpose of this note is to supply a proof for the theorem. In the original semantics in [1], the use of structural equivalence introduces many possibilities and makes it difficult to write a rigorous proof. To overcome the difficulty we shall use intermediate seman...

let $g$ be a simple graph of order $n$ and size $m$.the edge covering of $g$ is a set of edges such that every vertex of $g$ is incident to at least one edge of the set. the edge cover polynomial of $g$ is the polynomial$e(g,x)=sum_{i=rho(g)}^{m} e(g,i) x^{i}$,where $e(g,i)$ is the number of edge coverings of $g$ of size $i$, and$rho(g)$ is the edge covering number of $g$. in this paper we stud...

in this paper the class of n-ary hypergroups is introduced and several properties are found andexamples are presented. n-ary hypergroups are a generalization of hypergroups in the sense of marty. on theother hand, we can consider n-ary hypergroups as a good generalization of n-ary groups. we define thefundamental relation β* on an n-ary hypergroup h as the smallest equivalence relation such tha...

Previous studies have shown that after being trained on A-B and A-C match-to-sample tasks, adults match not only same-class Band C stimuli (equivalence) but also BC compounds with sameclass elements and with different-class elements (BC-BC) . The assumption was that the BC-BC performances are based on matching equivalence and nonequivalence relations (equivalenceequivalence) . The present study...

We define Ak-moves for embeddings of a finite graph into the 3-sphere for each natural number k. Let Ak-equivalence denote an equivalence relation generated by Ak-moves and ambient isotopy. Ak-equivalence implies Ak−1-equivalence. Let F be an Ak−1-equivalence class of the embeddings of a finite graph into the 3-sphere. Let G be the quotient set of F under Ak-equivalence. We show that the set G ...

We define an analog of Voiculescu’s free entropy for n-tuples of unitaries u1, . . . , un in a tracial von Neumann algebra M which normalize a unital subalgebra L[0, 1] = B ⊂ M. Using this quantity, we define the free dimension δ0(u1, . . . , un G B). This number depends on u1, . . . , un only up to orbit equivalence over B. In particular, if R is a measurable equivalence relation on [0, 1] gen...