Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Inclusion-exclusion by ordering-free cancellation
Published
• View Publication
• BIB
Whitney's broken circuit theorem gives a graphical example to reduce the number of the terms in the sum of the inclusion-exclusion formula by a predicted cancellation. So far, the known cancellations for the formula strongly depend on the prescribed (linear or partial) ordering on the index set. We give a new cancellation method, which does not require any ordering on the index set. Our method extends all the `ordering-based' methods known in the literatures and in general reduces more terms. As examples, we use our method to improve some relevant results on graph polynomials.
Mixing Time on the Kagome Lattice
We consider tilings of a closed region of the Kagome lattice (partition of the plane into regular hexagons and equilateral triangles such that each edge is shared by one triangle and one hexagon). We are interested in the rate of convergence to the stationarity of a natural Markov chain defined on the set of Kagome tilings. The rate of convergence can be represented by the mixing time which mesures the amount of time it takes the chain to be close to its stationary distribution. We obtain a $\mathcal{O}(N^4)$ upper bound on the mixing time of a weighted version of the natural Markov chain. We also consider Kagome tilings restrained to two prototiles, prove flip-connectivity and draw a $\mathcal{O}(N^4)$ upper bound as well on the mixing time of the natural Markov chain in a general (non weighted) case. Finally, we present simulations that suggest existence of a long range phenomenon.
Directed Strongly Regular Cayley Graphs on Dihedral groups
Published
• View Publication
• BIB
In this paper,we construct some directed strongly regular Cayley graphs on dihedral groups,these generalizes some earlier constructions.We also characterize some certain directed strongly regular Cayley graphs on dihedral groups $D_{p^α}$,where $p$ is a prime and $α\geqslant 1$ is a positive integer.
New LMRD bounds for constant dimension codes and improved constructions
Published
• View Publication
• BIB
We generalize upper bounds for constant dimension codes containing a lifted maximum rank distance code first studied by Etzion and Silberstein. The proof allows to construct several improved codes.
A partial order on Motzkin paths
Published
• View Publication
• BIB
The Tamari lattice, defined on Catalan objects such as binary trees and Dyck paths, is a well-studied poset in combinatorics. It is thus natural to try to extend it to other families of lattice paths. In this article, we fathom such a possibility by defining and studying an analogy of the Tamari lattice on Motzkin paths. While our generalization is not a lattice, each of its connected components is isomorphic to an interval in the classical Tamari lattice. With this structural result, we proceed to the enumeration of components and intervals in the poset of Motzkin paths we defined. We also extend the structural and enumerative results to Schröder paths. We conclude by a discussion on the relation between our work and that of Baril and Pallo (2014).
Mixing Time for Square Tilings
We consider tilings of $\mathbb{Z}^2$ by two types of squares. We are interested in the rate of convergence to the stationarity of a natural Markov chain defined for square tilings. The rate of convergence can be represented by the mixing time which measures the amount of time it takes the chain to be close to its stationary distribution. We prove polynomial mixing time for $n \times \log n $ regions in the case of tilings by $1 \times 1$ and $s \times s$ squares. We also consider a weighted Markov chain with weights $λ$ being put on big squares. We show rapid mixing of $O(n^4 \log n)$ with conditions on $λ$. We provide simulations that suggest different conjectures, one of which is the existence of frozen regions in random tilings by squares.
Changing and unchanging of the domination number of a graph: Path addition numbers
Published
• View Publication
• BIB
Given a graph $G = (V,E)$ and two its distinct vertices $u$ and $v$. The $(u,v)$-$P_k$-{\em addition graph} of $G$ is the graph $G_{u,v,k-2}$ obtained from disjoint union of $G$ and a path $P_k: x_0,x_1,..,x_{k-1}$, $k \geq 2$, by identifying the vertices $u$ and $x_0$, and identifying the vertices $v$ and $x_{k-1}$. We prove that (a) $ γ(G)-1 \leq γ(G_{u,v,k})$ for all $k \geq 1$, and (b) $γ(G_{u,v,k}) > γ(G)$ when $k \geq 5$. We also provide necessary and sufficient conditions for the equality $γ(G_{u,v,k}) = γ(G)$ to be valid for each pair $u,v \in V(G)$. pair $u,v \in V(G)$.
Two-stack-sorting with pop stacks
Published in Australasian Journal of Combinatorics 74.1 (2019), 179-195
• Search Publication
We consider the set of permutations that are sorted after two passes through a pop stack. We characterize these permutations in terms of forbidden patterns (classical and barred) and enumerate them according to the ascent statistic. Then we show these permutations to be in bijection with a special family of polyominoes. As a consequence, the permutations sortable by this machine are shown to have the same enumeration as three classical permutation classes.
Saturated configuration and new large construction of equiangular lines
Published
• View Publication
• BIB
A set of lines through the origin in Euclidean space is called equiangular when any pair of lines from the set intersects with each other at a common angle. We study the maximum size of equiangular lines in Euclidean space and use graph theoretic approach to prove that all the currently known construction for maximum equiangular lines in $\mathbb R^d$ cannot add another line to form a larger equiangular set of lines if $14 \leq d \leq 20$ and $d \neq 15$. We give new constructions of large equiangular lines which are 248 equiangular lines in $\mathbb R^{42}$, 200 equiangular lines in $\mathbb{R}^{41}$, 168 equiangular lines in $\mathbb{R}^{40}$, 152 equiangular lines in $\mathbb R^{39}$ with angle $1/7$, and 56 equiangular lines in $\mathbb R^{18}$ with angle $1/5$.
Properties of non-symmetric Macdonald polynomials at $q=1$ and $q=0$
Published in Annals of Combinatorics, 23, No.2, 219--239 (2019)
• View Publication
• BIB
We examine the non-symmetric Macdonald polynomials $E_λ(x;q,t)$ at $q=1$, as well as the more general permuted-basement Macdonald polynomials. When $q=1$, we show that $E_λ(x;1,t)$ is symmetric and independent of $t$ whenever $λ$ is a partition. Furthermore, we show that for general $λ$, this expression factors into a symmetric and a non-symmetric part, where the symmetric part is independent of $t$, while the non-symmetric part only depends on the relative order of the entries in $λ$.
We also examine the case $q=0$, which give rise to so called permuted-basement $t$-atoms. We prove expansion-properties of these, and as a corollary, prove that Demazure characters (key polynomials) expand positively into permuted-basement atoms. This complements the result that permuted-basement atoms are atom-positive. Finally, we show that a product of a permuted-basement atom and a Schur polynomial is again positive in the same permuted-basement atom basis, and thus interpolates between two results by Haglund, Luoto, Mason and van Willigenburg.
The common theme in this project is the application of basement-permuting operators as well as combinatorics on fillings, by applying results in a previous article by the first author.
Remarks on Graphons
Published in International Journal of Algebra, Vol. 15, 2021, no. 2, 61-68
• View Publication
• BIB
L. Lovász and B. Szegedy proved in 2006 that the limits of convergent graph sequences can be described by measurable symmetric functions $W: [0, 1]\times [0, 1]\to [0, 1]$ called graphons. In our present paper we investigate the structure of the set of all graphons within the semigroup $(\mathfrak{F}([0, 1]^2); \circ)$ of all fuzzy subsets of the unit square $[0,1]^2=[0, 1]\times [0, 1]$, where the operation $\circ$ is defined by: for every $f, g\in \mathfrak{F}([0,1]^2)$ and every $s\in [0,1]^2$, $(f\circ g)(s)=\vee_{x\in [0,1]^2}(f(x)\wedge g(s))$.
Asymptotic Enumeration of Graph Classes with Many Components
Published in 2018 Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), pp. 133--142
• View Publication
• BIB
We consider graph classes $\mathcal G$ in which every graph has components in a class $\mathcal{C}$ of connected graphs. We provide a framework for the asymptotic study of $\lvert\mathcal{G}_{n,N}\rvert$, the number of graphs in $\mathcal{G}$ with $n$ vertices and $N:=\lfloorλn\rfloor$ components, where $λ\in(0,1)$. Assuming that the number of graphs with $n$ vertices in $\mathcal{C}$ satisfies \begin{align*} \lvert \mathcal{C}_n\rvert\sim b n^{-(1+α)}ρ^{-n}n!, \quad n\to \infty \end{align*} for some $b,ρ>0$ and $α>1$ -- a property commonly encountered in graph enumeration -- we show that \begin{align*} \lvert\mathcal{G}_{n,N}\rvert\sim c(λ) n^{f(λ)} (\log n)^{g(λ)} ρ^{-n}h(λ)^{N}\frac{n!}{N!}, \quad n\to \infty \end{align*} for explicitly given $c(λ),f(λ),g(λ)$ and $h(λ)$. These functions are piecewise continuous with a discontinuity at a critical value $λ^{*}$, which we also determine. The central idea in our approach is to sample objects of $\cal G$ randomly by so-called Boltzmann generators in order to translate enumerative problems to the analysis of iid random variables. By that we are able to exploit local limit theorems and large deviation results well-known from probability theory to prove our claims. The main results are formulated for generic combinatorial classes satisfying the SET-construction.
The method of hypergraph containers
Published
• View Publication
• BIB
In this survey we describe a recently-developed technique for bounding the number (and controlling the typical structure) of finite objects with forbidden substructures. This technique exploits a subtle clustering phenomenon exhibited by the independent sets of uniform hypergraphs whose edges are sufficiently evenly distributed; more precisely, it provides a relatively small family of 'containers' for the independent sets, each of which contains few edges. We attempt to convey to the reader a general high-level overview of the method, focusing on a small number of illustrative applications in areas such as extremal graph theory, Ramsey theory, additive combinatorics, and discrete geometry, and avoiding technical details as much as possible.
Matching, Path Covers, and Total Forcing Sets
Published
• View Publication
• BIB
A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. If the initial set $S$ has the added property that it induces a subgraph of $G$ without isolated vertices, then $S$ is called a total forcing set in $G$. The minimum cardinality of a total forcing set in $G$ is its total forcing number, denoted $F_t(G)$. The path cover number of $G$, denoted $\pc(G)$, is the minimum number of vertex disjoint paths such that every vertex belongs to a path in the cover, while the matching number of $G$, denoted $α'(T)$, is the number of edges in a maximum matching of $G$. Let $T$ be a tree of order at least two. We observe that $\pc(T) + 1 \le F_t(T) \le 2\pc(T)$, and we prove that $F_t(T) \le α'(T) + \pc(T)$. Further, we characterize the extremal trees achieving equality in these bounds.
Some remarks on biased recursive trees
The purpose of this paper is to analyze certain statistics of a recently introduced non-uniform random tree model, biased recursive trees. This model is based on constructing a random tree by establishing a correspondence with non-uniform permutations, biased riffle shuffles. The statistics that are treated include the number of nodes with a given number of descendants, the depth of the tree, and the number of branches. The model yields the uniform recursive trees as a certain limit, some new results for the uniform case are obtained as well.
Cohomology rings of compactifications of toric arrangements
Published in Algebr. Geom. Topol. 19 (2019) 503-532
• View Publication
• BIB
Some projective wonderful models for the complement of a toric arrangement in a n-dimensional algebraic torus T were constructed in [3]. In this paper we describe their integer cohomology rings by generators and relations.
A Context-free Grammar for Peaks and Double Descents of Permutations
Published
• View Publication
• BIB
This paper is concerned with the joint distribution of the number of exterior peaks and the number of proper double descents over permutations on $[n] =\{1,2,\ldots,n\}$. The notion of exterior peaks of a permutation was introduced by Aguiar, Bergeron and Nyman in their study of the peak algebra. Gessel obtained the generating function of the number of permutations on $[n]$ with a given number of exterior peaks. On the other hand, by establishing differential equations, Elizalde and Noy derived the generating function for the number of permutations on $[n]$ with a given number of proper double descents. Barry and Basset independently deduced the generating function of the number of permutations on $[n]$ with no proper double descents. We find a context-free grammar which can be used to compute the number of permutations on $[n]$ with a given number of exterior peaks and a given number of proper double descents. Based on the grammar, the recurrence relation of the number of permutations on $[n]$ with a given number of exterior peaks can be easily obtained. Moreover, we use the grammatical calculus to derive the generating function without solving differential equations. Our formula reduces to the formulas of Gessel, Elizalde-Noy, Barry, and Basset. Finally, from the grammar we establish a relationship between our generating function and the generating function of the joint distribution of the number of peaks and the number of double descent derived by Carlitz and Scoville.
Not-All-Equal and 1-in-Degree Decompositions: Algorithmic Complexity and Applications
Published
• View Publication
• BIB
A Not-All-Equal (NAE) decomposition of a graph $G$ is a decomposition of the vertices of $G$ into two parts such that each vertex in $G$ has at least one neighbor in each part. Also, a 1-in-Degree decomposition of a graph $G$ is a decomposition of the vertices of $G$ into two parts $A$ and $B$ such that each vertex in the graph $G$ has exactly one neighbor in part $A$. Among our results, we show that for a given graph $G$, if $G$ does not have any cycle of length congruent to 2 mod 4, then there is a polynomial time algorithm to decide whether $G$ has a 1-in-Degree decomposition. In sharp contrast, we prove that for every $r$, $r\geq 3$, for a given $r$-regular bipartite graph $G$ determining whether $G$ has a 1-in-Degree decomposition is $ \mathbf{NP} $-complete. These complexity results have been especially useful in proving $ \mathbf{NP} $-completeness of various graph related problems for restricted classes of graphs. In consequence of these results we show that for a given bipartite 3-regular graph $G$ determining whether there is a vector in the null-space of the 0,1-adjacency matrix of $G$ such that its entries belong to $\{\pm 1,\pm 2\}$ is $\mathbf{NP} $-complete. Among other results, we introduce a new version of {Planar 1-in-3 SAT} and we prove that this version is also $ \mathbf{NP} $-complete. In consequence of this result, we show that for a given planar $(3,4)$-semiregular graph $G$ determining whether there is a vector in the null-space of the 0,1-incidence matrix of $G$ such that its entries belong to $\{\pm 1,\pm 2\}$ is $\mathbf{NP} $-complete.
Waring's Theorem for Binary Powers
Published
• View Publication
• BIB
A natural number is a binary $k$'th power if its binary representation consists of $k$ consecutive identical blocks. We prove an analogue of Waring's theorem for sums of binary $k$'th powers. More precisely, we show that for each integer $k \geq 2$, there exists a positive integer $W(k)$ such that every sufficiently large multiple of $E_k := \gcd(2^k - 1, k)$ is the sum of at most $W(k)$ binary $k$'th powers. (The hypothesis of being a multiple of $E_k$ cannot be omitted, since we show that the $\gcd$ of the binary $k$'th powers is $E_k$.) Also, we explain how our results can be extended to arbitrary integer bases $b > 2$.
Exceptional and modern intervals of the Tamari lattice
In this article we use the theory of interval-posets recently introduced by Ch{â}tel and Pons in order to describe some interesting families of intervals in the Tamari lattices. These families are defined as interval-posets avoiding specific configurations. At first, we consider what we call exceptional interval-posets and show that they correspond to the intervals which are obtained as images of noncrossing trees in the Dendriform operad. We also show that the exceptional intervals are exactly the intervals of the Tamari lattice induced by intervals in the poset of noncrossing partitions. In the second part we introduce the notion of modern and infinitely modern interval-posets. We show that the modern intervals are in bijection with the new intervals of the Tamari lattice in the sense of Chapoton. We deduce an intrinsic characterization of the new intervals in the Tamari lattice. Finally, we consider the family of what we call infinitely modern intervals and we we prove that there are as many infinitely modern interval-posets of size n as there are ternary trees with n inner vertices.