Showing 20 papers (Total: 83400 papers, 48159 authors in database)
The geometry of zonotopal algebras I: cohomology of graphical configuration spaces
Zonotopal algebras of vector arrangements are combinatorially-defined algebras with connections to approximation theory, introduced by Holtz and Ron and independently by Ardila and Postnikov. We show that the internal zonotopal algebra of a cographical vector arrangement is isomorphic to the cohomology ring of a certain configuration space introduced by Moseley, Proudfoot, and Young. We also study an integral form of this algebra, which in the cographical case is isomorphic to the integral cohomology ring. Our results rely on interpreting the internal zonotopal algebra of a totally unimodular arrangement as an orbit harmonics ring, that is, as the associated graded of the ring of functions on a finite set of lattice points.
Improved bounds for the coefficient of flow polynomials
Let $G$ be a connected bridgeless $(n,m)$-graph which may have loops and multiedges, and let $F(G,t)$ denote the flow polynomial of $G$. Dong and Koh \cite{Dong1} established an upper bound for the absolute value of coefficient $c_{i}$ of $t^{i}$ in the expansion of $F(G,t)$, where $0\leqslant i \leqslant m-n+1$. In this paper, we refine the aforementioned bound. Specifically, we demonstrate that when $n \leqslant m \leqslant n+3$, $|c_{i}|\leqslant d_{i}$, where $d_{i}$ is the coefficient of $t^{i}$ in the expansion $\prod\limits_{j=1}^{m-n+1}(t+j)$; and when $m\geqslant n+4$, $|c_{i}|\leqslant d_{i}$, with $d_{i}$ being the coefficient of $t^{i}$ in the expansion $(t+1)(t+2)(t+3)^{2}(t+4)^{m-n-3}$. Furthermore, we prove that if $G$ is a connected bridgeless cubic graph having only real flow roots, then $b_{i}\leqslant |c_{i}|$, where $b_{i}$ is the coefficient of $t^{i}$ in the expansion $(t+1)(t+2)^{\frac{n}{2}}$. Notably, if $G$ is simple connected bridgeless cubic graph with only real flow roots, then $b_{i}$ is the coefficient of $t^{i}$ in the expansion $(t+1)(t+2)^{\frac{n}{2}-2}(t+3)^{2}$.
Toeplitz Unlabeled Sensing
Published
• View Publication
• BIB
Unlabeled sensing is the problem of recovering an element of a vector subspace of R^n, from its image under an unknown permutation of the coordinates and knowledge of the subspace. Here we study this problem for the special class of subspaces that admit a Toeplitz basis.
On the edge reconstruction of the second immanantal polynomials of undirected graph and digraph
Let $M=(m_{ij})$ be an $n\times n$ matrix. The second immanant of matrix $M$ is defined by \begin{eqnarray*} d_{2}(M)=\sum_{σ\in S_{n}}χ_{2}(σ)\prod_{s=1}^{n}m_{sσ(s)}, \end{eqnarray*} where $χ_{2}$ is the irreducible character of $S_{n}$ corresponding to the partition $(2^{1},1^{n-2})$. The polynomial $d_{2}(xI-M)$ is called the second immanantal polynomial of matrix $M$. Denote by $D(G)$ (resp. $D(\overrightarrow{G})$) and $A(G)$ (resp. $A(\overrightarrow{G})$) the diagonal matrix of vertex degrees and the adjacency matrix of undirected graph $G$ (resp. digraph $\overrightarrow{G}$), respectively. In this article, we prove that $d_{2}(xI-A(G))$ (resp. $d_{2}(xI-A(\overrightarrow{G}))$) can be reconstructed from the second immanantal polynomials of the adjacency matrix of all subgraphs in $\{G-uv,G-u-v|uv\in E(G)\}$ (resp. $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$). Furthermore, the polynomial $d_{2}(xI-D(\overrightarrow{G})\pm A(\overrightarrow{G}))$ can also be reconstructed by the second immanantal polynomials of the (signless) Laplacian matrixs of all subgraphs in $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$, respectively.
Brualdi-Goldwasser-Michael problem for maximum permanents of {\rm(0,1)}-matrices
Published
• View Publication
• BIB
Let $\mathscr{U}(n,τ)$ be the set of all {\rm(0,1)}-matrices of order $n$ with exactly $τ$ 0's. Brualdi et al. investigated the maximum permanents of all matrices in $\mathscr{U}(n,τ)$(R.A. Brualdi, J.L. Goldwasser, T.S. Michael, Maximum permanents of matrices of zeros and ones, J. Combin. Theory Ser. A 47 (1988) 207--245.). And they put forward an open problem to characterize the maximum permanents among all matrices in $\mathscr{U}(n,τ)$. In this paper, we focus on the problem. And we characterize the maximum permanents of all matrices in $\mathscr{U}(n,τ)$ when $n^{2}-3n\leqτ\leq n^{2}-2n-1$. Furthermore, we also prove the maximum permanents of all matrices in $\mathscr{U}(n,τ)$ when $σ-kn\equiv0 (mod~k+1)$ and $(k+1)n-σ\equiv0(mod~k)$, where $σ=n^{2}-τ$, $kn\leqσ\leq (k+1)n$ and $k$ is integer.
What is Positive Geometry?
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 3-16
• Search Publication
This article serves as an introduction to the special volume on Positive Geometry in the journal Le Matematiche. We attempt to answer the question in the title by describing the origins and objects of positive geometry at this early stage of its development. We discuss the problems addressed in the volume and report on the progress. We also list some open challenges.
Generalized De Bruijn Words, Invertible Necklaces, and the Burrows-Wheeler Transform
We define generalized de Bruijn words as those words having a Burrows-Wheeler transform that is a concatenation of permutations of the alphabet. We show that generalized de Bruijn words are in 1-to-1 correspondence with Hamiltonian cycles in the generalized de Bruijn graphs introduced in the early '80s in the context of network design. When the size of the alphabet is a prime $p$, we define invertible necklaces as those whose BWT-matrix is non-singular. We show that invertible necklaces of length $n$ correspond to normal bases of the finite field $F_{p^n}$, and that they form an Abelian group isomorphic to the Reutenauer group $RG_p^n$. Using known results in abstract algebra, we can make a bridge between generalized de Bruijn words and invertible necklaces. In particular, we highlight a correspondence between binary de Bruijn words of order $d+1$, binary necklaces of length $2^{d}$ having an odd number of $1$'s, invertible BWT matrices of size $2^{d}\times 2^{d}$, and normal bases of the finite field $F_{2^{2^{d}}}$.
The GFB Tree and Tree Imbalance Indices
Published
• View Publication
• BIB
Tree balance plays an important role in various research areas in phylogenetics and computer science. Typically, it is measured with the help of a balance index or imbalance index. There are more than 25 such indices available, recently surveyed in a book by Fischer et al. They are used to rank rooted binary trees on a scale from the most balanced to the least balanced. We show that a wide range of subtree-size based measures satisfying concavity and monotonicity conditions are minimized by the complete or greedy-from-the-bottom (GFB) tree and maximized by the caterpillar tree, yielding an infinitely large family of distinct new imbalance indices. Answering an open question from the literature, we show that one such established measure, the $\widehat{s}$-shape statistic, has the GFB tree as its unique minimizer. We also provide an alternative characterization of GFB trees, showing that they are equivalent to complete trees, which arise in different contexts. We give asymptotic bounds on the expected $\widehat{s}$-shape statistic under the uniform and Yule-Harding distributions of trees, and answer questions for the related $Q$-shape statistic as well.
On Zero Skip-Cost Generalized Fractional-Repetition Codes from Covering Designs
Published
• View Publication
• BIB
We study generalized fractional repetition codes that have zero skip cost, and which are based on covering designs. We show that a zero skip cost is always attainable, perhaps at a price of an expansion factor compared with the optimal size of fractional repetition codes based on Steiner systems. We provide three constructions, as well as show non-constructively, that no expansion is needed for all codes based on sufficiently large covering systems.
Oriented diameter of the complete tripartite graph (III)
Published
• View Publication
• BIB
Given a bridgeless graph $G$, let $\mathbb{D}(G)$ be the set of all strong orientations of $G$, and define the oriented diameter $f(G)$ of $G$ to be the minimum of diameters $diam(D)$ among all the strong orientations $D\in \mathbb{D}(G)$, i.e., $f(G)=\min\{diam(D)\mid D\in \mathbb{D}(G)\}$. In this paper, we determine the oriented diameter of complete tripartite graph $K(3,p,q)$ for $p\geqslant 5$. Combining with the previous results, the oriented diameter of complete tripartite graph $K(3,p,q)$ are known.
The Normal Play of the Domination Game
In 2010, Brešar, Klavžar and Rall introduced the optimization variant of the graph domination game and the game domination number, which was proved PSPACE-hard by Brešar et al. in 2016. In 2024, Leo Versteegen obtained the celebrated proof of the Conjecture $\frac{3}{5}$ on this variant of the domination game, proposed by Kinnersley, West and Zamani in 2013. In this paper, we investigate for the first time the normal play of the domination game, which we call Normal Domination Game, that is an impartial game where the last to play wins. We first prove that this game is PSPACE-complete even in graphs with diameter two. We also use the Sprague-Grundy theory to prove that Alice (the first player) wins in the path $P_n$ if and only if $n$ is not a multiple of $4$, and wins in the cycle $C_n$ if and only if $n=4k+3$ for some integer $k$. Moreover, we obtain a polynomial time algorithm to decide the winner for any disjoint union of paths and cycles in the Normal Domination Game and its natural partizan variant. Finally, we also prove that the Misère Domination Game (the last to play loses) is PSPACE-complete, as are the natural partizan variants of the normal game and the misère game.
Volumes of odd strata of quadratic differentials
We express the Masur--Veech volumes of "completed" strata of quadratic differentials with only odd singularities as a sum over stable graphs. This formula generalizes the formula of Delecroix-Goujard-Zograf-Zorich for principal strata. The coefficients of the formula are in our case intersection numbers of psi classes with the Witten-Kontsevich combinatorial classes; they naturally appear in the count of metric ribbon graphs with prescribed odd valencies. The "completed" strata that we consider are unions of odd strata and some adjacent strata, that contribute to the Masur--Veech volume with explicit weights. We present several conjectures on the large genus asymptotics of these Masur--Veech volumes that could be tackled with this formula.
On Preserving or Reversing Higher-Order Unimodality and Convexity by Sign-Regular Kernels
This work investigates preserving and reversing unimodality and convexity properties for sequences under transformations defined by sign-regular kernels. It is shown that these transformations only preserve these properties if the kernels are totally positive of order three or their additive inverse is totally negative of order three. In contrast, these transformations reverse these properties if the underlying kernel is totally negative or if its additive inverse is a totally positive kernel, both of order three. Furthermore, these results are extended to higher-order convex and multimodal sequences. These findings, which expand upon Karlin's earlier results on convexity, form the basis for deriving sufficient conditions for the preservation or reversal of higher-order convexity or generalised unimodality of a quotient of sequences, where both the numerator and denominator are transformations by the same sign-regular kernel.
Median eigenvalues of subcubic graphs
We show that the median eigenvalues of every connected graph of maximum degree at most three, except for the Heawood graph, are at most $1$ in absolute value, resolving open problems posed by Fowler and Pisanski, and by Mohar.
A new reducibility results for minihypers in finite projective geometries
Published
• View Publication
• BIB
In this paper we prove a new reducibility result for mini-hypers in projective geometries over finite fields. It is further used to characterize the minihypers with parameters (70, 22) in PG(4, 3). The latter can be used to attack the existence problem for some hypothetical ternary Griesmer codes of dimension 6.
CW-complexes and minimal Hilbert vector of graded Artinian Gorenstein algebras
I introduce a geometric interpretation of the set of standard graded Artinian Gorenstein algebras of codimension $n$ and degree $d$: the standard locus, which is a subset of the projective space of degree $d$ polynomials in $n$ variables, and I characterize it. Under opportune hypothesis, I prove that the locus of full Perazzo polynomials is the union of the minimal dimensional irreducible components of the standard locus and it is pure dimensional subset. On the other hand, I associate to any homogeneous polynomial a topological space, which is a CW-complex. Using all these sets, I prove that the Hilbert function restricted to the standard locus has minimal values on any irreducible component of the domain. I apply all this to the Full Perazzo Conjecture and I prove it.
Diagonalizations of denormalized volume polynomials
We show that diagonalization, products and lower truncations preserve the property of being a denormalized volume polynomial. We also discuss an application to poset inequalities.
Optimal covering of rectangular grid graphs with tours of constrained length
Given a rectangular grid graph with a special vertex at a corner called base station, we study the problem of covering the vertices of the entire graph with tours that start and end at the base station and whose lengths do not exceed a given threshold, while minimizing a quality measure. We consider two objective functions: minimizing the number of tours and minimizing the sum of their lengths. We present an algorithm that computes the optimal solution for both objectives in linear time with respect to the grid size.
Pattern avoidance in non-crossing and non-nesting permutations
Published
• View Publication
• BIB
Non-crossing and non-nesting permutations are variations of the well-known Stirling permutations. A permutation $π$ on $\{1,1,2,2,\ldots, n,n\}$ is called non-crossing if it avoids the crossing patterns $\{1212,2121\}$ and is called non-nesting if it avoids the nesting patterns $\{1221,2112\}.$ Pattern avoidance in these permutations has been considered in recent years, but it has remained open to enumerate the non-crossing and non-nesting permutations that avoid a single pattern of length 3. In this paper, we provide generating functions for those non-crossing and non-nesting permutations that avoid the pattern 231 (and, by symmetry, the patterns 132, 213, or 312).
3-Designs from PSL(2,q) with cyclic starter blocks
Published
• View Publication
• BIB
We consider when the projective special linear group over a finite field defines a $3$-design with a cyclic starter block. We will show that the equivalences of the existence of such $3$-$(q+1,5,3)$ and $3$-$(q+1,10,18)$ designs for a prime power $q\equiv 1\pmod{20}$, and $3$-$(q+1,13,33)$ and $3$-$(q+1,26,150)$ designs for a prime power $q\equiv 1\pmod{52}$, respectively.