arXiv Science⌕ Search

arXiv subjects

Xiang Fu

Publications and source records attributed to Xiang Fu.

59 records · Page 4Linked to original sources
arXiv2013

Non-orthogonal geometric realizations of Coxeter groups

We define in an axiomatic fashion a \emph{Coxeter datum} for an arbitrary Coxeter group $W$. This Coxeter datum will specify a pair of reflection representations of $W$ in two vector spaces linked only by a bilinear paring without any integrality and non-degeneracy requirements. These representations are not required to be embeddings of $W$ in the orthogonal group of any vector space, and they give rise to a pair of inter-related root systems generalizing the classical root systems of Coxeter groups. We obtain comparison results between these non-orthogonal root systems and the classical root systems. Further, we study the equivalent of the Tits cone in these non-orthogonal representations, and we show that strong results on the geometry in the equivalent of the Tits cone can be obtained.

math.RT↗
arXiv2012

Coxeter groups, imaginary cones and dominance

Brink and Howlett have introduced a partial ordering, called dominance, on the positive roots in the Tits realization of Coxeter groups (Math. Ann. 296 (1993), 179--190). Recently a concept called $\infty$-height is introduced to each reflection in an arbitrary Coxeter group $W$ (Edgar, Dominance and regularity in Coxeter groups, PhD thesis, 2009). It is known (Dyer, unpublished) that for all $W$ of finite rank, and for each non-negative $n$, the set of reflections of $\infty$-height equal to $n$ is finite. However, it is not clear that the concepts of $\infty$-height and dominance are related. Here we show that the $\infty$-height of an arbitrary reflection is equal to the number of positive roots strictly dominated by the positive root corresponding to that reflection. We also give applications of dominance to the study of imaginary cones of Coxeter groups.

math.RT↗
arXiv2012

The dominance hierarchy in root systems of Coxeter groups

If $x$ and $y$ are roots in the root system with respect to the standard (Tits) geometric realization of a Coxeter group $W$, we say that $x$ \emph{dominates} $y$ if for all $w\in W$, $wy$ is a negative root whenever $wx$ is a negative root. We call a positive root \emph{elementary} if it does not dominate any positive root other than itself. The set of all elementary roots is denoted by $\E$. It has been proved by B. Brink and R. B. Howlett (Math. Ann. \textbf{296} (1993), 179--190) that $\E$ is finite if (and only if) $W$ is a finite-rank Coxeter group. Amongst other things, this finiteness property enabled Brink and Howlett to establish the automaticity of all finite-rank Coxeter groups. Later Brink has also given a complete description of the set $\E$ for arbitrary finite-rank Coxeter groups (J. Algebra \textbf{206} (1998)). However the set of non-elementary positive roots has received little attention in the literature. In this paper we answer a collection of questions concerning the dominance behaviour between such non-elementary positive roots. In particular, we show that for any finite-rank Coxeter group and for any non-negative integer $n$, the set of roots each dominating precisely $n$ other positive roots is finite. We give upper and lower bounds for the sizes of all such sets as well as an inductive algorithm for their computation.

math.RT↗
arXiv2010

Relational Constraint Driven Test Case Synthesis for Web Applications

This paper proposes a relational constraint driven technique that synthesizes test cases automatically for web applications. Using a static analysis, servlets can be modeled as relational transducers, which manipulate backend databases. We present a synthesis algorithm that generates a sequence of HTTP requests for simulating a user session. The algorithm relies on backward symbolic image computation for reaching a certain database state, given a code coverage objective. With a slight adaptation, the technique can be used for discovering workflow attacks on web applications.

cs.SE↗