Showing 20 papers (Total: 82432 papers, 47671 authors in database)
On a Theorem of Deshouillers and Freiman
Published
• View Publication
• BIB
The study of `structure' on subsets of abelian groups, with small `doubling constant', has been well studied in the last fifty years, from the time Freiman initiated the subject. In \cite{DF} Deshouillers and Freiman establish a structure theorem for subsets of $\n$ with small doubling constant. In the current article we provide an alternate proof of one of the main theorem of \cite{DF}. Also our proof leads to slight improvement of the theorems in \cite{DF}.
Convexity in partial cubes: the hull number
Published
• View Publication
• BIB
We prove that the combinatorial optimization problem of determining the hull number of a partial cube is NP-complete. This makes partial cubes the minimal graph class for which NP-completeness of this problem is known and improves some earlier results in the literature.
On the other hand we provide a polynomial-time algorithm to determine the hull number of planar partial cube quadrangulations.
Instances of the hull number problem for partial cubes described include poset dimension and hitting sets for interiors of curves in the plane.
To obtain the above results, we investigate convexity in partial cubes and characterize these graphs in terms of their lattice of convex subgraphs, improving a theorem of Handa. Furthermore we provide a topological representation theorem for planar partial cubes, generalizing a result of Fukuda and Handa about rank three oriented matroids.
Maker-Breaker games on random geometric graphs
Published
• View Publication
• BIB
In a Maker-Breaker game on a graph $G$, Breaker and Maker alternately claim edges of $G$. Maker wins if, after all edges have been claimed, the graph induced by his edges has some desired property. We consider four Maker-Breaker games played on random geometric graphs. For each of our four games we show that if we add edges between $n$ points chosen uniformly at random in the unit square by order of increasing edge-length then, with probability tending to one as $n\to\infty$, the graph becomes Maker-win the very moment it satisfies a simple necessary condition. In particular, with high probability, Maker wins the connectivity game as soon as the minimum degree is at least two; Maker wins the Hamilton cycle game as soon as the minimum degree is at least four; Maker wins the perfect matching game as soon as the minimum degree is at least two and every edge has at least three neighbouring vertices; and Maker wins the $H$-game as soon as there is a subgraph from a finite list of "minimal graphs". These results also allow us to give precise expressions for the limiting probability that $G(n,r)$ is Maker-win in each case, where $G(n,r)$ is the graph on $n$ points chosen uniformly at random on the unit square with an edge between two points if and only if their distance is at most $r$.
The Dilworth Number of Auto-Chordal-Bipartite Graphs
Published
• View Publication
• BIB
The mirror (or bipartite complement) mir(B) of a bipartite graph B=(X,Y,E) has the same color classes X and Y as B, and two vertices x in X and y in Y are adjacent in mir(B) if and only if xy is not in E. A bipartite graph is chordal bipartite if none of its induced subgraphs is a chordless cycle with at least six vertices. In this paper, we deal with chordal bipartite graphs whose mirror is chordal bipartite as well; we call these graphs auto-chordal bipartite graphs (ACB graphs for short). We describe the relationship to some known graph classes such as interval and strongly chordal graphs and we present several characterizations of ACB graphs. We show that ACB graphs have unbounded Dilworth number, and we characterize ACB graphs with Dilworth number k.
A combinatorial proof of a symmetry of $(t,q)$-Eulerian numbers of type $B$ and type $D$
Published
• View Publication
• BIB
A symmetry of $(t,q)$-Eulerian numbers of type $B$ is combinatorially proved by defining an involution preserving many important statistics on the set of permutation tableaux of type $B$. This involution also proves a symmetry of the generating polynomial $\hat{D}_{n, k}(p,q,r)$ of number of crossings and alignments, and hence $q$-Eulerian numbers of type $A$ defined by L. Williams. By considering a restriction of our bijection, we were led to define a new statistic on the permutations of type $D$ and $(t,q)$-Eulerian numbers of type $D$, which is proved to have a nice symmetry as well. We conjecture that our new statistic is in the family of Eulerian statistics for the permutations of type $D$.
Flag algebras and the stable coefficients of the Jones polynomial
Published
• View Publication
• BIB
We study the structure of the stable coefficients of the Jones polynomial of an alternating link. We start by identifying the first four stable coefficients with polynomial invariants of a (reduced) Tait graph of the link projection. This leads us to introduce a free polynomial algebra of invariants of graphs whose elements give invariants of alternating links which strictly refine the first four stable coefficients. We conjecture that all stable coefficients are elements of this algebra, and give experimental evidence for the fifth and sixth stable coefficient. We illustrate our results in tables of all alternating links with at most 10 crossings and all irreducible planar graphs with at most 6 vertices.
The Joseph Greenberg problem: combinatorics and comparative linguistics
Published in Math. Mag. 91 (2018), no. 3, 192-197
• View Publication
• BIB
We correct a 1957 combinatorial enumeration by the linguist J. Greenberg. The desired count, the Bell number B(25), supported using his Mass Comparison method for language classification. In 1987, he used this method to classify indigenous languages of the Americas into three families. Actually, the same combinatorics provides a back-of-the-envelope estimate for the number of families. This suggests that alternative classifications with over a hundred families possess the right order of magnitude.
Tropical mirror symmetry for elliptic curves
Published in J. Reine Angew. Math. (Crelles Journal), Vol. 2017, Issue 732, 211-246
• View Publication
• BIB
Mirror symmetry relates Gromov-Witten invariants of an elliptic curve with certain integrals over Feynman graphs. We prove a tropical generalization of mirror symmetry for elliptic curves, i.e., a statement relating certain labeled Gromov-Witten invariants of a tropical elliptic curve to more refined Feynman integrals. This result easily implies the tropical analogue of the mirror symmetry statement mentioned above and, using the necessary Correspondence Theorem, also the mirror symmetry statement itself. In this way, our tropical generalization leads to an alternative proof of mirror symmetry for elliptic curves. We believe that our approach via tropical mirror symmetry naturally carries the potential of being generalized to more adventurous situations of mirror symmetry. Moreover, our tropical approach has the advantage that all involved invariants are easy to compute. Furthermore, we can use the techniques for computing Feynman integrals to prove that they are quasimodular forms. Also, as a side product, we can give a combinatorial characterization of Feynman graphs for which the corresponding integrals are zero. More generally, the tropical mirror symmetry theorem gives a natural interpretation of the A-model side (i.e., the generating function of Gromov-Witten invariants) in terms of a sum over Feynman graphs. Hence our quasimodularity result becomes meaningful on the A-model side as well. Our theoretical results are complemented by a Singular package including several procedures that can be used to compute Hurwitz numbers of the elliptic curve as integrals over Feynman graphs.
Combinatorial simplex algorithms can solve mean payoff games
Published in SIAM J. Opt. 24:4 (2014)
• View Publication
• BIB
A combinatorial simplex algorithm is an instance of the simplex method in which the pivoting depends on combinatorial data only. We show that any algorithm of this kind admits a tropical analogue which can be used to solve mean payoff games. Moreover, any combinatorial simplex algorithm with a strongly polynomial complexity (the existence of such an algorithm is open) would provide in this way a strongly polynomial algorithm solving mean payoff games. Mean payoff games are known to be in NP and co-NP; whether they can be solved in polynomial time is an open problem. Our algorithm relies on a tropical implementation of the simplex method over a real closed field of Hahn series. One of the key ingredients is a new scheme for symbolic perturbation which allows us to lift an arbitrary mean payoff game instance into a non-degenerate linear program over Hahn series.
Nonparametric graphon estimation
We propose a nonparametric framework for the analysis of networks, based on a natural limit object termed a graphon. We prove consistency of graphon estimation under general conditions, giving rates which include the important practical setting of sparse networks. Our results cover dense and sparse stochastic blockmodels with a growing number of classes, under model misspecification. We use profile likelihood methods, and connect our results to approximation theory, nonparametric function estimation, and the theory of graph limits.
Remarks on the tensor degree of finite groups
Published in Filomat 28 (2014), 1929--1933
• View Publication
• BIB
The present paper is a note on the tensor degree of finite groups, introduced recently in literature. This numerical invariant generalizes the commutativity degree through the notion of nonabelian tensor square. We show two inequalities, which correlate the tensor and the commutativity degree of finite groups, and, indirectly, structural properties will be discussed.
The sum-capture problem for abelian groups
Let $G$ be a finite abelian group, let $0 < α< 1$, and let $A \subseteq G$ be a random set of size $|G|^α$. We let $$ μ(A) = \max_{B,C:|B|=|C|=|A|}|\{(a,b,c) \in A \times B \times C : a = b + c \}|. $$ The issue is to determine upper bounds on $μ(A)$ that hold with high probability over the random choice of $A$. Mennink and Preneel \cite{BM} conjecture that $μ(A)$ should be close to $|A|$ (up to possible logarithmic factors in $|G|$) for $α\leq 1/2$ and that $μ(A)$ should not much exceed $|A|^{3/2}$ for $α\leq 2/3$. We prove the second half of this conjecture by showing that $$ μ(A) \leq |A|^3/|G| + 4|A|^{3/2}\ln(|G|)^{1/2} $$ with high probability, for all $0 < α< 1$. We note that $3α- 1 \leq (3/2)α$ for $α\leq 2/3$.
In previous work, Alon et al$.$ have shown that $μ(A) \leq O(1)|A|^3/|G|$ with high probability for $α\geq 2/3$ while Kiltz, Pietrzak and Szegedy show that $μ(A) \leq |A|^{1 + 2α}$ with high probability for $α\leq 1/4$. Current bounds on $μ(A)$ are essentially sharp for the range $2/3 \leq α\leq 1$. Finding better bounds remains an open problem for the range $0 < α< 2/3$ and especially for the range $1/4 < α< 2/3$ in which the bound of Kiltz et al$.$ doesn't improve on the bound given in this paper (even if that bound applied). Moreover the conjecture of Mennink and Preneel for $α\leq 1/2$ remains open.
Erdős-Ginzburg-Ziv theorem for finite commutative semigroups
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite commutative semigroup written additively, and let $\exp(\mathcal{S})$ be its exponent which is defined as the least common multiple of all periods of the elements in $\mathcal{S}$. For every sequence $T$ of elements in $\mathcal{S}$ (repetition allowed), let $σ(T) \in \mathcal{S}$ denote the sum of all terms of $T$. Define the Davenport constant $D(\mathcal{S})$ of $\mathcal{S}$ to be the least positive integer $d$ such that every sequence $T$ over $\mathcal{S}$ of length at least $d$ contains a proper subsequence $T'$ with $σ(T')=σ(T)$, and define the Erdős-Ginzburg-Ziv Theorem constant $E(\mathcal{S})$ to be the least positive integer $\ell$ such that every sequence $T$ over $\mathcal{S}$ of length at least $\ell$ contains a subsequence $T'$ with $|T|-|T'|=\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil\exp(\mathcal{S})$ and $σ(T')=σ(T)$. When $\mathcal{S}$ is a finite abelian group, it is well known that $\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil\exp(\mathcal{S})=|\mathcal{S}|$ and $E(\mathcal{S})=D(\mathcal{S})+|\mathcal{S}|-1$. In this paper we investigate whether $E(\mathcal{S})\leq D(\mathcal{S})+\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil \exp(\mathcal{S})-1$ holds true for all finite commutative semigroups $\mathcal{S}$. We provide a positive answer to the question above for some classes of finite commutative semigroups, including group-free semigroups, elementary semigroups, and archimedean semigroups with certain constraints.
Bounds for the spectral radius of nonnegative matrices
Published in R. Xing, B. Zhou, Sharp bounds for the spectral radius of nonnegative matrices, Linear Algebra Appl. 449 (2014) 194-209
• View Publication
• BIB
We give upper and lower bounds for the spectral radius of a nonnegative matrix by using its average 2-row sums, and characterize the equality cases if the matrix is irreducible. We also apply these bounds to various nonnegative matrices associated with a graph, including the adjacency matrix, the signless Laplacian matrix, the distance matrix, the distance signless Laplacian matrix, and the reciprocal distance matrix.
Groups having complete bipartite divisor graphs for their conjugacy class sizes
Published
• View Publication
• BIB
Given a finite group G, the bipartite divisor graph for its conjugacy class sizes is the bipartite graph with bipartition consisting of the set of conjugacy class sizes of G-Z (where Z denotes the centre of G) and the set of prime numbers that divide these conjugacy class sizes, and with {p,n} being an edge if gcd(p,n)\neq 1.
In this paper we construct infinitely many groups whose bipartite divisor graph for their conjugacy class sizes is the complete bipartite graph K_{2,5}, giving a solution to a question of Taeri.
Abelian groups yield many large families for the diamond problem
Published
• View Publication
• BIB
There is much recent interest in excluded subposets. Given a fixed poset $P$, how many subsets of $[n]$ can found without a copy of $P$ realized by the subset relation? The hardest and most intensely investigated problem of this kind is when $P$ is a diamond, i.e. the power set of a 2 element set. In this paper, we show infinitely many asymptotically tight constructions using random set families defined from posets based on Abelian groups. They are provided by the convergence of Markov chains on groups. Such constructions suggest that the diamond problem is hard.
Alexander Duality and Rational Associahedra
Published
• View Publication
• BIB
A recent pair of papers of Armstrong, Loehr, and Warrington and Armstrong, Williams, and the author initiated the systematic study of {\em rational Catalan combinatorics} which is a generalization of Fuss-Catalan combinatorics (which is in turn a generalization of classical Catalan combinatorics). The latter paper gave two possible models for a rational analog of the associahedron which attach simplicial complexes to any pair of coprime positive integers a < b. These complexes coincide up to the Fuss-Catalan level of generality, but in general one may be a strict subcomplex of the other. Verifying a conjecture of Armstrong, Williams, and the author, we prove that these complexes agree up to homotopy and, in fact, that one complex collapses onto the other. This reconciles the two competing models for rational associahedra. As a corollary, we get that the involution (a < b) \longleftrightarrow (b-a < b) on pairs of coprime positive integers manifests itself topologically as Alexander duality of rational associahedra. This collapsing and Alexander duality are new features of rational Catalan combinatorics which are invisible at the Fuss-Catalan level of generality.
Towards Minimizing k-Submodular Functions
Published
• View Publication
• BIB
In this paper we investigate k-submodular functions. This natural family of discrete functions includes submodular and bisubmodular functions as the special cases k = 1 and k = 2 respectively.
In particular we generalize the known Min-Max-Theorem for submodular and bisubmodular functions. This theorem asserts that the minimum of the (bi)submodular function can be found by solving a maximization problem over a (bi)submodular polyhedron. We define and investigate a k-submodular polyhedron and prove a Min-Max-Theorem for k-submodular functions.
On the cohomology of real Grassmann manifolds
We give an explicit and simple construction of the incidence graph for the integral cohomology of real Grassmann manifold Gr(k,n) in terms of the Young diagrams filled with the letter q in checkered pattern. It turns out that there are two types of graphs, one for the trivial coefficients and other for the twisted coefficients, and they compute the homology groups of the orientable and non-orientable cases of Gr(k,n) via the Poincaré-Verdier duality. We also give an explicit formula of the Poincaré polynomial for Gr(k,n) and show that the Poincaré polynomial is also related to the number of points on Gr(k,n) over a finite field {F}_q with q being a power of prime which is also used in the Young diagrams.
On the (co)homology of the poset of weighted partitions
Published in Trans. Amer. Math. Soc. 368 (2016), no. 10, 6779-6818
• Search Publication
We consider the poset of weighted partitions $Π_n^w$, introduced by Dotsenko and Khoroshkin in their study of a certain pair of dual operads. The maximal intervals of $Π_n^w$ provide a generalization of the lattice $Π_n$ of partitions, which we show possesses many of the well-known properties of $Π_n$. In particular, we prove these intervals are EL-shellable, we show that the Möbius invariant of each maximal interval is given up to sign by the number of rooted trees on on node set $\{1,2,\dots,n\}$ having a fixed number of descents, we find combinatorial bases for homology and cohomology, and we give an explicit sign twisted $\mathfrak{S}_n$-module isomorphism from cohomology to the multilinear component of the free Lie algebra with two compatible brackets. We also show that the characteristic polynomial of $Π_n^w$ has a nice factorization analogous to that of $Π_n$.