Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On the Weights of Root Subgroups of Affine Toric Varieties
Published
• View Publication
• BIB
Let $X$ be an affine toric variety and let $D(X)$ be the set of weights of all root subgroups. It is known that $D(X)$ together with its embedding into the character group determines $X$ as a toric variety. In this article we prove that $X$ is already determined by the abstract set $D(X)$ together with some additional combinatorial data.
Induced Subforests and Superforests
Graph isomorphism, subgraph isomorphism, and maximum common subgraphs are classical well-investigated objects. Their (parameterized) complexity and efficiently tractable cases have been studied. In the present paper, for a given set of forests, we study maximum common induced subforests and minimum common induced superforests. We show that finding a maximum subforest is NP-hard already for two subdivided stars while finding a minimum superforest is tractable for two trees but NP-hard for three trees. For a given set of $k$ trees, we present an efficient greedy $\left(\frac{k}{2}-\frac{1}{2}+\frac{1}{k}\right)$-approximation algorithm for the minimum superforest problem. Finally, we present a polynomial time approximation scheme for the maximum subforest problem for any given set of forests.
Tight Hamiltonicity from dense links of triples
We show that for all $k\geq 4$, $\varepsilon >0$, and $n$ sufficiently large, every $k$-uniform hypergraph on $n$ vertices in which each set of $k-3$ vertices is contained in at least $(5/8 + \varepsilon) \binom{n}{3}$ edges contains a tight Hamilton cycle. This is asymptotically best possible.
A counterexample to the Ross--Yong conjecture for Grothendieck polynomials
Published
• View Publication
• BIB
We give a minimal counterexample for a conjecture of Ross and Yong (2015) which proposes a K-Kohnert rule for Grothendieck polynomials. We conjecture a revised version of this rule. We then prove both rules hold in the $321$-avoiding case.
Extending matroid classes closed under flats
Published
• View Publication
• BIB
We call a class $\mathcal{M}$ of matroids hereditary if it is closed under flats. We denote by $\mathcal{M}^{ext}$ the class of matroids $M$ that is in $\mathcal{M}$, or has an element $e$ such that $M \backslash e$ is in $\mathcal{M}$. We prove that if $\mathcal{M}$ has finitely many forbidden flats, then so does $\mathcal{M}^{ext} $. Discussing the interplay of graphs and matroids, we note the consequences of this result for graphs.
Recognizing Relating Edges in Graphs without Cycles of Length 6
Published
• View Publication
• BIB
A graph $G$ is well-covered if all maximal independent sets are of the same cardinality. Let $w:V(G) \longrightarrow\mathbb{R}$ be a weight function. Then $G$ is $w$-well-covered if all maximal independent sets are of the same weight. An edge $xy \in E(G)$ is relating if there exists an independent set $S$ such that both $S \cup \{x\}$ and $S \cup \{y\}$ are maximal independent sets in the graph. If $xy$ is relating then $w(x)=w(y)$ for every weight function $w$ such that $G$ is $w$-well-covered. Relating edges play an important role in investigating $w$-well-covered graphs.
The decision problem whether an edge in a graph is relating is NP-complete. We prove that the problem remains NP-complete when the input is restricted to graphs without cycles of length $6$. This is an unexpected result because recognizing relating edges is known to be polynomially solvable for graphs without cycles of lengths $4$ and $6$, graphs without cycles of lengths $5$ and $6$, and graphs without cycles of lengths $6$ and $7$.
A graph $G$ belongs to the class $W_2$ if every two pairwise disjoint independent sets in $G$ are included in two pairwise disjoint maximum independent sets. It is known that if $G$ belongs to the class $W_2$, then it is well-covered. A vertex $v \in V(G)$ is shedding if for every independent set $S \subseteq V(G)-N[v]$, there exists a vertex $u \in N(v)$ such that $S \cup \{u\}$ is independent. Shedding vertices play an important role in studying the class $W_2$. Recognizing shedding vertices is co-NP-complete, even when the input is restricted to triangle-free graphs. We prove that the problem is co-NP-complete for graphs without cycles of length $6$.
Singular plane curves: freeness and combinatorics
Published in Innovations in Incidence Geometry - Algebraic, Topological and Combinatorial 22(1): 47 - 65 (2025)
• View Publication
• BIB
In this paper we focus on various aspects of singular complex plane curves, mostly in the context of their homological properties and the associated combinatorial structures. We formulate some challenging open problems that can point to new directions in research, for example by introducing weak Ziegler pairs of curve arrangements. Moreover, we construct new examples of different Ziegler pairs, in both the classical and the weak sense, and present new geometric approaches to construction problems of singular plane curves.
String attractors and bi-infinite words
String attractors are a combinatorial tool coming from the field of data compression. It is a set of positions within a word which intersects an occurrence of every factor. While one-sided infinite words admitting a finite string attractor are eventually periodic, the situation is different for two-sided infinite words. In this paper, we characterise the bi-infinite words admitting a finite string attractor as the characteristic Sturmian words and their morphic images. For words that do not admit finite string attractors, we study the structure and properties of their infinite string attractors.
A proof of Ollinger's conjecture: undecidability of tiling the plane with a set of $8$ polyominoes
Published in Discrete Comput Geom (2024)
• View Publication
• BIB
We give a proof of Ollinger's conjecture that the problem of tiling the plane with translated copies of a set of $8$ polyominoes is undecidable. The techniques employed in our proof include a different orientation for simulating the Wang tiles in polyomino and a new method for encoding the colors of Wang tiles.
Extremal spectral radius of degree-based weighted adjacency matrices of graphs with given order and size
Published
• View Publication
• BIB
The $f$ adjacency matrix is a type of edge-weighted adjacency matrix, whose weight of an edge $ij$ is $f(d_i,d_j)$, where $f$ is a real symmetric function and $d_i,d_j$ are the degrees of vertex $i$ and vertex $j$. The $f$-spectral radius of a graph is the spectral radius of its $f$-adjacency matrix. In this paper, the effect of subdividing an edge on $f$-spectral radius is discussed. Some necessary conditions of the extremal graph with given order and size are derived. As an example, we obtain the bicyclic graph(s) with the smallest $f$-spectral radius for fixed order $n\geq8$ by applying generalized Lu-Man method.
Graphs of large girth
Published
• View Publication
• BIB
This survey on graphs of large girth consists of two parts. The first deals with some aspects of algebraic and extremal graph theory loosely related to the Moore bound. Our point of departure for the second, Ramsey theoretic, part are some constructions of graphs with large chromatic number and large girth; this will lead us to a discussion of the recent girth Ramsey theorem. Both parts can be enjoyed independently of each other.
PySymmPol: Symmetric Polynomials in Python
Published in Journal of Open Source Software, 9(97), 6724, 2024
• View Publication
• BIB
PySymmPol is a Python package designed for efficient manipulation of symmetric polynomials. It provides functionalities for working with various types of symmetric polynomials, including elementary, homogeneous, monomial symmetric, (skew-) Schur, and Hall-Littlewood polynomials. In addition to polynomial operations, PySymmPol offers tools to explore key properties of integer partitions and Young diagrams, such as transposition, Frobenius coordinates, characters of symmetric groups and others.
A strange identity of an MF (Mahler function)
We relate two different solutions of a Mahler equation; one solution is only defined at certain roots of unity, while the other is an analytic function inside the unit disk.
On $k$-modal subsequences
A $k$-modal sequence is a sequence of real numbers that can be partitioned into $k+1$ (possibly empty) monotone sections such that adjacent sections have opposite monotonicities. For every positive integer $k$, we prove that any sequence of $n$ pairwise distinct real numbers contains a $k$-modal subsequence of length at least $\sqrt{(2k+1)(n-\frac14)} - \frac{k}{2}$, which is tight in a strong sense. This confirms an old conjecture of F.R.K.Chung (J.Combin.Theory Ser.A, 29(3):267-279, 1980).
Paving Matroids: Defining Equations and Associated Varieties
Published
• View Publication
• BIB
We study paving matroids, their realization spaces, and their closures, along with matroid varieties and circuit varieties. Within this context, we introduce three distinct methods for generating polynomials within the associated ideals of these varieties across any dimension. Additionally, we explain the relationship between polynomials constructed using these different methods. We then compute a comprehensive and finite set of defining equations for matroid varieties associated with specific classes of paving matroids. Finally, we focus on the class of paving matroids of rank $3$, known as point-line configurations, which essentially contain simple matroids of rank $3$. Furthermore, we provide a decomposition for the associated circuit variety of point-line configurations, where all points have a degree less than $3$. Lastly, we present several examples applying our results and compare them with the known cases in the literature.
Rainbow considerations around the Hales-Jewett theorem
For positive integers $t$ and $n$ let $C_t^n$ be the $n$-cube over $t$ elements, that is, the set of ordered $n$-tuples over the alphabet $\{0,\dots, t-1\}$. We address the question of whether a balanced finite coloring of $C_t^n$ guarantees the presence of a rainbow geometric or combinatorial line. For every even $t\geq 4$ and every $n$, we provide a $\left(\frac{t}{2}\right)^n$--coloring of $C_t^n$ such that all color classes have the same size, and without rainbow combinatorial or geometric lines.
Partitioning the projective plane to two incidence-rich parts
Published
• View Publication
• BIB
An internal or friendly partition of a vertex set $V(G)$ of a graph $G$ is a partition to two nonempty sets $A\cup B$ such that every vertex has at least as many neighbours in its own class as in the other one. Motivated by Diwan's existence proof on internal partitions of graphs with high girth, we give constructive proofs for the existence of internal partitions in the incidence graph of projective planes and discuss its geometric properties. In addition, we determine exactly the maximum possible difference between the sizes of the neighbor set in its own class and the neighbor set of the other class, that can be attained for all vertices at the same time for the incidence graphs of desarguesian planes of square order.
Degree conditions for Ramsey goodness of paths
A classical result of Chvátal implies that if $n \geq (r-1)(t-1) +1$, then any colouring of the edges of $K_n$ in red and blue contains either a monochromatic red $K_r$ or a monochromatic blue $P_t$. We study a natural generalization of his result, determining the exact minimum degree condition for a graph $G$ on $n = (r - 1)(t - 1) + 1$ vertices which guarantees that the same Ramsey property holds in $G$. In particular, using a slight generalization of a result of Haxell, we show that $δ(G) \geq n - \lceil t/2 \rceil$ suffices, and that this bound is best possible. We also use a classical result of Bollobás, Erdős, and Straus to prove a tight minimum degree condition in the case $r = 3$ for all $n \geq 2t - 1$.
Moderate Deviations of Triangle Counts in the Erdős-Rényi Random Graph $G(n,m)$: The Lower Tail
Published in European J. Combin. Volume 129, October 2025, 104189
• View Publication
• BIB
Let $N_{\triangle}(G)$ be the number of triangles in a graph $G$. In [14] and [25] (respectively) the following bounds were proved on the lower tail behaviour of triangle counts in the dense Erdős-Rényi random graphs $G_m\sim G(n,m)$:
\[ \mathbb{P}\big(N_{\triangle}(G_m) \, < \, (1-δ)\mathbb{E}[N_{\triangle}(G_m)]\big) \,=\,
\exp\left(-Θ\left(δ^2n^3\right)\right) \qquad \text{if $n^{-3/2}\ll δ\ll n^{-1}$} \] and \[
\mathbb{P}\big(N_{\triangle}(G_m) \, < \, (1-δ)\mathbb{E}[N_{\triangle}(G_m)]\big) \,=\,
\exp\left(-Θ(δ^{2/3}n^2) \right) \qquad \text{if $n^{-3/4} \ll δ\ll 1$.}
\]
Neeman, Radin and Sadun [25] also conjectured that the probability should be of the form $\exp\left(-Θ\left(δ^2n^3\right)\right)$ in the "missing interval" $n^{-1}\ll δ\ll n^{-3/4}$. We prove this conjecture.
As part of our proof we also prove that some random graph statistics, related to degrees and codegrees, are normally distributed with high probability.
k-non-crossing trees and edge statistics modulo k
Published
• View Publication
• BIB
Instead of $k$-Dyck paths we consider the equivalent concept of $k$-non-crossing trees.
This is our preferred approach relative to down-step statistics modulo $k$ (first studied by Heuberger, Selkirk, and Wagner by different methods). One symmetry argument about subtrees is needed and the rest goes along the lines of a paper by Flajolet and Noy.