We gratefully acknowledge support from
the Simons Foundation and member institutions.

Combinatorics

New submissions

[ total of 34 entries: 1-34 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 29 May 20

[1]  arXiv:2005.13557 [pdf, ps, other]
Title: Discrete homotopy of token configurations
Authors: Bob Lutz
Comments: 16 pages, 7 figures
Subjects: Combinatorics (math.CO)

This paper studies graphical analogs of symmetric products and unordered configuration spaces in topology. We do so from the perspective of the discrete homotopy theory introduced by Barcelo et al. Our first result is a combinatorial version of a theorem of P. A. Smith, which says that the fundamental group of any nontrivial symmetric product of $X$ is isomorphic to $H_1(X)$. Our second result gives conditions under which the n-strand braid group of a graph is isomorphic to its discrete analog.

[2]  arXiv:2005.13566 [pdf, ps, other]
Title: Group-Graph Reciprocal Pairs
Authors: Kirsty Campbell
Comments: 8 pages
Subjects: Combinatorics (math.CO)

In a 2018 paper, Cameron and Semeraro posed the problem of finding all group-graph reciprocal pairs. In this paper, we make a significant contribution to finding all such pairs. A group and graph form a reciprocal pair if they satisfy the relation $$P_{\Gamma,G}(x)=(-1)^nF_G(-x)$$ where $P_{\Gamma,G}(x)$ is the orbital chromatic polynomial of a graph $\Gamma$ and $F_G(x)$ is the cycle polynomial of a finite permutation group. We define a set of graphs to be \textit{$k$-stars} and prove that they satisfy a reciprocality relation with some group depending on $k$. These graphs are comprised of a complete graph with $k$ vertices and a further $\alpha$ `points' which are only connected to each vertex in the centre. This group is a subgroup of $S_k\times S_\alpha$, which is the automorphism group of a \textit{$k$-star} and $\alpha$ is the number of points on the star. We conjecture a list of group-graph reciprocal pairs.

[3]  arXiv:2005.13608 [pdf, ps, other]
Title: Dominating the direct product of two graphs through total Roman strategies
Comments: 16 pages
Subjects: Combinatorics (math.CO)

Given a graph $G$ without isolated vertices, a total Roman dominating function for $G$ is a function $f : V(G)\rightarrow \{0,1,2\}$ such that every vertex with label 0 is adjacent to a vertex with label 2, and the set of vertices with positive labels induces a graph of minimum degree at least one. The total Roman domination number $\gamma_{tR}(G)$ of $G$ is the smallest possible value of $\sum_{v\in V(G)}f(v)$ among all total Roman dominating functions $f$. The total Roman domination number of the direct product $G\times H$ of the graphs $G$ and $H$ is studied in this work. Specifically, several relationships, in the shape of upper and lower bounds, between $\gamma_{tR}(G\times H)$ and some classical domination parameters for the factors are given. Characterizations of the direct product graphs $G\times H$ achieving small values ($\le 7$) for $\gamma_{tR}(G\times H)$ are presented, and exact values for $\gamma_{tR}(G\times H)$ are deduced, while considering various specific direct product classes.

[4]  arXiv:2005.13670 [pdf, ps, other]
Title: On the orbits associated with the Collatz conjecture
Comments: 10 pages
Subjects: Combinatorics (math.CO)

This article leans on previous work by Sousa Ramos and his collaborators. They first prove that the existence of only one orbit associated with the Collatz conjecture is equivalent to the determinant of each matrix of a certain sequence of matrices to have the same value. These matrices are called Collatz matrices. The second step in their work would be to calculate this determinant for each of the Collatz matrices. Having calculated this determinant for the first few terms of the sequence of matrices, their plan was to prove the determinant of the current term equals the determinant of the previous one. Unfortunately, they could not prove it for the cases where the dimensions of the matrices are 26+54l or 44+54l, where l is a positive integer. In the current article we improve on these results.

[5]  arXiv:2005.13686 [pdf, other]
Title: Sorting probability of Catalan posets
Comments: 10 pages, 6 figures
Subjects: Combinatorics (math.CO); Probability (math.PR)

We show that the sorting probability of the Catalan poset} $P_n$ satisfies $\delta(P_n)= O \bigl(n^{-5/4}\bigr)$.

[6]  arXiv:2005.13703 [pdf, other]
Title: Scale-free spanning trees: complexity, bounds and algorithms
Subjects: Combinatorics (math.CO)

We introduce and study the general problem of finding a most "scale-free-like" spanning tree of a connected graph. It is motivated by a particular problem in epidemiology, and may be useful in studies of various dynamical processes in networks. We employ two possible objective functions for this problem and introduce the corresponding algorithmic problems termed $m$-SF and $s$-SF Spanning Tree problems. We prove that those problems are APX- and NP-hard, respectively, even in the classes of cubic, bipartite and split graphs. We study the relations between scale-free spanning tree problems and the max-leaf spanning tree problem, which is the classical algorithmic problem closest to ours. For split graphs, we explicitly describe the structure of optimal spanning trees and graphs with extremal solutions. Finally, we propose two Integer Linear Programming formulations and two fast heuristics for the $s$-SF Spanning Tree problem, and experimentally assess their performance using simulated and real data.

[7]  arXiv:2005.13707 [pdf, ps, other]
Title: Poset Hopf Monoids
Authors: Mario Sanchez
Comments: 21 pages
Subjects: Combinatorics (math.CO)

We initiate the study of a large class of species monoids and comonoids which come equipped with a poset structure that is compatible with the multiplication and comultiplication maps. We show that if a monoid and a comonoid are related through a Galois connection, then they are dual to each other. This duality is best understood by introducing a new basis constructed through M\"obius inversion. We use this new basis to give uniform proofs for cofreeness and calculations of primitives for the Hopf monoids of set partitions, graphs, hypergraphs, and simplicial complexes.
Further, we show that the monoid and comonoid of a Hopf monoid are related through a Galois connection if and only if the Hopf monoid is linearized, commutative, and cocommutative. In these cases, we give a cancellation-free formula for the antipode in terms of an evaluation of the characteristic polynomial of a related poset. This gives new proofs for the antipodes of the Hopf monoids of graphs, set partitions, and simplicial complexes as well as giving the first cancellation-free and grouping-free formula for the antipode of hypergraphs.

[8]  arXiv:2005.13727 [pdf, other]
Title: Tropical flag varieties
Comments: 31 pages; comments welcome!
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)

Flag matroids are combinatorial abstractions of flags of linear subspaces, just as matroids are of linear subspaces. We introduce the flag Dressian as a tropical analogue of the partial flag variety, and prove a correspondence between: (a) points on the flag Dressian, (b) valuated flag matroids, (c) flags of projective tropical linear spaces, and (d) coherent flag matroidal subdivisions. We introduce and characterize projective tropical linear spaces, which serve as a fundamental tool in our proof. We apply the correspondence to prove that all valuated flag matroids on ground set up to size 5 are realizable, and give an example where this fails for a flag matroid on 6 elements.

[9]  arXiv:2005.13821 [pdf, other]
Title: On the expected number of perfect matchings in cubic planar graphs
Comments: 19 pages, 4 figures
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

A well-known conjecture by Lov\'asz and Plummer from the 1970s asserted that a bridgeless cubic graph has exponentially many perfect matchings. It was solved in the affirmative by Esperet et al. (Adv. Math. 2011). On the other hand, Chudnovsky and Seymour (Combinatorica 2012) proved the conjecture in the special case of cubic planar graphs. In our work we consider random bridgeless cubic planar graphs with the uniform distribution on graphs with $n$ vertices. Under this model we show that the expected number of perfect matchings in labeled bridgeless cubic planar graphs is asymptotically $c\gamma^n$, where $c>0$ and $\gamma \sim 1.14196$ is an explicit algebraic number. We also compute the expected number of perfect matchings in (non necessarily bridgeless) cubic planar graphs and provide lower bounds for unlabeled graphs. Our starting point is a correspondence between counting perfect matchings in rooted cubic planar maps and the partition function of the Ising model in rooted triangulations.

[10]  arXiv:2005.13844 [pdf, ps, other]
Title: Reconfiguring dominating sets in minor-closed graph classes
Subjects: Combinatorics (math.CO)

For a graph $G$, two dominating sets $D$ and $D'$ in $G$, and a non-negative integer $k$, the set $D$ is said to $k$-transform to $D'$ if there is a sequence $D_0,\ldots,D_\ell$ of dominating sets in $G$ such that $D=D_0$, $D'=D_\ell$, $|D_i|\leq k$ for every $i\in \{ 0,1,\ldots,\ell\}$, and $D_i$ arises from $D_{i-1}$ by adding or removing one vertex for every $i\in \{ 1,\ldots,\ell\}$. We prove that there is some positive constant $c$ and there are toroidal graphs $G$ of arbitrarily large order $n$, and two minimum dominating sets $D$ and $D'$ in $G$ such that $D$ $k$-transforms to $D'$ only if $k\geq \max\{ |D|,|D'|\}+c\sqrt{n}$. Conversely, for every hereditary class ${\cal G}$ that has balanced separators of order $n\mapsto n^\alpha$ for some $\alpha<1$, we prove that there is some positive constant $C$ such that, if $G$ is a graph in ${\cal G}$ of order $n$, and $D$ and $D'$ are two dominating sets in $G$, then $D$ $k$-transforms to $D'$ for $k=\max\{ |D|,|D'|\}+\lfloor Cn^\alpha\rfloor$.

[11]  arXiv:2005.13887 [pdf, ps, other]
Title: Infinite family of non-schurian separable association schemes
Authors: Grigory Ryabov
Comments: 7 pages
Subjects: Combinatorics (math.CO)

An infinite family of non-schurian separable association schemes is constructed.

[12]  arXiv:2005.14031 [pdf, ps, other]
Title: Promotion of Kreweras words
Comments: 36 pages, 13 figures
Subjects: Combinatorics (math.CO)

Kreweras words are words consisting of n A's, n B's, and n C's in which every prefix has at least as many A's as B's and at least as many A's as C's. Equivalently, a Kreweras word is a linear extension of the poset ${\sf V}\times [n]$. Kreweras words were introduced in 1965 by Kreweras, who gave a remarkable product formula for their enumeration. Subsequently they became a fundamental example in the theory of lattice walks in the quarter plane. We study Sch\"{u}tzenberger's promotion operator on the set of Kreweras words. In particular, we show that 3n applications of promotion on a Kreweras word merely swaps the B's and C's. Doing so, we provide the first answer to a question of Stanley from 2009, asking for posets with `good' behavior under promotion, other than the four families of shapes classified by Haiman in 1992. We also uncover a strikingly simple description of Kreweras words in terms of Kuperberg's $\mathfrak{sl}_3$-webs, and Postnikov's trip permutation associated with any plabic graph. In this description, Sch\"{u}tzenberger's promotion corresponds to rotation of the web.

[13]  arXiv:2005.14043 [pdf, ps, other]
Title: On the number of intersection points of lines and circles in $\mathbb R^3$
Authors: Andrey Sergunin
Comments: 12 pages
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Algebraic Geometry (math.AG)

We consider the following question: Given $n$ lines and $n$ circles in $\mathbb{R}^3$, what is the maximum number of intersection points lying on at least one line and on at least one circle of these families. We prove that if there are no $n^{1/2}$ curves (lines or circles) lying on an algebraic surface of degree at most two, then the number of these intersection points is $O(n^{3/2})$.

[14]  arXiv:2005.14065 [pdf, ps, other]
Title: Minkowski decompositions for generalized associahedra of acyclic type
Comments: 15 pages. Comments welcome
Subjects: Combinatorics (math.CO)

We give an explicit subword complex description of the generators of the type cone of the g-vector fan of a finite type cluster algebra with acyclic initial seed. This yields in particular a description of the Newton polytopes of the F-polynomials in terms of subword complexes as conjectured by S. Brodsky and the third author. We then show that the cluster complex is combinatorially isomorphic to the totally positive part of the tropicalization of the cluster variety as conjectured by D. Speyer and L. Williams.

[15]  arXiv:2005.14076 [pdf, other]
Title: On the index of unbalanced signed bicyclic graphs
Comments: 14 pages, 6 figures
Subjects: Combinatorics (math.CO)

In this paper, we focus on the index ( largest eigenvalue) of the adjacency matrix of connected signed graphs. We give some general results on the index when the corresponding signed graph is perturbed. As applications, we determine the first five largest index among all unbalanced bicyclic graphs on n >= 36 vertices together with the corresponding extremal signed graphs whose index attain these values.

[16]  arXiv:2005.14111 [pdf, other]
Title: Planar Graphs that Need Four Pages
Comments: To be published in Journal of Combinatorial Theory, Series B
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

We show that there are planar graphs that require four pages in any book embedding.

[17]  arXiv:2005.14121 [pdf, other]
Title: Metamour-regular Polyamorous Relationships and Graphs
Subjects: Combinatorics (math.CO)

For non-negative integers $k$, we consider graphs in which every vertex has exactly $k$ vertices at distance $2$. We call such graphs $k$-metamour-regular motivated by the terminology in polyamory: Two vertices of a graph are called metamours if they are different, not adjacent and have a common neighbor, or, equivalently, their distance is $2$.
We provide a generic construction to create $k$-metamour-regular graphs with arbitrary $k$ and show that only $k$-metamour-regular graphs with a certain property cannot be built with this construction. This allows us to derive a complete characterization of $k$-metamour-regular graphs for each $k=0$, $k=1$ and $k=2$. In particular, a connected graph with $n$ vertices is $2$-metamour-regular if and only if $n\ge5$ and the graph is a join of complements of cycles (equivalently every vertex has degree $n-3$), a cycle, or one of 17 exceptional graphs with $n\le8$. Moreover, a characterization of graphs in which every vertex has at most one metamour is acquired. Each characterization is accompanied by an investigation of the corresponding counting sequence of unlabeled graphs. All proofs are of elementary graph-theoretic nature.

Cross-lists for Fri, 29 May 20

[18]  arXiv:2005.13623 (cross-list from cs.IT) [pdf, ps, other]
Title: On two-weight codes
Comments: submitted
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)

