Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The Tutte polynomial and toric Nakajima quiver varieties
Published
• View Publication
• BIB
For a quiver $Q$, we take $\mathcal{M}$ an associated toric Nakajima quiver variety and $Γ$ the underlying graph. In this article, we give a direct relation between a specialisation of the Tutte polynomial of $Γ$, the Kac polynomial of $Q$ and the Poincaré polynomial of $\mathcal{M}$. We do this by giving a cell decomposition of $\mathcal{M}$ indexed by spanning trees of $Γ$ and `geometrising' the deletion and contraction operators on graphs. These relations have been previously established by Sturmfels-Hausel and (Crawley-Boovey)-Van den Bergh, however the methods here are more hands-on.
Random Walk of a Cat in a Building
One usually thinks of a cat moving from one room to another in an apartment as random walk model. Imagine now that it also has the possibility to go from one apartment to another by crossing some corridors. That yields a new probabilistic model for which each corridor connects the entrance rooms of several apartments. This article shows that the determinants of the stochastic and the exponential distance matrices of that model have a nice factorization. Two examples involving indirectly acyclic digraphs and hyperplane arrangements are provided.
A note on 1-planar graphs with minimum degree 7
Published
• View Publication
• BIB
It is well-known that 1-planar graphs have minimum degree at most 7, and not hard to see that some 1-planar graphs have minimum degree exactly 7. In this note we show that any such 1-planar graph has at least 24 vertices, and this is tight.
Vertex Alternating-Pancyclism in 2-Edge-Colored Graphs
Published
• View Publication
• BIB
An alternating cycle in a 2-two-edge-colored graph is a cycle such that any two consecutive edges have different colors. Let $G_1, \ldots, G_k$ be a collection of pairwise vertex disjoint 2-edge-colored graphs. The colored generalized sum of $G_1, \ldots, G_k$, denoted by $ \oplus_{i=1}^k G_i$, is the set of all 2-edge-colored graphs $G$ such that: (i) $V(G)=\bigcup_{i=1}^k V(G_i)$, (ii) $G\langle V(G_i)\rangle\cong G_i$ for $i=1,\ldots, k$ as edge-colored graphs where $G\langle V(G_i)\rangle$ has the same coloring as $G_i$ and (iii) between each pair of vertices in different summands of $G$ there is exactly one edge, with an arbitrary but fixed color. A graph $G$ in $\oplus_{i=1}^k G_i$ will be called a colored generalized sum (c.g.s.) and we will say that $e\in E(G)$ is an exterior edge iff $e\in E(G)\setminus \left(\bigcup_{i=1}^k E(G_i)\right)$. The set of exterior edges will be denoted by $E_\oplus$. A colored graph $G$ is said to be a vertex alternating-pancyclic graph, whenever for each vertex $v$ in $G$, and for each $l\in\{3,\ldots, |V(G)|\}$, there exists in $G$ an alternating cycle of length $l$ passing through $v$.
The topics of pancyclism and vertex-pancyclism are deeply and widely studied by several authors. The existence of alternating cycles in 2-edge-colored graphs has been studied because of its many applications. In this paper, we give sufficient conditions for a graph $G\in \oplus_{i=1}^k G_i$ to be a vertex alternating-pancyclic graph.
Brändén's $(p,q)$-Eulerian polynomials, André permutations and continued fractions
Published
• View Publication
• BIB
In 2008 Brändén proved a $(p,q)$-analogue of the $γ$-expansion formula for Eulerian polynomials and conjectured the divisibility of the $γ$-coefficient $γ_{n,k}(p,q)$ by $(p+q)^k$. As a follow-up, in 2012 Shin and Zeng showed that the fraction $γ_{n,k}(p, q)/(p + q)^k$ is a polynomial in $\N[p,q]$. The aim of this paper is to give a combinatorial interpretation of the latter polynomial in terms of André permutations, a class of objects first defined and studied by Foata, Schützenberger and Strehl in the 1970s. It turns out that our result provides an answer to a recent open problem of Han, which was the impetus of this paper.
A strong stationary time for random transpositions
We show that the random transposition walk on the symmetric group $S_n$ has cutoff in separation distance at $\frac{1}{2}n \log n$, by constructing a strong stationary time. The construction involves working with cycle types of permutations and some partition combinatorics.
Proof of two supercongruences conjectured by Z.-W. Sun
Published in The Ramanujan Journal(2021)
• View Publication
• BIB
In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{p-1}\frac{6n+1}{256^n}\binom{2n}n^3&\equiv p(-1)^{(p-1)/2}-p^3E_{p-3}\pmod{p^4}. \end{align*} In fact, this supercongruence is a generalization of a supercongruence of van Hamme.
Transition Waste Optimization for Coded Elastic Computing
Published
• View Publication
• BIB
Distributed computing, in which a resource-intensive task is divided into subtasks and distributed among different machines, plays a key role in solving large-scale problems. Coded computing is a recently emerging paradigm where redundancy for distributed computing is introduced to alleviate the impact of slow machines (stragglers) on the completion time. We investigate coded computing solutions over elastic resources, where the set of available machines may change in the middle of the computation. This is motivated by recently available services in the cloud computing industry (e.g., EC2 Spot, Azure Batch) where low-priority virtual machines are offered at a fraction of the price of the on-demand instances but can be preempted on short notice. Our contributions are three-fold. We first introduce a new concept called transition waste that quantifies the number of tasks existing machines must abandon or take over when a machine joins/leaves. We then develop an efficient method to minimize the transition waste for the cyclic task allocation scheme recently proposed in the literature (Yang et al. ISIT'19). Finally, we establish a novel solution based on finite geometry achieving zero transition wastes given that the number of active machines varies within a fixed range.
The right acute angles problem?
Published
• View Publication
• BIB
The Danzer--Grünbaum acute angles problem asks for the largest size of a set of points in ${\mathbb R}^d$ that determines only acute angles. Recently, the problem was essentially solved thanks to the results of the second author and of Gerencsér and Harangi: now, the lower and the upper bounds are $2^{d-1}+1$ and $2^d-1$, respectively. The lower-bound construction is surprisingly simple. In this note, we suggest the following variant of the problem, which is one way to "save" the problem. Put $F(α) = \lim_{d\to \infty} f(d,α)^{1/d}$, where $f(d,α)$ is the largest set of points in ${\mathbb R}^d$ with no angle greater than $α$. Then the question is to find $c:= \lim_{α\to π/2^-}F(α).$ Although one may expect that $c=2$ in view of the result of Gerencsér and Harangi, the best lower bound we could get is $c\ge \sqrt 2$. We also solve a related problem of Erdos and Füredi on the "stability" of the acute angles problem and refute another conjecture stated in the same paper.
A Unique Extension of Rich Words
Published
• View Publication
• BIB
A word $w$ is called rich if it contains $| w|+1$ palindromic factors, including the empty word. We say that a rich word $w$ can be extended in at least two ways if there are two distinct letters $x,y$ such that $wx,wy$ are rich. Let $R$ denote the set of all rich words. Given $w\in R$, let $K(w)$ denote the set of all words such that if $u\in K(w)$ then $wu\in R$ and $wu$ can be extended in at least two ways. Let $ω(w)=\min\{| u| \mid u\in K(w)\}$ and let $φ(n)=\max\{ω(w)\mid w\in R\mbox{ and }| w|=n\}$, where $n>0$. Vesti (2014) showed that $φ(n)\leq 2n$. In other words, it says that for each $w\in R$ there is a word $u$ with $| u|\leq 2| w|$ such that $wu\in R$ and $wu$ can be extended in at least two ways. We prove that $φ(n)\leq n$. In addition we prove that for each real constant $c>0$ and each integer $m>0$ there is $n>m$ such that $φ(n)\geq (\frac{2}{9}-c)n$. The results hold for each finite alphabet having at least two letters.
Strong Menger connectedness of augmented $k$-ary $n$-cubes
Published
• View Publication
• BIB
A connected graph $G$ is called strongly Menger (edge) connected if for any two distinct vertices $x,y$ of $G$, there are $\min \{{\rm deg}_G(x), {\rm deg}_G(y)\}$ vertex(edge)-disjoint paths between $x$ and $y$. In this paper, we consider strong Menger (edge) connectedness of the augmented $k$-ary $n$-cube $AQ_{n,k}$, which is a variant of $k$-ary $n$-cube $Q_n^k$. By exploring the topological proprieties of $AQ_{n,k}$, we show that $AQ_{n,3}$ for $n\geq 4$ (resp.\ $AQ_{n,k}$ for $n\geq 2$ and $k\geq 4$) is still strongly Menger connected even when there are $4n-9$ (resp.\ $4n-8$) faulty vertices and $AQ_{n,k}$ is still strongly Menger edge connected even when there are $4n-4$ faulty edges for $n\geq 2$ and $k\geq 3$. Moreover, under the restricted condition that each vertex has at least two fault-free edges, we show that $AQ_{n,k}$ is still strongly Menger edge connected even when there are $8n-10$ faulty edges for $n\geq 2$ and $k\geq 3$. These results are all optimal in the sense of the maximum number of tolerated vertex (resp.\ edge) faults.
Conflict-Free Coloring on Open Neighborhoods
Published
• View Publication
• BIB
In an undirected graph, a conflict-free coloring (with respect to open neighborhoods) is an assignment of colors to the vertices of the graph $G$ such that every vertex in $G$ has a uniquely colored vertex in its open neighborhood. The conflict-free coloring problem asks to find the smallest number of colors required for a conflict-free coloring.
The conflict-free coloring problem is NP-complete. From results in Abel et. al. [SODA 2017], it can be inferred that every planar graph has a conflict-free coloring with at most nine colors. As the best known lower bound for planar graphs is four colors, it was asked in the same paper if fewer colors would suffice. We make progress in answering this question, by showing that every planar graph can be colored using at most six colors. The same proof idea is used to show that every outerplanar graph can be colored using at most five colors. Using a different approach, we further show that every outerplanar graph can be colored using at most four colors.
Finally, we study the problem on Kneser graphs. We show that $k+2$ colors are necessary and sufficient to color the Kneser graph $K(n,k)$ when $n\geq k(k+1)^2 + 1$.
Generalized Catalan recurrences, Riordan arrays, elliptic curves, and orthogonal polynomials
We show that the Catalan-Schroeder convolution recurrences and their higher order generalizations can be solved using Riordan arrays and the Catalan numbers. We investigate the Hankel transforms of many of the recurrence solutions, and indicate that Somos $4$ sequences often arise. We exhibit relations between recurrences, Riordan arrays, elliptic curves and Somos $4$ sequences. We furthermore indicate how one can associate a family of orthogonal polynomials to a point on an elliptic curve, whose moments are related to recurrence solutions.
Deletion-contraction triangles for Hausel-Proudfoot varieties
Published
• View Publication
• BIB
To a graph, Hausel and Proudfoot associate two complex manifolds, B and D, which behave, respectively like moduli of local systems on a Riemann surface, and moduli of Higgs bundles. For instance, B is a moduli space of microlocal sheaves, which generalize local systems, and D carries the structure of a complex integrable system. We show the Euler characteristics of these varieties count spanning subtrees of the graph, and the point-count over a finite field for B is a generating polynomial for spanning subgraphs. This polynomial satisfies a deletion-contraction relation, which we lift to a deletion-contraction exact triangle for the cohomology of B. There is a corresponding triangle for D. Finally, we prove B and D are diffeomorphic, that the diffeomorphism carries the weight filtration on the cohomology of B to the perverse Leray filtration on the cohomology of D, and that all these structures are compatible with the deletion-contraction triangles.
Projective dimension of Hypergraphs
Published
• View Publication
• BIB
Given a square-free monomial ideal $I$, satisfying certain hypotheses, in a polynomial ring $R$ over a field $\mathbb{K}$, we compute the projective dimension of $I$. Specifically, we focus on the cases where the 1-skeleton of an associated hypergraph is either a string or a cycle. We investigate the impact on the projective dimension when higher dimensional edges are removed. We prove that the higher dimensional edge either has no effect on the projective dimension or the projective dimension only goes up by one with the extra higher dimensional edge.
Homogeneous coherent configurations from spherical buildings and other edge-coloured graphs
Published
• View Publication
• BIB
We study a class of edge-coloured graphs, including the chamber systems of buildings and other geometries such as affine planes, from which we build coherent configurations (also known as non-commutative association schemes). The condition we require is that the graph be endowed with a certain distance function, taking its values in the adjacency algebra (itself generated by the adjacency operators). When all the edges are of the same colour, the condition is equivalent to the graph being distance-regular, so our result is a generalization of the classical fact that distance-regular graphs give rise to association schemes.
The Bose-Mesner algebra of the coherent configuration is then isomorphic to the adjacency algebra of the graph. The latter is more easily computed, and comes with a "small" set of generators, so we are able to produce examples of Bose-Mesner algebras with particularly simple presentations.
When a group acts "strongly transitively", in a certain sense, on a graph, we show that a distance function as above exists canonically; moreover, when the graph is (the chamber system of) a building, we show that strong transitivity is equivalent to the usual condition involving pairs of incident chambers and apartments.
We study affine planes in detail. These are not buildings, yet the machinery developed allows us to state and prove some results which are directly analogous to classical facts in the theory of projective planes (which {\em are} buildings). In particular, we prove that an affine plane with a group acting strongly transitively on it must be Desarguesian.
Extremal regular graphs of given chromatic number
Published in Ars Combinatoria-2023
• View Publication
• BIB
We define an extremal $(r|χ)$-graph as an $r$-regular graph with chromatic number $χ$ of minimum order. We show that the Tur{\' a}n graphs $T_{ak,k}$, the antihole graphs and the graphs $K_k\times K_2$ are extremal in this sense. We also study extremal Cayley $(r|χ)$-graphs and we exhibit several $(r|χ)$-graph constructions arising from Tur{\' a}n graphs.
A deterministic theory of low rank matrix completion
Published
• View Publication
• BIB
The problem of completing a large low rank matrix using a subset of revealed entries has received much attention in the last ten years. The main result of this paper gives a necessary and sufficient condition, stated in the language of graph limit theory, for a sequence of matrix completion problems with arbitrary missing patterns to be asymptotically solvable. It is then shown that a small modification of the Candès-Recht nuclear norm minimization algorithm provides the required asymptotic solution whenever the sequence of problems is asymptotically solvable. The theory is fully deterministic, with no assumption of randomness. A number of open questions are listed.
The Multivariate Schwartz-Zippel Lemma
Published in SIAM Journal of Discrete Mathematics, Vol 36, Issue 2, 2022
• View Publication
• BIB
Motivated by applications in combinatorial geometry, we consider the following question: Let $λ=(λ_1,λ_2,\ldots,λ_m)$ be an $m$-partition of a positive integer $n$, $S_i \subseteq \mathbb{C}^{λ_i}$ be finite sets, and let $S:=S_1 \times S_2 \times \ldots \times S_m \subset \mathbb{C}^n$ be the multi-grid defined by $S_i$. Suppose $p$ is an $n$-variate degree $d$ polynomial. How many zeros does $p$ have on $S$?
We first develop a multivariate generalization of Combinatorial Nullstellensatz that certifies existence of a point $t \in S$ so that $p(t) \neq 0$. Then we show that a natural multivariate generalization of the DeMillo-Lipton-Schwartz-Zippel lemma holds, except for a special family of polynomials that we call $λ$-reducible. This yields a simultaneous generalization of Szemerédi-Trotter theorem and Schwartz-Zippel lemma into higher dimensions, and has applications in incidence geometry. Finally, we develop a symbolic algorithm that identifies certain $λ$-reducible polynomials. More precisely, our symbolic algorithm detects polynomials that include a cartesian product of hypersurfaces in their zero set. It is likely that using Chow forms the algorithm can be generalized to handle arbitrary $λ$-reducible polynomials, which we leave as an open problem.
Spatial Strength Centrality and the Effect of Spatial Embeddings on Network Architecture
Published in Phys. Rev. E 101, 062305 (2020)
• View Publication
• BIB
For many networks, it is useful to think of their nodes as being embedded in a latent space, and such embeddings can affect the probabilities for nodes to be adjacent to each other. In this paper, we extend existing models of synthetic networks to spatial network models by first embedding nodes in Euclidean space and then modifying the models so that progressively longer edges occur with progressively smaller probabilities. We start by extending a geographical fitness model by employing Gaussian-distributed fitnesses, and we then develop spatial versions of preferential attachment and configuration models. We define a notion of "spatial strength centrality" to help characterize how strongly a spatial embedding affects network structure, and we examine spatial strength centrality on a variety of real and synthetic networks.