Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Stability of the Centrality of Unions of Networks on the Same Vertex Set
Let $G^1(V,E_1)$ and $G^2(V,E_2)$ be two networks on the same vertex set $V$ and consider the union of edges $G(V, E_1 \cup E_2)$. This paper studies the stability of the Degree, Betweenness and Eigenvector Centrality of the resultant network, $G(V, E_1 \cup E_2)$. Specifically assume $v^1_{max}$ and $v^c_{max}$ are the highest centrality vertices of $G^1(V,E_1)$ and $G(V, E_1 \cup E_2)$ respectively, we want to find $Pr(v^1_{max} = v^c_{max})$.
Integrable Hierarchy of the Quantum Benjamin-Ono Equation
Published in SIGMA 9 (2013) 078
• View Publication
• BIB
A hierarchy of pairwise commuting Hamiltonians for the quantum periodic Benjamin-Ono equation is constructed by using the Lax matrix. The eigenvectors of these Hamiltonians are Jack symmetric functions of infinitely many variables $x_1,x_2,\ldots$. This construction provides explicit expressions for the Hamiltonians in terms of the power sum symmetric functions $p_n=x_1^n+x_2^n+\cdots$ and is based on our recent results from [Comm. Math. Phys. 324 (2013), 831-849, arXiv:1212.2781].
Dyck tilings and the homogeneous Garnir relations for graded Specht modules
Published
• View Publication
• BIB
Suppose $λ$ and $μ$ are integer partitions with $λ\supseteqμ$. Kenyon and Wilson have introduced the notion of a cover-inclusive Dyck tiling of the skew Young diagram $λ\setminusμ$, which has applications in the study of double-dimer models. We examine these tilings in more detail, giving various equivalent conditions and then proving a recurrence which we use to show that the entries of the transition matrix between two bases for a certain permutation module for the symmetric group are given by counting cover-inclusive Dyck tilings. We go on to consider the inverse of this matrix, showing that its entries are determined by what we call cover-expansive Dyck tilings. The fact that these two matrices are mutual inverses allows us to recover the main result of Kenyon and Wilson.
We then discuss the connections with recent results of Kim et al, who give, a simple expression for the sum, over all $μ$, of the number of cover-inclusive Dyck tilings of $λ\setminusμ$. Our results provide a new proof of this result. Finally, we show how to use our results to obtain simpler expressions for the homogeneous Garnir relations for the universal Specht modules introduced by Kleshchev, Mathas and Ram for the cyclotomic quiver Hecke algebras.
Recurrence and non-uniformity of bracket polynomials
Published in Online J. Anal. Comb. 9 (2014), 36pp
• View Publication
• BIB
A bracket polynomial on the integers is a function formed using the operations of addition, multiplication and taking fractional parts. For a fairly large class of bracket polynomials we show that if p is a bracket polynomial of degree k-1 on [N] then the function f defined by f(n) = e(p(n)) has Gowers U^k[N]-norm bounded away from zero, uniformly in N.
We establish this result by first reducing it to a certain recurrence property of sets of bracket polynomials. Specifically, for a fairly large class of bracket polynomials we show that if p_1, ..., p_r are bracket polynomials then their values, modulo 1, are all close to zero on at least some constant proportion of the points 1, ..., N.
The proofs rely on two deep results from the literature. The first is work of V. Bergelson and A. Leibman showing that an arbitrary bracket polynomial can be expressed in terms of a polynomial sequence on a nilmanifold. The second is a theorem of B. Green and T. Tao describing the quantitative distribution properties of such polynomial sequences.
We give elementary alternative proofs of the first result, without reference to nilmanifolds, in certain "low-complexity" special cases.
Minimum Number of Affine Simplexes of Given Dimension
Published
• View Publication
• BIB
In this paper we formulate and solve extremal problems in the d-dimensional Euclidean space and further in hypergraphs, originating from problems in stoichiometry and elementary linear algebra. The notion of affine simplex is the bridge between the original problems and the presented extremal theorem on set systems. A function related to Sperners theorem and the YBLM inequality is also considered and its relation to hypergraph Turan problems is discussed.
The Computational Complexity of the Game of Set and its Theoretical Applications
Published
• View Publication
• BIB
The game of SET is a popular card game in which the objective is to form Sets using cards from a special deck. In this paper we study single- and multi-round variations of this game from the computational complexity point of view and establish interesting connections with other classical computational problems. Specifically, we first show that a natural generalization of the problem of finding a single Set, parameterized by the size of the sought Set is W-hard; our reduction applies also to a natural parameterization of Perfect Multi-Dimensional Matching, a result which may be of independent interest. Second, we observe that a version of the game where one seeks to find the largest possible number of disjoint Sets from a given set of cards is a special case of 3-Set Packing; we establish that this restriction remains NP-complete. Similarly, the version where one seeks to find the smallest number of disjoint Sets that overlap all possible Sets is shown to be NP-complete, through a close connection to the Independent Edge Dominating Set problem. Finally, we study a 2-player version of the game, for which we show a close connection to Arc Kayles, as well as fixed-parameter tractability when parameterized by the number of rounds played.
Turán numbers and batch codes
Combinatorial batch codes provide a tool for distributed data storage, with the feature of keeping privacy during information retrieval. Recently, Balachandran and Bhattacharya observed that the problem of constructing such uniform codes in an economic way can be formulated as a Turán-type question on hypergraphs. Here we establish general lower and upper bounds for this extremal problem, and also for its generalization where the forbidden family consists of those $r$-uniform hypergraphs $H$ which satisfy the condition $k\ge |E(H)|> |V(H)|+q$ (for $k>q+r$ and $q> -r$ fixed). We also prove that, in the given range of parameters, the considered Turán function is asymptotically equal to the one restricted to $|E(H)|=k$, studied by Brown, Erdős and T. Sós. Both families contain some $r$-partite members --- often called the `degenerate case', characterized by the equality $\lim_{n\to\infty} \ex(n,\cF)/n^r=0$ --- and therefore their exact order of growth is not known.
Kirillov-Reshetikhin crystals, energy function and the combinatorial R-matrix
Published in J. Algebraic Combin. 43 (2016) no. 1, 45-74
• View Publication
• BIB
We study the polytope model for the affine type $A$ Kirillov-Reshetikhin crystals and prove that the action of the affine Kashiwara operators can be described in a remarkable simple way. Moreover, we investigate the combinatorial $R$-matrix on a tensor product of polytopes and characterize the map explicitly on the highest weight elements. We further give a formula for the local energy function and provide an alternative proof for the perfectness. We determine for any dominant highest weight element $Λ$ of level $\ell$ the elements $b_Λ, b^Λ$ involved in the definition of perfect crystals and give an explicit description of the ground-state path in the tensor product of polytopes.
Labelled seeds and the mutation group
Published in Math. Proc. Cambridge Philos. Soc. 163 (2017), no. 2, 193-217
• View Publication
• BIB
We study the set S of labelled seeds of a cluster algebra of rank n inside a field F as a homogeneous space for the group M_n of (globally defined) mutations and relabellings. Regular equivalence relations on S are associated to subgroups W of Aut_{M_n}(S), and we thus obtain groupoids W \ S. We show that for two natural choices of equivalence relation, the corresponding groups W^c and W^+ act on F, and the groupoids W^c \ S and W^+ \ S on the model field K=Q(x_1,...,x_n). The groupoid W^+ \ S is equivalent to Fock-Goncharov's cluster modular groupoid. Moreover, W^c is isomorphic to the group of cluster automorphisms, and W^+ to the subgroup of direct cluster automorphisms, in the sense of Assem-Schiffler-Shramchenko. We also prove that, for mutation classes whose seeds have mutation finite quivers, the stabilizer of a labelled seed under M_n determines the quiver of the seed up to 'similarity', meaning up to taking opposites of some of the connected components. Consequently, the subgroup W^c is the entire automorphism group of S in these cases.
Twists of Plücker coordinates as dimer partition functions
Published
• View Publication
• BIB
The homogeneous coordinate ring of the Grassmannian Gr(k,n) has a cluster structure defined in terms of planar diagrams known as Postnikov diagrams. The cluster corresponding to such a diagram consists entirely of Pluecker coordinates. We introduce a twist map on Gr(k,n), related to the Berenstein-Fomin-Zelevinsky-twist, and give an explicit Laurent expansion for the twist of an arbitrary Pluecker coordinate in terms of the cluster variables associated with a fixed Postnikov diagram. The expansion arises as a (scaled) dimer partition function of a weighted version of the bipartite graph dual to the Postnikov diagram, modified by a boundary condition determined by the Pluecker coordinate. We also relate the twist map to a maximal green sequence.
On q-Series Identities Related to Interval Orders
Published
• View Publication
• BIB
We prove several power series identities involving the refined generating function of interval orders, as well as the refined generating function of the self-dual interval orders. These identities may be expressed as $\sum_{n\ge 0}(1/p;1/q)_n= \sum_{n\ge 0} pq^n(p;q)_n(q;q)_n$ and $\sum_{n\ge 0} (-1)^n(1/p;1/q)_n= \sum_{n\ge 0} pq^n(p;q)_n(-q;q)_n =\sum_{n\ge 0} (q/p)^n(p;q^2)_n$, where the equalities apply to the (purely formal) power series expansions of the above expressions at $p=q=1$, as well as at other suitable roots of unity.
Packing Posets in the Boolean Lattice
Published
• View Publication
• BIB
We are interested in maximizing the number of pairwise unrelated copies of a poset $P$ in the family of all subsets of $[n]$. We prove that for any $P$ the maximum number of unrelated copies of $P$ is asymptotic to a constant times the largest binomial coefficient. Moreover, the constant has the form $\frac{1}{c(P)}$, where $c(P)$ is the size of the smallest convex closure over all embeddings of $P$ into the Boolean lattice.
Tropicalizing the positive semidefinite cone
Published in Proc. Amer. Math. Soc. 143 (2015), no. 5, 1891-1895
• View Publication
• BIB
We study the tropicalization of the cone of positive semidefinite matrices over the ordered field of real Puiseux series. The tropical PSD matrices form the normal cone of the Newton polytope of the symmetric determinant at the vertex corresponding to the product of diagonal entries. We find generators and defining inequalities of the cone. The PSD tropical quadratic forms are those that induce the trivial subdivision on the standard simplex dilated by two. We also show that the tropical PSD cone is the tropical convex hull of the set of symmetric matrices of tropical rank one and that every tropical PSD matrix can be factored as a tropical product of a matrix and its transpose.
New aspects of regions whose tilings are enumerated by perfect powers
Published
• View Publication
• BIB
In 2003, Ciucu presented a unified way to enumerate tilings of lattice regions by using a certain Reduction Theorem (Ciucu, Perfect Matchings and Perfect Powers, Journal of Algebraic Combinatorics, 2003). In this paper we continue this line of work by investigating new families of lattice regions whose tilings are enumerated by perfect powers or products of several perfect powers. We prove a multi-parameter generalization of Bo-Yin Yang's theorem on fortresses (B.-Y. Yang, Ph.D. thesis, Department of Mathematics, MIT, MA, 1991). On the square lattice with zigzag paths, we consider two particular families of regions whose numbers of tilings are always a power of 3 or twice a power of 3. The latter result provides a new proof for a conjecture of Matt Blum first proved by Ciucu. We also consider several new lattices obtained by periodically applying two simple subgraph replacement rules to the square lattice. On some of those lattices, we get new families of regions whose numbers of tilings are given by products of several perfect powers. In addition, we prove a simple product formula for the number of tilings of a certain family of regions on a variant of the triangular lattice.
Higher order log-monotonicity of combinatorial sequences
A sequence $\{z_n\}_{n\geq0}$ is called ratio log-convex in the sense that the ratio sequence $\{\frac{z_{n+1}}{z_n}\}_{n\geq0}$ is log-convex. Based on a three-term recurrence for sequences, we develop techniques for dealing with the ratio log-convexity of ratio sequences. As applications, we prove that the ratio sequences of numbers, including the derangement numbers, the Motzkin numbers, the Fine numbers, Franel numbers and the Domb numbers are ratio log-convex, respectively. Finally, we not only prove that the sequence of derangement numbers is asymptotically infinitely log-monotonic, but also show some infinite log-monotonicity of some numbers related to the Gamma function, in particular, implying two results of Chen {\it et al.} on the infinite log-monotonicity of the Catalan numbers and the central binomial coefficients.
On The Hereditary Discrepancy of Homogeneous Arithmetic Progressions
Published
• View Publication
• BIB
We show that the hereditary discrepancy of homogeneous arithmetic progressions is lower bounded by $n^{1/O(\log \log n)}$. This bound is tight up to the constant in the exponent. Our lower bound goes via proving an exponential lower bound on the discrepancy of set systems of subcubes of the boolean cube $\{0, 1\}^d$.
Beyond the Shannon's Bound
Let $G=(V,E)$ be a multigraph of maximum degree $Δ$. The edges of $G$ can be colored with at most $\frac{3}{2}Δ$ colors by Shannon's theorem. We study lower bounds on the size of subgraphs of $G$ that can be colored with $Δ$ colors.
Shannon's Theorem gives a bound of $\fracΔ{\lfloor\frac{3}{2}Δ\rfloor}|E|$. However, for $Δ=3$, Kamiński and Kowalik [SWAT'10] showed that there is a 3-edge-colorable subgraph of size at least $\frac{7}{9}|E|$, unless $G$ has a connected component isomorphic to $K_3+e$ (a $K_3$ with an arbitrary edge doubled). Here we extend this line of research by showing that $G$ has a $Δ$-edge colorable subgraph with at least $\fracΔ{\lfloor\frac{3}{2}Δ\rfloor-1}|E|$ edges, unless $Δ$ is even and $G$ contains $\fracΔ{2}K_3$ or $Δ$ is odd and $G$ contains $\frac{Δ-1}{2}K_3+e$. Moreover, the subgraph and its coloring can be found in polynomial time.
Our results have applications in approximation algorithms for the Maximum $k$-Edge-Colorable Subgraph problem, where given a graph $G$ (without any bound on its maximum degree or other restrictions) one has to find a $k$-edge-colorable subgraph with maximum number of edges. In particular, for every even $k \ge 4$ we obtain a $\frac{2k+2}{3k+2}$-approximation and for every odd $k\ge 5$ we get a $\frac{2k+1}{3k}$-approximation. When $4\le k \le 13$ this improves over earlier algorithms due to Feige et al. [APPROX'02]
Generalized Spectral Characterization of Graphs: Revisited
Published
• View Publication
• BIB
A graph $G$ is said to be \textit{determined by its generalized spectrum} (DGS for short) if for any graph $H$, $H$ and $G$ are cospectral with cospectral complements implies that $H$ is isomorphic to $G$. In \cite{WX,WX1}, Wang and Xu gave some methods for determining whether a family of graphs are DGS. In this paper, we shall review some of the old results and present some new ones along this line of research.
Lower bound in the Roth theorem for amenable groups
Published in Ergod. Th. Dynam. Sys. 35 (2014) 1746-1766
• View Publication
• BIB
Let $T_1$, $T_2$ be two commuting probability measure-preserving actions of a countable amenable group such that the group spanned by these actions acts ergodically. We show that $μ(A\cap T_1^g A\cap T_1^g T_2^g A) > μ(A)^4-ε$ on a syndetic set for any measurable set $A$ and any $ε>0$. The proof uses the concept of a sated system introduced by Austin.
Combinatorial categories and permutation groups
Published
• View Publication
• BIB
The regular objects in various categories, such as maps, hypermaps or covering spaces, can be identified with the normal subgroups N of a given group Γ, with quotient group isomorphic to Γ/N. It is shown how to enumerate such objects with a given finite automorphism group G, how to represent them all as quotients of a single regular object U(G), and how they are acted on by the outer automorphism group of Γ. Examples constructed include kaleidoscopic maps with trinity symmetry.