Search results for "combinatoric"

showing 10 items of 1776 documents

Periodic Groups Covered by Transitive Subgroups of Finitary Permutations or by Irreducible Subgroups of Finitary Transformations

1999

Let X be either the class of all transitive groups of finitary permutations, or the class of all periodic irreducible finitary linear groups. We show that almost primitive X-groups are countably recognizable, while totally imprimitive X-groups are in general not countably recognizable. In addition we derive a structure theorem for groups all of whose countable subsets are contained in totally imprimitive X-subgroups. It turns out that totally imprimitive p-groups in the class X are countably recognizable.

Discrete mathematicsClass (set theory)Transitive relationMathematics::Operator AlgebrasApplied MathematicsGeneral MathematicsMathematics::General TopologyUltraproductCombinatoricsMathematics::LogicCountable setFinitaryStructured program theoremMathematicsTransactions of the American Mathematical Society
researchProduct

Varieties of Codes and Kraft Inequality

2005

Decipherability conditions for codes are investigated by using the approach of Guzman, who introduced in [7] the notion of variety of codes and established a connection between classes of codes and varieties of monoids. The class of Uniquely Decipherable (UD) codes is a special case of variety of codes, corresponding to the variety of all monoids. It is well known that the Kraft inequality is a necessary condition for UD codes, but it is not sufficient, in the sense that there exist codes that are not UD and that satisfy the Kraft inequality. The main result of the present paper states that, given a variety $\mathcal{V}$ of codes, if all the elements of $\mathcal{V}$ satisfy the Kraft inequ…

Discrete mathematicsClass (set theory)Unique factorization domainCode wordAstrophysics::Cosmology and Extragalactic AstrophysicsKraft's inequalityCombinatoricsFormal languageHigh Energy Physics::ExperimentSpecial caseVariety (universal algebra)Connection (algebraic framework)Mathematics::Representation TheoryMathematics
researchProduct

Some properties of vertex-oblique graphs

2016

The type t G ( v ) of a vertex v ? V ( G ) is the ordered degree-sequence ( d 1 , ? , d d G ( v ) ) of the vertices adjacent with v , where d 1 ? ? ? d d G ( v ) . A graph G is called vertex-oblique if it contains no two vertices of the same type. In this paper we show that for reals a , b the class of vertex-oblique graphs G for which | E ( G ) | ? a | V ( G ) | + b holds is finite when a ? 1 and infinite when a ? 2 . Apart from one missing interval, it solves the following problem posed by Schreyer et?al. (2007): How many graphs of bounded average degree are vertex-oblique? Furthermore we obtain the tight upper bound on the independence and clique numbers of vertex-oblique graphs as a fun…

Discrete mathematicsClique-sumNeighbourhood (graph theory)020206 networking & telecommunications0102 computer and information sciences02 engineering and technology01 natural sciencesTheoretical Computer ScienceMetric dimensionCombinatoricsIndifference graphNew digraph reconstruction conjecture010201 computation theory & mathematicsChordal graphIndependent set0202 electrical engineering electronic engineering information engineeringDiscrete Mathematics and CombinatoricsBound graphirregular graphsindependence numbervertex-oblique graphslexicographic productMathematicsDiscrete Mathematics
researchProduct

Precise bounds for the sequential order of products of some Fréchet topologies

1998

Abstract The sequential order of a topological space is the least ordinal for which the corresponding iteration of the sequential closure is idempotent. Lower estimates for the sequential order of the product of two regular Frechet topologies and upper estimates for the sequential order of the product of two subtransverse topologies are given in terms of their fascicularity and sagittality. It is shown that for every countable ordinal α, there exists a Lasnev topology such that the sequential order of its square is equal to α.

Discrete mathematicsClosure (topology)Topological spaceSequential spaceSquare (algebra)CombinatoricsProduct (mathematics)IdempotenceOrder (group theory)Countable setGeometry and TopologySequential orderFréchet (Fréchet-Urysohn) topologyProductMathematicsTopology and its Applications
researchProduct

Lehmer code transforms and Mahonian statistics on permutations

2012

