Showing 20 papers (Total: 82374 papers, 47635 authors in database)
A $q$-multisum identity arising from finite chain ring probabilities
Published in Electronic Journal of Combinatorics 29 (2022), no. 2, Paper No. 2.4, 7 pp
• View Publication
• BIB
In this note, we prove a general identity between a $q$-multisum $B_N(q)$ and a sum of $N^2$ products of quotients of theta functions. The $q$-multisum $B_N(q)$ recently arose in the computation of a probability involving modules over finite chain rings.
Novel ways of enumerating restrained dominating sets of cycles
Published
• View Publication
• BIB
Let $G = (V, E)$ be a graph. A set $S \subseteq V$ is a restrained dominating set (RDS) if every vertex not in $S$ is adjacent to a vertex in $S$ and to a vertex in $V - S$. The restrained domination number of $G$, denoted by $γ_r(G)$, is the smallest cardinality of a restrained dominating set of $G$. Finding the restrained domination number is NP-hard for bipartite and chordal graphs. Let $G_n^i$ be the family of restrained dominating sets of a graph $G$ of order $n$ with cardinality $i$, and let $d_r(G_n, i)=|G_n^i|$. The restrained domination polynomial (RDP) of $G_n$, $D_r(G_n, x)$ is defined as $D_r(G_n, x) = \sum_{i=γ_r(G_n)}^{n} d_r(G_n,i)x^i$. In this paper, we focus on the RDP of cycles and have, thus, introduced several novel ways to compute $d_r(C_n, i)$, where $C_n$ is a cycle of order $n$. In the first approach, we use a recursive formula for $d_r(C_n,i)$; while in the other approach, we construct a generating function to compute $d_r(C_n,i)$.
Cocrystals of symplectic Kashiwara-Nakashima tableaux, symplectic Willis like direct way, virtual keys and applications
We attach a $\mathfrak{sl}_2$ crystal, called cocrystal, to a symplectic Kashiwara-Nakashima (KN) tableau, whose vertices are skew KN tableaux connected via the Lecouvey-Sheats symplectic \emph{jeu de taquin}. These cocrystals contain all the needed information to compute right and left keys of a symplectic KN tableau. Motivated by Willis' direct way of computing type $A$ right and left keys, we also give a way of computing symplectic, right and left, keys without the use of the symplectic \emph{jeu de taquin}. On the other hand, we prove that Baker virtualization by folding $A_{2n-1}$ into $C_n$ commutes with dilatation of crystals. Thus we may alternatively utilize this Baker virtualization to embed a type $C_n$ Demazure crystal, its opposite and atoms into $A_{2n-1}$ ones. The right, respectively left keys of a KN tableau are thereby computed as $A_{2n-1}$ semistandard tableaux and returned back via reverse Baker embedding to the $C_n$ crystal as its right respectively left symplectic keys. In particular, Baker embedding also virtualizes the crystal of Lakshmibai-Seshadri paths as $B_n$-paths into the crystal of Lakshmibai-Seshadri paths as $\mathfrak{S}_{2n}$-paths. Lastly, as an application of our explicit symplectic right and left key maps, thanks to the isomorphism between Lakshmibai-Seshadri path and Kashiwara crystals we use, similarly to the ${{Gl}(n,\mathbb{C})}$ case, left and right key maps as a tool to test whether a symplectic KN tableau is \emph{standard} on a Schubert or Richardson variety in the flag variety $Sp(2n,\mathbb{C})/B$, with $B$ a Borel subgroup.
The Turán number of Berge book hypergraphs
Published
• View Publication
• BIB
Given a graph $G$, a Berge copy of $G$ is a hypergraph obtained by enlarging the edges arbitrarily. Gy\H ori in 2006 showed that for $r=3$ or $r=4$, an $r$-uniform $n$-vertex Berge triangle-free hypergraph has at most $\lfloor n^2/8(r-2)\rfloor$ hyperedges if $n$ is large enough, and this bound is sharp.
The book graph $B_t$ consists of $t$ triangles sharing an edge. Very recently, Ghosh, Győri, Nagy-György, Paulos, Xiao and Zamora showed that a 3-uniform $n$-vertex Berge $B_t$-free hypergraph has at most $n^2/8+o(n^2)$ hyperedges if $n$ is large enough. They conjectured that this bound can be improved to $\lfloor n^2/8\rfloor$.
We prove this conjecture for $t=2$ and disprove it for $t>2$ by proving the sharp bound $\lfloor n^2/8\rfloor+(t-1)^2$. We also consider larger uniformity and determine the largest number of Berge $B_t$-free $r$-uniform hypergraphs besides an additive term $o(n^2)$. We obtain a similar bound if the Berge $t$-fan ($t$ triangles sharing a vertex) is forbidden.
Fully commutative elements and spherical nilpotent orbits
Published
• View Publication
• BIB
Let g be a simple Lie algebra, with fixed Borel subalgebra b and with Weyl group W. Expanding on previous work of Fan and Stembridge in the simply laced case, this note aims to study the fully commutative elements of W, and their connections with the spherical nilpotent orbits in g. If g is not of type G_2, it is shown that an element w in W is fully commutative if and only if the subalgebra of b determined by the inversions of w lies in the closure of a spherical nilpotent orbit. A similar characterization is also given for the ad-nilpotent ideals of b, which are parametrized by suitable elements in the affine Weyl group of g thanks to the work of Cellini and Papi.
Homomorphism Tensors and Linear Equations
Published in Advances in Combinatorics 2025:4, 50pp
• View Publication
• BIB
Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if and only if they are homomorphism indistinguishable over the class of all graphs, i.e. for every graph $F$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Recently, homomorphism indistinguishability over restricted classes of graphs such as bounded treewidth, bounded treedepth and planar graphs, has emerged as a surprisingly powerful framework for capturing diverse equivalence relations on graphs arising from logical equivalence and algebraic equation systems.
In this paper, we provide a unified algebraic framework for such results by examining the linear-algebraic and representation-theoretic structure of tensors counting homomorphisms from labelled graphs. The existence of certain linear transformations between such homomorphism tensor subspaces can be interpreted both as homomorphism indistinguishability over a graph class and as feasibility of an equational system. Following this framework, we obtain characterisations of homomorphism indistinguishability over several natural graph classes, namely trees of bounded degree and graphs of bounded pathwidth, answering a question of Dell et al. (2018), and graphs of bounded treedepth.
Testing thresholds for high-dimensional sparse random geometric graphs
Published
• View Publication
• BIB
In the random geometric graph model $\mathsf{Geo}_d(n,p)$, we identify each of our $n$ vertices with an independently and uniformly sampled vector from the $d$-dimensional unit sphere, and we connect pairs of vertices whose vectors are ``sufficiently close'', such that the marginal probability of an edge is $p$.
We investigate the problem of testing for this latent geometry, or in other words, distinguishing an Erdős-Rényi graph $\mathsf{G}(n, p)$ from a random geometric graph $\mathsf{Geo}_d(n, p)$. It is not too difficult to show that if $d\to \infty$ while $n$ is held fixed, the two distributions become indistinguishable; we wish to understand how fast $d$ must grow as a function of $n$ for indistinguishability to occur.
When $p = \fracα{n}$ for constant $α$, we prove that if $d \ge \mathrm{polylog} n$, the total variation distance between the two distributions is close to $0$; this improves upon the best previous bound of Brennan, Bresler, and Nagaraj (2020), which required $d \gg n^{3/2}$, and further our result is nearly tight, resolving a conjecture of Bubeck, Ding, Eldan, \& Rácz (2016) up to logarithmic factors. We also obtain improved upper bounds on the statistical indistinguishability thresholds in $d$ for the full range of $p$ satisfying $\frac{1}{n}\le p\le \frac{1}{2}$, improving upon the previous bounds by polynomial factors.
Our analysis uses the Belief Propagation algorithm to characterize the distributions of (subsets of) the random vectors {\em conditioned on producing a particular graph}. In this sense, our analysis is connected to the ``cavity method'' from statistical physics. To analyze this process, we rely on novel sharp estimates for the area of the intersection of a random sphere cap with an arbitrary subset of the sphere, which we prove using optimal transport maps and entropy-transport inequalities on the unit sphere.
The Young matroid: A multiset extension of the Catalan matroid to arbitrary Young diagrams
Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila) being studied intensively. In this short note, we introduce the Young matroid, an extension of the Catalan matroid, where the bases are defined using the standard Young tableaux of a fixed shape. This extension necessarily involves the consideration of independent multisets and multiset bases.
The $n$-queens completion problem
Published
• View Publication
• BIB
An $n$-queens configuration is a placement of $n$ mutually non-attacking queens on an $n\times n$ chessboard. The $n$-queens completion problem, introduced by Nauck in 1850, is to decide whether a given partial configuration can be completed to an $n$-queens configuration. In this paper, we study an extremal aspect of this question, namely: how small must a partial configuration be so that a completion is always possible? We show that any placement of at most $n/60$ mutually non-attacking queens can be completed. We also provide partial configurations of roughly $n/4$ queens that cannot be completed, and formulate a number of interesting problems. Our proofs connect the queens problem to rainbow matchings in bipartite graphs and use probabilistic arguments together with linear programming duality.
A branch statistic for trees: Interpreting coefficients of the characteristic polynomial of braid deformations
Published in Enumerative Combinatorics and Applications 3:1 (2023) Article S2R5
• View Publication
• BIB
A hyperplane arrangement in $\mathbb{R}^n$ is a finite collection of affine hyperplanes. The regions are the connected components of the complement of these hyperplanes. By a theorem of Zaslavsky, the number of regions of a hyperplane arrangement is the sum of coefficients of its characteristic polynomial. Arrangements that contain hyperplanes parallel to subspaces whose defining equations are $x_i - x_j = 0$ form an important class called the deformations of the braid arrangement. In a recent work, Bernardi showed that regions of certain deformations are in one-to-one correspondence with certain labeled trees. In this article, we define a statistic on these trees such that the distribution is given by the coefficients of the characteristic polynomial. In particular, our statistic applies to well-studied families like extended Catalan, Shi, Linial and semiorder.
Spectrum of FO logic with quantifier depth 4 is finite
Published
• View Publication
• BIB
The $k$-spectrum is the set of all $α>0$ such that $G(n,n^{-α})$ does not obey the 0-1 law for FO sentences with quantifier depth at most $k$. In this paper, we prove that the minimum $k$ such that the $k$-spectrum is infinite equals 5.
Permutations with non-decreasing transposition array and pattern avoidance
We give some results about a bijection associating each permutation with a subexcedant function. This function is related to a particular decomposition of the permutation as a product of transpositions and therefore it has been called transposition array in the literature. In particular, we identify anti-exceedance positions of the permutation through its transposition array and we give an expression of the bijection in terms of the cycle structure of the permutation. We give a characterization of a family of permutations having a non-decreasing transposition array and study length 3 pattern avoidance therein.
The canonical complex of the weak order
Published in Order, 40:349-370, 2023
• View Publication
• BIB
We define and study the canonical complex of a finite semidistributive lattice $L$. It is the simplicial complex on the join or meet irreducible elements of $L$ which encodes each interval of $L$ by recording the canonical join representation of its bottom element and the canonical meet representation of its top element. This complex behaves properly with respect to lattice quotients of $L$, in the sense that the canonical complex of a quotient of $L$ is the subcomplex of the canonical complex of $L$ induced by the join or meet irreducibles of $L$ uncontracted in the quotient. We then describe combinatorially the canonical complex of the weak order on permutations in terms of semi-crossing arc bidiagrams, formed by the superimposition of two non-crossing arc diagrams of N. Reading. We provide explicit direct bijections between the semi-crossing arc bidiagrams and the weak order interval posets of G. Châtel, V. Pilaud and V. Pons. Finally, we provide an algorithm to describe the Kreweras maps in any lattice quotient of the weak order in terms of semi-crossing arc bidiagrams.
Almost every matroid has an $M(K_4)$- or a $\mathcal{W}^3$-minor
Published
• View Publication
• BIB
We show that almost every matroid contains the rank-3 whirl $\mathcal{W}^3$ or the complete-graphic matroid $M(K_4)$ as a minor.
$4$-Regular partitions and the pod function
Published
• View Publication
• BIB
The partition function $pod(n)$ enumerates the partitions of $n$ wherein odd parts are distinct and even parts are unrestricted. Recently, a number of properties for $pod(n)$ have been established. In this paper, for $k\in\{0,2\}$ we consider the partitions of $n$ into distinct parts not congruent to $k$ modulo $4$ and the $4$-regular partitions of $n$ in order to obtain new properties for $pod(n)$. In this context, we derive two new infinite families of linear inequalities involving the function $pod(n)$ and obtain new identities of Watson type.
Verification of the Jacobian Conjecture for $d$-linear maps in two variables
For any integer $d \geq 1$, we verify the Jacobian Conjecture for a $d$-linear map in two variables. We prove that almost all the coefficients of the formal inverse are in the ideal specified by the Jacobian condition. We find expressions for certain elements in terms of the generators of this ideal. To obtain these expressions, we generalize a bijective proof of the Cayley-Hamilton theorem in two ways.
An introduction to relative Calabi-Yau structures
Published
• View Publication
• BIB
These are notes taken by the second author for a series of three lectures by the first author on absolute and relative Calabi-Yau completions and Calabi-Yau structures given at the workshop of the International Conference on Representations of Algebras which was held online in November 2020. Such structures are relevant for (higher) representation theory as well as for the categorification of cluster algebras with coefficients. After a quick reminder on dg categories and their Hochschild and cyclic homologies, we present examples of absolute and relative Calabi-Yau completions (in the sense of Yeung). In many examples, these are related to higher preprojective algebras in the sense of Iyama-Oppermann. We conclude with the definition of relative (left and right) Calabi-Yau structures after Brav-Dyckerhoff.
Polynomial method for perfect 2-colourings of circulant graphs
In this paper we prove that if an infinite circulant graph with $k$ distances has a perfect $2$-colouring with parameters $(b, c)$, then $b + c \leq 2k + \frac{b+c}{q^t}$ for all positive integers $t$ and primes $q$ satisfying $\frac{b+c}{gcd(b,c)}\vdots q^t$. In addition, we show that if $b + c = q^t$, then this necessary condition becomes sufficient for the existence of perfect $2$-colourings in circulant graphs.
New versions of the Wallis-Fon-Der-Flaass construction to create divisible design graphs
Published
• View Publication
• BIB
A k-regular graph on v vertices is a divisible design graph with parameters (v, k, lambda_1 ,lambda_2, m, n) if its vertex set can be partitioned into m classes of size n, such that any two different vertices from the same class have lambda_1 common neighbours, and any two vertices from different classes have lambda_2 common neighbours whenever it is not complete or edgeless. If m=1, then a divisible design graph is strongly regular with parameters (v, k, lambda_1, lambda_1). In this paper the Wallis-Fon-Der-Flaass construction of strongly regular graphs is modified to create new constructions of divisible design graphs. In some cases, these constructions lead to strongly regular graphs.
Shedding vertices and Ass-decomposable monomial ideals
Published in Rocky Mountain Journal of Mathematics, vol. 53(1), pp. 89-101, (2023)
• View Publication
• BIB
The shedding vertices of simplicial complexes are studied from an algebraic point of view. Based on this perspective, we introduce the class of ass-decomposable monomial ideals which is a generalization of the class of Stanley-Reisner ideals of vertex decomposable simplicial complexes. The recursive structure of ass-decomposable monomial ideals allows us to find a simple formula for the depth, and in squarefree case, an upper bound for the regularity of such ideals.