Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Mutations of simple-minded systems in Calabi-Yau categories generated by a spherical object
In this article, we give a definition and a classification of 'higher' simple-minded systems in triangulated categories generated by spherical objects with negative Calabi-Yau dimension. We also study mutations of this class of objects and that of 'higher' Hom-configurations and Riedtmann configurations. This gives an explicit analogue of the nice mutation theory exhibited in cluster-tilting theory.
A new approach to catalog small graphs of high even girth
A catalog of a class of (3,g) graphs for even girth g is introduced in this paper. A (k,g) graph is a regular graph with degree k and girth g. This catalog of (3,g) graphs for even girth g satisfying 6 <= g <= 16, has the following properties. Firstly, this catalog contains the smallest known (3, g) graphs. An appropriate class of cubic graphs for this catalog has been identified, such that the (3,g) graph of minimum order within the class is also the smallest known (3,g) graph. Secondly, this catalog contains (3,g) graphs for more orders than other listings. Thirdly, the class of graphs have been defined so that a practical algorithm to generate graphs can be created. Fourthly, this catalog is infinite, since the results are extended into knowledge about infinitely many graphs. The findings are as follows. Firstly, Hamiltonian bipartite graphs have been identified as a promising class of cubic graphs that can lead to a catalog of (3,g) graphs for even girth g with graphs for more orders than other listings, that is also expected to contain a (3,g) graph with minimum order. Secondly, this catalog of (3,g) graphs contains many non-vertex-transitive graphs. Thirdly, in order to make the computation more tractable, and at the same time, to enable deeper analysis on the results, symmetry factor has been introduced as a measure of the extent of rotational symmetry along the identified Hamiltonian cycle. The D3 chord index notation is introduced as a concise notation for cubic Hamiltonian bipartite graphs. The D3 chord index notation is twice as compact as the LCF notation. The D3 chord index notation can specify an infinite family of graphs. Fourthly, results on the minimum order for existence of a (3,g) Hamiltonian bipartite graph, and minimum value of symmetry factor for existence of a (3,g) Hamiltonian bipartite graph are of wider interest.
Counting curves on surfaces
Published
• View Publication
• BIB
In this paper we consider an elementary, and largely unexplored, combinatorial problem in low-dimensional topology. Consider a real 2-dimensional compact surface $S$, and fix a number of points $F$ on its boundary. We ask: how many configurations of disjoint arcs are there on $S$ whose boundary is $F$?
We find that this enumerative problem, counting curves on surfaces, has a rich structure. For instance, we show that the curve counts obey an effective recursion, in the general framework of topological recursion. Moreover, they exhibit quasi-polynomial behaviour.
This "elementary curve-counting" is in fact related to a more advanced notion of "curve-counting" from algebraic geometry or symplectic geometry. The asymptotics of this enumerative problem are closely related to the asymptotics of volumes of moduli spaces of curves, and the quasi-polynomials governing the enumerative problem encode intersection numbers on moduli spaces.
Furthermore, among several other results, we show that generating functions and differential forms for these curve counts exhibit structure that is reminiscent of the mathematical physics of free energies, partition functions, topological recursion, and quantum curves.
Some properties of catalog of (3, g) Hamiltonian bipartite graphs: orders, non-existence and infiniteness
The focus of this paper is on discussion of a catalog of a class of (3, g) graphs for even girth g. A (k, g) graph is a graph with regular degree k and girth g. This catalog is compared with other known lists of (3, g) graphs such as the enumerations of trivalent symmetric graphs and enumerations of trivalent vertex-transitive graphs, to conclude that this catalog has graphs for more orders than these lists. This catalag also specifies a list of orders, rotational symmetry and girth for which the class of (3, g) graphs do not exist. It is also shown that this catalog of graphs extends infinitely.
A Graph Theoretic Proof of the Tight Cut Lemma
Published
• View Publication
• BIB
In deriving their characterization of the perfect matchings polytope, Edmonds, Lovász, and Pulleyblank introduced the so-called {\em Tight Cut Lemma} as the most challenging aspect of their work. The Tight Cut Lemma in fact claims {\em bricks} as the fundamental building blocks that constitute a graph in studying the matching polytope and can be referred to as a key result in this field. Even though the Tight Cut Lemma is a matching \textup{(}$1$-matching\textup{)} theoretic statement that consists of purely graph theoretic concepts, the known proofs either employ a linear programming argument or are established upon results regarding a substantially wider notion than matchings. This paper presents a new proof of the Tight Cut Lemma, which attains both of the two reasonable features for the first time, namely, being {\em purely graph theoretic} as well as {\em purely matching theory closed}. Our proof uses, as the only preliminary result, the canonical decomposition recently introduced by Kita. By further developing this canonical decomposition, we acquire a new device of {\em towers} to analyze the structure of bricks, and thus prove the Tight Cut Lemma. We believe that our new proof of the Tight Cut Lemma provides a highly versatile example of how to handle bricks.
Subgraph statistics in subcritical graph classes
Published
• View Publication
• BIB
Let $H$ be a fixed graph and $\mathcal{G}$ a subcritical graph class. In this paper we show that the number of occurrences of $H$ (as a subgraph) in a uniformly at random graph of size $n$ in $\mathcal{G}$ follows a normal limiting distribution with linear expectation and variance. The main ingredient in our proof is the analytic framework developed by Drmota, Gittenberger and Morgenbesser to deal with infinite systems of functional equations. As a case study, we get explicit expressions for the number of triangles and cycles of length four for the family of series-parallel graphs.
Resolvent Energy of Unicyclic, Bicyclic and Tricyclic Graphs
The resolvent energy of a graph $G$ of order $n$ is defined as $ER=\sum_{i=1}^n (n-λ_i)^{-1}$, where $λ_1,λ_2,\ldots,λ_n$ are the eigenvalues of $G$. In a recent work [Gutman et al., {\it MATCH Commun. Math. Comput. Chem.\/} {\bf 75} (2016) 279--290] the structure of the graphs extremal w.r.t. $ER$ were conjectured, based on an extensive computer--aided search. We now confirm the validity of some of these conjectures.
Cluster varieties from Legendrian knots
Published in Duke Math. J. 168, no. 15 (2019), 2801-2871
• View Publication
• BIB
Many interesting spaces --- including all positroid strata and wild character varieties --- are moduli of constructible sheaves on a surface with microsupport in a Legendrian link. We show that the existence of cluster structures on these spaces may be deduced in a uniform, systematic fashion by constructing and taking the sheaf quantizations of a set of exact Lagrangian fillings in correspondence with isotopy representatives whose front projections have crossings with alternating orientations. It follows in turn that results in cluster algebra may be used to construct and distinguish exact Lagrangian fillings of Legendrian links in the standard contact three space.
A Generalization of Brown's Construction for the Degree/Diameter Problem
The degree/diameter problem is the problem of finding the largest possible number of vertices $n_{Δ,D}$ in a graph of given degree $Δ$ and diameter $D$. We consider the problem for the case of diameter $D=2$. William G Brown gave a lower bound of the order of $(Δ,2)$-graph. In this paper, we give a generalization of his construction and improve the lower bounds for the case of $Δ=306$ and $Δ=307$. One is $(306,2)$-graph with $88723$ vertices, the other is $(307,2)$-graph with $88724$ vertices.
Consistency and Derangements in Brane Tilings
Published in Journal of Physics A 49 (2016) 355401
• View Publication
• BIB
Brane tilings describe Lagrangians (vector multiplets, chiral multiplets, and the superpotential) of four dimensional $\mathcal{N}=1$ supersymmetric gauge theories. These theories, written in terms of a bipartite graph on a torus, correspond to worldvolume theories on $N$ D$3$-branes probing a toric Calabi-Yau threefold singularity. A pair of permutations compactly encapsulates the data necessary to specify a brane tiling. We show that geometric consistency for brane tilings, which ensures that the corresponding quantum field theories are well behaved, imposes constraints on the pair of permutations, restricting certain products constructed from the pair to have no one-cycles. Permutations without one-cycles are known as derangements. We illustrate this formulation of consistency with known brane tilings. Counting formulas for consistent brane tilings with an arbitrary number of chiral bifundamental fields are written down in terms of delta functions over symmetric groups.
Drawings of Kn with the same rotation scheme are the same up to Reidemeister moves. Gioan's Theorem
A {\em good drawing\/} of $K_n$ is a drawing of the complete graph with $n$ vertices in the sphere such that: no two edges with a common end cross; no two edges cross more than once; and no three edges all cross at the same point. Gioan's Theorem asserts that any two good drawings of $K_n$ that have the same rotations of incident edges at every vertex are equivalent up to Reidemeister moves. At the time of preparation, 10 years had passed between the statement in the WG 2005 conference proceedings and our interest in the proposition. Shortly after we completed our preprint, Gioan independently completed a preprint.
Boolean functions whose Fourier transform is concentrated on pairwise disjoint subsets of the input
We consider Boolean functions f:{-1,1}^n->{-1,1} that are close to a sum of independent functions on mutually exclusive subsets of the variables. We prove that any such function is close to just a single function on a single subset.
We also consider Boolean functions f:R^n->{-1,1} that are close, with respect to any product distribution over R^n, to a sum of their variables. We prove that any such function is close to one of the variables.
Both our results are independent of the number of variables, but depend on the variance of f. I.e., if f is ε*Var(f)-close to a sum of independent functions or random variables, then it is O(ε)-close to one of the independent functions or random variables, respectively. We prove that this dependence on Var(f) is tight.
Our results are a generalization of the Friedgut-Kalai-Naor Theorem [FKN'02], which holds for functions f:{-1,1}^n->{-1,1} that are close to a linear combination of uniformly distributed Boolean variables.
Limiting eigenvalue distribution of random matrices of Ihara zeta function of long-range percolation graphs
Published
• View Publication
• BIB
We consider the ensemble of $N\times N$ real random symmetric matrices $H_N^{(R)}$ obtained from the determinant form of the Ihara zeta function associated to random graphs $Γ_N^{(R)}$ of the long-range percolation radius model with the edge probability determined by a function $φ(t)$.
We show that the normalized eigenvalue counting function of $H_N^{( R)}$ weakly converges in average as $N,R\to\infty$, $R=o(N)$ to a unique measure that depends on the limiting average vertex degree of $Γ_N^{(R)}$ given by $φ_1 = \int φ(t) dt$. This measure converges in the limit of infinite $φ_1$ to a shift of the Wigner semi-circle distribution. We discuss relations of these results with the properties of the Ihara zeta function and weak versions of the graph theory Riemann Hypothesis.
The cohomology rings of regular nilpotent Hessenberg varieties in Lie type A
Published
• View Publication
• BIB
Let $n$ be a fixed positive integer and $h: \{1,2,\ldots,n\} \rightarrow \{1,2,\ldots,n\}$ a Hessenberg function. The main results of this paper are twofold. First, we give a systematic method, depending in a simple manner on the Hessenberg function $h$, for producing an explicit presentation by generators and relations of the cohomology ring $H^\ast(Hess(\mathsf{N},h))$ with $\mathbb{Q}$ coefficients of the corresponding regular nilpotent Hessenberg variety $Hess(\mathsf{N},h)$. Our result generalizes known results in special cases such as the Peterson variety and also allows us to answer a question posed by Mbirika and Tymoczko. Moreover, our list of generators in fact forms a regular sequence, allowing us to use techniques from commutative algebra in our arguments. Our second main result gives an isomorphism between the cohomology ring $H^*(Hess(\mathsf{N},h))$ of the regular nilpotent Hessenberg variety and the $S_n$-invariant subring $H^*(Hess(\mathsf{S},h))^{S_n}$ of the cohomology ring of the regular semisimple Hessenberg variety (with respect to the $S_n$-action on $H^*(Hess(\mathsf{S},h))$ defined by Tymoczko). Our second main result implies that $\mathrm{dim}_{\mathbb{Q}} H^k(Hess(\mathsf{N},h)) = \mathrm{dim}_{\mathbb{Q}} H^k(Hess(\mathsf{S},h))^{S_n}$ for all $k$ and hence partially proves the Shareshian-Wachs conjecture in combinatorics, which is in turn related to the well-known Stanley-Stembridge conjecture. A proof of the full Shareshian-Wachs conjecture was recently given by Brosnan and Chow, but in our special case, our methods yield a stronger result (i.e. an isomorphism of rings) by more elementary considerations. This paper provides detailed proofs of results we recorded previously in a research announcement.
The Negative Cycle Vectors of Signed Complete Graphs
A signed graph is a graph where the edges are assigned labels of either "$+$" or "$-$". The sign of a cycle in the graph is the product of the signs of its edges. We equip each signed complete graph with a vector whose entries are the number of negative $k$-cycles for $k\in\{3,\dots,n\}$. These vectors generate an affine subspace of $\mathbb{R}^{n-2}$. We prove that this subspace is all of $\mathbb{R}^{n-2}$.
The maximum product of weights of cross-intersecting families
Published
• View Publication
• BIB
Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-$t$-intersecting if each set in $\mathcal{A}$ intersects each set in $\mathcal{B}$ in at least $t$ elements. An active problem in extremal set theory is to determine the maximum product of sizes of cross-$t$-intersecting subfamilies of a given family. We prove a cross-$t$-intersection theorem for weighted subsets of a set by means of a new subfamily alteration method, and use the result to provide solutions for three natural families. For $r\in[n]=\{1,2,\dots,n\}$, let ${[n]\choose r}$ be the family of $r$-element subsets of $[n]$, and let ${[n]\choose\leq r}$ be the family of subsets of $[n]$ that have at most $r$ elements. Let $\mathcal{F}_{n,r,t}$ be the family of sets in ${[n]\choose\leq r}$ that contain $[t]$. We show that if $g:{[m]\choose\leq r}\rightarrow\mathbb{R}^+$ and $h:{[n]\choose\leq s}\rightarrow\mathbb{R}^+$ are functions that obey certain conditions, $\mathcal{A}\subseteq{[m]\choose\leq r}$, $\mathcal{B}\subseteq{[n]\choose\leq s}$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, then \[\sum_{A\in\mathcal{A}}g(A)\sum_{B\in\mathcal{B}}h(B)\leq\sum_{C\in\mathcal{F}_{m,r,t}}g(C)\sum_{D\in\mathcal{F}_{n,s,t}}h(D),\] and equality holds if $\mathcal{A}=\mathcal{F}_{m,r,t}$ and $\mathcal{B}=\mathcal{F}_{n,s,t}$. We prove this in a more general setting and characterise the cases of equality. We use the result to show that the maximum product of sizes of two cross-$t$-intersecting families $\mathcal{A}\subseteq{[m]\choose r}$ and $\mathcal{B}\subseteq{[n]\choose s}$ is ${m-t\choose r-t}{n-t\choose s-t}$ for $\min\{m,n\}\geq n_0(r,s,t)$, where $n_0(r,s,t)$ is close to best possible. We obtain analogous results for families of integer sequences and for families of multisets. The results yield generalisations for $k\geq2$ cross-$t$-intersecting families, and Erdos-Ko-Rado-type results.
Probing Graph Proper Total Colorings With Additional Constrained Conditions
Graph colorings are becoming an increasingly useful family of mathematical models for a broad range of applications, such as time tabling and scheduling, frequency assignment, register allocation, computer security and so on. Graph proper total colorings with additional constrained conditions have been investigated intensively in the last decade year. In this article some new graph proper total colorings with additional constrained conditions are defined, and approximations to the chromatic numbers of these colorings are researched, as well as some graphs having these colorings have been verified.
Improper Graceful and Odd-graceful Labellings of Graph Theory
In this paper we define some new labellings for trees, called the in-improper and out-improper odd-graceful labellings such that some trees labelled with the new labellings can induce graceful graphs having at least a cycle. We, next, apply the new labellings to construct large scale of graphs having improper graceful/odd-graceful labellings or having graceful/odd-graceful labellings.
Packing spanning graphs from separable families
Published
• View Publication
• BIB
Let $\mathcal G$ be a separable family of graphs. Then for all positive constants $ε$ and $Δ$ and for every sufficiently large integer $n$, every sequence $G_1,\dotsc,G_t\in\mathcal G$ of graphs of order $n$ and maximum degree at most $Δ$ such that $e(G_1)+\dotsb+e(G_t) \leq (1-ε)\binom{n}{2}$ packs into $K_n$. This improves results of Böttcher, Hladký, Piguet, and Taraz when $\mathcal G$ is the class of trees and of Messuti, Rödl, and Schacht in the case of a general separable family. The result also implies approximate versions of the Oberwolfach problem and of the Tree Packing Conjecture of Gyárfás (1976) for the case that all trees have maximum degree at most $Δ$. The proof uses the local resilience of random graphs and a special multi-stage packing procedure.
Plane partitions with a "pit": generating functions and representation theory
Published in Sel. Math. New Ser. 24(1) (2018) 21-62
• View Publication
• BIB
We study plane partitions satisfying condition $a_{n+1,m+1}=0$ (this condition is called "pit") and asymptotic conditions along three coordinate axes. We find the formulas for generating function of such plane partitions.
Such plane partitions label the basis vectors in certain representations of quantum toroidal $\mathfrak{gl}_1$ algebra, therefore our formulas can be interpreted as the characters of these representations. The resulting formulas resemble formulas for characters of tensor representations of Lie superalgebra $\mathfrak{gl}_{m|n}$. We discuss representation theoretic interpretation of our formulas using $q$-deformed $W$-algebra $\mathfrak{gl}_{m|n}$.