Combinatorics
New submissions
[ 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 decompositionsAuthors: Bridget Eileen TennerComments: 12 pagesSubjects: 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 3412patterns 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 321pattern together. This refines a previous result that braid moves are equivalent to 321patterns.
 [2] arXiv:2002.10514 [pdf, ps, other]

Title: On a rearrangement inequality of multiple sequencesAuthors: Chai Wah WuComments: 4 pagesSubjects: 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 graphsComments: 23 pages, 2 figuresSubjects: Combinatorics (math.CO)
We present formulas to compute the P3geodetic number, the P3hull 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 distancedegreebased weightsComments: 13 pagesSubjects: 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 $1p$. 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(1p)}\cdotf(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 distancebased only and mixed with distancedegreebased 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 DelaneyDress graphsAuthors: Nico Van CleemputSubjects: Combinatorics (math.CO)
We introduce an algorithm for the efficient generation of cubic pregraphs which have a 2factor 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 DelaneyDress graphs. We also extend the algorithm to generate DelaneyDress graphs.
 [6] arXiv:2002.10755 [pdf, other]

Title: Coloring trianglefree Lgraphs with $O(\log\log n)$ colorsAuthors: Bartosz WalczakSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)
It is proved that trianglefree intersection graphs of $n$ Lshapes 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: Wellpartitioned chordal graphs: obstruction set and disjoint pathsSubjects: 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 wellpartitioned 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. Wellpartitioned 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 wellpartitioned chordal graphs by forbidden induced subgraphs, and give a polynomialtime algorithm that given any graph, either finds an obstruction, or outputs a partition of its vertex set that asserts that the graph is wellpartitioned 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 wellpartitioned 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 polynomialtime solvable on split graphs, but become NPcomplete on wellpartitioned chordal graphs.
 [8] arXiv:2002.10925 [pdf, ps, other]

Title: A new solution to square matrix completion problemComments: 9 pagesSubjects: 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 operadsComments: 12 pages. Extended abstract of arXiv:1912.06563. To appear in Formal Power Series and Algebraic Combinatorics 2020Subjects: 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 KontsevichWillwacher operad, and has many interesting suboperads. The latter is a natural extension of the preLie 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 degreeSubjects: Combinatorics (math.CO)
We consider a natural, yet seemingly not much studied, extremal problem in bipartite graphs. A bihole 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 bihole 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 tdesigns of extremal Type III and IV codesComments: 27 pages. arXiv admin note: text overlap with arXiv:1311.2122Subjects: 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 tdesign; s(C) denotes the largest integer t such that there exists a w such that D_{w} is a tdesign. 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 rowsComments: 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 LittlewoodRichardson 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 squarefree divisors of $m$. Both tails and nontails 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 nontails 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$hashingSubjects: 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^{k1}+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^{k1}$ 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 FredmanKoml\'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 GraphsComments: 15 pages, 2 figuresSubjects: 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 subgraphComments: 11 pages, 1 figureSubjects: 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(s2) }}$, 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}{s2}$ term.
Crosslists for Wed, 26 Feb 20
 [17] arXiv:2002.10498 (crosslist from cs.DM) [pdf, other]

Title: From omnitigs to macrotigs: a lineartime algorithm for safe walks  common to all closed arccoverings of a directed graphSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO); Genomics (qbio.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 arccovering 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 nontrivial omnitigs are univocal extensions of subwalks of a macrotig. This has several consequences: (i) A linear outputsensitive 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 (crosslist from math.GR) [pdf, ps, other]

Title: On free products of graphsComments: 17 pagesSubjects: 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 vertextransitive 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 nondiscrete. Finally, we transfer Tits' classification of automorphisms of trees and simplicity criterion to free products of graphs.
 [19] arXiv:2002.10679 (crosslist from cs.DM) [pdf, ps, other]

Title: Feedback game on $3$chromatic Eulerian triangulations of surfacesComments: 11 pages, 7 figuresSubjects: 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 (crosslist from math.PR) [pdf, other]

Title: A law of large numbers for local patterns in plane partitionsAuthors: Pierre LazagSubjects: 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 (crosslist from math.AG) [pdf, other]

Title: Generalizing tropical Kontsevich's formula to multiple crossratiosAuthors: Christoph GoldnerComments: 32 pages, 15 figuresSubjects: 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 $3d1$ 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 crossratio.
This paper addresses the question whether there is a general Kontsevich's formula which holds for more than one crossratio. Using tropical geometry, we obtain such a recursive formula. For that we use a correspondence theorem arXiv:1509.07453 that relates the algebrogeometric 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 algebrogeometric 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, socalled crossratio multiplicities.  [22] arXiv:2002.10874 (crosslist from math.AG) [pdf, other]

Title: The moduli space of tropical curves with fixed Newton polygonComments: 24 pages, 18 figuresSubjects: 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 Edgestatistics ConjectureComments: 52 pagesJournalref: Advances in Combinatorics, 2020:4, 52 ppSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
 [24] arXiv:1810.05266 (replaced) [pdf, other]

Title: Optimal pebbling number of the square gridSubjects: Combinatorics (math.CO)
 [25] arXiv:1812.02166 (replaced) [pdf, ps, other]

Title: On unbalanced Boolean functions with best correlation immunityAuthors: Denis S. Krotov, Konstantin V. Vorob'ev (Sobolev Institute of Mathematics, Novosibirsk, Russia)Comments: v3: final; title changed; revised; OA(512,11,2,6) discussedJournalref: Electron. J. Comb. 21(1) 2020, #P1.45(124)Subjects: Combinatorics (math.CO)
 [26] arXiv:1901.06029 (replaced) [pdf, ps, other]

Title: Polynomial to exponential transition in Ramsey theoryComments: 27 pagesSubjects: Combinatorics (math.CO)
 [27] arXiv:1903.04910 (replaced) [pdf, other]

Title: On the Highly Connected Dyadic, NearRegular, and SixthRootofUnity MatroidsComments: 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 filesSubjects: Combinatorics (math.CO)
 [28] arXiv:2002.08306 (replaced) [pdf, ps, other]

Title: Kolakoski Sequence and Parity of SubwordsAuthors: Alessandro Della CorteSubjects: Combinatorics (math.CO)
 [29] arXiv:1710.05138 (replaced) [pdf, ps, other]

Title: Homogeneous 3dimensional permutation structuresAuthors: Samuel BraunfeldComments: 30 pages, Journal versionJournalref: The Electronic Journal of Combinatorics, 25(2): P.52, 2018Subjects: Logic (math.LO); Combinatorics (math.CO)
 [30] arXiv:1807.07110 (replaced) [pdf, ps, other]

Title: The classification of homogeneous finitedimensional permutation structuresComments: 18 pages, Journal versionJournalref: The Electronic Journal of Combinatorics 27(1): P.38, 2020Subjects: 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 EquationsComments: 13 pages, 1 figure and 6 ancillary files; minor revisionSubjects: High Energy Physics  Theory (hepth); Combinatorics (math.CO)
 [32] arXiv:1912.08707 (replaced) [pdf, other]

Title: Stringy Canonical FormsComments: 57 pages, 12 figures; v2, typos corrected, references addedSubjects: High Energy Physics  Theory (hepth); Combinatorics (math.CO)
 [33] arXiv:2002.08800 (replaced) [pdf, ps, other]

Title: The poset of nontrivial finitary partitions of $ω$ and its cardinal characteristicsComments: 4 pagesSubjects: Logic (math.LO); 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, 2002, contact, help (Access key information)