m

F Nous contacter

0

Documents  05C05 | enregistrements trouvés : 62

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Logic and Foundations

It is well-known that the statement "all $\aleph_1$-Aronszajn trees are special'' is consistent with ZFC (Baumgartner, Malitz, and Reinhardt), and even with ZFC+GCH (Jensen). In contrast, Ben-David and Shelah proved that, assuming GCH, for every singular cardinal $\lambda$: if there exists a $\lambda^+$-Aronszajn tree, then there exists a non-special one. Furthermore:
Theorem (Ben-David and Shelah, 1986) Assume GCH and that $\lambda$ is singular cardinal. If there exists a special $\lambda^+$-Aronszajn tree, then there exists a $\lambda$-distributive $\lambda^+$-Aronszajn tree.
This suggests that following stronger statement:
Conjecture. Assume GCH and that $\lambda$ is singular cardinal.
If there exists a $\lambda^+$-Aronszajn tree,
then there exists a $\lambda$-distributive $\lambda^+$-Aronszajn tree.

The assumption that there exists a $\lambda^+$-Aronszajn tree is a very mild square-like hypothesis (that is, $\square(\lambda^+,\lambda)$).
In order to bloom a $\lambda$-distributive tree from it, there is a need for a toolbox, each tool taking an abstract square-like sequence and producing a sequence which is slightly better than the original one.
For this, we introduce the monoid of postprocessing functions and study how it acts on the class of abstract square sequences.
We establish that, assuming GCH, the monoid contains some very powerful functions. We also prove that the monoid is closed under various mixing operations.
This allows us to prove a theorem which is just one step away from verifying the conjecture:

Theorem 1. Assume GCH and that $\lambda$ is a singular cardinal.
If $\square(\lambda^+,<\lambda)$ holds, then there exists a $\lambda$-distributive $\lambda^+$-Aronszajn tree.
Another proof, involving a 5-steps chain of applications of postprocessing functions, is of the following theorem.

Theorem 2. Assume GCH. If $\lambda$ is a singular cardinal and $\square(\lambda^+)$ holds, then there exists a $\lambda^+$-Souslin tree which is coherent mod finite.

This is joint work with Ari Brodsky. See: http://assafrinot.com/paper/29
It is well-known that the statement "all $\aleph_1$-Aronszajn trees are special'' is consistent with ZFC (Baumgartner, Malitz, and Reinhardt), and even with ZFC+GCH (Jensen). In contrast, Ben-David and Shelah proved that, assuming GCH, for every singular cardinal $\lambda$: if there exists a $\lambda^+$-Aronszajn tree, then there exists a non-special one. Furthermore:
Theorem (Ben-David and Shelah, 1986) Assume GCH and that $\lambda$ is singular ...

03E05 ; 03E65 ; 03E35 ; 05C05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Combinatorics;Mathematical Physics;Probability and Statistics

In the first half of the talk, I will survey results and open problems on transience of self-interacting martingales. In particular, I will describe joint works with S. Popov, P. Sousi, R. Eldan and F. Nazarov on the tradeoff between the ambient dimension and the number of different step distributions needed to obtain a recurrent process. In the second, unrelated, half of the talk, I will present joint work with Tom Hutchcroft, showing that the component structure of the uniform spanning forest in $\mathbb{Z}^d$ changes every dimension for $d > 8$. This sharpens an earlier result of Benjamini, Kesten, Schramm and the speaker (Annals Math 2004), where we established a phase transition every four dimensions. The proofs are based on a the connection to loop-erased random walks. In the first half of the talk, I will survey results and open problems on transience of self-interacting martingales. In particular, I will describe joint works with S. Popov, P. Sousi, R. Eldan and F. Nazarov on the tradeoff between the ambient dimension and the number of different step distributions needed to obtain a recurrent process. In the second, unrelated, half of the talk, I will present joint work with Tom Hutchcroft, showing that the ...

05C05 ; 05C80 ; 60G50 ; 60J10 ; 60K35 ; 82B43

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 143 p.

Publication de l'IRMA , 498

Localisation : Salle de manutention

analogue # chemins de Motzkin # déterminants de Hankel # evolutionary trees # fonction symétrique # fonctions de Schur # identité de caractères # moments # partition # permutation # polynômes de Witt # sommation hypergéométrique # tableaux semi-standard

05A15 ; 05A19 ; 05A30 ; 05C05 ; 05C30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 245 p.
ISBN 978-0-387-94131-8

The IMA volumes in mathematics and its applications , 0056

Localisation : Colloque 1er étage (MINN)

algèbre linéaire numérique # calcul des matrices # factovisation des matrices # mathématique discrète # méthode itérative # orthogonalisation # système surdéterminé # théorie des graphs

