首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let T k (V) denote the set of all 2 k n k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in T k (V) independently with probability p, and let Q be a given set of q “bad” tuple assignments. An instance I = (C,Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tuple assignment in Q. Suppose that θ, q > 0 are fixed and ε = ε(n) > 0 be such that εlnn/lnlnn→∞. Let k ≥ (1 + θ) log2 n and let \({p_0} = \frac{{\ln 2}}{{q{n^{k - 1}}}}\). We prove that
$$\mathop {\lim }\limits_{n \to \infty } P\left[ {I is satisfiable} \right] = \left\{ {\begin{array}{*{20}c} {1,} & {p \leqslant (1 - \varepsilon )p_0 ,} \\ {0,} & {p \geqslant (1 + \varepsilon )p_0 .} \\ \end{array} } \right.$$
  相似文献   

2.
Let (M, θ) be a pseudo-Hermitian space of real dimension 2n + 1, that is M is a CR-manifold of dimension 2n + 1 and θ is a contact form on M giving the Levi distribution \({HT(M) \subset TM}\). Let \({M^\theta \subset T^* M}\) be the canonical symplectization of (M, θ) and let M be identified with the zero section of M θ . Then M θ is a manifold of real dimension 2(n + 1) which admits a canonical foliation by surfaces parametrized by \({\mathbb{C} \ni t+i\sigma\mapsto \phi^{\theta}_{p}(t+i\sigma)=\sigma\theta_{g_t(p)}}\), where \({p \in M}\) is arbitrary and g t is the flow generated by the Reeb vector field associated to the contact form θ. Let J be an (integrable) complex structure defined in a neighbourhood U of M in M θ . We say that the pair (U, J) is an adapted complex tube on M θ if all the parametrizations \({\phi^{\theta}_{p}(t+i\sigma)}\) defined above are holomorphic on \({(\phi^{\theta}_{p})^{-1}(U)}\). In this paper we prove that if (U, J) is an adapted complex tube on M θ , then the real function E on \({M^\theta\subset T^*M}\) defined by the condition \({\alpha=E (\alpha)\theta_{\pi(\alpha)}}\), for each \({\alpha \in M^\theta}\), is a canonical defining function for M which satisfies the homogeneous Monge–Ampère equation (dd c E)n+1 = 0. We also prove that if M and θ are real analytic then the symplectization M θ admits an unique maximal adapted complex tube.  相似文献   

3.
Let R t [θ] be the ring generated over R by cosθ and sinθ, and R t (θ) be its quotient field. In this paper we study the ways in which an element p of R t [θ] can be decomposed into a composition of functions of the form p = R ? q, where R ∈ R(x) and q ∈ R t (θ). In particular, we describe all possible solutions of the functional equation R 1 ? q 1 = R 2 ? q 2, where R 1,R 2R[x] and q 1, q 2 ∈ R t [θ].  相似文献   

4.
Let k ≥ 3, θ a nontrivial equivalence relation on E k = {0, . . . ,k – 1}, and ρ a binary central relation on E k (a reflexive graph with a vertex having E k as its neighborhood). It is known that the clones Pol θ and Pol ρ (of operations on E k preserving θ and ρ, respectively) are maximal clones; i.e., covered by the largest clone in the inclusion-ordered lattice of clones on E k . In this paper, we give the classification of all binary central relations ρ on E k such that the clone Pol θ ∩ Pol ρ is maximal in Pol θ.  相似文献   

5.
Let M be a compact connected Kähler manifold and G a connected linear algebraic group defined over \({\mathbb{C}}\) . A Higgs field on a holomorphic principal G-bundle ε G over M is a holomorphic section θ of \(\text{ad}(\epsilon_{G})\otimes {\Omega}^{1}_{M}\) such that θθ = 0. Let L(G) be the Levi quotient of G and (ε G (L(G)), θ l ) the Higgs L(G)-bundle associated with (ε G , θ). The Higgs bundle (ε G , θ) will be called semistable (respectively, stable) if (ε G (L(G)), θ l ) is semistable (respectively, stable). A semistable Higgs G-bundle (ε G , θ) will be called pseudostable if the adjoint vector bundle ad(ε G (L(G))) admits a filtration by subbundles, compatible with θ, such that the associated graded object is a polystable Higgs vector bundle. We construct an equivalence of categories between the category of flat G-bundles over M and the category of pseudostable Higgs G-bundles over M with vanishing characteristic classes of degree one and degree two. This equivalence is actually constructed in the more general equivariant set-up where a finite group acts on the Kähler manifold. As an application, we give various equivalent conditions for a holomorphic G-bundle over a complex torus to admit a flat holomorphic connection.  相似文献   

6.
Let θ be a word in n variables and let G be a group; the marginal and verbal subgroups of G determined by θ are denoted by θ(G) and θ *(G), respectively. The following problems are generally attributed to P. Hall:
  1. (I)
    If π is a set of primes and |G : θ *(G)| is a finite π-group, is θ(G) also a finite π-group?
     
  2. (II)
    If θ(G) is finite and G satisfies maximal condition on its subgroups, is |G : θ *(G)| finite?
     
  3. (III)
    If the set \({\{\theta(g_1,\ldots,g_n) \;|\; g_1,\ldots,g_n\in G\}}\) is finite, does it follow that θ(G) is finite?
     
We investigate the case in which θ is the n-Engel word e n  = [x, n y] for \({n\in\{2,3,4\}}\) .
  相似文献   

7.
The Fleming-Viot process with parent-independent mutation process is one particular neutral population genetic model.As time goes by,some initial species are replaced by mutated ones gradually.Once the population mutation rate is high,mutated species will elbow out all the initial species very quickly.Small-time behavior in this case seems to be the key to understand this fast transition.The small-time asymptotic results related to time scale t/θ and a(θ)t,where lim_θ→∞~(θa(θ))=0,are obtained by Dawson and Shui(1998,2001),Shui and Xiong(2002),and Xiang and Zhang(2005),respectively.Only the behavior under the scale t(θ),where lim_θ→∞~(t(θ))=0 and lim_θ→∞~(θt(θ))=∞,was left untouched.In this paper,the weak limits under various small-time scales are obtained.Of particular interest is the large deviations for the small-time transient sampling distributions,which reveal interesting phase transition.Interestingly,such a phase transition is uniquely determined by some species diversity indices.  相似文献   

8.
A series of treadmill experiments is described concerned with a runner's speed, heart-rate and the gradient. Together with the results of similar experiments, some of them carried out over 50 years ago, the results suggest that for a given heart-rate, log(speed) is linearly related to gradient, and that for a given gradient, heart-rate is linearly related to speed. The results suggest:
  1. 1)
    that athletes who run p% faster on the level will run p% faster up a slope, if they maintain the same heart-rate;
     
  2. 2)
    that athletes will use the same number of heart beats running up a hill of uniform slope no matter how fast or slowly they run;
     
  3. 3)
    that athletes should run directly up any slope of less than about 20° and try to zigzag up slopes greater than this.
     
  相似文献   

