Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Finite graphs and configurations of points
Published
• View Publication
• BIB
We generalize the Atiyah problem on configurations and the related Atiyah--Sutcliffe conjectures 1 and 2 using finite graphs, configurations of points and tensors. Our conjectures are intriguing geometric inequalities, defined using the pairwise directions of the configuration of points, just as in the original problem. The generalization of the Atiyah determinant to our setting is no longer a determinant. We call it the $G$-amplitude function, where $G$ is a finite simple graph, in analogy with probability amplitudes in quantum physics. If $G = K_n$ is the complete graph with $n$ vertices, we recover the Atiyah--Sutcliffe conjectures 1 and 2.
Generating the Spanning Trees of Series-Parallel Graphs up to Graph Automorphism
In this paper, we investigate the problem of generating the spanning trees of a graph $G$ up to the automorphisms or "symmetries" of $G$. After introducing and surveying this problem for general input graphs, we present algorithms that fully solve the case of series-parallel graphs, under two standard definitions. We first show how to generate the nonequivalent spanning trees of a oriented series-parallel graph $G$ in output-linear time, where both terminals of $G$ have been individually distinguished (i.e. applying an automorphism that exchanges the terminals produces a different series-parallel graph). Subsequently, we show how to adapt these oriented algorithms to the case of semioriented series-parallel graphs, where we still have a set of two distinguished terminals but neither has been designated as a source or sink. Finally, we discuss the case of unoriented series-parallel graphs, where no terminals have been distinguished and present a few observations and open questions relating to them. The algorithms we present generate the nonequivalent spanning trees of $G$ but never explicitly compute the automorphism group of $G$, revealing how the recursive structure of $G$'s automorphism group mirrors that of its spanning trees.
The fundamental module of $S_3$-symmetric tridiagonal algebra associated with cycles
Published
• View Publication
• BIB
Terwilliger recently introduced the $S_3$-symmetric tridiagonal algebra, a generalization of the tridiagonal algebra. This algebra has six generators naturally associated with the vertices of a regular hexagon: adjacent generators satisfy the tridiagonal relations, while non-adjacent ones commute. To each $Q$-polynomial distance-regular graph $Γ$, we associate scalars $β, γ, γ^*, \varrho, \varrho^*$, and define the corresponding $S_3$-symmetric tridiagonal algebra $\mathbb{T} = \mathbb{T}(β, γ, γ^*, \varrho, \varrho^*)$. Let $V$ denote the standard module of $Γ$. Then the tensor $V^{\otimes 3} := V \otimes V \otimes V$ supports a $\mathbb{T}$-module structure, and within it exists a unique irreducible $\mathbb{T}$-submodule called the fundamental $\mathbb{T}$-module, denoted by $Λ$. In this paper, we focus on the case where $Γ$ is a cycle with vertex set $X$ and diameter $D$. We show that the associated scalars satisfy: \begin{align*} β= ζ+ ζ^{-1}, \quad γ= γ^* = 0, \quad \varrho = \varrho^* = -(ζ-ζ^{-1})^2, \end{align*} where $ζ$ is a fixed primitive $|X|$th root of unity. We prove that \begin{align*} \operatorname{dim}(Λ) & = \left\{\begin{array}{ll} \textstyle 2D^2+2 & \text{if } |X| \text{ is even},\\ \textstyle 2D^2 + 2D +1 & \text{if } |X| \text{ is odd}, \end{array} \right. \end{align*} and construct two explicit bases for $Λ$, each of which diagonalizes half of the generators of $\mathbb{T}$. Finally, we verify that Terwilliger's conjectures hold when $Γ$ is a cycle.
Amplitude maximization in stable systems, Schur positivity, and some conjectures on polynomial interpolation
For $r > 0$ and integers $t \ge n > 0$, we consider the following problem: maximize the amplitude $|x_t|$ at time $t$, over all complex solutions $x = (x_0, x_1, \dots)$ of arbitrary homogeneous linear difference equations of order $n$ with the characteristic roots in the disc $\{z \in \mathbb{C}: |z| \le r\}$, and with initial values $x_0, \dots, x_{n-1}$ in the unit disc. We find that for any triple $t,n,r$, the maximum is attained with coinciding roots on the boundary circle; in particular, this implies that the peak amplitude $\sup_{t \ge n} |x_t|$ can be maximized explicitly, by studying a unique equation with the characteristic polynomial $(z-r)^n$. Moreover, the optimality of the cophase root configuration holds for origin-centered polydiscs. To prove this result, we first reduce the problem to a certain interpolation problem over monomials, then solve the latter by leveraging the theory of symmetric functions and identifying the associated Schur positivity structure. We also discuss the implications for more general Reinhardt domains. Finally, we study the problem of estimating the derivatives of a real entire function from its values at $n/2$ pairs of complex conjugate points in the unit disc. We propose conjectures on the extremality of the monomial $z^n$, and restate them in terms of Schur polynomials.
Strong spectral stabilities for $C_{2k+1}$-free graphs
A stability result due to Ren, Wang, Wang and Yang [SIAM J. Discrete Math. 38 (2024)] shows that if $3\le r \le 2k$ and $n\ge 318 (r-2)^2k$, and $G$ is a $C_{2k+1}$-free graph on $n$ vertices with $e(G)\ge \lfloor {(n-r+1)^2}/{4}\rfloor +{r \choose 2}$, then $G$ can be made bipartite by deleting at most $r-2$ vertices. Using a different method, we give a linear bound on $n$ in terms of $k$ and show a stronger structural result, which roughly says that $G$ can be obtained from a large bipartite graph by suspending some small graphs that the total number of vertices is at most $r-2$. This improves a result of Yan and Peng (2024) by weakening the requirement on $n$ and $k$. As a direct corollary, we obtain a tight upper bound on the size of an $n$-vertex $C_{2k+1}$-free graph with chromatic number $χ(G)\ge r$ for every $r\le 2k$. The second part of this paper concerns the spectral extremal problem for $C_{2k+1}$-free graphs. We denote by $λ(G)$ the spectral radius of the adjacency matrix of a graph $G$. Let $T_{n-r+1,2}\circ K_r$ be the graph obtained by identifying a vertex of the complete graph $K_r$ and a vertex of the smaller partite set of the bipartite Turán graph $T_{n-r+1 ,2}$. Using the spectral techniques, we prove that if $3\le r\le 2k$ and $n\ge 712k$, and $G$ is an $n$-vertex $C_{2k+1}$-free graph with chromatic number $χ(G) \ge r$, then $λ(G)\le λ(T_{n-r+1,2}\circ K_r)$, where the equality holds if and only if $G=T_{n-r+1,2}\circ K_r$. Our result not only extends a result of Guo, Lin and Zhao [Linear Algebra Appl. 627 (2021)] as well as a result of Zhang and Zhao [Discrete Math. 346 (2023)], but also provides the first solution to the spectral extremal problem for $F$-free graphs with high chromatic number.
Cyclic sieving phenomena via combinatorics of continued fractions
Published
• View Publication
• BIB
We will exhibit several instances of the cyclic sieving phenomenon involving statistics and involutions on the following combinatorial families of objects: permutations, set partitions, perfect matchings, D-permutations (and its subclasses). Our results will be based on continued fraction identities enumerating these objects. Our instances of cyclic sieving phenomenon for permutations involve the Corteel involution; this was first studied by Adams, Elder, Lafrenière, McNicholas, Striker and Welch (arxiv~2024). We will reprove several of their results using our setting of continued fractions; we will also prove two of their conjectures. Our study of set partitions and perfect matchings will involve the Kasraoui-Zeng involution and the Chen-Deng-Du-Stanley-Yan (CDDSY) involution. Finally, for D-permutations, we will construct a new involution which we call the Genocchi-Corteel involution. The common feature of all of these involutions, other than the CDDSY involution, is that they are constructed via bijections to weighted lattice paths, and that they exchange crossings and nestings on their respective objects.
Triangular tensors and set-intersection problems
In the past few years, the slice-rank lemma of Tao has been applied successfully to many problems in extremal combinatorics. In this paper, first, we define a new notion of triangular tensors which generalizes that of triangular matrices (2-tensors), and prove a lemma similar to the slice-rank lemma for them. Then, applying the slice-rank framework with triangular matrices, we give new and shorter proofs for some well-known theorems on set-intersections like Frankl-Wilson and Snevily with modular constraints, and some of the more recent set-intersection results. We also improve Snevily with modular constraints in some special cases. Finally, using Snevily's theorem with some combinatorial lemmas, we give new bounds on some generalizations of the reverse odd-town problem.
On chain polynomials of geometric lattices
Athanasiadis and Kalampogia-Evangelinou recently conjectured that the chain polynomial of any geometric lattice has only real zeros. We verify this conjecture for families of geometric lattices including perfect matroid designs, Dowling lattices, and for a class of geometric lattices that contains all lattices of flats of paving matroids. We also investigate how the conjecture behaves with respect to certain operations such as direct products, ordinal sums and single-element extensions.
Surface sums in two-dimensional large-$N$ lattice Yang--Mills: Cancellations and explicit computations for general loops
In the context of two-dimensional large-$N$ lattice Yang--Mills theory, we perform a refined study of the surface sums defined in the companion work [BCSK24]. In this setting, the surface sums are a priori expected to exhibit significant simplifications because two-dimensional Yang--Mills theory is a special model that admits many known exact formulas. Thus, a natural problem is to understand these simplifications directly from the perspective of the surface sums. Towards this goal, we develop a key new tool in the form of a surface exploration algorithm (or "peeling process"), which, at each step, carefully selects the next edge to explore. Using this algorithm, we manage to find many cancellations in the surface sums, thereby obtaining a detailed understanding of precisely which surfaces remain after cancellation. As a consequence, we obtain many new explicit formulas for Wilson loop expectations of general loops in the large-$N$ limit of lattice Yang--Mills in two dimensions and prove a convergence result for the empirical spectral measure of any simple loop.
Finding subdigraphs in digraphs of bounded directed treewidth
Published
• View Publication
• BIB
It is well known that directed treewidth does not enjoy the nice algorithmic properties of its undirected counterpart. There exist, however, some positive results that, essentially, present XP algorithms for the problem of finding, in a given digraph $D$, a subdigraph isomorphic to a digraph $H$ that can be formed by the union of $k$ directed paths (with some extra properties), parameterized by $k$ and the directed treewidth of $D$. Our motivation is to tackle the following question: Are there subdigraphs, other than the directed paths, that can be found efficiently in digraphs of bounded directed treewidth? In a nutshell, the main message of this article is that, other than the directed paths, the only digraphs that seem to behave well with respect to directed treewidth are the stars. For this, we present a number of positive and negative results, generalizing several results in the literature, as well as some directions for further research.
Cactus, Pascal, and Pappus Point-Line Configurations: An Algebraic-Geometric Perspective
We study point-line configurations and their associated matroid and circuit varieties. We aim to find a finite set of defining equations for matroid varieties and an irreducible decomposition for circuit varieties.
To solve the former problem, we use some classical techniques from algebraic geometry, including the Grassmann-Cayley algebra and the liftability technique. From this, we can respectively derive the Grassmann-Cayley ideal, introduced by Sidman, Traves and Wheeler, and the lifting ideal, introduced by Liwski, Mohammadi, Clarke and Masiero. Since the circuit ideal, the Grassmann-Cayley ideal and the lifting ideal are contained in the matroid ideal and explicit generators are known for them, it is a natural question to identify point-line configurations for which a generating set of the matroid ideal is formed by the circuit polynomials, Grassmann-Cayley polynomials and lifting polynomials. For these point-line configurations, we obtain an explicit and finite description of the matroid variety. In this thesis, we prove that the matroid ideal of cactus configurations, the Pascal configuration and the Pappus configuration can be generated by these three types of polynomials.
To find an irreducible decomposition for the circuit varieties of point-line configurations, we use the decomposition strategy developed by Clarke, Grace, Mohammadi and Motwani. If the point-line configuration has some points lying on at most two lines, we develop a shorter alternative as well. We find such a decomposition for cactus configurations, up to irredundancy. Moreover, we find an irreducible decomposition for the Pascal configuration and the third configuration $9_3$, which is a point-line configuration with nine points and nine lines, such that every point is on three lines and every line contains three points.
The separating variety for matrix invariants
Published
• View Publication
• BIB
Let $G$ be a linear algebraic group defined over an algebraically closed field $k$, and let $V$ be a vector space on which $G$ acts linearly. The separating variety $\mathcal{S}_{G,V}$ is the subvariety of $V^2$ consisting of pairs of points indistinguishable by invariant polynomials in $k[V]^G$. Its geometry places restrictions on the existence of small separating sets, i.e. sets of invariants which distinguish the same points as the full algebra of invariants. The purpose of this article is to study the separating variety in the important special case where $G=\mathrm{GL}_p(\mathbb{C})$ acts on the set $V$ of $n$-tuples of $p \times p$ matrices by simultaneous conjugation. We define a purely combinatorial poset, $\mathcal{P}_{p,n}$, whose maximal elements are in 1-1 correspondence with the irreducible components of $\mathcal{S}_{G,V}$. We show that $\mathcal{S}_{G,V}$ is a variety of dimension $(n+1)p^2-1$, and determine its subdimension for all $n$ and $p$. In particular we show the subdimension is $(n+1)p^2-p$ if $n \geq 3$, or $n \geq 2$ and $p \geq 4$. In the case $n \geq 3$, we give a formula for the number of components of given codimension in $\mathcal{S}_{G,V}$. We give explicit decompositions of $\mathcal{S}_{G,V}$ for all $n$ where $p=2,3$ or $4$. Our results in particular show that when $n\geq 2$ and $p\geq 4$, or $n\geq 3$ and $p=3$, $\mathbb{C}[V]^G$ does not contain a polynomial or hypersurface separating set. It was proven in arXiv:2202.05717 that the same is true if $n \geq 4$ and $p=2$. The author made a conjecture in arXiv:2211.17088 generalising the Skronowski-Weyman theorem for representations of quivers. The results of this paper prove that conjecture in two important special cases: for the quiver with one vertex and an arbitrary number, $n$, of loops, and for the quiver with two vertices and $n$ arrows between them.
Embeddings of the line graphs associated with the essential graphs of commutative rings
Published
• View Publication
• BIB
Let $A$ be a finite commutative ring with unity $1 \neq 0.$ An ideal of $A$ is said to be essential if it has a non-zero intersection with every non-zero ideal of $A.$ The essential graph of $A$ is a simple undirected graph whose vertex set consists of all non-zero zero-divisors of $A.$ Two different vertices $u$ and $v$ are connected by an edge precisely when the ideal formed by the annihilator of their product $uv$ is essential in $A.$ This paper examines the minimal embeddings of the line graph of the essential graph of $A$ into orientable surfaces as well as non-orientable surfaces. Our results include a complete classification of finite commutative rings for which the line graphs of their essential graphs is planar, outerplanar or have genus or crosscap number at most two. We also characterize all such non-local rings for which the line graph of their zero-divisor graph is outerplanar.
Enumerating Vector Parking Functions and their Outcomes Based on Specified Lucky Cars
In a parking function, a car is considered lucky if it is able to park in its preferred spot. Extending work of Harris and Martinez, we enumerate outcomes of parking functions with a fixed set of lucky cars. We then consider a generalization of parking functions known as vector parking functions or $\boldsymbol{u}$-parking functions, in which a nonnegative integer capacity is given to each parking spot in the street. With certain restrictions on $\boldsymbol{u}$, we enumerate outcomes of $\boldsymbol{u}$-parking functions with a fixed set of lucky cars or with a fixed number of lucky cars. We also count outcomes according to which spots contain lucky cars, and give formulas for enumerating $\boldsymbol{u}$-parking functions themselves according to their set of lucky cars.
A PC Algorithm for Max-Linear Bayesian Networks
Max-linear Bayesian networks (MLBNs) are a relatively recent class of structural equation models which arise when the random variables involved have heavy-tailed distributions. Unlike most directed graphical models, MLBNs are typically not faithful to d-separation and thus classical causal discovery algorithms such as the PC algorithm or greedy equivalence search can not be used to accurately recover the true graph structure. In this paper, we begin the study of constraint-based discovery algorithms for MLBNs given an oracle for testing conditional independence in the true, unknown graph. We show that if the oracle is given by the $\ast$-separation criteria in the true graph, then the PC algorithm remains consistent despite the presence of additional CI statements implied by $\ast$-separation. We also introduce a new causal discovery algorithm named "PCstar" which assumes faithfulness to $C^\ast$-separation and is able to orient additional edges which cannot be oriented with only d- or $\ast$-separation.
The tropical crossing number of a finite graph
Published
• View Publication
• BIB
In 2015, Cartwright et al. showed that any $3$-regular metric graph arises as the skeleton of a tropical plane curve with nodes allowed. They introduced the tropical crossing number of a metric graph as the minimum number of nodes required for that graph with the prescribed lengths. We introduce the tropical crossing number of a finite, non-metric graph, the minimum number of nodes required to achieve that graph with any lengths on its edges. We prove that for any positive integer $d$ there exists a graph whose tropical crossing number is equal to $d$; moreover, this graph can be chosen with any prescribed graph-theoretic crossing number at most $d$. We then introduce and use computational methods to find the tropical crossing number of the smallest non-tropically planar graph, the lollipop graph of genus $3$. We also show that our tropical crossing number can grow quadratically in the number of vertices of the graph.
Rainbow Trees in Hypercubes
We prove that every proper edge-coloring of the $n$-dimensional hypercube $Q_n$ contains a rainbow copy of every tree $T$ on at most $n$ edges. This result is best possible, as $Q_n$ can be properly edge-colored using only $n$ colors while avoiding rainbow cycles.
General Kontsevich-style formula for Hirzebruch Surfaces
Tyomkin's correspondence theorem states the equality of counts of rational curves of fixed homology class in a toric surface satisfying point and cross-ratio conditions with their tropical counterparts. Such correspondence theorems allow us to derive non-tropical results from tropical ones; for example, Mikhalkin's correspondence theorem is used in the tropical proof of the famous Kontsevich formula for counts of plane rational curves of degree $d$ satisfying point conditions. This formula has been generalized to counts of curves in the Hirzebruch surface $\mathbb{F}_{2}$ satisfying point conditions. Further generalizations allow curves in $\mathbb{P}^2$ to satisfy multiple cross-ratio conditions. In this paper, we present a Kontsevich-style formula for the Hirzebruch surface $\mathbb{F}_r$, $r \in \mathbb{N}$, which counts rational tropical curves of a fixed homology class satisfying point and multiple cross-ratio conditions using tropical methods. Moreover, the cross-ratio conditions we impose on the curves allow more freedom.
The Exponential Hyper-Zagreb Indices and Structural Properties of Trees and Bipartite Graphs
In this paper, we investigate the structural properties of trees and bipartite graphs through the lens of topological indices and combinatorial graph theory. We focus on the First and Second Hyper-Zagreb indices, $HM_1(G)$ and $HM_2(G)$, for trees $T \in T(n, Δ)$ with $n$ vertices and maximum degree $Δ$. Key propositions demonstrate that the presence of end-support or support vertices of degree at least three, distinct from a vertex of maximum degree, implies the existence of another tree $T' \in T(n, Δ)$ with strictly smaller Hyper-Zagreb indices. These results are extended to exponential forms, highlighting the influence of high-degree vertices. Additionally, we explore structural characterizations of trees via degree sequence majorization and $S$-order, establishing conditions for the first and last trees in specific classes. For bipartite graphs, we examine equitable coloring, cycle lengths, and $k$-redundant tree embeddings, supported by theorems on connectivity and minimum degree constraints. The paper also addresses the independence number of bipartite graphs, exterior covers, and competition numbers of complete $r$-partite graphs, providing bounds and structural insights. Finally, we discuss Markov-chain algorithms for generating bipartite graphs and tournaments with prescribed degree sequences, analyzing their mixing times and convergence properties. These results contribute to the understanding of extremal properties and combinatorial structures in graph theory, with applications in chemical graph theory and network analysis.
Tropicalized quantum field theory and global tropical sampling
Published
• View Publication
• BIB
We explain how to tropicalize scalar quantum field theory and show that tropicalized massive scalar quantum field theory is exactly solvable. This exact solution manifests as a non-linear recursion equation fulfilled by the expansion coefficients of the quantum effective action. Geometrically, this recursion computes specific volumes of moduli spaces of metric graphs and is thereby analogous to Mirzakhani's volume recursions on the moduli space of curves. Building on this exact solution, we construct an algorithm that samples points from the moduli space of graphs approximately proportional to their perturbative contribution. Remarkably, this algorithm requires only polynomial time and memory, suggesting that perturbative quantum field theory computations lie in the polynomial-time complexity class, while all known algorithms for evaluating individual Feynman integrals are exponential in time and memory. To demonstrate the capabilities of the algorithm, we evaluate the primitive contribution to the $φ^4$ beta function at 50 loops with a proof-of-concept implementation.