Showing 20 papers (Total: 83502 papers, 48219 authors in database)
The Maximum Number of Sets for 12 Cards is 14
Published
• View Publication
• BIB
We present a novel proof that the maximum number of sets with 4 properties for 12 cards is 14 using the geometry of the finite field F_3^4, number theory, combinatorics, and graph theory. We also present several computer algorithms for finding the maximum number of sets. In particular, we show a complete set solver that iterates over all possible board configurations. We use this method to compute the maximum number of sets with 4 properties for a small number of cards, but it is generally too inefficient. However, with this method, we compute the maximum number of sets for 3 properties for all possible numbers of cards. We also present an algorithm for constructing near-optimal maximum sets.
A classification of $Q$-polynomial distance-regular graphs with girth $6$
Published
• View Publication
• BIB
Let $Γ$ denote a $Q$-polynomial distance-regular graph with diameter $D$ and valency $k \ge 3$. In [Homotopy in $Q$-polynomial distance-regular graphs, Discrete Math., {\bf 223} (2000), 189-206], H. Lewis showed that the girth of $Γ$ is at most $6$. In this paper we classify graphs that attain this upper bound. We show that $Γ$ has girth $6$ if and only if it is either isomorphic to the Odd graph on a set of cardinality $2D +1$, or to a generalized hexagon of order $(1, k -1)$.
Lexicographic Extensions preserve Euclideaness
We prove that a lexicographical extension of a Euclidean oriented matroid remains Euclidean.
Separable overpartition classes and excludant sizes of an overpartition
An overpartition is a partition such that the first occurrence (equivalently, the last occurrence) of a number may be overlined. In this article, we investigate three contents of overpartitions. We first consider the $r$-chain minimal and maximal excludant sizes of an overpartition. Then, we study the second minimal excludant and mex sequence of an overpartition. Finally, we introduce $L_k$-overpartitions and $F_k$-overpartitions, which are separable overpartition classes.
Generalized Orthogonal de Bruijn and Kautz Sequences
Published
• View Publication
• BIB
A de Bruijn sequence of order $k$ over a finite alphabet is a cyclic sequence with the property that it contains every possible $k$-sequence as a substring exactly once. Orthogonal de Bruijn sequences are collections of de Bruijn sequences of the same order, $k$, satisfying the joint constraint that every $(k+1)$-sequence appears as a substring in at most one of the sequences in the collection. Both de Bruijn and orthogonal de Bruijn sequences have found numerous applications in synthetic biology, although the latter remain largely unexplored in the coding theory literature. Here we study three relevant practical generalizations of orthogonal de Bruijn sequences where we relax either the constraint that every $(k+1)$-sequence appears exactly once, or that the sequences themselves are de Bruijn rather than balanced de Bruijn sequences. We also provide lower and upper bounds on the number of fixed-weight orthogonal de Bruijn sequences. The paper concludes with parallel results for orthogonal nonbinary Kautz sequences, which satisfy similar constraints as de Bruijn sequences except for only being required to cover all subsequences of length $k$ whose maximum runlength equals to one.
Mutations and (Non-)Euclideaness in oriented matroids
We call an oriented matroid Mandel if it has an extension in general position which makes all programs with that extension Euclidean. If $L$ is the minimum number of mutations adjacent to an element of the groundset, we call an oriented matroid Las Vergnas if $L > 0$. If $\frak{O}_{\mathcal{property}}$ is the class of oriented matroids having a certain property, it holds $\frak{O} \supset \frak{O}_{\mathcal{Las Vergnas}} \supset \frak{O}_{\mathcal{Mandel}} \supset \frak{O}_{\mathcal{Euclidean}} \supset \frak{O}_{\mathcal{realizable}}.$ All these inclusions are proper, we give explicit proofs/examples for the parts of this chain that were not known.
For realizable hyperplane arrangements of rank $r$ we have $L = r$ which was proved by Shannon. Under the assumption that a (modified) intersection property holds we give an analogon to Shannons proof and show that uniform rank $4$ Euclidean oriented matroids with that property have $L = 4$. Using the fact that the lexicographic extension creates and destroys certain mutations, we show that for Euclidean oriented matroids holds $L \ge 3$.
We give a survey of preservation of Euclideaness and prove that Euclideaness remains after a certain type of mutation-flips. This yields that a path in the mutation graph from a Euclidean oriented matroid to a totally non-Euclidean oriented matroid (which has no Euclidean oriented matroid programs) must have at least three mutation-flips. Finally, a minimal non-Euclidean or rank $4$ uniform oriented matroid is Mandel if it is connected to a Euclidean oriented matroid via one mutation-flip, hence we get many examples for Non-Euclidean but Mandel oriented matroids and have $L \le 3$ for those of rank $4$.
Bipartite Turán problems via graph gluing
Published
• View Publication
• BIB
For graphs $H_1$ and $H_2$, if we glue them by identifying a given pair of vertices $u \in V(H_1)$ and $v \in V(H_2)$, what is the extremal number of the resulting graph $H_1^u \odot H_2^v$? In this paper, we study this problem and show that interestingly it is equivalent to an old question of Erdős and Simonovits on the Zarankiewicz problem. When $H_1, H_2$ are copies of a same bipartite graph $H$ and $u, v$ come from a same part, we prove that $\operatorname{ex}(n, H_1^u \odot H_2^v) = Θ\bigl( \operatorname{ex}(n, H) \bigr)$. As a corollary, we provide a short self-contained disproof of a conjecture of Erdős, which was recently disproved by Janzer.
Even cycles in graphs avoiding longer even cycles
A conjecture of Verstraëte states that for any fixed $\ell < k$ there exists a positive constant $c$ such that any $C_{2k}$-free graph $G$ contains a $C_{2\ell}$-free subgraph with at least $c |E(G)|$ edges. For $\ell = 2$, this conjecture was verified by Kühn and Osthus. We show that $C_6$ and $C_{2k}$ satisfy the conjecture for all odd $k$, but observe that a recent construction of a dense $C_{10}$-free subgraph of the hypercube yields a counterexample to the conjecture for $C_8$ and $C_{10}$.
Complexity and Algorithm for the Matching vertex-cutset Problem
Published
• View Publication
• BIB
In 1985, Chvátal introduced the concept of star cutsets as a means to investigate the properties of perfect graphs, which inspired many researchers to study cutsets with some specific structures, for example, star cutsets, clique cutsets, stable cutsets. In recent years, approximation algorithms have developed rapidly, the computational complexity associated with determining the minimum vertex cut possessing a particular structural property have attracted considerable academic attention.
In this paper, we demonstrate that determining whether there is a matching vertex-cutset in $H$ with size at most $k$, is $\mathbf{NP}$-complete, where $k$ is a given positive integer and $H$ is a connected graph. Furthermore, we demonstrate that for a connected graph $H$, there exists a $2$-approximation algorithm in $O(nm^2)$ for us to find a minimum matching vertex-cutset. Finally, we show that every plane graph $H$ satisfying $H\not\in\{K_2, K_4\}$ contains a matching vertex-cutset with size at most three, and this bound is tight.
On the Existence of Balanced Chain Rule Task Sets
Published
• View Publication
• BIB
In mathematics education research, mathematics task sets involving mixed practice include tasks from many different topics within the same assignment. In this paper, we use graph decompositions to construct mixed practice task sets for Calculus I, focusing on derivative computation tasks, or tasks of the form "Compute $f'(x)$ of the function $f(x)=$ [elementary function]." A decomposition $D$ of a graph $G=(V,E)$ is a collection $\{H_1, H_2, ... , H_t\}$ of nonempty subgraphs such that $H_i=G[E_i]$ for some nonempty subset $E_i$ of $E(G)$, and $\{E_1, E_2, ... , E_t\}$ is a partition of $E(G)$. We extend results on decompositions of the complete directed graph due to Meszka and Skupień to construct balanced task sets that assess the Chain Rule.
Arrangements of circles supported by small chords and compatible with natural real algebraic functions
We have previously proposed a study of arrangements of small circles which also surround regions in the plane realized as the images of natural real algebraic maps yielding Morse-Bott functions by projections. Among studies of arrangements, families of smooth regular submanifolds in smooth manifolds, this study is fundamental, explicit, and new, surprisingly.
We have obtained a complete list of local changes of the graphs the regions naturally collapse to in adding a (generic) small circle to an existing arrangement of the proposed class. Here, we propose a similar and essentially different class of arrangements of circles. The present study also yields real algebraic maps and nice real algebraic functions similarly and we present a similar study.
We are interested in topological properties and combinatorics among such arrangements and regions and applications to constructing such real algebraic maps and manifolds explicitly and understanding their global structures.
The Hamiltonian properties of rectangular meshes with at most two faulty nodes
Published
• View Publication
• BIB
In this paper we consider the Hamilton cycle problem in the rectangular meshes with at most two faulty nodes.We prove that this problem is solvable in polynomial time with a corresponding algorithm. We provided an entirely new approach to this problem being different from the method early used on this problem.
Weight Distribution of the Weighted Coordinates Poset Block Space and Singleton Bound
Published
• View Publication
• BIB
In this paper, we determine the complete weight distribution of the space $ \mathbb{F}_q^N $ endowed by the weighted coordinates poset block metric ($(P,w,π)$-metric), also known as the $(P,w,π)$-space, thereby obtaining it for $(P,w)$-space, $(P,π)$-space, $π$-space, and $P$-space as special cases. Further, when $P$ is a chain, the resulting space is called as Niederreiter-Rosenbloom-Tsfasman (NRT) weighted block space and when $P$ is hierarchical, the resulting space is called as weighted coordinates hierarchical poset block space. The complete weight distribution of both the spaces are deduced from the main result. Moreover, we define an $I$-ball for an ideal $I$ in $P$ and study the characteristics of it in $(P,w,π)$-space.
We investigate the relationship between the $I$-perfect codes and $t$-perfect codes in $(P,w,π)$-space. Given an ideal $I$, we investigate how the maximum distance separability (MDS) is related with $I$-perfect codes and $t$-perfect codes in $(P,w,π)$-space. Duality theorem is derived for an MDS $(P,w,π)$-code when all the blocks are of same length. Finally, the distribution of codewords among $r$-balls is analyzed in the case of chain poset, when all the blocks are of same length.
Further results on staircase (cyclic) words
We find the two-variables generating function for the statistic which counts the number of variations in a word bounded by $1$. Thus, we refine and extend previous results concerning staircase words, which are words in which the variation between all consecutive letters is bounded by $1$. We obtain the analogue results for cyclic words.
Extended circular nim
Circular nim $CN(m, k)$ is a variant of nim, in which there are $m$ piles of tokens arranged in a circle and each player, in their turn, chooses at most $k$ consecutive piles in the circle and removes an arbitrary number of tokens from each pile. The player must remove at least one token in total. For some cases of $m$ and $k$, closed formulas to determine which player has a winning strategy have been found. Almost all cases are still open problems. In this paper, we consider a variant of circular nim, extended circular nim. In extended circular nim $ECN(m_S, k)$, there are $m$ piles of tokes arranged in a circle. $S$ is a set of positive integers less than or equal to half of $m$. In each turn, a player chooses an integer $s \in S$. Then the player selects at most $k$ piles among those located every $s$-th position on the circle, and removes an arbitrary number of tokens from each selected pile. We show some closed formulas to determine which player has a winning strategy for the cases where the number of piles is no more than eight, and for a few generalized cases.
Combinatorics on bi-$γ$-positivity of $1/k$-Eulerian polynomials
Published
• View Publication
• BIB
The $1/k$-Eulerian polynomials $A^{(k)}_{n}(x)$ were introduced as ascent polynomials over $k$-inversion sequences by Savage and Viswanathan. The bi-$γ$-positivity of the $1/k$-Eulerian polynomials $A^{(k)}_{n}(x)$ was known but to give a combinatorial interpretation of the corresponding bi-$γ$-coefficients still remains open. The study of the theme of bi-$γ$-positivities from purely combinatorial aspect was proposed by Athanasiadis. In this paper, we provide a combinatorial interpretation for the bi-$γ$-coefficients of $A^{(k)}_{n}(x)$ by using the model of certain ordered labeled forests. Our combinatorial approach consists of three main steps:
(i) construct a bijection between $k$-Stirling permutations and certain forests that are named increasing pruned even $k$-ary forests;
(ii) introduce a generalized Foata--Strehl action on increasing pruned even $k$-ary trees which implies the longest ascent-plateau polynomials over $k$-Stirling permutations with initial letter $1$ are $γ$-positive, a result that may have independent interest;
(iii) develop two crucial transformations on increasing pruned even $k$-ary forests to conclude our combinatorial interpretation.
Complexity of approximate conflict-free, linearly-ordered, and nonmonochromatic hypergraph colourings
Published
• View Publication
• BIB
Using the algebraic approach to promise constraint satisfaction problems, we establish complexity classifications of three natural variants of hypergraph colourings: standard nonmonochromatic colourings, conflict-free colourings, and linearly-ordered colourings.
Firstly, we show that finding an $\ell$-colouring of a $k$-colourable $r$-uniform hypergraph is NP-hard for all constant $2\leq k\leq \ell$ and $r\geq 3$. This provides a shorter proof of a celebrated result by Dinur et al. [FOCS'02/Combinatorica'05].
Secondly, we show that finding an $\ell$-conflict-free colouring of an $r$-uniform hypergraph that admits a $k$-conflict-free colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, except for $r=4$ and $k=2$ (and any $\ell$); this case is solvable in polynomial time. The case of $r=3$ is the standard nonmonochromatic colouring, and the case of $r=2$ is the notoriously difficult open problem of approximate graph colouring.
Thirdly, we show that finding an $\ell$-linearly-ordered colouring of an $r$-uniform hypergraph that admits a $k$-linearly-ordered colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, thus improving on the results of Nakajima and Živný [ICALP'22/ACM TocT'23].
Further results on $r$-Euler-Mahonian statistics
Published
• View Publication
• BIB
As natural generalizations of the descent number ($\des$) and the major index ($\maj$), Rawlings introduced the notions of the $r$-descent number ($r\des$) and the $r$-major index ($r\maj$) for a given positive integer $r$. A pair $(\st_1, \st_2)$ of permutation statistics is said to be $r$-Euler-Mahonian if $ (\mathrm{st_1}, \mathrm{st_2})$ and
$ (r\des, r\maj)$ are equidistributed over the set $\mathfrak{S}_{n}$ of all permutations of $\{1,2,\ldots, n\}$. The main objective of this paper is to confirm a recent conjecture posed by Liu which asserts that $(g\exc_\ell, g\den_\ell)$ is $(g+\ell-1)$-Euler-Mahonian for all positive integers $g$ and $\ell$, where $g\exc_\ell$ denotes the $g$-gap $\ell$-level excedance number and $g\den_\ell$ denotes the $g$-gap $\ell$-level Denert's statistic. This is accomplished via a bijective proof of the equidistribution of $(g\exc_\ell, g\den_\ell)$ and $ (r\des, r\maj)$ where $r=g+\ell-1$.
Setting $g=\ell=1$, our result recovers the equidistribution of $(\des, \maj)$ and $(\exc, \den)$, which was first conjectured by Denert and proved by Foata and Zeilberger. Our second main result is concerned with the analogous result for $(g\exc_\ell, g\den_{g+\ell})$ which states that $(g\exc_\ell, g\den_{g+\ell})$ is $(g+\ell-1)$-Euler-Mahonian for all positive integers $g$ and $\ell$.
A note on the computational complexity of weak saturation
Published
• View Publication
• BIB
We prove that determining the weak saturation number of a host graph $F$ with respect to a pattern graph $H$ is already a computationally hard problem when $H$ is the triangle. As our main tool we establish a connection between weak saturation and shellability of simplicial complexes.
Coinvariant stresses, Lefschetz properties and random complexes
Published
• View Publication
• BIB
Lefschetz properties and inverse systems have played key roles in understanding the $h$-vector of simplicial spheres. In 1996, Lee established connections between these two algebraic tools and rigidity theory, an area often used in the study of motions of geometric complexes. One of the key ideas, is to translate geometric information about a complex, coming from vertex coordinates, to the algebraic notion of a linear system of parameters. In this paper, we explore similar connections in the nonlinear case, by using recent results of Herzog and Moradi (2021) where they prove that a subset of the elementary symmetric polynomials is always a system of parameters for the Stanley-Reisner ideal of a complex. We investigate connections to the study of Lefschetz properties of monomial ideals. Using this perspective, we recover and extend the well known result of Migliore, Miró-Roig and Nagel on the failure of the WLP of monomial almost complete intersections, by showing that, with one simple exception, every homology sphere has a monomial artinian reduction failing the weak Lefschetz property.
Finally, we state probabilistic consequences of our results under a model introduced by Linial and Meshulam. We prove that there exists an open interval for the probability parameter where failure of Lefschetz properties of monomial ideals should be expected.