Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Weak degeneracy of planar graphs without 4- and 6-cycles
Published in Discrete Applied Mathematics, 334 (2023) 110--118
• View Publication
• BIB
A graph is $k$-degenerate if every subgraph $H$ has a vertex $v$ with $d_{H}(v) \leq k$. The class of degenerate graphs plays an important role in the graph coloring theory. Observed that every $k$-degenerate graph is $(k + 1)$-choosable and $(k + 1)$-DP-colorable. Bernshteyn and Lee defined a generalization of $k$-degenerate graphs, which is called \emph{weakly $k$-degenerate}. The weak degeneracy plus one is an upper bound for many graph coloring parameters, such as choice number, DP-chromatic number and DP-paint number. In this paper, we give two sufficient conditions for a plane graph without $4$- and $6$-cycles to be weakly $2$-degenerate, which implies that every such graph is $3$-DP-colorable and near-bipartite, where a graph is near-bipartite if its vertex set can be partitioned into an independent set and an acyclic set.
Algebraically universal categories of relational structures
Published
• View Publication
• BIB
We consider categories of relational structures that fully embed every category of universal algebras, and prove a partial characterisation of these in terms of an infinitary variant of the notion of nowhere density of Nešetřil and Ossona de Mendez. More precisely, we show that the Gaifman class of an algebraically universal category contains subdivided complete graphs of any infinite size, and establish that any monotone category satisfying this may be oriented to obtain an algebraically universal category. For the proof of the above, we also develop a categorical framework for relational gadget constructions. This generalises known results about categories of finite graphs to categories of relational structures of unbounded size.
On the pebbling numbers of Flower, Blanuša, and Watkins snarks
Published
• View Publication
• BIB
Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. The pebbling number $π(G)$ is the smallest $t$ so that from any initial configuration of $t$ pebbles it is possible, after a sequence of pebbling moves, to place a pebble on any given target vertex. In this paper, we provide the first results on the pebbling numbers of snarks. Until now, only the Petersen graph had its pebbling number correctly established, although attempts had been made for the Flower and Watkins snarks.
Discrete signature varieties
Published in SIAM J. Appl. Algebra Geom. 9, No. 3, 640-665 (2025)
• View Publication
• BIB
Discrete signatures are invariants computed from time series corresponding to the discretised version of the signature of paths. We study the algebraic varieties arising from their images, the discrete signature varieties. We introduce them and compute their dimension in many cases. From a particular subclass of these varieties, we derive a partial solution to the Chen-Chow theorem for complex-valued time series.
Extremal number of graphs from geometric shapes
Published
• View Publication
• BIB
We study the Turán problem for highly symmetric bipartite graphs arising from geometric shapes and periodic tilings commonly found in nature.
1. The prism $C_{2\ell}^{\square}:=C_{2\ell}\square K_{2}$ is the graph consisting of two vertex disjoint $2\ell$-cycles and a matching pairing the corresponding vertices of these two cycles. We show that for every $\ell\ge 4$, ex$(n,C_{2\ell}^{\square})=Θ(n^{3/2})$. This resolves a conjecture of He, Li and Feng.
2. The hexagonal tiling in honeycomb is one of the most natural structures in the real world. We show that the extremal number of honeycomb graphs has the same order of magnitude as their basic building unit 6-cycles.
3. We also consider bipartite graphs from quadrangulations of the cylinder and the torus. We prove near optimal bounds for both configurations. In particular, our method gives a very short proof of a tight upper bound for the extremal number of the 2-dimensional grid, improving a recent result of Bradač, Janzer, Sudakov and Tomon.
Our proofs mix several ideas, including shifting embedding schemes, weighted homomorphism and subgraph counts and asymmetric dependent random choice.
Cliques, Chromatic Number, and Independent Sets in the Semi-random Process
Published
• View Publication
• BIB
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible. In this paper, we investigate the following three properties: containing a complete graph of order $k$, having the chromatic number at least $k$, and not having an independent set of size at least $k$.
On a problem of El-Zahar and Erdoos
Published
• View Publication
• BIB
Two subgraphs $A,B$ of a graph $G$ are anticomplete if they are vertex-disjoint and there are no edges joining them. Is it true that if $G$ is a graph with bounded clique number, and sufficiently large chromatic number, then it has two anticomplete subgraphs, both with large chromatic number? This is a question raised by El-Zahar and Erdős in 1986, and remains open. If so, then at least there should be two anticomplete subgraphs both with large minimum degree, and that is one of our results.
We prove two variants of this. First, a strengthening: we can ask for one of the two subgraphs to have large chromatic number: that is, for all $t, c\ge 1$ there exists $d\ge 1$ such that if $G$ has chromatic number at least $d$, and does not contain the complete graph $K_t$ as a subgraph, then there are anticomplete subgraphs $A,B$, where $A$ has minimum degree at least $c$ and $B$ has chromatic number at least $c$.
Second, we look at what happens if we replace the hypothesis that $G$ has sufficiently large chromatic number with the hypothesis that $G$ has sufficently large minimum degree. This, together with excluding $K_t$, is {\em not} enough to guarantee two anticomplete subgraphs both with large minimum degree; but it works if instead of xcluding $K_t$ we exclude the complete bipartite graph $K_{t,t}$. More exactly: for all $t, c\ge 1$ there exists $d\ge 1$ such that if $G$ has minimum degree at least $d$, and does not contain the complete bipartite graph $K_{t,t}$ as a subgraph, then there are two anticomplete subgraphs both with minimum degree at least $c$.
Clustered independence and bounded treewidth
Published
• View Publication
• BIB
A set $S\subseteq V$ of vertices of a graph $G$ is a \emph{$c$-clustered set} if it induces a subgraph with components of order at most $c$ each, and $α_c(G)$ denotes the size of a largest $c$-clustered set. For any graph $G$ on $n$ vertices and treewidth $k$, we show that $α_c(G) \geq \frac{c}{c+k+1}n$, which improves a result of Wood [arXiv:2208.10074, August 2022], while we construct $n$-vertex graphs $G$ of treewidth~$k$ with $α_c(G)\leq \frac{c}{c+k}n$. In the case $c\leq 2$ or $k=1$ we prove the better lower bound $α_c(G) \geq \frac{c}{c+k}n$, which settles a conjecture of Chappell and Pelsmajer [Electron.\ J.\ Comb., 2013] and is best-possible. Finally, in the case $c=3$ and $k=2$, we show $α_c(G) \geq \frac{5}{9}n$ and which is best-possible.
On complete $m$-arcs
Published
• View Publication
• BIB
Let $m$ be a positive integer and $q$ be a prime power. For large finite base fields $\mathbb F_q$, we show that any curve can be used to produce a complete $m$-arc as long as some generic explicit geometric conditions on the curve are verified. To show the effectiveness of our theory, we derive complete $m$-arcs from hyperelliptic curves and from Artin-Schreier curves.
On the minimal power of $q$ in a Kazhdan-Lusztig polynomial
Published in Advances in Mathematics, Volume 457, November 2024
• View Publication
• BIB
For $w$ in the symmetric group, we provide an exact formula for the smallest positive power $q^{h(w)}$ appearing in the Kazhdan-Lusztig polynomial $P_{e,w}(q)$. We also provide a tight upper bound on $h(w)$ in simply-laced types, resolving a conjecture of Billey-Postnikov from 2002.
Isolation of regular graphs, stars and $k$-chromatic graphs
Published in Discrete Mathematics 349 (2026), article number 114706
• View Publication
• BIB
Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. Clearly, $ι(G, \mathcal{F}) \leq ι(G, \mathcal{F} \cup \mathcal{H})$. For any integer $k \geq 1$, let $\mathcal{F}_{0,k}$ be the set consisting of the $k$-star $K_{1,k}$, let $\mathcal{F}_{1,k}$ be the set of regular graphs whose degree is at least $k-1$, let $\mathcal{F}_{2,k}$ be the set of graphs whose chromatic number is at least $k$, and let $\mathcal{F}_{3,k}$ be the union $\mathcal{F}_{0,k} \cup \mathcal{F}_{1,k} \cup \mathcal{F}_{2,k}$. We prove that if $G$ is a connected $n$-vertex graph, then $ι(G, \mathcal{F}_{3,k}) \leq \frac{n}{k+1}$ unless $G$ is a $k$-clique or $k = 2$ and $G$ is a $5$-cycle. This generalizes a classical bound of Ore on the domination number, a bound of Caro and Hansberg and of Żyliński on the vertex-edge domination number, a bound of Fenech, Kaemawichanurat and the author on the $k$-clique isolation number, a bound of the author on the cycle isolation number, and a bound of Caro and Hansberg on the $\mathcal{F}_{0,k}$-isolation number. The proof features a new strategy. For $i = 1, 2, 3$, the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{i,k})$ is attainable if $k+1$ divides $n$. Our second main result is that the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{0,k})$ is attainable if and only if $n$ is $0$ or $k+1$ or $2(k+1)$. We pose some problems and conjectures, and establish additional intriguing phenomena concerning $k$-star isolation and $k$-cycle isolation.
Counting orbits under Kreweras complementation
The Kreweras complementation map is an anti-isomorphism on the lattice of noncrossing partitions. We consider an analogous operation for plane trees motivated by the molecular biology problem of RNA folding. In this context, we explicitly count the orbits of Kreweras' map according to their length as the number of appropriate symmetry classes of trees in the plane. These enumeration results are consolidated into a single implicit formula under the cyclic sieving phenomenon.
Optimizers of three-point energies and nearly orthogonal sets
Published
• View Publication
• BIB
This paper is devoted to spherical measures and point configurations optimizing three-point energies. Our main goal is to extend the classic optimization problems based on pairs of distances between points to the context of three-point potentials. In particular, we study three-point analogues of the sphere packing problem and the optimization problem for $p$-frame energies based on three points. It turns out that both problems are inherently connected to the problem of nearly orthogonal sets by Erdős. As the outcome, we provide a new solution of the Erdős problem from the three-point packing perspective. We also show that the orthogonal basis uniquely minimizes the $p$-frame three-point energy when $0<p<1$ in all dimensions. The arguments make use of multivariate polynomials employed in semidefinite programming and based on the classical Gegenbauer polynomials. For $p=1$, we completely solve the analogous problem on the circle. As for higher dimensions, we show that the Hausdorff dimension of minimizers is not greater than $d-2$ for measures on $\mathbb{S}^{d-1}$. As the main ingredient of our proof, we show that the only isotropic measure without obtuse angles is the uniform distribution over an orthonormal basis.
Euclidean sets with only one distance modulo a prime ideal
Published in Finite Fields and Their Applications 108 (2025), 102690
• View Publication
• BIB
Let $X$ be a finite set in the Euclidean space $\mathbb{R}^d$. If the squared distance between any two distinct points in $X$ is an odd integer, then the cardinality of $X$ is bounded above by $d+2$, as shown by Rosenfeld (1997) or Smith (1995). They proved that there exists a $(d+2)$-point set $X$ in $\mathbb{R}^d$ having only odd integral squared distances if and only if $d+2$ is congruent to $0$ modulo $4$. The distances can be interpreted as an element of the finite field $\mathbb{Z}/2\mathbb{Z}$. We generalize this result for a local ring $(A_\mathfrak{p},\mathfrak{p}A_\mathfrak{p})$ as follows. Let $K$ be an algebraic number field that can be embedded into $\mathbb{R}$. Fix an embedding of $K$ into $\mathbb{R}$, and $K$ is interpreted as a subfield of $\mathbb{R}$. Let $A=O_K$ be the ring of integers of $K$, and $\mathfrak{p}$ a prime ideal of $O_K$. Let $(A_\mathfrak{p},\mathfrak{p}A_\mathfrak{p})$ be the local ring obtained from the localization $(A\setminus \mathfrak{p})^{-1} A$, which is interpreted as a subring of $\mathbb{R}$. If the squared distances of $X\subset \mathbb{R}^d$ are in $A_\mathfrak{p}$ and each squared distance is congruent to some constant $k \not\equiv 0 $ modulo $\mathfrak{p} A_\mathfrak{p}$, then $|X| \leq d+2$, as shown by Nozaki (2023). In this paper, we prove that there exists a set $X\subset \mathbb{R}^d$ attaining the upper bound $|X| \leq d+2$ if and only if $d+2$ is congruent to $0$ modulo $4$ when the finite field $A_\mathfrak{p}/ \mathfrak{p} A_\mathfrak{p}$ is of characteristic 2, and $d+2$ is congruent to $0$ modulo $p$ when $A_\mathfrak{p}/ \mathfrak{p} A_\mathfrak{p}$ is of characteristic $p$ odd. We also provide examples attaining this upper bound.
Locally finite completions of polyhedral complexes
Published
• View Publication
• BIB
We develop a method for subdividing polyhedral complexes in a way that restricts the possible recession cones and allows one to work with a fixed class of polyhedron. We use these results to construct locally finite completions of rational polyhedral complexes whose recession cones lie in a fixed fan, locally finite polytopal completions of polytopal complexes, and locally finite zonotopal completions of zonotopal complexes.
Applications of infinite lower triangular matrices and their group structure in combinatorics and the theory of orthogonal polynomials
Our focus is on the set of lower-triangular, infinite matrices that have natural operations like addition, multiplication by a number, and matrix multiplication. With respect to addition this set forms and abelian group while with respect to matrix multiplication, the invertivle elements of the set form a group. The set becomes an algebra (non-commutative in fact) with unity when all three operations are considered together. We indicate important properties of the algebraic structures obtained in this way. In particular, we indicate several sub-groups or sub-rings. Among sub-groups, we consider the group of Riordan matrices and indicate its several sub-groups. We show a variety of examples (approximately 20) of matrices that are composed of the sequences of important polynomial or number families as entries of certain lower-triangular infinite matrices. New, significant relationships between these families can be discovered by applying well-known matrix operations like multiplication and inverse calculation to this representation.
The paper intends to compile numerous simple facts about the lower-triangular matrices, specifically the family of Rionian matrices, and briefly review their properties.
Generalized quasi-shuffle products
In this paper, we introduce the notion of generalized quasi-shuffle products and give a criterion for their associativity. These extend the quasi-shuffle products introduced by Hoffman, which are often used to describe the stuffle and shuffle product for multiple zeta values. For $q$-analogues of multiple zeta values, the description of an analogue for the shuffle product can often not be described with the classical notion of quasi-shuffle products. We show that our generalization gives a natural extension to also include these types of products and we prove a generalization of a duality between the $q$-shuffle product and the $q$-stuffle product.
Capelli-Deruyts bitableaux and the classical Capelli generators of the center of the enveloping algebra $U(gl(n))$
Published
• View Publication
• BIB
In this paper, we consider a special class of Capelli bitableaux, namely the Capelli-Deruyts bitableaux. The main results we prove are the hook coefficient lemma and the expansion theorem. Capelli-Deruyts bitableaux of rectangular shape are of particular interest since they are central elements in the enveloping algebra. The expansion theorem implies that these central element is explicitely described as a polynomial in the classical Capelli central elements. The hook coefficient lemma implies that the Capelli-Deruyts bitableaux are (canonically) expressed as the products of column determinants.
A note on topological indices and the twin classes of graphs
Topological indices are parameters associated with graphs that have many applications in different areas such as mathematical chemistry. Among various topological indices, the Wiener index is classical \cite{w}. In this paper, we prove a formula for the Wiener index and more general $m$-Steiner Wiener index of an arbitrary graph $G$ in terms of the cardinalities of its twin classes. In particular, we will show that calculating these parameters for the graph $G$ can be reduced to calculating the same for a much smaller graph (in general) called the reduced graph of $G$.
As applications of our main result, the $m$-Steiner Wiener index is explicitly calculated for various important classes of graphs from the literature including
\begin{enumerate}
\item[(a)] Power graphs associated with finite groups,
\item[(b)] Zero divisor graphs and the ideal-based zero divisor graphs associated with commutative rings with unity, and
\item[(c)] Comaximal ideal graphs associated with commutative rings with unity. \end{enumerate} We have also found an upper bound on the $m$-Steiner Wiener index of an infinite class of graphs called the completely joined graphs. As a corollary of this result, we explicitly calculate the $m$-Steiner Wiener index of the complete multipartite graphs.
Degree Sequence Optimization in Bounded Treewidth
Published in Optimization Letters 17:1127-1132, 2023
• View Publication
• BIB
We consider the problem of finding a subgraph of a given graph which minimizes the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already when all functions are the same, we show that it can be solved for arbitrary functions in polynomial time over graphs of bounded treewidth. Its complexity remains widely open, in particular over complete graphs and complete bipartite graphs.