Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Hypergraph $k$-cut for fixed $k$ in deterministic polynomial time
Published
• View Publication
• BIB
We consider the Hypergraph-$k$-cut problem. The input consists of a hypergraph $G=(V,E)$ with non-negative hyperedge-costs $c: E\rightarrow R_+$ and a positive integer $k$. The objective is to find a least-cost subset $F\subseteq E$ such that the number of connected components in $G-F$ is at least $k$. An alternative formulation of the objective is to find a partition of $V$ into $k$ non-empty sets $V_1,V_2,\ldots,V_k$ so as to minimize the cost of the hyperedges that cross the partition. Graph-$k$-cut, the special case of Hypergraph-$k$-cut obtained by restricting to graph inputs, has received considerable attention. Several different approaches lead to a polynomial-time algorithm for Graph-$k$-cut when $k$ is fixed, starting with the work of Goldschmidt and Hochbaum (1988). In contrast, it is only recently that a randomized polynomial time algorithm for Hypergraph-$k$-cut was developed (Chandrasekaran, Xu, Yu, 2018) via a subtle generalization of Karger's random contraction approach for graphs. In this work, we develop the first deterministic polynomial time algorithm for Hypergraph-$k$-cut for all fixed $k$. We describe two algorithms both of which are based on a divide and conquer approach. The first algorithm is simpler and runs in $n^{O(k^2)}$ time while the second one runs in $n^{O(k)}$ time. Our proof relies on new structural results that allow for efficient recovery of the parts of an optimum $k$-partition by solving minimum $(S,T)$-terminal cuts. Our techniques give new insights even for Graph-$k$-cut.
Stability of $\mathbb{Z}^2$ configurations in 3D
Published
• View Publication
• BIB
Inspired by the issue of stability of molecular structures, we investigate the strict minimality of point sets with respect to configurational energies featuring two- and three-body contributions. Our main focus is on characterizing those configurations which cannot be deformed without changing distances between first neighbors or angles formed by pairs of first neighbors. Such configurations are called {\it angle-rigid}.
We tackle this question in the class of finite configurations in $\mathbb{Z}^2$, seen as planar three-dimensional point sets. A sufficient condition preventing angle-rigidity is presented. This condition is also proved to be necessary when restricted to specific subclasses of configurations.
The Elser nuclei sum revisited
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (June 3, 2021) dmtcs:7012
• View Publication
• BIB
Fix a finite undirected graph $Γ$ and a vertex $v$ of $Γ$. Let $E$ be the set of edges of $Γ$. We call a subset $F$ of $E$ pandemic if each edge of $Γ$ has at least one endpoint that can be connected to $v$ by an $F$-path (i.e., a path using edges from $F$ only). In 1984, Elser showed that the sum of $\left(-1\right)^{\left| F\right|}$ over all pandemic subsets $F$ of $E$ is $0$ if $E\neq \varnothing$. We give a simple proof of this result via a sign-reversing involution, and discuss variants, generalizations and refinements, revealing connections to abstract convexity (the notion of an antimatroid) and discrete Morse theory.
Partially scattered linearized polynomials and rank metric codes
Published
• View Publication
• BIB
A linearized polynomial $f(x)\in\mathbb F_{q^n}[x]$ is called scattered if for any $y,z\in\mathbb F_{q^n}$, the condition $zf(y)-yf(z)=0$ implies that $y$ and $z$ are $\mathbb F_{q}$-linearly dependent. In this paper two generalizations of the notion of a scattered linearized polynomial are defined and investigated. Let $t$ be a nontrivial positive divisor of $n$. By weakening the property defining a scattered linearized polynomial, L-$q^t$-partially scattered and R-$q^t$-partially scattered linearized polynomials are introduced in such a way that the scattered linearized polynomials are precisely those which are both L-$q^t$- and R-$q^t$-partially scattered. Also, connections between partially scattered polynomials, linear sets and rank metric codes are exhibited.
Phylosymmetric algebras: mathematical properties of a new tool in phylogenetics
Published
• View Publication
• BIB
In phylogenetics it is of interest for rate matrix sets to satisfy closure under matrix multiplication as this makes finding the set of corresponding transition matrices possible without having to compute matrix exponentials. It is also advantageous to have a small number of free parameters as this, in applications, will result in a reduction of computation time. We explore a method of building a rate matrix set from a rooted tree structure by assigning rates to internal tree nodes and states to the leaves, then defining the rate of change between two states as the rate assigned to the most recent common ancestor of those two states. We investigate the properties of these matrix sets from both a linear algebra and a graph theory perspective and show that any rate matrix set generated this way is closed under matrix multiplication. The consequences of setting two rates assigned to internal tree nodes to be equal are then considered. This methodology could be used to develop parameterised models of amino acid substitution which have a small number of parameters but convey biological meaning.
Distance Eigenvalues and Forwarding Indices of Multiplicative Circulant Graph of Order Power of Two and Three
Published
• View Publication
• BIB
In this paper, we use Breadth-first search algorithm to determine the distance matrix of multiplicative circulant graph of order power of two and three. As a consequence, the diameter of the graphs were determined. We also give their distance spectral radii, average distances, as well as the exact values of vertex-forwarding indices. Finally, using some known relationships between the distance spectral radii and forwarding indices of a graph, we give some bounds for their edge-forwarding indices.
Cellularity of the p-Canonical Basis for Symmetric Groups
For symmetric groups we show that the p-canonical basis can be extended to a cell datum for the Iwahori-Hecke algebra H and that the two-sided p-cell preorder coincides with the Kazhdan-Lusztig two-sided cell preorder. Moreover, we show that left (or right) p-cells inside the same two-sided p-cell for Hecke algebras of finite crystallographic Coxeter systems are incomparable (Property A).
Multichannel Conflict-Avoiding Codes of Weights Three and Four
Published
• View Publication
• BIB
Conflict-avoiding codes (CACs) were introduced by Levenshtein as a single-channel transmission scheme for a multiple-access collision channel without feedback. When the number of simultaneously active source nodes is less than or equal to the weight of a CAC, it is able to provide a hard guarantee that each active source node transmits at least one packet successfully within a fixed time duration, no matter what the relative time offsets between the source nodes are. In this paper, we extend CACs to multichannel CACs for providing such a hard guarantee over multiple orthogonal channels. Upper bounds on the number of codewords for multichannel CACs of weights three and four are derived, and constructions that are optimal with respect to these bounds are presented.
An Incidence Result for Well-Spaced Atoms in all Dimensions
Published
• View Publication
• BIB
We prove an incidence result counting the $k$-rich $δ$-tubes induced by a well-spaced set of $δ$-atoms. Our result coincides with the bound that would be heuristically predicted by the Szemerédi--Trotter Theorem and holds in all dimensions $d \geq 2$.
On the prime spectrum of an automorphism group of an ${\rm AT4}(p,p+2,r)$-graph
Published
• View Publication
• BIB
This paper is devoted to the problem of classification of ${\rm AT4}(p,p+2,r)$-graphs. There is a unique ${\rm AT4}(p,p+2,r)$-graph with $p=2$, namely, the distance-transitive Soicher graph with intersection array $\{56, 45, 16, 1;1, 8, 45, 56\}$, whose local graphs are isomorphic to the Gewirtz graph. It is still unknown whether an ${\rm AT4}(p,p+2,r)$-graph with $p>2$ exists. The local graphs of each ${\rm AT4}(p,p+2,r)$-graph are strongly regular with parameters $((p+2)(p^2+4p+2),p(p+3),p-2,p)$. In the present paper, we find an upper bound for the prime spectrum of an automorphism group of a strongly regular graph with such parameters, and we also obtain some restrictions for the prime spectrum and the structure of an automorphism group of an ${\rm AT4}(p,p+2,r)$-graph in case when $p$ is a prime power. As a corollary, we show that there are no arc-transitive ${\rm AT4}(p,p+2,r)$-graphs with $p\in \{11,17,27\}$.
A new construction of Deza graphs through $π$-local fusion graphs of finite simple groups of Lie-type of even characteristic
In this paper, we investigate the structure of $π$-local fusion graphs of some finite simple groups of Lie-type of even characteristic. We indicate a strong connection between such graphs and other combinatorial objects, as antipodal covers and Deza graphs. In particular, we find several infinite families of $π$-local fusion graphs of finite simple groups of Lie-type of even characteristic that are strictly Deza graphs.
Sets avoiding six-term arithmetic progressions in $\mathbb{Z}_6^n$ are exponentially small
Published
• View Publication
• BIB
We show that sets avoiding 6-term arithmetic progressions in $\mathbb{Z}_6^n$ have size at most $5.709^n$. It is also pointed out that the "product construction" does not work in this setting, specially, we show that for the extremal sizes in small dimensions we have $r_6(\mathbb{Z}_6)=5$, $r_6(\mathbb{Z}_6^2)=25$ and $ 116\leq r_6(\mathbb{Z}_6^3)\leq 124$.
Zero forcing number of graphs with a power law degree distribution
Published in Phys. Rev. E 103, 022301 (2021)
• View Publication
• BIB
The zero forcing number is the minimum number of black vertices that can turn a white graph black following a single neighbour colour forcing rule. The zero forcing number provides topological information about linear algebra on graphs, with applications to the controllability of linear dynamical systems and quantum walks on graphs among other problems. Here, I investigate the zero forcing number of undirected simple graphs with a power law degree distribution $p_k\sim k^{-γ}$. For graphs generated by the preferential attachment model, with a diameter scaling logarithmically with the graph size, the zero forcing number approaches the graph size when $γ\rightarrow2$. In contrast, for graphs generated by the deactivation model, with a diameter scaling linearly with the graph size, the zero forcing number is smaller than the graph size independently of $γ$. Therefore the scaling of the graph diameter with the graph size is another factor determining the controllability of dynamical systems.
Freely Independent Coin Tosses, Standard Young Tableaux, and the Kesten--McKay Law
Published
• View Publication
• BIB
In this article, we shall start with a closed walk on a regular tree of degree $d$. These walks are described by the Kesten-McKay law which arises as the asymptotic distribution of a random $d$-regular graph on $n$ vertices. We will show that the moments of the Kesten-McKay law are given by counting standard Young tableaux with at most 2 rows, and how some properties of the walk make sense even when $d$ is not an integer. We will use free probability to instruct us how to build an explicit model in random matrix theory.
Laplacian integral graphs with a given degree sequence constraint
Published
• View Publication
• BIB
Let G be a graph on n vertices. The Laplacian matrix of G, denoted by L(G), is defined as L(G) = D(G) - A(G), where A(G) is the adjacency matrix of G and D(G) is the diagonal matrix of the vertex degrees of G. A graph G is said to be L-integral is all eigenvalues of the matrix L(G) are integers. In this paper, we characterize all L-integral non-bipartite graphs among all connected graphs with at most two vertices of degree larger than or equal to three.
Dyson's Crank and the Mex of Integer Partitions
Published in J. Combin. Theory Ser. A 185 (2022) 105523
• View Publication
• BIB
Andrews and Newman have recently introduced the notion of the mex of a partition, the smallest positive integer that is not a part. The concept has been used since at least 2011, though, with connections to Frobenius symbols. Recently the parity of the mex has been associated to the crank statistic named by Dyson in 1944. In this note, we extend and strengthen the connection between the crank and mex (along with a new generaliztion of the mex) by proving a number of properties that naturally relate these partition statistics.
Betti numbers of weighted oriented graphs
Published
• View Publication
• BIB
Let $\mathcal{D}$ be a weighted oriented graph and $I(\mathcal{D})$ be its edge ideal. In this paper, we investigate the Betti numbers of $I(\mathcal{D})$ via upper-Koszul simplicial complexes, Betti splittings and the mapping cone construction. In particular, we provide recursive formulas for the Betti numbers of edge ideals of several classes of weighted oriented graphs. We also identify classes of weighted oriented graphs whose edge ideals have a unique extremal Betti number which allows us to compute the regularity and projective dimension for the identified classes. Furthermore, we characterize the structure of a weighted oriented graph $\mathcal{D}$ on $n$ vertices such that $\textrm{pdim } (R/I(\mathcal{D}))=n$ where $R=k[x_1,\ldots, x_n]$.
Three variations on the linear independence of grouplikes in a coalgebra
The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear independence has to be replaced by a weaker statement). Another is a stronger statement that holds (un-der stronger assumptions) in a commutative bialgebra. The last variant is a linear independence result for characters (as opposed to grouplike elements) of a bialgebra.
A simple $(2+ε)$-approximation algorithm for Split Vertex Deletion
Published
• View Publication
• BIB
A split graph is a graph whose vertex set can be partitioned into a clique and a stable set. Given a graph $G$ and weight function $w: V(G) \to \mathbb{Q}_{\geq 0}$, the Split Vertex Deletion (SVD) problem asks to find a minimum weight set of vertices $X$ such that $G-X$ is a split graph. It is easy to show that a graph is a split graph if and only it it does not contain a $4$-cycle, $5$-cycle, or a two edge matching as an induced subgraph. Therefore, SVD admits an easy $5$-approximation algorithm. On the other hand, for every $δ>0$, SVD does not admit a $(2-δ)$-approximation algorithm, unless P=NP or the Unique Games Conjecture fails.
For every $ε>0$, Lokshtanov, Misra, Panolan, Philip, and Saurabh recently gave a randomized $(2+ε)$-approximation algorithm for SVD. In this work we give an extremely simple deterministic $(2+ε)$-approximation algorithm for SVD.
On the topological Kalai-Meshulam conjecture
Chudnovsky, Scott, Seymour and Spirkl recently proved a conjecture by Kalai and Meshulam stating that the reduced Euler characteristic of the independence complex of a graph without induced cycles of length divisible by three is in {-1,0,1}. Gauthier had earlier proved that assuming no cycles of those lengths, induced or not. Kalai and Meshulam also stated a stronger topological conjecture, that the total betti numbers are in {0,1}. Towards that we prove an even stronger statement in the same setting as Gauthier: The independence complexes are either contractible or homotopy equivalent to spheres. We conjecture that it also holds in the general setting.