Showing 20 papers (Total: 83502 papers, 48219 authors in database)
An analogue of the Robinson-Schensted-Knuth correspondence and non-symmetric Cauchy kernels for truncated staircases
Published
• View Publication
• BIB
We prove a restriction of an analogue of the Robinson--Schensted--Knuth correspondence for semi-skyline augmented fillings, due to Mason, to multisets of cells of a staircase possibly truncated by a smaller staircase at the upper left end corner, or at the bottom right end corner.
The restriction to be imposed on the pairs of semi-skyline augmented fillings is that the pair of shapes, rearrangements of each other, satisfies an inequality in the Bruhat order, w.r.t. the symmetric group, where one shape is bounded by the reverse of the other. For semi-standard Young tableaux the inequality means that the pair of their right keys is such that one key is bounded by the Schützenberger evacuation of the other. This bijection is then used to obtain %recover an expansion formula of the non-symmetric Cauchy kernel, over staircases or truncated staircases, in the basis of Demazure characters of type $A$, and the basis of Demazure atoms. The expansion implies Lascoux expansion formula, when specialised to staircases or truncated staircases, and make explicit, in the latter, the Young tableaux in the Demazure crystal by interpreting Demazure operators via elementary bubble sorting operators acting on weak compositions.
Inequalities for binomial coefficients
In this paper we prove several inequalities for binomial coefficients. For instance, if $ k$ and $n$ are positive integers such that $n\ge 400$ and $[\frac n5]\le k\le [\frac n2]$, where $[x]$ is the greatest integer not exceeding $x$, then $$\binom nk<\Big(1-\frac{5(k-[\f n5])}{6n^2}\Big) \frac{n^{n-\f 12}}{k^k(n-k)^{n-k}}.$$
Exact Site and Bond Percolation Probability on Lattice-like Graphs
I calculated the exact site and bond percolation probability on lattice-like graphs for given dimension d: site percolation probability is 1/d and bond percolation probability is 0.5(d-1)^{-1/2}
Rademacher-Carlitz Polynomials
Published in Acta Arithmetica 163 (2014), 379-393
• View Publication
• BIB
We introduce and study the \emph{Rademacher-Carlitz polynomial} \[
\RC(u, v, s, t, a, b) := \sum_{k = \lceil s \rceil}^{\lceil s \rceil + b - 1} u^{\fl{\frac{ka + t}{b}}} v^k \] where $a, b \in \Z_{>0}$, $s, t \in \R$, and $u$ and $v$ are variables. These polynomials generalize and unify various Dedekind-like sums and polynomials; most naturally, one may view $\RC(u, v, s, t, a, b)$ as a polynomial analogue (in the sense of Carlitz) of the \emph{Dedekind-Rademacher sum} \[
\r_t(a,b) := \sum_{k=0}^{b-1}\left(\left(\frac{ka+t}{b} \right)\right) \left(\left(\frac{k}{b} \right)\right), \] which appears in various number-theoretic, combinatorial, geometric, and computational contexts. Our results come in three flavors: we prove a reciprocity theorem for Rademacher-Carlitz polynomials, we show how they are the only nontrivial ingredients of integer-point transforms \[
σ(x,y):=\sum_{(j,k) \in \mathcal{P}\cap \Z^2} x^j y^k \] of any rational polyhedron $\mathcal{P}$, and we derive a novel reciprocity theorem for Dedekind-Rademacher sums, which follows naturally from our setup.
Minimal Number of Edges in Hypergraph Guaranteeing Perfect Fractional Matching and MMS Conjecture
Published
• View Publication
• BIB
We prove Ahlswede- Khachatrian conjecture. From this conjecture follows of several other conjectures including Manickam-Miklós-Singhi conjecture.
Tiling in bipartite graphs with asymmetric minimum degrees
The problem of determining the optimal minimum degree condition for a balanced bipartite graph on 2ms vertices to contain m vertex disjoint copies of K_{s,s} was solved by Zhao. Later Hladký and Schacht, and Czygrinow and DeBiasio determined the optimal minimum degree condition for a balanced bipartite graph on 2m(s+t) vertices to contain m vertex disjoint copies of K_{s,t} for fixed positive integers s<t.
For a balanced bipartite graph G[U,V], let δ_U be the minimum degree over all vertices in U and δ_V be the minimum degree over all vertices in V. We consider the problem of determining the optimal value of δ_U+δ_V which guarantees that G can be tiled with K_{s,s}. We show that the optimal value depends on D:=|δ_V-δ_U|. When D is small, we show that δ_U+δ_V\geq n+3s-5 is best possible. As D becomes larger, we show that δ_U+δ_V can be made smaller, but no smaller than n+2s-2s^{1/2}. However, when D=n-C for some constant C, we show that there exist graphs with δ_U+δ_V\geq n+s^{s^{1/3}} which cannot be tiled with K_{s,s}.
Topological orderings of weighted directed acyclic graphs
Published
• View Publication
• BIB
We call a topological ordering of a weighted directed acyclic graph non-negative if the sum of weights on the vertices in any prefix of the ordering is non-negative. We investigate two processes for constructing non-negative topological orderings of weighted directed acyclic graphs. The first process is called a mark sequence and the second is a generalization called a mark-unmark sequence. We answer a question of Erickson by showing that every non-negative topological ordering that can be realized by a mark-unmark sequence can also be realized by a mark sequence. We also investigate the question of whether a given weighted directed acyclic graph has a non-negative topological ordering. We show that even in the simple case when every vertex is a source or a sink the question is NP-complete.
Edgewise subdivisions, local $h$-polynomials and excedances in the wreath product $\ZZ_r \wr \mathfrak{S}_n$
Published in SIAM Journal on Discrete Mathematics 28 (2014), no. 3, 1479-1492
• View Publication
• BIB
The coefficients of the local $h$-polynomial of the barycentric subdivision of the simplex with $n$ vertices are known to count derangements in the symmetric group $\mathfrak{S}_n$ by the number of excedances. A generalization of this interpretation is given for the local $h$-polynomial of the $r$th edgewise subdivision of the barycentric subdivision of the simplex. This polynomial is shown to be $γ$-nonnegative and a combinatorial interpretation to the corresponding $γ$-coefficients is provided. The new combinatorial interpretations involve the notions of flag excedance and descent in the wreath product $\ZZ_r \wr \mathfrak{S}_n$. A related result on the derangement polynomial for $\ZZ_r \wr \mathfrak{S}_n$, studied by Chow and Mansour, is also derived from results of Linusson, Shareshian and Wachs on the homology of Rees products of posets.
The moduli space of polygons with area center
Published
• View Publication
• BIB
A point $p$ is said to be an area center of a polygon if all of the triangles composed of $p$ and its edges have one and the same area. We construct a moduli space $AC_n$ of such $n$-gons and study its geometry and arithmetic. For every $n\geq 5$, the moduli space is proved to be a rational complete intersection subvariety in $\mathbb{A}^n$. With the help of some subvarieties of low degree in $AC_n$, we also find a unified method of construction of good-looking polygons with area center.
Circumference and Pathwidth of Highly Connected Graphs
Published in J. Graph Theory 79.3:222-232, 2015
• View Publication
• BIB
Birmele [J. Graph Theory, 2003] proved that every graph with circumference t has treewidth at most t-1. Under the additional assumption of 2-connectivity, such graphs have bounded pathwidth, which is a qualitatively stronger result. Birmele's theorem was extended by Birmele, Bondy and Reed [Combinatorica, 2007] who showed that every graph without k disjoint cycles of length at least t has bounded treewidth (as a function of k and t). Our main result states that, under the additional assumption of (k + 1)- connectivity, such graphs have bounded pathwidth. In fact, they have pathwidth O(t^3 + tk^2). Moreover, examples show that (k + 1)-connectivity is required for bounded pathwidth to hold. These results suggest the following general question: for which values of k and graphs H does every k-connected H-minor-free graph have bounded pathwidth? We discuss this question and provide a few observations.
A note on list-coloring powers of graphs
Published in Discrete Math., 332:10-14, 2014
• View Publication
• BIB
Recently, Kim and Park have found an infinite family of graphs whose squares are not chromatic-choosable. Xuding Zhu asked whether there is some $k$ such that all $k$th power graphs are chromatic-choosable. We answer this question in the negative: we show that there is a positive constant $c$ such that for any $k$ there is a family of graphs $G$ with $χ(G^k)$ unbounded and $χ_{\ell}(G^k)\geq c χ(G^k) \log χ(G^k)$. We also provide an upper bound, $χ_{\ell}(G^k)<χ(G^k)^3$ for $k>1$.
Weak Orientability of Matroids and Polynomial Equations
Published
• View Publication
• BIB
This paper studies systems of polynomial equations that provide information about orientability of matroids. First, we study systems of linear equations over GF(2), originally alluded to by Bland and Jensen in their seminal paper on weak orientability. The Bland-Jensen linear equations for a matroid M have a solution if and only if M is weakly orientable. We use the Bland-Jensen system to determine weak orientability for all matroids on at most nine elements and all matroids between ten and twelve elements having rank three. Our experiments indicate that for small rank, about half the time, when a simple matroid is not orientable, it is already non-weakly orientable. Thus, about half of the small simple non-orientable matroids of rank three are not representable over fields having order congruent to three modulo four. For binary matroids, the Bland-Jensen linear systems provide a practical way to check orientability. Second, we present two extensions of the Bland-Jensen equations to slightly larger systems of non-linear polynomial equations. Our systems of polynomial equations have a solution if and only if the associated matroid M is orientable. The systems come in two versions, one directly extending the Bland-Jensen system for GF(2), and a different system working over other fields. We study some basic algebraic properties of these systems. Finally, we present an infinite family of non-weakly-orientable matroids, with growing rank and co-rank. We conjecture that these matroids are minor-minimal non-weakly-orientable matroids.
BGG resolutions via configuration spaces
Published
• View Publication
• BIB
We study the blow-ups of configuration spaces. These spaces have a structure of what we call an Orlik-Solomon manifold; it allows us to compute the intersection cohomology of certain flat connections with logarithmic singularities using some Aomoto type complexes of logarithmic forms. Using this construction we realize geometrically the sl_2 Bernstein - Gelfand - Gelfand resolution as an Aomoto complex.
A single exponential bound for the redundant vertex Theorem on surfaces
Let s1, t1,. . . sk, tk be vertices in a graph G embedded on a surface σof genus g. A vertex v of G is "redundant" if there exist k vertex disjoint paths linking si and ti (1 \lequal i \lequal k) in G if and only if such paths also exist in G - v. Robertson and Seymour proved in Graph Minors VII that if v is "far" from the vertices si and tj and v is surrounded in a planar part of σby l(g, k) disjoint cycles, then v is redundant. Unfortunately, their proof of the existence of l(g, k) is not constructive. In this paper, we give an explicit single exponential bound in g and k.
Characterization of the degree sequences of (quasi) regular uniform hypergraphs
Published
• View Publication
• BIB
In hypergraph theory, determining a characterization of the degree sequence $d=(d_1,d_2,\ldots,d_n)$ where $d_1\ge d_2\ge\ldots,d_n$ are positive integers, of an $h$-uniform simple hypergraph $\cal H$, and deciding the complexity status of the reconstruction of $\cal H$ from $d$, are two challenging open problems. They can be formulated in the context of discrete tomography: asks whether there is a matrix $A$ with positive projection vectors $H=(h,h,\ldots,h)$ and $V=(d_1,d_2,\ldots,d_n)$ with distinct rows. In this paper we consider the two subcases where the vector $V$ is an homogeneous vector, and where $V$ is almost homogeneous, i.e., $d_1-d_n=1$. We give a simple characterization for these two subcases, and we show how to solve the related reconstruction problems in polynomial time. To reach our goal, we use the concepts of Lyndon words and necklaces of fixed density, and we apply some already known algorithms for their efficient generation.
Difference Balanced Functions and Their Generalized Difference Sets
Published
• View Publication
• BIB
Difference balanced functions from $F_{q^n}^*$ to $F_q$ are closely related to combinatorial designs and naturally define $p$-ary sequences with the ideal two-level autocorrelation. In the literature, all existing such functions are associated with the $d$-homogeneous property, and it was conjectured by Gong and Song that difference balanced functions must be $d$-homogeneous. First we characterize difference balanced functions by generalized difference sets with respect to two exceptional subgroups. We then derive several necessary and sufficient conditions for $d$-homogeneous difference balanced functions. In particular, we reveal an unexpected equivalence between the $d$-homogeneous property and multipliers of generalized difference sets. By determining these multipliers, we prove the Gong-Song conjecture for $q$ prime. Furthermore, we show that every difference balanced function must be balanced or an affine shift of a balanced function.
Quantum cluster algebra structures on quantum nilpotent algebras
Published
• View Publication
• BIB
All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quantized) coordinate rings arising in Lie theory were done on a case by case basis relying on the combinatorics of each concrete family. The results of the paper have a broad range of applications to these problems, including the construction of quantum cluster algebra structures on quantum unipotent groups and quantum double Bruhat cells (the Berenstein-Zelevinsky conjecture), and treat these problems from a unified perspective. All such applications also establish equality between the constructed quantum cluster algebras and their upper counterparts. The proofs rely on Chatters' notion of noncommutative unique factorization domains. Toric frames are constructed by considering sequences of homogeneous prime elements of chains of noncommutative UFDs (a generalization of the construction of Gelfand-Tsetlin subalgebras) and mutations are obtained by altering chains of noncommutative UFDs. Along the way, an intricate (and unified) combinatorial model for the homogeneous prime elements in chains of noncommutative UFDs and their alterations is developed. When applied to special families, this recovers the combinatorics of Weyl groups and double Weyl groups previously used in the construction and categorification of cluster algebras. It is expected that this combinatorial model of sequences of homogeneous prime elements will have applications to the unified categorification of quantum nilpotent algebras.
Edge number critical triangle free graphs with low independence numbers
The structure of all triangle free graphs G = (V,E) with |E| - 6|V| + 13α(G) = 0 is determined, yielding an affirmative answer to a question of Stanisław Radziszowski and Donald Kreher.
Logarithmically-small Minors and Topological Minors
Published
• View Publication
• BIB
Mader proved that for every integer $t$ there is a smallest real number $c(t)$ such that any graph with average degree at least $c(t)$ must contain a $K_t$-minor. Fiorini, Joret, Theis and Wood conjectured that any graph with $n$ vertices and average degree at least $c(t)+ε$ must contain a $K_t$-minor consisting of at most $C(ε,t)\log n$ vertices. Shapira and Sudakov subsequently proved that such a graph contains a $K_t$-minor consisting of at most $C(ε,t)\log n \log\log n$ vertices. Here we build on their method using graph expansion to remove the $\log\log n$ factor and prove the conjecture.
Mader also proved that for every integer $t$ there is a smallest real number $s(t)$ such that any graph with average degree larger than $s(t)$ must contain a $K_t$-topological minor. We prove that, for sufficiently large $t$, graphs with average degree at least $(1+ε)s(t)$ contain a $K_t$-topological minor consisting of at most $C(ε,t)\log n$ vertices. Finally, we show that, for sufficiently large $t$, graphs with average degree at least $(1+ε)c(t)$ contain either a $K_t$-minor consisting of at most $C(ε,t)$ vertices or a $K_t$-topological minor consisting of at most $C(ε,t)\log n$ vertices.
Noncommutative determinants, Cauchy-Binet formulae, and Capelli-type identities II. Grassmann and quantum oscillator algebra representation
Published in Annales de l'Institut Henry Poincaré D Comb. Phys. Interact. 1 (2014) 1--46
• View Publication
• BIB
We prove that, for $X$, $Y$, $A$ and $B$ matrices with entries in a non-commutative ring such that $[X_{ij},Y_{k\ell}]=-A_{i\ell} B_{kj}$, satisfying suitable commutation relations (in particular, $X$ is a Manin matrix), the following identity holds: $ \mathrm{coldet} X \mathrm{coldet} Y = < 0 | \mathrm{coldet} (a A + X (I-a^{\dagger} B)^{-1} Y) |0 > $. Furthermore, if also $Y$ is a Manin matrix, $ \mathrm{coldet} X \mathrm{coldet} Y =\int \mathcal{D}(ψ, ψ^{\dagger}) \exp [ \sum_{k \geq 0} \frac{1}{k+1} (ψ^{\dagger} A ψ)^{k} (ψ^{\dagger} X B^k Y ψ) ] $. Notations: $ < 0 |$, $| 0 >$, are respectively the bra and the ket of the ground state, $a^{\dagger}$ and $a$ the creation and annihilation operators of a quantum harmonic oscillator, while $ψ^{\dagger}_i$ and $ψ_i$ are Grassmann variables in a Berezin integral. These results should be seen as a generalization of the classical Cauchy-Binet formula, in which $A$ and $B$ are null matrices, and of the non-commutative generalization, the Capelli identity, in which $A$ and $B$ are identity matrices and $[X_{ij},X_{k\ell}]=[Y_{ij},Y_{k\ell}]=0$.