Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Un lemme combinatoire de H. B. Neumann
We give a notably simpler and shorter proof of H. B. Neumann's result which is stated, cursorly, like this. For any well-ordered subset, A, of a totally ordered semigroup, the set of products of any finite number of elements of A is itself well-ordered. Moreover, for each t, there are only a finite number of such products equal to t.
A Lattice-Theoretic Perspective on the Persistence Map
We provide a naturally isomorphic description of the persistence map from merge trees to barcodes in terms of a monotone map from the partition lattice to the subset lattice. Our description is local, which offers the potential to speed up inverse computations, and brings classical tools in combinatorics to bear on an active area of research in topological data analysis (TDA).
Is the number of subrings of index $p^e$ in $\mathbb{Z}^n$ polynomial in $p$?
Published
• View Publication
• BIB
It is well-known that for each fixed $n$ and $e$, the number of subgroups of index $p^e$ in $\mathbb{Z}^n$ is a polynomial in $p$. Is this true for \emph{subrings} in $\mathbb{Z}^n$ of index $p^e$? Let $f_n(k)$ denote the number of subrings of index $k$ in $\mathbb{Z}^n$. We can define the subring zeta function over $\mathbb{Z}^n$ to be $ζ_{\mathbb{Z}^n}^R(s) = \sum_{k \ge 1} f_n(k)k^{-s}$. Is this zeta function uniform? These two questions are closely related.
In this paper, we describe what is known about these questions, and we make progress toward answering them in a couple ways. First, we describe the connection between counting subrings of index $p^e$ in $\mathbb{Z}^n$ and counting the solutions to a corresponding set of equations modulo various powers of $p$. We then show that the number of solutions to certain subsets of these equations is a polynomial in $p$ for any fixed $n$. On the other hand, we give an example for which the number of solutions to a certain subset of equations is not polynomial. Finally, we give an explicit polynomial formula for the number of `irreducible' subrings of index $p^{n+2}$ in $\mathbb{Z}^n$.
A Lower Bound for the Rank of Matroid Intersection
Matroid is a generalization of many fundamental objects in combinatorial mathematics , and matroid intersection problem is a classical subject in combinatorial optimization . However , only the intersection of two matroids are well understood . The solution of the intersection problem of more than three matroids is proved to be \textbf{NP-hard} . We will give a lower bound estimate on the maximal cardinality of the common independent sets in matroid intersections . We will also study some properties of the intersection of more than two matroids and deduce some analogous results for Edmonds' Min-max theorems for matroids intersection .
Asymptotics, Turán inequalities, and the distribution of the BG-rank and 2-quotient rank of partitions
Published
• View Publication
• BIB
Let $j,n$ be even positive integers, and let $\overline{p}_j(n)$ denote the number of partitions with BG-rank $j$, and $\overline{p}_j(a,b;n)$ to be the number of partitions with BG-rank $j$ and $2$-quotient rank congruent to $a \pmod{b}$. We give asymptotics for both statistics, and show that $\overline{p}_j(a,b;n)$ is asymptotically equidistributed over the congruence classes modulo $b$. We also show that each of $\overline{p}_j(n)$ and $\overline{p}_j(a,b;n)$ asymptotically satisfy all higher-order Turán inequalities.
Permutation rotation-symmetric S-boxes, liftings and affine equivalence
In this paper, we investigate permutation rotation-symmetric (shift-invariant) vectorial Boolean functions on $n$ bits that are liftings from Boolean functions on $k$ bits, for $k\leq n$. These functions generalize the well-known map used in the current Keccak hash function, which is generated via the Boolean function on $3$ variables, $x_1+(x_2+1)x_3$. We provide some general constructions, and also study the affine equivalence between rotation-symmetric S-boxes and describe the corresponding relationship between the Boolean function they are associated with.
Two-block substitutions and morphic words
Published
• View Publication
• BIB
We consider in general two-block substitutions and their fixed points. We prove that some of them have a simple structure: their fixed points are morphic sequences. Others are intrinsically more complex, such as the Kolakoski sequence. We prove this for the Thue-Morse sequence in base 3/2.
A study on edge coloring and edge sum coloring of integral sum graphs
Frank Harary introduced the concept of integral sum graph. A graph $G$ is an \emph{ integral sum graph} if its vertices can be labeled with distinct integers so that $e = uv$ is an edge of $G$ if and only if the sum of the labels on vertices $u$ and $v$ is also a label in $G.$ For any non-empty set of integers $S$, let $G^+(S)$ denote the integral sum graph on the set $S$. In $G^+(S)$, we define an \emph{edge-sum class} as the set of all edges each with same edge sum number and call $G^+(S)$ an \emph{edge sum color graph} if each edge-sum class is considered as an edge color class of $G^+(S)$. The number of distinct edge-sum classes of $G^+(S)$ is called its \emph{ edge sum chromatic number}. The main results of this paper are (i) the set of all edge-sum classes of an integral sum graph partitions its edge set; (ii) the edge chromatic number and the edge sum chromatic number are equal for the integral sum graphs $G_{0,s}$ and $S_n$, Star graph of order $n$, whereas it is not in the case of $G_{r,s} = G^+([r,s])$, $r < 0 < s$, $n,s \geq 2$, $n,r,s\in\mathbb{N}$. We also obtain an interesting integral sum labeling of Star graphs.
On the complexity of finding well-balanced orientations with upper bounds on the out-degrees
We show that the problem of deciding whether a given graph $G$ has a well-balanced orientation $\vec{G}$ such that $d_{\vec{G}}^+(v)\leq \ell(v)$ for all $v \in V(G)$ for a given function $\ell:V(G)\rightarrow \mathbb{Z}_{\geq 0}$ is NP-complete. We also prove a similar result for best-balanced orientations. This improves a result of Bern\' ath, Iwata, Kir\' aly, Király and Szigeti and answers a question of Frank.
On $B_{h}[1]$-sets which are asymptotic bases of order $2h$
Published
• View Publication
• BIB
Let $h,k \ge 2$ be integers. A set $A$ of positive integers is called asymptotic basis of order $k$ if every large enough positive integer can be written as the sum of $k$ terms from $A$. A set of positive integers $A$ is said to be a $B_{h}[g]$-set if every positive integer can be written as the sum of $h$ terms from $A$ at most $g$ different ways. In this paper we prove the existence of $B_{h}[1]$ sets which are asymptotic bases of order $2h$ by using probabilistic methods.
All Graphs with at most 8 nodes are 2-interval-PCGs
Published in Fundamenta Informaticae, Volume 193 (May 14, 2025) fi:12237
• View Publication
• BIB
A graph G is a multi-interval PCG if there exist an edge weighted tree T with non-negative real values and disjoint intervals of the non-negative real half-line such that each node of G is uniquely associated to a leaf of T and there is an edge between two nodes in G if and only if the weighted distance between their corresponding leaves in T lies within any such intervals. If the number of intervals is k, then we call the graph a k-interval-PCG; in symbols, G = k-interval-PCG (T, I1, . . . , Ik). It is known that 2-interval-PCGs do not contain all graphs and the smallest known graph outside this class has 135 nodes. Here we prove that all graphs with at most 8 nodes are 2-interval-PCGs, so doing one step towards the determination of the smallest value of n such that there exists an n node graph that is not a 2-interval-PCG.
Improved bounds for acyclic coloring parameters
Published
• View Publication
• BIB
The {\em acyclic chromatic number} of a graph is the least number of colors needed to properly color its vertices so that none of its cycles has only two colors. The {\em acyclic chromatic index} is the analogous graph parameter for edge colorings. We first show that the acyclic chromatic index is at most $2Δ-1$, where $Δ$ is the maximum degree of the graph. We then show that for all $ε>0$ and for $Δ$ large enough (depending on $ε$), the acyclic chromatic number of the graph is at most $\lceil(4^{-1/3} +ε) Δ^{4/3} \rceil +Δ+ 1$. Both results improve long chains of previous successive advances. Both are algorithmic, in the sense that the colorings are generated by randomized algorithms. Previous randomized algorithms assume the availability of enough colors to guarantee properness deterministically and use additional colors in dealing with the bichromatic cycles in a randomized fashion. In contrast, our algorithm initially generates colorings that are not necessarily proper; it only aims at avoiding cycles where all pairs of edges, or vertices, that are one edge, or vertex, apart in a traversal of the cycle are homochromatic (of the same color). When this goal is reached, the algorithm checks for properness and if necessary it repeats until properness is attained. Thus savings in the number of colors is attained.
On the homotopy decomposition for the quotient of a moment-angle complex and its applications
Published
• View Publication
• BIB
In this paper we prove that the quotient of any real or complex moment-angle complex by any closed subgroup in the naturally acting compact torus on it is equivariantly homotopy equivalent to the homotopy colimit of a certain toric diagram. For any quotient we prove an equivariant homeomorphism generalizing the well-known Davis-Januszkiewicz construction for quasitoric manifolds and small covers. We deduce formality of the corresponding Borel construction space under the natural assumption on the group action in the complex case leading to the new description of the equivariant cohomology for the quotients by any coordinate subgroups. We prove the weak Toral Rank Conjecture for any partial quotient by the diagonal circle action. We give an explicit construction of partial quotients by circle actions having arbitrary torsion in integral cohomology.
Group divisible designs with block size five
We report some group divisible designs with block size five, including types $6^{15}$ and $10^{15}$. As a consequence we are able to extend the known spectrum for 5-GDDs of type $g^u$.
Enumeration of rooted 3-connected bipartite planar maps
Published
• View Publication
• BIB
We provide the first solution to the problem of counting rooted 3-connected bipartite planar maps. Our starting point is the enumeration of bicoloured planar maps according to the number of edges and monochromatic edges, following Bernardi and Bousquet-Mélou [J. Comb. Theory Ser. B, 101 (2011), 315-377]. The decomposition of a map into 2- and 3-connected components allows us to obtain the generating functions of 2-and 3-connected bicoloured maps. Setting to zero the variable marking monochromatic edges we obtain the generating function of 3-connected bipartite maps, which is algebraic of degree 26. We deduce from it an asymptotic estimate for the number of 3-connected bipartite planar maps of the form $t \cdot n^{-5/2} γ^n$, where $γ=ρ^{-1} \approx 2.40958$ and $ρ\approx 0.41501$ is an algebraic number of degree 10.
MaxCut on Permutation Graphs is NP-complete
Published
• View Publication
• BIB
In this paper, we prove that the MaxCut problem is NP-complete on permutation graphs, settling a long-standing open problem that appeared in the 1985 column of the "Ongoing Guide to NP-completeness" by David S. Johnson.
Pure pairs. X. Tournaments and the strong Erdos-Hajnal property
Published in European Journal of Combinatorics, Volume 115, January 2024, 103786
• View Publication
• BIB
A pure pair in a tournament $G$ is an ordered pair $(A,B)$ of disjoint subsets of $V(G)$ such that every vertex in $B$ is adjacent from every vertex in $A$. Which tournaments $H$ have the property that if $G$ is a tournament not containing $H$ as a subtournament, and $|G|>1$, there is a pure pair $(A,B)$ in $G$ with $|A|,|B|\ge c|G|$, where $c>0$ is a constant independent of $G$? Let us say that such a tournament $H$ has the strong EH-property.
As far as we know, it might be that a tournament $H$ has this property if and only if its vertex set has a linear ordering in which its backedges form a forest. Certainly this condition is necessary, but we are far from proving sufficiency. We make a small step in this direction, showing that if a tournament can be ordered with at most three backedges then it has the strong EH-property (except for one case, that we could not decide). In particular, every tournament with at most six vertices has the property, except for three that we could not decide. We also give a seven-vertex tournament that does not have the strong EH-property.
This is related to the Erdos-Hajnal conjecture, which in one form says that for every tournament $H$ there exists $τ>0$ such that every tournament $G$ not containing $H$ as a subtournament has a transitive subtournament of cardinality at least $|G|^τ$. Let us say that a tournament $H$ satisfying this has the EH-property. It is known that every tournament with the strong EH-property also has the EH-property; so our result extends work by Berger, Choromanski and Chudnovsky, who proved that every tournament with at most six vertices has the EH-property, except for one that they did not decide.
Alternating runs of permutations and the central factorial numbers
Let R(n,k) be the number of permutations of $\{1,2,\ldots,n\}$ with k alternating runs. In this paper, we establish the relationships between R(n,k) and the central factorial numbers of even indices as well as the number of signed permutations with a given number of alternating runs and the central factorial numbers of odd indices. The explicit formulas of the peak and left peak polynomials for permutations and the derivative polynomials of the tangent and secant functions are also established.
Radio Number for the Cartesian Product of Two Trees
Published
• View Publication
• BIB
Let $G$ be a simple connected graph. For any two vertices $u$ and $v$, let $d(u,v)$ denote the distance between $u$ and $v$ in $G$, and let $diam(G)$ denote the diameter of $G$. A radio-labeling of $G$ is a function $f$ which assigns to each vertex a non-negative integer (label) such that for every distinct vertices $u$ and $v$ in $G$, it holds that $|f(u)-f(v)| \geq diam(G) - d(u,v) +1$. The span of $f$ is the difference between the largest and smallest labels of $f(V)$. The radio number of $G$, denoted by $rn(G)$, is the smallest span of a radio labeling admitted by $G$. In this paper, we give a lower bound for the radio number of the Cartesian product of two trees. Moreover, we present three necessary and sufficient conditions, and three sufficient conditions for the product of two trees to achieve this bound. Applying these results, we determine the radio number of the Cartesian product of two stars as well as a path and a star.
Tower Gaps in Multicolour Ramsey Numbers
Published
• View Publication
• BIB
Resolving a problem of Conlon, Fox, and Rödl, we construct a family of hypergraphs with arbitrarily large tower height separation between their $2$-colour and $q$-colour Ramsey numbers. The main lemma underlying this construction is a new variant of the Erdős--Hajnal stepping-up lemma for a generalized Ramsey number $r_k(t;q,p)$, which we define as the smallest integer $n$ such that every $q$-colouring of the $k$-sets on $n$ vertices contains a set of $t$ vertices spanning fewer than $p$ colours. Our results provide the first tower-type lower bounds on these numbers.