Showing 20 papers (Total: 81378 papers, 47165 authors in database)
(Generalized) binomial edge ideals and their regularity
In this article, we survey the recent results on the Castelnuovo-Mumford regularity of binomial edge ideals and generalized binomial edge ideals. We also generalize some of the known upper bounds for binomial edge ideals to the case of generalized binomial edge ideals.
Edge pancyclic Cayley graphs on symmetric group
We study the derangement graph $Γ_n$ whose vertex set consists of all permutations of $\{1,\ldots,n\}$, where two vertices are adjacent if and only if their corresponding permutations differ at every position. It is well-known that $Γ_n$ is a Cayley graph, Hamiltonian and Hamilton-connected. In this paper, we prove that for $n \geq 4$, the derangement graph $Γ_n$ is edge pancyclic. Moreover, we extend this result to two broader classes of Cayley graphs defined on symmetric group.
A Poisson Type Operator Deformed by Generalized Fibonacci Numbers and Its Combinatorial Moment Formula
We introduce a two-parameter deformation of the classical Poisson distribution from the viewpoint of noncommutative probability theory, by defining a $(q,t)$-Poisson type operator (random variable) on the $(q,t)$-Fock space \cite{Bl12} (See also \cite{BY06, AY20}). From the analogous viewpoint of the classical Poisson limit theorem in probability theory, we are naturally led to a family of orthogonal polynomials, which we call the $(q,t)$-Charlier polynomials. These generalize the $q$-Charlier polynomials of Saitoh-Yoshida \cite{SY00a, SY00b} and reflect deeper combinatorial symmetries through the additional deformation parameter $t$. A central feature of this paper is the derivation of a combinatorial moment formula of the $(q,t)$-Poisson type operator and the $(q,t)$-Poisson distribution. This is accomplished by means of a card arrangement technique, which encodes set partitions together with crossing and nesting statistics. The resulting expression naturally exhibits a duality between these statistics, arising from a structure rooted in generalized Fibonacci numbers. Our approach provides a concrete framework where methods in combinatorics and theory of orthogonal polynomials are used to investigate the probabilistic properties arising from the $(q,t)$-deformation.
On the Carlitz-Mehler formula for Hermite polynomials
Carlitz proved a few generalizations of Mehler's formula. Later, Srivastava et al. gave a new proof for some extensions of Carlitz's formula. Here, a direct proof of the further generalization is given.
The generalizations of Erdős matching conjecture for $t$-matching number
Define a \textit{$t$-matching} of size $m$ in a $k$-uniform family as a collection $\{A_1, A_2, \ldots, A_m\} \subseteq \binom{[n]}{k}$ such that $|A_i \cap A_j| < t$ for all $1 \leq i < j \leq m$. Let $\mathcal{F}\subseteq \binom{[n]}{k}$. The \textit{$t$-matching number} of $\mathcal{F}$, denoted by $ν_t(\mathcal{F})$, is the maximum size of a $t$-matching contained in $\mathcal{F}$. We study the maximum cardinality of a family $\mathcal{F}\subseteq\binom{[n]}{k}$ with given $t$-matching number, which is a generalization of Erdős matching conjecture, and we additionally prove a stability result. We also determine the second largest maximal structure with $ν_t(\mathcal{F})=s$, extending work of Frankl and Kupavskii \cite{frankl2016two}. Finally, we obtain the extremal $G$-free induced subgraphs of generalized Kneser graph, generalizing Alishahi's results in \cite{alishahi2018extremal}.
New $r$-Euler--Mahonian statistics involving Denert's statistic
Recently, we proved the equidistribution of the pairs of permutation statistics $(r\textsf{des},r\textsf{maj})$ and $(r\textsf{exc},r\textsf{den})$. Any pair of permutation statistics that is equidistributed with these pairs is said to be $r$-Euler--Mahonian. Several classes of $r$-Euler--Mahonian statistics were established by Huang--Lin--Yan and Huang--Yan. Inspired by their bijections, we provide a new bijective proof of the classical result that $(\textsf{exc},\textsf{den})$ is Euler--Mahonian. Using this bijection, we further show that $(\textsf{exc}_{r},\textsf{den})$ is $r$-Euler--Mahonian, where $\textsf{exc}_{r}$ denotes the number of $r$-level excedances (i.e., excedances at least $r$). Furthermore, by extending our bijection, we establish a more general result that encompasses all the aforementioned results.
Turán problems for simplicial complexes
An abstract simplicial complex $\mathbf{F}$ is a non-uniform hypergraph without isolated vertices, whose edge set is closed under taking subsets. The extremal number $\mathrm{ex}(n,\mathbf{F})$ is the maximum number of edges in an $\mathbf{F}$-free simplicial complex on $n$ vertices. This extremal number is naturally related to the generalised Turán numbers of certain underlying hypergraphs. Making progress in a problem raised by Conlon, Piga, and Schülke, we find large classes of simplicial complexes whose extremal numbers are determined by the respective generalised hypergraph Turán numbers. We also provide simplicial complexes for which such a relation does not hold.
On saturated triangulation-free convex geometric graphs
A convex geometric graph is a graph whose vertices are the corners of a convex polygon P in the plane and whose edges are boundary edges and diagonals of the polygon. It is called triangulation-free if its non-boundary edges do not contain the set of diagonals of some triangulation of P. Aichholzer et al. (2010) showed that the maximum number of edges in a triangulation-free convex geometric graph on n vertices is ${{n}\choose{2}}-(n-2)$, and subsequently, Keller and Stein (2020) and (independently) Ali et al. (2022) characterized the triangulation-free graphs with this maximum number of edges.
We initiate the study of the saturation version of the problem, namely, characterizing the triangulation-free convex geometric graphs which are not of the maximum possible size, but yet the addition of any edge to them results in containing a triangulation. We show that, surprisingly, there exist saturated graphs with only g(n) = O(n log n) edges. Furthermore, we prove that for any $n > n_0$ and any $g(n)\leq t \leq {{n}\choose{2}}-(n-2)$, there exists a saturated graph with n vertices and t edges. In addition, we obtain a complete characterization of all saturated graphs whose number of edges is ${{n}\choose{2}}-(n-1)$, which is 1 less than the maximum.
Configured spaces and their Möbius polynomials
An arbitrary dependence structure between a finite family of events of a probability space defines a hypergraph structure. We study the converse operation, starting from a hypergraph structure, to determine a canonical probability space with events indexed by the vertices and that satisfy the prescribed dependence structure; we also require that events that are not mutually independent must be mutually exclusive. Such a hypergraph structure, we call a configuration.
Requiring furthermore that all events are given the same positive probability $t$, converts this problem to the study of a family of Möbius polynomials, which we call the relative Möbius polynomials (or independence polynomial) of the configuration. This study was very much already complete in the case where the configuration actually derives from a graph structure, but remained open in the general case.
We show the existence and uniqueness of an optimal real $t$, optimal in the sense that the events cover a subset of maximal probability. We base our study on a new formula for the derivative of the Möbius polynomial.
Revisiting $d$-distance (independent) domination in trees and in bipartite graphs
Published in Discrete Math. 349 (2026) Paper 114972
• View Publication
• BIB
The $d$-distance $p$-packing domination number $γ_d^p(G)$ of $G$ is the minimum size of a set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. In 1994, Beineke and Henning conjectured that if $d\ge 1$ and $T$ is a tree of order $n \geq d+1$, then $γ_d^1(T) \leq \frac{n}{d+1}$. They supported the conjecture by proving it for $d\in \{1,2,3\}$. In this paper, it is proved that $γ_d^1(G) \leq \frac{n}{d+1}$ holds for any bipartite graph $G$ of order $n \geq d+1$, and any $d\ge 1$. Trees $T$ for which $γ_d^1(T) = \frac{n}{d+1}$ holds are characterized. It is also proved that if $T$ has $\ell$ leaves, then $γ_d^1(T) \leq \frac{n-\ell}{d}$ (provided that $n-\ell \geq d$), and $γ_d^1(T) \leq \frac{n+\ell}{d+2}$ (provided that $n\geq d$). The latter result extends Favaron's theorem from 1992 asserting that $γ_1^1(T) \leq \frac{n+\ell}{3}$. In both cases, trees that attain the equality are characterized and relevant conclusions for the $d$-distance domination number of trees derived.
The linear programming optimum for packings in classical association schemes
Association schemes are central objects in algebraic combinatorics, with the classical schemes lying at their core. These classical association schemes essentially consist of the Hamming and Johnson schemes, and their $q$-analogs: bilinear forms scheme, alternating bilinear forms scheme, Hermitian forms scheme, $q$-Johnson scheme, and polar space schemes. Each of them gives rise to a distance-regular graph on a vertex set $X$, naturally endowed with the path metric. We study $d$-codes in these schemes, that is, subsets $Y$ of $X$ in which every pair of distinct elements has path distance at least $d$. A powerful tool for deriving upper bounds on the size of $d$-codes is the linear programming method. In the case of the Hamming and Johnson schemes, the linear program has been studied since the 1970s, but its optimum is still unknown. We determine the optimum of the linear program for nearly all classical association schemes distinct from the Hamming and Johnson schemes. This is achieved by constructing feasible solutions to both the primal and dual linear programs whose objective values coincide. As a corollary, we obtain upper bounds on $t$-intersecting sets in classical association schemes, providing new proofs of several known results and, in particular, improving earlier bounds on $t$-intersecting sets of generators in polar spaces. These results can be viewed as analogs of the classical Erdős-Ko-Rado Theorem in extremal set theory. Our proofs draw on techniques from algebraic combinatorics and the duality theory of linear programming.
On the Turán number of odd-ballooning of $3$-chromatic graphs
Given a graph $F$, the Turán number ${\rm ex}(n,F)$ is the maximum number of edges in any $n$-vertex $F$-free graph. The odd-ballooning of $F$, denoted by $F^{o}$, is a graph obtained by replacing each edge of $F$ with an odd cycle, where all new vertices of the odd cycles are distinct. The Turán number of the odd-ballooning of $F$ has been established for several important cases. For a star, it was determined by Erdős, Füredi, Gould, and Gunderson (1995), Hou, Qiu, and Liu (2018), and Yuan (2018); for trees under certain conditions, by Zhu and Chen (2023); and for complete bipartite graphs $K_{s,t}$ ($t\geq s \geq 2$) where each substituted odd cycle has length at least five, by Peng and Xia (2024). In this paper, we apply Simonovits' celebrated method of progressive induction to determine the Turán number for the odd-ballooning of a class of $3$-chromatic graphs. Specifically, let $F$ be a graph formed by connecting a single vertex to all vertices of another graph whose components are either non-trivial trees or even cycles. We determine ${\rm ex}(n,F^{o})$ when each substituted odd cycle in $F^{o}$ has length at least five. As corollaries, we obtain the Turán number for the odd-ballooning of several well-known graph classes, including odd wheels, fan graphs, book graphs, and friendship graphs, where each substituted odd cycle in the ballooning has length at least five.
Taming Irrationality: An Invariance Principle for the Random Billiard Walk
The random billiard walk is a stochastic process $(L_t)_{t\geq 0}$ in which a laser moves through the Coxeter arrangement of an affine Weyl group in $\mathbb{R}^d$, reflecting at each hyperplane with probability $p\in (0, 1)$ and transmitting unchanged otherwise. Defant, Jiradilok, and Mossel introduced this process from the perspective of algebraic combinatorics and established that, for initial directions aligned with the coroot lattice, $L_t/\sqrt{t}$ converges to a centered spherical Gaussian. We bring analytic tools from ergodic theory and probability to the problem and extend this central limit theorem to all initial directions. More strongly, we prove the rescaled trajectories $t\mapsto n^{-1/2}L_{tn}$ converge to isotropic Brownian motion. Away from directions with rational dependencies, the limiting covariance varies continuously in $p$ and the initial direction.
Non-bipartite graphs without theta subgraphs
Fix a color-critical graph $H$ with $χ(H)=r+1\geq 3$. Simonovits' chromatic critical edge theorem and Nikiforov's spectral chromatic critical edge theorem imply that $T_{n,r}$ is the extremal graph with the maximum size and the maximum spectral radius over all $H$-free graphs of order $n$, respectively. Since $T_{n,r}$ is $r$-partite, it is interesting to study the Turán number and the spectral Turán number of a color-critical graph $H$ in non-$r$-partite graphs. Denote by ${\rm EX}_{r+1}(n,H)$ (resp. ${\rm SPEX}_{r+1}(n,H)$) the family of $n$-vertex $H$-free non-$r$-partite graphs with the maximum size (resp. spectral radius). Brouwer showed that any graph in $\mathrm{EX}_{r+1}(n,K_{r+1})$ is of size $e(T_{n,r})-\lfloor\frac{n}{r}\rfloor+1$ for $n\geq 2r+1$. Lin, Ning and Wu [Combin. Probab. Comput. 30 (2) (2021) 258--270], and Li and Peng [SIAM J. Discrete Math. 37 (2023) 2462--2485] characterized the unique graph in $\mathrm{SPEX}_{r+1}(n,K_{r+1})$ for $r\geq 2$. Particularly, the unique graph is of size $e(T_{n,r})-\lfloor\frac{n}{r}\rfloor+1$. Thus $\mathrm{SPEX}_{r+1}(n,K_{r+1})\subseteq \mathrm{EX}_{r+1}(n,K_{r+1})$. It is natural to conjecture that ${\rm SPEX}_{r+1}(n,H)\subseteq {\rm EX}_{r+1}(n,H)$ for arbitrary color-critical graph $H$ with $χ(H)=r+1\geq 3$. Fix $q,r\geq 2$ with even $q$, a theta graph $θ(1,q,r)$ is obtained from internally disjoint paths of lengths $1,q,r$, respectively by sharing a common pair of endpoints. In this paper, we prove that $\mathrm{SPEX}_{3}(n,θ(1,q,r))\subseteq \mathrm{EX}_{3}(n,θ(1,q,r))$ for sufficiently large $n$. Furthermore, we determine all the graphs in $\mathrm{SPEX}_{3}(n,θ(1,q,r))$ and $\mathrm{EX}_{3}(n,θ(1,q,r))$, respectively.
Necklaces, permutations, and periodic critical orbits for quadratic polynomials
Let $G_n$ denote the $n^{\rm th}$ Gleason polynomial, whose roots correspond to parameters $c$ such that the critical point $0$ is periodic of exact period $n$ under iteration of $z^2 + c$, and let $\bar{G}_n$ denote the reduction of $G_n$ modulo $2$. Buff, Floyd, Koch, and Parry made the surprising observation that the number of real roots of $G_n$ is equal to the number of irreducible factors of $\bar{G}_n$ for all $n$. We provide a bijective proof for this result by first providing explicit bijections between (a) the set of real roots of $G_n$ and the set $\bar{N}(n)$ of equivalence classes of primitive binary necklaces of length $n$ under the inversion map swapping $0$ and $1$; and (b) the set of irreducible factors of $G_n$ modulo 2 and the set $\tilde{N}^+(n)$ of binary necklaces which are either primitive of length $n$ with an even number of $1$'s or primitive of length $n/2$ with an odd number of $1$'s. We then provide an explicit bijection, closely related to Milnor and Thurston's kneading theory, between $\bar{N}(n)$ and $\tilde{N}^+(n)$. In addition, we provide explicit bijections between $\bar{N}(n)$, the set ${\rm CUP}(n)$ of cyclic unimodal permutations of $\{ 1,\ldots,n \}$, and the set $N^-(n)$ of primitive binary necklaces of length $n$ with an odd number of $1$'s.
Mixed Steiner Triples Systems with Shortest Length
We prove that a 3-GDD of type $1^n k^1 \ell^1$, where $n= k \cdot \ell$, with minimum distance 3 exists for every $k$ and $\ell$ such that $n = k \ell$, $k = 1$ or $3~(mod ~ 6)$, and $\ell = 1$ or $3~(mod ~ 6)$. These designs are of the shortest possible length (smallest number of elements) for given $k$ and $\ell$. Other constructions for such triple systems are also presented.
Notes on the topology of independence structures
Following Welsh, a pre-independence space (pi-space) is a set $M$ together with a non-empty collection $I(M)$ of subsets of $M$, called independent sets, which is closed under taking subsets, and finite independent sets satisfy the exchange property from matroid theory.
We show that $I(M)$, viewed as a poset, is contractible if it is infinite-dimensional, and Cohen-Macaulay otherwise. Moreover, the proper part of the associated poset of flats is also contractible in the infinite-dimensional case, and Cohen-Macaulay otherwise.
These results generalize those for independence complexes and geometric lattices of (finite) matroids.
Bounded ranges of cardinal functions
Let $\mathbf{x}$ be a (non-empty) sequence of positive real numbers. Its achievement set $\mathcal{\mathbf{x}}$ is the set of all the possible sums of the elements of $\mathbf{x}$. The cardinal function of $\mathbf{x}$ is the function $f:\mathcal{A}(\mathbf{x}) \to \mathbb{N}\cup\{ω,\mathfrak{c}\}$ that for every $x\in\mathbb{A}(\mathbf{x})$ the value $f(x)$ is equal to the number of ways $x$ is represented as a sum of elements of $\mathbf{x}$.
In this paper we consider possible ranges of cardinal functions of sequences $\mathbf{x}$. We present some general constructions and several criteria that a set has to satisfy in order to be a range of a cardinal function.
We put special attention to the case of sets with maximal element equal to $6$. In this case, in particular, we obtained a full characterisation of sets that are ranges of cardinal functions of interval-filling sequences.
Influence Prediction in Collaboration Networks: An Empirical Study on arXiv
This paper provides an empirical study of the Social Sphere Model for influence prediction, previously introduced by the authors, combining link prediction with top-k centrality-based selection. We apply the model to the temporal arXiv General Relativity and Quantum Cosmology collaboration network, evaluating its performance under varying edge sampling rates and prediction horizons to reflect different levels of initial data completeness and network evolution. Accuracy is assessed using mean squared error in both link prediction and influence maximization tasks. The results show that the model effectively identifies latent influencers, i.e., nodes that are not initially central but later influential, and performs best with denser initial graphs. Among the similarity measures tested, the newly introduced RA-2 metric consistently yields the lowest prediction errors. These findings support the practical applicability of the model to predict real-world influence in evolving networks.
On the complexity of constrained reconfiguration and motion planning
Coordinating the motion of multiple agents in constrained environments is a fundamental challenge in robotics, motion planning, and scheduling. A motivating example involves $n$ robotic arms, each represented as a line segment. The objective is to rotate each arm to its vertical orientation, one at a time (clockwise or counterclockwise), without collisions nor rotating any arm more than once. This scenario is an example of the more general $k$-Compatible Ordering problem, where $n$ agents, each capable of $k$ state-changing actions, must transition to specific target states under constraints encoded as a set $\mathcal{G}$ of $k$ pairs of directed graphs.
We show that $k$-Compatible Ordering is $\mathsf{NP}$-complete, even when $\mathcal{G}$ is planar, degenerate, or acyclic. On the positive side, we provide polynomial-time algorithms for cases such as when $k = 1$ or $\mathcal{G}$ has bounded treewidth. We also introduce generalized variants supporting multiple state-changing actions per agent, broadening the applicability of our framework. These results extend to a wide range of scheduling, reconfiguration, and motion planning applications in constrained environments.