Separation of representations with quadratic overgroups

Any unitary irreducible representation π of a Lie group G defines a moment set Iπ, subset of the dual g^? of the Lie algebra of G. Unfortunately, Iπ does not characterize π. If G is exponential, there exists an overgroup G⁺ of G, built using real-analytic functions on g^?, and extensions π⁺ of any generic representation π to G⁺ such that Iπ⁺ characterizes π.In this paper, we prove that, for many different classes of group G, G admits a quadratic overgroup: such an overgroup is built with the only use of linear and quadratic functions.     

All (k;g)‐cages are k‐edge‐connected

A (k;g)‐cage is a k‐regular graph with girth g and with the least possible number of vertices. In this paper, we prove that (k;g)‐cages are k‐edge‐connected if g is even. Earlier, Wang, Xu, and Wang proved that (k;g)‐cages are k‐edge‐connected if g is odd. Combining our results, we conclude that the (k;g)‐cages are k‐edge‐connected. © 2005 Wiley Periodicals, Inc. J Graph Theory 48: 219–227, 2005     

Generating Quadratic Pseudo-Anosov Homeomorphisms of Closed Surfaces

In this note, we show that given a closed, orientable genus-g surface S _g , any hyperbolic toral automorphism has a positive power which induces a quadratic, orientable pseudo-Anosov homeomorphism on S _g . To show this, we lift Anosov toral automorphisms through a ramified topological covering and present the lifted homeomorphism via a standard set of Lickorish twists. This construction provides a general method of producing pseudo-Anosov maps of closed surfaces with predetermined orientable foliations and quadratic dilatation. Since these lifted automorphisms have orientable foliations, this construction is a sort of converse to that of Franks and Rykken [Trans. Amer. Math. Soc. 1999], who established that one can associate to a quadratic pseudo-Anosov homeomorphism with oriented unstable foliation a hyperbolic toral automorphism.     

Estimation under ℓ1-Symmetry

The estimation of the location parameter of an ℓ₁-symmetric distribution is considered. Specifically when a p-dimensional random vector has a distribution that is a mixture of uniform distributions on the ℓ₁-sphere, we investigate a general class of estimators of the form δ=X+g. Under the usual quadratic loss, domination of δ over X is obtained through the partial differential inequality 4 div g+2X ∂²g+ g²0 and a new superharmonicity-type-like notion adapted to the ℓ₁-context. Specifically the condition of ℓ₁-superharmonicity is that 2Δf+X ³f0 and div ³f0 as compared to the usual (ℓ₂) condition Δf0.     

4‐*GDDs(3n) and generalized Steiner systems GS(2, 4, v, 3)

Generalized Steiner systems GS(2, k, v, g) were first introduced by Etzion and used to construct optimal constant weight codes over an alphabet of size g + 1 with minimum Hamming distance 2k ? 3, in which each codeword has length v and weight k. As to the existence of a GS(2, k, v, g), a lot of work has been done for k = 3, while not so much is known for k = 4. The notion k‐*GDD was first introduced and used to construct GS(2, 3, v, 6). In this paper, singular indirect product (SIP) construction for GDDs is modified to construct GS(2, 4, v, g) via 4‐*GDDs. Furthermore, it is proved that the necessary conditions for the existence of a 4‐*GDD(3ⁿ), namely, n ≡ 0, 1 (mod 4) and n ≥ 8 are also sufficient. The known results on the existence of a GS(2, 4, v, 3) are then extended. © 2003 Wiley Periodicals, Inc. J Combin Designs 11: 381–393, 2003; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10047     

Decomposition of Graphs into (g, f)-Factors

