Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Structural properties of bipartite subgraphs
This paper establishes sufficient conditions that force a graph to contain a bipartite subgraph with a given structural property. In particular, let $β$ be any of the following graph parameters: Hadwiger number, Hajós number, treewidth, pathwidth, and treedepth. In each case, we show that there exists a function $f$ such that every graph $G$ with $β(G)\geq f(k)$ contains a bipartite subgraph $\hat{G}\subseteq G$ with $β(\hat{G})\geq k$.
Chordal graphs, higher independence and vertex decomposable complexes
Published in International Journal of Algebra and Computation, 33(3), 481-498, 2023
• View Publication
• BIB
Given a simple undirected graph $G$ there is a simplicial complex $\mathrm{Ind}(G)$, called the independence complex, whose faces correspond to the independent sets of $G$. This is a well studied concept because it provides a fertile ground for interactions between commutative algebra, graph theory and algebraic topology. One of the line of research pursued by many authors is to determine the graph classes for which the associated independence complex is Cohen-Macaulay. For example, it is known that when $G$ is a chordal graph the complex $\mathrm{Ind}(G)$ is in fact vertex decomposable, the strongest condition in the Cohen-Macaulay ladder.
In this article we consider a generalization of independence complex. Given $r\geq 1$, a subset of the vertex set is called $r$-independent if the connected components of the induced subgraph have cardinality at most $r$. The collection of all $r$-independent subsets of $G$ form a simplicial complex called the $r$-independence complex and is denoted by $\mathrm{Ind}_r(G)$. It is known that when $G$ is a chordal graph the complex $\mathrm{Ind}_r(G)$ has the homotopy type of a wedge of spheres. Hence it is natural to ask which of these complexes are shellable or even vertex decomposable. We prove, using Woodroofe's chordal hypergraph notion, that these complexes are always shellable when the underlying chordal graph is a tree. Further, using the notion of vertex splittable ideals we show that for caterpillar graphs the associated $r$-independence complex is vertex decomposable for all values of $r$. We also construct chordal graphs on $2r+2$ vertices such that their $r$-independence complexes are not sequentially Cohen-Macaulay for any $r \ge 2$.
Three steps away from Shapiro's problem: lower bounds for graphic sums with functions `max' or `min' in denominators
Taking Shapiro's cyclic sums $\sum_{i=1}^n x_i/(x_{i+1}+x_{i+2})$ (assuming index addition mod $n$) as a starting point, we introduce a broader class of cyclic sums, called generalized Shapiro-Diananda sums, where the denominators are $p$-th order power means of the sets $\{x_{i+j_1},\dots,x_{i+j_k}\}$ with fixed distinct integers $j_1,\dots,j_k$ and $1\leq i\leq n$.
Generalizing further, we replace the set of arguments of the power mean in the $i$-th denominator by an arbitrary nonempty subset of $\{1,\dots,n\}$ interpreted as the set of out-neighbors of the node number $i$ in a directed graph with $n$ nodes. We call such sums graphic power sums since their structure is controlled by directed graphs.
The inquiry, as in the well-researched case of Shapiro's sums, concerns the greatest lower bound of the given ``sum'' as a function of positive variables $x_1,\dots,x_n$. We show that the cases of $p=+\infty$ (max-sums) and $p=-\infty$ (min-sums) are tractable.
For the max-sum associated with a given graph the g.l.b. is always an integer; for a strongly connected graph it equals to graph's girth.
For the similar min-sum, we could not relate the g.l.b. to a known combinatorial invariant; we only give some estimates and describe a method for finding the g.l.b., which has factorial complexity in $n$.
A satisfactory analytical treatment is available for the secondary minimization -- when the g.l.b.'s of min-sums for individual graphs are mininized over the class of strongly connected graphs with $n$ nodes. The result (depending only on $n$) is found to be asymptotic to $e\ln n$.
Infinite families of linear codes supporting more $t$-designs
Published
• View Publication
• BIB
Tang and Ding [IEEE IT 67 (2021) 244-254] studied the class of narrow-sense BCH codes $\mathcal{C}_{(q,q+1,4,1)}$ and their dual codes with $q=2^m$ and established that the codewords of the minimum (or the second minimum) weight in these codes support infinite families of 4-designs or 3-designs. Motivated by this, we further investigate the codewords of the next adjacent weight in such codes and discover more infinite classes of $t$-designs with $t=3,4$. In particular, we prove that the codewords of weight $7$ in $\mathcal{C}_{(q,q+1,4,1)}$ support $4$-designs when $m \geqslant 5$ is odd and $3$-designs when $m \geqslant 4$ is even, which provide infinite classes of simple $t$-designs with new parameters. Another significant class of $t$-designs we produce in this paper has supplementary designs with parameters 4-$(2^{2s+1}+ 1,5,5)$; these designs have the smallest index among all the known simple 4-$(q+1,5,λ)$ designs derived from codes for prime powers $q$; and they are further proved to be isomorphic to the 4-designs admitting the projective general linear group PGL$(2,2^{2s+1})$ as automorphism group constructed by Alltop in 1969.
Revisiting the Maximum Principal Ratio of Graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph, the principal ratio of $G$ is the ratio of the maximum and minimum entries of its Perron eigenvector. In 2007, Cioab\v a and Gregory conjectured that among all connected graphs on $n$ vertices, the kite graph attains the maximum principal ratio. In 2018, Tait and Tobin confirmed the conjecture for sufficientlty large $n$. In this article, we show the conjecture is true for all $n\geq 5000$.
Weight Spectra of Gabidulin Rank-metric Codes and Betti Numbers
Published
• View Publication
• BIB
We consider $q$-matroids and their associated classical matroids derived from Gabidulin rank-metric codes. We express the generalized rank weights of a Gabidulin rank-metric code in terms of Betti numbers of the dual classical matroid associated to the $q$-matroid corresponding to the code. In our main result, we show how these Betti numbers and their elongations determine the generalized weight polynomials for $q$-matorids, in particular, for the Gabidulin rank-metric codes. In addition, we demonstrate how the weight distribution and higher weight spectra of such codes can be determined directly from the associated $q$-matroids by using Möbius functions of its lattice of $q$-flats.
Partial geometric designs having circulant concurrence matrices
Published
• View Publication
• BIB
We survey partial geometric designs and investigate their concurrences of points. The concurrence matrix of a design, which encodes the concurrences of pairs of points, can be used in the classification of designs in some extent. An ordinary 2-$(v,k,λ)$ design has concurrence $λ$ for any pair of distinct points, and its concurrence matrix is circulant. A partial geometry has two concurrences $1$ and $0$ and a transversal design TD$_λ(k, u)$ has two concurrences $λ$ and $0$. It is also known that the concurrence matrix of a partial geometric design can have at most three distinct eigenvalues, all of which are non-negative integers. In this paper, we show the existence of other partial geometric designs having two or three distinct concurrences, and investigate which symmetric circulant matrices are realized as the concurrence matrices of partial geometric designs. We collect known sources of partial geometric designs and study their structural characteristics and construction methods. We then give a list of feasible parameter sets for partial geometric designs of order up to 12 each of which has a circulant concurrence matrix. We also consider the combinatorial properties and constructions of partial geometric designs satisfying these parameter sets.
Recolouring weakly chordal graphs and the complement of triangle-free graphs
Published
• View Publication
• BIB
For a graph $G$, the $k$-recolouring graph $\mathcal{R}_k(G)$ is the graph whose vertices are the $k$-colourings of $G$ and two colourings are joined by an edge if they differ in colour on exactly one vertex. We prove that for all $n \ge 1$, there exists a $k$-colourable weakly chordal graph $G$ where $\mathcal{R}_{k+n}(G)$ is disconnected, answering an open question of Feghali and Fiala. We also show that for every $k$-colourable $3K_1$-free graph $G$, $\mathcal{R}_{k+1}(G)$ is connected with diameter at most $4|V(G)|$.
An eigenvalue bound for the fractional chromatic number
We show that Hoffman's sum of eigenvalues bound for the chromatic number is at least as good as the Lovász theta number, but no better than the ceiling of the fractional chromatic number. In order to do so, we display an interesting connection between this sum of eigenvalues bound and a generalization of the Lovász theta number introduced by Manber and Narasimhan in 1988.
Long induced paths in a configuration model
In an article published in 1987 in Combinatorica \cite{MR918397}, Frieze and Jackson established a lower bound on the length of the longest induced path (and cycle) in a sparse random graph. Their bound is obtained through a rough analysis of a greedy algorithm. In the present work, we provide a sharp asymptotic for the length of the induced path constructed by their algorithm. To this end, we introduce an alternative algorithm that builds the same induced path and whose analysis falls into the framework of a previous work by the authors on depth-first exploration of a configuration model \cite{EFMN}. We also analyze an extension of our algorithm that mixes depth-first and breadth-first explorations and generates $m$-induced paths.
Iwasawa Theory of Jacobians of Graphs
Published
• View Publication
• BIB
The Jacobian group (also known as the critical group or sandpile group) is an important invariant of a finite, connected graph $X$; it is a finite abelian group whose cardinality is equal to the number of spanning trees of $X$ (Kirchhoff's Matrix Tree Theorem). A specific type of covering graph, called a derived graph, that is constructed from a voltage graph with voltage group $G$ is the object of interest in this paper. Towers of derived graphs are studied by using aspects of classical Iwasawa Theory (from number theory). Formulas for the orders of the Sylow $p$-subgroups of Jacobians in an infinite voltage $p$-tower, for any prime $p$, are obtained in terms of classical $μ$ and $λ$ invariants by using the decomposition of a finitely generated module over the Iwasawa Algebra.
Powers of Hamiltonian cycles in multipartite graphs
Published in Discrete Math. 345 (2022) 112747
• View Publication
• BIB
We prove that if $G$ is a $k$-partite graph on $n$ vertices in which all of the parts have order at most $n/r$ and every vertex is adjacent to at least a $1-1/r+o(1)$ proportion of the vertices in every other part, then $G$ contains the $(r-1)$-st power of a Hamiltonian cycle
Secretary problem and two almost the same consecutive applicants
Published
• View Publication
• BIB
We present a new variant of the secretary problem. Let $A$ be a totally ordered set of $n$ \emph{applicants}.
Given $P\subseteq A$ and $x\in A$, let $rr(P,x)=\vert\{z\in P \mid z\leq x\}\vert\mbox{ }$ be the \emph{relative rank of} $x$ \emph{with regard to} $P$, and let $rr_n(x)=rr(A,x)$. Let $x_1,x_2,\dots,x_n\in A$ be a random sequence of distinct applicants. The aim is to select $1<j\leq n$ such that $rr_n(x_{j-1})-rr_n(x_j)\in\{-1,1\}$.
Let $α$ be a real constant with $0<α<1$. Suppose the following stopping rule $τ_n(α)$: reject first $αn$ applicants and then select the first $x_j$ such that $rr(P_j,x_{j-1})-rr(P_j,x_j)\in\{-1,1\}$, where $P_j=\{x_i\mid 1\leq i\leq j\}$. Let $p_{n,τ}(α)$ be the probability that $τ_n(α)$ selects $x_j$ such that $rr_n(x_{j-1})-rr_n(x_j)\in\{-1,1\}$. We show that \[\lim_{n\rightarrow\infty}p_{n,τ}(α)\leq \lim_{n\rightarrow\infty}p_{n,τ}\left(\frac{1}{2}\right)=\frac{1}{2}\mbox{.}\]
Massively Winning Configurations in the Convex Grabbing Game on the Plane
The convex grabbing game is a game where two players, Alice and Bob, alternate taking extremal points from the convex hull of a point set on the plane. Rational weights are given to the points. The goal of each player is to maximize the total weight over all points that they obtain. We restrict the setting to the case of binary weights. We show a construction of an arbitrarily large odd-sized point set that allows Bob to obtain almost 3/4 of the total weight. This construction answers a question asked by Matsumoto, Nakamigawa, and Sakuma in [Graphs and Combinatorics, 36/1 (2020)]. We also present an arbitrarily large even-sized point set where Bob can obtain the entirety of the total weight. Finally, we discuss conjectures about optimum moves in the convex grabbing game for both players in general.
On Katznelson's Question for skew product systems
Published in Bull. Amer. Math. Soc., Volume 59 (2022), Number 4, pages 569-606
• View Publication
• BIB
Katznelson's Question is a long-standing open question concerning recurrence in topological dynamics with strong historical and mathematical ties to open problems in combinatorics and harmonic analysis. In this article, we give a positive answer to Katznelson's Question for certain towers of skew product extensions of equicontinuous systems, including systems of the form $(x,t) \mapsto (x + α, t + h(x))$. We describe which frequencies must be controlled for in order to ensure recurrence in such systems, and we derive combinatorial corollaries concerning the difference sets of syndetic subsets of the natural numbers.
Branched coverings of the 2-sphere
Published
• View Publication
• BIB
Thurston obtained a combinatorial characterization for generic branched self-coverings that preserve the orientation of the oriented 2-sphere by associating a planar graph to them [arXiv:1502.04760]. In this work, the Thurston result is generalized to any branched covering of the oriented 2-sphere. To achieve that the notion of local balance introduced by Thurston is generalized. As an application, a new proof for a Theorem of Eremenko-Gabrielov-Mukhin-Tarasov-Varchenko [MR1888795], [MR2552110] is obtained. This theorem corresponded to a special case of the B. \& M. Shapiro conjecture. In this case, it refers to generic rational functions stating that a generic rational function $ R : \mathbb{C}\mathbb{P}^1 \rightarrow \mathbb{C}\mathbb{P}^1$ with only real critical points can be transformed by post-composition with an automorphism of $\mathbb{C}\mathbb{P}^1$ into a quotient of polynomials with real coefficients. Operations against balanced graphs are introduced.
Convergence of the Probabilistic Interpretation of Modulus
Published
• View Publication
• BIB
Given a Jordan domain $Ω\subset\mathbb{C}$ and two disjoint arcs $A, B$ on $\partialΩ$, the modulus $m$ of the curve family connecting $A$ and $B$ in $Ω$ is equal to the modulus of the curve family connecting the vertical sides in the rectangle $R=[0,1]\times[0,m]$. Also, $m>0$ is the unique value such that there is a conformal map $ψ$ mapping $Ω$ to ${\rm int}(R)$ so that $ψ$ extends continuously to a homeomorphism of $\partial Ω$ onto $\partial R$ and the arcs $A$ and $B$ are sent to the vertical sides of $R$. Moreover, in the case of the rectangle the family of horizontal segments connecting the two sides has the same modulus as the entire connecting family. Pulling these segments back to $Ω$ via $ψ$ yields a family of extremal curves (also known as horizontal trajectories) connecting $A$ to $B$ in $Ω$. In this paper, we show that these extremal curves can be approximated by some discrete paths arising from an orthodiagonal approximation of $Ω$. Moreover, we show that there is a natural probability mass function (pmf) on these paths, deriving from the theory of discrete modulus, which converges to the transverse measure on the set of extremal curves. The key ingredient is an algorithm that, for an embedded planar graph, takes the current flow between two sets of nodes, and produces a unique path decomposition with non-crossing paths. Moreover, some care was taken to adapt recent results for harmonic convergence on orthodiagonal maps, due to Gurel-Gurevich, Jerison, and Nachmias, to our context. Finally, we generalize a result of N.~Alrayes from the square grid setting to the orthodiagonal setting, and prove that the discrete modulus of the approximating non-crossing paths converges to the continuous modulus.
Semicircular families of general covariance from Wigner matrices with permuted entries
Published in Probab. Theory Related Fields 184 (2022), no. 3-4, 1167-1196
• View Publication
• BIB
Let $(σ_N^{(i)})_{i \in I}$ be a family of symmetric permutations of the entries of a Wigner matrix $\mathbf{W}_N$. We characterize the limiting traffic distribution of the corresponding family of dependent Wigner matrices $(\mathbf{W}_N^{σ_N^{(i)}})_{i \in I}$ in terms of the geometry of the permutations. We also consider the analogous problem for the limiting joint distribution of $(\mathbf{W}_N^{σ_N^{(i)}})_{i \in I}$. In particular, we obtain a description in terms of semicircular families with general covariance structures. As a special case, we derive necessary and sufficient conditions for traffic independence as well as sufficient conditions for free independence.
Log-concavity in planar random walks
Published in Combinatorica 42 (2022), 1011--1026
• View Publication
• BIB
We prove log-concavity of exit probabilities of lattice random walks in certain planar regions.
A simple, combinatorial proof of Gowers Dichotomy for Banach Spaces
In this paper we present a simple proof of Gowers Dichotomy which states that every infinite dimensional Banach Space has a subspace which either contains an unconditional basic sequence or is hereditarily indecomposable. Our approach is purely combinatorial and mainly based on work of Ellentuck, Galvin and Prikry in infinite Ramsey theory.