15,118,860 research outputs found

    Optimal General Matchings

    Full text link
    Given a graph G=(V,E)G=(V,E) and for each vertex vVv \in V a subset B(v)B(v) of the set {0,1,,dG(v)}\{0,1,\ldots, d_G(v)\}, where dG(v)d_G(v) denotes the degree of vertex vv in the graph GG, a BB-factor of GG is any set FEF \subseteq E such that dF(v)B(v)d_F(v) \in B(v) for each vertex vv, where dF(v)d_F(v) denotes the number of edges of FF incident to vv. The general factor problem asks the existence of a BB-factor in a given graph. A set B(v)B(v) is said to have a {\em gap of length} pp if there exists a natural number kB(v)k \in B(v) such that k+1,,k+pB(v)k+1, \ldots, k+p \notin B(v) and k+p+1B(v)k+p+1 \in B(v). Without any restrictions the general factor problem is NP-complete. However, if no set B(v)B(v) contains a gap of length greater than 11, then the problem can be solved in polynomial time and Cornuejols \cite{Cor} presented an algorithm for finding a BB-factor, if it exists. In this paper we consider a weighted version of the general factor problem, in which each edge has a nonnegative weight and we are interested in finding a BB-factor of maximum (or minimum) weight. In particular, this version comprises the minimum/maximum cardinality variant of the general factor problem, where we want to find a BB-factor having a minimum/maximum number of edges. We present an algorithm for the maximum/minimum weight BB-factor for the case when no set B(v)B(v) contains a gap of length greater than 11. This also yields the first polynomial time algorithm for the maximum/minimum cardinality BB-factor for this case

    A Note on Weighted Rooted Trees

    Full text link
    Let TT be a tree rooted at rr. Two vertices of TT are related if one is a descendant of the other; otherwise, they are unrelated. Two subsets AA and BB of V(T)V(T) are unrelated if, for any aAa\in A and bBb\in B, aa and bb are unrelated. Let ω\omega be a nonnegative weight function defined on V(T)V(T) with vV(T)ω(v)=1\sum_{v\in V(T)}\omega(v)=1. In this note, we prove that either there is an (r,u)(r, u)-path PP with vV(P)ω(v)13\sum_{v\in V(P)}\omega(v)\ge \frac13 for some uV(T)u\in V(T), or there exist unrelated sets A,BV(T)A, B\subseteq V(T) such that aAω(a)13\sum_{a\in A }\omega(a)\ge \frac13 and bBω(b)13\sum_{b\in B }\omega(b)\ge \frac13. The bound 13\frac13 is tight. This answers a question posed in a very recent paper of Bonamy, Bousquet and Thomass\'e

    Distinguished Pre-Nichols algebras

    Full text link
    We formally define and study the distinguished pre-Nichols algebra B~(V)\widetilde{\mathcal{B}}(V) of a braided vector space of diagonal type VV with finite-dimensional Nichols algebra B(V)\mathcal{B}(V). The algebra B~(V)\widetilde{\mathcal{B}}(V) is presented by fewer relations than B(V)\mathcal{B}(V), so it is intermediate between the tensor algebra T(V)T(V) and B(V)\mathcal{B}(V). Prominent examples of distinguished pre-Nichols algebras are the positive parts of quantized enveloping (super)algebras and their multiparametric versions. We prove that these algebras give rise to new examples of Noetherian pointed Hopf algebras of finite Gelfand-Kirillov dimension. We investigate the kernel (in the sense of Hopf algebras) of the projection from B~(V)\widetilde{\mathcal{B}}(V) to B(V)\mathcal{B}(V), generalizing results of De Concini and Procesi on quantum groups at roots of unity.Comment: 32 page

    A uniform classification of discrete series representations of affine Hecke algebras

    Full text link
    We give a new and independent parameterization of the set of discrete series characters of an affine Hecke algebra Hv\mathcal{H}_{\mathbf{v}}, in terms of a canonically defined basis Bgm\mathcal{B}_{gm} of a certain lattice of virtual elliptic characters of the underlying (extended) affine Weyl group. This classification applies to all semisimple affine Hecke algebras H\mathcal{H}, and to all vQ\mathbf{v}\in\mathcal{Q}, where Q\mathcal{Q} denotes the vector group of positive real (possibly unequal) Hecke parameters for H\mathcal{H}. By analytic Dirac induction we define for each bBgmb\in \mathcal{B}_{gm} a continuous (in the sense of [OS2]) family Qbreg:=Qb\QbsingvIndD(b;v)\mathcal{Q}^{reg}_b:=\mathcal{Q}_b\backslash\mathcal{Q}_b^{sing}\ni\mathbf{v}\to\operatorname{Ind}_{D}(b;\mathbf{v}), such that ϵ(b;v)IndD(b;v)\epsilon(b;\mathbf{v})\operatorname{Ind}_{D}(b;\mathbf{v}) (for some ϵ(b;v){±1}\epsilon(b;\mathbf{v})\in\{\pm 1\}) is an irreducible discrete series character of Hv\mathcal{H}_{\mathbf{v}}. Here QbsingQ\mathcal{Q}^{sing}_b\subset\mathcal{Q} is a finite union of hyperplanes in Q\mathcal{Q}. In the non-simply laced cases we show that the families of virtual discrete series characters IndD(b;v)\operatorname{Ind}_{D}(b;\mathbf{v}) are piecewise rational in the parameters v\mathbf{v}. Remarkably, the formal degree of IndD(b;v)\operatorname{Ind}_{D}(b;\mathbf{v}) in such piecewise rational family turns out to be rational. This implies that for each bBgmb\in \mathcal{B}_{gm} there exists a universal rational constant dbd_b determining the formal degree in the family of discrete series characters ϵ(b;v)IndD(b;v)\epsilon(b;\mathbf{v})\operatorname{Ind}_{D}(b;\mathbf{v}). We will compute the canonical constants dbd_b, and the signs ϵ(b;v)\epsilon(b;\mathbf{v}). For certain geometric parameters we will provide the comparison with the Kazhdan-Lusztig-Langlands classification.Comment: 31 pages, 2 table

    On Nichols (braided) Lie algebras

    Full text link
    We prove {\rm (i)} Nichols algebra B(V)\mathfrak B(V) of vector space VV is finite-dimensional if and only if Nichols braided Lie algebra L(V)\mathfrak L(V) is finite-dimensional; {\rm (ii)} If the rank of connected VV is 22 and B(V)\mathfrak B(V) is an arithmetic root system, then B(V)=FL(V);\mathfrak B(V) = F \oplus \mathfrak L(V); and {\rm (iii)} if Δ(B(V))\Delta (\mathfrak B(V)) is an arithmetic root system and there does not exist any mm-infinity element with puu1p_{uu} \not= 1 for any uD(V)u \in D(V), then dim(B(V))=\dim (\mathfrak B(V) ) = \infty if and only if there exists VV', which is twisting equivalent to VV, such that dim(L(V))=. \dim (\mathfrak L^ - (V')) = \infty. Furthermore we give an estimation of dimensions of Nichols Lie algebras and two examples of Lie algebras which do not have maximal solvable ideals.Comment: 29 Pages; Substantially revised version; To appear in International Journal of Mathematic

    Deforming a Lie algebra by means of a two form

    Full text link
    We consider a vector space V over K=R or C, equipped with a skew symmetric bracket [.,.]: V x V --> V and a 2-form omega:V x V --> K. A simple change of the Jacobi identity to the form [A,[B,C]]+[C,[A,B]]+[B,[C,A]]=omega(B,C)A+omega(A,B)C+omega(C,A)B opens new possibilities, which shed new light on the Bianchi classification of 3-dimensional Lie algebras.Comment: An error consisting in overlooking few types in the Bianchi classification is correcte
    corecore