graph
34516 papers tagged with this keyword
Stem-Symmetry, Comb Products, and their Relation to Amoeba Graphs
Local and global amoebas are families of labeled graphs that satisfy interpolation properties on a fixed vertex set. A labeled graph $G$ on $n$ vertices is a local amoeba (resp. global amoeba) if there exists a sequence of feasible edge-replacements between any two labelled embeddings of $G$ into $K_n$ (resp. $K_{n+1}$). Here, a feasible edge-replacement removes an edge and reinserts it so that the resulting graph is isomorphic to $G$; the induced relabeling yields a class of permutations of the label set. Motivated by classical group theoretic ideas, we introduce the hang group, a new invariant that can encode how local amoebas embed into larger ones. Using this framework, we identify necessary and sufficient conditions connecting stem-symmetric and hang-symmetric graphs with local and global amoebas. In particular, we show how hang-symmetry and stem-symmetry conditions propagate under the addition of leaves and isolated vertices, in turn yielding constructive criteria for both local and global amoebas. Finally, via wreath products, we provide four sets of sufficient conditions, one for each property, guaranteeing when the comb product is a local amoeba, a global amoeba, stem-symmetric, or hang-symmetric. These results strengthen and generalize existing constructions of local and global amoebas.
On Grundy indices for complete geometric graphs
The pseudo-Grundy index of a graph is the largest number of colors that can be assigned to its edges, such that for every pair of colors $i,j$, if $i < j$ then every edge colored with color $j$ is adjacent to at least one edge colored with color $i$. This index has been widely studied. A geometric graph is a graph drawn in the plane such that its vertices are points in general position, and its edges are straight-line segments. In this paper, we extend the notion of pseudo-Grundy index for geometric graphs, and present results for complete geometric graphs.
Parity patterns meet Genocchi numbers, I: four labelings and three bijections
Hetyei introduced in 2019 the homogenized Linial arrangement and showed that its regions are counted by the median Genocchi numbers. In the course of devising a different proof of Hetyei's result, Lazar and Wachs considered another hyperplane arrangement that is associated with certain bipartite graph called Ferrers graph. We bijectively label the regions of this latter arrangement with permutations whose ascents are subject to a parity restriction. This labeling not only establishes the equivalence between two enumerative results due to Hetyei and Lazar-Wachs, repectively, but also motivates us to derive and investigate a Seidel-like triangle that interweaves Genocchi numbers of both kinds.
Applying similar ideas, we introduce three more variants of permutations with analogous parity restrictions. We provide labelings for regions of the aforementioned arrangement using these three sets of restricted permutations as well. Furthermore, bijections from our first permutation model to two previously known permutation models are established.
On the Algebraic Bases of Polyzetas
Two confluent rewriting systems in noncommutatives polynomials are constructed using the equations allowing the identification of the local coordinates (of second kind) of the graphs of the $ζ$ polymorphism as being (shuffle or quasi-shuffle) characters and bridging two algebraic structures of polyzetas. In each system, the left side of each rewriting rule corresponds to the leading monomial of the associated homogeneous in weight polynomial while the right side is canonically represented on the Q-algebra generated by irreducible terms which encode an algebraic basis of the Q-algebra of polyzetas. These polynomials are totally lexicographically ordered and generate the kernels of the $ζ$ polymorphism meaning that the Q-free algebra of polyzetas is graded and the irreducible polyzetas are transcendent numbers, Q-algebraically independent, and then $π$ 2 is Q-algebraically independent on odd zeta values (so does $π$).
Hyperlogarithms: Functions on Free Monoids
To factorize and to decompose the graphs of representative functions on the free monoid X * (generated by the alphabet X ) with values in the ring A containing Q, we examine various products of series (as concatenation, shuffle and its $φ$ -deformations) and co-products, which are such that their associated non graded bialgebras are isomorphic, for A is a field K, to the Sweedler's dual of the graded noncommutative co-commutative K-bialgebra of polynomials.
Skeletons and Spectra: Bernoulli graphings are relatively Ramanujan
The aim of this paper is to investigate the spectral theory of unimodular random graphs and graphings representing them. We prove that Bernoulli graphings are relatively Ramanujan with respect to their skeleton Markov chain. That is, the part of their spectrum that comes from the random labels falls within the appropriate Alon-Boppana bound. This result complements an example due to Frączyk of an ergodic unimodular random graph with almost sure spectral gap but non-expanding Bernoulli graphing.
We also highlight connections of our work with the theory of finite random graphs. Exploiting the result of Bordenave and Collins on random lifts being relatively almost Ramanujan, we prove a strengthening of our main theorem for unimodular quasi-transitive quasi-trees.
The Maker-Breaker directed triangle game
In this work, we investigate Maker-Breaker directed triangle games -- a directionally constrained variant of the classical Maker-Breaker triangle game. Our board of interest is a tournament, and the winning sets constitute all directed triangles ($3$-cycles) present in the tournament. We begin by studying the Maker-Breaker directed triangle game played on a specially defined tournament called the parity tournament, and we identify the board size threshold to be $n=7$, which is to say that if the size (i.e.\ the number of vertices) of the parity tournament equals $n$, Breaker has a winning strategy for $3\leq n< 7$, while Maker can ensure a win for herself for $n\geq 7$. For the $(1:b)$ biased version of this game, we prove that the bias threshold $b^*(n)$ satisfies $\sqrt{\left(1/12+o(1)\right)\ n}\leq b^{*}(n) \leq\sqrt{\left(8/3+o(1)\right)\ n}$, which matches the order of magnitude (\ $\sqrt{n}$) of the bias threshold for the undirected counterpart of this game. Next, we consider the game on random tournaments $T(n,p)$ with labeled vertices $1,2,\ldots,n$, such that the edge between $i$ and $j$, for each $i<j$, is directed from $i$ towards $j$ with probability $p$, independent of all else. We prove that Maker wins this game with probability approaching $1$ as $n \to \infty$ for any fixed $p \in (0,1)$. Extending the notion of `bias' from undirected games to our directed framework, we introduce the $(1: κ(n))$ flip-biased Maker-Breaker directed triangle game on the parity tournament, where we allow Breaker to strategically flip the directions of a fixed number of edges $κ(n)$ before the game begins. We show that the flip-bias threshold $κ^*(n)$ is asymptotically equal to $n^2/4$ as $n \to \infty$. This work opens up the possibility of studying a variety of directionally constrained Maker-Breaker positional games on tournaments (and more generally, on directed graphs).
Some progress on $t$-tone coloring
A $t$-tone coloring of a graph $G$ assigns to each vertex a set of $t$ colors such that any pair of vertices $u, v$ with distance $d$ can share at most $d-1$ colors. In this note, we prove several new results on $t$-tone coloring. For example we prove a new result for trees of large maximum degree, as well as some results for the cartesian power of a graph. We also make a conjecture about trees.
Quasi perfect codes in the cartesian product of some graphs
An important question in the study of quasi-perfect codes is whether such codes can be constructed for all possible lengths $n$. In this paper, we address this question for specific values of $n$. First, we investigate the existence of quasi-perfect codes in the Cartesian product of a graph $G$ and a path (or cycle), assuming that $G$ admits a perfect code. Second, we explore quasi-perfect codes in the Cartesian products of two or three cycles, $C_m\square C_n$ and $C_m\square C_n\square C_l$, as well as in the Cartesian products of two or three paths, $P_m\square P_n$ and $P_m\square P_n\square P_l$.
Algebraic Constructions of Universal Cycles on Grassmannians G_q(2,n)
We study universal cycles on the Grassmannian $G_q(2,n)$, the set of $2$-dimensional $\mathbb{F}_q$-subspaces of $\mathbb{F}_q^n$. While their existence is known from inductive and Eulerian graph methods, we give a direct algebraic construction when $n$ is odd under the coprimality condition $\gcd(n,\,q(q^2-1))=1$, using a projective-ratio decomposition and a global product condition. We also present explicit examples where a single cycle is simultaneously universal for both $G_q(2,5)$ and $G_q(3,5)$, realizing Grassmannian duality $|G_q(k,n)|=|G_q(n-k,n)|$ at the level of universal cycles.
Forbidding the subdivided claw as a subgraph or a minor
Let $Y$ be the subdivided claw, the $7$-vertex tree obtained from a claw $K_{1,3}$ by subdividing each edge exactly once. We characterize the graphs (finite and infinite) that do not have $Y$ as a subgraph, or, equivalently, do not have $Y$ as a minor. This work was motivated by a problem involving VCD minors. A graph $H$ is a vertex contraction-deletion minor, or VCD minor, of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions or contractions of all edges incident with a single vertex. Our result is a key step in describing $K_{1,3}$-VCD-minor-free line graphs. We also characterize graphs that forbid each subtree of $Y$. We discuss the relevance of our results for Turán. numbers of trees, and pathwidth and growth constants for graphs without a particular tree as a minor.
Non-separable graphs meet Ledoux's polynomials
In the pathbreaking article \cite{LED16}, an integral representation of the derivatives of entropy along the heat flow of a probability measure was established under suitable moment conditions. These integral representations have found significant applications in diverse domains - notably in information theory (e.g., entropy power inequalities, monotonicity of Fisher information) and in estimation theory (through the link between entropy derivatives and the minimum mean square error, MMSE, in Gaussian channels). The representations involve multivariate polynomials $(R_n)_n$, arising from a Lie algebra framework on multilinear operators. Despite their central role, the combinatorial structure of these polynomials remains only partially understood. In this note, we prove that the number of monomials in $R_n$ coincides with the number of degree sequences with degree sum $2n$ having a non-separable graph realization, thereby resolving a conjecture from \cite{MPS24}, and drawing an interesting link between these two domains.
On the expressivity of sparse maxout networks
We study the expressivity of sparse maxout networks, where each neuron takes a fixed number of inputs from the previous layer and employs a, possibly multi-argument, maxout activation. This setting captures key characteristics of convolutional or graph neural networks. We establish a duality between functions computable by such networks and a class of virtual polytopes, linking their geometry to questions of network expressivity. In particular, we derive a tight bound on the dimension of the associated polytopes, which serves as the central tool for our analysis. Building on this, we construct a sequence of depth hierarchies. While sufficiently deep sparse maxout networks are universal, we prove that if the required depth is not reached, width alone cannot compensate for the sparsity of a fixed indegree constraint.
Stranding $\mathfrak{sl}_n$ webs
Webs are a kind of planar, directed, edge-labeled graph that encode invariant vectors for quantum representations of $\mathfrak{sl}_n$. The theory of webs developed organically for $\mathfrak{sl}_2$, where they are also known as noncrossing matchings and the Temperley-Lieb algebra, before being formalized by Kuperberg for $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$ as the morphisms in a diagrammatic categorification of quantum representations called the spider category. Various models extend webs to $n \geq 4$. Only Cautis-Kamnitzer-Morrison prove a full set of relations for their webs, though Fontaine's webs are better adapted to computations, more graph-theoretically natural, and directly generalize webs for $n=2$ and $n=3$.
This paper formalizes the theory of Fontaine's webs, proving the existence of a deep and powerful global structure on these webs called strandings. We do three key things: 1) give a state-sum formula to construct ($U_q(\mathfrak{sl}_n)$-invariant) web vectors from the orientation of strandings on Fontaine's webs; 2) list and prove a complete set of relations, connecting strandings to the local data of binary labelings that are well-established in the literature; and 3) provide applications and examples of how strandings facilitate computations.
Thin Trees via $k$-Respecting Cut Identities
Thin spanning trees lie at the intersection of graph theory, approximation algorithms, and combinatorial optimization. They are central to the long-standing \emph{thin tree conjecture}, which asks whether every $k$-edge-connected graph contains an $O(1/k)$-thin tree, and they underpin algorithmic breakthroughs such as the $O(\log n/\log\log n)$-approximation for ATSP. Yet even the basic algorithmic task of \emph{verifying} that a given tree is thin has remained elusive: checking thinness requires reasoning about exponentially many cuts, and no efficient certificates have been known.
We introduce a new machinery of \emph{$k$-respecting cut identities}, which express the weight of every cut that crosses a spanning tree in at most $k$ edges as a simple function of pairwise ($2$-respecting) cuts. This yields a tree-local oracle that, after $O(n^2)$ preprocessing, evaluates such cuts in $O_k(1)$ time. Building on this oracle, we give the first procedure to compute the exact $k$-thinness certificate $Θ_k(T)$ of any spanning tree for fixed $k$ in time $\tilde O(n^2+n^k)$, outputting both the certificate value and a witnessing cut.
Beyond general graphs, our framework yields sharper guarantees in structured settings. In planar graphs, duality with cycles and dual girth imply that every spanning tree admits a verifiable certificate $Θ_k(T)\le k/λ$ (hence $O(1/λ)$ for constant $k$). In graphs embedded on a surface of genus $γ$, refined counting gives certified (per-cut) bounds $O((\log n+γ)/λ)$ via the same ensemble coverage.
Metric Dimension of Generalized Theta Graphs
A vertex $w$ in a graph $G$ is said to resolve two vertices $u$ and $v$ if $d(w,u)\neq d(w, v)$. A set $W$ of vertices is a resolving set for $G$ if every pair of distinct vertices is resolved by some vertex in $W$. The metric dimension of $G$ is the minimum cardinality of such a set. In this paper, we investigate the metric dimension of generalized theta graphs, providing exact values and structural insights for several subclasses.
A note on the number of non-cycle components in a pseudo 2-factor of graphs
A pseudo 2-factor of a graph is a spanning subgraph such that each component is $K_1$, $K_2$, or a cycle. This notion was introduced by Bekkai and Kouider in 2009, where they showed that every graph $G$ has a pseudo 2-factor with at most $α(G)-δ(G)+1$ components that are not cycles. For a graph $G$ and a set of vertices $S$, let $δ_G(S)$ denote the minimum degree of vertices in $S$. In this note, we show that every graph $G$ has a pseudo 2-factor with at most $f(G)$ components that are not cycles, where $f(G)$ is the maximum value of $|I|-δ_G(I)+1$ among all independent sets $I$ of $G$. This result is a common generalization of a result by Bekkai and Kouider and a previous result by the author on the existence of a 2-factor.
Completions of pairwise comparison data that minimize the triad measure of inconsistency
We consider incomplete pairwise comparison matrices and determine exactly when they have a consistent completion and, if not, when they have a nearly consistent completion. We use the maximum 3-cycle product as a measure of inconsistency and show that, when the graph of the specified entries is chordal, a completion in which this measure is not increased is always possible. Methodology to produce such completions is developed. Such methodology may also be used to reduce inconsistency with few changes of comparisons.
Strong convergence: a short survey
A family of random matrices is said to converge strongly to a limiting family of operators if the operator norm of every noncommutative polynomial of the matrices converges to that of the limiting operators. Recent developments surrounding the strong convergence phenomenon have led to new progress on important problems in random graphs, geometry, operator algebras, and applied mathematics. We review classical and recent results in this area, and their applications to various areas of mathematics.
Unimodular toric ideals of graphs
We give a necessary and sufficient graph-theoretic characterization of toric ideals of graphs that are unimodular. As a direct consequence, we provide the structure of unimodular graphs by proving that the incidence matrix of a graph $G$ is unimodular if and only if any two odd cycles of $G$ intersect.