Scoring rule and majority agreements for large electorates with arbitrary preferences

This paper examines elections among three candidates when the electorate is large and voters can have any of the 26 nontrivial asymmetric binary relations on the candidates as their preference relations. Comparisons are made between rule-λ rankings based on rank-order ballots and simple majorities based on the preference relations. The rule-λ ranking is the decreasing point total order obtained when 1, λ and 0 points are assigned to the candidates ranked first, second and third on each voter's ballot, with 0 ? λ ? 1.Limit probabilities as the number of voters gets large are computed for events such as ‘the first-ranked rule-λ candidate has a majority over the second-ranked rule-λ candidate’ and ‘the rule-λ winner is the Condorcet candidate, given that there is a Condorcet candidate’. The probabilities are expressed as functions of λ and the distribution of voters over types of preference relations. In general, they are maximized at λ = 1/2 (Borda) and minimized at λ = 0 (plurality) and at λ = 1 for any fixed distribution of voters over preference types. The effects of more indifference and increased intransitivity in voter's preference relations are analyzed when λ is fixed.     

A note on 3-blocked designs

A blocking set of a design different from a 2-(λ + 2, λ + 1, λ) design has at least 3 points. The aim of this note is to establish which 2-(v, k, λ) designs D with r ≥ 2λ may contain a blocking 3-set. The main results are the following. If D contains a blocking 3-set, then D is one of the following designs: a 2-(2λ + 3, λ + 1, λ), a 2-(2λ + 1), λ + 1, λ), a 2-(2λ - 1, λ, λ), a 2-(4λ + 3, 2λ + 1, λ) Hadamard design with λ odd, or a 2-(4λ - 1, 2λ, λ) Hadamard design. Moreover a blocking 3-set in a 2-(4λ + 3, 2λ + 1, λ) Hadamard design exists if and only if there is a line with three points. In the case of 2- (4λ - 1, 2λ, λ) Hadamard design with λ odd, we give necessary and sufficient conditions for the existence of a blocking 3-set, while in the case λ even, a necessary condition is given. © 1997 John Wiley & Sons, Inc.     

Branching of t-periodic solutions for a certain class of ordinary differential equations *

Sufficient conditions are given for the existence of periodic solutions of the weakly forced ODE X¹ = f(x) + F(t, x, λ) where x λ R², λ is a small parameter in a Banach space and F is T-periodic in its first variable. Some illustrative examples are provided     

On the consistency strength of ‘Accessible’ Jonsson Cardinals and of the Weak Chang Conjecture

Using the core model K we determine better lower bounds for the consistency strength of some combinatorial principles:I. Assume that λ is a Jonsson cardinal which is ‘accessible’ in the sense that at least one of (1)-(4) holds: (1) λ is a successor cardinal; (2) λ = ω_ξ and ξ<λ; (3) λ is singular of uncountable cofinality; (4) λ is a regular but not weakly hyper-Mahlo. Then 0² exists.II. For λ = ?⁺ a successor cardinal we consider the weak Chang Conjecture, wCC(λ), which is a consequence of the Chang transfer property (λ⁺, λ)?(λ, ?).III. If λ = ?⁺?ω₂, then wCC(λ) implies the existence of 0².IV. We can determine the consistency strenght of wCC(ω₁). We include a relatively simple definition of the core model which together with the results of Dodd and Jensen suffices for our proofs.     

Balanced incomplete block designs with block size 8

The necessary conditions for the existence of a balanced incomplete block design on υ ≥ k points, with index λ and block size k, are that: For k = 8, these conditions are known to be sufficient when λ = 1, with 38 possible exceptions, the largest of which is υ = 3,753. For these 38 values of υ, we show (υ, 8, λ ) BIBDs exist whenever λ > 1 for all but five possible values of υ, the largest of which is υ = 1,177, and these five υ's are the only values for which more than one value of λ is open. For λ>1, we show the necessary conditions are sufficient with the definite exception of two further values of υ, and the possible exception of 7 further values of υ, the largest of which is υ=589. In particular, we show the necessary conditions are sufficient for all λ> 5 and for λ = 4 when υ ≠ 22. We also look at (8, λ) GDDs of type 7^m. Our grouplet divisible design construction is also refined, and we construct and exploit α ‐ frames in constructing several other BIBDs. In addition, we give a PBD basis result for {n: n ≡ 0, 1; mod 8, n ≥ 8}, and construct a few new TDs with index > 1. © 2001 John Wiley & Sons, Inc. J Combin Designs 9: 233–268, 2001     

曲面的第Φ_r-形式及无穷小等距

