Combinatorics
New submissions
[ showing up to 1000 entries per page: fewer  more ]
New submissions for Mon, 18 Oct 21
 [1] arXiv:2110.07633 [pdf, other]

Title: Walks avoiding a quadrant and the reflection principleComments: 48 pages, 6 figures, 6 tables; full version of the extended abstract arXiv:2109.14307 that appeared in the proceedings of the Analysis of Algorithms Conference 2020Subjects: Combinatorics (math.CO)
We continue the enumeration of plane lattice walks with small steps avoiding the negative quadrant, initiated by the first author in 2016. We solve in detail a new case, namely the king model where all eight nearest neighbour steps are allowed. The associated generating function is proved to be the sum of a simple, explicit Dfinite series (related to the number of walks confined to the first quadrant), and an algebraic one. This was already the case for the two models solved by the first author in 2016. The principle of the approach is also the same, but challenging theoretical and computational difficulties arise as we now handle algebraic series of larger degree.
We expect a similar algebraicity phenomenon to hold for the seven Weyl step sets, which are those for which walks confined to the first quadrant can be counted using the reflection principle. With this paper, this is now proved for three of them. For the remaining four, we predict the Dfinite part of the solution, and in three of the four cases, give evidence for the algebraicity of the remaining part.  [2] arXiv:2110.07648 [pdf, other]

Title: Poset Ramsey numbers: large Boolean lattice versus a fixed posetComments: 18 pages, 2 figuresSubjects: Combinatorics (math.CO)
Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f: P\rightarrow P'$ and for any $X, Y\in P$, $X\leq _P Y$ if and only of $f(X)\leq_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements. We focus on a poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$dimensional Boolean lattice $Q_n$, as $n$ grows large. We show a sharp jump in behaviour of this number as a function of $n$ depending on whether or not $P$ contains a copy of either a poset $V$, i.e. a poset on elements $A, B, C$ such that $B>C$, $A>C$, and $A$ and $B$ incomparable, or a poset $\Lambda$, its symmetric counterpart. Specifically, we prove that if $P$ contains a copy of $V$ or $\Lambda$ then $R(P, Q_n) \geq n +\frac{1}{15} \frac{n}{\log n}$. Otherwise $R(P, Q_n) \leq n + c(P)$ for a constant $c(P)$. This gives the first nonmarginal improvement of a lower bound on poset Ramsey numbers and as a consequence gives $R(Q_2, Q_n) = n + \Theta (\frac{n}{\log n})$.
 [3] arXiv:2110.07709 [pdf, ps, other]

Title: Roman domination in graphs with minimum degree at least two and some forbidden cyclesSubjects: Combinatorics (math.CO)
Let $G=(V,E)$ be a graph of order $n$ and let $\gamma _{R}(G)$ and $\partial (G)$ denote the Roman domination number and the differential of $G,$ respectively. In this paper we prove that for any integer $k\geq 0$, if $G$ is a graph of order $n\geq 6k+9$, minimum degree $\delta \geq 2,$ which does not contain any induced $\{C_{5},C_{8},\ldots ,C_{3k+2}\}$% cycles, then $\gamma _{R}(G)\leq \frac{(4k+8)n}{6k+11}$. This bound is an improvement of the bounds given in [E.W. Chambers, B. Kinnersley, N. Prince, and D.B. West, Extremal problems for Roman domination, SIAM J. Discrete Math. 23 (2009) 15751586] when $k=0,$ {and [S. Bermudo, On the differential and Roman domination number of a graph with minimum degree two, Discrete Appl. Math. 232 (2017), 6472] when }$k=1.$ Moreover, using the Gallaitype result involving the Roman domination number and the differential of graphs established by Bermudo et al. stating that $\gamma _{R}(G)+\partial (G)=n$, we have $\partial (G)\geq \frac{(2k+3)n}{6k+11},$ thereby settling the conjecture of Bermudo posed in the second paper.
 [4] arXiv:2110.07762 [pdf, ps, other]

