Showing 20 papers (Total: 81680 papers, 47334 authors in database)
De Bruijn Polyominoes
We introduce the notions of de Bruijn polyominoes and prismatic polyominoes, which generalize the notions of de Bruijn sequences and arrays. Given a small fixed polyomino $p$ and a set of colors $[n]$, a de Bruijn polyomino for $(p,n)$ is a colored fixed polyomino $P$ with cells colored from $[n]$ such that every possible coloring of $p$ from $[n]$ exists as a subset of $P$. We call de Bruijn polyominoes for $(p,n)$ of minimum size $(p,n)$-prismatic. We discuss for some values of $p$ and $n$ the shape of a $(p,n)$-prismatic polyomino $P$, the construction of a coloring of $P$, and the enumeration of the colorings of $P$. We find evidence that the difficulty of these problems may depend on the parity of the size of $p$
Invariant Subspaces of Nilpotent Operators. Level, Mean, and Colevel: The Triangle $\Bbb T(n)$
Published in Bulletin of the Iranian Mathematical Society (2025) 51:37, 179 pp
• View Publication
• BIB
We consider the category $\mathcal S(n)$ of all pairs $X = (U,V)$, where $V$ is a finite-dimensional vector space with a nilpotent operator $T$ with $T^n = 0$, and $U$ is a subspace of $V$ such that $T(U) \subseteq U$. Our main interest in an object $X=(U,V)$ are the three numbers $uX=\dim U$ (for the subspace), $wX=\dim V/U$ (for the factor) and $bX=\dim {\rm Ker} T$ (for the operator). Actually, instead of looking at the reference space $\Bbb R^3$ with the triples $(uX,wX,bX)$, we will focus the attention to the corresponding projective space $\Bbb T(n)$ which contains for a non-zero object $X$ the level-colevel pair {\bf pr}$X = (uX/bX,wX/bX)$ supporting the object $X$.
We use $\Bbb T(n)$ to visualize part of the categorical structure of $\mathcal S(n)$: The action of the duality $D$ and the square $τ_n^2$ of the Auslander-Reiten translation are represented on $\Bbb T(n)$ by a reflection and a rotation by $120^\circ$ degrees, respectively. Moreover for $n\geq 6$, each component of the Auslander-Reiten quiver of $\mathcal S(n)$ has support either contained in the center of $\Bbb T(n)$ or with the center as its only accumulation point.
We show that the only indecomposable objects $X$ in $\mathcal S(n)$ with support having boundary distance smaller than 1 are objects with $bX=1$ which lie on the boundary, whereas any rational vector in $\Bbb T(n)$ with boundary distance at least 2 supports infinitely many indecomposable objects. At present, it is not clear at all what happens for vectors with boundary distance between 1 and 2. The use of $\Bbb T(n)$ provides even in the (quite well-understood) case $n = 6$ some surprises: In particular, we will show that any indecomposable object in $\mathcal S(6)$ lies on one of 12 central lines in $\Bbb T(6)$.
The paper is essentially self-contained, all prerequisites which are needed are outlined in detail.
Series Associated with Harmonic Numbers, Fibonacci Numbers and Central Binomial Coefficients $\binom{2n}{n}$
We find various series that involves the central binomial coefficients $\binom{2n}{n}$, harmonic numbers and Fibonacci Numbers.\\ Contrary to the traditional hypergeometric function $_pF_q$ approach, our method utilizes a straightforward transformation to obtain new evaluations linked to Fibonacci numbers and the golden ratio. Before the end of this paper, we also gave a new series representation for $ζ(2)$.
Polytopes with low excess degree
Published
• View Publication
• BIB
We study the existence and structure of $d$-polytopes for which the number $f_1$ of edges is small compared to the number $f_0$ of vertices. Our results are more elegantly expressed in terms of the excess degree of the polytope, defined as $2f_1-df_0$. We show that the excess degree of a $d$-polytope cannot lie in the range $[d+3,2d-7]$, complementing the known result that values in the range $[1,d-3]$ are impossible. In particular, many pairs $(f_0,f_1)$ are not realised by any polytope. For $d$-polytopes with excess degree $d-2$, strong structural results are known; we establish comparable results for excess degrees $d$, $d+2$, and $2d-6$. Frequently, in polytopes with low excess degree, say at most $2d-6$, the nonsimple vertices all have the same degree and they form either a face or a missing face. We show that excess degree $d+1$ is possible only for $d=3,5$, or $7$, complementing the known result that an excess degree $d-1$ is possible only for $d=3$ or $5$.
On the Construction of Singular and Cospectral Hypergraphs
In this paper, we define two operations, neighbourhood m-splitting hypergraph $NS_m(\mathscr{G}^*)$ and non-neighbourhood splitting hypergraph $NNS(\mathscr{G}^*)$, and obtain several properties of their adjacency spectrum. We also estimate the energies of $NS_m(\mathscr{G}^*)$ and $NNS(\mathscr{G}^*)$. Moreover, we introduce two new join operations on $k$-uniform hypergraphs: the neighbourhood splitting V-vertex join $\mathscr{G}_1^*\veebar \mathscr{G}_2^*$ and the S-vertex join $\mathscr{G}_1^*\barwedge \mathscr{G}_2^*$ of hypergraphs $\mathscr{G}_1^*$ and $\mathscr{G}_2^*$, and determine their adjacency spectrum. As an application, we obtain infinite families of singular hypergraphs and infinite pairs of non-regular non-isomorphic cospectral hypergraphs.
The $\text{v}$-function of powers of sums of ideals
Published
• View Publication
• BIB
Let $K$ be a field, $I\subset R=K[x_1,\dots,x_n]$ and $J\subset T=K[y_1,\dots,y_m]$ be graded ideals. Set $S=R\otimes_KT$ and let $L=IS+JS$. The behaviour of the $\text{v}$-function $\text{v}(L^k)$ in terms of the $\text{v}$-functions $\text{v}(I^k)$ and $\text{v}(J^k)$ is investigated. When $I$ and $J$ are monomial ideals, we describe $\text{v}(L^k)$, giving an explicit formula involving $\text{v}(I^k)$ and $\text{v}(J^k)$.
Harmonic higher and extended weight enumerators
Published
• View Publication
• BIB
In this paper, we present the harmonic generalizations of well-known polynomials of codes over finite fields, namely the higher weight enumerators and the extended weight enumerators, and we derive the correspondences between these weight enumerators. Moreover, we present the harmonic generalization of Greene's Theorem for the higher (resp. extended) weight enumerators. As an application of this Greene's-type theorem, we provide the MacWilliams-type identity for harmonic higher weight enumerators of codes over finite fields. Finally, we use this new identity to give a new proof of the Assmus-Mattson Theorem for subcode supports of linear codes over finite fields using harmonic higher weight enumerators.
Developments in tropical convexity
Published
• View Publication
• BIB
The term "tropical convexity" was coined by Develin and Sturmfels who published a landmark paper with that title in 2004. However, the topic has much older roots and is deeply connected to linear and combinatorial optimization and other areas of mathematics. The purpose of this survey is to sketch how that article contributed to shaping the field of tropical geometry as we know it today.
Claw-free minimal matching covered graphs
Published
• View Publication
• BIB
A matching covered graph $G$ is minimal if for each edge $e$ of $G$, $G-e$ is not matching covered. An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. Thus a matching covered graph is minimal if and only if it is free of removable edges. For bipartite graphs, Lovász and Plummer gave a characterization of bipartite minimal matching covered graphs. For bricks, Lovász showed that the only bricks that are minimal matching covered are $K_4$ and $\overline{C_6}$. In this paper, we present a complete characterization of minimal matching covered graphs that are claw-free. Moreover, for cubic claw-free matching covered graphs that are not minimal matching covered, we obtain the number of their removable edges (with respect to their bricks), and then prove that they have at least 12 removable edges (the bound is sharp).
The number of 1-nearly independent edge subsets
Let $G=(V(G),E(G))$ be a graph with set of vertices $V(G)$ and set of edges $E(G)$. A subset $S$ of $E(G)$ is called a $k$-nearly independent edge subsets if there are exactly $k$ pairs of elements of $S$ that share a common end. $Z_k(G)$ is the number of such subsets. This paper studies $Z_1$. Various properties of $Z_1$ are discussed. We characterise the two $n$-vertex trees with smallest $Z_1$, as well as the one with largest value. A conjecture on the $n$-vertex tree with second-largest $Z_1$ is proposed.
Partitioning Complete Geometric Graphs on Dense Point Sets into Plane Subgraphs
Published
• View Publication
• BIB
A \emph{complete geometric graph} consists of a set $P$ of $n$ points in the plane, in general position, and all segments (edges) connecting them. It is a well known question of Bose, Hurtado, Rivera-Campo, and Wood, whether there exists a positive constant $c<1$, such that every complete geometric graph on $n$ points can be partitioned into at most $cn$ plane graphs (that is, noncrossing subgraphs). We answer this question in the affirmative in the special case where the underlying point set $P$ is \emph{dense}, which means that the ratio between the maximum and the minimum distances in $P$ is of the order of $Θ(\sqrt{n})$.
Alcove walk models for parabolic Mirković-Vilonen intersections and branching to Levi subgroups
Published
• View Publication
• BIB
This article establishes alcove walk models for intersections of Schubert varieties and partially semi-infinite orbits in the affine Grassmannian of a split reductive group (we call such intersections parabolic Mirković-Vilonen intersections). More precisely, we describe explicit cellular pavings of these intersections, indexed by certain positively-folded alcove walks. We prove a parametrization of the irreducible components of maximal possible dimension, in terms of alcove walks of maximal possible dimension. We then deduce a new combinatorial description of branching to Levi subgroups of irreducible highest weight representations, and in particular we give a new algorithm for computing the characters of such representations.
Sublinear Cuts are the Exception in BDF-GIRGs
Published
• View Publication
• BIB
The introduction of geometry has proven instrumental in the efforts towards more realistic models for real-world networks. In Geometric Inhomogeneous Random Graphs (GIRGs), Euclidean Geometry induces clustering of the vertices, which is widely observed in networks in the wild. Euclidean Geometry in multiple dimensions however restricts proximity of vertices to those cases where vertices are close in each coordinate. We introduce a large class of GIRG extensions, called BDF-GIRGs, which capture arbitrary hierarchies of the coordinates within the distance function of the vertex feature space. These distance functions have the potential to allow more realistic modeling of the complex formation of social ties in real-world networks, where similarities between people lead to connections. Here, similarity with respect to certain features, such as familial kinship or a shared workplace, suffices for the formation of ties. It is known that - while many key properties of GIRGs, such as log-log average distance and sparsity, are independent of the distance function - the Euclidean metric induces small separators, i.e. sublinear cuts of the unique giant component in GIRGs, whereas no such sublinear separators exist under the component-wise minimum distance. Building on work of Lengler and Todorović, we give a complete classification for the existence of small separators in BDF-GIRGs. We further show that BDF-GIRGs all fulfill a stochastic triangle inequality and thus also exhibit clustering.
Quasi-transitive $K_\infty$-minor free graphs
We prove that every locally finite quasi-transitive graph that does not contain $K_\infty$ as a minor is quasi-isometric to some planar quasi-transitive locally finite graph. This solves a problem of Esperet and Giocanti and improves their recent result that such graphs are quasi-isometric to some planar graph of bounded degree.
Moduli spaces in positive geometry
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 17-101
• Search Publication
These are lecture notes for five lectures given at MPI Leipzig in May 2024. We study the moduli space M_{0,n} of n distinct points on P^1 as a positive geometry and a binary geometry. We develop mathematical formalism to study Cachazo-He-Yuan's scattering equations and the associated scalar and Yang-Mills amplitudes. We discuss open superstring amplitudes and relations to tropical geometry.
Some new Bollobás-type inequalities
Published
• View Publication
• BIB
A family of disjoint pairs of finite sets $\mathcal{P}=\{(A_i,B_i)\mid i\in[m]\}$ is called a Bollobás system if $A_i\cap B_j\neq\emptyset$ for every $i\neq j$, and a skew Bollobás system if $A_i\cap B_j\neq\emptyset$ for every $i<j$. Bollobás proved that for a Bollobás system, the inequality \begin{equation*} \sum_{i=1}^m\binom{|A_i|+|B_i|}{|A_i|}^{-1}\leq 1 \end{equation*} holds. Hegedüs and Frankl generalized this theorem to skew Bollobás systems with the inequality \begin{equation*} \sum_{i=1}^m\binom{|A_i|+|B_i|}{|A_i|}^{-1}\leq 1+n, \end{equation*} provided $A_i,B_i\subseteq [n]$. In this paper, we improve this inequality to \begin{equation*} \sum_{i=1}^m \left((1+|A_i|+|B_i|) \binom{|A_i|+|B_i|}{|A_i|}\right)^{-1} \leq 1 \end{equation*} with probabilistic method. We also generalize this result to partitions of sets on both symmetric and skew cases.
Mathematical Foundations of Interlocking Assemblies
The study of interlocking assemblies is an emerging field with applications in various disciplines. However, to this day, the mathematical treatment of these assemblies has been sparse. In this work, we develop a comprehensive mathematical theory for interlocking assemblies, providing a precise definition and a method for proving the interlocking property based on infinitesimal motions. We consider assemblies with crystallographic symmetries and verify interlocking properties for such assemblies. Our analysis includes the development of an infinite polytope with crystallographic symmetries to ensure that the interlocking property holds. For a certain block, called the RhomBlock, that can be assembled in numerous ways, characterised by the combinatorial theory of lozenges, we rigorously prove the interlocking property. By conclusively showing that any assembly of the RhomBlock is interlocking, we provide a robust framework for further exploration and application of interlocking assemblies.
Degrees of P-Grothendieck polynomials and regularity of Pfaffian varieties
Published
• View Publication
• BIB
We prove a formula for the degrees of Ikeda and Naruse's $P$-Grothendieck polynomials using combinatorics of shifted tableaux. We show this formula can be used in conjunction with results of Hamaker, Marberg, and Pawlowski to obtain an upper bound on the Castelnuovo-Mumford regularity of certain Pfaffian varieties known as vexillary skew-symmetric matrix Schubert varieties. Similar combinatorics additionally yields a new formula for the degree of Grassmannian Grothendieck polynomials and the regularity of Grassmannian matrix Schubert varieties, complementing a 2021 formula of Rajchgot, Ren, Robichaux, St. Dizier, and Weigandt.
Gap between the number of facets of the two poset polytopes
Published
• View Publication
• BIB
We study the difference between the number of facets of the order polytope and the chain polytope of a poset. Hibi and Li classified posets where the gap is exactly zero. We describe the bounds on this gap using the new notion of crossing numbers, and then use this result to classify the posets where the gap is exactly one.
The $e$-positivity of the chromatic symmetric function for twinned paths and cycles
Published in Discrete Math. 348, No. 12, Article ID 114687, 27 p. (2025)
• View Publication
• BIB
The operation of twinning a graph at a vertex was introduced by Foley, Hoàng, and Merkel (2019), who conjectured that twinning preserves $e$-positivity of the chromatic symmetric function. A counterexample to this conjecture was given by Li, Li, Wang, and Yang (2021). In this paper, we prove that $e$-positivity is preserved by the twinning operation on cycles, by giving an $e$-positive generating function for the chromatic symmetric function, as well as an $e$-positive recurrence. We derive similar $e$-positive generating functions and recurrences for twins of paths. Our methods make use of the important triple deletion formulas of Orellana and Scott (2014), as well as new symmetric function identities.