Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Hopf Algebras of B-Diagrams and Boson Normal Ordering: Exploring the Dual Structures
We consider the Hopf algebra of B-diagrams as an algebra projecting onto the Heisenberg algebra and designed to encode the combinatorics of the bosonic normal-ordering problem. In order to understand and generalize the properties of the algebra of noncommutative symmetric polynomials viewed as a Hopf subalgebra of the Hopf algebra linearly spanned by B-diagrams, we describe and study its dual Hopf algebra. This construction also allows us to establish connections with combinatorial Hopf algebras based on colored set partitions.
Asymptotic Rate Bounds and Constructions for the Inclusive Variant of Disjunct Matrices
Published in 2026 IEEE International Symposium on Information Theory (ISIT), Guangzhou, China, 2026, pp. 1-6
• View Publication
• BIB
Disjunct matrices, also known as cover-free families and superimposed codes, are combinatorial arrays widely used in group testing. Among their variants, those that satisfy an additional combinatorial property called inclusiveness form a special class suitable for computationally efficient and highly error-tolerant group testing under the general inhibitor complex model, a broad framework that subsumes practical settings such as DNA screening. Despite this relevance, the asymptotic behavior of the inclusive variant of disjunct matrices has remained largely unexplored. In particular, it was not previously known whether this variant can achieve an asymptotically positive rate, a requirement for scalable group testing designs. In this work, we establish the first nontrivial asymptotic lower bound on the maximum achievable rate of the inclusive variant, which matches the strongest known upper bound up to a logarithmic factor. Our proof is based on the probabilistic method and yields a simple and efficient randomized construction. Furthermore, we derandomize this construction to obtain a deterministic polynomial-time construction. These results clarify the asymptotic potential of robust and scalable group testing under the general inhibitor complex model.
Maximum number of one-element commutation classes of a permutation
Published
• View Publication
• BIB
In this paper, we provide an upper bound for the number of one-element commutation classes of a permutation, that is, the number of reduced words in which no commutation can be applied. Using this upper bound, we prove a conjecture that relates the number of reduced words with the number of commutation classes of a permutation.
Generalizing two families of scattered quadrinomials in $\mathbb{F}_{q^{2t}}[X]$
Published
• View Publication
• BIB
In recent years, several efforts have focused on identifying new families of scattered polynomials. Currently, only three families in $\mathbb{F}_{q^n}[X]$ are known to exist for infinitely many values of $n$ and $q$: (i) pseudoregulus-type monomials, (ii) Lunardon-Polverino-type binomials, and (iii) a family of quadrinomials studied in a series of papers. In this work, we provide sufficient conditions under which these quadrinomials, denoted by $ψ_{m,h,s}$, are scattered. Our results both include and generalize those obtained in previous studies. We also investigate the equivalences between the previously known families of scattered polynomials and those in this new class.
$q$-deformation of the Marchenko-Pastur law
Published
• View Publication
• BIB
We study a $q$-deformed random unitary ensemble associated with the little-$q$ Laguerre weight, which provides a discrete analogue of the classical Laguerre unitary ensemble. In the double scaling regime $q=e^{-λ/N}$, where $N$ is the system size and $λ\ge 0$, we derive the limiting spectral distribution as $N\to \infty$, which yields a $q$-deformation of the Marchenko-Pastur law. The limiting density undergoes a phase transition at an explicitly determined critical value $λ_c$: for $λ<λ_c$, the support consists of a single band region, whereas for $λ>λ_c$ an additional saturated region emerges adjacent to the band region. Our derivation of the limiting distribution is based on three complementary approaches: the method of moments, the analysis of a constrained equilibrium problem, and the asymptotic zero distribution of orthogonal polynomials. As a consequence, we establish the convergence of the empirical measure as well as a large deviation principle. In addition, we derive closed-form expressions for the spectral moments using the combinatorial structure of orthogonal polynomials, and obtain large-$N$ expansions for these moments.
Exact number of flips required to sort a burnt stack of pancakes
For the buffet, the waiter of a restaurant gets a large stack of pancakes from the overworked cook. As usual, one side is burnt, and as the level of batter decreases, the pancakes became smaller and smaller. Hence, the waiter ends up with a stack of one-sided burnt pancakes sorted by size, with the larger at the bottom and burnt side up. However, the waiter cannot serve them this way. He needs to turn all the burnt sides down, without changing the order. Having only a spatula, he can only perform flips to the top of the stack. How can he perform this transformation in a minimum number of flips? Having n pancakes, this problem can be modeled in the burnt pancake graph, having 2^n*n! vertices, where each possible stack of pancakes corresponds to a vertex expressed by a permutation of size n, where the pancakes are ordered by size, and the pancake numbers are multiplied by -1, if the corresponding pancake has the burnt side side up. An edge exists in this graph, if the corresponding stacks can be reached from each other by one flip. Let T(n) be the minimum number of flips to sort the stack of n pancakes (-1,...,-n). General burnt pancake sorting has been introduced by Bill Gates and Papadimitriou. The instance (-1,...,-n) has strong relevance because of its easy structure and as it has been shown to be a worst-case instance for several small n. Heydari and Sudborough gave the currently best upper bound of T(n), namely (3n+3)/2 for n = 3 mod 4, which later has been shown to be exact by a work of Cibulka. Except these two works, no progress regarding lower and upper bounds has been made until now. In our work, we present that (3n+3)/2 is also an upper bound of T(n) for n = 1 mod 4, which again matches the lower bound of Cibulka and thus is exact. The case of even n keeps an open problem, where two possible values for T(n) are possible, namely (3/2)n + 1 or (3/2)n + 2.
The maximum number of triangles in graphs without the square of a path
The generalized Turán number for $H$ of $G$, denoted by $\ex(n,H,G)$, is the maximum number of copies of $H$ in an $n$-vertex $G$-free graph. When $H$ is an edge, $\ex(n,H,G)$ is the classical Turán number $\ex(n,G)$. Let $P_k$ be the path with $k$ vertices. The square of $P_k$, denoted by $P_k^2$, is obtained by joining the pairs of vertices with distance at most two in $P_k$.
The Turán number of $P_k^2$, $\ex(n, P_k^2)$, was determined by several researchers. When $k=3$, $P_3^2$ is the triangle and $\ex(n, P_3^2)$ is well-known from Mantel's theorem. When $k=4$, $\ex(n, P_4^2)$ was solved by Dirac in a more general context. When $k=5,6$, the problem was solved by Xiao, Katona, Xiao, and Zamora. For general $k \ge 7$, the problem was solved by Yuan in a more general context.
Recently, Mukherjee determined the generalized Turán number $\ex(n, K_3, P_5^2)$. In this paper, we determine the exact value of $\ex(n, K_3, P_6^2)$ and characterize all the extremal graphs for $n \ge 11$.
Forbidding edge-critical graphs as trace in uniform hypergraphs
We say a hypergraph $\mathcal{H}$ contains a graph $G$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = V(G)$ and $\{e \cap S \mid e \in E(\mathcal{H})\}$ contains $G$ as a subgraph.
We use $\mathrm{ex}(n, Tr_r(G))$ to denote the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices not containing $G$ as trace.
The study of Turán numbers for traces was initiated by Mubayi and Zhao~(2017) who studied $\mathrm{ex}(n, Tr_r(K_{s+1}))$ where $K_{s+1}$ is a clique on $s+1$ vertices and conjectured the exact value of $\mathrm{ex}(n, Tr_r(K_{s+1}))$.
When $r \le s$, the conjecture was covered by a result of Pikhurko~(2013) who gave the exact value of Turán numbers for expanded cliques.
Then Gerbner and Picollelli~(2023) gave the exact value for book graphs~($K_{1,1,t}$, the complete tripartite graph with two parts of size one and one part of size $t \ge 2$).
We say $G$ is edge-critical if there exists an edge $e \in E(G)$ such that $χ(G - e) < χ(G)$ where $χ(G)$ is the chromatic number of $G$.
The definition of edge-critical was given by Simonovits~(1974), who proved that for an edge-critical graph $G$ with $χ(G) = s+1 \ge 3$, the Turán graph $T(n,s)$ is the unique extremal graph for $ex(n,G)$ as $n$ is sufficiently large.
In this paper, we further generalize the results of Gerbner and Picollelli~(2023) to edge-critical graphs.
More precisely, we prove that for an edge-critical graph $G$ with $χ(G) = s+1$, when $s \ge r \ge 3$ and $n$ is sufficiently large, the $r$-uniform Turán graph $T_r(n,s)$ is the unique extremal hypergraph.
Boltzmann Sampling for Powersets without an Oracle
We show that powersets over structures with a bounded counting sequence can be sampled efficiently without evaluating the generating function. An algorithm is provided, implemented, and tested. Runtimes are comparable to existing Boltzmann samplers reported in the literature.
Proof of a Conjecture on Young Tableaux with Walls
Banderier, Marchal, and Wallner considered Young tableaux with walls, which are similar to standard Young tableaux, except that local decreases are allowed at some walls. In this work, we prove a conjecture of Fuchs and Yu concerning the enumeration of two classes of three-row Young tableaux with walls. Combining with the work by Chang, Fuchs, Liu, Wallner, and Yu leads to the verification of a conjecture on tree-child networks proposed by Pons and Batle. This conjecture was regarded as a specific and challenging problem in the Phylogenetics community until it was finally resolved by the present work.
On $L^2$ estimates for quadratic images of product Frostman measures
Let $f\in\mathbb R[x,y,z]$ be a fixed non-degenerate quadratic polynomial. Given an $α$-Frostman probability measure $μ$ supported on $[0,1]$ with $α\in(0,1)$, consider the pushforward measure $ν=f_{\#}(μ\timesμ\timesμ)$ on $\mathbb R$. We prove the following $L^2$ energy estimate: for a fixed nonnegative Schwartz function $\varphi$ with $\int\varphi=1$ and $\varphi_δ(t)=δ^{-1}\varphi(t/δ)$, there exist $ε>0$ and $δ_{0}>0$ (depending only on $α$ and the coefficients of $f$) such that \[ \int_{\mathbb R}(\varphi_δ*ν(t))^{2}\,dt \ \lesssim\ δ^{α+ε-1} \qquad \text{for all } δ\in(0,δ_{0}]. \] The proof expands the $L^2$ energy into a weighted six-fold coincidence integral and reduces the main contribution to a planar incidence problem after a controlled change of variables. The key new input is an incidence estimate for point sets that arise as bi-Lipschitz images of a Cartesian product $M\times M$ of a $δ$-separated and non-concentrated set $M$, yielding a power saving beyond what is available from separation and non-concentration alone. We also give examples showing that bounded support and Frostman-type hypotheses are necessary for such $L^{2}$ control.
Birational morphisms in quantum toric geometry
In this paper, we investigate birational toric morphisms between quantum toric stacks -- namely, toric (analytic) stacks associated with fans whose cones may be irrational -- focusing on two primary classes of examples: weighted blow-ups with arbitrary weights, and morphisms induced by cobordisms.
Inverse Eigenvalue Problems, Floquet Isospectrality and the Hilbert--Chow Morphism
When can one change the diagonal of a matrix without changing its spectrum? We completely answer this question over an algebraically closed field of characteristic zero or larger than the size of the matrix: An $n \times n$ matrix $A$ admits a nonzero diagonal matrix $D$ such that $A$ and $A+D$ have the same spectrum if and only if, for some size $k$, the $k \times k$ principal minors of $A$ are not all equal. This relates to the classical additive inverse eigenvalue problem in numerical analysis and has implications for existence and rigidity results in the theory of Floquet isospectrality of discrete periodic operators in solid state physics. The proof employs new techniques involving Hilbert schemes of points and the infinitesimal structure of the Hilbert--Chow morphism.
The 3-symmetric Pseudolinear Crossing Number of $K_{33}$
We show that the 3-symmetric rectilinear and the 3-symmetric pseudolinear crossing numbers of $K_{33}$ are equal. Specifically, we prove that $\operatorname{sym}-\overline{\operatorname{cr}}_3(K_{33}) = 14 634 = \operatorname{sym}-\widetilde{\operatorname{cr}}_3(K_{33})$.
Quantative universality for cokernels of matrices with symmetries
We prove universality for cokernels of random integral matrices with symmetries via an approach different from the classical surjection moment method introduced by Wood (arXiv:1402.5149). In the symmetric case, we reprove Hodges' universality theorem (arXiv:2311.07078), i.e. the version incorporating the canonical pairing from Wood's setting, and in the alternating case we reprove the local universality theorem of Nguyen-Wood (arXiv:2210.08526). A key advantage of our method is that it is quantitative: we obtain explicit error bounds, which are exponentially small in most regimes, thereby addressing Wood's question on effective convergence rates. Our argument is inspired by Maples' exposure-process and coupling viewpoint (arXiv:1301.1239) and uses a generalized form of Fourier-analytic estimates in the exponentially sharp style of Ferber-Jain-Sah-Sawhney (arXiv:2106.04049).
Kostant cuspidal permutations
In relation to Kostant's problem for simple highest weight modules over the general linear Lie algebra, we prove a persistence result for Kostant negative consecutive patterns. Inspired by it, we introduce the notion of a Kostant cuspidal permutation as a minimal Kostant negative consecutive pattern. It is shown that Kostant cuspidality is an invariant of a Kazhdan-Lusztig left cell. We describe four infinite families of Kostant cuspidal involutions, including a complete classification of Kostant cuspidal fully commutative involutions. In particular, we show that the number of new Kostant cuspidal elements can be arbitrarily large, when the rank grows. This provides some potential explanation why Kostant's problem is hard.
Cylinder type and $p$-divisible sets in $\mathbb{F}_p^3$
A set of points $S \subseteq \mathbb{F}_p^n$ is called \emph{$p$-divisible} if every affine hyperplane in $\mathbb{F}_p^n$ intersects $S$ in $0 \pmod p$ points. The Strong Cylinder Conjecture of Ball asserts that if
$S$ is a $p$-divisible set of $p^2$ points in $\mathbb{F}_p^3$, then $S$ is a cylinder. In this paper, we show that every $p$-divisible multiset $S$ is both a $\mathbb{F}_p$-linear and $\mathbb{Z}$-linear combination of characteristic functions of cylinders. In addition, the multisets of size $p^2$ are $\Z$-linear combinations of a plane and weighted differences of parallel lines.
Tree metrics and log-concavity for matroids
Published
• View Publication
• BIB
We show that a set function $ν$ satisfies the gross substitutes property if and only if its homogeneous generating polynomial $Z_{q,ν}$ is a Lorentzian polynomial for all positive $q \le 1$, answering a question of Eur-Huh. We achieve this by giving a rank 1 upper bound for the distance matrix of an ultrametric tree, refining a classical result of Graham-Pollak. This characterization enables us to resolve two open problems that strengthen Mason's log-concavity conjectures for the number of independent sets of a matroid: one posed by Giansiracusa-Rincón-Schleis-Ulirsch for valuated matroids, and two posed by Dowling in 1980 and Zhao in 1985 for ordinary matroids.
Cardinality-consistent flag codes with longer type vectors
Published
• View Publication
• BIB
Flag codes generalize constant dimension codes by considering sequences of nested subspaces with prescribed dimensions as codewords. A comprehensive construction, which unites cyclic orbit flag codes, yields two families of flag codes on $\mathbb{F}^n_q$ (where $n=sk+h$ with $s\geq 2$ and $0\leq h < k$): optimum distance flag codes of the longest possible type vector $(1, 2, \ldots, k, n-k, \ldots, n-1)$ and flag codes with longer type vectors $(1, 2, \ldots, k+h, 2k+h, \ldots, (s-2)k+h, n-k, \ldots, n-1)$. These flag codes achieve the same cardinality $\sum^{s-1}_{i=1}q^{ik+h}+1$.
Flow cones of graphs with cycles and locally gentle algebras
Flow cones of a directed acyclic graph admit a family of unimodular triangulations given by Danilov, Karzanov, and Koshevoy (DKK) whose normal fans are related to (generalizations) of the associahedron and permutahedron. A correspondence between these triangulations for certain graphs and maximal cones of a $g$-vector fan of a gentle quiver associated to the graph was discovered by von Bell, Braun, Bruegge, Hanely, Peterson, Serhiyenko, and Yip in 2022. This correspondence has been fruitful in uncovering lattice structures in the triangulations. We start by showing that this correspondence is actually a linear isomorphism. We then consider flow cones of certain graphs with cycles. For this case, we give a DKK-like triangulation of the cone, and extend the correspondence to the finite $g$-vector fan of a corresponding locally gentle quiver. In addition, we extend to cyclic graphs a mysterious result of Postnikov--Stanley and Baldoni--Vergne, giving the volume of flow polytopes of acyclic graphs as the number of certain integer flows on the same graph.
We illustrate our results with a two-parameter family of cyclic graphs that includes a cycle graph and nested 2-cycles as special cases. We show that the fans of its DKK-like triangulations are respectively isomorphic to the normal fan of the cyclohedron and of a new polytope with the same $f$-vector but different combinatorial type than the permutahedron.