We consider $q$-ary block codes with exactly two distances: $d$ and $d+\delta$. Several combinatorial constructions of optimal such codes are given. In the linear case, we prove that under certain conditions the existence of such linear $2$-weight code with $\delta > 1$ implies the following equality of great common divisors: $(d,q) = (\delta,q)$. Upper bounds for the maximum cardinality of such codes are derived by linear programming and from few-distance spherical codes. Tables of lower and upper bounds for small $q = 2,3,4$ and $q\,n < 50$ are presented.

[19]  arXiv:2005.13824 (cross-list from math.PR) [pdf, ps, other]
Title: Poisson limit theorems for the Robinson-Schensted correspondence and for the multi-line Hammersley process
Comments: 21 pages
Subjects: Probability (math.PR); Combinatorics (math.CO)

We consider Robinson-Schensted-Knuth algorithm applied to a random input and study the growth of the bottom rows of the corresponding Young diagrams. We prove multidimensional Poisson limit theorem for the resulting Plancherel growth process. In this way we extend the result of Aldous and Diaconis to more than just one row. This result can be interpreted as convergence of the multi-line Hammersley process to its stationary distribution which is given by a collection of independent Poisson point processes.

[20]  arXiv:2005.13938 (cross-list from cs.DS) [pdf, ps, other]
Title: Computing Subset Transversals in $H$-Free Graphs
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