Title: Fractional revival on noncospectral verticesSubjects: Combinatorics (math.CO)
Perfect state transfer and fractional revival can be used to move information between pairs of vertices in a quantum network. While perfect state transfer has received a lot of attention, fractional revival is newer and less studied. One problem is to determine the differences between perfect state transfer and fractional revival. If perfect state transfer occurs between two vertices in a graph, the vertices must be cospectral. Further if there is perfect state transfer between vertices $a$ and $b$ in a graph, there cannot be perfect state transfer from $a$ to any other vertex. No examples of unweighted graphs with fractional revival between noncospectral vertices were known; here we give an infinite family of such graphs. No examples of unweighted graphs where the pairs involved in fractional revival overlapped were known; we give examples of such graphs as well.
 [5] arXiv:2110.07764 [pdf, other]

Title: A degree preserving delta wye transformation with applications to 6regular graphs and Feynman periodsComments: 35 pagesSubjects: Combinatorics (math.CO); Mathematical Physics (mathph)
We investigate a degree preserving variant of the $\Delta$Y transformation which replaces a triangle with a new 6valent vertex which has double edges to the vertices that had been in the triangle. This operation is relevant for understanding scalar Feynman integrals in 6 dimensions. We study the structure of equivalence classes under this operation and its inverse, with particular attention to when the equivalence classes are finite, when they contain simple 6regular graphs, and when they contain doubled 3regular graphs. The last of these, in particular, is relevant for the Feynman integral calculations and we make some observations linking the structure of these classes to the Feynman periods.
 [6] arXiv:2110.07779 [pdf, ps, other]

Title: On the Ramsey Numbers of OddLinked Double StarsSubjects: Combinatorics (math.CO)
The linked double star $S_c(n,m)$, where $n \geq m \geq 0$, is the graph consisting of the union of two stars $K_{1,n}$ and $K_{1,m}$ with a path on $c$ vertices joining the centers. Its ramsey number $r(S_c(n,m))$ is the smallest integer $r$ such that every $2$coloring of the edges of a $K_r$ admits a monochromatic $S_c(n,m)$. In this paper, we study the ramsey numbers of linked double stars when $c$ is odd. In particular, we establish bounds on the value of $r(S_c(n,m))$ and determine the exact value of $r(S_c(n,m))$ if $n \geq c$, or if $n \leq \lfloor \frac{c}{2} \rfloor  2$ and $m = 2$.
 [7] arXiv:2110.07784 [pdf, ps, other]

Title: Subregularity in infinitely labeled generating trees of restricted permutationsSubjects: Combinatorics (math.CO)
In this paper, we revisit the application of generating trees to the pattern avoidance problem for permutations. In particular, we study this problem for certain general sets of patterns and propose a new procedure leveraging the FinLabel algorithm and exploiting the subregularities in the associated generating trees. We consider some general kinds of generating trees for which the FinLabel algorithm fails to determine in a finite number of iterations the generating function that enumerates the underlying class of permutations. Our procedure provides a unified approach in these cases leading to a system of equations satisfied by a certain finite set of generating functions which can be readily solved with the aid of programming.
 [8] arXiv:2110.07854 [pdf, ps, other]

Title: LogCoulomb gases in the projective line of a $p$fieldAuthors: Joe WebsterComments: 15 pagesSubjects: Combinatorics (math.CO); Mathematical Physics (mathph); Number Theory (math.NT)
This article extends recent results on logCoulomb gases in a $p$field $K$ (i.e., a nonarchimedean local field) to those in its projective line $\mathbb{P}^1(K)$, where the latter is endowed with the $PGL_2$invariant Borel probability measure and spherical metric. Our first main result is an explicit combinatorial formula for the canonical partition function of logCoulomb gases in $\mathbb{P}^1(K)$ with arbitrary charge values. Our second main result is called the "$(q+1)$th Power Law", which relates the grand canonical partition functions for onecomponent gases in $\mathbb{P}^1(K)$ (where all particles have charge 1) to those in the open and closed unit balls of $K$ in a simple way. The final result is a quadratic recurrence for the canonical partition functions for onecomponent gases in both unit balls of $K$ and in $\mathbb{P}^1(K)$. In addition to efficient computation of the canonical partition functions, the recurrence provides their "$q\to 1$" limits and "$q\mapsto q^{1}$" functional equations.
 [9] arXiv:2110.07874 [pdf, ps, other]

