Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The least distance eigenvalue of the complements of graphs of diameter greater than three
Suppose $G$ is a connected simple graph with the vertex set $V( G ) = \{ v_1,v_2,\cdots ,v_n \} $. Let $d_G( v_i,v_j ) $ be the least distance between $v_i$ and $v_j$ in $G$. Then the distance matrix of $G$ is $D( G ) =( d_{ij} ) _{n\times n}$, where $d_{ij}=d_G( v_i,v_j ) $. Since $D( G )$ is a non-negative real symmetric matrix, its eigenvalues can be arranged as $λ_1(G)\ge λ_2(G)\ge \cdots \ge λ_n(G)$, where eigenvalue $λ_n(G)$ is called the least distance eigenvalue of $G$. In this paper we determine the unique graph whose least distance eigenvalue attains maximum among all complements of graphs of diameter greater than three.
Identifying contact graphs of sphere packings with generic radii
Ozkan et al. conjectured that any packing of $n$ spheres with generic radii will be stress-free, and hence will have at most $3n-6$ contacts. In this paper we prove that this conjecture is true for any sphere packing with contact graph of the form $G \oplus K_2$, i.e., the graph formed by connecting every vertex in a graph $G$ to every vertex in the complete graph with two vertices. We also prove the converse of the conjecture holds in this special case: specifically, a graph $G \oplus K_2$ is the contact graph of a generic radii sphere packing if and only if $G$ is a penny graph with no cycles.
Neighborhood complexity of planar graphs
Published in Combinatorica, 44:1115--1148, 2024
• View Publication
• BIB
Reidl, Sánchez Villaamil, and Stravopoulos (2019) characterized graph classes of bounded expansion as follows: A class $\mathcal{C}$ closed under subgraphs has bounded expansion if and only if there exists a function $f:\mathbb{N} \to \mathbb{N}$ such that for every graph $G \in \mathcal{C}$, every nonempty subset $A$ of vertices in $G$ and every nonnegative integer $r$, the number of distinct intersections between $A$ and a ball of radius $r$ in $G$ is at most $f(r) |A|$. When $\mathcal{C}$ has bounded expansion, the function $f(r)$ coming from existing proofs is typically exponential. In the special case of planar graphs, it was conjectured by Sokołowski (2021) that $f(r)$ could be taken to be a polynomial.
In this paper, we prove this conjecture: For every nonempty subset $A$ of vertices in a planar graph $G$ and every nonnegative integer $r$, the number of distinct intersections between $A$ and a ball of radius $r$ in $G$ is $O(r^4 |A|)$. We also show that a polynomial bound holds more generally for every proper minor-closed class of graphs.
Periodic oscillations of coefficients of power series that satisfy functional equations, a practical revision
For the solutions $Φ(z)$ of functional equations $Φ(z)=P(z)+Φ(Q(z))$, we derive a complete asymptotic of power series coefficients. As an application, we improve significantly an asymptotic of the number of $2,3$-trees with $n$ leaves given in Adv. Math. 44:180-205, 1982 by Andrew M. Odlyzko. The methods we consider can be applied to more general functional equations too.
Reflexive polytopes and discrete polymatroids
Published
• View Publication
• BIB
A classification of discrete polymatroids whose independence polytopes are reflexive will be presented.
Descent distribution on Catalan words avoiding ordered pairs of Relations
Published
• View Publication
• BIB
This work is a continuation of some recent articles presenting enumerative results for Catalan words avoiding one or a pair of consecutive or classical patterns of length $3$. More precisely, we provide systematically the bivariate generating function for the number of Catalan words avoiding a given pair of relations with respect to the length and the number of descents. We also present several constructive bijections preserving the number of descents. As a byproduct, we deduce the generating function for the total number of descents on all Catalan words of a given length and avoiding a pair of ordered relations.
A generalization of Bondy's pancyclicity theorem
The bipartite independence number of a graph $G$, denoted as $\tildeα(G)$, is the minimal number $k$ such that there exist positive integers $a$ and $b$ with $a+b=k+1$ with the property that for any two sets $A,B\subseteq V(G)$ with $|A|=a$ and $|B|=b$, there is an edge between $A$ and $B$. McDiarmid and Yolov showed that if $δ(G)\geq\tilde α(G)$ then $G$ is Hamiltonian, extending the famous theorem of Dirac which states that if $δ(G)\geq |G|/2$ then $G$ is Hamiltonian. In 1973, Bondy showed that, unless $G$ is a complete bipartite graph, Dirac's Hamiltonicity condition also implies pancyclicity, i.e., existence of cycles of all the lengths from $3$ up to $n$. In this paper we show that $δ(G)\geq\tilde α(G)$ implies that $G$ is pancyclic or that $G=K_{\frac{n}{2},\frac{n}{2}}$, thus extending the result of McDiarmid and Yolov, and generalizing the classic theorem of Bondy.
Strong equivariant positivity for homogeneous varieties and back-stable coproduct coefficients
Using a transversality argument, we demonstrate the positivity of certain coefficients in the equivariant cohomology and K-theory of a generalized flag manifold. This strengthens earlier equivariant positivity theorems (of Graham and Anderson-Griffeth-Miller) by further constraining the roots which can appear in these coefficients.
As an application, we deduce that structure constants for comultiplication in the equivariant K-theory of an infinite flag manifold exhibit an unusual positivity property, establishing conjectures of Lam-Lee-Shimozono. Along the way, we present alternative formulas for the back stable Grothendieck polynomials defined by those authors, as well as a new method for computing the coproduct coefficients.
Maximal Clique and Edge-Ranking Bounds of Biclique Cover Number
The biclique cover number $(\text{bc})$ of a graph $G$ denotes the minimum number of complete bipartite (biclique) subgraphs to cover all the edges of the graph. In this paper, we show that $\text{bc}(G) \geq \lceil \log_2(\text{mc}(G^c)) \rceil \geq \lceil \log_2(χ(G)) \rceil$ for an arbitrary graph $G$, where $χ(G)$ is the chromatic number of $G$ and $\text{mc}(G^c)$ is the number of maximal cliques of the complementary graph $G^c$, i.e., the number of maximal independent sets of $G$. We also show that $\lceil \log_2(\text{mc}(G^c)) \rceil$ could be a strictly tighter lower bound of the biclique cover number than other existing lower bounds. We can also provide a bound of $\text{bc}(G)$ with respect to the biclique partition number ($\text{bp}$) of $G$: $\text{bc}(G) \geq \lceil \log_2(\text{bp}(G) + 1) \rceil$ or $\text{bp}(G) \leq 2^{\text{bc}(G)} - 1$ if $G$ is co-chordal. Furthermore, we show that $\text{bc}(G) \leq χ_r'(T_{{K}^c})$, where $G$ is a co-chordal graph such that each vertex is in at most two maximal independent sets and $χ_r'({T}_{{K}^c})$ is the optimal edge-ranking number of a clique tree of $G^c$.
Improved Bounds for Permutation Arrays Under Chebyshev Distance
Published
• View Publication
• BIB
Permutation arrays under the Chebyshev metric have been considered for error correction in noisy channels. Let $P(n,d)$ denote the maximum size of any array of permutations on $n$ symbols with pairwise Chebyshev distance $d$. We give new techniques and improved upper and lower bounds on $P(n,d)$, including a precise formula for $P(n,2)$.
An application of Grothendieck theorem to the theory of multicorrelation sequences, multiple recurrence and partition regularity of quadratic equations
We use Grothendieck theorem to prove a structure theorem for multicorrelation sequences of length two, associated with two (not necessarily commuting) measure preserving actions on a probability space. We use this to deduce a multiple recurrence result concerning products of linear terms, and a partition regularity result of certain systems of quadratic equations, building on the work of Frantzikinakis and Host.
A proof using Böhme's Lemma that no Petersen family graph has a flat embedding
Published
• View Publication
• BIB
Sachs and Conway-Gordon used linking number and a beautiful counting argument to prove that every graph in the Petersen family is intrinsically linked (have a pair of disjoint cycles that form a nonsplit link in every spatial embedding) and thus each family member has no flat spatial embedding (an embedding for which every cycle bounds a disk with interior disjoint from the graph). We give an alternate proof that every Petersen family graph has no flat embedding by applying Böhme's Lemma and the Jordan-Brouwer Separation Theorem.
Monochromatic arithmetic progressions in automatic sequences with group structure
Published
• View Publication
• BIB
We determine asymptotic growth rates for lengths of monochromatic arithmetic progressions in certain automatic sequences. In particular, we look at (one-sided) fixed points of aperiodic, primitive, bijective substitutions and spin substitutions, which are generalisations of the Thue--Morse and Rudin--Shapiro substitutions, respectively. For such infinite words, we show that there exists a subsequence $\left\{d_n\right\}$ of differences along which the maximum length $A(d_n)$ of a monochromatic arithmetic progression (with fixed difference $d_n$) grows at least polynomially in $d_n$. Explicit upper and lower bounds for the growth exponent can be derived from a finite group associated to the substitution. As an application, we obtain bounds for a van der Waerden-type number for a class of colourings parametrised by the size of the alphabet and the length of the substitution.
Vizing's edge-recoloring conjecture holds
Published
• View Publication
• BIB
In 1964 Vizing proved that starting from any k-edge-coloring of a graph G one can reach, using only Kempe swaps, a ($Δ$ + 1)-edge-coloring of G where $Δ$ is the maximum degree of G. One year later he conjectured that one can also reach a $Δ$-edge-coloring of G if there exists one. Bonamy et. al proved that the conjecture is true for the case of triangle-free graphs. In this paper we prove the conjecture for all graphs.
On the non-existence of perfect codes in the Niederreiter-Rosenbloom-Tsfasman metric
Published
• View Publication
• BIB
In this paper we consider codes in $\mathbb{F}_q^{s\times r}$ with packing radius $R$ regarding the NRT-metric (i.e. when the underlying poset is a disjoint union of chains with the same length) and we establish necessary condition on the parameters $s,r$ and $R$ for the existence of perfect codes. More explicitly, for $r,s\geq 2$ and $R\geq 1$ we prove that if there is a non-trivial perfect code then $(r+1)(R+1)\leq rs$. We also explore a connection to the knapsack problem and establish a correspondence between perfect codes with $r>R$ and those with $r=R$. Using this correspondence we prove the non-existence of non-trivial perfect codes also for $s=R+2$.
Intersection Bodies of Polytopes: Translations and Convexity
Published in Journal of Algebraic Combinatorics, 60, 127-143 (2024)
• View Publication
• BIB
We continue the study of intersection bodies of polytopes, focusing on the behavior of $IP$ under translations of $P$. We introduce an affine hyperplane arrangement and show that the polynomials describing the boundary of $I(P+t)$ can be extended to polynomials in variables $t\in \mathbb{R}^d$ within each region of the arrangement. In dimension $2$, we give a full characterization of those polygons such that their intersection body is convex. We give a partial characterization for general dimensions.
Fundamental groups of low-dimensional lc singularities
In this article, we study the fundamental groups of low-dimensional log canonical singularities, i.e., log canonical singularities of dimension at most $4$. In dimension $2$, we show that the fundamental group of an lc singularity is a finite extension of a solvable group of length at most $2$. In dimension $3$, we show that every surface group appears as the fundamental group of a $3$-fold log canonical singularity. In contrast, we show that for $r\geq 2$ the free group $F_r$ is not the fundamental group of a $3$-dimensional lc singularity. In dimension $4$, we show that the fundamental group of any $3$-manifold smoothly embedded in $\mathbb{R}^4$ is the fundamental group of an lc singularity. In particular, every free group is the fundamental group of a log canonical singularity of dimension $4$. In order to prove the existence results, we introduce and study a special kind of polyhedral complexes: the smooth polyhedral complexes. We prove that the fundamental group of a smooth polyhedral complex of dimension $n$ appears as the fundamental group of a log canonical singularity of dimension $n+1$. Given a $3$-manifold $M$ smoothly embedded in $\mathbb{R}^4$, we show the existence of a smooth polyhedral complex of dimension $3$ that is homotopic to $M$. To do so, we start from a complex homotopic to $M$ and perform combinatorial modifications that mimic the resolution of singularities in algebraic geometry.
Spectral extrema of graphs: Forbidden star-path forests
Published
• View Publication
• BIB
A path of order $n$ is denoted by $P_n$, and a star of order $n$ is denoted by $S_{n-1}$. A star-path forest is a forest whose connected components are paths and stars. In this paper we determine the maximum spectral radius of graphs that contain no copy of $kS_{\ell-1}\cup P_{\ell}$, $k_1S_{2\ell -1}\cup k_2P_{2\ell}$ or $kS_{4}\cup 2P_{5}$ for $n$ appropriately large.
Analytic combinatorics of coordination numbers of cubic lattices
Published in Adv in Appl. Math. 147 (2023) 102518
• View Publication
• BIB
We investigate coordination numbers of the cubic lattices with emphases on their analytic behaviors, including the total positivity of the coordination matrices, the distribution of zeros of the coordination polynomials, the asymptotic normality of the coefficients of the coordination polynomials, the log-concavity and the log-convexity of the coordination numbers.
Bounds on Functionality and Symmetric Difference -- Two Intriguing Graph Parameters
Functionality ($\mathrm{fun}$) is a graph parameter that generalizes graph degeneracy defined by Alecu et al. [JCTB, 2021]. They research the relation of functionality to many other graphs parameters (tree-width, clique-width, VC-dimension, etc.). Extending their research, we completely characterize the functionality of random graph $G(n,p)$ for all possible $p$. We provide matching (up to a constant factor) lower and upper bound for a large range of $p$. It follows from our bounds for $G(n,p)$, that the maximum functionality (roughly $\sqrt{n}$) is achieved for $p \approx 1/\sqrt{n}$. We complement this by showing that every graph $G$ on $n$ vertices have $\mathrm{fun}(G) \le O(\sqrt{ n \ln n})$ and we give a nearly matching $Ω(\sqrt{n})$-lower bound provided by incident graphs of projective planes. Previously known lower bounds for functionality were only logarithmic in the number of vertices.
Further, we study a related graph parameter symmetric difference ($\mathrm{sd}$), the minimum of $|N(u) ~Δ~ N(v)|$ over all pairs of vertices of the ``worst possible'' induced subgraph. It was observed by Alecu et al. that $\mathrm{fun}(G) \le \mathrm{sd}(G)+1$ for every graph $G$. They asked whether the functionality of interval graphs is bounded. Recently, Dallard et al. [RiM, 2024] answered this positively and they constructed an interval graph $G$ with $\mathrm{sd}(G) = Θ(\sqrt[4]{n})$ (even though they did not mention the explicit bound), i.e., they separate the functionality and symmetric difference of interval graphs. We show that $\mathrm{sd}$ of interval graphs is at most $O(\sqrt[3]{n})$ and we provide a different example of an interval graph $G$ with $\mathrm{sd}(G) = Θ(\sqrt[4]{n})$. Further, we show that $\mathrm{sd}$ of circular arc graphs is $Θ(\sqrt{n})$.