Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The square of every subcubic planar graph without 4-cycles and 5-cycles is 7-choosable
Published
• View Publication
• BIB
The square of a graph $G$, denoted by $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen (2018) and independently, Hartke, Jahanbekam and Thomas (2016) proved that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Recently, Kim and Lian (2024) proved that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6. In this paper, we prove that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph without 4-cycles and 5-cycles, which improves the result of Kim and Lian.
The Rogers-Ramanujan Identities and Cauchy's Identity
Published in SIGMA 21 (2025), 049, 6 pages
• View Publication
• BIB
The Rogers-Ramanujan identities are investigated using the Cauchy identity for Schur functions.
Sums and products in sets of positive density
We develop an analytic approach that draws on tools from Fourier analysis and ergodic theory to study Ramsey-type problems involving sums and products in the integers. Suppose $Q$ denotes a polynomial with integer coefficients. We establish two main results. First, we show that if $Q(1) = 0$, then any set of natural numbers with positive upper logarithmic density contains a pair of the form $\{x + Q(y), xy\}$ for some $x, y \in \mathbb{N} \setminus \{1\}$. Second, we prove that if $Q(0) = 0$, then any set of natural numbers with positive density relative to a new multiplicative notion of density, which arises naturally in the context of such problems, contains $\{x + Q(y), xy\}$ for some $x, y \in \mathbb{N}$.
Computational complexity of covering regular trees
A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph theory but has also found applications in combinatorics and theoretical computer science. In this paper we consider undirected graphs in the most general setting -- graphs may contain multiple edges, loops, and semi-edges. This is in line with recent trends in topological graph theory and mathematical physics.
We advance the study of the computational complexity of the {\sc $H$-Cover} problem, which asks whether an input graph allows a covering projection onto a parameter graph $H$. The quest for a complete characterization started in 1990's. Several results for simple graphs or graphs without semi-edges have been known, the role of semi-edges in the complexity setting has started to be investigated only recently. One of the most general known NP-hardness results states that {\sc $H$}-Cover is NP-complete for every simple connected regular graph of valency greater than two. We complement this result by considering regular graphs $H$ arising from connected acyclic graphs by adding semi-edges. Namely, we prove that any graph obtained by adding semi-edges to the vertices of a tree making it a $d$-regular graph with $d \geq 3$, defines an NP-complete graph covering problem. In line with the so called Strong Dichotomy Conjecture, we prove that the NP-hardness holds even for simple graphs on input.
Linear rank-metric intersecting codes
In this paper we introduce and investigate rank-metric intersecting codes, a new class of linear codes in the rank-metric context, inspired by the well-studied notion of intersecting codes in the Hamming metric. A rank-metric code is said to be intersecting if any two nonzero codewords have supports intersecting non trivially. We explore this class from both a coding-theoretic and geometric perspective, highlighting its relationship with minimal codes, MRD codes, and Hamming-metric intersecting codes. We derive structural properties, sufficient conditions based on minimum distance, and geometric characterizations in terms of 2-spannable $q$-systems. We establish upper and lower bounds on code parameters and show some constructions, which leave a range of unexplored parameters. Finally, we connect rank-intersecting codes to other combinatorial structures such as $(2,1)$-separating systems and frameproof codes.
Study of $p$-Young tableaux, Robinson-Schensted correspondence and the lacunary Cauchy identity of group algebras $KG_{r}$ and $KSG_{r}$
In this paper, we develop the Robinson-Schensted correspondence between the elements of the groups $G_{r}$ $(\mathbb{Z}_{p^{r}}\rtimes \mathbb{Z}^{*}_{p^{r}})$ and $SG_{r}$ $(\mathbb{Z}_{p^{r-1}}\rtimes \mathbb{Z}^{*}_{p^{r}})$, along with a pair of the standard $p$-Young tableaux. This approach differs from the classical method, and ours is based on matrix units arising from orthogonal primitive idempotents computed for every group algebra. Some classical properties of the Robinson-Schensted correspondence are discussed. As a by-product, we also extend the Cauchy identity to our setup, which we refer to as the lacunary Cauchy identity. This study offers new insights into the representation theory of these groups and their combinatorial structures.
Dispersion models on a circle: universal properties and asymptotic results
Consider a sequence of masses $m_0,m_1,...$ arriving uniformly at random at some points $u_0,u_1,...$ on the unit circle $\mathbb{R}/\mathbb{Z}$ (or on $\mathbb{Z}/n\mathbb{Z}$, in the discrete version). Upon arrival, each mass undergoes a relaxation phase during which it is dispersed, possibly also at random. This process can model many physical phenomena, such as the diffusion of liquid in a porous medium. In the discrete case, it can model parking (related to additive coalescence and hashing with linear probing) in which the cars are permitted to follow random displacement policies.
The dispersion policies considered in the paper ensure that at time $k$, after the successive dispersions of $m_0,\cdots,m_{k-1}$, the total covered region has Lebesgue measure $m_0+\cdots+m_{k-1}$. Furthermore, during the dispersion of a given mass, the covered domain increases continuously, except when it merges with another covered connected component (CC).
We show a very general exchangeability property for the sequence of covered CC. Additionally, we demonstrate a universal spacing property between these CC, and a notable general result: if the $(u_i)$ are independent and rotationally invariant, then the number of free (not covered) CC follows a binomial distribution whose parameters depend solely on the number and total mass of arrived particles. Furthermore, conditional on the number of CC, the sizes of the free CC follow a simple Dirichlet distribution in the continuous case, regardless of the dispersion policy considered and the values of the masses. We also characterize the distribution of the occupied space.
In the second part of the paper, we study the total cost associated with these models for various cost models, and establish connections with the additive coalescent. We also provide an asymptotic representation of the limiting covered space as the number of masses goes to infinity.
A tableaux formula for $q$-rook numbers
Published
• View Publication
• BIB
We provide a formula for the Garsia-Remmel $q$-rook numbers as a sum over standard Young tableaux. We connect our formula with the coefficients in $q$-Whittaker expansion of unicellular LLT functions.
Nondegenerate hyperplane covers of the hypercube
Published
• View Publication
• BIB
We consider collections of hyperplanes in $\mathbb{R}^n$ covering all vertices of the $n$-dimensional hypercube $\{0,1\}^n$, which satisfy the following nondegeneracy condition: For every $v\in \{0,1\}^n$ and every $i=1,\dots,n$, we demand that there is a hyperplane $H$ in the collection with $v\in H$ such that the variable $x_i$ appears with a non-zero coefficient in the hyperplane equation describing $H$. We prove that every collection $\mathcal{H}$ of hyperplanes in $\mathbb{R}^n$ covering $\{0,1\}^n$ with this nondegeneracy condition must have size $|\mathcal{H}|\ge n/2$.
This bound is tight up to constant factors. It generalizes a recent result concerning the intensively studied skew covers problem, which asks about the minimum possible size of a hyperplane cover of $\{0,1\}^n$ in which all variables appear with non-zero coefficients in all hyperplane equations.
As an application of our result, we also obtain an essentially tight bound for an old problem about collections of hyperplanes slicing all edges of the $n$-dimensional hypercube, in the case where all of the hyperplanes have bounded integer coefficients.
Improved bound of graph energy in terms of vertex cover number
Let $ G $ be a simple graph with the vertex cover number $ τ$. The energy $ \mathcal{E}(G) $ of $ G $ is the sum of the absolute values of all the adjacency eigenvalues of $ G $. In this article, we establish $ \mathcal{E}(G)\geq 2τ$ for several classes of graphs. The result significantly improves the known result $ \mathcal{E}(G)\geq 2τ-2c$ for many classes of graphs, where $ c $ is the number of odd cycles.
Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility Problem
The NP-complete mutual-visibility (MV) problem currently lacks empirical analysis on its practical behaviour despite theoretical studies. This paper addresses this gap by implementing and evaluating three distinct algorithms -- a direct random heuristic, a hypergraph-based approximation, and a genetic algorithm -- on diverse synthetic graph datasets, including those with analytically known $μ(G)$ values and general graph models. Our results demonstrate that for smaller graphs, the algorithms consistently achieve MV set sizes aligning with theoretical bounds. However, for larger instances, achieved solution sizes notably diverge from theoretical limits; this, combined with the absence of tight bounds, complicates absolute quality assessment. Nevertheless, validation on known optimal graphs showed the Genetic Algorithm and other heuristics empirically performing best among tested methods.
Turán density of tight cycles minus one edge in the $\ell_2$-norm
The $3$-uniform tight $\ell$-cycle minus one edge $C_{\ell}^{3-}$ is the $3$-graph on $\ell$ vertices consisting of $\ell-1$ consecutive triples in the cyclic order. We show that for every integer $\ell \ge 5$ satisfying $\ell\not\equiv 0\pmod3$, every $C_{\ell}^{3-}$-free $3$-graph whose $\ell_2$-norm, that is, the sum of codegree squares, is close to the maximum must be structurally close to the iterative blowup of a single triple. This confirms a conjecture of Balogh--Clemen--Lidický~[Surveys in combinatorics 2022, 21-63] in a stronger form.
On the association scheme of perfect matchings and their designs
Published
• View Publication
• BIB
We investigate generalisations of 1-factorisations and hyperfactorisations of the complete graph $K_{2n}$. We show that they are special subsets of the association scheme obtained from the Gelfand pair $(S_{2n},S_2 \wr S_n)$. This unifies and extends results by Cameron (1976) and gives rise to new existence and non-existence results. Our methods involve working in the group algebra $\mathbb{C}[S_{2n}]$ and using the representation theory of $S_{2n}$.
Cubic torus obstructions of small Betti number
The embeddability of graphs into surfaces has been studied for nearly a century. While the complete set of topological obstructions is known for the sphere and the real projective plane, there are only partial results for the torus. Here we present a theoretical classification of cubic torus obstructions with Betti number at most eight.
Seeing is not believing in limited visibility cops and robbers
We consider the model of limited visibility Cops and Robbers, where the cops can only see within their $l$-neighbourhood. We prove that the number of cops needed to see the robber can be arbitrarily smaller than the number needed to capture the robber, answering an open question from the literature. We then consider how close we can get to seeing the robber when we do not have enough cops, along with a probabilistic interpretation.
Cylindric growth diagrams, walks in simplices, and exclusion processes
Published
• View Publication
• BIB
We establish bijections between three classes of combinatorial objects that have been studied in very different contexts: lattice walks in simplicial regions as introduced by Mortimer--Prellberg, standard cylindric tableaux as introduced by Gessel--Krattenthaler and Postnikov, and sequences of states in the totally asymmetric simple exclusion process. This perspective allows us to translate symmetries from one setting into another, revealing unexpected properties of these objects.
Specifically, we show that a recent bijection of Courtiel, Elvey Price and Marcovici between certain simplicial walks with forward and backward steps is equivalent to a cylindric analogue of the Robinson--Schensted correspondence. Originally defined by Neyman by iterating an insertion operation, we provide an alternative description of this correspondence by introducing a cylindric version of Fomin's growth diagrams. This natural description elucidates the symmetry of the correspondence, and it allows us to interpret the above walks as oscillating cylindric tableaux.
Sums along the edges of bounded degree graphs
Let $G$ be a graph on $n$ vertices and $(H,+)$ be an abelian group. What is the minimum size ${\sf S}_H(G)$ of the set of all sums $A(u)+A(v)$ over all injections $A:V(G)\to H$? In 2012, the first author, Angel, the second author, and Lubetzky proved that, for expander graphs and $H=\mathbb{Z}$, this minimum is at least $Ω(\log n)$, and this bound is tight -- there exists a regular expander $G$ with ${\sf S}_{\mathbb{Z}}(G)=O(\log n)$. We prove that, for every constant $d\geq 3$, the random $d$-regular graph $\mathcal{G}_{n,d}$ has significantly larger sum-sets: with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=Ω(n^{1-2/d})$. In particular, this proves that, for every $\varepsilon>0$, there exists a regular graph with $O(n)$ edges and with sum-sets of size at least $n^{1-\varepsilon}$, for all abelian groups.
The bound ${\sf S}_H(\mathcal{G}_{n,d})=Ω(n^{1-2/d})$ is tight up to a polylogarithmic factor: We show that, for every $3\leq d\leq \ln n/ \ln \ln n$, there exists an abelian group $H$ such that, for every graph $G$ on $n$ vertices with maximum degree at most $d$, ${\sf S}_H(G) \leq n^{1-2/d}(\log n)^{O(1)}$.
We also prove that, for $d\gg\ln^2 n$, with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=n(1-o(1))$ and determine the second-order term, up to a polylogarithmic factor.
Spaces of polygonal triangulations and Monsky polynomials
Published in Discrete and Computational Geometry, vol. 51 no. 1 (2014), pp. 132-160
• View Publication
• BIB
Given a combinatorial triangulation of an $n$-gon, we study (a) the space of all possible drawings in the plane such the edges are straight line segments and the boundary has a fixed shape, and (b) the algebraic variety of possibilities for the areas of the triangles in such drawings. We define a generalized notion of triangulation, and we show that the areas of the triangles in a generalized triangulation $\T$ of a square must satisfy a single irreducible homogeneous polynomial relation $p(\T)$ depending only on the combinatorics of $\T$. The invariant $p(\T)$ is called the \emph{Monsky polynomial}; it captures algebraic, geometric, and combinatorial information about $\T$. We give an algorithm that computes a lower bound on the degree of $p(\T)$, and we present several examples in which the algorithm is used to compute the degree.
Experimenting with Permutation Wordle
Consider a game of permutation wordle in which a player attempts to guess a secret permutation of length $n$ in as few guesses as possible. In each round, the guessing player is told which indices of their guessed permutation are correct. How can we optimize the player's strategy? Samuel Kutin and Lawren Smithline (arXiv:2408.00903) propose a strategy called "cyclic shift" in which all incorrect entries are shifted one index to the right in successive guesses, and they conjecture its optimality. We investigate this conjecture by formalizing what a strategy looks like, performing experimental analysis on inductively constructed strategies, and examining the coefficients of an inductive strategy's generating function.
Quasi-isometric embeddings of Ramanujan complexes
Ramanujan complexes were defined as high dimensional analogues of the optimal expanders, Ramanujan graphs. They were constructed as quotients of the Euclidean building (also called the affine building and the Bruhat-Tits building) of $\mathrm{PGL}_d(\mathbb{F}_p((y)))$ for any prime $p$ by Lubotzky-Samuels-Vishne. We distinguish the Ramanujan complexes up to large-scale geometry. More precisely, we show that if $p$ and $q$ are distinct primes, then the associated Ramanujan complexes do not quasi-isometrically embed into one another. The main tools are the box space rigidity of Khukhro-Valette and the Euclidean building rigidity of Kleiner-Leeb and Fisher-Whyte.