Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Bipartite Turán problems via graph gluing
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
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
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
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
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
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
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
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
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.
Onthe computation of the MED closure of a numerical semigroup
Maximally embedding dimension (MED) numerical semigroups are a wide and interesting family, with some remarkable algebraic and combinatorial properties. Associated to any numerical semigroup one can construct a MED closure, as it is well known. This paper shows two different explicit methods to construct this closure which also sheds new light on the very nature of this object.
Vertex-Minimal Triangulation of Complexes with Homology
For a given pair of numbers $(d,k)$, we establish the minimal number of vertices in pure $d$-dimensional simplicial complexes with non-trivial homology in dimension $k$. Furthermore, we solve the problem under the additional constraint of strong connectivity with respect to any intermediate dimension.
The random graph process is globally synchronizing
The homogeneous Kuramoto model on a graph $G = (V,E)$ is a network of $|V|$ identical oscillators, one at each vertex, where every oscillator is coupled bidirectionally (with unit strength) to its neighbors in the graph. A graph $G$ is said to be globally synchronizing if, for almost every initial condition, the homogeneous Kuramoto model converges to the all-in-phase synchronous state. Confirming a conjecture of Abdalla, Bandeira, Kassabov, Souza, Strogatz, and Townsend, we show that with high probability, the random graph process becomes globally synchronizing as soon as it is connected. This is best possible, since connectivity is a necessary condition for global synchronization.
Bilateral Bailey pairs and Rogers-Ramanujan type identities
Rogers-Ramanujan type identities occur in various branches of mathematics and physics. As a classic and powerful tool to deal with Rogers-Ramanujan type identities, the theory of Bailey's lemma has been extensively studied and generalized. In this paper, we found a bilateral Bailey pair that naturally arises from the q-binomial theorem. By applying the bilateral versions of Bailey lemmas, Bailey chains and Bailey lattices, we derive a number of Rogers-Ramanujan type identities, which unify many known identities as special cases. Further combined with the bilateral Bailey chains due to Berkovich, McCoy and Schilling and the bilateral Bailey lattices due to Jouhet et al., we also obtain identities on Appell-Lerch series and identities of Andrews-Gordon type. Moreover, by applying Andrews and Warnaar's bilateral Bailey lemmas, we derive identities on Hecke-type series.
Realizing the Tutte polynomial as a cut-and-paste K-theoretic invariant
Cut-and-paste $K$-theory is a new variant of higher algebraic $K$-theory that has proven to be useful in problems involving decompositions of combinatorial and geometric objects, e.g., scissors congruence of polyhedra and reconstruction problems in graph theory. In this paper, we show that this novel machinery can also be used in the study of matroids. Specifically, via the $K$-theory of categories with covering families developed by Bohmann-Gerhardt-Malkiewich-Merling-Zakharevich, we realize the Tutte polynomial map of Brylawski (also known as the universal Tutte-Grothendieck invariant for matroids) as the $K_0$-homomorphism induced by a map of $K$-theory spectra.
Spectral algorithms in higher-order Fourier analysis
Our goal is to provide simple and practical algorithms in higher-order Fourier analysis which are based on spectral decompositions of operators. We propose a general framework for such algorithms and provide a detailed analysis of the quadratic case. Our results reveal new spectral aspects of the theory underlying higher-order Fourier analysis. Along these lines, we prove new inverse and regularity theorems for the Gowers norms based on higher-order character decompositions. Using these results, we prove a spectral inverse theorem and a spectral regularity theorem in quadratic Fourier analysis.