Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Curvature on Graphs via Equilibrium Measures
Published
• View Publication
• BIB
We introduce a notion of curvature on finite, combinatorial graphs. It can be easily computed by solving a linear system of equations. We show that graphs with curvature bounded below by $K>0$ have diameter bounded by $\mbox{diam}(G) \leq 2/K$ (a Bonnet-Myers theorem), that $\mbox{diam}(G) = 2/K$ implies that $G$ has constant curvature (a Cheng theorem) and that there is a spectral gap $λ_1 \geq K/(2n)$ (a Lichnerowicz theorem). It is computed for several families of graphs and often coincides with Ollivier curvature or Lin-Lu-Yau curvature. The von Neumann minimax theorem features prominently in the proofs.
Pivot Gray Codes for the Spanning Trees of a Graph ft. the Fan
Published
• View Publication
• BIB
We consider the problem of listing all spanning trees of a graph $G$ such that successive trees differ by pivoting a single edge around a vertex. Such a listing is called a "pivot Gray code", and it has more stringent conditions than known "revolving-door" Gray codes for spanning trees. Most revolving-door algorithms employ a standard edge-deletion/edge-contraction recursive approach which we demonstrate presents natural challenges when requiring the "pivot" property. Our main result is the discovery of a greedy strategy to list the spanning trees of the fan graph in a pivot Gray code order. It is the first greedy algorithm for exhaustively generating spanning trees using such a minimal change operation. The resulting listing is then studied to find a recursive algorithm that produces the same listing in $O(1)$-amortized time using $O(n)$ space. Additionally, we present $O(n)$-time algorithms for ranking and unranking the spanning trees for our listing; an improvement over the generic $O(n^3)$-time algorithm for ranking and unranking spanning trees of an arbitrary graph. Finally, we discuss how our listing can be applied to find a pivot Gray code for the wheel graph.
Lieb's permanental dominance conjecture
Published in R.L. Frank, A. Laptev, M. Lewin and R. Seiringer (eds.) The Physics and Mathematics of Elliott Lieb, vol. 2, EMS Press, Berlin, 2022, pp501-516
• View Publication
• BIB
We survey the impact of Lieb's influential paper "Proofs of some conjectures on permanents" [J. Math. Mech. 16 1966, 127-134], which introduced the famous permanental dominance conjecture. This conjecture has defied all attacks for over half a century, although a number of related conjectures have recently been resolved.
Euclidean preferences in the plane under $\ell_1$, $\ell_2$ and $\ell_\infty$ norms
Published
• View Publication
• BIB
We present various results about Euclidean preferences in the plane under $\ell_1$, $\ell_2$ and $\ell_{\infty}$ norms. When there are four candidates, we show that the maximal size (in terms of the number of pairwise distinct preferences) of Euclidean preference profiles in the plane under norm $\ell_1$ or $\ell_{\infty}$ is 19. Whatever the number of candidates, we prove that at most four distinct candidates can be ranked in last position of a two-dimensional Euclidean preference profile under norm $\ell_1$ or $\ell_\infty$, which generalizes the case of one-dimensional Euclidean preferences (for which it is well known that at most two candidates can be ranked last). We generalize this result to $2^d$ (resp. $2d$) for $\ell_1$ (resp. $\ell_\infty$) for $d$-dimensional Euclidean preferences. We also establish that the maximal size of a two-dimensional Euclidean preference profile on $m$ candidates under norm $\ell_1$ is in $Θ(m^4)$, i.e., the same order of magnitude as under norm $\ell_2$. Finally, we provide a new proof that two-dimensional Euclidean preference profiles under norm $\ell_2$ for four candidates can be characterized by three voter-maximal two-dimensional Euclidean profiles. This proof is a simpler alternative to that proposed by Kamiya et al. in Ranking patterns of unfolding models of codimension one, Advances in Applied Mathematics 47(2):379-400.
The Bruhat Order on Symmetric Groups via Intrinsic Coverings of Compositions
Lehmer's code defines a bijection between the symmetric group and the set of staircase compositions. In this paper, we characterize a poset structure on these compositions that is equivalent to the strong Bruhat order on the symmetric group. This construction is intrinsic and does not require any reference to the associated permutations.
Matching Orderable and Separable Hypergraphs
Published in Optimization Letters, 2022
• View Publication
• BIB
A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable hypergraphs is strictly contained in the class of separable hypergraphs. Accordingly, we show that for each fixed $k$, deciding perfect matching for orderable $k$-hypergraphs is polynomial time doable, but for each fixed $k\geq 3$, it is NP-complete for separable hypergraphs.
Splitting fields of mixed Cayley graphs over abelian groups
Published
• View Publication
• BIB
The splitting field $\mathbb{SF}(Γ)$ of a mixed graph $Γ$ is the smallest field extension of $\mathbb{Q}$ which contains all eigenvalues of the Hermitian adjacency matrix of $Γ$. The extension degree $[\mathbb{SF}(Γ):\mathbb{Q}]$ is called the algebraic degree of $Γ$. In this paper, we determine the splitting fields and algebraic degrees of mixed Cayley graphs over abelian groups. This generalizes the main results of [K. Mönius, Splitting fields of spectra of circulant graphs, J. Algebra 594(15) (2022) 154--169] and [M. Kadyan, B. Bhattacharjya, Integral mixed Cayley graphs over abelian groups, Electron. J. Combin. 28(4) (2021) \#P4.46].
Relating dissociation, independence, and matchings
Published
• View Publication
• BIB
A dissociation set in a graph is a set of vertices inducing a subgraph of maximum degree at most $1$. Computing the dissociation number ${\rm diss}(G)$ of a given graph $G$, defined as the order of a maximum dissociation set in $G$, is algorithmically hard even when $G$ is restricted to be bipartite. Recently, Hosseinian and Butenko proposed a simple $\frac{4}{3}$-approximation algorithm for the dissociation number problem in bipartite graphs. Their result relies on the inequality ${\rm diss}(G)\leq\frac{4}{3}α(G-M)$ implicit in their work, where $G$ is a bipartite graph, $M$ is a maximum matching in $G$, and $α(G-M)$ denotes the independence number of $G-M$. We show that the pairs $(G,M)$ for which this inequality holds with equality can be recognized efficiently, and that a maximum dissociation set can be determined for them efficiently. The dissociation number of a graph $G$ satisfies $\max\{ α(G),2ν_s(G)\} \leq {\rm diss}(G)\leq α(G)+ν_s(G)\leq 2α(G)$, where $ν_s(G)$ denotes the induced matching number of $G$. We show that deciding whether ${\rm diss}(G)$ equals any of the four terms lower and upper bounding ${\rm diss}(G)$ is NP-hard.
Chordal directed graphs are not $χ$-bounded
Published
• View Publication
• BIB
We show that digraphs with no transitive tournament on $3$ vertices and in which every induced directed cycle has length $3$ can have arbitrarily large dichromatic number. This answers to the negative a question of Carbonero, Hompe, Moore, and Spirkl (and extends some of their results).
A New Temporal Interpretation of Cluster Editing
Published in Journal of Computer and System Sciences, Vol. 144, 2024, 103551
• View Publication
• BIB
The NP-complete graph problem Cluster Editing seeks to transform a static graph into a disjoint union of cliques by making the fewest possible edits to the edges. We introduce a natural interpretation of this problem in temporal graphs, whose edge sets change over time. This problem is NP-complete even when restricted to temporal graphs whose underlying graph is a path, but we obtain two polynomial-time algorithms for restricted cases. In the static setting, it is well-known that a graph is a disjoint union of cliques if and only if it contains no induced copy of $P_3$; we demonstrate that no general characterisation involving sets of at most four vertices can exist in the temporal setting, but obtain a complete characterisation involving forbidden configurations on at most five vertices. This characterisation gives rise to an FPT algorithm parameterised simultaneously by the permitted number of modifications and the lifetime of the temporal graph.
Hypergraph Fuss-Catalan Numbers
The Catalan numbers $C_n$ are an extremely well-studied sequence of numbers that appear as the answer to many combinatorial problems. Two generalizations of these numbers that have been studied are the Fuss-Catalan numbers and the Hypergraph Catalan numbers. In this paper, we study the combination of these, the Hypergraph Fuss-Catalan numbers. We provide some combinatorial interpretations of these numbers, as well as describe their generating function.
Sumsets and Veronese varieties
Published
• View Publication
• BIB
In this paper, to any subset $\mathcal{A} \subset \mathbb{Z}^{n}$ we explicitly associate a unique monomial projection $Y_{n,d_{\mathcal{A}}}$ of a Veronese variety, whose Hilbert function coincides with the cardinality of the $t$-fold sumsets $t\mathcal{A}$. This link allows us to tackle the classical problem of determining the polynomial $p_{\mathcal{A}} \in \mathbb{Q}[t]$ such that $|t\mathcal{A}| = p_{\mathcal{A}}(t)$ for all $t \geq t_0$ and the minimum integer $n_0(\mathcal{A}) \leq t_0$ for which this condition is satisfied, i.e. the so-called {\em phase transition} of $|t\mathcal{A}|$. We use the Castelnuovo--Mumford regularity and the geometry of $Y_{n,d_{\mathcal{A}}}$ to describe the polynomial $p_{\mathcal{A}}(t)$ and to derive new bounds for $n_0(\mathcal{A})$ under some technical assumptions on the convex hull of $\mathcal{A}$; and vice versa we apply the theory of sumsets to obtain geometric information of the varieties $Y_{n,d_{\mathcal{A}}}$.
Fusions of the generalized Hamming scheme on a strongly-regular graph
Published
• View Publication
• BIB
In this paper we show that for any fusion $\mathcal{B}$ of an association scheme $\mathcal{A}$, the generalized Hamming scheme $H(n,\mathcal{B})$ is a nontrivial fusion of $H(n,\mathcal{A})$. We analyze the case where $\mathcal{A}$ is the association scheme on a strongly-regular graph, and determine the parameters of all strongly-regular graphs for which the generalized Hamming scheme, $H(2,\mathcal{A})$, has extra fusions, in addition to the one arising from the trivial fusion of $\mathcal{A}$.
Combinatorial Gray codes-an updated survey
A combinatorial Gray code for a class of objects is a listing that contains each object from the class exactly once such that any two consecutive objects in the list differ only by a `small change'. Such listings are known for many different combinatorial objects, including bitstrings, combinations, permutations, partitions, triangulations, but also for objects defined with respect to a fixed graph, such as spanning trees, perfect matchings or vertex colorings. This survey provides a comprehensive picture of the state-of-the-art of the research on combinatorial Gray codes. In particular, it gives an update on Savage's influential survey [C. D. Savage. A survey of combinatorial Gray codes. SIAM Rev., 39(4):605--629, 1997.], incorporating many more recent developments. We also emphasize the connections to closely related problems in graph theory, algebra, order theory, geometry and algorithms, which embeds this research area into a broader context. Lastly, we collect and propose a number of challenging research problems, thus stimulating new research endeavors.
Sidon sets in a union of intervals
Published
• View Publication
• BIB
We study the maximum size of Sidon sets in unions of integers intervals. If $A\subseteq\mathbb{N}$ is the union of two intervals and if $\left| A \right|=n$ (where $\left| A \right|$ denotes the cardinality of $A$), we prove that $A$ contains a Sidon set of size at least $0, 876\sqrt{n}$. On the other hand, by using the small differences technique, we establish a bound of the maximum size of Sidon sets in the union of $k$ intervals.
Webs and canonical bases in degree two
Published
• View Publication
• BIB
We show that Lusztig's canonical basis for the degree two part of the Grassmannian coordinate ring is given by SL(k) web diagrams. Equivalently, we show that every SL(2) web immanant of a plabic graph for Gr(k,n) is an SL(k) web invariant.
Tight Cuts in Bipartite Grafts I: Capital Distance Components
This paper is the first from a series of papers that provide a characterization of maximum packings of $T$-cuts in bipartite graphs. Given a connected graph, a set $T$ of an even number of vertices, and a minimum $T$-join, an edge weighting can be defined, from which distances between vertices can be defined. Furthermore, given a specified vertex called root, vertices can be classified according to their distances from the root, and this classification of vertices can be used to define a family of subgraphs called {\em distance components}. Sebö provided a theorem that revealed a relationship between distance components, minimum $T$-joins, and $T$-cuts. In this paper, we further investigate the structure of distance components in bipartite graphs. Particularly, we focus on {\em capital} distance components, that is, those that include the root. We reveal the structure of capital distance components in terms of the $T$-join analogue of the general Kotzig-Lovász canonical decomposition.
Playing impartial games on a simplicial complex as an extension of the emperor sum theory
In this paper, we considered impartial games on a simplicial complex. Each vertex of a given simplicial complex acts as a position of an impartial game. Each player in turn chooses a face of the simplicial complex and, for each position on each vertex of that face, the player can make an arbitrary number of moves. Moreover, the player can make only a single move for each position on each vertex, not on that face. We show how the P-positions of this game can be characterized using the P-position length. This result can be considered an extension of the emperor sum theory. While the emperor sum only allowed multiple moves for a single component, this study examines the case where multiple moves can be made for multiple components, and clarifies areas that the emperor sum theory did not cover.
The combinatorics of hopping particles and positivity in Markov chains
The asymmetric simple exclusion process (ASEP) is a model for translation in protein synthesis and traffic flow; it can be defined as a Markov chain describing particles hopping on a one-dimensional lattice. In this article I give an overview of some of the connections of the stationary distribution of the ASEP to combinatorics (tableaux and multiline queues) and special functions (Askey-Wilson polynomials, Macdonald polynomials, and Schubert polynomials). I also make some general observations about positivity in Markov chains.
On the cozero-divisor graphs assosciated to rings
Published in AKCE International Journal of Graphs and Combinatorics, 2022
• View Publication
• BIB
Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$, denoted by $Γ'(R)$, is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. In this paper, first we study the Laplacian spectrum of $Γ'(\mathbb{Z}_n)$. We show that the graph $Γ'(\mathbb{Z}_{pq})$ is Laplacian integral. Further, we obtain the Laplacian spectrum of $Γ'(\mathbb{Z}_n)$ for $n = p^{n_1}q^{n_2}$, where $n_1, n_2 \in \mathbb{N}$ and $p, q$ are distinct primes. In order to study the Laplacian spectral radius and algebraic connectivity of $Γ'(\mathbb{Z}_n)$, we characterized the values of $n$ for which the Laplacian spectral radius is equal to the order of $Γ'(\mathbb{Z}_n)$. Moreover, the values of $n$ for which the algebraic connectivity and vertex connectivity of $Γ'(\mathbb{Z}_n)$ coincide are also described. At the final part of this paper, we obtain the Wiener index of $Γ'(\mathbb{Z}_n)$ for arbitrary $n$.