Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the maximum dual volume of a canonical Fano polytope
Published
• View Publication
• BIB
We give an upper bound on the volume vol(P*) of a polytope P* dual to a d-dimensional lattice polytope P with exactly one interior lattice point, in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp, and is achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional toric Fano variety X with at worst canonical singularities.
On coalescence time in graphs--When is coalescing as fast as meeting?
Published
• View Publication
• BIB
Coalescing random walks is a fundamental stochastic process, where a set of particles perform independent discrete-time random walks on an undirected graph. Whenever two or more particles meet at a given node, they merge and continue as a single random walk. The coalescence time is defined as the expected time until only one particle remains, starting from one particle at every node. Despite recent progress the coalescence time for graphs such as binary trees, d-dimensional tori, hypercubes and more generally, vertex-transitive graphs, remains unresolved. We provide a powerful toolkit that results in tight bounds for various topologies including the aforementioned ones. The meeting time is defined as the worst-case expected time required for two random walks to arrive at the same node at the same time. As a general result, we establish that for graphs whose meeting time is only marginally larger than the mixing time (a factor of log^2 n), the coalescence time of n random walks equals the meeting time up to constant factors. This upper bound is complemented by the construction of a graph family demonstrating that this result is the best possible up to constant factors. For almost-regular graphs, we bound the coalescence time by the hitting time, resolving the discrete-time variant of a conjecture by Aldous for this class of graphs. Finally, we prove that for any graph the coalescence time is bounded by O(n^3) (which is tight for the Barbell graph); surprisingly even such a basic question about the coalescing time was not answered before this work. By duality, our results give bounds on the voter model and therefore give bounds on the consensus time in arbitrary undirected graphs. We also establish a new bound on the hitting time and cover time of regular graphs, improving and tightening previous results by Broder and Karlin, as well as those by Aldous and Fill.
Decompositions of Grothendieck Polynomials
Published in International Mathematics Research Notices 2019(10), 2019, 3214-3241
• View Publication
• BIB
We investigate the longstanding problem of finding a combinatorial rule for the Schubert structure constants in the $K$-theory of flag varieties (in type $A$). The Grothendieck polynomials of A. Lascoux-M.-P. Schützenberger (1982) serve as polynomial representatives for $K$-theoretic Schubert classes; however no positive rule for their multiplication is known outside the Grassmannian case. We contribute a new basis for polynomials, give a positive combinatorial formula for the expansion of Grothendieck polynomials in these glide polynomials, and provide a positive combinatorial Littlewood-Richardson rule for expanding a product of Grothendieck polynomials in the glide basis. Our techniques easily extend to the $β$-Grothendieck polynomials of S. Fomin-A. Kirillov (1994), representing classes in connective $K$-theory, and we state our results in this more general context.
A specialization of the glide basis recovers the fundamental slide polynomials of S. Assaf-D. Searles (2016), which play an analogous role with respect to the Chow ring of flag varieties. Additionally, the stable limits of another specialization of glide polynomials are T. Lam-P. Pylyavskyy's (2007) basis of multi-fundamental quasisymmetric functions, $K$-theoretic analogues of I. Gessel's (1984) fundamental quasisymmetric functions. Those glide polynomials that are themselves quasisymmetric are truncations of multi-fundamental quasisymmetric functions and form a basis of quasisymmetric polynomials.
Ramsey goodness of bounded degree trees
Published
• View Publication
• BIB
Given a pair of graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $N$ such that every red-blue coloring of the edges of the complete graph $K_N$ contains a red copy of $G$ or a blue copy of $H$. If a graph $G$ is connected, it is well known and easy to show that $R(G,H) \geq (|G|-1)(χ(H)-1)+σ(H)$, where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest color class in a $χ(H)$-coloring of $H$. A graph $G$ is called $H$-good if $R(G,H)= (|G|-1)(χ(H)-1)+σ(H)$. The notion of Ramsey goodness was introduced by Burr and Erdős in 1983 and has been extensively studied since then.
In this paper we show that if $n\geq Ω(|H| \log^4 |H|)$ then every $n$-vertex bounded degree tree $T$ is $H$-good. The dependency between $n$ and $|H|$ is tight up to $\log$ factors. This substantially improves a result of Erdős, Faudree, Rousseau, and Schelp from 1985, who proved that $n$-vertex bounded degree trees are $H$-good when when $n \geq Ω(|H|^4)$.
The $α$-representation for the characteristic function of a matroid
Let $M=(E,\mathcal B)$ be an $\mathbb F_q$-linear matroid; denote by ${\mathcal B}$ the family of its bases, $s(M;α)=\sum_{B\in\mathcal B}\prod_{e \in B} α_e$, where ${α_e\in \mathbb F_q}$. According to the Kontsevich conjecture stated in 1997, the number of nonzero values of $s(M;α)$ is a polynomial with respect to $q$ for all matroids. This conjecture was disproved by P. Brosnan and P. Belkale. In this paper we express the characteristic polynomial of the dual matroid $M^\perp$ in terms of the "correct" Kontsevich formula (for $\mathbb F_q$-linear matroids). This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier (and with the help of another technique). In addition, generalizing the correlation (announced by us earlier) that connects flow and chromatic polynomials, we define the characteristic polynomial of $M^\perp$ in two ways, namely, in terms of characteristic polynomials of $M/A$ and $M|_A$, respectively, $A\subseteq E$. The latter expressions are close to convolution-multiplication formulas established by V. Reiner and J. P. S. Kung.
Linear chord diagrams with long chords
Published
• View Publication
• BIB
A linear chord diagram of size $n$ is a partition of the set $\{1,2,\cdots,2n\}$ into sets of size two, called chords. From a table showing the number of linear chord diagrams of degree $n$ such that every chord has length at least $k$, we observe that if we proceed far enough along the diagonals, they are given by a geometric sequence. We prove that this holds for all diagonals, and identify when the effect starts.
Geodetic Graphs Homeomorphic to a Given Geodetic Graph
Published in International Journal of Graph Theory and its Applications 3(1) (2020) pp. 13-44
• Search Publication
This paper describes a new approach to the problem of generating the class of all geodetic graphs homeomorphic to a given geodetic one. An algorithmic procedure is elaborated to carry out a systematic finding of such a class of graphs. As a result, the enumeration of the class of geodetic graphs homeomorphic to certain Moore graphs has been performed.
Semiclassical asymptotics of $\operatorname{GL}_N(\mathbb{C})$ tensor products and quantum random matrices
Published in Sel. Math. New Ser. 24 (2018), no. 3, 2571-2623
• View Publication
• BIB
The Littlewood--Richardson process is a discrete random point process arising from the isotypic decomposition of tensor products of irreducible representations of $\operatorname{GL}_N(\mathbb{C})$. Biane--Perelomov--Popov matrices are quantum random matrices obtained as the geometric quantization of random Hermitian matrices with deterministic eigenvalues and uniformly random eigenvectors. As first observed by Biane, correlation functions of certain global observables of the LR process coincide with correlation functions of linear statistics of sums of classically independent BPP matrices, thereby enabling a random matrix approach to the statistical study of $\operatorname{GL}_N(\mathbb{C})$ tensor products. In this paper, we prove an optimal result: classically independent BPP matrices become freely independent in any semiclassical/large-dimension limit. This proves and generalizes a conjecture of Bufetov and Gorin, and leads to a Law of Large Numbers for the BPP observables of the LR process which holds in any and all semiclassical scalings.
On $(1,2)$-step competition graphs of bipartite tournaments
Published
• View Publication
• BIB
In this paper, we study $(1,2)$-step competition graphs of bipartite tournaments. A bipartite tournament means an orientation of a complete bipartite graph. We show that the $(1,2)$-step competition graph of a bipartite tournament has at most one non-trivial component or consists of exactly two complete components of size at least three and, especially in the former, the diameter of the nontrivial component is at most three if it exists. Based on this result, we show that, among the connected non-complete graphs which are triangle-free or the cycles of which are edge-disjoint, $K_{1,4}$ is the only graph that can be represented as the $(1,2)$-step competition graph of a bipartite tournament. We also completely characterize a complete graph and the disjoint union of two complete graphs, respectively, which can be represented as the $(1,2)$-step competition graph of a bipartite tournament. Finally we present the maximum number of edges and the minimum number of edges which the $(1,2)$-step competition graph of a bipartite tournament might have.
On Edge Dimension of a Graph
Published
• View Publication
• BIB
Given a connected graph $G(V, E)$, the edge dimension, denoted $\mathrm{edim}(G)$, is the least size of a set $S \subseteq V$ that distinguishes every pair of edges of $G$, in the sense that the edges have pairwise distinct tuples of distances to the vertices of $S$. The notation was introduced by Kelenc, Tratnik, and Yero, and in their paper, they asked several questions about properties of $\mathrm{edim}$. In this article we answer two of these questions: we classify the graphs for which $\mathrm{edim}(G) = n-1$ and show that $\frac{\mathrm{edim}(G)}{\dim(G)}$ isn't bounded from above (here $\dim(G)$ is the standard metric dimension of $G$). We also compute $\mathrm{edim}(G\Box P_m)$ and $\mathrm{edim}(G + K_1)$.
Higher order representation stability and ordered configuration spaces of manifolds
Published in Geom. Topol. 23 (2019) 2519-2591
• View Publication
• BIB
Using the language of twisted skew-commutative algebras, we define \emph{secondary representation stability}, a stability pattern in the {\it unstable} homology of spaces that are representation stable in the sense of Church, Ellenberg, and Farb. We show that the rational homology of configuration spaces of ordered points in noncompact manifolds satisfies secondary representation stability. While representation stability for the homology of configuration spaces involves stabilizing by introducing a point ``near infinity,'' secondary representation stability involves stabilizing by introducing a pair of orbiting points -- an operation that relates homology groups in different homological degrees. This result can be thought of as a representation-theoretic analogue of \emph{secondary homological stability} in the sense of Galatius, Kupers, and Randal-Williams. In the course of the proof we establish some additional results: we give a new characterization of the homology of the complex of injective words, and we give a new proof of integral representation stability for configuration spaces of noncompact manifolds, extending previous results to nonorientable manifolds.
Discrimination of Graph Isomorphism Classes by Continuous Spectrum and Split Technique
The graph isomorphism problem is a main problem which has numerous applications in different fields. Thus, finding an efficient and easy to implement method to discriminate non-isomorphic graphs is valuable. In this paper, a new method is introduced which is very simple and easy to implement, but very efficient in discriminating non-isomorphic graphs, in practice. This method does not need any heuristic attempt and based on the eigenvalues of a new matrix representation for graphs. It, almost always, separates non-isomorphic $n$-vertex graphs in time $O(n^3)$ and in worst cases such as strongly regular graphs, in time $O(n^4)$. Here, we show that this method, successfully, characterizes the isomorphism classes of studied instances of strongly regular graphs (up to 64 vertices). Strongly regular graphs are believed to be hard cases of the graph isomorphism problem.
Constructions of graphs and trees with partially prescribed spectrum
It is shown how a connected graph and a tree with partially prescribed spectrum can be constructed. These constructions are based on a recent result of Salez that every totally real algebraic integer is an eigenvalue of a tree. Our result implies that for any (not necessarily connected) graph $G$, there is a tree $T$ such that the characteristic polynomial $P(G,x)$ of $G$ can divide the characteristic polynomial $P(T,x)$ of $T$, i.e., $P(G,x)$ is a divisor of $P(T,x)$.
The Beraha number $B_{10}$ is a chromatic root
This note exhibits graphs whose chromatic polynomials have the Beraha number $B_{10} = (5 + \sqrt{5})/2$ as a root. It was previously known that no other non-integer Beraha number is a chromatic root, and so these examples complete the determination of precisely which Beraha numbers can be chromatic roots.
The exact phase diagram for a class of multispecies asymmetric exclusion processes
Published in Scientific Reports 7, Article number: 13555 (2017)
• View Publication
• BIB
The asymmetric exclusion process is an idealised stochastic model of transport, whose exact solution has given important insight into a general theory of nonequilibrium statistical physics. In this work, we consider a totally asymmetric exclusion process with multiple species of particles on a one-dimensional lattice in contact with reservoirs. We derive the exact nonequilibrium phase diagram for the system in the long time limit. We find two new phenomena in certain regions of the phase diagram: when the density of a species becomes zero throughout the system, and dynamical localisation when the density of a species is nonzero only within an interval far from the boundaries. We give a complete explanation of the macroscopic features of the phase diagram using what we call nested fat shocks.
Bijection between oriented maps and weighted non-oriented maps
Published in Electronic Journal of Combinatorics 24(3) (2017), #P3.7
• View Publication
• BIB
We consider bicolored maps, i.e. graphs which are drawn on surfaces, and construct a bijection between (i) oriented maps with arbitary face structure, and (ii) (weighted) non-oriented maps with exactly one face. Above, each non-oriented map is counted with a multiplicity which is based on the concept of the orientability generating series and the measure of orientability of a map. This bijection has the remarkable property of preserving the underlying bicolored graph. Our bijection shows equivalence between two explicit formulas for the top-degree of Jack characters, i.e. (suitably normalized) coefficients in the expansion of Jack symmetric functions in the basis of power-sum symmetric functions.
Decomposing the vertex set of a hypercube into isomorphic subgraphs
Let $G$ be an induced subgraph of the hypercube $Q_k$ for some $k$. We show that if $|G|$ is a power of $2$ then, for sufficiciently large $n$, the vertex set of $Q_n$ can be partitioned into induced copies of $G$. This answers a question of Offner. In fact, we prove a stronger statement: if $X$ is a subset of $\{0,1\}^k$ for some $k$ and if $|X|$ is a power of $2$, then, for sufficiently large $n$, $\{0,1\}^n$ can be partitioned into isometric copies of $X$.
On Maximum Induced Matching Numbers of Special Grids
Published
• View Publication
• BIB
A subset $M$ of the edge set of a graph $G$ is an induced matching of $G$ if given any two $e_1,e_2 \in M$, none of the vertices on $e_1$ is adjacent to any of the vertices on $e_2$. Suppose that $MIM_G$, a positive integer, is the largest possible size of $M$ in $G$, then, $M$ is the maximum induced matching, $MIM$, of $G$ and $MIM_G$ is the maximum induced matching number of $G$. We obtain some upper bounds for the maximum induced matching numbers of some specific grids.
A note on Reed's Conjecture about $ω$, $Δ$ and $χ$ with respect to vertices of high degree
Reed conjectured that for every graph, $χ\leq \left \lceil \frac{Δ+ ω+ 1}{2} \right \rceil$ holds, where $χ$, $ω$ and $Δ$ denote the chromatic number, clique number and maximum degree of the graph, respectively. We develop an algorithm which takes a hypothetical counterexample as input. The output discloses some hidden structures closely related to high vertex degrees. Consequently, we deduce two graph classes where Reed's Conjecture holds: One contains all graphs in which the vertices of degree at least $5$ form a stable set. The other contains all graphs in which every induced cycle of odd length contains a vertex of at most degree 3.
Perfect state transfer on graphs with a potential
Published
• View Publication
• BIB
In this paper we study quantum state transfer (also called quantum tunneling) on graphs when there is a potential function on the vertex set. We present two main results. First, we show that for paths of length greater than three, there is no potential on the vertices of the path for which perfect state transfer between the endpoints can occur. In particular, this answers a question raised by Godsil in Section 20 of [8]. Second, we show that if a graph has two vertices that share a common neighborhood, then there is a potential on the vertex set for which perfect state transfer will occur between those two vertices. This gives numerous examples where perfect state transfer does not occur without the potential, but adding a potential makes perfect state transfer possible. In addition, we investigate perfect state transfer on graph products, which gives further examples where perfect state transfer can occur.