Search results for "Bijection"

showing 10 items of 32 documents

Pattern statistics in faro words and permutations

2021

We study the distribution and the popularity of some patterns in $k$-ary faro words, i.e. words over the alphabet $\{1, 2, \ldots, k\}$ obtained by interlacing the letters of two nondecreasing words of lengths differing by at most one. We present a bijection between these words and dispersed Dyck paths (i.e. Motzkin paths with all level steps on the $x$-axis) with a given number of peaks. We show how the bijection maps statistics of consecutive patterns of faro words into linear combinations of other pattern statistics on paths. Then, we deduce enumerative results by providing multivariate generating functions for the distribution and the popularity of patterns of length at most three. Fina…

FOS: Computer and information sciencesMultivariate statisticsDistribution (number theory)Discrete Mathematics (cs.DM)Interlacing0102 computer and information sciences02 engineering and technology[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]01 natural sciencesTheoretical Computer ScienceCombinatoricsStatistics[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]05A05 (Primary) 05A15 05A19 68R15 (Secondary)0202 electrical engineering electronic engineering information engineeringFOS: MathematicsDiscrete Mathematics and CombinatoricsMathematics - CombinatoricsLinear combinationMathematicsDiscrete mathematicsMathematics::Combinatorics020206 networking & telecommunicationsComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Derangement010201 computation theory & mathematicsBijectionCombinatorics (math.CO)AlphabetComputer Science::Formal Languages and Automata TheoryComputer Science - Discrete Mathematics
researchProduct

A permutation code preserving a double Eulerian bistatistic

2016

Visontai conjectured in 2013 that the joint distribution of ascent and distinct nonzero value numbers on the set of subexcedant sequences is the same as that of descent and inverse descent numbers on the set of permutations. This conjecture has been proved by Aas in 2014, and the generating function of the corresponding bistatistics is the double Eulerian polynomial. Among the techniques used by Aas are the M\"obius inversion formula and isomorphism of labeled rooted trees. In this paper we define a permutation code (that is, a bijection between permutations and subexcedant sequences) and show the more general result that two $5$-tuples of set-valued statistics on the set of permutations an…

FOS: Computer and information sciencesPolynomialDiscrete Mathematics (cs.DM)0102 computer and information sciences01 natural sciencesBijective proofCombinatoricsSet (abstract data type)symbols.namesakeEquidistributed sequence[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]FOS: MathematicsDiscrete Mathematics and CombinatoricsMathematics - Combinatorics0101 mathematicsComputingMilieux_MISCELLANEOUSMathematicsConjectureMathematics::CombinatoricsApplied Mathematics010102 general mathematicsGenerating functionEulerian path010201 computation theory & mathematicssymbolsBijectionCombinatorics (math.CO)Computer Science - Discrete Mathematics
researchProduct

Mahonian STAT on words

2016

In 2000, Babson and Steingrimsson introduced the notion of what is now known as a permutation vincular pattern, and based on it they re-defined known Mahonian statistics and introduced new ones, proving or conjecturing their Mahonity. These conjectures were proved by Foata and Zeilberger in 2001, and by Foata and Randrianarivony in 2006.In 2010, Burstein refined some of these results by giving a bijection between permutations with a fixed value for the major index and those with the same value for STAT , where STAT is one of the statistics defined and proved to be Mahonian in the 2000 Babson and Steingrimsson's paper. Several other statistics are preserved as well by Burstein's bijection.At…

FOS: Computer and information sciencesQA75[ INFO ] Computer Science [cs]Discrete Mathematics (cs.DM)Major index0102 computer and information sciencesMathematical Analysis01 natural sciencesWords and PermutationsCombinatorial problemsEquidistributionTheoretical Computer ScienceCombinatoricssymbols.namesakePermutationBijectionsFOS: MathematicsMathematics - CombinatoricsMathematical proofs[INFO]Computer Science [cs]0101 mathematicsStatisticMathematicsStatisticZ665Algebraic combinatoricsMathematics::CombinatoricsFormal power seriesPatternPermutationsEulerian path16. Peace & justiceComputer Science Applications010101 applied mathematics010201 computation theory & mathematicsCombinatoricsSignal ProcessingsymbolsBijectionCombinatorics (math.CO)Information SystemsComputer Science - Discrete Mathematics
researchProduct

Coprime actions and correspondences of Brauer characters

2017

We prove several results giving substantial evidence in support of the conjectural existence of a Glauberman–Isaacs bijection for Brauer characters under a coprime action. We also discuss related bijections for the McKay conjecture.

Mathematics::CombinatoricsConjectureCoprime integersGeneral Mathematics010102 general mathematics01 natural sciencesCombinatoricsMathematics::Group TheoryMathematics::Algebraic GeometryAction (philosophy)0103 physical sciencesBijection010307 mathematical physics0101 mathematicsMathematics::Representation TheoryBijection injection and surjectionMathematicsProceedings of the London Mathematical Society
researchProduct

Avoiding patterns in irreducible permutations

2016

