arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2019-07-22
On spectral spread of generalized distance matrix of a graph
Published • View Publication • BIB
For a simple connected graph $G$, let $D(G)$, $Tr(G)$, $D^{L}(G)$ and $D^{Q}(G)$, respectively be the distance matrix, the diagonal matrix of the vertex transmissions, distance Laplacian matrix and the distance signless Laplacian matrix of a graph $G$. The convex linear combinations $D_α(G)$ of $Tr(G)$ and $D(G)$ is defined as $D_α(G)=αTr(G)+(1-α)D(G)$, $0\leq α\leq 1$. As $D_{0}(G)=D(G), ~~~ 2D_{\frac{1}{2}}(G)=D^{Q}(G), ~~~ D_{1}(G)=Tr(G)$ and $D_α(G)-D_β(G)=(α-β)D^{L}(G)$, this matrix reduces to merging the distance spectral, distance Laplacian spectral and distance signless Laplacian spectral theories. Let $\partial_{1}(G)\geq \partial_{2}(G)\geq \dots \geq \partial_{n}(G)$ be the eigenvalues of $D_α(G)$ and let $D_αS(G)=\partial_{1}(G)-\partial_{n}(G)$ be the generalized distance spectral spread of the graph $G$. In this paper, we obtain some bounds for the generalized distance spectral spread $D_α(G)$. We also obtain relation between the generalized distance spectral spread $D_α(G)$ and the distance spectral spread $S_{D}(G)$. Further, we obtain the lower bounds for $D_αS(G)$ of bipartite graphs involving different graph parameters and we characterize the extremal graphs for some cases. We also obtain lower bounds for $D_αS(G)$ in terms of clique number and independence number of the graph $G$ and characterize the extremal graphs for some cases.
Flat Littlewood Polynomials Exist
Published • View Publication • BIB
We show that there exist absolute constants $Δ> δ> 0$ such that, for all $n \geqslant 2$, there exists a polynomial $P$ of degree $n$, with $\pm 1$ coefficients, such that $$δ\sqrt{n} \leqslant |P(z)| \leqslant Δ\sqrt{n}$$ for all $z\in\mathbb{C}$ with $|z|=1$. This confirms a conjecture of Littlewood from 1966.
2019-07-22
Limit Shape of Subpartition Maximizing Partitions
Published • View Publication • BIB
This is an expository note answering a question posed to us by Richard Stanley, in which we prove a limit shape theorem for partitions of $n$ which maximize the number of subpartitions. The limit shape and the growth rate of the number of subpartitions are explicit. The key ideas are to use large deviations estimates for random walks, together with convex analysis and the Hardy-Ramanujan asymptotics. Our limit shape coincides with Vershik's limit shape for uniform random partitions.
Generalised Barred Preferential Arrangements
A barred preferential arrangement is a preferential arrangement onto which a number of identical bars are inserted in between the blocks of the preferential arrangement. In this study we examine combinatorial properties of barred preferential arrangements whose elements are colored with a number of available colors.
2019-07-21 v2
Amalgamating poset extensions and generating free lattices
Published • View Publication • BIB
We investigate connections between the free lattice generated by a poset while preserving certain bounds and the canonical extension of a poset. Explicitly, we describe how the free lattice generated by a poset while preserving certain bounds can be constructed as a colimit of `intermediate structures' as they occur in the construction of a canonical extension of a poset.
2019-07-21
A category for bijective combinatorics
The category of matchings between finite sets extends to the category of cobordisms of signed sets. A chain of cobordisms that starts and ends with unsigned sets A and B yields a matching from A to B. This is a convenient way to package the involution principle of Garsia and Milne, which reveals itself to have little to do with involutions.
2019-07-21
Combining the Connection Scan Algorithm with Contraction Hierarchies
Since the first solutions finding minimally weighted routes in weighted digraphs, a plethora of literature has appeared improving the performance of shortest-path queries for use in real-world applications. In this paper, we detail how an advanced pre-processing technique for routing algorithms (which create objects known as Contraction Hierarchies) may be combined with the connection scan algorithm, an algorithm originally designed to work with public transportation networks using time tables. This provides an improvement over bi-directional Dijkstra or A${}^*$ search on Contraction Hierarchies.
2019-07-21 v3
P-flag spaces and incidence stratifications
Published in Selecta Mathematica, 27, 72 (2021) • View Publication • BIB
For any finite poset P we introduce a homogeneous space as a quotient of the general linear group with the incidence group of P. When P is a chain this quotient is a flag variety; for the trivial poset our construction gives a variety recently introduced in [20]. Moreover we provide decompositions for any set in a projective space, induced by the action of the incidence group of a suitable poset. In the classical cases of Grassmannians and flag varieties we recover, depending on the choice of the poset, the partition into Schubert cells and the matroid strata. Our general framework produces, for the homogeneous spaces corresponding to the trivial posets, a stratification by parking functions.
2019-07-20
Platonic configurations of points and lines
We present some methods for constructing connected spatial geometric configurations $(p_{q}, n_{k})$ of points and lines, preserved by the same rotations (and reflections) of Euclidean space $E^{3}$ as the chosen Platonic solid. In this paper we are primarily interested in balanced configurations $(n_{3}), (n_{4})$ and $(n_{5})$, but also in unbalanced configurations $(p_{3},n_{4}), (p_{3}, n_{5})$ and $(p_{4}, n_{5})$.
Transformed flips in triangulations and matchings
Plane perfect matchings of $2n$ points in convex position are in bijection with triangulations of convex polygons of size $n+2$. Edge flips are a classic operation to perform local changes both structures have in common. In this work, we use the explicit bijection from Aichholzer et al. (2018) to determine the effect of an edge flip on the one side of the bijection to the other side, that is, we show how the two different types of edge flips are related. Moreover, we give an algebraic interpretation of the flip graph of triangulations in terms of elements of the corresponding Temperley-Lieb algebra.
2019-07-20 v3
Moduli Spaces of Pentagonal Subdivision Tilings
Published • View Publication • BIB
Pentagonal subdivision gives three families of edge-to-edge tilings of the sphere by congruent pentagons. Each family forms a two dimensional moduli. We describe the moduli in detail.
2019-07-20
Generalized chromatic polynomials of graphs from Heaps of pieces
Published • View Publication • BIB
Let $G$ be a simple graph and let $\mathcal{L}(G)$ be the free partially commutative Lie algebra associated to $G$. In this paper, using heaps of pieces, we prove an expression for the generalized $\textbf k$-chromatic polynomial of $G$ in terms of dimensions of the grade spaces of $\mathcal{L}(G)$. This will give us a new interpretation for the chromatic polynomials in terms of multilinear heaps and Lyndon length. The classical results of Stanley, and Greene and Zaslavsky regarding the acyclic orientations of $G$ are obtained as corollaries. A heap with a unique minimal piece is said to be a pyramid and our main theorem is proved using the properties of pyramids. For this reason, we prove two important properties of pyramids namely the pyramid proportionality lemma, and the pyramid and Lyndon heap lemma. In the last section, we will introduce the $(m,λ)$-labelling on acyclic orientations which is similar to Stanley's $λ$-compatible pairs. As an application of our main theorem, using this $(m,λ)$-labelled acyclic orientations, we will prove the reciprocity theorem for the derivatives of the chromatic polynomials.
2019-07-20
Complexity of Modification Problems for Reciprocal Best Match Graphs
Published • View Publication • BIB
Reciprocal best match graphs (RBMGs) are vertex colored graphs whose vertices represent genes and the colors the species where the genes reside. Edges identify pairs of genes that are most closely related with respect to an underlying evolutionary tree. In practical applications this tree is unknown and the edges of the RBMGs are inferred by quantifying sequence similarity. Due to noise in the data, these empirically determined graphs in general violate the condition of being a ``biologically feasible'' RBMG. Therefore, it is of practical interest in computational biology to correct the initial estimate. Here we consider deletion (remove at most $k$ edges) and editing (add or delete at most $k$ edges) problems. We show that the decision version of the deletion and editing problem to obtain RBMGs from vertex colored graphs is NP-hard. Using known results for the so-called bicluster editing, we show that the RBMG editing problem for $2$-colored graphs is fixed-parameter tractable. A restricted class of RBMGs appears in the context of orthology detection. These are cographs with a specific type of vertex coloring known as hierarchical coloring. We show that the decision problem of modifying a vertex-colored graph (either by edge-deletion or editing) into an RBMG with cograph structure or, equivalently, to an hierarchically colored cograph is NP-complete.
2019-07-20 v2
$DIII$ clan combinatorics for the orthogonal Grassmannian
Borel subgroup orbits of the classical symmetric space $SO_{2n}/GL_n$ are parametrized by $DIII$ $(n,n)$-clans. We group the clans into "sects" corresponding to Schubert cells of the orthogonal Grassmannian, thus providing a cell decomposition for $SO_{2n}/GL_n$. We also compute a recurrence for the rank polynomial of the weak order poset on $DIII$ clans, and then describe explicit bijections between such clans, diagonally symmetric rook placements, certain pairs of minimally intersecting set partitions, and a class of weighted Delannoy paths. Clans of the largest sect are in bijection with fixed-point-free partial involutions.
2019-07-19
Using Symbolic Computation to analyze some Children's Board Games
In a delightful article that recently appeared in Mathematics Magazine, David and Lori Mccune analyze the board game "Count Your Chickens!", recommended to children three and up. Alas, they use the advanced theory of Markov chains, that presupposes a knowledge of linear algebra, that few three-years-olds are likely to understand. Here we present a much simpler, more intuitive, approach, that while unlikely to be understood by three-year-olds, will probably be understood by a smart 14-year-old. Moreover, our approach accomplishes much more, and is more efficient. It uses symbolic, rather than numeric computation.
2019-07-19
On special matrices related to Cauchy and Toeplitz matrices
In this paper, we are going to calculate the determinant of a certain type of square matrices, which are related to the well-known Cauchy and Toeplitz matrices. Then, we will use the results to determine the rank of special non-square matrices.
Null Decomposition of Unicyclic Graphs
Published • View Publication • BIB
In this work we obtain basis for the null space of unicyclic graphs. We extend the null decomposition of trees from [11] for unicyclic graphs. As an application, we obtain closed formulas for the independence and matching numbers of unicyclic graphs just using the support of the graph.
2019-07-19
Asymptotic resolvents of a product of two marginals of a random tensor
Random tensors can be used to produce random matrices. This idea is, for instance, very natural when one studies random quantum states with the aim of exploring properties that are generically true, or true with some probability. We hereby study the moments generating function, in the sense of the Stieltjes transform - i.e. the resolvent -, of a random matrix defined as a product of two different marginals of the same random tensor. We study the resolvent in two different asymptotical regimes. In the first regime, the resolvent is easily computed thanks to freeness results for the two different marginals and straightforward application of free harmonic analysis. In the second regime, we show that the resolvent satisfies an algebraic equation of degree six. This algebraic equation possesses roots whose expressions can be given explicitly in terms of radicals. We obtain this result by using an enumerative combinatorics approach. One of the interesting aspects of the second regime is that the corresponding probability density function interpolates between the square of a Marchenko-Pastur and the free multiplicative square of a Marchenko-Pastur law.
2019-07-19
An extension of the Andrews-Warnaar partial theta function identity
Published • View Publication • BIB
In this paper, by applying a range of classic summation and transformation formulas for basic hypergeometric series, we obtain a three-term identity for partial theta functions. It extends the Andrews-Warnaar partial theta function identity, and also unifies several results on partial theta functions due to Ramanujan, Lovejoy and Kim. We also establish a two-term version of the extension, which can be used to derive identities for partial and false theta functions. Finally, we present a relation between the big $q$-Jacobi polynomials and the Andrews-Warnaar partial theta function identity.
2019-07-19 v4
A new sufficient condition for a Digraph to be Hamiltonian-A proof of Manoussakis Conjecture
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (January 18, 2021) dmtcs:6086 • View Publication • BIB
Y. Manoussakis (J. Graph Theory 16, 1992, 51-59) proposed the following conjecture. \noindent\textbf{Conjecture}. {\it Let $D$ be a 2-strongly connected digraph of order $n$ such that for all distinct pairs of non-adjacent vertices $x$, $y$ and $w$, $z$, we have $d(x)+d(y)+d(w)+d(z)\geq 4n-3$. Then $D$ is Hamiltonian.} In this paper, we confirm this conjecture. Moreover, we prove that if a digraph $D$ satisfies the conditions of this conjecture and has a pair of non-adjacent vertices $\{x,y\}$ such that $d(x)+d(y)\leq 2n-4$, then $D$ contains cycles of all lengths $3, 4, \ldots , n$.