Let G be a multigraph, g and f be integer-valued functions defined on V(G). Then a graph G is called a (g, f)-graph if g(x)≤deg _G(x)≤f(x) for each x∈V(G), and a (g, f)-factor is a spanning (g, f)-subgraph. If the edges of graph G can be decomposed into (g, f)-factors, then we say that G is (g, f)-factorable. In this paper, we obtained some sufficient conditions for a graph to be (g, f)-factorable. One of them is the following: Let m be a positive integer, l be an integer with l=m (mod 4) and 0≤l≤3. If G is an -graph, then G is (g, f)-factorable. Our results imply several previous (g, f)-factorization results. Revised: June 11, 1998     

Weak quadratic overgroups for a class of Lie groups

Let $G$ be a connected and simply connected Lie group with Lie algebra $\mathfrak g $ . We say that a subset $X$ in the set $\mathfrak g ^\star / G$ of coadjoint orbits is convex hull separable when the convex hulls differ for any pair of distinct coadjoint orbits in $X$ . In this paper, we define a class of solvable Lie groups, and we give an explicit construction of an overgroup $G^+$ and a quadratic map $\varphi $ sending each generic orbit in $\mathfrak g ^\star $ to a $G^+$ -orbit in $\mathfrak{g ^+}^\star $ , in such a manner that the set $\varphi (\mathfrak g ^\star _{gen}){/ G^+}$ is convex hull separable. We then call $G^+$ a weak quadratic overgroup for $G$ . Thanks to this construction, we prove that any nilpotent Lie group, with dimension at most 7 admits such a weak quadratic overgroup. Finally, we produce different examples of solvable Lie groups, having weak quadratic overgroups, but which are not in our class of Lie groups and for which usual constructions fail to hold.     

A quadratic bound on the number of boundary slopes of essential surfaces with bounded genus

Let M be an orientable 3-manifold with ∂M a single torus. We show that the number of boundary slopes of immersed essential surfaces with genus at most g is bounded by a quadratic function of g. In the hyperbolic case, this was proved earlier by Hass et al.     

Sequences of rational torsions on abelian varieties

Summary We address the question of how fast the available rational torsion on abelian varieties over increases with dimension. The emphasis will be on the derivation of sequences of torsion divisors on hyperelliptic curves. Work of Hellegouarch and Lozach (and Klein) may be made explicit to provide sequences of curves with rational torsion divisors of orders increasing linearly with respect to genus. The main results in §2) are applications of a new technique which provide sequences of hyperelliptic curves for all torsions in an interval [a _g ,a _g +b _g ]] wherea _g is quadratic ing andb _g is linear ing. As well as providing an improvement from linear to quadratic, these results provide a wide selection of torsion orders for potential use by those involved in computer integration. We conclude by considering possible techniques for divisors of non-hyperelliptic curves, and for general abelian varieties.     

Generalized Steiner systems GS4 (2, 4, v,g) for g = 2, 3, 6

Generalized Steiner systems GS_d(t, k, v, g) were first introduced by Etzion and used to construct optimal constant‐weight codes over an alphabet of size g + 1 with minimum Hamming distance d, in which each codeword has length v and weight k. Much work has been done for the existence of generalized Steiner triple systems GS(2, 3, v, g). However, for block size four there is not much known on GS_d(2, 4, v, g). In this paper, the necessary conditions for the existence of a GS_d(t, k, v, g) are given, which answers an open problem of Etzion. Some singular indirect product constructions for GS_d(2, k, v, g) are also presented. By using both recursive and direct constructions, it is proved that the necessary conditions for the existence of a GS₄(2, 4, v, g) are also sufficient for g = 2, 3, 6. © 2001 John Wiley & Sons, Inc. J Combin Designs 9: 401–423, 2001     

（g,f）-FACTORS WITH SPECIAL PROPERTIES IN BIPARTITE （mg,mf）-GRAPHS

Let G be a bipartite graph and g and f be two positive integer-valued functions defined on vertex set V(G) of G such that g(x)≤f(x). In this paper,some sufficient conditions related to the connectivity and edge-connectivity for a bipartite (mg,mf)-graph to have a (g,f)-factor with special properties are obtained and some previous results are generalized.Furthermore,the new results are proved to be the best possible.     

