首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
A maximal partial Hamming packing of is a family of mutually disjoint translates of Hamming codes of length n, such that any translate of any Hamming code of length n intersects at least one of the translates of Hamming codes in . The number of translates of Hamming codes in is the packing number, and a partial Hamming packing is strictly partial if the family does not constitute a partition of . A simple and useful condition describing when two translates of Hamming codes are disjoint or not disjoint is proved. This condition depends on the dual codes of the corresponding Hamming codes. Partly, by using this condition, it is shown that the packing number p, for any maximal strictly partial Hamming packing of , n = 2 m −1, satisfies . It is also proved that for any n equal to 2 m −1, , there exist maximal strictly partial Hamming packings of with packing numbers n−10,n−9,n−8,...,n−1. This implies that the upper bound is tight for any n = 2 m −1, . All packing numbers for maximal strictly partial Hamming packings of , n = 7 and 15, are found by a computer search. In the case n = 7 the packing number is 5, and in the case n = 15 the possible packing numbers are 5,6,7,...,13 and 14.   相似文献   

2.
Let (M, g, σ) be a compact Riemannian spin manifold of dimension ≥ 2. For any metric conformal to g, we denote by the first positive eigenvalue of the Dirac operator on . We show that
This inequality is a spinorial analogue of Aubin’s inequality, an important inequality in the solution of the Yamabe problem. The inequality is already known in the case n ≥ 3 and in the case n = 2, ker D = {0}. Our proof also works in the remaining case n = 2, ker D ≠ {0}. With the same method we also prove that any conformal class on a Riemann surface contains a metric with , where denotes the first positive eigenvalue of the Laplace operator.  相似文献   

3.
By modifying a construction for Hadamard (Menon) difference sets we construct two infinite families of negative Latin square type partial difference sets in groups of the form where p is any odd prime. One of these families has the well-known Paley parameters, which had previously only been constructed in p-groups. This provides new constructions of Hadamard matrices and implies the existence of many new strongly regular graphs including some that are conference graphs. As a corollary, we are able to construct Paley–Hadamard difference sets of the Stanton-Sprott family in groups of the form when is a prime power. These are new parameters for such difference sets.   相似文献   

4.
The intersection of two Steiner triple systems and is the set . The fine intersection problem for Steiner triple systems is to determine for each v, the set I(v), consisting of all possible pairs (m, n) such that there exist two Steiner triple systems of order v whose intersection satisfies and . We show that for v ≡ 1 or 3 (mod 6), |I(v)| = Θ(v 3), where previous results only imply that |I(v)| = Ω(v 2). Received: January 23, 2006. Final Version received: September 2, 2006  相似文献   

5.
A transitive decomposition is a pair where Γ is a graph and is a partition of the arc set of Γ such that there is a subgroup of automorphisms of Γ which leaves invariant and transitively permutes the parts in . In an earlier paper we gave a characterisation of G-transitive decompositions where Γ is the graph product K m × K m and G is a rank 3 group of product action type. This characterisation showed that every such decomposition arose from a 2-transitive decomposition of K m via one of two general constructions. Here we use results of Sibley to give an explicit classification of those which arise from 2-transitive edge-decompositions of K m .   相似文献   

6.
7.
We present a method for computing pth roots using a polynomial basis over finite fields of odd characteristic p, p ≥ 5, by taking advantage of a binomial reduction polynomial. For a finite field extension of our method requires p − 1 scalar multiplications of elements in by elements in . In addition, our method requires at most additions in the extension field. In certain cases, these additions are not required. If z is a root of the irreducible reduction polynomial, then the number of terms in the polynomial basis expansion of z 1/p , defined as the Hamming weight of z 1/p or , is directly related to the computational cost of the pth root computation. Using trinomials in characteristic 3, Ahmadi et al. (Discrete Appl Math 155:260–270, 2007) give is greater than 1 in nearly all cases. Using a binomial reduction polynomial over odd characteristic p, p ≥ 5, we find always.   相似文献   

8.
For a graph Γ, subgroups , and an edge partition of Γ, the pair is a (G, M)-homogeneous factorisation if M is vertex-transitive on Γ and fixes setwise each part of , while G permutes the parts of transitively. A classification is given of all homogeneous factorisations of finite Johnson graphs. There are three infinite families and nine sporadic examples. This paper forms part of an ARC Discovery grant of the last two authors. The second author holds an Australian Research Council Australian Research Fellowship.  相似文献   

9.
In this paper, we consider a set of lines of with the properties that (1) every plane contains 0, 1 or q + 1 elements of , (2) every solid contains no more than q 2 + q + 1 and no less than q + 1 elements of , and (3) every point of is on q + 1 members of , and we show that, whenever (4) q ≠ 2 (respectively, q = 2) and the lines of through some point are contained in a solid (respectively, a plane), then is necessarily the set of lines of a regularly embedded split Cayley generalized hexagon in , with q even. We present examples of such sets not satisfying (4) based on a Singer cycle in , for all q.   相似文献   

10.
Let r 1, …, r s be non-zero integers satisfying r 1 + ⋯ + r s = 0. Let G be a finite abelian group with k i |k i-1(2 ≤ in), and suppose that (r i , k 1) = 1(1 ≤ is). Let denote the maximal cardinality of a set which contains no non-trivial solution of r 1 x 1 + ⋯ + r s x s = 0 with . We prove that . We also apply this result to study problems in finite projective spaces.   相似文献   

