Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The pod function and its connection with other partition functions
Published
• View Publication
• BIB
The number of partitions of $n$ wherein odd parts are distinct and even parts are unrestricted, often denoted by $pod(n)$. In this paper, we provide linear recurrence relations for $pod(n)$, and the connections of $pod(n)$ with other partition functions.
Arithmetic Ramsey theory over the primes
Published
• View Publication
• BIB
We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the $a_i$ and $b$ are fixed coefficients, and $h$ is an arbitrary integer polynomial of degree $d$. Provided there are at least $(1+o(1))d^2$ variables, we establish necessary and sufficient criteria for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers. We similarly characterise when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain counting results which provide asymptotically sharp lower bounds for the number of monochromatic or dense solutions in primes. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.
On the action of the symmetric group on the free LAnKe
A LAnKe (also known as a Filippov algebra or a Lie algebra of the $n$-th kind) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. Friedmann, Hanlon, Stanley and Wachs have shown that the symmetric group acts on the multilinear part of the free LAnKe on $2n-1$ generators as an irreducible representation. They announced that the multilinear component on $3n-2$ generators decomposes as a direct sum of two irreducible symmetric group representations and a proof was given recently in a subsequent paper by Friedmann, Hanlon and Wachs. In the present paper we provide a proof of the later statement. The two proofs are substantially different.
Quantification of the Fourth Moment Theorem for Cyclotomic Generating Functions
This paper deals with sequences of random variables $X_n$ only taking values in $\{0,\ldots,n\}$. The probability generating functions of such random variables are polynomials of degree $n$. Under the assumption that the roots of these polynomials are either all real or all lie on the unit circle in the complex plane, a quantitative normal approximation bound for $X_n$ is established in a unified way. In the real rooted case the result is classical and only involves the variances of $X_n$, while in the cyclotomic case the fourth cumulants or moments of $X_n$ appear in addition. The proofs are elementary and based on the Stein-Tikhomirov method.
Globally linked pairs and cheapest globally rigid supergraphs
Given a graph $G$, a cost function on the non-edges of $G$, and an integer $d$, the problem of finding a cheapest globally rigid supergraph of $G$ in $\mathbb{R}^d$ is NP-hard for $d\geq 1$. For this problem, which is a common generalization of several well-studied graph augmentation problems, no approximation algorithm has previously been known for $d\geq 2$. Our main algorithmic result is a 5-approximation algorithm in the $d=2$ case. We achieve this by proving numerous new structural results on rigid graphs and globally linked vertex pairs. In particular, we show that every rigid graph in $\mathbb{R}^2$ has a tree-like structure, which conveys all the information regarding its globally rigid augmentations. Our results also yield a new, simple solution to the minimum cardinality version (where the cost function is uniform) for rigid input graphs, a problem which is known to be solvable in polynomial time.
A sharp upper bound for the harmonious total chromatic number of graphs and multigraphs
Published
• View Publication
• BIB
A proper total colouring of a graph $G$ is called harmonious if it has the further property that when replacing each unordered pair of incident vertices and edges with their colours, then no pair of colours appears twice. The smallest number of colours for it to exist is called the harmonious total chromatic number of $G$, denoted by $h_t(G)$. Here, we give a general upper bound for $h_t(G)$ in terms of the order $n$ of $G$. Our two main results are obvious consequences of the computation of the harmonious total chromatic number of the complete graph $K_n$ and of the complete multigraph $λK_n$, where $λ$ is the number of edges joining each pair of vertices of $K_n$. In particular, Araujo-Pardo et al. have recently shown that $\frac{3}{2}n\leq h_t(K_n) \leq \frac{5}{3}n +θ(1)$. In this paper, we prove that $h_t(K_{n})=\left\lceil \frac{3}{2}n \right\rceil$ except for $h_t(K_{1})=1$ and $h_t(K_{4})=7$; therefore, $h_t(G) \le \left\lceil \frac{3}{2}n \right\rceil$, for every graph $G$ on $n>4$ vertices. Finally, we extend such a result to the harmonious total chromatic number of the complete multigraph $λK_n$ and as a consequence show that $h_t(\mathcal{G})\leq (λ-1)(2\left\lceil\frac{n}{2}\right\rceil-1)+\left\lceil\frac{3n}{2}\right\rceil$ for $n>4$, where $\mathcal{G}$ is a multigraph such that $λ$ is the maximum number of edges between any two vertices.
The conjugacy diameters of non-abelian finite $p$-groups with cyclic maximal subgroups
Published
• View Publication
• BIB
Let $G$ be a group. A subset $S$ of $G$ is said to normally generate $G$ if $G$ is the normal closure of $S$ in $G.$ In this case, any element of $G$ can be written as a product of conjugates of elements of $S$ and their inverses. If $g\in G$ and $S$ is a normally generating subset of $G,$ then we write $\| g\|_{S}$ for the length of a shortest word in $\mbox{Conj}_{G}(S^{\pm 1}):=\{h^{-1}sh | h\in G, s\in S \, \mbox{or} \, s{^{-1}}\in S \}$ needed to express $g.$ For any normally generating subset $S$ of $G,$ we write $\|G\|_{S} =\mbox{sup}\{\|g\|_{S} \,|\,\, g\in G\}.$ Moreover, we write $Δ(G)$ for the supremum of all $\|G\|_{S},$ where $S$ is a finite normally generating subset of $G,$ and we call $Δ(G)$ the conjugacy diameter of $G.$ In this paper, we determine the conjugacy diameters of the semidihedral $2$-groups, the generalized quaternion groups and the modular $p$-groups. This is a natural step after the determination of the conjugacy diameters of dihedral groups, which were recently found by the first author (finite case) and by Kedra, Libman and Martin (infinite case).
Pixelating Relations and Functions Without Adding Substructures
Published
• View Publication
• BIB
We investigate models of relations over a bounded continuous segment of real numbers, along with the natural linear order over the reals being provided as a "hard-coded" relation. This paper presents a generalization of a lemma from [Ben-Eliezer, Fischer, Levi and Yoshida, ITCS 2021], showing that with a small amount of modification (measured in terms of the Lebesgue measure) we can replace such a model with a "pixelated" one that has a finite description, in a way that preserves all universally quantified statements over the relations, or in other words, without adding any new substructures.
Canonical reduced words and signed descent length enumeration in Coxeter groups
Published
• View Publication
• BIB
Reifegerste and independently, Petersen and Tenner studied a statistic $\mathrm{drops}()$ on permutations in $\mathfrak{S}_n$. Two other studied statistics on $\mathfrak{S}_n$ are $\mathrm{depth}$ and $\mathrm{exc}$. Using descents in ${\it canonical\ reduced\ words}$ of elements in $\mathfrak{S}_n$, we give an involution $f_A: \mathfrak{S}_n \mapsto \mathfrak{S}_n$ that leads to a neat formula for the signed trivariate enumerator of $\mathrm{drops},\mathrm{depth}, \mathrm{exc}$ in $\mathfrak{S}_n$. This gives a simple formula for the signed univariate drops enumerator in $\mathfrak{S}_n$. For the type-B Coxeter group $\mathfrak{B}_n$ as well, using similar techniques, we show analogous results. For the type D Coxeter group, we again get analogous results, but our proof is inductive.
Under the famous Foata-Zeilberger bijection $φ_{FZ}$ which takes permutations to restricted Laguerre histories, we show that permutations $π$ and $f_A(π)$ map to the same Motzkin path, but have different history components. Using the Foata-Zeilberger bijection, we also get a continued fraction for the generating function enumerating the pair of statistics $\mathrm{drops}$ and $\mathrm{MAD}$. Graham and Diaconis determined the mean and the variance of the Spearman metric of disarray $D(π)$ when one samples $π$ from $\mathfrak{S}_n$ at random. As an application of our results, we get the mean and variance of the statistic $\mathrm{drops}(π)$ when we sample $π$ from $\mathcal{A}_n$ at random.
On exterior powers of reflection representations, II
Published
• View Publication
• BIB
Let $W$ be a group endowed with a finite set $S$ of generators. A representation $(V,ρ)$ of $W$ is called a reflection representation of $(W,S)$ if $ρ(s)$ is a (generalized) reflection on $V$ for each generator $s \in S$. In this paper, we prove that for any irreducible reflection representation $V$, all the exterior powers $\bigwedge ^d V$, $d = 0, 1, \dots, \dim V$, are irreducible $W$-modules, and they are non-isomorphic to each other. This extends a theorem of R. Steinberg which is stated for Euclidean reflection groups. Moreover, we prove that the exterior powers (except for the 0th and the highest power) of two non-isomorphic reflection representations always give non-isomorphic $W$-modules. This allows us to construct numerous pairwise non-isomorphic irreducible representations for such groups, especially for Coxeter groups.
Exhaustive generation of edge-girth-regular graphs
Published
• View Publication
• BIB
Edge-girth-regular graphs (abbreviated as $egr$ graphs) are a class of highly regular graphs. More specifically, for integers $v$, $k$, $g$ and $λ$ an $egr(v,k,g,λ)$ graph is a $k$-regular graph with girth $g$ on $v$ vertices such that every edge is contained in exactly $λ$ cycles of length $g$. The central problem in this paper is determining $n(k,g,λ)$, which is defined as the smallest integer $v$ such that an $egr(v,k,g,λ)$ graph exists (or $\infty$ if no such graph exists) as well as determining the corresponding extremal graphs. We propose a linear time algorithm for computing how often an edge is contained in a cycle of length $g$, given a graph with girth $g$. We use this as one of the building blocks to propose another algorithm that can exhaustively generate all $egr(v,k,g,λ)$ graphs for fixed parameters $v, k, g$ and $λ$. We implement this algorithm and use it in a large-scale computation to obtain several new extremal graphs and improvements for lower and upper bounds from the literature for $n(k,g,λ)$. Among others, we show that $n(3,6,2)=24, n(3,8,8)=40, n(3,9,6)=60, n(3,9,8)=60, n(4,5,1)=30, n(4,6,9)=35, n(6,5,20)=42$ and we disprove a conjecture made by Araujo-Pardo and Leemans [Discrete Math. 345(10):112991 (2022)] for the cubic girth 8 and girth 12 cases. Based on our computations, we conjecture that $n(3,7,6)=n(3,8,10)=n(3,8,12)=n(3,8,14)=\infty.$
Steiner systems S(2,6,121/126), S(2,7,169) based on difference families
In this paper new Steiner systems $S(2,6,121)$, $S(2,6,126)$, $S(2,7,169)$ are introduced. Also some non-existence results for line lengths $7..11$ are presented. There is no solid proof that presented algorithm is exhaustive or correct, but it produces same results on already known difference families for line lengths $3..6$. Due to calculation-based approach this paper probably won't be published, but will be submitted to arxiv as it contains some new results
Polytopal realizations of non-crystallographic associahedra
Published
• View Publication
• BIB
We use the folding technique to show that generalized associahedra for non-simply-laced root systems (including non-crystallographic ones) can be obtained as sections of simply-laced generalized associahedra constructed by Bazier-Matte, Chapelier-Laget, Douville, Mousavand, Thomas and Yildirim.
Towards a Complete Local-Global Principle
Published
• View Publication
• BIB
Ahlswede and Cai proved that if a simple graph has nested solutions (NS) under the edge-isoperimetric problems, and the lexicographic (lex) order produces NS for its second cartesian power,then the lex order produces NS for any finite cartesian power. Under very general assumptions, we prove that if a graph and its second cartesian power have NS,then so does any finite cartesian power. Harper asked if this is true without any restriction. We also conjecture that it is. All graphs studied in the literature for which the lex order is optimal are regular. This lead Bezrukov and Elsässer to conjecture that if the lex order is optimal for the second cartesian power, then the original graph is regular. A counterexample to this conjecture is provided.
Note on robust coloring of planar graphs
Published in Opuscula Math. 45, no. 1 (2025), 103-111
• View Publication
• BIB
We consider the robust chromatic number $χ_1(G)$ of planar graphs $G$ and show that there exists an infinite family of planar graphs $G$ with $χ_1(G) = 3$, thus solving a recent problem of Bacsó~et~al. (The robust chromatic number of graphs, Graphs Combin. 40 (2024), #89).
Combinatorics of q,r-analogues of Stirling numbers of type B
Published
• View Publication
• BIB
Stirling number of the first and the second kinds have seen many generalizations and applications in various areas of mathematics. We introduce some combinatorial parameters which realize $q$-analogues and Broder's $r$-variants of Stirling numbers of type $B$ of both kinds, which count signed set partitions and signed permutations respectively. Applications to orthogonality relations and power sums are given.
Cluster categories for completed infinity-gons I: Categorifying triangulations
Published in J. Lond. Math. Soc. 111 (2025), Paper No. e70092
• View Publication
• BIB
Paquette and Yıldırım recently introduced triangulated categories of arcs in completed infinity-gons, which are discs with an infinite closed set of marked points on their boundary. These categories have many features in common with the cluster categories associated to discs with different sets of marked points. In particular, they have (weak) cluster-tilting subcategories, which Paquette and Yıldırım show are in bijection with very special triangulations of the disc. This is in contrast to Igusa and Todorov's earlier work in the uncompleted case, in which every triangulation corresponds to a weak cluster-tilting subcategory.
In this paper, we replace the triangulated structure of Paquette and Yıldırım's category by an extriangulated substructure and prove that, with this structure, the weak cluster-tilting subcategories are once again in bijection with triangulations. We further show that functorial finiteness of a weak cluster-tilting subcategory is equivalent to a very mild condition on the triangulation, which also appears in Çanakçı and Felikson's study of infinite rank cluster algebras from Teichmüller theory. By comparison with the combinatorics of triangulations, we are also able to characterise when weak cluster-tilting subcategories can be mutated in this new extriangulated category.
Reduction of Simplicial Complex by Relation and Dowker Complex
We show a new reduction method on a simplicial complex. This reduction works well with relations and Dowker complexes. The idea is to add a dummy vertex $ z $ to the simplicial complex $K$. We add the simplicial cone $ z * L $ to $K$ where $ L$ is the union of stars from a set of vertices. If $ L $ is contractible, then we can apply the Gluing theorem to glue $ z * L $ to $K$ to obtain $K'$. Finally, we strong collapse each vertex of $L$ in $K'$ to obtain $K''$. If the conditions are satisfied, then $K$, $K'$ and $K''$ are homotopically equivalent.
This trick can be adapted to relation with the associated Dowker complex $K_R$. This notation help to simplify various computations. Relations are simple data structures, and they are represented by binary matrices. This method of reduction with relation is versatile and it can be used on different structures such as simplicial complexes, convex polytopal complexes and covers of topological spaces that satisfy the Nerve Theorem. We develop an algorithm based on the reduction step. Let $n$ be the number of vertices of $K$.
We have $ O(n^2) $ subcomplexes $ L$ to verify contractibility. This verification of $ L $ is costly with $ O(d ε(n^2 + m^2)) $ where $d$ is the dimension of $L$, $m$ the number of toplexes in $L$, $n$ the number of vertices in $L$ and $ ε$ the maximal number of toplexes adjacent to a vertex in $L$. But, $L$ is often a small simplicial complex. If $L$ is contractible, then we apply a clean-up method on some columns that takes $ O(d m^2) $. Finally, we show the efficiency of the reduction algorithm on several experimental results.
Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
Published in J. Symbol. Comput. 127 (2025), 102352
• View Publication
• BIB
In his work on the twenty vertex model, Di Francesco [Electron. J. Combin. 28(4) (2021), Paper No. 4.38] found a determinant formula for the number of configurations in a specific such model, and he conjectured a closed form product formula for the evaluation of this determinant. We prove this conjecture here. Moreover, we actually generalize this determinant evaluation to a one-parameter family of determinant evaluations, and we present many more determinant evaluations of similar type - some proved, some left open as conjectures.
Beyond Weisfeiler-Lehman: A Quantitative Framework for GNN Expressiveness
Designing expressive Graph Neural Networks (GNNs) is a fundamental topic in the graph learning community. So far, GNN expressiveness has been primarily assessed via the Weisfeiler-Lehman (WL) hierarchy. However, such an expressivity measure has notable limitations: it is inherently coarse, qualitative, and may not well reflect practical requirements (e.g., the ability to encode substructures). In this paper, we introduce a unified framework for quantitatively studying the expressiveness of GNN architectures, addressing all the above limitations. Specifically, we identify a fundamental expressivity measure termed homomorphism expressivity, which quantifies the ability of GNN models to count graphs under homomorphism. Homomorphism expressivity offers a complete and practical assessment tool: the completeness enables direct expressivity comparisons between GNN models, while the practicality allows for understanding concrete GNN abilities such as subgraph counting. By examining four classes of prominent GNNs as case studies, we derive simple, unified, and elegant descriptions of their homomorphism expressivity for both invariant and equivariant settings. Our results provide novel insights into a series of previous work, unify the landscape of different subareas in the community, and settle several open questions. Empirically, extensive experiments on both synthetic and real-world tasks verify our theory, showing that the practical performance of GNN models aligns well with the proposed metric.