Tropical Hurwitz numbers

Hurwitz numbers count genus g, degree d covers of ℙ¹ with fixed branch locus. This equals the degree of a natural branch map defined on the Hurwitz space. In tropical geometry, algebraic curves are replaced by certain piece-wise linear objects called tropical curves. This paper develops a tropical counterpart of the branch map and shows that its degree recovers classical Hurwitz numbers. Further, the combinatorial techniques developed are applied to recover results of Goulden et al. (in Adv. Math. 198:43–92, 2005) and Shadrin et al. (in Adv. Math. 217(1):79–96, 2008) on the piecewise polynomial structure of double Hurwitz numbers in genus 0.     

Polynomiality of monotone Hurwitz numbers in higher genera

Hurwitz numbers count branched covers of the Riemann sphere with specified ramification, or equivalently, transitive permutation factorizations in the symmetric group with specified cycle types. Monotone Hurwitz numbers count a restricted subset of these branched covers, related to the expansion of complete symmetric functions in the Jucys–Murphy elements, and have arisen in recent work on the asymptotic expansion of the Harish-Chandra–Itzykson–Zuber integral. In previous work we gave an explicit formula for monotone Hurwitz numbers in genus zero. In this paper we consider monotone Hurwitz numbers in higher genera, and prove a number of results that are reminiscent of those for classical Hurwitz numbers. These include an explicit formula for monotone Hurwitz numbers in genus one, and an explicit form for the generating function in arbitrary positive genus. From the form of the generating function we are able to prove that monotone Hurwitz numbers exhibit a polynomiality that is reminiscent of that for the classical Hurwitz numbers, i.e.  , up to a specified combinatorial factor, the monotone Hurwitz number in genus g$g$ with ramification specified by a given partition is a polynomial indexed by g$g$ in the parts of the partition.     

The ubiquity of generalized cluster categories

Associated with a finite-dimensional algebra of global dimension at most 2, a generalized cluster category was introduced in Amiot (2009) [1]. It was shown to be triangulated, and 2-Calabi–Yau when it is Hom-finite. By definition, the cluster categories of Buan et al. (2006) [4] are a special case. In this paper we show that a large class of 2-Calabi–Yau triangulated categories, including those associated with elements in Coxeter groups from Buan et al. (2009) [7], are triangle equivalent to generalized cluster categories. This was already shown for some special elements in Amiot (2009) [1].     

An improved monotone algorithm for scheduling related machines with precedence constraints

We answer an open question posed by Krumke et al. (2008) [6] by showing how to turn the algorithm of Chekuri and Bender for scheduling related machines with precedence constraints into an O(logm)-approximation algorithm that is monotone in expectation. This significantly improves on the previously best known monotone approximation algorithms for this problem, from Krumke et al. [6] and Thielen and Krumke (2008) [8], which have an approximation guarantee of O(m^2/3).     

Maximal and minimal entry in the principal eigenvector for the distance matrix of a graph

Let G=(V,E) be a simple, connected and undirected graph with vertex set V(G) and edge set E(G). Also let D(G) be the distance matrix of a graph G (Jane?i? et al., 2007) [13]. Here we obtain Nordhaus–Gaddum-type result for the spectral radius of distance matrix of a graph.A sharp upper bound on the maximal entry in the principal eigenvector of an adjacency matrix and signless Laplacian matrix of a simple, connected and undirected graph are investigated in Das (2009) [4] and Papendieck and Recht (2000) [15]. Generally, an upper bound on the maximal entry in the principal eigenvector of a symmetric nonnegative matrix with zero diagonal entries and without zero diagonal entries are investigated in Zhao and Hong (2002) [21] and Das (2009) [4], respectively. In this paper, we obtain an upper bound on minimal entry in the principal eigenvector for the distance matrix of a graph and characterize extremal graphs. Moreover, we present the lower and upper bounds on maximal entry in the principal eigenvector for the distance matrix of a graph and characterize extremal graphs.     

Detecting cohomology for Lie superalgebras

In this paper we use invariant theory to develop the notion of cohomological detection for Type I classical Lie superalgebras. In particular we show that the cohomology with coefficients in an arbitrary module can be detected on smaller subalgebras. These results are used later to affirmatively answer questions, which were originally posed in Boe et al. (2010) [5] and Bagci et al. (2008) [2], about realizing support varieties for Lie superalgebras via rank varieties constructed for the smaller detecting subalgebras.     

