Showing 20 papers (Total: 82736 papers, 47815 authors in database)
A note on the smooth blow-ups of P(1,1,1,k) in torus-invariant subvarieties
Published
• View Publication
• BIB
This paper classifies toric Fano 3-folds with singular locus { 1/k(1,1,1) } for any positive integer k, building on the work of Batyrev and Watanabe-Watanabe. This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore we identify birational relationships between entries of the classification. For a fixed value k>4, there are exactly two such Fano 3-folds linked by a blow-up in a torus-invariant line.
Families of Integral Cographs within a Triangular Arrays
Published
• View Publication
• BIB
The \emph{determinant Hosoya triangle}, is a triangular array where the entries are the determinants of two-by-two Fibonacci matrices. The determinant Hosoya triangle $\bmod \,2$ gives rise to three infinite families of graphs, that are formed by complete product (join) of (the union of) two complete graphs with an empty graph. We give a necessary and sufficient condition for a graph from these families to be integral.
Some features of these graphs are: they are integral cographs, all graphs have at most five distinct eigenvalues, all graphs are either $d$-regular graphs with $d=2,4,6,\dots $ or almost-regular graphs, and some of them are Laplacian integral. Finally we extend some of these results to the Hosoya triangle.
Representation theory of finite groups through (basic) algebraic geometry
We introduce a new approach to representation theory of finite groups that uses some basic algebraic geometry and allows to do all the theory without using characters. With this approach, to any finite group $G$ we associate a finite number of points and show that any field containing the coordinates of those points works fine as the ground field for the representations of $G$. We apply this point of view to the symmetric group $S_d$, finding easy equations for the different symmetries of functions in $d$ variables. As a byproduct, we give an easy proof of a recent result by Tocino that states that the hyperdeterminant of a $d$-dimensional matrix is zero for all but two types of symmetry.
Vertex-Domatic, Edge-Domatic and Total Domatic Number of Uniform Hypergraphs
E. J. Cockayne and S. T. Hedetniemi introduced the concept of domatic number of a graph. B. Zelinka extended the concept to the uniform hypergraphs. Further, B. Zelinka defined the concept of edge-domatic number and total edge-domatic number of a graph. In this paper, we investigate and prove some assertions in connection with vertex domatic number, edge-domatic number and total domatic number of some specific uniform hypergraphs.
Calibrated representations of two boundary Temperley-Lieb algebras
Published
• View Publication
• BIB
The two boundary Temperley-Lieb algebra $TL_k$ arises in the transfer matrix formulation of lattice models in Statistical Mechanics, in particular in the introduction of integrable boundary terms to the six-vertex model. In this paper, we classify and study the calibrated representations---those for which all the Murphy elements (integrals) are simultaneously diagonalizable---which, in turn, corresponds to diagonalizing the transfer matrix in the associated model. Our approach is founded upon the realization of $TL_k$ as a quotient of the type $C_k$ affine Hecke algebra $H_k$. In previous work, we studied this Hecke algebra via its presentation by braid diagrams, tensor space operators, and related combinatorial constructions. That work is directly applied herein to give a combinatorial classification and construction of all irreducible calibrated $TL_k$-modules and explain how these modules also arise from a Schur-Weyl duality with the quantum group $U_q\mathfrak{gl}_2$.
Incidence bounds on Edge Partitions of $K_n$
We solve a problem conjectured by Cheriyan, giving sharp bounds for incidence of certain edge partitions of the connected graph on $n$-vertices. We briefly discuss the history of the problem and relation to node connectivity of strongly regular graphs. We show that the bound cannot be made sharper.
Tight gaps in the cycle spectrum of 3-connected planar graphs
Published
• View Publication
• BIB
For any positive integer $k$, define $f(k)$ (respectively, $f_3(k)$) to be the minimal integer $\ge k$ such that every 3-connected planar graph $G$ (respectively, 3-connected cubic planar graph $G$) of circumference $\ge k$ has a cycle whose length is in the interval $[k, f(k)]$ (respectively, $[k, f_3(k)]$).
Merker showed that $f_3(k) \le 2k + 9$ for any $k \ge 2$, and $f_3(k) \ge 2k + 2$ for any even $k \ge 4$. He conjectured that $f_3(k) \le 2k + 2$ for any $k \ge 2$. This conjecture was disproved by Zamfirescu, who gave an infinite family of counterexamples for every even $k \ge 6$ whose graphs have no cycle length in $[k, 2k + 2]$, i.e. $f_3(k) \ge 2k + 3$ for any even $k \ge 6$. However, the exact value of $f_3(k)$ was only known for $k \le 4$, and it was left open to determine $f_3(k)$ for $k \ge 5$. In this paper we improve Merker's upper bound, and give the exact value of $f_3(k)$ for every $k \ge 5$. We show that $f_3(5) = 10$, $f_3(7) = 15$, $f_3(9) = 20$, and $f_3(k) = 2k + 3$ for any $k = 6, 8$ or $\ge 10$.
For general 3-connected planar graphs, Merker conjectured that there exists some positive integer $c$ such that $f(k) \le 2k + c$ for any positive integer $k$. We give a complete positive answer to this conjecture. We prove that $f(k) = 5$ for any $k \le 3$, $f(4) = 10$, and $f(k) = 2k + 3$ for any $k \ge 5$.
A closed-formula solution to the color-trace decomposition problem
In these notes we present a closed-formula solution to the problem of decomposing traces of Lie algebra generators into symmetrized traces and structure constants. The solution is written in terms of Solomon idempotents and exploits a projection derived by Solomon in his work on the Poincare-Birkhoff-Witt theorem.
Graphs and matrices: A translation of "Graphok és matrixok" by Dénes Kőnig (1931)
This paper, originally written in Hungarian by Dénes Kőnig in 1931, proves that in a bipartite graph, the minimum vertex cover and the maximum matching have the same size. This statement is now known as Kőnig's theorem. The paper also discusses the connection of graphs and matrices, then makes some observations about the combinatorial properties of the latter.
Explicit near-fully X-Ramanujan graphs
Let $p(Y_1, \dots, Y_d, Z_1, \dots, Z_e)$ be a self-adjoint noncommutative polynomial, with coefficients from $\mathbb{C}^{r \times r}$, in the indeterminates $Y_1, \dots, Y_d$ (considered to be self-adjoint), the indeterminates $Z_1, \dots, Z_e$, and their adjoints $Z_1^*, \dots, Z_e^*$. Suppose $Y_1, \dots, Y_d$ are replaced by independent random $n \times n$ matching matrices, and $Z_1, \dots, Z_e$ are replaced by independent random $n \times n$ permutation matrices. Assuming for simplicity that $p$'s coefficients are $0$-$1$ matrices, the result can be thought of as a kind of random $rn$-vertex graph $G$. As $n \to \infty$, there will be a natural limiting infinite graph $X$ that covers any finite outcome for $G$. A recent landmark result of Bordenave and Collins shows that for any $\varepsilon > 0$, with high probability the spectrum of a random $G$ will be $\varepsilon$-close in Hausdorff distance to the spectrum of $X$ (once the suitably defined "trivial" eigenvalues are excluded). We say that $G$ is "$\varepsilon$-near fully $X$-Ramanujan". Our work has two contributions: First we study and clarify the class of infinite graphs $X$ that can arise in this way. Second, we derandomize the Bordenave-Collins result: for any $X$, we provide explicit, arbitrarily large graphs $G$ that are covered by $X$ and that have (nontrivial) spectrum at Hausdorff distance at most $\varepsilon$ from that of $X$. This significantly generalizes the recent work of Mohanty et al., which provided explicit near-Ramanujan graphs for every degree $d$ (meaning $d$-regular graphs with all nontrivial eigenvalues bounded in magnitude by $2\sqrt{d-1} + \varepsilon$). As an application of our main technical theorem, we are also able to determine the "eigenvalue relaxation value" for a wide class of average-case degree-$2$ constraint satisfaction problems.
On the maximum diameter of $k$-colorable graphs
Published
• View Publication
• BIB
Erdős, Pach, Pollack and Tuza [J. Combin. Theory, B 47, (1989), 279-285] conjectured that the diameter of a $K_{2r}$-free connected graph of order $n$ and minimum degree $δ\geq 2$ is at most $\frac{2(r-1)(3r+2)}{(2r^2-1)}\cdot \frac{n}δ + O(1)$ for every $r\ge 2$, if $δ$ is a multiple of $(r-1)(3r+2)$. For every $r>1$ and $δ\ge 2(r-1)$, we create $K_{2r}$-free graphs with minimum degree $δ$ and diameter $\frac{(6r-5)n}{(2r-1)δ+2r-3}+O(1)$, which are counterexamples to the conjecture for every $r>1$ and $δ>2(r-1)(3r+2)(2r-3)$. The rest of the paper proves positive results under a stronger hypothesis, $k$-colorability, instead of being $K_{k+1}$-free. We show that the diameter of connected $k$-colorable graphs with minimum degree $\geq δ$ and order $n$ is at most $\left(3-\frac{1}{k-1}\right)\frac{n}δ+O(1)$, while for $k=3$, it is at most $\frac{57n}{23δ}+O\left(1\right)$.
The Ramsey theory of the universal homogeneous triangle-free graph Part II: Exact big Ramsey degrees
Building on previous work of the author, for each finite triangle-free graph $\mathbf{G}$, we determine the equivalence relation on the copies of $\mathbf{G}$ inside the universal homogeneous triangle-free graph, $\mathcal{H}_3$, with the smallest number of equivalence classes so that each one of the classes persists in every isomorphic subcopy of $\mathcal{H}_3$. This characterizes the exact big Ramsey degrees of $\mathcal{H}_3$. It follows that the triangle-free Henson graph is a big Ramsey structure.
Approaches Which Output Infinitely Many Graphs With Small Local Antimagic Chromatic Number
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we (i) give a sufficient condition for a graph with one pendant to have $χ_{la}\ge 3$. A necessary and sufficient condition for a graph to have $χ_{la}=2$ is then obtained; (ii) give a sufficient condition for every circulant graph of even order to have $χ_{la} = 3$; (iii) construct infinitely many bipartite and tripartite graphs with $χ_{la} = 3$ by transformation of cycles; (iv) apply transformation of cycles to obtain infinitely many one-point union of regular (possibly circulant) or bi-regular graphs with $χ_{la} = 2,3$. The work of this paper suggests many open problems on the local antimagic chromatic number of bipartite and tripartite graphs.
Nonrepetitive graph colouring
Published in Electronic J. Combinatorics DS24, 2021
• View Publication
• BIB
A vertex colouring of a graph $G$ is "nonrepetitive" if $G$ contains no path for which the first half of the path is assigned the same sequence of colours as the second half. Thue's famous theorem says that every path is nonrepetitively 3-colourable. This paper surveys results about nonrepetitive colourings of graphs. The goal is to give a unified and comprehensive presentation of the major results and proof methods, as well as to highlight numerous open problems.
Experiments on growth series of braid groups
Published
• View Publication
• BIB
We introduce an algorithmic framework to investigate spherical and geodesic growth series of braid groups relatively to the Artin's or Birman-Ko-Lee's generators. We present our experimentations in the case of three and four strands and conjecture rational expressions for the spherical growth series with respect to the Birman-Ko-Lee's generators.
Three-Parameter Logarithm and Entropy
Published
• View Publication
• BIB
A three-parameter logarithmic function is derived using the notion of q-analogue and ansatz technique. The derived three-parameter logarithm is shown to be a generalization of the two-parameter logarithmic function of Schwammle and Tsallis as the latter is the limiting function of the former as the added parameter goes to 1. The inverse of the three-parameter logarithm and other important properties are also proved. A three-parameter entropic function is then defined and is shown to be analytic and hence Lesche-stable, concave and convex in some ranges of the parameters.
A canonical tree-of-tangles theorem for structurally submodular separation systems
Published
• View Publication
• BIB
We show that every structurally submodular separation system admits a canonical tree set which distinguishes its tangles.
On Schubert varieties of complexity one
Published in Pacific J. Math. 315 (2021) 419-447
• View Publication
• BIB
Let $B$ be a Borel subgroup of $\mathrm{GL}_n(\mathbb{C})$ and $\mathbb{T}$ a maximal torus contained in $B$. Then $\mathbb{T}$ acts on $\mathrm{GL}_{n}(\mathbb{C})/B$ and every Schubert variety is $\mathbb{T}$-invariant. We say that a Schubert variety is of complexity $k$ if a maximal $\mathbb{T}$-orbit in $X_w$ has codimension $k$. In this paper, we discuss topology, geometry, and combinatorics related to Schubert varieties of complexity one.
Counting Signed Vexillary Permutations
Published
• View Publication
• BIB
We show that the number of signed permutations avoiding 1234 equals the number of signed permutations avoiding 2143 (also called vexillary signed permutations), resolving a conjecture by Anderson and Fulton. The main tool that we use is the generating tree developed by West. Many further directions are mentioned in the end.
Khovanskii's theorem and effective results on sumset structure
A remarkable theorem due to Khovanskii asserts that for any finite subset $A$ of an abelian group, the cardinality of the $h$-fold sumset $hA$ grows like a polynomial for all sufficiently large $h$. Currently, neither the polynomial nor what sufficiently large means are understood. In this paper we obtain an effective version of Khovanskii's theorem for any $A \subset \mathbb{Z}^d$ whose convex hull is a simplex; previously, such results were only available for $d=1$. Our approach gives information about not just the cardinality of $hA$, but also its structure, and we prove two effective theorems describing $hA$ as a set: one answering a recent question posed by Granville and Shakan, the other a Brion-type formula that provides a compact description of $hA$ for all large $h$. As a further illustration of our approach, we derive a completely explicit formula for $|hA|$ whenever $A \subset \mathbb{Z}^d$ consists of $d+2$ points.