Showing 20 papers (Total: 84360 papers, 48587 authors in database)
The Weyl-Kac weight formula
Published in Seminaire Lotharingien de Combinatoire 78B (2017), Article #77
• Search Publication
We provide the first formulae for the weights of all simple highest weight modules over Kac-Moody algebras. For generic highest weights, we present a formula for the weights of simple modules similar to the Weyl-Kac character formula. For the remaining highest weights, the formula fails in a striking way, suggesting the existence of 'multiplicity-free' Macdonald identities for affine root systems.
The critical exponent: a novel graph invariant
Published in Seminaire Lotharingien de Combinatoire 78B (2017), Article #62
• Search Publication
A surprising result of FitzGerald and Horn (1977) shows that $A^{\circ α} := (a_{ij}^α)$ is positive semidefinite (p.s.d.) for every entrywise nonnegative $n \times n$ p.s.d. matrix $A = (a_{ij})$ if and only if $α$ is a positive integer or $α\geq n-2$. Given a graph $G$, we consider the refined problem of characterizing the set $\mathcal{H}_G$ of entrywise powers preserving positivity for matrices with a zero pattern encoded by $G$. Using algebraic and combinatorial methods, we study how the geometry of $G$ influences the set $\mathcal{H}_G$. Our treatment provides new and exciting connections between combinatorics and analysis, and leads us to introduce and compute a new graph invariant called the critical exponent.
Binary linear complementary dual codes
Published in Cryptography and Communications (2019) 11:677-696
• View Publication
• BIB
Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study binary linear complementary dual $[n,k]$ codes with the largest minimum weight among all binary linear complementary dual $[n,k]$ codes. We characterize binary linear complementary dual codes with the largest minimum weight for small dimensions. A complete classification of binary linear complementary dual $[n,k]$ codes with the largest minimum weight is also given for $1 \le k \le n \le 16$.
Generalized nil-Coxeter algebras
Published in Seminaire Lotharingien de Combinatoire 80B (2018), Article #29
• Search Publication
Motivated by work of Coxeter (1957), we study a class of algebras associated to Coxeter groups, which we term 'generalized nil-Coxeter algebras'. We construct the first finite-dimensional examples other than usual nil-Coxeter algebras; these form a $2$-parameter type $A$ family that we term $NC_A(n,d)$. We explore the combinatorial properties of these algebras, including the Coxeter word basis, length function, maximal words, and their connection to Khovanov's categorification of the Weyl algebra.
Our broader motivation arises from complex reflection groups and the Broue-Malle-Rouquier freeness conjecture (1998). With generic Hecke algebras over real and complex groups in mind, we show that the 'first' finite-dimensional examples $NC_A(n,d)$ are in fact the only ones, outside of the usual nil-Coxeter algebras. The proofs use a diagrammatic calculus akin to crystal theory.
Toric Fano varieties associated to graph cubeahedra
Published
• View Publication
• BIB
We give a necessary and sufficient condition for the nonsingular projective toric variety associated to the graph cubeahedron of a finite simple graph to be Fano or weak Fano in terms of the graph.
Support of Laurent series algebraic over the field of formal power series
Published
• View Publication
• BIB
This work is devoted to the study of the support of a Laurent series in several variables which is algebraic over the ring of power series over a characteristic zero field. Our first result is the existence of a kind of maximal dual cone of the support of such a Laurent series. As an application of this result we provide a gap theorem for Laurent series which are algebraic over the field of formal power series. We also relate these results to diophantine properties of the fields of Laurent series.
Asymptotic Distribution of Parameters in Random Maps
We consider random rooted maps without regard to their genus, with fixed large number of edges, and address the problem of limiting distributions for six different parameters: vertices, leaves, loops, root edges, root isthmus, and root vertex degree. Each of these leads to a different limiting distribution, varying from (discrete) geometric and Poisson distributions to different continuous ones: Beta, normal, uniform, and an unusual distribution whose moments are characterised by a recursive triangular array.
Building Large Free Subshifts Using the Local Lemma
Published
• View Publication
• BIB
Gao, Jackson, and Seward proved that every countably infinite group $Γ$ admits a nonempty free subshift $X \subseteq 2^Γ$. Here we strengthen this result by showing that free subshifts can be "large" in various senses. Specifically, we prove that for any $k \geqslant 2$ and $h < \log_2 k$, there exists a free subshift $X \subseteq k^Γ$ of Hausdorff dimension and, if $Γ$ is sofic, entropy at least $h$, answering two questions attributed by Gao, Jackson, and Seward to Juan Souto. Furthermore, we establish a general lower bound on the largest "size" of a free subshift $X'$ contained inside a given subshift $X$. A central role in our arguments is played by the Lovász Local Lemma, an important tool in probabilistic combinatorics, whose relevance to the problem of finding free subshifts was first recognized by Aubrun, Barbieri, and Thomassé.
Characterization of generalized Petersen graphs that are Kronecker covers
Published in dmtcs:4592 - Discrete Mathematics & Theoretical Computer Science, November 11, 2019, vol. 21 no. 4
• View Publication
• BIB
The family of generalized Petersen graphs $G(n, k)$, introduced by Coxeter et al. [4] and named by Mark Watkins (1969), is a family of cubic graphs formed by connecting the vertices of a regular polygon to the corresponding vertices of a star polygon. The Kronecker cover $\mathrm{KC}(G)$ of a simple undirected graph $G$ is a a special type of bipartite covering graph of $G$, isomorphic to the direct (tensor) product of $G$ and $K_2$. We characterize all the members of generalized Petersen graphs that are Kronecker covers, and describe the structure of their respective quotients. We observe that some of such quotients are again generalized Petersen graphs, and describe all such pairs.
Cubic graphs, their Ehrhart quasi-polynomials, and a scissors congruence phenomenon
Published
• View Publication
• BIB
The scissors congruence conjecture for the unimodular group is an analogue of Hilbert's third problem, for the equidecomposability of polytopes. Liu and Osserman studied the Ehrhart quasi-polynomials of polytopes naturally associated to graphs whose vertices have degree one or three. In this paper, we prove the scissors congruence conjecture, posed by Haase and McAllister, for this class of polytopes. The key ingredient in the proofs is the nearest neighbor interchange on graphs and a naturally arising piecewise unimodular transformation.
The parameterized complexity of finding a 2-sphere in a simplicial complex
Published
• View Publication
• BIB
We consider the problem of finding a subcomplex K' of a simplicial complex K such that K' is homeomorphic to the 2-dimensional sphere, S^2. We study two variants of this problem. The first asks if there exists such a K' with at most k triangles, and we show that this variant is W[1]-hard and, assuming ETH, admits no O(n^{o(sqrt(k))}) time algorithm. We also give an algorithm that is tight with regards to this lower bound. The second problem is the dual of the first, and asks if K' can be found by removing at most k triangles from K. This variant has an immediate O(3^k poly(|K|)) time algorithm, and we show that it admits a polynomial kernelization to O(k^2) triangles, as well as a polynomial compression to a weighted version with bit-size O(k log k).
On Davenport constant of finite abelian groups
$G$ be an additive finite abelian group. The Davenport constant $\mathsf D(G)$ is the smallest integer $t$ such that every sequence (multiset) $S$ over $G$ of length $|S|\ge t$ has a non-empty zero-sum subsequence. Recently, B. Girard proved that for every fixed integer $r > 1$ the Davenport constant $\mathsf D(C_n^r)$ is asymptotic to $rn$ when $n$ tends to infinity. In this paper, for every fixed positive integer $r$, we prove that
$$\mathsf D(C_n^r)=rn+O(\frac{n}{\ln n}).$$
This is an explicit version of the above result of B. Girard. Furthermore, we can get better estimates of the error term for some $n$ of special types. Finally, we get an asymptotic result for some finite abelian groups of special types. Our proof combines a classical argument in the zero-sum theory together with some basic tools and results from analytic number theory.
Simple proofs and expressions for the restricted partition function and its polynomial part
In this note, we provide a simple derivation of expressions for the restricted partition function and its polynomial part. Our proof relies on elementary algebra on rational functions and a lemma that expresses the polynomial part as an average of the partition function.
Crystal graphs for shifted tableaux
We define crystal operators on semistandard shifted tableaux, giving a new proof that Schur $P$-functions are Schur positive. We define a queer crystal operator to construct a connected queer crystal on semistandard shifted tableaux of a given shape, providing a new proof that products of Schur $P$-functions are Schur $P$-positive. We also give a rectification map from shifted tableaux to Young tableaux that commutes with the crystal operators and provides a dual algorithm to shifted insertion.
Positive temperature dynamics on Gelfand-Tsetlin patterns restricted by wall
The thesis focuses on processes on symplectic Gelfand-Tsetlin patterns. In chapter 4, a process with dynamics inspired by the Berele correspondence [Ber86] is presented. It is proved that the shape of the pattern is a Doob $h$-transform of independent random walks with $h$ given by the symplectic Schur function. This is followed by an extension to a $q$-weighted version. This randomised version has itself a branching structure and is related to a $q$-deformation of the $so_{2n+1}$-Whittaker functions. In chapter 5, we present a fully randomised process. This process $q$-deforms a process proposed in [WW09]. In chapter 7 we prove the convergence of the $q$-deformation of the $so_{2n+1}$-Whittaker functions to the classical $so_{2n+1}$-Whittaker functions when $q \to 1$. Finally, in chapter 8 we turn our interest to the continuous setting and construct a process on patterns which contains a positive temperature analogue of the Dyson's Brownian motion of type $B/C$. The processes obtained are $h$-transforms of Brownian motions killed at a continuous rate that depends on their distance from the boundary of the Weyl chamber of type $B/C$, with $h$ related with the $so_{2n+1}$-Whittaker functions.
A positive fraction mutually avoiding sets theorem
Published in Discrete Mathematics 2020
• View Publication
• BIB
Two sets $A$ and $B$ of points in the plane are \emph{mutually avoiding} if no line generated by any two points in $A$ intersects the convex hull of $B$, and vice versa. In 1994, Aronov, Erd\H os, Goddard, Kleitman, Klugerman, Pach, and Schulman showed that every set of $n$ points in the plane in general position contains a pair of mutually avoiding sets each of size at least $\sqrt{n/12}$. As a corollary, their result implies that for every set of $n$ points in the plane in general position one can find at least $\sqrt{n/12}$ segments, each joining two of the points, such that these segments are pairwise crossing. In this note, we prove a fractional version of their theorem: for every $k > 0$ there is a constant $\varepsilon_k > 0$ such that any sufficiently large point set $P$ in the plane contains $2k$ subsets $A_1,\ldots, A_{k},B_1,\ldots, B_k$, each of size at least $\varepsilon_k|P|$, such that every pair of sets $A = \{a_1,\ldots, a_k\}$ and $B = \{b_1,\ldots, b_k\}$, with $a_i \in A_i$ and $b_i \in B_i$, are mutually avoiding. Moreover, we show that $\varepsilon_k = Ω(1/k^4)$. Similar results are obtained in higher dimensions
Multicolor Gallai-Ramsey numbers of $C_9$ and $C_{11}$
A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. We study Ramsey-type problems in Gallai colorings. Given an integer $k\ge1$ and a graph $H$, the Gallai-Ramsey number $GR_k(H)$ is the least positive integer $n$ such that every Gallai $k$-coloring of the complete graph on $n$ vertices contains a monochromatic copy of $H$. It turns out that $GR_k(H)$ is more well-behaved than the classical Ramsey number $R_k(H)$. However, finding exact values of $GR_k (H)$ is far from trivial. In this paper, we study Gallai-Ramsey numbers of odd cycles. We prove that for $n\in\{4,5\}$ and all $k\ge1$, $GR_k(C_{2n+1})= n\cdot 2^k+1$. This new result provides partial evidence for the first two open cases of the Triple Odd Cycle Conjecture of Bondy and Erdős from 1973. Our technique relies heavily on the structural result of Gallai on Gallai colorings of complete graphs. We believe the method we developed can be used to determine the exact values of $GR_k(C_{2n+1})$ for all $n\ge6$.
Reconfiguration of Colorable Sets in Classes of Perfect Graphs
Published
• View Publication
• BIB
A set of vertices in a graph is c-colorable if the subgraph induced by the set has a proper c-coloring. In this paper, we study the problem of finding a step-by-step transformation (reconfiguration) between two c-colorable sets in the same graph. This problem generalizes the well-studied Independent Set Reconfiguration problem. As the first step toward a systematic understanding of the complexity of this general problem, we study the problem on classes of perfect graphs. We first focus on interval graphs and give a combinatorial characterization of the distance between two c-colorable sets. This gives a linear-time algorithm for finding an actual shortest reconfiguration sequence for interval graphs. Since interval graphs are exactly the graphs that are simultaneously chordal and co-comparability, we then complement the positive result by showing that even deciding reachability is PSPACE-complete for chordal graphs and for co-comparability graphs. The hardness for chordal graphs holds even for split graphs. We also consider the case where c is a fixed constant and show that in such a case the reachability problem is polynomial-time solvable for split graphs but still PSPACE-complete for co-comparability graphs. The complexity of this case for chordal graphs remains unsettled. As by-products, our positive results give the first polynomial-time solvable cases (split graphs and interval graphs) for Feedback Vertex Set Reconfiguration.
Average Behavior of Minimal Free Resolutions of Monomial Ideals
Published
• View Publication
• BIB
We describe the typical homological properties of monomial ideals defined by random generating sets. We show that, under mild assumptions, random monomial ideals (RMI's) will almost always have resolutions of maximal length; that is, the projective dimension will almost always be $n$, where $n$ is the number of variables in the polynomial ring. We give a rigorous proof that Cohen-Macaulayness is a "rare" property. We characterize when an RMI is generic/strongly generic, and when it "is Scarf"---in other words, when the algebraic Scarf complex of $M\subset S=k[x_1,\ldots,x_n]$ gives a minimal free resolution of $S/M$. As a result we see that, outside of a very specific ratio of model parameters, RMI's are Scarf only when they are generic. We end with a discussion of the average magnitude of Betti numbers.
$PI$-eigenfunctions of the Star graphs
Published
• View Publication
• BIB
We consider the symmetric group $\mathrm{Sym}_n,\,n\geqslant 2$, generated by the set $S$ of transpositions $(1~i),\,2 \leqslant i \leqslant n$, and the Cayley graph $S_n=Cay(\mathrm{Sym}_n,S)$ called the Star graph. For any positive integers $n\geqslant 3$ and $m$ with $n > 2m$, we present a family of $PI$-eigenfunctions of $S_n$ with eigenvalue $n-m-1$. We establish a connection of these functions with the standard basis of a Specht module. In the case of largest non-principal eigenvalue $n-2$ we prove that any eigenfunction of $S_n$ can be reconstructed by its values on the second neighbourhood of a vertex.