Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Complexity of quiver mutation equivalence
Published
• View Publication
• BIB
We prove $\textsf{NP-hardness}$ results for determining whether quivers are mutation equivalent to quivers with given properties. Specifically, determining whether a quiver is mutation-equivalent to a quiver with exactly $k$ arrows between any two of its vertices is $\textsf{NP-hard}$. Also, determining whether a quiver is mutation equivalent to a quiver with no edges between frozen vertices is $\textsf{strongly NP-hard}$. Finally, we present a characterization of mutation classes of quivers with two mutable vertices.
Calculus of Fractions for Quasicategories
We describe a generalization of Gabriel and Zisman's Calculus of Fractions to quasicategories, showing that the two essentially coincide for the nerve of a category. We then prove that the marked Ex-functor can be used to compute the localization of a marked quasicategory satisfying our condition and that the appropriate (co)completeness properties of the quasicategory carry over to its localization.
Nonexistence of colimits in naive discrete homotopy theory
Published
• View Publication
• BIB
We show that the quasicategory defined as the localization of the category of (simple) graphs at the class of A-homotopy equivalences does not admit colimits. In particular, we settle in the negative the question of whether the A-homotopy equivalences in the category of graphs are part of a model structure.
Visible Point Partition Identities for Polylogarithms, and Parametric Euler Sums
We set the scene with known values and functional relations for dilogarithms, trilogarithms and polylogarithms of various orders, along with more recent Euler sum values and multidimensional computations paying homage to the three late Professors Borwein \textit{et al.}. We then apply many of these sum values to tabulate some sixty new combinatorial identities for weighted partitions into Visible Point Vectors in 2D, 3D, 4D and 5D cases suggesting new $n$D first hyperquadrant and hyperpyramid lattice point identities.
Construction of rank $4$ self-dual association schemes inducing three partial geometric designs
Published
• View Publication
• BIB
B. Xu characterized rank $4$ self-dual association schemes inducing three partial geometric designs by their character tables. We construct such association schemes as Schur rings over abelian $2$-groups.
Degree-$M$ Bethe and Sinkhorn Permanent Based Bounds on the Permanent of a Non-negative Matrix
Published
• View Publication
• BIB
The permanent of a non-negative square matrix can be well approximated by finding the minimum of the Bethe free energy functions associated with some suitably defined factor graph; the resulting approximation to the permanent is called the Bethe permanent. Vontobel gave a combinatorial characterization of the Bethe permanent via degree-$M$ Bethe permanents, which are based on degree-$M$ covers of the underlying factor graph. In this paper, we prove a degree-$M$-Bethe-permanent-based lower bound on the permanent of a non-negative matrix, which solves a conjecture proposed by Vontobel in [IEEE Trans. Inf. Theory, Mar. 2013]. We also prove a degree-$M$-Bethe-permanent-based upper bound on the permanent of a non-negative matrix. In the limit $M \to \infty$, these lower and upper bounds yield known Bethe-permanent-based lower and upper bounds on the permanent of a non-negative matrix. Moreover, we prove similar results for an approximation to the permanent known as the (scaled) Sinkhorn permanent.
Some results and problems on tournament structure
Published
• View Publication
• BIB
This paper is a survey of results and problems related to the following question: is it true that if G is a tournament with sufficiently large chromatic number, then G has two vertex-disjoint subtournaments A,B, both with large chromatic number, such that all edges between them are directed from A to B? We describe what we know about this question, and report some progress on several other related questions, on tournament colouring and domination.
Dispersion on the Complete Graph
Published
• View Publication
• BIB
We consider a synchronous process of particles moving on the vertices of a graph $G$, introduced by Cooper, McDowell, Radzik, Rivera and Shiraga (2018). Initially, $M$ particles are placed on a vertex of $G$. At the beginning of each time step, for every vertex inhabited by at least two particles, each of these particles moves independently to a neighbour chosen uniformly at random. The process ends at the first step when no vertex is inhabited by more than one particle.
Cooper et al. showed that when the underlying graph is the complete graph on~$n$ vertices, then there is a phase transition when the number of particles $M = n/2$. They showed that if $M<(1-\varepsilon)n/2$ for some fixed $\varepsilon>0$, then the process finishes in a logarithmic number of steps, while if $M>(1+\varepsilon)n/2$, an exponential number of steps are required with high probability. Here we provide a thorough asymptotic analysis of the dispersion time around criticality, where $\varepsilon = o(1)$, and describe the transition from logarithmic to exponential time. As a consequence of our results we establish, for example, that the dispersion time is in probability and in expectation in $Θ(n^{1/2})$ when $|\varepsilon| = O(n^{-1/2})$, and provide qualitative bounds for its tail behavior.
Powers of facet ideals of simplicial trees
Published in Nagoya Math. J. 261 (2026) e9
• View Publication
• BIB
In this article, we study the linearity of the minimal free resolution of powers of facets ideals of simplicial trees. We give a complete characterization of simplicial trees for which (some) power of its facet ideal has a linear resolution. We calculate the regularity of the $t$-path ideal of a perfect rooted tree. We also obtain an upper bound for the regularity of the $t$-path ideal of a rooted tree. We give a procedure to calculate the regularity of powers of facet ideals of simplicial trees. As a consequence of this result, we study the regularity of powers of $t$-path ideals of rooted trees. We pose a regularity upper bound conjecture for facet ideals of simplicial trees, which is as follows: if $Δ$ is a $d$-dimensional simplicial tree, then $\reg(I(Δ)^s) \leq (d+1)(s-1)+\reg(I(Δ))$ for all $s \geq 1$. We prove this conjecture for some special classes of simplicial trees.
Make a graph singly connected by edge orientations
Published
• View Publication
• BIB
A directed graph $D$ is singly connected if for every ordered pair of vertices $(s,t)$, there is at most one path from $s$ to $t$ in $D$. Graph orientation problems ask, given an undirected graph $G$, to find an orientation of the edges such that the resultant directed graph $D$ has a certain property. In this work, we study the graph orientation problem where the desired property is that $D$ is singly connected. Our main result concerns graphs of a fixed girth $g$ and coloring number $c$. For every $g,c\geq 3$, the problem restricted to instances of girth $g$ and coloring number $c$, is either NP-complete or in P. As further algorithmic results, we show that the problem is NP-hard on planar graphs and polynomial time solvable distance-hereditary graphs.
Independent coalition in graphs: existence and characterization
Published
• View Publication
• BIB
An independent coalition in a graph $G$ consists of two disjoint sets of vertices $V_1$ and $V_2$ neither of which is an independent dominating set but whose union $V_1 \cup V_2$ is an independent dominating set. An independent coalition partition, abbreviated, $ic$-partition, in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that each set $V_i$ of $π$ either is a singleton dominating set, or is not an independent dominating set but forms an independent coalition with another set $V_j \in π$.
The maximum number of classes of an $ic$-partition of $G$ is the independent coalition number of $G$, denoted by $IC(G)$. In this paper we study the concept of $ic$-partition. In particular, we discuss the possibility of the existence of $ic$-partitions in graphs and introduce a family of graphs for which no $ic$-partition exists. We also determine the independent coalition number of some classes of graphs and investigate graphs $G$ of order $n$ with $IC(G)\in\{1,2,3,4,n\}$ and the trees $T$ of order $n$ with $IC(T)=n-1$.
An $(\aleph_0,k+2)$-Theorem for $k$-Transversals
Published
• View Publication
• BIB
A family $\mathcal{F}$ of sets satisfies the $(p,q)$-property if among every $p$ members of $\mathcal{F}$, some $q$ can be pierced by a single point. The celebrated $(p,q)$-theorem of Alon and Kleitman asserts that for any $p \geq q \geq d+1$, any family $\mathcal{F}$ of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$-property can be pierced by a finite number $c(p,q,d)$ of points. A similar theorem with respect to piercing by $(d-1)$-dimensional flats, called $(d-1)$-transversals, was obtained by Alon and Kalai.
In this paper we prove the following result, which can be viewed as an $(\aleph_0,k+2)$-theorem with respect to $k$-transversals: Let $\mathcal{F}$ be an infinite family of closed balls in $\mathbb{R}^d$, and let $0 \leq k < d$. If among every $\aleph_0$ elements of $\mathcal{F}$, some $k+2$ can be pierced by a $k$-dimensional flat, then $\mathcal{F}$ can be pierced by a finite number of $k$-dimensional flats. We derive this result as a corollary of a more general result which proves the same assertion for families of not necessarily convex objects called \emph{near-balls}, to be defined below.
This is the first $(p,q)$-theorem in which the assumption is weakened to an $(\infty,\cdot)$ assumption. Our proofs combine geometric and topological tools.
Decompositions of Nonlinear Input-Output Systems to Zero the Output
Published in Systems & Control Letters, Volume 187, May 2024, 105783
• View Publication
• BIB
Consider an input-output system where the output is the tracking error given some desired reference signal. It is natural to consider under what conditions the problem has an exact solution, that is, the tracking error is exactly the zero function. If the system has a well defined relative degree and the zero function is in the range of the input-output map, then it is well known that the system is locally left invertible, and thus, the problem has a unique exact solution. A system will fail to have relative degree when more than one exact solution exists. The general goal of this paper is to describe a decomposition of an input-output system having a Chen-Fliess series representation into a parallel product of subsystems in order to identify possible solutions to the problem of zeroing the output. For computational purposes, the focus is on systems whose generating series are polynomials. It is shown that the shuffle algebra on the set of generating polynomials is a unique factorization domain so that any polynomial can be uniquely factored modulo a permutation into its irreducible elements for the purpose of identifying the subsystems in a parallel product decomposition. This is achieved using the fact that this shuffle algebra is isomorphic to the symmetric algebra over the vector space spanned by Lyndon words. A specific algorithm for factoring generating polynomials into its irreducible factors is presented based on the Chen-Fox-Lyndon factorization of words.
Subchromatic numbers of powers of graphs with excluded minors
A $k$-subcolouring of a graph $G$ is a function $f:V(G) \to \{0,\ldots,k-1\}$ such that the set of vertices coloured $i$ induce a disjoint union of cliques. The subchromatic number, $χ_{\textrm{sub}}(G)$, is the minimum $k$ such that $G$ admits a $k$-subcolouring. Nešetřil, Ossona de Mendez, Pilipczuk, and Zhu (2020), recently raised the problem of finding tight upper bounds for $χ_{\textrm{sub}}(G^2)$ when $G$ is planar. We show that $χ_{\textrm{sub}}(G^2)\le 43$ when $G$ is planar, improving their bound of 135. We give even better bounds when the planar graph $G$ has larger girth. Moreover, we show that $χ_{\textrm{sub}}(G^{3})\le 95$, improving the previous bound of 364. For these we adapt some recent techniques of Almulhim and Kierstead (2022), while also extending the decompositions of triangulated planar graphs of Van den Heuvel, Ossona de Mendez, Quiroz, Rabinovich and Siebertz (2017), to planar graphs of arbitrary girth. Note that these decompositions are the precursors of the graph product structure theorem of planar graphs.
We give improved bounds for $χ_{\textrm{sub}}(G^p)$ for all $p$, whenever $G$ has bounded treewidth, bounded simple treewidth, bounded genus, or excludes a clique or biclique as a minor. For this we introduce a family of parameters which form a gradation between the strong and the weak colouring numbers. We give upper bounds for these parameters for graphs coming from such classes.
Finally, we give a 2-approximation algorithm for the subchromatic number of graphs coming from any fixed class with bounded layered cliquewidth. In particular, this implies a 2-approximation algorithm for the subchromatic number of powers $G^p$ of graphs coming from any fixed class with bounded layered treewidth (such as the class of planar graphs). This algorithm works even if the power $p$ and the graph $G$ is unknown.
Valid path-based graph vertex numbering
A labelling of a graph is an assignment of labels to its vertex or edge sets (or both), subject to certain conditions, a well established concept. A labelling of a graph G of order n is termed a numbering when the set of integers {1,...,n} is used to label the vertices of G distinctly. A 2-path (a path with three vertices) in a vertex-numbered graph is said to be valid if the number of its middle vertex is smaller than the numbers of its endpoints. The problem of finding a vertex numbering of a given graph that optimises the number of induced valid 2-paths is studied, which is conjectured to be in the NP-hard class. The reported results for several graph classes show that apparently there are not one or more numbering patterns applicable to different classes of graphs, which requires the development of a specific numbering for each graph class under study.
Integer k-matching preclusion of graphs
Published
• View Publication
• BIB
As a generalization of matching preclusion number of a graph, we provide the (strong) integer $k$-matching preclusion number, abbreviated as $MP^{k}$ number ($SMP^{k}$ number), which is the minimum number of edges (vertices and edges) whose deletion results in a graph that has neither perfect integer $k$-matching nor almost perfect integer $k$-matching. In this paper, we show that when $k$ is even, the ($SMP^{k}$) $MP^{k}$ number is equal to the (strong) fractional matching preclusion number. We obtain a necessary condition of graphs with an almost-perfect integer $k$-matching and a relational expression between the matching number and the integer $k$-matching number of bipartite graphs. Thus the $MP^{k}$ number and the $SMP^{k}$ number of complete graphs, bipartite graphs and arrangement graphs are obtained, respectively.
Short rank-metric codes and scattered subspaces
Published
• View Publication
• BIB
By exploiting the connection between scattered $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^3$ and minimal non degenerate $3$-dimensional rank metric codes of $\mathbb{F}_{q^m}^{n}$, $n \geq m+2$, described in [2], we will exhibit a new class of codes with parameters $[m+2,3,m-2]_{q^m/q}$ for infinite values of $q$ and $m \geq 5$ odd. Moreover, by studying the geometric structures of these scattered subspaces, we determine the rank weight distribution of the associated codes.
New bounds for odd colourings of graphs
Published
• View Publication
• BIB
Given a graph $G$, a vertex-colouring $σ$ of $G$, and a subset $X\subseteq V(G)$, a colour $x \in σ(X)$ is said to be \emph{odd} for $X$ in $σ$ if it has an odd number of occurrences in $X$. We say that $σ$ is an \emph{odd colouring} of $G$ if it is proper and every (open) neighbourhood has an odd colour in $σ$. The odd chromatic number of a graph $G$, denoted by $χ_o(G)$, is the minimum $k\in\mathbb{N}$ such that an odd colouring $σ\colon V(G)\to [k]$ exists. In a recent paper, Caro, Petru\v sevski and \v Skrekovski conjectured that every connected graph of maximum degree $Δ\ge 3$ has odd-chromatic number at most $Δ+1$. We prove that this conjecture holds asymptotically: for every connected graph $G$ with maximum degree $Δ$, $χ_o(G)\leΔ+O(\lnΔ)$ as $Δ\to \infty$. We also prove that $χ_o(G)\le\lfloor3Δ/2\rfloor+2$ for every $Δ$. If moreover the minimum degree $δ$ of $G$ is sufficiently large, we have $χ_o(G) \le χ(G) + O(Δ\ln Δ/δ)$ and $χ_o(G) = O(χ(G)\ln Δ)$. Finally, given an integer $h\ge 1$, we study the generalisation of these results to $h$-odd colourings, where every vertex $v$ must have at least $\min \{°(v),h\}$ odd colours in its neighbourhood. Many of our results are tight up to some multiplicative constant.
Injective coloring of product graphs
Published in Bulletin of the Malaysian Mathematical Sciences Society, 2024
• View Publication
• BIB
The problem of injective coloring in graphs can be revisited through two different approaches: coloring the two-step graphs and vertex partitioning of graphs into open packing sets, each of which is equivalent to the injective coloring problem itself. Taking these facts into account, we observe that the injective coloring lies between graph coloring and domination theory.
We make use of these three points of view in this paper so as to investigate the injective coloring of some well-known graph products. We bound the injective chromatic number of direct and lexicographic product graphs from below and above. In particular, we completely determine this parameter for the direct product of two cycles. We also give a closed formula for the corona product of two graphs.
Unifying Linear Algebra
We unify Linear Algebra by proposing a definition of determinants via one equation that implies all known properties of them:\\ 1. Cramer's Rule,\\ 2. Cofactor expansion,\\ 3. Antisymmetry of determinants,\\ 4. Linearity of determinants,\\ 5. Uniqueness of determinants up to a constant.\\ 6. $\det(A\cdot B)=\det(A)\cdot\det(B)$ for square matrices,\\ 7. $\det(A^T)=\det(A)$ for square matrices.
In other words, we propose a top-down approach to determinants: instead of building up slowly via definitions, we propose one equation that implies all of the above properties. It also leads naturally to basic concepts of Linear Algebra: linear combinations, linear independence, basis, dimension.