Title: An Update on the Existence of Kirkman Triple Systems with SubdesignsSubjects: Combinatorics (math.CO)
A Kirkman triple system of order $v$, KTS$(v)$, is a resolvable Steiner triple system on $v$ elements. In this paper, we investigate an open problem posed by Doug Stinson, namely the existence of KTS$(v)$ which contain as a subdesign a Steiner triple system of order $u$, an STS$(u)$. We present several different constructions for designs of this form. As a consequence, we completely settle the extremal case $v=2u+1$, for which a list of possible exceptions had remained for close to 30 years. Our new constructions also provide the first infinite classes for the more general problem. We reduce the other maximal case $v=2u+3$ to now three possible exceptions. In addition, we obtain results for other cases of the form $v=2u+w$ and also near $v=3u$. Our primary method introduces a new type of Kirkman frame which contains group divisible design subsystems. These subsystems can occur with different configurations, and we use two different varieties in our constructions.
 [10] arXiv:2110.07896 [pdf, ps, other]

Title: On primitive $2$closed permutation groups of rank at most fourSubjects: Combinatorics (math.CO); Group Theory (math.GR)
We characterise the primitive 2closed groups $G$ of rank at most four that are not the automorphism group of a graph or digraph and show that if the degree is at least 2402 then there are just two infinite families or $G\leqslant \mathrm{A}\Gamma\mathrm{L}_1(p^d)$, the 1dimensional affine semilinear group. These are the first known examples of nonregular 2closed groups that are not the automorphism group of a graph or digraph.
 [11] arXiv:2110.07972 [pdf, other]

Title: Exploring the infinitesimal rigidity of planar configurations of points and rodsComments: 29 pages, 12 figuresSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
This article is concerned with the rigidity properties of geometric realizations of incidence geometries of rank two as points and lines in the Euclidean plane; we care about the distance being preserved among collinear points. We discuss the rigidity properties of geometric realizations of incidence geometries in relation to the rigidity of geometric realizations of other wellknown structures, such as graphs and hypergraphs.The $2$plane matroid is also discussed.
Further, we extend a result of Whiteley to determine necessary conditions for an incidence geometry of points and lines with exactly three points on each line, or 3uniform hypergraphs, to have a minimally rigid realization as points and lines in the plane. We also give examples to show that these conditions are not sufficient.
Finally, we examine the rigidity properties of $v_k$configurations. We provide several examples of rigid $v_3$configurations, and families of flexible geometric $v_3$configurations. The exposition of the material is supported by many figures.  [12] arXiv:2110.07984 [pdf, ps, other]

Title: A horizontalstrip LLT polynomial is determined by its weighted graphAuthors: Foster TomComments: 56 pagesSubjects: Combinatorics (math.CO)
We prove that two horizontalstrip LLT polynomials are equal if the associated weighted graphs defined by the author in a previous paper are isomorphic. This provides a sufficient condition for equality of horizontalstrip LLT polynomials and yields a welldefined LLT polynomial indexed by a weighted graph. We use this to prove some new relations between LLT polynomials and we explore a connection with extended chromatic symmetric functions.
 [13] arXiv:2110.08004 [pdf, ps, other]

Title: A Note on Coloring $(4K_1, C_4, C_6)$free graphs with a $C_7$Authors: Martin KouteckýSubjects: Combinatorics (math.CO)
Evenholefree graphs are a graph class of much interest. Foley et al. [Graphs Comb. 36(1): 125138 (2020)] have recently studied $(4K_1, C_4, C_6)$free graphs, which form a subclass of evenholefree graphs. Specifically, Foley et al. have shown an algorithm for coloring these graphs via bounded cliquewidth if they contain a $C_7$. In this note, we give a simpler and much faster algorithm via a more restrictive graph parameter, neighborhood diversity.
 [14] arXiv:2110.08008 [pdf, ps, other]