9.
We consider the operator function L(α, θ) = A(α) ? θR of two complex arguments, where A(α) is an analytic operator function defined in some neighborhood of a real point α 0 ∈ ? and ranging in the space of bounded operators in a Hilbert space ?. We assume that A(α) is a dissipative operator for real α in a small neighborhood of the point α 0 and R is a bounded positive operator; moreover, the point α 0 is a normal eigenvalue of the operator function L(α, θ 0) for some θ 0 ∈ ?, and the number θ 0 is a normal eigenvalue of the operator function L(α 0 θ). We obtain analogs and generalizations of well-known results for self-adjoint operator functions A(α) on the decomposition of α- and θ-eigenvalues in neighborhoods of the points α 0 and θ 0, respectively, and on the representation of the corresponding eigenfunctions by series.  相似文献   

10.
The notion of weakly relatively prime and W-Gröbner basis in K[x 1, x 2, …, x n ] are given. The following results are obtained: for polynomials f 1, f 2, …, f m , \(\{ f_1^{\lambda _1 } ,f_2^{\lambda _2 } ,...,f_m^{\lambda _m } \} \) is a Gröbner basis if and only if f 1, f 2, …, f m are pairwise weakly relatively prime with λ 1, λ 2, …, λ m arbitrary non-negative integers; polynomial composition by Θ = (θ 1, θ 2, …, θ n ) commutes with monomial-Gröbner bases computation if and only if θ 1, θ 2, …, θ m are pairwise weakly relatively prime.  相似文献   

