arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2016-09-15 v2
Dinv and Area
Published in Electron. J. Combin., 24 (1) (2017), P1.64. (with minor revision according to corrigendum) • View Publication • BIB
We give a new combinatorial proof of the well known result that the dinv of an $(m,n)$-Dyck path is equal to the area of its sweep map image. The first proof of this remarkable identity for co-prime $(m,n)$ is due to Loehr and Warrington. There is also a second proof (in the co-prime case) due to Gorsky and Mazin and a third proof due to Mazin.
Laplacian Distribution and Domination
Published • View Publication • BIB
Let $m_G(I)$ denote the number of Laplacian eigenvalues of a graph $G$ in an interval $I$, and let $γ(G)$ denote its domination number. We extend the recent result $m_G[0,1) \leq γ(G)$, and show that isolate-free graphs also satisfy $γ(G) \leq m_G[2,n]$. In pursuit of better understanding Laplacian eigenvalue distribution, we find applications for these inequalities. We relate these spectral parameters with the approximability of $γ(G)$, showing that $\frac{γ(G)}{m_G[0,1)} \not\in O(\log n)$. However, $γ(G) \leq m_G[2, n] \leq (c + 1) γ(G)$ for $c$-cyclic graphs, $c \geq 1$. For trees $T$, $γ(T) \leq m_T[2, n] \leq 2 γ(G)$.
2016-09-15
Matroidal Schur Algebras
Published • View Publication • BIB
Fix a principal ideal domain $k$. In this article we associate to a (weighted) matroid $M$ a quasi-hereditary algebra $R(M)$ defined over $k$ such that matroid duality corresponds to Ringel duality of quasi-hereditary algebras. The representation theory of these algebras is related to work of Schechtman-Varchenko and Brylawski-Varchenko. In characteristic zero, our algebras are also closely related to work of Kook-Reiner-Stanton and Denham.
2016-09-15
A stable version of Terao conjecture
Published • View Publication • BIB
The aim of this note is to introduce a stable version of Terao conjecture, using the notion of infinitely stably extendability of vector bundles on $\mathbb P^n$, considered and characterized by I. Coanda in arXiv:0907.4040.
2016-09-15
Experimental Constructions of Binary Matrices with Good Peak-Sidelobe Distances
Published • View Publication • BIB
Skirlo et al., in 'Binary matrices of optimal autocorrelations as alignment marks' [Journal of Vacuum Science and Technology Series B 33(2) (2015) 1-7], defined a new class of binary matrices by maximizing the peak-sidelobe distances in the aperiodic autocorrelations and, by exhaustive computer searches, found the optimal square matrices of dimension up to 7 x 7, and optimal diagonally symmetric matrices of dimensions 8 x 8 and 9 x 9. We make an initial investigation into and propose a strategy for (deterministically) constructing binary matrices with good peak-sidelobe distances. We construct several classes of these and compare their distances to those of the optimal matrices found by Skirlo et al. Our constructions produce matrices that are near optimal for small dimension. Furthermore, we formulate a tight upper bound on the peak-sidelobe distance of a cer- tain class of circulant matrices. Interestingly, binary matrices corresponding to certain difference sets and almost difference sets have peak-sidelobe distances meeting this upper bound.
Structural Bounds on the Dyadic Effect
Published in Journal of Complex Networks, Volume 5(5), 2017, Pages 694-711 • View Publication • BIB
In this paper we consider the dyadic effect introduced in complex networks when nodes are distinguished by a binary characteristic. Under these circumstances two independent parameters, namely dyadicity and heterophilicity, are able to measure how much the assigned characteristic affects the network topology. All possible configurations can be represented in a phase diagram lying in a two-dimensional space that represents the feasible region of the dyadic effect, which is bound by two upper bounds on dyadicity and heterophilicity. Using some network's structural arguments, we are able to improve such upper bounds and introduce two new lower bounds, providing a reduction of the feasible region of the dyadic effect as well as constraining dyadicity and heterophilicity within a specific range. Some computational experiences show the bounds' effectiveness and their usefulness with regards to different classes of networks.
2016-09-15 v2
On a conjecture involving Laplacian eigenvalues of trees
Published • View Publication • BIB
Motivated by classic tree algorithms, in 1995 we designed a bottom-up $O(n)$ algorithm to compute the determinant of a tree's adjacency matrix $A$. In 2010 an $O(n)$ algorithm was found for constructing a diagonal matrix congruent to $A + xI_n$, $x \in \mathbb{R}$, enabling one to easily count the number of eigenvalues in any interval. A variation of the algorithm allows Laplacian eigenvalues in trees to be counted. We conjecture that for any tree $T$ of order $n \geq 2$, at least half of its Laplacian eigenvalues are less than $\bar{d} = 2 - \frac{2}{n}$, its average vertex degree.
2016-09-15 v3
The 26 Wilf-equivalence classes of length five quasi-consecutive patterns
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Combinatorics (October 24, 2018) dmtcs:4030 • View Publication • BIB
We present two families of Wilf-equivalences for consecutive and quasi-consecutive vincular patterns. These give new proofs of the classification of consecutive patterns of length $4$ and $5$. We then prove additional equivalences to explicitly classify all quasi-consecutive patterns of length $5$ into 26 Wilf-equivalence classes.
2016-09-15
A Method for Computing the Edge-Hyper-Wiener Index of Partial Cubes and an Algorithm for Benzenoid Systems
Published in Appl. Anal. Discr. Math. 12 (2018) 126-142 • View Publication • BIB
The edge-hyper-Wiener index of a connected graph $G$ is defined as $WW_e(G) = \frac{1}{2}\sum_{\lbrace e,f\rbrace \subseteq E(G)}d(e,f) + \frac{1}{2}\sum_{\lbrace e,f\rbrace \subseteq E(G)}d(e,f)^2$. We develop a method for computing the edge-hyper-Wiener index of partial cubes, which constitute a large class of graphs with a lot of applications. It is also shown how the method can be applied to trees. Furthermore, an algorithm for computing the edge-hyper-Wiener index of benzenoid systems is obtained. Finally, the algorithm is used to correct already known closed formulas for the edge-Wiener index and the edge-hyper-Wiener index of linear polyacenes.
2016-09-15 v3
New injective proofs of the Erdős--Ko--Rado and Hilton--Milner theorems
Published • View Publication • BIB
A set system F is intersecting if any pair of sets in F have a nonempty intersection. A fundamental theorem of Erdős, Ko and Rado states that if F is an intersecting family of r-subsets of [n]={1,...,n}, and n>= 2r, then the cardinality of F is at most the cardinality of the family of all r-subsets of [n] containing a fixed element. Furthermore, when n>2r, equality holds if and only if F is the family of all r-subsets of [n] containing a fixed element. This characterization was proved as part of a stronger result by Hilton and Milner. In this note, we provide new injective proofs of the Erdős--Ko--Rado and the Hilton--Milner theorems.
On the Linear Cycle Cover Conjecture of Gyárfás and Sárközy
Published • View Publication • BIB
A linear cycle in a hypergraph $H$ is a cyclic sequence of hyperedges such that two consecutive hyperedges intersect in exactly one element and two nonconsecutive hyperedges are disjoint and $α(H)$ denotes the size of a largest independent set of $H$. In this note, we show that the vertex set of every $3$-uniform hypergraph $H$ can be covered by at most $α(H)$ pairwise edge-disjoint linear cycles (where we accept a vertex and a hyperedge as a linear cycle), proving a weaker version of a conjecture of Gyárfás and Sárközy.
2016-09-15
The Delta Conjecture at $q=1$
Published • View Publication • BIB
We use a weight-preserving, sign-reversing involution to find a combinatorial expansion of $Δ_{e_k} e_n$ at $q=1$ in terms of the elementary symmetric function basis. We then use a weight-preserving bijection to prove the Delta Conjecture at $q=1$. The method of proof provides a variety of structures which can compute the inner product of $Δ_{e_k} e_n|_{q=1}$ with any symmetric function.
2016-09-14
Relationship Between the Hosoya Polynomial and the Edge-Hosoya Polynomial of Trees
Published in MATCH Commun. Math. Comput. Chem. 78 (2017) 181-187 • Search Publication
We prove the relationship between the Hosoya polynomial and the edge-Hosoya polynomial of trees. The connection between the edge-hyper-Wiener index and the edge-Hosoya polynomial is established. With these results we also prove formulas for the computation of the edge-Wiener index and the edge-hyper-Wiener index of trees using the Wiener index and the hyper-Wiener index. Moreover, the closed formulas are derived for a family of chemical trees called regular dendrimers.
2016-09-14 v2
Principal submatrices, restricted invertibility and a quantitative Gauss-Lucas theorem
Published • View Publication • BIB
We apply the techniques developed by Marcus, Spielman and Srivastava, working with principal submatrices in place of rank $1$ decompositions to give an alternate proof of their results on restricted invertibility. We show that one can find well conditioned column submatrices all the way upto the so called modified stable rank. All constructions are algorithmic. A byproduct of these results is an interesting quantitative version of the classical Gauss-Lucas theorem on the critical points of complex polynomials. We show that for any degree $n$ polynomial $p$ and any $c \geq \frac{1}{2}$, the area of the convex hull of the roots of $p^{(cn)}$ is at most $4(c-c^2)$ that of the area of the convex hull of the roots of $p$.
2016-09-14
On the number of solutions in random graph $k$-colouring
Let $k \ge 3$ be a fixed integer. We exactly determine the asymptotic distribution of $\ln Z_k(G(n,m))$, where $Z_k(G(n,m))$ is the number of $k$-colourings of the random graph $G(n,m)$. A crucial observation to this aim is that the fluctuations in the number of colourings can be attributed to the fluctuations in the number of small cycles in $G(n,m)$. Our result holds for a wide range of average degrees, and for $k$ exceeding a certain constant $k_0$ it covers all average degrees up to the so-called "condensation phase transition".
2016-09-14 v2
Mixed Determinants and the Kadison-Singer problem
Published • View Publication • BIB
We adapt the arguments of Marcus, Spielman and Srivastava in their proof of the Kadison-Singer problem to prove improved paving estimates. Working with Anderson's paving formulation of Kadison-Singer instead of Weaver's vector balancing version, we show that the machinery of interlacing polyomials due to Marcus, Spielman and Srivastava works in this setting as well. The relevant expected characteristic polynomials turn out to be related to the so called "mixed determinants" that have been carefully studied by Borcea and Branden. This technique allows us to show that any projection with diagonal entries strictly less than $\frac{1}{4}$ can be two paved, matching recent results of Bownik, Casazza, Marcus and Speegle, though our estimates are asymptotically weaker. We also show that any projection with diagonal entries at most $\frac{1}{2}$ can be four paved, yielding improvements over currently known estimates. We also relate the problem of finding optimal paving estimates to bounding the root intervals of a natural one parameter deformation of the characteristic polynomial of a matrix that turns out to have some remarkable combinatorial properties.
The $μ$-permanent, a new graph labeling, and a known integer sequence
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.
2016-09-14 v3
Efficient Removal Lemmas for Matrices
Published • View Publication • BIB
The authors and Fischer recently proved that any hereditary property of two-dimensional matrices (where the row and column order is not ignored) over a finite alphabet is testable with a constant number of queries, by establishing the following (ordered) matrix removal lemma: For any finite alphabet $Σ$, any hereditary property $\mathcal{P}$ of matrices over $Σ$, and any $ε> 0$, there exists $f_{\mathcal{P}}(ε)$ such that for any matrix $M$ over $Σ$ that is $ε$-far from satisfying $\mathcal{P}$, most of the $f_{\mathcal{P}}(ε) \times f_{\mathcal{P}}(ε)$ submatrices of $M$ do not satisfy $\mathcal{P}$. Here being $ε$-far from $\mathcal{P}$ means that one needs to modify at least an $ε$-fraction of the entries of $M$ to make it satisfy $\mathcal{P}$. However, in the above general removal lemma, $f_{\mathcal{P}}(ε)$ grows very fast as a function of $ε^{-1}$, even when $\mathcal{P}$ is characterized by a single forbidden submatrix. In this work we establish much more efficient removal lemmas for several special cases of the above problem. In particular, we show the following: For any fixed $s \times t$ binary matrix $A$ and any $ε> 0$ there exists $δ> 0$ polynomial in $ε$, such that for any binary matrix $M$ in which less than a $δ$-fraction of the $s \times t$ submatrices are equal to $A$, there exists a set of less than an $ε$-fraction of the entries of $M$ that intersects every $A$-copy in $M$. We generalize the work of Alon, Fischer and Newman [SICOMP'07] and make progress towards proving one of their conjectures. The proofs combine their efficient conditional regularity lemma for matrices with additional combinatorial and probabilistic ideas.
2016-09-14 v3
An isoperimetric inequality for antipodal subsets of the discrete cube
Published • View Publication • BIB
A family of subsets of $\{1,2,\ldots,n\}$ is said to be {\em antipodal} if it is closed under taking complements. We prove a best-possible isoperimetric inequality for antipodal families of subsets of $\{1,2,\ldots,n\}$. Our inequality implies that for any $k \in \mathbb{N}$, among all such families of size $2^k$, a family consisting of the union of a $(k-1)$-dimensional subcube and its antipode has the smallest possible edge boundary.
2016-09-14
Totally Antimagic Total labeling of Ladders, Prisms and Generalised Pertersen graphs
Published • View Publication • BIB
Given a graph $G$, a total labeling on $G$ is called edge-antimagic total (respectively, vertex-antimagic total) if all edge-weights (respectively, vertex-weights) are pairwise distinct. If a labeling on $G$ is simultaneously edge-antimagic total and vertex-antimagic total, it is called a totally antimagic total labeling. A graph that admits totally antimagic total labeling is called a totally antimagic total graph. In this paper, we prove that ladders, prisms and generalised Pertersen graphs are totally antimagic total graphs. We also show that the chain graph of totally antimagic total graphs is a totally antimagic total graph.