Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Structure of a sequence with prescribed zero-sum subsequences: Rank Two $p$-groups
Published
• View Publication
• BIB
Let $G=(\mathbb Z/n\mathbb Z) \oplus (\mathbb Z/n\mathbb Z)$. Let $\mathsf {s}_{\leq k}(G)$ be the smallest integer $\ell$ such that every sequence of $\ell$ terms from $G$, with repetition allowed, has a nonempty zero-sum subsequence with length at most $k$. It is known that $\mathsf {s}_{\leq 2n-1-k}(G)=2n-1+k$ for $k\in [0,n-1]$, with the structure of extremal sequences showing this bound tight determined when $k\in \{0,1,n-1\}$, and for various special cases when $k\in [2,n-2]$. For the remaining values $k\in [2,n-2]$, the characterization of extremal sequences of length $2n-2+k$ avoiding a nonempty zero-sum of length at most $2n-1-k$ remained open in general, with it conjectured that they must all have the form $e_1^{[n-1]} \boldsymbol{\cdot} e_2^{[n-1]} \boldsymbol{\cdot} (e_1 +e_2)^{[k]}$ for some basis $(e_1,e_2)$ for $G$. Here $x^{[n]}$ denotes a sequence consisting of the term $x$ repeated $n$ times. In this paper, we establish this conjecture for all $k\in [2,n-2]$ when $n$ is prime, which in view of other recent work, implies the conjectured structure for all rank two abelian groups.
Most plane curves over finite fields are not blocking
Published in J. Combin. Theory Ser. A 204 (2024), Paper No. 105871, 26pp
• View Publication
• BIB
A plane curve $C\subset\mathbb{P}^2$ of degree $d$ is called \emph{blocking} if every $\mathbb{F}_q$-line in the plane meets $C$ at some $\mathbb{F}_q$-point. We prove that the proportion of blocking curves among those of degree $d$ is $o(1)$ when $d\geq 2q-1$ and $q \to \infty$. We also show that the same conclusion holds for smooth curves under the somewhat weaker condition $d\geq 3p$ and $d, q \to \infty$. Moreover, the two events in which a random plane curve is smooth and respectively blocking are shown to be asymptotically independent. Extending a classical result on the number of $\mathbb{F}_q$-roots of random polynomials, we find that the limiting distribution of the number of $\mathbb{F}_q$-points in the intersection of a random plane curve and a fixed $\mathbb{F}_q$-line is Poisson with mean $1$. We also present an explicit formula for the proportion of blocking curves involving statistics on the number of $\mathbb{F}_q$-points contained in a union of $k$ lines for $k=1, 2, \ldots, q^2+q+1$.
Mixed Dimer Configuration Model in Type $D$ Cluster Algebras II: Beyond the Acyclic Case
Published
• View Publication
• BIB
This is a sequel to the second and third author's Mixed Dimer Configuration Model in Type $D$ Cluster Algebras where we extend our model to work for quivers that contain oriented cycles. Namely, we extend a combinatorial model for $F$-polynomials for type $D_n$ using dimer and double dimer configurations. In particular, we give a graph theoretic recipe that describes which monomials appear in such $F$-polynomials, as well as a graph theoretic way to determine the coefficients of each of these monomials. To prove this formula, we provide an explicit bijection between mixed dimer configurations and dimension vectors of submodules of an indecomposable Jacobian algebra module.
On the Uniqueness of Balanced Complex Orthogonal Design
Published
• View Publication
• BIB
Complex orthogonal designs (CODs) play a crucial role in the construction of space-time block codes. Their real analog, real orthogonal designs (or equivalently, sum of squares composition formula) have a long history. Adams et al. (2011) introduced the concept of balanced complex orthogonal designs (BCODs) to address practical considerations. BCODs have a constant code rate of $1/2$ and a minimum decoding delay of $2^m$, where $2m$ is the number of columns. Understanding the structure of BCODs helps design space-time block codes, and it is also fascinating in its own right.
We prove, when the number of columns is fixed, all (indecomposable) balanced complex orthogonal designs (BCODs) have the same parameters $[2^m, 2m, 2^{m-1}]$, and moreover, they are all equivalent.
A note on reduction of tiling problems
Published
• View Publication
• BIB
We show that translational tiling problems in a quotient of $\mathbb{Z}^d$ can be effectively reduced or ``simulated'' by translational tiling problems in $\mathbb{Z}^d$. In particular, for any $d \in \mathbb{N}$, $k < d$ and $N_1,\ldots,N_k \in \mathbb{N}$ the existence of an aperiodic tile in $\mathbb{Z}^{d-k} \times (\mathbb{Z} / N_1\mathbb{Z} \times \ldots \times \mathbb{Z} / N_k \mathbb{Z})$ implies the existence of an aperiodic tile in $\mathbb{Z}^d$. Greenfeld and Tao have recently disproved the well-known periodic tiling conjecture in $\mathbb{Z}^d$ for sufficiently large $d \in \mathbb{N}$ by constructing an aperiodic tile in $\mathbb{Z}^{d-k} \times (\mathbb{Z} / N_1\mathbb{Z} \times \ldots \times \mathbb{Z} / N_k \mathbb{Z})$ for suitable $d,N_1,\ldots,N_k \in \mathbb{N}$.
Supermodular Extension of Vizing's Edge-Coloring Theorem
Published
• View Publication
• BIB
Kőnig's edge-coloring theorem for bipartite graphs and Vizing's edge-coloring theorem for general graphs are celebrated results in graph theory and combinatorial optimization. Schrijver generalized Kőnig's theorem to a framework defined with a pair of intersecting supermodular functions. The result is called the supermodular coloring theorem.
This paper presents a common generalization of Vizing's theorem and a weaker version of the supermodular coloring theorem. To describe this theorem, we introduce intersecting 2/3-supermodular functions, which are extensions of intersecting supermodular functions. The paper also provides an alternative proof of Gupta's edge-coloring theorem using a special case of this supermodular version of Vizing's theorem.
Gallai's Path Decomposition for 2-degenerate Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (May 30, 2023) dmtcs:10313
• View Publication
• BIB
Gallai's path decomposition conjecture states that if $G$ is a connected graph on $n$ vertices, then the edges of $G$ can be decomposed into at most $\lceil \frac{n }{2} \rceil$ paths. A graph is said to be an odd semi-clique if it can be obtained from a clique on $2k+1$ vertices by deleting at most $k-1$ edges. Bonamy and Perrett asked if the edges of every connected graph $G$ on $n$ vertices can be decomposed into at most $\lfloor \frac{n}{2} \rfloor$ paths unless $G$ is an odd semi-clique. A graph $G$ is said to be 2-degenerate if every subgraph of $G$ has a vertex of degree at most $2$. In this paper, we prove that the edges of any connected 2-degenerate graph $G$ on $n$ vertices can be decomposed into at most $\lfloor \frac{n }{2} \rfloor$ paths unless $G$ is a triangle.
Fishburn trees
Published
• View Publication
• BIB
The in-order traversal provides a natural correspondence between binary trees with a decreasing vertex labeling and endofunctions on a finite set. By suitably restricting the vertex labeling we arrive at a class of trees that we call Fishburn trees. We give bijections between Fishburn trees and other well-known combinatorial structures that are counted by the Fishburn numbers, and by composing these new maps we obtain simplified versions of some of the known maps. Finally, we apply this new machinery to the so called flip and sum problems on modified ascent sequences.
Effective algebraicity for solutions of systems of functional equations with one catalytic variable
We study systems of $n \geq 1$ discrete differential equations of order $k\geq1$ in one catalytic variable and provide a constructive and elementary proof of algebraicity of their solutions. This yields effective bounds and a systematic method for computing the minimal polynomials. Our approach is a generalization of the pioneering work by Bousquet-Mélou and Jehanne (2006).
On distinguishing digraphs by its quasisymmetric B-polynomial
The $B$-polynomial defined by J. Awan and O. Bernardi is a generalization of Tutte Polynomial to digraphs. In this paper, we solve an open question raised by J. Awan and O. Bernardi regarding the expansion of $B$-polynomial in elementary symmetric polynomials. We show that the quasisymmetric generalization of the $B$-polynomial distinguishes a class of oriented proper caterpillars and the class of oriented paths. We present a recurrence relation for the quasisymmetric $B$-polynomial involving the deletion of a source or a sink. As a consequence, we prove that a class of digraph $\mathcal{D}$ is distinguishable if and only if the class $\mathcal{D}^{\vee}$ obtained by taking directed join of $K_1$ with each digraph in $\mathcal{D}$ is distinguishable, which concludes that the digraph analogue of Stanley's Tree conjecture holds for a large class of acyclic digraphs. We further study the symmetric properties of the quasisymmetric $B$-polynomial and its relation with certain digraphs.
The connectedness of the friends-and-strangers graph of lollipop graphs and others
Published
• View Publication
• BIB
Let $X$ and $Y$ be any two graphs of order $n$. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ of $X$ and $Y$ is a graph with vertex set consisting of all bijections $σ:V(X) \mapsto V(Y)$, in which two bijections $σ$, $σ'$ are adjacent if and only if they differ precisely on two adjacent vertices of $X$, and the corresponding mappings are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected. Let $\mathsf{Lollipop}_{n-k,k}$ be a lollipop graph of order $n$ obtained by identifying one end of a path of order $n-k+1$ with a vertex of a complete graph of order $k$. Defant and Kravitz started to study the connectedness of $\mathsf{FS}(\mathsf{Lollipop}_{n-k,k},Y)$. In this paper, we give a sufficient and necessary condition for $\mathsf{FS}(\mathsf{Lollipop}_{n-k,k},Y)$ to be connected for all $2\leq k\leq n$.
Towards the Erdős-Gallai Cycle Decomposition Conjecture
In the 1960's, Erdős and Gallai conjectured that the edges of any $n$-vertex graph can be decomposed into $O(n)$ cycles and edges. We improve upon the previous best bound of $O(n\log\log n)$ cycles and edges due to Conlon, Fox and Sudakov, by showing an $n$-vertex graph can always be decomposed into $O(n\log^{*}n)$ cycles and edges, where $\log^{*}n$ is the iterated logarithm function.
Directed hereditary species and decomposition spaces
We introduce the notion of directed hereditary species and show that they have associated monoidal decomposition spaces, comodule bialgebras, and operadic categories. The notion subsumes Schmitt's hereditary species, Gálvez--Kock--Tonks directed restrictions species, and a directed version of Carlier's construction of monoidal decomposition spaces and comodule bialgebras. In addition to all the examples of Schmitt, Gálvez--Kock--Tonks and Carlier, the new construction covers also the Fauvet--Foissy--Manchon comodule bialgebra of finite topological spaces, the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, and the Faà di Bruno comodule bialgebra of linear trees.
Separating paths systems of almost linear size
Published
• View Publication
• BIB
A separating path system for a graph $G$ is a collection $\mathcal{P}$ of paths in $G$ such that for every two edges $e$ and $f$ in $G$, there is a path in $\mathcal{P}$ that contains $e$ but not $f$. We show that every $n$-vertex graph has a separating path system of size $O(n \log^* n)$. This improves upon the previous best upper bound of $O(n \log n)$, and makes progress towards a conjecture of Falgas-Ravry--Kittipassorn--Korándi--Letzter--Narayanan and Balogh--Csaba--Martin--Pluhár, according to which an $O(n)$ bound should hold.
On Tuza's conjecture in co-chain graphs
Published
• View Publication
• BIB
In 1981, Tuza conjectured that the cardinality of a minimum set of edges that intersects every triangle of a graph is at most twice the cardinality of a maximum set of edge-disjoint triangles. This conjecture have been proved for several important graph classes, as planar graphs, tripartite graphs, among others. However, it remains open on other important classes of graphs, as chordal graphs. Furthermore, it remains open for main subclasses of chordal graphs, as split graphs and interval graphs. In this paper, we show that Tuza's conjecture is valid for co-chain graphs with even number of vertices in both sides of the partition, a known subclass of interval graphs.
A Uniform Sampling Procedure for Abstract Triangulations of Surfaces
Published in This paper will be published in the proceedings of the SIAM Symposium on Algorithm Engineering and Experiments (ALENEX) 2023
• View Publication
• BIB
We present a procedure to sample uniformly from the set of combinatorial isomorphism types of balanced triangulations of surfaces - also known as graph-encoded surfaces. For a given number $n$, the sample is a weighted set of graph-encoded surfaces with $2n$ triangles.
The sampling procedure relies on connections between graph-encoded surfaces and permutations, and basic properties of the symmetric group.
We implement our method and present a number of experimental findings based on the analysis of $138$ million runs of our sampling procedure, producing graph-encoded surfaces with up to $280$ triangles.
Namely, we determine that, for $n$ fixed, the empirical mean genus $\bar{g}(n)$ of our sample is very close to $\bar{g}(n) = \frac{n-1}{2} - (16.98n -110.61)^{1/4}$. Moreover, we present experimental evidence that the associated genus distribution more and more concentrates on a vanishing portion of all possible genera as $n$ tends to infinity. Finally, we observe from our data that the mean number of non-trivial symmetries of a uniformly chosen graph encoding of a surface decays to zero at a rate super-exponential in $n$.
Pieri and Murnaghan--Nakayama type Rules for Chern classes of Schubert Cells
Published
• View Publication
• BIB
We develop Pieri type as well as Murnaghan--Nakayama type formulas for equivariant Chern--Schwartz--MacPherson classes of Schubert cells in the classical flag variety. These formulas include as special cases many previously known multiplication formulas for Chern--Schwartz--MacPherson classes or Schubert classes. We apply the equivariant Murnaghan--Nakayama formula to the enumeration of rim hook tableaux.
Computation of partition functions of free fermionic solvable lattice models via permutation graphs
In this paper, we introduce a novel and general method for computing partition functions of solvable lattice models with free fermionic Boltzmann weights. The method is based on the ``permutation graph'' and the ``$F$-matrix'': the permutation graph is a generalization of the $R$-matrix, and the $F$-matrix is constructed based on the permutation graph. The method allows generalizations to lattice models that are related to Cartan types B and C. Two applications are presented: they involve an ice model related to Tokuyama's formula and another ice model representing a Whittaker function on the metaplectic double cover of $\mathrm{Sp}(2r,F)$ with $F$ being a non-archimedean local field.
A Short Proof for the Polynomiality of the Stretched Littlewood-Richardson Coefficients
Published
• View Publication
• BIB
The stretched Littlewood-Richardson coefficient $c^{tν}_{tλ,tμ}$ was conjectured by King, Tollu, and Toumazet to be a polynomial function in $t.$ It was shown to be true by Derksen and Weyman using semi-invariants of quivers. Later, Rassart used Steinberg's formula, the hive conditions, and the Kostant partition function to show a stronger result that $c^ν_{λ,μ}$ is indeed a polynomial in variables $ν, λ, μ$ provided they lie in certain polyhedral cones. Motivated by Rassart's approach, we give a short alternative proof of the polynomiality of $c^{tν}_{tλ,tμ}$ using Steinberg's formula and a simple argument about the chamber complex of the Kostant partition function.
A bijection for length-$5$ patterns in permutations
Published
• View Publication
• BIB
A bijection between $(31245,32145,31254,32154)$-avoiding permutations and $(31425,32415,31524,32514)$-avoiding permutations is constructed, which preserves five classical set-valued statistics. Combining with two codings of permutations due respectively to Baril--Vajnovszki and Martinez--Savage proves an enumerative conjecture posed by Gao and Kitaev. Moreover, the generating function for the common counting sequence is proved to be algebraic.