Modified 6j-symbols and 3-manifold invariants

We show that the renormalized quantum invariants of links and graphs in the 3-sphere, derived from tensor categories in Geer et al. (2009) [14], lead to modified 6j-symbols and to new state sum 3-manifold invariants. We give examples of categories such that the associated standard Turaev–Viro 3-manifold invariants vanish but the secondary invariants may be non-zero. The categories in these examples are pivotal categories which are neither ribbon nor semi-simple and have an infinite number of simple objects.     

Classification of the centers and their isochronicity for a class of polynomial differential systems of arbitrary degree

In this paper we classify the centers localized at the origin of coordinates, and their isochronicity for the polynomial differential systems in R² of degree d that in complex notation z=x+iy can be written as where j is either 0 or 1. If j=0 then d?5 is an odd integer and n is an even integer satisfying 2?n?(d+1)/2. If j=1 then d?3 is an integer and n is an integer with converse parity with d and satisfying 0<n?[(d+1)/3] where [⋅] denotes the integer part function. Furthermore λ∈R and A,B,C,D∈C. Note that if d=3 and j=0, we are obtaining the generalization of the polynomial differential systems with cubic homogeneous nonlinearities studied in K.E. Malkin (1964) [17], N.I. Vulpe and K.S. Sibirskii (1988) [25], J. Llibre and C. Valls (2009) [15], and if d=2, j=1 and C=0, we are also obtaining as a particular case the quadratic polynomial differential systems studied in N.N. Bautin (1952) [2], H. Zoladek (1994) [26]. So the class of polynomial differential systems here studied is very general having arbitrary degree and containing the two more relevant subclasses in the history of the center problem for polynomial differential equations.     

Counting alternating knots by genus

It is shown that the number of alternating knots of given genus g>1 grows as a polynomial of degree 6g−4 in the crossing number. The leading coefficient of the polynomial, which depends on the parity of the crossing number, is related to planar trivalent graphs with a Bieulerian path. The rate of growth of the number of such graphs is estimated.     

Chamber behavior of double Hurwitz numbers in genus 0

We study double Hurwitz numbers in genus zero counting the number of covers CP¹→CP¹ with two branching points with a given branching behavior. By the recent result due to Goulden, Jackson and Vakil, these numbers are piecewise polynomials in the multiplicities of the preimages of the branching points. We describe the partition of the parameter space into polynomiality domains, called chambers, and provide an expression for the difference of two such polynomials for two neighboring chambers. Besides, we provide an explicit formula for the polynomial in a certain chamber called totally negative, which enables us to calculate double Hurwitz numbers in any given chamber as the polynomial for the totally negative chamber plus the sum of the differences between the neighboring polynomials along a path connecting the totally negative chamber with the given one.     

Stable rigged configurations for quantum affine algebras of nonexceptional types

For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum of that of type A with Littlewood–Richardson coefficients. Combining this result with Kirillov et al. (2002) [13] and Lecouvey et al. (2011) [18] we settle the X=M conjecture under the large rank hypothesis.     

3-list-coloring planar graphs of girth 4

In Thomassen (1995) [4], Thomassen proved that planar graphs of girth at least 5 are 3-choosable. In Li (2009) [3], Li improved Thomassen’s result by proving that planar graphs of girth 4 with no 4-cycle sharing a vertex with another 4- or 5-cycle are 3-choosable. In this paper, we prove that planar graphs of girth 4 with no 4-cycle sharing an edge with another 4- or 5-cycle are 3-choosable. It is clear that our result strengthens Li’s result.     

The asymptotic distribution of traces of Maass–Poincaré series

We establish an asymptotic formula with a power savings in the error term for traces of CM values of a family of Maass–Poincaré series which contains the modular j-function as a special case. By work of Borcherds (1998) [2], Zagier (2002) [31], and Bringmann and Ono (2007) [4], these traces are Fourier coefficients of half-integral weight weakly holomorphic modular forms and Maass forms.     

Hodge integrals with one λ-class