Title: The extremal function for structured sparse minorsAuthors: Matthew WalesSubjects: Combinatorics (math.CO)
Let $c(H)$ be the smallest value for which $e(G)/G\geq c(H)$ implies $H$ is a minor of $G$. We show a new upper bound on $c(H)$, which improves previous bounds for graphs with a vertex partition where some pairs of parts have many more edges than others  for instance a complete bipartite graph with a small number of edges placed inside one class. We also show a tight matching lower bound for almost all such graphs. We apply these results to show $c(K_{ft/\log t,t}) = (0.638\dotsc+o_{f}(1))t\sqrt{f}$, for $f = o(\log t) = \omega(1)$.
 [15] arXiv:2110.08052 [pdf, ps, other]

Title: Dynamical IP$^{\star}$sets in weak ringsSubjects: Combinatorics (math.CO)
V. Bergelson and N. Hindman proved that IP$^{\star}$ sets contain all possible finite sums and products of a sum subsystem of any sequence in $\mathbb{N}$. In a recent work the second author of this article has proved that a stronger result holds for dynamical IP$^{\star}$ sets. In this article we will establish a noncommutative version of this result. We will prove that a richer configuration is contained in dynamical IP$^{\star}$ sets in weak rings.
 [16] arXiv:2110.08157 [pdf, ps, other]

Title: Cluster scattering diagrams and theta functions for reciprocal generalized cluster algebrasSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Quantum Algebra (math.QA); Representation Theory (math.RT)
We give a construction of generalized cluster varieties and generalized cluster scattering diagrams for reciprocal generalized cluster algebras, the latter of which were defined by Chekhov and Shapiro. These constructions are analogous to the structures given for ordinary cluster algebras in the work of Gross, Hacking, Keel, and Kontsevich. As a consequence of these constructions, we are also able to construct theta functions for generalized cluster algebras, again in the reciprocal case, and demonstrate a number of their structural properties.
 [17] arXiv:2110.08158 [pdf, ps, other]

Title: Complex psdminimal polytopes in dimensions two and threeComments: 20 pages, 6 figuresSubjects: Combinatorics (math.CO); Optimization and Control (math.OC)
The extension complexity of a polytope measures its amenability to succinct representations via lifts. There are several versions of extension complexity, including linear, real semidefinite, and complex semidefinite. We focus on the last of these, for which the least is known, and in particular on understanding which polytopes are complex psdminimal. We prove the existence of an obstruction to complex psdminimality which is efficiently computable via lattice membership problems. Using this tool, we complete the classification of complex psdminimal polygons (geometrically as well as combinatorially). In dimension three we exhibit several new examples of complex psdminimal polytopes and apply our obstruction to rule out many others.
Crosslists for Mon, 18 Oct 21
 [18] arXiv:2110.08102 (crosslist from cs.IT) [pdf, ps, other]

Title: Linear maximum rank distance codes of exceptional typeSubjects: Information Theory (cs.IT); Combinatorics (math.CO)
Scattered polynomials of a given index over finite fields are intriguing rare objects with many connections within mathematics. Of particular interest are the exceptional ones, as defined in 2018 by the first author and Zhou, for which partial classification results are known. In this paper we propose a unified algebraic description of $\mathbb{F}_{q^n}$linear maximum rank distance codes, introducing the notion of exceptional linear maximum rank distance codes of a given index. Such a connection naturally extends the notion of exceptionality for a scattered polynomial in the rank metric framework and provides a generalization of Moore sets in the monomial MRD context. We move towards the classification of exceptional linear MRD codes, by showing that the ones of index zero are generalized Gabidulin codes and proving that in the positive index case the code contains an exceptional scattered polynomial of the same index.
 [19] arXiv:2110.08108 (crosslist from math.NT) [pdf, ps, other]

