Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Confluence Graphs of Unitals
We show that the cliques of maximal size in the confluence graph of an arbitrary unital of order $q>2$ have size $q^2$, and that these cliques are the pencils of all blocks through a given point. This solves the Erdős-Ko-Rado problem for all unitals. We also determine all maximal cliques of the confluence graph of the Hermitian unitals. As an application, we show that the confluence graph of an arbitrary unital unambiguously determines the unital. Along the way, we show that each linear space with $q^2$ points such that the sizes of both point rows and line pencils are bounded above by $q+1$ embeds in a projective plane of order $q$.
Critical Exponent for the Acyclic Chromatic Number of Random Graphs
In this paper we study acyclic colouring in the random subgraph $\mathit{G}$ of the complete graph $\mathit{K}_n$ on $\mathit{n}$ vertices where each edge is present with probability $\mathit{p}$; independent of the other edges. We show that the acyclic chromatic number exhibits a phase transition from sublinear to linear growth as the edge probability increases, even in the sparse regime and obtain estimates for the critical exponent. Next, we introduce a relaxation by allowing for a small fraction of "bad" cycles to violate the acyclic colouring condition and show that the critical exponent in this case is in fact zero, no matter how small the fraction.
Linearity Property of Unique Colourings in Random Graphs
In this paper, we study unique colourings in random graphs as a generalization of both conflict-free and injective colourings. Specifically, we impose the condition that a fraction of vertices in the neighbourhood of any vertex are assigned unique colours and use vertex partitioning and the probabilistic method to show that the minimum number of colours needed grows linearly with the uniqueness parameter, unlike both conflict-free and injective colourings. We argue how the unboundedness of the vertex neighbourhoods influences the linearity property and illustrate our case with an example involving treeunique colourings in random graphs.
On the Congruency-Constrained Matroid Base
Published
• View Publication
• BIB
Consider a matroid where all elements are labeled with an element in $\mathbb{Z}$. We are interested in finding a base where the sum of the labels is congruent to $g \pmod m$. We show that this problem can be solved in $\tilde{O}(2^{4m} n r^{5/6})$ time for a matroid with $n$ elements and rank $r$, when $m$ is either the product of two primes or a prime power. The algorithm can be generalized to all moduli and, in fact, to all abelian groups if a classic additive combinatorics conjecture by Schrijver and Seymour holds true. We also discuss the optimization version of the problem.
Linearity and Local Correctness in Weighted Colourings of Random Graphs
In this paper, we consider a weighted generalization of the chromatic number of a Binomial random graph~\(G.\) We equip each edge with a random weight and then colour the vertices in such a way that the absolute colour difference between any two adjacent vertices is at least as large as their edge weight. We show that with high probability, the weighted colouring number grows linearly with the maximum vertex degree if the edge weights have sufficiently large moments. Conversely, if the edge weight moments are unbounded then the weighted chromatic number is much larger than the maximum vertex degree, with high probability. We also obtain a sharp threshold result for locally correct weighted colourings for balanced subgraphs of~\(G.\)
Counting interval sizes in the poset of monotone Boolean functions
We focus on the computational aspects of counting interval sizes in the poset $D_n$, which represents all monotone Boolean functions of $n$ variables. We present a resource-aware algorithm enabling the calculation of interval sizes in $D_7$.
Coefficientwise Hankel-total positivity of the Schett polynomials
We prove the coefficientwise Hankel-total positivity of the even and odd subsequences of Schett polynomials $X_n(x,y,z)$.
A classification of Mengerian $4$-uniform hypergraphs derived from graphs
In this paper, we give a classification of all Mengerian $4$-uniform hypergraphs derived from graphs.
Asymptotics for $d$-fold partition diamonds and related infinite products
Published
• View Publication
• BIB
We prove an asymptotic formula for the number of $d$-fold partition diamonds of $n$ and their Schmidt-type counterparts. In order to do so, we study the asymptotic behavior of certain infinite products. We also remark on interesting potential connections with mathematical physics and Bloch groups.
Algebras of graph functions
Differential operators acting on functions defined on graphs by different studies do not form a consistent framework for the analysis of real or complex functions in the sense that they do not satisfy the Leibniz rule of any order. In this paper we propose a new family of operators that satisfy the Leibniz rule, and as special cases, produce the specific operators defined in the literature, such as the graph difference and the graph Laplacian. We propose a framework to define the order of a differential operator consistently using the Leibniz rule in Lie algebraic setting.
Furthermore by identifying the space of functions defined on graph edges with the tensor product of node functions we construct a Lie bialgebra of graph functions and reinterpret the difference operator as a co-bracket. As an application, some explicit solutions of Schrödinger and Fokker-Planck equations are given.
K-theoretic positivity for matroids
Published
• View Publication
• BIB
Hilbert polynomials have positivity properties under favorable conditions. We establish a similar "K-theoretic positivity" for matroids. As an application, for a multiplicity-free subvariety of a product of projective spaces such that the projection onto one of the factors has birational image, we show that a transformation of its K-polynomial is Lorentzian. This partially answers a conjecture of Castillo, Cid-Ruiz, Mohammadi, and Montano. As another application, we show that the h*-vector of a simplicially positive divisor on a matroid is a Macaulay vector, affirmatively answering a question of Speyer for a new infinite family of matroids.
Slit-slide-sew bijections for constellations and quasiconstellations
Published
• View Publication
• BIB
We extend so-called slit-slide-sew bijections to constellations and quasiconstellations. We present an involution on the set of hypermaps given with an orientation, one distinguished corner, and one distinguished edge leading away from the corner while oriented in the given orientation. This involution reverts the orientation, exchanges the distinguished corner with the distinguished edge in some sense, slightly modifying the degrees of the incident faces in passing, while keeping all the other faces intact.
The construction consists in building a canonical path from the distinguished elements, slitting the map along it, and sewing back after sliding by one unit along the path. The involution specializes into a bijection interpreting combinatorial identities linking the numbers of constellations or quasiconstellations with a given face degree distribution, where the degree distributions differ by one $+1$ and one $-1$. In particular, this allows to recover the counting formula for constellations or quasiconstellations with a given face degree distribution.
Our bijections furthermore provide an algorithm for sampling a hypermap uniformly distributed among constellations or quasiconstellations with prescribed face degrees.
A bump statistic on permutations resulting from the Robinson-Schensted correspondence
Published in Ann. Comb. (2024)
• View Publication
• BIB
In this paper we investigate a permutation statistic that was independently introduced by Romik in 2005. This statistic counts the number of bumps that occur during the execution of the Robinson-Schensted procedure when applied to a given permutation. We provide several interpretations of this bump statistic that include the tableaux shape and also as an extremal problem concerning permutations and increasing subsequences. Several aspects of this bump statistic are investigated from both structural and enumerative viewpoints.
Type A Partially-Symmetric Macdonald Polynomials
Published
• View Publication
• BIB
We construct type A partially-symmetric Macdonald polynomials $P_{(λ\mid γ)}$, where $λ\in \mathbb{Z}_{\geq 0}^{n-k}$ is a partition and $γ\in \mathbb{Z}_{\geq 0}^k$ is a composition. These are polynomials which are symmetric in the first $n-k$ variables, but not necessarily in the final $k$ variables. We establish their stability and an integral form defined using Young diagram statistics. Finally, we build Pieri-type rules for degree 1 products $x_j P_{(λ\mid γ)}$ for $j > n-k$ and $e_1[x_1, \dotsc, x_{n-k}] P_{(λ\mid γ)}$, along with substantial combinatorial simplification of the $e_1$ multiplication. The $P_{(λ\mid γ)}$ are the same as the $m$-symmetric Macdonald polynomials defined by Lapointe up to a change of variables.
Characterizing traces of processes defined by precedence and response constraints: an order theory approach
Published
• View Publication
• BIB
In this paper we consider a general system of activities that can, but do not have to, occur. This system is governed by a set containing two types of constraints: precedence and response. A precedence constraint dictates that an activity can only occur if it has been preceded by some other specified activity. Response constraints are similarly defined. An execution of the system is a listing of activities in the order they occur and which satisfies all constraints. These listings are known as traces. Such systems naturally arise in areas of theoretical computer science and decision science. An outcome of the freedom with which activities can occur is that there are many different possible executions, and gaining a combinatorial insight into these is a non-trivial problem.
We characterize all of the ways in which such a system can be executed. Our approach uses order theory to provide a classification in terms of the linear extensions of posets constructed from the constraint sets. This characterization is essential in calculating the stakeholder utility metrics that have been developed by the first author that allow for quantitative comparisons of such systems/processes. It also allows for a better understanding of the theoretical backbone to these processes.
Homology of Partial Partitions Ordered by Inclusion
We investigate the set of partial partitions of a finite set, ordered by inclusion. With this ordering the set of partial partitions can be studied as an abstract simplicial complex. We use the theory of shellable nonpure complexes to find its Betti numbers and prove that there is a basis of its homology that consists of boundaries of combinatorial cross-polytopes of various dimensions.
New examples and partial classification of 15-vertex triangulations of the quaternionic projective plane
Published in Trudy Mat. Inst. Steklova, 326 (2024), 58-100 (in Russian); English transl. in: Proc. Steklov Inst. Math., 326 (2024), 52-89
• View Publication
• BIB
Brehm and Kühnel (1992) constructed three 15-vertex combinatorial 8-manifolds `like the quaternionic projective plane' with symmetry groups $\mathrm{A}_5$, $\mathrm{A}_4$, and $\mathrm{S}_3$, respectively. Gorodkov (2016) proved that these three manifolds are in fact PL homeomorphic to $\mathbb{HP}^2$. Note that 15 is the minimal number of vertices of a combinatorial 8-manifold that is not PL homeomorphic to $S^8$. In the present paper we construct a lot of new 15-vertex triangulations of $\mathbb{HP}^2$. A surprising fact is that such examples are found for very different symmetry groups, including those not in any way related to the group $\mathrm{A}_5$. Namely, we find 19 triangulations with symmetry group $\mathrm{C}_7$, one triangulation with symmetry group $\mathrm{C}_6\times\mathrm{C}_2$, 14 triangulations with symmetry group $\mathrm{C}_6$, 26 triangulations with symmetry group $\mathrm{C}_5$, one new triangulation with symmetry group $\mathrm{A}_4$, and 11 new triangulations with symmetry group $\mathrm{S}_3$. Further, we obtain the following classification result. We prove that, up to isomorphism, there are exactly 75 triangulations of $\mathbb{HP}^2$ with 15 vertices and symmetry group of order at least 4: the three Brehm-Kühnel triangulations and the 72 new triangulations listed above. On the other hand, we show that there are plenty of triangulations with symmetry groups $\mathrm{C}_3$ and $\mathrm{C}_2$, as well as the trivial symmetry group.
Word Measures on Wreath Products II
Published
• View Publication
• BIB
Every word $w$ in $F_r$, the free group of rank $r$, induces a probability measure (the $w$-measure) on every finite group $G$, by substitution of random $G$-elements in the letters. This measure is determined by its Fourier coefficients: the $w$-expectations $E_w[χ]$ of the irreducible characters of $G$. For every finite group $G$, every stable character $χ$ of $G\wr S_n$ (trace of a finitely generated $FI_G$-module), and every word $w\in F_r$, we approximate $E_w[χ]$ up to an error term of $O(n^{-π(w)})$, where $π(w)$ is the primitivity rank of $w$. This generalizes previous works by Puder, Hanany, Magee and the author. As an application we show that random Schreier graphs of representation-stable actions of $G\wr S_n$ are close-to-optimal expanders. The paper reveals a surprising relation between stable representation theory of wreath products and not-necessarily connected Stallings core graphs.
Structure and substructure connectivity of folded divide-and-swap cube
Let $ H $ be a connected subgraph of a graph $ G $. The structure connectivity of $ G $, denoted by $ κ(G;H) $, is the minimum number of a set of connected subgraphs in $ G $, whose removal disconnects $ G $ and each element in the set is isomorphic to $ H $. The substructure connectivity of $ G $, denoted by $ κ^s(G;H) $, is the minimum number of a set of connected subgraphs in $ G $, whose removal disconnects $ G $ and each element in the set is isomorphic to a connected subgraph of $ H $. In this paper, we determine $ H $-structure connectivity and $ H $-substructure connectivity of folded divide-and-swap cube $ FDSC_n $ for $ H\in\{K_1, K_{1,1}, K_{1,m} (2\leq m \leq d+1) \} $ where $ n=2^d $. We show that $κ(FDSC_n;K_1)=κ^s(FDSC_n;K_1)=d+2$, $κ(FDSC_n;K_{1,1})=κ^s(FDSC_n;K_{1,1})=d+1 $ for $ d\geq1 $ and $κ(FDSC_n;K_{1,m})=κ^s(FDSC_n;K_{1,m})=\lfloor\frac{d}{2}\rfloor+1$ for $d\geq1 $ and $ 2\leq m \leq d+1$.
The total number of descents and levels in tensor words and cyclic tensor words
We obtain an explicit formula for the total number of descents and levels in tensor words and cyclic tensor words of arbitrary dimension. We also establish the exact maximal number of descents in words and use it to obtain an upper bound on the maximal number of descents in tensor words.