Showing 20 papers (Total: 82901 papers, 47900 authors in database)
On some generalizations of the property $B$-problem of an $n$-uniform hypergraph
The extremal problem of hypergraph colorings related to Erdős--Hajnal property $B$-problem is considered. Let $k$ be a natural number. The problem is to find the value of $m_k(n)$ equal to the minimal number of edges in an $n$-uniform hypergraph not admitting $2$-colorings of the vertex set such that every edge of the hypergraph contains at least $k$ vertices of each color. In this paper we obtain new lower bounds for $m_k(n).$
Testing isomorphism of circular-arc graphs in polynomial time
A graph is said to be circular-arc if the vertices can be associated with arcs of a circle so that two vertices are adjacent if and only if the corresponding arcs overlap. It is proved that the isomorphism of circular-arc graphs can be tested by the Weisfeiler-Leman algorithm after individualization of two vertices.
Spectra and eigenspaces of arbitrary lifts of graphs
We describe, in a very explicit way, a method for determining the spectra and bases of all the corresponding eigenspaces of arbitrary lifts of graphs (regular or not).
Fast algorithm for generating ascending compositions
Published in Journal of Mathematical Modelling and Algorithms, Volume 11, Issue 1, pp 89-104, 2012
• View Publication
• BIB
In this paper we give a fast algorithm to generate all partitions of a positive integer $n$. Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. It is known that the ascending composition generation algorithm is substantially more efficient than its descending composition counterpart. Using tree structures for storing the partitions of integers, we develop a new ascending composition generation algorithm which is substantially more efficient than the algorithms from the literature.
The Multiset Partition Algebra
We introduce the multiset partition algebra $\mathcal{MP}_k(ξ)$ over $F[ξ]$, where $F$ is a field of characteristic $0$ and $k$ is a positive integer. When $ξ$ is specialized to a positive integer $n$, we establish the Schur-Weyl duality between the actions of resulting algebra $\mathcal{MP}_k(n)$ and the symmetric group $S_n$ on $\text{Sym}^k(F^n)$. The construction of $\mathcal{MP}_k(ξ)$ generalizes to any vector $λ$ of non-negative integers yielding the algebra $\mathcal{MP}_λ(ξ)$ over $F[ξ]$ so that there is Schur-Weyl duality between the actions of $\mathcal{MP}_λ(n)$ and $S_n$ on $\text{Sym}^λ(F^n)$. We find the generating function for the multiplicity of each irreducible representation of $S_n$ in $\text{Sym}^λ(F^n)$, as $λ$ varies, in terms of a plethysm of Schur functions. As consequences we obtain an indexing set for the irreducible representations of $\mathcal{MP}_k(n)$, and the generating function for the multiplicity of an irreducible polynomial representation of $GL_n(F)$ when restricted to $S_n$. We show that $\mathcal{MP}_λ(ξ)$ embeds inside the partition algebra $\mathcal{P}_{|λ|}(ξ)$. Using this embedding, over $F$, we prove that $\mathcal{MP}_λ(ξ)$ is a cellular algebra, and $\mathcal{MP}_λ(ξ)$ is semisimple when $ξ$ is not an integer or $ξ$ is an integer such that $ξ\geq 2|λ|-1$. We give an insertion algorithm based on Robinson-Schensted-Knuth correspondence realizing the decomposition of $\mathcal{MP}_λ(n)$ as $\mathcal{MP}_λ(n)\times \mathcal{MP}_λ(n)$-module.
Conditionally monotone independence and the associated products of graphs
Published in Infin. Dimens. Anal. Quantum. Probab. Relat. Top. Vol. 22, No. 4 (2019) 1950023
• View Publication
• BIB
We reduce the conditionally monotone (c-monotone) independence of Hasebe to tensor independence. For that purpose, we use the approach developed for the reduction of boolean, free and monotone independences to tensor independence. We apply the tensor product realization of c-monotone random variables to introduce the c-comb (loop) product of birooted graphs, a generalization of the comb (loop) product of rooted graphs, and we show that it is related to the c-monotone additive (multiplicative) convolution of distributions.
On Star critical Ramsey numbers related to large cycles versus complete graphs
Let $K_n$ denote the complete graph on $n$ vertices and $G, H$ be finite graphs. Consider a two-coloring of edges of $K_n$. When a copy of $G$ in the first color, red, or a copy of $H$ in the second color, blue is in $K_n$, we write $K_n\rightarrow (G,H)$. The Ramsey number $r(G, H)$ is defined as the smallest positive integer $n$ such that $K_{n} \rightarrow (G, H)$. Star critical Ramsey $r_*(G, H)$ is defined as the largest value of $k$ such that $K_{r(G,H)-1} \sqcup K_{1,k} \rightarrow (G, H)$. In this paper, we find $r_*(C_n, K_m)$ for $m \geq 7$ and $n \geq (m-3)(m-1)$.
Regularity of symbolic powers of edge ideals of unicyclic graphs
Let $G$ be a unicyclic graph with edge ideal $I(G)$. For any integer $s\geq 1$, we denote the $s$-th symbolic power of $I(G)$ by $I(G)^{(s)}$. It is shown that ${\rm reg}(I(G)^{(s)})={\rm reg}(I(G)^s)$, for every $s\geq 1$.
Malleable scheduling beyond identical machines
In malleable job scheduling, jobs can be executed simultaneously on multiple machines with the processing time depending on the number of allocated machines. In this setting, jobs are required to be executed non-preemptively and in unison, in the sense that they occupy, during their execution, the same time interval over all the machines of the allocated set. In this work, we study generalizations of malleable job scheduling inspired by standard scheduling on unrelated machines. Specifically, we introduce a general model of malleable job scheduling, where each machine has a (possibly different) speed for each job, and the processing time of a job $j$ on a set of allocated machines $S$ depends on the total speed of $S$ with respect to $j$. For machines with unrelated speeds, we show that the optimal makespan cannot be approximated within a factor less than $\frac{e}{e-1}$, unless $P = NP$. On the positive side, we present polynomial-time algorithms with approximation ratios $\frac{2e}{e-1}$ for machines with unrelated speeds, $3$ for machines with uniform speeds, and $7/3$ for restricted assignments on identical machines. Our algorithms are based on deterministic LP rounding. They result in sparse schedules, in the sense that each machine shares at most one job with other machines. We also prove lower bounds on the integrality gap of $1+\varphi$ for unrelated speeds ($\varphi$ is the golden ratio) and $2$ for uniform speeds and restricted assignments. To indicate the generality of our approach, we show that it also yields constant factor approximation algorithms for a variant where we determine the effective speed of a set of allocated machines based on the $L_p$ norm of their speeds.
Laplacian Spectral Determination of Path-Friendship Graphs
A graph $G$ is said to be determined by the spectrum of its Laplacian matrix (DLS) if every graph with the same spectrum is isomorphic to $G$. van Dam and Haemers (2003) conjectured that almost all graphs have this property, but that is known to be the case only for a very few families. In some recent papers it is proved that the friendship graphs and starlike trees are DLS. If a friendship graph and a starlike tree are joined by merging their vertices of degree greater than 2, then the resulting graph is called a path-friendship graph. In this paper, it is proved that the path-friendship graphs are also DLS.
The uniqueness of plethystic factorisation
We prove that a plethysm product of two Schur functions can be factorised uniquely and classify homogeneous and indecomposable plethysm products.
An algebraic independence result related to a conjecture of Dixmier on binary form invariants
Published in Res Math Sci (2019) 6: 26
• View Publication
• BIB
In order to better understand the structure of classical rings of invariants for binary forms, Dixmier proposed, as a conjectural homogeneous system of parameters, an explicit collection of invariants previously studied by Hilbert. We generalize Dixmier's collection and show that a particular subfamily is algebraically independent. Our proof relies on showing certain alternating sums of products of binomial coefficients are nonzero. Along the way we provide a very elementary proof à la Racah, namely, only using the Chu-Vandermonde Theorem, for Dixon's Summation Theorem. We also provide explicit computations of invariants, for the binary octavic, which can serve as ideal introductory examples to Gordan's 1868 method in classical invariant theory.
Minimal Braces
McCuaig (2001, Brace Generation, J. Graph Theory 38: 124-169) proved a generation theorem for braces, and used it as the principal induction tool to obtain a structural characterization of Pfaffian braces (2004, P{ó}lya's Permanent Problem, Electronic J. Combinatorics 11: R79).
A brace is minimal if deleting any edge results in a graph that is not a brace. From McCuaig's brace generation theorem, we derive our main theorem that may be viewed as an induction tool for minimal braces. As an application, we prove that a minimal brace of order $2n$ has size at most $5n-10$, when $n \geq 6$, and we provide a complete characterization of minimal braces that meet this upper bound.
A similar work has already been done in the context of minimal bricks by Norine and Thomas (2006, Minimal Bricks, J. Combin. Theory Ser. B 96: 505-513) wherein they deduce the main result from the brick generation theorem due to the same authors (2007, Generating Bricks, J. Combin. Theory Ser. B 97: 769-817).
Optimizing the trade-off between number of cops and capture time in Cops and Robbers
The cop throttling number $th_c(G)$ of a graph $G$ for the game of Cops and Robbers is the minimum of $k + capt_k(G)$, where $k$ is the number of cops and $capt_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games in which both players play optimally. In this paper, we construct a family of graphs having $th_c(G)= Ω(n^{2/3})$, establish a sublinear upper bound on the cop throttling number, and show that the cop throttling number of chordal graphs is $O(\sqrt{n})$. We also introduce the product cop throttling number $th_c^{\times}(G)$ as a parameter that minimizes the person-hours used by the cops. This parameter extends the notion of speed-up that has been studied in the context of parallel processing and network decontamination. We establish bounds on the product cop throttling number in terms of the cop throttling number, characterize graphs with low product cop throttling number, and show that for a chordal graph $G$, $th_c^{\times}=1+rad(G)$.
On Generalizations of the Newton-Raphson-Simpson Method
We present generalizations of the Newton-Raphson-Simpson method. Specifically, for a positive integer $m$ and the sequence of coefficients of a Taylor series of a function $f(z)$, we define an algorithm we denote by NRS($m$) which is a way to evaluate, in our terminology, a sum of $m$ formal zeros of $f(z)$. We prove that NRS(1) yields the familiar iterations of the Newton-Raphson-Simpson method. We also prove that NRS($m$) is way to evaluate certain $\mathscr{A}$-hypergeometric series defined by Sturmfels. In order to define these algorithms, we make use of combinatorial objects which we call trees with negative vertex degree.
A Reeb sphere theorem in graph theory
We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty graph or the product of two spheres.
On Star 5-Colorings of Sparse Graphs
A \textit{star $k$-coloring} of a graph $G$ is a proper (vertex) $k$-coloring of $G$ such that the vertices on a path of length three receive at least three colors. Given a graph $G$, its \textit{star chromatic number}, denoted $χ_s(G)$, is the minimum integer $k$ for which $G$ admits a star $k$-coloring. Studying star coloring of sparse graphs is an active area of research, especially in terms of the maximum average degree of a graph; the \textit{maximum average degree}, denoted $mad(G)$, of a graph $G$ is $\max\left\{ \frac{2|E(H)|}{|V(H)|}:{H \subset G}\right\}$. It is known that for a graph $G$, if $mad(G)<\frac{8}{3}$, then $χ_s(G)\leq 6$, and if $mad(G)< \frac{18}{7}$ and its girth is at least 6, then $χ_s(G)\le 5$. We improve both results by showing that for a graph $G$, if $mad(G)\le \frac{8}{3}$, then $χ_s(G)\le 5$. As an immediate corollary, we obtain that a planar graph with girth at least 8 has a star 5-coloring, improving the best known girth condition for a planar graph to have a star 5-coloring.
Octahedralizing 3-colorable 3-polytopes
We investigate the question of whether any $d$-colorable simplicial $d$-polytope can be octahedralized, i.e., it can be subdivided to a $d$-dimensional geometric cross-polytopal complex. We give a positive answer in dimension $3$, with the additional property that the octahedralization introduces no new vertices on the boundary of the polytope.
Local properties of Schubert Varieties in the Symplectic Grassmannian via a bounded RSK correspondence
In a paper by Ghorpade and Raghavan, they provide an explicit combinatorial description of the Hilbert function of the tangent cone at any point on a Schubert variety in the symplectic Grassmannian, by giving a certain "degree-preserving" bijection between a set of monomials defined by an initial ideal and a "standard monomial basis". We prove here that this bijection is in fact a bounded RSK correspondence.
Good orientations of 2T-graphs
In this paper we study graphs which admit acyclic orientations that contain a pair of arc-disjoint out-branching and in-branching (such an orientation is called good) and we focus on edge-minimal such graphs. A 2T-graph is a graph whose edge set can be decomposed into two edge-disjoint spanning trees. Vertex-minimal 2T-graphs with at least two vertices which are known as generic circuits play an important role in rigidity theory for graphs. We prove that every generic circuit has a good orientation. Using this result we prove that if $G$ is 2T-graph whose vertex set has a partition $V_1,V_2,\ldots{},V_k$ so that each $V_i$ induces a generic circuit $G_i$ of $G$ and the set of edges between different $G_i$'s form a matching in $G$, then $G$ has a good orientation. We also obtain a characterization for the case when the set of edges between different $G_i$'s form a double tree, that is, if we contract each $G_i$ to one vertex, and delete parallel edges we obtain a tree. All our proofs are constructive and imply polynomial algorithms for finding the desired good orderings and the pairs of arc-disjoint branchings which certify that the orderings are good. We also identify a structure which can be used to certify a 2T-graph which does not have a good orientation.