Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Kempe Classes and Almost Bipartite Graphs
Published in Discrete Applied Math. Vol. 357, 15 November 2024, pp. 94-98
• View Publication
• BIB
Let $G$ be a graph and $k$ be a positive integer, and let $Kc(G, k)$ denote the number of Kempe equivalence classes for the $k$-colorings of $G$. In 2006, Mohar noted that $Kc(G, k) = 1$ if $G$ is bipartite. As a generalization, we show that $Kc(G, k) = 1$ if $G$ is formed from a bipartite graph by adding any number of edges less than $\binom{\lceil k/2\rceil}2+\binom{\lfloor k/2\rfloor}2$. We show that our result is tight (up to lower order terms) by constructing, for each $k \geq 8$, a graph $G$ formed from a bipartite graph by adding $(k^2+8k-45+1)/4$ edges such that $Kc(G, k) \geq 2$. This refutes a recent conjecture of Higashitani--Matsumoto.
Distribution and divisibility of the Fourier coefficients of certain Hauptmoduln
Published in Journal of Number Theory 248(2023), 343-367
• View Publication
• BIB
Suppose $j_N(τ)$ and $j_N^{*}(τ)$ are the Hauptmoduln of the congruence subgroup $Γ_0(N)$ and the Fricke group $Γ^{*}_0(N)$, respectively. In [7], the authors predicted that, like Klein's $j$-function, the Fourier coefficients of $j_N(τ)$ and $j_{N}^{*}(τ)$ in some arithmetic progression are both even and odd with density $\frac{1}{2}$. In this article, we can find some arithmetic progression of $n$ where the Fourier coefficients of $j_6(τ)$ (resp. $j_6^{*}(τ)$ and $j_{10}(τ)$) are almost always even. Furthermore, using Hecke eigenforms and Rogers-Ramanujan continued fraction, we obtain infinite families of congruences for $j_6(τ)$, $j_6^{*}(τ)$, $j_{10}(τ),$ and $j_{10}^{*}(τ)$.
Balanced multiple q-zeta values
Published
• View Publication
• BIB
We introduce the balanced multiple q-zeta values. They give a new model for multiple q-zeta values, whose product formula combines the shuffle and stuffle product for multiple zeta values in a natural way. Moreover, the balanced multiple q-zeta values are invariant under a very explicit involution. Thus, all relations among the balanced multiple q-zeta values are conjecturally of a very simple shape. Examples of the balanced multiple q-zeta values are the classical Eisenstein series, and they also contain the combinatorial multiple Eisenstein series. The construction of the balanced multiple q-zeta values is done on the level of generating series. We introduce a general setup relating Hoffman's quasi-shuffle products to explicit symmetries among generating series of words, which gives a clarifying approach to Ecalle's theory of bimoulds. This allows us to obtain an isomorphism between the underlying Hopf algebras of words related to the combinatorial bi-multiple Eisenstein series and the balanced multiple q-zeta values.
Books, Hallways and Social Butterflies: A Note on Sliding Block Puzzles
Published in The Mathematical Intelligencer (2024): 1-14
• View Publication
• BIB
Recall the classical 15-puzzle, consisting of 15 sliding blocks in a $4\times 4$ grid. Famously, the configuration space of this puzzle consists of two connected components, corresponding to the odd and even permutations of the symmetric group $S_{15}$. In 1974, Wilson generalised sliding block puzzles beyond the $4\times 4$ grid to arbitrary graphs (considering $n-1$ sliding blocks on a graph with $n$ vertices), and characterised the graphs for which the corresponding configuration space is connected.
In this work, we extend Wilson's characterisation to sliding block puzzles with an arbitrary number of blocks (potentially leaving more than one empty vertex). For any graph, we determine how many empty vertices are necessary to connect the corresponding configuration space, and more generally we provide an algorithm to determine whether any two configurations are connected. Our work may also be interpreted within the framework of "Friends and Strangers graphs", where empty vertices correspond to "social butterflies" and sliding blocks to "asocial" people.
Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs
Published
• View Publication
• BIB
Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal coloring.It can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral bounds.In other cases, we certify the sharpness numerically.
A Triangle-free, 4-chromatic $\mathbb{Q}^3$ Euclidean Distance Graph Scavenger Hunt!
Published
• View Publication
• BIB
For $d > 0$, define $G(\mathbb{Q}^3, d)$ to be the graph whose set of vertices is the rational space $\mathbb{Q}^3$, where two vertices are adjacent if and only if they are a Euclidean distance $d$ apart. Let $χ(\mathbb{Q}^3, d)$ be the chromatic number of such a graph or, in other words, the minimum number of colors needed to color the points of $\mathbb{Q}^3$ so that no two points at distance $d$ apart receive the same color. An open problem, originally posed by Benda and Perles in the 1970s, asks if there exists $d$ such that $χ(\mathbb{Q}^3, d) = 3$. Through numerous efforts over the years, $χ(\mathbb{Q}^3, d)$ has been determined for many values of $d$, and for all those distances $d$ where $χ(\mathbb{Q}^3, d)$ has not been exactly pinned down, it is known that $χ(\mathbb{Q}^3, d) \in \{3,4\}$. In our work, we detail several search algorithms we have employed to find $4$-chromatic subgraphs of various graphs $G(\mathbb{Q}^3, d)$ whose chromatic number was previously unknown. Ultimately, we conjecture that no $3$-chromatic $G(\mathbb{Q}^3, d)$ exists. Along the way, we pose a few related questions that we feel are of interest in their own right.
An exponential improvement for diagonal Ramsey
Published
• View Publication
• BIB
The Ramsey number $R(k)$ is the minimum $n \in \mathbb{N}$ such that every red-blue colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove that \[ R(k) \leqslant (4 - \varepsilon)^k \] for some constant $\varepsilon > 0$. This is the first exponential improvement over the upper bound of Erdős and Szekeres, proved in 1935.
On ideal vertices of right-angled hyperbolic polyhedra
In this note, we improve Nikulin's inequality in the case of right-angled hyperbolic polyhedra. The new inequality allows to give much shorter proofs of the known dimension bounds. We also improve Nonaka's lower bound on the number of ideal vertices for right-angled hyperbolic polyhedra.
Homogeneous sets in hypergraphs with forbidden order-size pairs
The well-known Erdős-Hajnal conjecture states that for any graph $F$, there exists $ε>0$ such that every $n$-vertex graph $G$ that contains no induced copy of $F$ has a homogeneous set of size at least $n^ε$. We consider a variant of the Erdős-Hajnal problem for hypergraphs where we forbid a family of hypergraphs described by their orders and sizes. For graphs, we observe that if we forbid induced subgraphs on $m$ vertices and $f$ edges for any positive $m$ and $0\leq f \leq \binom{m}{2}$, then we obtain large homogeneous sets. For triple systems, in the first nontrivial case $m=4$, for every $S \subseteq \{0,1,2,3,4\}$, we give bounds on the minimum size of a homogeneous set in a triple system where the number of edges spanned by every four vertices is not in $S$. For all $S$ we determine if the growth rate is polylogarithmic. Several open problems remain.
Rigorous Analytic Combinatorics in Several Variables in SageMath
Published in Séminaire Lotharingiende Combinatoire 89B (2023): Proceedings of the 35th FPSAC Conference, Article #90,12pp
• Search Publication
We introduce the new sage_acsv package for the SageMath computer algebra system, allowing users to rigorously compute asymptotics for a large variety of multivariate sequences with rational generating functions. Using Sage's support for exact computations over the algebraic number field, this package provides the first rigorous implementation of algorithms from the theory of analytic combinatorics in several variables.
A cyclic sieving phenomenon for symplectic tableaux
Published in ECA 4:1 (2024) Article #S2R8
• View Publication
• BIB
We give a cyclic sieving phenomenon for symplectic $λ$-tableaux $SP(λ,2m)$, where $λ$ is a partition of an odd integer $n$ and $gcd(m,p)=1$ for any odd prime $p\leq n$. We use the crystal structure on Kashiwara-Nakashima symplectic tableaux to get a cyclic sieving action as the product $σ$ of simple reflections in the Weyl group. The cyclic sieving polynomial is the $q$-anologue of the hook-content formula for symplectic tableaux. More generally, we give a CSP for symplectic skew tableaux with analogous conditions on the shape and a cyclic group action that rotates tableaux weights in a way motivated by the $σ$-action.
Weighted Ehrhart Theory: Extending Stanley's nonnegativity theorem
Published in Adv. in Math.. {\bf 444} (2024), 109627
• View Publication
• BIB
We generalize R. P. Stanley's celebrated theorem that the $h^\ast$-polynomial of the Ehrhart series of a rational polytope has nonnegative coefficients and is monotone under containment of polytopes. We show that these results continue to hold for weighted Ehrhart series where lattice points are counted with polynomial weights, as long as the weights are homogeneous polynomials decomposable as sums of products of linear forms that are nonnegative on the polytope. We also show nonnegativity of the $h^\ast$-polynomial as a real-valued function for a larger family of weights.
We then target the case when the weight function is the square of a single (arbitrary) linear form. We show stronger results for two-dimensional convex lattice polygons and give concrete examples showing tightness of the hypotheses. As an application, we construct a counterexample to a conjecture by Berg, Jochemko, and Silverstein on Ehrhart tensor polynomials.
A solution to the Erdős-Sárközy-Sós problem on asymptotic Sidon bases of order 3
Published in Compositio Mathematica, Vol. 160, Issue 6, (2024), 1418-1432
• View Publication
• BIB
A set $S\subset \mathbb{N}$ is a Sidon set if all pairwise sums $s_1+s_2$ (for $s_1, s_2\in S$, $s_1\leq s_2$) are distinct. A set $S\subset \mathbb{N}$ is an asymptotic basis of order 3 if every sufficiently large integer $n$ can be written as the sum of three elements of $S$. In 1993, Erdős, Sárközy and Sós asked whether there exists a set $S$ with both properties. We answer this question in the affirmative. Our proof relies on a deep result of Sawin on the $\mathbb{F}_q[t]$-analogue of Montgomery's conjecture for convolutions of the von Mangoldt function.
The length of the longest increasing subsequence of Mallows permutation models with $L^1$ and $L^2$ distances
Introduced by Mallows in statistical ranking theory, Mallows permutation model is a class of non-uniform probability measures on the symmetric group $S_n$ that depend on a distance metric $d(σ,τ)$ on $S_n$ and a scale parameter $β$. Taking the distance metric to be the $L^1$ and $L^2$ distances--which are respectively known as Spearman's footrule and Spearman's rank correlation in the statistics literature--leads to Mallows permutation models with $L^1$ and $L^2$ distances.
In this paper, we study the length of the longest increasing subsequence of random permutations drawn from Mallows permutation models with $L^1$ and $L^2$ distances. For both models and various regimes of the scale parameter $β$, we determine the typical order of magnitude of the length of the longest increasing subsequence and establish a law of large numbers for this length. For Mallows permutation model with the $L^1$ distance, when $β\sim θn^{-1}$ for some fixed $θ>0$, the typical length of the longest increasing subsequence is of order $\sqrt{n}$; when $n^{-1}\ll β\ll 1$, this typical length is of order $n\sqrtβ$. For Mallows permutation model with the $L^2$ distance, when $β\sim θn^{-2}$ for some fixed $θ>0$, the typical length of the longest increasing subsequence is of order $\sqrt{n}$; when $n^{-2}\ll β\ll 1$, this typical length is of order $nβ^{\frac{1}{4}}$.
Graph embeddings with no Hamiltonian extensions
Published in Bulletin of the Institute of Combinatorics and its Applications, vol 99, 2023, pp 52--57
• Search Publication
We show that extending an embedding of a graph $Γ$ in a surface to an embedding of a Hamiltonian supergraph can be blocked by certain planar subgraphs but, for some subdivisions of $Γ$, Hamiltonian extensions must exist.
Large induced subgraphs of random graphs with given degree sequences
Published
• View Publication
• BIB
We study a random graph $G$ with given degree sequence $\boldsymbol{d}$, with the aim of characterising the degree sequence of the subgraph induced on a given set $S$ of vertices. For suitable $\boldsymbol{d}$ and $S$, we show that the degree sequence of the subgraph induced on $S$ is essentially concentrated around a sequence that we can deterministically describe in terms of $\boldsymbol{d}$ and $S$. We then give an application of this result, determining a threshold for when this induced subgraph contains a giant component. We also apply a similar analysis to the case where $S$ is chosen by randomly sampling vertices with some probability $p$, i.e. site percolation, and determine a threshold for the existence of a giant component in this model. We consider the case where the density of the subgraph is either constant or slowly going to $0$ as $n$ goes to infinity, and the degree sequence $\boldsymbol{d}$ of the whole graph satisfies a certain maximum degree condition. Analogously, in the percolation model we consider the cases where either $p$ is a constant or where $p \to 0$ slowly. This is similar to work of Fountoulakis in 2007 and Janson in 2009, but we work directly in the random graph model to avoid the limitations of the configuration model that they used.
Sharp lower bound on the "number of nodal decomposition" of graphs
Urschel introduced a notion of nodal partitioning to prove an upper bound on the number of nodal decomposition of discrete Laplacian eigenvectors. The result is an analogue to the well-known Courant's nodal domain theorem on continuous Laplacian. In this article, using the same notion of partitioning, we discuss the lower bound (or lack thereof) on the number of nodal decomposition of eigenvectors in the class of all graphs with a fixed number of vertices (however large). This can be treated as a discrete analogue to the results of Stern and Lewy in the continuous Laplacian case.
Adjacency Spectrum and Wiener Index of the Essential Ideal Graph of a Finite Commutative Ring $\mathbb{Z}_{n}$
Published
• View Publication
• BIB
Let $R$ be a commutative ring with unity. The essential ideal graph $\mathcal{E}_{R}$ of $R$, is a graph with a vertex set consisting of all nonzero proper ideals of \textit{R} and two vertices $I$ and $K$ are adjacent if and only if $I+ K$ is an essential ideal. In this paper, we study the adjacency spectrum of the essential ideal graph of the finite commutative ring $\mathbb{Z}_{n}$, for $n=\{p^{m}, p^{m_{1}}q^{m_{2}}\}$, where $p,q$ are distinct primes, and $m,m_{1}, m_2\in \mathbb N$. We show that $0$ is an eigenvalue of the adjacency matrix of $\mathcal{E}_{\mathbb{Z}_{n}}$ if and only if either $n= p^2$ or $n$ is not a product of distinct primes. We also determine all the eigenvalues of the adjacency matrix of $\mathcal{E}_{\mathbb{Z}_{n}}$ whenever $n$ is a product of three or four distinct primes. Moreover, we calculate the topological indices, namely the Wiener index and hyper-Wiener index of the essential ideal graph of $\mathbb{Z}_{n}$ for different forms of $n$
Cycle matrices: A combinatorial approach to the set-theoretic solutions of the Quantum Yang-Baxter Equation
An $n\times n$ matrix $M=[m_{ij}]$ with $m_{ij}\in U_n=\{1,2,\ldots,n\}$ will be called a cycle matrix if $(U_n,\cdot)$ is a cycle set, where $i\cdot j=m_{ij}$. We study these matrices in this article. Using these matrices, we give some recipes to construct solutions, which include the multipermutation level $2$ solutions. As an application of these, we construct a multi-permutation solution of level $r$ for all $r\geq 1$. Our method gives alternate proof that the class of permutation groups of solutions contains all finite abelian groups.
On free and nearly free arrangements of conics admitting certain ${\rm ADE}$ singularities
Published in Annali dell'Universita di Ferrara 70: 593 - 606 (2024)
• View Publication
• BIB
The main purpose of this paper is to provide combinatorial constraints on the constructability of free and nearly free arrangements of smooth plane conics admitting certain ${\rm ADE}$ singularites.