Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Size-Ramsey numbers of structurally sparse graphs
Size-Ramsey numbers are a central notion in combinatorics and have been widely studied since their introduction by Erdős, Faudree, Rousseau and Schelp in 1978. Research has mainly focused on the size-Ramsey numbers of $n$-vertex graphs with constant maximum degree $Δ$. For example, graphs which also have constant treewidth are known to have linear size-Ramsey numbers. On the other extreme, the canonical examples of graphs of unbounded treewidth are the grid graphs, for which the best known bound has only very recently been improved from $O(n^{3/2})$ to $O(n^{5/4})$ by Conlon, Nenadov and Trujić. In this paper, we prove a common generalization of these results by establishing new bounds on the size-Ramsey numbers in terms of treewidth (which may grow as a function of $n$). As a special case, this yields a bound of $\tilde{O}(n^{3/2 - 1/2Δ})$ for proper minor-closed classes of graphs. In particular, this bound applies to planar graphs, addressing a question of Kamcev, Liebenau, Wood and Yepremyan.
Our proof combines methods from structural graph theory and classic Ramsey-theoretic embedding techniques, taking advantage of the product structure exhibited by graphs with bounded treewidth.
Multigraph edge-coloring with local list sizes
Published
• View Publication
• BIB
Let $G$ be a multigraph and $L\,:\,E(G) \to 2^\mathbb{N}$ be a list assignment on the edges of $G$. Suppose additionally, for every vertex $x$, the edges incident to $x$ have at least $f(x)$ colors in common. We consider a variant of local edge-colorings wherein the color received by an edge $e$ must be contained in $L(e)$. The locality appears in the function $f$, i.e., $f(x)$ is some function of the local structure of $x$ in $G$. Such a notion is a natural generalization of traditional local edge-coloring. Our main results include sufficient conditions on the function $f$ to construct such colorings. As corollaries, we obtain local analogs of Vizing and Shannon's theorems, recovering a recent result of Conley, Grebík and Pikhurko.
How to estimate the total number of citations of a researcher using his h index and his h core?
So far, many researchers have investigated the following question: Given total number of citations, what is the estimated range of the h index? Here we consider the converse question. Namely, the aim of this paper is to estimate the total number of citations of a researcher using only his h index, his h core and perhaps a relatively small number of his citations from the tail. For these purposes, we use the asymptotic formula for the mode size of the Durfee square when n tends to infinity, which was proved by Canfield, Corteel and Savage (1998), seven years before Hirsch (2005) defined the h index. This formula confirms the asymptotic normality of the Hirsch citation h index. Using this asymptotic formula, in Section 4 we propose five? estimates of a total number of citations of a researcher using his h index and his h core. These estimates are refined mainly using small additional citations from the h tail of a researcher. Related numerous computational results are given in Section 5. Notice that the relative errors delta(B) of the estimate B of a total number of citations of a researcher are surprisingly close to zero for E. Garfield, H.D. White (Table 2), G. Andrews, L. Leydesdorf and C.D. Savage (Table 5).
Hitting sets and colorings of hypergraphs
Published
• View Publication
• BIB
In this paper we study the minimal size of edges in hypergraph families that guarantees the existence of a polychromatic coloring, that is, a $k$-coloring of a vertex set such that every hyperedge contains a vertex of all $k$ color classes. We also investigate the connection of this problem with $c$-shallow hitting sets: sets of vertices that intersect each hyperedge in at least one and at most $c$ vertices.
We determine for some hypergraph families the minimal $c$ for which a $c$-shallow hitting set exists.
We also study this problem for a special hypergraph family, which is induced by arithmetic progressions with a difference from a given set. We show connections between some geometric hypergraph families and the latter, and prove relations between the set of differences and polychromatic colorability.
Agreement forests of caterpillar trees: complexity, kernelization and branching
Published
• View Publication
• BIB
Given a set $X$ of species, a phylogenetic tree is an unrooted binary tree whose leaves are bijectively labelled by $X$. Such trees can be used to show the way species evolve over time. One way of understanding how topologically different two phylogenetic trees are, is to construct a minimum-size agreement forest: a partition of $X$ into the smallest number of blocks, such that the blocks induce homeomorphic, non-overlapping subtrees in both trees. This comparison yields insight into commonalities and differences in the evolution of $X$ across the two trees. Computing a smallest agreement forest is NP-hard (Hein, Jiang, Wang and Zhang, Discrete Applied Mathematics 71(1-3), 1996). In this work we study the problem on caterpillars, which are path-like phylogenetic trees. We will demonstrate that, even if we restrict the input to this highly restricted subclass, the problem remains NP-hard and is in fact APX-hard. Furthermore we show that for caterpillars two standard reductions rules well known in the literature yield a tight kernel of size at most $7k$, compared to $15k$ for general trees (Kelk and Simone, SIAM Journal on Discrete Mathematics 33(3), 2019). Finally we demonstrate that we can determine if two caterpillars have an agreement forest with at most $k$ blocks in $O^*(2.49^k)$ time, compared to $O^*(3^k)$ for general trees (Chen, Fan and Sze, Theoretical Computater Science 562, 2015), where $O^*(.)$ suppresses polynomial factors.
Complex spherical designs from group orbits
Published
• View Publication
• BIB
We consider the general question of when all orbits under the unitary action of a finite group give a complex spherical design. Those orbits which have large stabilisers are then good candidates for being optimal complex spherical designs. This is done by developing the general theory of complex designs and associated (harmonic) Molien series for group actions. As an application, we give explicit constructions of some putatively optimal real and complex spherical t-designs.
Many equiprojective polytopes
Published in Discrete Comput. Geom. 74(2), 337-357 (2025)
• View Publication
• BIB
A $3$-dimensional polytope $P$ is $k$-equiprojective when the projection of $P$ along any line that is not parallel to a facet of $P$ is a polygon with $k$ vertices. In 1968, Geoffrey Shephard asked for a description of all equiprojective polytopes. It has been shown recently that the number of combinatorial types of $k$-equiprojective polytopes is at least linear as a function of $k$. Here, it is shown that there are at least $k^{3k/2+o(k)}$ such combinatorial types as $k$ goes to infinity. This relies on the Goodman--Pollack lower bound on the number of order types and on new constructions of equiprojective polytopes via Minkowski sums.
On the resolution of kinks of curves on punctured surfaces
Published in Algebr. Geom. Topol. 25 (2025) 3679-3706
• View Publication
• BIB
Let $(Σ,\mathbb{M},\mathbb{P})$ be a surface with marked points $\mathbb{M}\subseteq \partialΣ\neq\varnothing$ and punctures $\mathbb{P}\subseteqΣ\setminus\partialΣ$. In this paper we show that for every curve $γ$ on $Σ\setminus\mathbb{P}$, the curve obtained by resolving the kinks of $γ$ in any order is uniquely determined, up to homotopy in $Σ\setminus\mathbb{P}$, by the $2$-orbifold homotopy class of $γ$, in which the punctures are interpreted to be orbifold points of order $2$. Our proof resorts to an application of the Diamond Lemma.
Tilings of the Sphere by Congruent Pentagons IV: Edge Combination $a^4b$
We classify edge-to-edge tilings of the sphere by congruent almost equilateral pentagons, in which four edges have the same length. Together with our earlier classifications of edge-to-edge tilings of the sphere by congruent equilateral pentagons of other types, and our classification of edge-to-edge tilings of the sphere by congruent quadrilaterals or triangles, we complete the classification of edge-to-edge tilings of the sphere by congruent polygons.
Note on Steepest Descent Algorithm for Quasi L$^{\natural}$-convex Function Minimization
We define a class of discrete quasi convex functions, called semi-strictly quasi L$^{\natural}$-convex functions, and show that the steepest descent algorithm for L$^{\natural}$-convex function minimization also works for this class of quasi convex functions. The analysis of the exact number of iterations is also extended, revealing the so-called geodesic property of the steepest descent algorithm when applied to semi-strictly quasi L$^{\natural}$-convex functions.
Generating Graphs of Finite Dihedral Groups
Published in Results in Mathematics, 2023
• View Publication
• BIB
For a group $G$, the generating graph $Γ(G)$ is defined as the graph with the vertex set $G$, and any two distinct vertices of $Γ(G)$ are adjacent if they generate $G$. In this paper, we study the generating graph of $D_n,$ where $D_n$ is a Dihedral group of order $2n$. We explore various graph theoretic properties, and determine complete spectrum of the adjacency and the Laplacian matrix of $Γ(D_n)$. Moreover, we compute some distance and degree based topological indices of $Γ(D_n)$.
Graphs with isolation number equal to one third of the order
Published in Discrete Mat. 347 (2024) 113903
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is isolating if the set of vertices not in $D$ or with no neighbor in $D$ is independent. The isolation number of $G$, denoted by $ι(G)$, is the minimum cardinality of an isolating set of $G$. It is known that $ι(G)\le n/3$, if $G$ is a connected graph of order $n$, $n\ge 3$, distinct from $C_5$. The main result of this work is the characterisation of unicyclic and block graphs of order $n$ with isolating number equal to $n/3$. Moreover, we provide a family of general graphs attaining this upper bound on the isolation number.
Full asymptotic expansion for orbit-summable quadrant walks and discrete polyharmonic functions
Published
• View Publication
• BIB
Enumeration of walks with small steps in the quadrant has been a topic of great interest in combinatorics over the last few years. In this article, it is shown how to compute exact asymptotics of the number of such walks with fixed start- and endpoints for orbit-summable models with finite group, up to arbitrary precision. The resulting representation greatly resembles one conjectured by Chapon, Fusy and Raschel for walks starting from the origin (AofA 2020), differing only in terms appearing due to the periodicity of the model. We will see that the dependency on start- and endpoint is given by discrete polyharmonic functions, which are solutions of $\triangle^n v=0$ for a discretisation $\triangle$ of a Laplace-Beltrami operator. They can be decomposed into a sum of products of lower order polyharmonic functions of either the start- or the endpoint only, which leads to a partial extension of a recent theorem by Denisov and Wachtel (Ann. Prob. 43.3).
Competition graphs of degree bounded digraphs
Published
• View Publication
• BIB
If each vertex of an acyclic digraph has indegree at most $i$ and outdegree at most $j$, then it is called an $(i,j)$ digraph, which was introduced by Hefner~{\it et al.}~(1991). Whereas Hefner~{\it et al.} characterized $(i,j)$ digraphs whose competition graphs are interval, characterizing the competition graphs of $(i,j)$ digraphs is not an easy task. In this paper, we introduce the concept of $\langle i,j \rangle$ digraphs, which relax the acyclicity condition of $(i,j)$ digraphs, and study their competition graphs. By doing so, we obtain quite meaningful results. Firstly, we give a necessary and sufficient condition for a loopless graph being an $\langle i,j \rangle$ competition graph for some positive integers $i$ and $j$. Then we study on an $\langle i,j \rangle$ competition graph being chordal and present a forbidden subdigraph characterization. Finally, we study the family of $\langle i,j \rangle$ competition graphs, denoted by $\mathcal{G}_{\langle i,j \rangle}$, and identify the set containment relation on $\{\mathcal{G}_{\langle i,j \rangle}\colon\, i,j \ge 1\}$.
On commutative association schemes and associated (directed) graphs
Published
• View Publication
• BIB
Let ${\cal M}$ denote the Bose--Mesner algebra of a commutative $d$-class association scheme ${\mathfrak X}$ (not necessarily symmetric), and $Γ$ denote a (strongly) connected (directed) graph with adjacency matrix $A$. Under the assumption that $A$ belongs to ${\cal M}$, we describe the combinatorial structure of $Γ$. Moreover, we provide an algebraic-combinatorial characterization of $Γ$ when $A$ generates ${\cal M}$.
Among else, we show that, if ${\mathfrak X}$ is a commutative $3$-class association scheme that is not an amorphic symmetric scheme, then we can always find a (directed) graph $Γ$ such that the adjacency matrix $A$ of $Γ$ generates the Bose--Mesner algebra ${\cal M}$ of ${\mathfrak X}$.
Generalized Heawood Graphs and Triangulations of Tori
The Heawood graph is a remarkable graph that played a fundamental role in the development of the theory of graph colorings on surfaces in the 19th and 20th centuries.
Based on permutahedral tilings, we introduce a generalization of the classical Heawood graph indexed by a sequence of positive integers.
We show that the resulting generalized Heawood graphs are toroidal graphs, which are dual to higher dimensional triangulated tori. We also present explicit combinatorial formulas for their $f$-vectors and study their automorphism groups.
A determinantal point process approach to scaling and local limits of random Young tableaux
Published
• View Publication
• BIB
We obtain scaling and local limit results for large random Young tableaux of fixed shape $λ^0$ via the asymptotic analysis of a determinantal point process due to Gorin and Rahman (2019). More precisely, we prove:
(1) an explicit description of the limiting surface of a uniform random Young tableau of shape $λ^0$, based on solving a complex-valued polynomial equation;
(2) a simple criteria to determine if the limiting surface is continuous in the whole domain;
(3) and a local limit result in the bulk of a random Poissonized Young tableau of shape $λ^0$.
Our results have several consequences, for instance: they lead to explicit formulas for the limiting surface of $L$-shaped tableaux, generalizing the results of Pittel and Romik (2007) for rectangular shapes; they imply that the limiting surface for $L$-shaped tableaux is discontinuous for almost-every $L$-shape; and they give a new one-parameter family of infinite random Young tableaux, constructed from the so-called random infinite bead process.
Singular matroid realization spaces
Published
• View Publication
• BIB
We study smoothness of realization spaces of matroids for small rank and ground set. For $\mathbb{C}$-realizable matroids, when the rank is $3$, we prove that the realization spaces are all smooth when the ground set has $11$ or fewer elements, and there are singular realization spaces for $12$ and greater elements. For rank $4$ and $9$ or fewer elements, we prove that these realization spaces are smooth. As an application, we prove that $\text{Gr}^{\circ}(3,n;\mathbb{C})$ -- the locus of the Grassmannian where all Plücker coordinates are nonzero -- is not schön for $n\geq 12$.
Origins of the Temperley-Lieb algebra: early history
Published
• View Publication
• BIB
We give an historical survey of some of the original basic algebraic and combinatorial results on Temperley-Lieb algebras, with a focus on certain results that have become folklore.
Characterisation of the Set of Ground States of Uniformly Chaotic Finite-Range Lattice Models
Published
• View Publication
• BIB
Chaotic dependence on temperature refers to the phenomenon of divergence of Gibbs measures as the temperature approaches a certain value. Models with chaotic behaviour near zero temperature have multiple ground states, none of which are stable. We study the class of uniformly chaotic models, that is, those in which, as the temperature goes to zero, every choice of Gibbs measures accumulates on the entire set of ground states. We characterise the possible sets of ground states of uniformly chaotic finite-range models up to computable homeomorphisms.
Namely, we show that the set of ground states of every model with finite-range and rational-valued interactions is topologically closed and connected, and belongs to the class $Π_2$ of the arithmetical hierarchy. Conversely, every $Π_2$-computable, topologically closed and connected set of probability measures can be encoded (via a computable homeomorphism) as the set of ground states of a uniformly chaotic two-dimensional model with finite-range rational-valued interactions.