We study the computational complexity of two well-known graph transversal problems, namely Subset Feedback Vertex Set and Subset Odd Cycle Transversal, by restricting the input to $H$-free graphs, that is, to graphs that do not contain some fixed graph~$H$ as an induced subgraph. By combining known and new results, we determine the computational complexity of both problems on $H$-free graphs for every graph $H$ except when $H=sP_1+P_4$ for some $s\geq 1$. As part of our approach, we introduce the Subset Vertex Cover problem and prove that it is polynomial-time solvable for $(sP_1+P_4)$-free graphs for every $s\geq 1$.

[21]  arXiv:2005.14056 (cross-list from math.PR) [pdf, ps, other]
Title: The $r$-to-$p$ norm of non-negative random matrices: Asymptotic normality and entry-wise bounds
Comments: 53 pages
Subjects: Probability (math.PR); Combinatorics (math.CO)

For an $n\times n$ matrix $A_n$, the $r\to p$ operator norm is defined as
$$\|A_n\|_{r\to p}:= \sup_{\boldsymbol{x}\in \mathbb{R}^n:\|\boldsymbol{x}\|_r\leq 1 } \|A_n\boldsymbol{x}\|_p \qquad \text{for}\quad r,p\geq 1.$$ For different choices of $r$ and $p$, this norm corresponds to key quantities that arise in diverse applications including matrix condition number estimation, clustering of data, and finding oblivious routing schemes in transportation networks. This article considers $r\to p$ norms of symmetric random matrices with nonnegative entries, including adjacency matrices of Erd\H{o}s-R\'enyi random graphs, matrices with positive sub-Gaussian entries, and certain sparse matrices. For $1< p\leq r< \infty$, the asymptotic normality, as $n\to\infty$, of the appropriately centered and scaled norm $\|A_n\|_{r\to p}$ is established. This is also shown to imply, as a corollary, asymptotic normality of the solution to the $\ell_p$ quadratic maximization problem, also known as the $\ell_p$ Grothendieck problem for $p\geq 2$. Furthermore, a sharp $\ell_\infty$-approximation for the unique maximizing vector in the definition of $\|A_n\|_{r\to p}$ is obtained, which may be of independent interest. In fact, the vector approximation result is shown to hold for a broad class of deterministic sequence of matrices having certain asymptotic expansion properties. The results obtained can be viewed as a generalization of the seminal results of F\"{u}redi and Koml\'{o}s (1981) on asymptotic normality of the largest singular value of a class of symmetric random matrices, which corresponds to the special case $r=p=2$ considered here. In the general case with $1< p\leq r < \infty$, the spectral methods are no longer applicable, which requires a new approach, involving a refined convergence analysis of a nonlinear power method and establishing a perturbation bound on the maximizing vector.

