On weak neighborhood systems and spaces

We introduce and study the concepts of weak neighborhood systems, weak neighborhood spaces, ω(ψ, ψ′)-continuity, ω-continuity and ω*-continuity on WNS’s. This work was supported by a grant from Research Institute for Basic Science at Kangwon National University.     

Approximation of the classes <Emphasis Type="Italic">C</Emphasis><Stack><Subscript>β</Subscript><Superscript>ψ</Superscript></Stack><Emphasis Type="Italic">H</Emphasis><Subscript>ω</Subscript> by generalized Zygmund sums

We obtain asymptotic equalities for the least upper bounds of approximations by Zygmund sums in the uniform metric on the classes of continuous 2π-periodic functions whose (ψ, β)-derivatives belong to the set H _ω in the case where the sequences ψ that generate the classes tend to zero not faster than a power function.     

A note on Weil index

Let F be a non-archimedean local field of characteristic 0 and(?)a nontrivial additive character.Weil first defined the Weil indexγ(a,(?))(a∈F~*)in his famous paper,from which we know thatγ(a,(?))γ(b,(?))=γ(ab,(?))γ(1,(?))(a,b)andγ(a,(?))~4 =(-1,-1),where(a,b)is the Hilbert symbol for F.The Weil index plays an important role in the theory of theta series and in the general representation theory.In this paper,we establish an identity relating the Weil indexγ(a,(?))and the Gauss sum.     

On the exponent of tensor categories coming from finite groups

We describe the exponent of a group-theoretical fusion category C = C(G, ω, F, α) associated to a finite group G in terms of group cohomology. We show that the exponent of C divides both e(ω)expG and (expG)², where e(ω) is the cohomological order of the 3-cocycle ω. In particular, expC divides (dim C)². This work was partially supported by CONICET, Fundación Antorchas, Agencia Córdoba Ciencia, ANPCyT and Secyt (UNC).     

The centralizer of an element in a Lie algebra of type <Emphasis Type="Italic">L</Emphasis>