11.
The concept of a hemisystem of a generalised quadrangle has its roots in the work of B. Segre, and this term is used here to denote a set of points such that every line meets in half of the points of . If one takes the point-line geometry on the points of the hemisystem, then one obtains a partial quadrangle and hence a strongly regular point graph. The only previously known hemisystems of generalised quadrangles of order (q, q 2) were those of the elliptic quadric , q odd. We show in this paper that there exists a hemisystem of the Fisher–Thas–Walker–Kantor generalised quadrangle of order (5, 52), which leads to a new partial quadrangle. Moreover, we can construct from our hemisystem the 3· A 7-hemisystem of , first constructed by Cossidente and Penttila.   相似文献   

12.
We find lower bounds on the minimum distance and characterize codewords of small weight in low-density parity check (LDPC) codes defined by (dual) classical generalized quadrangles. We analyze the geometry of the non-singular parabolic quadric in PG(4,q) to find information about the LDPC codes defined by Q (4,q), and . For , and , we are able to describe small weight codewords geometrically. For , q odd, and for , we improve the best known lower bounds on the minimum distance, again only using geometric arguments. Similar results are also presented for the LDPC codes LU(3,q) given in [Kim, (2004) IEEE Trans. Inform. Theory, Vol. 50: 2378–2388]  相似文献   

13.
We consider the Stokes operator A on unbounded domains of uniform C 1,1-type. Recently, it has been shown by Farwig, Kozono and Sohr that – A generates an analytic semigroup in the spaces , 1 < q < ∞, where for q ≥ 2 and for q ∈ (1, 2). Moreover, it was shown that A has maximal L p -regularity in these spaces for p ∈ (1,∞). In this paper we show that ɛ + A has a bounded H -calculus in for all q ∈ (1, ∞) and ɛ > 0. This allows to identify domains of fractional powers of the Stokes operator. Received: 12 October 2007  相似文献   

14.
We determine the minimum length n q (k, d) for some linear codes with k ≥ 5 and q ≥ 3. We prove that n q (k, d) = g q (k, d) + 1 for when k is odd, for when k is even, and for . This work was supported by the Korea Research Foundation Grant funded by the Korean Government(MOEHRD). (KRF-2005-214-C00175). This research has been partially supported by Grant-in-Aid for Scientific Research of Japan Society for the Promotion of Science under Contract Number 17540129.  相似文献   

15.
We show a sufficient condition for a domain in to be a H -domain of holomorphy. Furthermore if a domain has the Gleason property at a point and the projection of the n − 1th order generalized Shilov boundary does not coincide with Ω then is schlicht. We also give two examples of pseudoconvex domains in which the spectrum is non-schlicht and satisfy several other interesting properties.   相似文献   

16.
It is shown that among all tight designs in , where is or , or (quaternions), only 5-designs in (Lyubich, Shatalora Geom Dedicata 86: 169–178, 2001) have irrational angle set. This is the only case of equal ranks of the first and the last irreducible idempotent in the corresponding Bose-Mesner algebra.   相似文献   

17.
Let be a subharmonic, nonharmonic polynomial and a parameter. Define , a closed, densely defined operator on . If and , we solve the heat equations , u(0,z) = f(z) and , . We write the solutions via heat semigroups and show that the solutions can be written as integrals against distributional kernels. We prove that the kernels are C off of the diagonal {(s, z, w) : s = 0 and z = w} and find pointwise bounds for the kernels and their derivatives.   相似文献   

18.
One-point codes are those algebraic-geometry codes for which the associated divisor is a non-negative multiple of a single point. Evaluation codes were defined in order to give an algebraic generalization of both one-point algebraic-geometry codes and Reed–Muller codes. Given an -algebra A, an order function on A and given a surjective -morphism of algebras , the ith evaluation code with respect to is defined as the code . In this work it is shown that under a certain hypothesis on the -algebra A, not only any evaluation code is a one-point code, but any sequence of evaluation codes is a sequence of one-point codes. This hypothesis on A is that its field of fractions is a function field over and that A is integrally closed. Moreover, we see that a sequence of algebraic-geometry codes G i with associated divisors is the sequence of evaluation codes associated to some -algebra A, some order function and some surjective morphism with if and only if it is a sequence of one-point codes.   相似文献   

19.
Let T = U|T| be the polar decomposition of a bounded linear operator T on a Hilbert space. The transformation T = |T|^1/2 U|T|^1/2 is called the Aluthge transformation and Tn means the n-th Aluthge transformation. Similarly, the transformation T(*)=|T*|^1/2 U|T*|&1/2 is called the *-Aluthge transformation and Tn^(*) means the n-th *-Aluthge transformation. In this paper, firstly, we show that T(*) = UV|T^(*)| is the polar decomposition of T(*), where |T|^1/2 |T^*|^1/2 = V||T|^1/2 |T^*|^1/2| is the polar decomposition. Secondly, we show that T(*) = U|T^(*)| if and only if T is binormal, i.e., [|T|, |T^*|]=0, where [A, B] = AB - BA for any operator A and B. Lastly, we show that Tn^(*) is binormal for all non-negative integer n if and only if T is centered, and so on.  相似文献   

20.
Let Γ6 be the elliptic curve of degree 6 in PG(5, q) arising from a non-singular cubic curve of PG(2, q) via the canonical Veronese embedding
(1) If Γ6 (equivalently ) has n GF(q)-rational points, then the associated near-MDS code has length n and dimension 6. In this paper, the case q  =  5 is investigated. For q  =  5, the maximum number of GF(q)-rational points of an elliptic curve is known to be equal to ten. We show that for an elliptic curve with ten GF(5)-rational points, the associated near-MDS code can be extended by adding two more points of PG(5, 5). In this way we obtain six non-isomorphic [12, 6]5 codes. The automorphism group of is also considered.   相似文献   

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

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