11.
We consider integrals of the form
$$I\left( {x,h} \right) = \frac{1}{{{{\left( {2\pi h} \right)}^{k/2}}}}\int_{{\mathbb{R}^k}} {f\left( {\frac{{S\left( {x,\theta } \right)}}{h},x,\theta } \right)} d\theta $$
, where h is a small positive parameter and S(x, θ) and f(τ, x, θ) are smooth functions of variables τ ∈ ?, x ∈ ? n , and θ ∈ ? k ; moreover, S(x, θ) is real-valued and f(τ, x, θ) rapidly decays as |τ| →∞. We suggest an approach to the computation of the asymptotics of such integrals as h → 0 with the use of the abstract stationary phase method.
  相似文献   

12.
We define a scale of mappings that depends on two real parameters p and q, n?1 ≤ qp < ∞ and a weight function θ. In the case of q = p = n, θ ≡ 1, we obtain the well-known mappings with bounded distortion. Mappings of a two-index scale inherit many properties of mappings with bounded distortion. They are used for solving a few problems of global analysis and applied problems.  相似文献   

13.
We consider the topological entropy h(θ) of real unimodal maps as a function of the kneading parameter θ (equivalently, as a function of the external angle in the Mandelbrot set). We prove that this function is locally Hölder continuous where h(θ) > 0, and more precisely for any θ which does not lie in a plateau the local Hölder exponent equals exactly, up to a factor log 2, the value of the function at that point. This confirms a conjecture of Isola and Politi (1990), and extends a similar result for the dimension of invariant subsets of the circle.  相似文献   

14.
We consider the partial theta function θ(q, x) := ∑j=0qj(j+1)/2xj, where x ∈ ? is a variable and q ∈ ?, 0 < |q| < 1, is a parameter. We show that, for any fixed q, if ζ is a multiple zero of the function θ(q, · ), then |ζ| ≤ 811.  相似文献   

15.
Let R and S be associative rings and S V R a semidualizing (S-R)-bimodule. An R-module N is said to be V-Gorenstein injective if there exists a Hom R (I V (R),?) and Hom R (?,I V (R)) exact exact complex \( \cdots \to {I_1}\xrightarrow{{{d_0}}}{I_0} \to {I^0}\xrightarrow{{{d_0}}}{I^1} \to \cdots \) of V-injective modules I i and I i , i ∈ N0, such that N ? Im(I 0I 0). We will call N to be strongly V-Gorenstein injective in case that all modules and homomorphisms in the above exact complex are equal, respectively. It is proved that the class of V-Gorenstein injective modules are closed under extension, direct summand and is a subset of the Auslander class A V (R) which leads to the fact that V-Gorenstein injective modules admit exact right I V (R)-resolution. By using these facts, and thinking of the fact that the class of strongly V-Gorenstein injective modules is not closed under direct summand, it is proved that an R-module N is strongly V-Gorenstein injective if and only if NE is strongly V-Gorenstein injective for some V-injective module E. Finally, it is proved that an R-module N of finite V-Gorenstein injective injective dimension admits V-Gorenstein injective preenvelope which leads to the fact that, for a natural integer n, Gorenstein V-injective injective dimension of N is bounded to n if and only if \(Ext_{{I_V}\left( R \right)}^{ \geqslant n + 1}\left( {I,N} \right) = 0\) for all modules I with finite I V (R)-injective dimension.  相似文献   

