Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The non-backtracking transition probability matrix and its usage for node clustering
Relation between the real eigenvalues of the non-backtracking matrix and those of the non-backtracking Laplacian is considered with respect to node clustering. For this purpose we use the real eigenvalues of the transition probability matrix (when the random walk goes through the oriented edges with the rule of ``not going back in the next step'') which have a linear relation to those of the non-backtracking Laplacian of Jost and Mulas. ``Inflation--deflation'' techniques are also developed for clustering the nodes of the non-backtracking graph. With further processing, it leads to the clustering of the nodes of the original graph, which usually comes from a sparse stochastic block model of Bordenave and Decelle.
Skein relations on punctured surfaces
This thesis studies skein relations in cluster algebras arising from punctured surfaces. We introduce skein-type identities expressing cluster variables associated with incompatible curves on a surface in terms of cluster variables corresponding to compatible arcs. Incompatibility arises from phenomena such as intersections, self-intersections, and opposite taggings at punctures. To establish these identities, we develop a combinatorial-algebraic framework that relates loop graphs to certain representations. These skein relations can then be applied to investigate structural properties of cluster algebras from punctured surfaces. In particular, they can be used to prove the existence of bases satisfying natural positivity and compatibility conditions. This extends existing work on surface cluster algebras by incorporating punctures in the interior of the surface, thereby enlarging the class of cluster algebras for which such skein relations and bases can be constructed.
$x$ Plays Pokemon, for Almost-Every $x$
This paper provides a brief write-up showing that for any finite state game, a disjunctive number $x$ will eventually win that game. The proof techniques here are well known and this result follows immediately from folklore results in graph theory and cellular automata. This short paper primarily serves as an expositional piece to collect this proof with the fun context of $π$ Plays Pokémon serving as motivation.
Graph Limits via Quotients
We present a new notion of limits of weighted directed graphs of growing size based on convergence of their random quotients. These limits are specified in terms of random exchangeable measures on the unit square. We call our limits grapheurs and show that these are dual to graphons in a precise sense. Grapheurs are well-suited to modeling global structure in large graphs such as hubs and connections between them; previous notions of graph limits based on subgraph densities fail to adequately model such global structure as subgraphs are inherently local. Using our framework, we characterize properties of large graphs that are continuous with respect to our limits and present an edge-based sampling approach for testing them. This method relies on an edge-based analog of the Szemerédi regularity lemma, whereby we show that sampling a constant number of edges from an arbitrarily-large graph approximately preserves its quotients. Finally, we observe that the random quotients of a graph are related to each other by equipartitions, and we conclude with a characterization of such random graph models.
On extremal graphs with respect to the ABS index
Recently, Ali et al. posed several open problems concerning extremal graphs with respect to the ABS index. These problems involve characterizing graphs that attain the maximum ABS index within specific graph classes, including: connected graphs with n vertices and p cut-vertices; (ii) connected graphs of order n with vertex k-partiteness; and (iii) connected bipartite graphs of order n with a fixed vertex connectivity κ. In this paper, we provide complete solutions to all of these problems.
Extremal $ABS$ Spectral Radius in Bicyclic and Bipartite Unicyclic Graphs
The ABS spectral radius of a graph G is defined as the largest eigenvalue of its $ABS$ matrix. Motivated by recent studies on this parameter, in this paper, we determine the bipartite unicyclic graphs that attain the largest $ABS$ spectral radius. Furthermore, we characterize the bicyclic graphs that attain the largest and the second largest $ABS$ spectral radii.
Quantum $K$-theoretic Whitney relations for type $C$ flag manifolds
We study relations of $λ_{y}$-classes associated to tautological bundles over the flag manifold of type $C$ in the quantum $K$-ring. These relations are called the quantum $K$-theoretic Whitney relations. The strategy of the proof of the quantum $K$-theoretic Whitney relations is based on the method of semi-infinite flag manifolds and the Borel-type presentation. In addition, we observe that the quantum $K$-theoretic Whitney relations give a complete set of the defining relations of the quantum $K$-ring. This gives a presentation of the quantum $K$-ring of the flag manifold of type $C$, called the Whitney-type presentation, as a quotient of a polynomial ring, different from the Borel-type presentation.
Chamber zeta function and closed galleries in the standard non-uniform complex from $\operatorname{PGL}_3$
We introduce the \emph{chamber zeta function} for a complex of groups, defined via an Euler product over primitive tailless chamber galleries, extending the Ihara--Bass framework from weighted graphs to higher-rank settings. Let $\mathcal{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_{3}(F)$ for a non-archimedean local field $F$ with residue field $\mathbb{F}_{q}$. For the standard arithmetic quotient $Γ\backslash\mathcal{B}$ with $Γ=\mathrm{PGL}_{3}(\mathbb{F}_{q}[t])$, we prove an Ihara--Bass type \emph{determinant formula} expressing the chamber zeta function as the reciprocal of a characteristic polynomial of a naturally defined chamber transfer operator. In particular, the chamber zeta function is \emph{rational} in its complex parameter. As an application of the determinant formula, we obtain explicit counting results for closed gallery classes arising from tailless galleries in $\mathcal{B}$, including exact identities and spectral asymptotics governed by the chamber operator.
Schur--Weyl duality for diagonalizing a Markov chain on the hypercube
We show how the tools of modern algebraic combinatorics -- representation theory, Murphy elements, and particularly Schur--Weyl duality -- can be used to give an explicit orthonormal basis of eigenfunctions for a "curiously slowly mixing Markov chain" on the space of binary $n$-tuples. The basis is used to give sharp rates of convergence to stationarity.
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
A celebrated but non-effective theorem of Tibor Gallai states that for any finite set $A$ of $\Z^n$ and for any finite number of colors $c$ there is a minimal $m$ such that no coloring of the finite $m^n$-grid can avoid that a homothetic image of $A$ is monochromatic. We find (or confirm) $m$ for equilateral triangles, squares, and various types of rectangles. Also, we extend the problem from homothety to general similarity, or to similarity generated using some special rotations. In particular, we compute Gallai similarity numbers for lattice rectangles similar to $1\times k$ (in all orientations) for $k=2,3,4$. The solutions have been found in the framework of the Satisfiability Problem in Propositional Logic (SAT). While some questions were solved using managed brute force, for the more computationally intensive questions we used modern SAT solvers together with symmetry breaking techniques. Some other minor questions are solved for triangles and squares, and new lower bounds are found for regular hexagons on the triangular lattice and for three-dimensional cubes in $\Z^3$.
Extremal results on Berge disjoint paths
The well-known Erdős-Gallai Theorem gave the Turán number of paths. Bushaw and Kettle generalized this result to consider the Turán number of disjoint paths. Since then, many studies are focused on the Turán number of linear forest. For a graph $F$, an $r$-uniform hypergraph $\mathcal{H}$ is a $\text{Berge-} F$ if there is a bijection $φ: E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for each $e\in E(F)$. When $F$ is a path, we call $\text{Berge-} F$ a Berge path. The Turán number of Berge paths was initially studied by Győri, Katona and Lemons. They gave the value of $\text{ex}_r(n,\text{Berge-}P_\ell)$ for $\ell>r+1$. This result is a generalization of Erdős-Galli Theorem. Since then, the Turán number of Berge paths has received widespread attention.
Recently, Zhou, Gerbner and Yuan initially studied the Turán number of Berge disjoint paths and for the cases when all the paths have odd length. In this paper, we give a more general result, which gives the exact value of $\mathrm{ex}_r(n,\text{Berge-} kP_{\ell})$ for all $k\geq 2$, $r\ge 3$, and $\ell\geq r+7$.
Extremal orthogonal arrays
It is known that a Delsarte $t$-design in a $Q$-polynomial association scheme has degree at least $\left \lceil{\frac{t}{2}}\right \rceil $. Following Ionin and Shrikhande who studied combinatorial $(2s-1)$-designs (i.e., Delsarte designs in Johnson association schemes) having exactly $s$ block intersection numbers, we call a Delsarte $(2s-1)$-design with degree $s$ extremal and study extremal orthogonal arrays, which are Delsarte designs in Hamming association schemes.
It was shown by Delsarte that a $t$-design with degree $s$ and $t\geq 2s-2$ in a Hamming association scheme induces an $s$-class association scheme. We prove that an extremal orthogonal array gives rise to a fission scheme of the latter one, which has $2s-1$ or $2s$ classes. As a corollary, a new necessary condition for the existence of tight orthogonal arrays of strength $3$ is obtained.
Furthermore, as a counterpart to a result of Ionin and Shrikhande, we prove an inequality for Hamming distances in extremal orthogonal arrays. The inequality is tight as shown by examples related to the Golay codes.
Identifying faulty edges in resistive electrical networks
Given a resistive electrical network, we would like to determine whether all the resistances (edges) in the network are working, and if not, identify which edge (or edges) are faulty. To make this determination, we are allowed to measure the effective resistance between certain pairs of nodes (which can be done by measuring the amount of current when one unit of voltage difference is applied at the chosen pair of nodes). The goal is to determine which edge, if any, is not working in the network using the smallest number of measurements. We prove rigorous upper and lower bounds on this optimal number of measurements for different classes of graphs. These bounds are tight for several of these classes showing that our measurement strategies are optimal.
Coloring Hardness on Low Twin-Width Graphs
As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph problems, like Max Independent Set, Dominating Set, Hamiltonian Cycle, remain so on $\mathcal T_4$. However, Min Coloring and k-Coloring are easy on both families because they are 2-colorable and 3-colorable, respectively.
We show that Min Coloring is NP-hard on the class $\mathcal T_3$ of graphs of twin-width at most 3. This is the first hardness result on $\mathcal T_3$ for a problem that is easy on cographs (twin-width 0), on trees (whose twin-width is at most 2), and on unit circular-arc graphs (whose twin-width is at most 3). We also show that for every $k \geqslant 3$, k-Coloring is NP-hard on $\mathcal T_4$. We finally make two observations: (1) there are currently very few problems known to be in P on $\mathcal T_d$ (graphs of twin-width at most $d$) and NP-hard on $\mathcal T_{d+1}$ for some nonnegative integer $d$, and (2) unlike $\mathcal T_4$, which contains every graph as an induced minor, the class $\mathcal T_3$ excludes a fixed planar graph as an induced minor; thus it may be viewed as a special case (or potential counterexample) for conjectures about classes excluding a (planar) induced minor. These observations are accompanied by several open questions.
The Minimum Subgraph Complementation Problem
Subgraph complementation is an operation that toggles all adjacencies inside a selected vertex set. Given a graph \(G\) and a target class \(\mathcal{C}\), the Minimum Subgraph Complementation problem asks for a minimum-size vertex set \(S\) such that complementing the subgraph induced by \(S\) transforms \(G\) into a graph belonging to \(\mathcal{C}\). While the decision version of Subgraph Complementation has been extensively studied and is NP-complete for many graph classes, the algorithmic complexity of its optimization variant has remained largely unexplored.
In this paper, we study MSC from an algorithmic perspective. We present polynomial-time algorithms for MSC in several nontrivial settings. Our results include polynomial-time solvability for transforming graphs between bipartite, co-bipartite, and split graphs, as well as for complementing bipartite regular graphs into chordal graphs. We also show that MSC to the class of graphs of fixed degeneracy can be solved in polynomial time when the input graph is a forest. Moreover, we investigate MSC with respect to connectivity and prove that MSC to the class of disconnected graphs and to the class of 2-connected graphs can be solved in polynomial time for arbitrary inputs.
A Discrete Logarithm Construction for Orthogonal Double Covers of the Complete Graph by Hamiltonian Paths
During their investigation of power-sequence terraces, Anderson and Preece briefly mention a construction of a terrace for the cyclic group $\mathbb{Z}_n$ when $n$ is odd and $2n+1$ is prime; it is built using the discrete logarithm modulo $2n+1$. In this short note we see that this terrace gives rise to an orthogonal double cover (ODC) for the complete graph $K_n$ by Hamiltonian paths. This gives infinitely many new values for which such an ODC is known.
A new kind of automorphic form and a proof of the essential transformation laws
We utilize the structure of quasiautomorphic forms over an arbitrary Hecke triangle group to define a new vector analogue of an automorphic form. We supply a proof of the functional equations that hold for these functions modulo the group generators.
Hoffman-London graphs: When paths minimize $H$-colorings among trees
Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. The number of $H$-colorings of $G$, $\hom(G,H)$, has been studied for many classes of $G$ and $H$. In particular, extremal questions of maximizing and minimizing $\hom(G,H)$ have been considered when $H$ is a clique or $G$ is a tree.
In this paper, we develop a new technique using automorphisms of $H$ to show that $\hom(T,H)$ is minimized by paths as $T$ varies over trees on a fixed number of vertices. We introduce the term Hoffman-London to refer to graphs that are minimal in this sense. In particular, we define an automorphic similarity matrix which is used to compute $\hom(T,H)$ and give matrix conditions under which $H$ is Hoffman-London.
We then apply this technique to identify several families of graphs that are Hoffman-London, including loop threshold graphs and some with applications in statistical physics (e.g. the Widom-Rowlinson model). By combining our approach with a few other observations, we fully characterize the minimizing trees for all graphs $H$ on three or fewer vertices.
Multigraphs and Time Ordered Isserlis-Wick formulae
Given a m-dimensional Gaussian process and polynomial m variables with real coefficients, we calculate the induced path odered exponenial in two different ways: one is purely algebraic in spirit and the other one is diagrammatic in spirit and uses multigraph labelings (and is inspired by the use of Feynman diagrams in quantum field theory).
Powers of Hamiltonian cycles in randomly augmented Pósa-Seymour graphs
We study the question of the least number of random edges that need to be added to a Pósa-Seymour graph, that is, a graph with minimum degree exceeding $\frac k{k+1}n$, to secure the existence of the $m$-th power of a Hamiltonian cycle, $m>k$. It turns out that, depending on $k$ and $m$, this quantity may be captured by two types of thresholds, with one of them, called over-threshold, becoming dominant for large $m$. Indeed, for each $k\ge2$ and $m>m_0(k)$, we establish asymptotically tight lower and upper bounds on the over-thresholds (provided they exist) and show that for infinitely many instances of $m$ the two bounds coincide. In addition, we also determine the thresholds for some small values of $k$ and $m$.