Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On the Ihara expression for the generalized weighted zeta function
Published
• View Publication
• BIB
We consider the generalized weighted zeta function for a finite digraph, and show that it has the Ihara expression, a determinant expression of graph zeta functions, with a certain specified definition for inverse arcs. A finite digraph in this paper allows multi-arcs or multi-loops.
Partial shuffles by lazy swaps
Published
• View Publication
• BIB
What is the smallest number of random transpositions (meaning that we swap given pairs of elements with given probabilities) that we can make on an $n$-point set to ensure that each element is uniformly distributed -- in the sense that the probability that $i$ is mapped to $j$ is $1/n$ for all $i$ and $j$? And what if we insist that each pair is uniformly distributed?
In this paper we show that the minimum for the first problem is about $\frac{1}{2} n \log_2 n$, with this being exact when $n$ is a power of $2$. For the second problem, we show that, rather surprisingly, the answer is not quadratic: $O(n \log^2 n)$ random transpositions suffice. We also show that if we ask only that the pair $1,2$ is uniformly distributed then the answer is $2n-3$. This proves a conjecture of Groenland, Johnston, Radcliffe and Scott.
Circles of Apollonius two ways
Because the problem of Apollonius is generally considered over the reals, it suffers from variance of number: there are at most eight circles simultaneously tangent to a given trio of circles, but some configurations have fewer than eight tangent circles. This issue arises over other non-closed fields as well. Using the tools of enriched enumerative geometry, we give two different ways to count the circles of Apollonius such that invariance of number holds over any field of characteristic not 2. We also pose the geometricity problem for local indices in enriched enumerative geometry.
Leclerc's conjecture on a cluster structure for type A Richardson varieties
Published
• View Publication
• BIB
Leclerc constructed a conjectural cluster structure on Richardson varieties in simply laced types using cluster categories. We show that in type A, his conjectural cluster structure is in fact a cluster structure. We do this by comparing Leclerc's construction with another cluster structure on type A Richardson varieties due to Ingermanson. Ingermanson's construction uses the combinatorics of wiring diagrams and the Deodhar stratification. Though the two cluster structures are defined very differently, we show that the quivers coincide and clusters are related by the twist map for Richardson varieties, recently defined by Galashin--Lam.
Edge-Cuts and Rooted Spanning Trees
Published
• View Publication
• BIB
We give a closed form formula to determine the size of a k-respecting cut. Further, we show that for any k, the size of the k-respecting cut can be found only using the size of 2-respecting cuts.
Quivers of stylic algebras
Published
• View Publication
• BIB
We construct a complete system of primitive orthogonal idempotents and give an explicit quiver presentation of the monoid algebra of the stylic monoid introduced by Abram and Reutenauer [arXiv:2106.06556].
Logical convergence laws via stochastic approximation and Markov processes
Published
• View Publication
• BIB
Since the paper of Kleinberg and Kleinberg, SODA'05, where it was proven that the preferential attachment random graph with degeneracy at least 3 does not obey the first order 0-1 law, no general methods were developed to study logical limit laws for recursive random graph models with arbitrary degeneracy. Even in the (possibly) simplest case of the uniform attachment, it is still not known whether the first order convergence law holds in this model. We prove that the uniform attachment random graph with bounded degrees obeys the first order convergence law. To prove the law, we describe dynamics of first order equivalence classes of the random graph using Markov chains. The convergence law follows from the existence of a limit distribution of the considered Markov chain. To show the latter convergence, we use stochastic approximation processes.
On a question of Alon
A system of linear equations in $\mathbb{F}_p^n$ is \textit{common} if every two-colouring of $\mathbb{F}_p^n$ yields at least as many monochromatic solutions as a random two-colouring, asymptotically as $n \to \infty$. By analogy to the graph-theoretic setting, Alon has asked whether any (non-Sidorenko) system of linear equations can be made uncommon by adding sufficiently many free variables. Fox, Pham and Zhao answered this question in the affirmative among systems which consist of a single equation. We answer Alon's question in the negative.
We also observe that the property of remaining common despite that addition of arbitrarily many free variables is closely related to a notion of commonness in which one replaces the arithmetic mean of the number of monochromatic solutions with the geometric mean, and furthermore resolve questions of Kamčev--Liebenau--Morrison.
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$.