Showing 20 papers (Total: 81680 papers, 47334 authors in database)
On the max min of the algebraic degree and the nonlinearity of a Boolean function on an affine subspace
Published
• View Publication
• BIB
We investigate the max min of the algebraic degree and the nonlinearity of a Boolean function in $n$ variables when restricted to a $k$-dimensional affine subspace of $\mathbb{F}_2^n$. Previous authors have focused on the cases when the max min of the algebraic degree is 0 or 1. Upper bounds, lower bounds and a conjecture on the exact value in special cases are presented.
Integral representations of Catalan numbers using Touchard-like identities
In this article, we use the Touchard identity in order to obtain new integral representations for Catalan numbers. The main idea consists in combining the identity with a known integral representation and resorting to the binomial theorem. The same procedure is applied to a variant of the Touchard identity proposed by Callan a few years ago. The method presented here can be generalized to derive additional integral representations from known ones, provided that the latter have a well-suited form and lend themselves to an analytical summation under the integral sign.
Descents and inversions in powers of permutations
Published
• View Publication
• BIB
In this paper, we generalise several recent results by Archer and Geary on descents in powers of permutations, and confirm all their conjectures. Specifically, for all $k\in\mathbb{Z}^+$, we prove explicit formulas for the expected numbers of descents and inversions in the $k$-th powers of permutations in $\mathcal{S}_n$ for all $n\geq2k+1$. We also compute the number of Grassmanian permutations in $\mathcal{S}_n$ whose $k$-th powers remain Grassmanian, and the number of permutations in $\mathcal{S}_n$ whose $k$-th powers have the maximum number of descents.
A very short proof of Sidorenko's inequality for counts of homomorphism between graphs
Published
• View Publication
• BIB
We provide a very elementary proof of a classical extremality result due to Sidorenko (Discrete Math. 131.1-3, 1994), which states that among all connected graphs $G$ on $k$ vertices, the $k$-vertex star maximises the number of graph homomorphisms of $G$ into any graph $H$.
Rumour Spreading Depends on the Latent Geometry and Degree Distribution in Social Network Models
Published
• View Publication
• BIB
We study push-pull rumour spreading in ultra-small-world models for social networks where the degrees follow a power-law distribution. In a non-geometric setting, Fountoulakis, Panagiotou and Sauerwald have shown that rumours always spread ultra-fast (SODA 2012), i.e. in doubly logarithmic time. On the other hand, Janssen and Mehrabian have found that rumours spread slowly (polynomial time) in a spatial preferential attachment model (SIDMA 2017). We study the question systematically for the model of Geometric Inhomogeneous Random Graphs (GIRGs). Our results are two-fold: first, with Euclidean geometry slow, fast (polylogarithmic) and ultra-fast rumour spreading may occur, depending on the exponent of the power law and the strength of the geometry in the networks, and we fully characterise the phase boundaries in between. The regimes do not coincide with the graph distance regimes, i.e., polylogarithmic or even polynomial rumour spreading may occur even if graph distances are doubly logarithmic. We expect these results to hold with little effort for related models, e.g. Scale-Free Percolation. Second, we show that rumour spreading is always (at least) fast in a non-metric geometry. The considered non-metric geometry allows to model social connections where resemblance of vertices in a single attribute, such as familial kinship, already strongly indicates the presence of an edge. Euclidean geometry fails to capture such ties.
For some regimes in the Euclidean setting, the efficient pathways for spreading rumours differ from previously identified paths. For example, a vertex of degree $d$ can transmit the rumour to a vertex of larger degree by a chain of length $3$, where one of the two intermediaries has constant degree, and the other has degree $d^{c}$ for some constant $c<1$. Similar but longer chains of vertices, all having non-constant degree, turn out to be useful as well.
Partial Dyck path interpretation for three sequences in the Encyclopedia of Integer Sequences
Descents of odd length in Dyck paths are discussed, taking care of some variations. The approach is based on generating functions and the kernel method and augments relations about them from the Encyclopedia of Integer Sequences, that were pointed out by David Callan.
Optimal Mixed Integer Linear Optimization Trained Multivariate Classification Trees
Multivariate decision trees are powerful machine learning tools for classification and regression that attract many researchers and industry professionals. An optimal binary tree has two types of vertices, (i) branching vertices which have exactly two children and where datapoints are assessed on a set of discrete features and (ii) leaf vertices at which datapoints are given a prediction, and can be obtained by solving a biobjective optimization problem that seeks to (i) maximize the number of correctly classified datapoints and (ii) minimize the number of branching vertices. Branching vertices are linear combinations of training features and therefore can be thought of as hyperplanes. In this paper, we propose two cut-based mixed integer linear optimization (MILO) formulations for designing optimal binary classification trees (leaf vertices assign discrete classes). Our models leverage on-the-fly identification of minimal infeasible subsystems (MISs) from which we derive cutting planes that hold the form of packing constraints. We show theoretical improvements on the strongest flow-based MILO formulation currently in the literature and conduct experiments on publicly available datasets to show our models' ability to scale, strength against traditional branch and bound approaches, and robustness in out-of-sample test performance. Our code and data are available on GitHub.
Coloring bridge-free antiprismatic graphs
Published
• View Publication
• BIB
The coloring problem is a well-research topic and its complexity is known for several classes of graphs. However, the question of its complexity remains open for the class of antiprismatic graphs, which are the complement of prismatic graphs and one of the four remaining cases highlighted by Lozin and Malishev. In this article we focus on the equivalent question of the complexity of the clique cover problem in prismatic graphs.
A graph $G$ is prismatic if for every triangle $T$ of $G$, every vertex of $G$ not in $T$ has a unique neighbor in $T$. A graph is co-bridge-free if it has no $C_4+2K_1$ as induced subgraph. We give a polynomial time algorithm that solves the clique cover problem in co-bridge-free prismatic graphs. It relies on the structural description given by Chudnovsky and Seymour, and on later work of Preissmann, Robin and Trotignon.
We show that co-bridge-free prismatic graphs have a bounded number of disjoint triangles and that implies that the algorithm presented by Preissmann et al. applies.
On the two problems in Ramsey achievement games
Let $p,q$ be two integers with $p\geq q$. Given a finite graph $F$ with no isolated vertices, the generalized Ramsey achievement game of $F$ on the complete graph $K_n$, denoted by $(p,q;K_n,F,+)$, is played by two players called Alice and Bob. In each round, Alice firstly chooses $p$ uncolored edges $e_1,e_2,...,e_p$ and colors it blue, then Bob chooses $q$ uncolored edge $f_1,f_2,...,f_q$ and colors it red; the player who can first complete the formation of $F$ in his (or her) color is the winner. The generalized achievement number of $F$, denoted by ${a}(p,q;F)$ is defined to be the smallest $n$ for which Alice has a winning strategy. If $p=q=1$, then it is denoted by ${a}(F)$, which is the classical achievement number of $F$ introduced by Harary in 1982. If Alice aims to form a blue $F$, and the goal of Bob is to try to stop him, this kind of game is called the first player game by Bollobás. Let ${a}^*(F)$ be the smallest positive integer $n$ for which Alice has a winning strategy in the first player game.
A conjecture due to Harary states that the minimum value of ${a}(T)$ is realized when $T$ is a path and the maximum value of ${a}(T)$ is realized when $T$ is a star among all trees $T$ of order $n$. He also asked which graphs $F$ satisfy $a^*(F)=a(F)$? In this paper, we proved that $n\leq {a}(p,q;T)\leq n+q\left\lfloor (n-2)/p \right\rfloor$ for all trees $T$ of order $n$, and obtained a lower bound of ${a}(p,q;K_{1,n-1})$, where $K_{1,n-1}$ is a star. We proved that the minimum value of ${a}(T)$ is realized when $T$ is a path which gives a positive solution to the first part of Harary's conjecture, and ${a}(T)\leq 2n-2$ for all trees of order $n$. We also proved that for $n\geq 3$, we have $2n-2-\sqrt{(4n-8)\ln (4n-4)}\leq a(K_{1,n-1})\leq 2n-2$ with the help of a theorem of Alon, Krivelevich, Spencer and Szabó. We proved that $a^*(P_n)=a(P_n)$ for a path $P_n$.
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.