本文考虑光滑曲面片 M上的基本 Φr 形式及无穷小变形 Φ,推广了一些经典的结果 .主要有如下两个定理 :定理 A　若Φr=λΦ1或Φr+ 1=Φr 对某 r=2 ,3,…成立 ;或Φr=λΦq 对某 r>q≥ 1成立 ,则 M是全脐的或可展的 ,极小的 ,其中λ是 M上的函数 .定理 B　若Φ是无穷小Φr+ 1等距的 ( r>2 ) ,如果在 M上 :( a) K≠ 0 ,δK=0或 K >0 ,δH =0 ;( b)存在M上的函数λ,使δΦr=λΦr,则Φ也是无穷小Φr 等距的 .     

The solution of a mildly singular integral equation of the first kind on a ball

We consider the equations $$\int_{\left| y \right| \leqslant 1} {\frac{{F(y)}}{{\left| {x - y} \right|^\lambda }} dy = G(x)(\left| x \right| \leqslant 1)} $$ where x and y ∈ E^p, p ≥ 3 and λ < p. For λ ∈ (p-2,p) we show that this equation has at most one integrable solution which if G is twice differentiable actually exists and is, in fact, given by an explicit formula in terms of integral operators acting on G and its derivatives. When λ ≤ p-2 and λ ≠ ?2j (j=0,1,?) the equation also has at most one integrable solution for which, assuming it to exist and G to be sufficiently smooth, there also is an explicit formula; in this situation, though, the explicit formula does not usually provide an integrable solution, because, in general, such solutions do not exists when λ ≤ p-2 and λ ≠ ?2j (j=0,1,?), no matter how smooth G is. In the remaining case λ = ?2j (j=0,1,?), neither uniqueness nor existence holds for solutions of the equation.     

Existence and uniqueness of positive radial solutions for a class of quasilinear elliptic equations

The existence and uniqueness of positive radial solutions of the equations of the type [IML0001] in B_R, p>1 with Dirichlet condition are proved for λ large enough and f satisfying a condition[IML0002] is non-decreasing on [IML0003] It is also proved that all the positive solutions in C₁ ⁰(B^R) of the above equations are radially symmetric solutions for f satisfying [IML0004] and λ large enough.     

奇数阶边值问题正解的存在性与多重性

利用锥拉伸锥压缩不动点定理,证明了在一定条件下,下列非线性奇数阶方程(-1)q+1u(2q+1)(t)=λa(t)f(u(t)),0 t 1,(-1)q+1u(2q+1)(t)=λa(t)f(u(t)),0 t 1,u(0)=u′(τ)=u″(1)=0u(2j+1)(0)=u(2j+1)(1)=0,j=1,2,…,q-1.单个和多个正解的存在性,其中λ>0,12<τ<1,q∈N.得到了λ的区间Λ,对一切λ∈Λ,该问题至少有一个正解,同样也得到了该问题至少有两个正解λ相应的区间.     

Free algebras over Bezout domains are Sylvester domains

Let λ be a finitary geometric theory and δ its classifying topos. We prove that δ is Boolean if and only if (1) every first-order formula in the language of λ is ?-provably equivalent to a geometric formula and (2) for any finite list of varibles, x, there are, up to ?-provable equivalence, only finitely many formulas, in the language of λ with free variables among x. We use this characterization to show that, when δ is Boolean, it is an atomic topos and can be viewed as a finite coproduct of topoi of continuous G-sets for topological groups G satisfying a certain finiteness condition.     

关于核完备空间的几个问题

<正> 1955年A.Grothendieck在建立核空间理论的同时,作为例子也具体给出了一类特殊的完备空间——gestufen空间具有核性的充要条件,十年之后,A.Pietsch和作者的一篇未发表的工作各自独立地得到了一般完备空间的核性条件,从此核完备空间的研究就展开了,如可参看[7—9]. 本文是继续探讨这方面的问题,共分四个部分:首先,为完整起见,在§1我们将重新叙述和证明完备空间为核的条件(我们原先的证明就与Pietsch不同);其次,在§2中我     

Existence Results for Classes of Sublinear Semipositone Problems

We consider the semipositone problem $${\matrix {-\Delta u (x)= \lambda f (u(x))\ \ \; \ \ \ \ \ x \in \Omega \cr \qquad \qquad \qquad u(x)=0 \ \ \ \;\ \ \ \ x \in \partial \Omega \cr}}$$ where λ > 0 is a constant, Ω is a bounded region in Rⁿ with a smooth boundary, and f is a smooth function such that f ′(u) is bounded below, f (0) < 0 and \({\rm lim}_{u \rightarrow}+\infty {f(u)\over u}=0. \) We prove under some additional conditions the existence of a positive solution (1) for λ ∈ I where I is an interval close to the smallest eigenvalue of —Δ with Dirichlet boundary condition and (2) for λ large. We also prove that our solution u for λ large is such that∥u∥ ? sup_x∈Ω ¦u(x)¦ → ∞ as A → ∞. Our methods are based on sub and super solutions. In particular, we use an anti maximum principle to obtain a subsolution for our existence result for λ ∈ I.     