16.
Let G be a p-nilpotent linear group on a finite vector space V of characteristic p. Suppose that |G||V| is odd. Let P be a Sylow p-subgroup of G. We show that there exist vectors \(v_1\) and \(v_2\) in V such that \(C_G(v_1) \cap C_G(v_2)=P\). A striking conjecture of Malle and Navarro offers a simple global criterion for the nilpotence (in the sense of Broué and Puig) of a p-block of a finite group. Our result implies that this conjecture holds for groups of odd order.  相似文献   

17.
In this paper, we connect rectangular free probability theory and spherical integrals. We prove the analogue, for rectangular or square non-Hermitian matrices, of a result that Guionnet and Maïda proved for Hermitian matrices in (J. Funct. Anal. 222(2):435–490, 2005). More specifically, we study the limit, as n and m tend to infinity, of \(\frac{1}{n}\log\mathbb{E}\{\exp[\sqrt{nm}\theta X_{n}]\}\), where θ∈?, X n is the real part of an entry of U n M n V m and M n   is a certain n×m deterministic matrix and U n and V m are independent Haar-distributed orthogonal or unitary matrices with respective sizes n×n and m×m. We prove that when the singular law of M n converges to a probability measure μ, for θ small enough, this limit actually exists and can be expressed with the rectangular R-transform of μ. This gives an interpretation of this transform, which linearizes the rectangular free convolution, as the limit of a sequence of log-Laplace transforms.  相似文献   

18.
We define two scales of the mappings that depend on two real parameters p and q, with n?1 ≤ qp < ∞, as well as a weight function θ. The case q = p = n and θ ≡ 1 yields the well-known mappings with bounded distortion. The mappings of a two-index scale are applied to solve a series of problems of global analysis and applications. The main result of the article is the a.e. differentiability of mappings of two-index scales.  相似文献   

19.
We consider the asymptotic behavior of the values P(S > x), E(S 1{S>x}), and E(S | S > x). Here S = θ1X1 + θ2X2 + · · · + θnXn is a randomly weighted sum of the basic random variables X1,X2, . . . , Xn, which follow some special dependence structure, and 1, θ2, . . . , θn} is a collection of nonnegative and arbitrarily dependent random weights; the collections {X1,X2, . . .,Xn} and 1, θ2, . . . , θn} are supposed to be independent. We derive asymptotic formulas in the case where the number of summands n is fixed and the distributions of the basic random variables are dominatedly varying.We apply them to some values related to the risk measures of certain weighted sums.  相似文献   

20.
Covering matrices were used by Viale in his proof that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom and later by Sharon and Viale to investigate the impact of stationary reflection on the approachability ideal. In the course of this work, they isolated two reflection principles, CP and S, which may hold of covering matrices. In this paper, we continue previous work of the author investigating connections between failures of CP and S and variations on Jensen’s square principle. We prove that, for a regular cardinal λ > ω 1, assuming large cardinals, □(λ, 2) is consistent with CP(λ, θ) for all θ with θ + < λ. We demonstrate how to force nice θ-covering matrices for λ which fail to satisfy CP and S. We investigate normal covering matrices, showing that, for a regular uncountable κ, □ κ implies the existence of a normal ω-covering matrix for κ + but that cardinal arithmetic imposes limits on the existence of a normal θ-covering matrix for κ + when θ is uncountable. We introduce the notion of a good point for a covering matrix, in analogy with good points in PCF-theoretic scales. We develop the basic theory of these good points and use this to prove some non-existence results about covering matrices. Finally, we investigate certain increasing sequences of functions which arise from covering matrices and from PCF-theoretic considerations and show that a stationary reflection hypothesis places limits on the behavior of these sequences.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号