Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Point Spectrum of Periodic Operators on Universal Covering Trees
Published
• View Publication
• BIB
For any multi-graph $G$ with edge weights and vertex potential, and its universal covering tree $\mathcal{T}$, we completely characterize the point spectrum of operators $A_{\mathcal{T}}$ on $\mathcal{T}$ arising as pull-backs of local, self-adjoint operators $A_{G}$ on $G$. This builds on work of Aomoto, and includes an alternative proof of the necessary condition for point spectrum he derived in (Aomoto, 1991). Our result gives a finite time algorithm to compute the point spectrum of $A_{\mathcal{T}}$ from the graph $G$, and additionally allows us to show that this point spectrum is contained in the spectrum of $A_{G}$. Finally, we prove that typical pull-back operators have a spectral delocalization property: the set of edge weight and vertex potential parameters of $A_{G}$ giving rise to $A_{\mathcal{T}}$ with purely absolutely continuous spectrum is open and its complement has large codimension.
A $4/3$-Approximation Algorithm for the Minimum $2$-Edge Connected Multisubgraph Problem in the Half-Integral Case
Published
• View Publication
• BIB
Given a connected undirected graph $\bar{G}$ on $n$ vertices, and non-negative edge costs $c$, the 2ECM problem is that of finding a $2$-edge~connected spanning multisubgraph of $\bar{G}$ of minimum cost. The natural linear program (LP) for 2ECM, which coincides with the subtour LP for the Traveling Salesman Problem on the metric closure of $\bar{G}$, gives a lower bound on the optimal cost. For instances where this LP is optimized by a half-integral solution $x$, Carr and Ravi (1998) showed that the integrality gap is at most $\frac43$: they show that the vector $\frac43 x$ dominates a convex combination of incidence vectors of $2$-edge connected spanning multisubgraphs of $\bar{G}$.
We present a simpler proof of the result due to Carr and Ravi by applying an extension of Lovász's splitting-off theorem. Our proof naturally leads to a $\frac43$-approximation algorithm for half-integral instances. Given a half-integral solution $x$ to the LP for 2ECM, we give an $O(n^2)$-time algorithm to obtain a $2$-edge connected spanning multisubgraph of $\bar{G}$ whose cost is at most $\frac43 c^T x$.
A family of lacunary recurrences for Lucas Numbers
Published
• View Publication
• BIB
We prove an infinite family of lacunary recurrences for the Lucas numbers using combinatorial means.
Some New and Old Gibonacci Identities
Published
• View Publication
• BIB
We present a different combinatorial interpretations of Lucas and Gibonacci numbers. Using these interpretations we prove several new identities, and simplify the proofs of several known identities. Some open problems are discussed towards the end of the paper.
An Extremal Problem on Rainbow Spanning Trees in Graphs
A spanning tree of an edge-colored graph is rainbow provided that each of its edges receives a distinct color. In this paper we consider the natural extremal problem of maximizing and minimizing the number of rainbow spanning trees in a graph $G$. Such a question clearly needs restrictions on the colorings to be meaningful. For edge-colorings using $n-1$ colors and without rainbow cycles, known in the literature as JL-colorings, there turns out to be a particularly nice way of counting the rainbow spanning trees and we solve this problem completely for JL-colored complete graphs $K_n$ and complete bipartite graphs $K_{n,m}$. In both cases, we find tight upper and lower bounds; the lower bound for $K_n$, in particular, proves to have an unexpectedly chaotic and interesting behavior. We further investigate this question for JL-colorings of general graphs and prove several results including characterizing graphs which have JL-colorings achieving the lowest possible number of rainbow spanning trees. We establish other results for general $n-1$ colorings, including providing an analogue of Kirchoff's matrix tree theorem which yields a way of counting rainbow spanning trees in a general graph $G$.
The minimum degree of minimal Ramsey graphs for cliques
Published in Bull. London Math. Soc., 54 (2022): 1827-1838
• View Publication
• BIB
We prove that $s_r(K_k) = O(k^5 r^{5/2})$, where $s_r(K_k)$ is the Ramsey parameter introduced by Burr, Erdős and Lovász in 1976, which is defined as the smallest minimum degree of a graph $G$ such that any $r$-colouring of the edges of $G$ contains a monochromatic $K_k$, whereas no proper subgraph of $G$ has this property. The construction used in our proof relies on a group theoretic model of generalised quadrangles introduced by Kantor in 1980.
The normalized Laplacian and related indexes of graphs with edges blew up by cliques
In this paper, we introduce the clique-blew up graph $CL(G)$ of a given graph $G$, which is obtained from $G$ by replacing each edge of $G$ with a complete graph $K_n$. We characterize all the normalized Laplacian spectrum of the grpah $CL(G)$ in term of the given graph $G$. Based on the spectrum obtained, the formulae to calculate the multiplicative degree-Kirchhoff index, the Kemeny's constant and the number of spanning trees of $CL(G)$ are derived well. Finally, the spectrum and indexes of the clique-blew up iterative graphs are present.
Quartic Graphs with Minimum Spectral Gap
Published
• View Publication
• BIB
Aldous and Fill conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^2}{2π^2}$. This conjecture can be rephrased in terms of the spectral gap as follows: the spectral gap (algebraic connectivity) of a connected $k$-regular graph on $n$ vertices is at least $(1+o(1))\frac{2kπ^2}{3n^2}$, and the bound is attained for at least one value of $k$. We determine the structure of connected quartic graphs on $n$ vertices with minimum spectral gap which enable us to show that the minimum spectral gap of connected quartic graphs on $n$ vertices is $(1+o(1))\frac{4π^2}{n^2}$. From this result, the Aldous--Fill conjecture follows for $k=4$.
Supercongruences for sums involving Domb numbers
Published
• View Publication
• BIB
We prove some supercongruence and divisibility results on sums involving Domb numbers, which confirm four conjectures of Z.-W. Sun and Z.-H. Sun. For instance, by using a transformation formula due to Chan and Zudilin, we show that for any prime $p\ge 5$, \begin{align*} \sum_{k=0}^{p-1}\frac{3k+1}{(-32)^k}{\rm Domb}(k)\equiv (-1)^{\frac{p-1}{2}}p+p^3E_{p-3} \pmod{p^4}, \end{align*} which is regarded as a $p$-adic analogue of the following interesting formula for $1/π$ due to Rogers: \begin{align*} \sum_{k=0}^{\infty}\frac{3k+1}{(-32)^k}{\rm Domb}(k)=\frac{2}π. \end{align*} Here ${\rm Domb}(n)$ and $E_n$ are the famous Domb numbers and Euler numbers.
Signed Mahonian on Parabolic Quotients of Colored Permutation Groups
Published
• View Publication
• BIB
We study the generating polynomial of the flag major index with each one-dimensional character, called signed Mahonian polynomial, over the colored permutation group, the wreath product of a cyclic group with the symmetric group. Using the insertion lemma of Han and Haglund-Loehr-Remmel and a signed extension established by Eu et al., we derive the signed Mahonian polynomial over the quotients of parabolic subgroups of the colored permutation group, for a variety of systems of coset representatives in terms of subsequence restrictions. This generalizes the related work over parabolic quotients of the symmetric group due to Caselli as well as to Eu et al. As a byproduct, we derive a product formula that generalizes Biagioli's result about the signed Mahonian on the even signed permutation groups.
Ulam Sets in New Settings
The classical Ulam sequence is defined recursively as follows: $a_1=1$, $a_2=2$, and $a_n$, for $n > 2$, is the smallest integer not already in the sequence that can be written uniquely as the sum of two distinct earlier terms. This sequence is known for its mysterious quasi-periodic behavior and its surprising rigidity when we let $a_2$ vary. This definition can be generalized to other sets of generators in different settings with a binary operation and a valid notion of size. Since there is not always a natural linear ordering of the elements, the resulting collections are called Ulam sets. In this paper, we study Ulam sets in new settings. First, we investigate the structure of canonical Ulam sets in free groups; this is the first investigation of Ulam sets in noncommutative groups. We prove several symmetry results and prove a periodicity result for eventually periodic words with fixed prefixes. Then, we study Ulam sets in $\mathbb{Z}\times (\mathbb{Z}/n\mathbb{Z})$ and prove regularity for an infinite class of initial sets. We also examine an intriguing phenomenon about decompositions of later elements into sums of the generators. Finally, we consider $\mathcal{V}$-sets, a variant where the summands are not required to be distinct; we focus on $\mathcal{V}$-sets in $\mathbb{Z}^2$.
Stability of extremal connected hypergraphs avoiding Berge-paths
Published
• View Publication
• BIB
A Berge-path of length $k$ in a hypergraph $\mathcal{H}$ is a sequence $v_1,e_1,v_2,e_2,\dots,v_{k},e_k,v_{k+1}$ of distinct vertices and hyperedges with $v_{i},v_{i+1} \in e_i$, for $i \le k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined the maximum number of hyperedges in an $n$-vertex, connected, $r$-uniform hypergraph that does not contain a Berge-path of length $k$ provided $k$ is large enough compared to $r$. They also determined the unique extremal hypergraph $\mathcal{H}_1$.
We prove a stability version of this result by presenting another construction $\mathcal{H}_2$ and showing that any $n$-vertex, connected, $r$-uniform hypergraph without a Berge-path of length $k$, that contains more than $|\mathcal{H}_2|$ hyperedges must be a sub-hypergraph of the extremal hypergraph $\mathcal{H}_1$, provided $k$ is large enough compared to $r$.
Enumerating the Digitally Convex Sets of Powers of Cycles and Cartesian Products of Paths and Complete Graphs
Published
• View Publication
• BIB
Given a finite set $V$, a convexity $\mathscr{C}$, is a collection of subsets of $V$ that contains both the empty set and the set $V$ and is closed under intersections. The elements of $\mathscr{C}$ are called convex sets. The digital convexity, originally proposed as a tool for processing digital images, is defined as follows: a subset $S\subseteq V(G)$ is digitally convex if, for every $v\in V(G)$, we have $N[v]\subseteq N[S]$ implies $v\in S$. The number of cyclic binary strings with blocks of length at least $k$ is expressed as a linear recurrence relation for $k\geq 2$. A bijection is established between these cyclic binary strings and the digitally convex sets of the $(k-1)^{th}$ power of a cycle. A closed formula for the number of digitally convex sets of the Cartesian product of two complete graphs is derived. A bijection is established between the digitally convex sets of the Cartesian product of two paths, $P_n \square P_m$, and certain types of $n \times m$ binary arrays.
Binomial ideals of domino tilings
Published
• View Publication
• BIB
In this paper, we consider the set of all domino tilings of a cubiculated region. The primary question we explore is: How can we move from one tiling to another? Tiling spaces can be viewed as spaces of subgraphs of a fixed graph with a fixed degree sequence. Moves to connect such spaces have been explored in algebraic statistics. Thus, we approach this question from an applied algebra viewpoint, making new connections between domino tilings, algebraic statistics, and toric algebra. Using results from toric ideals of graphs, we are able to describe moves that connect the tiling space of a given cubiculated region of any dimension. This is done by studying binomials that arise from two distinct domino tilings of the same region. Additionally, we introduce tiling ideals and flip ideals and use these ideals to restate what it means for a tiling space to be flip connected. Finally, we show that if $R$ is a $2$-dimensional simply connected cubiculated region, any binomial arising from two distinct tilings of $R$ can be written in terms of quadratic binomials. As a corollary to our main result, we obtain an alternative proof to the fact that the set of domino tilings of a $2$-dimensional simply connected region is connected by flips.
Ramsey theory for layered semigroups
Published in The Electronic Journal of Combinatorics 28(2), #P2.10, 2021
• View Publication
• BIB
We further develop the theory of layered semigroups, as introduced by Farah, Hindman and McLeod, providing a general framework to prove Ramsey statements about such a semigroup $S$. By nonstandard and topological arguments, we show Ramsey statements on $S$ are implied by the existence of "coherent" sequences in $S$. This framework allows us to formalise and prove many results in Ramsey theory, including Gowers' $\mathrm{FIN}_k$ theorem, the Graham-Rothschild theorem, and Hindman's finite sums theorem. Other highlights include: a simple nonstandard proof of the Graham-Rothschild theorem for strong variable words; a nonstandard proof of Bergelson-Blass-Hindman's partition theorem for located variable words, using a result of Carlson, Hindman and Strauss; and a common generalisation of the latter result and Gowers' theorem, which can be proven in our framework.
A Novel Approach for the Process Planning and Scheduling Problem Using the Concept of Maximum Weighted Independent Set
Process Planning and Scheduling (PPS) is an essential and practical topic but a very intractable problem in manufacturing systems. Many research use iterative methods to solve such problems; however, they cannot achieve satisfactory results in both quality and computational speed. Other studies formulate scheduling problems as a graph coloring problem (GCP) or its extensions, but these formulations are limited to certain types of scheduling problems. In this paper, we propose a novel approach to formulate a general type of the PPS problem with resource allocation and process planning integrated towards a typical objective, minimizing the makespan. The PPS problem is formulated into an undirected weighted conflicting graph, where nodes represent operations and their resources; edges represent constraints, and weight factors are guidelines for the node selection at each time slot. Then, the Maximum Weighted Independent Set (MWIS) problem can be solved to find the best set of operations with their desired resources for each discrete time slot. This proposed approach solves the PPS problem directly with minimum iterations. We establish that the proposed approach always returns a feasible optimum or near-optimum solution to the PPS problem. The different weight configurations of the proposed approach for solving the PPS problem are tested on a real-world PPS example and further designated test instances to evaluate the scalability, accuracy, and robustness.
An Algorithm Framework for the Exact Solution and Improved Approximation of the Maximum Weighted Independent Set Problem
The Maximum Weighted Independent Set (MWIS) problem, which considers a graph with weights assigned to nodes and seeks to discover the "heaviest" independent set, that is, a set of nodes with maximum total weight so that no two nodes in the set are connected by an edge. The MWIS problem arises in many application domains, including the resource-constrained scheduling, error-correcting coding, complex system analysis and optimization, and communication networks. Since solving the MWIS problem is the core function for finding the optimum solution of our novel graph-based formulation of the resource-constrained Process Planning and Scheduling (PPS) problem, it is essential to have "good-performance" algorithms to solve the MWIS problem. In this paper, we propose a Novel Hybrid Heuristic Algorithm (NHHA) framework in a divide-and-conquer structure that yields optimum feasible solutions to the MWIS problem. The NHHA framework is optimized to minimize the recurrence. Using the NHHA framework, we also solve the All Maximal Independent Sets Listing (AMISL) problem, which can be seen as the subproblem of the MWIS problem. Moreover, building composed MWIS algorithms that utilizing fast approximation algorithms with the NHHA framework is an effective way to improve the accuracy of approximation MWIS algorithms (e.g., GWMIN and GWMIN2 (Sakai et al., 2003)). Eight algorithms for the MWIS problem, the exact MWIS algorithm, the AMISL algorithm, two approximation algorithms from the literature, and four composed algorithms, are applied and tested for solving the graph-based formulation of the resource-constrained PPS problem to evaluate the scalability, accuracy, and robustness.
On the Activities and Partitions of the Vertex Subsets of Graphs
Published
• View Publication
• BIB
Crapo introduced a construction of interval partitions of the Boolean lattice for sets equipped with matroid structure. This construction, in the context of graphic matroids, is related to the notion of edge activities introduced by Tutte. This implies that each spanning subgraph of a connected graph can be constructed from edges of exactly one spanning tree by deleting a unique subset of internally active edges and adding a unique subset of externally active edges. Since the family of vertex independent sets does not give rise to a matroid structure we can not apply Crapo's construction on the vertex set when using the family of independent sets as generating sets. In this paper, we introduce the concept of vertex activities to tackle the problem of generating interval partitions of the Boolean lattice of the vertex set. We show how to generate a cover, present some properties related to vertex activities of some special maximal independent sets and consider some special graphs. Finally, we will show that level labellings in pruned graphs always generate a partition.
All finite sets are Ramsey in the maximum norm
Published in Forum of Mathematics, Sigma 9 (2021) e55
• View Publication
• BIB
For two metric spaces $\mathbb X$ and $\mathcal Y$, the chromatic number $χ(\mathbb X;\mathcal Y)$ of $\mathbb X$ with forbidden $\mathcal Y$ is the smallest $k$ such that there is a coloring of the points of $\mathbb X$ with $k$ colors and no monochromatic copy of $\mathcal Y$. In this paper, we show that for each finite metric space $\mathcal{M}$ that contains at least two points the value $χ\left(\mathbb R^n_\infty; \mathcal M \right)$ grows exponentially with $n$. We also provide explicit lower and upper bounds for some special $\mathcal M$.
The Steiner Wiener index of trees with a given segment sequence
Published in Applied Mathematics and Computation 344(2019) 20-29
• View Publication
• BIB
The Steiner distance of vertices in a set $S$ is the minimum size of a connected subgraph that contain these vertices. The sum of the Steiner distances over all sets $S$ of cardinality $k$ is called the Steiner $k$-Wiener index and studied as the natural generalization of the famous Wiener index in chemical graph theory. In this paper we study the extremal structures, among trees with a given segment sequence, that maximize or minimize the Steiner $k$-Wiener index. The same extremal problems are also considered for trees with a given number of segments.