Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Minimum number of non-zero-entries in a $7\times 7$ stable matrix
Published
• View Publication
• BIB
We prove that if a $7\times 7$ matrix is potentially stable, then it has at least 11 non-zero entries. The results for $n\times n$ matrix with $n$ up to 6 are known previously. We prove the result by making a list of possible associated digraphs with at most 10 edges, and then use algebraic conditions to show all of these digraphs or matrices cannot be potentially stable. In relation to this, we also determine the minimum number of edges in a strongly connected digraph depending on its circumference.
Rectangular Young tableaux with local decreases and the density method for uniform random generation (short version)
Published in GASCom 2018, Jun 2018, Athens, Greece. 2018
• Search Publication
In this article, we consider a generalization of Young tableaux in which we allow some consecutive pairs of cells with decreasing labels. We show that this leads to a rich variety of combinatorial formulas, which suggest that these new objects could be related to deeper structures, similarly to the ubiquitous Young tableaux. Our methods rely on variants of hook-length type formulas, and also on a new efficient generic method (which we call the density method) which allows not only to generate constrained combinatorial objects, but also to enumerate them. We also investigate some repercussions of this method on the D-finiteness of the generating functions of combinatorial objects encoded by linear extension diagrams, and give a limit law result for the average number of local decreases.
A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
Published
• View Publication
• BIB
In this case study, we illustrate the great potential of experimental mathematics and symbolic computation, by rederiving, ab initio, Onsager's celebrated solution of the twodimensional Ising model in zero magnetic field. Onsager's derivation is extremely complicated and ad hoc, as are all the subsequent proofs. Unlike Onsager's, our derivation is not rigorous, yet it is absolutely certain (even if Onsager did not do it before), and should have been acceptable to physicists who do not share mathematicians' fanatical (and often misplaced) insistence on rigor.
Local time for lattice paths and the associated limit laws
For generalized Dyck paths (i.e., directed lattice paths with any finite set of jumps), we analyse their local time at zero (i.e., the number of times the path is touching or crossing the abscissa). As we are in a discrete setting, the event we analyse here is '' invisible '' to the tools of Brownian motion theory. It is interesting that the key tool for analysing directed lattice paths, which is the kernel method, is not directly applicable here. Therefore, we introduce a variant of this kernel method to get the trivariate generating function (length, final altitude, local time): this leads to an expression involving symmetric and algebraic functions. We apply this analysis to different types of constrained lattice paths (meanders , excursions, bridges,. . .). Then, we illustrate this approach on 'basketball walks ' which are walks defined by the jumps --2, --1, 0, +1, +2. We use singularity analysis to prove that the limit laws for the local time are (depending on the drift and the type of walk) the geometric distribution, the negative binomial distribution, the Rayleigh distribution, or the half-normal distribution (a universal distribution up to now rarely encountered in analytic combinatorics).
Longest increasing paths with gaps
Published
• View Publication
• BIB
We consider a variant of the continuous and discrete Ulam-Hammersley problems: we study the maximal length of an increasing path through a Poisson point process (or a Bernoulli point process) with the restriction that there must be minimal gaps between abscissae and ordinates of successive points of the path.For both cases (continuous and discrete) our approach rely on couplings with well-studied models: respectively the classical Ulam-Hammersley problem and last-passage percolation with geometric weights. Thanks to these couplings we obtain explicit limiting shapes in both settings.We also establish that, as in the classical Ulam-Hammersley problem, the fluctuations around the mean are given by the Tracy-Widom distribution.
The upper bound theorem for flag homology 5-manifolds
Published
• View Publication
• BIB
We prove that among all flag homology $5$-manifolds with $n$ vertices, the join of $3$ circles of as equal length as possible is the unique maximizer of all the face numbers. The same upper bounds on the face numbers hold for $5$-dimensional flag Eulerian normal pseudomanifolds.
Improved Bounds for Pencils of Lines
Published
• View Publication
• BIB
We consider a question raised by Rudnev: given four pencils of $n$ concurrent lines in $\mathbb R^2$, with the four centres of the pencils non-collinear, what is the maximum possible size of the set of points where four lines meet? Our main result states that the number of such points is $O(n^{11/6})$, improving a result of Chang and Solymosi.
We also consider constructions for this problem. Alon, Ruzsa and Solymosi constructed an arrangement of four non-collinear $n$-pencils which determine $Ω(n^{3/2})$ four-rich points. We give a construction to show that this is not tight, improving this lower bound by a logarithmic factor. We also give a construction of a set of $m$ $n$-pencils, whose centres are in general position, that determine $Ω_m(n^{3/2})$ $m$-rich points.
The Thickness of K_1,n,n and K_2,n,n
Published
• View Publication
• BIB
The thickness of a graph G is the minimum number of planar subgraphs whose union is G. In this paper, we obtain the thickness of complete 3-partite graph K_1,n,n, K_2,n,n and complete 4-partite graph K_1,1,n,n.
Dungeons and Dragons: Combinatorics for the $dP_3$ Quiver
Published
• View Publication
• BIB
In this paper, we utilize the machinery of cluster algebras, quiver mutations, and brane tilings to study a variety of historical enumerative combinatorics questions all under one roof. Previous work [Zha, LMNT14], which arose during the second author's monitorship of undergraduates, and more recently of both authors [LM17], analyzed the cluster algebra associated to the cone over $\mathbf{dP_3}$, the del Pezzo surface of degree $6$ ($\mathbb{CP}^2$ blown up at three points). By investigating sequences of toric mutations, those occurring only at vertices with two incoming and two outgoing arrows, in this cluster algebra, we obtained a family of cluster variables that could be parameterized by $\mathbb{Z}^3$ and whose Laurent expansions had elegant combinatorial interpretations in terms of dimer partition functions (in most cases). While the earlier work [Zha, LMNT14, LM17] focused exclusively on one possible initial seed for this cluster algebra, there are in total four relevant initial seeds (up to graph isomorphism). In the current work, we explore the combinatorics of the Laurent expansions from these other initial seeds and how this allows us to relate enumerations of perfect matchings on Dungeons to Dragons.
On a lower bound for the eccentric connectivity index of graphs
Published in In: Panda B., Goswami P. (eds) Algorithms and Discrete Applied Mathematics. CALDAM 2018. Lecture Notes in Computer Science, vol 10743, PP 179-187, Springer, Cham (2018)
• View Publication
• BIB
The eccentric connectivity index of a graph $G$, denoted by $ξ^{c}(G)$, defined as $ξ^{c}(G)$ = $\sum_{v \in V(G)}ε(v) \cdot d(v)$, where $ε(v)$ and $d(v)$ denotes the eccentricity and degree of a vertex $v$ in a graph $G$, respectively. The volcano graph $V_{n,d}$ is a graph obtained from a path $P_{d+1}$ and a set $S$ of $n-d-1$ vertices, by joining each vertex in $S$ to a central vertex or vertices of $P_{d+1}$. In (A lower bound on the eccentric connectivity index of a graph, Discrete Applied Math., 160, 248 to 258, (2012)), Morgan et al. proved that $ξ^{c}(G) \geq ξ^{c}(V_{n,d})$ for any graph of order $n$ and diameter $d \geq 3$. In this paper, we present a short and simple proof of this result by considering the adjacency of vertices in graphs.
Cumulative subtraction games
Published
• View Publication
• BIB
We study zero-sum games, a variant of the classical combinatorial Subtraction games (studied for example in the monumental work "Winning Ways", by Berlekamp, Conway and Guy), called Cumulative Subtraction (CS). Two players alternate in moving, and get points for taking pebbles out of a joint pile. We prove that the outcome in optimal play (game value) of a CS with a finite number of possible actions is eventually periodic, with period $2s$, where $s$ is the size of the largest available action. This settles a conjecture by Stewart in his Ph.D. thesis (2011). Specifically, we find a quadratic bound, in the size of $s$, on when the outcome function must have become periodic. In case of two possible actions, we give an explicit description of optimal play. We generalize the periodicity result to games with a so-called reward function, where at each stage of game, the change of `score' does not necessarily equal the number of pebbles you collect.
Coloring general Kneser graphs and hypergraphs via high-discrepancy hypergraphs
Published
• View Publication
• BIB
We suggest a new method on coloring generalized Kneser graphs based on hypergraphs with high discrepancy and small number of edges. The main result is providing a proper coloring of K(n, n/2-t, s) in (4 + o(1))(s + t)^2 colors, which is produced by Hadamard matrices. Also, we show that for colorings by independent set of a natural type, this result is the best possible up to a multiplicative constant. Our method extends to Kneser hypergraphs as well.
Statistical properties of lambda terms
Published
• View Publication
• BIB
We present a quantitative, statistical analysis of random lambda terms in the de Bruijn notation. Following an analytic approach using multivariate generating functions, we investigate the distribution of various combinatorial parameters of random open and closed lambda terms, including the number of redexes, head abstractions, free variables or the de Bruijn index value profile. Moreover, we conduct an average-case complexity analysis of finding the leftmost-outermost redex in random lambda terms showing that it is on average constant. The main technical ingredient of our analysis is a novel method of dealing with combinatorial parameters inside certain infinite, algebraic systems of multivariate generating functions. Finally, we briefly discuss the random generation of lambda terms following a given skewed parameter distribution and provide empirical results regarding a series of more involved combinatorial parameters such as the number of open subterms and binding abstractions in closed lambda terms.
Recursive functions on conditional Galton--Watson trees
Published
• View Publication
• BIB
A recursive function on a tree is a function in which each leaf has a given value, and each internal node has a value equal to a function of the number of children, the values of the children, and possibly an explicitly specified random element $U$. The value of the root is the key quantity of interest in general. In this first study, all node values and function values are in a finite set $S$. In this note, we describe the limit behavior when the leaf values are drawn independently from a fixed distribution on $S$, and the tree $T_n$ is a random Galton--Watson tree of size $n$.
Spectral lower bounds for the quantum chromatic number of a graph
Published
• View Publication
• BIB
The quantum chromatic number, $χ_q(G)$, of a graph $G$ was originally defined as the minimal number of colors necessary in a quantum protocol in which two provers that cannot communicate with each other but share an entangled state can convince an interrogator with certainty that they have a coloring of the graph. We use an equivalent purely combinatorial definition of $χ_q(G)$ to prove that many spectral lower bounds for the chromatic number, $χ(G)$, are also lower bounds for $χ_q(G)$. This is achieved using techniques from linear algebra called pinching and twirling. We illustrate our results with some examples.
Equivalent matrices up to permutations
Given two $k\times n$ matrices $A$ and $B$, we describe a couple of methods to solve the matrix equation $XA=BY$, where $X$ is an invertible $k\times k$ matrix, and $Y$ is an $n\times n$ permutation matrix, both of which we want to determine. We are interested in pursuing those techniques that have algebraic geometric flavor. An application to solving such a matrix equation comes from the cryptanalysis of McEliece cryptosystem. By using codewords of minimum weight of a linear code, in concordance with these methods of solving $XA=BY$, we present an efficient way to determine the entire encryption keys for the McEliece cryptosystems built on Reed-Solomon codes.
Counting partitions inside a rectangle
Published
• View Publication
• BIB
We consider the number of partitions of $n$ whose Young diagrams fit inside an $m \times \ell$ rectangle; equivalently, we study the coefficients of the $q$-binomial coefficient $\binom{m+\ell}{m}_q$. We obtain sharp asymptotics throughout the regime $\ell = Θ(m)$ and $n = Θ(m^2)$. Previously, sharp asymptotics were derived by Takács only in the regime where $|n - \ell m /2| = O(\sqrt{\ell m (\ell + m)})$ using a local central limit theorem. Our approach is to solve a related large deviation problem: we describe the tilted measure that produces configurations whose bounding rectangle has the given aspect ratio and is filled to the given proportion. Our results are sufficiently sharp to yield the first asymptotic estimates on the consecutive differences of these numbers when $n$ is increased by one and $m, \ell$ remain the same, hence significantly refining Sylvester's unimodality theorem.
M-convexity of the minimum-cost packings of arborescences
The aim of this paper is to reveal the discrete convexity of the minimum-cost packings of arborescences and branchings. We first prove that the minimum-cost packings of disjoint $k$ branchings (minimum-cost $k$-branchings) induce an $\mathrm{M}^\natural$-convex function defined on the integer vectors on the vertex set. The proof is based on a theorem on packing disjoint $k$-branchings, which extends Edmonds' disjoint branchings theorem and is of independent interest. We then show the $\mathrm{M}$-convexity of the minimum-cost $k$-arborescences, which provides a short proof for a theorem of Bernáth and Király (SODA 2016) stating that the root vectors of the minimum-cost $k$-arborescences form a base polyhedron of a submodular function. Finally, building upon the $\mathrm{M}^\natural$-convexity of $k$-branchings, we present a new problem of minimum-cost root location of a $k$-branching, and show that it can be solved in polynomial time if the opening cost function is $\mathrm{M}^\natural$-convex.
Rainbow structures in locally bounded colourings of graphs
Published
• View Publication
• BIB
We prove several results on approximate decompositions of edge-coloured quasirandom graphs into rainbow spanning structures. More precisely, we say that an edge-colouring of a graph is locally $\ell$-bounded if no vertex is incident to more than $\ell$ edges of any given colour, and that it is (globally) $g$-bounded if no colour appears more than $g$ times in the colouring. Note that every proper colouring of an $n$-vertex graph is locally $1$-bounded, and (globally) $n/2$-bounded. Our results imply the following:
(i) The existence of approximate decompositions of edge-coloured $K_n$ into rainbow almost-spanning cycles, provided that the colouring is $\frac{n}{2}$-bounded and locally $o(n)$-bounded. (ii) The existence of approximate decompositions of edge-coloured $K_n$ into rainbow Hamilton cycles, provided that the colouring is $(1-o(1))\frac n2$-bounded and locally $o\big(\frac{n}{\log^4 n}\big)$-bounded. (iii) A bipartite version of our results implies that every $n\times n$ array, where each symbol appears $(1-o(1))n$ times in total and appears only $o\big(\frac{n}{\log^2 n}\big)$ times in each row or column, has an approximate decomposition into full transversals.
We also prove analogues of (i) and (ii) for $F$-factors, where $F$ is any fixed graph. Apart from the logarithmic factor in (ii), all these bounds are essentially best possible. (i) can be viewed as a generalization of a recent result of Alon, Pokrovskiy and Sudakov, who showed the existence of an almost spanning cycle in a properly coloured complete graph. Both (i) and (ii) imply approximate versions of a conjecture of Brualdi and Hollingsworth, stating that every properly edge-coloured complete graph can be decomposed into rainbow spanning trees.
The restricted $h$-connectivity of balanced hypercubes
The restricted $h$-connectivity of a graph $G$, denoted by $κ^h(G)$, is defined as the minimum cardinality of a set of vertices $F$ in $G$, if exists, whose removal disconnects $G$ and the minimum degree of each component of $G-F$ is at least $h$. In this paper, we study the restricted $h$-connectivity of the balanced hypercube $BH_n$ and determine that $κ^1(BH_n)=κ^2(BH_n)=4n-4$ for $n\geq2$. We also obtain a sharp upper bound of $κ^3(BH_n)$ and $κ^4(BH_n)$ of $n$-dimension balanced hypercube for $n\geq3$ ($n\neq4$). In particular, we show that $κ^3(BH_3)=κ^4(BH_3)=12$.