05C05 ; 05C50 ; 05C70 ; 15A23 ; 65F50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publication de l'IRMA, Strasbourg

Localisation : Colloque 1er étage (OTTR)

arbre évolutionaire # chemin de Motzkin # déterminant de Hankel # fonction de Schur # fonction symétrique # identité de caractères # moment # partition # permutation # polynômes de Witt # q-analogues # sommation hypergéométrique # tableau semi-standard

05A15 ; 05A19 ; 05A30 ; 05C05 ; 05C30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-7643-5453-4

Progress in probability , 0040

Localisation : Colloque 1er étage (PARI)

arborescence # arbre # arbre continu # combinatoire # informatique algorithme # martingale # physique statistique # probabilité # processus de Markov # processus markovien de branchement # structure géométrique # théorie des graphes

05C05 ; 60Gxx ; 60Jxx ; 82Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 160 p.
ISBN 978-0-8218-0992-1

DIMACS series in discrete mathematics and theoretical computer science , 0045

Localisation : Collection 1er étage

algorithme # analyse # application # combinatoire # cryptographie # graphe # industrie # mathématique appliquée # mobile # passage # protocole réseau # réseau ATM # réseau de communication # réseau radio # système distribué # théorie des graphes # traitement des données # électronique

05C05 ; 05C10 ; 05C38 ; 05C85 ; 05C90 ; 68M07 ; 68M10 ; 68M20 ; 68Q05 ; 68Q10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 220 p.
ISBN 978-0-8218-0827-6

DIMACS series in discrete mathematics and theoretical computer science , 0041

Localisation : Collection 1er étage

arborescence # chaine de Markov # combinatoire # probabilité # théorie des graphes

05C05 ; 60C05 ; 60J10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 126 p.

Localisation : Salle de manutention

fonction de Schur # fonction symétrique # identite cyclotomique # matroïdes # mot de Motzkin # nombre d

05A15 ; 05A19 ; 05A30 ; 05C05 ; 05C30 ; 05E35 ; 33C20 ; 33D15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 242 p.
ISBN 978-0-8218-3197-7

DIMACS series in discrete mathematics and theorerical computer science , 0061

Localisation : Collection 1er étage

biomathématique # mathématique appliquée à la biologie # arbre # bioconsensus # hypergraphe # ensemble ordonnée # classification # préférence de groupe # science comportementale # taxonomie # biologie moléculaire # évolution

00B25 ; 91F99 ; 92-06 ; 92B10 ; 05C05 ; 05C65 ; 06A99 ; 62H30 ; 92B05 ; 92C40 ; 92D15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 162 p.
ISBN 978-0-8176-4358-4

Progress in mathematics , 0238

Localisation : Collection 1er étage

analyse harmonique # traitement du signal # complexité calculatoire # problème de Cauchy #idéal arithmétique # idéal analytique # EDP # opérateur d'Hermite # groupe d'Heisenberg # fonction subharmonique # structure discrète # variété hyperbolique # condition de Phragmen-Lindelöf # déconvolation locale # projection orthogonale # espace hyperbolique # ondelette

05C05 ; 05C50 ; 31C20 ; 32A26 ; 32A50 ; 35C15 ; 35N05 ; 35R30 ; 42A85 ; 42B10 ; 42B35 ; 43A85 ; 44A12 ; 46F12 ; 65R30 ; 92C55 ; 94A12

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- VII-270 p.
ISBN 978-0-8218-4771-8

Contemporary mathematics , 0499

Localisation : Collection 1er étage

théorie des groupes # anneaux de groupes # anneau # identité polynomiale # algèbre de Lie # superalgèbre

05A16 ; 16R10 ; 16S36 ; 17B01 ; 17B20 ; 20E08 ; 20C05 ; 20M05 ; 05C05 ; 13F05 ; 16S15 ; 17C10 ; 20E05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xi; 193 p.
ISBN 978-3-540-74797-0

Lecture notes in mathematics , 1920

Localisation : Collection 1er étage

arbre aléatoire # propriété asymptotique # convergence de mesure de probabilité # distance de Gromov-Hausdorff # forme de Dirichlet

60B99 ; 05C05 ; 51F99 ; 60J25 ; 60B10 ; 60B11 ; 60G17 ; 60J65 ; 60J80 ; 28C10 ; 28C20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiii; 240 p.
ISBN 978-0-8218-9038-7

Contemporary mathematics , 0588

Localisation : Collection 1er étage

combinatoires # arbres # hypergraphe # factorisation # algorithme

05C85 ; 68W05 ; 68W10 ; 68R05 ; 68R10 ; 05C05 ; 05C65 ; 05-06 ; 05C70 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xvi; 279 p.
ISBN 978-2-85629-363-8

Séminaires & congrès , 0026

