Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Maximum Cut on Interval Graphs of Interval Count Two is NP-complete
An interval graph has interval count $\ell$ if it has an interval model, where among every $\ell+1$ intervals there are two that have the same length. Maximum Cut on interval graphs has been found to be NP-complete recently by Adhikary et al. while deciding its complexity on unit interval graphs (graphs with interval count one) remains a longstanding open problem. More recently, de Figueiredo et al. have made an advancement by showing that the problem remains NP-complete on interval graphs of interval count four. In this paper, we show that Maximum Cut is NP-complete even on interval graphs of interval count two.
Cluster Assignment in Multi-Agent Systems
Published
• View Publication
• BIB
We study cluster assignment in multi-agent networks. We consider homogeneous diffusive networks, and focus on design of the graph that ensures the system will converge to a prescribed cluster configuration, i.e., specifying the number of clusters and agents within each cluster. Leveraging recent results from cluster synthesis, we show that it is possible to design an oriented graph such that the action of the automorphism group of the graph has orbits of predetermined sizes, guaranteeing that the network will converge to the prescribed cluster configuration. We provide upper and lower bounds on the number of edges that are needed to construct these graphs along with a constructive approach for generating these graphs. We support our analysis with some numerical examples.
Short Topological Decompositions of Non-Orientable Surfaces
Published
• View Publication
• BIB
In this article, we investigate short topological decompositions of non-orientable surfaces and provide algorithms to compute them. Our main result is a polynomial-time algorithm that for any graph embedded in a non-orientable surface computes a canonical non-orientable system of loops so that any loop from the canonical system intersects any edge of the graph in at most 30 points. The existence of such short canonical systems of loops was well known in the orientable case and an open problem in the non-orientable case. Our proof techniques combine recent work of Schaefer-Štefankovič with ideas coming from computational biology, specifically from the signed reversal distance algorithm of Hannenhalli-Pevzner. The existence of short canonical non-orientable systems of loops confirms a special case of a conjecture of Negami on the joint crossing number of two embeddable graphs. We also provide a correction for an argument of Negami bounding the joint crossing number of two non-orientable graph embeddings.
Clumsy Packing of Polyominoes in Finite Space
Published
• View Publication
• BIB
Clumsy packing is considered an inefficient packing, meaning we find the minimum number of objects we can pack into a space so that we can not pack any more object. Thus we are effectively spacing out the objects as far apart as possible so that we can not fit another object. In this paper we consider clumsy packing of polyominoes in a finite spaces which must consider boundary conditions. We examine rectangle, $L$, $T$, and plus polyominoes of various sizes.
Regularity and stable ranges of FI-modules
Published
• View Publication
• BIB
We give refined bounds for the regularity of FI-modules and the stable ranges of FI-modules for various forms of their stabilization studied in the representation stability literature. We show that our bounds are sharp in several cases. We apply these to get explicit stable ranges for diagonal coinvariant algebras, and improve those for ordered configuration spaces of manifolds and congruence subgroups of general linear groups.
Packings and Steiner systems in polar spaces
Published
• View Publication
• BIB
A finite classical polar space of rank $n$ consists of the totally isotropic subspaces of a finite vector space equipped with a nondegenerate form such that $n$ is the maximal dimension of such a subspace. A $t$-Steiner system in a finite classical polar space of rank $n$ is a collection $Y$ of totally isotropic $n$-spaces such that each totally isotropic $t$-space is contained in exactly one member of $Y$. Nontrivial examples are known only for $t=1$ and $t=n-1$. We give an almost complete classification of such $t$-Steiner systems, showing that such objects can only exist in some corner cases. This classification result arises from a more general result on packings in polar spaces.
Joint $q$-moments and shift invariance for the multi-species $q$-TAZRP on the infinite line
This paper presents a novel method for computing certain particle locations in the multi-species $q$-TAZRP (totally asymmetric zero range process). The method is based on a decomposition of the process into its discrete-time embedded Markov chain, which is described more generally as a monotone process on a graded partially ordered set; and an independent family of exponential random variables. A further ingredient is explicit contour integral formulas for the transition probabilities of the $q$-TAZRP. The main result of this method is a shift invariance for the multi-species $q$-TAZRP on the infinite line.
By a previously known Markov duality result, these particle locations are the same as joint $q$-moments. One particular special case is that for step initial conditions, ordered multi-point joint $q$-moments of the $n$-species $q$-TAZRP match the $n$-point joint $q$-moments of the single-species $q$-TAZRP. Thus, we conjecture that the Airy$_2$ process describes the joint multi-point fluctuations of multi-species $q$-TAZRP.
As a probabilistic application of this result, we find explicit contour integral formulas for the joint $q$-moments of the multi-species $q$-TAZRP in the diffusive scaling regime.
Local Hadwiger's Conjecture
Published
• View Publication
• BIB
We propose local versions of Hadwiger's Conjecture, where only balls of radius $Ω(\log(v(G)))$ around each vertex are required to be $K_{t}$-minor-free. We ask: if a graph is locally-$K_{t}$-minor-free, is it $t$-colourable? We show that the answer is yes when $t \leq 5$, even in the stronger setting of list-colouring, and we complement this result with a $O(\log v(G))$-round distributed colouring algorithm in the LOCAL model. Further, we show that for large enough values of $t$, we can list-colour locally-$K_{t}$-minor-free graphs with $13\cdot \max\left\{h(t),\left\lceil \frac{31}{2}(t-1) \right\rceil \right\})$colours, where $h(t)$ is any value such that all $K_{t}$-minor-free graphs are $h(t)$-list-colourable. We again complement this with a $O(\log v(G))$-round distributed algorithm.
Asymptotic distribution of the number of zeros in random polynomials in a given equivalence class over a finite field
Published
• View Publication
• BIB
Hayes equivalence is defined on monic polynomials over a finite field $\fq$ in terms of the prescribed leading coefficients and the residue classes modulo a given monic polynomial $Q$. We study the distribution of the number of zeros in a random polynomial over finite fields in a given Hayes equivalence class. It is well known that the number of distinct zeros of a random polynomial over $\fq$ is asymptotically Poisson with mean 1. We show that this is also true for random polynomials in any given Hayes equivalence class. Asymptotic formulas are also given for the number of such polynomials when the degree of such polynomials is proportional to $q$ and the degree of $Q$ and the number of prescribed leading coefficients are bounded by $\sqrt{q}$. When $Q=1$, the problem is equivalent to the study of the distance distribution in Reed-Solomon codes. Our asymptotic formulas extend some earlier results and imply that all words for a large family of Reed-Solomon codes are ordinary, which further supports the well-known {\em Deep-Hole} Conjecture.
Induced subgraphs and tree decompositions IV. (Even hole, diamond, pyramid)-free graphs
Published in Electron. J. Combin. 30 (2023), no. 2, Paper No. 2.42, 19 pp
• View Publication
• BIB
A hole in a graph $G$ is an induced cycle of length at least four, and an even hole is a hole of even length. The diamond is the graph obtained from the complete graph $K_4$ by removing an edge. A pyramid is a graph consisting of a triangle called the base, a vertex called the apex, and three internally disjoint paths starting at the apex and disjoint otherwise, each joining the apex to a vertex of the base. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Cameron, da Silva, Huang, and Vušković proved that (even hole, triangle)-free graphs have treewidth at most five, which motivates studying the treewidth of even-hole-free graphs of larger clique number. Sintiari and Trotignon provided a construction of (even hole, pyramid, $K_4$)-free graphs of arbitrarily large treewidth.
Here, we show that for every $t$, (even hole, pyramid, diamond, $K_t$)-free graphs have bounded treewidth. The graphs constructed by Sintiari and Trotignon contain diamonds, so our result is sharp in the sense that it is false if we do not exclude diamonds. Our main result is in fact more general, that treewidth is bounded in graphs excluding certain wheels and three-path-configurations, diamonds, and a fixed complete graph. The proof uses "non-crossing decompositions" methods similar to those in previous papers in this series. In previous papers, however, bounded degree was a necessary condition to prove bounded treewidth. The result of this paper is the first to use the method of "non-crossing decompositions" to prove bounded treewidth in a graph class of unbounded maximum degree.
Aldous' spectral gap property for normal Cayley graphs on symmetric groups
Published in European Journal of Combinatorics 110 (2023) 103657
• View Publication
• BIB
Aldous' spectral gap conjecture states that the second largest eigenvalue of any connected Cayley graph on the symmetric group Sn with respect to a set of transpositions is achieved by the standard representation of Sn. This celebrated conjecture, which was proved in its general form in 2010, has inspired much interest in searching for other families of Cayley graphs on Sn with the property that the largest eigenvalue strictly smaller than the degree is attained by the standard representation of Sn. In this paper, we prove three results on normal Cayley graphs on Sn possessing this property for sufficiently large n, one of which can be viewed as a generalization of the "normal" case of Aldous' spectral gap conjecture.
Moments, Sums of Squares, and Tropicalization
Published
• View Publication
• BIB
We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set $S$. The truncated cones of moments of measures supported on the set $S$ is dual to nonnegative polynomials on $S$, while "pseudo-moments" are dual to sums of squares approximations to nonnegative polynomials. We provide explicit combinatorial descriptions of tropicalizations of the moment and pseudo-moment cones, and demonstrate their usefulness in distinguishing between nonnegative polynomials and sums of squares. We give examples that show new limitations of sums of squares approximations of nonnegative polynomials. When the semialgebraic set is defined by binomial inequalites, its moment and pseudo-moment cones are closed under Hadamard product. In this case, their tropicalizations are polyhedral cones that encode all binomial inequalities on the moment and pseudo-moment cones.
Mean field information Hessian matrices on graphs
We derive mean-field information Hessian matrices on finite graphs. The "information" refers to entropy functions on the probability simplex. And the "mean-field" means nonlinear weight functions of probabilities supported on graphs. These two concepts define a mean-field optimal transport type metric. In this metric space, we first derive Hessian matrices of energies on graphs, including linear, interaction energies, entropies. We name their smallest eigenvalues as mean-field Ricci curvature bounds on graphs. We next provide examples on two-point spaces and graph products. We last present several applications of the proposed matrices. E.g., we prove discrete Costa's entropy power inequalities on a two-point space.
A Simple Combinatorial Proof of Szemerédi's Theorem via Three Levels of Infinities
Published in Discrete Analysis, September 25, 2023
• View Publication
• BIB
We present a nonstandard simple elementary proof of Szemerédi's theorem by a straightforward induction with the help of three levels of infinities and four different elementary embeddings in a nonstandard universe.
On local antimagic total labeling of amalgamation graphs
Published
• View Publication
• BIB
Let $G = (V,E)$ be a connected simple graph of order $p$ and size $q$. A graph $G$ is called local antimagic (total) if $G$ admits a local antimagic (total) labeling. A bijection $g : E \to \{1,2,\ldots,q\}$ is called a local antimagic labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $g^+(u) \ne g^+(v)$, where $g^+(u) = \sum_{e\in E(u)} g(e)$, and $E(u)$ is the set of edges incident to $u$. Similarly, a bijection $f:V(G)\cup E(G)\to \{1,2,\ldots,p+q\}$ is called a local antimagic total labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $w_f(u)\ne w_f(v)$, where $w_f(u) = f(u) + \sum_{e\in E(u)} f(e)$. Thus, any local antimagic (total) labeling induces a proper vertex coloring of $G$ if vertex $v$ is assigned the color $g^+(v)$ (respectively, $w_f(u)$). The local antimagic (total) chromatic number, denoted $χ_{la}(G)$ (respectively $χ_{lat}(G)$), is the minimum number of induced colors taken over local antimagic (total) labeling of $G$. In this paper, we determined $χ_{lat}(G)$ where $G$ is the amalgamation of complete graphs.
A cluster structure on the coordinate ring of partial flag varieties
Published
• View Publication
• BIB
The main goal of this paper is to show that the (multi-homogeneous) coordinate ring of a partial flag variety $\mathbb{C} [G / P_K^{-}]$ admits a cluster algebra structure if $G$ is any simply-connected semisimple complex algebraic group. We use derivation properties and a special lifting map to prove that the cluster algebra structure $\mathcal{A}$ of the coordinate ring $\mathbb{C}[N_K]$ of a Schubert cell constructed by Goodearl and Yakimov can be lifted, in an explicit way, to a cluster structure $\hat{\mathcal{A}}$ living in the coordinate ring of the corresponding partial flag variety. Then we use a minimality condition to prove that the cluster algebra $\hat{\mathcal{A}}$ is indeed equal to $\mathbb{C}[G / P_K^{-}]$.
Combinatorial results for order-preserving partial injective contraction mappings
Published
• View Publication
• BIB
Let $ \mathcal{I}_n$ be the symmetric inverse semigroup on $X_n = \{1, 2, \ldots , n\}$. Let $\mathcal{OCI}_n$ be the subsemigroup of $\mathcal{I}_n$ consisting of all order-preserving injective partial contraction mappings, and let $\mathcal{ODCI}_n$ be the subsemigroup of $\mathcal{I}_n$ consisting of all order-preserving and order-decreasing injective partial contraction mappings of $X_n$. In this paper, we investigate the cardinalities of some equivalences on $\mathcal{OCI}_n$ and $\mathcal{ODCI}_n$ which lead naturally to obtaining the order of these semigroups. Then, we relate the formulae obtained to Fibonacci numbers. Similar results about $\mathcal{ORCI}_n$, the semigroup of order-preserving or order-reversing injective partial contraction mappings, are deduced.
$χ$-binding functions for some classes of $(P_3\cup P_2)$-free graphs
Published
• View Publication
• BIB
The class of $2K_2$-free graphs have been well studied in various contexts in the past. It is known that the class of $\{2K_2,2K_1+K_p\}$-free graphs and $\{2K_2,(K_1\cup K_2)+K_p\}$-free graphs admits a linear $χ$-binding function. In this paper, we study the classes of $(P_3\cup P_2)$-free graphs which is a superclass of $2K_2$-free graphs. We show that $\{P_3\cup P_2,2K_1+K_p\}$-free graphs and $\{P_3\cup P_2,(K_1\cup K_2)+K_p\}$-free graphs also admits linear $χ$-binding functions. In addition, we give tight chromatic bounds for $\{P_3\cup P_2,HVN\}$-free graphs and $\{P_3\cup P_2,diamond\}$-free graphs and it can be seen that the latter is an improvement of the existing bound given by A. P. Bharathi and S. A. Choudum [Colouring of $(P_3\cup P_2)$-free graphs, Graphs and Combinatorics 34 (2018), 97-107].
Partitioning planar graphs without 4-cycles and 6-cycles into a forest and a disjoint union of paths
Published
• View Publication
• BIB
In this paper, we show that every planar graph without $4$-cycles and $6$-cycles has a partition of its vertex set into two sets, where one set induces a forest, and the other induces a forest with maximum degree at most $2$ (equivalently, a disjoint union of paths).
Note that we can partition the vertex set of a forest into two independent sets. However, a pair of independent sets combined may not induce a forest. Thus our result extends the result of Wang and Xu (2013) stating that the vertex set of every planar graph without $4$-cycles and $6$-cycles can be partitioned into three sets, where one induces a graph with maximum degree two, and the remaining two are independent sets.
Completing the $\mathrm{A}_2$ Andrews-Schilling-Warnaar identities
Published
• View Publication
• BIB
We study the Andrews-Schilling-Warnaar sum-sides for the principal characters of standard (i.e., integrable, highest weight) modules of $\mathrm{A}_2^{(1)}$. These characters have been studied recently by various subsets of Corteel, Dousse, Foda, Uncu, Warnaar and Welsh. We prove complete sets of identities for moduli $5$ through $8$ and $10$, in Andrews-Schilling-Warnaar form. The cases of moduli $6$ and $10$ are new. Our methods depend on the Corteel-Welsh recursions governing the cylindric partitions and on certain relations satisfied by the Andrews-Schilling-Warnaar sum-sides. We speculate on the role of the latter in the proofs of higher modulus identities. Further, we provide a complete set of conjectures for modulus $9$. In fact, we show that at any given modulus, a complete set of conjectures may be deduced using a subset of "seed" conjectures. These seed conjectures are obtained by appropriately truncating conjectures for the "infinite" level. Additionally, for moduli $3k$, we use an identity of Weierstrass to deduce new sum-product identities starting from the results of Andrews-Schilling-Warnaar.