arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83842 papers, 48355 authors in database)
2015-04-28 v2
Computing girth and cogirth in perturbed graphic matroids
Published • View Publication • BIB
We give polynomial-time randomized algorithms for computing the girth and the cogirth of binary matroids that are low-rank perturbations of graphic matroids.
2015-04-28 v2
Braess's paradox for the spectral gap in random graphs and delocalization of eigenvectors
Published • View Publication • BIB
We study how the spectral gap of the normalized Laplacian of a random graph changes when an edge is added to or removed from the graph. There are known examples of graphs where, perhaps counterintuitively, adding an edge can decrease the spectral gap, a phenomenon that is analogous to Braess's paradox in traffic networks. We show that this is often the case in random graphs in a strong sense. More precisely, we show that for typical instances of Erdős-Rényi random graphs $G(n,p)$ with constant edge density $p \in (0,1)$, the addition of a random edge will decrease the spectral gap with positive probability, strictly bounded away from zero. To do this, we prove a new delocalization result for eigenvectors of the Laplacian of $G(n,p)$, which might be of independent interest.
Matrix positivity preservers in fixed dimension. I
Published in Advances in Mathematics 298 (2016), 325-368 • View Publication • BIB
A classical theorem proved in 1942 by I.J. Schoenberg describes all real-valued functions that preserve positivity when applied entrywise to positive semidefinite matrices of arbitrary size; such functions are necessarily analytic with non-negative Taylor coefficients. Despite the great deal of interest generated by this theorem, a characterization of functions preserving positivity for matrices of fixed dimension is not known. In this paper, we provide a complete description of polynomials of degree $N$ that preserve positivity when applied entrywise to matrices of dimension $N$. This is the key step for us then to obtain negative lower bounds on the coefficients of analytic functions so that these functions preserve positivity in a prescribed dimension. The proof of the main technical inequality is representation theoretic, and employs the theory of Schur polynomials. Interpreted in the context of linear pencils of matrices, our main results provide a closed-form expression for the lowest critical value, revealing at the same time an unexpected spectral discontinuity phenomenon. Tight linear matrix inequalities for Hadamard powers of matrices and a sharp asymptotic bound for the matrix-cube problem involving Hadamard powers are obtained as applications. Positivity preservers are also naturally interpreted as solutions of a variational inequality involving generalized Rayleigh quotients. This optimization approach leads to a novel description of the simultaneous kernels of Hadamard powers, and a family of stratifications of the cone of positive semidefinite matrices.
On the Sprague-Grundy Function of Tetris Extensions of Proper {\sc Nim}
Published • View Publication • BIB
Given a hypergraph $\cH \subseteq 2^I \setminus \{\emptyset\}$ on the ground set $I = \{1, \ldots, n\}$, we assign to each $i \in I$ a nonnegative integer $x_i$, that is a pile of $x_i$ tokens, and consider the following generalization of the classical game of {\sc Nim}: Two players alternate turns. In a move a player chooses an arbitrary edge $H \in \cH$ and reduces all piles $i \in H$. The player who is out of moves loses. We call the obtained game hypergraph {\sc Nim}. Such a game is called proper {\sc Nim}, when $\cH=2^I \setminus\{I,\emptyset\}$ is the family of all proper subsets of $I$. Jenkyns and Mayberry \cite{JM80} described the Sprague-Grundy (or SG in short) function of these games. In this paper we introduce Tetris extensions of hypergraph {\sc Nim}, and obtain a closed formula for the SG functions of the extensions of proper {\sc Nim}, when $n\geq 3$. Surprisingly, the case of $n=2$ is much more complicated. For this case we only suggest several partial results and conjectures.
2015-04-27
Asymptotics of the modes of the ordered Stirling numbers
It is known that the $S(n,k)$ Stirling numbers as well as the ordered Stirling numbers $k!S(n,k)$ form log-concave sequences. Although in the first case there are many estimations about the mode, for the ordered Stirling numbers such estimations are not known. In this short note we study this problem and some of its generalizations.
Obstructions for three-coloring graphs without induced paths on six vertices
Published • View Publication • BIB
We prove that there are 24 4-critical $P_6$-free graphs, and give the complete list. We remark that, if $H$ is connected and not a subgraph of $P_6$, there are infinitely many 4-critical $H$-free graphs. Our result answers questions of Golovach et al. and Seymour.
2015-04-27
Further Results on the Classification of MDS Codes
Published • View Publication • BIB
A $q$-ary maximum distance separable (MDS) code $C$ with length $n$, dimension $k$ over an alphabet $\mathcal{A}$ of size $q$ is a set of $q^k$ codewords that are elements of $\mathcal{A}^n$, such that the Hamming distance between two distinct codewords in $C$ is at least $n-k+1$. Sets of mutually orthogonal Latin squares of orders $q\leq 9$, corresponding to two-dimensional \mbox{$q$-}ary MDS codes, and $q$-ary one-error-correcting MDS codes for $q\leq 8$ have been classified in earlier studies. These results are used here to complete the classification of all $7$-ary and $8$-ary MDS codes with $d\geq 3$ using a computer search.
2015-04-27
On the number of unit-area triangles spanned by convex grids in the plane
Published • View Publication • BIB
A finite set of real numbers is called convex if the differences between consecutive elements form a strictly increasing sequence. We show that, for any pair of convex sets $A, B\subset\mathbb R$, each of size $n^{1/2}$, the convex grid $A\times B$ spans at most $O(n^{37/17}\log^{2/17}n)$ unit-area triangles. This improves the best known upper bound $O(n^{31/14})$ recently obtained in \cite{RS}. Our analysis also applies to more general families of sets $A$, $B$, known as sets of Szemerédi--Trotter type.
2015-04-27 v2
On wild frieze patterns
Published • View Publication • BIB
In this note, among other things, we show: There are periodic wild SLk-frieze patterns whose entries are positive integers. There are non-periodic SLk-frieze patterns whose entries are positive integers. There is an SL3-frieze pattern whose entries are positive integers and with infinitely many different entries.
2015-04-27 v3
Dimensions of affine Deligne-Lusztig varieties: a new approach via labeled folded alcove walks and root operators
Published in Mem. Amer. Math. Soc. 261 (2019), no. 1260, v+101 pp • Search Publication
Let G be a reductive group over the field F=k((t)), where k is an algebraic closure of a finite field, and let W be the (extended) affine Weyl group of G. The associated affine Deligne-Lusztig varieties $X_x(b)$, which are indexed by elements b in G(F) and x in W, were introduced by Rapoport. Basic questions about the varieties $X_x(b)$ which have remained largely open include when they are nonempty, and if nonempty, their dimension. We use techniques inspired by geometric group theory and representation theory to address these questions in the case that b is a pure translation, and so prove much of a sharpened version of Conjecture 9.5.1 of Görtz, Haines, Kottwitz, and Reuman. Our approach is constructive and type-free, sheds new light on the reasons for existing results in the case that b is basic, and reveals new patterns. Since we work only in the standard apartment of the building for G(F), our results also hold in the p-adic context, where we formulate a definition of the dimension of a p-adic Deligne-Lusztig set. We present two immediate consequences of our main results, to class polynomials of affine Hecke algebras and to affine reflection length.
2015-04-27
The proofs of two directed paths conjectures of Bollobás and Leader
Published • View Publication • BIB
Let $A$ and $B$ be disjoint sets, of size $2^k$, of vertices of $Q_n$, the $n$-dimensional hypercube. In 1997, Bollobás and Leader proved that there must be $(n-k)2^k$ edge-disjoint paths between such $A$ and $B$. They conjectured that when $A$ is a down-set and $B$ is an up-set, these paths may be chosen to be directed (that is, the vertices in the path form a chain). We use a novel type of compression argument to prove stronger versions of these conjectures, namely that the largest number of edge-disjoint paths between a down-set $A$ and an up-set $B$ is the same as the largest number of directed edge-disjoint paths between $A$ and $B$. Bollobás and Leader made an analogous conjecture for vertex-disjoint paths and we prove a strengthening of this by similar methods. We also prove similar results for all other sizes of $A$ and $B$.
2015-04-27 v4
Realization spaces of matroids over hyperfields
We study realization spaces of matroids over hyperfields (in the sense of Baker and Bowler). More precisely, given a matroid M and a hyperfield H we determine the space of all H-matroids over M. This can be seen as the matroid stratum of the hyperfield Grassmannians in the sense of Anderson and Davis. We give different descriptions of these realization spaces (e.g., in terms of Tutte groups or projective classes), allowing for explicit computations. When the hyperfield at hand is topological, the realization spaces have a natural topology. In this case, our models carry the correct homeomorphism type. As applications of our methods we obtain a theorem on the existence of phased matroids that are not realizable over the complex field and are not chirotopal, as well as a result on the diffeomorphism type of complex hyperplane arrangements whose underlying matroid is uniform.
2015-04-27
Bounded Height Interlaced Pairs of Parking Functions
Published • View Publication • BIB
We enumerate interlaced pairs of parking functions whose underlying Dyck path has a bounded height. We obtain an explicit formula for this enumeration in the form of a quotient of analogs of Chebicheff polynomials having coefficients in the ring of symmetric functions.
A Note on the Rainbow Connectivity of Tournaments
An arc-coloured digraph $D$ is said to be \emph{rainbow connected} if for every two vertices $u$ and $v$ there is an $uv$-path all whose arcs have different colours. The minimun number of colours required to make the digraph rainbow connected is called the \emph{rainbow connection number} of $D$, denoted $\stackrel{\rightarrow}{rc}(D)$. In \cite{Dorbec} it was showed that if $T$ is a strong tournament with $n\geq 5$ vertices, then $2\leq \stackrel{\rightarrow}{rc}(T)\leq n-1$; and that for every $n$ and $k$ such that $3\leq k\leq n-1$, there exists a tournament $T$ on $n$ vertices such that $\stackrel{\rightarrow}{rc}(T)=k$. In this note it is showed that for any $n\ge6$, there is a tournament $T$ of $n$ vertices such that $\stackrel{\rightarrow}{rc}(T)=2$.
2015-04-27
The Poincaré series for the algebras of joint invariants and covariants of $n$ linear forms
Published • View Publication • BIB
Explicit formulas for computation of the Poincaré series for the algebras of joint $SL_2$-invariants and covariants of $n$ linear forms in terms of Narayana polynomials are found. Also, for these algebras we calculate the degrees and asymptotic behavious of the degrees.
2015-04-27 v5
On consecutive sums in permutations
Published • View Publication • BIB
We study the number of values taken by the sums $\sum_{i=u}^{v-1} a_i$, where $a_1,a_2,\dots,a_n$ is a permutation of $1,2,\dots,n$ and $1 \leq u < v \leq n+1$. In particular, we show that for a random choice of a permutation, with high probability there are $(\frac{1+e^{-2}}{4} +o(1)) n^2$ such sums. This answers an old question of Erdős and Harzheim. We also obtain non-trivial bounds on the maximum possible number of distinct sums, ranging over all permutations of $1,2,\dots,n$. We close with some questions concerning the minimal possible number of distinct sums.
2015-04-27 v3
Polynomial Invariants for Arbitrary Rank $D$ Weakly-Colored Stranded Graphs
Published in SIGMA 12 (2016), 030, 23 pages • View Publication • BIB
Polynomials on stranded graphs are higher dimensional generalization of Tutte and Bollobás-Riordan polynomials [Math. Ann. 323 (2002), 81-96]. Here, we deepen the analysis of the polynomial invariant defined on rank 3 weakly-colored stranded graphs introduced in arXiv:1301.1987. We successfully find in dimension $D\geq3$ a modified Euler characteristic with $D-2$ parameters. Using this modified invariant, we extend the rank 3 weakly-colored graph polynomial, and its main properties, on rank 4 and then on arbitrary rank $D$ weakly-colored stranded graphs.
2015-04-27 v3
Dunkl kernel associated with dihedral group
Published • View Publication • BIB
In this paper, we pursue the investigations started in \cite{Mas-You} where the authors provide a construction of the Dunkl intertwining operator for a large subset of the set of regular multiplicity values. More precisely, we make concrete the action of this operator on homogeneous polynomials when the root system is of dihedral type and under a mild assumption on the multiplicity function. In particular, we obtain a formula for the corresponding Dunkl kernel and another representation of the generalized Bessel function already derived in \cite{Demni0}. When the multiplicity function is everywhere constant, our computations give a solution to the problem of counting the number of decompositions of an element from a dihedral group into a fixed number of (non necessarily simple) reflections. In the remainder of the paper, we supply another method to derive the Dunkl kernel associated with dihedral systems from the corresponding generalized Bessel function. This time, we use the shift principle together with multiple combinations of Dunkl operators corresponding to the vectors of the canonical basis of $\mathbb{R}^2$. When the dihedral system is of order six and only in this case, a single combination suffices to get the Dunkl kernel and agrees up to an isomorphism with the formula recently obtained by Amri \cite[Lemma1]{Amri} in the case of a root system of type $A_2$. We finally derive an integral representation for the Dunkl kernel associated with the dihedral system of order eight.
Flows and stochastic Taylor series in Ito calculus
Published in J. Phys. A: Math. Theor. 48 495202 (2015) • View Publication • BIB
For stochastic systems driven by continuous semimartingales an explicit formula for the logarithm of the Ito flow map is given. A similar formula is also obtained for solutions of linear matrix-valued SDEs driven by arbitrary semimartingales. The computation relies on the lift to quasi-shuffle algebras of formulas involving products of Ito integrals of semimartingales. Whereas the Chen-Strichartz formula computing the logarithm of the Stratonovich flow map is classically expanded as a formal sum indexed by permutations, the analogous formula in Ito calculus is naturally indexed by surjections. This reflects the change of algebraic background involved in the transition between the two integration theories.
2015-04-27
The second Feng-Rao number for codes coming from inductive semigroups
Published • View Publication • BIB
The second Feng-Rao number of every inductive numerical semigroup is explicitly computed. This number determines the asymptotical behaviour of the order bound for the second Hamming weight of one-point AG codes. In particular, this result is applied for the codes defined by asymptotically good towers of function fields whose Weierstrass semigroups are inductive. In addition, some properties of inductive numerical semigroups are studied, the involved Apéry sets are computed in a recursive way, and some tests to check whether a given numerical semigroups is inductive or not are provided.