Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On Minimum Connecting Transition Sets in Graphs
Published
• View Publication
• BIB
A forbidden transition graph is a graph defined together with a set of permitted transitions i.e. unordered pair of adjacent edges that one may use consecutively in a walk in the graph. In this paper, we look for the smallest set of transitions needed to be able to go from any vertex of the given graph to any other. We prove that this problem is NP-hard and study approximation algorithms. We develop theoretical tools that help to study this problem.
The bounded derived categories of the Tamari lattices are fractionally Calabi-Yau
Published
• View Publication
• BIB
We prove that the bounded derived category of the incidence algebra of the Tamari lattice is fractionally Calabi-Yau, giving a positive answer to a conjecture of Chapoton. The proof involves a combinatorial description of the Serre functor of this derived category on a sufficiently nice family of indecomposable objects.
Infinite Latin Squares: Neighbor Balance and Orthogonality
Published
• View Publication
• BIB
Regarding neighbor balance, we consider natural generalizations of $D$-complete Latin squares and Vatican squares from the finite to the infinite. We show that if $G$ is an infinite abelian group with $|G|$-many square elements, then it is possible to permute the rows and columns of the Cayley table to create an infinite Vatican square. We also construct a Vatican square of any given infinite order that is not obtainable by permuting the rows and columns of a Cayley table. Regarding orthogonality, we show that every infinite group $G$ has a set of $|G|$ mutually orthogonal orthomorphisms and hence there is a set of $|G|$ mutually orthogonal Latin squares based on $G$. We show that an infinite group $G$ with $|G|$-many square elements has a strong complete mapping; and, with some possible exceptions, infinite abelian groups have a strong complete mapping.
Several generalizations and variations of Chu-Vandermonde identity
Published
• View Publication
• BIB
In this paper we prove some combinatorial identities which can be considered as generalizations and variations of remarkable Chu-Vandermonde identity. These identities are proved by using an elementary combinatorial-probabilistic approach to the expressions for the $k$-th moments ($k=1,2,3$) of some particular cases of recently investigated discrete random variables. Using one of these Chu-Vandermonde-type identities, two combinatorial congruences are established.
Shadows in Coxeter groups
Published in Annals of Combinatorics, Volume 24, Issue 1 (2020), https://rdcu.be/b1ZBg
• View Publication
• BIB
For a given $w$ in a Coxeter group $W$ the elements $u$ smaller than $w$ in Bruhat order can be seen as the end-alcoves of stammering galleries of type $w$ in the Coxeter complex $Σ$. We generalize this notion and consider sets of end-alcoves of galleries that are positively folded with respect to certain orientation $φ$ of $Σ$. We call these sets shadows. Positively folded galleries are closely related to the geometric study of affine Deligne-Lusztig varieties, MV polytopes, Hall-Littlewood polynomials and many more agebraic structures. In this paper we will introduce various notions of orientations and hence shadows and study some of their algorithmic properties.
On walks avoiding a quadrant
Published in Electronic Journal of Combinatorics, 26 P3.31 (2019) 1-34
• View Publication
• BIB
Two-dimensional (random) walks in cones are very natural both in combinatorics and probability theory: they are interesting for themselves and also because they are strongly related to other discrete structures. While walks restricted to the first quadrant have been studied a lot, the case of planar, non-convex cones---equivalent to the three-quarter plane after a linear transform---has been approached only recently. In this article we develop an analytic approach to the case of walks in three quadrants. The advantage of this method is to provide uniform treatment in the study of models corresponding to different step sets. After splitting the three quadrants in two symmetric convex cones, the method is composed of three main steps: write a system of functional equations satisfied by the counting generating function, which may be simplified into one single equation under symmetry conditions; transform the functional equation into a boundary value problem; and finally solve this problem, using a concept of anti-Tutte's invariant. The result is a contour-integral expression for the generating function. Such systems of functional equations also appear in queueing theory with the famous Join-the-Shortest-Queue model, which is still an open problem in the non-symmetric case.
Enumerative Results on the Schröder Pattern Poset
Published in In: Dennunzio A., Formenti E., Manzoni L., Porreca A. (eds) Cellular Automata and Discrete Complex Systems. AUTOMATA 2017. Lecture Notes in Computer Science, vol 10248. Springer, Cham
• View Publication
• BIB
The set of Schröder words (Schröder language) is endowed with a natural partial order, which can be conveniently described by interpreting Schröder words as lattice paths. The resulting poset is called the Schröder pattern poset. We find closed formulas for the number of Schröder words covering/covered by a given Schröder word in terms of classical parameters of the associated Schröder path. We also enumerate several classes of Schröder avoiding words (with respect to the length), i.e. sets of Schröder words which do not contain a given Schröder word.
Total non-negativity of some combinatorial matrices
Published
• View Publication
• BIB
Many combinatorial matrices --- such as those of binomial coefficients, Stirling numbers of both kinds, and Lah numbers --- are known to be totally non-negative, meaning that all minors (determinants of square submatrices) are non-negative.
The examples noted above can be placed in a common framework: for each one there is a non-decreasing sequence $(a_1, a_2, \ldots)$, and a sequence $(e_1, e_2, \ldots)$, such that the $(m,k)$-entry of the matrix is the coefficient of the polynomial $(x-a_1)\cdots(x-a_k)$ in the expansion of $(x-e_1)\cdots(x-e_m)$ as a linear combination of the polynomials $1, x-a_1, \ldots, (x-a_1)\cdots(x-a_m)$.
We consider this general framework. For a non-decreasing sequence $(a_1, a_2, \ldots)$ we establish necessary and sufficient conditions on the sequence $(e_1, e_2, \ldots)$ for the corresponding matrix to be totally non-negative. As corollaries we obtain totally non-negativity of matrices of rook numbers of Ferrers boards, and of graph Stirling numbers of chordal graphs.
On the unimodality of the Taylor expansion coefficients of Jacobian elliptic functions
The Jacobian elliptic functions are standard forms of elliptic functions, and they were independently introduced by C.G.J. Jacobi and N.H. Abel. In this paper, we study the unimodality of Taylor expansion coefficients of the Jacobian elliptic functions sn(u,k) and cn(u,k). By using the theory of gamma-positivity, we obtain that the Taylor expansion coefficients of sn(u,k) are symmetric and unimodal, and that of cn(u,k) are unimodal and alternatingly increasing.
Laplacian growth & sandpiles on the Sierpinski gasket: limit shape universality and exact solutions
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 7 (2020), 585-664
• View Publication
• BIB
We establish quantitative spherical shape theorems for rotor-router aggregation and abelian sandpile growth on the graphical Sierpinski gasket ($SG$) when particles are launched from the corner vertex.
In particular, the abelian sandpile growth problem is exactly solved via a recursive construction of self-similar sandpile tiles. We show that sandpile growth and patterns exhibit a $(2\cdot 3^n)$-periodicity as a function of the initial mass. Moreover, the cluster explodes---increments by more than 1 in radius---at periodic intervals, a phenomenon not seen on $\mathbb{Z}^d$ or trees. We explicitly characterize all the radial jumps, and use the renewal theorem to prove the scaling limit of the cluster radius, which satisfies a power law modulated by log-periodic oscillations. In the course of our proofs we also establish structural identities of the sandpile groups of subgraphs of $SG$ with two different boundary conditions, notably the corresponding identity elements conjectured by Fairchild, Haim, Setra, Strichartz, and Westura.
Our main theorems, in conjunction with recent results of Chen, Huss, Sava-Huss, and Teplyaev, establish $SG$ as a positive example of a state space which exhibits "limit shape universality," in the sense of Levine and Peres, among the four Laplacian growth models: divisible sandpiles, abelian sandpiles, rotor-router aggregation, and internal diffusion-limited aggregation (IDLA). We conclude the paper with conjectures about radial fluctuations in IDLA on $SG$, possible extensions of limit shape universality to other state spaces, and related open problems.
MRD codes with maximum idealizers
Published in Discrete Mathematics 343(9) (2020) 111985
• View Publication
• BIB
Left and right idealizers are important invariants of linear rank-distance codes. In the case of maximum rank-distance (MRD for short) codes in $\mathbb{F}_q^{n\times n}$ the idealizers have been proved to be isomorphic to finite fields of size at most $q^n$. Up to now, the only known MRD codes with maximum left and right idealizers are generalized Gabidulin codes, which were first constructed in 1978 by Delsarte and later generalized by Kshevetskiy and Gabidulin in 2005. In this paper we classify MRD codes in $\mathbb{F}_q^{n\times n}$ for $n\leq 9$ with maximum left and right idealizers and connect them to Moore-type matrices. Apart from generalized Gabidulin codes, it turns out that there is a further family of rank-distance codes providing MRD ones with maximum idealizers for $n=7$, $q$ odd and for $n=8$, $q\equiv 1 \pmod 3$. These codes are not equivalent to any previously known MRD code. Moreover, we show that this family of rank-distance codes does not provide any further examples for $n\geq 9$.
Theta-vexillary signed permutations
Published in Electron. J. Combin. 25(4) (2018), #P4.53
• View Publication
• BIB
Theta-vexillary signed permutations are elements in the hyperoctahedral group that index certain classes of degeneracy loci of type B and C. These permutations are described using triples of $s$-tuples of integers subject to specific conditions. The objective of this work is to present different characterizations of theta-vexillary signed permutations, describing them in terms of corners in the Rothe diagram and pattern avoidance.
The $g$-good neighbor conditional diagnosability of locally exchanged twisted cubes
Published
• View Publication
• BIB
Connectivity and diagnosability are important parameters in measuring the fault tolerance and reliability of interconnection networks. The $R^g$-vertex-connectivity of a connected graph $G$ is the minimum cardinality of a faulty set $X\subseteq V(G)$ such that $G-X$ is disconnected and every fault-free vertex has at least $g$ fault-free neighbors. The $g$-good-neighbor conditional diagnosability is defined as the maximum cardinality of a $g$-good-neighbor conditional faulty set that the system can guarantee to identify. The interconnection network considered here is the locally exchanged twisted cube $LeTQ(s,t)$. For $1\leq s\leq t$ and $0\leq g\leq s$, we first determine the $R^g$-vertex-connectivity of $LeTQ(s,t)$, then establish the $g$-good neighbor conditional diagnosability of $LeTQ(s,t)$ under the PMC model and MM$^*$ model, respectively.
Exact solution of some quarter plane walks with interacting boundaries
Published
• View Publication
• BIB
The set of random walks with different step sets (of short steps) in the quarter plane has provided a rich set of models that have profoundly different integrability properties. In particular, 23 of the 79 effectively different models can be shown to have generating functions that are algebraic or differentiably finite. Here we investigate how this integrability may change in those 23 models where in addition to length one also counts the number of sites of the walk touching either the horizontal and/or vertical boundaries of the quarter plane. This is equivalent to introducing interactions with those boundaries in a statistical mechanical context. We are able to solve for the generating function in a number of cases. For example, when counting the total number of boundary sites without differentiating whether they are horizontal or vertical, we can solve the generating function of a generalised Kreweras model. However, in many instances we are not able to solve as the kernel methodology seems to break down when including counts with the boundaries.
Local $h^*$-Polynomials of Some Weighted Projective Spaces
Published
• View Publication
• BIB
There is currently a growing interest in understanding which lattice simplices have unimodal local $h^\ast$-polynomials (sometimes called box polynomials); specifically in light of their potential applications to unimodality questions for Ehrhart $h^\ast$-polynomials. In this note, we compute a general form for the local $h^\ast$-polynomial of a well-studied family of lattice simplices whose associated toric varieties are weighted projective spaces. We then apply this formula to prove that certain such lattice simplices, whose combinatorics are naturally encoded using common systems of numeration, all have real-rooted, and thus unimodal, local $h^\ast$-polynomials. As a consequence, we discover a new restricted Eulerian polynomial that is real-rooted, symmetric, and admits intriguing number theoretic properties.
Minimum tree-stretch of Hamming graphs and higher-dimensional grids
Published
• View Publication
• BIB
The minimum stretch spaning tree problem for a grah G is to find a spaning tree T of G such as that the maximum distance in T between two adjacent vertices is minimized. The minimum value of this optimization problem gives rise to a grpah invariant σ T(G) called the tree stretch of G. The problem has been studied in the algorithmic aspects, such as NP-hardness and fixed-parameter solvability. This paper presents the exact values σ T(G) of hamming graphs Kn1 * Kn2 * ... * Knd and the higer-dimensional grids Pn1 * Pn2 * ... * Pnd.
Chromatic-choosability of hypergraphs with high chromatic number
Published
• View Publication
• BIB
It was conjectured by Ohba and confirmed recently by Noel et al. that, for any graph $G$, if $|V(G)|\le 2χ(G)+1$ then $χ_l(G)=χ(G)$. This indicates that the graphs with high chromatic number are chromatic-choosable. We show that this is also the case for uniform hypergraphs and further propose a generalized version of Ohba's conjecture: for any $r$-uniform hypergraph $H$ with $r\geq 2$, if $|V(H)|\le rχ(H)+r-1$ then $χ_l(H)=χ(H)$. We show that the condition of the proposed conjecture is sharp by giving two classes of $r$-uniform hypergraphs $H$ with $|V(H)|= rχ(H)+r$ and $χ_l(H)>χ(H)$. To support the conjecture, we give two classes of $r$-uniform hypergraphs $H$ with $|V(H)|= rχ(H)+r-1$ and prove that $χ_l(H)=χ(H)$.
Determination of the size of defining set for Steiner triple systems
Published
• View Publication
• BIB
Every Steiner triple system is a uniform hypergraph. The coloring of hypergraph and its special case Steiner triple systems, {STS}$(v)$, is studied extensively. But the defining set of the coloring of hypergraph even its special case {STS}$(v)$, is not explored yet. We study minimum defining set and the largest minimal defining set for $3$-coloring of {STS}$(v)$. We determined minimum defining set and the largest minimal defining set, for all non-isomorphic {STS}$(v)$, $v\le 15$. Also we have found the {\sf defining number} for all Steiner triple systems of order $v$, and some lower bounds for the size of the largest minimal defining set for all Steiner triple systems of order $v$, for each admissible $v$.
On kernels by rainbow paths in arc-coloured digraphs
Published
• View Publication
• BIB
In 2018, Bai, Fujita and Zhang (\emph{Discrete Math.} 2018, 341(6): 1523-1533) introduced the concept of a kernel by rainbow paths (for short, RP-kernel) of an arc-coloured digraph $D$, which is a subset $S$ of vertices of $D$ such that ($a$) there exists no rainbow path for any pair of distinct vertices of $S$, and ($b$) every vertex outside $S$ can reach $S$ by a rainbow path in $D$. They showed that it is NP-hard to recognize wether an arc-coloured digraph has a RP-kernel and it is NP-complete to decided wether an arc-coloured tournament has a RP-kernel. In this paper, we give the sufficient conditions for the existence of a RP-kernel in arc-coloured unicyclic digraphs, semicomplete digraphs, quasi-transitive digraphs and bipartite tournaments, and prove that these arc-coloured digraphs have RP-kernels if certain "short" cycles and certain "small" induced subdigraphs are rainbow.
The average size of independent sets of graphs
Published
• View Publication
• BIB
In this paper, we study the average size of independent (vertex) sets of a graph. This invariant can be regarded as the logarithmic derivative of the independence polynomial evaluated at $1$. We are specifically concerned with extremal questions. The maximum and minimum for general graphs are attained by the empty and complete graph respectively, while for trees we prove that the path minimises the average size of independent sets and the star maximises it. While removing a vertex does not always decrease the average size of independent sets, we prove that there always exists a vertex for which this is the case.