Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Shellability and homology of $q$-complexes and $q$-matroids
Published
• View Publication
• BIB
We consider a $q$-analogue of abstract simplicial complexes, called $q$-complexes, and discuss the notion of shellability for such complexes. It is shown that $q$-complexes formed by independent subspaces of a $q$-matroid are shellable. Further, we explicitly determine the homology of $q$-complexes corresponding to uniform $q$-matroids. We also outline some partial results concerning the determination of homology of arbitrary shellable $q$-complexes..
Minimum Spanning Tree Cycle Intersection Problem
Published
• View Publication
• BIB
Consider a connected graph $G$ and let $T$ be a spanning tree of $G$. Every edge $e \in G-T$ induces a cycle in $T \cup \{e\}$. The intersection of two distinct such cycles is the set of edges of $T$ that belong to both cycles. We consider the problem of finding a spanning tree that has the least number of such non-empty intersections.
The game of Flipping Coins
Published
• View Publication
• BIB
We consider Flipping Coins, a partizan version of the impartial game Turning Turtles, played on lines of coins. We show the values of this game are numbers, and these are found by first applying a reduction, then decomposing the position into an iterated ordinal sum. This is unusual since moves in the middle of the line do not eliminate the rest of the line. Moreover, when $G$ is decomposed into lines $H$ and $K$, then $G=(H:K^R)$. This is in contrast to Hackenbush Strings where $G= (H:K)$.
Reconstructing triangulations of 3-manifolds from their intersection matrix
The intersection matrix of a simplicial complex has entries equal to the rank of the intersection of its facets. In [1] the authors prove the intersection matrix is enough to determine a triangulation of a surface up to isomorphism. In this work we show the intersection matrix is enough to determine the triangulation of a 3-manifold up to isomorphism.
Maximality of Seidel matrices and switching roots of graphs
Published
• View Publication
• BIB
In this paper, we discuss maximality of Seidel matrices with a fixed largest eigenvalue. We present a classification of maximal Seidel matrices of largest eigenvalue $3$, which gives a classification of maximal equiangular lines in a Euclidean space with angle $\arccos1/3$. Motivated by the maximality of the exceptional root system $E_8$, we define strong maximality of a Seidel matrix, and show that every Seidel matrix achieving the absolute bound is strongly maximal.
Kronecker Products, Low-Depth Circuits, and Matrix Rigidity
Published
• View Publication
• BIB
For a matrix $M$ and a positive integer $r$, the rank $r$ rigidity of $M$ is the smallest number of entries of $M$ which one must change to make its rank at most $r$. There are many known applications of rigidity lower bounds to a variety of areas in complexity theory, but fewer known applications of rigidity upper bounds. In this paper, we use rigidity upper bounds to prove new upper bounds in a few different models of computation. Our results include:
$\bullet$ For any $d> 1$, and over any field $\mathbb{F}$, the $N \times N$ Walsh-Hadamard transform has a depth-$d$ linear circuit of size $O(d \cdot N^{1 + 0.96/d})$. This circumvents a known lower bound of $Ω(d \cdot N^{1 + 1/d})$ for circuits with bounded coefficients over $\mathbb{C}$ by Pudlák (2000), by using coefficients of magnitude polynomial in $N$. Our construction also generalizes to linear transformations given by a Kronecker power of any fixed $2 \times 2$ matrix.
$\bullet$ The $N \times N$ Walsh-Hadamard transform has a linear circuit of size $\leq (1.81 + o(1)) N \log_2 N$, improving on the bound of $\approx 1.88 N \log_2 N$ which one obtains from the standard fast Walsh-Hadamard transform.
$\bullet$ A new rigidity upper bound, showing that the following classes of matrices are not rigid enough to prove circuit lower bounds using Valiant's approach:
$-$ for any field $\mathbb{F}$ and any function $f : \{0,1\}^n \to \mathbb{F}$, the matrix $V_f \in \mathbb{F}^{2^n \times 2^n}$ given by, for any $x,y \in \{0,1\}^n$, $V_f[x,y] = f(x \wedge y)$, and
$-$ for any field $\mathbb{F}$ and any fixed-size matrices $M_1, \ldots, M_n \in \mathbb{F}^{q \times q}$, the Kronecker product $M_1 \otimes M_2 \otimes \cdots \otimes M_n$.
This generalizes recent results on non-rigidity, using a simpler approach which avoids needing the polynomial method.
Rainbow spanning trees in random subgraphs of dense regular graphs
Published
• View Publication
• BIB
We consider the following random model for edge-colored graphs. A graph $G$ on $n$ vertices is fixed, and a random subgraph $G_p$ is chosen by letting each edge of $G$ remain independently with probability $p$. Then, each edge of $G_p$ is colored uniformly at random from the set $[n-1]$. A result of Frieze and McKay (Random Structures and Algorithms, 1994) implies that when $G = K_n$ and $p = (2 + ε) \frac{\log n}{n}$ for some constant $ε> 0$, then $G_p$ almost surely contains a rainbow spanning tree. In this paper, we show that if $G$ is a $d$-regular $Ω(n)$-edge-connected graph, then when $p = (2 + ε) \frac {\log n}{d}$ for some constant $ε> 0$, $G_p$ almost surely contains a rainbow spanning tree. Our main tool is a new edge-replacement method for rainbow forests.
Polynomial time recognition of vertices contained in all (or no) maximum dissociation sets of a tree
Published
• View Publication
• BIB
In a graph G, a dissociation set is a subset of vertices which induces a subgraph with vertex degree at most 1. Finding a dissociation set of maximum cardinality in a graph is NP-hard even for bipartite graphs and is called the maximum dissociation set problem. The complexity of maximum dissociation set problem in various subclasses of graphs has been extensively studied in the literature. In this paper, we study the maximum dissociation problem from different perspectives and characterize the vertices belonging to all maximum dissociation sets, and to no maximum dissociation set of a tree. We present a linear time recognition algorithm which can determine whether a given vertex in a tree is contained in all (or no) maximum dissociation sets of the tree. Thus for a tree with n vertices, we can find all vertices belonging to all (or no) maximum dissociation sets of the tree in O(n^2) time.
The Hamilton-Waterloo problem on wreath product graph $C_m \wr K_{16}$
The Hamilton-Waterloo problem is a problem of graph factorization. The Hamilton-Waterloo problem HWP$(H;m,n;α,β)$ asks for a $2$-factorization of $H$ containing $α$ $C_m$-factors and $β$ $C_n$-factors. In this paper, we almost completely solve the Hamilton-Waterloo problem on wreath product graph $C_m \wr K_{16}$ with $C_{16}$-factors and $C_m$-factors for an odd integer $m$.
Unity Product Graph of Some Commutative Rings
A graph is an instrument which is extensively utilized to model various problems in different fields. Up to date, many graphs have been developed to represent algebraic structures, particularly rings in order to study their properties. In this article, by focusing on commutative ring $ R $, we introduce a new notion of unity product graph associated with $ R $ and its complement. In addition, we prove that if the number of vertices of the unity product graph is at least 2, then the graph is disconnected, while its complement graph is connected. Furthermore, it is shown that there are some commutative rings with such as Boolean ring and the Cartesian product of Boolean rings in which their associated unity product graphs are trivial. Consequently, some results are established to determine the number of isolated vertices in unity product graph. We also characterize commutative rings with unity in which their associated unity product and complement unity product graphs are empty graph and complete graph, respectively. Finally, we prove some results on the properties of the unity product graph and its complement in terms of girth, diameter, radius, dominating number, chromatic number and clique number as well as planarity and Hamiltonian.
An iterative ILP approach for constructing a Hamiltonian decomposition of a regular multigraph
Published
• View Publication
• BIB
A Hamiltonian decomposition of a regular graph is a partition of its edge set into Hamiltonian cycles. The problem of finding edge-disjoint Hamiltonian cycles in a given regular graph has many applications in combinatorial optimization and operations research. Our motivation for this problem comes from the field of polyhedral combinatorics, as a sufficient condition for vertex nonadjacency in the 1-skeleton of the traveling salesperson polytope can be formulated as the Hamiltonian decomposition problem in a 4-regular multigraph with one forbidden decomposition. In our approach, the algorithm starts by solving the relaxed 2-matching problem, then iteratively generates subtour elimination constraints for all subtours in the solution and solves the corresponding ILP-model to optimality. The procedure is enhanced by the local search heuristic based on chain edge fixing and cycle merging operations. In the computational experiments, the iterative ILP algorithm showed comparable results with the previously known heuristics on undirected multigraphs and significantly better performance on directed multigraphs.
The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory
Published in Discrete Applied Mathematics 315 (2022) pp. 56-70
• View Publication
• BIB
Let us consider a parametric weighted directed graph in which every arc $(j,i)$ has weight of the form $w((j,i))=\max(P_{ij}+λ,I_{ij}-λ,C_{ij})$, where $λ$ is a real parameter and $P$, $I$ and $C$ are arbitrary square matrices with elements in $\mathbb{R}\cup\{-\infty\}$. In this paper, we design an algorithm that solves the Non-positive Circuit weight Problem (NCP) on this class of parametric graphs, which consists in finding all values of $λ$ such that the graph does not contain circuits with positive weight. This problem, which generalizes other instances of the NCP previously investigated in the literature, has applications in the consistency analysis of a class of discrete-event systems called P-time event graphs. The proposed algorithm is based on max-plus algebra and formal languages, and improves the worst-case complexity of other existing approaches, achieving strongly polynomial time complexity $\mathcal{O}(n^4)$ (where $n$ is the number of nodes in the graph).
Quaternary Hermitian self-dual codes of lengths 26, 32, 36, 38 and 40 from modifications of well-known circulant constructions
Published
• View Publication
• BIB
In this work, we give three new techniques for constructing Hermitian self-dual codes over commutative Frobenius rings with a non-trivial involutory automorphism using $λ$-circulant matrices. The new constructions are derived as modifications of various well-known circulant constructions of self-dual codes. Applying these constructions together with the building-up construction, we construct many new best known quaternary Hermitian self-dual codes of lengths 26, 32, 36, 38 and 40.
The Cover Time of a (Multiple) Markov Chain with Rational Transition Probabilities is Rational
Published in Statistics & Probability Letters, 187:109534, 2022
• View Publication
• BIB
The cover time of a Markov chain on a finite state space is the expected time until all states are visited. We show that if the cover time of a discrete-time Markov chain with rational transitions probabilities is bounded, then it is a rational number. The result is proved by relating the cover time of the original chain to the hitting time of a set in another higher dimensional chain. We also extend this result to the setting where $k\geq 1 $ independent copies of a Markov chain are run simultaneously on the same state space and the cover time is the expected time until each state has been visited by at least one copy of the chain.
$c_2$ invariants of hourglass chains via quadratic denominator reduction
Published in SIGMA 17 (2021), 100, 26 pages
• View Publication
• BIB
We introduce families of four-regular graphs consisting of chains of hourglasses which are attached to a finite kernel. We prove a formula for the $c_2$ invariant of these hourglass chains which only depends on the kernel. For different kernels these hourglass chains typically give rise to different $c_2$ invariants. An exhaustive search for the $c_2$ invariants of hourglass chains with kernels that have a maximum of ten vertices provides Calabi-Yau manifolds with point-counts which match the Fourier coefficients of modular forms whose weights and levels are [4,8], [4,16], [6,4], and [9,4]. Assuming the completion conjecture, we show that no modular form of weight 2 and level $\leq1000$ corresponds to the $c_2$ of such hourglass chains. This provides further evidence in favour of the conjecture that curves are absent in $c_2$ invariants of $φ^4$ quantum field theory.
The "Grothendieck to Lascoux" conjecture
This report formulates a conjectural combinatorial rule that positively expands Grothendieck polynomials into Lascoux polynomials. It generalizes one such formula expanding Schubert polynomials into key polynomials, and refines another one expanding stable Grothendieck polynomials.
Automorphisms of tropical Hassett spaces
Published in Port. Math. 79 (2022), no. 1/2, pp. 163-197
• View Publication
• BIB
Given an integer $g \geq 0$ and a weight vector $w \in \mathbb{Q}^n \cap (0, 1]^n$ satisfying $2g - 2 + \sum w_i > 0$, let $Δ_{g, w}$ denote the moduli space of $n$-marked, $w$-stable tropical curves of genus $g$ and volume one. We calculate the automorphism group $\mathrm{Aut}(Δ_{g, w})$ for $g \geq 1$ and arbitrary $w$, and we calculate the group $\mathrm{Aut}(Δ_{0, w})$ when $w$ is heavy/light. In both of these cases, we show that $\mathrm{Aut}(Δ_{g, w}) \cong \mathrm{Aut}(K_w)$, where $K_w$ is the abstract simplicial complex on $\{1, \ldots, n\}$ whose faces are subsets with $w$-weight at most $1$. We show that these groups are precisely the finite direct products of symmetric groups. The space $Δ_{g, w}$ may also be identified with the dual complex of the divisor of singular curves in the algebraic Hassett space $\overline{\mathcal{M}}_{g, w}$. Following the work of Massarenti and Mella on the biregular automorphism group $\mathrm{Aut}(\overline{\mathcal{M}}_{g, w})$, we show that $\mathrm{Aut}(Δ_{g, w})$ is naturally identified with the subgroup of automorphisms which preserve the divisor of singular curves.
$q$-Analogues of $π$-Series by Applying Carlitz Inversions to $q$-Pfaff-Saalsch{ü}tz Theorem
Published
• View Publication
• BIB
By applying multiplicate forms of the Carlitz inverse series relations to the $q$-Pfaff-Saalsch{ü}tz summation theorem, we establish twenty five nonterminating $q$-series identities with several of them serving as $q$-analogues of infinite series expressions for $π$ and $1/π$, including some typical ones discovered by Ramanujan (1914) and Guillera.
On particular examples of planar integral point sets and their classification
Published
• View Publication
• BIB
A planar integral point set is a set of non-collinear points in plane such that for any pair of the points the Euclidean distance between the points is integral. We discuss the classification of planar integral point sets and provide examples of sets that are not covered by the existent classification.
Ramsey properties of semilinear graphs
Published
• View Publication
• BIB
A graph $G$ is semilinear of complexity $t$ if the vertices of $G$ are elements of $\mathbb{R}^{d}$ for some $d\in\mathbb{Z}^{+}$, and the edges of $G$ are defined by the sign patterns of $t$ linear functions $f_1,\dots,f_t:\mathbb{R}^{d}\times \mathbb{R}^{d}\rightarrow\mathbb{R}$. We show that semilinear graphs of constant complexity have very tame Ramsey properties. More precisely, we prove that if $G$ is a semilinear graph of complexity $t$ which contains no clique of size $s$ and no independent set of size $n$, then $G$ has at most $O_{s,t}(n)\cdot(\log n)^{O_t(1)}$ vertices. We also show that the logarithmic term cannot be omitted. In particular, this implies that if $G$ is a semilinear graph of constant complexity on $n$ vertices, and $G$ contains no clique of size $s$, then $G$ can be properly colored with $\mbox{polylog}(n)$ colors. In the past 60 years, this coloring question was extensively studied for several special instances of semilinear graphs, e.g. shift graphs, intersection and disjointness graphs of certain geometric objects, and overlap graphs. Our main result provides a general upper bound on the chromatic number of all such, seemingly unrelated, graphs.
Furthermore, we consider the symmetric Ramsey problem for semilinear graphs as well. It is known that if there exists an intersection graph of $N$ boxes in $\mathbb{R}^{d}$ (such graphs are semilinear of complexity $2d$) that contains no clique or independent set of size $n$, then $N=O_d(n^2(\log n)^{d-1})$. That is, the exponent of $n$ does not grow with the dimension. We prove a result about the symmetric Ramsey properties of semilinear graphs, which puts this phenomenon in a more general context.