Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Five-List-Coloring Graphs on Surfaces: The Many Faces Far-Apart Generalization of Thomassen's Theorem
Let $G$ be a plane graph with $C$ the boundary of the outer face and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of a subgraph $J$ of $G$ we mean a (proper) coloring $φ$ of $J$ such that $φ(v)\in L(v)$ for every vertex $v$ of $J$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)\setminus \{v_1,v_2\}$ and $|L(v)|\ge5$ for every $v\in V(G)\setminus V(C)$, then $G$ has an $L$-coloring.
As one final application in this last part of our series on $5$-list-coloring, we derive from all of our theory a far-reaching generalization of Thomassen's theorem, namely the generalization of Thomassen's theorem to arbitrarily many such faces provided that the faces are pairwise distance $D$ apart for some universal constant $D>0$.
A continuous associahedron of type A
Published
• View Publication
• BIB
Taking a representation-theoretic viewpoint, we construct a continuous associahedron motivated by the realization of the generalized associahedron in the physical setting. We show that our associahedron shares important properties with the generalized associahedron of type A. Our continuous associahedron is convex and manifests a cluster theory: the points which correspond to the clusters are on its boundary, and the edges that correspond to mutations are given by intersections of hyperplanes. This requires development of several methods that are continuous analogues of discrete methods. We conclude the paper by showing that there is a sequence of embeddings of type A generalized associahedra into our continuous associahedron.
Construction for both self-dual codes and LCD codes
Published
• View Publication
• BIB
From a given $[n, k]$ code $C$, we give a method for constructing many $[n, k]$ codes $C'$ such that the hull dimensions of $C$ and $C'$ are identical. This method can be applied to constructions of both self-dual codes and linear complementary dual codes (LCD codes for short). Using the method, we construct 661 new inequivalent extremal doubly even $[56, 28, 12]$ codes. Furthermore, constructing LCD codes by the method, we improve some of the previously known lower bounds on the largest minimum weights of binary LCD codes of length $n=26,28 \le n \le 40$.
Balanced Weighing Matrices
Published
• View Publication
• BIB
A unified approach to the construction of weighing matrices and certain symmetric designs is presented. Assuming the weight $p$ in a weighing matrix $W(n,p)$ is a prime power, it is shown that there is a $$W\left(\frac{p^{m+1}-1}{p-1}(n-1)+1,p^{m+1}\right)$$ for each positive integer $m$. The case of $n=p+1$ reduces to the balanced weighing matrices with classical parameters $$W\left(\frac{p^{m+2}-1}{p-1},p^{m+1}\right).$$ The equivalence with certain classes of association schemes is discussed in details.
Arc reversals of cycles in orientations of $G$ vertex-multiplications
Published in Discrete Math., 345, (2022), Article 112999
• View Publication
• BIB
Ryser proved that any two tournaments with the same score sequence are $C_3$-equivalent while Beineke and Moon proved the $C_4$-equivalence for any two bipartite tournaments with the same score lists. In this paper, we extend these results to orientations of $G$ vertex-multiplications. We focus on two main areas, namely orientations with the same score list and with score-list parity. Our main tools are extensions of the refinement technique, directed difference graph and a reduction lemma.
Large $ Y_{k,b} $-tilings and Hamilton $ \ell $-cycles in $k$-uniform hypergraphs
Published
• View Publication
• BIB
Let $Y_{3,2}$ be the $3$-uniform hypergraph with two edges intersecting in two vertices. Our main result is that any $n$-vertex 3-uniform hypergraph with at least $\binom{n}{3} - \binom{n-m+1}{3} + o(n^3)$ edges contains a collection of $m$ vertex-disjoint copies of $Y_{3,2}$, for $m\le n/7$. The bound on the number of edges is asymptotically best possible. This problem generalizes the Matching Conjecture of Erdős. We then use this result combined with the absorbing method to determine the asymptotically best possible minimum $(k-3)$-degree threshold for $\ell$-Hamiltonicity in $k$-graphs, where $k\ge 7$ is odd and $\ell=(k-1)/2$. Moreover, we give related results on $ Y_{k,b} $-tilings and Hamilton $ \ell $-cycles with $ d $-degree for some other values of $ k,\ell,d $.
An Analysis and Critique of the Scoring Method Used for Sport Climbing at the 2020 Tokyo Olympics
Sport climbing was a new Olympic event introduced at the Tokyo 2020 Olympics. It was composed of three disciplines, and the final rankings were determined by computing the product of each climber's rankings in the three disciplines, with the lowest score winning. In this paper, we compare this product-based scoring method with the more usual sum-based method. As well, we propose and analyze a new method based on taking the sum of the square roots of each climber's rankings.
Triangle-free planar graphs with at most $64^{n^{0.731}}$ 3-colorings
Thomassen conjectured that triangle-free planar graphs have exponentially many 3-colorings. Recently, he disproved his conjecture by providing examples of such graphs with $n$ vertices and at most $2^{15n/\log_2 n}$ 3-colorings. We improve his construction, giving examples of such graphs with at most $64^{n^{log_{9/2} 3}}<64^{n^{0.731}}$ 3-colorings. We conjecture this exponent is optimal.
Visible Rank and Codes with Locality
We propose a framework to study the effect of local recovery requirements of codeword symbols on the dimension of linear codes, based on a combinatorial proxy that we call \emph{visible rank}. The locality constraints of a linear code are stipulated by a matrix $H$ of $\star$'s and $0$'s (which we call a "stencil"), whose rows correspond to the local parity checks (with the $\star$'s indicating the support of the check). The visible rank of $H$ is the largest $r$ for which there is a $r \times r$ submatrix in $H$ with a unique generalized diagonal of $\star$'s. The visible rank yields a field-independent combinatorial lower bound on the rank of $H$ and thus the co-dimension of the code.
We prove a rank-nullity type theorem relating visible rank to the rank of an associated construct called \emph{symmetric spanoid}, which was introduced by Dvir, Gopi, Gu, and Wigderson~\cite{DGGW20}. Using this connection and a construction of appropriate stencils, we answer a question posed in \cite{DGGW20} and demonstrate that symmetric spanoid rank cannot improve the currently best known $\widetilde{O}(n^{(q-2)/(q-1)})$ upper bound on the dimension of $q$-query locally correctable codes (LCCs) of length $n$.
We also study the $t$-Disjoint Repair Group Property ($t$-DRGP) of codes where each codeword symbol must belong to $t$ disjoint check equations. It is known that linear $2$-DRGP codes must have co-dimension $Ω(\sqrt{n})$. We show that there are stencils corresponding to $2$-DRGP with visible rank as small as $O(\log n)$. However, we show the second tensor of any $2$-DRGP stencil has visible rank $Ω(n)$, thus recovering the $Ω(\sqrt{n})$ lower bound for $2$-DRGP. For $q$-LCC, however, the $k$'th tensor power for $k\le n^{o(1)}$ is unable to improve the $\widetilde{O}(n^{(q-2)/(q-1)})$ upper bound on the dimension of $q$-LCCs by a polynomial factor.
Integrable dynamics in projective geometry via dimers and triple crossing diagram maps on the cylinder
Published in SIGMA 21 (2025), 040, 48 pages
• View Publication
• BIB
We introduce twisted triple crossing diagram maps, collections of points in projective space associated to bipartite graphs on the cylinder, and use them to provide geometric realizations of the cluster integrable systems of Goncharov and Kenyon constructed from toric dimer models. Using this notion, we provide geometric proofs that the pentagram map and the cross-ratio dynamics integrable systems are cluster integrable systems. We show that in appropriate coordinates, cross-ratio dynamics is described by geometric $R$-matrices, which solves the open question of finding a cluster algebra structure describing cross-ratio dynamics.
Using Catalan words and a $q$-shuffle algebra to describe the Beck PBW basis for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$
Published
• View Publication
• BIB
We consider the positive part $U^+_q$ of the quantized enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U^+_q$ has a presentation involving two generators and two relations, called the $q$-Serre relations. There is a PBW basis for $U^+_q$ due to Damiani, and a PBW basis for $U^+_q$ due to Beck. In 2019 we used Catalan words and a $q$-shuffle algebra to express the Damiani PBW basis in closed form. In this paper we use a similar approach to express the Beck PBW basis in closed form. We also consider how the Damiani PBW basis and the Beck PBW basis are related to the alternating PBW basis for $U^+_q$.
Some new results on bar visibility of digraphs
Published
• View Publication
• BIB
Visibility representation of digraphs was introduced by Axenovich, Beveridge, Hutch\-inson, and West (\emph{SIAM J. Discrete Math.} {\bf 27}(3) (2013) 1429--1449) as a natural generalization of $t$-bar visibility representation of undirected graphs. A {\it $t$-bar visibility representation} of a digraph $G$ assigns each vertex at most $t$ horizontal bars in the plane so that there is an arc $xy$ in the digraph if and only if some bar for $x$ "sees" some bar for $y$ above it along an unblocked vertical strip with positive width. The {\it visibility number} $b(G)$ is the least $t$ such that $G$ has a $t$-bar visibility representation. In this paper, we solve several problems about $b(G)$ posed by Axenovich et al.\ and prove that determining whether the bar visibility number of a digraph is $2$ is NP-complete.
On the length of L-Grundy sequences
Published
• View Publication
• BIB
An L- sequence of a graph $G $ is a sequence of distinct vertices $S = \{v_1, ... , v_k\}$ such that $N[v_i] \setminus \cup_{j=1}^{i-1} N(v_j) \neq \emptyset$. The length of the longest L-sequence is called the L-Grundy domination number, denoted $γ_{gr}^L(G)$. In this paper, we prove $γ_{gr}^L(G) \leq n(G) - δ(G) + 1$, which was conjectured by Bre{š}ar, Gologranc, Henning, and Kos. We also prove some early results about characteristics of $n$-vertex graphs such $γ_{gr}^L(G) = n$, as well as bounds on the change in L-Grundy number under graph operations.
Annihilators and associated varieties of Harish-Chandra modules for $SO^*(2n)$
Given a simple Harish-Chandra module for this group of trivial infinitesimal character, parametrized by a signed involution, we produce combinatorial recipes for attaching to it a pair of tableaux from which its annihilator and associated variety can be read off.
Orbital varieties in types $B$ and $C$
We correct the proof of the main result of an earlier paper, parametrizing orbital varieties in a complex simple Lie algebra of type $B$ or $C$ in terms of domino tableaux and showing how to compute the orbital variety attached to an element of the Weyl group in either of these types.
Orbital varieties in type $D$
We correct the proof of the main result in an earlier paper, showing how to parametrize orbital varieties in a complex simple Lie algebra of type $D$ in terms of domino tableaux and showing how to compute variety attached to any element of the Weyl group in this type.
Rowmotion on fences
Published in Algebraic Combin., 6 (2023), no. 1, 17-36,
• View Publication
• BIB
A fence is a poset with elements F = {x_1, x_2, ..., x_n} and covers x_1 < x_2 < ... < x_a > x_{a+1} > ... > x_b < x_{b+1} < ... where a, b, ... are positive integers. We investigate rowmotion on antichains and ideals of F. In particular, we show that orbits of antichains can be visualized using tilings. This permits us to prove various homomesy results for the number of elements of an antichain or ideal in an orbit. Rowmotion on fences also exhibits a new phenomenon, which we call homometry, where the value of a statistic is constant on orbits of the same size. Along the way, we prove a general homomesy result for all self-dual posets. We end with some conjectures and avenues for future research.
Approximate counting of standard set-valued tableaux
Published
• View Publication
• BIB
We present a randomized algorithm for generating standard set-valued tableaux by extending the Green-Nijenhuis-Wilf hook walk algorithm. In the case of asymptotically rank two partitions, we use this algorithm to give a fully polynomial almost uniform sampler (FPAUS) for standard set-valued tableaux. This FPAUS is then used to construct a fully polynomial randomized approximation scheme (FPRAS) for counting the number of standard set-valued tableaux for such shapes. We also construct a FPAUS and FPRAS for standard set-valued tableaux when either the size of the partition or the difference between the maximum value and the size of the partition is fixed. Our methods build on the work of Jerrum-Valiant-Vazirani and provide a framework for constructing FPAUS's and FPRAS's for other counting problems in algebraic combinatorics.
Decreasing subsequences and Viennot for oscillating tableaux
Published
• View Publication
• BIB
We establish an extension of Viennot's geometric (shadow line) construction to the setting of oscillating tableaux. We then use this to give a new proof of the Type $C$ analogue of Schensted's theorem on longest decreasing subsequences. This pairs with our results from arXiv:2103.14997v1 [math.RT] on Type $C$ webs to give a direct proof of a result of Sundaram and Stanley: that the dimension of the space of invariant vectors in a $2k$-fold tensor product of the vector representation of $\mathfrak{sp}_{2n}$ equals the number of $(n+1)$-avoiding matchings of $2k$ points.
Faces of maximal chain polytopes
The maximal chain polytope $\mathscr{M}(P)$ is associated with a finite poset $P$. For a set of maximal chains $\mathcal{C}$, it is shown that the convex hull of all the points corresponding to elements of $\mathcal{C}$ is not a face of $\mathscr{M}(P)$ if and only if $\mathcal{C}$ has an incomplete guided crown structure. Using this result, several examples, including the dimension of $\mathscr{M}(\boldsymbol{m} \times \boldsymbol{n})$, are calculated.