Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Gosper's algorithm and Bell numbers
Computers are good at evaluating finite sums in closed form, but there are finite sums which do not have closed forms. Summands which do not produce a closed form can often be ``fixed'' by multiplying them by a suitable polynomial. We provide an explicit description of a class of such polynomials for simple hypergeometric summands in terms of the Bell numbers.
Repetitions of Pak-Stanley Labels in $G$-Shi Arrangements
Published
• View Publication
• BIB
Given a simple graph $G$, one can define a hyperplane arrangement called the $G$-Shi arrangement. The Pak-Stanley algorithm labels the regions of this arrangement with $G_\bullet$-parking functions. When $G$ is a complete graph, we recover the Shi arrangement, and the Pak-Stanley labels give a bijection with ordinary parking functions. However, for proper subgraphs $G \subset K_n$, while the Pak-Stanley labels still include every $G_{\bullet}$-parking function, some appear more than once. These repetitions of Pak-Stanley labels are a topic of interest in the study of $G$-Shi arrangements and $G_{\bullet}$-parking functions. Furthermore, $G_{\bullet}$-parking functions are connected to many other combinatorial objects (for example, superstable configurations in chip-firing). In studying these repetitions, we can draw on existing results about these objects such as Dhar's Burning Algorithm. Conversely, our results have implications for the study of these objects as well. The key insight of our work is the introduction of a combinatorial model called the Three Rows Game. Analyzing the histories of this game and how they induce identical outcomes lets us characterize the multiplicities of the Pak-Stanley labels. Using this model, we develop a classification theorem for the multiplicities of the Pak-Stanley labels of the regions in the $P_n$-Shi arrangement, where $P_n$ is the path graph on $n$ vertices. Then, we generalize the Three Rows Game into the $T$-Three Rows Game. This allows us to study the multiplicities of the Pak-Stanley labels of the regions in $T$-Shi arrangements, where $T$ is any tree. Finally, we discuss the possibilities and difficulties in applying our method to arbitrary graphs. In particular, we analyze multiplicities in the case when $G$ is a cycle graph, and prove a uniqueness result for maximal $G_{\bullet}$-parking functions for all graphs using the Three Rows Game.
Square of Planar Graphs of Max Degree Four without Five Cycles
We show that the choosability of the square of planar graphs of max degree 4 without five cycles is at most 12.
Keywords: planar graph, choosability
AMS Mathematics Subject Classification: 05C15
Tree-Partitions with Small Bounded Degree Trees
Published
• View Publication
• BIB
A "tree-partition" of a graph $G$ is a partition of $V(G)$ such that identifying the vertices in each part gives a tree. It is known that every graph with treewidth $k$ and maximum degree $Δ$ has a tree-partition with parts of size $O(kΔ)$. We prove the same result with the extra property that the underlying tree has maximum degree $O(Δ)$ and $O(|V(G)|/k)$ vertices.
Finding matchings in dense hypergraphs
Published
• View Publication
• BIB
We consider the algorithmic decision problem that takes as input an $n$-vertex $k$-uniform hypergraph $H$ with minimum codegree at least $m-c$ and decides whether it has a matching of size $m$. We show that this decision problem is fixed parameter tractable with respect to $c$. Furthermore, our algorithm not only decides the problem, but actually either finds a matching of size $m$ or a certificate that no such matching exists. In particular, when $m=n/k$ and $c=O(\log n)$, this gives a polynomial-time algorithm, that given any $n$-vertex $k$-uniform hypergraph $H$ with minimum codegree at least $n/k-c$, finds either a perfect matching in $H$ or a certificate that no perfect matching exists.
Non-simple polyominoes of Kőnig type and their canonical module
Published
• View Publication
• BIB
We study the Kőnig type property for non-simple polyominoes. We prove that, for closed path polyominoes, the polyomino ideals are of Kőnig type, extending the results of Herzog and Hibi for simple thin polyominoes. As an application of this result, we give a combinatorial interpretation for the canonical module of the coordinate ring of a sub-class of closed path polyominoes, namely circle closed path polyominoes. In this case, we compute also the Cohen-Macaulay type and we show that $K[\mathcal{P}]$ is a level ring.
The geodesic cover problem for butterfly networks
Published in Fundamenta Informaticae, Volume 194, Issue 3 (October 27, 2025) fi:10201
• View Publication
• BIB
A geodesic cover, also known as an isometric path cover, of a graph is a set of geodesics which cover the vertex set of the graph. An edge geodesic cover of a graph is a set of geodesics which cover the edge set of the graph. The geodesic (edge) cover number of a graph is the cardinality of a minimum (edge) geodesic cover. The (edge) geodesic cover problem of a graph is to find the (edge) geodesic cover number of the graph. Surprisingly, only partial solutions for these problems are available for most situations. In this paper we demonstrate that the geodesic cover number of the $r$-dimensional butterfly is $\lceil (2/3)2^r\rceil$ and that its edge geodesic cover number is $2^r$.
Subdigraphs of prescribed size and outdegree
Published
• View Publication
• BIB
In 2006, Noga Alon raised the following open problem: Does there exist an absolute constant $c>0$ such that every $2n$-vertex digraph with minimum out-degree at least $s$ contains an $n$-vertex subdigraph with minimum out-degree at least $\frac{s}{2}-c$ ? In this note, we answer this natural question in the negative, by showing that for arbitrarily large values of $n$ there exists a $2n$-vertex tournament with minimum out-degree $s=n-1$, in which every $n$-vertex subdigraph contains a vertex of out-degree at most $\frac{s}{2}-\left(\frac{1}{2}+o(1)\right)\log_3(s)$.
The statistical analysis for Sombor indices in a random polygonal chain networks
Published
• View Publication
• BIB
The Sombor indices, a new category of degree-based topological molecular descriptors, have been widely investigated due to their excellent chemical applicability. This paper aims to establish Sombor indices distributions in random polygonal chain networks and to achieve expressions of the expected values and variances. The expected values and variances of the Sombor indices for polyonino, pentachain, polyphenyl, and cyclooctane chains are obtained. Since the end connection of a random chain network follows a binomial distribution, the Sombor indices of any chain network follow the normal distribution when the number of polygons connected by the chain, indicated by n, approaches infinity. Keywords: Degree distribution; Polygonal chains; Expected value; Variance; Sombor indices.
Commuting Eulerian operators
Published
• View Publication
• BIB
Motivated by the work of Visontai and Dey-Sivasubramanian on the gamma-positivity of some polynomials, we find the commutative property of a pair of Eulerian operators. As an application, we show the bi-gamma-positivity of the descent polynomials on permutations of the multiset $\{1^{a_1},2^{a_2},\ldots,n^{a_n}\}$, where $0\leqslant a_i\leqslant 2$. Therefore, these descent polynomials are all alternatingly increasing, and so they are unimodal with modes in the middle.
Largest subgraph from a hereditary property in a random graph
Published
• View Publication
• BIB
We prove that for every non-trivial hereditary family of graphs ${\cal P}$ and for every fixed $p \in (0,1)$, the maximum possible number of edges in a subgraph of the random graph $G(n,p)$ which belongs to ${\cal P}$ is, with high probability, $$ \left(1-\frac{1}{k-1}+o(1)\right)p{n \choose 2}, $$ where $k$ is the minimum chromatic number of a graph that does not belong to ${\cal P}$.
Expander graphs are globally synchronizing
Published in Advances in Mathematics, vol 488, 2026, p. 110773
• View Publication
• BIB
The Kuramoto model is fundamental to the study of synchronization. It consists of a collection of oscillators with interactions given by a network, which we identify respectively with vertices and edges of a graph. In this paper, we show that a graph with sufficient expansion must be globally synchronizing, meaning that a homogeneous Kuramoto model of identical oscillators on such a graph will converge to the fully synchronized state with all the oscillators having the same phase, for every initial state up to a set of measure zero. In particular, we show that for any $\varepsilon > 0$ and $p \geq (1 + \varepsilon) (\log n) / n$, the homogeneous Kuramoto model on the Erdős-Rényi random graph $G(n, p)$ is globally synchronizing with probability tending to one as $n$ goes to infinity. This improves on a previous result of Kassabov, Strogatz, and Townsend and solves a conjecture of Ling, Xu, and Bandeira. We also show that the model is globally synchronizing on any $d$-regular Ramanujan graph, and on typical $d$-regular graphs, for large enough degree $d$.
Admissible Causal Structures and Correlations
Published in PRX Quantum 4, 040307, October 2023
• View Publication
• BIB
It is well-known that if one assumes quantum theory to hold locally, then processes with indefinite causal order and cyclic causal structures become feasible. Here, we study qualitative limitations on causal structures and correlations imposed by local quantum theory. For one, we find a necessary graph theoretic criterion--the "siblings-on-cycles" property--for a causal structure to be admissible: Only such causal structures admit a realization consistent with local quantum theory. We conjecture that this property is moreover sufficient. This conjecture is motivated by an explicit construction of quantum causal models, and supported by numerical calculations. We show that these causal models, in a restricted setting, are indeed consistent. For another, we identify two sets of causal structures that, in the classical-deterministic case, give rise to causal and non-causal correlations respectively.
Incidence matrices for the class $\mathcal{O}_6$ of lines external to the twisted cubic in $\mathrm{PG}(3,q)$
Published
• View Publication
• BIB
We consider the structures of the plane-line and point-line incidence matrices of the projective space $\mathrm{PG}(3,q)$ connected with orbits of planes, points, and lines under the stabilizer group of the twisted cubic. In the literature, lines are partitioned into classes, each of which is a union of line orbits. In this paper, for all $q$, even and odd, we determine the incidence matrices connected with a family of orbits of the class named $\mathcal{O}_6$. This class contains lines external to the twisted cubic. The considered family include an essential part of all $\mathcal{O}_6$ orbits, whose complete classification is an open problem.
Assorted inequalities for pattern occurrences
In this note, we present several inequalities in the context of pattern containment, utilizing elementary applications of the Fortuin-Kasteleyn-Ginibre (FKG) inequality and Shearer's lemma.
Computing the minimum distance of the $C(\mathbb{O}_{3,6})$ polar Orthogonal Grassmann code with elementary methods
The polar orthogonal Grassmann code $C(\mathbb{O}_{3,6})$ is the linear code associated to the Grassmann embedding of the Dual Polar space of $Q^+(5,q)$. In this manuscript we study the minimum distance of this embedding. We prove that the minimum distance of the polar orthogonal Grassmann code $C(\mathbb{O}_{3,6})$ is $q^3-q^3$ for $q$ odd and $q^3$ for $q$ even. Our technique is based on partitioning the orthogonal space into different sets such that on each partition the code $C(\mathbb{O}_{3,6})$ is identified with evaluations of determinants of skew--symmetric matrices. Our bounds come from elementary algebraic methods counting the zeroes of particular classes of polynomials. We expect our techniques may be applied to other polar Grassmann codes.
Turán Problems for Mixed Graphs
Published in Journal of Combinatorial Theory, Series B, Volume 167, 2024, Pages 119-163, ISSN 0095-8956
• View Publication
• BIB
We investigate natural Turán problems for mixed graphs, generalizations of graphs where edges can be either directed or undirected. We study a natural \textit{Turán density coefficient} that measures how large a fraction of directed edges an $F$-free mixed graph can have; we establish an analogue of the Erdős-Stone-Simonovits theorem and give a variational characterization of the Turán density coefficient of any mixed graph (along with an associated extremal $F$-free family). This characterization enables us to highlight an important divergence between classical extremal numbers and the Turán density coefficient. We show that Turán density coefficients can be irrational, but are always algebraic; for every positive integer $k$, we construct a family of mixed graphs whose Turán density coefficient has algebraic degree $k$.
A Grammatical Calculus for Peaks and Runs of Permutations
Published
• View Publication
• BIB
We develop a nonstandard approach to exploring polynomials associated with peaks and runs of permutations. With the aid of a context-free grammar, or a set of substitution rules, one can perform a symbolic calculus, and the computation often becomes rather simple. From a grammar it follows at once a system of ordinary differential equations for the generating functions. Utilizing a certain constant property, it is even possible to deduce a single equation for each generating function. To bring the grammar to a combinatorial setting, we find a labeling scheme for up-down runs of a permutation, which can be regarded as a refined
property, or the differentiability in a certain sense, in contrast to the usual counting argument for the recurrence relation. The labeling scheme also exhibits how the substitution rules arise in the construction of the combinatorial structures. Consequently,
polynomials on peaks and runs can be dealt with in two ways, combinatorially or grammatically. The grammar also serves as a guideline to build a bijection between permutations and increasing trees that maps the number of up-down runs to the number of nonroot vertices of even degree. This correspondence can be adapted to left peaks and exterior peaks, and the key step of the construction is called the reflection principle.
Structure of singular and nonsingular tournament matrices
A tournament is a directed graph resulting from an orientation of the complete graph; so, if $M$ is a tournament's adjacency matrix, then $M + M^T$ is a matrix with $0$s on its diagonal and all other entries equal to $1$. An outstanding question in tournament theory asks to classify the adjacency matrices of tournaments which are singular (or nonsingular). We study this question using the structure of tournaments as graphs, in particular their cycle structure. More specifically, we find, as precisely as possible, the number of cycles of length three that dictates whether the corresponding tournament matrix is singular or nonsingular. We also give structural classifications of the tournaments that have the specified numbers of cycles of length three.
Graphs with girth $2\ell+1$ and without longer odd holes that contain an odd $K_4$-subdivision
Published
• View Publication
• BIB
We say that a graph $G$ has an {\em odd $K_4$-subdivision} if some subgraph of $G$ is isomorphic to a $K_4$-subdivision and whose faces are all odd holes of $G$. For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is 3-colorable. Recently, Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is 3-colorable. In this paper, we prove that no $4$-vertex-critical graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ has an odd $K_4$-subdivision. Using this result, Chen proved that all graphs in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ are 3-colorable.