Title: A refinement of a result of Andrews and Newman on the sum of minimal excludantsComments: 14 pages, Comments are welcome!Subjects: Number Theory (math.NT); Combinatorics (math.CO)
We find an interesting refinement of a result due to Andrews and Newman, that is, the sum of minimal excludants over all the partitions of a number $n$ equals the number of distinct parts partitions of $n$ into two colors. In addition, we also study $k^{th}$ moments of minimal excludants by means of generalizing the aforementioned result. At the end, we also provide an alternate proof of a beautiful identity due to Hopkins, Sellers and Stanton.
Replacements for Mon, 18 Oct 21
 [20] arXiv:2001.03471 (replaced) [pdf, ps, other]

Title: Powers of two weighted sum of the first p divided Bernoulli numbers modulo pAuthors: Claire LevaillantComments: 26 pages, 24 references; new version: minor correctionsSubjects: Combinatorics (math.CO); Number Theory (math.NT)
 [21] arXiv:2004.09207 (replaced) [pdf, ps, other]

Title: The Maximum Number of Paths of Length Four in a Planar GraphAuthors: Debarun Ghosh, Ervin Győri, Ryan R. Martin, Addisu Paulos, Nika Salia, Chuanqi Xiao, Oscar ZamoraComments: 9 pages, 2 figuresSubjects: Combinatorics (math.CO)
 [22] arXiv:2007.08499 (replaced) [pdf, ps, other]

Title: Combinatorics of Continuants of Continued Fractions with 3 LimitsComments: 31 pages, 2 figuresSubjects: Combinatorics (math.CO)
 [23] arXiv:2012.03686 (replaced) [pdf, other]

Title: Degeneracy of $P_t$free and $C_{\geq t}$free graphs with no large complete bipartite subgraphsAuthors: Marthe Bonamy, Nicolas Bousquet, Michał Pilipczuk, Paweł Rzążewski, Stéphan Thomassé, Bartosz WalczakSubjects: Combinatorics (math.CO)
 [24] arXiv:2105.04673 (replaced) [pdf, ps, other]

Title: Doubled patterns with reversal are 3avoidableAuthors: Pascal OchemSubjects: Combinatorics (math.CO)
 [25] arXiv:2105.05292 (replaced) [pdf, ps, other]

Title: A Combinatorial Approach to the Groebner Bases for Ideals Generated by Elementary Symmetric FunctionsAuthors: AJ BuSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
 [26] arXiv:2109.01930 (replaced) [pdf, ps, other]

Title: Geometric bijections between spanning subgraphs and orientations of a graphAuthors: Changxin DingSubjects: Combinatorics (math.CO)
 [27] arXiv:2005.06458 (replaced) [pdf, ps, other]

Title: Local Banachspace dichotomies and ergodic spacesComments: 69 pages. As accepted in the Journal of the European Mathematical SocietySubjects: Functional Analysis (math.FA); Combinatorics (math.CO); Logic (math.LO)
 [28] arXiv:2108.04004 (replaced) [pdf, ps, other]

Title: On plane conic arrangements with nodes and tacnodesComments: 10 pages. Alexandru Dimca joined as a coauthor, a substantial revisionSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
 [29] arXiv:2109.09167 (replaced) [pdf]

Title: Dirichlet series and series with Stirling numbersAuthors: Khristo N. BoyadzhievComments: 14 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
 [30] arXiv:2110.04344 (replaced) [pdf, other]

Title: On Polytopes with Linear Rank with respect to Generalizations of the Split ClosureSubjects: Optimization and Control (math.OC); Combinatorics (math.CO)
 [31] arXiv:2110.07421 (replaced) [pdf, ps, other]

Title: On some batch code properties of the simplex codeSubjects: Information Theory (cs.IT); Combinatorics (math.CO)
[ showing up to 1000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2110, contact, help (Access key information)