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

Combinatorics

New submissions

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

New submissions for Wed, 26 Feb 20

[1]  arXiv:2002.10503 [pdf, ps, other]
Title: The range of repetition in reduced decompositions
Comments: 12 pages
Subjects: Combinatorics (math.CO)

Given a permutation w, we look at the range of how often a simple reflection s_k appears in reduced decompositions of w. We compute the minimum and give a sharp upper bound on the maximum. That bound is in terms of 321- and 3412-patterns in w, specifically as they relate in value and position to k. We also characterize when that minimum and maximum are equal: when max{w(1),...,w(k)} and min{w(k+1),...,w(n)} do not appear in a 321-pattern together. This refines a previous result that braid moves are equivalent to 321-patterns.

[2]  arXiv:2002.10514 [pdf, ps, other]
Title: On a rearrangement inequality of multiple sequences
Authors: Chai Wah Wu
Comments: 4 pages
Subjects: Combinatorics (math.CO)

The classical rearrangement inequality provides bounds for the sum of products of two sequences under permutations of terms and show that similarly ordered sequences provide the largest value whereas opposite ordered sequences provide the smallest value. This has been generalized to multiple sequences to show that similarly ordered sequences provide the largest value. However, the permutations of the sequences that result in the smallest value is in general not known. We show a variant of the rearrangement inequality for which a lower bound can be obtained and conditions for which this bound is achieved for a sequence of permutations.

[3]  arXiv:2002.10598 [pdf, other]
Title: Formulas in connection with parameters related to convexity of paths on three vertices: caterpillars and unit interval graphs
Comments: 23 pages, 2 figures
Subjects: Combinatorics (math.CO)

We present formulas to compute the P3-geodetic number, the P3-hull number and the percolation time for a caterpillar, in terms of certain sequences associated with it. In addition, we find a connection between the percolation time of a unit interval graph and a parameter involving the diameter of a unit interval graph related to it. Finally, we present a hereditary graph class, defined by forbidden induced subgraphs, such that its percolation time is equal to one.

[4]  arXiv:2002.10694 [pdf, ps, other]
Title: The asymptotic value of energy for random graphs with distance-degree-based weights
Comments: 13 pages
Subjects: Combinatorics (math.CO)

Consider a random graph $G_p=(V, E)$ in the $Erd\ddot{o}s$-$R\acute{e}nyi$ random graph model $G_{n, p}$. For any two vertices $i, j\in V$, denote the distance between $i$ and $j$ in $G$ by $D(i, j)$. Let $f(D(i, j), d_{i}, d_{j})$ be a function symmetric in the variables $d_{i}$ and $d_{j}$ satisfying that $f(D(i, j), (1+o(1))np, (1+o(1))np)=(1+o(1))f(D(i, j), np, np)$. Denote the weighted random graph of $G_p$ by $G_{p}(f)$ in which $ij$ is an edge with the weight $f(D(i, j), d_{i}, d_{j})$ at a probability $p$ and $0$ at a probability $1-p$. The weighted random adjacency matrix of $G_p(f)$ is denoted by $A_p(f)$. In this paper, we prove that for almost all graphs $G_p$ in $G_{n, p}$, the energy of $G_{p}(f)$ is $\{\frac{8}{3\pi}\sqrt{p(1-p)}\cdot|f(1, np, np)-f(2, np, np)|+o(|f(1, np, np)-f(2, np, np)|)+o(|f(2, np, np)|)\}\cdot n^{3/2}$. At last, as corollaries, we give the asymptotic values of energies of a variety of random matrices with weights from distance-based only and mixed with distance-degree-based topological indices of chemical use.\\[3mm] {\bf Keywords:} random graph, graph energy, asymptotic value, chemical indices

[5]  arXiv:2002.10744 [pdf, ps, other]
Title: Generation of Delaney-Dress graphs
Subjects: Combinatorics (math.CO)

We introduce an algorithm for the efficient generation of cubic pregraphs which have a 2-factor in which each component is a quotient of $C_4$. This class of pregraphs is of particular interest, since it corresponds to the class of uncoloured graphs that are the underlying graphs of Delaney-Dress graphs. We also extend the algorithm to generate Delaney-Dress graphs.

[6]  arXiv:2002.10755 [pdf, other]
Title: Coloring triangle-free L-graphs with $O(\log\log n)$ colors
Authors: Bartosz Walczak
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)

It is proved that triangle-free intersection graphs of $n$ L-shapes in the plane have chromatic number $O(\log\log n)$. This improves the previous bound of $O(\log n)$ (McGuinness, 1996) and matches the known lower bound construction (Pawlik et al., 2013).