Hodge integrals over moduli space of stable curves play an important roles in understanding the topological properties of moduli space.ELSV formula connects the Hodge integrals with Hurwitz numbers,and the generating function of Hurwitz numbers satisfies the cut-and-join equation.Therefore,it is natural to consider how to use the cut-and-join equation for Hurwitz numbers to compute Hodge integrals which appear in ELSV formula.In this paper,at first,we will review the method introduced in Goulden et al.’s paper to get the λ g conjecture for Hodge integral.Through some variables transformation,the generating function of Hurwitz number becomes a symmetric polynomial which satisfies a symmetrized cut-and-join equation.By comparing the coefficients of the lowest degree term of both sides in this equation,we can get the λ g conjecture.Then,in a similar way,we obtain our main result in this paper:a recursive formula for Hodge integral of type contains only one λ g 1-class.We also point out that our results are closely related to the degree 0 Virasoro conjecture for a curve.     

The Moduli Space of Curves, Double Hurwitz Numbers, and Faber��s Intersection Number Conjecture

We define the dimension 2g − 1 Faber-Hurwitz Chow/homology classes on the moduli space of curves, parametrizing curves expressible as branched covers of \mathbbP₁{{\mathbb{P}_1}} with given ramification over ∞ and sufficiently many fixed ramification points elsewhere. Degeneration of the target and judicious localization expresses such classes in terms of localization trees weighted by “top intersections” of tautological classes and genus 0 double Hurwitz numbers. This identity of generating series can be inverted, yielding a “combinatorialization” of top intersections of Y{\Psi} -classes. As genus 0 double Hurwitz numbers with at most 3 parts over ∞ are well understood, we obtain Faber’s Intersection Number Conjecture for up to 3 parts, and an approach to the Conjecture in general (bypassing the Virasoro Conjecture). We also recover other geometric results in a unified manner, including Looijenga’s theorem, the socle theorem for curves with rational tails, and the hyperelliptic locus in terms of κ _g–2.     

Approximations for nonlinear mappings by the hybrid method in Hilbert spaces

The hybrid method in mathematical programming was introduced by Haugazeau (1968) [1] and he proved a strong convergence theorem for finding a common element of finite nonempty closed convex subsets of a real Hilbert space. Later, Bauschke and Combettes (2001) [2] proposed some condition for a family of mappings (the so-called coherent condition) and established interesting results by the hybrid method. The authors (Nakajo et al., 2009) [10] extended Bauschke and Combettes’s results. In this paper, we introduce a condition weaker than the coherent condition and prove strong convergence theorems which generalize the results of Nakajo et al. (2009) [10]. And we get strong convergence theorems for a family of asymptotically κ-strict pseudo-contractions, a family of Lipschitz and pseudo-contractive mappings and a one-parameter uniformly Lipschitz semigroup of pseudo-contractive mappings.     

Iterative character constructions for algebra groups

We construct a family of orthogonal characters of an algebra group which decompose the supercharacters defined by Diaconis and Isaacs (2008) [6]. Like supercharacters, these characters are given by nonnegative integer linear combinations of Kirillov functions and are induced from linear supercharacters of certain algebra subgroups. We derive a formula for these characters and give a condition for their irreducibility; generalizing a theorem of Otto (2010) [20], we also show that each such character has the same number of Kirillov functions and irreducible characters as constituents. In proving these results, we observe as an application how a recent computation by Evseev (2010) [7] implies that every irreducible character of the unitriangular group UTn(q) of unipotent n×n upper triangular matrices over a finite field with q elements is a Kirillov function if and only if n?12. As a further application, we discuss some more general conditions showing that Kirillov functions are characters, and describe some results related to counting the irreducible constituents of supercharacters.     

Operator ergodic theory for one-parameter decomposable groups

After initial treatment of the Fourier analysis and operator ergodic theory of strongly continuous decomposable one-parameter groups of operators in the Banach space setting, we show that in the setting of a super-reflexive Banach space X these groups automatically transfer from the setting of R to X the behavior of the Hilbert kernel, as well as the Fourier multiplier actions of functions of higher variation on R. These considerations furnish one-parameter groups with counterparts for the single operator theory in Berkson (2010) [4]. Since no uniform boundedness of one-parameter groups of operators is generally assumed in the present article, its results for the super-reflexive space setting go well beyond the theory of uniformly bounded one-parameter groups on UMD spaces (which was developed in Berkson et al., 1986 [13]), and in the process they expand the scope of vector-valued transference to encompass a genre of representations of R that are not uniformly bounded.