We explore the classical pattern avoidance question in the case of irreducible permutations, <i>i.e.</i>, those in which there is no index $i$ such that $\sigma (i+1) - \sigma (i)=1$. The problem is addressed completely in the case of avoiding one or two patterns of length three, and several well known sequences are encountered in the process, such as Catalan, Motzkin, Fibonacci, Tribonacci, Padovan and Binary numbers. Also, we present constructive bijections between the set of Motzkin paths of length $n-1$ and the sets of irreducible permutations of length $n$ (respectively fixed point free irreducible involutions of length $2n$) avoiding a pattern $\alpha$ for $\alpha \in \{13…

Motzkin pathFibonacci numberMathematics::CombinatoricsGeneral Computer ScienceSigmaBinary number[ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM]Fixed point[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]ConstructiveTheoretical Computer SciencesuccessionCombinatorics[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]irreducible permutationinvolutionDiscrete Mathematics and CombinatoricsBijection injection and surjectionPattern avoiding permutationMathematics
researchProduct

Transmission of Genetic Properties in Permutation Problems: Study of Lehmer Code and Inversion Table Encoding

2021

Solution encoding describes the way decision variables are represented. In the case of permutation problems, the classical encoding should ensure that there are no duplicates. During crossover operations, repairs may be carried out to correct or avoid repetitions. The use of indirect encoding aims to define bijections between the classical permutation and a different representation of the decision variables. These encodings are not sensitive to duplicates. However, they lead to a loss of genetic properties during crossbreeding. This paper proposes a study of the impact of this loss both in the space of decision variables and in that of fitness values. We consider two indirect encoding: the …

PermutationTransmission (telecommunications)Computer scienceEncoding (memory)Lehmer codeGenetic algorithmCrossoverArithmeticRepresentation (mathematics)Bijection injection and surjection
researchProduct

Complete mapping of the spin-wave spectrum in vortex state nano-disk

2016

© 2016 American Physical Society.We report a study on the complete spin-wave spectrum inside a vortex-state nanodisk. Transformation of this spectrum is continuously monitored as the nanodisk becomes gradually magnetized by a perpendicular magnetic field and encounters a second-order phase transition to the uniformly magnetized state. This reveals the bijective relationship that exists between the eigenmodes in the vortex state and the ones in the saturated state. It is found that the gyrotropic mode can be continuously viewed as a uniform phase precession, which uniquely softens (its frequency vanishes) at the saturation field to transform above into the Kittel mode. By contrast, the other…

Physics[PHYS]Physics [physics]Phase transitionCondensed Matter - Mesoscale and Nanoscale PhysicsCondensed matter physicsFOS: Physical sciences02 engineering and technology021001 nanoscience & nanotechnology01 natural sciencesVortex stateSpin wave0103 physical sciencesMesoscale and Nanoscale Physics (cond-mat.mes-hall)BijectionPerpendicular magnetic field010306 general physics0210 nano-technologySaturation (chemistry)
researchProduct

Discretization of harmonic measures for foliated bundles

2012

We prove in this note that there is, for some foliated bundles, a bijective correspondance between Garnett's harmonic measures and measures on the fiber that are stationary for some probability measure on the holonomy group. As a consequence, we show the uniqueness of the harmonic measure in the case of some foliations transverse to projective fiber bundles.

Pure mathematicsFiber (mathematics)HolonomyPhysics::OpticsHarmonic (mathematics)Dynamical Systems (math.DS)General MedicineHarmonic measureFOS: MathematicsBijectionFiber bundleMathematics::Differential GeometryUniquenessMathematics - Dynamical SystemsMathematics::Symplectic GeometryMathematicsProbability measureComptes Rendus Mathematique
researchProduct

Formations of Monoids, Congruences, and Formal Languages

2015

The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4]. Our principal results confirm the existence of a bijective correspondence between three concepts; formations of monoids, formations of languages and formations of congruences. The result does not require finiteness on monoids, nor regularity on languages nor finite index conditions on congruences. We relate our work to other results in the field and we include applications to non-r-disjunctive languages, Reiterman s equational description of pseudovarieties and varieties of monoids.

Pure mathematicsGeneral Computer ScienceApplied MathematicsData ScienceCWI Technical Report reportFormationsLlenguatges de programacióAbstract family of languagesCongruence relationlcsh:QA75.5-76.95Formal languagesMathematics::Category TheoryFormal languageComputingMethodologies_DOCUMENTANDTEXTPROCESSINGBijectionAutomata theorylcsh:Electronic computers. Computer scienceÀlgebraEquivalence (formal languages)SemigroupsMATEMATICA APLICADAAlgorithmAutomata theoryMathematicsScientific Annals of Computer Science
researchProduct

Some Generalizations of a Simion Schmidt Bijection

2007

In 1985, Simion and Schmidt gave a constructive bijection φ from the set of all length (n-1) binary strings having no two consecutive 1s to the set of all length n permutations avoiding all patterns in {123,132,213}. In this paper, we generalize φ to an injective function from {0,1}n-1 to the set Sn of all length n permutations and derive from it four bijections φ : P →Q where P⊆{0,1}n-1 and Q ⊂ Sn. The domains are sets of restricted binary strings and the codomains are sets of pattern-avoiding permutations. As a particular case we retrieve the original Simion–Schmidt bijection. We also show that the bijections obtained are actually combinatorial isomorphisms, i.e. closeness-preserving bije…

Set (abstract data type)Discrete mathematicsGray codeCombinatoricsMathematics::CombinatoricsGeneral Computer ScienceCodomainBijectionIsomorphismBijection injection and surjectionConstructiveInjective functionMathematicsThe Computer Journal
researchProduct