Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Non-bipartite graphs without theta subgraphs
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
Sheffer Polynomials and the s-ordering of Exponential Boson Operators
Published in J. Math. Phys. 66 (2025), 122101
• View Publication
• BIB
The s-ordered form of any product of single-mode boson creation and annihilation operators, containing only a single annihilator, is computed explicitly. The s-ordering concept originated in quantum optics, but subsumes normal, symmetric (Weyl), and anti-normal ordering for any two operators satisfying a canonical commutation relation. Because the s-ordering map can be viewed as producing a function of a complex variable, its inverse is a quantization map that takes such "classical" functions to quantum operators. The explicit s-ordered expressions are derived with the aid of a parametric family of Sheffer polynomial sequences (or equivalently a parametric exponential Riordan array of polynomial coefficients), called the Hsu-Shiue family. To yield orderings interpolating between normal and anti-normal, this family must be extended.
Eigenvalue Distribution of Large Weighted Random Sparse Uniform $q$-Hypergraphs
We study eigenvalue distribution of the adjacency matrix $A^{(N,p,q)}$ of weighted random uniform $q$-hypergraphs $Γ= Γ_{N,p,q}$. We assume that the graphs have $N$ vertices and the average number of hyperedges attached to one vertex is $(q-1)!\cdot p$. To each edge of the graph $e_{ij}$ we assign a weight given by a random variable $a_{ij}$ with all moments finite. We consider the moments of normalized eigenvalue counting function $σ_{N,p,q}$ of $A^{(N,p,q)}$. Assuming all moments of $a$ finite, we obtain recurrent relations that determine the moments of the limiting measure $σ_{p,q} = \lim_{N\to\infty} σ_{N,p,q}$.
Some Results in Spectral Synthesis Over ${\mathbb Z}_N^d$
A classical result due to Agranovsky and Narayanan (\cite{AN04}) says that if the support of the Fourier transform of $f: {\mathbb R}^n \to {\mathbb C}$ is carried by a smooth measure on a $d$-dimensional manifold $M$, and $f \in L^p({\mathbb R}^d)$ for $p \leq \frac{2n}{d}$, then $f$ is identically equal to $0$. In this paper, we investigate an analogous problem for functions $f: {\mathbb Z}_N^d \to {\mathbb C}$. Bourgain's celebrated result on $Λ_p$ sets (\cite{Bou89}), random constructions (\cite{Bab89}), and connections with the theory of exact signal recovery (\cite{DS89}, \cite{MS73}, \cite{IKLM24}, \cite{IM24}) play an important role.
Non-r-partite graphs without complete split subgraphs
Published
• View Publication
• BIB
The classical Simonovits' chromatic critical edge theorem shows that for sufficiently large $n$, if $H$ is an edge-color-critical graph with $χ(H)=p+1\ge 3$, then the Turán graph $T_{n,p}$ is the unique extremal graph with respect to ${\rm ex}(n,H)$. Denote by ${\rm EX}_{r+1}(n,H)$ and ${\rm SPEX}_{r+1}(n,H)$ the family of $n$-vertex $H$-free non-$r$-partite graphs with the maximum size and with the spectral radius, respectively. 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$ and showed that $\mathrm{SPEX}_{r+1}(n,K_{r+1})\subseteq \mathrm{EX}_{r+1}(n,K_{r+1})$. It is interesting to study the extremal or spectral extremal problems for color-critical graph $H$ in non-$r$-partite graphs. For $p\geq 2$ and $q\geq 1$, we call the graph $B_{p,q}:=K_p\nabla qK_1$ a complete split graph (or generalized book graph). In this note, we determine the unique spectral extremal graph in $\mathrm{SPEX}_{r+1}(n,B_{p,q})$ and show that $\mathrm{SPEX}_{r+1}(n,B_{p,q})\subseteq \mathrm{EX}_{r+1}(n,B_{p,q})$ for sufficiently large $n$.
On the Metric Dimension of Generalized Petersen Graphs $P(n,3)$
The metric dimension of a graph $G$ is defined as the minimum number of vertices in a subset $S\subset V(G)$ such that all other vertices are uniquely determined by their distances to the vertices in $S$, and is denoted by $\dim(G)$. In this paper, we study the metric dimension of generalized Petersen graphs $P(n,3)$. The notions of good and bad vertices, which are introduced in Imran et al. (2014, Ars. Combinatoria 117, 113-130), are instrumental in determining the lower bound of the metric dimension for certain types of graphs. We propose an approach, based on these notions, to determine the lower bound of $\dim(P(n,3))$. Moreover, we shall prove that $\dim(P(n,3))=4$, where $n\equiv2,3,4,5 \,\,(\text{mod}\,\, 6)$ and is sufficiently large.
Quantum Corner Polynomials: A Generalization of Super Macdonald Polynomials and Their VOA Correspondence
Published
• View Publication
• BIB
In this paper, we introduce a family of partially symmetric polynomials, which we call quantum corner polynomials, as a generalization of the Sergeev-Veselov super Macdonald polynomials. We show that these quantum corner polynomials are precisely the partially symmetric polynomials corresponding to the quantum corner VOAs. Furthermore, we provide a detailed proof of the partial symmetricity of these polynomials.
Perfect tilings with the generalised triangle in $k$-graphs
Denote by $T_k$ the generalised triangle, a $k$-uniform hypergraph on vertex set $\{1,2,\dots,2k-1\}$ with three edges $\{1,\dots,k-1,k\}$,$\{1,\dots,k-1,k+1\}$ and $\{k,k+1,\dots,2k-1\}$. Recently, Bowtell, Kathapurkar, Morrison and Mycroft [arXiv: 2505.05606] established the exact minimum codegree threshold for perfect $T_3$-tilings in $3$-graphs. In this paper, we extend their result to all $k \geq 3$, determining the optimal minimum codegree threshold for perfect $T_k$-tilings in $k$-graphs. Our proof uses the lattice-based absorption method, as is usual, but develops a unified and effective approach to build transferrals for all uniformities, which is of independent interest. Additionally, we establish an asymptotically tight minimum codegree threshold for a rainbow variant of the problem.
Nucleation-free independent graphs with implied nonedges
We give inductive constructions of independent graphs that contain implied nonedges but do not contain any non-trivial rigid subgraphs, or \emph{nucleations}: some of the constructions and proofs apply to 3-dimensional abstract rigidity matroids with their respective definitions of nucleations and implied nonedges. The first motivation for the inductive constructions of this paper, which generate an especially intractable class of flexible circuits, is to illuminate further obstacles to settling Graver's maximality conjecture that the 3-dimensional generic rigidity matroid is isomorphic to Whiteley's cofactor matroid (the unique maximal matroid in which all graphs isomorphic to $K_5$ are circuits). While none of the explicit examples we provide refutes the maximality conjecture (since their properties hold in both matroids) the construction schemes are useful regardless whether the conjecture is true or false, e.g. for constructing larger (counter)examples from smaller ones. The second motivation is to make progress towards a polynomial-time algorithm for deciding independence in the abovementioned maximal matroid. Nucleation-free graphs with implied nonedges, such as the families constructed in this paper, are the key obstacles that must be dealt with for improving the current state of the art.
Log-concavity of rows of triangular arrays satisfying a certain super-recurrence
Recurrences of the form \begin{equation*}
T(n,k) = (αn+βk +γ) \ T(n-1,k) + (α'n+β'k+γ')\ T(n-1,k-1)+δ_{n,0}δ_{k,0}. \end{equation*} show up as the recurrence for many well-studied combinatorial sequences such as the Stirling numbers of first and second kind, the Lah numbers, Eulerian numbers etc. Recently, many of these sequences have received generalisations that obey a recurrence of the form \begin{equation*}
T(n,k) = (αn+βk +γ)^l \ T(n-1,k) + (α'n+β'k+γ')^l\ T(n-1,k-1)+δ_{n,0}δ_{k,0}. \end{equation*} where $l$ is a positive integer. Many of these generalised sequences also satisfy properties such as unimodality, log-concavity, gamma-nonnegativity, real-rootedness that the original sequences satisfy. In this article, we give sufficient conditions for rows of triangular arrays, arising from the recurrence stated above, to be log-concave. We show that our sufficient condition is satisfied by many of the classical examples, thereby giving a new unified approach to proving their log-concavity. This sufficient condition also confirms a conjecture of Tankosic about the log-concavity of generalised Lah numbers.
Our main technique will be to interpret the triangular array $(T(n,k))$ as weighted lattice paths and produce an injection that is increasing in weight. Finally, we introduce a two-parameter generalisation of the Eulerian numbers analogous to the generalised Stirling and Lah counterparts. We prove that this sequence is palindromic and make some remarks about their gamma-nonnegativity and real-rootedness.
Some New Modular Rank Four Nahm Sums as Lift-dual of Rank Three Examples
We find nine new sets of rank four Nahm sums associated with nine different numeric matrices which are likely to be modular. They are discovered by applying the lift-dual operation to some modular rank three Nahm sums in the works of Zagier and the authors. We prove the modularity of four sets of these Nahm sums by establishing Rogers--Ramanujan type identities which express them as modular infinite products. We use various $q$-series techniques including the constant term method and Bailey pairs to prove these identities. Meanwhile, we present some conjectural identities expressing several Nahm sums as modular infinite products.
A basis of the alternating diagonal coinvariants
We construct an explicit vector space basis in terms of bivariate Vandermonde determinants for the alternating component of the diagonal coinvariant ring $DR_n$, answering a question of Stump. As a Corollary, we recover the combinatorial formula of the $q,t$-Catalan numbers. Moreover, we construct a decomposition of an $m$-Dyck path into an $m$-tuple of Dyck paths such that the area sequence and bounce sequence of the $m$-Dyck path is entrywise the sum of the area sequences and bounce sequences of the Dyck paths in the tuple.
Cassini-Catalan Determinants via Ramanujan's Theta Identity
In this paper, we show that the classical Cassini and Catalan identities for Fibonacci numbers arise naturally from a single quadratic theta-function identity of Ramanujan. Expanding the identity $ψ(q)ψ(q^{3})=ψ(q^{4})\varphi(q^{6})+q\,\varphi(q^{2})ψ(q^{12})$ via the Jacobi triple product and equating coefficients yields the unified $q$-determinant $F_{n+r}(q)F_{n-r}(q)-F_{n}(q)^{2}=(-q)^{\,n-r}F_{r}(q)^{2}$, $n\ge r\ge 1$, where $ψ(q)$ and $\varphi(q)$ are Ramanujan's theta functions with $q$ a complex parameter in the unit disc $(\lvert q \rvert < 1)$ and $F_n(q)$ denotes the Carlitz $q$-Fibonacci polynomials. The radial limit $q\to1^{-}$ recovers Cassini's formula ($r=1$) and Catalan's one-parameter extension, while the same derivation with an auxiliary weight produces new partition-refined versions. The argument uses only standard $q$-series algebra (triple-product expansions, $q$-Pochhammer cancellations, and coefficient extraction), providing a transparent modular explanation of the alternating sign $(-1)^{\,n-r}$ in Catalan's identity through the level-6 provenance of $\varphi$ and $ψ$. Beyond unifying Cassini\textendash Catalan in a single framework, the method lifts seamlessly to higher-order recurrences, giving a template for Tribonacci-type determinants and suggesting congruence phenomena obtained from modular dissections and root-of-unity limits. The results place familiar Fibonacci determinants within Ramanujan's analytic landscape, indicate routes to combinatorial bijections that mirror the analytic cancellations, and connect with themes in modern $q$-series\textemdash ranging from colored partition identities to quantum-modular and exactly solvable models\textemdash thereby highlighting both the explanatory power and the ongoing relevance of Ramanujan's theta identities.
Derivatives of padded Schubert polynomials through pipe dreams
In recent work, Hamaker, Pechenik, Speyer, and Weigandt showed that a certain differential operator $\nabla$ expands positively in the basis of Schubert polynomials. For $π$ a dominant permutation, Gaetz and Tung showed an analogous positivity result holds for a dual differential operator $Δ$ acting on $π$-padded Schubert polynomials. In this paper, we provide a new proof of the result of Gaetz and Tung using the combinatorics of pipe dreams.