Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Schröder trees, antipode formulas and non-commutative probability
We obtain a cancellation-free formula, represented in terms of Schröder trees, for the antipode in the double tensor Hopf algebra introduced by Ebrahimi-Fard and Patras. We apply the antipode formula in the context of non-commutative probability and recover cumulant-moment formulas as well as a new expression for Anshelevich's free Wick polynomials in terms of Schröder trees.
Topological and spectral properties of random digraphs
We investigate some topological and spectral properties of Erdős-Rényi (ER) random digraphs $D(n,p)$. In terms of topological properties, our primary focus lies in analyzing the number of non-isolated vertices $V_x(D)$ as well as two vertex-degree-based topological indices: the Randić index $R(D)$ and sum-connectivity index $χ(D)$. First, by performing a scaling analysis we show that the average degree $\langle k \rangle$ serves as scaling parameter for the average values of $V_x(D)$, $R(D)$ and $χ(D)$. Then, we also state expressions relating the number of arcs, spectral radius, and closed walks of length 2 to $(n,p)$, the parameters of ER random digraphs. Concerning spectral properties, we compute six different graph energies on $D(n,p)$. We start by validating $\langle k \rangle$ as the scaling parameter of the graph energies. Additionally, we reformulate a set of bounds previously reported in the literature for these energies as a function $(n,p)$. Finally, we phenomenologically state relations between energies that allow us to extend previously known bounds.
Ultrafilters, Transversals, and the Hat Game
Geschke, Lubarsky, and Rahn in ``Choice and the Hat Game''~\cite{choice-and-the-hat-game} generalize the classic hat game puzzle to infinitely-many players and ask whether every model of set theory without choice in which the optimal solution can be carried out contains either a nonprincipal ultrafilter on $\mathbb N$ or else a Vitali set. A negative answer is obtained here by constructing a model in which there is an optimal solution to the hat game puzzle but no nonprincipal ultrafilter on $\mathbb N$ and no Vitali set. This is accomplished in a more general setting, establishing that for any Borel bipartite graph $Γ$ not embedding some $K_{n,ω_1}$ and with countable colouring number there is a model of $\mbox{ZF} + \mbox{DC}$ in which $Γ$ has a $2$-colouring but there is no ultrafilter as above or Vitali set. The same conclusion applies to the natural generalization of the hat game to an arbitrary finite number of hat colours.
Monomial expansions for $q$-Whittaker and modified Hall-Littlewood polynomials
We consider the monomial expansion of the $q$-Whittaker polynomials given by the fermionic formula and via the inv and quinv statistics. We construct bijections between the parametrizing sets of these three models which preserve the $x$- and $q$-weights, and which are compatible with natural projection and branching maps. We apply this to the limit construction of local Weyl modules and obtain a new character formula for the basic representation of $\widehat{\mathfrak{sl}_n}$. Finally, we indicate how our main results generalize to the modified Hall-Littlewood case.
An Algebraic Approach to the Longest Path Problem
Published
• View Publication
• BIB
The Longest Path Problem is a question of finding the maximum length between pairs of vertices of a graph. In the general case, the problem is NP-complete. However, there is a small collection of graph classes for which there exists an efficient solution. Current approaches involve either approximation or computational enumeration. For Tree-like classes of graphs, there are approximation and enumeration algorithms which solves the problem efficiently. Despite this, we propose a new method of approaching the longest path problem with exact algebraic solutions that give rise to polynomial-time algorithms. Our method provides algorithms that are proven correct by their underlying algebraic operations unlike existing purely algorithmic solutions to this problem. We introduce a `booleanize' mapping on the adjacency matrix of a graph which we prove identifies the solution for trees, uniform block graphs, block graphs, and directed acyclic graphs with exact conditions and associated polynomial-time algorithms. In addition, we display additional algorithms that can generate every possible longest path of acyclic graphs in efficient time, as well as for block graphs.
EPPA numbers of graphs
Published in Journal of Combinatorial Theory, Series B Volume 170, January 2025, Pages 203-224
• View Publication
• BIB
If $G$ is a graph, $A$ and $B$ its induced subgraphs, and $f\colon A\to B$ an isomorphism, we say that $f$ is a \emph{partial automorphism} of $G$. In 1992, Hrushovski proved that graphs have the \emph{extension property for partial automorphisms} (\emph{EPPA}, also called the \emph{Hrushovski property}), that is, for every finite graph $G$ there is a finite graph $H$, an \emph{EPPA-witness} for $G$, such that $G$ is an induced subgraph of $H$ and every partial automorphism of $G$ extends to an automorphism of $H$.
The EPPA number of a graph $G$, denoted by $\mathop{\mathrm{eppa}}\nolimits(G)$, is the smallest number of vertices of an EPPA-witness for $G$, and we put $\mathop{\mathrm{eppa}}\nolimits(n) = \max\{\mathop{\mathrm{eppa}}\nolimits(G) : \lvert G\rvert = n\}$. In this note we review the state of the area, prove several lower bounds (in particular, we show that $\mathop{\mathrm{eppa}}\nolimits(n)\geq \frac{2^n}{\sqrt{n}}$, thereby identifying the correct base of the exponential) and pose many open questions. We also briefly discuss EPPA numbers of hypergraphs, directed graphs, and $K_k$-free graphs.
A signed $e$-expansion of the chromatic quasisymmetric function
Published
• View Publication
• BIB
We prove a new signed elementary symmetric function expansion of the chromatic quasisymmetric function of any natural unit interval graph. We then use a sign-reversing involution to prove a new combinatorial formula for K-chains, which are graphs formed by joining cliques at single vertices. This formula immediately implies $e$-positivity and $e$-unimodality for K-chains. We also prove a version of our signed $e$-expansion for arbitrary graphs.
Silhouettes and generic properties of subgroups of the modular group
Published
• View Publication
• BIB
We show that the probability for a finitely generated subgroup of the modular group, of size $n$, to be almost malnormal or non-parabolic, tends to 0 as $n$ tends to infinity -- where the notion of the size of a subgroup is based on a natural graph-theoretic representation of the subgroup.
The proofs of these results rely on the combinatorial and asymptotic study of a natural map, which associates with any finitely generated subgroup of $\textsf{PSL}(2,\mathbb{Z})$ a graph which we call its silhouette, which can be interpreted as a conjugacy class of free finite index subgroups of $\textsf{PSL}(2,\mathbb{Z})$.
On naturally labelled posets and permutations avoiding 12-34
Published
• View Publication
• BIB
A partial order $\prec$ on $[n]$ is naturally labelled (NL) if $x\prec y$ implies $x<y$. We establish a bijection between {3, 2+2}-free NL posets and 12-34-avoiding permutations, determine functional equations satisfied by their generating function, and use series analysis to investigate their asymptotic growth, presenting evidence of stretched exponential behaviour. We also exhibit bijections between 3-free NL posets and various other objects, and determine their generating function. The connection between our results and a hierarchy of combinatorial objects related to interval orders is described.
Dependence of the coarse wiring profile on the choice of parameter
There are two subgraphs $X,Y$ of the $2$-dimensional integer grid such that for any $k<l$ there is an infinite subset $I\subset \mathbb{N}$ such that the $k$-wiring profile of $X$ into $Y$ grows quadratically on $I$ while the $l$-wiring profile of $X$ into $Y$ grows linearly on $I$. This resolves Question 7.8 of Barrett-Hume.
Distance-regular Cayley graphs over (pseudo-) semi-dihedral groups
Published
• View Publication
• BIB
Distance-regular graphs are a class of regualr graphs with pretty combinatorial symmetry. In 2007, Miklavič and Potočnik proposed the problem of charaterizing distance-regular Cayley graphs, which can be viewed as a natural extension of the problem of characterizing strongly-regular Cayley graphs (or equivalently, regular partial difference sets). In this paper, we provide a partial characterization for distance-regular Cayley graphs over semi-dihedral groups and pseudo-semi-dihedral groups, both of which are $2$-groups with a cyclic subgroup of index $2$.
Some results on fractional vs. expectation thresholds
Published
• View Publication
• BIB
A conjecture of Talagrand (2010) states that the so-called expectation and fractional expectation thresholds are always within at most some constant factor from each other. Expectation (resp. fractional expectation) threshold $q$ (resp. $q_f$) for an increasing nontrivial class $\mathcal{F}\subseteq 2^X$ allows to locate the threshold for $\mathcal{F}$ within a logarithmic factor (these are important breakthrough results of Park and Pham (2022), resp. Frankston, Kahn, Narayanan and Park (2019)). We will survey what is known about the relation between $q$ and $q_f$ and prove some further special cases of Talagrand's conjecture.
Conformal Tilings, Combinatorial Curvature, and the Type Problem
Published
• View Publication
• BIB
Roughly, a conformal tiling of a Riemann surface is a tiling where each tile is a suitable conformal image of a Euclidean regular polygon. In 1997, Bowers and Stephenson constructed an edge-to-edge conformal tiling of the complex plane using conformally regular pentagons. In contrast, we show that for all $n \geq 7$, there is no edge-to-edge conformal tiling of the complex plane using conformally regular $n$-gons. More generally, we discuss a relationship between the combinatorial curvature at each vertex of the conformal tiling and the universal cover (sphere, plane, or disc) of the underlying Riemann surface. This result follows from the work of Stone (1976) and Oh (2005) through a rich interplay between Riemannian geometry and combinatorial geometry. We provide an exposition of these proofs and some new applications to conformal tilings.
Nontrivial $t$-designs in polar spaces exist for all $t$
A finite classical polar space of rank $n$ consists of the totally isotropic subspaces of a finite vector space over $\mathbb{F}_q$ equipped with a nondegenerate form such that $n$ is the maximal dimension of such a subspace. A $t$-$(n,k,λ)$ design in a finite classical polar space of rank $n$ is a collection $Y$ of totally isotropic $k$-spaces such that each totally isotropic $t$-space is contained in exactly $λ$ members of $Y$. Nontrivial examples are currently only known for $t\leq 2$. We show that $t$-$(n,k,λ)$ designs in polar spaces exist for all $t$ and $q$ provided that $k>\frac{21}{2}t$ and $n$ is sufficiently large enough. The proof is based on a probabilistic method by Kuperberg, Lovett, and Peled, and it is thus nonconstructive.
Graph Curve Matroids
Published
• View Publication
• BIB
We introduce a new class of matroids, called graph curve matroids. A graph curve matroid is associated to a graph and defined on the vertices of the graph as a ground set. We prove that these matroids provide a combinatorial description of hyperplane sections of degenerate canonical curves in algebraic geometry. Our focus lies on graphs that are 2-connected and trivalent, which define identically self-dual graph curve matroids, but we also develop generalizations. Finally, we provide an algorithm to compute the graph curve matroid associated to a given graph, as well as an implementation and data of examples that can be used in Macaulay2.
Chromatic numbers of flag 3-spheres
A recent conjecture of Chudnovsky and Nevo asserts that flag triangulations of spheres always have linear-sized independent sets, with a precisely conjectured proportion depending on the dimension. For dimensions one and two, the lower bound of their conjecture basically follow from constant bounds on the chromatic number of flag triangulations of $S^1$ and $S^2$. This raises a natural question that does not appear to have been considered: For each $d$ is there a constant upper bound for the chromatic number of flag triangulations of $S^d$? Here we show that the answer to this question is no, and use results from Ramsey theory to construct flag triangulations of 3-spheres on $n$ vertices with chromatic number at least $\widetildeΩ(n^{1/4})$.
On Hamilton cycles in graphs defined by intersecting set systems
In 1970 Lovász conjectured that every connected vertex-transitive graph admits a Hamilton cycle, apart from five exceptional graphs. This conjecture has recently been settled for graphs defined by intersecting set systems, which feature prominently throughout combinatorics. In this expository article, we retrace these developments and give an overview of the many different ingredients in the proofs.
From plactic monoids to hypoplactic monoids
Published
• View Publication
• BIB
The plactic monoids can be obtained from the tensor product of crystals. Similarly, the hypoplactic monoids can be obtained from the quasi-tensor product of quasi-crystals. In this paper, we present a unified approach to these constructions by expressing them in the context of quasi-crystals. We provide a sufficient condition to obtain a quasi-crystal monoid for the quasi-tensor product from a quasi-crystal monoid for the tensor product. We also establish a sufficient condition for a hypoplactic monoid to be a quotient of the plactic monoid associated to the same seminormal quasi-crystal.
Three invariants of geometrically vertex decomposable ideals
Published in Pacific J. Math. 333 (2024) 357-390
• View Publication
• BIB
We study three invariants of geometrically vertex decomposable ideals: the Castelnuovo-Mumford regularity, the multiplicity, and the $a$-invariant. We show that these invariants can be computed recursively using the ideals that appear in the geometric vertex decomposition process. As an application, we prove that the $a$-invariant of a geometrically vertex decomposable ideal is non-positive. We also recover some previously known results in the literature including a formula for the regularity of the Stanley--Reisner ideal of a pure vertex decomposable simplicial complex, and proofs that some well-known families of ideals are Hilbertian. Finally, we apply our recursions to the study of toric ideals of bipartite graphs. Included among our results on this topic is a new proof for a known bound on the $a$-invariant of a toric ideal of a bipartite graph.
Colouring versus density in integers and Hales-Jewett cubes
Published
• View Publication
• BIB
We construct for every integer $k\geq 3$ and every real $μ\in(0, \frac{k-1}{k})$ a set of integers $X=X(k, μ)$ which, when coloured with finitely many colours, contains a monochromatic $k$-term arithmetic progression, whilst every finite $Y\subseteq X$ has a subset $Z\subseteq Y$ of size $|Z|\geq μ|Y|$ that is free of arithmetic progressions of length $k$. This answers a question of Erdős, Nešetřil, and the second author. Moreover, we obtain an analogous multidimensional statement and a Hales-Jewett version of this result.