Showing 20 papers (Total: 83133 papers, 48023 authors in database)
On the Schur expansion of Jack polynomials
Published in Séminaire Lotharingien de Combinatoire, 80B, No. 90, (2018)
• Search Publication
We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.
${\rm{TS}}(v,λ)$ with cyclic 2-intersecting Gray codes: $v\equiv 0$ or $4\pmod{12}$
Published
• View Publication
• BIB
A ${\rm{TS}}(v,λ)$ is a pair $(V,\mathcal{B})$ where $V$ contains $v$ points and $\mathcal{B}$ contains $3$-element subsets of $V$ so that each pair in $V$ appears in exactly $λ$ blocks. A $2$-block intersection graph ($2$-BIG) of a ${\rm{TS}}(v,λ)$ is a graph where each vertex is represented by a block from the ${\rm{TS}}(v,λ)$ and each pair of blocks $B_i,B_j\in \mathcal{B}$ are joined by an edge if $|B_i\cap B_j|=2$. Using constructions for ${\rm{TS}}(v,λ)$ given by Schreiber, we show that there exists a ${\rm{TS}}(v,λ)$ for $v\equiv 0$ or $4\pmod{12}$ whose $2$-BIG is Hamiltonian.
Planar diagrams for local invariants of graphs in surfaces
Published in Journal of Knot Theory and Its Ramifications, Vol. 29, No. 01, 1950093 (2020)
• View Publication
• BIB
In order to apply quantum topology methods to nonplanar graphs, we define a planar diagram category that describes the local topology of embeddings of graphs into surfaces. These \emph{virtual graphs} are a categorical interpretation of ribbon graphs. We describe an extension of the flow polynomial to virtual graphs, the $S$-polynomial, and formulate the $\mathfrak{sl}(N)$ Penrose polynomial for non-cubic graphs, giving contraction-deletion relations. The $S$-polynomial is used to define an extension of the Yamada polynomial to virtual spatial graphs, and with it we obtain a sufficient condition for non-classicality of virtual spatial graphs. We conjecture the existence of local relations for the $S$-polynomial at squares of integers.
Vertex-minors and the Erdős-Hajnal conjecture
Published in Discrete Math, 341 (2018), 3498-3499
• View Publication
• BIB
We prove that for every graph $H$, there exists $\varepsilon>0$ such that every $n$-vertex graph with no vertex-minors isomorphic to $H$ has a pair of disjoint sets $A$, $B$ of vertices such that $|A|, |B|\ge \varepsilon n$ and $A$ is complete or anticomplete to $B$. We deduce this from recent work of Chudnovsky, Scott, Seymour, and Spirkl (2018). This proves the analog of the Erdős-Hajnal conjecture for vertex-minors.
Summation formulas for Fox-Wright function
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Combinatorics (October 22, 2018) dmtcs:4476
• View Publication
• BIB
By means of inversion techniques and several known hypergeometric series identities, summation formulas for Fox-Wright function are explored. They give some new hypergeometric series identities when the parameters are specified.
BPS operators in $\mathcal{N}=4$ $SO(N)$ super Yang-Mills theory: plethysms, dominoes and words
Published in JHEP 11 (2018) 035
• View Publication
• BIB
Permutations and associated algebras allow the construction of half and quarter BPS operators in maximally supersymmetric Yang Mills theory with $U(N)$, $SO(N)$ and $Sp(N) $ gauge groups. The construction leads to bases for the operators, labelled by Young diagrams and associated group theory data, which have been shown to be orthogonal under the inner product defined by the free field two-point functions. In this paper, we study in detail the orientifold projection map between the Young diagram basis for $U(N)$ theories and the Young diagram basis for $ SO(N)$ (and $ Sp(N)$) half-BPS operators. We find a simple connection between this map and the plethystic refinement of the Littlewood Richardson coefficients which couple triples of Young diagrams where two of them are identical. This plethystic refinement is known to be computable using an algorithm based on domino tilings of Young diagrams. We discuss the domino combinatorics of the orientifold projection map in terms of giant graviton branes. The permutation construction of $SO(N)$ operators is used to find large N generating functions. The structure of these generating functions is elucidated using the combinatorics of words, organised according to their periodicity. Aperiodic words in the $U(N)$ theory are Lyndon words and an $SO(N)$ analogue of Lyndon words is defined using a minimal periodicity condition. We calculate the normalization factor for the orthogonal basis of Young diagram operators in the baryonic sector of $SO(N)$.
Connectivity and edge-bipancyclicity of hamming shell
Published
• View Publication
• BIB
An Any graph obtained by deleting a Hamming code of length n from a n-cube Qn is called as a Hamming shell. It is well known that a Hamming shell is vertex-transitive, edge-transitive, distance preserving. Moreover, it is Hamiltonian and connected. In this paper, we prove that a Hamming shell is edge-bipancyclic and (n-1)-connected.
$q$-analogs of group divisible designs
Published
• View Publication
• BIB
A well known class of objects in combinatorial design theory are {group divisible designs}. Here, we introduce the $q$-analogs of group divisible designs. It turns out that there are interesting connections to scattered subspaces, $q$-Steiner systems, design packings and $q^r$-divisible projective sets.
We give necessary conditions for the existence of $q$-analogs of group divsible designs, construct an infinite series of examples, and provide further existence results with the help of a computer search.
One example is a $(6,3,2,2)_2$ group divisible design over $\operatorname{GF}(2)$ which is a design packing consisting of $180$ blocks that such every $2$-dimensional subspace in $\operatorname{GF}(2)^6$ is covered at most twice.
Magic squares with empty cells
A k-magic square of order n is an arrangement of the numbers from 0 to kn-1 in an n by n matrix, such that each row and each column has exactly k filled cells, each number occurs exactly once, and the sum of the entries of any row or any column is the same. A magic square is called k-diagonal if its entries all belong to k consecutive diagonals. In this paper we prove that a k-diagonal magic square exists if and only if n = k = 1 or 3 <= k <=n and n is odd or k is even.
On factor-free Dyck words with half-integer slope
Published in Advances in Applied Mathematics 99 (2018), 94-108
• View Publication
• BIB
We study a class of rational Dyck paths with slope (2m+1)/2 corresponding to factor-free Dyck words, as introduced by P. Duchon. We show that, for the slopes considered in this paper, the language of factor-free Dyck words is generated by an auxiliary language that we examine from the algebraic and combinatorial points of view. We provide a lattice path description of this language, and give an explicit enumeration formula in terms of partial Bell polynomials. As a corollary, we obtain new formulas for the number of associated factor-free generalized Dyck words.
Two extremal problems on intersecting families
Published
• View Publication
• BIB
In this short note, we address two problems in extremal set theory regarding intersecting families. The first problem is a question posed by Kupavskii: is it true that given two disjoint cross-intersecting families $\mathcal{A}, \mathcal{B} \subset \binom{[n]}{k}$, they must satisfy $\min\{|\mathcal{A}|, |\mathcal{B}|\} \le \frac{1}{2} \binom{n-1}{k-1}$? We give an affirmative answer for $n \ge 2k^2$, and construct families showing that this range is essentially the best one could hope for, up to a constant factor. The second problem is a conjecture of Frankl. It states that for $n \ge 3k$, the maximum diversity of an intersecting family $\mathcal{F} \subset \binom{[n]}{k}$ is equal to $\binom{n-3}{k-2}$. We are able to find a construction beating the conjectured bound for $n$ slightly larger than $3k$, which also disproves a conjecture of Kupavskii.
Improved bounds for the Erdős-Rogers function
Published in Advances in Combinatorics, 2020:3, 27pp
• View Publication
• BIB
The Erdős-Rogers function $f_{s,t}$ measures how large a $K_s$-free induced subgraph there must be in a $K_t$-free graph on $n$ vertices. While good estimates for $f_{s,t}$ are known for some pairs $(s,t)$, notably when $t=s+1$, in general there are significant gaps between the best known upper and lower bounds. We improve the upper bounds when $s+2\leq t\leq 2s-1$. For each such pair we obtain for the first time a proof that $f_{s,t}\leq n^{α_{s,t}+o(1)}$ with an exponent $α_{s,t}<1/2$, answering a question of Dudek, Retter and Rödl.
A large deviation principle for the Erdős-Rényi uniform random graph
Published
• View Publication
• BIB
Starting with the large deviation principle (LDP) for the Erdős-Rényi binomial random graph $\mathcal{G}(n,p)$ (edge indicators are i.i.d.), due to Chatterjee and Varadhan (2011), we derive the LDP for the uniform random graph $\mathcal{G}(n,m)$ (the uniform distribution over graphs with $n$ vertices and $m$ edges), at suitable $m=m_n$. Applying the latter LDP we find that tail decays for subgraph counts in $\mathcal{G}(n,m_n)$ are controlled by variational problems, which up to a constant shift, coincide with those studied by Kenyon et al. and Radin et al. in the context of constrained random graphs, e.g., the edge/triangle model.
Linear maps on nonnegative symmetric matrices preserving the independence number
Published
• View Publication
• BIB
The independence number of a square matrix $A$, denoted by $α(A)$, is the maximum order of its principal zero submatrices. Let $S_n^{+}$ be the set of $n\times n$ nonnegative symmetric matrices with zero trace. Denote by $J_n$ the $n\times n$ matrix with all entries equal to one. Given any integer $n$, we prove that a linear map $φ: S_n^+\rightarrow S_n^+$ satisfies $$α(φ(X))= α(X) {\quad\rm for~ all\quad}X\in S_n^+$$ if and only if there is a permutation matrix $P$ such that $$φ(X)=H\circ(P^TXP)\quad { \rm for~ all\quad}X\in S_n^+,$$ where $H=φ(J_n-I_n)$ with all off-diagonal entries positive.
Jacobian matrices of Y-seed mutations
Published in Adv. in Appl. Math. 115 (2020), 101987
• View Publication
• BIB
For any quiver mutation sequence, we define a pair of matrices that describe a fixed point equation of a cluster transformation determined from the mutation sequence. We give an explicit relationship between this pair of matrices and the Jacobian matrix of the cluster transformation. Furthermore, we show that this relationship reduces to a relationship between the pair of matrices and the $C$-matrix of the cluster transformation in a certain limit of cluster variables. As an application, we prove that quivers associated with once-punctured surfaces do not have maximal green or reddening sequences.
Several Topics in Experimental Mathematics
This thesis deals with applications of experimental mathematics to a number of problems. The first problem is related to random graph statistics. We consider a certain class of Galton-Watson random trees and look at the total height statistic. We provide an automated procedure for computing values of the moments of this statistic.
Next, we investigate several problems related to lattice paths staying below a line of rational slope. These results are largely data-based. Using the generated data, we are able to find recurrences for the number of such paths for the cases of slopes 3/2 and 5/2. There is also investigation of a generalization of these problems to three dimensions.
We also examine generalizations of Sister Celine's method and Gosper's algorithm for evaluating summations. For both, we greatly extend the classes of applicable functions and applications to proving, or reproving in an automated way, interesting combinatorial problems. For the generalization of Sister Celine's method, we allow summations of arbitrary products of hypergeometric terms and linear recurrent sequences with rational coefficients.
We also show a partial result related to the bunk bed conjecture, a problem concerning random finite graphs. Let $G$ be a finite graph. Remove edges from $G\square K_2$ independently and with the same probability. In $G\square K_2$, there is an edge placed between all vertices of $G$ and the corresponding vertex in a copy of $G$. Then, label these vertices as either $(v,0)$ or $(v,1)$ for each $v\in V(G)$. The conjecture says that for any $x,y \in V(G)$, it is least as likely to have $(x,0)$ connected to $(y,0)$ as to have $(x,0)$ connected to $(y,1)$. We prove the conjecture in the case that only two of the edges going between the two copes of $G$ are retained.
Identities from representation theory
Published in Discrete Math., 342(9) (2019), pp. 2493-2541
• View Publication
• BIB
We give a new Jacobi--Trudi-type formula for characters of finite-dimensional irreducible representations in type $C_n$ using characters of the fundamental representations and non-intersecting lattice paths. We give equivalent determinant formulas for the decomposition multiplicities for tensor powers of the spin representation in type $B_n$ and the exterior representation in type $C_n$. This gives a combinatorial proof of an identity of Katz and equates such a multiplicity with the dimension of an irreducible representation in type $C_n$. By taking certain specializations, we obtain identities for $q$-Catalan triangle numbers, the $q,t$-Catalan number of Stump, $q$-triangle versions of Motzkin and Riordan numbers, and generalizations of Touchard's identity. We use (spin) rigid tableaux and crystal base theory to show some formulas relating Catalan, Motzkin, and Riordan triangle numbers.
Counting tropical rational curves with cross-ratio constraints
Published
• View Publication
• BIB
We enumerate rational curves in toric surfaces passing through points and satisfying cross-ratio constraints using tropical and combinatorial methods. Our starting point is arXiv:1509.07453, where a tropical-algebraic correspondence theorem was proved that relates counts of rational curves in toric varieties that satisfy point conditions and cross-ratio constraints to the analogous tropical counts. We proceed in two steps: based on tropical intersection theory we first study tropical cross-ratios and introduce degenerated cross-ratios. Second we provide a lattice path algorithm that produces all tropical curves satisfying such degenerated conditions explicitly. In a special case simpler combinatorial objects, so-called cross-ratio floor diagrams, are introduced which can be used to determine these enumerative numbers as well.
Construction and redundancy of codes for correcting deletable errors
Consider a binary word being transmitted through a communication channel that introduces deletable errors where each bit of the word is either retained, flipped, erased or deleted. The simplest code for correcting \emph{all} possible deletable error patterns of a fixed size is the repetition code whose redundancy grows linearly with the code length. In this paper, we relax this condition and construct codes capable of correcting \emph{nearly} all deletable error patterns of a fixed size, with redundancy growing as a logarithm of the word length.
The polynomial identities for matrix functions
This is a short review of some recent results obtained by the author. These results are related the problem of obtaining polynomial identities (computational formulas) for some matrix functions by means of the known polarization theorem, including the case of noncommutative variables and of determinant of space matrices.