Showing 20 papers (Total: 82000 papers, 47479 authors in database)
The Cactus Group Property for Ordinal Sums of Disjoint Unions of Chains
We study the action of Bender-Knuth involutions on linear extensions of posets and identify LE-cactus posets, i.e. those for which the cactus relations hold. It was conjectured in \cite{chiang2023bender} that d-complete posets are LE-cactus. Among the non-d-complete posets that are LE-cactus, one notable family is ordinal sums of antichains. In this paper, we characterize the LE-cactus posets in a more general family, namely ordinal sums of disjoint unions of chains.
Web invariants for flamingo Specht modules
Published in Algebraic Combinatorics, Volume 8 (2025) no. 1, pp. 235-266
• View Publication
• BIB
Webs yield an especially important realization of certain Specht modules, irreducible representations of symmetric groups, as they provide a pictorial basis with a convenient diagrammatic calculus. In recent work, the last three authors associated polynomials to noncrossing partitions without singleton blocks, so that the corresponding polynomials form a web basis of the pennant Specht module $S^{(d,d,1^{n-2d})}$. These polynomials were interpreted as global sections of a line bundle on a 2-step partial flag variety.
Here, we both simplify and extend this construction. On the one hand, we show that these polynomials can alternatively be situated in the homogeneous coordinate ring of a Grassmannian, instead of a 2-step partial flag variety, and can be realized as tensor invariants of classical (but highly nonplanar) tensor diagrams. On the other hand, we extend these ideas from the pennant Specht module $S^{(d,d,1^{n-2d})}$ to more general flamingo Specht modules $S^{(d^r,1^{n-rd})}$. In the hook case $r=1$, we obtain a spanning set that can be restricted to a basis in various ways. In the case $r>2$, we obtain a basis of a well-behaved subspace of $S^{(d^r,1^{n-rd})}$, but not of the entire module.
Local antimagic chromatic number of partite graphs
Let $G$ be a connected graph with $|V| = n$ and $|E| = m$. A bijection $f:E\rightarrow \{1,2,...,m\}$ is called a local antimagic labeling of $G$ if for any two adjacent vertices $u$ and $v$, $w(u) \neq w(v)$, where $w(u) = \sum_{e \in E(u)}f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus, any local antimagic labeling induces a proper vertex coloring of $G$ where the vertex $v$ is assigned the color $w(v)$. The local antimagic chromatic number is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. Let $m,n > 1$. In this paper, the local antimagic chromatic number of a complete tripartite graph $K_{1,m,n}$, and $r$ copies of a complete bipartite graph $K_{m,n}$ where $m \not \equiv n \bmod 2$ are determined.
Representation of convex geometries of convex dimension 3 by spheres
Published
• View Publication
• BIB
A convex geometry is a closure system satisfying the anti-exchange property. This paper, following the work of Adaricheva and Bolat (2019) and the Polymath REU (2020), continues to investigate representations of convex geometries with small convex dimension by convex shapes on the plane and in spaces of higher dimension. In particular, we answer in the negative the question raised by Polymath REU (2020): whether every convex geometry of $cdim=3$ is representable by the circles on the plane. We show there are geometries of $cdim=3$ that cannot be represented by spheres in any $\mathbb{R}^k$, and this connects to posets not representable by spheres from the paper of Felsner, Fishburn and Trotter (1999). On the positive side, we use the result of Kincses (2015) to show that every finite poset is an ellipsoid order.
Extremal solutions for Network Flow with Differential Constraints -- A Generalization of Spanning Trees
Published
• View Publication
• BIB
In network flow problems, there is a well-known one-to-one relationship between extreme points of the feasibility region and trees in the associated undirected graph. The same is true for the dual differential problem. In this paper, we study problems where the constraints of both problems appear simultaneously, a variant which is motivated by an application in the expansion planning of energy networks. We show that all extreme points still directly correspond to graph-theoretical structures in the underlying network. The reverse is generally also true in all but certain exceptional cases. We furthermore characterize graphs in which these exceptional cases never occur and present additional criteria for when those cases do not occur due to parameter values.
More on Rainbow Cliques in Edge-Colored Graphs
Published
• View Publication
• BIB
In an edge-colored graph $G$, a rainbow clique $K_k$ is a $k$-complete subgraph in which all the edges have distinct colors. Let $e(G)$ and $c(G)$ be the number of edges and colors in $G$, respectively. In this paper, we show that for any $\varepsilon>0$, if $e(G)+c(G) \geq (1+\frac{k-3}{k-2}+2\varepsilon) {n\choose 2}$ and $k\geq 3$, then for sufficiently large $n$, the number of rainbow cliques $K_k$ in $G$ is $Ω(n^k)$.
We also characterize the extremal graphs $G$ without a rainbow clique $K_k$, for $k=4,5$, when $e(G)+c(G)$ is maximum.
Our results not only address existing questions but also complete the findings of Ehard and Mohr (Ehard and Mohr, Rainbow triangles and cliques in edge-colored graphs. {\it European Journal of Combinatorics, 84:103037,2020}).
Painted Tropical Complexes
We define the notion of a painted tropical $A$-complex and describe a poset structure on the set of all such complexes. This poset is equivalent to the face lattice of a secondary polytope $Σ(\bar{A}_α)$ where $\bar{A}_α$ is built from $A$ and an additional point $α$. As a central application, we show that multiplihedra are also secondary polytopes.
Ubiquity of power sums in graph profiles
Published
• View Publication
• BIB
Graph density profiles are fundamental objects in extremal combinatorics. Very few profiles are fully known, and all are two-dimensional. We show that even in high dimensions ratios of graph densities and numbers often form the power-sum profile (the limit of the image of the power-sum map) studied recently by Acevedo, Blekherman, Debus and Riener. Our choice of graphs is motivated by recent work by Blekherman, Raymond and Wei on undecidability of polynomial inequalities in graph densities. While the ratios do not determine the complete density profile, they contain high-dimensional information. For instance, to reconstruct the density profile of $4k$-cycles from our results, one needs to solve only one-parameter extremal problems, for any number of $4k$-cycles.
Non-standard binary representations and the Stern sequence
Published
• View Publication
• BIB
We show that the number of short binary signed-digit representations of an integer $n$ is equal to the $n$-th term in the Stern sequence. Various proofs are provided, including direct, bijective, and generating function proofs. We also show that this result can be derived from recent work of Monroe on binary signed-digit representations of a fixed length.
Quad Squares
We study 4-by-4 squares formed by cards from the EvenQuads deck. EvenQuads is a card game with 64 cards where cards have 3 attributes with 4 values in each attribute. A quad is four cards with all attributes the same, all different, or half and half. We define Latin quad squares as squares where the cards in each row and column have different values for each attribute. We define semimagic quad squares as squares where each row and column form a quad. For magic quad squares, we add a requirement that the diagonals have to form a quad. We also define strongly magic quad squares. We analyze types of semimagic and strongly magic quad squares. We also calculate the number of semimagic, magic, and strongly magic quad squares for quad decks of any size. These squares can be described in terms of integers. Four integers form a quad when their bitwise XOR is zero.
Polyhedral Geometry in OSCAR
Published
• View Publication
• BIB
OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Assuming little familiarity with the subject, we give an introduction to computations in polyhedral geometry using OSCAR, as a chapter of the upcoming OSCAR book. In particular, we define polytopes, polyhedra, and polyhedral fans, and we give a brief overview about computing convex hulls and solving linear programs. Three detailed case studies are left for experts in polyhedral geometry. These are concerned with face numbers of random polytopes, constructions and properties of Gelfand-Tsetlin polytopes, and secondary polytopes.
Graphs with degree sequence $\{m^{m-1},n^{n-1}\}$ and $\{m^n,n^m\}$
Published
• View Publication
• BIB
In this paper we study the class of graphs $G_{m,n}$ that have the same degree sequence as two disjoint cliques $K_m$ and $K_n$, as well as the class $\overline G_{m,n}$ of the complements of such graphs. We establish various properties of $G_{m,n}$ and $\overline G_{m,n}$ related to recognition, connectivity, diameter, bipartiteness, Hamiltonicity, and pancyclicity. We also show that several classical optimization problems on these graphs are NP-hard.
Impartial and Partizan Restricted Chocolate Bar Games
In this paper, we consider impartial and partizan restricted chocolate bar games. In impartial restricted chocolate bar games, players cut a chocolate bar into two pieces along any horizontal or vertical line and eat whichever piece is smaller. If the two pieces are the same size, a player can eat either one. In constrast, partizan restricted chocolate bar games include players designated as Left and Right and chocolate bars with black and white stripes. Left cuts the chocolate bar in two as above and eats the part with fewer black blocks. Similarly, Right cuts the bar and eats the part with fewer white blocks. A player loses when they cannot eat the remaining chocolate bar. We provide formulas that describe the winning positions of the previous player, Right, and Left players. We also present an interesting similarity in the graphs of previous players' winning positions for impartial and partizan chocolate bar games.
Some q-Identities derived by the ordinary derivative operator
Published
• View Publication
• BIB
In this paper, we investigate applications of the ordinary derivative operator, instead of the $q$-derivative operator, to the theory of $q$-series. As main results, many new summation and transformation formulas are established which are closely related to some well-known formulas such as the $q$-binomial theorem, Ramanujan's ${}_1ψ_1$ formula, the quintuple product identity, Gasper's $q$-Clausen product formula, and Rogers' ${}_6φ_5$ formula, etc. Among these results is a finite form of the Rogers-Ramanujan identity and a short way to Eisenstein's theorem on Lambert series.
A Van Kampen type obstruction for string graphs
In this paper we prove that a graph is a string graph (the intersection graph of curves in the plane) if and only if it admits a drawing in the plane with certain properties. This also allows us to define an algebraic obstruction, similar to the Van Kampen obstruction to embeddability, which must vanish for every string graph. However, unlike in the case of graph planarity this obstruction is incomplete.
Generalized root systems
Published
• View Publication
• BIB
We generalize the notion of a root system by relaxing the conditions that ensure that it is invariant under reflections and study the resulting structures, which we call generalized root systems (GRSs for short). Since both Kostant root systems and root systems of Lie superalgebras are examples of GRSs, studying GRSs provides a uniform axiomatic approach to studying both of them. GRSs inherit many of the properties of root systems. In particular, every GRS defines a crystallographic hyperplane arrangement. We believe that GRSs provide an intrinsic counterpart to finite Weyl groupoids and crystallographic hyperplane arrangements, extending the relationship between finite Weyl groupoids and crystallographic hyperplane arrangements established by Cuntz. An important difference between GRSs and root systems is that GRSs may lack a (large enough) Weyl group. In order to compensate for this, we introduce the notion of a virtual reflection, building on a construction of Penkov and Serganova in the context of root systems of Lie superalgebras.
The most significant new feature of GRSs is that, along with subsystems, one can define quotient GRSs. Both Kostant root systems and root systems of Lie superalgebras are equivalent to quotients of root systems and all root systems are isomorphic to quotients of simply-laced root systems. We classify all rank 2 GRSs and show that they are equivalent to quotients of root systems. Finally, we discuss in detail quotients of root systems. In particular we provide all isomorphisms and equivalences among them. Our results on quotient of root systems provide a different point of view on flag manifolds, reproving results of Alekseevsky and Graev.
Boundary dents, the arctic circle and the arctic ellipse
Published
• View Publication
• BIB
The original motivation for this paper goes back to the mid-1990's, when James Propp was interested in natural situations when the number of domino tilings of a region increases if some of its unit squares are deleted. Guided in part by the intuition one gets from earlier work on parallels between the number of tilings of a region with holes and the 2D Coulomb energy of the corresponding system of electric charges, we consider Aztec diamond regions with unit square defects along two adjacent sides. We show that for large regions, if these defects are at fixed distances from a corner, the ratio between the number of domino tilings of the Aztec diamond with defects and the number of tilings of the entire Aztec diamond approaches a Delannoy number.
When the locations of the defects are not fixed but instead approach given points on the boundary of the scaling limit $S$ (a square) of the Aztec diamonds, we prove that, provided the line segment connecting these points is outside the circle inscribed in $S$, this ratio has the same asymptotics as the Delannoy number corresponding to the locations of the defects; if the segment crosses the circle, the asymptotics is radically different. We use this to deduce (under the assumption that an arctic curve exists) that the arctic curve for domino tilings of Aztec diamonds is the circle inscribed in $S$. We also discuss counterparts of this phenomenon for lozenge tilings of hexagons.
On some conjectural series containing harmonic numbers of 3-order
Published
• View Publication
• BIB
Harmonic numbers are important in a lot of branches of number theory. By means of the derivative operator, the integral operator, and several summation and transformation formulas for hypergeometric series, we prove four series containing harmonic numbers of 3-order. Three of them are conjectures which were recently proposed by Z.-W. Sun.
The S-rule and 1-d representation for the traversal of a planar graph in AEC industry
Based on two trivial observations of the AEC industry, this paper proposes a traversal method ("S-rule") and expression ("1-dimensional-graph") transformed from DFS. This traversal method conforms to the original cognitive logic of the AEC industry, and the 1-d expression has clear language characteristics while completely retaining the topological relationship of the planar graph : a sequence of finite symbols (vocabularies) under definite rules. Moreover, the language can be restored to a standard 2-d form that is isomorphic to the original planar graph, thus ensuring its visualization characteristics. Fragments of the 1-d language can be used as planar units for free combination and weighting, and as the data foundation to support advanced calculations including FEM and isomorphic matching. And after the 2-d graph is reduced to 1-d, any 3-d or higher-dimensional graphs can also be reduced to 1 or 2 dimensions. The first half of this paper (Chapter 1) takes the 4X4 standard grid as an example to introduce the prototype of S-rule and 1-d expression, and gives the mapping rule from 1-d expression to its editable text form. In the second half of this paper, the rule and expression are gradually extended to non-embedded planar graphs (Chapter 2) and embedded planar graphs (Chapter 3), and the "grammar" is finally summarized (Chapter 4).
A note on the singularity probability of random directed $d$-regular graphs
Published
• View Publication
• BIB
In this note we show that the singular probability of the adjacency matrix of a random $d$-regular graph on $n$ vertices, where $d$ is fixed and $n \to \infty$, is bounded by $n^{-1/3+o(1)}$. This improves a recent bound by Huang. Our method is based on the study of the singularity problem modulo a prime together with an inverse-type result on the decay of the characteristic function. The latter is related to the inverse Kneser's problem in combinatorics.