Localisation : Collection 1er étage

Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # Homologie des E_n-algèbres # identités entre les relations # méthodes de renormalisation perturbatives # n-catégorie # opérade # opérade des petits disques # polygraphe # pro # prop # présentation par générateurs et relations # réécriture # réécriture de diagrammes # renormalisation # S-modules # théorèmes de PBW # théorèmes libres # théorie algébrique # treillis de Tamari # tresse # type de dérivation fini Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # ...

05C05 ; 06A11 ; 08B20 ; 16S15 ; 16G20 ; 17B35 ; 17D99 ; 18D05 ; 18C10 ; 18G15 ; 18D20 ; 18G55 ; 55P48 ; 55R80 ; 55U99 ; 57T30 ; 68Q05 ; 68Q12 ; 68N18 ; 68Q25 ; 68W30 ; 68Q42

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vi; 458 p.
ISBN 978-3-03719-143-9

IRMA lectures in mathematics and theoretical physics , 0021

Localisation : Colloque 1er étage (STRA)

algèbre de Hopf # analyse combinatoire # algèbre de Lie # opérateur non linéaire # arbre

05E15 ; 06A07 ; 16T05 ; 41A58 ; 58D05 ; 93C10 ; 05C05 ; 81T18 ; 34A25 ; 34M25 ; 47H20 ; 65L05 ; 81T15 ; 81T16

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Combinatorics;Mathematics in Science and Technology;Probability and Statistics

A phylogenetic tree that has been reconstructed from a given gene can describe a different evolutionary history from its underlying species tree. The reasons for this include: error in inferring the gene tree, incomplete lineage sorting, lateral gene transfer, and the absence of the gene in certain species. In this talk, I discuss probabilistic models and mathematical results that help address basic questions concerning the consistency and efficiency of different methods for inferring a species phylogeny from gene trees. A phylogenetic tree that has been reconstructed from a given gene can describe a different evolutionary history from its underlying species tree. The reasons for this include: error in inferring the gene tree, incomplete lineage sorting, lateral gene transfer, and the absence of the gene in certain species. In this talk, I discuss probabilistic models and mathematical results that help address basic questions concerning the consistency and ...

92D15 ; 92C37 ; 92C80 ; 05C05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Combinatorics;Probability and Statistics

The Aldous-Broder algorithm allows one to sample the uniform spanning tree of a finite graph as the set of first-entry edges of a simple random walk. In this talk, I will discuss how this can be extended to infinite transient graphs by replacing the random walk with the random interlacement process. I will then outline how this new sampling algorithm can be used to compute critical exponents for the uniform spanning forest of $Z^d$.

60D05 ; 05C05 ; 20F65

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Algebra;Combinatorics;Lie Theory and Generalizations;Mathematical Physics

The Hopf algebra of Lie group integrators has been introduced by H. Munthe-Kaas and W. Wright as a tool to handle Runge-Kutta numerical methods on homogeneous spaces. It is spanned by planar rooted forests, possibly decorated. We will describe a canonical surjective Hopf algebra morphism onto the shuffle Hopf algebra which deserves to be called planar arborification. The space of primitive elements is a free post-Lie algebra, which in turn will permit us to describe the corresponding co-arborification process.
Joint work with Charles Curry (NTNU Trondheim), Kurusch Ebrahimi-Fard (NTNU) and Hans Z. Munthe-Kaas (Univ. Bergen).
The two triangles appearing at 24'04" and 25'19'' respectively should be understood as a #.
The Hopf algebra of Lie group integrators has been introduced by H. Munthe-Kaas and W. Wright as a tool to handle Runge-Kutta numerical methods on homogeneous spaces. It is spanned by planar rooted forests, possibly decorated. We will describe a canonical surjective Hopf algebra morphism onto the shuffle Hopf algebra which deserves to be called planar arborification. The space of primitive elements is a free post-Lie algebra, which in turn will ...

81T15 ; 16T05 ; 17D25 ; 65L06 ; 05C05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Combinatorics;Topology

We study a notion of shuffle for trees which extends the usual notion of a shuffle for two natural numbers. Our notion of shuffle is motivated by the theory of operads and occurs in the theory of dendroidal sets. We give several equivalent descriptions of the shuffles, and prove some algebraic and combinatorial properties. In addition, we characterize shuffles in terms of open sets in a topological space associated to a pair of trees. This is a joint work with Ieke Moerdijk. We study a notion of shuffle for trees which extends the usual notion of a shuffle for two natural numbers. Our notion of shuffle is motivated by the theory of operads and occurs in the theory of dendroidal sets. We give several equivalent descriptions of the shuffles, and prove some algebraic and combinatorial properties. In addition, we characterize shuffles in terms of open sets in a topological space associated to a pair of trees. This is a ...

55U10 ; 18D50 ; 05C05

... Lire [+]

Z