Showing 20 papers (Total: 83342 papers, 48132 authors in database)
The Chromatic Symmetric Function for Unicyclic Graphs
Published
• View Publication
• BIB
Motivated by the question of which structural properties of a graph can be recovered from the chromatic symmetric function (CSF), we study the CSF of connected unicyclic graphs. While it is known that there can be non-isomorphic unicyclic graphs with the same CSF, we find experimentally that such examples are rare for graphs with up to 17 vertices. In fact, in many cases we can recover data such as the number of leaves, number of internal edges, cycle size, and number of attached non-trivial trees, by extending known results for trees to unicyclic graphs. These results are obtained by analyzing the CSF of a connected unicyclic graph in the $\textit{star-basis}$ using the deletion-near-contraction (DNC) relation developed by Aliste-Prieto, Orellana and Zamora, and computing the "leading" partition, its coefficient, as well as coefficients indexed by hook partitions. We also give explicit formulas for star-expansions of several classes of graphs, developing methods for extracting coefficients using structural properties of the graph.
Coarse Balanced Separators and Tree-Decompositions
A classical result of Robertson and Seymour (1986) states that the treewidth of a graph is linearly tied to its separation number: the smallest integer $k$ such that, for every weighting of the vertices, the graph admits a balanced separator of size at most $k$. Motivated by recent progress on coarse treewidth, Abrishami, Czyżewska, Kluk, Pilipczuk, Pilipczuk, and Rzążewski (2025) conjectured a coarse analogue to this result: every graph that has a balanced separator consisting of a bounded number of balls of bounded radius is quasi-isometric to a graph with bounded treewidth. In this paper, we confirm their conjecture for $K_{t,t}$-induced-subgraph-free graphs when the separator consists of a bounded number of balls of radius $1$. In doing so, we bridge two important conjectures concerning the structure of graphs that exclude a planar graph as an induced minor.
Generalised Erdős distance theory on graphs
The famous Erdős distinct distances problem asks the following: how many distinct distances must exist between a set of $n$ points in the plane? There are many generalisations of this question that ask one to consider different spaces and metrics, or larger structures of points. We bring these problems into a common framework using the concept of $g$-rigidity. Specifically, if $G=(V,E)$ is a (hyper)graph, $g$ is a map assigning polynomial measurements to the edges of $G$ and $f_{g,G}(P^V)$ gives the set of $g$-distinct realisations of the $g$-rigid graph $G$, where vertices must lie in a point set $P$, our main results describe sharp lower bounds for the size of $\big|f_{g,G}(P^V)\big|$. This allows us to obtain results for pseudo-Euclidean metrics, $\ell_p$ metrics, dot-product problems, matrix completion problems, and symmetric tensor completion problems.
In addition, we use the recent work of Alon, Bucić and Sauermann along with a simple colouring argument to prove that the number of $\| \cdot\|$-distinct realisations of a graph $G=(V,E)$ within a $d$-dimensional point set $P$ is at least $Ω\left(\frac{|P|^{|V|-1}}{(\log |P|)^2} \right)$ for almost all $d$-norms. Our methods here also provide a short proof that the unit distance conjecture implies the pinned distance conjecture.
Shellability of Higher Independence Complexes of Graphs
This paper investigates the shellability of $r$-independence complexes $\mathcal{I}_r(G)$, a generalization of classical independence complexes introduced by Paolini and Salvetti. For a graph $G$, a subset $A \subseteq V(G)$ is $r$-independent if every connected component of the induced subgraph $G[A]$ has at most $r$ vertices. The associated simplicial complex $\mathcal{I}_r(G)$ has been the subject of significant interest due to its connections to combinatorial topology and commutative algebra. We address the classification problem for shellable $r$-independence complexes, focusing on block graphs, trees, and related families. Our main results establish sufficient conditions for shellability based on structural graph parameters such as diameter and forbidden subgraphs. Furthermore, we develop constructive techniques for generating shellable complexes through graph operations, including star-clique attachments, clique whiskering, and clique cycle constructions. These results extend and refine earlier work on classical independence complexes and provide a framework for understanding the topological and algebraic properties of higher independence complexes in structured graph families.
Positivity in the shadow of Hodge index theorem
Taking a compact Kähler manifold as playground, we explore the powerfulness of Hodge index theorem. A main object is the Lorentzian classes on a compact Kähler manifold, behind which the characterization via Lorentzian polynomials over the Kähler cone and hence the validity of Hodge index theorem. Along the exploration, we discover several applications in complex geometry that may be unexpected before. (1) For a Lefschetz type operator given by the complete intersection of nef classes, we give a complete characterization of its kernel face against the pseudo-effective cone. (2) We provide a new approach to Teissier's proportionality problem from the validity of hard Lefschetz property. This perspective enables us to establish the extremals for the Brunn-Minkowski inequality on a strictly Lorentzian class, and thus also characterize the most extremal case for a log-concavity sequence given by the intersection numbers of two nef classes. These Lorentzian classes include the fundamental classes of smooth projective varieties or compact Kähler manifolds as typical examples, hence our result extends Boucksom-Favre-Jonsson's and Fu-Xiao's results in respective settings to broader contexts, e.g. certain algebraic cycle classes given by reducible subvarieties. (3) Furthermore, we also strengthen the proportionality characterization by comparing various quantitative deficits and establishing stability estimates. Two quantitative sharper stability estimates with close relation with complex Monge--Ampère equations and Newton-Okounkov bodies are also discussed.
Invariants and areas of Steiner 4-chains
Published
• View Publication
• BIB
We are concerned with the invariants of Steiner chains consisting of four circles. In particular, we compute the invariant moments of curvatures in Steiner 4-chains and give two applications of the obtained formulas. Specifically, we present an algorithmic feasibility criterion for Steiner 4-chains and identify the poristic Steiner chains having extremal areas, which yields a generalisation of the main results of a recent paper by K.Kiradjiev. The proofs are based on the invariants of Steiner chains described by R.Schwarz and S.Tabachnikov and on the relations between the radii of neighbouring poristic circles established by P.Yiu.
Congruences for sums of Delannoy numbers and polynomials
Published
• View Publication
• BIB
In this paper, we apply the power-partible reduction to study arithmetic properties of sums involving Delannoy numbers $D_k$ and polynomials $D_k(z)$. Let $v\in\bN$ and $p$ be an odd prime. It is proved that, for any $z\in\bZ\setminus\{0,-1\}$, there exist $c_v\in z^{-v}\bZ[z]$ and $\tilde{c}_v\in (z+1)^{-v}\bZ[z]$, both free of $p$ and can be determined mechanically, such that \begin{equation*} \sum_{k=0}^{p-1}(2k+1)^{2v}D_k(z)\equiv c_v \left(\frac{-z}{p}\right) \pmod {p} \end{equation*} if $\gcd(p,z)=1$ and \begin{equation*} \sum_{k=0}^{p-1}(-1)^k(2k+1)^{2v}D_k(z)\equiv \tilde{c}_v \left(\frac{z+1}{p}\right) \pmod {p} \end{equation*} if $\gcd(p,z+1)=1$. Here $(-)$ denotes the Legendre symbol.
When $n$ is a power of $2$, we find there exist odd integers $ρ_v$ and even integers $\tildeρ_v$, both independent of $n$ and can be determined mechanically, such that \[ \sum_{k=0}^{n-1}(2k+1)^{2v+1}D_k\equiv ρ_v n \pmod {n^3} \] and \[ \sum_{k=0}^{n-1}(-1)^k(2k+1)^{2v+1}D_k\equiv \tildeρ_v n^2 \pmod {n^3}. \] The case $v=1$ in the last congruence confirms a conjecture of Guo and Zeng in 2012.
Counting subgraphs of coloring graphs using shadow graphs
Published
• View Publication
• BIB
Given a graph $G$, the $k$-coloring graph $\mathcal{C}_k(G)$ is constructed by selecting proper $k$-colorings of $G$ as vertices, with an edge between two colorings if they differ in the color of exactly one vertex. The number of vertices in $\mathcal{C}_k(G)$ is the famous chromatic polynomial of $G$. Asgarli, Krehbiel, Levinson and Russell showed that for any subgraph $H$, the number of induced copies of $H$ in $\mathcal{C}_k(G)$ is a polynomial function in $k$. Hogan, Scott, Tamitegama, and Tan found a shorter proof for polynomiality of these chromatic $H$-polynomials. In this paper, we provide a method of constructing these polynomials explicitly in terms of chromatic polynomials of shadow graphs. We illustrate the practicality of our formulas by computing an explicit formula for $H$-polynomial for trees when $H=Q_d$ is an arbitrary hypercube, a task which does not seem approachable from previous methods. The coefficients of the resulting polynomials feature generalized degree sequences introduced by Crew. In the special case when $H=P_2$, the corresponding polynomial is dubbed the chromatic pairs polynomial. We present a pair of graphs $G_1$ and $G_2$ sharing the same chromatic pairs polynomial but different chromatic polynomials, disproving a conjecture raised by Asgarli, Krehbiel, Levinson and Russell.
On the Hermitian Veronesean
Published
• View Publication
• BIB
The Hermitian Veronesean in $PG(3,q^2)$, given by $\mathcal{V}:=\{ (1,x,x^q,x^{q+1}):x\in\mathbb{F}_q\}\cup\{(0,0,0,1)\}$, is a well-studied rational curve, and forms a {\em special} set of the Hermitian surface $H(3,q^2)$. In this paper, we give two local characterisations of the Hermitian Veronesean, based on sublines and triples of points in perspective.
Analytic properties arising from the Baxter numbers
Published
• View Publication
• BIB
Baxter numbers are known as the enumeration of Baxter permutations and numerous other discrete structures, playing a significant role across combinatorics, algebra, and analysis. In this paper, we focus on the analytic properties related to Baxter numbers. We prove that the descent polynomials of Baxter permutations have interlacing zeros, which is a property stronger than real-rootedness. Our approach is based on Dilks' framework of $(q,t)$-Hoggatt sums, which is a $q$-analog for Baxter permutations. Within this framework, we show that the family of $(1,t)$-Hoggatt sums satisfies the interlacing property using fundamental results on Hadamard products of polynomials. For Baxter numbers, we prove their asymptotic $r$-log-convexity via asymptotic expansions of $P$-recursive sequences. In particular, we confirm their $2$-log-convexity using symbolic computation techniques.
Comment and correction for "On Explicit Construction of Simplex $t$-designs" by M. S. Baladram
In [Bal18] a new method of constructing simplex designs based on cyclic group on $n$ elements has been proposed. One of the claims put forward therein is existence of 3-point simplex 3-design in dimension $d = 3$. In this manuscript we present explicit counterarguments and suggest a manner to rectify the existing proofs. By doing this, we show that the results presented in [Bal18] can be utilised to construct simplex 3-designs scaling as $d^2$, which suggest a general scaling of $d^{t-1}$. Finally, we put forward a notion that encompasses the objects conforming with bounds given in [Bal18], which we refer to as symmetry-restricted simplex $t$-designs.
Minimal $L^p$-congestion spanning trees on weighted graphs
A generalization of the notion of spanning tree congestion for weighted graphs is introduced. The $L^p$ congestion of a spanning tree is defined as the $L^p$ norm of the edge congestion of that tree. In this context, the classical congestion is the $L^\infty$-congestion. Explicit estimations of the minimal spanning tree $L^p$ congestion for some families of graphs are given. In addition, we introduce a polynomial-time algorithm for approximating the minimal $L^p$-congestion spanning tree in any weighted graph and another two similar algorithms for weighted planar graphs. The performance of these algorithms is tested in several graphs.
Free positive multiplicative Brownian motion and the free additive convolution of semicircle and uniform distribution
Published
• View Publication
• BIB
The free positive multiplicative Brownian motion $(h_t)_{t\geq0}$ is the large $N$ limit in non-commutative distribution of matrix geometric Brownian motion. It can be constructed by setting $h_t:=g_{t/2}g_{t/2}^*$, where $(g_t)_{t\geq0}$ is a free multiplicative Brownian motion, which is the large $N$ limit in non-commutative distribution of the Brownian motion in $\operatorname{Gl}(N,\mathbb{C})$. One key property of $(h_t)_{t\geq0}$ is the fact that the corresponding spectral distributions $(ν_t)_{t\geq0}\subset M^1((0,\infty))$ form a semigroup w.r.t. free multiplicative convolution. In recent work by M. Voit and the present author, it was shown that $ν_t$ can be expressed by the image measure of a free additive convolution of the semicircle and the uniform distribution on an interval under the exponential map. In this paper, we provide a new proof of this result by calculating the moments of the free additive convolution of semicircle and uniform distributions on intervals. As a by-product, we also obtain new integral formulas for $ν_t$ which generalize the corresponding known moment formulas involving Laguerre polynomials.
A Polynomial-Time Approximation Algorithm for Complete Interval Minors
As shown by Robertson and Seymour, deciding whether the complete graph $K_t$ is a minor of an input graph $G$ is a fixed parameter tractable problem when parameterized by $t$. From the approximation viewpoint, the gap to fill is quite large, as there is no PTAS for finding the largest complete minor unless $P = NP$, whereas a polytime $O(\sqrt n)$-approximation algorithm was given by Alon, Lingas and Wahlén.
We investigate the complexity of finding $K_t$ as interval minor in ordered graphs (i.e. graphs with a linear order on the vertices, in which intervals are contracted to form minors). Our main result is a polytime $f(t)$-approximation algorithm, where $f$ is triply exponential in $t$ but independent of $n$. The algorithm is based on delayed decompositions and shows that ordered graphs without a $K_t$ interval minor can be constructed via a bounded number of three operations: closure under substitutions, edge union, and concatenation of a stable set. As a byproduct, graphs avoiding $K_t$ as an interval minor have bounded chromatic number.
Edge-vertex degree based Zagreb index and graph operations
A graph $G$ consists of two parts, the vertices and edges. The vertices constitute the vertex set $V(G)$ and the edges, the edge set. An edge \( e=xy \), \( ev \)-dominates not only the vertices incident to it but also those adjacent to either \( x \) or \( y \). The edge-vertex degree of $e,$ $deg^{ev}_{G}(e),$ is the number of vertices in the $ev$-dominating set of $e$. In this article, we compute expressions for the $ev$-degree version of the Zagreb index of several unary and binary graph operations.
Products of three conjugacy classes in the alternating group
Published
• View Publication
• BIB
We prove that for $δ$ small, $n$ large, and any three conjugacy classes $C_{1},C_{2},C_{3}$ of $G=\mathrm{Alt}(n)$ of size at least $|G|^{1-δ}$ we have $C_{1}C_{2}C_{3}=G$.
The result provides a positive answer to Problem 20.23 of the Kourovka Notebook [KM22], improves theorems of Garonzi and Maróti [GM21] (using $4$ classes) and Rodgers [Rod02] (using larger classes), complements the known result for $G$ a simple group of Lie type [MP21] [LST24] [FM25], and is tight in several senses. Furthermore, since no character theory is involved, the proof can be used in principle to build a constructive algorithm that, given $g\in G$, outputs $c_{i}\in C_{i}$ such that $c_{1}c_{2}c_{3}=g$.
Probability of a Condorcet Winner for Large Electorates: An Analytic Combinatorics Approach
We study the probability that a given candidate is an alpha-winner, i.e. a candidate preferred to each other candidate j by a fraction alpha_j of the voters. This extends the classical notion of Condorcet winner, which corresponds to the case alpha = (1/2, ..., 1/2). Our analysis is conducted under the general assumption that voters have independent preferences, illustrated through applications to well-known models such as Impartial Culture and the Mallows model. While previous works use probabilistic arguments to derive the limiting probability as the number of voters tends to infinity, we employ techniques from the field of analytic combinatorics to compute convergence rates and provide a method for obtaining higher-order terms in the asymptotic expansion. In particular, we establish that the probability of a given candidate being the Condorcet winner in Impartial Culture is a_0 + a_{1, n} n^{-1/2} + O(n^{-1}), where we explicitly provide the values of the constant a_0 and the coefficient a_{1, n}, which depends solely on the parity of the number of voters n. Along the way, we derive technical results in multivariate analytic combinatorics that may be of independent interest.
All graphs are majority 3-choosable
Published
• View Publication
• BIB
Every graph is majority 3-choosable. This generalises the result by Shelah-Milner that every graph has an unfriendly 3-partition, confirming a conjecture of Haslegrave from 2020.
Scheduled Jacobian Chaining
Published
• View Publication
• BIB
This paper addresses the efficient computation of Jacobian matrices for programs composed of sequential differentiable subprograms. By representing the overall Jacobian as a chain product of the Jacobians of these subprograms, we reduce the problem to optimizing the sequence of matrix multiplications, known as the Jacobian Matrix Chain Product problem. Solutions to this problem yield "optimal bracketings", which induce a precedence-constraint scheduling problem. We investigate the inherent parallelism in the solutions and develop a new dynamic programming algorithm as a heuristic that incorporates the scheduling. To assess its performance, we benchmark it against the global optimum, which is computed via a branch-and-bound algorithm.
On Unique Neighborhoods in Bipartite and Expander Graphs
An undirected graph is said to have \emph{unique neighborhoods} if any two distinct nodes have also distinct sets of neighbors. In this way, the connections of a node to other nodes can characterize a node like an "identity", irrespectively of how nodes are named, as long as two nodes are distinguishable. We study the uniqueness of neighborhoods in (random) bipartite graphs, and expander graphs.