[7]  arXiv:2002.10859 [pdf, ps, other]
Title: Well-partitioned chordal graphs: obstruction set and disjoint paths
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

We introduce a new subclass of chordal graphs that generalizes split graphs, which we call well-partitioned chordal graphs. Split graphs are graphs that admit a partition of the vertex set into cliques that can be arranged in a star structure, the leaves of which are of size one. Well-partitioned chordal graphs are a generalization of this concept in the following two ways. First, the cliques in the partition can be arranged in a tree structure, and second, each clique is of arbitrary size. We provide a characterization of well-partitioned chordal graphs by forbidden induced subgraphs, and give a polynomial-time algorithm that given any graph, either finds an obstruction, or outputs a partition of its vertex set that asserts that the graph is well-partitioned chordal. We demonstrate the algorithmic use of this graph class by showing that two variants of the problem of finding pairwise disjoint paths between k given pairs of vertices is in FPT parameterized by k on well-partitioned chordal graphs, while on chordal graphs, these problems are only known to be in XP. From the other end, we observe that there are problems that are polynomial-time solvable on split graphs, but become NP-complete on well-partitioned chordal graphs.

[8]  arXiv:2002.10925 [pdf, ps, other]
Title: A new solution to square matrix completion problem
Comments: 9 pages
Subjects: Combinatorics (math.CO)

In this paper we give a novel solution to a classical completion problem for square matrices. This problem was studied by many authors through time, and it is completely solved in [2, 3]. In this paper we relate this classical problem to a purely combinatorial question involving partitions of integers and their majorizations studied in [4]. We show surprising relations in these approaches and as a corollary, we obtain a new combinatorial result on partitions of integers.

[9]  arXiv:2002.10926 [pdf, ps, other]
Title: Graph insertion operads
Comments: 12 pages. Extended abstract of arXiv:1912.06563. To appear in Formal Power Series and Algebraic Combinatorics 2020
Subjects: Combinatorics (math.CO); Quantum Algebra (math.QA)

Using the combinatorial species setting, we propose two new operad structures on multigraphs and on pointed oriented multigraphs. The former can be considered as a canonical operad on multigraphs, directly generalizing the Kontsevich-Willwacher operad, and has many interesting suboperads. The latter is a natural extension of the pre-Lie operad in a sense developed here and related to the multigraph operad. We study some of the finitely generated suboperads of the multigraph operad and establish links between them and the comutative operad and the commutative magmatic operad.

[10]  arXiv:2002.10930 [pdf, ps, other]
Title: Bipartite independence number in graphs with bounded maximum degree
Subjects: Combinatorics (math.CO)

We consider a natural, yet seemingly not much studied, extremal problem in bipartite graphs. A bi-hole of size $t$ in a bipartite graph $G$ is a copy of $K_{t, t}$ in the bipartite complement of $G$. Let $f(n, \Delta)$ be the largest $k$ for which every $n \times n$ bipartite graph with maximum degree $\Delta$ in one of the parts has a bi-hole of size $k$. Determining $f(n, \Delta)$ is thus the bipartite analogue of finding the largest independent set in graphs with a given number of vertices and bounded maximum degree. Our main result determines the asymptotic behavior of $f(n, \Delta)$. More precisely, we show that for large but fixed $\Delta$ and $n$ sufficiently large, $f(n, \Delta) = \Theta(\frac{\log \Delta}{\Delta} n)$. We further address more specific regimes of $\Delta$, especially when $\Delta$ is a small fixed constant. In particular, we determine $f(n, 2)$ exactly and obtain bounds for $f(n, 3)$, though determining the precise value of $f(n, 3)$ is still open.

[11]  arXiv:2002.10942 [pdf, ps, other]
Title: An upper bound of the value of t of the support t-designs of extremal Type III and IV codes
Comments: 27 pages. arXiv admin note: text overlap with arXiv:1311.2122
Subjects: Combinatorics (math.CO)

Let C be an extremal Type III or IV code and D_{w} be the support design of C for a weight w. We introduce the two numbers \delta(C) and s(C): \delta(C) is the largest integer t such that, for all wight, D_{w} is a t-design; s(C) denotes the largest integer t such that there exists a w such that D_{w} is a t-design. In the present paper, we consider the possible values of \delta(C) and s(C).

[12]  arXiv:2002.10956 [pdf, ps, other]
Title: Upper bounds on Kronecker coefficients with few rows
Comments: Long version of the paper "Bounds on Kronecker coefficients via contingency tables"
Subjects: Combinatorics (math.CO); Representation Theory (math.RT)