Abstract In 2000 Babson and Steingrimsson introduced the notion of vincular patterns in permutations. They show that essentially all well-known Mahonian permutation statistics can be written as combinations of such patterns. Also, they proved and conjectured that other combinations of vincular patterns are still Mahonian. These conjectures were proved later: by Foata and Zeilberger in 2001, and by Foata and Randrianarivony in 2006. In this paper we give an alternative proof of some of these results. Our approach is based on permutation codes which, like the Lehmer code, map bijectively permutations onto subexcedant sequences. More precisely, we give several code transforms (i.e., bijections…

Discrete mathematicsCode (set theory)Mathematics::CombinatoricsValue (computer science)020206 networking & telecommunications0102 computer and information sciences02 engineering and technologyMathematical proof01 natural sciencesPermutation codeTheoretical Computer ScienceCombinatoricsPermutation010201 computation theory & mathematicsLehmer codeStatistics[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]FOS: Mathematics0202 electrical engineering electronic engineering information engineeringMathematics - CombinatoricsDiscrete Mathematics and CombinatoricsCombinatorics (math.CO)Bijection injection and surjectionComputingMilieux_MISCELLANEOUSMathematics
researchProduct

On the Soluble Graph of a Finite Simple Group

2013

The maximal independent sets of the soluble graph of a finite simple group G are studied and their independence number is determined. In particular, it is shown that this graph in many cases has an independent set with three vertices.

Discrete mathematicsCombinatoricsAlgebra and Number TheoryGraph powerCycle graphVoltage graphCubic graphStrength of a graphNull graphDistance-regular graphComplement graphMathematicsCommunications in Algebra
researchProduct

A Classification of all Symmetric Block Designs of Order Nine with an Automorphism of Order Six

2006

We complete the classification of all symmetric designs of order nine admitting an automorphism of order six. As a matter of fact, the classification for the parameters (35,17,8), (56,11,2), and (91,10,1) had already been done, and in this paper we present the results for the parameters (36,15,6), (40,13,4), and (45,12,3). We also provide information about the order and the structure of the full automorphism groups of the constructed designs. © 2005 Wiley Periodicals, Inc. J Combin Designs 14: 301–312, 2006

Discrete mathematicsCombinatoricsAutomorphism groupBlock (permutation group theory)Structure (category theory)Discrete Mathematics and CombinatoricsOuter automorphism groupOrder (group theory)symmetric design; automorphism groupSymmetric designAutomorphismMathematics
researchProduct

Thin bases of order h

2003

Abstract A subset A⊆ N 0 is called a basis of order h if every positive integer can be represented as a sum of h members of A . Thin bases of order h will be constructed in this paper, for each h ⩾2, where the value of lim sup A(n)/ n h is smaller than that of thin bases known so far. In the most important case h =2 it is shown that for the considered class of bases (which generalizes an ansatz of Stohr) the result is best possible up to an e >0.

Discrete mathematicsCombinatoricsClass (set theory)Algebra and Number TheoryIntegerOrder (group theory)Value (computer science)Basis (universal algebra)MathematicsAnsatzJournal of Number Theory
researchProduct

On positive P

2002

Continuing a line of research opened up by Grigni and Sipser (1992) and further pursued by Stewart (1994), we show that a wide variety of equivalent characterizations of P still remain equivalent when restricted to be positive. All these restrictions thus define the same class posP, a proper subclass of monP, the class of monotone problems in P. We also exhibit complete problems for posP under very weak reductions.

Discrete mathematicsCombinatoricsClass (set theory)Monotone polygonBoolean circuitComplexity classVariety (universal algebra)Boolean functionTime complexitySubclassMathematicsProceedings of Computational Complexity (Formerly Structure in Complexity Theory)
researchProduct

MMD codes in a more general sense

2002

Summary form only given. The author deals with the characterisation of maximum minimum distance (MMD) codes in a more general sense, which has been completed in a joint work with Olsson. As in the m=1 case the weight distribution of an MMD code /spl Cscr/ is uniquely determined by its parameters [n,k,d]/sub q/.

Discrete mathematicsCombinatoricsCode (set theory)Minimum distanceWeight distributionSense (electronics)Linear codeMathematics1998 Information Theory Workshop (Cat. No.98EX131)
researchProduct