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

Combinatorics

New submissions

[ total of 31 entries: 1-31 ]
[ 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 principle
Comments: 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 2020
Subjects: 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 D-finite 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 D-finite 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 poset
Comments: 18 pages, 2 figures
Subjects: 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 non-marginal 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 cycles
Subjects: 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) 1575--1586] 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), 64--72] when }$k=1.$ Moreover, using the Gallai-type 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 non-cospectral vertices
Subjects: 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 non-cospectral 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 6-regular graphs and Feynman periods
Comments: 35 pages
Subjects: Combinatorics (math.CO); Mathematical Physics (math-ph)

We investigate a degree preserving variant of the $\Delta$-Y transformation which replaces a triangle with a new 6-valent 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 6-regular graphs, and when they contain doubled 3-regular 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 Odd-Linked Double Stars
Subjects: 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 permutations
Subjects: 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: Log-Coulomb gases in the projective line of a $p$-field
Authors: Joe Webster
Comments: 15 pages
Subjects: Combinatorics (math.CO); Mathematical Physics (math-ph); Number Theory (math.NT)

This article extends recent results on log-Coulomb 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 log-Coulomb 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 one-component 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 one-component 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 Subdesigns
Subjects: 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 four
Subjects: Combinatorics (math.CO); Group Theory (math.GR)

We characterise the primitive 2-closed 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 1-dimensional affine semilinear group. These are the first known examples of non-regular 2-closed 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 rods
Authors: Signe Lundqvist (1), Klara Stokes (1), Lars-Daniel Öhman (1) ((1) Umeå University, Sweden)
Comments: 29 pages, 12 figures
Subjects: 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 well-known 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 3-uniform 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 horizontal-strip LLT polynomial is determined by its weighted graph
Authors: Foster Tom
Comments: 56 pages
Subjects: Combinatorics (math.CO)

We prove that two horizontal-strip 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 horizontal-strip LLT polynomials and yields a well-defined 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)

Even-hole-free graphs are a graph class of much interest. Foley et al. [Graphs Comb. 36(1): 125-138 (2020)] have recently studied $(4K_1, C_4, C_6)$-free graphs, which form a subclass of even-hole-free graphs. Specifically, Foley et al. have shown an algorithm for coloring these graphs via bounded clique-width 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 minors
Authors: Matthew Wales
Subjects: 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 rings
Subjects: 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 non-commutative 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 algebras
Subjects: 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 psd-minimal polytopes in dimensions two and three
Comments: 20 pages, 6 figures
Subjects: 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 psd-minimal. We prove the existence of an obstruction to complex psd-minimality which is efficiently computable via lattice membership problems. Using this tool, we complete the classification of complex psd-minimal polygons (geometrically as well as combinatorially). In dimension three we exhibit several new examples of complex psd-minimal polytopes and apply our obstruction to rule out many others.

Cross-lists for Mon, 18 Oct 21

[18]  arXiv:2110.08102 (cross-list from cs.IT) [pdf, ps, other]
Title: Linear maximum rank distance codes of exceptional type
Subjects: 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 (cross-list from math.NT) [pdf, ps, other]
Title: A refinement of a result of Andrews and Newman on the sum of minimal excludants
Comments: 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 p
Comments: 26 pages, 24 references; new version: minor corrections
Subjects: 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 Graph
Comments: 9 pages, 2 figures
Subjects: Combinatorics (math.CO)
[22]  arXiv:2007.08499 (replaced) [pdf, ps, other]
Title: Combinatorics of Continuants of Continued Fractions with 3 Limits
Comments: 31 pages, 2 figures
Subjects: 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 subgraphs
Subjects: Combinatorics (math.CO)
[24]  arXiv:2105.04673 (replaced) [pdf, ps, other]
Title: Doubled patterns with reversal are 3-avoidable
Authors: Pascal Ochem
Subjects: 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 Functions
Authors: AJ Bu
Subjects: 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 graph
Authors: Changxin Ding
Subjects: Combinatorics (math.CO)
[27]  arXiv:2005.06458 (replaced) [pdf, ps, other]
Title: Local Banach-space dichotomies and ergodic spaces
Comments: 69 pages. As accepted in the Journal of the European Mathematical Society
Subjects: 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 tacnodes
Comments: 10 pages. Alexandru Dimca joined as a co-author, a substantial revision
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
[29]  arXiv:2109.09167 (replaced) [pdf]
Title: Dirichlet series and series with Stirling numbers
Comments: 14 pages
Subjects: 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 Closure
Subjects: 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 code
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[ total of 31 entries: 1-31 ]
[ 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)