Showing 20 papers (Total: 83076 papers, 47999 authors in database)
On the smallest parallel quadrangulation with minimum degree 3
Published in WAIT Workshop on the Advances of Information Technology (2015), 41-43
• Search Publication
The identity of the smallest quadrangulation with minimum degree 3 also containing parallel edges is unknown. However, it has already been determined that its order (the number of vertices) is between 11 and 14. This paper narrows this domain by showing that the order is at least 12.
A matrix realization of spectral bounds of the spectral radius of a nonnegative matrix
We realize many sharp spectral bounds of the spectral radius of a nonnegative square matrix $C$ by using the largest real eigenvalues of suitable matrices of smaller sizes related to $C$ that are very easy to find. As applications, we give a sharp upper bound of the spectral radius of $C$ expressed by the sum of entries, the largest off-diagonal entry $f$ and the largest diagonal entry $d$ in $C$. We also give a new class of sharp lower bounds of the spectral radius of $C$ expressed by the above $d$ and $f$, the least row-sum $r_n$ and the $t$-th largest row-sum $r_t$ in $C$ satisfying $0<r_n-(n-t-1)f-d\leq r_t-(n-t)f$, where $n$ is the size of $C$.
Improved Encoding and Counting of Uniform Hypertrees
We consider labeled $r$-uniform hypertrees having $n \ge r \ge 2$ vertices. The number of hyperedges in such a hypertree is $m = (n - 1)/(r - 1)$. We show that there are exactly $f(n, r) = \frac{(n-1)! n^{m-1}}{(r-1)!^m m!}$ $r$-uniform hypertrees with $n$ vertices labeled with distinct integers. We also give an encoding scheme that encodes such hypertrees using, on an average, at most $1 + \log_2 e$ bits more than $\log_2(f(n, r))$.
Some remarks on Rogers-Szegö polynomials and Losanitsch's triangle
In this expository paper we collect some simple facts about analogues of Pascals triangle where the entries count subsets of the integers with an even or odd sum and show that they are related to Rogers-Szego polynomials. In particular we consider an interesting triangle due to Losanitsch from this point of view. We also sketch some extensions of these results to sets whose sums have fixed residues modulo a prime $p$.
Branching rules for the Weyl Groups of the Unitary and Orthogonal Lie Groups
This note presents a procedure to determine the reduction of the irreducible and the induced characters of the symmetric group in terms of the irreducible and induced characters of the hyperoctahedral group
Key Words: Symmetric Group, Hyperoctahedral group, Representations, Characters, Re- duction.
The equivariant cohomology of weighted flag orbifolds
Published
• View Publication
• BIB
We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}Σ$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to as ``Schubert Calculus on ${\mathrm{w}}Σ$''. For the weighed Schubert classes in ${\mathrm{w}}Σ$, we give the Chevalley's formula. In addition, we define the weighted analogue of double Schubert polynomials and give the corresponding Chevalley--Monk's formula.
On the $A_α$-characteristic polynomial of a graph
Published in Linear Algebra and its Applications 546 (2018) 274--288
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices, and let $A(G)$ and $D(G)$ denote respectively the adjacency matrix and the degree matrix of $G$. Define $$ A_α(G)=αD(G)+(1-α)A(G) $$ for any real $α\in [0,1]$. The $A_α$-characteristic polynomial of $G$ is defined to be $$ \det(xI_n-A_α(G))=\sum_jc_{αj}(G)x^{n-j}, $$ where $\det(*)$ denotes the determinant of $*$, and $I_n$ is the identity matrix of size $n$. The $A_α$-spectrum of $G$ consists of all roots of the $A_α$-characteristic polynomial of $G$. A graph $G$ is said to be determined by its $A_α$-spectrum if all graphs having the same $A_α$-spectrum as $G$ are isomorphic to $G$.
In this paper, we first formulate the first four coefficients $c_{α0}(G)$, $c_{α1}(G)$, $c_{α2}(G)$ and $c_{α3}(G)$ of the $A_α$-characteristic polynomial of $G$. And then, we observe that $A_α$-spectra are much efficient for us to distinguish graphs, by enumerating the $A_α$-characteristic polynomials for all graphs on at most 10 vertices. To verify this observation, we characterize some graphs determined by their $A_α$-spectra.
Fractional clique decompositions of dense graphs
Published
• View Publication
• BIB
For each $r\ge 4$, we show that any graph $G$ with minimum degree at least $(1-1/100r)|G|$ has a fractional $K_r$-decomposition. This improves the best previous bounds on the minimum degree required to guarantee a fractional $K_r$-decomposition given by Dukes (for small $r$) and Barber, Kühn, Lo, Montgomery and Osthus (for large $r$), giving the first bound that is tight up to the constant multiple of $r$ (seen, for example, by considering Turán graphs).
In combination with work by Glock, Kühn, Lo, Montgomery and Osthus, this shows that, for any graph $F$ with chromatic number $χ(F)\ge 4$, and any $\varepsilon>0$, any sufficiently large graph $G$ with minimum degree at least $(1-1/100χ(F)+\varepsilon)|G|$ has, subject to some further simple necessary divisibility conditions, an (exact) $F$-decomposition.
Counting hypergraph colorings in the local lemma regime
Published
• View Publication
• BIB
We give a fully polynomial-time approximation scheme (FPTAS) to count the number of $q$-colorings for $k$-uniform hypergraphs with maximum degree $Δ$ if $k\ge 28$ and $q >357Δ^{\frac{14}{k-14}}$ . We also obtain a polynomial-time almost uniform sampler if $q>931Δ^{\frac{16}{k-16/3}}$. These are the first approximate counting and sampling algorithms in the regime $q\llΔ$ (for large $Δ$ and $k$) without any additional assumptions. Our method is based on the recent work of Moitra (STOC, 2017). One important contribution of ours is to remove the dependency of $k$ and $Δ$ in Moitra's approach.
Yet Another Proof of the Aperiodicity of Robinson Tiles
Short proof of the aperiodicity of the Robinson tile set.
Galois coverings of Schreier graphs of groups generated by bounded automata
We give a characterization of the covering Schreier graphs of groups generated by bounded automata to be Galois. We also investigate the zeta and L functions of Schreier graphs of few groups namely the Grigorchuk group, Gupta-Sidki p group, Gupta-Fabrykowski group and BSV torsion-free group.
Fingerprint Invariant of Partitions and Construction
The fingerprint invariant of partitions can be used to describe the Kazhdan-Lusztig map for the classical groups. We discuss the basic properties of fingerprint. We construct the fingerprints of rigid partitions in the $B_n$, $C_n$, and $D_n$ theories. To calculate the fingerprint of a rigid semisimple operator $(λ^{'};λ^{"})$, we decompose $λ^{'}+λ^{"}$ into several blocks. We define operators to calculate the fingerprint for each block using the results of fingerprint of the unipotent operators.
The Strong Colors of Flowers - The Structure of Graphs with Chordal Squares
A proper vertex coloring of a graph is a mapping of its vertices on a set of colors, such that two adjacent vertices are not mapped to the same color. This constraint may be interpreted in terms of the distance between to vertices and so a more general coloring concept can be defined: The strong coloring of a graph. So a k-strong coloring is a coloring where two vertices may not have the same color if their distance to each other is at most k. The 2-strong coloring of the line graph is known as the strong edge coloring. Coloring the kth power G^k of a graph G is the same as finding a k-strong coloring of G itself. In order to obtain a graph class on which the 2-strong coloring becomes efficiently solvable we are looking for a structure that produces induced cycles in the square of G, so that by excluding this structure we obtain a graph class with chordal squares, where a chordal graph is a graph without any induced cycles of length at least 4. Such a structure is called a flower. Another structure will be found and explained, which is responsible for flowers to appear in the line graph of G: The sprouts. With this graphs with chordal line graph squares are described as well. Some attempts in generalizing those structures to obtain perfect graph squares are being made and the general concept of chordal graph powers, i.e. the existence of a smallest power for which a graph becomes chordal, the power of chordality is introduced in order to solve some coloring related NP-hard problems on graphs with parameterized algorithms. Some connections to the famous parameter treewidth arise alongside with some deeper connections between edge and vertex coloring.
The Wiener polarity index of benzenoid systems and nanotubes
Published in Croat. Chem. Acta 91 (2018) 309-315
• View Publication
• BIB
In this paper, we consider a molecular descriptor called the Wiener polarity index, which is defined as the number of unordered pairs of vertices at distance three in a graph. Molecular descriptors play a fundamental role in chemistry, materials engineering, and in drug design since they can be correlated with a large number of physico-chemical properties of molecules. As the main result, we develop a method for computing the Wiener polarity index for two basic and most commonly studied families of molecular graphs, benzenoid systems and carbon nanotubes. The obtained method is then used to find a closed formula for the Wiener polarity index of any benzenoid system. Moreover, we also compute this index for zig-zag and armchair nanotubes.
Enumeration of lozenge tilings of a hexagon with a shamrock missing on the symmetry axis
Published
• View Publication
• BIB
In their paper about a dual of MacMahon's classical theorem on plane partitions, Ciucu and Krattenthaler proved a closed form product formula for the tiling number of a hexagon with a "shamrock", a union of four adjacent triangles, removed in the center (Proc. Natl. Acad. Sci. USA 2013). Lai later presented a $q$-enumeration for lozenge tilings of a hexagon with a shamrock removed from the boundary (European J. Combin. 2017). It appears that the above are the only two positions of the shamrock hole that yield nice tiling enumerations. In this paper, we show that in the case of symmetric hexagons, we always have a simple product formula for the number of tilings when removing a shamrock at any position along the symmetry axis. Our result also generalizes Eisenkölbl's related work about lozenge tilings of a hexagon with two unit triangles missing on the symmetry axis (Electron. J. Combin. 1999).
L(t, 1)-Colouring of Graphs
Published in Turkish World Mathematical Society Journal of Applied and Engineering Mathematics, 12 (1), 2022, 296-301
• Search Publication
One of the most famous applications of Graph Theory is in the field of Channel Assignment Problems. There are varieties of graph colouring concepts that are used for different requirements of frequency assignments in communication channels. We introduce here L(t, 1)-colouring of graphs. This has its foundation in T-colouring and L(p, q)-colouring. For a given finite set T including zero, an L(t, 1)-colouring of a graph G is an assignment of non-negative integers to the vertices of G such that the difference between the colours of adjacent vertices must not belong to the set T and the colours of vertices that are at distance two must be distinct. The variable t in L(t, 1) denotes the elements of the set T. For a graph G, the L(t, 1)-span of G is the minimum of the highest colour used to colour the vertices of a graph out of all the possible L(t, 1)-colourings. It is denoted by $λ_{t,1} (G)$. We study some properties of L(t, 1)-colouring. We also find upper bounds of $λ_{t,1} (G)$ of selected simple connected graphs.
Random matrices: Probability of Normality
Published
• View Publication
• BIB
In this paper, we investigate the following question: How often is a random matrix normal? We consider a random $n\times n$ matrix, $M_n$, whose entries are i.i.d. Rademacher random variables (taking values $\{ \pm1 \}$ with probability $1/2$) and prove
$$2^{-\left(0.5+o(1)\right)n^2} \le P\left(M_n \text{ is normal}\right) \le 2^{-(0.302+o(1))n^{2}}. $$ We conjecture that the lower bound is sharp.
A note on two conjectures that strengthen the four colour theorem
There are two conjectures concerning planar graph colourings that are strengthenings of the four colour theorem. One concerns signed graph colouring and is proposed by Máčajová, Raspaud and Škoviera. It asserts that every signed planar graph is $4$-colourable. Another concerns list colouring and is proposed by Kündgen and Ramamurthi which asserts that if $L$ is a $2$-list assignment of a planar graph $G$, then there is an $L$-colouring of $G$ such that each colour class induces a bipartite graph. In this note we prove that the first conjecture implies the second one.
List colouring of graphs and generalized Dyck paths
Published
• View Publication
• BIB
The Catalan numbers occur in various counting problems in combinatorics. This paper reveals a connection between the Catalan numbers and list colouring of graphs. Assume $G$ is a graph and $f:V(G) \to N$ is a mapping. For a nonnegative integer $m$, let $f^{(m)}$ be the extension of $f$ to the graph $ G \diamondplus \overline{K_m}$ for which $f^{(m)}(v)=|V(G)|$ for each vertex $v$ of $\overline{K_m}$. Let $m_c(G,f)$ be the minimum $m$ such that $ G \diamondplus \overline{K_m}$ is not $f^{(m)}$-choosable and $m_p(G,f)$ be the minimum $m$ such that $ G \diamondplus \overline{K_m}$ is not $f^{(m)}$-paintable.
We study the parameter $m_c(K_n, f)$ and $m_p(K_n,f)$ for arbitrary mappings $f$.
For $\vec{x}=(x_1,x_2,\ldots,x_n)$, an $\vec{x}$-dominated path ending at $(a, b)$ is a monotonic path $P$ of the $a \times b$ grid from $(0,0)$ to $(a,b)$ such that each vertex $(i,j)$ on $P$ satisfies $i \le x_{j+1}$.
Let $ψ(\vec{x})$ be the number of $\vec{x}$-dominated paths ending at $(x_n,n)$. By this definition, the Catalan number $C_n$ equals $ ψ((0,1, \ldots, n-1)) $. This paper proves that if $G=K_n$ has vertices $v_1, v_2, \ldots, v_n$ and $f(v_1) \le f(v_2) \le \ldots \le f(v_n)$, then $m_c(G,f)=m_p(G,f)=ψ(\vec{x}(f))$, where $\vec{x}(f)=(x_1, x_2, \ldots, x_n)$ and $x_i=f(v_i)-i$ for $i=1, 2,\ldots, n$. Therefore, if $f(v_i)=n$, then $m_c(K_n, f)=m_p(K_n, f)$ equals the Catalan number $C_n$.
Constructive Discrepancy Minimization with Hereditary L2 Guarantees
In discrepancy minimization problems, we are given a family of sets $\mathcal{S} = \{S_1,\dots,S_m\}$, with each $S_i \in \mathcal{S}$ a subset of some universe $U = \{u_1,\dots,u_n\}$ of $n$ elements. The goal is to find a coloring $χ: U \to \{-1,+1\}$ of the elements of $U$ such that each set $S \in \mathcal{S}$ is colored as evenly as possible. Two classic measures of discrepancy are $\ell_\infty$-discrepancy defined as $\textrm{disc}_\infty(\mathcal{S},χ):=\max_{S \in \mathcal{S}} | \sum_{u_i \in S} χ(u_i) |$ and $\ell_2$-discrepancy defined as $\textrm{disc}_2(\mathcal{S},χ):=\sqrt{(1/|\mathcal{S}|)\sum_{S \in \mathcal{S}} \left(\sum_{u_i \in S}χ(u_i)\right)^2}$. Breakthrough work by Bansal gave a polynomial time algorithm, based on rounding an SDP, for finding a coloring $χ$ such that $\textrm{disc}_\infty(\mathcal{S},χ) = O(\lg n \cdot \textrm{herdisc}_\infty(\mathcal{S}))$ where $\textrm{herdisc}_\infty(\mathcal{S})$ is the hereditary $\ell_\infty$-discrepancy of $\mathcal{S}$. We complement his work by giving a simple $O((m+n)n^2)$ time algorithm for finding a coloring $χ$ such $\textrm{disc}_2(\mathcal{S},χ) = O(\sqrt{\lg n} \cdot \textrm{herdisc}_2(\mathcal{S}))$ where $\textrm{herdisc}_2(\mathcal{S})$ is the hereditary $\ell_2$-discrepancy of $\mathcal{S}$. Interestingly, our algorithm avoids solving an SDP and instead relies on computing eigendecompositions of matrices. Moreover, we use our ideas to speed up the Edge-Walk algorithm by Lovett and Meka [SICOMP'15]. To prove that our algorithm has the claimed guarantees, we show new inequalities relating $\textrm{herdisc}_\infty$ and $\textrm{herdisc}_2$ to the eigenvalues of the matrix corresponding to $\mathcal{S}$. Our inequalities improve over previous work by Chazelle and Lvov, and by Matousek et al. Finally, we also implement our algorithm and show that it far outperforms random sampling.