Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On series expansions of zeros of the deformed exponential function
Published
• View Publication
• BIB
For $q \in (0, 1)$, the deformed exponential function $f(x) = \sum_{n \geq 1} x^n q^{n(n-1)/2}/n!$ is known to have infinitely many simple and negative zeros $\{x_k(q)\}_{k \geq 1}$. In this paper, we analyze the series expansions of $-x_k(q)/k$ and $k/x_k(q)$ in powers of $q$. We prove that the coefficients of these expansions are rational functions of the form $P_n(k)/Q_n(k)$ and $\widehat{P}_n(k)/Q_n(k)$, where $Q_n(k) \in {\mathbb Z}[k]$ is explicitly defined and the polynomials $P_n(k), \widehat{P}_n(k)\in {\mathbb Z}[k]$ can be computed recursively. We provide explicit formulas for the leading coefficients of $P_n(k)$ and $\widehat{P}_n(k)$ and compute the coefficients of these polynomials for $n \leq 300$. Numerical verification shows that $P_n(k)$ and $\widehat{P}_n(k)$ take non-negative values for all $k \in \mathbb{N}$ and $n\le 300$, offering further evidence in support of conjectures by Alan Sokal.
A bound for the cops and robber problem in terms of 2-component order connectivity
In the cops and robber game, there are multiple cops and a single robber taking turns moving along the edges of a graph. The goal of the cops is to capture the robber (move to the same vertex as the robber) and the goal of the robber is to avoid capture. The cop number of a given graph is the smallest number of cops required to ensure the capture of the robber. The k-component order connectivity of a graph G = (V, E) is the size of a smallest set U, such that all the connected components of the induced graph on V \ U are of size at most k. In this brief note, we provide a bound on the cop number of graphs in terms of their 2-component order connectivity.
Listing faces of polytopes
Published
• View Publication
• BIB
This paper investigates the problem of listing faces of combinatorial polytopes, such as hypercubes, permutahedra, associahedra, and their generalizations. Firstly, we consider the face lattice, which is the inclusion order of all faces of a polytope, and we seek a Hamiltonian cycle in its cover graph, i.e., for any two consecutive faces, one must be a subface of the other, and their dimensions differ by 1. We construct such Hamiltonian cycles for hypercubes, permutahedra, $B$-permutahedra, associahedra, cyclic polytopes, 3-dimensional polytopes, graph associahedra of chordal graphs, and quotientopes. Secondly, we consider facet-Hamiltonian cycles, which are cycles on the skeleton of a polytope that enter and leave every facet exactly once. This notion was recently introduced by Akitaya, Cardinal, Felsner, Kleist, and Lauff [SODA 2025], where the authors conjectured that $B$-permutahedra admit a facet-Hamiltonian cycle for all dimensions. We construct such facet-Hamiltonian cycles in this paper, thus establishing their conjecture as a theorem. A key tool we use are so-called rhombic strips, which are planar spanning subgraphs of the cover graph of the face lattice in which every face is a 4-cycle. Specifically, we construct a rhombic strip in the face lattice of the hypercube of any dimension, and characterize the existence of rhombic strips in the face lattice of 3-dimensional polytopes. Our constructions yield time- and space-efficient algorithms for computing the aforementioned cycles and thus for listing the corresponding combinatorial objects, including ordered set partitions and dissections of a convex polygon.
Cacti, Toggles, and Reverse Plane Partitions
The cactus group acts combinatorially on crystals via partial Schützenberger involutions. This action has been studied extensively in type $A$ and described via Bender-Knuth involutions. We prove an analogous result for the family of crystals $B(n\varpi_1)$ in type $D$. Our main tools are combinatorial toggles acting on reverse plane partitions of height $n$. As a corollary, we show that the length one and two subdiagram elements generate the full cactus action, addressing conjectures of Dranowski, the second author, Kamnitzer, and Morton-Ferguson.
On z-Superstable and Critical Configurations of Chip Firing Pairs
Published
• View Publication
• BIB
It is well known that there is a duality map between the superstable configurations and the critical configurations of a graph. This was extended to all M-matrices in (Guzmàn-Klivans 2015). We show a natural way to extend this to all $(L,M)$-chip firing pairs introduced in (Guzmàn-Klivans 2016). In addition, we study various properties of this map.
The Ehrhart series of alcoved polytopes
Alcoved polytopes are convex polytopes, which are the closure of a union of alcoves in an affine Coxeter arrangement. They are rational polytopes and, therefore, have Ehrhart quasipolynomials. Here we describe a method for computing the generating function of the Ehrhart quasipolynomial, or Ehrhart series, of any alcoved polytope via a particular shelling order of its alcoves. We also show a connection between Early's decorated ordered set partitions and this shelling order for the hypersimplex $Δ_{2,n}$.
Closed Neighborhood Balanced Coloring of Graphs
Published
• View Publication
• BIB
A coloring of the vertex set of a graph using the colors red and blue is a closed neighborhood balanced coloring if for each vertex there are an equal number of red and blue vertices in its closed neighborhood. A graph with such a coloring is called a CNBC graph. Freyberg and Marr studied the related class of NBC graphs where closed neighborhood is replaced by open neighborhood. We prove results about CNBC graphs and NBC graphs. We show that the class of CNBC graphs is not hereditary, that the sizes of the color classes can be arbitrarily different, and that if the sizes of the color classes are equal, then a graph is a CNBC graph if and only if its complement is an NBC graph. When the sizes of the color classes are equal, we show that the join of two CNBC graphs is a CNBC graph, and the lexicographic product of a CNBC graph with any graph is a CNBC graph. We prove that the Cartesian product of any CNBC graph and any NBC graph is a CNBC graph, and characterize when a hypercube is an NBC graph or a CNBC graph, but show that the product of two CNBC graphs need not be an NBC graph. We show that the strong product of a CNBC graph with any graph is a CNBC graph. We construct infinite families of circulants that are CNBC graphs, and give characterizations of CNBC trees, generalized Petersen graphs, cubic circulants and quintic circulants when $n\equiv 2 \pmod 4$.
Tropicalization of $ψ$ classes
Published
• View Publication
• BIB
Under suitable conditions on a family of logarithmic curves, we endow the tropicalization of the family with an affine structure in a neighborhood of the sections in such a way that the tropical $ψ$ classes from \cite{psi-classes} arise as tropicalizations of algebraic $ψ$ classes.
A note on the no-$(d+2)$-on-a-sphere problem
For fixed $d\geq 3$, we construct subsets of the $d$-dimensional lattice cube $[n]^d$ of size $n^{\frac{3}{d + 1} - o(1)}$ with no $d+2$ points on a sphere or a hyperplane. This improves the previously best known bound of $Ω(n^{\frac{1}{d-1}})$ due to Thiele from 1995.
On the independence of shifts defined on $\mathbb{N}^d$ and trees
In this paper, we study the independence of shifts defined on $\mathbb{N}^d$ ($\mathbb{N}^d$ shift) and trees (tree-shift). Firstly, for the completeness of the article, we provide a proof that an $\mathbb{N}^d$ shift has positive (topological) entropy if and only if it has an independence set with positive upper density. Secondly, we obtain that when the base shift $X$ is a hereditary shift, then the associated tree-shift $\mathcal{T}_X$ on an unexpandable tree has positive entropy if and only if it has an independence set with positive density. However, the independence of the tree-shift on an expandable tree differs from that of $\mathbb{N}^d$ shifts or tree-shifts on unexpandable trees. The boundary independence property is introduced and we prove that it is equivalent to the positive entropy of a tree-shift on an expandable tree.
Spectral radii of sparse non-Hermitian random matrices
We provide estimates for the spectral radii of an $n\times n$ sparse non-Hermitian random matrix $Z$ with general entries in the regime $p=d/n$ where $0<d<1$ is fixed. Utilizing the structural results of (Łuczak, '90), we show that the spectral radius $ρ(Z)$ is $0$ with probability converging to some nonzero value, and satisfies the inequality $(φ(n))^{-1}\leq ρ(Z)\leq φ(n)$ in the asymptotic sense for any function $φ$ satisfying $\lim_{n\to\infty}φ(n)=\infty$ with the remaining probability.
Clonoids of Boolean functions with essentially unary, linear, semilattice, or 0- or 1-separating source and target clones
Published
• View Publication
• BIB
Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1,C_2)$-clonoids of Boolean functions for certain pairs $(C_1,C_2)$ of clones of essentially unary, linear, or $0$- or $1$-separating functions or semilattice operations. When such a $(C_1,C_2)$-clonoid lattice is uncountable, the proof is in most cases based on exhibiting a countably infinite family of functions with the property that distinct subsets thereof always generate distinct $(C_1,C_2)$-clonoids. In the cases when the lattice is finite, we enumerate the corresponding $(C_1,C_2)$-clonoids. We also provide a summary of the known results on cardinalities of $(C_1,C_2)$-clonoid lattices of Boolean functions.
Transversal Structures in Graph Systems: A Survey
Published
• View Publication
• BIB
Given a system $\mathcal{G} =\{G_1,G_2,\dots,G_m\}$ of graphs/digraphs/hypergraphs on the common vertex set $V$ of size $n$, an $m$-edge graph/digraph/hypergraph $H$ on $V$ is transversal in $\mathcal{G}$ if there exists a bijection $φ:E(H)\rightarrow [m]$ such that $e \in E(G_{φ(e)})$ for all $e\in E(H)$. In this survey, we consider extremal problems for transversal structures in graph systems. More precisely, we summarize some sufficient conditions that ensure the existence of transversal structures in graph/digraph/hypergraph systems, which generalize several classical theorems in extremal graph theory to transversal version. We also include a number of conjectures and open problems.
Representation stability in the (co)homology of vertical configuration spaces
In this paper, we study sequences of topological spaces called "vertical configuration spaces" of points in Euclidean space. We apply the theory of FI$_G$-modules, and results of Bianchi-Kranhold, to show that their (co)homology groups are "representation stable" with respect to natural actions of wreath products $S_k \wr S_n$. In particular, we show that in each (co)homological degree, the (co)homology groups (viewed as $S_k \wr S_n$-representations) can be expressed as induced representations of a specific form. Consequently, the characters of their rational (co)homology groups, and the patterns of irreducible $S_k \wr S_n$-representation constituents of these groups, stabilize in a strong sense. In addition, we give a new proof of rational (co)homological stability for unordered vertical configuration spaces, with an improved stable range.
Graph-Based Proofs of Indistinguishability of Linear Compartmental Models
Given experimental data, one of the main objectives of biological modeling is to construct a model which best represents the real world phenomena. In some cases, there could be multiple distinct models exhibiting the exact same dynamics, meaning from the modeling perspective it would be impossible to distinguish which model is ``correct.'' This is the study of indistinguishability of models, and in our case we focus on linear compartmental models which are often used to model pharmacokinetics, cell biology, ecology, and related fields. Specifically, we focus on a family of linear compartmental models called skeletal path models which have an underlying directed path, and have recently been shown to have the first recorded sufficient conditions for indistinguishability based on underlying graph structure. In this recent work, certain families of skeletal path models were proven to be indistinguishable, however the proofs relied heavily on linear algebra. In this work, we reprove several of these indistinguishability results instead using a graph theoretic framework.
Superhypergraph Neural Networks and Plithogenic Graph Neural Networks: Theoretical Foundations
Published in Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond. Fifth volume: Various SuperHyperConcepts (Collected Papers). pp. 577-653, 2025
• View Publication
• BIB
Hypergraphs extend traditional graphs by allowing edges to connect multiple nodes, while superhypergraphs further generalize this concept to represent even more complex relationships. Neural networks, inspired by biological systems, are widely used for tasks such as pattern recognition, data classification, and prediction. Graph Neural Networks (GNNs), a well-established framework, have recently been extended to Hypergraph Neural Networks (HGNNs), with their properties and applications being actively studied. The Plithogenic Graph framework enhances graph representations by integrating multi-valued attributes, as well as membership and contradiction functions, enabling the detailed modeling of complex relationships. In the context of handling uncertainty, concepts such as Fuzzy Graphs and Neutrosophic Graphs have gained prominence. It is well established that Plithogenic Graphs serve as a generalization of both Fuzzy Graphs and Neutrosophic Graphs. Furthermore, the Fuzzy Graph Neural Network has been proposed and is an active area of research. This paper establishes the theoretical foundation for the development of SuperHyperGraph Neural Networks (SHGNNs) and Plithogenic Graph Neural Networks, expanding the applicability of neural networks to these advanced graph structures. While mathematical generalizations and proofs are presented, future computational experiments are anticipated.
New Applications of Ergodic Theory to Sets of Differences
We apply the methods of ergodic theory to both simplify and significantly extend some classical results due to Stewart, Tijdeman, and Ruzsa. One of the notable features of our approach is the utilization of pointwise ergodic theory.
Big data approach to Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We investigate the structure of Kazhdan-Lusztig polynomials of the symmetric group by leveraging computational approaches from big data, including exploratory and topological data analysis, applied to the polynomials for symmetric groups of up to 11 strands.
Chromatic number of random graphs: an approach using a recurrence relation
Published in Results in Applied Mathematics 26 (2025) 100600
• View Publication
• BIB
The vertex coloring problem to find chromatic numbers is known to be unsolvable in polynomial time. Although various algorithms have been proposed to efficiently compute chromatic numbers, they tend to take an enormous amount of time for large graphs. In this paper, we propose a recurrence relation to rapidly obtain the expected value of the chromatic number of random graphs. Then we compare the results obtained using this recurrence relation with other methods using an exact investigation of all graphs, the Monte Carlo method, the iterated random color matching method, and the method presented in Bollobás' previous studies.
From spherical separation center set to the upper and lower bound theorems
In this paper, we provide the upper bound and the lower bound of the sum of the number of spherical face-partition pair of simple spherical polytope $P$ with $p$ facets.