Upper bound theorems for homology manifolds

In this paper we prove the Upper Bound Conjecture (UBC) for some classes of (simplicial) homology manifolds: we show that the UBC holds for all odd-dimensional homology manifolds and for all 2k-dimensional homology manifolds Δ such that β _k (Δ)⩽Σ{β _i (Δ):i ≠k-2,k,k+2 and 1 ⩽i⩽2k-1}, where β _i (Δ) are reduced Betti numbers of Δ. (This condition is satisfied by 2k-dimensional homology manifolds with Euler characteristic χ≤2 whenk is even or χ≥2 whenk is odd, and for those having vanishing middle homology.) We prove an analog of the UBC for all other even-dimensional homology manifolds. Kuhnel conjectured that for every 2k-dimensional combinatorial manifold withn vertices, . We prove this conjecture for all 2k-dimensional homology manifolds withn vertices, wheren≥4k+3 orn≤3k+3. We also obtain upper bounds on the (weighted) sum of the Betti numbers of odd-dimensional homology manifolds.     

The chromatic number of the product of two ℵ1-chromatic graphs can be countable

We prove (in ZFC) that for every infinite cardinal ϰ there are two graphsG ₀,G ₁ with χ(G ₀)=χ(G ₁)=ϰ⁺ and χ(G ₀×G ₁)=ϰ. We also prove a result from the other direction. If χ(G ₀)≧≧ℵ₀ and χ(G ₁)=k<ω, then χ(G ₀×G ₁)=k.     

2-Distance 4-coloring of planar subcubic graphs

The trivial lower bound for the 2-distance chromatic number χ ₂(G) of any graph G with maximum degree Δ is Δ+1. It is known that χ ₂ = Δ+1 if the girth g of G is at least 7 and Δ is large enough. There are graphs with arbitrarily large Δ and g ≤ 6 having χ ₂(G) ≥ Δ+2. We prove the 2-distance 4-colorability of planar subcubic graphs with g ≥ 23, which strengthens a similar result by O. V. Borodin, A. O. Ivanova, and T. K. Neustroeva (2004) and Z. Dvořák, R. Škrekovski, and M. Tancer (2008) for g ≥ 24.     

Injective (Δ + 1)-coloring of planar graphs with girth 6

A vertex coloring of a graph G is called injective if every two vertices joined by a path of length 2 get different colors. The minimum number χ _i (G) of the colors required for an injective coloring of a graph G is clearly not less than the maximum degree Δ(G) of G. There exist planar graphs with girth g ≥ 6 and χ _i = Δ+1 for any Δ ≥ 2. We prove that every planar graph with Δ ≥ 18 and g ≥ 6 has χ _i ≤ Δ + 1.     

Equipartition of mass distributions by hyperplanes

