Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Sparse metric hypergraphs
Given a metric space $(X, ρ)$, we say $y$ is between $x$ and $z$ if $ρ(x,z) = ρ(x,y) + ρ(y,z)$. A metric space gives rise to a 3-uniform hypergraph that has as hyperedges those triples $\{ x,y,z \}$ where $y$ is between $x$ and $z$. Such hypergraphs are called metric and understanding them is key to the study of metric spaces. In this paper, we prove that hypergraphs where small subsets of vertices induce few edges are metric. Additionally, we adapt the notion of sparsity with respect to monotone increasing functions, classify hypergraphs that exhibit this version of sparsity and prove that they are metric.
Explicit Generating Functions for the Sum of the Areas Under Dyck and Motzkin Paths (and for Their Powers)
In this paper, we first describe how to find the generating function for the sum of the areas under generalized Dyck paths (with an arbitrary set of steps) using Motzkin paths as a motivating example. We then focus on Motzkin and Dyck paths, deriving functional equations for them. We then describe an algorithm to manipulate these functional equations for finding `perturbation expansions' of the solutions, with applications for deriving explicit generating functions for the sum of powers of areas under Dyck and Motzkin paths for any desired power.
Topological methods in zero-sum Ramsey theory
Published in Forum of Mathematics, Sigma 13 (2025) e192
• View Publication
• BIB
A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinatorial contexts. Our main result (1) is a topological criterion for determining when any $\mathbb{Z}/n$-coloring of an $n$-uniform hypergraph contains a zero-sum hyperedge. In addition to applications for Kneser hypergraphs, for complete hypergraphs our methods recover Olson's generalization of the EGZ theorem for arbitrary finite groups. Furthermore, we (2) give a fractional generalization of the EGZ theorem with applications to balanced set families and (3) provide a constrained EGZ theorem which imposes combinatorial restrictions on zero-sum sequences in the original result.
A relation between multiplicity of nonzero eigenvalues and the matching number of graph
Published
• View Publication
• BIB
Let $G$ be a graph with an adjacent matrix $A(G)$. The multiplicity of an arbitrary eigenvalue $λ$ of $A(G)$ is denoted by $m_λ(G)$. In \cite{Wong}, the author apply the Pater-Wiener Theorem to prove that if the diameter of $T$ at least $4$, then $m_λ(T)\leq β'(T)-1$ for any $λ\neq0$. Moreover, they characterized all trees with $m_λ(T)=β'(T)-1$, where $β'(G)$ is the induced matching number of $G$.
In this paper, we intend to extend this result from trees to any connected graph. Contrary to the technique used in \cite{Wong}, we prove the following result mainly by employing algebraic methods: For any non-zero eigenvalue $λ$ of the connected graph $G$, $m_λ(G)\leq β'(G)+c(G)$, where $c(G)$ is the cyclomatic number of $G$, and the equality holds if and only if $G\cong C_3(a,a,a)$ or $G\cong C_5$, or a tree with the diameter is at most $3$. Furthermore, if $β'(G)\geq3$, we characterize all connected graphs with $m_λ(G)=β'(G)+c(G)-1$.
Coupled Cluster Degree of the Grassmannian
Published
• View Publication
• BIB
We determine the number of complex solutions to a nonlinear eigenvalue problem on the Grassmannian in its Plücker embedding. This is motivated by quantum chemistry, where it represents the truncation to single electrons in coupled cluster theory. We prove the formula for the Grassmannian of lines which was conjectured in earlier work with Fabian Faulstich. This rests on the geometry of the graph of a birational parametrization of the Grassmannian. We present a squarefree Gröbner basis for this graph, and we develop connections to toric degenerations from representation theory.
A family of Condorcet domains that are single-peaked on a circle
Published
• View Publication
• BIB
Fishburn's alternating scheme domains occupy a special place in the theory of Condorcet domains. Karpov (2023) generalised these domains and made an interesting observation proving that all of them are single-picked on a circle. However, an important point that all generalised Fishburn domains are maximal Condorcet domain remained unproved. We fill this gap and suggest a new combinatorial interpretation of generalised Fishburn's domains which provide a constructive proof of single-peakedness of these domains on a circle. We show that classical single-peaked domains and single-dipped domains as well as Fishburn's alternating scheme domains belong to this family of domains while single-crossing domains do not.
Algebraic combinatorial optimization on the degree of determinants of noncommutative symbolic matrices
Published
• View Publication
• BIB
We address the computation of the degrees of minors of a noncommutative symbolic matrix of form \[
A[c] := \sum_{k=1}^m A_k t^{c_k} x_k, \] where $A_k$ are matrices over a field $\mathbb{K}$, $x_i$ are noncommutative variables, $c_k$ are integer weights, and $t$ is a commuting variable specifying the degree. This problem extends noncommutative Edmonds' problem (Ivanyos et al. 2017), and can formulate various combinatorial optimization problems. Extending the study by Hirai 2018, and Hirai, Ikeda 2022, we provide novel duality theorems and polyhedral characterization for the maximum degrees of minors of $A[c]$ of all sizes, and develop a strongly polynomial-time algorithm for computing them. This algorithm is viewed as a unified algebraization of the classical Hungarian method for bipartite matching and the weight-splitting algorithm for linear matroid intersection. As applications, we provide polynomial-time algorithms for weighted fractional linear matroid matching and linear optimization over rank-2 Brascamp-Lieb polytopes.
Algebraic Sunflowers
We study sunflowers within the context of finitely generated substructures of ultrahomogeneous structures. In particular, we look at bounds on how large a set system is needed to guarantee the existence of sunflowers of a given size. We show that if we fix the size of the sunflower, the function which takes the size of the substructures in our set system and outputs the size of a set system needed to guarantee a sunflower of the desired size can grow arbitrarily slowly.
Kronecker coefficients for (dual) symmetric inverse semigroups
Published in J. Aust. Math. Soc. 118 (2025) 65-90
• View Publication
• BIB
We study analogues of Kronecker coefficients for symmetric inverse semigroups, for dual symmetric inverse semigroups and for the inverse semigroups of bijections between subquotients of finite sets. In all cases we reduce the problem of determination of such coefficients to some group-theoretic and combinatorial problems. For symmetric inverse semigroups, we provide an explicit formula in terms of the classical Kronecker and Littlewood--Richardson coefficients for symmetric groups.
Spanning trees in $\mathbb{Z}$-covers of a finite graph and Mahler measures
Published in Journal of the Australian Mathematical Society, Vol. 118, No. 1 (2025)
• View Publication
• BIB
Using the special value at $u=1$ of Artin-Ihara $L$-functions, we associate to every $\mathbb{Z}$-cover of a finite connected graph a polynomial which we call the \emph{Ihara polynomial}. We show that the number of spanning trees for the finite intermediate graphs of such a cover can be expressed in terms of the Pierce-Lehmer sequence associated to a factor of the Ihara polynomial. This allows us to express the asymptotic growth of the number of spanning trees in terms of the Mahler measure of this polynomial. Specializing to the situation where the base graph is a bouquet or the dumbbell graph gives us back previous results in the literature for circulant and $I$-graphs (including the generalized Petersen graphs). We also express the $p$-adic valuation of the number of spanning trees of the finite intermediate graphs in terms of the $p$-adic Mahler measure of the Ihara polynomial. When applied to a particular $\mathbb{Z}$-cover, our result gives us back Lengyel's calculation of the $p$-adic valuations of Fibonacci numbers.
A characterization on orientations of graphs avoiding given lists on out-degrees
Let $G$ be a graph and $F:V(G)\to2^N$ be a set function. The graph $G$ is said to be \emph{F-avoiding} if there exists an orientation $O$ of $G$ such that $d^+_O(v)\notin F(v)$ for every $v\in V(G)$, where $d^+_O(v)$ denotes the out-degree of $v$ in the directed graph $G$ with respect to $O$. In this paper, we give a Tutte-type good characterization to decide the $F$-avoiding problem when for every $v\in V(G)$, $|F(v)|\leq \frac{1}{2}(d_G(v)+1)$ and $F(v)$ contains no two consecutive integers. Our proof also gives a simple polynomial algorithm to find a desired orientation. As a corollary, we prove the following result: if for every $v\in V(G)$, $|F(v)|\leq \frac{1}{2}(d_G(v)+1)$ and $F(v)$ contains no two consecutive integers, then $G$ is $F$-avoiding. This partly answers a problem proposed by Akbari et. al.(2020)
A multiparametric Murnaghan-Nakayama rule for Macdonald polynomials
Published in J. Comb. Theory A 207 (2024), 10592032 (34pp)
• View Publication
• BIB
We introduce a new family of operators as multi-parameter deformation of the one-row Macdonald polynomials. The matrix coefficients of these operators acting on the space of symmetric functions with rational coefficients in two parameters $q,t$ (denoted by $Λ[q,t]$) are computed by assigning some values to skew Macdonald polynomials in $λ$-ring notation. The new rule is utilized to provide new iterative formulas and also recover various existing formulas in a unified manner. Specifically the following applications are discussed: (i) A $(q,t)$-Murnaghan-Nakayama rule for Macdonald functions is given as a generalization of the $q$-Murnaghan-Nakayama rule; (ii) An iterative formula for the $(q,t)$-Green polynomial is deduced; (iii) A simple proof of the Murnaghan-Nakayama rule for the Hecke algebra and the Hecke-Clifford algebra is offered; (iv) A combinatorial inversion of the Pieri rule for Hall-Littlewood functions is derived with the help of the vertex operator realization of the Hall-Littlewood functions; (v) Two iterative formulae for the $(q,t)$-Kostka polynomials $K_{λμ}(q,t)$ are obtained from the dual version of our multiparametric Murnaghan-Nakayama rule, one of which yields an explicit formula for arbitrary $λ$ and $μ$ in terms of the generalized $(q, t)$-binomial coefficient introduced independently by Lassalle and Okounkov.
A criterion for determining whether multiple shells support a $t$-design
In this paper, we provide a criterion for determining whether multiple shells support a $t$-design. We construct as a corollary an infinite series of $2$-designs using power residue codes.
Rectilinear crossing number of the double circular complete bipartite graph
In this work, we study a mathematically rigorous metric of a graph visualization quality under conditions that relate to visualizing a bipartite graph. Namely we study rectilinear crossing number in a special arrangement of the complete bipartite graph where the two parts are placed on two concentric circles. For this purpose, we introduce a combinatorial formulation to count the number of crossings. We prove a proposition about the rectilinear crossing number of the complete bipartite graph. Then, we introduce a geometric optimization problem whose solution gives the optimum radii ratio in the case that the number of crossings for them is minimized. Later on, we study the magnitude of change in the number of crossings upon change in the radii of the circles. In this part, we present and prove a lemma on bounding the changes in the number of crossings of that is followed by a theorem on asymptotics of the bounds.
On 2-distance 16-coloring of planar graphs with maximum degree at most five
Published in Discrete Mathematics, 348(4), 114379, 2025
• View Publication
• BIB
A vertex coloring of a graph G is called a 2-distance coloring if any two vertices at a distance at most 2 from each other receive different colors. Suppose that G is a planar graph with a maximum degree at most 5. We prove that G admits a 2-distance 16 coloring, which improves the result given by Hou et al. (Graphs and Combinatorics 39:20, 2023).
Towards a high-dimensional Dirac's theorem
Published
• View Publication
• BIB
Dirac's theorem determines the sharp minimum degree threshold for graphs to contain perfect matchings and Hamiltonian cycles. There have been various attempts to generalize this theorem to hypergraphs with larger uniformity by considering hypergraph matchings and Hamiltonian cycles. In this paper, we consider another natural generalization of perfect matchings, Steiner triple systems. As a Steiner triple system can be viewed as a partition of pairs of vertices, it is a natural high-dimensional analogue of a perfect matching in graphs. We prove that for sufficiently large integer $n$ with $n \equiv 1 \text{ or } 3 \pmod{6}$, any $n$-vertex $3$-uniform hypergraph $H$ with minimum codegree at least $\left(\frac{3 + \sqrt{57}}{12} + o(1) \right)n = (0.879... + o(1))n$ contains a Steiner triple system. In fact, we prove a stronger statement by considering transversal Steiner triple systems in a collection of hypergraphs. We conjecture that the number $\frac{3 + \sqrt{57}}{12}$ can be replaced with $\frac{3}{4}$ which would provide an asymptotically tight high-dimensional generalization of Dirac's theorem.
Bakry-Émery and Ollivier Ricci Curvature of Cayley Graphs
Published
• View Publication
• BIB
In this article we study two discrete curvature notions, Bakry-Émery curvature and Ollivier Ricci curvature, on Cayley graphs. We introduce Right Angled Artin-Coxeter Hybrids (RAACHs) generalizing Right Angled Artin and Coxeter groups (RAAGs and RACGs) and derive the curvatures of Cayley graphs of certain RAACHs. Moreover, we show for general finitely presented groups $Γ= \langle S \, \mid\, R \rangle$ that addition of relators does not lead to a decrease the weighted curvatures of their Cayley graphs with adapted weighting schemes.
Modular law through GKM theory
Published
• View Publication
• BIB
The solution of Shareshian-Wachs conjecture by Brosnan-Chow and Guay-Paquet tied the graded chromatic symmetric functions on indifference graphs (or unit interval graphs) and the cohomology of regular semisimple Hessenberg varieties with the dot action. A similar result holds between unicellular LLT polynomials and twins of regular semisimple Hessenberg varieties. A recent result by Abreu-Nigro enabled us to prove these results by showing the modular law for the geometrical objects, and this is indeed done by Precup-Sommers and Kiem-Lee. In this paper, we give elementary and simpler proofs to the modular law through GKM theory.
Alexander Polynomials of closed alternating braids
Published
• View Publication
• BIB
We prove that the Alexander polynomials of certain families of alternating 4-braid knots satisfy Fox's Trapezoidal Conjecture. Moreover, we give explicit formulas for the signature and for the first 4 coefficients of the Alexander polynomial for a large family of alternating $n$-braid links and we verify that these 4 coefficients form a log-concave sequence.
Extremal subsets and atom-positivity
Demazure crystals give a combinatorial framework in which to study Demazure modules. They are extremal, in that they satisfy Kashiwara's string property, and they are Demazure atom-positive, in that they decompose naturally into subsets called crystal Demazure atoms. The properties of extremality and atom-positivity are further linked by a conjecture of Polo, which concerns the structure of the tensor product of two Demazure modules. We study these two properties in isolation - first providing a recursive formula for generating crystal Demazure atoms which generalizes a result of Lascoux-Schützenberger, and then examining the structure of extremal subsets and their characters - before commenting on the connection (or lack thereof) between them.