Combinatorics
New submissions
[ 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 configurationsAuthors: Bob LutzComments: 16 pages, 7 figuresSubjects: 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 nstrand braid group of a graph is isomorphic to its discrete analog.
 [2] arXiv:2005.13566 [pdf, ps, other]

Title: GroupGraph Reciprocal PairsAuthors: Kirsty CampbellComments: 8 pagesSubjects: Combinatorics (math.CO)
In a 2018 paper, Cameron and Semeraro posed the problem of finding all groupgraph 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 groupgraph reciprocal pairs.
 [3] arXiv:2005.13608 [pdf, ps, other]

Title: Dominating the direct product of two graphs through total Roman strategiesComments: 16 pagesSubjects: 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 conjectureComments: 10 pagesSubjects: 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 posetsComments: 10 pages, 6 figuresSubjects: 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: Scalefree spanning trees: complexity, bounds and algorithmsSubjects: Combinatorics (math.CO)
We introduce and study the general problem of finding a most "scalefreelike" 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 NPhard, respectively, even in the classes of cubic, bipartite and split graphs. We study the relations between scalefree spanning tree problems and the maxleaf 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 MonoidsAuthors: Mario SanchezComments: 21 pagesSubjects: 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 cancellationfree 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 cancellationfree and groupingfree formula for the antipode of hypergraphs.  [8] arXiv:2005.13727 [pdf, other]

Title: Tropical flag varietiesComments: 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 graphsComments: 19 pages, 4 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
A wellknown 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 minorclosed graph classesSubjects: Combinatorics (math.CO)
For a graph $G$, two dominating sets $D$ and $D'$ in $G$, and a nonnegative 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_{i1}$ 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 nonschurian separable association schemesAuthors: Grigory RyabovComments: 7 pagesSubjects: Combinatorics (math.CO)
An infinite family of nonschurian separable association schemes is constructed.
 [12] arXiv:2005.14031 [pdf, ps, other]

Title: Promotion of Kreweras wordsComments: 36 pages, 13 figuresSubjects: 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 SerguninComments: 12 pagesSubjects: 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 typeComments: 15 pages. Comments welcomeSubjects: Combinatorics (math.CO)
We give an explicit subword complex description of the generators of the type cone of the gvector fan of a finite type cluster algebra with acyclic initial seed. This yields in particular a description of the Newton polytopes of the Fpolynomials 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 graphsComments: 14 pages, 6 figuresSubjects: 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 PagesAuthors: Mihalis YannakakisComments: To be published in Journal of Combinatorial Theory, Series BSubjects: 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: Metamourregular Polyamorous Relationships and GraphsSubjects: Combinatorics (math.CO)
For nonnegative integers $k$, we consider graphs in which every vertex has exactly $k$ vertices at distance $2$. We call such graphs $k$metamourregular 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$metamourregular graphs with arbitrary $k$ and show that only $k$metamourregular graphs with a certain property cannot be built with this construction. This allows us to derive a complete characterization of $k$metamourregular graphs for each $k=0$, $k=1$ and $k=2$. In particular, a connected graph with $n$ vertices is $2$metamourregular if and only if $n\ge5$ and the graph is a join of complements of cycles (equivalently every vertex has degree $n3$), 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 graphtheoretic nature.
Crosslists for Fri, 29 May 20
 [18] arXiv:2005.13623 (crosslist from cs.IT) [pdf, ps, other]

Title: On twoweight codesComments: submittedSubjects: 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 fewdistance spherical codes. Tables of lower and upper bounds for small $q = 2,3,4$ and $q\,n < 50$ are presented.
 [19] arXiv:2005.13824 (crosslist from math.PR) [pdf, ps, other]

Title: Poisson limit theorems for the RobinsonSchensted correspondence and for the multiline Hammersley processComments: 21 pagesSubjects: Probability (math.PR); Combinatorics (math.CO)
We consider RobinsonSchenstedKnuth 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 multiline Hammersley process to its stationary distribution which is given by a collection of independent Poisson point processes.
 [20] arXiv:2005.13938 (crosslist from cs.DS) [pdf, ps, other]

Title: Computing Subset Transversals in $H$Free GraphsSubjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We study the computational complexity of two wellknown 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 polynomialtime solvable for $(sP_1+P_4)$free graphs for every $s\geq 1$.
 [21] arXiv:2005.14056 (crosslist from math.PR) [pdf, ps, other]

Title: The $r$to$p$ norm of nonnegative random matrices: Asymptotic normality and entrywise boundsComments: 53 pagesSubjects: 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}sR\'enyi random graphs, matrices with positive subGaussian 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 numbersAuthors: James ProppComments: Presented at the 18th International Conference on Formal Power Series and Algebraic Combinatorics. (Revised June 2006: I corrected a misstatement 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 URLSubjects: 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 graphAuthors: Chassidy BozemanSubjects: Combinatorics (math.CO)
 [24] arXiv:1903.09444 (replaced) [pdf, ps, other]

Title: The perfect 2colorings of infinite circulant graphs with a continuous set of odd distancesJournalref: Siberian \`Electronic Mathematical Reports 17 (2020) pp. 590603Subjects: Combinatorics (math.CO)
 [25] arXiv:1911.02100 (replaced) [pdf, ps, other]

Title: Reinterpretating the MiddleLevels Theorem via Natural Enumeration of Ordered TreesAuthors: Italo J. DejterComments: 19 pages, 5 figures, 6 tables. arXiv admin note: substantial text overlap with arXiv:1012.0995Subjects: Combinatorics (math.CO)
 [26] arXiv:2003.00062 (replaced) [pdf, ps, other]

Title: Toward a Schurification of Parking Function Formulas via bijections with Young TableauxAuthors: Nancy WallaceComments: 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 quasisymmetric and quasi3 designsComments: 9 pagesSubjects: Combinatorics (math.CO)
 [28] arXiv:2005.05953 (replaced) [pdf, ps, other]

Title: Eulerian representations for real reflection groupsAuthors: Sarah BraunerComments: 26 pages; added historical references and commentsSubjects: 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 childrenComments: 8 pagesSubjects: Combinatorics (math.CO)
 [30] arXiv:1901.06653 (replaced) [pdf, ps, other]

Title: Fast algorithms at low temperatures via Markov chainsAuthors: Zongchen Chen, Andreas Galanis, Leslie Ann Goldberg, Will Perkins, James Stewart, Eric VigodaSubjects: 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 graphsComments: To appear in Discrete Applied MathematicsSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
 [32] arXiv:1911.07083 (replaced) [pdf, ps, other]

Title: Nontrivial higher Massey products in momentangle complexesComments: 36 pagesSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO)
 [33] arXiv:2004.14632 (replaced) [pdf, ps, other]

Title: Geometric group testingSubjects: 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 GeometrySubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
[ 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)