Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Principal subspaces of basic modules for twisted affine Lie algebras, $q$-series multisums, and Nandi's identities
Published
• View Publication
• BIB
We provide an observation relating several known and conjectured $q$-series identities to the theory of principal subspaces of basic modules for twisted affine Lie algebras. We also state and prove two new families of $q$-series identities. The first family provides quadruple sum representations for Nandi's identities, including a manifestly positive representation for the first identity. The second is a family of new mod 10 identities connected with principal characters of level 4 integrable, highest-weight modules of $\mathrm{D}_4^{(3)}$.
Counting numerical semigroups by Frobenius number, multiplicity, and depth
Published in Comb. Th. 3 (2023), 1-29
• View Publication
• BIB
In 1990, Backelin showed that the number of numerical semigroups with Frobenius number $f$ approaches $C_i \cdot 2^{f/2}$ for constants $C_0$ and $C_1$ depending on the parity of $f$. In this paper, we generalize this result to semigroups of arbitrary depth by showing there are $\lfloor{(q+1)^2/4}\rfloor^{f/(2q-2)+o(f)}$ semigroups with Frobenius number $f$ and depth $q$. More generally, for fixed $q \geq 3$, we show that, given $(q-1)m < f < qm$, the number of numerical semigroups with Frobenius number $f$ and multiplicity $m$ is\[\left(\left\lfloor \frac{(q+2)^2}{4} \right\rfloor^{α/2} \left \lfloor \frac{(q+1)^2}{4} \right\rfloor^{(1-α)/2}\right)^{m + o(m)}\] where $α= f/m - (q-1)$. Among other things, these results imply Backelin's result, strengthen bounds on $C_i$, characterize the limiting distribution of multiplicity and genus with respect to Frobenius number, and resolve a recent conjecture of Singhal on the number of semigroups with fixed Frobenius number and maximal embedding dimension.
Mixing time bounds for edge flipping on regular graphs
Published
• View Publication
• BIB
The edge flipping is a non-reversible Markov chain on a given connected graph, which is defined by Chung and Graham. In the same paper, its eigenvalues and stationary distributions for some classes of graphs are identified. We further study its spectral properties to show a lower bound for the rate of convergence in the case of regular graphs. Moreover, we show that a cutoff occurs at 1/4 n log n for the edge flipping on the complete graph by a coupling argument
A note on local antimagic chromatic number of lexicographic product graphs
Let $G = (V,E)$ be a connected simple graph. A bijection $f: E \rightarrow \{1,2,\ldots,|E|\}$ is called a local antimagic labeling of $G$ if $f^+(u) \neq f^+(v)$ holds for any two adjacent vertices $u$ and $v$, where $f^+(u) = \sum_{e\in E(u)} f(e)$ and $E(u$) is the set of edges incident to $u$. A graph $G$ is called local antimagic if $G$ admits at least a local antimagic labeling. The local antimagic chromatic number, denoted $χ_{la}(G)$, is the minimum number of induced colors taken over local antimagic labelings of $G$. Let $G$ and $H$ be two disjoint graphs. The graph $G[H]$ is obtained by the lexicographic product of $G$ and $H$. In this paper, we obtain sufficient conditions for $χ_{la}(G[H])\leq χ_{la}(G)χ_{la}(H)$. Consequently, we give examples of $G$ and $H$ such that $χ_{la}(G[H]) = χ(G)χ(H)$, where $χ(G)$ is the chromatic number of $G$. We conjecture that (i) there are infinitely many graphs $G$ and $H$ such that $χ_{la}(G[H])=χ_{la}(G)χ_{la}(H) = χ(G)χ(H)$, and (ii) for $k\ge 1$, $χ_{la}(G[H]) = χ(G)χ(H)$ if and only if $χ(G)χ(H) = 2χ(H) + \lceil\frac{χ(H)}{k}\rceil$, where $2k+1$ is the length of a shortest odd cycle in $G$.
Some properties of morphic images of (eventually) dendric words
Published
• View Publication
• BIB
The class of (eventually) dendric words generalizes well-known families such as the Arnoux-Rauzy words or the codings of interval exchanges. There are still many open questions about the link between dendricity and morphisms. In this paper, we focus on two questions. The first one is the evolution of the factor complexity when applying a non-erasing morphism to an eventually dendric word. We next look at the morphisms that preserve dendricity for all dendric words and show that they are exactly those generated by the Arnoux-Rauzy morphisms.
Blocking subspaces with points and hyperplanes
Published in Australas. J. Combin. 85 (3), 340-349 (2023)
• Search Publication
In this paper, we characterise the smallest sets $B$ consisting of points and hyperplanes in $\text{PG}(n,q)$, such that each $k$-space is incident with at least one element of $B$. If $k > \frac {n-1} 2$, then the smallest construction consists only of points. Dually, if $k < \frac{n-1}2$, the smallest example consists only of hyperplanes. However, if $k = \frac{n-1}2$, then there exist sets containing both points and hyperplanes, which are smaller than any blocking set containing only points or only hyperplanes.
Distance-transitive digraphs: descendant-homogeneity, property $Z$ and reachability
Published in European Journal of Combinatorics 107 (2023) 103597
• View Publication
• BIB
We investigate the class of infinite distance-transitive digraphs $D$ of finite out-valency. We show that if $D$ is a weakly descendant-homogeneous in such a class then either (1) $D$ has property $Z$ and the reachability relation is not universal; or (2) $D$ does not have property $Z$, the reachability relation is universal and $D$ has infinite in-valency. Also, we show that earlier results, proved in the context of highly-arc-transitive digraphs, hold under the weaker condition of distance-transitivity. Finally, we give a description of a subclass of the class distance-transitive weakly descendant-homogeneous digraphs for which the reachability relation is not universal.
Edge-connectivity and pairwise disjoint perfect matchings in regular graphs
Published
• View Publication
• BIB
For $0 \leq t \leq r$ let $m(t,r)$ be the maximum number $s$ such that every $t$-edge-connected $r$-graph has $s$ pairwise disjoint perfect matchings. There are only a few values of $m(t,r)$ known, for instance $m(3,3)=m(4,r)=1$, and $m(t,r) \leq r-2$ for all $t \not = 5$, and $m(t,r) \leq r-3$ if $r$ is even. We prove that $m(2l,r) \leq 3l - 6$ for every $l \geq 3$ and $r \geq 2 l$.
Chi-boundedness of graphs containing no cycles with $k$ chords
Published
• View Publication
• BIB
We prove that the family of graphs containing no cycle with exactly $k$-chords is $χ$-bounded, for $k$ large enough or of form $\ell(\ell-2)$ with $\ell \ge 3$ an integer. This verifies (up to a finite number of values $k$) a conjecture of Aboulker and Bousquet (2015).
On chordality of the power graph of finite groups
A graph is called chordal if it forbids induced cycles of length 4 or more. In this paper, we attempt to identify the non-nilpotent groups whose power graph is a chordal graph (this question was raised by Cameron in [4]). In this direction, we characterise the direct product of finite groups having chordal power graphs. We classify all finite simple groups of Lie type whose power graph is chordal. Further, we prove that the power graph of a sporadic simple group is always non-chordal. In addition, we show that almost all groups of order up to 47 have chordal power graphs.
Generalizing Körner's graph entropy to graphons
Published in European Journal of Combinatorics, Volume 114, December 2023, 103779
• View Publication
• BIB
Körner introduced the notion of graph entropy in 1973 as the minimal code rate of a natural coding problem where not all pairs of letters can be distinguished in the alphabet. Later it turned out that it can be expressed as the solution of a minimization problem over the so-called vertex-packing polytope.
In this paper we generalize this notion to graphons. We show that the analogous minimization problem provides an upper bound for graphon entropy. We also give a lower bound in the shape of a maximization problem. The main result of the paper is that for most graphons these two bounds actually coincide and hence precisely determine the entropy in question. Furthermore, graphon entropy has a nice connection to the fractional chromatic number and the fractional clique number.
On Round-Robin Tournaments with a Unique Maximum Score
Richard Arnold Epstein (1927-2016) published the first edition of "The Theory of Gambling and Statistical Logic" in 1967. He introduced some material on round-robin tournaments (complete oriented graphs) with n labeled vertices in Chapter 9; in particular, he stated, without proof, that the probability that there is a unique vertex with the maximum score tends to 1 as n tends to infinity. Our object here is to give a proof of this result along with some historical remarks and comments.
The Characteristic Quasi-Polynomials of Hyperplane Arrangements over Residually Finite Dedekind Domains
Published
• View Publication
• BIB
Kamiya, Takemura, and Terao initiated the theory of the characteristic quasi-polynomial of an integral arrangement, which is a function counting the elements in the complement of the arrangement modulo positive integers.
They gave a period of the characteristic quasi-polynomial, called the LCM-period, and showed that the first constituent of the characteristic quasi-polynomial coincides with the characteristic polynomial of the corresponding hyperplane arrangement.
Recently, Liu, Tran, and Yoshinaga showed that the last constituent of the characteristic quasi-polynomial coincides with the characteristic polynomial of the corresponding toric arrangement.
In addition, by using the theory of toric arrangements, Higashitani, Tran, and Yoshinaga proved that the LCM-period is the minimum period of the characteristic quasi-polynomial.
In this paper, we study an arrangements over a Dedekind domain such that every residue ring with a nonzero ideal is finite and give algebraic generalizations of the above results.
Reconstruction of a Single String from a Part of its Composition Multiset
Published
• View Publication
• BIB
Motivated by applications in polymer-based data storage, we study the problem of reconstructing a string from part of its composition multiset. We give a full description of the structure of the strings that cannot be uniquely reconstructed (up to reversal) from their multiset of all of their prefix-suffix compositions. Leveraging this description, we prove that for all $n\ge 6$, there exists a string of length $n$ that cannot be uniquely reconstructed up to reversal. Moreover, for all $n\ge 6$, we explicitly construct the set consisting of all length $n$ strings that can be uniquely reconstructed up to reversal. As a by product, we obtain that any binary string can be constructed using Dyck strings and Catalan-Bertrand strings.
For any given string $\bm{s}$, we provide a method to explicitly construct the set of all strings with the same prefix-suffix composition multiset as $\bm{s}$, as well as a formula for the size of this set. As an application, we construct a composition code of maximal size. Furthermore, we construct two classes of composition codes which can respectively correct composition missing errors and mass reducing substitution errors.
In addition, we raise two new problems: reconstructing a string from its composition multiset when at most a constant number of substring compositions are lost; reconstructing a string when only given its compositions of substrings of length at most $r$. For each of these setups, we give suitable codes under some conditions.
Minimum Flow Decomposition in Graphs with Cycles using Integer Linear Programming
Published
• View Publication
• BIB
Minimum flow decomposition (MFD) -- the problem of finding a minimum set of weighted source-to-sink paths that perfectly decomposes a flow -- is a classical problem in Computer Science, and variants of it are powerful models in different fields such as Bioinformatics and Transportation. Even on acyclic graphs, the problem is NP-hard, and most practical solutions have been via heuristics or approximations. While there is an extensive body of research on acyclic graphs, currently, there is no \emph{exact} solution on graphs with cycles. In this paper, we present the first ILP formulation for three natural variants of the MFD problem in graphs with cycles, asking for a decomposition consisting only of weighted source-to-sink paths or cycles, trails, and walks, respectively. On three datasets of increasing levels of complexity from both Bioinformatics and Transportation, our approaches solve any instance in under 10 minutes. Our implementations are freely available at github.com/algbio/MFD-ILP.
Enriched toric $[\vec{D}]$-partitions
Published
• View Publication
• BIB
This paper develops the theory of enriched toric $[\vec{D}]$-partitions. Whereas Stembridge's enriched $P$-partitions give rises to the peak algebra which is a subring of the ring of quasi-symmetric functions $\text{QSym}$, our enriched toric $[\vec{D}]$-partitions will generate the cyclic peak algebra which is a subring of cyclic quasi-symmetric functions $\text{cQSym}$. In the same manner as the peak set of linear permutations appears when considering enriched $P$-partitions, the cyclic peak set of cyclic permutations plays an important role in our theory. The associated order polynomial is discussed based on this framework.
Hyperplane Arrangements and Compactifications of Vector Groups
Published
• View Publication
• BIB
Schubert varieties of hyperplane arrangements, also known as matroid Schubert varieties, play an essential role in the proof of the Dowling-Wilson conjecture and in Kazhdan-Lusztig theory for matroids. We study these varieties as equivariant compactifications of affine spaces, and give necessary and sufficient conditions to characterize them. We also generalize the theory to include partial compactifications and morphisms between them. Our results resemble the correspondence between toric varieties and polyhedral fans.
Hurwitz numbers for reflection groups II: Parabolic quasi-Coxeter elements
Published in Journal of Algebra, vol. 641 (2024), pp. 648-715
• View Publication
• BIB
We define parabolic quasi-Coxeter elements in well generated complex reflection groups. We characterize them in multiple natural ways, and we study two combinatorial objects associated with them: the collections $\operatorname{Red}_W(g)$ of reduced reflection factorizations of $g$ and $\operatorname{RGS}(W,g)$ of the relative generating sets of $g$. We compute the cardinalities of these sets for large families of parabolic quasi-Coxeter elements and, in particular, we relate the size $\#\operatorname{Red}_W(g)$ with geometric invariants of Frobenius manifolds. This paper is second in a series of three; we will rely on many of its results in part III to prove uniform formulas that enumerate full reflection factorizations of parabolic quasi-Coxeter elements, generalizing the genus-$0$ Hurwitz numbers.
Complexity of diameter on AT-free graphs is linear
Published
• View Publication
• BIB
We develop a linear time algorithm for finding the diameter of an asteroidal triple-free (AT-free) graph. Furthermore, we update the definition of polar pairs and develop new properties of polar pairs for (weak) dominating pair graphs. We prove that the problem of computing a simplicial vertex in a general graph can be accomplished in O(n^2) based on an existing reduction to the problem of finding diameter in an AT-free graph. We improve the best-known run-time complexities of several graph theoretical problems.
On basic double G-links of squarefree monomial ideals
Published
• View Publication
• BIB
Nagel and Römer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explore basic double G-links between squarefree monomial ideals beyond the weakly vertex decomposable setting.
Our first contribution is a structural result about certain basic double G-links which involve an edge ideal. Specifically, suppose $I(G)$ is the edge ideal of a graph $G$. When $I(G)$ is a basic double G-link of a monomial ideal $B$ on an arbitrary homogeneous ideal $A$, we give a generating set for $B$ in terms of $G$ and show that this basic double G-link must be of degree $1$. Our second focus is on examples from the literature of simplicial complexes known to be Cohen-Macaulay but not weakly vertex decomposable. We show that these examples are not basic double links of any other squarefree monomial ideals.