Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Arithmetic properties of generalized Delannoy polynomials and Schröder polynomials
Let $n$ be any nonnegative integer and \[ D_n^{(h)}(x)=\sum_{k=0}^{n}\binom{n+k}{2k}^{h}\binom{2k}{k}^{h}{x}^{k} \text{ and } S_{n}^{(h)}(x)=\sum_{k=0}^{n}\binom{n+k}{2k}^{h}C_{k}^{h}{x}^{k} \] be the generalized Delannoy polynomials and Schröder polynomials respectively. Here $C_k$ is the Catalan number and $h$ is a positive integer. In this paper, we prove that $$\begin{align*} & \frac{(2,n)}{n(n+1)(n+2)} \sum_{k=1}^{n}k^a(k+1)^a(2k+1)D_{k}^{(h)}(x)^{m}\in\mathbb{Z}[x],\\ &\frac{(2,hm-1,n)}{n(n+1)(n+2)} \sum_{k=1}^{n}(-1)^{k}k^a(k+1)^a(2k+1)D_{k}^{(h)}(x)^{m}\in\mathbb{Z}[x],\\ &\frac{(2,n)}{n(n+1)(n+2)} \sum_{k=1}^{n}k^a(k+1)^a(2k+1)S_{k}^{(h)}(x)^{m}\in\mathbb{Z}[x],\\ &\frac{(2,m-1,n)}{n(n+1)(n+2)} \sum_{k=1}^{n}(-1)^{k}k^a(k+1)^a(2k+1)S_{k}^{(h)}(x)^{m}\in\mathbb{Z}[x]. \end{align*}$$ Taking $a=1$ will confirm some of Z.-W. Sun's conjectures.
Lower bounding the MaxCut of high girth 3-regular graphs using the QAOA
We study MaxCut on 3-regular graphs of minimum girth $g$ for various $g$'s. We obtain new lower bounds on the maximum cut achievable in such graphs by analyzing the Quantum Approximate Optimization Algorithm (QAOA). For $g \geq 16$, at depth $p \geq 7$, the QAOA improves on previously known lower bounds. Our bounds are established through classical numerical analysis of the QAOA's expected performance. This analysis does not produce the actual cuts but establishes their existence. When implemented on a quantum computer, the QAOA provides an efficient algorithm for finding such cuts, using a constant-depth quantum circuit. To our knowledge, this gives an exponential speedup over the best known classical algorithm guaranteed to achieve cuts of this size on graphs of this girth. We also apply the QAOA to the Maximum Independent Set problem on the same class of graphs.
Some remarks on the results derived by Ramy Takieldin and Patrick Solé (2025)
The purpose of this note is to rectify a typographical error in the statements of Theorems 5.5 and 5.6 of Sharma, Chauhan and Singh[3] and further analyze and discuss the significance of the results derived in Takieldin and Solé [4]. In our opinion, several claims made by the authors in [4] are either factually incorrect or lack adequate substantiation, which may confuse the readers about the contributions of [1,3]. Our remarks on the work [4] intend to provide the clarity and inform about the true contributions and findings of our research.
Tropical Poincaré bundle, Fourier-Mukai transform, and a generalized Poincaré formula
We construct a tropical analogue of the Poincaré bundle and prove a (cohomological) Fourier-Mukai transform for real tori with integral structures. We then prove a tropical analogue of Beauville's generalized Poincaré formula for polarized abelian varieties. Some consequences include a geometric Riemann-Roch theorem for tropical abelian varieties, as well as a tropical Poincaré-Prym formula which was recently conjectured by Röhrle and Zakharov.
Every $2k$-connected $(P_2\cup kP_1)$-free graph with toughness greater than one is hamiltonian-connected
Given a graph $H$, a graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. Shi and Shan conjectured that every $1$-tough $2k$-connected $(P_2 \cup kP_1)$-free graph is hamiltonian for $k \geq 4$. This conjecture has been independently confirmed by Xu, Li, and Zhou, as well as by Ota and Sanka. Inspired by this, we prove that every $2k$-connected $(P_2\cup kP_1)$-free graph with toughness greater than one is hamiltonian-connected.
Topological Indices With Degree Sequence $\mathscr{D}$ of Tree
In this paper, we refer to a asymptotic degree sequence as $\mathscr{D}=(d_1,d_2,\dots,d_n)$. The examination of topological indices on trees gives us a general overview through bounds to find the maximum and minimum bounds which reflect the maximum and minimum number of edges incident to every vertex in the graph, Albertson index known as $\sum_{uv\in E(G)}\lvert d_u(G)-d_v(G) \rvert$, Sigma index $σ(G)$ among $\mathscr{D}$ of tree $T$ when $d_n\geqslant \dots \geqslant d_1$. According to the first zegrb we show for a degree sequence of order $n=4$, $\operatorname{irr}(T)=M_1(T)^2-2\sqrt{M_1(T)}+\sum_{i=1}^4\left|x_i-x_{i+1}\right|-(b+c)-1$.
Connected Partitions via Connected Dominating Sets
The classical theorem due to Győri and Lovász states that any $k$-connected graph $G$ admits a partition into $k$ connected subgraphs, where each subgraph has a prescribed size and contains a prescribed vertex, as long as the total size of target subgraphs is equal to the size of $G$. However, this result is notoriously evasive in terms of efficient constructions, and it is still unknown whether such a partition can be computed in polynomial time, even for $k = 5$.
We make progress towards an efficient constructive version of the Győri--Lovász theorem by considering a natural strengthening of the $k$-connectivity requirement. Specifically, we show that the desired connected partition can be found in polynomial time, if $G$ contains $k$ disjoint connected dominating sets. As a consequence of this result, we give several efficient approximate and exact constructive versions of the original Győri--Lovász theorem:
1. On general graphs, a Győri--Lovász partition with $k$ parts can be computed in polynomial time when the input graph has connectivity $Ω(k \cdot \log^2 n)$;
2. On convex bipartite graphs, connectivity of $4k$ is sufficient;
3. On biconvex graphs and interval graphs, connectivity of $k$ is sufficient, meaning that our algorithm gives a ``true'' constructive version of the theorem on these graph classes.
J-braid groups are torus necklace groups
We construct a family of links we call torus necklaces for which the link groups are precisely the braid groups of generalised $J$-reflection groups. Moreover, this correspondence exhibits the meridians of the aforementioned link groups as braid reflections. In particular, this construction generalises to all irreducible rank two complex reflection groups a well-known correspondence between some rank two complex braid groups and some torus knot groups. In addition, as abstract groups, we show that the family of link groups associated to Seifert links coincides with the family of circular groups. This shows that every time a link group has a non-trivial center, it is a Garside group.
An infinite family of simple graphs underlying chiral, orientable reflexible and non-orientable rotary maps
In this paper, we provide the first known infinite family of simple graphs, each of which is the skeleton of a chiral map, a skeleton of a reflexible map on an orientable surfaces, as well as a skeleton of a reflexible map on a non-orientable surface. This family consists of all lexicographic product $C_n[mK_1]$, where $m\ge 3$, $n = sm$, with $s$ an integer not divisible by $4$. This answers a question posed in [S.\ Wilson, Families of regular graphs in regular maps, {\em Journal of Combinatorial Theory, Series B} 85 (2002), 269--289].
The Scarf complex of squarefree powers, symbolic powers of edge ideals, and cover ideals of graphs
Published in Communications in Algebra, 54(3), 982--1001 (2026)
• View Publication
• BIB
Every monomial ideal $I$ has a Scarf complex, which is a subcomplex of its minimal free resolution. We say that $I$ is Scarf if its Scarf complex is also its minimal free resolution. In this paper, we fully characterize all pairs $(G,n)$ of a graph $G$ and an integer $n$ such that the squarefree power $I(G)^{[n]}$ or the symbolic power $I(G)^{(n)}$ of the edge ideal $I(G)$ is Scarf. We also determine all graphs $G$ such that its cover ideal $J(G)$ is Scarf, with an explicit description when $G$ is either chordal or bipartite.
Exercises in Iterational Asymptotics III
The nonlinear recurrences we consider here include simple continued fractions for the Golden & Silver means and a parametric family of cubics in connection with Abel's functional equation.
A Spectral Approach to Kemeny's Constant
Kemeny's constant quantifies the expected time for a random walk to reach a randomly chosen vertex, providing insight into the global behavior of a Markov chain. We present a novel eigenvector-based formula for computing Kemeny's constant. Moreover, we analyze the impact of network structure on Kemeny's constant. In particular, we use various spectral techniques, such as spectral sparsification of graphs and eigenvalue interlacing, and show that they are particularly useful in this context for deriving approximations and sharp bounds for Kemeny's constant
Good Triangulations of Cosmological Polytopes
Cosmological polytopes of graphs are a geometric tool in physics to study wavefunctions for cosmological models whose Feynman diagram is given by the graph. After their recent introduction by Arkani-Hamed, Benincasa and Postnikov the focus of interest shifted towards their mathematical properties, e.g., their face structure and triangulations. Juhnke, Solus and Venturello used toric geometry to show that these polytopes have a so-called good triangulation that is unimodular. Based on these results Bruckamp et al. studied the Ehrhart theory of those polytopes and in particular the h*-polynomials of cosmological polytopes of multitrees and multicycles. In this article we complete this part of the story. We enumerate all maximal simplices in good triangulations of any cosmological polytope. Furthermore, we provide a method to turn such a triangulation into a half-open decomposition from which we deduce that the h*-polynomial of a cosmological polytope is a specialization of the Tutte polynomial of the defining graph. This settles several open questions and conjectures of Juhnke, Solus and Venturello as well as Bruckamp et al.
Deciding if a DAG is Interesting is Hard
The \emph{interestingness score} of a directed path $Π= e_1, e_2, e_3, \dots, e_\ell$ in an edge-weighted directed graph $G$ is defined as $\texttt{score}(Π) := \sum_{i=1}^\ell w(e_i) \cdot \log{(i+1)}$, where $w(e_i)$ is the weight of the edge $e_i$. We consider two optimization problems that arise in the analysis of Mapper graphs, which is a powerful tool in topological data analysis. In the IP problem, the objective is to find a collection $\mathcal{P}$ of edge-disjoint paths in $G$ with the maximum total interestingness score. %; that is, two raised to the power of the sum of the weights of the paths in $\mathcal{P}$. For $k \in \mathbb{N}$, the $k$-IP problem is a variant of the IP problem with the extra constraint that each path in $\mathcal{P}$ must have exactly $k$ edges. Kalyanaraman, Kamruzzaman, and Krishnamoorthy (Journal of Computational Geometry, 2019) claim that both IP and $k$-IP (for $k \geq 3$) are NP-complete. We point out some inaccuracies in their proofs. Furthermore, we show that both problems are NP-hard in directed acyclic graphs.
Tiling of Strip Lattices and Asymptotics
This article examines the tilings of a strip with equilateral triangles. The number of ways in which the lattices can be covered with a combination of tiles of the two types of triangles is related to Pell's numbers. Additionally, the question of the number of tiles required for all possible tilings - both the number of tiles in total and by type - is developed for the first time in this article.
Wavefunction coefficients from Amplitubes
Given a graph its set of connected subgraphs (tubes) can be defined in two ways: either by considering subsets of edges, or by considering subsets of vertices. We refer to these as binary tubes and unary tubes respectively. Both notions come with a natural compatibility condition between tubes which differ by a simple adjacency constraint. Compatible sets of tubes are refered to as tubings. By considering the set of binary tubes, and summing over all maximal binary-tubings, one is lead to an expression for the flat space wavefunction coefficients relevant for computing cosmological correlators. On the other hand, considering the set of unary tubes, and summing over all maximal unary-tubings, one is lead to expressions recently referred to as amplitubes which resemble the scattering amplitudes of $\text{tr}(φ^3)$ theory. In this paper we study the two definitions of tubing in order to provide a new formula for the flat space wavefunction coefficient for a single graph as a sum over products of amplitubes. Motivated by our rewriting of the wavefunction coefficient we introduce a new definition of tubing which makes use of both the binary and unary tubes which we refer to as cut tubings. We explain how each cut tubing induces a decorated orientation of the underlying graph satisfying an acyclic condition and demonstrate how the set of all acyclic decorated orientations for a given graph count the number of basis functions appearing in the kinematic flow.
Symmetric 2-(35,17,8) designs with an automorphism of order 2
The largest prime p that can be the order of an automorphism of a 2-(35,17,8) design is p=17, and all 2-(35,17,8) designs with an automorphism of order 17 were classified by Tonchev. The symmetric 2-(35,17,8) designs with automorphisms of odd prime order $p<17$ were also classified. In this paper we give the classification of all symmetric 2-(35,17,8) designs that admit an automorphism of order $p=2$. It is shown that there are exactly $11,642,495$ nonisomorphic such designs. Furthermore, it is shown that the number of nonisomorphic 3-(36,18,8) designs which have at least one derived 2-$(35,17,8)$ design with an automorphism of order 2, is $1,015,225$.
Hermitian adjacency matrices with at most three distinct eigenvalues
Published in Discrete Mathematics. 349 (2026) 114872
• View Publication
• BIB
We study oriented graphs whose Hermitian adjacency matrices of the second kind have few eigenvalues. We give a complete characterization of the oriented graphs with two distinct eigenvalues, showing that there are only four such graphs. We extend this result to mixed graphs. We show that there are infinitely many regular tournaments with three distinct eigenvalues. We extend our main results to Hermitian adjacency matrices defined over other roots of unity.
Dual Murnaghan-Nakayama rule for Hecke algebras in Type $A$
Let $χ^λ_μ$ be the value of the irreducible character $χ^λ$ of the Hecke algebra of the symmetric group on the conjugacy class of type $μ$. The usual Murnaghan-Nakayama rule provides an iterative algorithm based on reduction of the lower partition $μ$. In this paper, we establish a dual Murnaghan-Nakayama rule for Hecke algebras of type $A$ using vertex operators by applying reduction to the upper partition $λ$. We formulate an explicit recursion of the dual Murnaghan-Nakayama rule by employing the combinatorial model of ``brick tabloids", which refines a previous result by two of us (J. Algebra 598 (2022), 24--47).
Rogers-Ramanujan Type $q$-Exponential Operator and Stieljes-Widgert Polynomials
In this paper, we use the Rogers-Ramanujan type $q$-exponential operator $\mathcal{R}(qD_{q})$ to derive generating functions, and Mehler and Rogers formulas, for the non-normalized homogeneous Stieljes-Wigert polynomials $\mathrm{S}_{n}(x,y;q)$.