Free boundary problems for the laplace equation: A priori estimates,existence theorems,asymptotic behaviours

This work is devoted to Free Boundary Problems with Laplace equation Δu = f in the domain and the two conditions on the Free Boundary u = 1 and |grad u| = λ = const. In the model problems which we study, three cases arise: 1) f = 0, λ is given, 2) f = 0, λ is unknown and the length of the Free Boundary is given, 3) f ≠ 0, λ = 0 (Obstacle Problem).     

Regular factors of regular graphs

Given r ? 3 and 1 ? λ ? r, we determine all values of k for which every r-regular graph with edge-connectivity λ has a k-factor.     

ON THE TITCHMARSH-WEYL THEORY OF ORDINARY SYMMETRIC ODD-ORDER DIFFERENTIAL EXPRESSIONS AND A DIRECT CONVERGENCE THEOREM

Abstract

In this paper the odd-order differential equation M[y] λ wy on the interval (O,∞), associated with the symmetric differential expression M of (2k-1)st order (k ≥ 2) with w a positive weight function and λ a complex number, is shown to possess k-Titchmarsh-Weyl solutions for every non-real λ in the underlying Hilbert space L² _w(O, ∞) having identical representation for every non-real λ. In terms of these solutions the Green's function associated with the singular boundary value problem is shown to possess identical representation for all non-real λ which has been further made use of in the third-order case to establish a direct convergence eigenfunction expansion theorem. The symmetric spectral matrix appearing in the expansion theorem has been characterized in terms of the Titchmarsh-Weyl m-coefficients.     

Julia set of λ exp(<Emphasis Type="Italic">z</Emphasis>)/<Emphasis Type="Italic">z</Emphasis> with real parameters λ

In this paper, we investigate the Julia set of the family λ exp(z)/z with real parameters λ. We look for what values of real parameters λ such that the Julia set of λ exp(z)/z does not coincide with the whole plane, and thus gives a complete classification for real parameters, which is similar to Jang’s result of a family of transcendental entire functions. Moreover, We also discuss the shape and size of Fatou sets and Julia sets of λ exp(z)/z with real parameters λ when the Julia sets are not the whole plane.     

A modified Leverrier-Faddeev algorithm for matrices with multiple eigenvalues

The Leverrier algorithm as modified by Faddeev gives the characteristic equation of a matrix A, its inverse, and the eigenvector corresponding to a simple eigenvalue λ of A. These results are extended (1) to give a generalized inverse when A is not of full rank and (2) to examine the modification required when λ is a multiple eigenvalue.     

The spectrum for large sets of disjoint mendelsohn triple systems with any index

The spectrum for LMTS(v,1) has been obtained by Kang and Lei (Bulletin of the ICA, 1993). In this article, firstly, we give the spectrum for LMTS(v,3). Furthermore, by the existence of LMTS(v,1) and LMTS(v,3), the spectrum for LMTS(v,λ) is completed, that is v ≡ 2 (mod λ), v ≥ λ + 2, if λ ? 0(mod 3) then v ? 2 (mod 3) and if λ = 1 then v ≠ 6. © 1994 John Wiley & Sons, Inc.     

ERRATA TO： ＂λ-Statistical Convergence of Order α＂ Acta Mathematica Scientia 2011, 31B（3）： 953–959

The sequences defined in Example 3 and Example 4 do not serve our purpose for any λ = (λn). Because this sequences are just the sequences x = (xk) = (k) and x = (xk) = (1) respectively and any term of these sequences can not be 0. In this short not we give Example 3* and Example 4* to show that the inclusions given in Theorem 2.4 and Theorem 2.9 are strict for some λ = (λn) , α and β such that 0 < α < β≤ 1.     

Butler groups as smooth ascending unions

Fuchs and Rangaswamy [8] proved that a smooth ascending union G = U α<λ Gα of pure B₂-subgroups is a B₂-group provided either λ = ω_o or λ = ω₁,/G/ = N₁ and all the subgroups Gα are decent in G. In this paper, we extend this result to arbitrary cardinal numbers λ under suitable hypotheses on the factor-groups G _α+1/G _α.