Showing 20 papers (Total: 83722 papers, 48319 authors in database)
A classification of Mengerian $4$-uniform hypergraphs derived from graphs
In this paper, we give a classification of all Mengerian $4$-uniform hypergraphs derived from graphs.
Asymptotics for $d$-fold partition diamonds and related infinite products
Published
• View Publication
• BIB
We prove an asymptotic formula for the number of $d$-fold partition diamonds of $n$ and their Schmidt-type counterparts. In order to do so, we study the asymptotic behavior of certain infinite products. We also remark on interesting potential connections with mathematical physics and Bloch groups.
Algebras of graph functions
Differential operators acting on functions defined on graphs by different studies do not form a consistent framework for the analysis of real or complex functions in the sense that they do not satisfy the Leibniz rule of any order. In this paper we propose a new family of operators that satisfy the Leibniz rule, and as special cases, produce the specific operators defined in the literature, such as the graph difference and the graph Laplacian. We propose a framework to define the order of a differential operator consistently using the Leibniz rule in Lie algebraic setting.
Furthermore by identifying the space of functions defined on graph edges with the tensor product of node functions we construct a Lie bialgebra of graph functions and reinterpret the difference operator as a co-bracket. As an application, some explicit solutions of Schrödinger and Fokker-Planck equations are given.
K-theoretic positivity for matroids
Published
• View Publication
• BIB
Hilbert polynomials have positivity properties under favorable conditions. We establish a similar "K-theoretic positivity" for matroids. As an application, for a multiplicity-free subvariety of a product of projective spaces such that the projection onto one of the factors has birational image, we show that a transformation of its K-polynomial is Lorentzian. This partially answers a conjecture of Castillo, Cid-Ruiz, Mohammadi, and Montano. As another application, we show that the h*-vector of a simplicially positive divisor on a matroid is a Macaulay vector, affirmatively answering a question of Speyer for a new infinite family of matroids.
Slit-slide-sew bijections for constellations and quasiconstellations
Published
• View Publication
• BIB
We extend so-called slit-slide-sew bijections to constellations and quasiconstellations. We present an involution on the set of hypermaps given with an orientation, one distinguished corner, and one distinguished edge leading away from the corner while oriented in the given orientation. This involution reverts the orientation, exchanges the distinguished corner with the distinguished edge in some sense, slightly modifying the degrees of the incident faces in passing, while keeping all the other faces intact.
The construction consists in building a canonical path from the distinguished elements, slitting the map along it, and sewing back after sliding by one unit along the path. The involution specializes into a bijection interpreting combinatorial identities linking the numbers of constellations or quasiconstellations with a given face degree distribution, where the degree distributions differ by one $+1$ and one $-1$. In particular, this allows to recover the counting formula for constellations or quasiconstellations with a given face degree distribution.
Our bijections furthermore provide an algorithm for sampling a hypermap uniformly distributed among constellations or quasiconstellations with prescribed face degrees.
A bump statistic on permutations resulting from the Robinson-Schensted correspondence
Published in Ann. Comb. (2024)
• View Publication
• BIB
In this paper we investigate a permutation statistic that was independently introduced by Romik in 2005. This statistic counts the number of bumps that occur during the execution of the Robinson-Schensted procedure when applied to a given permutation. We provide several interpretations of this bump statistic that include the tableaux shape and also as an extremal problem concerning permutations and increasing subsequences. Several aspects of this bump statistic are investigated from both structural and enumerative viewpoints.
Type A Partially-Symmetric Macdonald Polynomials
Published
• View Publication
• BIB
We construct type A partially-symmetric Macdonald polynomials $P_{(λ\mid γ)}$, where $λ\in \mathbb{Z}_{\geq 0}^{n-k}$ is a partition and $γ\in \mathbb{Z}_{\geq 0}^k$ is a composition. These are polynomials which are symmetric in the first $n-k$ variables, but not necessarily in the final $k$ variables. We establish their stability and an integral form defined using Young diagram statistics. Finally, we build Pieri-type rules for degree 1 products $x_j P_{(λ\mid γ)}$ for $j > n-k$ and $e_1[x_1, \dotsc, x_{n-k}] P_{(λ\mid γ)}$, along with substantial combinatorial simplification of the $e_1$ multiplication. The $P_{(λ\mid γ)}$ are the same as the $m$-symmetric Macdonald polynomials defined by Lapointe up to a change of variables.
Characterizing traces of processes defined by precedence and response constraints: an order theory approach
Published
• View Publication
• BIB
In this paper we consider a general system of activities that can, but do not have to, occur. This system is governed by a set containing two types of constraints: precedence and response. A precedence constraint dictates that an activity can only occur if it has been preceded by some other specified activity. Response constraints are similarly defined. An execution of the system is a listing of activities in the order they occur and which satisfies all constraints. These listings are known as traces. Such systems naturally arise in areas of theoretical computer science and decision science. An outcome of the freedom with which activities can occur is that there are many different possible executions, and gaining a combinatorial insight into these is a non-trivial problem.
We characterize all of the ways in which such a system can be executed. Our approach uses order theory to provide a classification in terms of the linear extensions of posets constructed from the constraint sets. This characterization is essential in calculating the stakeholder utility metrics that have been developed by the first author that allow for quantitative comparisons of such systems/processes. It also allows for a better understanding of the theoretical backbone to these processes.
Homology of Partial Partitions Ordered by Inclusion
We investigate the set of partial partitions of a finite set, ordered by inclusion. With this ordering the set of partial partitions can be studied as an abstract simplicial complex. We use the theory of shellable nonpure complexes to find its Betti numbers and prove that there is a basis of its homology that consists of boundaries of combinatorial cross-polytopes of various dimensions.
New examples and partial classification of 15-vertex triangulations of the quaternionic projective plane
Published in Trudy Mat. Inst. Steklova, 326 (2024), 58-100 (in Russian); English transl. in: Proc. Steklov Inst. Math., 326 (2024), 52-89
• View Publication
• BIB
Brehm and Kühnel (1992) constructed three 15-vertex combinatorial 8-manifolds `like the quaternionic projective plane' with symmetry groups $\mathrm{A}_5$, $\mathrm{A}_4$, and $\mathrm{S}_3$, respectively. Gorodkov (2016) proved that these three manifolds are in fact PL homeomorphic to $\mathbb{HP}^2$. Note that 15 is the minimal number of vertices of a combinatorial 8-manifold that is not PL homeomorphic to $S^8$. In the present paper we construct a lot of new 15-vertex triangulations of $\mathbb{HP}^2$. A surprising fact is that such examples are found for very different symmetry groups, including those not in any way related to the group $\mathrm{A}_5$. Namely, we find 19 triangulations with symmetry group $\mathrm{C}_7$, one triangulation with symmetry group $\mathrm{C}_6\times\mathrm{C}_2$, 14 triangulations with symmetry group $\mathrm{C}_6$, 26 triangulations with symmetry group $\mathrm{C}_5$, one new triangulation with symmetry group $\mathrm{A}_4$, and 11 new triangulations with symmetry group $\mathrm{S}_3$. Further, we obtain the following classification result. We prove that, up to isomorphism, there are exactly 75 triangulations of $\mathbb{HP}^2$ with 15 vertices and symmetry group of order at least 4: the three Brehm-Kühnel triangulations and the 72 new triangulations listed above. On the other hand, we show that there are plenty of triangulations with symmetry groups $\mathrm{C}_3$ and $\mathrm{C}_2$, as well as the trivial symmetry group.
Structure and substructure connectivity of folded divide-and-swap cube
Let $ H $ be a connected subgraph of a graph $ G $. The structure connectivity of $ G $, denoted by $ κ(G;H) $, is the minimum number of a set of connected subgraphs in $ G $, whose removal disconnects $ G $ and each element in the set is isomorphic to $ H $. The substructure connectivity of $ G $, denoted by $ κ^s(G;H) $, is the minimum number of a set of connected subgraphs in $ G $, whose removal disconnects $ G $ and each element in the set is isomorphic to a connected subgraph of $ H $. In this paper, we determine $ H $-structure connectivity and $ H $-substructure connectivity of folded divide-and-swap cube $ FDSC_n $ for $ H\in\{K_1, K_{1,1}, K_{1,m} (2\leq m \leq d+1) \} $ where $ n=2^d $. We show that $κ(FDSC_n;K_1)=κ^s(FDSC_n;K_1)=d+2$, $κ(FDSC_n;K_{1,1})=κ^s(FDSC_n;K_{1,1})=d+1 $ for $ d\geq1 $ and $κ(FDSC_n;K_{1,m})=κ^s(FDSC_n;K_{1,m})=\lfloor\frac{d}{2}\rfloor+1$ for $d\geq1 $ and $ 2\leq m \leq d+1$.
The total number of descents and levels in tensor words and cyclic tensor words
We obtain an explicit formula for the total number of descents and levels in tensor words and cyclic tensor words of arbitrary dimension. We also establish the exact maximal number of descents in words and use it to obtain an upper bound on the maximal number of descents in tensor words.
Algorithms for Gromov-Witten Invariants of Elliptic Curves
We present an enhanced algorithm for exploring mirror symmetry for elliptic curves through the correspondence of algebraic and tropical geometry, focusing on Gromov-Witten invariants of elliptic curves and, in particular, Hurwitz numbers. We present a new highly efficient algorithm for computing generating series for these numbers. We have implemented the algorithm both using Singular and OSCAR. The implementations outperform by far the current method provided in Singular. The OSCAR implementation, benefiting in particular from just-in-time compilation, again by far outperforms the implementation of the new algorithm in Singular. This advancement in computing the Gromov-Witten invariants facilitates a study of number theoretic and geometric properties of the generating series, including quasi-modularity and homogeneity.
Refining Blecher and Knopfmacher's Integer Partition Fixed Points
Published in Enumer. Combin. Appl. 4:4 (2024) S2R26
• View Publication
• BIB
Recently, Blecher and Knopfmacher explored the notion of fixed points in integer partitions. Here, we distinguish partitions with a fixed point by which value is fixed and analyze the resulting triangle of integers. In particular, we confirm various identities for diagonal sums, row sums, and antidiagonal sums (which are finite for this triangle) and establish a four-term recurrence for triangle entries analogous to Pascal's lemma for the triangle of binomial coefficients. The partition statistics crank and mex arise. All proofs are combinatorial.
On the degree of polynomials computing square roots mod p
For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$.
When $p \equiv 3 \mod 4$, it is well known that $f(X) = X^{(p+1)/4}$ computes square roots. This degree is surprisingly low (and in fact lowest possible), since we have specified $(p-1)/2$ evaluations (up to sign) of the polynomial $f(X)$. On the other hand, for $p \equiv 1 \mod 4$ there was previously no nontrivial bound known on the lowest degree of a polynomial computing square roots in $\mathbb F_p$; it could have been anywhere between $\frac{p}{4}$ and $\frac{p}{2}$.
We show that for all $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots has degree at least $p/3$. Our main new ingredient is a general lemma which may be of independent interest: powers of a low degree polynomial cannot have too many consecutive zero coefficients. The proof method also yields a robust version: any polynomial that computes square roots for 99\% of the squares also has degree almost $p/3$.
In the other direction, a result of Agou, Deliglése, and Nicolas (Designs, Codes, and Cryptography, 2003) shows that for infinitely many $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots can be as small as $3p/8$.
Rainbow and Gallai-Rado numbers involving binary function equations
Published
• View Publication
• BIB
Let $\mathcal{E}$, $\mathcal{E}_1$, and $\mathcal{E}_2$ be equations, $n$ and $k$ be positive integers. The rainbow number $\operatorname{rb}([n],\mathcal{E})$ is difined as the minimum number of colors such that for every exact $(\operatorname{rb}([n],\mathcal{E}))$-coloring of $[n]$, there exists a rainbow solution of $\mathcal{E}$. The Gallai-Rado number $\operatorname{GR}_k(\mathcal{E}_1:\mathcal{E}_2)$ is defined as the minimum positive integer $N$, if it exists, such that for all $n\ge N$, every $k$-colored $[n]$ contains either a rainbow solution of $\mathcal{E}_1$ or a monochromatic solution of $\mathcal{E}_2$. In this paper, we get some exact values of rainbow and Gallai-Rado numbers involving binary function equations. We also provide an algorithm to calculate the rainbow numbers of nonlinear binary function equations.
Estimation of function's supports under arithmetic constraints
The well-known $|supp(f)||supp(\widehat{f}|\geq |G|$ inequality gives lower estimation of each supports. In the present paper we give upper estimation under arithmetic constrains. The main notion will be the additive energy which plays a central role in additive combinatorics. We prove an uncertainty inequality that shows a trade-off between the total changes of the indicator function of a subset $A\subseteq \mathbb F^n_2$ and the additive energy of $A$ and the Fourier spectrum.
A New Invariant of Lattice polytopes
Published
• View Publication
• BIB
The maximal degree of monomials belonging to the unique minimal system of monomial generators of the canonical module $ω(K[{\mathcal P}])$ of the toric ring $K[{\mathcal P}]$ defined by a lattice polytope ${\mathcal P}$ will be studied. It is shown that if ${\mathcal P}$ possesses an interior lattice point, then the maximal degree is at most ${\rm dim} {\mathcal P} - 1$, and that this bound is the best possible in general.
Remarks on the Hilbert depth of powers of the maximal graded ideal
Let $\mathbf m=(x_1,\ldots,x_n)$ be the maximal graded ideal of $S:=K[x_1,\ldots,x_n]$. We present a new method for computing the Hilbert depth of powers of $\mathbf m$.
Weighted tree games
Published
• View Publication
• BIB
We consider a variation on Maker-Breaker games on graphs or digraphs where the edges have random costs. We assume that Maker wishes to choose the edges of a spanning tree, but wishes to minimise his cost. Meanwhile Breaker wants to make Maker's cost as large as possible.