Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Combinatorics and algorithms for quasi-chain graphs
Published
• View Publication
• BIB
The class of quasi-chain graphs is an extension of the well-studied class of chain graphs. This latter class enjoys many nice and important properties, such as bounded clique-width, implicit representation, well-quasi-ordering by induced subgraphs, etc. The class of quasi-chain graphs is substantially more complex. In particular, this class is not well-quasi-ordered by induced subgraphs, and the clique-width is not bounded in it. In the present paper, we show that the universe of quasi-chain graphs is at least as complex as the universe of permutations by establishing a bijection between the class of all permutations and a subclass of quasi-chain graphs. This implies, in particular, that the induced subgraph isomorphism problem is NP-complete for quasi-chain graphs. On the other hand, we propose a decomposition theorem for quasi-chain graphs that implies an implicit representation for graphs in this class and efficient solutions for some algorithmic problems that are generally intractable.
Many neighborly spheres
Published
• View Publication
• BIB
The result of Padrol asserts that for every $d\geq 4$, there exist $2^{Ω(n\log n)}$ distinct combinatorial types of $\lfloor d/2\rfloor$-neighborly simplicial $(d-1)$-spheres with $n$ vertices. We present a construction showing that for every $d\geq 5$, there are at least $2^{Ω(n^{\lfloor (d-1)/2\rfloor})}$ such types.
On a conjecture of Lin and Kim concerning a refinement of Schröder numbers
Published
• View Publication
• BIB
In this paper, we compute the distribution of the first letter statistic on nine avoidance classes of permutations corresponding to two pairs of patterns of length four. In particular, we show that the distribution is the same for each class and is given by the entries of a new Schröder number triangle. This answers in the affirmative a recent conjecture of Lin and Kim. We employ a variety of techniques to prove our results, including generating trees, direct bijections and the kernel method. For the latter, we make use of in a creative way what we are trying to show in three cases to aid in solving a system of functional equations satisfied by the associated generating functions.
High-dimensional holeyominoes
Published in Electronic Journal of Combinatorics 29 (2022) art. P3.15
• View Publication
• BIB
What is the maximum number of holes enclosed by a $d$-dimensional polyomino built of $n$ tiles? Represent this number by $f_d(n)$. Recent results show that $f_2(n)/n$ converges to $1/2$. We prove that for all $d \geq 2$ we have $f_d(n)/n \to (d-1)/d$ as $n$ goes to infinity. We also construct polyominoes in $d$-dimensional tori with the maximal possible number of holes per tile. In our proofs, we use metaphors from error-correcting codes and dynamical systems.
Determinantal Formulas for SEM Expansions of Schubert Polynomials
Published
• View Publication
• BIB
We show that for any permutation $w$ that avoids a certain set of 13 patterns of lengths 5 and 6, the Schubert polynomial $\mathfrak S_w$ can be expressed as the determinant of a matrix of elementary symmetric polynomials in a manner similar to the Jacobi-Trudi identity. For such $w$, this determinantal formula is equivalent to a (signed) subtraction-free expansion of $\mathfrak S_w$ in the basis of standard elementary monomials.
Playing cards with Vizing's demon
We analyze a solitaire game in which a demon rearranges some cards after each move. The graph edge coloring theorems of Kőnig (1931) and Vizing (1964) follow from the winning strategies developed.
Structural fixed-point theorems
The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality -- these are the so-called "dangerous" directed graphs. Building on Rabern, et. al (2013) we reformulate this problem in terms of fixed points of certain functions, thereby boiling it down to get a purely mathematical problem.
Chromatic index of dense quasirandom graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph with maximum degree $Δ(G)$. A subgraph $H$ of $G$ is overfull if $|E(H)|>Δ(G)\lfloor |V(H)|/2 \rfloor$. Chetwynd and Hilton in 1985 conjectured that a graph $G$ on $n$ vertices with $Δ(G)>n/3$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph. Glock, Kühn and Osthus in 2016 showed that the conjecture is true for dense quasirandom graphs with even order, and they conjectured that the same should hold for such graphs with odd order. In this paper, we show that the conjecture of Glock, Kühn and Osthus is affirmative.
Comparing formulas for type $GL_n$ Macdonald polynomials: Supplement
Published
• View Publication
• BIB
This paper is a supplement to Guo-Ram arXiv:2104.02942, containing examples, remarks and additional material that could be useful to researchers working with Type $GL_n$ Macdonald polynomials. In the course of our comparison of the alcove walk formula and the nonattacking fillings formulas for type $GL_n$ Macdonald polynomials we did many examples and significant analysis of the literature. In the preparation of Guo-Ram arXiv:2104.02942 it seemed sensible to produce a document with focus and this material was removed. This is paper resurrects and organizes that material, in hopes that others may also find it useful.
Leap eccentric connectivity index of some graph operations with subdivided edges
The leap eccentric connectivity index of $G$ is defined as $$Lξ^{C}(G)=\sum_{v\in V(G)}d_{2}(v|G)e(v|G)$$ where $d_{2}(v|G) $ be the second degree of the vertex $v$ and $e(v|G)$ be the eccentricity of the vertex $v$ in $G$. In this paper, we first give a counterexample for that if $G$ be a graph and $S(G)$ be its the subdivision graph, then each vertex $v\in V(G)$, $e(v|S(G))=2e(v|G)$ by Yarahmadi in \cite{yar14} in Theorem 3.1. And we describe the upper and lower bounds of the leap eccentric connectivity index of four graphs based on subdivision edges, and then give the expressions of the leap eccentric connectivity index of join graph based on subdivision, finally, give the bounds of the leap eccentric connectivity index of four variants of the corona graph.
Eigenvalue asymptotics and unique continuation of eigenfunctions on planar graphs
Published
• View Publication
• BIB
We study planar graphs with large negative curvature outside of a finite set and the spectral theory of Schr{ö}dinger operators on these graphs. We obtain estimates on the first and second order term of the eigenvalue asymptotics. Moreover, we prove a unique continuation result for eigenfunctions and decay properties of general eigenfunctions. The proofs rely on a detailed analysis of the geometry which employs a Copy-and-Paste procedure based on the Gauß-Bonnet theorem.
Power-conjugate equations in symmetric groups
Published
• View Publication
• BIB
We investigate the solutions of the conjugate equation aya^(-1)=y^e in the symmetric group S_{n}. Here a is a fixed (constant), e is an integer exponent and y is a single unknown permutation (in S_{n}). It turns out that the existence of a non-trivial solution y heavily depends on e and the type of a.
Predominating a vertex in the connected domination game
The connected domination game is played just as the domination game, with an additional requirement that at each stage of the game the vertices played induce a connected subgraph. The number of moves in a D-game (an S-game, resp.) on a graph $G$ when both players play optimally is denoted by $γ_{\rm cg}(G)$ ($γ_{\rm cg}'(G)$, resp.). Connected Game Continuation Principle is established as a substitute for the classical Continuation Principle which does not hold for the connected domination game. Let $G|x$ denote the graph $G$ together with a declaration that the vertex $x$ is already dominated. The first main result asserts that if $G$ is a graph with $γ_{\rm cg}(G) \geq 3$ and $x \in V(G)$, then $γ_{\rm cg}(G|x) \leq 2 γ_{\rm cg}(G) - 3$ and the bound is sharp. The second main theorem states that if $G$ is a graph with $n(G) \geq 2$ and $x \in V(G)$, then $γ_{\rm cg}(G|x) \geq \left \lceil \frac12 γ_{\rm cg}(G) \right \rceil$ and the bound is sharp. Graphs $G$ and their vertices $x$ for which $γ_{\rm cg}'(G|x) = \infty$ holds are also characterized.
On the first Banhatti-Sombor index
Let $d_v$ be the degree of the vertex $v$ in a connected graph $G$. The first Banhatti-Sombor index of $G$ is defined as $BSO(G) =\sum_{uv\in E(G)}\sqrt{\frac{1}{d^2_u}+\frac{1}{d^2_v}}$, which is a new vertex-degree-based topological index introduced by Kulli. In this paper, the mathematical relations between the first Banhatti-Sombor index and some other well-known vertex-degree-based topological indices are established. In addition, the trees extremal with respect to the first Banhatti-Sombor index on trees and chemical trees are characterized, respectively.
Interval constraint programming for globally solving catalog-based categorical optimization
Published
• View Publication
• BIB
In this article, we propose an interval constraint programming method for globally solving catalog-based categorical optimization problems. It supports catalogs of arbitrary size and properties of arbitrary dimension, and does not require any modeling effort from the user. A novel catalog-based contractor (or filtering operator) guarantees consistency between the categorical properties and the existing catalog items. This results in an intuitive and generic approach that is exact, rigorous (robust to roundoff errors) and can be easily implemented in an off-the-shelf interval-based continuous solver that interleaves branching and constraint propagation. We demonstrate the validity of the approach on a numerical problem in which a categorical variable is described by a two-dimensional property space. A Julia prototype is available as open-source software under the MIT license at https://github.com/cvanaret/CateGOrical.jl
A characterization of normal 3-pseudomanifolds with at most two singularities
Published in Discrete Math. 346 (12) (2023), Paper No. 113588, 15 pp
• View Publication
• BIB
Characterizing face-number-related invariants of a given class of simplicial complexes has been a central topic in combinatorial topology. In this regard, one of the well-known invariants is $g_2$. Let $K$ be a normal $3$-pseudomanifold such that $g_2(K) \leq g_2(lk (v)) + 9$ for some vertex $v$ in $K$. Suppose either $K$ has only one singularity or $K$ has two singularities (at least) one of which is an $\mathbb{RP}^2$-singularity. We prove that $K$ is obtained from some boundary complexes of $4$-simplices by a sequence of operations of types connected sums, bistellar $1$-moves, edge contractions, edge expansions, vertex foldings, and edge foldings. In case $K$ has one singularity, $|K|$ is a handlebody with its boundary coned off. Further, we prove that the above upper bound is sharp for such normal $3$-pseudomanifolds.
Cyclic descents for Motzkin paths
Published
• View Publication
• BIB
A notion of cyclic descents on standard Young tableaux (SYT) of rectangular shape was introduced by Rhoades, and extended to certain skew shapes by Adin, Elizalde and Roichman. The cyclic descent set restricts to the usual descent set when the largest value is ignored, and has the property that the number of SYT of a given shape with a given cyclic descent set D is invariant under cyclic shifts of the entries of D. Adin, Reiner and Roichman proved that a skew shape has a cyclic descent map if and only if it is not a connected ribbon. Unfortunately, their proof is nonconstructive. Recently Huang constructed an explicit cyclic descent map for all shapes where this is possible.
In the earlier version of Adin, Elizalde and Roichman's paper, they asked to find statistics on combinatorial objects which are equidistributed with cyclic descents on SYT of given shapes. In this paper, we explicitly describe cyclic descent sets for Motzkin paths, which are equidistributed with cyclic descent sets of SYT for three-row shapes. Moreover, in light of Stanley's shuffling theorem, we give a bijective proof of the shuffling property of descent statistics for Motzkin paths.
Eliahou number, Wilf function and concentration of a numerical semigroup
Published in Quaestiones Mathematicae 46(4), pp. 761-774 (2023)
• View Publication
• BIB
We give an estimate of the minimal positive value of the Wilf function of a numerical semigroup in terms of its concentration. We describe necessary conditions for a numerical semigroup to have negative Eliahou number in terms of its multiplicity, concentration and Wilf function. Also, we show new examples of numerical semigroups with negative Eliahou number. In addition, we introduce the notion of highly dense numerical semigroup; this yields a new family of numerical semigroups satisfying the Wilf conjecture. Moreover, we use the Wilf function of a numerical semigroup to prove that the Eliahou number of a highly dense numerical semigroup is positive under certain additional hypothesis. In particular, these results provide new evidences in favour of the Wilf conjecture.
Eternal distance-k domination on graphs
Published
• View Publication
• BIB
Eternal domination is a dynamic process by which a graph is protected from an infinite sequence of vertex intrusions. In eternal distance-$k$ domination, guards initially occupy the vertices of a distance-$k$ dominating set. After a vertex is attacked, guards ``defend'' by each moving up to distance $k$ to form a distance-$k$ dominating set, such that some guard occupies the attacked vertex. The eternal distance-$k$ domination number of a graph is the minimum number of guards needed to defend against any sequence of attacks. The process is well-studied for the situation where $k=1$. We introduce eternal distance-$k$ domination for $k > 1$.
Determining whether a given set is an eternal distance-$k$ domination set is in EXP, and in this paper we provide a number of results for paths and cycles, and relate this parameter to graph powers and domination in general. For trees we use decomposition arguments to bound the eternal distance-$k$ domination numbers, and solve the problem entirely in the case of perfect $m$-ary trees.
Graph toughness from Laplacian eigenvalues
Published
• View Publication
• BIB
The toughness $t(G)$ of a graph $G=(V,E)$ is defined as $t(G)=\min\{\frac{|S|}{c(G-S)}\}$, in which the minimum is taken over all $S\subset V$ such that $G-S$ is disconnected, where $c(G-S)$ denotes the number of components of $G-S$. We present two tight lower bounds for $t(G)$ in terms of the Laplacian eigenvalues and provide strong support for a conjecture for a better bound which, if true, implies both bounds, and improves and generalizes known bounds by Alon, Brouwer, and the first author. As applications, several new results on perfect matchings, factors and walks from Laplacian eigenvalues are obtained, which leads to a conjecture about Hamiltonicity and Laplacian eigenvalues.