Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The diachromatic number of digraphs
Published in The Electronic Journal of Combinatorics-2018
• View Publication
• BIB
We consider the extension to directed graphs of the concept of achromatic number in terms of acyclic vertex colorings. The achromatic number have been intensely studied since it was introduced by Harary, Hedetniemi and Prins in 1967. The dichromatic number is a generalization of the chromatic number for digraphs defined by Neumann-Lara in 1982. A coloring of a digraph is an acyclic coloring if each subdigraph induced by each chromatic class is acyclic, and a coloring is complete if for any pair of chromatic classes $x,y$, there is an arc from $x$ to $y$ and an arc from $y$ to $x$. The dichromatic and diachromatic numbers are, respectively, the smallest and the largest number of colors in a complete acyclic coloring. We give some general results for the diachromatic number and study it for tournaments. We also show that the interpolation property for complete acyclic colorings does hold and establish Nordhaus-Gaddum relations.
$A$-Hypergeometric Modules and Gauss--Manin Systems
Published
• View Publication
• BIB
Let $A$ be a $d$ by $n$ integer matrix. Gel'fand et al. proved that most $A$-hypergeometric systems have an interpretation as a Fourier--Laplace transform of a direct image. The set of parameters for which this happens was later identified by Schulze and Walther as the set of not strongly resonant parameters of $A$. A similar statement relating $A$-hypergeometric systems to exceptional direct images was proved by Reichelt. In this article, we consider a hybrid approach involving neighborhoods $U$ of the torus of $A$ and consider compositions of direct and exceptional direct images. Our main results characterize for which parameters the associated $A$-hypergeometric system is the inverse Fourier-Laplace transform of such a "mixed Gauss-Manin" system.
In order to describe which $U$ work for such a parameter, we introduce the notions of fiber support and cofiber support of a D-module.
If the semigroup ring of $A$ is normal, we show that every $A$-hypergeometric system is "mixed Gauss--Manin". We also give an explicit description of the neighborhoods $U$ which work for each parameter in terms of primitive integral support functions.
Combinatorial applications of the Hodge-Riemann relations
Published
• View Publication
• BIB
Why do natural and interesting sequences often turn out to be log-concave? We give one of many possible explanations, from the viewpoint of "standard conjectures". We illustrate with several examples from combinatorics.
q-Binomials and related symmetric unimodal polynomials
Published
• View Publication
• BIB
The q-binomial coefficients were assumed to be unimodal as early as the 1850's, but it remained unproven until Sylvester's 1878 proof using invariant theory. In 1982, Proctor gave an "elementary" proof using linear algebra. Finally, in 1989, Kathy O'Hara provided a combinatorial proof of the unimodality of the q-binomial coefficients. Very soon thereafter, Doron Zeilberger translated the argument into an elegant recurrence. We introduce several perturbations to the recurrence to create a larger family of unimodal polynomials. We analyze how these perturbations affect the final polynomial and analyze some specific cases.
Signless Laplacian spectral conditions for Hamilton-connected graphs with large minimum degree
Published
• View Publication
• BIB
In this paper, we present a spectral sufficient condition for a graph to be Hamilton-connected in terms of signless Laplacian spectral radius with large minimum degree.
Element Distinctness Revisited
Published in Quantum Inf. Process. 17, 163, 2018
• View Publication
• BIB
The element distinctness problem is the problem of determining whether the elements of a list are distinct, that is, if $x=(x_1,...,x_N)$ is a list with $N$ elements, we ask whether the elements of $x$ are distinct or not. The solution in a classical computer requires $N$ queries because it uses sorting to check whether there are equal elements. In the quantum case, it is possible to solve the problem in $O(N^{2/3})$ queries. There is an extension which asks whether there are $k$ colliding elements, known as element $k$-distinctness problem.
This work obtains optimal values of two critical parameters of Ambainis' seminal quantum algorithm [SIAM J.~Comput., 37, 210-239, 2007]. The first critical parameter is the number of repetitions of the algorithm's main block, which inverts the phase of the marked elements and calls a subroutine. The second parameter is the number of quantum walk steps interlaced by oracle queries. We show that, when the optimal values of the parameters are used, the algorithm's success probability is $1-O(N^{1/(k+1)})$, quickly approaching 1. The specification of the exact running time and success probability is important in practical applications of this algorithm.
Generalizing Gale's theorem on backward induction and domination of strategies
In 1953 Gale noticed that for every n-person game in extensive form with perfect information modeled by a rooted treesome special Nash equilibrium in pure strategies can be found by an algorithm of successive elimination of leaves, which is now called backward induction. He also noticed the same procedure, performed for the normal form of this game, turns into successive elimination of dominated strategies of the players that results in a single strategy profile (x_1,..., x_n), which is called a domination equilibrium (DE) and appears to be a Nash-equilibrium (NE) too. In other words, the game in normal form obtained from a positional game with perfect information is dominance-solvable (DS) and also Nash-solvable (NS). Yet, an arbitrary game in normal form may be not DS. We strengthen Gale's results as follows. Consider several successive eliminations of dominated strategies that begins with X = X_1 x ... x X_n and ends in X' = X'_1 x ... x X'_n. We will call X' a D-box of X. Our main (but obvious) lemma claims that for any i =1,..., n} and for any strategy x_i in X_i its projection to a D-box X' is dominated by a strategy x'_i in X'_i. It follows that any DE is an NE and, hence, DS implies NS. It is enough to apply the lemma in case when X' consists of a single strategy profile. The same lemma implies that the domination procedure is well-defined. A D-box X' is called terminal if it is domination-free, that is, it contains no pair of strategies such that one of them is dominated by the other. Any two terminal D-boxes X' and X" of X are equal. More precisely, there exist $n$ permutations π= (π_1, ..., π_n)$, with π_i : X_i to X_i for i in I, that transform X' into X", that is, π(X') = X" and the payoffs are respected. We also recall some published results on dominance-solvable game forms.
A limit field for orthogonal range searches in two-dimensional random point search trees
Published
• View Publication
• BIB
We consider the cost of general orthogonal range queries in random quadtrees. The cost of a given query is encoded into a (random) function of four variables which characterize the coordinates of two opposite corners of the query rectangle. We prove that, when suitably shifted and rescaled, the random cost function converges uniformly in probability towards a random field that is characterized as the unique solution to a distributional fixed-point equation. We also state similar results for $2$-d trees. Our results imply for instance that the worst case query satisfies the same asymptotic estimates as a typical query, and thereby resolve an old question of Chanzy, Devroye and Zamora-Cura [\emph{Acta Inf.}, 37:355--383, 2000]
Descent Representations of Generalized Coinvariant Algebras
Published
• View Publication
• BIB
The coinvariant algebra $R_n$ is a well-studied $\mathfrak{S}_n$-module that is a graded version of the regular representation of $\mathfrak{S}_n$. Using a straightening algorithm on monomials and the Garsia-Stanton basis, Adin, Brenti, and Roichman gave a description of the Frobenius image of $R_n$, graded by partitions, in terms of descents of standard Young tableaux. Motivated by the Delta Conjecture of Macdonald polynomials, Haglund, Rhoades, and Shimozono gave an extension of the coinvariant algebra $R_{n,k}$ and an extension of the Garsia-Stanton basis. Chan and Rhoades further extend these results from $\mathfrak{S}_n$ to the complex reflection group $G(r,1,n)$ by defining a $G(r,1,n)$ module $S_{n,k}$ that generalizes the coinvariant algebra for $G(r,1,n)$. We extend the results of Adin, Brenti, and Roichman to $R_{n,k}$ and $S_{n,k}$.
On central-max-point tolerance graphs and some subclasses of interval catch digraphs
Published
• View Publication
• BIB
Max-point-tolerance graphs (MPTG) were studied by Catanzaro et al. in 2017 and the same class of graphs were introduced in the name of p-BOX(1) graphs by Soto and Caro in 2015. In our paper we consider central-max-point tolerance graphs (central MPTG) by taking the points of MPTG as center points of their corresponding intervals. In course of study on this class of graphs we show that the class of central MPTG is same as the class of unit max-tolerance graphs. We prove the class of unit central max-point tolerance graphs is same as that of proper central max-point tolerance graphs and both of them are equivalent to the class of proper interval graphs. Next we introduce 50% max-tolerance graphs and separate this class from unit max-tolerance graph whereas for min-tolerance graphs 50% and unit denote the same graph class.
Interval catch digraphs (ICD) was introduced by Maehera in 1984. In his introducing paper Maehera proposed a conjecture for the characterization of central interval catch digraph (central ICD) in terms of forbidden subdigraphs. In this paper, we disprove the conjecture by showing counter examples. We find close relation between a central MPTG and a central ICD. Also we characterize this digraph by defining a suitable mapping from the vertex set to the real line. Next we study oriented interval catch digraphs (oriented ICD). We characterize augmented adjacency matrix of an oriented ICD when it is a tournament. Also we characterize an oriented ICD whose underlying graph is a tree. Further we obtain characterization of the adjacency matrix of a proper interval catch digraph. Another important result is to provide forbidden subdigraph characterization of those proper oriented interval catch digraphs whose underlying undirected graph is chordal. In last section we discuss relationships between these classes of graphs and digraphs.
Approximating Connected Safe Sets in Weighted Trees
Published
• View Publication
• BIB
For a graph $G$ and a non-negative integral weight function $w$ on the vertex set of $G$, a set $S$ of vertices of $G$ is $w$-safe if $w(C)\geq w(D)$ for every component $C$ of the subgraph of $G$ induced by $S$ and every component $D$ of the subgraph of $G$ induced by the complement of $S$ such that some vertex in $C$ is adjacent to some vertex of $D$. The minimum weight $w(S)$ of a $w$-safe set $S$ is the safe number $s(G,w)$ of the weighted graph $(G,w)$, and the minimum weight of a $w$-safe set that induces a connected subgraph of $G$ is its connected safe number $cs(G,w)$. Bapat et al. showed that computing $cs(G,w)$ is NP-hard even when $G$ is a star. For a given weighted tree $(T,w)$, they described an efficient $2$-approximation algorithm for $cs(T,w)$ as well as an efficient $4$-approximation algorithm for $s(T,w)$. Addressing a problem they posed, we present a PTAS for the connected safe number of a weighted tree. Our PTAS partly relies on an exact pseudopolynomial time algorithm, which also allows to derive an asymptotic FPTAS for restricted instances. Finally, we extend a bound due to Fujita et al. from trees to block graphs.
On density of subgraphs of halved cubes
Published
• View Publication
• BIB
Let $\mathcal S$ be a family of subsets of a set $X$ of cardinality $m$ and $\text{VC-dim}(\mathcal S)$ be the Vapnik-Chervonenkis dimension of $\mathcal S$. Haussler, Littlestone, and Warmuth (Inf. Comput., 1994) proved that if $G_1(\mathcal S)=(V,E)$ is the subgraph of the hypercube $Q_m$ induced by $\mathcal S$ (called the 1-inclusion graph of $\mathcal S$), then $\frac{|E|}{|V|}\le \text{VC-dim}({\mathcal S})$. Haussler (J. Combin. Th. A, 1995) presented an elegant proof of this inequality using the shifting operation.
In this note, we adapt the shifting technique to prove that if $\mathcal S$ is an arbitrary set family and $G_{1,2}(\mathcal S)=(V,E)$ is the 1,2-inclusion graph of $\mathcal S$ (i.e., the subgraph of the square $Q^2_m$ of the hypercube $Q_m$ induced by $\mathcal S$), then $\frac{|E|}{|V|}\le \binom{d}{2}$, where $d:=\text{cVC-dim}^*(\mathcal S)$ is the clique-VC-dimension of $\mathcal S$ (which we introduce in this paper). The 1,2-inclusion graphs are exactly the subgraphs of halved cubes and comprise subgraphs of Johnson graphs as a subclass.
On density of subgraphs of Cartesian products
Published
• View Publication
• BIB
In this paper, we extend two classical results about the density of subgraphs of hypercubes to subgraphs $G$ of Cartesian products $G_1\times\cdots\times G_m$ of arbitrary connected graphs. Namely, we show that $\frac{|E(G)|}{|V(G)|}\le \lceil 2\max\{ \text{dens}(G_1),\ldots,\text{dens}(G_m)\} \rceil\log|V(G)|$, where $\text{dens}(H)$ is the maximum ratio $\frac{|E(H')|}{|V(H')|}$ over all subgraphs $H'$ of $H$. We introduce the notions of VC-dimension $\text{VC-dim}(G)$ and VC-density $\text{VC-dens}(G)$ of a subgraph $G$ of a Cartesian product $G_1\times\cdots\times G_m$, generalizing the classical Vapnik-Chervonenkis dimension of set-families (viewed as subgraphs of hypercubes). We prove that if $G_1,\ldots,G_m$ belong to the class ${\mathcal G}(H)$ of all finite connected graphs not containing a given graph $H$ as a minor, then for any subgraph $G$ of $G_1\times\cdots\times G_m$ a sharper inequality $\frac{|E(G)|}{|V(G)|}\le \text{VC-dim}(G)α(H)$ holds, where $α(H)$ is the density of the graphs from ${\mathcal G}(H)$. We refine and sharpen those two results to several specific graph classes. We also derive upper bounds (some of them polylogarithmic) for the size of adjacency labeling schemes of subgraphs of Cartesian products.
Tverberg partitions as weak epsilon-nets
We prove a Tverberg-type theorem using the probabilistic method. Given $\varepsilon >0$, we find the smallest number of partitions of a set $X$ in $R^d$ into $r$ parts needed in order to induce at least one Tverberg partition on every subset of $X$ with at least $\varepsilon |X|$ elements. This generalizes known results about Tverberg's theorem with tolerance.
A note on the restricted arc connectivity of oriented graphs of girth four
Let $D$ be a strongly connected digraph.
An arc set $S$ of $D$ is a \emph{restricted arc-cut} of $D$ if $D-S$ has a non-trivial strong component $D_{1}$ such that $D-V(D_{1})$ contains an arc. The \emph{restricted arc-connectivity} $λ'(D)$ of a digraph $D$ is the minimum cardinality over all restricted arc-cuts of $D$. A strongly connected digraph $D$ is \emph{$λ'$-connected} when $λ'(D)$ exists. This paper presents a family $\cal{F}$ of strong digraphs of girth four that are not $λ'$-connected and for every strong digraph $D\notin \cal{F}$ with girth four it follows that it is $λ'$-connected. Also, an upper and lower bound for $λ'(D)$ are given.
Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians
Published in Duke Math. J. 168, no. 18 (2019), 3437-3527
• View Publication
• BIB
We use cluster structures and mirror symmetry to explicitly describe a natural class of Newton-Okounkov bodies for Grassmannians. We consider the Grassmannian $X=Gr_{n-k}(\mathbb C^n)$, as well as the mirror dual Landau-Ginzburg model $(\check{X}^\circ, W_q:\check{X}^\circ \to \mathbb C)$, where $\check{X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{X} = Gr_k((\mathbb C^n)^*)$, and the superpotential W_q has a simple expression in terms of Plücker coordinates. Grassmannians simultaneously have the structure of an $\mathcal{A}$-cluster variety and an $\mathcal{X}$-cluster variety. Given a cluster seed G, we consider two associated coordinate systems: a $\mathcal X$-cluster chart $Φ_G:(\mathbb C^*)^{k(n-k)}\to X^{\circ}$ and a $\mathcal A$-cluster chart $Φ_G^{\vee}:(\mathbb C^*)^{k(n-k)}\to \check{X}^\circ$. To each $\mathcal X$-cluster chart $Φ_G$ and ample `boundary divisor' $D$ in $X\setminus X^{\circ}$, we associate a Newton-Okounkov body $Δ_G(D)$ in $\mathbb R^{k(n-k)}$, which is defined as the convex hull of rational points. On the other hand using the $\mathcal A$-cluster chart $Φ_G^{\vee}$ on the mirror side, we obtain a set of rational polytopes, described by inequalities, by writing the superpotential $W_q$ in the $\mathcal A$-cluster coordinates, and then "tropicalising". Our main result is that the Newton-Okounkov bodies $Δ_G(D)$ and the polytopes obtained by tropicalisation coincide. As an application, we construct degenerations of the Grassmannian to toric varieties corresponding to these Newton-Okounkov bodies. Additionally, when $G$ corresponds to a plabic graph, we give a formula for the lattice points of the Newton-Okounkov bodies, which has an interpretation in terms of quantum Schubert calculus.
A Note on 3-free Permutations
Published in Electronic Journal of Combinatorial Number Theory, volume 17, #A55, 2017
• Search Publication
Let $θ(n)$ denote the number of permutations of $\{1,2,\ldots,n\}$ that do not contain a 3-term arithmetic progression as a subsequence. Such permutations are known as 3-free permutations. We present a dynamic programming algorithm to count all 3-free permutations of $\{1,2,\ldots,n\}$. We use the output to extend and correct enumerative results in the literature for $θ(n)$ from $n=20$ out to $n=90$ and use the new values to inductively improve existing bounds on $θ(n)$.
Spanning closed walks with bounded maximum degrees of graphs on surfaces
Gao and Richter (1994) showed that every $3$-connected graph which embeds on the plane or the projective plane has a spanning closed walk meeting each vertex at most $2$ times. Brunet, Ellingham, Gao, Metzlar, and Richter (1995) extended this result to the torus and Klein bottle. Sanders and Zhao (2001) obtained a sharp result for higher surfaces by proving that every $3$-connected graph embeddable on a surface with Euler characteristic $χ\le -46$ admits a spanning closed walk meeting each vertex at most $\lceil \frac{6-2χ}{3}\rceil$ times. In this paper, we develop these results to the remaining surfaces with Euler characteristic $χ\le 0$.
Split-Decomposition Trees with Prime Nodes: Enumeration and Random Generation of Cactus Graphs
Published
• View Publication
• BIB
In this paper, we build on recent results by Chauve et al. (2014) and Bahrani and Lumbroso (2017), which combined the split-decomposition, as exposed by Gioan and Paul, with analytic combinatorics, to produce new enumerative results on graphs---in particular the enumeration of several subclasses of perfect graphs (distance-hereditary, 3-leaf power, ptolemaic). Our goal was to study a simple family of graphs, of which the split-decomposition trees have prime nodes drawn from an enumerable (and manageable!) set of graphs. Cactus graphs, which we describe in more detail further down in this paper, can be thought of as trees with their edges replaced by cycles (of arbitrary lengths). Their split-decomposition trees contain prime nodes that are cycles, making them ideal to study. We derive a characterization for the split-decomposition trees of cactus graphs, produce a general template of symbolic grammars for cactus graphs, and implement random generation for these graphs, building on work by Iriza (2015).
The game of plates and olives
Published
• View Publication
• BIB
The game of plates and olives, introduced by Nicolaescu, begins with an empty table. At each step either an empty plate is put down, an olive is put down on a plate, an olive is removed, an empty plate is removed, or the olives on two plates that both have olives on them are combined on one of the two plates, with the other plate removed. Plates are indistinguishable from one another, as are olives, and there is an inexhaustible supply of each.
The game derives from the consideration of Morse functions on the $2$-sphere. Specifically, the number of topological equivalence classes of excellent Morse functions on the $2$-sphere that have order $n$ (that is, that have $2n+2$ critical points) is the same as the number of ways of returning to an empty table for the first time after exactly $2n+2$ steps. We call this number $M_n$.
Nicolaescu gave the lower bound $M_n \geq (2n-1)!! = (2/e)^{n+o(n)}n^n$ and speculated that $\log M_n \sim n\log n$. In this note we confirm this speculation, showing that $M_n \leq (4/e)^{n+o(n)}n^n$.