We present three different upper bounds for Kronecker coefficients $g(\lambda,\mu,\nu)$ in terms of Kostka numbers, contingency tables and Littlewood--Richardson coefficients. We then give various examples, asymptotic applications, and compare them with existing lower bounds.

[13]  arXiv:2002.10980 [pdf, other]
Title: On structures induced by the power sequences of $($\mathbb{Z}/ m\mathbb{Z}$, \cdot)$
Subjects: Combinatorics (math.CO)

In this paper, we explore the structure of $\mathbb{Z}/ m\mathbb{Z}$ in terms of its orbits under modular exponentiation, illustrating this with a sequential power graph that is naturally derived from the orbits by connecting elements of $\mathbb{Z}/ m\mathbb{Z}$ in the orbit order in which they appear.
We find that this graph has a great deal of fascinating algebraic structure. The connected components are composed of orbits that all share at least one element. The vertex sets of the connected components are shown to depend on the factorization of $m$; in fact, the connected components are completely determined by the units of $\mathbb{Z}/ m\mathbb{Z}$, the idempotents of $\mathbb{Z}/ m\mathbb{Z}$ and the square-free divisors of $m$. Both tails and non-tails of the components can be described explicitly and algebraically in terms of these elements of $\mathbb{Z}/ m\mathbb{Z}$. Finally, a lattice of components can be used to show homomorphisms between the non-tails of any two comparable components in the lattice.
This extensive structure is used here to prove an algebraic identity on the roots of an idempotent mod $m$, and may be exploited to prove other identities as well.

[14]  arXiv:2002.11025 [pdf, ps, other]
Title: New bounds for perfect $k$-hashing
Subjects: Combinatorics (math.CO); Information Theory (cs.IT)

Let $C\subseteq \{1,\ldots,k\}^n$ be such that for any $k$ distinct elements of $C$ there exists a coordinate where they all differ simultaneously. Fredman and Koml\'os studied upper and lower bounds on the largest cardinality of such a set $C$, in particular proving that as $n\to\infty$, $|C|\leq \exp(n k!/k^{k-1}+o(n))$. Improvements over this result where first derived by different authors for $k=4$. More recently, Guruswami and Riazanov showed that the coefficient $k!/k^{k-1}$ is certainly not tight for any $k>3$, although they could only determine explicit improvements for $k=5,6$. For larger $k$, their method gives numerical values modulo a conjecture on the maxima of certain polynomials.
In this paper, we first prove their conjecture, completing the explicit computation of an improvement over the Fredman-Koml\'os bound for any $k$. Then, we develop a different method which gives substantial improvements for $k=5,6$.

[15]  arXiv:2002.11048 [pdf, ps, other]
Title: The Threshold Dimension and Irreducible Graphs
Comments: 15 pages, 2 figures
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

Let $G$ be a graph, and let $u$, $v$, and $w$ be vertices of $G$. If the distance between $u$ and $w$ does not equal the distance between $v$ and $w$, then $w$ is said to resolve $u$ and $v$. The metric dimension of $G$, denoted $\beta(G)$, is the cardinality of a smallest set $W$ of vertices such that every pair of vertices of $G$ is resolved by some vertex of $W$. The threshold dimension of $G$, denoted $\tau(G)$, is the minimum metric dimension among all graphs $H$ having $G$ as a spanning subgraph. In other words, the threshold dimension of $G$ is the minimum metric dimension among all graphs obtained from $G$ by adding edges. If $\beta(G) = \tau(G)$, then $G$ is said to be irreducible.
We give two upper bounds for the threshold dimension of a graph, the first in terms of the diameter, and the second in terms of the chromatic number. As a consequence, we show that every planar graph of order $n$ has threshold dimension $O (\log_2 n)$. We show that several infinite families of graphs, known to have metric dimension $3$, are in fact irreducible. Finally, we show that for any integers $n$ and $b$ with $1 \leq b < n$, there is an irreducible graph of order $n$ and metric dimension $b$.

[16]  arXiv:2002.11100 [pdf, ps, other]
Title: Clique minors in graphs with a forbidden subgraph
Comments: 11 pages, 1 figure
Subjects: Combinatorics (math.CO)

