Showing 20 papers (Total: 82311 papers, 47607 authors in database)
On some non-rigid unit distance patterns
Published
• View Publication
• BIB
A recent generalization of the Erdős Unit Distance Problem, proposed by Palsson, Senger and Sheffer, asks for the maximum number of unit distance paths with a given number of vertices in the plane and in $3$-space. Studying a variant of this question, we prove sharp bounds on the number of unit distance paths and cycles on the sphere of radius $1/\sqrt{2}$. We also consider a similar problem about $3$-regular unit distance graphs in $\mathbb{R}^3$.
Distance-regular Cayley graphs over dicyclic groups
Published
• View Publication
• BIB
The characterization of distance-regular Cayley graphs originated from the problem of identifying strongly regular Cayley graphs, or equivalently, regular partial difference sets. In this paper, a classification of distance-regular Cayley graphs on dicyclic groups is obtained. More specifically, it is shown that every distance-regular Cayley graph on a dicyclic group is a complete graph, a complete multipartite graph, or a non-antipodal bipartite distance-regular graph with diameter $3$ satisfying some additional conditions.
Large induced distance matchings in certain sparse random graphs
Published
• View Publication
• BIB
For a fixed integer $k\geqslant 2$, let $G\in \mathcal{G}(n,p)$ be a simple connected graph on $n\rightarrow\infty$ vertices with the expected degree $d=np$ satisfying $d\geqslant c$ and $d^{k-1}= o(n)$ for some large enough constant $c$. We show that the asymptotical size of any maximal collection of edges $M$ in $G$ such that no two edges in $M$ are within distance $k$, which is called a distance $k$-matching, is between $ \frac{(k-1)n\log d}{4d^{k-1}}$ and $ \frac{k n \log d}{2d^{k-1}}$. We also design a randomized greedy algorithm to generate one large distance $k$-matching in $G$ with asymptotical size $ \frac{kn\log d}{4d^{k-1}}$. Our results partially generalize the results on the size of the largest distance $k$-matchings from the case $k=2$ or $d=c$ for some large constant $c$.
On 1-skeleton of the polytope of pyramidal tours with step-backs
Published in Siberian Electronic Mathematical Reports, Volume 19, Issue 2, 2022, Pages 674-687
• View Publication
• BIB
Pyramidal tours with step-backs are Hamiltonian tours of a special kind: the salesperson starts in city 1, then visits some cities in ascending order, reaches city $n$, and returns to city 1 visiting the remaining cities in descending order. However, in the ascending and descending direction, the order of neighboring cities can be inverted (a step-back). It is known that on pyramidal tours with step-backs the traveling salesperson problem can be solved by dynamic programming in polynomial time.
We define the polytope of pyramidal tours with step-backs $\operatorname{PSB}(n)$ as the convex hull of the characteristic vectors of all possible pyramidal tours with step-backs in a complete directed graph. The 1-skeleton of $\operatorname{PSB}(n)$ is the graph whose vertex set is the vertex set of the polytope, and the edge set is the set of geometric edges or one-dimensional faces of the polytope. We present a linear-time algorithm to verify vertex adjacencies in 1-skeleton of the polytope $\operatorname{PSB}(n)$ and estimate the diameter and the clique number of 1-skeleton: the diameter is bounded above by 4 and the clique number grows quadratically in the parameter $n$.
Longest Cycle above Erdős-Gallai Bound
Published
• View Publication
• BIB
In 1959, Erdős and Gallai proved that every graph G with average vertex degree ad(G)\geq 2 contains a cycle of length at least ad(G). We provide an algorithm that for k\geq 0 in time 2^{O(k)} n^{O(1)} decides whether a 2-connected n-vertex graph G contains a cycle of length at least ad(G)+k. This resolves an open problem explicitly mentioned in several papers. The main ingredients of our algorithm are new graph-theoretical results interesting on their own.
Perfect state transfer on semi-Cayley graphs over abelian groups
Published
• View Publication
• BIB
In this paper, we consider the problem on the existence of perfect state transfer(PST for short) on semi-Cayley graphs over abelian groups (which are not necessarily regular), i.e on the graphs having semiregular and abelian subgroups of automorphisms with two orbits of equal size. We stablish a characterization of semi-Cayley graphs over abelian groups having PST. As a result, we give a characterization of Cayley graphs over groups with an abelian subgroup of index 2 having PST, which improves the earlier results on Cayley graphs over abelian groups, dihedral groups and dicyclic group and determines Cayley graphs over generalized dihedral groups and generalized dicyclic groups having PST.
Splitting Kronecker squares, 2-decomposition numbers, Catalan Combinatorics, and the Saxl conjecture
Published
• View Publication
• BIB
While there has been some progress on the decomposition of Kronecker products of characters of the symmetric groups in recent times, results on the symmetric and alternating part of Kronecker squares are still scarce. Here, new results (and conjectures) are presented on this splitting of the squares that contribute to a refined understanding of the Kronecker squares. Furthermore, connections to 2-modular decomposition numbers, Catalan combinatorics, and to the Saxl conjecture are discussed which further motivate the study of these splittings.
$\mathscr{A}=\mathscr{U}$ for cluster algebras from moduli spaces of $G$-local systems
Published in Adv. Math. 431 (2023)
• View Publication
• BIB
For a finite-dimensional simple Lie algebra $\mathfrak{g}$ admitting a non-trivial minuscule representation and a connected marked surface $Σ$ with at least two marked points and no punctures, we prove that the cluster algebra $\mathscr{A}_{\mathfrak{g},Σ}$ associated with the pair $(\mathfrak{g},Σ)$ coincides with the upper cluster algebra $\mathscr{U}_{\mathfrak{g},Σ}$. The proof is based on the fact that the function ring $\mathcal{O}(\mathcal{A}^\times_{G,Σ})$ of the moduli space of decorated twisted $G$-local systems on $Σ$ is generated by matrix coefficients of Wilson lines introduced in [IO20]. As an application, we prove that the Muller-type skein algebras $\mathscr{S}_{\mathfrak{g}, Σ}[\partial^{-1}]$ [Muller,IY23,IY22] for $\mathfrak{g}=\mathfrak{sl}_2, \mathfrak{sl}_3,$ or $\mathfrak{sp}_4$ are isomorphic to the cluster algebras $\mathscr{A}_{\mathfrak{g}, Σ}$.
Reducing the Vertex Cover Number via Edge Contractions
Published
• View Publication
• BIB
The CONTRACTION(vc) problem takes as input a graph $G$ on $n$ vertices and two integers $k$ and $d$, and asks whether one can contract at most $k$ edges to reduce the size of a minimum vertex cover of $G$ by at least $d$. Recently, Lima et al. [JCSS 2021] proved, among other results, that unlike most of the so-called blocker problems, CONTRACTION(vc) admits an XP algorithm running in time $f(d) \cdot n^{O(d)}$. They left open the question of whether this problem is FPT under this parameterization. In this article, we continue this line of research and prove the following results:
1. CONTRACTION(vc) is W[1]-hard parameterized by $k + d$. Moreover, unless the ETH fails, the problem does not admit an algorithm running in time $f(k + d) \cdot n^{o(k + d)}$ for any function $f$. In particular, this answers the open question stated in Lima et al. [JCSS 2021] in the negative.
2. It is NP-hard to decide whether an instance $(G, k, d)$ of CONTRACTION(vc) is a yes-instance even when $k = d$, hence enhancing our understanding of the classical complexity of the problem.
3. CONTRACTION(vc) can be solved in time $2^{O(d)} \cdot n^{k - d + O(1)}$. This XP algorithm improves the one of Lima et al. [JCSS 2021], which uses Courcelle's theorem as a subroutine and hence, the $f(d)$-factor in the running time is non-explicit and probably very large. On the other hard, it shows that when $k=d$, the problem is FPT parameterized by $d$ (or by $k$).
Mock theta functions and related combinatorics
Published
• View Publication
• BIB
In this paper we add to the literature on the combinatorial nature of the mock theta functions, a collection of curious $q$-hypergeometric series introduced by Ramanujan in his last letter to Hardy in 1920, which we now know to be important examples of mock modular forms. Our work is inspired by Beck's conjecture, now a theorem of Andrews, related to Euler's identity: the excess of the number of parts in all partitions of $n$ into odd parts over the number of partitions of $n$ into distinct parts is equal to the number of partitions with only one (possibly repeated) even part and all other parts odd. We establish Beck-type identities associated to partition identities due to Andrews, Dixit, and Yee for the third order mock theta functions $ω(q), ν(q)$, and $φ(q)$. Our proofs are both analytic and combinatorial in nature, and involve mock theta generating functions and combinatorial bijections.
Cubical setting for discrete homotopy theory, revisited
Published in Compos. Math. 160 (2024), no. 12, 2856-2903
• View Publication
• BIB
We construct a functor associating a cubical set to a (simple) graph. We show that cubical sets arising in this way are Kan complexes, and that the A-groups of a graph coincide with the homotopy groups of the associated Kan complex. We use this to prove a conjecture of Babson, Barcelo, de Longueville, and Laubenbacher from 2006, and a strong version of the Hurewicz theorem in discrete homotopy theory.
Bijections between planar maps and planar linear normal $λ$-terms with connectivity condition
Published in Adv. Appl. Math 148:102532, 2023
• View Publication
• BIB
The enumeration of linear $λ$-terms has attracted quite some attention recently, partly due to their link to combinatorial maps. Zeilberger and Giorgetti (2015) gave a recursive bijection between planar linear normal $λ$-terms and planar maps, which, when restricted to 2-connected $λ$-terms (i.e., without closed sub-terms), leads to bridgeless planar maps. Inspired by this restriction, Zeilberger and Reed (2019) conjectured that 3-connected planar linear normal $λ$-terms have the same counting formula as bipartite planar maps. In this article, we settle this conjecture by giving a direct bijection between these two families. Furthermore, using a similar approach, we give a direct bijection between planar linear normal $λ$-terms and planar maps, whose restriction to 2-connected $λ$-terms leads to loopless planar maps. This bijection seems different from that of Zeilberger and Giorgetti, even after taking the map dual. We also explore enumerative consequences of our bijections.
No weak epsilon nets for lines and convex sets in space
Published
• View Publication
• BIB
We prove that there exist no weak $\varepsilon$-nets of constant size for lines and convex sets in $\mathbb{R}^d$.
Combinatorial proofs and refinements of three partition theorems of Andrews
Published
• View Publication
• BIB
In his recent work, Andrews revisited two-color partitions with certain restrictions on the differences between consecutive parts, and he established three theorems linking these two-color partitions with more familiar kinds of partitions. In this note, we provide bijective proofs as well as refinements of those three theorems of Andrews. Our refinements take into account the numbers of parts in each of the two colors.
Ensembles de petite somme, structure de sous-criticité
Published
• View Publication
• BIB
If $A$ and $B$ are two bounded sets of reals, Ruzsa proved a precise lower bound of the measure of the sumset $A+B$ involving the ratio $λ(A)/λ(B)$. De Roton established a structural result about the critical sets of this lower bound. Here, we prove a generalization of de Roton's work by establishing a result in a neighborhood of the case of equality.
On Vietoris--Rips complexes (with scale 3) of hypercube graphs
Published
• View Publication
• BIB
For a metric space $(X, d)$ and a scale parameter $r \geq 0$, the Vietoris-Rips complex $\mathcal{VR}(X;r)$ is a simplicial complex on vertex set $X$, where a finite set $σ\subseteq X$ is a simplex if and only if diameter of $σ$ is at most $r$. For $n \geq 1$, let $\mathbb{I}_n$ denotes the $n$-dimensional hypercube graph. In this paper, we show that $\mathcal{VR}(\mathbb{I}_n;r)$ has non trivial reduced homology only in dimensions $4$ and $7$. Therefore, we answer a question posed by Adamaszek and Adams recently.
A (finite) simplicial complex $Δ$ is $d$-collapsible if it can be reduced to the void complex by repeatedly removing a face of size at most $d$ that is contained in a unique maximal face of $Δ$. The collapsibility number of $Δ$ is the minimum integer $d$ such that $Δ$ is $d$-collapsible. We show that the collapsibility number of $\mathcal{VR}(\mathbb{I}_n;r)$ is $2^r$ for $r \in \{2, 3\}$.
Hypergraph incidence coloring
Published
• View Publication
• BIB
An incidence of a hypergraph $\mathcal{H}=(X,S)$ is a pair $(x,s)$ with $x\in X$, $s\in S$ and $x\in s$. Two incidences $(x,s)$ and $(x',s')$ are adjacent if (i) $x=x'$, or (ii) $\{x,x'\}\subseteq s$ or $\{x,x'\}\subseteq s'$. A proper incidence $k$-coloring of a hypergraph $\mathcal{H}$ is a mapping $\varphi$ from the set of incidences of $\mathcal{H}$ to $\{1,2,\ldots,k\}$ so that $\varphi(x,s)\neq \varphi(x',s')$ for any two adjacent incidences $(x,s)$ and $(x',s')$ of $\mathcal{H}$. The incidence chromatic number $χ_I(\mathcal{H})$ of $\mathcal{H}$ is the minimum integer $k$ such that $\mathcal{H}$ has a proper incidence $k$-coloring. In this paper we prove $χ_I(\mathcal{H})\leq (4/3+o(1))r(\mathcal{H})Δ(\mathcal{H})$ for every $t$-quasi-linear hypergraph with $t<<r(\mathcal{H})$ and sufficiently large $Δ(\mathcal{H})$, where $r(\mathcal{H})$ is the maximum of the cardinalities of the edges in $\mathcal{H}$. It is also proved that $χ_I(\mathcal{H})\leq Δ(\mathcal{H})+r(\mathcal{H})-1$ if $\mathcal{H}$ is an $α$-acyclic linear hypergraph, and this bound is sharp.
Vertex-coloring graphs with 4-edge-weightings
Published in Combinatorica 2023
• View Publication
• BIB
An edge-weighting of a graph is called vertex-coloring if the weighted degrees yield a proper vertex coloring of the graph. It is conjectured that for every graph without isolated edge, a vertex-coloring edge-weighting with the set {1,2,3} exists. In this note, we show that the statement is true for the weight set {1,2,3,4}.
Eigenvalues and Critical Groups of Adinkras
Published
• View Publication
• BIB
Adinkras are signed graphs used to study supersymmetry in physics. We provide an introduction to these objects, and study the properties of their signed adjacency and signed Laplacian matrices. These matrices each have exactly two distinct eigenvalues (of equal multiplicity), making Adinkras closely related to the notions of strongly regular graphs. We also study the critical groups of Adinkras, and in particular determine their odd components. A novel technique of independent interest is used which considers critical groups over polynomial rings.
The chromatic number of triangle-free hypergraphs
A triangle in a hypergraph $\mathcal{H}$ is a set of three distinct edges $e, f, g\in\mathcal{H}$ and three distinct vertices $u, v, w\in V(\mathcal{H})$ such that $\{u, v\}\subseteq e$, $\{v, w\}\subseteq f$, $\{w, u\}\subseteq g$ and $\{u, v, w\}\cap e\cap f\cap g=\emptyset$. Johansson proved in 1996 that $χ(G)=\mathcal{O}(Δ/\logΔ)$ for any triangle-free graph $G$ with maximum degree $Δ$. Cooper and Mubayi later generalized the Johansson's theorem to all rank $3$ hypergraphs. In this paper we provide a common generalization of both these results for all hypergraphs, showing that if $\mathcal{H}$ is a rank $k$, triangle-free hypergraph, then the list chromatic number \[ χ_{\ell}(\mathcal{H})\leq \mathcal{O}\left(\max_{2\leq \ell \leq k} \left\{\left( \frac{Δ_{\ell}}{\log Δ_{\ell}} \right)^{\frac{1}{\ell-1}} \right\}\right), \] where $Δ_{\ell}$ is the maximum $\ell$-degree of $\mathcal{H}$. The result is sharp apart from the constant. Moreover, our result implies, generalizes and improves several earlier results on the chromatic number and also independence number of hypergraphs, while its proof is based on a different approach than prior works in hypergraphs (and therefore provides alternative proofs to them). In particular, as an application, we establish a bound on chromatic number of sparse hypergraphs in which each vertex is contained in few triangles, and thus extend results of Alon, Krivelevich and Sudakov, and Cooper and Mubayi from hypergraphs of rank 2 and 3, respectively, to all hypergraphs.