Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Hall-Littlewood-positive harmonic functionals on the algebra of symmetric functions
We study the problem of describing the set of real functionals on the quotient $\textrm{Sym}/(p_2-1)$ of the ring of symmetric functions that are nonnegative on the images of certain modified Hall-Littlewood symmetric functions. This question is equivalent to the problem, posed in [Adv Math 395, p.108087 (2022)], of describing the set of coadjoint-invariant measures for unitary groups over a finite field in the infinite-dimensional setting. Our main results constitute partial progress towards this problem. Firstly, we show that the desired set of functionals is very large, in the sense that it contains explicit families of examples depending on infinitely many parameters. Secondly, we provide an analogue of Kerov's mixing construction that produces new sought after functionals from known old ones. This construction depends on an explicit "$p_2$-twisted action" of $\textrm{Sym}$ on itself and the resulting dual map that makes $\textrm{Sym}$ into a comodule. Finally, our third main result explains the relation between the $p_2$-twisted comultiplication and the usual comultiplication on $\textrm{Sym}$.
On Generalized Token Graphs
Published
• View Publication
• BIB
The vertices of a $k$-token graph of a graph $G$ correspond to $k$ indistinguishable tokens placed on $k$ different vertices of $G$. Changing some conditions on both the nature of the tokens and the number of tokens allowed in each vertex of $G$, we define a generalization of token graphs, which we call generalized token graphs or simply supertoken graphs, which have different applications. Depending on the above conditions, different families of graphs (such as the Cartesian $k$-th power of $G$ by itself) are obtained, and we present some of their properties, including order, size, and connectivity.
An improved bound for sumsets of thick compact sets via the Shapley--Folkman theorem
Let $E_1,\dots,E_n \subset \mathbb{R}^d$ be compact sets of positive diameter with Feng--Wu thickness at least $c>0$. Feng and Wu proved that $E_1+\cdots+E_n$ has non-empty interior when $n>2^{11}c^{-3}+1$. We show that \[n>\frac{\sqrt d}{(\sqrt{1+c}-1)^2}=\frac{\sqrt d\,(\sqrt{1+c}+1)^2}{c^2}\] already suffices. In particular, since $0<c\le 1$, the bound $n>6\sqrt d\,c^{-2}$ is enough. For fixed dimension $d$, this improves the exponent in $c^{-1}$ from $3$ to $2$, while introducing only an explicit factor of $\sqrt d$. The proof replaces the one-summand-at-a-time enlargement of Feng--Wu by a simultaneous convexification step based on a radius form of the Shapley--Folkman theorem.
On Semisymmetric Height and a Multidimensional Generalization of Weighted Catalan Numbers
Weighted Catalan numbers are a class of weighted sums over Dyck paths. Well-studied for their arithmetic properties and applications to enumerative combinatorics, these numbers were recently generalized to the setting of $k$-dimensional Catalan numbers for $k \geq 2$. In this paper, we introduce the $k$-dimensional semisymmetric weighted Catalan numbers ($k$-dimensional SSWCNs), an alternative $k$-dimensional generalization, along with their variant, the $k$-dimensional $u$-bounded semisymmetric weighted Catalan numbers ($k$-dimensional $u$-bounded SSWCNs). We define these two classes of numbers using the notion of semisymmetric height, a new statistic on points in $\mathbb{Z}^k_{\geq 0}$ motivated by geometric symmetries of $k$-dimensional analogs of Dyck paths and of the fundamental Weyl chamber of type $A_{k-1}$. For our main results, we prove the eventual periodicity of $k$-dimensional SSWCNs and their $u$-bounded variants modulo a suitable integer $m$, and we derive formulas for several classes of $k$-dimensional $u$-bounded SSWCNs. Additionally, using semisymmetric height, we derive novel analogs in the $k$-dimensional setting of the integer sequence counting Dyck paths by height and of the Narayana numbers. We conclude the paper with a future direction for generalizing weighted Catalan numbers to the $k$-dimensional setting.
Counting geodesic paths in graphs
Published
• View Publication
• BIB
A geodesic is a shortest path which connects a pair of vertices of a graph G. In this paper we define the geodesic subpath number gpn(G) of a graph G as the number of geodesics in G. The number of subtrees and subpaths are already studied in literature, but they are both large quantities. Hence, the geodesic subpath number which is related to these quantities but smaller than both, seems worthy of investigation. We first consider extremal graphs with respect to the geodesic subpath number among all connected graphs on n vertices. This number is minimized by the so called geodetic graphs, i.e. graphs in which each pair of vertices is connected by precisely one geodesic. As for the graphs which maximize the geodesic subpath number, we provide an upper bound on gpn(G) in terms of n and we further consider several graph families which might have a large gpn(G). Yet, their value of gpn(G) still does not attain the established bound, so narrowing the gap remains as an open problem. We also consider the class of cactus graphs on n vertices and k cycles and among them characterize extremal graphs with respect to this new invariant.
Morse functions with regular level sets consisting of $2$-dimensional spheres, $2$-dimensional tori, or Klein Bottles
In this paper, we study Morse functions with regular level sets consisting of spheres, tori, or Klein Bottles on $3$-dimensional closed manifolds.
We characterize $3$-dimensional manifolds represented by connected sums each of whose summands is the product $S^1 \times S^2$ of the circle $S^1$ and the sphere $S^2$, lens spaces, or non-orientable closed and connected manifolds of genus $1$ by a certain subclass of such Morse functions. This is a kind of extensions of the orientable case, by Saeki, in 2006. This is a variant of its extension by the author for $3$-dimensional orientable manifolds represented by connected sums each of whose summands is the product $S^1 \times S^2$, lens spaces, or torus bundles over $S^1$ by a certain class of Morse-Bott functions. We also classify Morse functions with given regular level sets consisting of $S^2$, $S^1 \times S^1$, or Klein Bottles in a certain sense, generalizing some previous work by the author.
The matching book embedding of the $F$-sum of two graphs
The $F$-sum is a new graph operation defined by combining four graph transformation operations with the Cartesian product operation. A matching book embedding of a graph $G$ is a book embedding in which the vertices of $G$ are placed on a fixed linear order along the spine, and the edges are assigned to pages such that (i) no two edges on the same page cross, and (ii) each vertex has degree at most one on every page. The minimum number of pages required for such a matching book embedding is called the \emph{matching book thickness} of $G$, denoted by $mbt(G)$. A graph $G $ is dispersable if and only if $ mbt(G) = Δ(G) $, and nearly dispersable if and only if $mbt(G) = Δ(G) + 1 $. In this paper, we determine the dispersability of outerplanar graphs and establish an upper bound on the matching book thickness of the $F$-sum of any simple graph with any dispersable bipartite graph.
Determinantally Equivalent Functions Beyond the Nowhere-Zero Case
Let $Λ$ be a set and $\mathbb{F}$ a field, and suppose that $K,Q:Λ^2\to\mathbb{F}$ are two functions such that for any $n\in\mathbb{N}$ and $x_1,x_2,\ldots,x_n\inΛ$, the determinants of matrices $(K(x_i,x_j))_{1\leq i,j\leq n}$ and $(Q(x_i,x_j))_{1\leq i,j\leq n}$ agree. To what extent is it true that solely the two canonical transformations $(Tf)(x,y)=f(y,x)$ and $(Tf)(x,y)=g(x)g(y)^{-1}f(x,y)$, for some nowhere-zero function $g$, can be used to transform $Q$ into $K$?
In the symmetric case, this holds without further assumptions (see [Marco Stevens, Equivalent symmetric kernels of determinantal point processes, RMTA, 10(03):2150027, 2021]). Without symmetry, however, the statement fails in general. In [Harry Sapranidis Mantelos, Determinantally equivalent nonzero functions, Discrete Mathematics, 349(6):115021, 2026], it is shown that the conclusion remains valid under a natural structural condition, referred to as property D, together with the additional assumption that both functions are nowhere zero.
In the present paper, we remove this nowhere-zero hypothesis. Building on the combinatorial framework introduced in Mantelos (2026), we extend its underlying principle through a detailed analysis of the implications of property D. Our proof avoids linear algebra entirely and instead exploits the combinatorial structure of permutations in the definition of the determinant, interpreting them as cycles in a graph. This yields an elementary and intuitive argument, which in the finite case recovers a version of Loewy's classical matrix result from [Raphael Loewy, Principal minors and diagonal similarity of matrices, Linear Algebra and its Applications 78 (1986), 23--64].
Equality in Fill's spectral gap problem
We study the adjacent-transposition chain on the symmetric group $\mathfrak{S}_n$ with a regular parameter vector $\vec{p} = (p_{i,j})_{i\neq j}$. Fill's spectral gap conjecture, recently resolved in the affirmative by Greaves-Zhu, states that among all regular parameter vectors, the spectral gap of the transition matrix is minimized by the uniform vector $p_{i,j}= 1/2$ for all $i\neq j$.
We prove the stronger statement that among all regular parameter vectors, the spectral gap is minimized if and only if $\vec{p}$ has a neutral label, i.e., there exists $c \in [n]$ such that $p_{c,i} = 1/2$ for all $i\neq c$. Moreover, in this case, we show that the multiplicity of the second largest eigenvalue is equal to the number of neutral labels, unless the number of neutral labels is $n-2$ or $n$, in which case the multiplicity is $n-1$. This confirms a conjecture of Fill.
2-Geodesic-transitive graphs of order twice a prime power
Published
• View Publication
• BIB
In this paper, we study 2-geodesic-transitive graphs of order twice an odd prime power. Classifications of corresponding basic graphs and such graphs with almost simple automorphism groups are given, and a reduction theorem for general case is obtained. Certain new 2-geodesic-transitive graphs are found, and a Magma code regarding 2-geodesic-transitive graphs is provided.
Independent domination polynomial of comaximal graphs of commutative rings
Published in Algebra Colloquium, in the second issue of 2026
• View Publication
• BIB
The comaximal graph $ Γ(R) $ of a commutative ring $R$ is a simple graph with vertex set $ R $ and two distinct vertices $ a $ and $b $ of $ Γ(R) $ are adjacent if and only if $ aR+bR=R $, where $ aR $ is the ideal generated by $ a $ in $ R $. In this article, the independent domination polynomial $ D_{i}(Γ(\mathbb{Z}_{n}),x) $ of $ Γ(\mathbb{Z}_{n}) $ is discussed, along with its unimodal and log-concave properties for certain values of $n$. Some auxiliary results related to $D_{i}(Γ(\mathbb{Z}_{n}),x)$ are presented in terms of their zeros. In addition, we determine the independence polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ of $ Γ(\mathbb{Z}_{n}) $ for special values of $n$ and provide a general result associated with it. The bounds for the zero of the polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ are established, and their log-concave and unimodal properties are examined.
Proof of Two Supercongruences of Guillera and Zudilin
In $2012$, Guillera and Zudilin established the following two supercongruences involving truncated Ramanujan-type series: for any odd prime $p>2$, \begin{align*} \sum_{n=0}^{p-1}\frac{(\frac{1}{2})_n(\frac{1}{3})_n(\frac{1}{4})_n(\frac{3}{4})_n}{(1)_n^5}(-1)^n\left(172n^2+75n+9\right)\left(\frac{27}{16}\right)^n\equiv 9p^2 \pmod{p^5}, \end{align*} and \begin{align*} \sum_{n=0}^{p-1}\frac{(\frac{1}{2})_n(\frac{1}{3})_n(\frac{2}{3})_n}{(1)_n^3}\left(11n+3\right)\left(\frac{27}{16}\right)^n\equiv 3p \pmod{p^3}, \end{align*} where $(a)_n=\prod_{k=0}^{n-1}(a+k)$ denotes the Pochhammer symbol (rising factorial). In this paper, we mainly apply the Wilf-Zeilberger (WZ) method and symbolic summation techniques to prove these two supercongruences.
A note on piercing discrete rectangles
In 2008, Halman proved a discrete Helly-type theorem for axis-parallel boxes in $\mathbb R^d$. Very recently, this result was extended to the $(p,q)$ setting with $p \geq q \geq d+1$ by Edwards and Soberón, and subsequently to the case $p \geq q \geq 2$ by Gangopadhyay, Polyanskii, and the author of this paper.
In this paper, we obtain improved bounds for the $(p,q)$ problem in the case $q=2$ and $d=2$. More precisely, our main result asserts that for any integer $p \geq 2$, any set $P \subseteq \mathbb R^2$, and any finite family $\mathcal B$ of axis-parallel rectangles in $\mathbb R^2$ such that every rectangle contains a point of $P$, if among every $p$ rectangles there exist two whose intersection contains a point of $P$, then there exists a subset $S \subseteq P$ of size at most $O\!\bigl( (p \log \log p)^2 \bigr)$ such that every rectangle contains a point of $S$. Moreover, when $p=2$, the size of $S$ can be bounded by $8$.
Signotopes Induce Unique Sink Orientations on Grids
A unique sink orientation (USO) is an orientation of the edges of a polytope in which every face contains a unique sink. For a product of simplices $Δ_{m-1} \times Δ_{n-1}$, Felsner, Gärtner and Tschirschnitz (2005) characterize USOs which are induced by linear functions as the USOs on a $(m \times n)$-grid that correspond to a two-colored arrangement of lines. We generalize some of their results to products $Δ^1 \times\cdots\times Δ^r$ of $r$ simplices, USOs on $r$-dimensional grids and $(r+1)$-signotopes.
The Limited Augmented Zarankiewicz Number
Published
• View Publication
• BIB
The limited augmented Zarankiewicz number $z_L(m,n)$ satisfies $\operatorname{BSR}(m,n) \ge z_L(m,n) \ge z(m,n)$, where $\operatorname{BSR}(m,n)$ is the maximum SOS rank of $m \times n$ biquadratic forms and $z(m,n)$ is the classical Zarankiewicz number.
We determine the exact values of $z_L(m,n)$ for all $m,n \le 5$. In particular, we prove that $z_L(5,3) = 9$, $z_L(5,4) = 12$, and $z_L(5,5) = 14$, confirming that previously known lower bounds are tight. Moreover, by a lifting construction we obtain $z_L(6,5) \ge 17$, which is the first example where $z_L(m,n) \ge z(m,n) + 3$, demonstrating that the gap can grow with the dimensions.
The analysis proceeds by enumerating all non-isomorphic extremal $C_4$-free graphs for each parameter set and systematically checking the admissible 2-edge augmentations. Our results reveal that the augmentability of a $C_4$-free graph depends critically on its specific structure, not merely on its edge count. These findings provide improved lower bounds for $\operatorname{BSR}(m,n)$ and offer a foundation for future investigations of larger parameters.
Gallai 3-colourings of random graphs
A Gallai $k$-colouring of a graph $G$ is a colouring of $E(G)$ with $k$ colours that induces no rainbow triangles, that is, a triangle with edges of 3 different colours. We give a first step towards estimating the number of Gallai colourings of the Erdős-Rényi random graph, by proving that for every $δ> 0$ there are $c$ and $C$ such that with high probability the number of Gallai 3-colourings of $G(n,p)$ is at least $3^{(1-δ)\binom{n}{2}p}$ for $p \leq cn^{-1/2}$, and at most $2^{(1+δ)\binom{n}{2}p}$ for $p \geq Cn^{-1/2}$.
Domino Tilings of Cruciform Regions
P. Di Francesco first introduced the "Aztec triangle" in his study of the relationship between the twenty-vertex model and domino tilings. He conjectured an exact formula for the number of tilings of the Aztec triangle, and it has since been proved by several authors. In an attempt to prove the conjecture, M. Ciucu showed that the tiling number of the Aztec triangle divides the tiling number of a new region called the "cruciform region," a superposition of two Aztec rectangles. Ciucu proved that the number of domino tilings of a cruciform region is given by a simple product formula. In this paper, we generalize Ciucu's tiling formula by providing a generating-function formula for the cruciform region.
Lozenge Tilings of Hexagons with Intrusions II: Shuffling Phenomenon
The enumeration of lozenge tilings of hexagons with holes has been studied intensively in recent years. Researchers tried to find shapes and positions of holes in hexagonal regions so that the number of lozenge tilings of the resulting regions is given by a simple product formula. In the present work, we consider new regions that are hybrids of regions studied by the first author (hexagons with intrusions) and Ciucu (F-cored hexagons). Then, we show that the tiling generating functions of these new regions under a certain weight are given by simple product formulas. To give a proof, we present shuffling theorems for lozenge tilings of hexagons with intrusions, which give simple relations between the tiling generating functions of two related hexagonal regions with intrusions.
Real Reliability Roots of Simple Graphs are Dense
We prove that the closure of the real roots of all-terminal reliability polynomials is exactly $[-1,0] \cup \{1\}$, resolving a conjecture of Brown and McMullin and refining the corresponding density result for multigraphs due to Brown and Colbourn. The crux of the proof is demonstrating that real reliability roots of edge-substitution graphs $G[H]$, where $G$ ranges over connected multigraphs and $H$ ranges over complete graphs missing an edge, are dense.
On Realizing Reconfiguration Graphs of Cliques
For a graph $H$ and an integer $k\ge 1$, the \emph{Token Sliding reconfiguration graph} $\mathsf{TS}_k(H)$ and the \emph{Token Jumping reconfiguration graph} $\mathsf{TJ}_k(H)$ have as vertices the $k$-cliques of $H$, with two vertices adjacent when one clique is obtained from the other by replacing one vertex with an adjacent non-member, and respectively by an arbitrary non-member. For a target graph $G$, we study the feasibility sets $\mathcal{K}^{\mathsf{TS}}(G)$ and $\mathcal{K}^{\mathsf{TJ}}(G)$, consisting of all integers $k$ for which $G$ is isomorphic to $\mathsf{TS}_k(H)$ and $\mathsf{TJ}_k(H)$, respectively, for some graph $H$. We determine the exact feasibility sets for complete graphs, paths, cycles, complete bipartite graphs, book graphs, friendship graphs, and their complements, and give complete classifications for all Johnson graphs.