Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Convex Set of Doubly Substochastic Matrices
Published
• View Publication
• BIB
Denote $\mathcal{A}$ as the set of all doubly substochastic $m \times n$ matrices and let $k$ be a positive integer. Let $\mathcal{A}_k$ be the set of all $1/k$-bounded doubly substochastic $m \times n$ matrices, i.e., $\mathcal{A}_k \triangleq \{E \in \mathcal{A}: e_{i,j} \in [0, 1/k], \forall i=1,2,\cdots,m, j = 1,2,\cdots, n\}$. Denote $\mathcal{B}_k$ as the set of all matrices in $\mathcal{A}_k$ whose entries are either $0$ or $1/k$. We prove that $\mathcal{A}_k$ is the convex hull of all matrices in $\mathcal{B}_k$.
Local Clustering Coefficient of Spatial Preferential Attachment Model
Published
• View Publication
• BIB
In this paper, we study the clustering properties of the Spatial Preferential Attachment (SPA) model. This model naturally combines geometry and preferential attachment using the notion of spheres of influence. It was previously shown in several research papers that graphs generated by the SPA model are similar to real-world networks in many aspects. Also, this model was successfully used for several practical applications. However, the clustering properties of the SPA model were not fully analyzed. The clustering coefficient is an important characteristic of complex networks which is tightly connected with its community structure. In the current paper, we study the behaviour of C(d), which is the average local clustering coefficient for the vertices of degree d. It was empirically shown that in real-world networks C(d) usually decreases as 1/d^a for some a>0 and it was often observed that a=1. We prove that in the SPA model C(d) decreases as 1/d. Furthermore, we are also able to prove that not only the average but the individual local clustering coefficient of a vertex v of degree $d$ behaves as 1/d if d is large enough. The obtained results further confirm the suitability of the SPA model for fitting various real-world complex networks.
Open problem on $σ$-invariant
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ with $m$ edges. Also let $μ_1\geq μ_2\geq \cdots\geq μ_{n-1}\geq μ_n=0$ be the Laplacian eigenvalues of graph $G$ and let $σ=σ(G)$ $(1\leq σ\leq n)$ be the largest positive integer such that $μ_σ\geq \frac{2m}{n}$. In this paper, we prove that $μ_2(G)\geq \frac{2m}{n}$ for almost all graphs. Moreover, we characterize the extremal graphs for any graphs. Finally, we provide the answer to Problem 3 in \cite{KMT}, that is, the characterization of all graphs with $σ=1$.
Shifted tableaux crystals
We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur $Q$-functions. We give local axioms for these crystals, which closely resemble the Stembridge axioms for type A. Finally, we give a new criterion for such tableaux to be ballot.
Macdonald-positive specializations of the algebra of symmetric functions: Proof of the Kerov conjecture
Published
• View Publication
• BIB
We prove the classification of homomorphisms from the algebra of symmetric functions to $\mathbb{R}$ with non-negative values on Macdonald symmetric functions $P_λ$, that was conjectured by S.V. Kerov in 1992.
Lattices and Their Consistent Quantification
Published in K. H. Knuth, 2018. Lattices and their consistent quantification, Annalen der Physik, 1700370
• View Publication
• BIB
This paper introduces the order-theoretic concept of lattices along with the concept of consistent quantification where lattice elements are mapped to real numbers in such a way that preserves some aspect of the order-theoretic structure. Symmetries, such as associativity, constrain consistent quantification and lead to a constraint equation known as the sum rule. Distributivity in distributive lattices also constrains consistent quantification and leads to a product rule. The sum and product rules, which are familiar from, but not unique to, probability theory, arise from the fact that logical statements form a distributive (Boolean) lattice, which exhibits the requisite symmetries.
Association schemes on the Schubert cells of a Grassmannian
Published
• View Publication
• BIB
Let $\mathbb{F}$ be any field. The Grassmannian $\mathrm{Gr}(m,n)$ is the set of $m$-dimensional subspaces in $\mathbb{F}^n$, and the general linear group $\mathrm{GL}_n(\mathbb{F})$ acts transitively on it. The Schubert cells of $\mathrm{Gr}(m,n)$ are the orbits of the Borel subgroup $\mathcal{B} \subset \mathrm{GL}_n(\mathbb{F})$ on $\mathrm{Gr}(m,n)$. We consider the association scheme on each Schubert cell defined by the $\mathcal{B}$-action and show it is symmetric and it is the generalized wreath product of one-class association schemes, which was introduced by R. A. Bailey [European Journal of Combinatorics 27 (2006) 428--435].
Optimal Index Codes via a Duality between Index Coding and Network Coding
Published
• View Publication
• BIB
In Index Coding, the goal is to use a broadcast channel as efficiently as possible to communicate information from a source to multiple receivers which can possess some of the information symbols at the source as side-information. In this work, we present a duality relationship between index coding (IC) and multiple-unicast network coding (NC). It is known that the IC problem can be represented using a side-information graph $G$ (with number of vertices $n$ equal to the number of source symbols). The size of the maximum acyclic induced subgraph, denoted by $MAIS$ is a lower bound on the \textit{broadcast rate}. For IC problems with $MAIS=n-1$ and $MAIS=n-2$, prior work has shown that binary (over ${\mathbb F}_2$) linear index codes achieve the $MAIS$ lower bound for the broadcast rate and thus are optimal. In this work, we use the the duality relationship between NC and IC to show that for a class of IC problems with $MAIS=n-3$, binary linear index codes achieve the $MAIS$ lower bound on the broadcast rate. In contrast, it is known that there exists IC problems with $MAIS=n-3$ and optimal broadcast rate strictly greater than $MAIS$.
On two-sided gamma-positivity for simple permutations
Published
• View Publication
• BIB
Gessel conjectured that the two-sided Eulerian polynomial, recording the common distribution of the descent number of a permutation and that of its inverse, has non-negative integer coefficients when expanded in terms of the gamma basis. This conjecture has been proved recently by Lin.
We conjecture that an analogous statement holds for simple permutations, and use the substitution decomposition tree of a permutation (by repeated inflation) to show that this would imply the Gessel-Lin result. We provide supporting evidence for this stronger conjecture.
Bounds for the Nakamura number
Published
• View Publication
• BIB
The Nakamura number is an appropriate invariant of a simple game to study the existence of social equilibria and the possibility of cycles. For symmetric quota games its number can be obtained by an easy formula. For some subclasses of simple games the corresponding Nakamura number has also been characterized. However, in general, not much is known about lower and upper bounds depending of invariants on simple, complete or weighted games. Here, we survey such results and highlight connections with other game theoretic concepts.
On the chromatic number of almost s-stable Kneser graphs
In 2011, Meunier conjectured that for positive integers $n,k,r,s$ with $ k\geq 2$, $r\geq 2$, and $n\geq \max (\{r,s\})k$, the chromatic number of $s$ -stable $r$-uniform Kneser hypergraphs is equal to $\left\lceil \frac{n-\max (\{r,s\})(k-1)}{r-1}\right\rceil $. It is a strengthened version of the conjecture proposed by Ziegler (2002), and Alon, Drewnowski and Łuczak (2009). The problem about the chromatic number of almost $s$-stable $r$ -uniform Kneser hypergraphs has also been introduced by Meunier (2011).
For the $r=2$ case of the Meunier conjecture, Jonsson (2012) provided a purely combinatorial proof to confirm the conjecture for $s\geq 4$ and $n$ sufficiently large, and by Chen (2015) for even $s$ and any $n$. The case $ s=3$ is completely open, even the chromatic number of the usual almost $s$ -stable Kneser graphs.
In this paper, we obtain a topological lower bound for the chromatic number of almost $s$-stable $r$-uniform Kneser hypergraphs via a different approach. For the case $r=2$, we conclude that the chromatic number of almost $s$-stable Kneser graphs is equal to $n-s(k-1)$ for all $s\geq 2$. Set $t=n-s(k-1)$. We show that any proper coloring of an almost $s$-stable Kneser graph must contain a completely multicolored complete bipartite subgraph $K_{\left\lceil \frac{t}{2}\right\rceil \left\lfloor \frac{t}{2} \right\rfloor }$. It follows that the local chromatic number of almost $s$ -stable Kneser graphs is at least $\left\lceil \frac{t}{2}\right\rceil +1$. It is a strengthened result of Simonyi and Tardos (2007), and Meunier's (2014) lower bound for almost $s$-stable Kneser graphs.
Classifying optimal binary subspace codes of length 8, constant dimension 4 and minimum distance 6
Published
• View Publication
• BIB
The maximum size $A_2(8,6;4)$ of a binary subspace code of packet length $v=8$, minimum subspace distance $d=6$, and constant dimension $k=4$ is $257$, where the $2$ isomorphism types are extended lifted maximum rank distance codes. In finite geometry terms the maximum number of solids in $\operatorname{PG}(7,2)$, mutually intersecting in at most a point, is $257$. The result was obtained by combining the classification of substructures with integer linear programming techniques. This implies that the maximum size $A_2(8,6)$ of a binary mixed-dimension code of packet length $8$ and minimum subspace distance $6$ is $257$ as well.
Recovering Lexicographic Triangulations
Given a finite set $V=\{v^1, \dots, v^n\} \subset \mathbb R^d$ with dim conv $(V)=d$, a triangulation $T$ of $V$ is a collection of distinct subsets $\{T_1, \dots, T_m\}$ where $T_i \subseteq V$ is the vertex set of a $d$-simplex, $\mathrm{conv} (V)=\bigcup_{i=1}^m \mathrm{conv} (T_i)$, and $T_i \cap T_j$ is a common (possibly empty) face of both $T_i$ and $T_j$. Associated with each triangulation $T$ of $V$ is the GKZ-vector $φ(T)=(z_1, \dots, z_n)$ where $z_i$ is the sum of the volumes of all $d$-simplices of $T$ having $v^i \in V$ as a vertex. It is clear that given $V$ and a triangulation $T$ we can find $φ(T)$. The focus of this paper is recovering a lexicographic triangulation from its GKZ-vector.
The motivation for studying triangulations and their GKZ-vectors arises from the work of Gel'fand, Kapranov, and Zelevinskiǐ in which they illuminate connections between regular triangulations and subdivisions of Newton polytopes, and generalized discriminants and determinants.
The secondary polytope, $Σ(V)$, of an arbitrary finite point set $V \subset \mathbb R^d$, introduced by Gel'fand, Kapranov, and Zelevinskiǐ, is defined to be the convex hull of the GKZ-vectors of all triangulations of $V$. They showed the vertices of $Σ(V)$ are in one-to-one correspondence with the regular triangulations of $V$. Since the GKZ-vector of a regular triangulation is uniquely associated with that triangulation, a natural question is how that triangulation can be recovered from its vector. We answer this question in the case that the associated triangulation is lexicographic.
Quarnet inference rules for level-1 networks
Published
• View Publication
• BIB
An important problem in phylogenetics is the construction of phylogenetic trees. One way to approach this problem, known as the supertree method, involves inferring a phylogenetic tree with leaves consisting of a set $X$ of species from a collection of trees, each having leaf-set some subset of $X$. In the 1980's characterizations, certain inference rules were given for when a collection of 4-leaved trees, one for each 4-element subset of $X$, can all be simultaneously displayed by a single supertree with leaf-set $X$. Recently, it has become of interest to extend such results to phylogenetic networks. These are a generalization of phylogenetic trees which can be used to represent reticulate evolution (where species can come together to form a new species). It has been shown that a certain type of phylogenetic network, called a level-1 network, can essentially be constructed from 4-leaved trees. However, the problem of providing appropriate inference rules for such networks remains unresolved. Here we show that by considering 4-leaved networks, called quarnets, as opposed to 4-leaved trees, it is possible to provide such rules. In particular, we show that these rules can be used to characterize when a collection of quarnets, one for each 4-element subset of $X$, can all be simultaneously displayed by a level-1 network with leaf-set $X$. The rules are an intriguing mixture of tree inference rules, and an inference rule for building up a cyclic ordering of $X$ from orderings on subsets of $X$ of size 4. This opens up several new directions of research for inferring phylogenetic networks from smaller ones, which could yield new algorithms for solving the supernetwork problem in phylogenetics.
Backward induction in presence of cycles
Published
• View Publication
• BIB
For the classical backward induction algorithm, the input is an arbitrary $n$-person positional game with perfect information modeled by a finite acyclic directed graph (digraph) and the output is a profile $(x_1, \ldots, x_n)$ of pure positional strategies that form some special subgame perfect Nash equilibrium. We extend this algorithm to work with digraphs that may have directed cycles. Each digraph admits a unique partition into strongly connected components, which will be treated as the outcomes of the game. Such a game will be called a {\em deterministic graphical multistage}(DGMS) game. If we identify the outcomes corresponding to all strongly connected components, except terminal positions, we obtain the so-called {\em deterministic graphical}(DG) games, which are frequent in the literature. The outcomes of a DG game are all terminal positions and one special outcome $c$ that is assigned to all infinite plays. We modify the backward induction procedure to adapt it for the DGMS games. However, by doing so, we lose two important properties: the modified algorithm always outputs a {\em Nash equilibrium} (NE) only when $n = 2$ and, even in this case, this NE may be not {\em subgame perfect}. (Yet, in the zero-sum case it is.) The lack of these two properties is not a fault of the algorithm, just (subgame perfect) Nash equilibria in pure positional strategies may fail to exist in the considered game.
{\bf Keywords:} deterministic graphical (multistage) game, game in normal and in positional form, saddle point, Nash equilibrium, Nash-solvability, game form, positional structure, directed graph, digraph, directed cycle, acyclic digraph.
Separable discrete functions: recognition and sufficient conditions
Published
• View Publication
• BIB
A discrete function of $n$ variables is a mapping $g : X_1 \times \ldots \times X_n \rightarrow A$, where $X_1, \ldots, X_n$, and $A$ are arbitrary finite sets. Function $g$ is called {\em separable} if there exist $n$ functions $g_i : X_i \rightarrow A$ for $i = 1, \ldots, n$, such that for every input $x_1, \ldots ,x_n$ the function $g(x_1, \ldots, x_n)$ takes one of the values $g_1(x_1), \ldots ,g_n(x_n)$. Given a discrete function $g$, it is an interesting problem to ask whether $g$ is separable or not. Although this seems to be a very basic problem concerning discrete functions, the complexity of recognition of separable discrete functions of $n$ variables is known only for $n=2$. In this paper we will show that a slightly more general recognition problem, when $g$ is not fully but only partially defined, is NP-complete for $n \geq 3$. We will then use this result to show that the recognition of fully defined separable discrete functions is NP-complete for $n \geq 4$.
The case $n = 2$ is well-studied in the context of game theory, where (separable) discrete functions of $n$ variables are referred to as (assignable) $n$-person game forms. There is a known sufficient condition for assignability (separability) of two-person game forms (discrete functions of two variables) called (weak) total tightness of a game form. This property can be tested in polynomial time, and can be easily generalized both to higher dimension and to partially defined functions. We will prove in this paper that weak total tightness implies separability for (partially defined) discrete functions of $n$ variables for any $n$, thus generalizing the above result known for $n=2$.
Keywords: separable discrete functions, totally tight and assignable game forms
A new characterization of the dual polar graphs
Published
• View Publication
• BIB
In this paper we give a new characterization of the dual polar graphs, extending the work of Brouwer and Wilbrink on regular near polygons. Also as a consequence of our characterization we confirm a conjecture of the authors on non-bipartite distance-regular graphs with smallest eigenvalue at most $-k/2$, where $k$ is the valency of the distance-regular graph, in case of $c_2 \geq3$ and $a_1 =1$.
Packing nearly optimal Ramsey R(3,t) graphs
Published in Combinatorica 40 (2020), 63-103
• View Publication
• BIB
In 1995 Kim famously proved the Ramsey bound R(3,t) \ge c t^2/\log t by constructing an n-vertex graph that is triangle-free and has independence number at most C \sqrt{n \log n}. We extend this celebrated result, which is best possible up to the value of the constants, by approximately decomposing the complete graph K_n into a packing of such nearly optimal Ramsey R(3,t) graphs.
More precisely, for any ε>0 we find an edge-disjoint collection (G_i)_i of n-vertex graphs G_i \subseteq K_n such that (a) each G_i is triangle-free and has independence number at most C_ε\sqrt{n \log n}, and (b) the union of all the G_i contains at least (1-ε)\binom{n}{2} edges. Our algorithmic proof proceeds by sequentially choosing the graphs G_i via a semi-random (i.e., Rodl nibble type) variation of the triangle-free process.
As an application, we prove a conjecture in Ramsey theory by Fox, Grinshpun, Liebenau, Person, and Szabo (concerning a Ramsey-type parameter introduced by Burr, Erdos, Lovasz in 1976). Namely, denoting by s_r(H) the smallest minimum degree of r-Ramsey minimal graphs for H, we close the existing logarithmic gap for H=K_3 and establish that s_r(K_3) = Θ(r^2 \log r).
On Generalizations of the Pell Sequence
In this paper, we investigate the generalized Pell sequence, the generalized complex Pell sequence and the generalized dual Pell sequence using the Pell numbers. We obtain special cases of these sequences. Furthermore, we give recurrence relations, vectors, the silver ratio and Binet's formula for the above-investigated sequences.
Gamma-positivity in combinatorics and geometry
Gamma-positivity is an elementary property that polynomials with symmetric coefficients may have, which directly implies their unimodality. The idea behind it stems from work of Foata, Schützenberger and Strehl on the Eulerian polynomials; it was revived independently by Brändén and Gal in the course of their study of poset Eulerian polynomials and face enumeration of flag simplicial spheres, respectively, and has found numerous applications since then. This paper surveys some of the main results and open problems on gamma-positivity, appearing in various combinatorial or geometric contexts, as well as some of the diverse methods that have been used to prove it.