We consider the problem of determining the smallest dimensiond=Δ(j, k) such that, for anyj mass distributions inR ^d , there arek hyperplanes so that each orthant contains a fraction 1/2 ^k of each of the masses. The case Δ(1,2)=2 is very well known. The casek=1 is answered by the ham-sandwich theorem with Δ(j, 1)=j. By using mass distributions on the moment curve the lower bound Δ(j, k)≥j(2 ^k −1)/k is obtained. We believe this is a tight bound. However, the only general upper bound that we know is Δ(j, k)≤j2 ^k−1. We are able to prove that Δ(j, k)=⌈j(^2k−1/k⌉ for a few pairs (j, k) ((j, 2) forj=3 andj=2 ⁿ withn≥0, and (2, 3)), and obtain some nontrivial bounds in other cases. As an intermediate result of independent interest we prove a Borsuk-Ulam-type theorem on a product of balls. The motivation for this work was to determine Δ(1, 4) (the only case forj=1 in which it is not known whether Δ(1,k)=k); unfortunately the approach fails to give an answer in this case (but we can show Δ(1, 4)≤5). This research was supported by the National Science Foundation under Grant CCR-9118874.     

List 2-distance (Δ + 1)-coloring of planar graphs with girth at least 7

The trivial lower bound for the 2-distance chromatic number χ ₂(G) of a graph G with maximum degree Δ is Δ + 1. There are available some examples of the graphs with girth g ≤ 6 that have arbitrarily large Δ and χ ₂(G) ≥ Δ + 2. In the paper we improve the known restrictions on Δ and g under which a planar graph G has χ ₂(G) = Δ + 1.     

A Note on the Game Chromatic Index of Graphs

In this note we prove that the game chromatic index χ _g ^′(G) of a graph G of arboricity k is at most Δ + 3k − 1. This improves a bound obtained by Cai and Zhu [J. Graph Theory 36 (2001), 144–155] for k-degenerate graphs. Tomasz Bartnicki: Research of the first author is supported by a PhD grant from Polish Ministry of Science and Higher Education N201 2128 33. Received: November 1, 2006. Final version received: December 22, 2007.     

Modular curves and bases for the spaces of cuspidal modular forms

Let Γ⊂SL ₂(ℝ) be a Fuchsian group of the first kind. For a character χ of Γ→ℂ^× of finite order, we define the usual space S _m (Γ,χ) of cuspidal modular forms of weight m≥0. For each ξ in the upper half–plane and m≥3, we construct cuspidal modular forms Δ _k,m,ξ,χ ∈S _m (Γ,χ) (k≥0) which represent the linear functionals f?\fracd^kfdz^k|_z=xf\mapsto\frac{d^{k}f}{dz^{k}}|_{z=\xi} in terms of the Petersson inner product. We write their Fourier expansion and use it to write an expression for the Ramanujan Δ-function. Also, with the aid of the geometry of the Riemann surface attached to Γ, for each non-elliptic point ξ and integer m≥3, we construct a basis of S _m (Γ,χ) out of the modular forms Δ _k,m,ξ ,χ (k≥0). For Γ=Γ ₀(N), we use this to write a matrix realization of the usual Hecke operators T _p for S _m (N,χ).     

A logical and algebraic treatment of conditional probability

This paper is devoted to a logical and algebraic treatment of conditional probability. The main ideas are the use of non-standard probabilities and of some kind of standard part function in order to deal with the case where the conditioning event has probability zero, and the use of a many-valued modal logic in order to deal probability of an event as the truth value of the sentence is probable, along the lines of Hájeks book [H98] and of [EGH96]. To this purpose, we introduce a probabilistic many-valued logic, called FP(S), which is sound and complete with respect a class of structures having a non-standard extension [0,1] of [0,1] as set of truth values. We also prove that the coherence of an assessment of conditional probabilities is equivalent to the coherence of a suitably defined theory over FP(S) whose proper axioms reflect the assessment itself.Mathematics Subject Classification (2000): 03B50, 06D35     

Total colorings of graphs of order 2n having maximum degree 2n−2

Let χ _t (G) and †(G) denote respectively the total chromatic number and maximum degree of graphG. Yap, Wang and Zhang proved in 1989 that ifG is a graph of orderp having †(G)≥p−4, then χ _t (G≤Δ(G)+2. Hilton has characterized the class of graphG of order 2n having †(G)=2n−1 such that χ _t (G=Δ(G)+2. In this paper, we characterize the class of graphsG of order 2n having †(G)=2n−2 such that χ _t (G=Δ(G)+2 Research supported by National Science Council of the Republic of China (NSC 79-0208-M009-15)     

On the adjacent-vertex-strongly-distinguishing total coloring of graphs

For any vertex u∈V(G), let T_N(U)={u}∪{uv|uv∈E(G), v∈v(G)}∪{v∈v(G)|uv∈E(G)}and let f be a total k-coloring of G. The total-color neighbor of a vertex u of G is the color set C_f(u)={f(x)|x∈TN(U)}. For any two adjacent vertices x and y of V(G)such that C_f(x)≠C_f(y), we refer to f as a k-avsdt-coloring of G("avsdt"is the abbreviation of"adjacent-vertex-strongly- distinguishing total"). The avsdt-coloring number of G, denoted by X_(ast)(G), is the minimal number of colors required for a avsdt-coloring of G. In this paper, the avsdt-coloring numbers on some familiar graphs are studied, such as paths, cycles, complete graphs, complete bipartite graphs and so on. We proveΔ(G) 1≤X_(ast)(G)≤Δ(G) 2 for any tree or unique cycle graph G.     

Homology of GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>: injectivity conjecture for GL<Subscript>4</Subscript>

The homology of GL _n (R) and SL _n (R) is studied, where R is a commutative ‘ring with many units’. Our main theorem states that the natural map H ₄(GL₃(R), k) → H ₄(GL₄(R), k) is injective, where k is a field with char(k) ≠ 2, 3. For an algebraically closed field F, we prove a better result, namely, is injective. We will prove a similar result replacing GL by SL. This is used to investigate the indecomposable part of the K-group K ₄(R).     

An upper bound for the adjacent vertex distinguishing acyclic edge chromatic number of a graph

A proper k-edge coloring of a graph G is called adjacent vertex distinguishing acyclic edge coloring if there is no 2-colored cycle in G and the color set of edges incident to u is not equal to the color set of edges incident to υ, where uυ ∈ E(G). The adjacent vertex distinguishing acyclic edge chromatic number of G, denoted by χ′ _aa (G), is the minimal number of colors in an adjacent vertex distinguishing acyclic edge coloring of G. In this paper we prove that if G(V, E) is a graph with no isolated edges, then χ′ _aa (G) ≤ 32Δ. Supported by the Natural Science Foundation of Gansu Province (3ZS051-A25-025)     

Computation of betti numbers of monomial ideals associated with cyclic polytopes

We give a combinatorial formula for the Betti numbers which appear in a minimal free resolution of the Stanley-Reisner ringk[Δ(P)]=A/I _Δ(P) of the boundary complex Δ(P) of an odd-dimensional cyclic polytopePover a fieldk. A corollary to the formula is that the Betti number sequence ofk[Δ(P)] is unimodal and does not depend on the base fieldk.     

Centers of F-purity

In this paper, we study a positive characteristic analogue of the centers of log canonicity of a pair (R, Δ). We call these analogues centers of F-purity. We prove positive characteristic analogues of subadjunction-like results, prove new stronger subadjunction-like results, and in some cases, lift these new results to characteristic zero. Using a generalization of centers of F-purity which we call uniformly F-compatible ideals, we give a characterization of the test ideal (which unifies several previous characterizations). Finally, in the case that Δ = 0, we show that uniformly F-compatible ideals coincide with the annihilators of the F(E_R(k)){\mathcal{F}(E_R(k))} -submodules of E _R (k) as defined by Lyubeznik and Smith.     

A generalization of Cohen- Eisenstein series and Shimura liftings and some congruences between Cusp forms and Eisenstein series

In this paper we introduce some modular forms of half-integral weight on congruence group Г_o(4N) withN an odd positive integer which can be viewed as a natural generalization of Cohen-Eisenstein series. Using these series, we can prove that the restriction of Shimura lifting on Eisenstein spaceE _k+1/2 ⁺ (4N,χl) gives an isomorphism fromE _k+1/2 ⁺ (4N,χl) toE _2k(N). We consider some congruence relationships between modular forms in use of Shimura lifting.     

The Linear 2-Arboricity of Planar Graphs

 Let G be a planar graph with maximum degree Δ and girth g. The linear 2-arboricity la ₂(G) of G is the least integer k such that G can be partitioned into k edge-disjoint forests, whose component trees are paths of length at most 2. We prove that (1) la ₂(G)≤⌈(Δ+1)/2⌉+12; (2) la ₂(G)≤⌈(Δ+1)/2⌉+6 if g≥4; (3) la ₂(G)≤⌈(Δ+1)/2⌉+2 if g≥5; (4) la ₂(G)≤⌈(Δ+1)/2⌉+1 if g≥7. Received: June 28, 2001 Final version received: May 17, 2002 Acknowledgments. This work was done while the second and third authors were visiting the Institute of Mathematics, Academia Sinica, Taipei. The financial support provided by the Institute is greatly appreciated.     

The Entire Coloring of Series-Parallel Graphs

The entire chromatic number X_(vef)(G) of a plane graph G is the minimal number of colors needed for coloring vertices, edges and faces of G such that no two adjacent or incident elements are of the same color. Let G be a series-parallel plane graph, that is, a plane graph which contains no subgraphs homeomorphic to K_(4-) It is proved in this paper that X_(vef)(G)≤max{8, △(G) 2} and X_(vef)(G)=△ 1 if G is 2-connected and △(G)≥6.     

On a function associated with the Bessel functions

Summary Defining the function Δn, 1,k;x(J) asΔn, 1,k;x(J)=J _n+1(x)−J _n(x)J _n+k+1(x) associated with the Bessel functionJ _n(x), we derive a series of products of Bessel functions for Δ_{n, f, k, x} (J). Whenk=1,k;x (J) becomes Turàn expression for Bessel functions. Some consequences have been pointed out.

---

Riassunto Definita la Δ_{n, f, k, x} (J) come Δ_{n, f, k, x}, (J)=J _n+1(x)J _n+k(x)-J _n(_n+k+1)(x) associata alla funzioneJ _n(x) di Bessel, si ricava una serie di prodotti di funzioni di Bessel per Δ_{n, f, k, x}, (J). 3 Quandok=1, Δ_{n, f, k, x}, (J) diventa una espressione di Turàn per le funzioni di 2 Bessel, vengono inoltre indicate alcune altre conseguenze.

     

Higher order Riesz transforms associated with Bessel operators

In this paper we investigate Riesz transforms R _μ ^(k) of order k≥1 related to the Bessel operator Δ_μ f(x)=-f”(x)-((2μ+1)/x)f’(x) and extend the results of Muckenhoupt and Stein for the conjugate Hankel transform (a Riesz transform of order one). We obtain that for every k≥1, R _μ ^(k) is a principal value operator of strong type (p,p), p∈(1,∞), and weak type (1,1) with respect to the measure dλ(x)=x ^2μ+1  dx in (0,∞). We also characterize the class of weights ω on (0,∞) for which R _μ ^(k) maps L ^p (ω) into itself and L ¹(ω) into L ^1,∞(ω) boundedly. This class of weights is wider than the Muckenhoupt class of weights for the doubling measure dλ. These weighted results extend the ones obtained by Andersen and Kerman.