The classical Hadwiger conjecture dating back to 1940's states that any graph of chromatic number at least $r$ has the clique of order $r$ as a minor. Hadwiger's conjecture is an example of a well studied class of problems asking how large a clique minor one can guarantee in a graph with certain restrictions. One problem of this type asks what is the largest size of a clique minor in a graph on $n$ vertices of independence number $\alpha(G)$ at most $r$. If true Hadwiger's conjecture would imply the existence of a clique minor of order $n/\alpha(G)$. Results of Kuhn and Osthus and Krivelevich and Sudakov imply that if one assumes in addition that $G$ is $H$-free for some bipartite graph $H$ then one can find a polynomially larger clique minor. This has recently been extended to triangle free graphs by Dvo\v{r}\'ak and Yepremyan, answering a question of Norin. We complete the picture and show that the same is true for arbitrary graph $H$, answering a question of Dvo\v{r}\'ak and Yepremyan. In particular, we show that any $K_s$-free graph has a clique minor of order $c_s(n/\alpha(G))^{1+\frac{1}{10(s-2) }}$, for some constant $c_s$ depending only on $s$. The exponent in this result is tight up to a constant factor in front of the $\frac{1}{s-2}$ term.

Cross-lists for Wed, 26 Feb 20

[17]  arXiv:2002.10498 (cross-list from cs.DM) [pdf, other]
Title: From omnitigs to macrotigs: a linear-time algorithm for safe walks -- common to all closed arc-coverings of a directed graph
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO); Genomics (q-bio.GN)

A partial solution to a problem is called safe if it appears in all solutions to the problem. Motivated by the genome assembly problem in bioinformatics, Tomescu and Medvedev (RECOMB 2016) posed the question of finding the safe walks present in all closed arc-covering walks, and gave a characterization of them (omnitigs). An $O(nm)$-time algorithm enumerating all maximal omnitigs on a directed graph with $n$ nodes and $m$ arcs was given by Cairo et al. (ACM Trans. Algorithms 2019), along with a family of graphs where the total length of maximal omnitigs is $\Theta(nm)$.
In this paper we describe an $O(m)$-time algorithm to identify all maximal omnitigs, thanks to the discovery of a family of walks (macrotigs) with the property that all the non-trivial omnitigs are univocal extensions of subwalks of a macrotig. This has several consequences: (i) A linear output-sensitive algorithm enumerating all maximal omnitigs, that avoids to pay $\Theta(nm)$ when the output is smaller, whose existence was open. (ii) A compact representation of all maximal omnitigs, which allows, e.g., for $O(m)$-time computation of various statistics on them. (iii) A powerful tool for finding safe walks for related covering problems.

[18]  arXiv:2002.10639 (cross-list from math.GR) [pdf, ps, other]
Title: On free products of graphs
Comments: 17 pages
Subjects: Group Theory (math.GR); Combinatorics (math.CO)

We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free product to be as large as possible, and we give sufficient criteria for it to be non-discrete. Finally, we transfer Tits' classification of automorphisms of trees and simplicity criterion to free products of graphs.

[19]  arXiv:2002.10679 (cross-list from cs.DM) [pdf, ps, other]
Title: Feedback game on $3$-chromatic Eulerian triangulations of surfaces
Comments: 11 pages, 7 figures
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

In this paper, we study the feedback game on $3$-chromatic Eulerian triangulations of surfaces. We prove that the winner of the game on every $3$-chromatic Eulerian triangulation of a surface all of whose vertices have degree $0$ modulo $4$ is always fixed. Moreover, we also study the case of $3$-chromatic Eulerian triangulations of surfaces which have at least two vertices whose degrees are $2$ modulo $4$, and in particular, we determine the winner of the game on a concrete class of such graphs, called an octahedral path.

[20]  arXiv:2002.10781 (cross-list from math.PR) [pdf, other]
Title: A law of large numbers for local patterns in plane partitions
Authors: Pierre Lazag
Subjects: Probability (math.PR); Combinatorics (math.CO); Dynamical Systems (math.DS)

In this note, we prove a law of large numbers for local patterns in plane partitions with geometric weight, a model introcued by Okounkov and Reshetikhin. Its proof is based on the determinantal structure of the corresponding point process, wich allows to control the decay of the correlations in a convenient manner.

[21]  arXiv:2002.10808 (cross-list from math.AG) [pdf, other]
Title: Generalizing tropical Kontsevich's formula to multiple cross-ratios
Comments: 32 pages, 15 figures
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)

