Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On a Gallai-type problem and illumination of spiky balls and cap bodies
Published
• View Publication
• BIB
We show that any finite family of pairwise intersecting balls in $\mathbb{E}^n$ can be pierced by $(\sqrt{3/2}+o(1))^n$ points improving the previously known estimate of $(2+o(1))^n$. As a corollary, this implies that any $2$-illuminable spiky ball in $\mathbb{E}^n$ can be illuminated by $(\sqrt{3/2}+o(1))^n$ directions. For the illumination number of convex spiky balls, i.e., cap bodies, we show an upper bound in terms of the sizes of certain related spherical codes and coverings. For large dimensions, this results in an upper bound of $1.19851^n$, which can be compared with the previous $(\sqrt{2}+o(1))^n$ established only for the centrally symmetric cap bodies. We also prove the lower bounds of $(\tfrac{2}{\sqrt{3}}-o(1))^n$ for the three problems above.
On the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra
Published
• View Publication
• BIB
Recently the notion of post-Hopf algebra was introduced, with the universal enveloping algebra of a post-Lie algebra as the fundamental example. A novel property is that any cocommutative post-Hopf algebra gives rise to a sub-adjacent Hopf algebra with a generalized Grossman-Larson product. By twisting the post-Hopf product, we provide a combinatorial antipode formula for the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra. Relating to such a sub-adjacent Hopf algebra, we also obtain a closed inverse formula for the Oudom-Guin isomorphism in the context of post-Lie algebras. Especially as a byproduct, we derive a cancellation-free antipode formula for the Grossman-Larson Hopf algebra of ordered trees through a concrete tree-grafting expression.
Finite Dynamical Laminations
We develop several combinatorial notions about laminations, some with clear implications for parameter space. We introduce a simplified class of laminations called finite dynamical laminations (FDL). In order to count FDL, we introduce sibling portraits, of which we provide a comprehensive counting theorem. We provide a characterization of which periodic polygons appear in invariant laminations. We introduce the pullback tree. The base of the pullback tree is a set of laminations, and we show that those laminations are proper and invariant, and all laminations in the base of the pullback tree correspond to a polynomial. We define the generational FDL graph, and it provides combinatorial information about polynomial parameter space.
Positive $e$-expansions of the chromatic symmetric functions of KPKPs, twinned lollipops, and kayak paddles
We find a positive $e_I$-expansion for the chromatic symmetric function of KPKP graphs, which are graphs obtained by connecting a vertex in a complete graph with a vertex in the maximal clique of a lollipop graph by a path. This generalizes the positive $e_I$-expansion for the chromatic symmetric function of lollipops obtained by Tom, for that of KPK graphs obtained by Wang and Zhou, and as well for those of KKP graphs and PKP graphs obtained by Qi, Tang and Wang. As an application, we confirm the $e$-positivity of twinned lollipops. We also discover the first positive $e_I$-expansion for the chromatic symmetric function of kayak paddle graphs which are formed by connecting a vertex on a cycle and a vertex on another cycle with a path. This refines the $e$-positivity of kayak paddle graphs which was obtained by Aliniaeifard, Wang, and van Willigenburg.
Proof of a $K$-theoretic polynomial conjecture of Monical, Pechenik, and Searles
Published in Advances in Applied Mathematics, Volume 171, December 2025
• View Publication
• BIB
As part of a program to develop $K$-theoretic analogues of combinatorially important polynomials, Monical, Pechenik, and Searles (2021) proved two expansion formulas $\overline{\mathfrak{A}}_a = \sum_b Q_b^a(β)\overline{\mathfrak{P}}_b$ and $\overline{\mathfrak{Q}}_a = \sum_b M_b^a(β)\overline{\mathfrak{F}}_b,$ where each of $\overline{\mathfrak{A}}_a$, $\overline{\mathfrak{P}}_a$, $\overline{\mathfrak{Q}}_a$ and $\overline{\mathfrak{F}}_a$ is a family of polynomials that forms a basis for $\mathbb{Z}[x_1,\dots,x_n][β]$ indexed by weak compositions $a,$ and $Q_b^a(β)$ and $M_b^a(β)$ are monomials in $β$ for each pair $(a,b)$ of weak compositions. The polynomials $\overline{\mathfrak{A}}_a$ are the Lascoux atoms, $\overline{\mathfrak{P}}_a$ are the kaons, $\overline{\mathfrak{Q}}_a$ are the quasiLascoux polynomials, and $\overline{\mathfrak{F}}_a$ are the glide polynomials; these are respectively the $K$-analogues of the Demazure atoms $\mathfrak{A}_a$, the fundamental particles $\mathfrak{P}_a$, the quasikey polynomials $\mathfrak{Q}_a$, and the fundamental slide polynomials $\mathfrak{F}_a$. Monical, Pechenik, and Searles conjectured that for any fixed $a,$ $\sum_b Q_b^a(-1), \sum_b M_b^a(-1) \in \{0,1\},$ where $b$ ranges over all weak compositions. We prove this conjecture using a sign-reversing involution.
A power sum expansion for the Kromatic symmetric function
Published in Discrete Math Volume 349, Issue 5, May 2026, 114957
• View Publication
• BIB
The chromatic symmetric $X_G$ function is a symmetric function generalization of the chromatic polynomial of a graph, introduced by Stanley (1995). Stanley gave an expansion formula for $X_G$ in terms of the power sum symmetric functions $p_λ$ using the principle of inclusion-exclusion, and in arXiv:1904.01262, Bernardi and Nadeau gave an alternate $p$-expansion for $X_G$ in terms of acyclic orientations. In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-theoretic analogue of $X_G$, constructed in the same way except that each vertex is assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. They defined a $K$-analogue $\overline{p}_λ$ of the power sum basis and computed the first few coefficients of the $\overline{p}$-expansion of $\overline{X}_G$ for some small graphs $G$. They conjectured that the $\overline{p}$-expansion always has integer coefficients and asked whether there is an explicit formula for these coefficients. In this note, we give a formula for the $\overline{p}$-expansion of $\overline{X}_G$, show two ways to compute the coefficients recursively (along with examples), and prove that the coefficients are indeed always integers. In a more recent paper arXiv:2502.21285, we use our formula from this note to give a combinatorial description of the $\overline{p}$-coefficients $[\overline{p}_λ]\overline{X}_G$ and a simple characterization of their signs in the case of unweighted graphs.
On the chromatic symmetric homology for star graphs
The chromatic symmetric function $X_G$ is a power series that encodes the proper colorings of a graph $G$ by assigning a variable to each color and a monomial to each coloring such that the power of a variable in a monomial is the number of times the corresponding color is used in the corresponding coloring. The chromatic symmetric homology $H_*(G)$ is a doubly graded family of $\mathbb{C}[\mathfrak{S}_n]$-modules that was defined by Sazdanović and Yip (2018) as a categorification of $X_G$. Chandler, Sazdanović, Stella, and Yip (2023) proved that $H_*(G)$ is a strictly stronger graph invariant than $X_G$, and they also computed or conjectured formulas for it in a number of special cases. We prove and extend some of their conjectured formulas for the case of star graphs, where one central vertex is connected to all other vertices and no other pairs of vertices are connected.
Tesler matrices and Lusztig data
Published
• View Publication
• BIB
We study asymptotics of Tesler matrices using Kostant pictures, as well as partial orders on these. We show that the Lusztig data partial order on Kostant pictures refines the 'merge' partial order on Kostant pictures, and that the merge partial order on Kostant pictures is equivalent to a partial order on Tesler matrices. This equivalence requires integral flow graphs. Using Kostant pictures we find logarithmic asymptotics of some families of Tesler matrices.
The generalized Ramsey number $f(n, 5, 8) = \frac 67 n + o(n)$
Published
• View Publication
• BIB
A $(p, q)$-coloring of $K_n$ is a coloring of the edges of $K_n$ such that every $p$-clique has at least $q$ distinct colors among its edges. The generalized Ramsey number $f(n, p, q)$ is the minimum number of colors such that $K_n$ has a $(p, q)$-coloring. Gomez-Leos, Heath, Parker, Schweider and Zerbib recently proved $f(n, 5, 8) \ge \frac 67 (n-1)$. Here we prove an asymptotically matching upper bound.
On Certain Polytopes Associated to Products of Algebraic Integer Conjugates
Published
• View Publication
• BIB
Let $d>k$ be positive integers. Motivated by an earlier result of Bugeaud and Nguyen, we let $E_{k,d}$ be the set of $(c_1,\ldots,c_k)\in\mathbb{R}_{\geq 0}^k$ such that $\vertα_0\vert\vertα_1\vert^{c_1}\cdots\vertα_k\vert^{c_k}\geq 1$ for any algebraic integer $α$ of degree $d$, where we label its Galois conjugates as $α_0,\ldots,α_{d-1}$ with $\vertα_0\vert\geq \vertα_1\vert\geq\cdots \geq \vertα_{d-1}\vert$. First, we give an explicit description of $E_{k,d}$ as a polytope with $2^k$ vertices. Then we prove that for $d>3k$, for every $(c_1,\ldots,c_k)\in E_{k,d}$ and for every $α$ that is not a root of unity, the strict inequality $\vertα_0\vert\vertα_1\vert^{c_1}\cdots\vertα_k\vert^{c_k}>1$ holds. We also provide a quantitative version of this inequality in terms of $d$ and the height of the minimal polynomial of $α$.
p-adic Equiangular Lines and p-adic van Lint-Seidel Relative Bound
Published in Bulletin Polish Acad. Sci. Math. 72 (2024), 103-110
• View Publication
• BIB
We introduce the notion of p-adic equiangular lines and derive the first fundamental relation between common angle, dimension of the space and the number of lines. More precisely, we show that if $\{τ_j\}_{j=1}^n$ is p-adic $γ$-equiangular lines in $\mathbb{Q}^d_p$, then \begin{align*} (1) \quad\quad \quad \quad |n|^2\leq |d|\max\{|n|, γ^2 \}. \end{align*} We call Inequality (1) as the p-adic van Lint-Seidel relative bound. We believe that this complements fundamental van Lint-Seidel \textit{[Indag. Math., 1966]} relative bound for equiangular lines in the p-adic case.
Sequences with Inequalities
Published
• View Publication
• BIB
We consider infinite sequences of positive numbers. The connection between log-concavity and the Bessenrodt--Ono inequality had been in the focus of several papers. This has applications in the white noise distribution theory and combinatorics. We improve a recent result of Benfield and Roy and show that for the sequence of partition numbers $\{p(n)\}$ Nicolas' log-concavity result implies the result of Bessenrodt and Ono towards $p(n) \, p(m) > p(n+m)$. We provide several examples. Benfield and Roy gave a conjecture related to $\ell $-ary partition numbers. We prove part of this conjecture.
An updated survey on 2-Factors of Regular Graphs
A 2-factor of a graph $G$ is a 2-regular spanning subgraph of $G$. We present a survey summarising results on the structure of 2-factors in regular graphs, as achieved by various researchers in recent years.
Main functions and the spectrum of super graphs
Let A be a graph type and B an equivalence relation on a group $G$. Let $[g]$ be the equivalence class of $g$ with respect to the equivalence relation B. The B superA graph of $G$ is an undirected graph whose vertex set is $G$ and two distinct vertices $g, h \in G$ are adjacent if $[g] = [h]$ or there exist $x \in [g]$ and $y \in [h]$ such that $x$ and $y$ are adjacent in the A graph of $G$. In this paper, we compute spectrum of equality/conjugacy supercommuting graphs of dihedral/dicyclic groups and show that these graphs are not integral.
Diameters of endomorphism monoids of chains
The left and right diameters of a monoid are topological invariants defined in terms of suprema of lengths of derivation sequences with respect to finite generating sets for the universal left or right congruences. We compute these parameters for the endomorphism monoid $End(C)$ of a chain $C$. Specifically, if $C$ is infinite then the left diameter of $End(C)$ is 2, while the right diameter is either 2 or 3, with the latter equal to 2 precisely when $C$ is a quotient of $C{\setminus}\{z\}$ for some endpoint $z$. If $C$ is finite then so is $End(C),$ in which case the left and right diameters are 1 (if $C$ is non-trivial) or 0.
Ginzburg--Landau Functionals in the Large-Graph Limit
Ginzburg--Landau (GL) functionals on graphs, which are relaxations of graph-cut functionals on graphs, have yielded a variety of insights in image segmentation and graph clustering. In this paper, we study large-graph limits of GL functionals by taking a functional-analytic view of graphs as nonlocal kernels. For a graph $W_n$ with $n$ nodes, the corresponding graph GL functional $\GL^{W_n}_\ep$ is an energy for functions on $W_n$. We minimize GL functionals on sequences of growing graphs that converge to functions called graphons. For such sequences of graphs, we show that the graph GL functional $Γ$-converges to a continuous and nonlocal functional that we call the \emph{graphon GL functional}. We also investigate the sharp-interface limits of the graph GL and graphon GL functionals, and we relate these limits to a nonlocal total-variation (TV) functional. We express the limiting GL functional in terms of Young measures and thereby obtain a probabilistic interpretation of the variational problem in the large-graph limit. Finally, to develop intuition about the graphon GL functional, we determine the GL minimizer for several example families of graphons.
On the Genus of One Degree of Freedom Planar Linkages via Tropical Geometry
Published
• View Publication
• BIB
This paper focuses on studying the configuration spaces of graphs realised in $\mathbb C^2$, such that the configuration space is, after normalisation, one dimensional. If this is the case, then the configuration space is, generically, a smooth complex curve, and can be seen as a Riemann surface. The property of interest in this paper is the genus of this curve. Using tropical geometry, we give an algorithm to compute this genus. We provide an implementation in Python and give various examples.
Analysis of natural cardinal ranking vectors for pairwise comparisons and the universal efficiency of the Perron geometric mean
Published
• View Publication
• BIB
In models using pair-wise (ratio) comparisons among alternatives, a cardinal ranking vector should be deduced from a reciprocal matrix. The right Perron eigenvector (RP) was traditionally used, though several other options have emerged. We consider some alternatives, mostly new, namely the entry-wise reciprocal of the left Perron vector (LP), the left singular vector (LS), the entry-wise reciprocal of the right singular vector (RS), the arithmetic and geometric means of RP and LP (AP and GP), and of LS and RS (AS and GS). (The ranking vector AS was proposed by Gass and Rapcsák (2004)). All 8 of these vectors produce the natural vector in the consistent case. We compare them empirically, in terms of efficiency, for random matrices, as a function of the number of alternatives. It turns out that the vector GP is universily efficient, and this fact is proven. The vector GS performs better that the remaining 6 vectors. We show that, for reciprocal matrices obtained from consistent matrices by modifying one column and the corresponding row, all 8 vectors are efficient. Moreover, the cone generated by the columns is efficient.
Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
Published in Ars Math. Contemp. Vol. 25 No. 4 (2025)
• View Publication
• BIB
In the past, analogues to Brooks' theorem have been found for various parameters of graph coloring for infinite locally finite connected graphs in ZFC. We prove these theorems are not provable in ZF (i.e. the Zermelo-Fraenkel set theory without the Axiom of Choice (AC)). Moreover, such theorems follow from Konig's Lemma (every infinite locally finite connected graph has a ray-a weak form of AC) in ZF. In ZF, we formulate new conditions for the existence of the distinguishing chromatic number, the distinguishing chromatic index, the total chromatic number, the total distinguishing chromatic number, the odd chromatic number, and the neighbor-distinguishing index in infinite locally finite connected graphs, which are equivalent to Konig's Lemma. In this direction, we strengthen a recent result of Stawiski from 2023.
We also figured out the upper bound for list-distinguishing chromatic number for infinite graphs in ZFC (i.e. the Zermelo-Fraenkel set theory with the Axiom of Choice (AC)).
On set systems without singleton intersections
Consider a family $\mathcal{F}$ of $k$-subsets of an ambient $(k^2-k+1)$-set such that no pair of $k$-subsets in $\mathcal{F}$ intersects in exactly one element. In this short note we show that the maximal size of such $\mathcal{F}$ is $\binom{k^2-k-1}{k-2}$ for every $k > 1$.