Replacements for Fri, 29 May 20

[22]  arXiv:math/0511633 (replaced) [pdf, ps, other]
Title: The combinatorics of frieze patterns and Markoff numbers
Authors: James Propp
Comments: Presented at the 18th International Conference on Formal Power Series and Algebraic Combinatorics. (Revised June 2006: I corrected a mis-statement at the end of section 2, and added reference to recent unpublished work of Hickerson. Revised May 2007: I correct a typo and added a paragraph.) Published as Integers, Volume 20 (2020), article A12; this http URL
Subjects: Combinatorics (math.CO)
[23]  arXiv:1810.09728 (replaced) [pdf, ps, other]
Title: On the tree cover number and the positive semidefinite maximum nullity of a graph
Authors: Chassidy Bozeman
Subjects: Combinatorics (math.CO)
[24]  arXiv:1903.09444 (replaced) [pdf, ps, other]
Title: The perfect 2-colorings of infinite circulant graphs with a continuous set of odd distances
Journal-ref: Siberian \`Electronic Mathematical Reports 17 (2020) pp. 590-603
Subjects: Combinatorics (math.CO)
[25]  arXiv:1911.02100 (replaced) [pdf, ps, other]
Title: Reinterpretating the Middle-Levels Theorem via Natural Enumeration of Ordered Trees
Authors: Italo J. Dejter
Comments: 19 pages, 5 figures, 6 tables. arXiv admin note: substantial text overlap with arXiv:1012.0995
Subjects: Combinatorics (math.CO)
[26]  arXiv:2003.00062 (replaced) [pdf, ps, other]
Title: Toward a Schurification of Parking Function Formulas via bijections with Young Tableaux
Authors: Nancy Wallace
Comments: The notation for the inverse of a permutation was changed, since it was also used for the notation for the inverse of a word, and typos were corrected. (36 pages, 38 figures)
Subjects: Combinatorics (math.CO)
[27]  arXiv:2003.04453 (replaced) [pdf, ps, other]
Title: Ternary codes, biplanes, and the nonexistence of some quasi-symmetric and quasi-3 designs
Comments: 9 pages
Subjects: Combinatorics (math.CO)
[28]  arXiv:2005.05953 (replaced) [pdf, ps, other]
Title: Eulerian representations for real reflection groups
Authors: Sarah Brauner
Comments: 26 pages; added historical references and comments
Subjects: Combinatorics (math.CO); Algebraic Topology (math.AT); Representation Theory (math.RT)
[29]  arXiv:2005.13305 (replaced) [pdf, ps, other]
Title: Generalised dual Seidel switching and Deza graphs with strongly regular children
Comments: 8 pages
Subjects: Combinatorics (math.CO)
[30]  arXiv:1901.06653 (replaced) [pdf, ps, other]
Title: Fast algorithms at low temperatures via Markov chains
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Probability (math.PR)
[31]  arXiv:1905.06293 (replaced) [pdf, other]
Title: Perfect Italian domination on planar and regular graphs
Comments: To appear in Discrete Applied Mathematics
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[32]  arXiv:1911.07083 (replaced) [pdf, ps, other]
Title: Non-trivial higher Massey products in moment-angle complexes
Comments: 36 pages
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO)
[33]  arXiv:2004.14632 (replaced) [pdf, ps, other]
Title: Geometric group testing
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[34]  arXiv:2005.12542 (replaced) [pdf, ps, other]
Title: Applications of Algebraic Combinatorics to Algebraic Geometry
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
[ total of 34 entries: 1-34 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2005, contact, help  (Access key information)