In this paper, we investigate the Lie algebra L(A,α,δ) of type L and obtain the respective sufficient conditions for L(A,α,δ δ to be semisimple, and for Z(ω) = Fω as well, where 0 ≠ ω Є L(A, α, δ, δ) and Z(ω) is the centralizer of ω.     

Maximal subspaces for solutions of the second order abstract cauchy problem

For a continuous, increasing function ω: R → R \{0} of finite exponential type, this paper introduces the set Z(A, ω) of all x in a Banach space X for which the second order abstract differential equation (2) has a mild solution such that [ω(t)]-1u(t,x) is uniformly continues on R , and show that Z(A, ω) is a maximal Banach subspace continuously embedded in X, where A ∈ B(X) is closed. Moreover, A|z(A,ω) generates an O(ω(t))strongly continuous cosine operator function family.     

Covering properties which,under weak diamond principles,constrain the extents of separable spaces

We show that separable, locally compact spaces with property (a) necessarily have countable extent — i.e., have no uncountable closed, discrete subspaces — if the effective weak diamond principle ⋄(ω,ω,<) holds. If the stronger, non-effective, diamond principle Φ(ω,ω,<) holds then separable, countably paracompact spaces also have countable extent. We also give a short proof that the latter principle implies there are no small dominating families in ^ω ₁ ω.     

Value distribution of Painlevé transcendents of the first and the second kind

We examine value distribution properties of the first and the second Painlevé transcendents. For every transcendental meromorphic solution ϕ(z) (resp. ψ(z)) of the first (resp. second) Painlevé equation, the deficiency δ(g,ϕ) (resp. δ(g, ψ)) of a small functiong(z) does not exceed 1/2. Furthermore, for ϕ(z), the ramification index satisfies ϑ(gφ)≤5/12.     

Conditions of C0 flows on closed surfaces having the pseudo-orbit tracing property

Let M be a closed surface, orientable or non-orientable, and letf be a C° flow onM of which all singular points are isolated. Thenf has the pseudo-orbit tracing property if and only if (i) for anyx ∈ M, both the ωlimit set ω(x) and the α-limit set α(x) ofx contain only one orbit; (ii) for any regular pointx off, if ω(x) is not quasi-attracting, then α(x) is quasi-exclusive; (iii) every saddle point off is strict, and at most 4-forked. Project supported by the National Natural Science Foundation of China.     

Strong Arens irregularity of Beurling algebras with a locally convex topology

Let G be a locally compact group with a weight function ω. Recently, we have shown that the Banach space L₀^∞ (G,1/ω) can be identified with the strong dual of L¹(G, ω)equipped with some locally convex topologies τ. Here we use this duality to introduce an Arens multiplication on (L¹(G, ω), τ)**, and prove that the topological center of (L¹(G, ω), τ)** is (L¹(G, ω); this enables us to conclude that (L¹(G, ω), τ) is Arens regular if and only if G is discrete. We also give a characterization for Arens regularity of L₀^∞ (G, 1/ω)¹. Received: 8 March 2005     

The equilibrium states for semigroups of rational maps

We consider the dynamics of skew product maps associated with finitely generated semigroups of rational maps on the Riemann sphere. We show that under some conditions on the dynamics and the potential function ψ, there exists a unique equilibrium state for ψ and a unique exp(P(ψ) − ψ)-conformal measure, where P(ψ) denotes the topological pressure of ψ. The research of M. Urbański was supported in part by the NSF Grant DMS 0400481. H. Sumi thanks University of North Texas for kind hospitality, during his stay there.     

Spectre de l'opérateur de transfert en dimension 1

We study spectral properties of a transfer operator ℳΦ(x)=∑_ω g _ω(x)Φ(ψ_ω x) acting on functions of bounded variation. Using a symmetrical integral, we first obtain bounds on its spectral and essential spectral radii. We then consider the dynamical determinant Det^#(Id +zℳ). Our main theorem generalizes to discontinuous weights the result of Baladi and Ruelle (for continuous weights) on the link between zeroes of the sharp determinant and eigenvalues of the transfer operator. The proof is based on regularizing the weights and uses a (new) spectral result giving the surjectivity of some applications between eigenspaces of operators. Received: 8 May 2001     

The Clique Numbers of Regular Graphs

 Let ω(G) be the clique number of a graph G. We prove that if G runs over the set of graphs with a fixed degree sequence d, then the values ω(G) completely cover a line segment [a,b] of positive integers. For an arbitrary graphic degree sequence d, we define min(ω,d) and max(ω,d) as follows:

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

The distribution of the root degree of a random permutation

Given a permutation ω of {1, …, n}, let R(ω) be the root degree of ω, i.e. the smallest (prime) integer r such that there is a permutation σ with ω = σ ^r . We show that, for ω chosen uniformly at random, R(ω) = (lnlnn − 3lnlnln n + O ^p (1))⁻¹ lnn, and find the limiting distribution of the remainder term. Research supported in part by NSF grants CCR-0225610, DMS-0505550 and ARO grant W911NF-06-1-0076. Research supported by NSF grant DMS-0406024.     

Provability interpretations of modal logic

We consider interpretations of modal logic in Peano arithmetic (P) determined by an assignment of a sentencev ^* ofP to each propositional variablev. We put (⊥)*=“0 = 1”, (χ → ψ)* = “χ* → ψ*” and let (□ψ)* be a formalization of “ψ)* is a theorem ofP”. We say that a modal formula, χ, isvalid if ψ* is a theorem ofP in each such interpretation. We provide an axiomitization of the class of valid formulae and prove that this class is recursive.     

Noise sensitivity of Boolean functions and applications to percolation

It is shown that a large class of events in a product probability space are highly sensitive to noise, in the sense that with high probability, the configuration with an arbitrary small percent of random errors gives almost no prediction whether the event occurs. On the other hand, weighted majority functions are shown to be noise-stable. Several necessary and sufficient conditions for noise sensitivity and stability are given. Consider, for example, bond percolation on ann+1 byn grid. A configuration is a function that assigns to every edge the value 0 or 1. Let ω be a random configuration, selected according to the uniform measure. A crossing is a path that joins the left and right sides of the rectangle, and consists entirely of edges ℓ with ω(ℓ)=1. By duality, the probability for having a crossing is 1/2. Fix an ɛ ∈ (0, 1). For each edge ℓ, let ω′(ℓ)=ω(ℓ) with probability 1 − ɛ, and ω′(ℓ)=1 − ω(ℓ) with probability ɛ, independently of the other edges. Letp(τ) be the probability for having a crossing in ω, conditioned on ω′ = τ. Then for alln sufficiently large,P{τ : |p(τ) − 1/2| > ɛ}<ɛ.     

Realization of a sum of sequences by a sum graph

It is shown that the realizability of the sequences ϕ=(a ₁,…, _a ), ψ=(b ₁,…,b _n ) and ϕ+ψ is a sufficient condition for the realizability of ϕ+ψ by a graph with a ϕ-factor ifb _i ≦1 fori=1,…,n. The condition is not sufficient in general. A necessary and sufficient condition for the realizability of ϕ+ψ by a graph with a ϕ-factor is given for the case that ϕ is realizable by a star and isolated vertices.     

More on countably compact,locally countable spaces

Following [5], aT ₃ spaceX is called good (splendid) if it is countably compact, locally countable (andω-fair).G(κ) (resp.S(κ)) denotes the statement that a good (resp. splendid) spaceX with |X|=κ exists. We prove here that (i) Con(ZF)→Con(ZFC+MA+2 ^ω is big+S(κ) holds unlessω=cf(κ)<κ); (ii) a supercompact cardinal implies Con(ZFC+MA+2suω>_ω+₁+┐G(ω_ω+₁); (iii) the “Chang conjecture” (ω_ω+₁),→(ω ₁,ω) implies ┐S(κ) for allκ≧k≧ω_ω; (iv) ifP addsω ₁ dominating reals toV iteratively then, in , we haveG(λ^ω) for allλ. Research supported by Hungarian National Foundation for Scientific Research grant no. 1805.     

On the chromatic polynomial of a graph

Let P(G,λ) be the chromatic polynomial of a graph G with n vertices, independence number α and clique number ω. We show that for every λ≥n, ()^α≤≤ () ^{n −ω}. We characterize the graphs that yield the lower bound or the upper bound.?These results give new bounds on the mean colour number μ(G) of G: n− (n−ω)() ^{n −ω}≤μ(G)≤n−α() ^α. Received: December 12, 2000 / Accepted: October 18, 2001?Published online February 14, 2002