Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Non-commutative Frobenius characteristic of generalized parking functions -- Application to enumeration
Published
• View Publication
• BIB
We give a recursive definition of generalized parking function that allows us to view them as a species. From there we compute a non-commutative characteristic of the generalized parking function module, and deduce some enumeration formulas of structures and isomorphism types. We give as well an interpretation in several bases of non-commutative symmetric functions. Finally, we investigate an inclusion-exclusion formula given by Kung and Yan.
Enumeration of Certain Classes of $T_0$-hypergraphs
A hypergraph is a $T_0$-hypergraph if for every two different vertices of the hypergraph there exists an edge containing one of the vertices and not containing the other. A general method for the enumeration of certain classes of $T_0$-hypergraphs is given. $T_0$-hypergraphs that are considered here are singled out both by the properties they themselves satisfy and by the properties that dual hypergraphs associated with them satisfy. Though in case of the so-called ordered hipergraphs the property `to be a $T_0$-hypergraph' is reduced to the property `to having different columns' of corresponding matrices, combining this property with some properties, that we are considering here, gives sometimes classes of hypergraphs that are not so easy to enumerate. The problem of enumerating some of thus obtained classes remains unsolved. Special attention is devoted to enumerating of different classes of covers and connected hypergraphs.
Comparable pairs in families of sets
Published
• View Publication
• BIB
Given a family $\mathcal{F}$ of subsets of $[n]$, we say two sets $A, B \in \mathcal{F}$ are comparable if $A \subset B$ or $B \subset A$. Sperner's celebrated theorem gives the size of the largest family without any comparable pairs. This result was later generalised by Kleitman, who gave the minimum number of comparable pairs appearing in families of a given size.
In this paper we study a complementary problem posed by Erdős and Daykin and Frankl in the early '80s. They asked for the maximum number of comparable pairs that can appear in a family of $m$ subsets of $[n]$, a quantity we denote by $c(n,m)$. We first resolve an old conjecture of Alon and Frankl, showing that $c(n,m) = o(m^2)$ when $m = n^{ω(1)} 2^{n/2}$. We also obtain more accurate bounds for $c(n,m)$ for sparse and dense families, characterise the extremal constructions for certain values of $m$, and sharpen some other known results.
Generalized Polarizations Modules (Extended Abstract)
Published in DMTCS proc. FPSAC'15, 2015, 781-792
• View Publication
• BIB
This work enrols the research line of M. Haiman on the Operator Theorem (the old operator conjecture). This theorem states that the smallest $\mathfrak{S}_n$-module closed under taking partial derivatives and closed under the action of polarization operators that contains the Vandermonde determinant is the space of diagonal harmonics polynomials. We start generalizing the context of this theorem to the context of polynomials in $\ell$ sets of $n$ variables $x_{ij}$ with $1\leq i\leq \ell$ et $1\leq j\leq n$. Given a $\frak{S}_n$-stable family of homogeneous polynomials in the variables $x_{ij}$ the smallest vector space closed under taking partial derivatives and closed under the action of polarization operators that contains $F$ is the polarization module generated by the family $F$. These polarization modules are all representation of the direct product $\mathfrak{S}_n\times{GL}_{\ell}(\mathbb{C})$. In order to study the decomposition into irreducible submodules, we compute the graded Frobenius characteristic of these modules. For several cases of $\mathfrak{S}_n$-stable families of homogeneous polynomials in $n$ variables, for every $n\geq 1$, we show general formulas for this graded characteristic in a global manner, independent of the value of $\ell$.
Doyen-Wilson results for odd length cycle systems
Published
• View Publication
• BIB
For each odd $m \geq 3$ we completely solve the problem of when an $m$-cycle system of order $u$ can be embedded in an $m$-cycle system of order $v$, barring a finite number of possible exceptions. In cases where $u$ is large compared to $m$, where $m$ is a prime power, or where $m \leq 15$, the problem is completely resolved. In other cases, the only possible exceptions occur when $v-u$ is small compared to $m$. This result is proved as a consequence of a more general result which gives necessary and sufficient conditions for the existence of an $m$-cycle decomposition of a complete graph of order $v$ with a hole of size $u$ in the case where $u \geq m-2$ and $v-u \geq m+1$ both hold.
Query complexity of sampling and small geometric partitions
Published in Combinator. Probab. Comp. 24 (2015) 733-753
• View Publication
• BIB
In this paper we study the following problem:
Discrete partitioning problem (DPP): Let $\mathbb{F}_q P^n$ denote the $n$-dimensional finite projective space over $\mathbb{F}_q$. For positive integer $k \leq n$, let $\{ A^i\}_{i=1}^N$ be a partition of $(\mathbb{F}_q P^n)^k$ such that
(1) for all $i \leq N$, $A^i = \prod_{j=1}^k A^i_j$ (partition into product sets),
(2) for all $i \leq N$, there is a $(k-1)$-dimensional subspace $L^i \subseteq \mathbb{F}_q P^n$ such that $A^i \subseteq (L^i)^k$.
What is the minimum value of $N$ as a function of $q,n,k$? We will be mainly interested in the case $k=n$.
Linear Tropicalizations
Let $X$ be a closed algebraic subset of $\mathbb{A}^{n}(K)$ where $K$ is an algebraically closed field complete with respect to a nontrivial non-Archimedean valuation. We show that there is a surjective continuous map from the Berkovich space of $X$ to an inverse limit of a certain family of embeddings of $X$ called linear tropicalizations of $X$. This map is injective on the subset of the Berkovich space $X^{an}$ which contains all seminorms arising from closed points of $X$. We show that the map is a homeomorphism if $X$ is a non-singular algebraic curve. Some applications of these results to transversal intersections are given. In particular we prove that there exists a tropical line arrangement which is realizable by a complex line arrangement but not realizable by any real line arrangement.
Type C parking functions and a zeta map
Published
• View Publication
• BIB
We introduce type C parking functions, encoded as vertically labelled lattice paths and endowed with a statistic dinv'. We define a bijection from type C parking functions to regions of the Shi arrangement of type C, encoded as diagonally labelled ballot paths and endowed with a natural statistic area'. This bijection is a natural analogue of the zeta map of Haglund and Loehr and maps dinv' to area'. We give three different descriptions of it.
Families of locally separated Hamilton paths
We improve by an exponential factor the lower bound of Korner and Muzi for the cardinality of the largest family of Hamilton paths in a complete graph of n vertices in which the union of any two paths has degree 4. The improvement is through an explicit construction while the previous bound was obtained by a greedy algorithm. We solve a similar problem for permutations up to an exponential factor.
Ordered Ramsey numbers of loose paths and matchings
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $G$ with vertex set $\{1,\ldots,n\}$, the ordered Ramsey number $\operatorname{OR}_t(G)$ is the least integer $N$ such that every $t$-coloring of the edges of the complete $k$-uniform graph on vertex set $\{1,\ldots,N\}$ contains a monochromatic copy of $G$ whose vertices follow the prescribed order. Due to this added order restriction, the ordered Ramsey numbers can be much larger than the usual graph Ramsey numbers. We determine that the ordered Ramsey numbers of loose paths under a monotone order grows as a tower of height one less than the maximum degree. We also extend theorems of Conlon, Fox, Lee, and Sudakov [Ordered Ramsey numbers, arXiv:1410.5292] on the ordered Ramsey numbers of 2-uniform matchings to provide upper bounds on the ordered Ramsey number of $k$-uniform matchings under certain orderings.
Scaling limits of random graph models at criticality: Universality and the basin of attraction of the Erdős-Rényi random graph
A wide array of random graph models have been postulated to understand properties of observed networks. Typically these models have a parameter $t$ and a critical time $t_c$ when a giant component emerges. It is conjectured that for a large class of models, the nature of this emergence is similar to that of the Erdős-Rényi random graph, in the sense that (a) the sizes of the maximal components in the critical regime scale like $n^{2/3}$, and (b) the structure of the maximal components at criticality (rescaled by $n^{-1/3}$) converges to random fractals. To date, (a) has been proven for a number of models using different techniques. This paper develops a general program for proving (b) that requires three ingredients: (i) in the critical scaling window, components merge approximately like the multiplicative coalescent, (ii) scaling exponents of susceptibility functions are the same as that of the Erdős-Rényi random graph, and (iii) macroscopic averaging of distances between vertices in the barely subcritical regime. We show that these apply to two fundamental random graph models: the configuration model and inhomogeneous random graphs with a finite ground space. For these models, we also obtain new results for component sizes at criticality and structural properties in the barely subcritical regime.
Automorphisms of strongly regular graphs
In this article we generalize a theorem of Benson for generalized quadrangles to strongly regular graphs and directed strongly regular graphs. The main result provides numerical restrictions on the number of fixed vertices and the number of vertices mapped to adjacent vertices under an automorphism. It is explained how these results can be used when studying partial difference sets in Abelian groups and projective two-weight sets. The underlying ideas are linear algebraic in nature.
Weak isometries of the Boolean cube
Published
• View Publication
• BIB
Consider the metric space $\mathcal{C}$ consisting of the $n$-dimensional Boolean cube equipped with the Hamming distance. A weak isometry of $\mathcal{C}$ is a permutation of $\mathcal{C}$ preserving a given subset of Hamming distances. In \cite{Krasin} Krasin showed that in most cases preserving a single Hamming distance forces a weak isometry to be an isometry. In this article we study those weak isometries that are not automatically an isometry, providing a complete classification of weak isometries of $\mathcal{C}$.
On the asymptotics of Kronecker coefficients
Published
• View Publication
• BIB
Kronecker coefficients encode the tensor products of complex irreducible representations of symmetric groups. Their stability properties have been considered recently by several authors (Vallejo, Pak and Panova, Stembridge). We describe a geometric method, based on Schur-Weyl duality, that allows to produce huge series of instances of this phenomenon. Moreover the method gives access to lots of extra information. Most notably, we can often compute the stable Kronecker coefficients, sometimes as number of points in very explicit polytopes. We can also describe explicitely the moment polytope in the neighbourhood of our stable triples. Finally, we explain an observation of Stembridge on the behaviour of certain rectangular Kronecker coefficients, by relating it to the affine Dynkin diagram of type $E\_6$.
An extension of Mantel's theorem to random 4-uniform hypergraphs
A sparse version of Mantel's Theorem is that, for sufficiently large $p$, with high probability (w.h.p.), every maximum triangle-free subgraph of $G(n,p)$ is bipartite. DeMarco and Kahn proved this for $p>K \sqrt{\log n/n}$ for some constant $K$, and apart from the value of the constant, this bound is the best possible. Denote by $T_3$ the 3-uniform hypergraph with vertex set $\{a,b,c,d,e\}$ and edge set $\{abc,ade,bde\}$. Frankl and Füredi showed that the maximum 3-uniform hypergraph on $n$ vertices containing no copy of $T_3$ is tripartite for $n> 3000$. For some integer $k$, let $G^k(n,p)$ be the random $k$-uniform hypergraph. Balogh et al. proved that for $p>K \log n/n$ for some constant $K$, every maximum $T_3$-free subhypergraph of $G^3(n,p)$ w.h.p. is tripartite and it does not hold when $p=0.1 \sqrt{\log n}/n$. Denote by $T_4$ the 4-uniform hypergraph with vertex set $\{1,2,3,4,5,6,7\}$ and edge set $\{1234,1235,4567\}$. Pikhurko proved that there is an $n_0$ such that for all $n\ge n_0$, the maximum 4-uniform hypergraph on $n$ vertices containing no copy of $T_4$ is 4-partite. In this paper, we extend this type of extremal problem in random 4-uniform hypergraphs. We show that for some constant $K$ and $p>K \log n/n$, w.h.p. every maximum $T_4$-free subhypergraph of $G^4(n,p)$ is 4-partite.
Cheeger constants, structural balance, and spectral clustering analysis for signed graphs
Published in Discrete Mathematics 343:111616 (2020)
• View Publication
• BIB
We introduce a family of multi-way Cheeger-type constants $\{h_k^σ, k=1,2,\ldots, n\}$ on a signed graph $Γ=(G,σ)$ such that $h_k^σ=0$ if and only if $Γ$ has $k$ balanced connected components. These constants are switching invariant and bring together in a unified viewpoint a number of important graph-theoretical concepts, including the classical Cheeger constant, those measures of bipartiteness introduced by Desai-Rao, Trevisan, Bauer-Jost, respectively, on unsigned graphs,, and the frustration index (originally called the line index of balance by Harary) on signed graphs. We further unify the (higher-order or improved) Cheeger and dual Cheeger inequalities for unsigned graphs as well as the underlying algorithmic proof techniques by establishing their corresponding versions on signed graphs. In particular, we develop a spectral clustering method for finding $k$ almost-balanced subgraphs, each defining a sparse cut. The proper metric for such a clustering is the metric on a real projective space. We also prove estimates of the extremal eigenvalues of signed Laplace matrix in terms of number of signed triangles ($3$-cycles).
Matrix integrals and generating functions for enumerating rooted hypermaps by vertices, edges and faces for a given number of darts
A recursive method is given for finding generating functions which enumerate rooted hypermaps by number of vertices, edges and faces for any given number of darts. It makes use of matrix-integral expressions arising from the study of bipartite quantum systems. Direct evaluation of these generating functions is then demonstrated through the enumeration of all rooted hypermaps with up to 13 darts.
Walks in the Quarter Plane with Multiple Steps
Published
• View Publication
• BIB
We extend the classification of nearest neighbour walks in the quarter plane to models in which multiplicities are attached to each direction in the step set. Our study leads to a small number of infinite families that completely characterize all the models whose associated group is D4, D6, or D8. These families cover all the models with multiplicites 0, 1, 2, or 3, which were experimentally found to be D-finite --- with three noteworthy exceptions.
Chromatic numbers of hyperbolic surfaces
Published
• View Publication
• BIB
This article is about chromatic numbers of hyperbolic surfaces. For a metric space, the $d$-chromatic number is the minimum number of colors needed to color the points of the space so that any two points at distance $d$ are of a different color. We prove upper bounds on the $d$-chromatic number of any hyperbolic surface which only depend on $d$. In another direction, we investigate chromatic numbers of closed genus $g$ surfaces and find upper bounds that only depend on $g$ (and not on $d$). For both problems, we construct families of examples that show that our bounds are meaningful.
Subspace codes in PG(2n-1,q)
Published
• View Publication
• BIB
An $(r,M,2δ;k)_q$ constant--dimension subspace code, $δ>1$, is a collection $\cal C$ of $(k-1)$--dimensional projective subspaces of ${\rm PG(r-1,q)}$ such that every $(k-δ)$--dimensional projective subspace of ${\rm PG(r-1,q)}$ is contained in at most a member of $\cal C$. Constant--dimension subspace codes gained recently lot of interest due to the work by Koetter and Kschischang, where they presented an application of such codes for error-correction in random network coding. Here a $(2n,M,4;n)_q$ constant--dimension subspace code is constructed, for every $n \ge 4$. The size of our codes is considerably larger than all known constructions so far, whenever $n > 4$. When $n=4$ a further improvement is provided by constructing an $(8,M,4;4)_q$ constant--dimension subspace code, with $M = q^{12}+q^2(q^2+1)^2(q^2+q+1)+1$.