arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84360 papers, 48587 authors in database)
2021-10-28 v3
The Kakeya Set Conjecture for $\mathbb{Z}/N\mathbb{Z}$ for general $N$
Published • View Publication • BIB
We prove the Kakeya set conjecture for $\mathbb{Z}/N\mathbb{Z}$ for general $N$ as stated by Hickman and Wright [HW18]. This entails extending and combining the techniques of Arsovski [Ars21a] for $N=p^k$ and the author and Dvir [DD21] for the case of square-free $N$. We also prove stronger lower bounds for the size of $(m,ε)$-Kakeya sets over $\mathbb{Z}/p^k\mathbb{Z}$ by extending the techniques of [Ars21a] using multiplicities as was done in [SS08, DKSS13]. In addition, we show our bounds are almost sharp by providing a new construction for Kakeya sets over $\mathbb{Z}/p^k\mathbb{Z}$ and $\mathbb{Z}/N\mathbb{Z}$.
2021-10-28
The $h$-polynomial and the rook polynomial of some polyominoes
Published • View Publication • BIB
Let $X$ be a convex polyomino such that its vertex set is a sublattice of $\mathbb{N}^2$. Let $\Bbbk[X]$ be the toric ring (over a field $\Bbbk$) associated to $X$ in the sense of Qureshi, \emph{J. Algebra}, 2012. Write the Hilbert series of $\Bbbk[X]$ as $(1 + h_1 t + h_2 t^2 + \cdots )/(1-t)^{\dim(\Bbbk[X])}$. For $k \in \mathbb{N}$, let $r_k$ be the number of configurations in $X$ with $k$ pairwise non-attacking rooks. We show that $h_2 < r_2$ if $X$ is not a thin polyomino. This partially confirms a conjectured characterization of thin polyominoes by Rinaldo and Romeo, \emph{J. Algebraic Combin.}, 2021.
Broadcasting induced colourings of random recursive trees and preferential attachment trees
Published in Random Structures & Algorithms, 2023 • View Publication • BIB
In this work we consider random two-colourings of random linear preferential attachment trees, which includes random recursive trees, random plane-oriented recursive trees, random binary search trees, and a class of random $d$-ary trees. The random colouring is defined by assigning the root of the tree the colour red or blue with equal probability, and all other vertices are assigned the colour of their parent with probability $p$ and the other colour otherwise. These colourings have been previously studied in other contexts, including Ising models and broadcasting, and can be considered as generalizations of bond percolation. With the help of Pólya urns, we prove limiting distributions, after proper rescalings, for the number of vertices of each colour, the number of monochromatic subtrees of each colour, as well as the number of leaves and fringe subtrees with two-colourings. Using methods from analytic combinatorics, we also provide precise descriptions of the limiting distribution after proper rescaling of the size of the root cluster; the largest monochromatic subtree containing the root. The description of the limiting distributions extends previous work on bond percolation in random preferential attachment trees.
2021-10-28 v4
Growth of bilinear maps II: Bounds and orders
Published in J Algebr Comb 60, 273-293 (2024) • View Publication • BIB
A good range of problems on trees can be described by the following general setting: Given a bilinear map $*:\mathbb R^d\times\mathbb R^d\to\mathbb R^d$ and a vector $s\in\mathbb R^d$, we need to estimate the largest possible absolute value $g(n)$ of an entry over all vectors obtained from applying $n-1$ applications of $*$ to $n$ instances of $s$. When the coefficients of $*$ are nonnegative and the entries of $s$ are positive, the value $g(n)$ is known to follow a growth rate $λ=\lim_{n\to\infty} \sqrt[n]{g(n)}$. In this article, we prove that for such $*$ and $s$ there exist nonnegative numbers $r,r'$ and positive numbers $a,a'$ so that for every $n$, \[ a n^{-r}λ^n\le g(n)\le a' n^{r'}λ^n. \] While proving the upper bound, we actually also provide another approach in proving the limit $λ$ itself. The lower bound is proved by showing a certain form of submultiplicativity for $g(n)$. Corollaries include a lower bound and an upper bound for $λ$, which are followed by a good estimation of $λ$ when we have the value of $g(n)$ for an $n$ large enough.
2021-10-28 v4
On a continuous Sárközy type problem
Published • View Publication • BIB
We prove that there exists a constant $\varepsilon > 0$ with the following property: if $K \subset \mathbb{R}^{2}$ is a compact set which contains no pair of the form $\{x, x + (z, z^{2})\}$ for $z \neq 0$, then $\mathrm{dim}_\mathrm{H} K \leq 2 - \varepsilon$.
2021-10-28 v3
Labeled sample compression schemes for complexes of oriented matroids
Published • View Publication • BIB
We show that the topes of a complex of oriented matroids (abbreviated COM) of VC-dimension $d$ admit a proper labeled sample compression scheme of size $d$. This considerably extends results of Moran and Warmuth on ample classes, of Ben-David and Litman on affine arrangements of hyperplanes, and of the authors on complexes of uniform oriented matroids, and is a step towards the sample compression conjecture -- one of the oldest open problems in computational learning theory. On the one hand, our approach exploits the rich combinatorial cell structure of COMs via oriented matroid theory. On the other hand, viewing tope graphs of COMs as partial cubes creates a fruitful link to metric graph theory.
Scattering Diagrams from Holomorphic Discs in Log Calabi-Yau Surfaces
Published • View Publication • BIB
We construct special Lagrangian fibrations for log Calabi-Yau surfaces, and scattering diagrams from Lagrangian Floer theory of the fibres. Then we prove that the scattering diagrams recover the scattering diagrams of Gross-Pandharipande-Siebert and the canonical scattering diagrams of Gross-Hacking-Keel. With an additional assumption on the non-negativity of boundary divisors, we compute the disc potentials of the Lagrangian torus fibres via a holomorphic/tropical correspondence. As an application, we provide a version of mirror symmetry for rank two cluster varieties.
2021-10-28 v3
A Graph Polynomial from Chromatic Symmetric Functions
Published • View Publication • BIB
This paper describes how many known graph polynomials arise from the coefficients of chromatic symmetric function expansions in different bases, and studies a new polynomial arising by expanding over a basis given by chromatic symmetric functions of trees.
2021-10-28
A New Proof of Sturm's Theorem via Matrix Theory
By the classical Sturm's theorem, the number of distinct real roots of a given real polynomial $f(x)$ within any interval $(a,b]$ can be expressed by the number of variations in the sign of the Sturm chain at the bounds. Through constructing the "Sturm matrix", a symmetric matrix associated with $f(x)$ over $\mathbb R[x]$, variations in the sign of $f(x)$ can be characterized by the negative index of inertia. Therefore, this paper offers a new proof of Sturm's theorem using matrix theory.
2021-10-28 v2
Towards a Combinatorial Model for $q$-weight Multiplicities of Simple Lie Algebras (Extended Abstract)
Kostka-Foulkes polynomials are Lusztig's $q$-analogues of weight multiplicities for irreducible representations of semisimple Lie algebras. It has long been known that these polynomials have non-negative coefficients. A statistic on semistandard Young tableaux with partition content, called \textit{charge}, was used to give a combinatorial formula exhibiting this fact in type $A$. Defining a charge statistic beyond type $A$ has been a long-standing problem. Here, we take a completely new approach based on the definition of Kostka-Foulkes polynomials as an alternating sum over Kostant partitions, which can be thought of as formal sums of positive roots. We use a sign-reversing involution to obtain a positive expansion, in which the relevant statistic is simply the number of parts in the Kostant partitions. The hope is that the simplicity of this new crystal-like model will naturally extend to other classical types.
2021-10-28
Discrepancy of arithmetic progressions in grids
Published • View Publication • BIB
We prove that the the discrepancy of arithmetic progressions in the $d$-dimensional grid $\{1, \dots, N\}^d$ is within a constant factor depending only on $d$ of $N^{\frac{d}{2d+2}}$. This extends the case $d=1$, which is a celebrated result of Roth and of Matoušek and Spencer, and removes the polylogarithmic factor from the previous upper bound of Valkó from about two decades ago. We further prove similarly tight bounds for grids of differing side lengths in many cases.
2021-10-27
Polyhedral realizations for $B(\infty)$ and extended Young diagrams, Young walls of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$, ${\rm D}^{(2)}_{n}$
Published • View Publication • BIB
The crystal bases are quite useful combinatorial tools to study the representations of quantized universal enveloping algebras $U_q(\mathfrak{g})$. The polyhedral realization for $B(\infty)$ is a combinatorial description of the crystal base, which is defined as an image of embedding $Ψ_ι:B(\infty)\hookrightarrow \mathbb{Z}^{\infty}_ι$, where $ι$ is an infinite sequence of indices and $\mathbb{Z}^{\infty}_ι$ is an infinite $\mathbb{Z}$-lattice with a crystal structure associated with $ι$. It is a natural problem to find an explicit form of the polyhedral realization ${\rm Im}(Ψ_ι)$. In this article, supposing that $\mathfrak{g}$ is of affine type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$ and $ι$ satisfies the condition of `adaptedness', we describe ${\rm Im}(Ψ_ι)$ by using several combinatorial objects such as extended Young diagrams and Young walls.
2021-10-27
Divisibility of certain $\ell$-regular partitions by $2$
Published • View Publication • BIB
For a positive integer $\ell$, let $b_{\ell}(n)$ denote the number of $\ell$-regular partitions of a nonnegative integer $n$. Motivated by some recent conjectures of Keith and Zanello, we establish infinite families of congruences modulo $2$ for $b_3(n)$ and $b_{21}(n)$. We prove a specific case of a conjecture of Keith and Zanello on self-similarities of $b_3(n)$ modulo $2$. We next prove that the series $\sum_{n=0}^{\infty}b_9(2n+1)q^n$ is lacunary modulo arbitrary powers of $2$. We also prove that the series $\sum_{n=0}^{\infty}b_9(4n)q^n$ is lacunary modulo $2$.
2021-10-27
Proof of some conjectural congruences of da Silva and Sellers
Published • View Publication • BIB
Let $p_{\{3, 3\}}(n)$ denote the number of $3$-regular partitions in three colours. In a very recent paper, da Silva and Sellers studied certain arithmetic properties of $p_{\{3, 3\}}(n)$. They further conjectured four Ramanujan-like congruences modulo $5$ satisfied by $p_{\{3, 3\}}(n)$. In this article, we confirm the conjectural congruences of da Silva and Sellers using the theory of modular forms.
2021-10-27
Extended Double Covers and Homomorphism Bounds of Signed Graphs
Published in The Electronic Journal of Combinatorics 30(3):P3.31, 2023 • View Publication • BIB
A \emph{signed graph} $(G, σ)$ is a graph $G$ together with an assignment $σ:E(G) \rightarrow \{+,-\}$. The notion of homomorphisms of signed graphs is a relatively new development which allows to strengthen the connection between the theories of minors and colorings of graphs. Following this thread of thoughts, we investigate this connection through the notion of Extended Double Covers of signed graphs, which was recently introduced by Naserasr, Sopena and Zaslavsky. More precisely, we say that a signed graph $(B, π)$ is planar-complete if any planar signed graph $(G, σ)$ which verifies the conditions of a basic no-homomorphism lemma with respect to $(B,π)$ admits a homomorphism to $(B, π)$. Our conjecture then is that: if $(B, π)$ is a connected signed graph with no positive odd closed walk which is planar-complete, then its Extended Double Cover ${\rm EDC}(B,π)$ is also planar-complete. We observe that this conjecture largely extends the Four-Color Theorem and is strongly connected to a number of conjectures in extension of this famous theorem. A given (signed) graph $(B,π)$ \emph{bounds} a class of (signed) graphs if every (signed) graph in the class admits a homomorphism to $(B,π)$. In this work, and in support of our conjecture, we prove it for the subclass of signed $K_4$-minor free graphs. Inspired by this development, we then investigate the problem of finding optimal homomorphism bounds for subclasses of signed $K_4$-minor-free graphs with restrictions on their girth and we present nearly optimal solutions. Our work furthermore leads to the development of weighted signed graphs.
2021-10-27
On the inclusion ideal graph of semigroups
Published • View Publication • BIB
The inclusion ideal graph $\mathcal{I}n(S)$ of a semigroup $S$ is an undirected simple graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if either $I \subset J$ or $J \subset I$. The purpose of this paper is to study algebraic properties of the semigroup $S$ as well as graph theoretic properties of $\mathcal{I}n(S)$. In this paper, we investigate the connectedness of $\mathcal{I}n(S)$. We show that diameter of $\mathcal{I}n(S)$ is at most $3$ if it is connected. We also obtain a necessary and sufficient condition of $S$ such that the clique number of $\mathcal{I}n(S)$ is $n$, where $n$ is the number of minimal left ideals of $S$. Further, various graph invariants of $\mathcal{I}n(S)$ viz. perfectness, planarity, girth etc. are discussed. For a completely simple semigroup $S$, we investigate various properties of $\mathcal{I}n(S)$ including its independence number and matching number. Finally, we obtain the automorphism group of $\mathcal{I}n(S)$.
2021-10-27
Almost periodic functions and an analytical method of solving the number partitioning problem
In the present paper, we study the limit sets of the almost periodic functions $f(x)$. It is interesting that the values $r=\inf|f(x)|$ and $R=\sup|f(x)|$ may be expressed in the exact form. We show that the ring $r\leq |z|\leq R$ is the limit set of the almost periodic function $f(x)$ (under some natural conditions on $f$). The exact expression for $r$ coincides with the well known partition problem formula and gives a new analytical method of solving the corresponding partition problem. Several interesting examples are considered. For instance, in the case of the five numbers, the well-known Karmarkar--Karp algorithm gives the value $m=2$ as the solution of the partition problem in our example, and our method gives the correct answer $m=0.$ The figures presented in Appendix illustrate our results.
2021-10-27
Parametric transformation functions in the Kaprekar routine I
The Kaprekar transformation is uniquely determined by parameters based on differences between symmetric values in the ordered numeric sequence. The parametric analysis of the iteration of the process requires developing Ki functions that provide the parameters of the transformed number. This is the objective of this work. As application examples we use these functions to deduce constants and cycles. But its main utility is to study the algebraic architecture of the transformation trees that we develop in the second part of this work.
2021-10-27 v3
Rainbow cycles for families of matchings
Published in Israel Journal of Mathematics 256 (2023), 1--8 • View Publication • BIB
Given a graph $G$ and a coloring of its edges, a subgraph of $G$ is called rainbow if its edges have distinct colors. The rainbow girth of an edge coloring of G is the minimum length of a rainbow cycle in G. A generalization of the famous Caccetta-Häggkvist conjecture, proposed by the first author, is that if in an coloring of the edge set of an $n$-vertex graph by $n$ colors, in which each color class is of size $k$, the rainbow girth is at most $\lceil \frac{n}{k} \rceil$. In the known examples for sharpness of this conjecture the color classes are stars, suggesting that when the color classes are matchings, the result may be improved. We show that the rainbow girth of $n$ matchings of size at least 2 is $O(\log n)$.
2021-10-27
On radiuses of convergence of q-metallic numbers and related q-rational numbers
Published in Research in Number Theory, 8(3), Sep, 2022 • View Publication • BIB
The q-rational numbers and the q-irrational numbers are introduced by S. Morier-Genoud and V. Ovsienko. In this paper, we focus on q-real quadratic irrational numbers, especially q-metallic numbers and q-rational sequences which converge to q-metallic numbers, and consider the radiuses of convergence of them when we assume that q is a complex number. We construct two sequences given by recurrence formula as a generalization of the q-deformation of Fibonacci numbers and Pell numbers which are introduced by S. Morier-Genoud and V. Ovsienko. We give an estimation of radiuses of convergence of them, and we solve on conjecture of the lower bound expected which is introduced by L. Leclere, S. Morier-Genoud, V. Ovsienko, and A. Veselov for the metallic numbers and its convergence rational sequence. In addition, we obtain a relationship between the radius of convergence of the [n,n,...,n,...]_q and [n,n,...,n]_q in the case of n=3 and n=4.