Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Enumeration of plane triangulations with all vertices of degree $3$ or $6$ and a new characterization of akempic triangulations
Plane triangulations with all vertices of degree $3$ or $6$ are enumerated.
A plane triangulation is said to be akempic if it has a $4$-colouring such that no two adjacent triangles have the same three colours and this colouring is not Kempe equivalent to any other colouring. Mohar (1985 and 1987) characterized and enumerated akempic triangulations with all vertices of degree $3$ or $6$. We give a new characterization of the akempic triangulations and a new proof of the Mohar enumeration theorem.
Levenshtein's Sequence Reconstruction Problem and Results for Larger Alphabet Sizes
The problem of storing large amounts of information safely for a long period of time has become essential. One of the most promising new data storage mediums are the polymer-based data storage systems, like the DNA-storage system. These storage systems are highly durable and they consume very little energy to store the data. When information is retrieved from a storage, however, several different types of errors may occur in the process. It is known that the Levenshtein's sequence reconstruction framework is well-suited to overcome such errors and to retrieve the original information. Many of the previous results regarding Levenshtein's sequence reconstruction method are so far given only for the binary alphabet. However, larger alphabets are natural for the polymer-based data storage. For example, the quaternary alphabet is suitable for DNA-storage due to the four amino-acids in DNA. The results for larger alphabets often require, as we will see in this work, different and more complicated techniques compared to the binary case. Moreover, we show that an increase in the alphabet size makes some error types behave rather surprisingly.
Partial results for union-closed conjectures on the weighted cube
The celebrated union-closed conjecture is concerned with the cardinalities of various subsets of the Boolean $d$-cube. The cardinality of such a set is equivalent, up to a constant, to its measure under the uniform distribution, so we can pose more general conjectures by choosing a different probability distribution on the cube. In particular, for any sequence of probabilities $(p_i)_{i=1}^d$ we can consider the product of $d$ independent Bernoulli random variables, with success probabilities $p_i$. In this short note, we find a generalised form of Karpas' special case of the union-closed conjecture for families $\mathcal{F}$ with density at least half. We also generalise Knill's logarithmic lower bound.
Using the quantum torus to investigate the $q$-Onsager algebra
The $q$-Onsager algebra, denoted by $O_q$, is defined by generators $W_0, W_1$ and two relations called the $q$-Dolan-Grady relations. In 2017, Baseilhac and Kolb gave some elements of $O_q$ that form a Poincaré-Birkhoff-Witt basis. The quantum torus, denoted by $T_q$, is defined by generators $x, y, x^{-1}, y^{-1}$ and relations $$xx^{-1} = 1 = x^{-1}x, \qquad yy^{-1} = 1 = y^{-1}y, \qquad xy=q^2yx.$$ The set $\{x^iy^j | i,j \in \mathbb{Z} \}$ is a basis for $T_q$. It is known that there is an algebra homomorphism $p: O_q \mapsto T_q$ that sends $W_0 \mapsto x+x^{-1}$ and $W_1 \mapsto y+y^{-1}.$ In 2020, Lu and Wang displayed a variation of $O_q$, denoted by $\tilde{\mathbf{U}}^{\imath}$. Lu and Wang gave a surjective algebra homomorphism $\upsilon : \tilde{\mathbf{U}}^{\imath} \mapsto O_q.$ \medskip In their consideration of $\tilde{\mathbf{U}}^{\imath}$, Lu and Wang introduced some elements \begin{equation} \label{intrp503} \{B_{1,r}\}_{r \in \mathbb{Z}}, \qquad \{H'_n\}_{n=1}^{\infty}, \qquad \{H_n\}_{n=1}^{\infty}, \qquad \{Θ'_n\}_{n=1}^{\infty}, \qquad \{Θ_n\}_{n=1}^{\infty}. \nonumber \end{equation} These elements are defined using recursive formulas and generating functions, and it is difficult to express them in closed form. A similar problem applies to the Baseilhac-Kolb elements of $O_q$. To mitigate this difficulty, we map everything to $T_q$ using $p$ and $\upsilon$. In our main results, we express the resulting images in the basis for $T_q$ and also in an attractive closed form.
The characterization of graphs with two trivial distance ideals
The distance ideals of graphs are algebraic invariants that generalize the Smith normal form (SNF) and the spectrum of several distance matrices associated with a graph. In general, distance ideals are not monotone under taking induced subgraphs. However, in [7] the characterizations of connected graphs with one trivial distance ideal over $\mathbb{Z}[X]$ and over $\mathbb{Q}[X]$ were obtained in terms of induced subgraphs, where $X$ is a set of variables indexed by the vertices. Later, in [3], the first attempt was made to characterize the family of connected graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. There, it was proven that these graphs are $\{ \mathcal {F},\textsf{odd-holes}_{7}\}$-free, where $\textsf{odd-holes}_{7}$ consists of the odd cycles of length at least seven and $\mathcal{F}$ is a set of sixteen graphs. Here, we give a characterization of the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs and prove that the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs are precisely the graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. As byproduct, we also find that the determinant of the distance matrix of a connected bipartite graph is even, this suggests that it is possible to extend, to connected bipartite graphs, the Graham-Pollak-Lovász celebrated formula $\det(D(T_{n+1}))=(-1)^nn2^{n-1}$, and the Hou-Woo result stating that $\text{SNF}(D(T_{n+1}))=\textsf{I}_2\oplus 2\textsf{I}_{n-2}\oplus (2n)$, for any tree $T_{n+1}$ with $n+1$ vertices. Finally, we also give the characterizations of graphs with at most two trivial distance ideals over $\mathbb{Q}[X]$, and the graphs with at most two trivial distance univariate ideals.
The Topological Structures of the Orders of Hypergraphs
We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept lattices, and as specifying topological cosheaves of simplicial (Dowker) complexes on simplicial (Dowker) complexes. We provide an integrative, functorial framework combining previously known with three new results: 1) given a binary relation, there are order isomorphisms among the bounded edge order of the intersection complexes of its dual hypergraphs and its concept lattice; 2) the concept lattice of a context is an isomorphism invariant of the Dowker cosheaf (of abstract simplicial complexes) of that context; and 3) a novel Dowker cosheaf (of chain complexes) of a relation is an isomorphism invariant of the concept lattice of the context that generalizes Dowker's original homological result. We illustrate these concepts throughout with a running example, and demonstrate relationships to past results.
Asymptotic normality of coefficients of P-recursive polynomial sequences
In recent years, the asymptotic normality of some famous combinatorial sequences has been the subject of extensive study. However, the methods used to prove the asymptotic normality of various combinatorial sequences differ significantly. In this paper, we present a sufficient condition for establishing the asymptotic normality of the coefficients of a general P-recursive polynomial sequence. Additionally, we provide two examples that illustrate the application of this sufficient condition.
Admissible matchings and the Castelnuovo-Mumford regularity of square-free powers
Let $I$ be any square-free monomial ideal, and $\mathcal{H}_I$ denote the hypergraph associated with $I$. Refining the concept of $k$-admissible matching of a graph defined by Erey and Hibi, we introduce the notion of generalized $k$-admissible matching for any hypergraph. Using this, we give a sharp lower bound on the (Castelnuovo-Mumford) regularity of $I^{[k]}$, where $I^{[k]}$ denotes the $k^{\text{th}}$ square-free power of $I$. In the special case when $I$ is equigenerated in degree $d$, this lower bound can be described using a combinatorial invariant $\mathrm{aim}(\mathcal{H}_I,k)$, called the $k$-admissible matching number of $\mathcal{H}_I$. Specifically, we prove that $\mathrm{reg}(I^{[k]})\ge (d-1)\mathrm{aim}(\mathcal{H}_I,k)+k$, whenever $I^{[k]}$ is non-zero. Even for the edge ideal $I(G)$ of a graph $G$, it turns out that $\mathrm{aim}(G,k)+k$ is the first general lower bound for the regularity of $I(G)^{[k]}$. In fact, when $G$ is a forest, $\mathrm{aim}(G,k)$ coincides with the $k$-admissible matching number introduced by Erey and Hibi. Next, we show that if $G$ is a block graph, then $\mathrm{reg}(I(G)^{[k]})= \mathrm{aim}(G,k)+k$, and this result can be seen as a generalization of the corresponding regularity formula for forests. Additionally, for a Cohen-Macaulay chordal graph $G$, we prove that $\mathrm{reg}(I(G)^{[2]})= \mathrm{aim}(G,2)+2$. Finally, we propose a conjecture on the regularity of square-free powers of edge ideals of chordal graphs.
Dividing sums of cycles in the semiring of functional digraphs
Functional digraphs are unlabelled finite digraphs where each vertex has exactly one out-neighbor. They are isomorphic classes of finite discrete-time dynamical systems. Endowed with the direct sum and product, functional digraphs form a semiring with an interesting multiplicative structure. For instance, we do not know if the following division problem can be solved in polynomial time: given two functional digraphs $A$ and $B$, does $A$ divide $B$? That $A$ divides $B$ means that there exists a functional digraph $X$ such that $AX$ is isomorphic to $B$, and many such $X$ can exist. We can thus ask for the number of solutions $X$. In this paper, we focus on the case where $B$ is a sum of cycles (a disjoint union of cycles, corresponding to the limit behavior of finite discrete-time dynamical systems). There is then a naïve sub-exponential algorithm to compute the non-isomorphic solutions $X$, and our main result is an improvement of this algorithm which has the property to be polynomial when $A$ is fixed. It uses a divide-and-conquer technique that should be useful for further developments on the division problem.
Neumaier graphs from cyclotomy with small coherent rank
Using cyclotomy, we construct a new infinite family of Neumaier graphs that includes infinitely many strongly regular graphs. Notably, this family conjecturally contains infinitely many graphs with coherent rank $6$. Our construction also provides the first known examples that answer a question posed by Evans, Goryainov, and Panasenko regarding the existence of Neumaier graphs whose nexus is not a power of $2$. In addition, we show that a construction of Greaves and Koolen yields an infinite family of Neumaier graphs with coherent rank $6$.
The Gray graph is pseudo 2-factor isomorphic
A graph is pseudo 2-factor isomorphic if all of its 2-factors have the same parity of number of cycles. Abreu et al. [J. Comb. Theory, Ser. B. 98 (2008) 432--442] conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graphs. This conjecture was disproved by Goedgebeur [Discr. Appl. Math. 193 (2015) 57--60] who constructed a counterexample $\mathcal{G}$ (of girth 6) on 30 vertices. Using a computer search, he also showed that this is the only counterexample up to at least 40 vertices and that there are no counterexamples of girth greater than 6 up to at least 48 vertices.
In this manuscript, we show that the Gray graph -- which has 54 vertices and girth 8 -- is also a counterexample to the pseudo 2-factor isomorphic graph conjecture. Next to the graph $\mathcal{G}$, this is the only other known counterexample. Using a computer search, we show that there are no smaller counterexamples of girth 8 and show that there are no other counterexamples up to at least 42 vertices of any girth. Moreover, we also verified that there are no further counterexamples among the known censuses of symmetrical graphs.
Recall that a graph is 2-factor Hamiltonian if all of its 2-factors are Hamiltonian cycles. As a by-product of the computer searches performed for this paper, we have verified that the $2$-factor Hamiltonian conjecture of Funk et al. [J. Comb. Theory, Ser. B. 87(1) (2003) 138--144], which is still open, holds for cubic bipartite graphs of girth at least 8 up to 52 vertices, and up to 42 vertices for any girth.
Computation of dominant ideals
We consider the problem of determining whether a monomial ideal is dominant. This property is critical for determining for which monomial ideals the Taylor resolution is minimal. We first analyze dominant ideals with a fixed least common multiple of generators using combinatorial methods. Then, we adopt a probabilistic approach via the \er\ type model, examining both homogeneous and non-homogeneous cases. This model offers an efficient alternative to exhaustive enumeration, allowing the study of dominance through small random samples, even in high-dimensional settings.
Undirected edge geography games on grids
The undirected edge geography is a two-player combinatorial game on an undirected rooted graph. The players alternatively perform a move consisting of choosing an edge incident to the root vertex, removing the chosen edge, and marking the other endpoint as a new root vertex. The first player who cannot perform a move is the loser. In this paper, we are interested in the undirected edge geography game on the grid graph $P_m\square P_n$. We completely determine whether the root vertex is a winning position (N-position) or a losing position (P-position). Moreover, we give a winning strategy for the winner.
Loose paths in random ordered hypergraphs
We consider the length of {\em ordered loose paths} in the random $r$-uniform hypergraph $H=H^{(r)}(n, p)$. A ordered loose path is a sequence of edges $E_1,E_2,\ldots,E_\ell$ where $\max\{j\in E_i\}=\min\{j\in E_{i+1}\}$ for $1\leq i<\ell$. We establish fairly tight bounds on the length of the longest ordered loose path in $H$ that hold with high probability.
Ideal Decomposition of Hyperplane Arrangements
Let $\mathcal{A}$ be an affine hyperplane arrangement, $L(\mathcal{A})$ its intersection poset, and $χ_{\mathcal{A}}(t)$ its characteristic polynomial. This paper aims to propose combinatorial structures for the factorization of $χ_{\mathcal{A}}(t)$. To this end, we introduce the notion of an ideal decomposition of $L(\mathcal{A})$ and use the Möbius algebra as a key tool to derive such a factorization. This concept provides a unified and substantial generalization of both the modular elements proposed by Stanley (1971) and the nice partitions proposed by Terao (1992). We also define modular ideals of $L(\mathcal{A})$, which yield a tensor decomposition of the Orlik-Solomon algebra of $\mathcal{A}$. We further show that every modular ideal can be realized as the intersection poset of some hyperplane arrangement.
Set families: restricted distances via restricted intersections
Denote by $f_D(n)$ the maximum size of a set family $\mathcal{F}$ on $[n] \stackrel{\mbox{\normalfont\tiny def}}{=} \{1, \dots, n\}$ with distance set $D$. That is, $|A \bigtriangleup B| \in D$ holds for every pair of distinct sets $A, B \in \mathcal{F}$. Kleitman's celebrated discrete isodiametric inequality states that $f_D(n)$ is maximized at Hamming balls of radius $d/2$ when $D = \{1, \dots, d\}$. We study the generalization where $D$ is a set of arithmetic progression and determine $f_D(n)$ asymptotically for all homogeneous $D$. In the special case when $D$ is an interval, our result confirms a conjecture of Huang, Klurman, and Pohoata. Moreover, we demonstrate a dichotomy in the growth of $f_D(n)$, showing linear growth in $n$ when $D$ is a non-homogeneous arithmetic progression. Different from previous combinatorial and spectral approaches, we deduce our results by converting the restricted distance problems to restricted intersection problems.
Our proof ideas can be adapted to prove upper bounds on $t$-distance sets in Hamming cubes (also known as binary $t$-codes), which has been extensively studied by algebraic combinatorialists community, improving previous bounds from polynomial methods and optimization approaches.
Groups with pairings, Hall modules, and Hall-Littlewood polynomials
We relate the combinatorics of Hall-Littlewood polynomials to that of abelian $p$-groups with alternating or Hermitian perfect pairings. Our main result is an analogue of the classical relationship between the Hall algebra of abelian $p$-groups (without pairings) and Hall-Littlewood polynomials. Specifically, we define a module over the classical Hall algebra with basis indexed by groups with pairings, and explicitly relate its structure constants to Hall-Littlewood polynomials at different values of the parameter $t$. We also show certain expectation formulas with respect to Cohen-Lenstra type measures on groups with pairings. In the alternating case this gives a new and simpler proof of previous results of Delaunay-Jouhet.
Fractional hypergraph coloring
We investigate proper $(a:b)$-fractional colorings of $n$-uniform hypergraphs, which generalize traditional integer colorings of graphs. Each vertex is assigned $b$ distinct colors from a set of $a$ colors, and an edge is properly colored if no single color is shared by all vertices of the edge. A hypergraph is $(a:b)$-colorable if every edge is properly colored. We prove that for any $2\leq b\leq a-2\leq n/\ln n$, every $n$-uniform hypergraph $H$ with $ |E(H)| \leq (ab^3)^{-1/2}\left(\frac{n}{\log n}\right)^{1/2} \left(\frac{a}{b}\right)^{n-1} $ is proper $(a:b)$-colorable. We also address specific cases, including $(a:a-1)$-colorability.
Proposal of a generating function of partition sequences
In this paper, we introduce the generating functions of partition sequences. Partition sequences have a one-to-one correspondence with partitions. Therefore, the generating function has no multiplicity and appears meaningless initially. However, we show that using a matrix can give meaning to the coefficients and preserve valuable information about partitions. We also introduce some restrictions on partitions suitable for these generating functions.
Avoshifts, Unishifts and Nondeterministic Cellular Automata
In this paper, we study avoshifts and unishifts on $\mathbb{Z}^d$. Avoshifts are subshifts where for each convex set $C$, and each vector $v$ such that $C \cup \{\vec v\}$ is also convex, the set of valid extensions of globally valid patterns on $C$ to ones on $C \cup \{v\}$ is determined by a bounded subpattern of $C$. Unishifts are the subshifts where for such $C, \vec v$, every $C$-pattern has the same number of $\vec v$-extensions. Cellwise quasigroup shifts (including group shifts) and TEP subshifts are examples of unishifts, while unishifts and subshifts with topological strong spatial mixing are examples of avoshifts. We prove that every avoshift is the spacetime subshift of a nondeterministic cellular automaton on an avoshift of lower dimension up to a linear transformation and a convex blocking. From this, we deduce that all avoshifts contain periodic points, and that unishifts have dense periodic points and admit equal entropy full shift factors.