Quantitative Recurrence and Large Deviations for Teichmuller Geodesic Flow

We prove quantitative recurrence and large deviations results for the Teichmuller geodesic flow on connected components of strata of the moduli space Q _g of holomorphic unit-area quadratic differentials on a compact genus g ≥ 2 surface.     

Lie algebras admitting a unique quadratic structure

We prove that any Lie algebra g over a field K of characteristic zero admitting a unique up to a constant quadratic structure is necessarily a simple Lie algebra. If the field K is algebraically closed, such condition is also sufficient.

Further, a real Lie algebra g admits a unique quadratic structure if and only if its complexification g^C is a simple Lie algebra over C     

Generalized Steiner systems with block size three and group size g ≡ 3(mod 6)

Generalized Steiner Systems, GS(2, 3, n, g), are equivalent to maximum constant weight codes over an alphabet of size g + 1 with distance 3 and weight 3 in which each codeword has length n. We construct Generalized Steiner Triple Systems, GS(2, 3, n, g), when g ≡ 3(mod 6). © 1997 John Wiley & Sons, Inc. J Combin Designs 5:417–432, 1997     

Some more 5‐GDDs and optimal (v), 5, 1)‐packings

In this paper, we continue to investigate the existence of 5‐GDDs with types g⁵ m¹ and g^u. As an application, the known results on the existence of optimal packings with block size 5 are also improved. © 2003 Wiley Periodicals, Inc.     

A small generating set for the 3‐BD closed set of block sizes ≥ 6

Let v, k be positive integers and k ≥ 3, then K_k = : {v: v ≥ k} is a 3‐BD closed set. Two finite generating sets of 3‐BD closed sets K₄ and K₅ are obtained by H. Hanani [5] and Qiurong Wu [12] respectively. In this article we show that if v ≥ 6, then v ∈ B₃(K,1), where K = {6,7,…,41,45,46,47,51,52,53,83,84}\{22,26}; that is, we show that K is a generating set for K₆. Finally we show that v ∈ B₃(6,20) for all v ∈ K\{35,39,40,45}. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 128–136, 2008     

Existence of <Emphasis Type="Italic">g</Emphasis><Superscript>1</Superscript><Subscript><Emphasis Type="Italic">g</Emphasis>–2</Subscript>’s on a double covering of a hyperelliptic curve

Abstract Let X be a non–hyperelliptic curve of genus g which is a double covering of a hyperelliptic curve C of genus h. In this paper, we prove that, if h≥ 3 and g≥ 4h+5, then X admits a complete, base point free g¹_g–2. Moreover, if h=3, this result holds under the mild condition g≥ 4h+3=15. Keywords: Double covering of hyperelliptic curves, Pencil of degree g–2 Mathematics Subject Classification (2000:) 14H30, 14H45     

Local convergence of some iterative methods for generalized equations

We study generalized equations of the following form:

(render)

0f(x)+g(x)+F(x),

where f is Fréchet differentiable in a neighborhood of a solution x^* of (*) and g is Fréchet differentiable at x^* and where F is a set-valued map acting in Banach spaces. We prove the existence of a sequence (x_k) satisfying

which is super-linearly convergent to a solution of (*). We also present other versions of this iterative procedure that have superlinear and quadratic convergence, respectively.     

The spectrum of (<Emphasis Type="Italic">gv</Emphasis>, <Emphasis Type="Italic">g</Emphasis>, 3, λ)-DF in <Emphasis Type="Italic">Z</Emphasis><Subscript><Emphasis Type="Italic">gv</Emphasis></Subscript>

In this paper, the necessary and sufficient conditions for the existence of a (gv, g, 3, λ)-difference family in Z _gv are established. As a consequence, the existence spectrum of a cyclic (3, λ)-GDD of type g ^v without short orbits is determined. This work was supported by National Natural Science Foundation of China (Grants Nos. 10771013, 10831002)