Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Crystal constructions in Number Theory
Weyl group multiple Dirichlet series and metaplectic Whittaker functions can be described in terms of crystal graphs. We present crystals as parameterized by Littelmann patterns and we give a survey of purely combinatorial constructions of prime power coefficients of Weyl group multiple Dirichlet series and metaplectic Whittaker functions using the language of crystal graphs. We explore how the branching structure of crystals manifests in these constructions, and how it allows access to some intricate objects in number theory and related open questions using tools of algebraic combinatorics.
Dodgson polynomial identities
Published
• View Publication
• BIB
Dodgson polynomials appear in Schwinger parametric Feynman integrals and are closely related to the well known Kirchhoff (or first Symanzik) polynomial. In this article a new combinatorial interpretation and a generalisation of Dodgson polynomials are provided. This leads to two new identities that relate large sums of products of Dodgson polynomials to a much simpler expression involving powers of the Kirchhoff polynomial. These identities can be applied to the parametric integrand for quantum electrodynamics, simplifying it significantly. This is worked out here in detail on the example of superficially renormalised photon propagator Feynman graphs, but works much more generally.
Independence numbers of some double vertex graphs and pair graphs
Published in Revista Colombiana de Matemáticas, 58(1) (2024), 47-65
• View Publication
• BIB
The combinatorial properties of double vertex graphs has been widely studied since the 90's. However only very few results are know about the independence number of such graphs. In this paper we obtain the independence numbers of the double vertex graphs of fan graphs and wheel graphs. Also we obtain the independence numbers of the pair graphs, that is a generalization of the double vertex graphs, of some families of graphs.
Elementary Polynomial Identities Involving $q$-Trinomial Coefficients
Published
• View Publication
• BIB
We use $q$-binomial theorem to prove three new polynomial identities involving $q$-trinomial coefficients. We then use summation formulas for the $q$-trinomial coefficients to convert our identities into another set of three polynomial identities, which imply Capparelli's partition theorems when the degree of the polynomial tends to infinity. This way we also obtain an interesting new result for the sum of the Capparelli's products. We finish this paper by proposing an infinite hierarchy of polynomial identities.
Diagonal Orbits in a Type A Double Flag Variety of Complexity One
Published
• View Publication
• BIB
We continue our study of the inclusion posets of diagonal $SL(n)$-orbit closures in a product of two partial flag varieties. We prove that, if the diagonal action is of complexity one, then the poset is isomorphic to one of the 28 posets that we determine explicitly. Furthermore, our computations show that the number of diagonal $SL(n)$-orbits in any of these posets is at most 10 for any positive integer $n$. This is in contrast with the complexity 0 case, where, in some cases, the resulting posets attain arbitrary heights.
On omega-categorical structures with few finite substructures
We establish new results on the possible growth rates for the sequence (f_n) counting the number of orbits of a given oligomorphic group on unordered sets of size n. Macpherson showed that for primitive actions, the growth is at least exponential (if the sequence is not constant equal to 1). The best lower bound previously known for the base of the exponential was obtained by Merola. We establishing the optimal value of 2 in the case where the structure is unstable. This allows us to improve on Merola's bound and also obtain the optimal value for structures homogeneous in a finite relational language. Finally, we show that the study of sequences (f_n) of sub-exponential growth reduces to the omega-stable case.
The chromatic index of strongly regular graphs
Published in Ars Math. Contemp. 20 (2021) 187-194
• View Publication
• BIB
We determine (partly by computer search) the chromatic index (edge-chromatic number) of many strongly regular graphs (SRGs), including the SRGs of degree $k \leq 18$ and their complements, the Latin square graphs and their complements, and the triangular graphs and their complements. Moreover, using a recent result of Ferber and Jain it is shown that an SRG of even order $n$, which is not the block graph of a Steiner 2-design or its complement, has chromatic index $k$, when $n$ is big enough. Except for the Petersen graph, all investigated connected SRGs of even order have chromatic index equal to their degree, i.e., they are class 1, and we conjecture that this is the case for all connected SRGs of even order.
Colouring Graphs with Sparse Neighbourhoods: Bounds and Applications
Published
• View Publication
• BIB
Let $G$ be a graph with chromatic number $χ$, maximum degree $Δ$ and clique number $ω$. Reed's conjecture states that $χ\leq \lceil (1-\varepsilon)(Δ+ 1) + \varepsilonω\rceil$ for all $\varepsilon \leq 1/2$. It was shown by King and Reed that, provided $Δ$ is large enough, the conjecture holds for $\varepsilon \leq 1/130,000$. In this article, we show that the same statement holds for $\varepsilon \leq 1/26$, thus making a significant step towards Reed's conjecture. We derive this result from a general technique to bound the chromatic number of a graph where no vertex has many edges in its neighbourhood. Our improvements to this method also lead to improved bounds on the strong chromatic index of general graphs. We prove that $χ'_s(G)\leq 1.835 Δ(G)^2$ provided $Δ(G)$ is large enough.
Surface Algebras I: Dessins D'enfants, Surface Algebras, and Dessin Orders
In this paper, a construction of an infinite dimensional associative algebra, which will be called a \emph{Surface Algebra}, is associated in a "canonical" way to a dessin d'enfant, or more generally, a cellularly embedded graph in a Riemann surface. Once the surface algebras are constructed we will see a construction of what we call here the associated \emph{Dessin Order} or more generally the \emph{Surface Order}. This provides a way of associating to every algebraic curve $X$, with function field $k(X)$ (defined over an arbitrary field $k$) the representation theory of its Surface Algebra and the lattices over Surface Orders, which are defined as pullbacks of certain matrix algebras over commutative $k$-algebras. We will then be able to prove that the center and the (noncommutative) normalization of the surface orders are invariant under the action of the absolute Galois group $\mathcal{G}(\overline{\mathbb{Q}}/\mathbb{Q})$. We will see that the surface algebras and surface orders are closely related to the fundamental group(oid) of the Riemann surfaces and the associated monodromy group. A description of the projective resolutions of the simple modules over the surface order is given and it will be shown that one can completely recover the dessin with the projective resolutions of the simple modules alone. In particular, the projective resolutions of the simple modules encode all combinatorial and topological data of the monodromy group (or cartographic group) of a dessin. Finally, as a corollary we are able to say that classifying dessins in an orbit of $\mathcal{G}(\overline{\mathbb{Q}}/\mathbb{Q})$ is equivalent to classifying dessin orders with a given normalization. We end with some further examples of surface algebras and surface orders related to the classical and geometric version of the Langlands Program.
The relationship between graphs and Nichols braided Lie algebras
Published
• View Publication
• BIB
In this paper we give the relationship between the connected components of pure generalized Dynkin graphs and Nichols braided Lie algebras.
Rainbow triangles in arc-colored digraphs
Published
• View Publication
• BIB
Let $D$ be an arc-colored digraph. The arc number $a(D)$ of $D$ is defined as the number of arcs of $D$. The color number $c(D)$ of $D$ is defined as the number of colors assigned to the arcs of $D$. A rainbow triangle in $D$ is a directed triangle in which every pair of arcs have distinct colors. Let $f(D)$ be the smallest integer such that if $c(D)\geq f(D)$, then $D$ contains a rainbow triangle. In this paper we obtain $f(\overleftrightarrow{K}_{n})$ and $f(T_n)$, where $\overleftrightarrow{K}_{n}$ is a complete digraph of order $n$ and $T_n$ is a strongly connected tournament of order $n$. Moreover we characterize the arc-colored complete digraph $\overleftrightarrow{K}_{n}$ with $c(\overleftrightarrow{K}_{n})=f(\overleftrightarrow{K}_{n})-1$ and containing no rainbow triangles. We also prove that an arc-colored digraph $D$ on $n$ vertices contains a rainbow triangle when $a(D)+c(D)\geq a(\overleftrightarrow{K}_{n})+f(\overleftrightarrow{K}_{n})$, which is a directed extension of the undirected case.
Kasteleyn operators from mirror symmetry
Published
• View Publication
• BIB
Given a consistent bipartite graph $Γ$ in $T^2$ with a complex-valued edge weighting $\mathcal{E}$ we show the following two constructions are the same. The first is to form the Kasteleyn operator of $(Γ, \mathcal{E})$ and pass to its spectral transform, a coherent sheaf supported on a spectral curve in $(\mathbb{C}^\times)^2$. The second is to form the conjugate Lagrangian $L \subset T^* T^2$ of $Γ$, equip it with a brane structure prescribed by $\mathcal{E}$, and pass to its mirror coherent sheaf. This lives on a stacky toric compactification of $(\mathbb{C}^\times)^2$ determined by the Legendrian link which lifts the zig-zag paths of $Γ$ (and to which the noncompact Lagrangian $L$ is asymptotic). We work in the setting of the coherent-constructible correspondence, a sheaf-theoretic model of toric mirror symmetry. We also show that tensoring with line bundles on the compactification is mirror to certain Legendrian autoisotopies of the asymptotic boundary of $L$.
From $q$-Stirling numbers to the Delta Conjecture: a viewpoint from vincular patterns
Published
• View Publication
• BIB
The distribution of certain Mahonian statistic (called $\mathrm{BAST}$) introduced by Babson and Steingrímsson over the set of permutations that avoid vincular pattern $1\underline{32}$, is shown bijectively to match the distribution of major index over the same set. This new layer of equidistribution is then applied to give alternative interpretations of two related $q$-Stirling numbers of the second kind, studied by Carlitz and Gould. Moreover, extensions to an Euler-Mahonian statistic over ordered set partitions, and to statistics over ordered multiset partitions present themselves naturally. The latter of which is shown to be related to the recently proven Delta Conjecture. During the course, a refined relation between $\mathrm{BAST}$ and its reverse complement $\mathrm{STAT}$ is derived as well.
$C_{2k}$-saturated graphs with no short odd cycles
Published
• View Publication
• BIB
The saturation number of a graph $F$, written $\textup{sat}(n,F)$, is the minimum number of edges in an $n$-vertex $F$-saturated graph. One of the earliest results on saturation numbers is due to Erdős, Hajnal, and Moon who determined $\textup{sat}(n,K_r)$ for all $r \geq 3$. Since then, saturation numbers of various graphs and hypergraphs have been studied. Motivated by Alon and Shikhelman's generalized Turán function, Kritschgau et.\ al.\ defined $\textup{sat}(n,H,F)$ to be the minimum number of copies of $H$ in an $n$-vertex $F$-saturated graph. They proved, among other things, that $\textup{sat}(n,C_3,C_{2k}) = 0$ for all $k \geq 3$ and $n \geq 2k +2$. We extend this result to all odd cycles by proving that for any odd integer $r \geq 5$, $\textup{sat}(n, C_r,C_{2k}) = 0$ for all $2k \geq r+5$ and $n \geq 2kr$.
On the null structure of bipartite graphs without cycles of length a multiple of 4
Published
• View Publication
• BIB
In this work we study the null space of bipartite graphs without cycles of length multiple of $4$, and its relation to structural properties. We decompose them into two subgraphs: $C_N(G)$ and $C_S(G)$. $C_N(G)$ has perfect matching and its adjacency matrix is nonsingular. $C_S(G)$ has a unique maximum independent set and the dimension of its null space equals the dimension of the null space of $G$. Even more, we show that the fundamental spaces of $G$ are the direct sum of the fundamental spaces of $C_N(G)$ and $C_S(G)$. We also obtain formulas relating the independence number and the matching number of a $C_{4k}$-free bipartite graph with $C_N(G)$ and $C_S(G)$, and the dimensions of the fundamental spaces. Among other results, we show that the rank of a $C_{4k}$-free bipartite graph is twice its matching number, generalizing a result for trees due to Bevis et al \cite{bevis1995ranks}, and Cvetković and Gutman \cite{D1972}. About maximum independent sets, we show that the intersection of all maximum independent sets of a $C_{4k}$-free bipartite graph coincides with the support of its null space.
A New [Combinatorial] Proof of the Commutativity of Matching Polynomials for Cycles
We prove some functional equations involving the (classical) matching polynomials of path and cycle graphs and the $d$-matching polynomial of a cycle graph. A matching in a (finite) graph $G$ is a subset of edges no two of which share a vertex, and the matching polynomial of $G$ is a generating function encoding the numbers of matchings in $G$ of each size. The $d$-matching polynomial is a weighted average of matching polynomials of degree-$d$ covers, and was introduced in a paper of Hall, Puder, and Sawin. Let $\mathcal{C}_n$ and $\mathcal{P}_n$ denote the respective matching polynomials of the cycle and path graphs on $n$ vertices, and let $\mathcal{C}_{n,d}$ denote the $d$-matching polynomial of the cycle $C_n$. We give a purely combinatorial proof that $\mathcal{C}_k (\mathcal{C}_n (x)) = \mathcal{C}_{kn} (x)$ en route to proving a conjecture made by Hall: that $\mathcal{C}_{n,d} (x) = \mathcal{P}_d (\mathcal{C}_n (x))$.
Group Inverse of the Laplacian of Connections of Networks
Published
• View Publication
• BIB
In previous works the group inverse of a network obtained by some perturbations, as the deletion of a vertex, the addition of a new vertex, contraction of an edge, etc. is obtained in terms of the group inverse of the original network. In this work, two given networks are connected with some new edges and the group inverse of the new network is related with the group inverses of the two original networks. In particular, the formula for the connection of two networks by just one edge is obtained, and besides the formula for the Kirchhoff index of this kind of network.
Independence Equivalence Classes of Paths and Cycles
The independence polynomial of a graph is the generating polynomial for the number of independent sets of each size. Two graphs are said to be \textit{independence equivalent} if they have equivalent independence polynomials. We extend previous work by showing that independence equivalence class of every odd path has size 1, while the class can contain arbitrarily many graphs for even paths. We also prove that the independence equivalence class of every even cycle consists of two graphs when $n\ge 2$ except the independence equivalence class of $C_6$ which consists of three graphs. The odd case remains open, although, using irreducibility results from algebra, we were able show that for a prime $p \geq 5$ and $n\ge 1$ the independence equivalence class of $C_{p^n}$ consists of only two graphs.
Rainbow matchings of size $m$ in graphs with total color degree at least $2mn$
Published
• View Publication
• BIB
The existence of a rainbow matching given a minimum color degree, proper coloring, or triangle-free host graph has been studied extensively. This paper, generalizes these problems to edge colored graphs with given total color degree. In particular, we find that if a graph $G$ has total color degree $2mn$ and satisfies some other properties, then $G$ contains a matching of size $m$; These other properties include $G$ being triangle-free, $C_4$-free, properly colored, or large enough.
Constructions of Primitive Formally Dual Pairs Having Subsets with Unequal Sizes
Published
• View Publication
• BIB
The concept of formal duality was proposed by Cohn, Kumar and Schürmann, which reflects a remarkable symmetry among energy-minimizing periodic configurations. This formal duality was later on translated into a purely combinatorial property by Cohn, Kumar, Reiher and Schürmann, where the corresponding combinatorial objects were called formally dual pairs. Almost all known examples of primitive formally dual pairs satisfy that the two subsets have the same size. Indeed, prior to this work, there was only one known example having subsets with unequal sizes in $\mathbb{Z}_2 \times \mathbb{Z}_4^2$. Motivated by this example, we propose a lifting construction framework and a recursive construction framework, which generate new primitive formally dual pairs from known ones. As an application, for $m \ge 2$, we obtain $m+1$ pairwise inequivalent primitive formally dual pairs in $\mathbb{Z}_2 \times \mathbb{Z}_4^{2m}$, which have subsets with unequal sizes.