Kontsevich's formula is a recursion that calculates the number of rational degree $d$ curves in $\mathbb{P}_{\mathbb{C}}^2$ passing through $3d-1$ general positioned points. Kontsevich proved it by considering curves that satisfy extra conditions besides the given point conditions. These crucial extra conditions are two line conditions and a condition called cross-ratio.
This paper addresses the question whether there is a general Kontsevich's formula which holds for more than one cross-ratio. Using tropical geometry, we obtain such a recursive formula. For that we use a correspondence theorem arXiv:1509.07453 that relates the algebro-geometric numbers in question to tropical ones. It turns out that the general tropical Kontsevich's formula we obtain is capable of not only computing the algebro-geometric numbers we are looking for, but also of computing further tropical numbers for which there is no correspondence theorem yet.
We show that our recursive general Kontsevich's formula implies the original Kontsevich's formula and that the initial values are the numbers Kontsevich's fomula provides and purely combinatorial numbers, so-called cross-ratio multiplicities.

[22]  arXiv:2002.10874 (cross-list from math.AG) [pdf, other]
Title: The moduli space of tropical curves with fixed Newton polygon
Comments: 24 pages, 18 figures
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)

Given a lattice polygon, we study the moduli space of all tropical plane curves with that Newton polygon. We determine a formula for the dimension of this space in terms of combinatorial properties of that polygon. We prove that if this polygon is nonhyperelliptic or maximal and hyperelliptic, then this formula matches the dimension of the moduli space of nondegenerate algebraic curves with that given Newton polygon.

Replacements for Wed, 26 Feb 20

[23]  arXiv:1809.01352 (replaced) [pdf, other]
Title: A Completion of the Proof of the Edge-statistics Conjecture
Comments: 52 pages
Journal-ref: Advances in Combinatorics, 2020:4, 52 pp
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[24]  arXiv:1810.05266 (replaced) [pdf, other]
Title: Optimal pebbling number of the square grid
Subjects: Combinatorics (math.CO)
[25]  arXiv:1812.02166 (replaced) [pdf, ps, other]
Title: On unbalanced Boolean functions with best correlation immunity
Authors: Denis S. Krotov, Konstantin V. Vorob'ev (Sobolev Institute of Mathematics, Novosibirsk, Russia)
Comments: v3: final; title changed; revised; OA(512,11,2,6) discussed
Journal-ref: Electron. J. Comb. 21(1) 2020, #P1.45(1-24)
Subjects: Combinatorics (math.CO)
[26]  arXiv:1901.06029 (replaced) [pdf, ps, other]
Title: Polynomial to exponential transition in Ramsey theory
Comments: 27 pages
Subjects: Combinatorics (math.CO)
[27]  arXiv:1903.04910 (replaced) [pdf, other]
Title: On the Highly Connected Dyadic, Near-Regular, and Sixth-Root-of-Unity Matroids
Comments: Version 2 includes a major revision of Section 4, resulting in a significant correction to Theorem 1.1. There are more minor corrections also. 33 pages. SageMath worksheet in ancillary files
Subjects: Combinatorics (math.CO)
[28]  arXiv:2002.08306 (replaced) [pdf, ps, other]
Title: Kolakoski Sequence and Parity of Subwords
Subjects: Combinatorics (math.CO)
[29]  arXiv:1710.05138 (replaced) [pdf, ps, other]
Title: Homogeneous 3-dimensional permutation structures
Authors: Samuel Braunfeld
Comments: 30 pages, Journal version
Journal-ref: The Electronic Journal of Combinatorics, 25(2): P.52, 2018
Subjects: Logic (math.LO); Combinatorics (math.CO)
[30]  arXiv:1807.07110 (replaced) [pdf, ps, other]
Title: The classification of homogeneous finite-dimensional permutation structures
Comments: 18 pages, Journal version
Journal-ref: The Electronic Journal of Combinatorics 27(1): P.38, 2020
Subjects: Logic (math.LO); Combinatorics (math.CO)
[31]  arXiv:1906.05979 (replaced) [pdf, other]
Title: Notes on Biadjoint Amplitudes, ${\rm Trop}\,G(3,7)$ and $X(3,7)$ Scattering Equations
Comments: 13 pages, 1 figure and 6 ancillary files; minor revision
Subjects: High Energy Physics - Theory (hep-th); Combinatorics (math.CO)
[32]  arXiv:1912.08707 (replaced) [pdf, other]
Title: Stringy Canonical Forms
Comments: 57 pages, 12 figures; v2, typos corrected, references added
Subjects: High Energy Physics - Theory (hep-th); Combinatorics (math.CO)
[33]  arXiv:2002.08800 (replaced) [pdf, ps, other]
Title: The poset of nontrivial finitary partitions of $ω$ and its cardinal characteristics
Comments: 4 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[ total of 33 entries: 1-33 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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