Showing 20 papers (Total: 82901 papers, 47900 authors in database)
On Topological Properties of Third type of Hex Derived Networks
In chemical graph theory, a topological index is a numerical representation of a chemical network while a topological descriptor correlates certain physico-chemical characteristics of underlying chemical compounds besides its chemical representation. Graph plays an vital role in modeling and designing any chemical network. F. Simonraj et al. derived new third type of Hex derived networks [27]. In our work, we discuss the third type of hex derived networks HDN3(r), THDN3(r) and RHDN3(r) and computed exact results for topological indices which are based on degrees of end vertices.
Group codes over fields are asymptotically good
Group codes are right or left ideals in a group algebra of a finite group over a finite field. Following ideas of Bazzi and Mitter on group codes over the binary field, we prove that group codes over finite fields of any characteristic are asymptotically good.
On the automorphism group of the Morse complex
Let $K$ be a finite, connected, abstract simplicial complex. The Morse complex of $K$, first introduced by Chari and Joswig, is the simplicial complex constructed from all gradient vector fields on $K$. We show that if $K$ is neither the boundary of the $n$-simplex nor a cycle, then $\mathrm{Aut}(\mathcal{M}(K))\cong \mathrm{Aut}(K)$. In the case where $K= C_n$, a cycle of length $n$, we show that $\mathrm{Aut}(\mathcal{M}(C_n))\cong \mathrm{Aut}(C_{2n})$. In the case where $K=\partialΔ^n$, we prove that $\mathrm{Aut}(\mathcal{M}(\partialΔ^n))\cong \mathrm{Aut}(\partialΔ^n)\times \mathbb{Z}_2$. These results are based on recent work of Capitelli and Minian.
The ring $\mathrm{M}_{8k+4}(\mathbb{Z}_2)$ is nil-clean of index four
We show that the direct sum of an odd number of matrices $$C=\left(\begin{array}{cccc} 0&0&0&1\\ 1&0&0&0\\ 0&1&0&0\\ 0&0&1&1 \end{array}\right)$$ cannot be a sum $P+Q$ of matrices over $\mathbb{F}_2$ satisfying $P^2=P$ and $Q^3=O$.
Adapted Sequence for Polyhedral Realization of Crystal Bases
Published in Communications in Algebra, Volume 48, (2020), no. 11
• View Publication
• BIB
The polyhedral realization of crystal base has been introduced by A.Zelevinsky and the second author([T.Nakashima, A.Zelevinsky, Adv. Math. 131, no. 1 (1997)]), which describe the crystal base $B(\infty)$ as a polyhedral convex cone in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. According to this $ι$, one has certain set of linear functions defining a polyhedral convex cone and under the `positivity condition' on $ι$, it has been shown that the polyhedral convex cone is isomorphic to the crystal base $B(\infty)$. To confirm the positivity condition for a given $ι$, we need to obtain the whole feature of the set of linear functions, which requires, in general, a bunch of explicit calculations. In this article, we introduce the notion of the adapted sequence and show that if $ι$ is an adapted sequence then the positivity condition holds for classical Lie algebras. Furthermore, we reveal the explicit forms of the polyhedral realizations associated with arbitrary adapted sequences $ι$ in terms of column tableaux.
Combinatorial encoding of continious dynamics, and transfer of the space of paths of the graded graphs
These notes follow my articles [1, 6], and give some new important details. We propose here a new combinatorial method of encoding of measure spaces with measure preserving transformations, (or groups of transformations) in order to give new, mostly locally finite geometrical models for investigation of dynamical properties of these objects.
Coxeter submodular functions and deformations of Coxeter permutahedra
We describe the cone of deformations of a Coxeter permutahedron, or equivalently, the nef cone of the toric variety associated to a Coxeter complex. This family of polytopes contains polyhedral models for the Coxeter-theoretic analogs of compositions, graphs, matroids, posets, and associahedra. Our description extends the known correspondence between generalized permutahedra, polymatroids, and submodular functions to any finite reflection group.
Necklaces and Slimes
We show there is a bijection between the binary necklaces with $n$ black beads and $k$ white beads and certain $(n,k)$-codes when $n$ is prime. The main idea is to come up with a new map on necklaces called slime migration.
Palindromic intervals in Bruhat order and hyperplane arrangements
An element $w$ of the Weyl group is called rationally smooth if the corresponding Schubert variety is rationally smooth. This happens exactly when the lower interval $[id,w]$ in the Bruhat order is palindromic. For each element $w$ of the Weyl group, we construct a certain hyperplane arrangement. After analyzing the palindromic intervals inside the maximal quotients, we use this result to show that the generating function for regions of the arrangement coincides with the Poincaré polynomial of the corresponding Schubert variety if and only if the Schubert variety is rationally smooth.
Semi-polytope decomposition of a Generalized permutohedron
In this short note we show explicitly how to decompose a generalized permutohedron into semi-polytopes.
Matrices in ${\cal A}(R,S)$ with minimum $t$-term ranks
Let $R$ and $S$ be two sequences of nonnegative integers in nonincreasing order and with the same sum, and let ${\cal A}(R,S)$ be the class of all $(0,1)$-matrices having row sum $R$ and column sum $S$. For a positive integer $t$, the $t$-term rank of a $(0,1)$-matrix $A$ is defined as the maximum number of $1$'s in $A$ with at most one $1$ in each column, and at most $t$ $1$'s in each row. In this paper, we address conditions for the existence of a matrix in a class ${\cal A}(R,S)$ that realizes all the minimum $t$-term ranks, for $t\geq 1$.
Richness of arithmetic progression in commutative semigroup
Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k term arithmetic progressions and such collection is also piecewise syndetic in Z: They used algebraic structure of beta N. The above result was extended for arbitrary semigroups by Bergelson and Hindman, again using the structure of Stone-Cech compactification of general semigroup. Beiglboeck provided an elementary proof of the above result and asked whether the combinatorial argument in his proof can be enhanced in a way which makes it applicable to a more abstract setting. In a recent work the second author of this paper and S.Jana provided an affirmative answer to Beiglboeck's question for countable commutative semigroup. In this work we will extend the result of Beiglboeck in different type of settings.
Cops and robbers on oriented toroidal grids
The game of cops and robbers is a well-known game played on graphs. In this paper we consider the straight-ahead orientations of 4-regular quadrangulations of the torus and the Klein bottle and we prove that their cop number is bounded by a constant. We also show that the cop number of every k-regularly oriented toroidal grid is at most 13.
Universal Gröbner Bases of Toric Ideals of Combinatorial Neural Codes
Published in Involve 14 (2021) 723-742
• View Publication
• BIB
In the 1970s, O'Keefe and Dostrovsky discovered that certain neurons, called place cells, in an animal's brain are tied to its location within its arena. A combinatorial neural code is a collection of $0/1$-vectors which encode the patterns of co-firing activity among the place cells. Gross, Obatake, and Youngs have recently used techniques from toric algebra to study when a neural code is $0$- $1$-, or $2$-inductively pierced: a property that allows one to reconstruct a Venn diagram-like planar figure that acts as a geometric schematic for the neural co-firing patterns. This article examines their work closely by focusing on a variety of classes of combinatorial neural codes. In particular, we identify universal Gröbner bases of the toric ideal for these codes.
Toric Bruhat interval polytopes
Published in Journal of Combinatorial Theory, Series A Volume 179, April 2021, 105387
• View Publication
• BIB
For two elements $v$ and $w$ of the symmetric group $\mathfrak{S}_n$ with $v\leq w$ in Bruhat order, the Bruhat interval polytope $Q_{v,w}$ is the convex hull of the points $(z(1),\ldots,z(n))\in \mathbb{R}^n$ with $v\leq z\leq w$. It is known that the Bruhat interval polytope $Q_{v,w}$ is the moment map image of the Richardson variety $X^{v^{-1}}_{w^{-1}}$. We say that $Q_{v,w}$ is \emph{toric} if the corresponding Richardson variety $X_{w^{-1}}^{v^{-1}}$ is a toric variety. We show that when $Q_{v,w}$ is toric, its combinatorial type is determined by the poset structure of the Bruhat interval $[v,w]$ while this is not true unless $Q_{v,w}$ is toric. We are concerned with the problem of when $Q_{v,w}$ is (combinatorially equivalent to) a cube because $Q_{v,w}$ is a cube if and only if $X_{w^{-1}}^{v^{-1}}$ is a smooth toric variety. We show that a Bruhat interval polytope $Q_{v,w}$ is a cube if and only if $Q_{v,w}$ is toric and the Bruhat interval $[v,w]$ is a Boolean algebra. We also give several sufficient conditions on $v$ and $w$ for $Q_{v,w}$ to be a cube.
Construction Of A Rich Word Containing Given Two Factors
Published
• View Publication
• BIB
A finite word $w$ with $\vert w\vert=n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is attained, the word $w$ is called \emph{rich}. Let $\Factor(w)$ be the set of factors of the word $w$. It is known that there are pairs of rich words that cannot be factors of a common rich word. However it is an open question how to decide for a given pair of rich words $u,v$ if there is a rich word $w$ such that $\{u,v\}\subseteq \Factor(w)$. We present a response to this open question:\\ If $w_1, w_2,w$ are rich words, $m=\max{\{\vert w_1\vert,\vert w_2\vert\}}$, and $\{w_1,w_2\}\subseteq \Factor(w)$ then there exists also a rich word $\bar w$ such that $\{w_1,w_2\}\subseteq \Factor(\bar w)$ and $\vert \bar w\vert\leq m2^{k(m)+2}$, where $k(m)=(q+1)m^2(4q^{10}m)^{\log_2{m}}$ and $q$ is the size of the alphabet. Hence it is enough to check all rich words of length equal or lower to $m2^{k(m)+2}$ in order to decide if there is a rich word containing factors $w_1,w_2$.
Weak generalized lifting property, Bruhat intervals and Coxeter matroids
We provide a weaker version of the generalized lifting property which holds in complete generality for all finite Coxeter groups, and we use it to show that every parabolic Bruhat interval of a finite Coxeter group is a Coxeter matroid. We also describe some combinatorial properties of the associated polytopes.
Graphs that are critical for the packing chromatic number
Given a graph $G$, a coloring $c:V(G)\longrightarrow \{1,\ldots,k\}$ such that $c(u)=c(v)=i$ implies that vertices $u$ and $v$ are at distance greater than $i$, is called a packing coloring of $G$. The minimum number of colors in a packing coloring of $G$ is called the packing chromatic number of $G$, and is denoted by $χ_ρ(G)$. In this paper, we propose the study of $χ_ρ$-critical graphs, which are the graphs $G$ such that for any proper subgraph $H$ of $G$, $χ_ρ(H)<χ_ρ(G)$. We characterize $χ_ρ$-critical graphs with diameter 2, and $χ_ρ$-critical block graphs with diameter 3. Furthermore, we characterize $χ_ρ$-critical graphs with small packing chromatic numbers, and we also consider $χ_ρ$-critical trees. In addition, we prove that for any graph $G$ with $e\in E(G)$, we have $(χ_ρ(G)+1)/2\le χ_ρ(G-e)\le χ_ρ(G)$, and provide a corresponding realization result, which shows that $χ_ρ(G-e)$ can achieve any of the integers between the bounds.
On the complexity of random polytopes
There are (at least) two reasons to study random polytopes. The first is to understand the combinatorics and geometry of random polytopes especially as compared to other classes of polytopes, and the second is to analyze average-case complexity for algorithms which take polytopal data as input. However, establishing results in either of these directions often requires quite technical methods. Here we seek to give an elementary introduction to random polytopes avoiding these technicalities. In particular we explore the general paradigm that polytopes obtained from the convex hull of random points on a sphere have low complexity.
Maximal independent sets and maximal matchings in series-parallel and related graph classes
Published
• View Publication
• BIB
The goal of this paper is to obtain quantitative results on the number and on the size of maximal independent sets and maximal matchings in several block-stable graph classes that satisfy a proper sub-criticality condition. In particular we cover trees, cacti graphs and series-parallel graphs. The proof methods are based on a generating function approach and a proper singularity analysis of solutions of implicit systems of functional equations in several variables. As a byproduct, this method extends previous results of Meir and Moon for trees [Meir, Moon: On maximal independent sets of nodes in trees, Journal of Graph Theory 1988].