4,977 research outputs found

    Constructing Numerical Semigroups of a Given Genus

    Full text link
    Let n_g denote the number of numerical semigroups of genus g. Bras-Amoros conjectured that n_g possesses certain Fibonacci-like properties. Almost all previous attempts at proving this conjecture were based on analyzing the semigroup tree. We offer a new, simpler approach to counting numerical semigroups of a given genus. Our method gives direct constructions of families of numerical semigroups, without referring to the generators or the semigroup tree. In particular, we give an improved asymptotic lower bound for n_g.Comment: 11 pages, 3 figures, 2 tables; accepted by Semigroup Foru

    Images of Galois representations in mod pp Hecke algebras

    Full text link
    Let (Tf,mf)(\mathbb{T}_f,\mathfrak{m}_f) denote the mod pp local Hecke algebra attached to a normalised Hecke eigenform ff, which is a commutative algebra over some finite field Fq\mathbb{F}_q of characteristic pp and with residue field Fq\mathbb{F}_q. By a result of Carayol we know that, if the residual Galois representation ρf:GQGL2(Fq)\overline{\rho}_f:G_\mathbb{Q}\rightarrow\mathrm{GL}_2(\mathbb{F}_q) is absolutely irreducible, then one can attach to this algebra a Galois representation ρf:GQGL2(Tf)\rho_f:G_\mathbb{Q}\rightarrow\mathrm{GL}_2(\mathbb{T}_f) that is a lift of ρf\overline{\rho}_f. We will show how one can determine the image of ρf\rho_f under the assumptions that (i)(i) the image of the residual representation contains SL2(Fq)\mathrm{SL}_2(\mathbb{F}_q), (ii)(ii) that mf2=0\mathfrak{m}_f^2=0 and (iii)(iii) that the coefficient ring is generated by the traces. As an application we will see that the methods that we use allow us to deduce the existence of certain pp-elementary abelian extensions of big non-solvable number fields

    Eliciting Socially Optimal Rankings from Unfair Jurors

    Get PDF
    A jury must provide a ranking of contestants (students applying for scholarships or Ph. D. programs, gymnasts in a competition, etc.). There exists a true ranking which is common knowledge among the jurors, but it is not verifiable. The socially optimal rule is that the contestants be ranked according to the true ranking. The jurors are not impartial and, for example, may have friends (contestants that they would like to benefit) and enemies (contestants that they would like to prejudice). We study necessary and sufficient conditions on the jury under which the socially optimal rule is Nash implementable. We also propose a simple mechanism that Nash implements the socially optimal rule under these conditions.Ranking of contestants; Implementation Theory; Nash Equilibrium

    Nash Implementation and Uncertain Renegotiation

    Get PDF
    This paper studies Nash implementation when the outcomes of the mechanism can be renegotiated among the agents but the planner does not know the renegotiation function that they will use. We characterize the social objectives that can be implemented in Nash equilibrium when the same mechanism must work for every admissible renegotiation function. The constrained Walrasian correspondence, the core correspondence, and the Pareto-efficient and envy-free correspondence satisfy the necessary and sufficient conditions for this form of implementation if and only if freedisposal of the commodities is allowed. The uniform rule, on the other hand, is not Nash implementable for some admissible renegotiations functions.Implementation theory, Nash equilibrium, renegotiation function.
    corecore