Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Factorization of rational six vertex model partition functions
Published in Nuclear Physics B, 1009 (2024), 116743
• View Publication
• BIB
We show factorization formulas for a class of partition functions of rational six vertex model. First we show factorization formulas for partition functions under triangular boundary. Further, by combining the factorization formulas with the explicit forms of the generalized domain wall boundary partition functions by Belliard-Pimenta-Slavnov, we derive factorization formulas for partition functions under trapezoid boundary which can be viewed as a generalization of triangular boundary. We also discuss an application to emptiness formation probabilities under trapezoid boundary which admit determinant representations.
Horadam cubes
Published
• View Publication
• BIB
We define and investigate a new three-parameter family of graphs that further generalizes the Fibonacci and metallic cubes. Namely, the number of vertices in this family of graphs satisfies Horadam recurrence, a linear recurrence of second order with constant coefficients. It is shown that the new family preserves many appealing and useful properties of the Fibonacci and metallic cubes. In particular, we present recursive decomposition and decomposition into grids. Furthermore, we explore metric and enumerative properties such as the number of edges, distribution of degrees, and cube polynomials. We also investigate the existence of Hamiltonian paths and cycles.
Construction and Conditions for Completely Independent Spanning Trees in Hypercubes and Regular Bipartite Graphs
A set of \( k \) spanning trees in a graph \( G \) is called a set of \textit{completely independent spanning trees (CISTs)} if, for every pair of vertices \( x \) and \( y \), the paths connecting \( x \) and \( y \) across different trees do not share any vertices or edges, except for \( x \) and \( y \) themselves. Hasunuma conjectured that every \(2k\)-connected graph contains exactly \(k\) completely independent spanning trees (CISTs). However, Pétérfalvi disproved this conjecture.
When \( k = 2 \), the two CISTs are called a \textit{dual-CIST}. It has been shown that determining whether a graph can have \( k \) CISTs is an NP-complete problem, even when \( k = 2 \). In $2017$, Darties et al. raised the question of whether the $6-$dimensional hypercube \( Q_6 \) can have three completely independent spanning trees (CISTs). This paper provides an answer to that question.
In this paper, we first present a necessary condition for \( k \)-regular, \( k \)-connected bipartite graphs to have \( \left\lfloor \frac{k}{2} \right\rfloor \) CISTs. We also investigate that the hypercube of dimension \( n \) cannot have \( \frac{n}{2} \) CISTs, which means Hasunuma's conjecture does not hold for the hypercube \( Q_n \) when \( n \) is an even integer \(2 < n \leq 10^7 \), except when \(n = 2^r\) and \( n \in \{161038, 215326, 2568226, 3020626, 7866046, 9115426 \} \). This result also resolves a question posed by Darties et al.
The construction of multiple CISTs on the underlying graph of a network has practical applications in ensuring the fault tolerance of data transmission. In this context, we also provide a construction for three completely independent spanning trees in the hypercube \(Q_n\) for \(n \geq 7\). Our results show that Hasunuma's conjecture holds for odd integer \(n = 7\) in \(Q_n\), but does not hold for even integer \(n = 6\).
Cohomology Rings of Toric Wonderful Model
We describe the cohomology ring of toric wonderful models for arbitrary building set, including the case of non well-connected ones. Our techniques are based on blowups of posets, on Gröbner basis over rings and admissible functions.
Proudfoot-Speyer degenerations of scattering equations
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 143-165
• View Publication
• BIB
We study scattering equations of hyperplane arrangements from the perspective of combinatorial commutative algebra and numerical algebraic geometry. We formulate the problem as linear equations on a reciprocal linear space and develop a degeneration-based homotopy algorithm for solving them. We investigate the Hilbert regularity of the corresponding homogeneous ideal and apply our methods to CHY scattering equations.
Lower Bounds for Book Ramsey Numbers
Published
• View Publication
• BIB
We prove new bounds for Ramsey numbers for book graphs $B_n$. In particular, we show that $R(B_{n-1},B_n) = 4n-1$ for an infinite family of $n$ using a block-circulant construction similar to Paley graphs. We obtain improved bounds for several other values of $R(B_r,B_s)$ using different block-circulant graphs from SAT and integer programming (IP) solvers. Finally, we enumerate the number of critical graphs for $R(B_r,B_s)$ for small $r$ and $s$ using SAT modulo symmetries (SMS).
Fault tolerance of metric basis can be expensive
Published
• View Publication
• BIB
A set of vertices S is a resolving set of a graph G; if for every pair of vertices x and y in G, there exists a vertex s in S such that x and y differ in distance to s. A smallest resolving set of G is called a metric basis. The metric dimension dim(G) is the cardinality of a metric basis of G. The notion of a metric basis is applied to the problem of placing sensors in a network, where the problem of sensor faults can arise. The fault-tolerant metric dimension ftdim(G) is the cardinality of a smallest resolving set S such that S\{s} remains a resolving set of G for every s in S. A natural question is how much more sensors need to be used to achieve a fault-tolerant metric basis. It is known in literature that there exists an upper bound on ftdim(G) which is exponential in terms of dim(G); i.e. ftdim(G) <= dim(G)(1+2^(5dim(G)-1)). In this paper, we construct graphs G with ftdim(G) = dim(G)+2^(dim(G)-1) for any value of dim(G), so the exponential upper bound is necessary. We also extend these results to the k-metric dimension which is a generalization of the fault-tolerant metric dimension. First, we establish a similar exponential upper bound on dim(k+1)(G) in terms of dim(k)(G); and then we show that there exists a graph for which dim(k+1)(G) is indeed exponential. For a possible further work, we leave the gap between the bounds to be reduced.
Jack combinatorics of the equivariant edge measure
We study the equivariant edge measure: a measure on partitions which arises implicitly in the edge term in the localization computation of the Donaldson-Thomas invariants of a toric threefold. We combinatorially show that the equivariant edge measure is, up to choices of convention, equal to the Jack-Plancherel measure.
On a combinatorial puzzle arising from the theory of Lascoux polynomials
Published
• View Publication
• BIB
Lascoux polynomials are a class of nonhomogeneous polynomials which form a basis of the full polynomial ring. Recently, Pan and Yu showed that Lascoux polynomials can be defined as generating polynomials for certain collections of diagrams consisting of unit cells arranged in the first quadrant generated from an associated ``key diagram" by applying sequences of ``$K$-Kohnert moves". Within diagrams generated in this manner, certain cells are designated as special and referred to as ``ghost cells". Given a fixed Lascoux polynomial, Pan and Yu established a combinatorial algorithm in terms of ``snow diagrams" for computing the maximum number of ghost cells occurring in a diagram defining a monomial of the given polynomial; having this value allows for one to determine the total degree of the given Lascoux polynomial. In this paper, we study the combinatorial puzzle which arises when one replaces key diagrams by arbitrary diagrams in the definition of Lascoux polynomials. Specifically, given an arbitrary diagram, we consider the question of determining the maximum number of ghost cells contained within a diagram among those formed from our given initial one by applying sequences of $K$-Kohnert moves. In this regard, we establish means of computing the aforementioned max ghost cell value for various families of diagrams as well as for diagrams in general when one takes a greedy approach.
Decompositions of the wreath product of certain directed graphs into directed hamiltonian cycles
Published
• View Publication
• BIB
We affirm several special cases of a conjecture that first appears in Alspach et al.~(1987) which stipulates that the wreath (lexicographic) product of two hamiltonian decomposable directed graphs is also hamiltonian decomposable. Specifically, we show that the wreath product of hamiltonian decomposable directed graph $G$, such that $|V(G)|$ is even and $|V(G)|\geqslant 3$, with a directed $m$-cycle such that $m \geqslant 4$ or the complete symmetric directed graph on $m$ vertices such that $m\geqslant 3$, is hamiltonian decomposable. We also show the wreath product of a directed $n$-cycle, where $n$ is even, with a directed $m$-cycle, where $m \in \{2,3\}$, is not hamiltonian decomposable.
Iterated Radical Expansions and Convergence
We treat three recurrences involving square roots, the first of which arises from an infinite simple radical expansion for the Golden mean, whose precise convergence rate was made famous by Richard Bruce Paris in 1987. A never-before-seen proof of an important formula is given. The other recurrences are non-exponential yet equally interesting. Asymptotic series developed for each of these two examples feature a constant, dependent on the initial condition but otherwise intrinsic to the function at hand.
An optimal construction for complete graph embeddings with duals of low connectivity
Published
• View Publication
• BIB
We describe a construction for embeddings of complete graphs where the dual has a cutvertex and the genus is close to the minimum genus of the primal graph. When the number of vertices is congruent to 5 modulo 12, we further guarantee that the dual is simple and that the genera of the resulting embeddings match a lower bound of Brinkmann, Noguchi, and Van den Camp, showing that their lower bound is tight infinitely often.
Fine multidegrees, universal Grobner bases, and matrix Schubert varieties
Published
• View Publication
• BIB
We give a criterion for a collection of polynomials to be a universal Gröbner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give simple proofs of several existing results on universal Gröbner bases. We introduce fine Schubert polynomials, which record the multidegrees of the closures of matrix Schubert varieties in $(\mathbb{P}^1)^{n^2}$. We compute the fine Schubert polynomials of permutations $w$ where the coefficients of the Schubert polynomials of $w$ and $w^{-1}$ are all either 0 or 1, and we use this to give a universal Gröbner basis for the ideal of the matrix Schubert variety of such a permutation.
A combinatorial introduction to Adinkras
We survey the combinatorics of the Adinkra, a graphical device for solving differential equations in supersymmetry. These graphs represent an exceptional class of 1-factorizations with further augmentations. As a new feature, we characterize Adinkras using Latin rectangles.
On strong odd colorings of graphs
Published
• View Publication
• BIB
A strong odd coloring of a simple graph $G$ is a proper coloring of the vertices of $G$ such that for every vertex $v$ and every color $c$, either $c$ is used an odd number of times in the open neighborhood $N_G(v)$ or no neighbor of $v$ is colored by $c$. The smallest integer $k$ for which $G$ admits a strong odd coloring with $k$ colors is the strong odd chromatic number, $χ_{soc}(G)$. These coloring notion and graph parameter were recently defined in [H. Kwon and B. Park, Strong odd coloring of sparse graphs, ArXiv:2401.11653v2]. We answer a question raised by the originators concerning the existence of a constant bound for the strong odd chromatic number of all planar graphs. We also consider strong odd colorings of trees, unicyclic graphs and graph products.
Additive word complexity and Walnut
In combinatorics on words, a classical topic of study is the number of specific patterns appearing in infinite sequences. For instance, many works have been dedicated to studying the so-called factor complexity of infinite sequences, which gives the number of different factors (contiguous subblocks of their symbols), as well as abelian complexity, which counts factors up to a permutation of letters. In this paper, we consider the relatively unexplored concept of additive complexity, which counts the number of factors up to additive equivalence. We say that two words are additively equivalent if they have the same length and the total weight of their letters is equal. Our contribution is to expand the general knowledge of additive complexity from a theoretical point of view and consider various famous examples. We show a particular case of an analog of the long-standing conjecture on the regularity of the abelian complexity of an automatic sequence. In particular, we use the formalism of logic, and the software Walnut, to decide related properties of automatic sequences. We compare the behaviors of additive and abelian complexities, and we also consider the notion of abelian and additive powers. Along the way, we present some open questions and conjectures for future work.
Chromatic number and regular subgraphs
Published
• View Publication
• BIB
In 1992, Erdős and Hajnal posed the following natural problem: Does there exist, for every $r\in \mathbb{N}$, an integer $F(r)$ such that every graph with chromatic number at least $F(r)$ contains $r$ edge-disjoint cycles on the same vertex set? We solve this problem in a strong form, by showing that there exist $n$-vertex graphs with fractional chromatic number $Ω\left(\frac{\log \log n}{\log \log \log n}\right)$ that do not even contain a $4$-regular subgraph. This implies that no such number $F(r)$ exists for $r\ge 2$. We show that assuming a conjecture of Harris, the bound on the fractional chromatic number in our result cannot be improved.
Wiring switches to more light bulbs
Published
• View Publication
• BIB
Given $n$ buttons and $n$ bulbs so that the $i$th button toggles the $i$th bulb and perhaps some other bulbs, we compute the sharp lower bound on the number of bulbs that can be lit regardless of the action of the buttons. In the previous article we dealt with the case where each button affects at most 2 or 3 bulbs. In the present article we give sharp lower bounds for up to 4 or 5 wires per switch, and we show that the sharp asymptotic bound for an arbitrary number of wires is $\frac12$. (Even if you've found their buttons, you can please no more than half the people all the time!)
Polyhedral volume ratios, Izmestiev's Colin de Verdiere matrices and Spectral Gaps
We present a relation between volumes of certain lower dimensional simplices associated to a full-dimensional primal and polar dual polytope in R^k. We then discuss an application of this relation to a geometric construction of a Colin de Verdiere matrix by Ivan Izmestiev. In the second part of the paper, we introduce a variation of vertex transitive polytopes, translate their associated Colin de Verdiere matrices into random walk matrices, and investigate extremality properties of the spectral gaps of these random walk matrices in two concrete examples - permutahedra of Coxeter groups and polytopes associated to the pure rotational tetrahedral group - where maximal spectral gaps correspond to equilateral polytopes.
The bunkbed conjecture is false
Published
• View Publication
• BIB
We give an explicit counterexample to the Bunkbed Conjecture introduced by Kasteleyn in 1985. The counterexample is given by a planar graph on $7222$ vertices, and is built on the recent work of Hollom (2024).